Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 788K
-rw-r--r-- 1 mcc users 6.8K Feb 25 18:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 18:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 18:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 18:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 19:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 25 19:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 18:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 18:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 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 325K 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 1678409823009

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=DLCround-PT-06a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 00:57:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 00:57:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 00:57:04] [INFO ] Load time of PNML (sax parser for PT used): 86 ms
[2023-03-10 00:57:04] [INFO ] Transformed 197 places.
[2023-03-10 00:57:04] [INFO ] Transformed 1313 transitions.
[2023-03-10 00:57:04] [INFO ] Found NUPN structural information;
[2023-03-10 00:57:04] [INFO ] Parsed PT model containing 197 places and 1313 transitions and 5002 arcs in 154 ms.
[2023-03-10 00:57:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 197 places, 1313 transitions and 5002 arcs took 13 ms.
Total runtime 194 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 06a
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: 197 places, 1313 transitions, 5002 arcs.
AT ITER 0 NEW BEST:: SOT 169047 SOS 136160 HAS SOPS 81619 HAS SOUS 20673 HAS SOUPS 13448 WITH SCORE 13584.16
AT ITER 2 NEW BEST:: SOT 169017 SOS 135815 HAS SOPS 81424 HAS SOUS 20628 HAS SOUPS 13418 WITH SCORE 13553.815
AT ITER 6 NEW BEST:: SOT 168981 SOS 135815 HAS SOPS 81244 HAS SOUS 20448 HAS SOUPS 13110 WITH SCORE 13245.815
AT ITER 10 NEW BEST:: SOT 168948 SOS 135683 HAS SOPS 81189 HAS SOUS 20415 HAS SOUPS 13088 WITH SCORE 13223.683
AT ITER 14 NEW BEST:: SOT 168948 SOS 135683 HAS SOPS 81189 HAS SOUS 20409 HAS SOUPS 13082 WITH SCORE 13217.683
AT ITER 18 NEW BEST:: SOT 168892 SOS 134771 HAS SOPS 80677 HAS SOUS 20358 HAS SOUPS 13071 WITH SCORE 13205.771
AT ITER 22 NEW BEST:: SOT 168885 SOS 134687 HAS SOPS 80663 HAS SOUS 20344 HAS SOUPS 13064 WITH SCORE 13198.687
AT ITER 24 NEW BEST:: SOT 168776 SOS 136319 HAS SOPS 81591 HAS SOUS 20286 HAS SOUPS 13006 WITH SCORE 13142.319
AT ITER 26 NEW BEST:: SOT 169054 SOS 136650 HAS SOPS 81604 HAS SOUS 20090 HAS SOUPS 12758 WITH SCORE 12894.65
AT ITER 58 NEW BEST:: SOT 169058 SOS 136098 HAS SOPS 81172 HAS SOUS 20084 HAS SOUPS 12752 WITH SCORE 12888.098
AT ITER 65 NEW BEST:: SOT 169110 SOS 136150 HAS SOPS 81172 HAS SOUS 19922 HAS SOUPS 12662 WITH SCORE 12798.15
AT ITER 67 NEW BEST:: SOT 169157 SOS 136444 HAS SOPS 81466 HAS SOUS 19893 HAS SOUPS 12633 WITH SCORE 12769.444
AT ITER 69 NEW BEST:: SOT 169153 SOS 136444 HAS SOPS 81446 HAS SOUS 19868 HAS SOUPS 12596 WITH SCORE 12732.444
AT ITER 73 NEW BEST:: SOT 169121 SOS 136028 HAS SOPS 81350 HAS SOUS 19817 HAS SOUPS 12577 WITH SCORE 12713.028
AT ITER 74 NEW BEST:: SOT 169037 SOS 135394 HAS SOPS 80716 HAS SOUS 19593 HAS SOUPS 12353 WITH SCORE 12488.394
AT ITER 77 NEW BEST:: SOT 169089 SOS 134770 HAS SOPS 80612 HAS SOUS 19541 HAS SOUPS 12353 WITH SCORE 12487.77
AT ITER 80 NEW BEST:: SOT 169057 SOS 134658 HAS SOPS 80612 HAS SOUS 19493 HAS SOUPS 12321 WITH SCORE 12455.658
AT ITER 83 NEW BEST:: SOT 169057 SOS 134614 HAS SOPS 80608 HAS SOUS 19489 HAS SOUPS 12321 WITH SCORE 12455.614
AT ITER 87 NEW BEST:: SOT 170084 SOS 134481 HAS SOPS 80145 HAS SOUS 19941 HAS SOUPS 12275 WITH SCORE 12409.481
AT ITER 89 NEW BEST:: SOT 170051 SOS 134034 HAS SOPS 80076 HAS SOUS 19866 HAS SOUPS 12233 WITH SCORE 12367.034
AT ITER 107 NEW BEST:: SOT 169983 SOS 134074 HAS SOPS 79948 HAS SOUS 19822 HAS SOUPS 12181 WITH SCORE 12315.074
AT ITER 112 NEW BEST:: SOT 169921 SOS 134678 HAS SOPS 80069 HAS SOUS 19780 HAS SOUPS 12116 WITH SCORE 12250.678
AT ITER 122 NEW BEST:: SOT 169950 SOS 134172 HAS SOPS 80033 HAS SOUS 19682 HAS SOUPS 12065 WITH SCORE 12199.172
AT ITER 123 NEW BEST:: SOT 169970 SOS 134192 HAS SOPS 80053 HAS SOUS 19672 HAS SOUPS 12055 WITH SCORE 12189.192
AT ITER 127 NEW BEST:: SOT 170000 SOS 134206 HAS SOPS 80067 HAS SOUS 19617 HAS SOUPS 12000 WITH SCORE 12134.206
AT ITER 129 NEW BEST:: SOT 169207 SOS 132418 HAS SOPS 79346 HAS SOUS 19553 HAS SOUPS 11972 WITH SCORE 12104.418
AT ITER 137 NEW BEST:: SOT 169205 SOS 132416 HAS SOPS 79344 HAS SOUS 19551 HAS SOUPS 11970 WITH SCORE 12102.416
AT ITER 143 NEW BEST:: SOT 168831 SOS 132067 HAS SOPS 79120 HAS SOUS 19103 HAS SOUPS 11744 WITH SCORE 11876.067
AT ITER 148 NEW BEST:: SOT 168825 SOS 132103 HAS SOPS 79134 HAS SOUS 19097 HAS SOUPS 11738 WITH SCORE 11870.103
AT ITER 165 NEW BEST:: SOT 168706 SOS 131866 HAS SOPS 78897 HAS SOUS 19036 HAS SOUPS 11677 WITH SCORE 11808.866
AT ITER 166 NEW BEST:: SOT 168694 SOS 131452 HAS SOPS 78483 HAS SOUS 19030 HAS SOUPS 11671 WITH SCORE 11802.452
AT ITER 167 NEW BEST:: SOT 168713 SOS 130590 HAS SOPS 78071 HAS SOUS 18897 HAS SOUPS 11583 WITH SCORE 11713.59
AT ITER 171 NEW BEST:: SOT 169043 SOS 130979 HAS SOPS 78106 HAS SOUS 18596 HAS SOUPS 11266 WITH SCORE 11396.979
AT ITER 173 NEW BEST:: SOT 169020 SOS 130956 HAS SOPS 78055 HAS SOUS 18545 HAS SOUPS 11215 WITH SCORE 11345.956
AT ITER 186 NEW BEST:: SOT 169039 SOS 131060 HAS SOPS 78159 HAS SOUS 18539 HAS SOUPS 11209 WITH SCORE 11340.06
AT ITER 192 NEW BEST:: SOT 169017 SOS 131038 HAS SOPS 78159 HAS SOUS 18495 HAS SOUPS 11165 WITH SCORE 11296.038
AT ITER 196 NEW BEST:: SOT 168832 SOS 132059 HAS SOPS 78531 HAS SOUS 18422 HAS SOUPS 11092 WITH SCORE 11224.059
AT ITER 201 NEW BEST:: SOT 168589 SOS 131674 HAS SOPS 78433 HAS SOUS 18330 HAS SOUPS 11061 WITH SCORE 11192.674
AT ITER 210 NEW BEST:: SOT 168518 SOS 130512 HAS SOPS 77781 HAS SOUS 18252 HAS SOUPS 11034 WITH SCORE 11164.512
AT ITER 217 NEW BEST:: SOT 167846 SOS 129840 HAS SOPS 77589 HAS SOUS 18252 HAS SOUPS 11034 WITH SCORE 11163.84
AT ITER 235 NEW BEST:: SOT 167971 SOS 130020 HAS SOPS 77439 HAS SOUS 17909 HAS SOUPS 10623 WITH SCORE 10753.02
AT ITER 237 NEW BEST:: SOT 167957 SOS 130006 HAS SOPS 77427 HAS SOUS 17909 HAS SOUPS 10623 WITH SCORE 10753.006
AT ITER 241 NEW BEST:: SOT 167937 SOS 129966 HAS SOPS 77387 HAS SOUS 17889 HAS SOUPS 10603 WITH SCORE 10732.966
AT ITER 252 NEW BEST:: SOT 167883 SOS 129744 HAS SOPS 77298 HAS SOUS 17781 HAS SOUPS 10514 WITH SCORE 10643.744
AT ITER 256 NEW BEST:: SOT 167883 SOS 129459 HAS SOPS 77008 HAS SOUS 17729 HAS SOUPS 10462 WITH SCORE 10591.459
AT ITER 257 NEW BEST:: SOT 167884 SOS 129460 HAS SOPS 76992 HAS SOUS 17713 HAS SOUPS 10446 WITH SCORE 10575.46
AT ITER 258 NEW BEST:: SOT 167880 SOS 126678 HAS SOPS 74348 HAS SOUS 17691 HAS SOUPS 10424 WITH SCORE 10550.678
AT ITER 263 NEW BEST:: SOT 167871 SOS 126669 HAS SOPS 74339 HAS SOUS 17682 HAS SOUPS 10415 WITH SCORE 10541.669
AT ITER 291 NEW BEST:: SOT 167773 SOS 126473 HAS SOPS 74273 HAS SOUS 17616 HAS SOUPS 10382 WITH SCORE 10508.473
AT ITER 299 NEW BEST:: SOT 167455 SOS 126155 HAS SOPS 73955 HAS SOUS 17616 HAS SOUPS 10382 WITH SCORE 10508.155
AT ITER 303 NEW BEST:: SOT 167586 SOS 126472 HAS SOPS 74105 HAS SOUS 17608 HAS SOUPS 10379 WITH SCORE 10505.472
AT ITER 309 NEW BEST:: SOT 167564 SOS 125713 HAS SOPS 73346 HAS SOUS 17597 HAS SOUPS 10368 WITH SCORE 10493.713
AT ITER 316 NEW BEST:: SOT 167560 SOS 125713 HAS SOPS 73340 HAS SOUS 17595 HAS SOUPS 10366 WITH SCORE 10491.713
AT ITER 322 NEW BEST:: SOT 167552 SOS 125697 HAS SOPS 73324 HAS SOUS 17587 HAS SOUPS 10358 WITH SCORE 10483.697
AT ITER 328 NEW BEST:: SOT 167536 SOS 122859 HAS SOPS 70618 HAS SOUS 17570 HAS SOUPS 10341 WITH SCORE 10463.859
AT ITER 334 NEW BEST:: SOT 167491 SOS 122375 HAS SOPS 70334 HAS SOUS 17493 HAS SOUPS 10284 WITH SCORE 10406.375
AT ITER 340 NEW BEST:: SOT 167474 SOS 122190 HAS SOPS 70149 HAS SOUS 17478 HAS SOUPS 10269 WITH SCORE 10391.19
AT ITER 356 NEW BEST:: SOT 167461 SOS 122118 HAS SOPS 70101 HAS SOUS 17454 HAS SOUPS 10246 WITH SCORE 10368.118
AT ITER 360 NEW BEST:: SOT 167455 SOS 122052 HAS SOPS 70035 HAS SOUS 17448 HAS SOUPS 10240 WITH SCORE 10362.052
AT ITER 361 NEW BEST:: SOT 167410 SOS 121465 HAS SOPS 69448 HAS SOUS 17273 HAS SOUPS 10065 WITH SCORE 10186.465
AT ITER 366 NEW BEST:: SOT 167414 SOS 121361 HAS SOPS 69424 HAS SOUS 17261 HAS SOUPS 10061 WITH SCORE 10182.361
AT ITER 367 NEW BEST:: SOT 166951 SOS 120884 HAS SOPS 69187 HAS SOUS 17247 HAS SOUPS 10047 WITH SCORE 10167.884
AT ITER 384 NEW BEST:: SOT 166550 SOS 120270 HAS SOPS 68911 HAS SOUS 17226 HAS SOUPS 10033 WITH SCORE 10153.27
AT ITER 391 NEW BEST:: SOT 166539 SOS 121048 HAS SOPS 69689 HAS SOUS 17215 HAS SOUPS 10022 WITH SCORE 10143.048
AT ITER 395 NEW BEST:: SOT 166419 SOS 121063 HAS SOPS 69704 HAS SOUS 16671 HAS SOUPS 9478 WITH SCORE 9599.063
AT ITER 404 NEW BEST:: SOT 166403 SOS 120519 HAS SOPS 69160 HAS SOUS 16663 HAS SOUPS 9470 WITH SCORE 9590.519
AT ITER 433 NEW BEST:: SOT 166390 SOS 120651 HAS SOPS 69256 HAS SOUS 16662 HAS SOUPS 9469 WITH SCORE 9589.651
AT ITER 434 NEW BEST:: SOT 166365 SOS 120646 HAS SOPS 69251 HAS SOUS 16652 HAS SOUPS 9459 WITH SCORE 9579.646
AT ITER 439 NEW BEST:: SOT 166353 SOS 120514 HAS SOPS 69239 HAS SOUS 16631 HAS SOUPS 9450 WITH SCORE 9570.514
AT ITER 479 NEW BEST:: SOT 166353 SOS 120507 HAS SOPS 69232 HAS SOUS 16631 HAS SOUPS 9450 WITH SCORE 9570.507
AT ITER 488 NEW BEST:: SOT 165567 SOS 119250 HAS SOPS 68794 HAS SOUS 16387 HAS SOUPS 9337 WITH SCORE 9456.25
AT ITER 513 NEW BEST:: SOT 165555 SOS 117558 HAS SOPS 67126 HAS SOUS 16370 HAS SOUPS 9320 WITH SCORE 9437.558
AT ITER 517 NEW BEST:: SOT 165545 SOS 117448 HAS SOPS 67016 HAS SOUS 16360 HAS SOUPS 9310 WITH SCORE 9427.448
AT ITER 520 NEW BEST:: SOT 165545 SOS 117448 HAS SOPS 67016 HAS SOUS 16359 HAS SOUPS 9304 WITH SCORE 9421.448
AT ITER 529 NEW BEST:: SOT 165448 SOS 117358 HAS SOPS 67255 HAS SOUS 16268 HAS SOUPS 9260 WITH SCORE 9377.358
AT ITER 542 NEW BEST:: SOT 165446 SOS 117356 HAS SOPS 67251 HAS SOUS 16266 HAS SOUPS 9258 WITH SCORE 9375.356
AT ITER 558 NEW BEST:: SOT 165356 SOS 117523 HAS SOPS 67295 HAS SOUS 16221 HAS SOUPS 9226 WITH SCORE 9343.523
AT ITER 579 NEW BEST:: SOT 165353 SOS 116641 HAS SOPS 66603 HAS SOUS 16199 HAS SOUPS 9223 WITH SCORE 9339.641
AT ITER 591 NEW BEST:: SOT 164841 SOS 116103 HAS SOPS 66347 HAS SOUS 16197 HAS SOUPS 9221 WITH SCORE 9337.103
AT ITER 598 NEW BEST:: SOT 164910 SOS 115671 HAS SOPS 66115 HAS SOUS 16165 HAS SOUPS 9209 WITH SCORE 9324.671
AT ITER 599 NEW BEST:: SOT 164888 SOS 115645 HAS SOPS 66089 HAS SOUS 16156 HAS SOUPS 9200 WITH SCORE 9315.645
AT ITER 609 NEW BEST:: SOT 164837 SOS 115594 HAS SOPS 66089 HAS SOUS 16146 HAS SOUPS 9190 WITH SCORE 9305.594
AT ITER 639 NEW BEST:: SOT 164837 SOS 115528 HAS SOPS 66033 HAS SOUS 16145 HAS SOUPS 9190 WITH SCORE 9305.528
AT ITER 665 NEW BEST:: SOT 164835 SOS 115526 HAS SOPS 66031 HAS SOUS 16142 HAS SOUPS 9187 WITH SCORE 9302.526
AT ITER 679 NEW BEST:: SOT 164818 SOS 115237 HAS SOPS 65742 HAS SOUS 16141 HAS SOUPS 9186 WITH SCORE 9301.237
AT ITER 684 NEW BEST:: SOT 164292 SOS 114201 HAS SOPS 65444 HAS SOUS 16078 HAS SOUPS 9170 WITH SCORE 9284.201
AT ITER 690 NEW BEST:: SOT 164265 SOS 113847 HAS SOPS 65240 HAS SOUS 16037 HAS SOUPS 9144 WITH SCORE 9257.847
AT ITER 693 NEW BEST:: SOT 164262 SOS 114430 HAS SOPS 65614 HAS SOUS 16034 HAS SOUPS 9141 WITH SCORE 9255.43
AT ITER 729 NEW BEST:: SOT 164250 SOS 114298 HAS SOPS 65482 HAS SOUS 16006 HAS SOUPS 9113 WITH SCORE 9227.298
AT ITER 730 NEW BEST:: SOT 164218 SOS 114364 HAS SOPS 65470 HAS SOUS 15998 HAS SOUPS 9105 WITH SCORE 9219.364
AT ITER 734 NEW BEST:: SOT 164345 SOS 114523 HAS SOPS 65629 HAS SOUS 15977 HAS SOUPS 9084 WITH SCORE 9198.523
AT ITER 742 NEW BEST:: SOT 164313 SOS 114069 HAS SOPS 65565 HAS SOUS 15913 HAS SOUPS 9059 WITH SCORE 9173.069
AT ITER 744 NEW BEST:: SOT 164577 SOS 114428 HAS SOPS 65798 HAS SOUS 15906 HAS SOUPS 9052 WITH SCORE 9166.428
AT ITER 752 NEW BEST:: SOT 164547 SOS 114370 HAS SOPS 65768 HAS SOUS 15865 HAS SOUPS 9033 WITH SCORE 9147.37
AT ITER 761 NEW BEST:: SOT 164170 SOS 113744 HAS SOPS 65526 HAS SOUS 15808 HAS SOUPS 9008 WITH SCORE 9121.744
AT ITER 772 NEW BEST:: SOT 164161 SOS 113536 HAS SOPS 65418 HAS SOUS 15792 HAS SOUPS 9002 WITH SCORE 9115.536
AT ITER 776 NEW BEST:: SOT 164311 SOS 113686 HAS SOPS 65448 HAS SOUS 15772 HAS SOUPS 8982 WITH SCORE 9095.686
AT ITER 777 NEW BEST:: SOT 163408 SOS 111014 HAS SOPS 64039 HAS SOUS 15711 HAS SOUPS 8969 WITH SCORE 9080.014
AT ITER 790 NEW BEST:: SOT 163395 SOS 110845 HAS SOPS 64000 HAS SOUS 15698 HAS SOUPS 8969 WITH SCORE 9079.845
AT ITER 802 NEW BEST:: SOT 163408 SOS 110866 HAS SOPS 63985 HAS SOUS 15698 HAS SOUPS 8945 WITH SCORE 9055.866
AT ITER 815 NEW BEST:: SOT 163340 SOS 108385 HAS SOPS 61504 HAS SOUS 15629 HAS SOUPS 8876 WITH SCORE 8984.385
AT ITER 821 NEW BEST:: SOT 163359 SOS 108324 HAS SOPS 61504 HAS SOUS 15618 HAS SOUPS 8876 WITH SCORE 8984.324
AT ITER 843 NEW BEST:: SOT 163349 SOS 107874 HAS SOPS 61114 HAS SOUS 15602 HAS SOUPS 8866 WITH SCORE 8973.874
AT ITER 862 NEW BEST:: SOT 163384 SOS 107917 HAS SOPS 61137 HAS SOUS 15607 HAS SOUPS 8863 WITH SCORE 8970.917
AT ITER 864 NEW BEST:: SOT 163398 SOS 107740 HAS SOPS 61170 HAS SOUS 15559 HAS SOUPS 8836 WITH SCORE 8943.74
AT ITER 872 NEW BEST:: SOT 163641 SOS 107984 HAS SOPS 61282 HAS SOUS 15542 HAS SOUPS 8819 WITH SCORE 8926.984
AT ITER 874 NEW BEST:: SOT 163637 SOS 107980 HAS SOPS 61278 HAS SOUS 15540 HAS SOUPS 8817 WITH SCORE 8924.98
AT ITER 908 NEW BEST:: SOT 163747 SOS 108090 HAS SOPS 61333 HAS SOUS 15530 HAS SOUPS 8807 WITH SCORE 8915.09
AT ITER 914 NEW BEST:: SOT 163844 SOS 108205 HAS SOPS 61394 HAS SOUS 15520 HAS SOUPS 8797 WITH SCORE 8905.205
AT ITER 929 NEW BEST:: SOT 163826 SOS 108187 HAS SOPS 61376 HAS SOUS 15520 HAS SOUPS 8797 WITH SCORE 8905.187
AT ITER 937 NEW BEST:: SOT 163826 SOS 108113 HAS SOPS 61320 HAS SOUS 15509 HAS SOUPS 8786 WITH SCORE 8894.113
AT ITER 947 NEW BEST:: SOT 163825 SOS 108112 HAS SOPS 61319 HAS SOUS 15508 HAS SOUPS 8785 WITH SCORE 8893.112
AT ITER 982 NEW BEST:: SOT 163486 SOS 107750 HAS SOPS 61077 HAS SOUS 15522 HAS SOUPS 8769 WITH SCORE 8876.75
AT ITER 992 NEW BEST:: SOT 163444 SOS 107686 HAS SOPS 61061 HAS SOUS 15415 HAS SOUPS 8711 WITH SCORE 8818.686
AT ITER 995 NEW BEST:: SOT 163042 SOS 106777 HAS SOPS 60666 HAS SOUS 15364 HAS SOUPS 8695 WITH SCORE 8801.777
AT ITER 999 NEW BEST:: SOT 162901 SOS 105861 HAS SOPS 59750 HAS SOUS 15338 HAS SOUPS 8669 WITH SCORE 8774.861
AT ITER 1006 NEW BEST:: SOT 162793 SOS 105672 HAS SOPS 59696 HAS SOUS 15302 HAS SOUPS 8660 WITH SCORE 8765.672
AT ITER 1048 NEW BEST:: SOT 162791 SOS 105624 HAS SOPS 59666 HAS SOUS 15282 HAS SOUPS 8640 WITH SCORE 8745.624
AT ITER 1061 NEW BEST:: SOT 162791 SOS 105624 HAS SOPS 59666 HAS SOUS 15279 HAS SOUPS 8638 WITH SCORE 8743.624
AT ITER 1067 NEW BEST:: SOT 162781 SOS 105349 HAS SOPS 59609 HAS SOUS 15269 HAS SOUPS 8633 WITH SCORE 8738.349
AT ITER 1072 NEW BEST:: SOT 162781 SOS 105284 HAS SOPS 59535 HAS SOUS 15269 HAS SOUPS 8633 WITH SCORE 8738.284
AT ITER 1075 NEW BEST:: SOT 162760 SOS 105263 HAS SOPS 59535 HAS SOUS 15269 HAS SOUPS 8633 WITH SCORE 8738.263
AT ITER 1082 NEW BEST:: SOT 162744 SOS 105247 HAS SOPS 59535 HAS SOUS 15253 HAS SOUPS 8617 WITH SCORE 8722.247
AT ITER 1089 NEW BEST:: SOT 162669 SOS 105097 HAS SOPS 59485 HAS SOUS 15221 HAS SOUPS 8610 WITH SCORE 8715.097
AT ITER 1091 NEW BEST:: SOT 162640 SOS 105068 HAS SOPS 59456 HAS SOUS 15206 HAS SOUPS 8595 WITH SCORE 8700.068
AT ITER 1105 NEW BEST:: SOT 162636 SOS 104910 HAS SOPS 59318 HAS SOUS 15204 HAS SOUPS 8595 WITH SCORE 8699.91
AT ITER 1114 NEW BEST:: SOT 162623 SOS 104897 HAS SOPS 59318 HAS SOUS 15204 HAS SOUPS 8595 WITH SCORE 8699.897
AT ITER 1143 NEW BEST:: SOT 162625 SOS 104897 HAS SOPS 59318 HAS SOUS 15203 HAS SOUPS 8594 WITH SCORE 8698.897
AT ITER 1147 NEW BEST:: SOT 162625 SOS 104897 HAS SOPS 59318 HAS SOUS 15200 HAS SOUPS 8592 WITH SCORE 8696.897
AT ITER 1179 NEW BEST:: SOT 162546 SOS 104793 HAS SOPS 59107 HAS SOUS 15214 HAS SOUPS 8588 WITH SCORE 8692.793
AT ITER 1245 NEW BEST:: SOT 162523 SOS 104770 HAS SOPS 59097 HAS SOUS 15204 HAS SOUPS 8578 WITH SCORE 8682.77
AT ITER 1247 NEW BEST:: SOT 162517 SOS 104827 HAS SOPS 59064 HAS SOUS 15180 HAS SOUPS 8554 WITH SCORE 8658.827
AT ITER 1249 NEW BEST:: SOT 162110 SOS 104000 HAS SOPS 58797 HAS SOUS 15123 HAS SOUPS 8549 WITH SCORE 8653.0
AT ITER 1258 NEW BEST:: SOT 162045 SOS 103564 HAS SOPS 58541 HAS SOUS 15091 HAS SOUPS 8535 WITH SCORE 8638.564
AT ITER 1279 NEW BEST:: SOT 162041 SOS 103564 HAS SOPS 58541 HAS SOUS 15087 HAS SOUPS 8531 WITH SCORE 8634.564
AT ITER 1282 NEW BEST:: SOT 161856 SOS 103264 HAS SOPS 58436 HAS SOUS 15067 HAS SOUPS 8526 WITH SCORE 8629.264
AT ITER 1311 NEW BEST:: SOT 161853 SOS 103258 HAS SOPS 58430 HAS SOUS 15063 HAS SOUPS 8522 WITH SCORE 8625.258
AT ITER 1344 NEW BEST:: SOT 161826 SOS 103034 HAS SOPS 58258 HAS SOUS 15052 HAS SOUPS 8511 WITH SCORE 8614.034
AT ITER 1351 NEW BEST:: SOT 161695 SOS 102460 HAS SOPS 57892 HAS SOUS 15037 HAS SOUPS 8509 WITH SCORE 8611.46
AT ITER 1364 NEW BEST:: SOT 161676 SOS 102364 HAS SOPS 57838 HAS SOUS 15024 HAS SOUPS 8504 WITH SCORE 8606.364
AT ITER 1365 NEW BEST:: SOT 161668 SOS 102194 HAS SOPS 57800 HAS SOUS 15007 HAS SOUPS 8497 WITH SCORE 8599.194
AT ITER 1367 NEW BEST:: SOT 161200 SOS 101258 HAS SOPS 57449 HAS SOUS 14929 HAS SOUPS 8458 WITH SCORE 8559.258
AT ITER 1411 NEW BEST:: SOT 161199 SOS 100887 HAS SOPS 57267 HAS SOUS 14913 HAS SOUPS 8451 WITH SCORE 8551.887
AT ITER 1435 NEW BEST:: SOT 161203 SOS 100891 HAS SOPS 57247 HAS SOUS 14899 HAS SOUPS 8437 WITH SCORE 8537.891
AT ITER 1491 NEW BEST:: SOT 160788 SOS 98372 HAS SOPS 55351 HAS SOUS 14855 HAS SOUPS 8428 WITH SCORE 8526.372
AT ITER 1499 NEW BEST:: SOT 160772 SOS 98348 HAS SOPS 55343 HAS SOUS 14839 HAS SOUPS 8420 WITH SCORE 8518.348
AT ITER 1524 NEW BEST:: SOT 160768 SOS 98344 HAS SOPS 55343 HAS SOUS 14839 HAS SOUPS 8420 WITH SCORE 8518.344
AT ITER 1527 NEW BEST:: SOT 160752 SOS 98222 HAS SOPS 55129 HAS SOUS 14839 HAS SOUPS 8414 WITH SCORE 8512.222
AT ITER 1533 NEW BEST:: SOT 160317 SOS 96979 HAS SOPS 54102 HAS SOUS 14826 HAS SOUPS 8401 WITH SCORE 8497.979
AT ITER 1553 NEW BEST:: SOT 160311 SOS 96973 HAS SOPS 54102 HAS SOUS 14814 HAS SOUPS 8389 WITH SCORE 8485.973
AT ITER 1570 NEW BEST:: SOT 160197 SOS 96805 HAS SOPS 53982 HAS SOUS 14814 HAS SOUPS 8389 WITH SCORE 8485.805
AT ITER 1615 NEW BEST:: SOT 160195 SOS 96834 HAS SOPS 53987 HAS SOUS 14813 HAS SOUPS 8385 WITH SCORE 8481.834
AT ITER 1631 NEW BEST:: SOT 160271 SOS 96958 HAS SOPS 54027 HAS SOUS 14824 HAS SOUPS 8384 WITH SCORE 8480.958
AT ITER 1634 NEW BEST:: SOT 159751 SOS 96092 HAS SOPS 53213 HAS SOUS 14779 HAS SOUPS 8287 WITH SCORE 8383.092
AT ITER 1638 NEW BEST:: SOT 159737 SOS 96176 HAS SOPS 53235 HAS SOUS 14773 HAS SOUPS 8281 WITH SCORE 8377.176
AT ITER 1641 NEW BEST:: SOT 159543 SOS 95725 HAS SOPS 53030 HAS SOUS 14743 HAS SOUPS 8267 WITH SCORE 8362.725
AT ITER 1642 NEW BEST:: SOT 159621 SOS 95784 HAS SOPS 53078 HAS SOUS 14717 HAS SOUPS 8252 WITH SCORE 8347.784
AT ITER 1648 NEW BEST:: SOT 159670 SOS 95833 HAS SOPS 53102 HAS SOUS 14711 HAS SOUPS 8246 WITH SCORE 8341.833
AT ITER 1654 NEW BEST:: SOT 159678 SOS 95809 HAS SOPS 53086 HAS SOUS 14711 HAS SOUPS 8246 WITH SCORE 8341.809
AT ITER 1656 NEW BEST:: SOT 159628 SOS 95733 HAS SOPS 53046 HAS SOUS 14695 HAS SOUPS 8234 WITH SCORE 8329.733
AT ITER 1681 NEW BEST:: SOT 159102 SOS 94741 HAS SOPS 52324 HAS SOUS 14691 HAS SOUPS 8230 WITH SCORE 8324.741
AT ITER 1692 NEW BEST:: SOT 159068 SOS 94328 HAS SOPS 51926 HAS SOUS 14694 HAS SOUPS 8210 WITH SCORE 8304.328
AT ITER 1709 NEW BEST:: SOT 159071 SOS 94219 HAS SOPS 51872 HAS SOUS 14682 HAS SOUPS 8204 WITH SCORE 8298.219
AT ITER 1724 NEW BEST:: SOT 159091 SOS 93126 HAS SOPS 50833 HAS SOUS 14661 HAS SOUPS 8183 WITH SCORE 8276.126
AT ITER 1734 NEW BEST:: SOT 159051 SOS 93042 HAS SOPS 50801 HAS SOUS 14657 HAS SOUPS 8183 WITH SCORE 8276.042
AT ITER 1756 NEW BEST:: SOT 158853 SOS 92496 HAS SOPS 50283 HAS SOUS 14649 HAS SOUPS 8155 WITH SCORE 8247.496
AT ITER 1779 NEW BEST:: SOT 158907 SOS 92555 HAS SOPS 50286 HAS SOUS 14651 HAS SOUPS 8152 WITH SCORE 8244.555
AT ITER 1782 NEW BEST:: SOT 158967 SOS 92648 HAS SOPS 50296 HAS SOUS 14665 HAS SOUPS 8149 WITH SCORE 8241.648
AT ITER 1790 NEW BEST:: SOT 158824 SOS 92384 HAS SOPS 50087 HAS SOUS 14643 HAS SOUPS 8127 WITH SCORE 8219.384
AT ITER 1793 NEW BEST:: SOT 158839 SOS 91910 HAS SOPS 49698 HAS SOUS 14618 HAS SOUPS 8112 WITH SCORE 8203.91
AT ITER 1800 NEW BEST:: SOT 158806 SOS 91856 HAS SOPS 49680 HAS SOUS 14615 HAS SOUPS 8112 WITH SCORE 8203.856
AT ITER 1814 NEW BEST:: SOT 158451 SOS 91461 HAS SOPS 49325 HAS SOUS 14625 HAS SOUPS 8092 WITH SCORE 8183.461
AT ITER 1848 NEW BEST:: SOT 158451 SOS 91443 HAS SOPS 49319 HAS SOUS 14623 HAS SOUPS 8088 WITH SCORE 8179.443
AT ITER 1857 NEW BEST:: SOT 158512 SOS 91530 HAS SOPS 49361 HAS SOUS 14602 HAS SOUPS 8067 WITH SCORE 8158.53
AT ITER 1863 NEW BEST:: SOT 158507 SOS 91525 HAS SOPS 49361 HAS SOUS 14602 HAS SOUPS 8067 WITH SCORE 8158.525
AT ITER 1865 NEW BEST:: SOT 158639 SOS 91741 HAS SOPS 49433 HAS SOUS 14608 HAS SOUPS 8053 WITH SCORE 8144.741
AT ITER 1868 NEW BEST:: SOT 158636 SOS 91735 HAS SOPS 49431 HAS SOUS 14607 HAS SOUPS 8053 WITH SCORE 8144.735
AT ITER 1895 NEW BEST:: SOT 158665 SOS 91445 HAS SOPS 49431 HAS SOUS 14578 HAS SOUPS 8053 WITH SCORE 8144.445
AT ITER 1903 NEW BEST:: SOT 158673 SOS 91473 HAS SOPS 49431 HAS SOUS 14578 HAS SOUPS 8049 WITH SCORE 8140.473
AT ITER 1908 NEW BEST:: SOT 158727 SOS 91545 HAS SOPS 49458 HAS SOUS 14551 HAS SOUPS 8022 WITH SCORE 8113.545
AT ITER 1938 NEW BEST:: SOT 158726 SOS 91544 HAS SOPS 49457 HAS SOUS 14550 HAS SOUPS 8021 WITH SCORE 8112.544
AT ITER 1960 NEW BEST:: SOT 158752 SOS 91632 HAS SOPS 49490 HAS SOUS 14552 HAS SOUPS 8015 WITH SCORE 8106.632
AT ITER 1984 NEW BEST:: SOT 158760 SOS 91580 HAS SOPS 49444 HAS SOUS 14544 HAS SOUPS 8005 WITH SCORE 8096.58
AT ITER 2031 NEW BEST:: SOT 158699 SOS 91263 HAS SOPS 49223 HAS SOUS 14540 HAS SOUPS 8001 WITH SCORE 8092.263
AT ITER 2037 NEW BEST:: SOT 158695 SOS 91251 HAS SOPS 49210 HAS SOUS 14536 HAS SOUPS 7997 WITH SCORE 8088.251
AT ITER 2041 NEW BEST:: SOT 158685 SOS 91241 HAS SOPS 49200 HAS SOUS 14513 HAS SOUPS 7982 WITH SCORE 8073.241
AT ITER 2047 NEW BEST:: SOT 158673 SOS 91217 HAS SOPS 49192 HAS SOUS 14500 HAS SOUPS 7977 WITH SCORE 8068.217
AT ITER 2070 NEW BEST:: SOT 158621 SOS 91140 HAS SOPS 49158 HAS SOUS 14481 HAS SOUPS 7967 WITH SCORE 8058.14
AT ITER 2104 NEW BEST:: SOT 158546 SOS 91018 HAS SOPS 49092 HAS SOUS 14381 HAS SOUPS 7901 WITH SCORE 7992.018
AT ITER 2122 NEW BEST:: SOT 158495 SOS 90881 HAS SOPS 49016 HAS SOUS 14368 HAS SOUPS 7892 WITH SCORE 7982.881
AT ITER 2136 NEW BEST:: SOT 158461 SOS 90852 HAS SOPS 49005 HAS SOUS 14322 HAS SOUPS 7869 WITH SCORE 7959.852
AT ITER 2143 NEW BEST:: SOT 158469 SOS 90732 HAS SOPS 48965 HAS SOUS 14314 HAS SOUPS 7869 WITH SCORE 7959.732
AT ITER 2173 NEW BEST:: SOT 158298 SOS 90390 HAS SOPS 48851 HAS SOUS 14257 HAS SOUPS 7869 WITH SCORE 7959.39
AT ITER 2184 NEW BEST:: SOT 158301 SOS 90425 HAS SOPS 48907 HAS SOUS 14251 HAS SOUPS 7866 WITH SCORE 7956.425
AT ITER 2215 NEW BEST:: SOT 158331 SOS 90425 HAS SOPS 48897 HAS SOUS 14241 HAS SOUPS 7856 WITH SCORE 7946.425
AT ITER 2219 NEW BEST:: SOT 157674 SOS 89254 HAS SOPS 47954 HAS SOUS 14120 HAS SOUPS 7735 WITH SCORE 7824.254
AT ITER 2247 NEW BEST:: SOT 157671 SOS 89284 HAS SOPS 47963 HAS SOUS 14119 HAS SOUPS 7733 WITH SCORE 7822.284
AT ITER 2284 NEW BEST:: SOT 157616 SOS 89219 HAS SOPS 47928 HAS SOUS 14119 HAS SOUPS 7733 WITH SCORE 7822.219
AT ITER 2285 NEW BEST:: SOT 157616 SOS 89219 HAS SOPS 47928 HAS SOUS 14113 HAS SOUPS 7729 WITH SCORE 7818.219
AT ITER 2305 NEW BEST:: SOT 157813 SOS 89616 HAS SOPS 48045 HAS SOUS 14135 HAS SOUPS 7711 WITH SCORE 7800.616
AT ITER 2326 NEW BEST:: SOT 157822 SOS 89602 HAS SOPS 48032 HAS SOUS 14136 HAS SOUPS 7711 WITH SCORE 7800.602
AT ITER 2370 NEW BEST:: SOT 157826 SOS 89636 HAS SOPS 48055 HAS SOUS 14134 HAS SOUPS 7709 WITH SCORE 7798.636
AT ITER 2371 NEW BEST:: SOT 157830 SOS 89620 HAS SOPS 48055 HAS SOUS 14134 HAS SOUPS 7709 WITH SCORE 7798.62
AT ITER 2386 NEW BEST:: SOT 157553 SOS 89066 HAS SOPS 47839 HAS SOUS 14098 HAS SOUPS 7689 WITH SCORE 7778.066
AT ITER 2422 NEW BEST:: SOT 157530 SOS 89043 HAS SOPS 47839 HAS SOUS 14098 HAS SOUPS 7689 WITH SCORE 7778.043
AT ITER 2467 NEW BEST:: SOT 157718 SOS 88356 HAS SOPS 46925 HAS SOUS 14099 HAS SOUPS 7681 WITH SCORE 7769.356
AT ITER 2481 NEW BEST:: SOT 157714 SOS 88352 HAS SOPS 46912 HAS SOUS 14094 HAS SOUPS 7676 WITH SCORE 7764.352
AT ITER 2487 NEW BEST:: SOT 157714 SOS 88384 HAS SOPS 46824 HAS SOUS 14078 HAS SOUPS 7652 WITH SCORE 7740.384
AT ITER 2496 NEW BEST:: SOT 157729 SOS 88414 HAS SOPS 46834 HAS SOUS 14056 HAS SOUPS 7637 WITH SCORE 7725.414
AT ITER 2522 NEW BEST:: SOT 157728 SOS 88413 HAS SOPS 46834 HAS SOUS 14056 HAS SOUPS 7637 WITH SCORE 7725.413
AT ITER 2535 NEW BEST:: SOT 157539 SOS 88203 HAS SOPS 46729 HAS SOUS 14026 HAS SOUPS 7607 WITH SCORE 7695.203
AT ITER 2553 NEW BEST:: SOT 157511 SOS 88154 HAS SOPS 46715 HAS SOUS 14019 HAS SOUPS 7607 WITH SCORE 7695.154
AT ITER 2573 NEW BEST:: SOT 157904 SOS 88987 HAS SOPS 46995 HAS SOUS 14027 HAS SOUPS 7571 WITH SCORE 7659.987
AT ITER 2584 NEW BEST:: SOT 157744 SOS 88822 HAS SOPS 46845 HAS SOUS 14026 HAS SOUPS 7555 WITH SCORE 7643.822
AT ITER 2588 NEW BEST:: SOT 157740 SOS 88816 HAS SOPS 46827 HAS SOUS 14017 HAS SOUPS 7544 WITH SCORE 7632.816
AT ITER 2592 NEW BEST:: SOT 157826 SOS 88965 HAS SOPS 46873 HAS SOUS 14020 HAS SOUPS 7537 WITH SCORE 7625.965
AT ITER 2610 NEW BEST:: SOT 157819 SOS 89040 HAS SOPS 46868 HAS SOUS 14017 HAS SOUPS 7524 WITH SCORE 7613.04
AT ITER 2612 NEW BEST:: SOT 157824 SOS 89052 HAS SOPS 46872 HAS SOUS 14016 HAS SOUPS 7523 WITH SCORE 7612.052
AT ITER 2621 NEW BEST:: SOT 157822 SOS 89042 HAS SOPS 46860 HAS SOUS 14011 HAS SOUPS 7518 WITH SCORE 7607.042
AT ITER 2622 NEW BEST:: SOT 157875 SOS 89151 HAS SOPS 46897 HAS SOUS 14025 HAS SOUPS 7515 WITH SCORE 7604.151
AT ITER 2626 NEW BEST:: SOT 157597 SOS 88841 HAS SOPS 46619 HAS SOUS 14037 HAS SOUPS 7505 WITH SCORE 7593.841
AT ITER 2652 NEW BEST:: SOT 157581 SOS 88809 HAS SOPS 46747 HAS SOUS 13989 HAS SOUPS 7473 WITH SCORE 7561.809
AT ITER 2674 NEW BEST:: SOT 157581 SOS 88809 HAS SOPS 46747 HAS SOUS 13962 HAS SOUPS 7458 WITH SCORE 7546.809
AT ITER 2730 NEW BEST:: SOT 157581 SOS 88809 HAS SOPS 46747 HAS SOUS 13956 HAS SOUPS 7454 WITH SCORE 7542.809
AT ITER 2732 NEW BEST:: SOT 158102 SOS 89557 HAS SOPS 47411 HAS SOUS 13891 HAS SOUPS 7421 WITH SCORE 7510.557
AT ITER 2749 NEW BEST:: SOT 158070 SOS 89533 HAS SOPS 47387 HAS SOUS 13887 HAS SOUPS 7413 WITH SCORE 7502.533
AT ITER 2831 NEW BEST:: SOT 158062 SOS 89480 HAS SOPS 47334 HAS SOUS 13879 HAS SOUPS 7405 WITH SCORE 7494.48
AT ITER 2843 NEW BEST:: SOT 158057 SOS 89420 HAS SOPS 47324 HAS SOUS 13874 HAS SOUPS 7405 WITH SCORE 7494.42
AT ITER 2847 NEW BEST:: SOT 158055 SOS 89418 HAS SOPS 47327 HAS SOUS 13874 HAS SOUPS 7405 WITH SCORE 7494.418
AT ITER 2859 NEW BEST:: SOT 158030 SOS 88616 HAS SOPS 46508 HAS SOUS 13860 HAS SOUPS 7391 WITH SCORE 7479.616
AT ITER 2894 NEW BEST:: SOT 157900 SOS 88284 HAS SOPS 46205 HAS SOUS 13835 HAS SOUPS 7364 WITH SCORE 7452.284
AT ITER 2936 NEW BEST:: SOT 157895 SOS 88279 HAS SOPS 46200 HAS SOUS 13830 HAS SOUPS 7359 WITH SCORE 7447.279
AT ITER 2966 NEW BEST:: SOT 157903 SOS 88295 HAS SOPS 46206 HAS SOUS 13830 HAS SOUPS 7358 WITH SCORE 7446.295
AT ITER 2976 NEW BEST:: SOT 157904 SOS 87294 HAS SOPS 45256 HAS SOUS 13831 HAS SOUPS 7359 WITH SCORE 7446.294
AT ITER 3001 NEW BEST:: SOT 157866 SOS 87247 HAS SOPS 45227 HAS SOUS 13829 HAS SOUPS 7357 WITH SCORE 7444.247
AT ITER 3021 NEW BEST:: SOT 157818 SOS 87143 HAS SOPS 45195 HAS SOUS 13829 HAS SOUPS 7357 WITH SCORE 7444.143
AT ITER 3092 NEW BEST:: SOT 157818 SOS 87103 HAS SOPS 45150 HAS SOUS 13824 HAS SOUPS 7352 WITH SCORE 7439.103
AT ITER 3104 NEW BEST:: SOT 157750 SOS 86984 HAS SOPS 45116 HAS SOUS 13807 HAS SOUPS 7352 WITH SCORE 7438.984
AT ITER 3108 NEW BEST:: SOT 157798 SOS 87032 HAS SOPS 45116 HAS SOUS 13781 HAS SOUPS 7342 WITH SCORE 7429.032
AT ITER 3127 NEW BEST:: SOT 157791 SOS 86992 HAS SOPS 44985 HAS SOUS 13793 HAS SOUPS 7341 WITH SCORE 7427.992
AT ITER 3178 NEW BEST:: SOT 157746 SOS 86902 HAS SOPS 44955 HAS SOUS 13778 HAS SOUPS 7341 WITH SCORE 7427.902
AT ITER 3184 NEW BEST:: SOT 157734 SOS 86746 HAS SOPS 44919 HAS SOUS 13765 HAS SOUPS 7340 WITH SCORE 7426.746
AT ITER 3208 NEW BEST:: SOT 157689 SOS 86386 HAS SOPS 44609 HAS SOUS 13760 HAS SOUPS 7335 WITH SCORE 7421.386
AT ITER 3248 NEW BEST:: SOT 157693 SOS 85483 HAS SOPS 43699 HAS SOUS 13725 HAS SOUPS 7300 WITH SCORE 7385.483
AT ITER 3256 NEW BEST:: SOT 157506 SOS 85177 HAS SOPS 43597 HAS SOUS 13670 HAS SOUPS 7294 WITH SCORE 7379.177
AT ITER 3268 NEW BEST:: SOT 157390 SOS 84921 HAS SOPS 43382 HAS SOUS 13656 HAS SOUPS 7280 WITH SCORE 7364.921
AT ITER 3275 NEW BEST:: SOT 157437 SOS 85025 HAS SOPS 43446 HAS SOUS 13660 HAS SOUPS 7274 WITH SCORE 7359.025
AT ITER 3287 NEW BEST:: SOT 157425 SOS 85013 HAS SOPS 43446 HAS SOUS 13660 HAS SOUPS 7274 WITH SCORE 7359.013
AT ITER 3289 NEW BEST:: SOT 157418 SOS 84933 HAS SOPS 43306 HAS SOUS 13665 HAS SOUPS 7273 WITH SCORE 7357.933
AT ITER 3298 NEW BEST:: SOT 157397 SOS 84912 HAS SOPS 43306 HAS SOUS 13665 HAS SOUPS 7273 WITH SCORE 7357.912
AT ITER 3320 NEW BEST:: SOT 157394 SOS 84905 HAS SOPS 43304 HAS SOUS 13664 HAS SOUPS 7273 WITH SCORE 7357.905
AT ITER 3345 NEW BEST:: SOT 157383 SOS 84887 HAS SOPS 43298 HAS SOUS 13663 HAS SOUPS 7273 WITH SCORE 7357.887
AT ITER 3403 NEW BEST:: SOT 157375 SOS 84879 HAS SOPS 43295 HAS SOUS 13663 HAS SOUPS 7273 WITH SCORE 7357.879
AT ITER 3415 NEW BEST:: SOT 157463 SOS 84967 HAS SOPS 43343 HAS SOUS 13655 HAS SOUPS 7265 WITH SCORE 7349.967
AT ITER 3425 NEW BEST:: SOT 157469 SOS 84999 HAS SOPS 43535 HAS SOUS 13636 HAS SOUPS 7262 WITH SCORE 7346.999
AT ITER 3470 NEW BEST:: SOT 157443 SOS 84929 HAS SOPS 43507 HAS SOUS 13622 HAS SOUPS 7254 WITH SCORE 7338.929
AT ITER 3540 NEW BEST:: SOT 157437 SOS 84904 HAS SOPS 43513 HAS SOUS 13610 HAS SOUPS 7247 WITH SCORE 7331.904
AT ITER 3555 NEW BEST:: SOT 157317 SOS 84664 HAS SOPS 43413 HAS SOUS 13580 HAS SOUPS 7227 WITH SCORE 7311.664
AT ITER 3588 NEW BEST:: SOT 157353 SOS 84740 HAS SOPS 43437 HAS SOUS 13581 HAS SOUPS 7224 WITH SCORE 7308.74
AT ITER 3628 NEW BEST:: SOT 157360 SOS 84838 HAS SOPS 43353 HAS SOUS 13605 HAS SOUPS 7222 WITH SCORE 7306.838
AT ITER 3652 NEW BEST:: SOT 157262 SOS 84582 HAS SOPS 43217 HAS SOUS 13580 HAS SOUPS 7205 WITH SCORE 7289.582
AT ITER 3704 NEW BEST:: SOT 157280 SOS 84582 HAS SOPS 43217 HAS SOUS 13571 HAS SOUPS 7196 WITH SCORE 7280.582
AT ITER 3709 NEW BEST:: SOT 157290 SOS 84377 HAS SOPS 42942 HAS SOUS 13561 HAS SOUPS 7166 WITH SCORE 7250.377
AT ITER 3747 NEW BEST:: SOT 157340 SOS 83071 HAS SOPS 41886 HAS SOUS 13536 HAS SOUPS 7166 WITH SCORE 7249.071
AT ITER 3752 NEW BEST:: SOT 157320 SOS 83015 HAS SOPS 41848 HAS SOUS 13526 HAS SOUPS 7158 WITH SCORE 7241.015
AT ITER 3775 NEW BEST:: SOT 157305 SOS 82925 HAS SOPS 41758 HAS SOUS 13490 HAS SOUPS 7122 WITH SCORE 7204.925
AT ITER 3790 NEW BEST:: SOT 157301 SOS 82899 HAS SOPS 41732 HAS SOUS 13484 HAS SOUPS 7116 WITH SCORE 7198.899
AT ITER 3799 NEW BEST:: SOT 157298 SOS 82897 HAS SOPS 41721 HAS SOUS 13484 HAS SOUPS 7115 WITH SCORE 7197.897
AT ITER 3811 NEW BEST:: SOT 157285 SOS 82821 HAS SOPS 41657 HAS SOUS 13479 HAS SOUPS 7111 WITH SCORE 7193.821
AT ITER 3821 NEW BEST:: SOT 157285 SOS 82821 HAS SOPS 41657 HAS SOUS 13470 HAS SOUPS 7106 WITH SCORE 7188.821
AT ITER 3896 NEW BEST:: SOT 157325 SOS 82861 HAS SOPS 41657 HAS SOUS 13452 HAS SOUPS 7096 WITH SCORE 7178.861
AT ITER 3902 NEW BEST:: SOT 157309 SOS 82869 HAS SOPS 41665 HAS SOUS 13447 HAS SOUPS 7091 WITH SCORE 7173.869
AT ITER 3914 NEW BEST:: SOT 157283 SOS 82799 HAS SOPS 41605 HAS SOUS 13443 HAS SOUPS 7087 WITH SCORE 7169.799
AT ITER 3915 NEW BEST:: SOT 157263 SOS 82743 HAS SOPS 41567 HAS SOUS 13433 HAS SOUPS 7079 WITH SCORE 7161.743
AT ITER 3948 NEW BEST:: SOT 157209 SOS 82689 HAS SOPS 41567 HAS SOUS 13423 HAS SOUPS 7069 WITH SCORE 7151.689
AT ITER 3995 NEW BEST:: SOT 157211 SOS 82566 HAS SOPS 41490 HAS SOUS 13417 HAS SOUPS 7064 WITH SCORE 7146.566
AT ITER 4012 NEW BEST:: SOT 157127 SOS 82398 HAS SOPS 41448 HAS SOUS 13396 HAS SOUPS 7064 WITH SCORE 7146.398
AT ITER 4037 NEW BEST:: SOT 157115 SOS 82323 HAS SOPS 41384 HAS SOUS 13391 HAS SOUPS 7060 WITH SCORE 7142.323
AT ITER 4087 NEW BEST:: SOT 157071 SOS 82251 HAS SOPS 41360 HAS SOUS 13387 HAS SOUPS 7060 WITH SCORE 7142.251
AT ITER 4122 NEW BEST:: SOT 156463 SOS 81251 HAS SOPS 41008 HAS SOUS 13319 HAS SOUPS 7046 WITH SCORE 7127.251
AT ITER 4162 NEW BEST:: SOT 156461 SOS 81249 HAS SOPS 41006 HAS SOUS 13318 HAS SOUPS 7045 WITH SCORE 7126.249
AT ITER 4210 NEW BEST:: SOT 156242 SOS 80790 HAS SOPS 40820 HAS SOUS 13269 HAS SOUPS 7017 WITH SCORE 7097.79
AT ITER 4256 NEW BEST:: SOT 156242 SOS 80780 HAS SOPS 40809 HAS SOUS 13268 HAS SOUPS 7016 WITH SCORE 7096.78
AT ITER 4362 NEW BEST:: SOT 156242 SOS 80780 HAS SOPS 40809 HAS SOUS 13262 HAS SOUPS 7012 WITH SCORE 7092.78
AT ITER 4378 NEW BEST:: SOT 156221 SOS 80759 HAS SOPS 40803 HAS SOUS 13262 HAS SOUPS 7012 WITH SCORE 7092.759
AT ITER 4413 NEW BEST:: SOT 156220 SOS 80746 HAS SOPS 40800 HAS SOUS 13258 HAS SOUPS 7009 WITH SCORE 7089.746
AT ITER 4453 NEW BEST:: SOT 156245 SOS 80648 HAS SOPS 40618 HAS SOUS 13200 HAS SOUPS 6951 WITH SCORE 7031.648
AT ITER 4499 NEW BEST:: SOT 156243 SOS 80636 HAS SOPS 40590 HAS SOUS 13194 HAS SOUPS 6943 WITH SCORE 7023.636
AT ITER 4545 NEW BEST:: SOT 156236 SOS 80629 HAS SOPS 40590 HAS SOUS 13194 HAS SOUPS 6943 WITH SCORE 7023.629
AT ITER 4560 NEW BEST:: SOT 156251 SOS 80547 HAS SOPS 40438 HAS SOUS 13197 HAS SOUPS 6931 WITH SCORE 7011.547
AT ITER 4591 NEW BEST:: SOT 156298 SOS 79287 HAS SOPS 40060 HAS SOUS 13156 HAS SOUPS 6932 WITH SCORE 7011.287
AT ITER 4597 NEW BEST:: SOT 156298 SOS 79287 HAS SOPS 40060 HAS SOUS 13152 HAS SOUPS 6928 WITH SCORE 7007.287
AT ITER 4619 NEW BEST:: SOT 156278 SOS 79701 HAS SOPS 40474 HAS SOUS 13151 HAS SOUPS 6927 WITH SCORE 7006.701
AT ITER 4645 NEW BEST:: SOT 156290 SOS 79725 HAS SOPS 40408 HAS SOUS 13153 HAS SOUPS 6917 WITH SCORE 6996.725
AT ITER 4647 NEW BEST:: SOT 156275 SOS 79729 HAS SOPS 40412 HAS SOUS 13148 HAS SOUPS 6912 WITH SCORE 6991.729
AT ITER 4685 NEW BEST:: SOT 156203 SOS 79657 HAS SOPS 40412 HAS SOUS 13148 HAS SOUPS 6912 WITH SCORE 6991.657
AT ITER 4745 NEW BEST:: SOT 156203 SOS 79657 HAS SOPS 40412 HAS SOUS 13112 HAS SOUPS 6892 WITH SCORE 6971.657
AT ITER 4751 NEW BEST:: SOT 156213 SOS 79647 HAS SOPS 40512 HAS SOUS 13102 HAS SOUPS 6892 WITH SCORE 6971.647
AT ITER 4761 NEW BEST:: SOT 156178 SOS 79612 HAS SOPS 40502 HAS SOUS 13098 HAS SOUPS 6892 WITH SCORE 6971.612
AT ITER 4802 NEW BEST:: SOT 156031 SOS 79148 HAS SOPS 40183 HAS SOUS 13040 HAS SOUPS 6860 WITH SCORE 6939.148
AT ITER 4892 NEW BEST:: SOT 156083 SOS 79195 HAS SOPS 40174 HAS SOUS 13032 HAS SOUPS 6857 WITH SCORE 6936.195
AT ITER 4919 NEW BEST:: SOT 156006 SOS 79069 HAS SOPS 40132 HAS SOUS 13007 HAS SOUPS 6847 WITH SCORE 6926.069
AT ITER 4947 NEW BEST:: SOT 156306 SOS 79544 HAS SOPS 40282 HAS SOUS 13004 HAS SOUPS 6819 WITH SCORE 6898.544
AT ITER 4953 NEW BEST:: SOT 156288 SOS 79453 HAS SOPS 40268 HAS SOUS 12977 HAS SOUPS 6803 WITH SCORE 6882.453
AT ITER 4962 NEW BEST:: SOT 156307 SOS 79263 HAS SOPS 40132 HAS SOUS 12961 HAS SOUPS 6793 WITH SCORE 6872.263
AT ITER 4976 NEW BEST:: SOT 156307 SOS 79263 HAS SOPS 40132 HAS SOUS 12948 HAS SOUPS 6785 WITH SCORE 6864.263
AT ITER 5017 NEW BEST:: SOT 156310 SOS 79309 HAS SOPS 40142 HAS SOUS 12949 HAS SOUPS 6784 WITH SCORE 6863.309
AT ITER 5035 NEW BEST:: SOT 156275 SOS 79539 HAS SOPS 40240 HAS SOUS 12937 HAS SOUPS 6772 WITH SCORE 6851.539
AT ITER 5036 NEW BEST:: SOT 156275 SOS 79539 HAS SOPS 40240 HAS SOUS 12910 HAS SOUPS 6757 WITH SCORE 6836.539
AT ITER 5053 NEW BEST:: SOT 156265 SOS 79529 HAS SOPS 40240 HAS SOUS 12910 HAS SOUPS 6757 WITH SCORE 6836.529
AT ITER 5056 NEW BEST:: SOT 156274 SOS 79538 HAS SOPS 40249 HAS SOUS 12909 HAS SOUPS 6756 WITH SCORE 6835.538
AT ITER 5093 NEW BEST:: SOT 156292 SOS 79494 HAS SOPS 40169 HAS SOUS 12904 HAS SOUPS 6743 WITH SCORE 6822.494
AT ITER 5160 NEW BEST:: SOT 156292 SOS 79480 HAS SOPS 40147 HAS SOUS 12904 HAS SOUPS 6742 WITH SCORE 6821.48
AT ITER 5173 NEW BEST:: SOT 156479 SOS 79786 HAS SOPS 40249 HAS SOUS 12899 HAS SOUPS 6720 WITH SCORE 6799.786
AT ITER 5239 NEW BEST:: SOT 156233 SOS 79410 HAS SOPS 40105 HAS SOUS 12885 HAS SOUPS 6706 WITH SCORE 6785.41
AT ITER 5281 NEW BEST:: SOT 156215 SOS 79422 HAS SOPS 40066 HAS SOUS 12882 HAS SOUPS 6697 WITH SCORE 6776.422
AT ITER 5357 NEW BEST:: SOT 156223 SOS 79342 HAS SOPS 40066 HAS SOUS 12874 HAS SOUPS 6697 WITH SCORE 6776.342
AT ITER 5410 NEW BEST:: SOT 156052 SOS 78981 HAS SOPS 39952 HAS SOUS 12855 HAS SOUPS 6697 WITH SCORE 6775.981
AT ITER 5511 NEW BEST:: SOT 156052 SOS 78981 HAS SOPS 39952 HAS SOUS 12852 HAS SOUPS 6695 WITH SCORE 6773.981
AT ITER 5545 NEW BEST:: SOT 156052 SOS 78881 HAS SOPS 39677 HAS SOUS 12877 HAS SOUPS 6695 WITH SCORE 6773.881
AT ITER 5558 NEW BEST:: SOT 156041 SOS 78859 HAS SOPS 39659 HAS SOUS 12876 HAS SOUPS 6694 WITH SCORE 6772.859
AT ITER 5613 NEW BEST:: SOT 156151 SOS 79079 HAS SOPS 39725 HAS SOUS 12878 HAS SOUPS 6681 WITH SCORE 6760.079
AT ITER 5616 NEW BEST:: SOT 156155 SOS 78963 HAS SOPS 39661 HAS SOUS 12874 HAS SOUPS 6677 WITH SCORE 6755.963
AT ITER 5617 NEW BEST:: SOT 156147 SOS 78963 HAS SOPS 39645 HAS SOUS 12872 HAS SOUPS 6673 WITH SCORE 6751.963
AT ITER 5634 NEW BEST:: SOT 156142 SOS 78958 HAS SOPS 39645 HAS SOUS 12872 HAS SOUPS 6673 WITH SCORE 6751.958
AT ITER 5659 NEW BEST:: SOT 156196 SOS 79077 HAS SOPS 39682 HAS SOUS 12887 HAS SOUPS 6672 WITH SCORE 6751.077
AT ITER 5662 NEW BEST:: SOT 156200 SOS 78829 HAS SOPS 39420 HAS SOUS 12877 HAS SOUPS 6662 WITH SCORE 6740.829
AT ITER 5719 NEW BEST:: SOT 156130 SOS 78689 HAS SOPS 39378 HAS SOUS 12870 HAS SOUPS 6662 WITH SCORE 6740.689
AT ITER 5772 NEW BEST:: SOT 156217 SOS 78876 HAS SOPS 39415 HAS SOUS 12883 HAS SOUPS 6655 WITH SCORE 6733.876
AT ITER 5779 NEW BEST:: SOT 156227 SOS 78931 HAS SOPS 39420 HAS SOUS 12887 HAS SOUPS 6654 WITH SCORE 6732.931
AT ITER 5784 NEW BEST:: SOT 156224 SOS 78928 HAS SOPS 39420 HAS SOUS 12887 HAS SOUPS 6654 WITH SCORE 6732.928
AT ITER 5794 NEW BEST:: SOT 156221 SOS 78936 HAS SOPS 39414 HAS SOUS 12887 HAS SOUPS 6652 WITH SCORE 6730.936
AT ITER 5947 NEW BEST:: SOT 156217 SOS 78930 HAS SOPS 39412 HAS SOUS 12883 HAS SOUPS 6648 WITH SCORE 6726.93
AT ITER 6083 NEW BEST:: SOT 156209 SOS 78910 HAS SOPS 39412 HAS SOUS 12879 HAS SOUPS 6648 WITH SCORE 6726.91
AT ITER 6091 NEW BEST:: SOT 156301 SOS 79071 HAS SOPS 39458 HAS SOUS 12893 HAS SOUPS 6643 WITH SCORE 6722.071
AT ITER 6093 NEW BEST:: SOT 156301 SOS 79017 HAS SOPS 39414 HAS SOUS 12892 HAS SOUPS 6643 WITH SCORE 6722.017
AT ITER 6107 NEW BEST:: SOT 156293 SOS 79069 HAS SOPS 39461 HAS SOUS 12869 HAS SOUPS 6620 WITH SCORE 6699.069
AT ITER 6248 NEW BEST:: SOT 156551 SOS 79585 HAS SOPS 39633 HAS SOUS 12946 HAS SOUPS 6615 WITH SCORE 6694.585
AT ITER 6295 NEW BEST:: SOT 156588 SOS 79664 HAS SOPS 39655 HAS SOUS 12948 HAS SOUPS 6614 WITH SCORE 6693.664
AT ITER 6329 NEW BEST:: SOT 156516 SOS 79592 HAS SOPS 39583 HAS SOUS 12948 HAS SOUPS 6614 WITH SCORE 6693.592
AT ITER 6374 NEW BEST:: SOT 156516 SOS 79592 HAS SOPS 39583 HAS SOUS 12945 HAS SOUPS 6612 WITH SCORE 6691.592
AT ITER 6477 NEW BEST:: SOT 156514 SOS 79592 HAS SOPS 39573 HAS SOUS 12945 HAS SOUPS 6611 WITH SCORE 6690.592
AT ITER 6488 NEW BEST:: SOT 156454 SOS 79452 HAS SOPS 39533 HAS SOUS 12925 HAS SOUPS 6611 WITH SCORE 6690.452
AT ITER 6492 NEW BEST:: SOT 156416 SOS 79365 HAS SOPS 39489 HAS SOUS 12919 HAS SOUPS 6607 WITH SCORE 6686.365
AT ITER 6534 NEW BEST:: SOT 156392 SOS 79353 HAS SOPS 39459 HAS SOUS 12925 HAS SOUPS 6607 WITH SCORE 6686.353
AT ITER 6594 NEW BEST:: SOT 156406 SOS 79367 HAS SOPS 39459 HAS SOUS 12895 HAS SOUPS 6593 WITH SCORE 6672.367
AT ITER 6602 NEW BEST:: SOT 156406 SOS 79497 HAS SOPS 39389 HAS SOUS 12911 HAS SOUPS 6589 WITH SCORE 6668.497
AT ITER 6696 NEW BEST:: SOT 156550 SOS 79725 HAS SOPS 39461 HAS SOUS 12911 HAS SOUPS 6577 WITH SCORE 6656.725
AT ITER 6750 NEW BEST:: SOT 156547 SOS 79722 HAS SOPS 39461 HAS SOUS 12911 HAS SOUPS 6577 WITH SCORE 6656.722
AT ITER 6837 NEW BEST:: SOT 156524 SOS 79788 HAS SOPS 39427 HAS SOUS 12918 HAS SOUPS 6572 WITH SCORE 6651.788
AT ITER 6847 NEW BEST:: SOT 156523 SOS 79731 HAS SOPS 39370 HAS SOUS 12918 HAS SOUPS 6572 WITH SCORE 6651.731
AT ITER 6889 NEW BEST:: SOT 156523 SOS 79723 HAS SOPS 39368 HAS SOUS 12916 HAS SOUPS 6570 WITH SCORE 6649.723
AT ITER 6902 NEW BEST:: SOT 156524 SOS 79722 HAS SOPS 39367 HAS SOUS 12914 HAS SOUPS 6568 WITH SCORE 6647.722
AT ITER 6943 NEW BEST:: SOT 156518 SOS 79710 HAS SOPS 39364 HAS SOUS 12911 HAS SOUPS 6568 WITH SCORE 6647.71
AT ITER 6964 NEW BEST:: SOT 156705 SOS 80049 HAS SOPS 39475 HAS SOUS 12905 HAS SOUPS 6552 WITH SCORE 6632.049
AT ITER 6976 NEW BEST:: SOT 156705 SOS 80049 HAS SOPS 39475 HAS SOUS 12899 HAS SOUPS 6546 WITH SCORE 6626.049
AT ITER 7058 NEW BEST:: SOT 156649 SOS 79937 HAS SOPS 39443 HAS SOUS 12895 HAS SOUPS 6546 WITH SCORE 6625.937
AT ITER 7099 NEW BEST:: SOT 156605 SOS 79903 HAS SOPS 39414 HAS SOUS 12897 HAS SOUPS 6543 WITH SCORE 6622.903
AT ITER 7125 NEW BEST:: SOT 156592 SOS 79747 HAS SOPS 39258 HAS SOUS 12890 HAS SOUPS 6536 WITH SCORE 6615.747
AT ITER 7183 NEW BEST:: SOT 156582 SOS 79546 HAS SOPS 39075 HAS SOUS 12890 HAS SOUPS 6536 WITH SCORE 6615.546
AT ITER 7192 NEW BEST:: SOT 156578 SOS 79539 HAS SOPS 39073 HAS SOUS 12889 HAS SOUPS 6536 WITH SCORE 6615.539
AT ITER 7225 NEW BEST:: SOT 156570 SOS 79526 HAS SOPS 39068 HAS SOUS 12889 HAS SOUPS 6536 WITH SCORE 6615.526
AT ITER 7252 NEW BEST:: SOT 156464 SOS 79355 HAS SOPS 38951 HAS SOUS 12877 HAS SOUPS 6536 WITH SCORE 6615.355
AT ITER 7319 NEW BEST:: SOT 156467 SOS 79336 HAS SOPS 38947 HAS SOUS 12868 HAS SOUPS 6527 WITH SCORE 6606.336
AT ITER 7323 NEW BEST:: SOT 156298 SOS 79089 HAS SOPS 38765 HAS SOUS 12842 HAS SOUPS 6501 WITH SCORE 6580.089
AT ITER 7420 NEW BEST:: SOT 156214 SOS 78962 HAS SOPS 38672 HAS SOUS 12772 HAS SOUPS 6463 WITH SCORE 6541.962
AT ITER 7458 NEW BEST:: SOT 156054 SOS 78796 HAS SOPS 38528 HAS SOUS 12765 HAS SOUPS 6434 WITH SCORE 6512.796
AT ITER 7479 NEW BEST:: SOT 156070 SOS 78806 HAS SOPS 38536 HAS SOUS 12759 HAS SOUPS 6430 WITH SCORE 6508.806
AT ITER 7485 NEW BEST:: SOT 156064 SOS 78794 HAS SOPS 38533 HAS SOUS 12756 HAS SOUPS 6430 WITH SCORE 6508.794
AT ITER 7509 NEW BEST:: SOT 156051 SOS 78961 HAS SOPS 38540 HAS SOUS 12769 HAS SOUPS 6427 WITH SCORE 6505.961
AT ITER 7529 NEW BEST:: SOT 156055 SOS 78957 HAS SOPS 38542 HAS SOUS 12767 HAS SOUPS 6426 WITH SCORE 6504.957
AT ITER 7575 NEW BEST:: SOT 156056 SOS 78951 HAS SOPS 38535 HAS SOUS 12767 HAS SOUPS 6426 WITH SCORE 6504.951
AT ITER 7579 NEW BEST:: SOT 156056 SOS 78924 HAS SOPS 38535 HAS SOUS 12767 HAS SOUPS 6426 WITH SCORE 6504.924
AT ITER 7645 NEW BEST:: SOT 155855 SOS 78570 HAS SOPS 38268 HAS SOUS 12746 HAS SOUPS 6404 WITH SCORE 6482.57
AT ITER 7648 NEW BEST:: SOT 155855 SOS 78573 HAS SOPS 38271 HAS SOUS 12743 HAS SOUPS 6401 WITH SCORE 6479.573
AT ITER 7755 NEW BEST:: SOT 155857 SOS 78605 HAS SOPS 38268 HAS SOUS 12744 HAS SOUPS 6397 WITH SCORE 6475.605
AT ITER 7794 NEW BEST:: SOT 155873 SOS 78637 HAS SOPS 38276 HAS SOUS 12738 HAS SOUPS 6389 WITH SCORE 6467.637
AT ITER 7805 NEW BEST:: SOT 155889 SOS 78629 HAS SOPS 38276 HAS SOUS 12734 HAS SOUPS 6385 WITH SCORE 6463.629
AT ITER 7938 NEW BEST:: SOT 155901 SOS 78641 HAS SOPS 38276 HAS SOUS 12714 HAS SOUPS 6381 WITH SCORE 6459.641
AT ITER 7971 NEW BEST:: SOT 155901 SOS 78625 HAS SOPS 38280 HAS SOUS 12712 HAS SOUPS 6381 WITH SCORE 6459.625
AT ITER 8031 NEW BEST:: SOT 155901 SOS 78665 HAS SOPS 38420 HAS SOUS 12692 HAS SOUPS 6371 WITH SCORE 6449.665
AT ITER 8033 NEW BEST:: SOT 155901 SOS 78665 HAS SOPS 38420 HAS SOUS 12683 HAS SOUPS 6366 WITH SCORE 6444.665
AT ITER 8050 NEW BEST:: SOT 155888 SOS 78630 HAS SOPS 38401 HAS SOUS 12680 HAS SOUPS 6364 WITH SCORE 6442.63
AT ITER 8073 NEW BEST:: SOT 155888 SOS 78630 HAS SOPS 38401 HAS SOUS 12677 HAS SOUPS 6362 WITH SCORE 6440.63
AT ITER 8147 NEW BEST:: SOT 155844 SOS 78586 HAS SOPS 38401 HAS SOUS 12677 HAS SOUPS 6362 WITH SCORE 6440.586
AT ITER 8173 NEW BEST:: SOT 155844 SOS 78579 HAS SOPS 38401 HAS SOUS 12676 HAS SOUPS 6362 WITH SCORE 6440.579
AT ITER 8200 NEW BEST:: SOT 155721 SOS 78333 HAS SOPS 38319 HAS SOUS 12635 HAS SOUPS 6362 WITH SCORE 6440.333
AT ITER 8250 NEW BEST:: SOT 155723 SOS 78255 HAS SOPS 38271 HAS SOUS 12625 HAS SOUPS 6352 WITH SCORE 6430.255
AT ITER 8321 NEW BEST:: SOT 155726 SOS 78252 HAS SOPS 38272 HAS SOUS 12624 HAS SOUPS 6352 WITH SCORE 6430.252
AT ITER 8423 NEW BEST:: SOT 155509 SOS 77896 HAS SOPS 38099 HAS SOUS 12581 HAS SOUPS 6320 WITH SCORE 6397.896
AT ITER 8441 NEW BEST:: SOT 155507 SOS 77894 HAS SOPS 38099 HAS SOUS 12577 HAS SOUPS 6316 WITH SCORE 6393.894
AT ITER 8550 NEW BEST:: SOT 155417 SOS 77676 HAS SOPS 38019 HAS SOUS 12563 HAS SOUPS 6316 WITH SCORE 6393.676
AT ITER 8577 NEW BEST:: SOT 155261 SOS 77352 HAS SOPS 37923 HAS SOUS 12551 HAS SOUPS 6316 WITH SCORE 6393.352
AT ITER 8604 NEW BEST:: SOT 155206 SOS 77220 HAS SOPS 37855 HAS SOUS 12544 HAS SOUPS 6316 WITH SCORE 6393.22
AT ITER 8633 NEW BEST:: SOT 155202 SOS 77188 HAS SOPS 37819 HAS SOUS 12544 HAS SOUPS 6316 WITH SCORE 6393.188
AT ITER 8654 NEW BEST:: SOT 155189 SOS 77175 HAS SOPS 37819 HAS SOUS 12544 HAS SOUPS 6316 WITH SCORE 6393.175
AT ITER 8745 NEW BEST:: SOT 155186 SOS 77172 HAS SOPS 37816 HAS SOUS 12543 HAS SOUPS 6315 WITH SCORE 6392.172
AT ITER 8758 NEW BEST:: SOT 155184 SOS 77169 HAS SOPS 37815 HAS SOUS 12541 HAS SOUPS 6314 WITH SCORE 6391.169
AT ITER 8790 NEW BEST:: SOT 155184 SOS 77001 HAS SOPS 37731 HAS SOUS 12534 HAS SOUPS 6311 WITH SCORE 6388.001
AT ITER 8870 NEW BEST:: SOT 155204 SOS 77021 HAS SOPS 37741 HAS SOUS 12530 HAS SOUPS 6307 WITH SCORE 6384.021
AT ITER 8924 NEW BEST:: SOT 155165 SOS 76930 HAS SOPS 37715 HAS SOUS 12522 HAS SOUPS 6307 WITH SCORE 6383.93
AT ITER 8925 NEW BEST:: SOT 155159 SOS 76924 HAS SOPS 37709 HAS SOUS 12522 HAS SOUPS 6307 WITH SCORE 6383.924
AT ITER 8936 NEW BEST:: SOT 155118 SOS 76847 HAS SOPS 37686 HAS SOUS 12517 HAS SOUPS 6306 WITH SCORE 6382.847
AT ITER 8964 NEW BEST:: SOT 155108 SOS 76629 HAS SOPS 37588 HAS SOUS 12502 HAS SOUPS 6303 WITH SCORE 6379.629
AT ITER 9058 NEW BEST:: SOT 155194 SOS 76700 HAS SOPS 37679 HAS SOUS 12484 HAS SOUPS 6290 WITH SCORE 6366.7
AT ITER 9192 NEW BEST:: SOT 155265 SOS 76837 HAS SOPS 37717 HAS SOUS 12489 HAS SOUPS 6288 WITH SCORE 6364.837
AT ITER 9268 NEW BEST:: SOT 155279 SOS 76805 HAS SOPS 37871 HAS SOUS 12460 HAS SOUPS 6277 WITH SCORE 6353.805
AT ITER 9425 NEW BEST:: SOT 155301 SOS 76512 HAS SOPS 37717 HAS SOUS 12445 HAS SOUPS 6262 WITH SCORE 6338.512
AT ITER 9443 NEW BEST:: SOT 155303 SOS 76474 HAS SOPS 37675 HAS SOUS 12446 HAS SOUPS 6262 WITH SCORE 6338.474
AT ITER 9486 NEW BEST:: SOT 155303 SOS 76463 HAS SOPS 37690 HAS SOUS 12442 HAS SOUPS 6260 WITH SCORE 6336.463
AT ITER 9512 NEW BEST:: SOT 155296 SOS 76386 HAS SOPS 37669 HAS SOUS 12439 HAS SOUPS 6257 WITH SCORE 6333.386
AT ITER 9534 NEW BEST:: SOT 155291 SOS 76316 HAS SOPS 37539 HAS SOUS 12440 HAS SOUPS 6252 WITH SCORE 6328.316
AT ITER 9668 NEW BEST:: SOT 154813 SOS 75631 HAS SOPS 37083 HAS SOUS 12427 HAS SOUPS 6239 WITH SCORE 6314.631
AT ITER 9708 NEW BEST:: SOT 154807 SOS 75595 HAS SOPS 37044 HAS SOUS 12442 HAS SOUPS 6238 WITH SCORE 6313.595
AT ITER 9716 NEW BEST:: SOT 154758 SOS 75553 HAS SOPS 36974 HAS SOUS 12440 HAS SOUPS 6227 WITH SCORE 6302.553
AT ITER 9718 NEW BEST:: SOT 154751 SOS 75571 HAS SOPS 37016 HAS SOUS 12439 HAS SOUPS 6226 WITH SCORE 6301.571
AT ITER 9766 NEW BEST:: SOT 154779 SOS 75620 HAS SOPS 37030 HAS SOUS 12437 HAS SOUPS 6221 WITH SCORE 6296.62
AT ITER 9810 NEW BEST:: SOT 154782 SOS 75583 HAS SOPS 37029 HAS SOUS 12428 HAS SOUPS 6216 WITH SCORE 6291.583
AT ITER 9831 NEW BEST:: SOT 154791 SOS 75589 HAS SOPS 37035 HAS SOUS 12427 HAS SOUPS 6215 WITH SCORE 6290.589
AT ITER 9912 NEW BEST:: SOT 154685 SOS 74466 HAS SOPS 36085 HAS SOUS 12435 HAS SOUPS 6207 WITH SCORE 6281.466
AT ITER 9939 NEW BEST:: SOT 154679 SOS 74454 HAS SOPS 36081 HAS SOUS 12433 HAS SOUPS 6207 WITH SCORE 6281.454
AT ITER 9972 NEW BEST:: SOT 154687 SOS 74454 HAS SOPS 36081 HAS SOUS 12428 HAS SOUPS 6204 WITH SCORE 6278.454
AT ITER 9985 NEW BEST:: SOT 154668 SOS 74435 HAS SOPS 36081 HAS SOUS 12428 HAS SOUPS 6204 WITH SCORE 6278.435
AT ITER 9987 NEW BEST:: SOT 154654 SOS 74440 HAS SOPS 36096 HAS SOUS 12421 HAS SOUPS 6201 WITH SCORE 6275.44
AT ITER 9999 NEW BEST:: SOT 154610 SOS 74324 HAS SOPS 36038 HAS SOUS 12412 HAS SOUPS 6196 WITH SCORE 6270.324
STATE_SPACE STATES 24010000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 109 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3434116000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678410722157

--------------------
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

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="DLCround-PT-06a"
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 DLCround-PT-06a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484500672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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