About the Execution of Smart+red for HypertorusGrid-PT-d3k3p2b06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16218.063 | 1439974.00 | 1471967.00 | 13966.20 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r235-tall-167856421200056.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is HypertorusGrid-PT-d3k3p2b06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421200056
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 976K
-rw-r--r-- 1 mcc users 8.2K Feb 26 11:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 11:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 11:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 11:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 11:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 11:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 11:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Feb 26 11:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 522K 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 1678629194944
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=HypertorusGrid-PT-d3k3p2b06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 13:53:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 13:53:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 13:53:16] [INFO ] Load time of PNML (sax parser for PT used): 88 ms
[2023-03-12 13:53:16] [INFO ] Transformed 513 places.
[2023-03-12 13:53:16] [INFO ] Transformed 972 transitions.
[2023-03-12 13:53:16] [INFO ] Parsed PT model containing 513 places and 972 transitions and 3888 arcs in 154 ms.
[2023-03-12 13:53:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 513 places, 972 transitions and 3888 arcs took 11 ms.
Total runtime 193 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d3k3p2b06
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: 513 places, 972 transitions, 3888 arcs.
AT ITER 0 NEW BEST:: SOT 309513 SOS 127359 HAS SOPS 127359 HAS SOUS 64327 HAS SOUPS 64327 WITH SCORE 64454.359
AT ITER 1 NEW BEST:: SOT 309513 SOS 127443 HAS SOPS 127443 HAS SOUS 64247 HAS SOUPS 64247 WITH SCORE 64374.443
AT ITER 2 NEW BEST:: SOT 309502 SOS 127419 HAS SOPS 127419 HAS SOUS 64219 HAS SOUPS 64219 WITH SCORE 64346.419
AT ITER 13 NEW BEST:: SOT 309502 SOS 127419 HAS SOPS 127419 HAS SOUS 64215 HAS SOUPS 64215 WITH SCORE 64342.419
AT ITER 23 NEW BEST:: SOT 309277 SOS 127149 HAS SOPS 127149 HAS SOUS 63945 HAS SOUPS 63945 WITH SCORE 64072.149
AT ITER 24 NEW BEST:: SOT 309285 SOS 127165 HAS SOPS 127165 HAS SOUS 63897 HAS SOUPS 63897 WITH SCORE 64024.165
AT ITER 31 NEW BEST:: SOT 309273 SOS 127153 HAS SOPS 127153 HAS SOUS 63885 HAS SOUPS 63885 WITH SCORE 64012.153
AT ITER 41 NEW BEST:: SOT 308941 SOS 126489 HAS SOPS 126489 HAS SOUS 63509 HAS SOUPS 63509 WITH SCORE 63635.489
AT ITER 47 NEW BEST:: SOT 308941 SOS 126475 HAS SOPS 126475 HAS SOUS 63495 HAS SOUPS 63495 WITH SCORE 63621.475
AT ITER 48 NEW BEST:: SOT 308841 SOS 126359 HAS SOPS 126359 HAS SOUS 63354 HAS SOUPS 63354 WITH SCORE 63480.359
AT ITER 59 NEW BEST:: SOT 308827 SOS 126275 HAS SOPS 126275 HAS SOUS 63326 HAS SOUPS 63326 WITH SCORE 63452.275
AT ITER 71 NEW BEST:: SOT 308827 SOS 125969 HAS SOPS 125969 HAS SOUS 63224 HAS SOUPS 63224 WITH SCORE 63349.969
AT ITER 73 NEW BEST:: SOT 308822 SOS 125964 HAS SOPS 125964 HAS SOUS 63219 HAS SOUPS 63219 WITH SCORE 63344.964
AT ITER 74 NEW BEST:: SOT 308794 SOS 125936 HAS SOPS 125936 HAS SOUS 63191 HAS SOUPS 63191 WITH SCORE 63316.936
AT ITER 80 NEW BEST:: SOT 308750 SOS 125892 HAS SOPS 125892 HAS SOUS 63147 HAS SOUPS 63147 WITH SCORE 63272.892
AT ITER 92 NEW BEST:: SOT 308719 SOS 125616 HAS SOPS 125616 HAS SOUS 63146 HAS SOUPS 63146 WITH SCORE 63271.616
AT ITER 93 NEW BEST:: SOT 308707 SOS 125604 HAS SOPS 125604 HAS SOUS 63134 HAS SOUPS 63134 WITH SCORE 63259.604
AT ITER 97 NEW BEST:: SOT 308707 SOS 125499 HAS SOPS 125499 HAS SOUS 63113 HAS SOUPS 63113 WITH SCORE 63238.499
AT ITER 103 NEW BEST:: SOT 308707 SOS 125379 HAS SOPS 125379 HAS SOUS 63089 HAS SOUPS 63089 WITH SCORE 63214.379
AT ITER 123 NEW BEST:: SOT 308679 SOS 125211 HAS SOPS 125211 HAS SOUS 63033 HAS SOUPS 63033 WITH SCORE 63158.211
AT ITER 125 NEW BEST:: SOT 308640 SOS 124977 HAS SOPS 124977 HAS SOUS 62955 HAS SOUPS 62955 WITH SCORE 63079.977
AT ITER 133 NEW BEST:: SOT 308640 SOS 125016 HAS SOPS 125016 HAS SOUS 62946 HAS SOUPS 62946 WITH SCORE 63071.016
AT ITER 139 NEW BEST:: SOT 308640 SOS 124902 HAS SOPS 124902 HAS SOUS 62908 HAS SOUPS 62908 WITH SCORE 63032.902
AT ITER 168 NEW BEST:: SOT 308588 SOS 124590 HAS SOPS 124590 HAS SOUS 62804 HAS SOUPS 62804 WITH SCORE 62928.59
AT ITER 176 NEW BEST:: SOT 308506 SOS 124487 HAS SOPS 124487 HAS SOUS 62765 HAS SOUPS 62765 WITH SCORE 62889.487
AT ITER 181 NEW BEST:: SOT 308341 SOS 124322 HAS SOPS 124322 HAS SOUS 62600 HAS SOUPS 62600 WITH SCORE 62724.322
AT ITER 190 NEW BEST:: SOT 308297 SOS 124058 HAS SOPS 124058 HAS SOUS 62512 HAS SOUPS 62512 WITH SCORE 62636.058
AT ITER 191 NEW BEST:: SOT 308297 SOS 124058 HAS SOPS 124058 HAS SOUS 62498 HAS SOUPS 62498 WITH SCORE 62622.058
AT ITER 204 NEW BEST:: SOT 308234 SOS 123680 HAS SOPS 123680 HAS SOUS 62372 HAS SOUPS 62372 WITH SCORE 62495.68
AT ITER 218 NEW BEST:: SOT 308196 SOS 123642 HAS SOPS 123642 HAS SOUS 62334 HAS SOUPS 62334 WITH SCORE 62457.642
AT ITER 225 NEW BEST:: SOT 307966 SOS 123412 HAS SOPS 123412 HAS SOUS 62104 HAS SOUPS 62104 WITH SCORE 62227.412
AT ITER 226 NEW BEST:: SOT 307966 SOS 123417 HAS SOPS 123417 HAS SOUS 62100 HAS SOUPS 62100 WITH SCORE 62223.417
AT ITER 228 NEW BEST:: SOT 307932 SOS 123179 HAS SOPS 123179 HAS SOUS 61998 HAS SOUPS 61998 WITH SCORE 62121.179
AT ITER 230 NEW BEST:: SOT 307874 SOS 122839 HAS SOPS 122839 HAS SOUS 61946 HAS SOUPS 61946 WITH SCORE 62068.839
AT ITER 255 NEW BEST:: SOT 307923 SOS 122861 HAS SOPS 122861 HAS SOUS 61875 HAS SOUPS 61875 WITH SCORE 61997.861
AT ITER 281 NEW BEST:: SOT 307616 SOS 122247 HAS SOPS 122247 HAS SOUS 61601 HAS SOUPS 61601 WITH SCORE 61723.247
AT ITER 289 NEW BEST:: SOT 307486 SOS 122091 HAS SOPS 122091 HAS SOUS 61445 HAS SOUPS 61445 WITH SCORE 61567.091
AT ITER 296 NEW BEST:: SOT 307486 SOS 122091 HAS SOPS 122091 HAS SOUS 61411 HAS SOUPS 61411 WITH SCORE 61533.091
AT ITER 305 NEW BEST:: SOT 307469 SOS 121989 HAS SOPS 121989 HAS SOUS 61377 HAS SOUPS 61377 WITH SCORE 61498.989
AT ITER 325 NEW BEST:: SOT 307486 SOS 121748 HAS SOPS 121748 HAS SOUS 61356 HAS SOUPS 61356 WITH SCORE 61477.748
AT ITER 346 NEW BEST:: SOT 307486 SOS 121743 HAS SOPS 121743 HAS SOUS 61355 HAS SOUPS 61355 WITH SCORE 61476.743
AT ITER 361 NEW BEST:: SOT 307509 SOS 121789 HAS SOPS 121789 HAS SOUS 61293 HAS SOUPS 61293 WITH SCORE 61414.789
AT ITER 366 NEW BEST:: SOT 307524 SOS 121779 HAS SOPS 121779 HAS SOUS 61183 HAS SOUPS 61183 WITH SCORE 61304.779
AT ITER 372 NEW BEST:: SOT 307524 SOS 121737 HAS SOPS 121737 HAS SOUS 61169 HAS SOUPS 61169 WITH SCORE 61290.737
AT ITER 378 NEW BEST:: SOT 307524 SOS 121726 HAS SOPS 121726 HAS SOUS 61158 HAS SOUPS 61158 WITH SCORE 61279.726
AT ITER 382 NEW BEST:: SOT 307474 SOS 121426 HAS SOPS 121426 HAS SOUS 61058 HAS SOUPS 61058 WITH SCORE 61179.426
AT ITER 394 NEW BEST:: SOT 307369 SOS 121321 HAS SOPS 121321 HAS SOUS 60860 HAS SOUPS 60860 WITH SCORE 60981.321
AT ITER 442 NEW BEST:: SOT 307369 SOS 121213 HAS SOPS 121213 HAS SOUS 60824 HAS SOUPS 60824 WITH SCORE 60945.213
AT ITER 458 NEW BEST:: SOT 307369 SOS 121317 HAS SOPS 121317 HAS SOUS 60772 HAS SOUPS 60772 WITH SCORE 60893.317
AT ITER 466 NEW BEST:: SOT 307369 SOS 121317 HAS SOPS 121317 HAS SOUS 60763 HAS SOUPS 60763 WITH SCORE 60884.317
AT ITER 477 NEW BEST:: SOT 307221 SOS 121169 HAS SOPS 121169 HAS SOUS 60615 HAS SOUPS 60615 WITH SCORE 60736.169
AT ITER 485 NEW BEST:: SOT 307086 SOS 120697 HAS SOPS 120697 HAS SOUS 60481 HAS SOUPS 60481 WITH SCORE 60601.697
AT ITER 493 NEW BEST:: SOT 307086 SOS 120805 HAS SOPS 120805 HAS SOUS 60409 HAS SOUPS 60409 WITH SCORE 60529.805
AT ITER 503 NEW BEST:: SOT 307008 SOS 120719 HAS SOPS 120719 HAS SOUS 60327 HAS SOUPS 60327 WITH SCORE 60447.719
AT ITER 507 NEW BEST:: SOT 307008 SOS 120719 HAS SOPS 120719 HAS SOUS 60297 HAS SOUPS 60297 WITH SCORE 60417.719
AT ITER 515 NEW BEST:: SOT 306961 SOS 120672 HAS SOPS 120672 HAS SOUS 60245 HAS SOUPS 60245 WITH SCORE 60365.672
AT ITER 535 NEW BEST:: SOT 306940 SOS 120546 HAS SOPS 120546 HAS SOUS 60203 HAS SOUPS 60203 WITH SCORE 60323.546
AT ITER 538 NEW BEST:: SOT 306940 SOS 120546 HAS SOPS 120546 HAS SOUS 60104 HAS SOUPS 60104 WITH SCORE 60224.546
AT ITER 543 NEW BEST:: SOT 306650 SOS 119908 HAS SOPS 119908 HAS SOUS 59698 HAS SOUPS 59698 WITH SCORE 59817.908
AT ITER 592 NEW BEST:: SOT 306650 SOS 119993 HAS SOPS 119993 HAS SOUS 59667 HAS SOUPS 59667 WITH SCORE 59786.993
AT ITER 594 NEW BEST:: SOT 306335 SOS 119363 HAS SOPS 119363 HAS SOUS 59505 HAS SOUPS 59505 WITH SCORE 59624.363
AT ITER 603 NEW BEST:: SOT 306335 SOS 119185 HAS SOPS 119185 HAS SOUS 59471 HAS SOUPS 59471 WITH SCORE 59590.185
AT ITER 612 NEW BEST:: SOT 306135 SOS 118785 HAS SOPS 118785 HAS SOUS 59231 HAS SOUPS 59231 WITH SCORE 59349.785
AT ITER 613 NEW BEST:: SOT 306135 SOS 118779 HAS SOPS 118779 HAS SOUS 59225 HAS SOUPS 59225 WITH SCORE 59343.779
AT ITER 647 NEW BEST:: SOT 305996 SOS 118659 HAS SOPS 118659 HAS SOUS 59145 HAS SOUPS 59145 WITH SCORE 59263.659
AT ITER 678 NEW BEST:: SOT 305906 SOS 118587 HAS SOPS 118587 HAS SOUS 59145 HAS SOUPS 59145 WITH SCORE 59263.587
AT ITER 680 NEW BEST:: SOT 305906 SOS 118587 HAS SOPS 118587 HAS SOUS 59141 HAS SOUPS 59141 WITH SCORE 59259.587
AT ITER 698 NEW BEST:: SOT 305786 SOS 118347 HAS SOPS 118347 HAS SOUS 58997 HAS SOUPS 58997 WITH SCORE 59115.347
AT ITER 701 NEW BEST:: SOT 305786 SOS 118335 HAS SOPS 118335 HAS SOUS 58993 HAS SOUPS 58993 WITH SCORE 59111.335
AT ITER 702 NEW BEST:: SOT 305876 SOS 118491 HAS SOPS 118491 HAS SOUS 58797 HAS SOUPS 58797 WITH SCORE 58915.491
AT ITER 708 NEW BEST:: SOT 305838 SOS 118453 HAS SOPS 118453 HAS SOUS 58783 HAS SOUPS 58783 WITH SCORE 58901.453
AT ITER 715 NEW BEST:: SOT 305818 SOS 118409 HAS SOPS 118409 HAS SOUS 58755 HAS SOUPS 58755 WITH SCORE 58873.409
AT ITER 716 NEW BEST:: SOT 305788 SOS 118379 HAS SOPS 118379 HAS SOUS 58681 HAS SOUPS 58681 WITH SCORE 58799.379
AT ITER 744 NEW BEST:: SOT 305653 SOS 118244 HAS SOPS 118244 HAS SOUS 58546 HAS SOUPS 58546 WITH SCORE 58664.244
AT ITER 746 NEW BEST:: SOT 305653 SOS 118289 HAS SOPS 118289 HAS SOUS 58519 HAS SOUPS 58519 WITH SCORE 58637.289
AT ITER 777 NEW BEST:: SOT 305653 SOS 118043 HAS SOPS 118043 HAS SOUS 58437 HAS SOUPS 58437 WITH SCORE 58555.043
AT ITER 778 NEW BEST:: SOT 305653 SOS 118038 HAS SOPS 118038 HAS SOUS 58412 HAS SOUPS 58412 WITH SCORE 58530.038
AT ITER 805 NEW BEST:: SOT 305808 SOS 118224 HAS SOPS 118224 HAS SOUS 58408 HAS SOUPS 58408 WITH SCORE 58526.224
AT ITER 814 NEW BEST:: SOT 305808 SOS 118140 HAS SOPS 118140 HAS SOUS 58392 HAS SOUPS 58392 WITH SCORE 58510.14
AT ITER 844 NEW BEST:: SOT 305563 SOS 117846 HAS SOPS 117846 HAS SOUS 58014 HAS SOUPS 58014 WITH SCORE 58131.846
AT ITER 849 NEW BEST:: SOT 305547 SOS 117750 HAS SOPS 117750 HAS SOUS 57982 HAS SOUPS 57982 WITH SCORE 58099.75
AT ITER 850 NEW BEST:: SOT 305523 SOS 117654 HAS SOPS 117654 HAS SOUS 57666 HAS SOUPS 57666 WITH SCORE 57783.654
AT ITER 865 NEW BEST:: SOT 305523 SOS 117344 HAS SOPS 117344 HAS SOUS 57604 HAS SOUPS 57604 WITH SCORE 57721.344
AT ITER 872 NEW BEST:: SOT 305477 SOS 117068 HAS SOPS 117068 HAS SOUS 57512 HAS SOUPS 57512 WITH SCORE 57629.068
AT ITER 887 NEW BEST:: SOT 305477 SOS 117048 HAS SOPS 117048 HAS SOUS 57512 HAS SOUPS 57512 WITH SCORE 57629.048
AT ITER 921 NEW BEST:: SOT 305443 SOS 116980 HAS SOPS 116980 HAS SOUS 57444 HAS SOUPS 57444 WITH SCORE 57560.98
AT ITER 930 NEW BEST:: SOT 305323 SOS 116860 HAS SOPS 116860 HAS SOUS 57324 HAS SOUPS 57324 WITH SCORE 57440.86
AT ITER 959 NEW BEST:: SOT 305068 SOS 116278 HAS SOPS 116278 HAS SOUS 57042 HAS SOUPS 57042 WITH SCORE 57158.278
AT ITER 963 NEW BEST:: SOT 305015 SOS 115907 HAS SOPS 115907 HAS SOUS 56883 HAS SOUPS 56883 WITH SCORE 56998.907
AT ITER 965 NEW BEST:: SOT 305216 SOS 116248 HAS SOPS 116248 HAS SOUS 56812 HAS SOUPS 56812 WITH SCORE 56928.248
AT ITER 971 NEW BEST:: SOT 305056 SOS 116056 HAS SOPS 116056 HAS SOUS 56560 HAS SOUPS 56560 WITH SCORE 56676.056
AT ITER 977 NEW BEST:: SOT 305006 SOS 115956 HAS SOPS 115956 HAS SOUS 56500 HAS SOUPS 56500 WITH SCORE 56615.956
AT ITER 978 NEW BEST:: SOT 304967 SOS 115917 HAS SOPS 115917 HAS SOUS 56461 HAS SOUPS 56461 WITH SCORE 56576.917
AT ITER 987 NEW BEST:: SOT 304952 SOS 115887 HAS SOPS 115887 HAS SOUS 56371 HAS SOUPS 56371 WITH SCORE 56486.887
AT ITER 991 NEW BEST:: SOT 304912 SOS 115839 HAS SOPS 115839 HAS SOUS 56323 HAS SOUPS 56323 WITH SCORE 56438.839
AT ITER 996 NEW BEST:: SOT 304891 SOS 115771 HAS SOPS 115771 HAS SOUS 56229 HAS SOUPS 56229 WITH SCORE 56344.771
AT ITER 1019 NEW BEST:: SOT 304845 SOS 115495 HAS SOPS 115495 HAS SOUS 56137 HAS SOUPS 56137 WITH SCORE 56252.495
AT ITER 1031 NEW BEST:: SOT 304845 SOS 115309 HAS SOPS 115309 HAS SOUS 56075 HAS SOUPS 56075 WITH SCORE 56190.309
AT ITER 1055 NEW BEST:: SOT 304845 SOS 115309 HAS SOPS 115309 HAS SOUS 56033 HAS SOUPS 56033 WITH SCORE 56148.309
AT ITER 1069 NEW BEST:: SOT 304485 SOS 114891 HAS SOPS 114891 HAS SOUS 55971 HAS SOUPS 55971 WITH SCORE 56085.891
AT ITER 1076 NEW BEST:: SOT 304485 SOS 114885 HAS SOPS 114885 HAS SOUS 55969 HAS SOUPS 55969 WITH SCORE 56083.885
AT ITER 1085 NEW BEST:: SOT 304485 SOS 114825 HAS SOPS 114825 HAS SOUS 55949 HAS SOUPS 55949 WITH SCORE 56063.825
AT ITER 1095 NEW BEST:: SOT 304286 SOS 114584 HAS SOPS 114584 HAS SOUS 55788 HAS SOUPS 55788 WITH SCORE 55902.584
AT ITER 1097 NEW BEST:: SOT 304286 SOS 114368 HAS SOPS 114368 HAS SOUS 55716 HAS SOUPS 55716 WITH SCORE 55830.368
AT ITER 1106 NEW BEST:: SOT 304238 SOS 114078 HAS SOPS 114078 HAS SOUS 55562 HAS SOUPS 55562 WITH SCORE 55676.078
AT ITER 1108 NEW BEST:: SOT 304166 SOS 114015 HAS SOPS 114015 HAS SOUS 55535 HAS SOUPS 55535 WITH SCORE 55649.015
AT ITER 1120 NEW BEST:: SOT 304156 SOS 114087 HAS SOPS 114087 HAS SOUS 55515 HAS SOUPS 55515 WITH SCORE 55629.087
AT ITER 1121 NEW BEST:: SOT 304139 SOS 113985 HAS SOPS 113985 HAS SOUS 55481 HAS SOUPS 55481 WITH SCORE 55594.985
AT ITER 1124 NEW BEST:: SOT 304101 SOS 113947 HAS SOPS 113947 HAS SOUS 55481 HAS SOUPS 55481 WITH SCORE 55594.947
AT ITER 1150 NEW BEST:: SOT 303986 SOS 113809 HAS SOPS 113809 HAS SOUS 55327 HAS SOUPS 55327 WITH SCORE 55440.809
AT ITER 1152 NEW BEST:: SOT 303921 SOS 113646 HAS SOPS 113646 HAS SOUS 55315 HAS SOUPS 55315 WITH SCORE 55428.646
AT ITER 1155 NEW BEST:: SOT 303976 SOS 113701 HAS SOPS 113701 HAS SOUS 55295 HAS SOUPS 55295 WITH SCORE 55408.701
AT ITER 1159 NEW BEST:: SOT 303951 SOS 113676 HAS SOPS 113676 HAS SOUS 55193 HAS SOUPS 55193 WITH SCORE 55306.676
AT ITER 1177 NEW BEST:: SOT 303951 SOS 113676 HAS SOPS 113676 HAS SOUS 55190 HAS SOUPS 55190 WITH SCORE 55303.676
AT ITER 1186 NEW BEST:: SOT 303717 SOS 113312 HAS SOPS 113312 HAS SOUS 54930 HAS SOUPS 54930 WITH SCORE 55043.312
AT ITER 1190 NEW BEST:: SOT 303717 SOS 113308 HAS SOPS 113308 HAS SOUS 54930 HAS SOUPS 54930 WITH SCORE 55043.308
AT ITER 1194 NEW BEST:: SOT 303717 SOS 113238 HAS SOPS 113238 HAS SOUS 54924 HAS SOUPS 54924 WITH SCORE 55037.238
AT ITER 1198 NEW BEST:: SOT 303659 SOS 112827 HAS SOPS 112827 HAS SOUS 54745 HAS SOUPS 54745 WITH SCORE 54857.827
AT ITER 1239 NEW BEST:: SOT 303659 SOS 112827 HAS SOPS 112827 HAS SOUS 54708 HAS SOUPS 54708 WITH SCORE 54820.827
AT ITER 1258 NEW BEST:: SOT 303510 SOS 112357 HAS SOPS 112357 HAS SOUS 54668 HAS SOUPS 54668 WITH SCORE 54780.357
AT ITER 1266 NEW BEST:: SOT 303545 SOS 112715 HAS SOPS 112715 HAS SOUS 54432 HAS SOUPS 54432 WITH SCORE 54544.715
AT ITER 1287 NEW BEST:: SOT 303441 SOS 112585 HAS SOPS 112585 HAS SOUS 54301 HAS SOUPS 54301 WITH SCORE 54413.585
AT ITER 1292 NEW BEST:: SOT 303366 SOS 112420 HAS SOPS 112420 HAS SOUS 54196 HAS SOUPS 54196 WITH SCORE 54308.42
AT ITER 1299 NEW BEST:: SOT 303301 SOS 112355 HAS SOPS 112355 HAS SOUS 54131 HAS SOUPS 54131 WITH SCORE 54243.355
AT ITER 1307 NEW BEST:: SOT 303296 SOS 112465 HAS SOPS 112465 HAS SOUS 54121 HAS SOUPS 54121 WITH SCORE 54233.465
AT ITER 1309 NEW BEST:: SOT 303286 SOS 112405 HAS SOPS 112405 HAS SOUS 54105 HAS SOUPS 54105 WITH SCORE 54217.405
AT ITER 1329 NEW BEST:: SOT 303316 SOS 112568 HAS SOPS 112568 HAS SOUS 53910 HAS SOUPS 53910 WITH SCORE 54022.568
AT ITER 1332 NEW BEST:: SOT 303276 SOS 112528 HAS SOPS 112528 HAS SOUS 53794 HAS SOUPS 53794 WITH SCORE 53906.528
AT ITER 1338 NEW BEST:: SOT 303242 SOS 112494 HAS SOPS 112494 HAS SOUS 53794 HAS SOUPS 53794 WITH SCORE 53906.494
AT ITER 1348 NEW BEST:: SOT 303242 SOS 112140 HAS SOPS 112140 HAS SOUS 53676 HAS SOUPS 53676 WITH SCORE 53788.14
AT ITER 1358 NEW BEST:: SOT 303242 SOS 112108 HAS SOPS 112108 HAS SOUS 53668 HAS SOUPS 53668 WITH SCORE 53780.108
AT ITER 1359 NEW BEST:: SOT 303242 SOS 112083 HAS SOPS 112083 HAS SOUS 53668 HAS SOUPS 53668 WITH SCORE 53780.083
AT ITER 1372 NEW BEST:: SOT 303097 SOS 111909 HAS SOPS 111909 HAS SOUS 53642 HAS SOUPS 53642 WITH SCORE 53753.909
AT ITER 1385 NEW BEST:: SOT 303065 SOS 111717 HAS SOPS 111717 HAS SOUS 53578 HAS SOUPS 53578 WITH SCORE 53689.717
AT ITER 1450 NEW BEST:: SOT 303065 SOS 111597 HAS SOPS 111597 HAS SOUS 53538 HAS SOUPS 53538 WITH SCORE 53649.597
AT ITER 1460 NEW BEST:: SOT 303065 SOS 111495 HAS SOPS 111495 HAS SOUS 53504 HAS SOUPS 53504 WITH SCORE 53615.495
AT ITER 1461 NEW BEST:: SOT 303050 SOS 111480 HAS SOPS 111480 HAS SOUS 53441 HAS SOUPS 53441 WITH SCORE 53552.48
AT ITER 1471 NEW BEST:: SOT 303050 SOS 111480 HAS SOPS 111480 HAS SOUS 53436 HAS SOUPS 53436 WITH SCORE 53547.48
AT ITER 1486 NEW BEST:: SOT 303008 SOS 111150 HAS SOPS 111150 HAS SOUS 53420 HAS SOUPS 53420 WITH SCORE 53531.15
AT ITER 1512 NEW BEST:: SOT 303052 SOS 110864 HAS SOPS 110864 HAS SOUS 53402 HAS SOUPS 53402 WITH SCORE 53512.864
AT ITER 1515 NEW BEST:: SOT 303043 SOS 110855 HAS SOPS 110855 HAS SOUS 53402 HAS SOUPS 53402 WITH SCORE 53512.855
AT ITER 1543 NEW BEST:: SOT 303030 SOS 110764 HAS SOPS 110764 HAS SOUS 53363 HAS SOUPS 53363 WITH SCORE 53473.764
AT ITER 1556 NEW BEST:: SOT 303030 SOS 110764 HAS SOPS 110764 HAS SOUS 53334 HAS SOUPS 53334 WITH SCORE 53444.764
AT ITER 1572 NEW BEST:: SOT 303025 SOS 110754 HAS SOPS 110754 HAS SOUS 53328 HAS SOUPS 53328 WITH SCORE 53438.754
AT ITER 1618 NEW BEST:: SOT 303000 SOS 110704 HAS SOPS 110704 HAS SOUS 53298 HAS SOUPS 53298 WITH SCORE 53408.704
AT ITER 1627 NEW BEST:: SOT 302957 SOS 110401 HAS SOPS 110401 HAS SOUS 53167 HAS SOUPS 53167 WITH SCORE 53277.401
AT ITER 1641 NEW BEST:: SOT 302977 SOS 110311 HAS SOPS 110311 HAS SOUS 53165 HAS SOUPS 53165 WITH SCORE 53275.311
AT ITER 1655 NEW BEST:: SOT 302945 SOS 110231 HAS SOPS 110231 HAS SOUS 53117 HAS SOUPS 53117 WITH SCORE 53227.231
AT ITER 1661 NEW BEST:: SOT 302957 SOS 110243 HAS SOPS 110243 HAS SOUS 53099 HAS SOUPS 53099 WITH SCORE 53209.243
AT ITER 1704 NEW BEST:: SOT 302957 SOS 110243 HAS SOPS 110243 HAS SOUS 53079 HAS SOUPS 53079 WITH SCORE 53189.243
AT ITER 1715 NEW BEST:: SOT 302790 SOS 110081 HAS SOPS 110081 HAS SOUS 52917 HAS SOUPS 52917 WITH SCORE 53027.081
AT ITER 1717 NEW BEST:: SOT 302790 SOS 110075 HAS SOPS 110075 HAS SOUS 52911 HAS SOUPS 52911 WITH SCORE 53021.075
AT ITER 1737 NEW BEST:: SOT 302763 SOS 109946 HAS SOPS 109946 HAS SOUS 52850 HAS SOUPS 52850 WITH SCORE 52959.946
AT ITER 1751 NEW BEST:: SOT 302758 SOS 109891 HAS SOPS 109891 HAS SOUS 52811 HAS SOUPS 52811 WITH SCORE 52920.891
AT ITER 1776 NEW BEST:: SOT 302747 SOS 109869 HAS SOPS 109869 HAS SOUS 52789 HAS SOUPS 52789 WITH SCORE 52898.869
AT ITER 1786 NEW BEST:: SOT 302747 SOS 109814 HAS SOPS 109814 HAS SOUS 52786 HAS SOUPS 52786 WITH SCORE 52895.814
AT ITER 1816 NEW BEST:: SOT 302498 SOS 109205 HAS SOPS 109205 HAS SOUS 52595 HAS SOUPS 52595 WITH SCORE 52704.205
AT ITER 1826 NEW BEST:: SOT 302498 SOS 109215 HAS SOPS 109215 HAS SOUS 52587 HAS SOUPS 52587 WITH SCORE 52696.215
AT ITER 1882 NEW BEST:: SOT 302474 SOS 109071 HAS SOPS 109071 HAS SOUS 52539 HAS SOUPS 52539 WITH SCORE 52648.071
AT ITER 1883 NEW BEST:: SOT 302474 SOS 109073 HAS SOPS 109073 HAS SOUS 52537 HAS SOUPS 52537 WITH SCORE 52646.073
AT ITER 1896 NEW BEST:: SOT 302474 SOS 109073 HAS SOPS 109073 HAS SOUS 52531 HAS SOUPS 52531 WITH SCORE 52640.073
AT ITER 1917 NEW BEST:: SOT 302399 SOS 108999 HAS SOPS 108999 HAS SOUS 52457 HAS SOUPS 52457 WITH SCORE 52565.999
AT ITER 1961 NEW BEST:: SOT 302382 SOS 108896 HAS SOPS 108896 HAS SOUS 52430 HAS SOUPS 52430 WITH SCORE 52538.896
AT ITER 1964 NEW BEST:: SOT 302382 SOS 108830 HAS SOPS 108830 HAS SOUS 52408 HAS SOUPS 52408 WITH SCORE 52516.83
AT ITER 2063 NEW BEST:: SOT 302378 SOS 108821 HAS SOPS 108821 HAS SOUS 52403 HAS SOUPS 52403 WITH SCORE 52511.821
AT ITER 2069 NEW BEST:: SOT 302376 SOS 108760 HAS SOPS 108760 HAS SOUS 52350 HAS SOUPS 52350 WITH SCORE 52458.76
AT ITER 2072 NEW BEST:: SOT 302376 SOS 108760 HAS SOPS 108760 HAS SOUS 52338 HAS SOUPS 52338 WITH SCORE 52446.76
AT ITER 2088 NEW BEST:: SOT 302376 SOS 108760 HAS SOPS 108760 HAS SOUS 52333 HAS SOUPS 52333 WITH SCORE 52441.76
AT ITER 2110 NEW BEST:: SOT 302268 SOS 108652 HAS SOPS 108652 HAS SOUS 52225 HAS SOUPS 52225 WITH SCORE 52333.652
AT ITER 2171 NEW BEST:: SOT 302268 SOS 108668 HAS SOPS 108668 HAS SOUS 52223 HAS SOUPS 52223 WITH SCORE 52331.668
AT ITER 2175 NEW BEST:: SOT 302152 SOS 108407 HAS SOPS 108407 HAS SOUS 52078 HAS SOUPS 52078 WITH SCORE 52186.407
AT ITER 2190 NEW BEST:: SOT 302152 SOS 108131 HAS SOPS 108131 HAS SOUS 51986 HAS SOUPS 51986 WITH SCORE 52094.131
AT ITER 2261 NEW BEST:: SOT 302137 SOS 108116 HAS SOPS 108116 HAS SOUS 51971 HAS SOUPS 51971 WITH SCORE 52079.116
AT ITER 2263 NEW BEST:: SOT 302077 SOS 107796 HAS SOPS 107796 HAS SOUS 51911 HAS SOUPS 51911 WITH SCORE 52018.796
AT ITER 2272 NEW BEST:: SOT 302077 SOS 107747 HAS SOPS 107747 HAS SOUS 51872 HAS SOUPS 51872 WITH SCORE 51979.747
AT ITER 2283 NEW BEST:: SOT 302042 SOS 107752 HAS SOPS 107752 HAS SOUS 51863 HAS SOUPS 51863 WITH SCORE 51970.752
AT ITER 2294 NEW BEST:: SOT 301907 SOS 107617 HAS SOPS 107617 HAS SOUS 51728 HAS SOUPS 51728 WITH SCORE 51835.617
AT ITER 2320 NEW BEST:: SOT 301877 SOS 107581 HAS SOPS 107581 HAS SOUS 51668 HAS SOUPS 51668 WITH SCORE 51775.581
AT ITER 2324 NEW BEST:: SOT 301834 SOS 107258 HAS SOPS 107258 HAS SOUS 51517 HAS SOUPS 51517 WITH SCORE 51624.258
AT ITER 2403 NEW BEST:: SOT 301834 SOS 107278 HAS SOPS 107278 HAS SOUS 51513 HAS SOUPS 51513 WITH SCORE 51620.278
AT ITER 2422 NEW BEST:: SOT 301812 SOS 107356 HAS SOPS 107356 HAS SOUS 51511 HAS SOUPS 51511 WITH SCORE 51618.356
AT ITER 2430 NEW BEST:: SOT 301812 SOS 107323 HAS SOPS 107323 HAS SOUS 51478 HAS SOUPS 51478 WITH SCORE 51585.323
AT ITER 2440 NEW BEST:: SOT 301806 SOS 107288 HAS SOPS 107288 HAS SOUS 51447 HAS SOUPS 51447 WITH SCORE 51554.288
AT ITER 2441 NEW BEST:: SOT 301801 SOS 107278 HAS SOPS 107278 HAS SOUS 51425 HAS SOUPS 51425 WITH SCORE 51532.278
AT ITER 2444 NEW BEST:: SOT 301796 SOS 107276 HAS SOPS 107276 HAS SOUS 51423 HAS SOUPS 51423 WITH SCORE 51530.276
AT ITER 2474 NEW BEST:: SOT 301749 SOS 107204 HAS SOPS 107204 HAS SOUS 51355 HAS SOUPS 51355 WITH SCORE 51462.204
AT ITER 2483 NEW BEST:: SOT 301659 SOS 107050 HAS SOPS 107050 HAS SOUS 51185 HAS SOUPS 51185 WITH SCORE 51292.05
AT ITER 2490 NEW BEST:: SOT 301659 SOS 107050 HAS SOPS 107050 HAS SOUS 51182 HAS SOUPS 51182 WITH SCORE 51289.05
AT ITER 2526 NEW BEST:: SOT 301614 SOS 106996 HAS SOPS 106996 HAS SOUS 51128 HAS SOUPS 51128 WITH SCORE 51234.996
AT ITER 2540 NEW BEST:: SOT 301599 SOS 106978 HAS SOPS 106978 HAS SOUS 51110 HAS SOUPS 51110 WITH SCORE 51216.978
AT ITER 2541 NEW BEST:: SOT 301576 SOS 106955 HAS SOPS 106955 HAS SOUS 51103 HAS SOUPS 51103 WITH SCORE 51209.955
AT ITER 2594 NEW BEST:: SOT 301547 SOS 106926 HAS SOPS 106926 HAS SOUS 51074 HAS SOUPS 51074 WITH SCORE 51180.926
AT ITER 2600 NEW BEST:: SOT 301487 SOS 106854 HAS SOPS 106854 HAS SOUS 51002 HAS SOUPS 51002 WITH SCORE 51108.854
AT ITER 2604 NEW BEST:: SOT 301487 SOS 106899 HAS SOPS 106899 HAS SOUS 50997 HAS SOUPS 50997 WITH SCORE 51103.899
AT ITER 2617 NEW BEST:: SOT 301312 SOS 106709 HAS SOPS 106709 HAS SOUS 50915 HAS SOUPS 50915 WITH SCORE 51021.709
AT ITER 2625 NEW BEST:: SOT 301312 SOS 106773 HAS SOPS 106773 HAS SOUS 50891 HAS SOUPS 50891 WITH SCORE 50997.773
AT ITER 2635 NEW BEST:: SOT 301312 SOS 106773 HAS SOPS 106773 HAS SOUS 50873 HAS SOUPS 50873 WITH SCORE 50979.773
AT ITER 2641 NEW BEST:: SOT 301293 SOS 106754 HAS SOPS 106754 HAS SOUS 50858 HAS SOUPS 50858 WITH SCORE 50964.754
AT ITER 2676 NEW BEST:: SOT 301293 SOS 106514 HAS SOPS 106514 HAS SOUS 50778 HAS SOUPS 50778 WITH SCORE 50884.514
AT ITER 2697 NEW BEST:: SOT 301218 SOS 106424 HAS SOPS 106424 HAS SOUS 50612 HAS SOUPS 50612 WITH SCORE 50718.424
AT ITER 2707 NEW BEST:: SOT 301208 SOS 106412 HAS SOPS 106412 HAS SOUS 50597 HAS SOUPS 50597 WITH SCORE 50703.412
AT ITER 2731 NEW BEST:: SOT 301049 SOS 106217 HAS SOPS 106217 HAS SOUS 50457 HAS SOUPS 50457 WITH SCORE 50563.217
AT ITER 2735 NEW BEST:: SOT 301049 SOS 106160 HAS SOPS 106160 HAS SOUS 50426 HAS SOUPS 50426 WITH SCORE 50532.16
AT ITER 2744 NEW BEST:: SOT 300919 SOS 105874 HAS SOPS 105874 HAS SOUS 50244 HAS SOUPS 50244 WITH SCORE 50349.874
AT ITER 2751 NEW BEST:: SOT 300872 SOS 105923 HAS SOPS 105923 HAS SOUS 50209 HAS SOUPS 50209 WITH SCORE 50314.923
AT ITER 2752 NEW BEST:: SOT 300865 SOS 105916 HAS SOPS 105916 HAS SOUS 50209 HAS SOUPS 50209 WITH SCORE 50314.916
AT ITER 2776 NEW BEST:: SOT 300869 SOS 106097 HAS SOPS 106097 HAS SOUS 50012 HAS SOUPS 50012 WITH SCORE 50118.097
AT ITER 2799 NEW BEST:: SOT 300660 SOS 105897 HAS SOPS 105897 HAS SOUS 49812 HAS SOUPS 49812 WITH SCORE 49917.897
AT ITER 2804 NEW BEST:: SOT 300530 SOS 105698 HAS SOPS 105698 HAS SOUS 49721 HAS SOUPS 49721 WITH SCORE 49826.698
AT ITER 2815 NEW BEST:: SOT 300530 SOS 105698 HAS SOPS 105698 HAS SOUS 49716 HAS SOUPS 49716 WITH SCORE 49821.698
AT ITER 2821 NEW BEST:: SOT 300530 SOS 105422 HAS SOPS 105422 HAS SOUS 49624 HAS SOUPS 49624 WITH SCORE 49729.422
AT ITER 2822 NEW BEST:: SOT 300554 SOS 105430 HAS SOPS 105430 HAS SOUS 49569 HAS SOUPS 49569 WITH SCORE 49674.43
AT ITER 2833 NEW BEST:: SOT 300554 SOS 105430 HAS SOPS 105430 HAS SOUS 49521 HAS SOUPS 49521 WITH SCORE 49626.43
AT ITER 2840 NEW BEST:: SOT 300545 SOS 105376 HAS SOPS 105376 HAS SOUS 49503 HAS SOUPS 49503 WITH SCORE 49608.376
AT ITER 2853 NEW BEST:: SOT 300545 SOS 105376 HAS SOPS 105376 HAS SOUS 49486 HAS SOUPS 49486 WITH SCORE 49591.376
AT ITER 2862 NEW BEST:: SOT 300545 SOS 105370 HAS SOPS 105370 HAS SOUS 49484 HAS SOUPS 49484 WITH SCORE 49589.37
AT ITER 2875 NEW BEST:: SOT 300329 SOS 105154 HAS SOPS 105154 HAS SOUS 49268 HAS SOUPS 49268 WITH SCORE 49373.154
AT ITER 2886 NEW BEST:: SOT 300296 SOS 105180 HAS SOPS 105180 HAS SOUS 49230 HAS SOUPS 49230 WITH SCORE 49335.18
AT ITER 2889 NEW BEST:: SOT 300294 SOS 105172 HAS SOPS 105172 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49334.172
AT ITER 2932 NEW BEST:: SOT 300164 SOS 104912 HAS SOPS 104912 HAS SOUS 49073 HAS SOUPS 49073 WITH SCORE 49177.912
AT ITER 2951 NEW BEST:: SOT 300125 SOS 104873 HAS SOPS 104873 HAS SOUS 49073 HAS SOUPS 49073 WITH SCORE 49177.873
AT ITER 2966 NEW BEST:: SOT 300015 SOS 104765 HAS SOPS 104765 HAS SOUS 48965 HAS SOUPS 48965 WITH SCORE 49069.765
AT ITER 2976 NEW BEST:: SOT 300015 SOS 104745 HAS SOPS 104745 HAS SOUS 48953 HAS SOUPS 48953 WITH SCORE 49057.745
AT ITER 2978 NEW BEST:: SOT 299992 SOS 104607 HAS SOPS 104607 HAS SOUS 48907 HAS SOUPS 48907 WITH SCORE 49011.607
AT ITER 2999 NEW BEST:: SOT 299742 SOS 104095 HAS SOPS 104095 HAS SOUS 48619 HAS SOUPS 48619 WITH SCORE 48723.095
AT ITER 3002 NEW BEST:: SOT 299755 SOS 104138 HAS SOPS 104138 HAS SOUS 48617 HAS SOUPS 48617 WITH SCORE 48721.138
AT ITER 3007 NEW BEST:: SOT 299769 SOS 104041 HAS SOPS 104041 HAS SOUS 48608 HAS SOUPS 48608 WITH SCORE 48712.041
AT ITER 3020 NEW BEST:: SOT 299769 SOS 104041 HAS SOPS 104041 HAS SOUS 48598 HAS SOUPS 48598 WITH SCORE 48702.041
AT ITER 3063 NEW BEST:: SOT 299769 SOS 104032 HAS SOPS 104032 HAS SOUS 48595 HAS SOUPS 48595 WITH SCORE 48699.032
AT ITER 3157 NEW BEST:: SOT 299769 SOS 104027 HAS SOPS 104027 HAS SOUS 48594 HAS SOUPS 48594 WITH SCORE 48698.027
AT ITER 3173 NEW BEST:: SOT 299769 SOS 104055 HAS SOPS 104055 HAS SOUS 48566 HAS SOUPS 48566 WITH SCORE 48670.055
AT ITER 3190 NEW BEST:: SOT 299764 SOS 104025 HAS SOPS 104025 HAS SOUS 48556 HAS SOUPS 48556 WITH SCORE 48660.025
AT ITER 3221 NEW BEST:: SOT 299764 SOS 103845 HAS SOPS 103845 HAS SOUS 48496 HAS SOUPS 48496 WITH SCORE 48599.845
AT ITER 3249 NEW BEST:: SOT 299764 SOS 103864 HAS SOPS 103864 HAS SOUS 48487 HAS SOUPS 48487 WITH SCORE 48590.864
AT ITER 3374 NEW BEST:: SOT 299764 SOS 103864 HAS SOPS 103864 HAS SOUS 48477 HAS SOUPS 48477 WITH SCORE 48580.864
AT ITER 3433 NEW BEST:: SOT 299734 SOS 103804 HAS SOPS 103804 HAS SOUS 48441 HAS SOUPS 48441 WITH SCORE 48544.804
AT ITER 3453 NEW BEST:: SOT 299706 SOS 103669 HAS SOPS 103669 HAS SOUS 48366 HAS SOUPS 48366 WITH SCORE 48469.669
AT ITER 3457 NEW BEST:: SOT 299691 SOS 103618 HAS SOPS 103618 HAS SOUS 48339 HAS SOUPS 48339 WITH SCORE 48442.618
AT ITER 3535 NEW BEST:: SOT 299690 SOS 103612 HAS SOPS 103612 HAS SOUS 48337 HAS SOUPS 48337 WITH SCORE 48440.612
AT ITER 3556 NEW BEST:: SOT 299655 SOS 103542 HAS SOPS 103542 HAS SOUS 48295 HAS SOUPS 48295 WITH SCORE 48398.542
AT ITER 3563 NEW BEST:: SOT 299655 SOS 103538 HAS SOPS 103538 HAS SOUS 48291 HAS SOUPS 48291 WITH SCORE 48394.538
AT ITER 3569 NEW BEST:: SOT 299647 SOS 103443 HAS SOPS 103443 HAS SOUS 48228 HAS SOUPS 48228 WITH SCORE 48331.443
AT ITER 3632 NEW BEST:: SOT 299636 SOS 103432 HAS SOPS 103432 HAS SOUS 48217 HAS SOUPS 48217 WITH SCORE 48320.432
AT ITER 3646 NEW BEST:: SOT 299636 SOS 103430 HAS SOPS 103430 HAS SOUS 48215 HAS SOUPS 48215 WITH SCORE 48318.43
AT ITER 3666 NEW BEST:: SOT 299636 SOS 103430 HAS SOPS 103430 HAS SOUS 48159 HAS SOUPS 48159 WITH SCORE 48262.43
AT ITER 3678 NEW BEST:: SOT 299633 SOS 103427 HAS SOPS 103427 HAS SOUS 48159 HAS SOUPS 48159 WITH SCORE 48262.427
AT ITER 3711 NEW BEST:: SOT 299623 SOS 103415 HAS SOPS 103415 HAS SOUS 48137 HAS SOUPS 48137 WITH SCORE 48240.415
AT ITER 3724 NEW BEST:: SOT 299625 SOS 103317 HAS SOPS 103317 HAS SOUS 48119 HAS SOUPS 48119 WITH SCORE 48222.317
AT ITER 3739 NEW BEST:: SOT 299584 SOS 103270 HAS SOPS 103270 HAS SOUS 48053 HAS SOUPS 48053 WITH SCORE 48156.27
AT ITER 3748 NEW BEST:: SOT 299564 SOS 103246 HAS SOPS 103246 HAS SOUS 48029 HAS SOUPS 48029 WITH SCORE 48132.246
AT ITER 3752 NEW BEST:: SOT 299559 SOS 103118 HAS SOPS 103118 HAS SOUS 48001 HAS SOUPS 48001 WITH SCORE 48104.118
AT ITER 3755 NEW BEST:: SOT 299544 SOS 103085 HAS SOPS 103085 HAS SOUS 47980 HAS SOUPS 47980 WITH SCORE 48083.085
AT ITER 3758 NEW BEST:: SOT 299512 SOS 102829 HAS SOPS 102829 HAS SOUS 47974 HAS SOUPS 47974 WITH SCORE 48076.829
AT ITER 3761 NEW BEST:: SOT 299412 SOS 102709 HAS SOPS 102709 HAS SOUS 47954 HAS SOUPS 47954 WITH SCORE 48056.709
AT ITER 3782 NEW BEST:: SOT 299332 SOS 102533 HAS SOPS 102533 HAS SOUS 47842 HAS SOUPS 47842 WITH SCORE 47944.533
AT ITER 3790 NEW BEST:: SOT 299332 SOS 102538 HAS SOPS 102538 HAS SOUS 47839 HAS SOUPS 47839 WITH SCORE 47941.538
AT ITER 3809 NEW BEST:: SOT 299337 SOS 102654 HAS SOPS 102654 HAS SOUS 47809 HAS SOUPS 47809 WITH SCORE 47911.654
AT ITER 3811 NEW BEST:: SOT 299337 SOS 102630 HAS SOPS 102630 HAS SOUS 47801 HAS SOUPS 47801 WITH SCORE 47903.63
AT ITER 3835 NEW BEST:: SOT 299337 SOS 102670 HAS SOPS 102670 HAS SOUS 47777 HAS SOUPS 47777 WITH SCORE 47879.67
AT ITER 3839 NEW BEST:: SOT 299326 SOS 102604 HAS SOPS 102604 HAS SOUS 47755 HAS SOUPS 47755 WITH SCORE 47857.604
AT ITER 3864 NEW BEST:: SOT 299325 SOS 102603 HAS SOPS 102603 HAS SOUS 47755 HAS SOUPS 47755 WITH SCORE 47857.603
AT ITER 3869 NEW BEST:: SOT 299200 SOS 102453 HAS SOPS 102453 HAS SOUS 47573 HAS SOUPS 47573 WITH SCORE 47675.453
AT ITER 3881 NEW BEST:: SOT 299120 SOS 102178 HAS SOPS 102178 HAS SOUS 47547 HAS SOUPS 47547 WITH SCORE 47649.178
AT ITER 3900 NEW BEST:: SOT 298965 SOS 101837 HAS SOPS 101837 HAS SOUS 47330 HAS SOUPS 47330 WITH SCORE 47431.837
AT ITER 3973 NEW BEST:: SOT 298937 SOS 101809 HAS SOPS 101809 HAS SOUS 47302 HAS SOUPS 47302 WITH SCORE 47403.809
AT ITER 3979 NEW BEST:: SOT 299067 SOS 102026 HAS SOPS 102026 HAS SOUS 47251 HAS SOUPS 47251 WITH SCORE 47353.026
AT ITER 4005 NEW BEST:: SOT 298992 SOS 101876 HAS SOPS 101876 HAS SOUS 47161 HAS SOUPS 47161 WITH SCORE 47262.876
AT ITER 4011 NEW BEST:: SOT 299009 SOS 101898 HAS SOPS 101898 HAS SOUS 47128 HAS SOUPS 47128 WITH SCORE 47229.898
AT ITER 4013 NEW BEST:: SOT 299039 SOS 101968 HAS SOPS 101968 HAS SOUS 47122 HAS SOUPS 47122 WITH SCORE 47223.968
AT ITER 4026 NEW BEST:: SOT 299039 SOS 101758 HAS SOPS 101758 HAS SOUS 47096 HAS SOUPS 47096 WITH SCORE 47197.758
AT ITER 4034 NEW BEST:: SOT 299039 SOS 101720 HAS SOPS 101720 HAS SOUS 47094 HAS SOUPS 47094 WITH SCORE 47195.72
AT ITER 4074 NEW BEST:: SOT 299039 SOS 101662 HAS SOPS 101662 HAS SOUS 47092 HAS SOUPS 47092 WITH SCORE 47193.662
AT ITER 4107 NEW BEST:: SOT 299031 SOS 101588 HAS SOPS 101588 HAS SOUS 47051 HAS SOUPS 47051 WITH SCORE 47152.588
AT ITER 4140 NEW BEST:: SOT 299031 SOS 101528 HAS SOPS 101528 HAS SOUS 47031 HAS SOUPS 47031 WITH SCORE 47132.528
AT ITER 4158 NEW BEST:: SOT 299031 SOS 101524 HAS SOPS 101524 HAS SOUS 47011 HAS SOUPS 47011 WITH SCORE 47112.524
AT ITER 4172 NEW BEST:: SOT 299000 SOS 101493 HAS SOPS 101493 HAS SOUS 47007 HAS SOUPS 47007 WITH SCORE 47108.493
AT ITER 4182 NEW BEST:: SOT 299000 SOS 101487 HAS SOPS 101487 HAS SOUS 47005 HAS SOUPS 47005 WITH SCORE 47106.487
AT ITER 4187 NEW BEST:: SOT 298905 SOS 101326 HAS SOPS 101326 HAS SOUS 46892 HAS SOUPS 46892 WITH SCORE 46993.326
AT ITER 4215 NEW BEST:: SOT 298905 SOS 101326 HAS SOPS 101326 HAS SOUS 46887 HAS SOUPS 46887 WITH SCORE 46988.326
AT ITER 4216 NEW BEST:: SOT 298905 SOS 101321 HAS SOPS 101321 HAS SOUS 46882 HAS SOUPS 46882 WITH SCORE 46983.321
AT ITER 4278 NEW BEST:: SOT 298905 SOS 101333 HAS SOPS 101333 HAS SOUS 46870 HAS SOUPS 46870 WITH SCORE 46971.333
AT ITER 4287 NEW BEST:: SOT 298817 SOS 101025 HAS SOPS 101025 HAS SOUS 46844 HAS SOUPS 46844 WITH SCORE 46945.025
AT ITER 4325 NEW BEST:: SOT 298789 SOS 100989 HAS SOPS 100989 HAS SOUS 46840 HAS SOUPS 46840 WITH SCORE 46940.989
AT ITER 4336 NEW BEST:: SOT 298789 SOS 100989 HAS SOPS 100989 HAS SOUS 46836 HAS SOUPS 46836 WITH SCORE 46936.989
AT ITER 4339 NEW BEST:: SOT 298789 SOS 100953 HAS SOPS 100953 HAS SOUS 46824 HAS SOUPS 46824 WITH SCORE 46924.953
AT ITER 4342 NEW BEST:: SOT 298799 SOS 100965 HAS SOPS 100965 HAS SOUS 46820 HAS SOUPS 46820 WITH SCORE 46920.965
AT ITER 4378 NEW BEST:: SOT 298799 SOS 100797 HAS SOPS 100797 HAS SOUS 46764 HAS SOUPS 46764 WITH SCORE 46864.797
AT ITER 4391 NEW BEST:: SOT 298799 SOS 100931 HAS SOPS 100931 HAS SOUS 46762 HAS SOUPS 46762 WITH SCORE 46862.931
AT ITER 4407 NEW BEST:: SOT 298799 SOS 100931 HAS SOPS 100931 HAS SOUS 46758 HAS SOUPS 46758 WITH SCORE 46858.931
AT ITER 4436 NEW BEST:: SOT 298837 SOS 101078 HAS SOPS 101078 HAS SOUS 46659 HAS SOUPS 46659 WITH SCORE 46760.078
AT ITER 4453 NEW BEST:: SOT 298835 SOS 101066 HAS SOPS 101066 HAS SOUS 46655 HAS SOUPS 46655 WITH SCORE 46756.066
AT ITER 4500 NEW BEST:: SOT 298828 SOS 101059 HAS SOPS 101059 HAS SOUS 46655 HAS SOUPS 46655 WITH SCORE 46756.059
AT ITER 4527 NEW BEST:: SOT 298828 SOS 100999 HAS SOPS 100999 HAS SOUS 46643 HAS SOUPS 46643 WITH SCORE 46743.999
AT ITER 4530 NEW BEST:: SOT 298789 SOS 100810 HAS SOPS 100810 HAS SOUS 46554 HAS SOUPS 46554 WITH SCORE 46654.81
AT ITER 4589 NEW BEST:: SOT 298789 SOS 100810 HAS SOPS 100810 HAS SOUS 46516 HAS SOUPS 46516 WITH SCORE 46616.81
AT ITER 4614 NEW BEST:: SOT 298789 SOS 100810 HAS SOPS 100810 HAS SOUS 46507 HAS SOUPS 46507 WITH SCORE 46607.81
AT ITER 4627 NEW BEST:: SOT 298757 SOS 100770 HAS SOPS 100770 HAS SOUS 46495 HAS SOUPS 46495 WITH SCORE 46595.77
AT ITER 4677 NEW BEST:: SOT 298757 SOS 100722 HAS SOPS 100722 HAS SOUS 46479 HAS SOUPS 46479 WITH SCORE 46579.722
AT ITER 4714 NEW BEST:: SOT 298757 SOS 100722 HAS SOPS 100722 HAS SOUS 46468 HAS SOUPS 46468 WITH SCORE 46568.722
AT ITER 4737 NEW BEST:: SOT 298757 SOS 100722 HAS SOPS 100722 HAS SOUS 46454 HAS SOUPS 46454 WITH SCORE 46554.722
AT ITER 4769 NEW BEST:: SOT 298757 SOS 100722 HAS SOPS 100722 HAS SOUS 46446 HAS SOUPS 46446 WITH SCORE 46546.722
AT ITER 4795 NEW BEST:: SOT 298750 SOS 100680 HAS SOPS 100680 HAS SOUS 46432 HAS SOUPS 46432 WITH SCORE 46532.68
AT ITER 4824 NEW BEST:: SOT 298750 SOS 100680 HAS SOPS 100680 HAS SOUS 46408 HAS SOUPS 46408 WITH SCORE 46508.68
AT ITER 4830 NEW BEST:: SOT 298675 SOS 100450 HAS SOPS 100450 HAS SOUS 46290 HAS SOUPS 46290 WITH SCORE 46390.45
AT ITER 4876 NEW BEST:: SOT 298675 SOS 100468 HAS SOPS 100468 HAS SOUS 46284 HAS SOUPS 46284 WITH SCORE 46384.468
AT ITER 4912 NEW BEST:: SOT 298675 SOS 100458 HAS SOPS 100458 HAS SOUS 46234 HAS SOUPS 46234 WITH SCORE 46334.458
AT ITER 4915 NEW BEST:: SOT 298646 SOS 100429 HAS SOPS 100429 HAS SOUS 46234 HAS SOUPS 46234 WITH SCORE 46334.429
AT ITER 4936 NEW BEST:: SOT 298646 SOS 100443 HAS SOPS 100443 HAS SOUS 46232 HAS SOUPS 46232 WITH SCORE 46332.443
AT ITER 4945 NEW BEST:: SOT 298646 SOS 100443 HAS SOPS 100443 HAS SOUS 46220 HAS SOUPS 46220 WITH SCORE 46320.443
AT ITER 4958 NEW BEST:: SOT 298646 SOS 100511 HAS SOPS 100511 HAS SOUS 46188 HAS SOUPS 46188 WITH SCORE 46288.511
AT ITER 4963 NEW BEST:: SOT 298586 SOS 100451 HAS SOPS 100451 HAS SOUS 46128 HAS SOUPS 46128 WITH SCORE 46228.451
AT ITER 4974 NEW BEST:: SOT 298584 SOS 100439 HAS SOPS 100439 HAS SOUS 46124 HAS SOUPS 46124 WITH SCORE 46224.439
AT ITER 4983 NEW BEST:: SOT 298584 SOS 100439 HAS SOPS 100439 HAS SOUS 46023 HAS SOUPS 46023 WITH SCORE 46123.439
AT ITER 4996 NEW BEST:: SOT 298540 SOS 100323 HAS SOPS 100323 HAS SOUS 45955 HAS SOUPS 45955 WITH SCORE 46055.323
AT ITER 5017 NEW BEST:: SOT 298465 SOS 100233 HAS SOPS 100233 HAS SOUS 45865 HAS SOUPS 45865 WITH SCORE 45965.233
AT ITER 5053 NEW BEST:: SOT 298465 SOS 100253 HAS SOPS 100253 HAS SOUS 45861 HAS SOUPS 45861 WITH SCORE 45961.253
AT ITER 5059 NEW BEST:: SOT 298467 SOS 100309 HAS SOPS 100309 HAS SOUS 45821 HAS SOUPS 45821 WITH SCORE 45921.309
AT ITER 5078 NEW BEST:: SOT 298423 SOS 100403 HAS SOPS 100403 HAS SOUS 45787 HAS SOUPS 45787 WITH SCORE 45887.403
AT ITER 5105 NEW BEST:: SOT 298418 SOS 100369 HAS SOPS 100369 HAS SOUS 45781 HAS SOUPS 45781 WITH SCORE 45881.369
AT ITER 5163 NEW BEST:: SOT 298407 SOS 100358 HAS SOPS 100358 HAS SOUS 45770 HAS SOUPS 45770 WITH SCORE 45870.358
AT ITER 5207 NEW BEST:: SOT 298421 SOS 100236 HAS SOPS 100236 HAS SOUS 45760 HAS SOUPS 45760 WITH SCORE 45860.236
AT ITER 5213 NEW BEST:: SOT 298417 SOS 100232 HAS SOPS 100232 HAS SOUS 45756 HAS SOUPS 45756 WITH SCORE 45856.232
AT ITER 5230 NEW BEST:: SOT 298403 SOS 100267 HAS SOPS 100267 HAS SOUS 45691 HAS SOUPS 45691 WITH SCORE 45791.267
AT ITER 5314 NEW BEST:: SOT 298339 SOS 100150 HAS SOPS 100150 HAS SOUS 45642 HAS SOUPS 45642 WITH SCORE 45742.15
AT ITER 5366 NEW BEST:: SOT 298354 SOS 100200 HAS SOPS 100200 HAS SOUS 45640 HAS SOUPS 45640 WITH SCORE 45740.2
AT ITER 5368 NEW BEST:: SOT 298374 SOS 100228 HAS SOPS 100228 HAS SOUS 45604 HAS SOUPS 45604 WITH SCORE 45704.228
AT ITER 5370 NEW BEST:: SOT 298279 SOS 100097 HAS SOPS 100097 HAS SOUS 45497 HAS SOUPS 45497 WITH SCORE 45597.097
AT ITER 5375 NEW BEST:: SOT 298279 SOS 100061 HAS SOPS 100061 HAS SOUS 45485 HAS SOUPS 45485 WITH SCORE 45585.061
AT ITER 5425 NEW BEST:: SOT 298167 SOS 99721 HAS SOPS 99721 HAS SOUS 45297 HAS SOUPS 45297 WITH SCORE 45396.721
AT ITER 5440 NEW BEST:: SOT 298166 SOS 99720 HAS SOPS 99720 HAS SOUS 45286 HAS SOUPS 45286 WITH SCORE 45385.72
AT ITER 5457 NEW BEST:: SOT 298163 SOS 99702 HAS SOPS 99702 HAS SOUS 45281 HAS SOUPS 45281 WITH SCORE 45380.702
AT ITER 5464 NEW BEST:: SOT 298167 SOS 99651 HAS SOPS 99651 HAS SOUS 45274 HAS SOUPS 45274 WITH SCORE 45373.651
AT ITER 5507 NEW BEST:: SOT 298167 SOS 99651 HAS SOPS 99651 HAS SOUS 45259 HAS SOUPS 45259 WITH SCORE 45358.651
AT ITER 5524 NEW BEST:: SOT 298167 SOS 99651 HAS SOPS 99651 HAS SOUS 45249 HAS SOUPS 45249 WITH SCORE 45348.651
AT ITER 5596 NEW BEST:: SOT 298142 SOS 99626 HAS SOPS 99626 HAS SOUS 45249 HAS SOUPS 45249 WITH SCORE 45348.626
AT ITER 5616 NEW BEST:: SOT 298121 SOS 99601 HAS SOPS 99601 HAS SOUS 45240 HAS SOUPS 45240 WITH SCORE 45339.601
AT ITER 5631 NEW BEST:: SOT 298076 SOS 99547 HAS SOPS 99547 HAS SOUS 45174 HAS SOUPS 45174 WITH SCORE 45273.547
AT ITER 5643 NEW BEST:: SOT 298064 SOS 99535 HAS SOPS 99535 HAS SOUS 45162 HAS SOUPS 45162 WITH SCORE 45261.535
AT ITER 5677 NEW BEST:: SOT 298059 SOS 99530 HAS SOPS 99530 HAS SOUS 45157 HAS SOUPS 45157 WITH SCORE 45256.53
AT ITER 5697 NEW BEST:: SOT 298009 SOS 99355 HAS SOPS 99355 HAS SOUS 45102 HAS SOUPS 45102 WITH SCORE 45201.355
AT ITER 5772 NEW BEST:: SOT 298009 SOS 99331 HAS SOPS 99331 HAS SOUS 45094 HAS SOUPS 45094 WITH SCORE 45193.331
AT ITER 5802 NEW BEST:: SOT 297998 SOS 99265 HAS SOPS 99265 HAS SOUS 45072 HAS SOUPS 45072 WITH SCORE 45171.265
AT ITER 5814 NEW BEST:: SOT 297998 SOS 99265 HAS SOPS 99265 HAS SOUS 45047 HAS SOUPS 45047 WITH SCORE 45146.265
AT ITER 5834 NEW BEST:: SOT 297998 SOS 99241 HAS SOPS 99241 HAS SOUS 45039 HAS SOUPS 45039 WITH SCORE 45138.241
AT ITER 5854 NEW BEST:: SOT 297981 SOS 99122 HAS SOPS 99122 HAS SOUS 44988 HAS SOUPS 44988 WITH SCORE 45087.122
AT ITER 5873 NEW BEST:: SOT 297971 SOS 99052 HAS SOPS 99052 HAS SOUS 44958 HAS SOUPS 44958 WITH SCORE 45057.052
AT ITER 5877 NEW BEST:: SOT 297933 SOS 98806 HAS SOPS 98806 HAS SOUS 44848 HAS SOUPS 44848 WITH SCORE 44946.806
AT ITER 5897 NEW BEST:: SOT 297933 SOS 98794 HAS SOPS 98794 HAS SOUS 44844 HAS SOUPS 44844 WITH SCORE 44942.794
AT ITER 5901 NEW BEST:: SOT 298044 SOS 99109 HAS SOPS 99109 HAS SOUS 44838 HAS SOUPS 44838 WITH SCORE 44937.109
AT ITER 5908 NEW BEST:: SOT 297971 SOS 99035 HAS SOPS 99035 HAS SOUS 44776 HAS SOUPS 44776 WITH SCORE 44875.035
AT ITER 5936 NEW BEST:: SOT 297927 SOS 98991 HAS SOPS 98991 HAS SOUS 44732 HAS SOUPS 44732 WITH SCORE 44830.991
AT ITER 5981 NEW BEST:: SOT 297924 SOS 98973 HAS SOPS 98973 HAS SOUS 44726 HAS SOUPS 44726 WITH SCORE 44824.973
AT ITER 6000 NEW BEST:: SOT 297923 SOS 98970 HAS SOPS 98970 HAS SOUS 44721 HAS SOUPS 44721 WITH SCORE 44819.97
AT ITER 6086 NEW BEST:: SOT 297883 SOS 98840 HAS SOPS 98840 HAS SOUS 44669 HAS SOUPS 44669 WITH SCORE 44767.84
AT ITER 6321 NEW BEST:: SOT 297883 SOS 98792 HAS SOPS 98792 HAS SOUS 44653 HAS SOUPS 44653 WITH SCORE 44751.792
AT ITER 6371 NEW BEST:: SOT 297918 SOS 98958 HAS SOPS 98958 HAS SOUS 44575 HAS SOUPS 44575 WITH SCORE 44673.958
AT ITER 6393 NEW BEST:: SOT 297918 SOS 99030 HAS SOPS 99030 HAS SOUS 44503 HAS SOUPS 44503 WITH SCORE 44602.03
AT ITER 6409 NEW BEST:: SOT 297918 SOS 98970 HAS SOPS 98970 HAS SOUS 44495 HAS SOUPS 44495 WITH SCORE 44593.97
AT ITER 6629 NEW BEST:: SOT 297929 SOS 98971 HAS SOPS 98971 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44573.971
AT ITER 6656 NEW BEST:: SOT 297959 SOS 99103 HAS SOPS 99103 HAS SOUS 44439 HAS SOUPS 44439 WITH SCORE 44538.103
AT ITER 6725 NEW BEST:: SOT 297956 SOS 99082 HAS SOPS 99082 HAS SOUS 44430 HAS SOUPS 44430 WITH SCORE 44529.082
AT ITER 6740 NEW BEST:: SOT 297886 SOS 98998 HAS SOPS 98998 HAS SOUS 44274 HAS SOUPS 44274 WITH SCORE 44372.998
AT ITER 6748 NEW BEST:: SOT 297886 SOS 98998 HAS SOPS 98998 HAS SOUS 44253 HAS SOUPS 44253 WITH SCORE 44351.998
AT ITER 6757 NEW BEST:: SOT 297900 SOS 99066 HAS SOPS 99066 HAS SOUS 44214 HAS SOUPS 44214 WITH SCORE 44313.066
AT ITER 6766 NEW BEST:: SOT 297876 SOS 99097 HAS SOPS 99097 HAS SOUS 44201 HAS SOUPS 44201 WITH SCORE 44300.097
AT ITER 6769 NEW BEST:: SOT 297871 SOS 99092 HAS SOPS 99092 HAS SOUS 44200 HAS SOUPS 44200 WITH SCORE 44299.092
AT ITER 6938 NEW BEST:: SOT 297871 SOS 99020 HAS SOPS 99020 HAS SOUS 44176 HAS SOUPS 44176 WITH SCORE 44275.02
AT ITER 6992 NEW BEST:: SOT 297871 SOS 98972 HAS SOPS 98972 HAS SOUS 44160 HAS SOUPS 44160 WITH SCORE 44258.972
AT ITER 6997 NEW BEST:: SOT 297865 SOS 98936 HAS SOPS 98936 HAS SOUS 44148 HAS SOUPS 44148 WITH SCORE 44246.936
AT ITER 7018 NEW BEST:: SOT 297886 SOS 98964 HAS SOPS 98964 HAS SOUS 44141 HAS SOUPS 44141 WITH SCORE 44239.964
AT ITER 7167 NEW BEST:: SOT 297846 SOS 98916 HAS SOPS 98916 HAS SOUS 44093 HAS SOUPS 44093 WITH SCORE 44191.916
AT ITER 7190 NEW BEST:: SOT 297846 SOS 98856 HAS SOPS 98856 HAS SOUS 44073 HAS SOUPS 44073 WITH SCORE 44171.856
AT ITER 7218 NEW BEST:: SOT 297840 SOS 98844 HAS SOPS 98844 HAS SOUS 44041 HAS SOUPS 44041 WITH SCORE 44139.844
AT ITER 7224 NEW BEST:: SOT 297840 SOS 98832 HAS SOPS 98832 HAS SOUS 44037 HAS SOUPS 44037 WITH SCORE 44135.832
AT ITER 7267 NEW BEST:: SOT 297831 SOS 98778 HAS SOPS 98778 HAS SOUS 44019 HAS SOUPS 44019 WITH SCORE 44117.778
AT ITER 7289 NEW BEST:: SOT 297880 SOS 98827 HAS SOPS 98827 HAS SOUS 43993 HAS SOUPS 43993 WITH SCORE 44091.827
AT ITER 7309 NEW BEST:: SOT 297880 SOS 98827 HAS SOPS 98827 HAS SOUS 43989 HAS SOUPS 43989 WITH SCORE 44087.827
AT ITER 7332 NEW BEST:: SOT 297830 SOS 98652 HAS SOPS 98652 HAS SOUS 43962 HAS SOUPS 43962 WITH SCORE 44060.652
AT ITER 7393 NEW BEST:: SOT 297863 SOS 98766 HAS SOPS 98766 HAS SOUS 43920 HAS SOUPS 43920 WITH SCORE 44018.766
AT ITER 7405 NEW BEST:: SOT 297792 SOS 98704 HAS SOPS 98704 HAS SOUS 43903 HAS SOUPS 43903 WITH SCORE 44001.704
AT ITER 7463 NEW BEST:: SOT 297785 SOS 98686 HAS SOPS 98686 HAS SOUS 43885 HAS SOUPS 43885 WITH SCORE 43983.686
AT ITER 7464 NEW BEST:: SOT 297816 SOS 98696 HAS SOPS 98696 HAS SOUS 43811 HAS SOUPS 43811 WITH SCORE 43909.696
AT ITER 7522 NEW BEST:: SOT 297816 SOS 98696 HAS SOPS 98696 HAS SOUS 43803 HAS SOUPS 43803 WITH SCORE 43901.696
AT ITER 7598 NEW BEST:: SOT 297814 SOS 98694 HAS SOPS 98694 HAS SOUS 43797 HAS SOUPS 43797 WITH SCORE 43895.694
AT ITER 7645 NEW BEST:: SOT 297789 SOS 98664 HAS SOPS 98664 HAS SOUS 43742 HAS SOUPS 43742 WITH SCORE 43840.664
AT ITER 7655 NEW BEST:: SOT 297789 SOS 98646 HAS SOPS 98646 HAS SOUS 43736 HAS SOUPS 43736 WITH SCORE 43834.646
AT ITER 7680 NEW BEST:: SOT 297787 SOS 98649 HAS SOPS 98649 HAS SOUS 43731 HAS SOUPS 43731 WITH SCORE 43829.649
AT ITER 7730 NEW BEST:: SOT 297745 SOS 98397 HAS SOPS 98397 HAS SOUS 43647 HAS SOUPS 43647 WITH SCORE 43745.397
AT ITER 7731 NEW BEST:: SOT 297745 SOS 98397 HAS SOPS 98397 HAS SOUS 43587 HAS SOUPS 43587 WITH SCORE 43685.397
AT ITER 7844 NEW BEST:: SOT 297742 SOS 98394 HAS SOPS 98394 HAS SOUS 43584 HAS SOUPS 43584 WITH SCORE 43682.394
AT ITER 7855 NEW BEST:: SOT 297746 SOS 98430 HAS SOPS 98430 HAS SOUS 43582 HAS SOUPS 43582 WITH SCORE 43680.43
AT ITER 7880 NEW BEST:: SOT 297750 SOS 98462 HAS SOPS 98462 HAS SOUS 43556 HAS SOUPS 43556 WITH SCORE 43654.462
AT ITER 7928 NEW BEST:: SOT 297750 SOS 98462 HAS SOPS 98462 HAS SOUS 43496 HAS SOUPS 43496 WITH SCORE 43594.462
AT ITER 7951 NEW BEST:: SOT 297750 SOS 98450 HAS SOPS 98450 HAS SOUS 43492 HAS SOUPS 43492 WITH SCORE 43590.45
AT ITER 7977 NEW BEST:: SOT 297750 SOS 98455 HAS SOPS 98455 HAS SOUS 43449 HAS SOUPS 43449 WITH SCORE 43547.455
AT ITER 8028 NEW BEST:: SOT 297751 SOS 98453 HAS SOPS 98453 HAS SOUS 43447 HAS SOUPS 43447 WITH SCORE 43545.453
AT ITER 8089 NEW BEST:: SOT 297718 SOS 98379 HAS SOPS 98379 HAS SOUS 43425 HAS SOUPS 43425 WITH SCORE 43523.379
AT ITER 8149 NEW BEST:: SOT 297673 SOS 98109 HAS SOPS 98109 HAS SOUS 43335 HAS SOUPS 43335 WITH SCORE 43433.109
AT ITER 8212 NEW BEST:: SOT 297666 SOS 98067 HAS SOPS 98067 HAS SOUS 43321 HAS SOUPS 43321 WITH SCORE 43419.067
AT ITER 8365 NEW BEST:: SOT 297655 SOS 98001 HAS SOPS 98001 HAS SOUS 43299 HAS SOUPS 43299 WITH SCORE 43397.001
AT ITER 8511 NEW BEST:: SOT 297667 SOS 98013 HAS SOPS 98013 HAS SOUS 43275 HAS SOUPS 43275 WITH SCORE 43373.013
AT ITER 8579 NEW BEST:: SOT 297627 SOS 97965 HAS SOPS 97965 HAS SOUS 43227 HAS SOUPS 43227 WITH SCORE 43324.965
AT ITER 8618 NEW BEST:: SOT 297602 SOS 97940 HAS SOPS 97940 HAS SOUS 43198 HAS SOUPS 43198 WITH SCORE 43295.94
AT ITER 8651 NEW BEST:: SOT 297592 SOS 97930 HAS SOPS 97930 HAS SOUS 43198 HAS SOUPS 43198 WITH SCORE 43295.93
AT ITER 8687 NEW BEST:: SOT 297592 SOS 97930 HAS SOPS 97930 HAS SOUS 43181 HAS SOUPS 43181 WITH SCORE 43278.93
AT ITER 8740 NEW BEST:: SOT 297587 SOS 97920 HAS SOPS 97920 HAS SOUS 43175 HAS SOUPS 43175 WITH SCORE 43272.92
AT ITER 8781 NEW BEST:: SOT 297587 SOS 97878 HAS SOPS 97878 HAS SOUS 43129 HAS SOUPS 43129 WITH SCORE 43226.878
AT ITER 8856 NEW BEST:: SOT 297587 SOS 97858 HAS SOPS 97858 HAS SOUS 43125 HAS SOUPS 43125 WITH SCORE 43222.858
AT ITER 8918 NEW BEST:: SOT 297587 SOS 97846 HAS SOPS 97846 HAS SOUS 43125 HAS SOUPS 43125 WITH SCORE 43222.846
AT ITER 8919 NEW BEST:: SOT 297502 SOS 97788 HAS SOPS 97788 HAS SOUS 43067 HAS SOUPS 43067 WITH SCORE 43164.788
AT ITER 8920 NEW BEST:: SOT 297502 SOS 97828 HAS SOPS 97828 HAS SOUS 43059 HAS SOUPS 43059 WITH SCORE 43156.828
AT ITER 8928 NEW BEST:: SOT 297488 SOS 97874 HAS SOPS 97874 HAS SOUS 43057 HAS SOUPS 43057 WITH SCORE 43154.874
AT ITER 8932 NEW BEST:: SOT 297488 SOS 97849 HAS SOPS 97849 HAS SOUS 43052 HAS SOUPS 43052 WITH SCORE 43149.849
AT ITER 9007 NEW BEST:: SOT 297488 SOS 98366 HAS SOPS 98366 HAS SOUS 42995 HAS SOUPS 42995 WITH SCORE 43093.366
AT ITER 9021 NEW BEST:: SOT 297488 SOS 98366 HAS SOPS 98366 HAS SOUS 42939 HAS SOUPS 42939 WITH SCORE 43037.366
AT ITER 9072 NEW BEST:: SOT 297413 SOS 98291 HAS SOPS 98291 HAS SOUS 42849 HAS SOUPS 42849 WITH SCORE 42947.291
AT ITER 9186 NEW BEST:: SOT 297437 SOS 98327 HAS SOPS 98327 HAS SOUS 42837 HAS SOUPS 42837 WITH SCORE 42935.327
AT ITER 9269 NEW BEST:: SOT 297365 SOS 98255 HAS SOPS 98255 HAS SOUS 42765 HAS SOUPS 42765 WITH SCORE 42863.255
AT ITER 9317 NEW BEST:: SOT 297365 SOS 98255 HAS SOPS 98255 HAS SOUS 42762 HAS SOUPS 42762 WITH SCORE 42860.255
AT ITER 9449 NEW BEST:: SOT 297365 SOS 98243 HAS SOPS 98243 HAS SOUS 42762 HAS SOUPS 42762 WITH SCORE 42860.243
AT ITER 9460 NEW BEST:: SOT 297367 SOS 98245 HAS SOPS 98245 HAS SOUS 42760 HAS SOUPS 42760 WITH SCORE 42858.245
AT ITER 9497 NEW BEST:: SOT 297363 SOS 98237 HAS SOPS 98237 HAS SOUS 42752 HAS SOUPS 42752 WITH SCORE 42850.237
AT ITER 9698 NEW BEST:: SOT 297358 SOS 98232 HAS SOPS 98232 HAS SOUS 42746 HAS SOUPS 42746 WITH SCORE 42844.232
AT ITER 9734 NEW BEST:: SOT 297357 SOS 98231 HAS SOPS 98231 HAS SOUS 42746 HAS SOUPS 42746 WITH SCORE 42844.231
AT ITER 9787 NEW BEST:: SOT 297321 SOS 97904 HAS SOPS 97904 HAS SOUS 42727 HAS SOUPS 42727 WITH SCORE 42824.904
AT ITER 9886 NEW BEST:: SOT 297321 SOS 97857 HAS SOPS 97857 HAS SOUS 42720 HAS SOUPS 42720 WITH SCORE 42817.857
AT ITER 9938 NEW BEST:: SOT 297306 SOS 97767 HAS SOPS 97767 HAS SOUS 42690 HAS SOUPS 42690 WITH SCORE 42787.767
BK_STOP 1678630634918
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 479 Killed ${SMART}/smart ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypertorusGrid-PT-d3k3p2b06"
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 HypertorusGrid-PT-d3k3p2b06, 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 r235-tall-167856421200056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypertorusGrid-PT-d3k3p2b06.tgz
mv HypertorusGrid-PT-d3k3p2b06 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 ;