About the Execution of Smart+red for ViralEpidemic-PT-S04D1C1A03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16216.611 | 2385817.00 | 2422836.00 | 13966.90 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r491-tall-167912711601304.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 ViralEpidemic-PT-S04D1C1A03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711601304
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 752K
-rw-r--r-- 1 mcc users 9.0K Feb 25 20:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 20:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 20:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 20:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 17:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 20:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 25 20:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 20:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 284K Mar 5 18:23 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 1679331237418
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=ViralEpidemic-PT-S04D1C1A03
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 16:53:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 16:53:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 16:53:59] [INFO ] Load time of PNML (sax parser for PT used): 84 ms
[2023-03-20 16:53:59] [INFO ] Transformed 511 places.
[2023-03-20 16:53:59] [INFO ] Transformed 765 transitions.
[2023-03-20 16:53:59] [INFO ] Parsed PT model containing 511 places and 765 transitions and 1785 arcs in 180 ms.
[2023-03-20 16:53:59] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 511 places, 765 transitions and 1785 arcs took 9 ms.
Total runtime 225 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A03
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: 511 places, 765 transitions, 1785 arcs.
AT ITER 0 NEW BEST:: SOT 265901 SOS 169716 HAS SOPS 169716 HAS SOUS 52183 HAS SOUPS 52183 WITH SCORE 52352.716
AT ITER 2 NEW BEST:: SOT 265655 SOS 169101 HAS SOPS 169101 HAS SOUS 52183 HAS SOUPS 52183 WITH SCORE 52352.101
AT ITER 8 NEW BEST:: SOT 265409 SOS 168486 HAS SOPS 168486 HAS SOUS 52183 HAS SOUPS 52183 WITH SCORE 52351.486
AT ITER 20 NEW BEST:: SOT 264927 SOS 167280 HAS SOPS 167280 HAS SOUS 52182 HAS SOUPS 52182 WITH SCORE 52349.28
AT ITER 25 NEW BEST:: SOT 264597 SOS 166455 HAS SOPS 166455 HAS SOUS 52182 HAS SOUPS 52182 WITH SCORE 52348.455
AT ITER 26 NEW BEST:: SOT 264319 SOS 165757 HAS SOPS 165757 HAS SOUS 52177 HAS SOUPS 52177 WITH SCORE 52342.757
AT ITER 29 NEW BEST:: SOT 263811 SOS 164487 HAS SOPS 164487 HAS SOUS 52177 HAS SOUPS 52177 WITH SCORE 52341.487
AT ITER 31 NEW BEST:: SOT 263441 SOS 163559 HAS SOPS 163559 HAS SOUS 52172 HAS SOUPS 52172 WITH SCORE 52335.559
AT ITER 32 NEW BEST:: SOT 263114 SOS 162563 HAS SOPS 162563 HAS SOUS 52028 HAS SOUPS 52028 WITH SCORE 52190.563
AT ITER 41 NEW BEST:: SOT 262764 SOS 161686 HAS SOPS 161686 HAS SOUS 52026 HAS SOUPS 52026 WITH SCORE 52187.686
AT ITER 43 NEW BEST:: SOT 262764 SOS 161686 HAS SOPS 161686 HAS SOUS 52024 HAS SOUPS 52024 WITH SCORE 52185.686
AT ITER 53 NEW BEST:: SOT 262435 SOS 160696 HAS SOPS 160696 HAS SOUS 51954 HAS SOUPS 51954 WITH SCORE 52114.696
AT ITER 54 NEW BEST:: SOT 262385 SOS 160596 HAS SOPS 160596 HAS SOUS 51893 HAS SOUPS 51893 WITH SCORE 52053.596
AT ITER 58 NEW BEST:: SOT 262063 SOS 159788 HAS SOPS 159788 HAS SOUS 51888 HAS SOUPS 51888 WITH SCORE 52047.788
AT ITER 61 NEW BEST:: SOT 261613 SOS 158660 HAS SOPS 158660 HAS SOUS 51883 HAS SOUPS 51883 WITH SCORE 52041.66
AT ITER 63 NEW BEST:: SOT 261237 SOS 157718 HAS SOPS 157718 HAS SOUS 51881 HAS SOUPS 51881 WITH SCORE 52038.718
AT ITER 77 NEW BEST:: SOT 261237 SOS 157715 HAS SOPS 157715 HAS SOUS 51876 HAS SOUPS 51876 WITH SCORE 52033.715
AT ITER 81 NEW BEST:: SOT 260925 SOS 156935 HAS SOPS 156935 HAS SOUS 51876 HAS SOUPS 51876 WITH SCORE 52032.935
AT ITER 84 NEW BEST:: SOT 260603 SOS 156126 HAS SOPS 156126 HAS SOUS 51868 HAS SOUPS 51868 WITH SCORE 52024.126
AT ITER 89 NEW BEST:: SOT 260107 SOS 154885 HAS SOPS 154885 HAS SOUS 51867 HAS SOUPS 51867 WITH SCORE 52021.885
AT ITER 91 NEW BEST:: SOT 259757 SOS 154010 HAS SOPS 154010 HAS SOUS 51867 HAS SOUPS 51867 WITH SCORE 52021.01
AT ITER 92 NEW BEST:: SOT 259711 SOS 153887 HAS SOPS 153887 HAS SOUS 51859 HAS SOUPS 51859 WITH SCORE 52012.887
AT ITER 93 NEW BEST:: SOT 259697 SOS 153852 HAS SOPS 153852 HAS SOUS 51859 HAS SOUPS 51859 WITH SCORE 52012.852
AT ITER 96 NEW BEST:: SOT 259519 SOS 153241 HAS SOPS 153241 HAS SOUS 51816 HAS SOUPS 51816 WITH SCORE 51969.241
AT ITER 125 NEW BEST:: SOT 259395 SOS 152930 HAS SOPS 152930 HAS SOUS 51815 HAS SOUPS 51815 WITH SCORE 51967.93
AT ITER 132 NEW BEST:: SOT 259319 SOS 152778 HAS SOPS 152778 HAS SOUS 51739 HAS SOUPS 51739 WITH SCORE 51891.778
AT ITER 134 NEW BEST:: SOT 259191 SOS 152457 HAS SOPS 152457 HAS SOUS 51738 HAS SOUPS 51738 WITH SCORE 51890.457
AT ITER 144 NEW BEST:: SOT 258891 SOS 151557 HAS SOPS 151557 HAS SOUS 51588 HAS SOUPS 51588 WITH SCORE 51739.557
AT ITER 157 NEW BEST:: SOT 258837 SOS 151420 HAS SOPS 151420 HAS SOUS 51586 HAS SOUPS 51586 WITH SCORE 51737.42
AT ITER 159 NEW BEST:: SOT 258359 SOS 150218 HAS SOPS 150218 HAS SOUS 51579 HAS SOUPS 51579 WITH SCORE 51729.218
AT ITER 165 NEW BEST:: SOT 257911 SOS 149098 HAS SOPS 149098 HAS SOUS 51579 HAS SOUPS 51579 WITH SCORE 51728.098
AT ITER 178 NEW BEST:: SOT 257757 SOS 148713 HAS SOPS 148713 HAS SOUS 51579 HAS SOUPS 51579 WITH SCORE 51727.713
AT ITER 179 NEW BEST:: SOT 257757 SOS 148561 HAS SOPS 148561 HAS SOUS 51427 HAS SOUPS 51427 WITH SCORE 51575.561
AT ITER 185 NEW BEST:: SOT 257850 SOS 148799 HAS SOPS 148799 HAS SOUS 51421 HAS SOUPS 51421 WITH SCORE 51569.799
AT ITER 186 NEW BEST:: SOT 257698 SOS 148416 HAS SOPS 148416 HAS SOUS 51416 HAS SOUPS 51416 WITH SCORE 51564.416
AT ITER 187 NEW BEST:: SOT 257212 SOS 147198 HAS SOPS 147198 HAS SOUS 51411 HAS SOUPS 51411 WITH SCORE 51558.198
AT ITER 188 NEW BEST:: SOT 256972 SOS 146598 HAS SOPS 146598 HAS SOUS 51411 HAS SOUPS 51411 WITH SCORE 51557.598
AT ITER 193 NEW BEST:: SOT 256726 SOS 145982 HAS SOPS 145982 HAS SOUS 51410 HAS SOUPS 51410 WITH SCORE 51555.982
AT ITER 198 NEW BEST:: SOT 256570 SOS 145591 HAS SOPS 145591 HAS SOUS 51409 HAS SOUPS 51409 WITH SCORE 51554.591
AT ITER 201 NEW BEST:: SOT 256017 SOS 144480 HAS SOPS 144480 HAS SOUS 51315 HAS SOUPS 51315 WITH SCORE 51459.48
AT ITER 203 NEW BEST:: SOT 255657 SOS 143580 HAS SOPS 143580 HAS SOUS 51315 HAS SOUPS 51315 WITH SCORE 51458.58
AT ITER 223 NEW BEST:: SOT 255415 SOS 142902 HAS SOPS 142902 HAS SOUS 51242 HAS SOUPS 51242 WITH SCORE 51384.902
AT ITER 236 NEW BEST:: SOT 255259 SOS 142487 HAS SOPS 142487 HAS SOUS 51224 HAS SOUPS 51224 WITH SCORE 51366.487
AT ITER 241 NEW BEST:: SOT 255091 SOS 142150 HAS SOPS 142150 HAS SOUS 51167 HAS SOUPS 51167 WITH SCORE 51309.15
AT ITER 279 NEW BEST:: SOT 254853 SOS 141554 HAS SOPS 141554 HAS SOUS 51166 HAS SOUPS 51166 WITH SCORE 51307.554
AT ITER 280 NEW BEST:: SOT 254652 SOS 141008 HAS SOPS 141008 HAS SOUS 51165 HAS SOUPS 51165 WITH SCORE 51306.008
AT ITER 289 NEW BEST:: SOT 253901 SOS 139404 HAS SOPS 139404 HAS SOUS 51017 HAS SOUPS 51017 WITH SCORE 51156.404
AT ITER 290 NEW BEST:: SOT 253879 SOS 139349 HAS SOPS 139349 HAS SOUS 51017 HAS SOUPS 51017 WITH SCORE 51156.349
AT ITER 301 NEW BEST:: SOT 253787 SOS 139119 HAS SOPS 139119 HAS SOUS 51017 HAS SOUPS 51017 WITH SCORE 51156.119
AT ITER 306 NEW BEST:: SOT 253629 SOS 138645 HAS SOPS 138645 HAS SOUS 50936 HAS SOUPS 50936 WITH SCORE 51074.645
AT ITER 308 NEW BEST:: SOT 253619 SOS 138605 HAS SOPS 138605 HAS SOUS 50936 HAS SOUPS 50936 WITH SCORE 51074.605
AT ITER 310 NEW BEST:: SOT 253117 SOS 137350 HAS SOPS 137350 HAS SOUS 50936 HAS SOUPS 50936 WITH SCORE 51073.35
AT ITER 318 NEW BEST:: SOT 252989 SOS 136966 HAS SOPS 136966 HAS SOUS 50872 HAS SOUPS 50872 WITH SCORE 51008.966
AT ITER 329 NEW BEST:: SOT 252989 SOS 136868 HAS SOPS 136868 HAS SOUS 50816 HAS SOUPS 50816 WITH SCORE 50952.868
AT ITER 343 NEW BEST:: SOT 252951 SOS 136750 HAS SOPS 136750 HAS SOUS 50799 HAS SOUPS 50799 WITH SCORE 50935.75
AT ITER 354 NEW BEST:: SOT 252867 SOS 136498 HAS SOPS 136498 HAS SOUS 50757 HAS SOUPS 50757 WITH SCORE 50893.498
AT ITER 362 NEW BEST:: SOT 252851 SOS 136455 HAS SOPS 136455 HAS SOUS 50752 HAS SOUPS 50752 WITH SCORE 50888.455
AT ITER 368 NEW BEST:: SOT 252639 SOS 135819 HAS SOPS 135819 HAS SOUS 50644 HAS SOUPS 50644 WITH SCORE 50779.819
AT ITER 389 NEW BEST:: SOT 252165 SOS 134871 HAS SOPS 134871 HAS SOUS 50556 HAS SOUPS 50556 WITH SCORE 50690.871
AT ITER 393 NEW BEST:: SOT 251719 SOS 133752 HAS SOPS 133752 HAS SOUS 50550 HAS SOUPS 50550 WITH SCORE 50683.752
AT ITER 397 NEW BEST:: SOT 251643 SOS 133524 HAS SOPS 133524 HAS SOUS 50508 HAS SOUPS 50508 WITH SCORE 50641.524
AT ITER 408 NEW BEST:: SOT 251439 SOS 132912 HAS SOPS 132912 HAS SOUS 50402 HAS SOUPS 50402 WITH SCORE 50534.912
AT ITER 419 NEW BEST:: SOT 251231 SOS 132262 HAS SOPS 132262 HAS SOUS 50311 HAS SOUPS 50311 WITH SCORE 50443.262
AT ITER 426 NEW BEST:: SOT 251153 SOS 132063 HAS SOPS 132063 HAS SOUS 50305 HAS SOUPS 50305 WITH SCORE 50437.063
AT ITER 456 NEW BEST:: SOT 251175 SOS 131955 HAS SOPS 131955 HAS SOUS 50179 HAS SOUPS 50179 WITH SCORE 50310.955
AT ITER 457 NEW BEST:: SOT 250947 SOS 131189 HAS SOPS 131189 HAS SOUS 50174 HAS SOUPS 50174 WITH SCORE 50305.189
AT ITER 462 NEW BEST:: SOT 250843 SOS 130845 HAS SOPS 130845 HAS SOUS 50138 HAS SOUPS 50138 WITH SCORE 50268.845
AT ITER 480 NEW BEST:: SOT 250843 SOS 130799 HAS SOPS 130799 HAS SOUS 50092 HAS SOUPS 50092 WITH SCORE 50222.799
AT ITER 489 NEW BEST:: SOT 250619 SOS 130236 HAS SOPS 130236 HAS SOUS 50089 HAS SOUPS 50089 WITH SCORE 50219.236
AT ITER 505 NEW BEST:: SOT 250583 SOS 130145 HAS SOPS 130145 HAS SOUS 50088 HAS SOUPS 50088 WITH SCORE 50218.145
AT ITER 518 NEW BEST:: SOT 250199 SOS 129043 HAS SOPS 129043 HAS SOUS 49964 HAS SOUPS 49964 WITH SCORE 50093.043
AT ITER 519 NEW BEST:: SOT 249518 SOS 127490 HAS SOPS 127490 HAS SOUS 49546 HAS SOUPS 49546 WITH SCORE 49673.49
AT ITER 538 NEW BEST:: SOT 249499 SOS 127452 HAS SOPS 127452 HAS SOUS 49546 HAS SOUPS 49546 WITH SCORE 49673.452
AT ITER 545 NEW BEST:: SOT 249025 SOS 126264 HAS SOPS 126264 HAS SOUS 49541 HAS SOUPS 49541 WITH SCORE 49667.264
AT ITER 550 NEW BEST:: SOT 248845 SOS 125903 HAS SOPS 125903 HAS SOUS 49480 HAS SOUPS 49480 WITH SCORE 49605.903
AT ITER 555 NEW BEST:: SOT 248599 SOS 125225 HAS SOPS 125225 HAS SOUS 49417 HAS SOUPS 49417 WITH SCORE 49542.225
AT ITER 572 NEW BEST:: SOT 248464 SOS 124954 HAS SOPS 124954 HAS SOUS 49371 HAS SOUPS 49371 WITH SCORE 49495.954
AT ITER 592 NEW BEST:: SOT 248464 SOS 124858 HAS SOPS 124858 HAS SOUS 49275 HAS SOUPS 49275 WITH SCORE 49399.858
AT ITER 596 NEW BEST:: SOT 248464 SOS 124858 HAS SOPS 124858 HAS SOUS 49273 HAS SOUPS 49273 WITH SCORE 49397.858
AT ITER 600 NEW BEST:: SOT 248052 SOS 123622 HAS SOPS 123622 HAS SOUS 49065 HAS SOUPS 49065 WITH SCORE 49188.622
AT ITER 620 NEW BEST:: SOT 247946 SOS 123355 HAS SOPS 123355 HAS SOUS 49063 HAS SOUPS 49063 WITH SCORE 49186.355
AT ITER 630 NEW BEST:: SOT 247868 SOS 123122 HAS SOPS 123122 HAS SOUS 49021 HAS SOUPS 49021 WITH SCORE 49144.122
AT ITER 648 NEW BEST:: SOT 247863 SOS 123112 HAS SOPS 123112 HAS SOUS 49021 HAS SOUPS 49021 WITH SCORE 49144.112
AT ITER 649 NEW BEST:: SOT 247417 SOS 121814 HAS SOPS 121814 HAS SOUS 48838 HAS SOUPS 48838 WITH SCORE 48959.814
AT ITER 659 NEW BEST:: SOT 247113 SOS 120923 HAS SOPS 120923 HAS SOUS 48707 HAS SOUPS 48707 WITH SCORE 48827.923
AT ITER 662 NEW BEST:: SOT 246832 SOS 120070 HAS SOPS 120070 HAS SOUS 48688 HAS SOUPS 48688 WITH SCORE 48808.07
AT ITER 684 NEW BEST:: SOT 246692 SOS 119720 HAS SOPS 119720 HAS SOUS 48688 HAS SOUPS 48688 WITH SCORE 48807.72
AT ITER 685 NEW BEST:: SOT 246582 SOS 119695 HAS SOPS 119695 HAS SOUS 48661 HAS SOUPS 48661 WITH SCORE 48780.695
AT ITER 695 NEW BEST:: SOT 246182 SOS 118618 HAS SOPS 118618 HAS SOUS 48584 HAS SOUPS 48584 WITH SCORE 48702.618
AT ITER 708 NEW BEST:: SOT 245965 SOS 118062 HAS SOPS 118062 HAS SOUS 48582 HAS SOUPS 48582 WITH SCORE 48700.062
AT ITER 726 NEW BEST:: SOT 245677 SOS 117341 HAS SOPS 117341 HAS SOUS 48581 HAS SOUPS 48581 WITH SCORE 48698.341
AT ITER 728 NEW BEST:: SOT 245636 SOS 117280 HAS SOPS 117280 HAS SOUS 48560 HAS SOUPS 48560 WITH SCORE 48677.28
AT ITER 772 NEW BEST:: SOT 245636 SOS 117157 HAS SOPS 117157 HAS SOUS 48433 HAS SOUPS 48433 WITH SCORE 48550.157
AT ITER 789 NEW BEST:: SOT 245636 SOS 117150 HAS SOPS 117150 HAS SOUS 48424 HAS SOUPS 48424 WITH SCORE 48541.15
AT ITER 805 NEW BEST:: SOT 245733 SOS 117264 HAS SOPS 117264 HAS SOUS 48387 HAS SOUPS 48387 WITH SCORE 48504.264
AT ITER 821 NEW BEST:: SOT 245720 SOS 117305 HAS SOPS 117305 HAS SOUS 48309 HAS SOUPS 48309 WITH SCORE 48426.305
AT ITER 842 NEW BEST:: SOT 245720 SOS 117088 HAS SOPS 117088 HAS SOUS 48120 HAS SOUPS 48120 WITH SCORE 48237.088
AT ITER 853 NEW BEST:: SOT 245669 SOS 116986 HAS SOPS 116986 HAS SOUS 48069 HAS SOUPS 48069 WITH SCORE 48185.986
AT ITER 860 NEW BEST:: SOT 245445 SOS 116389 HAS SOPS 116389 HAS SOUS 48030 HAS SOUPS 48030 WITH SCORE 48146.389
AT ITER 861 NEW BEST:: SOT 245398 SOS 116165 HAS SOPS 116165 HAS SOUS 48030 HAS SOUPS 48030 WITH SCORE 48146.165
AT ITER 873 NEW BEST:: SOT 245376 SOS 116110 HAS SOPS 116110 HAS SOUS 48030 HAS SOUPS 48030 WITH SCORE 48146.11
AT ITER 874 NEW BEST:: SOT 245278 SOS 115865 HAS SOPS 115865 HAS SOUS 48030 HAS SOUPS 48030 WITH SCORE 48145.865
AT ITER 879 NEW BEST:: SOT 245274 SOS 115857 HAS SOPS 115857 HAS SOUS 48026 HAS SOUPS 48026 WITH SCORE 48141.857
AT ITER 881 NEW BEST:: SOT 245269 SOS 115849 HAS SOPS 115849 HAS SOUS 48023 HAS SOUPS 48023 WITH SCORE 48138.849
AT ITER 887 NEW BEST:: SOT 245112 SOS 115237 HAS SOPS 115237 HAS SOUS 48011 HAS SOUPS 48011 WITH SCORE 48126.237
AT ITER 888 NEW BEST:: SOT 245032 SOS 115019 HAS SOPS 115019 HAS SOUS 48011 HAS SOUPS 48011 WITH SCORE 48126.019
AT ITER 906 NEW BEST:: SOT 244762 SOS 114209 HAS SOPS 114209 HAS SOUS 47874 HAS SOUPS 47874 WITH SCORE 47988.209
AT ITER 912 NEW BEST:: SOT 244594 SOS 113705 HAS SOPS 113705 HAS SOUS 47790 HAS SOUPS 47790 WITH SCORE 47903.705
AT ITER 944 NEW BEST:: SOT 244594 SOS 113678 HAS SOPS 113678 HAS SOUS 47763 HAS SOUPS 47763 WITH SCORE 47876.678
AT ITER 946 NEW BEST:: SOT 244298 SOS 112608 HAS SOPS 112608 HAS SOUS 47761 HAS SOUPS 47761 WITH SCORE 47873.608
AT ITER 952 NEW BEST:: SOT 244246 SOS 112452 HAS SOPS 112452 HAS SOUS 47735 HAS SOUPS 47735 WITH SCORE 47847.452
AT ITER 965 NEW BEST:: SOT 244000 SOS 111799 HAS SOPS 111799 HAS SOUS 47697 HAS SOUPS 47697 WITH SCORE 47808.799
AT ITER 969 NEW BEST:: SOT 243857 SOS 111227 HAS SOPS 111227 HAS SOUS 47695 HAS SOUPS 47695 WITH SCORE 47806.227
AT ITER 972 NEW BEST:: SOT 243858 SOS 111266 HAS SOPS 111266 HAS SOUS 47658 HAS SOUPS 47658 WITH SCORE 47769.266
AT ITER 974 NEW BEST:: SOT 243858 SOS 111234 HAS SOPS 111234 HAS SOUS 47626 HAS SOUPS 47626 WITH SCORE 47737.234
AT ITER 1007 NEW BEST:: SOT 243858 SOS 111227 HAS SOPS 111227 HAS SOUS 47619 HAS SOUPS 47619 WITH SCORE 47730.227
AT ITER 1019 NEW BEST:: SOT 243858 SOS 111226 HAS SOPS 111226 HAS SOUS 47618 HAS SOUPS 47618 WITH SCORE 47729.226
AT ITER 1029 NEW BEST:: SOT 243792 SOS 111094 HAS SOPS 111094 HAS SOUS 47537 HAS SOUPS 47537 WITH SCORE 47648.094
AT ITER 1031 NEW BEST:: SOT 243658 SOS 110620 HAS SOPS 110620 HAS SOUS 47506 HAS SOUPS 47506 WITH SCORE 47616.62
AT ITER 1043 NEW BEST:: SOT 243658 SOS 110615 HAS SOPS 110615 HAS SOUS 47501 HAS SOUPS 47501 WITH SCORE 47611.615
AT ITER 1049 NEW BEST:: SOT 243508 SOS 110103 HAS SOPS 110103 HAS SOUS 47275 HAS SOUPS 47275 WITH SCORE 47385.103
AT ITER 1051 NEW BEST:: SOT 243494 SOS 110065 HAS SOPS 110065 HAS SOUS 47270 HAS SOUPS 47270 WITH SCORE 47380.065
AT ITER 1060 NEW BEST:: SOT 243390 SOS 109725 HAS SOPS 109725 HAS SOUS 47232 HAS SOUPS 47232 WITH SCORE 47341.725
AT ITER 1070 NEW BEST:: SOT 243071 SOS 108817 HAS SOPS 108817 HAS SOUS 47200 HAS SOUPS 47200 WITH SCORE 47308.817
AT ITER 1090 NEW BEST:: SOT 243047 SOS 108755 HAS SOPS 108755 HAS SOUS 47198 HAS SOUPS 47198 WITH SCORE 47306.755
AT ITER 1105 NEW BEST:: SOT 242695 SOS 107797 HAS SOPS 107797 HAS SOUS 47108 HAS SOUPS 47108 WITH SCORE 47215.797
AT ITER 1108 NEW BEST:: SOT 242695 SOS 107797 HAS SOPS 107797 HAS SOUS 46908 HAS SOUPS 46908 WITH SCORE 47015.797
AT ITER 1112 NEW BEST:: SOT 242568 SOS 107353 HAS SOPS 107353 HAS SOUS 46760 HAS SOUPS 46760 WITH SCORE 46867.353
AT ITER 1123 NEW BEST:: SOT 241870 SOS 105953 HAS SOPS 105953 HAS SOUS 46697 HAS SOUPS 46697 WITH SCORE 46802.953
AT ITER 1127 NEW BEST:: SOT 241891 SOS 106048 HAS SOPS 106048 HAS SOUS 46644 HAS SOUPS 46644 WITH SCORE 46750.048
AT ITER 1132 NEW BEST:: SOT 241879 SOS 106012 HAS SOPS 106012 HAS SOUS 46638 HAS SOUPS 46638 WITH SCORE 46744.012
AT ITER 1144 NEW BEST:: SOT 241745 SOS 105526 HAS SOPS 105526 HAS SOUS 46613 HAS SOUPS 46613 WITH SCORE 46718.526
AT ITER 1150 NEW BEST:: SOT 241685 SOS 105359 HAS SOPS 105359 HAS SOUS 46596 HAS SOUPS 46596 WITH SCORE 46701.359
AT ITER 1174 NEW BEST:: SOT 241670 SOS 105329 HAS SOPS 105329 HAS SOUS 46581 HAS SOUPS 46581 WITH SCORE 46686.329
AT ITER 1175 NEW BEST:: SOT 241532 SOS 104967 HAS SOPS 104967 HAS SOUS 46536 HAS SOUPS 46536 WITH SCORE 46640.967
AT ITER 1183 NEW BEST:: SOT 241532 SOS 104964 HAS SOPS 104964 HAS SOUS 46531 HAS SOUPS 46531 WITH SCORE 46635.964
AT ITER 1185 NEW BEST:: SOT 241502 SOS 104904 HAS SOPS 104904 HAS SOUS 46531 HAS SOUPS 46531 WITH SCORE 46635.904
AT ITER 1194 NEW BEST:: SOT 241452 SOS 104775 HAS SOPS 104775 HAS SOUS 46531 HAS SOUPS 46531 WITH SCORE 46635.775
AT ITER 1208 NEW BEST:: SOT 241216 SOS 103892 HAS SOPS 103892 HAS SOUS 46416 HAS SOUPS 46416 WITH SCORE 46519.892
AT ITER 1224 NEW BEST:: SOT 241138 SOS 103658 HAS SOPS 103658 HAS SOUS 46299 HAS SOUPS 46299 WITH SCORE 46402.658
AT ITER 1251 NEW BEST:: SOT 241048 SOS 103478 HAS SOPS 103478 HAS SOUS 46221 HAS SOUPS 46221 WITH SCORE 46324.478
AT ITER 1252 NEW BEST:: SOT 240916 SOS 103082 HAS SOPS 103082 HAS SOUS 46145 HAS SOUPS 46145 WITH SCORE 46248.082
AT ITER 1257 NEW BEST:: SOT 240816 SOS 102764 HAS SOPS 102764 HAS SOUS 46086 HAS SOUPS 46086 WITH SCORE 46188.764
AT ITER 1267 NEW BEST:: SOT 240754 SOS 102578 HAS SOPS 102578 HAS SOUS 46055 HAS SOUPS 46055 WITH SCORE 46157.578
AT ITER 1269 NEW BEST:: SOT 240437 SOS 101561 HAS SOPS 101561 HAS SOUS 45946 HAS SOUPS 45946 WITH SCORE 46047.561
AT ITER 1297 NEW BEST:: SOT 240437 SOS 101559 HAS SOPS 101559 HAS SOUS 45944 HAS SOUPS 45944 WITH SCORE 46045.559
AT ITER 1300 NEW BEST:: SOT 240452 SOS 101659 HAS SOPS 101659 HAS SOUS 45940 HAS SOUPS 45940 WITH SCORE 46041.659
AT ITER 1301 NEW BEST:: SOT 240400 SOS 101552 HAS SOPS 101552 HAS SOUS 45901 HAS SOUPS 45901 WITH SCORE 46002.552
AT ITER 1308 NEW BEST:: SOT 240370 SOS 101462 HAS SOPS 101462 HAS SOUS 45886 HAS SOUPS 45886 WITH SCORE 45987.462
AT ITER 1321 NEW BEST:: SOT 239885 SOS 100279 HAS SOPS 100279 HAS SOUS 45693 HAS SOUPS 45693 WITH SCORE 45793.279
AT ITER 1327 NEW BEST:: SOT 239859 SOS 100253 HAS SOPS 100253 HAS SOUS 45667 HAS SOUPS 45667 WITH SCORE 45767.253
AT ITER 1336 NEW BEST:: SOT 239856 SOS 100246 HAS SOPS 100246 HAS SOUS 45665 HAS SOUPS 45665 WITH SCORE 45765.246
AT ITER 1349 NEW BEST:: SOT 239754 SOS 99940 HAS SOPS 99940 HAS SOUS 45614 HAS SOUPS 45614 WITH SCORE 45713.94
AT ITER 1355 NEW BEST:: SOT 239742 SOS 99916 HAS SOPS 99916 HAS SOUS 45614 HAS SOUPS 45614 WITH SCORE 45713.916
AT ITER 1358 NEW BEST:: SOT 239562 SOS 99736 HAS SOPS 99736 HAS SOUS 45500 HAS SOUPS 45500 WITH SCORE 45599.736
AT ITER 1369 NEW BEST:: SOT 239444 SOS 99176 HAS SOPS 99176 HAS SOUS 45439 HAS SOUPS 45439 WITH SCORE 45538.176
AT ITER 1370 NEW BEST:: SOT 239444 SOS 99176 HAS SOPS 99176 HAS SOUS 45427 HAS SOUPS 45427 WITH SCORE 45526.176
AT ITER 1372 NEW BEST:: SOT 239362 SOS 98855 HAS SOPS 98855 HAS SOUS 45402 HAS SOUPS 45402 WITH SCORE 45500.855
AT ITER 1379 NEW BEST:: SOT 239142 SOS 98231 HAS SOPS 98231 HAS SOUS 45355 HAS SOUPS 45355 WITH SCORE 45453.231
AT ITER 1396 NEW BEST:: SOT 238996 SOS 97793 HAS SOPS 97793 HAS SOUS 45282 HAS SOUPS 45282 WITH SCORE 45379.793
AT ITER 1408 NEW BEST:: SOT 238996 SOS 97796 HAS SOPS 97796 HAS SOUS 45279 HAS SOUPS 45279 WITH SCORE 45376.796
AT ITER 1415 NEW BEST:: SOT 238924 SOS 97724 HAS SOPS 97724 HAS SOUS 45207 HAS SOUPS 45207 WITH SCORE 45304.724
AT ITER 1450 NEW BEST:: SOT 238912 SOS 97688 HAS SOPS 97688 HAS SOUS 45189 HAS SOUPS 45189 WITH SCORE 45286.688
AT ITER 1481 NEW BEST:: SOT 238912 SOS 97687 HAS SOPS 97687 HAS SOUS 45182 HAS SOUPS 45182 WITH SCORE 45279.687
AT ITER 1493 NEW BEST:: SOT 238828 SOS 97519 HAS SOPS 97519 HAS SOUS 45098 HAS SOUPS 45098 WITH SCORE 45195.519
AT ITER 1496 NEW BEST:: SOT 238828 SOS 97519 HAS SOPS 97519 HAS SOUS 45096 HAS SOUPS 45096 WITH SCORE 45193.519
AT ITER 1499 NEW BEST:: SOT 239034 SOS 98070 HAS SOPS 98070 HAS SOUS 45024 HAS SOUPS 45024 WITH SCORE 45122.07
AT ITER 1515 NEW BEST:: SOT 238772 SOS 97284 HAS SOPS 97284 HAS SOUS 44661 HAS SOUPS 44661 WITH SCORE 44758.284
AT ITER 1525 NEW BEST:: SOT 238348 SOS 96131 HAS SOPS 96131 HAS SOUS 44607 HAS SOUPS 44607 WITH SCORE 44703.131
AT ITER 1542 NEW BEST:: SOT 238246 SOS 95825 HAS SOPS 95825 HAS SOUS 44556 HAS SOUPS 44556 WITH SCORE 44651.825
AT ITER 1543 NEW BEST:: SOT 238232 SOS 95787 HAS SOPS 95787 HAS SOUS 44551 HAS SOUPS 44551 WITH SCORE 44646.787
AT ITER 1545 NEW BEST:: SOT 238232 SOS 95787 HAS SOPS 95787 HAS SOUS 44497 HAS SOUPS 44497 WITH SCORE 44592.787
AT ITER 1548 NEW BEST:: SOT 238118 SOS 95391 HAS SOPS 95391 HAS SOUS 44413 HAS SOUPS 44413 WITH SCORE 44508.391
AT ITER 1551 NEW BEST:: SOT 237742 SOS 94264 HAS SOPS 94264 HAS SOUS 44158 HAS SOUPS 44158 WITH SCORE 44252.264
AT ITER 1562 NEW BEST:: SOT 237742 SOS 94256 HAS SOPS 94256 HAS SOUS 44148 HAS SOUPS 44148 WITH SCORE 44242.256
AT ITER 1574 NEW BEST:: SOT 237654 SOS 94007 HAS SOPS 94007 HAS SOUS 44071 HAS SOUPS 44071 WITH SCORE 44165.007
AT ITER 1577 NEW BEST:: SOT 237544 SOS 93583 HAS SOPS 93583 HAS SOUS 44059 HAS SOUPS 44059 WITH SCORE 44152.583
AT ITER 1595 NEW BEST:: SOT 237470 SOS 93385 HAS SOPS 93385 HAS SOUS 44042 HAS SOUPS 44042 WITH SCORE 44135.385
AT ITER 1599 NEW BEST:: SOT 237392 SOS 93180 HAS SOPS 93180 HAS SOUS 44035 HAS SOUPS 44035 WITH SCORE 44128.18
AT ITER 1603 NEW BEST:: SOT 237151 SOS 92666 HAS SOPS 92666 HAS SOUS 43939 HAS SOUPS 43939 WITH SCORE 44031.666
AT ITER 1644 NEW BEST:: SOT 237200 SOS 92797 HAS SOPS 92797 HAS SOUS 43930 HAS SOUPS 43930 WITH SCORE 44022.797
AT ITER 1663 NEW BEST:: SOT 236983 SOS 92095 HAS SOPS 92095 HAS SOUS 43919 HAS SOUPS 43919 WITH SCORE 44011.095
AT ITER 1685 NEW BEST:: SOT 236917 SOS 91897 HAS SOPS 91897 HAS SOUS 43884 HAS SOUPS 43884 WITH SCORE 43975.897
AT ITER 1720 NEW BEST:: SOT 236928 SOS 91898 HAS SOPS 91898 HAS SOUS 43863 HAS SOUPS 43863 WITH SCORE 43954.898
AT ITER 1727 NEW BEST:: SOT 236620 SOS 90974 HAS SOPS 90974 HAS SOUS 43705 HAS SOUPS 43705 WITH SCORE 43795.974
AT ITER 1734 NEW BEST:: SOT 236760 SOS 91325 HAS SOPS 91325 HAS SOUS 43703 HAS SOUPS 43703 WITH SCORE 43794.325
AT ITER 1736 NEW BEST:: SOT 236734 SOS 91231 HAS SOPS 91231 HAS SOUS 43585 HAS SOUPS 43585 WITH SCORE 43676.231
AT ITER 1739 NEW BEST:: SOT 236657 SOS 90977 HAS SOPS 90977 HAS SOUS 43558 HAS SOUPS 43558 WITH SCORE 43648.977
AT ITER 1754 NEW BEST:: SOT 236687 SOS 91174 HAS SOPS 91174 HAS SOUS 43539 HAS SOUPS 43539 WITH SCORE 43630.174
AT ITER 1768 NEW BEST:: SOT 236465 SOS 90653 HAS SOPS 90653 HAS SOUS 43392 HAS SOUPS 43392 WITH SCORE 43482.653
AT ITER 1770 NEW BEST:: SOT 236287 SOS 90119 HAS SOPS 90119 HAS SOUS 43303 HAS SOUPS 43303 WITH SCORE 43393.119
AT ITER 1776 NEW BEST:: SOT 236069 SOS 89465 HAS SOPS 89465 HAS SOUS 42994 HAS SOUPS 42994 WITH SCORE 43083.465
AT ITER 1797 NEW BEST:: SOT 236062 SOS 89397 HAS SOPS 89397 HAS SOUS 42933 HAS SOUPS 42933 WITH SCORE 43022.397
AT ITER 1811 NEW BEST:: SOT 235985 SOS 89319 HAS SOPS 89319 HAS SOUS 42881 HAS SOUPS 42881 WITH SCORE 42970.319
AT ITER 1812 NEW BEST:: SOT 235985 SOS 89318 HAS SOPS 89318 HAS SOUS 42870 HAS SOUPS 42870 WITH SCORE 42959.318
AT ITER 1814 NEW BEST:: SOT 235955 SOS 89228 HAS SOPS 89228 HAS SOUS 42855 HAS SOUPS 42855 WITH SCORE 42944.228
AT ITER 1818 NEW BEST:: SOT 236034 SOS 89465 HAS SOPS 89465 HAS SOUS 42776 HAS SOUPS 42776 WITH SCORE 42865.465
AT ITER 1826 NEW BEST:: SOT 235986 SOS 89326 HAS SOPS 89326 HAS SOUS 42733 HAS SOUPS 42733 WITH SCORE 42822.326
AT ITER 1829 NEW BEST:: SOT 235934 SOS 89222 HAS SOPS 89222 HAS SOUS 42733 HAS SOUPS 42733 WITH SCORE 42822.222
AT ITER 1835 NEW BEST:: SOT 235892 SOS 89180 HAS SOPS 89180 HAS SOUS 42669 HAS SOUPS 42669 WITH SCORE 42758.18
AT ITER 1840 NEW BEST:: SOT 235964 SOS 89421 HAS SOPS 89421 HAS SOUS 42597 HAS SOUPS 42597 WITH SCORE 42686.421
AT ITER 1850 NEW BEST:: SOT 235662 SOS 88817 HAS SOPS 88817 HAS SOUS 42307 HAS SOUPS 42307 WITH SCORE 42395.817
AT ITER 1894 NEW BEST:: SOT 235692 SOS 88793 HAS SOPS 88793 HAS SOUS 42243 HAS SOUPS 42243 WITH SCORE 42331.793
AT ITER 1899 NEW BEST:: SOT 235556 SOS 88453 HAS SOPS 88453 HAS SOUS 42243 HAS SOUPS 42243 WITH SCORE 42331.453
AT ITER 1903 NEW BEST:: SOT 235302 SOS 87691 HAS SOPS 87691 HAS SOUS 42116 HAS SOUPS 42116 WITH SCORE 42203.691
AT ITER 1910 NEW BEST:: SOT 235282 SOS 87631 HAS SOPS 87631 HAS SOUS 42086 HAS SOUPS 42086 WITH SCORE 42173.631
AT ITER 1926 NEW BEST:: SOT 235175 SOS 87303 HAS SOPS 87303 HAS SOUS 42036 HAS SOUPS 42036 WITH SCORE 42123.303
AT ITER 1928 NEW BEST:: SOT 235175 SOS 87303 HAS SOPS 87303 HAS SOUS 41984 HAS SOUPS 41984 WITH SCORE 42071.303
AT ITER 1930 NEW BEST:: SOT 235014 SOS 86727 HAS SOPS 86727 HAS SOUS 41948 HAS SOUPS 41948 WITH SCORE 42034.727
AT ITER 1952 NEW BEST:: SOT 234935 SOS 86503 HAS SOPS 86503 HAS SOUS 41932 HAS SOUPS 41932 WITH SCORE 42018.503
AT ITER 1968 NEW BEST:: SOT 234913 SOS 86437 HAS SOPS 86437 HAS SOUS 41921 HAS SOUPS 41921 WITH SCORE 42007.437
AT ITER 1976 NEW BEST:: SOT 234859 SOS 86294 HAS SOPS 86294 HAS SOUS 41920 HAS SOUPS 41920 WITH SCORE 42006.294
AT ITER 1977 NEW BEST:: SOT 234859 SOS 86292 HAS SOPS 86292 HAS SOUS 41914 HAS SOUPS 41914 WITH SCORE 42000.292
AT ITER 2000 NEW BEST:: SOT 234903 SOS 86463 HAS SOPS 86463 HAS SOUS 41887 HAS SOUPS 41887 WITH SCORE 41973.463
AT ITER 2005 NEW BEST:: SOT 234825 SOS 86268 HAS SOPS 86268 HAS SOUS 41887 HAS SOUPS 41887 WITH SCORE 41973.268
AT ITER 2015 NEW BEST:: SOT 234758 SOS 86010 HAS SOPS 86010 HAS SOUS 41882 HAS SOUPS 41882 WITH SCORE 41968.01
AT ITER 2017 NEW BEST:: SOT 234785 SOS 86120 HAS SOPS 86120 HAS SOUS 41881 HAS SOUPS 41881 WITH SCORE 41967.12
AT ITER 2019 NEW BEST:: SOT 234641 SOS 85688 HAS SOPS 85688 HAS SOUS 41675 HAS SOUPS 41675 WITH SCORE 41760.688
AT ITER 2040 NEW BEST:: SOT 234641 SOS 85697 HAS SOPS 85697 HAS SOUS 41674 HAS SOUPS 41674 WITH SCORE 41759.697
AT ITER 2091 NEW BEST:: SOT 234641 SOS 85697 HAS SOPS 85697 HAS SOUS 41578 HAS SOUPS 41578 WITH SCORE 41663.697
AT ITER 2111 NEW BEST:: SOT 234567 SOS 85622 HAS SOPS 85622 HAS SOUS 41499 HAS SOUPS 41499 WITH SCORE 41584.622
AT ITER 2114 NEW BEST:: SOT 234567 SOS 85618 HAS SOPS 85618 HAS SOUS 41381 HAS SOUPS 41381 WITH SCORE 41466.618
AT ITER 2116 NEW BEST:: SOT 234477 SOS 85323 HAS SOPS 85323 HAS SOUS 41363 HAS SOUPS 41363 WITH SCORE 41448.323
AT ITER 2122 NEW BEST:: SOT 234367 SOS 84993 HAS SOPS 84993 HAS SOUS 41308 HAS SOUPS 41308 WITH SCORE 41392.993
AT ITER 2123 NEW BEST:: SOT 234259 SOS 84741 HAS SOPS 84741 HAS SOUS 41236 HAS SOUPS 41236 WITH SCORE 41320.741
AT ITER 2129 NEW BEST:: SOT 234250 SOS 84767 HAS SOPS 84767 HAS SOUS 41205 HAS SOUPS 41205 WITH SCORE 41289.767
AT ITER 2133 NEW BEST:: SOT 234052 SOS 84269 HAS SOPS 84269 HAS SOUS 41200 HAS SOUPS 41200 WITH SCORE 41284.269
AT ITER 2137 NEW BEST:: SOT 234003 SOS 84146 HAS SOPS 84146 HAS SOUS 41165 HAS SOUPS 41165 WITH SCORE 41249.146
AT ITER 2146 NEW BEST:: SOT 233555 SOS 83034 HAS SOPS 83034 HAS SOUS 40505 HAS SOUPS 40505 WITH SCORE 40588.034
AT ITER 2163 NEW BEST:: SOT 233522 SOS 82968 HAS SOPS 82968 HAS SOUS 40472 HAS SOUPS 40472 WITH SCORE 40554.968
AT ITER 2182 NEW BEST:: SOT 233498 SOS 82920 HAS SOPS 82920 HAS SOUS 40448 HAS SOUPS 40448 WITH SCORE 40530.92
AT ITER 2193 NEW BEST:: SOT 233498 SOS 82911 HAS SOPS 82911 HAS SOUS 40439 HAS SOUPS 40439 WITH SCORE 40521.911
AT ITER 2231 NEW BEST:: SOT 233490 SOS 82891 HAS SOPS 82891 HAS SOUS 40439 HAS SOUPS 40439 WITH SCORE 40521.891
AT ITER 2232 NEW BEST:: SOT 233484 SOS 82876 HAS SOPS 82876 HAS SOUS 40439 HAS SOUPS 40439 WITH SCORE 40521.876
AT ITER 2260 NEW BEST:: SOT 233420 SOS 82716 HAS SOPS 82716 HAS SOUS 40439 HAS SOUPS 40439 WITH SCORE 40521.716
AT ITER 2282 NEW BEST:: SOT 233420 SOS 82716 HAS SOPS 82716 HAS SOUS 40433 HAS SOUPS 40433 WITH SCORE 40515.716
AT ITER 2289 NEW BEST:: SOT 233248 SOS 82236 HAS SOPS 82236 HAS SOUS 40395 HAS SOUPS 40395 WITH SCORE 40477.236
AT ITER 2290 NEW BEST:: SOT 233194 SOS 82101 HAS SOPS 82101 HAS SOUS 40395 HAS SOUPS 40395 WITH SCORE 40477.101
AT ITER 2298 NEW BEST:: SOT 233162 SOS 82060 HAS SOPS 82060 HAS SOUS 40386 HAS SOUPS 40386 WITH SCORE 40468.06
AT ITER 2315 NEW BEST:: SOT 233123 SOS 81962 HAS SOPS 81962 HAS SOUS 40346 HAS SOUPS 40346 WITH SCORE 40427.962
AT ITER 2318 NEW BEST:: SOT 233115 SOS 81950 HAS SOPS 81950 HAS SOUS 40336 HAS SOUPS 40336 WITH SCORE 40417.95
AT ITER 2325 NEW BEST:: SOT 233098 SOS 81916 HAS SOPS 81916 HAS SOUS 40327 HAS SOUPS 40327 WITH SCORE 40408.916
AT ITER 2346 NEW BEST:: SOT 232932 SOS 81771 HAS SOPS 81771 HAS SOUS 40270 HAS SOUPS 40270 WITH SCORE 40351.771
AT ITER 2375 NEW BEST:: SOT 232924 SOS 81751 HAS SOPS 81751 HAS SOUS 40262 HAS SOUPS 40262 WITH SCORE 40343.751
AT ITER 2388 NEW BEST:: SOT 232562 SOS 80734 HAS SOPS 80734 HAS SOUS 40000 HAS SOUPS 40000 WITH SCORE 40080.734
AT ITER 2411 NEW BEST:: SOT 232517 SOS 80642 HAS SOPS 80642 HAS SOUS 39983 HAS SOUPS 39983 WITH SCORE 40063.642
AT ITER 2418 NEW BEST:: SOT 232377 SOS 80222 HAS SOPS 80222 HAS SOUS 39913 HAS SOUPS 39913 WITH SCORE 39993.222
AT ITER 2424 NEW BEST:: SOT 232360 SOS 80201 HAS SOPS 80201 HAS SOUS 39892 HAS SOUPS 39892 WITH SCORE 39972.201
AT ITER 2427 NEW BEST:: SOT 232284 SOS 79973 HAS SOPS 79973 HAS SOUS 39778 HAS SOUPS 39778 WITH SCORE 39857.973
AT ITER 2434 NEW BEST:: SOT 232276 SOS 79949 HAS SOPS 79949 HAS SOUS 39766 HAS SOUPS 39766 WITH SCORE 39845.949
AT ITER 2435 NEW BEST:: SOT 232276 SOS 79942 HAS SOPS 79942 HAS SOUS 39759 HAS SOUPS 39759 WITH SCORE 39838.942
AT ITER 2446 NEW BEST:: SOT 232108 SOS 79606 HAS SOPS 79606 HAS SOUS 39703 HAS SOUPS 39703 WITH SCORE 39782.606
AT ITER 2474 NEW BEST:: SOT 232090 SOS 79564 HAS SOPS 79564 HAS SOUS 39691 HAS SOUPS 39691 WITH SCORE 39770.564
AT ITER 2476 NEW BEST:: SOT 232082 SOS 79540 HAS SOPS 79540 HAS SOUS 39687 HAS SOUPS 39687 WITH SCORE 39766.54
AT ITER 2507 NEW BEST:: SOT 232068 SOS 79498 HAS SOPS 79498 HAS SOUS 39680 HAS SOUPS 39680 WITH SCORE 39759.498
AT ITER 2542 NEW BEST:: SOT 231982 SOS 79275 HAS SOPS 79275 HAS SOUS 39678 HAS SOUPS 39678 WITH SCORE 39757.275
AT ITER 2544 NEW BEST:: SOT 231980 SOS 79271 HAS SOPS 79271 HAS SOUS 39678 HAS SOUPS 39678 WITH SCORE 39757.271
AT ITER 2552 NEW BEST:: SOT 231858 SOS 78897 HAS SOPS 78897 HAS SOUS 39621 HAS SOUPS 39621 WITH SCORE 39699.897
AT ITER 2559 NEW BEST:: SOT 231780 SOS 78670 HAS SOPS 78670 HAS SOUS 39589 HAS SOUPS 39589 WITH SCORE 39667.67
AT ITER 2560 NEW BEST:: SOT 231691 SOS 78472 HAS SOPS 78472 HAS SOUS 39415 HAS SOUPS 39415 WITH SCORE 39493.472
AT ITER 2567 NEW BEST:: SOT 231676 SOS 78508 HAS SOPS 78508 HAS SOUS 39413 HAS SOUPS 39413 WITH SCORE 39491.508
AT ITER 2583 NEW BEST:: SOT 231625 SOS 78406 HAS SOPS 78406 HAS SOUS 39362 HAS SOUPS 39362 WITH SCORE 39440.406
AT ITER 2588 NEW BEST:: SOT 231553 SOS 78237 HAS SOPS 78237 HAS SOUS 39311 HAS SOUPS 39311 WITH SCORE 39389.237
AT ITER 2602 NEW BEST:: SOT 231306 SOS 77484 HAS SOPS 77484 HAS SOUS 39192 HAS SOUPS 39192 WITH SCORE 39269.484
AT ITER 2621 NEW BEST:: SOT 231218 SOS 77082 HAS SOPS 77082 HAS SOUS 39153 HAS SOUPS 39153 WITH SCORE 39230.082
AT ITER 2623 NEW BEST:: SOT 231205 SOS 77056 HAS SOPS 77056 HAS SOUS 39127 HAS SOUPS 39127 WITH SCORE 39204.056
AT ITER 2637 NEW BEST:: SOT 231138 SOS 76915 HAS SOPS 76915 HAS SOUS 39028 HAS SOUPS 39028 WITH SCORE 39104.915
AT ITER 2640 NEW BEST:: SOT 231081 SOS 76801 HAS SOPS 76801 HAS SOUS 39015 HAS SOUPS 39015 WITH SCORE 39091.801
AT ITER 2663 NEW BEST:: SOT 231089 SOS 76817 HAS SOPS 76817 HAS SOUS 39007 HAS SOUPS 39007 WITH SCORE 39083.817
AT ITER 2675 NEW BEST:: SOT 230943 SOS 76429 HAS SOPS 76429 HAS SOUS 38922 HAS SOUPS 38922 WITH SCORE 38998.429
AT ITER 2679 NEW BEST:: SOT 230935 SOS 76369 HAS SOPS 76369 HAS SOUS 38870 HAS SOUPS 38870 WITH SCORE 38946.369
AT ITER 2729 NEW BEST:: SOT 230829 SOS 76104 HAS SOPS 76104 HAS SOUS 38870 HAS SOUPS 38870 WITH SCORE 38946.104
AT ITER 2752 NEW BEST:: SOT 230829 SOS 76104 HAS SOPS 76104 HAS SOUS 38854 HAS SOUPS 38854 WITH SCORE 38930.104
AT ITER 2754 NEW BEST:: SOT 230751 SOS 75870 HAS SOPS 75870 HAS SOUS 38815 HAS SOUPS 38815 WITH SCORE 38890.87
AT ITER 2769 NEW BEST:: SOT 230569 SOS 75210 HAS SOPS 75210 HAS SOUS 38785 HAS SOUPS 38785 WITH SCORE 38860.21
AT ITER 2783 NEW BEST:: SOT 230554 SOS 75180 HAS SOPS 75180 HAS SOUS 38780 HAS SOUPS 38780 WITH SCORE 38855.18
AT ITER 2828 NEW BEST:: SOT 230528 SOS 75114 HAS SOPS 75114 HAS SOUS 38779 HAS SOUPS 38779 WITH SCORE 38854.114
AT ITER 2831 NEW BEST:: SOT 230394 SOS 74727 HAS SOPS 74727 HAS SOUS 38721 HAS SOUPS 38721 WITH SCORE 38795.727
AT ITER 2853 NEW BEST:: SOT 230394 SOS 74726 HAS SOPS 74726 HAS SOUS 38714 HAS SOUPS 38714 WITH SCORE 38788.726
AT ITER 2869 NEW BEST:: SOT 230394 SOS 74724 HAS SOPS 74724 HAS SOUS 38702 HAS SOUPS 38702 WITH SCORE 38776.724
AT ITER 2872 NEW BEST:: SOT 230390 SOS 74791 HAS SOPS 74791 HAS SOUS 38658 HAS SOUPS 38658 WITH SCORE 38732.791
AT ITER 2889 NEW BEST:: SOT 230386 SOS 74785 HAS SOPS 74785 HAS SOUS 38654 HAS SOUPS 38654 WITH SCORE 38728.785
AT ITER 2896 NEW BEST:: SOT 230370 SOS 74769 HAS SOPS 74769 HAS SOUS 38638 HAS SOUPS 38638 WITH SCORE 38712.769
AT ITER 2905 NEW BEST:: SOT 230171 SOS 74312 HAS SOPS 74312 HAS SOUS 38534 HAS SOUPS 38534 WITH SCORE 38608.312
AT ITER 2921 NEW BEST:: SOT 230093 SOS 74156 HAS SOPS 74156 HAS SOUS 38512 HAS SOUPS 38512 WITH SCORE 38586.156
AT ITER 2936 NEW BEST:: SOT 229987 SOS 73826 HAS SOPS 73826 HAS SOUS 38453 HAS SOUPS 38453 WITH SCORE 38526.826
AT ITER 2946 NEW BEST:: SOT 229916 SOS 73755 HAS SOPS 73755 HAS SOUS 38310 HAS SOUPS 38310 WITH SCORE 38383.755
AT ITER 2965 NEW BEST:: SOT 229877 SOS 73727 HAS SOPS 73727 HAS SOUS 38282 HAS SOUPS 38282 WITH SCORE 38355.727
AT ITER 2991 NEW BEST:: SOT 229867 SOS 73777 HAS SOPS 73777 HAS SOUS 38256 HAS SOUPS 38256 WITH SCORE 38329.777
AT ITER 2995 NEW BEST:: SOT 229819 SOS 73680 HAS SOPS 73680 HAS SOUS 38253 HAS SOUPS 38253 WITH SCORE 38326.68
AT ITER 3030 NEW BEST:: SOT 229802 SOS 73578 HAS SOPS 73578 HAS SOUS 38072 HAS SOUPS 38072 WITH SCORE 38145.578
AT ITER 3039 NEW BEST:: SOT 229748 SOS 73513 HAS SOPS 73513 HAS SOUS 38069 HAS SOUPS 38069 WITH SCORE 38142.513
AT ITER 3042 NEW BEST:: SOT 229718 SOS 73423 HAS SOPS 73423 HAS SOUS 38054 HAS SOUPS 38054 WITH SCORE 38127.423
AT ITER 3052 NEW BEST:: SOT 229707 SOS 73443 HAS SOPS 73443 HAS SOUS 38043 HAS SOUPS 38043 WITH SCORE 38116.443
AT ITER 3062 NEW BEST:: SOT 229642 SOS 73248 HAS SOPS 73248 HAS SOUS 37797 HAS SOUPS 37797 WITH SCORE 37870.248
AT ITER 3076 NEW BEST:: SOT 229510 SOS 72770 HAS SOPS 72770 HAS SOUS 37506 HAS SOUPS 37506 WITH SCORE 37578.77
AT ITER 3078 NEW BEST:: SOT 229617 SOS 73072 HAS SOPS 73072 HAS SOUS 37437 HAS SOUPS 37437 WITH SCORE 37510.072
AT ITER 3088 NEW BEST:: SOT 229617 SOS 73038 HAS SOPS 73038 HAS SOUS 37403 HAS SOUPS 37403 WITH SCORE 37476.038
AT ITER 3093 NEW BEST:: SOT 229601 SOS 72669 HAS SOPS 72669 HAS SOUS 37333 HAS SOUPS 37333 WITH SCORE 37405.669
AT ITER 3109 NEW BEST:: SOT 229581 SOS 72609 HAS SOPS 72609 HAS SOUS 37303 HAS SOUPS 37303 WITH SCORE 37375.609
AT ITER 3118 NEW BEST:: SOT 229561 SOS 72468 HAS SOPS 72468 HAS SOUS 37195 HAS SOUPS 37195 WITH SCORE 37267.468
AT ITER 3148 NEW BEST:: SOT 229283 SOS 71675 HAS SOPS 71675 HAS SOUS 37027 HAS SOUPS 37027 WITH SCORE 37098.675
AT ITER 3192 NEW BEST:: SOT 229256 SOS 71617 HAS SOPS 71617 HAS SOUS 36971 HAS SOUPS 36971 WITH SCORE 37042.617
AT ITER 3202 NEW BEST:: SOT 229252 SOS 71609 HAS SOPS 71609 HAS SOUS 36967 HAS SOUPS 36967 WITH SCORE 37038.609
AT ITER 3211 NEW BEST:: SOT 229252 SOS 71593 HAS SOPS 71593 HAS SOUS 36951 HAS SOUPS 36951 WITH SCORE 37022.593
AT ITER 3213 NEW BEST:: SOT 229229 SOS 71511 HAS SOPS 71511 HAS SOUS 36940 HAS SOUPS 36940 WITH SCORE 37011.511
AT ITER 3225 NEW BEST:: SOT 229241 SOS 71565 HAS SOPS 71565 HAS SOUS 36910 HAS SOUPS 36910 WITH SCORE 36981.565
AT ITER 3226 NEW BEST:: SOT 228750 SOS 70547 HAS SOPS 70547 HAS SOUS 36853 HAS SOUPS 36853 WITH SCORE 36923.547
AT ITER 3245 NEW BEST:: SOT 228715 SOS 70424 HAS SOPS 70424 HAS SOUS 36769 HAS SOUPS 36769 WITH SCORE 36839.424
AT ITER 3247 NEW BEST:: SOT 228693 SOS 70350 HAS SOPS 70350 HAS SOUS 36653 HAS SOUPS 36653 WITH SCORE 36723.35
AT ITER 3255 NEW BEST:: SOT 228515 SOS 69898 HAS SOPS 69898 HAS SOUS 36574 HAS SOUPS 36574 WITH SCORE 36643.898
AT ITER 3263 NEW BEST:: SOT 228483 SOS 69767 HAS SOPS 69767 HAS SOUS 36549 HAS SOUPS 36549 WITH SCORE 36618.767
AT ITER 3281 NEW BEST:: SOT 228482 SOS 69766 HAS SOPS 69766 HAS SOUS 36546 HAS SOUPS 36546 WITH SCORE 36615.766
AT ITER 3296 NEW BEST:: SOT 228449 SOS 69720 HAS SOPS 69720 HAS SOUS 36527 HAS SOUPS 36527 WITH SCORE 36596.72
AT ITER 3299 NEW BEST:: SOT 228430 SOS 69646 HAS SOPS 69646 HAS SOUS 36472 HAS SOUPS 36472 WITH SCORE 36541.646
AT ITER 3326 NEW BEST:: SOT 228430 SOS 69646 HAS SOPS 69646 HAS SOUS 36466 HAS SOUPS 36466 WITH SCORE 36535.646
AT ITER 3327 NEW BEST:: SOT 228389 SOS 69605 HAS SOPS 69605 HAS SOUS 36463 HAS SOUPS 36463 WITH SCORE 36532.605
AT ITER 3331 NEW BEST:: SOT 228376 SOS 69579 HAS SOPS 69579 HAS SOUS 36463 HAS SOUPS 36463 WITH SCORE 36532.579
AT ITER 3345 NEW BEST:: SOT 228376 SOS 69577 HAS SOPS 69577 HAS SOUS 36423 HAS SOUPS 36423 WITH SCORE 36492.577
AT ITER 3346 NEW BEST:: SOT 228372 SOS 69567 HAS SOPS 69567 HAS SOUS 36423 HAS SOUPS 36423 WITH SCORE 36492.567
AT ITER 3350 NEW BEST:: SOT 228349 SOS 69496 HAS SOPS 69496 HAS SOUS 36418 HAS SOUPS 36418 WITH SCORE 36487.496
AT ITER 3357 NEW BEST:: SOT 228349 SOS 69496 HAS SOPS 69496 HAS SOUS 36374 HAS SOUPS 36374 WITH SCORE 36443.496
AT ITER 3360 NEW BEST:: SOT 228266 SOS 69192 HAS SOPS 69192 HAS SOUS 36369 HAS SOUPS 36369 WITH SCORE 36438.192
AT ITER 3369 NEW BEST:: SOT 228058 SOS 68672 HAS SOPS 68672 HAS SOUS 36369 HAS SOUPS 36369 WITH SCORE 36437.672
AT ITER 3389 NEW BEST:: SOT 228062 SOS 68684 HAS SOPS 68684 HAS SOUS 36365 HAS SOUPS 36365 WITH SCORE 36433.684
AT ITER 3391 NEW BEST:: SOT 228062 SOS 68671 HAS SOPS 68671 HAS SOUS 36363 HAS SOUPS 36363 WITH SCORE 36431.671
AT ITER 3399 NEW BEST:: SOT 227934 SOS 68415 HAS SOPS 68415 HAS SOUS 36357 HAS SOUPS 36357 WITH SCORE 36425.415
AT ITER 3460 NEW BEST:: SOT 227824 SOS 68195 HAS SOPS 68195 HAS SOUS 36244 HAS SOUPS 36244 WITH SCORE 36312.195
AT ITER 3461 NEW BEST:: SOT 227824 SOS 68195 HAS SOPS 68195 HAS SOUS 36194 HAS SOUPS 36194 WITH SCORE 36262.195
AT ITER 3463 NEW BEST:: SOT 227764 SOS 68013 HAS SOPS 68013 HAS SOUS 36165 HAS SOUPS 36165 WITH SCORE 36233.013
AT ITER 3479 NEW BEST:: SOT 227738 SOS 68004 HAS SOPS 68004 HAS SOUS 36146 HAS SOUPS 36146 WITH SCORE 36214.004
AT ITER 3480 NEW BEST:: SOT 227660 SOS 67779 HAS SOPS 67779 HAS SOUS 36137 HAS SOUPS 36137 WITH SCORE 36204.779
AT ITER 3494 NEW BEST:: SOT 227649 SOS 67757 HAS SOPS 67757 HAS SOUS 36126 HAS SOUPS 36126 WITH SCORE 36193.757
AT ITER 3509 NEW BEST:: SOT 227658 SOS 67794 HAS SOPS 67794 HAS SOUS 36109 HAS SOUPS 36109 WITH SCORE 36176.794
AT ITER 3510 NEW BEST:: SOT 227550 SOS 67470 HAS SOPS 67470 HAS SOUS 35947 HAS SOUPS 35947 WITH SCORE 36014.47
AT ITER 3515 NEW BEST:: SOT 227530 SOS 67370 HAS SOPS 67370 HAS SOUS 35897 HAS SOUPS 35897 WITH SCORE 35964.37
AT ITER 3520 NEW BEST:: SOT 227515 SOS 67316 HAS SOPS 67316 HAS SOUS 35858 HAS SOUPS 35858 WITH SCORE 35925.316
AT ITER 3526 NEW BEST:: SOT 227509 SOS 67298 HAS SOPS 67298 HAS SOUS 35858 HAS SOUPS 35858 WITH SCORE 35925.298
AT ITER 3551 NEW BEST:: SOT 227359 SOS 66810 HAS SOPS 66810 HAS SOUS 35776 HAS SOUPS 35776 WITH SCORE 35842.81
AT ITER 3552 NEW BEST:: SOT 227364 SOS 66825 HAS SOPS 66825 HAS SOUS 35771 HAS SOUPS 35771 WITH SCORE 35837.825
AT ITER 3575 NEW BEST:: SOT 227363 SOS 66823 HAS SOPS 66823 HAS SOUS 35770 HAS SOUPS 35770 WITH SCORE 35836.823
AT ITER 3583 NEW BEST:: SOT 227409 SOS 66962 HAS SOPS 66962 HAS SOUS 35719 HAS SOUPS 35719 WITH SCORE 35785.962
AT ITER 3610 NEW BEST:: SOT 227413 SOS 66970 HAS SOPS 66970 HAS SOUS 35717 HAS SOUPS 35717 WITH SCORE 35783.97
AT ITER 3617 NEW BEST:: SOT 227225 SOS 66437 HAS SOPS 66437 HAS SOUS 35636 HAS SOUPS 35636 WITH SCORE 35702.437
AT ITER 3651 NEW BEST:: SOT 227202 SOS 66496 HAS SOPS 66496 HAS SOUS 35584 HAS SOUPS 35584 WITH SCORE 35650.496
AT ITER 3671 NEW BEST:: SOT 227201 SOS 66494 HAS SOPS 66494 HAS SOUS 35583 HAS SOUPS 35583 WITH SCORE 35649.494
AT ITER 3676 NEW BEST:: SOT 227121 SOS 66334 HAS SOPS 66334 HAS SOUS 35517 HAS SOUPS 35517 WITH SCORE 35583.334
AT ITER 3683 NEW BEST:: SOT 227115 SOS 66312 HAS SOPS 66312 HAS SOUS 35504 HAS SOUPS 35504 WITH SCORE 35570.312
AT ITER 3685 NEW BEST:: SOT 227115 SOS 66298 HAS SOPS 66298 HAS SOUS 35462 HAS SOUPS 35462 WITH SCORE 35528.298
AT ITER 3690 NEW BEST:: SOT 227126 SOS 66411 HAS SOPS 66411 HAS SOUS 35416 HAS SOUPS 35416 WITH SCORE 35482.411
AT ITER 3700 NEW BEST:: SOT 227080 SOS 66270 HAS SOPS 66270 HAS SOUS 35398 HAS SOUPS 35398 WITH SCORE 35464.27
AT ITER 3709 NEW BEST:: SOT 226753 SOS 65292 HAS SOPS 65292 HAS SOUS 35323 HAS SOUPS 35323 WITH SCORE 35388.292
AT ITER 3711 NEW BEST:: SOT 226929 SOS 65654 HAS SOPS 65654 HAS SOUS 35313 HAS SOUPS 35313 WITH SCORE 35378.654
AT ITER 3725 NEW BEST:: SOT 226919 SOS 65634 HAS SOPS 65634 HAS SOUS 35303 HAS SOUPS 35303 WITH SCORE 35368.634
AT ITER 3727 NEW BEST:: SOT 226917 SOS 65630 HAS SOPS 65630 HAS SOUS 35301 HAS SOUPS 35301 WITH SCORE 35366.63
AT ITER 3733 NEW BEST:: SOT 226880 SOS 65556 HAS SOPS 65556 HAS SOUS 35265 HAS SOUPS 35265 WITH SCORE 35330.556
AT ITER 3735 NEW BEST:: SOT 226628 SOS 64763 HAS SOPS 64763 HAS SOUS 35259 HAS SOUPS 35259 WITH SCORE 35323.763
AT ITER 3768 NEW BEST:: SOT 226611 SOS 64695 HAS SOPS 64695 HAS SOUS 35250 HAS SOUPS 35250 WITH SCORE 35314.695
AT ITER 3779 NEW BEST:: SOT 226611 SOS 64694 HAS SOPS 64694 HAS SOUS 35249 HAS SOUPS 35249 WITH SCORE 35313.694
AT ITER 3794 NEW BEST:: SOT 226610 SOS 64676 HAS SOPS 64676 HAS SOUS 35233 HAS SOUPS 35233 WITH SCORE 35297.676
AT ITER 3809 NEW BEST:: SOT 226462 SOS 64363 HAS SOPS 64363 HAS SOUS 35216 HAS SOUPS 35216 WITH SCORE 35280.363
AT ITER 3828 NEW BEST:: SOT 226411 SOS 64208 HAS SOPS 64208 HAS SOUS 35195 HAS SOUPS 35195 WITH SCORE 35259.208
AT ITER 3837 NEW BEST:: SOT 226385 SOS 64134 HAS SOPS 64134 HAS SOUS 35186 HAS SOUPS 35186 WITH SCORE 35250.134
AT ITER 3845 NEW BEST:: SOT 226351 SOS 64066 HAS SOPS 64066 HAS SOUS 35183 HAS SOUPS 35183 WITH SCORE 35247.066
AT ITER 3846 NEW BEST:: SOT 226281 SOS 63856 HAS SOPS 63856 HAS SOUS 35078 HAS SOUPS 35078 WITH SCORE 35141.856
AT ITER 3849 NEW BEST:: SOT 226001 SOS 63178 HAS SOPS 63178 HAS SOUS 34914 HAS SOUPS 34914 WITH SCORE 34977.178
AT ITER 3852 NEW BEST:: SOT 225992 SOS 63169 HAS SOPS 63169 HAS SOUS 34914 HAS SOUPS 34914 WITH SCORE 34977.169
AT ITER 3884 NEW BEST:: SOT 225941 SOS 63185 HAS SOPS 63185 HAS SOUS 34908 HAS SOUPS 34908 WITH SCORE 34971.185
AT ITER 3923 NEW BEST:: SOT 225849 SOS 62931 HAS SOPS 62931 HAS SOUS 34908 HAS SOUPS 34908 WITH SCORE 34970.931
AT ITER 3955 NEW BEST:: SOT 225844 SOS 62925 HAS SOPS 62925 HAS SOUS 34895 HAS SOUPS 34895 WITH SCORE 34957.925
AT ITER 3960 NEW BEST:: SOT 225844 SOS 62977 HAS SOPS 62977 HAS SOUS 34857 HAS SOUPS 34857 WITH SCORE 34919.977
AT ITER 3965 NEW BEST:: SOT 226443 SOS 64175 HAS SOPS 64175 HAS SOUS 34848 HAS SOUPS 34848 WITH SCORE 34912.175
AT ITER 3966 NEW BEST:: SOT 226215 SOS 63511 HAS SOPS 63511 HAS SOUS 34709 HAS SOUPS 34709 WITH SCORE 34772.511
AT ITER 3967 NEW BEST:: SOT 226185 SOS 63385 HAS SOPS 63385 HAS SOUS 34624 HAS SOUPS 34624 WITH SCORE 34687.385
AT ITER 3968 NEW BEST:: SOT 226183 SOS 63416 HAS SOPS 63416 HAS SOUS 34365 HAS SOUPS 34365 WITH SCORE 34428.416
AT ITER 3973 NEW BEST:: SOT 226188 SOS 63485 HAS SOPS 63485 HAS SOUS 34337 HAS SOUPS 34337 WITH SCORE 34400.485
AT ITER 3978 NEW BEST:: SOT 226094 SOS 63295 HAS SOPS 63295 HAS SOUS 34286 HAS SOUPS 34286 WITH SCORE 34349.295
AT ITER 3986 NEW BEST:: SOT 226033 SOS 63259 HAS SOPS 63259 HAS SOUS 34206 HAS SOUPS 34206 WITH SCORE 34269.259
AT ITER 3996 NEW BEST:: SOT 226033 SOS 63259 HAS SOPS 63259 HAS SOUS 34128 HAS SOUPS 34128 WITH SCORE 34191.259
AT ITER 4018 NEW BEST:: SOT 225917 SOS 62935 HAS SOPS 62935 HAS SOUS 34093 HAS SOUPS 34093 WITH SCORE 34155.935
AT ITER 4020 NEW BEST:: SOT 225729 SOS 62394 HAS SOPS 62394 HAS SOUS 34022 HAS SOUPS 34022 WITH SCORE 34084.394
AT ITER 4027 NEW BEST:: SOT 225722 SOS 62380 HAS SOPS 62380 HAS SOUS 34022 HAS SOUPS 34022 WITH SCORE 34084.38
AT ITER 4039 NEW BEST:: SOT 225855 SOS 62842 HAS SOPS 62842 HAS SOUS 33962 HAS SOUPS 33962 WITH SCORE 34024.842
AT ITER 4041 NEW BEST:: SOT 225901 SOS 62985 HAS SOPS 62985 HAS SOUS 33947 HAS SOUPS 33947 WITH SCORE 34009.985
AT ITER 4044 NEW BEST:: SOT 225901 SOS 62985 HAS SOPS 62985 HAS SOUS 33939 HAS SOUPS 33939 WITH SCORE 34001.985
AT ITER 4060 NEW BEST:: SOT 225882 SOS 62989 HAS SOPS 62989 HAS SOUS 33904 HAS SOUPS 33904 WITH SCORE 33966.989
AT ITER 4079 NEW BEST:: SOT 225709 SOS 62403 HAS SOPS 62403 HAS SOUS 33849 HAS SOUPS 33849 WITH SCORE 33911.403
AT ITER 4085 NEW BEST:: SOT 225689 SOS 62347 HAS SOPS 62347 HAS SOUS 33825 HAS SOUPS 33825 WITH SCORE 33887.347
AT ITER 4125 NEW BEST:: SOT 225643 SOS 62179 HAS SOPS 62179 HAS SOUS 33817 HAS SOUPS 33817 WITH SCORE 33879.179
AT ITER 4164 NEW BEST:: SOT 225771 SOS 62135 HAS SOPS 62135 HAS SOUS 33799 HAS SOUPS 33799 WITH SCORE 33861.135
AT ITER 4216 NEW BEST:: SOT 225683 SOS 61871 HAS SOPS 61871 HAS SOUS 33755 HAS SOUPS 33755 WITH SCORE 33816.871
AT ITER 4234 NEW BEST:: SOT 225655 SOS 61843 HAS SOPS 61843 HAS SOUS 33671 HAS SOUPS 33671 WITH SCORE 33732.843
AT ITER 4261 NEW BEST:: SOT 225554 SOS 61742 HAS SOPS 61742 HAS SOUS 33464 HAS SOUPS 33464 WITH SCORE 33525.742
AT ITER 4322 NEW BEST:: SOT 225528 SOS 61664 HAS SOPS 61664 HAS SOUS 33425 HAS SOUPS 33425 WITH SCORE 33486.664
AT ITER 4324 NEW BEST:: SOT 225528 SOS 61664 HAS SOPS 61664 HAS SOUS 33423 HAS SOUPS 33423 WITH SCORE 33484.664
AT ITER 4325 NEW BEST:: SOT 225435 SOS 61367 HAS SOPS 61367 HAS SOUS 33345 HAS SOUPS 33345 WITH SCORE 33406.367
AT ITER 4331 NEW BEST:: SOT 225347 SOS 61103 HAS SOPS 61103 HAS SOUS 33247 HAS SOUPS 33247 WITH SCORE 33308.103
AT ITER 4351 NEW BEST:: SOT 225347 SOS 61103 HAS SOPS 61103 HAS SOUS 33239 HAS SOUPS 33239 WITH SCORE 33300.103
AT ITER 4366 NEW BEST:: SOT 225331 SOS 61055 HAS SOPS 61055 HAS SOUS 33231 HAS SOUPS 33231 WITH SCORE 33292.055
AT ITER 4369 NEW BEST:: SOT 225320 SOS 61149 HAS SOPS 61149 HAS SOUS 33200 HAS SOUPS 33200 WITH SCORE 33261.149
AT ITER 4374 NEW BEST:: SOT 225284 SOS 61041 HAS SOPS 61041 HAS SOUS 33146 HAS SOUPS 33146 WITH SCORE 33207.041
AT ITER 4382 NEW BEST:: SOT 225282 SOS 61035 HAS SOPS 61035 HAS SOUS 33145 HAS SOUPS 33145 WITH SCORE 33206.035
AT ITER 4388 NEW BEST:: SOT 225266 SOS 60981 HAS SOPS 60981 HAS SOUS 33061 HAS SOUPS 33061 WITH SCORE 33121.981
AT ITER 4390 NEW BEST:: SOT 225150 SOS 60981 HAS SOPS 60981 HAS SOUS 33023 HAS SOUPS 33023 WITH SCORE 33083.981
AT ITER 4414 NEW BEST:: SOT 225117 SOS 60852 HAS SOPS 60852 HAS SOUS 32993 HAS SOUPS 32993 WITH SCORE 33053.852
AT ITER 4425 NEW BEST:: SOT 225110 SOS 60830 HAS SOPS 60830 HAS SOUS 32981 HAS SOUPS 32981 WITH SCORE 33041.83
AT ITER 4521 NEW BEST:: SOT 225051 SOS 60544 HAS SOPS 60544 HAS SOUS 32970 HAS SOUPS 32970 WITH SCORE 33030.544
AT ITER 4540 NEW BEST:: SOT 225036 SOS 60481 HAS SOPS 60481 HAS SOUS 32922 HAS SOUPS 32922 WITH SCORE 32982.481
AT ITER 4546 NEW BEST:: SOT 225032 SOS 60473 HAS SOPS 60473 HAS SOUS 32918 HAS SOUPS 32918 WITH SCORE 32978.473
AT ITER 4565 NEW BEST:: SOT 225032 SOS 60474 HAS SOPS 60474 HAS SOUS 32917 HAS SOUPS 32917 WITH SCORE 32977.474
AT ITER 4596 NEW BEST:: SOT 224806 SOS 60022 HAS SOPS 60022 HAS SOUS 32906 HAS SOUPS 32906 WITH SCORE 32966.022
AT ITER 4620 NEW BEST:: SOT 224763 SOS 59818 HAS SOPS 59818 HAS SOUS 32889 HAS SOUPS 32889 WITH SCORE 32948.818
AT ITER 4639 NEW BEST:: SOT 224763 SOS 59801 HAS SOPS 59801 HAS SOUS 32872 HAS SOUPS 32872 WITH SCORE 32931.801
AT ITER 4645 NEW BEST:: SOT 224739 SOS 59749 HAS SOPS 59749 HAS SOUS 32842 HAS SOUPS 32842 WITH SCORE 32901.749
AT ITER 4656 NEW BEST:: SOT 224729 SOS 59583 HAS SOPS 59583 HAS SOUS 32759 HAS SOUPS 32759 WITH SCORE 32818.583
AT ITER 4675 NEW BEST:: SOT 224664 SOS 59386 HAS SOPS 59386 HAS SOUS 32730 HAS SOUPS 32730 WITH SCORE 32789.386
AT ITER 4685 NEW BEST:: SOT 224378 SOS 58774 HAS SOPS 58774 HAS SOUS 32604 HAS SOUPS 32604 WITH SCORE 32662.774
AT ITER 4686 NEW BEST:: SOT 224290 SOS 58554 HAS SOPS 58554 HAS SOUS 32604 HAS SOUPS 32604 WITH SCORE 32662.554
AT ITER 4692 NEW BEST:: SOT 224286 SOS 58544 HAS SOPS 58544 HAS SOUS 32598 HAS SOUPS 32598 WITH SCORE 32656.544
AT ITER 4708 NEW BEST:: SOT 224256 SOS 58454 HAS SOPS 58454 HAS SOUS 32583 HAS SOUPS 32583 WITH SCORE 32641.454
AT ITER 4713 NEW BEST:: SOT 224157 SOS 58355 HAS SOPS 58355 HAS SOUS 32484 HAS SOUPS 32484 WITH SCORE 32542.355
AT ITER 4716 NEW BEST:: SOT 224167 SOS 58365 HAS SOPS 58365 HAS SOUS 32474 HAS SOUPS 32474 WITH SCORE 32532.365
AT ITER 4722 NEW BEST:: SOT 224167 SOS 58365 HAS SOPS 58365 HAS SOUS 32462 HAS SOUPS 32462 WITH SCORE 32520.365
AT ITER 4724 NEW BEST:: SOT 224125 SOS 58281 HAS SOPS 58281 HAS SOUS 32441 HAS SOUPS 32441 WITH SCORE 32499.281
AT ITER 4733 NEW BEST:: SOT 224109 SOS 58233 HAS SOPS 58233 HAS SOUS 32417 HAS SOUPS 32417 WITH SCORE 32475.233
AT ITER 4769 NEW BEST:: SOT 224109 SOS 58223 HAS SOPS 58223 HAS SOUS 32417 HAS SOUPS 32417 WITH SCORE 32475.223
AT ITER 4791 NEW BEST:: SOT 224024 SOS 58035 HAS SOPS 58035 HAS SOUS 32376 HAS SOUPS 32376 WITH SCORE 32434.035
AT ITER 4821 NEW BEST:: SOT 223873 SOS 57660 HAS SOPS 57660 HAS SOUS 32222 HAS SOUPS 32222 WITH SCORE 32279.66
AT ITER 4835 NEW BEST:: SOT 223808 SOS 57420 HAS SOPS 57420 HAS SOUS 32196 HAS SOUPS 32196 WITH SCORE 32253.42
AT ITER 4863 NEW BEST:: SOT 223812 SOS 57424 HAS SOPS 57424 HAS SOUS 32194 HAS SOUPS 32194 WITH SCORE 32251.424
AT ITER 4873 NEW BEST:: SOT 223559 SOS 56592 HAS SOPS 56592 HAS SOUS 32045 HAS SOUPS 32045 WITH SCORE 32101.592
AT ITER 4877 NEW BEST:: SOT 223550 SOS 56565 HAS SOPS 56565 HAS SOUS 32027 HAS SOUPS 32027 WITH SCORE 32083.565
AT ITER 4900 NEW BEST:: SOT 223550 SOS 56565 HAS SOPS 56565 HAS SOUS 32013 HAS SOUPS 32013 WITH SCORE 32069.565
AT ITER 4927 NEW BEST:: SOT 223481 SOS 56427 HAS SOPS 56427 HAS SOUS 31990 HAS SOUPS 31990 WITH SCORE 32046.427
AT ITER 4929 NEW BEST:: SOT 223471 SOS 56411 HAS SOPS 56411 HAS SOUS 31979 HAS SOUPS 31979 WITH SCORE 32035.411
AT ITER 4939 NEW BEST:: SOT 223445 SOS 56307 HAS SOPS 56307 HAS SOUS 31901 HAS SOUPS 31901 WITH SCORE 31957.307
AT ITER 4947 NEW BEST:: SOT 223430 SOS 56251 HAS SOPS 56251 HAS SOUS 31899 HAS SOUPS 31899 WITH SCORE 31955.251
AT ITER 4985 NEW BEST:: SOT 223395 SOS 56181 HAS SOPS 56181 HAS SOUS 31889 HAS SOUPS 31889 WITH SCORE 31945.181
AT ITER 5027 NEW BEST:: SOT 223395 SOS 56179 HAS SOPS 56179 HAS SOUS 31889 HAS SOUPS 31889 WITH SCORE 31945.179
AT ITER 5073 NEW BEST:: SOT 223430 SOS 56206 HAS SOPS 56206 HAS SOUS 31830 HAS SOUPS 31830 WITH SCORE 31886.206
AT ITER 5080 NEW BEST:: SOT 223428 SOS 56240 HAS SOPS 56240 HAS SOUS 31815 HAS SOUPS 31815 WITH SCORE 31871.24
AT ITER 5106 NEW BEST:: SOT 223372 SOS 56072 HAS SOPS 56072 HAS SOUS 31752 HAS SOUPS 31752 WITH SCORE 31808.072
AT ITER 5136 NEW BEST:: SOT 223363 SOS 56048 HAS SOPS 56048 HAS SOUS 31748 HAS SOUPS 31748 WITH SCORE 31804.048
AT ITER 5144 NEW BEST:: SOT 223359 SOS 56038 HAS SOPS 56038 HAS SOUS 31744 HAS SOUPS 31744 WITH SCORE 31800.038
AT ITER 5152 NEW BEST:: SOT 223355 SOS 56030 HAS SOPS 56030 HAS SOUS 31744 HAS SOUPS 31744 WITH SCORE 31800.03
AT ITER 5162 NEW BEST:: SOT 223347 SOS 56006 HAS SOPS 56006 HAS SOUS 31728 HAS SOUPS 31728 WITH SCORE 31784.006
AT ITER 5198 NEW BEST:: SOT 223341 SOS 56000 HAS SOPS 56000 HAS SOUS 31722 HAS SOUPS 31722 WITH SCORE 31778.0
AT ITER 5223 NEW BEST:: SOT 223359 SOS 56013 HAS SOPS 56013 HAS SOUS 31717 HAS SOUPS 31717 WITH SCORE 31773.013
AT ITER 5275 NEW BEST:: SOT 223340 SOS 55993 HAS SOPS 55993 HAS SOUS 31716 HAS SOUPS 31716 WITH SCORE 31771.993
AT ITER 5287 NEW BEST:: SOT 223336 SOS 55981 HAS SOPS 55981 HAS SOUS 31714 HAS SOUPS 31714 WITH SCORE 31769.981
AT ITER 5296 NEW BEST:: SOT 223329 SOS 55967 HAS SOPS 55967 HAS SOUS 31707 HAS SOUPS 31707 WITH SCORE 31762.967
AT ITER 5321 NEW BEST:: SOT 223319 SOS 55947 HAS SOPS 55947 HAS SOUS 31707 HAS SOUPS 31707 WITH SCORE 31762.947
AT ITER 5353 NEW BEST:: SOT 223322 SOS 55935 HAS SOPS 55935 HAS SOUS 31644 HAS SOUPS 31644 WITH SCORE 31699.935
AT ITER 5387 NEW BEST:: SOT 223350 SOS 56040 HAS SOPS 56040 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31696.04
AT ITER 5388 NEW BEST:: SOT 223321 SOS 55924 HAS SOPS 55924 HAS SOUS 31553 HAS SOUPS 31553 WITH SCORE 31608.924
AT ITER 5426 NEW BEST:: SOT 223210 SOS 55665 HAS SOPS 55665 HAS SOUS 31479 HAS SOUPS 31479 WITH SCORE 31534.665
AT ITER 5473 NEW BEST:: SOT 223199 SOS 55765 HAS SOPS 55765 HAS SOUS 31407 HAS SOUPS 31407 WITH SCORE 31462.765
AT ITER 5483 NEW BEST:: SOT 223172 SOS 55711 HAS SOPS 55711 HAS SOUS 31375 HAS SOUPS 31375 WITH SCORE 31430.711
AT ITER 5502 NEW BEST:: SOT 222938 SOS 55009 HAS SOPS 55009 HAS SOUS 31024 HAS SOUPS 31024 WITH SCORE 31079.009
AT ITER 5523 NEW BEST:: SOT 222901 SOS 54973 HAS SOPS 54973 HAS SOUS 31011 HAS SOUPS 31011 WITH SCORE 31065.973
AT ITER 5525 NEW BEST:: SOT 222793 SOS 54649 HAS SOPS 54649 HAS SOUS 30957 HAS SOUPS 30957 WITH SCORE 31011.649
AT ITER 5531 NEW BEST:: SOT 222642 SOS 54201 HAS SOPS 54201 HAS SOUS 30908 HAS SOUPS 30908 WITH SCORE 30962.201
AT ITER 5545 NEW BEST:: SOT 222635 SOS 54173 HAS SOPS 54173 HAS SOUS 30899 HAS SOUPS 30899 WITH SCORE 30953.173
AT ITER 5557 NEW BEST:: SOT 222608 SOS 53951 HAS SOPS 53951 HAS SOUS 30788 HAS SOUPS 30788 WITH SCORE 30841.951
AT ITER 5558 NEW BEST:: SOT 222532 SOS 53675 HAS SOPS 53675 HAS SOUS 30740 HAS SOUPS 30740 WITH SCORE 30793.675
AT ITER 5572 NEW BEST:: SOT 222514 SOS 53621 HAS SOPS 53621 HAS SOUS 30731 HAS SOUPS 30731 WITH SCORE 30784.621
AT ITER 5665 NEW BEST:: SOT 222469 SOS 53531 HAS SOPS 53531 HAS SOUS 30686 HAS SOUPS 30686 WITH SCORE 30739.531
AT ITER 5671 NEW BEST:: SOT 222398 SOS 53389 HAS SOPS 53389 HAS SOUS 30677 HAS SOUPS 30677 WITH SCORE 30730.389
AT ITER 5674 NEW BEST:: SOT 222398 SOS 53359 HAS SOPS 53359 HAS SOUS 30677 HAS SOUPS 30677 WITH SCORE 30730.359
AT ITER 5677 NEW BEST:: SOT 222394 SOS 53351 HAS SOPS 53351 HAS SOUS 30676 HAS SOUPS 30676 WITH SCORE 30729.351
AT ITER 5684 NEW BEST:: SOT 222391 SOS 53345 HAS SOPS 53345 HAS SOUS 30673 HAS SOUPS 30673 WITH SCORE 30726.345
AT ITER 5699 NEW BEST:: SOT 222378 SOS 53308 HAS SOPS 53308 HAS SOUS 30664 HAS SOUPS 30664 WITH SCORE 30717.308
AT ITER 5703 NEW BEST:: SOT 222498 SOS 53649 HAS SOPS 53649 HAS SOUS 30663 HAS SOUPS 30663 WITH SCORE 30716.649
AT ITER 5764 NEW BEST:: SOT 222548 SOS 53726 HAS SOPS 53726 HAS SOUS 30650 HAS SOUPS 30650 WITH SCORE 30703.726
AT ITER 5768 NEW BEST:: SOT 222522 SOS 53674 HAS SOPS 53674 HAS SOUS 30619 HAS SOUPS 30619 WITH SCORE 30672.674
AT ITER 5775 NEW BEST:: SOT 222534 SOS 53682 HAS SOPS 53682 HAS SOUS 30613 HAS SOUPS 30613 WITH SCORE 30666.682
AT ITER 5785 NEW BEST:: SOT 222522 SOS 53658 HAS SOPS 53658 HAS SOUS 30601 HAS SOUPS 30601 WITH SCORE 30654.658
AT ITER 5805 NEW BEST:: SOT 222467 SOS 53442 HAS SOPS 53442 HAS SOUS 30501 HAS SOUPS 30501 WITH SCORE 30554.442
AT ITER 5821 NEW BEST:: SOT 222450 SOS 53431 HAS SOPS 53431 HAS SOUS 30498 HAS SOUPS 30498 WITH SCORE 30551.431
AT ITER 5835 NEW BEST:: SOT 222434 SOS 53383 HAS SOPS 53383 HAS SOUS 30474 HAS SOUPS 30474 WITH SCORE 30527.383
AT ITER 5850 NEW BEST:: SOT 222383 SOS 53281 HAS SOPS 53281 HAS SOUS 30415 HAS SOUPS 30415 WITH SCORE 30468.281
AT ITER 5871 NEW BEST:: SOT 222359 SOS 53214 HAS SOPS 53214 HAS SOUS 30408 HAS SOUPS 30408 WITH SCORE 30461.214
AT ITER 5946 NEW BEST:: SOT 222383 SOS 53246 HAS SOPS 53246 HAS SOUS 30401 HAS SOUPS 30401 WITH SCORE 30454.246
AT ITER 5955 NEW BEST:: SOT 222350 SOS 53180 HAS SOPS 53180 HAS SOUS 30368 HAS SOUPS 30368 WITH SCORE 30421.18
AT ITER 5964 NEW BEST:: SOT 222336 SOS 53107 HAS SOPS 53107 HAS SOUS 30225 HAS SOUPS 30225 WITH SCORE 30278.107
AT ITER 5972 NEW BEST:: SOT 222331 SOS 53092 HAS SOPS 53092 HAS SOUS 30223 HAS SOUPS 30223 WITH SCORE 30276.092
AT ITER 5981 NEW BEST:: SOT 222297 SOS 53007 HAS SOPS 53007 HAS SOUS 30223 HAS SOUPS 30223 WITH SCORE 30276.007
AT ITER 6018 NEW BEST:: SOT 222235 SOS 52821 HAS SOPS 52821 HAS SOUS 30192 HAS SOUPS 30192 WITH SCORE 30244.821
AT ITER 6029 NEW BEST:: SOT 222232 SOS 52848 HAS SOPS 52848 HAS SOUS 30175 HAS SOUPS 30175 WITH SCORE 30227.848
AT ITER 6030 NEW BEST:: SOT 222232 SOS 52843 HAS SOPS 52843 HAS SOUS 30142 HAS SOUPS 30142 WITH SCORE 30194.843
AT ITER 6041 NEW BEST:: SOT 222209 SOS 52797 HAS SOPS 52797 HAS SOUS 30119 HAS SOUPS 30119 WITH SCORE 30171.797
AT ITER 6060 NEW BEST:: SOT 222208 SOS 52795 HAS SOPS 52795 HAS SOUS 30118 HAS SOUPS 30118 WITH SCORE 30170.795
AT ITER 6074 NEW BEST:: SOT 222277 SOS 52969 HAS SOPS 52969 HAS SOUS 30115 HAS SOUPS 30115 WITH SCORE 30167.969
AT ITER 6080 NEW BEST:: SOT 222143 SOS 52567 HAS SOPS 52567 HAS SOUS 29998 HAS SOUPS 29998 WITH SCORE 30050.567
AT ITER 6084 NEW BEST:: SOT 222143 SOS 52635 HAS SOPS 52635 HAS SOUS 29996 HAS SOUPS 29996 WITH SCORE 30048.635
AT ITER 6105 NEW BEST:: SOT 222140 SOS 52629 HAS SOPS 52629 HAS SOUS 29996 HAS SOUPS 29996 WITH SCORE 30048.629
AT ITER 6125 NEW BEST:: SOT 222133 SOS 52622 HAS SOPS 52622 HAS SOUS 29991 HAS SOUPS 29991 WITH SCORE 30043.622
AT ITER 6167 NEW BEST:: SOT 222128 SOS 52612 HAS SOPS 52612 HAS SOUS 29987 HAS SOUPS 29987 WITH SCORE 30039.612
AT ITER 6176 NEW BEST:: SOT 222051 SOS 52404 HAS SOPS 52404 HAS SOUS 29884 HAS SOUPS 29884 WITH SCORE 29936.404
AT ITER 6205 NEW BEST:: SOT 221986 SOS 52206 HAS SOPS 52206 HAS SOUS 29853 HAS SOUPS 29853 WITH SCORE 29905.206
AT ITER 6217 NEW BEST:: SOT 221716 SOS 51415 HAS SOPS 51415 HAS SOUS 29757 HAS SOUPS 29757 WITH SCORE 29808.415
AT ITER 6221 NEW BEST:: SOT 221584 SOS 50960 HAS SOPS 50960 HAS SOUS 29751 HAS SOUPS 29751 WITH SCORE 29801.96
AT ITER 6307 NEW BEST:: SOT 221584 SOS 50960 HAS SOPS 50960 HAS SOUS 29749 HAS SOUPS 29749 WITH SCORE 29799.96
AT ITER 6333 NEW BEST:: SOT 221568 SOS 50920 HAS SOPS 50920 HAS SOUS 29741 HAS SOUPS 29741 WITH SCORE 29791.92
AT ITER 6355 NEW BEST:: SOT 221511 SOS 50806 HAS SOPS 50806 HAS SOUS 29724 HAS SOUPS 29724 WITH SCORE 29774.806
AT ITER 6368 NEW BEST:: SOT 221508 SOS 50790 HAS SOPS 50790 HAS SOUS 29719 HAS SOUPS 29719 WITH SCORE 29769.79
AT ITER 6369 NEW BEST:: SOT 221381 SOS 50536 HAS SOPS 50536 HAS SOUS 29719 HAS SOUPS 29719 WITH SCORE 29769.536
AT ITER 6381 NEW BEST:: SOT 221381 SOS 50536 HAS SOPS 50536 HAS SOUS 29717 HAS SOUPS 29717 WITH SCORE 29767.536
AT ITER 6406 NEW BEST:: SOT 221339 SOS 50485 HAS SOPS 50485 HAS SOUS 29705 HAS SOUPS 29705 WITH SCORE 29755.485
AT ITER 6413 NEW BEST:: SOT 221318 SOS 50453 HAS SOPS 50453 HAS SOUS 29691 HAS SOUPS 29691 WITH SCORE 29741.453
AT ITER 6485 NEW BEST:: SOT 221110 SOS 49946 HAS SOPS 49946 HAS SOUS 29369 HAS SOUPS 29369 WITH SCORE 29418.946
AT ITER 6494 NEW BEST:: SOT 221105 SOS 49936 HAS SOPS 49936 HAS SOUS 29350 HAS SOUPS 29350 WITH SCORE 29399.936
AT ITER 6541 NEW BEST:: SOT 221095 SOS 49932 HAS SOPS 49932 HAS SOUS 29314 HAS SOUPS 29314 WITH SCORE 29363.932
AT ITER 6542 NEW BEST:: SOT 221076 SOS 49894 HAS SOPS 49894 HAS SOUS 29306 HAS SOUPS 29306 WITH SCORE 29355.894
AT ITER 6571 NEW BEST:: SOT 220959 SOS 49544 HAS SOPS 49544 HAS SOUS 29242 HAS SOUPS 29242 WITH SCORE 29291.544
AT ITER 6629 NEW BEST:: SOT 220938 SOS 49502 HAS SOPS 49502 HAS SOUS 29224 HAS SOUPS 29224 WITH SCORE 29273.502
AT ITER 6636 NEW BEST:: SOT 220938 SOS 49502 HAS SOPS 49502 HAS SOUS 29220 HAS SOUPS 29220 WITH SCORE 29269.502
AT ITER 6649 NEW BEST:: SOT 220912 SOS 49406 HAS SOPS 49406 HAS SOUS 29197 HAS SOUPS 29197 WITH SCORE 29246.406
AT ITER 6667 NEW BEST:: SOT 220907 SOS 49401 HAS SOPS 49401 HAS SOUS 29182 HAS SOUPS 29182 WITH SCORE 29231.401
AT ITER 6705 NEW BEST:: SOT 220907 SOS 49378 HAS SOPS 49378 HAS SOUS 29150 HAS SOUPS 29150 WITH SCORE 29199.378
AT ITER 6750 NEW BEST:: SOT 220907 SOS 49378 HAS SOPS 49378 HAS SOUS 29132 HAS SOUPS 29132 WITH SCORE 29181.378
AT ITER 6768 NEW BEST:: SOT 220886 SOS 49364 HAS SOPS 49364 HAS SOUS 29080 HAS SOUPS 29080 WITH SCORE 29129.364
AT ITER 6788 NEW BEST:: SOT 220828 SOS 49219 HAS SOPS 49219 HAS SOUS 29039 HAS SOUPS 29039 WITH SCORE 29088.219
AT ITER 6861 NEW BEST:: SOT 220824 SOS 49207 HAS SOPS 49207 HAS SOUS 29037 HAS SOUPS 29037 WITH SCORE 29086.207
AT ITER 6865 NEW BEST:: SOT 220778 SOS 49199 HAS SOPS 49199 HAS SOUS 29023 HAS SOUPS 29023 WITH SCORE 29072.199
AT ITER 6880 NEW BEST:: SOT 220814 SOS 49319 HAS SOPS 49319 HAS SOUS 28981 HAS SOUPS 28981 WITH SCORE 29030.319
AT ITER 6892 NEW BEST:: SOT 220737 SOS 49153 HAS SOPS 49153 HAS SOUS 28926 HAS SOUPS 28926 WITH SCORE 28975.153
AT ITER 6903 NEW BEST:: SOT 220716 SOS 49153 HAS SOPS 49153 HAS SOUS 28922 HAS SOUPS 28922 WITH SCORE 28971.153
AT ITER 6927 NEW BEST:: SOT 220690 SOS 49049 HAS SOPS 49049 HAS SOUS 28882 HAS SOUPS 28882 WITH SCORE 28931.049
AT ITER 6942 NEW BEST:: SOT 220638 SOS 49004 HAS SOPS 49004 HAS SOUS 28880 HAS SOUPS 28880 WITH SCORE 28929.004
AT ITER 6946 NEW BEST:: SOT 220638 SOS 49006 HAS SOPS 49006 HAS SOUS 28878 HAS SOUPS 28878 WITH SCORE 28927.006
AT ITER 6968 NEW BEST:: SOT 220634 SOS 48998 HAS SOPS 48998 HAS SOUS 28874 HAS SOUPS 28874 WITH SCORE 28922.998
AT ITER 6979 NEW BEST:: SOT 220569 SOS 48802 HAS SOPS 48802 HAS SOUS 28831 HAS SOUPS 28831 WITH SCORE 28879.802
AT ITER 6994 NEW BEST:: SOT 220566 SOS 48796 HAS SOPS 48796 HAS SOUS 28804 HAS SOUPS 28804 WITH SCORE 28852.796
AT ITER 6998 NEW BEST:: SOT 220566 SOS 48796 HAS SOPS 48796 HAS SOUS 28796 HAS SOUPS 28796 WITH SCORE 28844.796
AT ITER 7035 NEW BEST:: SOT 220565 SOS 48795 HAS SOPS 48795 HAS SOUS 28796 HAS SOUPS 28796 WITH SCORE 28844.795
AT ITER 7044 NEW BEST:: SOT 220559 SOS 48781 HAS SOPS 48781 HAS SOUS 28788 HAS SOUPS 28788 WITH SCORE 28836.781
AT ITER 7046 NEW BEST:: SOT 220575 SOS 48800 HAS SOPS 48800 HAS SOUS 28765 HAS SOUPS 28765 WITH SCORE 28813.8
AT ITER 7047 NEW BEST:: SOT 220571 SOS 48788 HAS SOPS 48788 HAS SOUS 28757 HAS SOUPS 28757 WITH SCORE 28805.788
AT ITER 7048 NEW BEST:: SOT 220546 SOS 48741 HAS SOPS 48741 HAS SOUS 28729 HAS SOUPS 28729 WITH SCORE 28777.741
AT ITER 7083 NEW BEST:: SOT 220544 SOS 48744 HAS SOPS 48744 HAS SOUS 28726 HAS SOUPS 28726 WITH SCORE 28774.744
AT ITER 7109 NEW BEST:: SOT 220552 SOS 48768 HAS SOPS 48768 HAS SOUS 28718 HAS SOUPS 28718 WITH SCORE 28766.768
AT ITER 7113 NEW BEST:: SOT 220432 SOS 48350 HAS SOPS 48350 HAS SOUS 28562 HAS SOUPS 28562 WITH SCORE 28610.35
AT ITER 7131 NEW BEST:: SOT 220432 SOS 48348 HAS SOPS 48348 HAS SOUS 28552 HAS SOUPS 28552 WITH SCORE 28600.348
AT ITER 7162 NEW BEST:: SOT 220413 SOS 48292 HAS SOPS 48292 HAS SOUS 28551 HAS SOUPS 28551 WITH SCORE 28599.292
AT ITER 7168 NEW BEST:: SOT 220413 SOS 48292 HAS SOPS 48292 HAS SOUS 28543 HAS SOUPS 28543 WITH SCORE 28591.292
AT ITER 7183 NEW BEST:: SOT 220410 SOS 48286 HAS SOPS 48286 HAS SOUS 28540 HAS SOUPS 28540 WITH SCORE 28588.286
AT ITER 7207 NEW BEST:: SOT 220390 SOS 48232 HAS SOPS 48232 HAS SOUS 28536 HAS SOUPS 28536 WITH SCORE 28584.232
AT ITER 7265 NEW BEST:: SOT 220336 SOS 48070 HAS SOPS 48070 HAS SOUS 28509 HAS SOUPS 28509 WITH SCORE 28557.07
AT ITER 7313 NEW BEST:: SOT 220247 SOS 47892 HAS SOPS 47892 HAS SOUS 28398 HAS SOUPS 28398 WITH SCORE 28445.892
AT ITER 7328 NEW BEST:: SOT 220247 SOS 47888 HAS SOPS 47888 HAS SOUS 28392 HAS SOUPS 28392 WITH SCORE 28439.888
AT ITER 7341 NEW BEST:: SOT 220240 SOS 47867 HAS SOPS 47867 HAS SOUS 28370 HAS SOUPS 28370 WITH SCORE 28417.867
AT ITER 7343 NEW BEST:: SOT 220122 SOS 47550 HAS SOPS 47550 HAS SOUS 28294 HAS SOUPS 28294 WITH SCORE 28341.55
AT ITER 7362 NEW BEST:: SOT 220037 SOS 47527 HAS SOPS 47527 HAS SOUS 28050 HAS SOUPS 28050 WITH SCORE 28097.527
AT ITER 7368 NEW BEST:: SOT 219967 SOS 47408 HAS SOPS 47408 HAS SOUS 27996 HAS SOUPS 27996 WITH SCORE 28043.408
AT ITER 7384 NEW BEST:: SOT 219956 SOS 47375 HAS SOPS 47375 HAS SOUS 27974 HAS SOUPS 27974 WITH SCORE 28021.375
AT ITER 7394 NEW BEST:: SOT 219956 SOS 47371 HAS SOPS 47371 HAS SOUS 27922 HAS SOUPS 27922 WITH SCORE 27969.371
AT ITER 7438 NEW BEST:: SOT 219956 SOS 47358 HAS SOPS 47358 HAS SOUS 27909 HAS SOUPS 27909 WITH SCORE 27956.358
AT ITER 7557 NEW BEST:: SOT 219951 SOS 47334 HAS SOPS 47334 HAS SOUS 27907 HAS SOUPS 27907 WITH SCORE 27954.334
AT ITER 7606 NEW BEST:: SOT 219945 SOS 47322 HAS SOPS 47322 HAS SOUS 27901 HAS SOUPS 27901 WITH SCORE 27948.322
AT ITER 7616 NEW BEST:: SOT 219893 SOS 47092 HAS SOPS 47092 HAS SOUS 27886 HAS SOUPS 27886 WITH SCORE 27933.092
AT ITER 7618 NEW BEST:: SOT 219861 SOS 46996 HAS SOPS 46996 HAS SOUS 27838 HAS SOUPS 27838 WITH SCORE 27884.996
AT ITER 7623 NEW BEST:: SOT 219788 SOS 46758 HAS SOPS 46758 HAS SOUS 27785 HAS SOUPS 27785 WITH SCORE 27831.758
AT ITER 7651 NEW BEST:: SOT 219771 SOS 46724 HAS SOPS 46724 HAS SOUS 27778 HAS SOUPS 27778 WITH SCORE 27824.724
AT ITER 7662 NEW BEST:: SOT 219736 SOS 46590 HAS SOPS 46590 HAS SOUS 27711 HAS SOUPS 27711 WITH SCORE 27757.59
AT ITER 7694 NEW BEST:: SOT 219736 SOS 46590 HAS SOPS 46590 HAS SOUS 27709 HAS SOUPS 27709 WITH SCORE 27755.59
AT ITER 7696 NEW BEST:: SOT 219734 SOS 46588 HAS SOPS 46588 HAS SOUS 27705 HAS SOUPS 27705 WITH SCORE 27751.588
AT ITER 7733 NEW BEST:: SOT 219734 SOS 46588 HAS SOPS 46588 HAS SOUS 27701 HAS SOUPS 27701 WITH SCORE 27747.588
AT ITER 7764 NEW BEST:: SOT 219715 SOS 46524 HAS SOPS 46524 HAS SOUS 27695 HAS SOUPS 27695 WITH SCORE 27741.524
AT ITER 7769 NEW BEST:: SOT 219713 SOS 46518 HAS SOPS 46518 HAS SOUS 27695 HAS SOUPS 27695 WITH SCORE 27741.518
AT ITER 7774 NEW BEST:: SOT 219702 SOS 46496 HAS SOPS 46496 HAS SOUS 27684 HAS SOUPS 27684 WITH SCORE 27730.496
AT ITER 7792 NEW BEST:: SOT 219702 SOS 46488 HAS SOPS 46488 HAS SOUS 27672 HAS SOUPS 27672 WITH SCORE 27718.488
AT ITER 7793 NEW BEST:: SOT 219648 SOS 46380 HAS SOPS 46380 HAS SOUS 27635 HAS SOUPS 27635 WITH SCORE 27681.38
AT ITER 7855 NEW BEST:: SOT 219648 SOS 46367 HAS SOPS 46367 HAS SOUS 27606 HAS SOUPS 27606 WITH SCORE 27652.367
AT ITER 7856 NEW BEST:: SOT 219648 SOS 46367 HAS SOPS 46367 HAS SOUS 27560 HAS SOUPS 27560 WITH SCORE 27606.367
AT ITER 7893 NEW BEST:: SOT 219692 SOS 46499 HAS SOPS 46499 HAS SOUS 27548 HAS SOUPS 27548 WITH SCORE 27594.499
AT ITER 7968 NEW BEST:: SOT 219672 SOS 46459 HAS SOPS 46459 HAS SOUS 27548 HAS SOUPS 27548 WITH SCORE 27594.459
AT ITER 8017 NEW BEST:: SOT 219680 SOS 46467 HAS SOPS 46467 HAS SOUS 27526 HAS SOUPS 27526 WITH SCORE 27572.467
AT ITER 8027 NEW BEST:: SOT 219674 SOS 46455 HAS SOPS 46455 HAS SOUS 27520 HAS SOUPS 27520 WITH SCORE 27566.455
AT ITER 8029 NEW BEST:: SOT 219671 SOS 46449 HAS SOPS 46449 HAS SOUS 27517 HAS SOUPS 27517 WITH SCORE 27563.449
AT ITER 8035 NEW BEST:: SOT 219642 SOS 46390 HAS SOPS 46390 HAS SOUS 27473 HAS SOUPS 27473 WITH SCORE 27519.39
AT ITER 8039 NEW BEST:: SOT 219614 SOS 46294 HAS SOPS 46294 HAS SOUS 27457 HAS SOUPS 27457 WITH SCORE 27503.294
AT ITER 8074 NEW BEST:: SOT 219584 SOS 46224 HAS SOPS 46224 HAS SOUS 27437 HAS SOUPS 27437 WITH SCORE 27483.224
AT ITER 8076 NEW BEST:: SOT 219582 SOS 46194 HAS SOPS 46194 HAS SOUS 27422 HAS SOUPS 27422 WITH SCORE 27468.194
AT ITER 8145 NEW BEST:: SOT 219548 SOS 46172 HAS SOPS 46172 HAS SOUS 27389 HAS SOUPS 27389 WITH SCORE 27435.172
AT ITER 8162 NEW BEST:: SOT 219530 SOS 46130 HAS SOPS 46130 HAS SOUS 27377 HAS SOUPS 27377 WITH SCORE 27423.13
AT ITER 8163 NEW BEST:: SOT 219530 SOS 46137 HAS SOPS 46137 HAS SOUS 27376 HAS SOUPS 27376 WITH SCORE 27422.137
AT ITER 8173 NEW BEST:: SOT 219531 SOS 46138 HAS SOPS 46138 HAS SOUS 27375 HAS SOUPS 27375 WITH SCORE 27421.138
AT ITER 8192 NEW BEST:: SOT 219485 SOS 45958 HAS SOPS 45958 HAS SOUS 27307 HAS SOUPS 27307 WITH SCORE 27352.958
AT ITER 8193 NEW BEST:: SOT 219491 SOS 45961 HAS SOPS 45961 HAS SOUS 27301 HAS SOUPS 27301 WITH SCORE 27346.961
AT ITER 8195 NEW BEST:: SOT 219491 SOS 45983 HAS SOPS 45983 HAS SOUS 27279 HAS SOUPS 27279 WITH SCORE 27324.983
AT ITER 8203 NEW BEST:: SOT 219403 SOS 45785 HAS SOPS 45785 HAS SOUS 27214 HAS SOUPS 27214 WITH SCORE 27259.785
AT ITER 8227 NEW BEST:: SOT 219401 SOS 45781 HAS SOPS 45781 HAS SOUS 27212 HAS SOUPS 27212 WITH SCORE 27257.781
AT ITER 8268 NEW BEST:: SOT 219401 SOS 45777 HAS SOPS 45777 HAS SOUS 27200 HAS SOUPS 27200 WITH SCORE 27245.777
AT ITER 8294 NEW BEST:: SOT 219343 SOS 45615 HAS SOPS 45615 HAS SOUS 27146 HAS SOUPS 27146 WITH SCORE 27191.615
AT ITER 8311 NEW BEST:: SOT 219303 SOS 45495 HAS SOPS 45495 HAS SOUS 27112 HAS SOUPS 27112 WITH SCORE 27157.495
AT ITER 8344 NEW BEST:: SOT 219291 SOS 45459 HAS SOPS 45459 HAS SOUS 27106 HAS SOUPS 27106 WITH SCORE 27151.459
AT ITER 8349 NEW BEST:: SOT 219241 SOS 45352 HAS SOPS 45352 HAS SOUS 27099 HAS SOUPS 27099 WITH SCORE 27144.352
AT ITER 8427 NEW BEST:: SOT 219233 SOS 45328 HAS SOPS 45328 HAS SOUS 27087 HAS SOUPS 27087 WITH SCORE 27132.328
AT ITER 8455 NEW BEST:: SOT 219231 SOS 45299 HAS SOPS 45299 HAS SOUS 27064 HAS SOUPS 27064 WITH SCORE 27109.299
AT ITER 8485 NEW BEST:: SOT 219223 SOS 45328 HAS SOPS 45328 HAS SOUS 27063 HAS SOUPS 27063 WITH SCORE 27108.328
AT ITER 8528 NEW BEST:: SOT 219234 SOS 45339 HAS SOPS 45339 HAS SOUS 27018 HAS SOUPS 27018 WITH SCORE 27063.339
AT ITER 8558 NEW BEST:: SOT 219203 SOS 45258 HAS SOPS 45258 HAS SOUS 26972 HAS SOUPS 26972 WITH SCORE 27017.258
AT ITER 8627 NEW BEST:: SOT 219217 SOS 45270 HAS SOPS 45270 HAS SOUS 26953 HAS SOUPS 26953 WITH SCORE 26998.27
AT ITER 8639 NEW BEST:: SOT 219193 SOS 45198 HAS SOPS 45198 HAS SOUS 26917 HAS SOUPS 26917 WITH SCORE 26962.198
AT ITER 8656 NEW BEST:: SOT 219190 SOS 45215 HAS SOPS 45215 HAS SOUS 26864 HAS SOUPS 26864 WITH SCORE 26909.215
AT ITER 8699 NEW BEST:: SOT 219193 SOS 45325 HAS SOPS 45325 HAS SOUS 26846 HAS SOUPS 26846 WITH SCORE 26891.325
AT ITER 8706 NEW BEST:: SOT 219183 SOS 45295 HAS SOPS 45295 HAS SOUS 26831 HAS SOUPS 26831 WITH SCORE 26876.295
AT ITER 8733 NEW BEST:: SOT 219142 SOS 45160 HAS SOPS 45160 HAS SOUS 26818 HAS SOUPS 26818 WITH SCORE 26863.16
AT ITER 8745 NEW BEST:: SOT 219142 SOS 45160 HAS SOPS 45160 HAS SOUS 26804 HAS SOUPS 26804 WITH SCORE 26849.16
AT ITER 8815 NEW BEST:: SOT 219100 SOS 45076 HAS SOPS 45076 HAS SOUS 26762 HAS SOUPS 26762 WITH SCORE 26807.076
AT ITER 8850 NEW BEST:: SOT 219101 SOS 45047 HAS SOPS 45047 HAS SOUS 26759 HAS SOUPS 26759 WITH SCORE 26804.047
AT ITER 8854 NEW BEST:: SOT 219076 SOS 44984 HAS SOPS 44984 HAS SOUS 26724 HAS SOUPS 26724 WITH SCORE 26768.984
AT ITER 8879 NEW BEST:: SOT 219057 SOS 44989 HAS SOPS 44989 HAS SOUS 26715 HAS SOUPS 26715 WITH SCORE 26759.989
AT ITER 8911 NEW BEST:: SOT 219054 SOS 44982 HAS SOPS 44982 HAS SOUS 26711 HAS SOUPS 26711 WITH SCORE 26755.982
AT ITER 8959 NEW BEST:: SOT 219046 SOS 44966 HAS SOPS 44966 HAS SOUS 26703 HAS SOUPS 26703 WITH SCORE 26747.966
AT ITER 8980 NEW BEST:: SOT 219027 SOS 44897 HAS SOPS 44897 HAS SOUS 26674 HAS SOUPS 26674 WITH SCORE 26718.897
AT ITER 9004 NEW BEST:: SOT 219008 SOS 44859 HAS SOPS 44859 HAS SOUS 26614 HAS SOUPS 26614 WITH SCORE 26658.859
AT ITER 9010 NEW BEST:: SOT 218988 SOS 44777 HAS SOPS 44777 HAS SOUS 26594 HAS SOUPS 26594 WITH SCORE 26638.777
AT ITER 9016 NEW BEST:: SOT 218985 SOS 44765 HAS SOPS 44765 HAS SOUS 26594 HAS SOUPS 26594 WITH SCORE 26638.765
AT ITER 9041 NEW BEST:: SOT 219039 SOS 44916 HAS SOPS 44916 HAS SOUS 26583 HAS SOUPS 26583 WITH SCORE 26627.916
AT ITER 9066 NEW BEST:: SOT 219038 SOS 44912 HAS SOPS 44912 HAS SOUS 26582 HAS SOUPS 26582 WITH SCORE 26626.912
AT ITER 9126 NEW BEST:: SOT 219029 SOS 44894 HAS SOPS 44894 HAS SOUS 26507 HAS SOUPS 26507 WITH SCORE 26551.894
AT ITER 9133 NEW BEST:: SOT 219025 SOS 44868 HAS SOPS 44868 HAS SOUS 26485 HAS SOUPS 26485 WITH SCORE 26529.868
AT ITER 9147 NEW BEST:: SOT 218921 SOS 44556 HAS SOPS 44556 HAS SOUS 26433 HAS SOUPS 26433 WITH SCORE 26477.556
AT ITER 9181 NEW BEST:: SOT 218917 SOS 44546 HAS SOPS 44546 HAS SOUS 26433 HAS SOUPS 26433 WITH SCORE 26477.546
AT ITER 9199 NEW BEST:: SOT 218898 SOS 44508 HAS SOPS 44508 HAS SOUS 26391 HAS SOUPS 26391 WITH SCORE 26435.508
AT ITER 9216 NEW BEST:: SOT 218879 SOS 44448 HAS SOPS 44448 HAS SOUS 26375 HAS SOUPS 26375 WITH SCORE 26419.448
AT ITER 9261 NEW BEST:: SOT 218887 SOS 44485 HAS SOPS 44485 HAS SOUS 26334 HAS SOUPS 26334 WITH SCORE 26378.485
AT ITER 9280 NEW BEST:: SOT 218886 SOS 44485 HAS SOPS 44485 HAS SOUS 26329 HAS SOUPS 26329 WITH SCORE 26373.485
AT ITER 9348 NEW BEST:: SOT 218886 SOS 44485 HAS SOPS 44485 HAS SOUS 26303 HAS SOUPS 26303 WITH SCORE 26347.485
AT ITER 9351 NEW BEST:: SOT 218793 SOS 44330 HAS SOPS 44330 HAS SOUS 26235 HAS SOUPS 26235 WITH SCORE 26279.33
AT ITER 9366 NEW BEST:: SOT 218839 SOS 44510 HAS SOPS 44510 HAS SOUS 26232 HAS SOUPS 26232 WITH SCORE 26276.51
AT ITER 9419 NEW BEST:: SOT 218813 SOS 44432 HAS SOPS 44432 HAS SOUS 26219 HAS SOUPS 26219 WITH SCORE 26263.432
AT ITER 9435 NEW BEST:: SOT 218793 SOS 44367 HAS SOPS 44367 HAS SOUS 26206 HAS SOUPS 26206 WITH SCORE 26250.367
AT ITER 9507 NEW BEST:: SOT 218770 SOS 44321 HAS SOPS 44321 HAS SOUS 26201 HAS SOUPS 26201 WITH SCORE 26245.321
AT ITER 9554 NEW BEST:: SOT 218775 SOS 44281 HAS SOPS 44281 HAS SOUS 26196 HAS SOUPS 26196 WITH SCORE 26240.281
AT ITER 9582 NEW BEST:: SOT 218804 SOS 44405 HAS SOPS 44405 HAS SOUS 26192 HAS SOUPS 26192 WITH SCORE 26236.405
AT ITER 9614 NEW BEST:: SOT 218767 SOS 44329 HAS SOPS 44329 HAS SOUS 26187 HAS SOUPS 26187 WITH SCORE 26231.329
AT ITER 9618 NEW BEST:: SOT 218790 SOS 44396 HAS SOPS 44396 HAS SOUS 26174 HAS SOUPS 26174 WITH SCORE 26218.396
AT ITER 9622 NEW BEST:: SOT 218723 SOS 44213 HAS SOPS 44213 HAS SOUS 26163 HAS SOUPS 26163 WITH SCORE 26207.213
AT ITER 9651 NEW BEST:: SOT 218846 SOS 44333 HAS SOPS 44333 HAS SOUS 26142 HAS SOUPS 26142 WITH SCORE 26186.333
AT ITER 9660 NEW BEST:: SOT 218808 SOS 44257 HAS SOPS 44257 HAS SOUS 26093 HAS SOUPS 26093 WITH SCORE 26137.257
AT ITER 9692 NEW BEST:: SOT 218804 SOS 44249 HAS SOPS 44249 HAS SOUS 26093 HAS SOUPS 26093 WITH SCORE 26137.249
AT ITER 9713 NEW BEST:: SOT 218803 SOS 44247 HAS SOPS 44247 HAS SOUS 26093 HAS SOUPS 26093 WITH SCORE 26137.247
AT ITER 9718 NEW BEST:: SOT 218797 SOS 44235 HAS SOPS 44235 HAS SOUS 26093 HAS SOUPS 26093 WITH SCORE 26137.235
AT ITER 9742 NEW BEST:: SOT 218797 SOS 44232 HAS SOPS 44232 HAS SOUS 26090 HAS SOUPS 26090 WITH SCORE 26134.232
AT ITER 9798 NEW BEST:: SOT 218740 SOS 44042 HAS SOPS 44042 HAS SOUS 26045 HAS SOUPS 26045 WITH SCORE 26089.042
AT ITER 9801 NEW BEST:: SOT 218740 SOS 44038 HAS SOPS 44038 HAS SOUS 26041 HAS SOUPS 26041 WITH SCORE 26085.038
AT ITER 9817 NEW BEST:: SOT 218739 SOS 44036 HAS SOPS 44036 HAS SOUS 26040 HAS SOUPS 26040 WITH SCORE 26084.036
AT ITER 9843 NEW BEST:: SOT 218662 SOS 43782 HAS SOPS 43782 HAS SOUS 26002 HAS SOUPS 26002 WITH SCORE 26045.782
AT ITER 9845 NEW BEST:: SOT 218641 SOS 43714 HAS SOPS 43714 HAS SOUS 25950 HAS SOUPS 25950 WITH SCORE 25993.714
AT ITER 9862 NEW BEST:: SOT 218654 SOS 43723 HAS SOPS 43723 HAS SOUS 25885 HAS SOUPS 25885 WITH SCORE 25928.723
AT ITER 9863 NEW BEST:: SOT 218610 SOS 43668 HAS SOPS 43668 HAS SOUS 25768 HAS SOUPS 25768 WITH SCORE 25811.668
AT ITER 9864 NEW BEST:: SOT 218590 SOS 43615 HAS SOPS 43615 HAS SOUS 25755 HAS SOUPS 25755 WITH SCORE 25798.615
AT ITER 9915 NEW BEST:: SOT 218590 SOS 43615 HAS SOPS 43615 HAS SOUS 25753 HAS SOUPS 25753 WITH SCORE 25796.615
AT ITER 9917 NEW BEST:: SOT 218590 SOS 43606 HAS SOPS 43606 HAS SOUS 25744 HAS SOUPS 25744 WITH SCORE 25787.606
AT ITER 9919 NEW BEST:: SOT 218520 SOS 43377 HAS SOPS 43377 HAS SOUS 25729 HAS SOUPS 25729 WITH SCORE 25772.377
AT ITER 9935 NEW BEST:: SOT 218520 SOS 43377 HAS SOPS 43377 HAS SOUS 25727 HAS SOUPS 25727 WITH SCORE 25770.377
AT ITER 9936 NEW BEST:: SOT 218495 SOS 43329 HAS SOPS 43329 HAS SOUS 25715 HAS SOUPS 25715 WITH SCORE 25758.329
AT ITER 9944 NEW BEST:: SOT 218489 SOS 43314 HAS SOPS 43314 HAS SOUS 25715 HAS SOUPS 25715 WITH SCORE 25758.314
AT ITER 9986 NEW BEST:: SOT 218465 SOS 43285 HAS SOPS 43285 HAS SOUS 25627 HAS SOUPS 25627 WITH SCORE 25670.285
AT ITER 9991 NEW BEST:: SOT 218465 SOS 43283 HAS SOPS 43283 HAS SOUS 25627 HAS SOUPS 25627 WITH SCORE 25670.283
AT ITER 9997 NEW BEST:: SOT 218403 SOS 43097 HAS SOPS 43097 HAS SOUS 25596 HAS SOUPS 25596 WITH SCORE 25639.097
BK_STOP 1679333623235
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 480 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="ViralEpidemic-PT-S04D1C1A03"
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 ViralEpidemic-PT-S04D1C1A03, 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 r491-tall-167912711601304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S04D1C1A03.tgz
mv ViralEpidemic-PT-S04D1C1A03 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 ;