Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r203-smll-167840349000064.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is GPUForwardProgress-PT-16b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349000064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 6.5K Feb 25 14:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 14:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 25 14:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 25 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 84K 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 1678525148068

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=GPUForwardProgress-PT-16b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 08:59:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 08:59:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 08:59:11] [INFO ] Load time of PNML (sax parser for PT used): 151 ms
[2023-03-11 08:59:11] [INFO ] Transformed 340 places.
[2023-03-11 08:59:11] [INFO ] Transformed 357 transitions.
[2023-03-11 08:59:11] [INFO ] Found NUPN structural information;
[2023-03-11 08:59:11] [INFO ] Parsed PT model containing 340 places and 357 transitions and 877 arcs in 324 ms.
[2023-03-11 08:59:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 340 places, 357 transitions and 877 arcs took 14 ms.
Total runtime 403 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 16b
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: 340 places, 357 transitions, 877 arcs.
AT ITER 0 NEW BEST:: SOT 68316 SOS 19711 HAS SOPS 19711 HAS SOUS 18000 HAS SOUPS 18000 WITH SCORE 18019.711
AT ITER 79 NEW BEST:: SOT 68188 SOS 19638 HAS SOPS 19638 HAS SOUS 17933 HAS SOUPS 17933 WITH SCORE 17952.638
AT ITER 80 NEW BEST:: SOT 68130 SOS 19582 HAS SOPS 19582 HAS SOUS 17875 HAS SOUPS 17875 WITH SCORE 17894.582
AT ITER 82 NEW BEST:: SOT 68109 SOS 19541 HAS SOPS 19541 HAS SOUS 17853 HAS SOUPS 17853 WITH SCORE 17872.541
AT ITER 88 NEW BEST:: SOT 68094 SOS 19425 HAS SOPS 19425 HAS SOUS 17850 HAS SOUPS 17850 WITH SCORE 17869.425
AT ITER 93 NEW BEST:: SOT 68094 SOS 19359 HAS SOPS 19359 HAS SOUS 17850 HAS SOUPS 17850 WITH SCORE 17869.359
AT ITER 94 NEW BEST:: SOT 68111 SOS 19349 HAS SOPS 19349 HAS SOUS 17848 HAS SOUPS 17848 WITH SCORE 17867.349
AT ITER 99 NEW BEST:: SOT 68093 SOS 19278 HAS SOPS 19278 HAS SOUS 17777 HAS SOUPS 17777 WITH SCORE 17796.278
AT ITER 108 NEW BEST:: SOT 68074 SOS 19195 HAS SOPS 19195 HAS SOUS 17713 HAS SOUPS 17713 WITH SCORE 17732.195
AT ITER 145 NEW BEST:: SOT 68074 SOS 19195 HAS SOPS 19195 HAS SOUS 17712 HAS SOUPS 17712 WITH SCORE 17731.195
AT ITER 153 NEW BEST:: SOT 68021 SOS 19138 HAS SOPS 19138 HAS SOUS 17659 HAS SOUPS 17659 WITH SCORE 17678.138
AT ITER 154 NEW BEST:: SOT 68021 SOS 19138 HAS SOPS 19138 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17677.138
AT ITER 164 NEW BEST:: SOT 68000 SOS 19122 HAS SOPS 19122 HAS SOUS 17642 HAS SOUPS 17642 WITH SCORE 17661.122
AT ITER 172 NEW BEST:: SOT 68000 SOS 19100 HAS SOPS 19100 HAS SOUS 17642 HAS SOUPS 17642 WITH SCORE 17661.1
AT ITER 174 NEW BEST:: SOT 68000 SOS 19100 HAS SOPS 19100 HAS SOUS 17640 HAS SOUPS 17640 WITH SCORE 17659.1
AT ITER 180 NEW BEST:: SOT 68051 SOS 19050 HAS SOPS 19050 HAS SOUS 17640 HAS SOUPS 17640 WITH SCORE 17659.05
AT ITER 200 NEW BEST:: SOT 68037 SOS 19043 HAS SOPS 19043 HAS SOUS 17633 HAS SOUPS 17633 WITH SCORE 17652.043
AT ITER 202 NEW BEST:: SOT 68022 SOS 18983 HAS SOPS 18983 HAS SOUS 17603 HAS SOUPS 17603 WITH SCORE 17621.983
AT ITER 213 NEW BEST:: SOT 68022 SOS 18983 HAS SOPS 18983 HAS SOUS 17602 HAS SOUPS 17602 WITH SCORE 17620.983
AT ITER 251 NEW BEST:: SOT 68022 SOS 18966 HAS SOPS 18966 HAS SOUS 17585 HAS SOUPS 17585 WITH SCORE 17603.966
AT ITER 258 NEW BEST:: SOT 68053 SOS 18963 HAS SOPS 18963 HAS SOUS 17582 HAS SOUPS 17582 WITH SCORE 17600.963
AT ITER 263 NEW BEST:: SOT 68051 SOS 18961 HAS SOPS 18961 HAS SOUS 17582 HAS SOUPS 17582 WITH SCORE 17600.961
AT ITER 265 NEW BEST:: SOT 68051 SOS 18961 HAS SOPS 18961 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17598.961
AT ITER 266 NEW BEST:: SOT 68026 SOS 18941 HAS SOPS 18941 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17578.941
AT ITER 274 NEW BEST:: SOT 68026 SOS 18941 HAS SOPS 18941 HAS SOUS 17559 HAS SOUPS 17559 WITH SCORE 17577.941
AT ITER 275 NEW BEST:: SOT 68033 SOS 18911 HAS SOPS 18911 HAS SOUS 17540 HAS SOUPS 17540 WITH SCORE 17558.911
AT ITER 303 NEW BEST:: SOT 68033 SOS 18903 HAS SOPS 18903 HAS SOUS 17532 HAS SOUPS 17532 WITH SCORE 17550.903
AT ITER 313 NEW BEST:: SOT 68048 SOS 18933 HAS SOPS 18933 HAS SOUS 17482 HAS SOUPS 17482 WITH SCORE 17500.933
AT ITER 314 NEW BEST:: SOT 68041 SOS 18926 HAS SOPS 18926 HAS SOUS 17475 HAS SOUPS 17475 WITH SCORE 17493.926
AT ITER 319 NEW BEST:: SOT 68041 SOS 18893 HAS SOPS 18893 HAS SOUS 17442 HAS SOUPS 17442 WITH SCORE 17460.893
AT ITER 332 NEW BEST:: SOT 68041 SOS 18851 HAS SOPS 18851 HAS SOUS 17400 HAS SOUPS 17400 WITH SCORE 17418.851
AT ITER 376 NEW BEST:: SOT 68041 SOS 18831 HAS SOPS 18831 HAS SOUS 17400 HAS SOUPS 17400 WITH SCORE 17418.831
AT ITER 377 NEW BEST:: SOT 68031 SOS 18811 HAS SOPS 18811 HAS SOUS 17390 HAS SOUPS 17390 WITH SCORE 17408.811
AT ITER 378 NEW BEST:: SOT 68031 SOS 18790 HAS SOPS 18790 HAS SOUS 17369 HAS SOUPS 17369 WITH SCORE 17387.79
AT ITER 380 NEW BEST:: SOT 68005 SOS 18738 HAS SOPS 18738 HAS SOUS 17257 HAS SOUPS 17257 WITH SCORE 17275.738
AT ITER 386 NEW BEST:: SOT 68005 SOS 18716 HAS SOPS 18716 HAS SOUS 17235 HAS SOUPS 17235 WITH SCORE 17253.716
AT ITER 387 NEW BEST:: SOT 68019 SOS 18696 HAS SOPS 18696 HAS SOUS 17227 HAS SOUPS 17227 WITH SCORE 17245.696
AT ITER 404 NEW BEST:: SOT 68016 SOS 18673 HAS SOPS 18673 HAS SOUS 17190 HAS SOUPS 17190 WITH SCORE 17208.673
AT ITER 432 NEW BEST:: SOT 67998 SOS 18619 HAS SOPS 18619 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17172.619
AT ITER 439 NEW BEST:: SOT 67998 SOS 18617 HAS SOPS 18617 HAS SOUS 17153 HAS SOUPS 17153 WITH SCORE 17171.617
AT ITER 452 NEW BEST:: SOT 67953 SOS 18565 HAS SOPS 18565 HAS SOUS 17108 HAS SOUPS 17108 WITH SCORE 17126.565
AT ITER 461 NEW BEST:: SOT 67931 SOS 18526 HAS SOPS 18526 HAS SOUS 17086 HAS SOUPS 17086 WITH SCORE 17104.526
AT ITER 474 NEW BEST:: SOT 67926 SOS 18516 HAS SOPS 18516 HAS SOUS 17085 HAS SOUPS 17085 WITH SCORE 17103.516
AT ITER 477 NEW BEST:: SOT 67924 SOS 18514 HAS SOPS 18514 HAS SOUS 17085 HAS SOUPS 17085 WITH SCORE 17103.514
AT ITER 494 NEW BEST:: SOT 67924 SOS 18480 HAS SOPS 18480 HAS SOUS 17084 HAS SOUPS 17084 WITH SCORE 17102.48
AT ITER 510 NEW BEST:: SOT 67889 SOS 18410 HAS SOPS 18410 HAS SOUS 17014 HAS SOUPS 17014 WITH SCORE 17032.41
AT ITER 513 NEW BEST:: SOT 67885 SOS 18402 HAS SOPS 18402 HAS SOUS 17006 HAS SOUPS 17006 WITH SCORE 17024.402
AT ITER 517 NEW BEST:: SOT 67884 SOS 18400 HAS SOPS 18400 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17023.4
AT ITER 518 NEW BEST:: SOT 67884 SOS 18387 HAS SOPS 18387 HAS SOUS 16987 HAS SOUPS 16987 WITH SCORE 17005.387
AT ITER 521 NEW BEST:: SOT 67917 SOS 18385 HAS SOPS 18385 HAS SOUS 16985 HAS SOUPS 16985 WITH SCORE 17003.385
AT ITER 543 NEW BEST:: SOT 67908 SOS 18367 HAS SOPS 18367 HAS SOUS 16962 HAS SOUPS 16962 WITH SCORE 16980.367
AT ITER 549 NEW BEST:: SOT 67947 SOS 18319 HAS SOPS 18319 HAS SOUS 16944 HAS SOUPS 16944 WITH SCORE 16962.319
AT ITER 554 NEW BEST:: SOT 67947 SOS 18319 HAS SOPS 18319 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16945.319
AT ITER 559 NEW BEST:: SOT 67944 SOS 18313 HAS SOPS 18313 HAS SOUS 16921 HAS SOUPS 16921 WITH SCORE 16939.313
AT ITER 573 NEW BEST:: SOT 67942 SOS 18295 HAS SOPS 18295 HAS SOUS 16905 HAS SOUPS 16905 WITH SCORE 16923.295
AT ITER 608 NEW BEST:: SOT 67890 SOS 18139 HAS SOPS 18139 HAS SOUS 16801 HAS SOUPS 16801 WITH SCORE 16819.139
AT ITER 646 NEW BEST:: SOT 67890 SOS 18137 HAS SOPS 18137 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16817.137
AT ITER 654 NEW BEST:: SOT 67890 SOS 18098 HAS SOPS 18098 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16817.098
AT ITER 685 NEW BEST:: SOT 67885 SOS 18088 HAS SOPS 18088 HAS SOUS 16789 HAS SOUPS 16789 WITH SCORE 16807.088
AT ITER 697 NEW BEST:: SOT 67865 SOS 18080 HAS SOPS 18080 HAS SOUS 16776 HAS SOUPS 16776 WITH SCORE 16794.08
AT ITER 700 NEW BEST:: SOT 67862 SOS 18074 HAS SOPS 18074 HAS SOUS 16773 HAS SOUPS 16773 WITH SCORE 16791.074
AT ITER 720 NEW BEST:: SOT 67861 SOS 18053 HAS SOPS 18053 HAS SOUS 16765 HAS SOUPS 16765 WITH SCORE 16783.053
AT ITER 722 NEW BEST:: SOT 67897 SOS 17964 HAS SOPS 17964 HAS SOUS 16676 HAS SOUPS 16676 WITH SCORE 16693.964
AT ITER 785 NEW BEST:: SOT 67852 SOS 17919 HAS SOPS 17919 HAS SOUS 16676 HAS SOUPS 16676 WITH SCORE 16693.919
AT ITER 795 NEW BEST:: SOT 67850 SOS 17849 HAS SOPS 17849 HAS SOUS 16634 HAS SOUPS 16634 WITH SCORE 16651.849
AT ITER 797 NEW BEST:: SOT 67850 SOS 17848 HAS SOPS 17848 HAS SOUS 16616 HAS SOUPS 16616 WITH SCORE 16633.848
AT ITER 876 NEW BEST:: SOT 67764 SOS 17810 HAS SOPS 17810 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16609.81
AT ITER 881 NEW BEST:: SOT 67754 SOS 17790 HAS SOPS 17790 HAS SOUS 16572 HAS SOUPS 16572 WITH SCORE 16589.79
AT ITER 888 NEW BEST:: SOT 67754 SOS 17746 HAS SOPS 17746 HAS SOUS 16572 HAS SOUPS 16572 WITH SCORE 16589.746
AT ITER 894 NEW BEST:: SOT 67764 SOS 17724 HAS SOPS 17724 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16576.724
AT ITER 900 NEW BEST:: SOT 67764 SOS 17711 HAS SOPS 17711 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16576.711
AT ITER 910 NEW BEST:: SOT 67752 SOS 17687 HAS SOPS 17687 HAS SOUS 16535 HAS SOUPS 16535 WITH SCORE 16552.687
AT ITER 916 NEW BEST:: SOT 67741 SOS 17665 HAS SOPS 17665 HAS SOUS 16513 HAS SOUPS 16513 WITH SCORE 16530.665
AT ITER 946 NEW BEST:: SOT 67747 SOS 17659 HAS SOPS 17659 HAS SOUS 16512 HAS SOUPS 16512 WITH SCORE 16529.659
AT ITER 953 NEW BEST:: SOT 67747 SOS 17628 HAS SOPS 17628 HAS SOUS 16481 HAS SOUPS 16481 WITH SCORE 16498.628
AT ITER 955 NEW BEST:: SOT 67702 SOS 17591 HAS SOPS 17591 HAS SOUS 16462 HAS SOUPS 16462 WITH SCORE 16479.591
AT ITER 964 NEW BEST:: SOT 67696 SOS 17591 HAS SOPS 17591 HAS SOUS 16461 HAS SOUPS 16461 WITH SCORE 16478.591
AT ITER 980 NEW BEST:: SOT 67663 SOS 17525 HAS SOPS 17525 HAS SOUS 16432 HAS SOUPS 16432 WITH SCORE 16449.525
AT ITER 986 NEW BEST:: SOT 67687 SOS 17573 HAS SOPS 17573 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16439.573
AT ITER 993 NEW BEST:: SOT 67677 SOS 17563 HAS SOPS 17563 HAS SOUS 16412 HAS SOUPS 16412 WITH SCORE 16429.563
AT ITER 1018 NEW BEST:: SOT 67697 SOS 17586 HAS SOPS 17586 HAS SOUS 16382 HAS SOUPS 16382 WITH SCORE 16399.586
AT ITER 1019 NEW BEST:: SOT 67695 SOS 17582 HAS SOPS 17582 HAS SOUS 16378 HAS SOUPS 16378 WITH SCORE 16395.582
AT ITER 1030 NEW BEST:: SOT 67695 SOS 17582 HAS SOPS 17582 HAS SOUS 16377 HAS SOUPS 16377 WITH SCORE 16394.582
AT ITER 1034 NEW BEST:: SOT 67695 SOS 17582 HAS SOPS 17582 HAS SOUS 16376 HAS SOUPS 16376 WITH SCORE 16393.582
AT ITER 1037 NEW BEST:: SOT 67674 SOS 17540 HAS SOPS 17540 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16351.54
AT ITER 1040 NEW BEST:: SOT 67411 SOS 17293 HAS SOPS 17293 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16103.293
AT ITER 1042 NEW BEST:: SOT 67391 SOS 17253 HAS SOPS 17253 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16063.253
AT ITER 1069 NEW BEST:: SOT 67395 SOS 17241 HAS SOPS 17241 HAS SOUS 16030 HAS SOUPS 16030 WITH SCORE 16047.241
AT ITER 1079 NEW BEST:: SOT 67444 SOS 17153 HAS SOPS 17153 HAS SOUS 15998 HAS SOUPS 15998 WITH SCORE 16015.153
AT ITER 1085 NEW BEST:: SOT 67419 SOS 17104 HAS SOPS 17104 HAS SOUS 15962 HAS SOUPS 15962 WITH SCORE 15979.104
AT ITER 1090 NEW BEST:: SOT 67397 SOS 17081 HAS SOPS 17081 HAS SOUS 15940 HAS SOUPS 15940 WITH SCORE 15957.081
AT ITER 1096 NEW BEST:: SOT 67163 SOS 16863 HAS SOPS 16863 HAS SOUS 15722 HAS SOUPS 15722 WITH SCORE 15738.863
AT ITER 1126 NEW BEST:: SOT 67160 SOS 16857 HAS SOPS 16857 HAS SOUS 15716 HAS SOUPS 15716 WITH SCORE 15732.857
AT ITER 1129 NEW BEST:: SOT 67087 SOS 16775 HAS SOPS 16775 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15650.775
AT ITER 1130 NEW BEST:: SOT 67076 SOS 16707 HAS SOPS 16707 HAS SOUS 15626 HAS SOUPS 15626 WITH SCORE 15642.707
AT ITER 1141 NEW BEST:: SOT 67063 SOS 16710 HAS SOPS 16710 HAS SOUS 15601 HAS SOUPS 15601 WITH SCORE 15617.71
AT ITER 1144 NEW BEST:: SOT 67066 SOS 16698 HAS SOPS 16698 HAS SOUS 15589 HAS SOUPS 15589 WITH SCORE 15605.698
AT ITER 1152 NEW BEST:: SOT 67066 SOS 16698 HAS SOPS 16698 HAS SOUS 15588 HAS SOUPS 15588 WITH SCORE 15604.698
AT ITER 1157 NEW BEST:: SOT 66914 SOS 16563 HAS SOPS 16563 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15458.563
AT ITER 1159 NEW BEST:: SOT 66899 SOS 16533 HAS SOPS 16533 HAS SOUS 15412 HAS SOUPS 15412 WITH SCORE 15428.533
AT ITER 1174 NEW BEST:: SOT 66891 SOS 16517 HAS SOPS 16517 HAS SOUS 15396 HAS SOUPS 15396 WITH SCORE 15412.517
AT ITER 1184 NEW BEST:: SOT 66889 SOS 16513 HAS SOPS 16513 HAS SOUS 15388 HAS SOUPS 15388 WITH SCORE 15404.513
AT ITER 1210 NEW BEST:: SOT 66913 SOS 16491 HAS SOPS 16491 HAS SOUS 15386 HAS SOUPS 15386 WITH SCORE 15402.491
AT ITER 1225 NEW BEST:: SOT 66893 SOS 16130 HAS SOPS 16130 HAS SOUS 15341 HAS SOUPS 15341 WITH SCORE 15357.13
AT ITER 1248 NEW BEST:: SOT 66889 SOS 16122 HAS SOPS 16122 HAS SOUS 15308 HAS SOUPS 15308 WITH SCORE 15324.122
AT ITER 1255 NEW BEST:: SOT 66885 SOS 16114 HAS SOPS 16114 HAS SOUS 15300 HAS SOUPS 15300 WITH SCORE 15316.114
AT ITER 1267 NEW BEST:: SOT 66885 SOS 16098 HAS SOPS 16098 HAS SOUS 15284 HAS SOUPS 15284 WITH SCORE 15300.098
AT ITER 1289 NEW BEST:: SOT 66840 SOS 16053 HAS SOPS 16053 HAS SOUS 15239 HAS SOUPS 15239 WITH SCORE 15255.053
AT ITER 1296 NEW BEST:: SOT 66782 SOS 15937 HAS SOPS 15937 HAS SOUS 15181 HAS SOUPS 15181 WITH SCORE 15196.937
AT ITER 1303 NEW BEST:: SOT 66749 SOS 15871 HAS SOPS 15871 HAS SOUS 15115 HAS SOUPS 15115 WITH SCORE 15130.871
AT ITER 1315 NEW BEST:: SOT 66708 SOS 15826 HAS SOPS 15826 HAS SOUS 15070 HAS SOUPS 15070 WITH SCORE 15085.826
AT ITER 1338 NEW BEST:: SOT 66708 SOS 15821 HAS SOPS 15821 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15080.821
AT ITER 1343 NEW BEST:: SOT 66692 SOS 15789 HAS SOPS 15789 HAS SOUS 15033 HAS SOUPS 15033 WITH SCORE 15048.789
AT ITER 1344 NEW BEST:: SOT 66682 SOS 15779 HAS SOPS 15779 HAS SOUS 15027 HAS SOUPS 15027 WITH SCORE 15042.779
AT ITER 1345 NEW BEST:: SOT 66698 SOS 15757 HAS SOPS 15757 HAS SOUS 15010 HAS SOUPS 15010 WITH SCORE 15025.757
AT ITER 1357 NEW BEST:: SOT 66716 SOS 15703 HAS SOPS 15703 HAS SOUS 14987 HAS SOUPS 14987 WITH SCORE 15002.703
AT ITER 1373 NEW BEST:: SOT 66703 SOS 15677 HAS SOPS 15677 HAS SOUS 14955 HAS SOUPS 14955 WITH SCORE 14970.677
AT ITER 1394 NEW BEST:: SOT 66702 SOS 15675 HAS SOPS 15675 HAS SOUS 14953 HAS SOUPS 14953 WITH SCORE 14968.675
AT ITER 1400 NEW BEST:: SOT 66701 SOS 15673 HAS SOPS 15673 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14966.673
AT ITER 1409 NEW BEST:: SOT 66698 SOS 15670 HAS SOPS 15670 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14966.67
AT ITER 1420 NEW BEST:: SOT 66698 SOS 15606 HAS SOPS 15606 HAS SOUS 14919 HAS SOUPS 14919 WITH SCORE 14934.606
AT ITER 1433 NEW BEST:: SOT 66698 SOS 15514 HAS SOPS 15514 HAS SOUS 14908 HAS SOUPS 14908 WITH SCORE 14923.514
AT ITER 1452 NEW BEST:: SOT 66677 SOS 15493 HAS SOPS 15493 HAS SOUS 14887 HAS SOUPS 14887 WITH SCORE 14902.493
AT ITER 1461 NEW BEST:: SOT 66670 SOS 15479 HAS SOPS 15479 HAS SOUS 14883 HAS SOUPS 14883 WITH SCORE 14898.479
AT ITER 1499 NEW BEST:: SOT 66654 SOS 15463 HAS SOPS 15463 HAS SOUS 14879 HAS SOUPS 14879 WITH SCORE 14894.463
AT ITER 1501 NEW BEST:: SOT 66639 SOS 15433 HAS SOPS 15433 HAS SOUS 14859 HAS SOUPS 14859 WITH SCORE 14874.433
AT ITER 1511 NEW BEST:: SOT 66639 SOS 15431 HAS SOPS 15431 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14872.431
AT ITER 1550 NEW BEST:: SOT 66639 SOS 15431 HAS SOPS 15431 HAS SOUS 14849 HAS SOUPS 14849 WITH SCORE 14864.431
AT ITER 1552 NEW BEST:: SOT 66639 SOS 15410 HAS SOPS 15410 HAS SOUS 14837 HAS SOUPS 14837 WITH SCORE 14852.41
AT ITER 1567 NEW BEST:: SOT 66639 SOS 15408 HAS SOPS 15408 HAS SOUS 14836 HAS SOUPS 14836 WITH SCORE 14851.408
AT ITER 1602 NEW BEST:: SOT 66597 SOS 15370 HAS SOPS 15370 HAS SOUS 14804 HAS SOUPS 14804 WITH SCORE 14819.37
AT ITER 1615 NEW BEST:: SOT 66591 SOS 15314 HAS SOPS 15314 HAS SOUS 14790 HAS SOUPS 14790 WITH SCORE 14805.314
AT ITER 1624 NEW BEST:: SOT 66565 SOS 15281 HAS SOPS 15281 HAS SOUS 14764 HAS SOUPS 14764 WITH SCORE 14779.281
AT ITER 1662 NEW BEST:: SOT 66581 SOS 15257 HAS SOPS 15257 HAS SOUS 14740 HAS SOUPS 14740 WITH SCORE 14755.257
AT ITER 1683 NEW BEST:: SOT 66567 SOS 15255 HAS SOPS 15255 HAS SOUS 14736 HAS SOUPS 14736 WITH SCORE 14751.255
AT ITER 1697 NEW BEST:: SOT 66595 SOS 15171 HAS SOPS 15171 HAS SOUS 14704 HAS SOUPS 14704 WITH SCORE 14719.171
AT ITER 1702 NEW BEST:: SOT 66593 SOS 15167 HAS SOPS 15167 HAS SOUS 14700 HAS SOUPS 14700 WITH SCORE 14715.167
AT ITER 1706 NEW BEST:: SOT 66584 SOS 15149 HAS SOPS 15149 HAS SOUS 14690 HAS SOUPS 14690 WITH SCORE 14705.149
AT ITER 1716 NEW BEST:: SOT 66563 SOS 15107 HAS SOPS 15107 HAS SOUS 14655 HAS SOUPS 14655 WITH SCORE 14670.107
AT ITER 1717 NEW BEST:: SOT 66557 SOS 15095 HAS SOPS 15095 HAS SOUS 14641 HAS SOUPS 14641 WITH SCORE 14656.095
AT ITER 1761 NEW BEST:: SOT 66516 SOS 15049 HAS SOPS 15049 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14611.049
AT ITER 1775 NEW BEST:: SOT 66495 SOS 15012 HAS SOPS 15012 HAS SOUS 14582 HAS SOUPS 14582 WITH SCORE 14597.012
AT ITER 1787 NEW BEST:: SOT 66530 SOS 14980 HAS SOPS 14980 HAS SOUS 14581 HAS SOUPS 14581 WITH SCORE 14595.98
AT ITER 1816 NEW BEST:: SOT 66521 SOS 14962 HAS SOPS 14962 HAS SOUS 14563 HAS SOUPS 14563 WITH SCORE 14577.962
AT ITER 1831 NEW BEST:: SOT 66509 SOS 14956 HAS SOPS 14956 HAS SOUS 14557 HAS SOUPS 14557 WITH SCORE 14571.956
AT ITER 1880 NEW BEST:: SOT 66432 SOS 14839 HAS SOPS 14839 HAS SOUS 14440 HAS SOUPS 14440 WITH SCORE 14454.839
AT ITER 1905 NEW BEST:: SOT 66378 SOS 14819 HAS SOPS 14819 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14434.819
AT ITER 1936 NEW BEST:: SOT 66406 SOS 14819 HAS SOPS 14819 HAS SOUS 14412 HAS SOUPS 14412 WITH SCORE 14426.819
AT ITER 1962 NEW BEST:: SOT 66397 SOS 14811 HAS SOPS 14811 HAS SOUS 14404 HAS SOUPS 14404 WITH SCORE 14418.811
AT ITER 1977 NEW BEST:: SOT 66400 SOS 14803 HAS SOPS 14803 HAS SOUS 14400 HAS SOUPS 14400 WITH SCORE 14414.803
AT ITER 1984 NEW BEST:: SOT 66400 SOS 14788 HAS SOPS 14788 HAS SOUS 14385 HAS SOUPS 14385 WITH SCORE 14399.788
AT ITER 1992 NEW BEST:: SOT 66396 SOS 14784 HAS SOPS 14784 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14395.784
AT ITER 2006 NEW BEST:: SOT 66386 SOS 14780 HAS SOPS 14780 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14391.78
AT ITER 2046 NEW BEST:: SOT 66374 SOS 14756 HAS SOPS 14756 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14367.756
AT ITER 2067 NEW BEST:: SOT 66352 SOS 14723 HAS SOPS 14723 HAS SOUS 14320 HAS SOUPS 14320 WITH SCORE 14334.723
AT ITER 2114 NEW BEST:: SOT 66341 SOS 14701 HAS SOPS 14701 HAS SOUS 14291 HAS SOUPS 14291 WITH SCORE 14305.701
AT ITER 2121 NEW BEST:: SOT 66341 SOS 14700 HAS SOPS 14700 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14304.7
AT ITER 2139 NEW BEST:: SOT 66339 SOS 14696 HAS SOPS 14696 HAS SOUS 14286 HAS SOUPS 14286 WITH SCORE 14300.696
AT ITER 2187 NEW BEST:: SOT 66364 SOS 14672 HAS SOPS 14672 HAS SOUS 14274 HAS SOUPS 14274 WITH SCORE 14288.672
AT ITER 2268 NEW BEST:: SOT 66364 SOS 14648 HAS SOPS 14648 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14264.648
AT ITER 2280 NEW BEST:: SOT 66358 SOS 14636 HAS SOPS 14636 HAS SOUS 14231 HAS SOUPS 14231 WITH SCORE 14245.636
AT ITER 2286 NEW BEST:: SOT 66343 SOS 14606 HAS SOPS 14606 HAS SOUS 14201 HAS SOUPS 14201 WITH SCORE 14215.606
AT ITER 2300 NEW BEST:: SOT 66343 SOS 14585 HAS SOPS 14585 HAS SOUS 14180 HAS SOUPS 14180 WITH SCORE 14194.585
AT ITER 2308 NEW BEST:: SOT 66336 SOS 14571 HAS SOPS 14571 HAS SOUS 14166 HAS SOUPS 14166 WITH SCORE 14180.571
AT ITER 2310 NEW BEST:: SOT 66327 SOS 14553 HAS SOPS 14553 HAS SOUS 14148 HAS SOUPS 14148 WITH SCORE 14162.553
AT ITER 2312 NEW BEST:: SOT 66339 SOS 14541 HAS SOPS 14541 HAS SOUS 14136 HAS SOUPS 14136 WITH SCORE 14150.541
AT ITER 2341 NEW BEST:: SOT 66339 SOS 14537 HAS SOPS 14537 HAS SOUS 14132 HAS SOUPS 14132 WITH SCORE 14146.537
AT ITER 2346 NEW BEST:: SOT 66333 SOS 14525 HAS SOPS 14525 HAS SOUS 14120 HAS SOUPS 14120 WITH SCORE 14134.525
AT ITER 2360 NEW BEST:: SOT 66291 SOS 14441 HAS SOPS 14441 HAS SOUS 14036 HAS SOUPS 14036 WITH SCORE 14050.441
AT ITER 2366 NEW BEST:: SOT 66291 SOS 14441 HAS SOPS 14441 HAS SOUS 14007 HAS SOUPS 14007 WITH SCORE 14021.441
AT ITER 2407 NEW BEST:: SOT 66265 SOS 14389 HAS SOPS 14389 HAS SOUS 13936 HAS SOUPS 13936 WITH SCORE 13950.389
AT ITER 2432 NEW BEST:: SOT 66265 SOS 14387 HAS SOPS 14387 HAS SOUS 13934 HAS SOUPS 13934 WITH SCORE 13948.387
AT ITER 2445 NEW BEST:: SOT 66246 SOS 14349 HAS SOPS 14349 HAS SOUS 13923 HAS SOUPS 13923 WITH SCORE 13937.349
AT ITER 2451 NEW BEST:: SOT 66220 SOS 14304 HAS SOPS 14304 HAS SOUS 13878 HAS SOUPS 13878 WITH SCORE 13892.304
AT ITER 2453 NEW BEST:: SOT 66199 SOS 14322 HAS SOPS 14322 HAS SOUS 13877 HAS SOUPS 13877 WITH SCORE 13891.322
AT ITER 2477 NEW BEST:: SOT 66190 SOS 14324 HAS SOPS 14324 HAS SOUS 13868 HAS SOUPS 13868 WITH SCORE 13882.324
AT ITER 2491 NEW BEST:: SOT 66190 SOS 14323 HAS SOPS 14323 HAS SOUS 13867 HAS SOUPS 13867 WITH SCORE 13881.323
AT ITER 2519 NEW BEST:: SOT 66166 SOS 14299 HAS SOPS 14299 HAS SOUS 13843 HAS SOUPS 13843 WITH SCORE 13857.299
AT ITER 2522 NEW BEST:: SOT 66181 SOS 14231 HAS SOPS 14231 HAS SOUS 13809 HAS SOUPS 13809 WITH SCORE 13823.231
AT ITER 2536 NEW BEST:: SOT 66174 SOS 14217 HAS SOPS 14217 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13808.217
AT ITER 2542 NEW BEST:: SOT 66170 SOS 14213 HAS SOPS 14213 HAS SOUS 13790 HAS SOUPS 13790 WITH SCORE 13804.213
AT ITER 2553 NEW BEST:: SOT 66136 SOS 14211 HAS SOPS 14211 HAS SOUS 13777 HAS SOUPS 13777 WITH SCORE 13791.211
AT ITER 2557 NEW BEST:: SOT 66139 SOS 14209 HAS SOPS 14209 HAS SOUS 13775 HAS SOUPS 13775 WITH SCORE 13789.209
AT ITER 2566 NEW BEST:: SOT 66137 SOS 14205 HAS SOPS 14205 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13785.205
AT ITER 2571 NEW BEST:: SOT 66142 SOS 14203 HAS SOPS 14203 HAS SOUS 13769 HAS SOUPS 13769 WITH SCORE 13783.203
AT ITER 2608 NEW BEST:: SOT 66134 SOS 14195 HAS SOPS 14195 HAS SOUS 13761 HAS SOUPS 13761 WITH SCORE 13775.195
AT ITER 2691 NEW BEST:: SOT 66134 SOS 14192 HAS SOPS 14192 HAS SOUS 13758 HAS SOUPS 13758 WITH SCORE 13772.192
AT ITER 2720 NEW BEST:: SOT 66140 SOS 14190 HAS SOPS 14190 HAS SOUS 13756 HAS SOUPS 13756 WITH SCORE 13770.19
AT ITER 2721 NEW BEST:: SOT 66125 SOS 14160 HAS SOPS 14160 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13740.16
AT ITER 2727 NEW BEST:: SOT 66136 SOS 14149 HAS SOPS 14149 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13740.149
AT ITER 2759 NEW BEST:: SOT 66136 SOS 14148 HAS SOPS 14148 HAS SOUS 13725 HAS SOUPS 13725 WITH SCORE 13739.148
AT ITER 2784 NEW BEST:: SOT 66157 SOS 14190 HAS SOPS 14190 HAS SOUS 13711 HAS SOUPS 13711 WITH SCORE 13725.19
AT ITER 2802 NEW BEST:: SOT 66151 SOS 14168 HAS SOPS 14168 HAS SOUS 13695 HAS SOUPS 13695 WITH SCORE 13709.168
AT ITER 2815 NEW BEST:: SOT 66147 SOS 14160 HAS SOPS 14160 HAS SOUS 13687 HAS SOUPS 13687 WITH SCORE 13701.16
AT ITER 2858 NEW BEST:: SOT 66112 SOS 14164 HAS SOPS 14164 HAS SOUS 13669 HAS SOUPS 13669 WITH SCORE 13683.164
AT ITER 2863 NEW BEST:: SOT 66104 SOS 14148 HAS SOPS 14148 HAS SOUS 13653 HAS SOUPS 13653 WITH SCORE 13667.148
AT ITER 2878 NEW BEST:: SOT 66104 SOS 14148 HAS SOPS 14148 HAS SOUS 13648 HAS SOUPS 13648 WITH SCORE 13662.148
AT ITER 2880 NEW BEST:: SOT 66099 SOS 14138 HAS SOPS 14138 HAS SOUS 13638 HAS SOUPS 13638 WITH SCORE 13652.138
AT ITER 2933 NEW BEST:: SOT 66088 SOS 14116 HAS SOPS 14116 HAS SOUS 13616 HAS SOUPS 13616 WITH SCORE 13630.116
AT ITER 2938 NEW BEST:: SOT 66090 SOS 14114 HAS SOPS 14114 HAS SOUS 13614 HAS SOUPS 13614 WITH SCORE 13628.114
AT ITER 2961 NEW BEST:: SOT 66086 SOS 14106 HAS SOPS 14106 HAS SOUS 13606 HAS SOUPS 13606 WITH SCORE 13620.106
AT ITER 2992 NEW BEST:: SOT 66085 SOS 14104 HAS SOPS 14104 HAS SOUS 13604 HAS SOUPS 13604 WITH SCORE 13618.104
AT ITER 3007 NEW BEST:: SOT 66084 SOS 14068 HAS SOPS 14068 HAS SOUS 13592 HAS SOUPS 13592 WITH SCORE 13606.068
AT ITER 3029 NEW BEST:: SOT 66080 SOS 14058 HAS SOPS 14058 HAS SOUS 13586 HAS SOUPS 13586 WITH SCORE 13600.058
AT ITER 3068 NEW BEST:: SOT 66065 SOS 14028 HAS SOPS 14028 HAS SOUS 13586 HAS SOUPS 13586 WITH SCORE 13600.028
AT ITER 3085 NEW BEST:: SOT 66081 SOS 14026 HAS SOPS 14026 HAS SOUS 13586 HAS SOUPS 13586 WITH SCORE 13600.026
AT ITER 3170 NEW BEST:: SOT 66069 SOS 13955 HAS SOPS 13955 HAS SOUS 13515 HAS SOUPS 13515 WITH SCORE 13528.955
AT ITER 3175 NEW BEST:: SOT 66007 SOS 13902 HAS SOPS 13902 HAS SOUS 13459 HAS SOUPS 13459 WITH SCORE 13472.902
AT ITER 3195 NEW BEST:: SOT 65999 SOS 13894 HAS SOPS 13894 HAS SOUS 13451 HAS SOUPS 13451 WITH SCORE 13464.894
AT ITER 3230 NEW BEST:: SOT 65999 SOS 13894 HAS SOPS 13894 HAS SOUS 13448 HAS SOUPS 13448 WITH SCORE 13461.894
AT ITER 3282 NEW BEST:: SOT 66002 SOS 13885 HAS SOPS 13885 HAS SOUS 13439 HAS SOUPS 13439 WITH SCORE 13452.885
AT ITER 3313 NEW BEST:: SOT 66001 SOS 13884 HAS SOPS 13884 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13450.884
AT ITER 3317 NEW BEST:: SOT 66011 SOS 13877 HAS SOPS 13877 HAS SOUS 13430 HAS SOUPS 13430 WITH SCORE 13443.877
AT ITER 3328 NEW BEST:: SOT 66007 SOS 13869 HAS SOPS 13869 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13435.869
AT ITER 3334 NEW BEST:: SOT 65987 SOS 13849 HAS SOPS 13849 HAS SOUS 13402 HAS SOUPS 13402 WITH SCORE 13415.849
AT ITER 3335 NEW BEST:: SOT 65960 SOS 13811 HAS SOPS 13811 HAS SOUS 13359 HAS SOUPS 13359 WITH SCORE 13372.811
AT ITER 3354 NEW BEST:: SOT 65953 SOS 13804 HAS SOPS 13804 HAS SOUS 13352 HAS SOUPS 13352 WITH SCORE 13365.804
AT ITER 3384 NEW BEST:: SOT 65948 SOS 13799 HAS SOPS 13799 HAS SOUS 13350 HAS SOUPS 13350 WITH SCORE 13363.799
AT ITER 3388 NEW BEST:: SOT 65948 SOS 13792 HAS SOPS 13792 HAS SOUS 13345 HAS SOUPS 13345 WITH SCORE 13358.792
AT ITER 3459 NEW BEST:: SOT 65948 SOS 13778 HAS SOPS 13778 HAS SOUS 13338 HAS SOUPS 13338 WITH SCORE 13351.778
AT ITER 3472 NEW BEST:: SOT 65940 SOS 13762 HAS SOPS 13762 HAS SOUS 13327 HAS SOUPS 13327 WITH SCORE 13340.762
AT ITER 3487 NEW BEST:: SOT 65938 SOS 13758 HAS SOPS 13758 HAS SOUS 13323 HAS SOUPS 13323 WITH SCORE 13336.758
AT ITER 3514 NEW BEST:: SOT 65935 SOS 13752 HAS SOPS 13752 HAS SOUS 13303 HAS SOUPS 13303 WITH SCORE 13316.752
AT ITER 3560 NEW BEST:: SOT 65929 SOS 13746 HAS SOPS 13746 HAS SOUS 13297 HAS SOUPS 13297 WITH SCORE 13310.746
AT ITER 3579 NEW BEST:: SOT 65915 SOS 13732 HAS SOPS 13732 HAS SOUS 13287 HAS SOUPS 13287 WITH SCORE 13300.732
AT ITER 3637 NEW BEST:: SOT 65915 SOS 13727 HAS SOPS 13727 HAS SOUS 13282 HAS SOUPS 13282 WITH SCORE 13295.727
AT ITER 3739 NEW BEST:: SOT 65915 SOS 13715 HAS SOPS 13715 HAS SOUS 13282 HAS SOUPS 13282 WITH SCORE 13295.715
AT ITER 3798 NEW BEST:: SOT 65901 SOS 13701 HAS SOPS 13701 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13281.701
AT ITER 3819 NEW BEST:: SOT 65897 SOS 13693 HAS SOPS 13693 HAS SOUS 13260 HAS SOUPS 13260 WITH SCORE 13273.693
AT ITER 3836 NEW BEST:: SOT 65865 SOS 13629 HAS SOPS 13629 HAS SOUS 13196 HAS SOUPS 13196 WITH SCORE 13209.629
AT ITER 3856 NEW BEST:: SOT 65871 SOS 13611 HAS SOPS 13611 HAS SOUS 13148 HAS SOUPS 13148 WITH SCORE 13161.611
AT ITER 3879 NEW BEST:: SOT 65858 SOS 13519 HAS SOPS 13519 HAS SOUS 13089 HAS SOUPS 13089 WITH SCORE 13102.519
AT ITER 3885 NEW BEST:: SOT 65858 SOS 13519 HAS SOPS 13519 HAS SOUS 13087 HAS SOUPS 13087 WITH SCORE 13100.519
AT ITER 3888 NEW BEST:: SOT 65849 SOS 13466 HAS SOPS 13466 HAS SOUS 13069 HAS SOUPS 13069 WITH SCORE 13082.466
AT ITER 3897 NEW BEST:: SOT 65848 SOS 13464 HAS SOPS 13464 HAS SOUS 13067 HAS SOUPS 13067 WITH SCORE 13080.464
AT ITER 3912 NEW BEST:: SOT 65838 SOS 13444 HAS SOPS 13444 HAS SOUS 13060 HAS SOUPS 13060 WITH SCORE 13073.444
AT ITER 3951 NEW BEST:: SOT 65808 SOS 13420 HAS SOPS 13420 HAS SOUS 13036 HAS SOUPS 13036 WITH SCORE 13049.42
AT ITER 3959 NEW BEST:: SOT 65810 SOS 13424 HAS SOPS 13424 HAS SOUS 13015 HAS SOUPS 13015 WITH SCORE 13028.424
AT ITER 4036 NEW BEST:: SOT 65803 SOS 13410 HAS SOPS 13410 HAS SOUS 13001 HAS SOUPS 13001 WITH SCORE 13014.41
AT ITER 4049 NEW BEST:: SOT 65840 SOS 13317 HAS SOPS 13317 HAS SOUS 12908 HAS SOUPS 12908 WITH SCORE 12921.317
AT ITER 4084 NEW BEST:: SOT 65813 SOS 13263 HAS SOPS 13263 HAS SOUS 12854 HAS SOUPS 12854 WITH SCORE 12867.263
AT ITER 4112 NEW BEST:: SOT 65810 SOS 13257 HAS SOPS 13257 HAS SOUS 12848 HAS SOUPS 12848 WITH SCORE 12861.257
AT ITER 4147 NEW BEST:: SOT 65800 SOS 13240 HAS SOPS 13240 HAS SOUS 12831 HAS SOUPS 12831 WITH SCORE 12844.24
AT ITER 4159 NEW BEST:: SOT 65800 SOS 13202 HAS SOPS 13202 HAS SOUS 12793 HAS SOUPS 12793 WITH SCORE 12806.202
AT ITER 4188 NEW BEST:: SOT 65766 SOS 13169 HAS SOPS 13169 HAS SOUS 12760 HAS SOUPS 12760 WITH SCORE 12773.169
AT ITER 4201 NEW BEST:: SOT 65764 SOS 13165 HAS SOPS 13165 HAS SOUS 12756 HAS SOUPS 12756 WITH SCORE 12769.165
AT ITER 4233 NEW BEST:: SOT 65753 SOS 13143 HAS SOPS 13143 HAS SOUS 12734 HAS SOUPS 12734 WITH SCORE 12747.143
AT ITER 4252 NEW BEST:: SOT 65750 SOS 13137 HAS SOPS 13137 HAS SOUS 12720 HAS SOUPS 12720 WITH SCORE 12733.137
AT ITER 4253 NEW BEST:: SOT 65748 SOS 13135 HAS SOPS 13135 HAS SOUS 12716 HAS SOUPS 12716 WITH SCORE 12729.135
AT ITER 4274 NEW BEST:: SOT 65748 SOS 13134 HAS SOPS 13134 HAS SOUS 12715 HAS SOUPS 12715 WITH SCORE 12728.134
AT ITER 4278 NEW BEST:: SOT 65742 SOS 13122 HAS SOPS 13122 HAS SOUS 12709 HAS SOUPS 12709 WITH SCORE 12722.122
AT ITER 4309 NEW BEST:: SOT 65740 SOS 13120 HAS SOPS 13120 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12720.12
AT ITER 4342 NEW BEST:: SOT 65737 SOS 13120 HAS SOPS 13120 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12717.12
AT ITER 4364 NEW BEST:: SOT 65737 SOS 13108 HAS SOPS 13108 HAS SOUS 12703 HAS SOUPS 12703 WITH SCORE 12716.108
AT ITER 4391 NEW BEST:: SOT 65644 SOS 13158 HAS SOPS 13158 HAS SOUS 12633 HAS SOUPS 12633 WITH SCORE 12646.158
AT ITER 4403 NEW BEST:: SOT 65646 SOS 13162 HAS SOPS 13162 HAS SOUS 12632 HAS SOUPS 12632 WITH SCORE 12645.162
AT ITER 4455 NEW BEST:: SOT 65646 SOS 13149 HAS SOPS 13149 HAS SOUS 12619 HAS SOUPS 12619 WITH SCORE 12632.149
AT ITER 4531 NEW BEST:: SOT 65639 SOS 13135 HAS SOPS 13135 HAS SOUS 12604 HAS SOUPS 12604 WITH SCORE 12617.135
AT ITER 4583 NEW BEST:: SOT 65633 SOS 13123 HAS SOPS 13123 HAS SOUS 12604 HAS SOUPS 12604 WITH SCORE 12617.123
AT ITER 4585 NEW BEST:: SOT 65633 SOS 13121 HAS SOPS 13121 HAS SOUS 12602 HAS SOUPS 12602 WITH SCORE 12615.121
AT ITER 4588 NEW BEST:: SOT 65633 SOS 13117 HAS SOPS 13117 HAS SOUS 12600 HAS SOUPS 12600 WITH SCORE 12613.117
AT ITER 4589 NEW BEST:: SOT 65629 SOS 13109 HAS SOPS 13109 HAS SOUS 12592 HAS SOUPS 12592 WITH SCORE 12605.109
AT ITER 4596 NEW BEST:: SOT 65643 SOS 13076 HAS SOPS 13076 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12583.076
AT ITER 4638 NEW BEST:: SOT 65636 SOS 13055 HAS SOPS 13055 HAS SOUS 12556 HAS SOUPS 12556 WITH SCORE 12569.055
AT ITER 4705 NEW BEST:: SOT 65634 SOS 13051 HAS SOPS 13051 HAS SOUS 12549 HAS SOUPS 12549 WITH SCORE 12562.051
AT ITER 4738 NEW BEST:: SOT 65634 SOS 13051 HAS SOPS 13051 HAS SOUS 12529 HAS SOUPS 12529 WITH SCORE 12542.051
AT ITER 4746 NEW BEST:: SOT 65598 SOS 13010 HAS SOPS 13010 HAS SOUS 12480 HAS SOUPS 12480 WITH SCORE 12493.01
AT ITER 4812 NEW BEST:: SOT 65605 SOS 13008 HAS SOPS 13008 HAS SOUS 12478 HAS SOUPS 12478 WITH SCORE 12491.008
AT ITER 4821 NEW BEST:: SOT 65619 SOS 12958 HAS SOPS 12958 HAS SOUS 12453 HAS SOUPS 12453 WITH SCORE 12465.958
AT ITER 4829 NEW BEST:: SOT 65619 SOS 12955 HAS SOPS 12955 HAS SOUS 12450 HAS SOUPS 12450 WITH SCORE 12462.955
AT ITER 4897 NEW BEST:: SOT 65617 SOS 12953 HAS SOPS 12953 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12458.953
AT ITER 4915 NEW BEST:: SOT 65620 SOS 12938 HAS SOPS 12938 HAS SOUS 12435 HAS SOUPS 12435 WITH SCORE 12447.938
AT ITER 4916 NEW BEST:: SOT 65620 SOS 12918 HAS SOPS 12918 HAS SOUS 12415 HAS SOUPS 12415 WITH SCORE 12427.918
AT ITER 4939 NEW BEST:: SOT 65614 SOS 12898 HAS SOPS 12898 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12407.898
AT ITER 4990 NEW BEST:: SOT 65607 SOS 12872 HAS SOPS 12872 HAS SOUS 12369 HAS SOUPS 12369 WITH SCORE 12381.872
AT ITER 5001 NEW BEST:: SOT 65602 SOS 12856 HAS SOPS 12856 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12371.856
AT ITER 5019 NEW BEST:: SOT 65602 SOS 12823 HAS SOPS 12823 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12371.823
AT ITER 5024 NEW BEST:: SOT 65626 SOS 12818 HAS SOPS 12818 HAS SOUS 12356 HAS SOUPS 12356 WITH SCORE 12368.818
AT ITER 5049 NEW BEST:: SOT 65627 SOS 12812 HAS SOPS 12812 HAS SOUS 12354 HAS SOUPS 12354 WITH SCORE 12366.812
AT ITER 5052 NEW BEST:: SOT 65617 SOS 12792 HAS SOPS 12792 HAS SOUS 12334 HAS SOUPS 12334 WITH SCORE 12346.792
AT ITER 5149 NEW BEST:: SOT 65610 SOS 12746 HAS SOPS 12746 HAS SOUS 12316 HAS SOUPS 12316 WITH SCORE 12328.746
AT ITER 5161 NEW BEST:: SOT 65597 SOS 12720 HAS SOPS 12720 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12302.72
AT ITER 5230 NEW BEST:: SOT 65584 SOS 12705 HAS SOPS 12705 HAS SOUS 12283 HAS SOUPS 12283 WITH SCORE 12295.705
AT ITER 5302 NEW BEST:: SOT 65541 SOS 12666 HAS SOPS 12666 HAS SOUS 12244 HAS SOUPS 12244 WITH SCORE 12256.666
AT ITER 5335 NEW BEST:: SOT 65536 SOS 12668 HAS SOPS 12668 HAS SOUS 12239 HAS SOUPS 12239 WITH SCORE 12251.668
AT ITER 5348 NEW BEST:: SOT 65534 SOS 12664 HAS SOPS 12664 HAS SOUS 12237 HAS SOUPS 12237 WITH SCORE 12249.664
AT ITER 5360 NEW BEST:: SOT 65534 SOS 12660 HAS SOPS 12660 HAS SOUS 12233 HAS SOUPS 12233 WITH SCORE 12245.66
AT ITER 5385 NEW BEST:: SOT 65531 SOS 12654 HAS SOPS 12654 HAS SOUS 12222 HAS SOUPS 12222 WITH SCORE 12234.654
AT ITER 5397 NEW BEST:: SOT 65523 SOS 12632 HAS SOPS 12632 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12226.632
AT ITER 5427 NEW BEST:: SOT 65523 SOS 12626 HAS SOPS 12626 HAS SOUS 12208 HAS SOUPS 12208 WITH SCORE 12220.626
AT ITER 5439 NEW BEST:: SOT 65523 SOS 12624 HAS SOPS 12624 HAS SOUS 12206 HAS SOUPS 12206 WITH SCORE 12218.624
AT ITER 5533 NEW BEST:: SOT 65538 SOS 12639 HAS SOPS 12639 HAS SOUS 12203 HAS SOUPS 12203 WITH SCORE 12215.639
AT ITER 5642 NEW BEST:: SOT 65538 SOS 12635 HAS SOPS 12635 HAS SOUS 12199 HAS SOUPS 12199 WITH SCORE 12211.635
AT ITER 5687 NEW BEST:: SOT 65538 SOS 12634 HAS SOPS 12634 HAS SOUS 12198 HAS SOUPS 12198 WITH SCORE 12210.634
AT ITER 5706 NEW BEST:: SOT 65534 SOS 12630 HAS SOPS 12630 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12206.63
AT ITER 5726 NEW BEST:: SOT 65534 SOS 12629 HAS SOPS 12629 HAS SOUS 12193 HAS SOUPS 12193 WITH SCORE 12205.629
AT ITER 5729 NEW BEST:: SOT 65532 SOS 12625 HAS SOPS 12625 HAS SOUS 12189 HAS SOUPS 12189 WITH SCORE 12201.625
AT ITER 5768 NEW BEST:: SOT 65545 SOS 12638 HAS SOPS 12638 HAS SOUS 12185 HAS SOUPS 12185 WITH SCORE 12197.638
AT ITER 5806 NEW BEST:: SOT 65545 SOS 12637 HAS SOPS 12637 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12196.637
AT ITER 5914 NEW BEST:: SOT 65542 SOS 12631 HAS SOPS 12631 HAS SOUS 12181 HAS SOUPS 12181 WITH SCORE 12193.631
AT ITER 5969 NEW BEST:: SOT 65547 SOS 12629 HAS SOPS 12629 HAS SOUS 12179 HAS SOUPS 12179 WITH SCORE 12191.629
AT ITER 5980 NEW BEST:: SOT 65530 SOS 12595 HAS SOPS 12595 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12157.595
AT ITER 6018 NEW BEST:: SOT 65528 SOS 12591 HAS SOPS 12591 HAS SOUS 12141 HAS SOUPS 12141 WITH SCORE 12153.591
AT ITER 6019 NEW BEST:: SOT 65525 SOS 12585 HAS SOPS 12585 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12147.585
AT ITER 6024 NEW BEST:: SOT 65524 SOS 12583 HAS SOPS 12583 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12145.583
AT ITER 6031 NEW BEST:: SOT 65524 SOS 12581 HAS SOPS 12581 HAS SOUS 12131 HAS SOUPS 12131 WITH SCORE 12143.581
AT ITER 6048 NEW BEST:: SOT 65517 SOS 12567 HAS SOPS 12567 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12129.567
AT ITER 6074 NEW BEST:: SOT 65475 SOS 12514 HAS SOPS 12514 HAS SOUS 12061 HAS SOUPS 12061 WITH SCORE 12073.514
AT ITER 6124 NEW BEST:: SOT 65475 SOS 12507 HAS SOPS 12507 HAS SOUS 12054 HAS SOUPS 12054 WITH SCORE 12066.507
AT ITER 6222 NEW BEST:: SOT 65472 SOS 12504 HAS SOPS 12504 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12063.504
AT ITER 6255 NEW BEST:: SOT 65471 SOS 12502 HAS SOPS 12502 HAS SOUS 12049 HAS SOUPS 12049 WITH SCORE 12061.502
AT ITER 6294 NEW BEST:: SOT 65471 SOS 12502 HAS SOPS 12502 HAS SOUS 12040 HAS SOUPS 12040 WITH SCORE 12052.502
AT ITER 6327 NEW BEST:: SOT 65475 SOS 12472 HAS SOPS 12472 HAS SOUS 12025 HAS SOUPS 12025 WITH SCORE 12037.472
AT ITER 6358 NEW BEST:: SOT 65475 SOS 12466 HAS SOPS 12466 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12031.466
AT ITER 6463 NEW BEST:: SOT 65474 SOS 12464 HAS SOPS 12464 HAS SOUS 12017 HAS SOUPS 12017 WITH SCORE 12029.464
AT ITER 6517 NEW BEST:: SOT 65483 SOS 12453 HAS SOPS 12453 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12021.453
AT ITER 6617 NEW BEST:: SOT 65481 SOS 12449 HAS SOPS 12449 HAS SOUS 12007 HAS SOUPS 12007 WITH SCORE 12019.449
AT ITER 6619 NEW BEST:: SOT 65481 SOS 12433 HAS SOPS 12433 HAS SOUS 11999 HAS SOUPS 11999 WITH SCORE 12011.433
AT ITER 6626 NEW BEST:: SOT 65481 SOS 12427 HAS SOPS 12427 HAS SOUS 11993 HAS SOUPS 11993 WITH SCORE 12005.427
AT ITER 6637 NEW BEST:: SOT 65484 SOS 12381 HAS SOPS 12381 HAS SOUS 11970 HAS SOUPS 11970 WITH SCORE 11982.381
AT ITER 6647 NEW BEST:: SOT 65496 SOS 12390 HAS SOPS 12390 HAS SOUS 11956 HAS SOUPS 11956 WITH SCORE 11968.39
AT ITER 6679 NEW BEST:: SOT 65485 SOS 12413 HAS SOPS 12413 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11966.413
AT ITER 6753 NEW BEST:: SOT 65477 SOS 12405 HAS SOPS 12405 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11966.405
AT ITER 6863 NEW BEST:: SOT 65473 SOS 12401 HAS SOPS 12401 HAS SOUS 11950 HAS SOUPS 11950 WITH SCORE 11962.401
AT ITER 6898 NEW BEST:: SOT 65473 SOS 12399 HAS SOPS 12399 HAS SOUS 11948 HAS SOUPS 11948 WITH SCORE 11960.399
AT ITER 6921 NEW BEST:: SOT 65471 SOS 12398 HAS SOPS 12398 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11959.398
AT ITER 6930 NEW BEST:: SOT 65469 SOS 12395 HAS SOPS 12395 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11957.395
AT ITER 6965 NEW BEST:: SOT 65466 SOS 12389 HAS SOPS 12389 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11947.389
AT ITER 7007 NEW BEST:: SOT 65466 SOS 12385 HAS SOPS 12385 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11947.385
AT ITER 7034 NEW BEST:: SOT 65465 SOS 12383 HAS SOPS 12383 HAS SOUS 11933 HAS SOUPS 11933 WITH SCORE 11945.383
AT ITER 7052 NEW BEST:: SOT 65367 SOS 12922 HAS SOPS 12922 HAS SOUS 11866 HAS SOUPS 11866 WITH SCORE 11878.922
AT ITER 7061 NEW BEST:: SOT 65367 SOS 12922 HAS SOPS 12922 HAS SOUS 11863 HAS SOUPS 11863 WITH SCORE 11875.922
AT ITER 7126 NEW BEST:: SOT 65358 SOS 12924 HAS SOPS 12924 HAS SOUS 11860 HAS SOUPS 11860 WITH SCORE 11872.924
AT ITER 7157 NEW BEST:: SOT 65343 SOS 12894 HAS SOPS 12894 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11842.894
AT ITER 7163 NEW BEST:: SOT 65339 SOS 12886 HAS SOPS 12886 HAS SOUS 11818 HAS SOUPS 11818 WITH SCORE 11830.886
AT ITER 7210 NEW BEST:: SOT 65331 SOS 12860 HAS SOPS 12860 HAS SOUS 11800 HAS SOUPS 11800 WITH SCORE 11812.86
AT ITER 7300 NEW BEST:: SOT 65331 SOS 12860 HAS SOPS 12860 HAS SOUS 11781 HAS SOUPS 11781 WITH SCORE 11793.86
AT ITER 7319 NEW BEST:: SOT 65330 SOS 12858 HAS SOPS 12858 HAS SOUS 11779 HAS SOUPS 11779 WITH SCORE 11791.858
AT ITER 7322 NEW BEST:: SOT 65327 SOS 12848 HAS SOPS 12848 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11785.848
AT ITER 7366 NEW BEST:: SOT 65323 SOS 12846 HAS SOPS 12846 HAS SOUS 11771 HAS SOUPS 11771 WITH SCORE 11783.846
AT ITER 7445 NEW BEST:: SOT 65317 SOS 12840 HAS SOPS 12840 HAS SOUS 11765 HAS SOUPS 11765 WITH SCORE 11777.84
AT ITER 7519 NEW BEST:: SOT 65314 SOS 12835 HAS SOPS 12835 HAS SOUS 11760 HAS SOUPS 11760 WITH SCORE 11772.835
AT ITER 7562 NEW BEST:: SOT 65302 SOS 12811 HAS SOPS 12811 HAS SOUS 11725 HAS SOUPS 11725 WITH SCORE 11737.811
AT ITER 7563 NEW BEST:: SOT 65301 SOS 12811 HAS SOPS 12811 HAS SOUS 11723 HAS SOUPS 11723 WITH SCORE 11735.811
AT ITER 7644 NEW BEST:: SOT 65301 SOS 12807 HAS SOPS 12807 HAS SOUS 11719 HAS SOUPS 11719 WITH SCORE 11731.807
AT ITER 7653 NEW BEST:: SOT 65299 SOS 12801 HAS SOPS 12801 HAS SOUS 11713 HAS SOUPS 11713 WITH SCORE 11725.801
AT ITER 7682 NEW BEST:: SOT 65304 SOS 12793 HAS SOPS 12793 HAS SOUS 11709 HAS SOUPS 11709 WITH SCORE 11721.793
AT ITER 7716 NEW BEST:: SOT 65303 SOS 12792 HAS SOPS 12792 HAS SOUS 11708 HAS SOUPS 11708 WITH SCORE 11720.792
AT ITER 7765 NEW BEST:: SOT 65329 SOS 12775 HAS SOPS 12775 HAS SOUS 11695 HAS SOUPS 11695 WITH SCORE 11707.775
AT ITER 7782 NEW BEST:: SOT 65329 SOS 12754 HAS SOPS 12754 HAS SOUS 11695 HAS SOUPS 11695 WITH SCORE 11707.754
AT ITER 7867 NEW BEST:: SOT 65328 SOS 12752 HAS SOPS 12752 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11706.752
AT ITER 7951 NEW BEST:: SOT 65326 SOS 12750 HAS SOPS 12750 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11702.75
AT ITER 7998 NEW BEST:: SOT 65338 SOS 12733 HAS SOPS 12733 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11700.733
AT ITER 8033 NEW BEST:: SOT 65336 SOS 12729 HAS SOPS 12729 HAS SOUS 11685 HAS SOUPS 11685 WITH SCORE 11697.729
AT ITER 8102 NEW BEST:: SOT 65334 SOS 12725 HAS SOPS 12725 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11683.725
AT ITER 8110 NEW BEST:: SOT 65320 SOS 12697 HAS SOPS 12697 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11658.697
AT ITER 8122 NEW BEST:: SOT 65308 SOS 12690 HAS SOPS 12690 HAS SOUS 11639 HAS SOUPS 11639 WITH SCORE 11651.69
AT ITER 8166 NEW BEST:: SOT 65274 SOS 12631 HAS SOPS 12631 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11592.631
AT ITER 8181 NEW BEST:: SOT 65269 SOS 12627 HAS SOPS 12627 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11588.627
AT ITER 8220 NEW BEST:: SOT 65267 SOS 12623 HAS SOPS 12623 HAS SOUS 11572 HAS SOUPS 11572 WITH SCORE 11584.623
AT ITER 8386 NEW BEST:: SOT 65263 SOS 12625 HAS SOPS 12625 HAS SOUS 11569 HAS SOUPS 11569 WITH SCORE 11581.625
AT ITER 8454 NEW BEST:: SOT 65261 SOS 12623 HAS SOPS 12623 HAS SOUS 11565 HAS SOUPS 11565 WITH SCORE 11577.623
AT ITER 8465 NEW BEST:: SOT 65260 SOS 12621 HAS SOPS 12621 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11575.621
AT ITER 8516 NEW BEST:: SOT 65260 SOS 12597 HAS SOPS 12597 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11575.597
AT ITER 8522 NEW BEST:: SOT 65251 SOS 12579 HAS SOPS 12579 HAS SOUS 11545 HAS SOUPS 11545 WITH SCORE 11557.579
AT ITER 8637 NEW BEST:: SOT 65259 SOS 12595 HAS SOPS 12595 HAS SOUS 11522 HAS SOUPS 11522 WITH SCORE 11534.595
AT ITER 8693 NEW BEST:: SOT 65259 SOS 12595 HAS SOPS 12595 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11525.595
AT ITER 8698 NEW BEST:: SOT 65261 SOS 12592 HAS SOPS 12592 HAS SOUS 11510 HAS SOUPS 11510 WITH SCORE 11522.592
AT ITER 8722 NEW BEST:: SOT 65261 SOS 12592 HAS SOPS 12592 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11521.592
AT ITER 8796 NEW BEST:: SOT 65253 SOS 12576 HAS SOPS 12576 HAS SOUS 11501 HAS SOUPS 11501 WITH SCORE 11513.576
AT ITER 8810 NEW BEST:: SOT 65242 SOS 12568 HAS SOPS 12568 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11505.568
AT ITER 8986 NEW BEST:: SOT 65225 SOS 12562 HAS SOPS 12562 HAS SOUS 11487 HAS SOUPS 11487 WITH SCORE 11499.562
AT ITER 9143 NEW BEST:: SOT 65219 SOS 12547 HAS SOPS 12547 HAS SOUS 11470 HAS SOUPS 11470 WITH SCORE 11482.547
AT ITER 9274 NEW BEST:: SOT 65219 SOS 12547 HAS SOPS 12547 HAS SOUS 11469 HAS SOUPS 11469 WITH SCORE 11481.547
AT ITER 9436 NEW BEST:: SOT 65216 SOS 12541 HAS SOPS 12541 HAS SOUS 11463 HAS SOUPS 11463 WITH SCORE 11475.541
AT ITER 9464 NEW BEST:: SOT 65198 SOS 12534 HAS SOPS 12534 HAS SOUS 11445 HAS SOUPS 11445 WITH SCORE 11457.534
AT ITER 9478 NEW BEST:: SOT 65202 SOS 12542 HAS SOPS 12542 HAS SOUS 11427 HAS SOUPS 11427 WITH SCORE 11439.542
AT ITER 9532 NEW BEST:: SOT 65196 SOS 12530 HAS SOPS 12530 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11421.53
AT ITER 9587 NEW BEST:: SOT 65192 SOS 12522 HAS SOPS 12522 HAS SOUS 11399 HAS SOUPS 11399 WITH SCORE 11411.522
AT ITER 9632 NEW BEST:: SOT 65192 SOS 12522 HAS SOPS 12522 HAS SOUS 11389 HAS SOUPS 11389 WITH SCORE 11401.522
AT ITER 9677 NEW BEST:: SOT 65191 SOS 12505 HAS SOPS 12505 HAS SOUS 11387 HAS SOUPS 11387 WITH SCORE 11399.505
AT ITER 9704 NEW BEST:: SOT 65190 SOS 12503 HAS SOPS 12503 HAS SOUS 11385 HAS SOUPS 11385 WITH SCORE 11397.503
AT ITER 9763 NEW BEST:: SOT 65193 SOS 12477 HAS SOPS 12477 HAS SOUS 11378 HAS SOUPS 11378 WITH SCORE 11390.477
AT ITER 9816 NEW BEST:: SOT 65193 SOS 12463 HAS SOPS 12463 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11376.463
AT ITER 9892 NEW BEST:: SOT 65191 SOS 12459 HAS SOPS 12459 HAS SOUS 11360 HAS SOUPS 11360 WITH SCORE 11372.459
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5426296 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125036 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GPUForwardProgress-PT-16b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is GPUForwardProgress-PT-16b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349000064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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