About the Execution of Smart+red for GPUForwardProgress-PT-28b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1214.972 | 3600000.00 | 3627394.00 | 11267.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r203-smll-167840349100112.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 GPUForwardProgress-PT-28b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349100112
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 576K
-rw-r--r-- 1 mcc users 8.3K Feb 25 14:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 14:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 14:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 14:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 25 14:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 14:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 14:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 14:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 141K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678540321711
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=GPUForwardProgress-PT-28b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 13:12:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 13:12:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 13:12:05] [INFO ] Load time of PNML (sax parser for PT used): 158 ms
[2023-03-11 13:12:05] [INFO ] Transformed 568 places.
[2023-03-11 13:12:05] [INFO ] Transformed 597 transitions.
[2023-03-11 13:12:05] [INFO ] Found NUPN structural information;
[2023-03-11 13:12:05] [INFO ] Parsed PT model containing 568 places and 597 transitions and 1477 arcs in 306 ms.
[2023-03-11 13:12:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 568 places, 597 transitions and 1477 arcs took 17 ms.
Total runtime 386 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 28b
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: 568 places, 597 transitions, 1477 arcs.
AT ITER 0 NEW BEST:: SOT 191415 SOS 52203 HAS SOPS 52203 HAS SOUS 47451 HAS SOUPS 47451 WITH SCORE 47503.203
AT ITER 4 NEW BEST:: SOT 191381 SOS 52169 HAS SOPS 52169 HAS SOUS 47417 HAS SOUPS 47417 WITH SCORE 47469.169
AT ITER 50 NEW BEST:: SOT 191381 SOS 52129 HAS SOPS 52129 HAS SOUS 47383 HAS SOUPS 47383 WITH SCORE 47435.129
AT ITER 51 NEW BEST:: SOT 191376 SOS 52124 HAS SOPS 52124 HAS SOUS 47378 HAS SOUPS 47378 WITH SCORE 47430.124
AT ITER 53 NEW BEST:: SOT 191382 SOS 52070 HAS SOPS 52070 HAS SOUS 47324 HAS SOUPS 47324 WITH SCORE 47376.07
AT ITER 58 NEW BEST:: SOT 191382 SOS 52070 HAS SOPS 52070 HAS SOUS 47323 HAS SOUPS 47323 WITH SCORE 47375.07
AT ITER 63 NEW BEST:: SOT 191382 SOS 52070 HAS SOPS 52070 HAS SOUS 47322 HAS SOUPS 47322 WITH SCORE 47374.07
AT ITER 85 NEW BEST:: SOT 191382 SOS 52070 HAS SOPS 52070 HAS SOUS 47309 HAS SOUPS 47309 WITH SCORE 47361.07
AT ITER 87 NEW BEST:: SOT 191309 SOS 51982 HAS SOPS 51982 HAS SOUS 47236 HAS SOUPS 47236 WITH SCORE 47287.982
AT ITER 107 NEW BEST:: SOT 191309 SOS 51982 HAS SOPS 51982 HAS SOUS 47235 HAS SOUPS 47235 WITH SCORE 47286.982
AT ITER 126 NEW BEST:: SOT 191260 SOS 51933 HAS SOPS 51933 HAS SOUS 47186 HAS SOUPS 47186 WITH SCORE 47237.933
AT ITER 155 NEW BEST:: SOT 191260 SOS 51900 HAS SOPS 51900 HAS SOUS 47186 HAS SOUPS 47186 WITH SCORE 47237.9
AT ITER 160 NEW BEST:: SOT 191235 SOS 51855 HAS SOPS 51855 HAS SOUS 47161 HAS SOUPS 47161 WITH SCORE 47212.855
AT ITER 178 NEW BEST:: SOT 191183 SOS 51751 HAS SOPS 51751 HAS SOUS 47057 HAS SOUPS 47057 WITH SCORE 47108.751
AT ITER 188 NEW BEST:: SOT 191183 SOS 51751 HAS SOPS 51751 HAS SOUS 47000 HAS SOUPS 47000 WITH SCORE 47051.751
AT ITER 193 NEW BEST:: SOT 191183 SOS 51751 HAS SOPS 51751 HAS SOUS 46999 HAS SOUPS 46999 WITH SCORE 47050.751
AT ITER 210 NEW BEST:: SOT 191183 SOS 51751 HAS SOPS 51751 HAS SOUS 46998 HAS SOUPS 46998 WITH SCORE 47049.751
AT ITER 224 NEW BEST:: SOT 191190 SOS 51717 HAS SOPS 51717 HAS SOUS 46964 HAS SOUPS 46964 WITH SCORE 47015.717
AT ITER 230 NEW BEST:: SOT 191158 SOS 51659 HAS SOPS 51659 HAS SOUS 46932 HAS SOUPS 46932 WITH SCORE 46983.659
AT ITER 234 NEW BEST:: SOT 191141 SOS 51608 HAS SOPS 51608 HAS SOUS 46898 HAS SOUPS 46898 WITH SCORE 46949.608
AT ITER 240 NEW BEST:: SOT 191090 SOS 51506 HAS SOPS 51506 HAS SOUS 46796 HAS SOUPS 46796 WITH SCORE 46847.506
AT ITER 241 NEW BEST:: SOT 191090 SOS 51506 HAS SOPS 51506 HAS SOUS 46795 HAS SOUPS 46795 WITH SCORE 46846.506
AT ITER 244 NEW BEST:: SOT 191090 SOS 51426 HAS SOPS 51426 HAS SOUS 46733 HAS SOUPS 46733 WITH SCORE 46784.426
AT ITER 247 NEW BEST:: SOT 191090 SOS 51402 HAS SOPS 51402 HAS SOUS 46733 HAS SOUPS 46733 WITH SCORE 46784.402
AT ITER 275 NEW BEST:: SOT 191102 SOS 51381 HAS SOPS 51381 HAS SOUS 46712 HAS SOUPS 46712 WITH SCORE 46763.381
AT ITER 286 NEW BEST:: SOT 191095 SOS 51367 HAS SOPS 51367 HAS SOUS 46698 HAS SOUPS 46698 WITH SCORE 46749.367
AT ITER 291 NEW BEST:: SOT 191095 SOS 51367 HAS SOPS 51367 HAS SOUS 46697 HAS SOUPS 46697 WITH SCORE 46748.367
AT ITER 292 NEW BEST:: SOT 191053 SOS 51313 HAS SOPS 51313 HAS SOUS 46643 HAS SOUPS 46643 WITH SCORE 46694.313
AT ITER 318 NEW BEST:: SOT 191053 SOS 51313 HAS SOPS 51313 HAS SOUS 46642 HAS SOUPS 46642 WITH SCORE 46693.313
AT ITER 322 NEW BEST:: SOT 191053 SOS 51230 HAS SOPS 51230 HAS SOUS 46559 HAS SOUPS 46559 WITH SCORE 46610.23
AT ITER 329 NEW BEST:: SOT 191031 SOS 51193 HAS SOPS 51193 HAS SOUS 46522 HAS SOUPS 46522 WITH SCORE 46573.193
AT ITER 346 NEW BEST:: SOT 191127 SOS 51095 HAS SOPS 51095 HAS SOUS 46510 HAS SOUPS 46510 WITH SCORE 46561.095
AT ITER 370 NEW BEST:: SOT 191127 SOS 51029 HAS SOPS 51029 HAS SOUS 46477 HAS SOUPS 46477 WITH SCORE 46528.029
AT ITER 396 NEW BEST:: SOT 191127 SOS 51022 HAS SOPS 51022 HAS SOUS 46470 HAS SOUPS 46470 WITH SCORE 46521.022
AT ITER 397 NEW BEST:: SOT 191126 SOS 51020 HAS SOPS 51020 HAS SOUS 46468 HAS SOUPS 46468 WITH SCORE 46519.02
AT ITER 404 NEW BEST:: SOT 191084 SOS 50936 HAS SOPS 50936 HAS SOUS 46384 HAS SOUPS 46384 WITH SCORE 46434.936
AT ITER 420 NEW BEST:: SOT 191084 SOS 50936 HAS SOPS 50936 HAS SOUS 46383 HAS SOUPS 46383 WITH SCORE 46433.936
AT ITER 428 NEW BEST:: SOT 190998 SOS 50841 HAS SOPS 50841 HAS SOUS 46297 HAS SOUPS 46297 WITH SCORE 46347.841
AT ITER 436 NEW BEST:: SOT 190998 SOS 50737 HAS SOPS 50737 HAS SOUS 46245 HAS SOUPS 46245 WITH SCORE 46295.737
AT ITER 448 NEW BEST:: SOT 190977 SOS 50729 HAS SOPS 50729 HAS SOUS 46224 HAS SOUPS 46224 WITH SCORE 46274.729
AT ITER 451 NEW BEST:: SOT 190977 SOS 50729 HAS SOPS 50729 HAS SOUS 46223 HAS SOUPS 46223 WITH SCORE 46273.729
AT ITER 461 NEW BEST:: SOT 190974 SOS 50723 HAS SOPS 50723 HAS SOUS 46220 HAS SOUPS 46220 WITH SCORE 46270.723
AT ITER 473 NEW BEST:: SOT 190890 SOS 50628 HAS SOPS 50628 HAS SOUS 46136 HAS SOUPS 46136 WITH SCORE 46186.628
AT ITER 479 NEW BEST:: SOT 190890 SOS 53421 HAS SOPS 53421 HAS SOUS 46093 HAS SOUPS 46093 WITH SCORE 46146.421
AT ITER 480 NEW BEST:: SOT 190890 SOS 53311 HAS SOPS 53311 HAS SOUS 46038 HAS SOUPS 46038 WITH SCORE 46091.311
AT ITER 534 NEW BEST:: SOT 190870 SOS 53349 HAS SOPS 53349 HAS SOUS 46019 HAS SOUPS 46019 WITH SCORE 46072.349
AT ITER 548 NEW BEST:: SOT 190870 SOS 53244 HAS SOPS 53244 HAS SOUS 46019 HAS SOUPS 46019 WITH SCORE 46072.244
AT ITER 553 NEW BEST:: SOT 190877 SOS 53200 HAS SOPS 53200 HAS SOUS 45975 HAS SOUPS 45975 WITH SCORE 46028.2
AT ITER 557 NEW BEST:: SOT 190928 SOS 53198 HAS SOPS 53198 HAS SOUS 45973 HAS SOUPS 45973 WITH SCORE 46026.198
AT ITER 561 NEW BEST:: SOT 190928 SOS 53198 HAS SOPS 53198 HAS SOUS 45972 HAS SOUPS 45972 WITH SCORE 46025.198
AT ITER 583 NEW BEST:: SOT 190928 SOS 53156 HAS SOPS 53156 HAS SOUS 45972 HAS SOUPS 45972 WITH SCORE 46025.156
AT ITER 598 NEW BEST:: SOT 190928 SOS 53156 HAS SOPS 53156 HAS SOUS 45971 HAS SOUPS 45971 WITH SCORE 46024.156
AT ITER 614 NEW BEST:: SOT 190938 SOS 53140 HAS SOPS 53140 HAS SOUS 45955 HAS SOUPS 45955 WITH SCORE 46008.14
AT ITER 618 NEW BEST:: SOT 190938 SOS 53140 HAS SOPS 53140 HAS SOUS 45954 HAS SOUPS 45954 WITH SCORE 46007.14
AT ITER 633 NEW BEST:: SOT 190938 SOS 53084 HAS SOPS 53084 HAS SOUS 45898 HAS SOUPS 45898 WITH SCORE 45951.084
AT ITER 637 NEW BEST:: SOT 190938 SOS 53084 HAS SOPS 53084 HAS SOUS 45897 HAS SOUPS 45897 WITH SCORE 45950.084
AT ITER 644 NEW BEST:: SOT 190938 SOS 53084 HAS SOPS 53084 HAS SOUS 45887 HAS SOUPS 45887 WITH SCORE 45940.084
AT ITER 703 NEW BEST:: SOT 190938 SOS 54921 HAS SOPS 54921 HAS SOUS 45885 HAS SOUPS 45885 WITH SCORE 45939.921
AT ITER 713 NEW BEST:: SOT 190926 SOS 54897 HAS SOPS 54897 HAS SOUS 45861 HAS SOUPS 45861 WITH SCORE 45915.897
AT ITER 731 NEW BEST:: SOT 190857 SOS 54828 HAS SOPS 54828 HAS SOUS 45861 HAS SOUPS 45861 WITH SCORE 45915.828
AT ITER 735 NEW BEST:: SOT 190820 SOS 54680 HAS SOPS 54680 HAS SOUS 45787 HAS SOUPS 45787 WITH SCORE 45841.68
AT ITER 798 NEW BEST:: SOT 190778 SOS 54596 HAS SOPS 54596 HAS SOUS 45745 HAS SOUPS 45745 WITH SCORE 45799.596
AT ITER 821 NEW BEST:: SOT 190798 SOS 54594 HAS SOPS 54594 HAS SOUS 45743 HAS SOUPS 45743 WITH SCORE 45797.594
AT ITER 846 NEW BEST:: SOT 190653 SOS 54494 HAS SOPS 54494 HAS SOUS 45643 HAS SOUPS 45643 WITH SCORE 45697.494
AT ITER 868 NEW BEST:: SOT 190653 SOS 54486 HAS SOPS 54486 HAS SOUS 45635 HAS SOUPS 45635 WITH SCORE 45689.486
AT ITER 889 NEW BEST:: SOT 189678 SOS 72721 HAS SOPS 72721 HAS SOUS 45491 HAS SOUPS 45491 WITH SCORE 45563.721
AT ITER 890 NEW BEST:: SOT 189741 SOS 72635 HAS SOPS 72635 HAS SOUS 45484 HAS SOUPS 45484 WITH SCORE 45556.635
AT ITER 895 NEW BEST:: SOT 189708 SOS 72503 HAS SOPS 72503 HAS SOUS 45418 HAS SOUPS 45418 WITH SCORE 45490.503
AT ITER 898 NEW BEST:: SOT 189697 SOS 72481 HAS SOPS 72481 HAS SOUS 45409 HAS SOUPS 45409 WITH SCORE 45481.481
AT ITER 921 NEW BEST:: SOT 189641 SOS 72369 HAS SOPS 72369 HAS SOUS 45362 HAS SOUPS 45362 WITH SCORE 45434.369
AT ITER 925 NEW BEST:: SOT 189714 SOS 72235 HAS SOPS 72235 HAS SOUS 45295 HAS SOUPS 45295 WITH SCORE 45367.235
AT ITER 982 NEW BEST:: SOT 189663 SOS 72133 HAS SOPS 72133 HAS SOUS 45193 HAS SOUPS 45193 WITH SCORE 45265.133
AT ITER 988 NEW BEST:: SOT 189614 SOS 72035 HAS SOPS 72035 HAS SOUS 45151 HAS SOUPS 45151 WITH SCORE 45223.035
AT ITER 989 NEW BEST:: SOT 189611 SOS 72029 HAS SOPS 72029 HAS SOUS 45145 HAS SOUPS 45145 WITH SCORE 45217.029
AT ITER 996 NEW BEST:: SOT 189604 SOS 72015 HAS SOPS 72015 HAS SOUS 45131 HAS SOUPS 45131 WITH SCORE 45203.015
AT ITER 1014 NEW BEST:: SOT 189583 SOS 71973 HAS SOPS 71973 HAS SOUS 45089 HAS SOUPS 45089 WITH SCORE 45160.973
AT ITER 1015 NEW BEST:: SOT 189516 SOS 71906 HAS SOPS 71906 HAS SOUS 45089 HAS SOUPS 45089 WITH SCORE 45160.906
AT ITER 1022 NEW BEST:: SOT 189523 SOS 71865 HAS SOPS 71865 HAS SOUS 45048 HAS SOUPS 45048 WITH SCORE 45119.865
AT ITER 1045 NEW BEST:: SOT 189523 SOS 71865 HAS SOPS 71865 HAS SOUS 45047 HAS SOUPS 45047 WITH SCORE 45118.865
AT ITER 1050 NEW BEST:: SOT 189534 SOS 71769 HAS SOPS 71769 HAS SOUS 44999 HAS SOUPS 44999 WITH SCORE 45070.769
AT ITER 1052 NEW BEST:: SOT 189519 SOS 71758 HAS SOPS 71758 HAS SOUS 44988 HAS SOUPS 44988 WITH SCORE 45059.758
AT ITER 1058 NEW BEST:: SOT 189487 SOS 71694 HAS SOPS 71694 HAS SOUS 44956 HAS SOUPS 44956 WITH SCORE 45027.694
AT ITER 1072 NEW BEST:: SOT 189495 SOS 71674 HAS SOPS 71674 HAS SOUS 44936 HAS SOUPS 44936 WITH SCORE 45007.674
AT ITER 1080 NEW BEST:: SOT 189492 SOS 71536 HAS SOPS 71536 HAS SOUS 44798 HAS SOUPS 44798 WITH SCORE 44869.536
AT ITER 1081 NEW BEST:: SOT 189492 SOS 71536 HAS SOPS 71536 HAS SOUS 44757 HAS SOUPS 44757 WITH SCORE 44828.536
AT ITER 1085 NEW BEST:: SOT 189492 SOS 71489 HAS SOPS 71489 HAS SOUS 44710 HAS SOUPS 44710 WITH SCORE 44781.489
AT ITER 1108 NEW BEST:: SOT 189503 SOS 71482 HAS SOPS 71482 HAS SOUS 44703 HAS SOUPS 44703 WITH SCORE 44774.482
AT ITER 1123 NEW BEST:: SOT 189368 SOS 71212 HAS SOPS 71212 HAS SOUS 44433 HAS SOUPS 44433 WITH SCORE 44504.212
AT ITER 1156 NEW BEST:: SOT 189368 SOS 71170 HAS SOPS 71170 HAS SOUS 44412 HAS SOUPS 44412 WITH SCORE 44483.17
AT ITER 1170 NEW BEST:: SOT 189440 SOS 71048 HAS SOPS 71048 HAS SOUS 44403 HAS SOUPS 44403 WITH SCORE 44474.048
AT ITER 1172 NEW BEST:: SOT 189440 SOS 70988 HAS SOPS 70988 HAS SOUS 44372 HAS SOUPS 44372 WITH SCORE 44442.988
AT ITER 1179 NEW BEST:: SOT 189440 SOS 70945 HAS SOPS 70945 HAS SOUS 44329 HAS SOUPS 44329 WITH SCORE 44399.945
AT ITER 1185 NEW BEST:: SOT 189415 SOS 70846 HAS SOPS 70846 HAS SOUS 44271 HAS SOUPS 44271 WITH SCORE 44341.846
AT ITER 1217 NEW BEST:: SOT 189415 SOS 70814 HAS SOPS 70814 HAS SOUS 44271 HAS SOUPS 44271 WITH SCORE 44341.814
AT ITER 1230 NEW BEST:: SOT 189281 SOS 70546 HAS SOPS 70546 HAS SOUS 44259 HAS SOUPS 44259 WITH SCORE 44329.546
AT ITER 1239 NEW BEST:: SOT 189277 SOS 70542 HAS SOPS 70542 HAS SOUS 44255 HAS SOUPS 44255 WITH SCORE 44325.542
AT ITER 1252 NEW BEST:: SOT 189277 SOS 70501 HAS SOPS 70501 HAS SOUS 44214 HAS SOUPS 44214 WITH SCORE 44284.501
AT ITER 1255 NEW BEST:: SOT 189291 SOS 70470 HAS SOPS 70470 HAS SOUS 44183 HAS SOUPS 44183 WITH SCORE 44253.47
AT ITER 1260 NEW BEST:: SOT 189291 SOS 70411 HAS SOPS 70411 HAS SOUS 44183 HAS SOUPS 44183 WITH SCORE 44253.411
AT ITER 1270 NEW BEST:: SOT 189394 SOS 70365 HAS SOPS 70365 HAS SOUS 44160 HAS SOUPS 44160 WITH SCORE 44230.365
AT ITER 1279 NEW BEST:: SOT 189394 SOS 70215 HAS SOPS 70215 HAS SOUS 44085 HAS SOUPS 44085 WITH SCORE 44155.215
AT ITER 1308 NEW BEST:: SOT 189394 SOS 70215 HAS SOPS 70215 HAS SOUS 44081 HAS SOUPS 44081 WITH SCORE 44151.215
AT ITER 1333 NEW BEST:: SOT 189372 SOS 70171 HAS SOPS 70171 HAS SOUS 44059 HAS SOUPS 44059 WITH SCORE 44129.171
AT ITER 1349 NEW BEST:: SOT 189369 SOS 70165 HAS SOPS 70165 HAS SOUS 44058 HAS SOUPS 44058 WITH SCORE 44128.165
AT ITER 1404 NEW BEST:: SOT 189288 SOS 70003 HAS SOPS 70003 HAS SOUS 44012 HAS SOUPS 44012 WITH SCORE 44082.003
AT ITER 1416 NEW BEST:: SOT 189275 SOS 69977 HAS SOPS 69977 HAS SOUS 43986 HAS SOUPS 43986 WITH SCORE 44055.977
AT ITER 1425 NEW BEST:: SOT 189248 SOS 69958 HAS SOPS 69958 HAS SOUS 43967 HAS SOUPS 43967 WITH SCORE 44036.958
AT ITER 1450 NEW BEST:: SOT 189202 SOS 69951 HAS SOPS 69951 HAS SOUS 43960 HAS SOUPS 43960 WITH SCORE 44029.951
AT ITER 1493 NEW BEST:: SOT 189175 SOS 69897 HAS SOPS 69897 HAS SOUS 43917 HAS SOUPS 43917 WITH SCORE 43986.897
AT ITER 1494 NEW BEST:: SOT 188448 SOS 69170 HAS SOPS 69170 HAS SOUS 43190 HAS SOUPS 43190 WITH SCORE 43259.17
AT ITER 1524 NEW BEST:: SOT 188411 SOS 69133 HAS SOPS 69133 HAS SOUS 43153 HAS SOUPS 43153 WITH SCORE 43222.133
AT ITER 1613 NEW BEST:: SOT 188411 SOS 69133 HAS SOPS 69133 HAS SOUS 43152 HAS SOUPS 43152 WITH SCORE 43221.133
AT ITER 1614 NEW BEST:: SOT 188454 SOS 69173 HAS SOPS 69173 HAS SOUS 43149 HAS SOUPS 43149 WITH SCORE 43218.173
AT ITER 1615 NEW BEST:: SOT 188392 SOS 69167 HAS SOPS 69167 HAS SOUS 43143 HAS SOUPS 43143 WITH SCORE 43212.167
AT ITER 1619 NEW BEST:: SOT 188358 SOS 69099 HAS SOPS 69099 HAS SOUS 43129 HAS SOUPS 43129 WITH SCORE 43198.099
AT ITER 1637 NEW BEST:: SOT 188346 SOS 69087 HAS SOPS 69087 HAS SOUS 43117 HAS SOUPS 43117 WITH SCORE 43186.087
AT ITER 1653 NEW BEST:: SOT 188444 SOS 69283 HAS SOPS 69283 HAS SOUS 43086 HAS SOUPS 43086 WITH SCORE 43155.283
AT ITER 1657 NEW BEST:: SOT 188444 SOS 69283 HAS SOPS 69283 HAS SOUS 43060 HAS SOUPS 43060 WITH SCORE 43129.283
AT ITER 1685 NEW BEST:: SOT 188444 SOS 69253 HAS SOPS 69253 HAS SOUS 43030 HAS SOUPS 43030 WITH SCORE 43099.253
AT ITER 1688 NEW BEST:: SOT 188469 SOS 69231 HAS SOPS 69231 HAS SOUS 43008 HAS SOUPS 43008 WITH SCORE 43077.231
AT ITER 1695 NEW BEST:: SOT 188461 SOS 69215 HAS SOPS 69215 HAS SOUS 42992 HAS SOUPS 42992 WITH SCORE 43061.215
AT ITER 1699 NEW BEST:: SOT 188454 SOS 69208 HAS SOPS 69208 HAS SOUS 42985 HAS SOUPS 42985 WITH SCORE 43054.208
AT ITER 1702 NEW BEST:: SOT 188441 SOS 69182 HAS SOPS 69182 HAS SOUS 42959 HAS SOUPS 42959 WITH SCORE 43028.182
AT ITER 1712 NEW BEST:: SOT 188442 SOS 69155 HAS SOPS 69155 HAS SOUS 42932 HAS SOUPS 42932 WITH SCORE 43001.155
AT ITER 1720 NEW BEST:: SOT 188450 SOS 69154 HAS SOPS 69154 HAS SOUS 42931 HAS SOUPS 42931 WITH SCORE 43000.154
AT ITER 1741 NEW BEST:: SOT 188442 SOS 69138 HAS SOPS 69138 HAS SOUS 42915 HAS SOUPS 42915 WITH SCORE 42984.138
AT ITER 1742 NEW BEST:: SOT 188437 SOS 69104 HAS SOPS 69104 HAS SOUS 42876 HAS SOUPS 42876 WITH SCORE 42945.104
AT ITER 1752 NEW BEST:: SOT 188460 SOS 69032 HAS SOPS 69032 HAS SOUS 42833 HAS SOUPS 42833 WITH SCORE 42902.032
AT ITER 1774 NEW BEST:: SOT 188326 SOS 68898 HAS SOPS 68898 HAS SOUS 42784 HAS SOUPS 42784 WITH SCORE 42852.898
AT ITER 1775 NEW BEST:: SOT 188326 SOS 68898 HAS SOPS 68898 HAS SOUS 42782 HAS SOUPS 42782 WITH SCORE 42850.898
AT ITER 1780 NEW BEST:: SOT 188372 SOS 68966 HAS SOPS 68966 HAS SOUS 42743 HAS SOUPS 42743 WITH SCORE 42811.966
AT ITER 1786 NEW BEST:: SOT 188372 SOS 68812 HAS SOPS 68812 HAS SOUS 42666 HAS SOUPS 42666 WITH SCORE 42734.812
AT ITER 1810 NEW BEST:: SOT 188370 SOS 68810 HAS SOPS 68810 HAS SOUS 42664 HAS SOUPS 42664 WITH SCORE 42732.81
AT ITER 1874 NEW BEST:: SOT 188363 SOS 68796 HAS SOPS 68796 HAS SOUS 42650 HAS SOUPS 42650 WITH SCORE 42718.796
AT ITER 1884 NEW BEST:: SOT 187799 SOS 68622 HAS SOPS 68622 HAS SOUS 42217 HAS SOUPS 42217 WITH SCORE 42285.622
AT ITER 1911 NEW BEST:: SOT 187793 SOS 68613 HAS SOPS 68613 HAS SOUS 42208 HAS SOUPS 42208 WITH SCORE 42276.613
AT ITER 1914 NEW BEST:: SOT 187778 SOS 68583 HAS SOPS 68583 HAS SOUS 42193 HAS SOUPS 42193 WITH SCORE 42261.583
AT ITER 1988 NEW BEST:: SOT 187756 SOS 68561 HAS SOPS 68561 HAS SOUS 42171 HAS SOUPS 42171 WITH SCORE 42239.561
AT ITER 1994 NEW BEST:: SOT 187723 SOS 68477 HAS SOPS 68477 HAS SOUS 42105 HAS SOUPS 42105 WITH SCORE 42173.477
AT ITER 1997 NEW BEST:: SOT 187723 SOS 68466 HAS SOPS 68466 HAS SOUS 42105 HAS SOUPS 42105 WITH SCORE 42173.466
AT ITER 2000 NEW BEST:: SOT 187723 SOS 68466 HAS SOPS 68466 HAS SOUS 42103 HAS SOUPS 42103 WITH SCORE 42171.466
AT ITER 2008 NEW BEST:: SOT 187653 SOS 68303 HAS SOPS 68303 HAS SOUS 41963 HAS SOUPS 41963 WITH SCORE 42031.303
AT ITER 2012 NEW BEST:: SOT 187648 SOS 68293 HAS SOPS 68293 HAS SOUS 41953 HAS SOUPS 41953 WITH SCORE 42021.293
AT ITER 2048 NEW BEST:: SOT 187632 SOS 68245 HAS SOPS 68245 HAS SOUS 41937 HAS SOUPS 41937 WITH SCORE 42005.245
AT ITER 2061 NEW BEST:: SOT 187617 SOS 68215 HAS SOPS 68215 HAS SOUS 41907 HAS SOUPS 41907 WITH SCORE 41975.215
AT ITER 2072 NEW BEST:: SOT 187617 SOS 68071 HAS SOPS 68071 HAS SOUS 41907 HAS SOUPS 41907 WITH SCORE 41975.071
AT ITER 2135 NEW BEST:: SOT 187549 SOS 67999 HAS SOPS 67999 HAS SOUS 41835 HAS SOUPS 41835 WITH SCORE 41902.999
AT ITER 2139 NEW BEST:: SOT 187418 SOS 67769 HAS SOPS 67769 HAS SOUS 41794 HAS SOUPS 41794 WITH SCORE 41861.769
AT ITER 2183 NEW BEST:: SOT 187421 SOS 67547 HAS SOPS 67547 HAS SOUS 41770 HAS SOUPS 41770 WITH SCORE 41837.547
AT ITER 2184 NEW BEST:: SOT 187352 SOS 67478 HAS SOPS 67478 HAS SOUS 41701 HAS SOUPS 41701 WITH SCORE 41768.478
AT ITER 2191 NEW BEST:: SOT 187340 SOS 67460 HAS SOPS 67460 HAS SOUS 41683 HAS SOUPS 41683 WITH SCORE 41750.46
AT ITER 2194 NEW BEST:: SOT 187340 SOS 67421 HAS SOPS 67421 HAS SOUS 41683 HAS SOUPS 41683 WITH SCORE 41750.421
AT ITER 2212 NEW BEST:: SOT 187356 SOS 67453 HAS SOPS 67453 HAS SOUS 41666 HAS SOUPS 41666 WITH SCORE 41733.453
AT ITER 2214 NEW BEST:: SOT 187350 SOS 67441 HAS SOPS 67441 HAS SOUS 41660 HAS SOUPS 41660 WITH SCORE 41727.441
AT ITER 2235 NEW BEST:: SOT 187350 SOS 67441 HAS SOPS 67441 HAS SOUS 41646 HAS SOUPS 41646 WITH SCORE 41713.441
AT ITER 2243 NEW BEST:: SOT 187431 SOS 67379 HAS SOPS 67379 HAS SOUS 41639 HAS SOUPS 41639 WITH SCORE 41706.379
AT ITER 2248 NEW BEST:: SOT 187415 SOS 67346 HAS SOPS 67346 HAS SOUS 41607 HAS SOUPS 41607 WITH SCORE 41674.346
AT ITER 2252 NEW BEST:: SOT 187353 SOS 67284 HAS SOPS 67284 HAS SOUS 41545 HAS SOUPS 41545 WITH SCORE 41612.284
AT ITER 2260 NEW BEST:: SOT 187324 SOS 67255 HAS SOPS 67255 HAS SOUS 41511 HAS SOUPS 41511 WITH SCORE 41578.255
AT ITER 2275 NEW BEST:: SOT 187270 SOS 67147 HAS SOPS 67147 HAS SOUS 41473 HAS SOUPS 41473 WITH SCORE 41540.147
AT ITER 2281 NEW BEST:: SOT 187257 SOS 67121 HAS SOPS 67121 HAS SOUS 41457 HAS SOUPS 41457 WITH SCORE 41524.121
AT ITER 2302 NEW BEST:: SOT 187259 SOS 67125 HAS SOPS 67125 HAS SOUS 41448 HAS SOUPS 41448 WITH SCORE 41515.125
AT ITER 2306 NEW BEST:: SOT 187253 SOS 67113 HAS SOPS 67113 HAS SOUS 41436 HAS SOUPS 41436 WITH SCORE 41503.113
AT ITER 2316 NEW BEST:: SOT 187180 SOS 66967 HAS SOPS 66967 HAS SOUS 41363 HAS SOUPS 41363 WITH SCORE 41429.967
AT ITER 2340 NEW BEST:: SOT 187180 SOS 66902 HAS SOPS 66902 HAS SOUS 41284 HAS SOUPS 41284 WITH SCORE 41350.902
AT ITER 2355 NEW BEST:: SOT 187155 SOS 66852 HAS SOPS 66852 HAS SOUS 41264 HAS SOUPS 41264 WITH SCORE 41330.852
AT ITER 2371 NEW BEST:: SOT 187155 SOS 66852 HAS SOPS 66852 HAS SOUS 41239 HAS SOUPS 41239 WITH SCORE 41305.852
AT ITER 2380 NEW BEST:: SOT 187154 SOS 66850 HAS SOPS 66850 HAS SOUS 41237 HAS SOUPS 41237 WITH SCORE 41303.85
AT ITER 2394 NEW BEST:: SOT 187153 SOS 66848 HAS SOPS 66848 HAS SOUS 41235 HAS SOUPS 41235 WITH SCORE 41301.848
AT ITER 2404 NEW BEST:: SOT 187096 SOS 66791 HAS SOPS 66791 HAS SOUS 41178 HAS SOUPS 41178 WITH SCORE 41244.791
AT ITER 2408 NEW BEST:: SOT 187091 SOS 66781 HAS SOPS 66781 HAS SOUS 41168 HAS SOUPS 41168 WITH SCORE 41234.781
AT ITER 2411 NEW BEST:: SOT 187097 SOS 66744 HAS SOPS 66744 HAS SOUS 41131 HAS SOUPS 41131 WITH SCORE 41197.744
AT ITER 2434 NEW BEST:: SOT 187097 SOS 66728 HAS SOPS 66728 HAS SOUS 41123 HAS SOUPS 41123 WITH SCORE 41189.728
AT ITER 2436 NEW BEST:: SOT 187091 SOS 66716 HAS SOPS 66716 HAS SOUS 41111 HAS SOUPS 41111 WITH SCORE 41177.716
AT ITER 2473 NEW BEST:: SOT 187086 SOS 66734 HAS SOPS 66734 HAS SOUS 41101 HAS SOUPS 41101 WITH SCORE 41167.734
AT ITER 2487 NEW BEST:: SOT 187086 SOS 66731 HAS SOPS 66731 HAS SOUS 41098 HAS SOUPS 41098 WITH SCORE 41164.731
AT ITER 2491 NEW BEST:: SOT 187086 SOS 66665 HAS SOPS 66665 HAS SOUS 41065 HAS SOUPS 41065 WITH SCORE 41131.665
AT ITER 2494 NEW BEST:: SOT 187067 SOS 66637 HAS SOPS 66637 HAS SOUS 41037 HAS SOUPS 41037 WITH SCORE 41103.637
AT ITER 2498 NEW BEST:: SOT 187067 SOS 66637 HAS SOPS 66637 HAS SOUS 41024 HAS SOUPS 41024 WITH SCORE 41090.637
AT ITER 2502 NEW BEST:: SOT 187032 SOS 66416 HAS SOPS 66416 HAS SOUS 40954 HAS SOUPS 40954 WITH SCORE 41020.416
AT ITER 2503 NEW BEST:: SOT 187106 SOS 66564 HAS SOPS 66564 HAS SOUS 40943 HAS SOUPS 40943 WITH SCORE 41009.564
AT ITER 2504 NEW BEST:: SOT 187021 SOS 66479 HAS SOPS 66479 HAS SOUS 40913 HAS SOUPS 40913 WITH SCORE 40979.479
AT ITER 2508 NEW BEST:: SOT 186955 SOS 66413 HAS SOPS 66413 HAS SOUS 40847 HAS SOUPS 40847 WITH SCORE 40913.413
AT ITER 2529 NEW BEST:: SOT 186955 SOS 66311 HAS SOPS 66311 HAS SOUS 40847 HAS SOUPS 40847 WITH SCORE 40913.311
AT ITER 2562 NEW BEST:: SOT 186818 SOS 66253 HAS SOPS 66253 HAS SOUS 40789 HAS SOUPS 40789 WITH SCORE 40855.253
AT ITER 2598 NEW BEST:: SOT 186769 SOS 66204 HAS SOPS 66204 HAS SOUS 40740 HAS SOUPS 40740 WITH SCORE 40806.204
AT ITER 2617 NEW BEST:: SOT 186763 SOS 66192 HAS SOPS 66192 HAS SOUS 40728 HAS SOUPS 40728 WITH SCORE 40794.192
AT ITER 2622 NEW BEST:: SOT 186761 SOS 66188 HAS SOPS 66188 HAS SOUS 40724 HAS SOUPS 40724 WITH SCORE 40790.188
AT ITER 2632 NEW BEST:: SOT 186759 SOS 66184 HAS SOPS 66184 HAS SOUS 40720 HAS SOUPS 40720 WITH SCORE 40786.184
AT ITER 2661 NEW BEST:: SOT 186759 SOS 66164 HAS SOPS 66164 HAS SOUS 40710 HAS SOUPS 40710 WITH SCORE 40776.164
AT ITER 2674 NEW BEST:: SOT 186739 SOS 66124 HAS SOPS 66124 HAS SOUS 40709 HAS SOUPS 40709 WITH SCORE 40775.124
AT ITER 2686 NEW BEST:: SOT 186715 SOS 66014 HAS SOPS 66014 HAS SOUS 40618 HAS SOUPS 40618 WITH SCORE 40684.014
AT ITER 2692 NEW BEST:: SOT 186715 SOS 66014 HAS SOPS 66014 HAS SOUS 40615 HAS SOUPS 40615 WITH SCORE 40681.014
AT ITER 2754 NEW BEST:: SOT 186654 SOS 65892 HAS SOPS 65892 HAS SOUS 40554 HAS SOUPS 40554 WITH SCORE 40619.892
AT ITER 2761 NEW BEST:: SOT 186617 SOS 65663 HAS SOPS 65663 HAS SOUS 40480 HAS SOUPS 40480 WITH SCORE 40545.663
AT ITER 2778 NEW BEST:: SOT 186639 SOS 65707 HAS SOPS 65707 HAS SOUS 40473 HAS SOUPS 40473 WITH SCORE 40538.707
AT ITER 2802 NEW BEST:: SOT 186609 SOS 65647 HAS SOPS 65647 HAS SOUS 40413 HAS SOUPS 40413 WITH SCORE 40478.647
AT ITER 2803 NEW BEST:: SOT 186600 SOS 65629 HAS SOPS 65629 HAS SOUS 40395 HAS SOUPS 40395 WITH SCORE 40460.629
AT ITER 2824 NEW BEST:: SOT 186598 SOS 56171 HAS SOPS 56171 HAS SOUS 40393 HAS SOUPS 40393 WITH SCORE 40449.171
AT ITER 2827 NEW BEST:: SOT 186597 SOS 56185 HAS SOPS 56185 HAS SOUS 40391 HAS SOUPS 40391 WITH SCORE 40447.185
AT ITER 2831 NEW BEST:: SOT 186597 SOS 56173 HAS SOPS 56173 HAS SOUS 40391 HAS SOUPS 40391 WITH SCORE 40447.173
AT ITER 2841 NEW BEST:: SOT 186638 SOS 56145 HAS SOPS 56145 HAS SOUS 40377 HAS SOUPS 40377 WITH SCORE 40433.145
AT ITER 2846 NEW BEST:: SOT 186639 SOS 56147 HAS SOPS 56147 HAS SOUS 40370 HAS SOUPS 40370 WITH SCORE 40426.147
AT ITER 2869 NEW BEST:: SOT 186638 SOS 56145 HAS SOPS 56145 HAS SOUS 40368 HAS SOUPS 40368 WITH SCORE 40424.145
AT ITER 2871 NEW BEST:: SOT 186591 SOS 56178 HAS SOPS 56178 HAS SOUS 40274 HAS SOUPS 40274 WITH SCORE 40330.178
AT ITER 2884 NEW BEST:: SOT 186470 SOS 55936 HAS SOPS 55936 HAS SOUS 40222 HAS SOUPS 40222 WITH SCORE 40277.936
AT ITER 2904 NEW BEST:: SOT 186470 SOS 55935 HAS SOPS 55935 HAS SOUS 40221 HAS SOUPS 40221 WITH SCORE 40276.935
AT ITER 2937 NEW BEST:: SOT 186504 SOS 55871 HAS SOPS 55871 HAS SOUS 40189 HAS SOUPS 40189 WITH SCORE 40244.871
AT ITER 2942 NEW BEST:: SOT 186499 SOS 55860 HAS SOPS 55860 HAS SOUS 40177 HAS SOUPS 40177 WITH SCORE 40232.86
AT ITER 2944 NEW BEST:: SOT 186499 SOS 55860 HAS SOPS 55860 HAS SOUS 40176 HAS SOUPS 40176 WITH SCORE 40231.86
AT ITER 2963 NEW BEST:: SOT 186499 SOS 55860 HAS SOPS 55860 HAS SOUS 40169 HAS SOUPS 40169 WITH SCORE 40224.86
AT ITER 2975 NEW BEST:: SOT 186375 SOS 55612 HAS SOPS 55612 HAS SOUS 39921 HAS SOUPS 39921 WITH SCORE 39976.612
AT ITER 2981 NEW BEST:: SOT 186375 SOS 55612 HAS SOPS 55612 HAS SOUS 39919 HAS SOUPS 39919 WITH SCORE 39974.612
AT ITER 3027 NEW BEST:: SOT 186319 SOS 55500 HAS SOPS 55500 HAS SOUS 39807 HAS SOUPS 39807 WITH SCORE 39862.5
AT ITER 3040 NEW BEST:: SOT 186294 SOS 55450 HAS SOPS 55450 HAS SOUS 39793 HAS SOUPS 39793 WITH SCORE 39848.45
AT ITER 3045 NEW BEST:: SOT 186279 SOS 55391 HAS SOPS 55391 HAS SOUS 39763 HAS SOUPS 39763 WITH SCORE 39818.391
AT ITER 3085 NEW BEST:: SOT 186258 SOS 55370 HAS SOPS 55370 HAS SOUS 39748 HAS SOUPS 39748 WITH SCORE 39803.37
AT ITER 3110 NEW BEST:: SOT 186193 SOS 55240 HAS SOPS 55240 HAS SOUS 39683 HAS SOUPS 39683 WITH SCORE 39738.24
AT ITER 3122 NEW BEST:: SOT 186191 SOS 55344 HAS SOPS 55344 HAS SOUS 39679 HAS SOUPS 39679 WITH SCORE 39734.344
AT ITER 3124 NEW BEST:: SOT 186172 SOS 55306 HAS SOPS 55306 HAS SOUS 39641 HAS SOUPS 39641 WITH SCORE 39696.306
AT ITER 3135 NEW BEST:: SOT 186153 SOS 55252 HAS SOPS 55252 HAS SOUS 39511 HAS SOUPS 39511 WITH SCORE 39566.252
AT ITER 3192 NEW BEST:: SOT 186107 SOS 55206 HAS SOPS 55206 HAS SOUS 39449 HAS SOUPS 39449 WITH SCORE 39504.206
AT ITER 3209 NEW BEST:: SOT 186085 SOS 55117 HAS SOPS 55117 HAS SOUS 39388 HAS SOUPS 39388 WITH SCORE 39443.117
AT ITER 3210 NEW BEST:: SOT 186065 SOS 55077 HAS SOPS 55077 HAS SOUS 39348 HAS SOUPS 39348 WITH SCORE 39403.077
AT ITER 3215 NEW BEST:: SOT 186085 SOS 55117 HAS SOPS 55117 HAS SOUS 39335 HAS SOUPS 39335 WITH SCORE 39390.117
AT ITER 3218 NEW BEST:: SOT 186048 SOS 55097 HAS SOPS 55097 HAS SOUS 39307 HAS SOUPS 39307 WITH SCORE 39362.097
AT ITER 3228 NEW BEST:: SOT 185875 SOS 54751 HAS SOPS 54751 HAS SOUS 39066 HAS SOUPS 39066 WITH SCORE 39120.751
AT ITER 3234 NEW BEST:: SOT 185875 SOS 54751 HAS SOPS 54751 HAS SOUS 39035 HAS SOUPS 39035 WITH SCORE 39089.751
AT ITER 3268 NEW BEST:: SOT 185870 SOS 54741 HAS SOPS 54741 HAS SOUS 39025 HAS SOUPS 39025 WITH SCORE 39079.741
AT ITER 3274 NEW BEST:: SOT 185867 SOS 54735 HAS SOPS 54735 HAS SOUS 39019 HAS SOUPS 39019 WITH SCORE 39073.735
AT ITER 3320 NEW BEST:: SOT 185837 SOS 54675 HAS SOPS 54675 HAS SOUS 38930 HAS SOUPS 38930 WITH SCORE 38984.675
AT ITER 3378 NEW BEST:: SOT 185832 SOS 54671 HAS SOPS 54671 HAS SOUS 38926 HAS SOUPS 38926 WITH SCORE 38980.671
AT ITER 3379 NEW BEST:: SOT 185832 SOS 54671 HAS SOPS 54671 HAS SOUS 38909 HAS SOUPS 38909 WITH SCORE 38963.671
AT ITER 3481 NEW BEST:: SOT 185651 SOS 54384 HAS SOPS 54384 HAS SOUS 38658 HAS SOUPS 38658 WITH SCORE 38712.384
AT ITER 3519 NEW BEST:: SOT 185661 SOS 54404 HAS SOPS 54404 HAS SOUS 38577 HAS SOUPS 38577 WITH SCORE 38631.404
AT ITER 3521 NEW BEST:: SOT 185625 SOS 47434 HAS SOPS 47434 HAS SOUS 38447 HAS SOUPS 38447 WITH SCORE 38494.434
AT ITER 3563 NEW BEST:: SOT 185624 SOS 47432 HAS SOPS 47432 HAS SOUS 38445 HAS SOUPS 38445 WITH SCORE 38492.432
AT ITER 3572 NEW BEST:: SOT 185624 SOS 47432 HAS SOPS 47432 HAS SOUS 38431 HAS SOUPS 38431 WITH SCORE 38478.432
AT ITER 3589 NEW BEST:: SOT 185624 SOS 47432 HAS SOPS 47432 HAS SOUS 38411 HAS SOUPS 38411 WITH SCORE 38458.432
AT ITER 3614 NEW BEST:: SOT 185638 SOS 47422 HAS SOPS 47422 HAS SOUS 38406 HAS SOUPS 38406 WITH SCORE 38453.422
AT ITER 3627 NEW BEST:: SOT 185626 SOS 47398 HAS SOPS 47398 HAS SOUS 38382 HAS SOUPS 38382 WITH SCORE 38429.398
AT ITER 3667 NEW BEST:: SOT 185624 SOS 47394 HAS SOPS 47394 HAS SOUS 38378 HAS SOUPS 38378 WITH SCORE 38425.394
AT ITER 3680 NEW BEST:: SOT 185579 SOS 47349 HAS SOPS 47349 HAS SOUS 38333 HAS SOUPS 38333 WITH SCORE 38380.349
AT ITER 3690 NEW BEST:: SOT 185577 SOS 47345 HAS SOPS 47345 HAS SOUS 38329 HAS SOUPS 38329 WITH SCORE 38376.345
AT ITER 3717 NEW BEST:: SOT 185577 SOS 47328 HAS SOPS 47328 HAS SOUS 38312 HAS SOUPS 38312 WITH SCORE 38359.328
AT ITER 3733 NEW BEST:: SOT 185574 SOS 47322 HAS SOPS 47322 HAS SOUS 38306 HAS SOUPS 38306 WITH SCORE 38353.322
AT ITER 3736 NEW BEST:: SOT 185540 SOS 47254 HAS SOPS 47254 HAS SOUS 38238 HAS SOUPS 38238 WITH SCORE 38285.254
AT ITER 3760 NEW BEST:: SOT 185526 SOS 47226 HAS SOPS 47226 HAS SOUS 38210 HAS SOUPS 38210 WITH SCORE 38257.226
AT ITER 3763 NEW BEST:: SOT 185526 SOS 47105 HAS SOPS 47105 HAS SOUS 38210 HAS SOUPS 38210 WITH SCORE 38257.105
AT ITER 3792 NEW BEST:: SOT 185377 SOS 46739 HAS SOPS 46739 HAS SOUS 37912 HAS SOUPS 37912 WITH SCORE 37958.739
AT ITER 3813 NEW BEST:: SOT 185375 SOS 46735 HAS SOPS 46735 HAS SOUS 37910 HAS SOUPS 37910 WITH SCORE 37956.735
AT ITER 3842 NEW BEST:: SOT 185362 SOS 46722 HAS SOPS 46722 HAS SOUS 37897 HAS SOUPS 37897 WITH SCORE 37943.722
AT ITER 3845 NEW BEST:: SOT 185359 SOS 46716 HAS SOPS 46716 HAS SOUS 37891 HAS SOUPS 37891 WITH SCORE 37937.716
AT ITER 3847 NEW BEST:: SOT 185378 SOS 46674 HAS SOPS 46674 HAS SOUS 37889 HAS SOUPS 37889 WITH SCORE 37935.674
AT ITER 3860 NEW BEST:: SOT 185377 SOS 46677 HAS SOPS 46677 HAS SOUS 37887 HAS SOUPS 37887 WITH SCORE 37933.677
AT ITER 3870 NEW BEST:: SOT 185377 SOS 46635 HAS SOPS 46635 HAS SOUS 37887 HAS SOUPS 37887 WITH SCORE 37933.635
AT ITER 3883 NEW BEST:: SOT 185377 SOS 46503 HAS SOPS 46503 HAS SOUS 37887 HAS SOUPS 37887 WITH SCORE 37933.503
AT ITER 3884 NEW BEST:: SOT 185365 SOS 46479 HAS SOPS 46479 HAS SOUS 37771 HAS SOUPS 37771 WITH SCORE 37817.479
AT ITER 3894 NEW BEST:: SOT 185341 SOS 46377 HAS SOPS 46377 HAS SOUS 37669 HAS SOUPS 37669 WITH SCORE 37715.377
AT ITER 3942 NEW BEST:: SOT 185319 SOS 46333 HAS SOPS 46333 HAS SOUS 37647 HAS SOUPS 37647 WITH SCORE 37693.333
AT ITER 3957 NEW BEST:: SOT 185313 SOS 46327 HAS SOPS 46327 HAS SOUS 37635 HAS SOUPS 37635 WITH SCORE 37681.327
AT ITER 3963 NEW BEST:: SOT 185313 SOS 46259 HAS SOPS 46259 HAS SOUS 37601 HAS SOUPS 37601 WITH SCORE 37647.259
AT ITER 4012 NEW BEST:: SOT 185309 SOS 46251 HAS SOPS 46251 HAS SOUS 37593 HAS SOUPS 37593 WITH SCORE 37639.251
AT ITER 4036 NEW BEST:: SOT 185342 SOS 46317 HAS SOPS 46317 HAS SOUS 37573 HAS SOUPS 37573 WITH SCORE 37619.317
AT ITER 4065 NEW BEST:: SOT 185340 SOS 46315 HAS SOPS 46315 HAS SOUS 37571 HAS SOUPS 37571 WITH SCORE 37617.315
AT ITER 4068 NEW BEST:: SOT 185309 SOS 46283 HAS SOPS 46283 HAS SOUS 37510 HAS SOUPS 37510 WITH SCORE 37556.283
AT ITER 4077 NEW BEST:: SOT 185304 SOS 46273 HAS SOPS 46273 HAS SOUS 37500 HAS SOUPS 37500 WITH SCORE 37546.273
AT ITER 4085 NEW BEST:: SOT 185304 SOS 46247 HAS SOPS 46247 HAS SOUS 37487 HAS SOUPS 37487 WITH SCORE 37533.247
AT ITER 4106 NEW BEST:: SOT 185291 SOS 46247 HAS SOPS 46247 HAS SOUS 37474 HAS SOUPS 37474 WITH SCORE 37520.247
AT ITER 4142 NEW BEST:: SOT 185284 SOS 46233 HAS SOPS 46233 HAS SOUS 37467 HAS SOUPS 37467 WITH SCORE 37513.233
AT ITER 4153 NEW BEST:: SOT 185284 SOS 46221 HAS SOPS 46221 HAS SOUS 37461 HAS SOUPS 37461 WITH SCORE 37507.221
AT ITER 4159 NEW BEST:: SOT 185265 SOS 46183 HAS SOPS 46183 HAS SOUS 37423 HAS SOUPS 37423 WITH SCORE 37469.183
AT ITER 4172 NEW BEST:: SOT 185265 SOS 46183 HAS SOPS 46183 HAS SOUS 37414 HAS SOUPS 37414 WITH SCORE 37460.183
AT ITER 4205 NEW BEST:: SOT 185264 SOS 46167 HAS SOPS 46167 HAS SOUS 37398 HAS SOUPS 37398 WITH SCORE 37444.167
AT ITER 4212 NEW BEST:: SOT 185271 SOS 46129 HAS SOPS 46129 HAS SOUS 37360 HAS SOUPS 37360 WITH SCORE 37406.129
AT ITER 4217 NEW BEST:: SOT 185271 SOS 46129 HAS SOPS 46129 HAS SOUS 37311 HAS SOUPS 37311 WITH SCORE 37357.129
AT ITER 4246 NEW BEST:: SOT 185206 SOS 45999 HAS SOPS 45999 HAS SOUS 37181 HAS SOUPS 37181 WITH SCORE 37226.999
AT ITER 4259 NEW BEST:: SOT 185205 SOS 45984 HAS SOPS 45984 HAS SOUS 37179 HAS SOUPS 37179 WITH SCORE 37224.984
AT ITER 4265 NEW BEST:: SOT 185148 SOS 45870 HAS SOPS 45870 HAS SOUS 37101 HAS SOUPS 37101 WITH SCORE 37146.87
AT ITER 4297 NEW BEST:: SOT 185129 SOS 45897 HAS SOPS 45897 HAS SOUS 37063 HAS SOUPS 37063 WITH SCORE 37108.897
AT ITER 4305 NEW BEST:: SOT 185119 SOS 45877 HAS SOPS 45877 HAS SOUS 37043 HAS SOUPS 37043 WITH SCORE 37088.877
AT ITER 4326 NEW BEST:: SOT 185119 SOS 45877 HAS SOPS 45877 HAS SOUS 37029 HAS SOUPS 37029 WITH SCORE 37074.877
AT ITER 4336 NEW BEST:: SOT 185097 SOS 45847 HAS SOPS 45847 HAS SOUS 36999 HAS SOUPS 36999 WITH SCORE 37044.847
AT ITER 4379 NEW BEST:: SOT 185074 SOS 45801 HAS SOPS 45801 HAS SOUS 36953 HAS SOUPS 36953 WITH SCORE 36998.801
AT ITER 4382 NEW BEST:: SOT 185071 SOS 45798 HAS SOPS 45798 HAS SOUS 36947 HAS SOUPS 36947 WITH SCORE 36992.798
AT ITER 4422 NEW BEST:: SOT 185102 SOS 45829 HAS SOPS 45829 HAS SOUS 36879 HAS SOUPS 36879 WITH SCORE 36924.829
AT ITER 4440 NEW BEST:: SOT 185102 SOS 45797 HAS SOPS 45797 HAS SOUS 36863 HAS SOUPS 36863 WITH SCORE 36908.797
AT ITER 4490 NEW BEST:: SOT 185093 SOS 45777 HAS SOPS 45777 HAS SOUS 36843 HAS SOUPS 36843 WITH SCORE 36888.777
AT ITER 4530 NEW BEST:: SOT 185096 SOS 45771 HAS SOPS 45771 HAS SOUS 36837 HAS SOUPS 36837 WITH SCORE 36882.771
AT ITER 4546 NEW BEST:: SOT 185074 SOS 45727 HAS SOPS 45727 HAS SOUS 36793 HAS SOUPS 36793 WITH SCORE 36838.727
AT ITER 4548 NEW BEST:: SOT 185027 SOS 45680 HAS SOPS 45680 HAS SOUS 36736 HAS SOUPS 36736 WITH SCORE 36781.68
AT ITER 4561 NEW BEST:: SOT 184960 SOS 45599 HAS SOPS 45599 HAS SOUS 36602 HAS SOUPS 36602 WITH SCORE 36647.599
AT ITER 4563 NEW BEST:: SOT 184961 SOS 45601 HAS SOPS 45601 HAS SOUS 36571 HAS SOUPS 36571 WITH SCORE 36616.601
AT ITER 4584 NEW BEST:: SOT 184818 SOS 45315 HAS SOPS 45315 HAS SOUS 36285 HAS SOUPS 36285 WITH SCORE 36330.315
AT ITER 4590 NEW BEST:: SOT 184791 SOS 45261 HAS SOPS 45261 HAS SOUS 36231 HAS SOUPS 36231 WITH SCORE 36276.261
AT ITER 4631 NEW BEST:: SOT 184778 SOS 45259 HAS SOPS 45259 HAS SOUS 36205 HAS SOUPS 36205 WITH SCORE 36250.259
AT ITER 4718 NEW BEST:: SOT 184774 SOS 45253 HAS SOPS 45253 HAS SOUS 36201 HAS SOUPS 36201 WITH SCORE 36246.253
AT ITER 4758 NEW BEST:: SOT 184770 SOS 45245 HAS SOPS 45245 HAS SOUS 36193 HAS SOUPS 36193 WITH SCORE 36238.245
AT ITER 4793 NEW BEST:: SOT 184877 SOS 45169 HAS SOPS 45169 HAS SOUS 36174 HAS SOUPS 36174 WITH SCORE 36219.169
AT ITER 4857 NEW BEST:: SOT 184882 SOS 45161 HAS SOPS 45161 HAS SOUS 36166 HAS SOUPS 36166 WITH SCORE 36211.161
AT ITER 4880 NEW BEST:: SOT 184866 SOS 45129 HAS SOPS 45129 HAS SOUS 36134 HAS SOUPS 36134 WITH SCORE 36179.129
AT ITER 4902 NEW BEST:: SOT 184865 SOS 45127 HAS SOPS 45127 HAS SOUS 36132 HAS SOUPS 36132 WITH SCORE 36177.127
AT ITER 4906 NEW BEST:: SOT 184864 SOS 45125 HAS SOPS 45125 HAS SOUS 36123 HAS SOUPS 36123 WITH SCORE 36168.125
AT ITER 4921 NEW BEST:: SOT 184845 SOS 45087 HAS SOPS 45087 HAS SOUS 36122 HAS SOUPS 36122 WITH SCORE 36167.087
AT ITER 4945 NEW BEST:: SOT 184845 SOS 45065 HAS SOPS 45065 HAS SOUS 36122 HAS SOUPS 36122 WITH SCORE 36167.065
AT ITER 4951 NEW BEST:: SOT 184845 SOS 45037 HAS SOPS 45037 HAS SOUS 36094 HAS SOUPS 36094 WITH SCORE 36139.037
AT ITER 4960 NEW BEST:: SOT 184840 SOS 45027 HAS SOPS 45027 HAS SOUS 36084 HAS SOUPS 36084 WITH SCORE 36129.027
AT ITER 4971 NEW BEST:: SOT 184843 SOS 45018 HAS SOPS 45018 HAS SOUS 36075 HAS SOUPS 36075 WITH SCORE 36120.018
AT ITER 4993 NEW BEST:: SOT 184830 SOS 44992 HAS SOPS 44992 HAS SOUS 36059 HAS SOUPS 36059 WITH SCORE 36103.992
AT ITER 5022 NEW BEST:: SOT 184830 SOS 44992 HAS SOPS 44992 HAS SOUS 36046 HAS SOUPS 36046 WITH SCORE 36090.992
AT ITER 5096 NEW BEST:: SOT 184820 SOS 44937 HAS SOPS 44937 HAS SOUS 36026 HAS SOUPS 36026 WITH SCORE 36070.937
AT ITER 5111 NEW BEST:: SOT 184802 SOS 44901 HAS SOPS 44901 HAS SOUS 36008 HAS SOUPS 36008 WITH SCORE 36052.901
AT ITER 5121 NEW BEST:: SOT 184777 SOS 45261 HAS SOPS 45261 HAS SOUS 35983 HAS SOUPS 35983 WITH SCORE 36028.261
AT ITER 5161 NEW BEST:: SOT 184777 SOS 45239 HAS SOPS 45239 HAS SOUS 35983 HAS SOUPS 35983 WITH SCORE 36028.239
AT ITER 5177 NEW BEST:: SOT 184777 SOS 45149 HAS SOPS 45149 HAS SOUS 35938 HAS SOUPS 35938 WITH SCORE 35983.149
AT ITER 5185 NEW BEST:: SOT 184767 SOS 45129 HAS SOPS 45129 HAS SOUS 35918 HAS SOUPS 35918 WITH SCORE 35963.129
AT ITER 5223 NEW BEST:: SOT 184764 SOS 45126 HAS SOPS 45126 HAS SOUS 35912 HAS SOUPS 35912 WITH SCORE 35957.126
AT ITER 5251 NEW BEST:: SOT 184742 SOS 45082 HAS SOPS 45082 HAS SOUS 35911 HAS SOUPS 35911 WITH SCORE 35956.082
AT ITER 5255 NEW BEST:: SOT 184735 SOS 45068 HAS SOPS 45068 HAS SOUS 35904 HAS SOUPS 35904 WITH SCORE 35949.068
AT ITER 5268 NEW BEST:: SOT 184808 SOS 44944 HAS SOPS 44944 HAS SOUS 35872 HAS SOUPS 35872 WITH SCORE 35916.944
AT ITER 5299 NEW BEST:: SOT 184794 SOS 44854 HAS SOPS 44854 HAS SOUS 35844 HAS SOUPS 35844 WITH SCORE 35888.854
AT ITER 5302 NEW BEST:: SOT 184775 SOS 44816 HAS SOPS 44816 HAS SOUS 35806 HAS SOUPS 35806 WITH SCORE 35850.816
AT ITER 5311 NEW BEST:: SOT 184775 SOS 44816 HAS SOPS 44816 HAS SOUS 35792 HAS SOUPS 35792 WITH SCORE 35836.816
AT ITER 5312 NEW BEST:: SOT 184691 SOS 44732 HAS SOPS 44732 HAS SOUS 35708 HAS SOUPS 35708 WITH SCORE 35752.732
AT ITER 5317 NEW BEST:: SOT 184645 SOS 44686 HAS SOPS 44686 HAS SOUS 35662 HAS SOUPS 35662 WITH SCORE 35706.686
AT ITER 5330 NEW BEST:: SOT 184590 SOS 44576 HAS SOPS 44576 HAS SOUS 35508 HAS SOUPS 35508 WITH SCORE 35552.576
AT ITER 5336 NEW BEST:: SOT 184590 SOS 44536 HAS SOPS 44536 HAS SOUS 35488 HAS SOUPS 35488 WITH SCORE 35532.536
AT ITER 5340 NEW BEST:: SOT 184551 SOS 44458 HAS SOPS 44458 HAS SOUS 35410 HAS SOUPS 35410 WITH SCORE 35454.458
AT ITER 5348 NEW BEST:: SOT 184548 SOS 44452 HAS SOPS 44452 HAS SOUS 35404 HAS SOUPS 35404 WITH SCORE 35448.452
AT ITER 5349 NEW BEST:: SOT 184537 SOS 44430 HAS SOPS 44430 HAS SOUS 35382 HAS SOUPS 35382 WITH SCORE 35426.43
AT ITER 5475 NEW BEST:: SOT 184534 SOS 44423 HAS SOPS 44423 HAS SOUS 35375 HAS SOUPS 35375 WITH SCORE 35419.423
AT ITER 5482 NEW BEST:: SOT 184534 SOS 44423 HAS SOPS 44423 HAS SOUS 35371 HAS SOUPS 35371 WITH SCORE 35415.423
AT ITER 5497 NEW BEST:: SOT 184525 SOS 44405 HAS SOPS 44405 HAS SOUS 35353 HAS SOUPS 35353 WITH SCORE 35397.405
AT ITER 5507 NEW BEST:: SOT 184524 SOS 44403 HAS SOPS 44403 HAS SOUS 35351 HAS SOUPS 35351 WITH SCORE 35395.403
AT ITER 5521 NEW BEST:: SOT 184524 SOS 44403 HAS SOPS 44403 HAS SOUS 35343 HAS SOUPS 35343 WITH SCORE 35387.403
AT ITER 5548 NEW BEST:: SOT 184494 SOS 44376 HAS SOPS 44376 HAS SOUS 35316 HAS SOUPS 35316 WITH SCORE 35360.376
AT ITER 5562 NEW BEST:: SOT 184488 SOS 44370 HAS SOPS 44370 HAS SOUS 35310 HAS SOUPS 35310 WITH SCORE 35354.37
AT ITER 5566 NEW BEST:: SOT 184469 SOS 44332 HAS SOPS 44332 HAS SOUS 35272 HAS SOUPS 35272 WITH SCORE 35316.332
AT ITER 5578 NEW BEST:: SOT 184453 SOS 44323 HAS SOPS 44323 HAS SOUS 35257 HAS SOUPS 35257 WITH SCORE 35301.323
AT ITER 5593 NEW BEST:: SOT 184414 SOS 44245 HAS SOPS 44245 HAS SOUS 35179 HAS SOUPS 35179 WITH SCORE 35223.245
AT ITER 5597 NEW BEST:: SOT 184409 SOS 44197 HAS SOPS 44197 HAS SOUS 35131 HAS SOUPS 35131 WITH SCORE 35175.197
AT ITER 5600 NEW BEST:: SOT 184459 SOS 44233 HAS SOPS 44233 HAS SOUS 35116 HAS SOUPS 35116 WITH SCORE 35160.233
AT ITER 5620 NEW BEST:: SOT 184451 SOS 44217 HAS SOPS 44217 HAS SOUS 35104 HAS SOUPS 35104 WITH SCORE 35148.217
AT ITER 5624 NEW BEST:: SOT 184400 SOS 44115 HAS SOPS 44115 HAS SOUS 35041 HAS SOUPS 35041 WITH SCORE 35085.115
AT ITER 5638 NEW BEST:: SOT 184381 SOS 44102 HAS SOPS 44102 HAS SOUS 35028 HAS SOUPS 35028 WITH SCORE 35072.102
AT ITER 5644 NEW BEST:: SOT 184375 SOS 44022 HAS SOPS 44022 HAS SOUS 34998 HAS SOUPS 34998 WITH SCORE 35042.022
AT ITER 5674 NEW BEST:: SOT 184352 SOS 44270 HAS SOPS 44270 HAS SOUS 34914 HAS SOUPS 34914 WITH SCORE 34958.27
AT ITER 5676 NEW BEST:: SOT 184352 SOS 44270 HAS SOPS 44270 HAS SOUS 34910 HAS SOUPS 34910 WITH SCORE 34954.27
AT ITER 5685 NEW BEST:: SOT 184410 SOS 44300 HAS SOPS 44300 HAS SOUS 34887 HAS SOUPS 34887 WITH SCORE 34931.3
AT ITER 5705 NEW BEST:: SOT 184436 SOS 44326 HAS SOPS 44326 HAS SOUS 34882 HAS SOUPS 34882 WITH SCORE 34926.326
AT ITER 5721 NEW BEST:: SOT 184429 SOS 44326 HAS SOPS 44326 HAS SOUS 34875 HAS SOUPS 34875 WITH SCORE 34919.326
AT ITER 5724 NEW BEST:: SOT 184428 SOS 44325 HAS SOPS 44325 HAS SOUS 34873 HAS SOUPS 34873 WITH SCORE 34917.325
AT ITER 5735 NEW BEST:: SOT 184464 SOS 44231 HAS SOPS 44231 HAS SOUS 34846 HAS SOUPS 34846 WITH SCORE 34890.231
AT ITER 5745 NEW BEST:: SOT 184464 SOS 44240 HAS SOPS 44240 HAS SOUS 34838 HAS SOUPS 34838 WITH SCORE 34882.24
AT ITER 5765 NEW BEST:: SOT 184460 SOS 44232 HAS SOPS 44232 HAS SOUS 34830 HAS SOUPS 34830 WITH SCORE 34874.232
AT ITER 5770 NEW BEST:: SOT 184451 SOS 44095 HAS SOPS 44095 HAS SOUS 34812 HAS SOUPS 34812 WITH SCORE 34856.095
AT ITER 5829 NEW BEST:: SOT 184457 SOS 44092 HAS SOPS 44092 HAS SOUS 34809 HAS SOUPS 34809 WITH SCORE 34853.092
AT ITER 5902 NEW BEST:: SOT 184456 SOS 44090 HAS SOPS 44090 HAS SOUS 34807 HAS SOUPS 34807 WITH SCORE 34851.09
AT ITER 5921 NEW BEST:: SOT 184439 SOS 44056 HAS SOPS 44056 HAS SOUS 34773 HAS SOUPS 34773 WITH SCORE 34817.056
AT ITER 5922 NEW BEST:: SOT 184433 SOS 44044 HAS SOPS 44044 HAS SOUS 34761 HAS SOUPS 34761 WITH SCORE 34805.044
AT ITER 5936 NEW BEST:: SOT 184402 SOS 43982 HAS SOPS 43982 HAS SOUS 34699 HAS SOUPS 34699 WITH SCORE 34742.982
AT ITER 5952 NEW BEST:: SOT 184402 SOS 43812 HAS SOPS 43812 HAS SOUS 34691 HAS SOUPS 34691 WITH SCORE 34734.812
AT ITER 6036 NEW BEST:: SOT 184360 SOS 43728 HAS SOPS 43728 HAS SOUS 34662 HAS SOUPS 34662 WITH SCORE 34705.728
AT ITER 6040 NEW BEST:: SOT 184351 SOS 43596 HAS SOPS 43596 HAS SOUS 34633 HAS SOUPS 34633 WITH SCORE 34676.596
AT ITER 6054 NEW BEST:: SOT 184348 SOS 43590 HAS SOPS 43590 HAS SOUS 34627 HAS SOUPS 34627 WITH SCORE 34670.59
AT ITER 6067 NEW BEST:: SOT 184342 SOS 43579 HAS SOPS 43579 HAS SOUS 34621 HAS SOUPS 34621 WITH SCORE 34664.579
AT ITER 6098 NEW BEST:: SOT 184342 SOS 43579 HAS SOPS 43579 HAS SOUS 34618 HAS SOUPS 34618 WITH SCORE 34661.579
AT ITER 6145 NEW BEST:: SOT 184342 SOS 43579 HAS SOPS 43579 HAS SOUS 34601 HAS SOUPS 34601 WITH SCORE 34644.579
AT ITER 6197 NEW BEST:: SOT 184241 SOS 43377 HAS SOPS 43377 HAS SOUS 34500 HAS SOUPS 34500 WITH SCORE 34543.377
AT ITER 6218 NEW BEST:: SOT 184227 SOS 43286 HAS SOPS 43286 HAS SOUS 34472 HAS SOUPS 34472 WITH SCORE 34515.286
AT ITER 6220 NEW BEST:: SOT 184227 SOS 44038 HAS SOPS 44038 HAS SOUS 34470 HAS SOUPS 34470 WITH SCORE 34514.038
AT ITER 6263 NEW BEST:: SOT 184218 SOS 44020 HAS SOPS 44020 HAS SOUS 34452 HAS SOUPS 34452 WITH SCORE 34496.02
AT ITER 6356 NEW BEST:: SOT 184257 SOS 43944 HAS SOPS 43944 HAS SOUS 34414 HAS SOUPS 34414 WITH SCORE 34457.944
AT ITER 6391 NEW BEST:: SOT 184227 SOS 43892 HAS SOPS 43892 HAS SOUS 34362 HAS SOUPS 34362 WITH SCORE 34405.892
AT ITER 6395 NEW BEST:: SOT 184189 SOS 43816 HAS SOPS 43816 HAS SOUS 34285 HAS SOUPS 34285 WITH SCORE 34328.816
AT ITER 6420 NEW BEST:: SOT 184179 SOS 43469 HAS SOPS 43469 HAS SOUS 34250 HAS SOUPS 34250 WITH SCORE 34293.469
AT ITER 6459 NEW BEST:: SOT 184179 SOS 43469 HAS SOPS 43469 HAS SOUS 34249 HAS SOUPS 34249 WITH SCORE 34292.469
AT ITER 6507 NEW BEST:: SOT 184174 SOS 43459 HAS SOPS 43459 HAS SOUS 34244 HAS SOUPS 34244 WITH SCORE 34287.459
AT ITER 6512 NEW BEST:: SOT 184161 SOS 43446 HAS SOPS 43446 HAS SOUS 34218 HAS SOUPS 34218 WITH SCORE 34261.446
AT ITER 6526 NEW BEST:: SOT 184161 SOS 43384 HAS SOPS 43384 HAS SOUS 34218 HAS SOUPS 34218 WITH SCORE 34261.384
AT ITER 6571 NEW BEST:: SOT 184152 SOS 43348 HAS SOPS 43348 HAS SOUS 34200 HAS SOUPS 34200 WITH SCORE 34243.348
AT ITER 6606 NEW BEST:: SOT 184141 SOS 43312 HAS SOPS 43312 HAS SOUS 34192 HAS SOUPS 34192 WITH SCORE 34235.312
AT ITER 6611 NEW BEST:: SOT 184121 SOS 43292 HAS SOPS 43292 HAS SOUS 34172 HAS SOUPS 34172 WITH SCORE 34215.292
AT ITER 6614 NEW BEST:: SOT 184121 SOS 43282 HAS SOPS 43282 HAS SOUS 34167 HAS SOUPS 34167 WITH SCORE 34210.282
AT ITER 6622 NEW BEST:: SOT 184102 SOS 43232 HAS SOPS 43232 HAS SOUS 34117 HAS SOUPS 34117 WITH SCORE 34160.232
AT ITER 6675 NEW BEST:: SOT 184141 SOS 43310 HAS SOPS 43310 HAS SOUS 34103 HAS SOUPS 34103 WITH SCORE 34146.31
AT ITER 6688 NEW BEST:: SOT 184094 SOS 43216 HAS SOPS 43216 HAS SOUS 34052 HAS SOUPS 34052 WITH SCORE 34095.216
AT ITER 6703 NEW BEST:: SOT 184095 SOS 43202 HAS SOPS 43202 HAS SOUS 34032 HAS SOUPS 34032 WITH SCORE 34075.202
AT ITER 6723 NEW BEST:: SOT 184095 SOS 43202 HAS SOPS 43202 HAS SOUS 34017 HAS SOUPS 34017 WITH SCORE 34060.202
AT ITER 6726 NEW BEST:: SOT 184092 SOS 43196 HAS SOPS 43196 HAS SOUS 34003 HAS SOUPS 34003 WITH SCORE 34046.196
AT ITER 6745 NEW BEST:: SOT 184098 SOS 43180 HAS SOPS 43180 HAS SOUS 33987 HAS SOUPS 33987 WITH SCORE 34030.18
AT ITER 6757 NEW BEST:: SOT 184098 SOS 43160 HAS SOPS 43160 HAS SOUS 33987 HAS SOUPS 33987 WITH SCORE 34030.16
AT ITER 6818 NEW BEST:: SOT 184080 SOS 43144 HAS SOPS 43144 HAS SOUS 33971 HAS SOUPS 33971 WITH SCORE 34014.144
AT ITER 6826 NEW BEST:: SOT 184080 SOS 43430 HAS SOPS 43430 HAS SOUS 33964 HAS SOUPS 33964 WITH SCORE 34007.43
AT ITER 6867 NEW BEST:: SOT 184084 SOS 43419 HAS SOPS 43419 HAS SOUS 33957 HAS SOUPS 33957 WITH SCORE 34000.419
AT ITER 6904 NEW BEST:: SOT 184083 SOS 43395 HAS SOPS 43395 HAS SOUS 33934 HAS SOUPS 33934 WITH SCORE 33977.395
AT ITER 6918 NEW BEST:: SOT 184077 SOS 43383 HAS SOPS 43383 HAS SOUS 33928 HAS SOUPS 33928 WITH SCORE 33971.383
AT ITER 7020 NEW BEST:: SOT 184069 SOS 43264 HAS SOPS 43264 HAS SOUS 33864 HAS SOUPS 33864 WITH SCORE 33907.264
AT ITER 7031 NEW BEST:: SOT 184069 SOS 43148 HAS SOPS 43148 HAS SOUS 33806 HAS SOUPS 33806 WITH SCORE 33849.148
AT ITER 7045 NEW BEST:: SOT 184069 SOS 43132 HAS SOPS 43132 HAS SOUS 33788 HAS SOUPS 33788 WITH SCORE 33831.132
AT ITER 7058 NEW BEST:: SOT 184054 SOS 43117 HAS SOPS 43117 HAS SOUS 33758 HAS SOUPS 33758 WITH SCORE 33801.117
AT ITER 7106 NEW BEST:: SOT 184038 SOS 43106 HAS SOPS 43106 HAS SOUS 33747 HAS SOUPS 33747 WITH SCORE 33790.106
AT ITER 7113 NEW BEST:: SOT 184037 SOS 43104 HAS SOPS 43104 HAS SOUS 33745 HAS SOUPS 33745 WITH SCORE 33788.104
AT ITER 7168 NEW BEST:: SOT 184025 SOS 43080 HAS SOPS 43080 HAS SOUS 33728 HAS SOUPS 33728 WITH SCORE 33771.08
AT ITER 7223 NEW BEST:: SOT 184021 SOS 43107 HAS SOPS 43107 HAS SOUS 33723 HAS SOUPS 33723 WITH SCORE 33766.107
AT ITER 7242 NEW BEST:: SOT 184019 SOS 43098 HAS SOPS 43098 HAS SOUS 33719 HAS SOUPS 33719 WITH SCORE 33762.098
AT ITER 7291 NEW BEST:: SOT 184028 SOS 43101 HAS SOPS 43101 HAS SOUS 33712 HAS SOUPS 33712 WITH SCORE 33755.101
AT ITER 7295 NEW BEST:: SOT 184014 SOS 43073 HAS SOPS 43073 HAS SOUS 33673 HAS SOUPS 33673 WITH SCORE 33716.073
AT ITER 7368 NEW BEST:: SOT 184017 SOS 43064 HAS SOPS 43064 HAS SOUS 33661 HAS SOUPS 33661 WITH SCORE 33704.064
AT ITER 7427 NEW BEST:: SOT 184018 SOS 43059 HAS SOPS 43059 HAS SOUS 33656 HAS SOUPS 33656 WITH SCORE 33699.059
AT ITER 7468 NEW BEST:: SOT 184014 SOS 43051 HAS SOPS 43051 HAS SOUS 33652 HAS SOUPS 33652 WITH SCORE 33695.051
AT ITER 7495 NEW BEST:: SOT 183991 SOS 43005 HAS SOPS 43005 HAS SOUS 33606 HAS SOUPS 33606 WITH SCORE 33649.005
AT ITER 7507 NEW BEST:: SOT 184139 SOS 42978 HAS SOPS 42978 HAS SOUS 33570 HAS SOUPS 33570 WITH SCORE 33612.978
AT ITER 7541 NEW BEST:: SOT 184037 SOS 42853 HAS SOPS 42853 HAS SOUS 33445 HAS SOUPS 33445 WITH SCORE 33487.853
AT ITER 7552 NEW BEST:: SOT 183912 SOS 42518 HAS SOPS 42518 HAS SOUS 33302 HAS SOUPS 33302 WITH SCORE 33344.518
AT ITER 7582 NEW BEST:: SOT 183890 SOS 42474 HAS SOPS 42474 HAS SOUS 33258 HAS SOUPS 33258 WITH SCORE 33300.474
AT ITER 7598 NEW BEST:: SOT 183890 SOS 42474 HAS SOPS 42474 HAS SOUS 33257 HAS SOUPS 33257 WITH SCORE 33299.474
AT ITER 7643 NEW BEST:: SOT 183942 SOS 42390 HAS SOPS 42390 HAS SOUS 33238 HAS SOUPS 33238 WITH SCORE 33280.39
AT ITER 7659 NEW BEST:: SOT 183942 SOS 42390 HAS SOPS 42390 HAS SOUS 33190 HAS SOUPS 33190 WITH SCORE 33232.39
AT ITER 7661 NEW BEST:: SOT 183917 SOS 42368 HAS SOPS 42368 HAS SOUS 33155 HAS SOUPS 33155 WITH SCORE 33197.368
AT ITER 7724 NEW BEST:: SOT 183917 SOS 42113 HAS SOPS 42113 HAS SOUS 33155 HAS SOUPS 33155 WITH SCORE 33197.113
AT ITER 7743 NEW BEST:: SOT 183894 SOS 42067 HAS SOPS 42067 HAS SOUS 33109 HAS SOUPS 33109 WITH SCORE 33151.067
AT ITER 7761 NEW BEST:: SOT 183895 SOS 41883 HAS SOPS 41883 HAS SOUS 33017 HAS SOUPS 33017 WITH SCORE 33058.883
AT ITER 7762 NEW BEST:: SOT 183884 SOS 41861 HAS SOPS 41861 HAS SOUS 32995 HAS SOUPS 32995 WITH SCORE 33036.861
AT ITER 7794 NEW BEST:: SOT 183880 SOS 41853 HAS SOPS 41853 HAS SOUS 32991 HAS SOUPS 32991 WITH SCORE 33032.853
AT ITER 7913 NEW BEST:: SOT 183890 SOS 41837 HAS SOPS 41837 HAS SOUS 32975 HAS SOUPS 32975 WITH SCORE 33016.837
AT ITER 7931 NEW BEST:: SOT 183887 SOS 41831 HAS SOPS 41831 HAS SOUS 32969 HAS SOUPS 32969 WITH SCORE 33010.831
AT ITER 7951 NEW BEST:: SOT 183883 SOS 41823 HAS SOPS 41823 HAS SOUS 32965 HAS SOUPS 32965 WITH SCORE 33006.823
AT ITER 7974 NEW BEST:: SOT 183900 SOS 41777 HAS SOPS 41777 HAS SOUS 32959 HAS SOUPS 32959 WITH SCORE 33000.777
AT ITER 8004 NEW BEST:: SOT 183896 SOS 41769 HAS SOPS 41769 HAS SOUS 32934 HAS SOUPS 32934 WITH SCORE 32975.769
AT ITER 8007 NEW BEST:: SOT 183894 SOS 41767 HAS SOPS 41767 HAS SOUS 32932 HAS SOUPS 32932 WITH SCORE 32973.767
AT ITER 8022 NEW BEST:: SOT 183890 SOS 41759 HAS SOPS 41759 HAS SOUS 32924 HAS SOUPS 32924 WITH SCORE 32965.759
AT ITER 8048 NEW BEST:: SOT 183888 SOS 41755 HAS SOPS 41755 HAS SOUS 32922 HAS SOUPS 32922 WITH SCORE 32963.755
AT ITER 8052 NEW BEST:: SOT 183890 SOS 41739 HAS SOPS 41739 HAS SOUS 32914 HAS SOUPS 32914 WITH SCORE 32955.739
AT ITER 8059 NEW BEST:: SOT 183890 SOS 41741 HAS SOPS 41741 HAS SOUS 32912 HAS SOUPS 32912 WITH SCORE 32953.741
AT ITER 8068 NEW BEST:: SOT 183890 SOS 41737 HAS SOPS 41737 HAS SOUS 32910 HAS SOUPS 32910 WITH SCORE 32951.737
AT ITER 8070 NEW BEST:: SOT 183870 SOS 41697 HAS SOPS 41697 HAS SOUS 32890 HAS SOUPS 32890 WITH SCORE 32931.697
AT ITER 8173 NEW BEST:: SOT 183868 SOS 41693 HAS SOPS 41693 HAS SOUS 32888 HAS SOUPS 32888 WITH SCORE 32929.693
AT ITER 8176 NEW BEST:: SOT 183859 SOS 41675 HAS SOPS 41675 HAS SOUS 32879 HAS SOUPS 32879 WITH SCORE 32920.675
AT ITER 8177 NEW BEST:: SOT 183851 SOS 41667 HAS SOPS 41667 HAS SOUS 32871 HAS SOUPS 32871 WITH SCORE 32912.667
AT ITER 8215 NEW BEST:: SOT 183848 SOS 41661 HAS SOPS 41661 HAS SOUS 32865 HAS SOUPS 32865 WITH SCORE 32906.661
AT ITER 8249 NEW BEST:: SOT 183874 SOS 41621 HAS SOPS 41621 HAS SOUS 32845 HAS SOUPS 32845 WITH SCORE 32886.621
AT ITER 8376 NEW BEST:: SOT 183865 SOS 41617 HAS SOPS 41617 HAS SOUS 32841 HAS SOUPS 32841 WITH SCORE 32882.617
AT ITER 8377 NEW BEST:: SOT 183811 SOS 41509 HAS SOPS 41509 HAS SOUS 32733 HAS SOUPS 32733 WITH SCORE 32774.509
AT ITER 8386 NEW BEST:: SOT 183811 SOS 41509 HAS SOPS 41509 HAS SOUS 32718 HAS SOUPS 32718 WITH SCORE 32759.509
AT ITER 8410 NEW BEST:: SOT 183811 SOS 41466 HAS SOPS 41466 HAS SOUS 32718 HAS SOUPS 32718 WITH SCORE 32759.466
AT ITER 8412 NEW BEST:: SOT 183808 SOS 41447 HAS SOPS 41447 HAS SOUS 32712 HAS SOUPS 32712 WITH SCORE 32753.447
AT ITER 8455 NEW BEST:: SOT 183808 SOS 41337 HAS SOPS 41337 HAS SOUS 32657 HAS SOUPS 32657 WITH SCORE 32698.337
AT ITER 8461 NEW BEST:: SOT 183802 SOS 41331 HAS SOPS 41331 HAS SOUS 32651 HAS SOUPS 32651 WITH SCORE 32692.331
AT ITER 8512 NEW BEST:: SOT 183802 SOS 41325 HAS SOPS 41325 HAS SOUS 32648 HAS SOUPS 32648 WITH SCORE 32689.325
AT ITER 8597 NEW BEST:: SOT 183797 SOS 41315 HAS SOPS 41315 HAS SOUS 32638 HAS SOUPS 32638 WITH SCORE 32679.315
AT ITER 8617 NEW BEST:: SOT 183792 SOS 41313 HAS SOPS 41313 HAS SOUS 32636 HAS SOUPS 32636 WITH SCORE 32677.313
AT ITER 8648 NEW BEST:: SOT 183743 SOS 41215 HAS SOPS 41215 HAS SOUS 32586 HAS SOUPS 32586 WITH SCORE 32627.215
AT ITER 8785 NEW BEST:: SOT 183740 SOS 41209 HAS SOPS 41209 HAS SOUS 32580 HAS SOUPS 32580 WITH SCORE 32621.209
AT ITER 8787 NEW BEST:: SOT 183751 SOS 41163 HAS SOPS 41163 HAS SOUS 32579 HAS SOUPS 32579 WITH SCORE 32620.163
AT ITER 8791 NEW BEST:: SOT 183748 SOS 41161 HAS SOPS 41161 HAS SOUS 32577 HAS SOUPS 32577 WITH SCORE 32618.161
AT ITER 8896 NEW BEST:: SOT 183747 SOS 41159 HAS SOPS 41159 HAS SOUS 32575 HAS SOUPS 32575 WITH SCORE 32616.159
AT ITER 8927 NEW BEST:: SOT 183747 SOS 41137 HAS SOPS 41137 HAS SOUS 32553 HAS SOUPS 32553 WITH SCORE 32594.137
AT ITER 8929 NEW BEST:: SOT 183736 SOS 41126 HAS SOPS 41126 HAS SOUS 32531 HAS SOUPS 32531 WITH SCORE 32572.126
AT ITER 9027 NEW BEST:: SOT 183736 SOS 41125 HAS SOPS 41125 HAS SOUS 32530 HAS SOUPS 32530 WITH SCORE 32571.125
AT ITER 9036 NEW BEST:: SOT 183699 SOS 41032 HAS SOPS 41032 HAS SOUS 32456 HAS SOUPS 32456 WITH SCORE 32497.032
AT ITER 9055 NEW BEST:: SOT 183697 SOS 41028 HAS SOPS 41028 HAS SOUS 32452 HAS SOUPS 32452 WITH SCORE 32493.028
AT ITER 9056 NEW BEST:: SOT 183700 SOS 41032 HAS SOPS 41032 HAS SOUS 32409 HAS SOUPS 32409 WITH SCORE 32450.032
AT ITER 9067 NEW BEST:: SOT 183700 SOS 41032 HAS SOPS 41032 HAS SOUS 32365 HAS SOUPS 32365 WITH SCORE 32406.032
AT ITER 9071 NEW BEST:: SOT 183690 SOS 40983 HAS SOPS 40983 HAS SOUS 32345 HAS SOUPS 32345 WITH SCORE 32385.983
AT ITER 9117 NEW BEST:: SOT 183690 SOS 40983 HAS SOPS 40983 HAS SOUS 32329 HAS SOUPS 32329 WITH SCORE 32369.983
AT ITER 9118 NEW BEST:: SOT 183669 SOS 40941 HAS SOPS 40941 HAS SOUS 32329 HAS SOUPS 32329 WITH SCORE 32369.941
AT ITER 9225 NEW BEST:: SOT 183689 SOS 40927 HAS SOPS 40927 HAS SOUS 32315 HAS SOUPS 32315 WITH SCORE 32355.927
AT ITER 9230 NEW BEST:: SOT 183678 SOS 40905 HAS SOPS 40905 HAS SOUS 32303 HAS SOUPS 32303 WITH SCORE 32343.905
AT ITER 9247 NEW BEST:: SOT 183675 SOS 40905 HAS SOPS 40905 HAS SOUS 32300 HAS SOUPS 32300 WITH SCORE 32340.905
AT ITER 9317 NEW BEST:: SOT 183664 SOS 40883 HAS SOPS 40883 HAS SOUS 32278 HAS SOUPS 32278 WITH SCORE 32318.883
AT ITER 9380 NEW BEST:: SOT 183639 SOS 40833 HAS SOPS 40833 HAS SOUS 32228 HAS SOUPS 32228 WITH SCORE 32268.833
AT ITER 9418 NEW BEST:: SOT 183639 SOS 40833 HAS SOPS 40833 HAS SOUS 32227 HAS SOUPS 32227 WITH SCORE 32267.833
AT ITER 9441 NEW BEST:: SOT 183639 SOS 40833 HAS SOPS 40833 HAS SOUS 32212 HAS SOUPS 32212 WITH SCORE 32252.833
AT ITER 9454 NEW BEST:: SOT 183640 SOS 40835 HAS SOPS 40835 HAS SOUS 32150 HAS SOUPS 32150 WITH SCORE 32190.835
AT ITER 9469 NEW BEST:: SOT 183631 SOS 40823 HAS SOPS 40823 HAS SOUS 32138 HAS SOUPS 32138 WITH SCORE 32178.823
AT ITER 9478 NEW BEST:: SOT 183616 SOS 40823 HAS SOPS 40823 HAS SOUS 32123 HAS SOUPS 32123 WITH SCORE 32163.823
AT ITER 9490 NEW BEST:: SOT 183609 SOS 40809 HAS SOPS 40809 HAS SOUS 32109 HAS SOUPS 32109 WITH SCORE 32149.809
AT ITER 9533 NEW BEST:: SOT 183609 SOS 40737 HAS SOPS 40737 HAS SOUS 32073 HAS SOUPS 32073 WITH SCORE 32113.737
AT ITER 9558 NEW BEST:: SOT 183564 SOS 40647 HAS SOPS 40647 HAS SOUS 31983 HAS SOUPS 31983 WITH SCORE 32023.647
AT ITER 9582 NEW BEST:: SOT 183543 SOS 40647 HAS SOPS 40647 HAS SOUS 31941 HAS SOUPS 31941 WITH SCORE 31981.647
AT ITER 9593 NEW BEST:: SOT 183526 SOS 40624 HAS SOPS 40624 HAS SOUS 31907 HAS SOUPS 31907 WITH SCORE 31947.624
AT ITER 9634 NEW BEST:: SOT 183525 SOS 40622 HAS SOPS 40622 HAS SOUS 31905 HAS SOUPS 31905 WITH SCORE 31945.622
AT ITER 9720 NEW BEST:: SOT 183495 SOS 40586 HAS SOPS 40586 HAS SOUS 31890 HAS SOUPS 31890 WITH SCORE 31930.586
AT ITER 9726 NEW BEST:: SOT 183476 SOS 40548 HAS SOPS 40548 HAS SOUS 31852 HAS SOUPS 31852 WITH SCORE 31892.548
AT ITER 9735 NEW BEST:: SOT 183476 SOS 40548 HAS SOPS 40548 HAS SOUS 31843 HAS SOUPS 31843 WITH SCORE 31883.548
AT ITER 9779 NEW BEST:: SOT 183475 SOS 40534 HAS SOPS 40534 HAS SOUS 31829 HAS SOUPS 31829 WITH SCORE 31869.534
AT ITER 9782 NEW BEST:: SOT 183475 SOS 40529 HAS SOPS 40529 HAS SOUS 31829 HAS SOUPS 31829 WITH SCORE 31869.529
AT ITER 9801 NEW BEST:: SOT 183431 SOS 40460 HAS SOPS 40460 HAS SOUS 31811 HAS SOUPS 31811 WITH SCORE 31851.46
AT ITER 9802 NEW BEST:: SOT 183405 SOS 40434 HAS SOPS 40434 HAS SOUS 31811 HAS SOUPS 31811 WITH SCORE 31851.434
AT ITER 9894 NEW BEST:: SOT 183401 SOS 40426 HAS SOPS 40426 HAS SOUS 31803 HAS SOUPS 31803 WITH SCORE 31843.426
AT ITER 9904 NEW BEST:: SOT 183397 SOS 40418 HAS SOPS 40418 HAS SOUS 31795 HAS SOUPS 31795 WITH SCORE 31835.418
AT ITER 9927 NEW BEST:: SOT 183393 SOS 40410 HAS SOPS 40410 HAS SOUS 31787 HAS SOUPS 31787 WITH SCORE 31827.41
AT ITER 9937 NEW BEST:: SOT 183391 SOS 40406 HAS SOPS 40406 HAS SOUS 31783 HAS SOUPS 31783 WITH SCORE 31823.406
AT ITER 9940 NEW BEST:: SOT 183352 SOS 40328 HAS SOPS 40328 HAS SOUS 31705 HAS SOUPS 31705 WITH SCORE 31745.328
AT ITER 9948 NEW BEST:: SOT 183334 SOS 40310 HAS SOPS 40310 HAS SOUS 31687 HAS SOUPS 31687 WITH SCORE 31727.31
AT ITER 9966 NEW BEST:: SOT 183334 SOS 40290 HAS SOPS 40290 HAS SOUS 31677 HAS SOUPS 31677 WITH SCORE 31717.29
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14956952 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16125728 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GPUForwardProgress-PT-28b"
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 GPUForwardProgress-PT-28b, 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 r203-smll-167840349100112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GPUForwardProgress-PT-28b.tgz
mv GPUForwardProgress-PT-28b 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 ;