About the Execution of Smart+red for DLCround-PT-10a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16209.596 | 1281002.00 | 1308730.00 | 11825.10 | [undef] | Cannot compute |
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-167814484600736.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 DLCround-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484600736
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.3K Feb 25 19:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 19:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 19:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 19:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 25 20:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 20:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 115K Feb 25 20:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 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 1678420833059
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=DLCround-PT-10a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 04:00:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 04:00:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 04:00:34] [INFO ] Load time of PNML (sax parser for PT used): 114 ms
[2023-03-10 04:00:34] [INFO ] Transformed 337 places.
[2023-03-10 04:00:34] [INFO ] Transformed 2605 transitions.
[2023-03-10 04:00:34] [INFO ] Found NUPN structural information;
[2023-03-10 04:00:34] [INFO ] Parsed PT model containing 337 places and 2605 transitions and 10130 arcs in 188 ms.
[2023-03-10 04:00:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 337 places, 2605 transitions and 10130 arcs took 25 ms.
Total runtime 243 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 10a
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: 337 places, 2605 transitions, 10130 arcs.
AT ITER 0 NEW BEST:: SOT 551970 SOS 467153 HAS SOPS 282745 HAS SOUS 55803 HAS SOUPS 38909 WITH SCORE 39376.153
AT ITER 2 NEW BEST:: SOT 551904 SOS 463277 HAS SOPS 278869 HAS SOUS 55784 HAS SOUPS 38890 WITH SCORE 39353.277
AT ITER 6 NEW BEST:: SOT 551865 SOS 467286 HAS SOPS 280568 HAS SOUS 55846 HAS SOUPS 38882 WITH SCORE 39349.286
AT ITER 27 NEW BEST:: SOT 551725 SOS 467174 HAS SOPS 280316 HAS SOUS 55577 HAS SOUPS 38521 WITH SCORE 38988.174
AT ITER 33 NEW BEST:: SOT 551801 SOS 466391 HAS SOPS 280303 HAS SOUS 55454 HAS SOUPS 38453 WITH SCORE 38919.391
AT ITER 37 NEW BEST:: SOT 552076 SOS 463839 HAS SOPS 279885 HAS SOUS 56674 HAS SOUPS 38424 WITH SCORE 38887.839
AT ITER 41 NEW BEST:: SOT 552032 SOS 461671 HAS SOPS 277717 HAS SOUS 56654 HAS SOUPS 38404 WITH SCORE 38865.671
AT ITER 49 NEW BEST:: SOT 552719 SOS 460572 HAS SOPS 277379 HAS SOUS 58247 HAS SOUPS 38385 WITH SCORE 38845.572
AT ITER 61 NEW BEST:: SOT 552835 SOS 458410 HAS SOPS 276491 HAS SOUS 58139 HAS SOUPS 38368 WITH SCORE 38826.41
AT ITER 63 NEW BEST:: SOT 552825 SOS 458145 HAS SOPS 276611 HAS SOUS 58098 HAS SOUPS 38362 WITH SCORE 38820.145
AT ITER 69 NEW BEST:: SOT 552801 SOS 458097 HAS SOPS 276563 HAS SOUS 58051 HAS SOUPS 38315 WITH SCORE 38773.097
AT ITER 73 NEW BEST:: SOT 552801 SOS 458097 HAS SOPS 276563 HAS SOUS 58043 HAS SOUPS 38307 WITH SCORE 38765.097
AT ITER 80 NEW BEST:: SOT 553642 SOS 459230 HAS SOPS 276820 HAS SOUS 58187 HAS SOUPS 38151 WITH SCORE 38610.23
AT ITER 81 NEW BEST:: SOT 553575 SOS 458158 HAS SOPS 276322 HAS SOUS 58094 HAS SOUPS 38099 WITH SCORE 38557.158
AT ITER 85 NEW BEST:: SOT 553621 SOS 458174 HAS SOPS 276338 HAS SOUS 58011 HAS SOUPS 38016 WITH SCORE 38474.174
AT ITER 89 NEW BEST:: SOT 553603 SOS 457785 HAS SOPS 276495 HAS SOUS 57965 HAS SOUPS 38009 WITH SCORE 38466.785
AT ITER 91 NEW BEST:: SOT 553541 SOS 456793 HAS SOPS 276371 HAS SOUS 57882 HAS SOUPS 37988 WITH SCORE 38444.793
AT ITER 98 NEW BEST:: SOT 553594 SOS 456964 HAS SOPS 275834 HAS SOUS 56500 HAS SOUPS 36562 WITH SCORE 37018.964
AT ITER 111 NEW BEST:: SOT 553584 SOS 456194 HAS SOPS 275064 HAS SOUS 56500 HAS SOUPS 36562 WITH SCORE 37018.194
AT ITER 112 NEW BEST:: SOT 553612 SOS 456530 HAS SOPS 275400 HAS SOUS 56472 HAS SOUPS 36534 WITH SCORE 36990.53
AT ITER 113 NEW BEST:: SOT 552918 SOS 453917 HAS SOPS 274632 HAS SOUS 55690 HAS SOUPS 35794 WITH SCORE 36247.917
AT ITER 116 NEW BEST:: SOT 552918 SOS 453923 HAS SOPS 274626 HAS SOUS 55699 HAS SOUPS 35793 WITH SCORE 36246.923
AT ITER 135 NEW BEST:: SOT 552834 SOS 454890 HAS SOPS 274900 HAS SOUS 55698 HAS SOUPS 35771 WITH SCORE 36225.89
AT ITER 154 NEW BEST:: SOT 552840 SOS 454896 HAS SOPS 274902 HAS SOUS 55691 HAS SOUPS 35765 WITH SCORE 36219.896
AT ITER 167 NEW BEST:: SOT 552488 SOS 454544 HAS SOPS 274370 HAS SOUS 55047 HAS SOUPS 35001 WITH SCORE 35455.544
AT ITER 168 NEW BEST:: SOT 552416 SOS 454226 HAS SOPS 274314 HAS SOUS 55024 HAS SOUPS 34978 WITH SCORE 35432.226
AT ITER 169 NEW BEST:: SOT 552683 SOS 454429 HAS SOPS 274645 HAS SOUS 54931 HAS SOUPS 34940 WITH SCORE 35394.429
AT ITER 178 NEW BEST:: SOT 552607 SOS 454353 HAS SOPS 274645 HAS SOUS 54923 HAS SOUPS 34932 WITH SCORE 35386.353
AT ITER 193 NEW BEST:: SOT 552419 SOS 451345 HAS SOPS 272953 HAS SOUS 54684 HAS SOUPS 34787 WITH SCORE 35238.345
AT ITER 208 NEW BEST:: SOT 552385 SOS 451277 HAS SOPS 272885 HAS SOUS 54684 HAS SOUPS 34787 WITH SCORE 35238.277
AT ITER 212 NEW BEST:: SOT 552457 SOS 450520 HAS SOPS 272870 HAS SOUS 54563 HAS SOUPS 34719 WITH SCORE 35169.52
AT ITER 218 NEW BEST:: SOT 552282 SOS 450345 HAS SOPS 272590 HAS SOUS 54008 HAS SOUPS 34184 WITH SCORE 34634.345
AT ITER 232 NEW BEST:: SOT 552272 SOS 450185 HAS SOPS 272500 HAS SOUS 53998 HAS SOUPS 34179 WITH SCORE 34629.185
AT ITER 241 NEW BEST:: SOT 552198 SOS 450111 HAS SOPS 272426 HAS SOUS 53915 HAS SOUPS 34100 WITH SCORE 34550.111
AT ITER 242 NEW BEST:: SOT 552696 SOS 450609 HAS SOPS 272924 HAS SOUS 53960 HAS SOUPS 34086 WITH SCORE 34536.609
AT ITER 275 NEW BEST:: SOT 552977 SOS 450823 HAS SOPS 273272 HAS SOUS 53855 HAS SOUPS 34042 WITH SCORE 34492.823
AT ITER 285 NEW BEST:: SOT 552766 SOS 450661 HAS SOPS 272865 HAS SOUS 53497 HAS SOUPS 33488 WITH SCORE 33938.661
AT ITER 290 NEW BEST:: SOT 552761 SOS 450656 HAS SOPS 272860 HAS SOUS 53492 HAS SOUPS 33483 WITH SCORE 33933.656
AT ITER 299 NEW BEST:: SOT 552529 SOS 450772 HAS SOPS 273435 HAS SOUS 52388 HAS SOUPS 33421 WITH SCORE 33871.772
AT ITER 302 NEW BEST:: SOT 552974 SOS 452017 HAS SOPS 273790 HAS SOUS 52099 HAS SOUPS 33326 WITH SCORE 33778.017
AT ITER 317 NEW BEST:: SOT 553317 SOS 448986 HAS SOPS 273253 HAS SOUS 52265 HAS SOUPS 33173 WITH SCORE 33621.986
AT ITER 319 NEW BEST:: SOT 553282 SOS 448384 HAS SOPS 272917 HAS SOUS 52214 HAS SOUPS 33141 WITH SCORE 33589.384
AT ITER 336 NEW BEST:: SOT 553282 SOS 449177 HAS SOPS 273710 HAS SOUS 52201 HAS SOUPS 33128 WITH SCORE 33577.177
AT ITER 343 NEW BEST:: SOT 553282 SOS 448889 HAS SOPS 273686 HAS SOUS 52129 HAS SOUPS 33080 WITH SCORE 33528.889
AT ITER 347 NEW BEST:: SOT 552360 SOS 446473 HAS SOPS 272919 HAS SOUS 52134 HAS SOUPS 33034 WITH SCORE 33480.473
AT ITER 349 NEW BEST:: SOT 552403 SOS 446910 HAS SOPS 272927 HAS SOUS 52138 HAS SOUPS 32999 WITH SCORE 33445.91
AT ITER 362 NEW BEST:: SOT 552403 SOS 446891 HAS SOPS 272927 HAS SOUS 52119 HAS SOUPS 32999 WITH SCORE 33445.891
AT ITER 366 NEW BEST:: SOT 552430 SOS 447006 HAS SOPS 272822 HAS SOUS 51706 HAS SOUPS 32586 WITH SCORE 33033.006
AT ITER 385 NEW BEST:: SOT 552510 SOS 447429 HAS SOPS 273245 HAS SOUS 51700 HAS SOUPS 32580 WITH SCORE 33027.429
AT ITER 386 NEW BEST:: SOT 552416 SOS 447335 HAS SOPS 273103 HAS SOUS 51414 HAS SOUPS 32310 WITH SCORE 32757.335
AT ITER 411 NEW BEST:: SOT 552434 SOS 447356 HAS SOPS 273106 HAS SOUS 51393 HAS SOUPS 32289 WITH SCORE 32736.356
AT ITER 413 NEW BEST:: SOT 552424 SOS 447196 HAS SOPS 272946 HAS SOUS 51383 HAS SOUPS 32279 WITH SCORE 32726.196
AT ITER 417 NEW BEST:: SOT 552895 SOS 447667 HAS SOPS 273417 HAS SOUS 51329 HAS SOUPS 32213 WITH SCORE 32660.667
AT ITER 424 NEW BEST:: SOT 552775 SOS 447547 HAS SOPS 273237 HAS SOUS 50993 HAS SOUPS 31888 WITH SCORE 32335.547
AT ITER 427 NEW BEST:: SOT 553098 SOS 448002 HAS SOPS 273362 HAS SOUS 51178 HAS SOUPS 31841 WITH SCORE 32289.002
AT ITER 431 NEW BEST:: SOT 553100 SOS 448012 HAS SOPS 273356 HAS SOUS 51180 HAS SOUPS 31835 WITH SCORE 32283.012
AT ITER 442 NEW BEST:: SOT 552959 SOS 447877 HAS SOPS 273221 HAS SOUS 51026 HAS SOUPS 31681 WITH SCORE 32128.877
AT ITER 452 NEW BEST:: SOT 552928 SOS 446947 HAS SOPS 272725 HAS SOUS 50983 HAS SOUPS 31669 WITH SCORE 32115.947
AT ITER 456 NEW BEST:: SOT 553230 SOS 447321 HAS SOPS 272883 HAS SOUS 50889 HAS SOUPS 31575 WITH SCORE 32022.321
AT ITER 457 NEW BEST:: SOT 553574 SOS 447764 HAS SOPS 272732 HAS SOUS 50306 HAS SOUPS 30832 WITH SCORE 31279.764
AT ITER 464 NEW BEST:: SOT 553560 SOS 447113 HAS SOPS 272081 HAS SOUS 50298 HAS SOUPS 30824 WITH SCORE 31271.113
AT ITER 476 NEW BEST:: SOT 553560 SOS 447119 HAS SOPS 272075 HAS SOUS 50298 HAS SOUPS 30818 WITH SCORE 31265.119
AT ITER 477 NEW BEST:: SOT 553560 SOS 447151 HAS SOPS 272043 HAS SOUS 50298 HAS SOUPS 30786 WITH SCORE 31233.151
AT ITER 490 NEW BEST:: SOT 553524 SOS 447115 HAS SOPS 272007 HAS SOUS 50307 HAS SOUPS 30775 WITH SCORE 31222.115
AT ITER 493 NEW BEST:: SOT 553524 SOS 447125 HAS SOPS 272012 HAS SOUS 50307 HAS SOUPS 30770 WITH SCORE 31217.125
AT ITER 495 NEW BEST:: SOT 553526 SOS 447127 HAS SOPS 271943 HAS SOUS 50299 HAS SOUPS 30766 WITH SCORE 31213.127
AT ITER 508 NEW BEST:: SOT 552609 SOS 443654 HAS SOPS 268890 HAS SOUS 50343 HAS SOUPS 30742 WITH SCORE 31185.654
AT ITER 512 NEW BEST:: SOT 552586 SOS 443843 HAS SOPS 269079 HAS SOUS 50074 HAS SOUPS 30473 WITH SCORE 30916.843
AT ITER 514 NEW BEST:: SOT 552552 SOS 443327 HAS SOPS 268955 HAS SOUS 49998 HAS SOUPS 30425 WITH SCORE 30868.327
AT ITER 532 NEW BEST:: SOT 552552 SOS 443327 HAS SOPS 268955 HAS SOUS 49953 HAS SOUPS 30400 WITH SCORE 30843.327
AT ITER 540 NEW BEST:: SOT 551072 SOS 440331 HAS SOPS 267939 HAS SOUS 49898 HAS SOUPS 30345 WITH SCORE 30785.331
AT ITER 545 NEW BEST:: SOT 550667 SOS 438394 HAS SOPS 267451 HAS SOUS 49587 HAS SOUPS 30195 WITH SCORE 30633.394
AT ITER 562 NEW BEST:: SOT 550667 SOS 438394 HAS SOPS 267400 HAS SOUS 49536 HAS SOUPS 30144 WITH SCORE 30582.394
AT ITER 577 NEW BEST:: SOT 550638 SOS 438365 HAS SOPS 267371 HAS SOUS 49507 HAS SOUPS 30115 WITH SCORE 30553.365
AT ITER 578 NEW BEST:: SOT 550616 SOS 438343 HAS SOPS 267349 HAS SOUS 49485 HAS SOUPS 30093 WITH SCORE 30531.343
AT ITER 580 NEW BEST:: SOT 550666 SOS 438443 HAS SOPS 267379 HAS SOUS 49485 HAS SOUPS 30088 WITH SCORE 30526.443
AT ITER 583 NEW BEST:: SOT 550685 SOS 438563 HAS SOPS 267499 HAS SOUS 49482 HAS SOUPS 30085 WITH SCORE 30523.563
AT ITER 591 NEW BEST:: SOT 550685 SOS 438563 HAS SOPS 267400 HAS SOUS 49457 HAS SOUPS 30060 WITH SCORE 30498.563
AT ITER 599 NEW BEST:: SOT 550685 SOS 438563 HAS SOPS 267385 HAS SOUS 49442 HAS SOUPS 30045 WITH SCORE 30483.563
AT ITER 626 NEW BEST:: SOT 550183 SOS 435312 HAS SOPS 266576 HAS SOUS 48672 HAS SOUPS 29128 WITH SCORE 29563.312
AT ITER 637 NEW BEST:: SOT 550205 SOS 435385 HAS SOPS 266547 HAS SOUS 48694 HAS SOUPS 29099 WITH SCORE 29534.385
AT ITER 653 NEW BEST:: SOT 550204 SOS 435605 HAS SOPS 266767 HAS SOUS 48681 HAS SOUPS 29086 WITH SCORE 29521.605
AT ITER 673 NEW BEST:: SOT 549362 SOS 435163 HAS SOPS 266411 HAS SOUS 48091 HAS SOUPS 28845 WITH SCORE 29280.163
AT ITER 681 NEW BEST:: SOT 549359 SOS 435167 HAS SOPS 266401 HAS SOUS 48088 HAS SOUPS 28835 WITH SCORE 29270.167
AT ITER 684 NEW BEST:: SOT 549442 SOS 433177 HAS SOPS 265685 HAS SOUS 47911 HAS SOUPS 28749 WITH SCORE 29182.177
AT ITER 703 NEW BEST:: SOT 548561 SOS 432610 HAS SOPS 264681 HAS SOUS 48020 HAS SOUPS 28718 WITH SCORE 29150.61
AT ITER 712 NEW BEST:: SOT 548442 SOS 432474 HAS SOPS 264579 HAS SOUS 48003 HAS SOUPS 28718 WITH SCORE 29150.474
AT ITER 718 NEW BEST:: SOT 548408 SOS 432443 HAS SOPS 264542 HAS SOUS 47969 HAS SOUPS 28681 WITH SCORE 29113.443
AT ITER 725 NEW BEST:: SOT 548750 SOS 433127 HAS SOPS 264770 HAS SOUS 47931 HAS SOUPS 28643 WITH SCORE 29076.127
AT ITER 729 NEW BEST:: SOT 548756 SOS 432659 HAS SOPS 264526 HAS SOUS 47879 HAS SOUPS 28607 WITH SCORE 29039.659
AT ITER 738 NEW BEST:: SOT 548756 SOS 432570 HAS SOPS 264526 HAS SOUS 47790 HAS SOUPS 28607 WITH SCORE 29039.57
AT ITER 740 NEW BEST:: SOT 548343 SOS 432155 HAS SOPS 264273 HAS SOUS 47787 HAS SOUPS 28589 WITH SCORE 29021.155
AT ITER 757 NEW BEST:: SOT 548340 SOS 432152 HAS SOPS 264270 HAS SOUS 47784 HAS SOUPS 28586 WITH SCORE 29018.152
AT ITER 770 NEW BEST:: SOT 548326 SOS 431942 HAS SOPS 264256 HAS SOUS 47756 HAS SOUPS 28572 WITH SCORE 29003.942
AT ITER 771 NEW BEST:: SOT 548352 SOS 431968 HAS SOPS 264198 HAS SOUS 47698 HAS SOUPS 28514 WITH SCORE 28945.968
AT ITER 781 NEW BEST:: SOT 548384 SOS 426488 HAS SOPS 258928 HAS SOUS 47700 HAS SOUPS 28516 WITH SCORE 28942.488
AT ITER 783 NEW BEST:: SOT 548377 SOS 426481 HAS SOPS 258921 HAS SOUS 47673 HAS SOUPS 28489 WITH SCORE 28915.481
AT ITER 785 NEW BEST:: SOT 548872 SOS 426976 HAS SOPS 259416 HAS SOUS 47586 HAS SOUPS 28402 WITH SCORE 28828.976
AT ITER 786 NEW BEST:: SOT 548269 SOS 426373 HAS SOPS 259167 HAS SOUS 47569 HAS SOUPS 28385 WITH SCORE 28811.373
AT ITER 793 NEW BEST:: SOT 548963 SOS 427215 HAS SOPS 259713 HAS SOUS 47655 HAS SOUPS 28351 WITH SCORE 28778.215
AT ITER 794 NEW BEST:: SOT 548963 SOS 427215 HAS SOPS 259713 HAS SOUS 47653 HAS SOUPS 28349 WITH SCORE 28776.215
AT ITER 799 NEW BEST:: SOT 548951 SOS 427203 HAS SOPS 259701 HAS SOUS 47650 HAS SOUPS 28347 WITH SCORE 28774.203
AT ITER 801 NEW BEST:: SOT 548920 SOS 426273 HAS SOPS 259205 HAS SOUS 47617 HAS SOUPS 28345 WITH SCORE 28771.273
AT ITER 807 NEW BEST:: SOT 548912 SOS 426265 HAS SOPS 259205 HAS SOUS 47617 HAS SOUPS 28345 WITH SCORE 28771.265
AT ITER 811 NEW BEST:: SOT 548808 SOS 426238 HAS SOPS 259178 HAS SOUS 47311 HAS SOUPS 28039 WITH SCORE 28465.238
AT ITER 816 NEW BEST:: SOT 548728 SOS 426032 HAS SOPS 258972 HAS SOUS 47191 HAS SOUPS 27919 WITH SCORE 28345.032
AT ITER 828 NEW BEST:: SOT 548831 SOS 426176 HAS SOPS 258911 HAS SOUS 47162 HAS SOUPS 27730 WITH SCORE 28156.176
AT ITER 829 NEW BEST:: SOT 548821 SOS 426016 HAS SOPS 258751 HAS SOUS 47152 HAS SOUPS 27720 WITH SCORE 28146.016
AT ITER 842 NEW BEST:: SOT 548804 SOS 425999 HAS SOPS 258734 HAS SOUS 47135 HAS SOUPS 27703 WITH SCORE 28128.999
AT ITER 850 NEW BEST:: SOT 549465 SOS 426704 HAS SOPS 259257 HAS SOUS 47173 HAS SOUPS 27700 WITH SCORE 28126.704
AT ITER 863 NEW BEST:: SOT 549489 SOS 426296 HAS SOPS 259101 HAS SOUS 47149 HAS SOUPS 27694 WITH SCORE 28120.296
AT ITER 869 NEW BEST:: SOT 549532 SOS 426380 HAS SOPS 258980 HAS SOUS 46700 HAS SOUPS 27245 WITH SCORE 27671.38
AT ITER 889 NEW BEST:: SOT 549739 SOS 426564 HAS SOPS 258635 HAS SOUS 46723 HAS SOUPS 26946 WITH SCORE 27372.564
AT ITER 897 NEW BEST:: SOT 549738 SOS 426548 HAS SOPS 258619 HAS SOUS 46722 HAS SOUPS 26945 WITH SCORE 27371.548
AT ITER 902 NEW BEST:: SOT 549771 SOS 426697 HAS SOPS 258683 HAS SOUS 46717 HAS SOUPS 26940 WITH SCORE 27366.697
AT ITER 919 NEW BEST:: SOT 549765 SOS 426685 HAS SOPS 258725 HAS SOUS 46693 HAS SOUPS 26922 WITH SCORE 27348.685
AT ITER 920 NEW BEST:: SOT 549555 SOS 426475 HAS SOPS 258515 HAS SOUS 46693 HAS SOUPS 26922 WITH SCORE 27348.475
AT ITER 928 NEW BEST:: SOT 549709 SOS 428598 HAS SOPS 259063 HAS SOUS 46539 HAS SOUPS 26768 WITH SCORE 27196.598
AT ITER 942 NEW BEST:: SOT 549564 SOS 428482 HAS SOPS 258889 HAS SOUS 46568 HAS SOUPS 26768 WITH SCORE 27196.482
AT ITER 950 NEW BEST:: SOT 549483 SOS 427186 HAS SOPS 258727 HAS SOUS 46437 HAS SOUPS 26718 WITH SCORE 27145.186
AT ITER 953 NEW BEST:: SOT 550314 SOS 428135 HAS SOPS 258968 HAS SOUS 45935 HAS SOUPS 26156 WITH SCORE 26584.135
AT ITER 978 NEW BEST:: SOT 551013 SOS 429533 HAS SOPS 259406 HAS SOUS 45893 HAS SOUPS 26085 WITH SCORE 26514.533
AT ITER 993 NEW BEST:: SOT 550983 SOS 429503 HAS SOPS 259376 HAS SOUS 45893 HAS SOUPS 26085 WITH SCORE 26514.503
AT ITER 1005 NEW BEST:: SOT 550967 SOS 429471 HAS SOPS 259376 HAS SOUS 45877 HAS SOUPS 26085 WITH SCORE 26514.471
AT ITER 1006 NEW BEST:: SOT 550976 SOS 429345 HAS SOPS 259376 HAS SOUS 45850 HAS SOUPS 26067 WITH SCORE 26496.345
AT ITER 1014 NEW BEST:: SOT 550870 SOS 429499 HAS SOPS 258998 HAS SOUS 45792 HAS SOUPS 25971 WITH SCORE 26400.499
AT ITER 1022 NEW BEST:: SOT 550654 SOS 429391 HAS SOPS 258728 HAS SOUS 45846 HAS SOUPS 25971 WITH SCORE 26400.391
AT ITER 1040 NEW BEST:: SOT 550594 SOS 429331 HAS SOPS 258668 HAS SOUS 45846 HAS SOUPS 25971 WITH SCORE 26400.331
AT ITER 1062 NEW BEST:: SOT 550568 SOS 429279 HAS SOPS 258668 HAS SOUS 45820 HAS SOUPS 25971 WITH SCORE 26400.279
AT ITER 1075 NEW BEST:: SOT 550563 SOS 429269 HAS SOPS 258668 HAS SOUS 45815 HAS SOUPS 25971 WITH SCORE 26400.269
AT ITER 1080 NEW BEST:: SOT 550565 SOS 429271 HAS SOPS 258636 HAS SOUS 45813 HAS SOUPS 25969 WITH SCORE 26398.271
AT ITER 1089 NEW BEST:: SOT 550455 SOS 427929 HAS SOPS 257954 HAS SOUS 45813 HAS SOUPS 25969 WITH SCORE 26396.929
AT ITER 1093 NEW BEST:: SOT 550374 SOS 426675 HAS SOPS 257870 HAS SOUS 45650 HAS SOUPS 25887 WITH SCORE 26313.675
AT ITER 1125 NEW BEST:: SOT 550374 SOS 426675 HAS SOPS 257870 HAS SOUS 45569 HAS SOUPS 25842 WITH SCORE 26268.675
AT ITER 1130 NEW BEST:: SOT 550576 SOS 426978 HAS SOPS 257971 HAS SOUS 45521 HAS SOUPS 25797 WITH SCORE 26223.978
AT ITER 1136 NEW BEST:: SOT 550629 SOS 427084 HAS SOPS 258024 HAS SOUS 45500 HAS SOUPS 25785 WITH SCORE 26212.084
AT ITER 1149 NEW BEST:: SOT 550627 SOS 427082 HAS SOPS 258022 HAS SOUS 45498 HAS SOUPS 25783 WITH SCORE 26210.082
AT ITER 1167 NEW BEST:: SOT 550699 SOS 427164 HAS SOPS 257990 HAS SOUS 45498 HAS SOUPS 25775 WITH SCORE 26202.164
AT ITER 1171 NEW BEST:: SOT 550642 SOS 428266 HAS SOPS 258465 HAS SOUS 45498 HAS SOUPS 25756 WITH SCORE 26184.266
AT ITER 1174 NEW BEST:: SOT 549752 SOS 427388 HAS SOPS 258041 HAS SOUS 45464 HAS SOUPS 25713 WITH SCORE 26140.388
AT ITER 1189 NEW BEST:: SOT 549752 SOS 427388 HAS SOPS 258041 HAS SOUS 45440 HAS SOUPS 25697 WITH SCORE 26124.388
AT ITER 1218 NEW BEST:: SOT 549692 SOS 427328 HAS SOPS 257981 HAS SOUS 45440 HAS SOUPS 25697 WITH SCORE 26124.328
AT ITER 1239 NEW BEST:: SOT 549536 SOS 427172 HAS SOPS 257825 HAS SOUS 45440 HAS SOUPS 25697 WITH SCORE 26124.172
AT ITER 1241 NEW BEST:: SOT 549332 SOS 426968 HAS SOPS 257621 HAS SOUS 45431 HAS SOUPS 25691 WITH SCORE 26117.968
AT ITER 1256 NEW BEST:: SOT 549332 SOS 426968 HAS SOPS 257624 HAS SOUS 45428 HAS SOUPS 25688 WITH SCORE 26114.968
AT ITER 1267 NEW BEST:: SOT 549188 SOS 426856 HAS SOPS 257624 HAS SOUS 45249 HAS SOUPS 25686 WITH SCORE 26112.856
AT ITER 1270 NEW BEST:: SOT 549048 SOS 426730 HAS SOPS 257526 HAS SOUS 45263 HAS SOUPS 25686 WITH SCORE 26112.73
AT ITER 1297 NEW BEST:: SOT 548917 SOS 426491 HAS SOPS 257449 HAS SOUS 45186 HAS SOUPS 25663 WITH SCORE 26089.491
AT ITER 1300 NEW BEST:: SOT 549728 SOS 428038 HAS SOPS 257899 HAS SOUS 45259 HAS SOUPS 25657 WITH SCORE 26085.038
AT ITER 1308 NEW BEST:: SOT 549765 SOS 428075 HAS SOPS 257899 HAS SOUS 45250 HAS SOUPS 25652 WITH SCORE 26080.075
AT ITER 1320 NEW BEST:: SOT 549811 SOS 424432 HAS SOPS 255110 HAS SOUS 45188 HAS SOUPS 25651 WITH SCORE 26075.432
AT ITER 1330 NEW BEST:: SOT 549710 SOS 424230 HAS SOPS 255110 HAS SOUS 45087 HAS SOUPS 25651 WITH SCORE 26075.23
AT ITER 1333 NEW BEST:: SOT 549576 SOS 423962 HAS SOPS 255110 HAS SOUS 45007 HAS SOUPS 25651 WITH SCORE 26074.962
AT ITER 1336 NEW BEST:: SOT 549547 SOS 423904 HAS SOPS 255110 HAS SOUS 44978 HAS SOUPS 25651 WITH SCORE 26074.904
AT ITER 1356 NEW BEST:: SOT 549479 SOS 424644 HAS SOPS 255850 HAS SOUS 44969 HAS SOUPS 25642 WITH SCORE 26066.644
AT ITER 1360 NEW BEST:: SOT 549414 SOS 424449 HAS SOPS 255785 HAS SOUS 44904 HAS SOUPS 25642 WITH SCORE 26066.449
AT ITER 1385 NEW BEST:: SOT 549366 SOS 424401 HAS SOPS 255737 HAS SOUS 44904 HAS SOUPS 25642 WITH SCORE 26066.401
AT ITER 1404 NEW BEST:: SOT 549505 SOS 424766 HAS SOPS 255763 HAS SOUS 44933 HAS SOUPS 25583 WITH SCORE 26007.766
AT ITER 1409 NEW BEST:: SOT 549480 SOS 424729 HAS SOPS 255747 HAS SOUS 44911 HAS SOUPS 25570 WITH SCORE 25994.729
AT ITER 1411 NEW BEST:: SOT 549480 SOS 424729 HAS SOPS 255698 HAS SOUS 44862 HAS SOUPS 25521 WITH SCORE 25945.729
AT ITER 1416 NEW BEST:: SOT 549408 SOS 424657 HAS SOPS 255698 HAS SOUS 44862 HAS SOUPS 25521 WITH SCORE 25945.657
AT ITER 1421 NEW BEST:: SOT 549322 SOS 424485 HAS SOPS 255655 HAS SOUS 44819 HAS SOUPS 25521 WITH SCORE 25945.485
AT ITER 1432 NEW BEST:: SOT 549310 SOS 424473 HAS SOPS 255655 HAS SOUS 44711 HAS SOUPS 25461 WITH SCORE 25885.473
AT ITER 1447 NEW BEST:: SOT 549342 SOS 424505 HAS SOPS 255647 HAS SOUS 44687 HAS SOUPS 25437 WITH SCORE 25861.505
AT ITER 1453 NEW BEST:: SOT 547697 SOS 420154 HAS SOPS 254329 HAS SOUS 44651 HAS SOUPS 25362 WITH SCORE 25782.154
AT ITER 1454 NEW BEST:: SOT 548055 SOS 424217 HAS SOPS 256148 HAS SOUS 44636 HAS SOUPS 25347 WITH SCORE 25771.217
AT ITER 1460 NEW BEST:: SOT 548228 SOS 424777 HAS SOPS 256284 HAS SOUS 44565 HAS SOUPS 25276 WITH SCORE 25700.777
AT ITER 1505 NEW BEST:: SOT 548166 SOS 423495 HAS SOPS 255790 HAS SOUS 44391 HAS SOUPS 25148 WITH SCORE 25571.495
AT ITER 1512 NEW BEST:: SOT 548158 SOS 423367 HAS SOPS 255718 HAS SOUS 44383 HAS SOUPS 25144 WITH SCORE 25567.367
AT ITER 1523 NEW BEST:: SOT 548149 SOS 423358 HAS SOPS 255709 HAS SOUS 44365 HAS SOUPS 25126 WITH SCORE 25549.358
AT ITER 1529 NEW BEST:: SOT 548143 SOS 423347 HAS SOPS 255708 HAS SOUS 44359 HAS SOUPS 25125 WITH SCORE 25548.347
AT ITER 1536 NEW BEST:: SOT 548086 SOS 423290 HAS SOPS 255708 HAS SOUS 44434 HAS SOUPS 25116 WITH SCORE 25539.29
AT ITER 1557 NEW BEST:: SOT 548084 SOS 423288 HAS SOPS 255708 HAS SOUS 44434 HAS SOUPS 25116 WITH SCORE 25539.288
AT ITER 1569 NEW BEST:: SOT 548072 SOS 423276 HAS SOPS 255696 HAS SOUS 44422 HAS SOUPS 25104 WITH SCORE 25527.276
AT ITER 1578 NEW BEST:: SOT 549202 SOS 424413 HAS SOPS 256819 HAS SOUS 44404 HAS SOUPS 25075 WITH SCORE 25499.413
AT ITER 1586 NEW BEST:: SOT 549274 SOS 424497 HAS SOPS 256843 HAS SOUS 44332 HAS SOUPS 25003 WITH SCORE 25427.497
AT ITER 1608 NEW BEST:: SOT 549323 SOS 424848 HAS SOPS 256872 HAS SOUS 44335 HAS SOUPS 24983 WITH SCORE 25407.848
AT ITER 1661 NEW BEST:: SOT 549323 SOS 424323 HAS SOPS 256445 HAS SOUS 44328 HAS SOUPS 24983 WITH SCORE 25407.323
AT ITER 1670 NEW BEST:: SOT 549217 SOS 419777 HAS SOPS 252515 HAS SOUS 44237 HAS SOUPS 24936 WITH SCORE 25355.777
AT ITER 1687 NEW BEST:: SOT 549223 SOS 419867 HAS SOPS 252605 HAS SOUS 44231 HAS SOUPS 24930 WITH SCORE 25349.867
AT ITER 1692 NEW BEST:: SOT 549400 SOS 420044 HAS SOPS 252680 HAS SOUS 44226 HAS SOUPS 24925 WITH SCORE 25345.044
AT ITER 1727 NEW BEST:: SOT 548942 SOS 418013 HAS SOPS 252574 HAS SOUS 44190 HAS SOUPS 24920 WITH SCORE 25338.013
AT ITER 1735 NEW BEST:: SOT 548940 SOS 417973 HAS SOPS 252573 HAS SOUS 44152 HAS SOUPS 24919 WITH SCORE 25336.973
AT ITER 1768 NEW BEST:: SOT 548376 SOS 411416 HAS SOPS 247088 HAS SOUS 44075 HAS SOUPS 24842 WITH SCORE 25253.416
AT ITER 1774 NEW BEST:: SOT 548376 SOS 411398 HAS SOPS 247088 HAS SOUS 44057 HAS SOUPS 24842 WITH SCORE 25253.398
AT ITER 1791 NEW BEST:: SOT 548376 SOS 411398 HAS SOPS 247088 HAS SOUS 44030 HAS SOUPS 24827 WITH SCORE 25238.398
AT ITER 1795 NEW BEST:: SOT 548306 SOS 411342 HAS SOPS 247004 HAS SOUS 44044 HAS SOUPS 24827 WITH SCORE 25238.342
AT ITER 1797 NEW BEST:: SOT 548059 SOS 411057 HAS SOPS 246814 HAS SOUS 44006 HAS SOUPS 24789 WITH SCORE 25200.057
AT ITER 1802 NEW BEST:: SOT 548392 SOS 411461 HAS SOPS 247034 HAS SOUS 43955 HAS SOUPS 24741 WITH SCORE 25152.461
AT ITER 1809 NEW BEST:: SOT 548338 SOS 406477 HAS SOPS 242990 HAS SOUS 43888 HAS SOUPS 24741 WITH SCORE 25147.477
AT ITER 1827 NEW BEST:: SOT 548354 SOS 407209 HAS SOPS 243092 HAS SOUS 43789 HAS SOUPS 24642 WITH SCORE 25049.209
AT ITER 1832 NEW BEST:: SOT 548380 SOS 406845 HAS SOPS 243092 HAS SOUS 43735 HAS SOUPS 24614 WITH SCORE 25020.845
AT ITER 1846 NEW BEST:: SOT 548314 SOS 402900 HAS SOPS 239701 HAS SOUS 43664 HAS SOUPS 24586 WITH SCORE 24988.9
AT ITER 1851 NEW BEST:: SOT 548322 SOS 402916 HAS SOPS 239701 HAS SOUS 43588 HAS SOUPS 24534 WITH SCORE 24936.916
AT ITER 1866 NEW BEST:: SOT 548334 SOS 405792 HAS SOPS 242577 HAS SOUS 43556 HAS SOUPS 24502 WITH SCORE 24907.792
AT ITER 1903 NEW BEST:: SOT 548401 SOS 405903 HAS SOPS 242600 HAS SOUS 43569 HAS SOUPS 24496 WITH SCORE 24901.903
AT ITER 1907 NEW BEST:: SOT 548460 SOS 405962 HAS SOPS 242596 HAS SOUS 43565 HAS SOUPS 24492 WITH SCORE 24897.962
AT ITER 1914 NEW BEST:: SOT 548439 SOS 406540 HAS SOPS 243614 HAS SOUS 43504 HAS SOUPS 24471 WITH SCORE 24877.54
AT ITER 1947 NEW BEST:: SOT 548436 SOS 406529 HAS SOPS 243437 HAS SOUS 43498 HAS SOUPS 24460 WITH SCORE 24866.529
AT ITER 1962 NEW BEST:: SOT 548399 SOS 406455 HAS SOPS 243437 HAS SOUS 43461 HAS SOUPS 24460 WITH SCORE 24866.455
AT ITER 1969 NEW BEST:: SOT 548339 SOS 406395 HAS SOPS 243437 HAS SOUS 43461 HAS SOUPS 24460 WITH SCORE 24866.395
AT ITER 1986 NEW BEST:: SOT 548265 SOS 406321 HAS SOPS 243437 HAS SOUS 43403 HAS SOUPS 24426 WITH SCORE 24832.321
AT ITER 1988 NEW BEST:: SOT 548247 SOS 406303 HAS SOPS 243419 HAS SOUS 43403 HAS SOUPS 24426 WITH SCORE 24832.303
AT ITER 2000 NEW BEST:: SOT 548231 SOS 406271 HAS SOPS 243411 HAS SOUS 43376 HAS SOUPS 24419 WITH SCORE 24825.271
AT ITER 2010 NEW BEST:: SOT 548192 SOS 406198 HAS SOPS 243406 HAS SOUS 43297 HAS SOUPS 24389 WITH SCORE 24795.198
AT ITER 2019 NEW BEST:: SOT 548192 SOS 406198 HAS SOPS 243406 HAS SOUS 43207 HAS SOUPS 24339 WITH SCORE 24745.198
AT ITER 2024 NEW BEST:: SOT 548188 SOS 406191 HAS SOPS 243405 HAS SOUS 43203 HAS SOUPS 24338 WITH SCORE 24744.191
AT ITER 2025 NEW BEST:: SOT 548243 SOS 404825 HAS SOPS 242219 HAS SOUS 43184 HAS SOUPS 24337 WITH SCORE 24741.825
AT ITER 2029 NEW BEST:: SOT 548228 SOS 404720 HAS SOPS 242156 HAS SOUS 43171 HAS SOUPS 24327 WITH SCORE 24731.72
AT ITER 2040 NEW BEST:: SOT 548317 SOS 405263 HAS SOPS 242594 HAS SOUS 42520 HAS SOUPS 24222 WITH SCORE 24627.263
AT ITER 2043 NEW BEST:: SOT 548317 SOS 405251 HAS SOPS 242594 HAS SOUS 42508 HAS SOUPS 24222 WITH SCORE 24627.251
AT ITER 2058 NEW BEST:: SOT 548311 SOS 405239 HAS SOPS 242594 HAS SOUS 42259 HAS SOUPS 24087 WITH SCORE 24492.239
AT ITER 2064 NEW BEST:: SOT 548415 SOS 405442 HAS SOPS 242599 HAS SOUS 42268 HAS SOUPS 24043 WITH SCORE 24448.442
AT ITER 2065 NEW BEST:: SOT 548408 SOS 405435 HAS SOPS 242599 HAS SOUS 42268 HAS SOUPS 24043 WITH SCORE 24448.435
AT ITER 2069 NEW BEST:: SOT 548404 SOS 405427 HAS SOPS 242535 HAS SOUS 42264 HAS SOUPS 24035 WITH SCORE 24440.427
AT ITER 2084 NEW BEST:: SOT 548332 SOS 405507 HAS SOPS 242615 HAS SOUS 42242 HAS SOUPS 24013 WITH SCORE 24418.507
AT ITER 2099 NEW BEST:: SOT 548279 SOS 405454 HAS SOPS 242615 HAS SOUS 42188 HAS SOUPS 23983 WITH SCORE 24388.454
AT ITER 2101 NEW BEST:: SOT 548342 SOS 404919 HAS SOPS 242822 HAS SOUS 42115 HAS SOUPS 23963 WITH SCORE 24367.919
AT ITER 2111 NEW BEST:: SOT 548333 SOS 404761 HAS SOPS 242734 HAS SOUS 42095 HAS SOUPS 23948 WITH SCORE 24352.761
AT ITER 2112 NEW BEST:: SOT 548333 SOS 404761 HAS SOPS 242734 HAS SOUS 42032 HAS SOUPS 23913 WITH SCORE 24317.761
AT ITER 2113 NEW BEST:: SOT 548618 SOS 405046 HAS SOPS 242851 HAS SOUS 42009 HAS SOUPS 23890 WITH SCORE 24295.046
AT ITER 2163 NEW BEST:: SOT 549257 SOS 406616 HAS SOPS 243290 HAS SOUS 41925 HAS SOUPS 23861 WITH SCORE 24267.616
AT ITER 2174 NEW BEST:: SOT 549681 SOS 407756 HAS SOPS 243697 HAS SOUS 41938 HAS SOUPS 23839 WITH SCORE 24246.756
AT ITER 2190 NEW BEST:: SOT 549651 SOS 407666 HAS SOPS 243667 HAS SOUS 41908 HAS SOUPS 23839 WITH SCORE 24246.666
AT ITER 2211 NEW BEST:: SOT 549651 SOS 403152 HAS SOPS 239950 HAS SOUS 41817 HAS SOUPS 23807 WITH SCORE 24210.152
AT ITER 2235 NEW BEST:: SOT 549649 SOS 403045 HAS SOPS 239913 HAS SOUS 41798 HAS SOUPS 23793 WITH SCORE 24196.045
AT ITER 2236 NEW BEST:: SOT 549291 SOS 401780 HAS SOPS 239254 HAS SOUS 41737 HAS SOUPS 23756 WITH SCORE 24157.78
AT ITER 2260 NEW BEST:: SOT 549284 SOS 401766 HAS SOPS 239254 HAS SOUS 41730 HAS SOUPS 23756 WITH SCORE 24157.766
AT ITER 2272 NEW BEST:: SOT 548865 SOS 401347 HAS SOPS 238946 HAS SOUS 41755 HAS SOUPS 23744 WITH SCORE 24145.347
AT ITER 2288 NEW BEST:: SOT 548857 SOS 401339 HAS SOPS 238946 HAS SOUS 41755 HAS SOUPS 23744 WITH SCORE 24145.339
AT ITER 2324 NEW BEST:: SOT 548874 SOS 401229 HAS SOPS 238962 HAS SOUS 41744 HAS SOUPS 23742 WITH SCORE 24143.229
AT ITER 2330 NEW BEST:: SOT 548843 SOS 401198 HAS SOPS 238962 HAS SOUS 41744 HAS SOUPS 23742 WITH SCORE 24143.198
AT ITER 2370 NEW BEST:: SOT 548828 SOS 401223 HAS SOPS 239072 HAS SOUS 41711 HAS SOUPS 23720 WITH SCORE 24121.223
AT ITER 2403 NEW BEST:: SOT 548825 SOS 401193 HAS SOPS 239055 HAS SOUS 41709 HAS SOUPS 23718 WITH SCORE 24119.193
AT ITER 2461 NEW BEST:: SOT 548827 SOS 401191 HAS SOPS 239053 HAS SOUS 41707 HAS SOUPS 23716 WITH SCORE 24117.191
AT ITER 2470 NEW BEST:: SOT 548827 SOS 401189 HAS SOPS 239053 HAS SOUS 41705 HAS SOUPS 23716 WITH SCORE 24117.189
AT ITER 2483 NEW BEST:: SOT 548827 SOS 399929 HAS SOPS 237961 HAS SOUS 41681 HAS SOUPS 23704 WITH SCORE 24103.929
AT ITER 2495 NEW BEST:: SOT 548825 SOS 399899 HAS SOPS 237959 HAS SOUS 41673 HAS SOUPS 23698 WITH SCORE 24097.899
AT ITER 2512 NEW BEST:: SOT 548761 SOS 399783 HAS SOPS 237947 HAS SOUS 41601 HAS SOUPS 23678 WITH SCORE 24077.783
AT ITER 2551 NEW BEST:: SOT 548671 SOS 399553 HAS SOPS 237887 HAS SOUS 41591 HAS SOUPS 23678 WITH SCORE 24077.553
AT ITER 2555 NEW BEST:: SOT 548670 SOS 398186 HAS SOPS 236730 HAS SOUS 41575 HAS SOUPS 23677 WITH SCORE 24075.186
AT ITER 2556 NEW BEST:: SOT 548800 SOS 398446 HAS SOPS 236808 HAS SOUS 41585 HAS SOUPS 23671 WITH SCORE 24069.446
AT ITER 2564 NEW BEST:: SOT 548881 SOS 397494 HAS SOPS 236598 HAS SOUS 41528 HAS SOUPS 23667 WITH SCORE 24064.494
AT ITER 2575 NEW BEST:: SOT 549041 SOS 397670 HAS SOPS 236694 HAS SOUS 41512 HAS SOUPS 23651 WITH SCORE 24048.67
AT ITER 2577 NEW BEST:: SOT 549023 SOS 397652 HAS SOPS 236676 HAS SOUS 41512 HAS SOUPS 23651 WITH SCORE 24048.652
AT ITER 2581 NEW BEST:: SOT 549020 SOS 397646 HAS SOPS 236670 HAS SOUS 41509 HAS SOUPS 23648 WITH SCORE 24045.646
AT ITER 2601 NEW BEST:: SOT 549020 SOS 397451 HAS SOPS 236475 HAS SOUS 41509 HAS SOUPS 23648 WITH SCORE 24045.451
AT ITER 2615 NEW BEST:: SOT 549020 SOS 397451 HAS SOPS 236475 HAS SOUS 41491 HAS SOUPS 23638 WITH SCORE 24035.451
AT ITER 2624 NEW BEST:: SOT 548959 SOS 396444 HAS SOPS 235468 HAS SOUS 41470 HAS SOUPS 23617 WITH SCORE 24013.444
AT ITER 2626 NEW BEST:: SOT 548558 SOS 395452 HAS SOPS 235198 HAS SOUS 41428 HAS SOUPS 23613 WITH SCORE 24008.452
AT ITER 2635 NEW BEST:: SOT 548558 SOS 395433 HAS SOPS 235198 HAS SOUS 41409 HAS SOUPS 23613 WITH SCORE 24008.433
AT ITER 2646 NEW BEST:: SOT 549227 SOS 397075 HAS SOPS 235654 HAS SOUS 41166 HAS SOUPS 23461 WITH SCORE 23858.075
AT ITER 2654 NEW BEST:: SOT 549115 SOS 396854 HAS SOPS 235588 HAS SOUS 41166 HAS SOUPS 23461 WITH SCORE 23857.854
AT ITER 2656 NEW BEST:: SOT 549107 SOS 396838 HAS SOPS 235572 HAS SOUS 41158 HAS SOUPS 23453 WITH SCORE 23849.838
AT ITER 2671 NEW BEST:: SOT 549059 SOS 396742 HAS SOPS 235542 HAS SOUS 41158 HAS SOUPS 23453 WITH SCORE 23849.742
AT ITER 2681 NEW BEST:: SOT 549708 SOS 397646 HAS SOPS 236363 HAS SOUS 41068 HAS SOUPS 23441 WITH SCORE 23838.646
AT ITER 2696 NEW BEST:: SOT 549642 SOS 397568 HAS SOPS 236315 HAS SOUS 41062 HAS SOUPS 23435 WITH SCORE 23832.568
AT ITER 2711 NEW BEST:: SOT 549635 SOS 397554 HAS SOPS 236315 HAS SOUS 41055 HAS SOUPS 23435 WITH SCORE 23832.554
AT ITER 2742 NEW BEST:: SOT 549287 SOS 397206 HAS SOPS 235967 HAS SOUS 41055 HAS SOUPS 23435 WITH SCORE 23832.206
AT ITER 2772 NEW BEST:: SOT 549287 SOS 397166 HAS SOPS 235967 HAS SOUS 41015 HAS SOUPS 23435 WITH SCORE 23832.166
AT ITER 2783 NEW BEST:: SOT 549272 SOS 397151 HAS SOPS 235967 HAS SOUS 41015 HAS SOUPS 23435 WITH SCORE 23832.151
AT ITER 2797 NEW BEST:: SOT 549756 SOS 398363 HAS SOPS 236333 HAS SOUS 40803 HAS SOUPS 23349 WITH SCORE 23747.363
AT ITER 2802 NEW BEST:: SOT 549749 SOS 398436 HAS SOPS 236316 HAS SOUS 40796 HAS SOUPS 23332 WITH SCORE 23730.436
AT ITER 2814 NEW BEST:: SOT 549749 SOS 398436 HAS SOPS 236316 HAS SOUS 40780 HAS SOUPS 23316 WITH SCORE 23714.436
AT ITER 2819 NEW BEST:: SOT 549740 SOS 397798 HAS SOPS 235988 HAS SOUS 40752 HAS SOUPS 23298 WITH SCORE 23695.798
AT ITER 2851 NEW BEST:: SOT 549142 SOS 397430 HAS SOPS 235298 HAS SOUS 40863 HAS SOUPS 23298 WITH SCORE 23695.43
AT ITER 2852 NEW BEST:: SOT 549130 SOS 397418 HAS SOPS 235298 HAS SOUS 40863 HAS SOUPS 23298 WITH SCORE 23695.418
AT ITER 2865 NEW BEST:: SOT 549120 SOS 397398 HAS SOPS 235293 HAS SOUS 40858 HAS SOUPS 23298 WITH SCORE 23695.398
AT ITER 2882 NEW BEST:: SOT 549114 SOS 397362 HAS SOPS 235285 HAS SOUS 40856 HAS SOUPS 23298 WITH SCORE 23695.362
AT ITER 2883 NEW BEST:: SOT 549135 SOS 397383 HAS SOPS 235285 HAS SOUS 40847 HAS SOUPS 23293 WITH SCORE 23690.383
AT ITER 2886 NEW BEST:: SOT 549975 SOS 398175 HAS SOPS 236173 HAS SOUS 40817 HAS SOUPS 23286 WITH SCORE 23684.175
AT ITER 2890 NEW BEST:: SOT 549839 SOS 397308 HAS SOPS 235561 HAS SOUS 40800 HAS SOUPS 23286 WITH SCORE 23683.308
AT ITER 2913 NEW BEST:: SOT 549757 SOS 397144 HAS SOPS 235520 HAS SOUS 40759 HAS SOUPS 23286 WITH SCORE 23683.144
AT ITER 2978 NEW BEST:: SOT 549797 SOS 397244 HAS SOPS 235544 HAS SOUS 40759 HAS SOUPS 23282 WITH SCORE 23679.244
AT ITER 2984 NEW BEST:: SOT 549789 SOS 397228 HAS SOPS 235544 HAS SOUS 40751 HAS SOUPS 23282 WITH SCORE 23679.228
AT ITER 2986 NEW BEST:: SOT 549723 SOS 397126 HAS SOPS 235496 HAS SOUS 40723 HAS SOUPS 23263 WITH SCORE 23660.126
AT ITER 3007 NEW BEST:: SOT 549727 SOS 396668 HAS SOPS 235223 HAS SOUS 40722 HAS SOUPS 23262 WITH SCORE 23658.668
AT ITER 3013 NEW BEST:: SOT 549724 SOS 396542 HAS SOPS 235181 HAS SOUS 40713 HAS SOUPS 23259 WITH SCORE 23655.542
AT ITER 3079 NEW BEST:: SOT 549724 SOS 396542 HAS SOPS 235181 HAS SOUS 40695 HAS SOUPS 23249 WITH SCORE 23645.542
AT ITER 3105 NEW BEST:: SOT 549110 SOS 391758 HAS SOPS 233107 HAS SOUS 40595 HAS SOUPS 23216 WITH SCORE 23607.758
AT ITER 3114 NEW BEST:: SOT 549019 SOS 391660 HAS SOPS 233044 HAS SOUS 40588 HAS SOUPS 23209 WITH SCORE 23600.66
AT ITER 3115 NEW BEST:: SOT 549011 SOS 391540 HAS SOPS 233036 HAS SOUS 40578 HAS SOUPS 23207 WITH SCORE 23598.54
AT ITER 3124 NEW BEST:: SOT 549021 SOS 391700 HAS SOPS 233056 HAS SOUS 40587 HAS SOUPS 23206 WITH SCORE 23597.7
AT ITER 3162 NEW BEST:: SOT 548994 SOS 391744 HAS SOPS 232092 HAS SOUS 40636 HAS SOUPS 23183 WITH SCORE 23574.744
AT ITER 3184 NEW BEST:: SOT 548916 SOS 389388 HAS SOPS 230968 HAS SOUS 40432 HAS SOUPS 23067 WITH SCORE 23456.388
AT ITER 3190 NEW BEST:: SOT 548962 SOS 389434 HAS SOPS 230968 HAS SOUS 40405 HAS SOUPS 23052 WITH SCORE 23441.434
AT ITER 3202 NEW BEST:: SOT 548965 SOS 389392 HAS SOPS 230968 HAS SOUS 40396 HAS SOUPS 23046 WITH SCORE 23435.392
AT ITER 3208 NEW BEST:: SOT 548823 SOS 389952 HAS SOPS 230967 HAS SOUS 40387 HAS SOUPS 23025 WITH SCORE 23414.952
AT ITER 3235 NEW BEST:: SOT 548814 SOS 389943 HAS SOPS 230967 HAS SOUS 40387 HAS SOUPS 23025 WITH SCORE 23414.943
AT ITER 3253 NEW BEST:: SOT 548866 SOS 389995 HAS SOPS 230967 HAS SOUS 40369 HAS SOUPS 23015 WITH SCORE 23404.995
AT ITER 3293 NEW BEST:: SOT 549229 SOS 390600 HAS SOPS 231088 HAS SOUS 40483 HAS SOUPS 23011 WITH SCORE 23401.6
AT ITER 3362 NEW BEST:: SOT 549196 SOS 390384 HAS SOPS 230536 HAS SOUS 40492 HAS SOUPS 22996 WITH SCORE 23386.384
AT ITER 3365 NEW BEST:: SOT 549133 SOS 390279 HAS SOPS 230515 HAS SOUS 40471 HAS SOUPS 22996 WITH SCORE 23386.279
AT ITER 3424 NEW BEST:: SOT 549097 SOS 390243 HAS SOPS 230515 HAS SOUS 40471 HAS SOUPS 22996 WITH SCORE 23386.243
AT ITER 3429 NEW BEST:: SOT 549071 SOS 390217 HAS SOPS 230515 HAS SOUS 40471 HAS SOUPS 22996 WITH SCORE 23386.217
AT ITER 3486 NEW BEST:: SOT 548711 SOS 389337 HAS SOPS 230275 HAS SOUS 40431 HAS SOUPS 22956 WITH SCORE 23345.337
AT ITER 3507 NEW BEST:: SOT 548604 SOS 388759 HAS SOPS 229697 HAS SOUS 40405 HAS SOUPS 22930 WITH SCORE 23318.759
AT ITER 3509 NEW BEST:: SOT 548575 SOS 388730 HAS SOPS 229697 HAS SOUS 40405 HAS SOUPS 22930 WITH SCORE 23318.73
AT ITER 3523 NEW BEST:: SOT 548657 SOS 386598 HAS SOPS 227565 HAS SOUS 40402 HAS SOUPS 22927 WITH SCORE 23313.598
AT ITER 3549 NEW BEST:: SOT 548656 SOS 386890 HAS SOPS 227409 HAS SOUS 40399 HAS SOUPS 22892 WITH SCORE 23278.89
AT ITER 3570 NEW BEST:: SOT 548663 SOS 386792 HAS SOPS 227409 HAS SOUS 40379 HAS SOUPS 22879 WITH SCORE 23265.792
AT ITER 3611 NEW BEST:: SOT 548663 SOS 386792 HAS SOPS 227409 HAS SOUS 40298 HAS SOUPS 22834 WITH SCORE 23220.792
AT ITER 3619 NEW BEST:: SOT 548589 SOS 385431 HAS SOPS 226048 HAS SOUS 40269 HAS SOUPS 22805 WITH SCORE 23190.431
AT ITER 3684 NEW BEST:: SOT 548561 SOS 385409 HAS SOPS 226048 HAS SOUS 40275 HAS SOUPS 22805 WITH SCORE 23190.409
AT ITER 3699 NEW BEST:: SOT 548548 SOS 385396 HAS SOPS 226048 HAS SOUS 40275 HAS SOUPS 22805 WITH SCORE 23190.396
AT ITER 3705 NEW BEST:: SOT 548504 SOS 385292 HAS SOPS 226020 HAS SOUS 40270 HAS SOUPS 22804 WITH SCORE 23189.292
AT ITER 3720 NEW BEST:: SOT 548504 SOS 385292 HAS SOPS 226020 HAS SOUS 40267 HAS SOUPS 22802 WITH SCORE 23187.292
AT ITER 3728 NEW BEST:: SOT 548495 SOS 385283 HAS SOPS 226020 HAS SOUS 40267 HAS SOUPS 22802 WITH SCORE 23187.283
AT ITER 3772 NEW BEST:: SOT 548375 SOS 385163 HAS SOPS 225900 HAS SOUS 40267 HAS SOUPS 22802 WITH SCORE 23187.163
AT ITER 3786 NEW BEST:: SOT 548375 SOS 385163 HAS SOPS 225900 HAS SOUS 40258 HAS SOUPS 22796 WITH SCORE 23181.163
AT ITER 3802 NEW BEST:: SOT 548419 SOS 385267 HAS SOPS 225928 HAS SOUS 40258 HAS SOUPS 22792 WITH SCORE 23177.267
AT ITER 3814 NEW BEST:: SOT 548367 SOS 385215 HAS SOPS 225928 HAS SOUS 40258 HAS SOUPS 22792 WITH SCORE 23177.215
AT ITER 3835 NEW BEST:: SOT 548328 SOS 388064 HAS SOPS 228052 HAS SOUS 40306 HAS SOUPS 22789 WITH SCORE 23177.064
AT ITER 3845 NEW BEST:: SOT 548442 SOS 388340 HAS SOPS 228124 HAS SOUS 40284 HAS SOUPS 22773 WITH SCORE 23161.34
AT ITER 3846 NEW BEST:: SOT 548402 SOS 388300 HAS SOPS 228059 HAS SOUS 40215 HAS SOUPS 22702 WITH SCORE 23090.3
AT ITER 3879 NEW BEST:: SOT 548367 SOS 387740 HAS SOPS 227989 HAS SOUS 40180 HAS SOUPS 22702 WITH SCORE 23089.74
AT ITER 3885 NEW BEST:: SOT 548367 SOS 387740 HAS SOPS 227989 HAS SOUS 40162 HAS SOUPS 22692 WITH SCORE 23079.74
AT ITER 3897 NEW BEST:: SOT 548346 SOS 387719 HAS SOPS 227989 HAS SOUS 40152 HAS SOUPS 22682 WITH SCORE 23069.719
AT ITER 3943 NEW BEST:: SOT 548378 SOS 387755 HAS SOPS 228001 HAS SOUS 40136 HAS SOUPS 22666 WITH SCORE 23053.755
AT ITER 3961 NEW BEST:: SOT 547958 SOS 387335 HAS SOPS 227581 HAS SOUS 40136 HAS SOUPS 22666 WITH SCORE 23053.335
AT ITER 3982 NEW BEST:: SOT 547855 SOS 386278 HAS SOPS 226704 HAS SOUS 40123 HAS SOUPS 22662 WITH SCORE 23048.278
AT ITER 3997 NEW BEST:: SOT 547586 SOS 385959 HAS SOPS 226510 HAS SOUS 40104 HAS SOUPS 22643 WITH SCORE 23028.959
AT ITER 4034 NEW BEST:: SOT 547575 SOS 385946 HAS SOPS 226502 HAS SOUS 40103 HAS SOUPS 22642 WITH SCORE 23027.946
AT ITER 4057 NEW BEST:: SOT 547563 SOS 385910 HAS SOPS 226298 HAS SOUS 40115 HAS SOUPS 22642 WITH SCORE 23027.91
AT ITER 4085 NEW BEST:: SOT 547395 SOS 385742 HAS SOPS 226130 HAS SOUS 40115 HAS SOUPS 22642 WITH SCORE 23027.742
AT ITER 4098 NEW BEST:: SOT 547372 SOS 385719 HAS SOPS 226130 HAS SOUS 40115 HAS SOUPS 22642 WITH SCORE 23027.719
AT ITER 4138 NEW BEST:: SOT 547087 SOS 384994 HAS SOPS 225935 HAS SOUS 40100 HAS SOUPS 22622 WITH SCORE 23006.994
AT ITER 4219 NEW BEST:: SOT 547085 SOS 384992 HAS SOPS 225935 HAS SOUS 40100 HAS SOUPS 22622 WITH SCORE 23006.992
AT ITER 4221 NEW BEST:: SOT 547034 SOS 384941 HAS SOPS 225935 HAS SOUS 40100 HAS SOUPS 22622 WITH SCORE 23006.941
AT ITER 4227 NEW BEST:: SOT 547044 SOS 384656 HAS SOPS 226504 HAS SOUS 39988 HAS SOUPS 22571 WITH SCORE 22955.656
AT ITER 4273 NEW BEST:: SOT 546921 SOS 384451 HAS SOPS 226463 HAS SOUS 39947 HAS SOUPS 22571 WITH SCORE 22955.451
AT ITER 4286 NEW BEST:: SOT 546944 SOS 384243 HAS SOPS 226279 HAS SOUS 39931 HAS SOUPS 22555 WITH SCORE 22939.243
AT ITER 4361 NEW BEST:: SOT 546997 SOS 383841 HAS SOPS 226493 HAS SOUS 39879 HAS SOUPS 22547 WITH SCORE 22930.841
AT ITER 4429 NEW BEST:: SOT 546993 SOS 383777 HAS SOPS 226429 HAS SOUS 39867 HAS SOUPS 22535 WITH SCORE 22918.777
AT ITER 4433 NEW BEST:: SOT 546449 SOS 376981 HAS SOPS 220488 HAS SOUS 39773 HAS SOUPS 22453 WITH SCORE 22829.981
AT ITER 4437 NEW BEST:: SOT 546422 SOS 376825 HAS SOPS 220380 HAS SOUS 39770 HAS SOUPS 22453 WITH SCORE 22829.825
AT ITER 4438 NEW BEST:: SOT 546409 SOS 376812 HAS SOPS 220380 HAS SOUS 39770 HAS SOUPS 22453 WITH SCORE 22829.812
AT ITER 4454 NEW BEST:: SOT 545883 SOS 375760 HAS SOPS 220380 HAS SOUS 39618 HAS SOUPS 22453 WITH SCORE 22828.76
AT ITER 4470 NEW BEST:: SOT 545887 SOS 375732 HAS SOPS 220384 HAS SOUS 39610 HAS SOUPS 22449 WITH SCORE 22824.732
AT ITER 4480 NEW BEST:: SOT 545887 SOS 375732 HAS SOPS 220384 HAS SOUS 39609 HAS SOUPS 22448 WITH SCORE 22823.732
AT ITER 4518 NEW BEST:: SOT 545879 SOS 375644 HAS SOPS 220268 HAS SOUS 39605 HAS SOUPS 22448 WITH SCORE 22823.644
AT ITER 4529 NEW BEST:: SOT 545591 SOS 375356 HAS SOPS 219980 HAS SOUS 39551 HAS SOUPS 22418 WITH SCORE 22793.356
AT ITER 4536 NEW BEST:: SOT 545654 SOS 372934 HAS SOPS 217828 HAS SOUS 39529 HAS SOUPS 22396 WITH SCORE 22768.934
AT ITER 4541 NEW BEST:: SOT 545680 SOS 372986 HAS SOPS 218328 HAS SOUS 39491 HAS SOUPS 22390 WITH SCORE 22762.986
AT ITER 4548 NEW BEST:: SOT 545696 SOS 372906 HAS SOPS 218136 HAS SOUS 39507 HAS SOUPS 22390 WITH SCORE 22762.906
AT ITER 4561 NEW BEST:: SOT 545431 SOS 372635 HAS SOPS 217914 HAS SOUS 39501 HAS SOUPS 22390 WITH SCORE 22762.635
AT ITER 4564 NEW BEST:: SOT 545425 SOS 372629 HAS SOPS 217908 HAS SOUS 39501 HAS SOUPS 22390 WITH SCORE 22762.629
AT ITER 4602 NEW BEST:: SOT 545538 SOS 372968 HAS SOPS 218021 HAS SOUS 39578 HAS SOUPS 22354 WITH SCORE 22726.968
AT ITER 4611 NEW BEST:: SOT 545538 SOS 372968 HAS SOPS 218021 HAS SOUS 39569 HAS SOUPS 22348 WITH SCORE 22720.968
AT ITER 4634 NEW BEST:: SOT 545553 SOS 372954 HAS SOPS 217985 HAS SOUS 39528 HAS SOUPS 22322 WITH SCORE 22694.954
AT ITER 4641 NEW BEST:: SOT 545553 SOS 372954 HAS SOPS 217985 HAS SOUS 39483 HAS SOUPS 22297 WITH SCORE 22669.954
AT ITER 4644 NEW BEST:: SOT 545549 SOS 372946 HAS SOPS 217977 HAS SOUS 39477 HAS SOUPS 22291 WITH SCORE 22663.946
AT ITER 4653 NEW BEST:: SOT 544811 SOS 371038 HAS SOPS 217323 HAS SOUS 39388 HAS SOUPS 22268 WITH SCORE 22639.038
AT ITER 4674 NEW BEST:: SOT 544793 SOS 370876 HAS SOPS 217161 HAS SOUS 39384 HAS SOUPS 22264 WITH SCORE 22634.876
AT ITER 4683 NEW BEST:: SOT 544781 SOS 370864 HAS SOPS 217161 HAS SOUS 39384 HAS SOUPS 22264 WITH SCORE 22634.864
AT ITER 4769 NEW BEST:: SOT 544695 SOS 370692 HAS SOPS 217118 HAS SOUS 39341 HAS SOUPS 22264 WITH SCORE 22634.692
AT ITER 4783 NEW BEST:: SOT 544674 SOS 370629 HAS SOPS 217097 HAS SOUS 39320 HAS SOUPS 22264 WITH SCORE 22634.629
AT ITER 4818 NEW BEST:: SOT 544663 SOS 370481 HAS SOPS 217075 HAS SOUS 39303 HAS SOUPS 22256 WITH SCORE 22626.481
AT ITER 4867 NEW BEST:: SOT 544623 SOS 370479 HAS SOPS 217013 HAS SOUS 39320 HAS SOUPS 22253 WITH SCORE 22623.479
AT ITER 4871 NEW BEST:: SOT 544599 SOS 370447 HAS SOPS 217001 HAS SOUS 39317 HAS SOUPS 22250 WITH SCORE 22620.447
AT ITER 4873 NEW BEST:: SOT 544599 SOS 370447 HAS SOPS 217001 HAS SOUS 39308 HAS SOUPS 22245 WITH SCORE 22615.447
AT ITER 4904 NEW BEST:: SOT 544441 SOS 370139 HAS SOPS 216893 HAS SOUS 39301 HAS SOUPS 22238 WITH SCORE 22608.139
AT ITER 4944 NEW BEST:: SOT 544243 SOS 369941 HAS SOPS 216695 HAS SOUS 39301 HAS SOUPS 22238 WITH SCORE 22607.941
AT ITER 4947 NEW BEST:: SOT 544289 SOS 369987 HAS SOPS 216695 HAS SOUS 39247 HAS SOUPS 22208 WITH SCORE 22577.987
AT ITER 4950 NEW BEST:: SOT 544326 SOS 370307 HAS SOPS 216787 HAS SOUS 39246 HAS SOUPS 22201 WITH SCORE 22571.307
AT ITER 4956 NEW BEST:: SOT 544098 SOS 370079 HAS SOPS 216559 HAS SOUS 39246 HAS SOUPS 22201 WITH SCORE 22571.079
AT ITER 4980 NEW BEST:: SOT 544230 SOS 370391 HAS SOPS 216643 HAS SOUS 39257 HAS SOUPS 22200 WITH SCORE 22570.391
AT ITER 4989 NEW BEST:: SOT 544236 SOS 370409 HAS SOPS 216649 HAS SOUS 39251 HAS SOUPS 22188 WITH SCORE 22558.409
AT ITER 5021 NEW BEST:: SOT 544084 SOS 370105 HAS SOPS 216573 HAS SOUS 39175 HAS SOUPS 22188 WITH SCORE 22558.105
AT ITER 5022 NEW BEST:: SOT 544058 SOS 369722 HAS SOPS 216151 HAS SOUS 39173 HAS SOUPS 22173 WITH SCORE 22542.722
AT ITER 5029 NEW BEST:: SOT 544025 SOS 369623 HAS SOPS 216118 HAS SOUS 39140 HAS SOUPS 22173 WITH SCORE 22542.623
AT ITER 5063 NEW BEST:: SOT 543311 SOS 368909 HAS SOPS 215404 HAS SOUS 39080 HAS SOUPS 22153 WITH SCORE 22521.909
AT ITER 5071 NEW BEST:: SOT 543423 SOS 369151 HAS SOPS 215464 HAS SOUS 39088 HAS SOUPS 22148 WITH SCORE 22517.151
AT ITER 5168 NEW BEST:: SOT 543396 SOS 369124 HAS SOPS 215464 HAS SOUS 39088 HAS SOUPS 22148 WITH SCORE 22517.124
AT ITER 5174 NEW BEST:: SOT 543388 SOS 368978 HAS SOPS 215458 HAS SOUS 39065 HAS SOUPS 22135 WITH SCORE 22503.978
AT ITER 5186 NEW BEST:: SOT 543388 SOS 368186 HAS SOPS 214886 HAS SOUS 39065 HAS SOUPS 22135 WITH SCORE 22503.186
AT ITER 5194 NEW BEST:: SOT 543363 SOS 368164 HAS SOPS 214886 HAS SOUS 39068 HAS SOUPS 22135 WITH SCORE 22503.164
AT ITER 5200 NEW BEST:: SOT 543578 SOS 368106 HAS SOPS 214997 HAS SOUS 39012 HAS SOUPS 22127 WITH SCORE 22495.106
AT ITER 5240 NEW BEST:: SOT 542701 SOS 365922 HAS SOPS 214274 HAS SOUS 38958 HAS SOUPS 22121 WITH SCORE 22486.922
AT ITER 5249 NEW BEST:: SOT 542669 SOS 365890 HAS SOPS 214274 HAS SOUS 38958 HAS SOUPS 22121 WITH SCORE 22486.89
AT ITER 5253 NEW BEST:: SOT 542664 SOS 365888 HAS SOPS 214274 HAS SOUS 38961 HAS SOUPS 22121 WITH SCORE 22486.888
AT ITER 5265 NEW BEST:: SOT 542656 SOS 365880 HAS SOPS 214274 HAS SOUS 38961 HAS SOUPS 22121 WITH SCORE 22486.88
AT ITER 5304 NEW BEST:: SOT 542628 SOS 365849 HAS SOPS 213913 HAS SOUS 38958 HAS SOUPS 22091 WITH SCORE 22456.849
AT ITER 5363 NEW BEST:: SOT 542636 SOS 365830 HAS SOPS 213907 HAS SOUS 38939 HAS SOUPS 22090 WITH SCORE 22455.83
AT ITER 5419 NEW BEST:: SOT 542606 SOS 365770 HAS SOPS 213892 HAS SOUS 38924 HAS SOUPS 22090 WITH SCORE 22455.77
AT ITER 5435 NEW BEST:: SOT 542588 SOS 365752 HAS SOPS 213892 HAS SOUS 38924 HAS SOUPS 22090 WITH SCORE 22455.752
AT ITER 5439 NEW BEST:: SOT 542584 SOS 365744 HAS SOPS 213890 HAS SOUS 38922 HAS SOUPS 22090 WITH SCORE 22455.744
AT ITER 5450 NEW BEST:: SOT 542584 SOS 365744 HAS SOPS 213890 HAS SOUS 38814 HAS SOUPS 22030 WITH SCORE 22395.744
AT ITER 5494 NEW BEST:: SOT 542581 SOS 365741 HAS SOPS 213890 HAS SOUS 38814 HAS SOUPS 22030 WITH SCORE 22395.741
AT ITER 5561 NEW BEST:: SOT 542578 SOS 365783 HAS SOPS 213915 HAS SOUS 38812 HAS SOUPS 22028 WITH SCORE 22393.783
AT ITER 5563 NEW BEST:: SOT 542575 SOS 365777 HAS SOPS 213915 HAS SOUS 38809 HAS SOUPS 22028 WITH SCORE 22393.777
AT ITER 5592 NEW BEST:: SOT 542407 SOS 365609 HAS SOPS 213747 HAS SOUS 38809 HAS SOUPS 22028 WITH SCORE 22393.609
AT ITER 5595 NEW BEST:: SOT 542401 SOS 365603 HAS SOPS 213741 HAS SOUS 38776 HAS SOUPS 22007 WITH SCORE 22372.603
AT ITER 5622 NEW BEST:: SOT 542398 SOS 365597 HAS SOPS 213741 HAS SOUS 38773 HAS SOUPS 22007 WITH SCORE 22372.597
AT ITER 5630 NEW BEST:: SOT 542421 SOS 364881 HAS SOPS 213753 HAS SOUS 38694 HAS SOUPS 21980 WITH SCORE 22344.881
AT ITER 5637 NEW BEST:: SOT 542399 SOS 364859 HAS SOPS 213753 HAS SOUS 38694 HAS SOUPS 21980 WITH SCORE 22344.859
AT ITER 5646 NEW BEST:: SOT 542409 SOS 364719 HAS SOPS 213753 HAS SOUS 38684 HAS SOUPS 21980 WITH SCORE 22344.719
AT ITER 5662 NEW BEST:: SOT 542395 SOS 364504 HAS SOPS 213664 HAS SOUS 38652 HAS SOUPS 21957 WITH SCORE 22321.504
AT ITER 5709 NEW BEST:: SOT 542397 SOS 364552 HAS SOPS 213622 HAS SOUS 38650 HAS SOUPS 21955 WITH SCORE 22319.552
AT ITER 5732 NEW BEST:: SOT 542396 SOS 364536 HAS SOPS 213606 HAS SOUS 38628 HAS SOUPS 21933 WITH SCORE 22297.536
AT ITER 5769 NEW BEST:: SOT 542419 SOS 363571 HAS SOPS 213551 HAS SOUS 38546 HAS SOUPS 21915 WITH SCORE 22278.571
AT ITER 5782 NEW BEST:: SOT 542374 SOS 365006 HAS SOPS 214986 HAS SOUS 38526 HAS SOUPS 21895 WITH SCORE 22260.006
AT ITER 5786 NEW BEST:: SOT 541954 SOS 364586 HAS SOPS 214566 HAS SOUS 38526 HAS SOUPS 21895 WITH SCORE 22259.586
AT ITER 5814 NEW BEST:: SOT 541906 SOS 364538 HAS SOPS 214518 HAS SOUS 38526 HAS SOUPS 21895 WITH SCORE 22259.538
AT ITER 5820 NEW BEST:: SOT 541918 SOS 364562 HAS SOPS 214524 HAS SOUS 38525 HAS SOUPS 21891 WITH SCORE 22255.562
AT ITER 5824 NEW BEST:: SOT 541940 SOS 364586 HAS SOPS 214536 HAS SOUS 38523 HAS SOUPS 21889 WITH SCORE 22253.586
AT ITER 5836 NEW BEST:: SOT 541920 SOS 364156 HAS SOPS 214470 HAS SOUS 38492 HAS SOUPS 21884 WITH SCORE 22248.156
AT ITER 5841 NEW BEST:: SOT 542108 SOS 364414 HAS SOPS 214504 HAS SOUS 38510 HAS SOUPS 21879 WITH SCORE 22243.414
AT ITER 5861 NEW BEST:: SOT 542103 SOS 364409 HAS SOPS 214504 HAS SOUS 38510 HAS SOUPS 21879 WITH SCORE 22243.409
AT ITER 5915 NEW BEST:: SOT 541947 SOS 364253 HAS SOPS 214348 HAS SOUS 38501 HAS SOUPS 21874 WITH SCORE 22238.253
AT ITER 5955 NEW BEST:: SOT 541930 SOS 364236 HAS SOPS 214348 HAS SOUS 38501 HAS SOUPS 21874 WITH SCORE 22238.236
AT ITER 6023 NEW BEST:: SOT 541936 SOS 364358 HAS SOPS 214385 HAS SOUS 38509 HAS SOUPS 21858 WITH SCORE 22222.358
AT ITER 6043 NEW BEST:: SOT 541928 SOS 364338 HAS SOPS 214365 HAS SOUS 38509 HAS SOUPS 21858 WITH SCORE 22222.338
AT ITER 6071 NEW BEST:: SOT 542006 SOS 364416 HAS SOPS 214443 HAS SOUS 38506 HAS SOUPS 21856 WITH SCORE 22220.416
AT ITER 6088 NEW BEST:: SOT 541992 SOS 364402 HAS SOPS 214443 HAS SOUS 38506 HAS SOUPS 21856 WITH SCORE 22220.402
AT ITER 6114 NEW BEST:: SOT 541961 SOS 364740 HAS SOPS 214431 HAS SOUS 38513 HAS SOUPS 21838 WITH SCORE 22202.74
AT ITER 6127 NEW BEST:: SOT 541952 SOS 364731 HAS SOPS 214431 HAS SOUS 38495 HAS SOUPS 21820 WITH SCORE 22184.731
AT ITER 6149 NEW BEST:: SOT 541940 SOS 364617 HAS SOPS 214401 HAS SOUS 38465 HAS SOUPS 21796 WITH SCORE 22160.617
AT ITER 6153 NEW BEST:: SOT 541911 SOS 364601 HAS SOPS 214161 HAS SOUS 38465 HAS SOUPS 21780 WITH SCORE 22144.601
AT ITER 6155 NEW BEST:: SOT 541898 SOS 364557 HAS SOPS 214122 HAS SOUS 38463 HAS SOUPS 21778 WITH SCORE 22142.557
AT ITER 6185 NEW BEST:: SOT 541844 SOS 364503 HAS SOPS 214068 HAS SOUS 38382 HAS SOUPS 21733 WITH SCORE 22097.503
AT ITER 6227 NEW BEST:: SOT 542077 SOS 365097 HAS SOPS 214215 HAS SOUS 38389 HAS SOUPS 21729 WITH SCORE 22094.097
AT ITER 6242 NEW BEST:: SOT 542057 SOS 365077 HAS SOPS 214205 HAS SOUS 38389 HAS SOUPS 21729 WITH SCORE 22094.077
AT ITER 6255 NEW BEST:: SOT 542043 SOS 365063 HAS SOPS 214205 HAS SOUS 38389 HAS SOUPS 21729 WITH SCORE 22094.063
AT ITER 6271 NEW BEST:: SOT 542022 SOS 365042 HAS SOPS 214205 HAS SOUS 38389 HAS SOUPS 21729 WITH SCORE 22094.042
AT ITER 6300 NEW BEST:: SOT 541799 SOS 364525 HAS SOPS 214078 HAS SOUS 38362 HAS SOUPS 21720 WITH SCORE 22084.525
AT ITER 6311 NEW BEST:: SOT 541779 SOS 364505 HAS SOPS 214078 HAS SOUS 38362 HAS SOUPS 21720 WITH SCORE 22084.505
AT ITER 6397 NEW BEST:: SOT 541741 SOS 364448 HAS SOPS 214021 HAS SOUS 38341 HAS SOUPS 21699 WITH SCORE 22063.448
AT ITER 6403 NEW BEST:: SOT 541691 SOS 364409 HAS SOPS 214031 HAS SOUS 38293 HAS SOUPS 21641 WITH SCORE 22005.409
AT ITER 6421 NEW BEST:: SOT 541691 SOS 364409 HAS SOPS 214031 HAS SOUS 38257 HAS SOUPS 21621 WITH SCORE 21985.409
AT ITER 6454 NEW BEST:: SOT 541742 SOS 364460 HAS SOPS 214031 HAS SOUS 38248 HAS SOUPS 21616 WITH SCORE 21980.46
AT ITER 6455 NEW BEST:: SOT 541729 SOS 363512 HAS SOPS 213223 HAS SOUS 38227 HAS SOUPS 21605 WITH SCORE 21968.512
AT ITER 6488 NEW BEST:: SOT 541765 SOS 363528 HAS SOPS 213239 HAS SOUS 38214 HAS SOUPS 21599 WITH SCORE 21962.528
AT ITER 6534 NEW BEST:: SOT 542152 SOS 364423 HAS SOPS 213462 HAS SOUS 38229 HAS SOUPS 21584 WITH SCORE 21948.423
AT ITER 6565 NEW BEST:: SOT 542158 SOS 364429 HAS SOPS 213462 HAS SOUS 38211 HAS SOUPS 21574 WITH SCORE 21938.429
AT ITER 6566 NEW BEST:: SOT 542146 SOS 364234 HAS SOPS 213438 HAS SOUS 38145 HAS SOUPS 21527 WITH SCORE 21891.234
AT ITER 6571 NEW BEST:: SOT 542154 SOS 364242 HAS SOPS 213446 HAS SOUS 38141 HAS SOUPS 21523 WITH SCORE 21887.242
AT ITER 6603 NEW BEST:: SOT 541887 SOS 363546 HAS SOPS 212870 HAS SOUS 38096 HAS SOUPS 21478 WITH SCORE 21841.546
AT ITER 6637 NEW BEST:: SOT 541599 SOS 363258 HAS SOPS 212582 HAS SOUS 38096 HAS SOUPS 21478 WITH SCORE 21841.258
AT ITER 6695 NEW BEST:: SOT 541587 SOS 363231 HAS SOPS 212575 HAS SOUS 38094 HAS SOUPS 21477 WITH SCORE 21840.231
AT ITER 6697 NEW BEST:: SOT 541575 SOS 363219 HAS SOPS 212575 HAS SOUS 38094 HAS SOUPS 21477 WITH SCORE 21840.219
AT ITER 6740 NEW BEST:: SOT 541575 SOS 363219 HAS SOPS 212575 HAS SOUS 38058 HAS SOUPS 21457 WITH SCORE 21820.219
AT ITER 6788 NEW BEST:: SOT 541575 SOS 363219 HAS SOPS 212575 HAS SOUS 38049 HAS SOUPS 21452 WITH SCORE 21815.219
AT ITER 6841 NEW BEST:: SOT 541587 SOS 363246 HAS SOPS 212582 HAS SOUS 38049 HAS SOUPS 21451 WITH SCORE 21814.246
AT ITER 6895 NEW BEST:: SOT 541563 SOS 362982 HAS SOPS 212318 HAS SOUS 38032 HAS SOUPS 21434 WITH SCORE 21796.982
AT ITER 6896 NEW BEST:: SOT 541530 SOS 362608 HAS SOPS 211944 HAS SOUS 37988 HAS SOUPS 21390 WITH SCORE 21752.608
AT ITER 6912 NEW BEST:: SOT 541520 SOS 362518 HAS SOPS 211854 HAS SOUS 37988 HAS SOUPS 21390 WITH SCORE 21752.518
AT ITER 6918 NEW BEST:: SOT 541520 SOS 362518 HAS SOPS 211854 HAS SOUS 37970 HAS SOUPS 21380 WITH SCORE 21742.518
AT ITER 6942 NEW BEST:: SOT 541518 SOS 362402 HAS SOPS 211738 HAS SOUS 37960 HAS SOUPS 21370 WITH SCORE 21732.402
AT ITER 6950 NEW BEST:: SOT 541507 SOS 362391 HAS SOPS 211738 HAS SOUS 37960 HAS SOUPS 21370 WITH SCORE 21732.391
AT ITER 6966 NEW BEST:: SOT 541459 SOS 362283 HAS SOPS 211710 HAS SOUS 37956 HAS SOUPS 21370 WITH SCORE 21732.283
AT ITER 7030 NEW BEST:: SOT 542011 SOS 363647 HAS SOPS 212086 HAS SOUS 38000 HAS SOUPS 21362 WITH SCORE 21725.647
AT ITER 7053 NEW BEST:: SOT 542075 SOS 363703 HAS SOPS 212126 HAS SOUS 37984 HAS SOUPS 21354 WITH SCORE 21717.703
AT ITER 7057 NEW BEST:: SOT 542067 SOS 363687 HAS SOPS 212119 HAS SOUS 37970 HAS SOUPS 21347 WITH SCORE 21710.687
AT ITER 7117 NEW BEST:: SOT 542067 SOS 363617 HAS SOPS 212049 HAS SOUS 37968 HAS SOUPS 21345 WITH SCORE 21708.617
AT ITER 7138 NEW BEST:: SOT 542062 SOS 363658 HAS SOPS 212020 HAS SOUS 37967 HAS SOUPS 21339 WITH SCORE 21702.658
AT ITER 7140 NEW BEST:: SOT 542056 SOS 363646 HAS SOPS 212017 HAS SOUS 37964 HAS SOUPS 21339 WITH SCORE 21702.646
AT ITER 7284 NEW BEST:: SOT 542014 SOS 363610 HAS SOPS 211981 HAS SOUS 37904 HAS SOUPS 21279 WITH SCORE 21642.61
AT ITER 7319 NEW BEST:: SOT 541473 SOS 359970 HAS SOPS 209479 HAS SOUS 37860 HAS SOUPS 21282 WITH SCORE 21641.97
AT ITER 7327 NEW BEST:: SOT 541455 SOS 359916 HAS SOPS 209461 HAS SOUS 37842 HAS SOUPS 21282 WITH SCORE 21641.916
AT ITER 7335 NEW BEST:: SOT 541426 SOS 359887 HAS SOPS 209461 HAS SOUS 37842 HAS SOUPS 21282 WITH SCORE 21641.887
AT ITER 7387 NEW BEST:: SOT 541421 SOS 359882 HAS SOPS 209461 HAS SOUS 37832 HAS SOUPS 21272 WITH SCORE 21631.882
AT ITER 7402 NEW BEST:: SOT 541399 SOS 359530 HAS SOPS 208395 HAS SOUS 37879 HAS SOUPS 21268 WITH SCORE 21627.53
AT ITER 7403 NEW BEST:: SOT 541286 SOS 358682 HAS SOPS 207737 HAS SOUS 37848 HAS SOUPS 21247 WITH SCORE 21605.682
AT ITER 7408 NEW BEST:: SOT 541235 SOS 358342 HAS SOPS 207397 HAS SOUS 37841 HAS SOUPS 21240 WITH SCORE 21598.342
AT ITER 7426 NEW BEST:: SOT 541226 SOS 357802 HAS SOPS 207193 HAS SOUS 37811 HAS SOUPS 21234 WITH SCORE 21591.802
AT ITER 7483 NEW BEST:: SOT 541216 SOS 357772 HAS SOPS 207183 HAS SOUS 37801 HAS SOUPS 21234 WITH SCORE 21591.772
AT ITER 7571 NEW BEST:: SOT 541225 SOS 357646 HAS SOPS 207144 HAS SOUS 37795 HAS SOUPS 21228 WITH SCORE 21585.646
AT ITER 7597 NEW BEST:: SOT 541236 SOS 357668 HAS SOPS 207150 HAS SOUS 37794 HAS SOUPS 21226 WITH SCORE 21583.668
AT ITER 7599 NEW BEST:: SOT 541228 SOS 357652 HAS SOPS 207146 HAS SOUS 37772 HAS SOUPS 21216 WITH SCORE 21573.652
AT ITER 7612 NEW BEST:: SOT 541204 SOS 357628 HAS SOPS 207122 HAS SOUS 37772 HAS SOUPS 21216 WITH SCORE 21573.628
AT ITER 7645 NEW BEST:: SOT 541204 SOS 357628 HAS SOPS 207122 HAS SOUS 37761 HAS SOUPS 21205 WITH SCORE 21562.628
AT ITER 7647 NEW BEST:: SOT 541204 SOS 357744 HAS SOPS 207093 HAS SOUS 37732 HAS SOUPS 21176 WITH SCORE 21533.744
AT ITER 7650 NEW BEST:: SOT 541203 SOS 357743 HAS SOPS 207093 HAS SOUS 37732 HAS SOUPS 21176 WITH SCORE 21533.743
AT ITER 7677 NEW BEST:: SOT 540783 SOS 356273 HAS SOPS 205798 HAS SOUS 37697 HAS SOUPS 21141 WITH SCORE 21497.273
AT ITER 7715 NEW BEST:: SOT 540782 SOS 356196 HAS SOPS 205735 HAS SOUS 37695 HAS SOUPS 21140 WITH SCORE 21496.196
AT ITER 7758 NEW BEST:: SOT 540806 SOS 356241 HAS SOPS 205747 HAS SOUS 37694 HAS SOUPS 21139 WITH SCORE 21495.241
AT ITER 7772 NEW BEST:: SOT 540850 SOS 356329 HAS SOPS 205771 HAS SOUS 37690 HAS SOUPS 21131 WITH SCORE 21487.329
AT ITER 7782 NEW BEST:: SOT 540837 SOS 356316 HAS SOPS 205771 HAS SOUS 37690 HAS SOUPS 21131 WITH SCORE 21487.316
AT ITER 7799 NEW BEST:: SOT 540860 SOS 356475 HAS SOPS 205777 HAS SOUS 37650 HAS SOUPS 21091 WITH SCORE 21447.475
AT ITER 7818 NEW BEST:: SOT 540863 SOS 356472 HAS SOPS 205816 HAS SOUS 37647 HAS SOUPS 21091 WITH SCORE 21447.472
AT ITER 7855 NEW BEST:: SOT 540863 SOS 356472 HAS SOPS 205816 HAS SOUS 37638 HAS SOUPS 21086 WITH SCORE 21442.472
AT ITER 7875 NEW BEST:: SOT 540823 SOS 356352 HAS SOPS 205776 HAS SOUS 37598 HAS SOUPS 21086 WITH SCORE 21442.352
AT ITER 7966 NEW BEST:: SOT 540820 SOS 356662 HAS SOPS 205736 HAS SOUS 37620 HAS SOUPS 21083 WITH SCORE 21439.662
AT ITER 8007 NEW BEST:: SOT 540574 SOS 356214 HAS SOPS 205396 HAS SOUS 37609 HAS SOUPS 21072 WITH SCORE 21428.214
AT ITER 8084 NEW BEST:: SOT 540166 SOS 355314 HAS SOPS 204618 HAS SOUS 37576 HAS SOUPS 21023 WITH SCORE 21378.314
AT ITER 8089 NEW BEST:: SOT 539966 SOS 354854 HAS SOPS 204202 HAS SOUS 37584 HAS SOUPS 21009 WITH SCORE 21363.854
AT ITER 8121 NEW BEST:: SOT 539954 SOS 354842 HAS SOPS 204202 HAS SOUS 37584 HAS SOUPS 21009 WITH SCORE 21363.842
AT ITER 8125 NEW BEST:: SOT 539932 SOS 354790 HAS SOPS 204154 HAS SOUS 37582 HAS SOUPS 21005 WITH SCORE 21359.79
AT ITER 8132 NEW BEST:: SOT 539428 SOS 354250 HAS SOPS 203809 HAS SOUS 37546 HAS SOUPS 20969 WITH SCORE 21323.25
AT ITER 8133 NEW BEST:: SOT 539437 SOS 354259 HAS SOPS 203813 HAS SOUS 37544 HAS SOUPS 20967 WITH SCORE 21321.259
AT ITER 8231 NEW BEST:: SOT 539383 SOS 354196 HAS SOPS 203775 HAS SOUS 37541 HAS SOUPS 20964 WITH SCORE 21318.196
AT ITER 8252 NEW BEST:: SOT 539373 SOS 354166 HAS SOPS 203745 HAS SOUS 37541 HAS SOUPS 20964 WITH SCORE 21318.166
AT ITER 8261 NEW BEST:: SOT 539352 SOS 354145 HAS SOPS 203745 HAS SOUS 37519 HAS SOUPS 20942 WITH SCORE 21296.145
AT ITER 8276 NEW BEST:: SOT 539112 SOS 353905 HAS SOPS 203625 HAS SOUS 37519 HAS SOUPS 20942 WITH SCORE 21295.905
AT ITER 8286 NEW BEST:: SOT 539184 SOS 353985 HAS SOPS 203657 HAS SOUS 37511 HAS SOUPS 20934 WITH SCORE 21287.985
AT ITER 8304 NEW BEST:: SOT 539168 SOS 353969 HAS SOPS 203657 HAS SOUS 37511 HAS SOUPS 20934 WITH SCORE 21287.969
AT ITER 8354 NEW BEST:: SOT 539164 SOS 353925 HAS SOPS 203657 HAS SOUS 37507 HAS SOUPS 20934 WITH SCORE 21287.925
AT ITER 8491 NEW BEST:: SOT 539362 SOS 354321 HAS SOPS 203765 HAS SOUS 37521 HAS SOUPS 20930 WITH SCORE 21284.321
AT ITER 8494 NEW BEST:: SOT 539357 SOS 354316 HAS SOPS 203765 HAS SOUS 37521 HAS SOUPS 20930 WITH SCORE 21284.316
AT ITER 8499 NEW BEST:: SOT 539340 SOS 354299 HAS SOPS 203765 HAS SOUS 37521 HAS SOUPS 20930 WITH SCORE 21284.299
AT ITER 8531 NEW BEST:: SOT 539340 SOS 354299 HAS SOPS 203765 HAS SOUS 37518 HAS SOUPS 20928 WITH SCORE 21282.299
AT ITER 8533 NEW BEST:: SOT 539341 SOS 354253 HAS SOPS 203736 HAS SOUS 37518 HAS SOUPS 20928 WITH SCORE 21282.253
AT ITER 8647 NEW BEST:: SOT 539337 SOS 354245 HAS SOPS 203734 HAS SOUS 37516 HAS SOUPS 20928 WITH SCORE 21282.245
AT ITER 8657 NEW BEST:: SOT 539236 SOS 354027 HAS SOPS 203552 HAS SOUS 37514 HAS SOUPS 20926 WITH SCORE 21280.027
AT ITER 8733 NEW BEST:: SOT 539224 SOS 354015 HAS SOPS 203552 HAS SOUS 37514 HAS SOUPS 20926 WITH SCORE 21280.015
AT ITER 8781 NEW BEST:: SOT 539219 SOS 353977 HAS SOPS 203514 HAS SOUS 37513 HAS SOUPS 20925 WITH SCORE 21278.977
AT ITER 8820 NEW BEST:: SOT 539219 SOS 353977 HAS SOPS 203514 HAS SOUS 37510 HAS SOUPS 20923 WITH SCORE 21276.977
AT ITER 8839 NEW BEST:: SOT 539375 SOS 354133 HAS SOPS 203670 HAS SOUS 37504 HAS SOUPS 20919 WITH SCORE 21273.133
AT ITER 8846 NEW BEST:: SOT 539385 SOS 354191 HAS SOPS 203728 HAS SOUS 37499 HAS SOUPS 20914 WITH SCORE 21268.191
AT ITER 8856 NEW BEST:: SOT 539459 SOS 354265 HAS SOPS 203728 HAS SOUS 37481 HAS SOUPS 20904 WITH SCORE 21258.265
AT ITER 8922 NEW BEST:: SOT 539459 SOS 354265 HAS SOPS 203728 HAS SOUS 37475 HAS SOUPS 20900 WITH SCORE 21254.265
AT ITER 8967 NEW BEST:: SOT 539370 SOS 354069 HAS SOPS 203541 HAS SOUS 37477 HAS SOUPS 20893 WITH SCORE 21247.069
AT ITER 8993 NEW BEST:: SOT 539370 SOS 354069 HAS SOPS 203541 HAS SOUS 37450 HAS SOUPS 20878 WITH SCORE 21232.069
AT ITER 9042 NEW BEST:: SOT 539216 SOS 353705 HAS SOPS 203443 HAS SOUS 37424 HAS SOUPS 20866 WITH SCORE 21219.705
AT ITER 9058 NEW BEST:: SOT 539227 SOS 353969 HAS SOPS 203707 HAS SOUS 37413 HAS SOUPS 20855 WITH SCORE 21208.969
AT ITER 9083 NEW BEST:: SOT 539227 SOS 353917 HAS SOPS 203711 HAS SOUS 37409 HAS SOUPS 20855 WITH SCORE 21208.917
AT ITER 9106 NEW BEST:: SOT 538703 SOS 353296 HAS SOPS 203294 HAS SOUS 37418 HAS SOUPS 20849 WITH SCORE 21202.296
AT ITER 9141 NEW BEST:: SOT 538679 SOS 353272 HAS SOPS 203255 HAS SOUS 37379 HAS SOUPS 20808 WITH SCORE 21161.272
AT ITER 9149 NEW BEST:: SOT 538664 SOS 353257 HAS SOPS 203255 HAS SOUS 37379 HAS SOUPS 20808 WITH SCORE 21161.257
AT ITER 9150 NEW BEST:: SOT 538575 SOS 353168 HAS SOPS 203216 HAS SOUS 37355 HAS SOUPS 20804 WITH SCORE 21157.168
AT ITER 9161 NEW BEST:: SOT 538550 SOS 353143 HAS SOPS 203216 HAS SOUS 37355 HAS SOUPS 20804 WITH SCORE 21157.143
AT ITER 9163 NEW BEST:: SOT 538572 SOS 353165 HAS SOPS 203226 HAS SOUS 37353 HAS SOUPS 20802 WITH SCORE 21155.165
AT ITER 9203 NEW BEST:: SOT 537922 SOS 350048 HAS SOPS 201408 HAS SOUS 37311 HAS SOUPS 20802 WITH SCORE 21152.048
AT ITER 9209 NEW BEST:: SOT 537922 SOS 350048 HAS SOPS 201408 HAS SOUS 37308 HAS SOUPS 20800 WITH SCORE 21150.048
AT ITER 9210 NEW BEST:: SOT 537956 SOS 350082 HAS SOPS 201408 HAS SOUS 37263 HAS SOUPS 20775 WITH SCORE 21125.082
AT ITER 9218 NEW BEST:: SOT 537872 SOS 349795 HAS SOPS 201261 HAS SOUS 37256 HAS SOUPS 20775 WITH SCORE 21124.795
AT ITER 9246 NEW BEST:: SOT 537865 SOS 349788 HAS SOPS 201261 HAS SOUS 37256 HAS SOUPS 20775 WITH SCORE 21124.788
AT ITER 9266 NEW BEST:: SOT 537805 SOS 349685 HAS SOPS 201225 HAS SOUS 37227 HAS SOUPS 20762 WITH SCORE 21111.685
AT ITER 9277 NEW BEST:: SOT 537803 SOS 349683 HAS SOPS 201225 HAS SOUS 37223 HAS SOUPS 20758 WITH SCORE 21107.683
AT ITER 9285 NEW BEST:: SOT 537810 SOS 349800 HAS SOPS 201342 HAS SOUS 37193 HAS SOUPS 20728 WITH SCORE 21077.8
AT ITER 9304 NEW BEST:: SOT 537786 SOS 349776 HAS SOPS 201342 HAS SOUS 37193 HAS SOUPS 20728 WITH SCORE 21077.776
AT ITER 9307 NEW BEST:: SOT 536921 SOS 347223 HAS SOPS 200243 HAS SOUS 37134 HAS SOUPS 20721 WITH SCORE 21068.223
AT ITER 9350 NEW BEST:: SOT 536575 SOS 346089 HAS SOPS 199243 HAS SOUS 37084 HAS SOUPS 20671 WITH SCORE 21017.089
AT ITER 9368 NEW BEST:: SOT 536557 SOS 345903 HAS SOPS 199147 HAS SOUS 37084 HAS SOUPS 20671 WITH SCORE 21016.903
AT ITER 9449 NEW BEST:: SOT 536564 SOS 345933 HAS SOPS 199177 HAS SOUS 37074 HAS SOUPS 20661 WITH SCORE 21006.933
AT ITER 9516 NEW BEST:: SOT 536698 SOS 346067 HAS SOPS 199236 HAS SOUS 37045 HAS SOUPS 20632 WITH SCORE 20978.067
AT ITER 9545 NEW BEST:: SOT 536722 SOS 346080 HAS SOPS 199225 HAS SOUS 37023 HAS SOUPS 20621 WITH SCORE 20967.08
AT ITER 9550 NEW BEST:: SOT 536451 SOS 345416 HAS SOPS 199036 HAS SOUS 36994 HAS SOUPS 20609 WITH SCORE 20954.416
AT ITER 9570 NEW BEST:: SOT 536397 SOS 345344 HAS SOPS 198990 HAS SOUS 36990 HAS SOUPS 20605 WITH SCORE 20950.344
AT ITER 9591 NEW BEST:: SOT 536445 SOS 345392 HAS SOPS 198990 HAS SOUS 36882 HAS SOUPS 20553 WITH SCORE 20898.392
AT ITER 9744 NEW BEST:: SOT 536434 SOS 345381 HAS SOPS 198990 HAS SOUS 36882 HAS SOUPS 20553 WITH SCORE 20898.381
AT ITER 9782 NEW BEST:: SOT 536422 SOS 345348 HAS SOPS 198957 HAS SOUS 36879 HAS SOUPS 20550 WITH SCORE 20895.348
AT ITER 9791 NEW BEST:: SOT 536409 SOS 345308 HAS SOPS 199043 HAS SOUS 36860 HAS SOUPS 20545 WITH SCORE 20890.308
AT ITER 9842 NEW BEST:: SOT 536409 SOS 345308 HAS SOPS 199043 HAS SOUS 36854 HAS SOUPS 20539 WITH SCORE 20884.308
AT ITER 9855 NEW BEST:: SOT 536372 SOS 345251 HAS SOPS 199016 HAS SOUS 36837 HAS SOUPS 20527 WITH SCORE 20872.251
AT ITER 9889 NEW BEST:: SOT 536358 SOS 345237 HAS SOPS 199016 HAS SOUS 36837 HAS SOUPS 20527 WITH SCORE 20872.237
AT ITER 9922 NEW BEST:: SOT 536364 SOS 345237 HAS SOPS 199016 HAS SOUS 36834 HAS SOUPS 20524 WITH SCORE 20869.237
BK_STOP 1678422114061
--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 483 Killed ${SMART}/smart ${INPUT_SM}
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="DLCround-PT-10a"
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 DLCround-PT-10a, 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-167814484600736"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-10a.tgz
mv DLCround-PT-10a 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 ;