About the Execution of Smart+red for CloudReconfiguration-PT-312
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4331.184 | 3600000.00 | 3633446.00 | 8334.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.r107-tall-167814483700096.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 CloudReconfiguration-PT-312, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483700096
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.8K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K 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 1678328751989
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=CloudReconfiguration-PT-312
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 02:25:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 02:25:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 02:25:53] [INFO ] Load time of PNML (sax parser for PT used): 116 ms
[2023-03-09 02:25:53] [INFO ] Transformed 2585 places.
[2023-03-09 02:25:53] [INFO ] Transformed 3095 transitions.
[2023-03-09 02:25:53] [INFO ] Found NUPN structural information;
[2023-03-09 02:25:53] [INFO ] Parsed PT model containing 2585 places and 3095 transitions and 6463 arcs in 190 ms.
[2023-03-09 02:25:53] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2585 places, 3095 transitions and 6463 arcs took 23 ms.
Total runtime 242 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 312
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4443289 SOS 758943 HAS SOPS 758943 HAS SOUS 699965 HAS SOUPS 699965 WITH SCORE 700723.943
AT ITER 25 NEW BEST:: SOT 4443034 SOS 758433 HAS SOPS 758433 HAS SOUS 699455 HAS SOUPS 699455 WITH SCORE 700213.433
AT ITER 27 NEW BEST:: SOT 4442453 SOS 757873 HAS SOPS 757873 HAS SOUS 698895 HAS SOUPS 698895 WITH SCORE 699652.873
AT ITER 71 NEW BEST:: SOT 4442453 SOS 757873 HAS SOPS 757873 HAS SOUS 698768 HAS SOUPS 698768 WITH SCORE 699525.873
AT ITER 81 NEW BEST:: SOT 4442343 SOS 757763 HAS SOPS 757763 HAS SOUS 698658 HAS SOUPS 698658 WITH SCORE 699415.763
AT ITER 83 NEW BEST:: SOT 4442340 SOS 757763 HAS SOPS 757763 HAS SOUS 698657 HAS SOUPS 698657 WITH SCORE 699414.763
AT ITER 106 NEW BEST:: SOT 4442165 SOS 757413 HAS SOPS 757413 HAS SOUS 698307 HAS SOUPS 698307 WITH SCORE 699064.413
AT ITER 126 NEW BEST:: SOT 4442015 SOS 757326 HAS SOPS 757326 HAS SOUS 698157 HAS SOUPS 698157 WITH SCORE 698914.326
AT ITER 131 NEW BEST:: SOT 4441836 SOS 757236 HAS SOPS 757236 HAS SOUS 698046 HAS SOUPS 698046 WITH SCORE 698803.236
AT ITER 183 NEW BEST:: SOT 4442095 SOS 757457 HAS SOPS 757457 HAS SOUS 697979 HAS SOUPS 697979 WITH SCORE 698736.457
AT ITER 188 NEW BEST:: SOT 4442095 SOS 757175 HAS SOPS 757175 HAS SOUS 697979 HAS SOUPS 697979 WITH SCORE 698736.175
AT ITER 191 NEW BEST:: SOT 4441713 SOS 756793 HAS SOPS 756793 HAS SOUS 697597 HAS SOUPS 697597 WITH SCORE 698353.793
AT ITER 194 NEW BEST:: SOT 4441521 SOS 756678 HAS SOPS 756678 HAS SOUS 697443 HAS SOUPS 697443 WITH SCORE 698199.678
AT ITER 195 NEW BEST:: SOT 4441521 SOS 756635 HAS SOPS 756635 HAS SOUS 697400 HAS SOUPS 697400 WITH SCORE 698156.635
AT ITER 212 NEW BEST:: SOT 4441221 SOS 756327 HAS SOPS 756327 HAS SOUS 696885 HAS SOUPS 696885 WITH SCORE 697641.327
AT ITER 220 NEW BEST:: SOT 4441045 SOS 756150 HAS SOPS 756150 HAS SOUS 696708 HAS SOUPS 696708 WITH SCORE 697464.15
AT ITER 228 NEW BEST:: SOT 4441061 SOS 756741 HAS SOPS 756741 HAS SOUS 696636 HAS SOUPS 696636 WITH SCORE 697392.741
AT ITER 241 NEW BEST:: SOT 4440982 SOS 756662 HAS SOPS 756662 HAS SOUS 696557 HAS SOUPS 696557 WITH SCORE 697313.662
AT ITER 265 NEW BEST:: SOT 4440760 SOS 756440 HAS SOPS 756440 HAS SOUS 696335 HAS SOUPS 696335 WITH SCORE 697091.44
AT ITER 379 NEW BEST:: SOT 4440760 SOS 756440 HAS SOPS 756440 HAS SOUS 696334 HAS SOUPS 696334 WITH SCORE 697090.44
AT ITER 392 NEW BEST:: SOT 4433849 SOS 749887 HAS SOPS 749887 HAS SOUS 690132 HAS SOUPS 690132 WITH SCORE 690881.887
AT ITER 423 NEW BEST:: SOT 4428802 SOS 745043 HAS SOPS 745043 HAS SOUS 685417 HAS SOUPS 685417 WITH SCORE 686162.043
AT ITER 425 NEW BEST:: SOT 4428622 SOS 744683 HAS SOPS 744683 HAS SOUS 685057 HAS SOUPS 685057 WITH SCORE 685801.683
AT ITER 429 NEW BEST:: SOT 4428602 SOS 744643 HAS SOPS 744643 HAS SOUS 685017 HAS SOUPS 685017 WITH SCORE 685761.643
AT ITER 463 NEW BEST:: SOT 4428605 SOS 744649 HAS SOPS 744649 HAS SOUS 684872 HAS SOUPS 684872 WITH SCORE 685616.649
AT ITER 472 NEW BEST:: SOT 4428758 SOS 744955 HAS SOPS 744955 HAS SOUS 684857 HAS SOUPS 684857 WITH SCORE 685601.955
AT ITER 478 NEW BEST:: SOT 4428757 SOS 744953 HAS SOPS 744953 HAS SOUS 684855 HAS SOUPS 684855 WITH SCORE 685599.953
AT ITER 487 NEW BEST:: SOT 4428718 SOS 744775 HAS SOPS 744775 HAS SOUS 684716 HAS SOUPS 684716 WITH SCORE 685460.775
AT ITER 492 NEW BEST:: SOT 4428664 SOS 744667 HAS SOPS 744667 HAS SOUS 684608 HAS SOUPS 684608 WITH SCORE 685352.667
AT ITER 503 NEW BEST:: SOT 4428619 SOS 744914 HAS SOPS 744914 HAS SOUS 684563 HAS SOUPS 684563 WITH SCORE 685307.914
AT ITER 504 NEW BEST:: SOT 4428545 SOS 744840 HAS SOPS 744840 HAS SOUS 684489 HAS SOUPS 684489 WITH SCORE 685233.84
AT ITER 510 NEW BEST:: SOT 4428093 SOS 744738 HAS SOPS 744738 HAS SOUS 684252 HAS SOUPS 684252 WITH SCORE 684996.738
AT ITER 514 NEW BEST:: SOT 4428036 SOS 744672 HAS SOPS 744672 HAS SOUS 684186 HAS SOUPS 684186 WITH SCORE 684930.672
AT ITER 516 NEW BEST:: SOT 4427930 SOS 744635 HAS SOPS 744635 HAS SOUS 684149 HAS SOUPS 684149 WITH SCORE 684893.635
AT ITER 525 NEW BEST:: SOT 4427930 SOS 744635 HAS SOPS 744635 HAS SOUS 683877 HAS SOUPS 683877 WITH SCORE 684621.635
AT ITER 544 NEW BEST:: SOT 4427831 SOS 744437 HAS SOPS 744437 HAS SOUS 683778 HAS SOUPS 683778 WITH SCORE 684522.437
AT ITER 549 NEW BEST:: SOT 4427831 SOS 744356 HAS SOPS 744356 HAS SOUS 683697 HAS SOUPS 683697 WITH SCORE 684441.356
AT ITER 569 NEW BEST:: SOT 4427659 SOS 744322 HAS SOPS 744322 HAS SOUS 683565 HAS SOUPS 683565 WITH SCORE 684309.322
AT ITER 578 NEW BEST:: SOT 4427409 SOS 743822 HAS SOPS 743822 HAS SOUS 683065 HAS SOUPS 683065 WITH SCORE 683808.822
AT ITER 603 NEW BEST:: SOT 4427364 SOS 743963 HAS SOPS 743963 HAS SOUS 683020 HAS SOUPS 683020 WITH SCORE 683763.963
AT ITER 611 NEW BEST:: SOT 4427277 SOS 743789 HAS SOPS 743789 HAS SOUS 682846 HAS SOUPS 682846 WITH SCORE 683589.789
AT ITER 637 NEW BEST:: SOT 4427277 SOS 743789 HAS SOPS 743789 HAS SOUS 682819 HAS SOUPS 682819 WITH SCORE 683562.789
AT ITER 665 NEW BEST:: SOT 4427119 SOS 743655 HAS SOPS 743655 HAS SOUS 682661 HAS SOUPS 682661 WITH SCORE 683404.655
AT ITER 668 NEW BEST:: SOT 4426974 SOS 743739 HAS SOPS 743739 HAS SOUS 682594 HAS SOUPS 682594 WITH SCORE 683337.739
AT ITER 674 NEW BEST:: SOT 4426961 SOS 743840 HAS SOPS 743840 HAS SOUS 682454 HAS SOUPS 682454 WITH SCORE 683197.84
AT ITER 692 NEW BEST:: SOT 4426713 SOS 743344 HAS SOPS 743344 HAS SOUS 681958 HAS SOUPS 681958 WITH SCORE 682701.344
AT ITER 703 NEW BEST:: SOT 4426447 SOS 743078 HAS SOPS 743078 HAS SOUS 681692 HAS SOUPS 681692 WITH SCORE 682435.078
AT ITER 734 NEW BEST:: SOT 4426322 SOS 742967 HAS SOPS 742967 HAS SOUS 681581 HAS SOUPS 681581 WITH SCORE 682323.967
AT ITER 745 NEW BEST:: SOT 4426322 SOS 742967 HAS SOPS 742967 HAS SOUS 681580 HAS SOUPS 681580 WITH SCORE 682322.967
AT ITER 767 NEW BEST:: SOT 4425990 SOS 742635 HAS SOPS 742635 HAS SOUS 681248 HAS SOUPS 681248 WITH SCORE 681990.635
AT ITER 795 NEW BEST:: SOT 4425905 SOS 742551 HAS SOPS 742551 HAS SOUS 681163 HAS SOUPS 681163 WITH SCORE 681905.551
AT ITER 813 NEW BEST:: SOT 4425904 SOS 742549 HAS SOPS 742549 HAS SOUS 681161 HAS SOUPS 681161 WITH SCORE 681903.549
AT ITER 817 NEW BEST:: SOT 4425710 SOS 742388 HAS SOPS 742388 HAS SOUS 680967 HAS SOUPS 680967 WITH SCORE 681709.388
AT ITER 839 NEW BEST:: SOT 4425709 SOS 742386 HAS SOPS 742386 HAS SOUS 680965 HAS SOUPS 680965 WITH SCORE 681707.386
AT ITER 861 NEW BEST:: SOT 4425704 SOS 742376 HAS SOPS 742376 HAS SOUS 680955 HAS SOUPS 680955 WITH SCORE 681697.376
AT ITER 882 NEW BEST:: SOT 4425366 SOS 742085 HAS SOPS 742085 HAS SOUS 680632 HAS SOUPS 680632 WITH SCORE 681374.085
AT ITER 889 NEW BEST:: SOT 4425366 SOS 741775 HAS SOPS 741775 HAS SOUS 680632 HAS SOUPS 680632 WITH SCORE 681373.775
AT ITER 904 NEW BEST:: SOT 4425114 SOS 741523 HAS SOPS 741523 HAS SOUS 680380 HAS SOUPS 680380 WITH SCORE 681121.523
AT ITER 948 NEW BEST:: SOT 4424963 SOS 740853 HAS SOPS 740853 HAS SOUS 680045 HAS SOUPS 680045 WITH SCORE 680785.853
AT ITER 962 NEW BEST:: SOT 4424886 SOS 740699 HAS SOPS 740699 HAS SOUS 679891 HAS SOUPS 679891 WITH SCORE 680631.699
AT ITER 963 NEW BEST:: SOT 4424787 SOS 740501 HAS SOPS 740501 HAS SOUS 679834 HAS SOUPS 679834 WITH SCORE 680574.501
AT ITER 992 NEW BEST:: SOT 4424810 SOS 740077 HAS SOPS 740077 HAS SOUS 679633 HAS SOUPS 679633 WITH SCORE 680373.077
AT ITER 1055 NEW BEST:: SOT 4424823 SOS 740039 HAS SOPS 740039 HAS SOUS 679599 HAS SOUPS 679599 WITH SCORE 680339.039
AT ITER 1060 NEW BEST:: SOT 4424806 SOS 740022 HAS SOPS 740022 HAS SOUS 679565 HAS SOUPS 679565 WITH SCORE 680305.022
AT ITER 1064 NEW BEST:: SOT 4424554 SOS 739518 HAS SOPS 739518 HAS SOUS 679313 HAS SOUPS 679313 WITH SCORE 680052.518
AT ITER 1072 NEW BEST:: SOT 4424553 SOS 739516 HAS SOPS 739516 HAS SOUS 679311 HAS SOUPS 679311 WITH SCORE 680050.516
AT ITER 1078 NEW BEST:: SOT 4424318 SOS 739480 HAS SOPS 739480 HAS SOUS 679142 HAS SOUPS 679142 WITH SCORE 679881.48
AT ITER 1118 NEW BEST:: SOT 4424423 SOS 739690 HAS SOPS 739690 HAS SOUS 679032 HAS SOUPS 679032 WITH SCORE 679771.69
AT ITER 1202 NEW BEST:: SOT 4424423 SOS 739330 HAS SOPS 739330 HAS SOUS 679032 HAS SOUPS 679032 WITH SCORE 679771.33
AT ITER 1206 NEW BEST:: SOT 4424422 SOS 739328 HAS SOPS 739328 HAS SOUS 679030 HAS SOUPS 679030 WITH SCORE 679769.328
AT ITER 1228 NEW BEST:: SOT 4424002 SOS 739048 HAS SOPS 739048 HAS SOUS 678750 HAS SOUPS 678750 WITH SCORE 679489.048
AT ITER 1255 NEW BEST:: SOT 4424002 SOS 738901 HAS SOPS 738901 HAS SOUS 678750 HAS SOUPS 678750 WITH SCORE 679488.901
AT ITER 1260 NEW BEST:: SOT 4423623 SOS 738907 HAS SOPS 738907 HAS SOUS 678691 HAS SOUPS 678691 WITH SCORE 679429.907
AT ITER 1274 NEW BEST:: SOT 4423326 SOS 738313 HAS SOPS 738313 HAS SOUS 678097 HAS SOUPS 678097 WITH SCORE 678835.313
AT ITER 1335 NEW BEST:: SOT 4423222 SOS 738172 HAS SOPS 738172 HAS SOUS 677956 HAS SOUPS 677956 WITH SCORE 678694.172
AT ITER 1338 NEW BEST:: SOT 4423205 SOS 738138 HAS SOPS 738138 HAS SOUS 677936 HAS SOUPS 677936 WITH SCORE 678674.138
AT ITER 1366 NEW BEST:: SOT 4423204 SOS 738059 HAS SOPS 738059 HAS SOUS 677858 HAS SOUPS 677858 WITH SCORE 678596.059
AT ITER 1379 NEW BEST:: SOT 4423003 SOS 737858 HAS SOPS 737858 HAS SOUS 677657 HAS SOUPS 677657 WITH SCORE 678394.858
AT ITER 1391 NEW BEST:: SOT 4423013 SOS 737878 HAS SOPS 737878 HAS SOUS 677654 HAS SOUPS 677654 WITH SCORE 678391.878
AT ITER 1476 NEW BEST:: SOT 4422820 SOS 737492 HAS SOPS 737492 HAS SOUS 677268 HAS SOUPS 677268 WITH SCORE 678005.492
AT ITER 1489 NEW BEST:: SOT 4422819 SOS 737353 HAS SOPS 737353 HAS SOUS 677197 HAS SOUPS 677197 WITH SCORE 677934.353
AT ITER 1492 NEW BEST:: SOT 4422403 SOS 736937 HAS SOPS 736937 HAS SOUS 676573 HAS SOUPS 676573 WITH SCORE 677309.937
AT ITER 1506 NEW BEST:: SOT 4422212 SOS 736555 HAS SOPS 736555 HAS SOUS 676191 HAS SOUPS 676191 WITH SCORE 676927.555
AT ITER 1549 NEW BEST:: SOT 4422120 SOS 736463 HAS SOPS 736463 HAS SOUS 676099 HAS SOUPS 676099 WITH SCORE 676835.463
AT ITER 1570 NEW BEST:: SOT 4421852 SOS 735659 HAS SOPS 735659 HAS SOUS 675563 HAS SOUPS 675563 WITH SCORE 676298.659
AT ITER 1585 NEW BEST:: SOT 4421852 SOS 735351 HAS SOPS 735351 HAS SOUS 675563 HAS SOUPS 675563 WITH SCORE 676298.351
AT ITER 1587 NEW BEST:: SOT 4421852 SOS 735351 HAS SOPS 735351 HAS SOUS 675560 HAS SOUPS 675560 WITH SCORE 676295.351
AT ITER 1623 NEW BEST:: SOT 4421852 SOS 735217 HAS SOPS 735217 HAS SOUS 675426 HAS SOUPS 675426 WITH SCORE 676161.217
AT ITER 1642 NEW BEST:: SOT 4421945 SOS 735403 HAS SOPS 735403 HAS SOUS 675350 HAS SOUPS 675350 WITH SCORE 676085.403
AT ITER 1647 NEW BEST:: SOT 4421802 SOS 735117 HAS SOPS 735117 HAS SOUS 675207 HAS SOUPS 675207 WITH SCORE 675942.117
AT ITER 1676 NEW BEST:: SOT 4421606 SOS 734943 HAS SOPS 734943 HAS SOUS 675020 HAS SOUPS 675020 WITH SCORE 675754.943
AT ITER 1691 NEW BEST:: SOT 4421472 SOS 734298 HAS SOPS 734298 HAS SOUS 674629 HAS SOUPS 674629 WITH SCORE 675363.298
AT ITER 1699 NEW BEST:: SOT 4421017 SOS 734253 HAS SOPS 734253 HAS SOUS 674347 HAS SOUPS 674347 WITH SCORE 675081.253
AT ITER 1713 NEW BEST:: SOT 4420991 SOS 734201 HAS SOPS 734201 HAS SOUS 674295 HAS SOUPS 674295 WITH SCORE 675029.201
AT ITER 1738 NEW BEST:: SOT 4421002 SOS 733783 HAS SOPS 733783 HAS SOUS 674086 HAS SOUPS 674086 WITH SCORE 674819.783
AT ITER 1781 NEW BEST:: SOT 4421002 SOS 733717 HAS SOPS 733717 HAS SOUS 674020 HAS SOUPS 674020 WITH SCORE 674753.717
AT ITER 1790 NEW BEST:: SOT 4420744 SOS 733467 HAS SOPS 733467 HAS SOUS 673770 HAS SOUPS 673770 WITH SCORE 674503.467
AT ITER 1822 NEW BEST:: SOT 4420512 SOS 733235 HAS SOPS 733235 HAS SOUS 673538 HAS SOUPS 673538 WITH SCORE 674271.235
AT ITER 1889 NEW BEST:: SOT 4420500 SOS 733223 HAS SOPS 733223 HAS SOUS 673526 HAS SOUPS 673526 WITH SCORE 674259.223
AT ITER 1899 NEW BEST:: SOT 4420500 SOS 733101 HAS SOPS 733101 HAS SOUS 673404 HAS SOUPS 673404 WITH SCORE 674137.101
AT ITER 1907 NEW BEST:: SOT 4420434 SOS 733749 HAS SOPS 733749 HAS SOUS 673358 HAS SOUPS 673358 WITH SCORE 674091.749
AT ITER 1943 NEW BEST:: SOT 4420434 SOS 733586 HAS SOPS 733586 HAS SOUS 673357 HAS SOUPS 673357 WITH SCORE 674090.586
AT ITER 1978 NEW BEST:: SOT 4420399 SOS 733516 HAS SOPS 733516 HAS SOUS 673287 HAS SOUPS 673287 WITH SCORE 674020.516
AT ITER 1999 NEW BEST:: SOT 4420028 SOS 732978 HAS SOPS 732978 HAS SOUS 672755 HAS SOUPS 672755 WITH SCORE 673487.978
AT ITER 2008 NEW BEST:: SOT 4419683 SOS 732823 HAS SOPS 732823 HAS SOUS 672517 HAS SOUPS 672517 WITH SCORE 673249.823
AT ITER 2024 NEW BEST:: SOT 4419683 SOS 732770 HAS SOPS 732770 HAS SOUS 672464 HAS SOUPS 672464 WITH SCORE 673196.77
AT ITER 2057 NEW BEST:: SOT 4419918 SOS 732640 HAS SOPS 732640 HAS SOUS 672399 HAS SOUPS 672399 WITH SCORE 673131.64
AT ITER 2059 NEW BEST:: SOT 4419918 SOS 732558 HAS SOPS 732558 HAS SOUS 672358 HAS SOUPS 672358 WITH SCORE 673090.558
AT ITER 2083 NEW BEST:: SOT 4419905 SOS 732532 HAS SOPS 732532 HAS SOUS 672332 HAS SOUPS 672332 WITH SCORE 673064.532
AT ITER 2107 NEW BEST:: SOT 4419500 SOS 732127 HAS SOPS 732127 HAS SOUS 671927 HAS SOUPS 671927 WITH SCORE 672659.127
AT ITER 2147 NEW BEST:: SOT 4419021 SOS 731448 HAS SOPS 731448 HAS SOUS 671169 HAS SOUPS 671169 WITH SCORE 671900.448
AT ITER 2185 NEW BEST:: SOT 4418934 SOS 731341 HAS SOPS 731341 HAS SOUS 670791 HAS SOUPS 670791 WITH SCORE 671522.341
AT ITER 2193 NEW BEST:: SOT 4418902 SOS 731277 HAS SOPS 731277 HAS SOUS 670727 HAS SOUPS 670727 WITH SCORE 671458.277
AT ITER 2216 NEW BEST:: SOT 4418362 SOS 730554 HAS SOPS 730554 HAS SOUS 669958 HAS SOUPS 669958 WITH SCORE 670688.554
AT ITER 2229 NEW BEST:: SOT 4413072 SOS 767399 HAS SOPS 767399 HAS SOUS 666764 HAS SOUPS 666764 WITH SCORE 667531.399
AT ITER 2247 NEW BEST:: SOT 4412787 SOS 766829 HAS SOPS 766829 HAS SOUS 666194 HAS SOUPS 666194 WITH SCORE 666960.829
AT ITER 2262 NEW BEST:: SOT 4412635 SOS 766677 HAS SOPS 766677 HAS SOUS 666194 HAS SOUPS 666194 WITH SCORE 666960.677
AT ITER 2300 NEW BEST:: SOT 4412635 SOS 766635 HAS SOPS 766635 HAS SOUS 666194 HAS SOUPS 666194 WITH SCORE 666960.635
AT ITER 2310 NEW BEST:: SOT 4412634 SOS 766516 HAS SOPS 766516 HAS SOUS 666192 HAS SOUPS 666192 WITH SCORE 666958.516
AT ITER 2371 NEW BEST:: SOT 4412517 SOS 766282 HAS SOPS 766282 HAS SOUS 666075 HAS SOUPS 666075 WITH SCORE 666841.282
AT ITER 2403 NEW BEST:: SOT 4412399 SOS 766431 HAS SOPS 766431 HAS SOUS 666031 HAS SOUPS 666031 WITH SCORE 666797.431
AT ITER 2404 NEW BEST:: SOT 4412159 SOS 765951 HAS SOPS 765951 HAS SOUS 665551 HAS SOUPS 665551 WITH SCORE 666316.951
AT ITER 2415 NEW BEST:: SOT 4412149 SOS 765931 HAS SOPS 765931 HAS SOUS 665531 HAS SOUPS 665531 WITH SCORE 666296.931
AT ITER 2436 NEW BEST:: SOT 4412148 SOS 765861 HAS SOPS 765861 HAS SOUS 665528 HAS SOUPS 665528 WITH SCORE 666293.861
AT ITER 2451 NEW BEST:: SOT 4412071 SOS 765707 HAS SOPS 765707 HAS SOUS 665374 HAS SOUPS 665374 WITH SCORE 666139.707
AT ITER 2486 NEW BEST:: SOT 4412067 SOS 765703 HAS SOPS 765703 HAS SOUS 665369 HAS SOUPS 665369 WITH SCORE 666134.703
AT ITER 2520 NEW BEST:: SOT 4412108 SOS 765785 HAS SOPS 765785 HAS SOUS 665264 HAS SOUPS 665264 WITH SCORE 666029.785
AT ITER 2522 NEW BEST:: SOT 4411888 SOS 765565 HAS SOPS 765565 HAS SOUS 665044 HAS SOUPS 665044 WITH SCORE 665809.565
AT ITER 2538 NEW BEST:: SOT 4411888 SOS 765419 HAS SOPS 765419 HAS SOUS 665044 HAS SOUPS 665044 WITH SCORE 665809.419
AT ITER 2572 NEW BEST:: SOT 4411721 SOS 765211 HAS SOPS 765211 HAS SOUS 664835 HAS SOUPS 664835 WITH SCORE 665600.211
AT ITER 2576 NEW BEST:: SOT 4411586 SOS 765076 HAS SOPS 765076 HAS SOUS 664700 HAS SOUPS 664700 WITH SCORE 665465.076
AT ITER 2582 NEW BEST:: SOT 4411586 SOS 764783 HAS SOPS 764783 HAS SOUS 664700 HAS SOUPS 664700 WITH SCORE 665464.783
AT ITER 2600 NEW BEST:: SOT 4411586 SOS 764509 HAS SOPS 764509 HAS SOUS 664563 HAS SOUPS 664563 WITH SCORE 665327.509
AT ITER 2626 NEW BEST:: SOT 4411585 SOS 764507 HAS SOPS 764507 HAS SOUS 664561 HAS SOUPS 664561 WITH SCORE 665325.507
AT ITER 2672 NEW BEST:: SOT 4411500 SOS 764477 HAS SOPS 764477 HAS SOUS 664518 HAS SOUPS 664518 WITH SCORE 665282.477
AT ITER 2692 NEW BEST:: SOT 4411500 SOS 764303 HAS SOPS 764303 HAS SOUS 664518 HAS SOUPS 664518 WITH SCORE 665282.303
AT ITER 2717 NEW BEST:: SOT 4411500 SOS 764096 HAS SOPS 764096 HAS SOUS 664518 HAS SOUPS 664518 WITH SCORE 665282.096
AT ITER 2746 NEW BEST:: SOT 4411422 SOS 763940 HAS SOPS 763940 HAS SOUS 664362 HAS SOUPS 664362 WITH SCORE 665125.94
AT ITER 2754 NEW BEST:: SOT 4411422 SOS 763940 HAS SOPS 763940 HAS SOUS 664248 HAS SOUPS 664248 WITH SCORE 665011.94
AT ITER 2793 NEW BEST:: SOT 4411545 SOS 763810 HAS SOPS 763810 HAS SOUS 664194 HAS SOUPS 664194 WITH SCORE 664957.81
AT ITER 2828 NEW BEST:: SOT 4411544 SOS 763488 HAS SOPS 763488 HAS SOUS 664192 HAS SOUPS 664192 WITH SCORE 664955.488
AT ITER 2833 NEW BEST:: SOT 4411475 SOS 763522 HAS SOPS 763522 HAS SOUS 664123 HAS SOUPS 664123 WITH SCORE 664886.522
AT ITER 2835 NEW BEST:: SOT 4411509 SOS 763590 HAS SOPS 763590 HAS SOUS 664007 HAS SOUPS 664007 WITH SCORE 664770.59
AT ITER 2860 NEW BEST:: SOT 4411509 SOS 763590 HAS SOPS 763590 HAS SOUS 664006 HAS SOUPS 664006 WITH SCORE 664769.59
AT ITER 2870 NEW BEST:: SOT 4411623 SOS 763424 HAS SOPS 763424 HAS SOUS 663923 HAS SOUPS 663923 WITH SCORE 664686.424
AT ITER 2892 NEW BEST:: SOT 4411637 SOS 763375 HAS SOPS 763375 HAS SOUS 663860 HAS SOUPS 663860 WITH SCORE 664623.375
AT ITER 2946 NEW BEST:: SOT 4411637 SOS 763305 HAS SOPS 763305 HAS SOUS 663859 HAS SOUPS 663859 WITH SCORE 664622.305
AT ITER 2948 NEW BEST:: SOT 4411332 SOS 763000 HAS SOPS 763000 HAS SOUS 663553 HAS SOUPS 663553 WITH SCORE 664316.0
AT ITER 2983 NEW BEST:: SOT 4411332 SOS 763000 HAS SOPS 763000 HAS SOUS 663411 HAS SOUPS 663411 WITH SCORE 664174.0
AT ITER 3013 NEW BEST:: SOT 4411332 SOS 762910 HAS SOPS 762910 HAS SOUS 663411 HAS SOUPS 663411 WITH SCORE 664173.91
AT ITER 3019 NEW BEST:: SOT 4411323 SOS 763036 HAS SOPS 763036 HAS SOUS 663326 HAS SOUPS 663326 WITH SCORE 664089.036
AT ITER 3048 NEW BEST:: SOT 4411237 SOS 762950 HAS SOPS 762950 HAS SOUS 663240 HAS SOUPS 663240 WITH SCORE 664002.95
AT ITER 3053 NEW BEST:: SOT 4411236 SOS 762593 HAS SOPS 762593 HAS SOUS 663238 HAS SOUPS 663238 WITH SCORE 664000.593
AT ITER 3075 NEW BEST:: SOT 4411056 SOS 762148 HAS SOPS 762148 HAS SOUS 662797 HAS SOUPS 662797 WITH SCORE 663559.148
AT ITER 3078 NEW BEST:: SOT 4411056 SOS 762126 HAS SOPS 762126 HAS SOUS 662797 HAS SOUPS 662797 WITH SCORE 663559.126
AT ITER 3094 NEW BEST:: SOT 4410154 SOS 761232 HAS SOPS 761232 HAS SOUS 661895 HAS SOUPS 661895 WITH SCORE 662656.232
AT ITER 3099 NEW BEST:: SOT 4409337 SOS 760388 HAS SOPS 760388 HAS SOUS 661051 HAS SOUPS 661051 WITH SCORE 661811.388
AT ITER 3101 NEW BEST:: SOT 4409161 SOS 760306 HAS SOPS 760306 HAS SOUS 660699 HAS SOUPS 660699 WITH SCORE 661459.306
AT ITER 3112 NEW BEST:: SOT 4409161 SOS 760306 HAS SOPS 760306 HAS SOUS 660692 HAS SOUPS 660692 WITH SCORE 661452.306
AT ITER 3116 NEW BEST:: SOT 4409161 SOS 760224 HAS SOPS 760224 HAS SOUS 660692 HAS SOUPS 660692 WITH SCORE 661452.224
AT ITER 3148 NEW BEST:: SOT 4409134 SOS 760197 HAS SOPS 760197 HAS SOUS 660665 HAS SOUPS 660665 WITH SCORE 661425.197
AT ITER 3150 NEW BEST:: SOT 4408808 SOS 760197 HAS SOPS 760197 HAS SOUS 660502 HAS SOUPS 660502 WITH SCORE 661262.197
AT ITER 3159 NEW BEST:: SOT 4408797 SOS 760164 HAS SOPS 760164 HAS SOUS 660480 HAS SOUPS 660480 WITH SCORE 661240.164
AT ITER 3160 NEW BEST:: SOT 4408798 SOS 760140 HAS SOPS 760140 HAS SOUS 660456 HAS SOUPS 660456 WITH SCORE 661216.14
AT ITER 3165 NEW BEST:: SOT 4408808 SOS 759884 HAS SOPS 759884 HAS SOUS 660307 HAS SOUPS 660307 WITH SCORE 661066.884
AT ITER 3172 NEW BEST:: SOT 4408514 SOS 759296 HAS SOPS 759296 HAS SOUS 659726 HAS SOUPS 659726 WITH SCORE 660485.296
AT ITER 3179 NEW BEST:: SOT 4408514 SOS 759204 HAS SOPS 759204 HAS SOUS 659726 HAS SOUPS 659726 WITH SCORE 660485.204
AT ITER 3199 NEW BEST:: SOT 4408394 SOS 758964 HAS SOPS 758964 HAS SOUS 659486 HAS SOUPS 659486 WITH SCORE 660244.964
AT ITER 3216 NEW BEST:: SOT 4408095 SOS 758366 HAS SOPS 758366 HAS SOUS 658888 HAS SOUPS 658888 WITH SCORE 659646.366
AT ITER 3224 NEW BEST:: SOT 4398330 SOS 763887 HAS SOPS 763887 HAS SOUS 649603 HAS SOUPS 649603 WITH SCORE 650366.887
AT ITER 3236 NEW BEST:: SOT 4398330 SOS 763815 HAS SOPS 763815 HAS SOUS 649603 HAS SOUPS 649603 WITH SCORE 650366.815
AT ITER 3268 NEW BEST:: SOT 4398258 SOS 763671 HAS SOPS 763671 HAS SOUS 649459 HAS SOUPS 649459 WITH SCORE 650222.671
AT ITER 3273 NEW BEST:: SOT 4397994 SOS 763407 HAS SOPS 763407 HAS SOUS 649195 HAS SOUPS 649195 WITH SCORE 649958.407
AT ITER 3275 NEW BEST:: SOT 4397561 SOS 763173 HAS SOPS 763173 HAS SOUS 648778 HAS SOUPS 648778 WITH SCORE 649541.173
AT ITER 3282 NEW BEST:: SOT 4397561 SOS 763147 HAS SOPS 763147 HAS SOUS 648778 HAS SOUPS 648778 WITH SCORE 649541.147
AT ITER 3288 NEW BEST:: SOT 4397084 SOS 764596 HAS SOPS 764596 HAS SOUS 648658 HAS SOUPS 648658 WITH SCORE 649422.596
AT ITER 3339 NEW BEST:: SOT 4397065 SOS 764558 HAS SOPS 764558 HAS SOUS 648620 HAS SOUPS 648620 WITH SCORE 649384.558
AT ITER 3357 NEW BEST:: SOT 4391727 SOS 766146 HAS SOPS 766146 HAS SOUS 643574 HAS SOUPS 643574 WITH SCORE 644340.146
AT ITER 3405 NEW BEST:: SOT 4391898 SOS 766488 HAS SOPS 766488 HAS SOUS 643519 HAS SOUPS 643519 WITH SCORE 644285.488
AT ITER 3410 NEW BEST:: SOT 4391871 SOS 766547 HAS SOPS 766547 HAS SOUS 643426 HAS SOUPS 643426 WITH SCORE 644192.547
AT ITER 3420 NEW BEST:: SOT 4391721 SOS 766247 HAS SOPS 766247 HAS SOUS 643126 HAS SOUPS 643126 WITH SCORE 643892.247
AT ITER 3436 NEW BEST:: SOT 4391678 SOS 766161 HAS SOPS 766161 HAS SOUS 643040 HAS SOUPS 643040 WITH SCORE 643806.161
AT ITER 3449 NEW BEST:: SOT 4391595 SOS 765995 HAS SOPS 765995 HAS SOUS 642874 HAS SOUPS 642874 WITH SCORE 643639.995
AT ITER 3504 NEW BEST:: SOT 4391595 SOS 765995 HAS SOPS 765995 HAS SOUS 642784 HAS SOUPS 642784 WITH SCORE 643549.995
AT ITER 3509 NEW BEST:: SOT 4390236 SOS 795477 HAS SOPS 795477 HAS SOUS 642119 HAS SOUPS 642119 WITH SCORE 642914.477
AT ITER 3520 NEW BEST:: SOT 4390060 SOS 795125 HAS SOPS 795125 HAS SOUS 641767 HAS SOUPS 641767 WITH SCORE 642562.125
AT ITER 3537 NEW BEST:: SOT 4389975 SOS 795059 HAS SOPS 795059 HAS SOUS 641682 HAS SOUPS 641682 WITH SCORE 642477.059
AT ITER 3542 NEW BEST:: SOT 4389937 SOS 795021 HAS SOPS 795021 HAS SOUS 641644 HAS SOUPS 641644 WITH SCORE 642439.021
AT ITER 3543 NEW BEST:: SOT 4390051 SOS 795007 HAS SOPS 795007 HAS SOUS 641538 HAS SOUPS 641538 WITH SCORE 642333.007
AT ITER 3548 NEW BEST:: SOT 4389876 SOS 794876 HAS SOPS 794876 HAS SOUS 641363 HAS SOUPS 641363 WITH SCORE 642157.876
AT ITER 3564 NEW BEST:: SOT 4389832 SOS 794858 HAS SOPS 794858 HAS SOUS 641315 HAS SOUPS 641315 WITH SCORE 642109.858
AT ITER 3593 NEW BEST:: SOT 4389674 SOS 794520 HAS SOPS 794520 HAS SOUS 640977 HAS SOUPS 640977 WITH SCORE 641771.52
AT ITER 3632 NEW BEST:: SOT 4389649 SOS 794470 HAS SOPS 794470 HAS SOUS 640874 HAS SOUPS 640874 WITH SCORE 641668.47
AT ITER 3633 NEW BEST:: SOT 4389797 SOS 793856 HAS SOPS 793856 HAS SOUS 640470 HAS SOUPS 640470 WITH SCORE 641263.856
AT ITER 3641 NEW BEST:: SOT 4389381 SOS 793628 HAS SOPS 793628 HAS SOUS 640242 HAS SOUPS 640242 WITH SCORE 641035.628
AT ITER 3643 NEW BEST:: SOT 4389277 SOS 793626 HAS SOPS 793626 HAS SOUS 640240 HAS SOUPS 640240 WITH SCORE 641033.626
AT ITER 3674 NEW BEST:: SOT 4389272 SOS 793616 HAS SOPS 793616 HAS SOUS 640230 HAS SOUPS 640230 WITH SCORE 641023.616
AT ITER 3676 NEW BEST:: SOT 4389092 SOS 793436 HAS SOPS 793436 HAS SOUS 640050 HAS SOUPS 640050 WITH SCORE 640843.436
AT ITER 3695 NEW BEST:: SOT 4389084 SOS 793420 HAS SOPS 793420 HAS SOUS 640042 HAS SOUPS 640042 WITH SCORE 640835.42
AT ITER 3696 NEW BEST:: SOT 4389076 SOS 793404 HAS SOPS 793404 HAS SOUS 640034 HAS SOUPS 640034 WITH SCORE 640827.404
AT ITER 3720 NEW BEST:: SOT 4388606 SOS 793052 HAS SOPS 793052 HAS SOUS 639597 HAS SOUPS 639597 WITH SCORE 640390.052
AT ITER 3724 NEW BEST:: SOT 4388641 SOS 793122 HAS SOPS 793122 HAS SOUS 639591 HAS SOUPS 639591 WITH SCORE 640384.122
AT ITER 3735 NEW BEST:: SOT 4388641 SOS 793122 HAS SOPS 793122 HAS SOUS 639586 HAS SOUPS 639586 WITH SCORE 640379.122
AT ITER 3751 NEW BEST:: SOT 4388537 SOS 792914 HAS SOPS 792914 HAS SOUS 639482 HAS SOUPS 639482 WITH SCORE 640274.914
AT ITER 3818 NEW BEST:: SOT 4388536 SOS 792912 HAS SOPS 792912 HAS SOUS 639480 HAS SOUPS 639480 WITH SCORE 640272.912
AT ITER 3837 NEW BEST:: SOT 4388536 SOS 792818 HAS SOPS 792818 HAS SOUS 639480 HAS SOUPS 639480 WITH SCORE 640272.818
AT ITER 3843 NEW BEST:: SOT 4388478 SOS 792794 HAS SOPS 792794 HAS SOUS 639422 HAS SOUPS 639422 WITH SCORE 640214.794
AT ITER 3876 NEW BEST:: SOT 4388147 SOS 792482 HAS SOPS 792482 HAS SOUS 639192 HAS SOUPS 639192 WITH SCORE 639984.482
AT ITER 3880 NEW BEST:: SOT 4388042 SOS 791856 HAS SOPS 791856 HAS SOUS 638877 HAS SOUPS 638877 WITH SCORE 639668.856
AT ITER 3900 NEW BEST:: SOT 4387808 SOS 791622 HAS SOPS 791622 HAS SOUS 638643 HAS SOUPS 638643 WITH SCORE 639434.622
AT ITER 3917 NEW BEST:: SOT 4387637 SOS 791451 HAS SOPS 791451 HAS SOUS 638301 HAS SOUPS 638301 WITH SCORE 639092.451
AT ITER 3922 NEW BEST:: SOT 4387637 SOS 791368 HAS SOPS 791368 HAS SOUS 638300 HAS SOUPS 638300 WITH SCORE 639091.368
AT ITER 3933 NEW BEST:: SOT 4387276 SOS 791079 HAS SOPS 791079 HAS SOUS 637978 HAS SOUPS 637978 WITH SCORE 638769.079
AT ITER 3935 NEW BEST:: SOT 4387050 SOS 790853 HAS SOPS 790853 HAS SOUS 637752 HAS SOUPS 637752 WITH SCORE 638542.853
AT ITER 3949 NEW BEST:: SOT 4386949 SOS 790651 HAS SOPS 790651 HAS SOUS 637550 HAS SOUPS 637550 WITH SCORE 638340.651
AT ITER 3996 NEW BEST:: SOT 4386949 SOS 790546 HAS SOPS 790546 HAS SOUS 637550 HAS SOUPS 637550 WITH SCORE 638340.546
AT ITER 4110 NEW BEST:: SOT 4386792 SOS 790538 HAS SOPS 790538 HAS SOUS 637458 HAS SOUPS 637458 WITH SCORE 638248.538
AT ITER 4122 NEW BEST:: SOT 4386229 SOS 790078 HAS SOPS 790078 HAS SOUS 636883 HAS SOUPS 636883 WITH SCORE 637673.078
AT ITER 4127 NEW BEST:: SOT 4386119 SOS 789968 HAS SOPS 789968 HAS SOUS 636883 HAS SOUPS 636883 WITH SCORE 637672.968
AT ITER 4154 NEW BEST:: SOT 4386119 SOS 789968 HAS SOPS 789968 HAS SOUS 636840 HAS SOUPS 636840 WITH SCORE 637629.968
AT ITER 4180 NEW BEST:: SOT 4386119 SOS 789968 HAS SOPS 789968 HAS SOUS 636838 HAS SOUPS 636838 WITH SCORE 637627.968
AT ITER 4222 NEW BEST:: SOT 4385818 SOS 789366 HAS SOPS 789366 HAS SOUS 636838 HAS SOUPS 636838 WITH SCORE 637627.366
AT ITER 4272 NEW BEST:: SOT 4385818 SOS 789348 HAS SOPS 789348 HAS SOUS 636820 HAS SOUPS 636820 WITH SCORE 637609.348
AT ITER 4299 NEW BEST:: SOT 4385485 SOS 788682 HAS SOPS 788682 HAS SOUS 636628 HAS SOUPS 636628 WITH SCORE 637416.682
AT ITER 4329 NEW BEST:: SOT 4385282 SOS 788276 HAS SOPS 788276 HAS SOUS 636628 HAS SOUPS 636628 WITH SCORE 637416.276
AT ITER 4339 NEW BEST:: SOT 4384920 SOS 787552 HAS SOPS 787552 HAS SOUS 636210 HAS SOUPS 636210 WITH SCORE 636997.552
AT ITER 4345 NEW BEST:: SOT 4384874 SOS 787506 HAS SOPS 787506 HAS SOUS 636164 HAS SOUPS 636164 WITH SCORE 636951.506
AT ITER 4356 NEW BEST:: SOT 4384873 SOS 787388 HAS SOPS 787388 HAS SOUS 636162 HAS SOUPS 636162 WITH SCORE 636949.388
AT ITER 4361 NEW BEST:: SOT 4384873 SOS 787325 HAS SOPS 787325 HAS SOUS 636162 HAS SOUPS 636162 WITH SCORE 636949.325
AT ITER 4376 NEW BEST:: SOT 4384783 SOS 787145 HAS SOPS 787145 HAS SOUS 635853 HAS SOUPS 635853 WITH SCORE 636640.145
AT ITER 4418 NEW BEST:: SOT 4384782 SOS 787143 HAS SOPS 787143 HAS SOUS 635851 HAS SOUPS 635851 WITH SCORE 636638.143
AT ITER 4432 NEW BEST:: SOT 4384649 SOS 787010 HAS SOPS 787010 HAS SOUS 635718 HAS SOUPS 635718 WITH SCORE 636505.01
AT ITER 4434 NEW BEST:: SOT 4383216 SOS 790402 HAS SOPS 790402 HAS SOUS 635596 HAS SOUPS 635596 WITH SCORE 636386.402
AT ITER 4450 NEW BEST:: SOT 4383228 SOS 790194 HAS SOPS 790194 HAS SOUS 635492 HAS SOUPS 635492 WITH SCORE 636282.194
AT ITER 4454 NEW BEST:: SOT 4383065 SOS 790067 HAS SOPS 790067 HAS SOUS 635329 HAS SOUPS 635329 WITH SCORE 636119.067
AT ITER 4475 NEW BEST:: SOT 4382876 SOS 789689 HAS SOPS 789689 HAS SOUS 635017 HAS SOUPS 635017 WITH SCORE 635806.689
AT ITER 4479 NEW BEST:: SOT 4382820 SOS 789577 HAS SOPS 789577 HAS SOUS 634694 HAS SOUPS 634694 WITH SCORE 635483.577
AT ITER 4518 NEW BEST:: SOT 4382509 SOS 788955 HAS SOPS 788955 HAS SOUS 634072 HAS SOUPS 634072 WITH SCORE 634860.955
AT ITER 4540 NEW BEST:: SOT 4382508 SOS 788757 HAS SOPS 788757 HAS SOUS 634070 HAS SOUPS 634070 WITH SCORE 634858.757
AT ITER 4568 NEW BEST:: SOT 4382508 SOS 788418 HAS SOPS 788418 HAS SOUS 634070 HAS SOUPS 634070 WITH SCORE 634858.418
AT ITER 4605 NEW BEST:: SOT 4382494 SOS 788390 HAS SOPS 788390 HAS SOUS 634056 HAS SOUPS 634056 WITH SCORE 634844.39
AT ITER 4612 NEW BEST:: SOT 4381548 SOS 788829 HAS SOPS 788829 HAS SOUS 633362 HAS SOUPS 633362 WITH SCORE 634150.829
AT ITER 4645 NEW BEST:: SOT 4381543 SOS 788819 HAS SOPS 788819 HAS SOUS 633352 HAS SOUPS 633352 WITH SCORE 634140.819
AT ITER 4668 NEW BEST:: SOT 4381543 SOS 788819 HAS SOPS 788819 HAS SOUS 633199 HAS SOUPS 633199 WITH SCORE 633987.819
AT ITER 4687 NEW BEST:: SOT 4381322 SOS 788737 HAS SOPS 788737 HAS SOUS 632977 HAS SOUPS 632977 WITH SCORE 633765.737
AT ITER 4694 NEW BEST:: SOT 4381290 SOS 788673 HAS SOPS 788673 HAS SOUS 632913 HAS SOUPS 632913 WITH SCORE 633701.673
AT ITER 4742 NEW BEST:: SOT 4381289 SOS 788671 HAS SOPS 788671 HAS SOUS 632911 HAS SOUPS 632911 WITH SCORE 633699.671
AT ITER 4744 NEW BEST:: SOT 4381241 SOS 788669 HAS SOPS 788669 HAS SOUS 632887 HAS SOUPS 632887 WITH SCORE 633675.669
AT ITER 4748 NEW BEST:: SOT 4381200 SOS 788587 HAS SOPS 788587 HAS SOUS 632593 HAS SOUPS 632593 WITH SCORE 633381.587
AT ITER 4754 NEW BEST:: SOT 4380594 SOS 788069 HAS SOPS 788069 HAS SOUS 632076 HAS SOUPS 632076 WITH SCORE 632864.069
AT ITER 4767 NEW BEST:: SOT 4380335 SOS 787551 HAS SOPS 787551 HAS SOUS 632075 HAS SOUPS 632075 WITH SCORE 632862.551
AT ITER 4777 NEW BEST:: SOT 4380108 SOS 787097 HAS SOPS 787097 HAS SOUS 631621 HAS SOUPS 631621 WITH SCORE 632408.097
AT ITER 4803 NEW BEST:: SOT 4379942 SOS 786765 HAS SOPS 786765 HAS SOUS 631454 HAS SOUPS 631454 WITH SCORE 632240.765
AT ITER 4844 NEW BEST:: SOT 4379909 SOS 786732 HAS SOPS 786732 HAS SOUS 631421 HAS SOUPS 631421 WITH SCORE 632207.732
AT ITER 4849 NEW BEST:: SOT 4379886 SOS 786686 HAS SOPS 786686 HAS SOUS 631375 HAS SOUPS 631375 WITH SCORE 632161.686
AT ITER 4919 NEW BEST:: SOT 4379886 SOS 786686 HAS SOPS 786686 HAS SOUS 631374 HAS SOUPS 631374 WITH SCORE 632160.686
AT ITER 4936 NEW BEST:: SOT 4379820 SOS 786640 HAS SOPS 786640 HAS SOUS 631320 HAS SOUPS 631320 WITH SCORE 632106.64
AT ITER 4956 NEW BEST:: SOT 4379686 SOS 786372 HAS SOPS 786372 HAS SOUS 631186 HAS SOUPS 631186 WITH SCORE 631972.372
AT ITER 4966 NEW BEST:: SOT 4379631 SOS 786262 HAS SOPS 786262 HAS SOUS 631089 HAS SOUPS 631089 WITH SCORE 631875.262
AT ITER 4987 NEW BEST:: SOT 4379423 SOS 786054 HAS SOPS 786054 HAS SOUS 630881 HAS SOUPS 630881 WITH SCORE 631667.054
AT ITER 4988 NEW BEST:: SOT 4379399 SOS 786006 HAS SOPS 786006 HAS SOUS 630490 HAS SOUPS 630490 WITH SCORE 631276.006
AT ITER 4998 NEW BEST:: SOT 4379157 SOS 785764 HAS SOPS 785764 HAS SOUS 630248 HAS SOUPS 630248 WITH SCORE 631033.764
AT ITER 5012 NEW BEST:: SOT 4379119 SOS 785810 HAS SOPS 785810 HAS SOUS 630210 HAS SOUPS 630210 WITH SCORE 630995.81
AT ITER 5032 NEW BEST:: SOT 4379321 SOS 785778 HAS SOPS 785778 HAS SOUS 630178 HAS SOUPS 630178 WITH SCORE 630963.778
AT ITER 5041 NEW BEST:: SOT 4378543 SOS 785034 HAS SOPS 785034 HAS SOUS 629434 HAS SOUPS 629434 WITH SCORE 630219.034
AT ITER 5047 NEW BEST:: SOT 4378466 SOS 784880 HAS SOPS 784880 HAS SOUS 629280 HAS SOUPS 629280 WITH SCORE 630064.88
AT ITER 5053 NEW BEST:: SOT 4378370 SOS 785020 HAS SOPS 785020 HAS SOUS 629167 HAS SOUPS 629167 WITH SCORE 629952.02
AT ITER 5085 NEW BEST:: SOT 4378100 SOS 784480 HAS SOPS 784480 HAS SOUS 628627 HAS SOUPS 628627 WITH SCORE 629411.48
AT ITER 5103 NEW BEST:: SOT 4377990 SOS 784367 HAS SOPS 784367 HAS SOUS 628480 HAS SOUPS 628480 WITH SCORE 629264.367
AT ITER 5109 NEW BEST:: SOT 4377949 SOS 784326 HAS SOPS 784326 HAS SOUS 628438 HAS SOUPS 628438 WITH SCORE 629222.326
AT ITER 5122 NEW BEST:: SOT 4377922 SOS 784201 HAS SOPS 784201 HAS SOUS 628340 HAS SOUPS 628340 WITH SCORE 629124.201
AT ITER 5130 NEW BEST:: SOT 4377892 SOS 784111 HAS SOPS 784111 HAS SOUS 628280 HAS SOUPS 628280 WITH SCORE 629064.111
AT ITER 5147 NEW BEST:: SOT 4377729 SOS 783853 HAS SOPS 783853 HAS SOUS 628117 HAS SOUPS 628117 WITH SCORE 628900.853
AT ITER 5154 NEW BEST:: SOT 4377729 SOS 783853 HAS SOPS 783853 HAS SOUS 627927 HAS SOUPS 627927 WITH SCORE 628710.853
AT ITER 5175 NEW BEST:: SOT 4377523 SOS 783621 HAS SOPS 783621 HAS SOUS 627695 HAS SOUPS 627695 WITH SCORE 628478.621
AT ITER 5202 NEW BEST:: SOT 4377513 SOS 783601 HAS SOPS 783601 HAS SOUS 627675 HAS SOUPS 627675 WITH SCORE 628458.601
AT ITER 5209 NEW BEST:: SOT 4377513 SOS 783442 HAS SOPS 783442 HAS SOUS 627675 HAS SOUPS 627675 WITH SCORE 628458.442
AT ITER 5221 NEW BEST:: SOT 4377512 SOS 783440 HAS SOPS 783440 HAS SOUS 627673 HAS SOUPS 627673 WITH SCORE 628456.44
AT ITER 5229 NEW BEST:: SOT 4377477 SOS 783370 HAS SOPS 783370 HAS SOUS 627603 HAS SOUPS 627603 WITH SCORE 628386.37
AT ITER 5247 NEW BEST:: SOT 4377225 SOS 782866 HAS SOPS 782866 HAS SOUS 627330 HAS SOUPS 627330 WITH SCORE 628112.866
AT ITER 5287 NEW BEST:: SOT 4377157 SOS 782730 HAS SOPS 782730 HAS SOUS 627262 HAS SOUPS 627262 WITH SCORE 628044.73
AT ITER 5333 NEW BEST:: SOT 4377001 SOS 781477 HAS SOPS 781477 HAS SOUS 627149 HAS SOUPS 627149 WITH SCORE 627930.477
AT ITER 5347 NEW BEST:: SOT 4376933 SOS 781341 HAS SOPS 781341 HAS SOUS 627013 HAS SOUPS 627013 WITH SCORE 627794.341
AT ITER 5352 NEW BEST:: SOT 4376755 SOS 781163 HAS SOPS 781163 HAS SOUS 626835 HAS SOUPS 626835 WITH SCORE 627616.163
AT ITER 5361 NEW BEST:: SOT 4376580 SOS 780813 HAS SOPS 780813 HAS SOUS 626660 HAS SOUPS 626660 WITH SCORE 627440.813
AT ITER 5373 NEW BEST:: SOT 4376540 SOS 780733 HAS SOPS 780733 HAS SOUS 626610 HAS SOUPS 626610 WITH SCORE 627390.733
AT ITER 5376 NEW BEST:: SOT 4376540 SOS 780681 HAS SOPS 780681 HAS SOUS 626610 HAS SOUPS 626610 WITH SCORE 627390.681
AT ITER 5407 NEW BEST:: SOT 4376649 SOS 780899 HAS SOPS 780899 HAS SOUS 626343 HAS SOUPS 626343 WITH SCORE 627123.899
AT ITER 5418 NEW BEST:: SOT 4376456 SOS 781058 HAS SOPS 781058 HAS SOUS 626150 HAS SOUPS 626150 WITH SCORE 626931.058
AT ITER 5444 NEW BEST:: SOT 4376294 SOS 781097 HAS SOPS 781097 HAS SOUS 626124 HAS SOUPS 626124 WITH SCORE 626905.097
AT ITER 5493 NEW BEST:: SOT 4376285 SOS 781079 HAS SOPS 781079 HAS SOUS 626106 HAS SOUPS 626106 WITH SCORE 626887.079
AT ITER 5549 NEW BEST:: SOT 4376116 SOS 780741 HAS SOPS 780741 HAS SOUS 625768 HAS SOUPS 625768 WITH SCORE 626548.741
AT ITER 5566 NEW BEST:: SOT 4376108 SOS 780725 HAS SOPS 780725 HAS SOUS 625760 HAS SOUPS 625760 WITH SCORE 626540.725
AT ITER 5581 NEW BEST:: SOT 4376043 SOS 780595 HAS SOPS 780595 HAS SOUS 625630 HAS SOUPS 625630 WITH SCORE 626410.595
AT ITER 5604 NEW BEST:: SOT 4376038 SOS 780585 HAS SOPS 780585 HAS SOUS 625625 HAS SOUPS 625625 WITH SCORE 626405.585
AT ITER 5606 NEW BEST:: SOT 4375990 SOS 780537 HAS SOPS 780537 HAS SOUS 625577 HAS SOUPS 625577 WITH SCORE 626357.537
AT ITER 5615 NEW BEST:: SOT 4375899 SOS 779818 HAS SOPS 779818 HAS SOUS 625024 HAS SOUPS 625024 WITH SCORE 625803.818
AT ITER 5715 NEW BEST:: SOT 4375878 SOS 739505 HAS SOPS 739505 HAS SOUS 624980 HAS SOUPS 624980 WITH SCORE 625719.505
AT ITER 5718 NEW BEST:: SOT 4375817 SOS 739450 HAS SOPS 739450 HAS SOUS 624925 HAS SOUPS 624925 WITH SCORE 625664.45
AT ITER 5746 NEW BEST:: SOT 4375876 SOS 739568 HAS SOPS 739568 HAS SOUS 624843 HAS SOUPS 624843 WITH SCORE 625582.568
AT ITER 5756 NEW BEST:: SOT 4375609 SOS 739034 HAS SOPS 739034 HAS SOUS 624647 HAS SOUPS 624647 WITH SCORE 625386.034
AT ITER 5757 NEW BEST:: SOT 4375426 SOS 738851 HAS SOPS 738851 HAS SOUS 624464 HAS SOUPS 624464 WITH SCORE 625202.851
AT ITER 5780 NEW BEST:: SOT 4375283 SOS 738565 HAS SOPS 738565 HAS SOUS 624178 HAS SOUPS 624178 WITH SCORE 624916.565
AT ITER 5804 NEW BEST:: SOT 4375283 SOS 738565 HAS SOPS 738565 HAS SOUS 624031 HAS SOUPS 624031 WITH SCORE 624769.565
AT ITER 5812 NEW BEST:: SOT 4375156 SOS 738311 HAS SOPS 738311 HAS SOUS 623777 HAS SOUPS 623777 WITH SCORE 624515.311
AT ITER 5816 NEW BEST:: SOT 4375106 SOS 738211 HAS SOPS 738211 HAS SOUS 623665 HAS SOUPS 623665 WITH SCORE 624403.211
AT ITER 5848 NEW BEST:: SOT 4375022 SOS 738375 HAS SOPS 738375 HAS SOUS 623661 HAS SOUPS 623661 WITH SCORE 624399.375
AT ITER 5854 NEW BEST:: SOT 4375040 SOS 738005 HAS SOPS 738005 HAS SOUS 623607 HAS SOUPS 623607 WITH SCORE 624345.005
AT ITER 5877 NEW BEST:: SOT 4375072 SOS 738372 HAS SOPS 738372 HAS SOUS 623532 HAS SOUPS 623532 WITH SCORE 624270.372
AT ITER 5886 NEW BEST:: SOT 4375072 SOS 738372 HAS SOPS 738372 HAS SOUS 623531 HAS SOUPS 623531 WITH SCORE 624269.372
AT ITER 5900 NEW BEST:: SOT 4375063 SOS 738354 HAS SOPS 738354 HAS SOUS 623501 HAS SOUPS 623501 WITH SCORE 624239.354
AT ITER 5903 NEW BEST:: SOT 4375040 SOS 738308 HAS SOPS 738308 HAS SOUS 623455 HAS SOUPS 623455 WITH SCORE 624193.308
AT ITER 5911 NEW BEST:: SOT 4375020 SOS 738268 HAS SOPS 738268 HAS SOUS 623435 HAS SOUPS 623435 WITH SCORE 624173.268
AT ITER 5917 NEW BEST:: SOT 4375002 SOS 738232 HAS SOPS 738232 HAS SOUS 623399 HAS SOUPS 623399 WITH SCORE 624137.232
AT ITER 5923 NEW BEST:: SOT 4374972 SOS 738172 HAS SOPS 738172 HAS SOUS 623354 HAS SOUPS 623354 WITH SCORE 624092.172
AT ITER 5944 NEW BEST:: SOT 4374929 SOS 738248 HAS SOPS 738248 HAS SOUS 623308 HAS SOUPS 623308 WITH SCORE 624046.248
AT ITER 5954 NEW BEST:: SOT 4374481 SOS 737352 HAS SOPS 737352 HAS SOUS 622877 HAS SOUPS 622877 WITH SCORE 623614.352
AT ITER 5979 NEW BEST:: SOT 4374451 SOS 737163 HAS SOPS 737163 HAS SOUS 622767 HAS SOUPS 622767 WITH SCORE 623504.163
AT ITER 5988 NEW BEST:: SOT 4374387 SOS 736971 HAS SOPS 736971 HAS SOUS 622639 HAS SOUPS 622639 WITH SCORE 623375.971
AT ITER 5996 NEW BEST:: SOT 4374223 SOS 736461 HAS SOPS 736461 HAS SOUS 622485 HAS SOUPS 622485 WITH SCORE 623221.461
AT ITER 6011 NEW BEST:: SOT 4374143 SOS 736301 HAS SOPS 736301 HAS SOUS 622325 HAS SOUPS 622325 WITH SCORE 623061.301
AT ITER 6023 NEW BEST:: SOT 4373875 SOS 736033 HAS SOPS 736033 HAS SOUS 622057 HAS SOUPS 622057 WITH SCORE 622793.033
AT ITER 6035 NEW BEST:: SOT 4373802 SOS 735887 HAS SOPS 735887 HAS SOUS 621911 HAS SOUPS 621911 WITH SCORE 622646.887
AT ITER 6091 NEW BEST:: SOT 4373048 SOS 736099 HAS SOPS 736099 HAS SOUS 621283 HAS SOUPS 621283 WITH SCORE 622019.099
AT ITER 6108 NEW BEST:: SOT 4372989 SOS 735981 HAS SOPS 735981 HAS SOUS 621165 HAS SOUPS 621165 WITH SCORE 621900.981
AT ITER 6134 NEW BEST:: SOT 4372884 SOS 736167 HAS SOPS 736167 HAS SOUS 620979 HAS SOUPS 620979 WITH SCORE 621715.167
AT ITER 6178 NEW BEST:: SOT 4372884 SOS 736167 HAS SOPS 736167 HAS SOUS 620754 HAS SOUPS 620754 WITH SCORE 621490.167
AT ITER 6206 NEW BEST:: SOT 4372812 SOS 736083 HAS SOPS 736083 HAS SOUS 620670 HAS SOUPS 620670 WITH SCORE 621406.083
AT ITER 6212 NEW BEST:: SOT 4372698 SOS 735855 HAS SOPS 735855 HAS SOUS 620556 HAS SOUPS 620556 WITH SCORE 621291.855
AT ITER 6214 NEW BEST:: SOT 4372517 SOS 735674 HAS SOPS 735674 HAS SOUS 620556 HAS SOUPS 620556 WITH SCORE 621291.674
AT ITER 6274 NEW BEST:: SOT 4372429 SOS 735586 HAS SOPS 735586 HAS SOUS 620468 HAS SOUPS 620468 WITH SCORE 621203.586
AT ITER 6298 NEW BEST:: SOT 4372260 SOS 735248 HAS SOPS 735248 HAS SOUS 620130 HAS SOUPS 620130 WITH SCORE 620865.248
AT ITER 6314 NEW BEST:: SOT 4372138 SOS 735004 HAS SOPS 735004 HAS SOUS 620096 HAS SOUPS 620096 WITH SCORE 620831.004
AT ITER 6320 NEW BEST:: SOT 4372072 SOS 734872 HAS SOPS 734872 HAS SOUS 619964 HAS SOUPS 619964 WITH SCORE 620698.872
AT ITER 6325 NEW BEST:: SOT 4372477 SOS 735018 HAS SOPS 735018 HAS SOUS 619850 HAS SOUPS 619850 WITH SCORE 620585.018
AT ITER 6327 NEW BEST:: SOT 4372044 SOS 734152 HAS SOPS 734152 HAS SOUS 619225 HAS SOUPS 619225 WITH SCORE 619959.152
AT ITER 6355 NEW BEST:: SOT 4371787 SOS 733638 HAS SOPS 733638 HAS SOUS 618968 HAS SOUPS 618968 WITH SCORE 619701.638
AT ITER 6375 NEW BEST:: SOT 4371543 SOS 733638 HAS SOPS 733638 HAS SOUS 618846 HAS SOUPS 618846 WITH SCORE 619579.638
AT ITER 6387 NEW BEST:: SOT 4371331 SOS 733214 HAS SOPS 733214 HAS SOUS 618422 HAS SOUPS 618422 WITH SCORE 619155.214
AT ITER 6389 NEW BEST:: SOT 4371209 SOS 732970 HAS SOPS 732970 HAS SOUS 618199 HAS SOUPS 618199 WITH SCORE 618931.97
AT ITER 6400 NEW BEST:: SOT 4371208 SOS 732725 HAS SOPS 732725 HAS SOUS 618197 HAS SOUPS 618197 WITH SCORE 618929.725
AT ITER 6421 NEW BEST:: SOT 4371144 SOS 732597 HAS SOPS 732597 HAS SOUS 618119 HAS SOUPS 618119 WITH SCORE 618851.597
AT ITER 6453 NEW BEST:: SOT 4370845 SOS 731926 HAS SOPS 731926 HAS SOUS 617838 HAS SOUPS 617838 WITH SCORE 618569.926
AT ITER 6458 NEW BEST:: SOT 4370787 SOS 731926 HAS SOPS 731926 HAS SOUS 617809 HAS SOUPS 617809 WITH SCORE 618540.926
AT ITER 6486 NEW BEST:: SOT 4370787 SOS 731800 HAS SOPS 731800 HAS SOUS 617809 HAS SOUPS 617809 WITH SCORE 618540.8
AT ITER 6519 NEW BEST:: SOT 4370776 SOS 731778 HAS SOPS 731778 HAS SOUS 617787 HAS SOUPS 617787 WITH SCORE 618518.778
AT ITER 6522 NEW BEST:: SOT 4370776 SOS 731778 HAS SOPS 731778 HAS SOUS 617722 HAS SOUPS 617722 WITH SCORE 618453.778
AT ITER 6533 NEW BEST:: SOT 4370664 SOS 731554 HAS SOPS 731554 HAS SOUS 617498 HAS SOUPS 617498 WITH SCORE 618229.554
AT ITER 6547 NEW BEST:: SOT 4370604 SOS 731554 HAS SOPS 731554 HAS SOUS 617468 HAS SOUPS 617468 WITH SCORE 618199.554
AT ITER 6550 NEW BEST:: SOT 4370604 SOS 731516 HAS SOPS 731516 HAS SOUS 617468 HAS SOUPS 617468 WITH SCORE 618199.516
AT ITER 6560 NEW BEST:: SOT 4370329 SOS 730966 HAS SOPS 730966 HAS SOUS 616918 HAS SOUPS 616918 WITH SCORE 617648.966
AT ITER 6592 NEW BEST:: SOT 4370329 SOS 730966 HAS SOPS 730966 HAS SOUS 616889 HAS SOUPS 616889 WITH SCORE 617619.966
AT ITER 6618 NEW BEST:: SOT 4369293 SOS 733017 HAS SOPS 733017 HAS SOUS 616824 HAS SOUPS 616824 WITH SCORE 617557.017
AT ITER 6641 NEW BEST:: SOT 4369064 SOS 735722 HAS SOPS 735722 HAS SOUS 616744 HAS SOUPS 616744 WITH SCORE 617479.722
AT ITER 6652 NEW BEST:: SOT 4368796 SOS 735722 HAS SOPS 735722 HAS SOUS 616610 HAS SOUPS 616610 WITH SCORE 617345.722
AT ITER 6671 NEW BEST:: SOT 4368796 SOS 735722 HAS SOPS 735722 HAS SOUS 616595 HAS SOUPS 616595 WITH SCORE 617330.722
AT ITER 6686 NEW BEST:: SOT 4368692 SOS 735514 HAS SOPS 735514 HAS SOUS 616387 HAS SOUPS 616387 WITH SCORE 617122.514
AT ITER 6716 NEW BEST:: SOT 4368692 SOS 735422 HAS SOPS 735422 HAS SOUS 616387 HAS SOUPS 616387 WITH SCORE 617122.422
AT ITER 6736 NEW BEST:: SOT 4368692 SOS 735348 HAS SOPS 735348 HAS SOUS 616313 HAS SOUPS 616313 WITH SCORE 617048.348
AT ITER 6738 NEW BEST:: SOT 4368345 SOS 735204 HAS SOPS 735204 HAS SOUS 616059 HAS SOUPS 616059 WITH SCORE 616794.204
AT ITER 6748 NEW BEST:: SOT 4368282 SOS 735078 HAS SOPS 735078 HAS SOUS 615996 HAS SOUPS 615996 WITH SCORE 616731.078
AT ITER 6789 NEW BEST:: SOT 4368229 SOS 734877 HAS SOPS 734877 HAS SOUS 615943 HAS SOUPS 615943 WITH SCORE 616677.877
AT ITER 6793 NEW BEST:: SOT 4368212 SOS 734843 HAS SOPS 734843 HAS SOUS 615926 HAS SOUPS 615926 WITH SCORE 616660.843
AT ITER 6796 NEW BEST:: SOT 4368142 SOS 734703 HAS SOPS 734703 HAS SOUS 615786 HAS SOUPS 615786 WITH SCORE 616520.703
AT ITER 6810 NEW BEST:: SOT 4367979 SOS 734647 HAS SOPS 734647 HAS SOUS 615676 HAS SOUPS 615676 WITH SCORE 616410.647
AT ITER 6823 NEW BEST:: SOT 4367901 SOS 734271 HAS SOPS 734271 HAS SOUS 615300 HAS SOUPS 615300 WITH SCORE 616034.271
AT ITER 6851 NEW BEST:: SOT 4367690 SOS 734060 HAS SOPS 734060 HAS SOUS 615089 HAS SOUPS 615089 WITH SCORE 615823.06
AT ITER 6865 NEW BEST:: SOT 4367597 SOS 733874 HAS SOPS 733874 HAS SOUS 614924 HAS SOUPS 614924 WITH SCORE 615657.874
AT ITER 6874 NEW BEST:: SOT 4367596 SOS 733867 HAS SOPS 733867 HAS SOUS 614922 HAS SOUPS 614922 WITH SCORE 615655.867
AT ITER 6908 NEW BEST:: SOT 4367586 SOS 733847 HAS SOPS 733847 HAS SOUS 614912 HAS SOUPS 614912 WITH SCORE 615645.847
AT ITER 6912 NEW BEST:: SOT 4367519 SOS 733713 HAS SOPS 733713 HAS SOUS 614778 HAS SOUPS 614778 WITH SCORE 615511.713
AT ITER 6927 NEW BEST:: SOT 4367565 SOS 733805 HAS SOPS 733805 HAS SOUS 614739 HAS SOUPS 614739 WITH SCORE 615472.805
AT ITER 6969 NEW BEST:: SOT 4367382 SOS 733564 HAS SOPS 733564 HAS SOUS 614486 HAS SOUPS 614486 WITH SCORE 615219.564
AT ITER 7015 NEW BEST:: SOT 4367379 SOS 733558 HAS SOPS 733558 HAS SOUS 614480 HAS SOUPS 614480 WITH SCORE 615213.558
AT ITER 7024 NEW BEST:: SOT 4367187 SOS 733487 HAS SOPS 733487 HAS SOUS 614096 HAS SOUPS 614096 WITH SCORE 614829.487
AT ITER 7041 NEW BEST:: SOT 4367148 SOS 733409 HAS SOPS 733409 HAS SOUS 614018 HAS SOUPS 614018 WITH SCORE 614751.409
AT ITER 7108 NEW BEST:: SOT 4367049 SOS 732651 HAS SOPS 732651 HAS SOUS 613919 HAS SOUPS 613919 WITH SCORE 614651.651
AT ITER 7135 NEW BEST:: SOT 4367040 SOS 732633 HAS SOPS 732633 HAS SOUS 613910 HAS SOUPS 613910 WITH SCORE 614642.633
AT ITER 7138 NEW BEST:: SOT 4366962 SOS 732477 HAS SOPS 732477 HAS SOUS 613754 HAS SOUPS 613754 WITH SCORE 614486.477
AT ITER 7146 NEW BEST:: SOT 4366318 SOS 732218 HAS SOPS 732218 HAS SOUS 613161 HAS SOUPS 613161 WITH SCORE 613893.218
AT ITER 7160 NEW BEST:: SOT 4365011 SOS 734038 HAS SOPS 734038 HAS SOUS 612497 HAS SOUPS 612497 WITH SCORE 613231.038
AT ITER 7242 NEW BEST:: SOT 4365002 SOS 734020 HAS SOPS 734020 HAS SOUS 612479 HAS SOUPS 612479 WITH SCORE 613213.02
AT ITER 7254 NEW BEST:: SOT 4364890 SOS 733796 HAS SOPS 733796 HAS SOUS 612305 HAS SOUPS 612305 WITH SCORE 613038.796
AT ITER 7307 NEW BEST:: SOT 4364628 SOS 733272 HAS SOPS 733272 HAS SOUS 611781 HAS SOUPS 611781 WITH SCORE 612514.272
AT ITER 7343 NEW BEST:: SOT 4364606 SOS 733228 HAS SOPS 733228 HAS SOUS 611737 HAS SOUPS 611737 WITH SCORE 612470.228
AT ITER 7344 NEW BEST:: SOT 4364606 SOS 733228 HAS SOPS 733228 HAS SOUS 611609 HAS SOUPS 611609 WITH SCORE 612342.228
AT ITER 7350 NEW BEST:: SOT 4364605 SOS 733226 HAS SOPS 733226 HAS SOUS 611607 HAS SOUPS 611607 WITH SCORE 612340.226
AT ITER 7356 NEW BEST:: SOT 4364444 SOS 733420 HAS SOPS 733420 HAS SOUS 611575 HAS SOUPS 611575 WITH SCORE 612308.42
AT ITER 7384 NEW BEST:: SOT 4364378 SOS 733428 HAS SOPS 733428 HAS SOUS 611544 HAS SOUPS 611544 WITH SCORE 612277.428
AT ITER 7410 NEW BEST:: SOT 4363803 SOS 732838 HAS SOPS 732838 HAS SOUS 610954 HAS SOUPS 610954 WITH SCORE 611686.838
AT ITER 7431 NEW BEST:: SOT 4363595 SOS 732630 HAS SOPS 732630 HAS SOUS 610746 HAS SOUPS 610746 WITH SCORE 611478.63
AT ITER 7459 NEW BEST:: SOT 4363573 SOS 732586 HAS SOPS 732586 HAS SOUS 610702 HAS SOUPS 610702 WITH SCORE 611434.586
AT ITER 7463 NEW BEST:: SOT 4363487 SOS 732414 HAS SOPS 732414 HAS SOUS 610616 HAS SOUPS 610616 WITH SCORE 611348.414
AT ITER 7505 NEW BEST:: SOT 4363487 SOS 732308 HAS SOPS 732308 HAS SOUS 610616 HAS SOUPS 610616 WITH SCORE 611348.308
AT ITER 7522 NEW BEST:: SOT 4363444 SOS 732439 HAS SOPS 732439 HAS SOUS 610584 HAS SOUPS 610584 WITH SCORE 611316.439
AT ITER 7539 NEW BEST:: SOT 4363069 SOS 731689 HAS SOPS 731689 HAS SOUS 609860 HAS SOUPS 609860 WITH SCORE 610591.689
AT ITER 7558 NEW BEST:: SOT 4362830 SOS 731211 HAS SOPS 731211 HAS SOUS 609382 HAS SOUPS 609382 WITH SCORE 610113.211
AT ITER 7561 NEW BEST:: SOT 4362773 SOS 731097 HAS SOPS 731097 HAS SOUS 609267 HAS SOUPS 609267 WITH SCORE 609998.097
AT ITER 7582 NEW BEST:: SOT 4362650 SOS 730851 HAS SOPS 730851 HAS SOUS 609021 HAS SOUPS 609021 WITH SCORE 609751.851
AT ITER 7600 NEW BEST:: SOT 4362569 SOS 730689 HAS SOPS 730689 HAS SOUS 608859 HAS SOUPS 608859 WITH SCORE 609589.689
AT ITER 7620 NEW BEST:: SOT 4362512 SOS 730575 HAS SOPS 730575 HAS SOUS 608745 HAS SOUPS 608745 WITH SCORE 609475.575
AT ITER 7621 NEW BEST:: SOT 4362458 SOS 730467 HAS SOPS 730467 HAS SOUS 608637 HAS SOUPS 608637 WITH SCORE 609367.467
AT ITER 7626 NEW BEST:: SOT 4362392 SOS 730401 HAS SOPS 730401 HAS SOUS 608571 HAS SOUPS 608571 WITH SCORE 609301.401
AT ITER 7637 NEW BEST:: SOT 4362310 SOS 730237 HAS SOPS 730237 HAS SOUS 608407 HAS SOUPS 608407 WITH SCORE 609137.237
AT ITER 7658 NEW BEST:: SOT 4362277 SOS 730171 HAS SOPS 730171 HAS SOUS 608373 HAS SOUPS 608373 WITH SCORE 609103.171
AT ITER 7665 NEW BEST:: SOT 4362277 SOS 730171 HAS SOPS 730171 HAS SOUS 608080 HAS SOUPS 608080 WITH SCORE 608810.171
AT ITER 7681 NEW BEST:: SOT 4362277 SOS 730171 HAS SOPS 730171 HAS SOUS 608028 HAS SOUPS 608028 WITH SCORE 608758.171
AT ITER 7688 NEW BEST:: SOT 4362000 SOS 729617 HAS SOPS 729617 HAS SOUS 607486 HAS SOUPS 607486 WITH SCORE 608215.617
AT ITER 7765 NEW BEST:: SOT 4361990 SOS 729597 HAS SOPS 729597 HAS SOUS 607346 HAS SOUPS 607346 WITH SCORE 608075.597
AT ITER 7781 NEW BEST:: SOT 4361990 SOS 729597 HAS SOPS 729597 HAS SOUS 607342 HAS SOUPS 607342 WITH SCORE 608071.597
AT ITER 7807 NEW BEST:: SOT 4360474 SOS 736141 HAS SOPS 736141 HAS SOUS 607178 HAS SOUPS 607178 WITH SCORE 607914.141
AT ITER 7815 NEW BEST:: SOT 4360449 SOS 736091 HAS SOPS 736091 HAS SOUS 607018 HAS SOUPS 607018 WITH SCORE 607754.091
AT ITER 7824 NEW BEST:: SOT 4360463 SOS 736119 HAS SOPS 736119 HAS SOUS 607014 HAS SOUPS 607014 WITH SCORE 607750.119
AT ITER 7847 NEW BEST:: SOT 4360655 SOS 735797 HAS SOPS 735797 HAS SOUS 606978 HAS SOUPS 606978 WITH SCORE 607713.797
AT ITER 7868 NEW BEST:: SOT 4360655 SOS 735674 HAS SOPS 735674 HAS SOUS 606855 HAS SOUPS 606855 WITH SCORE 607590.674
AT ITER 7895 NEW BEST:: SOT 4360376 SOS 735116 HAS SOPS 735116 HAS SOUS 606492 HAS SOUPS 606492 WITH SCORE 607227.116
AT ITER 7932 NEW BEST:: SOT 4360376 SOS 735007 HAS SOPS 735007 HAS SOUS 606492 HAS SOUPS 606492 WITH SCORE 607227.007
AT ITER 7978 NEW BEST:: SOT 4360376 SOS 735007 HAS SOPS 735007 HAS SOUS 606384 HAS SOUPS 606384 WITH SCORE 607119.007
AT ITER 7999 NEW BEST:: SOT 4360293 SOS 735107 HAS SOPS 735107 HAS SOUS 606218 HAS SOUPS 606218 WITH SCORE 606953.107
AT ITER 8014 NEW BEST:: SOT 4359905 SOS 734331 HAS SOPS 734331 HAS SOUS 605890 HAS SOUPS 605890 WITH SCORE 606624.331
AT ITER 8016 NEW BEST:: SOT 4359863 SOS 734247 HAS SOPS 734247 HAS SOUS 605806 HAS SOUPS 605806 WITH SCORE 606540.247
AT ITER 8042 NEW BEST:: SOT 4359759 SOS 734171 HAS SOPS 734171 HAS SOUS 605730 HAS SOUPS 605730 WITH SCORE 606464.171
AT ITER 8052 NEW BEST:: SOT 4359759 SOS 734171 HAS SOPS 734171 HAS SOUS 605700 HAS SOUPS 605700 WITH SCORE 606434.171
AT ITER 8061 NEW BEST:: SOT 4359733 SOS 734145 HAS SOPS 734145 HAS SOUS 605674 HAS SOUPS 605674 WITH SCORE 606408.145
AT ITER 8101 NEW BEST:: SOT 4359729 SOS 734133 HAS SOPS 734133 HAS SOUS 605666 HAS SOUPS 605666 WITH SCORE 606400.133
AT ITER 8114 NEW BEST:: SOT 4359704 SOS 734083 HAS SOPS 734083 HAS SOUS 605616 HAS SOUPS 605616 WITH SCORE 606350.083
AT ITER 8127 NEW BEST:: SOT 4359651 SOS 734151 HAS SOPS 734151 HAS SOUS 605563 HAS SOUPS 605563 WITH SCORE 606297.151
AT ITER 8144 NEW BEST:: SOT 4359482 SOS 733813 HAS SOPS 733813 HAS SOUS 605394 HAS SOUPS 605394 WITH SCORE 606127.813
AT ITER 8168 NEW BEST:: SOT 4359036 SOS 734993 HAS SOPS 734993 HAS SOUS 605207 HAS SOUPS 605207 WITH SCORE 605941.993
AT ITER 8170 NEW BEST:: SOT 4359042 SOS 734635 HAS SOPS 734635 HAS SOUS 604895 HAS SOUPS 604895 WITH SCORE 605629.635
AT ITER 8172 NEW BEST:: SOT 4359042 SOS 734635 HAS SOPS 734635 HAS SOUS 604875 HAS SOUPS 604875 WITH SCORE 605609.635
AT ITER 8185 NEW BEST:: SOT 4359010 SOS 734571 HAS SOPS 734571 HAS SOUS 604811 HAS SOUPS 604811 WITH SCORE 605545.571
AT ITER 8214 NEW BEST:: SOT 4359249 SOS 734794 HAS SOPS 734794 HAS SOUS 604760 HAS SOUPS 604760 WITH SCORE 605494.794
AT ITER 8227 NEW BEST:: SOT 4359142 SOS 734470 HAS SOPS 734470 HAS SOUS 604546 HAS SOUPS 604546 WITH SCORE 605280.47
AT ITER 8231 NEW BEST:: SOT 4358557 SOS 736145 HAS SOPS 736145 HAS SOUS 604473 HAS SOUPS 604473 WITH SCORE 605209.145
AT ITER 8245 NEW BEST:: SOT 4358556 SOS 736143 HAS SOPS 736143 HAS SOUS 604471 HAS SOUPS 604471 WITH SCORE 605207.143
AT ITER 8266 NEW BEST:: SOT 4358187 SOS 735204 HAS SOPS 735204 HAS SOUS 603733 HAS SOUPS 603733 WITH SCORE 604468.204
AT ITER 8288 NEW BEST:: SOT 4358186 SOS 735202 HAS SOPS 735202 HAS SOUS 603731 HAS SOUPS 603731 WITH SCORE 604466.202
AT ITER 8295 NEW BEST:: SOT 4358163 SOS 735156 HAS SOPS 735156 HAS SOUS 603685 HAS SOUPS 603685 WITH SCORE 604420.156
AT ITER 8302 NEW BEST:: SOT 4358087 SOS 735292 HAS SOPS 735292 HAS SOUS 603681 HAS SOUPS 603681 WITH SCORE 604416.292
AT ITER 8399 NEW BEST:: SOT 4358003 SOS 735692 HAS SOPS 735692 HAS SOUS 603597 HAS SOUPS 603597 WITH SCORE 604332.692
AT ITER 8429 NEW BEST:: SOT 4357963 SOS 735665 HAS SOPS 735665 HAS SOUS 603570 HAS SOUPS 603570 WITH SCORE 604305.665
AT ITER 8486 NEW BEST:: SOT 4357932 SOS 735572 HAS SOPS 735572 HAS SOUS 603508 HAS SOUPS 603508 WITH SCORE 604243.572
AT ITER 8487 NEW BEST:: SOT 4357860 SOS 735140 HAS SOPS 735140 HAS SOUS 603364 HAS SOUPS 603364 WITH SCORE 604099.14
AT ITER 8491 NEW BEST:: SOT 4357630 SOS 734680 HAS SOPS 734680 HAS SOUS 603134 HAS SOUPS 603134 WITH SCORE 603868.68
AT ITER 8500 NEW BEST:: SOT 4357605 SOS 734752 HAS SOPS 734752 HAS SOUS 603097 HAS SOUPS 603097 WITH SCORE 603831.752
AT ITER 8517 NEW BEST:: SOT 4357514 SOS 734661 HAS SOPS 734661 HAS SOUS 602915 HAS SOUPS 602915 WITH SCORE 603649.661
AT ITER 8532 NEW BEST:: SOT 4357502 SOS 734649 HAS SOPS 734649 HAS SOUS 602891 HAS SOUPS 602891 WITH SCORE 603625.649
AT ITER 8544 NEW BEST:: SOT 4357524 SOS 734693 HAS SOPS 734693 HAS SOUS 602866 HAS SOUPS 602866 WITH SCORE 603600.693
AT ITER 8635 NEW BEST:: SOT 4357510 SOS 734665 HAS SOPS 734665 HAS SOUS 602838 HAS SOUPS 602838 WITH SCORE 603572.665
AT ITER 8667 NEW BEST:: SOT 4357441 SOS 734659 HAS SOPS 734659 HAS SOUS 602832 HAS SOUPS 602832 WITH SCORE 603566.659
AT ITER 8706 NEW BEST:: SOT 4357332 SOS 735081 HAS SOPS 735081 HAS SOUS 602755 HAS SOUPS 602755 WITH SCORE 603490.081
AT ITER 8712 NEW BEST:: SOT 4357324 SOS 735065 HAS SOPS 735065 HAS SOUS 602747 HAS SOUPS 602747 WITH SCORE 603482.065
AT ITER 8751 NEW BEST:: SOT 4357210 SOS 734615 HAS SOPS 734615 HAS SOUS 602447 HAS SOUPS 602447 WITH SCORE 603181.615
AT ITER 8789 NEW BEST:: SOT 4357046 SOS 733955 HAS SOPS 733955 HAS SOUS 602018 HAS SOUPS 602018 WITH SCORE 602751.955
AT ITER 8818 NEW BEST:: SOT 4356720 SOS 733448 HAS SOPS 733448 HAS SOUS 600863 HAS SOUPS 600863 WITH SCORE 601596.448
AT ITER 8819 NEW BEST:: SOT 4356737 SOS 733256 HAS SOPS 733256 HAS SOUS 600863 HAS SOUPS 600863 WITH SCORE 601596.256
AT ITER 8836 NEW BEST:: SOT 4356733 SOS 733248 HAS SOPS 733248 HAS SOUS 600855 HAS SOUPS 600855 WITH SCORE 601588.248
AT ITER 8865 NEW BEST:: SOT 4356727 SOS 733242 HAS SOPS 733242 HAS SOUS 600843 HAS SOUPS 600843 WITH SCORE 601576.242
AT ITER 8867 NEW BEST:: SOT 4356408 SOS 732604 HAS SOPS 732604 HAS SOUS 600535 HAS SOUPS 600535 WITH SCORE 601267.604
AT ITER 8872 NEW BEST:: SOT 4356269 SOS 732187 HAS SOPS 732187 HAS SOUS 600396 HAS SOUPS 600396 WITH SCORE 601128.187
AT ITER 8874 NEW BEST:: SOT 4356349 SOS 732110 HAS SOPS 732110 HAS SOUS 600319 HAS SOUPS 600319 WITH SCORE 601051.11
AT ITER 8911 NEW BEST:: SOT 4356050 SOS 731512 HAS SOPS 731512 HAS SOUS 600290 HAS SOUPS 600290 WITH SCORE 601021.512
AT ITER 8917 NEW BEST:: SOT 4355673 SOS 730758 HAS SOPS 730758 HAS SOUS 599311 HAS SOUPS 599311 WITH SCORE 600041.758
AT ITER 8918 NEW BEST:: SOT 4355664 SOS 730740 HAS SOPS 730740 HAS SOUS 599293 HAS SOUPS 599293 WITH SCORE 600023.74
AT ITER 8955 NEW BEST:: SOT 4355483 SOS 732376 HAS SOPS 732376 HAS SOUS 599251 HAS SOUPS 599251 WITH SCORE 599983.376
AT ITER 8977 NEW BEST:: SOT 4355075 SOS 733216 HAS SOPS 733216 HAS SOUS 599163 HAS SOUPS 599163 WITH SCORE 599896.216
AT ITER 9001 NEW BEST:: SOT 4355075 SOS 733140 HAS SOPS 733140 HAS SOUS 599163 HAS SOUPS 599163 WITH SCORE 599896.14
AT ITER 9014 NEW BEST:: SOT 4355027 SOS 733044 HAS SOPS 733044 HAS SOUS 599128 HAS SOUPS 599128 WITH SCORE 599861.044
AT ITER 9016 NEW BEST:: SOT 4355205 SOS 733400 HAS SOPS 733400 HAS SOUS 599027 HAS SOUPS 599027 WITH SCORE 599760.4
AT ITER 9047 NEW BEST:: SOT 4355205 SOS 733291 HAS SOPS 733291 HAS SOUS 599027 HAS SOUPS 599027 WITH SCORE 599760.291
AT ITER 9061 NEW BEST:: SOT 4354994 SOS 732845 HAS SOPS 732845 HAS SOUS 598817 HAS SOUPS 598817 WITH SCORE 599549.845
AT ITER 9111 NEW BEST:: SOT 4354924 SOS 732705 HAS SOPS 732705 HAS SOUS 598716 HAS SOUPS 598716 WITH SCORE 599448.705
AT ITER 9117 NEW BEST:: SOT 4354920 SOS 732768 HAS SOPS 732768 HAS SOUS 598706 HAS SOUPS 598706 WITH SCORE 599438.768
AT ITER 9134 NEW BEST:: SOT 4354864 SOS 732656 HAS SOPS 732656 HAS SOUS 598622 HAS SOUPS 598622 WITH SCORE 599354.656
AT ITER 9144 NEW BEST:: SOT 4354759 SOS 732446 HAS SOPS 732446 HAS SOUS 598517 HAS SOUPS 598517 WITH SCORE 599249.446
AT ITER 9146 NEW BEST:: SOT 4354543 SOS 732014 HAS SOPS 732014 HAS SOUS 597892 HAS SOUPS 597892 WITH SCORE 598624.014
AT ITER 9161 NEW BEST:: SOT 4354498 SOS 732050 HAS SOPS 732050 HAS SOUS 597847 HAS SOUPS 597847 WITH SCORE 598579.05
AT ITER 9174 NEW BEST:: SOT 4354486 SOS 732026 HAS SOPS 732026 HAS SOUS 597823 HAS SOUPS 597823 WITH SCORE 598555.026
AT ITER 9212 NEW BEST:: SOT 4354411 SOS 731876 HAS SOPS 731876 HAS SOUS 597738 HAS SOUPS 597738 WITH SCORE 598469.876
AT ITER 9217 NEW BEST:: SOT 4354410 SOS 731874 HAS SOPS 731874 HAS SOUS 597736 HAS SOUPS 597736 WITH SCORE 598467.874
AT ITER 9264 NEW BEST:: SOT 4354352 SOS 731758 HAS SOPS 731758 HAS SOUS 597678 HAS SOUPS 597678 WITH SCORE 598409.758
AT ITER 9278 NEW BEST:: SOT 4354156 SOS 731562 HAS SOPS 731562 HAS SOUS 597482 HAS SOUPS 597482 WITH SCORE 598213.562
AT ITER 9279 NEW BEST:: SOT 4354124 SOS 729077 HAS SOPS 729077 HAS SOUS 597181 HAS SOUPS 597181 WITH SCORE 597910.077
AT ITER 9290 NEW BEST:: SOT 4354063 SOS 728955 HAS SOPS 728955 HAS SOUS 597059 HAS SOUPS 597059 WITH SCORE 597787.955
AT ITER 9394 NEW BEST:: SOT 4353929 SOS 728687 HAS SOPS 728687 HAS SOUS 596972 HAS SOUPS 596972 WITH SCORE 597700.687
AT ITER 9406 NEW BEST:: SOT 4353746 SOS 728321 HAS SOPS 728321 HAS SOUS 596606 HAS SOUPS 596606 WITH SCORE 597334.321
AT ITER 9418 NEW BEST:: SOT 4353700 SOS 728229 HAS SOPS 728229 HAS SOUS 596560 HAS SOUPS 596560 WITH SCORE 597288.229
AT ITER 9444 NEW BEST:: SOT 4353635 SOS 728195 HAS SOPS 728195 HAS SOUS 596418 HAS SOUPS 596418 WITH SCORE 597146.195
AT ITER 9447 NEW BEST:: SOT 4353700 SOS 728001 HAS SOPS 728001 HAS SOUS 596402 HAS SOUPS 596402 WITH SCORE 597130.001
AT ITER 9493 NEW BEST:: SOT 4353828 SOS 728257 HAS SOPS 728257 HAS SOUS 596247 HAS SOUPS 596247 WITH SCORE 596975.257
AT ITER 9517 NEW BEST:: SOT 4353827 SOS 728255 HAS SOPS 728255 HAS SOUS 596245 HAS SOUPS 596245 WITH SCORE 596973.255
AT ITER 9547 NEW BEST:: SOT 4353819 SOS 728235 HAS SOPS 728235 HAS SOUS 596229 HAS SOUPS 596229 WITH SCORE 596957.235
AT ITER 9641 NEW BEST:: SOT 4353802 SOS 728218 HAS SOPS 728218 HAS SOUS 596211 HAS SOUPS 596211 WITH SCORE 596939.218
AT ITER 9644 NEW BEST:: SOT 4353792 SOS 728198 HAS SOPS 728198 HAS SOUS 596201 HAS SOUPS 596201 WITH SCORE 596929.198
AT ITER 9645 NEW BEST:: SOT 4353766 SOS 728172 HAS SOPS 728172 HAS SOUS 596175 HAS SOUPS 596175 WITH SCORE 596903.172
AT ITER 9651 NEW BEST:: SOT 4353560 SOS 727760 HAS SOPS 727760 HAS SOUS 596007 HAS SOUPS 596007 WITH SCORE 596734.76
AT ITER 9709 NEW BEST:: SOT 4353531 SOS 727702 HAS SOPS 727702 HAS SOUS 595978 HAS SOUPS 595978 WITH SCORE 596705.702
AT ITER 9713 NEW BEST:: SOT 4353821 SOS 728282 HAS SOPS 728282 HAS SOUS 595856 HAS SOUPS 595856 WITH SCORE 596584.282
AT ITER 9748 NEW BEST:: SOT 4353361 SOS 727362 HAS SOPS 727362 HAS SOUS 595477 HAS SOUPS 595477 WITH SCORE 596204.362
AT ITER 9756 NEW BEST:: SOT 4353360 SOS 727425 HAS SOPS 727425 HAS SOUS 595475 HAS SOUPS 595475 WITH SCORE 596202.425
AT ITER 9776 NEW BEST:: SOT 4353108 SOS 727425 HAS SOPS 727425 HAS SOUS 595349 HAS SOUPS 595349 WITH SCORE 596076.425
AT ITER 9790 NEW BEST:: SOT 4352768 SOS 727053 HAS SOPS 727053 HAS SOUS 594977 HAS SOUPS 594977 WITH SCORE 595704.053
AT ITER 9791 NEW BEST:: SOT 4352441 SOS 728127 HAS SOPS 728127 HAS SOUS 594781 HAS SOUPS 594781 WITH SCORE 595509.127
AT ITER 9794 NEW BEST:: SOT 4352422 SOS 728089 HAS SOPS 728089 HAS SOUS 594743 HAS SOUPS 594743 WITH SCORE 595471.089
AT ITER 9853 NEW BEST:: SOT 4352232 SOS 727709 HAS SOPS 727709 HAS SOUS 594553 HAS SOUPS 594553 WITH SCORE 595280.709
AT ITER 9870 NEW BEST:: SOT 4352227 SOS 727705 HAS SOPS 727705 HAS SOUS 594546 HAS SOUPS 594546 WITH SCORE 595273.705
AT ITER 9881 NEW BEST:: SOT 4352163 SOS 727577 HAS SOPS 727577 HAS SOUS 594358 HAS SOUPS 594358 WITH SCORE 595085.577
AT ITER 9884 NEW BEST:: SOT 4352071 SOS 727530 HAS SOPS 727530 HAS SOUS 594281 HAS SOUPS 594281 WITH SCORE 595008.53
AT ITER 9888 NEW BEST:: SOT 4352001 SOS 727320 HAS SOPS 727320 HAS SOUS 594141 HAS SOUPS 594141 WITH SCORE 594868.32
AT ITER 9903 NEW BEST:: SOT 4351993 SOS 727312 HAS SOPS 727312 HAS SOUS 594133 HAS SOUPS 594133 WITH SCORE 594860.312
AT ITER 9926 NEW BEST:: SOT 4352078 SOS 726921 HAS SOPS 726921 HAS SOUS 593742 HAS SOUPS 593742 WITH SCORE 594468.921
AT ITER 9935 NEW BEST:: SOT 4352044 SOS 726853 HAS SOPS 726853 HAS SOUS 593674 HAS SOUPS 593674 WITH SCORE 594400.853
AT ITER 9936 NEW BEST:: SOT 4351834 SOS 726717 HAS SOPS 726717 HAS SOUS 593535 HAS SOUPS 593535 WITH SCORE 594261.717
AT ITER 9945 NEW BEST:: SOT 4351768 SOS 726585 HAS SOPS 726585 HAS SOUS 593458 HAS SOUPS 593458 WITH SCORE 594184.585
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11837980 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122828 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="CloudReconfiguration-PT-312"
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 CloudReconfiguration-PT-312, 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 r107-tall-167814483700096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-312.tgz
mv CloudReconfiguration-PT-312 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 ;