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.r075-smll-167814400600080.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 CSRepetitions-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814400600080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 85K Feb 25 11:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 354K Feb 25 11:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 76K Feb 25 11:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 336K Feb 25 11:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 29K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 28K Feb 25 15:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 25 15:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 91K Feb 25 12:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 385K Feb 25 12:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 301K Feb 25 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.3M Feb 25 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 15:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 20K Feb 25 15:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 162K 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 1678234350917

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=CSRepetitions-PT-05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 00:12:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 00:12:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 00:12:34] [INFO ] Load time of PNML (sax parser for PT used): 218 ms
[2023-03-08 00:12:34] [INFO ] Transformed 206 places.
[2023-03-08 00:12:34] [INFO ] Transformed 325 transitions.
[2023-03-08 00:12:34] [INFO ] Parsed PT model containing 206 places and 325 transitions and 1175 arcs in 362 ms.
[2023-03-08 00:12:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 206 places, 325 transitions and 1175 arcs took 16 ms.
Total runtime 440 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CSRepetitions (PT), instance 05
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: 206 places, 325 transitions, 1175 arcs.
AT ITER 0 NEW BEST:: SOT 52445 SOS 48127 HAS SOPS 47551 HAS SOUS 43111 HAS SOUPS 42535 WITH SCORE 42583.127
AT ITER 1 NEW BEST:: SOT 52477 SOS 48017 HAS SOPS 47370 HAS SOUS 42776 HAS SOUPS 42129 WITH SCORE 42177.017
AT ITER 3 NEW BEST:: SOT 52488 SOS 47890 HAS SOPS 47263 HAS SOUS 42452 HAS SOUPS 41825 WITH SCORE 41872.89
AT ITER 5 NEW BEST:: SOT 52488 SOS 47860 HAS SOPS 47263 HAS SOUS 42422 HAS SOUPS 41825 WITH SCORE 41872.86
AT ITER 6 NEW BEST:: SOT 52464 SOS 47836 HAS SOPS 47239 HAS SOUS 42398 HAS SOUPS 41801 WITH SCORE 41848.836
AT ITER 8 NEW BEST:: SOT 52487 SOS 47607 HAS SOPS 46865 HAS SOUS 41953 HAS SOUPS 41211 WITH SCORE 41258.607
AT ITER 9 NEW BEST:: SOT 52520 SOS 47461 HAS SOPS 46606 HAS SOUS 41522 HAS SOUPS 40667 WITH SCORE 40714.461
AT ITER 10 NEW BEST:: SOT 52615 SOS 47366 HAS SOPS 46416 HAS SOUS 41135 HAS SOUPS 40185 WITH SCORE 40232.366
AT ITER 15 NEW BEST:: SOT 52562 SOS 47175 HAS SOPS 46257 HAS SOUS 40732 HAS SOUPS 39814 WITH SCORE 39861.175
AT ITER 17 NEW BEST:: SOT 52460 SOS 47026 HAS SOPS 46108 HAS SOUS 40582 HAS SOUPS 39664 WITH SCORE 39711.026
AT ITER 21 NEW BEST:: SOT 53344 SOS 46154 HAS SOPS 45236 HAS SOUS 37544 HAS SOUPS 36626 WITH SCORE 36672.154
AT ITER 22 NEW BEST:: SOT 53275 SOS 45958 HAS SOPS 45056 HAS SOUS 37274 HAS SOUPS 36372 WITH SCORE 36417.958
AT ITER 23 NEW BEST:: SOT 53415 SOS 45752 HAS SOPS 44710 HAS SOUS 37025 HAS SOUPS 35983 WITH SCORE 36028.752
AT ITER 26 NEW BEST:: SOT 53427 SOS 45729 HAS SOPS 44687 HAS SOUS 37000 HAS SOUPS 35958 WITH SCORE 36003.729
AT ITER 28 NEW BEST:: SOT 53449 SOS 45408 HAS SOPS 44215 HAS SOUS 36560 HAS SOUPS 35367 WITH SCORE 35412.408
AT ITER 29 NEW BEST:: SOT 53498 SOS 45330 HAS SOPS 44156 HAS SOUS 36456 HAS SOUPS 35282 WITH SCORE 35327.33
AT ITER 30 NEW BEST:: SOT 53460 SOS 45364 HAS SOPS 44190 HAS SOUS 36438 HAS SOUPS 35264 WITH SCORE 35309.364
AT ITER 32 NEW BEST:: SOT 53493 SOS 45325 HAS SOPS 44151 HAS SOUS 36407 HAS SOUPS 35233 WITH SCORE 35278.325
AT ITER 34 NEW BEST:: SOT 53493 SOS 45325 HAS SOPS 44151 HAS SOUS 36405 HAS SOUPS 35231 WITH SCORE 35276.325
AT ITER 36 NEW BEST:: SOT 54597 SOS 44527 HAS SOPS 43353 HAS SOUS 33961 HAS SOUPS 32787 WITH SCORE 32831.527
AT ITER 38 NEW BEST:: SOT 54578 SOS 44414 HAS SOPS 43169 HAS SOUS 33759 HAS SOUPS 32514 WITH SCORE 32558.414
AT ITER 39 NEW BEST:: SOT 54698 SOS 44212 HAS SOPS 42847 HAS SOUS 33767 HAS SOUPS 32402 WITH SCORE 32446.212
AT ITER 43 NEW BEST:: SOT 49664 SOS 39795 HAS SOPS 38740 HAS SOUS 28909 HAS SOUPS 27854 WITH SCORE 27893.795
AT ITER 45 NEW BEST:: SOT 49664 SOS 39795 HAS SOPS 38740 HAS SOUS 28825 HAS SOUPS 27770 WITH SCORE 27809.795
AT ITER 47 NEW BEST:: SOT 49664 SOS 39692 HAS SOPS 38655 HAS SOUS 28757 HAS SOUPS 27720 WITH SCORE 27759.692
AT ITER 49 NEW BEST:: SOT 49650 SOS 39643 HAS SOPS 38606 HAS SOUS 28714 HAS SOUPS 27677 WITH SCORE 27716.643
AT ITER 54 NEW BEST:: SOT 49544 SOS 39564 HAS SOPS 38527 HAS SOUS 28625 HAS SOUPS 27588 WITH SCORE 27627.564
AT ITER 60 NEW BEST:: SOT 49446 SOS 39466 HAS SOPS 38429 HAS SOUS 28485 HAS SOUPS 27448 WITH SCORE 27487.466
AT ITER 69 NEW BEST:: SOT 49446 SOS 39422 HAS SOPS 38385 HAS SOUS 28485 HAS SOUPS 27448 WITH SCORE 27487.422
AT ITER 71 NEW BEST:: SOT 49502 SOS 39249 HAS SOPS 38183 HAS SOUS 28402 HAS SOUPS 27336 WITH SCORE 27375.249
AT ITER 73 NEW BEST:: SOT 49519 SOS 39229 HAS SOPS 38153 HAS SOUS 28355 HAS SOUPS 27279 WITH SCORE 27318.229
AT ITER 74 NEW BEST:: SOT 49480 SOS 39190 HAS SOPS 38114 HAS SOUS 28276 HAS SOUPS 27200 WITH SCORE 27239.19
AT ITER 77 NEW BEST:: SOT 49499 SOS 39135 HAS SOPS 38059 HAS SOUS 28221 HAS SOUPS 27145 WITH SCORE 27184.135
AT ITER 79 NEW BEST:: SOT 49467 SOS 39084 HAS SOPS 38008 HAS SOUS 28099 HAS SOUPS 27023 WITH SCORE 27062.084
AT ITER 80 NEW BEST:: SOT 49467 SOS 39084 HAS SOPS 38008 HAS SOUS 28045 HAS SOUPS 26969 WITH SCORE 27008.084
AT ITER 81 NEW BEST:: SOT 49437 SOS 39054 HAS SOPS 37978 HAS SOUS 28031 HAS SOUPS 26955 WITH SCORE 26994.054
AT ITER 83 NEW BEST:: SOT 49437 SOS 38985 HAS SOPS 37926 HAS SOUS 27964 HAS SOUPS 26905 WITH SCORE 26943.985
AT ITER 86 NEW BEST:: SOT 49470 SOS 38799 HAS SOPS 37785 HAS SOUS 27738 HAS SOUPS 26724 WITH SCORE 26762.799
AT ITER 89 NEW BEST:: SOT 49392 SOS 38671 HAS SOPS 37657 HAS SOUS 27490 HAS SOUPS 26476 WITH SCORE 26514.671
AT ITER 90 NEW BEST:: SOT 49373 SOS 38569 HAS SOPS 37562 HAS SOUS 27388 HAS SOUPS 26381 WITH SCORE 26419.569
AT ITER 93 NEW BEST:: SOT 49480 SOS 38534 HAS SOPS 37456 HAS SOUS 27319 HAS SOUPS 26241 WITH SCORE 26279.534
AT ITER 95 NEW BEST:: SOT 49480 SOS 38528 HAS SOPS 37450 HAS SOUS 27319 HAS SOUPS 26241 WITH SCORE 26279.528
AT ITER 97 NEW BEST:: SOT 49480 SOS 38338 HAS SOPS 37260 HAS SOUS 27319 HAS SOUPS 26241 WITH SCORE 26279.338
AT ITER 98 NEW BEST:: SOT 47905 SOS 36808 HAS SOPS 35730 HAS SOUS 26191 HAS SOUPS 25113 WITH SCORE 25149.808
AT ITER 101 NEW BEST:: SOT 47944 SOS 34959 HAS SOPS 33881 HAS SOUS 24671 HAS SOUPS 23593 WITH SCORE 23627.959
AT ITER 106 NEW BEST:: SOT 47979 SOS 34874 HAS SOPS 33796 HAS SOUS 24625 HAS SOUPS 23547 WITH SCORE 23581.874
AT ITER 107 NEW BEST:: SOT 47983 SOS 34876 HAS SOPS 33798 HAS SOUS 24623 HAS SOUPS 23545 WITH SCORE 23579.876
AT ITER 108 NEW BEST:: SOT 47966 SOS 34774 HAS SOPS 33679 HAS SOUS 24555 HAS SOUPS 23460 WITH SCORE 23494.774
AT ITER 109 NEW BEST:: SOT 47966 SOS 34774 HAS SOPS 33679 HAS SOUS 24517 HAS SOUPS 23422 WITH SCORE 23456.774
AT ITER 112 NEW BEST:: SOT 48006 SOS 34558 HAS SOPS 33399 HAS SOUS 24514 HAS SOUPS 23355 WITH SCORE 23389.558
AT ITER 123 NEW BEST:: SOT 47687 SOS 34412 HAS SOPS 33287 HAS SOUS 24336 HAS SOUPS 23211 WITH SCORE 23245.412
AT ITER 126 NEW BEST:: SOT 47470 SOS 34260 HAS SOPS 33135 HAS SOUS 24162 HAS SOUPS 23037 WITH SCORE 23071.26
AT ITER 131 NEW BEST:: SOT 47434 SOS 34172 HAS SOPS 33047 HAS SOUS 24054 HAS SOUPS 22929 WITH SCORE 22963.172
AT ITER 135 NEW BEST:: SOT 47427 SOS 34165 HAS SOPS 33040 HAS SOUS 24047 HAS SOUPS 22922 WITH SCORE 22956.165
AT ITER 139 NEW BEST:: SOT 47388 SOS 33922 HAS SOPS 32865 HAS SOUS 23814 HAS SOUPS 22757 WITH SCORE 22790.922
AT ITER 140 NEW BEST:: SOT 47515 SOS 33824 HAS SOPS 32753 HAS SOUS 23796 HAS SOUPS 22725 WITH SCORE 22758.824
AT ITER 141 NEW BEST:: SOT 47010 SOS 33745 HAS SOPS 32832 HAS SOUS 23293 HAS SOUPS 22380 WITH SCORE 22413.745
AT ITER 142 NEW BEST:: SOT 47002 SOS 33706 HAS SOPS 32793 HAS SOUS 23285 HAS SOUPS 22372 WITH SCORE 22405.706
AT ITER 144 NEW BEST:: SOT 46942 SOS 33646 HAS SOPS 32733 HAS SOUS 23225 HAS SOUPS 22312 WITH SCORE 22345.646
AT ITER 148 NEW BEST:: SOT 46928 SOS 33632 HAS SOPS 32719 HAS SOUS 23197 HAS SOUPS 22284 WITH SCORE 22317.632
AT ITER 151 NEW BEST:: SOT 46851 SOS 33461 HAS SOPS 32548 HAS SOUS 23026 HAS SOUPS 22113 WITH SCORE 22146.461
AT ITER 155 NEW BEST:: SOT 46829 SOS 33439 HAS SOPS 32526 HAS SOUS 23004 HAS SOUPS 22091 WITH SCORE 22124.439
AT ITER 165 NEW BEST:: SOT 46853 SOS 33343 HAS SOPS 32430 HAS SOUS 22956 HAS SOUPS 22043 WITH SCORE 22076.343
AT ITER 166 NEW BEST:: SOT 46845 SOS 33319 HAS SOPS 32406 HAS SOUS 22932 HAS SOUPS 22019 WITH SCORE 22052.319
AT ITER 169 NEW BEST:: SOT 46845 SOS 33313 HAS SOPS 32400 HAS SOUS 22922 HAS SOUPS 22009 WITH SCORE 22042.313
AT ITER 172 NEW BEST:: SOT 47045 SOS 31395 HAS SOPS 30482 HAS SOUS 21590 HAS SOUPS 20677 WITH SCORE 20708.395
AT ITER 176 NEW BEST:: SOT 47291 SOS 31220 HAS SOPS 30249 HAS SOUS 21579 HAS SOUPS 20608 WITH SCORE 20639.22
AT ITER 177 NEW BEST:: SOT 47270 SOS 31194 HAS SOPS 30223 HAS SOUS 21532 HAS SOUPS 20561 WITH SCORE 20592.194
AT ITER 178 NEW BEST:: SOT 47277 SOS 31188 HAS SOPS 30206 HAS SOUS 21531 HAS SOUPS 20549 WITH SCORE 20580.188
AT ITER 179 NEW BEST:: SOT 47251 SOS 31162 HAS SOPS 30180 HAS SOUS 21505 HAS SOUPS 20523 WITH SCORE 20554.162
AT ITER 187 NEW BEST:: SOT 47223 SOS 31134 HAS SOPS 30152 HAS SOUS 21477 HAS SOUPS 20495 WITH SCORE 20526.134
AT ITER 190 NEW BEST:: SOT 47223 SOS 31131 HAS SOPS 30149 HAS SOUS 21477 HAS SOUPS 20495 WITH SCORE 20526.131
AT ITER 192 NEW BEST:: SOT 47223 SOS 31131 HAS SOPS 30149 HAS SOUS 21457 HAS SOUPS 20475 WITH SCORE 20506.131
AT ITER 199 NEW BEST:: SOT 47287 SOS 30951 HAS SOPS 29921 HAS SOUS 21432 HAS SOUPS 20402 WITH SCORE 20432.951
AT ITER 201 NEW BEST:: SOT 47319 SOS 30867 HAS SOPS 29805 HAS SOUS 21462 HAS SOUPS 20400 WITH SCORE 20430.867
AT ITER 203 NEW BEST:: SOT 47319 SOS 30867 HAS SOPS 29805 HAS SOUS 21461 HAS SOUPS 20399 WITH SCORE 20429.867
AT ITER 204 NEW BEST:: SOT 47319 SOS 30867 HAS SOPS 29805 HAS SOUS 21449 HAS SOUPS 20387 WITH SCORE 20417.867
AT ITER 205 NEW BEST:: SOT 47308 SOS 30855 HAS SOPS 29793 HAS SOUS 21422 HAS SOUPS 20360 WITH SCORE 20390.855
AT ITER 207 NEW BEST:: SOT 47242 SOS 30784 HAS SOPS 29722 HAS SOUS 21290 HAS SOUPS 20228 WITH SCORE 20258.784
AT ITER 212 NEW BEST:: SOT 47302 SOS 30633 HAS SOPS 29511 HAS SOUS 21334 HAS SOUPS 20212 WITH SCORE 20242.633
AT ITER 213 NEW BEST:: SOT 47184 SOS 30409 HAS SOPS 29287 HAS SOUS 21313 HAS SOUPS 20191 WITH SCORE 20221.409
AT ITER 215 NEW BEST:: SOT 47144 SOS 30294 HAS SOPS 29243 HAS SOUS 21242 HAS SOUPS 20191 WITH SCORE 20221.294
AT ITER 218 NEW BEST:: SOT 47132 SOS 30281 HAS SOPS 29230 HAS SOUS 21206 HAS SOUPS 20155 WITH SCORE 20185.281
AT ITER 219 NEW BEST:: SOT 47132 SOS 30263 HAS SOPS 29212 HAS SOUS 21197 HAS SOUPS 20146 WITH SCORE 20176.263
AT ITER 226 NEW BEST:: SOT 47111 SOS 30302 HAS SOPS 29251 HAS SOUS 21134 HAS SOUPS 20083 WITH SCORE 20113.302
AT ITER 229 NEW BEST:: SOT 47105 SOS 30296 HAS SOPS 29251 HAS SOUS 21128 HAS SOUPS 20083 WITH SCORE 20113.296
AT ITER 231 NEW BEST:: SOT 47096 SOS 30287 HAS SOPS 29242 HAS SOUS 21101 HAS SOUPS 20056 WITH SCORE 20086.287
AT ITER 237 NEW BEST:: SOT 47054 SOS 30181 HAS SOPS 29136 HAS SOUS 21059 HAS SOUPS 20014 WITH SCORE 20044.181
AT ITER 239 NEW BEST:: SOT 47166 SOS 30030 HAS SOPS 28938 HAS SOUS 20998 HAS SOUPS 19906 WITH SCORE 19936.03
AT ITER 240 NEW BEST:: SOT 47166 SOS 30010 HAS SOPS 28918 HAS SOUS 20998 HAS SOUPS 19906 WITH SCORE 19936.01
AT ITER 242 NEW BEST:: SOT 47153 SOS 29948 HAS SOPS 28856 HAS SOUS 20959 HAS SOUPS 19867 WITH SCORE 19896.948
AT ITER 245 NEW BEST:: SOT 47089 SOS 29884 HAS SOPS 28792 HAS SOUS 20845 HAS SOUPS 19753 WITH SCORE 19782.884
AT ITER 251 NEW BEST:: SOT 47069 SOS 29764 HAS SOPS 28672 HAS SOUS 20785 HAS SOUPS 19693 WITH SCORE 19722.764
AT ITER 255 NEW BEST:: SOT 47069 SOS 29781 HAS SOPS 28689 HAS SOUS 20739 HAS SOUPS 19647 WITH SCORE 19676.781
AT ITER 257 NEW BEST:: SOT 46971 SOS 29683 HAS SOPS 28591 HAS SOUS 20543 HAS SOUPS 19451 WITH SCORE 19480.683
AT ITER 262 NEW BEST:: SOT 46971 SOS 29645 HAS SOPS 28572 HAS SOUS 20524 HAS SOUPS 19451 WITH SCORE 19480.645
AT ITER 267 NEW BEST:: SOT 46961 SOS 29635 HAS SOPS 28562 HAS SOUS 20504 HAS SOUPS 19431 WITH SCORE 19460.635
AT ITER 269 NEW BEST:: SOT 46879 SOS 29649 HAS SOPS 28576 HAS SOUS 20494 HAS SOUPS 19421 WITH SCORE 19450.649
AT ITER 270 NEW BEST:: SOT 46859 SOS 29629 HAS SOPS 28556 HAS SOUS 20469 HAS SOUPS 19396 WITH SCORE 19425.629
AT ITER 274 NEW BEST:: SOT 46844 SOS 29614 HAS SOPS 28541 HAS SOUS 20454 HAS SOUPS 19381 WITH SCORE 19410.614
AT ITER 275 NEW BEST:: SOT 46821 SOS 29445 HAS SOPS 28410 HAS SOUS 20347 HAS SOUPS 19312 WITH SCORE 19341.445
AT ITER 278 NEW BEST:: SOT 46816 SOS 29441 HAS SOPS 28406 HAS SOUS 20341 HAS SOUPS 19306 WITH SCORE 19335.441
AT ITER 280 NEW BEST:: SOT 46812 SOS 29474 HAS SOPS 28439 HAS SOUS 20329 HAS SOUPS 19294 WITH SCORE 19323.474
AT ITER 287 NEW BEST:: SOT 46747 SOS 29409 HAS SOPS 28374 HAS SOUS 20277 HAS SOUPS 19242 WITH SCORE 19271.409
AT ITER 312 NEW BEST:: SOT 46760 SOS 29344 HAS SOPS 28309 HAS SOUS 20277 HAS SOUPS 19242 WITH SCORE 19271.344
AT ITER 313 NEW BEST:: SOT 46831 SOS 29072 HAS SOPS 28028 HAS SOUS 20286 HAS SOUPS 19242 WITH SCORE 19271.072
AT ITER 316 NEW BEST:: SOT 46802 SOS 28871 HAS SOPS 27865 HAS SOUS 20161 HAS SOUPS 19155 WITH SCORE 19183.871
AT ITER 318 NEW BEST:: SOT 46750 SOS 28912 HAS SOPS 27841 HAS SOUS 20070 HAS SOUPS 18999 WITH SCORE 19027.912
AT ITER 320 NEW BEST:: SOT 46741 SOS 29001 HAS SOPS 27898 HAS SOUS 20067 HAS SOUPS 18964 WITH SCORE 18993.001
AT ITER 330 NEW BEST:: SOT 46693 SOS 28953 HAS SOPS 27850 HAS SOUS 20003 HAS SOUPS 18900 WITH SCORE 18928.953
AT ITER 332 NEW BEST:: SOT 46693 SOS 28947 HAS SOPS 27844 HAS SOUS 20003 HAS SOUPS 18900 WITH SCORE 18928.947
AT ITER 334 NEW BEST:: SOT 46641 SOS 28895 HAS SOPS 27792 HAS SOUS 19889 HAS SOUPS 18786 WITH SCORE 18814.895
AT ITER 340 NEW BEST:: SOT 46596 SOS 28859 HAS SOPS 27756 HAS SOUS 19844 HAS SOUPS 18741 WITH SCORE 18769.859
AT ITER 342 NEW BEST:: SOT 46629 SOS 28864 HAS SOPS 27761 HAS SOUS 19827 HAS SOUPS 18724 WITH SCORE 18752.864
AT ITER 348 NEW BEST:: SOT 46628 SOS 28867 HAS SOPS 27754 HAS SOUS 19834 HAS SOUPS 18721 WITH SCORE 18749.867
AT ITER 355 NEW BEST:: SOT 46628 SOS 28863 HAS SOPS 27750 HAS SOUS 19834 HAS SOUPS 18721 WITH SCORE 18749.863
AT ITER 357 NEW BEST:: SOT 46540 SOS 28775 HAS SOPS 27662 HAS SOUS 19704 HAS SOUPS 18591 WITH SCORE 18619.775
AT ITER 370 NEW BEST:: SOT 46495 SOS 28745 HAS SOPS 27632 HAS SOUS 19681 HAS SOUPS 18568 WITH SCORE 18596.745
AT ITER 382 NEW BEST:: SOT 46495 SOS 28738 HAS SOPS 27625 HAS SOUS 19681 HAS SOUPS 18568 WITH SCORE 18596.738
AT ITER 387 NEW BEST:: SOT 46540 SOS 28623 HAS SOPS 27492 HAS SOUS 19699 HAS SOUPS 18568 WITH SCORE 18596.623
AT ITER 394 NEW BEST:: SOT 46381 SOS 28496 HAS SOPS 27365 HAS SOUS 19540 HAS SOUPS 18409 WITH SCORE 18437.496
AT ITER 398 NEW BEST:: SOT 46362 SOS 28470 HAS SOPS 27339 HAS SOUS 19502 HAS SOUPS 18371 WITH SCORE 18399.47
AT ITER 405 NEW BEST:: SOT 46362 SOS 28470 HAS SOPS 27339 HAS SOUS 19500 HAS SOUPS 18369 WITH SCORE 18397.47
AT ITER 406 NEW BEST:: SOT 46319 SOS 28438 HAS SOPS 27307 HAS SOUS 19500 HAS SOUPS 18369 WITH SCORE 18397.438
AT ITER 411 NEW BEST:: SOT 44744 SOS 26907 HAS SOPS 25776 HAS SOUS 18274 HAS SOUPS 17143 WITH SCORE 17169.907
AT ITER 419 NEW BEST:: SOT 44746 SOS 26909 HAS SOPS 25778 HAS SOUS 18259 HAS SOUPS 17128 WITH SCORE 17154.909
AT ITER 421 NEW BEST:: SOT 44771 SOS 26766 HAS SOPS 25610 HAS SOUS 18091 HAS SOUPS 16935 WITH SCORE 16961.766
AT ITER 435 NEW BEST:: SOT 44736 SOS 26731 HAS SOPS 25575 HAS SOUS 18056 HAS SOUPS 16900 WITH SCORE 16926.731
AT ITER 439 NEW BEST:: SOT 44902 SOS 26517 HAS SOPS 25296 HAS SOUS 18050 HAS SOUPS 16829 WITH SCORE 16855.517
AT ITER 440 NEW BEST:: SOT 44899 SOS 26487 HAS SOPS 25266 HAS SOUS 18042 HAS SOUPS 16821 WITH SCORE 16847.487
AT ITER 444 NEW BEST:: SOT 44807 SOS 26412 HAS SOPS 25191 HAS SOUS 17858 HAS SOUPS 16637 WITH SCORE 16663.412
AT ITER 447 NEW BEST:: SOT 44775 SOS 26380 HAS SOPS 25159 HAS SOUS 17843 HAS SOUPS 16622 WITH SCORE 16648.38
AT ITER 448 NEW BEST:: SOT 44775 SOS 26375 HAS SOPS 25154 HAS SOUS 17843 HAS SOUPS 16622 WITH SCORE 16648.375
AT ITER 464 NEW BEST:: SOT 44818 SOS 26398 HAS SOPS 25177 HAS SOUS 17835 HAS SOUPS 16614 WITH SCORE 16640.398
AT ITER 466 NEW BEST:: SOT 44818 SOS 26398 HAS SOPS 25177 HAS SOUS 17833 HAS SOUPS 16612 WITH SCORE 16638.398
AT ITER 473 NEW BEST:: SOT 44650 SOS 26062 HAS SOPS 24841 HAS SOUS 17533 HAS SOUPS 16312 WITH SCORE 16338.062
AT ITER 485 NEW BEST:: SOT 44638 SOS 26050 HAS SOPS 24829 HAS SOUS 17509 HAS SOUPS 16288 WITH SCORE 16314.05
AT ITER 487 NEW BEST:: SOT 44633 SOS 26045 HAS SOPS 24824 HAS SOUS 17504 HAS SOUPS 16283 WITH SCORE 16309.045
AT ITER 493 NEW BEST:: SOT 44617 SOS 26056 HAS SOPS 24836 HAS SOUS 17473 HAS SOUPS 16253 WITH SCORE 16279.056
AT ITER 500 NEW BEST:: SOT 44571 SOS 26010 HAS SOPS 24790 HAS SOUS 17463 HAS SOUPS 16243 WITH SCORE 16269.01
AT ITER 503 NEW BEST:: SOT 44571 SOS 25986 HAS SOPS 24766 HAS SOUS 17463 HAS SOUPS 16243 WITH SCORE 16268.986
AT ITER 504 NEW BEST:: SOT 44565 SOS 25974 HAS SOPS 24748 HAS SOUS 17451 HAS SOUPS 16225 WITH SCORE 16250.974
AT ITER 524 NEW BEST:: SOT 44565 SOS 25935 HAS SOPS 24722 HAS SOUS 17438 HAS SOUPS 16225 WITH SCORE 16250.935
AT ITER 529 NEW BEST:: SOT 44552 SOS 25922 HAS SOPS 24709 HAS SOUS 17412 HAS SOUPS 16199 WITH SCORE 16224.922
AT ITER 530 NEW BEST:: SOT 44552 SOS 25862 HAS SOPS 24661 HAS SOUS 17400 HAS SOUPS 16199 WITH SCORE 16224.862
AT ITER 534 NEW BEST:: SOT 44531 SOS 25841 HAS SOPS 24640 HAS SOUS 17358 HAS SOUPS 16157 WITH SCORE 16182.841
AT ITER 539 NEW BEST:: SOT 44444 SOS 25757 HAS SOPS 24556 HAS SOUS 17242 HAS SOUPS 16041 WITH SCORE 16066.757
AT ITER 541 NEW BEST:: SOT 44450 SOS 25757 HAS SOPS 24556 HAS SOUS 17230 HAS SOUPS 16029 WITH SCORE 16054.757
AT ITER 550 NEW BEST:: SOT 44435 SOS 25712 HAS SOPS 24511 HAS SOUS 17185 HAS SOUPS 15984 WITH SCORE 16009.712
AT ITER 555 NEW BEST:: SOT 44435 SOS 25701 HAS SOPS 24500 HAS SOUS 17159 HAS SOUPS 15958 WITH SCORE 15983.701
AT ITER 560 NEW BEST:: SOT 44434 SOS 25699 HAS SOPS 24498 HAS SOUS 17157 HAS SOUPS 15956 WITH SCORE 15981.699
AT ITER 561 NEW BEST:: SOT 44422 SOS 25687 HAS SOPS 24486 HAS SOUS 17133 HAS SOUPS 15932 WITH SCORE 15957.687
AT ITER 563 NEW BEST:: SOT 44396 SOS 25661 HAS SOPS 24460 HAS SOUS 17081 HAS SOUPS 15880 WITH SCORE 15905.661
AT ITER 571 NEW BEST:: SOT 44403 SOS 25651 HAS SOPS 24450 HAS SOUS 17071 HAS SOUPS 15870 WITH SCORE 15895.651
AT ITER 581 NEW BEST:: SOT 44403 SOS 25650 HAS SOPS 24450 HAS SOUS 17070 HAS SOUPS 15870 WITH SCORE 15895.65
AT ITER 584 NEW BEST:: SOT 44403 SOS 25616 HAS SOPS 24416 HAS SOUS 17070 HAS SOUPS 15870 WITH SCORE 15895.616
AT ITER 589 NEW BEST:: SOT 44398 SOS 25586 HAS SOPS 24386 HAS SOUS 17055 HAS SOUPS 15855 WITH SCORE 15880.586
AT ITER 590 NEW BEST:: SOT 44366 SOS 25554 HAS SOPS 24354 HAS SOUS 17011 HAS SOUPS 15811 WITH SCORE 15836.554
AT ITER 593 NEW BEST:: SOT 44322 SOS 25510 HAS SOPS 24310 HAS SOUS 16923 HAS SOUPS 15723 WITH SCORE 15748.51
AT ITER 597 NEW BEST:: SOT 44152 SOS 25398 HAS SOPS 24198 HAS SOUS 16866 HAS SOUPS 15666 WITH SCORE 15691.398
AT ITER 610 NEW BEST:: SOT 44128 SOS 25374 HAS SOPS 24174 HAS SOUS 16818 HAS SOUPS 15618 WITH SCORE 15643.374
AT ITER 628 NEW BEST:: SOT 44128 SOS 25408 HAS SOPS 24208 HAS SOUS 16812 HAS SOUPS 15612 WITH SCORE 15637.408
AT ITER 645 NEW BEST:: SOT 44140 SOS 25408 HAS SOPS 24208 HAS SOUS 16781 HAS SOUPS 15581 WITH SCORE 15606.408
AT ITER 656 NEW BEST:: SOT 44140 SOS 25314 HAS SOPS 24133 HAS SOUS 16762 HAS SOUPS 15581 WITH SCORE 15606.314
AT ITER 662 NEW BEST:: SOT 44132 SOS 25298 HAS SOPS 24117 HAS SOUS 16746 HAS SOUPS 15565 WITH SCORE 15590.298
AT ITER 663 NEW BEST:: SOT 44046 SOS 25246 HAS SOPS 24065 HAS SOUS 16733 HAS SOUPS 15552 WITH SCORE 15577.246
AT ITER 666 NEW BEST:: SOT 44038 SOS 25266 HAS SOPS 24085 HAS SOUS 16709 HAS SOUPS 15528 WITH SCORE 15553.266
AT ITER 686 NEW BEST:: SOT 44025 SOS 25239 HAS SOPS 24058 HAS SOUS 16670 HAS SOUPS 15489 WITH SCORE 15514.239
AT ITER 691 NEW BEST:: SOT 43937 SOS 25145 HAS SOPS 23964 HAS SOUS 16494 HAS SOUPS 15313 WITH SCORE 15338.145
AT ITER 737 NEW BEST:: SOT 43933 SOS 25141 HAS SOPS 23960 HAS SOUS 16486 HAS SOUPS 15305 WITH SCORE 15330.141
AT ITER 750 NEW BEST:: SOT 43925 SOS 25133 HAS SOPS 23952 HAS SOUS 16470 HAS SOUPS 15289 WITH SCORE 15314.133
AT ITER 758 NEW BEST:: SOT 43822 SOS 25081 HAS SOPS 23900 HAS SOUS 16463 HAS SOUPS 15282 WITH SCORE 15307.081
AT ITER 771 NEW BEST:: SOT 43838 SOS 25049 HAS SOPS 23852 HAS SOUS 16479 HAS SOUPS 15282 WITH SCORE 15307.049
AT ITER 789 NEW BEST:: SOT 43838 SOS 25045 HAS SOPS 23848 HAS SOUS 16479 HAS SOUPS 15282 WITH SCORE 15307.045
AT ITER 790 NEW BEST:: SOT 43831 SOS 25038 HAS SOPS 23841 HAS SOUS 16450 HAS SOUPS 15253 WITH SCORE 15278.038
AT ITER 805 NEW BEST:: SOT 43382 SOS 24589 HAS SOPS 23392 HAS SOUS 16450 HAS SOUPS 15253 WITH SCORE 15277.589
AT ITER 808 NEW BEST:: SOT 43466 SOS 24640 HAS SOPS 23443 HAS SOUS 16433 HAS SOUPS 15236 WITH SCORE 15260.64
AT ITER 815 NEW BEST:: SOT 43463 SOS 24634 HAS SOPS 23437 HAS SOUS 16427 HAS SOUPS 15230 WITH SCORE 15254.634
AT ITER 833 NEW BEST:: SOT 43461 SOS 24632 HAS SOPS 23435 HAS SOUS 16425 HAS SOUPS 15228 WITH SCORE 15252.632
AT ITER 837 NEW BEST:: SOT 43404 SOS 24594 HAS SOPS 23397 HAS SOUS 16378 HAS SOUPS 15181 WITH SCORE 15205.594
AT ITER 842 NEW BEST:: SOT 43357 SOS 24547 HAS SOPS 23350 HAS SOUS 16331 HAS SOUPS 15134 WITH SCORE 15158.547
AT ITER 844 NEW BEST:: SOT 43355 SOS 24590 HAS SOPS 23382 HAS SOUS 16336 HAS SOUPS 15128 WITH SCORE 15152.59
AT ITER 850 NEW BEST:: SOT 43185 SOS 24914 HAS SOPS 23782 HAS SOUS 16190 HAS SOUPS 15058 WITH SCORE 15082.914
AT ITER 852 NEW BEST:: SOT 43185 SOS 24925 HAS SOPS 23793 HAS SOUS 16179 HAS SOUPS 15047 WITH SCORE 15071.925
AT ITER 875 NEW BEST:: SOT 43321 SOS 25043 HAS SOPS 23911 HAS SOUS 15884 HAS SOUPS 14752 WITH SCORE 14777.043
AT ITER 879 NEW BEST:: SOT 43306 SOS 24999 HAS SOPS 23867 HAS SOUS 15854 HAS SOUPS 14722 WITH SCORE 14746.999
AT ITER 893 NEW BEST:: SOT 43327 SOS 24884 HAS SOPS 23717 HAS SOUS 15858 HAS SOUPS 14691 WITH SCORE 14715.884
AT ITER 900 NEW BEST:: SOT 43311 SOS 24868 HAS SOPS 23701 HAS SOUS 15828 HAS SOUPS 14661 WITH SCORE 14685.868
AT ITER 910 NEW BEST:: SOT 43301 SOS 24858 HAS SOPS 23691 HAS SOUS 15818 HAS SOUPS 14651 WITH SCORE 14675.858
AT ITER 915 NEW BEST:: SOT 43222 SOS 24867 HAS SOPS 23725 HAS SOUS 15776 HAS SOUPS 14634 WITH SCORE 14658.867
AT ITER 919 NEW BEST:: SOT 43205 SOS 24850 HAS SOPS 23708 HAS SOUS 15758 HAS SOUPS 14616 WITH SCORE 14640.85
AT ITER 921 NEW BEST:: SOT 43205 SOS 24850 HAS SOPS 23708 HAS SOUS 15750 HAS SOUPS 14608 WITH SCORE 14632.85
AT ITER 931 NEW BEST:: SOT 43205 SOS 24848 HAS SOPS 23706 HAS SOUS 15742 HAS SOUPS 14600 WITH SCORE 14624.848
AT ITER 934 NEW BEST:: SOT 43205 SOS 24843 HAS SOPS 23701 HAS SOUS 15742 HAS SOUPS 14600 WITH SCORE 14624.843
AT ITER 950 NEW BEST:: SOT 43193 SOS 24894 HAS SOPS 23725 HAS SOUS 15733 HAS SOUPS 14564 WITH SCORE 14588.894
AT ITER 952 NEW BEST:: SOT 43247 SOS 24925 HAS SOPS 23756 HAS SOUS 15728 HAS SOUPS 14559 WITH SCORE 14583.925
AT ITER 958 NEW BEST:: SOT 43245 SOS 24923 HAS SOPS 23754 HAS SOUS 15724 HAS SOUPS 14555 WITH SCORE 14579.923
AT ITER 969 NEW BEST:: SOT 43232 SOS 25000 HAS SOPS 23812 HAS SOUS 15687 HAS SOUPS 14499 WITH SCORE 14524.0
AT ITER 972 NEW BEST:: SOT 43228 SOS 24996 HAS SOPS 23808 HAS SOUS 15681 HAS SOUPS 14493 WITH SCORE 14517.996
AT ITER 984 NEW BEST:: SOT 43227 SOS 25013 HAS SOPS 23801 HAS SOUS 15702 HAS SOUPS 14490 WITH SCORE 14515.013
AT ITER 989 NEW BEST:: SOT 43194 SOS 24980 HAS SOPS 23768 HAS SOUS 15649 HAS SOUPS 14437 WITH SCORE 14461.98
AT ITER 995 NEW BEST:: SOT 43197 SOS 24976 HAS SOPS 23763 HAS SOUS 15641 HAS SOUPS 14428 WITH SCORE 14452.976
AT ITER 1000 NEW BEST:: SOT 43197 SOS 24976 HAS SOPS 23763 HAS SOUS 15627 HAS SOUPS 14414 WITH SCORE 14438.976
AT ITER 1003 NEW BEST:: SOT 43075 SOS 24854 HAS SOPS 23641 HAS SOUS 15430 HAS SOUPS 14217 WITH SCORE 14241.854
AT ITER 1005 NEW BEST:: SOT 43022 SOS 24822 HAS SOPS 23609 HAS SOUS 15416 HAS SOUPS 14203 WITH SCORE 14227.822
AT ITER 1021 NEW BEST:: SOT 43013 SOS 24934 HAS SOPS 23721 HAS SOUS 15389 HAS SOUPS 14176 WITH SCORE 14200.934
AT ITER 1034 NEW BEST:: SOT 43009 SOS 24932 HAS SOPS 23719 HAS SOUS 15387 HAS SOUPS 14174 WITH SCORE 14198.932
AT ITER 1069 NEW BEST:: SOT 43007 SOS 24930 HAS SOPS 23717 HAS SOUS 15381 HAS SOUPS 14168 WITH SCORE 14192.93
AT ITER 1070 NEW BEST:: SOT 43003 SOS 24926 HAS SOPS 23713 HAS SOUS 15379 HAS SOUPS 14166 WITH SCORE 14190.926
AT ITER 1081 NEW BEST:: SOT 43048 SOS 24739 HAS SOPS 23494 HAS SOUS 15411 HAS SOUPS 14166 WITH SCORE 14190.739
AT ITER 1091 NEW BEST:: SOT 43042 SOS 24733 HAS SOPS 23488 HAS SOUS 15399 HAS SOUPS 14154 WITH SCORE 14178.733
AT ITER 1097 NEW BEST:: SOT 43040 SOS 24808 HAS SOPS 23563 HAS SOUS 15393 HAS SOUPS 14148 WITH SCORE 14172.808
AT ITER 1115 NEW BEST:: SOT 42995 SOS 24784 HAS SOPS 23539 HAS SOUS 15387 HAS SOUPS 14142 WITH SCORE 14166.784
AT ITER 1121 NEW BEST:: SOT 42985 SOS 24736 HAS SOPS 23491 HAS SOUS 15367 HAS SOUPS 14122 WITH SCORE 14146.736
AT ITER 1124 NEW BEST:: SOT 42985 SOS 24691 HAS SOPS 23455 HAS SOUS 15358 HAS SOUPS 14122 WITH SCORE 14146.691
AT ITER 1127 NEW BEST:: SOT 42989 SOS 24695 HAS SOPS 23459 HAS SOUS 15340 HAS SOUPS 14104 WITH SCORE 14128.695
AT ITER 1130 NEW BEST:: SOT 42865 SOS 25041 HAS SOPS 23880 HAS SOUS 15259 HAS SOUPS 14098 WITH SCORE 14123.041
AT ITER 1132 NEW BEST:: SOT 42863 SOS 24972 HAS SOPS 23864 HAS SOUS 15200 HAS SOUPS 14092 WITH SCORE 14116.972
AT ITER 1139 NEW BEST:: SOT 42872 SOS 24972 HAS SOPS 23864 HAS SOUS 15182 HAS SOUPS 14074 WITH SCORE 14098.972
AT ITER 1140 NEW BEST:: SOT 42872 SOS 24971 HAS SOPS 23863 HAS SOUS 15182 HAS SOUPS 14074 WITH SCORE 14098.971
AT ITER 1148 NEW BEST:: SOT 42866 SOS 24965 HAS SOPS 23857 HAS SOUS 15170 HAS SOUPS 14062 WITH SCORE 14086.965
AT ITER 1153 NEW BEST:: SOT 42827 SOS 24926 HAS SOPS 23818 HAS SOUS 15092 HAS SOUPS 13984 WITH SCORE 14008.926
AT ITER 1160 NEW BEST:: SOT 42825 SOS 24922 HAS SOPS 23818 HAS SOUS 15088 HAS SOUPS 13984 WITH SCORE 14008.922
AT ITER 1169 NEW BEST:: SOT 42810 SOS 24895 HAS SOPS 23791 HAS SOUS 15044 HAS SOUPS 13940 WITH SCORE 13964.895
AT ITER 1174 NEW BEST:: SOT 42810 SOS 24882 HAS SOPS 23755 HAS SOUS 15060 HAS SOUPS 13933 WITH SCORE 13957.882
AT ITER 1194 NEW BEST:: SOT 42809 SOS 24881 HAS SOPS 23754 HAS SOUS 15058 HAS SOUPS 13931 WITH SCORE 13955.881
AT ITER 1195 NEW BEST:: SOT 42804 SOS 24869 HAS SOPS 23719 HAS SOUS 15066 HAS SOUPS 13916 WITH SCORE 13940.869
AT ITER 1197 NEW BEST:: SOT 42801 SOS 24866 HAS SOPS 23716 HAS SOUS 15060 HAS SOUPS 13910 WITH SCORE 13934.866
AT ITER 1199 NEW BEST:: SOT 42796 SOS 24825 HAS SOPS 23675 HAS SOUS 15045 HAS SOUPS 13895 WITH SCORE 13919.825
AT ITER 1200 NEW BEST:: SOT 42792 SOS 24821 HAS SOPS 23671 HAS SOUS 15037 HAS SOUPS 13887 WITH SCORE 13911.821
AT ITER 1212 NEW BEST:: SOT 42800 SOS 24822 HAS SOPS 23672 HAS SOUS 15025 HAS SOUPS 13875 WITH SCORE 13899.822
AT ITER 1214 NEW BEST:: SOT 42800 SOS 24804 HAS SOPS 23672 HAS SOUS 15007 HAS SOUPS 13875 WITH SCORE 13899.804
AT ITER 1230 NEW BEST:: SOT 42795 SOS 24844 HAS SOPS 23712 HAS SOUS 14992 HAS SOUPS 13860 WITH SCORE 13884.844
AT ITER 1244 NEW BEST:: SOT 42826 SOS 24961 HAS SOPS 23783 HAS SOUS 15016 HAS SOUPS 13838 WITH SCORE 13862.961
AT ITER 1246 NEW BEST:: SOT 42823 SOS 25165 HAS SOPS 23987 HAS SOUS 15007 HAS SOUPS 13829 WITH SCORE 13854.165
AT ITER 1269 NEW BEST:: SOT 42809 SOS 25145 HAS SOPS 23967 HAS SOUS 14976 HAS SOUPS 13798 WITH SCORE 13823.145
AT ITER 1286 NEW BEST:: SOT 42804 SOS 25140 HAS SOPS 23962 HAS SOUS 14966 HAS SOUPS 13788 WITH SCORE 13813.14
AT ITER 1288 NEW BEST:: SOT 42849 SOS 25021 HAS SOPS 23813 HAS SOUS 14958 HAS SOUPS 13750 WITH SCORE 13775.021
AT ITER 1301 NEW BEST:: SOT 42849 SOS 24997 HAS SOPS 23789 HAS SOUS 14958 HAS SOUPS 13750 WITH SCORE 13774.997
AT ITER 1302 NEW BEST:: SOT 42834 SOS 24982 HAS SOPS 23774 HAS SOUS 14937 HAS SOUPS 13729 WITH SCORE 13753.982
AT ITER 1312 NEW BEST:: SOT 42827 SOS 24968 HAS SOPS 23760 HAS SOUS 14923 HAS SOUPS 13715 WITH SCORE 13739.968
AT ITER 1316 NEW BEST:: SOT 42827 SOS 24914 HAS SOPS 23716 HAS SOUS 14913 HAS SOUPS 13715 WITH SCORE 13739.914
AT ITER 1326 NEW BEST:: SOT 42797 SOS 24894 HAS SOPS 23696 HAS SOUS 14903 HAS SOUPS 13705 WITH SCORE 13729.894
AT ITER 1331 NEW BEST:: SOT 42841 SOS 24742 HAS SOPS 23522 HAS SOUS 14922 HAS SOUPS 13702 WITH SCORE 13726.742
AT ITER 1332 NEW BEST:: SOT 42831 SOS 24726 HAS SOPS 23506 HAS SOUS 14900 HAS SOUPS 13680 WITH SCORE 13704.726
AT ITER 1352 NEW BEST:: SOT 42831 SOS 24697 HAS SOPS 23483 HAS SOUS 14888 HAS SOUPS 13674 WITH SCORE 13698.697
AT ITER 1360 NEW BEST:: SOT 42831 SOS 24691 HAS SOPS 23477 HAS SOUS 14876 HAS SOUPS 13662 WITH SCORE 13686.691
AT ITER 1380 NEW BEST:: SOT 42777 SOS 24656 HAS SOPS 23442 HAS SOUS 14856 HAS SOUPS 13642 WITH SCORE 13666.656
AT ITER 1388 NEW BEST:: SOT 42777 SOS 24433 HAS SOPS 23219 HAS SOUS 14856 HAS SOUPS 13642 WITH SCORE 13666.433
AT ITER 1389 NEW BEST:: SOT 42784 SOS 24367 HAS SOPS 23135 HAS SOUS 14845 HAS SOUPS 13613 WITH SCORE 13637.367
AT ITER 1392 NEW BEST:: SOT 42686 SOS 24276 HAS SOPS 23044 HAS SOUS 14718 HAS SOUPS 13486 WITH SCORE 13510.276
AT ITER 1404 NEW BEST:: SOT 42670 SOS 24252 HAS SOPS 23020 HAS SOUS 14669 HAS SOUPS 13437 WITH SCORE 13461.252
AT ITER 1413 NEW BEST:: SOT 42634 SOS 24060 HAS SOPS 22906 HAS SOUS 14571 HAS SOUPS 13417 WITH SCORE 13441.06
AT ITER 1417 NEW BEST:: SOT 42628 SOS 24056 HAS SOPS 22902 HAS SOUS 14571 HAS SOUPS 13417 WITH SCORE 13441.056
AT ITER 1435 NEW BEST:: SOT 42613 SOS 24041 HAS SOPS 22887 HAS SOUS 14555 HAS SOUPS 13401 WITH SCORE 13425.041
AT ITER 1437 NEW BEST:: SOT 42682 SOS 24076 HAS SOPS 22922 HAS SOUS 14533 HAS SOUPS 13379 WITH SCORE 13403.076
AT ITER 1442 NEW BEST:: SOT 42646 SOS 24038 HAS SOPS 22884 HAS SOUS 14461 HAS SOUPS 13307 WITH SCORE 13331.038
AT ITER 1448 NEW BEST:: SOT 42644 SOS 24036 HAS SOPS 22882 HAS SOUS 14457 HAS SOUPS 13303 WITH SCORE 13327.036
AT ITER 1466 NEW BEST:: SOT 42643 SOS 24034 HAS SOPS 22876 HAS SOUS 14458 HAS SOUPS 13300 WITH SCORE 13324.034
AT ITER 1491 NEW BEST:: SOT 42517 SOS 23963 HAS SOPS 22814 HAS SOUS 14345 HAS SOUPS 13196 WITH SCORE 13219.963
AT ITER 1492 NEW BEST:: SOT 42517 SOS 23940 HAS SOPS 22791 HAS SOUS 14345 HAS SOUPS 13196 WITH SCORE 13219.94
AT ITER 1500 NEW BEST:: SOT 42509 SOS 24029 HAS SOPS 22909 HAS SOUS 14314 HAS SOUPS 13194 WITH SCORE 13218.029
AT ITER 1518 NEW BEST:: SOT 42524 SOS 24019 HAS SOPS 22899 HAS SOUS 14257 HAS SOUPS 13137 WITH SCORE 13161.019
AT ITER 1520 NEW BEST:: SOT 42523 SOS 24018 HAS SOPS 22898 HAS SOUS 14257 HAS SOUPS 13137 WITH SCORE 13161.018
AT ITER 1525 NEW BEST:: SOT 42511 SOS 24010 HAS SOPS 22890 HAS SOUS 14257 HAS SOUPS 13137 WITH SCORE 13161.01
AT ITER 1533 NEW BEST:: SOT 42494 SOS 23976 HAS SOPS 22856 HAS SOUS 14170 HAS SOUPS 13050 WITH SCORE 13073.976
AT ITER 1535 NEW BEST:: SOT 42464 SOS 23946 HAS SOPS 22826 HAS SOUS 14110 HAS SOUPS 12990 WITH SCORE 13013.946
AT ITER 1536 NEW BEST:: SOT 42454 SOS 23946 HAS SOPS 22812 HAS SOUS 14094 HAS SOUPS 12960 WITH SCORE 12983.946
AT ITER 1558 NEW BEST:: SOT 42454 SOS 23942 HAS SOPS 22808 HAS SOUS 14094 HAS SOUPS 12960 WITH SCORE 12983.942
AT ITER 1562 NEW BEST:: SOT 42454 SOS 23941 HAS SOPS 22807 HAS SOUS 14094 HAS SOUPS 12960 WITH SCORE 12983.941
AT ITER 1569 NEW BEST:: SOT 42435 SOS 23808 HAS SOPS 22674 HAS SOUS 14037 HAS SOUPS 12903 WITH SCORE 12926.808
AT ITER 1634 NEW BEST:: SOT 42420 SOS 23793 HAS SOPS 22659 HAS SOUS 14007 HAS SOUPS 12873 WITH SCORE 12896.793
AT ITER 1643 NEW BEST:: SOT 42418 SOS 23829 HAS SOPS 22695 HAS SOUS 14001 HAS SOUPS 12867 WITH SCORE 12890.829
AT ITER 1647 NEW BEST:: SOT 42414 SOS 23821 HAS SOPS 22687 HAS SOUS 13989 HAS SOUPS 12855 WITH SCORE 12878.821
AT ITER 1651 NEW BEST:: SOT 42414 SOS 23778 HAS SOPS 22644 HAS SOUS 13989 HAS SOUPS 12855 WITH SCORE 12878.778
AT ITER 1670 NEW BEST:: SOT 42414 SOS 23739 HAS SOPS 22605 HAS SOUS 13989 HAS SOUPS 12855 WITH SCORE 12878.739
AT ITER 1691 NEW BEST:: SOT 42411 SOS 23733 HAS SOPS 22599 HAS SOUS 13980 HAS SOUPS 12846 WITH SCORE 12869.733
AT ITER 1699 NEW BEST:: SOT 42407 SOS 23684 HAS SOPS 22584 HAS SOUS 13923 HAS SOUPS 12823 WITH SCORE 12846.684
AT ITER 1700 NEW BEST:: SOT 42400 SOS 23754 HAS SOPS 22634 HAS SOUS 13922 HAS SOUPS 12802 WITH SCORE 12825.754
AT ITER 1701 NEW BEST:: SOT 42379 SOS 23756 HAS SOPS 22642 HAS SOUS 13903 HAS SOUPS 12789 WITH SCORE 12812.756
AT ITER 1713 NEW BEST:: SOT 42379 SOS 23751 HAS SOPS 22637 HAS SOUS 13903 HAS SOUPS 12789 WITH SCORE 12812.751
AT ITER 1727 NEW BEST:: SOT 42379 SOS 23751 HAS SOPS 22637 HAS SOUS 13887 HAS SOUPS 12773 WITH SCORE 12796.751
AT ITER 1733 NEW BEST:: SOT 42371 SOS 23757 HAS SOPS 22643 HAS SOUS 13863 HAS SOUPS 12749 WITH SCORE 12772.757
AT ITER 1741 NEW BEST:: SOT 42327 SOS 23841 HAS SOPS 22757 HAS SOUS 13826 HAS SOUPS 12742 WITH SCORE 12765.841
AT ITER 1764 NEW BEST:: SOT 42287 SOS 23811 HAS SOPS 22727 HAS SOUS 13786 HAS SOUPS 12702 WITH SCORE 12725.811
AT ITER 1774 NEW BEST:: SOT 42255 SOS 23732 HAS SOPS 22648 HAS SOUS 13722 HAS SOUPS 12638 WITH SCORE 12661.732
AT ITER 1781 NEW BEST:: SOT 42254 SOS 23716 HAS SOPS 22641 HAS SOUS 13710 HAS SOUPS 12635 WITH SCORE 12658.716
AT ITER 1788 NEW BEST:: SOT 42240 SOS 23693 HAS SOPS 22618 HAS SOUS 13682 HAS SOUPS 12607 WITH SCORE 12630.693
AT ITER 1793 NEW BEST:: SOT 42229 SOS 23682 HAS SOPS 22607 HAS SOUS 13660 HAS SOUPS 12585 WITH SCORE 12608.682
AT ITER 1803 NEW BEST:: SOT 42234 SOS 23682 HAS SOPS 22607 HAS SOUS 13650 HAS SOUPS 12575 WITH SCORE 12598.682
AT ITER 1810 NEW BEST:: SOT 42221 SOS 23669 HAS SOPS 22594 HAS SOUS 13624 HAS SOUPS 12549 WITH SCORE 12572.669
AT ITER 1836 NEW BEST:: SOT 42209 SOS 23694 HAS SOPS 22628 HAS SOUS 13611 HAS SOUPS 12545 WITH SCORE 12568.694
AT ITER 1858 NEW BEST:: SOT 42092 SOS 23911 HAS SOPS 22894 HAS SOUS 13513 HAS SOUPS 12496 WITH SCORE 12519.911
AT ITER 1871 NEW BEST:: SOT 42090 SOS 23909 HAS SOPS 22892 HAS SOUS 13511 HAS SOUPS 12494 WITH SCORE 12517.909
AT ITER 1915 NEW BEST:: SOT 42078 SOS 23897 HAS SOPS 22880 HAS SOUS 13487 HAS SOUPS 12470 WITH SCORE 12493.897
AT ITER 1922 NEW BEST:: SOT 42072 SOS 23856 HAS SOPS 22846 HAS SOUS 13468 HAS SOUPS 12458 WITH SCORE 12481.856
AT ITER 1946 NEW BEST:: SOT 42072 SOS 23854 HAS SOPS 22844 HAS SOUS 13468 HAS SOUPS 12458 WITH SCORE 12481.854
AT ITER 2002 NEW BEST:: SOT 42072 SOS 23848 HAS SOPS 22844 HAS SOUS 13462 HAS SOUPS 12458 WITH SCORE 12481.848
AT ITER 2021 NEW BEST:: SOT 42070 SOS 23909 HAS SOPS 22905 HAS SOUS 13456 HAS SOUPS 12452 WITH SCORE 12475.909
AT ITER 2053 NEW BEST:: SOT 42070 SOS 23894 HAS SOPS 22890 HAS SOUS 13456 HAS SOUPS 12452 WITH SCORE 12475.894
AT ITER 2068 NEW BEST:: SOT 42090 SOS 23905 HAS SOPS 22901 HAS SOUS 13451 HAS SOUPS 12447 WITH SCORE 12470.905
AT ITER 2080 NEW BEST:: SOT 42094 SOS 23877 HAS SOPS 22845 HAS SOUS 13449 HAS SOUPS 12417 WITH SCORE 12440.877
AT ITER 2123 NEW BEST:: SOT 42086 SOS 23869 HAS SOPS 22837 HAS SOUS 13442 HAS SOUPS 12410 WITH SCORE 12433.869
AT ITER 2127 NEW BEST:: SOT 42098 SOS 23842 HAS SOPS 22801 HAS SOUS 13451 HAS SOUPS 12410 WITH SCORE 12433.842
AT ITER 2132 NEW BEST:: SOT 41956 SOS 23865 HAS SOPS 22824 HAS SOUS 13434 HAS SOUPS 12393 WITH SCORE 12416.865
AT ITER 2138 NEW BEST:: SOT 41948 SOS 23833 HAS SOPS 22768 HAS SOUS 13434 HAS SOUPS 12369 WITH SCORE 12392.833
AT ITER 2162 NEW BEST:: SOT 41896 SOS 23794 HAS SOPS 22729 HAS SOUS 13401 HAS SOUPS 12336 WITH SCORE 12359.794
AT ITER 2166 NEW BEST:: SOT 41870 SOS 23768 HAS SOPS 22703 HAS SOUS 13349 HAS SOUPS 12284 WITH SCORE 12307.768
AT ITER 2177 NEW BEST:: SOT 41866 SOS 23775 HAS SOPS 22699 HAS SOUS 13356 HAS SOUPS 12280 WITH SCORE 12303.775
AT ITER 2182 NEW BEST:: SOT 41864 SOS 23771 HAS SOPS 22695 HAS SOUS 13350 HAS SOUPS 12274 WITH SCORE 12297.771
AT ITER 2221 NEW BEST:: SOT 41844 SOS 23781 HAS SOPS 22705 HAS SOUS 13286 HAS SOUPS 12210 WITH SCORE 12233.781
AT ITER 2255 NEW BEST:: SOT 41864 SOS 23793 HAS SOPS 22717 HAS SOUS 13280 HAS SOUPS 12204 WITH SCORE 12227.793
AT ITER 2275 NEW BEST:: SOT 41905 SOS 23665 HAS SOPS 22548 HAS SOUS 13321 HAS SOUPS 12204 WITH SCORE 12227.665
AT ITER 2279 NEW BEST:: SOT 41861 SOS 23630 HAS SOPS 22513 HAS SOUS 13278 HAS SOUPS 12161 WITH SCORE 12184.63
AT ITER 2312 NEW BEST:: SOT 41810 SOS 23596 HAS SOPS 22479 HAS SOUS 13261 HAS SOUPS 12144 WITH SCORE 12167.596
AT ITER 2318 NEW BEST:: SOT 41810 SOS 23596 HAS SOPS 22479 HAS SOUS 13259 HAS SOUPS 12142 WITH SCORE 12165.596
AT ITER 2330 NEW BEST:: SOT 41807 SOS 23593 HAS SOPS 22476 HAS SOUS 13256 HAS SOUPS 12139 WITH SCORE 12162.593
AT ITER 2331 NEW BEST:: SOT 41825 SOS 23605 HAS SOPS 22488 HAS SOUS 13250 HAS SOUPS 12133 WITH SCORE 12156.605
AT ITER 2350 NEW BEST:: SOT 41825 SOS 23603 HAS SOPS 22486 HAS SOUS 13250 HAS SOUPS 12133 WITH SCORE 12156.603
AT ITER 2379 NEW BEST:: SOT 41881 SOS 23573 HAS SOPS 22450 HAS SOUS 13228 HAS SOUPS 12105 WITH SCORE 12128.573
AT ITER 2398 NEW BEST:: SOT 41758 SOS 23522 HAS SOPS 22407 HAS SOUS 13151 HAS SOUPS 12036 WITH SCORE 12059.522
AT ITER 2405 NEW BEST:: SOT 41755 SOS 23501 HAS SOPS 22386 HAS SOUS 13142 HAS SOUPS 12027 WITH SCORE 12050.501
AT ITER 2424 NEW BEST:: SOT 41751 SOS 23497 HAS SOPS 22382 HAS SOUS 13134 HAS SOUPS 12019 WITH SCORE 12042.497
AT ITER 2425 NEW BEST:: SOT 41751 SOS 23482 HAS SOPS 22367 HAS SOUS 13134 HAS SOUPS 12019 WITH SCORE 12042.482
AT ITER 2432 NEW BEST:: SOT 41729 SOS 23460 HAS SOPS 22345 HAS SOUS 13122 HAS SOUPS 12007 WITH SCORE 12030.46
AT ITER 2435 NEW BEST:: SOT 41729 SOS 23436 HAS SOPS 22321 HAS SOUS 13122 HAS SOUPS 12007 WITH SCORE 12030.436
AT ITER 2447 NEW BEST:: SOT 41728 SOS 23435 HAS SOPS 22320 HAS SOUS 13120 HAS SOUPS 12005 WITH SCORE 12028.435
AT ITER 2449 NEW BEST:: SOT 41710 SOS 23423 HAS SOPS 22289 HAS SOUS 13085 HAS SOUPS 11951 WITH SCORE 11974.423
AT ITER 2456 NEW BEST:: SOT 41710 SOS 23419 HAS SOPS 22285 HAS SOUS 13085 HAS SOUPS 11951 WITH SCORE 11974.419
AT ITER 2484 NEW BEST:: SOT 41703 SOS 23412 HAS SOPS 22278 HAS SOUS 13078 HAS SOUPS 11944 WITH SCORE 11967.412
AT ITER 2525 NEW BEST:: SOT 41654 SOS 23377 HAS SOPS 22243 HAS SOUS 13043 HAS SOUPS 11909 WITH SCORE 11932.377
AT ITER 2537 NEW BEST:: SOT 41722 SOS 23126 HAS SOPS 21915 HAS SOUS 13102 HAS SOUPS 11891 WITH SCORE 11914.126
AT ITER 2588 NEW BEST:: SOT 41721 SOS 23135 HAS SOPS 21924 HAS SOUS 13099 HAS SOUPS 11888 WITH SCORE 11911.135
AT ITER 2601 NEW BEST:: SOT 41757 SOS 23050 HAS SOPS 21809 HAS SOUS 13104 HAS SOUPS 11863 WITH SCORE 11886.05
AT ITER 2604 NEW BEST:: SOT 41753 SOS 23046 HAS SOPS 21805 HAS SOUS 13097 HAS SOUPS 11856 WITH SCORE 11879.046
AT ITER 2629 NEW BEST:: SOT 41752 SOS 23045 HAS SOPS 21804 HAS SOUS 13095 HAS SOUPS 11854 WITH SCORE 11877.045
AT ITER 2635 NEW BEST:: SOT 41732 SOS 23025 HAS SOPS 21784 HAS SOUS 13059 HAS SOUPS 11818 WITH SCORE 11841.025
AT ITER 2698 NEW BEST:: SOT 41727 SOS 23318 HAS SOPS 22022 HAS SOUS 13099 HAS SOUPS 11803 WITH SCORE 11826.318
AT ITER 2751 NEW BEST:: SOT 41727 SOS 23298 HAS SOPS 22002 HAS SOUS 13099 HAS SOUPS 11803 WITH SCORE 11826.298
AT ITER 2786 NEW BEST:: SOT 41731 SOS 23285 HAS SOPS 21985 HAS SOUS 13103 HAS SOUPS 11803 WITH SCORE 11826.285
AT ITER 2819 NEW BEST:: SOT 41731 SOS 23283 HAS SOPS 21985 HAS SOUS 13101 HAS SOUPS 11803 WITH SCORE 11826.283
AT ITER 2822 NEW BEST:: SOT 41730 SOS 23276 HAS SOPS 21978 HAS SOUS 13098 HAS SOUPS 11800 WITH SCORE 11823.276
AT ITER 2859 NEW BEST:: SOT 41733 SOS 23252 HAS SOPS 21954 HAS SOUS 13064 HAS SOUPS 11766 WITH SCORE 11789.252
AT ITER 2889 NEW BEST:: SOT 41715 SOS 23234 HAS SOPS 21936 HAS SOUS 13028 HAS SOUPS 11730 WITH SCORE 11753.234
AT ITER 2894 NEW BEST:: SOT 41729 SOS 23305 HAS SOPS 21959 HAS SOUS 13060 HAS SOUPS 11714 WITH SCORE 11737.305
AT ITER 2962 NEW BEST:: SOT 41728 SOS 23303 HAS SOPS 21957 HAS SOUS 13058 HAS SOUPS 11712 WITH SCORE 11735.303
AT ITER 2984 NEW BEST:: SOT 41725 SOS 23285 HAS SOPS 21939 HAS SOUS 13049 HAS SOUPS 11703 WITH SCORE 11726.285
AT ITER 3010 NEW BEST:: SOT 41689 SOS 23175 HAS SOPS 21829 HAS SOUS 12817 HAS SOUPS 11471 WITH SCORE 11494.175
AT ITER 3050 NEW BEST:: SOT 41689 SOS 23159 HAS SOPS 21813 HAS SOUS 12817 HAS SOUPS 11471 WITH SCORE 11494.159
AT ITER 3060 NEW BEST:: SOT 41681 SOS 23198 HAS SOPS 21834 HAS SOUS 12811 HAS SOUPS 11447 WITH SCORE 11470.198
AT ITER 3136 NEW BEST:: SOT 41659 SOS 23187 HAS SOPS 21823 HAS SOUS 12811 HAS SOUPS 11447 WITH SCORE 11470.187
AT ITER 3208 NEW BEST:: SOT 41648 SOS 23176 HAS SOPS 21812 HAS SOUS 12789 HAS SOUPS 11425 WITH SCORE 11448.176
AT ITER 3243 NEW BEST:: SOT 41648 SOS 23165 HAS SOPS 21812 HAS SOUS 12778 HAS SOUPS 11425 WITH SCORE 11448.165
AT ITER 3285 NEW BEST:: SOT 41628 SOS 23145 HAS SOPS 21792 HAS SOUS 12758 HAS SOUPS 11405 WITH SCORE 11428.145
AT ITER 3302 NEW BEST:: SOT 41628 SOS 23138 HAS SOPS 21785 HAS SOUS 12758 HAS SOUPS 11405 WITH SCORE 11428.138
AT ITER 3307 NEW BEST:: SOT 41618 SOS 23118 HAS SOPS 21765 HAS SOUS 12728 HAS SOUPS 11375 WITH SCORE 11398.118
AT ITER 3372 NEW BEST:: SOT 41604 SOS 23107 HAS SOPS 21754 HAS SOUS 12721 HAS SOUPS 11368 WITH SCORE 11391.107
AT ITER 3373 NEW BEST:: SOT 41599 SOS 23098 HAS SOPS 21745 HAS SOUS 12711 HAS SOUPS 11358 WITH SCORE 11381.098
AT ITER 3409 NEW BEST:: SOT 41593 SOS 23092 HAS SOPS 21739 HAS SOUS 12699 HAS SOUPS 11346 WITH SCORE 11369.092
AT ITER 3429 NEW BEST:: SOT 41593 SOS 23091 HAS SOPS 21739 HAS SOUS 12698 HAS SOUPS 11346 WITH SCORE 11369.091
AT ITER 3430 NEW BEST:: SOT 41593 SOS 23090 HAS SOPS 21738 HAS SOUS 12698 HAS SOUPS 11346 WITH SCORE 11369.09
AT ITER 3434 NEW BEST:: SOT 41593 SOS 23090 HAS SOPS 21738 HAS SOUS 12690 HAS SOUPS 11338 WITH SCORE 11361.09
AT ITER 3439 NEW BEST:: SOT 41508 SOS 23300 HAS SOPS 22013 HAS SOUS 12610 HAS SOUPS 11323 WITH SCORE 11346.3
AT ITER 3482 NEW BEST:: SOT 41506 SOS 23298 HAS SOPS 22011 HAS SOUS 12606 HAS SOUPS 11319 WITH SCORE 11342.298
AT ITER 3509 NEW BEST:: SOT 41504 SOS 23296 HAS SOPS 22009 HAS SOUS 12604 HAS SOUPS 11317 WITH SCORE 11340.296
AT ITER 3520 NEW BEST:: SOT 41504 SOS 23281 HAS SOPS 22009 HAS SOUS 12589 HAS SOUPS 11317 WITH SCORE 11340.281
AT ITER 3538 NEW BEST:: SOT 41498 SOS 23279 HAS SOPS 22007 HAS SOUS 12577 HAS SOUPS 11305 WITH SCORE 11328.279
AT ITER 3599 NEW BEST:: SOT 41321 SOS 23197 HAS SOPS 21918 HAS SOUS 12580 HAS SOUPS 11301 WITH SCORE 11324.197
AT ITER 3617 NEW BEST:: SOT 41325 SOS 23201 HAS SOPS 21922 HAS SOUS 12572 HAS SOUPS 11293 WITH SCORE 11316.201
AT ITER 3644 NEW BEST:: SOT 41323 SOS 23357 HAS SOPS 22078 HAS SOUS 12566 HAS SOUPS 11287 WITH SCORE 11310.357
AT ITER 3694 NEW BEST:: SOT 41323 SOS 23333 HAS SOPS 22066 HAS SOUS 12554 HAS SOUPS 11287 WITH SCORE 11310.333
AT ITER 3714 NEW BEST:: SOT 41311 SOS 23321 HAS SOPS 22054 HAS SOUS 12530 HAS SOUPS 11263 WITH SCORE 11286.321
AT ITER 3744 NEW BEST:: SOT 41304 SOS 23314 HAS SOPS 22040 HAS SOUS 12516 HAS SOUPS 11242 WITH SCORE 11265.314
AT ITER 3751 NEW BEST:: SOT 41301 SOS 23308 HAS SOPS 22034 HAS SOUS 12510 HAS SOUPS 11236 WITH SCORE 11259.308
AT ITER 3755 NEW BEST:: SOT 41288 SOS 23294 HAS SOPS 22020 HAS SOUS 12491 HAS SOUPS 11217 WITH SCORE 11240.294
AT ITER 3768 NEW BEST:: SOT 41285 SOS 23287 HAS SOPS 21999 HAS SOUS 12496 HAS SOUPS 11208 WITH SCORE 11231.287
AT ITER 3782 NEW BEST:: SOT 41321 SOS 23271 HAS SOPS 21987 HAS SOUS 12480 HAS SOUPS 11196 WITH SCORE 11219.271
AT ITER 3791 NEW BEST:: SOT 41299 SOS 23249 HAS SOPS 21943 HAS SOUS 12436 HAS SOUPS 11130 WITH SCORE 11153.249
AT ITER 3814 NEW BEST:: SOT 41297 SOS 23240 HAS SOPS 21934 HAS SOUS 12409 HAS SOUPS 11103 WITH SCORE 11126.24
AT ITER 3853 NEW BEST:: SOT 41158 SOS 23147 HAS SOPS 21841 HAS SOUS 12398 HAS SOUPS 11092 WITH SCORE 11115.147
AT ITER 3895 NEW BEST:: SOT 41155 SOS 23126 HAS SOPS 21820 HAS SOUS 12389 HAS SOUPS 11083 WITH SCORE 11106.126
AT ITER 3909 NEW BEST:: SOT 41155 SOS 23118 HAS SOPS 21810 HAS SOUS 12387 HAS SOUPS 11079 WITH SCORE 11102.118
AT ITER 3989 NEW BEST:: SOT 41153 SOS 23129 HAS SOPS 21821 HAS SOUS 12383 HAS SOUPS 11075 WITH SCORE 11098.129
AT ITER 4015 NEW BEST:: SOT 41148 SOS 23124 HAS SOPS 21816 HAS SOUS 12373 HAS SOUPS 11065 WITH SCORE 11088.124
AT ITER 4076 NEW BEST:: SOT 41147 SOS 23123 HAS SOPS 21815 HAS SOUS 12371 HAS SOUPS 11063 WITH SCORE 11086.123
AT ITER 4084 NEW BEST:: SOT 41138 SOS 23105 HAS SOPS 21797 HAS SOUS 12353 HAS SOUPS 11045 WITH SCORE 11068.105
AT ITER 4098 NEW BEST:: SOT 41112 SOS 23085 HAS SOPS 21777 HAS SOUS 12353 HAS SOUPS 11045 WITH SCORE 11068.085
AT ITER 4129 NEW BEST:: SOT 41106 SOS 23079 HAS SOPS 21771 HAS SOUS 12341 HAS SOUPS 11033 WITH SCORE 11056.079
AT ITER 4177 NEW BEST:: SOT 41104 SOS 23077 HAS SOPS 21769 HAS SOUS 12339 HAS SOUPS 11031 WITH SCORE 11054.077
AT ITER 4179 NEW BEST:: SOT 41086 SOS 23048 HAS SOPS 21740 HAS SOUS 12248 HAS SOUPS 10940 WITH SCORE 10963.048
AT ITER 4209 NEW BEST:: SOT 41089 SOS 23042 HAS SOPS 21731 HAS SOUS 12251 HAS SOUPS 10940 WITH SCORE 10963.042
AT ITER 4218 NEW BEST:: SOT 41087 SOS 23038 HAS SOPS 21727 HAS SOUS 12247 HAS SOUPS 10936 WITH SCORE 10959.038
AT ITER 4241 NEW BEST:: SOT 41079 SOS 22982 HAS SOPS 21671 HAS SOUS 12223 HAS SOUPS 10912 WITH SCORE 10934.982
AT ITER 4269 NEW BEST:: SOT 41076 SOS 22979 HAS SOPS 21668 HAS SOUS 12220 HAS SOUPS 10909 WITH SCORE 10931.979
AT ITER 4323 NEW BEST:: SOT 41069 SOS 22972 HAS SOPS 21654 HAS SOUS 12206 HAS SOUPS 10888 WITH SCORE 10910.972
AT ITER 4326 NEW BEST:: SOT 41066 SOS 22951 HAS SOPS 21633 HAS SOUS 12197 HAS SOUPS 10879 WITH SCORE 10901.951
AT ITER 4336 NEW BEST:: SOT 41064 SOS 22970 HAS SOPS 21634 HAS SOUS 12209 HAS SOUPS 10873 WITH SCORE 10895.97
AT ITER 4372 NEW BEST:: SOT 41061 SOS 22967 HAS SOPS 21631 HAS SOUS 12203 HAS SOUPS 10867 WITH SCORE 10889.967
AT ITER 4464 NEW BEST:: SOT 41063 SOS 22967 HAS SOPS 21631 HAS SOUS 12199 HAS SOUPS 10863 WITH SCORE 10885.967
AT ITER 4498 NEW BEST:: SOT 41063 SOS 22967 HAS SOPS 21631 HAS SOUS 12196 HAS SOUPS 10860 WITH SCORE 10882.967
AT ITER 4575 NEW BEST:: SOT 41061 SOS 22965 HAS SOPS 21629 HAS SOUS 12194 HAS SOUPS 10858 WITH SCORE 10880.965
AT ITER 4576 NEW BEST:: SOT 41060 SOS 22963 HAS SOPS 21627 HAS SOUS 12192 HAS SOUPS 10856 WITH SCORE 10878.963
AT ITER 4578 NEW BEST:: SOT 41057 SOS 22946 HAS SOPS 21610 HAS SOUS 12176 HAS SOUPS 10840 WITH SCORE 10862.946
AT ITER 4583 NEW BEST:: SOT 41043 SOS 22932 HAS SOPS 21596 HAS SOUS 12148 HAS SOUPS 10812 WITH SCORE 10834.932
AT ITER 4648 NEW BEST:: SOT 41041 SOS 22930 HAS SOPS 21594 HAS SOUS 12146 HAS SOUPS 10810 WITH SCORE 10832.93
AT ITER 4660 NEW BEST:: SOT 41042 SOS 22937 HAS SOPS 21583 HAS SOUS 12149 HAS SOUPS 10795 WITH SCORE 10817.937
AT ITER 4746 NEW BEST:: SOT 41039 SOS 22916 HAS SOPS 21562 HAS SOUS 12140 HAS SOUPS 10786 WITH SCORE 10808.916
AT ITER 4776 NEW BEST:: SOT 41035 SOS 22908 HAS SOPS 21554 HAS SOUS 12132 HAS SOUPS 10778 WITH SCORE 10800.908
AT ITER 4843 NEW BEST:: SOT 41032 SOS 22905 HAS SOPS 21551 HAS SOUS 12126 HAS SOUPS 10772 WITH SCORE 10794.905
AT ITER 4934 NEW BEST:: SOT 41031 SOS 22904 HAS SOPS 21549 HAS SOUS 12124 HAS SOUPS 10769 WITH SCORE 10791.904
AT ITER 4950 NEW BEST:: SOT 41029 SOS 22902 HAS SOPS 21547 HAS SOUS 12122 HAS SOUPS 10767 WITH SCORE 10789.902
AT ITER 5003 NEW BEST:: SOT 41024 SOS 22862 HAS SOPS 21512 HAS SOUS 12102 HAS SOUPS 10752 WITH SCORE 10774.862
AT ITER 5036 NEW BEST:: SOT 41020 SOS 22887 HAS SOPS 21528 HAS SOUS 12099 HAS SOUPS 10740 WITH SCORE 10762.887
AT ITER 5280 NEW BEST:: SOT 41012 SOS 22879 HAS SOPS 21520 HAS SOUS 12083 HAS SOUPS 10724 WITH SCORE 10746.879
AT ITER 5317 NEW BEST:: SOT 41010 SOS 22875 HAS SOPS 21516 HAS SOUS 12079 HAS SOUPS 10720 WITH SCORE 10742.875
AT ITER 5345 NEW BEST:: SOT 41041 SOS 22895 HAS SOPS 21536 HAS SOUS 12063 HAS SOUPS 10704 WITH SCORE 10726.895
AT ITER 5397 NEW BEST:: SOT 41038 SOS 22892 HAS SOPS 21533 HAS SOUS 12057 HAS SOUPS 10698 WITH SCORE 10720.892
AT ITER 5484 NEW BEST:: SOT 41028 SOS 22882 HAS SOPS 21523 HAS SOUS 12045 HAS SOUPS 10686 WITH SCORE 10708.882
AT ITER 5567 NEW BEST:: SOT 40976 SOS 22841 HAS SOPS 21482 HAS SOUS 12013 HAS SOUPS 10654 WITH SCORE 10676.841
AT ITER 5704 NEW BEST:: SOT 40868 SOS 22763 HAS SOPS 21404 HAS SOUS 12012 HAS SOUPS 10653 WITH SCORE 10675.763
AT ITER 5721 NEW BEST:: SOT 40852 SOS 22783 HAS SOPS 21434 HAS SOUS 12001 HAS SOUPS 10652 WITH SCORE 10674.783
AT ITER 5802 NEW BEST:: SOT 40849 SOS 22780 HAS SOPS 21431 HAS SOUS 11995 HAS SOUPS 10646 WITH SCORE 10668.78
AT ITER 5865 NEW BEST:: SOT 40849 SOS 22780 HAS SOPS 21431 HAS SOUS 11993 HAS SOUPS 10644 WITH SCORE 10666.78
AT ITER 5930 NEW BEST:: SOT 40849 SOS 22813 HAS SOPS 21464 HAS SOUS 11989 HAS SOUPS 10640 WITH SCORE 10662.813
AT ITER 5955 NEW BEST:: SOT 40848 SOS 23073 HAS SOPS 21724 HAS SOUS 11986 HAS SOUPS 10637 WITH SCORE 10660.073
AT ITER 5985 NEW BEST:: SOT 40846 SOS 23071 HAS SOPS 21722 HAS SOUS 11982 HAS SOUPS 10633 WITH SCORE 10656.071
AT ITER 5990 NEW BEST:: SOT 40844 SOS 23070 HAS SOPS 21721 HAS SOUS 11982 HAS SOUPS 10633 WITH SCORE 10656.07
AT ITER 5991 NEW BEST:: SOT 40844 SOS 22849 HAS SOPS 21500 HAS SOUS 11982 HAS SOUPS 10633 WITH SCORE 10655.849
AT ITER 6006 NEW BEST:: SOT 40843 SOS 22842 HAS SOPS 21493 HAS SOUS 11979 HAS SOUPS 10630 WITH SCORE 10652.842
AT ITER 6079 NEW BEST:: SOT 40843 SOS 22830 HAS SOPS 21493 HAS SOUS 11967 HAS SOUPS 10630 WITH SCORE 10652.83
AT ITER 6111 NEW BEST:: SOT 40842 SOS 22829 HAS SOPS 21492 HAS SOUS 11965 HAS SOUPS 10628 WITH SCORE 10650.829
AT ITER 6162 NEW BEST:: SOT 40834 SOS 22823 HAS SOPS 21486 HAS SOUS 11959 HAS SOUPS 10622 WITH SCORE 10644.823
AT ITER 6220 NEW BEST:: SOT 40830 SOS 22950 HAS SOPS 21613 HAS SOUS 11947 HAS SOUPS 10610 WITH SCORE 10632.95
AT ITER 6268 NEW BEST:: SOT 40821 SOS 22971 HAS SOPS 21634 HAS SOUS 11929 HAS SOUPS 10592 WITH SCORE 10614.971
AT ITER 6276 NEW BEST:: SOT 40810 SOS 22919 HAS SOPS 21557 HAS SOUS 11921 HAS SOUPS 10559 WITH SCORE 10581.919
AT ITER 6306 NEW BEST:: SOT 40805 SOS 22915 HAS SOPS 21553 HAS SOUS 11917 HAS SOUPS 10555 WITH SCORE 10577.915
AT ITER 6323 NEW BEST:: SOT 40806 SOS 22915 HAS SOPS 21553 HAS SOUS 11914 HAS SOUPS 10552 WITH SCORE 10574.915
AT ITER 6349 NEW BEST:: SOT 40802 SOS 22887 HAS SOPS 21525 HAS SOUS 11902 HAS SOUPS 10540 WITH SCORE 10562.887
AT ITER 6401 NEW BEST:: SOT 40799 SOS 22885 HAS SOPS 21523 HAS SOUS 11901 HAS SOUPS 10539 WITH SCORE 10561.885
AT ITER 6440 NEW BEST:: SOT 40791 SOS 22877 HAS SOPS 21515 HAS SOUS 11885 HAS SOUPS 10523 WITH SCORE 10545.877
AT ITER 6455 NEW BEST:: SOT 40791 SOS 22858 HAS SOPS 21496 HAS SOUS 11885 HAS SOUPS 10523 WITH SCORE 10545.858
AT ITER 6491 NEW BEST:: SOT 40780 SOS 22847 HAS SOPS 21485 HAS SOUS 11863 HAS SOUPS 10501 WITH SCORE 10523.847
AT ITER 6514 NEW BEST:: SOT 40768 SOS 22838 HAS SOPS 21476 HAS SOUS 11851 HAS SOUPS 10489 WITH SCORE 10511.838
AT ITER 6584 NEW BEST:: SOT 40768 SOS 22831 HAS SOPS 21469 HAS SOUS 11851 HAS SOUPS 10489 WITH SCORE 10511.831
AT ITER 6587 NEW BEST:: SOT 40750 SOS 22813 HAS SOPS 21451 HAS SOUS 11833 HAS SOUPS 10471 WITH SCORE 10493.813
AT ITER 6662 NEW BEST:: SOT 40746 SOS 22785 HAS SOPS 21423 HAS SOUS 11821 HAS SOUPS 10459 WITH SCORE 10481.785
AT ITER 6670 NEW BEST:: SOT 40743 SOS 22782 HAS SOPS 21420 HAS SOUS 11815 HAS SOUPS 10453 WITH SCORE 10475.782
AT ITER 6726 NEW BEST:: SOT 40739 SOS 22778 HAS SOPS 21416 HAS SOUS 11809 HAS SOUPS 10447 WITH SCORE 10469.778
AT ITER 6761 NEW BEST:: SOT 40734 SOS 22773 HAS SOPS 21411 HAS SOUS 11799 HAS SOUPS 10437 WITH SCORE 10459.773
AT ITER 6793 NEW BEST:: SOT 40714 SOS 22748 HAS SOPS 21386 HAS SOUS 11759 HAS SOUPS 10397 WITH SCORE 10419.748
AT ITER 6880 NEW BEST:: SOT 40712 SOS 22746 HAS SOPS 21384 HAS SOUS 11755 HAS SOUPS 10393 WITH SCORE 10415.746
AT ITER 6914 NEW BEST:: SOT 40699 SOS 22733 HAS SOPS 21371 HAS SOUS 11729 HAS SOUPS 10367 WITH SCORE 10389.733
AT ITER 6946 NEW BEST:: SOT 40694 SOS 22723 HAS SOPS 21356 HAS SOUS 11719 HAS SOUPS 10352 WITH SCORE 10374.723
AT ITER 6963 NEW BEST:: SOT 40693 SOS 22920 HAS SOPS 21520 HAS SOUS 11749 HAS SOUPS 10349 WITH SCORE 10371.92
AT ITER 6996 NEW BEST:: SOT 40656 SOS 22895 HAS SOPS 21495 HAS SOUS 11735 HAS SOUPS 10335 WITH SCORE 10357.895
AT ITER 7007 NEW BEST:: SOT 40675 SOS 22851 HAS SOPS 21432 HAS SOUS 11754 HAS SOUPS 10335 WITH SCORE 10357.851
AT ITER 7058 NEW BEST:: SOT 40667 SOS 22843 HAS SOPS 21424 HAS SOUS 11746 HAS SOUPS 10327 WITH SCORE 10349.843
AT ITER 7059 NEW BEST:: SOT 40667 SOS 22753 HAS SOPS 21349 HAS SOUS 11731 HAS SOUPS 10327 WITH SCORE 10349.753
AT ITER 7099 NEW BEST:: SOT 40667 SOS 22753 HAS SOPS 21349 HAS SOUS 11729 HAS SOUPS 10325 WITH SCORE 10347.753
AT ITER 7216 NEW BEST:: SOT 40662 SOS 22713 HAS SOPS 21314 HAS SOUS 11709 HAS SOUPS 10310 WITH SCORE 10332.713
AT ITER 7241 NEW BEST:: SOT 40662 SOS 22713 HAS SOPS 21314 HAS SOUS 11699 HAS SOUPS 10300 WITH SCORE 10322.713
AT ITER 7282 NEW BEST:: SOT 40654 SOS 22697 HAS SOPS 21298 HAS SOUS 11675 HAS SOUPS 10276 WITH SCORE 10298.697
AT ITER 7340 NEW BEST:: SOT 40652 SOS 22745 HAS SOPS 21334 HAS SOUS 11681 HAS SOUPS 10270 WITH SCORE 10292.745
AT ITER 7436 NEW BEST:: SOT 40652 SOS 22744 HAS SOPS 21333 HAS SOUS 11681 HAS SOUPS 10270 WITH SCORE 10292.744
AT ITER 7454 NEW BEST:: SOT 40652 SOS 22738 HAS SOPS 21333 HAS SOUS 11675 HAS SOUPS 10270 WITH SCORE 10292.738
AT ITER 7474 NEW BEST:: SOT 40647 SOS 22733 HAS SOPS 21328 HAS SOUS 11665 HAS SOUPS 10260 WITH SCORE 10282.733
AT ITER 7494 NEW BEST:: SOT 40645 SOS 22729 HAS SOPS 21324 HAS SOUS 11659 HAS SOUPS 10254 WITH SCORE 10276.729
AT ITER 7528 NEW BEST:: SOT 40672 SOS 22745 HAS SOPS 21340 HAS SOUS 11658 HAS SOUPS 10253 WITH SCORE 10275.745
AT ITER 7529 NEW BEST:: SOT 40672 SOS 22744 HAS SOPS 21340 HAS SOUS 11657 HAS SOUPS 10253 WITH SCORE 10275.744
AT ITER 7595 NEW BEST:: SOT 40671 SOS 22737 HAS SOPS 21333 HAS SOUS 11654 HAS SOUPS 10250 WITH SCORE 10272.737
AT ITER 7625 NEW BEST:: SOT 40663 SOS 22731 HAS SOPS 21327 HAS SOUS 11630 HAS SOUPS 10226 WITH SCORE 10248.731
AT ITER 7632 NEW BEST:: SOT 40669 SOS 22719 HAS SOPS 21309 HAS SOUS 11636 HAS SOUPS 10226 WITH SCORE 10248.719
AT ITER 7709 NEW BEST:: SOT 40668 SOS 22712 HAS SOPS 21302 HAS SOUS 11633 HAS SOUPS 10223 WITH SCORE 10245.712
AT ITER 7803 NEW BEST:: SOT 40668 SOS 22708 HAS SOPS 21302 HAS SOUS 11629 HAS SOUPS 10223 WITH SCORE 10245.708
AT ITER 7863 NEW BEST:: SOT 40588 SOS 22678 HAS SOPS 21272 HAS SOUS 11584 HAS SOUPS 10178 WITH SCORE 10200.678
AT ITER 7943 NEW BEST:: SOT 40476 SOS 22792 HAS SOPS 21432 HAS SOUS 11496 HAS SOUPS 10136 WITH SCORE 10158.792
AT ITER 7966 NEW BEST:: SOT 40507 SOS 22682 HAS SOPS 21291 HAS SOUS 11527 HAS SOUPS 10136 WITH SCORE 10158.682
AT ITER 7993 NEW BEST:: SOT 40503 SOS 22758 HAS SOPS 21348 HAS SOUS 11534 HAS SOUPS 10124 WITH SCORE 10146.758
AT ITER 8032 NEW BEST:: SOT 40502 SOS 22750 HAS SOPS 21341 HAS SOUS 11530 HAS SOUPS 10121 WITH SCORE 10143.75
AT ITER 8042 NEW BEST:: SOT 40554 SOS 22772 HAS SOPS 21362 HAS SOUS 11529 HAS SOUPS 10119 WITH SCORE 10141.772
AT ITER 8080 NEW BEST:: SOT 40554 SOS 22772 HAS SOPS 21362 HAS SOUS 11525 HAS SOUPS 10115 WITH SCORE 10137.772
AT ITER 8105 NEW BEST:: SOT 40475 SOS 22961 HAS SOPS 21601 HAS SOUS 11464 HAS SOUPS 10104 WITH SCORE 10126.961
AT ITER 8117 NEW BEST:: SOT 40475 SOS 22961 HAS SOPS 21601 HAS SOUS 11460 HAS SOUPS 10100 WITH SCORE 10122.961
AT ITER 8219 NEW BEST:: SOT 40473 SOS 22947 HAS SOPS 21587 HAS SOUS 11454 HAS SOUPS 10094 WITH SCORE 10116.947
AT ITER 8285 NEW BEST:: SOT 40463 SOS 22927 HAS SOPS 21567 HAS SOUS 11434 HAS SOUPS 10074 WITH SCORE 10096.927
AT ITER 8300 NEW BEST:: SOT 40449 SOS 22913 HAS SOPS 21553 HAS SOUS 11408 HAS SOUPS 10048 WITH SCORE 10070.913
AT ITER 8344 NEW BEST:: SOT 40449 SOS 22901 HAS SOPS 21541 HAS SOUS 11408 HAS SOUPS 10048 WITH SCORE 10070.901
AT ITER 8475 NEW BEST:: SOT 40494 SOS 22755 HAS SOPS 21358 HAS SOUS 11445 HAS SOUPS 10048 WITH SCORE 10070.755
AT ITER 8495 NEW BEST:: SOT 40495 SOS 22752 HAS SOPS 21354 HAS SOUS 11446 HAS SOUPS 10048 WITH SCORE 10070.752
AT ITER 8502 NEW BEST:: SOT 40493 SOS 22732 HAS SOPS 21340 HAS SOUS 11434 HAS SOUPS 10042 WITH SCORE 10064.732
AT ITER 8581 NEW BEST:: SOT 40493 SOS 22720 HAS SOPS 21330 HAS SOUS 11432 HAS SOUPS 10042 WITH SCORE 10064.72
AT ITER 8623 NEW BEST:: SOT 40491 SOS 22718 HAS SOPS 21328 HAS SOUS 11430 HAS SOUPS 10040 WITH SCORE 10062.718
AT ITER 8666 NEW BEST:: SOT 40491 SOS 22712 HAS SOPS 21328 HAS SOUS 11424 HAS SOUPS 10040 WITH SCORE 10062.712
AT ITER 8688 NEW BEST:: SOT 40491 SOS 22711 HAS SOPS 21328 HAS SOUS 11423 HAS SOUPS 10040 WITH SCORE 10062.711
AT ITER 8732 NEW BEST:: SOT 40487 SOS 22683 HAS SOPS 21300 HAS SOUS 11411 HAS SOUPS 10028 WITH SCORE 10050.683
AT ITER 8761 NEW BEST:: SOT 40481 SOS 22785 HAS SOPS 21378 HAS SOUS 11417 HAS SOUPS 10010 WITH SCORE 10032.785
AT ITER 8783 NEW BEST:: SOT 40481 SOS 22777 HAS SOPS 21370 HAS SOUS 11417 HAS SOUPS 10010 WITH SCORE 10032.777
AT ITER 8891 NEW BEST:: SOT 40498 SOS 22790 HAS SOPS 21383 HAS SOUS 11414 HAS SOUPS 10007 WITH SCORE 10029.79
AT ITER 8918 NEW BEST:: SOT 40428 SOS 22748 HAS SOPS 21341 HAS SOUS 11407 HAS SOUPS 10000 WITH SCORE 10022.748
AT ITER 8936 NEW BEST:: SOT 40422 SOS 22735 HAS SOPS 21328 HAS SOUS 11398 HAS SOUPS 9991 WITH SCORE 10013.735
AT ITER 8998 NEW BEST:: SOT 40357 SOS 22735 HAS SOPS 21328 HAS SOUS 11383 HAS SOUPS 9976 WITH SCORE 9998.735
AT ITER 9012 NEW BEST:: SOT 40357 SOS 22735 HAS SOPS 21328 HAS SOUS 11379 HAS SOUPS 9972 WITH SCORE 9994.735
AT ITER 9070 NEW BEST:: SOT 40360 SOS 22735 HAS SOPS 21328 HAS SOUS 11373 HAS SOUPS 9966 WITH SCORE 9988.735
AT ITER 9187 NEW BEST:: SOT 40359 SOS 22721 HAS SOPS 21322 HAS SOUS 11362 HAS SOUPS 9963 WITH SCORE 9985.721
AT ITER 9244 NEW BEST:: SOT 40333 SOS 22708 HAS SOPS 21309 HAS SOUS 11362 HAS SOUPS 9963 WITH SCORE 9985.708
AT ITER 9272 NEW BEST:: SOT 40324 SOS 22696 HAS SOPS 21297 HAS SOUS 11344 HAS SOUPS 9945 WITH SCORE 9967.696
AT ITER 9280 NEW BEST:: SOT 40322 SOS 22771 HAS SOPS 21372 HAS SOUS 11338 HAS SOUPS 9939 WITH SCORE 9961.771
AT ITER 9431 NEW BEST:: SOT 40327 SOS 22756 HAS SOPS 21352 HAS SOUS 11343 HAS SOUPS 9939 WITH SCORE 9961.756
AT ITER 9467 NEW BEST:: SOT 40327 SOS 22741 HAS SOPS 21337 HAS SOUS 11343 HAS SOUPS 9939 WITH SCORE 9961.741
AT ITER 9472 NEW BEST:: SOT 40320 SOS 22734 HAS SOPS 21330 HAS SOUS 11338 HAS SOUPS 9934 WITH SCORE 9956.734
AT ITER 9482 NEW BEST:: SOT 40313 SOS 22720 HAS SOPS 21316 HAS SOUS 11324 HAS SOUPS 9920 WITH SCORE 9942.72
AT ITER 9564 NEW BEST:: SOT 40312 SOS 22753 HAS SOPS 21349 HAS SOUS 11321 HAS SOUPS 9917 WITH SCORE 9939.753
AT ITER 9584 NEW BEST:: SOT 40312 SOS 22748 HAS SOPS 21344 HAS SOUS 11321 HAS SOUPS 9917 WITH SCORE 9939.748
AT ITER 9620 NEW BEST:: SOT 40311 SOS 22741 HAS SOPS 21337 HAS SOUS 11316 HAS SOUPS 9912 WITH SCORE 9934.741
AT ITER 9629 NEW BEST:: SOT 40309 SOS 22739 HAS SOPS 21335 HAS SOUS 11312 HAS SOUPS 9908 WITH SCORE 9930.739
AT ITER 9678 NEW BEST:: SOT 40322 SOS 22746 HAS SOPS 21342 HAS SOUS 11308 HAS SOUPS 9904 WITH SCORE 9926.746
AT ITER 9707 NEW BEST:: SOT 40318 SOS 22742 HAS SOPS 21338 HAS SOUS 11304 HAS SOUPS 9900 WITH SCORE 9922.742
AT ITER 9763 NEW BEST:: SOT 40317 SOS 22744 HAS SOPS 21340 HAS SOUS 11302 HAS SOUPS 9898 WITH SCORE 9920.744
AT ITER 9803 NEW BEST:: SOT 40280 SOS 22750 HAS SOPS 21356 HAS SOUS 11277 HAS SOUPS 9883 WITH SCORE 9905.75
AT ITER 9832 NEW BEST:: SOT 40270 SOS 22735 HAS SOPS 21341 HAS SOUS 11247 HAS SOUPS 9853 WITH SCORE 9875.735
AT ITER 9838 NEW BEST:: SOT 40253 SOS 22722 HAS SOPS 21328 HAS SOUS 11233 HAS SOUPS 9839 WITH SCORE 9861.722
AT ITER 9880 NEW BEST:: SOT 40252 SOS 22713 HAS SOPS 21321 HAS SOUS 11228 HAS SOUPS 9836 WITH SCORE 9858.713
AT ITER 9884 NEW BEST:: SOT 40249 SOS 22710 HAS SOPS 21318 HAS SOUS 11222 HAS SOUPS 9830 WITH SCORE 9852.71
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11070432 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122976 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="CSRepetitions-PT-05"
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 CSRepetitions-PT-05, 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 r075-smll-167814400600080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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