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-167819423000424.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-14b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423000424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 5.7K Feb 25 13:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 25 13:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 13:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 13:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 13:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 13:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 13:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 13:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 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 104K 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 1678401944867

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-14b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 22:45:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 22:45:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 22:45:48] [INFO ] Load time of PNML (sax parser for PT used): 112 ms
[2023-03-09 22:45:48] [INFO ] Transformed 408 places.
[2023-03-09 22:45:48] [INFO ] Transformed 434 transitions.
[2023-03-09 22:45:48] [INFO ] Found NUPN structural information;
[2023-03-09 22:45:48] [INFO ] Parsed PT model containing 408 places and 434 transitions and 1135 arcs in 224 ms.
[2023-03-09 22:45:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 408 places, 434 transitions and 1135 arcs took 9 ms.
Total runtime 280 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 14b
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: 408 places, 434 transitions, 1135 arcs.
AT ITER 0 NEW BEST:: SOT 123878 SOS 59654 HAS SOPS 59654 HAS SOUS 52666 HAS SOUPS 52666 WITH SCORE 52725.654
AT ITER 3 NEW BEST:: SOT 123873 SOS 59649 HAS SOPS 59649 HAS SOUS 52660 HAS SOUPS 52660 WITH SCORE 52719.649
AT ITER 4 NEW BEST:: SOT 123793 SOS 59534 HAS SOPS 59534 HAS SOUS 52579 HAS SOUPS 52579 WITH SCORE 52638.534
AT ITER 5 NEW BEST:: SOT 123793 SOS 59509 HAS SOPS 59509 HAS SOUS 52579 HAS SOUPS 52579 WITH SCORE 52638.509
AT ITER 6 NEW BEST:: SOT 123764 SOS 59480 HAS SOPS 59480 HAS SOUS 52549 HAS SOUPS 52549 WITH SCORE 52608.48
AT ITER 7 NEW BEST:: SOT 123764 SOS 59441 HAS SOPS 59441 HAS SOUS 52548 HAS SOUPS 52548 WITH SCORE 52607.441
AT ITER 16 NEW BEST:: SOT 123654 SOS 59331 HAS SOPS 59331 HAS SOUS 52438 HAS SOUPS 52438 WITH SCORE 52497.331
AT ITER 22 NEW BEST:: SOT 123654 SOS 59258 HAS SOPS 59258 HAS SOUS 52437 HAS SOUPS 52437 WITH SCORE 52496.258
AT ITER 23 NEW BEST:: SOT 123494 SOS 59016 HAS SOPS 59016 HAS SOUS 52196 HAS SOUPS 52196 WITH SCORE 52255.016
AT ITER 26 NEW BEST:: SOT 123494 SOS 58989 HAS SOPS 58989 HAS SOUS 52196 HAS SOUPS 52196 WITH SCORE 52254.989
AT ITER 27 NEW BEST:: SOT 123367 SOS 58607 HAS SOPS 58607 HAS SOUS 51896 HAS SOUPS 51896 WITH SCORE 51954.607
AT ITER 29 NEW BEST:: SOT 123367 SOS 58269 HAS SOPS 58269 HAS SOUS 51895 HAS SOUPS 51895 WITH SCORE 51953.269
AT ITER 31 NEW BEST:: SOT 123350 SOS 58235 HAS SOPS 58235 HAS SOUS 51877 HAS SOUPS 51877 WITH SCORE 51935.235
AT ITER 35 NEW BEST:: SOT 123350 SOS 58193 HAS SOPS 58193 HAS SOUS 51834 HAS SOUPS 51834 WITH SCORE 51892.193
AT ITER 36 NEW BEST:: SOT 123350 SOS 58122 HAS SOPS 58122 HAS SOUS 51832 HAS SOUPS 51832 WITH SCORE 51890.122
AT ITER 43 NEW BEST:: SOT 123046 SOS 57652 HAS SOPS 57652 HAS SOUS 51375 HAS SOUPS 51375 WITH SCORE 51432.652
AT ITER 45 NEW BEST:: SOT 122931 SOS 57454 HAS SOPS 57454 HAS SOUS 51177 HAS SOUPS 51177 WITH SCORE 51234.454
AT ITER 48 NEW BEST:: SOT 122931 SOS 57397 HAS SOPS 57397 HAS SOUS 51175 HAS SOUPS 51175 WITH SCORE 51232.397
AT ITER 49 NEW BEST:: SOT 122742 SOS 57257 HAS SOPS 57257 HAS SOUS 51014 HAS SOUPS 51014 WITH SCORE 51071.257
AT ITER 53 NEW BEST:: SOT 122742 SOS 57186 HAS SOPS 57186 HAS SOUS 51013 HAS SOUPS 51013 WITH SCORE 51070.186
AT ITER 54 NEW BEST:: SOT 122741 SOS 57184 HAS SOPS 57184 HAS SOUS 51011 HAS SOUPS 51011 WITH SCORE 51068.184
AT ITER 56 NEW BEST:: SOT 122741 SOS 57136 HAS SOPS 57136 HAS SOUS 51010 HAS SOUPS 51010 WITH SCORE 51067.136
AT ITER 59 NEW BEST:: SOT 122723 SOS 56175 HAS SOPS 56175 HAS SOUS 50974 HAS SOUPS 50974 WITH SCORE 51030.175
AT ITER 61 NEW BEST:: SOT 122647 SOS 56061 HAS SOPS 56061 HAS SOUS 50860 HAS SOUPS 50860 WITH SCORE 50916.061
AT ITER 63 NEW BEST:: SOT 122361 SOS 55607 HAS SOPS 55607 HAS SOUS 50430 HAS SOUPS 50430 WITH SCORE 50485.607
AT ITER 67 NEW BEST:: SOT 122313 SOS 55423 HAS SOPS 55423 HAS SOUS 50235 HAS SOUPS 50235 WITH SCORE 50290.423
AT ITER 74 NEW BEST:: SOT 122223 SOS 55378 HAS SOPS 55378 HAS SOUS 50168 HAS SOUPS 50168 WITH SCORE 50223.378
AT ITER 75 NEW BEST:: SOT 122191 SOS 55346 HAS SOPS 55346 HAS SOUS 50136 HAS SOUPS 50136 WITH SCORE 50191.346
AT ITER 78 NEW BEST:: SOT 122191 SOS 55288 HAS SOPS 55288 HAS SOUS 50135 HAS SOUPS 50135 WITH SCORE 50190.288
AT ITER 82 NEW BEST:: SOT 122191 SOS 55233 HAS SOPS 55233 HAS SOUS 50134 HAS SOUPS 50134 WITH SCORE 50189.233
AT ITER 85 NEW BEST:: SOT 122118 SOS 55232 HAS SOPS 55232 HAS SOUS 50104 HAS SOUPS 50104 WITH SCORE 50159.232
AT ITER 89 NEW BEST:: SOT 122072 SOS 55057 HAS SOPS 55057 HAS SOUS 49975 HAS SOUPS 49975 WITH SCORE 50030.057
AT ITER 90 NEW BEST:: SOT 121770 SOS 54612 HAS SOPS 54612 HAS SOUS 49534 HAS SOUPS 49534 WITH SCORE 49588.612
AT ITER 91 NEW BEST:: SOT 121777 SOS 54603 HAS SOPS 54603 HAS SOUS 49525 HAS SOUPS 49525 WITH SCORE 49579.603
AT ITER 94 NEW BEST:: SOT 121764 SOS 55076 HAS SOPS 55076 HAS SOUS 49499 HAS SOUPS 49499 WITH SCORE 49554.076
AT ITER 95 NEW BEST:: SOT 120957 SOS 54471 HAS SOPS 54471 HAS SOUS 48773 HAS SOUPS 48773 WITH SCORE 48827.471
AT ITER 101 NEW BEST:: SOT 120910 SOS 54377 HAS SOPS 54377 HAS SOUS 48723 HAS SOUPS 48723 WITH SCORE 48777.377
AT ITER 102 NEW BEST:: SOT 120885 SOS 54327 HAS SOPS 54327 HAS SOUS 48673 HAS SOUPS 48673 WITH SCORE 48727.327
AT ITER 106 NEW BEST:: SOT 120814 SOS 54278 HAS SOPS 54278 HAS SOUS 48578 HAS SOUPS 48578 WITH SCORE 48632.278
AT ITER 108 NEW BEST:: SOT 120699 SOS 54048 HAS SOPS 54048 HAS SOUS 48348 HAS SOUPS 48348 WITH SCORE 48402.048
AT ITER 119 NEW BEST:: SOT 120699 SOS 54048 HAS SOPS 54048 HAS SOUS 48347 HAS SOUPS 48347 WITH SCORE 48401.048
AT ITER 127 NEW BEST:: SOT 120617 SOS 53938 HAS SOPS 53938 HAS SOUS 48264 HAS SOUPS 48264 WITH SCORE 48317.938
AT ITER 137 NEW BEST:: SOT 120579 SOS 53940 HAS SOPS 53940 HAS SOUS 48179 HAS SOUPS 48179 WITH SCORE 48232.94
AT ITER 142 NEW BEST:: SOT 120425 SOS 53648 HAS SOPS 53648 HAS SOUS 48025 HAS SOUPS 48025 WITH SCORE 48078.648
AT ITER 146 NEW BEST:: SOT 120368 SOS 53651 HAS SOPS 53651 HAS SOUS 47982 HAS SOUPS 47982 WITH SCORE 48035.651
AT ITER 149 NEW BEST:: SOT 120142 SOS 53648 HAS SOPS 53648 HAS SOUS 47790 HAS SOUPS 47790 WITH SCORE 47843.648
AT ITER 155 NEW BEST:: SOT 120111 SOS 53492 HAS SOPS 53492 HAS SOUS 47699 HAS SOUPS 47699 WITH SCORE 47752.492
AT ITER 161 NEW BEST:: SOT 120040 SOS 53421 HAS SOPS 53421 HAS SOUS 47628 HAS SOUPS 47628 WITH SCORE 47681.421
AT ITER 162 NEW BEST:: SOT 120011 SOS 53363 HAS SOPS 53363 HAS SOUS 47599 HAS SOUPS 47599 WITH SCORE 47652.363
AT ITER 163 NEW BEST:: SOT 119880 SOS 53183 HAS SOPS 53183 HAS SOUS 47534 HAS SOUPS 47534 WITH SCORE 47587.183
AT ITER 173 NEW BEST:: SOT 119823 SOS 53102 HAS SOPS 53102 HAS SOUS 47476 HAS SOUPS 47476 WITH SCORE 47529.102
AT ITER 174 NEW BEST:: SOT 119764 SOS 53107 HAS SOPS 53107 HAS SOUS 47358 HAS SOUPS 47358 WITH SCORE 47411.107
AT ITER 183 NEW BEST:: SOT 119711 SOS 53126 HAS SOPS 53126 HAS SOUS 47279 HAS SOUPS 47279 WITH SCORE 47332.126
AT ITER 188 NEW BEST:: SOT 119711 SOS 53109 HAS SOPS 53109 HAS SOUS 47262 HAS SOUPS 47262 WITH SCORE 47315.109
AT ITER 189 NEW BEST:: SOT 119439 SOS 52701 HAS SOPS 52701 HAS SOUS 46854 HAS SOUPS 46854 WITH SCORE 46906.701
AT ITER 193 NEW BEST:: SOT 119428 SOS 52679 HAS SOPS 52679 HAS SOUS 46832 HAS SOUPS 46832 WITH SCORE 46884.679
AT ITER 198 NEW BEST:: SOT 119428 SOS 52535 HAS SOPS 52535 HAS SOUS 46688 HAS SOUPS 46688 WITH SCORE 46740.535
AT ITER 206 NEW BEST:: SOT 119414 SOS 52507 HAS SOPS 52507 HAS SOUS 46660 HAS SOUPS 46660 WITH SCORE 46712.507
AT ITER 211 NEW BEST:: SOT 119385 SOS 52449 HAS SOPS 52449 HAS SOUS 46602 HAS SOUPS 46602 WITH SCORE 46654.449
AT ITER 216 NEW BEST:: SOT 119308 SOS 52180 HAS SOPS 52180 HAS SOUS 46333 HAS SOUPS 46333 WITH SCORE 46385.18
AT ITER 219 NEW BEST:: SOT 119247 SOS 51997 HAS SOPS 51997 HAS SOUS 46210 HAS SOUPS 46210 WITH SCORE 46261.997
AT ITER 221 NEW BEST:: SOT 119213 SOS 51946 HAS SOPS 51946 HAS SOUS 46159 HAS SOUPS 46159 WITH SCORE 46210.946
AT ITER 226 NEW BEST:: SOT 119203 SOS 51761 HAS SOPS 51761 HAS SOUS 46149 HAS SOUPS 46149 WITH SCORE 46200.761
AT ITER 232 NEW BEST:: SOT 116510 SOS 49210 HAS SOPS 49210 HAS SOUS 43565 HAS SOUPS 43565 WITH SCORE 43614.21
AT ITER 233 NEW BEST:: SOT 116347 SOS 49083 HAS SOPS 49083 HAS SOUS 43438 HAS SOUPS 43438 WITH SCORE 43487.083
AT ITER 235 NEW BEST:: SOT 116328 SOS 48920 HAS SOPS 48920 HAS SOUS 43400 HAS SOUPS 43400 WITH SCORE 43448.92
AT ITER 236 NEW BEST:: SOT 116307 SOS 48812 HAS SOPS 48812 HAS SOUS 43358 HAS SOUPS 43358 WITH SCORE 43406.812
AT ITER 240 NEW BEST:: SOT 116308 SOS 48656 HAS SOPS 48656 HAS SOUS 43339 HAS SOUPS 43339 WITH SCORE 43387.656
AT ITER 243 NEW BEST:: SOT 116307 SOS 48584 HAS SOPS 48584 HAS SOUS 43337 HAS SOUPS 43337 WITH SCORE 43385.584
AT ITER 249 NEW BEST:: SOT 116266 SOS 48533 HAS SOPS 48533 HAS SOUS 43337 HAS SOUPS 43337 WITH SCORE 43385.533
AT ITER 252 NEW BEST:: SOT 116184 SOS 48488 HAS SOPS 48488 HAS SOUS 43292 HAS SOUPS 43292 WITH SCORE 43340.488
AT ITER 256 NEW BEST:: SOT 115044 SOS 47456 HAS SOPS 47456 HAS SOUS 42059 HAS SOUPS 42059 WITH SCORE 42106.456
AT ITER 259 NEW BEST:: SOT 114971 SOS 47310 HAS SOPS 47310 HAS SOUS 41929 HAS SOUPS 41929 WITH SCORE 41976.31
AT ITER 261 NEW BEST:: SOT 115034 SOS 47308 HAS SOPS 47308 HAS SOUS 41927 HAS SOUPS 41927 WITH SCORE 41974.308
AT ITER 263 NEW BEST:: SOT 114976 SOS 47192 HAS SOPS 47192 HAS SOUS 41811 HAS SOUPS 41811 WITH SCORE 41858.192
AT ITER 268 NEW BEST:: SOT 114114 SOS 46449 HAS SOPS 46449 HAS SOUS 40981 HAS SOUPS 40981 WITH SCORE 41027.449
AT ITER 275 NEW BEST:: SOT 114107 SOS 46491 HAS SOPS 46491 HAS SOUS 40925 HAS SOUPS 40925 WITH SCORE 40971.491
AT ITER 282 NEW BEST:: SOT 114082 SOS 46441 HAS SOPS 46441 HAS SOUS 40875 HAS SOUPS 40875 WITH SCORE 40921.441
AT ITER 299 NEW BEST:: SOT 114058 SOS 46370 HAS SOPS 46370 HAS SOUS 40827 HAS SOUPS 40827 WITH SCORE 40873.37
AT ITER 302 NEW BEST:: SOT 113949 SOS 46046 HAS SOPS 46046 HAS SOUS 40503 HAS SOUPS 40503 WITH SCORE 40549.046
AT ITER 303 NEW BEST:: SOT 113889 SOS 45981 HAS SOPS 45981 HAS SOUS 40438 HAS SOUPS 40438 WITH SCORE 40483.981
AT ITER 311 NEW BEST:: SOT 113852 SOS 45907 HAS SOPS 45907 HAS SOUS 40342 HAS SOUPS 40342 WITH SCORE 40387.907
AT ITER 312 NEW BEST:: SOT 113850 SOS 45905 HAS SOPS 45905 HAS SOUS 40340 HAS SOUPS 40340 WITH SCORE 40385.905
AT ITER 319 NEW BEST:: SOT 113839 SOS 45861 HAS SOPS 45861 HAS SOUS 40312 HAS SOUPS 40312 WITH SCORE 40357.861
AT ITER 322 NEW BEST:: SOT 113866 SOS 45787 HAS SOPS 45787 HAS SOUS 40251 HAS SOUPS 40251 WITH SCORE 40296.787
AT ITER 325 NEW BEST:: SOT 113792 SOS 45639 HAS SOPS 45639 HAS SOUS 40103 HAS SOUPS 40103 WITH SCORE 40148.639
AT ITER 329 NEW BEST:: SOT 113670 SOS 45263 HAS SOPS 45263 HAS SOUS 39859 HAS SOUPS 39859 WITH SCORE 39904.263
AT ITER 340 NEW BEST:: SOT 113618 SOS 45107 HAS SOPS 45107 HAS SOUS 39716 HAS SOUPS 39716 WITH SCORE 39761.107
AT ITER 343 NEW BEST:: SOT 113546 SOS 45049 HAS SOPS 45049 HAS SOUS 39616 HAS SOUPS 39616 WITH SCORE 39661.049
AT ITER 344 NEW BEST:: SOT 113418 SOS 44845 HAS SOPS 44845 HAS SOUS 39412 HAS SOUPS 39412 WITH SCORE 39456.845
AT ITER 347 NEW BEST:: SOT 113212 SOS 44829 HAS SOPS 44829 HAS SOUS 39382 HAS SOUPS 39382 WITH SCORE 39426.829
AT ITER 350 NEW BEST:: SOT 113178 SOS 44761 HAS SOPS 44761 HAS SOUS 39314 HAS SOUPS 39314 WITH SCORE 39358.761
AT ITER 362 NEW BEST:: SOT 113161 SOS 44735 HAS SOPS 44735 HAS SOUS 39269 HAS SOUPS 39269 WITH SCORE 39313.735
AT ITER 369 NEW BEST:: SOT 113088 SOS 44541 HAS SOPS 44541 HAS SOUS 39114 HAS SOUPS 39114 WITH SCORE 39158.541
AT ITER 375 NEW BEST:: SOT 113077 SOS 44530 HAS SOPS 44530 HAS SOUS 39103 HAS SOUPS 39103 WITH SCORE 39147.53
AT ITER 401 NEW BEST:: SOT 112910 SOS 44315 HAS SOPS 44315 HAS SOUS 38849 HAS SOUPS 38849 WITH SCORE 38893.315
AT ITER 402 NEW BEST:: SOT 112817 SOS 44191 HAS SOPS 44191 HAS SOUS 38725 HAS SOUPS 38725 WITH SCORE 38769.191
AT ITER 407 NEW BEST:: SOT 112817 SOS 44149 HAS SOPS 44149 HAS SOUS 38725 HAS SOUPS 38725 WITH SCORE 38769.149
AT ITER 408 NEW BEST:: SOT 112855 SOS 44137 HAS SOPS 44137 HAS SOUS 38713 HAS SOUPS 38713 WITH SCORE 38757.137
AT ITER 410 NEW BEST:: SOT 112958 SOS 44197 HAS SOPS 44197 HAS SOUS 38679 HAS SOUPS 38679 WITH SCORE 38723.197
AT ITER 412 NEW BEST:: SOT 112958 SOS 44175 HAS SOPS 44175 HAS SOUS 38679 HAS SOUPS 38679 WITH SCORE 38723.175
AT ITER 416 NEW BEST:: SOT 112920 SOS 44143 HAS SOPS 44143 HAS SOUS 38647 HAS SOUPS 38647 WITH SCORE 38691.143
AT ITER 423 NEW BEST:: SOT 111993 SOS 43246 HAS SOPS 43246 HAS SOUS 37750 HAS SOUPS 37750 WITH SCORE 37793.246
AT ITER 424 NEW BEST:: SOT 111937 SOS 43190 HAS SOPS 43190 HAS SOUS 37694 HAS SOUPS 37694 WITH SCORE 37737.19
AT ITER 426 NEW BEST:: SOT 111913 SOS 43118 HAS SOPS 43118 HAS SOUS 37646 HAS SOUPS 37646 WITH SCORE 37689.118
AT ITER 440 NEW BEST:: SOT 111865 SOS 43022 HAS SOPS 43022 HAS SOUS 37545 HAS SOUPS 37545 WITH SCORE 37588.022
AT ITER 441 NEW BEST:: SOT 111706 SOS 42682 HAS SOPS 42682 HAS SOUS 37227 HAS SOUPS 37227 WITH SCORE 37269.682
AT ITER 445 NEW BEST:: SOT 111661 SOS 42503 HAS SOPS 42503 HAS SOUS 37198 HAS SOUPS 37198 WITH SCORE 37240.503
AT ITER 447 NEW BEST:: SOT 111683 SOS 42535 HAS SOPS 42535 HAS SOUS 37023 HAS SOUPS 37023 WITH SCORE 37065.535
AT ITER 459 NEW BEST:: SOT 111655 SOS 42440 HAS SOPS 42440 HAS SOUS 36957 HAS SOUPS 36957 WITH SCORE 36999.44
AT ITER 461 NEW BEST:: SOT 111702 SOS 42349 HAS SOPS 42349 HAS SOUS 36866 HAS SOUPS 36866 WITH SCORE 36908.349
AT ITER 465 NEW BEST:: SOT 111697 SOS 42344 HAS SOPS 42344 HAS SOUS 36866 HAS SOUPS 36866 WITH SCORE 36908.344
AT ITER 471 NEW BEST:: SOT 111683 SOS 42316 HAS SOPS 42316 HAS SOUS 36851 HAS SOUPS 36851 WITH SCORE 36893.316
AT ITER 483 NEW BEST:: SOT 111670 SOS 42290 HAS SOPS 42290 HAS SOUS 36838 HAS SOUPS 36838 WITH SCORE 36880.29
AT ITER 489 NEW BEST:: SOT 111638 SOS 42288 HAS SOPS 42288 HAS SOUS 36790 HAS SOUPS 36790 WITH SCORE 36832.288
AT ITER 490 NEW BEST:: SOT 111667 SOS 42353 HAS SOPS 42353 HAS SOUS 36787 HAS SOUPS 36787 WITH SCORE 36829.353
AT ITER 499 NEW BEST:: SOT 111624 SOS 42309 HAS SOPS 42309 HAS SOUS 36743 HAS SOUPS 36743 WITH SCORE 36785.309
AT ITER 500 NEW BEST:: SOT 111546 SOS 42097 HAS SOPS 42097 HAS SOUS 36571 HAS SOUPS 36571 WITH SCORE 36613.097
AT ITER 506 NEW BEST:: SOT 111155 SOS 41540 HAS SOPS 41540 HAS SOUS 36014 HAS SOUPS 36014 WITH SCORE 36055.54
AT ITER 508 NEW BEST:: SOT 111186 SOS 41519 HAS SOPS 41519 HAS SOUS 36007 HAS SOUPS 36007 WITH SCORE 36048.519
AT ITER 528 NEW BEST:: SOT 111137 SOS 41372 HAS SOPS 41372 HAS SOUS 35909 HAS SOUPS 35909 WITH SCORE 35950.372
AT ITER 533 NEW BEST:: SOT 111139 SOS 41329 HAS SOPS 41329 HAS SOUS 35866 HAS SOUPS 35866 WITH SCORE 35907.329
AT ITER 541 NEW BEST:: SOT 111139 SOS 41309 HAS SOPS 41309 HAS SOUS 35846 HAS SOUPS 35846 WITH SCORE 35887.309
AT ITER 545 NEW BEST:: SOT 111053 SOS 41280 HAS SOPS 41280 HAS SOUS 35817 HAS SOUPS 35817 WITH SCORE 35858.28
AT ITER 556 NEW BEST:: SOT 111053 SOS 41225 HAS SOPS 41225 HAS SOUS 35804 HAS SOUPS 35804 WITH SCORE 35845.225
AT ITER 557 NEW BEST:: SOT 110964 SOS 41098 HAS SOPS 41098 HAS SOUS 35626 HAS SOUPS 35626 WITH SCORE 35667.098
AT ITER 573 NEW BEST:: SOT 110956 SOS 41090 HAS SOPS 41090 HAS SOUS 35616 HAS SOUPS 35616 WITH SCORE 35657.09
AT ITER 578 NEW BEST:: SOT 110928 SOS 41048 HAS SOPS 41048 HAS SOUS 35574 HAS SOUPS 35574 WITH SCORE 35615.048
AT ITER 585 NEW BEST:: SOT 110932 SOS 41039 HAS SOPS 41039 HAS SOUS 35567 HAS SOUPS 35567 WITH SCORE 35608.039
AT ITER 594 NEW BEST:: SOT 110918 SOS 40999 HAS SOPS 40999 HAS SOUS 35550 HAS SOUPS 35550 WITH SCORE 35590.999
AT ITER 595 NEW BEST:: SOT 110822 SOS 40927 HAS SOPS 40927 HAS SOUS 35550 HAS SOUPS 35550 WITH SCORE 35590.927
AT ITER 603 NEW BEST:: SOT 110770 SOS 40849 HAS SOPS 40849 HAS SOUS 35472 HAS SOUPS 35472 WITH SCORE 35512.849
AT ITER 608 NEW BEST:: SOT 110808 SOS 40876 HAS SOPS 40876 HAS SOUS 35455 HAS SOUPS 35455 WITH SCORE 35495.876
AT ITER 612 NEW BEST:: SOT 110722 SOS 40760 HAS SOPS 40760 HAS SOUS 35390 HAS SOUPS 35390 WITH SCORE 35430.76
AT ITER 635 NEW BEST:: SOT 110144 SOS 42278 HAS SOPS 42278 HAS SOUS 34988 HAS SOUPS 34988 WITH SCORE 35030.278
AT ITER 638 NEW BEST:: SOT 110139 SOS 42268 HAS SOPS 42268 HAS SOUS 34983 HAS SOUPS 34983 WITH SCORE 35025.268
AT ITER 641 NEW BEST:: SOT 110109 SOS 42208 HAS SOPS 42208 HAS SOUS 34956 HAS SOUPS 34956 WITH SCORE 34998.208
AT ITER 645 NEW BEST:: SOT 110031 SOS 42196 HAS SOPS 42196 HAS SOUS 34788 HAS SOUPS 34788 WITH SCORE 34830.196
AT ITER 650 NEW BEST:: SOT 110021 SOS 42176 HAS SOPS 42176 HAS SOUS 34768 HAS SOUPS 34768 WITH SCORE 34810.176
AT ITER 660 NEW BEST:: SOT 110023 SOS 42162 HAS SOPS 42162 HAS SOUS 34703 HAS SOUPS 34703 WITH SCORE 34745.162
AT ITER 669 NEW BEST:: SOT 110012 SOS 42151 HAS SOPS 42151 HAS SOUS 34681 HAS SOUPS 34681 WITH SCORE 34723.151
AT ITER 691 NEW BEST:: SOT 109986 SOS 41865 HAS SOPS 41865 HAS SOUS 34629 HAS SOUPS 34629 WITH SCORE 34670.865
AT ITER 702 NEW BEST:: SOT 110044 SOS 41923 HAS SOPS 41923 HAS SOUS 34589 HAS SOUPS 34589 WITH SCORE 34630.923
AT ITER 710 NEW BEST:: SOT 110010 SOS 41855 HAS SOPS 41855 HAS SOUS 34577 HAS SOUPS 34577 WITH SCORE 34618.855
AT ITER 712 NEW BEST:: SOT 109891 SOS 41617 HAS SOPS 41617 HAS SOUS 34339 HAS SOUPS 34339 WITH SCORE 34380.617
AT ITER 717 NEW BEST:: SOT 109895 SOS 41563 HAS SOPS 41563 HAS SOUS 34291 HAS SOUPS 34291 WITH SCORE 34332.563
AT ITER 722 NEW BEST:: SOT 109893 SOS 41555 HAS SOPS 41555 HAS SOUS 34289 HAS SOUPS 34289 WITH SCORE 34330.555
AT ITER 725 NEW BEST:: SOT 109893 SOS 41537 HAS SOPS 41537 HAS SOUS 34289 HAS SOUPS 34289 WITH SCORE 34330.537
AT ITER 730 NEW BEST:: SOT 109891 SOS 41534 HAS SOPS 41534 HAS SOUS 34286 HAS SOUPS 34286 WITH SCORE 34327.534
AT ITER 734 NEW BEST:: SOT 109874 SOS 41405 HAS SOPS 41405 HAS SOUS 34174 HAS SOUPS 34174 WITH SCORE 34215.405
AT ITER 735 NEW BEST:: SOT 109849 SOS 41355 HAS SOPS 41355 HAS SOUS 34149 HAS SOUPS 34149 WITH SCORE 34190.355
AT ITER 742 NEW BEST:: SOT 109851 SOS 41353 HAS SOPS 41353 HAS SOUS 34147 HAS SOUPS 34147 WITH SCORE 34188.353
AT ITER 748 NEW BEST:: SOT 109714 SOS 40962 HAS SOPS 40962 HAS SOUS 33873 HAS SOUPS 33873 WITH SCORE 33913.962
AT ITER 760 NEW BEST:: SOT 109704 SOS 40942 HAS SOPS 40942 HAS SOUS 33858 HAS SOUPS 33858 WITH SCORE 33898.942
AT ITER 761 NEW BEST:: SOT 108106 SOS 42900 HAS SOPS 42900 HAS SOUS 32479 HAS SOUPS 32479 WITH SCORE 32521.9
AT ITER 768 NEW BEST:: SOT 108106 SOS 42900 HAS SOPS 42900 HAS SOUS 32468 HAS SOUPS 32468 WITH SCORE 32510.9
AT ITER 770 NEW BEST:: SOT 108009 SOS 42661 HAS SOPS 42661 HAS SOUS 32268 HAS SOUPS 32268 WITH SCORE 32310.661
AT ITER 777 NEW BEST:: SOT 108009 SOS 42656 HAS SOPS 42656 HAS SOUS 32264 HAS SOUPS 32264 WITH SCORE 32306.656
AT ITER 778 NEW BEST:: SOT 107885 SOS 42415 HAS SOPS 42415 HAS SOUS 32084 HAS SOUPS 32084 WITH SCORE 32126.415
AT ITER 780 NEW BEST:: SOT 107881 SOS 42411 HAS SOPS 42411 HAS SOUS 32080 HAS SOUPS 32080 WITH SCORE 32122.411
AT ITER 791 NEW BEST:: SOT 107833 SOS 42315 HAS SOPS 42315 HAS SOUS 32031 HAS SOUPS 32031 WITH SCORE 32073.315
AT ITER 792 NEW BEST:: SOT 107652 SOS 42119 HAS SOPS 42119 HAS SOUS 31985 HAS SOUPS 31985 WITH SCORE 32027.119
AT ITER 822 NEW BEST:: SOT 107621 SOS 41894 HAS SOPS 41894 HAS SOUS 31923 HAS SOUPS 31923 WITH SCORE 31964.894
AT ITER 828 NEW BEST:: SOT 107620 SOS 41862 HAS SOPS 41862 HAS SOUS 31906 HAS SOUPS 31906 WITH SCORE 31947.862
AT ITER 830 NEW BEST:: SOT 107565 SOS 41752 HAS SOPS 41752 HAS SOUS 31825 HAS SOUPS 31825 WITH SCORE 31866.752
AT ITER 831 NEW BEST:: SOT 107551 SOS 41667 HAS SOPS 41667 HAS SOUS 31740 HAS SOUPS 31740 WITH SCORE 31781.667
AT ITER 838 NEW BEST:: SOT 107474 SOS 41600 HAS SOPS 41600 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31707.6
AT ITER 842 NEW BEST:: SOT 107298 SOS 41279 HAS SOPS 41279 HAS SOUS 31402 HAS SOUPS 31402 WITH SCORE 31443.279
AT ITER 845 NEW BEST:: SOT 107298 SOS 41162 HAS SOPS 41162 HAS SOUS 31402 HAS SOUPS 31402 WITH SCORE 31443.162
AT ITER 860 NEW BEST:: SOT 107279 SOS 41124 HAS SOPS 41124 HAS SOUS 31341 HAS SOUPS 31341 WITH SCORE 31382.124
AT ITER 881 NEW BEST:: SOT 107214 SOS 41054 HAS SOPS 41054 HAS SOUS 31228 HAS SOUPS 31228 WITH SCORE 31269.054
AT ITER 889 NEW BEST:: SOT 107250 SOS 41154 HAS SOPS 41154 HAS SOUS 31203 HAS SOUPS 31203 WITH SCORE 31244.154
AT ITER 898 NEW BEST:: SOT 107218 SOS 41090 HAS SOPS 41090 HAS SOUS 31139 HAS SOUPS 31139 WITH SCORE 31180.09
AT ITER 917 NEW BEST:: SOT 107151 SOS 40936 HAS SOPS 40936 HAS SOUS 30994 HAS SOUPS 30994 WITH SCORE 31034.936
AT ITER 927 NEW BEST:: SOT 107128 SOS 40890 HAS SOPS 40890 HAS SOUS 30994 HAS SOUPS 30994 WITH SCORE 31034.89
AT ITER 944 NEW BEST:: SOT 107062 SOS 40788 HAS SOPS 40788 HAS SOUS 30925 HAS SOUPS 30925 WITH SCORE 30965.788
AT ITER 946 NEW BEST:: SOT 107053 SOS 40708 HAS SOPS 40708 HAS SOUS 30892 HAS SOUPS 30892 WITH SCORE 30932.708
AT ITER 956 NEW BEST:: SOT 107037 SOS 40676 HAS SOPS 40676 HAS SOUS 30860 HAS SOUPS 30860 WITH SCORE 30900.676
AT ITER 983 NEW BEST:: SOT 107031 SOS 40670 HAS SOPS 40670 HAS SOUS 30850 HAS SOUPS 30850 WITH SCORE 30890.67
AT ITER 990 NEW BEST:: SOT 107031 SOS 40677 HAS SOPS 40677 HAS SOUS 30843 HAS SOUPS 30843 WITH SCORE 30883.677
AT ITER 997 NEW BEST:: SOT 107008 SOS 40631 HAS SOPS 40631 HAS SOUS 30780 HAS SOUPS 30780 WITH SCORE 30820.631
AT ITER 1023 NEW BEST:: SOT 106989 SOS 40593 HAS SOPS 40593 HAS SOUS 30742 HAS SOUPS 30742 WITH SCORE 30782.593
AT ITER 1033 NEW BEST:: SOT 106974 SOS 40566 HAS SOPS 40566 HAS SOUS 30718 HAS SOUPS 30718 WITH SCORE 30758.566
AT ITER 1037 NEW BEST:: SOT 106954 SOS 40526 HAS SOPS 40526 HAS SOUS 30689 HAS SOUPS 30689 WITH SCORE 30729.526
AT ITER 1052 NEW BEST:: SOT 106830 SOS 40340 HAS SOPS 40340 HAS SOUS 30503 HAS SOUPS 30503 WITH SCORE 30543.34
AT ITER 1063 NEW BEST:: SOT 106798 SOS 40276 HAS SOPS 40276 HAS SOUS 30439 HAS SOUPS 30439 WITH SCORE 30479.276
AT ITER 1065 NEW BEST:: SOT 106763 SOS 40244 HAS SOPS 40244 HAS SOUS 30437 HAS SOUPS 30437 WITH SCORE 30477.244
AT ITER 1069 NEW BEST:: SOT 106672 SOS 40010 HAS SOPS 40010 HAS SOUS 30255 HAS SOUPS 30255 WITH SCORE 30295.01
AT ITER 1076 NEW BEST:: SOT 106621 SOS 39957 HAS SOPS 39957 HAS SOUS 30202 HAS SOUPS 30202 WITH SCORE 30241.957
AT ITER 1106 NEW BEST:: SOT 106619 SOS 39956 HAS SOPS 39956 HAS SOUS 30198 HAS SOUPS 30198 WITH SCORE 30237.956
AT ITER 1110 NEW BEST:: SOT 106714 SOS 40048 HAS SOPS 40048 HAS SOUS 30192 HAS SOUPS 30192 WITH SCORE 30232.048
AT ITER 1117 NEW BEST:: SOT 106657 SOS 39959 HAS SOPS 39959 HAS SOUS 30107 HAS SOUPS 30107 WITH SCORE 30146.959
AT ITER 1122 NEW BEST:: SOT 106642 SOS 39929 HAS SOPS 39929 HAS SOUS 30092 HAS SOUPS 30092 WITH SCORE 30131.929
AT ITER 1123 NEW BEST:: SOT 106662 SOS 40052 HAS SOPS 40052 HAS SOUS 30088 HAS SOUPS 30088 WITH SCORE 30128.052
AT ITER 1129 NEW BEST:: SOT 106686 SOS 40097 HAS SOPS 40097 HAS SOUS 30048 HAS SOUPS 30048 WITH SCORE 30088.097
AT ITER 1135 NEW BEST:: SOT 106668 SOS 40061 HAS SOPS 40061 HAS SOUS 30012 HAS SOUPS 30012 WITH SCORE 30052.061
AT ITER 1136 NEW BEST:: SOT 106678 SOS 40081 HAS SOPS 40081 HAS SOUS 29991 HAS SOUPS 29991 WITH SCORE 30031.081
AT ITER 1148 NEW BEST:: SOT 106647 SOS 40020 HAS SOPS 40020 HAS SOUS 29959 HAS SOUPS 29959 WITH SCORE 29999.02
AT ITER 1154 NEW BEST:: SOT 106624 SOS 39975 HAS SOPS 39975 HAS SOUS 29935 HAS SOUPS 29935 WITH SCORE 29974.975
AT ITER 1156 NEW BEST:: SOT 106621 SOS 39961 HAS SOPS 39961 HAS SOUS 29916 HAS SOUPS 29916 WITH SCORE 29955.961
AT ITER 1159 NEW BEST:: SOT 106190 SOS 39480 HAS SOPS 39480 HAS SOUS 29485 HAS SOUPS 29485 WITH SCORE 29524.48
AT ITER 1163 NEW BEST:: SOT 106179 SOS 39458 HAS SOPS 39458 HAS SOUS 29463 HAS SOUPS 29463 WITH SCORE 29502.458
AT ITER 1165 NEW BEST:: SOT 106205 SOS 39490 HAS SOPS 39490 HAS SOUS 29406 HAS SOUPS 29406 WITH SCORE 29445.49
AT ITER 1167 NEW BEST:: SOT 106205 SOS 39440 HAS SOPS 39440 HAS SOUS 29356 HAS SOUPS 29356 WITH SCORE 29395.44
AT ITER 1169 NEW BEST:: SOT 106184 SOS 39399 HAS SOPS 39399 HAS SOUS 29334 HAS SOUPS 29334 WITH SCORE 29373.399
AT ITER 1184 NEW BEST:: SOT 106172 SOS 39351 HAS SOPS 39351 HAS SOUS 29310 HAS SOUPS 29310 WITH SCORE 29349.351
AT ITER 1192 NEW BEST:: SOT 106130 SOS 42215 HAS SOPS 42215 HAS SOUS 29294 HAS SOUPS 29294 WITH SCORE 29336.215
AT ITER 1210 NEW BEST:: SOT 106103 SOS 42195 HAS SOPS 42195 HAS SOUS 29266 HAS SOUPS 29266 WITH SCORE 29308.195
AT ITER 1212 NEW BEST:: SOT 106098 SOS 42185 HAS SOPS 42185 HAS SOUS 29235 HAS SOUPS 29235 WITH SCORE 29277.185
AT ITER 1219 NEW BEST:: SOT 106098 SOS 42169 HAS SOPS 42169 HAS SOUS 29235 HAS SOUPS 29235 WITH SCORE 29277.169
AT ITER 1223 NEW BEST:: SOT 106098 SOS 42169 HAS SOPS 42169 HAS SOUS 29160 HAS SOUPS 29160 WITH SCORE 29202.169
AT ITER 1232 NEW BEST:: SOT 106089 SOS 42151 HAS SOPS 42151 HAS SOUS 29127 HAS SOUPS 29127 WITH SCORE 29169.151
AT ITER 1249 NEW BEST:: SOT 106019 SOS 42011 HAS SOPS 42011 HAS SOUS 29057 HAS SOUPS 29057 WITH SCORE 29099.011
AT ITER 1261 NEW BEST:: SOT 105931 SOS 41835 HAS SOPS 41835 HAS SOUS 28897 HAS SOUPS 28897 WITH SCORE 28938.835
AT ITER 1263 NEW BEST:: SOT 105907 SOS 41787 HAS SOPS 41787 HAS SOUS 28849 HAS SOUPS 28849 WITH SCORE 28890.787
AT ITER 1277 NEW BEST:: SOT 105948 SOS 41778 HAS SOPS 41778 HAS SOUS 28839 HAS SOUPS 28839 WITH SCORE 28880.778
AT ITER 1278 NEW BEST:: SOT 105941 SOS 41709 HAS SOPS 41709 HAS SOUS 28786 HAS SOUPS 28786 WITH SCORE 28827.709
AT ITER 1308 NEW BEST:: SOT 105932 SOS 41700 HAS SOPS 41700 HAS SOUS 28786 HAS SOUPS 28786 WITH SCORE 28827.7
AT ITER 1328 NEW BEST:: SOT 105926 SOS 41661 HAS SOPS 41661 HAS SOUS 28753 HAS SOUPS 28753 WITH SCORE 28794.661
AT ITER 1336 NEW BEST:: SOT 105914 SOS 41657 HAS SOPS 41657 HAS SOUS 28749 HAS SOUPS 28749 WITH SCORE 28790.657
AT ITER 1340 NEW BEST:: SOT 105890 SOS 41585 HAS SOPS 41585 HAS SOUS 28701 HAS SOUPS 28701 WITH SCORE 28742.585
AT ITER 1353 NEW BEST:: SOT 105890 SOS 39229 HAS SOPS 39229 HAS SOUS 28664 HAS SOUPS 28664 WITH SCORE 28703.229
AT ITER 1390 NEW BEST:: SOT 105889 SOS 39227 HAS SOPS 39227 HAS SOUS 28662 HAS SOUPS 28662 WITH SCORE 28701.227
AT ITER 1391 NEW BEST:: SOT 105896 SOS 39212 HAS SOPS 39212 HAS SOUS 28661 HAS SOUPS 28661 WITH SCORE 28700.212
AT ITER 1393 NEW BEST:: SOT 105855 SOS 39130 HAS SOPS 39130 HAS SOUS 28579 HAS SOUPS 28579 WITH SCORE 28618.13
AT ITER 1419 NEW BEST:: SOT 105855 SOS 38914 HAS SOPS 38914 HAS SOUS 28579 HAS SOUPS 28579 WITH SCORE 28617.914
AT ITER 1420 NEW BEST:: SOT 105855 SOS 38914 HAS SOPS 38914 HAS SOUS 28577 HAS SOUPS 28577 WITH SCORE 28615.914
AT ITER 1435 NEW BEST:: SOT 105854 SOS 38880 HAS SOPS 38880 HAS SOUS 28542 HAS SOUPS 28542 WITH SCORE 28580.88
AT ITER 1451 NEW BEST:: SOT 105785 SOS 38791 HAS SOPS 38791 HAS SOUS 28489 HAS SOUPS 28489 WITH SCORE 28527.791
AT ITER 1453 NEW BEST:: SOT 105783 SOS 38788 HAS SOPS 38788 HAS SOUS 28486 HAS SOUPS 28486 WITH SCORE 28524.788
AT ITER 1467 NEW BEST:: SOT 105701 SOS 38676 HAS SOPS 38676 HAS SOUS 28353 HAS SOUPS 28353 WITH SCORE 28391.676
AT ITER 1473 NEW BEST:: SOT 105598 SOS 38583 HAS SOPS 38583 HAS SOUS 28224 HAS SOUPS 28224 WITH SCORE 28262.583
AT ITER 1482 NEW BEST:: SOT 105545 SOS 38492 HAS SOPS 38492 HAS SOUS 28133 HAS SOUPS 28133 WITH SCORE 28171.492
AT ITER 1486 NEW BEST:: SOT 105498 SOS 38445 HAS SOPS 38445 HAS SOUS 28086 HAS SOUPS 28086 WITH SCORE 28124.445
AT ITER 1491 NEW BEST:: SOT 105498 SOS 38418 HAS SOPS 38418 HAS SOUS 28059 HAS SOUPS 28059 WITH SCORE 28097.418
AT ITER 1511 NEW BEST:: SOT 105466 SOS 38374 HAS SOPS 38374 HAS SOUS 28015 HAS SOUPS 28015 WITH SCORE 28053.374
AT ITER 1516 NEW BEST:: SOT 105456 SOS 38287 HAS SOPS 38287 HAS SOUS 27995 HAS SOUPS 27995 WITH SCORE 28033.287
AT ITER 1518 NEW BEST:: SOT 105456 SOS 38284 HAS SOPS 38284 HAS SOUS 27992 HAS SOUPS 27992 WITH SCORE 28030.284
AT ITER 1519 NEW BEST:: SOT 105420 SOS 38220 HAS SOPS 38220 HAS SOUS 27941 HAS SOUPS 27941 WITH SCORE 27979.22
AT ITER 1524 NEW BEST:: SOT 105404 SOS 38234 HAS SOPS 38234 HAS SOUS 27925 HAS SOUPS 27925 WITH SCORE 27963.234
AT ITER 1548 NEW BEST:: SOT 105390 SOS 38220 HAS SOPS 38220 HAS SOUS 27919 HAS SOUPS 27919 WITH SCORE 27957.22
AT ITER 1566 NEW BEST:: SOT 105383 SOS 38213 HAS SOPS 38213 HAS SOUS 27912 HAS SOUPS 27912 WITH SCORE 27950.213
AT ITER 1571 NEW BEST:: SOT 105296 SOS 38039 HAS SOPS 38039 HAS SOUS 27846 HAS SOUPS 27846 WITH SCORE 27884.039
AT ITER 1581 NEW BEST:: SOT 105231 SOS 37988 HAS SOPS 37988 HAS SOUS 27842 HAS SOUPS 27842 WITH SCORE 27879.988
AT ITER 1586 NEW BEST:: SOT 105225 SOS 37954 HAS SOPS 37954 HAS SOUS 27836 HAS SOUPS 27836 WITH SCORE 27873.954
AT ITER 1607 NEW BEST:: SOT 105224 SOS 37863 HAS SOPS 37863 HAS SOUS 27797 HAS SOUPS 27797 WITH SCORE 27834.863
AT ITER 1609 NEW BEST:: SOT 105150 SOS 37829 HAS SOPS 37829 HAS SOUS 27743 HAS SOUPS 27743 WITH SCORE 27780.829
AT ITER 1613 NEW BEST:: SOT 105127 SOS 37783 HAS SOPS 37783 HAS SOUS 27663 HAS SOUPS 27663 WITH SCORE 27700.783
AT ITER 1625 NEW BEST:: SOT 105031 SOS 37894 HAS SOPS 37894 HAS SOUS 27634 HAS SOUPS 27634 WITH SCORE 27671.894
AT ITER 1628 NEW BEST:: SOT 105027 SOS 37927 HAS SOPS 37927 HAS SOUS 27626 HAS SOUPS 27626 WITH SCORE 27663.927
AT ITER 1630 NEW BEST:: SOT 104993 SOS 37820 HAS SOPS 37820 HAS SOUS 27558 HAS SOUPS 27558 WITH SCORE 27595.82
AT ITER 1637 NEW BEST:: SOT 104987 SOS 37820 HAS SOPS 37820 HAS SOUS 27552 HAS SOUPS 27552 WITH SCORE 27589.82
AT ITER 1638 NEW BEST:: SOT 104982 SOS 37882 HAS SOPS 37882 HAS SOUS 27542 HAS SOUPS 27542 WITH SCORE 27579.882
AT ITER 1643 NEW BEST:: SOT 104969 SOS 37852 HAS SOPS 37852 HAS SOUS 27533 HAS SOUPS 27533 WITH SCORE 27570.852
AT ITER 1659 NEW BEST:: SOT 104954 SOS 37870 HAS SOPS 37870 HAS SOUS 27526 HAS SOUPS 27526 WITH SCORE 27563.87
AT ITER 1661 NEW BEST:: SOT 104945 SOS 37866 HAS SOPS 37866 HAS SOUS 27522 HAS SOUPS 27522 WITH SCORE 27559.866
AT ITER 1666 NEW BEST:: SOT 104942 SOS 37797 HAS SOPS 37797 HAS SOUS 27453 HAS SOUPS 27453 WITH SCORE 27490.797
AT ITER 1667 NEW BEST:: SOT 104961 SOS 37765 HAS SOPS 37765 HAS SOUS 27436 HAS SOUPS 27436 WITH SCORE 27473.765
AT ITER 1691 NEW BEST:: SOT 104955 SOS 37759 HAS SOPS 37759 HAS SOUS 27424 HAS SOUPS 27424 WITH SCORE 27461.759
AT ITER 1693 NEW BEST:: SOT 104954 SOS 37758 HAS SOPS 37758 HAS SOUS 27422 HAS SOUPS 27422 WITH SCORE 27459.758
AT ITER 1697 NEW BEST:: SOT 104842 SOS 37597 HAS SOPS 37597 HAS SOUS 27276 HAS SOUPS 27276 WITH SCORE 27313.597
AT ITER 1726 NEW BEST:: SOT 104889 SOS 37559 HAS SOPS 37559 HAS SOUS 27238 HAS SOUPS 27238 WITH SCORE 27275.559
AT ITER 1733 NEW BEST:: SOT 104890 SOS 37551 HAS SOPS 37551 HAS SOUS 27236 HAS SOUPS 27236 WITH SCORE 27273.551
AT ITER 1739 NEW BEST:: SOT 104861 SOS 37522 HAS SOPS 37522 HAS SOUS 27209 HAS SOUPS 27209 WITH SCORE 27246.522
AT ITER 1741 NEW BEST:: SOT 104845 SOS 37501 HAS SOPS 37501 HAS SOUS 27188 HAS SOUPS 27188 WITH SCORE 27225.501
AT ITER 1742 NEW BEST:: SOT 104845 SOS 37482 HAS SOPS 37482 HAS SOUS 27188 HAS SOUPS 27188 WITH SCORE 27225.482
AT ITER 1743 NEW BEST:: SOT 104805 SOS 37400 HAS SOPS 37400 HAS SOUS 27108 HAS SOUPS 27108 WITH SCORE 27145.4
AT ITER 1747 NEW BEST:: SOT 104785 SOS 37360 HAS SOPS 37360 HAS SOUS 27088 HAS SOUPS 27088 WITH SCORE 27125.36
AT ITER 1754 NEW BEST:: SOT 104754 SOS 37329 HAS SOPS 37329 HAS SOUS 27057 HAS SOUPS 27057 WITH SCORE 27094.329
AT ITER 1759 NEW BEST:: SOT 104805 SOS 37350 HAS SOPS 37350 HAS SOUS 27055 HAS SOUPS 27055 WITH SCORE 27092.35
AT ITER 1761 NEW BEST:: SOT 104799 SOS 37338 HAS SOPS 37338 HAS SOUS 27043 HAS SOUPS 27043 WITH SCORE 27080.338
AT ITER 1768 NEW BEST:: SOT 104826 SOS 37340 HAS SOPS 37340 HAS SOUS 26991 HAS SOUPS 26991 WITH SCORE 27028.34
AT ITER 1770 NEW BEST:: SOT 104793 SOS 37274 HAS SOPS 37274 HAS SOUS 26948 HAS SOUPS 26948 WITH SCORE 26985.274
AT ITER 1784 NEW BEST:: SOT 104765 SOS 37218 HAS SOPS 37218 HAS SOUS 26829 HAS SOUPS 26829 WITH SCORE 26866.218
AT ITER 1785 NEW BEST:: SOT 104743 SOS 37174 HAS SOPS 37174 HAS SOUS 26807 HAS SOUPS 26807 WITH SCORE 26844.174
AT ITER 1788 NEW BEST:: SOT 104698 SOS 37111 HAS SOPS 37111 HAS SOUS 26744 HAS SOUPS 26744 WITH SCORE 26781.111
AT ITER 1806 NEW BEST:: SOT 104659 SOS 37053 HAS SOPS 37053 HAS SOUS 26714 HAS SOUPS 26714 WITH SCORE 26751.053
AT ITER 1817 NEW BEST:: SOT 104579 SOS 36893 HAS SOPS 36893 HAS SOUS 26561 HAS SOUPS 26561 WITH SCORE 26597.893
AT ITER 1819 NEW BEST:: SOT 104558 SOS 36851 HAS SOPS 36851 HAS SOUS 26525 HAS SOUPS 26525 WITH SCORE 26561.851
AT ITER 1846 NEW BEST:: SOT 104553 SOS 36841 HAS SOPS 36841 HAS SOUS 26515 HAS SOUPS 26515 WITH SCORE 26551.841
AT ITER 1855 NEW BEST:: SOT 104417 SOS 38527 HAS SOPS 38527 HAS SOUS 26466 HAS SOUPS 26466 WITH SCORE 26504.527
AT ITER 1857 NEW BEST:: SOT 104375 SOS 38485 HAS SOPS 38485 HAS SOUS 26424 HAS SOUPS 26424 WITH SCORE 26462.485
AT ITER 1860 NEW BEST:: SOT 104381 SOS 38471 HAS SOPS 38471 HAS SOUS 26410 HAS SOUPS 26410 WITH SCORE 26448.471
AT ITER 1864 NEW BEST:: SOT 104267 SOS 38294 HAS SOPS 38294 HAS SOUS 26292 HAS SOUPS 26292 WITH SCORE 26330.294
AT ITER 1883 NEW BEST:: SOT 104260 SOS 38168 HAS SOPS 38168 HAS SOUS 26166 HAS SOUPS 26166 WITH SCORE 26204.168
AT ITER 1956 NEW BEST:: SOT 104256 SOS 38156 HAS SOPS 38156 HAS SOUS 26158 HAS SOUPS 26158 WITH SCORE 26196.156
AT ITER 1967 NEW BEST:: SOT 104251 SOS 36664 HAS SOPS 36664 HAS SOUS 26148 HAS SOUPS 26148 WITH SCORE 26184.664
AT ITER 1982 NEW BEST:: SOT 104245 SOS 36646 HAS SOPS 36646 HAS SOUS 26136 HAS SOUPS 26136 WITH SCORE 26172.646
AT ITER 1995 NEW BEST:: SOT 104218 SOS 36528 HAS SOPS 36528 HAS SOUS 26104 HAS SOUPS 26104 WITH SCORE 26140.528
AT ITER 2030 NEW BEST:: SOT 104197 SOS 36486 HAS SOPS 36486 HAS SOUS 26062 HAS SOUPS 26062 WITH SCORE 26098.486
AT ITER 2031 NEW BEST:: SOT 104200 SOS 36492 HAS SOPS 36492 HAS SOUS 26026 HAS SOUPS 26026 WITH SCORE 26062.492
AT ITER 2048 NEW BEST:: SOT 104182 SOS 36444 HAS SOPS 36444 HAS SOUS 25945 HAS SOUPS 25945 WITH SCORE 25981.444
AT ITER 2054 NEW BEST:: SOT 104181 SOS 36442 HAS SOPS 36442 HAS SOUS 25944 HAS SOUPS 25944 WITH SCORE 25980.442
AT ITER 2057 NEW BEST:: SOT 104171 SOS 36422 HAS SOPS 36422 HAS SOUS 25924 HAS SOUPS 25924 WITH SCORE 25960.422
AT ITER 2080 NEW BEST:: SOT 104149 SOS 36378 HAS SOPS 36378 HAS SOUS 25902 HAS SOUPS 25902 WITH SCORE 25938.378
AT ITER 2099 NEW BEST:: SOT 104159 SOS 36398 HAS SOPS 36398 HAS SOUS 25899 HAS SOUPS 25899 WITH SCORE 25935.398
AT ITER 2101 NEW BEST:: SOT 104151 SOS 36390 HAS SOPS 36390 HAS SOUS 25883 HAS SOUPS 25883 WITH SCORE 25919.39
AT ITER 2107 NEW BEST:: SOT 104105 SOS 36298 HAS SOPS 36298 HAS SOUS 25878 HAS SOUPS 25878 WITH SCORE 25914.298
AT ITER 2109 NEW BEST:: SOT 104060 SOS 36246 HAS SOPS 36246 HAS SOUS 25873 HAS SOUPS 25873 WITH SCORE 25909.246
AT ITER 2131 NEW BEST:: SOT 104071 SOS 36190 HAS SOPS 36190 HAS SOUS 25823 HAS SOUPS 25823 WITH SCORE 25859.19
AT ITER 2147 NEW BEST:: SOT 104065 SOS 36178 HAS SOPS 36178 HAS SOUS 25807 HAS SOUPS 25807 WITH SCORE 25843.178
AT ITER 2153 NEW BEST:: SOT 104045 SOS 36060 HAS SOPS 36060 HAS SOUS 25728 HAS SOUPS 25728 WITH SCORE 25764.06
AT ITER 2161 NEW BEST:: SOT 104045 SOS 36014 HAS SOPS 36014 HAS SOUS 25728 HAS SOUPS 25728 WITH SCORE 25764.014
AT ITER 2165 NEW BEST:: SOT 104025 SOS 35958 HAS SOPS 35958 HAS SOUS 25672 HAS SOUPS 25672 WITH SCORE 25707.958
AT ITER 2171 NEW BEST:: SOT 104009 SOS 35927 HAS SOPS 35927 HAS SOUS 25655 HAS SOUPS 25655 WITH SCORE 25690.927
AT ITER 2213 NEW BEST:: SOT 104009 SOS 35921 HAS SOPS 35921 HAS SOUS 25649 HAS SOUPS 25649 WITH SCORE 25684.921
AT ITER 2218 NEW BEST:: SOT 103986 SOS 35889 HAS SOPS 35889 HAS SOUS 25612 HAS SOUPS 25612 WITH SCORE 25647.889
AT ITER 2227 NEW BEST:: SOT 103972 SOS 35861 HAS SOPS 35861 HAS SOUS 25572 HAS SOUPS 25572 WITH SCORE 25607.861
AT ITER 2239 NEW BEST:: SOT 103966 SOS 35850 HAS SOPS 35850 HAS SOUS 25565 HAS SOUPS 25565 WITH SCORE 25600.85
AT ITER 2262 NEW BEST:: SOT 103944 SOS 35806 HAS SOPS 35806 HAS SOUS 25559 HAS SOUPS 25559 WITH SCORE 25594.806
AT ITER 2267 NEW BEST:: SOT 103930 SOS 35806 HAS SOPS 35806 HAS SOUS 25558 HAS SOUPS 25558 WITH SCORE 25593.806
AT ITER 2279 NEW BEST:: SOT 103927 SOS 35800 HAS SOPS 35800 HAS SOUS 25552 HAS SOUPS 25552 WITH SCORE 25587.8
AT ITER 2297 NEW BEST:: SOT 103929 SOS 35796 HAS SOPS 35796 HAS SOUS 25548 HAS SOUPS 25548 WITH SCORE 25583.796
AT ITER 2306 NEW BEST:: SOT 103921 SOS 35774 HAS SOPS 35774 HAS SOUS 25532 HAS SOUPS 25532 WITH SCORE 25567.774
AT ITER 2313 NEW BEST:: SOT 103838 SOS 35608 HAS SOPS 35608 HAS SOUS 25352 HAS SOUPS 25352 WITH SCORE 25387.608
AT ITER 2319 NEW BEST:: SOT 103831 SOS 35634 HAS SOPS 35634 HAS SOUS 25347 HAS SOUPS 25347 WITH SCORE 25382.634
AT ITER 2333 NEW BEST:: SOT 103831 SOS 35601 HAS SOPS 35601 HAS SOUS 25347 HAS SOUPS 25347 WITH SCORE 25382.601
AT ITER 2353 NEW BEST:: SOT 103756 SOS 35489 HAS SOPS 35489 HAS SOUS 25318 HAS SOUPS 25318 WITH SCORE 25353.489
AT ITER 2356 NEW BEST:: SOT 103713 SOS 35397 HAS SOPS 35397 HAS SOUS 25275 HAS SOUPS 25275 WITH SCORE 25310.397
AT ITER 2379 NEW BEST:: SOT 103712 SOS 35396 HAS SOPS 35396 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25308.396
AT ITER 2399 NEW BEST:: SOT 103712 SOS 35396 HAS SOPS 35396 HAS SOUS 25262 HAS SOUPS 25262 WITH SCORE 25297.396
AT ITER 2426 NEW BEST:: SOT 103708 SOS 35386 HAS SOPS 35386 HAS SOUS 25260 HAS SOUPS 25260 WITH SCORE 25295.386
AT ITER 2432 NEW BEST:: SOT 103707 SOS 35385 HAS SOPS 35385 HAS SOUS 25259 HAS SOUPS 25259 WITH SCORE 25294.385
AT ITER 2433 NEW BEST:: SOT 103659 SOS 35369 HAS SOPS 35369 HAS SOUS 25243 HAS SOUPS 25243 WITH SCORE 25278.369
AT ITER 2438 NEW BEST:: SOT 103660 SOS 35336 HAS SOPS 35336 HAS SOUS 25213 HAS SOUPS 25213 WITH SCORE 25248.336
AT ITER 2439 NEW BEST:: SOT 103753 SOS 35479 HAS SOPS 35479 HAS SOUS 25211 HAS SOUPS 25211 WITH SCORE 25246.479
AT ITER 2448 NEW BEST:: SOT 103761 SOS 35495 HAS SOPS 35495 HAS SOUS 25183 HAS SOUPS 25183 WITH SCORE 25218.495
AT ITER 2449 NEW BEST:: SOT 103810 SOS 35544 HAS SOPS 35544 HAS SOUS 25175 HAS SOUPS 25175 WITH SCORE 25210.544
AT ITER 2474 NEW BEST:: SOT 103786 SOS 35479 HAS SOPS 35479 HAS SOUS 25110 HAS SOUPS 25110 WITH SCORE 25145.479
AT ITER 2475 NEW BEST:: SOT 103746 SOS 35399 HAS SOPS 35399 HAS SOUS 25046 HAS SOUPS 25046 WITH SCORE 25081.399
AT ITER 2478 NEW BEST:: SOT 103738 SOS 35517 HAS SOPS 35517 HAS SOUS 25030 HAS SOUPS 25030 WITH SCORE 25065.517
AT ITER 2482 NEW BEST:: SOT 103736 SOS 35513 HAS SOPS 35513 HAS SOUS 25028 HAS SOUPS 25028 WITH SCORE 25063.513
AT ITER 2512 NEW BEST:: SOT 103700 SOS 35472 HAS SOPS 35472 HAS SOUS 24961 HAS SOUPS 24961 WITH SCORE 24996.472
AT ITER 2551 NEW BEST:: SOT 103695 SOS 35457 HAS SOPS 35457 HAS SOUS 24954 HAS SOUPS 24954 WITH SCORE 24989.457
AT ITER 2552 NEW BEST:: SOT 103682 SOS 35430 HAS SOPS 35430 HAS SOUS 24942 HAS SOUPS 24942 WITH SCORE 24977.43
AT ITER 2556 NEW BEST:: SOT 103668 SOS 35388 HAS SOPS 35388 HAS SOUS 24906 HAS SOUPS 24906 WITH SCORE 24941.388
AT ITER 2558 NEW BEST:: SOT 103668 SOS 35348 HAS SOPS 35348 HAS SOUS 24906 HAS SOUPS 24906 WITH SCORE 24941.348
AT ITER 2563 NEW BEST:: SOT 103659 SOS 35330 HAS SOPS 35330 HAS SOUS 24888 HAS SOUPS 24888 WITH SCORE 24923.33
AT ITER 2572 NEW BEST:: SOT 103618 SOS 35187 HAS SOPS 35187 HAS SOUS 24782 HAS SOUPS 24782 WITH SCORE 24817.187
AT ITER 2589 NEW BEST:: SOT 103611 SOS 35173 HAS SOPS 35173 HAS SOUS 24775 HAS SOUPS 24775 WITH SCORE 24810.173
AT ITER 2590 NEW BEST:: SOT 103585 SOS 35072 HAS SOPS 35072 HAS SOUS 24721 HAS SOUPS 24721 WITH SCORE 24756.072
AT ITER 2591 NEW BEST:: SOT 103579 SOS 35066 HAS SOPS 35066 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24750.066
AT ITER 2607 NEW BEST:: SOT 103577 SOS 35065 HAS SOPS 35065 HAS SOUS 24714 HAS SOUPS 24714 WITH SCORE 24749.065
AT ITER 2609 NEW BEST:: SOT 103523 SOS 35019 HAS SOPS 35019 HAS SOUS 24668 HAS SOUPS 24668 WITH SCORE 24703.019
AT ITER 2654 NEW BEST:: SOT 103525 SOS 35023 HAS SOPS 35023 HAS SOUS 24666 HAS SOUPS 24666 WITH SCORE 24701.023
AT ITER 2664 NEW BEST:: SOT 103525 SOS 35023 HAS SOPS 35023 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24694.023
AT ITER 2689 NEW BEST:: SOT 103522 SOS 35017 HAS SOPS 35017 HAS SOUS 24653 HAS SOUPS 24653 WITH SCORE 24688.017
AT ITER 2694 NEW BEST:: SOT 103517 SOS 35007 HAS SOPS 35007 HAS SOUS 24643 HAS SOUPS 24643 WITH SCORE 24678.007
AT ITER 2714 NEW BEST:: SOT 103516 SOS 35012 HAS SOPS 35012 HAS SOUS 24641 HAS SOUPS 24641 WITH SCORE 24676.012
AT ITER 2732 NEW BEST:: SOT 103524 SOS 34727 HAS SOPS 34727 HAS SOUS 24627 HAS SOUPS 24627 WITH SCORE 24661.727
AT ITER 2740 NEW BEST:: SOT 103526 SOS 34731 HAS SOPS 34731 HAS SOUS 24611 HAS SOUPS 24611 WITH SCORE 24645.731
AT ITER 2742 NEW BEST:: SOT 103524 SOS 34730 HAS SOPS 34730 HAS SOUS 24610 HAS SOUPS 24610 WITH SCORE 24644.73
AT ITER 2745 NEW BEST:: SOT 103404 SOS 34490 HAS SOPS 34490 HAS SOUS 24610 HAS SOUPS 24610 WITH SCORE 24644.49
AT ITER 2746 NEW BEST:: SOT 103389 SOS 34407 HAS SOPS 34407 HAS SOUS 24580 HAS SOUPS 24580 WITH SCORE 24614.407
AT ITER 2747 NEW BEST:: SOT 103383 SOS 34430 HAS SOPS 34430 HAS SOUS 24577 HAS SOUPS 24577 WITH SCORE 24611.43
AT ITER 2755 NEW BEST:: SOT 103345 SOS 34406 HAS SOPS 34406 HAS SOUS 24501 HAS SOUPS 24501 WITH SCORE 24535.406
AT ITER 2799 NEW BEST:: SOT 103263 SOS 34227 HAS SOPS 34227 HAS SOUS 24322 HAS SOUPS 24322 WITH SCORE 24356.227
AT ITER 2820 NEW BEST:: SOT 103251 SOS 34227 HAS SOPS 34227 HAS SOUS 24310 HAS SOUPS 24310 WITH SCORE 24344.227
AT ITER 2828 NEW BEST:: SOT 103240 SOS 34205 HAS SOPS 34205 HAS SOUS 24299 HAS SOUPS 24299 WITH SCORE 24333.205
AT ITER 2841 NEW BEST:: SOT 103240 SOS 34198 HAS SOPS 34198 HAS SOUS 24292 HAS SOUPS 24292 WITH SCORE 24326.198
AT ITER 2876 NEW BEST:: SOT 103246 SOS 34202 HAS SOPS 34202 HAS SOUS 24282 HAS SOUPS 24282 WITH SCORE 24316.202
AT ITER 2879 NEW BEST:: SOT 103315 SOS 34178 HAS SOPS 34178 HAS SOUS 24258 HAS SOUPS 24258 WITH SCORE 24292.178
AT ITER 2889 NEW BEST:: SOT 103301 SOS 34157 HAS SOPS 34157 HAS SOUS 24237 HAS SOUPS 24237 WITH SCORE 24271.157
AT ITER 2900 NEW BEST:: SOT 103301 SOS 34157 HAS SOPS 34157 HAS SOUS 24236 HAS SOUPS 24236 WITH SCORE 24270.157
AT ITER 2901 NEW BEST:: SOT 103299 SOS 34155 HAS SOPS 34155 HAS SOUS 24234 HAS SOUPS 24234 WITH SCORE 24268.155
AT ITER 2905 NEW BEST:: SOT 103299 SOS 34155 HAS SOPS 34155 HAS SOUS 24208 HAS SOUPS 24208 WITH SCORE 24242.155
AT ITER 2918 NEW BEST:: SOT 103298 SOS 34153 HAS SOPS 34153 HAS SOUS 24206 HAS SOUPS 24206 WITH SCORE 24240.153
AT ITER 2931 NEW BEST:: SOT 103288 SOS 34123 HAS SOPS 34123 HAS SOUS 24186 HAS SOUPS 24186 WITH SCORE 24220.123
AT ITER 2933 NEW BEST:: SOT 103245 SOS 34037 HAS SOPS 34037 HAS SOUS 24097 HAS SOUPS 24097 WITH SCORE 24131.037
AT ITER 2957 NEW BEST:: SOT 103245 SOS 34039 HAS SOPS 34039 HAS SOUS 24095 HAS SOUPS 24095 WITH SCORE 24129.039
AT ITER 2970 NEW BEST:: SOT 103244 SOS 34037 HAS SOPS 34037 HAS SOUS 24094 HAS SOUPS 24094 WITH SCORE 24128.037
AT ITER 2993 NEW BEST:: SOT 103310 SOS 34058 HAS SOPS 34058 HAS SOUS 24058 HAS SOUPS 24058 WITH SCORE 24092.058
AT ITER 3009 NEW BEST:: SOT 103236 SOS 34118 HAS SOPS 34118 HAS SOUS 24036 HAS SOUPS 24036 WITH SCORE 24070.118
AT ITER 3016 NEW BEST:: SOT 103214 SOS 34076 HAS SOPS 34076 HAS SOUS 23992 HAS SOUPS 23992 WITH SCORE 24026.076
AT ITER 3017 NEW BEST:: SOT 103212 SOS 34072 HAS SOPS 34072 HAS SOUS 23988 HAS SOUPS 23988 WITH SCORE 24022.072
AT ITER 3018 NEW BEST:: SOT 103146 SOS 34024 HAS SOPS 34024 HAS SOUS 23913 HAS SOUPS 23913 WITH SCORE 23947.024
AT ITER 3027 NEW BEST:: SOT 103146 SOS 33995 HAS SOPS 33995 HAS SOUS 23900 HAS SOUPS 23900 WITH SCORE 23933.995
AT ITER 3034 NEW BEST:: SOT 103127 SOS 33995 HAS SOPS 33995 HAS SOUS 23862 HAS SOUPS 23862 WITH SCORE 23895.995
AT ITER 3047 NEW BEST:: SOT 103127 SOS 33983 HAS SOPS 33983 HAS SOUS 23862 HAS SOUPS 23862 WITH SCORE 23895.983
AT ITER 3050 NEW BEST:: SOT 103125 SOS 33981 HAS SOPS 33981 HAS SOUS 23860 HAS SOUPS 23860 WITH SCORE 23893.981
AT ITER 3052 NEW BEST:: SOT 103124 SOS 33979 HAS SOPS 33979 HAS SOUS 23858 HAS SOUPS 23858 WITH SCORE 23891.979
AT ITER 3069 NEW BEST:: SOT 103120 SOS 33967 HAS SOPS 33967 HAS SOUS 23846 HAS SOUPS 23846 WITH SCORE 23879.967
AT ITER 3082 NEW BEST:: SOT 103108 SOS 33955 HAS SOPS 33955 HAS SOUS 23822 HAS SOUPS 23822 WITH SCORE 23855.955
AT ITER 3088 NEW BEST:: SOT 103094 SOS 33927 HAS SOPS 33927 HAS SOUS 23794 HAS SOUPS 23794 WITH SCORE 23827.927
AT ITER 3102 NEW BEST:: SOT 103090 SOS 33919 HAS SOPS 33919 HAS SOUS 23784 HAS SOUPS 23784 WITH SCORE 23817.919
AT ITER 3109 NEW BEST:: SOT 103084 SOS 33940 HAS SOPS 33940 HAS SOUS 23781 HAS SOUPS 23781 WITH SCORE 23814.94
AT ITER 3114 NEW BEST:: SOT 103076 SOS 33945 HAS SOPS 33945 HAS SOUS 23765 HAS SOUPS 23765 WITH SCORE 23798.945
AT ITER 3122 NEW BEST:: SOT 103053 SOS 34414 HAS SOPS 34414 HAS SOUS 23754 HAS SOUPS 23754 WITH SCORE 23788.414
AT ITER 3141 NEW BEST:: SOT 103041 SOS 34390 HAS SOPS 34390 HAS SOUS 23730 HAS SOUPS 23730 WITH SCORE 23764.39
AT ITER 3154 NEW BEST:: SOT 103073 SOS 34386 HAS SOPS 34386 HAS SOUS 23728 HAS SOUPS 23728 WITH SCORE 23762.386
AT ITER 3157 NEW BEST:: SOT 103064 SOS 34368 HAS SOPS 34368 HAS SOUS 23682 HAS SOUPS 23682 WITH SCORE 23716.368
AT ITER 3177 NEW BEST:: SOT 103030 SOS 34300 HAS SOPS 34300 HAS SOUS 23648 HAS SOUPS 23648 WITH SCORE 23682.3
AT ITER 3188 NEW BEST:: SOT 103026 SOS 34293 HAS SOPS 34293 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23674.293
AT ITER 3204 NEW BEST:: SOT 103021 SOS 34278 HAS SOPS 34278 HAS SOUS 23630 HAS SOUPS 23630 WITH SCORE 23664.278
AT ITER 3231 NEW BEST:: SOT 102989 SOS 34246 HAS SOPS 34246 HAS SOUS 23598 HAS SOUPS 23598 WITH SCORE 23632.246
AT ITER 3244 NEW BEST:: SOT 102950 SOS 34188 HAS SOPS 34188 HAS SOUS 23540 HAS SOUPS 23540 WITH SCORE 23574.188
AT ITER 3267 NEW BEST:: SOT 102947 SOS 34182 HAS SOPS 34182 HAS SOUS 23534 HAS SOUPS 23534 WITH SCORE 23568.182
AT ITER 3285 NEW BEST:: SOT 102922 SOS 34094 HAS SOPS 34094 HAS SOUS 23512 HAS SOUPS 23512 WITH SCORE 23546.094
AT ITER 3320 NEW BEST:: SOT 102906 SOS 34103 HAS SOPS 34103 HAS SOUS 23505 HAS SOUPS 23505 WITH SCORE 23539.103
AT ITER 3331 NEW BEST:: SOT 102902 SOS 34099 HAS SOPS 34099 HAS SOUS 23501 HAS SOUPS 23501 WITH SCORE 23535.099
AT ITER 3350 NEW BEST:: SOT 102774 SOS 33979 HAS SOPS 33979 HAS SOUS 23381 HAS SOUPS 23381 WITH SCORE 23414.979
AT ITER 3352 NEW BEST:: SOT 102766 SOS 33963 HAS SOPS 33963 HAS SOUS 23373 HAS SOUPS 23373 WITH SCORE 23406.963
AT ITER 3354 NEW BEST:: SOT 102752 SOS 33935 HAS SOPS 33935 HAS SOUS 23338 HAS SOUPS 23338 WITH SCORE 23371.935
AT ITER 3370 NEW BEST:: SOT 102746 SOS 33929 HAS SOPS 33929 HAS SOUS 23332 HAS SOUPS 23332 WITH SCORE 23365.929
AT ITER 3375 NEW BEST:: SOT 102702 SOS 33950 HAS SOPS 33950 HAS SOUS 23302 HAS SOUPS 23302 WITH SCORE 23335.95
AT ITER 3383 NEW BEST:: SOT 102685 SOS 33896 HAS SOPS 33896 HAS SOUS 23259 HAS SOUPS 23259 WITH SCORE 23292.896
AT ITER 3406 NEW BEST:: SOT 102685 SOS 33864 HAS SOPS 33864 HAS SOUS 23259 HAS SOUPS 23259 WITH SCORE 23292.864
AT ITER 3417 NEW BEST:: SOT 102684 SOS 33872 HAS SOPS 33872 HAS SOUS 23257 HAS SOUPS 23257 WITH SCORE 23290.872
AT ITER 3454 NEW BEST:: SOT 102675 SOS 33854 HAS SOPS 33854 HAS SOUS 23249 HAS SOUPS 23249 WITH SCORE 23282.854
AT ITER 3458 NEW BEST:: SOT 102674 SOS 33840 HAS SOPS 33840 HAS SOUS 23230 HAS SOUPS 23230 WITH SCORE 23263.84
AT ITER 3482 NEW BEST:: SOT 102667 SOS 33826 HAS SOPS 33826 HAS SOUS 23223 HAS SOUPS 23223 WITH SCORE 23256.826
AT ITER 3504 NEW BEST:: SOT 102671 SOS 33830 HAS SOPS 33830 HAS SOUS 23219 HAS SOUPS 23219 WITH SCORE 23252.83
AT ITER 3507 NEW BEST:: SOT 102655 SOS 33798 HAS SOPS 33798 HAS SOUS 23189 HAS SOUPS 23189 WITH SCORE 23222.798
AT ITER 3540 NEW BEST:: SOT 102614 SOS 33771 HAS SOPS 33771 HAS SOUS 23162 HAS SOUPS 23162 WITH SCORE 23195.771
AT ITER 3548 NEW BEST:: SOT 102617 SOS 33774 HAS SOPS 33774 HAS SOUS 23160 HAS SOUPS 23160 WITH SCORE 23193.774
AT ITER 3601 NEW BEST:: SOT 102606 SOS 33757 HAS SOPS 33757 HAS SOUS 23143 HAS SOUPS 23143 WITH SCORE 23176.757
AT ITER 3606 NEW BEST:: SOT 102606 SOS 33750 HAS SOPS 33750 HAS SOUS 23143 HAS SOUPS 23143 WITH SCORE 23176.75
AT ITER 3619 NEW BEST:: SOT 102604 SOS 33746 HAS SOPS 33746 HAS SOUS 23131 HAS SOUPS 23131 WITH SCORE 23164.746
AT ITER 3642 NEW BEST:: SOT 102603 SOS 33744 HAS SOPS 33744 HAS SOUS 23129 HAS SOUPS 23129 WITH SCORE 23162.744
AT ITER 3651 NEW BEST:: SOT 102574 SOS 33710 HAS SOPS 33710 HAS SOUS 23089 HAS SOUPS 23089 WITH SCORE 23122.71
AT ITER 3653 NEW BEST:: SOT 102534 SOS 33599 HAS SOPS 33599 HAS SOUS 22977 HAS SOUPS 22977 WITH SCORE 23010.599
AT ITER 3659 NEW BEST:: SOT 102529 SOS 33587 HAS SOPS 33587 HAS SOUS 22974 HAS SOUPS 22974 WITH SCORE 23007.587
AT ITER 3669 NEW BEST:: SOT 102529 SOS 33585 HAS SOPS 33585 HAS SOUS 22974 HAS SOUPS 22974 WITH SCORE 23007.585
AT ITER 3683 NEW BEST:: SOT 102477 SOS 33481 HAS SOPS 33481 HAS SOUS 22870 HAS SOUPS 22870 WITH SCORE 22903.481
AT ITER 3684 NEW BEST:: SOT 102463 SOS 33455 HAS SOPS 33455 HAS SOUS 22848 HAS SOUPS 22848 WITH SCORE 22881.455
AT ITER 3720 NEW BEST:: SOT 102437 SOS 33429 HAS SOPS 33429 HAS SOUS 22822 HAS SOUPS 22822 WITH SCORE 22855.429
AT ITER 3738 NEW BEST:: SOT 102431 SOS 33417 HAS SOPS 33417 HAS SOUS 22801 HAS SOUPS 22801 WITH SCORE 22834.417
AT ITER 3757 NEW BEST:: SOT 102431 SOS 33403 HAS SOPS 33403 HAS SOUS 22787 HAS SOUPS 22787 WITH SCORE 22820.403
AT ITER 3798 NEW BEST:: SOT 102431 SOS 33413 HAS SOPS 33413 HAS SOUS 22771 HAS SOUPS 22771 WITH SCORE 22804.413
AT ITER 3876 NEW BEST:: SOT 102412 SOS 33356 HAS SOPS 33356 HAS SOUS 22733 HAS SOUPS 22733 WITH SCORE 22766.356
AT ITER 3890 NEW BEST:: SOT 102394 SOS 33320 HAS SOPS 33320 HAS SOUS 22633 HAS SOUPS 22633 WITH SCORE 22666.32
AT ITER 3914 NEW BEST:: SOT 102190 SOS 33186 HAS SOPS 33186 HAS SOUS 22499 HAS SOUPS 22499 WITH SCORE 22532.186
AT ITER 3918 NEW BEST:: SOT 102148 SOS 33042 HAS SOPS 33042 HAS SOUS 22435 HAS SOUPS 22435 WITH SCORE 22468.042
AT ITER 3938 NEW BEST:: SOT 102126 SOS 33017 HAS SOPS 33017 HAS SOUS 22427 HAS SOUPS 22427 WITH SCORE 22460.017
AT ITER 3981 NEW BEST:: SOT 102133 SOS 33058 HAS SOPS 33058 HAS SOUS 22421 HAS SOUPS 22421 WITH SCORE 22454.058
AT ITER 4002 NEW BEST:: SOT 102131 SOS 33020 HAS SOPS 33020 HAS SOUS 22415 HAS SOUPS 22415 WITH SCORE 22448.02
AT ITER 4047 NEW BEST:: SOT 102129 SOS 33016 HAS SOPS 33016 HAS SOUS 22411 HAS SOUPS 22411 WITH SCORE 22444.016
AT ITER 4070 NEW BEST:: SOT 102101 SOS 32974 HAS SOPS 32974 HAS SOUS 22369 HAS SOUPS 22369 WITH SCORE 22401.974
AT ITER 4086 NEW BEST:: SOT 102100 SOS 32972 HAS SOPS 32972 HAS SOUS 22366 HAS SOUPS 22366 WITH SCORE 22398.972
AT ITER 4094 NEW BEST:: SOT 102099 SOS 32971 HAS SOPS 32971 HAS SOUS 22365 HAS SOUPS 22365 WITH SCORE 22397.971
AT ITER 4098 NEW BEST:: SOT 102097 SOS 32967 HAS SOPS 32967 HAS SOUS 22361 HAS SOUPS 22361 WITH SCORE 22393.967
AT ITER 4121 NEW BEST:: SOT 102097 SOS 32964 HAS SOPS 32964 HAS SOUS 22361 HAS SOUPS 22361 WITH SCORE 22393.964
AT ITER 4169 NEW BEST:: SOT 102103 SOS 32976 HAS SOPS 32976 HAS SOUS 22358 HAS SOUPS 22358 WITH SCORE 22390.976
AT ITER 4171 NEW BEST:: SOT 102094 SOS 32973 HAS SOPS 32973 HAS SOUS 22346 HAS SOUPS 22346 WITH SCORE 22378.973
AT ITER 4254 NEW BEST:: SOT 102062 SOS 32941 HAS SOPS 32941 HAS SOUS 22314 HAS SOUPS 22314 WITH SCORE 22346.941
AT ITER 4259 NEW BEST:: SOT 102058 SOS 32937 HAS SOPS 32937 HAS SOUS 22306 HAS SOUPS 22306 WITH SCORE 22338.937
AT ITER 4293 NEW BEST:: SOT 102058 SOS 32937 HAS SOPS 32937 HAS SOUS 22303 HAS SOUPS 22303 WITH SCORE 22335.937
AT ITER 4296 NEW BEST:: SOT 102056 SOS 32935 HAS SOPS 32935 HAS SOUS 22301 HAS SOUPS 22301 WITH SCORE 22333.935
AT ITER 4339 NEW BEST:: SOT 102052 SOS 32929 HAS SOPS 32929 HAS SOUS 22293 HAS SOUPS 22293 WITH SCORE 22325.929
AT ITER 4346 NEW BEST:: SOT 102043 SOS 32874 HAS SOPS 32874 HAS SOUS 22275 HAS SOUPS 22275 WITH SCORE 22307.874
AT ITER 4358 NEW BEST:: SOT 102025 SOS 32877 HAS SOPS 32877 HAS SOUS 22266 HAS SOUPS 22266 WITH SCORE 22298.877
AT ITER 4363 NEW BEST:: SOT 102022 SOS 32871 HAS SOPS 32871 HAS SOUS 22260 HAS SOUPS 22260 WITH SCORE 22292.871
AT ITER 4366 NEW BEST:: SOT 102007 SOS 32867 HAS SOPS 32867 HAS SOUS 22256 HAS SOUPS 22256 WITH SCORE 22288.867
AT ITER 4372 NEW BEST:: SOT 101959 SOS 32835 HAS SOPS 32835 HAS SOUS 22236 HAS SOUPS 22236 WITH SCORE 22268.835
AT ITER 4389 NEW BEST:: SOT 101954 SOS 32825 HAS SOPS 32825 HAS SOUS 22226 HAS SOUPS 22226 WITH SCORE 22258.825
AT ITER 4394 NEW BEST:: SOT 101954 SOS 32821 HAS SOPS 32821 HAS SOUS 22226 HAS SOUPS 22226 WITH SCORE 22258.821
AT ITER 4400 NEW BEST:: SOT 101954 SOS 32821 HAS SOPS 32821 HAS SOUS 22225 HAS SOUPS 22225 WITH SCORE 22257.821
AT ITER 4411 NEW BEST:: SOT 101947 SOS 32807 HAS SOPS 32807 HAS SOUS 22211 HAS SOUPS 22211 WITH SCORE 22243.807
AT ITER 4435 NEW BEST:: SOT 101947 SOS 32794 HAS SOPS 32794 HAS SOUS 22211 HAS SOUPS 22211 WITH SCORE 22243.794
AT ITER 4449 NEW BEST:: SOT 101913 SOS 32743 HAS SOPS 32743 HAS SOUS 22143 HAS SOUPS 22143 WITH SCORE 22175.743
AT ITER 4457 NEW BEST:: SOT 101915 SOS 32737 HAS SOPS 32737 HAS SOUS 22137 HAS SOUPS 22137 WITH SCORE 22169.737
AT ITER 4480 NEW BEST:: SOT 101902 SOS 32734 HAS SOPS 32734 HAS SOUS 22124 HAS SOUPS 22124 WITH SCORE 22156.734
AT ITER 4495 NEW BEST:: SOT 101902 SOS 32698 HAS SOPS 32698 HAS SOUS 22088 HAS SOUPS 22088 WITH SCORE 22120.698
AT ITER 4558 NEW BEST:: SOT 101910 SOS 32661 HAS SOPS 32661 HAS SOUS 22051 HAS SOUPS 22051 WITH SCORE 22083.661
AT ITER 4591 NEW BEST:: SOT 101904 SOS 32640 HAS SOPS 32640 HAS SOUS 22039 HAS SOUPS 22039 WITH SCORE 22071.64
AT ITER 4599 NEW BEST:: SOT 101903 SOS 32638 HAS SOPS 32638 HAS SOUS 22037 HAS SOUPS 22037 WITH SCORE 22069.638
AT ITER 4622 NEW BEST:: SOT 101909 SOS 32622 HAS SOPS 32622 HAS SOUS 22023 HAS SOUPS 22023 WITH SCORE 22055.622
AT ITER 4640 NEW BEST:: SOT 101909 SOS 32604 HAS SOPS 32604 HAS SOUS 22005 HAS SOUPS 22005 WITH SCORE 22037.604
AT ITER 4675 NEW BEST:: SOT 101868 SOS 32563 HAS SOPS 32563 HAS SOUS 21923 HAS SOUPS 21923 WITH SCORE 21955.563
AT ITER 4687 NEW BEST:: SOT 101855 SOS 32537 HAS SOPS 32537 HAS SOUS 21865 HAS SOUPS 21865 WITH SCORE 21897.537
AT ITER 4713 NEW BEST:: SOT 101855 SOS 32535 HAS SOPS 32535 HAS SOUS 21865 HAS SOUPS 21865 WITH SCORE 21897.535
AT ITER 4731 NEW BEST:: SOT 101850 SOS 32539 HAS SOPS 32539 HAS SOUS 21864 HAS SOUPS 21864 WITH SCORE 21896.539
AT ITER 4733 NEW BEST:: SOT 101826 SOS 32491 HAS SOPS 32491 HAS SOUS 21816 HAS SOUPS 21816 WITH SCORE 21848.491
AT ITER 4756 NEW BEST:: SOT 101826 SOS 32482 HAS SOPS 32482 HAS SOUS 21807 HAS SOUPS 21807 WITH SCORE 21839.482
AT ITER 4786 NEW BEST:: SOT 101821 SOS 32523 HAS SOPS 32523 HAS SOUS 21806 HAS SOUPS 21806 WITH SCORE 21838.523
AT ITER 4793 NEW BEST:: SOT 101812 SOS 32515 HAS SOPS 32515 HAS SOUS 21788 HAS SOUPS 21788 WITH SCORE 21820.515
AT ITER 4802 NEW BEST:: SOT 101806 SOS 32486 HAS SOPS 32486 HAS SOUS 21770 HAS SOUPS 21770 WITH SCORE 21802.486
AT ITER 4858 NEW BEST:: SOT 101791 SOS 32456 HAS SOPS 32456 HAS SOUS 21740 HAS SOUPS 21740 WITH SCORE 21772.456
AT ITER 4873 NEW BEST:: SOT 101781 SOS 32454 HAS SOPS 32454 HAS SOUS 21730 HAS SOUPS 21730 WITH SCORE 21762.454
AT ITER 4884 NEW BEST:: SOT 101757 SOS 32420 HAS SOPS 32420 HAS SOUS 21716 HAS SOUPS 21716 WITH SCORE 21748.42
AT ITER 4896 NEW BEST:: SOT 101753 SOS 32416 HAS SOPS 32416 HAS SOUS 21708 HAS SOUPS 21708 WITH SCORE 21740.416
AT ITER 4899 NEW BEST:: SOT 101731 SOS 32350 HAS SOPS 32350 HAS SOUS 21664 HAS SOUPS 21664 WITH SCORE 21696.35
AT ITER 4906 NEW BEST:: SOT 101743 SOS 32374 HAS SOPS 32374 HAS SOUS 21657 HAS SOUPS 21657 WITH SCORE 21689.374
AT ITER 4936 NEW BEST:: SOT 101681 SOS 32212 HAS SOPS 32212 HAS SOUS 21533 HAS SOUPS 21533 WITH SCORE 21565.212
AT ITER 4937 NEW BEST:: SOT 101681 SOS 32210 HAS SOPS 32210 HAS SOUS 21531 HAS SOUPS 21531 WITH SCORE 21563.21
AT ITER 4948 NEW BEST:: SOT 101696 SOS 32240 HAS SOPS 32240 HAS SOUS 21473 HAS SOUPS 21473 WITH SCORE 21505.24
AT ITER 4952 NEW BEST:: SOT 101741 SOS 32224 HAS SOPS 32224 HAS SOUS 21457 HAS SOUPS 21457 WITH SCORE 21489.224
AT ITER 4955 NEW BEST:: SOT 101741 SOS 32194 HAS SOPS 32194 HAS SOUS 21457 HAS SOUPS 21457 WITH SCORE 21489.194
AT ITER 4977 NEW BEST:: SOT 101749 SOS 32189 HAS SOPS 32189 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21484.189
AT ITER 4997 NEW BEST:: SOT 101749 SOS 32095 HAS SOPS 32095 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21484.095
AT ITER 5023 NEW BEST:: SOT 101876 SOS 32196 HAS SOPS 32196 HAS SOUS 21393 HAS SOUPS 21393 WITH SCORE 21425.196
AT ITER 5053 NEW BEST:: SOT 101864 SOS 32184 HAS SOPS 32184 HAS SOUS 21369 HAS SOUPS 21369 WITH SCORE 21401.184
AT ITER 5054 NEW BEST:: SOT 101858 SOS 32191 HAS SOPS 32191 HAS SOUS 21357 HAS SOUPS 21357 WITH SCORE 21389.191
AT ITER 5084 NEW BEST:: SOT 101858 SOS 32082 HAS SOPS 32082 HAS SOUS 21357 HAS SOUPS 21357 WITH SCORE 21389.082
AT ITER 5116 NEW BEST:: SOT 101857 SOS 32080 HAS SOPS 32080 HAS SOUS 21356 HAS SOUPS 21356 WITH SCORE 21388.08
AT ITER 5155 NEW BEST:: SOT 101864 SOS 32074 HAS SOPS 32074 HAS SOUS 21350 HAS SOUPS 21350 WITH SCORE 21382.074
AT ITER 5162 NEW BEST:: SOT 101862 SOS 32072 HAS SOPS 32072 HAS SOUS 21346 HAS SOUPS 21346 WITH SCORE 21378.072
AT ITER 5182 NEW BEST:: SOT 101857 SOS 32062 HAS SOPS 32062 HAS SOUS 21336 HAS SOUPS 21336 WITH SCORE 21368.062
AT ITER 5190 NEW BEST:: SOT 101834 SOS 32048 HAS SOPS 32048 HAS SOUS 21322 HAS SOUPS 21322 WITH SCORE 21354.048
AT ITER 5221 NEW BEST:: SOT 101812 SOS 32015 HAS SOPS 32015 HAS SOUS 21289 HAS SOUPS 21289 WITH SCORE 21321.015
AT ITER 5254 NEW BEST:: SOT 101809 SOS 31913 HAS SOPS 31913 HAS SOUS 21219 HAS SOUPS 21219 WITH SCORE 21250.913
AT ITER 5267 NEW BEST:: SOT 101814 SOS 31918 HAS SOPS 31918 HAS SOUS 21199 HAS SOUPS 21199 WITH SCORE 21230.918
AT ITER 5269 NEW BEST:: SOT 101808 SOS 31906 HAS SOPS 31906 HAS SOUS 21187 HAS SOUPS 21187 WITH SCORE 21218.906
AT ITER 5282 NEW BEST:: SOT 101791 SOS 31881 HAS SOPS 31881 HAS SOUS 21178 HAS SOUPS 21178 WITH SCORE 21209.881
AT ITER 5285 NEW BEST:: SOT 101782 SOS 31863 HAS SOPS 31863 HAS SOUS 21169 HAS SOUPS 21169 WITH SCORE 21200.863
AT ITER 5310 NEW BEST:: SOT 101776 SOS 31856 HAS SOPS 31856 HAS SOUS 21165 HAS SOUPS 21165 WITH SCORE 21196.856
AT ITER 5352 NEW BEST:: SOT 101763 SOS 31832 HAS SOPS 31832 HAS SOUS 21139 HAS SOUPS 21139 WITH SCORE 21170.832
AT ITER 5355 NEW BEST:: SOT 101744 SOS 31814 HAS SOPS 31814 HAS SOUS 21111 HAS SOUPS 21111 WITH SCORE 21142.814
AT ITER 5384 NEW BEST:: SOT 101742 SOS 31810 HAS SOPS 31810 HAS SOUS 21107 HAS SOUPS 21107 WITH SCORE 21138.81
AT ITER 5391 NEW BEST:: SOT 101716 SOS 31735 HAS SOPS 31735 HAS SOUS 21052 HAS SOUPS 21052 WITH SCORE 21083.735
AT ITER 5399 NEW BEST:: SOT 101704 SOS 31688 HAS SOPS 31688 HAS SOUS 20965 HAS SOUPS 20965 WITH SCORE 20996.688
AT ITER 5461 NEW BEST:: SOT 101706 SOS 31692 HAS SOPS 31692 HAS SOUS 20954 HAS SOUPS 20954 WITH SCORE 20985.692
AT ITER 5512 NEW BEST:: SOT 101705 SOS 31690 HAS SOPS 31690 HAS SOUS 20947 HAS SOUPS 20947 WITH SCORE 20978.69
AT ITER 5556 NEW BEST:: SOT 101656 SOS 31625 HAS SOPS 31625 HAS SOUS 20882 HAS SOUPS 20882 WITH SCORE 20913.625
AT ITER 5584 NEW BEST:: SOT 101653 SOS 31622 HAS SOPS 31622 HAS SOUS 20882 HAS SOUPS 20882 WITH SCORE 20913.622
AT ITER 5591 NEW BEST:: SOT 101649 SOS 31614 HAS SOPS 31614 HAS SOUS 20874 HAS SOUPS 20874 WITH SCORE 20905.614
AT ITER 5625 NEW BEST:: SOT 101572 SOS 33518 HAS SOPS 33518 HAS SOUS 20852 HAS SOUPS 20852 WITH SCORE 20885.518
AT ITER 5669 NEW BEST:: SOT 101571 SOS 33522 HAS SOPS 33522 HAS SOUS 20844 HAS SOUPS 20844 WITH SCORE 20877.522
AT ITER 5670 NEW BEST:: SOT 101569 SOS 33526 HAS SOPS 33526 HAS SOUS 20842 HAS SOUPS 20842 WITH SCORE 20875.526
AT ITER 5698 NEW BEST:: SOT 101573 SOS 33535 HAS SOPS 33535 HAS SOUS 20837 HAS SOUPS 20837 WITH SCORE 20870.535
AT ITER 5718 NEW BEST:: SOT 101566 SOS 33561 HAS SOPS 33561 HAS SOUS 20823 HAS SOUPS 20823 WITH SCORE 20856.561
AT ITER 5755 NEW BEST:: SOT 101592 SOS 33587 HAS SOPS 33587 HAS SOUS 20775 HAS SOUPS 20775 WITH SCORE 20808.587
AT ITER 5790 NEW BEST:: SOT 101583 SOS 33565 HAS SOPS 33565 HAS SOUS 20757 HAS SOUPS 20757 WITH SCORE 20790.565
AT ITER 5825 NEW BEST:: SOT 101576 SOS 33551 HAS SOPS 33551 HAS SOUS 20743 HAS SOUPS 20743 WITH SCORE 20776.551
AT ITER 5878 NEW BEST:: SOT 101568 SOS 33535 HAS SOPS 33535 HAS SOUS 20731 HAS SOUPS 20731 WITH SCORE 20764.535
AT ITER 5903 NEW BEST:: SOT 101563 SOS 33525 HAS SOPS 33525 HAS SOUS 20723 HAS SOUPS 20723 WITH SCORE 20756.525
AT ITER 5912 NEW BEST:: SOT 101563 SOS 33525 HAS SOPS 33525 HAS SOUS 20718 HAS SOUPS 20718 WITH SCORE 20751.525
AT ITER 5930 NEW BEST:: SOT 101552 SOS 33503 HAS SOPS 33503 HAS SOUS 20705 HAS SOUPS 20705 WITH SCORE 20738.503
AT ITER 5933 NEW BEST:: SOT 101549 SOS 33488 HAS SOPS 33488 HAS SOUS 20690 HAS SOUPS 20690 WITH SCORE 20723.488
AT ITER 5970 NEW BEST:: SOT 101546 SOS 33496 HAS SOPS 33496 HAS SOUS 20673 HAS SOUPS 20673 WITH SCORE 20706.496
AT ITER 5973 NEW BEST:: SOT 101536 SOS 33486 HAS SOPS 33486 HAS SOUS 20663 HAS SOUPS 20663 WITH SCORE 20696.486
AT ITER 5976 NEW BEST:: SOT 101533 SOS 33480 HAS SOPS 33480 HAS SOUS 20650 HAS SOUPS 20650 WITH SCORE 20683.48
AT ITER 5987 NEW BEST:: SOT 101432 SOS 33374 HAS SOPS 33374 HAS SOUS 20544 HAS SOUPS 20544 WITH SCORE 20577.374
AT ITER 5988 NEW BEST:: SOT 101432 SOS 33372 HAS SOPS 33372 HAS SOUS 20544 HAS SOUPS 20544 WITH SCORE 20577.372
AT ITER 6022 NEW BEST:: SOT 101428 SOS 33329 HAS SOPS 33329 HAS SOUS 20536 HAS SOUPS 20536 WITH SCORE 20569.329
AT ITER 6038 NEW BEST:: SOT 101394 SOS 33325 HAS SOPS 33325 HAS SOUS 20532 HAS SOUPS 20532 WITH SCORE 20565.325
AT ITER 6039 NEW BEST:: SOT 101399 SOS 33310 HAS SOPS 33310 HAS SOUS 20517 HAS SOUPS 20517 WITH SCORE 20550.31
AT ITER 6073 NEW BEST:: SOT 101395 SOS 33306 HAS SOPS 33306 HAS SOUS 20517 HAS SOUPS 20517 WITH SCORE 20550.306
AT ITER 6095 NEW BEST:: SOT 101243 SOS 33154 HAS SOPS 33154 HAS SOUS 20440 HAS SOUPS 20440 WITH SCORE 20473.154
AT ITER 6110 NEW BEST:: SOT 101239 SOS 33146 HAS SOPS 33146 HAS SOUS 20436 HAS SOUPS 20436 WITH SCORE 20469.146
AT ITER 6127 NEW BEST:: SOT 101198 SOS 33067 HAS SOPS 33067 HAS SOUS 20365 HAS SOUPS 20365 WITH SCORE 20398.067
AT ITER 6129 NEW BEST:: SOT 101196 SOS 33065 HAS SOPS 33065 HAS SOUS 20363 HAS SOUPS 20363 WITH SCORE 20396.065
AT ITER 6145 NEW BEST:: SOT 101188 SOS 33066 HAS SOPS 33066 HAS SOUS 20356 HAS SOUPS 20356 WITH SCORE 20389.066
AT ITER 6149 NEW BEST:: SOT 101186 SOS 33066 HAS SOPS 33066 HAS SOUS 20352 HAS SOUPS 20352 WITH SCORE 20385.066
AT ITER 6171 NEW BEST:: SOT 101133 SOS 33016 HAS SOPS 33016 HAS SOUS 20308 HAS SOUPS 20308 WITH SCORE 20341.016
AT ITER 6184 NEW BEST:: SOT 101121 SOS 32960 HAS SOPS 32960 HAS SOUS 20284 HAS SOUPS 20284 WITH SCORE 20316.96
AT ITER 6203 NEW BEST:: SOT 101121 SOS 32953 HAS SOPS 32953 HAS SOUS 20277 HAS SOUPS 20277 WITH SCORE 20309.953
AT ITER 6260 NEW BEST:: SOT 101105 SOS 32921 HAS SOPS 32921 HAS SOUS 20245 HAS SOUPS 20245 WITH SCORE 20277.921
AT ITER 6317 NEW BEST:: SOT 101102 SOS 32917 HAS SOPS 32917 HAS SOUS 20241 HAS SOUPS 20241 WITH SCORE 20273.917
AT ITER 6357 NEW BEST:: SOT 101102 SOS 32901 HAS SOPS 32901 HAS SOUS 20241 HAS SOUPS 20241 WITH SCORE 20273.901
AT ITER 6374 NEW BEST:: SOT 101083 SOS 32907 HAS SOPS 32907 HAS SOUS 20203 HAS SOUPS 20203 WITH SCORE 20235.907
AT ITER 6381 NEW BEST:: SOT 101038 SOS 32862 HAS SOPS 32862 HAS SOUS 20158 HAS SOUPS 20158 WITH SCORE 20190.862
AT ITER 6382 NEW BEST:: SOT 101032 SOS 32861 HAS SOPS 32861 HAS SOUS 20157 HAS SOUPS 20157 WITH SCORE 20189.861
AT ITER 6385 NEW BEST:: SOT 101028 SOS 32867 HAS SOPS 32867 HAS SOUS 20153 HAS SOUPS 20153 WITH SCORE 20185.867
AT ITER 6445 NEW BEST:: SOT 101007 SOS 32825 HAS SOPS 32825 HAS SOUS 20104 HAS SOUPS 20104 WITH SCORE 20136.825
AT ITER 6475 NEW BEST:: SOT 101003 SOS 32817 HAS SOPS 32817 HAS SOUS 20096 HAS SOUPS 20096 WITH SCORE 20128.817
AT ITER 6512 NEW BEST:: SOT 100995 SOS 32810 HAS SOPS 32810 HAS SOUS 20089 HAS SOUPS 20089 WITH SCORE 20121.81
AT ITER 6525 NEW BEST:: SOT 100989 SOS 32804 HAS SOPS 32804 HAS SOUS 20083 HAS SOUPS 20083 WITH SCORE 20115.804
AT ITER 6537 NEW BEST:: SOT 100989 SOS 32796 HAS SOPS 32796 HAS SOUS 20075 HAS SOUPS 20075 WITH SCORE 20107.796
AT ITER 6561 NEW BEST:: SOT 100981 SOS 32788 HAS SOPS 32788 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20091.788
AT ITER 6572 NEW BEST:: SOT 100981 SOS 32784 HAS SOPS 32784 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20091.784
AT ITER 6590 NEW BEST:: SOT 100966 SOS 32770 HAS SOPS 32770 HAS SOUS 20045 HAS SOUPS 20045 WITH SCORE 20077.77
AT ITER 6646 NEW BEST:: SOT 100966 SOS 32770 HAS SOPS 32770 HAS SOUS 20028 HAS SOUPS 20028 WITH SCORE 20060.77
AT ITER 6650 NEW BEST:: SOT 100966 SOS 32769 HAS SOPS 32769 HAS SOUS 20028 HAS SOUPS 20028 WITH SCORE 20060.769
AT ITER 6651 NEW BEST:: SOT 100953 SOS 32756 HAS SOPS 32756 HAS SOUS 20002 HAS SOUPS 20002 WITH SCORE 20034.756
AT ITER 6664 NEW BEST:: SOT 100953 SOS 32743 HAS SOPS 32743 HAS SOUS 19989 HAS SOUPS 19989 WITH SCORE 20021.743
AT ITER 6666 NEW BEST:: SOT 100950 SOS 32741 HAS SOPS 32741 HAS SOUS 19986 HAS SOUPS 19986 WITH SCORE 20018.741
AT ITER 6699 NEW BEST:: SOT 100937 SOS 32694 HAS SOPS 32694 HAS SOUS 19960 HAS SOUPS 19960 WITH SCORE 19992.694
AT ITER 6705 NEW BEST:: SOT 100930 SOS 32680 HAS SOPS 32680 HAS SOUS 19942 HAS SOUPS 19942 WITH SCORE 19974.68
AT ITER 6707 NEW BEST:: SOT 100937 SOS 32705 HAS SOPS 32705 HAS SOUS 19938 HAS SOUPS 19938 WITH SCORE 19970.705
AT ITER 6727 NEW BEST:: SOT 100921 SOS 32681 HAS SOPS 32681 HAS SOUS 19914 HAS SOUPS 19914 WITH SCORE 19946.681
AT ITER 6748 NEW BEST:: SOT 100921 SOS 32670 HAS SOPS 32670 HAS SOUS 19914 HAS SOUPS 19914 WITH SCORE 19946.67
AT ITER 6777 NEW BEST:: SOT 100936 SOS 32676 HAS SOPS 32676 HAS SOUS 19901 HAS SOUPS 19901 WITH SCORE 19933.676
AT ITER 6816 NEW BEST:: SOT 100930 SOS 32630 HAS SOPS 32630 HAS SOUS 19889 HAS SOUPS 19889 WITH SCORE 19921.63
AT ITER 6824 NEW BEST:: SOT 100929 SOS 32616 HAS SOPS 32616 HAS SOUS 19886 HAS SOUPS 19886 WITH SCORE 19918.616
AT ITER 6867 NEW BEST:: SOT 100929 SOS 32613 HAS SOPS 32613 HAS SOUS 19886 HAS SOUPS 19886 WITH SCORE 19918.613
AT ITER 6915 NEW BEST:: SOT 100911 SOS 32533 HAS SOPS 32533 HAS SOUS 19844 HAS SOUPS 19844 WITH SCORE 19876.533
AT ITER 6936 NEW BEST:: SOT 100872 SOS 32532 HAS SOPS 32532 HAS SOUS 19792 HAS SOUPS 19792 WITH SCORE 19824.532
AT ITER 6953 NEW BEST:: SOT 100872 SOS 32529 HAS SOPS 32529 HAS SOUS 19792 HAS SOUPS 19792 WITH SCORE 19824.529
AT ITER 6954 NEW BEST:: SOT 100865 SOS 32515 HAS SOPS 32515 HAS SOUS 19778 HAS SOUPS 19778 WITH SCORE 19810.515
AT ITER 7011 NEW BEST:: SOT 100849 SOS 32527 HAS SOPS 32527 HAS SOUS 19774 HAS SOUPS 19774 WITH SCORE 19806.527
AT ITER 7019 NEW BEST:: SOT 100858 SOS 32513 HAS SOPS 32513 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19801.513
AT ITER 7056 NEW BEST:: SOT 100858 SOS 32475 HAS SOPS 32475 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19801.475
AT ITER 7060 NEW BEST:: SOT 100858 SOS 32475 HAS SOPS 32475 HAS SOUS 19745 HAS SOUPS 19745 WITH SCORE 19777.475
AT ITER 7066 NEW BEST:: SOT 100858 SOS 32470 HAS SOPS 32470 HAS SOUS 19745 HAS SOUPS 19745 WITH SCORE 19777.47
AT ITER 7073 NEW BEST:: SOT 100873 SOS 32469 HAS SOPS 32469 HAS SOUS 19744 HAS SOUPS 19744 WITH SCORE 19776.469
AT ITER 7093 NEW BEST:: SOT 100867 SOS 32449 HAS SOPS 32449 HAS SOUS 19724 HAS SOUPS 19724 WITH SCORE 19756.449
AT ITER 7106 NEW BEST:: SOT 100868 SOS 32446 HAS SOPS 32446 HAS SOUS 19721 HAS SOUPS 19721 WITH SCORE 19753.446
AT ITER 7108 NEW BEST:: SOT 100859 SOS 32437 HAS SOPS 32437 HAS SOUS 19703 HAS SOUPS 19703 WITH SCORE 19735.437
AT ITER 7125 NEW BEST:: SOT 100855 SOS 32418 HAS SOPS 32418 HAS SOUS 19692 HAS SOUPS 19692 WITH SCORE 19724.418
AT ITER 7152 NEW BEST:: SOT 100855 SOS 32417 HAS SOPS 32417 HAS SOUS 19691 HAS SOUPS 19691 WITH SCORE 19723.417
AT ITER 7168 NEW BEST:: SOT 100853 SOS 32415 HAS SOPS 32415 HAS SOUS 19689 HAS SOUPS 19689 WITH SCORE 19721.415
AT ITER 7178 NEW BEST:: SOT 100850 SOS 32412 HAS SOPS 32412 HAS SOUS 19686 HAS SOUPS 19686 WITH SCORE 19718.412
AT ITER 7190 NEW BEST:: SOT 100844 SOS 32400 HAS SOPS 32400 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19706.4
AT ITER 7192 NEW BEST:: SOT 100842 SOS 32398 HAS SOPS 32398 HAS SOUS 19672 HAS SOUPS 19672 WITH SCORE 19704.398
AT ITER 7297 NEW BEST:: SOT 100830 SOS 32242 HAS SOPS 32242 HAS SOUS 19648 HAS SOUPS 19648 WITH SCORE 19680.242
AT ITER 7339 NEW BEST:: SOT 100827 SOS 32227 HAS SOPS 32227 HAS SOUS 19642 HAS SOUPS 19642 WITH SCORE 19674.227
AT ITER 7360 NEW BEST:: SOT 100826 SOS 32225 HAS SOPS 32225 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19672.225
AT ITER 7408 NEW BEST:: SOT 100755 SOS 32167 HAS SOPS 32167 HAS SOUS 19583 HAS SOUPS 19583 WITH SCORE 19615.167
AT ITER 7413 NEW BEST:: SOT 100755 SOS 32165 HAS SOPS 32165 HAS SOUS 19581 HAS SOUPS 19581 WITH SCORE 19613.165
AT ITER 7417 NEW BEST:: SOT 100752 SOS 32154 HAS SOPS 32154 HAS SOUS 19570 HAS SOUPS 19570 WITH SCORE 19602.154
AT ITER 7440 NEW BEST:: SOT 100752 SOS 32154 HAS SOPS 32154 HAS SOUS 19552 HAS SOUPS 19552 WITH SCORE 19584.154
AT ITER 7471 NEW BEST:: SOT 100751 SOS 32153 HAS SOPS 32153 HAS SOUS 19550 HAS SOUPS 19550 WITH SCORE 19582.153
AT ITER 7503 NEW BEST:: SOT 100744 SOS 32146 HAS SOPS 32146 HAS SOUS 19543 HAS SOUPS 19543 WITH SCORE 19575.146
AT ITER 7523 NEW BEST:: SOT 100721 SOS 32100 HAS SOPS 32100 HAS SOUS 19450 HAS SOUPS 19450 WITH SCORE 19482.1
AT ITER 7630 NEW BEST:: SOT 100709 SOS 31605 HAS SOPS 31605 HAS SOUS 19426 HAS SOUPS 19426 WITH SCORE 19457.605
AT ITER 7674 NEW BEST:: SOT 100697 SOS 31580 HAS SOPS 31580 HAS SOUS 19401 HAS SOUPS 19401 WITH SCORE 19432.58
AT ITER 7679 NEW BEST:: SOT 100681 SOS 31544 HAS SOPS 31544 HAS SOUS 19367 HAS SOUPS 19367 WITH SCORE 19398.544
AT ITER 7686 NEW BEST:: SOT 100641 SOS 31432 HAS SOPS 31432 HAS SOUS 19327 HAS SOUPS 19327 WITH SCORE 19358.432
AT ITER 7751 NEW BEST:: SOT 100616 SOS 31492 HAS SOPS 31492 HAS SOUS 19277 HAS SOUPS 19277 WITH SCORE 19308.492
AT ITER 7778 NEW BEST:: SOT 100613 SOS 31486 HAS SOPS 31486 HAS SOUS 19271 HAS SOUPS 19271 WITH SCORE 19302.486
AT ITER 7807 NEW BEST:: SOT 100626 SOS 31485 HAS SOPS 31485 HAS SOUS 19270 HAS SOUPS 19270 WITH SCORE 19301.485
AT ITER 7818 NEW BEST:: SOT 100609 SOS 31467 HAS SOPS 31467 HAS SOUS 19260 HAS SOUPS 19260 WITH SCORE 19291.467
AT ITER 7821 NEW BEST:: SOT 100612 SOS 31470 HAS SOPS 31470 HAS SOUS 19258 HAS SOUPS 19258 WITH SCORE 19289.47
AT ITER 7845 NEW BEST:: SOT 100611 SOS 31470 HAS SOPS 31470 HAS SOUS 19256 HAS SOUPS 19256 WITH SCORE 19287.47
AT ITER 7847 NEW BEST:: SOT 100588 SOS 31424 HAS SOPS 31424 HAS SOUS 19210 HAS SOUPS 19210 WITH SCORE 19241.424
AT ITER 7850 NEW BEST:: SOT 100580 SOS 31408 HAS SOPS 31408 HAS SOUS 19198 HAS SOUPS 19198 WITH SCORE 19229.408
AT ITER 7950 NEW BEST:: SOT 100581 SOS 31410 HAS SOPS 31410 HAS SOUS 19182 HAS SOUPS 19182 WITH SCORE 19213.41
AT ITER 7965 NEW BEST:: SOT 100571 SOS 31397 HAS SOPS 31397 HAS SOUS 19162 HAS SOUPS 19162 WITH SCORE 19193.397
AT ITER 7980 NEW BEST:: SOT 100570 SOS 31395 HAS SOPS 31395 HAS SOUS 19160 HAS SOUPS 19160 WITH SCORE 19191.395
AT ITER 8033 NEW BEST:: SOT 100582 SOS 31406 HAS SOPS 31406 HAS SOUS 19159 HAS SOUPS 19159 WITH SCORE 19190.406
AT ITER 8054 NEW BEST:: SOT 100549 SOS 31328 HAS SOPS 31328 HAS SOUS 19112 HAS SOUPS 19112 WITH SCORE 19143.328
AT ITER 8093 NEW BEST:: SOT 100548 SOS 31327 HAS SOPS 31327 HAS SOUS 19111 HAS SOUPS 19111 WITH SCORE 19142.327
AT ITER 8100 NEW BEST:: SOT 100541 SOS 31320 HAS SOPS 31320 HAS SOUS 19097 HAS SOUPS 19097 WITH SCORE 19128.32
AT ITER 8105 NEW BEST:: SOT 100539 SOS 31326 HAS SOPS 31326 HAS SOUS 19095 HAS SOUPS 19095 WITH SCORE 19126.326
AT ITER 8165 NEW BEST:: SOT 100538 SOS 31324 HAS SOPS 31324 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19124.324
AT ITER 8194 NEW BEST:: SOT 100545 SOS 31323 HAS SOPS 31323 HAS SOUS 19092 HAS SOUPS 19092 WITH SCORE 19123.323
AT ITER 8271 NEW BEST:: SOT 100540 SOS 31313 HAS SOPS 31313 HAS SOUS 19089 HAS SOUPS 19089 WITH SCORE 19120.313
AT ITER 8277 NEW BEST:: SOT 100565 SOS 31336 HAS SOPS 31336 HAS SOUS 19085 HAS SOUPS 19085 WITH SCORE 19116.336
AT ITER 8327 NEW BEST:: SOT 100566 SOS 31343 HAS SOPS 31343 HAS SOUS 19081 HAS SOUPS 19081 WITH SCORE 19112.343
AT ITER 8329 NEW BEST:: SOT 100551 SOS 31355 HAS SOPS 31355 HAS SOUS 19080 HAS SOUPS 19080 WITH SCORE 19111.355
AT ITER 8355 NEW BEST:: SOT 100550 SOS 31353 HAS SOPS 31353 HAS SOUS 19078 HAS SOUPS 19078 WITH SCORE 19109.353
AT ITER 8383 NEW BEST:: SOT 100549 SOS 31352 HAS SOPS 31352 HAS SOUS 19076 HAS SOUPS 19076 WITH SCORE 19107.352
AT ITER 8407 NEW BEST:: SOT 100547 SOS 31348 HAS SOPS 31348 HAS SOUS 19072 HAS SOUPS 19072 WITH SCORE 19103.348
AT ITER 8419 NEW BEST:: SOT 100545 SOS 31346 HAS SOPS 31346 HAS SOUS 19068 HAS SOUPS 19068 WITH SCORE 19099.346
AT ITER 8435 NEW BEST:: SOT 100544 SOS 31344 HAS SOPS 31344 HAS SOUS 19066 HAS SOUPS 19066 WITH SCORE 19097.344
AT ITER 8473 NEW BEST:: SOT 100571 SOS 31341 HAS SOPS 31341 HAS SOUS 19063 HAS SOUPS 19063 WITH SCORE 19094.341
AT ITER 8540 NEW BEST:: SOT 100576 SOS 31340 HAS SOPS 31340 HAS SOUS 19062 HAS SOUPS 19062 WITH SCORE 19093.34
AT ITER 8542 NEW BEST:: SOT 100573 SOS 32923 HAS SOPS 32923 HAS SOUS 19059 HAS SOUPS 19059 WITH SCORE 19091.923
AT ITER 8554 NEW BEST:: SOT 100566 SOS 32910 HAS SOPS 32910 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19083.91
AT ITER 8565 NEW BEST:: SOT 100565 SOS 32908 HAS SOPS 32908 HAS SOUS 19049 HAS SOUPS 19049 WITH SCORE 19081.908
AT ITER 8582 NEW BEST:: SOT 100565 SOS 32899 HAS SOPS 32899 HAS SOUS 19049 HAS SOUPS 19049 WITH SCORE 19081.899
AT ITER 8588 NEW BEST:: SOT 100563 SOS 32893 HAS SOPS 32893 HAS SOUS 19045 HAS SOUPS 19045 WITH SCORE 19077.893
AT ITER 8589 NEW BEST:: SOT 100562 SOS 32891 HAS SOPS 32891 HAS SOUS 19043 HAS SOUPS 19043 WITH SCORE 19075.891
AT ITER 8590 NEW BEST:: SOT 100561 SOS 32874 HAS SOPS 32874 HAS SOUS 19012 HAS SOUPS 19012 WITH SCORE 19044.874
AT ITER 8645 NEW BEST:: SOT 100561 SOS 32864 HAS SOPS 32864 HAS SOUS 19012 HAS SOUPS 19012 WITH SCORE 19044.864
AT ITER 8669 NEW BEST:: SOT 100557 SOS 32855 HAS SOPS 32855 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19031.855
AT ITER 8676 NEW BEST:: SOT 100551 SOS 32849 HAS SOPS 32849 HAS SOUS 18987 HAS SOUPS 18987 WITH SCORE 19019.849
AT ITER 8679 NEW BEST:: SOT 100551 SOS 32849 HAS SOPS 32849 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19017.849
AT ITER 8705 NEW BEST:: SOT 100553 SOS 32843 HAS SOPS 32843 HAS SOUS 18981 HAS SOUPS 18981 WITH SCORE 19013.843
AT ITER 8713 NEW BEST:: SOT 100553 SOS 32841 HAS SOPS 32841 HAS SOUS 18981 HAS SOUPS 18981 WITH SCORE 19013.841
AT ITER 8766 NEW BEST:: SOT 100552 SOS 32843 HAS SOPS 32843 HAS SOUS 18979 HAS SOUPS 18979 WITH SCORE 19011.843
AT ITER 8770 NEW BEST:: SOT 100535 SOS 32840 HAS SOPS 32840 HAS SOUS 18961 HAS SOUPS 18961 WITH SCORE 18993.84
AT ITER 8774 NEW BEST:: SOT 100518 SOS 32722 HAS SOPS 32722 HAS SOUS 18903 HAS SOUPS 18903 WITH SCORE 18935.722
AT ITER 8781 NEW BEST:: SOT 100525 SOS 32736 HAS SOPS 32736 HAS SOUS 18895 HAS SOUPS 18895 WITH SCORE 18927.736
AT ITER 8868 NEW BEST:: SOT 100525 SOS 32736 HAS SOPS 32736 HAS SOUS 18893 HAS SOUPS 18893 WITH SCORE 18925.736
AT ITER 8874 NEW BEST:: SOT 100501 SOS 32715 HAS SOPS 32715 HAS SOUS 18872 HAS SOUPS 18872 WITH SCORE 18904.715
AT ITER 8886 NEW BEST:: SOT 100491 SOS 32695 HAS SOPS 32695 HAS SOUS 18862 HAS SOUPS 18862 WITH SCORE 18894.695
AT ITER 8982 NEW BEST:: SOT 100486 SOS 32685 HAS SOPS 32685 HAS SOUS 18852 HAS SOUPS 18852 WITH SCORE 18884.685
AT ITER 9031 NEW BEST:: SOT 100486 SOS 32671 HAS SOPS 32671 HAS SOUS 18838 HAS SOUPS 18838 WITH SCORE 18870.671
AT ITER 9051 NEW BEST:: SOT 100486 SOS 32670 HAS SOPS 32670 HAS SOUS 18837 HAS SOUPS 18837 WITH SCORE 18869.67
AT ITER 9062 NEW BEST:: SOT 100481 SOS 32660 HAS SOPS 32660 HAS SOUS 18829 HAS SOUPS 18829 WITH SCORE 18861.66
AT ITER 9075 NEW BEST:: SOT 100477 SOS 32663 HAS SOPS 32663 HAS SOUS 18821 HAS SOUPS 18821 WITH SCORE 18853.663
AT ITER 9099 NEW BEST:: SOT 100449 SOS 32616 HAS SOPS 32616 HAS SOUS 18783 HAS SOUPS 18783 WITH SCORE 18815.616
AT ITER 9115 NEW BEST:: SOT 100447 SOS 32612 HAS SOPS 32612 HAS SOUS 18779 HAS SOUPS 18779 WITH SCORE 18811.612
AT ITER 9116 NEW BEST:: SOT 100447 SOS 32612 HAS SOPS 32612 HAS SOUS 18777 HAS SOUPS 18777 WITH SCORE 18809.612
AT ITER 9134 NEW BEST:: SOT 100447 SOS 32612 HAS SOPS 32612 HAS SOUS 18749 HAS SOUPS 18749 WITH SCORE 18781.612
AT ITER 9160 NEW BEST:: SOT 100442 SOS 32602 HAS SOPS 32602 HAS SOUS 18739 HAS SOUPS 18739 WITH SCORE 18771.602
AT ITER 9188 NEW BEST:: SOT 100427 SOS 32572 HAS SOPS 32572 HAS SOUS 18724 HAS SOUPS 18724 WITH SCORE 18756.572
AT ITER 9189 NEW BEST:: SOT 100416 SOS 32570 HAS SOPS 32570 HAS SOUS 18720 HAS SOUPS 18720 WITH SCORE 18752.57
AT ITER 9221 NEW BEST:: SOT 100414 SOS 32566 HAS SOPS 32566 HAS SOUS 18718 HAS SOUPS 18718 WITH SCORE 18750.566
AT ITER 9227 NEW BEST:: SOT 100379 SOS 32496 HAS SOPS 32496 HAS SOUS 18648 HAS SOUPS 18648 WITH SCORE 18680.496
AT ITER 9228 NEW BEST:: SOT 100375 SOS 32488 HAS SOPS 32488 HAS SOUS 18640 HAS SOUPS 18640 WITH SCORE 18672.488
AT ITER 9241 NEW BEST:: SOT 100375 SOS 32484 HAS SOPS 32484 HAS SOUS 18640 HAS SOUPS 18640 WITH SCORE 18672.484
AT ITER 9248 NEW BEST:: SOT 100374 SOS 32482 HAS SOPS 32482 HAS SOUS 18630 HAS SOUPS 18630 WITH SCORE 18662.482
AT ITER 9279 NEW BEST:: SOT 100373 SOS 32480 HAS SOPS 32480 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18660.48
AT ITER 9383 NEW BEST:: SOT 100367 SOS 32484 HAS SOPS 32484 HAS SOUS 18622 HAS SOUPS 18622 WITH SCORE 18654.484
AT ITER 9389 NEW BEST:: SOT 100373 SOS 32476 HAS SOPS 32476 HAS SOUS 18622 HAS SOUPS 18622 WITH SCORE 18654.476
AT ITER 9411 NEW BEST:: SOT 100372 SOS 32475 HAS SOPS 32475 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18653.475
AT ITER 9432 NEW BEST:: SOT 100374 SOS 32477 HAS SOPS 32477 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18652.477
AT ITER 9536 NEW BEST:: SOT 100374 SOS 32463 HAS SOPS 32463 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18652.463
AT ITER 9547 NEW BEST:: SOT 100356 SOS 32436 HAS SOPS 32436 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18616.436
AT ITER 9615 NEW BEST:: SOT 100356 SOS 32416 HAS SOPS 32416 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18616.416
AT ITER 9636 NEW BEST:: SOT 100358 SOS 32390 HAS SOPS 32390 HAS SOUS 18558 HAS SOUPS 18558 WITH SCORE 18590.39
AT ITER 9647 NEW BEST:: SOT 100396 SOS 32358 HAS SOPS 32358 HAS SOUS 18533 HAS SOUPS 18533 WITH SCORE 18565.358
AT ITER 9685 NEW BEST:: SOT 100394 SOS 32354 HAS SOPS 32354 HAS SOUS 18529 HAS SOUPS 18529 WITH SCORE 18561.354
AT ITER 9739 NEW BEST:: SOT 100394 SOS 32349 HAS SOPS 32349 HAS SOUS 18529 HAS SOUPS 18529 WITH SCORE 18561.349
AT ITER 9742 NEW BEST:: SOT 100375 SOS 32311 HAS SOPS 32311 HAS SOUS 18491 HAS SOUPS 18491 WITH SCORE 18523.311
AT ITER 9778 NEW BEST:: SOT 100374 SOS 32310 HAS SOPS 32310 HAS SOUS 18489 HAS SOUPS 18489 WITH SCORE 18521.31
AT ITER 9805 NEW BEST:: SOT 100373 SOS 32311 HAS SOPS 32311 HAS SOUS 18488 HAS SOUPS 18488 WITH SCORE 18520.311
AT ITER 9808 NEW BEST:: SOT 100387 SOS 32325 HAS SOPS 32325 HAS SOUS 18481 HAS SOUPS 18481 WITH SCORE 18513.325
AT ITER 9815 NEW BEST:: SOT 100379 SOS 32313 HAS SOPS 32313 HAS SOUS 18473 HAS SOUPS 18473 WITH SCORE 18505.313
AT ITER 9828 NEW BEST:: SOT 100377 SOS 32336 HAS SOPS 32336 HAS SOUS 18469 HAS SOUPS 18469 WITH SCORE 18501.336
AT ITER 9878 NEW BEST:: SOT 100360 SOS 32317 HAS SOPS 32317 HAS SOUS 18454 HAS SOUPS 18454 WITH SCORE 18486.317
AT ITER 9907 NEW BEST:: SOT 100369 SOS 32304 HAS SOPS 32304 HAS SOUS 18450 HAS SOUPS 18450 WITH SCORE 18482.304
AT ITER 9923 NEW BEST:: SOT 100274 SOS 32285 HAS SOPS 32285 HAS SOUS 18386 HAS SOUPS 18386 WITH SCORE 18418.285
AT ITER 9967 NEW BEST:: SOT 100264 SOS 32265 HAS SOPS 32265 HAS SOUS 18369 HAS SOUPS 18369 WITH SCORE 18401.265
AT ITER 9970 NEW BEST:: SOT 100262 SOS 32259 HAS SOPS 32259 HAS SOUS 18365 HAS SOUPS 18365 WITH SCORE 18397.259
AT ITER 9976 NEW BEST:: SOT 100247 SOS 32253 HAS SOPS 32253 HAS SOUS 18359 HAS SOUPS 18359 WITH SCORE 18391.253
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9850972 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123964 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-14b"
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-14b, 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-167819423000424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-14b.tgz
mv DiscoveryGPU-PT-14b 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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;