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.r203-smll-167840349100144.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 GPUForwardProgress-PT-36b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349100144
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 8.0K Feb 25 14:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 14:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 14:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 25 14:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 14:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 14:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 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 179K 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 1678551647341

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=GPUForwardProgress-PT-36b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 16:20:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 16:20:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 16:20:51] [INFO ] Load time of PNML (sax parser for PT used): 199 ms
[2023-03-11 16:20:51] [INFO ] Transformed 720 places.
[2023-03-11 16:20:51] [INFO ] Transformed 757 transitions.
[2023-03-11 16:20:51] [INFO ] Found NUPN structural information;
[2023-03-11 16:20:51] [INFO ] Parsed PT model containing 720 places and 757 transitions and 1877 arcs in 412 ms.
[2023-03-11 16:20:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 720 places, 757 transitions and 1877 arcs took 26 ms.
Total runtime 502 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 36b
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: 720 places, 757 transitions, 1877 arcs.
AT ITER 0 NEW BEST:: SOT 308106 SOS 82563 HAS SOPS 82563 HAS SOUS 75087 HAS SOUPS 75087 WITH SCORE 75169.563
AT ITER 25 NEW BEST:: SOT 308106 SOS 82377 HAS SOPS 82377 HAS SOUS 75087 HAS SOUPS 75087 WITH SCORE 75169.377
AT ITER 26 NEW BEST:: SOT 308106 SOS 82377 HAS SOPS 82377 HAS SOUS 75086 HAS SOUPS 75086 WITH SCORE 75168.377
AT ITER 64 NEW BEST:: SOT 308070 SOS 82269 HAS SOPS 82269 HAS SOUS 75014 HAS SOUPS 75014 WITH SCORE 75096.269
AT ITER 93 NEW BEST:: SOT 308070 SOS 82269 HAS SOPS 82269 HAS SOUS 75013 HAS SOUPS 75013 WITH SCORE 75095.269
AT ITER 130 NEW BEST:: SOT 308056 SOS 82246 HAS SOPS 82246 HAS SOUS 74999 HAS SOUPS 74999 WITH SCORE 75081.246
AT ITER 133 NEW BEST:: SOT 307969 SOS 82155 HAS SOPS 82155 HAS SOUS 74912 HAS SOUPS 74912 WITH SCORE 74994.155
AT ITER 150 NEW BEST:: SOT 307969 SOS 82155 HAS SOPS 82155 HAS SOUS 74911 HAS SOUPS 74911 WITH SCORE 74993.155
AT ITER 157 NEW BEST:: SOT 307969 SOS 82138 HAS SOPS 82138 HAS SOUS 74894 HAS SOUPS 74894 WITH SCORE 74976.138
AT ITER 158 NEW BEST:: SOT 307912 SOS 82165 HAS SOPS 82165 HAS SOUS 74893 HAS SOUPS 74893 WITH SCORE 74975.165
AT ITER 167 NEW BEST:: SOT 307867 SOS 82130 HAS SOPS 82130 HAS SOUS 74848 HAS SOUPS 74848 WITH SCORE 74930.13
AT ITER 188 NEW BEST:: SOT 307867 SOS 81993 HAS SOPS 81993 HAS SOUS 74848 HAS SOUPS 74848 WITH SCORE 74929.993
AT ITER 194 NEW BEST:: SOT 307867 SOS 81819 HAS SOPS 81819 HAS SOUS 74848 HAS SOUPS 74848 WITH SCORE 74929.819
AT ITER 208 NEW BEST:: SOT 307823 SOS 81731 HAS SOPS 81731 HAS SOUS 74804 HAS SOUPS 74804 WITH SCORE 74885.731
AT ITER 231 NEW BEST:: SOT 307823 SOS 81679 HAS SOPS 81679 HAS SOUS 74758 HAS SOUPS 74758 WITH SCORE 74839.679
AT ITER 259 NEW BEST:: SOT 307895 SOS 81459 HAS SOPS 81459 HAS SOUS 74648 HAS SOUPS 74648 WITH SCORE 74729.459
AT ITER 263 NEW BEST:: SOT 307895 SOS 81429 HAS SOPS 81429 HAS SOUS 74647 HAS SOUPS 74647 WITH SCORE 74728.429
AT ITER 265 NEW BEST:: SOT 307813 SOS 81362 HAS SOPS 81362 HAS SOUS 74592 HAS SOUPS 74592 WITH SCORE 74673.362
AT ITER 267 NEW BEST:: SOT 307853 SOS 81442 HAS SOPS 81442 HAS SOUS 74578 HAS SOUPS 74578 WITH SCORE 74659.442
AT ITER 279 NEW BEST:: SOT 307853 SOS 81442 HAS SOPS 81442 HAS SOUS 74577 HAS SOUPS 74577 WITH SCORE 74658.442
AT ITER 290 NEW BEST:: SOT 307853 SOS 81384 HAS SOPS 81384 HAS SOUS 74576 HAS SOUPS 74576 WITH SCORE 74657.384
AT ITER 294 NEW BEST:: SOT 307853 SOS 81384 HAS SOPS 81384 HAS SOUS 74575 HAS SOUPS 74575 WITH SCORE 74656.384
AT ITER 299 NEW BEST:: SOT 307853 SOS 81354 HAS SOPS 81354 HAS SOUS 74545 HAS SOUPS 74545 WITH SCORE 74626.354
AT ITER 301 NEW BEST:: SOT 307853 SOS 83145 HAS SOPS 83145 HAS SOUS 74543 HAS SOUPS 74543 WITH SCORE 74626.145
AT ITER 313 NEW BEST:: SOT 307848 SOS 83135 HAS SOPS 83135 HAS SOUS 74533 HAS SOUPS 74533 WITH SCORE 74616.135
AT ITER 349 NEW BEST:: SOT 307752 SOS 82970 HAS SOPS 82970 HAS SOUS 74437 HAS SOUPS 74437 WITH SCORE 74519.97
AT ITER 386 NEW BEST:: SOT 307752 SOS 82970 HAS SOPS 82970 HAS SOUS 74436 HAS SOUPS 74436 WITH SCORE 74518.97
AT ITER 391 NEW BEST:: SOT 307752 SOS 82917 HAS SOPS 82917 HAS SOUS 74383 HAS SOUPS 74383 WITH SCORE 74465.917
AT ITER 429 NEW BEST:: SOT 307725 SOS 82926 HAS SOPS 82926 HAS SOUS 74373 HAS SOUPS 74373 WITH SCORE 74455.926
AT ITER 443 NEW BEST:: SOT 307725 SOS 82811 HAS SOPS 82811 HAS SOUS 74324 HAS SOUPS 74324 WITH SCORE 74406.811
AT ITER 458 NEW BEST:: SOT 307725 SOS 82730 HAS SOPS 82730 HAS SOUS 74243 HAS SOUPS 74243 WITH SCORE 74325.73
AT ITER 467 NEW BEST:: SOT 307725 SOS 82686 HAS SOPS 82686 HAS SOUS 74199 HAS SOUPS 74199 WITH SCORE 74281.686
AT ITER 482 NEW BEST:: SOT 307725 SOS 82686 HAS SOPS 82686 HAS SOUS 74198 HAS SOUPS 74198 WITH SCORE 74280.686
AT ITER 516 NEW BEST:: SOT 307725 SOS 82618 HAS SOPS 82618 HAS SOUS 74130 HAS SOUPS 74130 WITH SCORE 74212.618
AT ITER 525 NEW BEST:: SOT 307725 SOS 82590 HAS SOPS 82590 HAS SOUS 74102 HAS SOUPS 74102 WITH SCORE 74184.59
AT ITER 535 NEW BEST:: SOT 307654 SOS 82466 HAS SOPS 82466 HAS SOUS 74031 HAS SOUPS 74031 WITH SCORE 74113.466
AT ITER 546 NEW BEST:: SOT 307654 SOS 82352 HAS SOPS 82352 HAS SOUS 73982 HAS SOUPS 73982 WITH SCORE 74064.352
AT ITER 551 NEW BEST:: SOT 307654 SOS 82352 HAS SOPS 82352 HAS SOUS 73940 HAS SOUPS 73940 WITH SCORE 74022.352
AT ITER 565 NEW BEST:: SOT 307617 SOS 82315 HAS SOPS 82315 HAS SOUS 73903 HAS SOUPS 73903 WITH SCORE 73985.315
AT ITER 587 NEW BEST:: SOT 307577 SOS 82235 HAS SOPS 82235 HAS SOUS 73863 HAS SOUPS 73863 WITH SCORE 73945.235
AT ITER 614 NEW BEST:: SOT 307577 SOS 82235 HAS SOPS 82235 HAS SOUS 73862 HAS SOUPS 73862 WITH SCORE 73944.235
AT ITER 660 NEW BEST:: SOT 307577 SOS 82183 HAS SOPS 82183 HAS SOUS 73810 HAS SOUPS 73810 WITH SCORE 73892.183
AT ITER 666 NEW BEST:: SOT 307538 SOS 82144 HAS SOPS 82144 HAS SOUS 73771 HAS SOUPS 73771 WITH SCORE 73853.144
AT ITER 673 NEW BEST:: SOT 307538 SOS 82144 HAS SOPS 82144 HAS SOUS 73770 HAS SOUPS 73770 WITH SCORE 73852.144
AT ITER 688 NEW BEST:: SOT 307538 SOS 82116 HAS SOPS 82116 HAS SOUS 73742 HAS SOUPS 73742 WITH SCORE 73824.116
AT ITER 712 NEW BEST:: SOT 307538 SOS 82052 HAS SOPS 82052 HAS SOUS 73742 HAS SOUPS 73742 WITH SCORE 73824.052
AT ITER 723 NEW BEST:: SOT 307538 SOS 82052 HAS SOPS 82052 HAS SOUS 73729 HAS SOUPS 73729 WITH SCORE 73811.052
AT ITER 746 NEW BEST:: SOT 307538 SOS 82052 HAS SOPS 82052 HAS SOUS 73728 HAS SOUPS 73728 WITH SCORE 73810.052
AT ITER 749 NEW BEST:: SOT 307538 SOS 82052 HAS SOPS 82052 HAS SOUS 73726 HAS SOUPS 73726 WITH SCORE 73808.052
AT ITER 757 NEW BEST:: SOT 307430 SOS 81836 HAS SOPS 81836 HAS SOUS 73618 HAS SOUPS 73618 WITH SCORE 73699.836
AT ITER 758 NEW BEST:: SOT 307376 SOS 81782 HAS SOPS 81782 HAS SOUS 73618 HAS SOUPS 73618 WITH SCORE 73699.782
AT ITER 761 NEW BEST:: SOT 307456 SOS 81653 HAS SOPS 81653 HAS SOUS 73593 HAS SOUPS 73593 WITH SCORE 73674.653
AT ITER 783 NEW BEST:: SOT 307446 SOS 81633 HAS SOPS 81633 HAS SOUS 73573 HAS SOUPS 73573 WITH SCORE 73654.633
AT ITER 791 NEW BEST:: SOT 307443 SOS 81630 HAS SOPS 81630 HAS SOUS 73570 HAS SOUPS 73570 WITH SCORE 73651.63
AT ITER 793 NEW BEST:: SOT 307443 SOS 81630 HAS SOPS 81630 HAS SOUS 73569 HAS SOUPS 73569 WITH SCORE 73650.63
AT ITER 816 NEW BEST:: SOT 307443 SOS 81608 HAS SOPS 81608 HAS SOUS 73569 HAS SOUPS 73569 WITH SCORE 73650.608
AT ITER 817 NEW BEST:: SOT 307443 SOS 81608 HAS SOPS 81608 HAS SOUS 73568 HAS SOUPS 73568 WITH SCORE 73649.608
AT ITER 842 NEW BEST:: SOT 307443 SOS 81608 HAS SOPS 81608 HAS SOUS 73567 HAS SOUPS 73567 WITH SCORE 73648.608
AT ITER 846 NEW BEST:: SOT 307404 SOS 81585 HAS SOPS 81585 HAS SOUS 73518 HAS SOUPS 73518 WITH SCORE 73599.585
AT ITER 852 NEW BEST:: SOT 307440 SOS 81486 HAS SOPS 81486 HAS SOUS 73502 HAS SOUPS 73502 WITH SCORE 73583.486
AT ITER 877 NEW BEST:: SOT 307260 SOS 81417 HAS SOPS 81417 HAS SOUS 73323 HAS SOUPS 73323 WITH SCORE 73404.417
AT ITER 905 NEW BEST:: SOT 307286 SOS 81469 HAS SOPS 81469 HAS SOUS 73309 HAS SOUPS 73309 WITH SCORE 73390.469
AT ITER 916 NEW BEST:: SOT 307286 SOS 81369 HAS SOPS 81369 HAS SOUS 73309 HAS SOUPS 73309 WITH SCORE 73390.369
AT ITER 923 NEW BEST:: SOT 307285 SOS 81367 HAS SOPS 81367 HAS SOUS 73307 HAS SOUPS 73307 WITH SCORE 73388.367
AT ITER 935 NEW BEST:: SOT 307272 SOS 81354 HAS SOPS 81354 HAS SOUS 73294 HAS SOUPS 73294 WITH SCORE 73375.354
AT ITER 939 NEW BEST:: SOT 307272 SOS 81354 HAS SOPS 81354 HAS SOUS 73293 HAS SOUPS 73293 WITH SCORE 73374.354
AT ITER 962 NEW BEST:: SOT 307272 SOS 81354 HAS SOPS 81354 HAS SOUS 73236 HAS SOUPS 73236 WITH SCORE 73317.354
AT ITER 965 NEW BEST:: SOT 307272 SOS 81354 HAS SOPS 81354 HAS SOUS 73190 HAS SOUPS 73190 WITH SCORE 73271.354
AT ITER 973 NEW BEST:: SOT 307272 SOS 81312 HAS SOPS 81312 HAS SOUS 73190 HAS SOUPS 73190 WITH SCORE 73271.312
AT ITER 979 NEW BEST:: SOT 307291 SOS 81210 HAS SOPS 81210 HAS SOUS 73128 HAS SOUPS 73128 WITH SCORE 73209.21
AT ITER 985 NEW BEST:: SOT 307239 SOS 81158 HAS SOPS 81158 HAS SOUS 73024 HAS SOUPS 73024 WITH SCORE 73105.158
AT ITER 993 NEW BEST:: SOT 307239 SOS 81158 HAS SOPS 81158 HAS SOUS 73023 HAS SOUPS 73023 WITH SCORE 73104.158
AT ITER 1015 NEW BEST:: SOT 307253 SOS 81021 HAS SOPS 81021 HAS SOUS 72967 HAS SOUPS 72967 WITH SCORE 73048.021
AT ITER 1029 NEW BEST:: SOT 307253 SOS 81021 HAS SOPS 81021 HAS SOUS 72966 HAS SOUPS 72966 WITH SCORE 73047.021
AT ITER 1033 NEW BEST:: SOT 307253 SOS 80914 HAS SOPS 80914 HAS SOUS 72966 HAS SOUPS 72966 WITH SCORE 73046.914
AT ITER 1037 NEW BEST:: SOT 307253 SOS 80872 HAS SOPS 80872 HAS SOUS 72943 HAS SOUPS 72943 WITH SCORE 73023.872
AT ITER 1053 NEW BEST:: SOT 307178 SOS 80730 HAS SOPS 80730 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 72950.73
AT ITER 1054 NEW BEST:: SOT 307178 SOS 80670 HAS SOPS 80670 HAS SOUS 72810 HAS SOUPS 72810 WITH SCORE 72890.67
AT ITER 1062 NEW BEST:: SOT 307178 SOS 80584 HAS SOPS 80584 HAS SOUS 72810 HAS SOUPS 72810 WITH SCORE 72890.584
AT ITER 1067 NEW BEST:: SOT 307125 SOS 80478 HAS SOPS 80478 HAS SOUS 72716 HAS SOUPS 72716 WITH SCORE 72796.478
AT ITER 1082 NEW BEST:: SOT 307125 SOS 80414 HAS SOPS 80414 HAS SOUS 72716 HAS SOUPS 72716 WITH SCORE 72796.414
AT ITER 1083 NEW BEST:: SOT 307125 SOS 80414 HAS SOPS 80414 HAS SOUS 72715 HAS SOUPS 72715 WITH SCORE 72795.414
AT ITER 1088 NEW BEST:: SOT 307074 SOS 80363 HAS SOPS 80363 HAS SOUS 72664 HAS SOUPS 72664 WITH SCORE 72744.363
AT ITER 1133 NEW BEST:: SOT 306949 SOS 80229 HAS SOPS 80229 HAS SOUS 72518 HAS SOUPS 72518 WITH SCORE 72598.229
AT ITER 1136 NEW BEST:: SOT 307076 SOS 80067 HAS SOPS 80067 HAS SOUS 72496 HAS SOUPS 72496 WITH SCORE 72576.067
AT ITER 1144 NEW BEST:: SOT 307076 SOS 80067 HAS SOPS 80067 HAS SOUS 72462 HAS SOUPS 72462 WITH SCORE 72542.067
AT ITER 1155 NEW BEST:: SOT 307076 SOS 80067 HAS SOPS 80067 HAS SOUS 72415 HAS SOUPS 72415 WITH SCORE 72495.067
AT ITER 1169 NEW BEST:: SOT 307194 SOS 80163 HAS SOPS 80163 HAS SOUS 72363 HAS SOUPS 72363 WITH SCORE 72443.163
AT ITER 1171 NEW BEST:: SOT 307240 SOS 80102 HAS SOPS 80102 HAS SOUS 72302 HAS SOUPS 72302 WITH SCORE 72382.102
AT ITER 1199 NEW BEST:: SOT 307159 SOS 80021 HAS SOPS 80021 HAS SOUS 72227 HAS SOUPS 72227 WITH SCORE 72307.021
AT ITER 1202 NEW BEST:: SOT 307045 SOS 79793 HAS SOPS 79793 HAS SOUS 71999 HAS SOUPS 71999 WITH SCORE 72078.793
AT ITER 1215 NEW BEST:: SOT 307033 SOS 79769 HAS SOPS 79769 HAS SOUS 71987 HAS SOUPS 71987 WITH SCORE 72066.769
AT ITER 1219 NEW BEST:: SOT 307033 SOS 79769 HAS SOPS 79769 HAS SOUS 71986 HAS SOUPS 71986 WITH SCORE 72065.769
AT ITER 1260 NEW BEST:: SOT 303837 SOS 110553 HAS SOPS 110553 HAS SOUS 69873 HAS SOUPS 69873 WITH SCORE 69983.553
AT ITER 1269 NEW BEST:: SOT 303811 SOS 110501 HAS SOPS 110501 HAS SOUS 69821 HAS SOUPS 69821 WITH SCORE 69931.501
AT ITER 1273 NEW BEST:: SOT 303811 SOS 110501 HAS SOPS 110501 HAS SOUS 69820 HAS SOUPS 69820 WITH SCORE 69930.501
AT ITER 1283 NEW BEST:: SOT 303826 SOS 110464 HAS SOPS 110464 HAS SOUS 69783 HAS SOUPS 69783 WITH SCORE 69893.464
AT ITER 1293 NEW BEST:: SOT 303826 SOS 110415 HAS SOPS 110415 HAS SOUS 69783 HAS SOUPS 69783 WITH SCORE 69893.415
AT ITER 1313 NEW BEST:: SOT 303806 SOS 110323 HAS SOPS 110323 HAS SOUS 69691 HAS SOUPS 69691 WITH SCORE 69801.323
AT ITER 1321 NEW BEST:: SOT 303843 SOS 110397 HAS SOPS 110397 HAS SOUS 69667 HAS SOUPS 69667 WITH SCORE 69777.397
AT ITER 1335 NEW BEST:: SOT 303791 SOS 110345 HAS SOPS 110345 HAS SOUS 69615 HAS SOUPS 69615 WITH SCORE 69725.345
AT ITER 1338 NEW BEST:: SOT 303758 SOS 110279 HAS SOPS 110279 HAS SOUS 69549 HAS SOUPS 69549 WITH SCORE 69659.279
AT ITER 1347 NEW BEST:: SOT 303758 SOS 110260 HAS SOPS 110260 HAS SOUS 69530 HAS SOUPS 69530 WITH SCORE 69640.26
AT ITER 1354 NEW BEST:: SOT 303783 SOS 110222 HAS SOPS 110222 HAS SOUS 69492 HAS SOUPS 69492 WITH SCORE 69602.222
AT ITER 1356 NEW BEST:: SOT 303750 SOS 110156 HAS SOPS 110156 HAS SOUS 69459 HAS SOUPS 69459 WITH SCORE 69569.156
AT ITER 1394 NEW BEST:: SOT 303668 SOS 109992 HAS SOPS 109992 HAS SOUS 69187 HAS SOUPS 69187 WITH SCORE 69296.992
AT ITER 1396 NEW BEST:: SOT 303668 SOS 109992 HAS SOPS 109992 HAS SOUS 69172 HAS SOUPS 69172 WITH SCORE 69281.992
AT ITER 1411 NEW BEST:: SOT 303637 SOS 109930 HAS SOPS 109930 HAS SOUS 69047 HAS SOUPS 69047 WITH SCORE 69156.93
AT ITER 1462 NEW BEST:: SOT 303637 SOS 109792 HAS SOPS 109792 HAS SOUS 69046 HAS SOUPS 69046 WITH SCORE 69155.792
AT ITER 1466 NEW BEST:: SOT 303709 SOS 109936 HAS SOPS 109936 HAS SOUS 68970 HAS SOUPS 68970 WITH SCORE 69079.936
AT ITER 1502 NEW BEST:: SOT 303683 SOS 109884 HAS SOPS 109884 HAS SOUS 68943 HAS SOUPS 68943 WITH SCORE 69052.884
AT ITER 1521 NEW BEST:: SOT 303683 SOS 109884 HAS SOPS 109884 HAS SOUS 68928 HAS SOUPS 68928 WITH SCORE 69037.884
AT ITER 1525 NEW BEST:: SOT 303586 SOS 109690 HAS SOPS 109690 HAS SOUS 68832 HAS SOUPS 68832 WITH SCORE 68941.69
AT ITER 1531 NEW BEST:: SOT 303512 SOS 109542 HAS SOPS 109542 HAS SOUS 68676 HAS SOUPS 68676 WITH SCORE 68785.542
AT ITER 1533 NEW BEST:: SOT 303512 SOS 109542 HAS SOPS 109542 HAS SOUS 68667 HAS SOUPS 68667 WITH SCORE 68776.542
AT ITER 1534 NEW BEST:: SOT 303495 SOS 109508 HAS SOPS 109508 HAS SOUS 68637 HAS SOUPS 68637 WITH SCORE 68746.508
AT ITER 1542 NEW BEST:: SOT 303495 SOS 109508 HAS SOPS 109508 HAS SOUS 68630 HAS SOUPS 68630 WITH SCORE 68739.508
AT ITER 1562 NEW BEST:: SOT 303495 SOS 109434 HAS SOPS 109434 HAS SOUS 68629 HAS SOUPS 68629 WITH SCORE 68738.434
AT ITER 1564 NEW BEST:: SOT 303495 SOS 109313 HAS SOPS 109313 HAS SOUS 68522 HAS SOUPS 68522 WITH SCORE 68631.313
AT ITER 1568 NEW BEST:: SOT 303495 SOS 109304 HAS SOPS 109304 HAS SOUS 68513 HAS SOUPS 68513 WITH SCORE 68622.304
AT ITER 1589 NEW BEST:: SOT 303429 SOS 109172 HAS SOPS 109172 HAS SOUS 68447 HAS SOUPS 68447 WITH SCORE 68556.172
AT ITER 1597 NEW BEST:: SOT 303429 SOS 109172 HAS SOPS 109172 HAS SOUS 68437 HAS SOUPS 68437 WITH SCORE 68546.172
AT ITER 1607 NEW BEST:: SOT 303402 SOS 109022 HAS SOPS 109022 HAS SOUS 68346 HAS SOUPS 68346 WITH SCORE 68455.022
AT ITER 1631 NEW BEST:: SOT 303380 SOS 108978 HAS SOPS 108978 HAS SOUS 68324 HAS SOUPS 68324 WITH SCORE 68432.978
AT ITER 1658 NEW BEST:: SOT 303380 SOS 108882 HAS SOPS 108882 HAS SOUS 68276 HAS SOUPS 68276 WITH SCORE 68384.882
AT ITER 1668 NEW BEST:: SOT 303329 SOS 108780 HAS SOPS 108780 HAS SOUS 68174 HAS SOUPS 68174 WITH SCORE 68282.78
AT ITER 1669 NEW BEST:: SOT 303329 SOS 108736 HAS SOPS 108736 HAS SOUS 68130 HAS SOUPS 68130 WITH SCORE 68238.736
AT ITER 1684 NEW BEST:: SOT 303305 SOS 108688 HAS SOPS 108688 HAS SOUS 68082 HAS SOUPS 68082 WITH SCORE 68190.688
AT ITER 1705 NEW BEST:: SOT 303305 SOS 108688 HAS SOPS 108688 HAS SOUS 68081 HAS SOUPS 68081 WITH SCORE 68189.688
AT ITER 1706 NEW BEST:: SOT 303298 SOS 108537 HAS SOPS 108537 HAS SOUS 67951 HAS SOUPS 67951 WITH SCORE 68059.537
AT ITER 1720 NEW BEST:: SOT 303304 SOS 108549 HAS SOPS 108549 HAS SOUS 67947 HAS SOUPS 67947 WITH SCORE 68055.549
AT ITER 1722 NEW BEST:: SOT 303251 SOS 108443 HAS SOPS 108443 HAS SOUS 67841 HAS SOUPS 67841 WITH SCORE 67949.443
AT ITER 1729 NEW BEST:: SOT 303221 SOS 108383 HAS SOPS 108383 HAS SOUS 67781 HAS SOUPS 67781 WITH SCORE 67889.383
AT ITER 1740 NEW BEST:: SOT 303196 SOS 108333 HAS SOPS 108333 HAS SOUS 67731 HAS SOUPS 67731 WITH SCORE 67839.333
AT ITER 1743 NEW BEST:: SOT 303229 SOS 108153 HAS SOPS 108153 HAS SOUS 67641 HAS SOUPS 67641 WITH SCORE 67749.153
AT ITER 1753 NEW BEST:: SOT 303204 SOS 108009 HAS SOPS 108009 HAS SOUS 67563 HAS SOUPS 67563 WITH SCORE 67671.009
AT ITER 1799 NEW BEST:: SOT 303198 SOS 107997 HAS SOPS 107997 HAS SOUS 67551 HAS SOUPS 67551 WITH SCORE 67658.997
AT ITER 1816 NEW BEST:: SOT 303233 SOS 108067 HAS SOPS 108067 HAS SOUS 67466 HAS SOUPS 67466 WITH SCORE 67574.067
AT ITER 1819 NEW BEST:: SOT 303298 SOS 107833 HAS SOPS 107833 HAS SOUS 67401 HAS SOUPS 67401 WITH SCORE 67508.833
AT ITER 1837 NEW BEST:: SOT 303279 SOS 107795 HAS SOPS 107795 HAS SOUS 67363 HAS SOUPS 67363 WITH SCORE 67470.795
AT ITER 1861 NEW BEST:: SOT 303279 SOS 107615 HAS SOPS 107615 HAS SOUS 67363 HAS SOUPS 67363 WITH SCORE 67470.615
AT ITER 1868 NEW BEST:: SOT 303279 SOS 107583 HAS SOPS 107583 HAS SOUS 67331 HAS SOUPS 67331 WITH SCORE 67438.583
AT ITER 1870 NEW BEST:: SOT 303253 SOS 107557 HAS SOPS 107557 HAS SOUS 67330 HAS SOUPS 67330 WITH SCORE 67437.557
AT ITER 1872 NEW BEST:: SOT 303190 SOS 107431 HAS SOPS 107431 HAS SOUS 67252 HAS SOUPS 67252 WITH SCORE 67359.431
AT ITER 1874 NEW BEST:: SOT 303164 SOS 107289 HAS SOPS 107289 HAS SOUS 67200 HAS SOUPS 67200 WITH SCORE 67307.289
AT ITER 1901 NEW BEST:: SOT 303161 SOS 107401 HAS SOPS 107401 HAS SOUS 67197 HAS SOUPS 67197 WITH SCORE 67304.401
AT ITER 1946 NEW BEST:: SOT 303172 SOS 107423 HAS SOPS 107423 HAS SOUS 67136 HAS SOUPS 67136 WITH SCORE 67243.423
AT ITER 1951 NEW BEST:: SOT 303172 SOS 107423 HAS SOPS 107423 HAS SOUS 67054 HAS SOUPS 67054 WITH SCORE 67161.423
AT ITER 1961 NEW BEST:: SOT 303124 SOS 107213 HAS SOPS 107213 HAS SOUS 66901 HAS SOUPS 66901 WITH SCORE 67008.213
AT ITER 1962 NEW BEST:: SOT 303096 SOS 107203 HAS SOPS 107203 HAS SOUS 66891 HAS SOUPS 66891 WITH SCORE 66998.203
AT ITER 1973 NEW BEST:: SOT 302542 SOS 106941 HAS SOPS 106941 HAS SOUS 66448 HAS SOUPS 66448 WITH SCORE 66554.941
AT ITER 1998 NEW BEST:: SOT 302542 SOS 106863 HAS SOPS 106863 HAS SOUS 66370 HAS SOUPS 66370 WITH SCORE 66476.863
AT ITER 2003 NEW BEST:: SOT 302468 SOS 106788 HAS SOPS 106788 HAS SOUS 66295 HAS SOUPS 66295 WITH SCORE 66401.788
AT ITER 2006 NEW BEST:: SOT 302431 SOS 106714 HAS SOPS 106714 HAS SOUS 66221 HAS SOUPS 66221 WITH SCORE 66327.714
AT ITER 2015 NEW BEST:: SOT 302393 SOS 106706 HAS SOPS 106706 HAS SOUS 66213 HAS SOUPS 66213 WITH SCORE 66319.706
AT ITER 2020 NEW BEST:: SOT 302393 SOS 106658 HAS SOPS 106658 HAS SOUS 66213 HAS SOUPS 66213 WITH SCORE 66319.658
AT ITER 2032 NEW BEST:: SOT 302297 SOS 106574 HAS SOPS 106574 HAS SOUS 66021 HAS SOUPS 66021 WITH SCORE 66127.574
AT ITER 2040 NEW BEST:: SOT 302271 SOS 106522 HAS SOPS 106522 HAS SOUS 66012 HAS SOUPS 66012 WITH SCORE 66118.522
AT ITER 2105 NEW BEST:: SOT 302258 SOS 106496 HAS SOPS 106496 HAS SOUS 65986 HAS SOUPS 65986 WITH SCORE 66092.496
AT ITER 2250 NEW BEST:: SOT 302230 SOS 106454 HAS SOPS 106454 HAS SOUS 65944 HAS SOUPS 65944 WITH SCORE 66050.454
AT ITER 2254 NEW BEST:: SOT 302220 SOS 106414 HAS SOPS 106414 HAS SOUS 65934 HAS SOUPS 65934 WITH SCORE 66040.414
AT ITER 2301 NEW BEST:: SOT 302220 SOS 106408 HAS SOPS 106408 HAS SOUS 65928 HAS SOUPS 65928 WITH SCORE 66034.408
AT ITER 2329 NEW BEST:: SOT 302166 SOS 106354 HAS SOPS 106354 HAS SOUS 65910 HAS SOUPS 65910 WITH SCORE 66016.354
AT ITER 2330 NEW BEST:: SOT 302163 SOS 106348 HAS SOPS 106348 HAS SOUS 65904 HAS SOUPS 65904 WITH SCORE 66010.348
AT ITER 2337 NEW BEST:: SOT 302163 SOS 106336 HAS SOPS 106336 HAS SOUS 65892 HAS SOUPS 65892 WITH SCORE 65998.336
AT ITER 2339 NEW BEST:: SOT 302197 SOS 106166 HAS SOPS 106166 HAS SOUS 65832 HAS SOUPS 65832 WITH SCORE 65938.166
AT ITER 2345 NEW BEST:: SOT 302116 SOS 106004 HAS SOPS 106004 HAS SOUS 65795 HAS SOUPS 65795 WITH SCORE 65901.004
AT ITER 2369 NEW BEST:: SOT 302098 SOS 105907 HAS SOPS 105907 HAS SOUS 65759 HAS SOUPS 65759 WITH SCORE 65864.907
AT ITER 2376 NEW BEST:: SOT 302091 SOS 105893 HAS SOPS 105893 HAS SOUS 65745 HAS SOUPS 65745 WITH SCORE 65850.893
AT ITER 2384 NEW BEST:: SOT 302043 SOS 105845 HAS SOPS 105845 HAS SOUS 65617 HAS SOUPS 65617 WITH SCORE 65722.845
AT ITER 2390 NEW BEST:: SOT 301980 SOS 105686 HAS SOPS 105686 HAS SOUS 65458 HAS SOUPS 65458 WITH SCORE 65563.686
AT ITER 2406 NEW BEST:: SOT 301980 SOS 105686 HAS SOPS 105686 HAS SOUS 65457 HAS SOUPS 65457 WITH SCORE 65562.686
AT ITER 2411 NEW BEST:: SOT 301979 SOS 105684 HAS SOPS 105684 HAS SOUS 65455 HAS SOUPS 65455 WITH SCORE 65560.684
AT ITER 2430 NEW BEST:: SOT 301973 SOS 105672 HAS SOPS 105672 HAS SOUS 65449 HAS SOUPS 65449 WITH SCORE 65554.672
AT ITER 2443 NEW BEST:: SOT 301980 SOS 105602 HAS SOPS 105602 HAS SOUS 65414 HAS SOUPS 65414 WITH SCORE 65519.602
AT ITER 2446 NEW BEST:: SOT 301871 SOS 105438 HAS SOPS 105438 HAS SOUS 65313 HAS SOUPS 65313 WITH SCORE 65418.438
AT ITER 2477 NEW BEST:: SOT 301871 SOS 105435 HAS SOPS 105435 HAS SOUS 65310 HAS SOUPS 65310 WITH SCORE 65415.435
AT ITER 2497 NEW BEST:: SOT 301868 SOS 105429 HAS SOPS 105429 HAS SOUS 65304 HAS SOUPS 65304 WITH SCORE 65409.429
AT ITER 2498 NEW BEST:: SOT 301750 SOS 105285 HAS SOPS 105285 HAS SOUS 65160 HAS SOUPS 65160 WITH SCORE 65265.285
AT ITER 2517 NEW BEST:: SOT 301917 SOS 105157 HAS SOPS 105157 HAS SOUS 65127 HAS SOUPS 65127 WITH SCORE 65232.157
AT ITER 2526 NEW BEST:: SOT 301905 SOS 105060 HAS SOPS 105060 HAS SOUS 65103 HAS SOUPS 65103 WITH SCORE 65208.06
AT ITER 2592 NEW BEST:: SOT 301929 SOS 104946 HAS SOPS 104946 HAS SOUS 65094 HAS SOUPS 65094 WITH SCORE 65198.946
AT ITER 2603 NEW BEST:: SOT 301926 SOS 104940 HAS SOPS 104940 HAS SOUS 65088 HAS SOUPS 65088 WITH SCORE 65192.94
AT ITER 2615 NEW BEST:: SOT 301854 SOS 104796 HAS SOPS 104796 HAS SOUS 65035 HAS SOUPS 65035 WITH SCORE 65139.796
AT ITER 2624 NEW BEST:: SOT 301685 SOS 104458 HAS SOPS 104458 HAS SOUS 64959 HAS SOUPS 64959 WITH SCORE 65063.458
AT ITER 2676 NEW BEST:: SOT 301671 SOS 104430 HAS SOPS 104430 HAS SOUS 64945 HAS SOUPS 64945 WITH SCORE 65049.43
AT ITER 2684 NEW BEST:: SOT 301671 SOS 104422 HAS SOPS 104422 HAS SOUS 64941 HAS SOUPS 64941 WITH SCORE 65045.422
AT ITER 2693 NEW BEST:: SOT 301651 SOS 104357 HAS SOPS 104357 HAS SOUS 64901 HAS SOUPS 64901 WITH SCORE 65005.357
AT ITER 2701 NEW BEST:: SOT 301651 SOS 104357 HAS SOPS 104357 HAS SOUS 64900 HAS SOUPS 64900 WITH SCORE 65004.357
AT ITER 2705 NEW BEST:: SOT 301607 SOS 103985 HAS SOPS 103985 HAS SOUS 64797 HAS SOUPS 64797 WITH SCORE 64900.985
AT ITER 2760 NEW BEST:: SOT 301607 SOS 103926 HAS SOPS 103926 HAS SOUS 64797 HAS SOUPS 64797 WITH SCORE 64900.926
AT ITER 2794 NEW BEST:: SOT 301588 SOS 103888 HAS SOPS 103888 HAS SOUS 64749 HAS SOUPS 64749 WITH SCORE 64852.888
AT ITER 2795 NEW BEST:: SOT 301580 SOS 103872 HAS SOPS 103872 HAS SOUS 64733 HAS SOUPS 64733 WITH SCORE 64836.872
AT ITER 2801 NEW BEST:: SOT 301580 SOS 103872 HAS SOPS 103872 HAS SOUS 64725 HAS SOUPS 64725 WITH SCORE 64828.872
AT ITER 2817 NEW BEST:: SOT 301580 SOS 103858 HAS SOPS 103858 HAS SOUS 64711 HAS SOUPS 64711 WITH SCORE 64814.858
AT ITER 2840 NEW BEST:: SOT 301513 SOS 103724 HAS SOPS 103724 HAS SOUS 64577 HAS SOUPS 64577 WITH SCORE 64680.724
AT ITER 2859 NEW BEST:: SOT 301500 SOS 103698 HAS SOPS 103698 HAS SOUS 64551 HAS SOUPS 64551 WITH SCORE 64654.698
AT ITER 2906 NEW BEST:: SOT 301485 SOS 103683 HAS SOPS 103683 HAS SOUS 64521 HAS SOUPS 64521 WITH SCORE 64624.683
AT ITER 2930 NEW BEST:: SOT 301482 SOS 103680 HAS SOPS 103680 HAS SOUS 64521 HAS SOUPS 64521 WITH SCORE 64624.68
AT ITER 2931 NEW BEST:: SOT 301353 SOS 89759 HAS SOPS 89759 HAS SOUS 64392 HAS SOUPS 64392 WITH SCORE 64481.759
AT ITER 2943 NEW BEST:: SOT 301343 SOS 89739 HAS SOPS 89739 HAS SOUS 64382 HAS SOUPS 64382 WITH SCORE 64471.739
AT ITER 2964 NEW BEST:: SOT 301266 SOS 89508 HAS SOPS 89508 HAS SOUS 64228 HAS SOUPS 64228 WITH SCORE 64317.508
AT ITER 2980 NEW BEST:: SOT 301227 SOS 89430 HAS SOPS 89430 HAS SOUS 64150 HAS SOUPS 64150 WITH SCORE 64239.43
AT ITER 2990 NEW BEST:: SOT 301353 SOS 89414 HAS SOPS 89414 HAS SOUS 64142 HAS SOUPS 64142 WITH SCORE 64231.414
AT ITER 2993 NEW BEST:: SOT 301352 SOS 89413 HAS SOPS 89413 HAS SOUS 64140 HAS SOUPS 64140 WITH SCORE 64229.413
AT ITER 2996 NEW BEST:: SOT 301352 SOS 89413 HAS SOPS 89413 HAS SOUS 64134 HAS SOUPS 64134 WITH SCORE 64223.413
AT ITER 2998 NEW BEST:: SOT 301104 SOS 89273 HAS SOPS 89273 HAS SOUS 63922 HAS SOUPS 63922 WITH SCORE 64011.273
AT ITER 3003 NEW BEST:: SOT 301089 SOS 89243 HAS SOPS 89243 HAS SOUS 63892 HAS SOUPS 63892 WITH SCORE 63981.243
AT ITER 3035 NEW BEST:: SOT 301099 SOS 89263 HAS SOPS 89263 HAS SOUS 63885 HAS SOUPS 63885 WITH SCORE 63974.263
AT ITER 3086 NEW BEST:: SOT 301102 SOS 89269 HAS SOPS 89269 HAS SOUS 63871 HAS SOUPS 63871 WITH SCORE 63960.269
AT ITER 3103 NEW BEST:: SOT 301110 SOS 89285 HAS SOPS 89285 HAS SOUS 63862 HAS SOUPS 63862 WITH SCORE 63951.285
AT ITER 3105 NEW BEST:: SOT 301023 SOS 89111 HAS SOPS 89111 HAS SOUS 63688 HAS SOUPS 63688 WITH SCORE 63777.111
AT ITER 3127 NEW BEST:: SOT 300954 SOS 88973 HAS SOPS 88973 HAS SOUS 63648 HAS SOUPS 63648 WITH SCORE 63736.973
AT ITER 3149 NEW BEST:: SOT 300954 SOS 88836 HAS SOPS 88836 HAS SOUS 63641 HAS SOUPS 63641 WITH SCORE 63729.836
AT ITER 3156 NEW BEST:: SOT 300943 SOS 88814 HAS SOPS 88814 HAS SOUS 63619 HAS SOUPS 63619 WITH SCORE 63707.814
AT ITER 3190 NEW BEST:: SOT 300943 SOS 88786 HAS SOPS 88786 HAS SOUS 63619 HAS SOUPS 63619 WITH SCORE 63707.786
AT ITER 3207 NEW BEST:: SOT 300907 SOS 88714 HAS SOPS 88714 HAS SOUS 63547 HAS SOUPS 63547 WITH SCORE 63635.714
AT ITER 3212 NEW BEST:: SOT 300905 SOS 88710 HAS SOPS 88710 HAS SOUS 63514 HAS SOUPS 63514 WITH SCORE 63602.71
AT ITER 3219 NEW BEST:: SOT 300843 SOS 88586 HAS SOPS 88586 HAS SOUS 63390 HAS SOUPS 63390 WITH SCORE 63478.586
AT ITER 3223 NEW BEST:: SOT 300843 SOS 88586 HAS SOPS 88586 HAS SOUS 63325 HAS SOUPS 63325 WITH SCORE 63413.586
AT ITER 3240 NEW BEST:: SOT 300715 SOS 88330 HAS SOPS 88330 HAS SOUS 63083 HAS SOUPS 63083 WITH SCORE 63171.33
AT ITER 3249 NEW BEST:: SOT 300703 SOS 88306 HAS SOPS 88306 HAS SOUS 63068 HAS SOUPS 63068 WITH SCORE 63156.306
AT ITER 3254 NEW BEST:: SOT 300669 SOS 88227 HAS SOPS 88227 HAS SOUS 63000 HAS SOUPS 63000 WITH SCORE 63088.227
AT ITER 3264 NEW BEST:: SOT 300623 SOS 88135 HAS SOPS 88135 HAS SOUS 62908 HAS SOUPS 62908 WITH SCORE 62996.135
AT ITER 3279 NEW BEST:: SOT 300557 SOS 85594 HAS SOPS 85594 HAS SOUS 62809 HAS SOUPS 62809 WITH SCORE 62894.594
AT ITER 3284 NEW BEST:: SOT 300557 SOS 85452 HAS SOPS 85452 HAS SOUS 62738 HAS SOUPS 62738 WITH SCORE 62823.452
AT ITER 3303 NEW BEST:: SOT 300557 SOS 85452 HAS SOPS 85452 HAS SOUS 62712 HAS SOUPS 62712 WITH SCORE 62797.452
AT ITER 3318 NEW BEST:: SOT 300590 SOS 85318 HAS SOPS 85318 HAS SOUS 62699 HAS SOUPS 62699 WITH SCORE 62784.318
AT ITER 3320 NEW BEST:: SOT 300621 SOS 85308 HAS SOPS 85308 HAS SOUS 62689 HAS SOUPS 62689 WITH SCORE 62774.308
AT ITER 3335 NEW BEST:: SOT 300611 SOS 85273 HAS SOPS 85273 HAS SOUS 62669 HAS SOUPS 62669 WITH SCORE 62754.273
AT ITER 3336 NEW BEST:: SOT 300611 SOS 85273 HAS SOPS 85273 HAS SOUS 62668 HAS SOUPS 62668 WITH SCORE 62753.273
AT ITER 3344 NEW BEST:: SOT 300611 SOS 85197 HAS SOPS 85197 HAS SOUS 62642 HAS SOUPS 62642 WITH SCORE 62727.197
AT ITER 3356 NEW BEST:: SOT 300642 SOS 85259 HAS SOPS 85259 HAS SOUS 62551 HAS SOUPS 62551 WITH SCORE 62636.259
AT ITER 3389 NEW BEST:: SOT 300642 SOS 85239 HAS SOPS 85239 HAS SOUS 62531 HAS SOUPS 62531 WITH SCORE 62616.239
AT ITER 3395 NEW BEST:: SOT 300560 SOS 85100 HAS SOPS 85100 HAS SOUS 62424 HAS SOUPS 62424 WITH SCORE 62509.1
AT ITER 3402 NEW BEST:: SOT 300522 SOS 84983 HAS SOPS 84983 HAS SOUS 62389 HAS SOUPS 62389 WITH SCORE 62473.983
AT ITER 3472 NEW BEST:: SOT 300513 SOS 84965 HAS SOPS 84965 HAS SOUS 62371 HAS SOUPS 62371 WITH SCORE 62455.965
AT ITER 3484 NEW BEST:: SOT 300497 SOS 84933 HAS SOPS 84933 HAS SOUS 62291 HAS SOUPS 62291 WITH SCORE 62375.933
AT ITER 3488 NEW BEST:: SOT 300489 SOS 84925 HAS SOPS 84925 HAS SOUS 62283 HAS SOUPS 62283 WITH SCORE 62367.925
AT ITER 3490 NEW BEST:: SOT 300504 SOS 84807 HAS SOPS 84807 HAS SOUS 62273 HAS SOUPS 62273 WITH SCORE 62357.807
AT ITER 3557 NEW BEST:: SOT 300483 SOS 84765 HAS SOPS 84765 HAS SOUS 62231 HAS SOUPS 62231 WITH SCORE 62315.765
AT ITER 3582 NEW BEST:: SOT 300484 SOS 84629 HAS SOPS 84629 HAS SOUS 62163 HAS SOUPS 62163 WITH SCORE 62247.629
AT ITER 3660 NEW BEST:: SOT 300529 SOS 84571 HAS SOPS 84571 HAS SOUS 62134 HAS SOUPS 62134 WITH SCORE 62218.571
AT ITER 3664 NEW BEST:: SOT 300544 SOS 84600 HAS SOPS 84600 HAS SOUS 62067 HAS SOUPS 62067 WITH SCORE 62151.6
AT ITER 3691 NEW BEST:: SOT 300544 SOS 84600 HAS SOPS 84600 HAS SOUS 62031 HAS SOUPS 62031 WITH SCORE 62115.6
AT ITER 3692 NEW BEST:: SOT 300529 SOS 84414 HAS SOPS 84414 HAS SOUS 62001 HAS SOUPS 62001 WITH SCORE 62085.414
AT ITER 3699 NEW BEST:: SOT 300618 SOS 84287 HAS SOPS 84287 HAS SOUS 61999 HAS SOUPS 61999 WITH SCORE 62083.287
AT ITER 3722 NEW BEST:: SOT 300599 SOS 84268 HAS SOPS 84268 HAS SOUS 61990 HAS SOUPS 61990 WITH SCORE 62074.268
AT ITER 3726 NEW BEST:: SOT 300586 SOS 84242 HAS SOPS 84242 HAS SOUS 61964 HAS SOUPS 61964 WITH SCORE 62048.242
AT ITER 3757 NEW BEST:: SOT 300639 SOS 84203 HAS SOPS 84203 HAS SOUS 61925 HAS SOUPS 61925 WITH SCORE 62009.203
AT ITER 3837 NEW BEST:: SOT 300596 SOS 84117 HAS SOPS 84117 HAS SOUS 61874 HAS SOUPS 61874 WITH SCORE 61958.117
AT ITER 3881 NEW BEST:: SOT 300598 SOS 84112 HAS SOPS 84112 HAS SOUS 61869 HAS SOUPS 61869 WITH SCORE 61953.112
AT ITER 3912 NEW BEST:: SOT 300598 SOS 83909 HAS SOPS 83909 HAS SOUS 61869 HAS SOUPS 61869 WITH SCORE 61952.909
AT ITER 3938 NEW BEST:: SOT 300521 SOS 83755 HAS SOPS 83755 HAS SOUS 61715 HAS SOUPS 61715 WITH SCORE 61798.755
AT ITER 3949 NEW BEST:: SOT 300496 SOS 83705 HAS SOPS 83705 HAS SOUS 61665 HAS SOUPS 61665 WITH SCORE 61748.705
AT ITER 3962 NEW BEST:: SOT 300490 SOS 83693 HAS SOPS 83693 HAS SOUS 61656 HAS SOUPS 61656 WITH SCORE 61739.693
AT ITER 3967 NEW BEST:: SOT 300414 SOS 83541 HAS SOPS 83541 HAS SOUS 61586 HAS SOUPS 61586 WITH SCORE 61669.541
AT ITER 4025 NEW BEST:: SOT 300399 SOS 83511 HAS SOPS 83511 HAS SOUS 61556 HAS SOUPS 61556 WITH SCORE 61639.511
AT ITER 4032 NEW BEST:: SOT 300399 SOS 83511 HAS SOPS 83511 HAS SOUS 61540 HAS SOUPS 61540 WITH SCORE 61623.511
AT ITER 4043 NEW BEST:: SOT 300412 SOS 83495 HAS SOPS 83495 HAS SOUS 61539 HAS SOUPS 61539 WITH SCORE 61622.495
AT ITER 4070 NEW BEST:: SOT 300392 SOS 83475 HAS SOPS 83475 HAS SOUS 61519 HAS SOUPS 61519 WITH SCORE 61602.475
AT ITER 4091 NEW BEST:: SOT 300388 SOS 83476 HAS SOPS 83476 HAS SOUS 61511 HAS SOUPS 61511 WITH SCORE 61594.476
AT ITER 4113 NEW BEST:: SOT 300363 SOS 83425 HAS SOPS 83425 HAS SOUS 61436 HAS SOUPS 61436 WITH SCORE 61519.425
AT ITER 4166 NEW BEST:: SOT 300363 SOS 83251 HAS SOPS 83251 HAS SOUS 61436 HAS SOUPS 61436 WITH SCORE 61519.251
AT ITER 4187 NEW BEST:: SOT 300363 SOS 83243 HAS SOPS 83243 HAS SOUS 61428 HAS SOUPS 61428 WITH SCORE 61511.243
AT ITER 4205 NEW BEST:: SOT 300363 SOS 83243 HAS SOPS 83243 HAS SOUS 61405 HAS SOUPS 61405 WITH SCORE 61488.243
AT ITER 4265 NEW BEST:: SOT 300363 SOS 83236 HAS SOPS 83236 HAS SOUS 61405 HAS SOUPS 61405 WITH SCORE 61488.236
AT ITER 4266 NEW BEST:: SOT 300363 SOS 83236 HAS SOPS 83236 HAS SOUS 61398 HAS SOUPS 61398 WITH SCORE 61481.236
AT ITER 4273 NEW BEST:: SOT 300355 SOS 83235 HAS SOPS 83235 HAS SOUS 61397 HAS SOUPS 61397 WITH SCORE 61480.235
AT ITER 4298 NEW BEST:: SOT 300347 SOS 83169 HAS SOPS 83169 HAS SOUS 61335 HAS SOUPS 61335 WITH SCORE 61418.169
AT ITER 4315 NEW BEST:: SOT 300329 SOS 83133 HAS SOPS 83133 HAS SOUS 61299 HAS SOUPS 61299 WITH SCORE 61382.133
AT ITER 4338 NEW BEST:: SOT 300321 SOS 83117 HAS SOPS 83117 HAS SOUS 61283 HAS SOUPS 61283 WITH SCORE 61366.117
AT ITER 4378 NEW BEST:: SOT 300298 SOS 83071 HAS SOPS 83071 HAS SOUS 61261 HAS SOUPS 61261 WITH SCORE 61344.071
AT ITER 4389 NEW BEST:: SOT 300289 SOS 83053 HAS SOPS 83053 HAS SOUS 61177 HAS SOUPS 61177 WITH SCORE 61260.053
AT ITER 4423 NEW BEST:: SOT 300271 SOS 83017 HAS SOPS 83017 HAS SOUS 61121 HAS SOUPS 61121 WITH SCORE 61204.017
AT ITER 4433 NEW BEST:: SOT 300178 SOS 82831 HAS SOPS 82831 HAS SOUS 61061 HAS SOUPS 61061 WITH SCORE 61143.831
AT ITER 4460 NEW BEST:: SOT 300173 SOS 82821 HAS SOPS 82821 HAS SOUS 61051 HAS SOUPS 61051 WITH SCORE 61133.821
AT ITER 4493 NEW BEST:: SOT 300155 SOS 82810 HAS SOPS 82810 HAS SOUS 61040 HAS SOUPS 61040 WITH SCORE 61122.81
AT ITER 4525 NEW BEST:: SOT 300135 SOS 82770 HAS SOPS 82770 HAS SOUS 61000 HAS SOUPS 61000 WITH SCORE 61082.77
AT ITER 4543 NEW BEST:: SOT 300135 SOS 82770 HAS SOPS 82770 HAS SOUS 60998 HAS SOUPS 60998 WITH SCORE 61080.77
AT ITER 4551 NEW BEST:: SOT 300115 SOS 82770 HAS SOPS 82770 HAS SOUS 60978 HAS SOUPS 60978 WITH SCORE 61060.77
AT ITER 4687 NEW BEST:: SOT 299674 SOS 82287 HAS SOPS 82287 HAS SOUS 60958 HAS SOUPS 60958 WITH SCORE 61040.287
AT ITER 4692 NEW BEST:: SOT 299662 SOS 82236 HAS SOPS 82236 HAS SOUS 60934 HAS SOUPS 60934 WITH SCORE 61016.236
AT ITER 4693 NEW BEST:: SOT 299635 SOS 82070 HAS SOPS 82070 HAS SOUS 60907 HAS SOUPS 60907 WITH SCORE 60989.07
AT ITER 4699 NEW BEST:: SOT 299614 SOS 82007 HAS SOPS 82007 HAS SOUS 60844 HAS SOUPS 60844 WITH SCORE 60926.007
AT ITER 4706 NEW BEST:: SOT 299561 SOS 81941 HAS SOPS 81941 HAS SOUS 60767 HAS SOUPS 60767 WITH SCORE 60848.941
AT ITER 4709 NEW BEST:: SOT 299331 SOS 81562 HAS SOPS 81562 HAS SOUS 60618 HAS SOUPS 60618 WITH SCORE 60699.562
AT ITER 4710 NEW BEST:: SOT 299320 SOS 81550 HAS SOPS 81550 HAS SOUS 60606 HAS SOUPS 60606 WITH SCORE 60687.55
AT ITER 4714 NEW BEST:: SOT 299312 SOS 81542 HAS SOPS 81542 HAS SOUS 60598 HAS SOUPS 60598 WITH SCORE 60679.542
AT ITER 4717 NEW BEST:: SOT 299360 SOS 81456 HAS SOPS 81456 HAS SOUS 60555 HAS SOUPS 60555 WITH SCORE 60636.456
AT ITER 4718 NEW BEST:: SOT 299432 SOS 81517 HAS SOPS 81517 HAS SOUS 60437 HAS SOUPS 60437 WITH SCORE 60518.517
AT ITER 4720 NEW BEST:: SOT 299449 SOS 81480 HAS SOPS 81480 HAS SOUS 60359 HAS SOUPS 60359 WITH SCORE 60440.48
AT ITER 4738 NEW BEST:: SOT 299433 SOS 81529 HAS SOPS 81529 HAS SOUS 60327 HAS SOUPS 60327 WITH SCORE 60408.529
AT ITER 4769 NEW BEST:: SOT 299433 SOS 81517 HAS SOPS 81517 HAS SOUS 60327 HAS SOUPS 60327 WITH SCORE 60408.517
AT ITER 4787 NEW BEST:: SOT 299449 SOS 81549 HAS SOPS 81549 HAS SOUS 60323 HAS SOUPS 60323 WITH SCORE 60404.549
AT ITER 4794 NEW BEST:: SOT 299649 SOS 81949 HAS SOPS 81949 HAS SOUS 60306 HAS SOUPS 60306 WITH SCORE 60387.949
AT ITER 4854 NEW BEST:: SOT 299626 SOS 81903 HAS SOPS 81903 HAS SOUS 60260 HAS SOUPS 60260 WITH SCORE 60341.903
AT ITER 4857 NEW BEST:: SOT 299618 SOS 81833 HAS SOPS 81833 HAS SOUS 60225 HAS SOUPS 60225 WITH SCORE 60306.833
AT ITER 4881 NEW BEST:: SOT 299618 SOS 81781 HAS SOPS 81781 HAS SOUS 60225 HAS SOUPS 60225 WITH SCORE 60306.781
AT ITER 4954 NEW BEST:: SOT 299618 SOS 81781 HAS SOPS 81781 HAS SOUS 60198 HAS SOUPS 60198 WITH SCORE 60279.781
AT ITER 4976 NEW BEST:: SOT 299569 SOS 81756 HAS SOPS 81756 HAS SOUS 60161 HAS SOUPS 60161 WITH SCORE 60242.756
AT ITER 4985 NEW BEST:: SOT 299567 SOS 81752 HAS SOPS 81752 HAS SOUS 60157 HAS SOUPS 60157 WITH SCORE 60238.752
AT ITER 5030 NEW BEST:: SOT 299567 SOS 81752 HAS SOPS 81752 HAS SOUS 60143 HAS SOUPS 60143 WITH SCORE 60224.752
AT ITER 5040 NEW BEST:: SOT 299536 SOS 81746 HAS SOPS 81746 HAS SOUS 60137 HAS SOUPS 60137 WITH SCORE 60218.746
AT ITER 5054 NEW BEST:: SOT 299481 SOS 81581 HAS SOPS 81581 HAS SOUS 60027 HAS SOUPS 60027 WITH SCORE 60108.581
AT ITER 5090 NEW BEST:: SOT 299470 SOS 81559 HAS SOPS 81559 HAS SOUS 60005 HAS SOUPS 60005 WITH SCORE 60086.559
AT ITER 5102 NEW BEST:: SOT 299398 SOS 81487 HAS SOPS 81487 HAS SOUS 60005 HAS SOUPS 60005 WITH SCORE 60086.487
AT ITER 5105 NEW BEST:: SOT 299398 SOS 81478 HAS SOPS 81478 HAS SOUS 60002 HAS SOUPS 60002 WITH SCORE 60083.478
AT ITER 5107 NEW BEST:: SOT 299392 SOS 81466 HAS SOPS 81466 HAS SOUS 59990 HAS SOUPS 59990 WITH SCORE 60071.466
AT ITER 5123 NEW BEST:: SOT 299392 SOS 81444 HAS SOPS 81444 HAS SOUS 59979 HAS SOUPS 59979 WITH SCORE 60060.444
AT ITER 5163 NEW BEST:: SOT 299272 SOS 81204 HAS SOPS 81204 HAS SOUS 59875 HAS SOUPS 59875 WITH SCORE 59956.204
AT ITER 5174 NEW BEST:: SOT 299260 SOS 81186 HAS SOPS 81186 HAS SOUS 59857 HAS SOUPS 59857 WITH SCORE 59938.186
AT ITER 5175 NEW BEST:: SOT 299239 SOS 81144 HAS SOPS 81144 HAS SOUS 59845 HAS SOUPS 59845 WITH SCORE 59926.144
AT ITER 5185 NEW BEST:: SOT 299209 SOS 81084 HAS SOPS 81084 HAS SOUS 59840 HAS SOUPS 59840 WITH SCORE 59921.084
AT ITER 5206 NEW BEST:: SOT 299208 SOS 81082 HAS SOPS 81082 HAS SOUS 59838 HAS SOUPS 59838 WITH SCORE 59919.082
AT ITER 5223 NEW BEST:: SOT 299189 SOS 81078 HAS SOPS 81078 HAS SOUS 59834 HAS SOUPS 59834 WITH SCORE 59915.078
AT ITER 5275 NEW BEST:: SOT 299187 SOS 81074 HAS SOPS 81074 HAS SOUS 59830 HAS SOUPS 59830 WITH SCORE 59911.074
AT ITER 5323 NEW BEST:: SOT 299132 SOS 81071 HAS SOPS 81071 HAS SOUS 59803 HAS SOUPS 59803 WITH SCORE 59884.071
AT ITER 5329 NEW BEST:: SOT 299120 SOS 81059 HAS SOPS 81059 HAS SOUS 59791 HAS SOUPS 59791 WITH SCORE 59872.059
AT ITER 5393 NEW BEST:: SOT 299061 SOS 80941 HAS SOPS 80941 HAS SOUS 59780 HAS SOUPS 59780 WITH SCORE 59860.941
AT ITER 5415 NEW BEST:: SOT 299022 SOS 80965 HAS SOPS 80965 HAS SOUS 59702 HAS SOUPS 59702 WITH SCORE 59782.965
AT ITER 5420 NEW BEST:: SOT 299007 SOS 80935 HAS SOPS 80935 HAS SOUS 59672 HAS SOUPS 59672 WITH SCORE 59752.935
AT ITER 5459 NEW BEST:: SOT 299003 SOS 80927 HAS SOPS 80927 HAS SOUS 59664 HAS SOUPS 59664 WITH SCORE 59744.927
AT ITER 5491 NEW BEST:: SOT 298975 SOS 80923 HAS SOPS 80923 HAS SOUS 59608 HAS SOUPS 59608 WITH SCORE 59688.923
AT ITER 5506 NEW BEST:: SOT 298958 SOS 80889 HAS SOPS 80889 HAS SOUS 59572 HAS SOUPS 59572 WITH SCORE 59652.889
AT ITER 5528 NEW BEST:: SOT 298934 SOS 80865 HAS SOPS 80865 HAS SOUS 59545 HAS SOUPS 59545 WITH SCORE 59625.865
AT ITER 5547 NEW BEST:: SOT 298930 SOS 80857 HAS SOPS 80857 HAS SOUS 59537 HAS SOUPS 59537 WITH SCORE 59617.857
AT ITER 5580 NEW BEST:: SOT 298930 SOS 80857 HAS SOPS 80857 HAS SOUS 59505 HAS SOUPS 59505 WITH SCORE 59585.857
AT ITER 5605 NEW BEST:: SOT 298878 SOS 80779 HAS SOPS 80779 HAS SOUS 59427 HAS SOUPS 59427 WITH SCORE 59507.779
AT ITER 5639 NEW BEST:: SOT 298878 SOS 80724 HAS SOPS 80724 HAS SOUS 59427 HAS SOUPS 59427 WITH SCORE 59507.724
AT ITER 5650 NEW BEST:: SOT 298878 SOS 80724 HAS SOPS 80724 HAS SOUS 59416 HAS SOUPS 59416 WITH SCORE 59496.724
AT ITER 5691 NEW BEST:: SOT 298781 SOS 74745 HAS SOPS 74745 HAS SOUS 59314 HAS SOUPS 59314 WITH SCORE 59388.745
AT ITER 5710 NEW BEST:: SOT 298777 SOS 74741 HAS SOPS 74741 HAS SOUS 59310 HAS SOUPS 59310 WITH SCORE 59384.741
AT ITER 5722 NEW BEST:: SOT 298777 SOS 74741 HAS SOPS 74741 HAS SOUS 59282 HAS SOUPS 59282 WITH SCORE 59356.741
AT ITER 5739 NEW BEST:: SOT 298777 SOS 74695 HAS SOPS 74695 HAS SOUS 59282 HAS SOUPS 59282 WITH SCORE 59356.695
AT ITER 5764 NEW BEST:: SOT 298778 SOS 74696 HAS SOPS 74696 HAS SOUS 59262 HAS SOUPS 59262 WITH SCORE 59336.696
AT ITER 5768 NEW BEST:: SOT 298724 SOS 74508 HAS SOPS 74508 HAS SOUS 59137 HAS SOUPS 59137 WITH SCORE 59211.508
AT ITER 5776 NEW BEST:: SOT 298772 SOS 74408 HAS SOPS 74408 HAS SOUS 59115 HAS SOUPS 59115 WITH SCORE 59189.408
AT ITER 5784 NEW BEST:: SOT 298770 SOS 74370 HAS SOPS 74370 HAS SOUS 59075 HAS SOUPS 59075 WITH SCORE 59149.37
AT ITER 5839 NEW BEST:: SOT 298750 SOS 74408 HAS SOPS 74408 HAS SOUS 59074 HAS SOUPS 59074 WITH SCORE 59148.408
AT ITER 5851 NEW BEST:: SOT 298750 SOS 74350 HAS SOPS 74350 HAS SOUS 59016 HAS SOUPS 59016 WITH SCORE 59090.35
AT ITER 5903 NEW BEST:: SOT 298750 SOS 74344 HAS SOPS 74344 HAS SOUS 59010 HAS SOUPS 59010 WITH SCORE 59084.344
AT ITER 5954 NEW BEST:: SOT 298845 SOS 74302 HAS SOPS 74302 HAS SOUS 58968 HAS SOUPS 58968 WITH SCORE 59042.302
AT ITER 5976 NEW BEST:: SOT 298803 SOS 74226 HAS SOPS 74226 HAS SOUS 58892 HAS SOUPS 58892 WITH SCORE 58966.226
AT ITER 5982 NEW BEST:: SOT 298781 SOS 74182 HAS SOPS 74182 HAS SOUS 58870 HAS SOUPS 58870 WITH SCORE 58944.182
AT ITER 5985 NEW BEST:: SOT 298781 SOS 74182 HAS SOPS 74182 HAS SOUS 58859 HAS SOUPS 58859 WITH SCORE 58933.182
AT ITER 5997 NEW BEST:: SOT 298705 SOS 70019 HAS SOPS 70019 HAS SOUS 58707 HAS SOUPS 58707 WITH SCORE 58777.019
AT ITER 6000 NEW BEST:: SOT 298724 SOS 69984 HAS SOPS 69984 HAS SOUS 58672 HAS SOUPS 58672 WITH SCORE 58741.984
AT ITER 6012 NEW BEST:: SOT 298733 SOS 69902 HAS SOPS 69902 HAS SOUS 58640 HAS SOUPS 58640 WITH SCORE 58709.902
AT ITER 6029 NEW BEST:: SOT 298732 SOS 69900 HAS SOPS 69900 HAS SOUS 58638 HAS SOUPS 58638 WITH SCORE 58707.9
AT ITER 6073 NEW BEST:: SOT 298732 SOS 69750 HAS SOPS 69750 HAS SOUS 58638 HAS SOUPS 58638 WITH SCORE 58707.75
AT ITER 6075 NEW BEST:: SOT 298721 SOS 69739 HAS SOPS 69739 HAS SOUS 58616 HAS SOUPS 58616 WITH SCORE 58685.739
AT ITER 6094 NEW BEST:: SOT 298719 SOS 69706 HAS SOPS 69706 HAS SOUS 58549 HAS SOUPS 58549 WITH SCORE 58618.706
AT ITER 6121 NEW BEST:: SOT 298696 SOS 69743 HAS SOPS 69743 HAS SOUS 58503 HAS SOUPS 58503 WITH SCORE 58572.743
AT ITER 6123 NEW BEST:: SOT 298659 SOS 69714 HAS SOPS 69714 HAS SOUS 58500 HAS SOUPS 58500 WITH SCORE 58569.714
AT ITER 6147 NEW BEST:: SOT 298659 SOS 69685 HAS SOPS 69685 HAS SOUS 58471 HAS SOUPS 58471 WITH SCORE 58540.685
AT ITER 6151 NEW BEST:: SOT 298659 SOS 69679 HAS SOPS 69679 HAS SOUS 58471 HAS SOUPS 58471 WITH SCORE 58540.679
AT ITER 6152 NEW BEST:: SOT 298655 SOS 69671 HAS SOPS 69671 HAS SOUS 58463 HAS SOUPS 58463 WITH SCORE 58532.671
AT ITER 6161 NEW BEST:: SOT 298654 SOS 69670 HAS SOPS 69670 HAS SOUS 58461 HAS SOUPS 58461 WITH SCORE 58530.67
AT ITER 6162 NEW BEST:: SOT 298649 SOS 69660 HAS SOPS 69660 HAS SOUS 58459 HAS SOUPS 58459 WITH SCORE 58528.66
AT ITER 6173 NEW BEST:: SOT 298649 SOS 69630 HAS SOPS 69630 HAS SOUS 58459 HAS SOUPS 58459 WITH SCORE 58528.63
AT ITER 6195 NEW BEST:: SOT 298649 SOS 69630 HAS SOPS 69630 HAS SOUS 58346 HAS SOUPS 58346 WITH SCORE 58415.63
AT ITER 6196 NEW BEST:: SOT 298645 SOS 69622 HAS SOPS 69622 HAS SOUS 58338 HAS SOUPS 58338 WITH SCORE 58407.622
AT ITER 6214 NEW BEST:: SOT 298630 SOS 69582 HAS SOPS 69582 HAS SOUS 58308 HAS SOUPS 58308 WITH SCORE 58377.582
AT ITER 6249 NEW BEST:: SOT 298703 SOS 69546 HAS SOPS 69546 HAS SOUS 58297 HAS SOUPS 58297 WITH SCORE 58366.546
AT ITER 6316 NEW BEST:: SOT 298677 SOS 69468 HAS SOPS 69468 HAS SOUS 58245 HAS SOUPS 58245 WITH SCORE 58314.468
AT ITER 6357 NEW BEST:: SOT 298675 SOS 69464 HAS SOPS 69464 HAS SOUS 58243 HAS SOUPS 58243 WITH SCORE 58312.464
AT ITER 6390 NEW BEST:: SOT 298668 SOS 69464 HAS SOPS 69464 HAS SOUS 58229 HAS SOUPS 58229 WITH SCORE 58298.464
AT ITER 6425 NEW BEST:: SOT 298668 SOS 69443 HAS SOPS 69443 HAS SOUS 58229 HAS SOUPS 58229 WITH SCORE 58298.443
AT ITER 6451 NEW BEST:: SOT 298610 SOS 69453 HAS SOPS 69453 HAS SOUS 58205 HAS SOUPS 58205 WITH SCORE 58274.453
AT ITER 6466 NEW BEST:: SOT 298637 SOS 69507 HAS SOPS 69507 HAS SOUS 58197 HAS SOUPS 58197 WITH SCORE 58266.507
AT ITER 6495 NEW BEST:: SOT 298628 SOS 69467 HAS SOPS 69467 HAS SOUS 58168 HAS SOUPS 58168 WITH SCORE 58237.467
AT ITER 6518 NEW BEST:: SOT 298627 SOS 69465 HAS SOPS 69465 HAS SOUS 58166 HAS SOUPS 58166 WITH SCORE 58235.465
AT ITER 6552 NEW BEST:: SOT 298616 SOS 69443 HAS SOPS 69443 HAS SOUS 58160 HAS SOUPS 58160 WITH SCORE 58229.443
AT ITER 6561 NEW BEST:: SOT 298572 SOS 69433 HAS SOPS 69433 HAS SOUS 58135 HAS SOUPS 58135 WITH SCORE 58204.433
AT ITER 6599 NEW BEST:: SOT 298548 SOS 69385 HAS SOPS 69385 HAS SOUS 58116 HAS SOUPS 58116 WITH SCORE 58185.385
AT ITER 6614 NEW BEST:: SOT 298524 SOS 69337 HAS SOPS 69337 HAS SOUS 58068 HAS SOUPS 58068 WITH SCORE 58137.337
AT ITER 6628 NEW BEST:: SOT 298524 SOS 69337 HAS SOPS 69337 HAS SOUS 58049 HAS SOUPS 58049 WITH SCORE 58118.337
AT ITER 6685 NEW BEST:: SOT 298524 SOS 69321 HAS SOPS 69321 HAS SOUS 58041 HAS SOUPS 58041 WITH SCORE 58110.321
AT ITER 6701 NEW BEST:: SOT 298581 SOS 69314 HAS SOPS 69314 HAS SOUS 58034 HAS SOUPS 58034 WITH SCORE 58103.314
AT ITER 6709 NEW BEST:: SOT 298540 SOS 69232 HAS SOPS 69232 HAS SOUS 57952 HAS SOUPS 57952 WITH SCORE 58021.232
AT ITER 6711 NEW BEST:: SOT 298528 SOS 69208 HAS SOPS 69208 HAS SOUS 57928 HAS SOUPS 57928 WITH SCORE 57997.208
AT ITER 6713 NEW BEST:: SOT 298528 SOS 69177 HAS SOPS 69177 HAS SOUS 57897 HAS SOUPS 57897 WITH SCORE 57966.177
AT ITER 6731 NEW BEST:: SOT 298526 SOS 69099 HAS SOPS 69099 HAS SOUS 57819 HAS SOUPS 57819 WITH SCORE 57888.099
AT ITER 6751 NEW BEST:: SOT 298523 SOS 69093 HAS SOPS 69093 HAS SOUS 57817 HAS SOUPS 57817 WITH SCORE 57886.093
AT ITER 6764 NEW BEST:: SOT 298502 SOS 69051 HAS SOPS 69051 HAS SOUS 57775 HAS SOUPS 57775 WITH SCORE 57844.051
AT ITER 6785 NEW BEST:: SOT 298502 SOS 69051 HAS SOPS 69051 HAS SOUS 57772 HAS SOUPS 57772 WITH SCORE 57841.051
AT ITER 6825 NEW BEST:: SOT 298496 SOS 69039 HAS SOPS 69039 HAS SOUS 57760 HAS SOUPS 57760 WITH SCORE 57829.039
AT ITER 6836 NEW BEST:: SOT 298507 SOS 69061 HAS SOPS 69061 HAS SOUS 57699 HAS SOUPS 57699 WITH SCORE 57768.061
AT ITER 6837 NEW BEST:: SOT 298450 SOS 69059 HAS SOPS 69059 HAS SOUS 57697 HAS SOUPS 57697 WITH SCORE 57766.059
AT ITER 6845 NEW BEST:: SOT 298439 SOS 69037 HAS SOPS 69037 HAS SOUS 57675 HAS SOUPS 57675 WITH SCORE 57744.037
AT ITER 6889 NEW BEST:: SOT 298428 SOS 69135 HAS SOPS 69135 HAS SOUS 57653 HAS SOUPS 57653 WITH SCORE 57722.135
AT ITER 6893 NEW BEST:: SOT 298418 SOS 69115 HAS SOPS 69115 HAS SOUS 57623 HAS SOUPS 57623 WITH SCORE 57692.115
AT ITER 6894 NEW BEST:: SOT 298457 SOS 69019 HAS SOPS 69019 HAS SOUS 57614 HAS SOUPS 57614 WITH SCORE 57683.019
AT ITER 6904 NEW BEST:: SOT 298457 SOS 69000 HAS SOPS 69000 HAS SOUS 57595 HAS SOUPS 57595 WITH SCORE 57664.0
AT ITER 6944 NEW BEST:: SOT 298460 SOS 69006 HAS SOPS 69006 HAS SOUS 57577 HAS SOUPS 57577 WITH SCORE 57646.006
AT ITER 6949 NEW BEST:: SOT 298460 SOS 69006 HAS SOPS 69006 HAS SOUS 57561 HAS SOUPS 57561 WITH SCORE 57630.006
AT ITER 6993 NEW BEST:: SOT 298460 SOS 68968 HAS SOPS 68968 HAS SOUS 57561 HAS SOUPS 57561 WITH SCORE 57629.968
AT ITER 7003 NEW BEST:: SOT 298414 SOS 68730 HAS SOPS 68730 HAS SOUS 57423 HAS SOUPS 57423 WITH SCORE 57491.73
AT ITER 7032 NEW BEST:: SOT 298511 SOS 68636 HAS SOPS 68636 HAS SOUS 57406 HAS SOUPS 57406 WITH SCORE 57474.636
AT ITER 7051 NEW BEST:: SOT 298511 SOS 68519 HAS SOPS 68519 HAS SOUS 57406 HAS SOUPS 57406 WITH SCORE 57474.519
AT ITER 7055 NEW BEST:: SOT 298506 SOS 68509 HAS SOPS 68509 HAS SOUS 57347 HAS SOUPS 57347 WITH SCORE 57415.509
AT ITER 7077 NEW BEST:: SOT 298506 SOS 69001 HAS SOPS 69001 HAS SOUS 57333 HAS SOUPS 57333 WITH SCORE 57402.001
AT ITER 7120 NEW BEST:: SOT 298506 SOS 68965 HAS SOPS 68965 HAS SOUS 57333 HAS SOUPS 57333 WITH SCORE 57401.965
AT ITER 7142 NEW BEST:: SOT 298467 SOS 68887 HAS SOPS 68887 HAS SOUS 57255 HAS SOUPS 57255 WITH SCORE 57323.887
AT ITER 7163 NEW BEST:: SOT 298469 SOS 68863 HAS SOPS 68863 HAS SOUS 57231 HAS SOUPS 57231 WITH SCORE 57299.863
AT ITER 7170 NEW BEST:: SOT 298469 SOS 68863 HAS SOPS 68863 HAS SOUS 57182 HAS SOUPS 57182 WITH SCORE 57250.863
AT ITER 7176 NEW BEST:: SOT 298441 SOS 68835 HAS SOPS 68835 HAS SOUS 57154 HAS SOUPS 57154 WITH SCORE 57222.835
AT ITER 7185 NEW BEST:: SOT 298420 SOS 68793 HAS SOPS 68793 HAS SOUS 57112 HAS SOUPS 57112 WITH SCORE 57180.793
AT ITER 7207 NEW BEST:: SOT 298420 SOS 68727 HAS SOPS 68727 HAS SOUS 57079 HAS SOUPS 57079 WITH SCORE 57147.727
AT ITER 7222 NEW BEST:: SOT 298415 SOS 68722 HAS SOPS 68722 HAS SOUS 57074 HAS SOUPS 57074 WITH SCORE 57142.722
AT ITER 7271 NEW BEST:: SOT 298359 SOS 68666 HAS SOPS 68666 HAS SOUS 57018 HAS SOUPS 57018 WITH SCORE 57086.666
AT ITER 7272 NEW BEST:: SOT 298354 SOS 68656 HAS SOPS 68656 HAS SOUS 57008 HAS SOUPS 57008 WITH SCORE 57076.656
AT ITER 7279 NEW BEST:: SOT 298346 SOS 68640 HAS SOPS 68640 HAS SOUS 56992 HAS SOUPS 56992 WITH SCORE 57060.64
AT ITER 7318 NEW BEST:: SOT 298355 SOS 68631 HAS SOPS 68631 HAS SOUS 56983 HAS SOUPS 56983 WITH SCORE 57051.631
AT ITER 7369 NEW BEST:: SOT 298346 SOS 68599 HAS SOPS 68599 HAS SOUS 56951 HAS SOUPS 56951 WITH SCORE 57019.599
AT ITER 7398 NEW BEST:: SOT 298346 SOS 68599 HAS SOPS 68599 HAS SOUS 56940 HAS SOUPS 56940 WITH SCORE 57008.599
AT ITER 7418 NEW BEST:: SOT 298319 SOS 68545 HAS SOPS 68545 HAS SOUS 56886 HAS SOUPS 56886 WITH SCORE 56954.545
AT ITER 7434 NEW BEST:: SOT 298385 SOS 68471 HAS SOPS 68471 HAS SOUS 56879 HAS SOUPS 56879 WITH SCORE 56947.471
AT ITER 7459 NEW BEST:: SOT 298349 SOS 68496 HAS SOPS 68496 HAS SOUS 56843 HAS SOUPS 56843 WITH SCORE 56911.496
AT ITER 7465 NEW BEST:: SOT 298344 SOS 68491 HAS SOPS 68491 HAS SOUS 56833 HAS SOUPS 56833 WITH SCORE 56901.491
AT ITER 7500 NEW BEST:: SOT 298326 SOS 68455 HAS SOPS 68455 HAS SOUS 56797 HAS SOUPS 56797 WITH SCORE 56865.455
AT ITER 7508 NEW BEST:: SOT 298326 SOS 68455 HAS SOPS 68455 HAS SOUS 56745 HAS SOUPS 56745 WITH SCORE 56813.455
AT ITER 7519 NEW BEST:: SOT 298321 SOS 68445 HAS SOPS 68445 HAS SOUS 56735 HAS SOUPS 56735 WITH SCORE 56803.445
AT ITER 7523 NEW BEST:: SOT 298321 SOS 68439 HAS SOPS 68439 HAS SOUS 56729 HAS SOUPS 56729 WITH SCORE 56797.439
AT ITER 7532 NEW BEST:: SOT 298325 SOS 68443 HAS SOPS 68443 HAS SOUS 56727 HAS SOUPS 56727 WITH SCORE 56795.443
AT ITER 7539 NEW BEST:: SOT 298242 SOS 68207 HAS SOPS 68207 HAS SOUS 56491 HAS SOUPS 56491 WITH SCORE 56559.207
AT ITER 7564 NEW BEST:: SOT 298252 SOS 68145 HAS SOPS 68145 HAS SOUS 56481 HAS SOUPS 56481 WITH SCORE 56549.145
AT ITER 7575 NEW BEST:: SOT 298240 SOS 68062 HAS SOPS 68062 HAS SOUS 56457 HAS SOUPS 56457 WITH SCORE 56525.062
AT ITER 7585 NEW BEST:: SOT 298235 SOS 68080 HAS SOPS 68080 HAS SOUS 56452 HAS SOUPS 56452 WITH SCORE 56520.08
AT ITER 7591 NEW BEST:: SOT 298146 SOS 68019 HAS SOPS 68019 HAS SOUS 56402 HAS SOUPS 56402 WITH SCORE 56470.019
AT ITER 7623 NEW BEST:: SOT 298142 SOS 68011 HAS SOPS 68011 HAS SOUS 56394 HAS SOUPS 56394 WITH SCORE 56462.011
AT ITER 7644 NEW BEST:: SOT 298137 SOS 68001 HAS SOPS 68001 HAS SOUS 56384 HAS SOUPS 56384 WITH SCORE 56452.001
AT ITER 7648 NEW BEST:: SOT 298262 SOS 67918 HAS SOPS 67918 HAS SOUS 56377 HAS SOUPS 56377 WITH SCORE 56444.918
AT ITER 7662 NEW BEST:: SOT 298234 SOS 67862 HAS SOPS 67862 HAS SOUS 56329 HAS SOUPS 56329 WITH SCORE 56396.862
AT ITER 7690 NEW BEST:: SOT 298221 SOS 67836 HAS SOPS 67836 HAS SOUS 56318 HAS SOUPS 56318 WITH SCORE 56385.836
AT ITER 7703 NEW BEST:: SOT 298221 SOS 67836 HAS SOPS 67836 HAS SOUS 56283 HAS SOUPS 56283 WITH SCORE 56350.836
AT ITER 7806 NEW BEST:: SOT 298144 SOS 67682 HAS SOPS 67682 HAS SOUS 56129 HAS SOUPS 56129 WITH SCORE 56196.682
AT ITER 7817 NEW BEST:: SOT 298097 SOS 67496 HAS SOPS 67496 HAS SOUS 56035 HAS SOUPS 56035 WITH SCORE 56102.496
AT ITER 7837 NEW BEST:: SOT 298095 SOS 67459 HAS SOPS 67459 HAS SOUS 56031 HAS SOUPS 56031 WITH SCORE 56098.459
AT ITER 7862 NEW BEST:: SOT 298078 SOS 67324 HAS SOPS 67324 HAS SOUS 55997 HAS SOUPS 55997 WITH SCORE 56064.324
AT ITER 7988 NEW BEST:: SOT 298078 SOS 67247 HAS SOPS 67247 HAS SOUS 55997 HAS SOUPS 55997 WITH SCORE 56064.247
AT ITER 8036 NEW BEST:: SOT 298069 SOS 67232 HAS SOPS 67232 HAS SOUS 55982 HAS SOUPS 55982 WITH SCORE 56049.232
AT ITER 8062 NEW BEST:: SOT 298054 SOS 67108 HAS SOPS 67108 HAS SOUS 55952 HAS SOUPS 55952 WITH SCORE 56019.108
AT ITER 8070 NEW BEST:: SOT 298042 SOS 67084 HAS SOPS 67084 HAS SOUS 55928 HAS SOUPS 55928 WITH SCORE 55995.084
AT ITER 8090 NEW BEST:: SOT 298011 SOS 67068 HAS SOPS 67068 HAS SOUS 55912 HAS SOUPS 55912 WITH SCORE 55979.068
AT ITER 8160 NEW BEST:: SOT 298007 SOS 67029 HAS SOPS 67029 HAS SOUS 55904 HAS SOUPS 55904 WITH SCORE 55971.029
AT ITER 8200 NEW BEST:: SOT 298007 SOS 67027 HAS SOPS 67027 HAS SOUS 55903 HAS SOUPS 55903 WITH SCORE 55970.027
AT ITER 8251 NEW BEST:: SOT 298113 SOS 66777 HAS SOPS 66777 HAS SOUS 55824 HAS SOUPS 55824 WITH SCORE 55890.777
AT ITER 8256 NEW BEST:: SOT 298105 SOS 66761 HAS SOPS 66761 HAS SOUS 55808 HAS SOUPS 55808 WITH SCORE 55874.761
AT ITER 8276 NEW BEST:: SOT 298058 SOS 66747 HAS SOPS 66747 HAS SOUS 55767 HAS SOUPS 55767 WITH SCORE 55833.747
AT ITER 8320 NEW BEST:: SOT 298024 SOS 66679 HAS SOPS 66679 HAS SOUS 55699 HAS SOUPS 55699 WITH SCORE 55765.679
AT ITER 8332 NEW BEST:: SOT 298024 SOS 66679 HAS SOPS 66679 HAS SOUS 55678 HAS SOUPS 55678 WITH SCORE 55744.679
AT ITER 8333 NEW BEST:: SOT 298017 SOS 66665 HAS SOPS 66665 HAS SOUS 55664 HAS SOUPS 55664 WITH SCORE 55730.665
AT ITER 8353 NEW BEST:: SOT 298017 SOS 66665 HAS SOPS 66665 HAS SOUS 55662 HAS SOUPS 55662 WITH SCORE 55728.665
AT ITER 8387 NEW BEST:: SOT 298017 SOS 66646 HAS SOPS 66646 HAS SOUS 55662 HAS SOUPS 55662 WITH SCORE 55728.646
AT ITER 8398 NEW BEST:: SOT 298017 SOS 66545 HAS SOPS 66545 HAS SOUS 55662 HAS SOUPS 55662 WITH SCORE 55728.545
AT ITER 8421 NEW BEST:: SOT 298017 SOS 66469 HAS SOPS 66469 HAS SOUS 55624 HAS SOUPS 55624 WITH SCORE 55690.469
AT ITER 8492 NEW BEST:: SOT 298048 SOS 66459 HAS SOPS 66459 HAS SOUS 55619 HAS SOUPS 55619 WITH SCORE 55685.459
AT ITER 8530 NEW BEST:: SOT 298058 SOS 66480 HAS SOPS 66480 HAS SOUS 55617 HAS SOUPS 55617 WITH SCORE 55683.48
AT ITER 8531 NEW BEST:: SOT 298049 SOS 66462 HAS SOPS 66462 HAS SOUS 55599 HAS SOUPS 55599 WITH SCORE 55665.462
AT ITER 8608 NEW BEST:: SOT 298068 SOS 66090 HAS SOPS 66090 HAS SOUS 55413 HAS SOUPS 55413 WITH SCORE 55479.09
AT ITER 8680 NEW BEST:: SOT 298027 SOS 66008 HAS SOPS 66008 HAS SOUS 55331 HAS SOUPS 55331 WITH SCORE 55397.008
AT ITER 8723 NEW BEST:: SOT 297871 SOS 65760 HAS SOPS 65760 HAS SOUS 55083 HAS SOUPS 55083 WITH SCORE 55148.76
AT ITER 8771 NEW BEST:: SOT 297871 SOS 65759 HAS SOPS 65759 HAS SOUS 55082 HAS SOUPS 55082 WITH SCORE 55147.759
AT ITER 8784 NEW BEST:: SOT 297857 SOS 65731 HAS SOPS 65731 HAS SOUS 55068 HAS SOUPS 55068 WITH SCORE 55133.731
AT ITER 8798 NEW BEST:: SOT 297842 SOS 65701 HAS SOPS 65701 HAS SOUS 55038 HAS SOUPS 55038 WITH SCORE 55103.701
AT ITER 8813 NEW BEST:: SOT 297856 SOS 65559 HAS SOPS 65559 HAS SOUS 54944 HAS SOUPS 54944 WITH SCORE 55009.559
AT ITER 8814 NEW BEST:: SOT 297845 SOS 65537 HAS SOPS 65537 HAS SOUS 54922 HAS SOUPS 54922 WITH SCORE 54987.537
AT ITER 8824 NEW BEST:: SOT 297845 SOS 65492 HAS SOPS 65492 HAS SOUS 54877 HAS SOUPS 54877 WITH SCORE 54942.492
AT ITER 8879 NEW BEST:: SOT 297806 SOS 65453 HAS SOPS 65453 HAS SOUS 54799 HAS SOUPS 54799 WITH SCORE 54864.453
AT ITER 8889 NEW BEST:: SOT 297798 SOS 65429 HAS SOPS 65429 HAS SOUS 54775 HAS SOUPS 54775 WITH SCORE 54840.429
AT ITER 8899 NEW BEST:: SOT 297763 SOS 65366 HAS SOPS 65366 HAS SOUS 54693 HAS SOUPS 54693 WITH SCORE 54758.366
AT ITER 8944 NEW BEST:: SOT 297763 SOS 65343 HAS SOPS 65343 HAS SOUS 54670 HAS SOUPS 54670 WITH SCORE 54735.343
AT ITER 9041 NEW BEST:: SOT 297796 SOS 65287 HAS SOPS 65287 HAS SOUS 54658 HAS SOUPS 54658 WITH SCORE 54723.287
AT ITER 9044 NEW BEST:: SOT 297790 SOS 65275 HAS SOPS 65275 HAS SOUS 54646 HAS SOUPS 54646 WITH SCORE 54711.275
AT ITER 9070 NEW BEST:: SOT 297782 SOS 65215 HAS SOPS 65215 HAS SOUS 54638 HAS SOUPS 54638 WITH SCORE 54703.215
AT ITER 9083 NEW BEST:: SOT 297782 SOS 65215 HAS SOPS 65215 HAS SOUS 54636 HAS SOUPS 54636 WITH SCORE 54701.215
AT ITER 9096 NEW BEST:: SOT 297782 SOS 65173 HAS SOPS 65173 HAS SOUS 54617 HAS SOUPS 54617 WITH SCORE 54682.173
AT ITER 9103 NEW BEST:: SOT 297786 SOS 65108 HAS SOPS 65108 HAS SOUS 54552 HAS SOUPS 54552 WITH SCORE 54617.108
AT ITER 9104 NEW BEST:: SOT 297729 SOS 64994 HAS SOPS 64994 HAS SOUS 54495 HAS SOUPS 54495 WITH SCORE 54559.994
AT ITER 9136 NEW BEST:: SOT 297715 SOS 64848 HAS SOPS 64848 HAS SOUS 54431 HAS SOUPS 54431 WITH SCORE 54495.848
AT ITER 9167 NEW BEST:: SOT 297700 SOS 64818 HAS SOPS 64818 HAS SOUS 54401 HAS SOUPS 54401 WITH SCORE 54465.818
AT ITER 9179 NEW BEST:: SOT 297672 SOS 64762 HAS SOPS 64762 HAS SOUS 54343 HAS SOUPS 54343 WITH SCORE 54407.762
AT ITER 9199 NEW BEST:: SOT 297669 SOS 64756 HAS SOPS 64756 HAS SOUS 54325 HAS SOUPS 54325 WITH SCORE 54389.756
AT ITER 9221 NEW BEST:: SOT 297628 SOS 64734 HAS SOPS 64734 HAS SOUS 54303 HAS SOUPS 54303 WITH SCORE 54367.734
AT ITER 9226 NEW BEST:: SOT 297816 SOS 64660 HAS SOPS 64660 HAS SOUS 54264 HAS SOUPS 54264 WITH SCORE 54328.66
AT ITER 9258 NEW BEST:: SOT 297803 SOS 64650 HAS SOPS 64650 HAS SOUS 54254 HAS SOUPS 54254 WITH SCORE 54318.65
AT ITER 9296 NEW BEST:: SOT 297790 SOS 64624 HAS SOPS 64624 HAS SOUS 54228 HAS SOUPS 54228 WITH SCORE 54292.624
AT ITER 9330 NEW BEST:: SOT 297790 SOS 64624 HAS SOPS 64624 HAS SOUS 54205 HAS SOUPS 54205 WITH SCORE 54269.624
AT ITER 9334 NEW BEST:: SOT 297787 SOS 64621 HAS SOPS 64621 HAS SOUS 54199 HAS SOUPS 54199 WITH SCORE 54263.621
AT ITER 9362 NEW BEST:: SOT 297779 SOS 64613 HAS SOPS 64613 HAS SOUS 54191 HAS SOUPS 54191 WITH SCORE 54255.613
AT ITER 9416 NEW BEST:: SOT 297765 SOS 64599 HAS SOPS 64599 HAS SOUS 54163 HAS SOUPS 54163 WITH SCORE 54227.599
AT ITER 9423 NEW BEST:: SOT 297765 SOS 64494 HAS SOPS 64494 HAS SOUS 54093 HAS SOUPS 54093 WITH SCORE 54157.494
AT ITER 9427 NEW BEST:: SOT 297777 SOS 64492 HAS SOPS 64492 HAS SOUS 54091 HAS SOUPS 54091 WITH SCORE 54155.492
AT ITER 9459 NEW BEST:: SOT 297767 SOS 64472 HAS SOPS 64472 HAS SOUS 54071 HAS SOUPS 54071 WITH SCORE 54135.472
AT ITER 9461 NEW BEST:: SOT 297759 SOS 64464 HAS SOPS 64464 HAS SOUS 54058 HAS SOUPS 54058 WITH SCORE 54122.464
AT ITER 9601 NEW BEST:: SOT 297764 SOS 64446 HAS SOPS 64446 HAS SOUS 54053 HAS SOUPS 54053 WITH SCORE 54117.446
AT ITER 9633 NEW BEST:: SOT 298029 SOS 64339 HAS SOPS 64339 HAS SOUS 54006 HAS SOUPS 54006 WITH SCORE 54070.339
AT ITER 9642 NEW BEST:: SOT 298022 SOS 64332 HAS SOPS 64332 HAS SOUS 54004 HAS SOUPS 54004 WITH SCORE 54068.332
AT ITER 9733 NEW BEST:: SOT 297945 SOS 64290 HAS SOPS 64290 HAS SOUS 53937 HAS SOUPS 53937 WITH SCORE 54001.29
AT ITER 9743 NEW BEST:: SOT 297918 SOS 64343 HAS SOPS 64343 HAS SOUS 53883 HAS SOUPS 53883 WITH SCORE 53947.343
AT ITER 9800 NEW BEST:: SOT 297901 SOS 64309 HAS SOPS 64309 HAS SOUS 53805 HAS SOUPS 53805 WITH SCORE 53869.309
AT ITER 9804 NEW BEST:: SOT 297893 SOS 64293 HAS SOPS 64293 HAS SOUS 53797 HAS SOUPS 53797 WITH SCORE 53861.293
AT ITER 9821 NEW BEST:: SOT 297884 SOS 64275 HAS SOPS 64275 HAS SOUS 53779 HAS SOUPS 53779 WITH SCORE 53843.275
AT ITER 9885 NEW BEST:: SOT 297884 SOS 64275 HAS SOPS 64275 HAS SOUS 53775 HAS SOUPS 53775 WITH SCORE 53839.275
AT ITER 9887 NEW BEST:: SOT 297882 SOS 64273 HAS SOPS 64273 HAS SOUS 53773 HAS SOUPS 53773 WITH SCORE 53837.273
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 13334624 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16125808 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="GPUForwardProgress-PT-36b"
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 GPUForwardProgress-PT-36b, 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 r203-smll-167840349100144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/GPUForwardProgress-PT-36b.tgz
mv GPUForwardProgress-PT-36b 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 ;