About the Execution of Smart+red for StigmergyElection-PT-08a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 487.199 | 2767849.00 | 2807844.00 | 5498.10 | 462753 6.5842E+0006 1 9 | normal |
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.r459-smll-167912651500656.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 StigmergyElection-PT-08a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651500656
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.7M
-rw-r--r-- 1 mcc users 5.9K Feb 26 16:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 16:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 26 16:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 16:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 16:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 16:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 26 16:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 5.3M Mar 5 18:23 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 1679453459465
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=StigmergyElection-PT-08a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 02:51:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 02:51:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 02:51:02] [INFO ] Load time of PNML (sax parser for PT used): 717 ms
[2023-03-22 02:51:02] [INFO ] Transformed 114 places.
[2023-03-22 02:51:02] [INFO ] Transformed 6882 transitions.
[2023-03-22 02:51:02] [INFO ] Found NUPN structural information;
[2023-03-22 02:51:02] [INFO ] Parsed PT model containing 114 places and 6882 transitions and 107626 arcs in 893 ms.
[2023-03-22 02:51:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 114 places, 6882 transitions and 107626 arcs took 228 ms.
Total runtime 1164 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 08a
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: 114 places, 6882 transitions, 107626 arcs.
AT ITER 0 NEW BEST:: SOT 415512 SOS 141303 HAS SOPS 130431 HAS SOUS 10896 HAS SOUPS 10864 WITH SCORE 11005.303
AT ITER 3 NEW BEST:: SOT 415534 SOS 141303 HAS SOPS 130431 HAS SOUS 10874 HAS SOUPS 10842 WITH SCORE 10983.303
AT ITER 4 NEW BEST:: SOT 415562 SOS 141241 HAS SOPS 130369 HAS SOUS 10800 HAS SOUPS 10768 WITH SCORE 10909.241
AT ITER 6 NEW BEST:: SOT 413163 SOS 138842 HAS SOPS 127970 HAS SOUS 10582 HAS SOUPS 10550 WITH SCORE 10688.842
AT ITER 13 NEW BEST:: SOT 413224 SOS 138871 HAS SOPS 127999 HAS SOUS 10581 HAS SOUPS 10549 WITH SCORE 10687.871
AT ITER 21 NEW BEST:: SOT 413219 SOS 138843 HAS SOPS 127971 HAS SOUS 10567 HAS SOUPS 10535 WITH SCORE 10673.843
AT ITER 30 NEW BEST:: SOT 413218 SOS 138841 HAS SOPS 127973 HAS SOUS 10566 HAS SOUPS 10534 WITH SCORE 10672.841
AT ITER 32 NEW BEST:: SOT 413216 SOS 138839 HAS SOPS 127971 HAS SOUS 10566 HAS SOUPS 10534 WITH SCORE 10672.839
AT ITER 41 NEW BEST:: SOT 413219 SOS 138815 HAS SOPS 127947 HAS SOUS 10554 HAS SOUPS 10522 WITH SCORE 10660.815
AT ITER 44 NEW BEST:: SOT 412913 SOS 138520 HAS SOPS 127647 HAS SOUS 10373 HAS SOUPS 10337 WITH SCORE 10475.52
AT ITER 47 NEW BEST:: SOT 412913 SOS 138513 HAS SOPS 127640 HAS SOUS 10366 HAS SOUPS 10330 WITH SCORE 10468.513
AT ITER 52 NEW BEST:: SOT 413424 SOS 139024 HAS SOPS 126970 HAS SOUS 10040 HAS SOUPS 10001 WITH SCORE 10140.024
AT ITER 55 NEW BEST:: SOT 412613 SOS 139593 HAS SOPS 126124 HAS SOUS 10040 HAS SOUPS 9930 WITH SCORE 10069.593
AT ITER 60 NEW BEST:: SOT 408635 SOS 178408 HAS SOPS 165789 HAS SOUS 9948 HAS SOUPS 9838 WITH SCORE 10016.408
AT ITER 71 NEW BEST:: SOT 408640 SOS 178294 HAS SOPS 165727 HAS SOUS 9884 HAS SOUPS 9774 WITH SCORE 9952.294
AT ITER 73 NEW BEST:: SOT 408639 SOS 178290 HAS SOPS 165723 HAS SOUS 9881 HAS SOUPS 9771 WITH SCORE 9949.29
AT ITER 81 NEW BEST:: SOT 408690 SOS 178230 HAS SOPS 165663 HAS SOUS 9793 HAS SOUPS 9683 WITH SCORE 9861.23
AT ITER 90 NEW BEST:: SOT 414868 SOS 184360 HAS SOPS 169490 HAS SOUS 9736 HAS SOUPS 9619 WITH SCORE 9803.36
AT ITER 94 NEW BEST:: SOT 409967 SOS 179474 HAS SOPS 165154 HAS SOUS 9504 HAS SOUPS 9392 WITH SCORE 9571.474
AT ITER 95 NEW BEST:: SOT 409896 SOS 179366 HAS SOPS 165063 HAS SOUS 9460 HAS SOUPS 9348 WITH SCORE 9527.366
AT ITER 100 NEW BEST:: SOT 411166 SOS 180616 HAS SOPS 164459 HAS SOUS 8406 HAS SOUPS 8292 WITH SCORE 8472.616
AT ITER 106 NEW BEST:: SOT 407061 SOS 194844 HAS SOPS 178689 HAS SOUS 8078 HAS SOUPS 7964 WITH SCORE 8158.844
AT ITER 121 NEW BEST:: SOT 407070 SOS 194840 HAS SOPS 178685 HAS SOUS 8065 HAS SOUPS 7951 WITH SCORE 8145.84
AT ITER 134 NEW BEST:: SOT 407338 SOS 194025 HAS SOPS 179014 HAS SOUS 7951 HAS SOUPS 7884 WITH SCORE 8078.025
AT ITER 135 NEW BEST:: SOT 407414 SOS 194067 HAS SOPS 179056 HAS SOUS 7946 HAS SOUPS 7879 WITH SCORE 8073.067
AT ITER 142 NEW BEST:: SOT 407450 SOS 187885 HAS SOPS 178920 HAS SOUS 7887 HAS SOUPS 7822 WITH SCORE 8009.885
AT ITER 150 NEW BEST:: SOT 407459 SOS 187885 HAS SOPS 178920 HAS SOUS 7878 HAS SOUPS 7813 WITH SCORE 8000.885
AT ITER 151 NEW BEST:: SOT 407457 SOS 187881 HAS SOPS 178916 HAS SOUS 7874 HAS SOUPS 7809 WITH SCORE 7996.881
AT ITER 154 NEW BEST:: SOT 403948 SOS 205951 HAS SOPS 198432 HAS SOUS 7739 HAS SOUPS 7674 WITH SCORE 7879.951
AT ITER 157 NEW BEST:: SOT 403900 SOS 208421 HAS SOPS 200354 HAS SOUS 7499 HAS SOUPS 7434 WITH SCORE 7642.421
AT ITER 164 NEW BEST:: SOT 403900 SOS 217745 HAS SOPS 209942 HAS SOUS 7475 HAS SOUPS 7410 WITH SCORE 7627.745
AT ITER 171 NEW BEST:: SOT 400148 SOS 234715 HAS SOPS 228392 HAS SOUS 7420 HAS SOUPS 7355 WITH SCORE 7589.715
AT ITER 188 NEW BEST:: SOT 400168 SOS 234695 HAS SOPS 228372 HAS SOUS 7400 HAS SOUPS 7335 WITH SCORE 7569.695
AT ITER 197 NEW BEST:: SOT 400163 SOS 234680 HAS SOPS 228357 HAS SOUS 7395 HAS SOUPS 7330 WITH SCORE 7564.68
AT ITER 198 NEW BEST:: SOT 400156 SOS 234659 HAS SOPS 228336 HAS SOUS 7388 HAS SOUPS 7323 WITH SCORE 7557.659
AT ITER 209 NEW BEST:: SOT 400161 SOS 234643 HAS SOPS 228320 HAS SOUS 7373 HAS SOUPS 7308 WITH SCORE 7542.643
AT ITER 216 NEW BEST:: SOT 400245 SOS 234605 HAS SOPS 228282 HAS SOUS 7320 HAS SOUPS 7255 WITH SCORE 7489.605
AT ITER 223 NEW BEST:: SOT 400302 SOS 234539 HAS SOPS 228216 HAS SOUS 7242 HAS SOUPS 7177 WITH SCORE 7411.539
AT ITER 237 NEW BEST:: SOT 400278 SOS 234438 HAS SOPS 228118 HAS SOUS 7171 HAS SOUPS 7106 WITH SCORE 7340.438
AT ITER 238 NEW BEST:: SOT 400390 SOS 234458 HAS SOPS 228146 HAS SOUS 7160 HAS SOUPS 7095 WITH SCORE 7329.458
AT ITER 242 NEW BEST:: SOT 400390 SOS 234456 HAS SOPS 228144 HAS SOUS 7160 HAS SOUPS 7095 WITH SCORE 7329.456
AT ITER 254 NEW BEST:: SOT 400464 SOS 234479 HAS SOPS 228192 HAS SOUS 7147 HAS SOUPS 7082 WITH SCORE 7316.479
AT ITER 258 NEW BEST:: SOT 400489 SOS 234487 HAS SOPS 228200 HAS SOUS 7144 HAS SOUPS 7079 WITH SCORE 7313.487
AT ITER 260 NEW BEST:: SOT 400500 SOS 234467 HAS SOPS 228180 HAS SOUS 7139 HAS SOUPS 7074 WITH SCORE 7308.467
AT ITER 263 NEW BEST:: SOT 400485 SOS 234452 HAS SOPS 228150 HAS SOUS 7109 HAS SOUPS 7044 WITH SCORE 7278.452
AT ITER 271 NEW BEST:: SOT 400485 SOS 234442 HAS SOPS 228140 HAS SOUS 7099 HAS SOUPS 7034 WITH SCORE 7268.442
AT ITER 277 NEW BEST:: SOT 400458 SOS 227742 HAS SOPS 221440 HAS SOUS 7088 HAS SOUPS 7023 WITH SCORE 7250.742
AT ITER 293 NEW BEST:: SOT 400326 SOS 227930 HAS SOPS 219912 HAS SOUS 7004 HAS SOUPS 6939 WITH SCORE 7166.93
AT ITER 296 NEW BEST:: SOT 400345 SOS 227930 HAS SOPS 219912 HAS SOUS 6985 HAS SOUPS 6920 WITH SCORE 7147.93
AT ITER 309 NEW BEST:: SOT 399874 SOS 227965 HAS SOPS 219400 HAS SOUS 6978 HAS SOUPS 6876 WITH SCORE 7103.965
AT ITER 327 NEW BEST:: SOT 399866 SOS 227617 HAS SOPS 219044 HAS SOUS 6956 HAS SOUPS 6854 WITH SCORE 7081.617
AT ITER 344 NEW BEST:: SOT 399842 SOS 227581 HAS SOPS 219004 HAS SOUS 6949 HAS SOUPS 6847 WITH SCORE 7074.581
AT ITER 348 NEW BEST:: SOT 399832 SOS 227535 HAS SOPS 218958 HAS SOUS 6916 HAS SOUPS 6814 WITH SCORE 7041.535
AT ITER 361 NEW BEST:: SOT 401919 SOS 229610 HAS SOPS 220627 HAS SOUS 6847 HAS SOUPS 6744 WITH SCORE 6973.61
AT ITER 363 NEW BEST:: SOT 401877 SOS 229572 HAS SOPS 220576 HAS SOUS 6845 HAS SOUPS 6742 WITH SCORE 6971.572
AT ITER 364 NEW BEST:: SOT 401892 SOS 229521 HAS SOPS 220485 HAS SOUS 6788 HAS SOUPS 6685 WITH SCORE 6914.521
AT ITER 386 NEW BEST:: SOT 401871 SOS 229507 HAS SOPS 220471 HAS SOUS 6776 HAS SOUPS 6673 WITH SCORE 6902.507
AT ITER 393 NEW BEST:: SOT 401862 SOS 229495 HAS SOPS 220459 HAS SOUS 6770 HAS SOUPS 6667 WITH SCORE 6896.495
AT ITER 397 NEW BEST:: SOT 401860 SOS 229493 HAS SOPS 220457 HAS SOUS 6770 HAS SOUPS 6667 WITH SCORE 6896.493
AT ITER 405 NEW BEST:: SOT 401860 SOS 229739 HAS SOPS 220889 HAS SOUS 6736 HAS SOUPS 6633 WITH SCORE 6862.739
AT ITER 416 NEW BEST:: SOT 401983 SOS 229752 HAS SOPS 220902 HAS SOUS 6728 HAS SOUPS 6625 WITH SCORE 6854.752
AT ITER 418 NEW BEST:: SOT 401978 SOS 229741 HAS SOPS 220892 HAS SOUS 6718 HAS SOUPS 6615 WITH SCORE 6844.741
AT ITER 425 NEW BEST:: SOT 401972 SOS 229735 HAS SOPS 220886 HAS SOUS 6718 HAS SOUPS 6615 WITH SCORE 6844.735
AT ITER 428 NEW BEST:: SOT 401974 SOS 229734 HAS SOPS 220770 HAS SOUS 6687 HAS SOUPS 6584 WITH SCORE 6813.734
AT ITER 443 NEW BEST:: SOT 401976 SOS 229699 HAS SOPS 220735 HAS SOUS 6676 HAS SOUPS 6573 WITH SCORE 6802.699
AT ITER 451 NEW BEST:: SOT 401890 SOS 229655 HAS SOPS 220677 HAS SOUS 6632 HAS SOUPS 6529 WITH SCORE 6758.655
AT ITER 459 NEW BEST:: SOT 401890 SOS 229647 HAS SOPS 220669 HAS SOUS 6628 HAS SOUPS 6525 WITH SCORE 6754.647
AT ITER 479 NEW BEST:: SOT 401894 SOS 229649 HAS SOPS 220671 HAS SOUS 6626 HAS SOUPS 6523 WITH SCORE 6752.649
AT ITER 482 NEW BEST:: SOT 401893 SOS 225618 HAS SOPS 216640 HAS SOUS 6625 HAS SOUPS 6522 WITH SCORE 6747.618
AT ITER 483 NEW BEST:: SOT 401893 SOS 213138 HAS SOPS 204160 HAS SOUS 6625 HAS SOUPS 6522 WITH SCORE 6735.138
AT ITER 497 NEW BEST:: SOT 401485 SOS 212730 HAS SOPS 203745 HAS SOUS 6407 HAS SOUPS 6304 WITH SCORE 6516.73
AT ITER 502 NEW BEST:: SOT 401484 SOS 212728 HAS SOPS 203743 HAS SOUS 6406 HAS SOUPS 6303 WITH SCORE 6515.728
AT ITER 512 NEW BEST:: SOT 401461 SOS 212663 HAS SOPS 203678 HAS SOUS 6379 HAS SOUPS 6276 WITH SCORE 6488.6630000000005
AT ITER 527 NEW BEST:: SOT 401475 SOS 212656 HAS SOPS 203671 HAS SOUS 6372 HAS SOUPS 6269 WITH SCORE 6481.656
AT ITER 543 NEW BEST:: SOT 401486 SOS 212657 HAS SOPS 203672 HAS SOUS 6369 HAS SOUPS 6266 WITH SCORE 6478.657
AT ITER 551 NEW BEST:: SOT 401481 SOS 212650 HAS SOPS 203665 HAS SOUS 6364 HAS SOUPS 6261 WITH SCORE 6473.65
AT ITER 567 NEW BEST:: SOT 401481 SOS 212639 HAS SOPS 203665 HAS SOUS 6364 HAS SOUPS 6261 WITH SCORE 6473.639
AT ITER 585 NEW BEST:: SOT 401467 SOS 212625 HAS SOPS 203651 HAS SOUS 6364 HAS SOUPS 6261 WITH SCORE 6473.625
AT ITER 590 NEW BEST:: SOT 401467 SOS 212625 HAS SOPS 203654 HAS SOUS 6362 HAS SOUPS 6259 WITH SCORE 6471.625
AT ITER 596 NEW BEST:: SOT 401462 SOS 212624 HAS SOPS 203652 HAS SOUS 6362 HAS SOUPS 6259 WITH SCORE 6471.624
AT ITER 597 NEW BEST:: SOT 401462 SOS 211842 HAS SOPS 202870 HAS SOUS 6355 HAS SOUPS 6252 WITH SCORE 6463.842
AT ITER 598 NEW BEST:: SOT 401463 SOS 211832 HAS SOPS 202860 HAS SOUS 6345 HAS SOUPS 6242 WITH SCORE 6453.832
AT ITER 613 NEW BEST:: SOT 401463 SOS 211823 HAS SOPS 202851 HAS SOUS 6336 HAS SOUPS 6233 WITH SCORE 6444.823
AT ITER 614 NEW BEST:: SOT 401411 SOS 211737 HAS SOPS 202809 HAS SOUS 6284 HAS SOUPS 6181 WITH SCORE 6392.737
AT ITER 629 NEW BEST:: SOT 401398 SOS 211729 HAS SOPS 202801 HAS SOUS 6275 HAS SOUPS 6172 WITH SCORE 6383.729
AT ITER 693 NEW BEST:: SOT 401395 SOS 211740 HAS SOPS 202812 HAS SOUS 6272 HAS SOUPS 6169 WITH SCORE 6380.74
AT ITER 700 NEW BEST:: SOT 401346 SOS 212116 HAS SOPS 202750 HAS SOUS 6242 HAS SOUPS 6126 WITH SCORE 6338.116
AT ITER 724 NEW BEST:: SOT 401324 SOS 212072 HAS SOPS 202706 HAS SOUS 6220 HAS SOUPS 6104 WITH SCORE 6316.072
AT ITER 752 NEW BEST:: SOT 401325 SOS 212075 HAS SOPS 202708 HAS SOUS 6219 HAS SOUPS 6103 WITH SCORE 6315.075
AT ITER 766 NEW BEST:: SOT 401325 SOS 212075 HAS SOPS 202708 HAS SOUS 6216 HAS SOUPS 6100 WITH SCORE 6312.075
AT ITER 776 NEW BEST:: SOT 401366 SOS 212067 HAS SOPS 202718 HAS SOUS 6208 HAS SOUPS 6092 WITH SCORE 6304.067
AT ITER 817 NEW BEST:: SOT 393544 SOS 212529 HAS SOPS 204468 HAS SOUS 5744 HAS SOUPS 5628 WITH SCORE 5840.529
AT ITER 849 NEW BEST:: SOT 393542 SOS 186165 HAS SOPS 178084 HAS SOUS 5742 HAS SOUPS 5626 WITH SCORE 5812.165
AT ITER 860 NEW BEST:: SOT 393554 SOS 186143 HAS SOPS 178079 HAS SOUS 5713 HAS SOUPS 5597 WITH SCORE 5783.143
AT ITER 892 NEW BEST:: SOT 393555 SOS 186140 HAS SOPS 178076 HAS SOUS 5710 HAS SOUPS 5594 WITH SCORE 5780.14
AT ITER 914 NEW BEST:: SOT 393554 SOS 186138 HAS SOPS 178072 HAS SOUS 5708 HAS SOUPS 5592 WITH SCORE 5778.138
AT ITER 997 NEW BEST:: SOT 393554 SOS 186134 HAS SOPS 178068 HAS SOUS 5708 HAS SOUPS 5592 WITH SCORE 5778.134
AT ITER 1006 NEW BEST:: SOT 393558 SOS 186121 HAS SOPS 178055 HAS SOUS 5705 HAS SOUPS 5589 WITH SCORE 5775.121
AT ITER 1007 NEW BEST:: SOT 393558 SOS 186113 HAS SOPS 178047 HAS SOUS 5705 HAS SOUPS 5589 WITH SCORE 5775.113
AT ITER 1021 NEW BEST:: SOT 393558 SOS 186113 HAS SOPS 178047 HAS SOUS 5695 HAS SOUPS 5579 WITH SCORE 5765.113
AT ITER 1025 NEW BEST:: SOT 393497 SOS 186049 HAS SOPS 178001 HAS SOUS 5672 HAS SOUPS 5556 WITH SCORE 5742.049
AT ITER 1032 NEW BEST:: SOT 393483 SOS 167681 HAS SOPS 159633 HAS SOUS 5665 HAS SOUPS 5549 WITH SCORE 5716.681
AT ITER 1071 NEW BEST:: SOT 393479 SOS 167666 HAS SOPS 159618 HAS SOUS 5657 HAS SOUPS 5541 WITH SCORE 5708.666
AT ITER 1073 NEW BEST:: SOT 393478 SOS 167666 HAS SOPS 159618 HAS SOUS 5655 HAS SOUPS 5539 WITH SCORE 5706.666
AT ITER 1082 NEW BEST:: SOT 393475 SOS 167660 HAS SOPS 159612 HAS SOUS 5649 HAS SOUPS 5533 WITH SCORE 5700.66
AT ITER 1087 NEW BEST:: SOT 393455 SOS 167630 HAS SOPS 159582 HAS SOUS 5649 HAS SOUPS 5533 WITH SCORE 5700.63
AT ITER 1094 NEW BEST:: SOT 393455 SOS 167615 HAS SOPS 159567 HAS SOUS 5649 HAS SOUPS 5533 WITH SCORE 5700.615
AT ITER 1133 NEW BEST:: SOT 393455 SOS 167614 HAS SOPS 159566 HAS SOUS 5648 HAS SOUPS 5532 WITH SCORE 5699.614
AT ITER 1146 NEW BEST:: SOT 393455 SOS 170578 HAS SOPS 162530 HAS SOUS 5639 HAS SOUPS 5523 WITH SCORE 5693.578
AT ITER 1167 NEW BEST:: SOT 393456 SOS 170580 HAS SOPS 162532 HAS SOUS 5637 HAS SOUPS 5521 WITH SCORE 5691.58
AT ITER 1173 NEW BEST:: SOT 393451 SOS 170586 HAS SOPS 162538 HAS SOUS 5635 HAS SOUPS 5519 WITH SCORE 5689.586
AT ITER 1192 NEW BEST:: SOT 393449 SOS 165890 HAS SOPS 157842 HAS SOUS 5627 HAS SOUPS 5511 WITH SCORE 5676.89
AT ITER 1286 NEW BEST:: SOT 393447 SOS 164872 HAS SOPS 156820 HAS SOUS 5619 HAS SOUPS 5503 WITH SCORE 5667.872
AT ITER 1354 NEW BEST:: SOT 393446 SOS 164870 HAS SOPS 156818 HAS SOUS 5618 HAS SOUPS 5502 WITH SCORE 5666.87
AT ITER 1364 NEW BEST:: SOT 393442 SOS 155636 HAS SOPS 147584 HAS SOUS 5614 HAS SOUPS 5498 WITH SCORE 5653.636
AT ITER 1382 NEW BEST:: SOT 393438 SOS 155636 HAS SOPS 147584 HAS SOUS 5610 HAS SOUPS 5494 WITH SCORE 5649.636
AT ITER 1388 NEW BEST:: SOT 393433 SOS 155636 HAS SOPS 147584 HAS SOUS 5605 HAS SOUPS 5489 WITH SCORE 5644.636
AT ITER 1397 NEW BEST:: SOT 393435 SOS 155640 HAS SOPS 147481 HAS SOUS 5572 HAS SOUPS 5456 WITH SCORE 5611.64
AT ITER 1405 NEW BEST:: SOT 393417 SOS 155624 HAS SOPS 147465 HAS SOUS 5572 HAS SOUPS 5456 WITH SCORE 5611.624
AT ITER 1415 NEW BEST:: SOT 393411 SOS 156423 HAS SOPS 147414 HAS SOUS 5567 HAS SOUPS 5432 WITH SCORE 5588.423
AT ITER 1417 NEW BEST:: SOT 393356 SOS 156341 HAS SOPS 147350 HAS SOUS 5546 HAS SOUPS 5411 WITH SCORE 5567.341
AT ITER 1423 NEW BEST:: SOT 393362 SOS 142471 HAS SOPS 133480 HAS SOUS 5551 HAS SOUPS 5416 WITH SCORE 5558.471
AT ITER 1434 NEW BEST:: SOT 393338 SOS 158938 HAS SOPS 149947 HAS SOUS 5528 HAS SOUPS 5393 WITH SCORE 5551.938
AT ITER 1439 NEW BEST:: SOT 393336 SOS 158939 HAS SOPS 149946 HAS SOUS 5527 HAS SOUPS 5392 WITH SCORE 5550.939
AT ITER 1449 NEW BEST:: SOT 393336 SOS 158935 HAS SOPS 149946 HAS SOUS 5527 HAS SOUPS 5392 WITH SCORE 5550.935
AT ITER 1452 NEW BEST:: SOT 393332 SOS 158927 HAS SOPS 149938 HAS SOUS 5523 HAS SOUPS 5388 WITH SCORE 5546.927
AT ITER 1500 NEW BEST:: SOT 393335 SOS 158883 HAS SOPS 149900 HAS SOUS 5496 HAS SOUPS 5361 WITH SCORE 5519.883
AT ITER 1512 NEW BEST:: SOT 393335 SOS 158879 HAS SOPS 149896 HAS SOUS 5492 HAS SOUPS 5357 WITH SCORE 5515.879
AT ITER 1533 NEW BEST:: SOT 393338 SOS 158884 HAS SOPS 149882 HAS SOUS 5478 HAS SOUPS 5343 WITH SCORE 5501.884
AT ITER 1552 NEW BEST:: SOT 393342 SOS 148396 HAS SOPS 139410 HAS SOUS 5482 HAS SOUPS 5347 WITH SCORE 5495.396
AT ITER 1604 NEW BEST:: SOT 393342 SOS 148380 HAS SOPS 139402 HAS SOUS 5474 HAS SOUPS 5339 WITH SCORE 5487.38
AT ITER 1649 NEW BEST:: SOT 393342 SOS 148364 HAS SOPS 139394 HAS SOUS 5474 HAS SOUPS 5339 WITH SCORE 5487.364
AT ITER 1672 NEW BEST:: SOT 393338 SOS 148360 HAS SOPS 139651 HAS SOUS 5469 HAS SOUPS 5334 WITH SCORE 5482.36
AT ITER 1740 NEW BEST:: SOT 393324 SOS 148970 HAS SOPS 140232 HAS SOUS 5453 HAS SOUPS 5318 WITH SCORE 5466.97
AT ITER 1785 NEW BEST:: SOT 393361 SOS 148884 HAS SOPS 140218 HAS SOUS 5438 HAS SOUPS 5303 WITH SCORE 5451.884
AT ITER 1799 NEW BEST:: SOT 393475 SOS 148866 HAS SOPS 140202 HAS SOUS 5393 HAS SOUPS 5258 WITH SCORE 5406.866
AT ITER 1805 NEW BEST:: SOT 393463 SOS 148860 HAS SOPS 139941 HAS SOUS 5310 HAS SOUPS 5175 WITH SCORE 5323.86
AT ITER 1870 NEW BEST:: SOT 393464 SOS 148866 HAS SOPS 139939 HAS SOUS 5308 HAS SOUPS 5173 WITH SCORE 5321.866
AT ITER 1886 NEW BEST:: SOT 393461 SOS 148857 HAS SOPS 139930 HAS SOUS 5305 HAS SOUPS 5170 WITH SCORE 5318.857
AT ITER 1897 NEW BEST:: SOT 393447 SOS 148849 HAS SOPS 139922 HAS SOUS 5301 HAS SOUPS 5166 WITH SCORE 5314.849
AT ITER 1905 NEW BEST:: SOT 393445 SOS 148871 HAS SOPS 139942 HAS SOUS 5299 HAS SOUPS 5164 WITH SCORE 5312.871
AT ITER 1910 NEW BEST:: SOT 393439 SOS 148859 HAS SOPS 139930 HAS SOUS 5293 HAS SOUPS 5158 WITH SCORE 5306.859
AT ITER 1915 NEW BEST:: SOT 389814 SOS 153877 HAS SOPS 146314 HAS SOUS 5218 HAS SOUPS 5083 WITH SCORE 5236.877
AT ITER 1918 NEW BEST:: SOT 389842 SOS 153877 HAS SOPS 146314 HAS SOUS 5212 HAS SOUPS 5077 WITH SCORE 5230.877
AT ITER 1933 NEW BEST:: SOT 389842 SOS 153875 HAS SOPS 146312 HAS SOUS 5211 HAS SOUPS 5076 WITH SCORE 5229.875
AT ITER 1954 NEW BEST:: SOT 389848 SOS 153868 HAS SOPS 146312 HAS SOUS 5211 HAS SOUPS 5076 WITH SCORE 5229.868
AT ITER 2013 NEW BEST:: SOT 389852 SOS 152788 HAS SOPS 145236 HAS SOUS 5209 HAS SOUPS 5074 WITH SCORE 5226.7880000000005
AT ITER 2029 NEW BEST:: SOT 389852 SOS 152786 HAS SOPS 145238 HAS SOUS 5209 HAS SOUPS 5074 WITH SCORE 5226.786
AT ITER 2036 NEW BEST:: SOT 389883 SOS 152742 HAS SOPS 145224 HAS SOUS 5194 HAS SOUPS 5059 WITH SCORE 5211.742
AT ITER 2037 NEW BEST:: SOT 389883 SOS 152742 HAS SOPS 145224 HAS SOUS 5192 HAS SOUPS 5057 WITH SCORE 5209.742
AT ITER 2041 NEW BEST:: SOT 389889 SOS 152741 HAS SOPS 145229 HAS SOUS 5187 HAS SOUPS 5056 WITH SCORE 5208.741
AT ITER 2043 NEW BEST:: SOT 389886 SOS 152735 HAS SOPS 145223 HAS SOUS 5178 HAS SOUPS 5047 WITH SCORE 5199.735
AT ITER 2060 NEW BEST:: SOT 389832 SOS 152737 HAS SOPS 145195 HAS SOUS 5144 HAS SOUPS 5013 WITH SCORE 5165.737
AT ITER 2063 NEW BEST:: SOT 389832 SOS 152737 HAS SOPS 145195 HAS SOUS 5141 HAS SOUPS 5010 WITH SCORE 5162.737
AT ITER 2093 NEW BEST:: SOT 389831 SOS 152736 HAS SOPS 145193 HAS SOUS 5139 HAS SOUPS 5008 WITH SCORE 5160.736
AT ITER 2112 NEW BEST:: SOT 389827 SOS 152728 HAS SOPS 145185 HAS SOUS 5136 HAS SOUPS 5005 WITH SCORE 5157.728
AT ITER 2120 NEW BEST:: SOT 389828 SOS 152726 HAS SOPS 145183 HAS SOUS 5135 HAS SOUPS 5004 WITH SCORE 5156.726
AT ITER 2124 NEW BEST:: SOT 389806 SOS 152722 HAS SOPS 145179 HAS SOUS 5131 HAS SOUPS 5000 WITH SCORE 5152.722
AT ITER 2130 NEW BEST:: SOT 390112 SOS 153028 HAS SOPS 145553 HAS SOUS 4983 HAS SOUPS 4852 WITH SCORE 5005.028
AT ITER 2132 NEW BEST:: SOT 390109 SOS 153025 HAS SOPS 145547 HAS SOUS 4977 HAS SOUPS 4846 WITH SCORE 4999.025
AT ITER 2143 NEW BEST:: SOT 390108 SOS 153027 HAS SOPS 145549 HAS SOUS 4976 HAS SOUPS 4845 WITH SCORE 4998.027
AT ITER 2155 NEW BEST:: SOT 390102 SOS 151467 HAS SOPS 143985 HAS SOUS 4972 HAS SOUPS 4841 WITH SCORE 4992.467
AT ITER 2162 NEW BEST:: SOT 390100 SOS 151496 HAS SOPS 144003 HAS SOUS 4970 HAS SOUPS 4839 WITH SCORE 4990.496
AT ITER 2171 NEW BEST:: SOT 390099 SOS 151495 HAS SOPS 144002 HAS SOUS 4970 HAS SOUPS 4839 WITH SCORE 4990.495
AT ITER 2179 NEW BEST:: SOT 390107 SOS 147356 HAS SOPS 139863 HAS SOUS 4973 HAS SOUPS 4842 WITH SCORE 4989.356
AT ITER 2181 NEW BEST:: SOT 390103 SOS 147127 HAS SOPS 139863 HAS SOUS 4968 HAS SOUPS 4842 WITH SCORE 4989.127
AT ITER 2188 NEW BEST:: SOT 390106 SOS 147117 HAS SOPS 139853 HAS SOUS 4966 HAS SOUPS 4840 WITH SCORE 4987.117
AT ITER 2222 NEW BEST:: SOT 390097 SOS 147111 HAS SOPS 139847 HAS SOUS 4966 HAS SOUPS 4840 WITH SCORE 4987.111
AT ITER 2225 NEW BEST:: SOT 390097 SOS 147110 HAS SOPS 139846 HAS SOUS 4966 HAS SOUPS 4840 WITH SCORE 4987.11
AT ITER 2271 NEW BEST:: SOT 390097 SOS 147104 HAS SOPS 139846 HAS SOUS 4966 HAS SOUPS 4840 WITH SCORE 4987.104
AT ITER 2272 NEW BEST:: SOT 390092 SOS 147099 HAS SOPS 139841 HAS SOUS 4961 HAS SOUPS 4835 WITH SCORE 4982.099
AT ITER 2276 NEW BEST:: SOT 390090 SOS 147095 HAS SOPS 139837 HAS SOUS 4959 HAS SOUPS 4833 WITH SCORE 4980.095
AT ITER 2287 NEW BEST:: SOT 390086 SOS 147087 HAS SOPS 139829 HAS SOUS 4955 HAS SOUPS 4829 WITH SCORE 4976.0869999999995
AT ITER 2292 NEW BEST:: SOT 390088 SOS 147083 HAS SOPS 139829 HAS SOUS 4953 HAS SOUPS 4827 WITH SCORE 4974.083
AT ITER 2338 NEW BEST:: SOT 389958 SOS 147007 HAS SOPS 139753 HAS SOUS 4937 HAS SOUPS 4811 WITH SCORE 4958.007
AT ITER 2352 NEW BEST:: SOT 389953 SOS 147002 HAS SOPS 139748 HAS SOUS 4932 HAS SOUPS 4806 WITH SCORE 4953.002
AT ITER 2360 NEW BEST:: SOT 389951 SOS 147004 HAS SOPS 139750 HAS SOUS 4931 HAS SOUPS 4805 WITH SCORE 4952.004
AT ITER 2373 NEW BEST:: SOT 389933 SOS 147092 HAS SOPS 139350 HAS SOUS 4868 HAS SOUPS 4742 WITH SCORE 4889.092
AT ITER 2422 NEW BEST:: SOT 389921 SOS 147946 HAS SOPS 139042 HAS SOUS 4846 HAS SOUPS 4719 WITH SCORE 4866.946
AT ITER 2445 NEW BEST:: SOT 389923 SOS 147944 HAS SOPS 139040 HAS SOUS 4843 HAS SOUPS 4716 WITH SCORE 4863.944
AT ITER 2535 NEW BEST:: SOT 389919 SOS 147940 HAS SOPS 138660 HAS SOUS 4809 HAS SOUPS 4682 WITH SCORE 4829.94
AT ITER 2612 NEW BEST:: SOT 390021 SOS 147970 HAS SOPS 138690 HAS SOUS 4783 HAS SOUPS 4656 WITH SCORE 4803.97
AT ITER 2651 NEW BEST:: SOT 390016 SOS 147960 HAS SOPS 138680 HAS SOUS 4780 HAS SOUPS 4653 WITH SCORE 4800.96
AT ITER 2685 NEW BEST:: SOT 390016 SOS 147956 HAS SOPS 138680 HAS SOUS 4780 HAS SOUPS 4653 WITH SCORE 4800.956
AT ITER 2706 NEW BEST:: SOT 390032 SOS 147956 HAS SOPS 138680 HAS SOUS 4764 HAS SOUPS 4637 WITH SCORE 4784.956
AT ITER 2722 NEW BEST:: SOT 389920 SOS 147922 HAS SOPS 138576 HAS SOUS 4764 HAS SOUPS 4637 WITH SCORE 4784.922
AT ITER 2779 NEW BEST:: SOT 389981 SOS 147900 HAS SOPS 138612 HAS SOUS 4751 HAS SOUPS 4624 WITH SCORE 4771.9
AT ITER 2799 NEW BEST:: SOT 390041 SOS 147945 HAS SOPS 138657 HAS SOUS 4746 HAS SOUPS 4619 WITH SCORE 4766.945
AT ITER 2800 NEW BEST:: SOT 390040 SOS 147943 HAS SOPS 138655 HAS SOUS 4743 HAS SOUPS 4616 WITH SCORE 4763.943
AT ITER 2842 NEW BEST:: SOT 390040 SOS 147943 HAS SOPS 138655 HAS SOUS 4742 HAS SOUPS 4615 WITH SCORE 4762.943
AT ITER 2860 NEW BEST:: SOT 390039 SOS 147942 HAS SOPS 138654 HAS SOUS 4741 HAS SOUPS 4614 WITH SCORE 4761.942
AT ITER 2875 NEW BEST:: SOT 390039 SOS 147942 HAS SOPS 138654 HAS SOUS 4740 HAS SOUPS 4613 WITH SCORE 4760.942
AT ITER 2912 NEW BEST:: SOT 390038 SOS 147942 HAS SOPS 138653 HAS SOUS 4739 HAS SOUPS 4612 WITH SCORE 4759.942
AT ITER 2931 NEW BEST:: SOT 390035 SOS 147940 HAS SOPS 138651 HAS SOUS 4738 HAS SOUPS 4611 WITH SCORE 4758.94
AT ITER 2942 NEW BEST:: SOT 390035 SOS 156832 HAS SOPS 147543 HAS SOUS 4726 HAS SOUPS 4599 WITH SCORE 4755.832
AT ITER 2951 NEW BEST:: SOT 390021 SOS 156818 HAS SOPS 147529 HAS SOUS 4726 HAS SOUPS 4599 WITH SCORE 4755.818
AT ITER 2964 NEW BEST:: SOT 390016 SOS 156808 HAS SOPS 147519 HAS SOUS 4716 HAS SOUPS 4589 WITH SCORE 4745.808
AT ITER 2965 NEW BEST:: SOT 390004 SOS 156792 HAS SOPS 147503 HAS SOUS 4713 HAS SOUPS 4586 WITH SCORE 4742.792
AT ITER 2988 NEW BEST:: SOT 389988 SOS 156778 HAS SOPS 147517 HAS SOUS 4699 HAS SOUPS 4572 WITH SCORE 4728.778
AT ITER 3010 NEW BEST:: SOT 389990 SOS 156777 HAS SOPS 147517 HAS SOUS 4698 HAS SOUPS 4571 WITH SCORE 4727.777
AT ITER 3021 NEW BEST:: SOT 389986 SOS 156775 HAS SOPS 147513 HAS SOUS 4698 HAS SOUPS 4571 WITH SCORE 4727.775
AT ITER 3115 NEW BEST:: SOT 389986 SOS 156774 HAS SOPS 147512 HAS SOUS 4697 HAS SOUPS 4570 WITH SCORE 4726.774
AT ITER 3128 NEW BEST:: SOT 389964 SOS 156752 HAS SOPS 147490 HAS SOUS 4697 HAS SOUPS 4570 WITH SCORE 4726.752
AT ITER 3233 NEW BEST:: SOT 389964 SOS 156749 HAS SOPS 147481 HAS SOUS 4694 HAS SOUPS 4567 WITH SCORE 4723.749
AT ITER 3289 NEW BEST:: SOT 389964 SOS 156747 HAS SOPS 147480 HAS SOUS 4694 HAS SOUPS 4567 WITH SCORE 4723.747
AT ITER 3301 NEW BEST:: SOT 389958 SOS 162109 HAS SOPS 152836 HAS SOUS 4688 HAS SOUPS 4561 WITH SCORE 4723.109
AT ITER 3420 NEW BEST:: SOT 389958 SOS 162091 HAS SOPS 152818 HAS SOUS 4679 HAS SOUPS 4552 WITH SCORE 4714.091
AT ITER 3476 NEW BEST:: SOT 389957 SOS 161349 HAS SOPS 152076 HAS SOUS 4679 HAS SOUPS 4552 WITH SCORE 4713.349
AT ITER 3512 NEW BEST:: SOT 389933 SOS 161341 HAS SOPS 152068 HAS SOUS 4679 HAS SOUPS 4552 WITH SCORE 4713.341
AT ITER 3558 NEW BEST:: SOT 389932 SOS 161339 HAS SOPS 152066 HAS SOUS 4677 HAS SOUPS 4550 WITH SCORE 4711.339
AT ITER 3646 NEW BEST:: SOT 389920 SOS 161335 HAS SOPS 152062 HAS SOUS 4677 HAS SOUPS 4550 WITH SCORE 4711.335
AT ITER 3785 NEW BEST:: SOT 389913 SOS 161317 HAS SOPS 152048 HAS SOUS 4675 HAS SOUPS 4548 WITH SCORE 4709.317
AT ITER 3792 NEW BEST:: SOT 389905 SOS 162479 HAS SOPS 151752 HAS SOUS 4668 HAS SOUPS 4540 WITH SCORE 4702.479
AT ITER 3804 NEW BEST:: SOT 389906 SOS 162479 HAS SOPS 151752 HAS SOUS 4666 HAS SOUPS 4538 WITH SCORE 4700.479
AT ITER 3820 NEW BEST:: SOT 389906 SOS 162478 HAS SOPS 151751 HAS SOUS 4665 HAS SOUPS 4537 WITH SCORE 4699.478
AT ITER 3873 NEW BEST:: SOT 389899 SOS 162476 HAS SOPS 151743 HAS SOUS 4664 HAS SOUPS 4536 WITH SCORE 4698.476
AT ITER 3914 NEW BEST:: SOT 389894 SOS 162474 HAS SOPS 151741 HAS SOUS 4662 HAS SOUPS 4534 WITH SCORE 4696.474
AT ITER 3983 NEW BEST:: SOT 389891 SOS 162468 HAS SOPS 151735 HAS SOUS 4659 HAS SOUPS 4531 WITH SCORE 4693.468
AT ITER 4085 NEW BEST:: SOT 389887 SOS 163931 HAS SOPS 151268 HAS SOUS 4654 HAS SOUPS 4525 WITH SCORE 4688.931
AT ITER 4121 NEW BEST:: SOT 389868 SOS 163912 HAS SOPS 151244 HAS SOUS 4644 HAS SOUPS 4515 WITH SCORE 4678.912
AT ITER 4164 NEW BEST:: SOT 389864 SOS 163908 HAS SOPS 151240 HAS SOUS 4644 HAS SOUPS 4515 WITH SCORE 4678.908
AT ITER 4188 NEW BEST:: SOT 389862 SOS 163907 HAS SOPS 151239 HAS SOUS 4643 HAS SOUPS 4514 WITH SCORE 4677.907
AT ITER 4278 NEW BEST:: SOT 389862 SOS 163906 HAS SOPS 151238 HAS SOUS 4643 HAS SOUPS 4514 WITH SCORE 4677.906
AT ITER 4316 NEW BEST:: SOT 389903 SOS 163895 HAS SOPS 151222 HAS SOUS 4635 HAS SOUPS 4506 WITH SCORE 4669.895
AT ITER 4322 NEW BEST:: SOT 389883 SOS 174047 HAS SOPS 153654 HAS SOUS 4622 HAS SOUPS 4489 WITH SCORE 4663.047
AT ITER 4361 NEW BEST:: SOT 389882 SOS 172565 HAS SOPS 152172 HAS SOUS 4623 HAS SOUPS 4490 WITH SCORE 4662.565
AT ITER 4381 NEW BEST:: SOT 389881 SOS 172563 HAS SOPS 152170 HAS SOUS 4623 HAS SOUPS 4490 WITH SCORE 4662.563
AT ITER 4440 NEW BEST:: SOT 389879 SOS 172568 HAS SOPS 152180 HAS SOUS 4621 HAS SOUPS 4488 WITH SCORE 4660.568
AT ITER 4563 NEW BEST:: SOT 389871 SOS 172564 HAS SOPS 152176 HAS SOUS 4618 HAS SOUPS 4485 WITH SCORE 4657.564
AT ITER 4677 NEW BEST:: SOT 389869 SOS 172564 HAS SOPS 152174 HAS SOUS 4614 HAS SOUPS 4481 WITH SCORE 4653.564
AT ITER 4690 NEW BEST:: SOT 389869 SOS 172562 HAS SOPS 152172 HAS SOUS 4613 HAS SOUPS 4480 WITH SCORE 4652.562
AT ITER 4707 NEW BEST:: SOT 389844 SOS 172538 HAS SOPS 152148 HAS SOUS 4602 HAS SOUPS 4469 WITH SCORE 4641.5380000000005
AT ITER 4735 NEW BEST:: SOT 389916 SOS 172542 HAS SOPS 152152 HAS SOUS 4575 HAS SOUPS 4442 WITH SCORE 4614.542
AT ITER 4747 NEW BEST:: SOT 389916 SOS 172014 HAS SOPS 151624 HAS SOUS 4575 HAS SOUPS 4442 WITH SCORE 4614.014
AT ITER 4763 NEW BEST:: SOT 389913 SOS 174761 HAS SOPS 151899 HAS SOUS 4571 HAS SOUPS 4437 WITH SCORE 4611.761
AT ITER 4780 NEW BEST:: SOT 389913 SOS 175513 HAS SOPS 152631 HAS SOUS 4564 HAS SOUPS 4430 WITH SCORE 4605.513
AT ITER 4782 NEW BEST:: SOT 389913 SOS 175507 HAS SOPS 152631 HAS SOUS 4564 HAS SOUPS 4430 WITH SCORE 4605.507
AT ITER 4890 NEW BEST:: SOT 389915 SOS 175512 HAS SOPS 152336 HAS SOUS 4559 HAS SOUPS 4425 WITH SCORE 4600.512
AT ITER 4997 NEW BEST:: SOT 389916 SOS 175508 HAS SOPS 152332 HAS SOUS 4558 HAS SOUPS 4424 WITH SCORE 4599.508
AT ITER 5033 NEW BEST:: SOT 389906 SOS 179488 HAS SOPS 156302 HAS SOUS 4553 HAS SOUPS 4419 WITH SCORE 4598.488
AT ITER 5167 NEW BEST:: SOT 389906 SOS 179476 HAS SOPS 156290 HAS SOUS 4547 HAS SOUPS 4413 WITH SCORE 4592.476
AT ITER 5217 NEW BEST:: SOT 389898 SOS 179468 HAS SOPS 156584 HAS SOUS 4544 HAS SOUPS 4410 WITH SCORE 4589.468
AT ITER 5234 NEW BEST:: SOT 389883 SOS 179447 HAS SOPS 157034 HAS SOUS 4530 HAS SOUPS 4396 WITH SCORE 4575.447
AT ITER 5258 NEW BEST:: SOT 389883 SOS 179442 HAS SOPS 157029 HAS SOUS 4529 HAS SOUPS 4395 WITH SCORE 4574.442
AT ITER 5264 NEW BEST:: SOT 389882 SOS 179440 HAS SOPS 157027 HAS SOUS 4528 HAS SOUPS 4394 WITH SCORE 4573.44
AT ITER 5273 NEW BEST:: SOT 389882 SOS 179344 HAS SOPS 153523 HAS SOUS 4524 HAS SOUPS 4390 WITH SCORE 4569.344
AT ITER 5378 NEW BEST:: SOT 389883 SOS 179346 HAS SOPS 153519 HAS SOUS 4522 HAS SOUPS 4388 WITH SCORE 4567.346
AT ITER 5473 NEW BEST:: SOT 389881 SOS 179342 HAS SOPS 153515 HAS SOUS 4520 HAS SOUPS 4386 WITH SCORE 4565.342
AT ITER 5503 NEW BEST:: SOT 389875 SOS 179336 HAS SOPS 154797 HAS SOUS 4520 HAS SOUPS 4386 WITH SCORE 4565.336
AT ITER 5539 NEW BEST:: SOT 389875 SOS 179332 HAS SOPS 154793 HAS SOUS 4518 HAS SOUPS 4384 WITH SCORE 4563.332
AT ITER 5763 NEW BEST:: SOT 389869 SOS 179338 HAS SOPS 154799 HAS SOUS 4515 HAS SOUPS 4381 WITH SCORE 4560.338
AT ITER 5809 NEW BEST:: SOT 389867 SOS 176718 HAS SOPS 152179 HAS SOUS 4517 HAS SOUPS 4383 WITH SCORE 4559.718
AT ITER 5860 NEW BEST:: SOT 389867 SOS 176716 HAS SOPS 152179 HAS SOUS 4517 HAS SOUPS 4383 WITH SCORE 4559.716
AT ITER 5994 NEW BEST:: SOT 389865 SOS 176715 HAS SOPS 152177 HAS SOUS 4516 HAS SOUPS 4382 WITH SCORE 4558.715
AT ITER 6058 NEW BEST:: SOT 389864 SOS 176714 HAS SOPS 152176 HAS SOUS 4515 HAS SOUPS 4381 WITH SCORE 4557.714
AT ITER 6086 NEW BEST:: SOT 389863 SOS 176711 HAS SOPS 152990 HAS SOUS 4514 HAS SOUPS 4380 WITH SCORE 4556.711
AT ITER 6151 NEW BEST:: SOT 389863 SOS 176709 HAS SOPS 152989 HAS SOUS 4514 HAS SOUPS 4380 WITH SCORE 4556.709
AT ITER 6300 NEW BEST:: SOT 389863 SOS 176702 HAS SOPS 152985 HAS SOUS 4513 HAS SOUPS 4379 WITH SCORE 4555.702
AT ITER 6335 NEW BEST:: SOT 389864 SOS 176702 HAS SOPS 152985 HAS SOUS 4512 HAS SOUPS 4378 WITH SCORE 4554.702
AT ITER 6379 NEW BEST:: SOT 389862 SOS 178011 HAS SOPS 154293 HAS SOUS 4510 HAS SOUPS 4376 WITH SCORE 4554.011
AT ITER 6395 NEW BEST:: SOT 389862 SOS 178001 HAS SOPS 154288 HAS SOUS 4510 HAS SOUPS 4376 WITH SCORE 4554.001
AT ITER 6459 NEW BEST:: SOT 389864 SOS 178001 HAS SOPS 154288 HAS SOUS 4509 HAS SOUPS 4375 WITH SCORE 4553.001
AT ITER 6498 NEW BEST:: SOT 389863 SOS 177995 HAS SOPS 154282 HAS SOUS 4506 HAS SOUPS 4372 WITH SCORE 4549.995
AT ITER 6588 NEW BEST:: SOT 389835 SOS 177977 HAS SOPS 154258 HAS SOUS 4504 HAS SOUPS 4370 WITH SCORE 4547.977
AT ITER 6823 NEW BEST:: SOT 389834 SOS 177975 HAS SOPS 154256 HAS SOUS 4502 HAS SOUPS 4368 WITH SCORE 4545.975
AT ITER 6912 NEW BEST:: SOT 389834 SOS 177973 HAS SOPS 154256 HAS SOUS 4502 HAS SOUPS 4368 WITH SCORE 4545.973
AT ITER 7222 NEW BEST:: SOT 389831 SOS 177972 HAS SOPS 154254 HAS SOUS 4500 HAS SOUPS 4366 WITH SCORE 4543.972
AT ITER 7257 NEW BEST:: SOT 389836 SOS 177970 HAS SOPS 154258 HAS SOUS 4499 HAS SOUPS 4365 WITH SCORE 4542.97
AT ITER 7268 NEW BEST:: SOT 389833 SOS 177964 HAS SOPS 154252 HAS SOUS 4497 HAS SOUPS 4363 WITH SCORE 4540.964
AT ITER 7461 NEW BEST:: SOT 389834 SOS 177962 HAS SOPS 154250 HAS SOUS 4497 HAS SOUPS 4363 WITH SCORE 4540.962
AT ITER 7489 NEW BEST:: SOT 389834 SOS 177962 HAS SOPS 154250 HAS SOUS 4494 HAS SOUPS 4360 WITH SCORE 4537.962
AT ITER 7784 NEW BEST:: SOT 389830 SOS 177970 HAS SOPS 152428 HAS SOUS 4482 HAS SOUPS 4348 WITH SCORE 4525.97
AT ITER 7834 NEW BEST:: SOT 389828 SOS 177969 HAS SOPS 152427 HAS SOUS 4482 HAS SOUPS 4348 WITH SCORE 4525.969
AT ITER 8002 NEW BEST:: SOT 389834 SOS 177975 HAS SOPS 152337 HAS SOUS 4472 HAS SOUPS 4338 WITH SCORE 4515.975
AT ITER 8010 NEW BEST:: SOT 389835 SOS 177977 HAS SOPS 152333 HAS SOUS 4470 HAS SOUPS 4336 WITH SCORE 4513.977
AT ITER 8103 NEW BEST:: SOT 389836 SOS 177178 HAS SOPS 151535 HAS SOUS 4469 HAS SOUPS 4335 WITH SCORE 4512.178
AT ITER 8432 NEW BEST:: SOT 389853 SOS 177194 HAS SOPS 151551 HAS SOUS 4468 HAS SOUPS 4334 WITH SCORE 4511.194
AT ITER 8517 NEW BEST:: SOT 389853 SOS 177177 HAS SOPS 151534 HAS SOUS 4468 HAS SOUPS 4334 WITH SCORE 4511.177
AT ITER 8551 NEW BEST:: SOT 389839 SOS 177169 HAS SOPS 151526 HAS SOUS 4465 HAS SOUPS 4331 WITH SCORE 4508.169
AT ITER 8866 NEW BEST:: SOT 389843 SOS 177167 HAS SOPS 151526 HAS SOUS 4463 HAS SOUPS 4329 WITH SCORE 4506.167
AT ITER 8876 NEW BEST:: SOT 389844 SOS 177164 HAS SOPS 151525 HAS SOUS 4461 HAS SOUPS 4329 WITH SCORE 4506.164
AT ITER 9034 NEW BEST:: SOT 389844 SOS 177164 HAS SOPS 151521 HAS SOUS 4459 HAS SOUPS 4327 WITH SCORE 4504.164
AT ITER 9417 NEW BEST:: SOT 389845 SOS 177162 HAS SOPS 151521 HAS SOUS 4457 HAS SOUPS 4325 WITH SCORE 4502.162
AT ITER 9497 NEW BEST:: SOT 389844 SOS 175852 HAS SOPS 150211 HAS SOUS 4458 HAS SOUPS 4326 WITH SCORE 4501.852
AT ITER 9789 NEW BEST:: SOT 389841 SOS 178470 HAS SOPS 152825 HAS SOUS 4455 HAS SOUPS 4323 WITH SCORE 4501.47
AT ITER 9991 NEW BEST:: SOT 389836 SOS 178468 HAS SOPS 152823 HAS SOUS 4455 HAS SOUPS 4323 WITH SCORE 4501.468
STATE_SPACE STATES 462753 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 6584234 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1679456227314
--------------------
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
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="StigmergyElection-PT-08a"
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 StigmergyElection-PT-08a, 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 r459-smll-167912651500656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-08a.tgz
mv StigmergyElection-PT-08a 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 ;