Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 14:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 14:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 14:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 14:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 14:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 114K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679420441855

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Echo-PT-d03r03
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 17:40:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 17:40:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 17:40:43] [INFO ] Load time of PNML (sax parser for PT used): 58 ms
[2023-03-21 17:40:43] [INFO ] Transformed 265 places.
[2023-03-21 17:40:43] [INFO ] Transformed 206 transitions.
[2023-03-21 17:40:43] [INFO ] Found NUPN structural information;
[2023-03-21 17:40:43] [INFO ] Parsed PT model containing 265 places and 206 transitions and 1252 arcs in 119 ms.
[2023-03-21 17:40:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 265 places, 206 transitions and 1252 arcs took 6 ms.
Total runtime 153 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d03r03
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 265 places, 206 transitions, 1252 arcs.
AT ITER 0 NEW BEST:: SOT 37397 SOS 20669 HAS SOPS 20669 HAS SOUS 16839 HAS SOUPS 16839 WITH SCORE 16859.669
AT ITER 41 NEW BEST:: SOT 37381 SOS 20629 HAS SOPS 20629 HAS SOUS 16777 HAS SOUPS 16777 WITH SCORE 16797.629
AT ITER 55 NEW BEST:: SOT 37381 SOS 20629 HAS SOPS 20629 HAS SOUS 16771 HAS SOUPS 16771 WITH SCORE 16791.629
AT ITER 64 NEW BEST:: SOT 37381 SOS 20629 HAS SOPS 20629 HAS SOUS 16751 HAS SOUPS 16751 WITH SCORE 16771.629
AT ITER 66 NEW BEST:: SOT 37341 SOS 20583 HAS SOPS 20583 HAS SOUS 16711 HAS SOUPS 16711 WITH SCORE 16731.583
AT ITER 70 NEW BEST:: SOT 37341 SOS 20583 HAS SOPS 20583 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16727.583
AT ITER 87 NEW BEST:: SOT 37338 SOS 20616 HAS SOPS 20616 HAS SOUS 16689 HAS SOUPS 16689 WITH SCORE 16709.616
AT ITER 102 NEW BEST:: SOT 37331 SOS 20609 HAS SOPS 20609 HAS SOUS 16682 HAS SOUPS 16682 WITH SCORE 16702.609
AT ITER 122 NEW BEST:: SOT 37331 SOS 20609 HAS SOPS 20609 HAS SOUS 16652 HAS SOUPS 16652 WITH SCORE 16672.609
AT ITER 142 NEW BEST:: SOT 37329 SOS 20655 HAS SOPS 20655 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16662.655
AT ITER 175 NEW BEST:: SOT 37255 SOS 20826 HAS SOPS 20826 HAS SOUS 16617 HAS SOUPS 16617 WITH SCORE 16637.826
AT ITER 194 NEW BEST:: SOT 37255 SOS 20826 HAS SOPS 20826 HAS SOUS 16603 HAS SOUPS 16603 WITH SCORE 16623.826
AT ITER 205 NEW BEST:: SOT 37255 SOS 20826 HAS SOPS 20826 HAS SOUS 16601 HAS SOUPS 16601 WITH SCORE 16621.826
AT ITER 211 NEW BEST:: SOT 37234 SOS 20805 HAS SOPS 20805 HAS SOUS 16580 HAS SOUPS 16580 WITH SCORE 16600.805
AT ITER 213 NEW BEST:: SOT 37226 SOS 20813 HAS SOPS 20813 HAS SOUS 16572 HAS SOUPS 16572 WITH SCORE 16592.813
AT ITER 218 NEW BEST:: SOT 37150 SOS 20752 HAS SOPS 20752 HAS SOUS 16511 HAS SOUPS 16511 WITH SCORE 16531.752
AT ITER 259 NEW BEST:: SOT 37084 SOS 20785 HAS SOPS 20785 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16504.785
AT ITER 271 NEW BEST:: SOT 37084 SOS 20785 HAS SOPS 20785 HAS SOUS 16452 HAS SOUPS 16452 WITH SCORE 16472.785
AT ITER 282 NEW BEST:: SOT 37083 SOS 20784 HAS SOPS 20784 HAS SOUS 16451 HAS SOUPS 16451 WITH SCORE 16471.784
AT ITER 310 NEW BEST:: SOT 37044 SOS 20840 HAS SOPS 20840 HAS SOUS 16431 HAS SOUPS 16431 WITH SCORE 16451.84
AT ITER 327 NEW BEST:: SOT 37042 SOS 20850 HAS SOPS 20850 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16446.85
AT ITER 329 NEW BEST:: SOT 37011 SOS 20875 HAS SOPS 20875 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16427.875
AT ITER 370 NEW BEST:: SOT 37011 SOS 20875 HAS SOPS 20875 HAS SOUS 16403 HAS SOUPS 16403 WITH SCORE 16423.875
AT ITER 383 NEW BEST:: SOT 37010 SOS 20898 HAS SOPS 20898 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16415.898
AT ITER 389 NEW BEST:: SOT 36864 SOS 20980 HAS SOPS 20980 HAS SOUS 16295 HAS SOUPS 16295 WITH SCORE 16315.98
AT ITER 407 NEW BEST:: SOT 36864 SOS 20977 HAS SOPS 20977 HAS SOUS 16294 HAS SOUPS 16294 WITH SCORE 16314.977
AT ITER 441 NEW BEST:: SOT 36809 SOS 20955 HAS SOPS 20955 HAS SOUS 16272 HAS SOUPS 16272 WITH SCORE 16292.955
AT ITER 450 NEW BEST:: SOT 36805 SOS 20951 HAS SOPS 20951 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16288.951
AT ITER 463 NEW BEST:: SOT 36799 SOS 20945 HAS SOPS 20945 HAS SOUS 16262 HAS SOUPS 16262 WITH SCORE 16282.945
AT ITER 501 NEW BEST:: SOT 36799 SOS 20945 HAS SOPS 20945 HAS SOUS 16254 HAS SOUPS 16254 WITH SCORE 16274.945
AT ITER 513 NEW BEST:: SOT 36799 SOS 20945 HAS SOPS 20945 HAS SOUS 16238 HAS SOUPS 16238 WITH SCORE 16258.945
AT ITER 545 NEW BEST:: SOT 36790 SOS 20936 HAS SOPS 20936 HAS SOUS 16229 HAS SOUPS 16229 WITH SCORE 16249.936
AT ITER 549 NEW BEST:: SOT 36779 SOS 20925 HAS SOPS 20925 HAS SOUS 16218 HAS SOUPS 16218 WITH SCORE 16238.925
AT ITER 572 NEW BEST:: SOT 36775 SOS 20921 HAS SOPS 20921 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16234.921
AT ITER 607 NEW BEST:: SOT 36772 SOS 20912 HAS SOPS 20912 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16234.912
AT ITER 617 NEW BEST:: SOT 36787 SOS 20845 HAS SOPS 20845 HAS SOUS 16207 HAS SOUPS 16207 WITH SCORE 16227.845
AT ITER 636 NEW BEST:: SOT 36779 SOS 20837 HAS SOPS 20837 HAS SOUS 16199 HAS SOUPS 16199 WITH SCORE 16219.837
AT ITER 655 NEW BEST:: SOT 36779 SOS 20885 HAS SOPS 20885 HAS SOUS 16187 HAS SOUPS 16187 WITH SCORE 16207.885
AT ITER 771 NEW BEST:: SOT 36795 SOS 20901 HAS SOPS 20901 HAS SOUS 16179 HAS SOUPS 16179 WITH SCORE 16199.901
AT ITER 789 NEW BEST:: SOT 36795 SOS 20901 HAS SOPS 20901 HAS SOUS 16157 HAS SOUPS 16157 WITH SCORE 16177.901
AT ITER 832 NEW BEST:: SOT 36782 SOS 20888 HAS SOPS 20888 HAS SOUS 16144 HAS SOUPS 16144 WITH SCORE 16164.888
AT ITER 837 NEW BEST:: SOT 36777 SOS 20883 HAS SOPS 20883 HAS SOUS 16139 HAS SOUPS 16139 WITH SCORE 16159.883
AT ITER 847 NEW BEST:: SOT 36776 SOS 20882 HAS SOPS 20882 HAS SOUS 16138 HAS SOUPS 16138 WITH SCORE 16158.882
AT ITER 890 NEW BEST:: SOT 36755 SOS 20861 HAS SOPS 20861 HAS SOUS 16117 HAS SOUPS 16117 WITH SCORE 16137.861
AT ITER 909 NEW BEST:: SOT 36755 SOS 20861 HAS SOPS 20861 HAS SOUS 16115 HAS SOUPS 16115 WITH SCORE 16135.861
AT ITER 911 NEW BEST:: SOT 36754 SOS 20860 HAS SOPS 20860 HAS SOUS 16114 HAS SOUPS 16114 WITH SCORE 16134.86
AT ITER 915 NEW BEST:: SOT 36729 SOS 20907 HAS SOPS 20907 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16118.907
AT ITER 952 NEW BEST:: SOT 36729 SOS 20907 HAS SOPS 20907 HAS SOUS 16096 HAS SOUPS 16096 WITH SCORE 16116.907
AT ITER 954 NEW BEST:: SOT 36729 SOS 20907 HAS SOPS 20907 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16090.907
AT ITER 955 NEW BEST:: SOT 36633 SOS 20930 HAS SOPS 20930 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16066.93
AT ITER 956 NEW BEST:: SOT 36630 SOS 20927 HAS SOPS 20927 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16063.927
AT ITER 968 NEW BEST:: SOT 36630 SOS 20927 HAS SOPS 20927 HAS SOUS 16037 HAS SOUPS 16037 WITH SCORE 16057.927
AT ITER 1004 NEW BEST:: SOT 36592 SOS 20889 HAS SOPS 20889 HAS SOUS 15999 HAS SOUPS 15999 WITH SCORE 16019.889
AT ITER 1025 NEW BEST:: SOT 36586 SOS 20887 HAS SOPS 20887 HAS SOUS 15989 HAS SOUPS 15989 WITH SCORE 16009.887
AT ITER 1035 NEW BEST:: SOT 36531 SOS 20932 HAS SOPS 20932 HAS SOUS 15963 HAS SOUPS 15963 WITH SCORE 15983.932
AT ITER 1107 NEW BEST:: SOT 36531 SOS 20932 HAS SOPS 20932 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 15981.932
AT ITER 1130 NEW BEST:: SOT 36531 SOS 21049 HAS SOPS 21049 HAS SOUS 15959 HAS SOUPS 15959 WITH SCORE 15980.049
AT ITER 1134 NEW BEST:: SOT 36515 SOS 21117 HAS SOPS 21117 HAS SOUS 15921 HAS SOUPS 15921 WITH SCORE 15942.117
AT ITER 1152 NEW BEST:: SOT 36499 SOS 21101 HAS SOPS 21101 HAS SOUS 15905 HAS SOUPS 15905 WITH SCORE 15926.101
AT ITER 1170 NEW BEST:: SOT 36499 SOS 21109 HAS SOPS 21109 HAS SOUS 15903 HAS SOUPS 15903 WITH SCORE 15924.109
AT ITER 1187 NEW BEST:: SOT 36499 SOS 21109 HAS SOPS 21109 HAS SOUS 15897 HAS SOUPS 15897 WITH SCORE 15918.109
AT ITER 1195 NEW BEST:: SOT 36498 SOS 21117 HAS SOPS 21117 HAS SOUS 15896 HAS SOUPS 15896 WITH SCORE 15917.117
AT ITER 1247 NEW BEST:: SOT 36496 SOS 21216 HAS SOPS 21216 HAS SOUS 15890 HAS SOUPS 15890 WITH SCORE 15911.216
AT ITER 1266 NEW BEST:: SOT 36512 SOS 21232 HAS SOPS 21232 HAS SOUS 15872 HAS SOUPS 15872 WITH SCORE 15893.232
AT ITER 1315 NEW BEST:: SOT 36500 SOS 21322 HAS SOPS 21322 HAS SOUS 15849 HAS SOUPS 15849 WITH SCORE 15870.322
AT ITER 1348 NEW BEST:: SOT 36499 SOS 21321 HAS SOPS 21321 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15869.321
AT ITER 1368 NEW BEST:: SOT 36495 SOS 21317 HAS SOPS 21317 HAS SOUS 15844 HAS SOUPS 15844 WITH SCORE 15865.317
AT ITER 1404 NEW BEST:: SOT 36455 SOS 21277 HAS SOPS 21277 HAS SOUS 15826 HAS SOUPS 15826 WITH SCORE 15847.277
AT ITER 1438 NEW BEST:: SOT 36455 SOS 21277 HAS SOPS 21277 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15837.277
AT ITER 1454 NEW BEST:: SOT 36441 SOS 21263 HAS SOPS 21263 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15837.263
AT ITER 1468 NEW BEST:: SOT 36441 SOS 21263 HAS SOPS 21263 HAS SOUS 15810 HAS SOUPS 15810 WITH SCORE 15831.263
AT ITER 1501 NEW BEST:: SOT 36367 SOS 21240 HAS SOPS 21240 HAS SOUS 15782 HAS SOUPS 15782 WITH SCORE 15803.24
AT ITER 1520 NEW BEST:: SOT 36373 SOS 21246 HAS SOPS 21246 HAS SOUS 15776 HAS SOUPS 15776 WITH SCORE 15797.246
AT ITER 1521 NEW BEST:: SOT 36371 SOS 21244 HAS SOPS 21244 HAS SOUS 15774 HAS SOUPS 15774 WITH SCORE 15795.244
AT ITER 1536 NEW BEST:: SOT 36371 SOS 21257 HAS SOPS 21257 HAS SOUS 15761 HAS SOUPS 15761 WITH SCORE 15782.257
AT ITER 1543 NEW BEST:: SOT 36371 SOS 21257 HAS SOPS 21257 HAS SOUS 15733 HAS SOUPS 15733 WITH SCORE 15754.257
AT ITER 1563 NEW BEST:: SOT 36367 SOS 21253 HAS SOPS 21253 HAS SOUS 15729 HAS SOUPS 15729 WITH SCORE 15750.253
AT ITER 1575 NEW BEST:: SOT 36365 SOS 21251 HAS SOPS 21251 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15748.251
AT ITER 1581 NEW BEST:: SOT 36364 SOS 21250 HAS SOPS 21250 HAS SOUS 15726 HAS SOUPS 15726 WITH SCORE 15747.25
AT ITER 1603 NEW BEST:: SOT 36380 SOS 21266 HAS SOPS 21266 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15733.266
AT ITER 1636 NEW BEST:: SOT 36358 SOS 21244 HAS SOPS 21244 HAS SOUS 15690 HAS SOUPS 15690 WITH SCORE 15711.244
AT ITER 1641 NEW BEST:: SOT 36358 SOS 21244 HAS SOPS 21244 HAS SOUS 15684 HAS SOUPS 15684 WITH SCORE 15705.244
AT ITER 1655 NEW BEST:: SOT 36358 SOS 21244 HAS SOPS 21244 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15691.244
AT ITER 1667 NEW BEST:: SOT 36358 SOS 21244 HAS SOPS 21244 HAS SOUS 15666 HAS SOUPS 15666 WITH SCORE 15687.244
AT ITER 1684 NEW BEST:: SOT 36340 SOS 21226 HAS SOPS 21226 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15669.226
AT ITER 1714 NEW BEST:: SOT 36325 SOS 21211 HAS SOPS 21211 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15620.211
AT ITER 1757 NEW BEST:: SOT 36322 SOS 21208 HAS SOPS 21208 HAS SOUS 15596 HAS SOUPS 15596 WITH SCORE 15617.208
AT ITER 1786 NEW BEST:: SOT 36322 SOS 21208 HAS SOPS 21208 HAS SOUS 15594 HAS SOUPS 15594 WITH SCORE 15615.208
AT ITER 1790 NEW BEST:: SOT 36322 SOS 21262 HAS SOPS 21262 HAS SOUS 15578 HAS SOUPS 15578 WITH SCORE 15599.262
AT ITER 1792 NEW BEST:: SOT 36322 SOS 21262 HAS SOPS 21262 HAS SOUS 15560 HAS SOUPS 15560 WITH SCORE 15581.262
AT ITER 1794 NEW BEST:: SOT 36322 SOS 21262 HAS SOPS 21262 HAS SOUS 15558 HAS SOUPS 15558 WITH SCORE 15579.262
AT ITER 1812 NEW BEST:: SOT 36319 SOS 21259 HAS SOPS 21259 HAS SOUS 15555 HAS SOUPS 15555 WITH SCORE 15576.259
AT ITER 1819 NEW BEST:: SOT 36319 SOS 21259 HAS SOPS 21259 HAS SOUS 15553 HAS SOUPS 15553 WITH SCORE 15574.259
AT ITER 1831 NEW BEST:: SOT 36319 SOS 21259 HAS SOPS 21259 HAS SOUS 15535 HAS SOUPS 15535 WITH SCORE 15556.259
AT ITER 1862 NEW BEST:: SOT 36319 SOS 21247 HAS SOPS 21247 HAS SOUS 15530 HAS SOUPS 15530 WITH SCORE 15551.247
AT ITER 1895 NEW BEST:: SOT 36316 SOS 21244 HAS SOPS 21244 HAS SOUS 15527 HAS SOUPS 15527 WITH SCORE 15548.244
AT ITER 1920 NEW BEST:: SOT 36306 SOS 21234 HAS SOPS 21234 HAS SOUS 15517 HAS SOUPS 15517 WITH SCORE 15538.234
AT ITER 1928 NEW BEST:: SOT 36306 SOS 21234 HAS SOPS 21234 HAS SOUS 15509 HAS SOUPS 15509 WITH SCORE 15530.234
AT ITER 1932 NEW BEST:: SOT 36306 SOS 21234 HAS SOPS 21234 HAS SOUS 15499 HAS SOUPS 15499 WITH SCORE 15520.234
AT ITER 1933 NEW BEST:: SOT 36306 SOS 21234 HAS SOPS 21234 HAS SOUS 15497 HAS SOUPS 15497 WITH SCORE 15518.234
AT ITER 1979 NEW BEST:: SOT 36306 SOS 21270 HAS SOPS 21270 HAS SOUS 15488 HAS SOUPS 15488 WITH SCORE 15509.27
AT ITER 1993 NEW BEST:: SOT 36257 SOS 21221 HAS SOPS 21221 HAS SOUS 15439 HAS SOUPS 15439 WITH SCORE 15460.221
AT ITER 1999 NEW BEST:: SOT 36257 SOS 21217 HAS SOPS 21217 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15457.217
AT ITER 2016 NEW BEST:: SOT 36237 SOS 21280 HAS SOPS 21280 HAS SOUS 15419 HAS SOUPS 15419 WITH SCORE 15440.28
AT ITER 2023 NEW BEST:: SOT 36167 SOS 21404 HAS SOPS 21404 HAS SOUS 15389 HAS SOUPS 15389 WITH SCORE 15410.404
AT ITER 2039 NEW BEST:: SOT 36165 SOS 21402 HAS SOPS 21402 HAS SOUS 15389 HAS SOUPS 15389 WITH SCORE 15410.402
AT ITER 2106 NEW BEST:: SOT 36165 SOS 21514 HAS SOPS 21514 HAS SOUS 15363 HAS SOUPS 15363 WITH SCORE 15384.514
AT ITER 2111 NEW BEST:: SOT 36165 SOS 21514 HAS SOPS 21514 HAS SOUS 15359 HAS SOUPS 15359 WITH SCORE 15380.514
AT ITER 2163 NEW BEST:: SOT 36164 SOS 21513 HAS SOPS 21513 HAS SOUS 15358 HAS SOUPS 15358 WITH SCORE 15379.513
AT ITER 2260 NEW BEST:: SOT 36155 SOS 21523 HAS SOPS 21523 HAS SOUS 15347 HAS SOUPS 15347 WITH SCORE 15368.523
AT ITER 2272 NEW BEST:: SOT 36149 SOS 21532 HAS SOPS 21532 HAS SOUS 15344 HAS SOUPS 15344 WITH SCORE 15365.532
AT ITER 2369 NEW BEST:: SOT 36151 SOS 21534 HAS SOPS 21534 HAS SOUS 15340 HAS SOUPS 15340 WITH SCORE 15361.534
AT ITER 2375 NEW BEST:: SOT 36151 SOS 21530 HAS SOPS 21530 HAS SOUS 15336 HAS SOUPS 15336 WITH SCORE 15357.53
AT ITER 2431 NEW BEST:: SOT 36151 SOS 21530 HAS SOPS 21530 HAS SOUS 15330 HAS SOUPS 15330 WITH SCORE 15351.53
AT ITER 2449 NEW BEST:: SOT 36148 SOS 21527 HAS SOPS 21527 HAS SOUS 15327 HAS SOUPS 15327 WITH SCORE 15348.527
AT ITER 2485 NEW BEST:: SOT 36146 SOS 21525 HAS SOPS 21525 HAS SOUS 15325 HAS SOUPS 15325 WITH SCORE 15346.525
AT ITER 2551 NEW BEST:: SOT 36147 SOS 21526 HAS SOPS 21526 HAS SOUS 15324 HAS SOUPS 15324 WITH SCORE 15345.526
AT ITER 2605 NEW BEST:: SOT 36133 SOS 21512 HAS SOPS 21512 HAS SOUS 15324 HAS SOUPS 15324 WITH SCORE 15345.512
AT ITER 2614 NEW BEST:: SOT 36128 SOS 21533 HAS SOPS 21533 HAS SOUS 15312 HAS SOUPS 15312 WITH SCORE 15333.533
AT ITER 2641 NEW BEST:: SOT 36127 SOS 21532 HAS SOPS 21532 HAS SOUS 15311 HAS SOUPS 15311 WITH SCORE 15332.532
AT ITER 2668 NEW BEST:: SOT 36126 SOS 21530 HAS SOPS 21530 HAS SOUS 15311 HAS SOUPS 15311 WITH SCORE 15332.53
AT ITER 2679 NEW BEST:: SOT 36123 SOS 21527 HAS SOPS 21527 HAS SOUS 15308 HAS SOUPS 15308 WITH SCORE 15329.527
AT ITER 2681 NEW BEST:: SOT 36086 SOS 21493 HAS SOPS 21493 HAS SOUS 15301 HAS SOUPS 15301 WITH SCORE 15322.493
AT ITER 2703 NEW BEST:: SOT 36076 SOS 21481 HAS SOPS 21481 HAS SOUS 15289 HAS SOUPS 15289 WITH SCORE 15310.481
AT ITER 2729 NEW BEST:: SOT 36072 SOS 21477 HAS SOPS 21477 HAS SOUS 15285 HAS SOUPS 15285 WITH SCORE 15306.477
AT ITER 2734 NEW BEST:: SOT 36068 SOS 21473 HAS SOPS 21473 HAS SOUS 15281 HAS SOUPS 15281 WITH SCORE 15302.473
AT ITER 2739 NEW BEST:: SOT 36064 SOS 21469 HAS SOPS 21469 HAS SOUS 15277 HAS SOUPS 15277 WITH SCORE 15298.469
AT ITER 2764 NEW BEST:: SOT 36064 SOS 21469 HAS SOPS 21469 HAS SOUS 15269 HAS SOUPS 15269 WITH SCORE 15290.469
AT ITER 2809 NEW BEST:: SOT 36056 SOS 21461 HAS SOPS 21461 HAS SOUS 15261 HAS SOUPS 15261 WITH SCORE 15282.461
AT ITER 2821 NEW BEST:: SOT 36028 SOS 21433 HAS SOPS 21433 HAS SOUS 15233 HAS SOUPS 15233 WITH SCORE 15254.433
AT ITER 2825 NEW BEST:: SOT 35894 SOS 21433 HAS SOPS 21433 HAS SOUS 15124 HAS SOUPS 15124 WITH SCORE 15145.433
AT ITER 2884 NEW BEST:: SOT 35884 SOS 21423 HAS SOPS 21423 HAS SOUS 15114 HAS SOUPS 15114 WITH SCORE 15135.423
AT ITER 2892 NEW BEST:: SOT 35881 SOS 21408 HAS SOPS 21408 HAS SOUS 15111 HAS SOUPS 15111 WITH SCORE 15132.408
AT ITER 2924 NEW BEST:: SOT 35881 SOS 21408 HAS SOPS 21408 HAS SOUS 15105 HAS SOUPS 15105 WITH SCORE 15126.408
AT ITER 2928 NEW BEST:: SOT 35881 SOS 21408 HAS SOPS 21408 HAS SOUS 15103 HAS SOUPS 15103 WITH SCORE 15124.408
AT ITER 2946 NEW BEST:: SOT 35877 SOS 21404 HAS SOPS 21404 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15110.404
AT ITER 2983 NEW BEST:: SOT 35839 SOS 21366 HAS SOPS 21366 HAS SOUS 15071 HAS SOUPS 15071 WITH SCORE 15092.366
AT ITER 2993 NEW BEST:: SOT 35841 SOS 21368 HAS SOPS 21368 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15086.368
AT ITER 3007 NEW BEST:: SOT 35831 SOS 21356 HAS SOPS 21356 HAS SOUS 15051 HAS SOUPS 15051 WITH SCORE 15072.356
AT ITER 3035 NEW BEST:: SOT 35809 SOS 21334 HAS SOPS 21334 HAS SOUS 15029 HAS SOUPS 15029 WITH SCORE 15050.334
AT ITER 3047 NEW BEST:: SOT 35809 SOS 21334 HAS SOPS 21334 HAS SOUS 15017 HAS SOUPS 15017 WITH SCORE 15038.334
AT ITER 3051 NEW BEST:: SOT 35804 SOS 21325 HAS SOPS 21325 HAS SOUS 15014 HAS SOUPS 15014 WITH SCORE 15035.325
AT ITER 3080 NEW BEST:: SOT 35804 SOS 21341 HAS SOPS 21341 HAS SOUS 15006 HAS SOUPS 15006 WITH SCORE 15027.341
AT ITER 3141 NEW BEST:: SOT 35797 SOS 21310 HAS SOPS 21310 HAS SOUS 14999 HAS SOUPS 14999 WITH SCORE 15020.31
AT ITER 3192 NEW BEST:: SOT 35787 SOS 21325 HAS SOPS 21325 HAS SOUS 14994 HAS SOUPS 14994 WITH SCORE 15015.325
AT ITER 3209 NEW BEST:: SOT 35786 SOS 21300 HAS SOPS 21300 HAS SOUS 14993 HAS SOUPS 14993 WITH SCORE 15014.3
AT ITER 3335 NEW BEST:: SOT 35785 SOS 21299 HAS SOPS 21299 HAS SOUS 14992 HAS SOUPS 14992 WITH SCORE 15013.299
AT ITER 3342 NEW BEST:: SOT 35785 SOS 21299 HAS SOPS 21299 HAS SOUS 14990 HAS SOUPS 14990 WITH SCORE 15011.299
AT ITER 3352 NEW BEST:: SOT 35758 SOS 21392 HAS SOPS 21392 HAS SOUS 14950 HAS SOUPS 14950 WITH SCORE 14971.392
AT ITER 3361 NEW BEST:: SOT 35758 SOS 21392 HAS SOPS 21392 HAS SOUS 14914 HAS SOUPS 14914 WITH SCORE 14935.392
AT ITER 3397 NEW BEST:: SOT 35745 SOS 21379 HAS SOPS 21379 HAS SOUS 14901 HAS SOUPS 14901 WITH SCORE 14922.379
AT ITER 3444 NEW BEST:: SOT 35745 SOS 21379 HAS SOPS 21379 HAS SOUS 14893 HAS SOUPS 14893 WITH SCORE 14914.379
AT ITER 3455 NEW BEST:: SOT 35701 SOS 21335 HAS SOPS 21335 HAS SOUS 14849 HAS SOUPS 14849 WITH SCORE 14870.335
AT ITER 3456 NEW BEST:: SOT 35674 SOS 21321 HAS SOPS 21321 HAS SOUS 14828 HAS SOUPS 14828 WITH SCORE 14849.321
AT ITER 3479 NEW BEST:: SOT 35674 SOS 21321 HAS SOPS 21321 HAS SOUS 14808 HAS SOUPS 14808 WITH SCORE 14829.321
AT ITER 3521 NEW BEST:: SOT 35669 SOS 21322 HAS SOPS 21322 HAS SOUS 14807 HAS SOUPS 14807 WITH SCORE 14828.322
AT ITER 3534 NEW BEST:: SOT 35663 SOS 21366 HAS SOPS 21366 HAS SOUS 14795 HAS SOUPS 14795 WITH SCORE 14816.366
AT ITER 3577 NEW BEST:: SOT 35655 SOS 21358 HAS SOPS 21358 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14772.358
AT ITER 3638 NEW BEST:: SOT 35637 SOS 21338 HAS SOPS 21338 HAS SOUS 14723 HAS SOUPS 14723 WITH SCORE 14744.338
AT ITER 3648 NEW BEST:: SOT 35637 SOS 21323 HAS SOPS 21323 HAS SOUS 14720 HAS SOUPS 14720 WITH SCORE 14741.323
AT ITER 3733 NEW BEST:: SOT 35637 SOS 21323 HAS SOPS 21323 HAS SOUS 14712 HAS SOUPS 14712 WITH SCORE 14733.323
AT ITER 3749 NEW BEST:: SOT 35631 SOS 21317 HAS SOPS 21317 HAS SOUS 14706 HAS SOUPS 14706 WITH SCORE 14727.317
AT ITER 3796 NEW BEST:: SOT 35631 SOS 21317 HAS SOPS 21317 HAS SOUS 14704 HAS SOUPS 14704 WITH SCORE 14725.317
AT ITER 3873 NEW BEST:: SOT 35593 SOS 21431 HAS SOPS 21431 HAS SOUS 14702 HAS SOUPS 14702 WITH SCORE 14723.431
AT ITER 3887 NEW BEST:: SOT 35593 SOS 21431 HAS SOPS 21431 HAS SOUS 14694 HAS SOUPS 14694 WITH SCORE 14715.431
AT ITER 3923 NEW BEST:: SOT 35581 SOS 21419 HAS SOPS 21419 HAS SOUS 14680 HAS SOUPS 14680 WITH SCORE 14701.419
AT ITER 3971 NEW BEST:: SOT 35581 SOS 21391 HAS SOPS 21391 HAS SOUS 14673 HAS SOUPS 14673 WITH SCORE 14694.391
AT ITER 3993 NEW BEST:: SOT 35580 SOS 21378 HAS SOPS 21378 HAS SOUS 14672 HAS SOUPS 14672 WITH SCORE 14693.378
AT ITER 4013 NEW BEST:: SOT 35578 SOS 21376 HAS SOPS 21376 HAS SOUS 14670 HAS SOUPS 14670 WITH SCORE 14691.376
AT ITER 4071 NEW BEST:: SOT 35576 SOS 21374 HAS SOPS 21374 HAS SOUS 14668 HAS SOUPS 14668 WITH SCORE 14689.374
AT ITER 4072 NEW BEST:: SOT 35553 SOS 21378 HAS SOPS 21378 HAS SOUS 14658 HAS SOUPS 14658 WITH SCORE 14679.378
AT ITER 4073 NEW BEST:: SOT 35501 SOS 21436 HAS SOPS 21436 HAS SOUS 14628 HAS SOUPS 14628 WITH SCORE 14649.436
AT ITER 4081 NEW BEST:: SOT 35494 SOS 21423 HAS SOPS 21423 HAS SOUS 14621 HAS SOUPS 14621 WITH SCORE 14642.423
AT ITER 4099 NEW BEST:: SOT 35504 SOS 21433 HAS SOPS 21433 HAS SOUS 14611 HAS SOUPS 14611 WITH SCORE 14632.433
AT ITER 4102 NEW BEST:: SOT 35502 SOS 21431 HAS SOPS 21431 HAS SOUS 14599 HAS SOUPS 14599 WITH SCORE 14620.431
AT ITER 4132 NEW BEST:: SOT 35494 SOS 21423 HAS SOPS 21423 HAS SOUS 14585 HAS SOUPS 14585 WITH SCORE 14606.423
AT ITER 4149 NEW BEST:: SOT 35488 SOS 21477 HAS SOPS 21477 HAS SOUS 14571 HAS SOUPS 14571 WITH SCORE 14592.477
AT ITER 4160 NEW BEST:: SOT 35486 SOS 21595 HAS SOPS 21595 HAS SOUS 14561 HAS SOUPS 14561 WITH SCORE 14582.595
AT ITER 4214 NEW BEST:: SOT 35483 SOS 21592 HAS SOPS 21592 HAS SOUS 14558 HAS SOUPS 14558 WITH SCORE 14579.592
AT ITER 4221 NEW BEST:: SOT 35443 SOS 21565 HAS SOPS 21565 HAS SOUS 14509 HAS SOUPS 14509 WITH SCORE 14530.565
AT ITER 4295 NEW BEST:: SOT 35412 SOS 21654 HAS SOPS 21654 HAS SOUS 14502 HAS SOUPS 14502 WITH SCORE 14523.654
AT ITER 4431 NEW BEST:: SOT 35412 SOS 21654 HAS SOPS 21654 HAS SOUS 14496 HAS SOUPS 14496 WITH SCORE 14517.654
AT ITER 4439 NEW BEST:: SOT 35412 SOS 21654 HAS SOPS 21654 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14513.654
AT ITER 4444 NEW BEST:: SOT 35407 SOS 21649 HAS SOPS 21649 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14508.649
AT ITER 4491 NEW BEST:: SOT 35407 SOS 21649 HAS SOPS 21649 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14504.649
AT ITER 4542 NEW BEST:: SOT 35407 SOS 21649 HAS SOPS 21649 HAS SOUS 14477 HAS SOUPS 14477 WITH SCORE 14498.649
AT ITER 4671 NEW BEST:: SOT 35407 SOS 21649 HAS SOPS 21649 HAS SOUS 14471 HAS SOUPS 14471 WITH SCORE 14492.649
AT ITER 4673 NEW BEST:: SOT 35415 SOS 21616 HAS SOPS 21616 HAS SOUS 14469 HAS SOUPS 14469 WITH SCORE 14490.616
AT ITER 4674 NEW BEST:: SOT 35395 SOS 21596 HAS SOPS 21596 HAS SOUS 14441 HAS SOUPS 14441 WITH SCORE 14462.596
AT ITER 4675 NEW BEST:: SOT 35391 SOS 21600 HAS SOPS 21600 HAS SOUS 14439 HAS SOUPS 14439 WITH SCORE 14460.6
AT ITER 4750 NEW BEST:: SOT 35390 SOS 21599 HAS SOPS 21599 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14459.599
AT ITER 4846 NEW BEST:: SOT 35384 SOS 21593 HAS SOPS 21593 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14453.593
AT ITER 4881 NEW BEST:: SOT 35368 SOS 21577 HAS SOPS 21577 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14451.577
AT ITER 4882 NEW BEST:: SOT 35368 SOS 21577 HAS SOPS 21577 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14443.577
AT ITER 4899 NEW BEST:: SOT 35330 SOS 21539 HAS SOPS 21539 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14403.539
AT ITER 4922 NEW BEST:: SOT 35329 SOS 21538 HAS SOPS 21538 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14402.538
AT ITER 4946 NEW BEST:: SOT 35329 SOS 21538 HAS SOPS 21538 HAS SOUS 14367 HAS SOUPS 14367 WITH SCORE 14388.538
AT ITER 4950 NEW BEST:: SOT 35316 SOS 21525 HAS SOPS 21525 HAS SOUS 14354 HAS SOUPS 14354 WITH SCORE 14375.525
AT ITER 4993 NEW BEST:: SOT 35304 SOS 21538 HAS SOPS 21538 HAS SOUS 14347 HAS SOUPS 14347 WITH SCORE 14368.538
AT ITER 4999 NEW BEST:: SOT 35304 SOS 21538 HAS SOPS 21538 HAS SOUS 14345 HAS SOUPS 14345 WITH SCORE 14366.538
AT ITER 5009 NEW BEST:: SOT 35302 SOS 21540 HAS SOPS 21540 HAS SOUS 14341 HAS SOUPS 14341 WITH SCORE 14362.54
AT ITER 5120 NEW BEST:: SOT 35298 SOS 21561 HAS SOPS 21561 HAS SOUS 14332 HAS SOUPS 14332 WITH SCORE 14353.561
AT ITER 5146 NEW BEST:: SOT 35298 SOS 21561 HAS SOPS 21561 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14349.561
AT ITER 5159 NEW BEST:: SOT 35286 SOS 21549 HAS SOPS 21549 HAS SOUS 14316 HAS SOUPS 14316 WITH SCORE 14337.549
AT ITER 5194 NEW BEST:: SOT 35280 SOS 21619 HAS SOPS 21619 HAS SOUS 14303 HAS SOUPS 14303 WITH SCORE 14324.619
AT ITER 5204 NEW BEST:: SOT 35280 SOS 21609 HAS SOPS 21609 HAS SOUS 14297 HAS SOUPS 14297 WITH SCORE 14318.609
AT ITER 5238 NEW BEST:: SOT 35276 SOS 21605 HAS SOPS 21605 HAS SOUS 14293 HAS SOUPS 14293 WITH SCORE 14314.605
AT ITER 5266 NEW BEST:: SOT 35276 SOS 21571 HAS SOPS 21571 HAS SOUS 14288 HAS SOUPS 14288 WITH SCORE 14309.571
AT ITER 5307 NEW BEST:: SOT 35272 SOS 21517 HAS SOPS 21517 HAS SOUS 14270 HAS SOUPS 14270 WITH SCORE 14291.517
AT ITER 5324 NEW BEST:: SOT 35227 SOS 21547 HAS SOPS 21547 HAS SOUS 14240 HAS SOUPS 14240 WITH SCORE 14261.547
AT ITER 5462 NEW BEST:: SOT 35226 SOS 21546 HAS SOPS 21546 HAS SOUS 14239 HAS SOUPS 14239 WITH SCORE 14260.546
AT ITER 5594 NEW BEST:: SOT 35226 SOS 21618 HAS SOPS 21618 HAS SOUS 14225 HAS SOUPS 14225 WITH SCORE 14246.618
AT ITER 5597 NEW BEST:: SOT 35226 SOS 21618 HAS SOPS 21618 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14224.618
AT ITER 5801 NEW BEST:: SOT 35225 SOS 21621 HAS SOPS 21621 HAS SOUS 14201 HAS SOUPS 14201 WITH SCORE 14222.621
AT ITER 5812 NEW BEST:: SOT 35222 SOS 21614 HAS SOPS 21614 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14218.614
AT ITER 5904 NEW BEST:: SOT 35215 SOS 21607 HAS SOPS 21607 HAS SOUS 14184 HAS SOUPS 14184 WITH SCORE 14205.607
AT ITER 5940 NEW BEST:: SOT 35203 SOS 21623 HAS SOPS 21623 HAS SOUS 14183 HAS SOUPS 14183 WITH SCORE 14204.623
AT ITER 5983 NEW BEST:: SOT 35195 SOS 21650 HAS SOPS 21650 HAS SOUS 14182 HAS SOUPS 14182 WITH SCORE 14203.65
AT ITER 5995 NEW BEST:: SOT 35189 SOS 21644 HAS SOPS 21644 HAS SOUS 14176 HAS SOUPS 14176 WITH SCORE 14197.644
AT ITER 6083 NEW BEST:: SOT 35163 SOS 21628 HAS SOPS 21628 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14168.628
AT ITER 6108 NEW BEST:: SOT 35163 SOS 21622 HAS SOPS 21622 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14168.622
AT ITER 6390 NEW BEST:: SOT 35163 SOS 21622 HAS SOPS 21622 HAS SOUS 14143 HAS SOUPS 14143 WITH SCORE 14164.622
AT ITER 6408 NEW BEST:: SOT 35155 SOS 21614 HAS SOPS 21614 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14156.614
AT ITER 6410 NEW BEST:: SOT 35155 SOS 21615 HAS SOPS 21615 HAS SOUS 14134 HAS SOUPS 14134 WITH SCORE 14155.615
AT ITER 6411 NEW BEST:: SOT 35147 SOS 21607 HAS SOPS 21607 HAS SOUS 14126 HAS SOUPS 14126 WITH SCORE 14147.607
AT ITER 6499 NEW BEST:: SOT 35147 SOS 21607 HAS SOPS 21607 HAS SOUS 14114 HAS SOUPS 14114 WITH SCORE 14135.607
AT ITER 6537 NEW BEST:: SOT 35133 SOS 21593 HAS SOPS 21593 HAS SOUS 14100 HAS SOUPS 14100 WITH SCORE 14121.593
AT ITER 6564 NEW BEST:: SOT 35124 SOS 21584 HAS SOPS 21584 HAS SOUS 14091 HAS SOUPS 14091 WITH SCORE 14112.584
AT ITER 6664 NEW BEST:: SOT 35121 SOS 21581 HAS SOPS 21581 HAS SOUS 14088 HAS SOUPS 14088 WITH SCORE 14109.581
AT ITER 6673 NEW BEST:: SOT 35121 SOS 21581 HAS SOPS 21581 HAS SOUS 14084 HAS SOUPS 14084 WITH SCORE 14105.581
AT ITER 6693 NEW BEST:: SOT 35083 SOS 21543 HAS SOPS 21543 HAS SOUS 14084 HAS SOUPS 14084 WITH SCORE 14105.543
AT ITER 6698 NEW BEST:: SOT 35078 SOS 21538 HAS SOPS 21538 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14104.538
AT ITER 6716 NEW BEST:: SOT 35076 SOS 21536 HAS SOPS 21536 HAS SOUS 14081 HAS SOUPS 14081 WITH SCORE 14102.536
AT ITER 6723 NEW BEST:: SOT 35078 SOS 21463 HAS SOPS 21463 HAS SOUS 14058 HAS SOUPS 14058 WITH SCORE 14079.463
AT ITER 6728 NEW BEST:: SOT 35060 SOS 21445 HAS SOPS 21445 HAS SOUS 14036 HAS SOUPS 14036 WITH SCORE 14057.445
AT ITER 6809 NEW BEST:: SOT 35062 SOS 21443 HAS SOPS 21443 HAS SOUS 14034 HAS SOUPS 14034 WITH SCORE 14055.443
AT ITER 6849 NEW BEST:: SOT 35061 SOS 21414 HAS SOPS 21414 HAS SOUS 14025 HAS SOUPS 14025 WITH SCORE 14046.414
AT ITER 6882 NEW BEST:: SOT 35057 SOS 21410 HAS SOPS 21410 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14042.41
AT ITER 7020 NEW BEST:: SOT 35054 SOS 21406 HAS SOPS 21406 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14038.406
AT ITER 7044 NEW BEST:: SOT 35050 SOS 21402 HAS SOPS 21402 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14032.402
AT ITER 7087 NEW BEST:: SOT 35046 SOS 21398 HAS SOPS 21398 HAS SOUS 14007 HAS SOUPS 14007 WITH SCORE 14028.398
AT ITER 7163 NEW BEST:: SOT 35046 SOS 21398 HAS SOPS 21398 HAS SOUS 14003 HAS SOUPS 14003 WITH SCORE 14024.398
AT ITER 7193 NEW BEST:: SOT 35042 SOS 21394 HAS SOPS 21394 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14020.394
AT ITER 7237 NEW BEST:: SOT 35040 SOS 21392 HAS SOPS 21392 HAS SOUS 13997 HAS SOUPS 13997 WITH SCORE 14018.392
AT ITER 7331 NEW BEST:: SOT 35042 SOS 21391 HAS SOPS 21391 HAS SOUS 13996 HAS SOUPS 13996 WITH SCORE 14017.391
AT ITER 7371 NEW BEST:: SOT 35035 SOS 21388 HAS SOPS 21388 HAS SOUS 13983 HAS SOUPS 13983 WITH SCORE 14004.388
AT ITER 7447 NEW BEST:: SOT 35032 SOS 21385 HAS SOPS 21385 HAS SOUS 13980 HAS SOUPS 13980 WITH SCORE 14001.385
AT ITER 7458 NEW BEST:: SOT 35031 SOS 21380 HAS SOPS 21380 HAS SOUS 13978 HAS SOUPS 13978 WITH SCORE 13999.38
AT ITER 7622 NEW BEST:: SOT 35027 SOS 21381 HAS SOPS 21381 HAS SOUS 13975 HAS SOUPS 13975 WITH SCORE 13996.381
AT ITER 7627 NEW BEST:: SOT 35021 SOS 21363 HAS SOPS 21363 HAS SOUS 13970 HAS SOUPS 13970 WITH SCORE 13991.363
AT ITER 7663 NEW BEST:: SOT 35021 SOS 21363 HAS SOPS 21363 HAS SOUS 13962 HAS SOUPS 13962 WITH SCORE 13983.363
AT ITER 7667 NEW BEST:: SOT 35017 SOS 21359 HAS SOPS 21359 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13979.359
AT ITER 7679 NEW BEST:: SOT 35017 SOS 21367 HAS SOPS 21367 HAS SOUS 13957 HAS SOUPS 13957 WITH SCORE 13978.367
AT ITER 7823 NEW BEST:: SOT 35017 SOS 21367 HAS SOPS 21367 HAS SOUS 13955 HAS SOUPS 13955 WITH SCORE 13976.367
AT ITER 7866 NEW BEST:: SOT 35008 SOS 21358 HAS SOPS 21358 HAS SOUS 13940 HAS SOUPS 13940 WITH SCORE 13961.358
AT ITER 7887 NEW BEST:: SOT 34996 SOS 21346 HAS SOPS 21346 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13945.346
AT ITER 7910 NEW BEST:: SOT 34990 SOS 21340 HAS SOPS 21340 HAS SOUS 13918 HAS SOUPS 13918 WITH SCORE 13939.34
AT ITER 7929 NEW BEST:: SOT 34990 SOS 21340 HAS SOPS 21340 HAS SOUS 13912 HAS SOUPS 13912 WITH SCORE 13933.34
AT ITER 7944 NEW BEST:: SOT 34970 SOS 21320 HAS SOPS 21320 HAS SOUS 13892 HAS SOUPS 13892 WITH SCORE 13913.32
AT ITER 7999 NEW BEST:: SOT 34970 SOS 21305 HAS SOPS 21305 HAS SOUS 13892 HAS SOUPS 13892 WITH SCORE 13913.305
AT ITER 8062 NEW BEST:: SOT 34970 SOS 21273 HAS SOPS 21273 HAS SOUS 13892 HAS SOUPS 13892 WITH SCORE 13913.273
AT ITER 8088 NEW BEST:: SOT 34969 SOS 21272 HAS SOPS 21272 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13904.272
AT ITER 8092 NEW BEST:: SOT 34957 SOS 21260 HAS SOPS 21260 HAS SOUS 13871 HAS SOUPS 13871 WITH SCORE 13892.26
AT ITER 8213 NEW BEST:: SOT 34954 SOS 21257 HAS SOPS 21257 HAS SOUS 13868 HAS SOUPS 13868 WITH SCORE 13889.257
AT ITER 8242 NEW BEST:: SOT 34951 SOS 21254 HAS SOPS 21254 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13886.254
AT ITER 8290 NEW BEST:: SOT 34903 SOS 21270 HAS SOPS 21270 HAS SOUS 13831 HAS SOUPS 13831 WITH SCORE 13852.27
AT ITER 8355 NEW BEST:: SOT 34896 SOS 21263 HAS SOPS 21263 HAS SOUS 13824 HAS SOUPS 13824 WITH SCORE 13845.263
AT ITER 8437 NEW BEST:: SOT 34895 SOS 21260 HAS SOPS 21260 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13844.26
AT ITER 8607 NEW BEST:: SOT 34893 SOS 21258 HAS SOPS 21258 HAS SOUS 13821 HAS SOUPS 13821 WITH SCORE 13842.258
AT ITER 8611 NEW BEST:: SOT 34870 SOS 21235 HAS SOPS 21235 HAS SOUS 13802 HAS SOUPS 13802 WITH SCORE 13823.235
AT ITER 8784 NEW BEST:: SOT 34858 SOS 21223 HAS SOPS 21223 HAS SOUS 13790 HAS SOUPS 13790 WITH SCORE 13811.223
AT ITER 8831 NEW BEST:: SOT 34861 SOS 21226 HAS SOPS 21226 HAS SOUS 13787 HAS SOUPS 13787 WITH SCORE 13808.226
AT ITER 8841 NEW BEST:: SOT 34861 SOS 21226 HAS SOPS 21226 HAS SOUS 13775 HAS SOUPS 13775 WITH SCORE 13796.226
AT ITER 8984 NEW BEST:: SOT 34869 SOS 21210 HAS SOPS 21210 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13794.21
AT ITER 8994 NEW BEST:: SOT 34869 SOS 21210 HAS SOPS 21210 HAS SOUS 13763 HAS SOUPS 13763 WITH SCORE 13784.21
AT ITER 9001 NEW BEST:: SOT 34876 SOS 21217 HAS SOPS 21217 HAS SOUS 13758 HAS SOUPS 13758 WITH SCORE 13779.217
AT ITER 9049 NEW BEST:: SOT 34876 SOS 21217 HAS SOPS 21217 HAS SOUS 13756 HAS SOUPS 13756 WITH SCORE 13777.217
AT ITER 9110 NEW BEST:: SOT 34876 SOS 21227 HAS SOPS 21227 HAS SOUS 13755 HAS SOUPS 13755 WITH SCORE 13776.227
AT ITER 9123 NEW BEST:: SOT 34864 SOS 21215 HAS SOPS 21215 HAS SOUS 13743 HAS SOUPS 13743 WITH SCORE 13764.215
AT ITER 9161 NEW BEST:: SOT 34858 SOS 21235 HAS SOPS 21235 HAS SOUS 13734 HAS SOUPS 13734 WITH SCORE 13755.235
AT ITER 9170 NEW BEST:: SOT 34841 SOS 21218 HAS SOPS 21218 HAS SOUS 13723 HAS SOUPS 13723 WITH SCORE 13744.218
AT ITER 9253 NEW BEST:: SOT 34841 SOS 21218 HAS SOPS 21218 HAS SOUS 13721 HAS SOUPS 13721 WITH SCORE 13742.218
AT ITER 9282 NEW BEST:: SOT 34820 SOS 21283 HAS SOPS 21283 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13727.283
AT ITER 9293 NEW BEST:: SOT 34797 SOS 21260 HAS SOPS 21260 HAS SOUS 13685 HAS SOUPS 13685 WITH SCORE 13706.26
AT ITER 9337 NEW BEST:: SOT 34797 SOS 21250 HAS SOPS 21250 HAS SOUS 13685 HAS SOUPS 13685 WITH SCORE 13706.25
AT ITER 9365 NEW BEST:: SOT 34756 SOS 21243 HAS SOPS 21243 HAS SOUS 13648 HAS SOUPS 13648 WITH SCORE 13669.243
AT ITER 9419 NEW BEST:: SOT 34754 SOS 21245 HAS SOPS 21245 HAS SOUS 13647 HAS SOUPS 13647 WITH SCORE 13668.245
AT ITER 9448 NEW BEST:: SOT 34746 SOS 21257 HAS SOPS 21257 HAS SOUS 13643 HAS SOUPS 13643 WITH SCORE 13664.257
AT ITER 9489 NEW BEST:: SOT 34746 SOS 21253 HAS SOPS 21253 HAS SOUS 13642 HAS SOUPS 13642 WITH SCORE 13663.253
AT ITER 9535 NEW BEST:: SOT 34728 SOS 21235 HAS SOPS 21235 HAS SOUS 13624 HAS SOUPS 13624 WITH SCORE 13645.235
AT ITER 9585 NEW BEST:: SOT 34722 SOS 21184 HAS SOPS 21184 HAS SOUS 13620 HAS SOUPS 13620 WITH SCORE 13641.184
AT ITER 9621 NEW BEST:: SOT 34717 SOS 21179 HAS SOPS 21179 HAS SOUS 13615 HAS SOUPS 13615 WITH SCORE 13636.179
AT ITER 9668 NEW BEST:: SOT 34700 SOS 21162 HAS SOPS 21162 HAS SOUS 13604 HAS SOUPS 13604 WITH SCORE 13625.162
AT ITER 9766 NEW BEST:: SOT 34694 SOS 21156 HAS SOPS 21156 HAS SOUS 13596 HAS SOUPS 13596 WITH SCORE 13617.156
AT ITER 9886 NEW BEST:: SOT 34694 SOS 21156 HAS SOPS 21156 HAS SOUS 13594 HAS SOUPS 13594 WITH SCORE 13615.156
AT ITER 9896 NEW BEST:: SOT 34680 SOS 21142 HAS SOPS 21142 HAS SOUS 13580 HAS SOUPS 13580 WITH SCORE 13601.142
AT ITER 9967 NEW BEST:: SOT 34684 SOS 21146 HAS SOPS 21146 HAS SOUS 13576 HAS SOUPS 13576 WITH SCORE 13597.146
AT ITER 9976 NEW BEST:: SOT 34684 SOS 21146 HAS SOPS 21146 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13593.146
AT ITER 9977 NEW BEST:: SOT 34684 SOS 21146 HAS SOPS 21146 HAS SOUS 13550 HAS SOUPS 13550 WITH SCORE 13571.146

BK_STOP 1679423339337

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

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

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="Echo-PT-d03r03"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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