Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.6K Feb 25 14:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 14:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 25 14:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 14:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 25 14:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 716K 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 1679423351883

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Echo-PT-d03r05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 18:29:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 18:29:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 18:29:13] [INFO ] Load time of PNML (sax parser for PT used): 123 ms
[2023-03-21 18:29:13] [INFO ] Transformed 1445 places.
[2023-03-21 18:29:13] [INFO ] Transformed 1190 transitions.
[2023-03-21 18:29:13] [INFO ] Found NUPN structural information;
[2023-03-21 18:29:13] [INFO ] Parsed PT model containing 1445 places and 1190 transitions and 8260 arcs in 196 ms.
[2023-03-21 18:29:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1445 places, 1190 transitions and 8260 arcs took 22 ms.
Total runtime 245 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d03r05
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: 1445 places, 1190 transitions, 8260 arcs.
AT ITER 0 NEW BEST:: SOT 1083013 SOS 420726 HAS SOPS 420726 HAS SOUS 330719 HAS SOUPS 330719 WITH SCORE 331139.726
AT ITER 19 NEW BEST:: SOT 1083013 SOS 420726 HAS SOPS 420726 HAS SOUS 330715 HAS SOUPS 330715 WITH SCORE 331135.726
AT ITER 26 NEW BEST:: SOT 1083013 SOS 420726 HAS SOPS 420726 HAS SOUS 330707 HAS SOUPS 330707 WITH SCORE 331127.726
AT ITER 42 NEW BEST:: SOT 1083013 SOS 420726 HAS SOPS 420726 HAS SOUS 330695 HAS SOUPS 330695 WITH SCORE 331115.726
AT ITER 285 NEW BEST:: SOT 1082733 SOS 420549 HAS SOPS 420549 HAS SOUS 330536 HAS SOUPS 330536 WITH SCORE 330956.549
AT ITER 310 NEW BEST:: SOT 1082658 SOS 420549 HAS SOPS 420549 HAS SOUS 330470 HAS SOUPS 330470 WITH SCORE 330890.549
AT ITER 314 NEW BEST:: SOT 1082654 SOS 420546 HAS SOPS 420546 HAS SOUS 330456 HAS SOUPS 330456 WITH SCORE 330876.546
AT ITER 358 NEW BEST:: SOT 1082654 SOS 420546 HAS SOPS 420546 HAS SOUS 330454 HAS SOUPS 330454 WITH SCORE 330874.546
AT ITER 388 NEW BEST:: SOT 1082654 SOS 420658 HAS SOPS 420658 HAS SOUS 330453 HAS SOUPS 330453 WITH SCORE 330873.658
AT ITER 391 NEW BEST:: SOT 1082343 SOS 420953 HAS SOPS 420953 HAS SOUS 330313 HAS SOUPS 330313 WITH SCORE 330733.953
AT ITER 437 NEW BEST:: SOT 1082103 SOS 421301 HAS SOPS 421301 HAS SOUS 330248 HAS SOUPS 330248 WITH SCORE 330669.301
AT ITER 486 NEW BEST:: SOT 1081898 SOS 421258 HAS SOPS 421258 HAS SOUS 330207 HAS SOUPS 330207 WITH SCORE 330628.258
AT ITER 510 NEW BEST:: SOT 1081898 SOS 421258 HAS SOPS 421258 HAS SOUS 330141 HAS SOUPS 330141 WITH SCORE 330562.258
AT ITER 547 NEW BEST:: SOT 1081809 SOS 421331 HAS SOPS 421331 HAS SOUS 330083 HAS SOUPS 330083 WITH SCORE 330504.331
AT ITER 594 NEW BEST:: SOT 1081809 SOS 421331 HAS SOPS 421331 HAS SOUS 330079 HAS SOUPS 330079 WITH SCORE 330500.331
AT ITER 601 NEW BEST:: SOT 1081607 SOS 421902 HAS SOPS 421902 HAS SOUS 330046 HAS SOUPS 330046 WITH SCORE 330467.902
AT ITER 699 NEW BEST:: SOT 1081607 SOS 421902 HAS SOPS 421902 HAS SOUS 330034 HAS SOUPS 330034 WITH SCORE 330455.902
AT ITER 708 NEW BEST:: SOT 1081607 SOS 421902 HAS SOPS 421902 HAS SOUS 330032 HAS SOUPS 330032 WITH SCORE 330453.902
AT ITER 752 NEW BEST:: SOT 1081410 SOS 422246 HAS SOPS 422246 HAS SOUS 329825 HAS SOUPS 329825 WITH SCORE 330247.246
AT ITER 769 NEW BEST:: SOT 1081410 SOS 422246 HAS SOPS 422246 HAS SOUS 329821 HAS SOUPS 329821 WITH SCORE 330243.246
AT ITER 782 NEW BEST:: SOT 1081111 SOS 422557 HAS SOPS 422557 HAS SOUS 329571 HAS SOUPS 329571 WITH SCORE 329993.557
AT ITER 795 NEW BEST:: SOT 1080943 SOS 422550 HAS SOPS 422550 HAS SOUS 329443 HAS SOUPS 329443 WITH SCORE 329865.55
AT ITER 803 NEW BEST:: SOT 1080733 SOS 422632 HAS SOPS 422632 HAS SOUS 329257 HAS SOUPS 329257 WITH SCORE 329679.632
AT ITER 844 NEW BEST:: SOT 1080285 SOS 422628 HAS SOPS 422628 HAS SOUS 328970 HAS SOUPS 328970 WITH SCORE 329392.628
AT ITER 845 NEW BEST:: SOT 1080285 SOS 422619 HAS SOPS 422619 HAS SOUS 328855 HAS SOUPS 328855 WITH SCORE 329277.619
AT ITER 846 NEW BEST:: SOT 1080285 SOS 422619 HAS SOPS 422619 HAS SOUS 328825 HAS SOUPS 328825 WITH SCORE 329247.619
AT ITER 887 NEW BEST:: SOT 1079770 SOS 422494 HAS SOPS 422494 HAS SOUS 328478 HAS SOUPS 328478 WITH SCORE 328900.494
AT ITER 925 NEW BEST:: SOT 1079564 SOS 422500 HAS SOPS 422500 HAS SOUS 328304 HAS SOUPS 328304 WITH SCORE 328726.5
AT ITER 928 NEW BEST:: SOT 1079342 SOS 422547 HAS SOPS 422547 HAS SOUS 328140 HAS SOUPS 328140 WITH SCORE 328562.547
AT ITER 983 NEW BEST:: SOT 1079225 SOS 422477 HAS SOPS 422477 HAS SOUS 328070 HAS SOUPS 328070 WITH SCORE 328492.477
AT ITER 1071 NEW BEST:: SOT 1079095 SOS 422426 HAS SOPS 422426 HAS SOUS 327994 HAS SOUPS 327994 WITH SCORE 328416.426
AT ITER 1097 NEW BEST:: SOT 1079095 SOS 422426 HAS SOPS 422426 HAS SOUS 327982 HAS SOUPS 327982 WITH SCORE 328404.426
AT ITER 1129 NEW BEST:: SOT 1079095 SOS 422856 HAS SOPS 422856 HAS SOUS 327928 HAS SOUPS 327928 WITH SCORE 328350.856
AT ITER 1152 NEW BEST:: SOT 1079095 SOS 422847 HAS SOPS 422847 HAS SOUS 327925 HAS SOUPS 327925 WITH SCORE 328347.847
AT ITER 1175 NEW BEST:: SOT 1079095 SOS 422847 HAS SOPS 422847 HAS SOUS 327871 HAS SOUPS 327871 WITH SCORE 328293.847
AT ITER 1180 NEW BEST:: SOT 1079088 SOS 422680 HAS SOPS 422680 HAS SOUS 327779 HAS SOUPS 327779 WITH SCORE 328201.68
AT ITER 1318 NEW BEST:: SOT 1079050 SOS 422608 HAS SOPS 422608 HAS SOUS 327777 HAS SOUPS 327777 WITH SCORE 328199.608
AT ITER 1327 NEW BEST:: SOT 1079050 SOS 422608 HAS SOPS 422608 HAS SOUS 327773 HAS SOUPS 327773 WITH SCORE 328195.608
AT ITER 1437 NEW BEST:: SOT 1078849 SOS 422964 HAS SOPS 422964 HAS SOUS 327684 HAS SOUPS 327684 WITH SCORE 328106.964
AT ITER 1495 NEW BEST:: SOT 1078751 SOS 422991 HAS SOPS 422991 HAS SOUS 327611 HAS SOUPS 327611 WITH SCORE 328033.991
AT ITER 1582 NEW BEST:: SOT 1078407 SOS 423375 HAS SOPS 423375 HAS SOUS 327591 HAS SOUPS 327591 WITH SCORE 328014.375
AT ITER 1586 NEW BEST:: SOT 1078241 SOS 423541 HAS SOPS 423541 HAS SOUS 327513 HAS SOUPS 327513 WITH SCORE 327936.541
AT ITER 1593 NEW BEST:: SOT 1078241 SOS 423541 HAS SOPS 423541 HAS SOUS 327507 HAS SOUPS 327507 WITH SCORE 327930.541
AT ITER 1672 NEW BEST:: SOT 1078056 SOS 423852 HAS SOPS 423852 HAS SOUS 327352 HAS SOUPS 327352 WITH SCORE 327775.852
AT ITER 1764 NEW BEST:: SOT 1077970 SOS 423734 HAS SOPS 423734 HAS SOUS 327314 HAS SOUPS 327314 WITH SCORE 327737.734
AT ITER 1771 NEW BEST:: SOT 1077970 SOS 423494 HAS SOPS 423494 HAS SOUS 327266 HAS SOUPS 327266 WITH SCORE 327689.494
AT ITER 1815 NEW BEST:: SOT 1077970 SOS 423494 HAS SOPS 423494 HAS SOUS 327254 HAS SOUPS 327254 WITH SCORE 327677.494
AT ITER 1861 NEW BEST:: SOT 1077970 SOS 423494 HAS SOPS 423494 HAS SOUS 327192 HAS SOUPS 327192 WITH SCORE 327615.494
AT ITER 1907 NEW BEST:: SOT 1077970 SOS 423494 HAS SOPS 423494 HAS SOUS 327190 HAS SOUPS 327190 WITH SCORE 327613.494
AT ITER 1926 NEW BEST:: SOT 1077928 SOS 423482 HAS SOPS 423482 HAS SOUS 327166 HAS SOUPS 327166 WITH SCORE 327589.482
AT ITER 2106 NEW BEST:: SOT 1077914 SOS 423443 HAS SOPS 423443 HAS SOUS 327148 HAS SOUPS 327148 WITH SCORE 327571.443
AT ITER 2168 NEW BEST:: SOT 1077860 SOS 423698 HAS SOPS 423698 HAS SOUS 327126 HAS SOUPS 327126 WITH SCORE 327549.698
AT ITER 2192 NEW BEST:: SOT 1077860 SOS 423698 HAS SOPS 423698 HAS SOUS 327096 HAS SOUPS 327096 WITH SCORE 327519.698
AT ITER 2224 NEW BEST:: SOT 1077860 SOS 423698 HAS SOPS 423698 HAS SOUS 327092 HAS SOUPS 327092 WITH SCORE 327515.698
AT ITER 2248 NEW BEST:: SOT 1077854 SOS 423692 HAS SOPS 423692 HAS SOUS 327086 HAS SOUPS 327086 WITH SCORE 327509.692
AT ITER 2276 NEW BEST:: SOT 1077799 SOS 424046 HAS SOPS 424046 HAS SOUS 326937 HAS SOUPS 326937 WITH SCORE 327361.046
AT ITER 2282 NEW BEST:: SOT 1077799 SOS 424046 HAS SOPS 424046 HAS SOUS 326931 HAS SOUPS 326931 WITH SCORE 327355.046
AT ITER 2328 NEW BEST:: SOT 1077799 SOS 424046 HAS SOPS 424046 HAS SOUS 326893 HAS SOUPS 326893 WITH SCORE 327317.046
AT ITER 2334 NEW BEST:: SOT 1077547 SOS 424739 HAS SOPS 424739 HAS SOUS 326830 HAS SOUPS 326830 WITH SCORE 327254.739
AT ITER 2348 NEW BEST:: SOT 1077407 SOS 424767 HAS SOPS 424767 HAS SOUS 326708 HAS SOUPS 326708 WITH SCORE 327132.767
AT ITER 2419 NEW BEST:: SOT 1077315 SOS 424901 HAS SOPS 424901 HAS SOUS 326661 HAS SOUPS 326661 WITH SCORE 327085.901
AT ITER 2471 NEW BEST:: SOT 1077315 SOS 424899 HAS SOPS 424899 HAS SOUS 326661 HAS SOUPS 326661 WITH SCORE 327085.899
AT ITER 2511 NEW BEST:: SOT 1077315 SOS 424899 HAS SOPS 424899 HAS SOUS 326657 HAS SOUPS 326657 WITH SCORE 327081.899
AT ITER 2589 NEW BEST:: SOT 1077313 SOS 424897 HAS SOPS 424897 HAS SOUS 326655 HAS SOUPS 326655 WITH SCORE 327079.897
AT ITER 2614 NEW BEST:: SOT 1077261 SOS 424947 HAS SOPS 424947 HAS SOUS 326632 HAS SOUPS 326632 WITH SCORE 327056.947
AT ITER 2655 NEW BEST:: SOT 1077261 SOS 424947 HAS SOPS 424947 HAS SOUS 326628 HAS SOUPS 326628 WITH SCORE 327052.947
AT ITER 2690 NEW BEST:: SOT 1077261 SOS 424947 HAS SOPS 424947 HAS SOUS 326624 HAS SOUPS 326624 WITH SCORE 327048.947
AT ITER 2720 NEW BEST:: SOT 1077057 SOS 425333 HAS SOPS 425333 HAS SOUS 326548 HAS SOUPS 326548 WITH SCORE 326973.333
AT ITER 2748 NEW BEST:: SOT 1077057 SOS 425333 HAS SOPS 425333 HAS SOUS 326546 HAS SOUPS 326546 WITH SCORE 326971.333
AT ITER 2755 NEW BEST:: SOT 1077057 SOS 425495 HAS SOPS 425495 HAS SOUS 326519 HAS SOUPS 326519 WITH SCORE 326944.495
AT ITER 2774 NEW BEST:: SOT 1077057 SOS 425495 HAS SOPS 425495 HAS SOUS 326511 HAS SOUPS 326511 WITH SCORE 326936.495
AT ITER 2826 NEW BEST:: SOT 1076925 SOS 425595 HAS SOPS 425595 HAS SOUS 326492 HAS SOUPS 326492 WITH SCORE 326917.595
AT ITER 2844 NEW BEST:: SOT 1076878 SOS 425710 HAS SOPS 425710 HAS SOUS 326418 HAS SOUPS 326418 WITH SCORE 326843.71
AT ITER 3075 NEW BEST:: SOT 1076878 SOS 425710 HAS SOPS 425710 HAS SOUS 326412 HAS SOUPS 326412 WITH SCORE 326837.71
AT ITER 3086 NEW BEST:: SOT 1076878 SOS 425710 HAS SOPS 425710 HAS SOUS 326406 HAS SOUPS 326406 WITH SCORE 326831.71
AT ITER 3128 NEW BEST:: SOT 1076878 SOS 425710 HAS SOPS 425710 HAS SOUS 326380 HAS SOUPS 326380 WITH SCORE 326805.71
AT ITER 3158 NEW BEST:: SOT 1076812 SOS 425909 HAS SOPS 425909 HAS SOUS 326354 HAS SOUPS 326354 WITH SCORE 326779.909
AT ITER 3258 NEW BEST:: SOT 1076799 SOS 426067 HAS SOPS 426067 HAS SOUS 326306 HAS SOUPS 326306 WITH SCORE 326732.067
AT ITER 3276 NEW BEST:: SOT 1076799 SOS 426067 HAS SOPS 426067 HAS SOUS 326302 HAS SOUPS 326302 WITH SCORE 326728.067
AT ITER 3312 NEW BEST:: SOT 1076789 SOS 426227 HAS SOPS 426227 HAS SOUS 326258 HAS SOUPS 326258 WITH SCORE 326684.227
AT ITER 3361 NEW BEST:: SOT 1076785 SOS 426596 HAS SOPS 426596 HAS SOUS 326195 HAS SOUPS 326195 WITH SCORE 326621.596
AT ITER 3464 NEW BEST:: SOT 1076785 SOS 426441 HAS SOPS 426441 HAS SOUS 326170 HAS SOUPS 326170 WITH SCORE 326596.441
AT ITER 3512 NEW BEST:: SOT 1076766 SOS 426713 HAS SOPS 426713 HAS SOUS 326086 HAS SOUPS 326086 WITH SCORE 326512.713
AT ITER 3536 NEW BEST:: SOT 1076766 SOS 426713 HAS SOPS 426713 HAS SOUS 326058 HAS SOUPS 326058 WITH SCORE 326484.713
AT ITER 3605 NEW BEST:: SOT 1076706 SOS 426694 HAS SOPS 426694 HAS SOUS 326035 HAS SOUPS 326035 WITH SCORE 326461.694
AT ITER 3652 NEW BEST:: SOT 1076706 SOS 426694 HAS SOPS 426694 HAS SOUS 326029 HAS SOUPS 326029 WITH SCORE 326455.694
AT ITER 3687 NEW BEST:: SOT 1076706 SOS 426694 HAS SOPS 426694 HAS SOUS 326021 HAS SOUPS 326021 WITH SCORE 326447.694
AT ITER 3739 NEW BEST:: SOT 1076706 SOS 426694 HAS SOPS 426694 HAS SOUS 326019 HAS SOUPS 326019 WITH SCORE 326445.694
AT ITER 3872 NEW BEST:: SOT 1076706 SOS 426694 HAS SOPS 426694 HAS SOUS 325993 HAS SOUPS 325993 WITH SCORE 326419.694
AT ITER 4008 NEW BEST:: SOT 1076706 SOS 426694 HAS SOPS 426694 HAS SOUS 325987 HAS SOUPS 325987 WITH SCORE 326413.694
AT ITER 4043 NEW BEST:: SOT 1076706 SOS 426694 HAS SOPS 426694 HAS SOUS 325975 HAS SOUPS 325975 WITH SCORE 326401.694
AT ITER 4081 NEW BEST:: SOT 1076651 SOS 426801 HAS SOPS 426801 HAS SOUS 325947 HAS SOUPS 325947 WITH SCORE 326373.801
AT ITER 4108 NEW BEST:: SOT 1076651 SOS 426789 HAS SOPS 426789 HAS SOUS 325943 HAS SOUPS 325943 WITH SCORE 326369.789
AT ITER 4165 NEW BEST:: SOT 1076651 SOS 426978 HAS SOPS 426978 HAS SOUS 325926 HAS SOUPS 325926 WITH SCORE 326352.978
AT ITER 4220 NEW BEST:: SOT 1076508 SOS 426757 HAS SOPS 426757 HAS SOUS 325849 HAS SOUPS 325849 WITH SCORE 326275.757
AT ITER 4240 NEW BEST:: SOT 1076508 SOS 426757 HAS SOPS 426757 HAS SOUS 325841 HAS SOUPS 325841 WITH SCORE 326267.757
AT ITER 4322 NEW BEST:: SOT 1076508 SOS 426757 HAS SOPS 426757 HAS SOUS 325811 HAS SOUPS 325811 WITH SCORE 326237.757
AT ITER 4458 NEW BEST:: SOT 1076318 SOS 426635 HAS SOPS 426635 HAS SOUS 325737 HAS SOUPS 325737 WITH SCORE 326163.635
AT ITER 4464 NEW BEST:: SOT 1076318 SOS 426653 HAS SOPS 426653 HAS SOUS 325673 HAS SOUPS 325673 WITH SCORE 326099.653
AT ITER 4525 NEW BEST:: SOT 1076130 SOS 426465 HAS SOPS 426465 HAS SOUS 325485 HAS SOUPS 325485 WITH SCORE 325911.465
AT ITER 4531 NEW BEST:: SOT 1076128 SOS 426389 HAS SOPS 426389 HAS SOUS 325463 HAS SOUPS 325463 WITH SCORE 325889.389
AT ITER 4545 NEW BEST:: SOT 1076058 SOS 426644 HAS SOPS 426644 HAS SOUS 325438 HAS SOUPS 325438 WITH SCORE 325864.644
AT ITER 4557 NEW BEST:: SOT 1075987 SOS 426621 HAS SOPS 426621 HAS SOUS 325371 HAS SOUPS 325371 WITH SCORE 325797.621
AT ITER 4606 NEW BEST:: SOT 1075987 SOS 426621 HAS SOPS 426621 HAS SOUS 325367 HAS SOUPS 325367 WITH SCORE 325793.621
AT ITER 4615 NEW BEST:: SOT 1075715 SOS 426421 HAS SOPS 426421 HAS SOUS 325207 HAS SOUPS 325207 WITH SCORE 325633.421
AT ITER 4632 NEW BEST:: SOT 1075675 SOS 426659 HAS SOPS 426659 HAS SOUS 325105 HAS SOUPS 325105 WITH SCORE 325531.659
AT ITER 4633 NEW BEST:: SOT 1075675 SOS 426659 HAS SOPS 426659 HAS SOUS 325083 HAS SOUPS 325083 WITH SCORE 325509.659
AT ITER 4637 NEW BEST:: SOT 1075675 SOS 426659 HAS SOPS 426659 HAS SOUS 325077 HAS SOUPS 325077 WITH SCORE 325503.659
AT ITER 4664 NEW BEST:: SOT 1075675 SOS 426659 HAS SOPS 426659 HAS SOUS 325075 HAS SOUPS 325075 WITH SCORE 325501.659
AT ITER 4694 NEW BEST:: SOT 1075608 SOS 427036 HAS SOPS 427036 HAS SOUS 325044 HAS SOUPS 325044 WITH SCORE 325471.036
AT ITER 4804 NEW BEST:: SOT 1075535 SOS 427077 HAS SOPS 427077 HAS SOUS 325019 HAS SOUPS 325019 WITH SCORE 325446.077
AT ITER 4926 NEW BEST:: SOT 1075535 SOS 427077 HAS SOPS 427077 HAS SOUS 325015 HAS SOUPS 325015 WITH SCORE 325442.077
AT ITER 4949 NEW BEST:: SOT 1075302 SOS 427698 HAS SOPS 427698 HAS SOUS 324972 HAS SOUPS 324972 WITH SCORE 325399.698
AT ITER 4997 NEW BEST:: SOT 1075302 SOS 427698 HAS SOPS 427698 HAS SOUS 324968 HAS SOUPS 324968 WITH SCORE 325395.698
AT ITER 5008 NEW BEST:: SOT 1075302 SOS 427698 HAS SOPS 427698 HAS SOUS 324950 HAS SOUPS 324950 WITH SCORE 325377.698
AT ITER 5034 NEW BEST:: SOT 1075302 SOS 427703 HAS SOPS 427703 HAS SOUS 324947 HAS SOUPS 324947 WITH SCORE 325374.703
AT ITER 5111 NEW BEST:: SOT 1075068 SOS 428077 HAS SOPS 428077 HAS SOUS 324943 HAS SOUPS 324943 WITH SCORE 325371.077
AT ITER 5140 NEW BEST:: SOT 1075009 SOS 428018 HAS SOPS 428018 HAS SOUS 324884 HAS SOUPS 324884 WITH SCORE 325312.018
AT ITER 5142 NEW BEST:: SOT 1074849 SOS 428523 HAS SOPS 428523 HAS SOUS 324866 HAS SOUPS 324866 WITH SCORE 325294.523
AT ITER 5147 NEW BEST:: SOT 1074849 SOS 428523 HAS SOPS 428523 HAS SOUS 324858 HAS SOUPS 324858 WITH SCORE 325286.523
AT ITER 5160 NEW BEST:: SOT 1074849 SOS 428523 HAS SOPS 428523 HAS SOUS 324854 HAS SOUPS 324854 WITH SCORE 325282.523
AT ITER 5174 NEW BEST:: SOT 1074849 SOS 428523 HAS SOPS 428523 HAS SOUS 324826 HAS SOUPS 324826 WITH SCORE 325254.523
AT ITER 5194 NEW BEST:: SOT 1074822 SOS 428546 HAS SOPS 428546 HAS SOUS 324809 HAS SOUPS 324809 WITH SCORE 325237.546
AT ITER 5311 NEW BEST:: SOT 1074822 SOS 428544 HAS SOPS 428544 HAS SOUS 324808 HAS SOUPS 324808 WITH SCORE 325236.544
AT ITER 5330 NEW BEST:: SOT 1074822 SOS 428544 HAS SOPS 428544 HAS SOUS 324806 HAS SOUPS 324806 WITH SCORE 325234.544
AT ITER 5367 NEW BEST:: SOT 1074822 SOS 428544 HAS SOPS 428544 HAS SOUS 324804 HAS SOUPS 324804 WITH SCORE 325232.544
AT ITER 5369 NEW BEST:: SOT 1074822 SOS 428544 HAS SOPS 428544 HAS SOUS 324800 HAS SOUPS 324800 WITH SCORE 325228.544
AT ITER 5392 NEW BEST:: SOT 1074822 SOS 428544 HAS SOPS 428544 HAS SOUS 324794 HAS SOUPS 324794 WITH SCORE 325222.544
AT ITER 5454 NEW BEST:: SOT 1074822 SOS 428544 HAS SOPS 428544 HAS SOUS 324738 HAS SOUPS 324738 WITH SCORE 325166.544
AT ITER 5577 NEW BEST:: SOT 1074737 SOS 428542 HAS SOPS 428542 HAS SOUS 324670 HAS SOUPS 324670 WITH SCORE 325098.542
AT ITER 5664 NEW BEST:: SOT 1074737 SOS 428542 HAS SOPS 428542 HAS SOUS 324662 HAS SOUPS 324662 WITH SCORE 325090.542
AT ITER 5734 NEW BEST:: SOT 1074658 SOS 428659 HAS SOPS 428659 HAS SOUS 324627 HAS SOUPS 324627 WITH SCORE 325055.659
AT ITER 5742 NEW BEST:: SOT 1074658 SOS 428659 HAS SOPS 428659 HAS SOUS 324621 HAS SOUPS 324621 WITH SCORE 325049.659
AT ITER 5898 NEW BEST:: SOT 1074152 SOS 429257 HAS SOPS 429257 HAS SOUS 324530 HAS SOUPS 324530 WITH SCORE 324959.257
AT ITER 5936 NEW BEST:: SOT 1074152 SOS 429257 HAS SOPS 429257 HAS SOUS 324496 HAS SOUPS 324496 WITH SCORE 324925.257
AT ITER 6123 NEW BEST:: SOT 1074152 SOS 429597 HAS SOPS 429597 HAS SOUS 324460 HAS SOUPS 324460 WITH SCORE 324889.597
AT ITER 6132 NEW BEST:: SOT 1074105 SOS 429729 HAS SOPS 429729 HAS SOUS 324339 HAS SOUPS 324339 WITH SCORE 324768.729
AT ITER 6141 NEW BEST:: SOT 1074105 SOS 429705 HAS SOPS 429705 HAS SOUS 324337 HAS SOUPS 324337 WITH SCORE 324766.705
AT ITER 6368 NEW BEST:: SOT 1074105 SOS 429705 HAS SOPS 429705 HAS SOUS 324295 HAS SOUPS 324295 WITH SCORE 324724.705
AT ITER 6466 NEW BEST:: SOT 1073960 SOS 429560 HAS SOPS 429560 HAS SOUS 324208 HAS SOUPS 324208 WITH SCORE 324637.56
AT ITER 6471 NEW BEST:: SOT 1073982 SOS 429596 HAS SOPS 429596 HAS SOUS 324158 HAS SOUPS 324158 WITH SCORE 324587.596
AT ITER 6607 NEW BEST:: SOT 1073982 SOS 429669 HAS SOPS 429669 HAS SOUS 324117 HAS SOUPS 324117 WITH SCORE 324546.669
AT ITER 6679 NEW BEST:: SOT 1073982 SOS 429669 HAS SOPS 429669 HAS SOUS 324113 HAS SOUPS 324113 WITH SCORE 324542.669
AT ITER 6685 NEW BEST:: SOT 1073932 SOS 429510 HAS SOPS 429510 HAS SOUS 324040 HAS SOUPS 324040 WITH SCORE 324469.51
AT ITER 6707 NEW BEST:: SOT 1073932 SOS 429178 HAS SOPS 429178 HAS SOUS 323979 HAS SOUPS 323979 WITH SCORE 324408.178
AT ITER 6716 NEW BEST:: SOT 1073932 SOS 429178 HAS SOPS 429178 HAS SOUS 323975 HAS SOUPS 323975 WITH SCORE 324404.178
AT ITER 6755 NEW BEST:: SOT 1073632 SOS 429468 HAS SOPS 429468 HAS SOUS 323770 HAS SOUPS 323770 WITH SCORE 324199.468
AT ITER 6816 NEW BEST:: SOT 1073391 SOS 429682 HAS SOPS 429682 HAS SOUS 323649 HAS SOUPS 323649 WITH SCORE 324078.682
AT ITER 6830 NEW BEST:: SOT 1073361 SOS 429652 HAS SOPS 429652 HAS SOUS 323637 HAS SOUPS 323637 WITH SCORE 324066.652
AT ITER 6853 NEW BEST:: SOT 1073326 SOS 429617 HAS SOPS 429617 HAS SOUS 323602 HAS SOUPS 323602 WITH SCORE 324031.617
AT ITER 6914 NEW BEST:: SOT 1073326 SOS 429617 HAS SOPS 429617 HAS SOUS 323598 HAS SOUPS 323598 WITH SCORE 324027.617
AT ITER 6974 NEW BEST:: SOT 1073326 SOS 429617 HAS SOPS 429617 HAS SOUS 323596 HAS SOUPS 323596 WITH SCORE 324025.617
AT ITER 7016 NEW BEST:: SOT 1073186 SOS 430311 HAS SOPS 430311 HAS SOUS 323593 HAS SOUPS 323593 WITH SCORE 324023.311
AT ITER 7104 NEW BEST:: SOT 1073186 SOS 430659 HAS SOPS 430659 HAS SOUS 323519 HAS SOUPS 323519 WITH SCORE 323949.659
AT ITER 7260 NEW BEST:: SOT 1073186 SOS 430953 HAS SOPS 430953 HAS SOUS 323459 HAS SOUPS 323459 WITH SCORE 323889.953
AT ITER 7266 NEW BEST:: SOT 1073053 SOS 430995 HAS SOPS 430995 HAS SOUS 323361 HAS SOUPS 323361 WITH SCORE 323791.995
AT ITER 7349 NEW BEST:: SOT 1073053 SOS 431134 HAS SOPS 431134 HAS SOUS 323280 HAS SOUPS 323280 WITH SCORE 323711.134
AT ITER 7379 NEW BEST:: SOT 1072929 SOS 431130 HAS SOPS 431130 HAS SOUS 323184 HAS SOUPS 323184 WITH SCORE 323615.13
AT ITER 7461 NEW BEST:: SOT 1072929 SOS 431130 HAS SOPS 431130 HAS SOUS 323182 HAS SOUPS 323182 WITH SCORE 323613.13
AT ITER 7481 NEW BEST:: SOT 1072929 SOS 431130 HAS SOPS 431130 HAS SOUS 323154 HAS SOUPS 323154 WITH SCORE 323585.13
AT ITER 7483 NEW BEST:: SOT 1072929 SOS 431358 HAS SOPS 431358 HAS SOUS 323132 HAS SOUPS 323132 WITH SCORE 323563.358
AT ITER 7501 NEW BEST:: SOT 1072929 SOS 431358 HAS SOPS 431358 HAS SOUS 323106 HAS SOUPS 323106 WITH SCORE 323537.358
AT ITER 7569 NEW BEST:: SOT 1072929 SOS 431358 HAS SOPS 431358 HAS SOUS 323102 HAS SOUPS 323102 WITH SCORE 323533.358
AT ITER 7574 NEW BEST:: SOT 1072929 SOS 431358 HAS SOPS 431358 HAS SOUS 323098 HAS SOUPS 323098 WITH SCORE 323529.358
AT ITER 7582 NEW BEST:: SOT 1072893 SOS 431322 HAS SOPS 431322 HAS SOUS 323062 HAS SOUPS 323062 WITH SCORE 323493.322
AT ITER 7663 NEW BEST:: SOT 1072893 SOS 431492 HAS SOPS 431492 HAS SOUS 322955 HAS SOUPS 322955 WITH SCORE 323386.492
AT ITER 7665 NEW BEST:: SOT 1072502 SOS 430896 HAS SOPS 430896 HAS SOUS 322521 HAS SOUPS 322521 WITH SCORE 322951.896
AT ITER 7709 NEW BEST:: SOT 1072225 SOS 431122 HAS SOPS 431122 HAS SOUS 322330 HAS SOUPS 322330 WITH SCORE 322761.122
AT ITER 7713 NEW BEST:: SOT 1072225 SOS 431122 HAS SOPS 431122 HAS SOUS 322272 HAS SOUPS 322272 WITH SCORE 322703.122
AT ITER 7717 NEW BEST:: SOT 1072229 SOS 431126 HAS SOPS 431126 HAS SOUS 322270 HAS SOUPS 322270 WITH SCORE 322701.126
AT ITER 7760 NEW BEST:: SOT 1072229 SOS 431126 HAS SOPS 431126 HAS SOUS 322194 HAS SOUPS 322194 WITH SCORE 322625.126
AT ITER 7925 NEW BEST:: SOT 1072204 SOS 431136 HAS SOPS 431136 HAS SOUS 322176 HAS SOUPS 322176 WITH SCORE 322607.136
AT ITER 7931 NEW BEST:: SOT 1072204 SOS 431136 HAS SOPS 431136 HAS SOUS 322174 HAS SOUPS 322174 WITH SCORE 322605.136
AT ITER 7942 NEW BEST:: SOT 1071934 SOS 431956 HAS SOPS 431956 HAS SOUS 322122 HAS SOUPS 322122 WITH SCORE 322553.956
AT ITER 7970 NEW BEST:: SOT 1071934 SOS 431956 HAS SOPS 431956 HAS SOUS 322118 HAS SOUPS 322118 WITH SCORE 322549.956
AT ITER 8021 NEW BEST:: SOT 1071359 SOS 432089 HAS SOPS 432089 HAS SOUS 321843 HAS SOUPS 321843 WITH SCORE 322275.089
AT ITER 8049 NEW BEST:: SOT 1071155 SOS 431969 HAS SOPS 431969 HAS SOUS 321709 HAS SOUPS 321709 WITH SCORE 322140.969
AT ITER 8142 NEW BEST:: SOT 1071155 SOS 431969 HAS SOPS 431969 HAS SOUS 321569 HAS SOUPS 321569 WITH SCORE 322000.969
AT ITER 8164 NEW BEST:: SOT 1071050 SOS 432047 HAS SOPS 432047 HAS SOUS 321537 HAS SOUPS 321537 WITH SCORE 321969.047
AT ITER 8366 NEW BEST:: SOT 1071050 SOS 432047 HAS SOPS 432047 HAS SOUS 321535 HAS SOUPS 321535 WITH SCORE 321967.047
AT ITER 8438 NEW BEST:: SOT 1070876 SOS 432698 HAS SOPS 432698 HAS SOUS 321520 HAS SOUPS 321520 WITH SCORE 321952.698
AT ITER 8439 NEW BEST:: SOT 1070841 SOS 432663 HAS SOPS 432663 HAS SOUS 321485 HAS SOUPS 321485 WITH SCORE 321917.663
AT ITER 8483 NEW BEST:: SOT 1070841 SOS 432645 HAS SOPS 432645 HAS SOUS 321485 HAS SOUPS 321485 WITH SCORE 321917.645
AT ITER 8522 NEW BEST:: SOT 1070669 SOS 432941 HAS SOPS 432941 HAS SOUS 321434 HAS SOUPS 321434 WITH SCORE 321866.941
AT ITER 8558 NEW BEST:: SOT 1070669 SOS 432299 HAS SOPS 432299 HAS SOUS 321327 HAS SOUPS 321327 WITH SCORE 321759.299
AT ITER 8702 NEW BEST:: SOT 1070669 SOS 432299 HAS SOPS 432299 HAS SOUS 321277 HAS SOUPS 321277 WITH SCORE 321709.299
AT ITER 8796 NEW BEST:: SOT 1070669 SOS 432299 HAS SOPS 432299 HAS SOUS 321273 HAS SOUPS 321273 WITH SCORE 321705.299
AT ITER 8825 NEW BEST:: SOT 1070665 SOS 432295 HAS SOPS 432295 HAS SOUS 321269 HAS SOUPS 321269 WITH SCORE 321701.295
AT ITER 8891 NEW BEST:: SOT 1070799 SOS 432429 HAS SOPS 432429 HAS SOUS 321249 HAS SOUPS 321249 WITH SCORE 321681.429
AT ITER 8910 NEW BEST:: SOT 1070793 SOS 432423 HAS SOPS 432423 HAS SOUS 321237 HAS SOUPS 321237 WITH SCORE 321669.423
AT ITER 8947 NEW BEST:: SOT 1070786 SOS 432439 HAS SOPS 432439 HAS SOUS 321232 HAS SOUPS 321232 WITH SCORE 321664.439
AT ITER 8948 NEW BEST:: SOT 1070786 SOS 432439 HAS SOPS 432439 HAS SOUS 321218 HAS SOUPS 321218 WITH SCORE 321650.439
AT ITER 8966 NEW BEST:: SOT 1070786 SOS 432439 HAS SOPS 432439 HAS SOUS 321216 HAS SOUPS 321216 WITH SCORE 321648.439
AT ITER 8986 NEW BEST:: SOT 1070786 SOS 432439 HAS SOPS 432439 HAS SOUS 321194 HAS SOUPS 321194 WITH SCORE 321626.439
AT ITER 9024 NEW BEST:: SOT 1070743 SOS 432396 HAS SOPS 432396 HAS SOUS 321173 HAS SOUPS 321173 WITH SCORE 321605.396
AT ITER 9036 NEW BEST:: SOT 1070687 SOS 432491 HAS SOPS 432491 HAS SOUS 321137 HAS SOUPS 321137 WITH SCORE 321569.491
AT ITER 9067 NEW BEST:: SOT 1070594 SOS 432584 HAS SOPS 432584 HAS SOUS 321015 HAS SOUPS 321015 WITH SCORE 321447.584
AT ITER 9070 NEW BEST:: SOT 1070594 SOS 432584 HAS SOPS 432584 HAS SOUS 321001 HAS SOUPS 321001 WITH SCORE 321433.584
AT ITER 9076 NEW BEST:: SOT 1070594 SOS 432584 HAS SOPS 432584 HAS SOUS 320997 HAS SOUPS 320997 WITH SCORE 321429.584
AT ITER 9081 NEW BEST:: SOT 1069792 SOS 432958 HAS SOPS 432958 HAS SOUS 320495 HAS SOUPS 320495 WITH SCORE 320927.958
AT ITER 9111 NEW BEST:: SOT 1069792 SOS 432958 HAS SOPS 432958 HAS SOUS 320389 HAS SOUPS 320389 WITH SCORE 320821.958
AT ITER 9199 NEW BEST:: SOT 1069792 SOS 432958 HAS SOPS 432958 HAS SOUS 320353 HAS SOUPS 320353 WITH SCORE 320785.958
AT ITER 9247 NEW BEST:: SOT 1069773 SOS 432939 HAS SOPS 432939 HAS SOUS 320334 HAS SOUPS 320334 WITH SCORE 320766.939
AT ITER 9261 NEW BEST:: SOT 1069748 SOS 432914 HAS SOPS 432914 HAS SOUS 320309 HAS SOUPS 320309 WITH SCORE 320741.914
AT ITER 9308 NEW BEST:: SOT 1069748 SOS 432914 HAS SOPS 432914 HAS SOUS 320303 HAS SOUPS 320303 WITH SCORE 320735.914
AT ITER 9588 NEW BEST:: SOT 1069748 SOS 432914 HAS SOPS 432914 HAS SOUS 320271 HAS SOUPS 320271 WITH SCORE 320703.914
AT ITER 9703 NEW BEST:: SOT 1069748 SOS 432914 HAS SOPS 432914 HAS SOUS 320203 HAS SOUPS 320203 WITH SCORE 320635.914
AT ITER 9713 NEW BEST:: SOT 1069730 SOS 432896 HAS SOPS 432896 HAS SOUS 320185 HAS SOUPS 320185 WITH SCORE 320617.896
AT ITER 9751 NEW BEST:: SOT 1069730 SOS 432896 HAS SOPS 432896 HAS SOUS 320139 HAS SOUPS 320139 WITH SCORE 320571.896
AT ITER 9871 NEW BEST:: SOT 1069730 SOS 432896 HAS SOPS 432896 HAS SOUS 320137 HAS SOUPS 320137 WITH SCORE 320569.896
AT ITER 9872 NEW BEST:: SOT 1069649 SOS 432815 HAS SOPS 432815 HAS SOUS 320132 HAS SOUPS 320132 WITH SCORE 320564.815
AT ITER 9917 NEW BEST:: SOT 1069649 SOS 432815 HAS SOPS 432815 HAS SOUS 320076 HAS SOUPS 320076 WITH SCORE 320508.815
AT ITER 9992 NEW BEST:: SOT 1069649 SOS 432835 HAS SOPS 432835 HAS SOUS 320075 HAS SOUPS 320075 WITH SCORE 320507.835
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 10666836 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16120436 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="Echo-PT-d03r05"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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