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.r363-smll-167891814200376.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 SemanticWebServices-PT-S064P18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814200376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 584K
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 10:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 10:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 10:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 10:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 173K Mar 5 18:23 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 1679144655416

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=SemanticWebServices-PT-S064P18
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 13:04:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 13:04:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 13:04:19] [INFO ] Load time of PNML (sax parser for PT used): 158 ms
[2023-03-18 13:04:19] [INFO ] Transformed 154 places.
[2023-03-18 13:04:19] [INFO ] Transformed 236 transitions.
[2023-03-18 13:04:19] [INFO ] Parsed PT model containing 154 places and 236 transitions and 1265 arcs in 300 ms.
[2023-03-18 13:04:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 154 places, 236 transitions and 1265 arcs took 15 ms.
Total runtime 380 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S064P18
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: 154 places, 236 transitions, 1265 arcs.
AT ITER 0 NEW BEST:: SOT 30193 SOS 20291 HAS SOPS 13235 HAS SOUS 8581 HAS SOUPS 6563 WITH SCORE 6583.291
AT ITER 3 NEW BEST:: SOT 30193 SOS 20279 HAS SOPS 13231 HAS SOUS 8577 HAS SOUPS 6561 WITH SCORE 6581.279
AT ITER 7 NEW BEST:: SOT 30193 SOS 20279 HAS SOPS 13177 HAS SOUS 8577 HAS SOUPS 6534 WITH SCORE 6554.279
AT ITER 9 NEW BEST:: SOT 30193 SOS 20203 HAS SOPS 13067 HAS SOUS 8539 HAS SOUPS 6479 WITH SCORE 6499.203
AT ITER 13 NEW BEST:: SOT 30193 SOS 20181 HAS SOPS 13067 HAS SOUS 8528 HAS SOUPS 6479 WITH SCORE 6499.181
AT ITER 15 NEW BEST:: SOT 30193 SOS 20153 HAS SOPS 13067 HAS SOUS 8528 HAS SOUPS 6479 WITH SCORE 6499.153
AT ITER 16 NEW BEST:: SOT 30193 SOS 20149 HAS SOPS 12997 HAS SOUS 8526 HAS SOUPS 6444 WITH SCORE 6464.149
AT ITER 19 NEW BEST:: SOT 30193 SOS 20023 HAS SOPS 12981 HAS SOUS 8463 HAS SOUPS 6436 WITH SCORE 6456.023
AT ITER 20 NEW BEST:: SOT 30193 SOS 20009 HAS SOPS 12981 HAS SOUS 8463 HAS SOUPS 6436 WITH SCORE 6456.009
AT ITER 21 NEW BEST:: SOT 30193 SOS 19945 HAS SOPS 12981 HAS SOUS 8431 HAS SOUPS 6436 WITH SCORE 6455.945
AT ITER 22 NEW BEST:: SOT 30193 SOS 19903 HAS SOPS 12959 HAS SOUS 8410 HAS SOUPS 6425 WITH SCORE 6444.903
AT ITER 25 NEW BEST:: SOT 30193 SOS 19883 HAS SOPS 12923 HAS SOUS 8400 HAS SOUPS 6407 WITH SCORE 6426.883
AT ITER 26 NEW BEST:: SOT 30193 SOS 19883 HAS SOPS 12813 HAS SOUS 8400 HAS SOUPS 6352 WITH SCORE 6371.883
AT ITER 29 NEW BEST:: SOT 30193 SOS 19869 HAS SOPS 12813 HAS SOUS 8393 HAS SOUPS 6352 WITH SCORE 6371.869
AT ITER 38 NEW BEST:: SOT 30193 SOS 19869 HAS SOPS 12809 HAS SOUS 8393 HAS SOUPS 6350 WITH SCORE 6369.869
AT ITER 41 NEW BEST:: SOT 30193 SOS 19869 HAS SOPS 12769 HAS SOUS 8393 HAS SOUPS 6330 WITH SCORE 6349.869
AT ITER 47 NEW BEST:: SOT 30193 SOS 19859 HAS SOPS 12723 HAS SOUS 8388 HAS SOUPS 6307 WITH SCORE 6326.859
AT ITER 49 NEW BEST:: SOT 30193 SOS 19795 HAS SOPS 12575 HAS SOUS 8356 HAS SOUPS 6233 WITH SCORE 6252.795
AT ITER 52 NEW BEST:: SOT 30193 SOS 19489 HAS SOPS 12575 HAS SOUS 8292 HAS SOUPS 6233 WITH SCORE 6252.489
AT ITER 59 NEW BEST:: SOT 30193 SOS 19463 HAS SOPS 12531 HAS SOUS 8279 HAS SOUPS 6211 WITH SCORE 6230.463
AT ITER 60 NEW BEST:: SOT 30193 SOS 19457 HAS SOPS 12449 HAS SOUS 8276 HAS SOUPS 6170 WITH SCORE 6189.457
AT ITER 63 NEW BEST:: SOT 25905 SOS 16905 HAS SOPS 13393 HAS SOUS 6144 HAS SOUPS 5067 WITH SCORE 5083.905
AT ITER 64 NEW BEST:: SOT 25895 SOS 16895 HAS SOPS 13383 HAS SOUS 6123 HAS SOUPS 5046 WITH SCORE 5062.895
AT ITER 65 NEW BEST:: SOT 25865 SOS 16639 HAS SOPS 13335 HAS SOUS 6017 HAS SOUPS 4992 WITH SCORE 5008.639
AT ITER 77 NEW BEST:: SOT 25865 SOS 16639 HAS SOPS 13335 HAS SOUS 5995 HAS SOUPS 4970 WITH SCORE 4986.639
AT ITER 80 NEW BEST:: SOT 25819 SOS 16593 HAS SOPS 13289 HAS SOUS 5972 HAS SOUPS 4947 WITH SCORE 4963.593
AT ITER 82 NEW BEST:: SOT 25819 SOS 16581 HAS SOPS 13283 HAS SOUS 5966 HAS SOUPS 4944 WITH SCORE 4960.581
AT ITER 87 NEW BEST:: SOT 25801 SOS 16563 HAS SOPS 13265 HAS SOUS 5953 HAS SOUPS 4931 WITH SCORE 4947.563
AT ITER 96 NEW BEST:: SOT 25749 SOS 16511 HAS SOPS 13213 HAS SOUS 5940 HAS SOUPS 4918 WITH SCORE 4934.511
AT ITER 98 NEW BEST:: SOT 25721 SOS 16485 HAS SOPS 13179 HAS SOUS 5914 HAS SOUPS 4888 WITH SCORE 4904.485
AT ITER 103 NEW BEST:: SOT 25721 SOS 16467 HAS SOPS 13179 HAS SOUS 5905 HAS SOUPS 4888 WITH SCORE 4904.467
AT ITER 109 NEW BEST:: SOT 25721 SOS 16443 HAS SOPS 13179 HAS SOUS 5893 HAS SOUPS 4888 WITH SCORE 4904.443
AT ITER 113 NEW BEST:: SOT 25691 SOS 16413 HAS SOPS 13149 HAS SOUS 5878 HAS SOUPS 4873 WITH SCORE 4889.413
AT ITER 117 NEW BEST:: SOT 25643 SOS 16351 HAS SOPS 13101 HAS SOUS 5846 HAS SOUPS 4848 WITH SCORE 4864.351
AT ITER 118 NEW BEST:: SOT 25565 SOS 16275 HAS SOPS 13025 HAS SOUS 5826 HAS SOUPS 4828 WITH SCORE 4844.275
AT ITER 127 NEW BEST:: SOT 25549 SOS 16259 HAS SOPS 13009 HAS SOUS 5809 HAS SOUPS 4811 WITH SCORE 4827.259
AT ITER 135 NEW BEST:: SOT 25537 SOS 16247 HAS SOPS 12997 HAS SOUS 5797 HAS SOUPS 4799 WITH SCORE 4815.247
AT ITER 136 NEW BEST:: SOT 25493 SOS 16203 HAS SOPS 12953 HAS SOUS 5754 HAS SOUPS 4756 WITH SCORE 4772.203
AT ITER 141 NEW BEST:: SOT 25465 SOS 16127 HAS SOPS 12883 HAS SOUS 5709 HAS SOUPS 4714 WITH SCORE 4730.127
AT ITER 142 NEW BEST:: SOT 25449 SOS 16011 HAS SOPS 12843 HAS SOUS 5642 HAS SOUPS 4685 WITH SCORE 4701.011
AT ITER 149 NEW BEST:: SOT 25449 SOS 15927 HAS SOPS 12791 HAS SOUS 5600 HAS SOUPS 4659 WITH SCORE 4674.927
AT ITER 150 NEW BEST:: SOT 25449 SOS 15899 HAS SOPS 12791 HAS SOUS 5600 HAS SOUPS 4659 WITH SCORE 4674.899
AT ITER 152 NEW BEST:: SOT 25449 SOS 15843 HAS SOPS 12791 HAS SOUS 5572 HAS SOUPS 4659 WITH SCORE 4674.843
AT ITER 156 NEW BEST:: SOT 25441 SOS 15835 HAS SOPS 12783 HAS SOUS 5564 HAS SOUPS 4651 WITH SCORE 4666.835
AT ITER 158 NEW BEST:: SOT 25469 SOS 15863 HAS SOPS 12811 HAS SOUS 5562 HAS SOUPS 4649 WITH SCORE 4664.863
AT ITER 160 NEW BEST:: SOT 25443 SOS 15837 HAS SOPS 12785 HAS SOUS 5549 HAS SOUPS 4636 WITH SCORE 4651.837
AT ITER 161 NEW BEST:: SOT 25439 SOS 15865 HAS SOPS 12775 HAS SOUS 5563 HAS SOUPS 4631 WITH SCORE 4646.865
AT ITER 163 NEW BEST:: SOT 25429 SOS 15823 HAS SOPS 12765 HAS SOUS 5528 HAS SOUPS 4612 WITH SCORE 4627.823
AT ITER 165 NEW BEST:: SOT 25473 SOS 15879 HAS SOPS 12783 HAS SOUS 5525 HAS SOUPS 4590 WITH SCORE 4605.879
AT ITER 167 NEW BEST:: SOT 25473 SOS 15767 HAS SOPS 12711 HAS SOUS 5469 HAS SOUPS 4554 WITH SCORE 4569.767
AT ITER 176 NEW BEST:: SOT 25470 SOS 15782 HAS SOPS 12726 HAS SOUS 5467 HAS SOUPS 4552 WITH SCORE 4567.782
AT ITER 178 NEW BEST:: SOT 25484 SOS 15796 HAS SOPS 12740 HAS SOUS 5466 HAS SOUPS 4551 WITH SCORE 4566.796
AT ITER 184 NEW BEST:: SOT 25474 SOS 15774 HAS SOPS 12714 HAS SOUS 5455 HAS SOUPS 4538 WITH SCORE 4553.774
AT ITER 191 NEW BEST:: SOT 25466 SOS 15766 HAS SOPS 12706 HAS SOUS 5445 HAS SOUPS 4528 WITH SCORE 4543.766
AT ITER 193 NEW BEST:: SOT 25500 SOS 15788 HAS SOPS 12740 HAS SOUS 5465 HAS SOUPS 4517 WITH SCORE 4532.788
AT ITER 195 NEW BEST:: SOT 25488 SOS 15776 HAS SOPS 12728 HAS SOUS 5453 HAS SOUPS 4505 WITH SCORE 4520.776
AT ITER 196 NEW BEST:: SOT 25500 SOS 15788 HAS SOPS 12740 HAS SOUS 5442 HAS SOUPS 4494 WITH SCORE 4509.788
AT ITER 207 NEW BEST:: SOT 25424 SOS 15668 HAS SOPS 12664 HAS SOUS 5393 HAS SOUPS 4467 WITH SCORE 4482.668
AT ITER 208 NEW BEST:: SOT 25428 SOS 15688 HAS SOPS 12644 HAS SOUS 5403 HAS SOUPS 4457 WITH SCORE 4472.688
AT ITER 213 NEW BEST:: SOT 25428 SOS 15664 HAS SOPS 12644 HAS SOUS 5391 HAS SOUPS 4457 WITH SCORE 4472.664
AT ITER 222 NEW BEST:: SOT 25404 SOS 15620 HAS SOPS 12620 HAS SOUS 5358 HAS SOUPS 4434 WITH SCORE 4449.62
AT ITER 223 NEW BEST:: SOT 24408 SOS 14653 HAS SOPS 11653 HAS SOUS 5144 HAS SOUPS 4220 WITH SCORE 4234.653
AT ITER 234 NEW BEST:: SOT 24408 SOS 14653 HAS SOPS 11653 HAS SOUS 5136 HAS SOUPS 4212 WITH SCORE 4226.653
AT ITER 245 NEW BEST:: SOT 24456 SOS 14485 HAS SOPS 11701 HAS SOUS 5074 HAS SOUPS 4212 WITH SCORE 4226.485
AT ITER 264 NEW BEST:: SOT 24438 SOS 14467 HAS SOPS 11683 HAS SOUS 5057 HAS SOUPS 4195 WITH SCORE 4209.467
AT ITER 265 NEW BEST:: SOT 24438 SOS 14413 HAS SOPS 11683 HAS SOUS 5063 HAS SOUPS 4195 WITH SCORE 4209.413
AT ITER 266 NEW BEST:: SOT 24394 SOS 14369 HAS SOPS 11639 HAS SOUS 5041 HAS SOUPS 4173 WITH SCORE 4187.369
AT ITER 268 NEW BEST:: SOT 24394 SOS 14331 HAS SOPS 11639 HAS SOUS 5022 HAS SOUPS 4173 WITH SCORE 4187.331
AT ITER 270 NEW BEST:: SOT 24386 SOS 14323 HAS SOPS 11631 HAS SOUS 5012 HAS SOUPS 4163 WITH SCORE 4177.323
AT ITER 278 NEW BEST:: SOT 24386 SOS 14317 HAS SOPS 11623 HAS SOUS 5009 HAS SOUPS 4159 WITH SCORE 4173.317
AT ITER 281 NEW BEST:: SOT 24386 SOS 14317 HAS SOPS 11623 HAS SOUS 5004 HAS SOUPS 4154 WITH SCORE 4168.317
AT ITER 287 NEW BEST:: SOT 24222 SOS 14159 HAS SOPS 11465 HAS SOUS 4981 HAS SOUPS 4131 WITH SCORE 4145.159
AT ITER 291 NEW BEST:: SOT 24222 SOS 14071 HAS SOPS 11421 HAS SOUS 4959 HAS SOUPS 4109 WITH SCORE 4123.071
AT ITER 296 NEW BEST:: SOT 24222 SOS 14071 HAS SOPS 11421 HAS SOUS 4949 HAS SOUPS 4099 WITH SCORE 4113.071
AT ITER 308 NEW BEST:: SOT 24222 SOS 14067 HAS SOPS 11421 HAS SOUS 4947 HAS SOUPS 4099 WITH SCORE 4113.067
AT ITER 322 NEW BEST:: SOT 24218 SOS 14063 HAS SOPS 11417 HAS SOUS 4945 HAS SOUPS 4097 WITH SCORE 4111.063
AT ITER 324 NEW BEST:: SOT 24218 SOS 14009 HAS SOPS 11391 HAS SOUS 4918 HAS SOUPS 4084 WITH SCORE 4098.009
AT ITER 333 NEW BEST:: SOT 24162 SOS 13953 HAS SOPS 11335 HAS SOUS 4851 HAS SOUPS 4017 WITH SCORE 4030.953
AT ITER 349 NEW BEST:: SOT 24162 SOS 13917 HAS SOPS 11317 HAS SOUS 4833 HAS SOUPS 4008 WITH SCORE 4021.917
AT ITER 355 NEW BEST:: SOT 24130 SOS 13885 HAS SOPS 11285 HAS SOUS 4817 HAS SOUPS 3992 WITH SCORE 4005.885
AT ITER 366 NEW BEST:: SOT 24130 SOS 13845 HAS SOPS 11285 HAS SOUS 4765 HAS SOUPS 3960 WITH SCORE 3973.845
AT ITER 389 NEW BEST:: SOT 24130 SOS 13781 HAS SOPS 11253 HAS SOUS 4733 HAS SOUPS 3944 WITH SCORE 3957.781
AT ITER 395 NEW BEST:: SOT 24130 SOS 13751 HAS SOPS 11243 HAS SOUS 4723 HAS SOUPS 3939 WITH SCORE 3952.751
AT ITER 401 NEW BEST:: SOT 24130 SOS 13751 HAS SOPS 11243 HAS SOUS 4718 HAS SOUPS 3934 WITH SCORE 3947.751
AT ITER 414 NEW BEST:: SOT 24076 SOS 13697 HAS SOPS 11189 HAS SOUS 4664 HAS SOUPS 3880 WITH SCORE 3893.697
AT ITER 418 NEW BEST:: SOT 24076 SOS 13689 HAS SOPS 11181 HAS SOUS 4660 HAS SOUPS 3876 WITH SCORE 3889.689
AT ITER 420 NEW BEST:: SOT 24044 SOS 13657 HAS SOPS 11149 HAS SOUS 4658 HAS SOUPS 3874 WITH SCORE 3887.657
AT ITER 423 NEW BEST:: SOT 24044 SOS 13657 HAS SOPS 11149 HAS SOUS 4657 HAS SOUPS 3873 WITH SCORE 3886.657
AT ITER 428 NEW BEST:: SOT 24044 SOS 13649 HAS SOPS 11149 HAS SOUS 4653 HAS SOUPS 3873 WITH SCORE 3886.649
AT ITER 430 NEW BEST:: SOT 24048 SOS 13649 HAS SOPS 11139 HAS SOUS 4653 HAS SOUPS 3868 WITH SCORE 3881.649
AT ITER 435 NEW BEST:: SOT 24030 SOS 13631 HAS SOPS 11121 HAS SOUS 4645 HAS SOUPS 3860 WITH SCORE 3873.631
AT ITER 445 NEW BEST:: SOT 24022 SOS 13623 HAS SOPS 11113 HAS SOUS 4641 HAS SOUPS 3856 WITH SCORE 3869.623
AT ITER 456 NEW BEST:: SOT 24022 SOS 13617 HAS SOPS 11111 HAS SOUS 4639 HAS SOUPS 3855 WITH SCORE 3868.617
AT ITER 458 NEW BEST:: SOT 24022 SOS 13583 HAS SOPS 11077 HAS SOUS 4601 HAS SOUPS 3817 WITH SCORE 3830.583
AT ITER 461 NEW BEST:: SOT 23956 SOS 13517 HAS SOPS 11011 HAS SOUS 4559 HAS SOUPS 3775 WITH SCORE 3788.517
AT ITER 469 NEW BEST:: SOT 23766 SOS 13381 HAS SOPS 10875 HAS SOUS 4521 HAS SOUPS 3737 WITH SCORE 3750.381
AT ITER 480 NEW BEST:: SOT 23762 SOS 13375 HAS SOPS 10871 HAS SOUS 4513 HAS SOUPS 3730 WITH SCORE 3743.375
AT ITER 486 NEW BEST:: SOT 23712 SOS 13321 HAS SOPS 10821 HAS SOUS 4461 HAS SOUPS 3680 WITH SCORE 3693.321
AT ITER 492 NEW BEST:: SOT 23712 SOS 13305 HAS SOPS 10809 HAS SOUS 4453 HAS SOUPS 3674 WITH SCORE 3687.305
AT ITER 493 NEW BEST:: SOT 23712 SOS 13291 HAS SOPS 10793 HAS SOUS 4446 HAS SOUPS 3666 WITH SCORE 3679.291
AT ITER 494 NEW BEST:: SOT 23712 SOS 13291 HAS SOPS 10793 HAS SOUS 4443 HAS SOUPS 3663 WITH SCORE 3676.291
AT ITER 522 NEW BEST:: SOT 23762 SOS 13348 HAS SOPS 10850 HAS SOUS 4427 HAS SOUPS 3647 WITH SCORE 3660.348
AT ITER 528 NEW BEST:: SOT 23744 SOS 13330 HAS SOPS 10832 HAS SOUS 4418 HAS SOUPS 3638 WITH SCORE 3651.33
AT ITER 533 NEW BEST:: SOT 23728 SOS 13314 HAS SOPS 10816 HAS SOUS 4405 HAS SOUPS 3625 WITH SCORE 3638.314
AT ITER 543 NEW BEST:: SOT 23704 SOS 13262 HAS SOPS 10792 HAS SOUS 4360 HAS SOUPS 3594 WITH SCORE 3607.262
AT ITER 546 NEW BEST:: SOT 23704 SOS 13270 HAS SOPS 10790 HAS SOUS 4364 HAS SOUPS 3593 WITH SCORE 3606.27
AT ITER 551 NEW BEST:: SOT 23696 SOS 13222 HAS SOPS 10742 HAS SOUS 4356 HAS SOUPS 3585 WITH SCORE 3598.222
AT ITER 563 NEW BEST:: SOT 23650 SOS 13176 HAS SOPS 10696 HAS SOUS 4321 HAS SOUPS 3550 WITH SCORE 3563.176
AT ITER 564 NEW BEST:: SOT 23644 SOS 13170 HAS SOPS 10690 HAS SOUS 4320 HAS SOUPS 3549 WITH SCORE 3562.17
AT ITER 566 NEW BEST:: SOT 23630 SOS 13148 HAS SOPS 10674 HAS SOUS 4309 HAS SOUPS 3541 WITH SCORE 3554.148
AT ITER 583 NEW BEST:: SOT 23630 SOS 13110 HAS SOPS 10674 HAS SOUS 4290 HAS SOUPS 3541 WITH SCORE 3554.11
AT ITER 586 NEW BEST:: SOT 23604 SOS 13084 HAS SOPS 10648 HAS SOUS 4280 HAS SOUPS 3531 WITH SCORE 3544.084
AT ITER 589 NEW BEST:: SOT 23592 SOS 13072 HAS SOPS 10636 HAS SOUS 4249 HAS SOUPS 3500 WITH SCORE 3513.072
AT ITER 596 NEW BEST:: SOT 23631 SOS 13097 HAS SOPS 10661 HAS SOUS 4237 HAS SOUPS 3488 WITH SCORE 3501.097
AT ITER 603 NEW BEST:: SOT 23643 SOS 13105 HAS SOPS 10669 HAS SOUS 4233 HAS SOUPS 3484 WITH SCORE 3497.105
AT ITER 611 NEW BEST:: SOT 23622 SOS 13121 HAS SOPS 10685 HAS SOUS 4214 HAS SOUPS 3465 WITH SCORE 3478.121
AT ITER 619 NEW BEST:: SOT 23622 SOS 13117 HAS SOPS 10679 HAS SOUS 4212 HAS SOUPS 3462 WITH SCORE 3475.117
AT ITER 628 NEW BEST:: SOT 23622 SOS 13109 HAS SOPS 10669 HAS SOUS 4208 HAS SOUPS 3457 WITH SCORE 3470.109
AT ITER 653 NEW BEST:: SOT 23630 SOS 13117 HAS SOPS 10677 HAS SOUS 4206 HAS SOUPS 3455 WITH SCORE 3468.117
AT ITER 679 NEW BEST:: SOT 23622 SOS 13109 HAS SOPS 10669 HAS SOUS 4198 HAS SOUPS 3447 WITH SCORE 3460.109
AT ITER 690 NEW BEST:: SOT 23626 SOS 13113 HAS SOPS 10673 HAS SOUS 4186 HAS SOUPS 3435 WITH SCORE 3448.113
AT ITER 692 NEW BEST:: SOT 23626 SOS 13089 HAS SOPS 10673 HAS SOUS 4174 HAS SOUPS 3435 WITH SCORE 3448.089
AT ITER 695 NEW BEST:: SOT 23626 SOS 13073 HAS SOPS 10673 HAS SOUS 4166 HAS SOUPS 3435 WITH SCORE 3448.073
AT ITER 701 NEW BEST:: SOT 23624 SOS 13063 HAS SOPS 10671 HAS SOUS 4154 HAS SOUPS 3427 WITH SCORE 3440.063
AT ITER 714 NEW BEST:: SOT 23624 SOS 13063 HAS SOPS 10671 HAS SOUS 4151 HAS SOUPS 3424 WITH SCORE 3437.063
AT ITER 724 NEW BEST:: SOT 23624 SOS 13063 HAS SOPS 10671 HAS SOUS 4148 HAS SOUPS 3421 WITH SCORE 3434.063
AT ITER 732 NEW BEST:: SOT 23618 SOS 13057 HAS SOPS 10665 HAS SOUS 4146 HAS SOUPS 3419 WITH SCORE 3432.057
AT ITER 735 NEW BEST:: SOT 23618 SOS 13053 HAS SOPS 10663 HAS SOUS 4144 HAS SOUPS 3418 WITH SCORE 3431.053
AT ITER 738 NEW BEST:: SOT 23610 SOS 13045 HAS SOPS 10655 HAS SOUS 4140 HAS SOUPS 3414 WITH SCORE 3427.045
AT ITER 753 NEW BEST:: SOT 23560 SOS 12995 HAS SOPS 10605 HAS SOUS 4112 HAS SOUPS 3386 WITH SCORE 3398.995
AT ITER 755 NEW BEST:: SOT 23570 SOS 12997 HAS SOPS 10607 HAS SOUS 4109 HAS SOUPS 3383 WITH SCORE 3395.997
AT ITER 768 NEW BEST:: SOT 23543 SOS 12943 HAS SOPS 10553 HAS SOUS 4091 HAS SOUPS 3365 WITH SCORE 3377.943
AT ITER 777 NEW BEST:: SOT 23543 SOS 12911 HAS SOPS 10531 HAS SOUS 4075 HAS SOUPS 3354 WITH SCORE 3366.911
AT ITER 795 NEW BEST:: SOT 23543 SOS 12909 HAS SOPS 10531 HAS SOUS 4074 HAS SOUPS 3354 WITH SCORE 3366.909
AT ITER 797 NEW BEST:: SOT 23519 SOS 12885 HAS SOPS 10507 HAS SOUS 4058 HAS SOUPS 3338 WITH SCORE 3350.885
AT ITER 799 NEW BEST:: SOT 23523 SOS 12903 HAS SOPS 10475 HAS SOUS 4058 HAS SOUPS 3313 WITH SCORE 3325.903
AT ITER 853 NEW BEST:: SOT 23523 SOS 12895 HAS SOPS 10475 HAS SOUS 4054 HAS SOUPS 3313 WITH SCORE 3325.895
AT ITER 854 NEW BEST:: SOT 23519 SOS 12889 HAS SOPS 10471 HAS SOUS 4049 HAS SOUPS 3309 WITH SCORE 3321.889
AT ITER 855 NEW BEST:: SOT 23491 SOS 12861 HAS SOPS 10443 HAS SOUS 4035 HAS SOUPS 3295 WITH SCORE 3307.861
AT ITER 860 NEW BEST:: SOT 23491 SOS 12861 HAS SOPS 10443 HAS SOUS 4020 HAS SOUPS 3280 WITH SCORE 3292.861
AT ITER 863 NEW BEST:: SOT 23470 SOS 12840 HAS SOPS 10422 HAS SOUS 4013 HAS SOUPS 3273 WITH SCORE 3285.84
AT ITER 880 NEW BEST:: SOT 23470 SOS 12770 HAS SOPS 10378 HAS SOUS 3978 HAS SOUPS 3251 WITH SCORE 3263.77
AT ITER 890 NEW BEST:: SOT 23470 SOS 12764 HAS SOPS 10378 HAS SOUS 3975 HAS SOUPS 3251 WITH SCORE 3263.764
AT ITER 894 NEW BEST:: SOT 23386 SOS 12680 HAS SOPS 10294 HAS SOUS 3974 HAS SOUPS 3250 WITH SCORE 3262.68
AT ITER 906 NEW BEST:: SOT 23386 SOS 12680 HAS SOPS 10294 HAS SOUS 3969 HAS SOUPS 3245 WITH SCORE 3257.68
AT ITER 909 NEW BEST:: SOT 23386 SOS 12658 HAS SOPS 10272 HAS SOUS 3958 HAS SOUPS 3234 WITH SCORE 3246.658
AT ITER 926 NEW BEST:: SOT 23386 SOS 12636 HAS SOPS 10272 HAS SOUS 3947 HAS SOUPS 3234 WITH SCORE 3246.636
AT ITER 965 NEW BEST:: SOT 23386 SOS 12662 HAS SOPS 10270 HAS SOUS 3960 HAS SOUPS 3233 WITH SCORE 3245.662
AT ITER 992 NEW BEST:: SOT 23384 SOS 12660 HAS SOPS 10268 HAS SOUS 3957 HAS SOUPS 3230 WITH SCORE 3242.66
AT ITER 995 NEW BEST:: SOT 23380 SOS 12656 HAS SOPS 10264 HAS SOUS 3955 HAS SOUPS 3228 WITH SCORE 3240.656
AT ITER 1031 NEW BEST:: SOT 23360 SOS 12656 HAS SOPS 10244 HAS SOUS 3961 HAS SOUPS 3224 WITH SCORE 3236.656
AT ITER 1073 NEW BEST:: SOT 23342 SOS 12638 HAS SOPS 10226 HAS SOUS 3938 HAS SOUPS 3201 WITH SCORE 3213.638
AT ITER 1083 NEW BEST:: SOT 23342 SOS 12638 HAS SOPS 10226 HAS SOUS 3923 HAS SOUPS 3186 WITH SCORE 3198.638
AT ITER 1092 NEW BEST:: SOT 23342 SOS 12638 HAS SOPS 10226 HAS SOUS 3906 HAS SOUPS 3169 WITH SCORE 3181.638
AT ITER 1124 NEW BEST:: SOT 22734 SOS 12050 HAS SOPS 9638 HAS SOUS 3777 HAS SOUPS 3040 WITH SCORE 3052.05
AT ITER 1134 NEW BEST:: SOT 22734 SOS 11976 HAS SOPS 9638 HAS SOUS 3739 HAS SOUPS 3039 WITH SCORE 3050.976
AT ITER 1139 NEW BEST:: SOT 22751 SOS 11993 HAS SOPS 9655 HAS SOUS 3738 HAS SOUPS 3038 WITH SCORE 3049.993
AT ITER 1142 NEW BEST:: SOT 22727 SOS 11969 HAS SOPS 9631 HAS SOUS 3735 HAS SOUPS 3035 WITH SCORE 3046.969
AT ITER 1154 NEW BEST:: SOT 22719 SOS 11943 HAS SOPS 9605 HAS SOUS 3727 HAS SOUPS 3027 WITH SCORE 3038.943
AT ITER 1157 NEW BEST:: SOT 22719 SOS 11925 HAS SOPS 9599 HAS SOUS 3721 HAS SOUPS 3024 WITH SCORE 3035.925
AT ITER 1165 NEW BEST:: SOT 22719 SOS 11924 HAS SOPS 9598 HAS SOUS 3719 HAS SOUPS 3022 WITH SCORE 3033.924
AT ITER 1203 NEW BEST:: SOT 22719 SOS 11898 HAS SOPS 9590 HAS SOUS 3711 HAS SOUPS 3018 WITH SCORE 3029.898
AT ITER 1211 NEW BEST:: SOT 22708 SOS 11878 HAS SOPS 9570 HAS SOUS 3701 HAS SOUPS 3008 WITH SCORE 3019.878
AT ITER 1216 NEW BEST:: SOT 22708 SOS 11868 HAS SOPS 9556 HAS SOUS 3688 HAS SOUPS 3001 WITH SCORE 3012.868
AT ITER 1236 NEW BEST:: SOT 22658 SOS 11818 HAS SOPS 9506 HAS SOUS 3655 HAS SOUPS 2968 WITH SCORE 2979.818
AT ITER 1239 NEW BEST:: SOT 22660 SOS 11820 HAS SOPS 9508 HAS SOUS 3648 HAS SOUPS 2961 WITH SCORE 2972.82
AT ITER 1241 NEW BEST:: SOT 22404 SOS 12156 HAS SOPS 10134 HAS SOUS 3520 HAS SOUPS 2924 WITH SCORE 2936.156
AT ITER 1246 NEW BEST:: SOT 22388 SOS 12132 HAS SOPS 10118 HAS SOUS 3500 HAS SOUPS 2908 WITH SCORE 2920.132
AT ITER 1299 NEW BEST:: SOT 22433 SOS 12159 HAS SOPS 10145 HAS SOUS 3482 HAS SOUPS 2890 WITH SCORE 2902.159
AT ITER 1326 NEW BEST:: SOT 22415 SOS 12132 HAS SOPS 10118 HAS SOUS 3466 HAS SOUPS 2874 WITH SCORE 2886.132
AT ITER 1330 NEW BEST:: SOT 22396 SOS 12113 HAS SOPS 10099 HAS SOUS 3463 HAS SOUPS 2871 WITH SCORE 2883.113
AT ITER 1348 NEW BEST:: SOT 22396 SOS 12131 HAS SOPS 10087 HAS SOUS 3472 HAS SOUPS 2865 WITH SCORE 2877.131
AT ITER 1365 NEW BEST:: SOT 22378 SOS 12121 HAS SOPS 10077 HAS SOUS 3471 HAS SOUPS 2864 WITH SCORE 2876.121
AT ITER 1419 NEW BEST:: SOT 22376 SOS 12119 HAS SOPS 10075 HAS SOUS 3470 HAS SOUPS 2863 WITH SCORE 2875.119
AT ITER 1426 NEW BEST:: SOT 22376 SOS 12153 HAS SOPS 10071 HAS SOUS 3487 HAS SOUPS 2861 WITH SCORE 2873.153
AT ITER 1439 NEW BEST:: SOT 22376 SOS 12148 HAS SOPS 10066 HAS SOUS 3487 HAS SOUPS 2861 WITH SCORE 2873.148
AT ITER 1459 NEW BEST:: SOT 22376 SOS 12124 HAS SOPS 10066 HAS SOUS 3475 HAS SOUPS 2861 WITH SCORE 2873.124
AT ITER 1461 NEW BEST:: SOT 22374 SOS 12122 HAS SOPS 10064 HAS SOUS 3472 HAS SOUPS 2858 WITH SCORE 2870.122
AT ITER 1476 NEW BEST:: SOT 22374 SOS 12122 HAS SOPS 10064 HAS SOUS 3466 HAS SOUPS 2852 WITH SCORE 2864.122
AT ITER 1482 NEW BEST:: SOT 22374 SOS 12166 HAS SOPS 10058 HAS SOUS 3488 HAS SOUPS 2849 WITH SCORE 2861.166
AT ITER 1502 NEW BEST:: SOT 22366 SOS 12158 HAS SOPS 10050 HAS SOUS 3488 HAS SOUPS 2849 WITH SCORE 2861.158
AT ITER 1506 NEW BEST:: SOT 22362 SOS 12153 HAS SOPS 10045 HAS SOUS 3485 HAS SOUPS 2846 WITH SCORE 2858.153
AT ITER 1523 NEW BEST:: SOT 22362 SOS 12145 HAS SOPS 10037 HAS SOUS 3481 HAS SOUPS 2842 WITH SCORE 2854.145
AT ITER 1529 NEW BEST:: SOT 22362 SOS 12061 HAS SOPS 9995 HAS SOUS 3439 HAS SOUPS 2821 WITH SCORE 2833.061
AT ITER 1535 NEW BEST:: SOT 22362 SOS 12057 HAS SOPS 9993 HAS SOUS 3437 HAS SOUPS 2820 WITH SCORE 2832.057
AT ITER 1551 NEW BEST:: SOT 22362 SOS 12051 HAS SOPS 9991 HAS SOUS 3435 HAS SOUPS 2819 WITH SCORE 2831.051
AT ITER 1571 NEW BEST:: SOT 22354 SOS 12041 HAS SOPS 9981 HAS SOUS 3431 HAS SOUPS 2815 WITH SCORE 2827.041
AT ITER 1581 NEW BEST:: SOT 22318 SOS 12005 HAS SOPS 9945 HAS SOUS 3423 HAS SOUPS 2807 WITH SCORE 2819.005
AT ITER 1595 NEW BEST:: SOT 22318 SOS 11995 HAS SOPS 9945 HAS SOUS 3418 HAS SOUPS 2807 WITH SCORE 2818.995
AT ITER 1621 NEW BEST:: SOT 22318 SOS 11963 HAS SOPS 9941 HAS SOUS 3402 HAS SOUPS 2805 WITH SCORE 2816.963
AT ITER 1666 NEW BEST:: SOT 22300 SOS 11945 HAS SOPS 9923 HAS SOUS 3376 HAS SOUPS 2779 WITH SCORE 2790.945
AT ITER 1669 NEW BEST:: SOT 22170 SOS 11864 HAS SOPS 9882 HAS SOUS 3365 HAS SOUPS 2778 WITH SCORE 2789.864
AT ITER 1673 NEW BEST:: SOT 22170 SOS 11866 HAS SOPS 9878 HAS SOUS 3366 HAS SOUPS 2776 WITH SCORE 2787.866
AT ITER 1684 NEW BEST:: SOT 22154 SOS 11850 HAS SOPS 9862 HAS SOUS 3364 HAS SOUPS 2774 WITH SCORE 2785.85
AT ITER 1731 NEW BEST:: SOT 22154 SOS 11850 HAS SOPS 9862 HAS SOUS 3363 HAS SOUPS 2773 WITH SCORE 2784.85
AT ITER 1936 NEW BEST:: SOT 22146 SOS 11842 HAS SOPS 9854 HAS SOUS 3357 HAS SOUPS 2767 WITH SCORE 2778.842
AT ITER 2026 NEW BEST:: SOT 22146 SOS 11842 HAS SOPS 9854 HAS SOUS 3352 HAS SOUPS 2762 WITH SCORE 2773.842
AT ITER 2039 NEW BEST:: SOT 22138 SOS 11834 HAS SOPS 9846 HAS SOUS 3344 HAS SOUPS 2754 WITH SCORE 2765.834
AT ITER 2043 NEW BEST:: SOT 22122 SOS 11818 HAS SOPS 9830 HAS SOUS 3336 HAS SOUPS 2746 WITH SCORE 2757.818
AT ITER 2057 NEW BEST:: SOT 22054 SOS 11754 HAS SOPS 9762 HAS SOUS 3333 HAS SOUPS 2744 WITH SCORE 2755.754
AT ITER 2105 NEW BEST:: SOT 22048 SOS 11748 HAS SOPS 9756 HAS SOUS 3330 HAS SOUPS 2741 WITH SCORE 2752.748
AT ITER 2111 NEW BEST:: SOT 22002 SOS 11702 HAS SOPS 9710 HAS SOUS 3323 HAS SOUPS 2734 WITH SCORE 2745.702
AT ITER 2122 NEW BEST:: SOT 22002 SOS 11696 HAS SOPS 9704 HAS SOUS 3320 HAS SOUPS 2731 WITH SCORE 2742.696
AT ITER 2125 NEW BEST:: SOT 22002 SOS 11680 HAS SOPS 9688 HAS SOUS 3312 HAS SOUPS 2723 WITH SCORE 2734.68
AT ITER 2189 NEW BEST:: SOT 22016 SOS 11692 HAS SOPS 9700 HAS SOUS 3305 HAS SOUPS 2716 WITH SCORE 2727.692
AT ITER 2261 NEW BEST:: SOT 22016 SOS 11686 HAS SOPS 9694 HAS SOUS 3302 HAS SOUPS 2713 WITH SCORE 2724.686
AT ITER 2263 NEW BEST:: SOT 22016 SOS 11682 HAS SOPS 9690 HAS SOUS 3300 HAS SOUPS 2711 WITH SCORE 2722.682
AT ITER 2291 NEW BEST:: SOT 21942 SOS 11790 HAS SOPS 9846 HAS SOUS 3261 HAS SOUPS 2690 WITH SCORE 2701.79
AT ITER 2328 NEW BEST:: SOT 21942 SOS 11794 HAS SOPS 9818 HAS SOUS 3263 HAS SOUPS 2676 WITH SCORE 2687.794
AT ITER 2370 NEW BEST:: SOT 21974 SOS 11826 HAS SOPS 9850 HAS SOUS 3256 HAS SOUPS 2669 WITH SCORE 2680.826
AT ITER 2415 NEW BEST:: SOT 21970 SOS 11822 HAS SOPS 9846 HAS SOUS 3252 HAS SOUPS 2665 WITH SCORE 2676.822
AT ITER 2439 NEW BEST:: SOT 21954 SOS 11801 HAS SOPS 9825 HAS SOUS 3239 HAS SOUPS 2652 WITH SCORE 2663.801
AT ITER 2556 NEW BEST:: SOT 21954 SOS 11783 HAS SOPS 9823 HAS SOUS 3230 HAS SOUPS 2651 WITH SCORE 2662.783
AT ITER 2562 NEW BEST:: SOT 21942 SOS 11771 HAS SOPS 9811 HAS SOUS 3223 HAS SOUPS 2644 WITH SCORE 2655.771
AT ITER 2604 NEW BEST:: SOT 21940 SOS 11769 HAS SOPS 9809 HAS SOUS 3223 HAS SOUPS 2644 WITH SCORE 2655.769
AT ITER 2658 NEW BEST:: SOT 21930 SOS 11759 HAS SOPS 9799 HAS SOUS 3218 HAS SOUPS 2639 WITH SCORE 2650.759
AT ITER 2702 NEW BEST:: SOT 21930 SOS 11747 HAS SOPS 9793 HAS SOUS 3212 HAS SOUPS 2636 WITH SCORE 2647.747
AT ITER 2756 NEW BEST:: SOT 21892 SOS 11709 HAS SOPS 9755 HAS SOUS 3210 HAS SOUPS 2634 WITH SCORE 2645.709
AT ITER 2799 NEW BEST:: SOT 21892 SOS 11685 HAS SOPS 9755 HAS SOUS 3198 HAS SOUPS 2634 WITH SCORE 2645.685
AT ITER 2847 NEW BEST:: SOT 21898 SOS 11691 HAS SOPS 9761 HAS SOUS 3197 HAS SOUPS 2633 WITH SCORE 2644.691
AT ITER 2861 NEW BEST:: SOT 21854 SOS 11664 HAS SOPS 9758 HAS SOUS 3190 HAS SOUPS 2632 WITH SCORE 2643.664
AT ITER 2914 NEW BEST:: SOT 21854 SOS 11656 HAS SOPS 9754 HAS SOUS 3186 HAS SOUPS 2630 WITH SCORE 2641.656
AT ITER 2937 NEW BEST:: SOT 21852 SOS 11654 HAS SOPS 9752 HAS SOUS 3186 HAS SOUPS 2630 WITH SCORE 2641.654
AT ITER 2951 NEW BEST:: SOT 21841 SOS 11632 HAS SOPS 9730 HAS SOUS 3175 HAS SOUPS 2619 WITH SCORE 2630.632
AT ITER 2954 NEW BEST:: SOT 21833 SOS 11614 HAS SOPS 9722 HAS SOUS 3165 HAS SOUPS 2614 WITH SCORE 2625.614
AT ITER 3004 NEW BEST:: SOT 21813 SOS 11594 HAS SOPS 9702 HAS SOUS 3165 HAS SOUPS 2614 WITH SCORE 2625.594
AT ITER 3156 NEW BEST:: SOT 21813 SOS 11592 HAS SOPS 9702 HAS SOUS 3164 HAS SOUPS 2614 WITH SCORE 2625.592
AT ITER 3207 NEW BEST:: SOT 21781 SOS 11568 HAS SOPS 9670 HAS SOUS 3160 HAS SOUPS 2611 WITH SCORE 2622.568
AT ITER 3474 NEW BEST:: SOT 21776 SOS 11558 HAS SOPS 9660 HAS SOUS 3158 HAS SOUPS 2609 WITH SCORE 2620.558
AT ITER 3515 NEW BEST:: SOT 21776 SOS 11554 HAS SOPS 9658 HAS SOUS 3156 HAS SOUPS 2608 WITH SCORE 2619.554
AT ITER 3535 NEW BEST:: SOT 21802 SOS 11580 HAS SOPS 9684 HAS SOUS 3155 HAS SOUPS 2607 WITH SCORE 2618.58
AT ITER 3598 NEW BEST:: SOT 21806 SOS 11584 HAS SOPS 9688 HAS SOUS 3153 HAS SOUPS 2605 WITH SCORE 2616.584
AT ITER 3620 NEW BEST:: SOT 21806 SOS 11582 HAS SOPS 9686 HAS SOUS 3152 HAS SOUPS 2604 WITH SCORE 2615.582
AT ITER 3622 NEW BEST:: SOT 21806 SOS 11574 HAS SOPS 9682 HAS SOUS 3148 HAS SOUPS 2602 WITH SCORE 2613.574
AT ITER 3710 NEW BEST:: SOT 21806 SOS 11568 HAS SOPS 9680 HAS SOUS 3146 HAS SOUPS 2601 WITH SCORE 2612.568
AT ITER 3936 NEW BEST:: SOT 21806 SOS 11568 HAS SOPS 9680 HAS SOUS 3142 HAS SOUPS 2597 WITH SCORE 2608.568
AT ITER 4038 NEW BEST:: SOT 21776 SOS 11538 HAS SOPS 9650 HAS SOUS 3136 HAS SOUPS 2591 WITH SCORE 2602.538
AT ITER 4045 NEW BEST:: SOT 21776 SOS 11522 HAS SOPS 9642 HAS SOUS 3128 HAS SOUPS 2587 WITH SCORE 2598.522
AT ITER 4103 NEW BEST:: SOT 21776 SOS 11524 HAS SOPS 9632 HAS SOUS 3129 HAS SOUPS 2582 WITH SCORE 2593.524
AT ITER 4176 NEW BEST:: SOT 21774 SOS 11522 HAS SOPS 9630 HAS SOUS 3128 HAS SOUPS 2581 WITH SCORE 2592.522
AT ITER 4211 NEW BEST:: SOT 21776 SOS 11524 HAS SOPS 9632 HAS SOUS 3127 HAS SOUPS 2580 WITH SCORE 2591.524
AT ITER 4250 NEW BEST:: SOT 21776 SOS 11524 HAS SOPS 9632 HAS SOUS 3117 HAS SOUPS 2570 WITH SCORE 2581.524
AT ITER 4276 NEW BEST:: SOT 21762 SOS 11510 HAS SOPS 9618 HAS SOUS 3114 HAS SOUPS 2567 WITH SCORE 2578.51
AT ITER 4277 NEW BEST:: SOT 21762 SOS 11506 HAS SOPS 9616 HAS SOUS 3112 HAS SOUPS 2566 WITH SCORE 2577.506
AT ITER 4287 NEW BEST:: SOT 21414 SOS 12352 HAS SOPS 10880 HAS SOUS 2955 HAS SOUPS 2536 WITH SCORE 2548.352
AT ITER 4434 NEW BEST:: SOT 21406 SOS 12344 HAS SOPS 10872 HAS SOUS 2945 HAS SOUPS 2526 WITH SCORE 2538.344
AT ITER 4472 NEW BEST:: SOT 21406 SOS 12326 HAS SOPS 10862 HAS SOUS 2935 HAS SOUPS 2521 WITH SCORE 2533.326
AT ITER 4491 NEW BEST:: SOT 21400 SOS 12320 HAS SOPS 10856 HAS SOUS 2932 HAS SOUPS 2518 WITH SCORE 2530.32
AT ITER 4544 NEW BEST:: SOT 21390 SOS 12310 HAS SOPS 10846 HAS SOUS 2931 HAS SOUPS 2517 WITH SCORE 2529.31
AT ITER 4565 NEW BEST:: SOT 21386 SOS 12306 HAS SOPS 10842 HAS SOUS 2928 HAS SOUPS 2514 WITH SCORE 2526.306
AT ITER 4588 NEW BEST:: SOT 21462 SOS 12000 HAS SOPS 10408 HAS SOUS 2966 HAS SOUPS 2512 WITH SCORE 2524.0
AT ITER 4593 NEW BEST:: SOT 21462 SOS 11996 HAS SOPS 10406 HAS SOUS 2964 HAS SOUPS 2511 WITH SCORE 2522.996
AT ITER 4695 NEW BEST:: SOT 21470 SOS 12004 HAS SOPS 10414 HAS SOUS 2963 HAS SOUPS 2510 WITH SCORE 2522.004
AT ITER 4759 NEW BEST:: SOT 21468 SOS 12002 HAS SOPS 10412 HAS SOUS 2962 HAS SOUPS 2509 WITH SCORE 2521.002
AT ITER 4843 NEW BEST:: SOT 21454 SOS 11988 HAS SOPS 10398 HAS SOUS 2946 HAS SOUPS 2493 WITH SCORE 2504.988
AT ITER 4897 NEW BEST:: SOT 21454 SOS 11988 HAS SOPS 10398 HAS SOUS 2942 HAS SOUPS 2489 WITH SCORE 2500.988
AT ITER 4946 NEW BEST:: SOT 21454 SOS 11984 HAS SOPS 10394 HAS SOUS 2940 HAS SOUPS 2487 WITH SCORE 2498.984
AT ITER 5116 NEW BEST:: SOT 21462 SOS 11986 HAS SOPS 10394 HAS SOUS 2937 HAS SOUPS 2483 WITH SCORE 2494.986
AT ITER 5160 NEW BEST:: SOT 21460 SOS 11984 HAS SOPS 10392 HAS SOUS 2936 HAS SOUPS 2482 WITH SCORE 2493.984
AT ITER 5271 NEW BEST:: SOT 21456 SOS 11976 HAS SOPS 10384 HAS SOUS 2933 HAS SOUPS 2479 WITH SCORE 2490.976
AT ITER 5284 NEW BEST:: SOT 21456 SOS 11974 HAS SOPS 10380 HAS SOUS 2932 HAS SOUPS 2477 WITH SCORE 2488.974
AT ITER 5378 NEW BEST:: SOT 21454 SOS 11972 HAS SOPS 10378 HAS SOUS 2931 HAS SOUPS 2476 WITH SCORE 2487.972
AT ITER 5586 NEW BEST:: SOT 21326 SOS 11869 HAS SOPS 10295 HAS SOUS 2909 HAS SOUPS 2459 WITH SCORE 2470.869
AT ITER 5743 NEW BEST:: SOT 21304 SOS 11847 HAS SOPS 10273 HAS SOUS 2909 HAS SOUPS 2459 WITH SCORE 2470.847
AT ITER 5844 NEW BEST:: SOT 21293 SOS 11836 HAS SOPS 10262 HAS SOUS 2908 HAS SOUPS 2458 WITH SCORE 2469.836
AT ITER 6108 NEW BEST:: SOT 21271 SOS 11814 HAS SOPS 10240 HAS SOUS 2907 HAS SOUPS 2457 WITH SCORE 2468.814
AT ITER 6157 NEW BEST:: SOT 21271 SOS 11814 HAS SOPS 10240 HAS SOUS 2906 HAS SOUPS 2456 WITH SCORE 2467.814
AT ITER 6256 NEW BEST:: SOT 21207 SOS 11990 HAS SOPS 10480 HAS SOUS 2881 HAS SOUPS 2452 WITH SCORE 2463.99
AT ITER 6259 NEW BEST:: SOT 21206 SOS 11989 HAS SOPS 10479 HAS SOUS 2880 HAS SOUPS 2451 WITH SCORE 2462.989
AT ITER 6401 NEW BEST:: SOT 21188 SOS 11971 HAS SOPS 10461 HAS SOUS 2873 HAS SOUPS 2444 WITH SCORE 2455.971
AT ITER 6444 NEW BEST:: SOT 21183 SOS 11966 HAS SOPS 10456 HAS SOUS 2865 HAS SOUPS 2436 WITH SCORE 2447.966
AT ITER 6773 NEW BEST:: SOT 21183 SOS 11974 HAS SOPS 10454 HAS SOUS 2869 HAS SOUPS 2435 WITH SCORE 2446.974
AT ITER 6808 NEW BEST:: SOT 21181 SOS 11972 HAS SOPS 10452 HAS SOUS 2869 HAS SOUPS 2435 WITH SCORE 2446.972
AT ITER 6904 NEW BEST:: SOT 21179 SOS 11970 HAS SOPS 10450 HAS SOUS 2868 HAS SOUPS 2434 WITH SCORE 2445.97
AT ITER 7104 NEW BEST:: SOT 21173 SOS 11964 HAS SOPS 10444 HAS SOUS 2866 HAS SOUPS 2432 WITH SCORE 2443.964
AT ITER 7188 NEW BEST:: SOT 21171 SOS 11961 HAS SOPS 10441 HAS SOUS 2866 HAS SOUPS 2432 WITH SCORE 2443.961
AT ITER 7191 NEW BEST:: SOT 21171 SOS 11961 HAS SOPS 10441 HAS SOUS 2865 HAS SOUPS 2431 WITH SCORE 2442.961
AT ITER 7298 NEW BEST:: SOT 21165 SOS 11955 HAS SOPS 10435 HAS SOUS 2859 HAS SOUPS 2425 WITH SCORE 2436.955
AT ITER 7722 NEW BEST:: SOT 21165 SOS 11955 HAS SOPS 10435 HAS SOUS 2858 HAS SOUPS 2424 WITH SCORE 2435.955
AT ITER 8030 NEW BEST:: SOT 21165 SOS 11951 HAS SOPS 10433 HAS SOUS 2856 HAS SOUPS 2423 WITH SCORE 2434.951
AT ITER 8107 NEW BEST:: SOT 21159 SOS 11945 HAS SOPS 10427 HAS SOUS 2856 HAS SOUPS 2423 WITH SCORE 2434.945
AT ITER 8243 NEW BEST:: SOT 21159 SOS 11949 HAS SOPS 10423 HAS SOUS 2858 HAS SOUPS 2421 WITH SCORE 2432.949
AT ITER 8442 NEW BEST:: SOT 21159 SOS 11947 HAS SOPS 10421 HAS SOUS 2856 HAS SOUPS 2420 WITH SCORE 2431.947
AT ITER 8515 NEW BEST:: SOT 21143 SOS 11931 HAS SOPS 10405 HAS SOUS 2856 HAS SOUPS 2420 WITH SCORE 2431.931
AT ITER 8659 NEW BEST:: SOT 21143 SOS 11929 HAS SOPS 10403 HAS SOUS 2854 HAS SOUPS 2418 WITH SCORE 2429.929
AT ITER 8671 NEW BEST:: SOT 21141 SOS 11927 HAS SOPS 10401 HAS SOUS 2854 HAS SOUPS 2418 WITH SCORE 2429.927
AT ITER 8679 NEW BEST:: SOT 21137 SOS 11923 HAS SOPS 10397 HAS SOUS 2852 HAS SOUPS 2416 WITH SCORE 2427.923
AT ITER 8907 NEW BEST:: SOT 21133 SOS 11919 HAS SOPS 10393 HAS SOUS 2852 HAS SOUPS 2416 WITH SCORE 2427.919
AT ITER 8944 NEW BEST:: SOT 21133 SOS 11917 HAS SOPS 10391 HAS SOUS 2851 HAS SOUPS 2415 WITH SCORE 2426.917
AT ITER 9236 NEW BEST:: SOT 21133 SOS 11917 HAS SOPS 10391 HAS SOUS 2850 HAS SOUPS 2414 WITH SCORE 2425.917
AT ITER 9381 NEW BEST:: SOT 21133 SOS 11915 HAS SOPS 10391 HAS SOUS 2849 HAS SOUPS 2414 WITH SCORE 2425.915
AT ITER 9505 NEW BEST:: SOT 21131 SOS 11913 HAS SOPS 10389 HAS SOUS 2848 HAS SOUPS 2413 WITH SCORE 2424.913
AT ITER 9564 NEW BEST:: SOT 21129 SOS 11911 HAS SOPS 10387 HAS SOUS 2847 HAS SOUPS 2412 WITH SCORE 2423.911
AT ITER 9633 NEW BEST:: SOT 21127 SOS 11907 HAS SOPS 10383 HAS SOUS 2846 HAS SOUPS 2411 WITH SCORE 2422.907
AT ITER 9778 NEW BEST:: SOT 21127 SOS 11909 HAS SOPS 10381 HAS SOUS 2847 HAS SOUPS 2410 WITH SCORE 2421.909
AT ITER 9891 NEW BEST:: SOT 21127 SOS 11905 HAS SOPS 10379 HAS SOUS 2845 HAS SOUPS 2409 WITH SCORE 2420.905

BK_STOP 1679145435057

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 481 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="SemanticWebServices-PT-S064P18"
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 SemanticWebServices-PT-S064P18, 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 r363-smll-167891814200376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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