Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250300304.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NeoElection-PT-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250300304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.3M
-rw-r--r-- 1 mcc users 230K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 564K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 176K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 485K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 112K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 295K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 36K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 118K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 143K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 349K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 149K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 419K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 57K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 116K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 6 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 4.1M Apr 30 13:04 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589640181591

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (PT), instance 5
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 3090 places, 4674 transitions, 27162 arcs.
AT ITER 0 NEW BEST:: SOT 4074002 SOS 2201793 HAS SOPS 2192042 HAS SOUS 575253 HAS SOUPS 573860 WITH SCORE 576061.793
AT ITER 195 NEW BEST:: SOT 4074002 SOS 2199985 HAS SOPS 2190234 HAS SOUS 574881 HAS SOUPS 573488 WITH SCORE 575687.985
AT ITER 412 NEW BEST:: SOT 4074002 SOS 2199646 HAS SOPS 2189895 HAS SOUS 573285 HAS SOUPS 571892 WITH SCORE 574091.646
AT ITER 447 NEW BEST:: SOT 4074002 SOS 2198366 HAS SOPS 2188615 HAS SOUS 572993 HAS SOUPS 571600 WITH SCORE 573798.366
AT ITER 539 NEW BEST:: SOT 4073382 SOS 2199539 HAS SOPS 2189788 HAS SOUS 572533 HAS SOUPS 571140 WITH SCORE 573339.539
AT ITER 547 NEW BEST:: SOT 4073382 SOS 2198695 HAS SOPS 2188944 HAS SOUS 571131 HAS SOUPS 569738 WITH SCORE 571936.695
AT ITER 581 NEW BEST:: SOT 4073382 SOS 2196567 HAS SOPS 2186816 HAS SOUS 570690 HAS SOUPS 569297 WITH SCORE 571493.567
AT ITER 602 NEW BEST:: SOT 4073382 SOS 2196297 HAS SOPS 2186546 HAS SOUS 570663 HAS SOUPS 569270 WITH SCORE 571466.297
AT ITER 647 NEW BEST:: SOT 4073382 SOS 2195842 HAS SOPS 2186283 HAS SOUS 570598 HAS SOUPS 569205 WITH SCORE 571400.842
AT ITER 673 NEW BEST:: SOT 4073014 SOS 2194738 HAS SOPS 2185179 HAS SOUS 569954 HAS SOUPS 568561 WITH SCORE 570755.738
AT ITER 715 NEW BEST:: SOT 4072410 SOS 2195285 HAS SOPS 2185726 HAS SOUS 568566 HAS SOUPS 567173 WITH SCORE 569368.285
AT ITER 778 NEW BEST:: SOT 4072410 SOS 2193192 HAS SOPS 2183633 HAS SOUS 568238 HAS SOUPS 566845 WITH SCORE 569038.192
AT ITER 788 NEW BEST:: SOT 4073571 SOS 2233050 HAS SOPS 2221265 HAS SOUS 567187 HAS SOUPS 565476 WITH SCORE 567709.05
AT ITER 790 NEW BEST:: SOT 4073571 SOS 2233050 HAS SOPS 2221265 HAS SOUS 566502 HAS SOUPS 564791 WITH SCORE 567024.05
AT ITER 810 NEW BEST:: SOT 4073312 SOS 2437404 HAS SOPS 2425619 HAS SOUS 566243 HAS SOUPS 564532 WITH SCORE 566969.404
AT ITER 882 NEW BEST:: SOT 4073312 SOS 2436636 HAS SOPS 2425474 HAS SOUS 565955 HAS SOUPS 564333 WITH SCORE 566769.636
AT ITER 909 NEW BEST:: SOT 4072496 SOS 2431797 HAS SOPS 2420635 HAS SOUS 564321 HAS SOUPS 562699 WITH SCORE 565130.797
AT ITER 922 NEW BEST:: SOT 4072335 SOS 2427701 HAS SOPS 2416539 HAS SOUS 563842 HAS SOUPS 562220 WITH SCORE 564647.701
AT ITER 926 NEW BEST:: SOT 4072335 SOS 2425365 HAS SOPS 2414203 HAS SOUS 563396 HAS SOUPS 561774 WITH SCORE 564199.365
AT ITER 987 NEW BEST:: SOT 4072335 SOS 2424005 HAS SOPS 2412843 HAS SOUS 563056 HAS SOUPS 561434 WITH SCORE 563858.005
AT ITER 1006 NEW BEST:: SOT 4072163 SOS 2423403 HAS SOPS 2412241 HAS SOUS 562841 HAS SOUPS 561219 WITH SCORE 563642.403
AT ITER 1040 NEW BEST:: SOT 4072163 SOS 2422555 HAS SOPS 2411253 HAS SOUS 562859 HAS SOUPS 561217 WITH SCORE 563639.555
AT ITER 1069 NEW BEST:: SOT 4072163 SOS 2422035 HAS SOPS 2410733 HAS SOUS 562569 HAS SOUPS 560927 WITH SCORE 563349.035
AT ITER 1092 NEW BEST:: SOT 4072163 SOS 2419475 HAS SOPS 2408173 HAS SOUS 562131 HAS SOUPS 560489 WITH SCORE 562908.475
AT ITER 1123 NEW BEST:: SOT 4072712 SOS 2425082 HAS SOPS 2413780 HAS SOUS 561702 HAS SOUPS 560060 WITH SCORE 562485.082
AT ITER 1137 NEW BEST:: SOT 4072090 SOS 2426275 HAS SOPS 2414973 HAS SOUS 561098 HAS SOUPS 559456 WITH SCORE 561882.275
AT ITER 1182 NEW BEST:: SOT 4072090 SOS 2420572 HAS SOPS 2409270 HAS SOUS 560946 HAS SOUPS 559304 WITH SCORE 561724.572
AT ITER 1247 NEW BEST:: SOT 4073952 SOS 2417382 HAS SOPS 2405305 HAS SOUS 561322 HAS SOUPS 559008 WITH SCORE 561425.382
AT ITER 1342 NEW BEST:: SOT 4073952 SOS 2414265 HAS SOPS 2402188 HAS SOUS 560932 HAS SOUPS 558618 WITH SCORE 561032.265
AT ITER 1420 NEW BEST:: SOT 4073952 SOS 2413895 HAS SOPS 2401818 HAS SOUS 560784 HAS SOUPS 558470 WITH SCORE 560883.895
AT ITER 1442 NEW BEST:: SOT 4073174 SOS 2415526 HAS SOPS 2403449 HAS SOUS 560289 HAS SOUPS 557975 WITH SCORE 560390.526
AT ITER 1447 NEW BEST:: SOT 4073174 SOS 2414817 HAS SOPS 2402740 HAS SOUS 559258 HAS SOUPS 556944 WITH SCORE 559358.817
AT ITER 1452 NEW BEST:: SOT 4073174 SOS 2412793 HAS SOPS 2400716 HAS SOUS 559166 HAS SOUPS 556852 WITH SCORE 559264.793
AT ITER 1469 NEW BEST:: SOT 4069755 SOS 2416297 HAS SOPS 2404220 HAS SOUS 554305 HAS SOUPS 551991 WITH SCORE 554407.297
AT ITER 1501 NEW BEST:: SOT 4069755 SOS 2416209 HAS SOPS 2404132 HAS SOUS 554297 HAS SOUPS 551983 WITH SCORE 554399.209
AT ITER 1554 NEW BEST:: SOT 4069662 SOS 2416116 HAS SOPS 2404039 HAS SOUS 554202 HAS SOUPS 551888 WITH SCORE 554304.116
AT ITER 1615 NEW BEST:: SOT 4069662 SOS 2412720 HAS SOPS 2400643 HAS SOUS 553884 HAS SOUPS 551570 WITH SCORE 553982.72
AT ITER 1631 NEW BEST:: SOT 4069662 SOS 2411874 HAS SOPS 2399797 HAS SOUS 553790 HAS SOUPS 551476 WITH SCORE 553887.874
AT ITER 1703 NEW BEST:: SOT 4069662 SOS 2410186 HAS SOPS 2398109 HAS SOUS 553465 HAS SOUPS 551151 WITH SCORE 553561.186
AT ITER 1741 NEW BEST:: SOT 4069662 SOS 2410140 HAS SOPS 2398063 HAS SOUS 553465 HAS SOUPS 551151 WITH SCORE 553561.14
AT ITER 1747 NEW BEST:: SOT 4069662 SOS 2408475 HAS SOPS 2396398 HAS SOUS 552336 HAS SOUPS 550022 WITH SCORE 552430.475
AT ITER 1780 NEW BEST:: SOT 4070483 SOS 2408925 HAS SOPS 2396946 HAS SOUS 552108 HAS SOUPS 549794 WITH SCORE 552202.925
AT ITER 1781 NEW BEST:: SOT 4070483 SOS 2408925 HAS SOPS 2396946 HAS SOUS 551986 HAS SOUPS 549672 WITH SCORE 552080.925
AT ITER 1920 NEW BEST:: SOT 4070483 SOS 2404334 HAS SOPS 2392355 HAS SOUS 550887 HAS SOUPS 548573 WITH SCORE 550977.334
AT ITER 1924 NEW BEST:: SOT 4070483 SOS 2402228 HAS SOPS 2391079 HAS SOUS 550581 HAS SOUPS 548413 WITH SCORE 550815.228
AT ITER 1932 NEW BEST:: SOT 4068801 SOS 2400546 HAS SOPS 2389397 HAS SOUS 549554 HAS SOUPS 547386 WITH SCORE 549786.546
AT ITER 1968 NEW BEST:: SOT 4068801 SOS 2396290 HAS SOPS 2385141 HAS SOUS 547282 HAS SOUPS 545114 WITH SCORE 547510.29
AT ITER 2020 NEW BEST:: SOT 4068801 SOS 2393882 HAS SOPS 2382733 HAS SOUS 546894 HAS SOUPS 544726 WITH SCORE 547119.882
AT ITER 2026 NEW BEST:: SOT 4068801 SOS 2394540 HAS SOPS 2383391 HAS SOUS 546757 HAS SOUPS 544589 WITH SCORE 546983.54
AT ITER 2100 NEW BEST:: SOT 4068801 SOS 2394394 HAS SOPS 2383245 HAS SOUS 546745 HAS SOUPS 544577 WITH SCORE 546971.394
AT ITER 2115 NEW BEST:: SOT 4068801 SOS 2394050 HAS SOPS 2382901 HAS SOUS 546745 HAS SOUPS 544577 WITH SCORE 546971.05
AT ITER 2196 NEW BEST:: SOT 4068801 SOS 2388584 HAS SOPS 2377435 HAS SOUS 546172 HAS SOUPS 544004 WITH SCORE 546392.584
AT ITER 2198 NEW BEST:: SOT 4068801 SOS 2383801 HAS SOPS 2372652 HAS SOUS 544806 HAS SOUPS 542638 WITH SCORE 545021.801
AT ITER 2284 NEW BEST:: SOT 4068736 SOS 2383775 HAS SOPS 2372626 HAS SOUS 544761 HAS SOUPS 542593 WITH SCORE 544976.775
AT ITER 2317 NEW BEST:: SOT 4068736 SOS 2381563 HAS SOPS 2370414 HAS SOUS 544419 HAS SOUPS 542251 WITH SCORE 544632.563
AT ITER 2321 NEW BEST:: SOT 4068409 SOS 2383060 HAS SOPS 2371911 HAS SOUS 544240 HAS SOUPS 542072 WITH SCORE 544455.06
AT ITER 2327 NEW BEST:: SOT 4068409 SOS 2382148 HAS SOPS 2370999 HAS SOUS 544103 HAS SOUPS 541935 WITH SCORE 544317.148
AT ITER 2346 NEW BEST:: SOT 4068409 SOS 2381004 HAS SOPS 2369855 HAS SOUS 543956 HAS SOUPS 541788 WITH SCORE 544169.004
AT ITER 2360 NEW BEST:: SOT 4068409 SOS 2378113 HAS SOPS 2366964 HAS SOUS 543548 HAS SOUPS 541380 WITH SCORE 543758.113
AT ITER 2401 NEW BEST:: SOT 4068409 SOS 2375691 HAS SOPS 2364542 HAS SOUS 543178 HAS SOUPS 541010 WITH SCORE 543385.691
AT ITER 2404 NEW BEST:: SOT 4068888 SOS 2375493 HAS SOPS 2365021 HAS SOUS 542273 HAS SOUPS 540777 WITH SCORE 543152.493
AT ITER 2413 NEW BEST:: SOT 4068888 SOS 2375493 HAS SOPS 2365021 HAS SOUS 542208 HAS SOUPS 540712 WITH SCORE 543087.493
AT ITER 2518 NEW BEST:: SOT 4068888 SOS 2374077 HAS SOPS 2363605 HAS SOUS 541890 HAS SOUPS 540394 WITH SCORE 542768.077
AT ITER 2642 NEW BEST:: SOT 4068888 SOS 2371765 HAS SOPS 2361293 HAS SOUS 541311 HAS SOUPS 539815 WITH SCORE 542186.765
AT ITER 2658 NEW BEST:: SOT 4064309 SOS 2373915 HAS SOPS 2363443 HAS SOUS 537762 HAS SOUPS 536266 WITH SCORE 538639.915
AT ITER 2659 NEW BEST:: SOT 4064161 SOS 2376672 HAS SOPS 2366200 HAS SOUS 537586 HAS SOUPS 536090 WITH SCORE 538466.672
AT ITER 2691 NEW BEST:: SOT 4064161 SOS 2375400 HAS SOPS 2364928 HAS SOUS 537285 HAS SOUPS 535789 WITH SCORE 538164.4
AT ITER 2710 NEW BEST:: SOT 4064161 SOS 2372754 HAS SOPS 2362282 HAS SOUS 536979 HAS SOUPS 535483 WITH SCORE 537855.754
AT ITER 2722 NEW BEST:: SOT 4062841 SOS 2371222 HAS SOPS 2360723 HAS SOUS 535502 HAS SOUPS 533979 WITH SCORE 536350.222
AT ITER 2791 NEW BEST:: SOT 4062841 SOS 2371105 HAS SOPS 2360606 HAS SOUS 535502 HAS SOUPS 533979 WITH SCORE 536350.105
AT ITER 2814 NEW BEST:: SOT 4062524 SOS 2389809 HAS SOPS 2379310 HAS SOUS 534960 HAS SOUPS 533437 WITH SCORE 535826.809
AT ITER 2846 NEW BEST:: SOT 4062524 SOS 2389913 HAS SOPS 2379414 HAS SOUS 534908 HAS SOUPS 533385 WITH SCORE 535774.913
AT ITER 2913 NEW BEST:: SOT 4062524 SOS 2392587 HAS SOPS 2382088 HAS SOUS 534522 HAS SOUPS 532999 WITH SCORE 535391.587
AT ITER 3043 NEW BEST:: SOT 4062436 SOS 2392763 HAS SOPS 2382264 HAS SOUS 534434 HAS SOUPS 532911 WITH SCORE 535303.763
AT ITER 3055 NEW BEST:: SOT 4061781 SOS 2394605 HAS SOPS 2384106 HAS SOUS 534201 HAS SOUPS 532678 WITH SCORE 535072.605
AT ITER 3142 NEW BEST:: SOT 4061781 SOS 2390430 HAS SOPS 2379931 HAS SOUS 533748 HAS SOUPS 532225 WITH SCORE 534615.43
AT ITER 3151 NEW BEST:: SOT 4059207 SOS 2387950 HAS SOPS 2377459 HAS SOUS 531129 HAS SOUPS 529614 WITH SCORE 532001.95
AT ITER 3218 NEW BEST:: SOT 4058841 SOS 2387584 HAS SOPS 2377093 HAS SOUS 530669 HAS SOUPS 529154 WITH SCORE 531541.584
AT ITER 3232 NEW BEST:: SOT 4058841 SOS 2385512 HAS SOPS 2375021 HAS SOUS 530151 HAS SOUPS 528636 WITH SCORE 531021.512
AT ITER 3235 NEW BEST:: SOT 4058579 SOS 2436472 HAS SOPS 2425981 HAS SOUS 529978 HAS SOUPS 528463 WITH SCORE 530899.472
AT ITER 3290 NEW BEST:: SOT 4058579 SOS 2433889 HAS SOPS 2424343 HAS SOUS 529682 HAS SOUPS 528302 WITH SCORE 530735.889
AT ITER 3518 NEW BEST:: SOT 4058579 SOS 2433493 HAS SOPS 2423947 HAS SOUS 529646 HAS SOUPS 528266 WITH SCORE 530699.493
AT ITER 3604 NEW BEST:: SOT 4058579 SOS 2433301 HAS SOPS 2423755 HAS SOUS 529646 HAS SOUPS 528266 WITH SCORE 530699.301
AT ITER 3626 NEW BEST:: SOT 4058579 SOS 2427154 HAS SOPS 2417608 HAS SOUS 528480 HAS SOUPS 527100 WITH SCORE 529527.154
AT ITER 3638 NEW BEST:: SOT 4058579 SOS 2427154 HAS SOPS 2417608 HAS SOUS 528084 HAS SOUPS 526704 WITH SCORE 529131.154
AT ITER 3778 NEW BEST:: SOT 4058547 SOS 2425442 HAS SOPS 2415896 HAS SOUS 527967 HAS SOUPS 526587 WITH SCORE 529012.442
AT ITER 3842 NEW BEST:: SOT 4058547 SOS 2425262 HAS SOPS 2415716 HAS SOUS 527517 HAS SOUPS 526137 WITH SCORE 528562.262
AT ITER 3879 NEW BEST:: SOT 4058547 SOS 2425358 HAS SOPS 2415812 HAS SOUS 527141 HAS SOUPS 525761 WITH SCORE 528186.358
AT ITER 3897 NEW BEST:: SOT 4058547 SOS 2425358 HAS SOPS 2415812 HAS SOUS 527051 HAS SOUPS 525671 WITH SCORE 528096.358
AT ITER 4100 NEW BEST:: SOT 4058547 SOS 2423002 HAS SOPS 2413456 HAS SOUS 527003 HAS SOUPS 525623 WITH SCORE 528046.002
AT ITER 4138 NEW BEST:: SOT 4058547 SOS 2423002 HAS SOPS 2413456 HAS SOUS 526754 HAS SOUPS 525374 WITH SCORE 527797.002
AT ITER 4139 NEW BEST:: SOT 4058547 SOS 2419752 HAS SOPS 2410206 HAS SOUS 526597 HAS SOUPS 525217 WITH SCORE 527636.752
AT ITER 4163 NEW BEST:: SOT 4058547 SOS 2418704 HAS SOPS 2409158 HAS SOUS 526381 HAS SOUPS 525001 WITH SCORE 527419.704
AT ITER 4212 NEW BEST:: SOT 4058547 SOS 2417584 HAS SOPS 2408038 HAS SOUS 526269 HAS SOUPS 524889 WITH SCORE 527306.584
AT ITER 4230 NEW BEST:: SOT 4058547 SOS 2417462 HAS SOPS 2408167 HAS SOUS 526034 HAS SOUPS 524654 WITH SCORE 527071.462
AT ITER 4285 NEW BEST:: SOT 4058532 SOS 2425292 HAS SOPS 2415997 HAS SOUS 526019 HAS SOUPS 524639 WITH SCORE 527064.292
AT ITER 4373 NEW BEST:: SOT 4058532 SOS 2425292 HAS SOPS 2415997 HAS SOUS 525939 HAS SOUPS 524559 WITH SCORE 526984.292
AT ITER 4416 NEW BEST:: SOT 4058532 SOS 2423620 HAS SOPS 2414325 HAS SOUS 525754 HAS SOUPS 524374 WITH SCORE 526797.62
AT ITER 4499 NEW BEST:: SOT 4056642 SOS 2621905 HAS SOPS 2612610 HAS SOUS 524253 HAS SOUPS 522873 WITH SCORE 525494.905
AT ITER 4690 NEW BEST:: SOT 4056642 SOS 2621905 HAS SOPS 2612610 HAS SOUS 523969 HAS SOUPS 522589 WITH SCORE 525210.905
AT ITER 4721 NEW BEST:: SOT 4056642 SOS 2617409 HAS SOPS 2608114 HAS SOUS 523285 HAS SOUPS 521905 WITH SCORE 524522.409
AT ITER 4745 NEW BEST:: SOT 4056634 SOS 2617353 HAS SOPS 2608058 HAS SOUS 523269 HAS SOUPS 521889 WITH SCORE 524506.353
AT ITER 4854 NEW BEST:: SOT 4056565 SOS 2617284 HAS SOPS 2607989 HAS SOUS 523131 HAS SOUPS 521751 WITH SCORE 524368.284
AT ITER 4869 NEW BEST:: SOT 4055751 SOS 2619352 HAS SOPS 2610057 HAS SOUS 522809 HAS SOUPS 521429 WITH SCORE 524048.352
AT ITER 4873 NEW BEST:: SOT 4055751 SOS 2619526 HAS SOPS 2610231 HAS SOUS 522780 HAS SOUPS 521400 WITH SCORE 524019.526
AT ITER 5070 NEW BEST:: SOT 4055751 SOS 2619461 HAS SOPS 2610166 HAS SOUS 522780 HAS SOUPS 521400 WITH SCORE 524019.461
AT ITER 5074 NEW BEST:: SOT 4055545 SOS 2619107 HAS SOPS 2609812 HAS SOUS 522575 HAS SOUPS 521195 WITH SCORE 523814.107
AT ITER 5129 NEW BEST:: SOT 4055771 SOS 2619345 HAS SOPS 2610050 HAS SOUS 522415 HAS SOUPS 521035 WITH SCORE 523654.345
AT ITER 5132 NEW BEST:: SOT 4055246 SOS 2620833 HAS SOPS 2611538 HAS SOUS 522071 HAS SOUPS 520691 WITH SCORE 523311.833
AT ITER 5189 NEW BEST:: SOT 4055246 SOS 2620521 HAS SOPS 2611226 HAS SOUS 521993 HAS SOUPS 520613 WITH SCORE 523233.521
AT ITER 5216 NEW BEST:: SOT 4055246 SOS 2621720 HAS SOPS 2612425 HAS SOUS 521178 HAS SOUPS 519798 WITH SCORE 522419.72
AT ITER 5283 NEW BEST:: SOT 4054886 SOS 2618480 HAS SOPS 2609185 HAS SOUS 520098 HAS SOUPS 518718 WITH SCORE 521336.48
AT ITER 5331 NEW BEST:: SOT 4054886 SOS 2611501 HAS SOPS 2602206 HAS SOUS 519085 HAS SOUPS 517705 WITH SCORE 520316.501
AT ITER 5351 NEW BEST:: SOT 4054886 SOS 2611501 HAS SOPS 2602206 HAS SOUS 519039 HAS SOUPS 517659 WITH SCORE 520270.501
AT ITER 5403 NEW BEST:: SOT 4054886 SOS 2609773 HAS SOPS 2600478 HAS SOUS 518607 HAS SOUPS 517227 WITH SCORE 519836.773
AT ITER 5412 NEW BEST:: SOT 4054886 SOS 2610037 HAS SOPS 2600742 HAS SOUS 518165 HAS SOUPS 516785 WITH SCORE 519395.037
AT ITER 5487 NEW BEST:: SOT 4054886 SOS 2610529 HAS SOPS 2601234 HAS SOUS 517674 HAS SOUPS 516294 WITH SCORE 518904.529
AT ITER 5528 NEW BEST:: SOT 4054886 SOS 2610379 HAS SOPS 2601973 HAS SOUS 517420 HAS SOUPS 516167 WITH SCORE 518777.379
AT ITER 5632 NEW BEST:: SOT 4054886 SOS 2610379 HAS SOPS 2601973 HAS SOUS 517418 HAS SOUPS 516165 WITH SCORE 518775.379
AT ITER 5641 NEW BEST:: SOT 4054886 SOS 2609913 HAS SOPS 2601507 HAS SOUS 517418 HAS SOUPS 516165 WITH SCORE 518774.913
AT ITER 5706 NEW BEST:: SOT 4054886 SOS 2607921 HAS SOPS 2599515 HAS SOUS 517022 HAS SOUPS 515769 WITH SCORE 518376.921
AT ITER 5817 NEW BEST:: SOT 4054398 SOS 2604783 HAS SOPS 2596377 HAS SOUS 516220 HAS SOUPS 514967 WITH SCORE 517571.783
AT ITER 5839 NEW BEST:: SOT 4045092 SOS 2595381 HAS SOPS 2586975 HAS SOUS 506866 HAS SOUPS 505613 WITH SCORE 508208.381
AT ITER 5910 NEW BEST:: SOT 4045092 SOS 2591457 HAS SOPS 2583051 HAS SOUS 506161 HAS SOUPS 504908 WITH SCORE 507499.457
AT ITER 5983 NEW BEST:: SOT 4045092 SOS 2591457 HAS SOPS 2583051 HAS SOUS 506039 HAS SOUPS 504786 WITH SCORE 507377.457
AT ITER 5989 NEW BEST:: SOT 4044827 SOS 2624828 HAS SOPS 2616422 HAS SOUS 505487 HAS SOUPS 504234 WITH SCORE 506858.828
AT ITER 6065 NEW BEST:: SOT 4038159 SOS 2619254 HAS SOPS 2610848 HAS SOUS 498332 HAS SOUPS 497079 WITH SCORE 499698.254
AT ITER 6155 NEW BEST:: SOT 4038787 SOS 2619882 HAS SOPS 2611476 HAS SOUS 498235 HAS SOUPS 496982 WITH SCORE 499601.882
AT ITER 6180 NEW BEST:: SOT 4038787 SOS 2619882 HAS SOPS 2611476 HAS SOUS 497811 HAS SOUPS 496558 WITH SCORE 499177.882
AT ITER 6261 NEW BEST:: SOT 4038787 SOS 2619882 HAS SOPS 2611476 HAS SOUS 497407 HAS SOUPS 496154 WITH SCORE 498773.882
AT ITER 6363 NEW BEST:: SOT 4038787 SOS 2619863 HAS SOPS 2611457 HAS SOUS 497407 HAS SOUPS 496154 WITH SCORE 498773.863
AT ITER 6430 NEW BEST:: SOT 4039270 SOS 2619332 HAS SOPS 2610926 HAS SOUS 497336 HAS SOUPS 496083 WITH SCORE 498702.332
AT ITER 6448 NEW BEST:: SOT 4039597 SOS 2619597 HAS SOPS 2611191 HAS SOUS 497109 HAS SOUPS 495856 WITH SCORE 498475.597
AT ITER 6450 NEW BEST:: SOT 4039638 SOS 2616324 HAS SOPS 2607918 HAS SOUS 496158 HAS SOUPS 494905 WITH SCORE 497521.324
AT ITER 6480 NEW BEST:: SOT 4035924 SOS 2613156 HAS SOPS 2604760 HAS SOUS 493138 HAS SOUPS 491895 WITH SCORE 494508.156
AT ITER 6517 NEW BEST:: SOT 4035924 SOS 2613156 HAS SOPS 2604760 HAS SOUS 492973 HAS SOUPS 491730 WITH SCORE 494343.156
AT ITER 6565 NEW BEST:: SOT 4031375 SOS 2608607 HAS SOPS 2600211 HAS SOUS 488120 HAS SOUPS 486877 WITH SCORE 489485.607
AT ITER 6566 NEW BEST:: SOT 4031375 SOS 2608511 HAS SOPS 2600115 HAS SOUS 487703 HAS SOUPS 486460 WITH SCORE 489068.511
AT ITER 6629 NEW BEST:: SOT 4031522 SOS 2608658 HAS SOPS 2600262 HAS SOUS 487168 HAS SOUPS 485925 WITH SCORE 488533.658
AT ITER 6788 NEW BEST:: SOT 4031522 SOS 2609060 HAS SOPS 2600664 HAS SOUS 486349 HAS SOUPS 485106 WITH SCORE 487715.06
AT ITER 6812 NEW BEST:: SOT 4031522 SOS 2609420 HAS SOPS 2601024 HAS SOUS 486156 HAS SOUPS 484913 WITH SCORE 487522.42
AT ITER 6832 NEW BEST:: SOT 4031336 SOS 2607782 HAS SOPS 2599386 HAS SOUS 485042 HAS SOUPS 483799 WITH SCORE 486406.782
AT ITER 6884 NEW BEST:: SOT 4031336 SOS 2607782 HAS SOPS 2599386 HAS SOUS 484998 HAS SOUPS 483755 WITH SCORE 486362.782
AT ITER 6952 NEW BEST:: SOT 4031336 SOS 2607782 HAS SOPS 2599386 HAS SOUS 484726 HAS SOUPS 483483 WITH SCORE 486090.782
AT ITER 7009 NEW BEST:: SOT 4031336 SOS 2608112 HAS SOPS 2599716 HAS SOUS 484685 HAS SOUPS 483442 WITH SCORE 486050.112
AT ITER 7082 NEW BEST:: SOT 4031336 SOS 2608112 HAS SOPS 2599716 HAS SOUS 484548 HAS SOUPS 483305 WITH SCORE 485913.112
AT ITER 7095 NEW BEST:: SOT 4031336 SOS 2607909 HAS SOPS 2599513 HAS SOUS 483330 HAS SOUPS 482087 WITH SCORE 484694.909
AT ITER 7117 NEW BEST:: SOT 4031374 SOS 2607529 HAS SOPS 2599133 HAS SOUS 483260 HAS SOUPS 482017 WITH SCORE 484624.529
AT ITER 7214 NEW BEST:: SOT 4031186 SOS 2604425 HAS SOPS 2596029 HAS SOUS 482630 HAS SOUPS 481387 WITH SCORE 483991.425
AT ITER 7249 NEW BEST:: SOT 4031186 SOS 2602946 HAS SOPS 2594249 HAS SOUS 482574 HAS SOUPS 481288 WITH SCORE 483890.946
AT ITER 7281 NEW BEST:: SOT 4031186 SOS 2602860 HAS SOPS 2594379 HAS SOUS 482531 HAS SOUPS 481281 WITH SCORE 483883.86
AT ITER 7330 NEW BEST:: SOT 4031186 SOS 2600444 HAS SOPS 2591963 HAS SOUS 482079 HAS SOUPS 480829 WITH SCORE 483429.444
AT ITER 7372 NEW BEST:: SOT 4031186 SOS 2600444 HAS SOPS 2591963 HAS SOUS 481695 HAS SOUPS 480445 WITH SCORE 483045.444
AT ITER 7416 NEW BEST:: SOT 4031211 SOS 2600310 HAS SOPS 2591829 HAS SOUS 481620 HAS SOUPS 480370 WITH SCORE 482970.31
AT ITER 7470 NEW BEST:: SOT 4031211 SOS 2600392 HAS SOPS 2591911 HAS SOUS 481456 HAS SOUPS 480206 WITH SCORE 482806.392
AT ITER 7500 NEW BEST:: SOT 4031211 SOS 2600392 HAS SOPS 2591911 HAS SOUS 481361 HAS SOUPS 480111 WITH SCORE 482711.392
AT ITER 7588 NEW BEST:: SOT 4031313 SOS 2599636 HAS SOPS 2591155 HAS SOUS 481055 HAS SOUPS 479805 WITH SCORE 482404.636
AT ITER 7624 NEW BEST:: SOT 4031313 SOS 2599532 HAS SOPS 2591051 HAS SOUS 480419 HAS SOUPS 479169 WITH SCORE 481768.532
AT ITER 7642 NEW BEST:: SOT 4031187 SOS 2599406 HAS SOPS 2590925 HAS SOUS 480293 HAS SOUPS 479043 WITH SCORE 481642.406
AT ITER 7661 NEW BEST:: SOT 4030714 SOS 2600737 HAS SOPS 2592256 HAS SOUS 479993 HAS SOUPS 478743 WITH SCORE 481343.737
AT ITER 7716 NEW BEST:: SOT 4030714 SOS 2600625 HAS SOPS 2592144 HAS SOUS 479295 HAS SOUPS 478045 WITH SCORE 480645.625
AT ITER 7725 NEW BEST:: SOT 4030714 SOS 2599285 HAS SOPS 2590804 HAS SOUS 479295 HAS SOUPS 478045 WITH SCORE 480644.285
AT ITER 7756 NEW BEST:: SOT 4030537 SOS 2599816 HAS SOPS 2591335 HAS SOUS 479177 HAS SOUPS 477927 WITH SCORE 480526.816
AT ITER 7884 NEW BEST:: SOT 4030537 SOS 2598776 HAS SOPS 2590859 HAS SOUS 478787 HAS SOUPS 477631 WITH SCORE 480229.776
AT ITER 7892 NEW BEST:: SOT 4030929 SOS 2598750 HAS SOPS 2590833 HAS SOUS 478683 HAS SOUPS 477527 WITH SCORE 480125.75
AT ITER 7898 NEW BEST:: SOT 4031175 SOS 2598636 HAS SOPS 2590719 HAS SOUS 478532 HAS SOUPS 477376 WITH SCORE 479974.636
AT ITER 7942 NEW BEST:: SOT 4030806 SOS 2403203 HAS SOPS 2395286 HAS SOUS 478434 HAS SOUPS 477278 WITH SCORE 479681.203
AT ITER 8063 NEW BEST:: SOT 4026352 SOS 2400521 HAS SOPS 2392604 HAS SOUS 474303 HAS SOUPS 473147 WITH SCORE 475547.521
AT ITER 8213 NEW BEST:: SOT 4026722 SOS 2400865 HAS SOPS 2392948 HAS SOUS 474276 HAS SOUPS 473120 WITH SCORE 475520.865
AT ITER 8307 NEW BEST:: SOT 4026722 SOS 2399725 HAS SOPS 2391808 HAS SOUS 474162 HAS SOUPS 473006 WITH SCORE 475405.725
AT ITER 8367 NEW BEST:: SOT 4026722 SOS 2399619 HAS SOPS 2391702 HAS SOUS 474162 HAS SOUPS 473006 WITH SCORE 475405.619
AT ITER 8386 NEW BEST:: SOT 4026722 SOS 2399425 HAS SOPS 2391508 HAS SOUS 473692 HAS SOUPS 472536 WITH SCORE 474935.425
AT ITER 8387 NEW BEST:: SOT 4026517 SOS 2399255 HAS SOPS 2391338 HAS SOUS 473522 HAS SOUPS 472366 WITH SCORE 474765.255
AT ITER 8393 NEW BEST:: SOT 4026517 SOS 2399100 HAS SOPS 2391183 HAS SOUS 473522 HAS SOUPS 472366 WITH SCORE 474765.1
AT ITER 8428 NEW BEST:: SOT 4026517 SOS 2399002 HAS SOPS 2391085 HAS SOUS 473473 HAS SOUPS 472317 WITH SCORE 474716.002
AT ITER 8554 NEW BEST:: SOT 4026881 SOS 2399366 HAS SOPS 2391449 HAS SOUS 473471 HAS SOUPS 472315 WITH SCORE 474714.366
AT ITER 8652 NEW BEST:: SOT 4027318 SOS 2399803 HAS SOPS 2391886 HAS SOUS 473463 HAS SOUPS 472307 WITH SCORE 474706.803
AT ITER 8660 NEW BEST:: SOT 4027318 SOS 2399803 HAS SOPS 2391886 HAS SOUS 473429 HAS SOUPS 472273 WITH SCORE 474672.803
AT ITER 8695 NEW BEST:: SOT 4027318 SOS 2399468 HAS SOPS 2391691 HAS SOUS 473404 HAS SOUPS 472268 WITH SCORE 474667.468
AT ITER 8738 NEW BEST:: SOT 4027024 SOS 2448840 HAS SOPS 2441063 HAS SOUS 472920 HAS SOUPS 471784 WITH SCORE 474232.84
AT ITER 8811 NEW BEST:: SOT 4027024 SOS 2448840 HAS SOPS 2441063 HAS SOUS 472702 HAS SOUPS 471566 WITH SCORE 474014.84
AT ITER 8825 NEW BEST:: SOT 4027547 SOS 2447369 HAS SOPS 2439592 HAS SOUS 471824 HAS SOUPS 470688 WITH SCORE 473135.369
AT ITER 8925 NEW BEST:: SOT 4027178 SOS 2447256 HAS SOPS 2439479 HAS SOUS 471354 HAS SOUPS 470218 WITH SCORE 472665.256
AT ITER 9020 NEW BEST:: SOT 4022353 SOS 2504360 HAS SOPS 2496583 HAS SOUS 466420 HAS SOUPS 465284 WITH SCORE 467788.36
AT ITER 9037 NEW BEST:: SOT 4021419 SOS 2503426 HAS SOPS 2495649 HAS SOUS 465849 HAS SOUPS 464713 WITH SCORE 467216.426
AT ITER 9050 NEW BEST:: SOT 4021419 SOS 2503426 HAS SOPS 2495649 HAS SOUS 465586 HAS SOUPS 464450 WITH SCORE 466953.426
AT ITER 9056 NEW BEST:: SOT 4021419 SOS 2503426 HAS SOPS 2495649 HAS SOUS 464996 HAS SOUPS 463860 WITH SCORE 466363.426
AT ITER 9058 NEW BEST:: SOT 4021419 SOS 2503426 HAS SOPS 2495649 HAS SOUS 464754 HAS SOUPS 463618 WITH SCORE 466121.426
AT ITER 9079 NEW BEST:: SOT 4021419 SOS 2503426 HAS SOPS 2495649 HAS SOUS 464444 HAS SOUPS 463308 WITH SCORE 465811.426
AT ITER 9178 NEW BEST:: SOT 4021419 SOS 2503426 HAS SOPS 2495649 HAS SOUS 464133 HAS SOUPS 462997 WITH SCORE 465500.426
AT ITER 9198 NEW BEST:: SOT 4021419 SOS 2503290 HAS SOPS 2495513 HAS SOUS 464133 HAS SOUPS 462997 WITH SCORE 465500.29
AT ITER 9236 NEW BEST:: SOT 4021419 SOS 2499982 HAS SOPS 2492205 HAS SOUS 462678 HAS SOUPS 461542 WITH SCORE 464041.982
AT ITER 9304 NEW BEST:: SOT 4021419 SOS 2498926 HAS SOPS 2491149 HAS SOUS 462518 HAS SOUPS 461382 WITH SCORE 463880.926
AT ITER 9352 NEW BEST:: SOT 4021441 SOS 2498948 HAS SOPS 2491171 HAS SOUS 462474 HAS SOUPS 461338 WITH SCORE 463836.948
AT ITER 9369 NEW BEST:: SOT 4020626 SOS 2498133 HAS SOPS 2490356 HAS SOUS 462044 HAS SOUPS 460908 WITH SCORE 463406.133
AT ITER 9473 NEW BEST:: SOT 4022480 SOS 2499987 HAS SOPS 2492210 HAS SOUS 461994 HAS SOUPS 460858 WITH SCORE 463357.987
AT ITER 9572 NEW BEST:: SOT 4022136 SOS 2500631 HAS SOPS 2492854 HAS SOUS 461737 HAS SOUPS 460601 WITH SCORE 463101.631
AT ITER 9620 NEW BEST:: SOT 4022136 SOS 2500631 HAS SOPS 2492854 HAS SOUS 461735 HAS SOUPS 460599 WITH SCORE 463099.631
AT ITER 9637 NEW BEST:: SOT 4018807 SOS 2539688 HAS SOPS 2531911 HAS SOUS 458700 HAS SOUPS 457564 WITH SCORE 460103.688
AT ITER 9649 NEW BEST:: SOT 4014137 SOS 2536674 HAS SOPS 2528906 HAS SOUS 455111 HAS SOUPS 453984 WITH SCORE 456520.674
AT ITER 9691 NEW BEST:: SOT 4014137 SOS 2536674 HAS SOPS 2528906 HAS SOUS 454904 HAS SOUPS 453777 WITH SCORE 456313.674
AT ITER 9734 NEW BEST:: SOT 4014005 SOS 2539410 HAS SOPS 2531642 HAS SOUS 454796 HAS SOUPS 453669 WITH SCORE 456208.41
AT ITER 9761 NEW BEST:: SOT 4012672 SOS 2539517 HAS SOPS 2531749 HAS SOUS 453978 HAS SOUPS 452851 WITH SCORE 455390.517
AT ITER 9824 NEW BEST:: SOT 4012672 SOS 2539779 HAS SOPS 2532011 HAS SOUS 453860 HAS SOUPS 452733 WITH SCORE 455272.779
AT ITER 9851 NEW BEST:: SOT 4009835 SOS 2538942 HAS SOPS 2531174 HAS SOUS 450699 HAS SOUPS 449572 WITH SCORE 452110.942
AT ITER 9973 NEW BEST:: SOT 4010281 SOS 2539388 HAS SOPS 2531620 HAS SOUS 450342 HAS SOUPS 449215 WITH SCORE 451754.388

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="NeoElection-PT-5"
export BK_EXAMINATION="StateSpace"
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 NeoElection-PT-5, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250300304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-PT-5.tgz
mv NeoElection-PT-5 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;