Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 776K
-rw-r--r-- 1 mcc users 7.1K Feb 26 15:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 15:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 15:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 15:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 15:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 26 15:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 15:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 15:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 432K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678352728990

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=DBSingleClientW-PT-d1m08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 09:05:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 09:05:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 09:05:30] [INFO ] Load time of PNML (sax parser for PT used): 81 ms
[2023-03-09 09:05:30] [INFO ] Transformed 1440 places.
[2023-03-09 09:05:30] [INFO ] Transformed 672 transitions.
[2023-03-09 09:05:30] [INFO ] Parsed PT model containing 1440 places and 672 transitions and 2688 arcs in 146 ms.
[2023-03-09 09:05:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1440 places, 672 transitions and 2688 arcs took 9 ms.
Total runtime 182 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d1m08
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: 1440 places, 672 transitions, 2688 arcs.
AT ITER 0 NEW BEST:: SOT 229313 SOS 216647 HAS SOPS 216632 HAS SOUS 158140 HAS SOUPS 158125 WITH SCORE 158341.647
AT ITER 37 NEW BEST:: SOT 229313 SOS 216879 HAS SOPS 216864 HAS SOUS 158136 HAS SOUPS 158121 WITH SCORE 158337.879
AT ITER 62 NEW BEST:: SOT 229313 SOS 216593 HAS SOPS 216578 HAS SOUS 158092 HAS SOUPS 158077 WITH SCORE 158293.593
AT ITER 108 NEW BEST:: SOT 229478 SOS 216758 HAS SOPS 216743 HAS SOUS 157966 HAS SOUPS 157951 WITH SCORE 158167.758
AT ITER 129 NEW BEST:: SOT 229478 SOS 216758 HAS SOPS 216743 HAS SOUS 157819 HAS SOUPS 157804 WITH SCORE 158020.758
AT ITER 130 NEW BEST:: SOT 229478 SOS 216758 HAS SOPS 216743 HAS SOUS 157791 HAS SOUPS 157776 WITH SCORE 157992.758
AT ITER 141 NEW BEST:: SOT 229478 SOS 216758 HAS SOPS 216743 HAS SOUS 157631 HAS SOUPS 157616 WITH SCORE 157832.758
AT ITER 156 NEW BEST:: SOT 229478 SOS 216098 HAS SOPS 216083 HAS SOUS 157498 HAS SOUPS 157483 WITH SCORE 157699.098
AT ITER 184 NEW BEST:: SOT 229478 SOS 216098 HAS SOPS 216083 HAS SOUS 157337 HAS SOUPS 157322 WITH SCORE 157538.098
AT ITER 249 NEW BEST:: SOT 229478 SOS 216098 HAS SOPS 216083 HAS SOUS 157336 HAS SOUPS 157321 WITH SCORE 157537.098
AT ITER 268 NEW BEST:: SOT 229478 SOS 216098 HAS SOPS 216083 HAS SOUS 157216 HAS SOUPS 157201 WITH SCORE 157417.098
AT ITER 299 NEW BEST:: SOT 229862 SOS 216482 HAS SOPS 216467 HAS SOUS 157145 HAS SOUPS 157130 WITH SCORE 157346.482
AT ITER 311 NEW BEST:: SOT 230249 SOS 216626 HAS SOPS 216611 HAS SOUS 156145 HAS SOUPS 156130 WITH SCORE 156346.626
AT ITER 347 NEW BEST:: SOT 230249 SOS 216626 HAS SOPS 216611 HAS SOUS 156013 HAS SOUPS 155998 WITH SCORE 156214.626
AT ITER 361 NEW BEST:: SOT 230265 SOS 216642 HAS SOPS 216627 HAS SOUS 155166 HAS SOUPS 155151 WITH SCORE 155367.642
AT ITER 393 NEW BEST:: SOT 230265 SOS 216699 HAS SOPS 216684 HAS SOUS 155162 HAS SOUPS 155147 WITH SCORE 155363.699
AT ITER 410 NEW BEST:: SOT 230265 SOS 216699 HAS SOPS 216684 HAS SOUS 155150 HAS SOUPS 155135 WITH SCORE 155351.699
AT ITER 412 NEW BEST:: SOT 139572 SOS 126736 HAS SOPS 126104 HAS SOUS 64759 HAS SOUPS 64552 WITH SCORE 64678.736
AT ITER 414 NEW BEST:: SOT 139572 SOS 126736 HAS SOPS 126104 HAS SOUS 64756 HAS SOUPS 64549 WITH SCORE 64675.736
AT ITER 435 NEW BEST:: SOT 141974 SOS 128622 HAS SOPS 127440 HAS SOUS 63978 HAS SOUPS 63771 WITH SCORE 63899.622
AT ITER 466 NEW BEST:: SOT 143684 SOS 130183 HAS SOPS 129001 HAS SOUS 63197 HAS SOUPS 62990 WITH SCORE 63120.183
AT ITER 472 NEW BEST:: SOT 143845 SOS 130344 HAS SOPS 129162 HAS SOUS 63151 HAS SOUPS 62944 WITH SCORE 63074.344
AT ITER 501 NEW BEST:: SOT 143521 SOS 129999 HAS SOPS 128636 HAS SOUS 63026 HAS SOUPS 62819 WITH SCORE 62948.999
AT ITER 508 NEW BEST:: SOT 143297 SOS 129775 HAS SOPS 128412 HAS SOUS 62909 HAS SOUPS 62702 WITH SCORE 62831.775
AT ITER 526 NEW BEST:: SOT 143239 SOS 129717 HAS SOPS 128354 HAS SOUS 62893 HAS SOUPS 62686 WITH SCORE 62815.717
AT ITER 605 NEW BEST:: SOT 143282 SOS 129760 HAS SOPS 128397 HAS SOUS 62882 HAS SOUPS 62675 WITH SCORE 62804.76
AT ITER 608 NEW BEST:: SOT 142970 SOS 129448 HAS SOPS 128085 HAS SOUS 62690 HAS SOUPS 62483 WITH SCORE 62612.448
AT ITER 702 NEW BEST:: SOT 143151 SOS 129629 HAS SOPS 128266 HAS SOUS 62683 HAS SOUPS 62476 WITH SCORE 62605.629
AT ITER 722 NEW BEST:: SOT 143068 SOS 129480 HAS SOPS 128117 HAS SOUS 62663 HAS SOUPS 62456 WITH SCORE 62585.48
AT ITER 821 NEW BEST:: SOT 144150 SOS 130562 HAS SOPS 129199 HAS SOUS 61568 HAS SOUPS 61361 WITH SCORE 61491.562
AT ITER 869 NEW BEST:: SOT 144169 SOS 130372 HAS SOPS 129009 HAS SOUS 61543 HAS SOUPS 61336 WITH SCORE 61466.372
AT ITER 890 NEW BEST:: SOT 144012 SOS 130215 HAS SOPS 128852 HAS SOUS 61413 HAS SOUPS 61206 WITH SCORE 61336.215
AT ITER 915 NEW BEST:: SOT 144027 SOS 130230 HAS SOPS 128867 HAS SOUS 61200 HAS SOUPS 60993 WITH SCORE 61123.23
AT ITER 934 NEW BEST:: SOT 144027 SOS 130230 HAS SOPS 128867 HAS SOUS 61178 HAS SOUPS 60971 WITH SCORE 61101.23
AT ITER 951 NEW BEST:: SOT 143930 SOS 130133 HAS SOPS 128770 HAS SOUS 61161 HAS SOUPS 60954 WITH SCORE 61084.133
AT ITER 953 NEW BEST:: SOT 143854 SOS 130037 HAS SOPS 128636 HAS SOUS 60969 HAS SOUPS 60762 WITH SCORE 60892.037
AT ITER 1026 NEW BEST:: SOT 143913 SOS 130096 HAS SOPS 128695 HAS SOUS 60586 HAS SOUPS 60379 WITH SCORE 60509.096
AT ITER 1235 NEW BEST:: SOT 143913 SOS 129506 HAS SOPS 128105 HAS SOUS 60585 HAS SOUPS 60378 WITH SCORE 60507.506
AT ITER 1307 NEW BEST:: SOT 143913 SOS 129470 HAS SOPS 128069 HAS SOUS 60585 HAS SOUPS 60378 WITH SCORE 60507.47
AT ITER 1381 NEW BEST:: SOT 143913 SOS 129470 HAS SOPS 128069 HAS SOUS 60511 HAS SOUPS 60304 WITH SCORE 60433.47
AT ITER 1395 NEW BEST:: SOT 143929 SOS 129486 HAS SOPS 128152 HAS SOUS 60476 HAS SOUPS 60269 WITH SCORE 60398.486
AT ITER 1437 NEW BEST:: SOT 143899 SOS 128871 HAS SOPS 127537 HAS SOUS 60336 HAS SOUPS 60129 WITH SCORE 60257.871
AT ITER 1439 NEW BEST:: SOT 144667 SOS 129686 HAS SOPS 128352 HAS SOUS 59375 HAS SOUPS 59168 WITH SCORE 59297.686
AT ITER 1462 NEW BEST:: SOT 144711 SOS 129730 HAS SOPS 128396 HAS SOUS 59223 HAS SOUPS 59016 WITH SCORE 59145.73
AT ITER 1532 NEW BEST:: SOT 144711 SOS 129708 HAS SOPS 128374 HAS SOUS 59222 HAS SOUPS 59015 WITH SCORE 59144.708
AT ITER 1619 NEW BEST:: SOT 144606 SOS 129603 HAS SOPS 128269 HAS SOUS 59084 HAS SOUPS 58877 WITH SCORE 59006.603
AT ITER 1632 NEW BEST:: SOT 144546 SOS 129543 HAS SOPS 128209 HAS SOUS 59013 HAS SOUPS 58806 WITH SCORE 58935.543
AT ITER 1659 NEW BEST:: SOT 144546 SOS 128626 HAS SOPS 127292 HAS SOUS 58973 HAS SOUPS 58766 WITH SCORE 58894.626
AT ITER 1695 NEW BEST:: SOT 144801 SOS 128937 HAS SOPS 127603 HAS SOUS 58930 HAS SOUPS 58723 WITH SCORE 58851.937
AT ITER 1715 NEW BEST:: SOT 144733 SOS 128869 HAS SOPS 127535 HAS SOUS 58930 HAS SOUPS 58723 WITH SCORE 58851.869
AT ITER 1771 NEW BEST:: SOT 144733 SOS 128863 HAS SOPS 127529 HAS SOUS 58930 HAS SOUPS 58723 WITH SCORE 58851.863
AT ITER 1785 NEW BEST:: SOT 145291 SOS 129185 HAS SOPS 127665 HAS SOUS 58011 HAS SOUPS 57804 WITH SCORE 57933.185
AT ITER 1810 NEW BEST:: SOT 145300 SOS 129194 HAS SOPS 127674 HAS SOUS 57879 HAS SOUPS 57672 WITH SCORE 57801.194
AT ITER 1862 NEW BEST:: SOT 145300 SOS 127881 HAS SOPS 126361 HAS SOUS 57705 HAS SOUPS 57498 WITH SCORE 57625.881
AT ITER 1867 NEW BEST:: SOT 145300 SOS 127881 HAS SOPS 126361 HAS SOUS 57467 HAS SOUPS 57260 WITH SCORE 57387.881
AT ITER 1875 NEW BEST:: SOT 145300 SOS 127881 HAS SOPS 126361 HAS SOUS 57347 HAS SOUPS 57140 WITH SCORE 57267.881
AT ITER 1905 NEW BEST:: SOT 145637 SOS 128218 HAS SOPS 126698 HAS SOUS 57320 HAS SOUPS 57113 WITH SCORE 57241.218
AT ITER 1929 NEW BEST:: SOT 145637 SOS 127647 HAS SOPS 126127 HAS SOUS 57283 HAS SOUPS 57076 WITH SCORE 57203.647
AT ITER 1975 NEW BEST:: SOT 145637 SOS 127647 HAS SOPS 126127 HAS SOUS 57282 HAS SOUPS 57075 WITH SCORE 57202.647
AT ITER 1999 NEW BEST:: SOT 145784 SOS 127753 HAS SOPS 126040 HAS SOUS 57194 HAS SOUPS 56987 WITH SCORE 57114.753
AT ITER 2008 NEW BEST:: SOT 145647 SOS 127616 HAS SOPS 125903 HAS SOUS 57159 HAS SOUPS 56952 WITH SCORE 57079.616
AT ITER 2015 NEW BEST:: SOT 144717 SOS 126686 HAS SOPS 125123 HAS SOUS 57036 HAS SOUPS 56829 WITH SCORE 56955.686
AT ITER 2061 NEW BEST:: SOT 144717 SOS 126686 HAS SOPS 125123 HAS SOUS 56406 HAS SOUPS 56199 WITH SCORE 56325.686
AT ITER 2087 NEW BEST:: SOT 144711 SOS 126680 HAS SOPS 125117 HAS SOUS 56394 HAS SOUPS 56187 WITH SCORE 56313.68
AT ITER 2183 NEW BEST:: SOT 145108 SOS 126874 HAS SOPS 125197 HAS SOUS 55595 HAS SOUPS 55388 WITH SCORE 55514.874
AT ITER 2391 NEW BEST:: SOT 145026 SOS 126524 HAS SOPS 124555 HAS SOUS 55511 HAS SOUPS 55304 WITH SCORE 55430.524
AT ITER 2399 NEW BEST:: SOT 143389 SOS 124887 HAS SOPS 122969 HAS SOUS 55061 HAS SOUPS 54854 WITH SCORE 54978.887
AT ITER 2536 NEW BEST:: SOT 143373 SOS 124871 HAS SOPS 122953 HAS SOUS 55061 HAS SOUPS 54854 WITH SCORE 54978.871
AT ITER 2580 NEW BEST:: SOT 143396 SOS 124894 HAS SOPS 122976 HAS SOUS 55038 HAS SOUPS 54831 WITH SCORE 54955.894
AT ITER 2606 NEW BEST:: SOT 145623 SOS 126891 HAS SOPS 124680 HAS SOUS 54563 HAS SOUPS 54356 WITH SCORE 54482.891
AT ITER 2653 NEW BEST:: SOT 145623 SOS 126891 HAS SOPS 124680 HAS SOUS 54559 HAS SOUPS 54352 WITH SCORE 54478.891
AT ITER 2657 NEW BEST:: SOT 145623 SOS 126864 HAS SOPS 124653 HAS SOUS 54532 HAS SOUPS 54325 WITH SCORE 54451.864
AT ITER 2699 NEW BEST:: SOT 145519 SOS 126760 HAS SOPS 124549 HAS SOUS 54529 HAS SOUPS 54322 WITH SCORE 54448.76
AT ITER 2770 NEW BEST:: SOT 145406 SOS 126566 HAS SOPS 124314 HAS SOUS 54331 HAS SOUPS 54124 WITH SCORE 54250.566
AT ITER 2885 NEW BEST:: SOT 144494 SOS 125654 HAS SOPS 123413 HAS SOUS 53806 HAS SOUPS 53599 WITH SCORE 53724.654
AT ITER 2901 NEW BEST:: SOT 144494 SOS 125654 HAS SOPS 123413 HAS SOUS 53804 HAS SOUPS 53597 WITH SCORE 53722.654
AT ITER 2910 NEW BEST:: SOT 144427 SOS 125587 HAS SOPS 123346 HAS SOUS 53721 HAS SOUPS 53514 WITH SCORE 53639.587
AT ITER 2917 NEW BEST:: SOT 144378 SOS 124470 HAS SOPS 122229 HAS SOUS 53492 HAS SOUPS 53285 WITH SCORE 53409.47
AT ITER 2967 NEW BEST:: SOT 146421 SOS 126460 HAS SOPS 124070 HAS SOUS 53347 HAS SOUPS 53140 WITH SCORE 53266.46
AT ITER 3087 NEW BEST:: SOT 146275 SOS 126266 HAS SOPS 123876 HAS SOUS 53281 HAS SOUPS 53074 WITH SCORE 53200.266
AT ITER 3151 NEW BEST:: SOT 146261 SOS 125856 HAS SOPS 123466 HAS SOUS 53235 HAS SOUPS 53028 WITH SCORE 53153.856
AT ITER 3155 NEW BEST:: SOT 146251 SOS 125846 HAS SOPS 123456 HAS SOUS 53235 HAS SOUPS 53028 WITH SCORE 53153.846
AT ITER 3224 NEW BEST:: SOT 146153 SOS 125692 HAS SOPS 123302 HAS SOUS 53127 HAS SOUPS 52920 WITH SCORE 53045.692
AT ITER 3389 NEW BEST:: SOT 146153 SOS 125672 HAS SOPS 123282 HAS SOUS 53127 HAS SOUPS 52920 WITH SCORE 53045.672
AT ITER 3401 NEW BEST:: SOT 146153 SOS 125636 HAS SOPS 123246 HAS SOUS 52981 HAS SOUPS 52774 WITH SCORE 52899.636
AT ITER 3460 NEW BEST:: SOT 146153 SOS 124270 HAS SOPS 121880 HAS SOUS 52981 HAS SOUPS 52774 WITH SCORE 52898.27
AT ITER 3516 NEW BEST:: SOT 146158 SOS 124220 HAS SOPS 121830 HAS SOUS 52976 HAS SOUPS 52769 WITH SCORE 52893.22
AT ITER 3544 NEW BEST:: SOT 146077 SOS 124071 HAS SOPS 121628 HAS SOUS 52722 HAS SOUPS 52515 WITH SCORE 52639.071
AT ITER 3559 NEW BEST:: SOT 146073 SOS 124067 HAS SOPS 121624 HAS SOUS 52692 HAS SOUPS 52485 WITH SCORE 52609.067
AT ITER 3611 NEW BEST:: SOT 146002 SOS 123996 HAS SOPS 121553 HAS SOUS 52456 HAS SOUPS 52249 WITH SCORE 52372.996
AT ITER 3615 NEW BEST:: SOT 146009 SOS 123881 HAS SOPS 121438 HAS SOUS 52354 HAS SOUPS 52147 WITH SCORE 52270.881
AT ITER 3668 NEW BEST:: SOT 146009 SOS 123845 HAS SOPS 121402 HAS SOUS 52354 HAS SOUPS 52147 WITH SCORE 52270.845
AT ITER 3673 NEW BEST:: SOT 146051 SOS 123887 HAS SOPS 121444 HAS SOUS 51981 HAS SOUPS 51774 WITH SCORE 51897.887
AT ITER 3703 NEW BEST:: SOT 146051 SOS 123887 HAS SOPS 121444 HAS SOUS 51944 HAS SOUPS 51737 WITH SCORE 51860.887
AT ITER 3745 NEW BEST:: SOT 146051 SOS 123887 HAS SOPS 121444 HAS SOUS 51922 HAS SOUPS 51715 WITH SCORE 51838.887
AT ITER 3940 NEW BEST:: SOT 149119 SOS 126955 HAS SOPS 124512 HAS SOUS 51758 HAS SOUPS 51551 WITH SCORE 51677.955
AT ITER 3963 NEW BEST:: SOT 152129 SOS 129750 HAS SOPS 127297 HAS SOUS 51271 HAS SOUPS 51064 WITH SCORE 51193.75
AT ITER 4070 NEW BEST:: SOT 152084 SOS 129705 HAS SOPS 127252 HAS SOUS 51178 HAS SOUPS 50971 WITH SCORE 51100.705
AT ITER 4176 NEW BEST:: SOT 152192 SOS 129705 HAS SOPS 127252 HAS SOUS 51034 HAS SOUPS 50827 WITH SCORE 50956.705
AT ITER 4184 NEW BEST:: SOT 152219 SOS 129732 HAS SOPS 127279 HAS SOUS 51000 HAS SOUPS 50793 WITH SCORE 50922.732
AT ITER 4199 NEW BEST:: SOT 152216 SOS 129729 HAS SOPS 127276 HAS SOUS 50997 HAS SOUPS 50790 WITH SCORE 50919.729
AT ITER 4214 NEW BEST:: SOT 152216 SOS 129729 HAS SOPS 127276 HAS SOUS 50996 HAS SOUPS 50789 WITH SCORE 50918.729
AT ITER 4240 NEW BEST:: SOT 155314 SOS 132827 HAS SOPS 130374 HAS SOUS 50922 HAS SOUPS 50715 WITH SCORE 50847.827
AT ITER 4244 NEW BEST:: SOT 155314 SOS 132827 HAS SOPS 130374 HAS SOUS 50354 HAS SOUPS 50147 WITH SCORE 50279.827
AT ITER 4297 NEW BEST:: SOT 156386 SOS 133899 HAS SOPS 131446 HAS SOUS 49663 HAS SOUPS 49456 WITH SCORE 49589.899
AT ITER 4311 NEW BEST:: SOT 156386 SOS 134000 HAS SOPS 131547 HAS SOUS 48956 HAS SOUPS 48749 WITH SCORE 48883.0
AT ITER 4365 NEW BEST:: SOT 156386 SOS 133972 HAS SOPS 131519 HAS SOUS 48928 HAS SOUPS 48721 WITH SCORE 48854.972
AT ITER 4392 NEW BEST:: SOT 156382 SOS 133968 HAS SOPS 131515 HAS SOUS 48924 HAS SOUPS 48717 WITH SCORE 48850.968
AT ITER 4415 NEW BEST:: SOT 156377 SOS 133963 HAS SOPS 131505 HAS SOUS 48914 HAS SOUPS 48707 WITH SCORE 48840.963
AT ITER 4471 NEW BEST:: SOT 156377 SOS 133963 HAS SOPS 131505 HAS SOUS 48913 HAS SOUPS 48706 WITH SCORE 48839.963
AT ITER 4529 NEW BEST:: SOT 156359 SOS 133835 HAS SOPS 131337 HAS SOUS 48824 HAS SOUPS 48617 WITH SCORE 48750.835
AT ITER 4530 NEW BEST:: SOT 156359 SOS 134114 HAS SOPS 131616 HAS SOUS 48772 HAS SOUPS 48565 WITH SCORE 48699.114
AT ITER 4539 NEW BEST:: SOT 156059 SOS 133814 HAS SOPS 131316 HAS SOUS 48712 HAS SOUPS 48505 WITH SCORE 48638.814
AT ITER 4640 NEW BEST:: SOT 156023 SOS 133778 HAS SOPS 131280 HAS SOUS 48676 HAS SOUPS 48469 WITH SCORE 48602.778
AT ITER 4658 NEW BEST:: SOT 156122 SOS 133877 HAS SOPS 131276 HAS SOUS 48731 HAS SOUPS 48465 WITH SCORE 48598.877
AT ITER 4695 NEW BEST:: SOT 156109 SOS 133750 HAS SOPS 131149 HAS SOUS 48603 HAS SOUPS 48337 WITH SCORE 48470.75
AT ITER 4832 NEW BEST:: SOT 156089 SOS 133730 HAS SOPS 131129 HAS SOUS 48583 HAS SOUPS 48317 WITH SCORE 48450.73
AT ITER 4864 NEW BEST:: SOT 156105 SOS 133746 HAS SOPS 131145 HAS SOUS 48549 HAS SOUPS 48283 WITH SCORE 48416.746
AT ITER 4872 NEW BEST:: SOT 155924 SOS 133565 HAS SOPS 130964 HAS SOUS 48474 HAS SOUPS 48208 WITH SCORE 48341.565
AT ITER 4994 NEW BEST:: SOT 155814 SOS 133455 HAS SOPS 130854 HAS SOUS 48474 HAS SOUPS 48208 WITH SCORE 48341.455
AT ITER 4999 NEW BEST:: SOT 151181 SOS 130985 HAS SOPS 127312 HAS SOUS 43687 HAS SOUPS 43388 WITH SCORE 43518.985
AT ITER 5028 NEW BEST:: SOT 151215 SOS 131019 HAS SOPS 127346 HAS SOUS 43611 HAS SOUPS 43312 WITH SCORE 43443.019
AT ITER 5074 NEW BEST:: SOT 151158 SOS 130962 HAS SOPS 127308 HAS SOUS 43554 HAS SOUPS 43255 WITH SCORE 43385.962
AT ITER 5081 NEW BEST:: SOT 151226 SOS 131030 HAS SOPS 127376 HAS SOUS 43517 HAS SOUPS 43218 WITH SCORE 43349.03
AT ITER 5108 NEW BEST:: SOT 151914 SOS 131718 HAS SOPS 128064 HAS SOUS 43459 HAS SOUPS 43160 WITH SCORE 43291.718
AT ITER 5140 NEW BEST:: SOT 152382 SOS 132186 HAS SOPS 128532 HAS SOUS 43420 HAS SOUPS 43121 WITH SCORE 43253.186
AT ITER 5167 NEW BEST:: SOT 152334 SOS 132158 HAS SOPS 128504 HAS SOUS 43278 HAS SOUPS 42979 WITH SCORE 43111.158
AT ITER 5168 NEW BEST:: SOT 152334 SOS 132130 HAS SOPS 128476 HAS SOUS 43278 HAS SOUPS 42979 WITH SCORE 43111.13
AT ITER 5227 NEW BEST:: SOT 152334 SOS 132130 HAS SOPS 128485 HAS SOUS 43269 HAS SOUPS 42970 WITH SCORE 43102.13
AT ITER 5251 NEW BEST:: SOT 152134 SOS 131930 HAS SOPS 128285 HAS SOUS 43069 HAS SOUPS 42770 WITH SCORE 42901.93
AT ITER 5330 NEW BEST:: SOT 152134 SOS 131927 HAS SOPS 128282 HAS SOUS 43063 HAS SOUPS 42764 WITH SCORE 42895.927
AT ITER 5448 NEW BEST:: SOT 152123 SOS 131916 HAS SOPS 128347 HAS SOUS 43057 HAS SOUPS 42758 WITH SCORE 42889.916
AT ITER 5491 NEW BEST:: SOT 152120 SOS 131913 HAS SOPS 128344 HAS SOUS 43051 HAS SOUPS 42752 WITH SCORE 42883.913
AT ITER 5495 NEW BEST:: SOT 152106 SOS 131899 HAS SOPS 128330 HAS SOUS 43034 HAS SOUPS 42735 WITH SCORE 42866.899
AT ITER 5510 NEW BEST:: SOT 152106 SOS 131899 HAS SOPS 128330 HAS SOUS 42930 HAS SOUPS 42631 WITH SCORE 42762.899
AT ITER 5531 NEW BEST:: SOT 151996 SOS 131789 HAS SOPS 128220 HAS SOUS 42894 HAS SOUPS 42595 WITH SCORE 42726.789
AT ITER 5627 NEW BEST:: SOT 151972 SOS 131765 HAS SOPS 128196 HAS SOUS 42888 HAS SOUPS 42589 WITH SCORE 42720.765
AT ITER 5637 NEW BEST:: SOT 151836 SOS 131629 HAS SOPS 127924 HAS SOUS 42888 HAS SOUPS 42589 WITH SCORE 42720.629
AT ITER 5669 NEW BEST:: SOT 152756 SOS 132548 HAS SOPS 128843 HAS SOUS 42881 HAS SOUPS 42582 WITH SCORE 42714.548
AT ITER 5715 NEW BEST:: SOT 152707 SOS 132499 HAS SOPS 128794 HAS SOUS 42775 HAS SOUPS 42476 WITH SCORE 42608.499
AT ITER 5719 NEW BEST:: SOT 153053 SOS 132845 HAS SOPS 129140 HAS SOUS 42632 HAS SOUPS 42333 WITH SCORE 42465.845
AT ITER 5900 NEW BEST:: SOT 152485 SOS 132277 HAS SOPS 128572 HAS SOUS 42064 HAS SOUPS 41765 WITH SCORE 41897.277
AT ITER 5945 NEW BEST:: SOT 152515 SOS 132307 HAS SOPS 128602 HAS SOUS 42053 HAS SOUPS 41754 WITH SCORE 41886.307
AT ITER 5959 NEW BEST:: SOT 152495 SOS 132287 HAS SOPS 128582 HAS SOUS 42036 HAS SOUPS 41737 WITH SCORE 41869.287
AT ITER 5999 NEW BEST:: SOT 152674 SOS 132468 HAS SOPS 128763 HAS SOUS 41996 HAS SOUPS 41697 WITH SCORE 41829.468
AT ITER 6044 NEW BEST:: SOT 152695 SOS 133086 HAS SOPS 129284 HAS SOUS 41968 HAS SOUPS 41669 WITH SCORE 41802.086
AT ITER 6217 NEW BEST:: SOT 152729 SOS 133120 HAS SOPS 129318 HAS SOUS 41934 HAS SOUPS 41635 WITH SCORE 41768.12
AT ITER 6220 NEW BEST:: SOT 152719 SOS 133110 HAS SOPS 129308 HAS SOUS 41924 HAS SOUPS 41625 WITH SCORE 41758.11
AT ITER 6249 NEW BEST:: SOT 152719 SOS 133110 HAS SOPS 129308 HAS SOUS 41915 HAS SOUPS 41616 WITH SCORE 41749.11
AT ITER 6388 NEW BEST:: SOT 152493 SOS 132884 HAS SOPS 129082 HAS SOUS 41915 HAS SOUPS 41616 WITH SCORE 41748.884
AT ITER 6508 NEW BEST:: SOT 152121 SOS 132512 HAS SOPS 128511 HAS SOUS 41766 HAS SOUPS 41467 WITH SCORE 41599.512
AT ITER 6849 NEW BEST:: SOT 152121 SOS 132356 HAS SOPS 128355 HAS SOUS 41740 HAS SOUPS 41441 WITH SCORE 41573.356
AT ITER 6874 NEW BEST:: SOT 152121 SOS 132356 HAS SOPS 128355 HAS SOUS 41721 HAS SOUPS 41422 WITH SCORE 41554.356
AT ITER 6923 NEW BEST:: SOT 152121 SOS 132356 HAS SOPS 128355 HAS SOUS 41718 HAS SOUPS 41419 WITH SCORE 41551.356
AT ITER 6961 NEW BEST:: SOT 152122 SOS 132357 HAS SOPS 128369 HAS SOUS 41707 HAS SOUPS 41408 WITH SCORE 41540.357
AT ITER 7068 NEW BEST:: SOT 151689 SOS 131924 HAS SOPS 128043 HAS SOUS 41694 HAS SOUPS 41395 WITH SCORE 41526.924
AT ITER 7079 NEW BEST:: SOT 154992 SOS 135227 HAS SOPS 131346 HAS SOUS 41397 HAS SOUPS 41098 WITH SCORE 41233.227
AT ITER 7090 NEW BEST:: SOT 154992 SOS 131267 HAS SOPS 127400 HAS SOUS 41317 HAS SOUPS 41032 WITH SCORE 41163.267
AT ITER 7144 NEW BEST:: SOT 155176 SOS 131451 HAS SOPS 127386 HAS SOUS 41110 HAS SOUPS 40825 WITH SCORE 40956.451
AT ITER 7273 NEW BEST:: SOT 155080 SOS 131355 HAS SOPS 127290 HAS SOUS 41014 HAS SOUPS 40729 WITH SCORE 40860.355
AT ITER 7283 NEW BEST:: SOT 154975 SOS 131250 HAS SOPS 127185 HAS SOUS 40836 HAS SOUPS 40551 WITH SCORE 40682.25
AT ITER 7286 NEW BEST:: SOT 154974 SOS 130644 HAS SOPS 126579 HAS SOUS 40834 HAS SOUPS 40549 WITH SCORE 40679.644
AT ITER 7519 NEW BEST:: SOT 154903 SOS 130485 HAS SOPS 126420 HAS SOUS 40707 HAS SOUPS 40422 WITH SCORE 40552.485
AT ITER 7577 NEW BEST:: SOT 154900 SOS 130482 HAS SOPS 126417 HAS SOUS 40704 HAS SOUPS 40419 WITH SCORE 40549.482
AT ITER 7581 NEW BEST:: SOT 154858 SOS 130440 HAS SOPS 126375 HAS SOUS 40620 HAS SOUPS 40335 WITH SCORE 40465.44
AT ITER 7694 NEW BEST:: SOT 154878 SOS 130460 HAS SOPS 126395 HAS SOUS 40616 HAS SOUPS 40331 WITH SCORE 40461.46
AT ITER 7832 NEW BEST:: SOT 154927 SOS 130509 HAS SOPS 126444 HAS SOUS 40612 HAS SOUPS 40327 WITH SCORE 40457.509
AT ITER 7850 NEW BEST:: SOT 154937 SOS 130519 HAS SOPS 126454 HAS SOUS 40559 HAS SOUPS 40274 WITH SCORE 40404.519
AT ITER 7872 NEW BEST:: SOT 154965 SOS 130547 HAS SOPS 126482 HAS SOUS 40553 HAS SOUPS 40268 WITH SCORE 40398.547
AT ITER 7949 NEW BEST:: SOT 155034 SOS 130366 HAS SOPS 126301 HAS SOUS 40546 HAS SOUPS 40261 WITH SCORE 40391.366
AT ITER 8165 NEW BEST:: SOT 155017 SOS 130349 HAS SOPS 126284 HAS SOUS 40538 HAS SOUPS 40253 WITH SCORE 40383.349
AT ITER 8229 NEW BEST:: SOT 155103 SOS 130435 HAS SOPS 126370 HAS SOUS 40516 HAS SOUPS 40231 WITH SCORE 40361.435
AT ITER 8304 NEW BEST:: SOT 155169 SOS 130450 HAS SOPS 126385 HAS SOUS 40205 HAS SOUPS 39920 WITH SCORE 40050.45
AT ITER 8533 NEW BEST:: SOT 155009 SOS 130319 HAS SOPS 126320 HAS SOUS 40187 HAS SOUPS 39902 WITH SCORE 40032.319
AT ITER 8655 NEW BEST:: SOT 154595 SOS 129905 HAS SOPS 125906 HAS SOUS 40057 HAS SOUPS 39772 WITH SCORE 39901.905
AT ITER 8751 NEW BEST:: SOT 154661 SOS 129777 HAS SOPS 125617 HAS SOUS 39891 HAS SOUPS 39606 WITH SCORE 39735.777
AT ITER 8769 NEW BEST:: SOT 155539 SOS 130655 HAS SOPS 126495 HAS SOUS 39847 HAS SOUPS 39562 WITH SCORE 39692.655
AT ITER 8939 NEW BEST:: SOT 155539 SOS 130610 HAS SOPS 126450 HAS SOUS 39413 HAS SOUPS 39128 WITH SCORE 39258.61
AT ITER 8955 NEW BEST:: SOT 155497 SOS 130568 HAS SOPS 126408 HAS SOUS 39329 HAS SOUPS 39044 WITH SCORE 39174.568
AT ITER 8992 NEW BEST:: SOT 157701 SOS 132758 HAS SOPS 128516 HAS SOUS 39293 HAS SOUPS 39008 WITH SCORE 39140.758
AT ITER 9016 NEW BEST:: SOT 157701 SOS 132750 HAS SOPS 128508 HAS SOUS 39293 HAS SOUPS 39008 WITH SCORE 39140.75
AT ITER 9024 NEW BEST:: SOT 157788 SOS 132579 HAS SOPS 128337 HAS SOUS 38619 HAS SOUPS 38334 WITH SCORE 38466.579
AT ITER 9043 NEW BEST:: SOT 157788 SOS 131220 HAS SOPS 126978 HAS SOUS 38610 HAS SOUPS 38325 WITH SCORE 38456.22
AT ITER 9158 NEW BEST:: SOT 157814 SOS 131246 HAS SOPS 127004 HAS SOUS 38579 HAS SOUPS 38294 WITH SCORE 38425.246
AT ITER 9178 NEW BEST:: SOT 157888 SOS 131209 HAS SOPS 126967 HAS SOUS 38210 HAS SOUPS 37925 WITH SCORE 38056.209
AT ITER 9280 NEW BEST:: SOT 157889 SOS 131210 HAS SOPS 126968 HAS SOUS 38203 HAS SOUPS 37918 WITH SCORE 38049.21
AT ITER 9405 NEW BEST:: SOT 157889 SOS 131210 HAS SOPS 126968 HAS SOUS 38201 HAS SOUPS 37916 WITH SCORE 38047.21
AT ITER 9483 NEW BEST:: SOT 157882 SOS 131203 HAS SOPS 126961 HAS SOUS 38143 HAS SOUPS 37858 WITH SCORE 37989.203
AT ITER 9567 NEW BEST:: SOT 157941 SOS 131262 HAS SOPS 127020 HAS SOUS 38135 HAS SOUPS 37850 WITH SCORE 37981.262
AT ITER 9725 NEW BEST:: SOT 157941 SOS 131262 HAS SOPS 127020 HAS SOUS 38063 HAS SOUPS 37778 WITH SCORE 37909.262
AT ITER 9744 NEW BEST:: SOT 157941 SOS 133748 HAS SOPS 129500 HAS SOUS 38061 HAS SOUPS 37770 WITH SCORE 37903.748
AT ITER 9796 NEW BEST:: SOT 157994 SOS 133801 HAS SOPS 129553 HAS SOUS 38010 HAS SOUPS 37719 WITH SCORE 37852.801
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7655052 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125948 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

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

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