Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484000304.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 DBSingleClientW-PT-d2m05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484000304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 15:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 15:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 15:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 26 15:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 15:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 15:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M 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 1678359210189

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=DBSingleClientW-PT-d2m05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 10:53:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 10:53:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 10:53:31] [INFO ] Load time of PNML (sax parser for PT used): 196 ms
[2023-03-09 10:53:31] [INFO ] Transformed 4763 places.
[2023-03-09 10:53:31] [INFO ] Transformed 2478 transitions.
[2023-03-09 10:53:31] [INFO ] Parsed PT model containing 4763 places and 2478 transitions and 9912 arcs in 312 ms.
[2023-03-09 10:53:32] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4763 places, 2478 transitions and 9912 arcs took 28 ms.
Total runtime 372 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m05
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: 4763 places, 2478 transitions, 9912 arcs.
AT ITER 0 NEW BEST:: SOT 2905994 SOS 2846537 HAS SOPS 2846509 HAS SOUS 2065506 HAS SOUPS 2065478 WITH SCORE 2068324.537
AT ITER 4 NEW BEST:: SOT 2905994 SOS 2846537 HAS SOPS 2846509 HAS SOUS 2065278 HAS SOUPS 2065250 WITH SCORE 2068096.537
AT ITER 48 NEW BEST:: SOT 2907173 SOS 2847716 HAS SOPS 2847688 HAS SOUS 2065205 HAS SOUPS 2065177 WITH SCORE 2068024.716
AT ITER 52 NEW BEST:: SOT 2910266 SOS 2850809 HAS SOPS 2850781 HAS SOUS 2065177 HAS SOUPS 2065149 WITH SCORE 2067999.809
AT ITER 120 NEW BEST:: SOT 2910266 SOS 2850809 HAS SOPS 2850781 HAS SOUS 2065011 HAS SOUPS 2064983 WITH SCORE 2067833.809
AT ITER 162 NEW BEST:: SOT 2910266 SOS 2850809 HAS SOPS 2850781 HAS SOUS 2064667 HAS SOUPS 2064639 WITH SCORE 2067489.809
AT ITER 173 NEW BEST:: SOT 2910396 SOS 2850939 HAS SOPS 2850911 HAS SOUS 2064509 HAS SOUPS 2064481 WITH SCORE 2067331.939
AT ITER 215 NEW BEST:: SOT 2910396 SOS 2850939 HAS SOPS 2850911 HAS SOUS 2064338 HAS SOUPS 2064310 WITH SCORE 2067160.939
AT ITER 223 NEW BEST:: SOT 2912652 SOS 2853195 HAS SOPS 2853167 HAS SOUS 2063082 HAS SOUPS 2063054 WITH SCORE 2065907.195
AT ITER 228 NEW BEST:: SOT 2912652 SOS 2853195 HAS SOPS 2853167 HAS SOUS 2063068 HAS SOUPS 2063040 WITH SCORE 2065893.195
AT ITER 247 NEW BEST:: SOT 2913204 SOS 2853747 HAS SOPS 2853719 HAS SOUS 2062319 HAS SOUPS 2062291 WITH SCORE 2065144.747
AT ITER 293 NEW BEST:: SOT 2914140 SOS 2854683 HAS SOPS 2854655 HAS SOUS 2061407 HAS SOUPS 2061379 WITH SCORE 2064233.683
AT ITER 309 NEW BEST:: SOT 2914140 SOS 2854683 HAS SOPS 2854655 HAS SOUS 2059785 HAS SOUPS 2059757 WITH SCORE 2062611.683
AT ITER 334 NEW BEST:: SOT 2914140 SOS 2854683 HAS SOPS 2854655 HAS SOUS 2059518 HAS SOUPS 2059490 WITH SCORE 2062344.683
AT ITER 338 NEW BEST:: SOT 2914140 SOS 2854683 HAS SOPS 2854655 HAS SOUS 2058840 HAS SOUPS 2058812 WITH SCORE 2061666.683
AT ITER 353 NEW BEST:: SOT 2914772 SOS 2855315 HAS SOPS 2855287 HAS SOUS 2058497 HAS SOUPS 2058469 WITH SCORE 2061324.315
AT ITER 356 NEW BEST:: SOT 2914772 SOS 2855315 HAS SOPS 2855287 HAS SOUS 2058435 HAS SOUPS 2058407 WITH SCORE 2061262.315
AT ITER 375 NEW BEST:: SOT 2915020 SOS 2855563 HAS SOPS 2855535 HAS SOUS 2058366 HAS SOUPS 2058338 WITH SCORE 2061193.563
AT ITER 382 NEW BEST:: SOT 2915020 SOS 2855563 HAS SOPS 2855535 HAS SOUS 2057818 HAS SOUPS 2057790 WITH SCORE 2060645.563
AT ITER 404 NEW BEST:: SOT 2916748 SOS 2857291 HAS SOPS 2857263 HAS SOUS 2056899 HAS SOUPS 2056871 WITH SCORE 2059728.291
AT ITER 544 NEW BEST:: SOT 2918245 SOS 2858788 HAS SOPS 2858760 HAS SOUS 2056615 HAS SOUPS 2056587 WITH SCORE 2059445.788
AT ITER 554 NEW BEST:: SOT 2918245 SOS 2858788 HAS SOPS 2858760 HAS SOUS 2055675 HAS SOUPS 2055647 WITH SCORE 2058505.788
AT ITER 573 NEW BEST:: SOT 2918245 SOS 2858788 HAS SOPS 2858760 HAS SOUS 2055242 HAS SOUPS 2055214 WITH SCORE 2058072.788
AT ITER 580 NEW BEST:: SOT 2919928 SOS 2860471 HAS SOPS 2860443 HAS SOUS 2053472 HAS SOUPS 2053444 WITH SCORE 2056304.471
AT ITER 602 NEW BEST:: SOT 2921053 SOS 2861596 HAS SOPS 2861568 HAS SOUS 2053082 HAS SOUPS 2053054 WITH SCORE 2055915.596
AT ITER 615 NEW BEST:: SOT 2922667 SOS 2863210 HAS SOPS 2863182 HAS SOUS 2052520 HAS SOUPS 2052492 WITH SCORE 2055355.21
AT ITER 630 NEW BEST:: SOT 2922667 SOS 2863210 HAS SOPS 2863182 HAS SOUS 2051479 HAS SOUPS 2051451 WITH SCORE 2054314.21
AT ITER 650 NEW BEST:: SOT 2922667 SOS 2863210 HAS SOPS 2863182 HAS SOUS 2051443 HAS SOUPS 2051415 WITH SCORE 2054278.21
AT ITER 667 NEW BEST:: SOT 2922667 SOS 2863210 HAS SOPS 2863182 HAS SOUS 2051001 HAS SOUPS 2050973 WITH SCORE 2053836.21
AT ITER 710 NEW BEST:: SOT 2923849 SOS 2864392 HAS SOPS 2864364 HAS SOUS 2048612 HAS SOUPS 2048584 WITH SCORE 2051448.392
AT ITER 715 NEW BEST:: SOT 2923849 SOS 2864392 HAS SOPS 2864364 HAS SOUS 2048009 HAS SOUPS 2047981 WITH SCORE 2050845.392
AT ITER 727 NEW BEST:: SOT 2924149 SOS 2864692 HAS SOPS 2864664 HAS SOUS 2046927 HAS SOUPS 2046899 WITH SCORE 2049763.692
AT ITER 731 NEW BEST:: SOT 2924998 SOS 2864504 HAS SOPS 2864475 HAS SOUS 2042382 HAS SOUPS 2042354 WITH SCORE 2045218.504
AT ITER 752 NEW BEST:: SOT 2925500 SOS 2865006 HAS SOPS 2864977 HAS SOUS 2042371 HAS SOUPS 2042343 WITH SCORE 2045208.006
AT ITER 776 NEW BEST:: SOT 2926250 SOS 2865756 HAS SOPS 2865727 HAS SOUS 2041111 HAS SOUPS 2041083 WITH SCORE 2043948.756
AT ITER 786 NEW BEST:: SOT 2927318 SOS 2866824 HAS SOPS 2866795 HAS SOUS 2040777 HAS SOUPS 2040749 WITH SCORE 2043615.824
AT ITER 787 NEW BEST:: SOT 2927318 SOS 2866824 HAS SOPS 2866795 HAS SOUS 2040525 HAS SOUPS 2040497 WITH SCORE 2043363.824
AT ITER 852 NEW BEST:: SOT 2927324 SOS 2866830 HAS SOPS 2866801 HAS SOUS 2039751 HAS SOUPS 2039723 WITH SCORE 2042589.83
AT ITER 859 NEW BEST:: SOT 2927324 SOS 2866830 HAS SOPS 2866801 HAS SOUS 2039732 HAS SOUPS 2039704 WITH SCORE 2042570.83
AT ITER 908 NEW BEST:: SOT 2927324 SOS 2866830 HAS SOPS 2866801 HAS SOUS 2037960 HAS SOUPS 2037932 WITH SCORE 2040798.83
AT ITER 950 NEW BEST:: SOT 2927324 SOS 2866830 HAS SOPS 2866801 HAS SOUS 2036357 HAS SOUPS 2036329 WITH SCORE 2039195.83
AT ITER 953 NEW BEST:: SOT 2931566 SOS 2871072 HAS SOPS 2871043 HAS SOUS 2036208 HAS SOUPS 2036180 WITH SCORE 2039051.072
AT ITER 954 NEW BEST:: SOT 2932018 SOS 2871524 HAS SOPS 2871495 HAS SOUS 2036168 HAS SOUPS 2036140 WITH SCORE 2039011.524
AT ITER 983 NEW BEST:: SOT 2932672 SOS 2872178 HAS SOPS 2872149 HAS SOUS 2035770 HAS SOUPS 2035742 WITH SCORE 2038614.178
AT ITER 993 NEW BEST:: SOT 2932672 SOS 2872178 HAS SOPS 2872149 HAS SOUS 2035345 HAS SOUPS 2035317 WITH SCORE 2038189.178
AT ITER 1016 NEW BEST:: SOT 2932672 SOS 2872178 HAS SOPS 2872149 HAS SOUS 2035280 HAS SOUPS 2035252 WITH SCORE 2038124.178
AT ITER 1091 NEW BEST:: SOT 2933440 SOS 2872946 HAS SOPS 2872917 HAS SOUS 2033203 HAS SOUPS 2033175 WITH SCORE 2036047.946
AT ITER 1094 NEW BEST:: SOT 2933440 SOS 2872946 HAS SOPS 2872917 HAS SOUS 2033198 HAS SOUPS 2033170 WITH SCORE 2036042.946
AT ITER 1097 NEW BEST:: SOT 2933440 SOS 2872946 HAS SOPS 2872917 HAS SOUS 2032875 HAS SOUPS 2032847 WITH SCORE 2035719.946
AT ITER 1113 NEW BEST:: SOT 2934846 SOS 2874352 HAS SOPS 2874323 HAS SOUS 2029094 HAS SOUPS 2029066 WITH SCORE 2031940.352
AT ITER 1121 NEW BEST:: SOT 2935198 SOS 2874704 HAS SOPS 2874675 HAS SOUS 2029024 HAS SOUPS 2028996 WITH SCORE 2031870.704
AT ITER 1131 NEW BEST:: SOT 2935198 SOS 2874704 HAS SOPS 2874675 HAS SOUS 2028736 HAS SOUPS 2028708 WITH SCORE 2031582.704
AT ITER 1165 NEW BEST:: SOT 2940030 SOS 2879536 HAS SOPS 2879507 HAS SOUS 2027673 HAS SOUPS 2027645 WITH SCORE 2030524.536
AT ITER 1172 NEW BEST:: SOT 2940189 SOS 2879695 HAS SOPS 2879666 HAS SOUS 2026038 HAS SOUPS 2026010 WITH SCORE 2028889.695
AT ITER 1175 NEW BEST:: SOT 2940189 SOS 2879699 HAS SOPS 2879670 HAS SOUS 2024848 HAS SOUPS 2024820 WITH SCORE 2027699.699
AT ITER 1188 NEW BEST:: SOT 2940341 SOS 2879851 HAS SOPS 2879822 HAS SOUS 2023970 HAS SOUPS 2023942 WITH SCORE 2026821.851
AT ITER 1229 NEW BEST:: SOT 2940578 SOS 2880088 HAS SOPS 2880059 HAS SOUS 2021898 HAS SOUPS 2021870 WITH SCORE 2024750.088
AT ITER 1250 NEW BEST:: SOT 2941098 SOS 2880608 HAS SOPS 2880579 HAS SOUS 2021858 HAS SOUPS 2021830 WITH SCORE 2024710.608
AT ITER 1258 NEW BEST:: SOT 2956640 SOS 2896150 HAS SOPS 2896121 HAS SOUS 2015416 HAS SOUPS 2015388 WITH SCORE 2018284.15
AT ITER 1271 NEW BEST:: SOT 2956640 SOS 2896150 HAS SOPS 2896121 HAS SOUS 2015109 HAS SOUPS 2015081 WITH SCORE 2017977.15
AT ITER 1275 NEW BEST:: SOT 2956640 SOS 2877797 HAS SOPS 2877768 HAS SOUS 2014826 HAS SOUPS 2014798 WITH SCORE 2017675.797
AT ITER 1314 NEW BEST:: SOT 2956793 SOS 2877950 HAS SOPS 2877921 HAS SOUS 2013227 HAS SOUPS 2013199 WITH SCORE 2016076.95
AT ITER 1324 NEW BEST:: SOT 2956793 SOS 2877950 HAS SOPS 2877921 HAS SOUS 2012836 HAS SOUPS 2012808 WITH SCORE 2015685.95
AT ITER 1343 NEW BEST:: SOT 2957489 SOS 2878646 HAS SOPS 2878617 HAS SOUS 2012293 HAS SOUPS 2012265 WITH SCORE 2015143.646
AT ITER 1358 NEW BEST:: SOT 2957939 SOS 2879096 HAS SOPS 2879067 HAS SOUS 2008192 HAS SOUPS 2008164 WITH SCORE 2011043.096
AT ITER 1364 NEW BEST:: SOT 2957939 SOS 2879096 HAS SOPS 2879067 HAS SOUS 2008190 HAS SOUPS 2008162 WITH SCORE 2011041.096
AT ITER 1375 NEW BEST:: SOT 2960707 SOS 2881864 HAS SOPS 2881835 HAS SOUS 2007725 HAS SOUPS 2007697 WITH SCORE 2010578.864
AT ITER 1377 NEW BEST:: SOT 2963362 SOS 2884519 HAS SOPS 2884490 HAS SOUS 2006285 HAS SOUPS 2006257 WITH SCORE 2009141.519
AT ITER 1384 NEW BEST:: SOT 2963920 SOS 2885077 HAS SOPS 2885048 HAS SOUS 2006128 HAS SOUPS 2006100 WITH SCORE 2008985.077
AT ITER 1395 NEW BEST:: SOT 2968216 SOS 2889373 HAS SOPS 2889344 HAS SOUS 2005768 HAS SOUPS 2005740 WITH SCORE 2008629.373
AT ITER 1398 NEW BEST:: SOT 2968216 SOS 2889373 HAS SOPS 2889344 HAS SOUS 1993187 HAS SOUPS 1993159 WITH SCORE 1996048.373
AT ITER 1428 NEW BEST:: SOT 2989306 SOS 2910463 HAS SOPS 2910434 HAS SOUS 1983985 HAS SOUPS 1983957 WITH SCORE 1986867.463
AT ITER 1464 NEW BEST:: SOT 2990410 SOS 2911567 HAS SOPS 2911538 HAS SOUS 1980834 HAS SOUPS 1980806 WITH SCORE 1983717.567
AT ITER 1497 NEW BEST:: SOT 2990154 SOS 2911311 HAS SOPS 2911282 HAS SOUS 1980706 HAS SOUPS 1980678 WITH SCORE 1983589.311
AT ITER 1533 NEW BEST:: SOT 2990154 SOS 2911311 HAS SOPS 2911282 HAS SOUS 1980705 HAS SOUPS 1980677 WITH SCORE 1983588.311
AT ITER 1567 NEW BEST:: SOT 2990154 SOS 2911311 HAS SOPS 2911282 HAS SOUS 1979825 HAS SOUPS 1979797 WITH SCORE 1982708.311
AT ITER 1587 NEW BEST:: SOT 2992539 SOS 2913696 HAS SOPS 2913667 HAS SOUS 1977521 HAS SOUPS 1977493 WITH SCORE 1980406.696
AT ITER 1609 NEW BEST:: SOT 2992539 SOS 2913696 HAS SOPS 2913667 HAS SOUS 1961131 HAS SOUPS 1961103 WITH SCORE 1964016.696
AT ITER 1612 NEW BEST:: SOT 2994131 SOS 2915288 HAS SOPS 2915259 HAS SOUS 1960025 HAS SOUPS 1959997 WITH SCORE 1962912.288
AT ITER 1617 NEW BEST:: SOT 2994919 SOS 2916076 HAS SOPS 2916047 HAS SOUS 1959209 HAS SOUPS 1959181 WITH SCORE 1962097.076
AT ITER 1620 NEW BEST:: SOT 2994919 SOS 2916076 HAS SOPS 2916047 HAS SOUS 1958394 HAS SOUPS 1958366 WITH SCORE 1961282.076
AT ITER 1653 NEW BEST:: SOT 2994919 SOS 2916076 HAS SOPS 2916047 HAS SOUS 1958238 HAS SOUPS 1958210 WITH SCORE 1961126.076
AT ITER 1672 NEW BEST:: SOT 2994919 SOS 2916076 HAS SOPS 2916047 HAS SOUS 1958236 HAS SOUPS 1958208 WITH SCORE 1961124.076
AT ITER 1680 NEW BEST:: SOT 3000355 SOS 2921512 HAS SOPS 2921483 HAS SOUS 1957777 HAS SOUPS 1957749 WITH SCORE 1960670.512
AT ITER 1685 NEW BEST:: SOT 3001972 SOS 2923129 HAS SOPS 2923100 HAS SOUS 1957158 HAS SOUPS 1957130 WITH SCORE 1960053.129
AT ITER 1690 NEW BEST:: SOT 3002660 SOS 2923817 HAS SOPS 2923788 HAS SOUS 1956765 HAS SOUPS 1956737 WITH SCORE 1959660.817
AT ITER 1712 NEW BEST:: SOT 3003947 SOS 2925104 HAS SOPS 2925075 HAS SOUS 1956320 HAS SOUPS 1956292 WITH SCORE 1959217.104
AT ITER 1733 NEW BEST:: SOT 3006082 SOS 2927239 HAS SOPS 2927210 HAS SOUS 1952011 HAS SOUPS 1951983 WITH SCORE 1954910.239
AT ITER 1735 NEW BEST:: SOT 3006266 SOS 2927423 HAS SOPS 2927394 HAS SOUS 1949752 HAS SOUPS 1949724 WITH SCORE 1952651.423
AT ITER 1741 NEW BEST:: SOT 3006704 SOS 2927861 HAS SOPS 2927832 HAS SOUS 1949191 HAS SOUPS 1949163 WITH SCORE 1952090.861
AT ITER 1759 NEW BEST:: SOT 3009056 SOS 2929861 HAS SOPS 2929832 HAS SOUS 1947683 HAS SOUPS 1947655 WITH SCORE 1950584.861
AT ITER 1831 NEW BEST:: SOT 3009258 SOS 2930063 HAS SOPS 2930034 HAS SOUS 1947536 HAS SOUPS 1947508 WITH SCORE 1950438.063
AT ITER 1840 NEW BEST:: SOT 3028410 SOS 2949215 HAS SOPS 2949186 HAS SOUS 1927982 HAS SOUPS 1927954 WITH SCORE 1930903.215
AT ITER 1846 NEW BEST:: SOT 3028410 SOS 2949215 HAS SOPS 2949186 HAS SOUS 1927806 HAS SOUPS 1927778 WITH SCORE 1930727.215
AT ITER 1887 NEW BEST:: SOT 3028714 SOS 2949519 HAS SOPS 2949490 HAS SOUS 1907106 HAS SOUPS 1907078 WITH SCORE 1910027.519
AT ITER 1894 NEW BEST:: SOT 3028952 SOS 2949757 HAS SOPS 2949728 HAS SOUS 1907056 HAS SOUPS 1907028 WITH SCORE 1909977.757
AT ITER 1898 NEW BEST:: SOT 3028686 SOS 2949491 HAS SOPS 2949462 HAS SOUS 1906923 HAS SOUPS 1906895 WITH SCORE 1909844.491
AT ITER 1909 NEW BEST:: SOT 3028686 SOS 2949055 HAS SOPS 2949026 HAS SOUS 1906891 HAS SOUPS 1906863 WITH SCORE 1909812.055
AT ITER 1918 NEW BEST:: SOT 3028686 SOS 2949055 HAS SOPS 2949026 HAS SOUS 1904359 HAS SOUPS 1904331 WITH SCORE 1907280.055
AT ITER 1923 NEW BEST:: SOT 3030022 SOS 2950391 HAS SOPS 2950362 HAS SOUS 1903251 HAS SOUPS 1903223 WITH SCORE 1906173.391
AT ITER 1935 NEW BEST:: SOT 3029215 SOS 2949584 HAS SOPS 2949555 HAS SOUS 1902713 HAS SOUPS 1902685 WITH SCORE 1905634.584
AT ITER 1949 NEW BEST:: SOT 3030211 SOS 2950580 HAS SOPS 2950551 HAS SOUS 1901730 HAS SOUPS 1901702 WITH SCORE 1904652.58
AT ITER 1954 NEW BEST:: SOT 3030211 SOS 2950580 HAS SOPS 2950551 HAS SOUS 1901315 HAS SOUPS 1901287 WITH SCORE 1904237.58
AT ITER 2000 NEW BEST:: SOT 3030211 SOS 2950580 HAS SOPS 2950551 HAS SOUS 1898270 HAS SOUPS 1898242 WITH SCORE 1901192.58
AT ITER 2008 NEW BEST:: SOT 3030211 SOS 2950580 HAS SOPS 2950551 HAS SOUS 1897701 HAS SOUPS 1897673 WITH SCORE 1900623.58
AT ITER 2020 NEW BEST:: SOT 3030211 SOS 2950580 HAS SOPS 2950551 HAS SOUS 1896395 HAS SOUPS 1896367 WITH SCORE 1899317.58
AT ITER 2106 NEW BEST:: SOT 3030211 SOS 2950580 HAS SOPS 2950551 HAS SOUS 1895201 HAS SOUPS 1895173 WITH SCORE 1898123.58
AT ITER 2150 NEW BEST:: SOT 3030211 SOS 2949759 HAS SOPS 2949730 HAS SOUS 1893904 HAS SOUPS 1893876 WITH SCORE 1896825.759
AT ITER 2182 NEW BEST:: SOT 3030211 SOS 2949759 HAS SOPS 2949730 HAS SOUS 1886133 HAS SOUPS 1886105 WITH SCORE 1889054.759
AT ITER 2263 NEW BEST:: SOT 3063271 SOS 2982819 HAS SOPS 2982790 HAS SOUS 1878589 HAS SOUPS 1878561 WITH SCORE 1881543.819
AT ITER 2269 NEW BEST:: SOT 3068059 SOS 2986780 HAS SOPS 2986751 HAS SOUS 1872423 HAS SOUPS 1872395 WITH SCORE 1875381.78
AT ITER 2272 NEW BEST:: SOT 3068129 SOS 2986850 HAS SOPS 2986821 HAS SOUS 1872226 HAS SOUPS 1872198 WITH SCORE 1875184.85
AT ITER 2280 NEW BEST:: SOT 3070577 SOS 2989298 HAS SOPS 2989269 HAS SOUS 1872220 HAS SOUPS 1872192 WITH SCORE 1875181.298
AT ITER 2283 NEW BEST:: SOT 3071111 SOS 2989832 HAS SOPS 2989803 HAS SOUS 1872188 HAS SOUPS 1872160 WITH SCORE 1875149.832
AT ITER 2314 NEW BEST:: SOT 3071111 SOS 2989832 HAS SOPS 2989803 HAS SOUS 1871738 HAS SOUPS 1871710 WITH SCORE 1874699.832
AT ITER 2319 NEW BEST:: SOT 3073335 SOS 2992056 HAS SOPS 2992027 HAS SOUS 1870418 HAS SOUPS 1870390 WITH SCORE 1873382.056
AT ITER 2324 NEW BEST:: SOT 3077298 SOS 2996019 HAS SOPS 2995990 HAS SOUS 1869343 HAS SOUPS 1869315 WITH SCORE 1872311.019
AT ITER 2329 NEW BEST:: SOT 3077913 SOS 2996634 HAS SOPS 2996605 HAS SOUS 1868003 HAS SOUPS 1867975 WITH SCORE 1870971.634
AT ITER 2333 NEW BEST:: SOT 3078045 SOS 2996766 HAS SOPS 2996737 HAS SOUS 1867931 HAS SOUPS 1867903 WITH SCORE 1870899.766
AT ITER 2336 NEW BEST:: SOT 3078045 SOS 2996766 HAS SOPS 2996737 HAS SOUS 1867505 HAS SOUPS 1867477 WITH SCORE 1870473.766
AT ITER 2344 NEW BEST:: SOT 3078045 SOS 2996766 HAS SOPS 2996737 HAS SOUS 1860599 HAS SOUPS 1860571 WITH SCORE 1863567.766
AT ITER 2346 NEW BEST:: SOT 3078786 SOS 2997507 HAS SOPS 2997478 HAS SOUS 1859848 HAS SOUPS 1859820 WITH SCORE 1862817.507
AT ITER 2351 NEW BEST:: SOT 3079908 SOS 2998629 HAS SOPS 2998600 HAS SOUS 1858570 HAS SOUPS 1858542 WITH SCORE 1861540.629
AT ITER 2356 NEW BEST:: SOT 3079908 SOS 2998629 HAS SOPS 2998600 HAS SOUS 1858568 HAS SOUPS 1858540 WITH SCORE 1861538.629
AT ITER 2359 NEW BEST:: SOT 3079908 SOS 2998916 HAS SOPS 2998887 HAS SOUS 1857573 HAS SOUPS 1857545 WITH SCORE 1860543.916
AT ITER 2370 NEW BEST:: SOT 3124444 SOS 3043452 HAS SOPS 3043423 HAS SOUS 1850040 HAS SOUPS 1850012 WITH SCORE 1853055.452
AT ITER 2380 NEW BEST:: SOT 3124444 SOS 3036273 HAS SOPS 3036244 HAS SOUS 1850006 HAS SOUPS 1849978 WITH SCORE 1853014.273
AT ITER 2391 NEW BEST:: SOT 3109720 SOS 3021549 HAS SOPS 3021520 HAS SOUS 1849646 HAS SOUPS 1849618 WITH SCORE 1852639.549
AT ITER 2400 NEW BEST:: SOT 3109720 SOS 3021549 HAS SOPS 3021520 HAS SOUS 1849527 HAS SOUPS 1849499 WITH SCORE 1852520.549
AT ITER 2411 NEW BEST:: SOT 3114792 SOS 3023250 HAS SOPS 3023221 HAS SOUS 1839978 HAS SOUPS 1839950 WITH SCORE 1842973.25
AT ITER 2429 NEW BEST:: SOT 3114792 SOS 3023250 HAS SOPS 3023221 HAS SOUS 1839576 HAS SOUPS 1839548 WITH SCORE 1842571.25
AT ITER 2436 NEW BEST:: SOT 3115998 SOS 3024456 HAS SOPS 3024427 HAS SOUS 1837604 HAS SOUPS 1837576 WITH SCORE 1840600.456
AT ITER 2448 NEW BEST:: SOT 3118668 SOS 3027126 HAS SOPS 3027097 HAS SOUS 1833956 HAS SOUPS 1833928 WITH SCORE 1836955.126
AT ITER 2455 NEW BEST:: SOT 3119262 SOS 3027720 HAS SOPS 3027691 HAS SOUS 1833884 HAS SOUPS 1833856 WITH SCORE 1836883.72
AT ITER 2474 NEW BEST:: SOT 3119262 SOS 3027720 HAS SOPS 3027691 HAS SOUS 1833633 HAS SOUPS 1833605 WITH SCORE 1836632.72
AT ITER 2491 NEW BEST:: SOT 3124427 SOS 3032885 HAS SOPS 3032856 HAS SOUS 1831916 HAS SOUPS 1831888 WITH SCORE 1834920.885
AT ITER 2504 NEW BEST:: SOT 3128024 SOS 3036482 HAS SOPS 3036453 HAS SOUS 1830788 HAS SOUPS 1830760 WITH SCORE 1833796.482
AT ITER 2513 NEW BEST:: SOT 3128024 SOS 3036482 HAS SOPS 3036453 HAS SOUS 1830568 HAS SOUPS 1830540 WITH SCORE 1833576.482
AT ITER 2529 NEW BEST:: SOT 3128897 SOS 3037355 HAS SOPS 3037326 HAS SOUS 1828522 HAS SOUPS 1828494 WITH SCORE 1831531.355
AT ITER 2537 NEW BEST:: SOT 3129457 SOS 3037915 HAS SOPS 3037886 HAS SOUS 1828245 HAS SOUPS 1828217 WITH SCORE 1831254.915
AT ITER 2578 NEW BEST:: SOT 3131338 SOS 3039796 HAS SOPS 3039767 HAS SOUS 1828188 HAS SOUPS 1828160 WITH SCORE 1831199.796
AT ITER 2582 NEW BEST:: SOT 3131338 SOS 3039796 HAS SOPS 3039767 HAS SOUS 1827010 HAS SOUPS 1826982 WITH SCORE 1830021.796
AT ITER 2589 NEW BEST:: SOT 3131737 SOS 3040195 HAS SOPS 3040166 HAS SOUS 1806332 HAS SOUPS 1806304 WITH SCORE 1809344.195
AT ITER 2591 NEW BEST:: SOT 3131934 SOS 3040392 HAS SOPS 3040363 HAS SOUS 1805594 HAS SOUPS 1805566 WITH SCORE 1808606.392
AT ITER 2614 NEW BEST:: SOT 3131934 SOS 3040392 HAS SOPS 3040363 HAS SOUS 1805593 HAS SOUPS 1805565 WITH SCORE 1808605.392
AT ITER 2620 NEW BEST:: SOT 3131934 SOS 3040392 HAS SOPS 3040363 HAS SOUS 1805411 HAS SOUPS 1805383 WITH SCORE 1808423.392
AT ITER 2672 NEW BEST:: SOT 3131934 SOS 3039779 HAS SOPS 3039750 HAS SOUS 1802336 HAS SOUPS 1802308 WITH SCORE 1805347.779
AT ITER 2732 NEW BEST:: SOT 3131934 SOS 3039420 HAS SOPS 3039391 HAS SOUS 1801977 HAS SOUPS 1801949 WITH SCORE 1804988.42
AT ITER 2743 NEW BEST:: SOT 3132296 SOS 3039782 HAS SOPS 3039753 HAS SOUS 1801395 HAS SOUPS 1801367 WITH SCORE 1804406.782
AT ITER 2773 NEW BEST:: SOT 3132296 SOS 3039155 HAS SOPS 3039126 HAS SOUS 1801327 HAS SOUPS 1801299 WITH SCORE 1804338.155
AT ITER 2781 NEW BEST:: SOT 3134891 SOS 3041750 HAS SOPS 3041721 HAS SOUS 1800566 HAS SOUPS 1800538 WITH SCORE 1803579.75
AT ITER 2807 NEW BEST:: SOT 3139580 SOS 3046439 HAS SOPS 3046410 HAS SOUS 1798682 HAS SOUPS 1798654 WITH SCORE 1801700.439
AT ITER 2814 NEW BEST:: SOT 3138503 SOS 3045362 HAS SOPS 3045333 HAS SOUS 1797906 HAS SOUPS 1797878 WITH SCORE 1800923.362
AT ITER 2865 NEW BEST:: SOT 3138503 SOS 3045356 HAS SOPS 3045327 HAS SOUS 1797906 HAS SOUPS 1797878 WITH SCORE 1800923.356
AT ITER 2873 NEW BEST:: SOT 3138800 SOS 3042276 HAS SOPS 3042247 HAS SOUS 1797809 HAS SOUPS 1797781 WITH SCORE 1800823.276
AT ITER 2875 NEW BEST:: SOT 3138800 SOS 3042276 HAS SOPS 3042247 HAS SOUS 1797519 HAS SOUPS 1797491 WITH SCORE 1800533.276
AT ITER 2877 NEW BEST:: SOT 3141731 SOS 3045207 HAS SOPS 3045178 HAS SOUS 1796094 HAS SOUPS 1796066 WITH SCORE 1799111.207
AT ITER 2884 NEW BEST:: SOT 3172188 SOS 3075394 HAS SOPS 3075365 HAS SOUS 1777057 HAS SOUPS 1777029 WITH SCORE 1780104.394
AT ITER 2963 NEW BEST:: SOT 3172188 SOS 3075394 HAS SOPS 3075365 HAS SOUS 1775998 HAS SOUPS 1775970 WITH SCORE 1779045.394
AT ITER 2970 NEW BEST:: SOT 3173994 SOS 3077200 HAS SOPS 3077171 HAS SOUS 1775483 HAS SOUPS 1775455 WITH SCORE 1778532.2
AT ITER 3003 NEW BEST:: SOT 3174926 SOS 3078132 HAS SOPS 3078103 HAS SOUS 1775462 HAS SOUPS 1775434 WITH SCORE 1778512.132
AT ITER 3017 NEW BEST:: SOT 3170794 SOS 3074000 HAS SOPS 3073971 HAS SOUS 1775403 HAS SOUPS 1775375 WITH SCORE 1778449.0
AT ITER 3030 NEW BEST:: SOT 3212784 SOS 3115990 HAS SOPS 3115961 HAS SOUS 1770917 HAS SOUPS 1770889 WITH SCORE 1774004.99
AT ITER 3076 NEW BEST:: SOT 3212784 SOS 3115849 HAS SOPS 3115820 HAS SOUS 1770683 HAS SOUPS 1770655 WITH SCORE 1773770.849
AT ITER 3078 NEW BEST:: SOT 3216444 SOS 3119509 HAS SOPS 3119480 HAS SOUS 1769495 HAS SOUPS 1769467 WITH SCORE 1772586.509
AT ITER 3079 NEW BEST:: SOT 3216444 SOS 3119165 HAS SOPS 3119136 HAS SOUS 1768902 HAS SOUPS 1768874 WITH SCORE 1771993.165
AT ITER 3111 NEW BEST:: SOT 3216688 SOS 3119409 HAS SOPS 3119380 HAS SOUS 1768763 HAS SOUPS 1768735 WITH SCORE 1771854.409
AT ITER 3157 NEW BEST:: SOT 3221239 SOS 3123604 HAS SOPS 3123575 HAS SOUS 1768224 HAS SOUPS 1768196 WITH SCORE 1771319.604
AT ITER 3158 NEW BEST:: SOT 3221239 SOS 3123604 HAS SOPS 3123575 HAS SOUS 1767560 HAS SOUPS 1767532 WITH SCORE 1770655.604
AT ITER 3179 NEW BEST:: SOT 3222297 SOS 3124662 HAS SOPS 3124633 HAS SOUS 1767366 HAS SOUPS 1767338 WITH SCORE 1770462.662
AT ITER 3190 NEW BEST:: SOT 3222297 SOS 3124662 HAS SOPS 3124633 HAS SOUS 1767355 HAS SOUPS 1767327 WITH SCORE 1770451.662
AT ITER 3215 NEW BEST:: SOT 3225977 SOS 3128342 HAS SOPS 3128313 HAS SOUS 1763155 HAS SOUPS 1763127 WITH SCORE 1766255.342
AT ITER 3241 NEW BEST:: SOT 3251380 SOS 3153462 HAS SOPS 3153433 HAS SOUS 1743644 HAS SOUPS 1743616 WITH SCORE 1746769.462
AT ITER 3243 NEW BEST:: SOT 3255765 SOS 3157847 HAS SOPS 3157818 HAS SOUS 1740164 HAS SOUPS 1740136 WITH SCORE 1743293.847
AT ITER 3246 NEW BEST:: SOT 3255252 SOS 3157334 HAS SOPS 3157305 HAS SOUS 1739822 HAS SOUPS 1739794 WITH SCORE 1742951.334
AT ITER 3253 NEW BEST:: SOT 3255252 SOS 3157334 HAS SOPS 3157305 HAS SOUS 1739702 HAS SOUPS 1739674 WITH SCORE 1742831.334
AT ITER 3280 NEW BEST:: SOT 3267341 SOS 3168153 HAS SOPS 3168124 HAS SOUS 1736627 HAS SOUPS 1736599 WITH SCORE 1739767.153
AT ITER 3287 NEW BEST:: SOT 3267644 SOS 3164503 HAS SOPS 3164474 HAS SOUS 1734767 HAS SOUPS 1734739 WITH SCORE 1737903.503
AT ITER 3298 NEW BEST:: SOT 3264053 SOS 3160912 HAS SOPS 3160883 HAS SOUS 1733870 HAS SOUPS 1733842 WITH SCORE 1737002.912
AT ITER 3311 NEW BEST:: SOT 3269308 SOS 3166123 HAS SOPS 3166094 HAS SOUS 1729729 HAS SOUPS 1729701 WITH SCORE 1732867.123
AT ITER 3315 NEW BEST:: SOT 3269422 SOS 3166237 HAS SOPS 3166208 HAS SOUS 1729646 HAS SOUPS 1729618 WITH SCORE 1732784.237
AT ITER 3346 NEW BEST:: SOT 3269934 SOS 3166749 HAS SOPS 3166720 HAS SOUS 1729225 HAS SOUPS 1729197 WITH SCORE 1732363.749
AT ITER 3349 NEW BEST:: SOT 3227742 SOS 3124557 HAS SOPS 3124528 HAS SOUS 1726975 HAS SOUPS 1726947 WITH SCORE 1730071.557
AT ITER 3380 NEW BEST:: SOT 3227742 SOS 3124284 HAS SOPS 3124255 HAS SOUS 1723766 HAS SOUPS 1723738 WITH SCORE 1726862.284
AT ITER 3382 NEW BEST:: SOT 3228212 SOS 3124754 HAS SOPS 3124725 HAS SOUS 1723721 HAS SOUPS 1723693 WITH SCORE 1726817.754
AT ITER 3431 NEW BEST:: SOT 3228432 SOS 3124974 HAS SOPS 3124945 HAS SOUS 1722963 HAS SOUPS 1722935 WITH SCORE 1726059.974
AT ITER 3455 NEW BEST:: SOT 3227805 SOS 3124347 HAS SOPS 3124318 HAS SOUS 1722563 HAS SOUPS 1722535 WITH SCORE 1725659.347
AT ITER 3475 NEW BEST:: SOT 3227805 SOS 3124347 HAS SOPS 3124318 HAS SOUS 1722540 HAS SOUPS 1722512 WITH SCORE 1725636.347
AT ITER 3483 NEW BEST:: SOT 3232899 SOS 3129441 HAS SOPS 3129412 HAS SOUS 1721058 HAS SOUPS 1721030 WITH SCORE 1724159.441
AT ITER 3488 NEW BEST:: SOT 3235908 SOS 3132096 HAS SOPS 3132067 HAS SOUS 1719782 HAS SOUPS 1719754 WITH SCORE 1722886.096
AT ITER 3490 NEW BEST:: SOT 3235908 SOS 3132086 HAS SOPS 3132057 HAS SOUS 1719772 HAS SOUPS 1719744 WITH SCORE 1722876.086
AT ITER 3509 NEW BEST:: SOT 3236787 SOS 3132965 HAS SOPS 3132936 HAS SOUS 1718815 HAS SOUPS 1718787 WITH SCORE 1721919.965
AT ITER 3512 NEW BEST:: SOT 3239919 SOS 3135744 HAS SOPS 3135715 HAS SOUS 1717575 HAS SOUPS 1717547 WITH SCORE 1720682.744
AT ITER 3519 NEW BEST:: SOT 3240654 SOS 3136479 HAS SOPS 3136450 HAS SOUS 1717039 HAS SOUPS 1717011 WITH SCORE 1720147.479
AT ITER 3532 NEW BEST:: SOT 3241168 SOS 3136993 HAS SOPS 3136964 HAS SOUS 1716955 HAS SOUPS 1716927 WITH SCORE 1720063.993
AT ITER 3536 NEW BEST:: SOT 3241168 SOS 3136993 HAS SOPS 3136964 HAS SOUS 1716629 HAS SOUPS 1716601 WITH SCORE 1719737.993
AT ITER 3539 NEW BEST:: SOT 3254863 SOS 3149804 HAS SOPS 3149775 HAS SOUS 1708191 HAS SOUPS 1708163 WITH SCORE 1711312.804
AT ITER 3554 NEW BEST:: SOT 3254863 SOS 3146288 HAS SOPS 3146259 HAS SOUS 1706143 HAS SOUPS 1706115 WITH SCORE 1709261.288
AT ITER 3558 NEW BEST:: SOT 3254507 SOS 3145932 HAS SOPS 3145903 HAS SOUS 1705641 HAS SOUPS 1705613 WITH SCORE 1708758.932
AT ITER 3563 NEW BEST:: SOT 3256730 SOS 3147614 HAS SOPS 3147585 HAS SOUS 1685463 HAS SOUPS 1685435 WITH SCORE 1688582.614
AT ITER 3568 NEW BEST:: SOT 3258164 SOS 3149048 HAS SOPS 3149019 HAS SOUS 1684856 HAS SOUPS 1684828 WITH SCORE 1687977.048
AT ITER 3576 NEW BEST:: SOT 3281318 SOS 3161530 HAS SOPS 3159421 HAS SOUS 1680702 HAS SOUPS 1679993 WITH SCORE 1683154.53
AT ITER 3595 NEW BEST:: SOT 3281472 SOS 3161684 HAS SOPS 3159575 HAS SOUS 1680294 HAS SOUPS 1679585 WITH SCORE 1682746.684
AT ITER 3598 NEW BEST:: SOT 3283629 SOS 3163841 HAS SOPS 3161732 HAS SOUS 1679549 HAS SOUPS 1678840 WITH SCORE 1682003.841
AT ITER 3620 NEW BEST:: SOT 3287121 SOS 3167333 HAS SOPS 3165224 HAS SOUS 1678988 HAS SOUPS 1678279 WITH SCORE 1681446.333
AT ITER 3625 NEW BEST:: SOT 3289746 SOS 3169958 HAS SOPS 3167849 HAS SOUS 1674759 HAS SOUPS 1674050 WITH SCORE 1677219.958
AT ITER 3633 NEW BEST:: SOT 3291447 SOS 3171659 HAS SOPS 3169550 HAS SOUS 1672993 HAS SOUPS 1672284 WITH SCORE 1675455.659
AT ITER 3654 NEW BEST:: SOT 3290698 SOS 3170910 HAS SOPS 3168801 HAS SOUS 1672244 HAS SOUPS 1671535 WITH SCORE 1674705.91
AT ITER 3655 NEW BEST:: SOT 3287380 SOS 3167592 HAS SOPS 3165483 HAS SOUS 1670942 HAS SOUPS 1670233 WITH SCORE 1673400.592
AT ITER 3679 NEW BEST:: SOT 3287380 SOS 3167592 HAS SOPS 3165483 HAS SOUS 1670589 HAS SOUPS 1669880 WITH SCORE 1673047.592
AT ITER 3693 NEW BEST:: SOT 3287380 SOS 3147505 HAS SOPS 3145396 HAS SOUS 1670576 HAS SOUPS 1669867 WITH SCORE 1673014.505
AT ITER 3707 NEW BEST:: SOT 3287380 SOS 3146397 HAS SOPS 3144288 HAS SOUS 1666632 HAS SOUPS 1665923 WITH SCORE 1669069.397
AT ITER 3718 NEW BEST:: SOT 3287380 SOS 3139880 HAS SOPS 3137771 HAS SOUS 1644355 HAS SOUPS 1643646 WITH SCORE 1646785.88
AT ITER 3734 NEW BEST:: SOT 3287380 SOS 3139880 HAS SOPS 3137771 HAS SOUS 1643497 HAS SOUPS 1642788 WITH SCORE 1645927.88
AT ITER 3751 NEW BEST:: SOT 3288665 SOS 3140327 HAS SOPS 3137119 HAS SOUS 1643262 HAS SOUPS 1642136 WITH SCORE 1645276.327
AT ITER 3764 NEW BEST:: SOT 3289041 SOS 3140703 HAS SOPS 3137495 HAS SOUS 1642980 HAS SOUPS 1641854 WITH SCORE 1644994.703
AT ITER 3771 NEW BEST:: SOT 3290016 SOS 3141678 HAS SOPS 3138470 HAS SOUS 1642478 HAS SOUPS 1641352 WITH SCORE 1644493.678
AT ITER 3775 NEW BEST:: SOT 3290016 SOS 3141678 HAS SOPS 3138470 HAS SOUS 1642189 HAS SOUPS 1641063 WITH SCORE 1644204.678
AT ITER 3783 NEW BEST:: SOT 3289960 SOS 3141622 HAS SOPS 3138414 HAS SOUS 1642189 HAS SOUPS 1641063 WITH SCORE 1644204.622
AT ITER 3793 NEW BEST:: SOT 3293644 SOS 3145306 HAS SOPS 3142098 HAS SOUS 1640550 HAS SOUPS 1639424 WITH SCORE 1642569.306
AT ITER 3795 NEW BEST:: SOT 3294585 SOS 3145395 HAS SOPS 3141870 HAS SOUS 1640322 HAS SOUPS 1639196 WITH SCORE 1642341.395
AT ITER 3799 NEW BEST:: SOT 3313499 SOS 3160584 HAS SOPS 3156377 HAS SOUS 1637242 HAS SOUPS 1636116 WITH SCORE 1639276.584
AT ITER 3839 NEW BEST:: SOT 3315097 SOS 3162182 HAS SOPS 3157975 HAS SOUS 1636531 HAS SOUPS 1635405 WITH SCORE 1638567.182
AT ITER 3845 NEW BEST:: SOT 3315811 SOS 3162896 HAS SOPS 3158689 HAS SOUS 1635214 HAS SOUPS 1634088 WITH SCORE 1637250.896
AT ITER 3847 NEW BEST:: SOT 3315811 SOS 3162896 HAS SOPS 3158689 HAS SOUS 1635184 HAS SOUPS 1634058 WITH SCORE 1637220.896
AT ITER 3849 NEW BEST:: SOT 3315811 SOS 3162896 HAS SOPS 3158689 HAS SOUS 1631911 HAS SOUPS 1630785 WITH SCORE 1633947.896
AT ITER 3875 NEW BEST:: SOT 3321999 SOS 3156479 HAS SOPS 3151362 HAS SOUS 1600355 HAS SOUPS 1599229 WITH SCORE 1602385.479
AT ITER 3894 NEW BEST:: SOT 3321999 SOS 3156479 HAS SOPS 3151362 HAS SOUS 1599843 HAS SOUPS 1598717 WITH SCORE 1601873.479
AT ITER 3900 NEW BEST:: SOT 3320595 SOS 3155075 HAS SOPS 3149958 HAS SOUS 1598907 HAS SOUPS 1597781 WITH SCORE 1600936.075
AT ITER 3916 NEW BEST:: SOT 3320595 SOS 3155075 HAS SOPS 3149958 HAS SOUS 1598793 HAS SOUPS 1597667 WITH SCORE 1600822.075
AT ITER 3942 NEW BEST:: SOT 3321977 SOS 3156457 HAS SOPS 3151340 HAS SOUS 1598777 HAS SOUPS 1597651 WITH SCORE 1600807.457
AT ITER 3951 NEW BEST:: SOT 3326589 SOS 3161023 HAS SOPS 3155906 HAS SOUS 1594713 HAS SOUPS 1593587 WITH SCORE 1596748.023
AT ITER 3966 NEW BEST:: SOT 3326589 SOS 3159619 HAS SOPS 3154502 HAS SOUS 1591905 HAS SOUPS 1590779 WITH SCORE 1593938.619
AT ITER 3967 NEW BEST:: SOT 3326589 SOS 3159619 HAS SOPS 3154502 HAS SOUS 1591882 HAS SOUPS 1590756 WITH SCORE 1593915.619
AT ITER 3976 NEW BEST:: SOT 3338426 SOS 3171079 HAS SOPS 3165962 HAS SOUS 1573693 HAS SOUPS 1572567 WITH SCORE 1575738.079
AT ITER 3977 NEW BEST:: SOT 3338426 SOS 3170947 HAS SOPS 3165830 HAS SOUS 1573693 HAS SOUPS 1572567 WITH SCORE 1575737.947
AT ITER 4014 NEW BEST:: SOT 3338426 SOS 3170924 HAS SOPS 3165807 HAS SOUS 1573668 HAS SOUPS 1572542 WITH SCORE 1575712.924
AT ITER 4017 NEW BEST:: SOT 3338426 SOS 3170924 HAS SOPS 3165807 HAS SOUS 1573414 HAS SOUPS 1572288 WITH SCORE 1575458.924
AT ITER 4021 NEW BEST:: SOT 3339660 SOS 3172158 HAS SOPS 3167041 HAS SOUS 1573303 HAS SOUPS 1572177 WITH SCORE 1575349.158
AT ITER 4058 NEW BEST:: SOT 3339682 SOS 3172180 HAS SOPS 3167063 HAS SOUS 1572905 HAS SOUPS 1571779 WITH SCORE 1574951.18
AT ITER 4065 NEW BEST:: SOT 3348112 SOS 3180610 HAS SOPS 3175493 HAS SOUS 1571610 HAS SOUPS 1570484 WITH SCORE 1573664.61
AT ITER 4084 NEW BEST:: SOT 3348112 SOS 3180511 HAS SOPS 3175394 HAS SOUS 1561699 HAS SOUPS 1560573 WITH SCORE 1563753.511
AT ITER 4115 NEW BEST:: SOT 3348608 SOS 3180636 HAS SOPS 3175519 HAS SOUS 1561324 HAS SOUPS 1560198 WITH SCORE 1563378.636
AT ITER 4122 NEW BEST:: SOT 3348608 SOS 3180636 HAS SOPS 3175519 HAS SOUS 1561322 HAS SOUPS 1560196 WITH SCORE 1563376.636
AT ITER 4128 NEW BEST:: SOT 3348608 SOS 3180636 HAS SOPS 3175519 HAS SOUS 1560820 HAS SOUPS 1559694 WITH SCORE 1562874.636
AT ITER 4129 NEW BEST:: SOT 3360776 SOS 3188001 HAS SOPS 3182020 HAS SOUS 1553898 HAS SOUPS 1552772 WITH SCORE 1555960.001
AT ITER 4147 NEW BEST:: SOT 3360776 SOS 3188001 HAS SOPS 3182020 HAS SOUS 1553859 HAS SOUPS 1552733 WITH SCORE 1555921.001
AT ITER 4173 NEW BEST:: SOT 3360776 SOS 3170273 HAS SOPS 3164292 HAS SOUS 1553859 HAS SOUPS 1552733 WITH SCORE 1555903.273
AT ITER 4177 NEW BEST:: SOT 3360776 SOS 3170273 HAS SOPS 3164292 HAS SOUS 1553857 HAS SOUPS 1552731 WITH SCORE 1555901.273
AT ITER 4180 NEW BEST:: SOT 3360776 SOS 3169948 HAS SOPS 3163967 HAS SOUS 1552644 HAS SOUPS 1551518 WITH SCORE 1554687.948
AT ITER 4192 NEW BEST:: SOT 3361574 SOS 3170746 HAS SOPS 3164765 HAS SOUS 1552640 HAS SOUPS 1551514 WITH SCORE 1554684.746
AT ITER 4208 NEW BEST:: SOT 3361712 SOS 3170884 HAS SOPS 3164903 HAS SOUS 1552404 HAS SOUPS 1551278 WITH SCORE 1554448.884
AT ITER 4210 NEW BEST:: SOT 3361769 SOS 3170941 HAS SOPS 3165017 HAS SOUS 1552149 HAS SOUPS 1551023 WITH SCORE 1554193.941
AT ITER 4211 NEW BEST:: SOT 3362477 SOS 3171649 HAS SOPS 3165725 HAS SOUS 1551661 HAS SOUPS 1550535 WITH SCORE 1553706.649
AT ITER 4219 NEW BEST:: SOT 3363017 SOS 3172189 HAS SOPS 3166265 HAS SOUS 1551004 HAS SOUPS 1549878 WITH SCORE 1553050.189
AT ITER 4234 NEW BEST:: SOT 3365192 SOS 3174150 HAS SOPS 3168226 HAS SOUS 1548229 HAS SOUPS 1547103 WITH SCORE 1550277.15
AT ITER 4235 NEW BEST:: SOT 3365192 SOS 3170329 HAS SOPS 3164405 HAS SOUS 1547015 HAS SOUPS 1545889 WITH SCORE 1549059.329
AT ITER 4248 NEW BEST:: SOT 3365258 SOS 3170395 HAS SOPS 3164471 HAS SOUS 1546999 HAS SOUPS 1545873 WITH SCORE 1549043.395
AT ITER 4265 NEW BEST:: SOT 3365258 SOS 3170366 HAS SOPS 3164442 HAS SOUS 1546941 HAS SOUPS 1545815 WITH SCORE 1548985.366
AT ITER 4271 NEW BEST:: SOT 3365258 SOS 3170366 HAS SOPS 3164442 HAS SOUS 1546899 HAS SOUPS 1545773 WITH SCORE 1548943.366
AT ITER 4283 NEW BEST:: SOT 3366689 SOS 3171722 HAS SOPS 3165798 HAS SOUS 1545804 HAS SOUPS 1544678 WITH SCORE 1547849.722
AT ITER 4293 NEW BEST:: SOT 3366924 SOS 3171397 HAS SOPS 3165473 HAS SOUS 1545479 HAS SOUPS 1544353 WITH SCORE 1547524.397
AT ITER 4299 NEW BEST:: SOT 3366924 SOS 3171397 HAS SOPS 3165473 HAS SOUS 1544346 HAS SOUPS 1543220 WITH SCORE 1546391.397
AT ITER 4303 NEW BEST:: SOT 3343307 SOS 3147780 HAS SOPS 3141856 HAS SOUS 1543103 HAS SOUPS 1541977 WITH SCORE 1545124.78
AT ITER 4318 NEW BEST:: SOT 3343040 SOS 3147513 HAS SOPS 3141589 HAS SOUS 1542941 HAS SOUPS 1541815 WITH SCORE 1544962.513
AT ITER 4319 NEW BEST:: SOT 3392003 SOS 3195919 HAS SOPS 3189995 HAS SOUS 1531715 HAS SOUPS 1530589 WITH SCORE 1533784.919
AT ITER 4386 NEW BEST:: SOT 3392315 SOS 3195952 HAS SOPS 3190028 HAS SOUS 1529866 HAS SOUPS 1528740 WITH SCORE 1531935.952
AT ITER 4394 NEW BEST:: SOT 3391301 SOS 3194938 HAS SOPS 3189014 HAS SOUS 1529528 HAS SOUPS 1528402 WITH SCORE 1531596.938
AT ITER 4406 NEW BEST:: SOT 3399396 SOS 3202738 HAS SOPS 3196814 HAS SOUS 1528530 HAS SOUPS 1527404 WITH SCORE 1530606.738
AT ITER 4411 NEW BEST:: SOT 3399468 SOS 3202810 HAS SOPS 3196886 HAS SOUS 1528170 HAS SOUPS 1527044 WITH SCORE 1530246.81
AT ITER 4422 NEW BEST:: SOT 3407492 SOS 3206866 HAS SOPS 3200078 HAS SOUS 1520015 HAS SOUPS 1518889 WITH SCORE 1522095.866
AT ITER 4430 NEW BEST:: SOT 3407492 SOS 3194656 HAS SOPS 3187868 HAS SOUS 1519447 HAS SOUPS 1518321 WITH SCORE 1521515.656
AT ITER 4441 NEW BEST:: SOT 3409677 SOS 3196841 HAS SOPS 3190053 HAS SOUS 1519136 HAS SOUPS 1518010 WITH SCORE 1521206.841
AT ITER 4444 NEW BEST:: SOT 3409677 SOS 3196546 HAS SOPS 3189758 HAS SOUS 1517916 HAS SOUPS 1516790 WITH SCORE 1519986.546
AT ITER 4465 NEW BEST:: SOT 3409677 SOS 3196546 HAS SOPS 3189758 HAS SOUS 1517669 HAS SOUPS 1516543 WITH SCORE 1519739.546
AT ITER 4470 NEW BEST:: SOT 2852617 SOS 2655728 HAS SOPS 2632698 HAS SOUS 961019 HAS SOUPS 959477 WITH SCORE 962132.728
AT ITER 4474 NEW BEST:: SOT 2914462 SOS 2716994 HAS SOPS 2693964 HAS SOUS 955897 HAS SOUPS 954355 WITH SCORE 957071.994
AT ITER 4482 NEW BEST:: SOT 2914462 SOS 2716854 HAS SOPS 2693824 HAS SOUS 955897 HAS SOUPS 954355 WITH SCORE 957071.854
AT ITER 4489 NEW BEST:: SOT 2915430 SOS 2717822 HAS SOPS 2694792 HAS SOUS 955653 HAS SOUPS 954111 WITH SCORE 956828.822
AT ITER 4490 NEW BEST:: SOT 2914010 SOS 2716402 HAS SOPS 2693372 HAS SOUS 955653 HAS SOUPS 954111 WITH SCORE 956827.402
AT ITER 4515 NEW BEST:: SOT 2916603 SOS 2707599 HAS SOPS 2683629 HAS SOUS 939445 HAS SOUPS 937903 WITH SCORE 940610.599
AT ITER 4519 NEW BEST:: SOT 2918047 SOS 2709043 HAS SOPS 2685073 HAS SOUS 939326 HAS SOUPS 937784 WITH SCORE 940493.043
AT ITER 4543 NEW BEST:: SOT 2918047 SOS 2709043 HAS SOPS 2685073 HAS SOUS 938177 HAS SOUPS 936635 WITH SCORE 939344.043
AT ITER 4584 NEW BEST:: SOT 2917244 SOS 2708240 HAS SOPS 2684270 HAS SOUS 938104 HAS SOUPS 936562 WITH SCORE 939270.24
AT ITER 4642 NEW BEST:: SOT 2917244 SOS 2692856 HAS SOPS 2668886 HAS SOUS 936780 HAS SOUPS 935238 WITH SCORE 937930.856
AT ITER 4648 NEW BEST:: SOT 2919246 SOS 2694575 HAS SOPS 2670605 HAS SOUS 935949 HAS SOUPS 934407 WITH SCORE 937101.575
AT ITER 4654 NEW BEST:: SOT 2918419 SOS 2693748 HAS SOPS 2670419 HAS SOUS 935346 HAS SOUPS 934221 WITH SCORE 936914.748
AT ITER 4729 NEW BEST:: SOT 2923191 SOS 2698520 HAS SOPS 2675191 HAS SOUS 933038 HAS SOUPS 931913 WITH SCORE 934611.52
AT ITER 4734 NEW BEST:: SOT 2923157 SOS 2698486 HAS SOPS 2675157 HAS SOUS 933004 HAS SOUPS 931879 WITH SCORE 934577.486
AT ITER 4769 NEW BEST:: SOT 2923157 SOS 2698457 HAS SOPS 2675128 HAS SOUS 932912 HAS SOUPS 931787 WITH SCORE 934485.457
AT ITER 4777 NEW BEST:: SOT 2923157 SOS 2698321 HAS SOPS 2674992 HAS SOUS 932907 HAS SOUPS 931782 WITH SCORE 934480.321
AT ITER 4796 NEW BEST:: SOT 2926659 SOS 2701823 HAS SOPS 2678494 HAS SOUS 932635 HAS SOUPS 931510 WITH SCORE 934211.823
AT ITER 4799 NEW BEST:: SOT 2926954 SOS 2702118 HAS SOPS 2678789 HAS SOUS 932097 HAS SOUPS 930972 WITH SCORE 933674.118
AT ITER 4806 NEW BEST:: SOT 2929217 SOS 2703581 HAS SOPS 2678938 HAS SOUS 931315 HAS SOUPS 930190 WITH SCORE 932893.581
AT ITER 4809 NEW BEST:: SOT 2930567 SOS 2677689 HAS SOPS 2651946 HAS SOUS 929664 HAS SOUPS 928539 WITH SCORE 931216.689
AT ITER 4820 NEW BEST:: SOT 2929091 SOS 2676213 HAS SOPS 2650470 HAS SOUS 928926 HAS SOUPS 927801 WITH SCORE 930477.213
AT ITER 4835 NEW BEST:: SOT 2929091 SOS 2676213 HAS SOPS 2650470 HAS SOUS 928925 HAS SOUPS 927800 WITH SCORE 930476.213
AT ITER 4862 NEW BEST:: SOT 2930176 SOS 2673970 HAS SOPS 2647215 HAS SOUS 925266 HAS SOUPS 924141 WITH SCORE 926814.97
AT ITER 4880 NEW BEST:: SOT 2924177 SOS 2667971 HAS SOPS 2641216 HAS SOUS 925160 HAS SOUPS 924035 WITH SCORE 926702.971
AT ITER 4885 NEW BEST:: SOT 2923746 SOS 2667540 HAS SOPS 2640785 HAS SOUS 925160 HAS SOUPS 924035 WITH SCORE 926702.54
AT ITER 4895 NEW BEST:: SOT 2923746 SOS 2667323 HAS SOPS 2640568 HAS SOUS 925032 HAS SOUPS 923907 WITH SCORE 926574.323
AT ITER 4902 NEW BEST:: SOT 2923598 SOS 2667175 HAS SOPS 2640420 HAS SOUS 925032 HAS SOUPS 923907 WITH SCORE 926574.175
AT ITER 5084 NEW BEST:: SOT 2923598 SOS 2667175 HAS SOPS 2640420 HAS SOUS 924941 HAS SOUPS 923816 WITH SCORE 926483.175
AT ITER 5099 NEW BEST:: SOT 2927568 SOS 2671025 HAS SOPS 2644220 HAS SOUS 924651 HAS SOUPS 923526 WITH SCORE 926197.025
AT ITER 5103 NEW BEST:: SOT 2927568 SOS 2662074 HAS SOPS 2635269 HAS SOUS 915407 HAS SOUPS 914282 WITH SCORE 916944.074
AT ITER 5114 NEW BEST:: SOT 2926124 SOS 2660630 HAS SOPS 2633825 HAS SOUS 914753 HAS SOUPS 913628 WITH SCORE 916288.63
AT ITER 5170 NEW BEST:: SOT 2928558 SOS 2662932 HAS SOPS 2636077 HAS SOUS 914439 HAS SOUPS 913314 WITH SCORE 915976.932
AT ITER 5181 NEW BEST:: SOT 2928798 SOS 2663172 HAS SOPS 2636317 HAS SOUS 914298 HAS SOUPS 913173 WITH SCORE 915836.172
AT ITER 5184 NEW BEST:: SOT 2932246 SOS 2665949 HAS SOPS 2639094 HAS SOUS 912190 HAS SOUPS 911065 WITH SCORE 913730.949
AT ITER 5202 NEW BEST:: SOT 2932430 SOS 2666133 HAS SOPS 2639414 HAS SOUS 912029 HAS SOUPS 910904 WITH SCORE 913570.133
AT ITER 5256 NEW BEST:: SOT 2932430 SOS 2666133 HAS SOPS 2639414 HAS SOUS 911780 HAS SOUPS 910655 WITH SCORE 913321.133
AT ITER 5272 NEW BEST:: SOT 2932510 SOS 2664978 HAS SOPS 2638051 HAS SOUS 911135 HAS SOUPS 910010 WITH SCORE 912674.978
AT ITER 5301 NEW BEST:: SOT 2932510 SOS 2664972 HAS SOPS 2638045 HAS SOUS 911102 HAS SOUPS 909977 WITH SCORE 912641.972
AT ITER 5304 NEW BEST:: SOT 2936650 SOS 2668755 HAS SOPS 2641828 HAS SOUS 910997 HAS SOUPS 909872 WITH SCORE 912540.755
AT ITER 5310 NEW BEST:: SOT 2933903 SOS 2666008 HAS SOPS 2639081 HAS SOUS 910778 HAS SOUPS 909653 WITH SCORE 912319.008
AT ITER 5350 NEW BEST:: SOT 2930046 SOS 2662151 HAS SOPS 2635224 HAS SOUS 906921 HAS SOUPS 905796 WITH SCORE 908458.151
AT ITER 5365 NEW BEST:: SOT 2930062 SOS 2662167 HAS SOPS 2635240 HAS SOUS 906379 HAS SOUPS 905254 WITH SCORE 907916.167
AT ITER 5368 NEW BEST:: SOT 2931375 SOS 2663480 HAS SOPS 2636553 HAS SOUS 905320 HAS SOUPS 904195 WITH SCORE 906858.48
AT ITER 5378 NEW BEST:: SOT 2935102 SOS 2667207 HAS SOPS 2640280 HAS SOUS 904302 HAS SOUPS 903177 WITH SCORE 905844.207
AT ITER 5422 NEW BEST:: SOT 2941007 SOS 2672405 HAS SOPS 2645478 HAS SOUS 903073 HAS SOUPS 901948 WITH SCORE 904620.405
AT ITER 5423 NEW BEST:: SOT 2941007 SOS 2662551 HAS SOPS 2635624 HAS SOUS 902368 HAS SOUPS 901243 WITH SCORE 903905.551
AT ITER 5451 NEW BEST:: SOT 2942895 SOS 2663873 HAS SOPS 2636946 HAS SOUS 901375 HAS SOUPS 900250 WITH SCORE 902913.873
AT ITER 5474 NEW BEST:: SOT 2942895 SOS 2661416 HAS SOPS 2634489 HAS SOUS 901074 HAS SOUPS 899949 WITH SCORE 902610.416
AT ITER 5533 NEW BEST:: SOT 2942545 SOS 2661066 HAS SOPS 2634139 HAS SOUS 900334 HAS SOUPS 899209 WITH SCORE 901870.066
AT ITER 5582 NEW BEST:: SOT 2945573 SOS 2663912 HAS SOPS 2636985 HAS SOUS 898304 HAS SOUPS 897179 WITH SCORE 899842.912
AT ITER 5587 NEW BEST:: SOT 2944939 SOS 2663278 HAS SOPS 2636351 HAS SOUS 897670 HAS SOUPS 896545 WITH SCORE 899208.278
AT ITER 5589 NEW BEST:: SOT 2945559 SOS 2663898 HAS SOPS 2636971 HAS SOUS 897415 HAS SOUPS 896290 WITH SCORE 898953.898
AT ITER 5599 NEW BEST:: SOT 2944035 SOS 2662374 HAS SOPS 2635447 HAS SOUS 896907 HAS SOUPS 895782 WITH SCORE 898444.374
AT ITER 5607 NEW BEST:: SOT 2961377 SOS 2675517 HAS SOPS 2646348 HAS SOUS 895379 HAS SOUPS 894254 WITH SCORE 896929.517
AT ITER 5624 NEW BEST:: SOT 2959969 SOS 2674109 HAS SOPS 2644940 HAS SOUS 895379 HAS SOUPS 894254 WITH SCORE 896928.109
AT ITER 5642 NEW BEST:: SOT 2961521 SOS 2674733 HAS SOPS 2645514 HAS SOUS 894418 HAS SOUPS 893293 WITH SCORE 895967.733
AT ITER 5651 NEW BEST:: SOT 2981136 SOS 2690543 HAS SOPS 2659082 HAS SOUS 891356 HAS SOUPS 890231 WITH SCORE 892921.543
AT ITER 5662 NEW BEST:: SOT 2982807 SOS 2692214 HAS SOPS 2660753 HAS SOUS 890988 HAS SOUPS 889863 WITH SCORE 892555.214
AT ITER 5678 NEW BEST:: SOT 2985030 SOS 2692861 HAS SOPS 2661192 HAS SOUS 888631 HAS SOUPS 887506 WITH SCORE 890198.861
AT ITER 5692 NEW BEST:: SOT 2985030 SOS 2692112 HAS SOPS 2660443 HAS SOUS 888222 HAS SOUPS 887097 WITH SCORE 889789.112
AT ITER 5704 NEW BEST:: SOT 2984994 SOS 2692076 HAS SOPS 2660407 HAS SOUS 888222 HAS SOUPS 887097 WITH SCORE 889789.076
AT ITER 5757 NEW BEST:: SOT 3006653 SOS 2700334 HAS SOPS 2659984 HAS SOUS 872683 HAS SOUPS 871558 WITH SCORE 874258.334
AT ITER 5784 NEW BEST:: SOT 3008575 SOS 2702256 HAS SOPS 2661906 HAS SOUS 872554 HAS SOUPS 871429 WITH SCORE 874131.256
AT ITER 5788 NEW BEST:: SOT 3010760 SOS 2704266 HAS SOPS 2663916 HAS SOUS 870768 HAS SOUPS 869643 WITH SCORE 872347.266
AT ITER 5790 NEW BEST:: SOT 3012299 SOS 2705805 HAS SOPS 2665455 HAS SOUS 869647 HAS SOUPS 868522 WITH SCORE 871227.805
AT ITER 5791 NEW BEST:: SOT 3013107 SOS 2706613 HAS SOPS 2666263 HAS SOUS 869566 HAS SOUPS 868441 WITH SCORE 871147.613
AT ITER 5805 NEW BEST:: SOT 3001992 SOS 2695498 HAS SOPS 2655148 HAS SOUS 868981 HAS SOUPS 867856 WITH SCORE 870551.498
AT ITER 5815 NEW BEST:: SOT 3003106 SOS 2696607 HAS SOPS 2656257 HAS SOUS 868438 HAS SOUPS 867313 WITH SCORE 870009.607
AT ITER 5817 NEW BEST:: SOT 3004561 SOS 2697773 HAS SOPS 2657423 HAS SOUS 867234 HAS SOUPS 866109 WITH SCORE 868806.773
AT ITER 5839 NEW BEST:: SOT 3037697 SOS 2730364 HAS SOPS 2690014 HAS SOUS 856138 HAS SOUPS 855013 WITH SCORE 857743.364
AT ITER 5860 NEW BEST:: SOT 3038232 SOS 2730899 HAS SOPS 2690549 HAS SOUS 856103 HAS SOUPS 854978 WITH SCORE 857708.899
AT ITER 5877 NEW BEST:: SOT 3038232 SOS 2607715 HAS SOPS 2567392 HAS SOUS 855906 HAS SOUPS 854808 WITH SCORE 857415.715
AT ITER 5908 NEW BEST:: SOT 3033005 SOS 2602488 HAS SOPS 2562229 HAS SOUS 855489 HAS SOUPS 854391 WITH SCORE 856993.488
AT ITER 5940 NEW BEST:: SOT 3028623 SOS 2598759 HAS SOPS 2558550 HAS SOUS 854361 HAS SOUPS 853263 WITH SCORE 855861.759
AT ITER 5976 NEW BEST:: SOT 3028512 SOS 2598648 HAS SOPS 2558439 HAS SOUS 854334 HAS SOUPS 853236 WITH SCORE 855834.648
AT ITER 5991 NEW BEST:: SOT 3029246 SOS 2599382 HAS SOPS 2559173 HAS SOUS 854133 HAS SOUPS 853035 WITH SCORE 855634.382
AT ITER 6008 NEW BEST:: SOT 3029712 SOS 2599578 HAS SOPS 2559369 HAS SOUS 853068 HAS SOUPS 851970 WITH SCORE 854569.578
AT ITER 6025 NEW BEST:: SOT 3030944 SOS 2600810 HAS SOPS 2560601 HAS SOUS 852928 HAS SOUPS 851830 WITH SCORE 854430.81
AT ITER 6041 NEW BEST:: SOT 3030592 SOS 2600458 HAS SOPS 2560249 HAS SOUS 852928 HAS SOUPS 851830 WITH SCORE 854430.458
AT ITER 6051 NEW BEST:: SOT 3032518 SOS 2602117 HAS SOPS 2559982 HAS SOUS 853460 HAS SOUPS 851534 WITH SCORE 854136.117
AT ITER 6067 NEW BEST:: SOT 3032630 SOS 2602296 HAS SOPS 2560161 HAS SOUS 853331 HAS SOUPS 851405 WITH SCORE 854007.296
AT ITER 6068 NEW BEST:: SOT 3033332 SOS 2590312 HAS SOPS 2548177 HAS SOUS 851849 HAS SOUPS 849923 WITH SCORE 852513.312
AT ITER 6070 NEW BEST:: SOT 3037821 SOS 2594780 HAS SOPS 2552645 HAS SOUS 851544 HAS SOUPS 849618 WITH SCORE 852212.78
AT ITER 6163 NEW BEST:: SOT 3037821 SOS 2594544 HAS SOPS 2552409 HAS SOUS 851305 HAS SOUPS 849379 WITH SCORE 851973.544
AT ITER 6178 NEW BEST:: SOT 3037712 SOS 2594435 HAS SOPS 2552300 HAS SOUS 851036 HAS SOUPS 849110 WITH SCORE 851704.435
AT ITER 6193 NEW BEST:: SOT 3037712 SOS 2590237 HAS SOPS 2548102 HAS SOUS 848864 HAS SOUPS 846938 WITH SCORE 849528.237
AT ITER 6200 NEW BEST:: SOT 3037636 SOS 2590161 HAS SOPS 2548026 HAS SOUS 848860 HAS SOUPS 846934 WITH SCORE 849524.161
AT ITER 6230 NEW BEST:: SOT 3040816 SOS 2593341 HAS SOPS 2551206 HAS SOUS 848312 HAS SOUPS 846386 WITH SCORE 848979.341
AT ITER 6278 NEW BEST:: SOT 3040816 SOS 2593341 HAS SOPS 2551206 HAS SOUS 847679 HAS SOUPS 845753 WITH SCORE 848346.341
AT ITER 6294 NEW BEST:: SOT 3040816 SOS 2593314 HAS SOPS 2551179 HAS SOUS 847145 HAS SOUPS 845219 WITH SCORE 847812.314
AT ITER 6296 NEW BEST:: SOT 3028447 SOS 2580945 HAS SOPS 2538810 HAS SOUS 846494 HAS SOUPS 844568 WITH SCORE 847148.945
AT ITER 6300 NEW BEST:: SOT 3030870 SOS 2583120 HAS SOPS 2540985 HAS SOUS 846137 HAS SOUPS 844211 WITH SCORE 846794.12
AT ITER 6315 NEW BEST:: SOT 3031620 SOS 2583988 HAS SOPS 2541853 HAS SOUS 844202 HAS SOUPS 842276 WITH SCORE 844859.988
AT ITER 6320 NEW BEST:: SOT 3031401 SOS 2583769 HAS SOPS 2541634 HAS SOUS 844129 HAS SOUPS 842203 WITH SCORE 844786.769
AT ITER 6380 NEW BEST:: SOT 3035577 SOS 2587945 HAS SOPS 2545810 HAS SOUS 843868 HAS SOUPS 841942 WITH SCORE 844529.945
AT ITER 6393 NEW BEST:: SOT 3035845 SOS 2588213 HAS SOPS 2546078 HAS SOUS 843386 HAS SOUPS 841460 WITH SCORE 844048.213
AT ITER 6423 NEW BEST:: SOT 3086917 SOS 2638042 HAS SOPS 2595907 HAS SOUS 833393 HAS SOUPS 831467 WITH SCORE 834105.042
AT ITER 6427 NEW BEST:: SOT 3086917 SOS 2637772 HAS SOPS 2595637 HAS SOUS 832687 HAS SOUPS 830761 WITH SCORE 833398.772
AT ITER 6437 NEW BEST:: SOT 3087531 SOS 2638311 HAS SOPS 2596176 HAS SOUS 832123 HAS SOUPS 830197 WITH SCORE 832835.311
AT ITER 6454 NEW BEST:: SOT 3088089 SOS 2638779 HAS SOPS 2596644 HAS SOUS 830491 HAS SOUPS 828565 WITH SCORE 831203.779
AT ITER 6463 NEW BEST:: SOT 3086094 SOS 2636784 HAS SOPS 2594649 HAS SOUS 830092 HAS SOUPS 828166 WITH SCORE 830802.784
AT ITER 6466 NEW BEST:: SOT 3086092 SOS 2636782 HAS SOPS 2594647 HAS SOUS 830087 HAS SOUPS 828161 WITH SCORE 830797.782
AT ITER 6476 NEW BEST:: SOT 3099506 SOS 2644805 HAS SOPS 2599608 HAS SOUS 828459 HAS SOUPS 826533 WITH SCORE 829177.805
AT ITER 6484 NEW BEST:: SOT 3103486 SOS 2648785 HAS SOPS 2603588 HAS SOUS 826677 HAS SOUPS 824751 WITH SCORE 827399.785
AT ITER 6505 NEW BEST:: SOT 3102684 SOS 2647983 HAS SOPS 2603588 HAS SOUS 826677 HAS SOUPS 824751 WITH SCORE 827398.983
AT ITER 6508 NEW BEST:: SOT 3102684 SOS 2647964 HAS SOPS 2603569 HAS SOUS 826365 HAS SOUPS 824439 WITH SCORE 827086.964
AT ITER 6515 NEW BEST:: SOT 3103764 SOS 2649044 HAS SOPS 2604649 HAS SOUS 825923 HAS SOUPS 823997 WITH SCORE 826646.044
AT ITER 6528 NEW BEST:: SOT 3089913 SOS 2635193 HAS SOPS 2590798 HAS SOUS 825194 HAS SOUPS 823268 WITH SCORE 825903.193
AT ITER 6533 NEW BEST:: SOT 3089913 SOS 2635193 HAS SOPS 2590798 HAS SOUS 824626 HAS SOUPS 822700 WITH SCORE 825335.193
AT ITER 6538 NEW BEST:: SOT 3094515 SOS 2634693 HAS SOPS 2588036 HAS SOUS 821891 HAS SOUPS 819965 WITH SCORE 822599.693
AT ITER 6554 NEW BEST:: SOT 3103666 SOS 2628486 HAS SOPS 2576113 HAS SOUS 810764 HAS SOUPS 808838 WITH SCORE 811466.486
AT ITER 6596 NEW BEST:: SOT 3104305 SOS 2629125 HAS SOPS 2576752 HAS SOUS 810759 HAS SOUPS 808833 WITH SCORE 811462.125
AT ITER 6644 NEW BEST:: SOT 3104305 SOS 2628867 HAS SOPS 2576494 HAS SOUS 810754 HAS SOUPS 808828 WITH SCORE 811456.867
AT ITER 6657 NEW BEST:: SOT 3104305 SOS 2628665 HAS SOPS 2576292 HAS SOUS 810752 HAS SOUPS 808826 WITH SCORE 811454.665
AT ITER 6658 NEW BEST:: SOT 3104305 SOS 2615614 HAS SOPS 2563241 HAS SOUS 810374 HAS SOUPS 808448 WITH SCORE 811063.614
AT ITER 6701 NEW BEST:: SOT 3105241 SOS 2616550 HAS SOPS 2564177 HAS SOUS 810181 HAS SOUPS 808255 WITH SCORE 810871.55
AT ITER 6706 NEW BEST:: SOT 3105305 SOS 2611600 HAS SOPS 2559003 HAS SOUS 808547 HAS SOUPS 806621 WITH SCORE 809232.6
AT ITER 6735 NEW BEST:: SOT 3105523 SOS 2611810 HAS SOPS 2559213 HAS SOUS 808496 HAS SOUPS 806570 WITH SCORE 809181.81
AT ITER 6747 NEW BEST:: SOT 3105473 SOS 2611760 HAS SOPS 2559163 HAS SOUS 808116 HAS SOUPS 806190 WITH SCORE 808801.76
AT ITER 6756 NEW BEST:: SOT 3105303 SOS 2611590 HAS SOPS 2558993 HAS SOUS 807946 HAS SOUPS 806020 WITH SCORE 808631.59
AT ITER 6758 NEW BEST:: SOT 3110616 SOS 2611223 HAS SOPS 2555719 HAS SOUS 805992 HAS SOUPS 804066 WITH SCORE 806677.223
AT ITER 6793 NEW BEST:: SOT 3110608 SOS 2611326 HAS SOPS 2555822 HAS SOUS 803599 HAS SOUPS 801673 WITH SCORE 804284.326
AT ITER 6806 NEW BEST:: SOT 3105323 SOS 2606041 HAS SOPS 2550537 HAS SOUS 801560 HAS SOUPS 799634 WITH SCORE 802240.041
AT ITER 6896 NEW BEST:: SOT 3105200 SOS 2605918 HAS SOPS 2550414 HAS SOUS 801313 HAS SOUPS 799387 WITH SCORE 801992.918
AT ITER 6907 NEW BEST:: SOT 3105080 SOS 2605798 HAS SOPS 2550294 HAS SOUS 801253 HAS SOUPS 799327 WITH SCORE 801932.798
AT ITER 6940 NEW BEST:: SOT 3106329 SOS 2607047 HAS SOPS 2551543 HAS SOUS 800809 HAS SOUPS 798883 WITH SCORE 801490.047
AT ITER 6982 NEW BEST:: SOT 3106333 SOS 2607051 HAS SOPS 2551547 HAS SOUS 800805 HAS SOUPS 798879 WITH SCORE 801486.051
AT ITER 6999 NEW BEST:: SOT 3106333 SOS 2607051 HAS SOPS 2551547 HAS SOUS 799947 HAS SOUPS 798021 WITH SCORE 800628.051
AT ITER 7087 NEW BEST:: SOT 3106155 SOS 2606873 HAS SOPS 2551369 HAS SOUS 799769 HAS SOUPS 797843 WITH SCORE 800449.873
AT ITER 7112 NEW BEST:: SOT 3099562 SOS 2600280 HAS SOPS 2544776 HAS SOUS 799422 HAS SOUPS 797496 WITH SCORE 800096.28
AT ITER 7179 NEW BEST:: SOT 3099476 SOS 2600194 HAS SOPS 2544690 HAS SOUS 799164 HAS SOUPS 797238 WITH SCORE 799838.194
AT ITER 7183 NEW BEST:: SOT 3101050 SOS 2601768 HAS SOPS 2546264 HAS SOUS 799162 HAS SOUPS 797236 WITH SCORE 799837.768
AT ITER 7185 NEW BEST:: SOT 3103004 SOS 2603255 HAS SOPS 2547701 HAS SOUS 799042 HAS SOUPS 797116 WITH SCORE 799719.255
AT ITER 7215 NEW BEST:: SOT 3111326 SOS 2609385 HAS SOPS 2550376 HAS SOUS 798000 HAS SOUPS 796074 WITH SCORE 798683.385
AT ITER 7272 NEW BEST:: SOT 3112584 SOS 2596992 HAS SOPS 2535324 HAS SOUS 797888 HAS SOUPS 795962 WITH SCORE 798558.992
AT ITER 7273 NEW BEST:: SOT 3113449 SOS 2597857 HAS SOPS 2536189 HAS SOUS 797766 HAS SOUPS 795840 WITH SCORE 798437.857
AT ITER 7275 NEW BEST:: SOT 3116239 SOS 2600124 HAS SOPS 2538456 HAS SOUS 797658 HAS SOUPS 795732 WITH SCORE 798332.124
AT ITER 7285 NEW BEST:: SOT 3112817 SOS 2596702 HAS SOPS 2535034 HAS SOUS 796814 HAS SOUPS 794888 WITH SCORE 797484.702
AT ITER 7329 NEW BEST:: SOT 3114030 SOS 2584158 HAS SOPS 2519327 HAS SOUS 795278 HAS SOUPS 793352 WITH SCORE 795936.158
AT ITER 7339 NEW BEST:: SOT 3114030 SOS 2571153 HAS SOPS 2506322 HAS SOUS 793615 HAS SOUPS 791689 WITH SCORE 794260.153
AT ITER 7427 NEW BEST:: SOT 3114027 SOS 2571150 HAS SOPS 2506319 HAS SOUS 793612 HAS SOUPS 791686 WITH SCORE 794257.15
AT ITER 7448 NEW BEST:: SOT 3114027 SOS 2571132 HAS SOPS 2506301 HAS SOUS 793258 HAS SOUPS 791332 WITH SCORE 793903.132
AT ITER 7527 NEW BEST:: SOT 3113533 SOS 2570638 HAS SOPS 2505807 HAS SOUS 793232 HAS SOUPS 791306 WITH SCORE 793876.638
AT ITER 7542 NEW BEST:: SOT 3116962 SOS 2573773 HAS SOPS 2506365 HAS SOUS 793064 HAS SOUPS 791138 WITH SCORE 793711.773
AT ITER 7555 NEW BEST:: SOT 3116725 SOS 2573536 HAS SOPS 2506128 HAS SOUS 793064 HAS SOUPS 791138 WITH SCORE 793711.536
AT ITER 7597 NEW BEST:: SOT 3116628 SOS 2573439 HAS SOPS 2506031 HAS SOUS 792870 HAS SOUPS 790944 WITH SCORE 793517.439
AT ITER 7602 NEW BEST:: SOT 3118099 SOS 2574109 HAS SOPS 2506651 HAS SOUS 791251 HAS SOUPS 789325 WITH SCORE 791899.109
AT ITER 7614 NEW BEST:: SOT 3118099 SOS 2559453 HAS SOPS 2491995 HAS SOUS 791251 HAS SOUPS 789325 WITH SCORE 791884.453
AT ITER 7626 NEW BEST:: SOT 3118718 SOS 2560072 HAS SOPS 2492614 HAS SOUS 790932 HAS SOUPS 789006 WITH SCORE 791566.072
AT ITER 7629 NEW BEST:: SOT 3118787 SOS 2560141 HAS SOPS 2492683 HAS SOUS 790679 HAS SOUPS 788753 WITH SCORE 791313.141
AT ITER 7646 NEW BEST:: SOT 3119708 SOS 2561062 HAS SOPS 2493604 HAS SOUS 790489 HAS SOUPS 788563 WITH SCORE 791124.062
AT ITER 7676 NEW BEST:: SOT 3126734 SOS 2565552 HAS SOPS 2494884 HAS SOUS 790061 HAS SOUPS 788135 WITH SCORE 790700.552
AT ITER 7703 NEW BEST:: SOT 3127288 SOS 2566161 HAS SOPS 2495493 HAS SOUS 789905 HAS SOUPS 787979 WITH SCORE 790545.161
AT ITER 7710 NEW BEST:: SOT 3127254 SOS 2566127 HAS SOPS 2495577 HAS SOUS 789879 HAS SOUPS 787953 WITH SCORE 790519.127
AT ITER 7722 NEW BEST:: SOT 3128304 SOS 2567177 HAS SOPS 2496627 HAS SOUS 789299 HAS SOUPS 787373 WITH SCORE 789940.177
AT ITER 7740 NEW BEST:: SOT 3123820 SOS 2562693 HAS SOPS 2492143 HAS SOUS 789063 HAS SOUPS 787137 WITH SCORE 789699.693
AT ITER 7786 NEW BEST:: SOT 3139385 SOS 2572158 HAS SOPS 2498153 HAS SOUS 788527 HAS SOUPS 786601 WITH SCORE 789173.158
AT ITER 7794 NEW BEST:: SOT 3139385 SOS 2571846 HAS SOPS 2497841 HAS SOUS 788523 HAS SOUPS 786597 WITH SCORE 789168.846
AT ITER 7802 NEW BEST:: SOT 3139385 SOS 2571796 HAS SOPS 2497791 HAS SOUS 788498 HAS SOUPS 786572 WITH SCORE 789143.796
AT ITER 7825 NEW BEST:: SOT 3141629 SOS 2574040 HAS SOPS 2500035 HAS SOUS 788027 HAS SOUPS 786101 WITH SCORE 788675.04
AT ITER 7830 NEW BEST:: SOT 3158550 SOS 2585213 HAS SOPS 2507753 HAS SOUS 787682 HAS SOUPS 785756 WITH SCORE 788341.213
AT ITER 7832 NEW BEST:: SOT 3158724 SOS 2585387 HAS SOPS 2507927 HAS SOUS 787624 HAS SOUPS 785698 WITH SCORE 788283.387
AT ITER 7842 NEW BEST:: SOT 3165326 SOS 2590644 HAS SOPS 2513184 HAS SOUS 785253 HAS SOUPS 783327 WITH SCORE 785917.644
AT ITER 7873 NEW BEST:: SOT 3160473 SOS 2585791 HAS SOPS 2508331 HAS SOUS 785057 HAS SOUPS 783131 WITH SCORE 785716.791
AT ITER 7874 NEW BEST:: SOT 3159192 SOS 2584510 HAS SOPS 2507050 HAS SOUS 784036 HAS SOUPS 782110 WITH SCORE 784694.51
AT ITER 7878 NEW BEST:: SOT 3159311 SOS 2584351 HAS SOPS 2506891 HAS SOUS 783660 HAS SOUPS 781734 WITH SCORE 784318.351
AT ITER 7890 NEW BEST:: SOT 3159311 SOS 2584166 HAS SOPS 2506706 HAS SOUS 783586 HAS SOUPS 781660 WITH SCORE 784244.166
AT ITER 7996 NEW BEST:: SOT 3159311 SOS 2584166 HAS SOPS 2506706 HAS SOUS 783435 HAS SOUPS 781509 WITH SCORE 784093.166
AT ITER 8001 NEW BEST:: SOT 3159311 SOS 2584166 HAS SOPS 2506706 HAS SOUS 783379 HAS SOUPS 781453 WITH SCORE 784037.166
AT ITER 8030 NEW BEST:: SOT 3159399 SOS 2584254 HAS SOPS 2506794 HAS SOUS 783186 HAS SOUPS 781260 WITH SCORE 783844.254
AT ITER 8036 NEW BEST:: SOT 3160590 SOS 2585201 HAS SOPS 2507741 HAS SOUS 782490 HAS SOUPS 780564 WITH SCORE 783149.201
AT ITER 8037 NEW BEST:: SOT 3161215 SOS 2585715 HAS SOPS 2508255 HAS SOUS 782340 HAS SOUPS 780414 WITH SCORE 782999.715
AT ITER 8061 NEW BEST:: SOT 3151844 SOS 2576344 HAS SOPS 2500333 HAS SOUS 782286 HAS SOUPS 780360 WITH SCORE 782936.344
AT ITER 8123 NEW BEST:: SOT 3151844 SOS 2575672 HAS SOPS 2499661 HAS SOUS 781950 HAS SOUPS 780024 WITH SCORE 782599.672
AT ITER 8226 NEW BEST:: SOT 3152609 SOS 2562542 HAS SOPS 2486227 HAS SOUS 780699 HAS SOUPS 778773 WITH SCORE 781335.542
AT ITER 8228 NEW BEST:: SOT 3154402 SOS 2564335 HAS SOPS 2488020 HAS SOUS 780697 HAS SOUPS 778771 WITH SCORE 781335.335
AT ITER 8270 NEW BEST:: SOT 3158334 SOS 2568267 HAS SOPS 2491952 HAS SOUS 780509 HAS SOUPS 778583 WITH SCORE 781151.267
AT ITER 8318 NEW BEST:: SOT 3158331 SOS 2568264 HAS SOPS 2491949 HAS SOUS 780503 HAS SOUPS 778577 WITH SCORE 781145.264
AT ITER 8324 NEW BEST:: SOT 3157790 SOS 2567723 HAS SOPS 2491949 HAS SOUS 779962 HAS SOUPS 778577 WITH SCORE 781144.723
AT ITER 8335 NEW BEST:: SOT 3157268 SOS 2567201 HAS SOPS 2491427 HAS SOUS 779962 HAS SOUPS 778577 WITH SCORE 781144.201
AT ITER 8353 NEW BEST:: SOT 3159410 SOS 2569323 HAS SOPS 2493549 HAS SOUS 779876 HAS SOUPS 778491 WITH SCORE 781060.323
AT ITER 8367 NEW BEST:: SOT 3159410 SOS 2569319 HAS SOPS 2493545 HAS SOUS 779876 HAS SOUPS 778491 WITH SCORE 781060.319
AT ITER 8372 NEW BEST:: SOT 3159410 SOS 2540267 HAS SOPS 2464493 HAS SOUS 779876 HAS SOUPS 778491 WITH SCORE 781031.267
AT ITER 8381 NEW BEST:: SOT 3159410 SOS 2540250 HAS SOPS 2464476 HAS SOUS 779868 HAS SOUPS 778483 WITH SCORE 781023.25
AT ITER 8389 NEW BEST:: SOT 3159410 SOS 2540014 HAS SOPS 2464240 HAS SOUS 779750 HAS SOUPS 778365 WITH SCORE 780905.014
AT ITER 8467 NEW BEST:: SOT 3159410 SOS 2540014 HAS SOPS 2464240 HAS SOUS 779726 HAS SOUPS 778341 WITH SCORE 780881.014
AT ITER 8473 NEW BEST:: SOT 3159410 SOS 2530611 HAS SOPS 2454837 HAS SOUS 774579 HAS SOUPS 773194 WITH SCORE 775724.611
AT ITER 8480 NEW BEST:: SOT 3159305 SOS 2530506 HAS SOPS 2454732 HAS SOUS 774287 HAS SOUPS 772902 WITH SCORE 775432.506
AT ITER 8521 NEW BEST:: SOT 3159305 SOS 2530413 HAS SOPS 2454639 HAS SOUS 774287 HAS SOUPS 772902 WITH SCORE 775432.413
AT ITER 8540 NEW BEST:: SOT 3158399 SOS 2529507 HAS SOPS 2453733 HAS SOUS 773683 HAS SOUPS 772298 WITH SCORE 774827.507
AT ITER 8642 NEW BEST:: SOT 3153837 SOS 2529273 HAS SOPS 2456406 HAS SOUS 773611 HAS SOUPS 772226 WITH SCORE 774755.273
AT ITER 8644 NEW BEST:: SOT 3170170 SOS 2539711 HAS SOPS 2463389 HAS SOUS 773203 HAS SOUPS 771818 WITH SCORE 774357.711
AT ITER 8652 NEW BEST:: SOT 3155601 SOS 2527849 HAS SOPS 2454982 HAS SOUS 772665 HAS SOUPS 771280 WITH SCORE 773807.849
AT ITER 8668 NEW BEST:: SOT 3157401 SOS 2529649 HAS SOPS 2456782 HAS SOUS 772415 HAS SOUPS 771030 WITH SCORE 773559.649
AT ITER 8707 NEW BEST:: SOT 3157401 SOS 2528555 HAS SOPS 2455688 HAS SOUS 772415 HAS SOUPS 771030 WITH SCORE 773558.555
AT ITER 8750 NEW BEST:: SOT 3157385 SOS 2528539 HAS SOPS 2455672 HAS SOUS 772383 HAS SOUPS 770998 WITH SCORE 773526.539
AT ITER 8819 NEW BEST:: SOT 3157002 SOS 2528156 HAS SOPS 2455289 HAS SOUS 772085 HAS SOUPS 770700 WITH SCORE 773228.156
AT ITER 8822 NEW BEST:: SOT 3157506 SOS 2519994 HAS SOPS 2447127 HAS SOUS 771295 HAS SOUPS 769910 WITH SCORE 772429.994
AT ITER 8841 NEW BEST:: SOT 3157506 SOS 2519714 HAS SOPS 2446847 HAS SOUS 771129 HAS SOUPS 769744 WITH SCORE 772263.714
AT ITER 8844 NEW BEST:: SOT 3159090 SOS 2520801 HAS SOPS 2446350 HAS SOUS 770598 HAS SOUPS 769014 WITH SCORE 771534.801
AT ITER 8861 NEW BEST:: SOT 3159090 SOS 2520697 HAS SOPS 2446246 HAS SOUS 770598 HAS SOUPS 769014 WITH SCORE 771534.697
AT ITER 8963 NEW BEST:: SOT 3159603 SOS 2521210 HAS SOPS 2446759 HAS SOUS 770405 HAS SOUPS 768821 WITH SCORE 771342.21
AT ITER 8993 NEW BEST:: SOT 3158820 SOS 2520427 HAS SOPS 2445976 HAS SOUS 770026 HAS SOUPS 768442 WITH SCORE 770962.427
AT ITER 9007 NEW BEST:: SOT 3158820 SOS 2519036 HAS SOPS 2444585 HAS SOUS 769519 HAS SOUPS 767935 WITH SCORE 770454.036
AT ITER 9093 NEW BEST:: SOT 3158820 SOS 2519036 HAS SOPS 2444585 HAS SOUS 769466 HAS SOUPS 767882 WITH SCORE 770401.036
AT ITER 9096 NEW BEST:: SOT 3159251 SOS 2519217 HAS SOPS 2444766 HAS SOUS 768043 HAS SOUPS 766459 WITH SCORE 768978.217
AT ITER 9097 NEW BEST:: SOT 3160455 SOS 2520421 HAS SOPS 2445970 HAS SOUS 767211 HAS SOUPS 765627 WITH SCORE 768147.421
AT ITER 9118 NEW BEST:: SOT 3159985 SOS 2519951 HAS SOPS 2445500 HAS SOUS 766506 HAS SOUPS 764922 WITH SCORE 767441.951
AT ITER 9126 NEW BEST:: SOT 3157919 SOS 2520071 HAS SOPS 2445713 HAS SOUS 765990 HAS SOUPS 764406 WITH SCORE 766926.071
AT ITER 9131 NEW BEST:: SOT 3164662 SOS 2522610 HAS SOPS 2444985 HAS SOUS 763798 HAS SOUPS 762214 WITH SCORE 764736.61
AT ITER 9141 NEW BEST:: SOT 3165515 SOS 2523022 HAS SOPS 2444664 HAS SOUS 763477 HAS SOUPS 761893 WITH SCORE 764416.022
AT ITER 9142 NEW BEST:: SOT 3165515 SOS 2520405 HAS SOPS 2442047 HAS SOUS 762904 HAS SOUPS 761320 WITH SCORE 763840.405
AT ITER 9190 NEW BEST:: SOT 3165515 SOS 2520197 HAS SOPS 2441839 HAS SOUS 762696 HAS SOUPS 761112 WITH SCORE 763632.197
AT ITER 9222 NEW BEST:: SOT 3165203 SOS 2519885 HAS SOPS 2441527 HAS SOUS 762644 HAS SOUPS 761060 WITH SCORE 763579.885
AT ITER 9236 NEW BEST:: SOT 3166756 SOS 2521124 HAS SOPS 2442766 HAS SOUS 762528 HAS SOUPS 760944 WITH SCORE 763465.124
AT ITER 9289 NEW BEST:: SOT 3167595 SOS 2521833 HAS SOPS 2442636 HAS SOUS 762398 HAS SOUPS 760814 WITH SCORE 763335.833
AT ITER 9355 NEW BEST:: SOT 3165440 SOS 2519678 HAS SOPS 2440481 HAS SOUS 761967 HAS SOUPS 760383 WITH SCORE 762902.678
AT ITER 9359 NEW BEST:: SOT 3165440 SOS 2519678 HAS SOPS 2440481 HAS SOUS 761918 HAS SOUPS 760334 WITH SCORE 762853.678
AT ITER 9421 NEW BEST:: SOT 3165440 SOS 2518956 HAS SOPS 2439759 HAS SOUS 761495 HAS SOUPS 759911 WITH SCORE 762429.956
AT ITER 9430 NEW BEST:: SOT 3160278 SOS 2513794 HAS SOPS 2435639 HAS SOUS 761495 HAS SOUPS 759911 WITH SCORE 762424.794
AT ITER 9450 NEW BEST:: SOT 3160076 SOS 2513592 HAS SOPS 2435437 HAS SOUS 761415 HAS SOUPS 759831 WITH SCORE 762344.592
AT ITER 9488 NEW BEST:: SOT 3160076 SOS 2512289 HAS SOPS 2434134 HAS SOUS 761084 HAS SOUPS 759500 WITH SCORE 762012.289
AT ITER 9499 NEW BEST:: SOT 3161318 SOS 2513531 HAS SOPS 2435376 HAS SOUS 760560 HAS SOUPS 758976 WITH SCORE 761489.531
AT ITER 9520 NEW BEST:: SOT 3161277 SOS 2513490 HAS SOPS 2435335 HAS SOUS 760233 HAS SOUPS 758649 WITH SCORE 761162.49
AT ITER 9537 NEW BEST:: SOT 3155561 SOS 2507774 HAS SOPS 2433097 HAS SOUS 759372 HAS SOUPS 757788 WITH SCORE 760295.774
AT ITER 9544 NEW BEST:: SOT 3155561 SOS 2507598 HAS SOPS 2432921 HAS SOUS 759020 HAS SOUPS 757436 WITH SCORE 759943.598
AT ITER 9600 NEW BEST:: SOT 3154669 SOS 2506706 HAS SOPS 2432029 HAS SOUS 758574 HAS SOUPS 756990 WITH SCORE 759496.706
AT ITER 9625 NEW BEST:: SOT 3154669 SOS 2506466 HAS SOPS 2431789 HAS SOUS 758408 HAS SOUPS 756824 WITH SCORE 759330.466
AT ITER 9630 NEW BEST:: SOT 3154247 SOS 2506044 HAS SOPS 2431367 HAS SOUS 758197 HAS SOUPS 756613 WITH SCORE 759119.044
AT ITER 9632 NEW BEST:: SOT 3154247 SOS 2505949 HAS SOPS 2431272 HAS SOUS 758197 HAS SOUPS 756613 WITH SCORE 759118.949
AT ITER 9644 NEW BEST:: SOT 3156392 SOS 2508070 HAS SOPS 2433393 HAS SOUS 758032 HAS SOUPS 756448 WITH SCORE 758956.07
AT ITER 9645 NEW BEST:: SOT 3156633 SOS 2508356 HAS SOPS 2433679 HAS SOUS 757899 HAS SOUPS 756315 WITH SCORE 758823.356
AT ITER 9649 NEW BEST:: SOT 3157251 SOS 2508604 HAS SOPS 2433927 HAS SOUS 757253 HAS SOUPS 755669 WITH SCORE 758177.604
AT ITER 9672 NEW BEST:: SOT 3157251 SOS 2508604 HAS SOPS 2433927 HAS SOUS 757021 HAS SOUPS 755437 WITH SCORE 757945.604
AT ITER 9675 NEW BEST:: SOT 3141997 SOS 2493350 HAS SOPS 2420219 HAS SOUS 755712 HAS SOUPS 754128 WITH SCORE 756621.35
AT ITER 9721 NEW BEST:: SOT 3141997 SOS 2493396 HAS SOPS 2420265 HAS SOUS 755531 HAS SOUPS 753947 WITH SCORE 756440.396
AT ITER 9756 NEW BEST:: SOT 3141997 SOS 2493250 HAS SOPS 2420119 HAS SOUS 755530 HAS SOUPS 753946 WITH SCORE 756439.25
AT ITER 9812 NEW BEST:: SOT 3143214 SOS 2494467 HAS SOPS 2421336 HAS SOUS 755341 HAS SOUPS 753757 WITH SCORE 756251.467
AT ITER 9842 NEW BEST:: SOT 3143163 SOS 2494416 HAS SOPS 2421285 HAS SOUS 755239 HAS SOUPS 753655 WITH SCORE 756149.416
AT ITER 9844 NEW BEST:: SOT 3143132 SOS 2494385 HAS SOPS 2421283 HAS SOUS 755233 HAS SOUPS 753649 WITH SCORE 756143.385
AT ITER 9866 NEW BEST:: SOT 3142511 SOS 2493764 HAS SOPS 2420662 HAS SOUS 755026 HAS SOUPS 753442 WITH SCORE 755935.764
AT ITER 9875 NEW BEST:: SOT 3149676 SOS 2500929 HAS SOPS 2427827 HAS SOUS 753683 HAS SOUPS 752099 WITH SCORE 754599.929
AT ITER 9901 NEW BEST:: SOT 3155319 SOS 2505134 HAS SOPS 2431982 HAS SOUS 753413 HAS SOUPS 751829 WITH SCORE 754334.134
AT ITER 9932 NEW BEST:: SOT 3157728 SOS 2507543 HAS SOPS 2433416 HAS SOUS 753037 HAS SOUPS 751453 WITH SCORE 753960.543
AT ITER 9938 NEW BEST:: SOT 3161033 SOS 2510848 HAS SOPS 2436721 HAS SOUS 751861 HAS SOUPS 750277 WITH SCORE 752787.848
AT ITER 9948 NEW BEST:: SOT 3159369 SOS 2509184 HAS SOPS 2435057 HAS SOUS 751861 HAS SOUPS 750277 WITH SCORE 752786.184
AT ITER 9950 NEW BEST:: SOT 3158041 SOS 2507856 HAS SOPS 2433729 HAS SOUS 750533 HAS SOUPS 748949 WITH SCORE 751456.856
AT ITER 9955 NEW BEST:: SOT 3158041 SOS 2507774 HAS SOPS 2433647 HAS SOUS 750492 HAS SOUPS 748908 WITH SCORE 751415.774
AT ITER 9961 NEW BEST:: SOT 3159866 SOS 2509348 HAS SOPS 2435221 HAS SOUS 750455 HAS SOUPS 748871 WITH SCORE 751380.348
AT ITER 9969 NEW BEST:: SOT 3159261 SOS 2508743 HAS SOPS 2434616 HAS SOUS 750171 HAS SOUPS 748587 WITH SCORE 751095.743
AT ITER 9973 NEW BEST:: SOT 3159784 SOS 2509266 HAS SOPS 2435139 HAS SOUS 749772 HAS SOUPS 748188 WITH SCORE 750697.266
AT ITER 9981 NEW BEST:: SOT 3158834 SOS 2508316 HAS SOPS 2434189 HAS SOUS 749772 HAS SOUPS 748188 WITH SCORE 750696.316
AT ITER 9983 NEW BEST:: SOT 3158323 SOS 2507805 HAS SOPS 2433678 HAS SOUS 749214 HAS SOUPS 747630 WITH SCORE 750137.805
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10434936 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16117360 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="DBSingleClientW-PT-d2m05"
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 DBSingleClientW-PT-d2m05, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484000304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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