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.r299-tall-167873952400048.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 PhaseVariation-PT-D10CS100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873952400048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 8.3K Feb 26 15:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 15:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 15:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 15:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 15:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 26 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 26 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 2.9M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679440806858

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=PhaseVariation-PT-D10CS100
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 23:20:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 23:20:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 23:20:08] [INFO ] Load time of PNML (sax parser for PT used): 204 ms
[2023-03-21 23:20:08] [INFO ] Transformed 302 places.
[2023-03-21 23:20:08] [INFO ] Transformed 3137 transitions.
[2023-03-21 23:20:08] [INFO ] Parsed PT model containing 302 places and 3137 transitions and 21755 arcs in 295 ms.
[2023-03-21 23:20:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 302 places, 3137 transitions and 21755 arcs took 49 ms.
Total runtime 372 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhaseVariation (PT), instance D10CS100
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: 302 places, 3137 transitions, 21755 arcs.
AT ITER 0 NEW BEST:: SOT 919740 SOS 665353 HAS SOPS 584195 HAS SOUS 522442 HAS SOUPS 508525 WITH SCORE 509190.353
AT ITER 1 NEW BEST:: SOT 919740 SOS 665101 HAS SOPS 583115 HAS SOUS 521648 HAS SOUPS 507117 WITH SCORE 507782.101
AT ITER 2 NEW BEST:: SOT 919740 SOS 664414 HAS SOPS 582713 HAS SOUS 521952 HAS SOUPS 506989 WITH SCORE 507653.414
AT ITER 3 NEW BEST:: SOT 919740 SOS 664023 HAS SOPS 581489 HAS SOUS 519602 HAS SOUPS 504558 WITH SCORE 505222.023
AT ITER 5 NEW BEST:: SOT 919740 SOS 663958 HAS SOPS 580787 HAS SOUS 519563 HAS SOUPS 503882 WITH SCORE 504545.958
AT ITER 6 NEW BEST:: SOT 919740 SOS 665816 HAS SOPS 580787 HAS SOUS 518281 HAS SOUPS 502312 WITH SCORE 502977.816
AT ITER 7 NEW BEST:: SOT 919740 SOS 667277 HAS SOPS 581147 HAS SOUS 518622 HAS SOUPS 502046 WITH SCORE 502713.277
AT ITER 8 NEW BEST:: SOT 919740 SOS 667473 HAS SOPS 581147 HAS SOUS 518426 HAS SOUPS 501850 WITH SCORE 502517.473
AT ITER 10 NEW BEST:: SOT 919740 SOS 667733 HAS SOPS 580961 HAS SOUS 518569 HAS SOUPS 501776 WITH SCORE 502443.733
AT ITER 11 NEW BEST:: SOT 919740 SOS 666916 HAS SOPS 582215 HAS SOUS 515540 HAS SOUPS 498977 WITH SCORE 499643.916
AT ITER 13 NEW BEST:: SOT 919740 SOS 668229 HAS SOPS 585023 HAS SOUS 513054 HAS SOUPS 496609 WITH SCORE 497277.229
AT ITER 14 NEW BEST:: SOT 919740 SOS 669231 HAS SOPS 585023 HAS SOUS 512124 HAS SOUPS 495643 WITH SCORE 496312.231
AT ITER 15 NEW BEST:: SOT 919740 SOS 670549 HAS SOPS 585023 HAS SOUS 510874 HAS SOUPS 494359 WITH SCORE 495029.549
AT ITER 16 NEW BEST:: SOT 919740 SOS 670585 HAS SOPS 585023 HAS SOUS 510832 HAS SOUPS 494317 WITH SCORE 494987.585
AT ITER 17 NEW BEST:: SOT 919740 SOS 670655 HAS SOPS 585371 HAS SOUS 510497 HAS SOUPS 494102 WITH SCORE 494772.655
AT ITER 19 NEW BEST:: SOT 919740 SOS 671143 HAS SOPS 585371 HAS SOUS 510009 HAS SOUPS 493614 WITH SCORE 494285.143
AT ITER 22 NEW BEST:: SOT 919740 SOS 671143 HAS SOPS 585371 HAS SOUS 509929 HAS SOUPS 493534 WITH SCORE 494205.143
AT ITER 24 NEW BEST:: SOT 919790 SOS 671328 HAS SOPS 585109 HAS SOUS 510282 HAS SOUPS 493525 WITH SCORE 494196.328
AT ITER 27 NEW BEST:: SOT 919790 SOS 671729 HAS SOPS 586771 HAS SOUS 508580 HAS SOUPS 491981 WITH SCORE 492652.729
AT ITER 29 NEW BEST:: SOT 919790 SOS 672531 HAS SOPS 587155 HAS SOUS 506459 HAS SOUPS 489766 WITH SCORE 490438.531
AT ITER 32 NEW BEST:: SOT 919790 SOS 671632 HAS SOPS 588847 HAS SOUS 505126 HAS SOUPS 488535 WITH SCORE 489206.632
AT ITER 33 NEW BEST:: SOT 919790 SOS 672050 HAS SOPS 588847 HAS SOUS 504708 HAS SOUPS 488117 WITH SCORE 488789.05
AT ITER 34 NEW BEST:: SOT 919790 SOS 672054 HAS SOPS 589003 HAS SOUS 504372 HAS SOUPS 487773 WITH SCORE 488445.054
AT ITER 35 NEW BEST:: SOT 919790 SOS 670236 HAS SOPS 586591 HAS SOUS 501494 HAS SOUPS 484831 WITH SCORE 485501.236
AT ITER 36 NEW BEST:: SOT 919790 SOS 670997 HAS SOPS 586735 HAS SOUS 501483 HAS SOUPS 484381 WITH SCORE 485051.997
AT ITER 37 NEW BEST:: SOT 919790 SOS 670853 HAS SOPS 586849 HAS SOUS 501366 HAS SOUPS 484260 WITH SCORE 484930.853
AT ITER 38 NEW BEST:: SOT 919790 SOS 670820 HAS SOPS 586471 HAS SOUS 501041 HAS SOUPS 483736 WITH SCORE 484406.82
AT ITER 41 NEW BEST:: SOT 919790 SOS 671000 HAS SOPS 586471 HAS SOUS 500861 HAS SOUPS 483556 WITH SCORE 484227.0
AT ITER 42 NEW BEST:: SOT 919790 SOS 670633 HAS SOPS 587659 HAS SOUS 499395 HAS SOUPS 481913 WITH SCORE 482583.633
AT ITER 46 NEW BEST:: SOT 919790 SOS 670633 HAS SOPS 587659 HAS SOUS 498032 HAS SOUPS 480550 WITH SCORE 481220.633
AT ITER 47 NEW BEST:: SOT 919790 SOS 670731 HAS SOPS 587659 HAS SOUS 497943 HAS SOUPS 480461 WITH SCORE 481131.731
AT ITER 49 NEW BEST:: SOT 919790 SOS 671349 HAS SOPS 588571 HAS SOUS 497670 HAS SOUPS 480192 WITH SCORE 480863.349
AT ITER 52 NEW BEST:: SOT 919790 SOS 671648 HAS SOPS 588103 HAS SOUS 496832 HAS SOUPS 479125 WITH SCORE 479796.648
AT ITER 55 NEW BEST:: SOT 919790 SOS 673610 HAS SOPS 588103 HAS SOUS 494870 HAS SOUPS 477163 WITH SCORE 477836.61
AT ITER 56 NEW BEST:: SOT 919790 SOS 673419 HAS SOPS 589921 HAS SOUS 493987 HAS SOUPS 476738 WITH SCORE 477411.419
AT ITER 57 NEW BEST:: SOT 919790 SOS 673450 HAS SOPS 590113 HAS SOUS 493292 HAS SOUPS 476196 WITH SCORE 476869.45
AT ITER 58 NEW BEST:: SOT 919790 SOS 673308 HAS SOPS 589969 HAS SOUS 493138 HAS SOUPS 476050 WITH SCORE 476723.308
AT ITER 59 NEW BEST:: SOT 919790 SOS 674557 HAS SOPS 590437 HAS SOUS 492487 HAS SOUPS 475399 WITH SCORE 476073.557
AT ITER 60 NEW BEST:: SOT 919790 SOS 675257 HAS SOPS 590437 HAS SOUS 491787 HAS SOUPS 474699 WITH SCORE 475374.257
AT ITER 63 NEW BEST:: SOT 919790 SOS 676571 HAS SOPS 590815 HAS SOUS 491106 HAS SOUPS 473985 WITH SCORE 474661.571
AT ITER 64 NEW BEST:: SOT 919790 SOS 677169 HAS SOPS 592705 HAS SOUS 489693 HAS SOUPS 472775 WITH SCORE 473452.169
AT ITER 67 NEW BEST:: SOT 919790 SOS 676552 HAS SOPS 591625 HAS SOUS 487237 HAS SOUPS 470406 WITH SCORE 471082.552
AT ITER 68 NEW BEST:: SOT 919790 SOS 677764 HAS SOPS 591139 HAS SOUS 484444 HAS SOUPS 467535 WITH SCORE 468212.764
AT ITER 71 NEW BEST:: SOT 919974 SOS 679300 HAS SOPS 592331 HAS SOUS 482458 HAS SOUPS 465480 WITH SCORE 466159.3
AT ITER 72 NEW BEST:: SOT 919974 SOS 680124 HAS SOPS 592241 HAS SOUS 480334 HAS SOUPS 463318 WITH SCORE 463998.124
AT ITER 74 NEW BEST:: SOT 919974 SOS 680306 HAS SOPS 591973 HAS SOUS 480426 HAS SOUPS 462904 WITH SCORE 463584.306
AT ITER 76 NEW BEST:: SOT 919974 SOS 680933 HAS SOPS 592549 HAS SOUS 477308 HAS SOUPS 459793 WITH SCORE 460473.933
AT ITER 77 NEW BEST:: SOT 919974 SOS 680586 HAS SOPS 591739 HAS SOUS 475808 HAS SOUPS 458289 WITH SCORE 458969.586
AT ITER 78 NEW BEST:: SOT 919974 SOS 680823 HAS SOPS 591739 HAS SOUS 475729 HAS SOUPS 458098 WITH SCORE 458778.823
AT ITER 79 NEW BEST:: SOT 919974 SOS 680284 HAS SOPS 592957 HAS SOUS 473747 HAS SOUPS 456326 WITH SCORE 457006.284
AT ITER 84 NEW BEST:: SOT 919974 SOS 680787 HAS SOPS 592951 HAS SOUS 473541 HAS SOUPS 455434 WITH SCORE 456114.787
AT ITER 85 NEW BEST:: SOT 919974 SOS 679861 HAS SOPS 591835 HAS SOUS 470905 HAS SOUPS 452478 WITH SCORE 453157.861
AT ITER 88 NEW BEST:: SOT 919974 SOS 679892 HAS SOPS 591691 HAS SOUS 470937 HAS SOUPS 452446 WITH SCORE 453125.892
AT ITER 89 NEW BEST:: SOT 919974 SOS 680501 HAS SOPS 592015 HAS SOUS 470108 HAS SOUPS 451566 WITH SCORE 452246.501
AT ITER 90 NEW BEST:: SOT 919974 SOS 680794 HAS SOPS 591727 HAS SOUS 468656 HAS SOUPS 450086 WITH SCORE 450766.794
AT ITER 93 NEW BEST:: SOT 919974 SOS 679292 HAS SOPS 590719 HAS SOUS 467633 HAS SOUPS 449141 WITH SCORE 449820.292
AT ITER 94 NEW BEST:: SOT 919974 SOS 680278 HAS SOPS 590719 HAS SOUS 466715 HAS SOUPS 448183 WITH SCORE 448863.278
AT ITER 95 NEW BEST:: SOT 919974 SOS 680164 HAS SOPS 591691 HAS SOUS 465678 HAS SOUPS 447293 WITH SCORE 447973.164
AT ITER 96 NEW BEST:: SOT 919974 SOS 681474 HAS SOPS 594943 HAS SOUS 464502 HAS SOUPS 446411 WITH SCORE 447092.474
AT ITER 97 NEW BEST:: SOT 919974 SOS 682481 HAS SOPS 594547 HAS SOUS 464383 HAS SOUPS 446227 WITH SCORE 446909.481
AT ITER 98 NEW BEST:: SOT 919974 SOS 682201 HAS SOPS 593983 HAS SOUS 463150 HAS SOUPS 445027 WITH SCORE 445709.201
AT ITER 99 NEW BEST:: SOT 919974 SOS 682317 HAS SOPS 593983 HAS SOUS 463034 HAS SOUPS 444911 WITH SCORE 445593.317
AT ITER 101 NEW BEST:: SOT 919974 SOS 681783 HAS SOPS 594415 HAS SOUS 462621 HAS SOUPS 444569 WITH SCORE 445250.783
AT ITER 102 NEW BEST:: SOT 919974 SOS 681740 HAS SOPS 594319 HAS SOUS 462110 HAS SOUPS 444083 WITH SCORE 444764.74
AT ITER 107 NEW BEST:: SOT 919974 SOS 681090 HAS SOPS 595345 HAS SOUS 462042 HAS SOUPS 444072 WITH SCORE 444753.09
AT ITER 108 NEW BEST:: SOT 919974 SOS 682294 HAS SOPS 595897 HAS SOUS 461888 HAS SOUPS 443918 WITH SCORE 444600.294
AT ITER 110 NEW BEST:: SOT 919974 SOS 682777 HAS SOPS 596035 HAS SOUS 461384 HAS SOUPS 443270 WITH SCORE 443952.777
AT ITER 112 NEW BEST:: SOT 919974 SOS 683687 HAS SOPS 595279 HAS SOUS 461244 HAS SOUPS 443100 WITH SCORE 443783.687
AT ITER 113 NEW BEST:: SOT 919974 SOS 683687 HAS SOPS 595279 HAS SOUS 461240 HAS SOUPS 443096 WITH SCORE 443779.687
AT ITER 115 NEW BEST:: SOT 919974 SOS 683969 HAS SOPS 595279 HAS SOUS 460938 HAS SOUPS 442794 WITH SCORE 443477.969
AT ITER 117 NEW BEST:: SOT 919974 SOS 683017 HAS SOPS 594727 HAS SOUS 460165 HAS SOUPS 442022 WITH SCORE 442705.017
AT ITER 118 NEW BEST:: SOT 919974 SOS 682041 HAS SOPS 594007 HAS SOUS 458367 HAS SOUPS 440329 WITH SCORE 441011.041
AT ITER 119 NEW BEST:: SOT 919974 SOS 681309 HAS SOPS 593467 HAS SOUS 457825 HAS SOUPS 439825 WITH SCORE 440506.309
AT ITER 129 NEW BEST:: SOT 919974 SOS 681362 HAS SOPS 593683 HAS SOUS 457649 HAS SOUPS 439726 WITH SCORE 440407.362
AT ITER 130 NEW BEST:: SOT 919974 SOS 679834 HAS SOPS 593323 HAS SOUS 456467 HAS SOUPS 438664 WITH SCORE 439343.834
AT ITER 131 NEW BEST:: SOT 919974 SOS 681889 HAS SOPS 596389 HAS SOUS 454794 HAS SOUPS 437259 WITH SCORE 437940.889
AT ITER 132 NEW BEST:: SOT 919974 SOS 681551 HAS SOPS 595435 HAS SOUS 454101 HAS SOUPS 436566 WITH SCORE 437247.551
AT ITER 134 NEW BEST:: SOT 920058 SOS 681951 HAS SOPS 595987 HAS SOUS 453999 HAS SOUPS 436525 WITH SCORE 437206.951
AT ITER 135 NEW BEST:: SOT 920058 SOS 682141 HAS SOPS 596509 HAS SOUS 453849 HAS SOUPS 436404 WITH SCORE 437086.141
AT ITER 136 NEW BEST:: SOT 920058 SOS 682915 HAS SOPS 596221 HAS SOUS 453610 HAS SOUPS 436126 WITH SCORE 436808.915
AT ITER 138 NEW BEST:: SOT 920058 SOS 682763 HAS SOPS 595915 HAS SOUS 453433 HAS SOUPS 435947 WITH SCORE 436629.763
AT ITER 139 NEW BEST:: SOT 920058 SOS 682440 HAS SOPS 596485 HAS SOUS 453118 HAS SOUPS 435729 WITH SCORE 436411.44
AT ITER 140 NEW BEST:: SOT 920076 SOS 682423 HAS SOPS 596503 HAS SOUS 453041 HAS SOUPS 435686 WITH SCORE 436368.423
AT ITER 141 NEW BEST:: SOT 920076 SOS 680917 HAS SOPS 594223 HAS SOUS 452305 HAS SOUPS 434950 WITH SCORE 435630.917
AT ITER 142 NEW BEST:: SOT 920076 SOS 680722 HAS SOPS 594499 HAS SOUS 452224 HAS SOUPS 434915 WITH SCORE 435595.722
AT ITER 144 NEW BEST:: SOT 920076 SOS 682565 HAS SOPS 596587 HAS SOUS 449720 HAS SOUPS 432589 WITH SCORE 433271.565
AT ITER 145 NEW BEST:: SOT 920076 SOS 683626 HAS SOPS 599515 HAS SOUS 447372 HAS SOUPS 430622 WITH SCORE 431305.626
AT ITER 148 NEW BEST:: SOT 920076 SOS 683920 HAS SOPS 599725 HAS SOUS 447611 HAS SOUPS 430299 WITH SCORE 430982.92
AT ITER 149 NEW BEST:: SOT 920076 SOS 681655 HAS SOPS 597271 HAS SOUS 445834 HAS SOUPS 428492 WITH SCORE 429173.655
AT ITER 150 NEW BEST:: SOT 920076 SOS 682199 HAS SOPS 597829 HAS SOUS 443822 HAS SOUPS 426553 WITH SCORE 427235.199
AT ITER 151 NEW BEST:: SOT 920076 SOS 680956 HAS SOPS 597631 HAS SOUS 442629 HAS SOUPS 425483 WITH SCORE 426163.956
AT ITER 155 NEW BEST:: SOT 920076 SOS 680601 HAS SOPS 596875 HAS SOUS 441036 HAS SOUPS 423886 WITH SCORE 424566.601
AT ITER 162 NEW BEST:: SOT 920076 SOS 680958 HAS SOPS 597379 HAS SOUS 440763 HAS SOUPS 423634 WITH SCORE 424314.958
AT ITER 163 NEW BEST:: SOT 920076 SOS 681559 HAS SOPS 597505 HAS SOUS 440458 HAS SOUPS 423311 WITH SCORE 423992.559
AT ITER 164 NEW BEST:: SOT 920076 SOS 683751 HAS SOPS 599749 HAS SOUS 437512 HAS SOUPS 420580 WITH SCORE 421263.751
AT ITER 167 NEW BEST:: SOT 920076 SOS 684914 HAS SOPS 600811 HAS SOUS 437011 HAS SOUPS 420079 WITH SCORE 420763.914
AT ITER 168 NEW BEST:: SOT 920076 SOS 684918 HAS SOPS 600811 HAS SOUS 437019 HAS SOUPS 420075 WITH SCORE 420759.918
AT ITER 170 NEW BEST:: SOT 920076 SOS 684889 HAS SOPS 600811 HAS SOUS 436555 HAS SOUPS 419640 WITH SCORE 420324.889
AT ITER 171 NEW BEST:: SOT 920076 SOS 684661 HAS SOPS 600469 HAS SOUS 436061 HAS SOUPS 419165 WITH SCORE 419849.661
AT ITER 172 NEW BEST:: SOT 920076 SOS 685170 HAS SOPS 601387 HAS SOUS 435243 HAS SOUPS 418358 WITH SCORE 419043.17
AT ITER 173 NEW BEST:: SOT 920076 SOS 684862 HAS SOPS 600919 HAS SOUS 435027 HAS SOUPS 418142 WITH SCORE 418826.862
AT ITER 174 NEW BEST:: SOT 920076 SOS 684703 HAS SOPS 600307 HAS SOUS 434784 HAS SOUPS 417899 WITH SCORE 418583.703
AT ITER 181 NEW BEST:: SOT 920076 SOS 686661 HAS SOPS 603583 HAS SOUS 431687 HAS SOUPS 415275 WITH SCORE 415961.661
AT ITER 183 NEW BEST:: SOT 920076 SOS 687716 HAS SOPS 603775 HAS SOUS 431280 HAS SOUPS 414850 WITH SCORE 415537.716
AT ITER 186 NEW BEST:: SOT 920076 SOS 685330 HAS SOPS 601111 HAS SOUS 428265 HAS SOUPS 411983 WITH SCORE 412668.33
AT ITER 187 NEW BEST:: SOT 920076 SOS 684954 HAS SOPS 600403 HAS SOUS 427862 HAS SOUPS 411506 WITH SCORE 412190.954
AT ITER 188 NEW BEST:: SOT 920076 SOS 684796 HAS SOPS 599683 HAS SOUS 426579 HAS SOUPS 410263 WITH SCORE 410947.796
AT ITER 191 NEW BEST:: SOT 920142 SOS 684937 HAS SOPS 598231 HAS SOUS 423724 HAS SOUPS 407325 WITH SCORE 408009.937
AT ITER 193 NEW BEST:: SOT 920142 SOS 685065 HAS SOPS 600517 HAS SOUS 422784 HAS SOUPS 406531 WITH SCORE 407216.065
AT ITER 196 NEW BEST:: SOT 920142 SOS 685448 HAS SOPS 600247 HAS SOUS 422705 HAS SOUPS 406421 WITH SCORE 407106.448
AT ITER 197 NEW BEST:: SOT 920142 SOS 684628 HAS SOPS 599227 HAS SOUS 422522 HAS SOUPS 406238 WITH SCORE 406922.628
AT ITER 198 NEW BEST:: SOT 920142 SOS 683560 HAS SOPS 598449 HAS SOUS 420774 HAS SOUPS 404385 WITH SCORE 405068.56
AT ITER 199 NEW BEST:: SOT 920142 SOS 683944 HAS SOPS 599157 HAS SOUS 419552 HAS SOUPS 403158 WITH SCORE 403841.944
AT ITER 200 NEW BEST:: SOT 920142 SOS 684456 HAS SOPS 599445 HAS SOUS 419297 HAS SOUPS 402888 WITH SCORE 403572.456
AT ITER 201 NEW BEST:: SOT 920216 SOS 683441 HAS SOPS 598499 HAS SOUS 418625 HAS SOUPS 402370 WITH SCORE 403053.441
AT ITER 207 NEW BEST:: SOT 920216 SOS 683733 HAS SOPS 598639 HAS SOUS 418623 HAS SOUPS 402368 WITH SCORE 403051.733
AT ITER 211 NEW BEST:: SOT 920216 SOS 684690 HAS SOPS 600499 HAS SOUS 417580 HAS SOUPS 401273 WITH SCORE 401957.69
AT ITER 212 NEW BEST:: SOT 920216 SOS 684997 HAS SOPS 599887 HAS SOUS 416239 HAS SOUPS 399865 WITH SCORE 400549.997
AT ITER 213 NEW BEST:: SOT 920216 SOS 684662 HAS SOPS 600745 HAS SOUS 415639 HAS SOUPS 399408 WITH SCORE 400092.662
AT ITER 214 NEW BEST:: SOT 920216 SOS 684674 HAS SOPS 600817 HAS SOUS 415584 HAS SOUPS 399395 WITH SCORE 400079.674
AT ITER 215 NEW BEST:: SOT 920216 SOS 684686 HAS SOPS 601117 HAS SOUS 415118 HAS SOUPS 399162 WITH SCORE 399846.686
AT ITER 220 NEW BEST:: SOT 920216 SOS 684986 HAS SOPS 601117 HAS SOUS 414818 HAS SOUPS 398862 WITH SCORE 399546.986
AT ITER 221 NEW BEST:: SOT 920216 SOS 684947 HAS SOPS 601091 HAS SOUS 414610 HAS SOUPS 398667 WITH SCORE 399351.947
AT ITER 223 NEW BEST:: SOT 920216 SOS 684821 HAS SOPS 601061 HAS SOUS 414344 HAS SOUPS 398401 WITH SCORE 399085.821
AT ITER 227 NEW BEST:: SOT 920216 SOS 684800 HAS SOPS 601085 HAS SOUS 414276 HAS SOUPS 398333 WITH SCORE 399017.8
AT ITER 229 NEW BEST:: SOT 920216 SOS 684783 HAS SOPS 601085 HAS SOUS 413658 HAS SOUPS 397715 WITH SCORE 398399.783
AT ITER 230 NEW BEST:: SOT 920216 SOS 684821 HAS SOPS 601661 HAS SOUS 413160 HAS SOUPS 397603 WITH SCORE 398287.821
AT ITER 231 NEW BEST:: SOT 920216 SOS 685882 HAS SOPS 603669 HAS SOUS 412529 HAS SOUPS 397125 WITH SCORE 397810.882
AT ITER 232 NEW BEST:: SOT 920216 SOS 685826 HAS SOPS 603669 HAS SOUS 412474 HAS SOUPS 397124 WITH SCORE 397809.826
AT ITER 234 NEW BEST:: SOT 920216 SOS 685381 HAS SOPS 603795 HAS SOUS 411581 HAS SOUPS 396323 WITH SCORE 397008.381
AT ITER 235 NEW BEST:: SOT 920216 SOS 685232 HAS SOPS 603615 HAS SOUS 411189 HAS SOUPS 395974 WITH SCORE 396659.232
AT ITER 237 NEW BEST:: SOT 920216 SOS 684900 HAS SOPS 603507 HAS SOUS 409982 HAS SOUPS 394842 WITH SCORE 395526.9
AT ITER 238 NEW BEST:: SOT 920216 SOS 684817 HAS SOPS 606207 HAS SOUS 408126 HAS SOUPS 393592 WITH SCORE 394276.817
AT ITER 242 NEW BEST:: SOT 920216 SOS 684429 HAS SOPS 607863 HAS SOUS 407456 HAS SOUPS 393080 WITH SCORE 393764.429
AT ITER 244 NEW BEST:: SOT 920216 SOS 685047 HAS SOPS 607863 HAS SOUS 407390 HAS SOUPS 392685 WITH SCORE 393370.047
AT ITER 247 NEW BEST:: SOT 920216 SOS 685091 HAS SOPS 607863 HAS SOUS 407368 HAS SOUPS 392663 WITH SCORE 393348.091
AT ITER 248 NEW BEST:: SOT 920216 SOS 685566 HAS SOPS 608571 HAS SOUS 406417 HAS SOUPS 391968 WITH SCORE 392653.566
AT ITER 251 NEW BEST:: SOT 920216 SOS 684876 HAS SOPS 607755 HAS SOUS 405149 HAS SOUPS 390721 WITH SCORE 391405.876
AT ITER 252 NEW BEST:: SOT 920216 SOS 684911 HAS SOPS 607413 HAS SOUS 404716 HAS SOUPS 390288 WITH SCORE 390972.911
AT ITER 253 NEW BEST:: SOT 920216 SOS 685216 HAS SOPS 607413 HAS SOUS 404538 HAS SOUPS 390006 WITH SCORE 390691.216
AT ITER 256 NEW BEST:: SOT 920216 SOS 685291 HAS SOPS 607581 HAS SOUS 404475 HAS SOUPS 389987 WITH SCORE 390672.291
AT ITER 257 NEW BEST:: SOT 920216 SOS 685338 HAS SOPS 607581 HAS SOUS 404168 HAS SOUPS 389675 WITH SCORE 390360.338
AT ITER 258 NEW BEST:: SOT 920216 SOS 685338 HAS SOPS 607581 HAS SOUS 402896 HAS SOUPS 388403 WITH SCORE 389088.338
AT ITER 259 NEW BEST:: SOT 920216 SOS 685199 HAS SOPS 607137 HAS SOUS 402827 HAS SOUPS 388187 WITH SCORE 388872.199
AT ITER 260 NEW BEST:: SOT 920216 SOS 685427 HAS SOPS 608757 HAS SOUS 401969 HAS SOUPS 387420 WITH SCORE 388105.427
AT ITER 261 NEW BEST:: SOT 920216 SOS 684833 HAS SOPS 609663 HAS SOUS 399434 HAS SOUPS 385057 WITH SCORE 385741.833
AT ITER 262 NEW BEST:: SOT 920216 SOS 684067 HAS SOPS 610059 HAS SOUS 398622 HAS SOUPS 384364 WITH SCORE 385048.067
AT ITER 264 NEW BEST:: SOT 920216 SOS 684580 HAS SOPS 610185 HAS SOUS 398389 HAS SOUPS 384137 WITH SCORE 384821.58
AT ITER 269 NEW BEST:: SOT 920216 SOS 684601 HAS SOPS 610227 HAS SOUS 398198 HAS SOUPS 383946 WITH SCORE 384630.601
AT ITER 274 NEW BEST:: SOT 920216 SOS 684601 HAS SOPS 610227 HAS SOUS 397901 HAS SOUPS 383649 WITH SCORE 384333.601
AT ITER 275 NEW BEST:: SOT 920216 SOS 684580 HAS SOPS 610515 HAS SOUS 397668 HAS SOUPS 383478 WITH SCORE 384162.58
AT ITER 279 NEW BEST:: SOT 920216 SOS 684283 HAS SOPS 609615 HAS SOUS 397123 HAS SOUPS 382866 WITH SCORE 383550.283
AT ITER 281 NEW BEST:: SOT 920216 SOS 684432 HAS SOPS 609831 HAS SOUS 396866 HAS SOUPS 382609 WITH SCORE 383293.432
AT ITER 282 NEW BEST:: SOT 920216 SOS 684417 HAS SOPS 609705 HAS SOUS 396222 HAS SOUPS 382017 WITH SCORE 382701.417
AT ITER 286 NEW BEST:: SOT 920216 SOS 684227 HAS SOPS 610113 HAS SOUS 395550 HAS SOUPS 381410 WITH SCORE 382094.227
AT ITER 287 NEW BEST:: SOT 920216 SOS 684924 HAS SOPS 611103 HAS SOUS 394312 HAS SOUPS 380243 WITH SCORE 380927.924
AT ITER 288 NEW BEST:: SOT 920216 SOS 685096 HAS SOPS 611103 HAS SOUS 394224 HAS SOUPS 380155 WITH SCORE 380840.096
AT ITER 295 NEW BEST:: SOT 920216 SOS 686881 HAS SOPS 614547 HAS SOUS 393863 HAS SOUPS 379860 WITH SCORE 380546.881
AT ITER 296 NEW BEST:: SOT 920292 SOS 685583 HAS SOPS 613891 HAS SOUS 392957 HAS SOUPS 379111 WITH SCORE 379796.583
AT ITER 297 NEW BEST:: SOT 920292 SOS 685583 HAS SOPS 613891 HAS SOUS 392622 HAS SOUPS 378776 WITH SCORE 379461.583
AT ITER 304 NEW BEST:: SOT 920292 SOS 685696 HAS SOPS 613963 HAS SOUS 392577 HAS SOUPS 378731 WITH SCORE 379416.696
AT ITER 305 NEW BEST:: SOT 920292 SOS 685900 HAS SOPS 614137 HAS SOUS 391643 HAS SOUPS 377797 WITH SCORE 378482.9
AT ITER 307 NEW BEST:: SOT 920292 SOS 686090 HAS SOPS 614875 HAS SOUS 391051 HAS SOUPS 377251 WITH SCORE 377937.09
AT ITER 311 NEW BEST:: SOT 920292 SOS 685756 HAS SOPS 614527 HAS SOUS 390802 HAS SOUPS 377002 WITH SCORE 377687.756
AT ITER 313 NEW BEST:: SOT 920292 SOS 685853 HAS SOPS 614527 HAS SOUS 390716 HAS SOUPS 376916 WITH SCORE 377601.853
AT ITER 318 NEW BEST:: SOT 920292 SOS 685965 HAS SOPS 614527 HAS SOUS 390164 HAS SOUPS 376330 WITH SCORE 377015.965
AT ITER 320 NEW BEST:: SOT 920292 SOS 685493 HAS SOPS 613213 HAS SOUS 390598 HAS SOUPS 376207 WITH SCORE 376892.493
AT ITER 321 NEW BEST:: SOT 920292 SOS 686460 HAS SOPS 617569 HAS SOUS 387937 HAS SOUPS 374258 WITH SCORE 374944.46
AT ITER 329 NEW BEST:: SOT 920292 SOS 687250 HAS SOPS 618697 HAS SOUS 386906 HAS SOUPS 373227 WITH SCORE 373914.25
AT ITER 330 NEW BEST:: SOT 920292 SOS 687749 HAS SOPS 619673 HAS SOUS 386426 HAS SOUPS 372677 WITH SCORE 373364.749
AT ITER 331 NEW BEST:: SOT 920292 SOS 688704 HAS SOPS 621197 HAS SOUS 386223 HAS SOUPS 372444 WITH SCORE 373132.704
AT ITER 332 NEW BEST:: SOT 920292 SOS 688947 HAS SOPS 621953 HAS SOUS 385755 HAS SOUPS 372165 WITH SCORE 372853.947
AT ITER 335 NEW BEST:: SOT 920292 SOS 688252 HAS SOPS 621431 HAS SOUS 385495 HAS SOUPS 371933 WITH SCORE 372621.252
AT ITER 336 NEW BEST:: SOT 920292 SOS 688947 HAS SOPS 623447 HAS SOUS 384123 HAS SOUPS 370741 WITH SCORE 371429.947
AT ITER 339 NEW BEST:: SOT 920292 SOS 689899 HAS SOPS 625139 HAS SOUS 383771 HAS SOUPS 370437 WITH SCORE 371126.899
AT ITER 341 NEW BEST:: SOT 920292 SOS 690151 HAS SOPS 625499 HAS SOUS 383755 HAS SOUPS 370421 WITH SCORE 371111.151
AT ITER 347 NEW BEST:: SOT 920292 SOS 689708 HAS SOPS 626003 HAS SOUS 382970 HAS SOUPS 369713 WITH SCORE 370402.708
AT ITER 349 NEW BEST:: SOT 920292 SOS 689767 HAS SOPS 626423 HAS SOUS 381983 HAS SOUPS 368802 WITH SCORE 369491.767
AT ITER 350 NEW BEST:: SOT 920292 SOS 691027 HAS SOPS 628295 HAS SOUS 381537 HAS SOUPS 368414 WITH SCORE 369105.027
AT ITER 351 NEW BEST:: SOT 920292 SOS 691261 HAS SOPS 628961 HAS SOUS 381160 HAS SOUPS 368100 WITH SCORE 368791.261
AT ITER 353 NEW BEST:: SOT 920292 SOS 692293 HAS SOPS 631889 HAS SOUS 379852 HAS SOUPS 367054 WITH SCORE 367746.293
AT ITER 357 NEW BEST:: SOT 920292 SOS 692445 HAS SOPS 632381 HAS SOUS 379089 HAS SOUPS 366479 WITH SCORE 367171.445
AT ITER 358 NEW BEST:: SOT 920292 SOS 692589 HAS SOPS 632993 HAS SOUS 379021 HAS SOUPS 366411 WITH SCORE 367103.589
AT ITER 361 NEW BEST:: SOT 920292 SOS 692970 HAS SOPS 633191 HAS SOUS 378369 HAS SOUPS 365802 WITH SCORE 366494.97
AT ITER 362 NEW BEST:: SOT 920292 SOS 693068 HAS SOPS 633755 HAS SOUS 378264 HAS SOUPS 365738 WITH SCORE 366431.068
AT ITER 365 NEW BEST:: SOT 920292 SOS 692141 HAS SOPS 632411 HAS SOUS 378118 HAS SOUPS 365592 WITH SCORE 366284.141
AT ITER 367 NEW BEST:: SOT 920292 SOS 691527 HAS SOPS 631727 HAS SOUS 377671 HAS SOUPS 365106 WITH SCORE 365797.527
AT ITER 368 NEW BEST:: SOT 920292 SOS 688202 HAS SOPS 626567 HAS SOUS 377275 HAS SOUPS 364699 WITH SCORE 365387.202
AT ITER 370 NEW BEST:: SOT 920292 SOS 687530 HAS SOPS 626747 HAS SOUS 376436 HAS SOUPS 363852 WITH SCORE 364539.53
AT ITER 372 NEW BEST:: SOT 920292 SOS 687679 HAS SOPS 626837 HAS SOUS 376367 HAS SOUPS 363783 WITH SCORE 364470.679
AT ITER 375 NEW BEST:: SOT 920292 SOS 687685 HAS SOPS 626837 HAS SOUS 376362 HAS SOUPS 363777 WITH SCORE 364464.685
AT ITER 376 NEW BEST:: SOT 920298 SOS 687760 HAS SOPS 626351 HAS SOUS 375678 HAS SOUPS 363072 WITH SCORE 363759.76
AT ITER 378 NEW BEST:: SOT 920298 SOS 688472 HAS SOPS 627827 HAS SOUS 375577 HAS SOUPS 362971 WITH SCORE 363659.472
AT ITER 383 NEW BEST:: SOT 920298 SOS 688637 HAS SOPS 627827 HAS SOUS 375507 HAS SOUPS 362901 WITH SCORE 363589.637
AT ITER 385 NEW BEST:: SOT 920268 SOS 688237 HAS SOPS 627497 HAS SOUS 374405 HAS SOUPS 361887 WITH SCORE 362575.237
AT ITER 392 NEW BEST:: SOT 920268 SOS 687941 HAS SOPS 629321 HAS SOUS 371380 HAS SOUPS 359397 WITH SCORE 360084.941
AT ITER 395 NEW BEST:: SOT 920268 SOS 687803 HAS SOPS 629339 HAS SOUS 371055 HAS SOUPS 359072 WITH SCORE 359759.803
AT ITER 396 NEW BEST:: SOT 920268 SOS 687033 HAS SOPS 628115 HAS SOUS 370828 HAS SOUPS 358845 WITH SCORE 359532.033
AT ITER 399 NEW BEST:: SOT 920268 SOS 687617 HAS SOPS 629195 HAS SOUS 370514 HAS SOUPS 358561 WITH SCORE 359248.617
AT ITER 400 NEW BEST:: SOT 920268 SOS 688810 HAS SOPS 632231 HAS SOUS 369759 HAS SOUPS 358424 WITH SCORE 359112.81
AT ITER 402 NEW BEST:: SOT 920268 SOS 689596 HAS SOPS 633563 HAS SOUS 369581 HAS SOUPS 358225 WITH SCORE 358914.596
AT ITER 406 NEW BEST:: SOT 920268 SOS 808448 HAS SOPS 631133 HAS SOUS 367168 HAS SOUPS 355199 WITH SCORE 356007.448
AT ITER 407 NEW BEST:: SOT 920268 SOS 808062 HAS SOPS 632189 HAS SOUS 366236 HAS SOUPS 354207 WITH SCORE 355015.062
AT ITER 409 NEW BEST:: SOT 920268 SOS 807977 HAS SOPS 632151 HAS SOUS 362959 HAS SOUPS 350979 WITH SCORE 351786.977
AT ITER 410 NEW BEST:: SOT 920268 SOS 807977 HAS SOPS 632151 HAS SOUS 362247 HAS SOUPS 350296 WITH SCORE 351103.977
AT ITER 413 NEW BEST:: SOT 920268 SOS 807977 HAS SOPS 632763 HAS SOUS 362096 HAS SOUPS 350179 WITH SCORE 350986.977
AT ITER 414 NEW BEST:: SOT 920268 SOS 807977 HAS SOPS 632421 HAS SOUS 361946 HAS SOUPS 349977 WITH SCORE 350784.977
AT ITER 417 NEW BEST:: SOT 920268 SOS 807977 HAS SOPS 631725 HAS SOUS 362146 HAS SOUPS 349849 WITH SCORE 350656.977
AT ITER 420 NEW BEST:: SOT 920268 SOS 807977 HAS SOPS 632409 HAS SOUS 361623 HAS SOUPS 349296 WITH SCORE 350103.977
AT ITER 425 NEW BEST:: SOT 710350 SOS 598059 HAS SOPS 462141 HAS SOUS 150940 HAS SOUPS 146149 WITH SCORE 146747.059
AT ITER 428 NEW BEST:: SOT 710182 SOS 597891 HAS SOPS 461973 HAS SOUS 150892 HAS SOUPS 146101 WITH SCORE 146698.891
AT ITER 429 NEW BEST:: SOT 709668 SOS 597377 HAS SOPS 461459 HAS SOUS 150219 HAS SOUPS 145428 WITH SCORE 146025.377
AT ITER 432 NEW BEST:: SOT 709474 SOS 597183 HAS SOPS 461265 HAS SOUS 150025 HAS SOUPS 145234 WITH SCORE 145831.183
AT ITER 440 NEW BEST:: SOT 709220 SOS 596929 HAS SOPS 461011 HAS SOUS 149531 HAS SOUPS 144740 WITH SCORE 145336.929
AT ITER 445 NEW BEST:: SOT 709220 SOS 596985 HAS SOPS 461011 HAS SOUS 149490 HAS SOUPS 144699 WITH SCORE 145295.985
AT ITER 462 NEW BEST:: SOT 710159 SOS 597924 HAS SOPS 462670 HAS SOUS 148909 HAS SOUPS 144148 WITH SCORE 144745.924
AT ITER 467 NEW BEST:: SOT 709927 SOS 597784 HAS SOPS 462438 HAS SOUS 148859 HAS SOUPS 144098 WITH SCORE 144695.784
AT ITER 471 NEW BEST:: SOT 709927 SOS 597784 HAS SOPS 462438 HAS SOUS 148756 HAS SOUPS 143995 WITH SCORE 144592.784
AT ITER 477 NEW BEST:: SOT 710392 SOS 598249 HAS SOPS 462957 HAS SOUS 147377 HAS SOUPS 142625 WITH SCORE 143223.249
AT ITER 481 NEW BEST:: SOT 710269 SOS 598148 HAS SOPS 463608 HAS SOUS 146786 HAS SOUPS 142152 WITH SCORE 142750.148
AT ITER 492 NEW BEST:: SOT 710261 SOS 598140 HAS SOPS 463600 HAS SOUS 146778 HAS SOUPS 142144 WITH SCORE 142742.14
AT ITER 495 NEW BEST:: SOT 710233 SOS 598112 HAS SOPS 463572 HAS SOUS 146769 HAS SOUPS 142135 WITH SCORE 142733.112
AT ITER 497 NEW BEST:: SOT 710261 SOS 598260 HAS SOPS 466716 HAS SOUS 146561 HAS SOUPS 142018 WITH SCORE 142616.26
AT ITER 498 NEW BEST:: SOT 709827 SOS 597826 HAS SOPS 466282 HAS SOUS 146540 HAS SOUPS 141997 WITH SCORE 142594.826
AT ITER 500 NEW BEST:: SOT 709827 SOS 597810 HAS SOPS 465508 HAS SOUS 146518 HAS SOUPS 141975 WITH SCORE 142572.81
AT ITER 503 NEW BEST:: SOT 711688 SOS 599786 HAS SOPS 469985 HAS SOUS 144304 HAS SOUPS 139870 WITH SCORE 140469.786
AT ITER 504 NEW BEST:: SOT 711688 SOS 599768 HAS SOPS 470255 HAS SOUS 144286 HAS SOUPS 139852 WITH SCORE 140451.768
AT ITER 505 NEW BEST:: SOT 711688 SOS 599768 HAS SOPS 469965 HAS SOUS 144109 HAS SOUPS 139704 WITH SCORE 140303.768
AT ITER 510 NEW BEST:: SOT 711034 SOS 599424 HAS SOPS 469787 HAS SOUS 143585 HAS SOUPS 139180 WITH SCORE 139779.424
AT ITER 511 NEW BEST:: SOT 711081 SOS 599383 HAS SOPS 470500 HAS SOUS 143117 HAS SOUPS 138823 WITH SCORE 139422.383
AT ITER 513 NEW BEST:: SOT 709412 SOS 597714 HAS SOPS 469551 HAS SOUS 142963 HAS SOUPS 138630 WITH SCORE 139227.714
AT ITER 514 NEW BEST:: SOT 709412 SOS 597714 HAS SOPS 469479 HAS SOUS 142885 HAS SOUPS 138558 WITH SCORE 139155.714
AT ITER 515 NEW BEST:: SOT 709514 SOS 597816 HAS SOPS 468475 HAS SOUS 142573 HAS SOUPS 138244 WITH SCORE 138841.816
AT ITER 516 NEW BEST:: SOT 709921 SOS 598223 HAS SOPS 468882 HAS SOUS 142379 HAS SOUPS 138050 WITH SCORE 138648.223
AT ITER 518 NEW BEST:: SOT 710092 SOS 598394 HAS SOPS 469053 HAS SOUS 142275 HAS SOUPS 137946 WITH SCORE 138544.394
AT ITER 519 NEW BEST:: SOT 710308 SOS 598359 HAS SOPS 468201 HAS SOUS 141155 HAS SOUPS 136830 WITH SCORE 137428.359
AT ITER 529 NEW BEST:: SOT 710420 SOS 598471 HAS SOPS 468313 HAS SOUS 140901 HAS SOUPS 136576 WITH SCORE 137174.471
AT ITER 532 NEW BEST:: SOT 710421 SOS 598472 HAS SOPS 468308 HAS SOUS 140900 HAS SOUPS 136575 WITH SCORE 137173.472
AT ITER 534 NEW BEST:: SOT 710548 SOS 598599 HAS SOPS 468627 HAS SOUS 140628 HAS SOUPS 136333 WITH SCORE 136931.599
AT ITER 537 NEW BEST:: SOT 710548 SOS 598578 HAS SOPS 469077 HAS SOUS 140522 HAS SOUPS 136227 WITH SCORE 136825.578
AT ITER 538 NEW BEST:: SOT 710668 SOS 598698 HAS SOPS 469197 HAS SOUS 139797 HAS SOUPS 135502 WITH SCORE 136100.698
AT ITER 541 NEW BEST:: SOT 710513 SOS 598543 HAS SOPS 469006 HAS SOUS 139616 HAS SOUPS 135321 WITH SCORE 135919.543
AT ITER 545 NEW BEST:: SOT 710659 SOS 598689 HAS SOPS 470052 HAS SOUS 138597 HAS SOUPS 134347 WITH SCORE 134945.689
AT ITER 550 NEW BEST:: SOT 709206 SOS 597236 HAS SOPS 468599 HAS SOUS 138167 HAS SOUPS 133917 WITH SCORE 134514.236
AT ITER 555 NEW BEST:: SOT 707860 SOS 595890 HAS SOPS 466461 HAS SOUS 136908 HAS SOUPS 132658 WITH SCORE 133253.89
AT ITER 557 NEW BEST:: SOT 707860 SOS 596163 HAS SOPS 466965 HAS SOUS 136845 HAS SOUPS 132616 WITH SCORE 133212.163
AT ITER 558 NEW BEST:: SOT 707860 SOS 596283 HAS SOPS 467157 HAS SOUS 136813 HAS SOUPS 132592 WITH SCORE 133188.283
AT ITER 565 NEW BEST:: SOT 707860 SOS 596283 HAS SOPS 469341 HAS SOUS 136514 HAS SOUPS 132360 WITH SCORE 132956.283
AT ITER 567 NEW BEST:: SOT 707860 SOS 596283 HAS SOPS 469341 HAS SOUS 136495 HAS SOUPS 132341 WITH SCORE 132937.283
AT ITER 570 NEW BEST:: SOT 709301 SOS 597724 HAS SOPS 471958 HAS SOUS 136238 HAS SOUPS 132133 WITH SCORE 132730.724
AT ITER 572 NEW BEST:: SOT 709301 SOS 597724 HAS SOPS 471598 HAS SOUS 136188 HAS SOUPS 132083 WITH SCORE 132680.724
AT ITER 573 NEW BEST:: SOT 709956 SOS 598379 HAS SOPS 474085 HAS SOUS 135966 HAS SOUPS 131940 WITH SCORE 132538.379
AT ITER 577 NEW BEST:: SOT 710225 SOS 598648 HAS SOPS 475470 HAS SOUS 135316 HAS SOUPS 131350 WITH SCORE 131948.648
AT ITER 581 NEW BEST:: SOT 708048 SOS 596471 HAS SOPS 473467 HAS SOUS 135209 HAS SOUPS 131243 WITH SCORE 131839.471
AT ITER 582 NEW BEST:: SOT 707637 SOS 596060 HAS SOPS 472606 HAS SOUS 134316 HAS SOUPS 130350 WITH SCORE 130946.06
AT ITER 587 NEW BEST:: SOT 707637 SOS 595824 HAS SOPS 472366 HAS SOUS 134314 HAS SOUPS 130348 WITH SCORE 130943.824
AT ITER 591 NEW BEST:: SOT 707630 SOS 595817 HAS SOPS 472359 HAS SOUS 134306 HAS SOUPS 130340 WITH SCORE 130935.817
AT ITER 595 NEW BEST:: SOT 707802 SOS 595989 HAS SOPS 472531 HAS SOUS 134288 HAS SOUPS 130322 WITH SCORE 130917.989
AT ITER 601 NEW BEST:: SOT 707842 SOS 596029 HAS SOPS 472571 HAS SOUS 134128 HAS SOUPS 130162 WITH SCORE 130758.029
AT ITER 604 NEW BEST:: SOT 707842 SOS 596029 HAS SOPS 472571 HAS SOUS 134059 HAS SOUPS 130091 WITH SCORE 130687.029
AT ITER 605 NEW BEST:: SOT 707842 SOS 596029 HAS SOPS 473795 HAS SOUS 133651 HAS SOUPS 129752 WITH SCORE 130348.029
AT ITER 606 NEW BEST:: SOT 706507 SOS 594694 HAS SOPS 472460 HAS SOUS 133482 HAS SOUPS 129583 WITH SCORE 130177.694
AT ITER 609 NEW BEST:: SOT 706507 SOS 594698 HAS SOPS 473156 HAS SOUS 133036 HAS SOUPS 129286 WITH SCORE 129880.698
AT ITER 610 NEW BEST:: SOT 708013 SOS 595569 HAS SOPS 473392 HAS SOUS 132687 HAS SOUPS 128937 WITH SCORE 129532.569
AT ITER 611 NEW BEST:: SOT 707918 SOS 595474 HAS SOPS 473297 HAS SOUS 132659 HAS SOUPS 128909 WITH SCORE 129504.474
AT ITER 621 NEW BEST:: SOT 708027 SOS 595583 HAS SOPS 473532 HAS SOUS 132112 HAS SOUPS 128362 WITH SCORE 128957.583
AT ITER 631 NEW BEST:: SOT 708068 SOS 595412 HAS SOPS 474311 HAS SOUS 130856 HAS SOUPS 127232 WITH SCORE 127827.412
AT ITER 634 NEW BEST:: SOT 708068 SOS 595312 HAS SOPS 473911 HAS SOUS 130856 HAS SOUPS 127232 WITH SCORE 127827.312
AT ITER 635 NEW BEST:: SOT 707934 SOS 595178 HAS SOPS 473777 HAS SOUS 129754 HAS SOUPS 126130 WITH SCORE 126725.178
AT ITER 636 NEW BEST:: SOT 707948 SOS 595192 HAS SOPS 473791 HAS SOUS 129662 HAS SOUPS 126038 WITH SCORE 126633.192
AT ITER 637 NEW BEST:: SOT 707948 SOS 595192 HAS SOPS 475105 HAS SOUS 128919 HAS SOUPS 125370 WITH SCORE 125965.192
AT ITER 643 NEW BEST:: SOT 706722 SOS 593966 HAS SOPS 473399 HAS SOUS 128798 HAS SOUPS 125229 WITH SCORE 125822.966
AT ITER 649 NEW BEST:: SOT 706582 SOS 593826 HAS SOPS 473259 HAS SOUS 127935 HAS SOUPS 124373 WITH SCORE 124966.826
AT ITER 654 NEW BEST:: SOT 706599 SOS 593843 HAS SOPS 473276 HAS SOUS 127918 HAS SOUPS 124356 WITH SCORE 124949.843
AT ITER 656 NEW BEST:: SOT 706665 SOS 593909 HAS SOPS 473342 HAS SOUS 127891 HAS SOUPS 124329 WITH SCORE 124922.909
AT ITER 659 NEW BEST:: SOT 707035 SOS 594279 HAS SOPS 476700 HAS SOUS 127469 HAS SOUPS 123990 WITH SCORE 124584.279
AT ITER 660 NEW BEST:: SOT 707035 SOS 594263 HAS SOPS 476664 HAS SOUS 127469 HAS SOUPS 123989 WITH SCORE 124583.263
AT ITER 669 NEW BEST:: SOT 707390 SOS 594621 HAS SOPS 478027 HAS SOUS 126467 HAS SOUPS 123036 WITH SCORE 123630.621
AT ITER 670 NEW BEST:: SOT 706372 SOS 593603 HAS SOPS 477009 HAS SOUS 126401 HAS SOUPS 122970 WITH SCORE 123563.603
AT ITER 672 NEW BEST:: SOT 706372 SOS 593498 HAS SOPS 479403 HAS SOUS 125865 HAS SOUPS 122592 WITH SCORE 123185.498
AT ITER 675 NEW BEST:: SOT 706372 SOS 593498 HAS SOPS 479403 HAS SOUS 125798 HAS SOUPS 122525 WITH SCORE 123118.498
AT ITER 683 NEW BEST:: SOT 706096 SOS 592803 HAS SOPS 476637 HAS SOUS 125262 HAS SOUPS 121989 WITH SCORE 122581.803
AT ITER 688 NEW BEST:: SOT 706152 SOS 592859 HAS SOPS 476693 HAS SOUS 124761 HAS SOUPS 121488 WITH SCORE 122080.859
AT ITER 691 NEW BEST:: SOT 706152 SOS 592847 HAS SOPS 477953 HAS SOUS 124652 HAS SOUPS 121431 WITH SCORE 122023.847
AT ITER 693 NEW BEST:: SOT 706152 SOS 592850 HAS SOPS 478259 HAS SOUS 124625 HAS SOUPS 121421 WITH SCORE 122013.85
AT ITER 699 NEW BEST:: SOT 706140 SOS 592838 HAS SOPS 478295 HAS SOUS 124484 HAS SOUPS 121280 WITH SCORE 121872.838
AT ITER 710 NEW BEST:: SOT 706114 SOS 592812 HAS SOPS 478269 HAS SOUS 124067 HAS SOUPS 120863 WITH SCORE 121455.812
AT ITER 717 NEW BEST:: SOT 706034 SOS 592732 HAS SOPS 478189 HAS SOUS 124023 HAS SOUPS 120819 WITH SCORE 121411.732
AT ITER 719 NEW BEST:: SOT 706034 SOS 592732 HAS SOPS 477901 HAS SOUS 124016 HAS SOUPS 120812 WITH SCORE 121404.732
AT ITER 726 NEW BEST:: SOT 706034 SOS 592698 HAS SOPS 478573 HAS SOUS 123901 HAS SOUPS 120753 WITH SCORE 121345.698
AT ITER 728 NEW BEST:: SOT 705070 SOS 591734 HAS SOPS 477609 HAS SOUS 123090 HAS SOUPS 119942 WITH SCORE 120533.734
AT ITER 736 NEW BEST:: SOT 705092 SOS 591756 HAS SOPS 477631 HAS SOUS 123035 HAS SOUPS 119887 WITH SCORE 120478.756
AT ITER 739 NEW BEST:: SOT 705135 SOS 591689 HAS SOPS 476574 HAS SOUS 122715 HAS SOUPS 119567 WITH SCORE 120158.689
AT ITER 747 NEW BEST:: SOT 705209 SOS 591763 HAS SOPS 476648 HAS SOUS 122660 HAS SOUPS 119512 WITH SCORE 120103.763
AT ITER 748 NEW BEST:: SOT 705066 SOS 591658 HAS SOPS 477711 HAS SOUS 122545 HAS SOUPS 119397 WITH SCORE 119988.658
AT ITER 753 NEW BEST:: SOT 705088 SOS 591680 HAS SOPS 476887 HAS SOUS 122436 HAS SOUPS 119288 WITH SCORE 119879.68
AT ITER 760 NEW BEST:: SOT 703875 SOS 590467 HAS SOPS 475674 HAS SOUS 122200 HAS SOUPS 119052 WITH SCORE 119642.467
AT ITER 766 NEW BEST:: SOT 703875 SOS 590024 HAS SOPS 475588 HAS SOUS 122142 HAS SOUPS 119017 WITH SCORE 119607.024
AT ITER 771 NEW BEST:: SOT 703875 SOS 590134 HAS SOPS 475768 HAS SOUS 122127 HAS SOUPS 119007 WITH SCORE 119597.134
AT ITER 772 NEW BEST:: SOT 704333 SOS 590700 HAS SOPS 476346 HAS SOUS 121645 HAS SOUPS 118525 WITH SCORE 119115.7
AT ITER 775 NEW BEST:: SOT 704315 SOS 590682 HAS SOPS 476328 HAS SOUS 121607 HAS SOUPS 118487 WITH SCORE 119077.682
AT ITER 776 NEW BEST:: SOT 703198 SOS 589565 HAS SOPS 475211 HAS SOUS 120724 HAS SOUPS 117604 WITH SCORE 118193.565
AT ITER 781 NEW BEST:: SOT 702734 SOS 589101 HAS SOPS 474747 HAS SOUS 120709 HAS SOUPS 117589 WITH SCORE 118178.101
AT ITER 787 NEW BEST:: SOT 702646 SOS 589013 HAS SOPS 474659 HAS SOUS 120634 HAS SOUPS 117514 WITH SCORE 118103.013
AT ITER 788 NEW BEST:: SOT 702827 SOS 589194 HAS SOPS 475344 HAS SOUS 120300 HAS SOUPS 117208 WITH SCORE 117797.194
AT ITER 790 NEW BEST:: SOT 701840 SOS 588207 HAS SOPS 472881 HAS SOUS 120094 HAS SOUPS 116944 WITH SCORE 117532.207
AT ITER 791 NEW BEST:: SOT 699366 SOS 585617 HAS SOPS 467095 HAS SOUS 119769 HAS SOUPS 116527 WITH SCORE 117112.617
AT ITER 799 NEW BEST:: SOT 698121 SOS 584372 HAS SOPS 465346 HAS SOUS 119440 HAS SOUPS 116160 WITH SCORE 116744.372
AT ITER 802 NEW BEST:: SOT 698083 SOS 584334 HAS SOPS 465308 HAS SOUS 119414 HAS SOUPS 116134 WITH SCORE 116718.334
AT ITER 805 NEW BEST:: SOT 698193 SOS 584444 HAS SOPS 465076 HAS SOUS 119094 HAS SOUPS 115814 WITH SCORE 116398.444
AT ITER 812 NEW BEST:: SOT 698307 SOS 584558 HAS SOPS 467656 HAS SOUS 118050 HAS SOUPS 114844 WITH SCORE 115428.558
AT ITER 821 NEW BEST:: SOT 699167 SOS 585456 HAS SOPS 470724 HAS SOUS 117688 HAS SOUPS 114616 WITH SCORE 115201.456
AT ITER 823 NEW BEST:: SOT 699167 SOS 585246 HAS SOPS 469800 HAS SOUS 117579 HAS SOUPS 114507 WITH SCORE 115092.246
AT ITER 835 NEW BEST:: SOT 699167 SOS 585246 HAS SOPS 470754 HAS SOUS 117403 HAS SOUPS 114363 WITH SCORE 114948.246
AT ITER 837 NEW BEST:: SOT 699167 SOS 585322 HAS SOPS 470934 HAS SOUS 117392 HAS SOUPS 114352 WITH SCORE 114937.322
AT ITER 840 NEW BEST:: SOT 698150 SOS 584305 HAS SOPS 470157 HAS SOUS 117062 HAS SOUPS 114022 WITH SCORE 114606.305
AT ITER 852 NEW BEST:: SOT 697867 SOS 584022 HAS SOPS 469874 HAS SOUS 116657 HAS SOUPS 113617 WITH SCORE 114201.022
AT ITER 854 NEW BEST:: SOT 697849 SOS 584004 HAS SOPS 469856 HAS SOUS 116548 HAS SOUPS 113508 WITH SCORE 114092.004
AT ITER 857 NEW BEST:: SOT 698509 SOS 585044 HAS SOPS 474296 HAS SOUS 116401 HAS SOUPS 113466 WITH SCORE 114051.044
AT ITER 860 NEW BEST:: SOT 698509 SOS 585080 HAS SOPS 474296 HAS SOUS 116394 HAS SOUPS 113459 WITH SCORE 114044.08
AT ITER 867 NEW BEST:: SOT 699163 SOS 585426 HAS SOPS 474194 HAS SOUS 116263 HAS SOUPS 113363 WITH SCORE 113948.426
AT ITER 872 NEW BEST:: SOT 699163 SOS 585366 HAS SOPS 474134 HAS SOUS 116263 HAS SOUPS 113363 WITH SCORE 113948.366
AT ITER 876 NEW BEST:: SOT 698717 SOS 584920 HAS SOPS 473688 HAS SOUS 116004 HAS SOUPS 113104 WITH SCORE 113688.92
AT ITER 878 NEW BEST:: SOT 698967 SOS 585170 HAS SOPS 473938 HAS SOUS 115849 HAS SOUPS 112949 WITH SCORE 113534.17
AT ITER 882 NEW BEST:: SOT 699012 SOS 585215 HAS SOPS 473983 HAS SOUS 115604 HAS SOUPS 112704 WITH SCORE 113289.215
AT ITER 884 NEW BEST:: SOT 698994 SOS 585197 HAS SOPS 473965 HAS SOUS 115526 HAS SOUPS 112626 WITH SCORE 113211.197
AT ITER 888 NEW BEST:: SOT 698994 SOS 585197 HAS SOPS 473965 HAS SOUS 115509 HAS SOUPS 112609 WITH SCORE 113194.197
AT ITER 889 NEW BEST:: SOT 698667 SOS 583641 HAS SOPS 469058 HAS SOUS 115325 HAS SOUPS 112294 WITH SCORE 112877.641
AT ITER 894 NEW BEST:: SOT 698588 SOS 583562 HAS SOPS 468979 HAS SOUS 115066 HAS SOUPS 112035 WITH SCORE 112618.562
AT ITER 895 NEW BEST:: SOT 698588 SOS 583562 HAS SOPS 468979 HAS SOUS 114818 HAS SOUPS 111823 WITH SCORE 112406.562
AT ITER 897 NEW BEST:: SOT 698362 SOS 583336 HAS SOPS 468753 HAS SOUS 114421 HAS SOUPS 111426 WITH SCORE 112009.336
AT ITER 899 NEW BEST:: SOT 698362 SOS 583647 HAS SOPS 471183 HAS SOUS 114087 HAS SOUPS 111171 WITH SCORE 111754.647
AT ITER 904 NEW BEST:: SOT 698368 SOS 583653 HAS SOPS 471189 HAS SOUS 114078 HAS SOUPS 111162 WITH SCORE 111745.653
AT ITER 910 NEW BEST:: SOT 697148 SOS 582433 HAS SOPS 469969 HAS SOUS 114009 HAS SOUPS 111105 WITH SCORE 111687.433
AT ITER 918 NEW BEST:: SOT 697032 SOS 582317 HAS SOPS 469853 HAS SOUS 113901 HAS SOUPS 110997 WITH SCORE 111579.317
AT ITER 920 NEW BEST:: SOT 689736 SOS 593716 HAS SOPS 591447 HAS SOUS 105923 HAS SOUPS 105668 WITH SCORE 106261.716
AT ITER 922 NEW BEST:: SOT 689532 SOS 593512 HAS SOPS 591243 HAS SOUS 105441 HAS SOUPS 105186 WITH SCORE 105779.512
AT ITER 927 NEW BEST:: SOT 689327 SOS 593307 HAS SOPS 591038 HAS SOUS 105285 HAS SOUPS 105030 WITH SCORE 105623.307
AT ITER 931 NEW BEST:: SOT 689587 SOS 594542 HAS SOPS 592458 HAS SOUS 105207 HAS SOUPS 104988 WITH SCORE 105582.542
AT ITER 948 NEW BEST:: SOT 689499 SOS 594454 HAS SOPS 592370 HAS SOUS 105199 HAS SOUPS 104980 WITH SCORE 105574.454
AT ITER 953 NEW BEST:: SOT 688734 SOS 593689 HAS SOPS 591605 HAS SOUS 104522 HAS SOUPS 104303 WITH SCORE 104896.689
AT ITER 956 NEW BEST:: SOT 688884 SOS 593839 HAS SOPS 591755 HAS SOUS 104192 HAS SOUPS 103973 WITH SCORE 104566.839
AT ITER 959 NEW BEST:: SOT 688538 SOS 593493 HAS SOPS 591409 HAS SOUS 104162 HAS SOUPS 103943 WITH SCORE 104536.493
AT ITER 965 NEW BEST:: SOT 686811 SOS 591766 HAS SOPS 589682 HAS SOUS 103409 HAS SOUPS 103190 WITH SCORE 103781.766
AT ITER 969 NEW BEST:: SOT 686657 SOS 591612 HAS SOPS 589528 HAS SOUS 103400 HAS SOUPS 103181 WITH SCORE 103772.612
AT ITER 971 NEW BEST:: SOT 685873 SOS 590828 HAS SOPS 588744 HAS SOUS 103337 HAS SOUPS 103118 WITH SCORE 103708.828
AT ITER 979 NEW BEST:: SOT 685751 SOS 590706 HAS SOPS 588622 HAS SOUS 103119 HAS SOUPS 102900 WITH SCORE 103490.706
AT ITER 986 NEW BEST:: SOT 686217 SOS 591172 HAS SOPS 589088 HAS SOUS 103044 HAS SOUPS 102825 WITH SCORE 103416.172
AT ITER 988 NEW BEST:: SOT 685767 SOS 590722 HAS SOPS 588638 HAS SOUS 102977 HAS SOUPS 102758 WITH SCORE 103348.722
AT ITER 991 NEW BEST:: SOT 684093 SOS 589048 HAS SOPS 586964 HAS SOUS 102668 HAS SOUPS 102449 WITH SCORE 103038.048
AT ITER 995 NEW BEST:: SOT 684310 SOS 589265 HAS SOPS 587181 HAS SOUS 102533 HAS SOUPS 102314 WITH SCORE 102903.265
AT ITER 996 NEW BEST:: SOT 684206 SOS 589161 HAS SOPS 587077 HAS SOUS 102229 HAS SOUPS 102010 WITH SCORE 102599.161
AT ITER 1002 NEW BEST:: SOT 684206 SOS 589161 HAS SOPS 587077 HAS SOUS 102221 HAS SOUPS 102002 WITH SCORE 102591.161
AT ITER 1015 NEW BEST:: SOT 684363 SOS 589318 HAS SOPS 587234 HAS SOUS 101841 HAS SOUPS 101622 WITH SCORE 102211.318
AT ITER 1017 NEW BEST:: SOT 684363 SOS 589186 HAS SOPS 587102 HAS SOUS 101841 HAS SOUPS 101622 WITH SCORE 102211.186
AT ITER 1023 NEW BEST:: SOT 684765 SOS 589588 HAS SOPS 587504 HAS SOUS 101785 HAS SOUPS 101566 WITH SCORE 102155.588
AT ITER 1025 NEW BEST:: SOT 684242 SOS 589065 HAS SOPS 586981 HAS SOUS 101621 HAS SOUPS 101402 WITH SCORE 101991.065
AT ITER 1026 NEW BEST:: SOT 684178 SOS 589001 HAS SOPS 586917 HAS SOUS 101587 HAS SOUPS 101368 WITH SCORE 101957.001
AT ITER 1035 NEW BEST:: SOT 684054 SOS 588877 HAS SOPS 586793 HAS SOUS 101434 HAS SOUPS 101215 WITH SCORE 101803.877
AT ITER 1036 NEW BEST:: SOT 685424 SOS 590247 HAS SOPS 588163 HAS SOUS 101422 HAS SOUPS 101203 WITH SCORE 101793.247
AT ITER 1037 NEW BEST:: SOT 684947 SOS 589770 HAS SOPS 587686 HAS SOUS 101226 HAS SOUPS 101007 WITH SCORE 101596.77
AT ITER 1057 NEW BEST:: SOT 684574 SOS 589397 HAS SOPS 587313 HAS SOUS 100764 HAS SOUPS 100545 WITH SCORE 101134.397
AT ITER 1058 NEW BEST:: SOT 684052 SOS 588875 HAS SOPS 586791 HAS SOUS 100607 HAS SOUPS 100388 WITH SCORE 100976.875
AT ITER 1060 NEW BEST:: SOT 682064 SOS 586887 HAS SOPS 584803 HAS SOUS 100009 HAS SOUPS 99790 WITH SCORE 100376.887
AT ITER 1078 NEW BEST:: SOT 682680 SOS 569067 HAS SOPS 507215 HAS SOUS 100697 HAS SOUPS 99738 WITH SCORE 100307.067
AT ITER 1086 NEW BEST:: SOT 682680 SOS 569067 HAS SOPS 507215 HAS SOUS 100688 HAS SOUPS 99729 WITH SCORE 100298.067
AT ITER 1097 NEW BEST:: SOT 682680 SOS 569067 HAS SOPS 507215 HAS SOUS 100631 HAS SOUPS 99672 WITH SCORE 100241.067
AT ITER 1098 NEW BEST:: SOT 682770 SOS 569157 HAS SOPS 507305 HAS SOUS 100607 HAS SOUPS 99648 WITH SCORE 100217.157
AT ITER 1106 NEW BEST:: SOT 682096 SOS 568483 HAS SOPS 506631 HAS SOUS 100375 HAS SOUPS 99416 WITH SCORE 99984.483
AT ITER 1107 NEW BEST:: SOT 682012 SOS 568399 HAS SOPS 506547 HAS SOUS 100284 HAS SOUPS 99325 WITH SCORE 99893.399
AT ITER 1112 NEW BEST:: SOT 681960 SOS 568347 HAS SOPS 506495 HAS SOUS 100261 HAS SOUPS 99302 WITH SCORE 99870.347
AT ITER 1116 NEW BEST:: SOT 681960 SOS 568347 HAS SOPS 506495 HAS SOUS 100011 HAS SOUPS 99052 WITH SCORE 99620.347
AT ITER 1123 NEW BEST:: SOT 681819 SOS 568206 HAS SOPS 506354 HAS SOUS 99923 HAS SOUPS 98964 WITH SCORE 99532.206
AT ITER 1128 NEW BEST:: SOT 681819 SOS 568558 HAS SOPS 507362 HAS SOUS 99843 HAS SOUPS 98912 WITH SCORE 99480.558
AT ITER 1130 NEW BEST:: SOT 681819 SOS 568576 HAS SOPS 507506 HAS SOUS 99776 HAS SOUPS 98853 WITH SCORE 99421.576
AT ITER 1133 NEW BEST:: SOT 681799 SOS 568556 HAS SOPS 507378 HAS SOUS 99772 HAS SOUPS 98849 WITH SCORE 99417.556
AT ITER 1134 NEW BEST:: SOT 682307 SOS 569064 HAS SOPS 507886 HAS SOUS 99443 HAS SOUPS 98520 WITH SCORE 99089.064
AT ITER 1157 NEW BEST:: SOT 682164 SOS 568921 HAS SOPS 507857 HAS SOUS 99279 HAS SOUPS 98356 WITH SCORE 98924.921
AT ITER 1170 NEW BEST:: SOT 681994 SOS 568751 HAS SOPS 507687 HAS SOUS 99168 HAS SOUPS 98245 WITH SCORE 98813.751
AT ITER 1173 NEW BEST:: SOT 682033 SOS 568790 HAS SOPS 507726 HAS SOUS 98680 HAS SOUPS 97757 WITH SCORE 98325.79
AT ITER 1175 NEW BEST:: SOT 682159 SOS 568916 HAS SOPS 507852 HAS SOUS 98464 HAS SOUPS 97541 WITH SCORE 98109.916
AT ITER 1187 NEW BEST:: SOT 682225 SOS 568982 HAS SOPS 507918 HAS SOUS 98310 HAS SOUPS 97387 WITH SCORE 97955.982
AT ITER 1194 NEW BEST:: SOT 682333 SOS 569090 HAS SOPS 508026 HAS SOUS 98086 HAS SOUPS 97163 WITH SCORE 97732.09
AT ITER 1198 NEW BEST:: SOT 681621 SOS 568378 HAS SOPS 507314 HAS SOUS 97735 HAS SOUPS 96812 WITH SCORE 97380.378
AT ITER 1199 NEW BEST:: SOT 681321 SOS 568078 HAS SOPS 507014 HAS SOUS 97522 HAS SOUPS 96599 WITH SCORE 97167.078
AT ITER 1208 NEW BEST:: SOT 681286 SOS 568043 HAS SOPS 506979 HAS SOUS 97517 HAS SOUPS 96594 WITH SCORE 97162.043
AT ITER 1212 NEW BEST:: SOT 681286 SOS 568043 HAS SOPS 506979 HAS SOUS 97515 HAS SOUPS 96592 WITH SCORE 97160.043
AT ITER 1216 NEW BEST:: SOT 681377 SOS 568134 HAS SOPS 507070 HAS SOUS 97506 HAS SOUPS 96583 WITH SCORE 97151.134
AT ITER 1224 NEW BEST:: SOT 681256 SOS 568013 HAS SOPS 506949 HAS SOUS 97263 HAS SOUPS 96340 WITH SCORE 96908.013
AT ITER 1227 NEW BEST:: SOT 681446 SOS 568203 HAS SOPS 507139 HAS SOUS 97235 HAS SOUPS 96312 WITH SCORE 96880.203
AT ITER 1228 NEW BEST:: SOT 681534 SOS 568291 HAS SOPS 507065 HAS SOUS 97186 HAS SOUPS 96263 WITH SCORE 96831.291
AT ITER 1233 NEW BEST:: SOT 681684 SOS 568441 HAS SOPS 507215 HAS SOUS 97172 HAS SOUPS 96249 WITH SCORE 96817.441
AT ITER 1237 NEW BEST:: SOT 681528 SOS 568138 HAS SOPS 506717 HAS SOUS 97149 HAS SOUPS 96226 WITH SCORE 96794.138
AT ITER 1239 NEW BEST:: SOT 681339 SOS 567949 HAS SOPS 506528 HAS SOUS 96703 HAS SOUPS 95780 WITH SCORE 96347.949
AT ITER 1243 NEW BEST:: SOT 681365 SOS 567975 HAS SOPS 506554 HAS SOUS 96693 HAS SOUPS 95770 WITH SCORE 96337.975
AT ITER 1247 NEW BEST:: SOT 681365 SOS 567651 HAS SOPS 506218 HAS SOUS 96693 HAS SOUPS 95770 WITH SCORE 96337.651
AT ITER 1251 NEW BEST:: SOT 681245 SOS 567475 HAS SOPS 506098 HAS SOUS 96581 HAS SOUPS 95658 WITH SCORE 96225.475
AT ITER 1258 NEW BEST:: SOT 681186 SOS 567416 HAS SOPS 506039 HAS SOUS 96581 HAS SOUPS 95658 WITH SCORE 96225.416
AT ITER 1261 NEW BEST:: SOT 681505 SOS 567735 HAS SOPS 506358 HAS SOUS 96577 HAS SOUPS 95654 WITH SCORE 96221.735
AT ITER 1263 NEW BEST:: SOT 680820 SOS 567050 HAS SOPS 505673 HAS SOUS 95831 HAS SOUPS 94908 WITH SCORE 95475.05
AT ITER 1264 NEW BEST:: SOT 680122 SOS 566352 HAS SOPS 504975 HAS SOUS 95494 HAS SOUPS 94571 WITH SCORE 95137.352
AT ITER 1267 NEW BEST:: SOT 679144 SOS 565374 HAS SOPS 503997 HAS SOUS 95059 HAS SOUPS 94136 WITH SCORE 94701.374
AT ITER 1272 NEW BEST:: SOT 678632 SOS 565299 HAS SOPS 503953 HAS SOUS 94751 HAS SOUPS 93828 WITH SCORE 94393.299
AT ITER 1292 NEW BEST:: SOT 678632 SOS 565299 HAS SOPS 503953 HAS SOUS 94742 HAS SOUPS 93819 WITH SCORE 94384.299
AT ITER 1293 NEW BEST:: SOT 678737 SOS 565404 HAS SOPS 504352 HAS SOUS 94535 HAS SOUPS 93631 WITH SCORE 94196.404
AT ITER 1297 NEW BEST:: SOT 678737 SOS 565456 HAS SOPS 504352 HAS SOUS 94490 HAS SOUPS 93582 WITH SCORE 94147.456
AT ITER 1299 NEW BEST:: SOT 678341 SOS 565060 HAS SOPS 502768 HAS SOUS 94397 HAS SOUPS 93456 WITH SCORE 94021.06
AT ITER 1304 NEW BEST:: SOT 677511 SOS 564230 HAS SOPS 501938 HAS SOUS 93587 HAS SOUPS 92646 WITH SCORE 93210.23
AT ITER 1320 NEW BEST:: SOT 677631 SOS 564350 HAS SOPS 502058 HAS SOUS 93517 HAS SOUPS 92576 WITH SCORE 93140.35
AT ITER 1321 NEW BEST:: SOT 677556 SOS 564275 HAS SOPS 501983 HAS SOUS 93462 HAS SOUPS 92521 WITH SCORE 93085.275
AT ITER 1323 NEW BEST:: SOT 676882 SOS 563601 HAS SOPS 501309 HAS SOUS 92827 HAS SOUPS 91886 WITH SCORE 92449.601
AT ITER 1325 NEW BEST:: SOT 676249 SOS 562968 HAS SOPS 500676 HAS SOUS 92781 HAS SOUPS 91840 WITH SCORE 92402.968
AT ITER 1335 NEW BEST:: SOT 676249 SOS 562976 HAS SOPS 500676 HAS SOUS 92777 HAS SOUPS 91836 WITH SCORE 92398.976
AT ITER 1338 NEW BEST:: SOT 676741 SOS 563468 HAS SOPS 501168 HAS SOUS 92723 HAS SOUPS 91782 WITH SCORE 92345.468
AT ITER 1343 NEW BEST:: SOT 676817 SOS 563544 HAS SOPS 501244 HAS SOUS 92609 HAS SOUPS 91668 WITH SCORE 92231.544
AT ITER 1349 NEW BEST:: SOT 677294 SOS 564021 HAS SOPS 501901 HAS SOUS 92117 HAS SOUPS 91206 WITH SCORE 91770.021
AT ITER 1353 NEW BEST:: SOT 677287 SOS 564014 HAS SOPS 501894 HAS SOUS 92117 HAS SOUPS 91206 WITH SCORE 91770.014
AT ITER 1395 NEW BEST:: SOT 677287 SOS 564078 HAS SOPS 501894 HAS SOUS 92068 HAS SOUPS 91157 WITH SCORE 91721.078
AT ITER 1396 NEW BEST:: SOT 676684 SOS 563475 HAS SOPS 501291 HAS SOUS 91838 HAS SOUPS 90927 WITH SCORE 91490.475
AT ITER 1398 NEW BEST:: SOT 676684 SOS 563485 HAS SOPS 501291 HAS SOUS 91833 HAS SOUPS 90922 WITH SCORE 91485.485
AT ITER 1400 NEW BEST:: SOT 676646 SOS 563447 HAS SOPS 501253 HAS SOUS 91769 HAS SOUPS 90858 WITH SCORE 91421.447
AT ITER 1403 NEW BEST:: SOT 676646 SOS 563229 HAS SOPS 501133 HAS SOUS 91671 HAS SOUPS 90784 WITH SCORE 91347.229
AT ITER 1411 NEW BEST:: SOT 676646 SOS 564144 HAS SOPS 503005 HAS SOUS 91515 HAS SOUPS 90686 WITH SCORE 91250.144
AT ITER 1421 NEW BEST:: SOT 676630 SOS 564128 HAS SOPS 502989 HAS SOUS 91497 HAS SOUPS 90668 WITH SCORE 91232.128
AT ITER 1428 NEW BEST:: SOT 676613 SOS 564111 HAS SOPS 502936 HAS SOUS 91374 HAS SOUPS 90545 WITH SCORE 91109.111
AT ITER 1434 NEW BEST:: SOT 676613 SOS 564111 HAS SOPS 502936 HAS SOUS 91360 HAS SOUPS 90531 WITH SCORE 91095.111
AT ITER 1439 NEW BEST:: SOT 676084 SOS 563582 HAS SOPS 502407 HAS SOUS 91085 HAS SOUPS 90256 WITH SCORE 90819.582
AT ITER 1441 NEW BEST:: SOT 676157 SOS 563655 HAS SOPS 502480 HAS SOUS 90780 HAS SOUPS 89951 WITH SCORE 90514.655
AT ITER 1456 NEW BEST:: SOT 675183 SOS 562681 HAS SOPS 501380 HAS SOUS 90152 HAS SOUPS 89323 WITH SCORE 89885.681
AT ITER 1460 NEW BEST:: SOT 675183 SOS 562779 HAS SOPS 501464 HAS SOUS 90145 HAS SOUPS 89316 WITH SCORE 89878.779
AT ITER 1481 NEW BEST:: SOT 675183 SOS 562835 HAS SOPS 501728 HAS SOUS 90123 HAS SOUPS 89294 WITH SCORE 89856.835
AT ITER 1486 NEW BEST:: SOT 675183 SOS 562673 HAS SOPS 501680 HAS SOUS 90071 HAS SOUPS 89242 WITH SCORE 89804.673
AT ITER 1502 NEW BEST:: SOT 675171 SOS 562661 HAS SOPS 501668 HAS SOUS 90063 HAS SOUPS 89234 WITH SCORE 89796.661
AT ITER 1512 NEW BEST:: SOT 673680 SOS 561170 HAS SOPS 499925 HAS SOUS 89728 HAS SOUPS 88892 WITH SCORE 89453.17
AT ITER 1525 NEW BEST:: SOT 673905 SOS 561395 HAS SOPS 500486 HAS SOUS 89214 HAS SOUPS 88392 WITH SCORE 88953.395
AT ITER 1526 NEW BEST:: SOT 673897 SOS 561387 HAS SOPS 500478 HAS SOUS 89214 HAS SOUPS 88392 WITH SCORE 88953.387
AT ITER 1540 NEW BEST:: SOT 673920 SOS 561410 HAS SOPS 500501 HAS SOUS 89169 HAS SOUPS 88347 WITH SCORE 88908.41
AT ITER 1542 NEW BEST:: SOT 673729 SOS 561219 HAS SOPS 500310 HAS SOUS 89158 HAS SOUPS 88336 WITH SCORE 88897.219
AT ITER 1544 NEW BEST:: SOT 673729 SOS 561219 HAS SOPS 500526 HAS SOUS 89128 HAS SOUPS 88312 WITH SCORE 88873.219
AT ITER 1559 NEW BEST:: SOT 673655 SOS 561145 HAS SOPS 500452 HAS SOUS 89023 HAS SOUPS 88207 WITH SCORE 88768.145
AT ITER 1565 NEW BEST:: SOT 674016 SOS 561506 HAS SOPS 500813 HAS SOUS 88337 HAS SOUPS 87521 WITH SCORE 88082.506
AT ITER 1568 NEW BEST:: SOT 674016 SOS 561302 HAS SOPS 500345 HAS SOUS 88337 HAS SOUPS 87521 WITH SCORE 88082.302
AT ITER 1569 NEW BEST:: SOT 673934 SOS 561220 HAS SOPS 500263 HAS SOUS 88204 HAS SOUPS 87388 WITH SCORE 87949.22
AT ITER 1589 NEW BEST:: SOT 673758 SOS 561044 HAS SOPS 500249 HAS SOUS 88135 HAS SOUPS 87319 WITH SCORE 87880.044
AT ITER 1604 NEW BEST:: SOT 673758 SOS 560819 HAS SOPS 500009 HAS SOUS 88135 HAS SOUPS 87319 WITH SCORE 87879.819
AT ITER 1609 NEW BEST:: SOT 673746 SOS 560807 HAS SOPS 499997 HAS SOUS 88051 HAS SOUPS 87235 WITH SCORE 87795.807
AT ITER 1618 NEW BEST:: SOT 673628 SOS 560689 HAS SOPS 499879 HAS SOUS 87739 HAS SOUPS 86923 WITH SCORE 87483.689
AT ITER 1635 NEW BEST:: SOT 673626 SOS 560687 HAS SOPS 499877 HAS SOUS 87714 HAS SOUPS 86898 WITH SCORE 87458.687
AT ITER 1652 NEW BEST:: SOT 671938 SOS 559248 HAS SOPS 498497 HAS SOUS 87412 HAS SOUPS 86596 WITH SCORE 87155.248
AT ITER 1655 NEW BEST:: SOT 671916 SOS 559226 HAS SOPS 498475 HAS SOUS 87288 HAS SOUPS 86472 WITH SCORE 87031.226
AT ITER 1661 NEW BEST:: SOT 671453 SOS 558763 HAS SOPS 498012 HAS SOUS 86900 HAS SOUPS 86084 WITH SCORE 86642.763
AT ITER 1676 NEW BEST:: SOT 671453 SOS 558122 HAS SOPS 497982 HAS SOUS 86769 HAS SOUPS 85994 WITH SCORE 86552.122
AT ITER 1685 NEW BEST:: SOT 670109 SOS 556778 HAS SOPS 496638 HAS SOUS 86654 HAS SOUPS 85879 WITH SCORE 86435.778
AT ITER 1688 NEW BEST:: SOT 670429 SOS 557098 HAS SOPS 496958 HAS SOUS 86367 HAS SOUPS 85592 WITH SCORE 86149.098
AT ITER 1690 NEW BEST:: SOT 670429 SOS 556702 HAS SOPS 496514 HAS SOUS 86367 HAS SOUPS 85592 WITH SCORE 86148.702
AT ITER 1695 NEW BEST:: SOT 670665 SOS 556938 HAS SOPS 496750 HAS SOUS 86225 HAS SOUPS 85450 WITH SCORE 86006.938
AT ITER 1697 NEW BEST:: SOT 670555 SOS 556828 HAS SOPS 496640 HAS SOUS 86210 HAS SOUPS 85435 WITH SCORE 85991.828
AT ITER 1699 NEW BEST:: SOT 670260 SOS 556533 HAS SOPS 496345 HAS SOUS 86045 HAS SOUPS 85270 WITH SCORE 85826.533
AT ITER 1730 NEW BEST:: SOT 670260 SOS 556535 HAS SOPS 496381 HAS SOUS 86041 HAS SOUPS 85268 WITH SCORE 85824.535
AT ITER 1734 NEW BEST:: SOT 670266 SOS 556541 HAS SOPS 496387 HAS SOUS 86029 HAS SOUPS 85256 WITH SCORE 85812.541
AT ITER 1739 NEW BEST:: SOT 670128 SOS 556403 HAS SOPS 496249 HAS SOUS 85951 HAS SOUPS 85178 WITH SCORE 85734.403
AT ITER 1740 NEW BEST:: SOT 670106 SOS 556381 HAS SOPS 496227 HAS SOUS 84784 HAS SOUPS 84011 WITH SCORE 84567.381
AT ITER 1752 NEW BEST:: SOT 669229 SOS 582825 HAS SOPS 581778 HAS SOUS 83859 HAS SOUPS 83735 WITH SCORE 84317.825
AT ITER 1759 NEW BEST:: SOT 669229 SOS 582855 HAS SOPS 581958 HAS SOUS 83819 HAS SOUPS 83705 WITH SCORE 84287.855
AT ITER 1768 NEW BEST:: SOT 669246 SOS 582877 HAS SOPS 582029 HAS SOUS 83642 HAS SOUPS 83531 WITH SCORE 84113.877
AT ITER 1770 NEW BEST:: SOT 669208 SOS 582839 HAS SOPS 581991 HAS SOUS 83630 HAS SOUPS 83519 WITH SCORE 84101.839
AT ITER 1792 NEW BEST:: SOT 669158 SOS 582789 HAS SOPS 581941 HAS SOUS 83560 HAS SOUPS 83449 WITH SCORE 84031.789
AT ITER 1800 NEW BEST:: SOT 669110 SOS 582741 HAS SOPS 581893 HAS SOUS 83512 HAS SOUPS 83401 WITH SCORE 83983.741
AT ITER 1817 NEW BEST:: SOT 668968 SOS 582599 HAS SOPS 581751 HAS SOUS 83474 HAS SOUPS 83363 WITH SCORE 83945.599
AT ITER 1827 NEW BEST:: SOT 669101 SOS 582732 HAS SOPS 581884 HAS SOUS 82496 HAS SOUPS 82385 WITH SCORE 82967.732
AT ITER 1844 NEW BEST:: SOT 669007 SOS 582638 HAS SOPS 581790 HAS SOUS 82452 HAS SOUPS 82341 WITH SCORE 82923.638
AT ITER 1854 NEW BEST:: SOT 667970 SOS 581601 HAS SOPS 580753 HAS SOUS 82403 HAS SOUPS 82292 WITH SCORE 82873.601
AT ITER 1860 NEW BEST:: SOT 668303 SOS 581934 HAS SOPS 581086 HAS SOUS 82254 HAS SOUPS 82143 WITH SCORE 82724.934
AT ITER 1865 NEW BEST:: SOT 667802 SOS 581433 HAS SOPS 580585 HAS SOUS 82087 HAS SOUPS 81976 WITH SCORE 82557.433
AT ITER 1866 NEW BEST:: SOT 667739 SOS 581370 HAS SOPS 580522 HAS SOUS 82050 HAS SOUPS 81939 WITH SCORE 82520.37
AT ITER 1867 NEW BEST:: SOT 667739 SOS 581694 HAS SOPS 580846 HAS SOUS 82031 HAS SOUPS 81920 WITH SCORE 82501.694
AT ITER 1894 NEW BEST:: SOT 668303 SOS 582258 HAS SOPS 581410 HAS SOUS 82003 HAS SOUPS 81892 WITH SCORE 82474.258
AT ITER 1895 NEW BEST:: SOT 668303 SOS 582258 HAS SOPS 581410 HAS SOUS 81949 HAS SOUPS 81838 WITH SCORE 82420.258
AT ITER 1904 NEW BEST:: SOT 668253 SOS 582208 HAS SOPS 581360 HAS SOUS 81889 HAS SOUPS 81778 WITH SCORE 82360.208
AT ITER 1921 NEW BEST:: SOT 666469 SOS 580424 HAS SOPS 579576 HAS SOUS 81888 HAS SOUPS 81777 WITH SCORE 82357.424
AT ITER 1931 NEW BEST:: SOT 666243 SOS 580198 HAS SOPS 579350 HAS SOUS 81747 HAS SOUPS 81636 WITH SCORE 82216.198
AT ITER 1936 NEW BEST:: SOT 666149 SOS 580104 HAS SOPS 579256 HAS SOUS 81495 HAS SOUPS 81384 WITH SCORE 81964.104
AT ITER 1939 NEW BEST:: SOT 665751 SOS 579706 HAS SOPS 578858 HAS SOUS 81392 HAS SOUPS 81281 WITH SCORE 81860.706
AT ITER 1940 NEW BEST:: SOT 665562 SOS 579517 HAS SOPS 578669 HAS SOUS 81354 HAS SOUPS 81243 WITH SCORE 81822.517
AT ITER 1944 NEW BEST:: SOT 665737 SOS 579692 HAS SOPS 578844 HAS SOUS 81322 HAS SOUPS 81211 WITH SCORE 81790.692
AT ITER 1954 NEW BEST:: SOT 665525 SOS 579480 HAS SOPS 578632 HAS SOUS 80908 HAS SOUPS 80797 WITH SCORE 81376.48
AT ITER 1966 NEW BEST:: SOT 665525 SOS 579480 HAS SOPS 578632 HAS SOUS 80904 HAS SOUPS 80793 WITH SCORE 81372.48
AT ITER 1967 NEW BEST:: SOT 664380 SOS 578335 HAS SOPS 577487 HAS SOUS 80575 HAS SOUPS 80464 WITH SCORE 81042.335
AT ITER 1973 NEW BEST:: SOT 663875 SOS 577830 HAS SOPS 576982 HAS SOUS 80477 HAS SOUPS 80366 WITH SCORE 80943.83
AT ITER 1980 NEW BEST:: SOT 663622 SOS 577577 HAS SOPS 576729 HAS SOUS 80235 HAS SOUPS 80124 WITH SCORE 80701.577
AT ITER 1995 NEW BEST:: SOT 663584 SOS 577539 HAS SOPS 576691 HAS SOUS 80183 HAS SOUPS 80072 WITH SCORE 80649.539
AT ITER 2004 NEW BEST:: SOT 663596 SOS 577551 HAS SOPS 576703 HAS SOUS 80135 HAS SOUPS 80024 WITH SCORE 80601.551
AT ITER 2006 NEW BEST:: SOT 663534 SOS 577489 HAS SOPS 576641 HAS SOUS 80062 HAS SOUPS 79951 WITH SCORE 80528.489
AT ITER 2008 NEW BEST:: SOT 663460 SOS 577415 HAS SOPS 576567 HAS SOUS 80020 HAS SOUPS 79909 WITH SCORE 80486.415
AT ITER 2029 NEW BEST:: SOT 663344 SOS 577299 HAS SOPS 576451 HAS SOUS 79972 HAS SOUPS 79861 WITH SCORE 80438.299
AT ITER 2030 NEW BEST:: SOT 663274 SOS 577229 HAS SOPS 576381 HAS SOUS 79944 HAS SOUPS 79833 WITH SCORE 80410.229
AT ITER 2058 NEW BEST:: SOT 663310 SOS 577265 HAS SOPS 576417 HAS SOUS 79914 HAS SOUPS 79803 WITH SCORE 80380.265
AT ITER 2066 NEW BEST:: SOT 663476 SOS 577431 HAS SOPS 576583 HAS SOUS 79740 HAS SOUPS 79629 WITH SCORE 80206.431
AT ITER 2080 NEW BEST:: SOT 663273 SOS 577228 HAS SOPS 576380 HAS SOUS 79720 HAS SOUPS 79609 WITH SCORE 80186.228
AT ITER 2084 NEW BEST:: SOT 663014 SOS 576969 HAS SOPS 576121 HAS SOUS 79496 HAS SOUPS 79385 WITH SCORE 79961.969
AT ITER 2086 NEW BEST:: SOT 662981 SOS 576936 HAS SOPS 576088 HAS SOUS 79458 HAS SOUPS 79347 WITH SCORE 79923.936
AT ITER 2087 NEW BEST:: SOT 662757 SOS 576712 HAS SOPS 575864 HAS SOUS 79341 HAS SOUPS 79230 WITH SCORE 79806.712
AT ITER 2089 NEW BEST:: SOT 662879 SOS 577014 HAS SOPS 576290 HAS SOUS 79116 HAS SOUPS 79023 WITH SCORE 79600.014
AT ITER 2093 NEW BEST:: SOT 662482 SOS 576617 HAS SOPS 575893 HAS SOUS 79051 HAS SOUPS 78958 WITH SCORE 79534.617
AT ITER 2108 NEW BEST:: SOT 662300 SOS 576435 HAS SOPS 575711 HAS SOUS 78953 HAS SOUPS 78860 WITH SCORE 79436.435
AT ITER 2122 NEW BEST:: SOT 661227 SOS 575362 HAS SOPS 574638 HAS SOUS 78574 HAS SOUPS 78481 WITH SCORE 79056.362
AT ITER 2123 NEW BEST:: SOT 660832 SOS 574967 HAS SOPS 574243 HAS SOUS 78328 HAS SOUPS 78235 WITH SCORE 78809.967
AT ITER 2128 NEW BEST:: SOT 660720 SOS 574855 HAS SOPS 574131 HAS SOUS 78237 HAS SOUPS 78144 WITH SCORE 78718.855
AT ITER 2140 NEW BEST:: SOT 660596 SOS 574731 HAS SOPS 574007 HAS SOUS 78031 HAS SOUPS 77938 WITH SCORE 78512.731
AT ITER 2156 NEW BEST:: SOT 660591 SOS 574726 HAS SOPS 574002 HAS SOUS 78021 HAS SOUPS 77928 WITH SCORE 78502.726
AT ITER 2158 NEW BEST:: SOT 660592 SOS 574727 HAS SOPS 574003 HAS SOUS 78014 HAS SOUPS 77921 WITH SCORE 78495.727
AT ITER 2162 NEW BEST:: SOT 660745 SOS 574880 HAS SOPS 574156 HAS SOUS 77950 HAS SOUPS 77857 WITH SCORE 78431.88
AT ITER 2174 NEW BEST:: SOT 660753 SOS 574636 HAS SOPS 573876 HAS SOUS 77880 HAS SOUPS 77787 WITH SCORE 78361.636
AT ITER 2203 NEW BEST:: SOT 659828 SOS 573551 HAS SOPS 572471 HAS SOUS 77841 HAS SOUPS 77728 WITH SCORE 78301.551
AT ITER 2215 NEW BEST:: SOT 659828 SOS 573551 HAS SOPS 572471 HAS SOUS 77840 HAS SOUPS 77727 WITH SCORE 78300.551
AT ITER 2218 NEW BEST:: SOT 660309 SOS 574032 HAS SOPS 572952 HAS SOUS 77508 HAS SOUPS 77395 WITH SCORE 77969.032
AT ITER 2227 NEW BEST:: SOT 660225 SOS 573948 HAS SOPS 572868 HAS SOUS 77446 HAS SOUPS 77333 WITH SCORE 77906.948
AT ITER 2234 NEW BEST:: SOT 660253 SOS 573976 HAS SOPS 572896 HAS SOUS 77345 HAS SOUPS 77232 WITH SCORE 77805.976
AT ITER 2251 NEW BEST:: SOT 660378 SOS 574101 HAS SOPS 573021 HAS SOUS 77008 HAS SOUPS 76895 WITH SCORE 77469.101
AT ITER 2264 NEW BEST:: SOT 660568 SOS 574291 HAS SOPS 573211 HAS SOUS 76966 HAS SOUPS 76853 WITH SCORE 77427.291
AT ITER 2271 NEW BEST:: SOT 659439 SOS 573162 HAS SOPS 572082 HAS SOUS 76657 HAS SOUPS 76544 WITH SCORE 77117.162
AT ITER 2280 NEW BEST:: SOT 659439 SOS 573162 HAS SOPS 572082 HAS SOUS 76646 HAS SOUPS 76533 WITH SCORE 77106.162
AT ITER 2284 NEW BEST:: SOT 659269 SOS 572992 HAS SOPS 571912 HAS SOUS 76566 HAS SOUPS 76453 WITH SCORE 77025.992
AT ITER 2291 NEW BEST:: SOT 659239 SOS 572962 HAS SOPS 571882 HAS SOUS 76487 HAS SOUPS 76374 WITH SCORE 76946.962
AT ITER 2309 NEW BEST:: SOT 658525 SOS 572248 HAS SOPS 571168 HAS SOUS 76389 HAS SOUPS 76276 WITH SCORE 76848.248
AT ITER 2313 NEW BEST:: SOT 658525 SOS 572412 HAS SOPS 571528 HAS SOUS 76315 HAS SOUPS 76214 WITH SCORE 76786.412
AT ITER 2318 NEW BEST:: SOT 658525 SOS 572412 HAS SOPS 571528 HAS SOUS 76305 HAS SOUPS 76204 WITH SCORE 76776.412
AT ITER 2327 NEW BEST:: SOT 658736 SOS 572623 HAS SOPS 571739 HAS SOUS 76125 HAS SOUPS 76024 WITH SCORE 76596.623
AT ITER 2329 NEW BEST:: SOT 658607 SOS 572494 HAS SOPS 571610 HAS SOUS 75991 HAS SOUPS 75890 WITH SCORE 76462.494
AT ITER 2340 NEW BEST:: SOT 658723 SOS 572610 HAS SOPS 571726 HAS SOUS 75979 HAS SOUPS 75878 WITH SCORE 76450.61
AT ITER 2371 NEW BEST:: SOT 658789 SOS 572676 HAS SOPS 571792 HAS SOUS 75962 HAS SOUPS 75861 WITH SCORE 76433.676
AT ITER 2374 NEW BEST:: SOT 657762 SOS 571649 HAS SOPS 570765 HAS SOUS 75161 HAS SOUPS 75060 WITH SCORE 75631.649
AT ITER 2396 NEW BEST:: SOT 657726 SOS 571613 HAS SOPS 570729 HAS SOUS 75119 HAS SOUPS 75018 WITH SCORE 75589.613
AT ITER 2402 NEW BEST:: SOT 657794 SOS 571681 HAS SOPS 570797 HAS SOUS 75100 HAS SOUPS 74999 WITH SCORE 75570.681
AT ITER 2415 NEW BEST:: SOT 657633 SOS 571520 HAS SOPS 570636 HAS SOUS 74941 HAS SOUPS 74840 WITH SCORE 75411.52
AT ITER 2418 NEW BEST:: SOT 657633 SOS 571520 HAS SOPS 570636 HAS SOUS 74937 HAS SOUPS 74836 WITH SCORE 75407.52
AT ITER 2430 NEW BEST:: SOT 657407 SOS 571294 HAS SOPS 570410 HAS SOUS 74810 HAS SOUPS 74709 WITH SCORE 75280.294
AT ITER 2485 NEW BEST:: SOT 657223 SOS 571110 HAS SOPS 570226 HAS SOUS 74527 HAS SOUPS 74426 WITH SCORE 74997.11
AT ITER 2486 NEW BEST:: SOT 657223 SOS 571110 HAS SOPS 570226 HAS SOUS 74521 HAS SOUPS 74420 WITH SCORE 74991.11
AT ITER 2493 NEW BEST:: SOT 657219 SOS 571106 HAS SOPS 570222 HAS SOUS 74517 HAS SOUPS 74416 WITH SCORE 74987.106
AT ITER 2496 NEW BEST:: SOT 657305 SOS 571192 HAS SOPS 570308 HAS SOUS 74477 HAS SOUPS 74376 WITH SCORE 74947.192
AT ITER 2517 NEW BEST:: SOT 657353 SOS 571240 HAS SOPS 570356 HAS SOUS 74447 HAS SOUPS 74346 WITH SCORE 74917.24
AT ITER 2537 NEW BEST:: SOT 657338 SOS 571225 HAS SOPS 570341 HAS SOUS 74277 HAS SOUPS 74176 WITH SCORE 74747.225
AT ITER 2566 NEW BEST:: SOT 657386 SOS 571273 HAS SOPS 570389 HAS SOUS 74273 HAS SOUPS 74172 WITH SCORE 74743.273
AT ITER 2571 NEW BEST:: SOT 657380 SOS 571267 HAS SOPS 570383 HAS SOUS 74239 HAS SOUPS 74138 WITH SCORE 74709.267
AT ITER 2580 NEW BEST:: SOT 657379 SOS 571266 HAS SOPS 570382 HAS SOUS 74227 HAS SOUPS 74126 WITH SCORE 74697.266
AT ITER 2586 NEW BEST:: SOT 657251 SOS 571138 HAS SOPS 570254 HAS SOUS 74137 HAS SOUPS 74036 WITH SCORE 74607.138
AT ITER 2587 NEW BEST:: SOT 657251 SOS 571066 HAS SOPS 570182 HAS SOUS 74137 HAS SOUPS 74036 WITH SCORE 74607.066
AT ITER 2589 NEW BEST:: SOT 657251 SOS 571066 HAS SOPS 570182 HAS SOUS 74103 HAS SOUPS 74002 WITH SCORE 74573.066
AT ITER 2605 NEW BEST:: SOT 657383 SOS 571198 HAS SOPS 570314 HAS SOUS 74098 HAS SOUPS 73997 WITH SCORE 74568.198
AT ITER 2639 NEW BEST:: SOT 657317 SOS 571132 HAS SOPS 570248 HAS SOUS 73876 HAS SOUPS 73775 WITH SCORE 74346.132
AT ITER 2647 NEW BEST:: SOT 656218 SOS 570033 HAS SOPS 569149 HAS SOUS 73746 HAS SOUPS 73645 WITH SCORE 74215.033
AT ITER 2650 NEW BEST:: SOT 656702 SOS 570517 HAS SOPS 569633 HAS SOUS 73696 HAS SOUPS 73595 WITH SCORE 74165.517
AT ITER 2655 NEW BEST:: SOT 657425 SOS 571240 HAS SOPS 570356 HAS SOUS 73666 HAS SOUPS 73565 WITH SCORE 74136.24
AT ITER 2677 NEW BEST:: SOT 657750 SOS 571565 HAS SOPS 570681 HAS SOUS 73290 HAS SOUPS 73189 WITH SCORE 73760.565
AT ITER 2687 NEW BEST:: SOT 657699 SOS 571514 HAS SOPS 570630 HAS SOUS 73290 HAS SOUPS 73189 WITH SCORE 73760.514
AT ITER 2706 NEW BEST:: SOT 657699 SOS 571514 HAS SOPS 570630 HAS SOUS 73227 HAS SOUPS 73126 WITH SCORE 73697.514
AT ITER 2722 NEW BEST:: SOT 657699 SOS 571514 HAS SOPS 570630 HAS SOUS 73198 HAS SOUPS 73097 WITH SCORE 73668.514
AT ITER 2728 NEW BEST:: SOT 654468 SOS 568049 HAS SOPS 567021 HAS SOUS 72815 HAS SOUPS 72702 WITH SCORE 73270.049
AT ITER 2735 NEW BEST:: SOT 654315 SOS 567896 HAS SOPS 566868 HAS SOUS 72808 HAS SOUPS 72695 WITH SCORE 73262.896
AT ITER 2754 NEW BEST:: SOT 653949 SOS 567530 HAS SOPS 566502 HAS SOUS 72655 HAS SOUPS 72542 WITH SCORE 73109.53
AT ITER 2762 NEW BEST:: SOT 653986 SOS 567567 HAS SOPS 566539 HAS SOUS 72653 HAS SOUPS 72540 WITH SCORE 73107.567
AT ITER 2779 NEW BEST:: SOT 653986 SOS 568109 HAS SOPS 567055 HAS SOUS 72617 HAS SOUPS 72504 WITH SCORE 73072.109
AT ITER 2780 NEW BEST:: SOT 653300 SOS 567423 HAS SOPS 566369 HAS SOUS 72251 HAS SOUPS 72138 WITH SCORE 72705.423
AT ITER 2811 NEW BEST:: SOT 653305 SOS 568028 HAS SOPS 566950 HAS SOUS 72214 HAS SOUPS 72101 WITH SCORE 72669.028
AT ITER 2816 NEW BEST:: SOT 653152 SOS 567875 HAS SOPS 566797 HAS SOUS 72138 HAS SOUPS 72025 WITH SCORE 72592.875
AT ITER 2821 NEW BEST:: SOT 653152 SOS 568035 HAS SOPS 567277 HAS SOUS 72075 HAS SOUPS 71982 WITH SCORE 72550.035
AT ITER 2829 NEW BEST:: SOT 653399 SOS 568282 HAS SOPS 567524 HAS SOUS 72063 HAS SOUPS 71970 WITH SCORE 72538.282
AT ITER 2840 NEW BEST:: SOT 653066 SOS 567949 HAS SOPS 567191 HAS SOUS 71892 HAS SOUPS 71799 WITH SCORE 72366.949
AT ITER 2845 NEW BEST:: SOT 653066 SOS 567957 HAS SOPS 567287 HAS SOUS 71876 HAS SOUPS 71791 WITH SCORE 72358.957
AT ITER 2853 NEW BEST:: SOT 653034 SOS 567925 HAS SOPS 567255 HAS SOUS 71874 HAS SOUPS 71789 WITH SCORE 72356.925
AT ITER 2856 NEW BEST:: SOT 653023 SOS 567914 HAS SOPS 567245 HAS SOUS 71857 HAS SOUPS 71773 WITH SCORE 72340.914
AT ITER 2864 NEW BEST:: SOT 652933 SOS 567824 HAS SOPS 567155 HAS SOUS 71640 HAS SOUPS 71556 WITH SCORE 72123.824
AT ITER 2872 NEW BEST:: SOT 653131 SOS 568022 HAS SOPS 567353 HAS SOUS 71607 HAS SOUPS 71523 WITH SCORE 72091.022
AT ITER 2884 NEW BEST:: SOT 651949 SOS 566840 HAS SOPS 566171 HAS SOUS 71415 HAS SOUPS 71331 WITH SCORE 71897.84
AT ITER 2909 NEW BEST:: SOT 651645 SOS 566536 HAS SOPS 565867 HAS SOUS 71223 HAS SOUPS 71139 WITH SCORE 71705.536
AT ITER 2912 NEW BEST:: SOT 651663 SOS 566554 HAS SOPS 565885 HAS SOUS 71181 HAS SOUPS 71097 WITH SCORE 71663.554
AT ITER 2936 NEW BEST:: SOT 650970 SOS 565889 HAS SOPS 565150 HAS SOUS 70889 HAS SOUPS 70805 WITH SCORE 71370.889
AT ITER 2942 NEW BEST:: SOT 650804 SOS 565723 HAS SOPS 564984 HAS SOUS 70843 HAS SOUPS 70759 WITH SCORE 71324.723
AT ITER 2945 NEW BEST:: SOT 650221 SOS 565140 HAS SOPS 564401 HAS SOUS 70696 HAS SOUPS 70612 WITH SCORE 71177.14
AT ITER 2991 NEW BEST:: SOT 649801 SOS 564720 HAS SOPS 563981 HAS SOUS 70609 HAS SOUPS 70525 WITH SCORE 71089.72
AT ITER 2999 NEW BEST:: SOT 649741 SOS 564660 HAS SOPS 563921 HAS SOUS 70579 HAS SOUPS 70495 WITH SCORE 71059.66
AT ITER 3026 NEW BEST:: SOT 649576 SOS 564495 HAS SOPS 563756 HAS SOUS 70495 HAS SOUPS 70411 WITH SCORE 70975.495
AT ITER 3041 NEW BEST:: SOT 647923 SOS 562842 HAS SOPS 562103 HAS SOUS 70345 HAS SOUPS 70261 WITH SCORE 70823.842
AT ITER 3061 NEW BEST:: SOT 647836 SOS 562755 HAS SOPS 562016 HAS SOUS 70327 HAS SOUPS 70243 WITH SCORE 70805.755
AT ITER 3111 NEW BEST:: SOT 647817 SOS 562736 HAS SOPS 561997 HAS SOUS 70277 HAS SOUPS 70193 WITH SCORE 70755.736
AT ITER 3120 NEW BEST:: SOT 647809 SOS 562728 HAS SOPS 561989 HAS SOUS 70271 HAS SOUPS 70187 WITH SCORE 70749.728
AT ITER 3122 NEW BEST:: SOT 647460 SOS 562379 HAS SOPS 561640 HAS SOUS 70149 HAS SOUPS 70065 WITH SCORE 70627.379
AT ITER 3134 NEW BEST:: SOT 647246 SOS 562165 HAS SOPS 561426 HAS SOUS 70087 HAS SOUPS 70003 WITH SCORE 70565.165
AT ITER 3138 NEW BEST:: SOT 646958 SOS 561877 HAS SOPS 561138 HAS SOUS 70056 HAS SOUPS 69972 WITH SCORE 70533.877
AT ITER 3141 NEW BEST:: SOT 646960 SOS 561879 HAS SOPS 561140 HAS SOUS 70025 HAS SOUPS 69941 WITH SCORE 70502.879
AT ITER 3169 NEW BEST:: SOT 646974 SOS 561893 HAS SOPS 561154 HAS SOUS 69876 HAS SOUPS 69792 WITH SCORE 70353.893
AT ITER 3171 NEW BEST:: SOT 646770 SOS 561689 HAS SOPS 560950 HAS SOUS 69874 HAS SOUPS 69790 WITH SCORE 70351.689
AT ITER 3177 NEW BEST:: SOT 646770 SOS 561677 HAS SOPS 560896 HAS SOUS 69835 HAS SOUPS 69751 WITH SCORE 70312.677
AT ITER 3178 NEW BEST:: SOT 646633 SOS 561540 HAS SOPS 560759 HAS SOUS 69707 HAS SOUPS 69623 WITH SCORE 70184.54
AT ITER 3199 NEW BEST:: SOT 646217 SOS 561124 HAS SOPS 560343 HAS SOUS 69511 HAS SOUPS 69427 WITH SCORE 69988.124
AT ITER 3210 NEW BEST:: SOT 646217 SOS 561124 HAS SOPS 560343 HAS SOUS 69497 HAS SOUPS 69413 WITH SCORE 69974.124
AT ITER 3223 NEW BEST:: SOT 645640 SOS 560547 HAS SOPS 559766 HAS SOUS 69036 HAS SOUPS 68952 WITH SCORE 69512.547
AT ITER 3249 NEW BEST:: SOT 645888 SOS 560795 HAS SOPS 560014 HAS SOUS 68787 HAS SOUPS 68703 WITH SCORE 69263.795
AT ITER 3261 NEW BEST:: SOT 645770 SOS 560677 HAS SOPS 559896 HAS SOUS 68694 HAS SOUPS 68610 WITH SCORE 69170.677
AT ITER 3262 NEW BEST:: SOT 645770 SOS 560677 HAS SOPS 559896 HAS SOUS 68690 HAS SOUPS 68606 WITH SCORE 69166.677
AT ITER 3311 NEW BEST:: SOT 645510 SOS 560417 HAS SOPS 559636 HAS SOUS 68412 HAS SOUPS 68328 WITH SCORE 68888.417
AT ITER 3342 NEW BEST:: SOT 645510 SOS 560475 HAS SOPS 559692 HAS SOUS 68410 HAS SOUPS 68326 WITH SCORE 68886.475
AT ITER 3351 NEW BEST:: SOT 645500 SOS 560465 HAS SOPS 559682 HAS SOUS 68408 HAS SOUPS 68324 WITH SCORE 68884.465
AT ITER 3354 NEW BEST:: SOT 645412 SOS 560377 HAS SOPS 559594 HAS SOUS 68378 HAS SOUPS 68294 WITH SCORE 68854.377
AT ITER 3366 NEW BEST:: SOT 646029 SOS 560994 HAS SOPS 560211 HAS SOUS 68316 HAS SOUPS 68232 WITH SCORE 68792.994
AT ITER 3375 NEW BEST:: SOT 645647 SOS 560612 HAS SOPS 559829 HAS SOUS 68234 HAS SOUPS 68150 WITH SCORE 68710.612
AT ITER 3383 NEW BEST:: SOT 645830 SOS 560795 HAS SOPS 560012 HAS SOUS 68030 HAS SOUPS 67946 WITH SCORE 68506.795
AT ITER 3392 NEW BEST:: SOT 645830 SOS 560795 HAS SOPS 560012 HAS SOUS 68012 HAS SOUPS 67928 WITH SCORE 68488.795
AT ITER 3419 NEW BEST:: SOT 645775 SOS 560740 HAS SOPS 559957 HAS SOUS 67581 HAS SOUPS 67497 WITH SCORE 68057.74
AT ITER 3428 NEW BEST:: SOT 645655 SOS 560620 HAS SOPS 559837 HAS SOUS 67461 HAS SOUPS 67377 WITH SCORE 67937.62
AT ITER 3482 NEW BEST:: SOT 645691 SOS 560656 HAS SOPS 559873 HAS SOUS 67449 HAS SOUPS 67365 WITH SCORE 67925.656
AT ITER 3503 NEW BEST:: SOT 644529 SOS 559494 HAS SOPS 558711 HAS SOUS 66790 HAS SOUPS 66706 WITH SCORE 67265.494
AT ITER 3535 NEW BEST:: SOT 644529 SOS 559494 HAS SOPS 558711 HAS SOUS 66665 HAS SOUPS 66581 WITH SCORE 67140.494
AT ITER 3537 NEW BEST:: SOT 644340 SOS 559305 HAS SOPS 558522 HAS SOUS 66639 HAS SOUPS 66555 WITH SCORE 67114.305
AT ITER 3544 NEW BEST:: SOT 644252 SOS 559217 HAS SOPS 558434 HAS SOUS 66565 HAS SOUPS 66481 WITH SCORE 67040.217
AT ITER 3586 NEW BEST:: SOT 643799 SOS 558764 HAS SOPS 557981 HAS SOUS 66530 HAS SOUPS 66446 WITH SCORE 67004.764
AT ITER 3597 NEW BEST:: SOT 643814 SOS 558779 HAS SOPS 557996 HAS SOUS 66517 HAS SOUPS 66433 WITH SCORE 66991.779
AT ITER 3600 NEW BEST:: SOT 643814 SOS 558779 HAS SOPS 557996 HAS SOUS 66389 HAS SOUPS 66305 WITH SCORE 66863.779
AT ITER 3613 NEW BEST:: SOT 643814 SOS 558802 HAS SOPS 558122 HAS SOUS 66366 HAS SOUPS 66289 WITH SCORE 66847.802
AT ITER 3625 NEW BEST:: SOT 643877 SOS 558865 HAS SOPS 558185 HAS SOUS 66356 HAS SOUPS 66279 WITH SCORE 66837.865
AT ITER 3651 NEW BEST:: SOT 643857 SOS 558845 HAS SOPS 558165 HAS SOUS 66336 HAS SOUPS 66259 WITH SCORE 66817.845
AT ITER 3682 NEW BEST:: SOT 643855 SOS 558843 HAS SOPS 558163 HAS SOUS 66254 HAS SOUPS 66177 WITH SCORE 66735.843
AT ITER 3693 NEW BEST:: SOT 643864 SOS 558852 HAS SOPS 558172 HAS SOUS 66212 HAS SOUPS 66135 WITH SCORE 66693.852
AT ITER 3699 NEW BEST:: SOT 643862 SOS 558850 HAS SOPS 558170 HAS SOUS 66208 HAS SOUPS 66131 WITH SCORE 66689.85
AT ITER 3715 NEW BEST:: SOT 643832 SOS 558820 HAS SOPS 558140 HAS SOUS 66169 HAS SOUPS 66092 WITH SCORE 66650.82
AT ITER 3719 NEW BEST:: SOT 643768 SOS 558756 HAS SOPS 558076 HAS SOUS 66047 HAS SOUPS 65970 WITH SCORE 66528.756
AT ITER 3722 NEW BEST:: SOT 643668 SOS 558656 HAS SOPS 557976 HAS SOUS 66008 HAS SOUPS 65931 WITH SCORE 66489.656
AT ITER 3730 NEW BEST:: SOT 643668 SOS 558656 HAS SOPS 557976 HAS SOUS 65946 HAS SOUPS 65869 WITH SCORE 66427.656
AT ITER 3750 NEW BEST:: SOT 643692 SOS 558680 HAS SOPS 558000 HAS SOUS 65939 HAS SOUPS 65862 WITH SCORE 66420.68
AT ITER 3757 NEW BEST:: SOT 643575 SOS 558563 HAS SOPS 557883 HAS SOUS 65684 HAS SOUPS 65607 WITH SCORE 66165.563
AT ITER 3768 NEW BEST:: SOT 643860 SOS 558848 HAS SOPS 558168 HAS SOUS 65641 HAS SOUPS 65564 WITH SCORE 66122.848
AT ITER 3772 NEW BEST:: SOT 643765 SOS 560970 HAS SOPS 558050 HAS SOUS 65535 HAS SOUPS 65469 WITH SCORE 66029.97
AT ITER 3781 NEW BEST:: SOT 643765 SOS 560970 HAS SOPS 558050 HAS SOUS 65526 HAS SOUPS 65460 WITH SCORE 66020.97
AT ITER 3791 NEW BEST:: SOT 643871 SOS 561076 HAS SOPS 558156 HAS SOUS 65513 HAS SOUPS 65447 WITH SCORE 66008.076
AT ITER 3793 NEW BEST:: SOT 643561 SOS 560766 HAS SOPS 557846 HAS SOUS 65285 HAS SOUPS 65219 WITH SCORE 65779.766
AT ITER 3805 NEW BEST:: SOT 643561 SOS 560766 HAS SOPS 557846 HAS SOUS 65281 HAS SOUPS 65215 WITH SCORE 65775.766
AT ITER 3825 NEW BEST:: SOT 643587 SOS 560919 HAS SOPS 557884 HAS SOUS 65256 HAS SOUPS 65190 WITH SCORE 65750.919
AT ITER 3848 NEW BEST:: SOT 643563 SOS 560895 HAS SOPS 557860 HAS SOUS 65245 HAS SOUPS 65179 WITH SCORE 65739.895
AT ITER 3861 NEW BEST:: SOT 643563 SOS 560895 HAS SOPS 557860 HAS SOUS 65013 HAS SOUPS 64947 WITH SCORE 65507.895
AT ITER 3874 NEW BEST:: SOT 643527 SOS 560859 HAS SOPS 557824 HAS SOUS 64999 HAS SOUPS 64933 WITH SCORE 65493.859
AT ITER 3899 NEW BEST:: SOT 643529 SOS 561031 HAS SOPS 558002 HAS SOUS 64988 HAS SOUPS 64922 WITH SCORE 65483.031
AT ITER 3911 NEW BEST:: SOT 643757 SOS 561259 HAS SOPS 558230 HAS SOUS 64936 HAS SOUPS 64870 WITH SCORE 65431.259
AT ITER 3932 NEW BEST:: SOT 643718 SOS 561220 HAS SOPS 558191 HAS SOUS 64901 HAS SOUPS 64835 WITH SCORE 65396.22
AT ITER 3951 NEW BEST:: SOT 643688 SOS 561190 HAS SOPS 558161 HAS SOUS 64887 HAS SOUPS 64821 WITH SCORE 65382.19
AT ITER 3965 NEW BEST:: SOT 643673 SOS 561175 HAS SOPS 558146 HAS SOUS 64870 HAS SOUPS 64804 WITH SCORE 65365.175
AT ITER 3980 NEW BEST:: SOT 643817 SOS 561319 HAS SOPS 558290 HAS SOUS 64799 HAS SOUPS 64733 WITH SCORE 65294.319
AT ITER 4004 NEW BEST:: SOT 643562 SOS 561064 HAS SOPS 558035 HAS SOUS 64471 HAS SOUPS 64405 WITH SCORE 64966.064
AT ITER 4016 NEW BEST:: SOT 643484 SOS 560986 HAS SOPS 557957 HAS SOUS 64430 HAS SOUPS 64364 WITH SCORE 64924.986
AT ITER 4024 NEW BEST:: SOT 643484 SOS 560986 HAS SOPS 557957 HAS SOUS 64418 HAS SOUPS 64352 WITH SCORE 64912.986
AT ITER 4030 NEW BEST:: SOT 643470 SOS 560972 HAS SOPS 557943 HAS SOUS 64383 HAS SOUPS 64317 WITH SCORE 64877.972
AT ITER 4044 NEW BEST:: SOT 643470 SOS 561086 HAS SOPS 558051 HAS SOUS 64377 HAS SOUPS 64311 WITH SCORE 64872.086
AT ITER 4107 NEW BEST:: SOT 642678 SOS 560294 HAS SOPS 557259 HAS SOUS 64087 HAS SOUPS 64021 WITH SCORE 64581.294
AT ITER 4113 NEW BEST:: SOT 642853 SOS 560657 HAS SOPS 557830 HAS SOUS 64049 HAS SOUPS 63996 WITH SCORE 64556.657
AT ITER 4121 NEW BEST:: SOT 642362 SOS 560166 HAS SOPS 557339 HAS SOUS 63825 HAS SOUPS 63772 WITH SCORE 64332.166
AT ITER 4164 NEW BEST:: SOT 642184 SOS 559988 HAS SOPS 557161 HAS SOUS 63607 HAS SOUPS 63554 WITH SCORE 64113.988
AT ITER 4175 NEW BEST:: SOT 642066 SOS 559870 HAS SOPS 557043 HAS SOUS 63485 HAS SOUPS 63432 WITH SCORE 63991.87
AT ITER 4268 NEW BEST:: SOT 642066 SOS 559870 HAS SOPS 557043 HAS SOUS 63412 HAS SOUPS 63359 WITH SCORE 63918.87
AT ITER 4303 NEW BEST:: SOT 642138 SOS 559942 HAS SOPS 557115 HAS SOUS 63296 HAS SOUPS 63243 WITH SCORE 63802.942
AT ITER 4322 NEW BEST:: SOT 641641 SOS 559445 HAS SOPS 556618 HAS SOUS 63194 HAS SOUPS 63141 WITH SCORE 63700.445
AT ITER 4348 NEW BEST:: SOT 641508 SOS 559312 HAS SOPS 556485 HAS SOUS 63154 HAS SOUPS 63101 WITH SCORE 63660.312
AT ITER 4358 NEW BEST:: SOT 641508 SOS 559316 HAS SOPS 556557 HAS SOUS 63146 HAS SOUPS 63097 WITH SCORE 63656.316
AT ITER 4360 NEW BEST:: SOT 641384 SOS 558516 HAS SOPS 555461 HAS SOUS 63117 HAS SOUPS 63041 WITH SCORE 63599.516
AT ITER 4387 NEW BEST:: SOT 641497 SOS 558629 HAS SOPS 555574 HAS SOUS 63102 HAS SOUPS 63026 WITH SCORE 63584.629
AT ITER 4410 NEW BEST:: SOT 641501 SOS 558668 HAS SOPS 555614 HAS SOUS 63096 HAS SOUPS 63020 WITH SCORE 63578.668
AT ITER 4447 NEW BEST:: SOT 641461 SOS 558628 HAS SOPS 555574 HAS SOUS 63071 HAS SOUPS 62995 WITH SCORE 63553.628
AT ITER 4457 NEW BEST:: SOT 641479 SOS 558984 HAS SOPS 555916 HAS SOUS 63044 HAS SOUPS 62968 WITH SCORE 63526.984
AT ITER 4473 NEW BEST:: SOT 641325 SOS 558830 HAS SOPS 555762 HAS SOUS 62840 HAS SOUPS 62764 WITH SCORE 63322.83
AT ITER 4479 NEW BEST:: SOT 641188 SOS 558693 HAS SOPS 555625 HAS SOUS 62826 HAS SOUPS 62750 WITH SCORE 63308.693
AT ITER 4481 NEW BEST:: SOT 641219 SOS 558781 HAS SOPS 555728 HAS SOUS 62822 HAS SOUPS 62746 WITH SCORE 63304.781
AT ITER 4537 NEW BEST:: SOT 641179 SOS 558741 HAS SOPS 555688 HAS SOUS 62808 HAS SOUPS 62732 WITH SCORE 63290.741
AT ITER 4600 NEW BEST:: SOT 641163 SOS 558725 HAS SOPS 555672 HAS SOUS 62764 HAS SOUPS 62688 WITH SCORE 63246.725
AT ITER 4614 NEW BEST:: SOT 641175 SOS 558737 HAS SOPS 555684 HAS SOUS 62752 HAS SOUPS 62676 WITH SCORE 63234.737
AT ITER 4623 NEW BEST:: SOT 640738 SOS 558300 HAS SOPS 555247 HAS SOUS 62647 HAS SOUPS 62571 WITH SCORE 63129.3
AT ITER 4643 NEW BEST:: SOT 640700 SOS 558262 HAS SOPS 555209 HAS SOUS 62612 HAS SOUPS 62536 WITH SCORE 63094.262
AT ITER 4657 NEW BEST:: SOT 640700 SOS 558082 HAS SOPS 555017 HAS SOUS 62612 HAS SOUPS 62536 WITH SCORE 63094.082
AT ITER 4663 NEW BEST:: SOT 640640 SOS 557326 HAS SOPS 554257 HAS SOUS 62587 HAS SOUPS 62511 WITH SCORE 63068.326
AT ITER 4668 NEW BEST:: SOT 640397 SOS 557083 HAS SOPS 554014 HAS SOUS 62407 HAS SOUPS 62331 WITH SCORE 62888.083
AT ITER 4690 NEW BEST:: SOT 640362 SOS 557048 HAS SOPS 553979 HAS SOUS 62382 HAS SOUPS 62306 WITH SCORE 62863.048
AT ITER 4705 NEW BEST:: SOT 640262 SOS 556948 HAS SOPS 553879 HAS SOUS 62380 HAS SOUPS 62304 WITH SCORE 62860.948
AT ITER 4772 NEW BEST:: SOT 640209 SOS 556895 HAS SOPS 553826 HAS SOUS 62238 HAS SOUPS 62162 WITH SCORE 62718.895
AT ITER 4835 NEW BEST:: SOT 640029 SOS 556715 HAS SOPS 553646 HAS SOUS 62193 HAS SOUPS 62117 WITH SCORE 62673.715
AT ITER 4840 NEW BEST:: SOT 639334 SOS 556020 HAS SOPS 552951 HAS SOUS 62006 HAS SOUPS 61930 WITH SCORE 62486.02
AT ITER 4860 NEW BEST:: SOT 639404 SOS 556090 HAS SOPS 553021 HAS SOUS 62002 HAS SOUPS 61926 WITH SCORE 62482.09
AT ITER 4878 NEW BEST:: SOT 639640 SOS 556326 HAS SOPS 553257 HAS SOUS 61966 HAS SOUPS 61890 WITH SCORE 62446.326
AT ITER 4900 NEW BEST:: SOT 639500 SOS 556186 HAS SOPS 553117 HAS SOUS 61926 HAS SOUPS 61850 WITH SCORE 62406.186
AT ITER 4937 NEW BEST:: SOT 639446 SOS 556132 HAS SOPS 553063 HAS SOUS 61854 HAS SOUPS 61778 WITH SCORE 62334.132
AT ITER 4952 NEW BEST:: SOT 639514 SOS 556200 HAS SOPS 553131 HAS SOUS 61832 HAS SOUPS 61756 WITH SCORE 62312.2
AT ITER 5022 NEW BEST:: SOT 639742 SOS 556428 HAS SOPS 553359 HAS SOUS 61726 HAS SOUPS 61650 WITH SCORE 62206.428
AT ITER 5023 NEW BEST:: SOT 639736 SOS 556422 HAS SOPS 553353 HAS SOUS 61726 HAS SOUPS 61650 WITH SCORE 62206.422
AT ITER 5025 NEW BEST:: SOT 639791 SOS 556477 HAS SOPS 553408 HAS SOUS 61719 HAS SOUPS 61643 WITH SCORE 62199.477
AT ITER 5059 NEW BEST:: SOT 640089 SOS 556775 HAS SOPS 553706 HAS SOUS 61650 HAS SOUPS 61574 WITH SCORE 62130.775
AT ITER 5069 NEW BEST:: SOT 639949 SOS 556635 HAS SOPS 553566 HAS SOUS 61490 HAS SOUPS 61414 WITH SCORE 61970.635
AT ITER 5085 NEW BEST:: SOT 639934 SOS 556620 HAS SOPS 553551 HAS SOUS 61485 HAS SOUPS 61409 WITH SCORE 61965.62
AT ITER 5102 NEW BEST:: SOT 639934 SOS 556620 HAS SOPS 553551 HAS SOUS 61427 HAS SOUPS 61351 WITH SCORE 61907.62
AT ITER 5119 NEW BEST:: SOT 638520 SOS 555206 HAS SOPS 552137 HAS SOUS 60888 HAS SOUPS 60812 WITH SCORE 61367.206
AT ITER 5139 NEW BEST:: SOT 638454 SOS 555140 HAS SOPS 552071 HAS SOUS 60819 HAS SOUPS 60743 WITH SCORE 61298.14
AT ITER 5140 NEW BEST:: SOT 638255 SOS 554941 HAS SOPS 551872 HAS SOUS 60683 HAS SOUPS 60607 WITH SCORE 61161.941
AT ITER 5185 NEW BEST:: SOT 638255 SOS 554869 HAS SOPS 551800 HAS SOUS 60683 HAS SOUPS 60607 WITH SCORE 61161.869
AT ITER 5189 NEW BEST:: SOT 638047 SOS 554661 HAS SOPS 551592 HAS SOUS 60636 HAS SOUPS 60560 WITH SCORE 61114.661
AT ITER 5278 NEW BEST:: SOT 636615 SOS 553229 HAS SOPS 550160 HAS SOUS 60139 HAS SOUPS 60063 WITH SCORE 60616.229
AT ITER 5289 NEW BEST:: SOT 636949 SOS 553563 HAS SOPS 550494 HAS SOUS 59978 HAS SOUPS 59902 WITH SCORE 60455.563
AT ITER 5306 NEW BEST:: SOT 636952 SOS 553566 HAS SOPS 550497 HAS SOUS 59968 HAS SOUPS 59892 WITH SCORE 60445.566
AT ITER 5353 NEW BEST:: SOT 637051 SOS 553665 HAS SOPS 550596 HAS SOUS 59908 HAS SOUPS 59832 WITH SCORE 60385.665
AT ITER 5384 NEW BEST:: SOT 636643 SOS 553257 HAS SOPS 550188 HAS SOUS 59884 HAS SOUPS 59808 WITH SCORE 60361.257
AT ITER 5405 NEW BEST:: SOT 635608 SOS 552222 HAS SOPS 549153 HAS SOUS 59861 HAS SOUPS 59785 WITH SCORE 60337.222
AT ITER 5411 NEW BEST:: SOT 635788 SOS 552402 HAS SOPS 549333 HAS SOUS 59813 HAS SOUPS 59737 WITH SCORE 60289.402
AT ITER 5413 NEW BEST:: SOT 635837 SOS 552451 HAS SOPS 549382 HAS SOUS 59758 HAS SOUPS 59682 WITH SCORE 60234.451
AT ITER 5451 NEW BEST:: SOT 635829 SOS 552443 HAS SOPS 549374 HAS SOUS 59758 HAS SOUPS 59682 WITH SCORE 60234.443
AT ITER 5477 NEW BEST:: SOT 635833 SOS 552447 HAS SOPS 549378 HAS SOUS 59739 HAS SOUPS 59663 WITH SCORE 60215.447
AT ITER 5545 NEW BEST:: SOT 635557 SOS 552171 HAS SOPS 549102 HAS SOUS 59721 HAS SOUPS 59645 WITH SCORE 60197.171
AT ITER 5556 NEW BEST:: SOT 635494 SOS 552108 HAS SOPS 549039 HAS SOUS 59711 HAS SOUPS 59635 WITH SCORE 60187.108
AT ITER 5562 NEW BEST:: SOT 635434 SOS 551568 HAS SOPS 548367 HAS SOUS 59725 HAS SOUPS 59632 WITH SCORE 60183.568
AT ITER 5577 NEW BEST:: SOT 635682 SOS 551816 HAS SOPS 548615 HAS SOUS 59711 HAS SOUPS 59618 WITH SCORE 60169.816
AT ITER 5589 NEW BEST:: SOT 635683 SOS 551817 HAS SOPS 548616 HAS SOUS 59708 HAS SOUPS 59615 WITH SCORE 60166.817
AT ITER 5599 NEW BEST:: SOT 635883 SOS 552017 HAS SOPS 548816 HAS SOUS 59600 HAS SOUPS 59507 WITH SCORE 60059.017
AT ITER 5668 NEW BEST:: SOT 635869 SOS 552003 HAS SOPS 548802 HAS SOUS 59592 HAS SOUPS 59499 WITH SCORE 60051.003
AT ITER 5676 NEW BEST:: SOT 635779 SOS 551913 HAS SOPS 548712 HAS SOUS 59547 HAS SOUPS 59454 WITH SCORE 60005.913
AT ITER 5684 NEW BEST:: SOT 635793 SOS 551927 HAS SOPS 548726 HAS SOUS 59476 HAS SOUPS 59383 WITH SCORE 59934.927
AT ITER 5728 NEW BEST:: SOT 635786 SOS 551920 HAS SOPS 548719 HAS SOUS 59470 HAS SOUPS 59377 WITH SCORE 59928.92
AT ITER 5737 NEW BEST:: SOT 635786 SOS 551920 HAS SOPS 548719 HAS SOUS 59464 HAS SOUPS 59371 WITH SCORE 59922.92
AT ITER 5745 NEW BEST:: SOT 635328 SOS 551462 HAS SOPS 548261 HAS SOUS 59264 HAS SOUPS 59171 WITH SCORE 59722.462
AT ITER 5769 NEW BEST:: SOT 635324 SOS 551458 HAS SOPS 548257 HAS SOUS 59238 HAS SOUPS 59145 WITH SCORE 59696.458
AT ITER 5830 NEW BEST:: SOT 635324 SOS 551599 HAS SOPS 548429 HAS SOUS 59224 HAS SOUPS 59136 WITH SCORE 59687.599
AT ITER 5846 NEW BEST:: SOT 635114 SOS 551389 HAS SOPS 548219 HAS SOUS 59090 HAS SOUPS 59002 WITH SCORE 59553.389
AT ITER 5905 NEW BEST:: SOT 634977 SOS 551252 HAS SOPS 548082 HAS SOUS 59082 HAS SOUPS 58994 WITH SCORE 59545.252
AT ITER 5978 NEW BEST:: SOT 634908 SOS 550845 HAS SOPS 547689 HAS SOUS 59024 HAS SOUPS 58936 WITH SCORE 59486.845
AT ITER 5980 NEW BEST:: SOT 634885 SOS 550822 HAS SOPS 547666 HAS SOUS 59023 HAS SOUPS 58935 WITH SCORE 59485.822
AT ITER 5982 NEW BEST:: SOT 634885 SOS 550798 HAS SOPS 547642 HAS SOUS 59023 HAS SOUPS 58935 WITH SCORE 59485.798
AT ITER 5987 NEW BEST:: SOT 634887 SOS 550800 HAS SOPS 547644 HAS SOUS 59017 HAS SOUPS 58929 WITH SCORE 59479.8
AT ITER 5998 NEW BEST:: SOT 634887 SOS 550572 HAS SOPS 547404 HAS SOUS 59017 HAS SOUPS 58929 WITH SCORE 59479.572
AT ITER 6151 NEW BEST:: SOT 634737 SOS 550422 HAS SOPS 547254 HAS SOUS 58928 HAS SOUPS 58840 WITH SCORE 59390.422
AT ITER 6181 NEW BEST:: SOT 634737 SOS 550254 HAS SOPS 547086 HAS SOUS 58928 HAS SOUPS 58840 WITH SCORE 59390.254
AT ITER 6191 NEW BEST:: SOT 634724 SOS 550241 HAS SOPS 547073 HAS SOUS 58888 HAS SOUPS 58800 WITH SCORE 59350.241
AT ITER 6228 NEW BEST:: SOT 634711 SOS 550228 HAS SOPS 547060 HAS SOUS 58877 HAS SOUPS 58789 WITH SCORE 59339.228
AT ITER 6273 NEW BEST:: SOT 634712 SOS 550229 HAS SOPS 547061 HAS SOUS 58872 HAS SOUPS 58784 WITH SCORE 59334.229
AT ITER 6276 NEW BEST:: SOT 634712 SOS 550189 HAS SOPS 547021 HAS SOUS 58872 HAS SOUPS 58784 WITH SCORE 59334.189
AT ITER 6278 NEW BEST:: SOT 634775 SOS 550612 HAS SOPS 547588 HAS SOUS 58847 HAS SOUPS 58780 WITH SCORE 59330.612
AT ITER 6338 NEW BEST:: SOT 634709 SOS 550546 HAS SOPS 547522 HAS SOUS 58809 HAS SOUPS 58742 WITH SCORE 59292.546
AT ITER 6384 NEW BEST:: SOT 634709 SOS 550546 HAS SOPS 547522 HAS SOUS 58729 HAS SOUPS 58662 WITH SCORE 59212.546
AT ITER 6411 NEW BEST:: SOT 634732 SOS 550569 HAS SOPS 547545 HAS SOUS 58711 HAS SOUPS 58644 WITH SCORE 59194.569
AT ITER 6419 NEW BEST:: SOT 634710 SOS 550547 HAS SOPS 547523 HAS SOUS 58673 HAS SOUPS 58606 WITH SCORE 59156.547
AT ITER 6478 NEW BEST:: SOT 634823 SOS 550660 HAS SOPS 547636 HAS SOUS 58630 HAS SOUPS 58563 WITH SCORE 59113.66
AT ITER 6486 NEW BEST:: SOT 634757 SOS 550594 HAS SOPS 547570 HAS SOUS 58594 HAS SOUPS 58527 WITH SCORE 59077.594
AT ITER 6512 NEW BEST:: SOT 634754 SOS 550591 HAS SOPS 547567 HAS SOUS 58592 HAS SOUPS 58525 WITH SCORE 59075.591
AT ITER 6520 NEW BEST:: SOT 634739 SOS 550576 HAS SOPS 547552 HAS SOUS 58496 HAS SOUPS 58429 WITH SCORE 58979.576
AT ITER 6608 NEW BEST:: SOT 634751 SOS 550588 HAS SOPS 547564 HAS SOUS 58475 HAS SOUPS 58408 WITH SCORE 58958.588
AT ITER 6615 NEW BEST:: SOT 634621 SOS 550458 HAS SOPS 547434 HAS SOUS 58460 HAS SOUPS 58393 WITH SCORE 58943.458
AT ITER 6625 NEW BEST:: SOT 634574 SOS 550411 HAS SOPS 547387 HAS SOUS 58201 HAS SOUPS 58134 WITH SCORE 58684.411
AT ITER 6671 NEW BEST:: SOT 634503 SOS 550340 HAS SOPS 547316 HAS SOUS 58173 HAS SOUPS 58106 WITH SCORE 58656.34
AT ITER 6689 NEW BEST:: SOT 635077 SOS 550914 HAS SOPS 547890 HAS SOUS 57874 HAS SOUPS 57807 WITH SCORE 58357.914
AT ITER 6721 NEW BEST:: SOT 635139 SOS 550976 HAS SOPS 547952 HAS SOUS 57870 HAS SOUPS 57803 WITH SCORE 58353.976
AT ITER 6725 NEW BEST:: SOT 635103 SOS 550940 HAS SOPS 547916 HAS SOUS 57867 HAS SOUPS 57800 WITH SCORE 58350.94
AT ITER 6728 NEW BEST:: SOT 635101 SOS 550938 HAS SOPS 547914 HAS SOUS 57865 HAS SOUPS 57798 WITH SCORE 58348.938
AT ITER 6751 NEW BEST:: SOT 634995 SOS 550832 HAS SOPS 547808 HAS SOUS 57729 HAS SOUPS 57662 WITH SCORE 58212.832
AT ITER 6804 NEW BEST:: SOT 634915 SOS 550752 HAS SOPS 547728 HAS SOUS 57723 HAS SOUPS 57656 WITH SCORE 58206.752
AT ITER 6819 NEW BEST:: SOT 634766 SOS 550603 HAS SOPS 547579 HAS SOUS 57710 HAS SOUPS 57643 WITH SCORE 58193.603
AT ITER 6841 NEW BEST:: SOT 634766 SOS 550543 HAS SOPS 547519 HAS SOUS 57710 HAS SOUPS 57643 WITH SCORE 58193.543
AT ITER 6848 NEW BEST:: SOT 634824 SOS 550601 HAS SOPS 547577 HAS SOUS 57702 HAS SOUPS 57635 WITH SCORE 58185.601
AT ITER 6860 NEW BEST:: SOT 634850 SOS 550550 HAS SOPS 547651 HAS SOUS 57668 HAS SOUPS 57609 WITH SCORE 58159.55
AT ITER 6869 NEW BEST:: SOT 634748 SOS 550448 HAS SOPS 547549 HAS SOUS 57658 HAS SOUPS 57599 WITH SCORE 58149.448
AT ITER 6874 NEW BEST:: SOT 634685 SOS 550385 HAS SOPS 547486 HAS SOUS 57613 HAS SOUPS 57554 WITH SCORE 58104.385
AT ITER 6901 NEW BEST:: SOT 634697 SOS 550397 HAS SOPS 547498 HAS SOUS 57609 HAS SOUPS 57550 WITH SCORE 58100.397
AT ITER 6942 NEW BEST:: SOT 634525 SOS 550225 HAS SOPS 547326 HAS SOUS 57584 HAS SOUPS 57525 WITH SCORE 58075.225
AT ITER 6961 NEW BEST:: SOT 634525 SOS 549853 HAS SOPS 546942 HAS SOUS 57584 HAS SOUPS 57525 WITH SCORE 58074.853
AT ITER 7033 NEW BEST:: SOT 634534 SOS 549879 HAS SOPS 547203 HAS SOUS 57511 HAS SOUPS 57466 WITH SCORE 58015.879
AT ITER 7088 NEW BEST:: SOT 634548 SOS 549893 HAS SOPS 547217 HAS SOUS 57501 HAS SOUPS 57456 WITH SCORE 58005.893
AT ITER 7092 NEW BEST:: SOT 634521 SOS 549866 HAS SOPS 547190 HAS SOUS 57495 HAS SOUPS 57450 WITH SCORE 57999.866
AT ITER 7129 NEW BEST:: SOT 634655 SOS 550000 HAS SOPS 547324 HAS SOUS 57493 HAS SOUPS 57448 WITH SCORE 57998.0
AT ITER 7190 NEW BEST:: SOT 634763 SOS 550108 HAS SOPS 547432 HAS SOUS 57408 HAS SOUPS 57363 WITH SCORE 57913.108
AT ITER 7222 NEW BEST:: SOT 634555 SOS 549900 HAS SOPS 547224 HAS SOUS 57306 HAS SOUPS 57261 WITH SCORE 57810.9
AT ITER 7230 NEW BEST:: SOT 634557 SOS 550382 HAS SOPS 547838 HAS SOUS 57251 HAS SOUPS 57223 WITH SCORE 57773.382
AT ITER 7235 NEW BEST:: SOT 634301 SOS 550126 HAS SOPS 547582 HAS SOUS 57185 HAS SOUPS 57157 WITH SCORE 57707.126
AT ITER 7241 NEW BEST:: SOT 634301 SOS 550490 HAS SOPS 548086 HAS SOUS 57143 HAS SOUPS 57129 WITH SCORE 57679.49
AT ITER 7252 NEW BEST:: SOT 634364 SOS 550553 HAS SOPS 548149 HAS SOUS 57106 HAS SOUPS 57092 WITH SCORE 57642.553
AT ITER 7373 NEW BEST:: SOT 634364 SOS 550553 HAS SOPS 548149 HAS SOUS 57049 HAS SOUPS 57035 WITH SCORE 57585.553
AT ITER 7439 NEW BEST:: SOT 634141 SOS 550330 HAS SOPS 547926 HAS SOUS 57025 HAS SOUPS 57011 WITH SCORE 57561.33
AT ITER 7469 NEW BEST:: SOT 633918 SOS 550107 HAS SOPS 547703 HAS SOUS 56863 HAS SOUPS 56849 WITH SCORE 57399.107
AT ITER 7504 NEW BEST:: SOT 633934 SOS 550123 HAS SOPS 547719 HAS SOUS 56831 HAS SOUPS 56817 WITH SCORE 57367.123
AT ITER 7509 NEW BEST:: SOT 632497 SOS 548686 HAS SOPS 546282 HAS SOUS 56786 HAS SOUPS 56772 WITH SCORE 57320.686
AT ITER 7513 NEW BEST:: SOT 632378 SOS 548567 HAS SOPS 546163 HAS SOUS 56702 HAS SOUPS 56688 WITH SCORE 57236.567
AT ITER 7549 NEW BEST:: SOT 632378 SOS 548315 HAS SOPS 545899 HAS SOUS 56702 HAS SOUPS 56688 WITH SCORE 57236.315
AT ITER 7588 NEW BEST:: SOT 632378 SOS 548283 HAS SOPS 545867 HAS SOUS 56702 HAS SOUPS 56688 WITH SCORE 57236.283
AT ITER 7599 NEW BEST:: SOT 631602 SOS 547507 HAS SOPS 545091 HAS SOUS 56685 HAS SOUPS 56671 WITH SCORE 57218.507
AT ITER 7604 NEW BEST:: SOT 631322 SOS 547227 HAS SOPS 544811 HAS SOUS 56210 HAS SOUPS 56196 WITH SCORE 56743.227
AT ITER 7750 NEW BEST:: SOT 631359 SOS 547264 HAS SOPS 544848 HAS SOUS 56191 HAS SOUPS 56177 WITH SCORE 56724.264
AT ITER 7775 NEW BEST:: SOT 631344 SOS 547249 HAS SOPS 544833 HAS SOUS 56172 HAS SOUPS 56158 WITH SCORE 56705.249
AT ITER 7833 NEW BEST:: SOT 631369 SOS 547274 HAS SOPS 544858 HAS SOUS 56085 HAS SOUPS 56071 WITH SCORE 56618.274
AT ITER 7847 NEW BEST:: SOT 631374 SOS 547279 HAS SOPS 544863 HAS SOUS 56082 HAS SOUPS 56068 WITH SCORE 56615.279
AT ITER 7902 NEW BEST:: SOT 631323 SOS 547228 HAS SOPS 544812 HAS SOUS 56040 HAS SOUPS 56026 WITH SCORE 56573.228
AT ITER 7908 NEW BEST:: SOT 630963 SOS 546868 HAS SOPS 544452 HAS SOUS 55590 HAS SOUPS 55576 WITH SCORE 56122.868
AT ITER 7964 NEW BEST:: SOT 630963 SOS 546628 HAS SOPS 544212 HAS SOUS 55590 HAS SOUPS 55576 WITH SCORE 56122.628
AT ITER 7986 NEW BEST:: SOT 630941 SOS 546606 HAS SOPS 544190 HAS SOUS 55578 HAS SOUPS 55564 WITH SCORE 56110.606
AT ITER 8022 NEW BEST:: SOT 630941 SOS 546426 HAS SOPS 544010 HAS SOUS 55578 HAS SOUPS 55564 WITH SCORE 56110.426
AT ITER 8051 NEW BEST:: SOT 630948 SOS 546745 HAS SOPS 544485 HAS SOUS 55539 HAS SOUPS 55538 WITH SCORE 56084.745
AT ITER 8067 NEW BEST:: SOT 630815 SOS 546612 HAS SOPS 544352 HAS SOUS 55437 HAS SOUPS 55436 WITH SCORE 55982.612
AT ITER 8074 NEW BEST:: SOT 630767 SOS 546564 HAS SOPS 544304 HAS SOUS 55385 HAS SOUPS 55384 WITH SCORE 55930.564
AT ITER 8193 NEW BEST:: SOT 630789 SOS 546586 HAS SOPS 544326 HAS SOUS 55361 HAS SOUPS 55360 WITH SCORE 55906.586
AT ITER 8285 NEW BEST:: SOT 630789 SOS 546706 HAS SOPS 544458 HAS SOUS 55347 HAS SOUPS 55346 WITH SCORE 55892.706
AT ITER 8311 NEW BEST:: SOT 630793 SOS 546710 HAS SOPS 544462 HAS SOUS 55341 HAS SOUPS 55340 WITH SCORE 55886.71
AT ITER 8327 NEW BEST:: SOT 630789 SOS 546706 HAS SOPS 544458 HAS SOUS 55330 HAS SOUPS 55329 WITH SCORE 55875.706
AT ITER 8357 NEW BEST:: SOT 630671 SOS 546588 HAS SOPS 544340 HAS SOUS 55322 HAS SOUPS 55321 WITH SCORE 55867.588
AT ITER 8364 NEW BEST:: SOT 630852 SOS 546769 HAS SOPS 544521 HAS SOUS 55289 HAS SOUPS 55288 WITH SCORE 55834.769
AT ITER 8415 NEW BEST:: SOT 630853 SOS 546770 HAS SOPS 544522 HAS SOUS 55285 HAS SOUPS 55284 WITH SCORE 55830.77
AT ITER 8460 NEW BEST:: SOT 630832 SOS 546749 HAS SOPS 544501 HAS SOUS 55276 HAS SOUPS 55275 WITH SCORE 55821.749
AT ITER 8548 NEW BEST:: SOT 630832 SOS 546669 HAS SOPS 544421 HAS SOUS 55276 HAS SOUPS 55275 WITH SCORE 55821.669
AT ITER 8553 NEW BEST:: SOT 630834 SOS 546671 HAS SOPS 544423 HAS SOUS 55268 HAS SOUPS 55267 WITH SCORE 55813.671
AT ITER 8568 NEW BEST:: SOT 630816 SOS 546653 HAS SOPS 544405 HAS SOUS 55232 HAS SOUPS 55231 WITH SCORE 55777.653
AT ITER 8607 NEW BEST:: SOT 630910 SOS 546747 HAS SOPS 544499 HAS SOUS 55209 HAS SOUPS 55208 WITH SCORE 55754.747
AT ITER 8625 NEW BEST:: SOT 630545 SOS 546382 HAS SOPS 544134 HAS SOUS 55151 HAS SOUPS 55150 WITH SCORE 55696.382
AT ITER 8680 NEW BEST:: SOT 630383 SOS 546220 HAS SOPS 543972 HAS SOUS 55078 HAS SOUPS 55077 WITH SCORE 55623.22
AT ITER 8690 NEW BEST:: SOT 630369 SOS 546206 HAS SOPS 543958 HAS SOUS 55070 HAS SOUPS 55069 WITH SCORE 55615.206
AT ITER 8765 NEW BEST:: SOT 630369 SOS 546190 HAS SOPS 543942 HAS SOUS 55070 HAS SOUPS 55069 WITH SCORE 55615.19
AT ITER 8767 NEW BEST:: SOT 630353 SOS 546174 HAS SOPS 543926 HAS SOUS 55058 HAS SOUPS 55057 WITH SCORE 55603.174
AT ITER 8815 NEW BEST:: SOT 630288 SOS 546109 HAS SOPS 543861 HAS SOUS 55041 HAS SOUPS 55040 WITH SCORE 55586.109
AT ITER 8924 NEW BEST:: SOT 630140 SOS 545961 HAS SOPS 543713 HAS SOUS 54990 HAS SOUPS 54989 WITH SCORE 55534.961
AT ITER 8942 NEW BEST:: SOT 630175 SOS 545996 HAS SOPS 543748 HAS SOUS 54987 HAS SOUPS 54986 WITH SCORE 55531.996
AT ITER 9072 NEW BEST:: SOT 630175 SOS 545852 HAS SOPS 543604 HAS SOUS 54987 HAS SOUPS 54986 WITH SCORE 55531.852
AT ITER 9125 NEW BEST:: SOT 630189 SOS 545866 HAS SOPS 543618 HAS SOUS 54981 HAS SOUPS 54980 WITH SCORE 55525.866
AT ITER 9185 NEW BEST:: SOT 629972 SOS 545649 HAS SOPS 543401 HAS SOUS 54902 HAS SOUPS 54901 WITH SCORE 55446.649
AT ITER 9199 NEW BEST:: SOT 629961 SOS 545638 HAS SOPS 543390 HAS SOUS 54893 HAS SOUPS 54892 WITH SCORE 55437.638
AT ITER 9220 NEW BEST:: SOT 629971 SOS 545648 HAS SOPS 543400 HAS SOUS 54874 HAS SOUPS 54873 WITH SCORE 55418.648
AT ITER 9303 NEW BEST:: SOT 629857 SOS 545534 HAS SOPS 543286 HAS SOUS 54865 HAS SOUPS 54864 WITH SCORE 55409.534
AT ITER 9342 NEW BEST:: SOT 629763 SOS 545440 HAS SOPS 543192 HAS SOUS 54766 HAS SOUPS 54765 WITH SCORE 55310.44
AT ITER 9357 NEW BEST:: SOT 629752 SOS 545429 HAS SOPS 543181 HAS SOUS 54754 HAS SOUPS 54753 WITH SCORE 55298.429
AT ITER 9358 NEW BEST:: SOT 629724 SOS 545401 HAS SOPS 543153 HAS SOUS 54752 HAS SOUPS 54751 WITH SCORE 55296.401
AT ITER 9404 NEW BEST:: SOT 629729 SOS 545406 HAS SOPS 543158 HAS SOUS 54733 HAS SOUPS 54732 WITH SCORE 55277.406
AT ITER 9419 NEW BEST:: SOT 629673 SOS 545350 HAS SOPS 543102 HAS SOUS 54648 HAS SOUPS 54647 WITH SCORE 55192.35
AT ITER 9514 NEW BEST:: SOT 629563 SOS 545240 HAS SOPS 542992 HAS SOUS 54609 HAS SOUPS 54608 WITH SCORE 55153.24
AT ITER 9573 NEW BEST:: SOT 629545 SOS 545222 HAS SOPS 542974 HAS SOUS 54558 HAS SOUPS 54557 WITH SCORE 55102.222
AT ITER 9608 NEW BEST:: SOT 629536 SOS 545213 HAS SOPS 542965 HAS SOUS 54543 HAS SOUPS 54542 WITH SCORE 55087.213
AT ITER 9652 NEW BEST:: SOT 629536 SOS 545105 HAS SOPS 542857 HAS SOUS 54543 HAS SOUPS 54542 WITH SCORE 55087.105
AT ITER 9679 NEW BEST:: SOT 629538 SOS 545107 HAS SOPS 542859 HAS SOUS 54539 HAS SOUPS 54538 WITH SCORE 55083.107
AT ITER 9697 NEW BEST:: SOT 629342 SOS 544911 HAS SOPS 542663 HAS SOUS 54519 HAS SOUPS 54518 WITH SCORE 55062.911
AT ITER 9807 NEW BEST:: SOT 629412 SOS 544981 HAS SOPS 542733 HAS SOUS 54508 HAS SOUPS 54507 WITH SCORE 55051.981
AT ITER 9808 NEW BEST:: SOT 629406 SOS 544975 HAS SOPS 542727 HAS SOUS 54503 HAS SOUPS 54502 WITH SCORE 55046.975
AT ITER 9825 NEW BEST:: SOT 629379 SOS 544948 HAS SOPS 542700 HAS SOUS 54503 HAS SOUPS 54502 WITH SCORE 55046.948
AT ITER 9916 NEW BEST:: SOT 629215 SOS 544784 HAS SOPS 542536 HAS SOUS 54341 HAS SOUPS 54340 WITH SCORE 54884.784
AT ITER 9922 NEW BEST:: SOT 629215 SOS 544784 HAS SOPS 542536 HAS SOUS 54252 HAS SOUPS 54251 WITH SCORE 54795.784
AT ITER 9958 NEW BEST:: SOT 629232 SOS 544801 HAS SOPS 542553 HAS SOUS 54250 HAS SOUPS 54249 WITH SCORE 54793.801

BK_STOP 1679443038249

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PhaseVariation-PT-D10CS100"
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 PhaseVariation-PT-D10CS100, 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 r299-tall-167873952400048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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