About the Execution of Smart+red for HirschbergSinclair-PT-40
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6663.464 | 3600000.00 | 3637752.00 | 12361.90 | [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-167840349600488.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-40, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349600488
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1020K
-rw-r--r-- 1 mcc users 12K Feb 26 02:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 02:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 02:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 02:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 02:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 02:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 02:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 02:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K 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 580K 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 1678641859516
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-40
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 17:24:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 17:24:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 17:24:22] [INFO ] Load time of PNML (sax parser for PT used): 167 ms
[2023-03-12 17:24:22] [INFO ] Transformed 1068 places.
[2023-03-12 17:24:22] [INFO ] Transformed 982 transitions.
[2023-03-12 17:24:22] [INFO ] Parsed PT model containing 1068 places and 982 transitions and 2991 arcs in 280 ms.
[2023-03-12 17:24:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1068 places, 982 transitions and 2991 arcs took 19 ms.
Total runtime 345 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 40
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: 1068 places, 982 transitions, 2991 arcs.
AT ITER 0 NEW BEST:: SOT 913205 SOS 444825 HAS SOPS 444825 HAS SOUS 442912 HAS SOUPS 442912 WITH SCORE 443356.825
AT ITER 4 NEW BEST:: SOT 905253 SOS 438052 HAS SOPS 438052 HAS SOUS 435546 HAS SOUPS 435546 WITH SCORE 435984.052
AT ITER 13 NEW BEST:: SOT 895782 SOS 433690 HAS SOPS 433690 HAS SOUS 427170 HAS SOUPS 427170 WITH SCORE 427603.69
AT ITER 15 NEW BEST:: SOT 886096 SOS 429198 HAS SOPS 429198 HAS SOUS 418787 HAS SOUPS 418787 WITH SCORE 419216.198
AT ITER 16 NEW BEST:: SOT 885903 SOS 429197 HAS SOPS 429197 HAS SOUS 418786 HAS SOUPS 418786 WITH SCORE 419215.197
AT ITER 17 NEW BEST:: SOT 885903 SOS 429108 HAS SOPS 429108 HAS SOUS 418697 HAS SOUPS 418697 WITH SCORE 419126.108
AT ITER 43 NEW BEST:: SOT 885810 SOS 429107 HAS SOPS 429107 HAS SOUS 418696 HAS SOUPS 418696 WITH SCORE 419125.107
AT ITER 51 NEW BEST:: SOT 879631 SOS 424324 HAS SOPS 424324 HAS SOUS 413001 HAS SOUPS 413001 WITH SCORE 413425.324
AT ITER 72 NEW BEST:: SOT 870631 SOS 420315 HAS SOPS 420315 HAS SOUS 405013 HAS SOUPS 405013 WITH SCORE 405433.315
AT ITER 79 NEW BEST:: SOT 870597 SOS 420313 HAS SOPS 420313 HAS SOUS 405011 HAS SOUPS 405011 WITH SCORE 405431.313
AT ITER 81 NEW BEST:: SOT 869301 SOS 419088 HAS SOPS 419088 HAS SOUS 403786 HAS SOUPS 403786 WITH SCORE 404205.088
AT ITER 87 NEW BEST:: SOT 869301 SOS 419086 HAS SOPS 419086 HAS SOUS 403784 HAS SOUPS 403784 WITH SCORE 404203.086
AT ITER 92 NEW BEST:: SOT 864812 SOS 415357 HAS SOPS 415357 HAS SOUS 399647 HAS SOUPS 399647 WITH SCORE 400062.357
AT ITER 96 NEW BEST:: SOT 864056 SOS 415661 HAS SOPS 415661 HAS SOUS 399021 HAS SOUPS 399021 WITH SCORE 399436.661
AT ITER 112 NEW BEST:: SOT 858310 SOS 410517 HAS SOPS 410517 HAS SOUS 393613 HAS SOUPS 393613 WITH SCORE 394023.517
AT ITER 113 NEW BEST:: SOT 858310 SOS 410361 HAS SOPS 410361 HAS SOUS 393457 HAS SOUPS 393457 WITH SCORE 393867.361
AT ITER 123 NEW BEST:: SOT 858122 SOS 410360 HAS SOPS 410360 HAS SOUS 393456 HAS SOUPS 393456 WITH SCORE 393866.36
AT ITER 131 NEW BEST:: SOT 857607 SOS 413747 HAS SOPS 413747 HAS SOUS 393280 HAS SOUPS 393280 WITH SCORE 393693.747
AT ITER 133 NEW BEST:: SOT 850895 SOS 409234 HAS SOPS 409234 HAS SOUS 387319 HAS SOUPS 387319 WITH SCORE 387728.234
AT ITER 145 NEW BEST:: SOT 850719 SOS 409069 HAS SOPS 409069 HAS SOUS 387154 HAS SOUPS 387154 WITH SCORE 387563.069
AT ITER 160 NEW BEST:: SOT 850559 SOS 408908 HAS SOPS 408908 HAS SOUS 387028 HAS SOUPS 387028 WITH SCORE 387436.908
AT ITER 173 NEW BEST:: SOT 850503 SOS 408852 HAS SOPS 408852 HAS SOUS 386972 HAS SOUPS 386972 WITH SCORE 387380.852
AT ITER 189 NEW BEST:: SOT 835495 SOS 402356 HAS SOPS 402356 HAS SOUS 373369 HAS SOUPS 373369 WITH SCORE 373771.356
AT ITER 214 NEW BEST:: SOT 835220 SOS 402070 HAS SOPS 402070 HAS SOUS 373083 HAS SOUPS 373083 WITH SCORE 373485.07
AT ITER 219 NEW BEST:: SOT 835126 SOS 402069 HAS SOPS 402069 HAS SOUS 373082 HAS SOUPS 373082 WITH SCORE 373484.069
AT ITER 235 NEW BEST:: SOT 825815 SOS 397007 HAS SOPS 397007 HAS SOUS 364819 HAS SOUPS 364819 WITH SCORE 365216.007
AT ITER 241 NEW BEST:: SOT 817384 SOS 392203 HAS SOPS 392203 HAS SOUS 357367 HAS SOUPS 357367 WITH SCORE 357759.203
AT ITER 245 NEW BEST:: SOT 817384 SOS 392202 HAS SOPS 392202 HAS SOUS 357366 HAS SOUPS 357366 WITH SCORE 357758.202
AT ITER 246 NEW BEST:: SOT 811257 SOS 387396 HAS SOPS 387396 HAS SOUS 351708 HAS SOUPS 351708 WITH SCORE 352095.396
AT ITER 248 NEW BEST:: SOT 811257 SOS 387291 HAS SOPS 387291 HAS SOUS 351603 HAS SOUPS 351603 WITH SCORE 351990.291
AT ITER 268 NEW BEST:: SOT 811257 SOS 387108 HAS SOPS 387108 HAS SOUS 351420 HAS SOUPS 351420 WITH SCORE 351807.108
AT ITER 276 NEW BEST:: SOT 805234 SOS 382697 HAS SOPS 382697 HAS SOUS 346037 HAS SOUPS 346037 WITH SCORE 346419.697
AT ITER 289 NEW BEST:: SOT 805234 SOS 382696 HAS SOPS 382696 HAS SOUS 346036 HAS SOUPS 346036 WITH SCORE 346418.696
AT ITER 297 NEW BEST:: SOT 805105 SOS 383169 HAS SOPS 383169 HAS SOUS 345993 HAS SOUPS 345993 WITH SCORE 346376.169
AT ITER 298 NEW BEST:: SOT 795855 SOS 381483 HAS SOPS 381483 HAS SOUS 338158 HAS SOUPS 338158 WITH SCORE 338539.483
AT ITER 318 NEW BEST:: SOT 792209 SOS 378218 HAS SOPS 378218 HAS SOUS 334797 HAS SOUPS 334797 WITH SCORE 335175.218
AT ITER 359 NEW BEST:: SOT 782055 SOS 378559 HAS SOPS 378559 HAS SOUS 326341 HAS SOUPS 326341 WITH SCORE 326719.559
AT ITER 380 NEW BEST:: SOT 782054 SOS 378556 HAS SOPS 378556 HAS SOUS 326341 HAS SOUPS 326341 WITH SCORE 326719.556
AT ITER 382 NEW BEST:: SOT 773423 SOS 377283 HAS SOPS 377283 HAS SOUS 318991 HAS SOUPS 318991 WITH SCORE 319368.283
AT ITER 387 NEW BEST:: SOT 771687 SOS 375654 HAS SOPS 375654 HAS SOUS 317362 HAS SOUPS 317362 WITH SCORE 317737.654
AT ITER 390 NEW BEST:: SOT 771687 SOS 375650 HAS SOPS 375650 HAS SOUS 317358 HAS SOUPS 317358 WITH SCORE 317733.65
AT ITER 401 NEW BEST:: SOT 771687 SOS 375627 HAS SOPS 375627 HAS SOUS 317335 HAS SOUPS 317335 WITH SCORE 317710.627
AT ITER 434 NEW BEST:: SOT 770197 SOS 374228 HAS SOPS 374228 HAS SOUS 315936 HAS SOUPS 315936 WITH SCORE 316310.228
AT ITER 442 NEW BEST:: SOT 770155 SOS 374143 HAS SOPS 374143 HAS SOUS 315931 HAS SOUPS 315931 WITH SCORE 316305.143
AT ITER 444 NEW BEST:: SOT 763906 SOS 369998 HAS SOPS 369998 HAS SOUS 310411 HAS SOUPS 310411 WITH SCORE 310780.998
AT ITER 448 NEW BEST:: SOT 759835 SOS 368829 HAS SOPS 368829 HAS SOUS 307049 HAS SOUPS 307049 WITH SCORE 307417.829
AT ITER 458 NEW BEST:: SOT 759673 SOS 368646 HAS SOPS 368646 HAS SOUS 306865 HAS SOUPS 306865 WITH SCORE 307233.646
AT ITER 462 NEW BEST:: SOT 759637 SOS 368546 HAS SOPS 368546 HAS SOUS 306855 HAS SOUPS 306855 WITH SCORE 307223.546
AT ITER 479 NEW BEST:: SOT 759252 SOS 368545 HAS SOPS 368545 HAS SOUS 306854 HAS SOUPS 306854 WITH SCORE 307222.545
AT ITER 485 NEW BEST:: SOT 751858 SOS 363660 HAS SOPS 363660 HAS SOUS 300291 HAS SOUPS 300291 WITH SCORE 300654.66
AT ITER 513 NEW BEST:: SOT 748210 SOS 360760 HAS SOPS 360760 HAS SOUS 296935 HAS SOUPS 296935 WITH SCORE 297295.76
AT ITER 525 NEW BEST:: SOT 748161 SOS 360604 HAS SOPS 360604 HAS SOUS 296779 HAS SOUPS 296779 WITH SCORE 297139.604
AT ITER 531 NEW BEST:: SOT 748216 SOS 360662 HAS SOPS 360662 HAS SOUS 296697 HAS SOUPS 296697 WITH SCORE 297057.662
AT ITER 539 NEW BEST:: SOT 748216 SOS 360661 HAS SOPS 360661 HAS SOUS 296696 HAS SOUPS 296696 WITH SCORE 297056.661
AT ITER 541 NEW BEST:: SOT 748143 SOS 360659 HAS SOPS 360659 HAS SOUS 296694 HAS SOUPS 296694 WITH SCORE 297054.659
AT ITER 557 NEW BEST:: SOT 748143 SOS 360664 HAS SOPS 360664 HAS SOUS 296563 HAS SOUPS 296563 WITH SCORE 296923.664
AT ITER 560 NEW BEST:: SOT 744400 SOS 365058 HAS SOPS 365058 HAS SOUS 293982 HAS SOUPS 293982 WITH SCORE 294347.058
AT ITER 566 NEW BEST:: SOT 744400 SOS 365424 HAS SOPS 365424 HAS SOUS 293786 HAS SOUPS 293786 WITH SCORE 294151.424
AT ITER 591 NEW BEST:: SOT 744399 SOS 365423 HAS SOPS 365423 HAS SOUS 293780 HAS SOUPS 293780 WITH SCORE 294145.423
AT ITER 614 NEW BEST:: SOT 740465 SOS 368764 HAS SOPS 368764 HAS SOUS 290917 HAS SOUPS 290917 WITH SCORE 291285.764
AT ITER 642 NEW BEST:: SOT 740138 SOS 368109 HAS SOPS 368109 HAS SOUS 290911 HAS SOUPS 290911 WITH SCORE 291279.109
AT ITER 652 NEW BEST:: SOT 729920 SOS 368523 HAS SOPS 368523 HAS SOUS 282054 HAS SOUPS 282054 WITH SCORE 282422.523
AT ITER 672 NEW BEST:: SOT 719228 SOS 359746 HAS SOPS 359746 HAS SOUS 272006 HAS SOUPS 272006 WITH SCORE 272365.746
AT ITER 703 NEW BEST:: SOT 711642 SOS 355564 HAS SOPS 355564 HAS SOUS 265438 HAS SOUPS 265438 WITH SCORE 265793.564
AT ITER 752 NEW BEST:: SOT 710030 SOS 354675 HAS SOPS 354675 HAS SOUS 263912 HAS SOUPS 263912 WITH SCORE 264266.675
AT ITER 754 NEW BEST:: SOT 701714 SOS 350799 HAS SOPS 350799 HAS SOUS 256780 HAS SOUPS 256780 WITH SCORE 257130.799
AT ITER 762 NEW BEST:: SOT 701632 SOS 350638 HAS SOPS 350638 HAS SOUS 256619 HAS SOUPS 256619 WITH SCORE 256969.638
AT ITER 796 NEW BEST:: SOT 699458 SOS 352641 HAS SOPS 352641 HAS SOUS 254764 HAS SOUPS 254764 WITH SCORE 255116.641
AT ITER 808 NEW BEST:: SOT 698999 SOS 352137 HAS SOPS 352137 HAS SOUS 254010 HAS SOUPS 254010 WITH SCORE 254362.137
AT ITER 828 NEW BEST:: SOT 696388 SOS 357343 HAS SOPS 357343 HAS SOUS 251853 HAS SOUPS 251853 WITH SCORE 252210.343
AT ITER 840 NEW BEST:: SOT 688250 SOS 354149 HAS SOPS 354149 HAS SOUS 245008 HAS SOUPS 245008 WITH SCORE 245362.149
AT ITER 845 NEW BEST:: SOT 688204 SOS 354103 HAS SOPS 354103 HAS SOUS 244958 HAS SOUPS 244958 WITH SCORE 245312.103
AT ITER 849 NEW BEST:: SOT 688161 SOS 354059 HAS SOPS 354059 HAS SOUS 244914 HAS SOUPS 244914 WITH SCORE 245268.059
AT ITER 852 NEW BEST:: SOT 687681 SOS 356033 HAS SOPS 356033 HAS SOUS 244727 HAS SOUPS 244727 WITH SCORE 245083.033
AT ITER 860 NEW BEST:: SOT 686641 SOS 355045 HAS SOPS 355045 HAS SOUS 243739 HAS SOUPS 243739 WITH SCORE 244094.045
AT ITER 894 NEW BEST:: SOT 686406 SOS 355044 HAS SOPS 355044 HAS SOUS 243738 HAS SOUPS 243738 WITH SCORE 244093.044
AT ITER 899 NEW BEST:: SOT 686405 SOS 355043 HAS SOPS 355043 HAS SOUS 243726 HAS SOUPS 243726 WITH SCORE 244081.043
AT ITER 909 NEW BEST:: SOT 686317 SOS 354954 HAS SOPS 354954 HAS SOUS 243637 HAS SOUPS 243637 WITH SCORE 243991.954
AT ITER 916 NEW BEST:: SOT 686099 SOS 354650 HAS SOPS 354650 HAS SOUS 243444 HAS SOUPS 243444 WITH SCORE 243798.65
AT ITER 917 NEW BEST:: SOT 680115 SOS 354579 HAS SOPS 354579 HAS SOUS 238886 HAS SOUPS 238886 WITH SCORE 239240.579
AT ITER 919 NEW BEST:: SOT 680272 SOS 354458 HAS SOPS 354458 HAS SOUS 238880 HAS SOUPS 238880 WITH SCORE 239234.458
AT ITER 936 NEW BEST:: SOT 679716 SOS 353901 HAS SOPS 353901 HAS SOUS 238323 HAS SOUPS 238323 WITH SCORE 238676.901
AT ITER 951 NEW BEST:: SOT 679542 SOS 355634 HAS SOPS 355634 HAS SOUS 238272 HAS SOUPS 238272 WITH SCORE 238627.634
AT ITER 964 NEW BEST:: SOT 679541 SOS 355633 HAS SOPS 355633 HAS SOUS 238270 HAS SOUPS 238270 WITH SCORE 238625.633
AT ITER 980 NEW BEST:: SOT 670681 SOS 356715 HAS SOPS 356715 HAS SOUS 230176 HAS SOUPS 230176 WITH SCORE 230532.715
AT ITER 994 NEW BEST:: SOT 670594 SOS 356738 HAS SOPS 356738 HAS SOUS 230108 HAS SOUPS 230108 WITH SCORE 230464.738
AT ITER 1013 NEW BEST:: SOT 664868 SOS 351625 HAS SOPS 351625 HAS SOUS 224538 HAS SOUPS 224538 WITH SCORE 224889.625
AT ITER 1034 NEW BEST:: SOT 664798 SOS 351555 HAS SOPS 351555 HAS SOUS 224476 HAS SOUPS 224476 WITH SCORE 224827.555
AT ITER 1043 NEW BEST:: SOT 663813 SOS 353586 HAS SOPS 353586 HAS SOUS 223916 HAS SOUPS 223916 WITH SCORE 224269.586
AT ITER 1044 NEW BEST:: SOT 663812 SOS 353582 HAS SOPS 353582 HAS SOUS 223915 HAS SOUPS 223915 WITH SCORE 224268.582
AT ITER 1047 NEW BEST:: SOT 657414 SOS 354866 HAS SOPS 354866 HAS SOUS 219017 HAS SOUPS 219017 WITH SCORE 219371.866
AT ITER 1081 NEW BEST:: SOT 657140 SOS 354591 HAS SOPS 354591 HAS SOUS 218742 HAS SOUPS 218742 WITH SCORE 219096.591
AT ITER 1083 NEW BEST:: SOT 657139 SOS 354590 HAS SOPS 354590 HAS SOUS 218576 HAS SOUPS 218576 WITH SCORE 218930.59
AT ITER 1088 NEW BEST:: SOT 656832 SOS 354283 HAS SOPS 354283 HAS SOUS 218232 HAS SOUPS 218232 WITH SCORE 218586.283
AT ITER 1098 NEW BEST:: SOT 656729 SOS 353643 HAS SOPS 353643 HAS SOUS 217874 HAS SOUPS 217874 WITH SCORE 218227.643
AT ITER 1124 NEW BEST:: SOT 656168 SOS 354635 HAS SOPS 354635 HAS SOUS 217313 HAS SOUPS 217313 WITH SCORE 217667.635
AT ITER 1188 NEW BEST:: SOT 656146 SOS 354612 HAS SOPS 354612 HAS SOUS 217290 HAS SOUPS 217290 WITH SCORE 217644.612
AT ITER 1202 NEW BEST:: SOT 649135 SOS 352453 HAS SOPS 352453 HAS SOUS 211446 HAS SOUPS 211446 WITH SCORE 211798.453
AT ITER 1208 NEW BEST:: SOT 649086 SOS 352404 HAS SOPS 352404 HAS SOUS 211397 HAS SOUPS 211397 WITH SCORE 211749.404
AT ITER 1224 NEW BEST:: SOT 645751 SOS 352685 HAS SOPS 352685 HAS SOUS 208753 HAS SOUPS 208753 WITH SCORE 209105.685
AT ITER 1242 NEW BEST:: SOT 645117 SOS 352050 HAS SOPS 352050 HAS SOUS 208118 HAS SOUPS 208118 WITH SCORE 208470.05
AT ITER 1244 NEW BEST:: SOT 645098 SOS 352031 HAS SOPS 352031 HAS SOUS 208099 HAS SOUPS 208099 WITH SCORE 208451.031
AT ITER 1267 NEW BEST:: SOT 644561 SOS 351845 HAS SOPS 351845 HAS SOUS 207913 HAS SOUPS 207913 WITH SCORE 208264.845
AT ITER 1275 NEW BEST:: SOT 644147 SOS 352489 HAS SOPS 352489 HAS SOUS 207557 HAS SOUPS 207557 WITH SCORE 207909.489
AT ITER 1278 NEW BEST:: SOT 643714 SOS 353945 HAS SOPS 353945 HAS SOUS 207375 HAS SOUPS 207375 WITH SCORE 207728.945
AT ITER 1286 NEW BEST:: SOT 642954 SOS 355408 HAS SOPS 355408 HAS SOUS 206880 HAS SOUPS 206880 WITH SCORE 207235.408
AT ITER 1294 NEW BEST:: SOT 642890 SOS 355343 HAS SOPS 355343 HAS SOUS 206815 HAS SOUPS 206815 WITH SCORE 207170.343
AT ITER 1308 NEW BEST:: SOT 642889 SOS 355342 HAS SOPS 355342 HAS SOUS 206813 HAS SOUPS 206813 WITH SCORE 207168.342
AT ITER 1321 NEW BEST:: SOT 642769 SOS 354810 HAS SOPS 354810 HAS SOUS 206429 HAS SOUPS 206429 WITH SCORE 206783.81
AT ITER 1325 NEW BEST:: SOT 640775 SOS 353566 HAS SOPS 353566 HAS SOUS 204561 HAS SOUPS 204561 WITH SCORE 204914.566
AT ITER 1328 NEW BEST:: SOT 640724 SOS 353770 HAS SOPS 353770 HAS SOUS 204540 HAS SOUPS 204540 WITH SCORE 204893.77
AT ITER 1332 NEW BEST:: SOT 640703 SOS 353749 HAS SOPS 353749 HAS SOUS 204514 HAS SOUPS 204514 WITH SCORE 204867.749
AT ITER 1334 NEW BEST:: SOT 640633 SOS 353678 HAS SOPS 353678 HAS SOUS 204501 HAS SOUPS 204501 WITH SCORE 204854.678
AT ITER 1351 NEW BEST:: SOT 637103 SOS 359190 HAS SOPS 359190 HAS SOUS 202178 HAS SOUPS 202178 WITH SCORE 202537.19
AT ITER 1375 NEW BEST:: SOT 636946 SOS 359033 HAS SOPS 359033 HAS SOUS 202150 HAS SOUPS 202150 WITH SCORE 202509.033
AT ITER 1379 NEW BEST:: SOT 636261 SOS 358348 HAS SOPS 358348 HAS SOUS 200958 HAS SOUPS 200958 WITH SCORE 201316.348
AT ITER 1380 NEW BEST:: SOT 636124 SOS 358211 HAS SOPS 358211 HAS SOUS 200853 HAS SOUPS 200853 WITH SCORE 201211.211
AT ITER 1413 NEW BEST:: SOT 636123 SOS 358210 HAS SOPS 358210 HAS SOUS 200691 HAS SOUPS 200691 WITH SCORE 201049.21
AT ITER 1449 NEW BEST:: SOT 631915 SOS 360607 HAS SOPS 360607 HAS SOUS 197070 HAS SOUPS 197070 WITH SCORE 197430.607
AT ITER 1450 NEW BEST:: SOT 631914 SOS 360308 HAS SOPS 360308 HAS SOUS 197068 HAS SOUPS 197068 WITH SCORE 197428.308
AT ITER 1475 NEW BEST:: SOT 631720 SOS 360114 HAS SOPS 360114 HAS SOUS 196873 HAS SOUPS 196873 WITH SCORE 197233.114
AT ITER 1480 NEW BEST:: SOT 631622 SOS 360016 HAS SOPS 360016 HAS SOUS 196774 HAS SOUPS 196774 WITH SCORE 197134.016
AT ITER 1513 NEW BEST:: SOT 631614 SOS 360008 HAS SOPS 360008 HAS SOUS 196766 HAS SOUPS 196766 WITH SCORE 197126.008
AT ITER 1521 NEW BEST:: SOT 631633 SOS 360027 HAS SOPS 360027 HAS SOUS 196762 HAS SOUPS 196762 WITH SCORE 197122.027
AT ITER 1522 NEW BEST:: SOT 631508 SOS 359902 HAS SOPS 359902 HAS SOUS 196474 HAS SOUPS 196474 WITH SCORE 196833.902
AT ITER 1539 NEW BEST:: SOT 629030 SOS 362666 HAS SOPS 362666 HAS SOUS 194740 HAS SOUPS 194740 WITH SCORE 195102.666
AT ITER 1543 NEW BEST:: SOT 629030 SOS 362665 HAS SOPS 362665 HAS SOUS 194739 HAS SOUPS 194739 WITH SCORE 195101.665
AT ITER 1561 NEW BEST:: SOT 628737 SOS 365320 HAS SOPS 365320 HAS SOUS 194713 HAS SOUPS 194713 WITH SCORE 195078.32
AT ITER 1567 NEW BEST:: SOT 628736 SOS 365319 HAS SOPS 365319 HAS SOUS 194711 HAS SOUPS 194711 WITH SCORE 195076.319
AT ITER 1575 NEW BEST:: SOT 628623 SOS 365205 HAS SOPS 365205 HAS SOUS 194597 HAS SOUPS 194597 WITH SCORE 194962.205
AT ITER 1590 NEW BEST:: SOT 628418 SOS 364806 HAS SOPS 364806 HAS SOUS 194275 HAS SOUPS 194275 WITH SCORE 194639.806
AT ITER 1613 NEW BEST:: SOT 622647 SOS 364936 HAS SOPS 364936 HAS SOUS 189726 HAS SOUPS 189726 WITH SCORE 190090.936
AT ITER 1618 NEW BEST:: SOT 622646 SOS 364718 HAS SOPS 364718 HAS SOUS 189720 HAS SOUPS 189720 WITH SCORE 190084.718
AT ITER 1636 NEW BEST:: SOT 622562 SOS 364634 HAS SOPS 364634 HAS SOUS 189636 HAS SOUPS 189636 WITH SCORE 190000.634
AT ITER 1644 NEW BEST:: SOT 622443 SOS 364515 HAS SOPS 364515 HAS SOUS 189567 HAS SOUPS 189567 WITH SCORE 189931.515
AT ITER 1666 NEW BEST:: SOT 622293 SOS 363867 HAS SOPS 363867 HAS SOUS 189027 HAS SOUPS 189027 WITH SCORE 189390.867
AT ITER 1683 NEW BEST:: SOT 622262 SOS 364065 HAS SOPS 364065 HAS SOUS 188995 HAS SOUPS 188995 WITH SCORE 189359.065
AT ITER 1691 NEW BEST:: SOT 619440 SOS 368105 HAS SOPS 368105 HAS SOUS 187046 HAS SOUPS 187046 WITH SCORE 187414.105
AT ITER 1697 NEW BEST:: SOT 616356 SOS 371756 HAS SOPS 371756 HAS SOUS 184810 HAS SOUPS 184810 WITH SCORE 185181.756
AT ITER 1715 NEW BEST:: SOT 616222 SOS 372315 HAS SOPS 372315 HAS SOUS 184755 HAS SOUPS 184755 WITH SCORE 185127.315
AT ITER 1744 NEW BEST:: SOT 616168 SOS 372261 HAS SOPS 372261 HAS SOUS 184701 HAS SOUPS 184701 WITH SCORE 185073.261
AT ITER 1748 NEW BEST:: SOT 616168 SOS 372285 HAS SOPS 372285 HAS SOUS 184700 HAS SOUPS 184700 WITH SCORE 185072.285
AT ITER 1762 NEW BEST:: SOT 616126 SOS 372243 HAS SOPS 372243 HAS SOUS 184616 HAS SOUPS 184616 WITH SCORE 184988.243
AT ITER 1766 NEW BEST:: SOT 616126 SOS 372243 HAS SOPS 372243 HAS SOUS 184496 HAS SOUPS 184496 WITH SCORE 184868.243
AT ITER 1773 NEW BEST:: SOT 615882 SOS 371999 HAS SOPS 371999 HAS SOUS 184252 HAS SOUPS 184252 WITH SCORE 184623.999
AT ITER 1787 NEW BEST:: SOT 615768 SOS 371885 HAS SOPS 371885 HAS SOUS 184137 HAS SOUPS 184137 WITH SCORE 184508.885
AT ITER 1797 NEW BEST:: SOT 615766 SOS 371883 HAS SOPS 371883 HAS SOUS 184135 HAS SOUPS 184135 WITH SCORE 184506.883
AT ITER 1806 NEW BEST:: SOT 615744 SOS 371861 HAS SOPS 371861 HAS SOUS 184091 HAS SOUPS 184091 WITH SCORE 184462.861
AT ITER 1817 NEW BEST:: SOT 615445 SOS 373832 HAS SOPS 373832 HAS SOUS 184051 HAS SOUPS 184051 WITH SCORE 184424.832
AT ITER 1833 NEW BEST:: SOT 615383 SOS 373770 HAS SOPS 373770 HAS SOUS 183989 HAS SOUPS 183989 WITH SCORE 184362.77
AT ITER 1838 NEW BEST:: SOT 615382 SOS 373769 HAS SOPS 373769 HAS SOUS 183987 HAS SOUPS 183987 WITH SCORE 184360.769
AT ITER 1853 NEW BEST:: SOT 615381 SOS 373768 HAS SOPS 373768 HAS SOUS 183985 HAS SOUPS 183985 WITH SCORE 184358.768
AT ITER 1861 NEW BEST:: SOT 615380 SOS 373767 HAS SOPS 373767 HAS SOUS 183983 HAS SOUPS 183983 WITH SCORE 184356.767
AT ITER 1874 NEW BEST:: SOT 615379 SOS 373766 HAS SOPS 373766 HAS SOUS 183981 HAS SOUPS 183981 WITH SCORE 184354.766
AT ITER 1885 NEW BEST:: SOT 615290 SOS 373677 HAS SOPS 373677 HAS SOUS 183803 HAS SOUPS 183803 WITH SCORE 184176.677
AT ITER 1935 NEW BEST:: SOT 614938 SOS 375720 HAS SOPS 375720 HAS SOUS 183575 HAS SOUPS 183575 WITH SCORE 183950.72
AT ITER 1958 NEW BEST:: SOT 614897 SOS 375679 HAS SOPS 375679 HAS SOUS 183502 HAS SOUPS 183502 WITH SCORE 183877.679
AT ITER 1974 NEW BEST:: SOT 614312 SOS 382092 HAS SOPS 382092 HAS SOUS 183216 HAS SOUPS 183216 WITH SCORE 183598.092
AT ITER 1977 NEW BEST:: SOT 613790 SOS 382841 HAS SOPS 382841 HAS SOUS 182771 HAS SOUPS 182771 WITH SCORE 183153.841
AT ITER 1984 NEW BEST:: SOT 613614 SOS 383176 HAS SOPS 383176 HAS SOUS 182660 HAS SOUPS 182660 WITH SCORE 183043.176
AT ITER 1998 NEW BEST:: SOT 610766 SOS 380524 HAS SOPS 380524 HAS SOUS 179782 HAS SOUPS 179782 WITH SCORE 180162.524
AT ITER 2040 NEW BEST:: SOT 610765 SOS 380523 HAS SOPS 380523 HAS SOUS 179780 HAS SOUPS 179780 WITH SCORE 180160.523
AT ITER 2047 NEW BEST:: SOT 610365 SOS 381933 HAS SOPS 381933 HAS SOUS 179535 HAS SOUPS 179535 WITH SCORE 179916.933
AT ITER 2048 NEW BEST:: SOT 610344 SOS 380690 HAS SOPS 380690 HAS SOUS 179420 HAS SOUPS 179420 WITH SCORE 179800.69
AT ITER 2050 NEW BEST:: SOT 610488 SOS 380558 HAS SOPS 380558 HAS SOUS 179402 HAS SOUPS 179402 WITH SCORE 179782.558
AT ITER 2059 NEW BEST:: SOT 604961 SOS 384812 HAS SOPS 384812 HAS SOUS 175327 HAS SOUPS 175327 WITH SCORE 175711.812
AT ITER 2077 NEW BEST:: SOT 603019 SOS 383148 HAS SOPS 383148 HAS SOUS 173662 HAS SOUPS 173662 WITH SCORE 174045.148
AT ITER 2096 NEW BEST:: SOT 603060 SOS 383189 HAS SOPS 383189 HAS SOUS 173528 HAS SOUPS 173528 WITH SCORE 173911.189
AT ITER 2097 NEW BEST:: SOT 603023 SOS 383152 HAS SOPS 383152 HAS SOUS 173491 HAS SOUPS 173491 WITH SCORE 173874.152
AT ITER 2121 NEW BEST:: SOT 602989 SOS 383118 HAS SOPS 383118 HAS SOUS 173433 HAS SOUPS 173433 WITH SCORE 173816.118
AT ITER 2133 NEW BEST:: SOT 602979 SOS 383108 HAS SOPS 383108 HAS SOUS 173423 HAS SOUPS 173423 WITH SCORE 173806.108
AT ITER 2135 NEW BEST:: SOT 602811 SOS 382786 HAS SOPS 382786 HAS SOUS 173087 HAS SOUPS 173087 WITH SCORE 173469.786
AT ITER 2155 NEW BEST:: SOT 602810 SOS 382785 HAS SOPS 382785 HAS SOUS 173085 HAS SOUPS 173085 WITH SCORE 173467.785
AT ITER 2202 NEW BEST:: SOT 602927 SOS 382682 HAS SOPS 382682 HAS SOUS 173071 HAS SOUPS 173071 WITH SCORE 173453.682
AT ITER 2206 NEW BEST:: SOT 602159 SOS 384516 HAS SOPS 384516 HAS SOUS 172467 HAS SOUPS 172467 WITH SCORE 172851.516
AT ITER 2211 NEW BEST:: SOT 602036 SOS 384392 HAS SOPS 384392 HAS SOUS 172343 HAS SOUPS 172343 WITH SCORE 172727.392
AT ITER 2245 NEW BEST:: SOT 601708 SOS 384208 HAS SOPS 384208 HAS SOUS 171577 HAS SOUPS 171577 WITH SCORE 171961.208
AT ITER 2272 NEW BEST:: SOT 601738 SOS 384238 HAS SOPS 384238 HAS SOUS 171576 HAS SOUPS 171576 WITH SCORE 171960.238
AT ITER 2281 NEW BEST:: SOT 601738 SOS 384237 HAS SOPS 384237 HAS SOUS 171570 HAS SOUPS 171570 WITH SCORE 171954.237
AT ITER 2296 NEW BEST:: SOT 600986 SOS 389342 HAS SOPS 389342 HAS SOUS 171413 HAS SOUPS 171413 WITH SCORE 171802.342
AT ITER 2303 NEW BEST:: SOT 594443 SOS 388404 HAS SOPS 388404 HAS SOUS 166320 HAS SOUPS 166320 WITH SCORE 166708.404
AT ITER 2369 NEW BEST:: SOT 594273 SOS 387948 HAS SOPS 387948 HAS SOUS 165434 HAS SOUPS 165434 WITH SCORE 165821.948
AT ITER 2371 NEW BEST:: SOT 594215 SOS 387890 HAS SOPS 387890 HAS SOUS 165198 HAS SOUPS 165198 WITH SCORE 165585.89
AT ITER 2380 NEW BEST:: SOT 591385 SOS 386467 HAS SOPS 386467 HAS SOUS 162759 HAS SOUPS 162759 WITH SCORE 163145.467
AT ITER 2404 NEW BEST:: SOT 590806 SOS 385701 HAS SOPS 385701 HAS SOUS 162134 HAS SOUPS 162134 WITH SCORE 162519.701
AT ITER 2450 NEW BEST:: SOT 590715 SOS 385609 HAS SOPS 385609 HAS SOUS 162042 HAS SOUPS 162042 WITH SCORE 162427.609
AT ITER 2453 NEW BEST:: SOT 590714 SOS 385421 HAS SOPS 385421 HAS SOUS 162040 HAS SOUPS 162040 WITH SCORE 162425.421
AT ITER 2457 NEW BEST:: SOT 588783 SOS 388940 HAS SOPS 388940 HAS SOUS 161104 HAS SOUPS 161104 WITH SCORE 161492.94
AT ITER 2482 NEW BEST:: SOT 586445 SOS 389007 HAS SOPS 389007 HAS SOUS 159299 HAS SOUPS 159299 WITH SCORE 159688.007
AT ITER 2485 NEW BEST:: SOT 586383 SOS 388824 HAS SOPS 388824 HAS SOUS 159175 HAS SOUPS 159175 WITH SCORE 159563.824
AT ITER 2489 NEW BEST:: SOT 586383 SOS 388824 HAS SOPS 388824 HAS SOUS 159091 HAS SOUPS 159091 WITH SCORE 159479.824
AT ITER 2499 NEW BEST:: SOT 586383 SOS 388824 HAS SOPS 388824 HAS SOUS 159076 HAS SOUPS 159076 WITH SCORE 159464.824
AT ITER 2516 NEW BEST:: SOT 583934 SOS 387191 HAS SOPS 387191 HAS SOUS 156762 HAS SOUPS 156762 WITH SCORE 157149.191
AT ITER 2535 NEW BEST:: SOT 584084 SOS 387341 HAS SOPS 387341 HAS SOUS 156376 HAS SOUPS 156376 WITH SCORE 156763.341
AT ITER 2539 NEW BEST:: SOT 584128 SOS 387385 HAS SOPS 387385 HAS SOUS 156327 HAS SOUPS 156327 WITH SCORE 156714.385
AT ITER 2552 NEW BEST:: SOT 584016 SOS 387273 HAS SOPS 387273 HAS SOUS 156215 HAS SOUPS 156215 WITH SCORE 156602.273
AT ITER 2560 NEW BEST:: SOT 583942 SOS 387199 HAS SOPS 387199 HAS SOUS 156067 HAS SOUPS 156067 WITH SCORE 156454.199
AT ITER 2579 NEW BEST:: SOT 583906 SOS 387163 HAS SOPS 387163 HAS SOUS 156031 HAS SOUPS 156031 WITH SCORE 156418.163
AT ITER 2593 NEW BEST:: SOT 584024 SOS 387281 HAS SOPS 387281 HAS SOUS 155942 HAS SOUPS 155942 WITH SCORE 156329.281
AT ITER 2610 NEW BEST:: SOT 583944 SOS 387201 HAS SOPS 387201 HAS SOUS 155902 HAS SOUPS 155902 WITH SCORE 156289.201
AT ITER 2619 NEW BEST:: SOT 583943 SOS 387200 HAS SOPS 387200 HAS SOUS 155896 HAS SOUPS 155896 WITH SCORE 156283.2
AT ITER 2630 NEW BEST:: SOT 583908 SOS 387165 HAS SOPS 387165 HAS SOUS 155893 HAS SOUPS 155893 WITH SCORE 156280.165
AT ITER 2641 NEW BEST:: SOT 583769 SOS 387026 HAS SOPS 387026 HAS SOUS 155754 HAS SOUPS 155754 WITH SCORE 156141.026
AT ITER 2649 NEW BEST:: SOT 583768 SOS 387025 HAS SOPS 387025 HAS SOUS 155752 HAS SOUPS 155752 WITH SCORE 156139.025
AT ITER 2655 NEW BEST:: SOT 583641 SOS 386838 HAS SOPS 386838 HAS SOUS 155565 HAS SOUPS 155565 WITH SCORE 155951.838
AT ITER 2660 NEW BEST:: SOT 583641 SOS 386852 HAS SOPS 386852 HAS SOUS 155564 HAS SOUPS 155564 WITH SCORE 155950.852
AT ITER 2670 NEW BEST:: SOT 583513 SOS 386724 HAS SOPS 386724 HAS SOUS 155432 HAS SOUPS 155432 WITH SCORE 155818.724
AT ITER 2719 NEW BEST:: SOT 583343 SOS 386554 HAS SOPS 386554 HAS SOUS 155262 HAS SOUPS 155262 WITH SCORE 155648.554
AT ITER 2743 NEW BEST:: SOT 583280 SOS 386491 HAS SOPS 386491 HAS SOUS 155215 HAS SOUPS 155215 WITH SCORE 155601.491
AT ITER 2763 NEW BEST:: SOT 583232 SOS 386443 HAS SOPS 386443 HAS SOUS 155117 HAS SOUPS 155117 WITH SCORE 155503.443
AT ITER 2771 NEW BEST:: SOT 583231 SOS 386442 HAS SOPS 386442 HAS SOUS 155115 HAS SOUPS 155115 WITH SCORE 155501.442
AT ITER 2780 NEW BEST:: SOT 583161 SOS 386372 HAS SOPS 386372 HAS SOUS 155045 HAS SOUPS 155045 WITH SCORE 155431.372
AT ITER 2819 NEW BEST:: SOT 583121 SOS 386254 HAS SOPS 386254 HAS SOUS 154965 HAS SOUPS 154965 WITH SCORE 155351.254
AT ITER 2856 NEW BEST:: SOT 582399 SOS 391033 HAS SOPS 391033 HAS SOUS 154851 HAS SOUPS 154851 WITH SCORE 155242.033
AT ITER 2878 NEW BEST:: SOT 581993 SOS 392047 HAS SOPS 392047 HAS SOUS 154525 HAS SOUPS 154525 WITH SCORE 154917.047
AT ITER 2887 NEW BEST:: SOT 581851 SOS 391905 HAS SOPS 391905 HAS SOUS 154380 HAS SOUPS 154380 WITH SCORE 154771.905
AT ITER 2915 NEW BEST:: SOT 581582 SOS 395361 HAS SOPS 395361 HAS SOUS 154111 HAS SOUPS 154111 WITH SCORE 154506.361
AT ITER 2924 NEW BEST:: SOT 581535 SOS 395360 HAS SOPS 395360 HAS SOUS 154063 HAS SOUPS 154063 WITH SCORE 154458.36
AT ITER 2927 NEW BEST:: SOT 581534 SOS 395359 HAS SOPS 395359 HAS SOUS 154061 HAS SOUPS 154061 WITH SCORE 154456.359
AT ITER 2937 NEW BEST:: SOT 581533 SOS 395358 HAS SOPS 395358 HAS SOUS 154059 HAS SOUPS 154059 WITH SCORE 154454.358
AT ITER 2966 NEW BEST:: SOT 581532 SOS 395357 HAS SOPS 395357 HAS SOUS 154057 HAS SOUPS 154057 WITH SCORE 154452.357
AT ITER 2970 NEW BEST:: SOT 581492 SOS 395317 HAS SOPS 395317 HAS SOUS 153977 HAS SOUPS 153977 WITH SCORE 154372.317
AT ITER 2983 NEW BEST:: SOT 581492 SOS 395317 HAS SOPS 395317 HAS SOUS 153931 HAS SOUPS 153931 WITH SCORE 154326.317
AT ITER 3034 NEW BEST:: SOT 581492 SOS 395317 HAS SOPS 395317 HAS SOUS 153901 HAS SOUPS 153901 WITH SCORE 154296.317
AT ITER 3056 NEW BEST:: SOT 581491 SOS 395312 HAS SOPS 395312 HAS SOUS 153899 HAS SOUPS 153899 WITH SCORE 154294.312
AT ITER 3060 NEW BEST:: SOT 581490 SOS 395311 HAS SOPS 395311 HAS SOUS 153897 HAS SOUPS 153897 WITH SCORE 154292.311
AT ITER 3061 NEW BEST:: SOT 581489 SOS 395303 HAS SOPS 395303 HAS SOUS 153895 HAS SOUPS 153895 WITH SCORE 154290.303
AT ITER 3064 NEW BEST:: SOT 581488 SOS 395302 HAS SOPS 395302 HAS SOUS 153893 HAS SOUPS 153893 WITH SCORE 154288.302
AT ITER 3074 NEW BEST:: SOT 581634 SOS 395448 HAS SOPS 395448 HAS SOUS 153840 HAS SOUPS 153840 WITH SCORE 154235.448
AT ITER 3095 NEW BEST:: SOT 581702 SOS 395516 HAS SOPS 395516 HAS SOUS 153819 HAS SOUPS 153819 WITH SCORE 154214.516
AT ITER 3110 NEW BEST:: SOT 581419 SOS 395610 HAS SOPS 395610 HAS SOUS 153253 HAS SOUPS 153253 WITH SCORE 153648.61
AT ITER 3132 NEW BEST:: SOT 581375 SOS 395566 HAS SOPS 395566 HAS SOUS 153209 HAS SOUPS 153209 WITH SCORE 153604.566
AT ITER 3137 NEW BEST:: SOT 581198 SOS 395389 HAS SOPS 395389 HAS SOUS 153027 HAS SOUPS 153027 WITH SCORE 153422.389
AT ITER 3147 NEW BEST:: SOT 581198 SOS 394276 HAS SOPS 394276 HAS SOUS 152974 HAS SOUPS 152974 WITH SCORE 153368.276
AT ITER 3162 NEW BEST:: SOT 581145 SOS 394223 HAS SOPS 394223 HAS SOUS 152921 HAS SOUPS 152921 WITH SCORE 153315.223
AT ITER 3167 NEW BEST:: SOT 581144 SOS 394222 HAS SOPS 394222 HAS SOUS 152919 HAS SOUPS 152919 WITH SCORE 153313.222
AT ITER 3280 NEW BEST:: SOT 581143 SOS 394221 HAS SOPS 394221 HAS SOUS 152917 HAS SOUPS 152917 WITH SCORE 153311.221
AT ITER 3288 NEW BEST:: SOT 580696 SOS 395426 HAS SOPS 395426 HAS SOUS 152698 HAS SOUPS 152698 WITH SCORE 153093.426
AT ITER 3305 NEW BEST:: SOT 580695 SOS 395425 HAS SOPS 395425 HAS SOUS 152696 HAS SOUPS 152696 WITH SCORE 153091.425
AT ITER 3320 NEW BEST:: SOT 580671 SOS 395401 HAS SOPS 395401 HAS SOUS 152671 HAS SOUPS 152671 WITH SCORE 153066.401
AT ITER 3326 NEW BEST:: SOT 580642 SOS 395641 HAS SOPS 395641 HAS SOUS 152048 HAS SOUPS 152048 WITH SCORE 152443.641
AT ITER 3343 NEW BEST:: SOT 580642 SOS 395641 HAS SOPS 395641 HAS SOUS 151969 HAS SOUPS 151969 WITH SCORE 152364.641
AT ITER 3390 NEW BEST:: SOT 580578 SOS 395577 HAS SOPS 395577 HAS SOUS 151703 HAS SOUPS 151703 WITH SCORE 152098.577
AT ITER 3404 NEW BEST:: SOT 580577 SOS 395576 HAS SOPS 395576 HAS SOUS 151701 HAS SOUPS 151701 WITH SCORE 152096.576
AT ITER 3414 NEW BEST:: SOT 580662 SOS 395661 HAS SOPS 395661 HAS SOUS 151694 HAS SOUPS 151694 WITH SCORE 152089.661
AT ITER 3424 NEW BEST:: SOT 580689 SOS 395645 HAS SOPS 395645 HAS SOUS 151577 HAS SOUPS 151577 WITH SCORE 151972.645
AT ITER 3439 NEW BEST:: SOT 580622 SOS 395578 HAS SOPS 395578 HAS SOUS 151544 HAS SOUPS 151544 WITH SCORE 151939.578
AT ITER 3475 NEW BEST:: SOT 580621 SOS 395577 HAS SOPS 395577 HAS SOUS 151440 HAS SOUPS 151440 WITH SCORE 151835.577
AT ITER 3512 NEW BEST:: SOT 580620 SOS 395576 HAS SOPS 395576 HAS SOUS 151438 HAS SOUPS 151438 WITH SCORE 151833.576
AT ITER 3532 NEW BEST:: SOT 580619 SOS 395596 HAS SOPS 395596 HAS SOUS 151436 HAS SOUPS 151436 WITH SCORE 151831.596
AT ITER 3584 NEW BEST:: SOT 580619 SOS 395594 HAS SOPS 395594 HAS SOUS 151434 HAS SOUPS 151434 WITH SCORE 151829.594
AT ITER 3596 NEW BEST:: SOT 580293 SOS 395316 HAS SOPS 395316 HAS SOUS 151187 HAS SOUPS 151187 WITH SCORE 151582.316
AT ITER 3620 NEW BEST:: SOT 580292 SOS 395315 HAS SOPS 395315 HAS SOUS 151185 HAS SOUPS 151185 WITH SCORE 151580.315
AT ITER 3674 NEW BEST:: SOT 580282 SOS 395267 HAS SOPS 395267 HAS SOUS 151114 HAS SOUPS 151114 WITH SCORE 151509.267
AT ITER 3740 NEW BEST:: SOT 580279 SOS 395264 HAS SOPS 395264 HAS SOUS 151031 HAS SOUPS 151031 WITH SCORE 151426.264
AT ITER 3751 NEW BEST:: SOT 580278 SOS 395223 HAS SOPS 395223 HAS SOUS 151029 HAS SOUPS 151029 WITH SCORE 151424.223
AT ITER 3755 NEW BEST:: SOT 579993 SOS 397281 HAS SOPS 397281 HAS SOUS 150744 HAS SOUPS 150744 WITH SCORE 151141.281
AT ITER 3763 NEW BEST:: SOT 580039 SOS 397327 HAS SOPS 397327 HAS SOUS 150670 HAS SOUPS 150670 WITH SCORE 151067.327
AT ITER 3786 NEW BEST:: SOT 579783 SOS 397129 HAS SOPS 397129 HAS SOUS 150430 HAS SOUPS 150430 WITH SCORE 150827.129
AT ITER 3802 NEW BEST:: SOT 579783 SOS 397095 HAS SOPS 397095 HAS SOUS 150430 HAS SOUPS 150430 WITH SCORE 150827.095
AT ITER 3803 NEW BEST:: SOT 579782 SOS 397094 HAS SOPS 397094 HAS SOUS 150428 HAS SOUPS 150428 WITH SCORE 150825.094
AT ITER 3848 NEW BEST:: SOT 579681 SOS 396993 HAS SOPS 396993 HAS SOUS 150226 HAS SOUPS 150226 WITH SCORE 150622.993
AT ITER 3868 NEW BEST:: SOT 579469 SOS 396781 HAS SOPS 396781 HAS SOUS 150010 HAS SOUPS 150010 WITH SCORE 150406.781
AT ITER 3893 NEW BEST:: SOT 579419 SOS 396731 HAS SOPS 396731 HAS SOUS 149910 HAS SOUPS 149910 WITH SCORE 150306.731
AT ITER 3953 NEW BEST:: SOT 579418 SOS 396730 HAS SOPS 396730 HAS SOUS 149908 HAS SOUPS 149908 WITH SCORE 150304.73
AT ITER 3960 NEW BEST:: SOT 579337 SOS 396649 HAS SOPS 396649 HAS SOUS 149794 HAS SOUPS 149794 WITH SCORE 150190.649
AT ITER 3976 NEW BEST:: SOT 578948 SOS 395872 HAS SOPS 395872 HAS SOUS 149016 HAS SOUPS 149016 WITH SCORE 149411.872
AT ITER 3981 NEW BEST:: SOT 578764 SOS 395688 HAS SOPS 395688 HAS SOUS 148648 HAS SOUPS 148648 WITH SCORE 149043.688
AT ITER 3994 NEW BEST:: SOT 578764 SOS 395693 HAS SOPS 395693 HAS SOUS 148647 HAS SOUPS 148647 WITH SCORE 149042.693
AT ITER 4010 NEW BEST:: SOT 575809 SOS 406195 HAS SOPS 406195 HAS SOUS 146773 HAS SOUPS 146773 WITH SCORE 147179.195
AT ITER 4013 NEW BEST:: SOT 575809 SOS 406195 HAS SOPS 406195 HAS SOUS 146745 HAS SOUPS 146745 WITH SCORE 147151.195
AT ITER 4014 NEW BEST:: SOT 575755 SOS 406141 HAS SOPS 406141 HAS SOUS 146664 HAS SOUPS 146664 WITH SCORE 147070.141
AT ITER 4052 NEW BEST:: SOT 575636 SOS 406022 HAS SOPS 406022 HAS SOUS 146426 HAS SOUPS 146426 WITH SCORE 146832.022
AT ITER 4082 NEW BEST:: SOT 575750 SOS 406136 HAS SOPS 406136 HAS SOUS 146374 HAS SOUPS 146374 WITH SCORE 146780.136
AT ITER 4103 NEW BEST:: SOT 576163 SOS 406549 HAS SOPS 406549 HAS SOUS 146364 HAS SOUPS 146364 WITH SCORE 146770.549
AT ITER 4107 NEW BEST:: SOT 575967 SOS 406289 HAS SOPS 406289 HAS SOUS 145972 HAS SOUPS 145972 WITH SCORE 146378.289
AT ITER 4115 NEW BEST:: SOT 575674 SOS 405996 HAS SOPS 405996 HAS SOUS 145093 HAS SOUPS 145093 WITH SCORE 145498.996
AT ITER 4134 NEW BEST:: SOT 575673 SOS 405995 HAS SOPS 405995 HAS SOUS 145091 HAS SOUPS 145091 WITH SCORE 145496.995
AT ITER 4141 NEW BEST:: SOT 575668 SOS 405990 HAS SOPS 405990 HAS SOUS 145081 HAS SOUPS 145081 WITH SCORE 145486.99
AT ITER 4146 NEW BEST:: SOT 575668 SOS 405990 HAS SOPS 405990 HAS SOUS 145004 HAS SOUPS 145004 WITH SCORE 145409.99
AT ITER 4150 NEW BEST:: SOT 575622 SOS 405944 HAS SOPS 405944 HAS SOUS 144912 HAS SOUPS 144912 WITH SCORE 145317.944
AT ITER 4164 NEW BEST:: SOT 575577 SOS 406241 HAS SOPS 406241 HAS SOUS 144886 HAS SOUPS 144886 WITH SCORE 145292.241
AT ITER 4169 NEW BEST:: SOT 575547 SOS 406210 HAS SOPS 406210 HAS SOUS 144855 HAS SOUPS 144855 WITH SCORE 145261.21
AT ITER 4182 NEW BEST:: SOT 575462 SOS 406493 HAS SOPS 406493 HAS SOUS 144816 HAS SOUPS 144816 WITH SCORE 145222.493
AT ITER 4193 NEW BEST:: SOT 575331 SOS 406231 HAS SOPS 406231 HAS SOUS 144685 HAS SOUPS 144685 WITH SCORE 145091.231
AT ITER 4209 NEW BEST:: SOT 575139 SOS 406039 HAS SOPS 406039 HAS SOUS 144397 HAS SOUPS 144397 WITH SCORE 144803.039
AT ITER 4226 NEW BEST:: SOT 575138 SOS 406038 HAS SOPS 406038 HAS SOUS 144395 HAS SOUPS 144395 WITH SCORE 144801.038
AT ITER 4229 NEW BEST:: SOT 574984 SOS 405265 HAS SOPS 405265 HAS SOUS 144087 HAS SOUPS 144087 WITH SCORE 144492.265
AT ITER 4252 NEW BEST:: SOT 574979 SOS 405260 HAS SOPS 405260 HAS SOUS 144077 HAS SOUPS 144077 WITH SCORE 144482.26
AT ITER 4293 NEW BEST:: SOT 574968 SOS 405249 HAS SOPS 405249 HAS SOUS 144055 HAS SOUPS 144055 WITH SCORE 144460.249
AT ITER 4337 NEW BEST:: SOT 574947 SOS 405228 HAS SOPS 405228 HAS SOUS 144055 HAS SOUPS 144055 WITH SCORE 144460.228
AT ITER 4363 NEW BEST:: SOT 574820 SOS 405101 HAS SOPS 405101 HAS SOUS 143885 HAS SOUPS 143885 WITH SCORE 144290.101
AT ITER 4372 NEW BEST:: SOT 574676 SOS 404957 HAS SOPS 404957 HAS SOUS 143597 HAS SOUPS 143597 WITH SCORE 144001.957
AT ITER 4375 NEW BEST:: SOT 574647 SOS 404928 HAS SOPS 404928 HAS SOUS 143568 HAS SOUPS 143568 WITH SCORE 143972.928
AT ITER 4379 NEW BEST:: SOT 574606 SOS 404887 HAS SOPS 404887 HAS SOUS 143486 HAS SOUPS 143486 WITH SCORE 143890.887
AT ITER 4384 NEW BEST:: SOT 574605 SOS 404886 HAS SOPS 404886 HAS SOUS 143484 HAS SOUPS 143484 WITH SCORE 143888.886
AT ITER 4417 NEW BEST:: SOT 574434 SOS 404715 HAS SOPS 404715 HAS SOUS 143413 HAS SOUPS 143413 WITH SCORE 143817.715
AT ITER 4442 NEW BEST:: SOT 574433 SOS 403482 HAS SOPS 403482 HAS SOUS 143411 HAS SOUPS 143411 WITH SCORE 143814.482
AT ITER 4455 NEW BEST:: SOT 574433 SOS 403482 HAS SOPS 403482 HAS SOUS 143409 HAS SOUPS 143409 WITH SCORE 143812.482
AT ITER 4457 NEW BEST:: SOT 574407 SOS 403456 HAS SOPS 403456 HAS SOUS 143397 HAS SOUPS 143397 WITH SCORE 143800.456
AT ITER 4480 NEW BEST:: SOT 574397 SOS 403446 HAS SOPS 403446 HAS SOUS 143397 HAS SOUPS 143397 WITH SCORE 143800.446
AT ITER 4489 NEW BEST:: SOT 574396 SOS 403445 HAS SOPS 403445 HAS SOUS 143395 HAS SOUPS 143395 WITH SCORE 143798.445
AT ITER 4512 NEW BEST:: SOT 574320 SOS 403369 HAS SOPS 403369 HAS SOUS 143319 HAS SOUPS 143319 WITH SCORE 143722.369
AT ITER 4515 NEW BEST:: SOT 574295 SOS 403344 HAS SOPS 403344 HAS SOUS 143269 HAS SOUPS 143269 WITH SCORE 143672.344
AT ITER 4516 NEW BEST:: SOT 573964 SOS 403013 HAS SOPS 403013 HAS SOUS 142875 HAS SOUPS 142875 WITH SCORE 143278.013
AT ITER 4526 NEW BEST:: SOT 573964 SOS 402995 HAS SOPS 402995 HAS SOUS 142875 HAS SOUPS 142875 WITH SCORE 143277.995
AT ITER 4531 NEW BEST:: SOT 573932 SOS 402963 HAS SOPS 402963 HAS SOUS 142811 HAS SOUPS 142811 WITH SCORE 143213.963
AT ITER 4548 NEW BEST:: SOT 573868 SOS 402899 HAS SOPS 402899 HAS SOUS 142642 HAS SOUPS 142642 WITH SCORE 143044.899
AT ITER 4553 NEW BEST:: SOT 573787 SOS 402818 HAS SOPS 402818 HAS SOUS 142480 HAS SOUPS 142480 WITH SCORE 142882.818
AT ITER 4558 NEW BEST:: SOT 573768 SOS 402799 HAS SOPS 402799 HAS SOUS 142480 HAS SOUPS 142480 WITH SCORE 142882.799
AT ITER 4579 NEW BEST:: SOT 573802 SOS 402833 HAS SOPS 402833 HAS SOUS 142409 HAS SOUPS 142409 WITH SCORE 142811.833
AT ITER 4643 NEW BEST:: SOT 573801 SOS 402832 HAS SOPS 402832 HAS SOUS 142407 HAS SOUPS 142407 WITH SCORE 142809.832
AT ITER 4644 NEW BEST:: SOT 573889 SOS 402920 HAS SOPS 402920 HAS SOUS 142405 HAS SOUPS 142405 WITH SCORE 142807.92
AT ITER 4650 NEW BEST:: SOT 573888 SOS 402919 HAS SOPS 402919 HAS SOUS 142403 HAS SOUPS 142403 WITH SCORE 142805.919
AT ITER 4695 NEW BEST:: SOT 573886 SOS 402917 HAS SOPS 402917 HAS SOUS 142401 HAS SOUPS 142401 WITH SCORE 142803.917
AT ITER 4702 NEW BEST:: SOT 573860 SOS 402891 HAS SOPS 402891 HAS SOUS 142349 HAS SOUPS 142349 WITH SCORE 142751.891
AT ITER 4717 NEW BEST:: SOT 573859 SOS 402890 HAS SOPS 402890 HAS SOUS 142347 HAS SOUPS 142347 WITH SCORE 142749.89
AT ITER 4757 NEW BEST:: SOT 574017 SOS 402770 HAS SOPS 402770 HAS SOUS 142289 HAS SOUPS 142289 WITH SCORE 142691.77
AT ITER 4760 NEW BEST:: SOT 574015 SOS 402767 HAS SOPS 402767 HAS SOUS 142286 HAS SOUPS 142286 WITH SCORE 142688.767
AT ITER 4773 NEW BEST:: SOT 573955 SOS 402751 HAS SOPS 402751 HAS SOUS 142166 HAS SOUPS 142166 WITH SCORE 142568.751
AT ITER 4834 NEW BEST:: SOT 573940 SOS 402736 HAS SOPS 402736 HAS SOUS 142151 HAS SOUPS 142151 WITH SCORE 142553.736
AT ITER 4837 NEW BEST:: SOT 573982 SOS 402778 HAS SOPS 402778 HAS SOUS 142066 HAS SOUPS 142066 WITH SCORE 142468.778
AT ITER 4844 NEW BEST:: SOT 573924 SOS 402720 HAS SOPS 402720 HAS SOUS 141950 HAS SOUPS 141950 WITH SCORE 142352.72
AT ITER 4848 NEW BEST:: SOT 573924 SOS 402720 HAS SOPS 402720 HAS SOUS 141946 HAS SOUPS 141946 WITH SCORE 142348.72
AT ITER 4852 NEW BEST:: SOT 573917 SOS 402552 HAS SOPS 402552 HAS SOUS 141932 HAS SOUPS 141932 WITH SCORE 142334.552
AT ITER 4874 NEW BEST:: SOT 573825 SOS 402460 HAS SOPS 402460 HAS SOUS 141930 HAS SOUPS 141930 WITH SCORE 142332.46
AT ITER 4914 NEW BEST:: SOT 573824 SOS 402338 HAS SOPS 402338 HAS SOUS 141928 HAS SOUPS 141928 WITH SCORE 142330.338
AT ITER 4917 NEW BEST:: SOT 573678 SOS 404391 HAS SOPS 404391 HAS SOUS 141889 HAS SOUPS 141889 WITH SCORE 142293.391
AT ITER 4947 NEW BEST:: SOT 573781 SOS 402433 HAS SOPS 402433 HAS SOUS 141889 HAS SOUPS 141889 WITH SCORE 142291.433
AT ITER 4959 NEW BEST:: SOT 573781 SOS 402432 HAS SOPS 402432 HAS SOUS 141889 HAS SOUPS 141889 WITH SCORE 142291.432
AT ITER 4973 NEW BEST:: SOT 573745 SOS 402396 HAS SOPS 402396 HAS SOUS 141853 HAS SOUPS 141853 WITH SCORE 142255.396
AT ITER 4992 NEW BEST:: SOT 573742 SOS 402393 HAS SOPS 402393 HAS SOUS 141835 HAS SOUPS 141835 WITH SCORE 142237.393
AT ITER 5013 NEW BEST:: SOT 573080 SOS 401744 HAS SOPS 401744 HAS SOUS 141310 HAS SOUPS 141310 WITH SCORE 141711.744
AT ITER 5020 NEW BEST:: SOT 573079 SOS 401743 HAS SOPS 401743 HAS SOUS 141308 HAS SOUPS 141308 WITH SCORE 141709.743
AT ITER 5042 NEW BEST:: SOT 573078 SOS 401742 HAS SOPS 401742 HAS SOUS 141306 HAS SOUPS 141306 WITH SCORE 141707.742
AT ITER 5058 NEW BEST:: SOT 573037 SOS 401701 HAS SOPS 401701 HAS SOUS 141225 HAS SOUPS 141225 WITH SCORE 141626.701
AT ITER 5073 NEW BEST:: SOT 573036 SOS 401700 HAS SOPS 401700 HAS SOUS 141223 HAS SOUPS 141223 WITH SCORE 141624.7
AT ITER 5118 NEW BEST:: SOT 573025 SOS 401678 HAS SOPS 401678 HAS SOUS 141212 HAS SOUPS 141212 WITH SCORE 141613.678
AT ITER 5121 NEW BEST:: SOT 573222 SOS 401875 HAS SOPS 401875 HAS SOUS 141202 HAS SOUPS 141202 WITH SCORE 141603.875
AT ITER 5162 NEW BEST:: SOT 573221 SOS 401874 HAS SOPS 401874 HAS SOUS 141200 HAS SOUPS 141200 WITH SCORE 141601.874
AT ITER 5215 NEW BEST:: SOT 573221 SOS 401875 HAS SOPS 401875 HAS SOUS 141199 HAS SOUPS 141199 WITH SCORE 141600.875
AT ITER 5277 NEW BEST:: SOT 573212 SOS 401866 HAS SOPS 401866 HAS SOUS 141190 HAS SOUPS 141190 WITH SCORE 141591.866
AT ITER 5299 NEW BEST:: SOT 573304 SOS 401958 HAS SOPS 401958 HAS SOUS 141154 HAS SOUPS 141154 WITH SCORE 141555.958
AT ITER 5326 NEW BEST:: SOT 573229 SOS 402720 HAS SOPS 402720 HAS SOUS 141152 HAS SOUPS 141152 WITH SCORE 141554.72
AT ITER 5332 NEW BEST:: SOT 573132 SOS 402623 HAS SOPS 402623 HAS SOUS 140958 HAS SOUPS 140958 WITH SCORE 141360.623
AT ITER 5353 NEW BEST:: SOT 573131 SOS 402622 HAS SOPS 402622 HAS SOUS 140956 HAS SOUPS 140956 WITH SCORE 141358.622
AT ITER 5374 NEW BEST:: SOT 573073 SOS 402564 HAS SOPS 402564 HAS SOUS 140840 HAS SOUPS 140840 WITH SCORE 141242.564
AT ITER 5384 NEW BEST:: SOT 573054 SOS 402545 HAS SOPS 402545 HAS SOUS 140793 HAS SOUPS 140793 WITH SCORE 141195.545
AT ITER 5410 NEW BEST:: SOT 573273 SOS 402515 HAS SOPS 402515 HAS SOUS 140792 HAS SOUPS 140792 WITH SCORE 141194.515
AT ITER 5431 NEW BEST:: SOT 573272 SOS 402514 HAS SOPS 402514 HAS SOUS 140790 HAS SOUPS 140790 WITH SCORE 141192.514
AT ITER 5455 NEW BEST:: SOT 573264 SOS 402506 HAS SOPS 402506 HAS SOUS 140774 HAS SOUPS 140774 WITH SCORE 141176.506
AT ITER 5471 NEW BEST:: SOT 573263 SOS 402505 HAS SOPS 402505 HAS SOUS 140772 HAS SOUPS 140772 WITH SCORE 141174.505
AT ITER 5485 NEW BEST:: SOT 573254 SOS 402496 HAS SOPS 402496 HAS SOUS 140754 HAS SOUPS 140754 WITH SCORE 141156.496
AT ITER 5662 NEW BEST:: SOT 573110 SOS 402220 HAS SOPS 402220 HAS SOUS 140466 HAS SOUPS 140466 WITH SCORE 140868.22
AT ITER 5668 NEW BEST:: SOT 573076 SOS 402186 HAS SOPS 402186 HAS SOUS 140398 HAS SOUPS 140398 WITH SCORE 140800.186
AT ITER 5677 NEW BEST:: SOT 572972 SOS 402082 HAS SOPS 402082 HAS SOUS 140190 HAS SOUPS 140190 WITH SCORE 140592.082
AT ITER 5720 NEW BEST:: SOT 572736 SOS 401846 HAS SOPS 401846 HAS SOUS 139904 HAS SOUPS 139904 WITH SCORE 140305.846
AT ITER 5728 NEW BEST:: SOT 572751 SOS 401768 HAS SOPS 401768 HAS SOUS 139790 HAS SOUPS 139790 WITH SCORE 140191.768
AT ITER 5743 NEW BEST:: SOT 572729 SOS 401746 HAS SOPS 401746 HAS SOUS 139768 HAS SOUPS 139768 WITH SCORE 140169.746
AT ITER 5791 NEW BEST:: SOT 572702 SOS 401719 HAS SOPS 401719 HAS SOUS 139744 HAS SOUPS 139744 WITH SCORE 140145.719
AT ITER 5807 NEW BEST:: SOT 572701 SOS 401718 HAS SOPS 401718 HAS SOUS 139742 HAS SOUPS 139742 WITH SCORE 140143.718
AT ITER 5810 NEW BEST:: SOT 572649 SOS 401666 HAS SOPS 401666 HAS SOUS 139739 HAS SOUPS 139739 WITH SCORE 140140.666
AT ITER 5840 NEW BEST:: SOT 572528 SOS 401545 HAS SOPS 401545 HAS SOUS 139420 HAS SOUPS 139420 WITH SCORE 139821.545
AT ITER 5855 NEW BEST:: SOT 572518 SOS 401535 HAS SOPS 401535 HAS SOUS 139400 HAS SOUPS 139400 WITH SCORE 139801.535
AT ITER 5880 NEW BEST:: SOT 572145 SOS 400805 HAS SOPS 400805 HAS SOUS 139043 HAS SOUPS 139043 WITH SCORE 139443.805
AT ITER 5915 NEW BEST:: SOT 572094 SOS 400754 HAS SOPS 400754 HAS SOUS 138941 HAS SOUPS 138941 WITH SCORE 139341.754
AT ITER 5926 NEW BEST:: SOT 572089 SOS 400668 HAS SOPS 400668 HAS SOUS 138890 HAS SOUPS 138890 WITH SCORE 139290.668
AT ITER 5932 NEW BEST:: SOT 572095 SOS 399250 HAS SOPS 399250 HAS SOUS 138841 HAS SOUPS 138841 WITH SCORE 139240.25
AT ITER 5940 NEW BEST:: SOT 572095 SOS 398866 HAS SOPS 398866 HAS SOUS 138835 HAS SOUPS 138835 WITH SCORE 139233.866
AT ITER 5946 NEW BEST:: SOT 572160 SOS 399106 HAS SOPS 399106 HAS SOUS 138782 HAS SOUPS 138782 WITH SCORE 139181.106
AT ITER 5958 NEW BEST:: SOT 572159 SOS 399105 HAS SOPS 399105 HAS SOUS 138780 HAS SOUPS 138780 WITH SCORE 139179.105
AT ITER 5970 NEW BEST:: SOT 572153 SOS 398916 HAS SOPS 398916 HAS SOUS 138768 HAS SOUPS 138768 WITH SCORE 139166.916
AT ITER 5977 NEW BEST:: SOT 572050 SOS 398813 HAS SOPS 398813 HAS SOUS 138562 HAS SOUPS 138562 WITH SCORE 138960.813
AT ITER 6013 NEW BEST:: SOT 571997 SOS 398760 HAS SOPS 398760 HAS SOUS 138456 HAS SOUPS 138456 WITH SCORE 138854.76
AT ITER 6031 NEW BEST:: SOT 571991 SOS 398754 HAS SOPS 398754 HAS SOUS 138444 HAS SOUPS 138444 WITH SCORE 138842.754
AT ITER 6081 NEW BEST:: SOT 572005 SOS 398768 HAS SOPS 398768 HAS SOUS 138438 HAS SOUPS 138438 WITH SCORE 138836.768
AT ITER 6104 NEW BEST:: SOT 571995 SOS 398758 HAS SOPS 398758 HAS SOUS 138428 HAS SOUPS 138428 WITH SCORE 138826.758
AT ITER 6202 NEW BEST:: SOT 571463 SOS 398506 HAS SOPS 398506 HAS SOUS 138136 HAS SOUPS 138136 WITH SCORE 138534.506
AT ITER 6203 NEW BEST:: SOT 571463 SOS 398506 HAS SOPS 398506 HAS SOUS 138134 HAS SOUPS 138134 WITH SCORE 138532.506
AT ITER 6236 NEW BEST:: SOT 571395 SOS 398438 HAS SOPS 398438 HAS SOUS 137998 HAS SOUPS 137998 WITH SCORE 138396.438
AT ITER 6246 NEW BEST:: SOT 571393 SOS 398434 HAS SOPS 398434 HAS SOUS 137996 HAS SOUPS 137996 WITH SCORE 138394.434
AT ITER 6261 NEW BEST:: SOT 571354 SOS 396751 HAS SOPS 396751 HAS SOUS 137918 HAS SOUPS 137918 WITH SCORE 138314.751
AT ITER 6273 NEW BEST:: SOT 571316 SOS 396713 HAS SOPS 396713 HAS SOUS 137883 HAS SOUPS 137883 WITH SCORE 138279.713
AT ITER 6280 NEW BEST:: SOT 571316 SOS 396713 HAS SOPS 396713 HAS SOUS 137879 HAS SOUPS 137879 WITH SCORE 138275.713
AT ITER 6292 NEW BEST:: SOT 571282 SOS 396679 HAS SOPS 396679 HAS SOUS 137811 HAS SOUPS 137811 WITH SCORE 138207.679
AT ITER 6331 NEW BEST:: SOT 571291 SOS 396688 HAS SOPS 396688 HAS SOUS 137776 HAS SOUPS 137776 WITH SCORE 138172.688
AT ITER 6332 NEW BEST:: SOT 571407 SOS 396804 HAS SOPS 396804 HAS SOUS 137642 HAS SOUPS 137642 WITH SCORE 138038.804
AT ITER 6336 NEW BEST:: SOT 571406 SOS 396683 HAS SOPS 396683 HAS SOUS 137640 HAS SOUPS 137640 WITH SCORE 138036.683
AT ITER 6376 NEW BEST:: SOT 571404 SOS 396681 HAS SOPS 396681 HAS SOUS 137638 HAS SOUPS 137638 WITH SCORE 138034.681
AT ITER 6404 NEW BEST:: SOT 571361 SOS 396638 HAS SOPS 396638 HAS SOUS 137624 HAS SOUPS 137624 WITH SCORE 138020.638
AT ITER 6407 NEW BEST:: SOT 571360 SOS 396637 HAS SOPS 396637 HAS SOUS 137622 HAS SOUPS 137622 WITH SCORE 138018.637
AT ITER 6450 NEW BEST:: SOT 571304 SOS 396581 HAS SOPS 396581 HAS SOUS 137510 HAS SOUPS 137510 WITH SCORE 137906.581
AT ITER 6461 NEW BEST:: SOT 571301 SOS 396578 HAS SOPS 396578 HAS SOUS 137469 HAS SOUPS 137469 WITH SCORE 137865.578
AT ITER 6464 NEW BEST:: SOT 571348 SOS 396625 HAS SOPS 396625 HAS SOUS 137413 HAS SOUPS 137413 WITH SCORE 137809.625
AT ITER 6482 NEW BEST:: SOT 571367 SOS 396644 HAS SOPS 396644 HAS SOUS 137343 HAS SOUPS 137343 WITH SCORE 137739.644
AT ITER 6516 NEW BEST:: SOT 571315 SOS 396592 HAS SOPS 396592 HAS SOUS 137339 HAS SOUPS 137339 WITH SCORE 137735.592
AT ITER 6528 NEW BEST:: SOT 571211 SOS 396855 HAS SOPS 396855 HAS SOUS 137256 HAS SOUPS 137256 WITH SCORE 137652.855
AT ITER 6557 NEW BEST:: SOT 571198 SOS 396842 HAS SOPS 396842 HAS SOUS 137230 HAS SOUPS 137230 WITH SCORE 137626.842
AT ITER 6564 NEW BEST:: SOT 571194 SOS 396838 HAS SOPS 396838 HAS SOUS 137222 HAS SOUPS 137222 WITH SCORE 137618.838
AT ITER 6588 NEW BEST:: SOT 570898 SOS 398576 HAS SOPS 398576 HAS SOUS 137147 HAS SOUPS 137147 WITH SCORE 137545.576
AT ITER 6593 NEW BEST:: SOT 570897 SOS 398575 HAS SOPS 398575 HAS SOUS 137145 HAS SOUPS 137145 WITH SCORE 137543.575
AT ITER 6614 NEW BEST:: SOT 570896 SOS 398574 HAS SOPS 398574 HAS SOUS 137143 HAS SOUPS 137143 WITH SCORE 137541.574
AT ITER 6662 NEW BEST:: SOT 570862 SOS 398540 HAS SOPS 398540 HAS SOUS 137075 HAS SOUPS 137075 WITH SCORE 137473.54
AT ITER 6730 NEW BEST:: SOT 570857 SOS 398535 HAS SOPS 398535 HAS SOUS 137045 HAS SOUPS 137045 WITH SCORE 137443.535
AT ITER 6746 NEW BEST:: SOT 570789 SOS 398454 HAS SOPS 398454 HAS SOUS 136975 HAS SOUPS 136975 WITH SCORE 137373.454
AT ITER 6796 NEW BEST:: SOT 570738 SOS 398403 HAS SOPS 398403 HAS SOUS 136885 HAS SOUPS 136885 WITH SCORE 137283.403
AT ITER 6818 NEW BEST:: SOT 570711 SOS 398376 HAS SOPS 398376 HAS SOUS 136858 HAS SOUPS 136858 WITH SCORE 137256.376
AT ITER 6860 NEW BEST:: SOT 570710 SOS 398375 HAS SOPS 398375 HAS SOUS 136856 HAS SOUPS 136856 WITH SCORE 137254.375
AT ITER 6898 NEW BEST:: SOT 570378 SOS 398043 HAS SOPS 398043 HAS SOUS 136192 HAS SOUPS 136192 WITH SCORE 136590.043
AT ITER 6904 NEW BEST:: SOT 570335 SOS 397999 HAS SOPS 397999 HAS SOUS 136191 HAS SOUPS 136191 WITH SCORE 136588.999
AT ITER 6927 NEW BEST:: SOT 570329 SOS 397993 HAS SOPS 397993 HAS SOUS 136179 HAS SOUPS 136179 WITH SCORE 136576.993
AT ITER 6938 NEW BEST:: SOT 570297 SOS 397961 HAS SOPS 397961 HAS SOUS 136115 HAS SOUPS 136115 WITH SCORE 136512.961
AT ITER 6956 NEW BEST:: SOT 570166 SOS 397830 HAS SOPS 397830 HAS SOUS 135983 HAS SOUPS 135983 WITH SCORE 136380.83
AT ITER 6957 NEW BEST:: SOT 570166 SOS 397846 HAS SOPS 397846 HAS SOUS 135967 HAS SOUPS 135967 WITH SCORE 136364.846
AT ITER 6965 NEW BEST:: SOT 570130 SOS 397810 HAS SOPS 397810 HAS SOUS 135881 HAS SOUPS 135881 WITH SCORE 136278.81
AT ITER 7004 NEW BEST:: SOT 570150 SOS 397830 HAS SOPS 397830 HAS SOUS 135816 HAS SOUPS 135816 WITH SCORE 136213.83
AT ITER 7005 NEW BEST:: SOT 569874 SOS 397554 HAS SOPS 397554 HAS SOUS 135264 HAS SOUPS 135264 WITH SCORE 135661.554
AT ITER 7092 NEW BEST:: SOT 569872 SOS 397552 HAS SOPS 397552 HAS SOUS 135260 HAS SOUPS 135260 WITH SCORE 135657.552
AT ITER 7097 NEW BEST:: SOT 569885 SOS 397565 HAS SOPS 397565 HAS SOUS 135253 HAS SOUPS 135253 WITH SCORE 135650.565
AT ITER 7106 NEW BEST:: SOT 569695 SOS 397375 HAS SOPS 397375 HAS SOUS 135022 HAS SOUPS 135022 WITH SCORE 135419.375
AT ITER 7168 NEW BEST:: SOT 569694 SOS 397374 HAS SOPS 397374 HAS SOUS 135020 HAS SOUPS 135020 WITH SCORE 135417.374
AT ITER 7170 NEW BEST:: SOT 569657 SOS 398237 HAS SOPS 398237 HAS SOUS 134991 HAS SOUPS 134991 WITH SCORE 135389.237
AT ITER 7187 NEW BEST:: SOT 569451 SOS 398043 HAS SOPS 398043 HAS SOUS 134579 HAS SOUPS 134579 WITH SCORE 134977.043
AT ITER 7198 NEW BEST:: SOT 569403 SOS 397995 HAS SOPS 397995 HAS SOUS 134526 HAS SOUPS 134526 WITH SCORE 134923.995
AT ITER 7254 NEW BEST:: SOT 569402 SOS 396919 HAS SOPS 396919 HAS SOUS 134439 HAS SOUPS 134439 WITH SCORE 134835.919
AT ITER 7256 NEW BEST:: SOT 569345 SOS 396862 HAS SOPS 396862 HAS SOUS 134339 HAS SOUPS 134339 WITH SCORE 134735.862
AT ITER 7268 NEW BEST:: SOT 569320 SOS 396837 HAS SOPS 396837 HAS SOUS 134326 HAS SOUPS 134326 WITH SCORE 134722.837
AT ITER 7301 NEW BEST:: SOT 569316 SOS 396833 HAS SOPS 396833 HAS SOUS 134322 HAS SOUPS 134322 WITH SCORE 134718.833
AT ITER 7338 NEW BEST:: SOT 569270 SOS 396787 HAS SOPS 396787 HAS SOUS 134276 HAS SOUPS 134276 WITH SCORE 134672.787
AT ITER 7340 NEW BEST:: SOT 569269 SOS 396786 HAS SOPS 396786 HAS SOUS 134274 HAS SOUPS 134274 WITH SCORE 134670.786
AT ITER 7371 NEW BEST:: SOT 569268 SOS 396785 HAS SOPS 396785 HAS SOUS 134272 HAS SOUPS 134272 WITH SCORE 134668.785
AT ITER 7377 NEW BEST:: SOT 569209 SOS 396726 HAS SOPS 396726 HAS SOUS 134154 HAS SOUPS 134154 WITH SCORE 134550.726
AT ITER 7411 NEW BEST:: SOT 569202 SOS 396719 HAS SOPS 396719 HAS SOUS 134140 HAS SOUPS 134140 WITH SCORE 134536.719
AT ITER 7415 NEW BEST:: SOT 569205 SOS 396722 HAS SOPS 396722 HAS SOUS 134134 HAS SOUPS 134134 WITH SCORE 134530.722
AT ITER 7450 NEW BEST:: SOT 569204 SOS 396721 HAS SOPS 396721 HAS SOUS 134132 HAS SOUPS 134132 WITH SCORE 134528.721
AT ITER 7451 NEW BEST:: SOT 569159 SOS 396544 HAS SOPS 396544 HAS SOUS 134042 HAS SOUPS 134042 WITH SCORE 134438.544
AT ITER 7453 NEW BEST:: SOT 569088 SOS 396473 HAS SOPS 396473 HAS SOUS 133989 HAS SOUPS 133989 WITH SCORE 134385.473
AT ITER 7526 NEW BEST:: SOT 569074 SOS 396459 HAS SOPS 396459 HAS SOUS 133961 HAS SOUPS 133961 WITH SCORE 134357.459
AT ITER 7633 NEW BEST:: SOT 569073 SOS 396458 HAS SOPS 396458 HAS SOUS 133949 HAS SOUPS 133949 WITH SCORE 134345.458
AT ITER 7659 NEW BEST:: SOT 569073 SOS 396503 HAS SOPS 396503 HAS SOUS 133948 HAS SOUPS 133948 WITH SCORE 134344.503
AT ITER 7675 NEW BEST:: SOT 569068 SOS 396498 HAS SOPS 396498 HAS SOUS 133938 HAS SOUPS 133938 WITH SCORE 134334.498
AT ITER 7699 NEW BEST:: SOT 569130 SOS 396560 HAS SOPS 396560 HAS SOUS 133874 HAS SOUPS 133874 WITH SCORE 134270.56
AT ITER 7740 NEW BEST:: SOT 569061 SOS 396491 HAS SOPS 396491 HAS SOUS 133736 HAS SOUPS 133736 WITH SCORE 134132.491
AT ITER 7830 NEW BEST:: SOT 569060 SOS 396490 HAS SOPS 396490 HAS SOUS 133734 HAS SOUPS 133734 WITH SCORE 134130.49
AT ITER 7865 NEW BEST:: SOT 569001 SOS 396431 HAS SOPS 396431 HAS SOUS 133550 HAS SOUPS 133550 WITH SCORE 133946.431
AT ITER 7876 NEW BEST:: SOT 568987 SOS 396417 HAS SOPS 396417 HAS SOUS 133536 HAS SOUPS 133536 WITH SCORE 133932.417
AT ITER 7899 NEW BEST:: SOT 568986 SOS 396418 HAS SOPS 396418 HAS SOUS 133534 HAS SOUPS 133534 WITH SCORE 133930.418
AT ITER 7910 NEW BEST:: SOT 568834 SOS 396266 HAS SOPS 396266 HAS SOUS 133382 HAS SOUPS 133382 WITH SCORE 133778.266
AT ITER 7916 NEW BEST:: SOT 568841 SOS 396273 HAS SOPS 396273 HAS SOUS 133358 HAS SOUPS 133358 WITH SCORE 133754.273
AT ITER 7932 NEW BEST:: SOT 568856 SOS 396288 HAS SOPS 396288 HAS SOUS 133331 HAS SOUPS 133331 WITH SCORE 133727.288
AT ITER 7993 NEW BEST:: SOT 568855 SOS 396304 HAS SOPS 396304 HAS SOUS 133329 HAS SOUPS 133329 WITH SCORE 133725.304
AT ITER 8175 NEW BEST:: SOT 568825 SOS 396274 HAS SOPS 396274 HAS SOUS 133269 HAS SOUPS 133269 WITH SCORE 133665.274
AT ITER 8280 NEW BEST:: SOT 568825 SOS 396274 HAS SOPS 396274 HAS SOUS 133265 HAS SOUPS 133265 WITH SCORE 133661.274
AT ITER 8300 NEW BEST:: SOT 568825 SOS 396274 HAS SOPS 396274 HAS SOUS 133258 HAS SOUPS 133258 WITH SCORE 133654.274
AT ITER 8314 NEW BEST:: SOT 568865 SOS 396314 HAS SOPS 396314 HAS SOUS 133257 HAS SOUPS 133257 WITH SCORE 133653.314
AT ITER 8336 NEW BEST:: SOT 568854 SOS 396292 HAS SOPS 396292 HAS SOUS 133235 HAS SOUPS 133235 WITH SCORE 133631.292
AT ITER 8388 NEW BEST:: SOT 568808 SOS 396246 HAS SOPS 396246 HAS SOUS 133133 HAS SOUPS 133133 WITH SCORE 133529.246
AT ITER 8410 NEW BEST:: SOT 568801 SOS 396239 HAS SOPS 396239 HAS SOUS 133119 HAS SOUPS 133119 WITH SCORE 133515.239
AT ITER 8448 NEW BEST:: SOT 568801 SOS 396209 HAS SOPS 396209 HAS SOUS 133119 HAS SOUPS 133119 WITH SCORE 133515.209
AT ITER 8470 NEW BEST:: SOT 568790 SOS 396232 HAS SOPS 396232 HAS SOUS 133107 HAS SOUPS 133107 WITH SCORE 133503.232
AT ITER 8539 NEW BEST:: SOT 568756 SOS 396198 HAS SOPS 396198 HAS SOUS 133039 HAS SOUPS 133039 WITH SCORE 133435.198
AT ITER 8551 NEW BEST:: SOT 568657 SOS 396099 HAS SOPS 396099 HAS SOUS 132841 HAS SOUPS 132841 WITH SCORE 133237.099
AT ITER 8557 NEW BEST:: SOT 568623 SOS 396149 HAS SOPS 396149 HAS SOUS 132773 HAS SOUPS 132773 WITH SCORE 133169.149
AT ITER 8570 NEW BEST:: SOT 568571 SOS 395969 HAS SOPS 395969 HAS SOUS 132721 HAS SOUPS 132721 WITH SCORE 133116.969
AT ITER 8584 NEW BEST:: SOT 568517 SOS 395915 HAS SOPS 395915 HAS SOUS 132571 HAS SOUPS 132571 WITH SCORE 132966.915
AT ITER 8611 NEW BEST:: SOT 568516 SOS 395914 HAS SOPS 395914 HAS SOUS 132569 HAS SOUPS 132569 WITH SCORE 132964.914
AT ITER 8658 NEW BEST:: SOT 568615 SOS 396013 HAS SOPS 396013 HAS SOUS 132502 HAS SOUPS 132502 WITH SCORE 132898.013
AT ITER 8659 NEW BEST:: SOT 568550 SOS 395818 HAS SOPS 395818 HAS SOUS 132307 HAS SOUPS 132307 WITH SCORE 132702.818
AT ITER 8691 NEW BEST:: SOT 568549 SOS 395817 HAS SOPS 395817 HAS SOUS 132306 HAS SOUPS 132306 WITH SCORE 132701.817
AT ITER 8715 NEW BEST:: SOT 568544 SOS 395812 HAS SOPS 395812 HAS SOUS 132306 HAS SOUPS 132306 WITH SCORE 132701.812
AT ITER 8786 NEW BEST:: SOT 568544 SOS 395811 HAS SOPS 395811 HAS SOUS 132305 HAS SOUPS 132305 WITH SCORE 132700.811
AT ITER 8835 NEW BEST:: SOT 568608 SOS 395875 HAS SOPS 395875 HAS SOUS 132264 HAS SOUPS 132264 WITH SCORE 132659.875
AT ITER 8845 NEW BEST:: SOT 568566 SOS 395833 HAS SOPS 395833 HAS SOUS 132165 HAS SOUPS 132165 WITH SCORE 132560.833
AT ITER 8854 NEW BEST:: SOT 568407 SOS 395674 HAS SOPS 395674 HAS SOUS 131981 HAS SOUPS 131981 WITH SCORE 132376.674
AT ITER 8940 NEW BEST:: SOT 568335 SOS 395602 HAS SOPS 395602 HAS SOUS 131844 HAS SOUPS 131844 WITH SCORE 132239.602
AT ITER 9019 NEW BEST:: SOT 568297 SOS 395564 HAS SOPS 395564 HAS SOUS 131768 HAS SOUPS 131768 WITH SCORE 132163.564
AT ITER 9046 NEW BEST:: SOT 568288 SOS 395555 HAS SOPS 395555 HAS SOUS 131730 HAS SOUPS 131730 WITH SCORE 132125.555
AT ITER 9057 NEW BEST:: SOT 568287 SOS 395554 HAS SOPS 395554 HAS SOUS 131728 HAS SOUPS 131728 WITH SCORE 132123.554
AT ITER 9084 NEW BEST:: SOT 568286 SOS 395553 HAS SOPS 395553 HAS SOUS 131678 HAS SOUPS 131678 WITH SCORE 132073.553
AT ITER 9131 NEW BEST:: SOT 568270 SOS 395508 HAS SOPS 395508 HAS SOUS 131646 HAS SOUPS 131646 WITH SCORE 132041.508
AT ITER 9234 NEW BEST:: SOT 568269 SOS 395550 HAS SOPS 395550 HAS SOUS 131644 HAS SOUPS 131644 WITH SCORE 132039.55
AT ITER 9255 NEW BEST:: SOT 568268 SOS 395549 HAS SOPS 395549 HAS SOUS 131643 HAS SOUPS 131643 WITH SCORE 132038.549
AT ITER 9280 NEW BEST:: SOT 568268 SOS 395577 HAS SOPS 395577 HAS SOUS 131605 HAS SOUPS 131605 WITH SCORE 132000.577
AT ITER 9293 NEW BEST:: SOT 568262 SOS 395571 HAS SOPS 395571 HAS SOUS 131593 HAS SOUPS 131593 WITH SCORE 131988.571
AT ITER 9328 NEW BEST:: SOT 568175 SOS 396258 HAS SOPS 396258 HAS SOUS 131591 HAS SOUPS 131591 WITH SCORE 131987.258
AT ITER 9335 NEW BEST:: SOT 568174 SOS 396257 HAS SOPS 396257 HAS SOUS 131589 HAS SOUPS 131589 WITH SCORE 131985.257
AT ITER 9376 NEW BEST:: SOT 568174 SOS 396257 HAS SOPS 396257 HAS SOUS 131583 HAS SOUPS 131583 WITH SCORE 131979.257
AT ITER 9412 NEW BEST:: SOT 568146 SOS 396184 HAS SOPS 396184 HAS SOUS 131555 HAS SOUPS 131555 WITH SCORE 131951.184
AT ITER 9505 NEW BEST:: SOT 568126 SOS 396164 HAS SOPS 396164 HAS SOUS 131515 HAS SOUPS 131515 WITH SCORE 131911.164
AT ITER 9542 NEW BEST:: SOT 568106 SOS 396144 HAS SOPS 396144 HAS SOUS 131475 HAS SOUPS 131475 WITH SCORE 131871.144
AT ITER 9592 NEW BEST:: SOT 568097 SOS 396135 HAS SOPS 396135 HAS SOUS 131475 HAS SOUPS 131475 WITH SCORE 131871.135
AT ITER 9599 NEW BEST:: SOT 568060 SOS 396098 HAS SOPS 396098 HAS SOUS 131438 HAS SOUPS 131438 WITH SCORE 131834.098
AT ITER 9616 NEW BEST:: SOT 568009 SOS 396047 HAS SOPS 396047 HAS SOUS 131336 HAS SOUPS 131336 WITH SCORE 131732.047
AT ITER 9636 NEW BEST:: SOT 567873 SOS 395911 HAS SOPS 395911 HAS SOUS 131132 HAS SOUPS 131132 WITH SCORE 131527.911
AT ITER 9643 NEW BEST:: SOT 567857 SOS 395895 HAS SOPS 395895 HAS SOUS 131116 HAS SOUPS 131116 WITH SCORE 131511.895
AT ITER 9663 NEW BEST:: SOT 567820 SOS 395858 HAS SOPS 395858 HAS SOUS 131032 HAS SOUPS 131032 WITH SCORE 131427.858
AT ITER 9692 NEW BEST:: SOT 567796 SOS 395834 HAS SOPS 395834 HAS SOUS 130984 HAS SOUPS 130984 WITH SCORE 131379.834
AT ITER 9696 NEW BEST:: SOT 567754 SOS 395792 HAS SOPS 395792 HAS SOUS 130900 HAS SOUPS 130900 WITH SCORE 131295.792
AT ITER 9735 NEW BEST:: SOT 568063 SOS 391716 HAS SOPS 391716 HAS SOUS 130885 HAS SOUPS 130885 WITH SCORE 131276.716
AT ITER 9805 NEW BEST:: SOT 568038 SOS 391691 HAS SOPS 391691 HAS SOUS 130835 HAS SOUPS 130835 WITH SCORE 131226.691
AT ITER 9839 NEW BEST:: SOT 567993 SOS 391646 HAS SOPS 391646 HAS SOUS 130745 HAS SOUPS 130745 WITH SCORE 131136.646
AT ITER 9875 NEW BEST:: SOT 567972 SOS 391625 HAS SOPS 391625 HAS SOUS 130703 HAS SOUPS 130703 WITH SCORE 131094.625
AT ITER 9876 NEW BEST:: SOT 567971 SOS 391661 HAS SOPS 391661 HAS SOUS 130701 HAS SOUPS 130701 WITH SCORE 131092.661
AT ITER 9881 NEW BEST:: SOT 567937 SOS 391627 HAS SOPS 391627 HAS SOUS 130633 HAS SOUPS 130633 WITH SCORE 131024.627
AT ITER 9883 NEW BEST:: SOT 567934 SOS 391624 HAS SOPS 391624 HAS SOUS 130627 HAS SOUPS 130627 WITH SCORE 131018.624
AT ITER 9884 NEW BEST:: SOT 567933 SOS 391623 HAS SOPS 391623 HAS SOUS 130626 HAS SOUPS 130626 WITH SCORE 131017.623
AT ITER 9922 NEW BEST:: SOT 567921 SOS 391611 HAS SOPS 391611 HAS SOUS 130626 HAS SOUPS 130626 WITH SCORE 131017.611
AT ITER 9928 NEW BEST:: SOT 567916 SOS 391606 HAS SOPS 391606 HAS SOUS 130616 HAS SOUPS 130616 WITH SCORE 131007.606
AT ITER 9930 NEW BEST:: SOT 567870 SOS 392550 HAS SOPS 392550 HAS SOUS 130614 HAS SOUPS 130614 WITH SCORE 131006.55
AT ITER 9961 NEW BEST:: SOT 567866 SOS 392546 HAS SOPS 392546 HAS SOUS 130606 HAS SOUPS 130606 WITH SCORE 130998.546
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 9507384 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16125136 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-40"
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-40, 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-167840349600488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HirschbergSinclair-PT-40.tgz
mv HirschbergSinclair-PT-40 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 ;