About the Execution of Smart+red for NoC3x3-PT-4A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16218.871 | 2445658.00 | 2482115.00 | 14587.10 | [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.r267-smll-167863541600280.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 NoC3x3-PT-4A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541600280
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 10:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 10:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 144K 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 1678830444909
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=NoC3x3-PT-4A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 21:47:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 21:47:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 21:47:28] [INFO ] Load time of PNML (sax parser for PT used): 166 ms
[2023-03-14 21:47:28] [INFO ] Transformed 293 places.
[2023-03-14 21:47:28] [INFO ] Transformed 608 transitions.
[2023-03-14 21:47:28] [INFO ] Found NUPN structural information;
[2023-03-14 21:47:28] [INFO ] Parsed PT model containing 293 places and 608 transitions and 1905 arcs in 309 ms.
[2023-03-14 21:47:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 293 places, 608 transitions and 1905 arcs took 14 ms.
Total runtime 378 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 4A
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: 293 places, 608 transitions, 1905 arcs.
AT ITER 0 NEW BEST:: SOT 122164 SOS 105332 HAS SOPS 105332 HAS SOUS 53376 HAS SOUPS 53376 WITH SCORE 53481.332
AT ITER 1 NEW BEST:: SOT 122221 SOS 105140 HAS SOPS 105140 HAS SOUS 53376 HAS SOUPS 53376 WITH SCORE 53481.14
AT ITER 8 NEW BEST:: SOT 121804 SOS 104798 HAS SOPS 104798 HAS SOUS 53031 HAS SOUPS 53031 WITH SCORE 53135.798
AT ITER 9 NEW BEST:: SOT 121532 SOS 104526 HAS SOPS 104526 HAS SOUS 52759 HAS SOUPS 52759 WITH SCORE 52863.526
AT ITER 11 NEW BEST:: SOT 120782 SOS 103813 HAS SOPS 103813 HAS SOUS 52564 HAS SOUPS 52564 WITH SCORE 52667.813
AT ITER 15 NEW BEST:: SOT 121076 SOS 103207 HAS SOPS 103207 HAS SOUS 52561 HAS SOUPS 52561 WITH SCORE 52664.207
AT ITER 20 NEW BEST:: SOT 121141 SOS 103272 HAS SOPS 103272 HAS SOUS 52555 HAS SOUPS 52555 WITH SCORE 52658.272
AT ITER 21 NEW BEST:: SOT 120251 SOS 101397 HAS SOPS 101397 HAS SOUS 51694 HAS SOUPS 51694 WITH SCORE 51795.397
AT ITER 22 NEW BEST:: SOT 119075 SOS 100221 HAS SOPS 100221 HAS SOUS 51113 HAS SOUPS 51113 WITH SCORE 51213.221
AT ITER 23 NEW BEST:: SOT 119071 SOS 100189 HAS SOPS 100189 HAS SOUS 51113 HAS SOUPS 51113 WITH SCORE 51213.189
AT ITER 25 NEW BEST:: SOT 118979 SOS 100097 HAS SOPS 100097 HAS SOUS 51021 HAS SOUPS 51021 WITH SCORE 51121.097
AT ITER 27 NEW BEST:: SOT 119130 SOS 99624 HAS SOPS 99624 HAS SOUS 50807 HAS SOUPS 50807 WITH SCORE 50906.624
AT ITER 28 NEW BEST:: SOT 118782 SOS 99276 HAS SOPS 99276 HAS SOUS 50459 HAS SOUPS 50459 WITH SCORE 50558.276
AT ITER 31 NEW BEST:: SOT 118656 SOS 99150 HAS SOPS 99150 HAS SOUS 50392 HAS SOUPS 50392 WITH SCORE 50491.15
AT ITER 32 NEW BEST:: SOT 117636 SOS 98130 HAS SOPS 98130 HAS SOUS 50009 HAS SOUPS 50009 WITH SCORE 50107.13
AT ITER 34 NEW BEST:: SOT 117854 SOS 98342 HAS SOPS 98342 HAS SOUS 49997 HAS SOUPS 49997 WITH SCORE 50095.342
AT ITER 35 NEW BEST:: SOT 117964 SOS 97680 HAS SOPS 97680 HAS SOUS 49901 HAS SOUPS 49901 WITH SCORE 49998.68
AT ITER 39 NEW BEST:: SOT 117067 SOS 96783 HAS SOPS 96783 HAS SOUS 49004 HAS SOUPS 49004 WITH SCORE 49100.783
AT ITER 40 NEW BEST:: SOT 117453 SOS 96335 HAS SOPS 96335 HAS SOUS 48816 HAS SOUPS 48816 WITH SCORE 48912.335
AT ITER 42 NEW BEST:: SOT 116817 SOS 95719 HAS SOPS 95719 HAS SOUS 48302 HAS SOUPS 48302 WITH SCORE 48397.719
AT ITER 53 NEW BEST:: SOT 116034 SOS 94936 HAS SOPS 94936 HAS SOUS 48091 HAS SOUPS 48091 WITH SCORE 48185.936
AT ITER 54 NEW BEST:: SOT 115394 SOS 94296 HAS SOPS 94296 HAS SOUS 47859 HAS SOUPS 47859 WITH SCORE 47953.296
AT ITER 55 NEW BEST:: SOT 114785 SOS 93687 HAS SOPS 93687 HAS SOUS 47595 HAS SOUPS 47595 WITH SCORE 47688.687
AT ITER 56 NEW BEST:: SOT 113981 SOS 93450 HAS SOPS 93450 HAS SOUS 47422 HAS SOUPS 47422 WITH SCORE 47515.45
AT ITER 57 NEW BEST:: SOT 114077 SOS 93149 HAS SOPS 93149 HAS SOUS 47327 HAS SOUPS 47327 WITH SCORE 47420.149
AT ITER 60 NEW BEST:: SOT 114047 SOS 93119 HAS SOPS 93119 HAS SOUS 47297 HAS SOUPS 47297 WITH SCORE 47390.119
AT ITER 62 NEW BEST:: SOT 114077 SOS 93149 HAS SOPS 93149 HAS SOUS 47258 HAS SOUPS 47258 WITH SCORE 47351.149
AT ITER 66 NEW BEST:: SOT 113870 SOS 92942 HAS SOPS 92942 HAS SOUS 47032 HAS SOUPS 47032 WITH SCORE 47124.942
AT ITER 68 NEW BEST:: SOT 113300 SOS 92372 HAS SOPS 92372 HAS SOUS 46732 HAS SOUPS 46732 WITH SCORE 46824.372
AT ITER 69 NEW BEST:: SOT 112748 SOS 91820 HAS SOPS 91820 HAS SOUS 46573 HAS SOUPS 46573 WITH SCORE 46664.82
AT ITER 70 NEW BEST:: SOT 112337 SOS 91409 HAS SOPS 91409 HAS SOUS 46348 HAS SOUPS 46348 WITH SCORE 46439.409
AT ITER 71 NEW BEST:: SOT 112229 SOS 91364 HAS SOPS 91364 HAS SOUS 46302 HAS SOUPS 46302 WITH SCORE 46393.364
AT ITER 74 NEW BEST:: SOT 111767 SOS 91232 HAS SOPS 91232 HAS SOUS 46111 HAS SOUPS 46111 WITH SCORE 46202.232
AT ITER 78 NEW BEST:: SOT 111645 SOS 91110 HAS SOPS 91110 HAS SOUS 46097 HAS SOUPS 46097 WITH SCORE 46188.11
AT ITER 80 NEW BEST:: SOT 111166 SOS 90631 HAS SOPS 90631 HAS SOUS 45629 HAS SOUPS 45629 WITH SCORE 45719.631
AT ITER 83 NEW BEST:: SOT 110735 SOS 90200 HAS SOPS 90200 HAS SOUS 45194 HAS SOUPS 45194 WITH SCORE 45284.2
AT ITER 84 NEW BEST:: SOT 110496 SOS 89961 HAS SOPS 89961 HAS SOUS 45083 HAS SOUPS 45083 WITH SCORE 45172.961
AT ITER 85 NEW BEST:: SOT 110392 SOS 89857 HAS SOPS 89857 HAS SOUS 44933 HAS SOUPS 44933 WITH SCORE 45022.857
AT ITER 86 NEW BEST:: SOT 110100 SOS 89565 HAS SOPS 89565 HAS SOUS 44768 HAS SOUPS 44768 WITH SCORE 44857.565
AT ITER 87 NEW BEST:: SOT 110258 SOS 89501 HAS SOPS 89501 HAS SOUS 44606 HAS SOUPS 44606 WITH SCORE 44695.501
AT ITER 89 NEW BEST:: SOT 110504 SOS 89747 HAS SOPS 89747 HAS SOUS 44585 HAS SOUPS 44585 WITH SCORE 44674.747
AT ITER 92 NEW BEST:: SOT 110501 SOS 89744 HAS SOPS 89744 HAS SOUS 44575 HAS SOUPS 44575 WITH SCORE 44664.744
AT ITER 94 NEW BEST:: SOT 109676 SOS 88919 HAS SOPS 88919 HAS SOUS 44195 HAS SOUPS 44195 WITH SCORE 44283.919
AT ITER 98 NEW BEST:: SOT 109596 SOS 88839 HAS SOPS 88839 HAS SOUS 44195 HAS SOUPS 44195 WITH SCORE 44283.839
AT ITER 100 NEW BEST:: SOT 109275 SOS 88518 HAS SOPS 88518 HAS SOUS 43920 HAS SOUPS 43920 WITH SCORE 44008.518
AT ITER 101 NEW BEST:: SOT 109153 SOS 88396 HAS SOPS 88396 HAS SOUS 43822 HAS SOUPS 43822 WITH SCORE 43910.396
AT ITER 103 NEW BEST:: SOT 109153 SOS 87758 HAS SOPS 87758 HAS SOUS 43822 HAS SOUPS 43822 WITH SCORE 43909.758
AT ITER 104 NEW BEST:: SOT 109088 SOS 87693 HAS SOPS 87693 HAS SOUS 43821 HAS SOUPS 43821 WITH SCORE 43908.693
AT ITER 105 NEW BEST:: SOT 109011 SOS 87616 HAS SOPS 87616 HAS SOUS 43762 HAS SOUPS 43762 WITH SCORE 43849.616
AT ITER 113 NEW BEST:: SOT 109485 SOS 87548 HAS SOPS 87548 HAS SOUS 43761 HAS SOUPS 43761 WITH SCORE 43848.548
AT ITER 114 NEW BEST:: SOT 109422 SOS 87504 HAS SOPS 87504 HAS SOUS 43761 HAS SOUPS 43761 WITH SCORE 43848.504
AT ITER 118 NEW BEST:: SOT 109831 SOS 87559 HAS SOPS 87559 HAS SOUS 43431 HAS SOUPS 43431 WITH SCORE 43518.559
AT ITER 119 NEW BEST:: SOT 109424 SOS 87152 HAS SOPS 87152 HAS SOUS 42938 HAS SOUPS 42938 WITH SCORE 43025.152
AT ITER 129 NEW BEST:: SOT 109424 SOS 87152 HAS SOPS 87152 HAS SOUS 42929 HAS SOUPS 42929 WITH SCORE 43016.152
AT ITER 133 NEW BEST:: SOT 109677 SOS 87280 HAS SOPS 87280 HAS SOUS 42745 HAS SOUPS 42745 WITH SCORE 42832.28
AT ITER 134 NEW BEST:: SOT 109527 SOS 87130 HAS SOPS 87130 HAS SOUS 42560 HAS SOUPS 42560 WITH SCORE 42647.13
AT ITER 139 NEW BEST:: SOT 109523 SOS 87126 HAS SOPS 87126 HAS SOUS 42556 HAS SOUPS 42556 WITH SCORE 42643.126
AT ITER 140 NEW BEST:: SOT 109628 SOS 87202 HAS SOPS 87202 HAS SOUS 42461 HAS SOUPS 42461 WITH SCORE 42548.202
AT ITER 141 NEW BEST:: SOT 109628 SOS 87202 HAS SOPS 87202 HAS SOUS 42424 HAS SOUPS 42424 WITH SCORE 42511.202
AT ITER 145 NEW BEST:: SOT 109451 SOS 87025 HAS SOPS 87025 HAS SOUS 42162 HAS SOUPS 42162 WITH SCORE 42249.025
AT ITER 146 NEW BEST:: SOT 109451 SOS 86999 HAS SOPS 86999 HAS SOUS 42135 HAS SOUPS 42135 WITH SCORE 42221.999
AT ITER 147 NEW BEST:: SOT 109341 SOS 86889 HAS SOPS 86889 HAS SOUS 41932 HAS SOUPS 41932 WITH SCORE 42018.889
AT ITER 151 NEW BEST:: SOT 108718 SOS 86562 HAS SOPS 86562 HAS SOUS 41871 HAS SOUPS 41871 WITH SCORE 41957.562
AT ITER 153 NEW BEST:: SOT 107789 SOS 85633 HAS SOPS 85633 HAS SOUS 41674 HAS SOUPS 41674 WITH SCORE 41759.633
AT ITER 154 NEW BEST:: SOT 107628 SOS 85472 HAS SOPS 85472 HAS SOUS 41513 HAS SOUPS 41513 WITH SCORE 41598.472
AT ITER 155 NEW BEST:: SOT 107118 SOS 85211 HAS SOPS 85211 HAS SOUS 41170 HAS SOUPS 41170 WITH SCORE 41255.211
AT ITER 156 NEW BEST:: SOT 107044 SOS 85137 HAS SOPS 85137 HAS SOUS 41146 HAS SOUPS 41146 WITH SCORE 41231.137
AT ITER 159 NEW BEST:: SOT 106577 SOS 85090 HAS SOPS 85090 HAS SOUS 41114 HAS SOUPS 41114 WITH SCORE 41199.09
AT ITER 162 NEW BEST:: SOT 106657 SOS 85170 HAS SOPS 85170 HAS SOUS 41043 HAS SOUPS 41043 WITH SCORE 41128.17
AT ITER 163 NEW BEST:: SOT 106390 SOS 84938 HAS SOPS 84903 HAS SOUS 40975 HAS SOUPS 40940 WITH SCORE 41024.938
AT ITER 164 NEW BEST:: SOT 106647 SOS 84514 HAS SOPS 84479 HAS SOUS 40749 HAS SOUPS 40714 WITH SCORE 40798.514
AT ITER 165 NEW BEST:: SOT 105877 SOS 83744 HAS SOPS 83709 HAS SOUS 40411 HAS SOUPS 40376 WITH SCORE 40459.744
AT ITER 166 NEW BEST:: SOT 105877 SOS 83744 HAS SOPS 83709 HAS SOUS 40410 HAS SOUPS 40375 WITH SCORE 40458.744
AT ITER 174 NEW BEST:: SOT 105791 SOS 82842 HAS SOPS 82786 HAS SOUS 40381 HAS SOUPS 40325 WITH SCORE 40407.842
AT ITER 179 NEW BEST:: SOT 105786 SOS 82837 HAS SOPS 82781 HAS SOUS 40371 HAS SOUPS 40315 WITH SCORE 40397.837
AT ITER 180 NEW BEST:: SOT 105658 SOS 82393 HAS SOPS 82337 HAS SOUS 39980 HAS SOUPS 39924 WITH SCORE 40006.393
AT ITER 182 NEW BEST:: SOT 105632 SOS 82367 HAS SOPS 82311 HAS SOUS 39939 HAS SOUPS 39883 WITH SCORE 39965.367
AT ITER 183 NEW BEST:: SOT 105636 SOS 82341 HAS SOPS 82285 HAS SOUS 39917 HAS SOUPS 39861 WITH SCORE 39943.341
AT ITER 187 NEW BEST:: SOT 105435 SOS 82140 HAS SOPS 82084 HAS SOUS 39663 HAS SOUPS 39607 WITH SCORE 39689.14
AT ITER 188 NEW BEST:: SOT 105179 SOS 81884 HAS SOPS 81828 HAS SOUS 39561 HAS SOUPS 39505 WITH SCORE 39586.884
AT ITER 189 NEW BEST:: SOT 105179 SOS 81884 HAS SOPS 81828 HAS SOUS 39540 HAS SOUPS 39484 WITH SCORE 39565.884
AT ITER 190 NEW BEST:: SOT 104986 SOS 80746 HAS SOPS 80690 HAS SOUS 39193 HAS SOUPS 39137 WITH SCORE 39217.746
AT ITER 192 NEW BEST:: SOT 104986 SOS 80746 HAS SOPS 80690 HAS SOUS 39190 HAS SOUPS 39134 WITH SCORE 39214.746
AT ITER 193 NEW BEST:: SOT 105261 SOS 81021 HAS SOPS 80965 HAS SOUS 39172 HAS SOUPS 39116 WITH SCORE 39197.021
AT ITER 196 NEW BEST:: SOT 104847 SOS 80607 HAS SOPS 80551 HAS SOUS 38942 HAS SOUPS 38886 WITH SCORE 38966.607
AT ITER 197 NEW BEST:: SOT 104807 SOS 80567 HAS SOPS 80511 HAS SOUS 38942 HAS SOUPS 38886 WITH SCORE 38966.567
AT ITER 200 NEW BEST:: SOT 104807 SOS 79366 HAS SOPS 79223 HAS SOUS 39028 HAS SOUPS 38885 WITH SCORE 38964.366
AT ITER 202 NEW BEST:: SOT 104769 SOS 78891 HAS SOPS 78748 HAS SOUS 39028 HAS SOUPS 38885 WITH SCORE 38963.891
AT ITER 204 NEW BEST:: SOT 104005 SOS 78127 HAS SOPS 77984 HAS SOUS 38353 HAS SOUPS 38210 WITH SCORE 38288.127
AT ITER 212 NEW BEST:: SOT 103965 SOS 77967 HAS SOPS 77824 HAS SOUS 38353 HAS SOUPS 38210 WITH SCORE 38287.967
AT ITER 213 NEW BEST:: SOT 104252 SOS 78273 HAS SOPS 78130 HAS SOUS 38253 HAS SOUPS 38110 WITH SCORE 38188.273
AT ITER 221 NEW BEST:: SOT 104291 SOS 78277 HAS SOPS 78169 HAS SOUS 38120 HAS SOUPS 38012 WITH SCORE 38090.277
AT ITER 223 NEW BEST:: SOT 103659 SOS 77645 HAS SOPS 77537 HAS SOUS 37728 HAS SOUPS 37620 WITH SCORE 37697.645
AT ITER 224 NEW BEST:: SOT 103803 SOS 76137 HAS SOPS 76029 HAS SOUS 37700 HAS SOUPS 37592 WITH SCORE 37668.137
AT ITER 233 NEW BEST:: SOT 103769 SOS 76120 HAS SOPS 76012 HAS SOUS 37700 HAS SOUPS 37592 WITH SCORE 37668.12
AT ITER 235 NEW BEST:: SOT 103763 SOS 76111 HAS SOPS 76003 HAS SOUS 37682 HAS SOUPS 37574 WITH SCORE 37650.111
AT ITER 237 NEW BEST:: SOT 103756 SOS 76104 HAS SOPS 75996 HAS SOUS 37675 HAS SOUPS 37567 WITH SCORE 37643.104
AT ITER 239 NEW BEST:: SOT 103992 SOS 76084 HAS SOPS 75976 HAS SOUS 37606 HAS SOUPS 37498 WITH SCORE 37574.084
AT ITER 241 NEW BEST:: SOT 104014 SOS 76106 HAS SOPS 75998 HAS SOUS 37591 HAS SOUPS 37483 WITH SCORE 37559.106
AT ITER 248 NEW BEST:: SOT 104014 SOS 75763 HAS SOPS 75591 HAS SOUS 37591 HAS SOUPS 37419 WITH SCORE 37494.763
AT ITER 249 NEW BEST:: SOT 104071 SOS 75730 HAS SOPS 75558 HAS SOUS 37591 HAS SOUPS 37419 WITH SCORE 37494.73
AT ITER 252 NEW BEST:: SOT 103992 SOS 75612 HAS SOPS 75440 HAS SOUS 37473 HAS SOUPS 37301 WITH SCORE 37376.612
AT ITER 254 NEW BEST:: SOT 103977 SOS 75602 HAS SOPS 75430 HAS SOUS 37453 HAS SOUPS 37281 WITH SCORE 37356.602
AT ITER 259 NEW BEST:: SOT 103782 SOS 75472 HAS SOPS 75300 HAS SOUS 37453 HAS SOUPS 37281 WITH SCORE 37356.472
AT ITER 261 NEW BEST:: SOT 103494 SOS 75184 HAS SOPS 75012 HAS SOUS 37292 HAS SOUPS 37120 WITH SCORE 37195.184
AT ITER 269 NEW BEST:: SOT 103449 SOS 75139 HAS SOPS 74967 HAS SOUS 37223 HAS SOUPS 37051 WITH SCORE 37126.139
AT ITER 272 NEW BEST:: SOT 103449 SOS 75139 HAS SOPS 74967 HAS SOUS 37196 HAS SOUPS 37024 WITH SCORE 37099.139
AT ITER 275 NEW BEST:: SOT 103435 SOS 75125 HAS SOPS 74953 HAS SOUS 37182 HAS SOUPS 37010 WITH SCORE 37085.125
AT ITER 278 NEW BEST:: SOT 103274 SOS 74928 HAS SOPS 74756 HAS SOUS 37112 HAS SOUPS 36940 WITH SCORE 37014.928
AT ITER 281 NEW BEST:: SOT 102925 SOS 74579 HAS SOPS 74407 HAS SOUS 36744 HAS SOUPS 36572 WITH SCORE 36646.579
AT ITER 284 NEW BEST:: SOT 102890 SOS 74564 HAS SOPS 74392 HAS SOUS 36685 HAS SOUPS 36513 WITH SCORE 36587.564
AT ITER 291 NEW BEST:: SOT 102577 SOS 74251 HAS SOPS 74079 HAS SOUS 36499 HAS SOUPS 36327 WITH SCORE 36401.251
AT ITER 292 NEW BEST:: SOT 102555 SOS 74229 HAS SOPS 74057 HAS SOUS 36461 HAS SOUPS 36289 WITH SCORE 36363.229
AT ITER 297 NEW BEST:: SOT 102531 SOS 74205 HAS SOPS 74033 HAS SOUS 36414 HAS SOUPS 36242 WITH SCORE 36316.205
AT ITER 299 NEW BEST:: SOT 102513 SOS 74189 HAS SOPS 74017 HAS SOUS 36398 HAS SOUPS 36226 WITH SCORE 36300.189
AT ITER 300 NEW BEST:: SOT 102542 SOS 74218 HAS SOPS 74046 HAS SOUS 36329 HAS SOUPS 36157 WITH SCORE 36231.218
AT ITER 301 NEW BEST:: SOT 102540 SOS 74216 HAS SOPS 74044 HAS SOUS 36328 HAS SOUPS 36156 WITH SCORE 36230.216
AT ITER 306 NEW BEST:: SOT 102078 SOS 73754 HAS SOPS 73582 HAS SOUS 36152 HAS SOUPS 35980 WITH SCORE 36053.754
AT ITER 312 NEW BEST:: SOT 102222 SOS 73793 HAS SOPS 73621 HAS SOUS 36095 HAS SOUPS 35923 WITH SCORE 35996.793
AT ITER 320 NEW BEST:: SOT 102257 SOS 72234 HAS SOPS 72062 HAS SOUS 36027 HAS SOUPS 35855 WITH SCORE 35927.234
AT ITER 329 NEW BEST:: SOT 102200 SOS 72177 HAS SOPS 72005 HAS SOUS 35965 HAS SOUPS 35793 WITH SCORE 35865.177
AT ITER 330 NEW BEST:: SOT 102124 SOS 72101 HAS SOPS 71929 HAS SOUS 35794 HAS SOUPS 35622 WITH SCORE 35694.101
AT ITER 331 NEW BEST:: SOT 101834 SOS 71811 HAS SOPS 71639 HAS SOUS 35494 HAS SOUPS 35322 WITH SCORE 35393.811
AT ITER 334 NEW BEST:: SOT 101871 SOS 71374 HAS SOPS 71202 HAS SOUS 35478 HAS SOUPS 35306 WITH SCORE 35377.374
AT ITER 339 NEW BEST:: SOT 101883 SOS 71386 HAS SOPS 71214 HAS SOUS 35421 HAS SOUPS 35249 WITH SCORE 35320.386
AT ITER 345 NEW BEST:: SOT 102051 SOS 71633 HAS SOPS 71461 HAS SOUS 35408 HAS SOUPS 35236 WITH SCORE 35307.633
AT ITER 346 NEW BEST:: SOT 102106 SOS 71651 HAS SOPS 71479 HAS SOUS 35357 HAS SOUPS 35185 WITH SCORE 35256.651
AT ITER 347 NEW BEST:: SOT 101876 SOS 70728 HAS SOPS 70556 HAS SOUS 35045 HAS SOUPS 34873 WITH SCORE 34943.728
AT ITER 348 NEW BEST:: SOT 101576 SOS 70433 HAS SOPS 70261 HAS SOUS 34876 HAS SOUPS 34704 WITH SCORE 34774.433
AT ITER 349 NEW BEST:: SOT 101564 SOS 70421 HAS SOPS 70249 HAS SOUS 34868 HAS SOUPS 34696 WITH SCORE 34766.421
AT ITER 351 NEW BEST:: SOT 101503 SOS 70293 HAS SOPS 70121 HAS SOUS 34786 HAS SOUPS 34614 WITH SCORE 34684.293
AT ITER 352 NEW BEST:: SOT 101573 SOS 70363 HAS SOPS 70191 HAS SOUS 34769 HAS SOUPS 34597 WITH SCORE 34667.363
AT ITER 358 NEW BEST:: SOT 101706 SOS 70521 HAS SOPS 70349 HAS SOUS 34734 HAS SOUPS 34562 WITH SCORE 34632.521
AT ITER 367 NEW BEST:: SOT 101694 SOS 70509 HAS SOPS 70337 HAS SOUS 34710 HAS SOUPS 34538 WITH SCORE 34608.509
AT ITER 370 NEW BEST:: SOT 101694 SOS 70509 HAS SOPS 70337 HAS SOUS 34708 HAS SOUPS 34536 WITH SCORE 34606.509
AT ITER 374 NEW BEST:: SOT 101683 SOS 70498 HAS SOPS 70326 HAS SOUS 34699 HAS SOUPS 34527 WITH SCORE 34597.498
AT ITER 383 NEW BEST:: SOT 101501 SOS 70338 HAS SOPS 70166 HAS SOUS 34578 HAS SOUPS 34406 WITH SCORE 34476.338
AT ITER 384 NEW BEST:: SOT 101491 SOS 70320 HAS SOPS 70148 HAS SOUS 34566 HAS SOUPS 34394 WITH SCORE 34464.32
AT ITER 386 NEW BEST:: SOT 101558 SOS 69560 HAS SOPS 69388 HAS SOUS 34441 HAS SOUPS 34269 WITH SCORE 34338.56
AT ITER 388 NEW BEST:: SOT 101543 SOS 69545 HAS SOPS 69373 HAS SOUS 34333 HAS SOUPS 34161 WITH SCORE 34230.545
AT ITER 395 NEW BEST:: SOT 101547 SOS 69541 HAS SOPS 69369 HAS SOUS 34329 HAS SOUPS 34157 WITH SCORE 34226.541
AT ITER 396 NEW BEST:: SOT 101682 SOS 69580 HAS SOPS 69408 HAS SOUS 34283 HAS SOUPS 34111 WITH SCORE 34180.58
AT ITER 405 NEW BEST:: SOT 101682 SOS 69549 HAS SOPS 69377 HAS SOUS 34283 HAS SOUPS 34111 WITH SCORE 34180.549
AT ITER 409 NEW BEST:: SOT 101682 SOS 69484 HAS SOPS 69312 HAS SOUS 34277 HAS SOUPS 34105 WITH SCORE 34174.484
AT ITER 410 NEW BEST:: SOT 101254 SOS 69056 HAS SOPS 68884 HAS SOUS 34074 HAS SOUPS 33902 WITH SCORE 33971.056
AT ITER 413 NEW BEST:: SOT 100729 SOS 68531 HAS SOPS 68359 HAS SOUS 33863 HAS SOUPS 33691 WITH SCORE 33759.531
AT ITER 415 NEW BEST:: SOT 100732 SOS 68528 HAS SOPS 68356 HAS SOUS 33861 HAS SOUPS 33689 WITH SCORE 33757.528
AT ITER 417 NEW BEST:: SOT 99782 SOS 68492 HAS SOPS 68406 HAS SOUS 33336 HAS SOUPS 33250 WITH SCORE 33318.492
AT ITER 423 NEW BEST:: SOT 99860 SOS 68570 HAS SOPS 68484 HAS SOUS 33300 HAS SOUPS 33214 WITH SCORE 33282.57
AT ITER 425 NEW BEST:: SOT 99860 SOS 68543 HAS SOPS 68457 HAS SOUS 33300 HAS SOUPS 33214 WITH SCORE 33282.543
AT ITER 427 NEW BEST:: SOT 99848 SOS 68561 HAS SOPS 68445 HAS SOUS 33316 HAS SOUPS 33201 WITH SCORE 33269.561
AT ITER 429 NEW BEST:: SOT 99896 SOS 68367 HAS SOPS 68251 HAS SOUS 33311 HAS SOUPS 33196 WITH SCORE 33264.367
AT ITER 432 NEW BEST:: SOT 99830 SOS 68367 HAS SOPS 68251 HAS SOUS 33289 HAS SOUPS 33174 WITH SCORE 33242.367
AT ITER 436 NEW BEST:: SOT 99763 SOS 68327 HAS SOPS 68211 HAS SOUS 33258 HAS SOUPS 33143 WITH SCORE 33211.327
AT ITER 440 NEW BEST:: SOT 99839 SOS 68510 HAS SOPS 68394 HAS SOUS 33237 HAS SOUPS 33122 WITH SCORE 33190.51
AT ITER 442 NEW BEST:: SOT 99958 SOS 68629 HAS SOPS 68513 HAS SOUS 33191 HAS SOUPS 33076 WITH SCORE 33144.629
AT ITER 443 NEW BEST:: SOT 100145 SOS 69381 HAS SOPS 69350 HAS SOUS 33068 HAS SOUPS 33038 WITH SCORE 33107.381
AT ITER 446 NEW BEST:: SOT 99851 SOS 68615 HAS SOPS 68584 HAS SOUS 32922 HAS SOUPS 32892 WITH SCORE 32960.615
AT ITER 458 NEW BEST:: SOT 99859 SOS 68611 HAS SOPS 68576 HAS SOUS 32922 HAS SOUPS 32888 WITH SCORE 32956.611
AT ITER 462 NEW BEST:: SOT 99789 SOS 68597 HAS SOPS 68562 HAS SOUS 32908 HAS SOUPS 32874 WITH SCORE 32942.597
AT ITER 467 NEW BEST:: SOT 99768 SOS 68576 HAS SOPS 68541 HAS SOUS 32908 HAS SOUPS 32874 WITH SCORE 32942.576
AT ITER 470 NEW BEST:: SOT 99403 SOS 68211 HAS SOPS 68176 HAS SOUS 32498 HAS SOUPS 32464 WITH SCORE 32532.211
AT ITER 473 NEW BEST:: SOT 99364 SOS 68172 HAS SOPS 68137 HAS SOUS 32459 HAS SOUPS 32425 WITH SCORE 32493.172
AT ITER 475 NEW BEST:: SOT 99076 SOS 67884 HAS SOPS 67849 HAS SOUS 32193 HAS SOUPS 32159 WITH SCORE 32226.884
AT ITER 477 NEW BEST:: SOT 98887 SOS 67560 HAS SOPS 67525 HAS SOUS 31950 HAS SOUPS 31916 WITH SCORE 31983.56
AT ITER 478 NEW BEST:: SOT 98897 SOS 67570 HAS SOPS 67535 HAS SOUS 31835 HAS SOUPS 31801 WITH SCORE 31868.57
AT ITER 490 NEW BEST:: SOT 98531 SOS 67204 HAS SOPS 67169 HAS SOUS 31497 HAS SOUPS 31463 WITH SCORE 31530.204
AT ITER 495 NEW BEST:: SOT 98531 SOS 67204 HAS SOPS 67169 HAS SOUS 31479 HAS SOUPS 31445 WITH SCORE 31512.204
AT ITER 502 NEW BEST:: SOT 98523 SOS 67196 HAS SOPS 67161 HAS SOUS 31401 HAS SOUPS 31367 WITH SCORE 31434.196
AT ITER 506 NEW BEST:: SOT 98228 SOS 67380 HAS SOPS 67345 HAS SOUS 31386 HAS SOUPS 31352 WITH SCORE 31419.38
AT ITER 509 NEW BEST:: SOT 97991 SOS 67467 HAS SOPS 67433 HAS SOUS 31371 HAS SOUPS 31337 WITH SCORE 31404.467
AT ITER 513 NEW BEST:: SOT 97971 SOS 67447 HAS SOPS 67413 HAS SOUS 31351 HAS SOUPS 31317 WITH SCORE 31384.447
AT ITER 522 NEW BEST:: SOT 98364 SOS 66743 HAS SOPS 66709 HAS SOUS 31348 HAS SOUPS 31314 WITH SCORE 31380.743
AT ITER 523 NEW BEST:: SOT 98308 SOS 66687 HAS SOPS 66653 HAS SOUS 31242 HAS SOUPS 31208 WITH SCORE 31274.687
AT ITER 533 NEW BEST:: SOT 98229 SOS 66608 HAS SOPS 66574 HAS SOUS 31228 HAS SOUPS 31194 WITH SCORE 31260.608
AT ITER 535 NEW BEST:: SOT 98188 SOS 66567 HAS SOPS 66533 HAS SOUS 31146 HAS SOUPS 31112 WITH SCORE 31178.567
AT ITER 540 NEW BEST:: SOT 98232 SOS 66363 HAS SOPS 66316 HAS SOUS 31096 HAS SOUPS 31049 WITH SCORE 31115.363
AT ITER 545 NEW BEST:: SOT 98232 SOS 66137 HAS SOPS 66090 HAS SOUS 31086 HAS SOUPS 31039 WITH SCORE 31105.137
AT ITER 547 NEW BEST:: SOT 98225 SOS 66130 HAS SOPS 66083 HAS SOUS 31045 HAS SOUPS 30998 WITH SCORE 31064.13
AT ITER 553 NEW BEST:: SOT 98208 SOS 66113 HAS SOPS 66066 HAS SOUS 31011 HAS SOUPS 30964 WITH SCORE 31030.113
AT ITER 559 NEW BEST:: SOT 97985 SOS 66111 HAS SOPS 66064 HAS SOUS 30989 HAS SOUPS 30942 WITH SCORE 31008.111
AT ITER 561 NEW BEST:: SOT 97454 SOS 66037 HAS SOPS 65990 HAS SOUS 30831 HAS SOUPS 30784 WITH SCORE 30850.037
AT ITER 562 NEW BEST:: SOT 97547 SOS 66062 HAS SOPS 66015 HAS SOUS 30797 HAS SOUPS 30750 WITH SCORE 30816.062
AT ITER 563 NEW BEST:: SOT 97154 SOS 65903 HAS SOPS 65856 HAS SOUS 30744 HAS SOUPS 30697 WITH SCORE 30762.903
AT ITER 571 NEW BEST:: SOT 97088 SOS 65933 HAS SOPS 65900 HAS SOUS 30722 HAS SOUPS 30689 WITH SCORE 30754.933
AT ITER 572 NEW BEST:: SOT 96978 SOS 65823 HAS SOPS 65790 HAS SOUS 30667 HAS SOUPS 30634 WITH SCORE 30699.823
AT ITER 586 NEW BEST:: SOT 96951 SOS 65796 HAS SOPS 65763 HAS SOUS 30610 HAS SOUPS 30577 WITH SCORE 30642.796
AT ITER 592 NEW BEST:: SOT 96952 SOS 65796 HAS SOPS 65763 HAS SOUS 30609 HAS SOUPS 30576 WITH SCORE 30641.796
AT ITER 595 NEW BEST:: SOT 97230 SOS 64859 HAS SOPS 64826 HAS SOUS 30282 HAS SOUPS 30249 WITH SCORE 30313.859
AT ITER 599 NEW BEST:: SOT 97227 SOS 64874 HAS SOPS 64841 HAS SOUS 30281 HAS SOUPS 30248 WITH SCORE 30312.874
AT ITER 606 NEW BEST:: SOT 97225 SOS 64877 HAS SOPS 64844 HAS SOUS 30280 HAS SOUPS 30247 WITH SCORE 30311.877
AT ITER 607 NEW BEST:: SOT 97253 SOS 64905 HAS SOPS 64872 HAS SOUS 30063 HAS SOUPS 30030 WITH SCORE 30094.905
AT ITER 610 NEW BEST:: SOT 97287 SOS 64911 HAS SOPS 64878 HAS SOUS 30059 HAS SOUPS 30026 WITH SCORE 30090.911
AT ITER 613 NEW BEST:: SOT 97203 SOS 64683 HAS SOPS 64650 HAS SOUS 30038 HAS SOUPS 30005 WITH SCORE 30069.683
AT ITER 618 NEW BEST:: SOT 97060 SOS 64223 HAS SOPS 64190 HAS SOUS 29872 HAS SOUPS 29839 WITH SCORE 29903.223
AT ITER 620 NEW BEST:: SOT 97044 SOS 64207 HAS SOPS 64174 HAS SOUS 29862 HAS SOUPS 29829 WITH SCORE 29893.207
AT ITER 625 NEW BEST:: SOT 97027 SOS 64190 HAS SOPS 64157 HAS SOUS 29800 HAS SOUPS 29767 WITH SCORE 29831.19
AT ITER 629 NEW BEST:: SOT 96911 SOS 63860 HAS SOPS 63827 HAS SOUS 29686 HAS SOUPS 29653 WITH SCORE 29716.86
AT ITER 643 NEW BEST:: SOT 96935 SOS 63891 HAS SOPS 63858 HAS SOUS 29683 HAS SOUPS 29650 WITH SCORE 29713.891
AT ITER 644 NEW BEST:: SOT 96935 SOS 63877 HAS SOPS 63844 HAS SOUS 29669 HAS SOUPS 29636 WITH SCORE 29699.877
AT ITER 646 NEW BEST:: SOT 96973 SOS 63941 HAS SOPS 63908 HAS SOUS 29628 HAS SOUPS 29595 WITH SCORE 29658.941
AT ITER 648 NEW BEST:: SOT 97348 SOS 63988 HAS SOPS 63955 HAS SOUS 29627 HAS SOUPS 29594 WITH SCORE 29657.988
AT ITER 652 NEW BEST:: SOT 97265 SOS 63987 HAS SOPS 63954 HAS SOUS 29592 HAS SOUPS 29559 WITH SCORE 29622.987
AT ITER 653 NEW BEST:: SOT 97429 SOS 63908 HAS SOPS 63875 HAS SOUS 29448 HAS SOUPS 29415 WITH SCORE 29478.908
AT ITER 660 NEW BEST:: SOT 97445 SOS 63924 HAS SOPS 63891 HAS SOUS 29411 HAS SOUPS 29378 WITH SCORE 29441.924
AT ITER 668 NEW BEST:: SOT 97444 SOS 64028 HAS SOPS 63995 HAS SOUS 29345 HAS SOUPS 29312 WITH SCORE 29376.028
AT ITER 671 NEW BEST:: SOT 97444 SOS 63898 HAS SOPS 63865 HAS SOUS 29345 HAS SOUPS 29312 WITH SCORE 29375.898
AT ITER 682 NEW BEST:: SOT 97425 SOS 63836 HAS SOPS 63803 HAS SOUS 29282 HAS SOUPS 29249 WITH SCORE 29312.836
AT ITER 686 NEW BEST:: SOT 97560 SOS 62734 HAS SOPS 62701 HAS SOUS 29269 HAS SOUPS 29236 WITH SCORE 29298.734
AT ITER 692 NEW BEST:: SOT 97518 SOS 62692 HAS SOPS 62659 HAS SOUS 29160 HAS SOUPS 29127 WITH SCORE 29189.692
AT ITER 694 NEW BEST:: SOT 97516 SOS 62676 HAS SOPS 62643 HAS SOUS 29156 HAS SOUPS 29123 WITH SCORE 29185.676
AT ITER 698 NEW BEST:: SOT 97511 SOS 62671 HAS SOPS 62638 HAS SOUS 29155 HAS SOUPS 29122 WITH SCORE 29184.671
AT ITER 700 NEW BEST:: SOT 97500 SOS 62660 HAS SOPS 62627 HAS SOUS 29147 HAS SOUPS 29114 WITH SCORE 29176.66
AT ITER 705 NEW BEST:: SOT 97094 SOS 59920 HAS SOPS 59668 HAS SOUS 29070 HAS SOUPS 28818 WITH SCORE 28877.92
AT ITER 706 NEW BEST:: SOT 96974 SOS 60355 HAS SOPS 60103 HAS SOUS 29017 HAS SOUPS 28765 WITH SCORE 28825.355
AT ITER 707 NEW BEST:: SOT 96943 SOS 60324 HAS SOPS 60072 HAS SOUS 29012 HAS SOUPS 28760 WITH SCORE 28820.324
AT ITER 711 NEW BEST:: SOT 96931 SOS 60312 HAS SOPS 60060 HAS SOUS 29012 HAS SOUPS 28760 WITH SCORE 28820.312
AT ITER 713 NEW BEST:: SOT 96660 SOS 59594 HAS SOPS 59342 HAS SOUS 28869 HAS SOUPS 28617 WITH SCORE 28676.594
AT ITER 716 NEW BEST:: SOT 96678 SOS 59492 HAS SOPS 59240 HAS SOUS 28869 HAS SOUPS 28617 WITH SCORE 28676.492
AT ITER 718 NEW BEST:: SOT 96702 SOS 59460 HAS SOPS 59208 HAS SOUS 28708 HAS SOUPS 28456 WITH SCORE 28515.46
AT ITER 719 NEW BEST:: SOT 96696 SOS 59394 HAS SOPS 59142 HAS SOUS 28696 HAS SOUPS 28444 WITH SCORE 28503.394
AT ITER 720 NEW BEST:: SOT 96696 SOS 59315 HAS SOPS 59142 HAS SOUS 28602 HAS SOUPS 28429 WITH SCORE 28488.315
AT ITER 725 NEW BEST:: SOT 96654 SOS 59273 HAS SOPS 59100 HAS SOUS 28484 HAS SOUPS 28311 WITH SCORE 28370.273
AT ITER 745 NEW BEST:: SOT 96625 SOS 59237 HAS SOPS 59064 HAS SOUS 28468 HAS SOUPS 28295 WITH SCORE 28354.237
AT ITER 752 NEW BEST:: SOT 96615 SOS 59177 HAS SOPS 59004 HAS SOUS 28448 HAS SOUPS 28275 WITH SCORE 28334.177
AT ITER 770 NEW BEST:: SOT 96608 SOS 59115 HAS SOPS 58942 HAS SOUS 28434 HAS SOUPS 28261 WITH SCORE 28320.115
AT ITER 772 NEW BEST:: SOT 96359 SOS 58852 HAS SOPS 58679 HAS SOUS 28283 HAS SOUPS 28110 WITH SCORE 28168.852
AT ITER 774 NEW BEST:: SOT 96359 SOS 58852 HAS SOPS 58679 HAS SOUS 28276 HAS SOUPS 28103 WITH SCORE 28161.852
AT ITER 781 NEW BEST:: SOT 96340 SOS 58774 HAS SOPS 58601 HAS SOUS 28227 HAS SOUPS 28054 WITH SCORE 28112.774
AT ITER 789 NEW BEST:: SOT 96283 SOS 58717 HAS SOPS 58544 HAS SOUS 28202 HAS SOUPS 28029 WITH SCORE 28087.717
AT ITER 793 NEW BEST:: SOT 95831 SOS 58744 HAS SOPS 58574 HAS SOUS 27958 HAS SOUPS 27788 WITH SCORE 27846.744
AT ITER 797 NEW BEST:: SOT 95682 SOS 58587 HAS SOPS 58417 HAS SOUS 27892 HAS SOUPS 27722 WITH SCORE 27780.587
AT ITER 805 NEW BEST:: SOT 95322 SOS 58359 HAS SOPS 58189 HAS SOUS 27783 HAS SOUPS 27613 WITH SCORE 27671.359
AT ITER 806 NEW BEST:: SOT 95315 SOS 58352 HAS SOPS 58182 HAS SOUS 27769 HAS SOUPS 27599 WITH SCORE 27657.352
AT ITER 807 NEW BEST:: SOT 95315 SOS 58331 HAS SOPS 58161 HAS SOUS 27769 HAS SOUPS 27599 WITH SCORE 27657.331
AT ITER 813 NEW BEST:: SOT 95314 SOS 58274 HAS SOPS 58104 HAS SOUS 27758 HAS SOUPS 27588 WITH SCORE 27646.274
AT ITER 821 NEW BEST:: SOT 95182 SOS 58142 HAS SOPS 57972 HAS SOUS 27674 HAS SOUPS 27504 WITH SCORE 27562.142
AT ITER 822 NEW BEST:: SOT 95192 SOS 58152 HAS SOPS 57982 HAS SOUS 27662 HAS SOUPS 27492 WITH SCORE 27550.152
AT ITER 829 NEW BEST:: SOT 95067 SOS 57995 HAS SOPS 57825 HAS SOUS 27467 HAS SOUPS 27297 WITH SCORE 27354.995
AT ITER 831 NEW BEST:: SOT 94975 SOS 57903 HAS SOPS 57733 HAS SOUS 27251 HAS SOUPS 27081 WITH SCORE 27138.903
AT ITER 839 NEW BEST:: SOT 94959 SOS 57839 HAS SOPS 57669 HAS SOUS 27126 HAS SOUPS 26956 WITH SCORE 27013.839
AT ITER 843 NEW BEST:: SOT 94941 SOS 57821 HAS SOPS 57651 HAS SOUS 27123 HAS SOUPS 26953 WITH SCORE 27010.821
AT ITER 847 NEW BEST:: SOT 94853 SOS 57719 HAS SOPS 57549 HAS SOUS 26947 HAS SOUPS 26777 WITH SCORE 26834.719
AT ITER 849 NEW BEST:: SOT 94776 SOS 57546 HAS SOPS 57376 HAS SOUS 26938 HAS SOUPS 26768 WITH SCORE 26825.546
AT ITER 852 NEW BEST:: SOT 94707 SOS 57477 HAS SOPS 57307 HAS SOUS 26883 HAS SOUPS 26713 WITH SCORE 26770.477
AT ITER 856 NEW BEST:: SOT 94590 SOS 57360 HAS SOPS 57190 HAS SOUS 26730 HAS SOUPS 26560 WITH SCORE 26617.36
AT ITER 871 NEW BEST:: SOT 94587 SOS 57357 HAS SOPS 57187 HAS SOUS 26724 HAS SOUPS 26554 WITH SCORE 26611.357
AT ITER 884 NEW BEST:: SOT 94451 SOS 57221 HAS SOPS 57051 HAS SOUS 26620 HAS SOUPS 26450 WITH SCORE 26507.221
AT ITER 886 NEW BEST:: SOT 94474 SOS 57206 HAS SOPS 57036 HAS SOUS 26611 HAS SOUPS 26441 WITH SCORE 26498.206
AT ITER 887 NEW BEST:: SOT 94459 SOS 57208 HAS SOPS 57038 HAS SOUS 26533 HAS SOUPS 26363 WITH SCORE 26420.208
AT ITER 892 NEW BEST:: SOT 94371 SOS 57120 HAS SOPS 56950 HAS SOUS 26467 HAS SOUPS 26297 WITH SCORE 26354.12
AT ITER 893 NEW BEST:: SOT 94357 SOS 57106 HAS SOPS 56936 HAS SOUS 26453 HAS SOUPS 26283 WITH SCORE 26340.106
AT ITER 905 NEW BEST:: SOT 94310 SOS 57065 HAS SOPS 56887 HAS SOUS 26445 HAS SOUPS 26267 WITH SCORE 26324.065
AT ITER 923 NEW BEST:: SOT 94508 SOS 57244 HAS SOPS 57066 HAS SOUS 26360 HAS SOUPS 26182 WITH SCORE 26239.244
AT ITER 930 NEW BEST:: SOT 94496 SOS 57232 HAS SOPS 57054 HAS SOUS 26360 HAS SOUPS 26182 WITH SCORE 26239.232
AT ITER 932 NEW BEST:: SOT 94819 SOS 57099 HAS SOPS 56921 HAS SOUS 26342 HAS SOUPS 26164 WITH SCORE 26221.099
AT ITER 933 NEW BEST:: SOT 94808 SOS 57088 HAS SOPS 56910 HAS SOUS 26320 HAS SOUPS 26142 WITH SCORE 26199.088
AT ITER 940 NEW BEST:: SOT 94521 SOS 56801 HAS SOPS 56623 HAS SOUS 26253 HAS SOUPS 26075 WITH SCORE 26131.801
AT ITER 945 NEW BEST:: SOT 94514 SOS 56798 HAS SOPS 56620 HAS SOUS 26250 HAS SOUPS 26072 WITH SCORE 26128.798
AT ITER 951 NEW BEST:: SOT 94500 SOS 56784 HAS SOPS 56606 HAS SOUS 26221 HAS SOUPS 26043 WITH SCORE 26099.784
AT ITER 952 NEW BEST:: SOT 94480 SOS 56774 HAS SOPS 56586 HAS SOUS 26217 HAS SOUPS 26029 WITH SCORE 26085.774
AT ITER 954 NEW BEST:: SOT 94442 SOS 56736 HAS SOPS 56548 HAS SOUS 26179 HAS SOUPS 25991 WITH SCORE 26047.736
AT ITER 955 NEW BEST:: SOT 94337 SOS 55923 HAS SOPS 55735 HAS SOUS 25924 HAS SOUPS 25736 WITH SCORE 25791.923
AT ITER 962 NEW BEST:: SOT 94162 SOS 55907 HAS SOPS 55560 HAS SOUS 26082 HAS SOUPS 25735 WITH SCORE 25790.907
AT ITER 968 NEW BEST:: SOT 94131 SOS 55876 HAS SOPS 55529 HAS SOUS 26041 HAS SOUPS 25694 WITH SCORE 25749.876
AT ITER 974 NEW BEST:: SOT 93713 SOS 55558 HAS SOPS 55211 HAS SOUS 25796 HAS SOUPS 25449 WITH SCORE 25504.558
AT ITER 984 NEW BEST:: SOT 93690 SOS 55544 HAS SOPS 55197 HAS SOUS 25741 HAS SOUPS 25394 WITH SCORE 25449.544
AT ITER 985 NEW BEST:: SOT 93592 SOS 55446 HAS SOPS 55099 HAS SOUS 25725 HAS SOUPS 25378 WITH SCORE 25433.446
AT ITER 986 NEW BEST:: SOT 93561 SOS 55427 HAS SOPS 55080 HAS SOUS 25699 HAS SOUPS 25352 WITH SCORE 25407.427
AT ITER 988 NEW BEST:: SOT 93547 SOS 55399 HAS SOPS 55052 HAS SOUS 25659 HAS SOUPS 25312 WITH SCORE 25367.399
AT ITER 996 NEW BEST:: SOT 93566 SOS 55394 HAS SOPS 55047 HAS SOUS 25643 HAS SOUPS 25296 WITH SCORE 25351.394
AT ITER 1000 NEW BEST:: SOT 93514 SOS 55191 HAS SOPS 54841 HAS SOUS 25640 HAS SOUPS 25290 WITH SCORE 25345.191
AT ITER 1003 NEW BEST:: SOT 93516 SOS 55181 HAS SOPS 54831 HAS SOUS 25620 HAS SOUPS 25270 WITH SCORE 25325.181
AT ITER 1008 NEW BEST:: SOT 93421 SOS 55086 HAS SOPS 54736 HAS SOUS 25496 HAS SOUPS 25146 WITH SCORE 25201.086
AT ITER 1009 NEW BEST:: SOT 93418 SOS 55080 HAS SOPS 54730 HAS SOUS 25490 HAS SOUPS 25140 WITH SCORE 25195.08
AT ITER 1012 NEW BEST:: SOT 93370 SOS 55032 HAS SOPS 54682 HAS SOUS 25394 HAS SOUPS 25044 WITH SCORE 25099.032
AT ITER 1029 NEW BEST:: SOT 92899 SOS 54561 HAS SOPS 54211 HAS SOUS 25190 HAS SOUPS 24840 WITH SCORE 24894.561
AT ITER 1037 NEW BEST:: SOT 92834 SOS 54313 HAS SOPS 53956 HAS SOUS 25126 HAS SOUPS 24769 WITH SCORE 24823.313
AT ITER 1041 NEW BEST:: SOT 92784 SOS 54263 HAS SOPS 53906 HAS SOUS 25110 HAS SOUPS 24753 WITH SCORE 24807.263
AT ITER 1044 NEW BEST:: SOT 92748 SOS 54565 HAS SOPS 54208 HAS SOUS 25039 HAS SOUPS 24682 WITH SCORE 24736.565
AT ITER 1057 NEW BEST:: SOT 92984 SOS 54483 HAS SOPS 54126 HAS SOUS 24842 HAS SOUPS 24485 WITH SCORE 24539.483
AT ITER 1060 NEW BEST:: SOT 93040 SOS 54359 HAS SOPS 54002 HAS SOUS 24834 HAS SOUPS 24477 WITH SCORE 24531.359
AT ITER 1062 NEW BEST:: SOT 92988 SOS 54307 HAS SOPS 53950 HAS SOUS 24834 HAS SOUPS 24477 WITH SCORE 24531.307
AT ITER 1068 NEW BEST:: SOT 92958 SOS 54229 HAS SOPS 53872 HAS SOUS 24816 HAS SOUPS 24459 WITH SCORE 24513.229
AT ITER 1069 NEW BEST:: SOT 92831 SOS 54189 HAS SOPS 53690 HAS SOUS 24810 HAS SOUPS 24311 WITH SCORE 24365.189
AT ITER 1073 NEW BEST:: SOT 92851 SOS 54156 HAS SOPS 53667 HAS SOUS 24776 HAS SOUPS 24287 WITH SCORE 24341.156
AT ITER 1078 NEW BEST:: SOT 92857 SOS 54070 HAS SOPS 53581 HAS SOUS 24762 HAS SOUPS 24273 WITH SCORE 24327.07
AT ITER 1081 NEW BEST:: SOT 92825 SOS 54038 HAS SOPS 53549 HAS SOUS 24730 HAS SOUPS 24241 WITH SCORE 24295.038
AT ITER 1086 NEW BEST:: SOT 92824 SOS 54037 HAS SOPS 53548 HAS SOUS 24729 HAS SOUPS 24240 WITH SCORE 24294.037
AT ITER 1088 NEW BEST:: SOT 92618 SOS 53772 HAS SOPS 53283 HAS SOUS 24486 HAS SOUPS 23997 WITH SCORE 24050.772
AT ITER 1093 NEW BEST:: SOT 92500 SOS 53654 HAS SOPS 53165 HAS SOUS 24453 HAS SOUPS 23964 WITH SCORE 24017.654
AT ITER 1095 NEW BEST:: SOT 92488 SOS 53553 HAS SOPS 53064 HAS SOUS 24333 HAS SOUPS 23844 WITH SCORE 23897.553
AT ITER 1097 NEW BEST:: SOT 92398 SOS 53399 HAS SOPS 52910 HAS SOUS 24286 HAS SOUPS 23797 WITH SCORE 23850.399
AT ITER 1116 NEW BEST:: SOT 92380 SOS 53421 HAS SOPS 52932 HAS SOUS 24250 HAS SOUPS 23761 WITH SCORE 23814.421
AT ITER 1141 NEW BEST:: SOT 92366 SOS 53391 HAS SOPS 52902 HAS SOUS 24236 HAS SOUPS 23747 WITH SCORE 23800.391
AT ITER 1151 NEW BEST:: SOT 92296 SOS 53356 HAS SOPS 52832 HAS SOUS 24193 HAS SOUPS 23669 WITH SCORE 23722.356
AT ITER 1154 NEW BEST:: SOT 92275 SOS 53335 HAS SOPS 52811 HAS SOUS 24150 HAS SOUPS 23626 WITH SCORE 23679.335
AT ITER 1174 NEW BEST:: SOT 92153 SOS 53317 HAS SOPS 52793 HAS SOUS 24146 HAS SOUPS 23622 WITH SCORE 23675.317
AT ITER 1188 NEW BEST:: SOT 91891 SOS 53055 HAS SOPS 52531 HAS SOUS 23849 HAS SOUPS 23325 WITH SCORE 23378.055
AT ITER 1193 NEW BEST:: SOT 91891 SOS 52983 HAS SOPS 52459 HAS SOUS 23825 HAS SOUPS 23301 WITH SCORE 23353.983
AT ITER 1209 NEW BEST:: SOT 91922 SOS 51636 HAS SOPS 51079 HAS SOUS 23624 HAS SOUPS 23067 WITH SCORE 23118.636
AT ITER 1211 NEW BEST:: SOT 91892 SOS 51606 HAS SOPS 51049 HAS SOUS 23621 HAS SOUPS 23064 WITH SCORE 23115.606
AT ITER 1220 NEW BEST:: SOT 91899 SOS 51622 HAS SOPS 51065 HAS SOUS 23592 HAS SOUPS 23035 WITH SCORE 23086.622
AT ITER 1222 NEW BEST:: SOT 91868 SOS 51632 HAS SOPS 51075 HAS SOUS 23574 HAS SOUPS 23017 WITH SCORE 23068.632
AT ITER 1242 NEW BEST:: SOT 91820 SOS 51584 HAS SOPS 51027 HAS SOUS 23545 HAS SOUPS 22988 WITH SCORE 23039.584
AT ITER 1251 NEW BEST:: SOT 91790 SOS 51435 HAS SOPS 50878 HAS SOUS 23500 HAS SOUPS 22943 WITH SCORE 22994.435
AT ITER 1258 NEW BEST:: SOT 91756 SOS 51401 HAS SOPS 50844 HAS SOUS 23429 HAS SOUPS 22872 WITH SCORE 22923.401
AT ITER 1265 NEW BEST:: SOT 91937 SOS 51240 HAS SOPS 50675 HAS SOUS 23409 HAS SOUPS 22844 WITH SCORE 22895.24
AT ITER 1267 NEW BEST:: SOT 91907 SOS 51150 HAS SOPS 50585 HAS SOUS 23379 HAS SOUPS 22814 WITH SCORE 22865.15
AT ITER 1274 NEW BEST:: SOT 91589 SOS 50832 HAS SOPS 50267 HAS SOUS 23345 HAS SOUPS 22780 WITH SCORE 22830.832
AT ITER 1275 NEW BEST:: SOT 91600 SOS 51061 HAS SOPS 50496 HAS SOUS 23341 HAS SOUPS 22776 WITH SCORE 22827.061
AT ITER 1294 NEW BEST:: SOT 91567 SOS 51028 HAS SOPS 50463 HAS SOUS 23334 HAS SOUPS 22769 WITH SCORE 22820.028
AT ITER 1333 NEW BEST:: SOT 91218 SOS 50679 HAS SOPS 50114 HAS SOUS 23220 HAS SOUPS 22655 WITH SCORE 22705.679
AT ITER 1339 NEW BEST:: SOT 91234 SOS 50647 HAS SOPS 50082 HAS SOUS 23220 HAS SOUPS 22655 WITH SCORE 22705.647
AT ITER 1346 NEW BEST:: SOT 91225 SOS 50638 HAS SOPS 50073 HAS SOUS 23179 HAS SOUPS 22614 WITH SCORE 22664.638
AT ITER 1349 NEW BEST:: SOT 91225 SOS 50558 HAS SOPS 49993 HAS SOUS 23099 HAS SOUPS 22534 WITH SCORE 22584.558
AT ITER 1352 NEW BEST:: SOT 91213 SOS 50450 HAS SOPS 49885 HAS SOUS 23045 HAS SOUPS 22480 WITH SCORE 22530.45
AT ITER 1353 NEW BEST:: SOT 91213 SOS 50443 HAS SOPS 49892 HAS SOUS 23031 HAS SOUPS 22480 WITH SCORE 22530.443
AT ITER 1354 NEW BEST:: SOT 91195 SOS 50132 HAS SOPS 49581 HAS SOUS 22974 HAS SOUPS 22423 WITH SCORE 22473.132
AT ITER 1374 NEW BEST:: SOT 91102 SOS 50039 HAS SOPS 49488 HAS SOUS 22841 HAS SOUPS 22290 WITH SCORE 22340.039
AT ITER 1384 NEW BEST:: SOT 90759 SOS 49696 HAS SOPS 49145 HAS SOUS 22634 HAS SOUPS 22083 WITH SCORE 22132.696
AT ITER 1401 NEW BEST:: SOT 90663 SOS 49200 HAS SOPS 48649 HAS SOUS 22631 HAS SOUPS 22080 WITH SCORE 22129.2
AT ITER 1402 NEW BEST:: SOT 90681 SOS 49188 HAS SOPS 48637 HAS SOUS 22631 HAS SOUPS 22080 WITH SCORE 22129.188
AT ITER 1427 NEW BEST:: SOT 90657 SOS 49164 HAS SOPS 48613 HAS SOUS 22540 HAS SOUPS 21989 WITH SCORE 22038.164
AT ITER 1432 NEW BEST:: SOT 90671 SOS 49171 HAS SOPS 48620 HAS SOUS 22530 HAS SOUPS 21979 WITH SCORE 22028.171
AT ITER 1443 NEW BEST:: SOT 90663 SOS 49028 HAS SOPS 48477 HAS SOUS 22486 HAS SOUPS 21935 WITH SCORE 21984.028
AT ITER 1454 NEW BEST:: SOT 90663 SOS 47898 HAS SOPS 47347 HAS SOUS 22486 HAS SOUPS 21935 WITH SCORE 21982.898
AT ITER 1457 NEW BEST:: SOT 90778 SOS 47888 HAS SOPS 47462 HAS SOUS 22351 HAS SOUPS 21925 WITH SCORE 21972.888
AT ITER 1468 NEW BEST:: SOT 90725 SOS 47505 HAS SOPS 47079 HAS SOUS 22331 HAS SOUPS 21905 WITH SCORE 21952.505
AT ITER 1474 NEW BEST:: SOT 90724 SOS 47504 HAS SOPS 47078 HAS SOUS 22329 HAS SOUPS 21903 WITH SCORE 21950.504
AT ITER 1482 NEW BEST:: SOT 90779 SOS 47457 HAS SOPS 47031 HAS SOUS 22261 HAS SOUPS 21835 WITH SCORE 21882.457
AT ITER 1494 NEW BEST:: SOT 90771 SOS 47433 HAS SOPS 47007 HAS SOUS 22249 HAS SOUPS 21823 WITH SCORE 21870.433
AT ITER 1498 NEW BEST:: SOT 90771 SOS 47433 HAS SOPS 47007 HAS SOUS 22244 HAS SOUPS 21818 WITH SCORE 21865.433
AT ITER 1499 NEW BEST:: SOT 90873 SOS 47519 HAS SOPS 47009 HAS SOUS 22313 HAS SOUPS 21812 WITH SCORE 21859.519
AT ITER 1509 NEW BEST:: SOT 90480 SOS 47074 HAS SOPS 46564 HAS SOUS 22047 HAS SOUPS 21546 WITH SCORE 21593.074
AT ITER 1520 NEW BEST:: SOT 90510 SOS 47014 HAS SOPS 46504 HAS SOUS 22047 HAS SOUPS 21546 WITH SCORE 21593.014
AT ITER 1524 NEW BEST:: SOT 90549 SOS 47146 HAS SOPS 46636 HAS SOUS 22040 HAS SOUPS 21539 WITH SCORE 21586.146
AT ITER 1525 NEW BEST:: SOT 90528 SOS 47121 HAS SOPS 46611 HAS SOUS 22002 HAS SOUPS 21501 WITH SCORE 21548.121
AT ITER 1539 NEW BEST:: SOT 90512 SOS 47041 HAS SOPS 46531 HAS SOUS 21986 HAS SOUPS 21485 WITH SCORE 21532.041
AT ITER 1540 NEW BEST:: SOT 90509 SOS 47038 HAS SOPS 46528 HAS SOUS 21985 HAS SOUPS 21484 WITH SCORE 21531.038
AT ITER 1548 NEW BEST:: SOT 90743 SOS 47272 HAS SOPS 46762 HAS SOUS 21964 HAS SOUPS 21463 WITH SCORE 21510.272
AT ITER 1551 NEW BEST:: SOT 90509 SOS 47038 HAS SOPS 46528 HAS SOUS 21859 HAS SOUPS 21358 WITH SCORE 21405.038
AT ITER 1574 NEW BEST:: SOT 90418 SOS 47163 HAS SOPS 46653 HAS SOUS 21842 HAS SOUPS 21341 WITH SCORE 21388.163
AT ITER 1591 NEW BEST:: SOT 90417 SOS 47162 HAS SOPS 46652 HAS SOUS 21840 HAS SOUPS 21339 WITH SCORE 21386.162
AT ITER 1597 NEW BEST:: SOT 90431 SOS 47026 HAS SOPS 46516 HAS SOUS 21824 HAS SOUPS 21323 WITH SCORE 21370.026
AT ITER 1601 NEW BEST:: SOT 90421 SOS 47016 HAS SOPS 46506 HAS SOUS 21824 HAS SOUPS 21323 WITH SCORE 21370.016
AT ITER 1605 NEW BEST:: SOT 90432 SOS 47027 HAS SOPS 46517 HAS SOUS 21820 HAS SOUPS 21319 WITH SCORE 21366.027
AT ITER 1607 NEW BEST:: SOT 90456 SOS 46975 HAS SOPS 46465 HAS SOUS 21736 HAS SOUPS 21235 WITH SCORE 21281.975
AT ITER 1610 NEW BEST:: SOT 90486 SOS 46906 HAS SOPS 46396 HAS SOUS 21703 HAS SOUPS 21202 WITH SCORE 21248.906
AT ITER 1611 NEW BEST:: SOT 90494 SOS 46914 HAS SOPS 46404 HAS SOUS 21699 HAS SOUPS 21198 WITH SCORE 21244.914
AT ITER 1619 NEW BEST:: SOT 90532 SOS 46952 HAS SOPS 46442 HAS SOUS 21631 HAS SOUPS 21130 WITH SCORE 21176.952
AT ITER 1637 NEW BEST:: SOT 90427 SOS 46607 HAS SOPS 46105 HAS SOUS 21543 HAS SOUPS 21050 WITH SCORE 21096.607
AT ITER 1647 NEW BEST:: SOT 90168 SOS 46348 HAS SOPS 45846 HAS SOUS 21461 HAS SOUPS 20968 WITH SCORE 21014.348
AT ITER 1661 NEW BEST:: SOT 89928 SOS 46103 HAS SOPS 45601 HAS SOUS 21349 HAS SOUPS 20856 WITH SCORE 20902.103
AT ITER 1665 NEW BEST:: SOT 89886 SOS 46073 HAS SOPS 45571 HAS SOUS 21322 HAS SOUPS 20829 WITH SCORE 20875.073
AT ITER 1666 NEW BEST:: SOT 89758 SOS 46220 HAS SOPS 45718 HAS SOUS 21258 HAS SOUPS 20765 WITH SCORE 20811.22
AT ITER 1685 NEW BEST:: SOT 89757 SOS 46219 HAS SOPS 45717 HAS SOUS 21256 HAS SOUPS 20763 WITH SCORE 20809.219
AT ITER 1689 NEW BEST:: SOT 89667 SOS 46171 HAS SOPS 45669 HAS SOUS 21210 HAS SOUPS 20717 WITH SCORE 20763.171
AT ITER 1702 NEW BEST:: SOT 89645 SOS 46197 HAS SOPS 45671 HAS SOUS 21214 HAS SOUPS 20697 WITH SCORE 20743.197
AT ITER 1704 NEW BEST:: SOT 89642 SOS 46017 HAS SOPS 45491 HAS SOUS 21115 HAS SOUPS 20598 WITH SCORE 20644.017
AT ITER 1708 NEW BEST:: SOT 89638 SOS 46009 HAS SOPS 45483 HAS SOUS 21111 HAS SOUPS 20594 WITH SCORE 20640.009
AT ITER 1712 NEW BEST:: SOT 89559 SOS 45962 HAS SOPS 45436 HAS SOUS 21084 HAS SOUPS 20567 WITH SCORE 20612.962
AT ITER 1738 NEW BEST:: SOT 89629 SOS 46104 HAS SOPS 45554 HAS SOUS 21060 HAS SOUPS 20543 WITH SCORE 20589.104
AT ITER 1747 NEW BEST:: SOT 89620 SOS 46184 HAS SOPS 45634 HAS SOUS 21045 HAS SOUPS 20528 WITH SCORE 20574.184
AT ITER 1752 NEW BEST:: SOT 89568 SOS 46065 HAS SOPS 45515 HAS SOUS 21014 HAS SOUPS 20497 WITH SCORE 20543.065
AT ITER 1754 NEW BEST:: SOT 89558 SOS 46055 HAS SOPS 45505 HAS SOUS 21010 HAS SOUPS 20493 WITH SCORE 20539.055
AT ITER 1759 NEW BEST:: SOT 89564 SOS 45271 HAS SOPS 44637 HAS SOUS 21077 HAS SOUPS 20476 WITH SCORE 20521.271
AT ITER 1793 NEW BEST:: SOT 89616 SOS 45285 HAS SOPS 44651 HAS SOUS 21073 HAS SOUPS 20472 WITH SCORE 20517.285
AT ITER 1797 NEW BEST:: SOT 89611 SOS 45280 HAS SOPS 44646 HAS SOUS 21063 HAS SOUPS 20462 WITH SCORE 20507.28
AT ITER 1800 NEW BEST:: SOT 89553 SOS 45202 HAS SOPS 44652 HAS SOUS 20719 HAS SOUPS 20202 WITH SCORE 20247.202
AT ITER 1802 NEW BEST:: SOT 89545 SOS 45194 HAS SOPS 44644 HAS SOUS 20711 HAS SOUPS 20194 WITH SCORE 20239.194
AT ITER 1803 NEW BEST:: SOT 89491 SOS 45140 HAS SOPS 44590 HAS SOUS 20711 HAS SOUPS 20194 WITH SCORE 20239.14
AT ITER 1806 NEW BEST:: SOT 89404 SOS 44969 HAS SOPS 44419 HAS SOUS 20645 HAS SOUPS 20128 WITH SCORE 20172.969
AT ITER 1810 NEW BEST:: SOT 89578 SOS 44925 HAS SOPS 44375 HAS SOUS 20630 HAS SOUPS 20113 WITH SCORE 20157.925
AT ITER 1811 NEW BEST:: SOT 89516 SOS 44846 HAS SOPS 44296 HAS SOUS 20540 HAS SOUPS 20023 WITH SCORE 20067.846
AT ITER 1822 NEW BEST:: SOT 89452 SOS 44629 HAS SOPS 44079 HAS SOUS 20508 HAS SOUPS 19991 WITH SCORE 20035.629
AT ITER 1826 NEW BEST:: SOT 89417 SOS 44574 HAS SOPS 44024 HAS SOUS 20445 HAS SOUPS 19928 WITH SCORE 19972.574
AT ITER 1832 NEW BEST:: SOT 89488 SOS 43945 HAS SOPS 43395 HAS SOUS 20425 HAS SOUPS 19908 WITH SCORE 19951.945
AT ITER 1839 NEW BEST:: SOT 89399 SOS 43856 HAS SOPS 43306 HAS SOUS 20422 HAS SOUPS 19905 WITH SCORE 19948.856
AT ITER 1843 NEW BEST:: SOT 89338 SOS 43703 HAS SOPS 43153 HAS SOUS 20417 HAS SOUPS 19900 WITH SCORE 19943.703
AT ITER 1846 NEW BEST:: SOT 89327 SOS 43692 HAS SOPS 43142 HAS SOUS 20406 HAS SOUPS 19889 WITH SCORE 19932.692
AT ITER 1848 NEW BEST:: SOT 89327 SOS 43692 HAS SOPS 43142 HAS SOUS 20389 HAS SOUPS 19872 WITH SCORE 19915.692
AT ITER 1858 NEW BEST:: SOT 89323 SOS 43688 HAS SOPS 43138 HAS SOUS 20389 HAS SOUPS 19872 WITH SCORE 19915.688
AT ITER 1862 NEW BEST:: SOT 89368 SOS 43727 HAS SOPS 43177 HAS SOUS 20321 HAS SOUPS 19804 WITH SCORE 19847.727
AT ITER 1865 NEW BEST:: SOT 89216 SOS 43586 HAS SOPS 43025 HAS SOUS 20310 HAS SOUPS 19782 WITH SCORE 19825.586
AT ITER 1877 NEW BEST:: SOT 89241 SOS 43659 HAS SOPS 43098 HAS SOUS 20298 HAS SOUPS 19770 WITH SCORE 19813.659
AT ITER 1886 NEW BEST:: SOT 89241 SOS 43659 HAS SOPS 43098 HAS SOUS 20288 HAS SOUPS 19760 WITH SCORE 19803.659
AT ITER 1903 NEW BEST:: SOT 89227 SOS 43444 HAS SOPS 42883 HAS SOUS 20259 HAS SOUPS 19731 WITH SCORE 19774.444
AT ITER 1907 NEW BEST:: SOT 89152 SOS 43354 HAS SOPS 42793 HAS SOUS 20259 HAS SOUPS 19731 WITH SCORE 19774.354
AT ITER 1909 NEW BEST:: SOT 89106 SOS 43308 HAS SOPS 42747 HAS SOUS 20213 HAS SOUPS 19685 WITH SCORE 19728.308
AT ITER 1912 NEW BEST:: SOT 89105 SOS 43307 HAS SOPS 42746 HAS SOUS 20212 HAS SOUPS 19684 WITH SCORE 19727.307
AT ITER 1914 NEW BEST:: SOT 89078 SOS 43280 HAS SOPS 42719 HAS SOUS 20158 HAS SOUPS 19630 WITH SCORE 19673.28
AT ITER 1923 NEW BEST:: SOT 89068 SOS 43270 HAS SOPS 42709 HAS SOUS 20138 HAS SOUPS 19610 WITH SCORE 19653.27
AT ITER 1940 NEW BEST:: SOT 89003 SOS 43070 HAS SOPS 42481 HAS SOUS 20129 HAS SOUPS 19573 WITH SCORE 19616.07
AT ITER 1955 NEW BEST:: SOT 88992 SOS 42987 HAS SOPS 42398 HAS SOUS 20102 HAS SOUPS 19546 WITH SCORE 19588.987
AT ITER 1965 NEW BEST:: SOT 89070 SOS 43220 HAS SOPS 42631 HAS SOUS 20090 HAS SOUPS 19534 WITH SCORE 19577.22
AT ITER 1968 NEW BEST:: SOT 89064 SOS 43214 HAS SOPS 42599 HAS SOUS 20115 HAS SOUPS 19533 WITH SCORE 19576.214
AT ITER 1987 NEW BEST:: SOT 88949 SOS 43192 HAS SOPS 42484 HAS SOUS 20093 HAS SOUPS 19426 WITH SCORE 19469.192
AT ITER 1990 NEW BEST:: SOT 88972 SOS 42675 HAS SOPS 41944 HAS SOUS 20102 HAS SOUPS 19419 WITH SCORE 19461.675
AT ITER 2000 NEW BEST:: SOT 88972 SOS 42658 HAS SOPS 41944 HAS SOUS 20068 HAS SOUPS 19402 WITH SCORE 19444.658
AT ITER 2003 NEW BEST:: SOT 88982 SOS 42735 HAS SOPS 42021 HAS SOUS 20046 HAS SOUPS 19380 WITH SCORE 19422.735
AT ITER 2037 NEW BEST:: SOT 88970 SOS 42640 HAS SOPS 41823 HAS SOUS 20038 HAS SOUPS 19269 WITH SCORE 19311.64
AT ITER 2042 NEW BEST:: SOT 88958 SOS 42628 HAS SOPS 41811 HAS SOUS 19966 HAS SOUPS 19197 WITH SCORE 19239.628
AT ITER 2047 NEW BEST:: SOT 88958 SOS 42597 HAS SOPS 41780 HAS SOUS 19954 HAS SOUPS 19185 WITH SCORE 19227.597
AT ITER 2049 NEW BEST:: SOT 88946 SOS 42573 HAS SOPS 41768 HAS SOUS 19942 HAS SOUPS 19185 WITH SCORE 19227.573
AT ITER 2064 NEW BEST:: SOT 88876 SOS 42530 HAS SOPS 41734 HAS SOUS 19901 HAS SOUPS 19153 WITH SCORE 19195.53
AT ITER 2066 NEW BEST:: SOT 88924 SOS 42578 HAS SOPS 41782 HAS SOUS 19891 HAS SOUPS 19143 WITH SCORE 19185.578
AT ITER 2069 NEW BEST:: SOT 88767 SOS 42291 HAS SOPS 41503 HAS SOUS 19856 HAS SOUPS 19108 WITH SCORE 19150.291
AT ITER 2079 NEW BEST:: SOT 88767 SOS 42239 HAS SOPS 41451 HAS SOUS 19856 HAS SOUPS 19108 WITH SCORE 19150.239
AT ITER 2091 NEW BEST:: SOT 88770 SOS 42242 HAS SOPS 41454 HAS SOUS 19808 HAS SOUPS 19060 WITH SCORE 19102.242
AT ITER 2119 NEW BEST:: SOT 88771 SOS 41908 HAS SOPS 41120 HAS SOUS 19659 HAS SOUPS 18911 WITH SCORE 18952.908
AT ITER 2123 NEW BEST:: SOT 88680 SOS 41675 HAS SOPS 40875 HAS SOUS 19537 HAS SOUPS 18777 WITH SCORE 18818.675
AT ITER 2128 NEW BEST:: SOT 88680 SOS 41675 HAS SOPS 40875 HAS SOUS 19522 HAS SOUPS 18762 WITH SCORE 18803.675
AT ITER 2130 NEW BEST:: SOT 88716 SOS 41620 HAS SOPS 40820 HAS SOUS 19494 HAS SOUPS 18734 WITH SCORE 18775.62
AT ITER 2147 NEW BEST:: SOT 88733 SOS 41637 HAS SOPS 40837 HAS SOUS 19473 HAS SOUPS 18713 WITH SCORE 18754.637
AT ITER 2191 NEW BEST:: SOT 88687 SOS 41601 HAS SOPS 40817 HAS SOUS 19456 HAS SOUPS 18712 WITH SCORE 18753.601
AT ITER 2194 NEW BEST:: SOT 88667 SOS 41612 HAS SOPS 40797 HAS SOUS 19451 HAS SOUPS 18676 WITH SCORE 18717.612
AT ITER 2237 NEW BEST:: SOT 88668 SOS 41688 HAS SOPS 40873 HAS SOUS 19415 HAS SOUPS 18640 WITH SCORE 18681.688
AT ITER 2262 NEW BEST:: SOT 88554 SOS 41574 HAS SOPS 40759 HAS SOUS 19415 HAS SOUPS 18640 WITH SCORE 18681.574
AT ITER 2264 NEW BEST:: SOT 88554 SOS 40716 HAS SOPS 39835 HAS SOUS 19481 HAS SOUPS 18640 WITH SCORE 18680.716
AT ITER 2289 NEW BEST:: SOT 88839 SOS 40901 HAS SOPS 40020 HAS SOUS 19435 HAS SOUPS 18594 WITH SCORE 18634.901
AT ITER 2298 NEW BEST:: SOT 88832 SOS 40851 HAS SOPS 39970 HAS SOUS 19421 HAS SOUPS 18580 WITH SCORE 18620.851
AT ITER 2317 NEW BEST:: SOT 88913 SOS 40932 HAS SOPS 40051 HAS SOUS 19402 HAS SOUPS 18561 WITH SCORE 18601.932
AT ITER 2336 NEW BEST:: SOT 88697 SOS 40950 HAS SOPS 40131 HAS SOUS 19274 HAS SOUPS 18495 WITH SCORE 18535.95
AT ITER 2345 NEW BEST:: SOT 88701 SOS 40948 HAS SOPS 40127 HAS SOUS 19274 HAS SOUPS 18493 WITH SCORE 18533.948
AT ITER 2352 NEW BEST:: SOT 88696 SOS 40943 HAS SOPS 40122 HAS SOUS 19265 HAS SOUPS 18484 WITH SCORE 18524.943
AT ITER 2379 NEW BEST:: SOT 88696 SOS 40943 HAS SOPS 40122 HAS SOUS 19263 HAS SOUPS 18482 WITH SCORE 18522.943
AT ITER 2394 NEW BEST:: SOT 88710 SOS 40651 HAS SOPS 39830 HAS SOUS 19236 HAS SOUPS 18455 WITH SCORE 18495.651
AT ITER 2399 NEW BEST:: SOT 88730 SOS 40671 HAS SOPS 39850 HAS SOUS 19226 HAS SOUPS 18445 WITH SCORE 18485.671
AT ITER 2414 NEW BEST:: SOT 88649 SOS 40639 HAS SOPS 39818 HAS SOUS 19162 HAS SOUPS 18381 WITH SCORE 18421.639
AT ITER 2425 NEW BEST:: SOT 88629 SOS 40619 HAS SOPS 39798 HAS SOUS 19162 HAS SOUPS 18381 WITH SCORE 18421.619
AT ITER 2445 NEW BEST:: SOT 88608 SOS 40598 HAS SOPS 39777 HAS SOUS 19153 HAS SOUPS 18372 WITH SCORE 18412.598
AT ITER 2446 NEW BEST:: SOT 88571 SOS 40486 HAS SOPS 39673 HAS SOUS 19093 HAS SOUPS 18320 WITH SCORE 18360.486
AT ITER 2468 NEW BEST:: SOT 88570 SOS 40470 HAS SOPS 39662 HAS SOUS 19082 HAS SOUPS 18309 WITH SCORE 18349.47
AT ITER 2480 NEW BEST:: SOT 88561 SOS 40460 HAS SOPS 39652 HAS SOUS 19079 HAS SOUPS 18306 WITH SCORE 18346.46
AT ITER 2484 NEW BEST:: SOT 88646 SOS 40545 HAS SOPS 39737 HAS SOUS 19060 HAS SOUPS 18287 WITH SCORE 18327.545
AT ITER 2491 NEW BEST:: SOT 88638 SOS 40519 HAS SOPS 39709 HAS SOUS 19060 HAS SOUPS 18285 WITH SCORE 18325.519
AT ITER 2506 NEW BEST:: SOT 88634 SOS 40503 HAS SOPS 39691 HAS SOUS 19054 HAS SOUPS 18277 WITH SCORE 18317.503
AT ITER 2509 NEW BEST:: SOT 88735 SOS 40604 HAS SOPS 39792 HAS SOUS 18999 HAS SOUPS 18222 WITH SCORE 18262.604
AT ITER 2524 NEW BEST:: SOT 88684 SOS 40533 HAS SOPS 39721 HAS SOUS 18972 HAS SOUPS 18195 WITH SCORE 18235.533
AT ITER 2536 NEW BEST:: SOT 88617 SOS 40466 HAS SOPS 39654 HAS SOUS 18905 HAS SOUPS 18128 WITH SCORE 18168.466
AT ITER 2538 NEW BEST:: SOT 88507 SOS 40356 HAS SOPS 39544 HAS SOUS 18873 HAS SOUPS 18096 WITH SCORE 18136.356
AT ITER 2548 NEW BEST:: SOT 88506 SOS 40355 HAS SOPS 39543 HAS SOUS 18871 HAS SOUPS 18094 WITH SCORE 18134.355
AT ITER 2553 NEW BEST:: SOT 88477 SOS 40400 HAS SOPS 39624 HAS SOUS 18834 HAS SOUPS 18093 WITH SCORE 18133.4
AT ITER 2577 NEW BEST:: SOT 88449 SOS 40372 HAS SOPS 39596 HAS SOUS 18817 HAS SOUPS 18076 WITH SCORE 18116.372
AT ITER 2595 NEW BEST:: SOT 88449 SOS 40372 HAS SOPS 39596 HAS SOUS 18800 HAS SOUPS 18059 WITH SCORE 18099.372
AT ITER 2615 NEW BEST:: SOT 88470 SOS 39666 HAS SOPS 38880 HAS SOUS 18756 HAS SOUPS 18015 WITH SCORE 18054.666
AT ITER 2631 NEW BEST:: SOT 88462 SOS 39658 HAS SOPS 38872 HAS SOUS 18724 HAS SOUPS 17983 WITH SCORE 18022.658
AT ITER 2633 NEW BEST:: SOT 88448 SOS 39644 HAS SOPS 38858 HAS SOUS 18675 HAS SOUPS 17934 WITH SCORE 17973.644
AT ITER 2636 NEW BEST:: SOT 88367 SOS 39569 HAS SOPS 38783 HAS SOUS 18619 HAS SOUPS 17878 WITH SCORE 17917.569
AT ITER 2652 NEW BEST:: SOT 88367 SOS 39539 HAS SOPS 38753 HAS SOUS 18619 HAS SOUPS 17878 WITH SCORE 17917.539
AT ITER 2656 NEW BEST:: SOT 88385 SOS 39557 HAS SOPS 38771 HAS SOUS 18601 HAS SOUPS 17860 WITH SCORE 17899.557
AT ITER 2671 NEW BEST:: SOT 88332 SOS 39541 HAS SOPS 38718 HAS SOUS 18606 HAS SOUPS 17828 WITH SCORE 17867.541
AT ITER 2685 NEW BEST:: SOT 88332 SOS 39442 HAS SOPS 38610 HAS SOUS 18606 HAS SOUPS 17819 WITH SCORE 17858.442
AT ITER 2737 NEW BEST:: SOT 88331 SOS 39441 HAS SOPS 38609 HAS SOUS 18604 HAS SOUPS 17817 WITH SCORE 17856.441
AT ITER 2762 NEW BEST:: SOT 88331 SOS 39441 HAS SOPS 38609 HAS SOUS 18600 HAS SOUPS 17813 WITH SCORE 17852.441
AT ITER 2763 NEW BEST:: SOT 88289 SOS 39273 HAS SOPS 38441 HAS SOUS 18537 HAS SOUPS 17750 WITH SCORE 17789.273
AT ITER 2772 NEW BEST:: SOT 88308 SOS 39272 HAS SOPS 38436 HAS SOUS 18539 HAS SOUPS 17748 WITH SCORE 17787.272
AT ITER 2790 NEW BEST:: SOT 88300 SOS 39264 HAS SOPS 38428 HAS SOUS 18535 HAS SOUPS 17744 WITH SCORE 17783.264
AT ITER 2798 NEW BEST:: SOT 88287 SOS 39251 HAS SOPS 38415 HAS SOUS 18516 HAS SOUPS 17725 WITH SCORE 17764.251
AT ITER 2819 NEW BEST:: SOT 88280 SOS 39244 HAS SOPS 38408 HAS SOUS 18509 HAS SOUPS 17718 WITH SCORE 17757.244
AT ITER 2827 NEW BEST:: SOT 88298 SOS 38841 HAS SOPS 38005 HAS SOUS 18503 HAS SOUPS 17712 WITH SCORE 17750.841
AT ITER 2843 NEW BEST:: SOT 88298 SOS 38813 HAS SOPS 37977 HAS SOUS 18501 HAS SOUPS 17710 WITH SCORE 17748.813
AT ITER 2845 NEW BEST:: SOT 88349 SOS 38422 HAS SOPS 37586 HAS SOUS 18467 HAS SOUPS 17676 WITH SCORE 17714.422
AT ITER 2846 NEW BEST:: SOT 88362 SOS 38435 HAS SOPS 37599 HAS SOUS 18458 HAS SOUPS 17667 WITH SCORE 17705.435
AT ITER 2860 NEW BEST:: SOT 88356 SOS 38408 HAS SOPS 37593 HAS SOUS 18431 HAS SOUPS 17661 WITH SCORE 17699.408
AT ITER 2884 NEW BEST:: SOT 88349 SOS 38399 HAS SOPS 37584 HAS SOUS 18391 HAS SOUPS 17621 WITH SCORE 17659.399
AT ITER 2934 NEW BEST:: SOT 88349 SOS 38389 HAS SOPS 37574 HAS SOUS 18379 HAS SOUPS 17609 WITH SCORE 17647.389
AT ITER 2970 NEW BEST:: SOT 88342 SOS 38312 HAS SOPS 37497 HAS SOUS 18365 HAS SOUPS 17595 WITH SCORE 17633.312
AT ITER 2977 NEW BEST:: SOT 88290 SOS 38267 HAS SOPS 37445 HAS SOUS 18331 HAS SOUPS 17554 WITH SCORE 17592.267
AT ITER 2985 NEW BEST:: SOT 88288 SOS 38265 HAS SOPS 37443 HAS SOUS 18331 HAS SOUPS 17554 WITH SCORE 17592.265
AT ITER 2995 NEW BEST:: SOT 88318 SOS 38235 HAS SOPS 37398 HAS SOUS 18331 HAS SOUPS 17539 WITH SCORE 17577.235
AT ITER 2997 NEW BEST:: SOT 88265 SOS 38134 HAS SOPS 37297 HAS SOUS 18225 HAS SOUPS 17433 WITH SCORE 17471.134
AT ITER 2998 NEW BEST:: SOT 88280 SOS 38089 HAS SOPS 37240 HAS SOUS 18161 HAS SOUPS 17358 WITH SCORE 17396.089
AT ITER 3016 NEW BEST:: SOT 88180 SOS 38033 HAS SOPS 37184 HAS SOUS 18150 HAS SOUPS 17347 WITH SCORE 17385.033
AT ITER 3060 NEW BEST:: SOT 88178 SOS 38031 HAS SOPS 37182 HAS SOUS 18136 HAS SOUPS 17333 WITH SCORE 17371.031
AT ITER 3065 NEW BEST:: SOT 88270 SOS 37893 HAS SOPS 36998 HAS SOUS 18162 HAS SOUPS 17313 WITH SCORE 17350.893
AT ITER 3069 NEW BEST:: SOT 88287 SOS 37901 HAS SOPS 37006 HAS SOUS 18158 HAS SOUPS 17309 WITH SCORE 17346.901
AT ITER 3071 NEW BEST:: SOT 88284 SOS 37898 HAS SOPS 37003 HAS SOUS 18152 HAS SOUPS 17303 WITH SCORE 17340.898
AT ITER 3073 NEW BEST:: SOT 88284 SOS 37708 HAS SOPS 36813 HAS SOUS 18152 HAS SOUPS 17303 WITH SCORE 17340.708
AT ITER 3077 NEW BEST:: SOT 88303 SOS 37727 HAS SOPS 36832 HAS SOUS 18133 HAS SOUPS 17284 WITH SCORE 17321.727
AT ITER 3079 NEW BEST:: SOT 88303 SOS 37727 HAS SOPS 36832 HAS SOUS 18059 HAS SOUPS 17210 WITH SCORE 17247.727
AT ITER 3135 NEW BEST:: SOT 88303 SOS 37727 HAS SOPS 36832 HAS SOUS 18043 HAS SOUPS 17194 WITH SCORE 17231.727
AT ITER 3142 NEW BEST:: SOT 88303 SOS 37700 HAS SOPS 36805 HAS SOUS 18043 HAS SOUPS 17194 WITH SCORE 17231.7
AT ITER 3143 NEW BEST:: SOT 88029 SOS 37444 HAS SOPS 36549 HAS SOUS 18023 HAS SOUPS 17174 WITH SCORE 17211.444
AT ITER 3146 NEW BEST:: SOT 88018 SOS 37433 HAS SOPS 36538 HAS SOUS 18001 HAS SOUPS 17152 WITH SCORE 17189.433
AT ITER 3155 NEW BEST:: SOT 87995 SOS 37410 HAS SOPS 36515 HAS SOUS 17992 HAS SOUPS 17143 WITH SCORE 17180.41
AT ITER 3156 NEW BEST:: SOT 87881 SOS 37296 HAS SOPS 36401 HAS SOUS 17984 HAS SOUPS 17135 WITH SCORE 17172.296
AT ITER 3208 NEW BEST:: SOT 87878 SOS 37290 HAS SOPS 36395 HAS SOUS 17984 HAS SOUPS 17135 WITH SCORE 17172.29
AT ITER 3210 NEW BEST:: SOT 87878 SOS 37324 HAS SOPS 36429 HAS SOUS 17959 HAS SOUPS 17110 WITH SCORE 17147.324
AT ITER 3211 NEW BEST:: SOT 87866 SOS 37240 HAS SOPS 36345 HAS SOUS 17947 HAS SOUPS 17098 WITH SCORE 17135.24
AT ITER 3213 NEW BEST:: SOT 87860 SOS 37222 HAS SOPS 36327 HAS SOUS 17938 HAS SOUPS 17089 WITH SCORE 17126.222
AT ITER 3222 NEW BEST:: SOT 87864 SOS 37226 HAS SOPS 36331 HAS SOUS 17917 HAS SOUPS 17068 WITH SCORE 17105.226
AT ITER 3234 NEW BEST:: SOT 87875 SOS 37237 HAS SOPS 36342 HAS SOUS 17896 HAS SOUPS 17047 WITH SCORE 17084.237
AT ITER 3238 NEW BEST:: SOT 87857 SOS 37210 HAS SOPS 36315 HAS SOUS 17878 HAS SOUPS 17029 WITH SCORE 17066.21
AT ITER 3240 NEW BEST:: SOT 87857 SOS 37179 HAS SOPS 36284 HAS SOUS 17878 HAS SOUPS 17029 WITH SCORE 17066.179
AT ITER 3242 NEW BEST:: SOT 87898 SOS 37282 HAS SOPS 36399 HAS SOUS 17852 HAS SOUPS 17015 WITH SCORE 17052.282
AT ITER 3243 NEW BEST:: SOT 87994 SOS 37363 HAS SOPS 36460 HAS SOUS 17851 HAS SOUPS 16994 WITH SCORE 17031.363
AT ITER 3278 NEW BEST:: SOT 87994 SOS 37363 HAS SOPS 36460 HAS SOUS 17849 HAS SOUPS 16992 WITH SCORE 17029.363
AT ITER 3294 NEW BEST:: SOT 87922 SOS 37327 HAS SOPS 36424 HAS SOUS 17813 HAS SOUPS 16956 WITH SCORE 16993.327
AT ITER 3326 NEW BEST:: SOT 87790 SOS 37724 HAS SOPS 36821 HAS SOUS 17809 HAS SOUPS 16952 WITH SCORE 16989.724
AT ITER 3327 NEW BEST:: SOT 87787 SOS 37697 HAS SOPS 36788 HAS SOUS 17806 HAS SOUPS 16946 WITH SCORE 16983.697
AT ITER 3350 NEW BEST:: SOT 87856 SOS 37766 HAS SOPS 36857 HAS SOUS 17802 HAS SOUPS 16942 WITH SCORE 16979.766
AT ITER 3353 NEW BEST:: SOT 87838 SOS 37748 HAS SOPS 36839 HAS SOUS 17793 HAS SOUPS 16933 WITH SCORE 16970.748
AT ITER 3355 NEW BEST:: SOT 87826 SOS 37628 HAS SOPS 36719 HAS SOUS 17782 HAS SOUPS 16922 WITH SCORE 16959.628
AT ITER 3357 NEW BEST:: SOT 87826 SOS 37588 HAS SOPS 36679 HAS SOUS 17782 HAS SOUPS 16922 WITH SCORE 16959.588
AT ITER 3365 NEW BEST:: SOT 87825 SOS 37573 HAS SOPS 36662 HAS SOUS 17781 HAS SOUPS 16920 WITH SCORE 16957.573
AT ITER 3371 NEW BEST:: SOT 87825 SOS 37573 HAS SOPS 36662 HAS SOUS 17755 HAS SOUPS 16894 WITH SCORE 16931.573
AT ITER 3400 NEW BEST:: SOT 87803 SOS 37507 HAS SOPS 36640 HAS SOUS 17689 HAS SOUPS 16872 WITH SCORE 16909.507
AT ITER 3405 NEW BEST:: SOT 87736 SOS 37440 HAS SOPS 36573 HAS SOUS 17622 HAS SOUPS 16805 WITH SCORE 16842.44
AT ITER 3430 NEW BEST:: SOT 87746 SOS 37450 HAS SOPS 36583 HAS SOUS 17617 HAS SOUPS 16800 WITH SCORE 16837.45
AT ITER 3432 NEW BEST:: SOT 87747 SOS 37451 HAS SOPS 36584 HAS SOUS 17589 HAS SOUPS 16772 WITH SCORE 16809.451
AT ITER 3448 NEW BEST:: SOT 87768 SOS 37425 HAS SOPS 36558 HAS SOUS 17559 HAS SOUPS 16742 WITH SCORE 16779.425
AT ITER 3455 NEW BEST:: SOT 87772 SOS 37409 HAS SOPS 36538 HAS SOUS 17554 HAS SOUPS 16733 WITH SCORE 16770.409
AT ITER 3456 NEW BEST:: SOT 87730 SOS 37367 HAS SOPS 36496 HAS SOUS 17478 HAS SOUPS 16657 WITH SCORE 16694.367
AT ITER 3458 NEW BEST:: SOT 87753 SOS 37378 HAS SOPS 36519 HAS SOUS 17458 HAS SOUPS 16649 WITH SCORE 16686.378
AT ITER 3486 NEW BEST:: SOT 87715 SOS 37340 HAS SOPS 36481 HAS SOUS 17452 HAS SOUPS 16643 WITH SCORE 16680.34
AT ITER 3504 NEW BEST:: SOT 87686 SOS 37311 HAS SOPS 36452 HAS SOUS 17441 HAS SOUPS 16632 WITH SCORE 16669.311
AT ITER 3506 NEW BEST:: SOT 87721 SOS 37279 HAS SOPS 36420 HAS SOUS 17413 HAS SOUPS 16604 WITH SCORE 16641.279
AT ITER 3532 NEW BEST:: SOT 87628 SOS 37200 HAS SOPS 36341 HAS SOUS 17399 HAS SOUPS 16590 WITH SCORE 16627.2
AT ITER 3538 NEW BEST:: SOT 87627 SOS 37199 HAS SOPS 36340 HAS SOUS 17397 HAS SOUPS 16588 WITH SCORE 16625.199
AT ITER 3542 NEW BEST:: SOT 87615 SOS 37187 HAS SOPS 36328 HAS SOUS 17373 HAS SOUPS 16564 WITH SCORE 16601.187
AT ITER 3567 NEW BEST:: SOT 87612 SOS 37184 HAS SOPS 36325 HAS SOUS 17363 HAS SOUPS 16554 WITH SCORE 16591.184
AT ITER 3588 NEW BEST:: SOT 87612 SOS 37184 HAS SOPS 36325 HAS SOUS 17353 HAS SOUPS 16544 WITH SCORE 16581.184
AT ITER 3600 NEW BEST:: SOT 87612 SOS 37184 HAS SOPS 36325 HAS SOUS 17352 HAS SOUPS 16543 WITH SCORE 16580.184
AT ITER 3603 NEW BEST:: SOT 87769 SOS 37177 HAS SOPS 36209 HAS SOUS 17417 HAS SOUPS 16537 WITH SCORE 16574.177
AT ITER 3613 NEW BEST:: SOT 87715 SOS 37060 HAS SOPS 36092 HAS SOUS 17379 HAS SOUPS 16499 WITH SCORE 16536.06
AT ITER 3615 NEW BEST:: SOT 87714 SOS 37019 HAS SOPS 36051 HAS SOUS 17373 HAS SOUPS 16493 WITH SCORE 16530.019
AT ITER 3619 NEW BEST:: SOT 87682 SOS 36761 HAS SOPS 35793 HAS SOUS 17300 HAS SOUPS 16420 WITH SCORE 16456.761
AT ITER 3620 NEW BEST:: SOT 87679 SOS 36458 HAS SOPS 35490 HAS SOUS 17270 HAS SOUPS 16390 WITH SCORE 16426.458
AT ITER 3624 NEW BEST:: SOT 87675 SOS 36418 HAS SOPS 35450 HAS SOUS 17262 HAS SOUPS 16382 WITH SCORE 16418.418
AT ITER 3659 NEW BEST:: SOT 87674 SOS 36417 HAS SOPS 35449 HAS SOUS 17260 HAS SOUPS 16380 WITH SCORE 16416.417
AT ITER 3667 NEW BEST:: SOT 87671 SOS 36414 HAS SOPS 35446 HAS SOUS 17260 HAS SOUPS 16380 WITH SCORE 16416.414
AT ITER 3696 NEW BEST:: SOT 87670 SOS 36413 HAS SOPS 35445 HAS SOUS 17258 HAS SOUPS 16378 WITH SCORE 16414.413
AT ITER 3717 NEW BEST:: SOT 87618 SOS 36376 HAS SOPS 35413 HAS SOUS 17239 HAS SOUPS 16364 WITH SCORE 16400.376
AT ITER 3718 NEW BEST:: SOT 87608 SOS 36336 HAS SOPS 35368 HAS SOUS 17229 HAS SOUPS 16349 WITH SCORE 16385.336
AT ITER 3737 NEW BEST:: SOT 87609 SOS 36331 HAS SOPS 35363 HAS SOUS 17224 HAS SOUPS 16344 WITH SCORE 16380.331
AT ITER 3738 NEW BEST:: SOT 87604 SOS 36124 HAS SOPS 35156 HAS SOUS 17193 HAS SOUPS 16313 WITH SCORE 16349.124
AT ITER 3760 NEW BEST:: SOT 87554 SOS 36029 HAS SOPS 35061 HAS SOUS 17120 HAS SOUPS 16240 WITH SCORE 16276.029
AT ITER 3775 NEW BEST:: SOT 87554 SOS 36029 HAS SOPS 35061 HAS SOUS 17113 HAS SOUPS 16233 WITH SCORE 16269.029
AT ITER 3776 NEW BEST:: SOT 87501 SOS 35976 HAS SOPS 35008 HAS SOUS 17064 HAS SOUPS 16184 WITH SCORE 16219.976
AT ITER 3834 NEW BEST:: SOT 87470 SOS 35945 HAS SOPS 34977 HAS SOUS 17058 HAS SOUPS 16178 WITH SCORE 16213.945
AT ITER 3838 NEW BEST:: SOT 87426 SOS 35901 HAS SOPS 34933 HAS SOUS 17036 HAS SOUPS 16156 WITH SCORE 16191.901
AT ITER 3848 NEW BEST:: SOT 87417 SOS 35817 HAS SOPS 34849 HAS SOUS 16945 HAS SOUPS 16065 WITH SCORE 16100.817
AT ITER 3851 NEW BEST:: SOT 87417 SOS 35817 HAS SOPS 34849 HAS SOUS 16939 HAS SOUPS 16059 WITH SCORE 16094.817
AT ITER 3860 NEW BEST:: SOT 87406 SOS 35767 HAS SOPS 34799 HAS SOUS 16913 HAS SOUPS 16033 WITH SCORE 16068.767
AT ITER 3876 NEW BEST:: SOT 87416 SOS 35727 HAS SOPS 34759 HAS SOUS 16903 HAS SOUPS 16023 WITH SCORE 16058.727
AT ITER 3883 NEW BEST:: SOT 87410 SOS 35722 HAS SOPS 34754 HAS SOUS 16865 HAS SOUPS 15985 WITH SCORE 16020.722
AT ITER 3889 NEW BEST:: SOT 87414 SOS 35732 HAS SOPS 34764 HAS SOUS 16864 HAS SOUPS 15984 WITH SCORE 16019.732
AT ITER 3901 NEW BEST:: SOT 87410 SOS 35728 HAS SOPS 34760 HAS SOUS 16846 HAS SOUPS 15966 WITH SCORE 16001.728
AT ITER 3917 NEW BEST:: SOT 87404 SOS 35714 HAS SOPS 34746 HAS SOUS 16841 HAS SOUPS 15961 WITH SCORE 15996.714
AT ITER 3924 NEW BEST:: SOT 87378 SOS 35657 HAS SOPS 34689 HAS SOUS 16836 HAS SOUPS 15956 WITH SCORE 15991.657
AT ITER 3926 NEW BEST:: SOT 87346 SOS 35625 HAS SOPS 34657 HAS SOUS 16824 HAS SOUPS 15944 WITH SCORE 15979.625
AT ITER 3941 NEW BEST:: SOT 87328 SOS 35607 HAS SOPS 34639 HAS SOUS 16806 HAS SOUPS 15926 WITH SCORE 15961.607
AT ITER 3943 NEW BEST:: SOT 87335 SOS 35614 HAS SOPS 34646 HAS SOUS 16793 HAS SOUPS 15913 WITH SCORE 15948.614
AT ITER 3954 NEW BEST:: SOT 87275 SOS 35540 HAS SOPS 34572 HAS SOUS 16779 HAS SOUPS 15899 WITH SCORE 15934.54
AT ITER 3987 NEW BEST:: SOT 87256 SOS 35647 HAS SOPS 34433 HAS SOUS 16885 HAS SOUPS 15878 WITH SCORE 15913.647
AT ITER 3995 NEW BEST:: SOT 87249 SOS 35624 HAS SOPS 34410 HAS SOUS 16873 HAS SOUPS 15866 WITH SCORE 15901.624
AT ITER 4011 NEW BEST:: SOT 87249 SOS 35648 HAS SOPS 34428 HAS SOUS 16873 HAS SOUPS 15860 WITH SCORE 15895.648
AT ITER 4028 NEW BEST:: SOT 87252 SOS 35643 HAS SOPS 34422 HAS SOUS 16870 HAS SOUPS 15856 WITH SCORE 15891.643
AT ITER 4033 NEW BEST:: SOT 87252 SOS 35607 HAS SOPS 34386 HAS SOUS 16864 HAS SOUPS 15850 WITH SCORE 15885.607
AT ITER 4047 NEW BEST:: SOT 87251 SOS 35606 HAS SOPS 34385 HAS SOUS 16863 HAS SOUPS 15849 WITH SCORE 15884.606
AT ITER 4070 NEW BEST:: SOT 87179 SOS 35591 HAS SOPS 34370 HAS SOUS 16830 HAS SOUPS 15816 WITH SCORE 15851.591
AT ITER 4079 NEW BEST:: SOT 87178 SOS 35590 HAS SOPS 34369 HAS SOUS 16829 HAS SOUPS 15815 WITH SCORE 15850.59
AT ITER 4090 NEW BEST:: SOT 87172 SOS 35508 HAS SOPS 34287 HAS SOUS 16817 HAS SOUPS 15803 WITH SCORE 15838.508
AT ITER 4106 NEW BEST:: SOT 87186 SOS 35312 HAS SOPS 34091 HAS SOUS 16789 HAS SOUPS 15775 WITH SCORE 15810.312
AT ITER 4109 NEW BEST:: SOT 87182 SOS 35308 HAS SOPS 34087 HAS SOUS 16787 HAS SOUPS 15773 WITH SCORE 15808.308
AT ITER 4112 NEW BEST:: SOT 87175 SOS 35305 HAS SOPS 34084 HAS SOUS 16787 HAS SOUPS 15773 WITH SCORE 15808.305
AT ITER 4125 NEW BEST:: SOT 87165 SOS 35293 HAS SOPS 34072 HAS SOUS 16786 HAS SOUPS 15772 WITH SCORE 15807.293
AT ITER 4140 NEW BEST:: SOT 87005 SOS 35093 HAS SOPS 33892 HAS SOUS 16712 HAS SOUPS 15718 WITH SCORE 15753.093
AT ITER 4142 NEW BEST:: SOT 87008 SOS 35102 HAS SOPS 33901 HAS SOUS 16711 HAS SOUPS 15717 WITH SCORE 15752.102
AT ITER 4143 NEW BEST:: SOT 87001 SOS 35092 HAS SOPS 33892 HAS SOUS 16705 HAS SOUPS 15712 WITH SCORE 15747.092
AT ITER 4180 NEW BEST:: SOT 87000 SOS 34987 HAS SOPS 33835 HAS SOUS 16576 HAS SOUPS 15631 WITH SCORE 15665.987
AT ITER 4184 NEW BEST:: SOT 86745 SOS 34732 HAS SOPS 33580 HAS SOUS 16507 HAS SOUPS 15562 WITH SCORE 15596.732
AT ITER 4227 NEW BEST:: SOT 86765 SOS 34508 HAS SOPS 33356 HAS SOUS 16455 HAS SOUPS 15510 WITH SCORE 15544.508
AT ITER 4251 NEW BEST:: SOT 86757 SOS 34500 HAS SOPS 33348 HAS SOUS 16439 HAS SOUPS 15494 WITH SCORE 15528.5
AT ITER 4313 NEW BEST:: SOT 86749 SOS 34492 HAS SOPS 33340 HAS SOUS 16429 HAS SOUPS 15484 WITH SCORE 15518.492
AT ITER 4317 NEW BEST:: SOT 86721 SOS 34450 HAS SOPS 33298 HAS SOUS 16387 HAS SOUPS 15442 WITH SCORE 15476.45
AT ITER 4367 NEW BEST:: SOT 86719 SOS 34440 HAS SOPS 33288 HAS SOUS 16381 HAS SOUPS 15436 WITH SCORE 15470.44
AT ITER 4386 NEW BEST:: SOT 86719 SOS 34260 HAS SOPS 33108 HAS SOUS 16369 HAS SOUPS 15424 WITH SCORE 15458.26
AT ITER 4393 NEW BEST:: SOT 86736 SOS 34162 HAS SOPS 33125 HAS SOUS 16284 HAS SOUPS 15402 WITH SCORE 15436.162
AT ITER 4414 NEW BEST:: SOT 86739 SOS 34165 HAS SOPS 33128 HAS SOUS 16278 HAS SOUPS 15396 WITH SCORE 15430.165
AT ITER 4417 NEW BEST:: SOT 86739 SOS 34147 HAS SOPS 33119 HAS SOUS 16269 HAS SOUPS 15396 WITH SCORE 15430.147
AT ITER 4426 NEW BEST:: SOT 86813 SOS 34148 HAS SOPS 33120 HAS SOUS 16263 HAS SOUPS 15390 WITH SCORE 15424.148
AT ITER 4450 NEW BEST:: SOT 86824 SOS 34159 HAS SOPS 33131 HAS SOUS 16259 HAS SOUPS 15386 WITH SCORE 15420.159
AT ITER 4466 NEW BEST:: SOT 86808 SOS 34134 HAS SOPS 33106 HAS SOUS 16235 HAS SOUPS 15362 WITH SCORE 15396.134
AT ITER 4469 NEW BEST:: SOT 86773 SOS 34082 HAS SOPS 33062 HAS SOUS 16235 HAS SOUPS 15362 WITH SCORE 15396.082
AT ITER 4474 NEW BEST:: SOT 86782 SOS 34082 HAS SOPS 33062 HAS SOUS 16226 HAS SOUPS 15353 WITH SCORE 15387.082
AT ITER 4479 NEW BEST:: SOT 86770 SOS 34070 HAS SOPS 33050 HAS SOUS 16218 HAS SOUPS 15345 WITH SCORE 15379.07
AT ITER 4482 NEW BEST:: SOT 86770 SOS 34018 HAS SOPS 32998 HAS SOUS 16216 HAS SOUPS 15343 WITH SCORE 15377.018
AT ITER 4529 NEW BEST:: SOT 86768 SOS 33974 HAS SOPS 32954 HAS SOUS 16208 HAS SOUPS 15335 WITH SCORE 15368.974
AT ITER 4534 NEW BEST:: SOT 86726 SOS 34136 HAS SOPS 33116 HAS SOUS 16197 HAS SOUPS 15324 WITH SCORE 15358.136
AT ITER 4551 NEW BEST:: SOT 86695 SOS 34113 HAS SOPS 33093 HAS SOUS 16180 HAS SOUPS 15307 WITH SCORE 15341.113
AT ITER 4568 NEW BEST:: SOT 86691 SOS 34049 HAS SOPS 33029 HAS SOUS 16172 HAS SOUPS 15299 WITH SCORE 15333.049
AT ITER 4575 NEW BEST:: SOT 86687 SOS 34045 HAS SOPS 33025 HAS SOUS 16172 HAS SOUPS 15299 WITH SCORE 15333.045
AT ITER 4582 NEW BEST:: SOT 86681 SOS 34039 HAS SOPS 33019 HAS SOUS 16168 HAS SOUPS 15295 WITH SCORE 15329.039
AT ITER 4584 NEW BEST:: SOT 86680 SOS 34038 HAS SOPS 33018 HAS SOUS 16166 HAS SOUPS 15293 WITH SCORE 15327.038
AT ITER 4590 NEW BEST:: SOT 86786 SOS 34098 HAS SOPS 33145 HAS SOUS 16072 HAS SOUPS 15266 WITH SCORE 15300.098
AT ITER 4608 NEW BEST:: SOT 86907 SOS 34104 HAS SOPS 33143 HAS SOUS 16068 HAS SOUPS 15262 WITH SCORE 15296.104
AT ITER 4710 NEW BEST:: SOT 86882 SOS 33969 HAS SOPS 33008 HAS SOUS 16053 HAS SOUPS 15247 WITH SCORE 15280.969
AT ITER 4792 NEW BEST:: SOT 86842 SOS 33961 HAS SOPS 33000 HAS SOUS 16048 HAS SOUPS 15242 WITH SCORE 15275.961
AT ITER 4794 NEW BEST:: SOT 86845 SOS 33962 HAS SOPS 33001 HAS SOUS 16043 HAS SOUPS 15237 WITH SCORE 15270.962
AT ITER 4802 NEW BEST:: SOT 86809 SOS 33921 HAS SOPS 32965 HAS SOUS 16012 HAS SOUPS 15211 WITH SCORE 15244.921
AT ITER 4826 NEW BEST:: SOT 86806 SOS 33918 HAS SOPS 32962 HAS SOUS 16011 HAS SOUPS 15210 WITH SCORE 15243.918
AT ITER 4848 NEW BEST:: SOT 86799 SOS 33911 HAS SOPS 32955 HAS SOUS 16003 HAS SOUPS 15202 WITH SCORE 15235.911
AT ITER 4873 NEW BEST:: SOT 86794 SOS 33856 HAS SOPS 32900 HAS SOUS 15993 HAS SOUPS 15192 WITH SCORE 15225.856
AT ITER 4914 NEW BEST:: SOT 86790 SOS 33852 HAS SOPS 32896 HAS SOUS 15986 HAS SOUPS 15185 WITH SCORE 15218.852
AT ITER 4928 NEW BEST:: SOT 86738 SOS 33734 HAS SOPS 32778 HAS SOUS 15945 HAS SOUPS 15144 WITH SCORE 15177.734
AT ITER 4942 NEW BEST:: SOT 86625 SOS 33670 HAS SOPS 32665 HAS SOUS 15907 HAS SOUPS 15057 WITH SCORE 15090.67
AT ITER 4971 NEW BEST:: SOT 86618 SOS 33613 HAS SOPS 32603 HAS SOUS 15893 HAS SOUPS 15038 WITH SCORE 15071.613
AT ITER 4999 NEW BEST:: SOT 86606 SOS 33601 HAS SOPS 32591 HAS SOUS 15857 HAS SOUPS 15002 WITH SCORE 15035.601
AT ITER 5004 NEW BEST:: SOT 86604 SOS 33569 HAS SOPS 32556 HAS SOUS 15855 HAS SOUPS 14997 WITH SCORE 15030.569
AT ITER 5011 NEW BEST:: SOT 86584 SOS 33525 HAS SOPS 32512 HAS SOUS 15839 HAS SOUPS 14981 WITH SCORE 15014.525
AT ITER 5015 NEW BEST:: SOT 86584 SOS 33407 HAS SOPS 32380 HAS SOUS 15836 HAS SOUPS 14967 WITH SCORE 15000.407
AT ITER 5047 NEW BEST:: SOT 86563 SOS 33375 HAS SOPS 32359 HAS SOUS 15790 HAS SOUPS 14932 WITH SCORE 14965.375
AT ITER 5088 NEW BEST:: SOT 86567 SOS 33339 HAS SOPS 32319 HAS SOUS 15794 HAS SOUPS 14932 WITH SCORE 14965.339
AT ITER 5097 NEW BEST:: SOT 86565 SOS 33336 HAS SOPS 32316 HAS SOUS 15793 HAS SOUPS 14931 WITH SCORE 14964.336
AT ITER 5146 NEW BEST:: SOT 86572 SOS 33343 HAS SOPS 32323 HAS SOUS 15786 HAS SOUPS 14924 WITH SCORE 14957.343
AT ITER 5190 NEW BEST:: SOT 86572 SOS 33343 HAS SOPS 32323 HAS SOUS 15780 HAS SOUPS 14918 WITH SCORE 14951.343
AT ITER 5223 NEW BEST:: SOT 86512 SOS 33283 HAS SOPS 32263 HAS SOUS 15780 HAS SOUPS 14918 WITH SCORE 14951.283
AT ITER 5229 NEW BEST:: SOT 86525 SOS 33246 HAS SOPS 32226 HAS SOUS 15774 HAS SOUPS 14912 WITH SCORE 14945.246
AT ITER 5250 NEW BEST:: SOT 86527 SOS 33306 HAS SOPS 32286 HAS SOUS 15763 HAS SOUPS 14901 WITH SCORE 14934.306
AT ITER 5260 NEW BEST:: SOT 86433 SOS 33250 HAS SOPS 32192 HAS SOUS 15730 HAS SOUPS 14830 WITH SCORE 14863.25
AT ITER 5330 NEW BEST:: SOT 86427 SOS 33244 HAS SOPS 32186 HAS SOUS 15708 HAS SOUPS 14808 WITH SCORE 14841.244
AT ITER 5344 NEW BEST:: SOT 86421 SOS 33226 HAS SOPS 32168 HAS SOUS 15690 HAS SOUPS 14790 WITH SCORE 14823.226
AT ITER 5347 NEW BEST:: SOT 86423 SOS 33202 HAS SOPS 32144 HAS SOUS 15685 HAS SOUPS 14785 WITH SCORE 14818.202
AT ITER 5357 NEW BEST:: SOT 86432 SOS 33222 HAS SOPS 32163 HAS SOUS 15651 HAS SOUPS 14751 WITH SCORE 14784.222
AT ITER 5360 NEW BEST:: SOT 86432 SOS 33222 HAS SOPS 32163 HAS SOUS 15646 HAS SOUPS 14746 WITH SCORE 14779.222
AT ITER 5373 NEW BEST:: SOT 86433 SOS 33145 HAS SOPS 32086 HAS SOUS 15634 HAS SOUPS 14734 WITH SCORE 14767.145
AT ITER 5398 NEW BEST:: SOT 86432 SOS 33131 HAS SOPS 32070 HAS SOUS 15628 HAS SOUPS 14726 WITH SCORE 14759.131
AT ITER 5423 NEW BEST:: SOT 86428 SOS 33103 HAS SOPS 32042 HAS SOUS 15624 HAS SOUPS 14722 WITH SCORE 14755.103
AT ITER 5452 NEW BEST:: SOT 86398 SOS 33073 HAS SOPS 32012 HAS SOUS 15619 HAS SOUPS 14717 WITH SCORE 14750.073
AT ITER 5456 NEW BEST:: SOT 86398 SOS 33109 HAS SOPS 32039 HAS SOUS 15610 HAS SOUPS 14708 WITH SCORE 14741.109
AT ITER 5484 NEW BEST:: SOT 86366 SOS 32893 HAS SOPS 31823 HAS SOUS 15578 HAS SOUPS 14676 WITH SCORE 14708.893
AT ITER 5499 NEW BEST:: SOT 86362 SOS 32901 HAS SOPS 31831 HAS SOUS 15574 HAS SOUPS 14672 WITH SCORE 14704.901
AT ITER 5510 NEW BEST:: SOT 86364 SOS 32884 HAS SOPS 31814 HAS SOUS 15574 HAS SOUPS 14672 WITH SCORE 14704.884
AT ITER 5563 NEW BEST:: SOT 86340 SOS 32820 HAS SOPS 31746 HAS SOUS 15558 HAS SOUPS 14652 WITH SCORE 14684.82
AT ITER 5592 NEW BEST:: SOT 86340 SOS 32580 HAS SOPS 31506 HAS SOUS 15537 HAS SOUPS 14631 WITH SCORE 14663.58
AT ITER 5610 NEW BEST:: SOT 86303 SOS 32532 HAS SOPS 31458 HAS SOUS 15534 HAS SOUPS 14628 WITH SCORE 14660.532
AT ITER 5638 NEW BEST:: SOT 86280 SOS 32488 HAS SOPS 31414 HAS SOUS 15516 HAS SOUPS 14610 WITH SCORE 14642.488
AT ITER 5672 NEW BEST:: SOT 86258 SOS 32434 HAS SOPS 31360 HAS SOUS 15499 HAS SOUPS 14593 WITH SCORE 14625.434
AT ITER 5728 NEW BEST:: SOT 86254 SOS 32430 HAS SOPS 31356 HAS SOUS 15499 HAS SOUPS 14593 WITH SCORE 14625.43
AT ITER 5741 NEW BEST:: SOT 86265 SOS 32441 HAS SOPS 31367 HAS SOUS 15495 HAS SOUPS 14589 WITH SCORE 14621.441
AT ITER 5749 NEW BEST:: SOT 86238 SOS 32415 HAS SOPS 31341 HAS SOUS 15474 HAS SOUPS 14568 WITH SCORE 14600.415
AT ITER 5754 NEW BEST:: SOT 86237 SOS 32414 HAS SOPS 31340 HAS SOUS 15473 HAS SOUPS 14567 WITH SCORE 14599.414
AT ITER 5781 NEW BEST:: SOT 86230 SOS 32407 HAS SOPS 31333 HAS SOUS 15466 HAS SOUPS 14560 WITH SCORE 14592.407
AT ITER 5794 NEW BEST:: SOT 86181 SOS 32362 HAS SOPS 31288 HAS SOUS 15463 HAS SOUPS 14557 WITH SCORE 14589.362
AT ITER 5838 NEW BEST:: SOT 86167 SOS 32348 HAS SOPS 31274 HAS SOUS 15449 HAS SOUPS 14543 WITH SCORE 14575.348
AT ITER 5839 NEW BEST:: SOT 86133 SOS 32246 HAS SOPS 31172 HAS SOUS 15433 HAS SOUPS 14527 WITH SCORE 14559.246
AT ITER 5854 NEW BEST:: SOT 86056 SOS 32169 HAS SOPS 31095 HAS SOUS 15379 HAS SOUPS 14473 WITH SCORE 14505.169
AT ITER 5870 NEW BEST:: SOT 86056 SOS 32160 HAS SOPS 31083 HAS SOUS 15377 HAS SOUPS 14470 WITH SCORE 14502.16
AT ITER 5951 NEW BEST:: SOT 86068 SOS 32147 HAS SOPS 31066 HAS SOUS 15381 HAS SOUPS 14470 WITH SCORE 14502.147
AT ITER 5971 NEW BEST:: SOT 86046 SOS 32097 HAS SOPS 31016 HAS SOUS 15353 HAS SOUPS 14442 WITH SCORE 14474.097
AT ITER 5982 NEW BEST:: SOT 86045 SOS 32096 HAS SOPS 31015 HAS SOUS 15352 HAS SOUPS 14441 WITH SCORE 14473.096
AT ITER 5983 NEW BEST:: SOT 86049 SOS 32115 HAS SOPS 31049 HAS SOUS 15330 HAS SOUPS 14433 WITH SCORE 14465.115
AT ITER 5989 NEW BEST:: SOT 86051 SOS 32117 HAS SOPS 31051 HAS SOUS 15329 HAS SOUPS 14432 WITH SCORE 14464.117
AT ITER 6003 NEW BEST:: SOT 86048 SOS 32105 HAS SOPS 31039 HAS SOUS 15326 HAS SOUPS 14429 WITH SCORE 14461.105
AT ITER 6076 NEW BEST:: SOT 86068 SOS 32106 HAS SOPS 31059 HAS SOUS 15290 HAS SOUPS 14412 WITH SCORE 14444.106
AT ITER 6168 NEW BEST:: SOT 86055 SOS 32093 HAS SOPS 31046 HAS SOUS 15285 HAS SOUPS 14407 WITH SCORE 14439.093
AT ITER 6174 NEW BEST:: SOT 86031 SOS 32143 HAS SOPS 31107 HAS SOUS 15271 HAS SOUPS 14404 WITH SCORE 14436.143
AT ITER 6183 NEW BEST:: SOT 86017 SOS 32141 HAS SOPS 31105 HAS SOUS 15271 HAS SOUPS 14404 WITH SCORE 14436.141
AT ITER 6229 NEW BEST:: SOT 86043 SOS 32121 HAS SOPS 31085 HAS SOUS 15271 HAS SOUPS 14404 WITH SCORE 14436.121
AT ITER 6303 NEW BEST:: SOT 86057 SOS 32077 HAS SOPS 31041 HAS SOUS 15270 HAS SOUPS 14403 WITH SCORE 14435.077
AT ITER 6311 NEW BEST:: SOT 86057 SOS 32077 HAS SOPS 31041 HAS SOUS 15266 HAS SOUPS 14399 WITH SCORE 14431.077
AT ITER 6325 NEW BEST:: SOT 86053 SOS 32073 HAS SOPS 31037 HAS SOUS 15258 HAS SOUPS 14391 WITH SCORE 14423.073
AT ITER 6328 NEW BEST:: SOT 86053 SOS 32073 HAS SOPS 31037 HAS SOUS 15253 HAS SOUPS 14386 WITH SCORE 14418.073
AT ITER 6397 NEW BEST:: SOT 86052 SOS 32072 HAS SOPS 31036 HAS SOUS 15253 HAS SOUPS 14386 WITH SCORE 14418.072
AT ITER 6417 NEW BEST:: SOT 86052 SOS 32066 HAS SOPS 31030 HAS SOUS 15253 HAS SOUPS 14386 WITH SCORE 14418.066
AT ITER 6449 NEW BEST:: SOT 86036 SOS 32050 HAS SOPS 31014 HAS SOUS 15249 HAS SOUPS 14382 WITH SCORE 14414.05
AT ITER 6466 NEW BEST:: SOT 86032 SOS 32046 HAS SOPS 31010 HAS SOUS 15224 HAS SOUPS 14357 WITH SCORE 14389.046
AT ITER 6517 NEW BEST:: SOT 86029 SOS 32043 HAS SOPS 31007 HAS SOUS 15209 HAS SOUPS 14342 WITH SCORE 14374.043
AT ITER 6576 NEW BEST:: SOT 86016 SOS 32038 HAS SOPS 31002 HAS SOUS 15204 HAS SOUPS 14337 WITH SCORE 14369.038
AT ITER 6587 NEW BEST:: SOT 86015 SOS 32037 HAS SOPS 31001 HAS SOUS 15203 HAS SOUPS 14336 WITH SCORE 14368.037
AT ITER 6597 NEW BEST:: SOT 86010 SOS 32032 HAS SOPS 30996 HAS SOUS 15198 HAS SOUPS 14331 WITH SCORE 14363.032
AT ITER 6665 NEW BEST:: SOT 86025 SOS 32047 HAS SOPS 31011 HAS SOUS 15187 HAS SOUPS 14320 WITH SCORE 14352.047
AT ITER 6672 NEW BEST:: SOT 86029 SOS 32045 HAS SOPS 31009 HAS SOUS 15179 HAS SOUPS 14312 WITH SCORE 14344.045
AT ITER 6699 NEW BEST:: SOT 86145 SOS 32143 HAS SOPS 31107 HAS SOUS 15176 HAS SOUPS 14309 WITH SCORE 14341.143
AT ITER 6782 NEW BEST:: SOT 86135 SOS 32133 HAS SOPS 31097 HAS SOUS 15174 HAS SOUPS 14307 WITH SCORE 14339.133
AT ITER 6789 NEW BEST:: SOT 86131 SOS 32129 HAS SOPS 31093 HAS SOUS 15170 HAS SOUPS 14303 WITH SCORE 14335.129
AT ITER 6847 NEW BEST:: SOT 86127 SOS 32105 HAS SOPS 31069 HAS SOUS 15162 HAS SOUPS 14295 WITH SCORE 14327.105
AT ITER 6860 NEW BEST:: SOT 86122 SOS 32100 HAS SOPS 31064 HAS SOUS 15152 HAS SOUPS 14285 WITH SCORE 14317.1
AT ITER 6884 NEW BEST:: SOT 86107 SOS 32085 HAS SOPS 31049 HAS SOUS 15146 HAS SOUPS 14279 WITH SCORE 14311.085
AT ITER 6890 NEW BEST:: SOT 86109 SOS 32087 HAS SOPS 31051 HAS SOUS 15141 HAS SOUPS 14274 WITH SCORE 14306.087
AT ITER 6905 NEW BEST:: SOT 86135 SOS 32148 HAS SOPS 31112 HAS SOUS 15137 HAS SOUPS 14270 WITH SCORE 14302.148
AT ITER 6922 NEW BEST:: SOT 86114 SOS 32105 HAS SOPS 31069 HAS SOUS 15134 HAS SOUPS 14267 WITH SCORE 14299.105
AT ITER 6960 NEW BEST:: SOT 86102 SOS 32093 HAS SOPS 31057 HAS SOUS 15128 HAS SOUPS 14261 WITH SCORE 14293.093
AT ITER 6973 NEW BEST:: SOT 86098 SOS 32085 HAS SOPS 31049 HAS SOUS 15124 HAS SOUPS 14257 WITH SCORE 14289.085
AT ITER 7029 NEW BEST:: SOT 86118 SOS 32025 HAS SOPS 30989 HAS SOUS 15124 HAS SOUPS 14257 WITH SCORE 14289.025
AT ITER 7062 NEW BEST:: SOT 86102 SOS 32011 HAS SOPS 30975 HAS SOUS 15112 HAS SOUPS 14245 WITH SCORE 14277.011
AT ITER 7068 NEW BEST:: SOT 86112 SOS 32026 HAS SOPS 30975 HAS SOUS 15117 HAS SOUPS 14240 WITH SCORE 14272.026
AT ITER 7091 NEW BEST:: SOT 86108 SOS 32022 HAS SOPS 30971 HAS SOUS 15117 HAS SOUPS 14240 WITH SCORE 14272.022
AT ITER 7095 NEW BEST:: SOT 86106 SOS 32018 HAS SOPS 30967 HAS SOUS 15113 HAS SOUPS 14236 WITH SCORE 14268.018
AT ITER 7099 NEW BEST:: SOT 86081 SOS 32007 HAS SOPS 30942 HAS SOUS 15119 HAS SOUPS 14228 WITH SCORE 14260.007
AT ITER 7122 NEW BEST:: SOT 86056 SOS 31991 HAS SOPS 30926 HAS SOUS 15113 HAS SOUPS 14222 WITH SCORE 14253.991
AT ITER 7159 NEW BEST:: SOT 86056 SOS 31975 HAS SOPS 30910 HAS SOUS 15108 HAS SOUPS 14217 WITH SCORE 14248.975
AT ITER 7335 NEW BEST:: SOT 86056 SOS 31964 HAS SOPS 30899 HAS SOUS 15106 HAS SOUPS 14215 WITH SCORE 14246.964
AT ITER 7340 NEW BEST:: SOT 86056 SOS 31964 HAS SOPS 30899 HAS SOUS 15102 HAS SOUPS 14211 WITH SCORE 14242.964
AT ITER 7358 NEW BEST:: SOT 86054 SOS 31928 HAS SOPS 30861 HAS SOUS 15098 HAS SOUPS 14207 WITH SCORE 14238.928
AT ITER 7401 NEW BEST:: SOT 86042 SOS 31916 HAS SOPS 30849 HAS SOUS 15091 HAS SOUPS 14200 WITH SCORE 14231.916
AT ITER 7453 NEW BEST:: SOT 86058 SOS 31929 HAS SOPS 30862 HAS SOUS 15086 HAS SOUPS 14195 WITH SCORE 14226.929
AT ITER 7481 NEW BEST:: SOT 86047 SOS 31764 HAS SOPS 30686 HAS SOUS 15064 HAS SOUPS 14173 WITH SCORE 14204.764
AT ITER 7582 NEW BEST:: SOT 86108 SOS 31825 HAS SOPS 30747 HAS SOUS 15059 HAS SOUPS 14168 WITH SCORE 14199.825
AT ITER 7583 NEW BEST:: SOT 86111 SOS 31796 HAS SOPS 30718 HAS SOUS 15046 HAS SOUPS 14155 WITH SCORE 14186.796
AT ITER 7633 NEW BEST:: SOT 86109 SOS 31794 HAS SOPS 30716 HAS SOUS 15046 HAS SOUPS 14155 WITH SCORE 14186.794
AT ITER 7645 NEW BEST:: SOT 86109 SOS 31806 HAS SOPS 30725 HAS SOUS 15043 HAS SOUPS 14152 WITH SCORE 14183.806
AT ITER 7689 NEW BEST:: SOT 86109 SOS 31806 HAS SOPS 30725 HAS SOUS 15037 HAS SOUPS 14146 WITH SCORE 14177.806
AT ITER 7721 NEW BEST:: SOT 85979 SOS 31756 HAS SOPS 30675 HAS SOUS 14996 HAS SOUPS 14105 WITH SCORE 14136.756
AT ITER 7746 NEW BEST:: SOT 85993 SOS 31764 HAS SOPS 30683 HAS SOUS 14994 HAS SOUPS 14103 WITH SCORE 14134.764
AT ITER 7750 NEW BEST:: SOT 85961 SOS 31599 HAS SOPS 30518 HAS SOUS 14984 HAS SOUPS 14093 WITH SCORE 14124.599
AT ITER 7751 NEW BEST:: SOT 85974 SOS 31615 HAS SOPS 30534 HAS SOUS 14959 HAS SOUPS 14068 WITH SCORE 14099.615
AT ITER 7808 NEW BEST:: SOT 85957 SOS 31644 HAS SOPS 30540 HAS SOUS 14961 HAS SOUPS 14047 WITH SCORE 14078.644
AT ITER 7819 NEW BEST:: SOT 85947 SOS 31634 HAS SOPS 30530 HAS SOUS 14951 HAS SOUPS 14037 WITH SCORE 14068.634
AT ITER 7897 NEW BEST:: SOT 85947 SOS 31634 HAS SOPS 30530 HAS SOUS 14920 HAS SOUPS 14006 WITH SCORE 14037.634
AT ITER 7968 NEW BEST:: SOT 85951 SOS 31659 HAS SOPS 30555 HAS SOUS 14919 HAS SOUPS 14005 WITH SCORE 14036.659
AT ITER 7994 NEW BEST:: SOT 85960 SOS 31668 HAS SOPS 30564 HAS SOUS 14916 HAS SOUPS 14002 WITH SCORE 14033.668
AT ITER 8018 NEW BEST:: SOT 85947 SOS 31640 HAS SOPS 30536 HAS SOUS 14913 HAS SOUPS 13999 WITH SCORE 14030.64
AT ITER 8055 NEW BEST:: SOT 85958 SOS 31585 HAS SOPS 30481 HAS SOUS 14886 HAS SOUPS 13972 WITH SCORE 14003.585
AT ITER 8067 NEW BEST:: SOT 85968 SOS 31595 HAS SOPS 30491 HAS SOUS 14882 HAS SOUPS 13968 WITH SCORE 13999.595
AT ITER 8106 NEW BEST:: SOT 85948 SOS 31545 HAS SOPS 30441 HAS SOUS 14878 HAS SOUPS 13964 WITH SCORE 13995.545
AT ITER 8107 NEW BEST:: SOT 85958 SOS 31535 HAS SOPS 30431 HAS SOUS 14877 HAS SOUPS 13963 WITH SCORE 13994.535
AT ITER 8122 NEW BEST:: SOT 85931 SOS 31575 HAS SOPS 30471 HAS SOUS 14871 HAS SOUPS 13957 WITH SCORE 13988.575
AT ITER 8150 NEW BEST:: SOT 85940 SOS 31584 HAS SOPS 30480 HAS SOUS 14860 HAS SOUPS 13946 WITH SCORE 13977.584
AT ITER 8165 NEW BEST:: SOT 85936 SOS 31580 HAS SOPS 30476 HAS SOUS 14852 HAS SOUPS 13938 WITH SCORE 13969.58
AT ITER 8245 NEW BEST:: SOT 85906 SOS 31574 HAS SOPS 30470 HAS SOUS 14845 HAS SOUPS 13931 WITH SCORE 13962.574
AT ITER 8254 NEW BEST:: SOT 85888 SOS 31421 HAS SOPS 30317 HAS SOUS 14809 HAS SOUPS 13895 WITH SCORE 13926.421
AT ITER 8273 NEW BEST:: SOT 85883 SOS 31444 HAS SOPS 30340 HAS SOUS 14806 HAS SOUPS 13892 WITH SCORE 13923.444
AT ITER 8277 NEW BEST:: SOT 85880 SOS 31443 HAS SOPS 30339 HAS SOUS 14800 HAS SOUPS 13886 WITH SCORE 13917.443
AT ITER 8290 NEW BEST:: SOT 85852 SOS 31415 HAS SOPS 30311 HAS SOUS 14788 HAS SOUPS 13874 WITH SCORE 13905.415
AT ITER 8391 NEW BEST:: SOT 85846 SOS 31409 HAS SOPS 30305 HAS SOUS 14776 HAS SOUPS 13862 WITH SCORE 13893.409
AT ITER 8434 NEW BEST:: SOT 85848 SOS 31399 HAS SOPS 30295 HAS SOUS 14767 HAS SOUPS 13853 WITH SCORE 13884.399
AT ITER 8506 NEW BEST:: SOT 85798 SOS 31289 HAS SOPS 30185 HAS SOUS 14726 HAS SOUPS 13812 WITH SCORE 13843.289
AT ITER 8563 NEW BEST:: SOT 85798 SOS 31288 HAS SOPS 30184 HAS SOUS 14726 HAS SOUPS 13812 WITH SCORE 13843.288
AT ITER 8570 NEW BEST:: SOT 85852 SOS 31342 HAS SOPS 30238 HAS SOUS 14708 HAS SOUPS 13794 WITH SCORE 13825.342
AT ITER 8572 NEW BEST:: SOT 85846 SOS 31336 HAS SOPS 30232 HAS SOUS 14666 HAS SOUPS 13752 WITH SCORE 13783.336
AT ITER 8578 NEW BEST:: SOT 85845 SOS 31335 HAS SOPS 30231 HAS SOUS 14664 HAS SOUPS 13750 WITH SCORE 13781.335
AT ITER 8588 NEW BEST:: SOT 85813 SOS 31283 HAS SOPS 30179 HAS SOUS 14637 HAS SOUPS 13723 WITH SCORE 13754.283
AT ITER 8724 NEW BEST:: SOT 85818 SOS 31269 HAS SOPS 30165 HAS SOUS 14628 HAS SOUPS 13714 WITH SCORE 13745.269
AT ITER 8802 NEW BEST:: SOT 85814 SOS 31263 HAS SOPS 30159 HAS SOUS 14628 HAS SOUPS 13714 WITH SCORE 13745.263
AT ITER 8811 NEW BEST:: SOT 85798 SOS 31247 HAS SOPS 30143 HAS SOUS 14628 HAS SOUPS 13714 WITH SCORE 13745.247
AT ITER 8876 NEW BEST:: SOT 85793 SOS 31168 HAS SOPS 30057 HAS SOUS 14608 HAS SOUPS 13694 WITH SCORE 13725.168
AT ITER 8916 NEW BEST:: SOT 85773 SOS 31215 HAS SOPS 30104 HAS SOUS 14598 HAS SOUPS 13684 WITH SCORE 13715.215
AT ITER 8932 NEW BEST:: SOT 85745 SOS 31186 HAS SOPS 30075 HAS SOUS 14586 HAS SOUPS 13672 WITH SCORE 13703.186
AT ITER 8942 NEW BEST:: SOT 85709 SOS 31150 HAS SOPS 30039 HAS SOUS 14568 HAS SOUPS 13654 WITH SCORE 13685.15
AT ITER 9016 NEW BEST:: SOT 85709 SOS 31148 HAS SOPS 30038 HAS SOUS 14567 HAS SOUPS 13654 WITH SCORE 13685.148
AT ITER 9021 NEW BEST:: SOT 85675 SOS 31114 HAS SOPS 30004 HAS SOUS 14567 HAS SOUPS 13654 WITH SCORE 13685.114
AT ITER 9070 NEW BEST:: SOT 85686 SOS 31125 HAS SOPS 30015 HAS SOUS 14564 HAS SOUPS 13651 WITH SCORE 13682.125
AT ITER 9090 NEW BEST:: SOT 85686 SOS 31125 HAS SOPS 30015 HAS SOUS 14563 HAS SOUPS 13650 WITH SCORE 13681.125
AT ITER 9094 NEW BEST:: SOT 85640 SOS 31082 HAS SOPS 29972 HAS SOUS 14555 HAS SOUPS 13642 WITH SCORE 13673.082
AT ITER 9096 NEW BEST:: SOT 85642 SOS 31084 HAS SOPS 29974 HAS SOUS 14552 HAS SOUPS 13639 WITH SCORE 13670.084
AT ITER 9191 NEW BEST:: SOT 85636 SOS 31078 HAS SOPS 29968 HAS SOUS 14540 HAS SOUPS 13627 WITH SCORE 13658.078
AT ITER 9213 NEW BEST:: SOT 85643 SOS 31085 HAS SOPS 29975 HAS SOUS 14537 HAS SOUPS 13624 WITH SCORE 13655.085
AT ITER 9239 NEW BEST:: SOT 85645 SOS 31083 HAS SOPS 29973 HAS SOUS 14531 HAS SOUPS 13618 WITH SCORE 13649.083
AT ITER 9288 NEW BEST:: SOT 85641 SOS 31081 HAS SOPS 29971 HAS SOUS 14531 HAS SOUPS 13618 WITH SCORE 13649.081
AT ITER 9291 NEW BEST:: SOT 85636 SOS 31076 HAS SOPS 29966 HAS SOUS 14521 HAS SOUPS 13608 WITH SCORE 13639.076
AT ITER 9306 NEW BEST:: SOT 85634 SOS 31074 HAS SOPS 29964 HAS SOUS 14521 HAS SOUPS 13608 WITH SCORE 13639.074
AT ITER 9314 NEW BEST:: SOT 85634 SOS 31068 HAS SOPS 29958 HAS SOUS 14521 HAS SOUPS 13608 WITH SCORE 13639.068
AT ITER 9418 NEW BEST:: SOT 85635 SOS 31069 HAS SOPS 29959 HAS SOUS 14519 HAS SOUPS 13606 WITH SCORE 13637.069
AT ITER 9455 NEW BEST:: SOT 85630 SOS 31054 HAS SOPS 29944 HAS SOUS 14516 HAS SOUPS 13603 WITH SCORE 13634.054
AT ITER 9472 NEW BEST:: SOT 85622 SOS 31070 HAS SOPS 29960 HAS SOUS 14512 HAS SOUPS 13599 WITH SCORE 13630.07
AT ITER 9511 NEW BEST:: SOT 85632 SOS 31080 HAS SOPS 29970 HAS SOUS 14496 HAS SOUPS 13583 WITH SCORE 13614.08
AT ITER 9598 NEW BEST:: SOT 85640 SOS 31088 HAS SOPS 29978 HAS SOUS 14484 HAS SOUPS 13571 WITH SCORE 13602.088
AT ITER 9606 NEW BEST:: SOT 85638 SOS 31130 HAS SOPS 30020 HAS SOUS 14482 HAS SOUPS 13569 WITH SCORE 13600.13
AT ITER 9638 NEW BEST:: SOT 85636 SOS 31114 HAS SOPS 30004 HAS SOUS 14479 HAS SOUPS 13566 WITH SCORE 13597.114
AT ITER 9690 NEW BEST:: SOT 85627 SOS 31105 HAS SOPS 29995 HAS SOUS 14461 HAS SOUPS 13548 WITH SCORE 13579.105
AT ITER 9691 NEW BEST:: SOT 85645 SOS 31141 HAS SOPS 30013 HAS SOUS 14461 HAS SOUPS 13530 WITH SCORE 13561.141
AT ITER 9709 NEW BEST:: SOT 85659 SOS 31155 HAS SOPS 30027 HAS SOUS 14441 HAS SOUPS 13510 WITH SCORE 13541.155
AT ITER 9742 NEW BEST:: SOT 85659 SOS 31155 HAS SOPS 30027 HAS SOUS 14438 HAS SOUPS 13507 WITH SCORE 13538.155
AT ITER 9763 NEW BEST:: SOT 85638 SOS 31138 HAS SOPS 30010 HAS SOUS 14430 HAS SOUPS 13499 WITH SCORE 13530.138
AT ITER 9790 NEW BEST:: SOT 85673 SOS 31138 HAS SOPS 30008 HAS SOUS 14428 HAS SOUPS 13495 WITH SCORE 13526.138
AT ITER 9821 NEW BEST:: SOT 85683 SOS 31148 HAS SOPS 30018 HAS SOUS 14421 HAS SOUPS 13488 WITH SCORE 13519.148
AT ITER 9857 NEW BEST:: SOT 85689 SOS 31148 HAS SOPS 30018 HAS SOUS 14420 HAS SOUPS 13487 WITH SCORE 13518.148
AT ITER 9949 NEW BEST:: SOT 85744 SOS 31153 HAS SOPS 30023 HAS SOUS 14383 HAS SOUPS 13450 WITH SCORE 13481.153
AT ITER 9956 NEW BEST:: SOT 85767 SOS 31176 HAS SOPS 30046 HAS SOUS 14352 HAS SOUPS 13419 WITH SCORE 13450.176
AT ITER 9966 NEW BEST:: SOT 85757 SOS 31164 HAS SOPS 30034 HAS SOUS 14344 HAS SOUPS 13411 WITH SCORE 13442.164
AT ITER 9996 NEW BEST:: SOT 85741 SOS 31146 HAS SOPS 30016 HAS SOUS 14338 HAS SOUPS 13405 WITH SCORE 13436.146
AT ITER 9999 NEW BEST:: SOT 85730 SOS 31054 HAS SOPS 29924 HAS SOUS 14311 HAS SOUPS 13378 WITH SCORE 13409.054
BK_STOP 1678832890567
--------------------
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: 486 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="NoC3x3-PT-4A"
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 NoC3x3-PT-4A, 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 r267-smll-167863541600280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-4A.tgz
mv NoC3x3-PT-4A 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 ;