About the Execution of Smart+red for HirschbergSinclair-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7257.800 | 3600000.00 | 3629724.00 | 11730.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-167840349600456.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-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349600456
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 800K
-rw-r--r-- 1 mcc users 14K Feb 26 02:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 02:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 02:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 02:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 02:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 02:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 02:12 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 284K 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 1678627832876
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-20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 13:30:35] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 13:30:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 13:30:35] [INFO ] Load time of PNML (sax parser for PT used): 162 ms
[2023-03-12 13:30:35] [INFO ] Transformed 530 places.
[2023-03-12 13:30:35] [INFO ] Transformed 485 transitions.
[2023-03-12 13:30:35] [INFO ] Parsed PT model containing 530 places and 485 transitions and 1479 arcs in 293 ms.
[2023-03-12 13:30:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 530 places, 485 transitions and 1479 arcs took 18 ms.
Total runtime 373 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 20
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: 530 places, 485 transitions, 1479 arcs.
AT ITER 0 NEW BEST:: SOT 213800 SOS 102304 HAS SOPS 102304 HAS SOUS 101735 HAS SOUPS 101735 WITH SCORE 101837.304
AT ITER 7 NEW BEST:: SOT 210147 SOS 100290 HAS SOPS 100290 HAS SOUS 98472 HAS SOUPS 98472 WITH SCORE 98572.29
AT ITER 9 NEW BEST:: SOT 206087 SOS 100471 HAS SOPS 100471 HAS SOUS 95046 HAS SOUPS 95046 WITH SCORE 95146.471
AT ITER 11 NEW BEST:: SOT 206085 SOS 100468 HAS SOPS 100468 HAS SOUS 95044 HAS SOUPS 95044 WITH SCORE 95144.468
AT ITER 20 NEW BEST:: SOT 205782 SOS 100164 HAS SOPS 100164 HAS SOUS 94740 HAS SOUPS 94740 WITH SCORE 94840.164
AT ITER 34 NEW BEST:: SOT 205782 SOS 100163 HAS SOPS 100163 HAS SOUS 94739 HAS SOUPS 94739 WITH SCORE 94839.163
AT ITER 39 NEW BEST:: SOT 203222 SOS 98369 HAS SOPS 98369 HAS SOUS 92382 HAS SOUPS 92382 WITH SCORE 92480.369
AT ITER 63 NEW BEST:: SOT 202718 SOS 98113 HAS SOPS 98113 HAS SOUS 92126 HAS SOUPS 92126 WITH SCORE 92224.113
AT ITER 65 NEW BEST:: SOT 202518 SOS 97912 HAS SOPS 97912 HAS SOUS 91925 HAS SOUPS 91925 WITH SCORE 92022.912
AT ITER 73 NEW BEST:: SOT 197499 SOS 95468 HAS SOPS 95468 HAS SOUS 87142 HAS SOUPS 87142 WITH SCORE 87237.468
AT ITER 79 NEW BEST:: SOT 194462 SOS 99158 HAS SOPS 99158 HAS SOUS 84918 HAS SOUPS 84918 WITH SCORE 85017.158
AT ITER 80 NEW BEST:: SOT 194431 SOS 99118 HAS SOPS 99118 HAS SOUS 84878 HAS SOUPS 84878 WITH SCORE 84977.118
AT ITER 88 NEW BEST:: SOT 194428 SOS 99714 HAS SOPS 99714 HAS SOUS 84875 HAS SOUPS 84875 WITH SCORE 84974.714
AT ITER 90 NEW BEST:: SOT 194344 SOS 99629 HAS SOPS 99629 HAS SOUS 84790 HAS SOUPS 84790 WITH SCORE 84889.629
AT ITER 96 NEW BEST:: SOT 194206 SOS 99628 HAS SOPS 99628 HAS SOUS 84789 HAS SOUPS 84789 WITH SCORE 84888.628
AT ITER 111 NEW BEST:: SOT 193226 SOS 98688 HAS SOPS 98688 HAS SOUS 83849 HAS SOUPS 83849 WITH SCORE 83947.688
AT ITER 119 NEW BEST:: SOT 192602 SOS 98092 HAS SOPS 98092 HAS SOUS 83253 HAS SOUPS 83253 WITH SCORE 83351.092
AT ITER 123 NEW BEST:: SOT 192179 SOS 97416 HAS SOPS 97416 HAS SOUS 82577 HAS SOUPS 82577 WITH SCORE 82674.416
AT ITER 139 NEW BEST:: SOT 188409 SOS 97635 HAS SOPS 97635 HAS SOUS 79426 HAS SOUPS 79426 WITH SCORE 79523.635
AT ITER 189 NEW BEST:: SOT 187417 SOS 99338 HAS SOPS 99338 HAS SOUS 78741 HAS SOUPS 78741 WITH SCORE 78840.338
AT ITER 212 NEW BEST:: SOT 183764 SOS 97482 HAS SOPS 97482 HAS SOUS 75539 HAS SOUPS 75539 WITH SCORE 75636.482
AT ITER 227 NEW BEST:: SOT 183754 SOS 97480 HAS SOPS 97480 HAS SOUS 75537 HAS SOUPS 75537 WITH SCORE 75634.48
AT ITER 235 NEW BEST:: SOT 182457 SOS 96518 HAS SOPS 96518 HAS SOUS 74366 HAS SOUPS 74366 WITH SCORE 74462.518
AT ITER 247 NEW BEST:: SOT 182454 SOS 96515 HAS SOPS 96515 HAS SOUS 74363 HAS SOUPS 74363 WITH SCORE 74459.515
AT ITER 250 NEW BEST:: SOT 182386 SOS 96514 HAS SOPS 96514 HAS SOUS 74362 HAS SOUPS 74362 WITH SCORE 74458.514
AT ITER 261 NEW BEST:: SOT 182386 SOS 96513 HAS SOPS 96513 HAS SOUS 74361 HAS SOUPS 74361 WITH SCORE 74457.513
AT ITER 267 NEW BEST:: SOT 180486 SOS 94710 HAS SOPS 94710 HAS SOUS 72557 HAS SOUPS 72557 WITH SCORE 72651.71
AT ITER 280 NEW BEST:: SOT 180475 SOS 94699 HAS SOPS 94699 HAS SOUS 72557 HAS SOUPS 72557 WITH SCORE 72651.699
AT ITER 281 NEW BEST:: SOT 179616 SOS 97454 HAS SOPS 97454 HAS SOUS 72192 HAS SOUPS 72192 WITH SCORE 72289.454
AT ITER 300 NEW BEST:: SOT 173606 SOS 92888 HAS SOPS 92888 HAS SOUS 66654 HAS SOUPS 66654 WITH SCORE 66746.888
AT ITER 309 NEW BEST:: SOT 173585 SOS 92887 HAS SOPS 92887 HAS SOUS 66653 HAS SOUPS 66653 WITH SCORE 66745.887
AT ITER 311 NEW BEST:: SOT 170674 SOS 90980 HAS SOPS 90980 HAS SOUS 64111 HAS SOUPS 64111 WITH SCORE 64201.98
AT ITER 347 NEW BEST:: SOT 170652 SOS 90769 HAS SOPS 90769 HAS SOUS 64062 HAS SOUPS 64062 WITH SCORE 64152.769
AT ITER 359 NEW BEST:: SOT 170603 SOS 90720 HAS SOPS 90720 HAS SOUS 63964 HAS SOUPS 63964 WITH SCORE 64054.72
AT ITER 377 NEW BEST:: SOT 168446 SOS 88671 HAS SOPS 88671 HAS SOUS 61845 HAS SOUPS 61845 WITH SCORE 61933.671
AT ITER 403 NEW BEST:: SOT 168466 SOS 88110 HAS SOPS 88110 HAS SOUS 61707 HAS SOUPS 61707 WITH SCORE 61795.11
AT ITER 406 NEW BEST:: SOT 165078 SOS 87686 HAS SOPS 87686 HAS SOUS 58599 HAS SOUPS 58599 WITH SCORE 58686.686
AT ITER 420 NEW BEST:: SOT 165077 SOS 87725 HAS SOPS 87725 HAS SOUS 58597 HAS SOUPS 58597 WITH SCORE 58684.725
AT ITER 431 NEW BEST:: SOT 165077 SOS 87724 HAS SOPS 87724 HAS SOUS 58596 HAS SOUPS 58596 WITH SCORE 58683.724
AT ITER 452 NEW BEST:: SOT 164990 SOS 87884 HAS SOPS 87884 HAS SOUS 58317 HAS SOUPS 58317 WITH SCORE 58404.884
AT ITER 461 NEW BEST:: SOT 164906 SOS 87796 HAS SOPS 87796 HAS SOUS 58229 HAS SOUPS 58229 WITH SCORE 58316.796
AT ITER 472 NEW BEST:: SOT 164318 SOS 87235 HAS SOPS 87235 HAS SOUS 57668 HAS SOUPS 57668 WITH SCORE 57755.235
AT ITER 476 NEW BEST:: SOT 162704 SOS 89456 HAS SOPS 89456 HAS SOUS 56427 HAS SOUPS 56427 WITH SCORE 56516.456
AT ITER 493 NEW BEST:: SOT 162698 SOS 89449 HAS SOPS 89449 HAS SOUS 56420 HAS SOUPS 56420 WITH SCORE 56509.449
AT ITER 498 NEW BEST:: SOT 162676 SOS 89427 HAS SOPS 89427 HAS SOUS 56301 HAS SOUPS 56301 WITH SCORE 56390.427
AT ITER 552 NEW BEST:: SOT 162386 SOS 89159 HAS SOPS 89159 HAS SOUS 56026 HAS SOUPS 56026 WITH SCORE 56115.159
AT ITER 566 NEW BEST:: SOT 162099 SOS 88871 HAS SOPS 88871 HAS SOUS 55738 HAS SOUPS 55738 WITH SCORE 55826.871
AT ITER 577 NEW BEST:: SOT 160273 SOS 87241 HAS SOPS 87241 HAS SOUS 54107 HAS SOUPS 54107 WITH SCORE 54194.241
AT ITER 585 NEW BEST:: SOT 157378 SOS 89145 HAS SOPS 89145 HAS SOUS 51904 HAS SOUPS 51904 WITH SCORE 51993.145
AT ITER 611 NEW BEST:: SOT 157310 SOS 88762 HAS SOPS 88762 HAS SOUS 51537 HAS SOUPS 51537 WITH SCORE 51625.762
AT ITER 619 NEW BEST:: SOT 157177 SOS 88761 HAS SOPS 88761 HAS SOUS 51536 HAS SOUPS 51536 WITH SCORE 51624.761
AT ITER 622 NEW BEST:: SOT 157173 SOS 88757 HAS SOPS 88757 HAS SOUS 51532 HAS SOUPS 51532 WITH SCORE 51620.757
AT ITER 628 NEW BEST:: SOT 157007 SOS 88947 HAS SOPS 88947 HAS SOUS 51431 HAS SOUPS 51431 WITH SCORE 51519.947
AT ITER 646 NEW BEST:: SOT 156983 SOS 88922 HAS SOPS 88922 HAS SOUS 51406 HAS SOUPS 51406 WITH SCORE 51494.922
AT ITER 659 NEW BEST:: SOT 156983 SOS 88921 HAS SOPS 88921 HAS SOUS 51405 HAS SOUPS 51405 WITH SCORE 51493.921
AT ITER 670 NEW BEST:: SOT 157174 SOS 88925 HAS SOPS 88925 HAS SOUS 51265 HAS SOUPS 51265 WITH SCORE 51353.925
AT ITER 687 NEW BEST:: SOT 157021 SOS 88490 HAS SOPS 88490 HAS SOUS 51150 HAS SOUPS 51150 WITH SCORE 51238.49
AT ITER 707 NEW BEST:: SOT 157006 SOS 88475 HAS SOPS 88475 HAS SOUS 51123 HAS SOUPS 51123 WITH SCORE 51211.475
AT ITER 708 NEW BEST:: SOT 154091 SOS 86924 HAS SOPS 86924 HAS SOUS 48625 HAS SOUPS 48625 WITH SCORE 48711.924
AT ITER 742 NEW BEST:: SOT 154043 SOS 86876 HAS SOPS 86876 HAS SOUS 48572 HAS SOUPS 48572 WITH SCORE 48658.876
AT ITER 745 NEW BEST:: SOT 153776 SOS 87160 HAS SOPS 87160 HAS SOUS 48346 HAS SOUPS 48346 WITH SCORE 48433.16
AT ITER 755 NEW BEST:: SOT 153721 SOS 87510 HAS SOPS 87510 HAS SOUS 48317 HAS SOUPS 48317 WITH SCORE 48404.51
AT ITER 758 NEW BEST:: SOT 153720 SOS 87509 HAS SOPS 87509 HAS SOUS 48316 HAS SOUPS 48316 WITH SCORE 48403.509
AT ITER 759 NEW BEST:: SOT 153648 SOS 87441 HAS SOPS 87441 HAS SOUS 48244 HAS SOUPS 48244 WITH SCORE 48331.441
AT ITER 770 NEW BEST:: SOT 153600 SOS 87393 HAS SOPS 87393 HAS SOUS 48196 HAS SOUPS 48196 WITH SCORE 48283.393
AT ITER 833 NEW BEST:: SOT 153600 SOS 87393 HAS SOPS 87393 HAS SOUS 48195 HAS SOUPS 48195 WITH SCORE 48282.393
AT ITER 843 NEW BEST:: SOT 152961 SOS 87250 HAS SOPS 87250 HAS SOUS 47701 HAS SOUPS 47701 WITH SCORE 47788.25
AT ITER 844 NEW BEST:: SOT 152874 SOS 87163 HAS SOPS 87163 HAS SOUS 47613 HAS SOUPS 47613 WITH SCORE 47700.163
AT ITER 857 NEW BEST:: SOT 152558 SOS 86846 HAS SOPS 86846 HAS SOUS 47296 HAS SOUPS 47296 WITH SCORE 47382.846
AT ITER 859 NEW BEST:: SOT 152527 SOS 86815 HAS SOPS 86815 HAS SOUS 47261 HAS SOUPS 47261 WITH SCORE 47347.815
AT ITER 872 NEW BEST:: SOT 152493 SOS 86781 HAS SOPS 86781 HAS SOUS 47227 HAS SOUPS 47227 WITH SCORE 47313.781
AT ITER 876 NEW BEST:: SOT 152747 SOS 86943 HAS SOPS 86943 HAS SOUS 47214 HAS SOUPS 47214 WITH SCORE 47300.943
AT ITER 886 NEW BEST:: SOT 152601 SOS 86796 HAS SOPS 86796 HAS SOUS 47213 HAS SOUPS 47213 WITH SCORE 47299.796
AT ITER 887 NEW BEST:: SOT 152600 SOS 86795 HAS SOPS 86795 HAS SOUS 47211 HAS SOUPS 47211 WITH SCORE 47297.795
AT ITER 901 NEW BEST:: SOT 152599 SOS 86468 HAS SOPS 86468 HAS SOUS 47209 HAS SOUPS 47209 WITH SCORE 47295.468
AT ITER 922 NEW BEST:: SOT 152582 SOS 86451 HAS SOPS 86451 HAS SOUS 47175 HAS SOUPS 47175 WITH SCORE 47261.451
AT ITER 925 NEW BEST:: SOT 152581 SOS 86450 HAS SOPS 86450 HAS SOUS 47173 HAS SOUPS 47173 WITH SCORE 47259.45
AT ITER 926 NEW BEST:: SOT 152602 SOS 86494 HAS SOPS 86494 HAS SOUS 47130 HAS SOUPS 47130 WITH SCORE 47216.494
AT ITER 935 NEW BEST:: SOT 152600 SOS 86492 HAS SOPS 86492 HAS SOUS 47123 HAS SOUPS 47123 WITH SCORE 47209.492
AT ITER 941 NEW BEST:: SOT 152599 SOS 86491 HAS SOPS 86491 HAS SOUS 47117 HAS SOUPS 47117 WITH SCORE 47203.491
AT ITER 948 NEW BEST:: SOT 152570 SOS 86461 HAS SOPS 86461 HAS SOUS 47087 HAS SOUPS 47087 WITH SCORE 47173.461
AT ITER 968 NEW BEST:: SOT 152569 SOS 86460 HAS SOPS 86460 HAS SOUS 47085 HAS SOUPS 47085 WITH SCORE 47171.46
AT ITER 974 NEW BEST:: SOT 152568 SOS 86459 HAS SOPS 86459 HAS SOUS 47083 HAS SOUPS 47083 WITH SCORE 47169.459
AT ITER 982 NEW BEST:: SOT 151730 SOS 87044 HAS SOPS 87044 HAS SOUS 46528 HAS SOUPS 46528 WITH SCORE 46615.044
AT ITER 995 NEW BEST:: SOT 151261 SOS 89275 HAS SOPS 89275 HAS SOUS 46231 HAS SOUPS 46231 WITH SCORE 46320.275
AT ITER 999 NEW BEST:: SOT 151339 SOS 89353 HAS SOPS 89353 HAS SOUS 46203 HAS SOUPS 46203 WITH SCORE 46292.353
AT ITER 1015 NEW BEST:: SOT 151338 SOS 89352 HAS SOPS 89352 HAS SOUS 46201 HAS SOUPS 46201 WITH SCORE 46290.352
AT ITER 1025 NEW BEST:: SOT 151328 SOS 89342 HAS SOPS 89342 HAS SOUS 46181 HAS SOUPS 46181 WITH SCORE 46270.342
AT ITER 1028 NEW BEST:: SOT 151328 SOS 89346 HAS SOPS 89346 HAS SOUS 46180 HAS SOUPS 46180 WITH SCORE 46269.346
AT ITER 1029 NEW BEST:: SOT 151313 SOS 89331 HAS SOPS 89331 HAS SOUS 46175 HAS SOUPS 46175 WITH SCORE 46264.331
AT ITER 1030 NEW BEST:: SOT 151270 SOS 89209 HAS SOPS 89209 HAS SOUS 46089 HAS SOUPS 46089 WITH SCORE 46178.209
AT ITER 1058 NEW BEST:: SOT 148993 SOS 87226 HAS SOPS 87226 HAS SOUS 44044 HAS SOUPS 44044 WITH SCORE 44131.226
AT ITER 1075 NEW BEST:: SOT 148956 SOS 87189 HAS SOPS 87189 HAS SOUS 44007 HAS SOUPS 44007 WITH SCORE 44094.189
AT ITER 1089 NEW BEST:: SOT 148955 SOS 87098 HAS SOPS 87098 HAS SOUS 44005 HAS SOUPS 44005 WITH SCORE 44092.098
AT ITER 1092 NEW BEST:: SOT 148954 SOS 87097 HAS SOPS 87097 HAS SOUS 44003 HAS SOUPS 44003 WITH SCORE 44090.097
AT ITER 1098 NEW BEST:: SOT 148954 SOS 87096 HAS SOPS 87096 HAS SOUS 44002 HAS SOUPS 44002 WITH SCORE 44089.096
AT ITER 1099 NEW BEST:: SOT 148878 SOS 87020 HAS SOPS 87020 HAS SOUS 43850 HAS SOUPS 43850 WITH SCORE 43937.02
AT ITER 1100 NEW BEST:: SOT 148882 SOS 87024 HAS SOPS 87024 HAS SOUS 43842 HAS SOUPS 43842 WITH SCORE 43929.024
AT ITER 1106 NEW BEST:: SOT 148839 SOS 86981 HAS SOPS 86981 HAS SOUS 43678 HAS SOUPS 43678 WITH SCORE 43764.981
AT ITER 1111 NEW BEST:: SOT 148838 SOS 86909 HAS SOPS 86909 HAS SOUS 43676 HAS SOUPS 43676 WITH SCORE 43762.909
AT ITER 1121 NEW BEST:: SOT 148788 SOS 86860 HAS SOPS 86860 HAS SOUS 43534 HAS SOUPS 43534 WITH SCORE 43620.86
AT ITER 1129 NEW BEST:: SOT 148905 SOS 82897 HAS SOPS 82897 HAS SOUS 43478 HAS SOUPS 43478 WITH SCORE 43560.897
AT ITER 1155 NEW BEST:: SOT 148902 SOS 82894 HAS SOPS 82894 HAS SOUS 43472 HAS SOUPS 43472 WITH SCORE 43554.894
AT ITER 1171 NEW BEST:: SOT 148783 SOS 83642 HAS SOPS 83642 HAS SOUS 43458 HAS SOUPS 43458 WITH SCORE 43541.642
AT ITER 1187 NEW BEST:: SOT 148059 SOS 86968 HAS SOPS 86968 HAS SOUS 42859 HAS SOUPS 42859 WITH SCORE 42945.968
AT ITER 1202 NEW BEST:: SOT 148003 SOS 86972 HAS SOPS 86972 HAS SOUS 42747 HAS SOUPS 42747 WITH SCORE 42833.972
AT ITER 1214 NEW BEST:: SOT 147879 SOS 86851 HAS SOPS 86851 HAS SOUS 42499 HAS SOUPS 42499 WITH SCORE 42585.851
AT ITER 1236 NEW BEST:: SOT 147878 SOS 86804 HAS SOPS 86804 HAS SOUS 42497 HAS SOUPS 42497 WITH SCORE 42583.804
AT ITER 1247 NEW BEST:: SOT 147864 SOS 86790 HAS SOPS 86790 HAS SOUS 42478 HAS SOUPS 42478 WITH SCORE 42564.79
AT ITER 1277 NEW BEST:: SOT 147863 SOS 86789 HAS SOPS 86789 HAS SOUS 42476 HAS SOUPS 42476 WITH SCORE 42562.789
AT ITER 1295 NEW BEST:: SOT 147823 SOS 86749 HAS SOPS 86749 HAS SOUS 42436 HAS SOUPS 42436 WITH SCORE 42522.749
AT ITER 1298 NEW BEST:: SOT 147816 SOS 86742 HAS SOPS 86742 HAS SOUS 42435 HAS SOUPS 42435 WITH SCORE 42521.742
AT ITER 1329 NEW BEST:: SOT 147780 SOS 86706 HAS SOPS 86706 HAS SOUS 42345 HAS SOUPS 42345 WITH SCORE 42431.706
AT ITER 1338 NEW BEST:: SOT 147780 SOS 86687 HAS SOPS 86687 HAS SOUS 42326 HAS SOUPS 42326 WITH SCORE 42412.687
AT ITER 1368 NEW BEST:: SOT 147745 SOS 86652 HAS SOPS 86652 HAS SOUS 42269 HAS SOUPS 42269 WITH SCORE 42355.652
AT ITER 1371 NEW BEST:: SOT 147744 SOS 86651 HAS SOPS 86651 HAS SOUS 42267 HAS SOUPS 42267 WITH SCORE 42353.651
AT ITER 1377 NEW BEST:: SOT 147738 SOS 86629 HAS SOPS 86629 HAS SOUS 42255 HAS SOUPS 42255 WITH SCORE 42341.629
AT ITER 1383 NEW BEST:: SOT 147677 SOS 86448 HAS SOPS 86448 HAS SOUS 42249 HAS SOUPS 42249 WITH SCORE 42335.448
AT ITER 1394 NEW BEST:: SOT 147674 SOS 86445 HAS SOPS 86445 HAS SOUS 42202 HAS SOUPS 42202 WITH SCORE 42288.445
AT ITER 1404 NEW BEST:: SOT 147673 SOS 86429 HAS SOPS 86429 HAS SOUS 42200 HAS SOUPS 42200 WITH SCORE 42286.429
AT ITER 1410 NEW BEST:: SOT 147644 SOS 86400 HAS SOPS 86400 HAS SOUS 42171 HAS SOUPS 42171 WITH SCORE 42257.4
AT ITER 1445 NEW BEST:: SOT 147607 SOS 86524 HAS SOPS 86524 HAS SOUS 42125 HAS SOUPS 42125 WITH SCORE 42211.524
AT ITER 1451 NEW BEST:: SOT 147606 SOS 86523 HAS SOPS 86523 HAS SOUS 42123 HAS SOUPS 42123 WITH SCORE 42209.523
AT ITER 1458 NEW BEST:: SOT 147604 SOS 86519 HAS SOPS 86519 HAS SOUS 42119 HAS SOUPS 42119 WITH SCORE 42205.519
AT ITER 1474 NEW BEST:: SOT 146292 SOS 85712 HAS SOPS 85712 HAS SOUS 40969 HAS SOUPS 40969 WITH SCORE 41054.712
AT ITER 1506 NEW BEST:: SOT 146288 SOS 85705 HAS SOPS 85705 HAS SOUS 40822 HAS SOUPS 40822 WITH SCORE 40907.705
AT ITER 1516 NEW BEST:: SOT 146214 SOS 85631 HAS SOPS 85631 HAS SOUS 40777 HAS SOUPS 40777 WITH SCORE 40862.631
AT ITER 1523 NEW BEST:: SOT 146213 SOS 85630 HAS SOPS 85630 HAS SOUS 40775 HAS SOUPS 40775 WITH SCORE 40860.63
AT ITER 1525 NEW BEST:: SOT 146212 SOS 85629 HAS SOPS 85629 HAS SOUS 40762 HAS SOUPS 40762 WITH SCORE 40847.629
AT ITER 1559 NEW BEST:: SOT 146139 SOS 85868 HAS SOPS 85868 HAS SOUS 40730 HAS SOUPS 40730 WITH SCORE 40815.868
AT ITER 1597 NEW BEST:: SOT 146133 SOS 85790 HAS SOPS 85790 HAS SOUS 40573 HAS SOUPS 40573 WITH SCORE 40658.79
AT ITER 1619 NEW BEST:: SOT 146132 SOS 85789 HAS SOPS 85789 HAS SOUS 40366 HAS SOUPS 40366 WITH SCORE 40451.789
AT ITER 1634 NEW BEST:: SOT 145178 SOS 86037 HAS SOPS 86037 HAS SOUS 39535 HAS SOUPS 39535 WITH SCORE 39621.037
AT ITER 1639 NEW BEST:: SOT 145177 SOS 86036 HAS SOPS 86036 HAS SOUS 39454 HAS SOUPS 39454 WITH SCORE 39540.036
AT ITER 1645 NEW BEST:: SOT 145176 SOS 86035 HAS SOPS 86035 HAS SOUS 39452 HAS SOUPS 39452 WITH SCORE 39538.035
AT ITER 1662 NEW BEST:: SOT 145171 SOS 85504 HAS SOPS 85504 HAS SOUS 39404 HAS SOUPS 39404 WITH SCORE 39489.504
AT ITER 1715 NEW BEST:: SOT 145170 SOS 85503 HAS SOPS 85503 HAS SOUS 39402 HAS SOUPS 39402 WITH SCORE 39487.503
AT ITER 1747 NEW BEST:: SOT 145164 SOS 85497 HAS SOPS 85497 HAS SOUS 39390 HAS SOUPS 39390 WITH SCORE 39475.497
AT ITER 1774 NEW BEST:: SOT 145167 SOS 85500 HAS SOPS 85500 HAS SOUS 39388 HAS SOUPS 39388 WITH SCORE 39473.5
AT ITER 1778 NEW BEST:: SOT 145051 SOS 85603 HAS SOPS 85603 HAS SOUS 39319 HAS SOUPS 39319 WITH SCORE 39404.603
AT ITER 1782 NEW BEST:: SOT 145040 SOS 85592 HAS SOPS 85592 HAS SOUS 39309 HAS SOUPS 39309 WITH SCORE 39394.592
AT ITER 1789 NEW BEST:: SOT 145039 SOS 85591 HAS SOPS 85591 HAS SOUS 39307 HAS SOUPS 39307 WITH SCORE 39392.591
AT ITER 1799 NEW BEST:: SOT 145043 SOS 85594 HAS SOPS 85594 HAS SOUS 39298 HAS SOUPS 39298 WITH SCORE 39383.594
AT ITER 1823 NEW BEST:: SOT 145015 SOS 85566 HAS SOPS 85566 HAS SOUS 39242 HAS SOUPS 39242 WITH SCORE 39327.566
AT ITER 1832 NEW BEST:: SOT 144996 SOS 85547 HAS SOPS 85547 HAS SOUS 39204 HAS SOUPS 39204 WITH SCORE 39289.547
AT ITER 1833 NEW BEST:: SOT 145134 SOS 85356 HAS SOPS 85356 HAS SOUS 39013 HAS SOUPS 39013 WITH SCORE 39098.356
AT ITER 1842 NEW BEST:: SOT 145133 SOS 85355 HAS SOPS 85355 HAS SOUS 39011 HAS SOUPS 39011 WITH SCORE 39096.355
AT ITER 1858 NEW BEST:: SOT 145106 SOS 85328 HAS SOPS 85328 HAS SOUS 39010 HAS SOUPS 39010 WITH SCORE 39095.328
AT ITER 1870 NEW BEST:: SOT 145105 SOS 85327 HAS SOPS 85327 HAS SOUS 39008 HAS SOUPS 39008 WITH SCORE 39093.327
AT ITER 1906 NEW BEST:: SOT 144998 SOS 85600 HAS SOPS 85600 HAS SOUS 38901 HAS SOUPS 38901 WITH SCORE 38986.6
AT ITER 1941 NEW BEST:: SOT 144998 SOS 85530 HAS SOPS 85530 HAS SOUS 38901 HAS SOUPS 38901 WITH SCORE 38986.53
AT ITER 1962 NEW BEST:: SOT 144997 SOS 85529 HAS SOPS 85529 HAS SOUS 38899 HAS SOUPS 38899 WITH SCORE 38984.529
AT ITER 2018 NEW BEST:: SOT 144953 SOS 85438 HAS SOPS 85438 HAS SOUS 38808 HAS SOUPS 38808 WITH SCORE 38893.438
AT ITER 2035 NEW BEST:: SOT 144705 SOS 87383 HAS SOPS 87383 HAS SOUS 38795 HAS SOUPS 38795 WITH SCORE 38882.383
AT ITER 2048 NEW BEST:: SOT 144692 SOS 87309 HAS SOPS 87309 HAS SOUS 38769 HAS SOUPS 38769 WITH SCORE 38856.309
AT ITER 2064 NEW BEST:: SOT 144691 SOS 87308 HAS SOPS 87308 HAS SOUS 38767 HAS SOUPS 38767 WITH SCORE 38854.308
AT ITER 2071 NEW BEST:: SOT 144723 SOS 87340 HAS SOPS 87340 HAS SOUS 38750 HAS SOUPS 38750 WITH SCORE 38837.34
AT ITER 2078 NEW BEST:: SOT 144709 SOS 87326 HAS SOPS 87326 HAS SOUS 38722 HAS SOUPS 38722 WITH SCORE 38809.326
AT ITER 2090 NEW BEST:: SOT 144709 SOS 87309 HAS SOPS 87309 HAS SOUS 38722 HAS SOUPS 38722 WITH SCORE 38809.309
AT ITER 2125 NEW BEST:: SOT 144707 SOS 87307 HAS SOPS 87307 HAS SOUS 38720 HAS SOUPS 38720 WITH SCORE 38807.307
AT ITER 2132 NEW BEST:: SOT 144685 SOS 87526 HAS SOPS 87526 HAS SOUS 38719 HAS SOUPS 38719 WITH SCORE 38806.526
AT ITER 2133 NEW BEST:: SOT 144645 SOS 87492 HAS SOPS 87492 HAS SOUS 38692 HAS SOUPS 38692 WITH SCORE 38779.492
AT ITER 2139 NEW BEST:: SOT 144484 SOS 87331 HAS SOPS 87331 HAS SOUS 38654 HAS SOUPS 38654 WITH SCORE 38741.331
AT ITER 2169 NEW BEST:: SOT 144495 SOS 87342 HAS SOPS 87342 HAS SOUS 38634 HAS SOUPS 38634 WITH SCORE 38721.342
AT ITER 2170 NEW BEST:: SOT 144502 SOS 87349 HAS SOPS 87349 HAS SOUS 38631 HAS SOUPS 38631 WITH SCORE 38718.349
AT ITER 2181 NEW BEST:: SOT 144502 SOS 87332 HAS SOPS 87332 HAS SOUS 38631 HAS SOUPS 38631 WITH SCORE 38718.332
AT ITER 2184 NEW BEST:: SOT 144513 SOS 87343 HAS SOPS 87343 HAS SOUS 38482 HAS SOUPS 38482 WITH SCORE 38569.343
AT ITER 2231 NEW BEST:: SOT 144513 SOS 87343 HAS SOPS 87343 HAS SOUS 38403 HAS SOUPS 38403 WITH SCORE 38490.343
AT ITER 2258 NEW BEST:: SOT 144497 SOS 87327 HAS SOPS 87327 HAS SOUS 38387 HAS SOUPS 38387 WITH SCORE 38474.327
AT ITER 2311 NEW BEST:: SOT 144492 SOS 87310 HAS SOPS 87310 HAS SOUS 38381 HAS SOUPS 38381 WITH SCORE 38468.31
AT ITER 2313 NEW BEST:: SOT 144455 SOS 87273 HAS SOPS 87273 HAS SOUS 38379 HAS SOUPS 38379 WITH SCORE 38466.273
AT ITER 2357 NEW BEST:: SOT 144454 SOS 87272 HAS SOPS 87272 HAS SOUS 38375 HAS SOUPS 38375 WITH SCORE 38462.272
AT ITER 2382 NEW BEST:: SOT 144235 SOS 87111 HAS SOPS 87111 HAS SOUS 38284 HAS SOUPS 38284 WITH SCORE 38371.111
AT ITER 2424 NEW BEST:: SOT 144213 SOS 87078 HAS SOPS 87078 HAS SOUS 38261 HAS SOUPS 38261 WITH SCORE 38348.078
AT ITER 2425 NEW BEST:: SOT 144134 SOS 86909 HAS SOPS 86909 HAS SOUS 38103 HAS SOUPS 38103 WITH SCORE 38189.909
AT ITER 2458 NEW BEST:: SOT 144134 SOS 86909 HAS SOPS 86909 HAS SOUS 38088 HAS SOUPS 38088 WITH SCORE 38174.909
AT ITER 2475 NEW BEST:: SOT 144051 SOS 86826 HAS SOPS 86826 HAS SOUS 38085 HAS SOUPS 38085 WITH SCORE 38171.826
AT ITER 2477 NEW BEST:: SOT 144050 SOS 86825 HAS SOPS 86825 HAS SOUS 38083 HAS SOUPS 38083 WITH SCORE 38169.825
AT ITER 2478 NEW BEST:: SOT 144002 SOS 86605 HAS SOPS 86605 HAS SOUS 38022 HAS SOUPS 38022 WITH SCORE 38108.605
AT ITER 2488 NEW BEST:: SOT 144001 SOS 86604 HAS SOPS 86604 HAS SOUS 38020 HAS SOUPS 38020 WITH SCORE 38106.604
AT ITER 2494 NEW BEST:: SOT 143962 SOS 86564 HAS SOPS 86564 HAS SOUS 37980 HAS SOUPS 37980 WITH SCORE 38066.564
AT ITER 2523 NEW BEST:: SOT 143934 SOS 86536 HAS SOPS 86536 HAS SOUS 37930 HAS SOUPS 37930 WITH SCORE 38016.536
AT ITER 2536 NEW BEST:: SOT 143644 SOS 89490 HAS SOPS 89490 HAS SOUS 37793 HAS SOUPS 37793 WITH SCORE 37882.49
AT ITER 2555 NEW BEST:: SOT 143643 SOS 89489 HAS SOPS 89489 HAS SOUS 37791 HAS SOUPS 37791 WITH SCORE 37880.489
AT ITER 2565 NEW BEST:: SOT 143615 SOS 87844 HAS SOPS 87844 HAS SOUS 37696 HAS SOUPS 37696 WITH SCORE 37783.844
AT ITER 2618 NEW BEST:: SOT 143615 SOS 87800 HAS SOPS 87800 HAS SOUS 37688 HAS SOUPS 37688 WITH SCORE 37775.8
AT ITER 2623 NEW BEST:: SOT 143614 SOS 87799 HAS SOPS 87799 HAS SOUS 37680 HAS SOUPS 37680 WITH SCORE 37767.799
AT ITER 2626 NEW BEST:: SOT 143570 SOS 87755 HAS SOPS 87755 HAS SOUS 37571 HAS SOUPS 37571 WITH SCORE 37658.755
AT ITER 2649 NEW BEST:: SOT 143566 SOS 87751 HAS SOPS 87751 HAS SOUS 37563 HAS SOUPS 37563 WITH SCORE 37650.751
AT ITER 2652 NEW BEST:: SOT 143537 SOS 87722 HAS SOPS 87722 HAS SOUS 37527 HAS SOUPS 37527 WITH SCORE 37614.722
AT ITER 2684 NEW BEST:: SOT 143510 SOS 87695 HAS SOPS 87695 HAS SOUS 37473 HAS SOUPS 37473 WITH SCORE 37560.695
AT ITER 2740 NEW BEST:: SOT 143817 SOS 88003 HAS SOPS 88003 HAS SOUS 37383 HAS SOUPS 37383 WITH SCORE 37471.003
AT ITER 2742 NEW BEST:: SOT 143806 SOS 87992 HAS SOPS 87992 HAS SOUS 37361 HAS SOUPS 37361 WITH SCORE 37448.992
AT ITER 2767 NEW BEST:: SOT 143731 SOS 88191 HAS SOPS 88191 HAS SOUS 37329 HAS SOUPS 37329 WITH SCORE 37417.191
AT ITER 2777 NEW BEST:: SOT 143720 SOS 88165 HAS SOPS 88165 HAS SOUS 37325 HAS SOUPS 37325 WITH SCORE 37413.165
AT ITER 2778 NEW BEST:: SOT 143698 SOS 88143 HAS SOPS 88143 HAS SOUS 37281 HAS SOUPS 37281 WITH SCORE 37369.143
AT ITER 2787 NEW BEST:: SOT 143696 SOS 88141 HAS SOPS 88141 HAS SOUS 37277 HAS SOUPS 37277 WITH SCORE 37365.141
AT ITER 2798 NEW BEST:: SOT 143692 SOS 88137 HAS SOPS 88137 HAS SOUS 37269 HAS SOUPS 37269 WITH SCORE 37357.137
AT ITER 2811 NEW BEST:: SOT 143516 SOS 88648 HAS SOPS 88648 HAS SOUS 37173 HAS SOUPS 37173 WITH SCORE 37261.648
AT ITER 2826 NEW BEST:: SOT 143514 SOS 88645 HAS SOPS 88645 HAS SOUS 37170 HAS SOUPS 37170 WITH SCORE 37258.645
AT ITER 2832 NEW BEST:: SOT 143513 SOS 88644 HAS SOPS 88644 HAS SOUS 37168 HAS SOUPS 37168 WITH SCORE 37256.644
AT ITER 2847 NEW BEST:: SOT 143512 SOS 88651 HAS SOPS 88651 HAS SOUS 37166 HAS SOUPS 37166 WITH SCORE 37254.651
AT ITER 2858 NEW BEST:: SOT 143493 SOS 88632 HAS SOPS 88632 HAS SOUS 37166 HAS SOUPS 37166 WITH SCORE 37254.632
AT ITER 2862 NEW BEST:: SOT 143492 SOS 88631 HAS SOPS 88631 HAS SOUS 37164 HAS SOUPS 37164 WITH SCORE 37252.631
AT ITER 2872 NEW BEST:: SOT 143491 SOS 88630 HAS SOPS 88630 HAS SOUS 37162 HAS SOUPS 37162 WITH SCORE 37250.63
AT ITER 2874 NEW BEST:: SOT 143420 SOS 88559 HAS SOPS 88559 HAS SOUS 37097 HAS SOUPS 37097 WITH SCORE 37185.559
AT ITER 2875 NEW BEST:: SOT 143411 SOS 88549 HAS SOPS 88549 HAS SOUS 37087 HAS SOUPS 37087 WITH SCORE 37175.549
AT ITER 2882 NEW BEST:: SOT 143408 SOS 88552 HAS SOPS 88552 HAS SOUS 37081 HAS SOUPS 37081 WITH SCORE 37169.552
AT ITER 2897 NEW BEST:: SOT 143349 SOS 88493 HAS SOPS 88493 HAS SOUS 36963 HAS SOUPS 36963 WITH SCORE 37051.493
AT ITER 2899 NEW BEST:: SOT 143323 SOS 88467 HAS SOPS 88467 HAS SOUS 36911 HAS SOUPS 36911 WITH SCORE 36999.467
AT ITER 2934 NEW BEST:: SOT 143322 SOS 88406 HAS SOPS 88406 HAS SOUS 36909 HAS SOUPS 36909 WITH SCORE 36997.406
AT ITER 2961 NEW BEST:: SOT 143321 SOS 88405 HAS SOPS 88405 HAS SOUS 36907 HAS SOUPS 36907 WITH SCORE 36995.405
AT ITER 2973 NEW BEST:: SOT 143152 SOS 91140 HAS SOPS 91140 HAS SOUS 36867 HAS SOUPS 36867 WITH SCORE 36958.14
AT ITER 2984 NEW BEST:: SOT 143143 SOS 91131 HAS SOPS 91131 HAS SOUS 36849 HAS SOUPS 36849 WITH SCORE 36940.131
AT ITER 2985 NEW BEST:: SOT 143139 SOS 91127 HAS SOPS 91127 HAS SOUS 36845 HAS SOUPS 36845 WITH SCORE 36936.127
AT ITER 3005 NEW BEST:: SOT 143160 SOS 91148 HAS SOPS 91148 HAS SOUS 36759 HAS SOUPS 36759 WITH SCORE 36850.148
AT ITER 3030 NEW BEST:: SOT 143139 SOS 91127 HAS SOPS 91127 HAS SOUS 36717 HAS SOUPS 36717 WITH SCORE 36808.127
AT ITER 3035 NEW BEST:: SOT 143205 SOS 89137 HAS SOPS 89137 HAS SOUS 36694 HAS SOUPS 36694 WITH SCORE 36783.137
AT ITER 3046 NEW BEST:: SOT 143198 SOS 89116 HAS SOPS 89116 HAS SOUS 36680 HAS SOUPS 36680 WITH SCORE 36769.116
AT ITER 3051 NEW BEST:: SOT 143191 SOS 89117 HAS SOPS 89117 HAS SOUS 36666 HAS SOUPS 36666 WITH SCORE 36755.117
AT ITER 3052 NEW BEST:: SOT 143180 SOS 89106 HAS SOPS 89106 HAS SOUS 36644 HAS SOUPS 36644 WITH SCORE 36733.106
AT ITER 3064 NEW BEST:: SOT 143189 SOS 87669 HAS SOPS 87669 HAS SOUS 36544 HAS SOUPS 36544 WITH SCORE 36631.669
AT ITER 3081 NEW BEST:: SOT 143147 SOS 87669 HAS SOPS 87669 HAS SOUS 36502 HAS SOUPS 36502 WITH SCORE 36589.669
AT ITER 3093 NEW BEST:: SOT 143143 SOS 87665 HAS SOPS 87665 HAS SOUS 36494 HAS SOUPS 36494 WITH SCORE 36581.665
AT ITER 3111 NEW BEST:: SOT 143142 SOS 87664 HAS SOPS 87664 HAS SOUS 36492 HAS SOUPS 36492 WITH SCORE 36579.664
AT ITER 3120 NEW BEST:: SOT 143079 SOS 87550 HAS SOPS 87550 HAS SOUS 36366 HAS SOUPS 36366 WITH SCORE 36453.55
AT ITER 3131 NEW BEST:: SOT 143079 SOS 87550 HAS SOPS 87550 HAS SOUS 36353 HAS SOUPS 36353 WITH SCORE 36440.55
AT ITER 3149 NEW BEST:: SOT 143078 SOS 87549 HAS SOPS 87549 HAS SOUS 36351 HAS SOUPS 36351 WITH SCORE 36438.549
AT ITER 3164 NEW BEST:: SOT 143078 SOS 87529 HAS SOPS 87529 HAS SOUS 36217 HAS SOUPS 36217 WITH SCORE 36304.529
AT ITER 3169 NEW BEST:: SOT 143106 SOS 87557 HAS SOPS 87557 HAS SOUS 36215 HAS SOUPS 36215 WITH SCORE 36302.557
AT ITER 3223 NEW BEST:: SOT 143044 SOS 88429 HAS SOPS 88429 HAS SOUS 36211 HAS SOUPS 36211 WITH SCORE 36299.429
AT ITER 3268 NEW BEST:: SOT 143043 SOS 88428 HAS SOPS 88428 HAS SOUS 36209 HAS SOUPS 36209 WITH SCORE 36297.428
AT ITER 3331 NEW BEST:: SOT 143042 SOS 88427 HAS SOPS 88427 HAS SOUS 36207 HAS SOUPS 36207 WITH SCORE 36295.427
AT ITER 3354 NEW BEST:: SOT 143042 SOS 88467 HAS SOPS 88467 HAS SOUS 36206 HAS SOUPS 36206 WITH SCORE 36294.467
AT ITER 3359 NEW BEST:: SOT 143001 SOS 88426 HAS SOPS 88426 HAS SOUS 36124 HAS SOUPS 36124 WITH SCORE 36212.426
AT ITER 3452 NEW BEST:: SOT 142979 SOS 88404 HAS SOPS 88404 HAS SOUS 36102 HAS SOUPS 36102 WITH SCORE 36190.404
AT ITER 3536 NEW BEST:: SOT 142962 SOS 88387 HAS SOPS 88387 HAS SOUS 36068 HAS SOUPS 36068 WITH SCORE 36156.387
AT ITER 3540 NEW BEST:: SOT 142961 SOS 88386 HAS SOPS 88386 HAS SOUS 36066 HAS SOUPS 36066 WITH SCORE 36154.386
AT ITER 3550 NEW BEST:: SOT 142692 SOS 90879 HAS SOPS 90879 HAS SOUS 35797 HAS SOUPS 35797 WITH SCORE 35887.879
AT ITER 3556 NEW BEST:: SOT 142688 SOS 90875 HAS SOPS 90875 HAS SOUS 35789 HAS SOUPS 35789 WITH SCORE 35879.875
AT ITER 3558 NEW BEST:: SOT 142669 SOS 90863 HAS SOPS 90863 HAS SOUS 35788 HAS SOUPS 35788 WITH SCORE 35878.863
AT ITER 3561 NEW BEST:: SOT 142661 SOS 90855 HAS SOPS 90855 HAS SOUS 35780 HAS SOUPS 35780 WITH SCORE 35870.855
AT ITER 3563 NEW BEST:: SOT 142710 SOS 90904 HAS SOPS 90904 HAS SOUS 35776 HAS SOUPS 35776 WITH SCORE 35866.904
AT ITER 3566 NEW BEST:: SOT 142735 SOS 90929 HAS SOPS 90929 HAS SOUS 35765 HAS SOUPS 35765 WITH SCORE 35855.929
AT ITER 3572 NEW BEST:: SOT 142735 SOS 90929 HAS SOPS 90929 HAS SOUS 35758 HAS SOUPS 35758 WITH SCORE 35848.929
AT ITER 3648 NEW BEST:: SOT 142724 SOS 90918 HAS SOPS 90918 HAS SOUS 35736 HAS SOUPS 35736 WITH SCORE 35826.918
AT ITER 3676 NEW BEST:: SOT 142724 SOS 90741 HAS SOPS 90741 HAS SOUS 35735 HAS SOUPS 35735 WITH SCORE 35825.741
AT ITER 3764 NEW BEST:: SOT 142688 SOS 90705 HAS SOPS 90705 HAS SOUS 35663 HAS SOUPS 35663 WITH SCORE 35753.705
AT ITER 3768 NEW BEST:: SOT 142511 SOS 90528 HAS SOPS 90528 HAS SOUS 35633 HAS SOUPS 35633 WITH SCORE 35723.528
AT ITER 3794 NEW BEST:: SOT 142510 SOS 90527 HAS SOPS 90527 HAS SOUS 35631 HAS SOUPS 35631 WITH SCORE 35721.527
AT ITER 3842 NEW BEST:: SOT 142483 SOS 90500 HAS SOPS 90500 HAS SOUS 35577 HAS SOUPS 35577 WITH SCORE 35667.5
AT ITER 3937 NEW BEST:: SOT 142483 SOS 90501 HAS SOPS 90501 HAS SOUS 35575 HAS SOUPS 35575 WITH SCORE 35665.501
AT ITER 3944 NEW BEST:: SOT 142472 SOS 90490 HAS SOPS 90490 HAS SOUS 35553 HAS SOUPS 35553 WITH SCORE 35643.49
AT ITER 3970 NEW BEST:: SOT 142467 SOS 90485 HAS SOPS 90485 HAS SOUS 35543 HAS SOUPS 35543 WITH SCORE 35633.485
AT ITER 4011 NEW BEST:: SOT 142602 SOS 88025 HAS SOPS 88025 HAS SOUS 35536 HAS SOUPS 35536 WITH SCORE 35624.025
AT ITER 4049 NEW BEST:: SOT 142590 SOS 88013 HAS SOPS 88013 HAS SOUS 35512 HAS SOUPS 35512 WITH SCORE 35600.013
AT ITER 4094 NEW BEST:: SOT 142589 SOS 88012 HAS SOPS 88012 HAS SOUS 35495 HAS SOUPS 35495 WITH SCORE 35583.012
AT ITER 4095 NEW BEST:: SOT 142578 SOS 88001 HAS SOPS 88001 HAS SOUS 35484 HAS SOUPS 35484 WITH SCORE 35572.001
AT ITER 4105 NEW BEST:: SOT 142578 SOS 88051 HAS SOPS 88051 HAS SOUS 35483 HAS SOUPS 35483 WITH SCORE 35571.051
AT ITER 4116 NEW BEST:: SOT 142578 SOS 88049 HAS SOPS 88049 HAS SOUS 35481 HAS SOUPS 35481 WITH SCORE 35569.049
AT ITER 4123 NEW BEST:: SOT 142539 SOS 88010 HAS SOPS 88010 HAS SOUS 35403 HAS SOUPS 35403 WITH SCORE 35491.01
AT ITER 4124 NEW BEST:: SOT 142519 SOS 87990 HAS SOPS 87990 HAS SOUS 35401 HAS SOUPS 35401 WITH SCORE 35488.99
AT ITER 4140 NEW BEST:: SOT 142516 SOS 87987 HAS SOPS 87987 HAS SOUS 35395 HAS SOUPS 35395 WITH SCORE 35482.987
AT ITER 4152 NEW BEST:: SOT 142512 SOS 87983 HAS SOPS 87983 HAS SOUS 35387 HAS SOUPS 35387 WITH SCORE 35474.983
AT ITER 4157 NEW BEST:: SOT 142374 SOS 88946 HAS SOPS 88946 HAS SOUS 35293 HAS SOUPS 35293 WITH SCORE 35381.946
AT ITER 4168 NEW BEST:: SOT 142378 SOS 88950 HAS SOPS 88950 HAS SOUS 35249 HAS SOUPS 35249 WITH SCORE 35337.95
AT ITER 4192 NEW BEST:: SOT 142376 SOS 88948 HAS SOPS 88948 HAS SOUS 35241 HAS SOUPS 35241 WITH SCORE 35329.948
AT ITER 4201 NEW BEST:: SOT 142375 SOS 88947 HAS SOPS 88947 HAS SOUS 35239 HAS SOUPS 35239 WITH SCORE 35327.947
AT ITER 4227 NEW BEST:: SOT 142364 SOS 88936 HAS SOPS 88936 HAS SOUS 35216 HAS SOUPS 35216 WITH SCORE 35304.936
AT ITER 4244 NEW BEST:: SOT 142347 SOS 88919 HAS SOPS 88919 HAS SOUS 35199 HAS SOUPS 35199 WITH SCORE 35287.919
AT ITER 4349 NEW BEST:: SOT 142345 SOS 88917 HAS SOPS 88917 HAS SOUS 35195 HAS SOUPS 35195 WITH SCORE 35283.917
AT ITER 4376 NEW BEST:: SOT 142345 SOS 88917 HAS SOPS 88917 HAS SOUS 35170 HAS SOUPS 35170 WITH SCORE 35258.917
AT ITER 4396 NEW BEST:: SOT 142328 SOS 88900 HAS SOPS 88900 HAS SOUS 35136 HAS SOUPS 35136 WITH SCORE 35224.9
AT ITER 4404 NEW BEST:: SOT 142241 SOS 89444 HAS SOPS 89444 HAS SOUS 35124 HAS SOUPS 35124 WITH SCORE 35213.444
AT ITER 4423 NEW BEST:: SOT 142242 SOS 89445 HAS SOPS 89445 HAS SOUS 35109 HAS SOUPS 35109 WITH SCORE 35198.445
AT ITER 4477 NEW BEST:: SOT 142186 SOS 89389 HAS SOPS 89389 HAS SOUS 35035 HAS SOUPS 35035 WITH SCORE 35124.389
AT ITER 4508 NEW BEST:: SOT 142184 SOS 89387 HAS SOPS 89387 HAS SOUS 35035 HAS SOUPS 35035 WITH SCORE 35124.387
AT ITER 4543 NEW BEST:: SOT 142171 SOS 89439 HAS SOPS 89439 HAS SOUS 35009 HAS SOUPS 35009 WITH SCORE 35098.439
AT ITER 4550 NEW BEST:: SOT 142171 SOS 89408 HAS SOPS 89408 HAS SOUS 35009 HAS SOUPS 35009 WITH SCORE 35098.408
AT ITER 4612 NEW BEST:: SOT 142160 SOS 89397 HAS SOPS 89397 HAS SOUS 34987 HAS SOUPS 34987 WITH SCORE 35076.397
AT ITER 4633 NEW BEST:: SOT 142160 SOS 89397 HAS SOPS 89397 HAS SOUS 34986 HAS SOUPS 34986 WITH SCORE 35075.397
AT ITER 4669 NEW BEST:: SOT 142118 SOS 89355 HAS SOPS 89355 HAS SOUS 34923 HAS SOUPS 34923 WITH SCORE 35012.355
AT ITER 4699 NEW BEST:: SOT 142093 SOS 89286 HAS SOPS 89286 HAS SOUS 34854 HAS SOUPS 34854 WITH SCORE 34943.286
AT ITER 4751 NEW BEST:: SOT 142093 SOS 89196 HAS SOPS 89196 HAS SOUS 34844 HAS SOUPS 34844 WITH SCORE 34933.196
AT ITER 4803 NEW BEST:: SOT 142076 SOS 89179 HAS SOPS 89179 HAS SOUS 34822 HAS SOUPS 34822 WITH SCORE 34911.179
AT ITER 4806 NEW BEST:: SOT 141999 SOS 89102 HAS SOPS 89102 HAS SOUS 34745 HAS SOUPS 34745 WITH SCORE 34834.102
AT ITER 4809 NEW BEST:: SOT 141977 SOS 89080 HAS SOPS 89080 HAS SOUS 34725 HAS SOUPS 34725 WITH SCORE 34814.08
AT ITER 4828 NEW BEST:: SOT 141970 SOS 89073 HAS SOPS 89073 HAS SOUS 34708 HAS SOUPS 34708 WITH SCORE 34797.073
AT ITER 4862 NEW BEST:: SOT 141969 SOS 89072 HAS SOPS 89072 HAS SOUS 34706 HAS SOUPS 34706 WITH SCORE 34795.072
AT ITER 4868 NEW BEST:: SOT 141975 SOS 89078 HAS SOPS 89078 HAS SOUS 34704 HAS SOUPS 34704 WITH SCORE 34793.078
AT ITER 4892 NEW BEST:: SOT 141925 SOS 89016 HAS SOPS 89016 HAS SOUS 34684 HAS SOUPS 34684 WITH SCORE 34773.016
AT ITER 4893 NEW BEST:: SOT 141875 SOS 88952 HAS SOPS 88952 HAS SOUS 34637 HAS SOUPS 34637 WITH SCORE 34725.952
AT ITER 4932 NEW BEST:: SOT 141529 SOS 88929 HAS SOPS 88929 HAS SOUS 34614 HAS SOUPS 34614 WITH SCORE 34702.929
AT ITER 5034 NEW BEST:: SOT 141528 SOS 88928 HAS SOPS 88928 HAS SOUS 34612 HAS SOUPS 34612 WITH SCORE 34700.928
AT ITER 5040 NEW BEST:: SOT 141533 SOS 88843 HAS SOPS 88843 HAS SOUS 34612 HAS SOUPS 34612 WITH SCORE 34700.843
AT ITER 5075 NEW BEST:: SOT 141543 SOS 88854 HAS SOPS 88854 HAS SOUS 34492 HAS SOUPS 34492 WITH SCORE 34580.854
AT ITER 5086 NEW BEST:: SOT 141539 SOS 88850 HAS SOPS 88850 HAS SOUS 34488 HAS SOUPS 34488 WITH SCORE 34576.85
AT ITER 5145 NEW BEST:: SOT 141539 SOS 88850 HAS SOPS 88850 HAS SOUS 34485 HAS SOUPS 34485 WITH SCORE 34573.85
AT ITER 5155 NEW BEST:: SOT 141539 SOS 88853 HAS SOPS 88853 HAS SOUS 34484 HAS SOUPS 34484 WITH SCORE 34572.853
AT ITER 5166 NEW BEST:: SOT 141534 SOS 88737 HAS SOPS 88737 HAS SOUS 34474 HAS SOUPS 34474 WITH SCORE 34562.737
AT ITER 5188 NEW BEST:: SOT 141533 SOS 88332 HAS SOPS 88332 HAS SOUS 34472 HAS SOUPS 34472 WITH SCORE 34560.332
AT ITER 5267 NEW BEST:: SOT 141549 SOS 88348 HAS SOPS 88348 HAS SOUS 34470 HAS SOUPS 34470 WITH SCORE 34558.348
AT ITER 5268 NEW BEST:: SOT 141516 SOS 88315 HAS SOPS 88315 HAS SOUS 34404 HAS SOUPS 34404 WITH SCORE 34492.315
AT ITER 5349 NEW BEST:: SOT 141605 SOS 88413 HAS SOPS 88413 HAS SOUS 34283 HAS SOUPS 34283 WITH SCORE 34371.413
AT ITER 5392 NEW BEST:: SOT 141568 SOS 88376 HAS SOPS 88376 HAS SOUS 34265 HAS SOUPS 34265 WITH SCORE 34353.376
AT ITER 5402 NEW BEST:: SOT 141558 SOS 88366 HAS SOPS 88366 HAS SOUS 34255 HAS SOUPS 34255 WITH SCORE 34343.366
AT ITER 5444 NEW BEST:: SOT 141554 SOS 88358 HAS SOPS 88358 HAS SOUS 34251 HAS SOUPS 34251 WITH SCORE 34339.358
AT ITER 5467 NEW BEST:: SOT 141542 SOS 88346 HAS SOPS 88346 HAS SOUS 34227 HAS SOUPS 34227 WITH SCORE 34315.346
AT ITER 5517 NEW BEST:: SOT 141364 SOS 88168 HAS SOPS 88168 HAS SOUS 34227 HAS SOUPS 34227 WITH SCORE 34315.168
AT ITER 5520 NEW BEST:: SOT 141358 SOS 88162 HAS SOPS 88162 HAS SOUS 34215 HAS SOUPS 34215 WITH SCORE 34303.162
AT ITER 5546 NEW BEST:: SOT 141354 SOS 88158 HAS SOPS 88158 HAS SOUS 34207 HAS SOUPS 34207 WITH SCORE 34295.158
AT ITER 5562 NEW BEST:: SOT 141354 SOS 88149 HAS SOPS 88149 HAS SOUS 34207 HAS SOUPS 34207 WITH SCORE 34295.149
AT ITER 5622 NEW BEST:: SOT 141352 SOS 88147 HAS SOPS 88147 HAS SOUS 34203 HAS SOUPS 34203 WITH SCORE 34291.147
AT ITER 5654 NEW BEST:: SOT 141328 SOS 88123 HAS SOPS 88123 HAS SOUS 34179 HAS SOUPS 34179 WITH SCORE 34267.123
AT ITER 5660 NEW BEST:: SOT 141314 SOS 88109 HAS SOPS 88109 HAS SOUS 34175 HAS SOUPS 34175 WITH SCORE 34263.109
AT ITER 5674 NEW BEST:: SOT 141306 SOS 88101 HAS SOPS 88101 HAS SOUS 34159 HAS SOUPS 34159 WITH SCORE 34247.101
AT ITER 5702 NEW BEST:: SOT 141305 SOS 88100 HAS SOPS 88100 HAS SOUS 34158 HAS SOUPS 34158 WITH SCORE 34246.1
AT ITER 5736 NEW BEST:: SOT 141299 SOS 88136 HAS SOPS 88136 HAS SOUS 34152 HAS SOUPS 34152 WITH SCORE 34240.136
AT ITER 5763 NEW BEST:: SOT 141281 SOS 88109 HAS SOPS 88109 HAS SOUS 34134 HAS SOUPS 34134 WITH SCORE 34222.109
AT ITER 5771 NEW BEST:: SOT 141291 SOS 88119 HAS SOPS 88119 HAS SOUS 34107 HAS SOUPS 34107 WITH SCORE 34195.119
AT ITER 5814 NEW BEST:: SOT 141276 SOS 88112 HAS SOPS 88112 HAS SOUS 34085 HAS SOUPS 34085 WITH SCORE 34173.112
AT ITER 5888 NEW BEST:: SOT 141228 SOS 88064 HAS SOPS 88064 HAS SOUS 34047 HAS SOUPS 34047 WITH SCORE 34135.064
AT ITER 5916 NEW BEST:: SOT 141192 SOS 88028 HAS SOPS 88028 HAS SOUS 33975 HAS SOUPS 33975 WITH SCORE 34063.028
AT ITER 5940 NEW BEST:: SOT 141192 SOS 88028 HAS SOPS 88028 HAS SOUS 33933 HAS SOUPS 33933 WITH SCORE 34021.028
AT ITER 5943 NEW BEST:: SOT 141192 SOS 88027 HAS SOPS 88027 HAS SOUS 33932 HAS SOUPS 33932 WITH SCORE 34020.027
AT ITER 5956 NEW BEST:: SOT 141166 SOS 87773 HAS SOPS 87773 HAS SOUS 33839 HAS SOUPS 33839 WITH SCORE 33926.773
AT ITER 5975 NEW BEST:: SOT 141155 SOS 87762 HAS SOPS 87762 HAS SOUS 33839 HAS SOUPS 33839 WITH SCORE 33926.762
AT ITER 5991 NEW BEST:: SOT 141151 SOS 87758 HAS SOPS 87758 HAS SOUS 33831 HAS SOUPS 33831 WITH SCORE 33918.758
AT ITER 6008 NEW BEST:: SOT 141137 SOS 87744 HAS SOPS 87744 HAS SOUS 33817 HAS SOUPS 33817 WITH SCORE 33904.744
AT ITER 6055 NEW BEST:: SOT 141100 SOS 87719 HAS SOPS 87719 HAS SOUS 33785 HAS SOUPS 33785 WITH SCORE 33872.719
AT ITER 6068 NEW BEST:: SOT 141068 SOS 88139 HAS SOPS 88139 HAS SOUS 33777 HAS SOUPS 33777 WITH SCORE 33865.139
AT ITER 6102 NEW BEST:: SOT 141067 SOS 88139 HAS SOPS 88139 HAS SOUS 33776 HAS SOUPS 33776 WITH SCORE 33864.139
AT ITER 6137 NEW BEST:: SOT 141092 SOS 88172 HAS SOPS 88172 HAS SOUS 33772 HAS SOUPS 33772 WITH SCORE 33860.172
AT ITER 6183 NEW BEST:: SOT 141041 SOS 88155 HAS SOPS 88155 HAS SOUS 33735 HAS SOUPS 33735 WITH SCORE 33823.155
AT ITER 6262 NEW BEST:: SOT 141041 SOS 88155 HAS SOPS 88155 HAS SOUS 33725 HAS SOUPS 33725 WITH SCORE 33813.155
AT ITER 6321 NEW BEST:: SOT 141040 SOS 88154 HAS SOPS 88154 HAS SOUS 33723 HAS SOUPS 33723 WITH SCORE 33811.154
AT ITER 6326 NEW BEST:: SOT 141020 SOS 88141 HAS SOPS 88141 HAS SOUS 33720 HAS SOUPS 33720 WITH SCORE 33808.141
AT ITER 6361 NEW BEST:: SOT 141020 SOS 88141 HAS SOPS 88141 HAS SOUS 33651 HAS SOUPS 33651 WITH SCORE 33739.141
AT ITER 6411 NEW BEST:: SOT 141006 SOS 88127 HAS SOPS 88127 HAS SOUS 33623 HAS SOUPS 33623 WITH SCORE 33711.127
AT ITER 6435 NEW BEST:: SOT 141003 SOS 88124 HAS SOPS 88124 HAS SOUS 33617 HAS SOUPS 33617 WITH SCORE 33705.124
AT ITER 6443 NEW BEST:: SOT 141043 SOS 88164 HAS SOPS 88164 HAS SOUS 33611 HAS SOUPS 33611 WITH SCORE 33699.164
AT ITER 6446 NEW BEST:: SOT 141042 SOS 88105 HAS SOPS 88105 HAS SOUS 33609 HAS SOUPS 33609 WITH SCORE 33697.105
AT ITER 6484 NEW BEST:: SOT 141011 SOS 88074 HAS SOPS 88074 HAS SOUS 33605 HAS SOUPS 33605 WITH SCORE 33693.074
AT ITER 6494 NEW BEST:: SOT 141013 SOS 88076 HAS SOPS 88076 HAS SOUS 33602 HAS SOUPS 33602 WITH SCORE 33690.076
AT ITER 6516 NEW BEST:: SOT 141013 SOS 88076 HAS SOPS 88076 HAS SOUS 33570 HAS SOUPS 33570 WITH SCORE 33658.076
AT ITER 6586 NEW BEST:: SOT 141009 SOS 88072 HAS SOPS 88072 HAS SOUS 33562 HAS SOUPS 33562 WITH SCORE 33650.072
AT ITER 6597 NEW BEST:: SOT 141020 SOS 88083 HAS SOPS 88083 HAS SOUS 33529 HAS SOUPS 33529 WITH SCORE 33617.083
AT ITER 6611 NEW BEST:: SOT 141007 SOS 88070 HAS SOPS 88070 HAS SOUS 33460 HAS SOUPS 33460 WITH SCORE 33548.07
AT ITER 6665 NEW BEST:: SOT 141007 SOS 88071 HAS SOPS 88071 HAS SOUS 33459 HAS SOUPS 33459 WITH SCORE 33547.071
AT ITER 6673 NEW BEST:: SOT 141007 SOS 88053 HAS SOPS 88053 HAS SOUS 33459 HAS SOUPS 33459 WITH SCORE 33547.053
AT ITER 6678 NEW BEST:: SOT 140990 SOS 88235 HAS SOPS 88235 HAS SOUS 33451 HAS SOUPS 33451 WITH SCORE 33539.235
AT ITER 6722 NEW BEST:: SOT 140990 SOS 88235 HAS SOPS 88235 HAS SOUS 33444 HAS SOUPS 33444 WITH SCORE 33532.235
AT ITER 6775 NEW BEST:: SOT 140984 SOS 88236 HAS SOPS 88236 HAS SOUS 33439 HAS SOUPS 33439 WITH SCORE 33527.236
AT ITER 6792 NEW BEST:: SOT 140984 SOS 88210 HAS SOPS 88210 HAS SOUS 33413 HAS SOUPS 33413 WITH SCORE 33501.21
AT ITER 6846 NEW BEST:: SOT 140977 SOS 88203 HAS SOPS 88203 HAS SOUS 33406 HAS SOUPS 33406 WITH SCORE 33494.203
AT ITER 6866 NEW BEST:: SOT 140956 SOS 88182 HAS SOPS 88182 HAS SOUS 33381 HAS SOUPS 33381 WITH SCORE 33469.182
AT ITER 6926 NEW BEST:: SOT 140971 SOS 88197 HAS SOPS 88197 HAS SOUS 33344 HAS SOUPS 33344 WITH SCORE 33432.197
AT ITER 6965 NEW BEST:: SOT 140975 SOS 88230 HAS SOPS 88230 HAS SOUS 33339 HAS SOUPS 33339 WITH SCORE 33427.23
AT ITER 6968 NEW BEST:: SOT 140959 SOS 88214 HAS SOPS 88214 HAS SOUS 33315 HAS SOUPS 33315 WITH SCORE 33403.214
AT ITER 7014 NEW BEST:: SOT 140962 SOS 88217 HAS SOPS 88217 HAS SOUS 33314 HAS SOUPS 33314 WITH SCORE 33402.217
AT ITER 7047 NEW BEST:: SOT 140960 SOS 88215 HAS SOPS 88215 HAS SOUS 33310 HAS SOUPS 33310 WITH SCORE 33398.215
AT ITER 7095 NEW BEST:: SOT 140949 SOS 88204 HAS SOPS 88204 HAS SOUS 33302 HAS SOUPS 33302 WITH SCORE 33390.204
AT ITER 7138 NEW BEST:: SOT 140929 SOS 88309 HAS SOPS 88309 HAS SOUS 33288 HAS SOUPS 33288 WITH SCORE 33376.309
AT ITER 7193 NEW BEST:: SOT 140927 SOS 88307 HAS SOPS 88307 HAS SOUS 33224 HAS SOUPS 33224 WITH SCORE 33312.307
AT ITER 7215 NEW BEST:: SOT 140919 SOS 88299 HAS SOPS 88299 HAS SOUS 33208 HAS SOUPS 33208 WITH SCORE 33296.299
AT ITER 7220 NEW BEST:: SOT 140906 SOS 88286 HAS SOPS 88286 HAS SOUS 33173 HAS SOUPS 33173 WITH SCORE 33261.286
AT ITER 7242 NEW BEST:: SOT 140906 SOS 88286 HAS SOPS 88286 HAS SOUS 33114 HAS SOUPS 33114 WITH SCORE 33202.286
AT ITER 7257 NEW BEST:: SOT 140905 SOS 88287 HAS SOPS 88287 HAS SOUS 33102 HAS SOUPS 33102 WITH SCORE 33190.287
AT ITER 7259 NEW BEST:: SOT 140902 SOS 88284 HAS SOPS 88284 HAS SOUS 33099 HAS SOUPS 33099 WITH SCORE 33187.284
AT ITER 7290 NEW BEST:: SOT 140888 SOS 88270 HAS SOPS 88270 HAS SOUS 33071 HAS SOUPS 33071 WITH SCORE 33159.27
AT ITER 7317 NEW BEST:: SOT 140888 SOS 88270 HAS SOPS 88270 HAS SOUS 33068 HAS SOUPS 33068 WITH SCORE 33156.27
AT ITER 7359 NEW BEST:: SOT 140881 SOS 88263 HAS SOPS 88263 HAS SOUS 33054 HAS SOUPS 33054 WITH SCORE 33142.263
AT ITER 7360 NEW BEST:: SOT 140862 SOS 88244 HAS SOPS 88244 HAS SOUS 33016 HAS SOUPS 33016 WITH SCORE 33104.244
AT ITER 7371 NEW BEST:: SOT 140854 SOS 88236 HAS SOPS 88236 HAS SOUS 33000 HAS SOUPS 33000 WITH SCORE 33088.236
AT ITER 7381 NEW BEST:: SOT 140859 SOS 88156 HAS SOPS 88156 HAS SOUS 32995 HAS SOUPS 32995 WITH SCORE 33083.156
AT ITER 7383 NEW BEST:: SOT 140849 SOS 88146 HAS SOPS 88146 HAS SOUS 32975 HAS SOUPS 32975 WITH SCORE 33063.146
AT ITER 7485 NEW BEST:: SOT 140733 SOS 88621 HAS SOPS 88621 HAS SOUS 32923 HAS SOUPS 32923 WITH SCORE 33011.621
AT ITER 7507 NEW BEST:: SOT 140733 SOS 88414 HAS SOPS 88414 HAS SOUS 32914 HAS SOUPS 32914 WITH SCORE 33002.414
AT ITER 7523 NEW BEST:: SOT 140733 SOS 88400 HAS SOPS 88400 HAS SOUS 32914 HAS SOUPS 32914 WITH SCORE 33002.4
AT ITER 7611 NEW BEST:: SOT 140720 SOS 88445 HAS SOPS 88445 HAS SOUS 32888 HAS SOUPS 32888 WITH SCORE 32976.445
AT ITER 7614 NEW BEST:: SOT 140722 SOS 88443 HAS SOPS 88443 HAS SOUS 32888 HAS SOUPS 32888 WITH SCORE 32976.443
AT ITER 7652 NEW BEST:: SOT 140720 SOS 88441 HAS SOPS 88441 HAS SOUS 32884 HAS SOUPS 32884 WITH SCORE 32972.441
AT ITER 7693 NEW BEST:: SOT 140719 SOS 88439 HAS SOPS 88439 HAS SOUS 32883 HAS SOUPS 32883 WITH SCORE 32971.439
AT ITER 7731 NEW BEST:: SOT 140717 SOS 88443 HAS SOPS 88443 HAS SOUS 32879 HAS SOUPS 32879 WITH SCORE 32967.443
AT ITER 7781 NEW BEST:: SOT 140709 SOS 88435 HAS SOPS 88435 HAS SOUS 32870 HAS SOUPS 32870 WITH SCORE 32958.435
AT ITER 7792 NEW BEST:: SOT 140708 SOS 88434 HAS SOPS 88434 HAS SOUS 32868 HAS SOUPS 32868 WITH SCORE 32956.434
AT ITER 7800 NEW BEST:: SOT 140702 SOS 88296 HAS SOPS 88296 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32941.296
AT ITER 7813 NEW BEST:: SOT 140702 SOS 88294 HAS SOPS 88294 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32941.294
AT ITER 7825 NEW BEST:: SOT 140686 SOS 88278 HAS SOPS 88278 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32941.278
AT ITER 7856 NEW BEST:: SOT 140648 SOS 88240 HAS SOPS 88240 HAS SOUS 32773 HAS SOUPS 32773 WITH SCORE 32861.24
AT ITER 7873 NEW BEST:: SOT 140603 SOS 88195 HAS SOPS 88195 HAS SOUS 32752 HAS SOUPS 32752 WITH SCORE 32840.195
AT ITER 7915 NEW BEST:: SOT 140606 SOS 88198 HAS SOPS 88198 HAS SOUS 32748 HAS SOUPS 32748 WITH SCORE 32836.198
AT ITER 7936 NEW BEST:: SOT 140605 SOS 88189 HAS SOPS 88189 HAS SOUS 32746 HAS SOUPS 32746 WITH SCORE 32834.189
AT ITER 7939 NEW BEST:: SOT 140497 SOS 88135 HAS SOPS 88135 HAS SOUS 32711 HAS SOUPS 32711 WITH SCORE 32799.135
AT ITER 8012 NEW BEST:: SOT 140496 SOS 88134 HAS SOPS 88134 HAS SOUS 32709 HAS SOUPS 32709 WITH SCORE 32797.134
AT ITER 8023 NEW BEST:: SOT 140494 SOS 88134 HAS SOPS 88134 HAS SOUS 32707 HAS SOUPS 32707 WITH SCORE 32795.134
AT ITER 8039 NEW BEST:: SOT 140517 SOS 87729 HAS SOPS 87729 HAS SOUS 32688 HAS SOUPS 32688 WITH SCORE 32775.729
AT ITER 8045 NEW BEST:: SOT 140517 SOS 87729 HAS SOPS 87729 HAS SOUS 32686 HAS SOUPS 32686 WITH SCORE 32773.729
AT ITER 8067 NEW BEST:: SOT 140517 SOS 87729 HAS SOPS 87729 HAS SOUS 32678 HAS SOUPS 32678 WITH SCORE 32765.729
AT ITER 8081 NEW BEST:: SOT 140515 SOS 87727 HAS SOPS 87727 HAS SOUS 32674 HAS SOUPS 32674 WITH SCORE 32761.727
AT ITER 8128 NEW BEST:: SOT 140517 SOS 87729 HAS SOPS 87729 HAS SOUS 32667 HAS SOUPS 32667 WITH SCORE 32754.729
AT ITER 8161 NEW BEST:: SOT 140508 SOS 87720 HAS SOPS 87720 HAS SOUS 32649 HAS SOUPS 32649 WITH SCORE 32736.72
AT ITER 8169 NEW BEST:: SOT 140515 SOS 87727 HAS SOPS 87727 HAS SOUS 32639 HAS SOUPS 32639 WITH SCORE 32726.727
AT ITER 8273 NEW BEST:: SOT 140506 SOS 87718 HAS SOPS 87718 HAS SOUS 32603 HAS SOUPS 32603 WITH SCORE 32690.718
AT ITER 8276 NEW BEST:: SOT 140505 SOS 87717 HAS SOPS 87717 HAS SOUS 32601 HAS SOUPS 32601 WITH SCORE 32688.717
AT ITER 8316 NEW BEST:: SOT 140505 SOS 87717 HAS SOPS 87717 HAS SOUS 32595 HAS SOUPS 32595 WITH SCORE 32682.717
AT ITER 8318 NEW BEST:: SOT 140489 SOS 87701 HAS SOPS 87701 HAS SOUS 32563 HAS SOUPS 32563 WITH SCORE 32650.701
AT ITER 8395 NEW BEST:: SOT 140488 SOS 87700 HAS SOPS 87700 HAS SOUS 32561 HAS SOUPS 32561 WITH SCORE 32648.7
AT ITER 8401 NEW BEST:: SOT 140488 SOS 87238 HAS SOPS 87238 HAS SOUS 32519 HAS SOUPS 32519 WITH SCORE 32606.238
AT ITER 8417 NEW BEST:: SOT 140464 SOS 87214 HAS SOPS 87214 HAS SOUS 32471 HAS SOUPS 32471 WITH SCORE 32558.214
AT ITER 8429 NEW BEST:: SOT 140370 SOS 87120 HAS SOPS 87120 HAS SOUS 32421 HAS SOUPS 32421 WITH SCORE 32508.12
AT ITER 8434 NEW BEST:: SOT 140365 SOS 87102 HAS SOPS 87102 HAS SOUS 32411 HAS SOUPS 32411 WITH SCORE 32498.102
AT ITER 8438 NEW BEST:: SOT 140357 SOS 87094 HAS SOPS 87094 HAS SOUS 32394 HAS SOUPS 32394 WITH SCORE 32481.094
AT ITER 8473 NEW BEST:: SOT 140347 SOS 87084 HAS SOPS 87084 HAS SOUS 32390 HAS SOUPS 32390 WITH SCORE 32477.084
AT ITER 8515 NEW BEST:: SOT 140322 SOS 87000 HAS SOPS 87000 HAS SOUS 32383 HAS SOUPS 32383 WITH SCORE 32470.0
AT ITER 8585 NEW BEST:: SOT 140382 SOS 86916 HAS SOPS 86916 HAS SOUS 32344 HAS SOUPS 32344 WITH SCORE 32430.916
AT ITER 8633 NEW BEST:: SOT 140383 SOS 86762 HAS SOPS 86762 HAS SOUS 32329 HAS SOUPS 32329 WITH SCORE 32415.762
AT ITER 8645 NEW BEST:: SOT 140380 SOS 86759 HAS SOPS 86759 HAS SOUS 32323 HAS SOUPS 32323 WITH SCORE 32409.759
AT ITER 8648 NEW BEST:: SOT 140389 SOS 86731 HAS SOPS 86731 HAS SOUS 32300 HAS SOUPS 32300 WITH SCORE 32386.731
AT ITER 8715 NEW BEST:: SOT 140388 SOS 86730 HAS SOPS 86730 HAS SOUS 32298 HAS SOUPS 32298 WITH SCORE 32384.73
AT ITER 8799 NEW BEST:: SOT 140367 SOS 86709 HAS SOPS 86709 HAS SOUS 32264 HAS SOUPS 32264 WITH SCORE 32350.709
AT ITER 8808 NEW BEST:: SOT 140366 SOS 86708 HAS SOPS 86708 HAS SOUS 32262 HAS SOUPS 32262 WITH SCORE 32348.708
AT ITER 8809 NEW BEST:: SOT 140368 SOS 86710 HAS SOPS 86710 HAS SOUS 32214 HAS SOUPS 32214 WITH SCORE 32300.71
AT ITER 8887 NEW BEST:: SOT 140379 SOS 85926 HAS SOPS 85926 HAS SOUS 32162 HAS SOUPS 32162 WITH SCORE 32247.926
AT ITER 8901 NEW BEST:: SOT 140381 SOS 85928 HAS SOPS 85928 HAS SOUS 32131 HAS SOUPS 32131 WITH SCORE 32216.928
AT ITER 8931 NEW BEST:: SOT 140349 SOS 85896 HAS SOPS 85896 HAS SOUS 32067 HAS SOUPS 32067 WITH SCORE 32152.896
AT ITER 8964 NEW BEST:: SOT 140349 SOS 85896 HAS SOPS 85896 HAS SOUS 32066 HAS SOUPS 32066 WITH SCORE 32151.896
AT ITER 9047 NEW BEST:: SOT 140362 SOS 85909 HAS SOPS 85909 HAS SOUS 32061 HAS SOUPS 32061 WITH SCORE 32146.909
AT ITER 9081 NEW BEST:: SOT 140394 SOS 85941 HAS SOPS 85941 HAS SOUS 32030 HAS SOUPS 32030 WITH SCORE 32115.941
AT ITER 9090 NEW BEST:: SOT 140394 SOS 85860 HAS SOPS 85860 HAS SOUS 32030 HAS SOUPS 32030 WITH SCORE 32115.86
AT ITER 9116 NEW BEST:: SOT 140423 SOS 85650 HAS SOPS 85650 HAS SOUS 31806 HAS SOUPS 31806 WITH SCORE 31891.65
AT ITER 9156 NEW BEST:: SOT 140403 SOS 85630 HAS SOPS 85630 HAS SOUS 31803 HAS SOUPS 31803 WITH SCORE 31888.63
AT ITER 9174 NEW BEST:: SOT 140411 SOS 85638 HAS SOPS 85638 HAS SOUS 31782 HAS SOUPS 31782 WITH SCORE 31867.638
AT ITER 9184 NEW BEST:: SOT 140411 SOS 85625 HAS SOPS 85625 HAS SOUS 31782 HAS SOUPS 31782 WITH SCORE 31867.625
AT ITER 9185 NEW BEST:: SOT 140411 SOS 85625 HAS SOPS 85625 HAS SOUS 31767 HAS SOUPS 31767 WITH SCORE 31852.625
AT ITER 9187 NEW BEST:: SOT 140384 SOS 85598 HAS SOPS 85598 HAS SOUS 31713 HAS SOUPS 31713 WITH SCORE 31798.598
AT ITER 9229 NEW BEST:: SOT 140382 SOS 85596 HAS SOPS 85596 HAS SOUS 31709 HAS SOUPS 31709 WITH SCORE 31794.596
AT ITER 9230 NEW BEST:: SOT 140381 SOS 85595 HAS SOPS 85595 HAS SOUS 31707 HAS SOUPS 31707 WITH SCORE 31792.595
AT ITER 9290 NEW BEST:: SOT 140375 SOS 85589 HAS SOPS 85589 HAS SOUS 31706 HAS SOUPS 31706 WITH SCORE 31791.589
AT ITER 9325 NEW BEST:: SOT 140375 SOS 85589 HAS SOPS 85589 HAS SOUS 31705 HAS SOUPS 31705 WITH SCORE 31790.589
AT ITER 9330 NEW BEST:: SOT 140369 SOS 85583 HAS SOPS 85583 HAS SOUS 31697 HAS SOUPS 31697 WITH SCORE 31782.583
AT ITER 9332 NEW BEST:: SOT 140349 SOS 85563 HAS SOPS 85563 HAS SOUS 31657 HAS SOUPS 31657 WITH SCORE 31742.563
AT ITER 9335 NEW BEST:: SOT 140341 SOS 85555 HAS SOPS 85555 HAS SOUS 31641 HAS SOUPS 31641 WITH SCORE 31726.555
AT ITER 9398 NEW BEST:: SOT 140356 SOS 85570 HAS SOPS 85570 HAS SOUS 31565 HAS SOUPS 31565 WITH SCORE 31650.57
AT ITER 9401 NEW BEST:: SOT 140346 SOS 85560 HAS SOPS 85560 HAS SOUS 31545 HAS SOUPS 31545 WITH SCORE 31630.56
AT ITER 9453 NEW BEST:: SOT 140314 SOS 85528 HAS SOPS 85528 HAS SOUS 31500 HAS SOUPS 31500 WITH SCORE 31585.528
AT ITER 9466 NEW BEST:: SOT 140318 SOS 84675 HAS SOPS 84675 HAS SOUS 31466 HAS SOUPS 31466 WITH SCORE 31550.675
AT ITER 9472 NEW BEST:: SOT 140315 SOS 84672 HAS SOPS 84672 HAS SOUS 31460 HAS SOUPS 31460 WITH SCORE 31544.672
AT ITER 9511 NEW BEST:: SOT 140300 SOS 84657 HAS SOPS 84657 HAS SOUS 31430 HAS SOUPS 31430 WITH SCORE 31514.657
AT ITER 9564 NEW BEST:: SOT 140293 SOS 84533 HAS SOPS 84533 HAS SOUS 31414 HAS SOUPS 31414 WITH SCORE 31498.533
AT ITER 9588 NEW BEST:: SOT 140281 SOS 84520 HAS SOPS 84520 HAS SOUS 31413 HAS SOUPS 31413 WITH SCORE 31497.52
AT ITER 9608 NEW BEST:: SOT 140278 SOS 84517 HAS SOPS 84517 HAS SOUS 31409 HAS SOUPS 31409 WITH SCORE 31493.517
AT ITER 9626 NEW BEST:: SOT 140277 SOS 84502 HAS SOPS 84502 HAS SOUS 31407 HAS SOUPS 31407 WITH SCORE 31491.502
AT ITER 9652 NEW BEST:: SOT 140253 SOS 84478 HAS SOPS 84478 HAS SOUS 31386 HAS SOUPS 31386 WITH SCORE 31470.478
AT ITER 9661 NEW BEST:: SOT 140245 SOS 84470 HAS SOPS 84470 HAS SOUS 31370 HAS SOUPS 31370 WITH SCORE 31454.47
AT ITER 9697 NEW BEST:: SOT 140155 SOS 84380 HAS SOPS 84380 HAS SOUS 31192 HAS SOUPS 31192 WITH SCORE 31276.38
AT ITER 9709 NEW BEST:: SOT 140152 SOS 84376 HAS SOPS 84376 HAS SOUS 31191 HAS SOUPS 31191 WITH SCORE 31275.376
AT ITER 9788 NEW BEST:: SOT 140142 SOS 84366 HAS SOPS 84366 HAS SOUS 31171 HAS SOUPS 31171 WITH SCORE 31255.366
AT ITER 9842 NEW BEST:: SOT 140142 SOS 84348 HAS SOPS 84348 HAS SOUS 31153 HAS SOUPS 31153 WITH SCORE 31237.348
AT ITER 9850 NEW BEST:: SOT 140142 SOS 84348 HAS SOPS 84348 HAS SOUS 31150 HAS SOUPS 31150 WITH SCORE 31234.348
AT ITER 9877 NEW BEST:: SOT 140136 SOS 84342 HAS SOPS 84342 HAS SOUS 31150 HAS SOUPS 31150 WITH SCORE 31234.342
AT ITER 9889 NEW BEST:: SOT 140136 SOS 84326 HAS SOPS 84326 HAS SOUS 31150 HAS SOUPS 31150 WITH SCORE 31234.326
AT ITER 9926 NEW BEST:: SOT 140133 SOS 84323 HAS SOPS 84323 HAS SOUS 31144 HAS SOUPS 31144 WITH SCORE 31228.323
AT ITER 9928 NEW BEST:: SOT 140130 SOS 84320 HAS SOPS 84320 HAS SOUS 31138 HAS SOUPS 31138 WITH SCORE 31222.32
AT ITER 9934 NEW BEST:: SOT 140119 SOS 84309 HAS SOPS 84309 HAS SOUS 31116 HAS SOUPS 31116 WITH SCORE 31200.309
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8911768 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124076 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-20"
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-20, 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-167840349600456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HirschbergSinclair-PT-20.tgz
mv HirschbergSinclair-PT-20 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 ;