Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541600044.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudReconfiguration-PT-306, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600044
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 840K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-306-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589091636114

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 306
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4445695 SOS 744489 HAS SOPS 744489 HAS SOUS 686820 HAS SOUPS 686820 WITH SCORE 687564.489
AT ITER 1 NEW BEST:: SOT 4445695 SOS 744489 HAS SOPS 744489 HAS SOUS 686748 HAS SOUPS 686748 WITH SCORE 687492.489
AT ITER 9 NEW BEST:: SOT 4444756 SOS 765981 HAS SOPS 765981 HAS SOUS 686484 HAS SOUPS 686484 WITH SCORE 687249.981
AT ITER 44 NEW BEST:: SOT 4444756 SOS 765981 HAS SOPS 765981 HAS SOUS 686441 HAS SOUPS 686441 WITH SCORE 687206.981
AT ITER 61 NEW BEST:: SOT 4444639 SOS 765863 HAS SOPS 765863 HAS SOUS 686323 HAS SOUPS 686323 WITH SCORE 687088.863
AT ITER 96 NEW BEST:: SOT 4444619 SOS 765823 HAS SOPS 765823 HAS SOUS 686283 HAS SOUPS 686283 WITH SCORE 687048.823
AT ITER 102 NEW BEST:: SOT 4444339 SOS 765543 HAS SOPS 765543 HAS SOUS 686003 HAS SOUPS 686003 WITH SCORE 686768.543
AT ITER 103 NEW BEST:: SOT 4444339 SOS 765287 HAS SOPS 765287 HAS SOUS 686003 HAS SOUPS 686003 WITH SCORE 686768.287
AT ITER 104 NEW BEST:: SOT 4444285 SOS 765129 HAS SOPS 765129 HAS SOUS 685845 HAS SOUPS 685845 WITH SCORE 686610.129
AT ITER 112 NEW BEST:: SOT 4444164 SOS 765008 HAS SOPS 765008 HAS SOUS 685724 HAS SOUPS 685724 WITH SCORE 686489.008
AT ITER 140 NEW BEST:: SOT 4444164 SOS 765075 HAS SOPS 765075 HAS SOUS 685721 HAS SOUPS 685721 WITH SCORE 686486.075
AT ITER 146 NEW BEST:: SOT 4444164 SOS 764928 HAS SOPS 764928 HAS SOUS 685720 HAS SOUPS 685720 WITH SCORE 686484.928
AT ITER 156 NEW BEST:: SOT 4443990 SOS 764858 HAS SOPS 764858 HAS SOUS 685546 HAS SOUPS 685546 WITH SCORE 686310.858
AT ITER 159 NEW BEST:: SOT 4443882 SOS 764642 HAS SOPS 764642 HAS SOUS 685330 HAS SOUPS 685330 WITH SCORE 686094.642
AT ITER 194 NEW BEST:: SOT 4443883 SOS 764571 HAS SOPS 764571 HAS SOUS 685259 HAS SOUPS 685259 WITH SCORE 686023.571
AT ITER 219 NEW BEST:: SOT 4443821 SOS 764561 HAS SOPS 764561 HAS SOUS 685249 HAS SOUPS 685249 WITH SCORE 686013.561
AT ITER 232 NEW BEST:: SOT 4443769 SOS 764521 HAS SOPS 764521 HAS SOUS 685209 HAS SOUPS 685209 WITH SCORE 685973.521
AT ITER 250 NEW BEST:: SOT 4443726 SOS 764051 HAS SOPS 764051 HAS SOUS 684860 HAS SOUPS 684860 WITH SCORE 685624.051
AT ITER 277 NEW BEST:: SOT 4443726 SOS 763987 HAS SOPS 763987 HAS SOUS 684860 HAS SOUPS 684860 WITH SCORE 685623.987
AT ITER 286 NEW BEST:: SOT 4443433 SOS 763811 HAS SOPS 763811 HAS SOUS 684649 HAS SOUPS 684649 WITH SCORE 685412.811
AT ITER 300 NEW BEST:: SOT 4443433 SOS 763622 HAS SOPS 763622 HAS SOUS 684649 HAS SOUPS 684649 WITH SCORE 685412.622
AT ITER 302 NEW BEST:: SOT 4443433 SOS 763622 HAS SOPS 763622 HAS SOUS 684598 HAS SOUPS 684598 WITH SCORE 685361.622
AT ITER 306 NEW BEST:: SOT 4443303 SOS 763763 HAS SOPS 763763 HAS SOUS 684571 HAS SOUPS 684571 WITH SCORE 685334.763
AT ITER 333 NEW BEST:: SOT 4443211 SOS 763671 HAS SOPS 763671 HAS SOUS 684479 HAS SOUPS 684479 WITH SCORE 685242.671
AT ITER 361 NEW BEST:: SOT 4442967 SOS 762956 HAS SOPS 762956 HAS SOUS 683990 HAS SOUPS 683990 WITH SCORE 684752.956
AT ITER 385 NEW BEST:: SOT 4442801 SOS 763224 HAS SOPS 763224 HAS SOUS 683793 HAS SOUPS 683793 WITH SCORE 684556.224
AT ITER 400 NEW BEST:: SOT 4442801 SOS 763224 HAS SOPS 763224 HAS SOUS 683651 HAS SOUPS 683651 WITH SCORE 684414.224
AT ITER 401 NEW BEST:: SOT 4442865 SOS 763191 HAS SOPS 763191 HAS SOUS 683396 HAS SOUPS 683396 WITH SCORE 684159.191
AT ITER 430 NEW BEST:: SOT 4442847 SOS 763155 HAS SOPS 763155 HAS SOUS 683360 HAS SOUPS 683360 WITH SCORE 684123.155
AT ITER 467 NEW BEST:: SOT 4442902 SOS 763071 HAS SOPS 763071 HAS SOUS 683318 HAS SOUPS 683318 WITH SCORE 684081.071
AT ITER 475 NEW BEST:: SOT 4442577 SOS 762421 HAS SOPS 762421 HAS SOUS 682668 HAS SOUPS 682668 WITH SCORE 683430.421
AT ITER 477 NEW BEST:: SOT 4442345 SOS 761957 HAS SOPS 761957 HAS SOUS 682204 HAS SOUPS 682204 WITH SCORE 682965.957
AT ITER 481 NEW BEST:: SOT 4441361 SOS 761354 HAS SOPS 761354 HAS SOUS 681286 HAS SOUPS 681286 WITH SCORE 682047.354
AT ITER 485 NEW BEST:: SOT 4440648 SOS 761140 HAS SOPS 761140 HAS SOUS 680573 HAS SOUPS 680573 WITH SCORE 681334.14
AT ITER 501 NEW BEST:: SOT 4440768 SOS 761380 HAS SOPS 761380 HAS SOUS 680380 HAS SOUPS 680380 WITH SCORE 681141.38
AT ITER 504 NEW BEST:: SOT 4438469 SOS 774296 HAS SOPS 774296 HAS SOUS 679026 HAS SOUPS 679026 WITH SCORE 679800.296
AT ITER 506 NEW BEST:: SOT 4438396 SOS 774075 HAS SOPS 774075 HAS SOUS 678878 HAS SOUPS 678878 WITH SCORE 679652.075
AT ITER 512 NEW BEST:: SOT 4438435 SOS 773825 HAS SOPS 773825 HAS SOUS 678792 HAS SOUPS 678792 WITH SCORE 679565.825
AT ITER 527 NEW BEST:: SOT 4438245 SOS 773242 HAS SOPS 773242 HAS SOUS 678399 HAS SOUPS 678399 WITH SCORE 679172.242
AT ITER 541 NEW BEST:: SOT 4438189 SOS 773130 HAS SOPS 773130 HAS SOUS 678222 HAS SOUPS 678222 WITH SCORE 678995.13
AT ITER 547 NEW BEST:: SOT 4438188 SOS 773128 HAS SOPS 773128 HAS SOUS 678220 HAS SOUPS 678220 WITH SCORE 678993.128
AT ITER 552 NEW BEST:: SOT 4437762 SOS 772619 HAS SOPS 772619 HAS SOUS 677606 HAS SOUPS 677606 WITH SCORE 678378.619
AT ITER 565 NEW BEST:: SOT 4437624 SOS 772481 HAS SOPS 772481 HAS SOUS 677468 HAS SOUPS 677468 WITH SCORE 678240.481
AT ITER 572 NEW BEST:: SOT 4437428 SOS 771859 HAS SOPS 771859 HAS SOUS 677042 HAS SOUPS 677042 WITH SCORE 677813.859
AT ITER 583 NEW BEST:: SOT 4437217 SOS 771366 HAS SOPS 771366 HAS SOUS 676967 HAS SOUPS 676967 WITH SCORE 677738.366
AT ITER 593 NEW BEST:: SOT 4437217 SOS 771342 HAS SOPS 771342 HAS SOUS 676943 HAS SOUPS 676943 WITH SCORE 677714.342
AT ITER 647 NEW BEST:: SOT 4437059 SOS 771026 HAS SOPS 771026 HAS SOUS 676627 HAS SOUPS 676627 WITH SCORE 677398.026
AT ITER 657 NEW BEST:: SOT 4437059 SOS 770739 HAS SOPS 770739 HAS SOUS 676626 HAS SOUPS 676626 WITH SCORE 677396.739
AT ITER 665 NEW BEST:: SOT 4436637 SOS 770317 HAS SOPS 770317 HAS SOUS 676204 HAS SOUPS 676204 WITH SCORE 676974.317
AT ITER 677 NEW BEST:: SOT 4436519 SOS 770625 HAS SOPS 770625 HAS SOUS 676086 HAS SOUPS 676086 WITH SCORE 676856.625
AT ITER 745 NEW BEST:: SOT 4436370 SOS 770327 HAS SOPS 770327 HAS SOUS 675788 HAS SOUPS 675788 WITH SCORE 676558.327
AT ITER 781 NEW BEST:: SOT 4436370 SOS 770112 HAS SOPS 770112 HAS SOUS 675788 HAS SOUPS 675788 WITH SCORE 676558.112
AT ITER 787 NEW BEST:: SOT 4436369 SOS 770111 HAS SOPS 770111 HAS SOUS 675786 HAS SOUPS 675786 WITH SCORE 676556.111
AT ITER 798 NEW BEST:: SOT 4435059 SOS 771159 HAS SOPS 771159 HAS SOUS 675043 HAS SOUPS 675043 WITH SCORE 675814.159
AT ITER 801 NEW BEST:: SOT 4435059 SOS 771025 HAS SOPS 771025 HAS SOUS 675043 HAS SOUPS 675043 WITH SCORE 675814.025
AT ITER 847 NEW BEST:: SOT 4435048 SOS 771003 HAS SOPS 771003 HAS SOUS 674980 HAS SOUPS 674980 WITH SCORE 675751.003
AT ITER 852 NEW BEST:: SOT 4434830 SOS 771047 HAS SOPS 771047 HAS SOUS 674851 HAS SOUPS 674851 WITH SCORE 675622.047
AT ITER 898 NEW BEST:: SOT 4434686 SOS 770759 HAS SOPS 770759 HAS SOUS 674563 HAS SOUPS 674563 WITH SCORE 675333.759
AT ITER 923 NEW BEST:: SOT 4434661 SOS 770709 HAS SOPS 770709 HAS SOUS 674513 HAS SOUPS 674513 WITH SCORE 675283.709
AT ITER 950 NEW BEST:: SOT 4434651 SOS 770689 HAS SOPS 770689 HAS SOUS 674493 HAS SOUPS 674493 WITH SCORE 675263.689
AT ITER 958 NEW BEST:: SOT 4434413 SOS 770213 HAS SOPS 770213 HAS SOUS 674017 HAS SOUPS 674017 WITH SCORE 674787.213
AT ITER 970 NEW BEST:: SOT 4434402 SOS 770191 HAS SOPS 770191 HAS SOUS 673995 HAS SOUPS 673995 WITH SCORE 674765.191
AT ITER 977 NEW BEST:: SOT 4434263 SOS 770052 HAS SOPS 770052 HAS SOUS 673856 HAS SOUPS 673856 WITH SCORE 674626.052
AT ITER 986 NEW BEST:: SOT 4433963 SOS 769652 HAS SOPS 769652 HAS SOUS 673456 HAS SOUPS 673456 WITH SCORE 674225.652
AT ITER 990 NEW BEST:: SOT 4433963 SOS 769371 HAS SOPS 769371 HAS SOUS 673456 HAS SOUPS 673456 WITH SCORE 674225.371
AT ITER 996 NEW BEST:: SOT 4433311 SOS 769839 HAS SOPS 769839 HAS SOUS 673158 HAS SOUPS 673158 WITH SCORE 673927.839
AT ITER 1008 NEW BEST:: SOT 4433089 SOS 769617 HAS SOPS 769617 HAS SOUS 672944 HAS SOUPS 672944 WITH SCORE 673713.617
AT ITER 1027 NEW BEST:: SOT 4433042 SOS 769523 HAS SOPS 769523 HAS SOUS 672850 HAS SOUPS 672850 WITH SCORE 673619.523
AT ITER 1037 NEW BEST:: SOT 4432762 SOS 769529 HAS SOPS 769529 HAS SOUS 672643 HAS SOUPS 672643 WITH SCORE 673412.529
AT ITER 1056 NEW BEST:: SOT 4432762 SOS 769328 HAS SOPS 769328 HAS SOUS 672442 HAS SOUPS 672442 WITH SCORE 673211.328
AT ITER 1063 NEW BEST:: SOT 4432688 SOS 769180 HAS SOPS 769180 HAS SOUS 672294 HAS SOUPS 672294 WITH SCORE 673063.18
AT ITER 1068 NEW BEST:: SOT 4432294 SOS 768754 HAS SOPS 768754 HAS SOUS 671768 HAS SOUPS 671768 WITH SCORE 672536.754
AT ITER 1071 NEW BEST:: SOT 4432293 SOS 768593 HAS SOPS 768593 HAS SOUS 671686 HAS SOUPS 671686 WITH SCORE 672454.593
AT ITER 1084 NEW BEST:: SOT 4432525 SOS 768746 HAS SOPS 768746 HAS SOUS 671598 HAS SOUPS 671598 WITH SCORE 672366.746
AT ITER 1096 NEW BEST:: SOT 4432281 SOS 768258 HAS SOPS 768258 HAS SOUS 671110 HAS SOUPS 671110 WITH SCORE 671878.258
AT ITER 1097 NEW BEST:: SOT 4432278 SOS 768255 HAS SOPS 768255 HAS SOUS 671109 HAS SOUPS 671109 WITH SCORE 671877.255
AT ITER 1125 NEW BEST:: SOT 4432044 SOS 768021 HAS SOPS 768021 HAS SOUS 670875 HAS SOUPS 670875 WITH SCORE 671643.021
AT ITER 1135 NEW BEST:: SOT 4431690 SOS 768036 HAS SOPS 768036 HAS SOUS 670616 HAS SOUPS 670616 WITH SCORE 671384.036
AT ITER 1172 NEW BEST:: SOT 4431471 SOS 768411 HAS SOPS 768411 HAS SOUS 670268 HAS SOUPS 670268 WITH SCORE 671036.411
AT ITER 1183 NEW BEST:: SOT 4431369 SOS 768309 HAS SOPS 768309 HAS SOUS 670166 HAS SOUPS 670166 WITH SCORE 670934.309
AT ITER 1209 NEW BEST:: SOT 4431129 SOS 768069 HAS SOPS 768069 HAS SOUS 669926 HAS SOUPS 669926 WITH SCORE 670694.069
AT ITER 1222 NEW BEST:: SOT 4430321 SOS 767265 HAS SOPS 767265 HAS SOUS 669122 HAS SOUPS 669122 WITH SCORE 669889.265
AT ITER 1227 NEW BEST:: SOT 4430241 SOS 767105 HAS SOPS 767105 HAS SOUS 668962 HAS SOUPS 668962 WITH SCORE 669729.105
AT ITER 1231 NEW BEST:: SOT 4430371 SOS 767365 HAS SOPS 767365 HAS SOUS 668905 HAS SOUPS 668905 WITH SCORE 669672.365
AT ITER 1240 NEW BEST:: SOT 4430209 SOS 766827 HAS SOPS 766827 HAS SOUS 668423 HAS SOUPS 668423 WITH SCORE 669189.827
AT ITER 1249 NEW BEST:: SOT 4429888 SOS 766835 HAS SOPS 766835 HAS SOUS 668106 HAS SOUPS 668106 WITH SCORE 668872.835
AT ITER 1253 NEW BEST:: SOT 4429663 SOS 766737 HAS SOPS 766737 HAS SOUS 667906 HAS SOUPS 667906 WITH SCORE 668672.737
AT ITER 1285 NEW BEST:: SOT 4429663 SOS 766687 HAS SOPS 766687 HAS SOUS 667906 HAS SOUPS 667906 WITH SCORE 668672.687
AT ITER 1288 NEW BEST:: SOT 4429559 SOS 766479 HAS SOPS 766479 HAS SOUS 667802 HAS SOUPS 667802 WITH SCORE 668568.479
AT ITER 1303 NEW BEST:: SOT 4429528 SOS 766417 HAS SOPS 766417 HAS SOUS 667539 HAS SOUPS 667539 WITH SCORE 668305.417
AT ITER 1348 NEW BEST:: SOT 4428783 SOS 765672 HAS SOPS 765672 HAS SOUS 666794 HAS SOUPS 666794 WITH SCORE 667559.672
AT ITER 1384 NEW BEST:: SOT 4428720 SOS 765953 HAS SOPS 765953 HAS SOUS 666629 HAS SOUPS 666629 WITH SCORE 667394.953
AT ITER 1394 NEW BEST:: SOT 4428417 SOS 765347 HAS SOPS 765347 HAS SOUS 666023 HAS SOUPS 666023 WITH SCORE 666788.347
AT ITER 1399 NEW BEST:: SOT 4428417 SOS 765325 HAS SOPS 765325 HAS SOUS 666023 HAS SOUPS 666023 WITH SCORE 666788.325
AT ITER 1406 NEW BEST:: SOT 4428378 SOS 765247 HAS SOPS 765247 HAS SOUS 665777 HAS SOUPS 665777 WITH SCORE 666542.247
AT ITER 1410 NEW BEST:: SOT 4428293 SOS 765162 HAS SOPS 765162 HAS SOUS 665692 HAS SOUPS 665692 WITH SCORE 666457.162
AT ITER 1451 NEW BEST:: SOT 4428293 SOS 765027 HAS SOPS 765027 HAS SOUS 665692 HAS SOUPS 665692 WITH SCORE 666457.027
AT ITER 1468 NEW BEST:: SOT 4428293 SOS 765027 HAS SOPS 765027 HAS SOUS 665662 HAS SOUPS 665662 WITH SCORE 666427.027
AT ITER 1488 NEW BEST:: SOT 4428254 SOS 764949 HAS SOPS 764949 HAS SOUS 665635 HAS SOUPS 665635 WITH SCORE 666399.949
AT ITER 1538 NEW BEST:: SOT 4428254 SOS 764672 HAS SOPS 764672 HAS SOUS 665635 HAS SOUPS 665635 WITH SCORE 666399.672
AT ITER 1540 NEW BEST:: SOT 4427342 SOS 763532 HAS SOPS 763532 HAS SOUS 664495 HAS SOUPS 664495 WITH SCORE 665258.532
AT ITER 1542 NEW BEST:: SOT 4427341 SOS 763530 HAS SOPS 763530 HAS SOUS 664493 HAS SOUPS 664493 WITH SCORE 665256.53
AT ITER 1567 NEW BEST:: SOT 4427341 SOS 763264 HAS SOPS 763264 HAS SOUS 664492 HAS SOUPS 664492 WITH SCORE 665255.264
AT ITER 1593 NEW BEST:: SOT 4427096 SOS 763021 HAS SOPS 763021 HAS SOUS 664321 HAS SOUPS 664321 WITH SCORE 665084.021
AT ITER 1598 NEW BEST:: SOT 4427064 SOS 762989 HAS SOPS 762989 HAS SOUS 664289 HAS SOUPS 664289 WITH SCORE 665051.989
AT ITER 1601 NEW BEST:: SOT 4427105 SOS 763071 HAS SOPS 763071 HAS SOUS 664111 HAS SOUPS 664111 WITH SCORE 664874.071
AT ITER 1620 NEW BEST:: SOT 4426734 SOS 762009 HAS SOPS 762009 HAS SOUS 663196 HAS SOUPS 663196 WITH SCORE 663958.009
AT ITER 1629 NEW BEST:: SOT 4426730 SOS 762001 HAS SOPS 762001 HAS SOUS 663192 HAS SOUPS 663192 WITH SCORE 663954.001
AT ITER 1678 NEW BEST:: SOT 4426730 SOS 761990 HAS SOPS 761990 HAS SOUS 663192 HAS SOUPS 663192 WITH SCORE 663953.99
AT ITER 1706 NEW BEST:: SOT 4426643 SOS 761931 HAS SOPS 761931 HAS SOUS 663129 HAS SOUPS 663129 WITH SCORE 663890.931
AT ITER 1710 NEW BEST:: SOT 4426596 SOS 761837 HAS SOPS 761837 HAS SOUS 663102 HAS SOUPS 663102 WITH SCORE 663863.837
AT ITER 1768 NEW BEST:: SOT 4426364 SOS 761373 HAS SOPS 761373 HAS SOUS 662870 HAS SOUPS 662870 WITH SCORE 663631.373
AT ITER 1784 NEW BEST:: SOT 4426122 SOS 761131 HAS SOPS 761131 HAS SOUS 662628 HAS SOUPS 662628 WITH SCORE 663389.131
AT ITER 1785 NEW BEST:: SOT 4426029 SOS 760945 HAS SOPS 760945 HAS SOUS 662442 HAS SOUPS 662442 WITH SCORE 663202.945
AT ITER 1786 NEW BEST:: SOT 4426029 SOS 760814 HAS SOPS 760814 HAS SOUS 662311 HAS SOUPS 662311 WITH SCORE 663071.814
AT ITER 1858 NEW BEST:: SOT 4425911 SOS 760745 HAS SOPS 760745 HAS SOUS 662242 HAS SOUPS 662242 WITH SCORE 663002.745
AT ITER 1866 NEW BEST:: SOT 4425657 SOS 761326 HAS SOPS 761326 HAS SOUS 662129 HAS SOUPS 662129 WITH SCORE 662890.326
AT ITER 1876 NEW BEST:: SOT 4425507 SOS 761026 HAS SOPS 761026 HAS SOUS 661829 HAS SOUPS 661829 WITH SCORE 662590.026
AT ITER 1886 NEW BEST:: SOT 4425507 SOS 761026 HAS SOPS 761026 HAS SOUS 661828 HAS SOUPS 661828 WITH SCORE 662589.026
AT ITER 1916 NEW BEST:: SOT 4425428 SOS 760458 HAS SOPS 760458 HAS SOUS 661351 HAS SOUPS 661351 WITH SCORE 662111.458
AT ITER 1920 NEW BEST:: SOT 4425428 SOS 760402 HAS SOPS 760402 HAS SOUS 661350 HAS SOUPS 661350 WITH SCORE 662110.402
AT ITER 1948 NEW BEST:: SOT 4425150 SOS 760124 HAS SOPS 760124 HAS SOUS 661045 HAS SOUPS 661045 WITH SCORE 661805.124
AT ITER 1980 NEW BEST:: SOT 4425250 SOS 759875 HAS SOPS 759875 HAS SOUS 660765 HAS SOUPS 660765 WITH SCORE 661524.875
AT ITER 1993 NEW BEST:: SOT 4425250 SOS 759875 HAS SOPS 759875 HAS SOUS 660764 HAS SOUPS 660764 WITH SCORE 661523.875
AT ITER 1998 NEW BEST:: SOT 4425249 SOS 759800 HAS SOPS 759800 HAS SOUS 660725 HAS SOUPS 660725 WITH SCORE 661484.8
AT ITER 2001 NEW BEST:: SOT 4425154 SOS 759610 HAS SOPS 759610 HAS SOUS 660535 HAS SOUPS 660535 WITH SCORE 661294.61
AT ITER 2005 NEW BEST:: SOT 4424950 SOS 759720 HAS SOPS 759720 HAS SOUS 660446 HAS SOUPS 660446 WITH SCORE 661205.72
AT ITER 2025 NEW BEST:: SOT 4425000 SOS 759634 HAS SOPS 759634 HAS SOUS 660360 HAS SOUPS 660360 WITH SCORE 661119.634
AT ITER 2086 NEW BEST:: SOT 4425000 SOS 759586 HAS SOPS 759586 HAS SOUS 660359 HAS SOUPS 660359 WITH SCORE 661118.586
AT ITER 2098 NEW BEST:: SOT 4424942 SOS 759700 HAS SOPS 759700 HAS SOUS 660301 HAS SOUPS 660301 WITH SCORE 661060.7
AT ITER 2103 NEW BEST:: SOT 4424916 SOS 759648 HAS SOPS 759648 HAS SOUS 660249 HAS SOUPS 660249 WITH SCORE 661008.648
AT ITER 2113 NEW BEST:: SOT 4424601 SOS 759632 HAS SOPS 759632 HAS SOUS 660038 HAS SOUPS 660038 WITH SCORE 660797.632
AT ITER 2115 NEW BEST:: SOT 4424577 SOS 759608 HAS SOPS 759608 HAS SOUS 660014 HAS SOUPS 660014 WITH SCORE 660773.608
AT ITER 2118 NEW BEST:: SOT 4424577 SOS 759216 HAS SOPS 759216 HAS SOUS 660014 HAS SOUPS 660014 WITH SCORE 660773.216
AT ITER 2122 NEW BEST:: SOT 4424440 SOS 759268 HAS SOPS 759268 HAS SOUS 659961 HAS SOUPS 659961 WITH SCORE 660720.268
AT ITER 2167 NEW BEST:: SOT 4424228 SOS 764694 HAS SOPS 764694 HAS SOUS 659940 HAS SOUPS 659940 WITH SCORE 660704.694
AT ITER 2178 NEW BEST:: SOT 4424258 SOS 764296 HAS SOPS 764296 HAS SOUS 659740 HAS SOUPS 659740 WITH SCORE 660504.296
AT ITER 2198 NEW BEST:: SOT 4424112 SOS 763773 HAS SOPS 763773 HAS SOUS 659312 HAS SOUPS 659312 WITH SCORE 660075.773
AT ITER 2213 NEW BEST:: SOT 4423876 SOS 763632 HAS SOPS 763632 HAS SOUS 659122 HAS SOUPS 659122 WITH SCORE 659885.632
AT ITER 2243 NEW BEST:: SOT 4423611 SOS 763102 HAS SOPS 763102 HAS SOUS 658592 HAS SOUPS 658592 WITH SCORE 659355.102
AT ITER 2248 NEW BEST:: SOT 4423611 SOS 762940 HAS SOPS 762940 HAS SOUS 658592 HAS SOUPS 658592 WITH SCORE 659354.94
AT ITER 2253 NEW BEST:: SOT 4423486 SOS 762690 HAS SOPS 762690 HAS SOUS 658342 HAS SOUPS 658342 WITH SCORE 659104.69
AT ITER 2254 NEW BEST:: SOT 4423277 SOS 762272 HAS SOPS 762272 HAS SOUS 657924 HAS SOUPS 657924 WITH SCORE 658686.272
AT ITER 2267 NEW BEST:: SOT 4422915 SOS 762244 HAS SOPS 762244 HAS SOUS 657432 HAS SOUPS 657432 WITH SCORE 658194.244
AT ITER 2276 NEW BEST:: SOT 4422915 SOS 761929 HAS SOPS 761929 HAS SOUS 657432 HAS SOUPS 657432 WITH SCORE 658193.929
AT ITER 2280 NEW BEST:: SOT 4422967 SOS 760513 HAS SOPS 760513 HAS SOUS 657294 HAS SOUPS 657294 WITH SCORE 658054.513
AT ITER 2315 NEW BEST:: SOT 4422907 SOS 760393 HAS SOPS 760393 HAS SOUS 657174 HAS SOUPS 657174 WITH SCORE 657934.393
AT ITER 2323 NEW BEST:: SOT 4422873 SOS 760179 HAS SOPS 760179 HAS SOUS 657106 HAS SOUPS 657106 WITH SCORE 657866.179
AT ITER 2333 NEW BEST:: SOT 4422824 SOS 760265 HAS SOPS 760265 HAS SOUS 657057 HAS SOUPS 657057 WITH SCORE 657817.265
AT ITER 2342 NEW BEST:: SOT 4422823 SOS 759959 HAS SOPS 759959 HAS SOUS 657055 HAS SOUPS 657055 WITH SCORE 657814.959
AT ITER 2348 NEW BEST:: SOT 4422813 SOS 759818 HAS SOPS 759818 HAS SOUS 656979 HAS SOUPS 656979 WITH SCORE 657738.818
AT ITER 2373 NEW BEST:: SOT 4422630 SOS 759452 HAS SOPS 759452 HAS SOUS 656613 HAS SOUPS 656613 WITH SCORE 657372.452
AT ITER 2385 NEW BEST:: SOT 4422619 SOS 759430 HAS SOPS 759430 HAS SOUS 656600 HAS SOUPS 656600 WITH SCORE 657359.43
AT ITER 2389 NEW BEST:: SOT 4422619 SOS 759398 HAS SOPS 759398 HAS SOUS 656568 HAS SOUPS 656568 WITH SCORE 657327.398
AT ITER 2397 NEW BEST:: SOT 4422619 SOS 759376 HAS SOPS 759376 HAS SOUS 656546 HAS SOUPS 656546 WITH SCORE 657305.376
AT ITER 2412 NEW BEST:: SOT 4422477 SOS 759262 HAS SOPS 759262 HAS SOUS 656432 HAS SOUPS 656432 WITH SCORE 657191.262
AT ITER 2419 NEW BEST:: SOT 4422435 SOS 759178 HAS SOPS 759178 HAS SOUS 656348 HAS SOUPS 656348 WITH SCORE 657107.178
AT ITER 2425 NEW BEST:: SOT 4422286 SOS 758880 HAS SOPS 758880 HAS SOUS 656245 HAS SOUPS 656245 WITH SCORE 657003.88
AT ITER 2433 NEW BEST:: SOT 4422182 SOS 758672 HAS SOPS 758672 HAS SOUS 656037 HAS SOUPS 656037 WITH SCORE 656795.672
AT ITER 2441 NEW BEST:: SOT 4422184 SOS 758662 HAS SOPS 758662 HAS SOUS 656037 HAS SOUPS 656037 WITH SCORE 656795.662
AT ITER 2462 NEW BEST:: SOT 4421900 SOS 758092 HAS SOPS 758092 HAS SOUS 656003 HAS SOUPS 656003 WITH SCORE 656761.092
AT ITER 2492 NEW BEST:: SOT 4421795 SOS 757882 HAS SOPS 757882 HAS SOUS 655793 HAS SOUPS 655793 WITH SCORE 656550.882
AT ITER 2493 NEW BEST:: SOT 4421627 SOS 757546 HAS SOPS 757546 HAS SOUS 655625 HAS SOUPS 655625 WITH SCORE 656382.546
AT ITER 2497 NEW BEST:: SOT 4421627 SOS 757546 HAS SOPS 757546 HAS SOUS 655527 HAS SOUPS 655527 WITH SCORE 656284.546
AT ITER 2502 NEW BEST:: SOT 4421802 SOS 756990 HAS SOPS 756990 HAS SOUS 655249 HAS SOUPS 655249 WITH SCORE 656005.99
AT ITER 2506 NEW BEST:: SOT 4421754 SOS 756942 HAS SOPS 756942 HAS SOUS 655201 HAS SOUPS 655201 WITH SCORE 655957.942
AT ITER 2520 NEW BEST:: SOT 4421754 SOS 756942 HAS SOPS 756942 HAS SOUS 655120 HAS SOUPS 655120 WITH SCORE 655876.942
AT ITER 2559 NEW BEST:: SOT 4421579 SOS 756908 HAS SOPS 756908 HAS SOUS 654980 HAS SOUPS 654980 WITH SCORE 655736.908
AT ITER 2569 NEW BEST:: SOT 4421426 SOS 756602 HAS SOPS 756602 HAS SOUS 654674 HAS SOUPS 654674 WITH SCORE 655430.602
AT ITER 2582 NEW BEST:: SOT 4421409 SOS 756568 HAS SOPS 756568 HAS SOUS 654640 HAS SOUPS 654640 WITH SCORE 655396.568
AT ITER 2617 NEW BEST:: SOT 4421183 SOS 756283 HAS SOPS 756283 HAS SOUS 654273 HAS SOUPS 654273 WITH SCORE 655029.283
AT ITER 2674 NEW BEST:: SOT 4421182 SOS 755916 HAS SOPS 755916 HAS SOUS 654271 HAS SOUPS 654271 WITH SCORE 655026.916
AT ITER 2699 NEW BEST:: SOT 4421096 SOS 755927 HAS SOPS 755927 HAS SOUS 654234 HAS SOUPS 654234 WITH SCORE 654989.927
AT ITER 2703 NEW BEST:: SOT 4420403 SOS 760022 HAS SOPS 760022 HAS SOUS 654137 HAS SOUPS 654137 WITH SCORE 654897.022
AT ITER 2712 NEW BEST:: SOT 4420402 SOS 760020 HAS SOPS 760020 HAS SOUS 654135 HAS SOUPS 654135 WITH SCORE 654895.02
AT ITER 2716 NEW BEST:: SOT 4420330 SOS 759876 HAS SOPS 759876 HAS SOUS 654063 HAS SOUPS 654063 WITH SCORE 654822.876
AT ITER 2738 NEW BEST:: SOT 4420330 SOS 759657 HAS SOPS 759657 HAS SOUS 654063 HAS SOUPS 654063 WITH SCORE 654822.657
AT ITER 2774 NEW BEST:: SOT 4420194 SOS 759646 HAS SOPS 759646 HAS SOUS 654052 HAS SOUPS 654052 WITH SCORE 654811.646
AT ITER 2823 NEW BEST:: SOT 4419767 SOS 759063 HAS SOPS 759063 HAS SOUS 653423 HAS SOUPS 653423 WITH SCORE 654182.063
AT ITER 2826 NEW BEST:: SOT 4417394 SOS 793377 HAS SOPS 793377 HAS SOUS 652182 HAS SOUPS 652182 WITH SCORE 652975.377
AT ITER 2849 NEW BEST:: SOT 4417363 SOS 793315 HAS SOPS 793315 HAS SOUS 652120 HAS SOUPS 652120 WITH SCORE 652913.315
AT ITER 2853 NEW BEST:: SOT 4417288 SOS 793419 HAS SOPS 793419 HAS SOUS 652109 HAS SOUPS 652109 WITH SCORE 652902.419
AT ITER 2858 NEW BEST:: SOT 4416723 SOS 792289 HAS SOPS 792289 HAS SOUS 651352 HAS SOUPS 651352 WITH SCORE 652144.289
AT ITER 2877 NEW BEST:: SOT 4416723 SOS 792289 HAS SOPS 792289 HAS SOUS 651298 HAS SOUPS 651298 WITH SCORE 652090.289
AT ITER 2923 NEW BEST:: SOT 4416354 SOS 778178 HAS SOPS 778178 HAS SOUS 650560 HAS SOUPS 650560 WITH SCORE 651338.178
AT ITER 2954 NEW BEST:: SOT 4416681 SOS 777961 HAS SOPS 777961 HAS SOUS 650457 HAS SOUPS 650457 WITH SCORE 651234.961
AT ITER 2974 NEW BEST:: SOT 4416562 SOS 777969 HAS SOPS 777969 HAS SOUS 650403 HAS SOUPS 650403 WITH SCORE 651180.969
AT ITER 2988 NEW BEST:: SOT 4416647 SOS 777965 HAS SOPS 777965 HAS SOUS 650365 HAS SOUPS 650365 WITH SCORE 651142.965
AT ITER 3017 NEW BEST:: SOT 4416647 SOS 777965 HAS SOPS 777965 HAS SOUS 650364 HAS SOUPS 650364 WITH SCORE 651141.965
AT ITER 3066 NEW BEST:: SOT 4416647 SOS 777895 HAS SOPS 777895 HAS SOUS 650364 HAS SOUPS 650364 WITH SCORE 651141.895
AT ITER 3073 NEW BEST:: SOT 4416441 SOS 777483 HAS SOPS 777483 HAS SOUS 650174 HAS SOUPS 650174 WITH SCORE 650951.483
AT ITER 3077 NEW BEST:: SOT 4416441 SOS 777181 HAS SOPS 777181 HAS SOUS 650023 HAS SOUPS 650023 WITH SCORE 650800.181
AT ITER 3078 NEW BEST:: SOT 4416336 SOS 776971 HAS SOPS 776971 HAS SOUS 649918 HAS SOUPS 649918 WITH SCORE 650694.971
AT ITER 3090 NEW BEST:: SOT 4416336 SOS 776971 HAS SOPS 776971 HAS SOUS 649917 HAS SOUPS 649917 WITH SCORE 650693.971
AT ITER 3138 NEW BEST:: SOT 4415945 SOS 776535 HAS SOPS 776535 HAS SOUS 649863 HAS SOUPS 649863 WITH SCORE 650639.535
AT ITER 3153 NEW BEST:: SOT 4415705 SOS 775853 HAS SOPS 775853 HAS SOUS 649195 HAS SOUPS 649195 WITH SCORE 649970.853
AT ITER 3176 NEW BEST:: SOT 4415665 SOS 775773 HAS SOPS 775773 HAS SOUS 649115 HAS SOUPS 649115 WITH SCORE 649890.773
AT ITER 3178 NEW BEST:: SOT 4415633 SOS 775709 HAS SOPS 775709 HAS SOUS 649083 HAS SOUPS 649083 WITH SCORE 649858.709
AT ITER 3199 NEW BEST:: SOT 4415526 SOS 775495 HAS SOPS 775495 HAS SOUS 648869 HAS SOUPS 648869 WITH SCORE 649644.495
AT ITER 3227 NEW BEST:: SOT 4415526 SOS 775424 HAS SOPS 775424 HAS SOUS 648798 HAS SOUPS 648798 WITH SCORE 649573.424
AT ITER 3230 NEW BEST:: SOT 4415309 SOS 774990 HAS SOPS 774990 HAS SOUS 648526 HAS SOUPS 648526 WITH SCORE 649300.99
AT ITER 3238 NEW BEST:: SOT 4415309 SOS 774810 HAS SOPS 774810 HAS SOUS 648346 HAS SOUPS 648346 WITH SCORE 649120.81
AT ITER 3293 NEW BEST:: SOT 4415309 SOS 774810 HAS SOPS 774810 HAS SOUS 648343 HAS SOUPS 648343 WITH SCORE 649117.81
AT ITER 3297 NEW BEST:: SOT 4415309 SOS 774810 HAS SOPS 774810 HAS SOUS 648143 HAS SOUPS 648143 WITH SCORE 648917.81
AT ITER 3302 NEW BEST:: SOT 4414950 SOS 774658 HAS SOPS 774658 HAS SOUS 647847 HAS SOUPS 647847 WITH SCORE 648621.658
AT ITER 3314 NEW BEST:: SOT 4414679 SOS 774116 HAS SOPS 774116 HAS SOUS 647568 HAS SOUPS 647568 WITH SCORE 648342.116
AT ITER 3317 NEW BEST:: SOT 4414519 SOS 773796 HAS SOPS 773796 HAS SOUS 647408 HAS SOUPS 647408 WITH SCORE 648181.796
AT ITER 3347 NEW BEST:: SOT 4414505 SOS 773768 HAS SOPS 773768 HAS SOUS 647380 HAS SOUPS 647380 WITH SCORE 648153.768
AT ITER 3351 NEW BEST:: SOT 4414308 SOS 773374 HAS SOPS 773374 HAS SOUS 646986 HAS SOUPS 646986 WITH SCORE 647759.374
AT ITER 3365 NEW BEST:: SOT 4414308 SOS 773129 HAS SOPS 773129 HAS SOUS 646986 HAS SOUPS 646986 WITH SCORE 647759.129
AT ITER 3376 NEW BEST:: SOT 4414247 SOS 773071 HAS SOPS 773071 HAS SOUS 646928 HAS SOUPS 646928 WITH SCORE 647701.071
AT ITER 3392 NEW BEST:: SOT 4414184 SOS 772882 HAS SOPS 772882 HAS SOUS 646865 HAS SOUPS 646865 WITH SCORE 647637.882
AT ITER 3413 NEW BEST:: SOT 4414183 SOS 772880 HAS SOPS 772880 HAS SOUS 646863 HAS SOUPS 646863 WITH SCORE 647635.88
AT ITER 3450 NEW BEST:: SOT 4414214 SOS 772844 HAS SOPS 772844 HAS SOUS 646858 HAS SOUPS 646858 WITH SCORE 647630.844
AT ITER 3510 NEW BEST:: SOT 4414212 SOS 772769 HAS SOPS 772769 HAS SOUS 646856 HAS SOUPS 646856 WITH SCORE 647628.769
AT ITER 3546 NEW BEST:: SOT 4414415 SOS 772665 HAS SOPS 772665 HAS SOUS 646549 HAS SOUPS 646549 WITH SCORE 647321.665
AT ITER 3552 NEW BEST:: SOT 4414339 SOS 772870 HAS SOPS 772870 HAS SOUS 646397 HAS SOUPS 646397 WITH SCORE 647169.87
AT ITER 3586 NEW BEST:: SOT 4414240 SOS 772672 HAS SOPS 772672 HAS SOUS 646199 HAS SOUPS 646199 WITH SCORE 646971.672
AT ITER 3591 NEW BEST:: SOT 4414240 SOS 772535 HAS SOPS 772535 HAS SOUS 646062 HAS SOUPS 646062 WITH SCORE 646834.535
AT ITER 3610 NEW BEST:: SOT 4414210 SOS 772475 HAS SOPS 772475 HAS SOUS 646058 HAS SOUPS 646058 WITH SCORE 646830.475
AT ITER 3625 NEW BEST:: SOT 4414178 SOS 772411 HAS SOPS 772411 HAS SOUS 645994 HAS SOUPS 645994 WITH SCORE 646766.411
AT ITER 3635 NEW BEST:: SOT 4413942 SOS 772175 HAS SOPS 772175 HAS SOUS 645930 HAS SOUPS 645930 WITH SCORE 646702.175
AT ITER 3644 NEW BEST:: SOT 4413878 SOS 771966 HAS SOPS 771966 HAS SOUS 645802 HAS SOUPS 645802 WITH SCORE 646573.966
AT ITER 3662 NEW BEST:: SOT 4413912 SOS 771671 HAS SOPS 771671 HAS SOUS 645553 HAS SOUPS 645553 WITH SCORE 646324.671
AT ITER 3698 NEW BEST:: SOT 4413769 SOS 771385 HAS SOPS 771385 HAS SOUS 645267 HAS SOUPS 645267 WITH SCORE 646038.385
AT ITER 3730 NEW BEST:: SOT 4413626 SOS 771099 HAS SOPS 771099 HAS SOUS 644981 HAS SOUPS 644981 WITH SCORE 645752.099
AT ITER 3759 NEW BEST:: SOT 4413625 SOS 771046 HAS SOPS 771046 HAS SOUS 644928 HAS SOUPS 644928 WITH SCORE 645699.046
AT ITER 3771 NEW BEST:: SOT 4413238 SOS 770659 HAS SOPS 770659 HAS SOUS 644541 HAS SOUPS 644541 WITH SCORE 645311.659
AT ITER 3780 NEW BEST:: SOT 4413239 SOS 770661 HAS SOPS 770661 HAS SOUS 644463 HAS SOUPS 644463 WITH SCORE 645233.661
AT ITER 3782 NEW BEST:: SOT 4413231 SOS 770645 HAS SOPS 770645 HAS SOUS 644447 HAS SOUPS 644447 WITH SCORE 645217.645
AT ITER 3846 NEW BEST:: SOT 4413375 SOS 770933 HAS SOPS 770933 HAS SOUS 644379 HAS SOUPS 644379 WITH SCORE 645149.933
AT ITER 3885 NEW BEST:: SOT 4413375 SOS 770585 HAS SOPS 770585 HAS SOUS 644379 HAS SOUPS 644379 WITH SCORE 645149.585
AT ITER 3917 NEW BEST:: SOT 4413081 SOS 770557 HAS SOPS 770557 HAS SOUS 643954 HAS SOUPS 643954 WITH SCORE 644724.557
AT ITER 3926 NEW BEST:: SOT 4413075 SOS 770545 HAS SOPS 770545 HAS SOUS 643947 HAS SOUPS 643947 WITH SCORE 644717.545
AT ITER 3936 NEW BEST:: SOT 4413074 SOS 770543 HAS SOPS 770543 HAS SOUS 643945 HAS SOUPS 643945 WITH SCORE 644715.543
AT ITER 3939 NEW BEST:: SOT 4412993 SOS 770381 HAS SOPS 770381 HAS SOUS 643861 HAS SOUPS 643861 WITH SCORE 644631.381
AT ITER 3941 NEW BEST:: SOT 4412987 SOS 770222 HAS SOPS 770222 HAS SOUS 643855 HAS SOUPS 643855 WITH SCORE 644625.222
AT ITER 3947 NEW BEST:: SOT 4412767 SOS 769782 HAS SOPS 769782 HAS SOUS 643854 HAS SOUPS 643854 WITH SCORE 644623.782
AT ITER 3953 NEW BEST:: SOT 4412766 SOS 769780 HAS SOPS 769780 HAS SOUS 643852 HAS SOUPS 643852 WITH SCORE 644621.78
AT ITER 3958 NEW BEST:: SOT 4412496 SOS 769510 HAS SOPS 769510 HAS SOUS 643685 HAS SOUPS 643685 WITH SCORE 644454.51
AT ITER 3973 NEW BEST:: SOT 4412414 SOS 769346 HAS SOPS 769346 HAS SOUS 643603 HAS SOUPS 643603 WITH SCORE 644372.346
AT ITER 4009 NEW BEST:: SOT 4412395 SOS 769539 HAS SOPS 769539 HAS SOUS 643582 HAS SOUPS 643582 WITH SCORE 644351.539
AT ITER 4033 NEW BEST:: SOT 4412296 SOS 769341 HAS SOPS 769341 HAS SOUS 643483 HAS SOUPS 643483 WITH SCORE 644252.341
AT ITER 4115 NEW BEST:: SOT 4412294 SOS 769337 HAS SOPS 769337 HAS SOUS 643479 HAS SOUPS 643479 WITH SCORE 644248.337
AT ITER 4125 NEW BEST:: SOT 4412273 SOS 769295 HAS SOPS 769295 HAS SOUS 643458 HAS SOUPS 643458 WITH SCORE 644227.295
AT ITER 4172 NEW BEST:: SOT 4412238 SOS 769259 HAS SOPS 769259 HAS SOUS 643422 HAS SOUPS 643422 WITH SCORE 644191.259
AT ITER 4182 NEW BEST:: SOT 4412170 SOS 769123 HAS SOPS 769123 HAS SOUS 643360 HAS SOUPS 643360 WITH SCORE 644129.123
AT ITER 4185 NEW BEST:: SOT 4412169 SOS 769121 HAS SOPS 769121 HAS SOUS 643358 HAS SOUPS 643358 WITH SCORE 644127.121
AT ITER 4186 NEW BEST:: SOT 4412281 SOS 769077 HAS SOPS 769077 HAS SOUS 643336 HAS SOUPS 643336 WITH SCORE 644105.077
AT ITER 4226 NEW BEST:: SOT 4412305 SOS 769125 HAS SOPS 769125 HAS SOUS 643267 HAS SOUPS 643267 WITH SCORE 644036.125
AT ITER 4236 NEW BEST:: SOT 4412289 SOS 769093 HAS SOPS 769093 HAS SOUS 643235 HAS SOUPS 643235 WITH SCORE 644004.093
AT ITER 4238 NEW BEST:: SOT 4412067 SOS 768649 HAS SOPS 768649 HAS SOUS 642791 HAS SOUPS 642791 WITH SCORE 643559.649
AT ITER 4244 NEW BEST:: SOT 4412020 SOS 768363 HAS SOPS 768363 HAS SOUS 642680 HAS SOUPS 642680 WITH SCORE 643448.363
AT ITER 4249 NEW BEST:: SOT 4412020 SOS 768229 HAS SOPS 768229 HAS SOUS 642680 HAS SOUPS 642680 WITH SCORE 643448.229
AT ITER 4252 NEW BEST:: SOT 4411960 SOS 768109 HAS SOPS 768109 HAS SOUS 642560 HAS SOUPS 642560 WITH SCORE 643328.109
AT ITER 4269 NEW BEST:: SOT 4411858 SOS 768913 HAS SOPS 768913 HAS SOUS 642551 HAS SOUPS 642551 WITH SCORE 643319.913
AT ITER 4272 NEW BEST:: SOT 4411858 SOS 768913 HAS SOPS 768913 HAS SOUS 642478 HAS SOUPS 642478 WITH SCORE 643246.913
AT ITER 4274 NEW BEST:: SOT 4411796 SOS 768852 HAS SOPS 768852 HAS SOUS 642417 HAS SOUPS 642417 WITH SCORE 643185.852
AT ITER 4295 NEW BEST:: SOT 4411795 SOS 768652 HAS SOPS 768652 HAS SOUS 642415 HAS SOUPS 642415 WITH SCORE 643183.652
AT ITER 4310 NEW BEST:: SOT 4411405 SOS 768280 HAS SOPS 768280 HAS SOUS 642235 HAS SOUPS 642235 WITH SCORE 643003.28
AT ITER 4367 NEW BEST:: SOT 4411412 SOS 767827 HAS SOPS 767827 HAS SOUS 641781 HAS SOUPS 641781 WITH SCORE 642548.827
AT ITER 4381 NEW BEST:: SOT 4411201 SOS 767405 HAS SOPS 767405 HAS SOUS 641570 HAS SOUPS 641570 WITH SCORE 642337.405
AT ITER 4384 NEW BEST:: SOT 4411144 SOS 767291 HAS SOPS 767291 HAS SOUS 641456 HAS SOUPS 641456 WITH SCORE 642223.291
AT ITER 4389 NEW BEST:: SOT 4411144 SOS 767291 HAS SOPS 767291 HAS SOUS 641455 HAS SOUPS 641455 WITH SCORE 642222.291
AT ITER 4404 NEW BEST:: SOT 4410854 SOS 767715 HAS SOPS 767715 HAS SOUS 641404 HAS SOUPS 641404 WITH SCORE 642171.715
AT ITER 4406 NEW BEST:: SOT 4410514 SOS 767704 HAS SOPS 767704 HAS SOUS 641232 HAS SOUPS 641232 WITH SCORE 641999.704
AT ITER 4436 NEW BEST:: SOT 4410530 SOS 767570 HAS SOPS 767570 HAS SOUS 641057 HAS SOUPS 641057 WITH SCORE 641824.57
AT ITER 4449 NEW BEST:: SOT 4410530 SOS 767319 HAS SOPS 767319 HAS SOUS 641056 HAS SOUPS 641056 WITH SCORE 641823.319
AT ITER 4478 NEW BEST:: SOT 4410470 SOS 767199 HAS SOPS 767199 HAS SOUS 640936 HAS SOUPS 640936 WITH SCORE 641703.199
AT ITER 4518 NEW BEST:: SOT 4410374 SOS 767183 HAS SOPS 767183 HAS SOUS 640873 HAS SOUPS 640873 WITH SCORE 641640.183
AT ITER 4526 NEW BEST:: SOT 4410361 SOS 767157 HAS SOPS 767157 HAS SOUS 640847 HAS SOUPS 640847 WITH SCORE 641614.157
AT ITER 4535 NEW BEST:: SOT 4410360 SOS 767155 HAS SOPS 767155 HAS SOUS 640845 HAS SOUPS 640845 WITH SCORE 641612.155
AT ITER 4562 NEW BEST:: SOT 4410252 SOS 767091 HAS SOPS 767091 HAS SOUS 640750 HAS SOUPS 640750 WITH SCORE 641517.091
AT ITER 4568 NEW BEST:: SOT 4410244 SOS 767104 HAS SOPS 767104 HAS SOUS 640742 HAS SOUPS 640742 WITH SCORE 641509.104
AT ITER 4583 NEW BEST:: SOT 4410037 SOS 766690 HAS SOPS 766690 HAS SOUS 640509 HAS SOUPS 640509 WITH SCORE 641275.69
AT ITER 4588 NEW BEST:: SOT 4410109 SOS 766834 HAS SOPS 766834 HAS SOUS 640296 HAS SOUPS 640296 WITH SCORE 641062.834
AT ITER 4592 NEW BEST:: SOT 4410080 SOS 766731 HAS SOPS 766731 HAS SOUS 640193 HAS SOUPS 640193 WITH SCORE 640959.731
AT ITER 4673 NEW BEST:: SOT 4410080 SOS 766700 HAS SOPS 766700 HAS SOUS 640162 HAS SOUPS 640162 WITH SCORE 640928.7
AT ITER 4677 NEW BEST:: SOT 4410134 SOS 766250 HAS SOPS 766250 HAS SOUS 639712 HAS SOUPS 639712 WITH SCORE 640478.25
AT ITER 4694 NEW BEST:: SOT 4409998 SOS 765746 HAS SOPS 765746 HAS SOUS 639208 HAS SOUPS 639208 WITH SCORE 639973.746
AT ITER 4699 NEW BEST:: SOT 4409998 SOS 765746 HAS SOPS 765746 HAS SOUS 639062 HAS SOUPS 639062 WITH SCORE 639827.746
AT ITER 4715 NEW BEST:: SOT 4409925 SOS 765600 HAS SOPS 765600 HAS SOUS 638916 HAS SOUPS 638916 WITH SCORE 639681.6
AT ITER 4718 NEW BEST:: SOT 4409562 SOS 765372 HAS SOPS 765372 HAS SOUS 638491 HAS SOUPS 638491 WITH SCORE 639256.372
AT ITER 4743 NEW BEST:: SOT 4408956 SOS 764766 HAS SOPS 764766 HAS SOUS 637885 HAS SOUPS 637885 WITH SCORE 638649.766
AT ITER 4760 NEW BEST:: SOT 4408955 SOS 764764 HAS SOPS 764764 HAS SOUS 637883 HAS SOUPS 637883 WITH SCORE 638647.764
AT ITER 4764 NEW BEST:: SOT 4408921 SOS 764730 HAS SOPS 764730 HAS SOUS 637849 HAS SOUPS 637849 WITH SCORE 638613.73
AT ITER 4785 NEW BEST:: SOT 4408804 SOS 764337 HAS SOPS 764337 HAS SOUS 637615 HAS SOUPS 637615 WITH SCORE 638379.337
AT ITER 4808 NEW BEST:: SOT 4408788 SOS 764330 HAS SOPS 764330 HAS SOUS 637608 HAS SOUPS 637608 WITH SCORE 638372.33
AT ITER 4810 NEW BEST:: SOT 4408788 SOS 764330 HAS SOPS 764330 HAS SOUS 637585 HAS SOUPS 637585 WITH SCORE 638349.33
AT ITER 4861 NEW BEST:: SOT 4408704 SOS 764162 HAS SOPS 764162 HAS SOUS 637417 HAS SOUPS 637417 WITH SCORE 638181.162
AT ITER 4862 NEW BEST:: SOT 4408654 SOS 764112 HAS SOPS 764112 HAS SOUS 637367 HAS SOUPS 637367 WITH SCORE 638131.112
AT ITER 4883 NEW BEST:: SOT 4408638 SOS 764080 HAS SOPS 764080 HAS SOUS 637351 HAS SOUPS 637351 WITH SCORE 638115.08
AT ITER 4888 NEW BEST:: SOT 4407958 SOS 765807 HAS SOPS 765807 HAS SOUS 637319 HAS SOUPS 637319 WITH SCORE 638084.807
AT ITER 4893 NEW BEST:: SOT 4407832 SOS 765555 HAS SOPS 765555 HAS SOUS 637193 HAS SOUPS 637193 WITH SCORE 637958.555
AT ITER 4917 NEW BEST:: SOT 4407828 SOS 765547 HAS SOPS 765547 HAS SOUS 637185 HAS SOUPS 637185 WITH SCORE 637950.547
AT ITER 4921 NEW BEST:: SOT 4407828 SOS 765353 HAS SOPS 765353 HAS SOUS 637185 HAS SOUPS 637185 WITH SCORE 637950.353
AT ITER 4924 NEW BEST:: SOT 4407728 SOS 765153 HAS SOPS 765153 HAS SOUS 636985 HAS SOUPS 636985 WITH SCORE 637750.153
AT ITER 4933 NEW BEST:: SOT 4407728 SOS 765153 HAS SOPS 765153 HAS SOUS 636939 HAS SOUPS 636939 WITH SCORE 637704.153
AT ITER 4963 NEW BEST:: SOT 4407683 SOS 765063 HAS SOPS 765063 HAS SOUS 636894 HAS SOUPS 636894 WITH SCORE 637659.063
AT ITER 4965 NEW BEST:: SOT 4407682 SOS 765062 HAS SOPS 765062 HAS SOUS 636892 HAS SOUPS 636892 WITH SCORE 637657.062
AT ITER 4975 NEW BEST:: SOT 4407789 SOS 765102 HAS SOPS 765102 HAS SOUS 636884 HAS SOUPS 636884 WITH SCORE 637649.102
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-00 (AU( ((potential((tk(P2463)>=1)))) , (AF( ( ((potential((tk(P262)>=1)))) & ((potential((tk(P573)>=1) & (tk(P616)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-01 ( ((potential((tk(P665)>=1)))) | (! (AG( ( (! ((potential((tk(P573)>=1) & (tk(P797)>=1))))) & (! ((potential((tk(P854)>=1))))) )))) )
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-02 (EU( (EU( ((potential((tk(P984)>=1)))) , ((potential((tk(P422)>=1)))) )) , ( (! ( ((potential((tk(P19)>=1) & (tk(P1238)>=1)))) & ((potential((tk(P2448)>=1)))) )) & (EF( ((potential((tk(P1928)>=1)))))) ) ))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-03 (EF( ( (EU( ((potential((tk(P1118)>=1)))) , ((potential((tk(P634)>=1)))) )) | ( ((potential((tk(P2053)>=1)))) & ((potential((tk(P224)>=1)))) ) )))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-04 ( ( (EF( ( ( ((potential((tk(P2336)>=1)))) & ((potential((tk(P1740)>=1)))) ) & ((potential((tk(P748)>=1)))) ))) | (AX( (AF( ((potential((tk(P104)>=1)))))))) ) & (AU( ( ( ((potential((tk(P1102)>=1)))) | ((potential((tk(P1288)>=1)))) ) | (! ((potential((tk(P1848)>=1))))) ) , ((potential((tk(P432)>=1)))) )) )
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-05 (EU( (! (! ((potential((tk(P2300)>=1)))))) , (AF( ( ((potential((tk(P300)>=1)))) | ((potential((tk(P2022)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-06 (! (AF( ( ( ( ((potential((tk(P2004)>=1)))) & ((potential((tk(P1756)>=1)))) ) & ( ((potential((tk(P162)>=1)))) & ((potential((tk(P2379)>=1)))) ) ) & ( ( ((potential((tk(P573)>=1) & (tk(P2260)>=1)))) & ((potential((tk(P161)>=1)))) ) & ((potential((tk(P1124)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-07 (EU( (! (EF( ((potential((tk(P2452)>=1))))))) , (AG( ((potential((tk(P2257)>=1)))))) ))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-08 (AG( (! ((potential((tk(P1396)>=1)))))))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-09 (! (AF( ( (EX( ((potential((tk(P686)>=1)))))) | (AF( ((potential((tk(P1823)>=1)))))) ))))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-10 (AF( ((potential((tk(P2247)>=1))))))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-11 (AU( (! ( ( ((potential((tk(P909)>=1)))) & ((potential((tk(P2166)>=1)))) ) | ((potential((tk(P535)>=1)))) )) , ((potential((tk(P2499)>=1)))) ))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-12 (AG( (! ( ( ((potential((tk(P310)>=1)))) & (! ((potential((tk(P141)>=1))))) ) | (AF( ((potential((tk(P759)>=1)))))) ))))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-13 ( ((potential((tk(P1149)>=1)))) | ( ( (! ( (! ((potential((tk(P1122)>=1))))) | ((potential((tk(P1256)>=1)))) )) & ((potential((tk(P635)>=1)))) ) | (! (AF( ( ((potential((tk(P610)>=1)))) | ((potential((tk(P432)>=1)))) )))) ) )
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-14 (! ( (EX( (! ((potential((tk(P1143)>=1))))))) & (EX( (EF( ((potential((tk(P1075)>=1)))))))) ))
PROPERTY: CloudReconfiguration-PT-306-CTLFireability-15 (AF( (AG( ( ((potential((tk(P1747)>=1)))) & ( ((potential((tk(P1445)>=1)))) | ((potential((tk(P1538)>=1)))) ) )))))

BK_TIME_CONFINEMENT_REACHED

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

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="CloudReconfiguration-PT-306"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-306, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541600044"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-306.tgz
mv CloudReconfiguration-PT-306 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;