About the Execution of Smart+red for HirschbergSinclair-PT-45
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8037.363 | 3600000.00 | 3628411.00 | 10719.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r203-smll-167840349600496.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 HirschbergSinclair-PT-45, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349600496
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 9.2K Feb 26 02:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 02:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 02:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 02:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 02:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 02:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 02:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 02:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 616K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678646804931
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=HirschbergSinclair-PT-45
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 18:46:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 18:46:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 18:46:48] [INFO ] Load time of PNML (sax parser for PT used): 162 ms
[2023-03-12 18:46:48] [INFO ] Transformed 1138 places.
[2023-03-12 18:46:48] [INFO ] Transformed 1042 transitions.
[2023-03-12 18:46:48] [INFO ] Parsed PT model containing 1138 places and 1042 transitions and 3176 arcs in 402 ms.
[2023-03-12 18:46:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1138 places, 1042 transitions and 3176 arcs took 17 ms.
Total runtime 466 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 45
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: 1138 places, 1042 transitions, 3176 arcs.
AT ITER 0 NEW BEST:: SOT 1027147 SOS 501024 HAS SOPS 501024 HAS SOUS 496919 HAS SOUPS 496919 WITH SCORE 497420.024
AT ITER 1 NEW BEST:: SOT 1020383 SOS 496277 HAS SOPS 496277 HAS SOUS 490486 HAS SOUPS 490486 WITH SCORE 490982.277
AT ITER 5 NEW BEST:: SOT 1010821 SOS 491767 HAS SOPS 491767 HAS SOUS 482277 HAS SOUPS 482277 WITH SCORE 482768.767
AT ITER 15 NEW BEST:: SOT 1005544 SOS 486910 HAS SOPS 486910 HAS SOUS 477336 HAS SOUPS 477336 WITH SCORE 477822.91
AT ITER 21 NEW BEST:: SOT 1005544 SOS 486909 HAS SOPS 486909 HAS SOUS 477335 HAS SOUPS 477335 WITH SCORE 477821.909
AT ITER 31 NEW BEST:: SOT 996277 SOS 486097 HAS SOPS 486097 HAS SOUS 469729 HAS SOUPS 469729 WITH SCORE 470215.097
AT ITER 38 NEW BEST:: SOT 994173 SOS 484088 HAS SOPS 484088 HAS SOUS 467720 HAS SOUPS 467720 WITH SCORE 468204.088
AT ITER 47 NEW BEST:: SOT 985480 SOS 480523 HAS SOPS 480523 HAS SOUS 460376 HAS SOUPS 460376 WITH SCORE 460856.523
AT ITER 48 NEW BEST:: SOT 985480 SOS 480343 HAS SOPS 480343 HAS SOUS 460196 HAS SOUPS 460196 WITH SCORE 460676.343
AT ITER 49 NEW BEST:: SOT 978630 SOS 473866 HAS SOPS 473866 HAS SOUS 453550 HAS SOUPS 453550 WITH SCORE 454023.866
AT ITER 98 NEW BEST:: SOT 968718 SOS 470186 HAS SOPS 470186 HAS SOUS 444901 HAS SOUPS 444901 WITH SCORE 445371.186
AT ITER 100 NEW BEST:: SOT 968244 SOS 470993 HAS SOPS 470993 HAS SOUS 444602 HAS SOUPS 444602 WITH SCORE 445072.993
AT ITER 108 NEW BEST:: SOT 968072 SOS 470992 HAS SOPS 470992 HAS SOUS 444601 HAS SOUPS 444601 WITH SCORE 445071.992
AT ITER 114 NEW BEST:: SOT 965455 SOS 468599 HAS SOPS 468599 HAS SOUS 442179 HAS SOUPS 442179 WITH SCORE 442647.599
AT ITER 120 NEW BEST:: SOT 964917 SOS 469598 HAS SOPS 469598 HAS SOUS 441848 HAS SOUPS 441848 WITH SCORE 442317.598
AT ITER 132 NEW BEST:: SOT 964917 SOS 469597 HAS SOPS 469597 HAS SOUS 441847 HAS SOUPS 441847 WITH SCORE 442316.597
AT ITER 133 NEW BEST:: SOT 964917 SOS 469399 HAS SOPS 469399 HAS SOUS 441649 HAS SOUPS 441649 WITH SCORE 442118.399
AT ITER 145 NEW BEST:: SOT 964917 SOS 469398 HAS SOPS 469398 HAS SOUS 441648 HAS SOUPS 441648 WITH SCORE 442117.398
AT ITER 158 NEW BEST:: SOT 964917 SOS 469172 HAS SOPS 469172 HAS SOUS 441422 HAS SOUPS 441422 WITH SCORE 441891.172
AT ITER 168 NEW BEST:: SOT 964796 SOS 469171 HAS SOPS 469171 HAS SOUS 441421 HAS SOUPS 441421 WITH SCORE 441890.171
AT ITER 178 NEW BEST:: SOT 964547 SOS 469032 HAS SOPS 469032 HAS SOUS 441282 HAS SOUPS 441282 WITH SCORE 441751.032
AT ITER 189 NEW BEST:: SOT 956577 SOS 461295 HAS SOPS 461295 HAS SOUS 433437 HAS SOUPS 433437 WITH SCORE 433898.295
AT ITER 195 NEW BEST:: SOT 946435 SOS 459611 HAS SOPS 459611 HAS SOUS 425049 HAS SOUPS 425049 WITH SCORE 425508.611
AT ITER 204 NEW BEST:: SOT 946363 SOS 459467 HAS SOPS 459467 HAS SOUS 425049 HAS SOUPS 425049 WITH SCORE 425508.467
AT ITER 214 NEW BEST:: SOT 945746 SOS 458849 HAS SOPS 458849 HAS SOUS 424431 HAS SOUPS 424431 WITH SCORE 424889.849
AT ITER 234 NEW BEST:: SOT 936609 SOS 454487 HAS SOPS 454487 HAS SOUS 415916 HAS SOUPS 415916 WITH SCORE 416370.487
AT ITER 244 NEW BEST:: SOT 930998 SOS 450560 HAS SOPS 450560 HAS SOUS 411108 HAS SOUPS 411108 WITH SCORE 411558.56
AT ITER 249 NEW BEST:: SOT 924745 SOS 447183 HAS SOPS 447183 HAS SOUS 405765 HAS SOUPS 405765 WITH SCORE 406212.183
AT ITER 253 NEW BEST:: SOT 914653 SOS 445313 HAS SOPS 445313 HAS SOUS 397310 HAS SOUPS 397310 WITH SCORE 397755.313
AT ITER 263 NEW BEST:: SOT 914590 SOS 445249 HAS SOPS 445249 HAS SOUS 397246 HAS SOUPS 397246 WITH SCORE 397691.249
AT ITER 304 NEW BEST:: SOT 909558 SOS 440967 HAS SOPS 440967 HAS SOUS 392496 HAS SOUPS 392496 WITH SCORE 392936.967
AT ITER 308 NEW BEST:: SOT 906910 SOS 438604 HAS SOPS 438604 HAS SOUS 390092 HAS SOUPS 390092 WITH SCORE 390530.604
AT ITER 319 NEW BEST:: SOT 901283 SOS 433753 HAS SOPS 433753 HAS SOUS 385004 HAS SOUPS 385004 WITH SCORE 385437.753
AT ITER 329 NEW BEST:: SOT 901224 SOS 433693 HAS SOPS 433693 HAS SOUS 384944 HAS SOUPS 384944 WITH SCORE 385377.693
AT ITER 330 NEW BEST:: SOT 901216 SOS 433685 HAS SOPS 433685 HAS SOUS 384936 HAS SOUPS 384936 WITH SCORE 385369.685
AT ITER 337 NEW BEST:: SOT 892599 SOS 432705 HAS SOPS 432705 HAS SOUS 377727 HAS SOUPS 377727 WITH SCORE 378159.705
AT ITER 346 NEW BEST:: SOT 892449 SOS 432554 HAS SOPS 432554 HAS SOUS 377717 HAS SOUPS 377717 WITH SCORE 378149.554
AT ITER 355 NEW BEST:: SOT 888604 SOS 429121 HAS SOPS 429121 HAS SOUS 374193 HAS SOUPS 374193 WITH SCORE 374622.121
AT ITER 357 NEW BEST:: SOT 888576 SOS 429120 HAS SOPS 429120 HAS SOUS 374192 HAS SOUPS 374192 WITH SCORE 374621.12
AT ITER 367 NEW BEST:: SOT 879280 SOS 428548 HAS SOPS 428548 HAS SOUS 366502 HAS SOUPS 366502 WITH SCORE 366930.548
AT ITER 403 NEW BEST:: SOT 878269 SOS 427048 HAS SOPS 427048 HAS SOUS 364971 HAS SOUPS 364971 WITH SCORE 365398.048
AT ITER 414 NEW BEST:: SOT 867785 SOS 421612 HAS SOPS 421612 HAS SOUS 355745 HAS SOUPS 355745 WITH SCORE 356166.612
AT ITER 429 NEW BEST:: SOT 860638 SOS 417515 HAS SOPS 417515 HAS SOUS 349064 HAS SOUPS 349064 WITH SCORE 349481.515
AT ITER 455 NEW BEST:: SOT 860638 SOS 417514 HAS SOPS 417514 HAS SOUS 349063 HAS SOUPS 349063 WITH SCORE 349480.514
AT ITER 457 NEW BEST:: SOT 853215 SOS 414930 HAS SOPS 414930 HAS SOUS 342852 HAS SOUPS 342852 WITH SCORE 343266.93
AT ITER 459 NEW BEST:: SOT 853110 SOS 414825 HAS SOPS 414825 HAS SOUS 342747 HAS SOUPS 342747 WITH SCORE 343161.825
AT ITER 464 NEW BEST:: SOT 852564 SOS 414278 HAS SOPS 414278 HAS SOUS 342200 HAS SOUPS 342200 WITH SCORE 342614.278
AT ITER 468 NEW BEST:: SOT 848570 SOS 421501 HAS SOPS 421501 HAS SOUS 339647 HAS SOUPS 339647 WITH SCORE 340068.501
AT ITER 487 NEW BEST:: SOT 839867 SOS 421574 HAS SOPS 421574 HAS SOUS 332480 HAS SOUPS 332480 WITH SCORE 332901.574
AT ITER 494 NEW BEST:: SOT 836723 SOS 420792 HAS SOPS 420792 HAS SOUS 329809 HAS SOUPS 329809 WITH SCORE 330229.792
AT ITER 497 NEW BEST:: SOT 835966 SOS 420875 HAS SOPS 420875 HAS SOUS 329219 HAS SOUPS 329219 WITH SCORE 329639.875
AT ITER 501 NEW BEST:: SOT 835939 SOS 420848 HAS SOPS 420848 HAS SOUS 329192 HAS SOUPS 329192 WITH SCORE 329612.848
AT ITER 504 NEW BEST:: SOT 835488 SOS 419291 HAS SOPS 419291 HAS SOUS 328675 HAS SOUPS 328675 WITH SCORE 329094.291
AT ITER 508 NEW BEST:: SOT 835134 SOS 419290 HAS SOPS 419290 HAS SOUS 328674 HAS SOUPS 328674 WITH SCORE 329093.29
AT ITER 517 NEW BEST:: SOT 833744 SOS 419289 HAS SOPS 419289 HAS SOUS 327561 HAS SOUPS 327561 WITH SCORE 327980.289
AT ITER 519 NEW BEST:: SOT 833519 SOS 419786 HAS SOPS 419786 HAS SOUS 327435 HAS SOUPS 327435 WITH SCORE 327854.786
AT ITER 544 NEW BEST:: SOT 832937 SOS 419538 HAS SOPS 419538 HAS SOUS 327187 HAS SOUPS 327187 WITH SCORE 327606.538
AT ITER 545 NEW BEST:: SOT 832789 SOS 419390 HAS SOPS 419390 HAS SOUS 327039 HAS SOUPS 327039 WITH SCORE 327458.39
AT ITER 560 NEW BEST:: SOT 832688 SOS 419288 HAS SOPS 419288 HAS SOUS 326937 HAS SOUPS 326937 WITH SCORE 327356.288
AT ITER 580 NEW BEST:: SOT 832339 SOS 418938 HAS SOPS 418938 HAS SOUS 326640 HAS SOUPS 326640 WITH SCORE 327058.938
AT ITER 619 NEW BEST:: SOT 832339 SOS 417573 HAS SOPS 417573 HAS SOUS 326639 HAS SOUPS 326639 WITH SCORE 327056.573
AT ITER 629 NEW BEST:: SOT 832308 SOS 417542 HAS SOPS 417542 HAS SOUS 326608 HAS SOUPS 326608 WITH SCORE 327025.542
AT ITER 635 NEW BEST:: SOT 820529 SOS 414323 HAS SOPS 414323 HAS SOUS 316171 HAS SOUPS 316171 WITH SCORE 316585.323
AT ITER 638 NEW BEST:: SOT 820529 SOS 414157 HAS SOPS 414157 HAS SOUS 316005 HAS SOUPS 316005 WITH SCORE 316419.157
AT ITER 650 NEW BEST:: SOT 813713 SOS 416774 HAS SOPS 416774 HAS SOUS 310762 HAS SOUPS 310762 WITH SCORE 311178.774
AT ITER 659 NEW BEST:: SOT 813611 SOS 416569 HAS SOPS 416569 HAS SOUS 310761 HAS SOUPS 310761 WITH SCORE 311177.569
AT ITER 676 NEW BEST:: SOT 813336 SOS 416293 HAS SOPS 416293 HAS SOUS 310494 HAS SOUPS 310494 WITH SCORE 310910.293
AT ITER 677 NEW BEST:: SOT 810347 SOS 413552 HAS SOPS 413552 HAS SOUS 307720 HAS SOUPS 307720 WITH SCORE 308133.552
AT ITER 678 NEW BEST:: SOT 809982 SOS 413187 HAS SOPS 413187 HAS SOUS 307355 HAS SOUPS 307355 WITH SCORE 307768.187
AT ITER 695 NEW BEST:: SOT 809976 SOS 413181 HAS SOPS 413181 HAS SOUS 307349 HAS SOUPS 307349 WITH SCORE 307762.181
AT ITER 702 NEW BEST:: SOT 804190 SOS 415869 HAS SOPS 415869 HAS SOUS 302364 HAS SOUPS 302364 WITH SCORE 302779.869
AT ITER 745 NEW BEST:: SOT 801381 SOS 413471 HAS SOPS 413471 HAS SOUS 299848 HAS SOUPS 299848 WITH SCORE 300261.471
AT ITER 769 NEW BEST:: SOT 801431 SOS 413242 HAS SOPS 413242 HAS SOUS 299676 HAS SOUPS 299676 WITH SCORE 300089.242
AT ITER 770 NEW BEST:: SOT 801430 SOS 413241 HAS SOPS 413241 HAS SOUS 299674 HAS SOUPS 299674 WITH SCORE 300087.241
AT ITER 778 NEW BEST:: SOT 801250 SOS 413708 HAS SOPS 413708 HAS SOUS 299565 HAS SOUPS 299565 WITH SCORE 299978.708
AT ITER 786 NEW BEST:: SOT 801249 SOS 413707 HAS SOPS 413707 HAS SOUS 299564 HAS SOUPS 299564 WITH SCORE 299977.707
AT ITER 788 NEW BEST:: SOT 801102 SOS 413412 HAS SOPS 413412 HAS SOUS 299269 HAS SOUPS 299269 WITH SCORE 299682.412
AT ITER 809 NEW BEST:: SOT 801101 SOS 413411 HAS SOPS 413411 HAS SOUS 299268 HAS SOUPS 299268 WITH SCORE 299681.411
AT ITER 819 NEW BEST:: SOT 792195 SOS 410538 HAS SOPS 410538 HAS SOUS 291657 HAS SOUPS 291657 WITH SCORE 292067.538
AT ITER 821 NEW BEST:: SOT 791951 SOS 410294 HAS SOPS 410294 HAS SOUS 291458 HAS SOUPS 291458 WITH SCORE 291868.294
AT ITER 834 NEW BEST:: SOT 787064 SOS 406701 HAS SOPS 406701 HAS SOUS 286929 HAS SOUPS 286929 WITH SCORE 287335.701
AT ITER 847 NEW BEST:: SOT 786107 SOS 408184 HAS SOPS 408184 HAS SOUS 286793 HAS SOUPS 286793 WITH SCORE 287201.184
AT ITER 848 NEW BEST:: SOT 785880 SOS 407944 HAS SOPS 407944 HAS SOUS 286584 HAS SOUPS 286584 WITH SCORE 286991.944
AT ITER 850 NEW BEST:: SOT 784669 SOS 406295 HAS SOPS 406295 HAS SOUS 284935 HAS SOUPS 284935 WITH SCORE 285341.295
AT ITER 854 NEW BEST:: SOT 784669 SOS 406269 HAS SOPS 406269 HAS SOUS 284909 HAS SOUPS 284909 WITH SCORE 285315.269
AT ITER 856 NEW BEST:: SOT 784710 SOS 406310 HAS SOPS 406310 HAS SOUS 284908 HAS SOUPS 284908 WITH SCORE 285314.31
AT ITER 891 NEW BEST:: SOT 784192 SOS 405965 HAS SOPS 405965 HAS SOUS 284563 HAS SOUPS 284563 WITH SCORE 284968.965
AT ITER 898 NEW BEST:: SOT 784080 SOS 406131 HAS SOPS 406131 HAS SOUS 284450 HAS SOUPS 284450 WITH SCORE 284856.131
AT ITER 920 NEW BEST:: SOT 784079 SOS 406130 HAS SOPS 406130 HAS SOUS 284448 HAS SOUPS 284448 WITH SCORE 284854.13
AT ITER 1008 NEW BEST:: SOT 783245 SOS 406029 HAS SOPS 406029 HAS SOUS 284391 HAS SOUPS 284391 WITH SCORE 284797.029
AT ITER 1034 NEW BEST:: SOT 783488 SOS 406028 HAS SOPS 406028 HAS SOUS 284389 HAS SOUPS 284389 WITH SCORE 284795.028
AT ITER 1048 NEW BEST:: SOT 783236 SOS 407035 HAS SOPS 407035 HAS SOUS 284262 HAS SOUPS 284262 WITH SCORE 284669.035
AT ITER 1052 NEW BEST:: SOT 781829 SOS 406732 HAS SOPS 406732 HAS SOUS 283131 HAS SOUPS 283131 WITH SCORE 283537.732
AT ITER 1053 NEW BEST:: SOT 781369 SOS 408971 HAS SOPS 408971 HAS SOUS 282986 HAS SOUPS 282986 WITH SCORE 283394.971
AT ITER 1054 NEW BEST:: SOT 780801 SOS 409213 HAS SOPS 409213 HAS SOUS 282579 HAS SOUPS 282579 WITH SCORE 282988.213
AT ITER 1069 NEW BEST:: SOT 780770 SOS 409182 HAS SOPS 409182 HAS SOUS 282548 HAS SOUPS 282548 WITH SCORE 282957.182
AT ITER 1094 NEW BEST:: SOT 780672 SOS 409084 HAS SOPS 409084 HAS SOUS 282450 HAS SOUPS 282450 WITH SCORE 282859.084
AT ITER 1104 NEW BEST:: SOT 780267 SOS 410647 HAS SOPS 410647 HAS SOUS 282242 HAS SOUPS 282242 WITH SCORE 282652.647
AT ITER 1127 NEW BEST:: SOT 780244 SOS 410646 HAS SOPS 410646 HAS SOUS 282241 HAS SOUPS 282241 WITH SCORE 282651.646
AT ITER 1134 NEW BEST:: SOT 778406 SOS 411694 HAS SOPS 411694 HAS SOUS 280900 HAS SOUPS 280900 WITH SCORE 281311.694
AT ITER 1157 NEW BEST:: SOT 778405 SOS 411767 HAS SOPS 411767 HAS SOUS 280880 HAS SOUPS 280880 WITH SCORE 281291.767
AT ITER 1159 NEW BEST:: SOT 769385 SOS 408252 HAS SOPS 408252 HAS SOUS 273304 HAS SOUPS 273304 WITH SCORE 273712.252
AT ITER 1188 NEW BEST:: SOT 760909 SOS 407929 HAS SOPS 407929 HAS SOUS 266527 HAS SOUPS 266527 WITH SCORE 266934.929
AT ITER 1217 NEW BEST:: SOT 760905 SOS 407920 HAS SOPS 407920 HAS SOUS 266526 HAS SOUPS 266526 WITH SCORE 266933.92
AT ITER 1218 NEW BEST:: SOT 755231 SOS 403001 HAS SOPS 403001 HAS SOUS 261444 HAS SOUPS 261444 WITH SCORE 261847.001
AT ITER 1239 NEW BEST:: SOT 755173 SOS 402943 HAS SOPS 402943 HAS SOUS 261386 HAS SOUPS 261386 WITH SCORE 261788.943
AT ITER 1248 NEW BEST:: SOT 755096 SOS 402866 HAS SOPS 402866 HAS SOUS 261309 HAS SOUPS 261309 WITH SCORE 261711.866
AT ITER 1282 NEW BEST:: SOT 755041 SOS 402811 HAS SOPS 402811 HAS SOUS 261254 HAS SOUPS 261254 WITH SCORE 261656.811
AT ITER 1312 NEW BEST:: SOT 754744 SOS 402514 HAS SOPS 402514 HAS SOUS 261010 HAS SOUPS 261010 WITH SCORE 261412.514
AT ITER 1319 NEW BEST:: SOT 754677 SOS 402447 HAS SOPS 402447 HAS SOUS 260943 HAS SOUPS 260943 WITH SCORE 261345.447
AT ITER 1325 NEW BEST:: SOT 754676 SOS 402446 HAS SOPS 402446 HAS SOUS 260942 HAS SOUPS 260942 WITH SCORE 261344.446
AT ITER 1328 NEW BEST:: SOT 754676 SOS 402169 HAS SOPS 402169 HAS SOUS 260816 HAS SOUPS 260816 WITH SCORE 261218.169
AT ITER 1330 NEW BEST:: SOT 753587 SOS 402375 HAS SOPS 402375 HAS SOUS 259998 HAS SOUPS 259998 WITH SCORE 260400.375
AT ITER 1343 NEW BEST:: SOT 753587 SOS 402375 HAS SOPS 402375 HAS SOUS 259994 HAS SOUPS 259994 WITH SCORE 260396.375
AT ITER 1347 NEW BEST:: SOT 753121 SOS 403864 HAS SOPS 403864 HAS SOUS 259803 HAS SOUPS 259803 WITH SCORE 260206.864
AT ITER 1349 NEW BEST:: SOT 752972 SOS 404277 HAS SOPS 404277 HAS SOUS 259687 HAS SOUPS 259687 WITH SCORE 260091.277
AT ITER 1366 NEW BEST:: SOT 749758 SOS 403294 HAS SOPS 403294 HAS SOUS 257021 HAS SOUPS 257021 WITH SCORE 257424.294
AT ITER 1378 NEW BEST:: SOT 749783 SOS 403114 HAS SOPS 403114 HAS SOUS 256930 HAS SOUPS 256930 WITH SCORE 257333.114
AT ITER 1396 NEW BEST:: SOT 747693 SOS 401152 HAS SOPS 401152 HAS SOUS 255089 HAS SOUPS 255089 WITH SCORE 255490.152
AT ITER 1404 NEW BEST:: SOT 747645 SOS 401104 HAS SOPS 401104 HAS SOUS 255041 HAS SOUPS 255041 WITH SCORE 255442.104
AT ITER 1409 NEW BEST:: SOT 744800 SOS 398812 HAS SOPS 398812 HAS SOUS 252634 HAS SOUPS 252634 WITH SCORE 253032.812
AT ITER 1415 NEW BEST:: SOT 745110 SOS 399122 HAS SOPS 399122 HAS SOUS 252565 HAS SOUPS 252565 WITH SCORE 252964.122
AT ITER 1421 NEW BEST:: SOT 745110 SOS 399121 HAS SOPS 399121 HAS SOUS 252564 HAS SOUPS 252564 WITH SCORE 252963.121
AT ITER 1422 NEW BEST:: SOT 745139 SOS 399150 HAS SOPS 399150 HAS SOUS 252417 HAS SOUPS 252417 WITH SCORE 252816.15
AT ITER 1428 NEW BEST:: SOT 740884 SOS 399626 HAS SOPS 399626 HAS SOUS 249251 HAS SOUPS 249251 WITH SCORE 249650.626
AT ITER 1439 NEW BEST:: SOT 740792 SOS 399593 HAS SOPS 399593 HAS SOUS 249104 HAS SOUPS 249104 WITH SCORE 249503.593
AT ITER 1451 NEW BEST:: SOT 740748 SOS 399549 HAS SOPS 399549 HAS SOUS 249060 HAS SOUPS 249060 WITH SCORE 249459.549
AT ITER 1453 NEW BEST:: SOT 740671 SOS 401000 HAS SOPS 401000 HAS SOUS 249055 HAS SOUPS 249055 WITH SCORE 249456.0
AT ITER 1476 NEW BEST:: SOT 740700 SOS 401029 HAS SOPS 401029 HAS SOUS 248858 HAS SOUPS 248858 WITH SCORE 249259.029
AT ITER 1488 NEW BEST:: SOT 734381 SOS 402464 HAS SOPS 402464 HAS SOUS 244211 HAS SOUPS 244211 WITH SCORE 244613.464
AT ITER 1490 NEW BEST:: SOT 734185 SOS 402031 HAS SOPS 402031 HAS SOUS 244085 HAS SOUPS 244085 WITH SCORE 244487.031
AT ITER 1503 NEW BEST:: SOT 734265 SOS 402111 HAS SOPS 402111 HAS SOUS 243942 HAS SOUPS 243942 WITH SCORE 244344.111
AT ITER 1520 NEW BEST:: SOT 725467 SOS 401735 HAS SOPS 401735 HAS SOUS 235941 HAS SOUPS 235941 WITH SCORE 236342.735
AT ITER 1522 NEW BEST:: SOT 723055 SOS 401830 HAS SOPS 401830 HAS SOUS 233892 HAS SOUPS 233892 WITH SCORE 234293.83
AT ITER 1537 NEW BEST:: SOT 723054 SOS 401829 HAS SOPS 401829 HAS SOUS 233890 HAS SOUPS 233890 WITH SCORE 234291.829
AT ITER 1550 NEW BEST:: SOT 723007 SOS 402080 HAS SOPS 402080 HAS SOUS 233874 HAS SOUPS 233874 WITH SCORE 234276.08
AT ITER 1555 NEW BEST:: SOT 714679 SOS 397365 HAS SOPS 397365 HAS SOUS 226735 HAS SOUPS 226735 WITH SCORE 227132.365
AT ITER 1562 NEW BEST:: SOT 705586 SOS 399715 HAS SOPS 399715 HAS SOUS 219101 HAS SOUPS 219101 WITH SCORE 219500.715
AT ITER 1568 NEW BEST:: SOT 705585 SOS 399714 HAS SOPS 399714 HAS SOUS 219099 HAS SOUPS 219099 WITH SCORE 219498.714
AT ITER 1597 NEW BEST:: SOT 705311 SOS 399426 HAS SOPS 399426 HAS SOUS 219013 HAS SOUPS 219013 WITH SCORE 219412.426
AT ITER 1684 NEW BEST:: SOT 705404 SOS 399519 HAS SOPS 399519 HAS SOUS 218967 HAS SOUPS 218967 WITH SCORE 219366.519
AT ITER 1696 NEW BEST:: SOT 705404 SOS 399518 HAS SOPS 399518 HAS SOUS 218966 HAS SOUPS 218966 WITH SCORE 219365.518
AT ITER 1702 NEW BEST:: SOT 705191 SOS 399091 HAS SOPS 399091 HAS SOUS 218965 HAS SOUPS 218965 WITH SCORE 219364.091
AT ITER 1706 NEW BEST:: SOT 705157 SOS 399090 HAS SOPS 399090 HAS SOUS 218964 HAS SOUPS 218964 WITH SCORE 219363.09
AT ITER 1707 NEW BEST:: SOT 704561 SOS 398494 HAS SOPS 398494 HAS SOUS 218367 HAS SOUPS 218367 WITH SCORE 218765.494
AT ITER 1728 NEW BEST:: SOT 703824 SOS 398677 HAS SOPS 398677 HAS SOUS 217813 HAS SOUPS 217813 WITH SCORE 218211.677
AT ITER 1744 NEW BEST:: SOT 697718 SOS 402040 HAS SOPS 402040 HAS SOUS 213336 HAS SOUPS 213336 WITH SCORE 213738.04
AT ITER 1745 NEW BEST:: SOT 690188 SOS 403458 HAS SOPS 403458 HAS SOUS 207410 HAS SOUPS 207410 WITH SCORE 207813.458
AT ITER 1752 NEW BEST:: SOT 690116 SOS 403386 HAS SOPS 403386 HAS SOUS 207338 HAS SOUPS 207338 WITH SCORE 207741.386
AT ITER 1769 NEW BEST:: SOT 690115 SOS 403385 HAS SOPS 403385 HAS SOUS 207162 HAS SOUPS 207162 WITH SCORE 207565.385
AT ITER 1773 NEW BEST:: SOT 690232 SOS 403698 HAS SOPS 403698 HAS SOUS 207104 HAS SOUPS 207104 WITH SCORE 207507.698
AT ITER 1775 NEW BEST:: SOT 689927 SOS 403392 HAS SOPS 403392 HAS SOUS 206798 HAS SOUPS 206798 WITH SCORE 207201.392
AT ITER 1776 NEW BEST:: SOT 689627 SOS 403092 HAS SOPS 403092 HAS SOUS 206365 HAS SOUPS 206365 WITH SCORE 206768.092
AT ITER 1782 NEW BEST:: SOT 689372 SOS 402837 HAS SOPS 402837 HAS SOUS 205895 HAS SOUPS 205895 WITH SCORE 206297.837
AT ITER 1785 NEW BEST:: SOT 689386 SOS 402851 HAS SOPS 402851 HAS SOUS 205894 HAS SOUPS 205894 WITH SCORE 206296.851
AT ITER 1804 NEW BEST:: SOT 689295 SOS 402760 HAS SOPS 402760 HAS SOUS 205793 HAS SOUPS 205793 WITH SCORE 206195.76
AT ITER 1817 NEW BEST:: SOT 689294 SOS 403043 HAS SOPS 403043 HAS SOUS 205791 HAS SOUPS 205791 WITH SCORE 206194.043
AT ITER 1828 NEW BEST:: SOT 689322 SOS 403071 HAS SOPS 403071 HAS SOUS 205702 HAS SOUPS 205702 WITH SCORE 206105.071
AT ITER 1861 NEW BEST:: SOT 689071 SOS 402865 HAS SOPS 402865 HAS SOUS 205480 HAS SOUPS 205480 WITH SCORE 205882.865
AT ITER 1865 NEW BEST:: SOT 688799 SOS 402515 HAS SOPS 402515 HAS SOUS 205265 HAS SOUPS 205265 WITH SCORE 205667.515
AT ITER 1872 NEW BEST:: SOT 688799 SOS 402515 HAS SOPS 402515 HAS SOUS 205261 HAS SOUPS 205261 WITH SCORE 205663.515
AT ITER 1886 NEW BEST:: SOT 688792 SOS 402508 HAS SOPS 402508 HAS SOUS 205253 HAS SOUPS 205253 WITH SCORE 205655.508
AT ITER 1918 NEW BEST:: SOT 688681 SOS 402396 HAS SOPS 402396 HAS SOUS 205141 HAS SOUPS 205141 WITH SCORE 205543.396
AT ITER 1974 NEW BEST:: SOT 688680 SOS 402395 HAS SOPS 402395 HAS SOUS 205139 HAS SOUPS 205139 WITH SCORE 205541.395
AT ITER 1983 NEW BEST:: SOT 688679 SOS 402394 HAS SOPS 402394 HAS SOUS 205137 HAS SOUPS 205137 WITH SCORE 205539.394
AT ITER 2009 NEW BEST:: SOT 688679 SOS 402393 HAS SOPS 402393 HAS SOUS 205136 HAS SOUPS 205136 WITH SCORE 205538.393
AT ITER 2018 NEW BEST:: SOT 686655 SOS 403505 HAS SOPS 403505 HAS SOUS 203601 HAS SOUPS 203601 WITH SCORE 204004.505
AT ITER 2022 NEW BEST:: SOT 686507 SOS 403356 HAS SOPS 403356 HAS SOUS 203323 HAS SOUPS 203323 WITH SCORE 203726.356
AT ITER 2054 NEW BEST:: SOT 686375 SOS 402960 HAS SOPS 402960 HAS SOUS 202927 HAS SOUPS 202927 WITH SCORE 203329.96
AT ITER 2063 NEW BEST:: SOT 686338 SOS 402959 HAS SOPS 402959 HAS SOUS 202926 HAS SOUPS 202926 WITH SCORE 203328.959
AT ITER 2067 NEW BEST:: SOT 686313 SOS 402934 HAS SOPS 402934 HAS SOUS 202854 HAS SOUPS 202854 WITH SCORE 203256.934
AT ITER 2101 NEW BEST:: SOT 686309 SOS 402930 HAS SOPS 402930 HAS SOUS 202850 HAS SOUPS 202850 WITH SCORE 203252.93
AT ITER 2106 NEW BEST:: SOT 685635 SOS 402477 HAS SOPS 402477 HAS SOUS 202397 HAS SOUPS 202397 WITH SCORE 202799.477
AT ITER 2116 NEW BEST:: SOT 685627 SOS 402469 HAS SOPS 402469 HAS SOUS 202381 HAS SOUPS 202381 WITH SCORE 202783.469
AT ITER 2133 NEW BEST:: SOT 685627 SOS 402443 HAS SOPS 402443 HAS SOUS 202381 HAS SOUPS 202381 WITH SCORE 202783.443
AT ITER 2169 NEW BEST:: SOT 685571 SOS 402387 HAS SOPS 402387 HAS SOUS 202325 HAS SOUPS 202325 WITH SCORE 202727.387
AT ITER 2178 NEW BEST:: SOT 685570 SOS 402386 HAS SOPS 402386 HAS SOUS 202274 HAS SOUPS 202274 WITH SCORE 202676.386
AT ITER 2186 NEW BEST:: SOT 685513 SOS 402329 HAS SOPS 402329 HAS SOUS 202217 HAS SOUPS 202217 WITH SCORE 202619.329
AT ITER 2196 NEW BEST:: SOT 685035 SOS 401601 HAS SOPS 401601 HAS SOUS 201739 HAS SOUPS 201739 WITH SCORE 202140.601
AT ITER 2201 NEW BEST:: SOT 684963 SOS 401493 HAS SOPS 401493 HAS SOUS 201631 HAS SOUPS 201631 WITH SCORE 202032.493
AT ITER 2209 NEW BEST:: SOT 684914 SOS 401444 HAS SOPS 401444 HAS SOUS 201533 HAS SOUPS 201533 WITH SCORE 201934.444
AT ITER 2221 NEW BEST:: SOT 684751 SOS 401185 HAS SOPS 401185 HAS SOUS 201321 HAS SOUPS 201321 WITH SCORE 201722.185
AT ITER 2244 NEW BEST:: SOT 684318 SOS 401292 HAS SOPS 401292 HAS SOUS 200995 HAS SOUPS 200995 WITH SCORE 201396.292
AT ITER 2256 NEW BEST:: SOT 684235 SOS 401209 HAS SOPS 401209 HAS SOUS 200991 HAS SOUPS 200991 WITH SCORE 201392.209
AT ITER 2261 NEW BEST:: SOT 684235 SOS 401209 HAS SOPS 401209 HAS SOUS 200964 HAS SOUPS 200964 WITH SCORE 201365.209
AT ITER 2265 NEW BEST:: SOT 684203 SOS 401177 HAS SOPS 401177 HAS SOUS 200660 HAS SOUPS 200660 WITH SCORE 201061.177
AT ITER 2275 NEW BEST:: SOT 684202 SOS 401086 HAS SOPS 401086 HAS SOUS 200658 HAS SOUPS 200658 WITH SCORE 201059.086
AT ITER 2278 NEW BEST:: SOT 683688 SOS 403766 HAS SOPS 403766 HAS SOUS 200549 HAS SOUPS 200549 WITH SCORE 200952.766
AT ITER 2303 NEW BEST:: SOT 682506 SOS 405317 HAS SOPS 405317 HAS SOUS 199828 HAS SOUPS 199828 WITH SCORE 200233.317
AT ITER 2315 NEW BEST:: SOT 682181 SOS 404991 HAS SOPS 404991 HAS SOUS 199572 HAS SOUPS 199572 WITH SCORE 199976.991
AT ITER 2338 NEW BEST:: SOT 682180 SOS 404990 HAS SOPS 404990 HAS SOUS 199570 HAS SOUPS 199570 WITH SCORE 199974.99
AT ITER 2339 NEW BEST:: SOT 682118 SOS 404927 HAS SOPS 404927 HAS SOUS 199507 HAS SOUPS 199507 WITH SCORE 199911.927
AT ITER 2390 NEW BEST:: SOT 681675 SOS 408735 HAS SOPS 408735 HAS SOUS 199455 HAS SOUPS 199455 WITH SCORE 199863.735
AT ITER 2404 NEW BEST:: SOT 676621 SOS 408923 HAS SOPS 408923 HAS SOUS 195736 HAS SOUPS 195736 WITH SCORE 196144.923
AT ITER 2432 NEW BEST:: SOT 676620 SOS 408945 HAS SOPS 408945 HAS SOUS 195734 HAS SOUPS 195734 WITH SCORE 196142.945
AT ITER 2439 NEW BEST:: SOT 676348 SOS 408598 HAS SOPS 408598 HAS SOUS 195286 HAS SOUPS 195286 WITH SCORE 195694.598
AT ITER 2464 NEW BEST:: SOT 676357 SOS 408607 HAS SOPS 408607 HAS SOUS 195278 HAS SOUPS 195278 WITH SCORE 195686.607
AT ITER 2468 NEW BEST:: SOT 675719 SOS 412573 HAS SOPS 412573 HAS SOUS 195187 HAS SOUPS 195187 WITH SCORE 195599.573
AT ITER 2471 NEW BEST:: SOT 675687 SOS 412541 HAS SOPS 412541 HAS SOUS 195155 HAS SOUPS 195155 WITH SCORE 195567.541
AT ITER 2478 NEW BEST:: SOT 675411 SOS 412136 HAS SOPS 412136 HAS SOUS 194603 HAS SOUPS 194603 WITH SCORE 195015.136
AT ITER 2485 NEW BEST:: SOT 675411 SOS 411964 HAS SOPS 411964 HAS SOUS 194431 HAS SOUPS 194431 WITH SCORE 194842.964
AT ITER 2506 NEW BEST:: SOT 675422 SOS 411975 HAS SOPS 411975 HAS SOUS 194428 HAS SOUPS 194428 WITH SCORE 194839.975
AT ITER 2529 NEW BEST:: SOT 674758 SOS 413200 HAS SOPS 413200 HAS SOUS 194047 HAS SOUPS 194047 WITH SCORE 194460.2
AT ITER 2555 NEW BEST:: SOT 674572 SOS 413014 HAS SOPS 413014 HAS SOUS 193768 HAS SOUPS 193768 WITH SCORE 194181.014
AT ITER 2559 NEW BEST:: SOT 674330 SOS 412489 HAS SOPS 412489 HAS SOUS 193581 HAS SOUPS 193581 WITH SCORE 193993.489
AT ITER 2560 NEW BEST:: SOT 674264 SOS 412357 HAS SOPS 412357 HAS SOUS 193581 HAS SOUPS 193581 WITH SCORE 193993.357
AT ITER 2569 NEW BEST:: SOT 673808 SOS 411901 HAS SOPS 411901 HAS SOUS 192934 HAS SOUPS 192934 WITH SCORE 193345.901
AT ITER 2591 NEW BEST:: SOT 673805 SOS 411900 HAS SOPS 411900 HAS SOUS 192930 HAS SOUPS 192930 WITH SCORE 193341.9
AT ITER 2620 NEW BEST:: SOT 673491 SOS 411586 HAS SOPS 411586 HAS SOUS 192612 HAS SOUPS 192612 WITH SCORE 193023.586
AT ITER 2649 NEW BEST:: SOT 673450 SOS 411446 HAS SOPS 411446 HAS SOUS 192472 HAS SOUPS 192472 WITH SCORE 192883.446
AT ITER 2659 NEW BEST:: SOT 673448 SOS 411444 HAS SOPS 411444 HAS SOUS 192470 HAS SOUPS 192470 WITH SCORE 192881.444
AT ITER 2674 NEW BEST:: SOT 673358 SOS 411354 HAS SOPS 411354 HAS SOUS 192380 HAS SOUPS 192380 WITH SCORE 192791.354
AT ITER 2677 NEW BEST:: SOT 673228 SOS 411353 HAS SOPS 411353 HAS SOUS 192379 HAS SOUPS 192379 WITH SCORE 192790.353
AT ITER 2678 NEW BEST:: SOT 673220 SOS 411345 HAS SOPS 411345 HAS SOUS 192371 HAS SOUPS 192371 WITH SCORE 192782.345
AT ITER 2709 NEW BEST:: SOT 673277 SOS 411402 HAS SOPS 411402 HAS SOUS 192281 HAS SOUPS 192281 WITH SCORE 192692.402
AT ITER 2717 NEW BEST:: SOT 673224 SOS 411349 HAS SOPS 411349 HAS SOUS 192228 HAS SOUPS 192228 WITH SCORE 192639.349
AT ITER 2733 NEW BEST:: SOT 673169 SOS 411348 HAS SOPS 411348 HAS SOUS 192227 HAS SOUPS 192227 WITH SCORE 192638.348
AT ITER 2750 NEW BEST:: SOT 672980 SOS 411158 HAS SOPS 411158 HAS SOUS 192130 HAS SOUPS 192130 WITH SCORE 192541.158
AT ITER 2755 NEW BEST:: SOT 669578 SOS 411983 HAS SOPS 411983 HAS SOUS 189246 HAS SOUPS 189246 WITH SCORE 189657.983
AT ITER 2769 NEW BEST:: SOT 669574 SOS 411979 HAS SOPS 411979 HAS SOUS 189242 HAS SOUPS 189242 WITH SCORE 189653.979
AT ITER 2774 NEW BEST:: SOT 669294 SOS 411699 HAS SOPS 411699 HAS SOUS 188972 HAS SOUPS 188972 WITH SCORE 189383.699
AT ITER 2784 NEW BEST:: SOT 669294 SOS 411699 HAS SOPS 411699 HAS SOUS 188870 HAS SOUPS 188870 WITH SCORE 189281.699
AT ITER 2786 NEW BEST:: SOT 669143 SOS 411649 HAS SOPS 411649 HAS SOUS 188820 HAS SOUPS 188820 WITH SCORE 189231.649
AT ITER 2800 NEW BEST:: SOT 669084 SOS 411590 HAS SOPS 411590 HAS SOUS 188642 HAS SOUPS 188642 WITH SCORE 189053.59
AT ITER 2803 NEW BEST:: SOT 669084 SOS 411590 HAS SOPS 411590 HAS SOUS 188529 HAS SOUPS 188529 WITH SCORE 188940.59
AT ITER 2810 NEW BEST:: SOT 669085 SOS 411637 HAS SOPS 411637 HAS SOUS 188514 HAS SOUPS 188514 WITH SCORE 188925.637
AT ITER 2827 NEW BEST:: SOT 667342 SOS 411904 HAS SOPS 411904 HAS SOUS 187172 HAS SOUPS 187172 WITH SCORE 187583.904
AT ITER 2835 NEW BEST:: SOT 667370 SOS 411932 HAS SOPS 411932 HAS SOUS 187171 HAS SOUPS 187171 WITH SCORE 187582.932
AT ITER 2851 NEW BEST:: SOT 667176 SOS 417527 HAS SOPS 417527 HAS SOUS 187165 HAS SOUPS 187165 WITH SCORE 187582.527
AT ITER 2866 NEW BEST:: SOT 667143 SOS 417506 HAS SOPS 417506 HAS SOUS 187165 HAS SOUPS 187165 WITH SCORE 187582.506
AT ITER 2884 NEW BEST:: SOT 667142 SOS 417505 HAS SOPS 417505 HAS SOUS 187163 HAS SOUPS 187163 WITH SCORE 187580.505
AT ITER 2894 NEW BEST:: SOT 667127 SOS 417389 HAS SOPS 417389 HAS SOUS 187130 HAS SOUPS 187130 WITH SCORE 187547.389
AT ITER 2910 NEW BEST:: SOT 665811 SOS 421542 HAS SOPS 421542 HAS SOUS 186637 HAS SOUPS 186637 WITH SCORE 187058.542
AT ITER 2913 NEW BEST:: SOT 665810 SOS 421541 HAS SOPS 421541 HAS SOUS 186495 HAS SOUPS 186495 WITH SCORE 186916.541
AT ITER 2917 NEW BEST:: SOT 665809 SOS 421540 HAS SOPS 421540 HAS SOUS 186493 HAS SOUPS 186493 WITH SCORE 186914.54
AT ITER 2930 NEW BEST:: SOT 665804 SOS 421535 HAS SOPS 421535 HAS SOUS 186415 HAS SOUPS 186415 WITH SCORE 186836.535
AT ITER 2939 NEW BEST:: SOT 665804 SOS 421510 HAS SOPS 421510 HAS SOUS 186390 HAS SOUPS 186390 WITH SCORE 186811.51
AT ITER 2959 NEW BEST:: SOT 665803 SOS 421509 HAS SOPS 421509 HAS SOUS 186388 HAS SOUPS 186388 WITH SCORE 186809.509
AT ITER 3026 NEW BEST:: SOT 665578 SOS 421284 HAS SOPS 421284 HAS SOUS 186163 HAS SOUPS 186163 WITH SCORE 186584.284
AT ITER 3046 NEW BEST:: SOT 665438 SOS 421144 HAS SOPS 421144 HAS SOUS 186023 HAS SOUPS 186023 WITH SCORE 186444.144
AT ITER 3053 NEW BEST:: SOT 665389 SOS 421095 HAS SOPS 421095 HAS SOUS 185925 HAS SOUPS 185925 WITH SCORE 186346.095
AT ITER 3060 NEW BEST:: SOT 665333 SOS 421039 HAS SOPS 421039 HAS SOUS 185869 HAS SOUPS 185869 WITH SCORE 186290.039
AT ITER 3109 NEW BEST:: SOT 665332 SOS 421038 HAS SOPS 421038 HAS SOUS 185867 HAS SOUPS 185867 WITH SCORE 186288.038
AT ITER 3118 NEW BEST:: SOT 665332 SOS 421037 HAS SOPS 421037 HAS SOUS 185866 HAS SOUPS 185866 WITH SCORE 186287.037
AT ITER 3146 NEW BEST:: SOT 665286 SOS 420991 HAS SOPS 420991 HAS SOUS 185740 HAS SOUPS 185740 WITH SCORE 186160.991
AT ITER 3166 NEW BEST:: SOT 665324 SOS 421029 HAS SOPS 421029 HAS SOUS 185726 HAS SOUPS 185726 WITH SCORE 186147.029
AT ITER 3173 NEW BEST:: SOT 665234 SOS 420939 HAS SOPS 420939 HAS SOUS 185636 HAS SOUPS 185636 WITH SCORE 186056.939
AT ITER 3180 NEW BEST:: SOT 665007 SOS 420598 HAS SOPS 420598 HAS SOUS 185295 HAS SOUPS 185295 WITH SCORE 185715.598
AT ITER 3203 NEW BEST:: SOT 665007 SOS 420589 HAS SOPS 420589 HAS SOUS 185295 HAS SOUPS 185295 WITH SCORE 185715.589
AT ITER 3207 NEW BEST:: SOT 664819 SOS 420213 HAS SOPS 420213 HAS SOUS 185107 HAS SOUPS 185107 WITH SCORE 185527.213
AT ITER 3228 NEW BEST:: SOT 664819 SOS 419695 HAS SOPS 419695 HAS SOUS 184589 HAS SOUPS 184589 WITH SCORE 185008.695
AT ITER 3259 NEW BEST:: SOT 664844 SOS 419720 HAS SOPS 419720 HAS SOUS 184430 HAS SOUPS 184430 WITH SCORE 184849.72
AT ITER 3271 NEW BEST:: SOT 664843 SOS 419719 HAS SOPS 419719 HAS SOUS 184428 HAS SOUPS 184428 WITH SCORE 184847.719
AT ITER 3280 NEW BEST:: SOT 664439 SOS 419372 HAS SOPS 419372 HAS SOUS 183966 HAS SOUPS 183966 WITH SCORE 184385.372
AT ITER 3290 NEW BEST:: SOT 664436 SOS 419368 HAS SOPS 419368 HAS SOUS 183962 HAS SOUPS 183962 WITH SCORE 184381.368
AT ITER 3297 NEW BEST:: SOT 664403 SOS 419479 HAS SOPS 419479 HAS SOUS 183944 HAS SOUPS 183944 WITH SCORE 184363.479
AT ITER 3312 NEW BEST:: SOT 664402 SOS 419478 HAS SOPS 419478 HAS SOUS 183922 HAS SOUPS 183922 WITH SCORE 184341.478
AT ITER 3318 NEW BEST:: SOT 664386 SOS 419418 HAS SOPS 419418 HAS SOUS 183906 HAS SOUPS 183906 WITH SCORE 184325.418
AT ITER 3344 NEW BEST:: SOT 664354 SOS 419386 HAS SOPS 419386 HAS SOUS 183874 HAS SOUPS 183874 WITH SCORE 184293.386
AT ITER 3364 NEW BEST:: SOT 664248 SOS 419280 HAS SOPS 419280 HAS SOUS 183662 HAS SOUPS 183662 WITH SCORE 184081.28
AT ITER 3371 NEW BEST:: SOT 664247 SOS 419279 HAS SOPS 419279 HAS SOUS 183660 HAS SOUPS 183660 WITH SCORE 184079.279
AT ITER 3392 NEW BEST:: SOT 663060 SOS 418224 HAS SOPS 418224 HAS SOUS 182522 HAS SOUPS 182522 WITH SCORE 182940.224
AT ITER 3415 NEW BEST:: SOT 662998 SOS 418162 HAS SOPS 418162 HAS SOUS 182460 HAS SOUPS 182460 WITH SCORE 182878.162
AT ITER 3417 NEW BEST:: SOT 663008 SOS 418172 HAS SOPS 418172 HAS SOUS 182459 HAS SOUPS 182459 WITH SCORE 182877.172
AT ITER 3423 NEW BEST:: SOT 662832 SOS 417996 HAS SOPS 417996 HAS SOUS 182231 HAS SOUPS 182231 WITH SCORE 182648.996
AT ITER 3448 NEW BEST:: SOT 662735 SOS 417899 HAS SOPS 417899 HAS SOUS 182130 HAS SOUPS 182130 WITH SCORE 182547.899
AT ITER 3455 NEW BEST:: SOT 662680 SOS 417844 HAS SOPS 417844 HAS SOUS 181932 HAS SOUPS 181932 WITH SCORE 182349.844
AT ITER 3457 NEW BEST:: SOT 662592 SOS 417755 HAS SOPS 417755 HAS SOUS 181824 HAS SOUPS 181824 WITH SCORE 182241.755
AT ITER 3470 NEW BEST:: SOT 662592 SOS 418024 HAS SOPS 418024 HAS SOUS 181625 HAS SOUPS 181625 WITH SCORE 182043.024
AT ITER 3478 NEW BEST:: SOT 662533 SOS 417964 HAS SOPS 417964 HAS SOUS 181565 HAS SOUPS 181565 WITH SCORE 181982.964
AT ITER 3483 NEW BEST:: SOT 661297 SOS 422448 HAS SOPS 422448 HAS SOUS 180683 HAS SOUPS 180683 WITH SCORE 181105.448
AT ITER 3540 NEW BEST:: SOT 661296 SOS 422447 HAS SOPS 422447 HAS SOUS 180651 HAS SOUPS 180651 WITH SCORE 181073.447
AT ITER 3561 NEW BEST:: SOT 661304 SOS 422455 HAS SOPS 422455 HAS SOUS 180636 HAS SOUPS 180636 WITH SCORE 181058.455
AT ITER 3563 NEW BEST:: SOT 661141 SOS 422292 HAS SOPS 422292 HAS SOUS 180308 HAS SOUPS 180308 WITH SCORE 180730.292
AT ITER 3568 NEW BEST:: SOT 661063 SOS 422261 HAS SOPS 422261 HAS SOUS 180308 HAS SOUPS 180308 WITH SCORE 180730.261
AT ITER 3601 NEW BEST:: SOT 661057 SOS 422255 HAS SOPS 422255 HAS SOUS 180296 HAS SOUPS 180296 WITH SCORE 180718.255
AT ITER 3614 NEW BEST:: SOT 660883 SOS 422081 HAS SOPS 422081 HAS SOUS 179948 HAS SOUPS 179948 WITH SCORE 180370.081
AT ITER 3629 NEW BEST:: SOT 660868 SOS 422066 HAS SOPS 422066 HAS SOUS 179857 HAS SOUPS 179857 WITH SCORE 180279.066
AT ITER 3631 NEW BEST:: SOT 660815 SOS 422013 HAS SOPS 422013 HAS SOUS 179755 HAS SOUPS 179755 WITH SCORE 180177.013
AT ITER 3650 NEW BEST:: SOT 660773 SOS 421971 HAS SOPS 421971 HAS SOUS 179671 HAS SOUPS 179671 WITH SCORE 180092.971
AT ITER 3664 NEW BEST:: SOT 660757 SOS 421955 HAS SOPS 421955 HAS SOUS 179639 HAS SOUPS 179639 WITH SCORE 180060.955
AT ITER 3683 NEW BEST:: SOT 660599 SOS 423813 HAS SOPS 423813 HAS SOUS 179580 HAS SOUPS 179580 WITH SCORE 180003.813
AT ITER 3684 NEW BEST:: SOT 659709 SOS 426649 HAS SOPS 426649 HAS SOUS 179158 HAS SOUPS 179158 WITH SCORE 179584.649
AT ITER 3685 NEW BEST:: SOT 659709 SOS 426648 HAS SOPS 426648 HAS SOUS 179157 HAS SOUPS 179157 WITH SCORE 179583.648
AT ITER 3694 NEW BEST:: SOT 659709 SOS 426647 HAS SOPS 426647 HAS SOUS 179156 HAS SOUPS 179156 WITH SCORE 179582.647
AT ITER 3700 NEW BEST:: SOT 659357 SOS 426295 HAS SOPS 426295 HAS SOUS 178890 HAS SOUPS 178890 WITH SCORE 179316.295
AT ITER 3734 NEW BEST:: SOT 657401 SOS 424798 HAS SOPS 424798 HAS SOUS 177025 HAS SOUPS 177025 WITH SCORE 177449.798
AT ITER 3744 NEW BEST:: SOT 657356 SOS 423028 HAS SOPS 423028 HAS SOUS 176905 HAS SOUPS 176905 WITH SCORE 177328.028
AT ITER 3822 NEW BEST:: SOT 656550 SOS 422221 HAS SOPS 422221 HAS SOUS 176098 HAS SOUPS 176098 WITH SCORE 176520.221
AT ITER 3824 NEW BEST:: SOT 656527 SOS 422198 HAS SOPS 422198 HAS SOUS 176076 HAS SOUPS 176076 WITH SCORE 176498.198
AT ITER 3830 NEW BEST:: SOT 656515 SOS 422186 HAS SOPS 422186 HAS SOUS 176046 HAS SOUPS 176046 WITH SCORE 176468.186
AT ITER 3831 NEW BEST:: SOT 656310 SOS 422257 HAS SOPS 422257 HAS SOUS 175636 HAS SOUPS 175636 WITH SCORE 176058.257
AT ITER 3835 NEW BEST:: SOT 656110 SOS 422057 HAS SOPS 422057 HAS SOUS 175436 HAS SOUPS 175436 WITH SCORE 175858.057
AT ITER 3844 NEW BEST:: SOT 656091 SOS 422038 HAS SOPS 422038 HAS SOUS 175417 HAS SOUPS 175417 WITH SCORE 175839.038
AT ITER 3865 NEW BEST:: SOT 656090 SOS 422037 HAS SOPS 422037 HAS SOUS 175415 HAS SOUPS 175415 WITH SCORE 175837.037
AT ITER 3899 NEW BEST:: SOT 656002 SOS 422587 HAS SOPS 422587 HAS SOUS 175414 HAS SOUPS 175414 WITH SCORE 175836.587
AT ITER 3926 NEW BEST:: SOT 656001 SOS 422586 HAS SOPS 422586 HAS SOUS 175412 HAS SOUPS 175412 WITH SCORE 175834.586
AT ITER 3929 NEW BEST:: SOT 656008 SOS 422588 HAS SOPS 422588 HAS SOUS 175402 HAS SOUPS 175402 WITH SCORE 175824.588
AT ITER 3960 NEW BEST:: SOT 656007 SOS 422587 HAS SOPS 422587 HAS SOUS 175400 HAS SOUPS 175400 WITH SCORE 175822.587
AT ITER 3980 NEW BEST:: SOT 656004 SOS 422584 HAS SOPS 422584 HAS SOUS 175370 HAS SOUPS 175370 WITH SCORE 175792.584
AT ITER 3988 NEW BEST:: SOT 656004 SOS 422584 HAS SOPS 422584 HAS SOUS 175255 HAS SOUPS 175255 WITH SCORE 175677.584
AT ITER 3998 NEW BEST:: SOT 655914 SOS 419808 HAS SOPS 419808 HAS SOUS 174873 HAS SOUPS 174873 WITH SCORE 175292.808
AT ITER 4020 NEW BEST:: SOT 655901 SOS 419795 HAS SOPS 419795 HAS SOUS 174860 HAS SOUPS 174860 WITH SCORE 175279.795
AT ITER 4077 NEW BEST:: SOT 655893 SOS 419787 HAS SOPS 419787 HAS SOUS 174844 HAS SOUPS 174844 WITH SCORE 175263.787
AT ITER 4108 NEW BEST:: SOT 656080 SOS 419974 HAS SOPS 419974 HAS SOUS 174775 HAS SOUPS 174775 WITH SCORE 175194.974
AT ITER 4114 NEW BEST:: SOT 656079 SOS 420033 HAS SOPS 420033 HAS SOUS 174773 HAS SOUPS 174773 WITH SCORE 175193.033
AT ITER 4155 NEW BEST:: SOT 656062 SOS 420016 HAS SOPS 420016 HAS SOUS 174739 HAS SOUPS 174739 WITH SCORE 175159.016
AT ITER 4198 NEW BEST:: SOT 656061 SOS 420015 HAS SOPS 420015 HAS SOUS 174737 HAS SOUPS 174737 WITH SCORE 175157.015
AT ITER 4210 NEW BEST:: SOT 656050 SOS 420004 HAS SOPS 420004 HAS SOUS 174704 HAS SOUPS 174704 WITH SCORE 175124.004
AT ITER 4223 NEW BEST:: SOT 656032 SOS 419986 HAS SOPS 419986 HAS SOUS 174594 HAS SOUPS 174594 WITH SCORE 175013.986
AT ITER 4235 NEW BEST:: SOT 655823 SOS 419777 HAS SOPS 419777 HAS SOUS 174253 HAS SOUPS 174253 WITH SCORE 174672.777
AT ITER 4244 NEW BEST:: SOT 655796 SOS 419750 HAS SOPS 419750 HAS SOUS 174226 HAS SOUPS 174226 WITH SCORE 174645.75
AT ITER 4245 NEW BEST:: SOT 655885 SOS 419839 HAS SOPS 419839 HAS SOUS 174180 HAS SOUPS 174180 WITH SCORE 174599.839
AT ITER 4261 NEW BEST:: SOT 655800 SOS 419754 HAS SOPS 419754 HAS SOUS 173865 HAS SOUPS 173865 WITH SCORE 174284.754
AT ITER 4262 NEW BEST:: SOT 655799 SOS 419753 HAS SOPS 419753 HAS SOUS 173863 HAS SOUPS 173863 WITH SCORE 174282.753
AT ITER 4272 NEW BEST:: SOT 655799 SOS 419926 HAS SOPS 419926 HAS SOUS 173777 HAS SOUPS 173777 WITH SCORE 174196.926
AT ITER 4275 NEW BEST:: SOT 655306 SOS 421401 HAS SOPS 421401 HAS SOUS 173611 HAS SOUPS 173611 WITH SCORE 174032.401
AT ITER 4321 NEW BEST:: SOT 655124 SOS 422784 HAS SOPS 422784 HAS SOUS 173590 HAS SOUPS 173590 WITH SCORE 174012.784
AT ITER 4354 NEW BEST:: SOT 654954 SOS 422614 HAS SOPS 422614 HAS SOUS 173250 HAS SOUPS 173250 WITH SCORE 173672.614
AT ITER 4359 NEW BEST:: SOT 654848 SOS 422490 HAS SOPS 422490 HAS SOUS 173230 HAS SOUPS 173230 WITH SCORE 173652.49
AT ITER 4380 NEW BEST:: SOT 654809 SOS 423116 HAS SOPS 423116 HAS SOUS 173224 HAS SOUPS 173224 WITH SCORE 173647.116
AT ITER 4422 NEW BEST:: SOT 654630 SOS 423214 HAS SOPS 423214 HAS SOUS 173045 HAS SOUPS 173045 WITH SCORE 173468.214
AT ITER 4431 NEW BEST:: SOT 654609 SOS 423193 HAS SOPS 423193 HAS SOUS 173024 HAS SOUPS 173024 WITH SCORE 173447.193
AT ITER 4456 NEW BEST:: SOT 654587 SOS 422969 HAS SOPS 422969 HAS SOUS 172773 HAS SOUPS 172773 WITH SCORE 173195.969
AT ITER 4467 NEW BEST:: SOT 654556 SOS 422938 HAS SOPS 422938 HAS SOUS 172742 HAS SOUPS 172742 WITH SCORE 173164.938
AT ITER 4474 NEW BEST:: SOT 654565 SOS 422947 HAS SOPS 422947 HAS SOUS 172612 HAS SOUPS 172612 WITH SCORE 173034.947
AT ITER 4485 NEW BEST:: SOT 654564 SOS 422946 HAS SOPS 422946 HAS SOUS 172610 HAS SOUPS 172610 WITH SCORE 173032.946
AT ITER 4502 NEW BEST:: SOT 654531 SOS 422913 HAS SOPS 422913 HAS SOUS 172586 HAS SOUPS 172586 WITH SCORE 173008.913
AT ITER 4524 NEW BEST:: SOT 654530 SOS 422912 HAS SOPS 422912 HAS SOUS 172584 HAS SOUPS 172584 WITH SCORE 173006.912
AT ITER 4530 NEW BEST:: SOT 654543 SOS 422925 HAS SOPS 422925 HAS SOUS 172583 HAS SOUPS 172583 WITH SCORE 173005.925
AT ITER 4538 NEW BEST:: SOT 654497 SOS 422818 HAS SOPS 422818 HAS SOUS 172447 HAS SOUPS 172447 WITH SCORE 172869.818
AT ITER 4544 NEW BEST:: SOT 654495 SOS 422816 HAS SOPS 422816 HAS SOUS 172443 HAS SOUPS 172443 WITH SCORE 172865.816
AT ITER 4547 NEW BEST:: SOT 654495 SOS 422790 HAS SOPS 422790 HAS SOUS 172417 HAS SOUPS 172417 WITH SCORE 172839.79
AT ITER 4557 NEW BEST:: SOT 654356 SOS 422651 HAS SOPS 422651 HAS SOUS 172246 HAS SOUPS 172246 WITH SCORE 172668.651
AT ITER 4567 NEW BEST:: SOT 654478 SOS 422773 HAS SOPS 422773 HAS SOUS 172048 HAS SOUPS 172048 WITH SCORE 172470.773
AT ITER 4586 NEW BEST:: SOT 654332 SOS 424809 HAS SOPS 424809 HAS SOUS 172012 HAS SOUPS 172012 WITH SCORE 172436.809
AT ITER 4592 NEW BEST:: SOT 654331 SOS 424808 HAS SOPS 424808 HAS SOUS 171876 HAS SOUPS 171876 WITH SCORE 172300.808
AT ITER 4597 NEW BEST:: SOT 654288 SOS 424765 HAS SOPS 424765 HAS SOUS 171833 HAS SOUPS 171833 WITH SCORE 172257.765
AT ITER 4614 NEW BEST:: SOT 654232 SOS 424709 HAS SOPS 424709 HAS SOUS 171808 HAS SOUPS 171808 WITH SCORE 172232.709
AT ITER 4625 NEW BEST:: SOT 654346 SOS 424368 HAS SOPS 424368 HAS SOUS 171664 HAS SOUPS 171664 WITH SCORE 172088.368
AT ITER 4630 NEW BEST:: SOT 654294 SOS 424316 HAS SOPS 424316 HAS SOUS 171602 HAS SOUPS 171602 WITH SCORE 172026.316
AT ITER 4686 NEW BEST:: SOT 654294 SOS 424461 HAS SOPS 424461 HAS SOUS 171601 HAS SOUPS 171601 WITH SCORE 172025.461
AT ITER 4693 NEW BEST:: SOT 654279 SOS 424446 HAS SOPS 424446 HAS SOUS 171586 HAS SOUPS 171586 WITH SCORE 172010.446
AT ITER 4708 NEW BEST:: SOT 654005 SOS 424172 HAS SOPS 424172 HAS SOUS 171038 HAS SOUPS 171038 WITH SCORE 171462.172
AT ITER 4716 NEW BEST:: SOT 653853 SOS 424020 HAS SOPS 424020 HAS SOUS 170808 HAS SOUPS 170808 WITH SCORE 171232.02
AT ITER 4776 NEW BEST:: SOT 653819 SOS 423985 HAS SOPS 423985 HAS SOUS 170773 HAS SOUPS 170773 WITH SCORE 171196.985
AT ITER 4814 NEW BEST:: SOT 653818 SOS 423984 HAS SOPS 423984 HAS SOUS 170771 HAS SOUPS 170771 WITH SCORE 171194.984
AT ITER 4849 NEW BEST:: SOT 653765 SOS 423850 HAS SOPS 423850 HAS SOUS 170664 HAS SOUPS 170664 WITH SCORE 171087.85
AT ITER 4852 NEW BEST:: SOT 653764 SOS 423849 HAS SOPS 423849 HAS SOUS 170662 HAS SOUPS 170662 WITH SCORE 171085.849
AT ITER 4869 NEW BEST:: SOT 653711 SOS 423796 HAS SOPS 423796 HAS SOUS 170610 HAS SOUPS 170610 WITH SCORE 171033.796
AT ITER 4875 NEW BEST:: SOT 653702 SOS 423787 HAS SOPS 423787 HAS SOUS 170592 HAS SOUPS 170592 WITH SCORE 171015.787
AT ITER 4901 NEW BEST:: SOT 653736 SOS 423821 HAS SOPS 423821 HAS SOUS 170591 HAS SOUPS 170591 WITH SCORE 171014.821
AT ITER 4923 NEW BEST:: SOT 653613 SOS 424286 HAS SOPS 424286 HAS SOUS 170545 HAS SOUPS 170545 WITH SCORE 170969.286
AT ITER 4926 NEW BEST:: SOT 653613 SOS 424286 HAS SOPS 424286 HAS SOUS 170494 HAS SOUPS 170494 WITH SCORE 170918.286
AT ITER 4937 NEW BEST:: SOT 653575 SOS 424248 HAS SOPS 424248 HAS SOUS 170456 HAS SOUPS 170456 WITH SCORE 170880.248
AT ITER 4939 NEW BEST:: SOT 653558 SOS 424231 HAS SOPS 424231 HAS SOUS 170422 HAS SOUPS 170422 WITH SCORE 170846.231
AT ITER 4942 NEW BEST:: SOT 653483 SOS 424156 HAS SOPS 424156 HAS SOUS 170347 HAS SOUPS 170347 WITH SCORE 170771.156
AT ITER 4957 NEW BEST:: SOT 653446 SOS 424118 HAS SOPS 424118 HAS SOUS 170309 HAS SOUPS 170309 WITH SCORE 170733.118
AT ITER 4979 NEW BEST:: SOT 653449 SOS 424121 HAS SOPS 424121 HAS SOUS 170302 HAS SOUPS 170302 WITH SCORE 170726.121
AT ITER 4987 NEW BEST:: SOT 653448 SOS 424120 HAS SOPS 424120 HAS SOUS 170227 HAS SOUPS 170227 WITH SCORE 170651.12
AT ITER 5012 NEW BEST:: SOT 653359 SOS 423970 HAS SOPS 423970 HAS SOUS 170077 HAS SOUPS 170077 WITH SCORE 170500.97
AT ITER 5022 NEW BEST:: SOT 652596 SOS 425294 HAS SOPS 425294 HAS SOUS 169554 HAS SOUPS 169554 WITH SCORE 169979.294
AT ITER 5044 NEW BEST:: SOT 652595 SOS 425293 HAS SOPS 425293 HAS SOUS 169552 HAS SOUPS 169552 WITH SCORE 169977.293
AT ITER 5047 NEW BEST:: SOT 652595 SOS 425293 HAS SOPS 425293 HAS SOUS 169551 HAS SOUPS 169551 WITH SCORE 169976.293
AT ITER 5052 NEW BEST:: SOT 652588 SOS 425286 HAS SOPS 425286 HAS SOUS 169544 HAS SOUPS 169544 WITH SCORE 169969.286
AT ITER 5069 NEW BEST:: SOT 652578 SOS 425276 HAS SOPS 425276 HAS SOUS 169524 HAS SOUPS 169524 WITH SCORE 169949.276
AT ITER 5078 NEW BEST:: SOT 652595 SOS 425293 HAS SOPS 425293 HAS SOUS 169523 HAS SOUPS 169523 WITH SCORE 169948.293
AT ITER 5126 NEW BEST:: SOT 652399 SOS 425097 HAS SOPS 425097 HAS SOUS 169523 HAS SOUPS 169523 WITH SCORE 169948.097
AT ITER 5129 NEW BEST:: SOT 652202 SOS 426209 HAS SOPS 426209 HAS SOUS 169448 HAS SOUPS 169448 WITH SCORE 169874.209
AT ITER 5174 NEW BEST:: SOT 652219 SOS 426226 HAS SOPS 426226 HAS SOUS 169383 HAS SOUPS 169383 WITH SCORE 169809.226
AT ITER 5216 NEW BEST:: SOT 652181 SOS 426188 HAS SOPS 426188 HAS SOUS 169307 HAS SOUPS 169307 WITH SCORE 169733.188
AT ITER 5253 NEW BEST:: SOT 652274 SOS 426281 HAS SOPS 426281 HAS SOUS 169236 HAS SOUPS 169236 WITH SCORE 169662.281
AT ITER 5296 NEW BEST:: SOT 652274 SOS 426281 HAS SOPS 426281 HAS SOUS 169160 HAS SOUPS 169160 WITH SCORE 169586.281
AT ITER 5297 NEW BEST:: SOT 652273 SOS 426280 HAS SOPS 426280 HAS SOUS 169158 HAS SOUPS 169158 WITH SCORE 169584.28
AT ITER 5336 NEW BEST:: SOT 652268 SOS 426275 HAS SOPS 426275 HAS SOUS 169148 HAS SOUPS 169148 WITH SCORE 169574.275
AT ITER 5345 NEW BEST:: SOT 652268 SOS 425967 HAS SOPS 425967 HAS SOUS 169148 HAS SOUPS 169148 WITH SCORE 169573.967
AT ITER 5346 NEW BEST:: SOT 652267 SOS 425966 HAS SOPS 425966 HAS SOUS 169146 HAS SOUPS 169146 WITH SCORE 169571.966
AT ITER 5374 NEW BEST:: SOT 652218 SOS 425917 HAS SOPS 425917 HAS SOUS 169146 HAS SOUPS 169146 WITH SCORE 169571.917
AT ITER 5403 NEW BEST:: SOT 652059 SOS 426564 HAS SOPS 426564 HAS SOUS 169041 HAS SOUPS 169041 WITH SCORE 169467.564
AT ITER 5411 NEW BEST:: SOT 651642 SOS 426147 HAS SOPS 426147 HAS SOUS 168417 HAS SOUPS 168417 WITH SCORE 168843.147
AT ITER 5459 NEW BEST:: SOT 651641 SOS 426146 HAS SOPS 426146 HAS SOUS 168415 HAS SOUPS 168415 WITH SCORE 168841.146
AT ITER 5461 NEW BEST:: SOT 651619 SOS 426123 HAS SOPS 426123 HAS SOUS 168392 HAS SOUPS 168392 WITH SCORE 168818.123
AT ITER 5475 NEW BEST:: SOT 651473 SOS 425937 HAS SOPS 425937 HAS SOUS 168151 HAS SOUPS 168151 WITH SCORE 168576.937
AT ITER 5487 NEW BEST:: SOT 651455 SOS 425919 HAS SOPS 425919 HAS SOUS 168097 HAS SOUPS 168097 WITH SCORE 168522.919
AT ITER 5545 NEW BEST:: SOT 651421 SOS 425885 HAS SOPS 425885 HAS SOUS 168029 HAS SOUPS 168029 WITH SCORE 168454.885
AT ITER 5588 NEW BEST:: SOT 651420 SOS 425884 HAS SOPS 425884 HAS SOUS 167913 HAS SOUPS 167913 WITH SCORE 168338.884
AT ITER 5590 NEW BEST:: SOT 651420 SOS 425884 HAS SOPS 425884 HAS SOUS 167885 HAS SOUPS 167885 WITH SCORE 168310.884
AT ITER 5592 NEW BEST:: SOT 651417 SOS 425881 HAS SOPS 425881 HAS SOUS 167882 HAS SOUPS 167882 WITH SCORE 168307.881
AT ITER 5603 NEW BEST:: SOT 651417 SOS 425881 HAS SOPS 425881 HAS SOUS 167817 HAS SOUPS 167817 WITH SCORE 168242.881
AT ITER 5621 NEW BEST:: SOT 651398 SOS 425862 HAS SOPS 425862 HAS SOUS 167744 HAS SOUPS 167744 WITH SCORE 168169.862
AT ITER 5637 NEW BEST:: SOT 651382 SOS 425846 HAS SOPS 425846 HAS SOUS 167678 HAS SOUPS 167678 WITH SCORE 168103.846
AT ITER 5647 NEW BEST:: SOT 651177 SOS 425574 HAS SOPS 425574 HAS SOUS 167268 HAS SOUPS 167268 WITH SCORE 167693.574
AT ITER 5657 NEW BEST:: SOT 650897 SOS 425293 HAS SOPS 425293 HAS SOUS 166987 HAS SOUPS 166987 WITH SCORE 167412.293
AT ITER 5687 NEW BEST:: SOT 650839 SOS 425235 HAS SOPS 425235 HAS SOUS 166868 HAS SOUPS 166868 WITH SCORE 167293.235
AT ITER 5694 NEW BEST:: SOT 650746 SOS 425142 HAS SOPS 425142 HAS SOUS 166686 HAS SOUPS 166686 WITH SCORE 167111.142
AT ITER 5709 NEW BEST:: SOT 650706 SOS 425142 HAS SOPS 425142 HAS SOUS 166606 HAS SOUPS 166606 WITH SCORE 167031.142
AT ITER 5716 NEW BEST:: SOT 650754 SOS 425190 HAS SOPS 425190 HAS SOUS 166600 HAS SOUPS 166600 WITH SCORE 167025.19
AT ITER 5720 NEW BEST:: SOT 650753 SOS 425189 HAS SOPS 425189 HAS SOUS 166598 HAS SOUPS 166598 WITH SCORE 167023.189
AT ITER 5750 NEW BEST:: SOT 650738 SOS 425174 HAS SOPS 425174 HAS SOUS 166568 HAS SOUPS 166568 WITH SCORE 166993.174
AT ITER 5796 NEW BEST:: SOT 650737 SOS 425173 HAS SOPS 425173 HAS SOUS 166566 HAS SOUPS 166566 WITH SCORE 166991.173
AT ITER 5812 NEW BEST:: SOT 650689 SOS 425125 HAS SOPS 425125 HAS SOUS 166518 HAS SOUPS 166518 WITH SCORE 166943.125
AT ITER 5841 NEW BEST:: SOT 650689 SOS 424891 HAS SOPS 424891 HAS SOUS 166277 HAS SOUPS 166277 WITH SCORE 166701.891
AT ITER 5848 NEW BEST:: SOT 650688 SOS 424890 HAS SOPS 424890 HAS SOUS 166275 HAS SOUPS 166275 WITH SCORE 166699.89
AT ITER 5856 NEW BEST:: SOT 650687 SOS 424889 HAS SOPS 424889 HAS SOUS 166273 HAS SOUPS 166273 WITH SCORE 166697.889
AT ITER 5875 NEW BEST:: SOT 649228 SOS 430267 HAS SOPS 430267 HAS SOUS 165430 HAS SOUPS 165430 WITH SCORE 165860.267
AT ITER 5881 NEW BEST:: SOT 649177 SOS 430216 HAS SOPS 430216 HAS SOUS 165328 HAS SOUPS 165328 WITH SCORE 165758.216
AT ITER 5882 NEW BEST:: SOT 649079 SOS 430090 HAS SOPS 430090 HAS SOUS 165190 HAS SOUPS 165190 WITH SCORE 165620.09
AT ITER 5895 NEW BEST:: SOT 648955 SOS 429966 HAS SOPS 429966 HAS SOUS 165066 HAS SOUPS 165066 WITH SCORE 165495.966
AT ITER 5923 NEW BEST:: SOT 648927 SOS 429938 HAS SOPS 429938 HAS SOUS 165010 HAS SOUPS 165010 WITH SCORE 165439.938
AT ITER 5944 NEW BEST:: SOT 648989 SOS 429381 HAS SOPS 429381 HAS SOUS 164946 HAS SOUPS 164946 WITH SCORE 165375.381
AT ITER 5960 NEW BEST:: SOT 649004 SOS 429396 HAS SOPS 429396 HAS SOUS 164880 HAS SOUPS 164880 WITH SCORE 165309.396
AT ITER 5992 NEW BEST:: SOT 649003 SOS 429395 HAS SOPS 429395 HAS SOUS 164755 HAS SOUPS 164755 WITH SCORE 165184.395
AT ITER 6004 NEW BEST:: SOT 648953 SOS 429345 HAS SOPS 429345 HAS SOUS 164705 HAS SOUPS 164705 WITH SCORE 165134.345
AT ITER 6005 NEW BEST:: SOT 648953 SOS 429345 HAS SOPS 429345 HAS SOUS 164703 HAS SOUPS 164703 WITH SCORE 165132.345
AT ITER 6021 NEW BEST:: SOT 649023 SOS 429415 HAS SOPS 429415 HAS SOUS 164701 HAS SOUPS 164701 WITH SCORE 165130.415
AT ITER 6057 NEW BEST:: SOT 649022 SOS 429414 HAS SOPS 429414 HAS SOUS 164657 HAS SOUPS 164657 WITH SCORE 165086.414
AT ITER 6059 NEW BEST:: SOT 649021 SOS 429413 HAS SOPS 429413 HAS SOUS 164656 HAS SOUPS 164656 WITH SCORE 165085.413
AT ITER 6065 NEW BEST:: SOT 649020 SOS 429412 HAS SOPS 429412 HAS SOUS 164654 HAS SOUPS 164654 WITH SCORE 165083.412
AT ITER 6174 NEW BEST:: SOT 649020 SOS 429412 HAS SOPS 429412 HAS SOUS 164567 HAS SOUPS 164567 WITH SCORE 164996.412
AT ITER 6191 NEW BEST:: SOT 648795 SOS 429187 HAS SOPS 429187 HAS SOUS 164190 HAS SOUPS 164190 WITH SCORE 164619.187
AT ITER 6200 NEW BEST:: SOT 648893 SOS 429285 HAS SOPS 429285 HAS SOUS 164165 HAS SOUPS 164165 WITH SCORE 164594.285
AT ITER 6236 NEW BEST:: SOT 648890 SOS 429282 HAS SOPS 429282 HAS SOUS 164162 HAS SOUPS 164162 WITH SCORE 164591.282
AT ITER 6247 NEW BEST:: SOT 648706 SOS 428974 HAS SOPS 428974 HAS SOUS 163794 HAS SOUPS 163794 WITH SCORE 164222.974
AT ITER 6254 NEW BEST:: SOT 648706 SOS 428906 HAS SOPS 428906 HAS SOUS 163754 HAS SOUPS 163754 WITH SCORE 164182.906
AT ITER 6275 NEW BEST:: SOT 648530 SOS 428701 HAS SOPS 428701 HAS SOUS 163549 HAS SOUPS 163549 WITH SCORE 163977.701
AT ITER 6279 NEW BEST:: SOT 648421 SOS 428592 HAS SOPS 428592 HAS SOUS 163296 HAS SOUPS 163296 WITH SCORE 163724.592
AT ITER 6332 NEW BEST:: SOT 648420 SOS 428591 HAS SOPS 428591 HAS SOUS 163294 HAS SOUPS 163294 WITH SCORE 163722.591
AT ITER 6337 NEW BEST:: SOT 648419 SOS 428590 HAS SOPS 428590 HAS SOUS 163292 HAS SOUPS 163292 WITH SCORE 163720.59
AT ITER 6354 NEW BEST:: SOT 648392 SOS 428563 HAS SOPS 428563 HAS SOUS 163265 HAS SOUPS 163265 WITH SCORE 163693.563
AT ITER 6393 NEW BEST:: SOT 648056 SOS 431168 HAS SOPS 431168 HAS SOUS 163243 HAS SOUPS 163243 WITH SCORE 163674.168
AT ITER 6408 NEW BEST:: SOT 648055 SOS 431167 HAS SOPS 431167 HAS SOUS 163241 HAS SOUPS 163241 WITH SCORE 163672.167
AT ITER 6414 NEW BEST:: SOT 648054 SOS 431166 HAS SOPS 431166 HAS SOUS 163239 HAS SOUPS 163239 WITH SCORE 163670.166
AT ITER 6417 NEW BEST:: SOT 647876 SOS 430988 HAS SOPS 430988 HAS SOUS 162984 HAS SOUPS 162984 WITH SCORE 163414.988
AT ITER 6421 NEW BEST:: SOT 647875 SOS 430987 HAS SOPS 430987 HAS SOUS 162983 HAS SOUPS 162983 WITH SCORE 163413.987
AT ITER 6423 NEW BEST:: SOT 647941 SOS 431053 HAS SOPS 431053 HAS SOUS 162982 HAS SOUPS 162982 WITH SCORE 163413.053
AT ITER 6471 NEW BEST:: SOT 647914 SOS 431026 HAS SOPS 431026 HAS SOUS 162955 HAS SOUPS 162955 WITH SCORE 163386.026
AT ITER 6482 NEW BEST:: SOT 647851 SOS 430963 HAS SOPS 430963 HAS SOUS 162799 HAS SOUPS 162799 WITH SCORE 163229.963
AT ITER 6505 NEW BEST:: SOT 647726 SOS 430838 HAS SOPS 430838 HAS SOUS 162683 HAS SOUPS 162683 WITH SCORE 163113.838
AT ITER 6514 NEW BEST:: SOT 647725 SOS 430837 HAS SOPS 430837 HAS SOUS 162605 HAS SOUPS 162605 WITH SCORE 163035.837
AT ITER 6515 NEW BEST:: SOT 647717 SOS 430829 HAS SOPS 430829 HAS SOUS 162589 HAS SOUPS 162589 WITH SCORE 163019.829
AT ITER 6517 NEW BEST:: SOT 647604 SOS 430659 HAS SOPS 430659 HAS SOUS 162494 HAS SOUPS 162494 WITH SCORE 162924.659
AT ITER 6537 NEW BEST:: SOT 647604 SOS 430659 HAS SOPS 430659 HAS SOUS 162493 HAS SOUPS 162493 WITH SCORE 162923.659
AT ITER 6538 NEW BEST:: SOT 647551 SOS 430606 HAS SOPS 430606 HAS SOUS 162469 HAS SOUPS 162469 WITH SCORE 162899.606
AT ITER 6564 NEW BEST:: SOT 647599 SOS 430654 HAS SOPS 430654 HAS SOUS 162467 HAS SOUPS 162467 WITH SCORE 162897.654
AT ITER 6573 NEW BEST:: SOT 647598 SOS 430653 HAS SOPS 430653 HAS SOUS 162408 HAS SOUPS 162408 WITH SCORE 162838.653
AT ITER 6596 NEW BEST:: SOT 647324 SOS 430379 HAS SOPS 430379 HAS SOUS 161853 HAS SOUPS 161853 WITH SCORE 162283.379
AT ITER 6613 NEW BEST:: SOT 647310 SOS 430337 HAS SOPS 430337 HAS SOUS 161742 HAS SOUPS 161742 WITH SCORE 162172.337
AT ITER 6629 NEW BEST:: SOT 647001 SOS 431076 HAS SOPS 431076 HAS SOUS 161602 HAS SOUPS 161602 WITH SCORE 162033.076
AT ITER 6637 NEW BEST:: SOT 647005 SOS 431080 HAS SOPS 431080 HAS SOUS 161514 HAS SOUPS 161514 WITH SCORE 161945.08
AT ITER 6660 NEW BEST:: SOT 646885 SOS 430960 HAS SOPS 430960 HAS SOUS 161313 HAS SOUPS 161313 WITH SCORE 161743.96
AT ITER 6695 NEW BEST:: SOT 646945 SOS 431020 HAS SOPS 431020 HAS SOUS 161297 HAS SOUPS 161297 WITH SCORE 161728.02
AT ITER 6718 NEW BEST:: SOT 646944 SOS 431019 HAS SOPS 431019 HAS SOUS 161260 HAS SOUPS 161260 WITH SCORE 161691.019
AT ITER 6742 NEW BEST:: SOT 646931 SOS 430714 HAS SOPS 430714 HAS SOUS 161205 HAS SOUPS 161205 WITH SCORE 161635.714
AT ITER 6764 NEW BEST:: SOT 646927 SOS 430710 HAS SOPS 430710 HAS SOUS 161201 HAS SOUPS 161201 WITH SCORE 161631.71
AT ITER 6777 NEW BEST:: SOT 646675 SOS 430301 HAS SOPS 430301 HAS SOUS 160760 HAS SOUPS 160760 WITH SCORE 161190.301
AT ITER 6851 NEW BEST:: SOT 646673 SOS 430299 HAS SOPS 430299 HAS SOUS 160756 HAS SOUPS 160756 WITH SCORE 161186.299
AT ITER 6898 NEW BEST:: SOT 646672 SOS 430298 HAS SOPS 430298 HAS SOUS 160754 HAS SOUPS 160754 WITH SCORE 161184.298
AT ITER 6912 NEW BEST:: SOT 646672 SOS 430297 HAS SOPS 430297 HAS SOUS 160753 HAS SOUPS 160753 WITH SCORE 161183.297
AT ITER 6921 NEW BEST:: SOT 646857 SOS 430334 HAS SOPS 430334 HAS SOUS 160742 HAS SOUPS 160742 WITH SCORE 161172.334
AT ITER 6932 NEW BEST:: SOT 646866 SOS 430343 HAS SOPS 430343 HAS SOUS 160711 HAS SOUPS 160711 WITH SCORE 161141.343
AT ITER 6957 NEW BEST:: SOT 646853 SOS 430415 HAS SOPS 430415 HAS SOUS 160685 HAS SOUPS 160685 WITH SCORE 161115.415
AT ITER 6995 NEW BEST:: SOT 646771 SOS 430330 HAS SOPS 430330 HAS SOUS 160628 HAS SOUPS 160628 WITH SCORE 161058.33
AT ITER 6998 NEW BEST:: SOT 646770 SOS 430329 HAS SOPS 430329 HAS SOUS 160626 HAS SOUPS 160626 WITH SCORE 161056.329
AT ITER 7002 NEW BEST:: SOT 646769 SOS 430328 HAS SOPS 430328 HAS SOUS 160610 HAS SOUPS 160610 WITH SCORE 161040.328
AT ITER 7027 NEW BEST:: SOT 646787 SOS 430206 HAS SOPS 430206 HAS SOUS 160566 HAS SOUPS 160566 WITH SCORE 160996.206
AT ITER 7047 NEW BEST:: SOT 646589 SOS 430008 HAS SOPS 430008 HAS SOUS 160302 HAS SOUPS 160302 WITH SCORE 160732.008
AT ITER 7060 NEW BEST:: SOT 646385 SOS 429804 HAS SOPS 429804 HAS SOUS 160078 HAS SOUPS 160078 WITH SCORE 160507.804
AT ITER 7076 NEW BEST:: SOT 646340 SOS 429759 HAS SOPS 429759 HAS SOUS 159988 HAS SOUPS 159988 WITH SCORE 160417.759
AT ITER 7100 NEW BEST:: SOT 646339 SOS 429696 HAS SOPS 429696 HAS SOUS 159986 HAS SOUPS 159986 WITH SCORE 160415.696
AT ITER 7154 NEW BEST:: SOT 646339 SOS 429696 HAS SOPS 429696 HAS SOUS 159983 HAS SOUPS 159983 WITH SCORE 160412.696
AT ITER 7158 NEW BEST:: SOT 646311 SOS 429493 HAS SOPS 429493 HAS SOUS 159955 HAS SOUPS 159955 WITH SCORE 160384.493
AT ITER 7160 NEW BEST:: SOT 646311 SOS 429415 HAS SOPS 429415 HAS SOUS 159955 HAS SOUPS 159955 WITH SCORE 160384.415
AT ITER 7224 NEW BEST:: SOT 646170 SOS 429270 HAS SOPS 429270 HAS SOUS 159796 HAS SOUPS 159796 WITH SCORE 160225.27
AT ITER 7293 NEW BEST:: SOT 646170 SOS 429270 HAS SOPS 429270 HAS SOUS 159792 HAS SOUPS 159792 WITH SCORE 160221.27
AT ITER 7294 NEW BEST:: SOT 646218 SOS 429318 HAS SOPS 429318 HAS SOUS 159791 HAS SOUPS 159791 WITH SCORE 160220.318
AT ITER 7312 NEW BEST:: SOT 645917 SOS 431005 HAS SOPS 431005 HAS SOUS 159751 HAS SOUPS 159751 WITH SCORE 160182.005
AT ITER 7315 NEW BEST:: SOT 645897 SOS 430985 HAS SOPS 430985 HAS SOUS 159711 HAS SOUPS 159711 WITH SCORE 160141.985
AT ITER 7330 NEW BEST:: SOT 645885 SOS 430973 HAS SOPS 430973 HAS SOUS 159672 HAS SOUPS 159672 WITH SCORE 160102.973
AT ITER 7367 NEW BEST:: SOT 645885 SOS 430973 HAS SOPS 430973 HAS SOUS 159627 HAS SOUPS 159627 WITH SCORE 160057.973
AT ITER 7372 NEW BEST:: SOT 645723 SOS 430811 HAS SOPS 430811 HAS SOUS 159481 HAS SOUPS 159481 WITH SCORE 159911.811
AT ITER 7390 NEW BEST:: SOT 645722 SOS 430801 HAS SOPS 430801 HAS SOUS 159479 HAS SOUPS 159479 WITH SCORE 159909.801
AT ITER 7402 NEW BEST:: SOT 645668 SOS 430747 HAS SOPS 430747 HAS SOUS 159455 HAS SOUPS 159455 WITH SCORE 159885.747
AT ITER 7403 NEW BEST:: SOT 645651 SOS 430524 HAS SOPS 430524 HAS SOUS 159421 HAS SOUPS 159421 WITH SCORE 159851.524
AT ITER 7481 NEW BEST:: SOT 645535 SOS 430408 HAS SOPS 430408 HAS SOUS 159305 HAS SOUPS 159305 WITH SCORE 159735.408
AT ITER 7493 NEW BEST:: SOT 645313 SOS 430186 HAS SOPS 430186 HAS SOUS 159017 HAS SOUPS 159017 WITH SCORE 159447.186
AT ITER 7534 NEW BEST:: SOT 645240 SOS 429989 HAS SOPS 429989 HAS SOUS 158871 HAS SOUPS 158871 WITH SCORE 159300.989
AT ITER 7544 NEW BEST:: SOT 645133 SOS 431208 HAS SOPS 431208 HAS SOUS 158764 HAS SOUPS 158764 WITH SCORE 159195.208
AT ITER 7563 NEW BEST:: SOT 643943 SOS 433069 HAS SOPS 433069 HAS SOUS 157814 HAS SOUPS 157814 WITH SCORE 158247.069
AT ITER 7570 NEW BEST:: SOT 643890 SOS 430926 HAS SOPS 430926 HAS SOUS 157684 HAS SOUPS 157684 WITH SCORE 158114.926
AT ITER 7587 NEW BEST:: SOT 643810 SOS 430846 HAS SOPS 430846 HAS SOUS 157604 HAS SOUPS 157604 WITH SCORE 158034.846
AT ITER 7616 NEW BEST:: SOT 643809 SOS 430995 HAS SOPS 430995 HAS SOUS 157602 HAS SOUPS 157602 WITH SCORE 158032.995
AT ITER 7631 NEW BEST:: SOT 643713 SOS 430899 HAS SOPS 430899 HAS SOUS 157410 HAS SOUPS 157410 WITH SCORE 157840.899
AT ITER 7634 NEW BEST:: SOT 643723 SOS 430907 HAS SOPS 430907 HAS SOUS 157365 HAS SOUPS 157365 WITH SCORE 157795.907
AT ITER 7692 NEW BEST:: SOT 643722 SOS 430546 HAS SOPS 430546 HAS SOUS 157363 HAS SOUPS 157363 WITH SCORE 157793.546
AT ITER 7754 NEW BEST:: SOT 643721 SOS 430545 HAS SOPS 430545 HAS SOUS 157362 HAS SOUPS 157362 WITH SCORE 157792.545
AT ITER 7777 NEW BEST:: SOT 643367 SOS 430191 HAS SOPS 430191 HAS SOUS 156831 HAS SOUPS 156831 WITH SCORE 157261.191
AT ITER 7787 NEW BEST:: SOT 643150 SOS 429974 HAS SOPS 429974 HAS SOUS 156695 HAS SOUPS 156695 WITH SCORE 157124.974
AT ITER 7802 NEW BEST:: SOT 643154 SOS 429891 HAS SOPS 429891 HAS SOUS 156694 HAS SOUPS 156694 WITH SCORE 157123.891
AT ITER 7823 NEW BEST:: SOT 643110 SOS 429847 HAS SOPS 429847 HAS SOUS 156650 HAS SOUPS 156650 WITH SCORE 157079.847
AT ITER 7853 NEW BEST:: SOT 643072 SOS 429808 HAS SOPS 429808 HAS SOUS 156640 HAS SOUPS 156640 WITH SCORE 157069.808
AT ITER 7876 NEW BEST:: SOT 642934 SOS 429710 HAS SOPS 429710 HAS SOUS 156364 HAS SOUPS 156364 WITH SCORE 156793.71
AT ITER 7914 NEW BEST:: SOT 642887 SOS 429663 HAS SOPS 429663 HAS SOUS 156317 HAS SOUPS 156317 WITH SCORE 156746.663
AT ITER 7946 NEW BEST:: SOT 642880 SOS 429460 HAS SOPS 429460 HAS SOUS 156303 HAS SOUPS 156303 WITH SCORE 156732.46
AT ITER 8022 NEW BEST:: SOT 642845 SOS 429425 HAS SOPS 429425 HAS SOUS 156233 HAS SOUPS 156233 WITH SCORE 156662.425
AT ITER 8042 NEW BEST:: SOT 642845 SOS 429412 HAS SOPS 429412 HAS SOUS 156231 HAS SOUPS 156231 WITH SCORE 156660.412
AT ITER 8051 NEW BEST:: SOT 642858 SOS 429173 HAS SOPS 429173 HAS SOUS 156190 HAS SOUPS 156190 WITH SCORE 156619.173
AT ITER 8060 NEW BEST:: SOT 642817 SOS 429132 HAS SOPS 429132 HAS SOUS 156112 HAS SOUPS 156112 WITH SCORE 156541.132
AT ITER 8120 NEW BEST:: SOT 642801 SOS 429099 HAS SOPS 429099 HAS SOUS 156093 HAS SOUPS 156093 WITH SCORE 156522.099
AT ITER 8131 NEW BEST:: SOT 642779 SOS 429077 HAS SOPS 429077 HAS SOUS 156049 HAS SOUPS 156049 WITH SCORE 156478.077
AT ITER 8147 NEW BEST:: SOT 642777 SOS 429074 HAS SOPS 429074 HAS SOUS 156045 HAS SOUPS 156045 WITH SCORE 156474.074
AT ITER 8195 NEW BEST:: SOT 642777 SOS 429074 HAS SOPS 429074 HAS SOUS 156040 HAS SOUPS 156040 WITH SCORE 156469.074
AT ITER 8210 NEW BEST:: SOT 642735 SOS 429032 HAS SOPS 429032 HAS SOUS 155956 HAS SOUPS 155956 WITH SCORE 156385.032
AT ITER 8231 NEW BEST:: SOT 642710 SOS 428982 HAS SOPS 428982 HAS SOUS 155931 HAS SOUPS 155931 WITH SCORE 156359.982
AT ITER 8265 NEW BEST:: SOT 642703 SOS 428975 HAS SOPS 428975 HAS SOUS 155917 HAS SOUPS 155917 WITH SCORE 156345.975
AT ITER 8287 NEW BEST:: SOT 642641 SOS 428913 HAS SOPS 428913 HAS SOUS 155707 HAS SOUPS 155707 WITH SCORE 156135.913
AT ITER 8340 NEW BEST:: SOT 642641 SOS 428913 HAS SOPS 428913 HAS SOUS 155703 HAS SOUPS 155703 WITH SCORE 156131.913
AT ITER 8406 NEW BEST:: SOT 642641 SOS 428913 HAS SOPS 428913 HAS SOUS 155652 HAS SOUPS 155652 WITH SCORE 156080.913
AT ITER 8423 NEW BEST:: SOT 642556 SOS 428828 HAS SOPS 428828 HAS SOUS 155533 HAS SOUPS 155533 WITH SCORE 155961.828
AT ITER 8435 NEW BEST:: SOT 642551 SOS 428823 HAS SOPS 428823 HAS SOUS 155523 HAS SOUPS 155523 WITH SCORE 155951.823
AT ITER 8491 NEW BEST:: SOT 642533 SOS 428805 HAS SOPS 428805 HAS SOUS 155498 HAS SOUPS 155498 WITH SCORE 155926.805
AT ITER 8496 NEW BEST:: SOT 642532 SOS 428804 HAS SOPS 428804 HAS SOUS 155496 HAS SOUPS 155496 WITH SCORE 155924.804
AT ITER 8497 NEW BEST:: SOT 642531 SOS 428803 HAS SOPS 428803 HAS SOUS 155494 HAS SOUPS 155494 WITH SCORE 155922.803
AT ITER 8504 NEW BEST:: SOT 642425 SOS 428826 HAS SOPS 428826 HAS SOUS 155397 HAS SOUPS 155397 WITH SCORE 155825.826
AT ITER 8513 NEW BEST:: SOT 642465 SOS 428866 HAS SOPS 428866 HAS SOUS 155388 HAS SOUPS 155388 WITH SCORE 155816.866
AT ITER 8537 NEW BEST:: SOT 642465 SOS 428866 HAS SOPS 428866 HAS SOUS 155305 HAS SOUPS 155305 WITH SCORE 155733.866
AT ITER 8538 NEW BEST:: SOT 642464 SOS 428865 HAS SOPS 428865 HAS SOUS 155304 HAS SOUPS 155304 WITH SCORE 155732.865
AT ITER 8541 NEW BEST:: SOT 642461 SOS 427882 HAS SOPS 427882 HAS SOUS 155249 HAS SOUPS 155249 WITH SCORE 155676.882
AT ITER 8556 NEW BEST:: SOT 642293 SOS 427714 HAS SOPS 427714 HAS SOUS 155249 HAS SOUPS 155249 WITH SCORE 155676.714
AT ITER 8572 NEW BEST:: SOT 641997 SOS 427290 HAS SOPS 427290 HAS SOUS 154785 HAS SOUPS 154785 WITH SCORE 155212.29
AT ITER 8669 NEW BEST:: SOT 641989 SOS 427282 HAS SOPS 427282 HAS SOUS 154777 HAS SOUPS 154777 WITH SCORE 155204.282
AT ITER 8752 NEW BEST:: SOT 642067 SOS 427416 HAS SOPS 427416 HAS SOUS 154737 HAS SOUPS 154737 WITH SCORE 155164.416
AT ITER 8764 NEW BEST:: SOT 641969 SOS 427318 HAS SOPS 427318 HAS SOUS 154573 HAS SOUPS 154573 WITH SCORE 155000.318
AT ITER 8766 NEW BEST:: SOT 641937 SOS 427286 HAS SOPS 427286 HAS SOUS 154509 HAS SOUPS 154509 WITH SCORE 154936.286
AT ITER 8775 NEW BEST:: SOT 642002 SOS 427351 HAS SOPS 427351 HAS SOUS 154487 HAS SOUPS 154487 WITH SCORE 154914.351
AT ITER 8801 NEW BEST:: SOT 641993 SOS 427342 HAS SOPS 427342 HAS SOUS 154478 HAS SOUPS 154478 WITH SCORE 154905.342
AT ITER 8870 NEW BEST:: SOT 641948 SOS 427297 HAS SOPS 427297 HAS SOUS 154403 HAS SOUPS 154403 WITH SCORE 154830.297
AT ITER 8914 NEW BEST:: SOT 641790 SOS 427055 HAS SOPS 427055 HAS SOUS 154161 HAS SOUPS 154161 WITH SCORE 154588.055
AT ITER 8927 NEW BEST:: SOT 641720 SOS 426985 HAS SOPS 426985 HAS SOUS 154021 HAS SOUPS 154021 WITH SCORE 154447.985
AT ITER 8957 NEW BEST:: SOT 641690 SOS 426955 HAS SOPS 426955 HAS SOUS 153961 HAS SOUPS 153961 WITH SCORE 154387.955
AT ITER 8974 NEW BEST:: SOT 641685 SOS 426950 HAS SOPS 426950 HAS SOUS 153827 HAS SOUPS 153827 WITH SCORE 154253.95
AT ITER 9009 NEW BEST:: SOT 641672 SOS 426937 HAS SOPS 426937 HAS SOUS 153815 HAS SOUPS 153815 WITH SCORE 154241.937
AT ITER 9087 NEW BEST:: SOT 641612 SOS 426877 HAS SOPS 426877 HAS SOUS 153695 HAS SOUPS 153695 WITH SCORE 154121.877
AT ITER 9175 NEW BEST:: SOT 641611 SOS 426876 HAS SOPS 426876 HAS SOUS 153693 HAS SOUPS 153693 WITH SCORE 154119.876
AT ITER 9183 NEW BEST:: SOT 641610 SOS 426875 HAS SOPS 426875 HAS SOUS 153691 HAS SOUPS 153691 WITH SCORE 154117.875
AT ITER 9190 NEW BEST:: SOT 641568 SOS 426805 HAS SOPS 426805 HAS SOUS 153607 HAS SOUPS 153607 WITH SCORE 154033.805
AT ITER 9208 NEW BEST:: SOT 641567 SOS 426804 HAS SOPS 426804 HAS SOUS 153383 HAS SOUPS 153383 WITH SCORE 153809.804
AT ITER 9226 NEW BEST:: SOT 641556 SOS 426793 HAS SOPS 426793 HAS SOUS 153361 HAS SOUPS 153361 WITH SCORE 153787.793
AT ITER 9292 NEW BEST:: SOT 641538 SOS 426775 HAS SOPS 426775 HAS SOUS 153325 HAS SOUPS 153325 WITH SCORE 153751.775
AT ITER 9377 NEW BEST:: SOT 641537 SOS 426774 HAS SOPS 426774 HAS SOUS 153323 HAS SOUPS 153323 WITH SCORE 153749.774
AT ITER 9407 NEW BEST:: SOT 641662 SOS 426899 HAS SOPS 426899 HAS SOUS 153302 HAS SOUPS 153302 WITH SCORE 153728.899
AT ITER 9424 NEW BEST:: SOT 641624 SOS 426861 HAS SOPS 426861 HAS SOUS 153226 HAS SOUPS 153226 WITH SCORE 153652.861
AT ITER 9468 NEW BEST:: SOT 641569 SOS 426806 HAS SOPS 426806 HAS SOUS 153147 HAS SOUPS 153147 WITH SCORE 153573.806
AT ITER 9470 NEW BEST:: SOT 641557 SOS 426794 HAS SOPS 426794 HAS SOUS 153123 HAS SOUPS 153123 WITH SCORE 153549.794
AT ITER 9482 NEW BEST:: SOT 641552 SOS 426784 HAS SOPS 426784 HAS SOUS 153118 HAS SOUPS 153118 WITH SCORE 153544.784
AT ITER 9485 NEW BEST:: SOT 641537 SOS 426769 HAS SOPS 426769 HAS SOUS 153103 HAS SOUPS 153103 WITH SCORE 153529.769
AT ITER 9489 NEW BEST:: SOT 641518 SOS 426750 HAS SOPS 426750 HAS SOUS 153065 HAS SOUPS 153065 WITH SCORE 153491.75
AT ITER 9491 NEW BEST:: SOT 641510 SOS 426742 HAS SOPS 426742 HAS SOUS 153057 HAS SOUPS 153057 WITH SCORE 153483.742
AT ITER 9500 NEW BEST:: SOT 641471 SOS 426703 HAS SOPS 426703 HAS SOUS 152979 HAS SOUPS 152979 WITH SCORE 153405.703
AT ITER 9531 NEW BEST:: SOT 641443 SOS 426646 HAS SOPS 426646 HAS SOUS 152950 HAS SOUPS 152950 WITH SCORE 153376.646
AT ITER 9570 NEW BEST:: SOT 641393 SOS 426596 HAS SOPS 426596 HAS SOUS 152900 HAS SOUPS 152900 WITH SCORE 153326.596
AT ITER 9593 NEW BEST:: SOT 641360 SOS 426529 HAS SOPS 426529 HAS SOUS 152899 HAS SOUPS 152899 WITH SCORE 153325.529
AT ITER 9611 NEW BEST:: SOT 641569 SOS 424563 HAS SOPS 424563 HAS SOUS 152862 HAS SOUPS 152862 WITH SCORE 153286.563
AT ITER 9629 NEW BEST:: SOT 641567 SOS 424561 HAS SOPS 424561 HAS SOUS 152860 HAS SOUPS 152860 WITH SCORE 153284.561
AT ITER 9630 NEW BEST:: SOT 641586 SOS 424580 HAS SOPS 424580 HAS SOUS 152824 HAS SOUPS 152824 WITH SCORE 153248.58
AT ITER 9669 NEW BEST:: SOT 641567 SOS 424561 HAS SOPS 424561 HAS SOUS 152786 HAS SOUPS 152786 WITH SCORE 153210.561
AT ITER 9676 NEW BEST:: SOT 641629 SOS 424623 HAS SOPS 424623 HAS SOUS 152740 HAS SOUPS 152740 WITH SCORE 153164.623
AT ITER 9677 NEW BEST:: SOT 641629 SOS 424623 HAS SOPS 424623 HAS SOUS 152668 HAS SOUPS 152668 WITH SCORE 153092.623
AT ITER 9712 NEW BEST:: SOT 641498 SOS 425308 HAS SOPS 425308 HAS SOUS 152643 HAS SOUPS 152643 WITH SCORE 153068.308
AT ITER 9740 NEW BEST:: SOT 641492 SOS 425275 HAS SOPS 425275 HAS SOUS 152637 HAS SOUPS 152637 WITH SCORE 153062.275
AT ITER 9770 NEW BEST:: SOT 641535 SOS 423185 HAS SOPS 423185 HAS SOUS 152582 HAS SOUPS 152582 WITH SCORE 153005.185
AT ITER 9812 NEW BEST:: SOT 641428 SOS 423078 HAS SOPS 423078 HAS SOUS 152368 HAS SOUPS 152368 WITH SCORE 152791.078
AT ITER 9813 NEW BEST:: SOT 641386 SOS 423036 HAS SOPS 423036 HAS SOUS 152284 HAS SOUPS 152284 WITH SCORE 152707.036
AT ITER 9814 NEW BEST:: SOT 641386 SOS 423035 HAS SOPS 423035 HAS SOUS 152283 HAS SOUPS 152283 WITH SCORE 152706.035
AT ITER 9856 NEW BEST:: SOT 641380 SOS 423029 HAS SOPS 423029 HAS SOUS 152271 HAS SOUPS 152271 WITH SCORE 152694.029
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 8132800 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16123336 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="HirschbergSinclair-PT-45"
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 HirschbergSinclair-PT-45, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349600496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HirschbergSinclair-PT-45.tgz
mv HirschbergSinclair-PT-45 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 ;