About the Execution of Smart+red for SmartHome-PT-12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14360.308 | 3600000.00 | 3628446.00 | 8704.10 | [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.r459-smll-167912651000248.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 SmartHome-PT-12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651000248
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 548K
-rw-r--r-- 1 mcc users 6.0K Feb 26 05:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 05:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 05:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 05:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 05:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 26 05:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 05:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 05:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 90K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679264115565
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=SmartHome-PT-12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 22:15:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 22:15:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 22:15:19] [INFO ] Load time of PNML (sax parser for PT used): 97 ms
[2023-03-19 22:15:19] [INFO ] Transformed 376 places.
[2023-03-19 22:15:19] [INFO ] Transformed 399 transitions.
[2023-03-19 22:15:19] [INFO ] Found NUPN structural information;
[2023-03-19 22:15:19] [INFO ] Parsed PT model containing 376 places and 399 transitions and 909 arcs in 336 ms.
[2023-03-19 22:15:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 376 places, 399 transitions and 909 arcs took 9 ms.
Total runtime 399 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 12
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: 376 places, 399 transitions, 909 arcs.
AT ITER 0 NEW BEST:: SOT 89540 SOS 21332 HAS SOPS 21332 HAS SOUS 20871 HAS SOUPS 20871 WITH SCORE 20892.332
AT ITER 4 NEW BEST:: SOT 89455 SOS 21231 HAS SOPS 21231 HAS SOUS 20768 HAS SOUPS 20768 WITH SCORE 20789.231
AT ITER 11 NEW BEST:: SOT 89475 SOS 21222 HAS SOPS 21222 HAS SOUS 20758 HAS SOUPS 20758 WITH SCORE 20779.222
AT ITER 114 NEW BEST:: SOT 89460 SOS 21225 HAS SOPS 21225 HAS SOUS 20743 HAS SOUPS 20743 WITH SCORE 20764.225
AT ITER 116 NEW BEST:: SOT 89098 SOS 22145 HAS SOPS 22145 HAS SOUS 20622 HAS SOUPS 20622 WITH SCORE 20644.145
AT ITER 122 NEW BEST:: SOT 89098 SOS 22145 HAS SOPS 22145 HAS SOUS 20560 HAS SOUPS 20560 WITH SCORE 20582.145
AT ITER 148 NEW BEST:: SOT 89098 SOS 22142 HAS SOPS 22142 HAS SOUS 20560 HAS SOUPS 20560 WITH SCORE 20582.142
AT ITER 181 NEW BEST:: SOT 88546 SOS 29241 HAS SOPS 29241 HAS SOUS 20274 HAS SOUPS 20274 WITH SCORE 20303.241
AT ITER 204 NEW BEST:: SOT 88520 SOS 29088 HAS SOPS 29088 HAS SOUS 20261 HAS SOUPS 20261 WITH SCORE 20290.088
AT ITER 226 NEW BEST:: SOT 88421 SOS 28953 HAS SOPS 28953 HAS SOUS 20077 HAS SOUPS 20077 WITH SCORE 20105.953
AT ITER 228 NEW BEST:: SOT 88412 SOS 28935 HAS SOPS 28935 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20096.935
AT ITER 238 NEW BEST:: SOT 88410 SOS 28933 HAS SOPS 28933 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20096.933
AT ITER 251 NEW BEST:: SOT 87814 SOS 28325 HAS SOPS 28325 HAS SOUS 19516 HAS SOUPS 19516 WITH SCORE 19544.325
AT ITER 254 NEW BEST:: SOT 87800 SOS 28311 HAS SOPS 28311 HAS SOUS 19502 HAS SOUPS 19502 WITH SCORE 19530.311
AT ITER 257 NEW BEST:: SOT 87784 SOS 28279 HAS SOPS 28279 HAS SOUS 19470 HAS SOUPS 19470 WITH SCORE 19498.279
AT ITER 259 NEW BEST:: SOT 87628 SOS 28111 HAS SOPS 28111 HAS SOUS 19314 HAS SOUPS 19314 WITH SCORE 19342.111
AT ITER 262 NEW BEST:: SOT 87628 SOS 28099 HAS SOPS 28099 HAS SOUS 19302 HAS SOUPS 19302 WITH SCORE 19330.099
AT ITER 288 NEW BEST:: SOT 87628 SOS 28079 HAS SOPS 28079 HAS SOUS 19282 HAS SOUPS 19282 WITH SCORE 19310.079
AT ITER 306 NEW BEST:: SOT 86912 SOS 27669 HAS SOPS 27669 HAS SOUS 18624 HAS SOUPS 18624 WITH SCORE 18651.669
AT ITER 328 NEW BEST:: SOT 86274 SOS 27079 HAS SOPS 27079 HAS SOUS 18010 HAS SOUPS 18010 WITH SCORE 18037.079
AT ITER 332 NEW BEST:: SOT 86210 SOS 26984 HAS SOPS 26984 HAS SOUS 17948 HAS SOUPS 17948 WITH SCORE 17974.984
AT ITER 350 NEW BEST:: SOT 86198 SOS 26972 HAS SOPS 26972 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 17973.972
AT ITER 358 NEW BEST:: SOT 85781 SOS 27318 HAS SOPS 27318 HAS SOUS 17725 HAS SOUPS 17725 WITH SCORE 17752.318
AT ITER 372 NEW BEST:: SOT 84995 SOS 27477 HAS SOPS 27477 HAS SOUS 17166 HAS SOUPS 17166 WITH SCORE 17193.477
AT ITER 378 NEW BEST:: SOT 84936 SOS 27359 HAS SOPS 27359 HAS SOUS 17116 HAS SOUPS 17116 WITH SCORE 17143.359
AT ITER 402 NEW BEST:: SOT 84872 SOS 27231 HAS SOPS 27231 HAS SOUS 17052 HAS SOUPS 17052 WITH SCORE 17079.231
AT ITER 409 NEW BEST:: SOT 84872 SOS 27189 HAS SOPS 27189 HAS SOUS 17036 HAS SOUPS 17036 WITH SCORE 17063.189
AT ITER 417 NEW BEST:: SOT 84872 SOS 27182 HAS SOPS 27182 HAS SOUS 17029 HAS SOUPS 17029 WITH SCORE 17056.182
AT ITER 418 NEW BEST:: SOT 84865 SOS 27181 HAS SOPS 27181 HAS SOUS 17028 HAS SOUPS 17028 WITH SCORE 17055.181
AT ITER 421 NEW BEST:: SOT 84819 SOS 27112 HAS SOPS 27112 HAS SOUS 16959 HAS SOUPS 16959 WITH SCORE 16986.112
AT ITER 424 NEW BEST:: SOT 84819 SOS 27112 HAS SOPS 27112 HAS SOUS 16943 HAS SOUPS 16943 WITH SCORE 16970.112
AT ITER 451 NEW BEST:: SOT 85015 SOS 27167 HAS SOPS 27167 HAS SOUS 16916 HAS SOUPS 16916 WITH SCORE 16943.167
AT ITER 457 NEW BEST:: SOT 85013 SOS 27163 HAS SOPS 27163 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16941.163
AT ITER 461 NEW BEST:: SOT 85004 SOS 27154 HAS SOPS 27154 HAS SOUS 16905 HAS SOUPS 16905 WITH SCORE 16932.154
AT ITER 470 NEW BEST:: SOT 84942 SOS 27132 HAS SOPS 27132 HAS SOUS 16869 HAS SOUPS 16869 WITH SCORE 16896.132
AT ITER 474 NEW BEST:: SOT 84942 SOS 27103 HAS SOPS 27103 HAS SOUS 16869 HAS SOUPS 16869 WITH SCORE 16896.103
AT ITER 489 NEW BEST:: SOT 84906 SOS 27060 HAS SOPS 27060 HAS SOUS 16833 HAS SOUPS 16833 WITH SCORE 16860.06
AT ITER 491 NEW BEST:: SOT 84709 SOS 26874 HAS SOPS 26874 HAS SOUS 16740 HAS SOUPS 16740 WITH SCORE 16766.874
AT ITER 542 NEW BEST:: SOT 84708 SOS 26874 HAS SOPS 26874 HAS SOUS 16739 HAS SOUPS 16739 WITH SCORE 16765.874
AT ITER 547 NEW BEST:: SOT 84708 SOS 26855 HAS SOPS 26855 HAS SOUS 16720 HAS SOUPS 16720 WITH SCORE 16746.855
AT ITER 548 NEW BEST:: SOT 84703 SOS 26840 HAS SOPS 26840 HAS SOUS 16710 HAS SOUPS 16710 WITH SCORE 16736.84
AT ITER 550 NEW BEST:: SOT 84591 SOS 26744 HAS SOPS 26744 HAS SOUS 16679 HAS SOUPS 16679 WITH SCORE 16705.744
AT ITER 553 NEW BEST:: SOT 84356 SOS 27109 HAS SOPS 27109 HAS SOUS 16648 HAS SOUPS 16648 WITH SCORE 16675.109
AT ITER 556 NEW BEST:: SOT 84247 SOS 27000 HAS SOPS 27000 HAS SOUS 16516 HAS SOUPS 16516 WITH SCORE 16543.0
AT ITER 571 NEW BEST:: SOT 84183 SOS 26934 HAS SOPS 26934 HAS SOUS 16482 HAS SOUPS 16482 WITH SCORE 16508.934
AT ITER 574 NEW BEST:: SOT 84173 SOS 26914 HAS SOPS 26914 HAS SOUS 16465 HAS SOUPS 16465 WITH SCORE 16491.914
AT ITER 589 NEW BEST:: SOT 84130 SOS 26828 HAS SOPS 26828 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16448.828
AT ITER 602 NEW BEST:: SOT 84112 SOS 26810 HAS SOPS 26810 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16421.81
AT ITER 615 NEW BEST:: SOT 84066 SOS 26771 HAS SOPS 26771 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16382.771
AT ITER 632 NEW BEST:: SOT 84055 SOS 26837 HAS SOPS 26837 HAS SOUS 16345 HAS SOUPS 16345 WITH SCORE 16371.837
AT ITER 643 NEW BEST:: SOT 84011 SOS 26749 HAS SOPS 26749 HAS SOUS 16301 HAS SOUPS 16301 WITH SCORE 16327.749
AT ITER 671 NEW BEST:: SOT 84016 SOS 26690 HAS SOPS 26690 HAS SOUS 16300 HAS SOUPS 16300 WITH SCORE 16326.69
AT ITER 680 NEW BEST:: SOT 84016 SOS 26677 HAS SOPS 26677 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16313.677
AT ITER 694 NEW BEST:: SOT 83935 SOS 26579 HAS SOPS 26579 HAS SOUS 16216 HAS SOUPS 16216 WITH SCORE 16242.579
AT ITER 707 NEW BEST:: SOT 83919 SOS 26561 HAS SOPS 26561 HAS SOUS 16198 HAS SOUPS 16198 WITH SCORE 16224.561
AT ITER 717 NEW BEST:: SOT 83874 SOS 24054 HAS SOPS 24054 HAS SOUS 16050 HAS SOUPS 16050 WITH SCORE 16074.054
AT ITER 718 NEW BEST:: SOT 83888 SOS 24054 HAS SOPS 24054 HAS SOUS 16042 HAS SOUPS 16042 WITH SCORE 16066.054
AT ITER 733 NEW BEST:: SOT 83888 SOS 24040 HAS SOPS 24040 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16052.04
AT ITER 745 NEW BEST:: SOT 83847 SOS 24003 HAS SOPS 24003 HAS SOUS 15999 HAS SOUPS 15999 WITH SCORE 16023.003
AT ITER 752 NEW BEST:: SOT 83846 SOS 24002 HAS SOPS 24002 HAS SOUS 15998 HAS SOUPS 15998 WITH SCORE 16022.002
AT ITER 761 NEW BEST:: SOT 83833 SOS 24066 HAS SOPS 24066 HAS SOUS 15985 HAS SOUPS 15985 WITH SCORE 16009.066
AT ITER 767 NEW BEST:: SOT 83763 SOS 24282 HAS SOPS 24282 HAS SOUS 15973 HAS SOUPS 15973 WITH SCORE 15997.282
AT ITER 778 NEW BEST:: SOT 83756 SOS 24362 HAS SOPS 24362 HAS SOUS 15971 HAS SOUPS 15971 WITH SCORE 15995.362
AT ITER 784 NEW BEST:: SOT 83684 SOS 25145 HAS SOPS 25145 HAS SOUS 15949 HAS SOUPS 15949 WITH SCORE 15974.145
AT ITER 787 NEW BEST:: SOT 83672 SOS 25134 HAS SOPS 25134 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15959.134
AT ITER 789 NEW BEST:: SOT 83669 SOS 25121 HAS SOPS 25121 HAS SOUS 15924 HAS SOUPS 15924 WITH SCORE 15949.121
AT ITER 800 NEW BEST:: SOT 83660 SOS 25144 HAS SOPS 25144 HAS SOUS 15915 HAS SOUPS 15915 WITH SCORE 15940.144
AT ITER 808 NEW BEST:: SOT 83645 SOS 25114 HAS SOPS 25114 HAS SOUS 15900 HAS SOUPS 15900 WITH SCORE 15925.114
AT ITER 844 NEW BEST:: SOT 83642 SOS 25108 HAS SOPS 25108 HAS SOUS 15897 HAS SOUPS 15897 WITH SCORE 15922.108
AT ITER 863 NEW BEST:: SOT 83625 SOS 25091 HAS SOPS 25091 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15905.091
AT ITER 869 NEW BEST:: SOT 83606 SOS 25072 HAS SOPS 25072 HAS SOUS 15861 HAS SOUPS 15861 WITH SCORE 15886.072
AT ITER 881 NEW BEST:: SOT 83633 SOS 25108 HAS SOPS 25108 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15872.108
AT ITER 882 NEW BEST:: SOT 83542 SOS 25017 HAS SOPS 25017 HAS SOUS 15756 HAS SOUPS 15756 WITH SCORE 15781.017
AT ITER 896 NEW BEST:: SOT 83533 SOS 24999 HAS SOPS 24999 HAS SOUS 15747 HAS SOUPS 15747 WITH SCORE 15771.999
AT ITER 897 NEW BEST:: SOT 83527 SOS 24988 HAS SOPS 24988 HAS SOUS 15722 HAS SOUPS 15722 WITH SCORE 15746.988
AT ITER 913 NEW BEST:: SOT 83525 SOS 24986 HAS SOPS 24986 HAS SOUS 15720 HAS SOUPS 15720 WITH SCORE 15744.986
AT ITER 922 NEW BEST:: SOT 83516 SOS 24979 HAS SOPS 24979 HAS SOUS 15713 HAS SOUPS 15713 WITH SCORE 15737.979
AT ITER 929 NEW BEST:: SOT 83512 SOS 24975 HAS SOPS 24975 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15736.975
AT ITER 941 NEW BEST:: SOT 83490 SOS 24956 HAS SOPS 24956 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15716.956
AT ITER 972 NEW BEST:: SOT 83438 SOS 24904 HAS SOPS 24904 HAS SOUS 15675 HAS SOUPS 15675 WITH SCORE 15699.904
AT ITER 989 NEW BEST:: SOT 83438 SOS 24904 HAS SOPS 24904 HAS SOUS 15669 HAS SOUPS 15669 WITH SCORE 15693.904
AT ITER 1008 NEW BEST:: SOT 83376 SOS 24839 HAS SOPS 24839 HAS SOUS 15607 HAS SOUPS 15607 WITH SCORE 15631.839
AT ITER 1012 NEW BEST:: SOT 83233 SOS 24610 HAS SOPS 24610 HAS SOUS 15597 HAS SOUPS 15597 WITH SCORE 15621.61
AT ITER 1018 NEW BEST:: SOT 83179 SOS 24551 HAS SOPS 24551 HAS SOUS 15566 HAS SOUPS 15566 WITH SCORE 15590.551
AT ITER 1044 NEW BEST:: SOT 83165 SOS 24523 HAS SOPS 24523 HAS SOUS 15552 HAS SOUPS 15552 WITH SCORE 15576.523
AT ITER 1053 NEW BEST:: SOT 83165 SOS 24523 HAS SOPS 24523 HAS SOUS 15537 HAS SOUPS 15537 WITH SCORE 15561.523
AT ITER 1060 NEW BEST:: SOT 83029 SOS 24387 HAS SOPS 24387 HAS SOUS 15401 HAS SOUPS 15401 WITH SCORE 15425.387
AT ITER 1068 NEW BEST:: SOT 83011 SOS 24277 HAS SOPS 24277 HAS SOUS 15309 HAS SOUPS 15309 WITH SCORE 15333.277
AT ITER 1076 NEW BEST:: SOT 83008 SOS 24271 HAS SOPS 24271 HAS SOUS 15306 HAS SOUPS 15306 WITH SCORE 15330.271
AT ITER 1080 NEW BEST:: SOT 83004 SOS 24259 HAS SOPS 24259 HAS SOUS 15302 HAS SOUPS 15302 WITH SCORE 15326.259
AT ITER 1082 NEW BEST:: SOT 82998 SOS 24200 HAS SOPS 24200 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15246.2
AT ITER 1087 NEW BEST:: SOT 82925 SOS 24127 HAS SOPS 24127 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15173.127
AT ITER 1101 NEW BEST:: SOT 82925 SOS 24121 HAS SOPS 24121 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15173.121
AT ITER 1104 NEW BEST:: SOT 82906 SOS 24102 HAS SOPS 24102 HAS SOUS 15147 HAS SOUPS 15147 WITH SCORE 15171.102
AT ITER 1117 NEW BEST:: SOT 82868 SOS 24086 HAS SOPS 24086 HAS SOUS 15109 HAS SOUPS 15109 WITH SCORE 15133.086
AT ITER 1136 NEW BEST:: SOT 82867 SOS 22820 HAS SOPS 22820 HAS SOUS 14921 HAS SOUPS 14921 WITH SCORE 14943.82
AT ITER 1140 NEW BEST:: SOT 82849 SOS 22784 HAS SOPS 22784 HAS SOUS 14883 HAS SOUPS 14883 WITH SCORE 14905.784
AT ITER 1141 NEW BEST:: SOT 82815 SOS 22762 HAS SOPS 22762 HAS SOUS 14861 HAS SOUPS 14861 WITH SCORE 14883.762
AT ITER 1151 NEW BEST:: SOT 82815 SOS 22286 HAS SOPS 22286 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14818.286
AT ITER 1154 NEW BEST:: SOT 82812 SOS 22283 HAS SOPS 22283 HAS SOUS 14790 HAS SOUPS 14790 WITH SCORE 14812.283
AT ITER 1164 NEW BEST:: SOT 82812 SOS 22199 HAS SOPS 22199 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14806.199
AT ITER 1169 NEW BEST:: SOT 82809 SOS 22024 HAS SOPS 22024 HAS SOUS 14778 HAS SOUPS 14778 WITH SCORE 14800.024
AT ITER 1188 NEW BEST:: SOT 82776 SOS 21990 HAS SOPS 21990 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14796.99
AT ITER 1189 NEW BEST:: SOT 82764 SOS 21966 HAS SOPS 21966 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14772.966
AT ITER 1193 NEW BEST:: SOT 82764 SOS 21944 HAS SOPS 21944 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14750.944
AT ITER 1200 NEW BEST:: SOT 82756 SOS 21536 HAS SOPS 21536 HAS SOUS 14508 HAS SOUPS 14508 WITH SCORE 14529.536
AT ITER 1208 NEW BEST:: SOT 82747 SOS 21518 HAS SOPS 21518 HAS SOUS 14501 HAS SOUPS 14501 WITH SCORE 14522.518
AT ITER 1221 NEW BEST:: SOT 82737 SOS 21498 HAS SOPS 21498 HAS SOUS 14478 HAS SOUPS 14478 WITH SCORE 14499.498
AT ITER 1228 NEW BEST:: SOT 82727 SOS 21498 HAS SOPS 21498 HAS SOUS 14468 HAS SOUPS 14468 WITH SCORE 14489.498
AT ITER 1232 NEW BEST:: SOT 82683 SOS 21410 HAS SOPS 21410 HAS SOUS 14431 HAS SOUPS 14431 WITH SCORE 14452.41
AT ITER 1250 NEW BEST:: SOT 82691 SOS 21354 HAS SOPS 21354 HAS SOUS 14427 HAS SOUPS 14427 WITH SCORE 14448.354
AT ITER 1272 NEW BEST:: SOT 82619 SOS 21288 HAS SOPS 21288 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14404.288
AT ITER 1302 NEW BEST:: SOT 82611 SOS 21353 HAS SOPS 21353 HAS SOUS 14375 HAS SOUPS 14375 WITH SCORE 14396.353
AT ITER 1307 NEW BEST:: SOT 82560 SOS 21251 HAS SOPS 21251 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14334.251
AT ITER 1312 NEW BEST:: SOT 82527 SOS 21203 HAS SOPS 21203 HAS SOUS 14275 HAS SOUPS 14275 WITH SCORE 14296.203
AT ITER 1337 NEW BEST:: SOT 82513 SOS 21189 HAS SOPS 21189 HAS SOUS 14261 HAS SOUPS 14261 WITH SCORE 14282.189
AT ITER 1345 NEW BEST:: SOT 82513 SOS 21189 HAS SOPS 21189 HAS SOUS 14255 HAS SOUPS 14255 WITH SCORE 14276.189
AT ITER 1362 NEW BEST:: SOT 82516 SOS 21162 HAS SOPS 21162 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14270.162
AT ITER 1382 NEW BEST:: SOT 82515 SOS 21160 HAS SOPS 21160 HAS SOUS 14247 HAS SOUPS 14247 WITH SCORE 14268.16
AT ITER 1391 NEW BEST:: SOT 82515 SOS 21160 HAS SOPS 21160 HAS SOUS 14245 HAS SOUPS 14245 WITH SCORE 14266.16
AT ITER 1394 NEW BEST:: SOT 82526 SOS 21170 HAS SOPS 21170 HAS SOUS 14243 HAS SOUPS 14243 WITH SCORE 14264.17
AT ITER 1395 NEW BEST:: SOT 82525 SOS 21169 HAS SOPS 21169 HAS SOUS 14242 HAS SOUPS 14242 WITH SCORE 14263.169
AT ITER 1401 NEW BEST:: SOT 82523 SOS 21165 HAS SOPS 21165 HAS SOUS 14238 HAS SOUPS 14238 WITH SCORE 14259.165
AT ITER 1404 NEW BEST:: SOT 82523 SOS 21165 HAS SOPS 21165 HAS SOUS 14209 HAS SOUPS 14209 WITH SCORE 14230.165
AT ITER 1421 NEW BEST:: SOT 82523 SOS 21165 HAS SOPS 21165 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14212.165
AT ITER 1438 NEW BEST:: SOT 82523 SOS 21160 HAS SOPS 21160 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14212.16
AT ITER 1464 NEW BEST:: SOT 82523 SOS 21166 HAS SOPS 21166 HAS SOUS 14185 HAS SOUPS 14185 WITH SCORE 14206.166
AT ITER 1479 NEW BEST:: SOT 82521 SOS 21164 HAS SOPS 21164 HAS SOUS 14183 HAS SOUPS 14183 WITH SCORE 14204.164
AT ITER 1481 NEW BEST:: SOT 82497 SOS 21140 HAS SOPS 21140 HAS SOUS 14159 HAS SOUPS 14159 WITH SCORE 14180.14
AT ITER 1491 NEW BEST:: SOT 82499 SOS 21099 HAS SOPS 21099 HAS SOUS 14118 HAS SOUPS 14118 WITH SCORE 14139.099
AT ITER 1494 NEW BEST:: SOT 82494 SOS 21032 HAS SOPS 21032 HAS SOUS 14072 HAS SOUPS 14072 WITH SCORE 14093.032
AT ITER 1523 NEW BEST:: SOT 82484 SOS 21012 HAS SOPS 21012 HAS SOUS 14072 HAS SOUPS 14072 WITH SCORE 14093.012
AT ITER 1532 NEW BEST:: SOT 82472 SOS 20832 HAS SOPS 20832 HAS SOUS 14048 HAS SOUPS 14048 WITH SCORE 14068.832
AT ITER 1536 NEW BEST:: SOT 82466 SOS 20829 HAS SOPS 20829 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14059.829
AT ITER 1567 NEW BEST:: SOT 82442 SOS 20781 HAS SOPS 20781 HAS SOUS 14003 HAS SOUPS 14003 WITH SCORE 14023.781
AT ITER 1606 NEW BEST:: SOT 82440 SOS 20777 HAS SOPS 20777 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14019.777
AT ITER 1611 NEW BEST:: SOT 82440 SOS 20777 HAS SOPS 20777 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14009.777
AT ITER 1628 NEW BEST:: SOT 82427 SOS 20751 HAS SOPS 20751 HAS SOUS 13971 HAS SOUPS 13971 WITH SCORE 13991.751
AT ITER 1638 NEW BEST:: SOT 82424 SOS 20740 HAS SOPS 20740 HAS SOUS 13963 HAS SOUPS 13963 WITH SCORE 13983.74
AT ITER 1654 NEW BEST:: SOT 82357 SOS 20695 HAS SOPS 20695 HAS SOUS 13896 HAS SOUPS 13896 WITH SCORE 13916.695
AT ITER 1716 NEW BEST:: SOT 82343 SOS 20681 HAS SOPS 20681 HAS SOUS 13882 HAS SOUPS 13882 WITH SCORE 13902.681
AT ITER 1731 NEW BEST:: SOT 82317 SOS 20604 HAS SOPS 20604 HAS SOUS 13805 HAS SOUPS 13805 WITH SCORE 13825.604
AT ITER 1734 NEW BEST:: SOT 82308 SOS 20586 HAS SOPS 20586 HAS SOUS 13787 HAS SOUPS 13787 WITH SCORE 13807.586
AT ITER 1744 NEW BEST:: SOT 82308 SOS 20586 HAS SOPS 20586 HAS SOUS 13786 HAS SOUPS 13786 WITH SCORE 13806.586
AT ITER 1766 NEW BEST:: SOT 82271 SOS 20703 HAS SOPS 20703 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13769.703
AT ITER 1797 NEW BEST:: SOT 82255 SOS 20687 HAS SOPS 20687 HAS SOUS 13722 HAS SOUPS 13722 WITH SCORE 13742.687
AT ITER 1803 NEW BEST:: SOT 82232 SOS 20608 HAS SOPS 20608 HAS SOUS 13670 HAS SOUPS 13670 WITH SCORE 13690.608
AT ITER 1805 NEW BEST:: SOT 82250 SOS 20603 HAS SOPS 20603 HAS SOUS 13665 HAS SOUPS 13665 WITH SCORE 13685.603
AT ITER 1809 NEW BEST:: SOT 82263 SOS 20591 HAS SOPS 20591 HAS SOUS 13653 HAS SOUPS 13653 WITH SCORE 13673.591
AT ITER 1820 NEW BEST:: SOT 82205 SOS 20475 HAS SOPS 20475 HAS SOUS 13635 HAS SOUPS 13635 WITH SCORE 13655.475
AT ITER 1824 NEW BEST:: SOT 82226 SOS 20496 HAS SOPS 20496 HAS SOUS 13621 HAS SOUPS 13621 WITH SCORE 13641.496
AT ITER 1829 NEW BEST:: SOT 82220 SOS 20485 HAS SOPS 20485 HAS SOUS 13621 HAS SOUPS 13621 WITH SCORE 13641.485
AT ITER 1837 NEW BEST:: SOT 82193 SOS 20458 HAS SOPS 20458 HAS SOUS 13567 HAS SOUPS 13567 WITH SCORE 13587.458
AT ITER 1842 NEW BEST:: SOT 82156 SOS 20443 HAS SOPS 20443 HAS SOUS 13552 HAS SOUPS 13552 WITH SCORE 13572.443
AT ITER 1957 NEW BEST:: SOT 82162 SOS 20442 HAS SOPS 20442 HAS SOUS 13551 HAS SOUPS 13551 WITH SCORE 13571.442
AT ITER 1962 NEW BEST:: SOT 82177 SOS 20427 HAS SOPS 20427 HAS SOUS 13536 HAS SOUPS 13536 WITH SCORE 13556.427
AT ITER 1977 NEW BEST:: SOT 82168 SOS 20418 HAS SOPS 20418 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13547.418
AT ITER 2000 NEW BEST:: SOT 82148 SOS 20378 HAS SOPS 20378 HAS SOUS 13507 HAS SOUPS 13507 WITH SCORE 13527.378
AT ITER 2033 NEW BEST:: SOT 82125 SOS 20355 HAS SOPS 20355 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13504.355
AT ITER 2041 NEW BEST:: SOT 82051 SOS 20260 HAS SOPS 20260 HAS SOUS 13442 HAS SOUPS 13442 WITH SCORE 13462.26
AT ITER 2055 NEW BEST:: SOT 82042 SOS 20251 HAS SOPS 20251 HAS SOUS 13438 HAS SOUPS 13438 WITH SCORE 13458.251
AT ITER 2081 NEW BEST:: SOT 82037 SOS 20241 HAS SOPS 20241 HAS SOUS 13433 HAS SOUPS 13433 WITH SCORE 13453.241
AT ITER 2123 NEW BEST:: SOT 81899 SOS 20552 HAS SOPS 20552 HAS SOUS 13379 HAS SOUPS 13379 WITH SCORE 13399.552
AT ITER 2126 NEW BEST:: SOT 81875 SOS 20504 HAS SOPS 20504 HAS SOUS 13353 HAS SOUPS 13353 WITH SCORE 13373.504
AT ITER 2202 NEW BEST:: SOT 81846 SOS 20475 HAS SOPS 20475 HAS SOUS 13347 HAS SOUPS 13347 WITH SCORE 13367.475
AT ITER 2260 NEW BEST:: SOT 81719 SOS 20411 HAS SOPS 20411 HAS SOUS 13326 HAS SOUPS 13326 WITH SCORE 13346.411
AT ITER 2268 NEW BEST:: SOT 81727 SOS 20419 HAS SOPS 20419 HAS SOUS 13313 HAS SOUPS 13313 WITH SCORE 13333.419
AT ITER 2308 NEW BEST:: SOT 81699 SOS 20401 HAS SOPS 20401 HAS SOUS 13305 HAS SOUPS 13305 WITH SCORE 13325.401
AT ITER 2351 NEW BEST:: SOT 81694 SOS 20478 HAS SOPS 20478 HAS SOUS 13300 HAS SOUPS 13300 WITH SCORE 13320.478
AT ITER 2366 NEW BEST:: SOT 81673 SOS 20436 HAS SOPS 20436 HAS SOUS 13269 HAS SOUPS 13269 WITH SCORE 13289.436
AT ITER 2385 NEW BEST:: SOT 81690 SOS 20415 HAS SOPS 20415 HAS SOUS 13266 HAS SOUPS 13266 WITH SCORE 13286.415
AT ITER 2414 NEW BEST:: SOT 81690 SOS 20341 HAS SOPS 20341 HAS SOUS 13192 HAS SOUPS 13192 WITH SCORE 13212.341
AT ITER 2427 NEW BEST:: SOT 81688 SOS 20339 HAS SOPS 20339 HAS SOUS 13190 HAS SOUPS 13190 WITH SCORE 13210.339
AT ITER 2430 NEW BEST:: SOT 81677 SOS 20317 HAS SOPS 20317 HAS SOUS 13164 HAS SOUPS 13164 WITH SCORE 13184.317
AT ITER 2433 NEW BEST:: SOT 81619 SOS 20232 HAS SOPS 20232 HAS SOUS 13126 HAS SOUPS 13126 WITH SCORE 13146.232
AT ITER 2456 NEW BEST:: SOT 81575 SOS 20189 HAS SOPS 20189 HAS SOUS 13106 HAS SOUPS 13106 WITH SCORE 13126.189
AT ITER 2459 NEW BEST:: SOT 81582 SOS 20248 HAS SOPS 20248 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13059.248
AT ITER 2472 NEW BEST:: SOT 81571 SOS 20237 HAS SOPS 20237 HAS SOUS 13036 HAS SOUPS 13036 WITH SCORE 13056.237
AT ITER 2474 NEW BEST:: SOT 81595 SOS 20191 HAS SOPS 20191 HAS SOUS 13008 HAS SOUPS 13008 WITH SCORE 13028.191
AT ITER 2498 NEW BEST:: SOT 81619 SOS 20182 HAS SOPS 20182 HAS SOUS 13002 HAS SOUPS 13002 WITH SCORE 13022.182
AT ITER 2501 NEW BEST:: SOT 81619 SOS 20175 HAS SOPS 20175 HAS SOUS 12995 HAS SOUPS 12995 WITH SCORE 13015.175
AT ITER 2502 NEW BEST:: SOT 81619 SOS 20174 HAS SOPS 20174 HAS SOUS 12995 HAS SOUPS 12995 WITH SCORE 13015.174
AT ITER 2536 NEW BEST:: SOT 81608 SOS 20152 HAS SOPS 20152 HAS SOUS 12973 HAS SOUPS 12973 WITH SCORE 12993.152
AT ITER 2568 NEW BEST:: SOT 81603 SOS 20151 HAS SOPS 20151 HAS SOUS 12972 HAS SOUPS 12972 WITH SCORE 12992.151
AT ITER 2613 NEW BEST:: SOT 81585 SOS 20133 HAS SOPS 20133 HAS SOUS 12954 HAS SOUPS 12954 WITH SCORE 12974.133
AT ITER 2639 NEW BEST:: SOT 81580 SOS 20154 HAS SOPS 20154 HAS SOUS 12949 HAS SOUPS 12949 WITH SCORE 12969.154
AT ITER 2641 NEW BEST:: SOT 81578 SOS 20152 HAS SOPS 20152 HAS SOUS 12949 HAS SOUPS 12949 WITH SCORE 12969.152
AT ITER 2642 NEW BEST:: SOT 81534 SOS 20108 HAS SOPS 20108 HAS SOUS 12905 HAS SOUPS 12905 WITH SCORE 12925.108
AT ITER 2651 NEW BEST:: SOT 81570 SOS 20117 HAS SOPS 20117 HAS SOUS 12878 HAS SOUPS 12878 WITH SCORE 12898.117
AT ITER 2657 NEW BEST:: SOT 81527 SOS 20031 HAS SOPS 20031 HAS SOUS 12838 HAS SOUPS 12838 WITH SCORE 12858.031
AT ITER 2665 NEW BEST:: SOT 81521 SOS 20025 HAS SOPS 20025 HAS SOUS 12804 HAS SOUPS 12804 WITH SCORE 12824.025
AT ITER 2675 NEW BEST:: SOT 81477 SOS 19940 HAS SOPS 19940 HAS SOUS 12801 HAS SOUPS 12801 WITH SCORE 12820.94
AT ITER 2681 NEW BEST:: SOT 81454 SOS 19894 HAS SOPS 19894 HAS SOUS 12755 HAS SOUPS 12755 WITH SCORE 12774.894
AT ITER 2706 NEW BEST:: SOT 81409 SOS 19804 HAS SOPS 19804 HAS SOUS 12700 HAS SOUPS 12700 WITH SCORE 12719.804
AT ITER 2727 NEW BEST:: SOT 81411 SOS 19793 HAS SOPS 19793 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12714.793
AT ITER 2733 NEW BEST:: SOT 81411 SOS 19778 HAS SOPS 19778 HAS SOUS 12690 HAS SOUPS 12690 WITH SCORE 12709.778
AT ITER 2735 NEW BEST:: SOT 81411 SOS 19774 HAS SOPS 19774 HAS SOUS 12690 HAS SOUPS 12690 WITH SCORE 12709.774
AT ITER 2738 NEW BEST:: SOT 81371 SOS 19743 HAS SOPS 19743 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12685.743
AT ITER 2740 NEW BEST:: SOT 81309 SOS 19681 HAS SOPS 19681 HAS SOUS 12638 HAS SOUPS 12638 WITH SCORE 12657.681
AT ITER 2766 NEW BEST:: SOT 81309 SOS 19681 HAS SOPS 19681 HAS SOUS 12619 HAS SOUPS 12619 WITH SCORE 12638.681
AT ITER 2782 NEW BEST:: SOT 81293 SOS 19649 HAS SOPS 19649 HAS SOUS 12619 HAS SOUPS 12619 WITH SCORE 12638.649
AT ITER 2828 NEW BEST:: SOT 81284 SOS 19615 HAS SOPS 19615 HAS SOUS 12611 HAS SOUPS 12611 WITH SCORE 12630.615
AT ITER 2834 NEW BEST:: SOT 81282 SOS 19613 HAS SOPS 19613 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12628.613
AT ITER 2857 NEW BEST:: SOT 81280 SOS 19608 HAS SOPS 19608 HAS SOUS 12606 HAS SOUPS 12606 WITH SCORE 12625.608
AT ITER 2861 NEW BEST:: SOT 81271 SOS 19590 HAS SOPS 19590 HAS SOUS 12597 HAS SOUPS 12597 WITH SCORE 12616.59
AT ITER 2892 NEW BEST:: SOT 81225 SOS 19530 HAS SOPS 19530 HAS SOUS 12583 HAS SOUPS 12583 WITH SCORE 12602.53
AT ITER 2911 NEW BEST:: SOT 81221 SOS 19522 HAS SOPS 19522 HAS SOUS 12575 HAS SOUPS 12575 WITH SCORE 12594.522
AT ITER 2947 NEW BEST:: SOT 81212 SOS 19504 HAS SOPS 19504 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12576.504
AT ITER 2963 NEW BEST:: SOT 81212 SOS 19490 HAS SOPS 19490 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12576.49
AT ITER 2969 NEW BEST:: SOT 81210 SOS 19488 HAS SOPS 19488 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12576.488
AT ITER 2980 NEW BEST:: SOT 81235 SOS 19435 HAS SOPS 19435 HAS SOUS 12504 HAS SOUPS 12504 WITH SCORE 12523.435
AT ITER 3002 NEW BEST:: SOT 81292 SOS 19478 HAS SOPS 19478 HAS SOUS 12490 HAS SOUPS 12490 WITH SCORE 12509.478
AT ITER 3022 NEW BEST:: SOT 81287 SOS 19477 HAS SOPS 19477 HAS SOUS 12479 HAS SOUPS 12479 WITH SCORE 12498.477
AT ITER 3037 NEW BEST:: SOT 81253 SOS 19369 HAS SOPS 19369 HAS SOUS 12411 HAS SOUPS 12411 WITH SCORE 12430.369
AT ITER 3041 NEW BEST:: SOT 81226 SOS 19342 HAS SOPS 19342 HAS SOUS 12384 HAS SOUPS 12384 WITH SCORE 12403.342
AT ITER 3047 NEW BEST:: SOT 81182 SOS 19254 HAS SOPS 19254 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12315.254
AT ITER 3113 NEW BEST:: SOT 81181 SOS 19252 HAS SOPS 19252 HAS SOUS 12294 HAS SOUPS 12294 WITH SCORE 12313.252
AT ITER 3123 NEW BEST:: SOT 81183 SOS 19256 HAS SOPS 19256 HAS SOUS 12291 HAS SOUPS 12291 WITH SCORE 12310.256
AT ITER 3155 NEW BEST:: SOT 81165 SOS 19220 HAS SOPS 19220 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12274.22
AT ITER 3156 NEW BEST:: SOT 81164 SOS 19219 HAS SOPS 19219 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12274.219
AT ITER 3173 NEW BEST:: SOT 81164 SOS 19219 HAS SOPS 19219 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12233.219
AT ITER 3187 NEW BEST:: SOT 81164 SOS 19194 HAS SOPS 19194 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12233.194
AT ITER 3231 NEW BEST:: SOT 81163 SOS 19192 HAS SOPS 19192 HAS SOUS 12213 HAS SOUPS 12213 WITH SCORE 12232.192
AT ITER 3239 NEW BEST:: SOT 81159 SOS 19186 HAS SOPS 19186 HAS SOUS 12207 HAS SOUPS 12207 WITH SCORE 12226.186
AT ITER 3291 NEW BEST:: SOT 81171 SOS 19092 HAS SOPS 19092 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12179.092
AT ITER 3293 NEW BEST:: SOT 81153 SOS 19056 HAS SOPS 19056 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12161.056
AT ITER 3317 NEW BEST:: SOT 81153 SOS 19040 HAS SOPS 19040 HAS SOUS 12126 HAS SOUPS 12126 WITH SCORE 12145.04
AT ITER 3322 NEW BEST:: SOT 81154 SOS 19037 HAS SOPS 19037 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12142.037
AT ITER 3328 NEW BEST:: SOT 81158 SOS 19005 HAS SOPS 19005 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12140.005
AT ITER 3361 NEW BEST:: SOT 81160 SOS 18985 HAS SOPS 18985 HAS SOUS 12101 HAS SOUPS 12101 WITH SCORE 12119.985
AT ITER 3415 NEW BEST:: SOT 81160 SOS 18972 HAS SOPS 18972 HAS SOUS 12101 HAS SOUPS 12101 WITH SCORE 12119.972
AT ITER 3428 NEW BEST:: SOT 81145 SOS 18919 HAS SOPS 18919 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12081.919
AT ITER 3440 NEW BEST:: SOT 81143 SOS 18915 HAS SOPS 18915 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12077.915
AT ITER 3455 NEW BEST:: SOT 81136 SOS 18938 HAS SOPS 18938 HAS SOUS 12045 HAS SOUPS 12045 WITH SCORE 12063.938
AT ITER 3458 NEW BEST:: SOT 81116 SOS 18918 HAS SOPS 18918 HAS SOUS 12025 HAS SOUPS 12025 WITH SCORE 12043.918
AT ITER 3467 NEW BEST:: SOT 81116 SOS 18849 HAS SOPS 18849 HAS SOUS 12025 HAS SOUPS 12025 WITH SCORE 12043.849
AT ITER 3490 NEW BEST:: SOT 81118 SOS 18838 HAS SOPS 18838 HAS SOUS 12014 HAS SOUPS 12014 WITH SCORE 12032.838
AT ITER 3512 NEW BEST:: SOT 81118 SOS 18072 HAS SOPS 18072 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11959.072
AT ITER 3514 NEW BEST:: SOT 81104 SOS 18058 HAS SOPS 18058 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11959.058
AT ITER 3526 NEW BEST:: SOT 81060 SOS 18480 HAS SOPS 18480 HAS SOUS 11927 HAS SOUPS 11927 WITH SCORE 11945.48
AT ITER 3546 NEW BEST:: SOT 81036 SOS 18478 HAS SOPS 18478 HAS SOUS 11917 HAS SOUPS 11917 WITH SCORE 11935.478
AT ITER 3548 NEW BEST:: SOT 81025 SOS 18126 HAS SOPS 18126 HAS SOUS 11887 HAS SOUPS 11887 WITH SCORE 11905.126
AT ITER 3555 NEW BEST:: SOT 81023 SOS 18122 HAS SOPS 18122 HAS SOUS 11885 HAS SOUPS 11885 WITH SCORE 11903.122
AT ITER 3557 NEW BEST:: SOT 80955 SOS 18090 HAS SOPS 18090 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11856.09
AT ITER 3584 NEW BEST:: SOT 80945 SOS 18089 HAS SOPS 18089 HAS SOUS 11823 HAS SOUPS 11823 WITH SCORE 11841.089
AT ITER 3598 NEW BEST:: SOT 80958 SOS 18058 HAS SOPS 18058 HAS SOUS 11800 HAS SOUPS 11800 WITH SCORE 11818.058
AT ITER 3608 NEW BEST:: SOT 80946 SOS 18046 HAS SOPS 18046 HAS SOUS 11800 HAS SOUPS 11800 WITH SCORE 11818.046
AT ITER 3618 NEW BEST:: SOT 80946 SOS 18056 HAS SOPS 18056 HAS SOUS 11793 HAS SOUPS 11793 WITH SCORE 11811.056
AT ITER 3619 NEW BEST:: SOT 80958 SOS 18053 HAS SOPS 18053 HAS SOUS 11790 HAS SOUPS 11790 WITH SCORE 11808.053
AT ITER 3625 NEW BEST:: SOT 80958 SOS 18053 HAS SOPS 18053 HAS SOUS 11764 HAS SOUPS 11764 WITH SCORE 11782.053
AT ITER 3627 NEW BEST:: SOT 80939 SOS 18034 HAS SOPS 18034 HAS SOUS 11763 HAS SOUPS 11763 WITH SCORE 11781.034
AT ITER 3630 NEW BEST:: SOT 80938 SOS 18032 HAS SOPS 18032 HAS SOUS 11761 HAS SOUPS 11761 WITH SCORE 11779.032
AT ITER 3655 NEW BEST:: SOT 80921 SOS 17998 HAS SOPS 17998 HAS SOUS 11727 HAS SOUPS 11727 WITH SCORE 11744.998
AT ITER 3669 NEW BEST:: SOT 80916 SOS 17988 HAS SOPS 17988 HAS SOUS 11722 HAS SOUPS 11722 WITH SCORE 11739.988
AT ITER 3672 NEW BEST:: SOT 80908 SOS 17980 HAS SOPS 17980 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11737.98
AT ITER 3676 NEW BEST:: SOT 80881 SOS 17926 HAS SOPS 17926 HAS SOUS 11693 HAS SOUPS 11693 WITH SCORE 11710.926
AT ITER 3740 NEW BEST:: SOT 80878 SOS 17920 HAS SOPS 17920 HAS SOUS 11691 HAS SOUPS 11691 WITH SCORE 11708.92
AT ITER 3763 NEW BEST:: SOT 80838 SOS 17800 HAS SOPS 17800 HAS SOUS 11607 HAS SOUPS 11607 WITH SCORE 11624.8
AT ITER 3807 NEW BEST:: SOT 80779 SOS 17682 HAS SOPS 17682 HAS SOUS 11569 HAS SOUPS 11569 WITH SCORE 11586.682
AT ITER 3842 NEW BEST:: SOT 80773 SOS 17662 HAS SOPS 17662 HAS SOUS 11557 HAS SOUPS 11557 WITH SCORE 11574.662
AT ITER 3850 NEW BEST:: SOT 80772 SOS 17661 HAS SOPS 17661 HAS SOUS 11556 HAS SOUPS 11556 WITH SCORE 11573.661
AT ITER 3890 NEW BEST:: SOT 80739 SOS 17595 HAS SOPS 17595 HAS SOUS 11525 HAS SOUPS 11525 WITH SCORE 11542.595
AT ITER 3906 NEW BEST:: SOT 80667 SOS 17470 HAS SOPS 17470 HAS SOUS 11516 HAS SOUPS 11516 WITH SCORE 11533.47
AT ITER 3924 NEW BEST:: SOT 80647 SOS 17438 HAS SOPS 17438 HAS SOUS 11504 HAS SOUPS 11504 WITH SCORE 11521.438
AT ITER 4021 NEW BEST:: SOT 80638 SOS 17420 HAS SOPS 17420 HAS SOUS 11480 HAS SOUPS 11480 WITH SCORE 11497.42
AT ITER 4102 NEW BEST:: SOT 80638 SOS 17420 HAS SOPS 17420 HAS SOUS 11477 HAS SOUPS 11477 WITH SCORE 11494.42
AT ITER 4105 NEW BEST:: SOT 80625 SOS 17394 HAS SOPS 17394 HAS SOUS 11469 HAS SOUPS 11469 WITH SCORE 11486.394
AT ITER 4118 NEW BEST:: SOT 80521 SOS 17750 HAS SOPS 17750 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11386.75
AT ITER 4140 NEW BEST:: SOT 80521 SOS 17678 HAS SOPS 17678 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11386.678
AT ITER 4198 NEW BEST:: SOT 80495 SOS 17626 HAS SOPS 17626 HAS SOUS 11354 HAS SOUPS 11354 WITH SCORE 11371.626
AT ITER 4205 NEW BEST:: SOT 80476 SOS 17607 HAS SOPS 17607 HAS SOUS 11354 HAS SOUPS 11354 WITH SCORE 11371.607
AT ITER 4214 NEW BEST:: SOT 80469 SOS 17607 HAS SOPS 17607 HAS SOUS 11347 HAS SOUPS 11347 WITH SCORE 11364.607
AT ITER 4259 NEW BEST:: SOT 80429 SOS 17588 HAS SOPS 17588 HAS SOUS 11307 HAS SOUPS 11307 WITH SCORE 11324.588
AT ITER 4263 NEW BEST:: SOT 80415 SOS 17560 HAS SOPS 17560 HAS SOUS 11286 HAS SOUPS 11286 WITH SCORE 11303.56
AT ITER 4296 NEW BEST:: SOT 80408 SOS 17553 HAS SOPS 17553 HAS SOUS 11283 HAS SOUPS 11283 WITH SCORE 11300.553
AT ITER 4301 NEW BEST:: SOT 80407 SOS 17551 HAS SOPS 17551 HAS SOUS 11283 HAS SOUPS 11283 WITH SCORE 11300.551
AT ITER 4306 NEW BEST:: SOT 80427 SOS 17571 HAS SOPS 17571 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11293.571
AT ITER 4363 NEW BEST:: SOT 80429 SOS 17547 HAS SOPS 17547 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11293.547
AT ITER 4378 NEW BEST:: SOT 80425 SOS 17539 HAS SOPS 17539 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11293.539
AT ITER 4379 NEW BEST:: SOT 80425 SOS 17539 HAS SOPS 17539 HAS SOUS 11269 HAS SOUPS 11269 WITH SCORE 11286.539
AT ITER 4418 NEW BEST:: SOT 80426 SOS 17541 HAS SOPS 17541 HAS SOUS 11265 HAS SOUPS 11265 WITH SCORE 11282.541
AT ITER 4472 NEW BEST:: SOT 80428 SOS 17543 HAS SOPS 17543 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11272.543
AT ITER 4486 NEW BEST:: SOT 80424 SOS 17535 HAS SOPS 17535 HAS SOUS 11251 HAS SOUPS 11251 WITH SCORE 11268.535
AT ITER 4493 NEW BEST:: SOT 80414 SOS 17533 HAS SOPS 17533 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11266.533
AT ITER 4516 NEW BEST:: SOT 80394 SOS 17524 HAS SOPS 17524 HAS SOUS 11247 HAS SOUPS 11247 WITH SCORE 11264.524
AT ITER 4568 NEW BEST:: SOT 80392 SOS 17520 HAS SOPS 17520 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11260.52
AT ITER 4572 NEW BEST:: SOT 80423 SOS 17384 HAS SOPS 17384 HAS SOUS 11107 HAS SOUPS 11107 WITH SCORE 11124.384
AT ITER 4756 NEW BEST:: SOT 80393 SOS 17362 HAS SOPS 17362 HAS SOUS 11089 HAS SOUPS 11089 WITH SCORE 11106.362
AT ITER 4760 NEW BEST:: SOT 80375 SOS 17326 HAS SOPS 17326 HAS SOUS 11071 HAS SOUPS 11071 WITH SCORE 11088.326
AT ITER 4805 NEW BEST:: SOT 80371 SOS 17319 HAS SOPS 17319 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11081.319
AT ITER 4813 NEW BEST:: SOT 80362 SOS 17290 HAS SOPS 17290 HAS SOUS 11061 HAS SOUPS 11061 WITH SCORE 11078.29
AT ITER 4816 NEW BEST:: SOT 80355 SOS 17284 HAS SOPS 17284 HAS SOUS 11055 HAS SOUPS 11055 WITH SCORE 11072.284
AT ITER 4842 NEW BEST:: SOT 80318 SOS 17210 HAS SOPS 17210 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11024.21
AT ITER 4904 NEW BEST:: SOT 80315 SOS 17204 HAS SOPS 17204 HAS SOUS 11001 HAS SOUPS 11001 WITH SCORE 11018.204
AT ITER 4935 NEW BEST:: SOT 80311 SOS 17201 HAS SOPS 17201 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11015.201
AT ITER 5005 NEW BEST:: SOT 80272 SOS 17149 HAS SOPS 17149 HAS SOUS 10995 HAS SOUPS 10995 WITH SCORE 11012.149
AT ITER 5042 NEW BEST:: SOT 80240 SOS 17085 HAS SOPS 17085 HAS SOUS 10951 HAS SOUPS 10951 WITH SCORE 10968.085
AT ITER 5065 NEW BEST:: SOT 80232 SOS 17069 HAS SOPS 17069 HAS SOUS 10935 HAS SOUPS 10935 WITH SCORE 10952.069
AT ITER 5082 NEW BEST:: SOT 80232 SOS 17038 HAS SOPS 17038 HAS SOUS 10935 HAS SOUPS 10935 WITH SCORE 10952.038
AT ITER 5098 NEW BEST:: SOT 80229 SOS 17032 HAS SOPS 17032 HAS SOUS 10929 HAS SOUPS 10929 WITH SCORE 10946.032
AT ITER 5177 NEW BEST:: SOT 80181 SOS 16936 HAS SOPS 16936 HAS SOUS 10873 HAS SOUPS 10873 WITH SCORE 10889.936
AT ITER 5225 NEW BEST:: SOT 80169 SOS 16912 HAS SOPS 16912 HAS SOUS 10861 HAS SOUPS 10861 WITH SCORE 10877.912
AT ITER 5234 NEW BEST:: SOT 80165 SOS 16904 HAS SOPS 16904 HAS SOUS 10857 HAS SOUPS 10857 WITH SCORE 10873.904
AT ITER 5235 NEW BEST:: SOT 80161 SOS 16898 HAS SOPS 16898 HAS SOUS 10853 HAS SOUPS 10853 WITH SCORE 10869.898
AT ITER 5238 NEW BEST:: SOT 80167 SOS 16905 HAS SOPS 16905 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10858.905
AT ITER 5297 NEW BEST:: SOT 80166 SOS 16902 HAS SOPS 16902 HAS SOUS 10841 HAS SOUPS 10841 WITH SCORE 10857.902
AT ITER 5321 NEW BEST:: SOT 80153 SOS 16847 HAS SOPS 16847 HAS SOUS 10815 HAS SOUPS 10815 WITH SCORE 10831.847
AT ITER 5361 NEW BEST:: SOT 80153 SOS 16824 HAS SOPS 16824 HAS SOUS 10815 HAS SOUPS 10815 WITH SCORE 10831.824
AT ITER 5370 NEW BEST:: SOT 80141 SOS 16800 HAS SOPS 16800 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10807.8
AT ITER 5464 NEW BEST:: SOT 80134 SOS 16793 HAS SOPS 16793 HAS SOUS 10784 HAS SOUPS 10784 WITH SCORE 10800.793
AT ITER 5475 NEW BEST:: SOT 80150 SOS 16809 HAS SOPS 16809 HAS SOUS 10776 HAS SOUPS 10776 WITH SCORE 10792.809
AT ITER 5488 NEW BEST:: SOT 80156 SOS 16783 HAS SOPS 16783 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10766.783
AT ITER 5513 NEW BEST:: SOT 80129 SOS 16729 HAS SOPS 16729 HAS SOUS 10690 HAS SOUPS 10690 WITH SCORE 10706.729
AT ITER 5523 NEW BEST:: SOT 80121 SOS 16729 HAS SOPS 16729 HAS SOUS 10682 HAS SOUPS 10682 WITH SCORE 10698.729
AT ITER 5525 NEW BEST:: SOT 80121 SOS 16697 HAS SOPS 16697 HAS SOUS 10682 HAS SOUPS 10682 WITH SCORE 10698.697
AT ITER 5530 NEW BEST:: SOT 80115 SOS 16685 HAS SOPS 16685 HAS SOUS 10670 HAS SOUPS 10670 WITH SCORE 10686.685
AT ITER 5558 NEW BEST:: SOT 80115 SOS 16687 HAS SOPS 16687 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10684.687
AT ITER 5590 NEW BEST:: SOT 80108 SOS 16681 HAS SOPS 16681 HAS SOUS 10662 HAS SOUPS 10662 WITH SCORE 10678.681
AT ITER 5660 NEW BEST:: SOT 80105 SOS 16675 HAS SOPS 16675 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10662.675
AT ITER 5665 NEW BEST:: SOT 80029 SOS 16599 HAS SOPS 16599 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10650.599
AT ITER 5668 NEW BEST:: SOT 80029 SOS 16599 HAS SOPS 16599 HAS SOUS 10627 HAS SOUPS 10627 WITH SCORE 10643.599
AT ITER 5678 NEW BEST:: SOT 80029 SOS 16599 HAS SOPS 16599 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10633.599
AT ITER 5704 NEW BEST:: SOT 80025 SOS 16596 HAS SOPS 16596 HAS SOUS 10614 HAS SOUPS 10614 WITH SCORE 10630.596
AT ITER 5734 NEW BEST:: SOT 79999 SOS 16570 HAS SOPS 16570 HAS SOUS 10584 HAS SOUPS 10584 WITH SCORE 10600.57
AT ITER 5758 NEW BEST:: SOT 79999 SOS 16570 HAS SOPS 16570 HAS SOUS 10577 HAS SOUPS 10577 WITH SCORE 10593.57
AT ITER 5792 NEW BEST:: SOT 80001 SOS 16570 HAS SOPS 16570 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10591.57
AT ITER 5796 NEW BEST:: SOT 80001 SOS 16557 HAS SOPS 16557 HAS SOUS 10562 HAS SOUPS 10562 WITH SCORE 10578.557
AT ITER 5807 NEW BEST:: SOT 79998 SOS 16551 HAS SOPS 16551 HAS SOUS 10559 HAS SOUPS 10559 WITH SCORE 10575.551
AT ITER 5818 NEW BEST:: SOT 79962 SOS 16521 HAS SOPS 16521 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10559.521
AT ITER 5824 NEW BEST:: SOT 79942 SOS 16491 HAS SOPS 16491 HAS SOUS 10523 HAS SOUPS 10523 WITH SCORE 10539.491
AT ITER 5850 NEW BEST:: SOT 79941 SOS 16489 HAS SOPS 16489 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10538.489
AT ITER 5904 NEW BEST:: SOT 79963 SOS 16441 HAS SOPS 16441 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10527.441
AT ITER 5906 NEW BEST:: SOT 79956 SOS 16427 HAS SOPS 16427 HAS SOUS 10497 HAS SOUPS 10497 WITH SCORE 10513.427
AT ITER 5911 NEW BEST:: SOT 79953 SOS 16421 HAS SOPS 16421 HAS SOUS 10497 HAS SOUPS 10497 WITH SCORE 10513.421
AT ITER 5920 NEW BEST:: SOT 79973 SOS 16461 HAS SOPS 16461 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10501.461
AT ITER 5925 NEW BEST:: SOT 79942 SOS 16411 HAS SOPS 16411 HAS SOUS 10453 HAS SOUPS 10453 WITH SCORE 10469.411
AT ITER 5946 NEW BEST:: SOT 79942 SOS 16411 HAS SOPS 16411 HAS SOUS 10444 HAS SOUPS 10444 WITH SCORE 10460.411
AT ITER 5982 NEW BEST:: SOT 79939 SOS 16409 HAS SOPS 16409 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10447.409
AT ITER 6021 NEW BEST:: SOT 79926 SOS 16383 HAS SOPS 16383 HAS SOUS 10418 HAS SOUPS 10418 WITH SCORE 10434.383
AT ITER 6034 NEW BEST:: SOT 79910 SOS 16343 HAS SOPS 16343 HAS SOUS 10402 HAS SOUPS 10402 WITH SCORE 10418.343
AT ITER 6103 NEW BEST:: SOT 79902 SOS 16294 HAS SOPS 16294 HAS SOUS 10389 HAS SOUPS 10389 WITH SCORE 10405.294
AT ITER 6128 NEW BEST:: SOT 79889 SOS 16268 HAS SOPS 16268 HAS SOUS 10376 HAS SOUPS 10376 WITH SCORE 10392.268
AT ITER 6174 NEW BEST:: SOT 79685 SOS 17070 HAS SOPS 17070 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10314.07
AT ITER 6187 NEW BEST:: SOT 79685 SOS 17070 HAS SOPS 17070 HAS SOUS 10294 HAS SOUPS 10294 WITH SCORE 10311.07
AT ITER 6221 NEW BEST:: SOT 79682 SOS 17067 HAS SOPS 17067 HAS SOUS 10291 HAS SOUPS 10291 WITH SCORE 10308.067
AT ITER 6240 NEW BEST:: SOT 79671 SOS 17057 HAS SOPS 17057 HAS SOUS 10289 HAS SOUPS 10289 WITH SCORE 10306.057
AT ITER 6268 NEW BEST:: SOT 79624 SOS 17003 HAS SOPS 17003 HAS SOUS 10275 HAS SOUPS 10275 WITH SCORE 10292.003
AT ITER 6298 NEW BEST:: SOT 79536 SOS 16827 HAS SOPS 16827 HAS SOUS 10231 HAS SOUPS 10231 WITH SCORE 10247.827
AT ITER 6324 NEW BEST:: SOT 79588 SOS 16859 HAS SOPS 16859 HAS SOUS 10211 HAS SOUPS 10211 WITH SCORE 10227.859
AT ITER 6377 NEW BEST:: SOT 79583 SOS 16842 HAS SOPS 16842 HAS SOUS 10208 HAS SOUPS 10208 WITH SCORE 10224.842
AT ITER 6378 NEW BEST:: SOT 79583 SOS 16827 HAS SOPS 16827 HAS SOUS 10208 HAS SOUPS 10208 WITH SCORE 10224.827
AT ITER 6390 NEW BEST:: SOT 79583 SOS 16836 HAS SOPS 16836 HAS SOUS 10199 HAS SOUPS 10199 WITH SCORE 10215.836
AT ITER 6415 NEW BEST:: SOT 79526 SOS 16722 HAS SOPS 16722 HAS SOUS 10137 HAS SOUPS 10137 WITH SCORE 10153.722
AT ITER 6442 NEW BEST:: SOT 79510 SOS 16706 HAS SOPS 16706 HAS SOUS 10137 HAS SOUPS 10137 WITH SCORE 10153.706
AT ITER 6495 NEW BEST:: SOT 79511 SOS 16708 HAS SOPS 16708 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10152.708
AT ITER 6575 NEW BEST:: SOT 79475 SOS 16646 HAS SOPS 16646 HAS SOUS 10134 HAS SOUPS 10134 WITH SCORE 10150.646
AT ITER 6596 NEW BEST:: SOT 79444 SOS 16584 HAS SOPS 16584 HAS SOUS 10075 HAS SOUPS 10075 WITH SCORE 10091.584
AT ITER 6598 NEW BEST:: SOT 79424 SOS 16698 HAS SOPS 16698 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10071.698
AT ITER 6608 NEW BEST:: SOT 79428 SOS 16694 HAS SOPS 16694 HAS SOUS 10051 HAS SOUPS 10051 WITH SCORE 10067.694
AT ITER 6622 NEW BEST:: SOT 79427 SOS 16689 HAS SOPS 16689 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10062.689
AT ITER 6627 NEW BEST:: SOT 79410 SOS 16669 HAS SOPS 16669 HAS SOUS 10026 HAS SOUPS 10026 WITH SCORE 10042.669
AT ITER 6628 NEW BEST:: SOT 79402 SOS 16656 HAS SOPS 16656 HAS SOUS 10021 HAS SOUPS 10021 WITH SCORE 10037.656
AT ITER 6661 NEW BEST:: SOT 79364 SOS 16605 HAS SOPS 16605 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10021.605
AT ITER 6729 NEW BEST:: SOT 79363 SOS 16604 HAS SOPS 16604 HAS SOUS 10004 HAS SOUPS 10004 WITH SCORE 10020.604
AT ITER 6910 NEW BEST:: SOT 79344 SOS 16566 HAS SOPS 16566 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 9982.566
AT ITER 6927 NEW BEST:: SOT 79344 SOS 16552 HAS SOPS 16552 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 9982.552
AT ITER 6974 NEW BEST:: SOT 79343 SOS 16550 HAS SOPS 16550 HAS SOUS 9964 HAS SOUPS 9964 WITH SCORE 9980.55
AT ITER 7006 NEW BEST:: SOT 79343 SOS 16546 HAS SOPS 16546 HAS SOUS 9964 HAS SOUPS 9964 WITH SCORE 9980.546
AT ITER 7013 NEW BEST:: SOT 79324 SOS 16558 HAS SOPS 16558 HAS SOUS 9945 HAS SOUPS 9945 WITH SCORE 9961.558
AT ITER 7021 NEW BEST:: SOT 79324 SOS 16535 HAS SOPS 16535 HAS SOUS 9945 HAS SOUPS 9945 WITH SCORE 9961.535
AT ITER 7029 NEW BEST:: SOT 79305 SOS 16767 HAS SOPS 16767 HAS SOUS 9926 HAS SOUPS 9926 WITH SCORE 9942.767
AT ITER 7036 NEW BEST:: SOT 79301 SOS 16759 HAS SOPS 16759 HAS SOUS 9919 HAS SOUPS 9919 WITH SCORE 9935.759
AT ITER 7049 NEW BEST:: SOT 79241 SOS 16685 HAS SOPS 16685 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9907.685
AT ITER 7055 NEW BEST:: SOT 79241 SOS 16684 HAS SOPS 16684 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9907.684
AT ITER 7058 NEW BEST:: SOT 79218 SOS 16658 HAS SOPS 16658 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9902.658
AT ITER 7216 NEW BEST:: SOT 79218 SOS 16653 HAS SOPS 16653 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9902.653
AT ITER 7243 NEW BEST:: SOT 79218 SOS 16646 HAS SOPS 16646 HAS SOUS 9881 HAS SOUPS 9881 WITH SCORE 9897.646
AT ITER 7250 NEW BEST:: SOT 79217 SOS 16631 HAS SOPS 16631 HAS SOUS 9879 HAS SOUPS 9879 WITH SCORE 9895.631
AT ITER 7283 NEW BEST:: SOT 79228 SOS 16653 HAS SOPS 16653 HAS SOUS 9878 HAS SOUPS 9878 WITH SCORE 9894.653
AT ITER 7306 NEW BEST:: SOT 79222 SOS 16641 HAS SOPS 16641 HAS SOUS 9867 HAS SOUPS 9867 WITH SCORE 9883.641
AT ITER 7308 NEW BEST:: SOT 79283 SOS 16635 HAS SOPS 16635 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9872.635
AT ITER 7346 NEW BEST:: SOT 79237 SOS 16543 HAS SOPS 16543 HAS SOUS 9808 HAS SOUPS 9808 WITH SCORE 9824.543
AT ITER 7385 NEW BEST:: SOT 79230 SOS 16620 HAS SOPS 16620 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9817.62
AT ITER 7433 NEW BEST:: SOT 79218 SOS 16596 HAS SOPS 16596 HAS SOUS 9777 HAS SOUPS 9777 WITH SCORE 9793.596
AT ITER 7524 NEW BEST:: SOT 79218 SOS 16580 HAS SOPS 16580 HAS SOUS 9777 HAS SOUPS 9777 WITH SCORE 9793.58
AT ITER 7529 NEW BEST:: SOT 79218 SOS 16574 HAS SOPS 16574 HAS SOUS 9771 HAS SOUPS 9771 WITH SCORE 9787.574
AT ITER 7555 NEW BEST:: SOT 79186 SOS 16510 HAS SOPS 16510 HAS SOUS 9729 HAS SOUPS 9729 WITH SCORE 9745.51
AT ITER 7566 NEW BEST:: SOT 79177 SOS 16501 HAS SOPS 16501 HAS SOUS 9720 HAS SOUPS 9720 WITH SCORE 9736.501
AT ITER 7587 NEW BEST:: SOT 79172 SOS 16491 HAS SOPS 16491 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9726.491
AT ITER 7630 NEW BEST:: SOT 79193 SOS 16528 HAS SOPS 16528 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9725.528
AT ITER 7696 NEW BEST:: SOT 79193 SOS 16523 HAS SOPS 16523 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9725.523
AT ITER 7725 NEW BEST:: SOT 79177 SOS 16491 HAS SOPS 16491 HAS SOUS 9695 HAS SOUPS 9695 WITH SCORE 9711.491
AT ITER 7735 NEW BEST:: SOT 79179 SOS 16495 HAS SOPS 16495 HAS SOUS 9679 HAS SOUPS 9679 WITH SCORE 9695.495
AT ITER 7743 NEW BEST:: SOT 79175 SOS 16487 HAS SOPS 16487 HAS SOUS 9668 HAS SOUPS 9668 WITH SCORE 9684.487
AT ITER 7745 NEW BEST:: SOT 79170 SOS 16483 HAS SOPS 16483 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9680.483
AT ITER 7801 NEW BEST:: SOT 79162 SOS 16475 HAS SOPS 16475 HAS SOUS 9656 HAS SOUPS 9656 WITH SCORE 9672.475
AT ITER 7833 NEW BEST:: SOT 79160 SOS 16473 HAS SOPS 16473 HAS SOUS 9656 HAS SOUPS 9656 WITH SCORE 9672.473
AT ITER 7846 NEW BEST:: SOT 79147 SOS 16447 HAS SOPS 16447 HAS SOUS 9643 HAS SOUPS 9643 WITH SCORE 9659.447
AT ITER 7927 NEW BEST:: SOT 79145 SOS 16450 HAS SOPS 16450 HAS SOUS 9639 HAS SOUPS 9639 WITH SCORE 9655.45
AT ITER 7941 NEW BEST:: SOT 79135 SOS 16440 HAS SOPS 16440 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9639.44
AT ITER 7999 NEW BEST:: SOT 79096 SOS 16436 HAS SOPS 16436 HAS SOUS 9619 HAS SOUPS 9619 WITH SCORE 9635.436
AT ITER 8071 NEW BEST:: SOT 79104 SOS 16444 HAS SOPS 16444 HAS SOUS 9611 HAS SOUPS 9611 WITH SCORE 9627.444
AT ITER 8073 NEW BEST:: SOT 79098 SOS 16420 HAS SOPS 16420 HAS SOUS 9599 HAS SOUPS 9599 WITH SCORE 9615.42
AT ITER 8080 NEW BEST:: SOT 79206 SOS 16400 HAS SOPS 16400 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9607.4
AT ITER 8101 NEW BEST:: SOT 79144 SOS 16307 HAS SOPS 16307 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9607.307
AT ITER 8107 NEW BEST:: SOT 79139 SOS 16297 HAS SOPS 16297 HAS SOUS 9584 HAS SOUPS 9584 WITH SCORE 9600.297
AT ITER 8132 NEW BEST:: SOT 79138 SOS 16294 HAS SOPS 16294 HAS SOUS 9564 HAS SOUPS 9564 WITH SCORE 9580.294
AT ITER 8158 NEW BEST:: SOT 79138 SOS 16291 HAS SOPS 16291 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9577.291
AT ITER 8243 NEW BEST:: SOT 79130 SOS 16275 HAS SOPS 16275 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9577.275
AT ITER 8251 NEW BEST:: SOT 79138 SOS 16291 HAS SOPS 16291 HAS SOUS 9479 HAS SOUPS 9479 WITH SCORE 9495.291
AT ITER 8260 NEW BEST:: SOT 79150 SOS 16228 HAS SOPS 16228 HAS SOUS 9479 HAS SOUPS 9479 WITH SCORE 9495.228
AT ITER 8280 NEW BEST:: SOT 79150 SOS 16108 HAS SOPS 16108 HAS SOUS 9468 HAS SOUPS 9468 WITH SCORE 9484.108
AT ITER 8311 NEW BEST:: SOT 79149 SOS 16106 HAS SOPS 16106 HAS SOUS 9466 HAS SOUPS 9466 WITH SCORE 9482.106
AT ITER 8344 NEW BEST:: SOT 79117 SOS 16043 HAS SOPS 16043 HAS SOUS 9414 HAS SOUPS 9414 WITH SCORE 9430.043
AT ITER 8345 NEW BEST:: SOT 79097 SOS 16003 HAS SOPS 16003 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9399.003
AT ITER 8385 NEW BEST:: SOT 79096 SOS 16001 HAS SOPS 16001 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9397.001
AT ITER 8402 NEW BEST:: SOT 79097 SOS 16003 HAS SOPS 16003 HAS SOUS 9376 HAS SOUPS 9376 WITH SCORE 9392.003
AT ITER 8434 NEW BEST:: SOT 79101 SOS 16011 HAS SOPS 16011 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9388.011
AT ITER 8461 NEW BEST:: SOT 79101 SOS 16010 HAS SOPS 16010 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9388.01
AT ITER 8472 NEW BEST:: SOT 79093 SOS 16004 HAS SOPS 16004 HAS SOUS 9366 HAS SOUPS 9366 WITH SCORE 9382.004
AT ITER 8512 NEW BEST:: SOT 79092 SOS 16002 HAS SOPS 16002 HAS SOUS 9364 HAS SOUPS 9364 WITH SCORE 9380.002
AT ITER 8645 NEW BEST:: SOT 79070 SOS 16164 HAS SOPS 16164 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9362.164
AT ITER 8654 NEW BEST:: SOT 79070 SOS 16162 HAS SOPS 16162 HAS SOUS 9344 HAS SOUPS 9344 WITH SCORE 9360.162
AT ITER 8678 NEW BEST:: SOT 79070 SOS 16162 HAS SOPS 16162 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9358.162
AT ITER 8680 NEW BEST:: SOT 79068 SOS 16158 HAS SOPS 16158 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9354.158
AT ITER 8716 NEW BEST:: SOT 79073 SOS 16154 HAS SOPS 16154 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9350.154
AT ITER 8742 NEW BEST:: SOT 79083 SOS 16109 HAS SOPS 16109 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9350.109
AT ITER 8850 NEW BEST:: SOT 79081 SOS 16095 HAS SOPS 16095 HAS SOUS 9330 HAS SOUPS 9330 WITH SCORE 9346.095
AT ITER 8889 NEW BEST:: SOT 79073 SOS 16079 HAS SOPS 16079 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9338.079
AT ITER 8902 NEW BEST:: SOT 79025 SOS 16031 HAS SOPS 16031 HAS SOUS 9313 HAS SOUPS 9313 WITH SCORE 9329.031
AT ITER 8931 NEW BEST:: SOT 79018 SOS 16025 HAS SOPS 16025 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9328.025
AT ITER 9028 NEW BEST:: SOT 79018 SOS 16025 HAS SOPS 16025 HAS SOUS 9308 HAS SOUPS 9308 WITH SCORE 9324.025
AT ITER 9042 NEW BEST:: SOT 79017 SOS 16024 HAS SOPS 16024 HAS SOUS 9307 HAS SOUPS 9307 WITH SCORE 9323.024
AT ITER 9044 NEW BEST:: SOT 79011 SOS 16018 HAS SOPS 16018 HAS SOUS 9281 HAS SOUPS 9281 WITH SCORE 9297.018
AT ITER 9140 NEW BEST:: SOT 79010 SOS 16017 HAS SOPS 16017 HAS SOUS 9281 HAS SOUPS 9281 WITH SCORE 9297.017
AT ITER 9167 NEW BEST:: SOT 78992 SOS 15981 HAS SOPS 15981 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9260.981
AT ITER 9174 NEW BEST:: SOT 79000 SOS 15989 HAS SOPS 15989 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9252.989
AT ITER 9179 NEW BEST:: SOT 78979 SOS 15968 HAS SOPS 15968 HAS SOUS 9232 HAS SOUPS 9232 WITH SCORE 9247.968
AT ITER 9186 NEW BEST:: SOT 78961 SOS 15932 HAS SOPS 15932 HAS SOUS 9232 HAS SOUPS 9232 WITH SCORE 9247.932
AT ITER 9195 NEW BEST:: SOT 78957 SOS 15924 HAS SOPS 15924 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9239.924
AT ITER 9248 NEW BEST:: SOT 78957 SOS 15885 HAS SOPS 15885 HAS SOUS 9221 HAS SOUPS 9221 WITH SCORE 9236.885
AT ITER 9293 NEW BEST:: SOT 78955 SOS 15881 HAS SOPS 15881 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9234.881
AT ITER 9334 NEW BEST:: SOT 78959 SOS 15889 HAS SOPS 15889 HAS SOUS 9216 HAS SOUPS 9216 WITH SCORE 9231.889
AT ITER 9388 NEW BEST:: SOT 78947 SOS 15891 HAS SOPS 15891 HAS SOUS 9204 HAS SOUPS 9204 WITH SCORE 9219.891
AT ITER 9420 NEW BEST:: SOT 78945 SOS 15919 HAS SOPS 15919 HAS SOUS 9195 HAS SOUPS 9195 WITH SCORE 9210.919
AT ITER 9575 NEW BEST:: SOT 78934 SOS 15897 HAS SOPS 15897 HAS SOUS 9184 HAS SOUPS 9184 WITH SCORE 9199.897
AT ITER 9697 NEW BEST:: SOT 78925 SOS 15879 HAS SOPS 15879 HAS SOUS 9184 HAS SOUPS 9184 WITH SCORE 9199.879
AT ITER 9746 NEW BEST:: SOT 78923 SOS 15875 HAS SOPS 15875 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9195.875
AT ITER 9775 NEW BEST:: SOT 78887 SOS 15839 HAS SOPS 15839 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9159.839
AT ITER 9794 NEW BEST:: SOT 78870 SOS 15817 HAS SOPS 15817 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9152.817
AT ITER 9840 NEW BEST:: SOT 78879 SOS 15854 HAS SOPS 15854 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9151.854
AT ITER 9925 NEW BEST:: SOT 78855 SOS 15806 HAS SOPS 15806 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9105.806
AT ITER 9996 NEW BEST:: SOT 78856 SOS 15756 HAS SOPS 15756 HAS SOUS 9049 HAS SOUPS 9049 WITH SCORE 9064.756
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1806512 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16117208 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="SmartHome-PT-12"
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 SmartHome-PT-12, 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 r459-smll-167912651000248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-12.tgz
mv SmartHome-PT-12 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 ;