fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r299-tall-167873953100512
Last Updated
May 14, 2023

About the Execution of Smart+red for PolyORBLF-PT-S02J04T10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7142.447 3600000.00 3631856.00 7674.30 [undef] Time out reached

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 19K Feb 26 13:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 13:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Feb 26 13:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 139K Feb 26 13:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 54K Feb 26 14:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 249K Feb 26 14:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 65K Feb 26 14:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 329K Feb 26 14:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.6K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 906K 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 1679498668897

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=PolyORBLF-PT-S02J04T10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 15:24:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 15:24:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 15:24:30] [INFO ] Load time of PNML (sax parser for PT used): 111 ms
[2023-03-22 15:24:30] [INFO ] Transformed 752 places.
[2023-03-22 15:24:30] [INFO ] Transformed 1572 transitions.
[2023-03-22 15:24:30] [INFO ] Parsed PT model containing 752 places and 1572 transitions and 7262 arcs in 179 ms.
[2023-03-22 15:24:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 752 places, 1572 transitions and 7262 arcs took 22 ms.
Total runtime 227 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J04T10
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: 752 places, 1572 transitions, 7262 arcs.
AT ITER 0 NEW BEST:: SOT 705724 SOS 321121 HAS SOPS 319161 HAS SOUS 216786 HAS SOUPS 216545 WITH SCORE 216866.121
AT ITER 1 NEW BEST:: SOT 705724 SOS 321121 HAS SOPS 319152 HAS SOUS 216788 HAS SOUPS 216538 WITH SCORE 216859.121
AT ITER 7 NEW BEST:: SOT 706042 SOS 321453 HAS SOPS 319533 HAS SOUS 214778 HAS SOUPS 214528 WITH SCORE 214849.453
AT ITER 8 NEW BEST:: SOT 706042 SOS 319641 HAS SOPS 317721 HAS SOUS 214646 HAS SOUPS 214396 WITH SCORE 214715.641
AT ITER 24 NEW BEST:: SOT 705853 SOS 319541 HAS SOPS 317621 HAS SOUS 214624 HAS SOUPS 214374 WITH SCORE 214693.541
AT ITER 40 NEW BEST:: SOT 702006 SOS 319904 HAS SOPS 317984 HAS SOUS 213536 HAS SOUPS 213286 WITH SCORE 213605.904
AT ITER 41 NEW BEST:: SOT 701748 SOS 319646 HAS SOPS 317726 HAS SOUS 213020 HAS SOUPS 212770 WITH SCORE 213089.646
AT ITER 42 NEW BEST:: SOT 698943 SOS 318688 HAS SOPS 316039 HAS SOUS 210496 HAS SOUPS 210068 WITH SCORE 210386.688
AT ITER 44 NEW BEST:: SOT 698925 SOS 318670 HAS SOPS 316021 HAS SOUS 210478 HAS SOUPS 210050 WITH SCORE 210368.67
AT ITER 46 NEW BEST:: SOT 698705 SOS 318531 HAS SOPS 315882 HAS SOUS 210378 HAS SOUPS 209950 WITH SCORE 210268.531
AT ITER 49 NEW BEST:: SOT 698510 SOS 318410 HAS SOPS 315761 HAS SOUS 210228 HAS SOUPS 209800 WITH SCORE 210118.41
AT ITER 58 NEW BEST:: SOT 698639 SOS 318496 HAS SOPS 315772 HAS SOUS 210222 HAS SOUPS 209794 WITH SCORE 210112.496
AT ITER 59 NEW BEST:: SOT 694654 SOS 316408 HAS SOPS 313684 HAS SOUS 209150 HAS SOUPS 208722 WITH SCORE 209038.408
AT ITER 66 NEW BEST:: SOT 694601 SOS 316408 HAS SOPS 313684 HAS SOUS 208980 HAS SOUPS 208552 WITH SCORE 208868.408
AT ITER 78 NEW BEST:: SOT 694601 SOS 316502 HAS SOPS 313717 HAS SOUS 208911 HAS SOUPS 208483 WITH SCORE 208799.502
AT ITER 81 NEW BEST:: SOT 694549 SOS 316450 HAS SOPS 313665 HAS SOUS 208768 HAS SOUPS 208340 WITH SCORE 208656.45
AT ITER 122 NEW BEST:: SOT 690290 SOS 316739 HAS SOPS 313954 HAS SOUS 207298 HAS SOUPS 206870 WITH SCORE 207186.739
AT ITER 127 NEW BEST:: SOT 690149 SOS 316680 HAS SOPS 313895 HAS SOUS 207193 HAS SOUPS 206765 WITH SCORE 207081.68
AT ITER 128 NEW BEST:: SOT 690189 SOS 316676 HAS SOPS 313891 HAS SOUS 207184 HAS SOUPS 206756 WITH SCORE 207072.676
AT ITER 139 NEW BEST:: SOT 690132 SOS 316619 HAS SOPS 313834 HAS SOUS 207070 HAS SOUPS 206642 WITH SCORE 206958.619
AT ITER 150 NEW BEST:: SOT 690017 SOS 316504 HAS SOPS 313719 HAS SOUS 206962 HAS SOUPS 206534 WITH SCORE 206850.504
AT ITER 183 NEW BEST:: SOT 690017 SOS 315574 HAS SOPS 312789 HAS SOUS 206962 HAS SOUPS 206534 WITH SCORE 206849.574
AT ITER 189 NEW BEST:: SOT 689999 SOS 315556 HAS SOPS 312771 HAS SOUS 206854 HAS SOUPS 206426 WITH SCORE 206741.556
AT ITER 194 NEW BEST:: SOT 689830 SOS 315387 HAS SOPS 312602 HAS SOUS 206691 HAS SOUPS 206263 WITH SCORE 206578.387
AT ITER 198 NEW BEST:: SOT 689820 SOS 315357 HAS SOPS 312572 HAS SOUS 206671 HAS SOUPS 206243 WITH SCORE 206558.357
AT ITER 206 NEW BEST:: SOT 689742 SOS 315355 HAS SOPS 312570 HAS SOUS 206554 HAS SOUPS 206126 WITH SCORE 206441.355
AT ITER 210 NEW BEST:: SOT 688722 SOS 314301 HAS SOPS 311516 HAS SOUS 206044 HAS SOUPS 205616 WITH SCORE 205930.301
AT ITER 213 NEW BEST:: SOT 688548 SOS 314029 HAS SOPS 311244 HAS SOUS 205772 HAS SOUPS 205344 WITH SCORE 205658.029
AT ITER 217 NEW BEST:: SOT 688443 SOS 313924 HAS SOPS 311139 HAS SOUS 205562 HAS SOUPS 205134 WITH SCORE 205447.924
AT ITER 228 NEW BEST:: SOT 688338 SOS 313774 HAS SOPS 310974 HAS SOUS 205439 HAS SOUPS 205005 WITH SCORE 205318.774
AT ITER 235 NEW BEST:: SOT 688241 SOS 313634 HAS SOPS 310823 HAS SOUS 205320 HAS SOUPS 204886 WITH SCORE 205199.634
AT ITER 243 NEW BEST:: SOT 688241 SOS 313642 HAS SOPS 310831 HAS SOUS 205192 HAS SOUPS 204758 WITH SCORE 205071.642
AT ITER 253 NEW BEST:: SOT 687355 SOS 312762 HAS SOPS 309951 HAS SOUS 204306 HAS SOUPS 203872 WITH SCORE 204184.762
AT ITER 258 NEW BEST:: SOT 683680 SOS 314312 HAS SOPS 311501 HAS SOUS 203709 HAS SOUPS 203275 WITH SCORE 203589.312
AT ITER 276 NEW BEST:: SOT 683680 SOS 314331 HAS SOPS 311450 HAS SOUS 203522 HAS SOUPS 203071 WITH SCORE 203385.331
AT ITER 278 NEW BEST:: SOT 683869 SOS 314520 HAS SOPS 311639 HAS SOUS 203216 HAS SOUPS 202765 WITH SCORE 203079.52
AT ITER 281 NEW BEST:: SOT 680900 SOS 316823 HAS SOPS 313942 HAS SOUS 203171 HAS SOUPS 202720 WITH SCORE 203036.823
AT ITER 284 NEW BEST:: SOT 680846 SOS 316769 HAS SOPS 313888 HAS SOUS 203063 HAS SOUPS 202612 WITH SCORE 202928.769
AT ITER 287 NEW BEST:: SOT 681408 SOS 314892 HAS SOPS 312011 HAS SOUS 201869 HAS SOUPS 201418 WITH SCORE 201732.892
AT ITER 289 NEW BEST:: SOT 681397 SOS 314801 HAS SOPS 311920 HAS SOUS 201848 HAS SOUPS 201397 WITH SCORE 201711.801
AT ITER 297 NEW BEST:: SOT 681397 SOS 314766 HAS SOPS 311885 HAS SOUS 201778 HAS SOUPS 201327 WITH SCORE 201641.766
AT ITER 316 NEW BEST:: SOT 681577 SOS 314811 HAS SOPS 311930 HAS SOUS 201665 HAS SOUPS 201214 WITH SCORE 201528.811
AT ITER 318 NEW BEST:: SOT 681394 SOS 314838 HAS SOPS 311957 HAS SOUS 201409 HAS SOUPS 200958 WITH SCORE 201272.838
AT ITER 321 NEW BEST:: SOT 683364 SOS 313515 HAS SOPS 310634 HAS SOUS 201225 HAS SOUPS 200774 WITH SCORE 201087.515
AT ITER 322 NEW BEST:: SOT 683364 SOS 310709 HAS SOPS 307828 HAS SOUS 200592 HAS SOUPS 200141 WITH SCORE 200451.709
AT ITER 328 NEW BEST:: SOT 681426 SOS 308840 HAS SOPS 305959 HAS SOUS 199038 HAS SOUPS 198587 WITH SCORE 198895.84
AT ITER 343 NEW BEST:: SOT 681371 SOS 308811 HAS SOPS 305930 HAS SOUS 198974 HAS SOUPS 198523 WITH SCORE 198831.811
AT ITER 367 NEW BEST:: SOT 681425 SOS 308774 HAS SOPS 305893 HAS SOUS 198817 HAS SOUPS 198366 WITH SCORE 198674.774
AT ITER 396 NEW BEST:: SOT 681451 SOS 308757 HAS SOPS 305736 HAS SOUS 198737 HAS SOUPS 198286 WITH SCORE 198594.757
AT ITER 402 NEW BEST:: SOT 679496 SOS 306757 HAS SOPS 303736 HAS SOUS 198297 HAS SOUPS 197846 WITH SCORE 198152.757
AT ITER 413 NEW BEST:: SOT 679451 SOS 309545 HAS SOPS 306524 HAS SOUS 197965 HAS SOUPS 197514 WITH SCORE 197823.545
AT ITER 416 NEW BEST:: SOT 679454 SOS 309484 HAS SOPS 306463 HAS SOUS 197904 HAS SOUPS 197453 WITH SCORE 197762.484
AT ITER 443 NEW BEST:: SOT 679444 SOS 309474 HAS SOPS 306453 HAS SOUS 197882 HAS SOUPS 197431 WITH SCORE 197740.474
AT ITER 450 NEW BEST:: SOT 679248 SOS 309072 HAS SOPS 306051 HAS SOUS 197478 HAS SOUPS 197027 WITH SCORE 197336.072
AT ITER 461 NEW BEST:: SOT 679248 SOS 309072 HAS SOPS 305990 HAS SOUS 197478 HAS SOUPS 196966 WITH SCORE 197275.072
AT ITER 463 NEW BEST:: SOT 679171 SOS 306685 HAS SOPS 303603 HAS SOUS 197324 HAS SOUPS 196812 WITH SCORE 197118.685
AT ITER 467 NEW BEST:: SOT 679171 SOS 306685 HAS SOPS 303598 HAS SOUS 197314 HAS SOUPS 196802 WITH SCORE 197108.685
AT ITER 468 NEW BEST:: SOT 679171 SOS 306702 HAS SOPS 303615 HAS SOUS 197212 HAS SOUPS 196700 WITH SCORE 197006.702
AT ITER 470 NEW BEST:: SOT 679143 SOS 306674 HAS SOPS 303587 HAS SOUS 197184 HAS SOUPS 196672 WITH SCORE 196978.674
AT ITER 472 NEW BEST:: SOT 679051 SOS 306582 HAS SOPS 303486 HAS SOUS 197133 HAS SOUPS 196621 WITH SCORE 196927.582
AT ITER 477 NEW BEST:: SOT 678796 SOS 306336 HAS SOPS 303231 HAS SOUS 196887 HAS SOUPS 196366 WITH SCORE 196672.336
AT ITER 482 NEW BEST:: SOT 678857 SOS 305919 HAS SOPS 303110 HAS SOUS 196851 HAS SOUPS 196365 WITH SCORE 196670.919
AT ITER 491 NEW BEST:: SOT 678836 SOS 305999 HAS SOPS 303190 HAS SOUS 196830 HAS SOUPS 196344 WITH SCORE 196649.999
AT ITER 492 NEW BEST:: SOT 678873 SOS 306158 HAS SOPS 303349 HAS SOUS 196679 HAS SOUPS 196193 WITH SCORE 196499.158
AT ITER 504 NEW BEST:: SOT 678903 SOS 306130 HAS SOPS 303321 HAS SOUS 196651 HAS SOUPS 196165 WITH SCORE 196471.13
AT ITER 514 NEW BEST:: SOT 678757 SOS 305454 HAS SOPS 302645 HAS SOUS 196379 HAS SOUPS 195893 WITH SCORE 196198.454
AT ITER 518 NEW BEST:: SOT 678757 SOS 305437 HAS SOPS 302628 HAS SOUS 196379 HAS SOUPS 195893 WITH SCORE 196198.437
AT ITER 519 NEW BEST:: SOT 678757 SOS 304705 HAS SOPS 301896 HAS SOUS 196318 HAS SOUPS 195832 WITH SCORE 196136.705
AT ITER 523 NEW BEST:: SOT 678605 SOS 304455 HAS SOPS 301646 HAS SOUS 196008 HAS SOUPS 195522 WITH SCORE 195826.455
AT ITER 524 NEW BEST:: SOT 678407 SOS 304183 HAS SOPS 301374 HAS SOUS 195802 HAS SOUPS 195316 WITH SCORE 195620.183
AT ITER 527 NEW BEST:: SOT 677072 SOS 302806 HAS SOPS 299997 HAS SOUS 194467 HAS SOUPS 193981 WITH SCORE 194283.806
AT ITER 532 NEW BEST:: SOT 675302 SOS 300977 HAS SOPS 298168 HAS SOUS 193582 HAS SOUPS 193096 WITH SCORE 193396.977
AT ITER 533 NEW BEST:: SOT 675302 SOS 298523 HAS SOPS 295714 HAS SOUS 193426 HAS SOUPS 192940 WITH SCORE 193238.523
AT ITER 544 NEW BEST:: SOT 676307 SOS 299867 HAS SOPS 297058 HAS SOUS 193192 HAS SOUPS 192706 WITH SCORE 193005.867
AT ITER 547 NEW BEST:: SOT 676307 SOS 299928 HAS SOPS 297119 HAS SOUS 193009 HAS SOUPS 192523 WITH SCORE 192822.928
AT ITER 555 NEW BEST:: SOT 676319 SOS 299900 HAS SOPS 297091 HAS SOUS 192957 HAS SOUPS 192471 WITH SCORE 192770.9
AT ITER 558 NEW BEST:: SOT 676289 SOS 299870 HAS SOPS 297061 HAS SOUS 192948 HAS SOUPS 192462 WITH SCORE 192761.87
AT ITER 569 NEW BEST:: SOT 676289 SOS 298520 HAS SOPS 295711 HAS SOUS 192903 HAS SOUPS 192417 WITH SCORE 192715.52
AT ITER 570 NEW BEST:: SOT 676724 SOS 298955 HAS SOPS 296146 HAS SOUS 192882 HAS SOUPS 192396 WITH SCORE 192694.955
AT ITER 589 NEW BEST:: SOT 676685 SOS 298954 HAS SOPS 296161 HAS SOUS 192788 HAS SOUPS 192302 WITH SCORE 192600.954
AT ITER 608 NEW BEST:: SOT 676595 SOS 298864 HAS SOPS 296071 HAS SOUS 192698 HAS SOUPS 192212 WITH SCORE 192510.864
AT ITER 623 NEW BEST:: SOT 673435 SOS 295742 HAS SOPS 292990 HAS SOUS 189593 HAS SOUPS 189116 WITH SCORE 189411.742
AT ITER 643 NEW BEST:: SOT 673435 SOS 295848 HAS SOPS 293096 HAS SOUS 189584 HAS SOUPS 189107 WITH SCORE 189402.848
AT ITER 651 NEW BEST:: SOT 673360 SOS 295756 HAS SOPS 293004 HAS SOUS 189477 HAS SOUPS 189000 WITH SCORE 189295.756
AT ITER 655 NEW BEST:: SOT 669463 SOS 292587 HAS SOPS 289835 HAS SOUS 188240 HAS SOUPS 187763 WITH SCORE 188055.587
AT ITER 660 NEW BEST:: SOT 669463 SOS 292587 HAS SOPS 289835 HAS SOUS 188116 HAS SOUPS 187639 WITH SCORE 187931.587
AT ITER 665 NEW BEST:: SOT 669563 SOS 292787 HAS SOPS 290035 HAS SOUS 188032 HAS SOUPS 187555 WITH SCORE 187847.787
AT ITER 694 NEW BEST:: SOT 669445 SOS 292725 HAS SOPS 289973 HAS SOUS 187766 HAS SOUPS 187289 WITH SCORE 187581.725
AT ITER 699 NEW BEST:: SOT 669175 SOS 292569 HAS SOPS 289817 HAS SOUS 187695 HAS SOUPS 187218 WITH SCORE 187510.569
AT ITER 732 NEW BEST:: SOT 669175 SOS 292550 HAS SOPS 289798 HAS SOUS 187695 HAS SOUPS 187218 WITH SCORE 187510.55
AT ITER 736 NEW BEST:: SOT 669237 SOS 292363 HAS SOPS 287211 HAS SOUS 187913 HAS SOUPS 187196 WITH SCORE 187488.363
AT ITER 738 NEW BEST:: SOT 669229 SOS 292363 HAS SOPS 287211 HAS SOUS 187912 HAS SOUPS 187195 WITH SCORE 187487.363
AT ITER 741 NEW BEST:: SOT 669213 SOS 292347 HAS SOPS 287195 HAS SOUS 187896 HAS SOUPS 187179 WITH SCORE 187471.347
AT ITER 759 NEW BEST:: SOT 669078 SOS 292212 HAS SOPS 287060 HAS SOUS 187626 HAS SOUPS 186909 WITH SCORE 187201.212
AT ITER 772 NEW BEST:: SOT 669025 SOS 292157 HAS SOPS 287005 HAS SOUS 187575 HAS SOUPS 186858 WITH SCORE 187150.157
AT ITER 773 NEW BEST:: SOT 665760 SOS 288695 HAS SOPS 283543 HAS SOUS 184450 HAS SOUPS 183733 WITH SCORE 184021.695
AT ITER 784 NEW BEST:: SOT 665540 SOS 288598 HAS SOPS 283446 HAS SOUS 184350 HAS SOUPS 183633 WITH SCORE 183921.598
AT ITER 785 NEW BEST:: SOT 665633 SOS 288817 HAS SOPS 283665 HAS SOUS 184296 HAS SOUPS 183579 WITH SCORE 183867.817
AT ITER 786 NEW BEST:: SOT 665565 SOS 288797 HAS SOPS 283645 HAS SOUS 184170 HAS SOUPS 183453 WITH SCORE 183741.797
AT ITER 788 NEW BEST:: SOT 665565 SOS 288795 HAS SOPS 283643 HAS SOUS 184168 HAS SOUPS 183451 WITH SCORE 183739.795
AT ITER 789 NEW BEST:: SOT 666359 SOS 284036 HAS SOPS 277687 HAS SOUS 183698 HAS SOUPS 182876 WITH SCORE 183160.036
AT ITER 793 NEW BEST:: SOT 666152 SOS 283594 HAS SOPS 277245 HAS SOUS 183284 HAS SOUPS 182462 WITH SCORE 182745.594
AT ITER 804 NEW BEST:: SOT 665065 SOS 282513 HAS SOPS 276164 HAS SOUS 182182 HAS SOUPS 181360 WITH SCORE 181642.513
AT ITER 805 NEW BEST:: SOT 665065 SOS 282476 HAS SOPS 276127 HAS SOUS 182123 HAS SOUPS 181301 WITH SCORE 181583.476
AT ITER 810 NEW BEST:: SOT 665155 SOS 282566 HAS SOPS 276217 HAS SOUS 182051 HAS SOUPS 181229 WITH SCORE 181511.566
AT ITER 812 NEW BEST:: SOT 665155 SOS 282554 HAS SOPS 276205 HAS SOUS 182051 HAS SOUPS 181229 WITH SCORE 181511.554
AT ITER 813 NEW BEST:: SOT 665137 SOS 282536 HAS SOPS 276187 HAS SOUS 182023 HAS SOUPS 181201 WITH SCORE 181483.536
AT ITER 824 NEW BEST:: SOT 663059 SOS 280570 HAS SOPS 274221 HAS SOUS 179757 HAS SOUPS 178935 WITH SCORE 179215.57
AT ITER 834 NEW BEST:: SOT 663016 SOS 280535 HAS SOPS 274186 HAS SOUS 179706 HAS SOUPS 178884 WITH SCORE 179164.535
AT ITER 838 NEW BEST:: SOT 662950 SOS 280412 HAS SOPS 274063 HAS SOUS 179542 HAS SOUPS 178720 WITH SCORE 179000.412
AT ITER 847 NEW BEST:: SOT 662930 SOS 280392 HAS SOPS 274043 HAS SOUS 179522 HAS SOUPS 178700 WITH SCORE 178980.392
AT ITER 877 NEW BEST:: SOT 662888 SOS 280350 HAS SOPS 274001 HAS SOUS 179458 HAS SOUPS 178636 WITH SCORE 178916.35
AT ITER 886 NEW BEST:: SOT 662698 SOS 280036 HAS SOPS 273687 HAS SOUS 179147 HAS SOUPS 178325 WITH SCORE 178605.036
AT ITER 903 NEW BEST:: SOT 662711 SOS 280035 HAS SOPS 273686 HAS SOUS 179146 HAS SOUPS 178324 WITH SCORE 178604.035
AT ITER 905 NEW BEST:: SOT 662880 SOS 280052 HAS SOPS 273571 HAS SOUS 179091 HAS SOUPS 178269 WITH SCORE 178549.052
AT ITER 906 NEW BEST:: SOT 662895 SOS 279988 HAS SOPS 273507 HAS SOUS 179027 HAS SOUPS 178205 WITH SCORE 178484.988
AT ITER 915 NEW BEST:: SOT 662930 SOS 280544 HAS SOPS 274063 HAS SOUS 178879 HAS SOUPS 178057 WITH SCORE 178337.544
AT ITER 916 NEW BEST:: SOT 662871 SOS 280485 HAS SOPS 274004 HAS SOUS 178879 HAS SOUPS 178057 WITH SCORE 178337.485
AT ITER 921 NEW BEST:: SOT 662746 SOS 280360 HAS SOPS 273866 HAS SOUS 178721 HAS SOUPS 177899 WITH SCORE 178179.36
AT ITER 924 NEW BEST:: SOT 662455 SOS 278177 HAS SOPS 271683 HAS SOUS 178280 HAS SOUPS 177458 WITH SCORE 177736.177
AT ITER 937 NEW BEST:: SOT 662368 SOS 278160 HAS SOPS 271666 HAS SOUS 178159 HAS SOUPS 177337 WITH SCORE 177615.16
AT ITER 939 NEW BEST:: SOT 662368 SOS 278110 HAS SOPS 271616 HAS SOUS 176758 HAS SOUPS 175936 WITH SCORE 176214.11
AT ITER 942 NEW BEST:: SOT 662368 SOS 278101 HAS SOPS 271607 HAS SOUS 176740 HAS SOUPS 175918 WITH SCORE 176196.101
AT ITER 965 NEW BEST:: SOT 662345 SOS 277813 HAS SOPS 271319 HAS SOUS 176694 HAS SOUPS 175872 WITH SCORE 176149.813
AT ITER 970 NEW BEST:: SOT 662345 SOS 277911 HAS SOPS 271417 HAS SOUS 176528 HAS SOUPS 175706 WITH SCORE 175983.911
AT ITER 1006 NEW BEST:: SOT 662330 SOS 277881 HAS SOPS 271387 HAS SOUS 176498 HAS SOUPS 175676 WITH SCORE 175953.881
AT ITER 1019 NEW BEST:: SOT 659912 SOS 275426 HAS SOPS 268932 HAS SOUS 174891 HAS SOUPS 174069 WITH SCORE 174344.426
AT ITER 1050 NEW BEST:: SOT 659388 SOS 275266 HAS SOPS 268772 HAS SOUS 174763 HAS SOUPS 173941 WITH SCORE 174216.266
AT ITER 1055 NEW BEST:: SOT 659332 SOS 275154 HAS SOPS 268660 HAS SOUS 174723 HAS SOUPS 173901 WITH SCORE 174176.154
AT ITER 1058 NEW BEST:: SOT 659297 SOS 275119 HAS SOPS 268660 HAS SOUS 174688 HAS SOUPS 173866 WITH SCORE 174141.119
AT ITER 1060 NEW BEST:: SOT 659392 SOS 275127 HAS SOPS 268668 HAS SOUS 174609 HAS SOUPS 173787 WITH SCORE 174062.127
AT ITER 1063 NEW BEST:: SOT 659387 SOS 275122 HAS SOPS 268658 HAS SOUS 174594 HAS SOUPS 173772 WITH SCORE 174047.122
AT ITER 1064 NEW BEST:: SOT 659051 SOS 274798 HAS SOPS 268334 HAS SOUS 174462 HAS SOUPS 173640 WITH SCORE 173914.798
AT ITER 1076 NEW BEST:: SOT 658965 SOS 274262 HAS SOPS 267798 HAS SOUS 174290 HAS SOUPS 173468 WITH SCORE 173742.262
AT ITER 1096 NEW BEST:: SOT 658941 SOS 273968 HAS SOPS 267504 HAS SOUS 174257 HAS SOUPS 173435 WITH SCORE 173708.968
AT ITER 1102 NEW BEST:: SOT 658929 SOS 273966 HAS SOPS 267502 HAS SOUS 174255 HAS SOUPS 173433 WITH SCORE 173706.966
AT ITER 1107 NEW BEST:: SOT 654573 SOS 322230 HAS SOPS 317329 HAS SOUS 171417 HAS SOUPS 170787 WITH SCORE 171109.23
AT ITER 1109 NEW BEST:: SOT 654561 SOS 322192 HAS SOPS 317291 HAS SOUS 171331 HAS SOUPS 170701 WITH SCORE 171023.192
AT ITER 1112 NEW BEST:: SOT 654483 SOS 322114 HAS SOPS 317213 HAS SOUS 171187 HAS SOUPS 170557 WITH SCORE 170879.114
AT ITER 1121 NEW BEST:: SOT 654240 SOS 322029 HAS SOPS 317128 HAS SOUS 171102 HAS SOUPS 170472 WITH SCORE 170794.029
AT ITER 1129 NEW BEST:: SOT 654237 SOS 322023 HAS SOPS 317122 HAS SOUS 171096 HAS SOUPS 170466 WITH SCORE 170788.023
AT ITER 1132 NEW BEST:: SOT 654088 SOS 321790 HAS SOPS 316947 HAS SOUS 170947 HAS SOUPS 170317 WITH SCORE 170638.79
AT ITER 1144 NEW BEST:: SOT 654152 SOS 321854 HAS SOPS 317011 HAS SOUS 170892 HAS SOUPS 170262 WITH SCORE 170583.854
AT ITER 1145 NEW BEST:: SOT 654152 SOS 321796 HAS SOPS 316953 HAS SOUS 170892 HAS SOUPS 170262 WITH SCORE 170583.796
AT ITER 1153 NEW BEST:: SOT 649913 SOS 317766 HAS SOPS 312714 HAS SOUS 167005 HAS SOUPS 166309 WITH SCORE 166626.766
AT ITER 1155 NEW BEST:: SOT 649802 SOS 317655 HAS SOPS 312603 HAS SOUS 166894 HAS SOUPS 166198 WITH SCORE 166515.655
AT ITER 1164 NEW BEST:: SOT 649785 SOS 317191 HAS SOPS 312139 HAS SOUS 166843 HAS SOUPS 166147 WITH SCORE 166464.191
AT ITER 1183 NEW BEST:: SOT 649639 SOS 317037 HAS SOPS 311922 HAS SOUS 166541 HAS SOUPS 165845 WITH SCORE 166162.037
AT ITER 1193 NEW BEST:: SOT 649531 SOS 316925 HAS SOPS 311810 HAS SOUS 166429 HAS SOUPS 165733 WITH SCORE 166049.925
AT ITER 1196 NEW BEST:: SOT 649565 SOS 317021 HAS SOPS 311906 HAS SOUS 166373 HAS SOUPS 165677 WITH SCORE 165994.021
AT ITER 1212 NEW BEST:: SOT 649388 SOS 316844 HAS SOPS 311729 HAS SOUS 166079 HAS SOUPS 165383 WITH SCORE 165699.844
AT ITER 1218 NEW BEST:: SOT 649388 SOS 316808 HAS SOPS 311693 HAS SOUS 165935 HAS SOUPS 165239 WITH SCORE 165555.808
AT ITER 1221 NEW BEST:: SOT 649373 SOS 316823 HAS SOPS 311708 HAS SOUS 165920 HAS SOUPS 165224 WITH SCORE 165540.823
AT ITER 1223 NEW BEST:: SOT 649348 SOS 316757 HAS SOPS 311616 HAS SOUS 165770 HAS SOUPS 165074 WITH SCORE 165390.757
AT ITER 1224 NEW BEST:: SOT 649289 SOS 315022 HAS SOPS 309881 HAS SOUS 165652 HAS SOUPS 164956 WITH SCORE 165271.022
AT ITER 1228 NEW BEST:: SOT 649274 SOS 315007 HAS SOPS 309866 HAS SOUS 165622 HAS SOUPS 164926 WITH SCORE 165241.007
AT ITER 1245 NEW BEST:: SOT 649120 SOS 314853 HAS SOPS 309712 HAS SOUS 165337 HAS SOUPS 164641 WITH SCORE 164955.853
AT ITER 1275 NEW BEST:: SOT 649099 SOS 314811 HAS SOPS 309670 HAS SOUS 165337 HAS SOUPS 164641 WITH SCORE 164955.811
AT ITER 1277 NEW BEST:: SOT 649016 SOS 314724 HAS SOPS 309642 HAS SOUS 165296 HAS SOUPS 164600 WITH SCORE 164914.724
AT ITER 1278 NEW BEST:: SOT 648973 SOS 314345 HAS SOPS 309263 HAS SOUS 165197 HAS SOUPS 164501 WITH SCORE 164815.345
AT ITER 1289 NEW BEST:: SOT 648863 SOS 314235 HAS SOPS 309153 HAS SOUS 164977 HAS SOUPS 164281 WITH SCORE 164595.235
AT ITER 1290 NEW BEST:: SOT 648758 SOS 314038 HAS SOPS 308961 HAS SOUS 164785 HAS SOUPS 164089 WITH SCORE 164403.038
AT ITER 1295 NEW BEST:: SOT 645416 SOS 316871 HAS SOPS 311794 HAS SOUS 164020 HAS SOUPS 163324 WITH SCORE 163640.871
AT ITER 1300 NEW BEST:: SOT 645400 SOS 316855 HAS SOPS 311778 HAS SOUS 164012 HAS SOUPS 163316 WITH SCORE 163632.855
AT ITER 1310 NEW BEST:: SOT 645353 SOS 316746 HAS SOPS 311669 HAS SOUS 163965 HAS SOUPS 163269 WITH SCORE 163585.746
AT ITER 1328 NEW BEST:: SOT 645270 SOS 316663 HAS SOPS 311586 HAS SOUS 163932 HAS SOUPS 163236 WITH SCORE 163552.663
AT ITER 1334 NEW BEST:: SOT 645264 SOS 316657 HAS SOPS 311580 HAS SOUS 163926 HAS SOUPS 163230 WITH SCORE 163546.657
AT ITER 1336 NEW BEST:: SOT 645384 SOS 316771 HAS SOPS 311694 HAS SOUS 163662 HAS SOUPS 162966 WITH SCORE 163282.771
AT ITER 1344 NEW BEST:: SOT 645384 SOS 316771 HAS SOPS 311694 HAS SOUS 163654 HAS SOUPS 162958 WITH SCORE 163274.771
AT ITER 1356 NEW BEST:: SOT 644828 SOS 316166 HAS SOPS 311089 HAS SOUS 163092 HAS SOUPS 162396 WITH SCORE 162712.166
AT ITER 1357 NEW BEST:: SOT 644745 SOS 315907 HAS SOPS 310830 HAS SOUS 163038 HAS SOUPS 162342 WITH SCORE 162657.907
AT ITER 1358 NEW BEST:: SOT 644604 SOS 315790 HAS SOPS 310713 HAS SOUS 162756 HAS SOUPS 162060 WITH SCORE 162375.79
AT ITER 1359 NEW BEST:: SOT 643927 SOS 315119 HAS SOPS 310042 HAS SOUS 162074 HAS SOUPS 161378 WITH SCORE 161693.119
AT ITER 1370 NEW BEST:: SOT 643927 SOS 315115 HAS SOPS 310038 HAS SOUS 162074 HAS SOUPS 161378 WITH SCORE 161693.115
AT ITER 1426 NEW BEST:: SOT 643780 SOS 314968 HAS SOPS 309900 HAS SOUS 161927 HAS SOUPS 161231 WITH SCORE 161545.968
AT ITER 1427 NEW BEST:: SOT 643773 SOS 314968 HAS SOPS 309900 HAS SOUS 161913 HAS SOUPS 161217 WITH SCORE 161531.968
AT ITER 1431 NEW BEST:: SOT 643762 SOS 314946 HAS SOPS 309878 HAS SOUS 161891 HAS SOUPS 161195 WITH SCORE 161509.946
AT ITER 1450 NEW BEST:: SOT 643277 SOS 314384 HAS SOPS 309724 HAS SOUS 161839 HAS SOUPS 161194 WITH SCORE 161508.384
AT ITER 1453 NEW BEST:: SOT 643373 SOS 314371 HAS SOPS 309711 HAS SOUS 161826 HAS SOUPS 161181 WITH SCORE 161495.371
AT ITER 1454 NEW BEST:: SOT 643377 SOS 314375 HAS SOPS 309715 HAS SOUS 161692 HAS SOUPS 161047 WITH SCORE 161361.375
AT ITER 1462 NEW BEST:: SOT 643390 SOS 315851 HAS SOPS 311191 HAS SOUS 161620 HAS SOUPS 160975 WITH SCORE 161290.851
AT ITER 1473 NEW BEST:: SOT 640729 SOS 313344 HAS SOPS 308684 HAS SOUS 160743 HAS SOUPS 160098 WITH SCORE 160411.344
AT ITER 1476 NEW BEST:: SOT 640585 SOS 313200 HAS SOPS 308540 HAS SOUS 160599 HAS SOUPS 159954 WITH SCORE 160267.2
AT ITER 1478 NEW BEST:: SOT 640585 SOS 313200 HAS SOPS 308540 HAS SOUS 160541 HAS SOUPS 159896 WITH SCORE 160209.2
AT ITER 1484 NEW BEST:: SOT 640537 SOS 311760 HAS SOPS 307100 HAS SOUS 160493 HAS SOUPS 159848 WITH SCORE 160159.76
AT ITER 1501 NEW BEST:: SOT 640519 SOS 311742 HAS SOPS 307082 HAS SOUS 160484 HAS SOUPS 159839 WITH SCORE 160150.742
AT ITER 1503 NEW BEST:: SOT 640431 SOS 311692 HAS SOPS 307032 HAS SOUS 160370 HAS SOUPS 159725 WITH SCORE 160036.692
AT ITER 1557 NEW BEST:: SOT 640315 SOS 311654 HAS SOPS 306994 HAS SOUS 160215 HAS SOUPS 159570 WITH SCORE 159881.654
AT ITER 1577 NEW BEST:: SOT 640243 SOS 311582 HAS SOPS 306922 HAS SOUS 160107 HAS SOUPS 159462 WITH SCORE 159773.582
AT ITER 1579 NEW BEST:: SOT 640219 SOS 311550 HAS SOPS 306890 HAS SOUS 160075 HAS SOUPS 159430 WITH SCORE 159741.55
AT ITER 1598 NEW BEST:: SOT 640189 SOS 311520 HAS SOPS 306830 HAS SOUS 160045 HAS SOUPS 159370 WITH SCORE 159681.52
AT ITER 1607 NEW BEST:: SOT 640069 SOS 311240 HAS SOPS 306550 HAS SOUS 159885 HAS SOUPS 159210 WITH SCORE 159521.24
AT ITER 1612 NEW BEST:: SOT 639986 SOS 311160 HAS SOPS 306520 HAS SOUS 159719 HAS SOUPS 159044 WITH SCORE 159355.16
AT ITER 1613 NEW BEST:: SOT 637758 SOS 309015 HAS SOPS 304375 HAS SOUS 157638 HAS SOUPS 156963 WITH SCORE 157272.015
AT ITER 1618 NEW BEST:: SOT 637751 SOS 308994 HAS SOPS 304354 HAS SOUS 157624 HAS SOUPS 156949 WITH SCORE 157257.994
AT ITER 1626 NEW BEST:: SOT 637740 SOS 308957 HAS SOPS 304314 HAS SOUS 157573 HAS SOUPS 156898 WITH SCORE 157206.957
AT ITER 1628 NEW BEST:: SOT 634093 SOS 309874 HAS SOPS 303471 HAS SOUS 154349 HAS SOUPS 153586 WITH SCORE 153895.874
AT ITER 1629 NEW BEST:: SOT 633873 SOS 309406 HAS SOPS 303003 HAS SOUS 154033 HAS SOUPS 153270 WITH SCORE 153579.406
AT ITER 1631 NEW BEST:: SOT 633864 SOS 309396 HAS SOPS 302993 HAS SOUS 154019 HAS SOUPS 153256 WITH SCORE 153565.396
AT ITER 1641 NEW BEST:: SOT 633809 SOS 309464 HAS SOPS 303061 HAS SOUS 153961 HAS SOUPS 153198 WITH SCORE 153507.464
AT ITER 1660 NEW BEST:: SOT 633802 SOS 309457 HAS SOPS 303054 HAS SOUS 153954 HAS SOUPS 153191 WITH SCORE 153500.457
AT ITER 1684 NEW BEST:: SOT 633746 SOS 309353 HAS SOPS 302950 HAS SOUS 153899 HAS SOUPS 153136 WITH SCORE 153445.353
AT ITER 1692 NEW BEST:: SOT 633542 SOS 308945 HAS SOPS 302542 HAS SOUS 153559 HAS SOUPS 152796 WITH SCORE 153104.945
AT ITER 1709 NEW BEST:: SOT 633493 SOS 307524 HAS SOPS 301121 HAS SOUS 153461 HAS SOUPS 152698 WITH SCORE 153005.524
AT ITER 1721 NEW BEST:: SOT 633437 SOS 307412 HAS SOPS 301009 HAS SOUS 153349 HAS SOUPS 152586 WITH SCORE 152893.412
AT ITER 1730 NEW BEST:: SOT 633460 SOS 307388 HAS SOPS 300985 HAS SOUS 153325 HAS SOUPS 152562 WITH SCORE 152869.388
AT ITER 1736 NEW BEST:: SOT 633447 SOS 307375 HAS SOPS 300972 HAS SOUS 153299 HAS SOUPS 152536 WITH SCORE 152843.375
AT ITER 1740 NEW BEST:: SOT 633390 SOS 307281 HAS SOPS 300878 HAS SOUS 153148 HAS SOUPS 152385 WITH SCORE 152692.281
AT ITER 1751 NEW BEST:: SOT 633390 SOS 307348 HAS SOPS 300945 HAS SOUS 152947 HAS SOUPS 152184 WITH SCORE 152491.348
AT ITER 1757 NEW BEST:: SOT 633390 SOS 307356 HAS SOPS 300953 HAS SOUS 152939 HAS SOUPS 152176 WITH SCORE 152483.356
AT ITER 1766 NEW BEST:: SOT 633246 SOS 307212 HAS SOPS 300809 HAS SOUS 152629 HAS SOUPS 151866 WITH SCORE 152173.212
AT ITER 1767 NEW BEST:: SOT 631286 SOS 305252 HAS SOPS 298849 HAS SOUS 151859 HAS SOUPS 151096 WITH SCORE 151401.252
AT ITER 1775 NEW BEST:: SOT 631284 SOS 305248 HAS SOPS 298845 HAS SOUS 151855 HAS SOUPS 151092 WITH SCORE 151397.248
AT ITER 1784 NEW BEST:: SOT 630292 SOS 304312 HAS SOPS 297909 HAS SOUS 150862 HAS SOUPS 150099 WITH SCORE 150403.312
AT ITER 1814 NEW BEST:: SOT 629930 SOS 304184 HAS SOPS 297781 HAS SOUS 150684 HAS SOUPS 149921 WITH SCORE 150225.184
AT ITER 1816 NEW BEST:: SOT 629952 SOS 304369 HAS SOPS 297966 HAS SOUS 150571 HAS SOUPS 149808 WITH SCORE 150112.369
AT ITER 1817 NEW BEST:: SOT 629879 SOS 304403 HAS SOPS 298000 HAS SOUS 150056 HAS SOUPS 149293 WITH SCORE 149597.403
AT ITER 1825 NEW BEST:: SOT 629817 SOS 304317 HAS SOPS 297914 HAS SOUS 149993 HAS SOUPS 149230 WITH SCORE 149534.317
AT ITER 1831 NEW BEST:: SOT 629813 SOS 304313 HAS SOPS 297910 HAS SOUS 149985 HAS SOUPS 149222 WITH SCORE 149526.313
AT ITER 1838 NEW BEST:: SOT 629884 SOS 304384 HAS SOPS 297981 HAS SOUS 149949 HAS SOUPS 149186 WITH SCORE 149490.384
AT ITER 1844 NEW BEST:: SOT 629884 SOS 304392 HAS SOPS 297989 HAS SOUS 149933 HAS SOUPS 149170 WITH SCORE 149474.392
AT ITER 1847 NEW BEST:: SOT 629848 SOS 304357 HAS SOPS 297954 HAS SOUS 149918 HAS SOUPS 149155 WITH SCORE 149459.357
AT ITER 1849 NEW BEST:: SOT 629686 SOS 304195 HAS SOPS 297792 HAS SOUS 149918 HAS SOUPS 149155 WITH SCORE 149459.195
AT ITER 1874 NEW BEST:: SOT 629664 SOS 304158 HAS SOPS 297755 HAS SOUS 149884 HAS SOUPS 149121 WITH SCORE 149425.158
AT ITER 1880 NEW BEST:: SOT 629664 SOS 304014 HAS SOPS 297611 HAS SOUS 149308 HAS SOUPS 148545 WITH SCORE 148849.014
AT ITER 1891 NEW BEST:: SOT 629505 SOS 303855 HAS SOPS 297452 HAS SOUS 148990 HAS SOUPS 148227 WITH SCORE 148530.855
AT ITER 1901 NEW BEST:: SOT 629466 SOS 303816 HAS SOPS 297413 HAS SOUS 148938 HAS SOUPS 148175 WITH SCORE 148478.816
AT ITER 1923 NEW BEST:: SOT 629466 SOS 303603 HAS SOPS 297200 HAS SOUS 148938 HAS SOUPS 148175 WITH SCORE 148478.603
AT ITER 1928 NEW BEST:: SOT 629466 SOS 303603 HAS SOPS 297197 HAS SOUS 148932 HAS SOUPS 148169 WITH SCORE 148472.603
AT ITER 1936 NEW BEST:: SOT 629537 SOS 303875 HAS SOPS 297469 HAS SOUS 148684 HAS SOUPS 147921 WITH SCORE 148224.875
AT ITER 1944 NEW BEST:: SOT 629516 SOS 303854 HAS SOPS 297427 HAS SOUS 148642 HAS SOUPS 147879 WITH SCORE 148182.854
AT ITER 1949 NEW BEST:: SOT 629516 SOS 303836 HAS SOPS 297401 HAS SOUS 148624 HAS SOUPS 147861 WITH SCORE 148164.836
AT ITER 1954 NEW BEST:: SOT 629474 SOS 303794 HAS SOPS 297359 HAS SOUS 148540 HAS SOUPS 147777 WITH SCORE 148080.794
AT ITER 1957 NEW BEST:: SOT 629400 SOS 303179 HAS SOPS 296744 HAS SOUS 148342 HAS SOUPS 147579 WITH SCORE 147882.179
AT ITER 1964 NEW BEST:: SOT 628157 SOS 301954 HAS SOPS 295519 HAS SOUS 147127 HAS SOUPS 146364 WITH SCORE 146665.954
AT ITER 1974 NEW BEST:: SOT 628135 SOS 301914 HAS SOPS 295479 HAS SOUS 147083 HAS SOUPS 146320 WITH SCORE 146621.914
AT ITER 1992 NEW BEST:: SOT 628135 SOS 301913 HAS SOPS 295478 HAS SOUS 147081 HAS SOUPS 146318 WITH SCORE 146619.913
AT ITER 1998 NEW BEST:: SOT 628135 SOS 301889 HAS SOPS 295454 HAS SOUS 147081 HAS SOUPS 146318 WITH SCORE 146619.889
AT ITER 2007 NEW BEST:: SOT 628123 SOS 301835 HAS SOPS 295400 HAS SOUS 147024 HAS SOUPS 146261 WITH SCORE 146562.835
AT ITER 2008 NEW BEST:: SOT 628119 SOS 301827 HAS SOPS 295392 HAS SOUS 147024 HAS SOUPS 146261 WITH SCORE 146562.827
AT ITER 2014 NEW BEST:: SOT 627908 SOS 301539 HAS SOPS 295104 HAS SOUS 146736 HAS SOUPS 145973 WITH SCORE 146274.539
AT ITER 2016 NEW BEST:: SOT 627908 SOS 301536 HAS SOPS 295101 HAS SOUS 146736 HAS SOUPS 145973 WITH SCORE 146274.536
AT ITER 2044 NEW BEST:: SOT 627904 SOS 301522 HAS SOPS 295127 HAS SOUS 146693 HAS SOUPS 145930 WITH SCORE 146231.522
AT ITER 2045 NEW BEST:: SOT 627935 SOS 302620 HAS SOPS 296225 HAS SOUS 146670 HAS SOUPS 145907 WITH SCORE 146209.62
AT ITER 2048 NEW BEST:: SOT 627898 SOS 302647 HAS SOPS 296252 HAS SOUS 146669 HAS SOUPS 145906 WITH SCORE 146208.647
AT ITER 2061 NEW BEST:: SOT 627898 SOS 274909 HAS SOPS 268514 HAS SOUS 146598 HAS SOUPS 145835 WITH SCORE 146109.909
AT ITER 2065 NEW BEST:: SOT 627705 SOS 274967 HAS SOPS 268572 HAS SOUS 146462 HAS SOUPS 145699 WITH SCORE 145973.967
AT ITER 2118 NEW BEST:: SOT 627596 SOS 274858 HAS SOPS 268463 HAS SOUS 146233 HAS SOUPS 145470 WITH SCORE 145744.858
AT ITER 2123 NEW BEST:: SOT 627587 SOS 274849 HAS SOPS 268454 HAS SOUS 146215 HAS SOUPS 145452 WITH SCORE 145726.849
AT ITER 2159 NEW BEST:: SOT 627567 SOS 274829 HAS SOPS 268434 HAS SOUS 146195 HAS SOUPS 145432 WITH SCORE 145706.829
AT ITER 2163 NEW BEST:: SOT 627462 SOS 274632 HAS SOPS 268237 HAS SOUS 146065 HAS SOUPS 145302 WITH SCORE 145576.632
AT ITER 2167 NEW BEST:: SOT 627446 SOS 274748 HAS SOPS 268353 HAS SOUS 145967 HAS SOUPS 145204 WITH SCORE 145478.748
AT ITER 2168 NEW BEST:: SOT 627447 SOS 274747 HAS SOPS 268352 HAS SOUS 145966 HAS SOUPS 145203 WITH SCORE 145477.747
AT ITER 2173 NEW BEST:: SOT 627447 SOS 274747 HAS SOPS 268352 HAS SOUS 145374 HAS SOUPS 144611 WITH SCORE 144885.747
AT ITER 2186 NEW BEST:: SOT 627462 SOS 274808 HAS SOPS 268413 HAS SOUS 145311 HAS SOUPS 144548 WITH SCORE 144822.808
AT ITER 2191 NEW BEST:: SOT 627462 SOS 274778 HAS SOPS 268383 HAS SOUS 145311 HAS SOUPS 144548 WITH SCORE 144822.778
AT ITER 2204 NEW BEST:: SOT 627463 SOS 274886 HAS SOPS 268390 HAS SOUS 145056 HAS SOUPS 144293 WITH SCORE 144567.886
AT ITER 2209 NEW BEST:: SOT 627034 SOS 274457 HAS SOPS 267961 HAS SOUS 144865 HAS SOUPS 144102 WITH SCORE 144376.457
AT ITER 2217 NEW BEST:: SOT 627046 SOS 274505 HAS SOPS 268009 HAS SOUS 144859 HAS SOUPS 144096 WITH SCORE 144370.505
AT ITER 2231 NEW BEST:: SOT 626753 SOS 273929 HAS SOPS 267455 HAS SOUS 144471 HAS SOUPS 143708 WITH SCORE 143981.929
AT ITER 2243 NEW BEST:: SOT 626748 SOS 273919 HAS SOPS 267445 HAS SOUS 144471 HAS SOUPS 143708 WITH SCORE 143981.919
AT ITER 2253 NEW BEST:: SOT 626748 SOS 273826 HAS SOPS 267352 HAS SOUS 144465 HAS SOUPS 143702 WITH SCORE 143975.826
AT ITER 2256 NEW BEST:: SOT 626696 SOS 273774 HAS SOPS 267300 HAS SOUS 144341 HAS SOUPS 143578 WITH SCORE 143851.774
AT ITER 2258 NEW BEST:: SOT 626682 SOS 273760 HAS SOPS 267286 HAS SOUS 144313 HAS SOUPS 143550 WITH SCORE 143823.76
AT ITER 2278 NEW BEST:: SOT 626682 SOS 273795 HAS SOPS 267321 HAS SOUS 144278 HAS SOUPS 143515 WITH SCORE 143788.795
AT ITER 2283 NEW BEST:: SOT 624233 SOS 273594 HAS SOPS 267120 HAS SOUS 144101 HAS SOUPS 143338 WITH SCORE 143611.594
AT ITER 2311 NEW BEST:: SOT 624223 SOS 273584 HAS SOPS 267110 HAS SOUS 144073 HAS SOUPS 143310 WITH SCORE 143583.584
AT ITER 2313 NEW BEST:: SOT 624228 SOS 273580 HAS SOPS 267106 HAS SOUS 144069 HAS SOUPS 143306 WITH SCORE 143579.58
AT ITER 2336 NEW BEST:: SOT 624230 SOS 273255 HAS SOPS 266781 HAS SOUS 144002 HAS SOUPS 143239 WITH SCORE 143512.255
AT ITER 2341 NEW BEST:: SOT 624163 SOS 269687 HAS SOPS 264973 HAS SOUS 143687 HAS SOUPS 143012 WITH SCORE 143281.687
AT ITER 2351 NEW BEST:: SOT 624163 SOS 269540 HAS SOPS 264826 HAS SOUS 143638 HAS SOUPS 142963 WITH SCORE 143232.54
AT ITER 2353 NEW BEST:: SOT 624052 SOS 269429 HAS SOPS 264715 HAS SOUS 143566 HAS SOUPS 142891 WITH SCORE 143160.429
AT ITER 2361 NEW BEST:: SOT 624023 SOS 269400 HAS SOPS 264687 HAS SOUS 143442 HAS SOUPS 142767 WITH SCORE 143036.4
AT ITER 2366 NEW BEST:: SOT 624017 SOS 269388 HAS SOPS 264675 HAS SOUS 143430 HAS SOUPS 142755 WITH SCORE 143024.388
AT ITER 2373 NEW BEST:: SOT 623974 SOS 269345 HAS SOPS 264632 HAS SOUS 143387 HAS SOUPS 142712 WITH SCORE 142981.345
AT ITER 2385 NEW BEST:: SOT 623974 SOS 269315 HAS SOPS 264602 HAS SOUS 143387 HAS SOUPS 142712 WITH SCORE 142981.315
AT ITER 2400 NEW BEST:: SOT 623796 SOS 268941 HAS SOPS 264228 HAS SOUS 143215 HAS SOUPS 142540 WITH SCORE 142808.941
AT ITER 2434 NEW BEST:: SOT 623767 SOS 268625 HAS SOPS 263912 HAS SOUS 143064 HAS SOUPS 142389 WITH SCORE 142657.625
AT ITER 2435 NEW BEST:: SOT 623747 SOS 268605 HAS SOPS 263892 HAS SOUS 143044 HAS SOUPS 142369 WITH SCORE 142637.605
AT ITER 2438 NEW BEST:: SOT 623588 SOS 268345 HAS SOPS 263632 HAS SOUS 142784 HAS SOUPS 142109 WITH SCORE 142377.345
AT ITER 2440 NEW BEST:: SOT 623579 SOS 268336 HAS SOPS 263623 HAS SOUS 142772 HAS SOUPS 142097 WITH SCORE 142365.336
AT ITER 2452 NEW BEST:: SOT 623578 SOS 268334 HAS SOPS 263621 HAS SOUS 142770 HAS SOUPS 142095 WITH SCORE 142363.334
AT ITER 2503 NEW BEST:: SOT 623397 SOS 268046 HAS SOPS 263333 HAS SOUS 142744 HAS SOUPS 142069 WITH SCORE 142337.046
AT ITER 2513 NEW BEST:: SOT 623591 SOS 268240 HAS SOPS 263527 HAS SOUS 142737 HAS SOUPS 142062 WITH SCORE 142330.24
AT ITER 2517 NEW BEST:: SOT 623732 SOS 268381 HAS SOPS 263668 HAS SOUS 142491 HAS SOUPS 141816 WITH SCORE 142084.381
AT ITER 2523 NEW BEST:: SOT 623729 SOS 268366 HAS SOPS 263653 HAS SOUS 142485 HAS SOUPS 141810 WITH SCORE 142078.366
AT ITER 2532 NEW BEST:: SOT 623884 SOS 268437 HAS SOPS 263626 HAS SOUS 142512 HAS SOUPS 141796 WITH SCORE 142064.437
AT ITER 2548 NEW BEST:: SOT 623865 SOS 268418 HAS SOPS 263588 HAS SOUS 142455 HAS SOUPS 141739 WITH SCORE 142007.418
AT ITER 2554 NEW BEST:: SOT 623865 SOS 268454 HAS SOPS 263624 HAS SOUS 142403 HAS SOUPS 141687 WITH SCORE 141955.454
AT ITER 2560 NEW BEST:: SOT 623730 SOS 268289 HAS SOPS 263459 HAS SOUS 142343 HAS SOUPS 141627 WITH SCORE 141895.289
AT ITER 2568 NEW BEST:: SOT 623730 SOS 268271 HAS SOPS 263441 HAS SOUS 142343 HAS SOUPS 141627 WITH SCORE 141895.271
AT ITER 2571 NEW BEST:: SOT 623736 SOS 268551 HAS SOPS 263721 HAS SOUS 142243 HAS SOUPS 141527 WITH SCORE 141795.551
AT ITER 2579 NEW BEST:: SOT 623732 SOS 268551 HAS SOPS 263721 HAS SOUS 142235 HAS SOUPS 141519 WITH SCORE 141787.551
AT ITER 2590 NEW BEST:: SOT 623684 SOS 268503 HAS SOPS 263673 HAS SOUS 142139 HAS SOUPS 141423 WITH SCORE 141691.503
AT ITER 2618 NEW BEST:: SOT 623566 SOS 268097 HAS SOPS 263267 HAS SOUS 142025 HAS SOUPS 141309 WITH SCORE 141577.097
AT ITER 2630 NEW BEST:: SOT 623371 SOS 267902 HAS SOPS 263072 HAS SOUS 141785 HAS SOUPS 141069 WITH SCORE 141336.902
AT ITER 2656 NEW BEST:: SOT 623533 SOS 269654 HAS SOPS 264824 HAS SOUS 141621 HAS SOUPS 140905 WITH SCORE 141174.654
AT ITER 2657 NEW BEST:: SOT 623507 SOS 269636 HAS SOPS 264806 HAS SOUS 141595 HAS SOUPS 140879 WITH SCORE 141148.636
AT ITER 2661 NEW BEST:: SOT 623552 SOS 269231 HAS SOPS 264401 HAS SOUS 141595 HAS SOUPS 140879 WITH SCORE 141148.231
AT ITER 2662 NEW BEST:: SOT 623510 SOS 269189 HAS SOPS 264359 HAS SOUS 141511 HAS SOUPS 140795 WITH SCORE 141064.189
AT ITER 2664 NEW BEST:: SOT 623463 SOS 269050 HAS SOPS 264220 HAS SOUS 141484 HAS SOUPS 140768 WITH SCORE 141037.05
AT ITER 2683 NEW BEST:: SOT 623463 SOS 269050 HAS SOPS 264220 HAS SOUS 141473 HAS SOUPS 140757 WITH SCORE 141026.05
AT ITER 2688 NEW BEST:: SOT 623307 SOS 268894 HAS SOPS 264064 HAS SOUS 141408 HAS SOUPS 140692 WITH SCORE 140960.894
AT ITER 2689 NEW BEST:: SOT 623304 SOS 268914 HAS SOPS 264084 HAS SOUS 141375 HAS SOUPS 140659 WITH SCORE 140927.914
AT ITER 2698 NEW BEST:: SOT 623301 SOS 268911 HAS SOPS 264081 HAS SOUS 141369 HAS SOUPS 140653 WITH SCORE 140921.911
AT ITER 2706 NEW BEST:: SOT 623215 SOS 268825 HAS SOPS 263656 HAS SOUS 141390 HAS SOUPS 140610 WITH SCORE 140878.825
AT ITER 2718 NEW BEST:: SOT 623215 SOS 268746 HAS SOPS 263577 HAS SOUS 141390 HAS SOUPS 140610 WITH SCORE 140878.746
AT ITER 2724 NEW BEST:: SOT 623214 SOS 268741 HAS SOPS 263572 HAS SOUS 141388 HAS SOUPS 140608 WITH SCORE 140876.741
AT ITER 2726 NEW BEST:: SOT 623546 SOS 269110 HAS SOPS 263620 HAS SOUS 141387 HAS SOUPS 140570 WITH SCORE 140839.11
AT ITER 2732 NEW BEST:: SOT 623508 SOS 269021 HAS SOPS 263531 HAS SOUS 141289 HAS SOUPS 140472 WITH SCORE 140741.021
AT ITER 2735 NEW BEST:: SOT 623372 SOS 268887 HAS SOPS 263397 HAS SOUS 141080 HAS SOUPS 140263 WITH SCORE 140531.887
AT ITER 2780 NEW BEST:: SOT 623372 SOS 268887 HAS SOPS 263397 HAS SOUS 141071 HAS SOUPS 140254 WITH SCORE 140522.887
AT ITER 2820 NEW BEST:: SOT 623372 SOS 268158 HAS SOPS 262668 HAS SOUS 141021 HAS SOUPS 140204 WITH SCORE 140472.158
AT ITER 2829 NEW BEST:: SOT 623317 SOS 268103 HAS SOPS 262613 HAS SOUS 140951 HAS SOUPS 140134 WITH SCORE 140402.103
AT ITER 2832 NEW BEST:: SOT 623215 SOS 267809 HAS SOPS 262319 HAS SOUS 140939 HAS SOUPS 140122 WITH SCORE 140389.809
AT ITER 2833 NEW BEST:: SOT 623203 SOS 267797 HAS SOPS 262307 HAS SOUS 140909 HAS SOUPS 140092 WITH SCORE 140359.797
AT ITER 2835 NEW BEST:: SOT 623069 SOS 267923 HAS SOPS 262433 HAS SOUS 140858 HAS SOUPS 140041 WITH SCORE 140308.923
AT ITER 2849 NEW BEST:: SOT 623046 SOS 267900 HAS SOPS 262410 HAS SOUS 140835 HAS SOUPS 140018 WITH SCORE 140285.9
AT ITER 2851 NEW BEST:: SOT 623037 SOS 267891 HAS SOPS 262401 HAS SOUS 140817 HAS SOUPS 140000 WITH SCORE 140267.891
AT ITER 2857 NEW BEST:: SOT 622989 SOS 267147 HAS SOPS 261773 HAS SOUS 140769 HAS SOUPS 139952 WITH SCORE 140219.147
AT ITER 2890 NEW BEST:: SOT 622778 SOS 266861 HAS SOPS 261516 HAS SOUS 140512 HAS SOUPS 139695 WITH SCORE 139961.861
AT ITER 2898 NEW BEST:: SOT 622741 SOS 266824 HAS SOPS 261479 HAS SOUS 140421 HAS SOUPS 139604 WITH SCORE 139870.824
AT ITER 2905 NEW BEST:: SOT 622741 SOS 266718 HAS SOPS 261373 HAS SOUS 140421 HAS SOUPS 139604 WITH SCORE 139870.718
AT ITER 2907 NEW BEST:: SOT 622674 SOS 266832 HAS SOPS 261487 HAS SOUS 140395 HAS SOUPS 139578 WITH SCORE 139844.832
AT ITER 2909 NEW BEST:: SOT 622674 SOS 266897 HAS SOPS 261552 HAS SOUS 140378 HAS SOUPS 139561 WITH SCORE 139827.897
AT ITER 2913 NEW BEST:: SOT 622610 SOS 266710 HAS SOPS 261365 HAS SOUS 140338 HAS SOUPS 139521 WITH SCORE 139787.71
AT ITER 2934 NEW BEST:: SOT 622620 SOS 266991 HAS SOPS 261646 HAS SOUS 140304 HAS SOUPS 139487 WITH SCORE 139753.991
AT ITER 2957 NEW BEST:: SOT 622514 SOS 266627 HAS SOPS 261289 HAS SOUS 139977 HAS SOUPS 139160 WITH SCORE 139426.627
AT ITER 2958 NEW BEST:: SOT 622513 SOS 266432 HAS SOPS 261094 HAS SOUS 139875 HAS SOUPS 139058 WITH SCORE 139324.432
AT ITER 2967 NEW BEST:: SOT 622513 SOS 266454 HAS SOPS 261116 HAS SOUS 139831 HAS SOUPS 139014 WITH SCORE 139280.454
AT ITER 2997 NEW BEST:: SOT 622513 SOS 266566 HAS SOPS 261228 HAS SOUS 139719 HAS SOUPS 138902 WITH SCORE 139168.566
AT ITER 3004 NEW BEST:: SOT 622403 SOS 266362 HAS SOPS 261024 HAS SOUS 139623 HAS SOUPS 138806 WITH SCORE 139072.362
AT ITER 3014 NEW BEST:: SOT 622380 SOS 266339 HAS SOPS 261001 HAS SOUS 139577 HAS SOUPS 138760 WITH SCORE 139026.339
AT ITER 3015 NEW BEST:: SOT 622301 SOS 266286 HAS SOPS 260948 HAS SOUS 139228 HAS SOUPS 138411 WITH SCORE 138677.286
AT ITER 3028 NEW BEST:: SOT 622255 SOS 266189 HAS SOPS 260851 HAS SOUS 139152 HAS SOUPS 138335 WITH SCORE 138601.189
AT ITER 3031 NEW BEST:: SOT 622255 SOS 265743 HAS SOPS 260405 HAS SOUS 139001 HAS SOUPS 138184 WITH SCORE 138449.743
AT ITER 3044 NEW BEST:: SOT 622214 SOS 265702 HAS SOPS 260364 HAS SOUS 138919 HAS SOUPS 138102 WITH SCORE 138367.702
AT ITER 3066 NEW BEST:: SOT 620051 SOS 267669 HAS SOPS 262331 HAS SOUS 138115 HAS SOUPS 137298 WITH SCORE 137565.669
AT ITER 3080 NEW BEST:: SOT 620646 SOS 267176 HAS SOPS 261838 HAS SOUS 138045 HAS SOUPS 137228 WITH SCORE 137495.176
AT ITER 3082 NEW BEST:: SOT 620646 SOS 267177 HAS SOPS 261839 HAS SOUS 138044 HAS SOUPS 137227 WITH SCORE 137494.177
AT ITER 3087 NEW BEST:: SOT 620788 SOS 267174 HAS SOPS 261756 HAS SOUS 138027 HAS SOUPS 137210 WITH SCORE 137477.174
AT ITER 3100 NEW BEST:: SOT 620774 SOS 267160 HAS SOPS 261742 HAS SOUS 137999 HAS SOUPS 137182 WITH SCORE 137449.16
AT ITER 3101 NEW BEST:: SOT 620793 SOS 267174 HAS SOPS 261735 HAS SOUS 137954 HAS SOUPS 137137 WITH SCORE 137404.174
AT ITER 3102 NEW BEST:: SOT 620783 SOS 267164 HAS SOPS 261725 HAS SOUS 137944 HAS SOUPS 137127 WITH SCORE 137394.164
AT ITER 3108 NEW BEST:: SOT 620756 SOS 267072 HAS SOPS 261669 HAS SOUS 137928 HAS SOUPS 137111 WITH SCORE 137378.072
AT ITER 3159 NEW BEST:: SOT 620746 SOS 267042 HAS SOPS 261639 HAS SOUS 137898 HAS SOUPS 137081 WITH SCORE 137348.042
AT ITER 3162 NEW BEST:: SOT 620744 SOS 267040 HAS SOPS 261637 HAS SOUS 137896 HAS SOUPS 137079 WITH SCORE 137346.04
AT ITER 3163 NEW BEST:: SOT 620356 SOS 266652 HAS SOPS 261249 HAS SOUS 137508 HAS SOUPS 136691 WITH SCORE 136957.652
AT ITER 3180 NEW BEST:: SOT 620425 SOS 269391 HAS SOPS 263988 HAS SOUS 137468 HAS SOUPS 136651 WITH SCORE 136920.391
AT ITER 3206 NEW BEST:: SOT 620307 SOS 269120 HAS SOPS 263717 HAS SOUS 137350 HAS SOUPS 136533 WITH SCORE 136802.12
AT ITER 3233 NEW BEST:: SOT 620271 SOS 269084 HAS SOPS 263681 HAS SOUS 137278 HAS SOUPS 136461 WITH SCORE 136730.084
AT ITER 3265 NEW BEST:: SOT 620271 SOS 269132 HAS SOPS 263729 HAS SOUS 137254 HAS SOUPS 136437 WITH SCORE 136706.132
AT ITER 3292 NEW BEST:: SOT 620237 SOS 268774 HAS SOPS 263371 HAS SOUS 137134 HAS SOUPS 136317 WITH SCORE 136585.774
AT ITER 3293 NEW BEST:: SOT 620177 SOS 268714 HAS SOPS 263311 HAS SOUS 137047 HAS SOUPS 136230 WITH SCORE 136498.714
AT ITER 3295 NEW BEST:: SOT 620066 SOS 268469 HAS SOPS 263066 HAS SOUS 136901 HAS SOUPS 136084 WITH SCORE 136352.469
AT ITER 3305 NEW BEST:: SOT 618461 SOS 266752 HAS SOPS 261349 HAS SOUS 135894 HAS SOUPS 135077 WITH SCORE 135343.752
AT ITER 3309 NEW BEST:: SOT 618521 SOS 266861 HAS SOPS 261458 HAS SOUS 135867 HAS SOUPS 135050 WITH SCORE 135316.861
AT ITER 3327 NEW BEST:: SOT 618590 SOS 266792 HAS SOPS 261389 HAS SOUS 135867 HAS SOUPS 135050 WITH SCORE 135316.792
AT ITER 3340 NEW BEST:: SOT 618544 SOS 266608 HAS SOPS 261205 HAS SOUS 135775 HAS SOUPS 134958 WITH SCORE 135224.608
AT ITER 3346 NEW BEST:: SOT 618485 SOS 266580 HAS SOPS 261173 HAS SOUS 135712 HAS SOUPS 134895 WITH SCORE 135161.58
AT ITER 3348 NEW BEST:: SOT 618467 SOS 266562 HAS SOPS 261155 HAS SOUS 135676 HAS SOUPS 134859 WITH SCORE 135125.562
AT ITER 3351 NEW BEST:: SOT 618453 SOS 266530 HAS SOPS 261123 HAS SOUS 135666 HAS SOUPS 134849 WITH SCORE 135115.53
AT ITER 3368 NEW BEST:: SOT 618435 SOS 266512 HAS SOPS 261105 HAS SOUS 135639 HAS SOUPS 134822 WITH SCORE 135088.512
AT ITER 3369 NEW BEST:: SOT 618407 SOS 266504 HAS SOPS 261097 HAS SOUS 135591 HAS SOUPS 134774 WITH SCORE 135040.504
AT ITER 3377 NEW BEST:: SOT 618409 SOS 266511 HAS SOPS 261104 HAS SOUS 135562 HAS SOUPS 134745 WITH SCORE 135011.511
AT ITER 3403 NEW BEST:: SOT 618407 SOS 266510 HAS SOPS 261103 HAS SOUS 135558 HAS SOUPS 134741 WITH SCORE 135007.51
AT ITER 3421 NEW BEST:: SOT 618224 SOS 266327 HAS SOPS 260920 HAS SOUS 135376 HAS SOUPS 134559 WITH SCORE 134825.327
AT ITER 3426 NEW BEST:: SOT 618262 SOS 266257 HAS SOPS 260850 HAS SOUS 135310 HAS SOUPS 134493 WITH SCORE 134759.257
AT ITER 3437 NEW BEST:: SOT 618118 SOS 266206 HAS SOPS 260799 HAS SOUS 135022 HAS SOUPS 134205 WITH SCORE 134471.206
AT ITER 3448 NEW BEST:: SOT 618118 SOS 265997 HAS SOPS 260590 HAS SOUS 135009 HAS SOUPS 134192 WITH SCORE 134457.997
AT ITER 3459 NEW BEST:: SOT 618116 SOS 265995 HAS SOPS 260588 HAS SOUS 135005 HAS SOUPS 134188 WITH SCORE 134453.995
AT ITER 3475 NEW BEST:: SOT 618058 SOS 265908 HAS SOPS 260501 HAS SOUS 134918 HAS SOUPS 134101 WITH SCORE 134366.908
AT ITER 3482 NEW BEST:: SOT 618031 SOS 265881 HAS SOPS 260474 HAS SOUS 134864 HAS SOUPS 134047 WITH SCORE 134312.881
AT ITER 3495 NEW BEST:: SOT 618020 SOS 265870 HAS SOPS 260463 HAS SOUS 134864 HAS SOUPS 134047 WITH SCORE 134312.87
AT ITER 3498 NEW BEST:: SOT 617789 SOS 265639 HAS SOPS 260232 HAS SOUS 134804 HAS SOUPS 133987 WITH SCORE 134252.639
AT ITER 3501 NEW BEST:: SOT 617331 SOS 265132 HAS SOPS 259725 HAS SOUS 134240 HAS SOUPS 133423 WITH SCORE 133688.132
AT ITER 3517 NEW BEST:: SOT 617324 SOS 265056 HAS SOPS 259649 HAS SOUS 134226 HAS SOUPS 133409 WITH SCORE 133674.056
AT ITER 3548 NEW BEST:: SOT 617302 SOS 265008 HAS SOPS 259601 HAS SOUS 134182 HAS SOUPS 133365 WITH SCORE 133630.008
AT ITER 3560 NEW BEST:: SOT 617286 SOS 264798 HAS SOPS 259391 HAS SOUS 134114 HAS SOUPS 133297 WITH SCORE 133561.798
AT ITER 3588 NEW BEST:: SOT 617250 SOS 264750 HAS SOPS 259343 HAS SOUS 134078 HAS SOUPS 133261 WITH SCORE 133525.75
AT ITER 3610 NEW BEST:: SOT 617282 SOS 264846 HAS SOPS 259439 HAS SOUS 134046 HAS SOUPS 133229 WITH SCORE 133493.846
AT ITER 3617 NEW BEST:: SOT 617336 SOS 264362 HAS SOPS 258955 HAS SOUS 133924 HAS SOUPS 133107 WITH SCORE 133371.362
AT ITER 3619 NEW BEST:: SOT 617336 SOS 264362 HAS SOPS 258889 HAS SOUS 133810 HAS SOUPS 132993 WITH SCORE 133257.362
AT ITER 3624 NEW BEST:: SOT 617426 SOS 264336 HAS SOPS 258851 HAS SOUS 133750 HAS SOUPS 132933 WITH SCORE 133197.336
AT ITER 3654 NEW BEST:: SOT 617426 SOS 263655 HAS SOPS 258170 HAS SOUS 133742 HAS SOUPS 132925 WITH SCORE 133188.655
AT ITER 3656 NEW BEST:: SOT 617387 SOS 263616 HAS SOPS 258131 HAS SOUS 133712 HAS SOUPS 132895 WITH SCORE 133158.616
AT ITER 3657 NEW BEST:: SOT 617296 SOS 263525 HAS SOPS 258040 HAS SOUS 133621 HAS SOUPS 132804 WITH SCORE 133067.525
AT ITER 3704 NEW BEST:: SOT 617246 SOS 263475 HAS SOPS 257990 HAS SOUS 133603 HAS SOUPS 132786 WITH SCORE 133049.475
AT ITER 3707 NEW BEST:: SOT 617084 SOS 263187 HAS SOPS 257702 HAS SOUS 133405 HAS SOUPS 132588 WITH SCORE 132851.187
AT ITER 3711 NEW BEST:: SOT 617423 SOS 263581 HAS SOPS 258096 HAS SOUS 133288 HAS SOUPS 132471 WITH SCORE 132734.581
AT ITER 3722 NEW BEST:: SOT 616619 SOS 262639 HAS SOPS 257154 HAS SOUS 132346 HAS SOUPS 131529 WITH SCORE 131791.639
AT ITER 3747 NEW BEST:: SOT 616563 SOS 262583 HAS SOPS 257098 HAS SOUS 132290 HAS SOUPS 131473 WITH SCORE 131735.583
AT ITER 3781 NEW BEST:: SOT 616640 SOS 262660 HAS SOPS 257175 HAS SOUS 132279 HAS SOUPS 131462 WITH SCORE 131724.66
AT ITER 3802 NEW BEST:: SOT 616526 SOS 263931 HAS SOPS 258446 HAS SOUS 132259 HAS SOUPS 131442 WITH SCORE 131705.931
AT ITER 3816 NEW BEST:: SOT 614942 SOS 262300 HAS SOPS 256815 HAS SOUS 130765 HAS SOUPS 129948 WITH SCORE 130210.3
AT ITER 3824 NEW BEST:: SOT 614768 SOS 261838 HAS SOPS 256399 HAS SOUS 130705 HAS SOUPS 129888 WITH SCORE 130149.838
AT ITER 3840 NEW BEST:: SOT 614813 SOS 261835 HAS SOPS 256396 HAS SOUS 130702 HAS SOUPS 129885 WITH SCORE 130146.835
AT ITER 3862 NEW BEST:: SOT 614808 SOS 261826 HAS SOPS 256387 HAS SOUS 130648 HAS SOUPS 129831 WITH SCORE 130092.826
AT ITER 3879 NEW BEST:: SOT 614688 SOS 261349 HAS SOPS 255910 HAS SOUS 130588 HAS SOUPS 129771 WITH SCORE 130032.349
AT ITER 3881 NEW BEST:: SOT 614725 SOS 261386 HAS SOPS 255938 HAS SOUS 130540 HAS SOUPS 129723 WITH SCORE 129984.386
AT ITER 3888 NEW BEST:: SOT 614711 SOS 261372 HAS SOPS 255924 HAS SOUS 130522 HAS SOUPS 129705 WITH SCORE 129966.372
AT ITER 3903 NEW BEST:: SOT 614722 SOS 261394 HAS SOPS 255946 HAS SOUS 130430 HAS SOUPS 129613 WITH SCORE 129874.394
AT ITER 3905 NEW BEST:: SOT 614650 SOS 261250 HAS SOPS 255802 HAS SOUS 130430 HAS SOUPS 129613 WITH SCORE 129874.25
AT ITER 3908 NEW BEST:: SOT 614719 SOS 261319 HAS SOPS 255871 HAS SOUS 130391 HAS SOUPS 129574 WITH SCORE 129835.319
AT ITER 3924 NEW BEST:: SOT 614575 SOS 261070 HAS SOPS 255622 HAS SOUS 130309 HAS SOUPS 129492 WITH SCORE 129753.07
AT ITER 3950 NEW BEST:: SOT 614575 SOS 261430 HAS SOPS 255982 HAS SOUS 130273 HAS SOUPS 129456 WITH SCORE 129717.43
AT ITER 3952 NEW BEST:: SOT 614077 SOS 260967 HAS SOPS 255519 HAS SOUS 129882 HAS SOUPS 129065 WITH SCORE 129325.967
AT ITER 3963 NEW BEST:: SOT 614022 SOS 260967 HAS SOPS 255519 HAS SOUS 129827 HAS SOUPS 129010 WITH SCORE 129270.967
AT ITER 4002 NEW BEST:: SOT 614042 SOS 260655 HAS SOPS 255229 HAS SOUS 129704 HAS SOUPS 128887 WITH SCORE 129147.655
AT ITER 4007 NEW BEST:: SOT 614038 SOS 260655 HAS SOPS 255225 HAS SOUS 129700 HAS SOUPS 128883 WITH SCORE 129143.655
AT ITER 4018 NEW BEST:: SOT 614038 SOS 260652 HAS SOPS 255222 HAS SOUS 129697 HAS SOUPS 128880 WITH SCORE 129140.652
AT ITER 4026 NEW BEST:: SOT 614114 SOS 260722 HAS SOPS 255272 HAS SOUS 129658 HAS SOUPS 128841 WITH SCORE 129101.722
AT ITER 4035 NEW BEST:: SOT 613931 SOS 260516 HAS SOPS 255192 HAS SOUS 129598 HAS SOUPS 128807 WITH SCORE 129067.516
AT ITER 4038 NEW BEST:: SOT 613724 SOS 260466 HAS SOPS 255142 HAS SOUS 129592 HAS SOUPS 128801 WITH SCORE 129061.466
AT ITER 4048 NEW BEST:: SOT 613724 SOS 260460 HAS SOPS 255136 HAS SOUS 129592 HAS SOUPS 128801 WITH SCORE 129061.46
AT ITER 4057 NEW BEST:: SOT 613724 SOS 260428 HAS SOPS 255104 HAS SOUS 129592 HAS SOUPS 128801 WITH SCORE 129061.428
AT ITER 4077 NEW BEST:: SOT 613686 SOS 260390 HAS SOPS 255066 HAS SOUS 129554 HAS SOUPS 128763 WITH SCORE 129023.39
AT ITER 4085 NEW BEST:: SOT 613681 SOS 260380 HAS SOPS 255056 HAS SOUS 129502 HAS SOUPS 128711 WITH SCORE 128971.38
AT ITER 4093 NEW BEST:: SOT 613584 SOS 260283 HAS SOPS 254959 HAS SOUS 129405 HAS SOUPS 128614 WITH SCORE 128874.283
AT ITER 4123 NEW BEST:: SOT 613489 SOS 260259 HAS SOPS 254969 HAS SOUS 129335 HAS SOUPS 128544 WITH SCORE 128804.259
AT ITER 4130 NEW BEST:: SOT 613440 SOS 260210 HAS SOPS 254920 HAS SOUS 129237 HAS SOUPS 128446 WITH SCORE 128706.21
AT ITER 4149 NEW BEST:: SOT 613418 SOS 260109 HAS SOPS 254819 HAS SOUS 129193 HAS SOUPS 128402 WITH SCORE 128662.109
AT ITER 4153 NEW BEST:: SOT 613420 SOS 260111 HAS SOPS 254821 HAS SOUS 129185 HAS SOUPS 128394 WITH SCORE 128654.111
AT ITER 4160 NEW BEST:: SOT 613351 SOS 260042 HAS SOPS 254752 HAS SOUS 129153 HAS SOUPS 128362 WITH SCORE 128622.042
AT ITER 4181 NEW BEST:: SOT 613341 SOS 259978 HAS SOPS 254688 HAS SOUS 129153 HAS SOUPS 128362 WITH SCORE 128621.978
AT ITER 4182 NEW BEST:: SOT 613050 SOS 259889 HAS SOPS 254599 HAS SOUS 128752 HAS SOUPS 127961 WITH SCORE 128220.889
AT ITER 4199 NEW BEST:: SOT 613050 SOS 259874 HAS SOPS 254584 HAS SOUS 128752 HAS SOUPS 127961 WITH SCORE 128220.874
AT ITER 4276 NEW BEST:: SOT 613050 SOS 259907 HAS SOPS 254617 HAS SOUS 128730 HAS SOUPS 127939 WITH SCORE 128198.907
AT ITER 4317 NEW BEST:: SOT 613026 SOS 259859 HAS SOPS 254569 HAS SOUS 128682 HAS SOUPS 127891 WITH SCORE 128150.859
AT ITER 4331 NEW BEST:: SOT 613018 SOS 259851 HAS SOPS 254561 HAS SOUS 128680 HAS SOUPS 127889 WITH SCORE 128148.851
AT ITER 4333 NEW BEST:: SOT 612316 SOS 259219 HAS SOPS 253929 HAS SOUS 128224 HAS SOUPS 127433 WITH SCORE 127692.219
AT ITER 4334 NEW BEST:: SOT 612363 SOS 259162 HAS SOPS 253872 HAS SOUS 128219 HAS SOUPS 127428 WITH SCORE 127687.162
AT ITER 4350 NEW BEST:: SOT 612357 SOS 259156 HAS SOPS 253866 HAS SOUS 128213 HAS SOUPS 127422 WITH SCORE 127681.156
AT ITER 4352 NEW BEST:: SOT 612357 SOS 258837 HAS SOPS 253547 HAS SOUS 128202 HAS SOUPS 127411 WITH SCORE 127669.837
AT ITER 4371 NEW BEST:: SOT 612351 SOS 258807 HAS SOPS 253517 HAS SOUS 128135 HAS SOUPS 127344 WITH SCORE 127602.807
AT ITER 4412 NEW BEST:: SOT 612351 SOS 258846 HAS SOPS 253517 HAS SOUS 128057 HAS SOUPS 127266 WITH SCORE 127524.846
AT ITER 4423 NEW BEST:: SOT 612310 SOS 258805 HAS SOPS 253476 HAS SOUS 127931 HAS SOUPS 127140 WITH SCORE 127398.805
AT ITER 4440 NEW BEST:: SOT 612479 SOS 258849 HAS SOPS 253520 HAS SOUS 127929 HAS SOUPS 127138 WITH SCORE 127396.849
AT ITER 4475 NEW BEST:: SOT 612479 SOS 259089 HAS SOPS 253760 HAS SOUS 127895 HAS SOUPS 127104 WITH SCORE 127363.089
AT ITER 4482 NEW BEST:: SOT 612479 SOS 259073 HAS SOPS 253744 HAS SOUS 127887 HAS SOUPS 127096 WITH SCORE 127355.073
AT ITER 4503 NEW BEST:: SOT 612539 SOS 259218 HAS SOPS 253889 HAS SOUS 127883 HAS SOUPS 127092 WITH SCORE 127351.218
AT ITER 4520 NEW BEST:: SOT 612487 SOS 259166 HAS SOPS 253837 HAS SOUS 127771 HAS SOUPS 126980 WITH SCORE 127239.166
AT ITER 4523 NEW BEST:: SOT 612503 SOS 259118 HAS SOPS 253726 HAS SOUS 127697 HAS SOUPS 126906 WITH SCORE 127165.118
AT ITER 4529 NEW BEST:: SOT 612479 SOS 259031 HAS SOPS 253576 HAS SOUS 127592 HAS SOUPS 126795 WITH SCORE 127054.031
AT ITER 4530 NEW BEST:: SOT 612461 SOS 258853 HAS SOPS 253398 HAS SOUS 127534 HAS SOUPS 126737 WITH SCORE 126995.853
AT ITER 4553 NEW BEST:: SOT 612469 SOS 258819 HAS SOPS 253364 HAS SOUS 127500 HAS SOUPS 126703 WITH SCORE 126961.819
AT ITER 4556 NEW BEST:: SOT 612409 SOS 258781 HAS SOPS 253331 HAS SOUS 127467 HAS SOUPS 126670 WITH SCORE 126928.781
AT ITER 4557 NEW BEST:: SOT 612397 SOS 258763 HAS SOPS 253313 HAS SOUS 127455 HAS SOUPS 126658 WITH SCORE 126916.763
AT ITER 4558 NEW BEST:: SOT 612397 SOS 258793 HAS SOPS 253307 HAS SOUS 127425 HAS SOUPS 126628 WITH SCORE 126886.793
AT ITER 4561 NEW BEST:: SOT 612389 SOS 258785 HAS SOPS 253299 HAS SOUS 127417 HAS SOUPS 126620 WITH SCORE 126878.785
AT ITER 4578 NEW BEST:: SOT 612320 SOS 258718 HAS SOPS 253232 HAS SOUS 127399 HAS SOUPS 126602 WITH SCORE 126860.718
AT ITER 4612 NEW BEST:: SOT 612231 SOS 258623 HAS SOPS 253183 HAS SOUS 127350 HAS SOUPS 126553 WITH SCORE 126811.623
AT ITER 4646 NEW BEST:: SOT 612078 SOS 258470 HAS SOPS 253030 HAS SOUS 127044 HAS SOUPS 126247 WITH SCORE 126505.47
AT ITER 4652 NEW BEST:: SOT 611799 SOS 257810 HAS SOPS 252370 HAS SOUS 126690 HAS SOUPS 125893 WITH SCORE 126150.81
AT ITER 4686 NEW BEST:: SOT 611799 SOS 257730 HAS SOPS 252290 HAS SOUS 126690 HAS SOUPS 125893 WITH SCORE 126150.73
AT ITER 4691 NEW BEST:: SOT 611663 SOS 257594 HAS SOPS 252154 HAS SOUS 126535 HAS SOUPS 125738 WITH SCORE 125995.594
AT ITER 4693 NEW BEST:: SOT 611663 SOS 257382 HAS SOPS 251942 HAS SOUS 126524 HAS SOUPS 125727 WITH SCORE 125984.382
AT ITER 4704 NEW BEST:: SOT 611686 SOS 257405 HAS SOPS 251895 HAS SOUS 126438 HAS SOUPS 125641 WITH SCORE 125898.405
AT ITER 4706 NEW BEST:: SOT 611669 SOS 257388 HAS SOPS 251878 HAS SOUS 126421 HAS SOUPS 125624 WITH SCORE 125881.388
AT ITER 4709 NEW BEST:: SOT 611664 SOS 257383 HAS SOPS 251873 HAS SOUS 126411 HAS SOUPS 125614 WITH SCORE 125871.383
AT ITER 4713 NEW BEST:: SOT 611578 SOS 257297 HAS SOPS 251787 HAS SOUS 126213 HAS SOUPS 125416 WITH SCORE 125673.297
AT ITER 4725 NEW BEST:: SOT 611554 SOS 257273 HAS SOPS 251763 HAS SOUS 126165 HAS SOUPS 125368 WITH SCORE 125625.273
AT ITER 4737 NEW BEST:: SOT 611444 SOS 257163 HAS SOPS 251653 HAS SOUS 126055 HAS SOUPS 125258 WITH SCORE 125515.163
AT ITER 4759 NEW BEST:: SOT 611241 SOS 256960 HAS SOPS 251450 HAS SOUS 125796 HAS SOUPS 124999 WITH SCORE 125255.96
AT ITER 4760 NEW BEST:: SOT 611191 SOS 256865 HAS SOPS 251340 HAS SOUS 125612 HAS SOUPS 124815 WITH SCORE 125071.865
AT ITER 4775 NEW BEST:: SOT 610993 SOS 256631 HAS SOPS 251106 HAS SOUS 125414 HAS SOUPS 124617 WITH SCORE 124873.631
AT ITER 4801 NEW BEST:: SOT 610955 SOS 256590 HAS SOPS 251065 HAS SOUS 125355 HAS SOUPS 124558 WITH SCORE 124814.59
AT ITER 4806 NEW BEST:: SOT 610955 SOS 256684 HAS SOPS 251159 HAS SOUS 125261 HAS SOUPS 124464 WITH SCORE 124720.684
AT ITER 4847 NEW BEST:: SOT 610946 SOS 256702 HAS SOPS 251177 HAS SOUS 125225 HAS SOUPS 124428 WITH SCORE 124684.702
AT ITER 4862 NEW BEST:: SOT 610967 SOS 256723 HAS SOPS 251128 HAS SOUS 125176 HAS SOUPS 124379 WITH SCORE 124635.723
AT ITER 4868 NEW BEST:: SOT 610952 SOS 256708 HAS SOPS 251113 HAS SOUS 125161 HAS SOUPS 124364 WITH SCORE 124620.708
AT ITER 4899 NEW BEST:: SOT 610952 SOS 256064 HAS SOPS 250469 HAS SOUS 125161 HAS SOUPS 124364 WITH SCORE 124620.064
AT ITER 4906 NEW BEST:: SOT 610929 SOS 256055 HAS SOPS 250475 HAS SOUS 125135 HAS SOUPS 124338 WITH SCORE 124594.055
AT ITER 4912 NEW BEST:: SOT 610942 SOS 256068 HAS SOPS 250484 HAS SOUS 125127 HAS SOUPS 124330 WITH SCORE 124586.068
AT ITER 4917 NEW BEST:: SOT 610900 SOS 256005 HAS SOPS 250421 HAS SOUS 125064 HAS SOUPS 124267 WITH SCORE 124523.005
AT ITER 4918 NEW BEST:: SOT 610896 SOS 255997 HAS SOPS 250413 HAS SOUS 125056 HAS SOUPS 124259 WITH SCORE 124514.997
AT ITER 4943 NEW BEST:: SOT 610857 SOS 255958 HAS SOPS 250374 HAS SOUS 124978 HAS SOUPS 124181 WITH SCORE 124436.958
AT ITER 4945 NEW BEST:: SOT 610849 SOS 255950 HAS SOPS 250366 HAS SOUS 124962 HAS SOUPS 124165 WITH SCORE 124420.95
AT ITER 4954 NEW BEST:: SOT 610753 SOS 255902 HAS SOPS 250318 HAS SOUS 124914 HAS SOUPS 124117 WITH SCORE 124372.902
AT ITER 4959 NEW BEST:: SOT 610753 SOS 255814 HAS SOPS 250230 HAS SOUS 124906 HAS SOUPS 124109 WITH SCORE 124364.814
AT ITER 5028 NEW BEST:: SOT 610760 SOS 255834 HAS SOPS 250250 HAS SOUS 124892 HAS SOUPS 124095 WITH SCORE 124350.834
AT ITER 5045 NEW BEST:: SOT 610751 SOS 255825 HAS SOPS 250241 HAS SOUS 124883 HAS SOUPS 124086 WITH SCORE 124341.825
AT ITER 5049 NEW BEST:: SOT 610733 SOS 255753 HAS SOPS 250169 HAS SOUS 124883 HAS SOUPS 124086 WITH SCORE 124341.753
AT ITER 5056 NEW BEST:: SOT 610688 SOS 255660 HAS SOPS 250076 HAS SOUS 124773 HAS SOUPS 123976 WITH SCORE 124231.66
AT ITER 5061 NEW BEST:: SOT 610672 SOS 255644 HAS SOPS 250060 HAS SOUS 124725 HAS SOUPS 123928 WITH SCORE 124183.644
AT ITER 5080 NEW BEST:: SOT 610668 SOS 255577 HAS SOPS 249993 HAS SOUS 124700 HAS SOUPS 123903 WITH SCORE 124158.577
AT ITER 5083 NEW BEST:: SOT 610660 SOS 255337 HAS SOPS 249753 HAS SOUS 124684 HAS SOUPS 123887 WITH SCORE 124142.337
AT ITER 5086 NEW BEST:: SOT 610608 SOS 255251 HAS SOPS 249667 HAS SOUS 124585 HAS SOUPS 123788 WITH SCORE 124043.251
AT ITER 5127 NEW BEST:: SOT 610613 SOS 255196 HAS SOPS 249594 HAS SOUS 124526 HAS SOUPS 123729 WITH SCORE 123984.196
AT ITER 5170 NEW BEST:: SOT 610491 SOS 253097 HAS SOPS 247617 HAS SOUS 124452 HAS SOUPS 123655 WITH SCORE 123908.097
AT ITER 5175 NEW BEST:: SOT 610522 SOS 253258 HAS SOPS 247778 HAS SOUS 124296 HAS SOUPS 123499 WITH SCORE 123752.258
AT ITER 5176 NEW BEST:: SOT 610522 SOS 253189 HAS SOPS 247709 HAS SOUS 124250 HAS SOUPS 123453 WITH SCORE 123706.189
AT ITER 5186 NEW BEST:: SOT 610396 SOS 253063 HAS SOPS 247583 HAS SOUS 124124 HAS SOUPS 123327 WITH SCORE 123580.063
AT ITER 5188 NEW BEST:: SOT 610396 SOS 253163 HAS SOPS 247683 HAS SOUS 123824 HAS SOUPS 123027 WITH SCORE 123280.163
AT ITER 5190 NEW BEST:: SOT 610325 SOS 254563 HAS SOPS 249038 HAS SOUS 123749 HAS SOUPS 122952 WITH SCORE 123206.563
AT ITER 5199 NEW BEST:: SOT 610335 SOS 254743 HAS SOPS 249218 HAS SOUS 123738 HAS SOUPS 122941 WITH SCORE 123195.743
AT ITER 5205 NEW BEST:: SOT 610286 SOS 254694 HAS SOPS 249169 HAS SOUS 123689 HAS SOUPS 122892 WITH SCORE 123146.694
AT ITER 5206 NEW BEST:: SOT 610286 SOS 254618 HAS SOPS 249093 HAS SOUS 123689 HAS SOUPS 122892 WITH SCORE 123146.618
AT ITER 5208 NEW BEST:: SOT 610286 SOS 251131 HAS SOPS 245606 HAS SOUS 123537 HAS SOUPS 122740 WITH SCORE 122991.131
AT ITER 5209 NEW BEST:: SOT 610283 SOS 251125 HAS SOPS 245600 HAS SOUS 123531 HAS SOUPS 122734 WITH SCORE 122985.125
AT ITER 5217 NEW BEST:: SOT 610286 SOS 251186 HAS SOPS 245661 HAS SOUS 123528 HAS SOUPS 122731 WITH SCORE 122982.186
AT ITER 5218 NEW BEST:: SOT 610235 SOS 251135 HAS SOPS 245610 HAS SOUS 123477 HAS SOUPS 122680 WITH SCORE 122931.135
AT ITER 5227 NEW BEST:: SOT 610097 SOS 250911 HAS SOPS 245386 HAS SOUS 123405 HAS SOUPS 122608 WITH SCORE 122858.911
AT ITER 5295 NEW BEST:: SOT 610069 SOS 250883 HAS SOPS 245358 HAS SOUS 123377 HAS SOUPS 122580 WITH SCORE 122830.883
AT ITER 5305 NEW BEST:: SOT 610041 SOS 250827 HAS SOPS 245302 HAS SOUS 123321 HAS SOUPS 122524 WITH SCORE 122774.827
AT ITER 5331 NEW BEST:: SOT 610029 SOS 250815 HAS SOPS 245302 HAS SOUS 123297 HAS SOUPS 122500 WITH SCORE 122750.815
AT ITER 5336 NEW BEST:: SOT 610020 SOS 250693 HAS SOPS 245180 HAS SOUS 123279 HAS SOUPS 122482 WITH SCORE 122732.693
AT ITER 5343 NEW BEST:: SOT 609993 SOS 250686 HAS SOPS 245173 HAS SOUS 123225 HAS SOUPS 122428 WITH SCORE 122678.686
AT ITER 5345 NEW BEST:: SOT 609967 SOS 250623 HAS SOPS 245110 HAS SOUS 123196 HAS SOUPS 122399 WITH SCORE 122649.623
AT ITER 5347 NEW BEST:: SOT 609889 SOS 250173 HAS SOPS 244660 HAS SOUS 122876 HAS SOUPS 122079 WITH SCORE 122329.173
AT ITER 5349 NEW BEST:: SOT 609831 SOS 250086 HAS SOPS 244573 HAS SOUS 122818 HAS SOUPS 122021 WITH SCORE 122271.086
AT ITER 5372 NEW BEST:: SOT 609779 SOS 249999 HAS SOPS 244486 HAS SOUS 122731 HAS SOUPS 121934 WITH SCORE 122183.999
AT ITER 5375 NEW BEST:: SOT 609778 SOS 249991 HAS SOPS 244478 HAS SOUS 122729 HAS SOUPS 121932 WITH SCORE 122181.991
AT ITER 5398 NEW BEST:: SOT 609732 SOS 249495 HAS SOPS 243982 HAS SOUS 122704 HAS SOUPS 121907 WITH SCORE 122156.495
AT ITER 5428 NEW BEST:: SOT 609722 SOS 249485 HAS SOPS 243972 HAS SOUS 122684 HAS SOUPS 121887 WITH SCORE 122136.485
AT ITER 5436 NEW BEST:: SOT 609722 SOS 249458 HAS SOPS 243945 HAS SOUS 122678 HAS SOUPS 121881 WITH SCORE 122130.458
AT ITER 5462 NEW BEST:: SOT 609653 SOS 249389 HAS SOPS 243876 HAS SOUS 122659 HAS SOUPS 121862 WITH SCORE 122111.389
AT ITER 5465 NEW BEST:: SOT 609647 SOS 249383 HAS SOPS 243870 HAS SOUS 122647 HAS SOUPS 121850 WITH SCORE 122099.383
AT ITER 5533 NEW BEST:: SOT 609609 SOS 249345 HAS SOPS 243832 HAS SOUS 122571 HAS SOUPS 121774 WITH SCORE 122023.345
AT ITER 5549 NEW BEST:: SOT 609465 SOS 248930 HAS SOPS 243417 HAS SOUS 122348 HAS SOUPS 121551 WITH SCORE 121799.93
AT ITER 5605 NEW BEST:: SOT 609447 SOS 248912 HAS SOPS 243399 HAS SOUS 122312 HAS SOUPS 121515 WITH SCORE 121763.912
AT ITER 5620 NEW BEST:: SOT 609439 SOS 248896 HAS SOPS 243383 HAS SOUS 122304 HAS SOUPS 121507 WITH SCORE 121755.896
AT ITER 5630 NEW BEST:: SOT 609439 SOS 248878 HAS SOPS 243365 HAS SOUS 122286 HAS SOUPS 121489 WITH SCORE 121737.878
AT ITER 5662 NEW BEST:: SOT 609526 SOS 248954 HAS SOPS 243366 HAS SOUS 122128 HAS SOUPS 121331 WITH SCORE 121579.954
AT ITER 5672 NEW BEST:: SOT 609498 SOS 248898 HAS SOPS 243310 HAS SOUS 122116 HAS SOUPS 121319 WITH SCORE 121567.898
AT ITER 5685 NEW BEST:: SOT 609496 SOS 248362 HAS SOPS 242774 HAS SOUS 122112 HAS SOUPS 121315 WITH SCORE 121563.362
AT ITER 5700 NEW BEST:: SOT 609440 SOS 248278 HAS SOPS 242690 HAS SOUS 122056 HAS SOUPS 121259 WITH SCORE 121507.278
AT ITER 5715 NEW BEST:: SOT 609435 SOS 248268 HAS SOPS 242680 HAS SOUS 122046 HAS SOUPS 121249 WITH SCORE 121497.268
AT ITER 5737 NEW BEST:: SOT 609435 SOS 248262 HAS SOPS 242674 HAS SOUS 122027 HAS SOUPS 121230 WITH SCORE 121478.262
AT ITER 5746 NEW BEST:: SOT 609445 SOS 248272 HAS SOPS 242631 HAS SOUS 121853 HAS SOUPS 121056 WITH SCORE 121304.272
AT ITER 5747 NEW BEST:: SOT 609471 SOS 248354 HAS SOPS 242713 HAS SOUS 121809 HAS SOUPS 121012 WITH SCORE 121260.354
AT ITER 5760 NEW BEST:: SOT 609410 SOS 248232 HAS SOPS 242591 HAS SOUS 121687 HAS SOUPS 120890 WITH SCORE 121138.232
AT ITER 5774 NEW BEST:: SOT 609410 SOS 248204 HAS SOPS 242563 HAS SOUS 121673 HAS SOUPS 120876 WITH SCORE 121124.204
AT ITER 5777 NEW BEST:: SOT 609409 SOS 248213 HAS SOPS 242572 HAS SOUS 121671 HAS SOUPS 120874 WITH SCORE 121122.213
AT ITER 5778 NEW BEST:: SOT 609322 SOS 248036 HAS SOPS 242395 HAS SOUS 121626 HAS SOUPS 120829 WITH SCORE 121077.036
AT ITER 5832 NEW BEST:: SOT 609293 SOS 247978 HAS SOPS 242337 HAS SOUS 121568 HAS SOUPS 120771 WITH SCORE 121018.978
AT ITER 5841 NEW BEST:: SOT 609320 SOS 247644 HAS SOPS 242003 HAS SOUS 121534 HAS SOUPS 120737 WITH SCORE 120984.644
AT ITER 5850 NEW BEST:: SOT 609159 SOS 247325 HAS SOPS 241684 HAS SOUS 121249 HAS SOUPS 120452 WITH SCORE 120699.325
AT ITER 5853 NEW BEST:: SOT 609172 SOS 247341 HAS SOPS 241700 HAS SOUS 121226 HAS SOUPS 120429 WITH SCORE 120676.341
AT ITER 5880 NEW BEST:: SOT 609119 SOS 247064 HAS SOPS 241423 HAS SOUS 121192 HAS SOUPS 120395 WITH SCORE 120642.064
AT ITER 5895 NEW BEST:: SOT 608740 SOS 246745 HAS SOPS 241104 HAS SOUS 121148 HAS SOUPS 120351 WITH SCORE 120597.745
AT ITER 5920 NEW BEST:: SOT 608839 SOS 247000 HAS SOPS 241359 HAS SOUS 120995 HAS SOUPS 120198 WITH SCORE 120445.0
AT ITER 5934 NEW BEST:: SOT 608830 SOS 246991 HAS SOPS 241350 HAS SOUS 120977 HAS SOUPS 120180 WITH SCORE 120426.991
AT ITER 5951 NEW BEST:: SOT 608746 SOS 246907 HAS SOPS 241266 HAS SOUS 120962 HAS SOUPS 120165 WITH SCORE 120411.907
AT ITER 5995 NEW BEST:: SOT 608740 SOS 246901 HAS SOPS 241254 HAS SOUS 120956 HAS SOUPS 120159 WITH SCORE 120405.901
AT ITER 6004 NEW BEST:: SOT 608740 SOS 246900 HAS SOPS 241253 HAS SOUS 120928 HAS SOUPS 120131 WITH SCORE 120377.9
AT ITER 6017 NEW BEST:: SOT 608720 SOS 246880 HAS SOPS 241233 HAS SOUS 120809 HAS SOUPS 120012 WITH SCORE 120258.88
AT ITER 6059 NEW BEST:: SOT 608702 SOS 246871 HAS SOPS 241224 HAS SOUS 120800 HAS SOUPS 120003 WITH SCORE 120249.871
AT ITER 6064 NEW BEST:: SOT 608630 SOS 246799 HAS SOPS 241152 HAS SOUS 120691 HAS SOUPS 119894 WITH SCORE 120140.799
AT ITER 6065 NEW BEST:: SOT 608628 SOS 246769 HAS SOPS 241122 HAS SOUS 120687 HAS SOUPS 119890 WITH SCORE 120136.769
AT ITER 6073 NEW BEST:: SOT 608631 SOS 246772 HAS SOPS 241125 HAS SOUS 120683 HAS SOUPS 119886 WITH SCORE 120132.772
AT ITER 6083 NEW BEST:: SOT 608628 SOS 246769 HAS SOPS 241122 HAS SOUS 120677 HAS SOUPS 119880 WITH SCORE 120126.769
AT ITER 6142 NEW BEST:: SOT 608622 SOS 246763 HAS SOPS 241116 HAS SOUS 120671 HAS SOUPS 119874 WITH SCORE 120120.763
AT ITER 6143 NEW BEST:: SOT 608622 SOS 246747 HAS SOPS 241100 HAS SOUS 120671 HAS SOUPS 119874 WITH SCORE 120120.747
AT ITER 6196 NEW BEST:: SOT 608609 SOS 246811 HAS SOPS 241164 HAS SOUS 120645 HAS SOUPS 119848 WITH SCORE 120094.811
AT ITER 6257 NEW BEST:: SOT 608609 SOS 246794 HAS SOPS 241147 HAS SOUS 120645 HAS SOUPS 119848 WITH SCORE 120094.794
AT ITER 6270 NEW BEST:: SOT 608617 SOS 246818 HAS SOPS 241155 HAS SOUS 120629 HAS SOUPS 119832 WITH SCORE 120078.818
AT ITER 6275 NEW BEST:: SOT 608597 SOS 245350 HAS SOPS 239687 HAS SOUS 120589 HAS SOUPS 119792 WITH SCORE 120037.35
AT ITER 6281 NEW BEST:: SOT 608596 SOS 245349 HAS SOPS 239686 HAS SOUS 120588 HAS SOUPS 119791 WITH SCORE 120036.349
AT ITER 6303 NEW BEST:: SOT 608596 SOS 245347 HAS SOPS 239684 HAS SOUS 120586 HAS SOUPS 119789 WITH SCORE 120034.347
AT ITER 6326 NEW BEST:: SOT 608571 SOS 245322 HAS SOPS 239659 HAS SOUS 120486 HAS SOUPS 119689 WITH SCORE 119934.322
AT ITER 6360 NEW BEST:: SOT 608571 SOS 245343 HAS SOPS 239680 HAS SOUS 120470 HAS SOUPS 119673 WITH SCORE 119918.343
AT ITER 6377 NEW BEST:: SOT 608553 SOS 245307 HAS SOPS 239644 HAS SOUS 120460 HAS SOUPS 119663 WITH SCORE 119908.307
AT ITER 6400 NEW BEST:: SOT 608353 SOS 245206 HAS SOPS 239543 HAS SOUS 120284 HAS SOUPS 119487 WITH SCORE 119732.206
AT ITER 6408 NEW BEST:: SOT 608337 SOS 245099 HAS SOPS 239335 HAS SOUS 120211 HAS SOUPS 119400 WITH SCORE 119645.099
AT ITER 6416 NEW BEST:: SOT 608273 SOS 245000 HAS SOPS 239236 HAS SOUS 120141 HAS SOUPS 119330 WITH SCORE 119575.0
AT ITER 6425 NEW BEST:: SOT 608244 SOS 244959 HAS SOPS 239195 HAS SOUS 120083 HAS SOUPS 119272 WITH SCORE 119516.959
AT ITER 6444 NEW BEST:: SOT 608162 SOS 244885 HAS SOPS 239121 HAS SOUS 119954 HAS SOUPS 119143 WITH SCORE 119387.885
AT ITER 6488 NEW BEST:: SOT 608063 SOS 244753 HAS SOPS 238989 HAS SOUS 119822 HAS SOUPS 119011 WITH SCORE 119255.753
AT ITER 6492 NEW BEST:: SOT 608046 SOS 244747 HAS SOPS 238983 HAS SOUS 119816 HAS SOUPS 119005 WITH SCORE 119249.747
AT ITER 6514 NEW BEST:: SOT 607963 SOS 244693 HAS SOPS 238929 HAS SOUS 119711 HAS SOUPS 118900 WITH SCORE 119144.693
AT ITER 6530 NEW BEST:: SOT 607881 SOS 244712 HAS SOPS 239023 HAS SOUS 119678 HAS SOUPS 118867 WITH SCORE 119111.712
AT ITER 6531 NEW BEST:: SOT 607869 SOS 244700 HAS SOPS 239011 HAS SOUS 119654 HAS SOUPS 118843 WITH SCORE 119087.7
AT ITER 6554 NEW BEST:: SOT 607843 SOS 244674 HAS SOPS 238985 HAS SOUS 119602 HAS SOUPS 118791 WITH SCORE 119035.674
AT ITER 6587 NEW BEST:: SOT 607824 SOS 244657 HAS SOPS 238968 HAS SOUS 119585 HAS SOUPS 118774 WITH SCORE 119018.657
AT ITER 6608 NEW BEST:: SOT 607775 SOS 244559 HAS SOPS 238870 HAS SOUS 119487 HAS SOUPS 118676 WITH SCORE 118920.559
AT ITER 6642 NEW BEST:: SOT 607695 SOS 244527 HAS SOPS 238838 HAS SOUS 119442 HAS SOUPS 118631 WITH SCORE 118875.527
AT ITER 6664 NEW BEST:: SOT 607652 SOS 244484 HAS SOPS 238795 HAS SOUS 119372 HAS SOUPS 118561 WITH SCORE 118805.484
AT ITER 6690 NEW BEST:: SOT 607620 SOS 244459 HAS SOPS 238770 HAS SOUS 119347 HAS SOUPS 118536 WITH SCORE 118780.459
AT ITER 6706 NEW BEST:: SOT 607610 SOS 244439 HAS SOPS 238750 HAS SOUS 119327 HAS SOUPS 118516 WITH SCORE 118760.439
AT ITER 6727 NEW BEST:: SOT 607572 SOS 244450 HAS SOPS 238761 HAS SOUS 119251 HAS SOUPS 118440 WITH SCORE 118684.45
AT ITER 6732 NEW BEST:: SOT 607486 SOS 244438 HAS SOPS 238749 HAS SOUS 119239 HAS SOUPS 118428 WITH SCORE 118672.438
AT ITER 6736 NEW BEST:: SOT 607432 SOS 245072 HAS SOPS 238558 HAS SOUS 119185 HAS SOUPS 118321 WITH SCORE 118566.072
AT ITER 6781 NEW BEST:: SOT 607428 SOS 245068 HAS SOPS 238554 HAS SOUS 119181 HAS SOUPS 118317 WITH SCORE 118562.068
AT ITER 6793 NEW BEST:: SOT 607408 SOS 245062 HAS SOPS 238548 HAS SOUS 119177 HAS SOUPS 118313 WITH SCORE 118558.062
AT ITER 6803 NEW BEST:: SOT 607156 SOS 242710 HAS SOPS 236196 HAS SOUS 118895 HAS SOUPS 118031 WITH SCORE 118273.71
AT ITER 6835 NEW BEST:: SOT 607102 SOS 242624 HAS SOPS 236110 HAS SOUS 118787 HAS SOUPS 117923 WITH SCORE 118165.624
AT ITER 6891 NEW BEST:: SOT 607149 SOS 242671 HAS SOPS 236110 HAS SOUS 118740 HAS SOUPS 117876 WITH SCORE 118118.671
AT ITER 6897 NEW BEST:: SOT 607118 SOS 242671 HAS SOPS 236110 HAS SOUS 118616 HAS SOUPS 117752 WITH SCORE 117994.671
AT ITER 6916 NEW BEST:: SOT 607117 SOS 242669 HAS SOPS 236108 HAS SOUS 118614 HAS SOUPS 117750 WITH SCORE 117992.669
AT ITER 6929 NEW BEST:: SOT 607109 SOS 242653 HAS SOPS 236092 HAS SOUS 118598 HAS SOUPS 117734 WITH SCORE 117976.653
AT ITER 6957 NEW BEST:: SOT 607109 SOS 242513 HAS SOPS 235952 HAS SOUS 118598 HAS SOUPS 117734 WITH SCORE 117976.513
AT ITER 6967 NEW BEST:: SOT 607091 SOS 242491 HAS SOPS 235930 HAS SOUS 118562 HAS SOUPS 117698 WITH SCORE 117940.491
AT ITER 6994 NEW BEST:: SOT 607085 SOS 242362 HAS SOPS 235765 HAS SOUS 118453 HAS SOUPS 117589 WITH SCORE 117831.362
AT ITER 7003 NEW BEST:: SOT 607085 SOS 242403 HAS SOPS 235806 HAS SOUS 118371 HAS SOUPS 117507 WITH SCORE 117749.403
AT ITER 7014 NEW BEST:: SOT 607072 SOS 242377 HAS SOPS 235780 HAS SOUS 118345 HAS SOUPS 117481 WITH SCORE 117723.377
AT ITER 7087 NEW BEST:: SOT 607054 SOS 242329 HAS SOPS 235732 HAS SOUS 118297 HAS SOUPS 117433 WITH SCORE 117675.329
AT ITER 7088 NEW BEST:: SOT 607206 SOS 242183 HAS SOPS 235586 HAS SOUS 118213 HAS SOUPS 117349 WITH SCORE 117591.183
AT ITER 7104 NEW BEST:: SOT 607182 SOS 242163 HAS SOPS 235566 HAS SOUS 118165 HAS SOUPS 117301 WITH SCORE 117543.163
AT ITER 7113 NEW BEST:: SOT 604760 SOS 245152 HAS SOPS 235905 HAS SOUS 116175 HAS SOUPS 115046 WITH SCORE 115291.152
AT ITER 7121 NEW BEST:: SOT 604750 SOS 245002 HAS SOPS 235755 HAS SOUS 116163 HAS SOUPS 115034 WITH SCORE 115279.002
AT ITER 7127 NEW BEST:: SOT 604719 SOS 245017 HAS SOPS 235847 HAS SOUS 116125 HAS SOUPS 114996 WITH SCORE 115241.017
AT ITER 7136 NEW BEST:: SOT 604719 SOS 244875 HAS SOPS 235705 HAS SOUS 115986 HAS SOUPS 114857 WITH SCORE 115101.875
AT ITER 7144 NEW BEST:: SOT 604526 SOS 244682 HAS SOPS 235512 HAS SOUS 115725 HAS SOUPS 114596 WITH SCORE 114840.682
AT ITER 7179 NEW BEST:: SOT 604516 SOS 244682 HAS SOPS 235522 HAS SOUS 115695 HAS SOUPS 114566 WITH SCORE 114810.682
AT ITER 7194 NEW BEST:: SOT 604601 SOS 244531 HAS SOPS 235313 HAS SOUS 115669 HAS SOUPS 114540 WITH SCORE 114784.531
AT ITER 7196 NEW BEST:: SOT 604376 SOS 243899 HAS SOPS 234681 HAS SOUS 115665 HAS SOUPS 114536 WITH SCORE 114779.899
AT ITER 7202 NEW BEST:: SOT 604374 SOS 243895 HAS SOPS 234677 HAS SOUS 115661 HAS SOUPS 114532 WITH SCORE 114775.895
AT ITER 7205 NEW BEST:: SOT 604379 SOS 243911 HAS SOPS 234682 HAS SOUS 115649 HAS SOUPS 114520 WITH SCORE 114763.911
AT ITER 7244 NEW BEST:: SOT 604348 SOS 243942 HAS SOPS 234713 HAS SOUS 115587 HAS SOUPS 114458 WITH SCORE 114701.942
AT ITER 7254 NEW BEST:: SOT 604230 SOS 243998 HAS SOPS 234796 HAS SOUS 115547 HAS SOUPS 114418 WITH SCORE 114661.998
AT ITER 7308 NEW BEST:: SOT 604222 SOS 243994 HAS SOPS 234792 HAS SOUS 115535 HAS SOUPS 114406 WITH SCORE 114649.994
AT ITER 7319 NEW BEST:: SOT 604363 SOS 244326 HAS SOPS 235124 HAS SOUS 115496 HAS SOUPS 114367 WITH SCORE 114611.326
AT ITER 7359 NEW BEST:: SOT 604335 SOS 244187 HAS SOPS 234985 HAS SOUS 115461 HAS SOUPS 114332 WITH SCORE 114576.187
AT ITER 7375 NEW BEST:: SOT 604322 SOS 244167 HAS SOPS 234965 HAS SOUS 115447 HAS SOUPS 114318 WITH SCORE 114562.167
AT ITER 7410 NEW BEST:: SOT 604298 SOS 244157 HAS SOPS 234955 HAS SOUS 115437 HAS SOUPS 114308 WITH SCORE 114552.157
AT ITER 7417 NEW BEST:: SOT 604298 SOS 244004 HAS SOPS 234802 HAS SOUS 115416 HAS SOUPS 114287 WITH SCORE 114531.004
AT ITER 7478 NEW BEST:: SOT 604284 SOS 243990 HAS SOPS 234788 HAS SOUS 115402 HAS SOUPS 114273 WITH SCORE 114516.99
AT ITER 7486 NEW BEST:: SOT 604278 SOS 243984 HAS SOPS 234782 HAS SOUS 115390 HAS SOUPS 114261 WITH SCORE 114504.984
AT ITER 7504 NEW BEST:: SOT 604163 SOS 243888 HAS SOPS 234686 HAS SOUS 115344 HAS SOUPS 114215 WITH SCORE 114458.888
AT ITER 7514 NEW BEST:: SOT 604081 SOS 243724 HAS SOPS 234522 HAS SOUS 115180 HAS SOUPS 114051 WITH SCORE 114294.724
AT ITER 7556 NEW BEST:: SOT 604081 SOS 243724 HAS SOPS 234522 HAS SOUS 115175 HAS SOUPS 114046 WITH SCORE 114289.724
AT ITER 7581 NEW BEST:: SOT 604072 SOS 243559 HAS SOPS 234531 HAS SOUS 115166 HAS SOUPS 114046 WITH SCORE 114289.559
AT ITER 7583 NEW BEST:: SOT 604072 SOS 243559 HAS SOPS 234531 HAS SOUS 115160 HAS SOUPS 114040 WITH SCORE 114283.559
AT ITER 7610 NEW BEST:: SOT 604072 SOS 243559 HAS SOPS 234531 HAS SOUS 115133 HAS SOUPS 114013 WITH SCORE 114256.559
AT ITER 7645 NEW BEST:: SOT 604072 SOS 243528 HAS SOPS 234500 HAS SOUS 115133 HAS SOUPS 114013 WITH SCORE 114256.528
AT ITER 7658 NEW BEST:: SOT 604092 SOS 243517 HAS SOPS 234489 HAS SOUS 115122 HAS SOUPS 114002 WITH SCORE 114245.517
AT ITER 7661 NEW BEST:: SOT 604067 SOS 243462 HAS SOPS 234434 HAS SOUS 115075 HAS SOUPS 113955 WITH SCORE 114198.462
AT ITER 7687 NEW BEST:: SOT 604013 SOS 243406 HAS SOPS 234378 HAS SOUS 115040 HAS SOUPS 113920 WITH SCORE 114163.406
AT ITER 7694 NEW BEST:: SOT 603942 SOS 243318 HAS SOPS 234290 HAS SOUS 114982 HAS SOUPS 113862 WITH SCORE 114105.318
AT ITER 7713 NEW BEST:: SOT 603888 SOS 243350 HAS SOPS 234322 HAS SOUS 114960 HAS SOUPS 113840 WITH SCORE 114083.35
AT ITER 7734 NEW BEST:: SOT 603864 SOS 243302 HAS SOPS 234274 HAS SOUS 114960 HAS SOUPS 113840 WITH SCORE 114083.302
AT ITER 7823 NEW BEST:: SOT 603794 SOS 243232 HAS SOPS 234131 HAS SOUS 114800 HAS SOUPS 113680 WITH SCORE 113923.232
AT ITER 7834 NEW BEST:: SOT 603692 SOS 242802 HAS SOPS 233701 HAS SOUS 114596 HAS SOUPS 113476 WITH SCORE 113718.802
AT ITER 7841 NEW BEST:: SOT 603689 SOS 242796 HAS SOPS 233695 HAS SOUS 114593 HAS SOUPS 113473 WITH SCORE 113715.796
AT ITER 7892 NEW BEST:: SOT 603736 SOS 242843 HAS SOPS 233742 HAS SOUS 114554 HAS SOUPS 113434 WITH SCORE 113676.843
AT ITER 7911 NEW BEST:: SOT 603720 SOS 242827 HAS SOPS 233748 HAS SOUS 114531 HAS SOUPS 113433 WITH SCORE 113675.827
AT ITER 7925 NEW BEST:: SOT 603720 SOS 242820 HAS SOPS 233734 HAS SOUS 114524 HAS SOUPS 113426 WITH SCORE 113668.82
AT ITER 7931 NEW BEST:: SOT 603668 SOS 242768 HAS SOPS 233682 HAS SOUS 114380 HAS SOUPS 113282 WITH SCORE 113524.768
AT ITER 7935 NEW BEST:: SOT 603669 SOS 242769 HAS SOPS 233681 HAS SOUS 114379 HAS SOUPS 113280 WITH SCORE 113522.769
AT ITER 7982 NEW BEST:: SOT 603672 SOS 243022 HAS SOPS 233884 HAS SOUS 114357 HAS SOUPS 113258 WITH SCORE 113501.022
AT ITER 7998 NEW BEST:: SOT 603733 SOS 242962 HAS SOPS 233824 HAS SOUS 114343 HAS SOUPS 113244 WITH SCORE 113486.962
AT ITER 8000 NEW BEST:: SOT 603726 SOS 242924 HAS SOPS 233786 HAS SOUS 114331 HAS SOUPS 113232 WITH SCORE 113474.924
AT ITER 8020 NEW BEST:: SOT 603788 SOS 242926 HAS SOPS 233788 HAS SOUS 114258 HAS SOUPS 113159 WITH SCORE 113401.926
AT ITER 8026 NEW BEST:: SOT 603747 SOS 242803 HAS SOPS 233665 HAS SOUS 114258 HAS SOUPS 113159 WITH SCORE 113401.803
AT ITER 8048 NEW BEST:: SOT 603667 SOS 242723 HAS SOPS 233585 HAS SOUS 114173 HAS SOUPS 113074 WITH SCORE 113316.723
AT ITER 8058 NEW BEST:: SOT 603664 SOS 242720 HAS SOPS 233582 HAS SOUS 114167 HAS SOUPS 113068 WITH SCORE 113310.72
AT ITER 8095 NEW BEST:: SOT 603829 SOS 242862 HAS SOPS 233724 HAS SOUS 114101 HAS SOUPS 113002 WITH SCORE 113244.862
AT ITER 8107 NEW BEST:: SOT 603810 SOS 242824 HAS SOPS 233686 HAS SOUS 114063 HAS SOUPS 112964 WITH SCORE 113206.824
AT ITER 8111 NEW BEST:: SOT 603525 SOS 242516 HAS SOPS 233378 HAS SOUS 113966 HAS SOUPS 112867 WITH SCORE 113109.516
AT ITER 8134 NEW BEST:: SOT 603515 SOS 242496 HAS SOPS 233358 HAS SOUS 113956 HAS SOUPS 112857 WITH SCORE 113099.496
AT ITER 8135 NEW BEST:: SOT 603454 SOS 242556 HAS SOPS 233418 HAS SOUS 113938 HAS SOUPS 112839 WITH SCORE 113081.556
AT ITER 8154 NEW BEST:: SOT 603458 SOS 242549 HAS SOPS 233411 HAS SOUS 113931 HAS SOUPS 112832 WITH SCORE 113074.549
AT ITER 8159 NEW BEST:: SOT 602272 SOS 241363 HAS SOPS 232225 HAS SOUS 112619 HAS SOUPS 111520 WITH SCORE 111761.363
AT ITER 8235 NEW BEST:: SOT 602272 SOS 241384 HAS SOPS 232246 HAS SOUS 112609 HAS SOUPS 111510 WITH SCORE 111751.384
AT ITER 8259 NEW BEST:: SOT 601938 SOS 241020 HAS SOPS 231882 HAS SOUS 112228 HAS SOUPS 111129 WITH SCORE 111370.02
AT ITER 8283 NEW BEST:: SOT 601870 SOS 240952 HAS SOPS 231814 HAS SOUS 112194 HAS SOUPS 111095 WITH SCORE 111335.952
AT ITER 8299 NEW BEST:: SOT 601870 SOS 240952 HAS SOPS 231814 HAS SOUS 112182 HAS SOUPS 111083 WITH SCORE 111323.952
AT ITER 8301 NEW BEST:: SOT 602087 SOS 239433 HAS SOPS 230295 HAS SOUS 112117 HAS SOUPS 111018 WITH SCORE 111257.433
AT ITER 8323 NEW BEST:: SOT 602038 SOS 239465 HAS SOPS 230327 HAS SOUS 112062 HAS SOUPS 110963 WITH SCORE 111202.465
AT ITER 8340 NEW BEST:: SOT 602020 SOS 237347 HAS SOPS 228209 HAS SOUS 112029 HAS SOUPS 110930 WITH SCORE 111167.347
AT ITER 8355 NEW BEST:: SOT 602008 SOS 237331 HAS SOPS 228193 HAS SOUS 112005 HAS SOUPS 110906 WITH SCORE 111143.331
AT ITER 8359 NEW BEST:: SOT 602072 SOS 237349 HAS SOPS 228177 HAS SOUS 111989 HAS SOUPS 110890 WITH SCORE 111127.349
AT ITER 8397 NEW BEST:: SOT 602060 SOS 237325 HAS SOPS 228153 HAS SOUS 111965 HAS SOUPS 110866 WITH SCORE 111103.325
AT ITER 8410 NEW BEST:: SOT 602055 SOS 237323 HAS SOPS 228151 HAS SOUS 111963 HAS SOUPS 110864 WITH SCORE 111101.323
AT ITER 8425 NEW BEST:: SOT 602128 SOS 237671 HAS SOPS 228499 HAS SOUS 111893 HAS SOUPS 110794 WITH SCORE 111031.671
AT ITER 8442 NEW BEST:: SOT 602111 SOS 234976 HAS SOPS 225804 HAS SOUS 111839 HAS SOUPS 110740 WITH SCORE 110974.976
AT ITER 8472 NEW BEST:: SOT 602096 SOS 234946 HAS SOPS 225774 HAS SOUS 111809 HAS SOUPS 110710 WITH SCORE 110944.946
AT ITER 8483 NEW BEST:: SOT 602072 SOS 234898 HAS SOPS 225726 HAS SOUS 111761 HAS SOUPS 110662 WITH SCORE 110896.898
AT ITER 8502 NEW BEST:: SOT 602012 SOS 234891 HAS SOPS 225695 HAS SOUS 111696 HAS SOUPS 110597 WITH SCORE 110831.891
AT ITER 8505 NEW BEST:: SOT 602012 SOS 234799 HAS SOPS 225603 HAS SOUS 111696 HAS SOUPS 110597 WITH SCORE 110831.799
AT ITER 8520 NEW BEST:: SOT 602183 SOS 235148 HAS SOPS 225952 HAS SOUS 111640 HAS SOUPS 110541 WITH SCORE 110776.148
AT ITER 8564 NEW BEST:: SOT 602181 SOS 235144 HAS SOPS 225948 HAS SOUS 111636 HAS SOUPS 110537 WITH SCORE 110772.144
AT ITER 8609 NEW BEST:: SOT 602119 SOS 235005 HAS SOPS 225809 HAS SOUS 111512 HAS SOUPS 110413 WITH SCORE 110648.005
AT ITER 8640 NEW BEST:: SOT 602108 SOS 235007 HAS SOPS 225811 HAS SOUS 111511 HAS SOUPS 110412 WITH SCORE 110647.007
AT ITER 8663 NEW BEST:: SOT 602101 SOS 235042 HAS SOPS 225846 HAS SOUS 111504 HAS SOUPS 110405 WITH SCORE 110640.042
AT ITER 8667 NEW BEST:: SOT 602065 SOS 234873 HAS SOPS 225677 HAS SOUS 111467 HAS SOUPS 110368 WITH SCORE 110602.873
AT ITER 8699 NEW BEST:: SOT 601999 SOS 235208 HAS SOPS 226012 HAS SOUS 111401 HAS SOUPS 110302 WITH SCORE 110537.208
AT ITER 8704 NEW BEST:: SOT 601938 SOS 235147 HAS SOPS 225951 HAS SOUS 111363 HAS SOUPS 110264 WITH SCORE 110499.147
AT ITER 8712 NEW BEST:: SOT 601848 SOS 235057 HAS SOPS 225861 HAS SOUS 111229 HAS SOUPS 110130 WITH SCORE 110365.057
AT ITER 8717 NEW BEST:: SOT 601803 SOS 233538 HAS SOPS 224342 HAS SOUS 111071 HAS SOUPS 109972 WITH SCORE 110205.538
AT ITER 8747 NEW BEST:: SOT 601779 SOS 233540 HAS SOPS 224344 HAS SOUS 111052 HAS SOUPS 109953 WITH SCORE 110186.54
AT ITER 8749 NEW BEST:: SOT 601638 SOS 233264 HAS SOPS 224182 HAS SOUS 111040 HAS SOUPS 109941 WITH SCORE 110174.264
AT ITER 8767 NEW BEST:: SOT 601638 SOS 233294 HAS SOPS 224212 HAS SOUS 111039 HAS SOUPS 109940 WITH SCORE 110173.294
AT ITER 8777 NEW BEST:: SOT 601706 SOS 233362 HAS SOPS 224233 HAS SOUS 110897 HAS SOUPS 109798 WITH SCORE 110031.362
AT ITER 8790 NEW BEST:: SOT 601620 SOS 233276 HAS SOPS 224147 HAS SOUS 110811 HAS SOUPS 109712 WITH SCORE 109945.276
AT ITER 8808 NEW BEST:: SOT 601536 SOS 233112 HAS SOPS 223983 HAS SOUS 110645 HAS SOUPS 109546 WITH SCORE 109779.112
AT ITER 8836 NEW BEST:: SOT 601535 SOS 233111 HAS SOPS 223975 HAS SOUS 110636 HAS SOUPS 109537 WITH SCORE 109770.111
AT ITER 8840 NEW BEST:: SOT 601525 SOS 233235 HAS SOPS 224099 HAS SOUS 110616 HAS SOUPS 109517 WITH SCORE 109750.235
AT ITER 8856 NEW BEST:: SOT 601509 SOS 233203 HAS SOPS 224067 HAS SOUS 110584 HAS SOUPS 109485 WITH SCORE 109718.203
AT ITER 8859 NEW BEST:: SOT 601469 SOS 233123 HAS SOPS 223987 HAS SOUS 110504 HAS SOUPS 109405 WITH SCORE 109638.123
AT ITER 8862 NEW BEST:: SOT 601226 SOS 232792 HAS SOPS 223656 HAS SOUS 110018 HAS SOUPS 108919 WITH SCORE 109151.792
AT ITER 8865 NEW BEST:: SOT 601216 SOS 232782 HAS SOPS 223663 HAS SOUS 109998 HAS SOUPS 108899 WITH SCORE 109131.782
AT ITER 8901 NEW BEST:: SOT 601216 SOS 232782 HAS SOPS 223647 HAS SOUS 109966 HAS SOUPS 108867 WITH SCORE 109099.782
AT ITER 8908 NEW BEST:: SOT 601139 SOS 232705 HAS SOPS 223570 HAS SOUS 109889 HAS SOUPS 108790 WITH SCORE 109022.705
AT ITER 9014 NEW BEST:: SOT 601109 SOS 232675 HAS SOPS 223540 HAS SOUS 109859 HAS SOUPS 108760 WITH SCORE 108992.675
AT ITER 9017 NEW BEST:: SOT 601068 SOS 232675 HAS SOPS 223540 HAS SOUS 109695 HAS SOUPS 108596 WITH SCORE 108828.675
AT ITER 9031 NEW BEST:: SOT 601092 SOS 232635 HAS SOPS 223468 HAS SOUS 109651 HAS SOUPS 108552 WITH SCORE 108784.635
AT ITER 9041 NEW BEST:: SOT 601123 SOS 232603 HAS SOPS 223413 HAS SOUS 109606 HAS SOUPS 108507 WITH SCORE 108739.603
AT ITER 9085 NEW BEST:: SOT 601103 SOS 232563 HAS SOPS 223373 HAS SOUS 109566 HAS SOUPS 108467 WITH SCORE 108699.563
AT ITER 9098 NEW BEST:: SOT 601103 SOS 232055 HAS SOPS 222865 HAS SOUS 109548 HAS SOUPS 108449 WITH SCORE 108681.055
AT ITER 9159 NEW BEST:: SOT 601102 SOS 232054 HAS SOPS 222864 HAS SOUS 109546 HAS SOUPS 108447 WITH SCORE 108679.054
AT ITER 9160 NEW BEST:: SOT 601187 SOS 232207 HAS SOPS 222993 HAS SOUS 109504 HAS SOUPS 108405 WITH SCORE 108637.207
AT ITER 9173 NEW BEST:: SOT 601180 SOS 232193 HAS SOPS 222979 HAS SOUS 109490 HAS SOUPS 108391 WITH SCORE 108623.193
AT ITER 9192 NEW BEST:: SOT 601180 SOS 232157 HAS SOPS 222943 HAS SOUS 109481 HAS SOUPS 108382 WITH SCORE 108614.157
AT ITER 9209 NEW BEST:: SOT 601152 SOS 232137 HAS SOPS 222923 HAS SOUS 109461 HAS SOUPS 108362 WITH SCORE 108594.137
AT ITER 9216 NEW BEST:: SOT 601093 SOS 232089 HAS SOPS 222898 HAS SOUS 109431 HAS SOUPS 108332 WITH SCORE 108564.089
AT ITER 9229 NEW BEST:: SOT 601033 SOS 232029 HAS SOPS 222838 HAS SOUS 109298 HAS SOUPS 108199 WITH SCORE 108431.029
AT ITER 9230 NEW BEST:: SOT 601028 SOS 232024 HAS SOPS 222838 HAS SOUS 109293 HAS SOUPS 108194 WITH SCORE 108426.024
AT ITER 9258 NEW BEST:: SOT 600943 SOS 231824 HAS SOPS 222638 HAS SOUS 109225 HAS SOUPS 108126 WITH SCORE 108357.824
AT ITER 9266 NEW BEST:: SOT 600935 SOS 231584 HAS SOPS 222398 HAS SOUS 109209 HAS SOUPS 108110 WITH SCORE 108341.584
AT ITER 9280 NEW BEST:: SOT 600934 SOS 231582 HAS SOPS 222396 HAS SOUS 109207 HAS SOUPS 108108 WITH SCORE 108339.582
AT ITER 9314 NEW BEST:: SOT 600932 SOS 231578 HAS SOPS 222393 HAS SOUS 109205 HAS SOUPS 108106 WITH SCORE 108337.578
AT ITER 9324 NEW BEST:: SOT 600872 SOS 231363 HAS SOPS 222178 HAS SOUS 109135 HAS SOUPS 108036 WITH SCORE 108267.363
AT ITER 9371 NEW BEST:: SOT 600774 SOS 231314 HAS SOPS 222129 HAS SOUS 109073 HAS SOUPS 107974 WITH SCORE 108205.314
AT ITER 9379 NEW BEST:: SOT 600752 SOS 231314 HAS SOPS 222129 HAS SOUS 108985 HAS SOUPS 107886 WITH SCORE 108117.314
AT ITER 9388 NEW BEST:: SOT 600574 SOS 231104 HAS SOPS 221919 HAS SOUS 108658 HAS SOUPS 107559 WITH SCORE 107790.104
AT ITER 9395 NEW BEST:: SOT 600510 SOS 231029 HAS SOPS 221844 HAS SOUS 108593 HAS SOUPS 107494 WITH SCORE 107725.029
AT ITER 9403 NEW BEST:: SOT 600439 SOS 230800 HAS SOPS 221615 HAS SOUS 108593 HAS SOUPS 107494 WITH SCORE 107724.8
AT ITER 9406 NEW BEST:: SOT 600439 SOS 230779 HAS SOPS 221594 HAS SOUS 108572 HAS SOUPS 107473 WITH SCORE 107703.779
AT ITER 9480 NEW BEST:: SOT 600401 SOS 230722 HAS SOPS 221537 HAS SOUS 108534 HAS SOUPS 107435 WITH SCORE 107665.722
AT ITER 9515 NEW BEST:: SOT 600433 SOS 230715 HAS SOPS 221518 HAS SOUS 108527 HAS SOUPS 107416 WITH SCORE 107646.715
AT ITER 9517 NEW BEST:: SOT 600429 SOS 230719 HAS SOPS 221522 HAS SOUS 108523 HAS SOUPS 107412 WITH SCORE 107642.719
AT ITER 9549 NEW BEST:: SOT 600466 SOS 230728 HAS SOPS 221531 HAS SOUS 108516 HAS SOUPS 107405 WITH SCORE 107635.728
AT ITER 9584 NEW BEST:: SOT 600415 SOS 230677 HAS SOPS 221480 HAS SOUS 108465 HAS SOUPS 107354 WITH SCORE 107584.677
AT ITER 9585 NEW BEST:: SOT 600407 SOS 230669 HAS SOPS 221472 HAS SOUS 108449 HAS SOUPS 107338 WITH SCORE 107568.669
AT ITER 9605 NEW BEST:: SOT 600440 SOS 230702 HAS SOPS 221505 HAS SOUS 108413 HAS SOUPS 107302 WITH SCORE 107532.702
AT ITER 9616 NEW BEST:: SOT 600435 SOS 230796 HAS SOPS 221599 HAS SOUS 108403 HAS SOUPS 107292 WITH SCORE 107522.796
AT ITER 9623 NEW BEST:: SOT 600422 SOS 230750 HAS SOPS 221553 HAS SOUS 108377 HAS SOUPS 107266 WITH SCORE 107496.75
AT ITER 9659 NEW BEST:: SOT 600421 SOS 230748 HAS SOPS 221551 HAS SOUS 108375 HAS SOUPS 107264 WITH SCORE 107494.748
AT ITER 9681 NEW BEST:: SOT 600415 SOS 230742 HAS SOPS 221545 HAS SOUS 108363 HAS SOUPS 107252 WITH SCORE 107482.742
AT ITER 9686 NEW BEST:: SOT 600412 SOS 230739 HAS SOPS 221542 HAS SOUS 108333 HAS SOUPS 107222 WITH SCORE 107452.739
AT ITER 9700 NEW BEST:: SOT 600320 SOS 230647 HAS SOPS 221450 HAS SOUS 108149 HAS SOUPS 107038 WITH SCORE 107268.647
AT ITER 9706 NEW BEST:: SOT 600320 SOS 230622 HAS SOPS 221425 HAS SOUS 108149 HAS SOUPS 107038 WITH SCORE 107268.622
AT ITER 9714 NEW BEST:: SOT 600257 SOS 230196 HAS SOPS 220999 HAS SOUS 108082 HAS SOUPS 106971 WITH SCORE 107201.196
AT ITER 9722 NEW BEST:: SOT 600137 SOS 229956 HAS SOPS 220759 HAS SOUS 107957 HAS SOUPS 106846 WITH SCORE 107075.956
AT ITER 9729 NEW BEST:: SOT 600132 SOS 229951 HAS SOPS 220754 HAS SOUS 107947 HAS SOUPS 106836 WITH SCORE 107065.951
AT ITER 9796 NEW BEST:: SOT 600123 SOS 229942 HAS SOPS 220736 HAS SOUS 107920 HAS SOUPS 106809 WITH SCORE 107038.942
AT ITER 9798 NEW BEST:: SOT 600119 SOS 229934 HAS SOPS 220728 HAS SOUS 107920 HAS SOUPS 106809 WITH SCORE 107038.934
AT ITER 9802 NEW BEST:: SOT 600119 SOS 229934 HAS SOPS 220728 HAS SOUS 107919 HAS SOUPS 106808 WITH SCORE 107037.934
AT ITER 9824 NEW BEST:: SOT 600141 SOS 229877 HAS SOPS 220671 HAS SOUS 107916 HAS SOUPS 106805 WITH SCORE 107034.877
AT ITER 9848 NEW BEST:: SOT 600053 SOS 229840 HAS SOPS 220634 HAS SOUS 107889 HAS SOUPS 106778 WITH SCORE 107007.84
AT ITER 9849 NEW BEST:: SOT 599996 SOS 229699 HAS SOPS 220493 HAS SOUS 107831 HAS SOUPS 106720 WITH SCORE 106949.699
AT ITER 9858 NEW BEST:: SOT 600011 SOS 230639 HAS SOPS 221433 HAS SOUS 107606 HAS SOUPS 106495 WITH SCORE 106725.639
AT ITER 9869 NEW BEST:: SOT 600000 SOS 230577 HAS SOPS 221371 HAS SOUS 107584 HAS SOUPS 106473 WITH SCORE 106703.577
AT ITER 9889 NEW BEST:: SOT 599919 SOS 230470 HAS SOPS 221264 HAS SOUS 107452 HAS SOUPS 106341 WITH SCORE 106571.47
AT ITER 9891 NEW BEST:: SOT 599912 SOS 230463 HAS SOPS 221273 HAS SOUS 107430 HAS SOUPS 106327 WITH SCORE 106557.463
AT ITER 9898 NEW BEST:: SOT 599872 SOS 230418 HAS SOPS 221232 HAS SOUS 107390 HAS SOUPS 106287 WITH SCORE 106517.418
AT ITER 9944 NEW BEST:: SOT 599872 SOS 230418 HAS SOPS 221232 HAS SOUS 107338 HAS SOUPS 106235 WITH SCORE 106465.418
AT ITER 9945 NEW BEST:: SOT 599870 SOS 230416 HAS SOPS 221230 HAS SOUS 107320 HAS SOUPS 106217 WITH SCORE 106447.416
AT ITER 9949 NEW BEST:: SOT 599955 SOS 230331 HAS SOPS 221145 HAS SOUS 107320 HAS SOUPS 106217 WITH SCORE 106447.331
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 9025908 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16122652 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

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