About the Execution of Smart+red for DiscoveryGPU-PT-09b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9851.779 | 3600000.00 | 3627266.00 | 9636.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r139-smll-167819422700344.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 DiscoveryGPU-PT-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422700344
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 6.5K Feb 25 13:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 13:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 13:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 13:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 13:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 13:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 13:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 68K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678372568493
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=DiscoveryGPU-PT-09b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 14:36:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 14:36:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 14:36:11] [INFO ] Load time of PNML (sax parser for PT used): 117 ms
[2023-03-09 14:36:11] [INFO ] Transformed 268 places.
[2023-03-09 14:36:11] [INFO ] Transformed 284 transitions.
[2023-03-09 14:36:11] [INFO ] Found NUPN structural information;
[2023-03-09 14:36:11] [INFO ] Parsed PT model containing 268 places and 284 transitions and 740 arcs in 376 ms.
[2023-03-09 14:36:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 268 places, 284 transitions and 740 arcs took 13 ms.
Total runtime 454 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 09b
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: 268 places, 284 transitions, 740 arcs.
AT ITER 0 NEW BEST:: SOT 52914 SOS 24985 HAS SOPS 24985 HAS SOUS 22206 HAS SOUPS 22206 WITH SCORE 22230.985
AT ITER 1 NEW BEST:: SOT 52858 SOS 24916 HAS SOPS 24916 HAS SOUS 22148 HAS SOUPS 22148 WITH SCORE 22172.916
AT ITER 2 NEW BEST:: SOT 52858 SOS 24916 HAS SOPS 24916 HAS SOUS 22145 HAS SOUPS 22145 WITH SCORE 22169.916
AT ITER 3 NEW BEST:: SOT 52858 SOS 24874 HAS SOPS 24874 HAS SOUS 22144 HAS SOUPS 22144 WITH SCORE 22168.874
AT ITER 10 NEW BEST:: SOT 52774 SOS 24751 HAS SOPS 24751 HAS SOUS 22021 HAS SOUPS 22021 WITH SCORE 22045.751
AT ITER 11 NEW BEST:: SOT 52694 SOS 24636 HAS SOPS 24636 HAS SOUS 21940 HAS SOUPS 21940 WITH SCORE 21964.636
AT ITER 13 NEW BEST:: SOT 52631 SOS 24510 HAS SOPS 24510 HAS SOUS 21814 HAS SOUPS 21814 WITH SCORE 21838.51
AT ITER 15 NEW BEST:: SOT 52685 SOS 24586 HAS SOPS 24586 HAS SOUS 21812 HAS SOUPS 21812 WITH SCORE 21836.586
AT ITER 19 NEW BEST:: SOT 52629 SOS 24415 HAS SOPS 24415 HAS SOUS 21662 HAS SOUPS 21662 WITH SCORE 21686.415
AT ITER 20 NEW BEST:: SOT 52572 SOS 24358 HAS SOPS 24358 HAS SOUS 21605 HAS SOUPS 21605 WITH SCORE 21629.358
AT ITER 24 NEW BEST:: SOT 52545 SOS 24421 HAS SOPS 24421 HAS SOUS 21578 HAS SOUPS 21578 WITH SCORE 21602.421
AT ITER 33 NEW BEST:: SOT 52520 SOS 24396 HAS SOPS 24396 HAS SOUS 21553 HAS SOUPS 21553 WITH SCORE 21577.396
AT ITER 34 NEW BEST:: SOT 52301 SOS 24197 HAS SOPS 24197 HAS SOUS 21346 HAS SOUPS 21346 WITH SCORE 21370.197
AT ITER 41 NEW BEST:: SOT 52256 SOS 24017 HAS SOPS 24017 HAS SOUS 21301 HAS SOUPS 21301 WITH SCORE 21325.017
AT ITER 45 NEW BEST:: SOT 52276 SOS 24014 HAS SOPS 24014 HAS SOUS 21298 HAS SOUPS 21298 WITH SCORE 21322.014
AT ITER 56 NEW BEST:: SOT 52124 SOS 23711 HAS SOPS 23711 HAS SOUS 20995 HAS SOUPS 20995 WITH SCORE 21018.711
AT ITER 68 NEW BEST:: SOT 52054 SOS 23596 HAS SOPS 23596 HAS SOUS 20880 HAS SOUPS 20880 WITH SCORE 20903.596
AT ITER 69 NEW BEST:: SOT 52054 SOS 23546 HAS SOPS 23546 HAS SOUS 20880 HAS SOUPS 20880 WITH SCORE 20903.546
AT ITER 74 NEW BEST:: SOT 51968 SOS 23474 HAS SOPS 23474 HAS SOUS 20801 HAS SOUPS 20801 WITH SCORE 20824.474
AT ITER 77 NEW BEST:: SOT 51968 SOS 23431 HAS SOPS 23431 HAS SOUS 20758 HAS SOUPS 20758 WITH SCORE 20781.431
AT ITER 84 NEW BEST:: SOT 51940 SOS 23434 HAS SOPS 23434 HAS SOUS 20702 HAS SOUPS 20702 WITH SCORE 20725.434
AT ITER 95 NEW BEST:: SOT 51916 SOS 23386 HAS SOPS 23386 HAS SOUS 20654 HAS SOUPS 20654 WITH SCORE 20677.386
AT ITER 98 NEW BEST:: SOT 51916 SOS 23380 HAS SOPS 23380 HAS SOUS 20652 HAS SOUPS 20652 WITH SCORE 20675.38
AT ITER 105 NEW BEST:: SOT 51852 SOS 23310 HAS SOPS 23310 HAS SOUS 20587 HAS SOUPS 20587 WITH SCORE 20610.31
AT ITER 108 NEW BEST:: SOT 51768 SOS 23258 HAS SOPS 23258 HAS SOUS 20523 HAS SOUPS 20523 WITH SCORE 20546.258
AT ITER 115 NEW BEST:: SOT 51731 SOS 23254 HAS SOPS 23254 HAS SOUS 20519 HAS SOUPS 20519 WITH SCORE 20542.254
AT ITER 117 NEW BEST:: SOT 51730 SOS 23201 HAS SOPS 23201 HAS SOUS 20466 HAS SOUPS 20466 WITH SCORE 20489.201
AT ITER 121 NEW BEST:: SOT 51718 SOS 23189 HAS SOPS 23189 HAS SOUS 20454 HAS SOUPS 20454 WITH SCORE 20477.189
AT ITER 124 NEW BEST:: SOT 51718 SOS 23148 HAS SOPS 23148 HAS SOUS 20453 HAS SOUPS 20453 WITH SCORE 20476.148
AT ITER 125 NEW BEST:: SOT 51699 SOS 23110 HAS SOPS 23110 HAS SOUS 20453 HAS SOUPS 20453 WITH SCORE 20476.11
AT ITER 126 NEW BEST:: SOT 51677 SOS 22991 HAS SOPS 22991 HAS SOUS 20346 HAS SOUPS 20346 WITH SCORE 20368.991
AT ITER 131 NEW BEST:: SOT 51713 SOS 22976 HAS SOPS 22976 HAS SOUS 20276 HAS SOUPS 20276 WITH SCORE 20298.976
AT ITER 134 NEW BEST:: SOT 51713 SOS 22976 HAS SOPS 22976 HAS SOUS 20275 HAS SOUPS 20275 WITH SCORE 20297.976
AT ITER 139 NEW BEST:: SOT 49877 SOS 26437 HAS SOPS 26437 HAS SOUS 18809 HAS SOUPS 18809 WITH SCORE 18835.437
AT ITER 143 NEW BEST:: SOT 49802 SOS 26165 HAS SOPS 26165 HAS SOUS 18656 HAS SOUPS 18656 WITH SCORE 18682.165
AT ITER 155 NEW BEST:: SOT 49739 SOS 26044 HAS SOPS 26044 HAS SOUS 18544 HAS SOUPS 18544 WITH SCORE 18570.044
AT ITER 160 NEW BEST:: SOT 49695 SOS 26000 HAS SOPS 26000 HAS SOUS 18500 HAS SOUPS 18500 WITH SCORE 18526.0
AT ITER 167 NEW BEST:: SOT 49635 SOS 25719 HAS SOPS 25719 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18492.719
AT ITER 177 NEW BEST:: SOT 49580 SOS 25609 HAS SOPS 25609 HAS SOUS 18449 HAS SOUPS 18449 WITH SCORE 18474.609
AT ITER 190 NEW BEST:: SOT 49149 SOS 25690 HAS SOPS 25690 HAS SOUS 18018 HAS SOUPS 18018 WITH SCORE 18043.69
AT ITER 196 NEW BEST:: SOT 49100 SOS 25577 HAS SOPS 25577 HAS SOUS 17905 HAS SOUPS 17905 WITH SCORE 17930.577
AT ITER 198 NEW BEST:: SOT 49083 SOS 25567 HAS SOPS 25567 HAS SOUS 17885 HAS SOUPS 17885 WITH SCORE 17910.567
AT ITER 205 NEW BEST:: SOT 49120 SOS 25563 HAS SOPS 25563 HAS SOUS 17877 HAS SOUPS 17877 WITH SCORE 17902.563
AT ITER 211 NEW BEST:: SOT 49023 SOS 25369 HAS SOPS 25369 HAS SOUS 17779 HAS SOUPS 17779 WITH SCORE 17804.369
AT ITER 214 NEW BEST:: SOT 49023 SOS 25369 HAS SOPS 25369 HAS SOUS 17764 HAS SOUPS 17764 WITH SCORE 17789.369
AT ITER 229 NEW BEST:: SOT 48980 SOS 25305 HAS SOPS 25305 HAS SOUS 17720 HAS SOUPS 17720 WITH SCORE 17745.305
AT ITER 240 NEW BEST:: SOT 48950 SOS 25275 HAS SOPS 25275 HAS SOUS 17690 HAS SOUPS 17690 WITH SCORE 17715.275
AT ITER 251 NEW BEST:: SOT 48881 SOS 25137 HAS SOPS 25137 HAS SOUS 17552 HAS SOUPS 17552 WITH SCORE 17577.137
AT ITER 252 NEW BEST:: SOT 48303 SOS 24732 HAS SOPS 24732 HAS SOUS 17136 HAS SOUPS 17136 WITH SCORE 17160.732
AT ITER 254 NEW BEST:: SOT 48302 SOS 24695 HAS SOPS 24695 HAS SOUS 17127 HAS SOUPS 17127 WITH SCORE 17151.695
AT ITER 256 NEW BEST:: SOT 48273 SOS 24643 HAS SOPS 24643 HAS SOUS 17084 HAS SOUPS 17084 WITH SCORE 17108.643
AT ITER 260 NEW BEST:: SOT 48261 SOS 24626 HAS SOPS 24626 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17097.626
AT ITER 276 NEW BEST:: SOT 48080 SOS 24313 HAS SOPS 24313 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16850.313
AT ITER 277 NEW BEST:: SOT 48079 SOS 24294 HAS SOPS 24294 HAS SOUS 16824 HAS SOUPS 16824 WITH SCORE 16848.294
AT ITER 296 NEW BEST:: SOT 47977 SOS 24141 HAS SOPS 24141 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16746.141
AT ITER 299 NEW BEST:: SOT 47972 SOS 24131 HAS SOPS 24131 HAS SOUS 16703 HAS SOUPS 16703 WITH SCORE 16727.131
AT ITER 301 NEW BEST:: SOT 47937 SOS 23945 HAS SOPS 23945 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16656.945
AT ITER 305 NEW BEST:: SOT 47931 SOS 23933 HAS SOPS 23933 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16649.933
AT ITER 306 NEW BEST:: SOT 47889 SOS 23854 HAS SOPS 23854 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16602.854
AT ITER 310 NEW BEST:: SOT 47784 SOS 23834 HAS SOPS 23834 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16594.834
AT ITER 313 NEW BEST:: SOT 47784 SOS 23823 HAS SOPS 23823 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16594.823
AT ITER 327 NEW BEST:: SOT 47743 SOS 23741 HAS SOPS 23741 HAS SOUS 16524 HAS SOUPS 16524 WITH SCORE 16547.741
AT ITER 332 NEW BEST:: SOT 47743 SOS 23741 HAS SOPS 23741 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16541.741
AT ITER 341 NEW BEST:: SOT 47635 SOS 23513 HAS SOPS 23513 HAS SOUS 16248 HAS SOUPS 16248 WITH SCORE 16271.513
AT ITER 348 NEW BEST:: SOT 47649 SOS 23513 HAS SOPS 23513 HAS SOUS 16156 HAS SOUPS 16156 WITH SCORE 16179.513
AT ITER 350 NEW BEST:: SOT 47656 SOS 23505 HAS SOPS 23505 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16170.505
AT ITER 351 NEW BEST:: SOT 47656 SOS 23436 HAS SOPS 23436 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16170.436
AT ITER 357 NEW BEST:: SOT 47552 SOS 23228 HAS SOPS 23228 HAS SOUS 15991 HAS SOUPS 15991 WITH SCORE 16014.228
AT ITER 362 NEW BEST:: SOT 47490 SOS 23135 HAS SOPS 23135 HAS SOUS 15898 HAS SOUPS 15898 WITH SCORE 15921.135
AT ITER 375 NEW BEST:: SOT 47489 SOS 23134 HAS SOPS 23134 HAS SOUS 15897 HAS SOUPS 15897 WITH SCORE 15920.134
AT ITER 376 NEW BEST:: SOT 47478 SOS 23096 HAS SOPS 23096 HAS SOUS 15875 HAS SOUPS 15875 WITH SCORE 15898.096
AT ITER 385 NEW BEST:: SOT 47448 SOS 23140 HAS SOPS 23140 HAS SOUS 15839 HAS SOUPS 15839 WITH SCORE 15862.14
AT ITER 397 NEW BEST:: SOT 47451 SOS 23140 HAS SOPS 23140 HAS SOUS 15786 HAS SOUPS 15786 WITH SCORE 15809.14
AT ITER 403 NEW BEST:: SOT 47468 SOS 23174 HAS SOPS 23174 HAS SOUS 15773 HAS SOUPS 15773 WITH SCORE 15796.174
AT ITER 410 NEW BEST:: SOT 47401 SOS 23040 HAS SOPS 23040 HAS SOUS 15703 HAS SOUPS 15703 WITH SCORE 15726.04
AT ITER 419 NEW BEST:: SOT 47381 SOS 22913 HAS SOPS 22913 HAS SOUS 15630 HAS SOUPS 15630 WITH SCORE 15652.913
AT ITER 436 NEW BEST:: SOT 47340 SOS 22831 HAS SOPS 22831 HAS SOUS 15548 HAS SOUPS 15548 WITH SCORE 15570.831
AT ITER 439 NEW BEST:: SOT 47289 SOS 22720 HAS SOPS 22720 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15514.72
AT ITER 454 NEW BEST:: SOT 47303 SOS 22719 HAS SOPS 22719 HAS SOUS 15491 HAS SOUPS 15491 WITH SCORE 15513.719
AT ITER 456 NEW BEST:: SOT 47285 SOS 22683 HAS SOPS 22683 HAS SOUS 15473 HAS SOUPS 15473 WITH SCORE 15495.683
AT ITER 464 NEW BEST:: SOT 47285 SOS 22683 HAS SOPS 22683 HAS SOUS 15471 HAS SOUPS 15471 WITH SCORE 15493.683
AT ITER 465 NEW BEST:: SOT 47220 SOS 22553 HAS SOPS 22553 HAS SOUS 15433 HAS SOUPS 15433 WITH SCORE 15455.553
AT ITER 473 NEW BEST:: SOT 47168 SOS 22449 HAS SOPS 22449 HAS SOUS 15329 HAS SOUPS 15329 WITH SCORE 15351.449
AT ITER 479 NEW BEST:: SOT 47124 SOS 22325 HAS SOPS 22325 HAS SOUS 15189 HAS SOUPS 15189 WITH SCORE 15211.325
AT ITER 491 NEW BEST:: SOT 47118 SOS 22319 HAS SOPS 22319 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15205.319
AT ITER 494 NEW BEST:: SOT 47064 SOS 22113 HAS SOPS 22113 HAS SOUS 15067 HAS SOUPS 15067 WITH SCORE 15089.113
AT ITER 495 NEW BEST:: SOT 47058 SOS 21993 HAS SOPS 21993 HAS SOUS 15052 HAS SOUPS 15052 WITH SCORE 15073.993
AT ITER 497 NEW BEST:: SOT 47057 SOS 21983 HAS SOPS 21983 HAS SOUS 15050 HAS SOUPS 15050 WITH SCORE 15071.983
AT ITER 498 NEW BEST:: SOT 47041 SOS 21965 HAS SOPS 21965 HAS SOUS 15032 HAS SOUPS 15032 WITH SCORE 15053.965
AT ITER 499 NEW BEST:: SOT 47041 SOS 21953 HAS SOPS 21953 HAS SOUS 15020 HAS SOUPS 15020 WITH SCORE 15041.953
AT ITER 504 NEW BEST:: SOT 47007 SOS 21885 HAS SOPS 21885 HAS SOUS 14952 HAS SOUPS 14952 WITH SCORE 14973.885
AT ITER 509 NEW BEST:: SOT 47002 SOS 21865 HAS SOPS 21865 HAS SOUS 14942 HAS SOUPS 14942 WITH SCORE 14963.865
AT ITER 512 NEW BEST:: SOT 46941 SOS 21743 HAS SOPS 21743 HAS SOUS 14820 HAS SOUPS 14820 WITH SCORE 14841.743
AT ITER 514 NEW BEST:: SOT 46925 SOS 21719 HAS SOPS 21719 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14817.719
AT ITER 515 NEW BEST:: SOT 46870 SOS 21609 HAS SOPS 21609 HAS SOUS 14771 HAS SOUPS 14771 WITH SCORE 14792.609
AT ITER 516 NEW BEST:: SOT 46839 SOS 21508 HAS SOPS 21508 HAS SOUS 14709 HAS SOUPS 14709 WITH SCORE 14730.508
AT ITER 519 NEW BEST:: SOT 46837 SOS 21506 HAS SOPS 21506 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14728.506
AT ITER 551 NEW BEST:: SOT 46832 SOS 21496 HAS SOPS 21496 HAS SOUS 14706 HAS SOUPS 14706 WITH SCORE 14727.496
AT ITER 557 NEW BEST:: SOT 46824 SOS 21484 HAS SOPS 21484 HAS SOUS 14690 HAS SOUPS 14690 WITH SCORE 14711.484
AT ITER 571 NEW BEST:: SOT 46764 SOS 21414 HAS SOPS 21414 HAS SOUS 14620 HAS SOUPS 14620 WITH SCORE 14641.414
AT ITER 584 NEW BEST:: SOT 46744 SOS 21387 HAS SOPS 21387 HAS SOUS 14580 HAS SOUPS 14580 WITH SCORE 14601.387
AT ITER 586 NEW BEST:: SOT 46692 SOS 21322 HAS SOPS 21322 HAS SOUS 14522 HAS SOUPS 14522 WITH SCORE 14543.322
AT ITER 614 NEW BEST:: SOT 46225 SOS 20963 HAS SOPS 20963 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14103.963
AT ITER 618 NEW BEST:: SOT 46178 SOS 20869 HAS SOPS 20869 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14059.869
AT ITER 620 NEW BEST:: SOT 46171 SOS 20782 HAS SOPS 20782 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14041.782
AT ITER 624 NEW BEST:: SOT 46180 SOS 20700 HAS SOPS 20700 HAS SOUS 13981 HAS SOUPS 13981 WITH SCORE 14001.7
AT ITER 625 NEW BEST:: SOT 46214 SOS 20686 HAS SOPS 20686 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13987.686
AT ITER 639 NEW BEST:: SOT 46166 SOS 20633 HAS SOPS 20633 HAS SOUS 13871 HAS SOUPS 13871 WITH SCORE 13891.633
AT ITER 641 NEW BEST:: SOT 46108 SOS 20517 HAS SOPS 20517 HAS SOUS 13779 HAS SOUPS 13779 WITH SCORE 13799.517
AT ITER 644 NEW BEST:: SOT 46115 SOS 20423 HAS SOPS 20423 HAS SOUS 13735 HAS SOUPS 13735 WITH SCORE 13755.423
AT ITER 658 NEW BEST:: SOT 46074 SOS 20370 HAS SOPS 20370 HAS SOUS 13682 HAS SOUPS 13682 WITH SCORE 13702.37
AT ITER 664 NEW BEST:: SOT 46065 SOS 20352 HAS SOPS 20352 HAS SOUS 13664 HAS SOUPS 13664 WITH SCORE 13684.352
AT ITER 665 NEW BEST:: SOT 46065 SOS 20330 HAS SOPS 20330 HAS SOUS 13664 HAS SOUPS 13664 WITH SCORE 13684.33
AT ITER 673 NEW BEST:: SOT 46063 SOS 20326 HAS SOPS 20326 HAS SOUS 13662 HAS SOUPS 13662 WITH SCORE 13682.326
AT ITER 674 NEW BEST:: SOT 46048 SOS 20296 HAS SOPS 20296 HAS SOUS 13647 HAS SOUPS 13647 WITH SCORE 13667.296
AT ITER 683 NEW BEST:: SOT 46047 SOS 20266 HAS SOPS 20266 HAS SOUS 13631 HAS SOUPS 13631 WITH SCORE 13651.266
AT ITER 684 NEW BEST:: SOT 46041 SOS 20260 HAS SOPS 20260 HAS SOUS 13619 HAS SOUPS 13619 WITH SCORE 13639.26
AT ITER 690 NEW BEST:: SOT 46041 SOS 20260 HAS SOPS 20260 HAS SOUS 13614 HAS SOUPS 13614 WITH SCORE 13634.26
AT ITER 697 NEW BEST:: SOT 46025 SOS 20228 HAS SOPS 20228 HAS SOUS 13582 HAS SOUPS 13582 WITH SCORE 13602.228
AT ITER 704 NEW BEST:: SOT 46025 SOS 20176 HAS SOPS 20176 HAS SOUS 13582 HAS SOUPS 13582 WITH SCORE 13602.176
AT ITER 727 NEW BEST:: SOT 46009 SOS 20131 HAS SOPS 20131 HAS SOUS 13560 HAS SOUPS 13560 WITH SCORE 13580.131
AT ITER 734 NEW BEST:: SOT 46009 SOS 20126 HAS SOPS 20126 HAS SOUS 13555 HAS SOUPS 13555 WITH SCORE 13575.126
AT ITER 747 NEW BEST:: SOT 45973 SOS 20090 HAS SOPS 20090 HAS SOUS 13483 HAS SOUPS 13483 WITH SCORE 13503.09
AT ITER 765 NEW BEST:: SOT 45971 SOS 20088 HAS SOPS 20088 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13499.088
AT ITER 773 NEW BEST:: SOT 45983 SOS 20045 HAS SOPS 20045 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13475.045
AT ITER 781 NEW BEST:: SOT 45912 SOS 19998 HAS SOPS 19998 HAS SOUS 13453 HAS SOUPS 13453 WITH SCORE 13472.998
AT ITER 794 NEW BEST:: SOT 45881 SOS 19936 HAS SOPS 19936 HAS SOUS 13391 HAS SOUPS 13391 WITH SCORE 13410.936
AT ITER 797 NEW BEST:: SOT 45864 SOS 19919 HAS SOPS 19919 HAS SOUS 13357 HAS SOUPS 13357 WITH SCORE 13376.919
AT ITER 802 NEW BEST:: SOT 45828 SOS 19847 HAS SOPS 19847 HAS SOUS 13285 HAS SOUPS 13285 WITH SCORE 13304.847
AT ITER 803 NEW BEST:: SOT 45843 SOS 19877 HAS SOPS 19877 HAS SOUS 13217 HAS SOUPS 13217 WITH SCORE 13236.877
AT ITER 817 NEW BEST:: SOT 45830 SOS 19874 HAS SOPS 19874 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13233.874
AT ITER 832 NEW BEST:: SOT 45814 SOS 19838 HAS SOPS 19838 HAS SOUS 13184 HAS SOUPS 13184 WITH SCORE 13203.838
AT ITER 883 NEW BEST:: SOT 45808 SOS 19924 HAS SOPS 19924 HAS SOUS 13174 HAS SOUPS 13174 WITH SCORE 13193.924
AT ITER 887 NEW BEST:: SOT 45808 SOS 19872 HAS SOPS 19872 HAS SOUS 13174 HAS SOUPS 13174 WITH SCORE 13193.872
AT ITER 896 NEW BEST:: SOT 45806 SOS 19870 HAS SOPS 19870 HAS SOUS 13171 HAS SOUPS 13171 WITH SCORE 13190.87
AT ITER 900 NEW BEST:: SOT 45761 SOS 19732 HAS SOPS 19732 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13078.732
AT ITER 913 NEW BEST:: SOT 45758 SOS 19688 HAS SOPS 19688 HAS SOUS 13052 HAS SOUPS 13052 WITH SCORE 13071.688
AT ITER 922 NEW BEST:: SOT 45752 SOS 19682 HAS SOPS 19682 HAS SOUS 13046 HAS SOUPS 13046 WITH SCORE 13065.682
AT ITER 935 NEW BEST:: SOT 45749 SOS 19676 HAS SOPS 19676 HAS SOUS 13044 HAS SOUPS 13044 WITH SCORE 13063.676
AT ITER 953 NEW BEST:: SOT 45688 SOS 19716 HAS SOPS 19716 HAS SOUS 13029 HAS SOUPS 13029 WITH SCORE 13048.716
AT ITER 981 NEW BEST:: SOT 45688 SOS 19683 HAS SOPS 19683 HAS SOUS 13029 HAS SOUPS 13029 WITH SCORE 13048.683
AT ITER 986 NEW BEST:: SOT 45688 SOS 19655 HAS SOPS 19655 HAS SOUS 13001 HAS SOUPS 13001 WITH SCORE 13020.655
AT ITER 1000 NEW BEST:: SOT 45696 SOS 19596 HAS SOPS 19596 HAS SOUS 12996 HAS SOUPS 12996 WITH SCORE 13015.596
AT ITER 1002 NEW BEST:: SOT 45692 SOS 19592 HAS SOPS 19592 HAS SOUS 12992 HAS SOUPS 12992 WITH SCORE 13011.592
AT ITER 1033 NEW BEST:: SOT 45680 SOS 19568 HAS SOPS 19568 HAS SOUS 12968 HAS SOUPS 12968 WITH SCORE 12987.568
AT ITER 1039 NEW BEST:: SOT 45680 SOS 19567 HAS SOPS 19567 HAS SOUS 12968 HAS SOUPS 12968 WITH SCORE 12987.567
AT ITER 1040 NEW BEST:: SOT 45678 SOS 19537 HAS SOPS 19537 HAS SOUS 12964 HAS SOUPS 12964 WITH SCORE 12983.537
AT ITER 1042 NEW BEST:: SOT 45670 SOS 19521 HAS SOPS 19521 HAS SOUS 12954 HAS SOUPS 12954 WITH SCORE 12973.521
AT ITER 1046 NEW BEST:: SOT 45669 SOS 19519 HAS SOPS 19519 HAS SOUS 12953 HAS SOUPS 12953 WITH SCORE 12972.519
AT ITER 1054 NEW BEST:: SOT 45661 SOS 19503 HAS SOPS 19503 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12937.503
AT ITER 1061 NEW BEST:: SOT 45660 SOS 19501 HAS SOPS 19501 HAS SOUS 12916 HAS SOUPS 12916 WITH SCORE 12935.501
AT ITER 1065 NEW BEST:: SOT 45645 SOS 19471 HAS SOPS 19471 HAS SOUS 12886 HAS SOUPS 12886 WITH SCORE 12905.471
AT ITER 1066 NEW BEST:: SOT 45640 SOS 19461 HAS SOPS 19461 HAS SOUS 12876 HAS SOUPS 12876 WITH SCORE 12895.461
AT ITER 1071 NEW BEST:: SOT 45608 SOS 19439 HAS SOPS 19439 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12862.439
AT ITER 1098 NEW BEST:: SOT 45604 SOS 19431 HAS SOPS 19431 HAS SOUS 12839 HAS SOUPS 12839 WITH SCORE 12858.431
AT ITER 1113 NEW BEST:: SOT 45602 SOS 19427 HAS SOPS 19427 HAS SOUS 12790 HAS SOUPS 12790 WITH SCORE 12809.427
AT ITER 1117 NEW BEST:: SOT 45598 SOS 19419 HAS SOPS 19419 HAS SOUS 12782 HAS SOUPS 12782 WITH SCORE 12801.419
AT ITER 1118 NEW BEST:: SOT 45590 SOS 19262 HAS SOPS 19262 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12679.262
AT ITER 1120 NEW BEST:: SOT 45578 SOS 19251 HAS SOPS 19251 HAS SOUS 12651 HAS SOUPS 12651 WITH SCORE 12670.251
AT ITER 1122 NEW BEST:: SOT 45573 SOS 19217 HAS SOPS 19217 HAS SOUS 12624 HAS SOUPS 12624 WITH SCORE 12643.217
AT ITER 1149 NEW BEST:: SOT 45571 SOS 19213 HAS SOPS 19213 HAS SOUS 12620 HAS SOUPS 12620 WITH SCORE 12639.213
AT ITER 1163 NEW BEST:: SOT 45507 SOS 19085 HAS SOPS 19085 HAS SOUS 12492 HAS SOUPS 12492 WITH SCORE 12511.085
AT ITER 1172 NEW BEST:: SOT 45474 SOS 19019 HAS SOPS 19019 HAS SOUS 12426 HAS SOUPS 12426 WITH SCORE 12445.019
AT ITER 1190 NEW BEST:: SOT 45474 SOS 19019 HAS SOPS 19019 HAS SOUS 12414 HAS SOUPS 12414 WITH SCORE 12433.019
AT ITER 1192 NEW BEST:: SOT 45472 SOS 19015 HAS SOPS 19015 HAS SOUS 12408 HAS SOUPS 12408 WITH SCORE 12427.015
AT ITER 1194 NEW BEST:: SOT 45464 SOS 19059 HAS SOPS 19059 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12416.059
AT ITER 1198 NEW BEST:: SOT 45458 SOS 19017 HAS SOPS 19017 HAS SOUS 12385 HAS SOUPS 12385 WITH SCORE 12404.017
AT ITER 1209 NEW BEST:: SOT 45468 SOS 19000 HAS SOPS 19000 HAS SOUS 12368 HAS SOUPS 12368 WITH SCORE 12387.0
AT ITER 1237 NEW BEST:: SOT 45463 SOS 18979 HAS SOPS 18979 HAS SOUS 12348 HAS SOUPS 12348 WITH SCORE 12366.979
AT ITER 1239 NEW BEST:: SOT 45461 SOS 19000 HAS SOPS 19000 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12363.0
AT ITER 1255 NEW BEST:: SOT 45447 SOS 18923 HAS SOPS 18923 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12285.923
AT ITER 1256 NEW BEST:: SOT 45447 SOS 18923 HAS SOPS 18923 HAS SOUS 12266 HAS SOUPS 12266 WITH SCORE 12284.923
AT ITER 1276 NEW BEST:: SOT 45462 SOS 18874 HAS SOPS 18874 HAS SOUS 12248 HAS SOUPS 12248 WITH SCORE 12266.874
AT ITER 1285 NEW BEST:: SOT 45470 SOS 18839 HAS SOPS 18839 HAS SOUS 12218 HAS SOUPS 12218 WITH SCORE 12236.839
AT ITER 1295 NEW BEST:: SOT 45438 SOS 18775 HAS SOPS 18775 HAS SOUS 12170 HAS SOUPS 12170 WITH SCORE 12188.775
AT ITER 1302 NEW BEST:: SOT 45421 SOS 18734 HAS SOPS 18734 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12145.734
AT ITER 1328 NEW BEST:: SOT 45418 SOS 18759 HAS SOPS 18759 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12139.759
AT ITER 1336 NEW BEST:: SOT 45418 SOS 18712 HAS SOPS 18712 HAS SOUS 12074 HAS SOUPS 12074 WITH SCORE 12092.712
AT ITER 1348 NEW BEST:: SOT 45383 SOS 18657 HAS SOPS 18657 HAS SOUS 12028 HAS SOUPS 12028 WITH SCORE 12046.657
AT ITER 1352 NEW BEST:: SOT 45370 SOS 18631 HAS SOPS 18631 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12020.631
AT ITER 1371 NEW BEST:: SOT 45356 SOS 18438 HAS SOPS 18438 HAS SOUS 11974 HAS SOUPS 11974 WITH SCORE 11992.438
AT ITER 1376 NEW BEST:: SOT 45351 SOS 18433 HAS SOPS 18433 HAS SOUS 11968 HAS SOUPS 11968 WITH SCORE 11986.433
AT ITER 1386 NEW BEST:: SOT 45351 SOS 18429 HAS SOPS 18429 HAS SOUS 11964 HAS SOUPS 11964 WITH SCORE 11982.429
AT ITER 1397 NEW BEST:: SOT 45325 SOS 18222 HAS SOPS 18222 HAS SOUS 11912 HAS SOUPS 11912 WITH SCORE 11930.222
AT ITER 1402 NEW BEST:: SOT 45301 SOS 18197 HAS SOPS 18197 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11895.197
AT ITER 1412 NEW BEST:: SOT 45290 SOS 18200 HAS SOPS 18200 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11876.2
AT ITER 1419 NEW BEST:: SOT 45280 SOS 18180 HAS SOPS 18180 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11856.18
AT ITER 1421 NEW BEST:: SOT 45267 SOS 18155 HAS SOPS 18155 HAS SOUS 11813 HAS SOUPS 11813 WITH SCORE 11831.155
AT ITER 1432 NEW BEST:: SOT 45241 SOS 18113 HAS SOPS 18113 HAS SOUS 11771 HAS SOUPS 11771 WITH SCORE 11789.113
AT ITER 1435 NEW BEST:: SOT 45219 SOS 18069 HAS SOPS 18069 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11756.069
AT ITER 1451 NEW BEST:: SOT 45218 SOS 18066 HAS SOPS 18066 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11754.066
AT ITER 1456 NEW BEST:: SOT 45289 SOS 18073 HAS SOPS 18073 HAS SOUS 11723 HAS SOUPS 11723 WITH SCORE 11741.073
AT ITER 1457 NEW BEST:: SOT 45282 SOS 18059 HAS SOPS 18059 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11734.059
AT ITER 1463 NEW BEST:: SOT 45273 SOS 18050 HAS SOPS 18050 HAS SOUS 11707 HAS SOUPS 11707 WITH SCORE 11725.05
AT ITER 1471 NEW BEST:: SOT 45267 SOS 18038 HAS SOPS 18038 HAS SOUS 11701 HAS SOUPS 11701 WITH SCORE 11719.038
AT ITER 1501 NEW BEST:: SOT 45211 SOS 17926 HAS SOPS 17926 HAS SOUS 11621 HAS SOUPS 11621 WITH SCORE 11638.926
AT ITER 1503 NEW BEST:: SOT 45208 SOS 17920 HAS SOPS 17920 HAS SOUS 11613 HAS SOUPS 11613 WITH SCORE 11630.92
AT ITER 1506 NEW BEST:: SOT 45208 SOS 17908 HAS SOPS 17908 HAS SOUS 11601 HAS SOUPS 11601 WITH SCORE 11618.908
AT ITER 1508 NEW BEST:: SOT 45190 SOS 17890 HAS SOPS 17890 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11600.89
AT ITER 1512 NEW BEST:: SOT 45182 SOS 17894 HAS SOPS 17894 HAS SOUS 11575 HAS SOUPS 11575 WITH SCORE 11592.894
AT ITER 1517 NEW BEST:: SOT 45180 SOS 17890 HAS SOPS 17890 HAS SOUS 11567 HAS SOUPS 11567 WITH SCORE 11584.89
AT ITER 1525 NEW BEST:: SOT 45174 SOS 17890 HAS SOPS 17890 HAS SOUS 11555 HAS SOUPS 11555 WITH SCORE 11572.89
AT ITER 1553 NEW BEST:: SOT 45159 SOS 17860 HAS SOPS 17860 HAS SOUS 11525 HAS SOUPS 11525 WITH SCORE 11542.86
AT ITER 1556 NEW BEST:: SOT 45136 SOS 17814 HAS SOPS 17814 HAS SOUS 11515 HAS SOUPS 11515 WITH SCORE 11532.814
AT ITER 1559 NEW BEST:: SOT 45132 SOS 17722 HAS SOPS 17722 HAS SOUS 11494 HAS SOUPS 11494 WITH SCORE 11511.722
AT ITER 1564 NEW BEST:: SOT 45135 SOS 17717 HAS SOPS 17717 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11509.717
AT ITER 1568 NEW BEST:: SOT 45135 SOS 17716 HAS SOPS 17716 HAS SOUS 11491 HAS SOUPS 11491 WITH SCORE 11508.716
AT ITER 1576 NEW BEST:: SOT 45123 SOS 17693 HAS SOPS 17693 HAS SOUS 11474 HAS SOUPS 11474 WITH SCORE 11491.693
AT ITER 1580 NEW BEST:: SOT 44981 SOS 17509 HAS SOPS 17509 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11239.509
AT ITER 1595 NEW BEST:: SOT 44979 SOS 17497 HAS SOPS 17497 HAS SOUS 11220 HAS SOUPS 11220 WITH SCORE 11237.497
AT ITER 1617 NEW BEST:: SOT 44959 SOS 17474 HAS SOPS 17474 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11191.474
AT ITER 1625 NEW BEST:: SOT 44952 SOS 17467 HAS SOPS 17467 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11177.467
AT ITER 1655 NEW BEST:: SOT 44906 SOS 17375 HAS SOPS 17375 HAS SOUS 11071 HAS SOUPS 11071 WITH SCORE 11088.375
AT ITER 1663 NEW BEST:: SOT 44906 SOS 17382 HAS SOPS 17382 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11083.382
AT ITER 1666 NEW BEST:: SOT 44882 SOS 17358 HAS SOPS 17358 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11059.358
AT ITER 1710 NEW BEST:: SOT 44861 SOS 17368 HAS SOPS 17368 HAS SOUS 11031 HAS SOUPS 11031 WITH SCORE 11048.368
AT ITER 1717 NEW BEST:: SOT 44867 SOS 17367 HAS SOPS 17367 HAS SOUS 11023 HAS SOUPS 11023 WITH SCORE 11040.367
AT ITER 1762 NEW BEST:: SOT 44858 SOS 17338 HAS SOPS 17338 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11013.338
AT ITER 1770 NEW BEST:: SOT 44783 SOS 17125 HAS SOPS 17125 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10939.125
AT ITER 1788 NEW BEST:: SOT 44782 SOS 17124 HAS SOPS 17124 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10939.124
AT ITER 1792 NEW BEST:: SOT 44782 SOS 17122 HAS SOPS 17122 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10937.122
AT ITER 1797 NEW BEST:: SOT 44781 SOS 17121 HAS SOPS 17121 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10935.121
AT ITER 1798 NEW BEST:: SOT 44786 SOS 17117 HAS SOPS 17117 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10918.117
AT ITER 1800 NEW BEST:: SOT 44780 SOS 17143 HAS SOPS 17143 HAS SOUS 10889 HAS SOUPS 10889 WITH SCORE 10906.143
AT ITER 1820 NEW BEST:: SOT 44777 SOS 17137 HAS SOPS 17137 HAS SOUS 10867 HAS SOUPS 10867 WITH SCORE 10884.137
AT ITER 1851 NEW BEST:: SOT 44777 SOS 17137 HAS SOPS 17137 HAS SOUS 10866 HAS SOUPS 10866 WITH SCORE 10883.137
AT ITER 1857 NEW BEST:: SOT 44756 SOS 17104 HAS SOPS 17104 HAS SOUS 10845 HAS SOUPS 10845 WITH SCORE 10862.104
AT ITER 1860 NEW BEST:: SOT 44649 SOS 16997 HAS SOPS 16997 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10812.997
AT ITER 1871 NEW BEST:: SOT 44598 SOS 16928 HAS SOPS 16928 HAS SOUS 10757 HAS SOUPS 10757 WITH SCORE 10773.928
AT ITER 1874 NEW BEST:: SOT 44598 SOS 16928 HAS SOPS 16928 HAS SOUS 10746 HAS SOUPS 10746 WITH SCORE 10762.928
AT ITER 1881 NEW BEST:: SOT 44559 SOS 16884 HAS SOPS 16884 HAS SOUS 10681 HAS SOUPS 10681 WITH SCORE 10697.884
AT ITER 1909 NEW BEST:: SOT 44556 SOS 16858 HAS SOPS 16858 HAS SOUS 10651 HAS SOUPS 10651 WITH SCORE 10667.858
AT ITER 1921 NEW BEST:: SOT 44555 SOS 16856 HAS SOPS 16856 HAS SOUS 10649 HAS SOUPS 10649 WITH SCORE 10665.856
AT ITER 1923 NEW BEST:: SOT 44534 SOS 16835 HAS SOPS 16835 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10633.835
AT ITER 1978 NEW BEST:: SOT 44526 SOS 16827 HAS SOPS 16827 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10632.827
AT ITER 1985 NEW BEST:: SOT 44526 SOS 16898 HAS SOPS 16898 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10631.898
AT ITER 2004 NEW BEST:: SOT 44498 SOS 16842 HAS SOPS 16842 HAS SOUS 10558 HAS SOUPS 10558 WITH SCORE 10574.842
AT ITER 2026 NEW BEST:: SOT 44498 SOS 16830 HAS SOPS 16830 HAS SOUS 10546 HAS SOUPS 10546 WITH SCORE 10562.83
AT ITER 2042 NEW BEST:: SOT 44480 SOS 16820 HAS SOPS 16820 HAS SOUS 10536 HAS SOUPS 10536 WITH SCORE 10552.82
AT ITER 2057 NEW BEST:: SOT 44480 SOS 16809 HAS SOPS 16809 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10541.809
AT ITER 2064 NEW BEST:: SOT 44480 SOS 16805 HAS SOPS 16805 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10541.805
AT ITER 2074 NEW BEST:: SOT 44483 SOS 16790 HAS SOPS 16790 HAS SOUS 10510 HAS SOUPS 10510 WITH SCORE 10526.79
AT ITER 2078 NEW BEST:: SOT 44476 SOS 16783 HAS SOPS 16783 HAS SOUS 10508 HAS SOUPS 10508 WITH SCORE 10524.783
AT ITER 2118 NEW BEST:: SOT 44476 SOS 16761 HAS SOPS 16761 HAS SOUS 10501 HAS SOUPS 10501 WITH SCORE 10517.761
AT ITER 2125 NEW BEST:: SOT 44456 SOS 16747 HAS SOPS 16747 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10497.747
AT ITER 2164 NEW BEST:: SOT 44452 SOS 16773 HAS SOPS 16773 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10480.773
AT ITER 2180 NEW BEST:: SOT 44448 SOS 16769 HAS SOPS 16769 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10480.769
AT ITER 2181 NEW BEST:: SOT 44438 SOS 16759 HAS SOPS 16759 HAS SOUS 10444 HAS SOUPS 10444 WITH SCORE 10460.759
AT ITER 2199 NEW BEST:: SOT 44434 SOS 16755 HAS SOPS 16755 HAS SOUS 10438 HAS SOUPS 10438 WITH SCORE 10454.755
AT ITER 2210 NEW BEST:: SOT 44417 SOS 16738 HAS SOPS 16738 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10427.738
AT ITER 2211 NEW BEST:: SOT 44383 SOS 16690 HAS SOPS 16690 HAS SOUS 10344 HAS SOUPS 10344 WITH SCORE 10360.69
AT ITER 2214 NEW BEST:: SOT 44316 SOS 16556 HAS SOPS 16556 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10233.556
AT ITER 2217 NEW BEST:: SOT 44306 SOS 16536 HAS SOPS 16536 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10223.536
AT ITER 2220 NEW BEST:: SOT 44292 SOS 16515 HAS SOPS 16515 HAS SOUS 10187 HAS SOUPS 10187 WITH SCORE 10203.515
AT ITER 2237 NEW BEST:: SOT 44296 SOS 16523 HAS SOPS 16523 HAS SOUS 10171 HAS SOUPS 10171 WITH SCORE 10187.523
AT ITER 2249 NEW BEST:: SOT 44287 SOS 16500 HAS SOPS 16500 HAS SOUS 10132 HAS SOUPS 10132 WITH SCORE 10148.5
AT ITER 2264 NEW BEST:: SOT 44293 SOS 16396 HAS SOPS 16396 HAS SOUS 10129 HAS SOUPS 10129 WITH SCORE 10145.396
AT ITER 2284 NEW BEST:: SOT 44273 SOS 16356 HAS SOPS 16356 HAS SOUS 10129 HAS SOUPS 10129 WITH SCORE 10145.356
AT ITER 2300 NEW BEST:: SOT 44268 SOS 16351 HAS SOPS 16351 HAS SOUS 10124 HAS SOUPS 10124 WITH SCORE 10140.351
AT ITER 2328 NEW BEST:: SOT 44255 SOS 16313 HAS SOPS 16313 HAS SOUS 10098 HAS SOUPS 10098 WITH SCORE 10114.313
AT ITER 2351 NEW BEST:: SOT 44242 SOS 16301 HAS SOPS 16301 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10102.301
AT ITER 2367 NEW BEST:: SOT 44242 SOS 16269 HAS SOPS 16269 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10094.269
AT ITER 2393 NEW BEST:: SOT 44232 SOS 16254 HAS SOPS 16254 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10074.254
AT ITER 2457 NEW BEST:: SOT 44220 SOS 16244 HAS SOPS 16244 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10046.244
AT ITER 2469 NEW BEST:: SOT 44190 SOS 14753 HAS SOPS 14753 HAS SOUS 9970 HAS SOUPS 9970 WITH SCORE 9984.753
AT ITER 2471 NEW BEST:: SOT 44189 SOS 14751 HAS SOPS 14751 HAS SOUS 9969 HAS SOUPS 9969 WITH SCORE 9983.751
AT ITER 2493 NEW BEST:: SOT 44181 SOS 14750 HAS SOPS 14750 HAS SOUS 9953 HAS SOUPS 9953 WITH SCORE 9967.75
AT ITER 2581 NEW BEST:: SOT 44162 SOS 14731 HAS SOPS 14731 HAS SOUS 9915 HAS SOUPS 9915 WITH SCORE 9929.731
AT ITER 2593 NEW BEST:: SOT 44149 SOS 14708 HAS SOPS 14708 HAS SOUS 9899 HAS SOUPS 9899 WITH SCORE 9913.708
AT ITER 2616 NEW BEST:: SOT 44137 SOS 14690 HAS SOPS 14690 HAS SOUS 9881 HAS SOUPS 9881 WITH SCORE 9895.69
AT ITER 2622 NEW BEST:: SOT 44156 SOS 14689 HAS SOPS 14689 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9894.689
AT ITER 2638 NEW BEST:: SOT 44103 SOS 14583 HAS SOPS 14583 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9841.583
AT ITER 2645 NEW BEST:: SOT 44101 SOS 14578 HAS SOPS 14578 HAS SOUS 9817 HAS SOUPS 9817 WITH SCORE 9831.578
AT ITER 2662 NEW BEST:: SOT 44096 SOS 14566 HAS SOPS 14566 HAS SOUS 9807 HAS SOUPS 9807 WITH SCORE 9821.566
AT ITER 2703 NEW BEST:: SOT 44091 SOS 14546 HAS SOPS 14546 HAS SOUS 9802 HAS SOUPS 9802 WITH SCORE 9816.546
AT ITER 2712 NEW BEST:: SOT 44083 SOS 14522 HAS SOPS 14522 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9800.522
AT ITER 2723 NEW BEST:: SOT 44082 SOS 14520 HAS SOPS 14520 HAS SOUS 9781 HAS SOUPS 9781 WITH SCORE 9795.52
AT ITER 2734 NEW BEST:: SOT 44077 SOS 14520 HAS SOPS 14520 HAS SOUS 9776 HAS SOUPS 9776 WITH SCORE 9790.52
AT ITER 2736 NEW BEST:: SOT 44075 SOS 14518 HAS SOPS 14518 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9788.518
AT ITER 2741 NEW BEST:: SOT 44074 SOS 14507 HAS SOPS 14507 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9777.507
AT ITER 2754 NEW BEST:: SOT 44075 SOS 14505 HAS SOPS 14505 HAS SOUS 9700 HAS SOUPS 9700 WITH SCORE 9714.505
AT ITER 2760 NEW BEST:: SOT 44073 SOS 14470 HAS SOPS 14470 HAS SOUS 9696 HAS SOUPS 9696 WITH SCORE 9710.47
AT ITER 2786 NEW BEST:: SOT 44101 SOS 14470 HAS SOPS 14470 HAS SOUS 9670 HAS SOUPS 9670 WITH SCORE 9684.47
AT ITER 2790 NEW BEST:: SOT 44097 SOS 14468 HAS SOPS 14468 HAS SOUS 9667 HAS SOUPS 9667 WITH SCORE 9681.468
AT ITER 2791 NEW BEST:: SOT 44095 SOS 14460 HAS SOPS 14460 HAS SOUS 9663 HAS SOUPS 9663 WITH SCORE 9677.46
AT ITER 2797 NEW BEST:: SOT 44111 SOS 14490 HAS SOPS 14490 HAS SOUS 9658 HAS SOUPS 9658 WITH SCORE 9672.49
AT ITER 2824 NEW BEST:: SOT 44117 SOS 14483 HAS SOPS 14483 HAS SOUS 9651 HAS SOUPS 9651 WITH SCORE 9665.483
AT ITER 2829 NEW BEST:: SOT 44198 SOS 14561 HAS SOPS 14561 HAS SOUS 9647 HAS SOUPS 9647 WITH SCORE 9661.561
AT ITER 2838 NEW BEST:: SOT 44185 SOS 14555 HAS SOPS 14555 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9655.555
AT ITER 2902 NEW BEST:: SOT 44122 SOS 14473 HAS SOPS 14473 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9635.473
AT ITER 2912 NEW BEST:: SOT 44122 SOS 14457 HAS SOPS 14457 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9635.457
AT ITER 2918 NEW BEST:: SOT 44122 SOS 14457 HAS SOPS 14457 HAS SOUS 9618 HAS SOUPS 9618 WITH SCORE 9632.457
AT ITER 2920 NEW BEST:: SOT 44119 SOS 14448 HAS SOPS 14448 HAS SOUS 9615 HAS SOUPS 9615 WITH SCORE 9629.448
AT ITER 2949 NEW BEST:: SOT 44090 SOS 14419 HAS SOPS 14419 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9582.419
AT ITER 2965 NEW BEST:: SOT 44075 SOS 14389 HAS SOPS 14389 HAS SOUS 9538 HAS SOUPS 9538 WITH SCORE 9552.389
AT ITER 2981 NEW BEST:: SOT 44068 SOS 14382 HAS SOPS 14382 HAS SOUS 9538 HAS SOUPS 9538 WITH SCORE 9552.382
AT ITER 2987 NEW BEST:: SOT 44059 SOS 14348 HAS SOPS 14348 HAS SOUS 9520 HAS SOUPS 9520 WITH SCORE 9534.348
AT ITER 3036 NEW BEST:: SOT 44036 SOS 14346 HAS SOPS 14346 HAS SOUS 9462 HAS SOUPS 9462 WITH SCORE 9476.346
AT ITER 3055 NEW BEST:: SOT 44009 SOS 14308 HAS SOPS 14308 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9446.308
AT ITER 3127 NEW BEST:: SOT 44008 SOS 14307 HAS SOPS 14307 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9445.307
AT ITER 3139 NEW BEST:: SOT 44008 SOS 14305 HAS SOPS 14305 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9445.305
AT ITER 3141 NEW BEST:: SOT 43951 SOS 14239 HAS SOPS 14239 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9388.239
AT ITER 3179 NEW BEST:: SOT 43923 SOS 14211 HAS SOPS 14211 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9360.211
AT ITER 3182 NEW BEST:: SOT 43909 SOS 14165 HAS SOPS 14165 HAS SOUS 9317 HAS SOUPS 9317 WITH SCORE 9331.165
AT ITER 3183 NEW BEST:: SOT 43909 SOS 14164 HAS SOPS 14164 HAS SOUS 9316 HAS SOUPS 9316 WITH SCORE 9330.164
AT ITER 3214 NEW BEST:: SOT 43906 SOS 14161 HAS SOPS 14161 HAS SOUS 9310 HAS SOUPS 9310 WITH SCORE 9324.161
AT ITER 3216 NEW BEST:: SOT 43880 SOS 14109 HAS SOPS 14109 HAS SOUS 9258 HAS SOUPS 9258 WITH SCORE 9272.109
AT ITER 3225 NEW BEST:: SOT 43902 SOS 14119 HAS SOPS 14119 HAS SOUS 9252 HAS SOUPS 9252 WITH SCORE 9266.119
AT ITER 3229 NEW BEST:: SOT 43889 SOS 14106 HAS SOPS 14106 HAS SOUS 9239 HAS SOUPS 9239 WITH SCORE 9253.106
AT ITER 3257 NEW BEST:: SOT 43889 SOS 14119 HAS SOPS 14119 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9251.119
AT ITER 3276 NEW BEST:: SOT 43887 SOS 14117 HAS SOPS 14117 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9247.117
AT ITER 3279 NEW BEST:: SOT 43883 SOS 14109 HAS SOPS 14109 HAS SOUS 9225 HAS SOUPS 9225 WITH SCORE 9239.109
AT ITER 3320 NEW BEST:: SOT 43883 SOS 14103 HAS SOPS 14103 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9233.103
AT ITER 3336 NEW BEST:: SOT 43866 SOS 14084 HAS SOPS 14084 HAS SOUS 9198 HAS SOUPS 9198 WITH SCORE 9212.084
AT ITER 3385 NEW BEST:: SOT 43855 SOS 14073 HAS SOPS 14073 HAS SOUS 9187 HAS SOUPS 9187 WITH SCORE 9201.073
AT ITER 3398 NEW BEST:: SOT 43851 SOS 14075 HAS SOPS 14075 HAS SOUS 9182 HAS SOUPS 9182 WITH SCORE 9196.075
AT ITER 3402 NEW BEST:: SOT 43845 SOS 14064 HAS SOPS 14064 HAS SOUS 9178 HAS SOUPS 9178 WITH SCORE 9192.064
AT ITER 3427 NEW BEST:: SOT 43835 SOS 14052 HAS SOPS 14052 HAS SOUS 9166 HAS SOUPS 9166 WITH SCORE 9180.052
AT ITER 3447 NEW BEST:: SOT 43850 SOS 14076 HAS SOPS 14076 HAS SOUS 9160 HAS SOUPS 9160 WITH SCORE 9174.076
AT ITER 3448 NEW BEST:: SOT 43836 SOS 14069 HAS SOPS 14069 HAS SOUS 9159 HAS SOUPS 9159 WITH SCORE 9173.069
AT ITER 3449 NEW BEST:: SOT 43823 SOS 14077 HAS SOPS 14077 HAS SOUS 9133 HAS SOUPS 9133 WITH SCORE 9147.077
AT ITER 3452 NEW BEST:: SOT 43825 SOS 14081 HAS SOPS 14081 HAS SOUS 9129 HAS SOUPS 9129 WITH SCORE 9143.081
AT ITER 3455 NEW BEST:: SOT 43823 SOS 14077 HAS SOPS 14077 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9084.077
AT ITER 3469 NEW BEST:: SOT 43823 SOS 14073 HAS SOPS 14073 HAS SOUS 9066 HAS SOUPS 9066 WITH SCORE 9080.073
AT ITER 3512 NEW BEST:: SOT 43823 SOS 14069 HAS SOPS 14069 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9076.069
AT ITER 3523 NEW BEST:: SOT 43823 SOS 14063 HAS SOPS 14063 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9065.063
AT ITER 3573 NEW BEST:: SOT 43831 SOS 14059 HAS SOPS 14059 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9065.059
AT ITER 3574 NEW BEST:: SOT 43830 SOS 14058 HAS SOPS 14058 HAS SOUS 9049 HAS SOUPS 9049 WITH SCORE 9063.058
AT ITER 3590 NEW BEST:: SOT 43804 SOS 14022 HAS SOPS 14022 HAS SOUS 8997 HAS SOUPS 8997 WITH SCORE 9011.022
AT ITER 3592 NEW BEST:: SOT 43803 SOS 14021 HAS SOPS 14021 HAS SOUS 8995 HAS SOUPS 8995 WITH SCORE 9009.021
AT ITER 3627 NEW BEST:: SOT 43807 SOS 14012 HAS SOPS 14012 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9006.012
AT ITER 3648 NEW BEST:: SOT 43804 SOS 14006 HAS SOPS 14006 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 9004.006
AT ITER 3650 NEW BEST:: SOT 43776 SOS 13950 HAS SOPS 13950 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8947.95
AT ITER 3655 NEW BEST:: SOT 43768 SOS 13711 HAS SOPS 13711 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8927.711
AT ITER 3673 NEW BEST:: SOT 43769 SOS 13889 HAS SOPS 13889 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8926.889
AT ITER 3687 NEW BEST:: SOT 43755 SOS 13861 HAS SOPS 13861 HAS SOUS 8868 HAS SOUPS 8868 WITH SCORE 8881.861
AT ITER 3713 NEW BEST:: SOT 43727 SOS 13805 HAS SOPS 13805 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8853.805
AT ITER 3724 NEW BEST:: SOT 43679 SOS 13802 HAS SOPS 13802 HAS SOUS 8796 HAS SOUPS 8796 WITH SCORE 8809.802
AT ITER 3783 NEW BEST:: SOT 43674 SOS 13797 HAS SOPS 13797 HAS SOUS 8792 HAS SOUPS 8792 WITH SCORE 8805.797
AT ITER 3784 NEW BEST:: SOT 43672 SOS 13782 HAS SOPS 13782 HAS SOUS 8776 HAS SOUPS 8776 WITH SCORE 8789.782
AT ITER 3790 NEW BEST:: SOT 43672 SOS 13767 HAS SOPS 13767 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8774.767
AT ITER 3795 NEW BEST:: SOT 43666 SOS 13761 HAS SOPS 13761 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8762.761
AT ITER 3810 NEW BEST:: SOT 43670 SOS 13751 HAS SOPS 13751 HAS SOUS 8744 HAS SOUPS 8744 WITH SCORE 8757.751
AT ITER 3830 NEW BEST:: SOT 43661 SOS 13742 HAS SOPS 13742 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8748.742
AT ITER 3877 NEW BEST:: SOT 43660 SOS 13740 HAS SOPS 13740 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8746.74
AT ITER 3878 NEW BEST:: SOT 43658 SOS 13755 HAS SOPS 13755 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8743.755
AT ITER 3931 NEW BEST:: SOT 43658 SOS 13753 HAS SOPS 13753 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8743.753
AT ITER 3934 NEW BEST:: SOT 43658 SOS 13753 HAS SOPS 13753 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8740.753
AT ITER 3950 NEW BEST:: SOT 43643 SOS 13707 HAS SOPS 13707 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8735.707
AT ITER 3958 NEW BEST:: SOT 43637 SOS 13702 HAS SOPS 13702 HAS SOUS 8719 HAS SOUPS 8719 WITH SCORE 8732.702
AT ITER 3993 NEW BEST:: SOT 43638 SOS 13700 HAS SOPS 13700 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8730.7
AT ITER 4052 NEW BEST:: SOT 43631 SOS 13693 HAS SOPS 13693 HAS SOUS 8714 HAS SOUPS 8714 WITH SCORE 8727.693
AT ITER 4053 NEW BEST:: SOT 43629 SOS 13689 HAS SOPS 13689 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8723.689
AT ITER 4055 NEW BEST:: SOT 43626 SOS 13686 HAS SOPS 13686 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8723.686
AT ITER 4071 NEW BEST:: SOT 43610 SOS 13654 HAS SOPS 13654 HAS SOUS 8694 HAS SOUPS 8694 WITH SCORE 8707.654
AT ITER 4123 NEW BEST:: SOT 43608 SOS 13650 HAS SOPS 13650 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8703.65
AT ITER 4148 NEW BEST:: SOT 43603 SOS 13644 HAS SOPS 13644 HAS SOUS 8684 HAS SOUPS 8684 WITH SCORE 8697.644
AT ITER 4172 NEW BEST:: SOT 43593 SOS 13624 HAS SOPS 13624 HAS SOUS 8672 HAS SOUPS 8672 WITH SCORE 8685.624
AT ITER 4218 NEW BEST:: SOT 43593 SOS 13610 HAS SOPS 13610 HAS SOUS 8658 HAS SOUPS 8658 WITH SCORE 8671.61
AT ITER 4240 NEW BEST:: SOT 43594 SOS 13612 HAS SOPS 13612 HAS SOUS 8654 HAS SOUPS 8654 WITH SCORE 8667.612
AT ITER 4261 NEW BEST:: SOT 43573 SOS 13611 HAS SOPS 13611 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8666.611
AT ITER 4269 NEW BEST:: SOT 43565 SOS 13574 HAS SOPS 13574 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8647.574
AT ITER 4270 NEW BEST:: SOT 43563 SOS 13570 HAS SOPS 13570 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8644.57
AT ITER 4323 NEW BEST:: SOT 43561 SOS 13564 HAS SOPS 13564 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8642.564
AT ITER 4345 NEW BEST:: SOT 43553 SOS 13564 HAS SOPS 13564 HAS SOUS 8613 HAS SOUPS 8613 WITH SCORE 8626.564
AT ITER 4352 NEW BEST:: SOT 43543 SOS 13541 HAS SOPS 13541 HAS SOUS 8593 HAS SOUPS 8593 WITH SCORE 8606.541
AT ITER 4365 NEW BEST:: SOT 43537 SOS 13529 HAS SOPS 13529 HAS SOUS 8593 HAS SOUPS 8593 WITH SCORE 8606.529
AT ITER 4407 NEW BEST:: SOT 43513 SOS 13505 HAS SOPS 13505 HAS SOUS 8569 HAS SOUPS 8569 WITH SCORE 8582.505
AT ITER 4413 NEW BEST:: SOT 43493 SOS 13633 HAS SOPS 13633 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8571.633
AT ITER 4442 NEW BEST:: SOT 43489 SOS 13625 HAS SOPS 13625 HAS SOUS 8550 HAS SOUPS 8550 WITH SCORE 8563.625
AT ITER 4454 NEW BEST:: SOT 43489 SOS 13593 HAS SOPS 13593 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8559.593
AT ITER 4515 NEW BEST:: SOT 43485 SOS 13589 HAS SOPS 13589 HAS SOUS 8542 HAS SOUPS 8542 WITH SCORE 8555.589
AT ITER 4529 NEW BEST:: SOT 43483 SOS 13587 HAS SOPS 13587 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8551.587
AT ITER 4546 NEW BEST:: SOT 43479 SOS 13573 HAS SOPS 13573 HAS SOUS 8530 HAS SOUPS 8530 WITH SCORE 8543.573
AT ITER 4568 NEW BEST:: SOT 43512 SOS 13563 HAS SOPS 13563 HAS SOUS 8528 HAS SOUPS 8528 WITH SCORE 8541.563
AT ITER 4576 NEW BEST:: SOT 43511 SOS 13562 HAS SOPS 13562 HAS SOUS 8527 HAS SOUPS 8527 WITH SCORE 8540.562
AT ITER 4611 NEW BEST:: SOT 43503 SOS 13556 HAS SOPS 13556 HAS SOUS 8519 HAS SOUPS 8519 WITH SCORE 8532.556
AT ITER 4621 NEW BEST:: SOT 43503 SOS 13560 HAS SOPS 13560 HAS SOUS 8515 HAS SOUPS 8515 WITH SCORE 8528.56
AT ITER 4635 NEW BEST:: SOT 43499 SOS 13552 HAS SOPS 13552 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8524.552
AT ITER 4669 NEW BEST:: SOT 43496 SOS 13539 HAS SOPS 13539 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8518.539
AT ITER 4752 NEW BEST:: SOT 43496 SOS 13535 HAS SOPS 13535 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8518.535
AT ITER 4753 NEW BEST:: SOT 43489 SOS 13531 HAS SOPS 13531 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8518.531
AT ITER 4754 NEW BEST:: SOT 43479 SOS 13493 HAS SOPS 13493 HAS SOUS 8483 HAS SOUPS 8483 WITH SCORE 8496.493
AT ITER 4779 NEW BEST:: SOT 43475 SOS 13491 HAS SOPS 13491 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8488.491
AT ITER 4787 NEW BEST:: SOT 43485 SOS 13494 HAS SOPS 13494 HAS SOUS 8469 HAS SOUPS 8469 WITH SCORE 8482.494
AT ITER 4844 NEW BEST:: SOT 43480 SOS 13464 HAS SOPS 13464 HAS SOUS 8436 HAS SOUPS 8436 WITH SCORE 8449.464
AT ITER 4892 NEW BEST:: SOT 43481 SOS 13465 HAS SOPS 13465 HAS SOUS 8435 HAS SOUPS 8435 WITH SCORE 8448.465
AT ITER 4928 NEW BEST:: SOT 43456 SOS 13454 HAS SOPS 13454 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8387.454
AT ITER 4978 NEW BEST:: SOT 43444 SOS 13429 HAS SOPS 13429 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8356.429
AT ITER 4985 NEW BEST:: SOT 43444 SOS 13429 HAS SOPS 13429 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8354.429
AT ITER 5070 NEW BEST:: SOT 43376 SOS 13407 HAS SOPS 13407 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8299.407
AT ITER 5072 NEW BEST:: SOT 43371 SOS 13406 HAS SOPS 13406 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8294.406
AT ITER 5109 NEW BEST:: SOT 43371 SOS 13406 HAS SOPS 13406 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8291.406
AT ITER 5187 NEW BEST:: SOT 43373 SOS 13408 HAS SOPS 13408 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8289.408
AT ITER 5189 NEW BEST:: SOT 43360 SOS 13365 HAS SOPS 13365 HAS SOUS 8257 HAS SOUPS 8257 WITH SCORE 8270.365
AT ITER 5213 NEW BEST:: SOT 43357 SOS 13360 HAS SOPS 13360 HAS SOUS 8253 HAS SOUPS 8253 WITH SCORE 8266.36
AT ITER 5241 NEW BEST:: SOT 43336 SOS 13575 HAS SOPS 13575 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8237.575
AT ITER 5301 NEW BEST:: SOT 43325 SOS 13542 HAS SOPS 13542 HAS SOUS 8213 HAS SOUPS 8213 WITH SCORE 8226.542
AT ITER 5332 NEW BEST:: SOT 43323 SOS 13540 HAS SOPS 13540 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8224.54
AT ITER 5356 NEW BEST:: SOT 43321 SOS 13538 HAS SOPS 13538 HAS SOUS 8207 HAS SOUPS 8207 WITH SCORE 8220.538
AT ITER 5399 NEW BEST:: SOT 43317 SOS 13519 HAS SOPS 13519 HAS SOUS 8199 HAS SOUPS 8199 WITH SCORE 8212.519
AT ITER 5465 NEW BEST:: SOT 43313 SOS 13511 HAS SOPS 13511 HAS SOUS 8191 HAS SOUPS 8191 WITH SCORE 8204.511
AT ITER 5482 NEW BEST:: SOT 43312 SOS 13508 HAS SOPS 13508 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8202.508
AT ITER 5509 NEW BEST:: SOT 43283 SOS 13450 HAS SOPS 13450 HAS SOUS 8147 HAS SOUPS 8147 WITH SCORE 8160.45
AT ITER 5535 NEW BEST:: SOT 43272 SOS 13435 HAS SOPS 13435 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8138.435
AT ITER 5538 NEW BEST:: SOT 43269 SOS 13432 HAS SOPS 13432 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8135.432
AT ITER 5566 NEW BEST:: SOT 43269 SOS 13420 HAS SOPS 13420 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8135.42
AT ITER 5574 NEW BEST:: SOT 43265 SOS 13421 HAS SOPS 13421 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8134.421
AT ITER 5603 NEW BEST:: SOT 43263 SOS 13416 HAS SOPS 13416 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8130.416
AT ITER 5604 NEW BEST:: SOT 43249 SOS 13424 HAS SOPS 13424 HAS SOUS 8107 HAS SOUPS 8107 WITH SCORE 8120.424
AT ITER 5608 NEW BEST:: SOT 43240 SOS 13398 HAS SOPS 13398 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8113.398
AT ITER 5683 NEW BEST:: SOT 43231 SOS 13389 HAS SOPS 13389 HAS SOUS 8091 HAS SOUPS 8091 WITH SCORE 8104.389
AT ITER 5700 NEW BEST:: SOT 43230 SOS 13388 HAS SOPS 13388 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8103.388
AT ITER 5708 NEW BEST:: SOT 43229 SOS 13386 HAS SOPS 13386 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8101.386
AT ITER 5761 NEW BEST:: SOT 43216 SOS 13372 HAS SOPS 13372 HAS SOUS 8068 HAS SOUPS 8068 WITH SCORE 8081.372
AT ITER 5778 NEW BEST:: SOT 43216 SOS 13359 HAS SOPS 13359 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8068.359
AT ITER 5782 NEW BEST:: SOT 43213 SOS 13356 HAS SOPS 13356 HAS SOUS 8049 HAS SOUPS 8049 WITH SCORE 8062.356
AT ITER 5798 NEW BEST:: SOT 43213 SOS 13352 HAS SOPS 13352 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8058.352
AT ITER 5800 NEW BEST:: SOT 43207 SOS 13357 HAS SOPS 13357 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8046.357
AT ITER 5841 NEW BEST:: SOT 43194 SOS 13441 HAS SOPS 13441 HAS SOUS 8025 HAS SOUPS 8025 WITH SCORE 8038.441
AT ITER 5842 NEW BEST:: SOT 43187 SOS 13434 HAS SOPS 13434 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8024.434
AT ITER 5921 NEW BEST:: SOT 43185 SOS 13430 HAS SOPS 13430 HAS SOUS 8007 HAS SOUPS 8007 WITH SCORE 8020.43
AT ITER 5930 NEW BEST:: SOT 43182 SOS 13429 HAS SOPS 13429 HAS SOUS 8006 HAS SOUPS 8006 WITH SCORE 8019.429
AT ITER 5974 NEW BEST:: SOT 43179 SOS 13423 HAS SOPS 13423 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8013.423
AT ITER 5990 NEW BEST:: SOT 43174 SOS 13417 HAS SOPS 13417 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8007.417
AT ITER 5996 NEW BEST:: SOT 43165 SOS 13413 HAS SOPS 13413 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8003.413
AT ITER 6039 NEW BEST:: SOT 43169 SOS 13420 HAS SOPS 13420 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 7987.42
AT ITER 6068 NEW BEST:: SOT 43169 SOS 13420 HAS SOPS 13420 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7984.42
AT ITER 6076 NEW BEST:: SOT 43166 SOS 13421 HAS SOPS 13421 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7981.421
AT ITER 6094 NEW BEST:: SOT 43166 SOS 13421 HAS SOPS 13421 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7967.421
AT ITER 6095 NEW BEST:: SOT 43163 SOS 13418 HAS SOPS 13418 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7964.418
AT ITER 6156 NEW BEST:: SOT 43117 SOS 13378 HAS SOPS 13378 HAS SOUS 7929 HAS SOUPS 7929 WITH SCORE 7942.378
AT ITER 6169 NEW BEST:: SOT 43111 SOS 13366 HAS SOPS 13366 HAS SOUS 7917 HAS SOUPS 7917 WITH SCORE 7930.366
AT ITER 6290 NEW BEST:: SOT 43105 SOS 13360 HAS SOPS 13360 HAS SOUS 7917 HAS SOUPS 7917 WITH SCORE 7930.36
AT ITER 6293 NEW BEST:: SOT 43103 SOS 13280 HAS SOPS 13280 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7924.28
AT ITER 6302 NEW BEST:: SOT 43100 SOS 13259 HAS SOPS 13259 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7906.259
AT ITER 6419 NEW BEST:: SOT 43099 SOS 13257 HAS SOPS 13257 HAS SOUS 7891 HAS SOUPS 7891 WITH SCORE 7904.257
AT ITER 6437 NEW BEST:: SOT 43097 SOS 13250 HAS SOPS 13250 HAS SOUS 7887 HAS SOUPS 7887 WITH SCORE 7900.25
AT ITER 6444 NEW BEST:: SOT 43095 SOS 13246 HAS SOPS 13246 HAS SOUS 7883 HAS SOUPS 7883 WITH SCORE 7896.246
AT ITER 6488 NEW BEST:: SOT 43090 SOS 13425 HAS SOPS 13425 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7893.425
AT ITER 6510 NEW BEST:: SOT 43086 SOS 13423 HAS SOPS 13423 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7891.423
AT ITER 6547 NEW BEST:: SOT 43079 SOS 13422 HAS SOPS 13422 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7884.422
AT ITER 6558 NEW BEST:: SOT 43070 SOS 13404 HAS SOPS 13404 HAS SOUS 7854 HAS SOUPS 7854 WITH SCORE 7867.404
AT ITER 6568 NEW BEST:: SOT 43056 SOS 13383 HAS SOPS 13383 HAS SOUS 7833 HAS SOUPS 7833 WITH SCORE 7846.383
AT ITER 6585 NEW BEST:: SOT 43062 SOS 13389 HAS SOPS 13389 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7839.389
AT ITER 6590 NEW BEST:: SOT 43040 SOS 13345 HAS SOPS 13345 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7817.345
AT ITER 6649 NEW BEST:: SOT 43040 SOS 13345 HAS SOPS 13345 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7816.345
AT ITER 6666 NEW BEST:: SOT 43037 SOS 13341 HAS SOPS 13341 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7811.341
AT ITER 6671 NEW BEST:: SOT 43033 SOS 13334 HAS SOPS 13334 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7808.334
AT ITER 6680 NEW BEST:: SOT 43033 SOS 13330 HAS SOPS 13330 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7804.33
AT ITER 6707 NEW BEST:: SOT 43032 SOS 13329 HAS SOPS 13329 HAS SOUS 7790 HAS SOUPS 7790 WITH SCORE 7803.329
AT ITER 6750 NEW BEST:: SOT 43031 SOS 13316 HAS SOPS 13316 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7801.316
AT ITER 6798 NEW BEST:: SOT 43033 SOS 13308 HAS SOPS 13308 HAS SOUS 7782 HAS SOUPS 7782 WITH SCORE 7795.308
AT ITER 6838 NEW BEST:: SOT 43033 SOS 13329 HAS SOPS 13329 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7791.329
AT ITER 6848 NEW BEST:: SOT 43029 SOS 13307 HAS SOPS 13307 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7783.307
AT ITER 6986 NEW BEST:: SOT 43029 SOS 13307 HAS SOPS 13307 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7782.307
AT ITER 7002 NEW BEST:: SOT 43025 SOS 13299 HAS SOPS 13299 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7774.299
AT ITER 7097 NEW BEST:: SOT 43024 SOS 13297 HAS SOPS 13297 HAS SOUS 7759 HAS SOUPS 7759 WITH SCORE 7772.297
AT ITER 7265 NEW BEST:: SOT 43017 SOS 13290 HAS SOPS 13290 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7765.29
AT ITER 7284 NEW BEST:: SOT 43012 SOS 13300 HAS SOPS 13300 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7759.3
AT ITER 7334 NEW BEST:: SOT 43012 SOS 13277 HAS SOPS 13277 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7759.277
AT ITER 7359 NEW BEST:: SOT 43013 SOS 13275 HAS SOPS 13275 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7757.275
AT ITER 7389 NEW BEST:: SOT 43006 SOS 13260 HAS SOPS 13260 HAS SOUS 7730 HAS SOUPS 7730 WITH SCORE 7743.26
AT ITER 7428 NEW BEST:: SOT 43002 SOS 13252 HAS SOPS 13252 HAS SOUS 7722 HAS SOUPS 7722 WITH SCORE 7735.252
AT ITER 7738 NEW BEST:: SOT 43002 SOS 13249 HAS SOPS 13249 HAS SOUS 7722 HAS SOUPS 7722 WITH SCORE 7735.249
AT ITER 7747 NEW BEST:: SOT 42993 SOS 13240 HAS SOPS 13240 HAS SOUS 7707 HAS SOUPS 7707 WITH SCORE 7720.24
AT ITER 7757 NEW BEST:: SOT 42990 SOS 13237 HAS SOPS 13237 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7718.237
AT ITER 7823 NEW BEST:: SOT 42992 SOS 13238 HAS SOPS 13238 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7716.238
AT ITER 7841 NEW BEST:: SOT 42988 SOS 13235 HAS SOPS 13235 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7713.235
AT ITER 7850 NEW BEST:: SOT 42983 SOS 13260 HAS SOPS 13260 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7708.26
AT ITER 7887 NEW BEST:: SOT 42980 SOS 13224 HAS SOPS 13224 HAS SOUS 7662 HAS SOUPS 7662 WITH SCORE 7675.224
AT ITER 8007 NEW BEST:: SOT 42979 SOS 13212 HAS SOPS 13212 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7674.212
AT ITER 8081 NEW BEST:: SOT 42965 SOS 13184 HAS SOPS 13184 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7660.184
AT ITER 8116 NEW BEST:: SOT 42970 SOS 13184 HAS SOPS 13184 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7657.184
AT ITER 8119 NEW BEST:: SOT 42969 SOS 13182 HAS SOPS 13182 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7655.182
AT ITER 8183 NEW BEST:: SOT 42970 SOS 13180 HAS SOPS 13180 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7654.18
AT ITER 8203 NEW BEST:: SOT 42967 SOS 13179 HAS SOPS 13179 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7653.179
AT ITER 8209 NEW BEST:: SOT 42967 SOS 13178 HAS SOPS 13178 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7653.178
AT ITER 8238 NEW BEST:: SOT 42967 SOS 13175 HAS SOPS 13175 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7650.175
AT ITER 8269 NEW BEST:: SOT 42965 SOS 13171 HAS SOPS 13171 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7648.171
AT ITER 8326 NEW BEST:: SOT 42965 SOS 13171 HAS SOPS 13171 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7631.171
AT ITER 8350 NEW BEST:: SOT 42965 SOS 13167 HAS SOPS 13167 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7627.167
AT ITER 8385 NEW BEST:: SOT 42960 SOS 13155 HAS SOPS 13155 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7615.155
AT ITER 8434 NEW BEST:: SOT 42960 SOS 13155 HAS SOPS 13155 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7614.155
AT ITER 8438 NEW BEST:: SOT 42960 SOS 13146 HAS SOPS 13146 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7614.146
AT ITER 8543 NEW BEST:: SOT 42955 SOS 13143 HAS SOPS 13143 HAS SOUS 7591 HAS SOUPS 7591 WITH SCORE 7604.143
AT ITER 8551 NEW BEST:: SOT 42952 SOS 13141 HAS SOPS 13141 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7601.141
AT ITER 8626 NEW BEST:: SOT 42956 SOS 13136 HAS SOPS 13136 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7600.136
AT ITER 8843 NEW BEST:: SOT 42959 SOS 13142 HAS SOPS 13142 HAS SOUS 7585 HAS SOUPS 7585 WITH SCORE 7598.142
AT ITER 8859 NEW BEST:: SOT 42958 SOS 13140 HAS SOPS 13140 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7596.14
AT ITER 8894 NEW BEST:: SOT 42932 SOS 13126 HAS SOPS 13126 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7582.126
AT ITER 8937 NEW BEST:: SOT 42927 SOS 13132 HAS SOPS 13132 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7572.132
AT ITER 8977 NEW BEST:: SOT 42919 SOS 13117 HAS SOPS 13117 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7570.117
AT ITER 9121 NEW BEST:: SOT 42919 SOS 13096 HAS SOPS 13096 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7570.096
AT ITER 9123 NEW BEST:: SOT 42918 SOS 13093 HAS SOPS 13093 HAS SOUS 7555 HAS SOUPS 7555 WITH SCORE 7568.093
AT ITER 9238 NEW BEST:: SOT 42917 SOS 13092 HAS SOPS 13092 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7567.092
AT ITER 9300 NEW BEST:: SOT 42916 SOS 13095 HAS SOPS 13095 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7566.095
AT ITER 9316 NEW BEST:: SOT 42916 SOS 13101 HAS SOPS 13101 HAS SOUS 7552 HAS SOUPS 7552 WITH SCORE 7565.101
AT ITER 9385 NEW BEST:: SOT 42916 SOS 13090 HAS SOPS 13090 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7554.09
AT ITER 9405 NEW BEST:: SOT 42914 SOS 13077 HAS SOPS 13077 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7541.077
AT ITER 9430 NEW BEST:: SOT 42907 SOS 13063 HAS SOPS 13063 HAS SOUS 7514 HAS SOUPS 7514 WITH SCORE 7527.063
AT ITER 9457 NEW BEST:: SOT 42904 SOS 13028 HAS SOPS 13028 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7521.028
AT ITER 9493 NEW BEST:: SOT 42903 SOS 13026 HAS SOPS 13026 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7521.026
AT ITER 9591 NEW BEST:: SOT 42902 SOS 13025 HAS SOPS 13025 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7519.025
AT ITER 9593 NEW BEST:: SOT 42899 SOS 13019 HAS SOPS 13019 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7512.019
AT ITER 9606 NEW BEST:: SOT 42898 SOS 13018 HAS SOPS 13018 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7510.018
AT ITER 9683 NEW BEST:: SOT 42895 SOS 13009 HAS SOPS 13009 HAS SOUS 7491 HAS SOUPS 7491 WITH SCORE 7504.009
AT ITER 9820 NEW BEST:: SOT 42884 SOS 12987 HAS SOPS 12987 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7502.987
AT ITER 9842 NEW BEST:: SOT 42894 SOS 13007 HAS SOPS 13007 HAS SOUS 7489 HAS SOUPS 7489 WITH SCORE 7502.007
AT ITER 9875 NEW BEST:: SOT 42899 SOS 13003 HAS SOPS 13003 HAS SOUS 7485 HAS SOUPS 7485 WITH SCORE 7498.003
AT ITER 9990 NEW BEST:: SOT 42883 SOS 12986 HAS SOPS 12986 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7477.986
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 6317756 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16124772 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DiscoveryGPU-PT-09b"
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 DiscoveryGPU-PT-09b, 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 r139-smll-167819422700344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-09b.tgz
mv DiscoveryGPU-PT-09b 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 ;