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

About the Execution of Smart+red for Referendum-COL-0200

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
5474.483 3600000.00 3635543.00 9232.00 [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.r331-tall-167889204500448.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 Referendum-COL-0200, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204500448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 7.4K Feb 26 17:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 17:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 17:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 17:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 18:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 26 18:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K Feb 26 17:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 11K 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 1679145465081

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=Referendum-COL-0200
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 13:17:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 13:17:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 13:17:47] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-18 13:17:47] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 13:17:47] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 688 ms
[2023-03-18 13:17:47] [INFO ] Imported 4 HL places and 3 HL transitions for a total of 601 PT places and 401.0 transition bindings in 14 ms.
[2023-03-18 13:17:47] [INFO ] Unfolded HLPN to a Petri net with 601 places and 401 transitions 1001 arcs in 17 ms.
[2023-03-18 13:17:47] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-18 13:17:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 601 places, 401 transitions and 1001 arcs took 6 ms.
Total runtime 824 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Referendum (COL), instance 0200
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: 601 places, 401 transitions, 1001 arcs.
AT ITER 0 NEW BEST:: SOT 200005 SOS 119407 HAS SOPS 119407 HAS SOUS 119407 HAS SOUPS 119407 WITH SCORE 119526.407
AT ITER 7 NEW BEST:: SOT 199663 SOS 119151 HAS SOPS 119151 HAS SOUS 119151 HAS SOUPS 119151 WITH SCORE 119270.151
AT ITER 9 NEW BEST:: SOT 199252 SOS 118867 HAS SOPS 118867 HAS SOUS 118766 HAS SOUPS 118766 WITH SCORE 118884.867
AT ITER 10 NEW BEST:: SOT 198604 SOS 117933 HAS SOPS 117933 HAS SOUS 117832 HAS SOUPS 117832 WITH SCORE 117949.933
AT ITER 13 NEW BEST:: SOT 198526 SOS 117816 HAS SOPS 117816 HAS SOUS 117715 HAS SOUPS 117715 WITH SCORE 117832.816
AT ITER 14 NEW BEST:: SOT 197950 SOS 116954 HAS SOPS 116954 HAS SOUS 116853 HAS SOUPS 116853 WITH SCORE 116969.954
AT ITER 18 NEW BEST:: SOT 197613 SOS 116690 HAS SOPS 116690 HAS SOUS 116459 HAS SOUPS 116459 WITH SCORE 116575.69
AT ITER 20 NEW BEST:: SOT 197059 SOS 115859 HAS SOPS 115859 HAS SOUS 115628 HAS SOUPS 115628 WITH SCORE 115743.859
AT ITER 26 NEW BEST:: SOT 196727 SOS 115423 HAS SOPS 115423 HAS SOUS 115192 HAS SOUPS 115192 WITH SCORE 115307.423
AT ITER 28 NEW BEST:: SOT 196270 SOS 114799 HAS SOPS 114799 HAS SOUS 114568 HAS SOUPS 114568 WITH SCORE 114682.799
AT ITER 30 NEW BEST:: SOT 195933 SOS 114363 HAS SOPS 114363 HAS SOUS 114132 HAS SOUPS 114132 WITH SCORE 114246.363
AT ITER 31 NEW BEST:: SOT 195606 SOS 113935 HAS SOPS 113935 HAS SOUS 113704 HAS SOUPS 113704 WITH SCORE 113817.935
AT ITER 33 NEW BEST:: SOT 195296 SOS 113521 HAS SOPS 113521 HAS SOUS 113290 HAS SOUPS 113290 WITH SCORE 113403.521
AT ITER 35 NEW BEST:: SOT 194919 SOS 113163 HAS SOPS 113163 HAS SOUS 112872 HAS SOUPS 112872 WITH SCORE 112985.163
AT ITER 36 NEW BEST:: SOT 194355 SOS 112547 HAS SOPS 112547 HAS SOUS 112239 HAS SOUPS 112239 WITH SCORE 112351.547
AT ITER 40 NEW BEST:: SOT 193990 SOS 112083 HAS SOPS 112083 HAS SOUS 111775 HAS SOUPS 111775 WITH SCORE 111887.083
AT ITER 42 NEW BEST:: SOT 193990 SOS 112004 HAS SOPS 112004 HAS SOUS 111775 HAS SOUPS 111775 WITH SCORE 111887.004
AT ITER 45 NEW BEST:: SOT 193964 SOS 111965 HAS SOPS 111965 HAS SOUS 111736 HAS SOUPS 111736 WITH SCORE 111847.965
AT ITER 46 NEW BEST:: SOT 193950 SOS 111951 HAS SOPS 111951 HAS SOUS 111722 HAS SOUPS 111722 WITH SCORE 111833.951
AT ITER 47 NEW BEST:: SOT 193375 SOS 111091 HAS SOPS 111091 HAS SOUS 110862 HAS SOUPS 110862 WITH SCORE 110973.091
AT ITER 51 NEW BEST:: SOT 193027 SOS 110737 HAS SOPS 110737 HAS SOUS 110468 HAS SOUPS 110468 WITH SCORE 110578.737
AT ITER 52 NEW BEST:: SOT 192268 SOS 109773 HAS SOPS 109773 HAS SOUS 109486 HAS SOUPS 109486 WITH SCORE 109595.773
AT ITER 54 NEW BEST:: SOT 191715 SOS 109047 HAS SOPS 109047 HAS SOUS 108760 HAS SOUPS 108760 WITH SCORE 108869.047
AT ITER 55 NEW BEST:: SOT 191121 SOS 108238 HAS SOPS 108238 HAS SOUS 107951 HAS SOUPS 107951 WITH SCORE 108059.238
AT ITER 60 NEW BEST:: SOT 190832 SOS 107949 HAS SOPS 107949 HAS SOUS 107662 HAS SOUPS 107662 WITH SCORE 107769.949
AT ITER 66 NEW BEST:: SOT 190736 SOS 107757 HAS SOPS 107757 HAS SOUS 107470 HAS SOUPS 107470 WITH SCORE 107577.757
AT ITER 67 NEW BEST:: SOT 189974 SOS 106704 HAS SOPS 106704 HAS SOUS 106417 HAS SOUPS 106417 WITH SCORE 106523.704
AT ITER 68 NEW BEST:: SOT 189569 SOS 106329 HAS SOPS 106329 HAS SOUS 105913 HAS SOUPS 105913 WITH SCORE 106019.329
AT ITER 74 NEW BEST:: SOT 189448 SOS 106087 HAS SOPS 106087 HAS SOUS 105671 HAS SOUPS 105671 WITH SCORE 105777.087
AT ITER 76 NEW BEST:: SOT 189081 SOS 105619 HAS SOPS 105619 HAS SOUS 105203 HAS SOUPS 105203 WITH SCORE 105308.619
AT ITER 79 NEW BEST:: SOT 188967 SOS 105559 HAS SOPS 105559 HAS SOUS 105089 HAS SOUPS 105089 WITH SCORE 105194.559
AT ITER 81 NEW BEST:: SOT 188489 SOS 104842 HAS SOPS 104842 HAS SOUS 104372 HAS SOUPS 104372 WITH SCORE 104476.842
AT ITER 83 NEW BEST:: SOT 188203 SOS 104452 HAS SOPS 104452 HAS SOUS 103982 HAS SOUPS 103982 WITH SCORE 104086.452
AT ITER 85 NEW BEST:: SOT 188201 SOS 104448 HAS SOPS 104448 HAS SOUS 103978 HAS SOUPS 103978 WITH SCORE 104082.448
AT ITER 87 NEW BEST:: SOT 187524 SOS 103477 HAS SOPS 103477 HAS SOUS 103007 HAS SOUPS 103007 WITH SCORE 103110.477
AT ITER 88 NEW BEST:: SOT 187127 SOS 102994 HAS SOPS 102994 HAS SOUS 102511 HAS SOUPS 102511 WITH SCORE 102613.994
AT ITER 90 NEW BEST:: SOT 187017 SOS 102924 HAS SOPS 102924 HAS SOUS 102401 HAS SOUPS 102401 WITH SCORE 102503.924
AT ITER 91 NEW BEST:: SOT 186429 SOS 102143 HAS SOPS 102143 HAS SOUS 101620 HAS SOUPS 101620 WITH SCORE 101722.143
AT ITER 96 NEW BEST:: SOT 186057 SOS 101808 HAS SOPS 101808 HAS SOUS 101162 HAS SOUPS 101162 WITH SCORE 101263.808
AT ITER 97 NEW BEST:: SOT 185701 SOS 101511 HAS SOPS 101511 HAS SOUS 100729 HAS SOUPS 100729 WITH SCORE 100830.511
AT ITER 99 NEW BEST:: SOT 185372 SOS 101305 HAS SOPS 101305 HAS SOUS 100367 HAS SOUPS 100367 WITH SCORE 100468.305
AT ITER 101 NEW BEST:: SOT 184634 SOS 100276 HAS SOPS 100276 HAS SOUS 99338 HAS SOUPS 99338 WITH SCORE 99438.276
AT ITER 103 NEW BEST:: SOT 184648 SOS 100111 HAS SOPS 100111 HAS SOUS 99213 HAS SOUPS 99213 WITH SCORE 99313.111
AT ITER 106 NEW BEST:: SOT 184626 SOS 100089 HAS SOPS 100089 HAS SOUS 99191 HAS SOUPS 99191 WITH SCORE 99291.089
AT ITER 108 NEW BEST:: SOT 184502 SOS 99841 HAS SOPS 99841 HAS SOUS 98943 HAS SOUPS 98943 WITH SCORE 99042.841
AT ITER 109 NEW BEST:: SOT 184356 SOS 99676 HAS SOPS 99676 HAS SOUS 98778 HAS SOUPS 98778 WITH SCORE 98877.676
AT ITER 117 NEW BEST:: SOT 183947 SOS 99307 HAS SOPS 99307 HAS SOUS 98264 HAS SOUPS 98264 WITH SCORE 98363.307
AT ITER 118 NEW BEST:: SOT 183369 SOS 98440 HAS SOPS 98440 HAS SOUS 97397 HAS SOUPS 97397 WITH SCORE 97495.44
AT ITER 119 NEW BEST:: SOT 183257 SOS 98272 HAS SOPS 98272 HAS SOUS 97229 HAS SOUPS 97229 WITH SCORE 97327.272
AT ITER 120 NEW BEST:: SOT 183164 SOS 98086 HAS SOPS 98086 HAS SOUS 97043 HAS SOUPS 97043 WITH SCORE 97141.086
AT ITER 122 NEW BEST:: SOT 182853 SOS 97782 HAS SOPS 97782 HAS SOUS 96739 HAS SOUPS 96739 WITH SCORE 96836.782
AT ITER 126 NEW BEST:: SOT 182676 SOS 97428 HAS SOPS 97428 HAS SOUS 96385 HAS SOUPS 96385 WITH SCORE 96482.428
AT ITER 128 NEW BEST:: SOT 182598 SOS 97311 HAS SOPS 97311 HAS SOUS 96268 HAS SOUPS 96268 WITH SCORE 96365.311
AT ITER 129 NEW BEST:: SOT 182484 SOS 97140 HAS SOPS 97140 HAS SOUS 96097 HAS SOUPS 96097 WITH SCORE 96194.14
AT ITER 132 NEW BEST:: SOT 182307 SOS 97138 HAS SOPS 97138 HAS SOUS 96095 HAS SOUPS 96095 WITH SCORE 96192.138
AT ITER 133 NEW BEST:: SOT 182205 SOS 97132 HAS SOPS 97132 HAS SOUS 96089 HAS SOUPS 96089 WITH SCORE 96186.132
AT ITER 134 NEW BEST:: SOT 182171 SOS 97064 HAS SOPS 97064 HAS SOUS 95908 HAS SOUPS 95908 WITH SCORE 96005.064
AT ITER 138 NEW BEST:: SOT 181983 SOS 97102 HAS SOPS 97102 HAS SOUS 95618 HAS SOUPS 95618 WITH SCORE 95715.102
AT ITER 140 NEW BEST:: SOT 181957 SOS 97050 HAS SOPS 97050 HAS SOUS 95566 HAS SOUPS 95566 WITH SCORE 95663.05
AT ITER 141 NEW BEST:: SOT 181368 SOS 96209 HAS SOPS 96209 HAS SOUS 94725 HAS SOUPS 94725 WITH SCORE 94821.209
AT ITER 143 NEW BEST:: SOT 181219 SOS 96095 HAS SOPS 96095 HAS SOUS 94611 HAS SOUPS 94611 WITH SCORE 94707.095
AT ITER 144 NEW BEST:: SOT 181001 SOS 95827 HAS SOPS 95827 HAS SOUS 94343 HAS SOUPS 94343 WITH SCORE 94438.827
AT ITER 148 NEW BEST:: SOT 180950 SOS 95725 HAS SOPS 95725 HAS SOUS 94241 HAS SOUPS 94241 WITH SCORE 94336.725
AT ITER 149 NEW BEST:: SOT 180578 SOS 95248 HAS SOPS 95248 HAS SOUS 93764 HAS SOUPS 93764 WITH SCORE 93859.248
AT ITER 151 NEW BEST:: SOT 180385 SOS 95053 HAS SOPS 95053 HAS SOUS 93568 HAS SOUPS 93568 WITH SCORE 93663.053
AT ITER 153 NEW BEST:: SOT 179796 SOS 94242 HAS SOPS 94242 HAS SOUS 92757 HAS SOUPS 92757 WITH SCORE 92851.242
AT ITER 154 NEW BEST:: SOT 179274 SOS 93605 HAS SOPS 93605 HAS SOUS 92052 HAS SOUPS 92052 WITH SCORE 92145.605
AT ITER 157 NEW BEST:: SOT 179026 SOS 93255 HAS SOPS 93255 HAS SOUS 91702 HAS SOUPS 91702 WITH SCORE 91795.255
AT ITER 158 NEW BEST:: SOT 178252 SOS 92204 HAS SOPS 92204 HAS SOUS 90644 HAS SOUPS 90644 WITH SCORE 90736.204
AT ITER 160 NEW BEST:: SOT 177873 SOS 91859 HAS SOPS 91859 HAS SOUS 90191 HAS SOUPS 90191 WITH SCORE 90282.859
AT ITER 161 NEW BEST:: SOT 177279 SOS 91023 HAS SOPS 91023 HAS SOUS 89355 HAS SOUPS 89355 WITH SCORE 89446.023
AT ITER 164 NEW BEST:: SOT 177191 SOS 90847 HAS SOPS 90847 HAS SOUS 89179 HAS SOUPS 89179 WITH SCORE 89269.847
AT ITER 167 NEW BEST:: SOT 176788 SOS 90446 HAS SOPS 90446 HAS SOUS 88778 HAS SOUPS 88778 WITH SCORE 88868.446
AT ITER 169 NEW BEST:: SOT 176740 SOS 90350 HAS SOPS 90350 HAS SOUS 88682 HAS SOUPS 88682 WITH SCORE 88772.35
AT ITER 171 NEW BEST:: SOT 176333 SOS 89933 HAS SOPS 89933 HAS SOUS 88171 HAS SOUPS 88171 WITH SCORE 88260.933
AT ITER 173 NEW BEST:: SOT 176313 SOS 89913 HAS SOPS 89913 HAS SOUS 88151 HAS SOUPS 88151 WITH SCORE 88240.913
AT ITER 174 NEW BEST:: SOT 176142 SOS 89874 HAS SOPS 89874 HAS SOUS 87914 HAS SOUPS 87914 WITH SCORE 88003.874
AT ITER 177 NEW BEST:: SOT 175920 SOS 89541 HAS SOPS 89541 HAS SOUS 87581 HAS SOUPS 87581 WITH SCORE 87670.541
AT ITER 182 NEW BEST:: SOT 175322 SOS 88729 HAS SOPS 88729 HAS SOUS 86769 HAS SOUPS 86769 WITH SCORE 86857.729
AT ITER 185 NEW BEST:: SOT 175279 SOS 88643 HAS SOPS 88643 HAS SOUS 86683 HAS SOUPS 86683 WITH SCORE 86771.643
AT ITER 186 NEW BEST:: SOT 175200 SOS 88485 HAS SOPS 88485 HAS SOUS 86593 HAS SOUPS 86593 WITH SCORE 86681.485
AT ITER 189 NEW BEST:: SOT 175064 SOS 88213 HAS SOPS 88213 HAS SOUS 86457 HAS SOUPS 86457 WITH SCORE 86545.213
AT ITER 190 NEW BEST:: SOT 174942 SOS 87969 HAS SOPS 87969 HAS SOUS 86213 HAS SOUPS 86213 WITH SCORE 86300.969
AT ITER 195 NEW BEST:: SOT 174841 SOS 88062 HAS SOPS 88062 HAS SOUS 86112 HAS SOUPS 86112 WITH SCORE 86200.062
AT ITER 198 NEW BEST:: SOT 174809 SOS 88174 HAS SOPS 88174 HAS SOUS 86080 HAS SOUPS 86080 WITH SCORE 86168.174
AT ITER 200 NEW BEST:: SOT 174704 SOS 87964 HAS SOPS 87964 HAS SOUS 85870 HAS SOUPS 85870 WITH SCORE 85957.964
AT ITER 203 NEW BEST:: SOT 174511 SOS 87771 HAS SOPS 87771 HAS SOUS 85677 HAS SOUPS 85677 WITH SCORE 85764.771
AT ITER 205 NEW BEST:: SOT 174372 SOS 87493 HAS SOPS 87493 HAS SOUS 85399 HAS SOUPS 85399 WITH SCORE 85486.493
AT ITER 207 NEW BEST:: SOT 174350 SOS 87449 HAS SOPS 87449 HAS SOUS 85355 HAS SOUPS 85355 WITH SCORE 85442.449
AT ITER 218 NEW BEST:: SOT 174204 SOS 87157 HAS SOPS 87157 HAS SOUS 85063 HAS SOUPS 85063 WITH SCORE 85150.157
AT ITER 223 NEW BEST:: SOT 174006 SOS 86761 HAS SOPS 86761 HAS SOUS 84865 HAS SOUPS 84865 WITH SCORE 84951.761
AT ITER 225 NEW BEST:: SOT 173766 SOS 86281 HAS SOPS 86281 HAS SOUS 84516 HAS SOUPS 84516 WITH SCORE 84602.281
AT ITER 226 NEW BEST:: SOT 173482 SOS 86094 HAS SOPS 86094 HAS SOUS 84196 HAS SOUPS 84196 WITH SCORE 84282.094
AT ITER 227 NEW BEST:: SOT 172761 SOS 85208 HAS SOPS 85208 HAS SOUS 83248 HAS SOUPS 83248 WITH SCORE 83333.208
AT ITER 229 NEW BEST:: SOT 172716 SOS 85118 HAS SOPS 85118 HAS SOUS 83158 HAS SOUPS 83158 WITH SCORE 83243.118
AT ITER 231 NEW BEST:: SOT 172524 SOS 84830 HAS SOPS 84830 HAS SOUS 82870 HAS SOUPS 82870 WITH SCORE 82954.83
AT ITER 232 NEW BEST:: SOT 172428 SOS 84696 HAS SOPS 84696 HAS SOUS 82736 HAS SOUPS 82736 WITH SCORE 82820.696
AT ITER 238 NEW BEST:: SOT 172246 SOS 84736 HAS SOPS 84736 HAS SOUS 82660 HAS SOUPS 82660 WITH SCORE 82744.736
AT ITER 240 NEW BEST:: SOT 172152 SOS 84669 HAS SOPS 84669 HAS SOUS 82593 HAS SOUPS 82593 WITH SCORE 82677.669
AT ITER 245 NEW BEST:: SOT 172050 SOS 84465 HAS SOPS 84465 HAS SOUS 82389 HAS SOUPS 82389 WITH SCORE 82473.465
AT ITER 246 NEW BEST:: SOT 171651 SOS 84033 HAS SOPS 84033 HAS SOUS 81890 HAS SOUPS 81890 WITH SCORE 81974.033
AT ITER 248 NEW BEST:: SOT 171570 SOS 83952 HAS SOPS 83952 HAS SOUS 81809 HAS SOUPS 81809 WITH SCORE 81892.952
AT ITER 250 NEW BEST:: SOT 171296 SOS 83731 HAS SOPS 83731 HAS SOUS 81587 HAS SOUPS 81587 WITH SCORE 81670.731
AT ITER 252 NEW BEST:: SOT 171239 SOS 83617 HAS SOPS 83617 HAS SOUS 81473 HAS SOUPS 81473 WITH SCORE 81556.617
AT ITER 253 NEW BEST:: SOT 171198 SOS 83535 HAS SOPS 83535 HAS SOUS 81391 HAS SOUPS 81391 WITH SCORE 81474.535
AT ITER 255 NEW BEST:: SOT 171174 SOS 83316 HAS SOPS 83316 HAS SOUS 81367 HAS SOUPS 81367 WITH SCORE 81450.316
AT ITER 256 NEW BEST:: SOT 170827 SOS 82864 HAS SOPS 82864 HAS SOUS 80915 HAS SOUPS 80915 WITH SCORE 80997.864
AT ITER 263 NEW BEST:: SOT 170542 SOS 82789 HAS SOPS 82789 HAS SOUS 80636 HAS SOUPS 80636 WITH SCORE 80718.789
AT ITER 265 NEW BEST:: SOT 170284 SOS 82429 HAS SOPS 82429 HAS SOUS 80276 HAS SOUPS 80276 WITH SCORE 80358.429
AT ITER 269 NEW BEST:: SOT 170194 SOS 82657 HAS SOPS 82657 HAS SOUS 80188 HAS SOUPS 80188 WITH SCORE 80270.657
AT ITER 270 NEW BEST:: SOT 170097 SOS 82366 HAS SOPS 82366 HAS SOUS 80091 HAS SOUPS 80091 WITH SCORE 80173.366
AT ITER 272 NEW BEST:: SOT 170004 SOS 82180 HAS SOPS 82180 HAS SOUS 79905 HAS SOUPS 79905 WITH SCORE 79987.18
AT ITER 273 NEW BEST:: SOT 169888 SOS 81948 HAS SOPS 81948 HAS SOUS 79673 HAS SOUPS 79673 WITH SCORE 79754.948
AT ITER 275 NEW BEST:: SOT 169356 SOS 81258 HAS SOPS 81258 HAS SOUS 78983 HAS SOUPS 78983 WITH SCORE 79064.258
AT ITER 276 NEW BEST:: SOT 169302 SOS 81150 HAS SOPS 81150 HAS SOUS 78875 HAS SOUPS 78875 WITH SCORE 78956.15
AT ITER 277 NEW BEST:: SOT 169206 SOS 80958 HAS SOPS 80958 HAS SOUS 78683 HAS SOUPS 78683 WITH SCORE 78763.958
AT ITER 281 NEW BEST:: SOT 169189 SOS 80924 HAS SOPS 80924 HAS SOUS 78649 HAS SOUPS 78649 WITH SCORE 78729.924
AT ITER 283 NEW BEST:: SOT 169122 SOS 81037 HAS SOPS 81037 HAS SOUS 78563 HAS SOUPS 78563 WITH SCORE 78644.037
AT ITER 285 NEW BEST:: SOT 168789 SOS 80974 HAS SOPS 80974 HAS SOUS 78304 HAS SOUPS 78304 WITH SCORE 78384.974
AT ITER 286 NEW BEST:: SOT 168773 SOS 80942 HAS SOPS 80942 HAS SOUS 78272 HAS SOUPS 78272 WITH SCORE 78352.942
AT ITER 290 NEW BEST:: SOT 168444 SOS 80511 HAS SOPS 80511 HAS SOUS 77841 HAS SOUPS 77841 WITH SCORE 77921.511
AT ITER 291 NEW BEST:: SOT 168398 SOS 80419 HAS SOPS 80419 HAS SOUS 77617 HAS SOUPS 77617 WITH SCORE 77697.419
AT ITER 292 NEW BEST:: SOT 168175 SOS 80316 HAS SOPS 80316 HAS SOUS 77432 HAS SOUPS 77432 WITH SCORE 77512.316
AT ITER 295 NEW BEST:: SOT 168071 SOS 80108 HAS SOPS 80108 HAS SOUS 77328 HAS SOUPS 77328 WITH SCORE 77408.108
AT ITER 297 NEW BEST:: SOT 168071 SOS 80073 HAS SOPS 80073 HAS SOUS 77293 HAS SOUPS 77293 WITH SCORE 77373.073
AT ITER 299 NEW BEST:: SOT 168013 SOS 79957 HAS SOPS 79957 HAS SOUS 77177 HAS SOUPS 77177 WITH SCORE 77256.957
AT ITER 303 NEW BEST:: SOT 167753 SOS 79591 HAS SOPS 79591 HAS SOUS 76811 HAS SOUPS 76811 WITH SCORE 76890.591
AT ITER 305 NEW BEST:: SOT 167730 SOS 79545 HAS SOPS 79545 HAS SOUS 76765 HAS SOUPS 76765 WITH SCORE 76844.545
AT ITER 307 NEW BEST:: SOT 167702 SOS 79489 HAS SOPS 79489 HAS SOUS 76709 HAS SOUPS 76709 WITH SCORE 76788.489
AT ITER 310 NEW BEST:: SOT 167586 SOS 79315 HAS SOPS 79315 HAS SOUS 76535 HAS SOUPS 76535 WITH SCORE 76614.315
AT ITER 311 NEW BEST:: SOT 167268 SOS 78897 HAS SOPS 78897 HAS SOUS 76117 HAS SOUPS 76117 WITH SCORE 76195.897
AT ITER 315 NEW BEST:: SOT 167233 SOS 78827 HAS SOPS 78827 HAS SOUS 76047 HAS SOUPS 76047 WITH SCORE 76125.827
AT ITER 316 NEW BEST:: SOT 166974 SOS 78309 HAS SOPS 78309 HAS SOUS 75589 HAS SOUPS 75589 WITH SCORE 75667.309
AT ITER 317 NEW BEST:: SOT 166870 SOS 78465 HAS SOPS 78465 HAS SOUS 75485 HAS SOUPS 75485 WITH SCORE 75563.465
AT ITER 319 NEW BEST:: SOT 166885 SOS 78495 HAS SOPS 78495 HAS SOUS 75375 HAS SOUPS 75375 WITH SCORE 75453.495
AT ITER 321 NEW BEST:: SOT 166857 SOS 78460 HAS SOPS 78460 HAS SOUS 75340 HAS SOUPS 75340 WITH SCORE 75418.46
AT ITER 323 NEW BEST:: SOT 166268 SOS 77785 HAS SOPS 77785 HAS SOUS 74487 HAS SOUPS 74487 WITH SCORE 74564.785
AT ITER 324 NEW BEST:: SOT 166252 SOS 77753 HAS SOPS 77753 HAS SOUS 74455 HAS SOUPS 74455 WITH SCORE 74532.753
AT ITER 327 NEW BEST:: SOT 166180 SOS 77679 HAS SOPS 77679 HAS SOUS 74381 HAS SOUPS 74381 WITH SCORE 74458.679
AT ITER 329 NEW BEST:: SOT 166144 SOS 77987 HAS SOPS 77987 HAS SOUS 74372 HAS SOUPS 74372 WITH SCORE 74449.987
AT ITER 331 NEW BEST:: SOT 166121 SOS 78122 HAS SOPS 78122 HAS SOUS 74343 HAS SOUPS 74343 WITH SCORE 74421.122
AT ITER 333 NEW BEST:: SOT 165924 SOS 77863 HAS SOPS 77863 HAS SOUS 74060 HAS SOUPS 74060 WITH SCORE 74137.863
AT ITER 334 NEW BEST:: SOT 165510 SOS 77523 HAS SOPS 77523 HAS SOUS 73720 HAS SOUPS 73720 WITH SCORE 73797.523
AT ITER 336 NEW BEST:: SOT 165496 SOS 77495 HAS SOPS 77495 HAS SOUS 73692 HAS SOUPS 73692 WITH SCORE 73769.495
AT ITER 337 NEW BEST:: SOT 165223 SOS 77170 HAS SOPS 77170 HAS SOUS 73367 HAS SOUPS 73367 WITH SCORE 73444.17
AT ITER 339 NEW BEST:: SOT 164638 SOS 76347 HAS SOPS 76347 HAS SOUS 72544 HAS SOUPS 72544 WITH SCORE 72620.347
AT ITER 342 NEW BEST:: SOT 164381 SOS 75833 HAS SOPS 75833 HAS SOUS 72215 HAS SOUPS 72215 WITH SCORE 72290.833
AT ITER 343 NEW BEST:: SOT 164061 SOS 75410 HAS SOPS 75410 HAS SOUS 71792 HAS SOUPS 71792 WITH SCORE 71867.41
AT ITER 346 NEW BEST:: SOT 164024 SOS 75373 HAS SOPS 75373 HAS SOUS 71755 HAS SOUPS 71755 WITH SCORE 71830.373
AT ITER 349 NEW BEST:: SOT 163774 SOS 75097 HAS SOPS 75097 HAS SOUS 71373 HAS SOUPS 71373 WITH SCORE 71448.097
AT ITER 356 NEW BEST:: SOT 163204 SOS 74281 HAS SOPS 74281 HAS SOUS 70557 HAS SOUPS 70557 WITH SCORE 70631.281
AT ITER 359 NEW BEST:: SOT 163052 SOS 73977 HAS SOPS 73977 HAS SOUS 70405 HAS SOUPS 70405 WITH SCORE 70478.977
AT ITER 365 NEW BEST:: SOT 162691 SOS 73447 HAS SOPS 73447 HAS SOUS 69859 HAS SOUPS 69859 WITH SCORE 69932.447
AT ITER 369 NEW BEST:: SOT 162332 SOS 73115 HAS SOPS 73115 HAS SOUS 69435 HAS SOUPS 69435 WITH SCORE 69508.115
AT ITER 372 NEW BEST:: SOT 162288 SOS 73027 HAS SOPS 73027 HAS SOUS 69391 HAS SOUPS 69391 WITH SCORE 69464.027
AT ITER 377 NEW BEST:: SOT 162281 SOS 73013 HAS SOPS 73013 HAS SOUS 69377 HAS SOUPS 69377 WITH SCORE 69450.013
AT ITER 385 NEW BEST:: SOT 162077 SOS 72869 HAS SOPS 72869 HAS SOUS 69106 HAS SOUPS 69106 WITH SCORE 69178.869
AT ITER 387 NEW BEST:: SOT 161994 SOS 72786 HAS SOPS 72786 HAS SOUS 69023 HAS SOUPS 69023 WITH SCORE 69095.786
AT ITER 389 NEW BEST:: SOT 161976 SOS 72768 HAS SOPS 72768 HAS SOUS 69005 HAS SOUPS 69005 WITH SCORE 69077.768
AT ITER 391 NEW BEST:: SOT 161850 SOS 72516 HAS SOPS 72516 HAS SOUS 68753 HAS SOUPS 68753 WITH SCORE 68825.516
AT ITER 392 NEW BEST:: SOT 161810 SOS 72476 HAS SOPS 72476 HAS SOUS 68713 HAS SOUPS 68713 WITH SCORE 68785.476
AT ITER 394 NEW BEST:: SOT 161764 SOS 72384 HAS SOPS 72384 HAS SOUS 68621 HAS SOUPS 68621 WITH SCORE 68693.384
AT ITER 396 NEW BEST:: SOT 161599 SOS 72054 HAS SOPS 72054 HAS SOUS 68456 HAS SOUPS 68456 WITH SCORE 68528.054
AT ITER 399 NEW BEST:: SOT 161520 SOS 72218 HAS SOPS 72218 HAS SOUS 68400 HAS SOUPS 68400 WITH SCORE 68472.218
AT ITER 402 NEW BEST:: SOT 161516 SOS 72210 HAS SOPS 72210 HAS SOUS 68392 HAS SOUPS 68392 WITH SCORE 68464.21
AT ITER 403 NEW BEST:: SOT 161352 SOS 71882 HAS SOPS 71882 HAS SOUS 68228 HAS SOUPS 68228 WITH SCORE 68299.882
AT ITER 405 NEW BEST:: SOT 161246 SOS 71670 HAS SOPS 71670 HAS SOUS 68122 HAS SOUPS 68122 WITH SCORE 68193.67
AT ITER 408 NEW BEST:: SOT 161089 SOS 71548 HAS SOPS 71548 HAS SOUS 67965 HAS SOUPS 67965 WITH SCORE 68036.548
AT ITER 411 NEW BEST:: SOT 160997 SOS 71670 HAS SOPS 71670 HAS SOUS 67881 HAS SOUPS 67881 WITH SCORE 67952.67
AT ITER 413 NEW BEST:: SOT 160874 SOS 71268 HAS SOPS 71268 HAS SOUS 67758 HAS SOUPS 67758 WITH SCORE 67829.268
AT ITER 418 NEW BEST:: SOT 160795 SOS 71110 HAS SOPS 71110 HAS SOUS 67600 HAS SOUPS 67600 WITH SCORE 67671.11
AT ITER 428 NEW BEST:: SOT 160594 SOS 70708 HAS SOPS 70708 HAS SOUS 67198 HAS SOUPS 67198 WITH SCORE 67268.708
AT ITER 430 NEW BEST:: SOT 160349 SOS 70361 HAS SOPS 70361 HAS SOUS 66851 HAS SOUPS 66851 WITH SCORE 66921.361
AT ITER 432 NEW BEST:: SOT 159932 SOS 70031 HAS SOPS 70031 HAS SOUS 66313 HAS SOUPS 66313 WITH SCORE 66383.031
AT ITER 438 NEW BEST:: SOT 159796 SOS 69759 HAS SOPS 69759 HAS SOUS 66041 HAS SOUPS 66041 WITH SCORE 66110.759
AT ITER 444 NEW BEST:: SOT 159684 SOS 69360 HAS SOPS 69360 HAS SOUS 65909 HAS SOUPS 65909 WITH SCORE 65978.36
AT ITER 448 NEW BEST:: SOT 159684 SOS 69153 HAS SOPS 69153 HAS SOUS 65900 HAS SOUPS 65900 WITH SCORE 65969.153
AT ITER 452 NEW BEST:: SOT 159684 SOS 69151 HAS SOPS 69151 HAS SOUS 65900 HAS SOUPS 65900 WITH SCORE 65969.151
AT ITER 456 NEW BEST:: SOT 159569 SOS 69034 HAS SOPS 69034 HAS SOUS 65783 HAS SOUPS 65783 WITH SCORE 65852.034
AT ITER 457 NEW BEST:: SOT 159441 SOS 68778 HAS SOPS 68778 HAS SOUS 65508 HAS SOUPS 65508 WITH SCORE 65576.778
AT ITER 460 NEW BEST:: SOT 159135 SOS 68319 HAS SOPS 68319 HAS SOUS 65049 HAS SOUPS 65049 WITH SCORE 65117.319
AT ITER 464 NEW BEST:: SOT 159135 SOS 68213 HAS SOPS 68213 HAS SOUS 64943 HAS SOUPS 64943 WITH SCORE 65011.213
AT ITER 466 NEW BEST:: SOT 159135 SOS 68128 HAS SOPS 68128 HAS SOUS 64943 HAS SOUPS 64943 WITH SCORE 65011.128
AT ITER 472 NEW BEST:: SOT 159132 SOS 68140 HAS SOPS 68140 HAS SOUS 64940 HAS SOUPS 64940 WITH SCORE 65008.14
AT ITER 478 NEW BEST:: SOT 159132 SOS 68122 HAS SOPS 68122 HAS SOUS 64922 HAS SOUPS 64922 WITH SCORE 64990.122
AT ITER 480 NEW BEST:: SOT 158947 SOS 68152 HAS SOPS 68152 HAS SOUS 64834 HAS SOUPS 64834 WITH SCORE 64902.152
AT ITER 481 NEW BEST:: SOT 158542 SOS 67788 HAS SOPS 67788 HAS SOUS 64332 HAS SOUPS 64332 WITH SCORE 64399.788
AT ITER 482 NEW BEST:: SOT 158214 SOS 67686 HAS SOPS 67686 HAS SOUS 64064 HAS SOUPS 64064 WITH SCORE 64131.686
AT ITER 483 NEW BEST:: SOT 158253 SOS 67764 HAS SOPS 67764 HAS SOUS 64052 HAS SOUPS 64052 WITH SCORE 64119.764
AT ITER 485 NEW BEST:: SOT 158219 SOS 67730 HAS SOPS 67730 HAS SOUS 64018 HAS SOUPS 64018 WITH SCORE 64085.73
AT ITER 486 NEW BEST:: SOT 158111 SOS 67514 HAS SOPS 67514 HAS SOUS 63850 HAS SOUPS 63850 WITH SCORE 63917.514
AT ITER 496 NEW BEST:: SOT 157895 SOS 67190 HAS SOPS 67190 HAS SOUS 63526 HAS SOUPS 63526 WITH SCORE 63593.19
AT ITER 501 NEW BEST:: SOT 157639 SOS 67074 HAS SOPS 67074 HAS SOUS 63306 HAS SOUPS 63306 WITH SCORE 63373.074
AT ITER 504 NEW BEST:: SOT 157629 SOS 67485 HAS SOPS 67485 HAS SOUS 63296 HAS SOUPS 63296 WITH SCORE 63363.485
AT ITER 510 NEW BEST:: SOT 157475 SOS 67437 HAS SOPS 67437 HAS SOUS 63142 HAS SOUPS 63142 WITH SCORE 63209.437
AT ITER 512 NEW BEST:: SOT 157475 SOS 67411 HAS SOPS 67411 HAS SOUS 63142 HAS SOUPS 63142 WITH SCORE 63209.411
AT ITER 514 NEW BEST:: SOT 157462 SOS 67385 HAS SOPS 67385 HAS SOUS 63129 HAS SOUPS 63129 WITH SCORE 63196.385
AT ITER 515 NEW BEST:: SOT 157063 SOS 66982 HAS SOPS 66982 HAS SOUS 62630 HAS SOUPS 62630 WITH SCORE 62696.982
AT ITER 520 NEW BEST:: SOT 156977 SOS 66810 HAS SOPS 66810 HAS SOUS 62458 HAS SOUPS 62458 WITH SCORE 62524.81
AT ITER 534 NEW BEST:: SOT 156698 SOS 66252 HAS SOPS 66252 HAS SOUS 62080 HAS SOUPS 62080 WITH SCORE 62146.252
AT ITER 539 NEW BEST:: SOT 156527 SOS 65910 HAS SOPS 65910 HAS SOUS 61738 HAS SOUPS 61738 WITH SCORE 61803.91
AT ITER 540 NEW BEST:: SOT 156360 SOS 65736 HAS SOPS 65736 HAS SOUS 61564 HAS SOUPS 61564 WITH SCORE 61629.736
AT ITER 544 NEW BEST:: SOT 156347 SOS 65723 HAS SOPS 65723 HAS SOUS 61551 HAS SOUPS 61551 WITH SCORE 61616.723
AT ITER 546 NEW BEST:: SOT 156258 SOS 65545 HAS SOPS 65545 HAS SOUS 61462 HAS SOUPS 61462 WITH SCORE 61527.545
AT ITER 549 NEW BEST:: SOT 156154 SOS 65023 HAS SOPS 65023 HAS SOUS 61193 HAS SOUPS 61193 WITH SCORE 61258.023
AT ITER 550 NEW BEST:: SOT 156015 SOS 64745 HAS SOPS 64745 HAS SOUS 60915 HAS SOUPS 60915 WITH SCORE 60979.745
AT ITER 555 NEW BEST:: SOT 155808 SOS 64538 HAS SOPS 64538 HAS SOUS 60708 HAS SOUPS 60708 WITH SCORE 60772.538
AT ITER 558 NEW BEST:: SOT 155781 SOS 64484 HAS SOPS 64484 HAS SOUS 60654 HAS SOUPS 60654 WITH SCORE 60718.484
AT ITER 566 NEW BEST:: SOT 155754 SOS 64294 HAS SOPS 64294 HAS SOUS 60560 HAS SOUPS 60560 WITH SCORE 60624.294
AT ITER 567 NEW BEST:: SOT 155650 SOS 64234 HAS SOPS 64234 HAS SOUS 60352 HAS SOUPS 60352 WITH SCORE 60416.234
AT ITER 570 NEW BEST:: SOT 155563 SOS 64060 HAS SOPS 64060 HAS SOUS 60105 HAS SOUPS 60105 WITH SCORE 60169.06
AT ITER 576 NEW BEST:: SOT 155510 SOS 63954 HAS SOPS 63954 HAS SOUS 60052 HAS SOUPS 60052 WITH SCORE 60115.954
AT ITER 580 NEW BEST:: SOT 155448 SOS 64008 HAS SOPS 64008 HAS SOUS 59990 HAS SOUPS 59990 WITH SCORE 60054.008
AT ITER 581 NEW BEST:: SOT 155341 SOS 63794 HAS SOPS 63794 HAS SOUS 59883 HAS SOUPS 59883 WITH SCORE 59946.794
AT ITER 591 NEW BEST:: SOT 155184 SOS 63719 HAS SOPS 63719 HAS SOUS 59808 HAS SOUPS 59808 WITH SCORE 59871.719
AT ITER 597 NEW BEST:: SOT 155085 SOS 63676 HAS SOPS 63676 HAS SOUS 59765 HAS SOUPS 59765 WITH SCORE 59828.676
AT ITER 604 NEW BEST:: SOT 155131 SOS 63768 HAS SOPS 63768 HAS SOUS 59658 HAS SOUPS 59658 WITH SCORE 59721.768
AT ITER 606 NEW BEST:: SOT 155116 SOS 63738 HAS SOPS 63738 HAS SOUS 59628 HAS SOUPS 59628 WITH SCORE 59691.738
AT ITER 608 NEW BEST:: SOT 154880 SOS 63414 HAS SOPS 63414 HAS SOUS 59304 HAS SOUPS 59304 WITH SCORE 59367.414
AT ITER 609 NEW BEST:: SOT 154605 SOS 63139 HAS SOPS 63139 HAS SOUS 59029 HAS SOUPS 59029 WITH SCORE 59092.139
AT ITER 612 NEW BEST:: SOT 154576 SOS 63081 HAS SOPS 63081 HAS SOUS 59009 HAS SOUPS 59009 WITH SCORE 59072.081
AT ITER 615 NEW BEST:: SOT 154576 SOS 63080 HAS SOPS 63080 HAS SOUS 59009 HAS SOUPS 59009 WITH SCORE 59072.08
AT ITER 620 NEW BEST:: SOT 154445 SOS 62908 HAS SOPS 62908 HAS SOUS 58837 HAS SOUPS 58837 WITH SCORE 58899.908
AT ITER 628 NEW BEST:: SOT 154445 SOS 62908 HAS SOPS 62908 HAS SOUS 58825 HAS SOUPS 58825 WITH SCORE 58887.908
AT ITER 631 NEW BEST:: SOT 154349 SOS 62716 HAS SOPS 62716 HAS SOUS 58729 HAS SOUPS 58729 WITH SCORE 58791.716
AT ITER 632 NEW BEST:: SOT 154312 SOS 62736 HAS SOPS 62736 HAS SOUS 58692 HAS SOUPS 58692 WITH SCORE 58754.736
AT ITER 633 NEW BEST:: SOT 154022 SOS 62507 HAS SOPS 62507 HAS SOUS 58463 HAS SOUPS 58463 WITH SCORE 58525.507
AT ITER 636 NEW BEST:: SOT 153567 SOS 61983 HAS SOPS 61983 HAS SOUS 57856 HAS SOUPS 57856 WITH SCORE 57917.983
AT ITER 638 NEW BEST:: SOT 153442 SOS 61733 HAS SOPS 61733 HAS SOUS 57606 HAS SOUPS 57606 WITH SCORE 57667.733
AT ITER 640 NEW BEST:: SOT 153402 SOS 61602 HAS SOPS 61602 HAS SOUS 57566 HAS SOUPS 57566 WITH SCORE 57627.602
AT ITER 648 NEW BEST:: SOT 153080 SOS 61280 HAS SOPS 61280 HAS SOUS 57045 HAS SOUPS 57045 WITH SCORE 57106.28
AT ITER 652 NEW BEST:: SOT 153058 SOS 61247 HAS SOPS 61247 HAS SOUS 57012 HAS SOUPS 57012 WITH SCORE 57073.247
AT ITER 653 NEW BEST:: SOT 153042 SOS 61215 HAS SOPS 61215 HAS SOUS 56996 HAS SOUPS 56996 WITH SCORE 57057.215
AT ITER 658 NEW BEST:: SOT 152847 SOS 61020 HAS SOPS 61020 HAS SOUS 56801 HAS SOUPS 56801 WITH SCORE 56862.02
AT ITER 659 NEW BEST:: SOT 152514 SOS 60766 HAS SOPS 60766 HAS SOUS 56422 HAS SOUPS 56422 WITH SCORE 56482.766
AT ITER 660 NEW BEST:: SOT 152437 SOS 60689 HAS SOPS 60689 HAS SOUS 56345 HAS SOUPS 56345 WITH SCORE 56405.689
AT ITER 663 NEW BEST:: SOT 152319 SOS 60555 HAS SOPS 60555 HAS SOUS 56211 HAS SOUPS 56211 WITH SCORE 56271.555
AT ITER 665 NEW BEST:: SOT 152246 SOS 60409 HAS SOPS 60409 HAS SOUS 56065 HAS SOUPS 56065 WITH SCORE 56125.409
AT ITER 673 NEW BEST:: SOT 152168 SOS 60331 HAS SOPS 60331 HAS SOUS 55987 HAS SOUPS 55987 WITH SCORE 56047.331
AT ITER 675 NEW BEST:: SOT 152168 SOS 60331 HAS SOPS 60331 HAS SOUS 55972 HAS SOUPS 55972 WITH SCORE 56032.331
AT ITER 676 NEW BEST:: SOT 152024 SOS 60240 HAS SOPS 60240 HAS SOUS 55881 HAS SOUPS 55881 WITH SCORE 55941.24
AT ITER 689 NEW BEST:: SOT 152003 SOS 60198 HAS SOPS 60198 HAS SOUS 55839 HAS SOUPS 55839 WITH SCORE 55899.198
AT ITER 694 NEW BEST:: SOT 151582 SOS 59824 HAS SOPS 59824 HAS SOUS 55419 HAS SOUPS 55419 WITH SCORE 55478.824
AT ITER 699 NEW BEST:: SOT 151257 SOS 59514 HAS SOPS 59514 HAS SOUS 55072 HAS SOUPS 55072 WITH SCORE 55131.514
AT ITER 703 NEW BEST:: SOT 151039 SOS 59078 HAS SOPS 59078 HAS SOUS 54854 HAS SOUPS 54854 WITH SCORE 54913.078
AT ITER 704 NEW BEST:: SOT 150956 SOS 59241 HAS SOPS 59241 HAS SOUS 54812 HAS SOUPS 54812 WITH SCORE 54871.241
AT ITER 709 NEW BEST:: SOT 150956 SOS 59200 HAS SOPS 59200 HAS SOUS 54771 HAS SOUPS 54771 WITH SCORE 54830.2
AT ITER 713 NEW BEST:: SOT 150774 SOS 58927 HAS SOPS 58927 HAS SOUS 54498 HAS SOUPS 54498 WITH SCORE 54556.927
AT ITER 717 NEW BEST:: SOT 150774 SOS 58920 HAS SOPS 58920 HAS SOUS 54498 HAS SOUPS 54498 WITH SCORE 54556.92
AT ITER 725 NEW BEST:: SOT 150770 SOS 58916 HAS SOPS 58916 HAS SOUS 54494 HAS SOUPS 54494 WITH SCORE 54552.916
AT ITER 729 NEW BEST:: SOT 150723 SOS 59120 HAS SOPS 59120 HAS SOUS 54432 HAS SOUPS 54432 WITH SCORE 54491.12
AT ITER 730 NEW BEST:: SOT 150715 SOS 59104 HAS SOPS 59104 HAS SOUS 54416 HAS SOUPS 54416 WITH SCORE 54475.104
AT ITER 731 NEW BEST:: SOT 150714 SOS 59073 HAS SOPS 59073 HAS SOUS 54414 HAS SOUPS 54414 WITH SCORE 54473.073
AT ITER 732 NEW BEST:: SOT 150714 SOS 59073 HAS SOPS 59073 HAS SOUS 54240 HAS SOUPS 54240 WITH SCORE 54299.073
AT ITER 733 NEW BEST:: SOT 150669 SOS 59352 HAS SOPS 59352 HAS SOUS 54126 HAS SOUPS 54126 WITH SCORE 54185.352
AT ITER 734 NEW BEST:: SOT 150533 SOS 59271 HAS SOPS 59271 HAS SOUS 54045 HAS SOUPS 54045 WITH SCORE 54104.271
AT ITER 740 NEW BEST:: SOT 150241 SOS 58992 HAS SOPS 58992 HAS SOUS 53730 HAS SOUPS 53730 WITH SCORE 53788.992
AT ITER 741 NEW BEST:: SOT 150237 SOS 58986 HAS SOPS 58986 HAS SOUS 53724 HAS SOUPS 53724 WITH SCORE 53782.986
AT ITER 743 NEW BEST:: SOT 149930 SOS 58372 HAS SOPS 58372 HAS SOUS 53092 HAS SOUPS 53092 WITH SCORE 53150.372
AT ITER 744 NEW BEST:: SOT 149661 SOS 57834 HAS SOPS 57834 HAS SOUS 52823 HAS SOUPS 52823 WITH SCORE 52880.834
AT ITER 746 NEW BEST:: SOT 149424 SOS 57698 HAS SOPS 57698 HAS SOUS 52648 HAS SOUPS 52648 WITH SCORE 52705.698
AT ITER 747 NEW BEST:: SOT 149316 SOS 57482 HAS SOPS 57482 HAS SOUS 52432 HAS SOUPS 52432 WITH SCORE 52489.482
AT ITER 749 NEW BEST:: SOT 149240 SOS 57406 HAS SOPS 57406 HAS SOUS 52356 HAS SOUPS 52356 WITH SCORE 52413.406
AT ITER 758 NEW BEST:: SOT 149219 SOS 57364 HAS SOPS 57364 HAS SOUS 52192 HAS SOUPS 52192 WITH SCORE 52249.364
AT ITER 766 NEW BEST:: SOT 149137 SOS 57200 HAS SOPS 57200 HAS SOUS 52028 HAS SOUPS 52028 WITH SCORE 52085.2
AT ITER 769 NEW BEST:: SOT 149219 SOS 57053 HAS SOPS 57053 HAS SOUS 51881 HAS SOUPS 51881 WITH SCORE 51938.053
AT ITER 770 NEW BEST:: SOT 149219 SOS 56898 HAS SOPS 56898 HAS SOUS 51881 HAS SOUPS 51881 WITH SCORE 51937.898
AT ITER 771 NEW BEST:: SOT 149207 SOS 56784 HAS SOPS 56784 HAS SOUS 51869 HAS SOUPS 51869 WITH SCORE 51925.784
AT ITER 772 NEW BEST:: SOT 149108 SOS 56586 HAS SOPS 56586 HAS SOUS 51671 HAS SOUPS 51671 WITH SCORE 51727.586
AT ITER 773 NEW BEST:: SOT 148726 SOS 56150 HAS SOPS 56150 HAS SOUS 51196 HAS SOUPS 51196 WITH SCORE 51252.15
AT ITER 777 NEW BEST:: SOT 148726 SOS 56083 HAS SOPS 56083 HAS SOUS 51129 HAS SOUPS 51129 WITH SCORE 51185.083
AT ITER 779 NEW BEST:: SOT 148632 SOS 55729 HAS SOPS 55729 HAS SOUS 50999 HAS SOUPS 50999 WITH SCORE 51054.729
AT ITER 785 NEW BEST:: SOT 148605 SOS 55675 HAS SOPS 55675 HAS SOUS 50945 HAS SOUPS 50945 WITH SCORE 51000.675
AT ITER 786 NEW BEST:: SOT 148287 SOS 55567 HAS SOPS 55567 HAS SOUS 50660 HAS SOUPS 50660 WITH SCORE 50715.567
AT ITER 788 NEW BEST:: SOT 148287 SOS 55527 HAS SOPS 55527 HAS SOUS 50660 HAS SOUPS 50660 WITH SCORE 50715.527
AT ITER 792 NEW BEST:: SOT 148263 SOS 55479 HAS SOPS 55479 HAS SOUS 50612 HAS SOUPS 50612 WITH SCORE 50667.479
AT ITER 796 NEW BEST:: SOT 148263 SOS 55411 HAS SOPS 55411 HAS SOUS 50544 HAS SOUPS 50544 WITH SCORE 50599.411
AT ITER 805 NEW BEST:: SOT 148231 SOS 55347 HAS SOPS 55347 HAS SOUS 50319 HAS SOUPS 50319 WITH SCORE 50374.347
AT ITER 806 NEW BEST:: SOT 148039 SOS 54963 HAS SOPS 54963 HAS SOUS 49978 HAS SOUPS 49978 WITH SCORE 50032.963
AT ITER 807 NEW BEST:: SOT 148027 SOS 54939 HAS SOPS 54939 HAS SOUS 49934 HAS SOUPS 49934 WITH SCORE 49988.939
AT ITER 808 NEW BEST:: SOT 147921 SOS 54916 HAS SOPS 54916 HAS SOUS 49828 HAS SOUPS 49828 WITH SCORE 49882.916
AT ITER 810 NEW BEST:: SOT 147901 SOS 54896 HAS SOPS 54896 HAS SOUS 49808 HAS SOUPS 49808 WITH SCORE 49862.896
AT ITER 814 NEW BEST:: SOT 147795 SOS 54684 HAS SOPS 54684 HAS SOUS 49611 HAS SOUPS 49611 WITH SCORE 49665.684
AT ITER 819 NEW BEST:: SOT 147566 SOS 54462 HAS SOPS 54462 HAS SOUS 49389 HAS SOUPS 49389 WITH SCORE 49443.462
AT ITER 822 NEW BEST:: SOT 147448 SOS 54573 HAS SOPS 54573 HAS SOUS 49361 HAS SOUPS 49361 WITH SCORE 49415.573
AT ITER 824 NEW BEST:: SOT 147397 SOS 54522 HAS SOPS 54522 HAS SOUS 49310 HAS SOUPS 49310 WITH SCORE 49364.522
AT ITER 826 NEW BEST:: SOT 147291 SOS 54310 HAS SOPS 54310 HAS SOUS 49204 HAS SOUPS 49204 WITH SCORE 49258.31
AT ITER 828 NEW BEST:: SOT 147202 SOS 54132 HAS SOPS 54132 HAS SOUS 49115 HAS SOUPS 49115 WITH SCORE 49169.132
AT ITER 835 NEW BEST:: SOT 147179 SOS 54086 HAS SOPS 54086 HAS SOUS 49092 HAS SOUPS 49092 WITH SCORE 49146.086
AT ITER 844 NEW BEST:: SOT 147171 SOS 54070 HAS SOPS 54070 HAS SOUS 49076 HAS SOUPS 49076 WITH SCORE 49130.07
AT ITER 853 NEW BEST:: SOT 147077 SOS 53882 HAS SOPS 53882 HAS SOUS 48982 HAS SOUPS 48982 WITH SCORE 49035.882
AT ITER 859 NEW BEST:: SOT 147051 SOS 53830 HAS SOPS 53830 HAS SOUS 48930 HAS SOUPS 48930 WITH SCORE 48983.83
AT ITER 861 NEW BEST:: SOT 147039 SOS 53806 HAS SOPS 53806 HAS SOUS 48906 HAS SOUPS 48906 WITH SCORE 48959.806
AT ITER 863 NEW BEST:: SOT 146816 SOS 53583 HAS SOPS 53583 HAS SOUS 48683 HAS SOUPS 48683 WITH SCORE 48736.583
AT ITER 866 NEW BEST:: SOT 146794 SOS 53539 HAS SOPS 53539 HAS SOUS 48639 HAS SOUPS 48639 WITH SCORE 48692.539
AT ITER 873 NEW BEST:: SOT 146794 SOS 53459 HAS SOPS 53459 HAS SOUS 48559 HAS SOUPS 48559 WITH SCORE 48612.459
AT ITER 876 NEW BEST:: SOT 146719 SOS 53430 HAS SOPS 53430 HAS SOUS 48530 HAS SOUPS 48530 WITH SCORE 48583.43
AT ITER 879 NEW BEST:: SOT 146634 SOS 53260 HAS SOPS 53260 HAS SOUS 48360 HAS SOUPS 48360 WITH SCORE 48413.26
AT ITER 881 NEW BEST:: SOT 146631 SOS 53254 HAS SOPS 53254 HAS SOUS 48357 HAS SOUPS 48357 WITH SCORE 48410.254
AT ITER 882 NEW BEST:: SOT 146366 SOS 52724 HAS SOPS 52724 HAS SOUS 47827 HAS SOUPS 47827 WITH SCORE 47879.724
AT ITER 884 NEW BEST:: SOT 146240 SOS 52472 HAS SOPS 52472 HAS SOUS 47575 HAS SOUPS 47575 WITH SCORE 47627.472
AT ITER 887 NEW BEST:: SOT 146158 SOS 52308 HAS SOPS 52308 HAS SOUS 47353 HAS SOUPS 47353 WITH SCORE 47405.308
AT ITER 891 NEW BEST:: SOT 146128 SOS 52248 HAS SOPS 52248 HAS SOUS 47294 HAS SOUPS 47294 WITH SCORE 47346.248
AT ITER 894 NEW BEST:: SOT 145929 SOS 52092 HAS SOPS 52092 HAS SOUS 47086 HAS SOUPS 47086 WITH SCORE 47138.092
AT ITER 898 NEW BEST:: SOT 145920 SOS 52083 HAS SOPS 52083 HAS SOUS 47077 HAS SOUPS 47077 WITH SCORE 47129.083
AT ITER 906 NEW BEST:: SOT 145882 SOS 52007 HAS SOPS 52007 HAS SOUS 46933 HAS SOUPS 46933 WITH SCORE 46985.007
AT ITER 908 NEW BEST:: SOT 145882 SOS 51952 HAS SOPS 51952 HAS SOUS 46933 HAS SOUPS 46933 WITH SCORE 46984.952
AT ITER 912 NEW BEST:: SOT 145882 SOS 51872 HAS SOPS 51872 HAS SOUS 46933 HAS SOUPS 46933 WITH SCORE 46984.872
AT ITER 915 NEW BEST:: SOT 145830 SOS 51768 HAS SOPS 51768 HAS SOUS 46873 HAS SOUPS 46873 WITH SCORE 46924.768
AT ITER 926 NEW BEST:: SOT 145788 SOS 51684 HAS SOPS 51684 HAS SOUS 46754 HAS SOUPS 46754 WITH SCORE 46805.684
AT ITER 930 NEW BEST:: SOT 145714 SOS 51612 HAS SOPS 51612 HAS SOUS 46680 HAS SOUPS 46680 WITH SCORE 46731.612
AT ITER 933 NEW BEST:: SOT 145667 SOS 51565 HAS SOPS 51565 HAS SOUS 46633 HAS SOUPS 46633 WITH SCORE 46684.565
AT ITER 938 NEW BEST:: SOT 145665 SOS 51421 HAS SOPS 51421 HAS SOUS 46572 HAS SOUPS 46572 WITH SCORE 46623.421
AT ITER 944 NEW BEST:: SOT 145566 SOS 51405 HAS SOPS 51405 HAS SOUS 46456 HAS SOUPS 46456 WITH SCORE 46507.405
AT ITER 948 NEW BEST:: SOT 145566 SOS 51405 HAS SOPS 51405 HAS SOUS 46439 HAS SOUPS 46439 WITH SCORE 46490.405
AT ITER 951 NEW BEST:: SOT 145535 SOS 51343 HAS SOPS 51343 HAS SOUS 46359 HAS SOUPS 46359 WITH SCORE 46410.343
AT ITER 953 NEW BEST:: SOT 145490 SOS 51059 HAS SOPS 51059 HAS SOUS 46314 HAS SOUPS 46314 WITH SCORE 46365.059
AT ITER 956 NEW BEST:: SOT 145472 SOS 51041 HAS SOPS 51041 HAS SOUS 46296 HAS SOUPS 46296 WITH SCORE 46347.041
AT ITER 961 NEW BEST:: SOT 145408 SOS 50913 HAS SOPS 50913 HAS SOUS 46232 HAS SOUPS 46232 WITH SCORE 46282.913
AT ITER 965 NEW BEST:: SOT 145271 SOS 50844 HAS SOPS 50844 HAS SOUS 46163 HAS SOUPS 46163 WITH SCORE 46213.844
AT ITER 977 NEW BEST:: SOT 145203 SOS 50770 HAS SOPS 50770 HAS SOUS 46067 HAS SOUPS 46067 WITH SCORE 46117.77
AT ITER 980 NEW BEST:: SOT 145211 SOS 50766 HAS SOPS 50766 HAS SOUS 46063 HAS SOUPS 46063 WITH SCORE 46113.766
AT ITER 983 NEW BEST:: SOT 145209 SOS 50762 HAS SOPS 50762 HAS SOUS 46061 HAS SOUPS 46061 WITH SCORE 46111.762
AT ITER 984 NEW BEST:: SOT 145103 SOS 50550 HAS SOPS 50550 HAS SOUS 45955 HAS SOUPS 45955 WITH SCORE 46005.55
AT ITER 988 NEW BEST:: SOT 145176 SOS 50696 HAS SOPS 50696 HAS SOUS 45954 HAS SOUPS 45954 WITH SCORE 46004.696
AT ITER 997 NEW BEST:: SOT 145089 SOS 50727 HAS SOPS 50727 HAS SOUS 45839 HAS SOUPS 45839 WITH SCORE 45889.727
AT ITER 1002 NEW BEST:: SOT 145063 SOS 50525 HAS SOPS 50525 HAS SOUS 45750 HAS SOUPS 45750 WITH SCORE 45800.525
AT ITER 1003 NEW BEST:: SOT 145061 SOS 50532 HAS SOPS 50532 HAS SOUS 45748 HAS SOUPS 45748 WITH SCORE 45798.532
AT ITER 1007 NEW BEST:: SOT 145031 SOS 50721 HAS SOPS 50721 HAS SOUS 45718 HAS SOUPS 45718 WITH SCORE 45768.721
AT ITER 1008 NEW BEST:: SOT 144923 SOS 50505 HAS SOPS 50505 HAS SOUS 45502 HAS SOUPS 45502 WITH SCORE 45552.505
AT ITER 1009 NEW BEST:: SOT 144589 SOS 49837 HAS SOPS 49837 HAS SOUS 44863 HAS SOUPS 44863 WITH SCORE 44912.837
AT ITER 1010 NEW BEST:: SOT 144558 SOS 49364 HAS SOPS 49364 HAS SOUS 44624 HAS SOUPS 44624 WITH SCORE 44673.364
AT ITER 1024 NEW BEST:: SOT 144464 SOS 49503 HAS SOPS 49503 HAS SOUS 44530 HAS SOUPS 44530 WITH SCORE 44579.503
AT ITER 1029 NEW BEST:: SOT 144484 SOS 49375 HAS SOPS 49375 HAS SOUS 44459 HAS SOUPS 44459 WITH SCORE 44508.375
AT ITER 1031 NEW BEST:: SOT 144434 SOS 49275 HAS SOPS 49275 HAS SOUS 44409 HAS SOUPS 44409 WITH SCORE 44458.275
AT ITER 1032 NEW BEST:: SOT 144427 SOS 49294 HAS SOPS 49294 HAS SOUS 44402 HAS SOUPS 44402 WITH SCORE 44451.294
AT ITER 1039 NEW BEST:: SOT 144427 SOS 49294 HAS SOPS 49294 HAS SOUS 44393 HAS SOUPS 44393 WITH SCORE 44442.294
AT ITER 1041 NEW BEST:: SOT 144277 SOS 48994 HAS SOPS 48994 HAS SOUS 44093 HAS SOUPS 44093 WITH SCORE 44141.994
AT ITER 1043 NEW BEST:: SOT 144272 SOS 49199 HAS SOPS 49199 HAS SOUS 43989 HAS SOUPS 43989 WITH SCORE 44038.199
AT ITER 1047 NEW BEST:: SOT 144235 SOS 49088 HAS SOPS 49088 HAS SOUS 43915 HAS SOUPS 43915 WITH SCORE 43964.088
AT ITER 1056 NEW BEST:: SOT 144196 SOS 49010 HAS SOPS 49010 HAS SOUS 43876 HAS SOUPS 43876 WITH SCORE 43925.01
AT ITER 1058 NEW BEST:: SOT 144181 SOS 48995 HAS SOPS 48995 HAS SOUS 43861 HAS SOUPS 43861 WITH SCORE 43909.995
AT ITER 1062 NEW BEST:: SOT 144099 SOS 48831 HAS SOPS 48831 HAS SOUS 43740 HAS SOUPS 43740 WITH SCORE 43788.831
AT ITER 1073 NEW BEST:: SOT 144300 SOS 48665 HAS SOPS 48665 HAS SOUS 43574 HAS SOUPS 43574 WITH SCORE 43622.665
AT ITER 1079 NEW BEST:: SOT 144234 SOS 48533 HAS SOPS 48533 HAS SOUS 43469 HAS SOUPS 43469 WITH SCORE 43517.533
AT ITER 1081 NEW BEST:: SOT 144228 SOS 48521 HAS SOPS 48521 HAS SOUS 43462 HAS SOUPS 43462 WITH SCORE 43510.521
AT ITER 1082 NEW BEST:: SOT 143762 SOS 48027 HAS SOPS 48027 HAS SOUS 42719 HAS SOUPS 42719 WITH SCORE 42767.027
AT ITER 1083 NEW BEST:: SOT 143658 SOS 47819 HAS SOPS 47819 HAS SOUS 42615 HAS SOUPS 42615 WITH SCORE 42662.819
AT ITER 1085 NEW BEST:: SOT 143681 SOS 47623 HAS SOPS 47623 HAS SOUS 42458 HAS SOUPS 42458 WITH SCORE 42505.623
AT ITER 1086 NEW BEST:: SOT 143586 SOS 47433 HAS SOPS 47433 HAS SOUS 42268 HAS SOUPS 42268 WITH SCORE 42315.433
AT ITER 1089 NEW BEST:: SOT 143586 SOS 47359 HAS SOPS 47359 HAS SOUS 42268 HAS SOUPS 42268 WITH SCORE 42315.359
AT ITER 1097 NEW BEST:: SOT 143581 SOS 47360 HAS SOPS 47360 HAS SOUS 42263 HAS SOUPS 42263 WITH SCORE 42310.36
AT ITER 1107 NEW BEST:: SOT 143581 SOS 47329 HAS SOPS 47329 HAS SOUS 42232 HAS SOUPS 42232 WITH SCORE 42279.329
AT ITER 1110 NEW BEST:: SOT 143552 SOS 47271 HAS SOPS 47271 HAS SOUS 42203 HAS SOUPS 42203 WITH SCORE 42250.271
AT ITER 1117 NEW BEST:: SOT 143491 SOS 47088 HAS SOPS 47088 HAS SOUS 42081 HAS SOUPS 42081 WITH SCORE 42128.088
AT ITER 1118 NEW BEST:: SOT 143491 SOS 47088 HAS SOPS 47088 HAS SOUS 41992 HAS SOUPS 41992 WITH SCORE 42039.088
AT ITER 1120 NEW BEST:: SOT 143428 SOS 46962 HAS SOPS 46962 HAS SOUS 41866 HAS SOUPS 41866 WITH SCORE 41912.962
AT ITER 1121 NEW BEST:: SOT 143428 SOS 46872 HAS SOPS 46872 HAS SOUS 41866 HAS SOUPS 41866 WITH SCORE 41912.872
AT ITER 1124 NEW BEST:: SOT 143308 SOS 46632 HAS SOPS 46632 HAS SOUS 41746 HAS SOUPS 41746 WITH SCORE 41792.632
AT ITER 1129 NEW BEST:: SOT 143278 SOS 46626 HAS SOPS 46626 HAS SOUS 41716 HAS SOUPS 41716 WITH SCORE 41762.626
AT ITER 1134 NEW BEST:: SOT 143144 SOS 46358 HAS SOPS 46358 HAS SOUS 41520 HAS SOUPS 41520 WITH SCORE 41566.358
AT ITER 1143 NEW BEST:: SOT 143106 SOS 46320 HAS SOPS 46320 HAS SOUS 41482 HAS SOUPS 41482 WITH SCORE 41528.32
AT ITER 1146 NEW BEST:: SOT 143078 SOS 46501 HAS SOPS 46501 HAS SOUS 41426 HAS SOUPS 41426 WITH SCORE 41472.501
AT ITER 1147 NEW BEST:: SOT 142973 SOS 46698 HAS SOPS 46698 HAS SOUS 41321 HAS SOUPS 41321 WITH SCORE 41367.698
AT ITER 1148 NEW BEST:: SOT 142961 SOS 46674 HAS SOPS 46674 HAS SOUS 41297 HAS SOUPS 41297 WITH SCORE 41343.674
AT ITER 1150 NEW BEST:: SOT 142957 SOS 46564 HAS SOPS 46564 HAS SOUS 41293 HAS SOUPS 41293 WITH SCORE 41339.564
AT ITER 1151 NEW BEST:: SOT 142907 SOS 46464 HAS SOPS 46464 HAS SOUS 41193 HAS SOUPS 41193 WITH SCORE 41239.464
AT ITER 1158 NEW BEST:: SOT 142907 SOS 46339 HAS SOPS 46339 HAS SOUS 41193 HAS SOUPS 41193 WITH SCORE 41239.339
AT ITER 1161 NEW BEST:: SOT 142907 SOS 46339 HAS SOPS 46339 HAS SOUS 41179 HAS SOUPS 41179 WITH SCORE 41225.339
AT ITER 1170 NEW BEST:: SOT 142896 SOS 46317 HAS SOPS 46317 HAS SOUS 41157 HAS SOUPS 41157 WITH SCORE 41203.317
AT ITER 1171 NEW BEST:: SOT 142951 SOS 46234 HAS SOPS 46234 HAS SOUS 41074 HAS SOUPS 41074 WITH SCORE 41120.234
AT ITER 1178 NEW BEST:: SOT 142941 SOS 46214 HAS SOPS 46214 HAS SOUS 41054 HAS SOUPS 41054 WITH SCORE 41100.214
AT ITER 1182 NEW BEST:: SOT 142903 SOS 46138 HAS SOPS 46138 HAS SOUS 40991 HAS SOUPS 40991 WITH SCORE 41037.138
AT ITER 1183 NEW BEST:: SOT 142605 SOS 45542 HAS SOPS 45542 HAS SOUS 40395 HAS SOUPS 40395 WITH SCORE 40440.542
AT ITER 1185 NEW BEST:: SOT 142605 SOS 45420 HAS SOPS 45420 HAS SOUS 40395 HAS SOUPS 40395 WITH SCORE 40440.42
AT ITER 1186 NEW BEST:: SOT 142550 SOS 45365 HAS SOPS 45365 HAS SOUS 40340 HAS SOUPS 40340 WITH SCORE 40385.365
AT ITER 1187 NEW BEST:: SOT 142541 SOS 45347 HAS SOPS 45347 HAS SOUS 40322 HAS SOUPS 40322 WITH SCORE 40367.347
AT ITER 1190 NEW BEST:: SOT 142494 SOS 45042 HAS SOPS 45042 HAS SOUS 40228 HAS SOUPS 40228 WITH SCORE 40273.042
AT ITER 1191 NEW BEST:: SOT 142337 SOS 44728 HAS SOPS 44728 HAS SOUS 40012 HAS SOUPS 40012 WITH SCORE 40056.728
AT ITER 1198 NEW BEST:: SOT 142151 SOS 44501 HAS SOPS 44501 HAS SOUS 39718 HAS SOUPS 39718 WITH SCORE 39762.501
AT ITER 1201 NEW BEST:: SOT 142147 SOS 44608 HAS SOPS 44608 HAS SOUS 39714 HAS SOUPS 39714 WITH SCORE 39758.608
AT ITER 1203 NEW BEST:: SOT 142129 SOS 44572 HAS SOPS 44572 HAS SOUS 39687 HAS SOUPS 39687 WITH SCORE 39731.572
AT ITER 1209 NEW BEST:: SOT 142080 SOS 44474 HAS SOPS 44474 HAS SOUS 39631 HAS SOUPS 39631 WITH SCORE 39675.474
AT ITER 1214 NEW BEST:: SOT 141816 SOS 44232 HAS SOPS 44232 HAS SOUS 39401 HAS SOUPS 39401 WITH SCORE 39445.232
AT ITER 1230 NEW BEST:: SOT 141807 SOS 44214 HAS SOPS 44214 HAS SOUS 39382 HAS SOUPS 39382 WITH SCORE 39426.214
AT ITER 1233 NEW BEST:: SOT 141797 SOS 44194 HAS SOPS 44194 HAS SOUS 39362 HAS SOUPS 39362 WITH SCORE 39406.194
AT ITER 1238 NEW BEST:: SOT 141831 SOS 44167 HAS SOPS 44167 HAS SOUS 39338 HAS SOUPS 39338 WITH SCORE 39382.167
AT ITER 1241 NEW BEST:: SOT 141723 SOS 43843 HAS SOPS 43843 HAS SOUS 39122 HAS SOUPS 39122 WITH SCORE 39165.843
AT ITER 1244 NEW BEST:: SOT 141708 SOS 43813 HAS SOPS 43813 HAS SOUS 39061 HAS SOUPS 39061 WITH SCORE 39104.813
AT ITER 1248 NEW BEST:: SOT 141626 SOS 43762 HAS SOPS 43762 HAS SOUS 39004 HAS SOUPS 39004 WITH SCORE 39047.762
AT ITER 1253 NEW BEST:: SOT 141388 SOS 43286 HAS SOPS 43286 HAS SOUS 38528 HAS SOUPS 38528 WITH SCORE 38571.286
AT ITER 1254 NEW BEST:: SOT 141388 SOS 43171 HAS SOPS 43171 HAS SOUS 38528 HAS SOUPS 38528 WITH SCORE 38571.171
AT ITER 1255 NEW BEST:: SOT 141391 SOS 43177 HAS SOPS 43177 HAS SOUS 38440 HAS SOUPS 38440 WITH SCORE 38483.177
AT ITER 1261 NEW BEST:: SOT 141348 SOS 42627 HAS SOPS 42627 HAS SOUS 38397 HAS SOUPS 38397 WITH SCORE 38439.627
AT ITER 1264 NEW BEST:: SOT 141348 SOS 42627 HAS SOPS 42627 HAS SOUS 38286 HAS SOUPS 38286 WITH SCORE 38328.627
AT ITER 1283 NEW BEST:: SOT 141293 SOS 42517 HAS SOPS 42517 HAS SOUS 38188 HAS SOUPS 38188 WITH SCORE 38230.517
AT ITER 1288 NEW BEST:: SOT 141192 SOS 42466 HAS SOPS 42466 HAS SOUS 38137 HAS SOUPS 38137 WITH SCORE 38179.466
AT ITER 1289 NEW BEST:: SOT 141186 SOS 42454 HAS SOPS 42454 HAS SOUS 38131 HAS SOUPS 38131 WITH SCORE 38173.454
AT ITER 1303 NEW BEST:: SOT 141176 SOS 42434 HAS SOPS 42434 HAS SOUS 38070 HAS SOUPS 38070 WITH SCORE 38112.434
AT ITER 1304 NEW BEST:: SOT 141139 SOS 42310 HAS SOPS 42310 HAS SOUS 37983 HAS SOUPS 37983 WITH SCORE 38025.31
AT ITER 1310 NEW BEST:: SOT 141136 SOS 42304 HAS SOPS 42304 HAS SOUS 37980 HAS SOUPS 37980 WITH SCORE 38022.304
AT ITER 1316 NEW BEST:: SOT 141051 SOS 42134 HAS SOPS 42134 HAS SOUS 37823 HAS SOUPS 37823 WITH SCORE 37865.134
AT ITER 1323 NEW BEST:: SOT 140946 SOS 42038 HAS SOPS 42038 HAS SOUS 37727 HAS SOUPS 37727 WITH SCORE 37769.038
AT ITER 1337 NEW BEST:: SOT 140701 SOS 41770 HAS SOPS 41770 HAS SOUS 37455 HAS SOUPS 37455 WITH SCORE 37496.77
AT ITER 1343 NEW BEST:: SOT 140518 SOS 41654 HAS SOPS 41654 HAS SOUS 37173 HAS SOUPS 37173 WITH SCORE 37214.654
AT ITER 1351 NEW BEST:: SOT 140518 SOS 41654 HAS SOPS 41654 HAS SOUS 37105 HAS SOUPS 37105 WITH SCORE 37146.654
AT ITER 1361 NEW BEST:: SOT 140457 SOS 41471 HAS SOPS 41471 HAS SOUS 37044 HAS SOUPS 37044 WITH SCORE 37085.471
AT ITER 1364 NEW BEST:: SOT 140357 SOS 41470 HAS SOPS 41470 HAS SOUS 36944 HAS SOUPS 36944 WITH SCORE 36985.47
AT ITER 1366 NEW BEST:: SOT 140211 SOS 41388 HAS SOPS 41388 HAS SOUS 36800 HAS SOUPS 36800 WITH SCORE 36841.388
AT ITER 1369 NEW BEST:: SOT 140209 SOS 41385 HAS SOPS 41385 HAS SOUS 36797 HAS SOUPS 36797 WITH SCORE 36838.385
AT ITER 1373 NEW BEST:: SOT 140076 SOS 41119 HAS SOPS 41119 HAS SOUS 36562 HAS SOUPS 36562 WITH SCORE 36603.119
AT ITER 1378 NEW BEST:: SOT 140029 SOS 41025 HAS SOPS 41025 HAS SOUS 36468 HAS SOUPS 36468 WITH SCORE 36509.025
AT ITER 1384 NEW BEST:: SOT 140027 SOS 41021 HAS SOPS 41021 HAS SOUS 36466 HAS SOUPS 36466 WITH SCORE 36507.021
AT ITER 1386 NEW BEST:: SOT 140013 SOS 40993 HAS SOPS 40993 HAS SOUS 36452 HAS SOUPS 36452 WITH SCORE 36492.993
AT ITER 1387 NEW BEST:: SOT 140007 SOS 40981 HAS SOPS 40981 HAS SOUS 36440 HAS SOUPS 36440 WITH SCORE 36480.981
AT ITER 1394 NEW BEST:: SOT 139967 SOS 40901 HAS SOPS 40901 HAS SOUS 36360 HAS SOUPS 36360 WITH SCORE 36400.901
AT ITER 1398 NEW BEST:: SOT 139937 SOS 40841 HAS SOPS 40841 HAS SOUS 36263 HAS SOUPS 36263 WITH SCORE 36303.841
AT ITER 1403 NEW BEST:: SOT 140017 SOS 40770 HAS SOPS 40770 HAS SOUS 36229 HAS SOUPS 36229 WITH SCORE 36269.77
AT ITER 1406 NEW BEST:: SOT 139941 SOS 40834 HAS SOPS 40834 HAS SOUS 36153 HAS SOUPS 36153 WITH SCORE 36193.834
AT ITER 1407 NEW BEST:: SOT 139893 SOS 40738 HAS SOPS 40738 HAS SOUS 36057 HAS SOUPS 36057 WITH SCORE 36097.738
AT ITER 1412 NEW BEST:: SOT 139789 SOS 40530 HAS SOPS 40530 HAS SOUS 35849 HAS SOUPS 35849 WITH SCORE 35889.53
AT ITER 1416 NEW BEST:: SOT 139774 SOS 40500 HAS SOPS 40500 HAS SOUS 35819 HAS SOUPS 35819 WITH SCORE 35859.5
AT ITER 1418 NEW BEST:: SOT 139694 SOS 40340 HAS SOPS 40340 HAS SOUS 35633 HAS SOUPS 35633 WITH SCORE 35673.34
AT ITER 1420 NEW BEST:: SOT 139662 SOS 40276 HAS SOPS 40276 HAS SOUS 35509 HAS SOUPS 35509 WITH SCORE 35549.276
AT ITER 1421 NEW BEST:: SOT 139638 SOS 40228 HAS SOPS 40228 HAS SOUS 35485 HAS SOUPS 35485 WITH SCORE 35525.228
AT ITER 1422 NEW BEST:: SOT 139625 SOS 40202 HAS SOPS 40202 HAS SOUS 35459 HAS SOUPS 35459 WITH SCORE 35499.202
AT ITER 1428 NEW BEST:: SOT 139623 SOS 40198 HAS SOPS 40198 HAS SOUS 35457 HAS SOUPS 35457 WITH SCORE 35497.198
AT ITER 1429 NEW BEST:: SOT 139572 SOS 40096 HAS SOPS 40096 HAS SOUS 35406 HAS SOUPS 35406 WITH SCORE 35446.096
AT ITER 1434 NEW BEST:: SOT 139541 SOS 40065 HAS SOPS 40065 HAS SOUS 35375 HAS SOUPS 35375 WITH SCORE 35415.065
AT ITER 1450 NEW BEST:: SOT 139540 SOS 40063 HAS SOPS 40063 HAS SOUS 35372 HAS SOUPS 35372 WITH SCORE 35412.063
AT ITER 1453 NEW BEST:: SOT 139542 SOS 40067 HAS SOPS 40067 HAS SOUS 35329 HAS SOUPS 35329 WITH SCORE 35369.067
AT ITER 1458 NEW BEST:: SOT 139529 SOS 40041 HAS SOPS 40041 HAS SOUS 35210 HAS SOUPS 35210 WITH SCORE 35250.041
AT ITER 1460 NEW BEST:: SOT 139448 SOS 40019 HAS SOPS 40019 HAS SOUS 35093 HAS SOUPS 35093 WITH SCORE 35133.019
AT ITER 1465 NEW BEST:: SOT 139282 SOS 39968 HAS SOPS 39968 HAS SOUS 34959 HAS SOUPS 34959 WITH SCORE 34998.968
AT ITER 1468 NEW BEST:: SOT 139156 SOS 39786 HAS SOPS 39786 HAS SOUS 34777 HAS SOUPS 34777 WITH SCORE 34816.786
AT ITER 1474 NEW BEST:: SOT 139091 SOS 39656 HAS SOPS 39656 HAS SOUS 34712 HAS SOUPS 34712 WITH SCORE 34751.656
AT ITER 1493 NEW BEST:: SOT 139042 SOS 39558 HAS SOPS 39558 HAS SOUS 34663 HAS SOUPS 34663 WITH SCORE 34702.558
AT ITER 1497 NEW BEST:: SOT 139042 SOS 39440 HAS SOPS 39440 HAS SOUS 34545 HAS SOUPS 34545 WITH SCORE 34584.44
AT ITER 1532 NEW BEST:: SOT 138995 SOS 39346 HAS SOPS 39346 HAS SOUS 34497 HAS SOUPS 34497 WITH SCORE 34536.346
AT ITER 1541 NEW BEST:: SOT 138975 SOS 39306 HAS SOPS 39306 HAS SOUS 34457 HAS SOUPS 34457 WITH SCORE 34496.306
AT ITER 1546 NEW BEST:: SOT 139071 SOS 39298 HAS SOPS 39298 HAS SOUS 34449 HAS SOUPS 34449 WITH SCORE 34488.298
AT ITER 1547 NEW BEST:: SOT 139059 SOS 39286 HAS SOPS 39286 HAS SOUS 34449 HAS SOUPS 34449 WITH SCORE 34488.286
AT ITER 1548 NEW BEST:: SOT 138900 SOS 38968 HAS SOPS 38968 HAS SOUS 34125 HAS SOUPS 34125 WITH SCORE 34163.968
AT ITER 1552 NEW BEST:: SOT 138853 SOS 38965 HAS SOPS 38965 HAS SOUS 34122 HAS SOUPS 34122 WITH SCORE 34160.965
AT ITER 1562 NEW BEST:: SOT 138833 SOS 38945 HAS SOPS 38945 HAS SOUS 34102 HAS SOUPS 34102 WITH SCORE 34140.945
AT ITER 1567 NEW BEST:: SOT 138633 SOS 38545 HAS SOPS 38545 HAS SOUS 33802 HAS SOUPS 33802 WITH SCORE 33840.545
AT ITER 1573 NEW BEST:: SOT 138570 SOS 38419 HAS SOPS 38419 HAS SOUS 33676 HAS SOUPS 33676 WITH SCORE 33714.419
AT ITER 1574 NEW BEST:: SOT 138570 SOS 38395 HAS SOPS 38395 HAS SOUS 33676 HAS SOUPS 33676 WITH SCORE 33714.395
AT ITER 1592 NEW BEST:: SOT 138521 SOS 38065 HAS SOPS 38065 HAS SOUS 33500 HAS SOUPS 33500 WITH SCORE 33538.065
AT ITER 1595 NEW BEST:: SOT 138390 SOS 37803 HAS SOPS 37803 HAS SOUS 33369 HAS SOUPS 33369 WITH SCORE 33406.803
AT ITER 1596 NEW BEST:: SOT 138367 SOS 37757 HAS SOPS 37757 HAS SOUS 33342 HAS SOUPS 33342 WITH SCORE 33379.757
AT ITER 1603 NEW BEST:: SOT 138351 SOS 37725 HAS SOPS 37725 HAS SOUS 33247 HAS SOUPS 33247 WITH SCORE 33284.725
AT ITER 1609 NEW BEST:: SOT 138240 SOS 37503 HAS SOPS 37503 HAS SOUS 33097 HAS SOUPS 33097 WITH SCORE 33134.503
AT ITER 1617 NEW BEST:: SOT 138204 SOS 37431 HAS SOPS 37431 HAS SOUS 33009 HAS SOUPS 33009 WITH SCORE 33046.431
AT ITER 1618 NEW BEST:: SOT 138204 SOS 37431 HAS SOPS 37431 HAS SOUS 32987 HAS SOUPS 32987 WITH SCORE 33024.431
AT ITER 1620 NEW BEST:: SOT 138245 SOS 37350 HAS SOPS 37350 HAS SOUS 32973 HAS SOUPS 32973 WITH SCORE 33010.35
AT ITER 1627 NEW BEST:: SOT 138227 SOS 37296 HAS SOPS 37296 HAS SOUS 32937 HAS SOUPS 32937 WITH SCORE 32974.296
AT ITER 1628 NEW BEST:: SOT 138210 SOS 37262 HAS SOPS 37262 HAS SOUS 32920 HAS SOUPS 32920 WITH SCORE 32957.262
AT ITER 1632 NEW BEST:: SOT 138130 SOS 37102 HAS SOPS 37102 HAS SOUS 32782 HAS SOUPS 32782 WITH SCORE 32819.102
AT ITER 1633 NEW BEST:: SOT 138035 SOS 36912 HAS SOPS 36912 HAS SOUS 32638 HAS SOUPS 32638 WITH SCORE 32674.912
AT ITER 1634 NEW BEST:: SOT 138008 SOS 36831 HAS SOPS 36831 HAS SOUS 32611 HAS SOUPS 32611 WITH SCORE 32647.831
AT ITER 1636 NEW BEST:: SOT 137984 SOS 36807 HAS SOPS 36807 HAS SOUS 32587 HAS SOUPS 32587 WITH SCORE 32623.807
AT ITER 1650 NEW BEST:: SOT 137904 SOS 36232 HAS SOPS 36232 HAS SOUS 32111 HAS SOUPS 32111 WITH SCORE 32147.232
AT ITER 1655 NEW BEST:: SOT 137899 SOS 36227 HAS SOPS 36227 HAS SOUS 32106 HAS SOUPS 32106 WITH SCORE 32142.227
AT ITER 1663 NEW BEST:: SOT 137652 SOS 35925 HAS SOPS 35925 HAS SOUS 31804 HAS SOUPS 31804 WITH SCORE 31839.925
AT ITER 1670 NEW BEST:: SOT 137595 SOS 35811 HAS SOPS 35811 HAS SOUS 31690 HAS SOUPS 31690 WITH SCORE 31725.811
AT ITER 1673 NEW BEST:: SOT 137580 SOS 35781 HAS SOPS 35781 HAS SOUS 31660 HAS SOUPS 31660 WITH SCORE 31695.781
AT ITER 1677 NEW BEST:: SOT 137619 SOS 35770 HAS SOPS 35770 HAS SOUS 31649 HAS SOUPS 31649 WITH SCORE 31684.77
AT ITER 1684 NEW BEST:: SOT 137605 SOS 35563 HAS SOPS 35563 HAS SOUS 31630 HAS SOUPS 31630 WITH SCORE 31665.563
AT ITER 1685 NEW BEST:: SOT 137467 SOS 35287 HAS SOPS 35287 HAS SOUS 31431 HAS SOUPS 31431 WITH SCORE 31466.287
AT ITER 1698 NEW BEST:: SOT 137496 SOS 35129 HAS SOPS 35129 HAS SOUS 31424 HAS SOUPS 31424 WITH SCORE 31459.129
AT ITER 1704 NEW BEST:: SOT 137389 SOS 34915 HAS SOPS 34915 HAS SOUS 31211 HAS SOUPS 31211 WITH SCORE 31245.915
AT ITER 1705 NEW BEST:: SOT 137422 SOS 34904 HAS SOPS 34904 HAS SOUS 31200 HAS SOUPS 31200 WITH SCORE 31234.904
AT ITER 1707 NEW BEST:: SOT 137411 SOS 34775 HAS SOPS 34775 HAS SOUS 31098 HAS SOUPS 31098 WITH SCORE 31132.775
AT ITER 1710 NEW BEST:: SOT 137357 SOS 34667 HAS SOPS 34667 HAS SOUS 30845 HAS SOUPS 30845 WITH SCORE 30879.667
AT ITER 1720 NEW BEST:: SOT 137266 SOS 34576 HAS SOPS 34576 HAS SOUS 30754 HAS SOUPS 30754 WITH SCORE 30788.576
AT ITER 1722 NEW BEST:: SOT 137227 SOS 34498 HAS SOPS 34498 HAS SOUS 30650 HAS SOUPS 30650 WITH SCORE 30684.498
AT ITER 1733 NEW BEST:: SOT 137203 SOS 34557 HAS SOPS 34557 HAS SOUS 30626 HAS SOUPS 30626 WITH SCORE 30660.557
AT ITER 1734 NEW BEST:: SOT 137199 SOS 34440 HAS SOPS 34440 HAS SOUS 30622 HAS SOUPS 30622 WITH SCORE 30656.44
AT ITER 1737 NEW BEST:: SOT 137150 SOS 34342 HAS SOPS 34342 HAS SOUS 30560 HAS SOUPS 30560 WITH SCORE 30594.342
AT ITER 1742 NEW BEST:: SOT 137088 SOS 34249 HAS SOPS 34249 HAS SOUS 30467 HAS SOUPS 30467 WITH SCORE 30501.249
AT ITER 1752 NEW BEST:: SOT 137078 SOS 34229 HAS SOPS 34229 HAS SOUS 30457 HAS SOUPS 30457 WITH SCORE 30491.229
AT ITER 1760 NEW BEST:: SOT 136969 SOS 34011 HAS SOPS 34011 HAS SOUS 30317 HAS SOUPS 30317 WITH SCORE 30351.011
AT ITER 1764 NEW BEST:: SOT 136901 SOS 33952 HAS SOPS 33952 HAS SOUS 30233 HAS SOUPS 30233 WITH SCORE 30266.952
AT ITER 1770 NEW BEST:: SOT 136822 SOS 33873 HAS SOPS 33873 HAS SOUS 30154 HAS SOUPS 30154 WITH SCORE 30187.873
AT ITER 1772 NEW BEST:: SOT 136733 SOS 33889 HAS SOPS 33889 HAS SOUS 30009 HAS SOUPS 30009 WITH SCORE 30042.889
AT ITER 1778 NEW BEST:: SOT 136669 SOS 33944 HAS SOPS 33944 HAS SOUS 29892 HAS SOUPS 29892 WITH SCORE 29925.944
AT ITER 1794 NEW BEST:: SOT 136650 SOS 33641 HAS SOPS 33641 HAS SOUS 29790 HAS SOUPS 29790 WITH SCORE 29823.641
AT ITER 1803 NEW BEST:: SOT 136540 SOS 33421 HAS SOPS 33421 HAS SOUS 29609 HAS SOUPS 29609 WITH SCORE 29642.421
AT ITER 1808 NEW BEST:: SOT 136490 SOS 33321 HAS SOPS 33321 HAS SOUS 29559 HAS SOUPS 29559 WITH SCORE 29592.321
AT ITER 1814 NEW BEST:: SOT 136490 SOS 33321 HAS SOPS 33321 HAS SOUS 29554 HAS SOUPS 29554 WITH SCORE 29587.321
AT ITER 1816 NEW BEST:: SOT 136417 SOS 33248 HAS SOPS 33248 HAS SOUS 29515 HAS SOUPS 29515 WITH SCORE 29548.248
AT ITER 1826 NEW BEST:: SOT 136374 SOS 33111 HAS SOPS 33111 HAS SOUS 29472 HAS SOUPS 29472 WITH SCORE 29505.111
AT ITER 1829 NEW BEST:: SOT 136344 SOS 33185 HAS SOPS 33185 HAS SOUS 29430 HAS SOUPS 29430 WITH SCORE 29463.185
AT ITER 1833 NEW BEST:: SOT 136312 SOS 33153 HAS SOPS 33153 HAS SOUS 29398 HAS SOUPS 29398 WITH SCORE 29431.153
AT ITER 1843 NEW BEST:: SOT 136289 SOS 33107 HAS SOPS 33107 HAS SOUS 29352 HAS SOUPS 29352 WITH SCORE 29385.107
AT ITER 1853 NEW BEST:: SOT 136238 SOS 33005 HAS SOPS 33005 HAS SOUS 29276 HAS SOUPS 29276 WITH SCORE 29309.005
AT ITER 1861 NEW BEST:: SOT 136238 SOS 33005 HAS SOPS 33005 HAS SOUS 29269 HAS SOUPS 29269 WITH SCORE 29302.005
AT ITER 1864 NEW BEST:: SOT 136133 SOS 32863 HAS SOPS 32863 HAS SOUS 29116 HAS SOUPS 29116 WITH SCORE 29148.863
AT ITER 1865 NEW BEST:: SOT 136280 SOS 33157 HAS SOPS 33157 HAS SOUS 29108 HAS SOUPS 29108 WITH SCORE 29141.157
AT ITER 1876 NEW BEST:: SOT 136162 SOS 33233 HAS SOPS 33233 HAS SOUS 29059 HAS SOUPS 29059 WITH SCORE 29092.233
AT ITER 1882 NEW BEST:: SOT 136162 SOS 33223 HAS SOPS 33223 HAS SOUS 29059 HAS SOUPS 29059 WITH SCORE 29092.223
AT ITER 1898 NEW BEST:: SOT 136205 SOS 33197 HAS SOPS 33197 HAS SOUS 29033 HAS SOUPS 29033 WITH SCORE 29066.197
AT ITER 1899 NEW BEST:: SOT 136199 SOS 33185 HAS SOPS 33185 HAS SOUS 29027 HAS SOUPS 29027 WITH SCORE 29060.185
AT ITER 1905 NEW BEST:: SOT 136102 SOS 33088 HAS SOPS 33088 HAS SOUS 28930 HAS SOUPS 28930 WITH SCORE 28963.088
AT ITER 1910 NEW BEST:: SOT 136088 SOS 33060 HAS SOPS 33060 HAS SOUS 28916 HAS SOUPS 28916 WITH SCORE 28949.06
AT ITER 1916 NEW BEST:: SOT 136088 SOS 32995 HAS SOPS 32995 HAS SOUS 28916 HAS SOUPS 28916 WITH SCORE 28948.995
AT ITER 1922 NEW BEST:: SOT 136018 SOS 32955 HAS SOPS 32955 HAS SOUS 28846 HAS SOUPS 28846 WITH SCORE 28878.955
AT ITER 1923 NEW BEST:: SOT 135990 SOS 32899 HAS SOPS 32899 HAS SOUS 28790 HAS SOUPS 28790 WITH SCORE 28822.899
AT ITER 1924 NEW BEST:: SOT 135870 SOS 32789 HAS SOPS 32789 HAS SOUS 28672 HAS SOUPS 28672 WITH SCORE 28704.789
AT ITER 1950 NEW BEST:: SOT 135922 SOS 32893 HAS SOPS 32893 HAS SOUS 28643 HAS SOUPS 28643 WITH SCORE 28675.893
AT ITER 1966 NEW BEST:: SOT 135921 SOS 32866 HAS SOPS 32866 HAS SOUS 28617 HAS SOUPS 28617 WITH SCORE 28649.866
AT ITER 1973 NEW BEST:: SOT 135920 SOS 32864 HAS SOPS 32864 HAS SOUS 28616 HAS SOUPS 28616 WITH SCORE 28648.864
AT ITER 1975 NEW BEST:: SOT 135780 SOS 32401 HAS SOPS 32401 HAS SOUS 28409 HAS SOUPS 28409 WITH SCORE 28441.401
AT ITER 1976 NEW BEST:: SOT 135778 SOS 32397 HAS SOPS 32397 HAS SOUS 28405 HAS SOUPS 28405 WITH SCORE 28437.397
AT ITER 1984 NEW BEST:: SOT 135751 SOS 32316 HAS SOPS 32316 HAS SOUS 28378 HAS SOUPS 28378 WITH SCORE 28410.316
AT ITER 1993 NEW BEST:: SOT 135618 SOS 32050 HAS SOPS 32050 HAS SOUS 28112 HAS SOUPS 28112 WITH SCORE 28144.05
AT ITER 1999 NEW BEST:: SOT 135618 SOS 32039 HAS SOPS 32039 HAS SOUS 28112 HAS SOUPS 28112 WITH SCORE 28144.039
AT ITER 2003 NEW BEST:: SOT 135618 SOS 31998 HAS SOPS 31998 HAS SOUS 28112 HAS SOUPS 28112 WITH SCORE 28143.998
AT ITER 2016 NEW BEST:: SOT 135580 SOS 32023 HAS SOPS 32023 HAS SOUS 28074 HAS SOUPS 28074 WITH SCORE 28106.023
AT ITER 2028 NEW BEST:: SOT 135584 SOS 31841 HAS SOPS 31841 HAS SOUS 27914 HAS SOUPS 27914 WITH SCORE 27945.841
AT ITER 2041 NEW BEST:: SOT 135555 SOS 31783 HAS SOPS 31783 HAS SOUS 27857 HAS SOUPS 27857 WITH SCORE 27888.783
AT ITER 2064 NEW BEST:: SOT 135517 SOS 31707 HAS SOPS 31707 HAS SOUS 27818 HAS SOUPS 27818 WITH SCORE 27849.707
AT ITER 2067 NEW BEST:: SOT 135444 SOS 31561 HAS SOPS 31561 HAS SOUS 27742 HAS SOUPS 27742 WITH SCORE 27773.561
AT ITER 2068 NEW BEST:: SOT 135444 SOS 31561 HAS SOPS 31561 HAS SOUS 27686 HAS SOUPS 27686 WITH SCORE 27717.561
AT ITER 2075 NEW BEST:: SOT 135316 SOS 31305 HAS SOPS 31305 HAS SOUS 27541 HAS SOUPS 27541 WITH SCORE 27572.305
AT ITER 2083 NEW BEST:: SOT 135301 SOS 31275 HAS SOPS 31275 HAS SOUS 27480 HAS SOUPS 27480 WITH SCORE 27511.275
AT ITER 2092 NEW BEST:: SOT 135244 SOS 31161 HAS SOPS 31161 HAS SOUS 27366 HAS SOUPS 27366 WITH SCORE 27397.161
AT ITER 2102 NEW BEST:: SOT 135229 SOS 31131 HAS SOPS 31131 HAS SOUS 27336 HAS SOUPS 27336 WITH SCORE 27367.131
AT ITER 2103 NEW BEST:: SOT 135125 SOS 30988 HAS SOPS 30988 HAS SOUS 27193 HAS SOUPS 27193 WITH SCORE 27223.988
AT ITER 2105 NEW BEST:: SOT 135032 SOS 30886 HAS SOPS 30886 HAS SOUS 27091 HAS SOUPS 27091 WITH SCORE 27121.886
AT ITER 2129 NEW BEST:: SOT 135013 SOS 30848 HAS SOPS 30848 HAS SOUS 27053 HAS SOUPS 27053 WITH SCORE 27083.848
AT ITER 2138 NEW BEST:: SOT 134986 SOS 30794 HAS SOPS 30794 HAS SOUS 27052 HAS SOUPS 27052 WITH SCORE 27082.794
AT ITER 2145 NEW BEST:: SOT 134864 SOS 30550 HAS SOPS 30550 HAS SOUS 26777 HAS SOUPS 26777 WITH SCORE 26807.55
AT ITER 2148 NEW BEST:: SOT 134796 SOS 30414 HAS SOPS 30414 HAS SOUS 26709 HAS SOUPS 26709 WITH SCORE 26739.414
AT ITER 2151 NEW BEST:: SOT 134696 SOS 30214 HAS SOPS 30214 HAS SOUS 26431 HAS SOUPS 26431 WITH SCORE 26461.214
AT ITER 2161 NEW BEST:: SOT 134692 SOS 30206 HAS SOPS 30206 HAS SOUS 26427 HAS SOUPS 26427 WITH SCORE 26457.206
AT ITER 2165 NEW BEST:: SOT 134628 SOS 30078 HAS SOPS 30078 HAS SOUS 26356 HAS SOUPS 26356 WITH SCORE 26386.078
AT ITER 2174 NEW BEST:: SOT 134484 SOS 29790 HAS SOPS 29790 HAS SOUS 26155 HAS SOUPS 26155 WITH SCORE 26184.79
AT ITER 2180 NEW BEST:: SOT 134478 SOS 29778 HAS SOPS 29778 HAS SOUS 26149 HAS SOUPS 26149 WITH SCORE 26178.778
AT ITER 2193 NEW BEST:: SOT 134478 SOS 29549 HAS SOPS 29549 HAS SOUS 26149 HAS SOUPS 26149 WITH SCORE 26178.549
AT ITER 2202 NEW BEST:: SOT 134458 SOS 29489 HAS SOPS 29489 HAS SOUS 26109 HAS SOUPS 26109 WITH SCORE 26138.489
AT ITER 2205 NEW BEST:: SOT 134440 SOS 29453 HAS SOPS 29453 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26120.453
AT ITER 2214 NEW BEST:: SOT 134419 SOS 29411 HAS SOPS 29411 HAS SOUS 26037 HAS SOUPS 26037 WITH SCORE 26066.411
AT ITER 2216 NEW BEST:: SOT 134382 SOS 29337 HAS SOPS 29337 HAS SOUS 25971 HAS SOUPS 25971 WITH SCORE 26000.337
AT ITER 2218 NEW BEST:: SOT 134340 SOS 29253 HAS SOPS 29253 HAS SOUS 25923 HAS SOUPS 25923 WITH SCORE 25952.253
AT ITER 2220 NEW BEST:: SOT 134340 SOS 29252 HAS SOPS 29252 HAS SOUS 25923 HAS SOUPS 25923 WITH SCORE 25952.252
AT ITER 2228 NEW BEST:: SOT 134340 SOS 29203 HAS SOPS 29203 HAS SOUS 25923 HAS SOUPS 25923 WITH SCORE 25952.203
AT ITER 2246 NEW BEST:: SOT 134336 SOS 29195 HAS SOPS 29195 HAS SOUS 25919 HAS SOUPS 25919 WITH SCORE 25948.195
AT ITER 2253 NEW BEST:: SOT 134330 SOS 29223 HAS SOPS 29223 HAS SOUS 25901 HAS SOUPS 25901 WITH SCORE 25930.223
AT ITER 2262 NEW BEST:: SOT 134330 SOS 29207 HAS SOPS 29207 HAS SOUS 25901 HAS SOUPS 25901 WITH SCORE 25930.207
AT ITER 2265 NEW BEST:: SOT 134330 SOS 29202 HAS SOPS 29202 HAS SOUS 25896 HAS SOUPS 25896 WITH SCORE 25925.202
AT ITER 2271 NEW BEST:: SOT 134259 SOS 29060 HAS SOPS 29060 HAS SOUS 25809 HAS SOUPS 25809 WITH SCORE 25838.06
AT ITER 2277 NEW BEST:: SOT 134255 SOS 29056 HAS SOPS 29056 HAS SOUS 25805 HAS SOUPS 25805 WITH SCORE 25834.056
AT ITER 2281 NEW BEST:: SOT 134113 SOS 28914 HAS SOPS 28914 HAS SOUS 25663 HAS SOUPS 25663 WITH SCORE 25691.914
AT ITER 2283 NEW BEST:: SOT 134103 SOS 28904 HAS SOPS 28904 HAS SOUS 25653 HAS SOUPS 25653 WITH SCORE 25681.904
AT ITER 2296 NEW BEST:: SOT 134108 SOS 28815 HAS SOPS 28815 HAS SOUS 25610 HAS SOUPS 25610 WITH SCORE 25638.815
AT ITER 2297 NEW BEST:: SOT 134123 SOS 28791 HAS SOPS 28791 HAS SOUS 25602 HAS SOUPS 25602 WITH SCORE 25630.791
AT ITER 2301 NEW BEST:: SOT 134109 SOS 28918 HAS SOPS 28918 HAS SOUS 25560 HAS SOUPS 25560 WITH SCORE 25588.918
AT ITER 2308 NEW BEST:: SOT 134030 SOS 28851 HAS SOPS 28851 HAS SOUS 25481 HAS SOUPS 25481 WITH SCORE 25509.851
AT ITER 2309 NEW BEST:: SOT 134044 SOS 28817 HAS SOPS 28817 HAS SOUS 25457 HAS SOUPS 25457 WITH SCORE 25485.817
AT ITER 2313 NEW BEST:: SOT 133932 SOS 28808 HAS SOPS 28808 HAS SOUS 25321 HAS SOUPS 25321 WITH SCORE 25349.808
AT ITER 2316 NEW BEST:: SOT 133922 SOS 28788 HAS SOPS 28788 HAS SOUS 25301 HAS SOUPS 25301 WITH SCORE 25329.788
AT ITER 2321 NEW BEST:: SOT 133919 SOS 28785 HAS SOPS 28785 HAS SOUS 25298 HAS SOUPS 25298 WITH SCORE 25326.785
AT ITER 2322 NEW BEST:: SOT 133913 SOS 28754 HAS SOPS 28754 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25301.754
AT ITER 2325 NEW BEST:: SOT 133859 SOS 28646 HAS SOPS 28646 HAS SOUS 25219 HAS SOUPS 25219 WITH SCORE 25247.646
AT ITER 2344 NEW BEST:: SOT 133859 SOS 28592 HAS SOPS 28592 HAS SOUS 25219 HAS SOUPS 25219 WITH SCORE 25247.592
AT ITER 2346 NEW BEST:: SOT 133888 SOS 28650 HAS SOPS 28650 HAS SOUS 25192 HAS SOUPS 25192 WITH SCORE 25220.65
AT ITER 2349 NEW BEST:: SOT 133829 SOS 28422 HAS SOPS 28422 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25051.422
AT ITER 2363 NEW BEST:: SOT 133769 SOS 28302 HAS SOPS 28302 HAS SOUS 24903 HAS SOUPS 24903 WITH SCORE 24931.302
AT ITER 2369 NEW BEST:: SOT 133689 SOS 28335 HAS SOPS 28335 HAS SOUS 24816 HAS SOUPS 24816 WITH SCORE 24844.335
AT ITER 2375 NEW BEST:: SOT 133645 SOS 28247 HAS SOPS 28247 HAS SOUS 24736 HAS SOUPS 24736 WITH SCORE 24764.247
AT ITER 2386 NEW BEST:: SOT 133606 SOS 28223 HAS SOPS 28223 HAS SOUS 24712 HAS SOUPS 24712 WITH SCORE 24740.223
AT ITER 2391 NEW BEST:: SOT 133554 SOS 28119 HAS SOPS 28119 HAS SOUS 24608 HAS SOUPS 24608 WITH SCORE 24636.119
AT ITER 2428 NEW BEST:: SOT 133337 SOS 28040 HAS SOPS 28040 HAS SOUS 24481 HAS SOUPS 24481 WITH SCORE 24509.04
AT ITER 2433 NEW BEST:: SOT 133327 SOS 28020 HAS SOPS 28020 HAS SOUS 24461 HAS SOUPS 24461 WITH SCORE 24489.02
AT ITER 2439 NEW BEST:: SOT 133319 SOS 27994 HAS SOPS 27994 HAS SOUS 24445 HAS SOUPS 24445 WITH SCORE 24472.994
AT ITER 2441 NEW BEST:: SOT 133267 SOS 27890 HAS SOPS 27890 HAS SOUS 24343 HAS SOUPS 24343 WITH SCORE 24370.89
AT ITER 2471 NEW BEST:: SOT 133194 SOS 27577 HAS SOPS 27577 HAS SOUS 24154 HAS SOUPS 24154 WITH SCORE 24181.577
AT ITER 2476 NEW BEST:: SOT 133177 SOS 27486 HAS SOPS 27486 HAS SOUS 24125 HAS SOUPS 24125 WITH SCORE 24152.486
AT ITER 2478 NEW BEST:: SOT 133177 SOS 27464 HAS SOPS 27464 HAS SOUS 24125 HAS SOUPS 24125 WITH SCORE 24152.464
AT ITER 2494 NEW BEST:: SOT 133177 SOS 27377 HAS SOPS 27377 HAS SOUS 24038 HAS SOUPS 24038 WITH SCORE 24065.377
AT ITER 2504 NEW BEST:: SOT 133150 SOS 27347 HAS SOPS 27347 HAS SOUS 24008 HAS SOUPS 24008 WITH SCORE 24035.347
AT ITER 2505 NEW BEST:: SOT 133122 SOS 27263 HAS SOPS 27263 HAS SOUS 23980 HAS SOUPS 23980 WITH SCORE 24007.263
AT ITER 2511 NEW BEST:: SOT 133112 SOS 27343 HAS SOPS 27343 HAS SOUS 23970 HAS SOUPS 23970 WITH SCORE 23997.343
AT ITER 2518 NEW BEST:: SOT 133107 SOS 27333 HAS SOPS 27333 HAS SOUS 23960 HAS SOUPS 23960 WITH SCORE 23987.333
AT ITER 2527 NEW BEST:: SOT 133097 SOS 27313 HAS SOPS 27313 HAS SOUS 23940 HAS SOUPS 23940 WITH SCORE 23967.313
AT ITER 2531 NEW BEST:: SOT 133072 SOS 27313 HAS SOPS 27313 HAS SOUS 23909 HAS SOUPS 23909 WITH SCORE 23936.313
AT ITER 2546 NEW BEST:: SOT 133076 SOS 27227 HAS SOPS 27227 HAS SOUS 23831 HAS SOUPS 23831 WITH SCORE 23858.227
AT ITER 2555 NEW BEST:: SOT 133061 SOS 27197 HAS SOPS 27197 HAS SOUS 23816 HAS SOUPS 23816 WITH SCORE 23843.197
AT ITER 2560 NEW BEST:: SOT 132948 SOS 26971 HAS SOPS 26971 HAS SOUS 23590 HAS SOUPS 23590 WITH SCORE 23616.971
AT ITER 2580 NEW BEST:: SOT 132935 SOS 26911 HAS SOPS 26911 HAS SOUS 23543 HAS SOUPS 23543 WITH SCORE 23569.911
AT ITER 2584 NEW BEST:: SOT 132922 SOS 26885 HAS SOPS 26885 HAS SOUS 23509 HAS SOUPS 23509 WITH SCORE 23535.885
AT ITER 2590 NEW BEST:: SOT 132902 SOS 26845 HAS SOPS 26845 HAS SOUS 23489 HAS SOUPS 23489 WITH SCORE 23515.845
AT ITER 2592 NEW BEST:: SOT 132814 SOS 26790 HAS SOPS 26790 HAS SOUS 23434 HAS SOUPS 23434 WITH SCORE 23460.79
AT ITER 2604 NEW BEST:: SOT 132800 SOS 26762 HAS SOPS 26762 HAS SOUS 23420 HAS SOUPS 23420 WITH SCORE 23446.762
AT ITER 2613 NEW BEST:: SOT 132763 SOS 26613 HAS SOPS 26613 HAS SOUS 23346 HAS SOUPS 23346 WITH SCORE 23372.613
AT ITER 2615 NEW BEST:: SOT 132763 SOS 26613 HAS SOPS 26613 HAS SOUS 23321 HAS SOUPS 23321 WITH SCORE 23347.613
AT ITER 2621 NEW BEST:: SOT 132630 SOS 26480 HAS SOPS 26480 HAS SOUS 23188 HAS SOUPS 23188 WITH SCORE 23214.48
AT ITER 2630 NEW BEST:: SOT 132614 SOS 26448 HAS SOPS 26448 HAS SOUS 23156 HAS SOUPS 23156 WITH SCORE 23182.448
AT ITER 2643 NEW BEST:: SOT 132591 SOS 26402 HAS SOPS 26402 HAS SOUS 23136 HAS SOUPS 23136 WITH SCORE 23162.402
AT ITER 2646 NEW BEST:: SOT 132564 SOS 26348 HAS SOPS 26348 HAS SOUS 23109 HAS SOUPS 23109 WITH SCORE 23135.348
AT ITER 2651 NEW BEST:: SOT 132564 SOS 26348 HAS SOPS 26348 HAS SOUS 23104 HAS SOUPS 23104 WITH SCORE 23130.348
AT ITER 2655 NEW BEST:: SOT 132544 SOS 26410 HAS SOPS 26410 HAS SOUS 23084 HAS SOUPS 23084 WITH SCORE 23110.41
AT ITER 2663 NEW BEST:: SOT 132524 SOS 26370 HAS SOPS 26370 HAS SOUS 23035 HAS SOUPS 23035 WITH SCORE 23061.37
AT ITER 2673 NEW BEST:: SOT 132511 SOS 26344 HAS SOPS 26344 HAS SOUS 23022 HAS SOUPS 23022 WITH SCORE 23048.344
AT ITER 2684 NEW BEST:: SOT 132453 SOS 26228 HAS SOPS 26228 HAS SOUS 22865 HAS SOUPS 22865 WITH SCORE 22891.228
AT ITER 2717 NEW BEST:: SOT 132453 SOS 26211 HAS SOPS 26211 HAS SOUS 22865 HAS SOUPS 22865 WITH SCORE 22891.211
AT ITER 2737 NEW BEST:: SOT 132439 SOS 26108 HAS SOPS 26108 HAS SOUS 22851 HAS SOUPS 22851 WITH SCORE 22877.108
AT ITER 2742 NEW BEST:: SOT 132437 SOS 26104 HAS SOPS 26104 HAS SOUS 22847 HAS SOUPS 22847 WITH SCORE 22873.104
AT ITER 2748 NEW BEST:: SOT 132389 SOS 26008 HAS SOPS 26008 HAS SOUS 22799 HAS SOUPS 22799 WITH SCORE 22825.008
AT ITER 2758 NEW BEST:: SOT 132388 SOS 26006 HAS SOPS 26006 HAS SOUS 22797 HAS SOUPS 22797 WITH SCORE 22823.006
AT ITER 2762 NEW BEST:: SOT 132388 SOS 25997 HAS SOPS 25997 HAS SOUS 22797 HAS SOUPS 22797 WITH SCORE 22822.997
AT ITER 2766 NEW BEST:: SOT 132417 SOS 26055 HAS SOPS 26055 HAS SOUS 22731 HAS SOUPS 22731 WITH SCORE 22757.055
AT ITER 2779 NEW BEST:: SOT 132398 SOS 25989 HAS SOPS 25989 HAS SOUS 22708 HAS SOUPS 22708 WITH SCORE 22733.989
AT ITER 2784 NEW BEST:: SOT 132391 SOS 25975 HAS SOPS 25975 HAS SOUS 22694 HAS SOUPS 22694 WITH SCORE 22719.975
AT ITER 2793 NEW BEST:: SOT 132300 SOS 25903 HAS SOPS 25903 HAS SOUS 22603 HAS SOUPS 22603 WITH SCORE 22628.903
AT ITER 2805 NEW BEST:: SOT 132299 SOS 25901 HAS SOPS 25901 HAS SOUS 22601 HAS SOUPS 22601 WITH SCORE 22626.901
AT ITER 2810 NEW BEST:: SOT 132281 SOS 25865 HAS SOPS 25865 HAS SOUS 22583 HAS SOUPS 22583 WITH SCORE 22608.865
AT ITER 2813 NEW BEST:: SOT 132227 SOS 25757 HAS SOPS 25757 HAS SOUS 22548 HAS SOUPS 22548 WITH SCORE 22573.757
AT ITER 2823 NEW BEST:: SOT 132203 SOS 25709 HAS SOPS 25709 HAS SOUS 22524 HAS SOUPS 22524 WITH SCORE 22549.709
AT ITER 2836 NEW BEST:: SOT 132180 SOS 25663 HAS SOPS 25663 HAS SOUS 22501 HAS SOUPS 22501 WITH SCORE 22526.663
AT ITER 2864 NEW BEST:: SOT 132180 SOS 25648 HAS SOPS 25648 HAS SOUS 22501 HAS SOUPS 22501 WITH SCORE 22526.648
AT ITER 2870 NEW BEST:: SOT 132180 SOS 25585 HAS SOPS 25585 HAS SOUS 22501 HAS SOUPS 22501 WITH SCORE 22526.585
AT ITER 2874 NEW BEST:: SOT 132120 SOS 25465 HAS SOPS 25465 HAS SOUS 22425 HAS SOUPS 22425 WITH SCORE 22450.465
AT ITER 2904 NEW BEST:: SOT 132131 SOS 25438 HAS SOPS 25438 HAS SOUS 22406 HAS SOUPS 22406 WITH SCORE 22431.438
AT ITER 2920 NEW BEST:: SOT 132045 SOS 25359 HAS SOPS 25359 HAS SOUS 22327 HAS SOUPS 22327 WITH SCORE 22352.359
AT ITER 2921 NEW BEST:: SOT 132045 SOS 25359 HAS SOPS 25359 HAS SOUS 22292 HAS SOUPS 22292 WITH SCORE 22317.359
AT ITER 2924 NEW BEST:: SOT 131976 SOS 25221 HAS SOPS 25221 HAS SOUS 22176 HAS SOUPS 22176 WITH SCORE 22201.221
AT ITER 2932 NEW BEST:: SOT 131968 SOS 25205 HAS SOPS 25205 HAS SOUS 22168 HAS SOUPS 22168 WITH SCORE 22193.205
AT ITER 2937 NEW BEST:: SOT 131950 SOS 25169 HAS SOPS 25169 HAS SOUS 22150 HAS SOUPS 22150 WITH SCORE 22175.169
AT ITER 2945 NEW BEST:: SOT 131950 SOS 25169 HAS SOPS 25169 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22090.169
AT ITER 2951 NEW BEST:: SOT 131913 SOS 25095 HAS SOPS 25095 HAS SOUS 22040 HAS SOUPS 22040 WITH SCORE 22065.095
AT ITER 2961 NEW BEST:: SOT 131887 SOS 25085 HAS SOPS 25085 HAS SOUS 21996 HAS SOUPS 21996 WITH SCORE 22021.085
AT ITER 2973 NEW BEST:: SOT 131787 SOS 24885 HAS SOPS 24885 HAS SOUS 21856 HAS SOUPS 21856 WITH SCORE 21880.885
AT ITER 2974 NEW BEST:: SOT 131780 SOS 24894 HAS SOPS 24894 HAS SOUS 21849 HAS SOUPS 21849 WITH SCORE 21873.894
AT ITER 2975 NEW BEST:: SOT 131764 SOS 24862 HAS SOPS 24862 HAS SOUS 21833 HAS SOUPS 21833 WITH SCORE 21857.862
AT ITER 2997 NEW BEST:: SOT 131799 SOS 24814 HAS SOPS 24814 HAS SOUS 21785 HAS SOUPS 21785 WITH SCORE 21809.814
AT ITER 3020 NEW BEST:: SOT 131770 SOS 24702 HAS SOPS 24702 HAS SOUS 21756 HAS SOUPS 21756 WITH SCORE 21780.702
AT ITER 3036 NEW BEST:: SOT 131759 SOS 24680 HAS SOPS 24680 HAS SOUS 21745 HAS SOUPS 21745 WITH SCORE 21769.68
AT ITER 3043 NEW BEST:: SOT 131715 SOS 24592 HAS SOPS 24592 HAS SOUS 21657 HAS SOUPS 21657 WITH SCORE 21681.592
AT ITER 3046 NEW BEST:: SOT 131715 SOS 24592 HAS SOPS 24592 HAS SOUS 21632 HAS SOUPS 21632 WITH SCORE 21656.592
AT ITER 3062 NEW BEST:: SOT 131701 SOS 24564 HAS SOPS 24564 HAS SOUS 21632 HAS SOUPS 21632 WITH SCORE 21656.564
AT ITER 3068 NEW BEST:: SOT 131697 SOS 24556 HAS SOPS 24556 HAS SOUS 21624 HAS SOUPS 21624 WITH SCORE 21648.556
AT ITER 3072 NEW BEST:: SOT 131684 SOS 24492 HAS SOPS 24492 HAS SOUS 21582 HAS SOUPS 21582 WITH SCORE 21606.492
AT ITER 3080 NEW BEST:: SOT 131617 SOS 24358 HAS SOPS 24358 HAS SOUS 21515 HAS SOUPS 21515 WITH SCORE 21539.358
AT ITER 3114 NEW BEST:: SOT 131562 SOS 24248 HAS SOPS 24248 HAS SOUS 21405 HAS SOUPS 21405 WITH SCORE 21429.248
AT ITER 3116 NEW BEST:: SOT 131557 SOS 24233 HAS SOPS 24233 HAS SOUS 21395 HAS SOUPS 21395 WITH SCORE 21419.233
AT ITER 3118 NEW BEST:: SOT 131557 SOS 24215 HAS SOPS 24215 HAS SOUS 21377 HAS SOUPS 21377 WITH SCORE 21401.215
AT ITER 3121 NEW BEST:: SOT 131557 SOS 24215 HAS SOPS 24215 HAS SOUS 21334 HAS SOUPS 21334 WITH SCORE 21358.215
AT ITER 3130 NEW BEST:: SOT 131478 SOS 23978 HAS SOPS 23978 HAS SOUS 21194 HAS SOUPS 21194 WITH SCORE 21217.978
AT ITER 3132 NEW BEST:: SOT 131427 SOS 23876 HAS SOPS 23876 HAS SOUS 21128 HAS SOUPS 21128 WITH SCORE 21151.876
AT ITER 3137 NEW BEST:: SOT 131421 SOS 23864 HAS SOPS 23864 HAS SOUS 21116 HAS SOUPS 21116 WITH SCORE 21139.864
AT ITER 3156 NEW BEST:: SOT 131393 SOS 23836 HAS SOPS 23836 HAS SOUS 21088 HAS SOUPS 21088 WITH SCORE 21111.836
AT ITER 3164 NEW BEST:: SOT 131414 SOS 23878 HAS SOPS 23878 HAS SOUS 21070 HAS SOUPS 21070 WITH SCORE 21093.878
AT ITER 3176 NEW BEST:: SOT 131407 SOS 23864 HAS SOPS 23864 HAS SOUS 21056 HAS SOUPS 21056 WITH SCORE 21079.864
AT ITER 3182 NEW BEST:: SOT 131407 SOS 23833 HAS SOPS 23833 HAS SOUS 21025 HAS SOUPS 21025 WITH SCORE 21048.833
AT ITER 3185 NEW BEST:: SOT 131397 SOS 23818 HAS SOPS 23818 HAS SOUS 21010 HAS SOUPS 21010 WITH SCORE 21033.818
AT ITER 3199 NEW BEST:: SOT 131379 SOS 23782 HAS SOPS 23782 HAS SOUS 20974 HAS SOUPS 20974 WITH SCORE 20997.782
AT ITER 3200 NEW BEST:: SOT 131368 SOS 23760 HAS SOPS 23760 HAS SOUS 20963 HAS SOUPS 20963 WITH SCORE 20986.76
AT ITER 3201 NEW BEST:: SOT 131363 SOS 23718 HAS SOPS 23718 HAS SOUS 20958 HAS SOUPS 20958 WITH SCORE 20981.718
AT ITER 3203 NEW BEST:: SOT 131330 SOS 23652 HAS SOPS 23652 HAS SOUS 20926 HAS SOUPS 20926 WITH SCORE 20949.652
AT ITER 3207 NEW BEST:: SOT 131330 SOS 23618 HAS SOPS 23618 HAS SOUS 20892 HAS SOUPS 20892 WITH SCORE 20915.618
AT ITER 3227 NEW BEST:: SOT 131335 SOS 23517 HAS SOPS 23517 HAS SOUS 20823 HAS SOUPS 20823 WITH SCORE 20846.517
AT ITER 3257 NEW BEST:: SOT 131330 SOS 23507 HAS SOPS 23507 HAS SOUS 20794 HAS SOUPS 20794 WITH SCORE 20817.507
AT ITER 3275 NEW BEST:: SOT 131279 SOS 23487 HAS SOPS 23487 HAS SOUS 20774 HAS SOUPS 20774 WITH SCORE 20797.487
AT ITER 3285 NEW BEST:: SOT 131279 SOS 23452 HAS SOPS 23452 HAS SOUS 20774 HAS SOUPS 20774 WITH SCORE 20797.452
AT ITER 3297 NEW BEST:: SOT 131278 SOS 23450 HAS SOPS 23450 HAS SOUS 20772 HAS SOUPS 20772 WITH SCORE 20795.45
AT ITER 3319 NEW BEST:: SOT 131199 SOS 23292 HAS SOPS 23292 HAS SOUS 20614 HAS SOUPS 20614 WITH SCORE 20637.292
AT ITER 3324 NEW BEST:: SOT 131199 SOS 23292 HAS SOPS 23292 HAS SOUS 20606 HAS SOUPS 20606 WITH SCORE 20629.292
AT ITER 3328 NEW BEST:: SOT 131163 SOS 23220 HAS SOPS 23220 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20537.22
AT ITER 3342 NEW BEST:: SOT 131182 SOS 23258 HAS SOPS 23258 HAS SOUS 20476 HAS SOUPS 20476 WITH SCORE 20499.258
AT ITER 3348 NEW BEST:: SOT 131151 SOS 23196 HAS SOPS 23196 HAS SOUS 20437 HAS SOUPS 20437 WITH SCORE 20460.196
AT ITER 3353 NEW BEST:: SOT 131151 SOS 23179 HAS SOPS 23179 HAS SOUS 20420 HAS SOUPS 20420 WITH SCORE 20443.179
AT ITER 3358 NEW BEST:: SOT 131116 SOS 23109 HAS SOPS 23109 HAS SOUS 20350 HAS SOUPS 20350 WITH SCORE 20373.109
AT ITER 3369 NEW BEST:: SOT 131116 SOS 23106 HAS SOPS 23106 HAS SOUS 20350 HAS SOUPS 20350 WITH SCORE 20373.106
AT ITER 3372 NEW BEST:: SOT 131001 SOS 22876 HAS SOPS 22876 HAS SOUS 20245 HAS SOUPS 20245 WITH SCORE 20267.876
AT ITER 3383 NEW BEST:: SOT 130954 SOS 22782 HAS SOPS 22782 HAS SOUS 20198 HAS SOUPS 20198 WITH SCORE 20220.782
AT ITER 3405 NEW BEST:: SOT 130930 SOS 22758 HAS SOPS 22758 HAS SOUS 20174 HAS SOUPS 20174 WITH SCORE 20196.758
AT ITER 3409 NEW BEST:: SOT 130903 SOS 22760 HAS SOPS 22760 HAS SOUS 20150 HAS SOUPS 20150 WITH SCORE 20172.76
AT ITER 3412 NEW BEST:: SOT 130903 SOS 22710 HAS SOPS 22710 HAS SOUS 20114 HAS SOUPS 20114 WITH SCORE 20136.71
AT ITER 3438 NEW BEST:: SOT 130797 SOS 22498 HAS SOPS 22498 HAS SOUS 20008 HAS SOUPS 20008 WITH SCORE 20030.498
AT ITER 3466 NEW BEST:: SOT 130779 SOS 22462 HAS SOPS 22462 HAS SOUS 19976 HAS SOUPS 19976 WITH SCORE 19998.462
AT ITER 3470 NEW BEST:: SOT 130787 SOS 22478 HAS SOPS 22478 HAS SOUS 19953 HAS SOUPS 19953 WITH SCORE 19975.478
AT ITER 3474 NEW BEST:: SOT 130774 SOS 22452 HAS SOPS 22452 HAS SOUS 19943 HAS SOUPS 19943 WITH SCORE 19965.452
AT ITER 3494 NEW BEST:: SOT 130762 SOS 22339 HAS SOPS 22339 HAS SOUS 19913 HAS SOUPS 19913 WITH SCORE 19935.339
AT ITER 3498 NEW BEST:: SOT 130756 SOS 22333 HAS SOPS 22333 HAS SOUS 19907 HAS SOUPS 19907 WITH SCORE 19929.333
AT ITER 3533 NEW BEST:: SOT 130737 SOS 22295 HAS SOPS 22295 HAS SOUS 19887 HAS SOUPS 19887 WITH SCORE 19909.295
AT ITER 3546 NEW BEST:: SOT 130732 SOS 22285 HAS SOPS 22285 HAS SOUS 19882 HAS SOUPS 19882 WITH SCORE 19904.285
AT ITER 3565 NEW BEST:: SOT 130692 SOS 22205 HAS SOPS 22205 HAS SOUS 19846 HAS SOUPS 19846 WITH SCORE 19868.205
AT ITER 3585 NEW BEST:: SOT 130629 SOS 22079 HAS SOPS 22079 HAS SOUS 19721 HAS SOUPS 19721 WITH SCORE 19743.079
AT ITER 3588 NEW BEST:: SOT 130629 SOS 21952 HAS SOPS 21952 HAS SOUS 19594 HAS SOUPS 19594 WITH SCORE 19615.952
AT ITER 3590 NEW BEST:: SOT 130570 SOS 21834 HAS SOPS 21834 HAS SOUS 19516 HAS SOUPS 19516 WITH SCORE 19537.834
AT ITER 3597 NEW BEST:: SOT 130546 SOS 21786 HAS SOPS 21786 HAS SOUS 19468 HAS SOUPS 19468 WITH SCORE 19489.786
AT ITER 3600 NEW BEST:: SOT 130546 SOS 21741 HAS SOPS 21741 HAS SOUS 19423 HAS SOUPS 19423 WITH SCORE 19444.741
AT ITER 3628 NEW BEST:: SOT 130472 SOS 21792 HAS SOPS 21792 HAS SOUS 19400 HAS SOUPS 19400 WITH SCORE 19421.792
AT ITER 3633 NEW BEST:: SOT 130458 SOS 21778 HAS SOPS 21778 HAS SOUS 19386 HAS SOUPS 19386 WITH SCORE 19407.778
AT ITER 3650 NEW BEST:: SOT 130449 SOS 21760 HAS SOPS 21760 HAS SOUS 19369 HAS SOUPS 19369 WITH SCORE 19390.76
AT ITER 3653 NEW BEST:: SOT 130437 SOS 21687 HAS SOPS 21687 HAS SOUS 19308 HAS SOUPS 19308 WITH SCORE 19329.687
AT ITER 3659 NEW BEST:: SOT 130359 SOS 21531 HAS SOPS 21531 HAS SOUS 19152 HAS SOUPS 19152 WITH SCORE 19173.531
AT ITER 3670 NEW BEST:: SOT 130342 SOS 21497 HAS SOPS 21497 HAS SOUS 19118 HAS SOUPS 19118 WITH SCORE 19139.497
AT ITER 3689 NEW BEST:: SOT 130359 SOS 21678 HAS SOPS 21678 HAS SOUS 19094 HAS SOUPS 19094 WITH SCORE 19115.678
AT ITER 3719 NEW BEST:: SOT 130354 SOS 21692 HAS SOPS 21692 HAS SOUS 19084 HAS SOUPS 19084 WITH SCORE 19105.692
AT ITER 3736 NEW BEST:: SOT 130354 SOS 21692 HAS SOPS 21692 HAS SOUS 19069 HAS SOUPS 19069 WITH SCORE 19090.692
AT ITER 3741 NEW BEST:: SOT 130109 SOS 21202 HAS SOPS 21202 HAS SOUS 18577 HAS SOUPS 18577 WITH SCORE 18598.202
AT ITER 3752 NEW BEST:: SOT 130044 SOS 21138 HAS SOPS 21138 HAS SOUS 18513 HAS SOUPS 18513 WITH SCORE 18534.138
AT ITER 3760 NEW BEST:: SOT 130041 SOS 21132 HAS SOPS 21132 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18528.132
AT ITER 3763 NEW BEST:: SOT 130025 SOS 21100 HAS SOPS 21100 HAS SOUS 18475 HAS SOUPS 18475 WITH SCORE 18496.1
AT ITER 3765 NEW BEST:: SOT 130025 SOS 21100 HAS SOPS 21100 HAS SOUS 18461 HAS SOUPS 18461 WITH SCORE 18482.1
AT ITER 3770 NEW BEST:: SOT 130007 SOS 21064 HAS SOPS 21064 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18464.064
AT ITER 3779 NEW BEST:: SOT 130003 SOS 21056 HAS SOPS 21056 HAS SOUS 18439 HAS SOUPS 18439 WITH SCORE 18460.056
AT ITER 3783 NEW BEST:: SOT 129987 SOS 21083 HAS SOPS 21083 HAS SOUS 18420 HAS SOUPS 18420 WITH SCORE 18441.083
AT ITER 3809 NEW BEST:: SOT 129944 SOS 21116 HAS SOPS 21116 HAS SOUS 18416 HAS SOUPS 18416 WITH SCORE 18437.116
AT ITER 3821 NEW BEST:: SOT 129907 SOS 21042 HAS SOPS 21042 HAS SOUS 18340 HAS SOUPS 18340 WITH SCORE 18361.042
AT ITER 3831 NEW BEST:: SOT 129868 SOS 20964 HAS SOPS 20964 HAS SOUS 18251 HAS SOUPS 18251 WITH SCORE 18271.964
AT ITER 3844 NEW BEST:: SOT 129862 SOS 20952 HAS SOPS 20952 HAS SOUS 18225 HAS SOUPS 18225 WITH SCORE 18245.952
AT ITER 3911 NEW BEST:: SOT 129849 SOS 20989 HAS SOPS 20989 HAS SOUS 18212 HAS SOUPS 18212 WITH SCORE 18232.989
AT ITER 3923 NEW BEST:: SOT 129841 SOS 20973 HAS SOPS 20973 HAS SOUS 18206 HAS SOUPS 18206 WITH SCORE 18226.973
AT ITER 3927 NEW BEST:: SOT 129841 SOS 20973 HAS SOPS 20973 HAS SOUS 18184 HAS SOUPS 18184 WITH SCORE 18204.973
AT ITER 3933 NEW BEST:: SOT 129802 SOS 20895 HAS SOPS 20895 HAS SOUS 18123 HAS SOUPS 18123 WITH SCORE 18143.895
AT ITER 3937 NEW BEST:: SOT 129802 SOS 20895 HAS SOPS 20895 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18107.895
AT ITER 3944 NEW BEST:: SOT 129752 SOS 20701 HAS SOPS 20701 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18023.701
AT ITER 3946 NEW BEST:: SOT 129752 SOS 20688 HAS SOPS 20688 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18023.688
AT ITER 3960 NEW BEST:: SOT 129752 SOS 20687 HAS SOPS 20687 HAS SOUS 18002 HAS SOUPS 18002 WITH SCORE 18022.687
AT ITER 3994 NEW BEST:: SOT 129736 SOS 20655 HAS SOPS 20655 HAS SOUS 17982 HAS SOUPS 17982 WITH SCORE 18002.655
AT ITER 3997 NEW BEST:: SOT 129732 SOS 20647 HAS SOPS 20647 HAS SOUS 17978 HAS SOUPS 17978 WITH SCORE 17998.647
AT ITER 4013 NEW BEST:: SOT 129711 SOS 20564 HAS SOPS 20564 HAS SOUS 17916 HAS SOUPS 17916 WITH SCORE 17936.564
AT ITER 4020 NEW BEST:: SOT 129699 SOS 20574 HAS SOPS 20574 HAS SOUS 17904 HAS SOUPS 17904 WITH SCORE 17924.574
AT ITER 4021 NEW BEST:: SOT 129692 SOS 20560 HAS SOPS 20560 HAS SOUS 17890 HAS SOUPS 17890 WITH SCORE 17910.56
AT ITER 4024 NEW BEST:: SOT 129678 SOS 20562 HAS SOPS 20562 HAS SOUS 17885 HAS SOUPS 17885 WITH SCORE 17905.562
AT ITER 4030 NEW BEST:: SOT 129660 SOS 20526 HAS SOPS 20526 HAS SOUS 17849 HAS SOUPS 17849 WITH SCORE 17869.526
AT ITER 4032 NEW BEST:: SOT 129660 SOS 20526 HAS SOPS 20526 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17866.526
AT ITER 4041 NEW BEST:: SOT 129629 SOS 20464 HAS SOPS 20464 HAS SOUS 17815 HAS SOUPS 17815 WITH SCORE 17835.464
AT ITER 4048 NEW BEST:: SOT 129618 SOS 20453 HAS SOPS 20453 HAS SOUS 17804 HAS SOUPS 17804 WITH SCORE 17824.453
AT ITER 4055 NEW BEST:: SOT 129612 SOS 20441 HAS SOPS 20441 HAS SOUS 17792 HAS SOUPS 17792 WITH SCORE 17812.441
AT ITER 4057 NEW BEST:: SOT 129589 SOS 20395 HAS SOPS 20395 HAS SOUS 17746 HAS SOUPS 17746 WITH SCORE 17766.395
AT ITER 4059 NEW BEST:: SOT 129581 SOS 20379 HAS SOPS 20379 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17758.379
AT ITER 4064 NEW BEST:: SOT 129581 SOS 20370 HAS SOPS 20370 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17758.37
AT ITER 4070 NEW BEST:: SOT 129571 SOS 20261 HAS SOPS 20261 HAS SOUS 17691 HAS SOUPS 17691 WITH SCORE 17711.261
AT ITER 4097 NEW BEST:: SOT 129531 SOS 20181 HAS SOPS 20181 HAS SOUS 17611 HAS SOUPS 17611 WITH SCORE 17631.181
AT ITER 4098 NEW BEST:: SOT 129516 SOS 20133 HAS SOPS 20133 HAS SOUS 17581 HAS SOUPS 17581 WITH SCORE 17601.133
AT ITER 4112 NEW BEST:: SOT 129482 SOS 20099 HAS SOPS 20099 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17567.099
AT ITER 4126 NEW BEST:: SOT 129467 SOS 20069 HAS SOPS 20069 HAS SOUS 17517 HAS SOUPS 17517 WITH SCORE 17537.069
AT ITER 4141 NEW BEST:: SOT 129467 SOS 20041 HAS SOPS 20041 HAS SOUS 17517 HAS SOUPS 17517 WITH SCORE 17537.041
AT ITER 4145 NEW BEST:: SOT 129461 SOS 20029 HAS SOPS 20029 HAS SOUS 17513 HAS SOUPS 17513 WITH SCORE 17533.029
AT ITER 4148 NEW BEST:: SOT 129461 SOS 20020 HAS SOPS 20020 HAS SOUS 17504 HAS SOUPS 17504 WITH SCORE 17524.02
AT ITER 4172 NEW BEST:: SOT 129450 SOS 19998 HAS SOPS 19998 HAS SOUS 17482 HAS SOUPS 17482 WITH SCORE 17501.998
AT ITER 4194 NEW BEST:: SOT 129481 SOS 20060 HAS SOPS 20060 HAS SOUS 17457 HAS SOUPS 17457 WITH SCORE 17477.06
AT ITER 4204 NEW BEST:: SOT 129445 SOS 19988 HAS SOPS 19988 HAS SOUS 17385 HAS SOUPS 17385 WITH SCORE 17404.988
AT ITER 4213 NEW BEST:: SOT 129431 SOS 19974 HAS SOPS 19974 HAS SOUS 17371 HAS SOUPS 17371 WITH SCORE 17390.974
AT ITER 4224 NEW BEST:: SOT 129429 SOS 19970 HAS SOPS 19970 HAS SOUS 17369 HAS SOUPS 17369 WITH SCORE 17388.97
AT ITER 4229 NEW BEST:: SOT 129445 SOS 19915 HAS SOPS 19915 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17373.915
AT ITER 4251 NEW BEST:: SOT 129392 SOS 19809 HAS SOPS 19809 HAS SOUS 17248 HAS SOUPS 17248 WITH SCORE 17267.809
AT ITER 4276 NEW BEST:: SOT 129392 SOS 19733 HAS SOPS 19733 HAS SOUS 17248 HAS SOUPS 17248 WITH SCORE 17267.733
AT ITER 4285 NEW BEST:: SOT 129350 SOS 19649 HAS SOPS 19649 HAS SOUS 17164 HAS SOUPS 17164 WITH SCORE 17183.649
AT ITER 4286 NEW BEST:: SOT 129331 SOS 19585 HAS SOPS 19585 HAS SOUS 17126 HAS SOUPS 17126 WITH SCORE 17145.585
AT ITER 4293 NEW BEST:: SOT 129309 SOS 19541 HAS SOPS 19541 HAS SOUS 17082 HAS SOUPS 17082 WITH SCORE 17101.541
AT ITER 4324 NEW BEST:: SOT 129298 SOS 19519 HAS SOPS 19519 HAS SOUS 17060 HAS SOUPS 17060 WITH SCORE 17079.519
AT ITER 4325 NEW BEST:: SOT 129293 SOS 19509 HAS SOPS 19509 HAS SOUS 17051 HAS SOUPS 17051 WITH SCORE 17070.509
AT ITER 4328 NEW BEST:: SOT 129291 SOS 19505 HAS SOPS 19505 HAS SOUS 17047 HAS SOUPS 17047 WITH SCORE 17066.505
AT ITER 4336 NEW BEST:: SOT 129297 SOS 19517 HAS SOPS 19517 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17051.517
AT ITER 4342 NEW BEST:: SOT 129280 SOS 19483 HAS SOPS 19483 HAS SOUS 16992 HAS SOUPS 16992 WITH SCORE 17011.483
AT ITER 4350 NEW BEST:: SOT 129261 SOS 19416 HAS SOPS 19416 HAS SOUS 16973 HAS SOUPS 16973 WITH SCORE 16992.416
AT ITER 4358 NEW BEST:: SOT 129217 SOS 19280 HAS SOPS 19280 HAS SOUS 16922 HAS SOUPS 16922 WITH SCORE 16941.28
AT ITER 4362 NEW BEST:: SOT 129202 SOS 19250 HAS SOPS 19250 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16906.25
AT ITER 4381 NEW BEST:: SOT 129104 SOS 19054 HAS SOPS 19054 HAS SOUS 16691 HAS SOUPS 16691 WITH SCORE 16710.054
AT ITER 4382 NEW BEST:: SOT 129075 SOS 18996 HAS SOPS 18996 HAS SOUS 16604 HAS SOUPS 16604 WITH SCORE 16622.996
AT ITER 4396 NEW BEST:: SOT 129037 SOS 19020 HAS SOPS 19020 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16598.02
AT ITER 4399 NEW BEST:: SOT 129020 SOS 18958 HAS SOPS 18958 HAS SOUS 16534 HAS SOUPS 16534 WITH SCORE 16552.958
AT ITER 4409 NEW BEST:: SOT 128954 SOS 18898 HAS SOPS 18898 HAS SOUS 16464 HAS SOUPS 16464 WITH SCORE 16482.898
AT ITER 4416 NEW BEST:: SOT 128944 SOS 18913 HAS SOPS 18913 HAS SOUS 16454 HAS SOUPS 16454 WITH SCORE 16472.913
AT ITER 4417 NEW BEST:: SOT 128936 SOS 18897 HAS SOPS 18897 HAS SOUS 16438 HAS SOUPS 16438 WITH SCORE 16456.897
AT ITER 4418 NEW BEST:: SOT 128888 SOS 18849 HAS SOPS 18849 HAS SOUS 16390 HAS SOUPS 16390 WITH SCORE 16408.849
AT ITER 4442 NEW BEST:: SOT 128884 SOS 18826 HAS SOPS 18826 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16404.826
AT ITER 4483 NEW BEST:: SOT 128832 SOS 18722 HAS SOPS 18722 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16352.722
AT ITER 4487 NEW BEST:: SOT 128832 SOS 18702 HAS SOPS 18702 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16332.702
AT ITER 4496 NEW BEST:: SOT 128822 SOS 18682 HAS SOPS 18682 HAS SOUS 16294 HAS SOUPS 16294 WITH SCORE 16312.682
AT ITER 4512 NEW BEST:: SOT 128822 SOS 18679 HAS SOPS 18679 HAS SOUS 16294 HAS SOUPS 16294 WITH SCORE 16312.679
AT ITER 4556 NEW BEST:: SOT 128822 SOS 18677 HAS SOPS 18677 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16310.677
AT ITER 4557 NEW BEST:: SOT 128815 SOS 18663 HAS SOPS 18663 HAS SOUS 16263 HAS SOUPS 16263 WITH SCORE 16281.663
AT ITER 4562 NEW BEST:: SOT 128815 SOS 18663 HAS SOPS 18663 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16138.663
AT ITER 4563 NEW BEST:: SOT 128794 SOS 18510 HAS SOPS 18510 HAS SOUS 16076 HAS SOUPS 16076 WITH SCORE 16094.51
AT ITER 4580 NEW BEST:: SOT 128761 SOS 18444 HAS SOPS 18444 HAS SOUS 16010 HAS SOUPS 16010 WITH SCORE 16028.444
AT ITER 4585 NEW BEST:: SOT 128761 SOS 18381 HAS SOPS 18381 HAS SOUS 16010 HAS SOUPS 16010 WITH SCORE 16028.381
AT ITER 4589 NEW BEST:: SOT 128761 SOS 18310 HAS SOPS 18310 HAS SOUS 15944 HAS SOUPS 15944 WITH SCORE 15962.31
AT ITER 4605 NEW BEST:: SOT 128723 SOS 18234 HAS SOPS 18234 HAS SOUS 15906 HAS SOUPS 15906 WITH SCORE 15924.234
AT ITER 4612 NEW BEST:: SOT 128723 SOS 18212 HAS SOPS 18212 HAS SOUS 15884 HAS SOUPS 15884 WITH SCORE 15902.212
AT ITER 4617 NEW BEST:: SOT 128724 SOS 18204 HAS SOPS 18204 HAS SOUS 15876 HAS SOUPS 15876 WITH SCORE 15894.204
AT ITER 4621 NEW BEST:: SOT 128746 SOS 18122 HAS SOPS 18122 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15853.122
AT ITER 4623 NEW BEST:: SOT 128734 SOS 18081 HAS SOPS 18081 HAS SOUS 15806 HAS SOUPS 15806 WITH SCORE 15824.081
AT ITER 4636 NEW BEST:: SOT 128728 SOS 18069 HAS SOPS 18069 HAS SOUS 15800 HAS SOUPS 15800 WITH SCORE 15818.069
AT ITER 4644 NEW BEST:: SOT 128723 SOS 18059 HAS SOPS 18059 HAS SOUS 15795 HAS SOUPS 15795 WITH SCORE 15813.059
AT ITER 4656 NEW BEST:: SOT 128662 SOS 17937 HAS SOPS 17937 HAS SOUS 15560 HAS SOUPS 15560 WITH SCORE 15577.937
AT ITER 4658 NEW BEST:: SOT 128624 SOS 17861 HAS SOPS 17861 HAS SOUS 15484 HAS SOUPS 15484 WITH SCORE 15501.861
AT ITER 4683 NEW BEST:: SOT 128619 SOS 17966 HAS SOPS 17966 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15496.966
AT ITER 4693 NEW BEST:: SOT 128615 SOS 17958 HAS SOPS 17958 HAS SOUS 15471 HAS SOUPS 15471 WITH SCORE 15488.958
AT ITER 4747 NEW BEST:: SOT 128604 SOS 17936 HAS SOPS 17936 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15466.936
AT ITER 4748 NEW BEST:: SOT 128604 SOS 17926 HAS SOPS 17926 HAS SOUS 15439 HAS SOUPS 15439 WITH SCORE 15456.926
AT ITER 4752 NEW BEST:: SOT 128597 SOS 17912 HAS SOPS 17912 HAS SOUS 15432 HAS SOUPS 15432 WITH SCORE 15449.912
AT ITER 4760 NEW BEST:: SOT 128595 SOS 17908 HAS SOPS 17908 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15447.908
AT ITER 4813 NEW BEST:: SOT 128595 SOS 17908 HAS SOPS 17908 HAS SOUS 15419 HAS SOUPS 15419 WITH SCORE 15436.908
AT ITER 4829 NEW BEST:: SOT 128571 SOS 17884 HAS SOPS 17884 HAS SOUS 15372 HAS SOUPS 15372 WITH SCORE 15389.884
AT ITER 4865 NEW BEST:: SOT 128589 SOS 17880 HAS SOPS 17880 HAS SOUS 15368 HAS SOUPS 15368 WITH SCORE 15385.88
AT ITER 4924 NEW BEST:: SOT 128514 SOS 17730 HAS SOPS 17730 HAS SOUS 15237 HAS SOUPS 15237 WITH SCORE 15254.73
AT ITER 4992 NEW BEST:: SOT 128514 SOS 17720 HAS SOPS 17720 HAS SOUS 15227 HAS SOUPS 15227 WITH SCORE 15244.72
AT ITER 4997 NEW BEST:: SOT 128500 SOS 17692 HAS SOPS 17692 HAS SOUS 15199 HAS SOUPS 15199 WITH SCORE 15216.692
AT ITER 5004 NEW BEST:: SOT 128501 SOS 17657 HAS SOPS 17657 HAS SOUS 15164 HAS SOUPS 15164 WITH SCORE 15181.657
AT ITER 5012 NEW BEST:: SOT 128519 SOS 17631 HAS SOPS 17631 HAS SOUS 15138 HAS SOUPS 15138 WITH SCORE 15155.631
AT ITER 5015 NEW BEST:: SOT 128519 SOS 17562 HAS SOPS 17562 HAS SOUS 15138 HAS SOUPS 15138 WITH SCORE 15155.562
AT ITER 5041 NEW BEST:: SOT 128509 SOS 17542 HAS SOPS 17542 HAS SOUS 15128 HAS SOUPS 15128 WITH SCORE 15145.542
AT ITER 5043 NEW BEST:: SOT 128487 SOS 17530 HAS SOPS 17530 HAS SOUS 15116 HAS SOUPS 15116 WITH SCORE 15133.53
AT ITER 5050 NEW BEST:: SOT 128483 SOS 17529 HAS SOPS 17529 HAS SOUS 15112 HAS SOUPS 15112 WITH SCORE 15129.529
AT ITER 5077 NEW BEST:: SOT 128483 SOS 17529 HAS SOPS 17529 HAS SOUS 15044 HAS SOUPS 15044 WITH SCORE 15061.529
AT ITER 5092 NEW BEST:: SOT 128434 SOS 17265 HAS SOPS 17265 HAS SOUS 14977 HAS SOUPS 14977 WITH SCORE 14994.265
AT ITER 5093 NEW BEST:: SOT 128422 SOS 17251 HAS SOPS 17251 HAS SOUS 14961 HAS SOUPS 14961 WITH SCORE 14978.251
AT ITER 5094 NEW BEST:: SOT 128417 SOS 17241 HAS SOPS 17241 HAS SOUS 14956 HAS SOUPS 14956 WITH SCORE 14973.241
AT ITER 5103 NEW BEST:: SOT 128391 SOS 17189 HAS SOPS 17189 HAS SOUS 14919 HAS SOUPS 14919 WITH SCORE 14936.189
AT ITER 5109 NEW BEST:: SOT 128354 SOS 17115 HAS SOPS 17115 HAS SOUS 14812 HAS SOUPS 14812 WITH SCORE 14829.115
AT ITER 5114 NEW BEST:: SOT 128354 SOS 17115 HAS SOPS 17115 HAS SOUS 14767 HAS SOUPS 14767 WITH SCORE 14784.115
AT ITER 5115 NEW BEST:: SOT 128349 SOS 17105 HAS SOPS 17105 HAS SOUS 14757 HAS SOUPS 14757 WITH SCORE 14774.105
AT ITER 5116 NEW BEST:: SOT 128349 SOS 17086 HAS SOPS 17086 HAS SOUS 14738 HAS SOUPS 14738 WITH SCORE 14755.086
AT ITER 5126 NEW BEST:: SOT 128330 SOS 17082 HAS SOPS 17082 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14746.082
AT ITER 5142 NEW BEST:: SOT 128240 SOS 16947 HAS SOPS 16947 HAS SOUS 14594 HAS SOUPS 14594 WITH SCORE 14610.947
AT ITER 5163 NEW BEST:: SOT 128240 SOS 16933 HAS SOPS 16933 HAS SOUS 14580 HAS SOUPS 14580 WITH SCORE 14596.933
AT ITER 5168 NEW BEST:: SOT 128248 SOS 16924 HAS SOPS 16924 HAS SOUS 14580 HAS SOUPS 14580 WITH SCORE 14596.924
AT ITER 5178 NEW BEST:: SOT 128161 SOS 16663 HAS SOPS 16663 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14422.663
AT ITER 5232 NEW BEST:: SOT 128156 SOS 16604 HAS SOPS 16604 HAS SOUS 14398 HAS SOUPS 14398 WITH SCORE 14414.604
AT ITER 5247 NEW BEST:: SOT 128151 SOS 16594 HAS SOPS 16594 HAS SOUS 14359 HAS SOUPS 14359 WITH SCORE 14375.594
AT ITER 5249 NEW BEST:: SOT 128126 SOS 16544 HAS SOPS 16544 HAS SOUS 14347 HAS SOUPS 14347 WITH SCORE 14363.544
AT ITER 5270 NEW BEST:: SOT 128126 SOS 16539 HAS SOPS 16539 HAS SOUS 14347 HAS SOUPS 14347 WITH SCORE 14363.539
AT ITER 5272 NEW BEST:: SOT 128118 SOS 16523 HAS SOPS 16523 HAS SOUS 14331 HAS SOUPS 14331 WITH SCORE 14347.523
AT ITER 5276 NEW BEST:: SOT 128093 SOS 16473 HAS SOPS 16473 HAS SOUS 14306 HAS SOUPS 14306 WITH SCORE 14322.473
AT ITER 5291 NEW BEST:: SOT 128092 SOS 16471 HAS SOPS 16471 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14321.471
AT ITER 5293 NEW BEST:: SOT 128092 SOS 16460 HAS SOPS 16460 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14321.46
AT ITER 5317 NEW BEST:: SOT 128092 SOS 16414 HAS SOPS 16414 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14321.414
AT ITER 5337 NEW BEST:: SOT 128092 SOS 16414 HAS SOPS 16414 HAS SOUS 14304 HAS SOUPS 14304 WITH SCORE 14320.414
AT ITER 5354 NEW BEST:: SOT 128090 SOS 16410 HAS SOPS 16410 HAS SOUS 14294 HAS SOUPS 14294 WITH SCORE 14310.41
AT ITER 5367 NEW BEST:: SOT 128022 SOS 16342 HAS SOPS 16342 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14242.342
AT ITER 5369 NEW BEST:: SOT 127978 SOS 16282 HAS SOPS 16282 HAS SOUS 14162 HAS SOUPS 14162 WITH SCORE 14178.282
AT ITER 5377 NEW BEST:: SOT 127971 SOS 16261 HAS SOPS 16261 HAS SOUS 14148 HAS SOUPS 14148 WITH SCORE 14164.261
AT ITER 5391 NEW BEST:: SOT 127966 SOS 16258 HAS SOPS 16258 HAS SOUS 14143 HAS SOUPS 14143 WITH SCORE 14159.258
AT ITER 5421 NEW BEST:: SOT 127945 SOS 16281 HAS SOPS 16281 HAS SOUS 14122 HAS SOUPS 14122 WITH SCORE 14138.281
AT ITER 5434 NEW BEST:: SOT 127944 SOS 16279 HAS SOPS 16279 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14137.279
AT ITER 5445 NEW BEST:: SOT 127939 SOS 16269 HAS SOPS 16269 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14132.269
AT ITER 5456 NEW BEST:: SOT 127933 SOS 16257 HAS SOPS 16257 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14120.257
AT ITER 5463 NEW BEST:: SOT 127933 SOS 16257 HAS SOPS 16257 HAS SOUS 14086 HAS SOUPS 14086 WITH SCORE 14102.257
AT ITER 5470 NEW BEST:: SOT 127930 SOS 16248 HAS SOPS 16248 HAS SOUS 14080 HAS SOUPS 14080 WITH SCORE 14096.248
AT ITER 5480 NEW BEST:: SOT 127832 SOS 16136 HAS SOPS 16136 HAS SOUS 13968 HAS SOUPS 13968 WITH SCORE 13984.136
AT ITER 5483 NEW BEST:: SOT 127829 SOS 16130 HAS SOPS 16130 HAS SOUS 13962 HAS SOUPS 13962 WITH SCORE 13978.13
AT ITER 5484 NEW BEST:: SOT 127821 SOS 16132 HAS SOPS 16132 HAS SOUS 13954 HAS SOUPS 13954 WITH SCORE 13970.132
AT ITER 5497 NEW BEST:: SOT 127810 SOS 16110 HAS SOPS 16110 HAS SOUS 13943 HAS SOUPS 13943 WITH SCORE 13959.11
AT ITER 5501 NEW BEST:: SOT 127799 SOS 16088 HAS SOPS 16088 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13957.088
AT ITER 5537 NEW BEST:: SOT 127774 SOS 16038 HAS SOPS 16038 HAS SOUS 13916 HAS SOUPS 13916 WITH SCORE 13932.038
AT ITER 5549 NEW BEST:: SOT 127719 SOS 15928 HAS SOPS 15928 HAS SOUS 13857 HAS SOUPS 13857 WITH SCORE 13872.928
AT ITER 5571 NEW BEST:: SOT 127717 SOS 15924 HAS SOPS 15924 HAS SOUS 13855 HAS SOUPS 13855 WITH SCORE 13870.924
AT ITER 5640 NEW BEST:: SOT 127712 SOS 15921 HAS SOPS 15921 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13867.921
AT ITER 5659 NEW BEST:: SOT 127711 SOS 15901 HAS SOPS 15901 HAS SOUS 13842 HAS SOUPS 13842 WITH SCORE 13857.901
AT ITER 5675 NEW BEST:: SOT 127685 SOS 15894 HAS SOPS 15894 HAS SOUS 13835 HAS SOUPS 13835 WITH SCORE 13850.894
AT ITER 5730 NEW BEST:: SOT 127640 SOS 15804 HAS SOPS 15804 HAS SOUS 13790 HAS SOUPS 13790 WITH SCORE 13805.804
AT ITER 5745 NEW BEST:: SOT 127640 SOS 15804 HAS SOPS 15804 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13798.804
AT ITER 5809 NEW BEST:: SOT 127611 SOS 15780 HAS SOPS 15780 HAS SOUS 13754 HAS SOUPS 13754 WITH SCORE 13769.78
AT ITER 5814 NEW BEST:: SOT 127614 SOS 15786 HAS SOPS 15786 HAS SOUS 13717 HAS SOUPS 13717 WITH SCORE 13732.786
AT ITER 5824 NEW BEST:: SOT 127598 SOS 15754 HAS SOPS 15754 HAS SOUS 13685 HAS SOUPS 13685 WITH SCORE 13700.754
AT ITER 5835 NEW BEST:: SOT 127591 SOS 15740 HAS SOPS 15740 HAS SOUS 13671 HAS SOUPS 13671 WITH SCORE 13686.74
AT ITER 5853 NEW BEST:: SOT 127525 SOS 15608 HAS SOPS 15608 HAS SOUS 13605 HAS SOUPS 13605 WITH SCORE 13620.608
AT ITER 5857 NEW BEST:: SOT 127525 SOS 15608 HAS SOPS 15608 HAS SOUS 13596 HAS SOUPS 13596 WITH SCORE 13611.608
AT ITER 5891 NEW BEST:: SOT 127518 SOS 15594 HAS SOPS 15594 HAS SOUS 13589 HAS SOUPS 13589 WITH SCORE 13604.594
AT ITER 5894 NEW BEST:: SOT 127516 SOS 15612 HAS SOPS 15612 HAS SOUS 13587 HAS SOUPS 13587 WITH SCORE 13602.612
AT ITER 5904 NEW BEST:: SOT 127502 SOS 15584 HAS SOPS 15584 HAS SOUS 13554 HAS SOUPS 13554 WITH SCORE 13569.584
AT ITER 5918 NEW BEST:: SOT 127500 SOS 15580 HAS SOPS 15580 HAS SOUS 13534 HAS SOUPS 13534 WITH SCORE 13549.58
AT ITER 6027 NEW BEST:: SOT 127495 SOS 15570 HAS SOPS 15570 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13544.57
AT ITER 6028 NEW BEST:: SOT 127492 SOS 15564 HAS SOPS 15564 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13542.564
AT ITER 6040 NEW BEST:: SOT 127491 SOS 15562 HAS SOPS 15562 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13536.562
AT ITER 6053 NEW BEST:: SOT 127472 SOS 15487 HAS SOPS 15487 HAS SOUS 13501 HAS SOUPS 13501 WITH SCORE 13516.487
AT ITER 6055 NEW BEST:: SOT 127469 SOS 15481 HAS SOPS 15481 HAS SOUS 13498 HAS SOUPS 13498 WITH SCORE 13513.481
AT ITER 6068 NEW BEST:: SOT 127456 SOS 15455 HAS SOPS 15455 HAS SOUS 13469 HAS SOUPS 13469 WITH SCORE 13484.455
AT ITER 6079 NEW BEST:: SOT 127441 SOS 15442 HAS SOPS 15442 HAS SOUS 13439 HAS SOUPS 13439 WITH SCORE 13454.442
AT ITER 6100 NEW BEST:: SOT 127437 SOS 15434 HAS SOPS 15434 HAS SOUS 13435 HAS SOUPS 13435 WITH SCORE 13450.434
AT ITER 6105 NEW BEST:: SOT 127435 SOS 15441 HAS SOPS 15441 HAS SOUS 13433 HAS SOUPS 13433 WITH SCORE 13448.441
AT ITER 6127 NEW BEST:: SOT 127373 SOS 15379 HAS SOPS 15379 HAS SOUS 13371 HAS SOUPS 13371 WITH SCORE 13386.379
AT ITER 6133 NEW BEST:: SOT 127355 SOS 15313 HAS SOPS 15313 HAS SOUS 13341 HAS SOUPS 13341 WITH SCORE 13356.313
AT ITER 6134 NEW BEST:: SOT 127298 SOS 15199 HAS SOPS 15199 HAS SOUS 13277 HAS SOUPS 13277 WITH SCORE 13292.199
AT ITER 6140 NEW BEST:: SOT 127262 SOS 15147 HAS SOPS 15147 HAS SOUS 13225 HAS SOUPS 13225 WITH SCORE 13240.147
AT ITER 6147 NEW BEST:: SOT 127255 SOS 15126 HAS SOPS 15126 HAS SOUS 13211 HAS SOUPS 13211 WITH SCORE 13226.126
AT ITER 6148 NEW BEST:: SOT 127239 SOS 15094 HAS SOPS 15094 HAS SOUS 13187 HAS SOUPS 13187 WITH SCORE 13202.094
AT ITER 6173 NEW BEST:: SOT 127223 SOS 15062 HAS SOPS 15062 HAS SOUS 13169 HAS SOUPS 13169 WITH SCORE 13184.062
AT ITER 6189 NEW BEST:: SOT 127207 SOS 15030 HAS SOPS 15030 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13154.03
AT ITER 6209 NEW BEST:: SOT 127207 SOS 15021 HAS SOPS 15021 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13154.021
AT ITER 6232 NEW BEST:: SOT 127201 SOS 15009 HAS SOPS 15009 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13151.009
AT ITER 6258 NEW BEST:: SOT 127191 SOS 14989 HAS SOPS 14989 HAS SOUS 13126 HAS SOUPS 13126 WITH SCORE 13140.989
AT ITER 6271 NEW BEST:: SOT 127189 SOS 14982 HAS SOPS 14982 HAS SOUS 13122 HAS SOUPS 13122 WITH SCORE 13136.982
AT ITER 6276 NEW BEST:: SOT 127189 SOS 14982 HAS SOPS 14982 HAS SOUS 13113 HAS SOUPS 13113 WITH SCORE 13127.982
AT ITER 6278 NEW BEST:: SOT 127163 SOS 14930 HAS SOPS 14930 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13053.93
AT ITER 6293 NEW BEST:: SOT 127107 SOS 14874 HAS SOPS 14874 HAS SOUS 12978 HAS SOUPS 12978 WITH SCORE 12992.874
AT ITER 6295 NEW BEST:: SOT 127106 SOS 14805 HAS SOPS 14805 HAS SOUS 12977 HAS SOUPS 12977 WITH SCORE 12991.805
AT ITER 6320 NEW BEST:: SOT 127085 SOS 14798 HAS SOPS 14798 HAS SOUS 12957 HAS SOUPS 12957 WITH SCORE 12971.798
AT ITER 6346 NEW BEST:: SOT 127078 SOS 14784 HAS SOPS 14784 HAS SOUS 12943 HAS SOUPS 12943 WITH SCORE 12957.784
AT ITER 6352 NEW BEST:: SOT 127086 SOS 14800 HAS SOPS 14800 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12883.8
AT ITER 6372 NEW BEST:: SOT 127073 SOS 14721 HAS SOPS 14721 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12861.721
AT ITER 6403 NEW BEST:: SOT 127070 SOS 14715 HAS SOPS 14715 HAS SOUS 12841 HAS SOUPS 12841 WITH SCORE 12855.715
AT ITER 6416 NEW BEST:: SOT 127073 SOS 14721 HAS SOPS 14721 HAS SOUS 12836 HAS SOUPS 12836 WITH SCORE 12850.721
AT ITER 6435 NEW BEST:: SOT 127007 SOS 14589 HAS SOPS 14589 HAS SOUS 12699 HAS SOUPS 12699 WITH SCORE 12713.589
AT ITER 6454 NEW BEST:: SOT 126985 SOS 14545 HAS SOPS 14545 HAS SOUS 12677 HAS SOUPS 12677 WITH SCORE 12691.545
AT ITER 6465 NEW BEST:: SOT 126976 SOS 14571 HAS SOPS 14571 HAS SOUS 12668 HAS SOUPS 12668 WITH SCORE 12682.571
AT ITER 6467 NEW BEST:: SOT 126976 SOS 14551 HAS SOPS 14551 HAS SOUS 12648 HAS SOUPS 12648 WITH SCORE 12662.551
AT ITER 6488 NEW BEST:: SOT 126957 SOS 14547 HAS SOPS 14547 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12658.547
AT ITER 6506 NEW BEST:: SOT 126954 SOS 14541 HAS SOPS 14541 HAS SOUS 12641 HAS SOUPS 12641 WITH SCORE 12655.541
AT ITER 6522 NEW BEST:: SOT 126937 SOS 14507 HAS SOPS 14507 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12621.507
AT ITER 6534 NEW BEST:: SOT 126923 SOS 14574 HAS SOPS 14574 HAS SOUS 12582 HAS SOUPS 12582 WITH SCORE 12596.574
AT ITER 6550 NEW BEST:: SOT 126907 SOS 14542 HAS SOPS 14542 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12585.542
AT ITER 6615 NEW BEST:: SOT 126903 SOS 14534 HAS SOPS 14534 HAS SOUS 12563 HAS SOUPS 12563 WITH SCORE 12577.534
AT ITER 6619 NEW BEST:: SOT 126905 SOS 14474 HAS SOPS 14474 HAS SOUS 12505 HAS SOUPS 12505 WITH SCORE 12519.474
AT ITER 6643 NEW BEST:: SOT 126904 SOS 14472 HAS SOPS 14472 HAS SOUS 12504 HAS SOUPS 12504 WITH SCORE 12518.472
AT ITER 6645 NEW BEST:: SOT 126904 SOS 14472 HAS SOPS 14472 HAS SOUS 12491 HAS SOUPS 12491 WITH SCORE 12505.472
AT ITER 6660 NEW BEST:: SOT 126852 SOS 14368 HAS SOPS 14368 HAS SOUS 12407 HAS SOUPS 12407 WITH SCORE 12421.368
AT ITER 6662 NEW BEST:: SOT 126819 SOS 14250 HAS SOPS 14250 HAS SOUS 12322 HAS SOUPS 12322 WITH SCORE 12336.25
AT ITER 6728 NEW BEST:: SOT 126812 SOS 14229 HAS SOPS 14229 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12323.229
AT ITER 6772 NEW BEST:: SOT 126808 SOS 14221 HAS SOPS 14221 HAS SOUS 12301 HAS SOUPS 12301 WITH SCORE 12315.221
AT ITER 6774 NEW BEST:: SOT 126798 SOS 14201 HAS SOPS 14201 HAS SOUS 12278 HAS SOUPS 12278 WITH SCORE 12292.201
AT ITER 6794 NEW BEST:: SOT 126794 SOS 14193 HAS SOPS 14193 HAS SOUS 12274 HAS SOUPS 12274 WITH SCORE 12288.193
AT ITER 6795 NEW BEST:: SOT 126788 SOS 14181 HAS SOPS 14181 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12282.181
AT ITER 6829 NEW BEST:: SOT 126771 SOS 14130 HAS SOPS 14130 HAS SOUS 12251 HAS SOUPS 12251 WITH SCORE 12265.13
AT ITER 6847 NEW BEST:: SOT 126769 SOS 14126 HAS SOPS 14126 HAS SOUS 12249 HAS SOUPS 12249 WITH SCORE 12263.126
AT ITER 6878 NEW BEST:: SOT 126769 SOS 14126 HAS SOPS 14126 HAS SOUS 12243 HAS SOUPS 12243 WITH SCORE 12257.126
AT ITER 6895 NEW BEST:: SOT 126767 SOS 14122 HAS SOPS 14122 HAS SOUS 12241 HAS SOUPS 12241 WITH SCORE 12255.122
AT ITER 6915 NEW BEST:: SOT 126755 SOS 14098 HAS SOPS 14098 HAS SOUS 12236 HAS SOUPS 12236 WITH SCORE 12250.098
AT ITER 6926 NEW BEST:: SOT 126752 SOS 14095 HAS SOPS 14095 HAS SOUS 12232 HAS SOUPS 12232 WITH SCORE 12246.095
AT ITER 6942 NEW BEST:: SOT 126753 SOS 14097 HAS SOPS 14097 HAS SOUS 12229 HAS SOUPS 12229 WITH SCORE 12243.097
AT ITER 6956 NEW BEST:: SOT 126752 SOS 14095 HAS SOPS 14095 HAS SOUS 12218 HAS SOUPS 12218 WITH SCORE 12232.095
AT ITER 6961 NEW BEST:: SOT 126738 SOS 14089 HAS SOPS 14089 HAS SOUS 12210 HAS SOUPS 12210 WITH SCORE 12224.089
AT ITER 7025 NEW BEST:: SOT 126738 SOS 14089 HAS SOPS 14089 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12208.089
AT ITER 7032 NEW BEST:: SOT 126718 SOS 14049 HAS SOPS 14049 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12120.049
AT ITER 7044 NEW BEST:: SOT 126703 SOS 14002 HAS SOPS 14002 HAS SOUS 12091 HAS SOUPS 12091 WITH SCORE 12105.002
AT ITER 7049 NEW BEST:: SOT 126695 SOS 13986 HAS SOPS 13986 HAS SOUS 12066 HAS SOUPS 12066 WITH SCORE 12079.986
AT ITER 7080 NEW BEST:: SOT 126683 SOS 14003 HAS SOPS 14003 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12061.003
AT ITER 7081 NEW BEST:: SOT 126683 SOS 14003 HAS SOPS 14003 HAS SOUS 12037 HAS SOUPS 12037 WITH SCORE 12051.003
AT ITER 7109 NEW BEST:: SOT 126677 SOS 13991 HAS SOPS 13991 HAS SOUS 12016 HAS SOUPS 12016 WITH SCORE 12029.991
AT ITER 7110 NEW BEST:: SOT 126651 SOS 13939 HAS SOPS 13939 HAS SOUS 11946 HAS SOUPS 11946 WITH SCORE 11959.939
AT ITER 7138 NEW BEST:: SOT 126648 SOS 13925 HAS SOPS 13925 HAS SOUS 11943 HAS SOUPS 11943 WITH SCORE 11956.925
AT ITER 7139 NEW BEST:: SOT 126619 SOS 13867 HAS SOPS 13867 HAS SOUS 11914 HAS SOUPS 11914 WITH SCORE 11927.867
AT ITER 7149 NEW BEST:: SOT 126608 SOS 13857 HAS SOPS 13857 HAS SOUS 11903 HAS SOUPS 11903 WITH SCORE 11916.857
AT ITER 7167 NEW BEST:: SOT 126608 SOS 13857 HAS SOPS 13857 HAS SOUS 11888 HAS SOUPS 11888 WITH SCORE 11901.857
AT ITER 7184 NEW BEST:: SOT 126605 SOS 13844 HAS SOPS 13844 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11891.844
AT ITER 7204 NEW BEST:: SOT 126605 SOS 13842 HAS SOPS 13842 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11891.842
AT ITER 7206 NEW BEST:: SOT 126590 SOS 13812 HAS SOPS 13812 HAS SOUS 11848 HAS SOUPS 11848 WITH SCORE 11861.812
AT ITER 7225 NEW BEST:: SOT 126562 SOS 13756 HAS SOPS 13756 HAS SOUS 11772 HAS SOUPS 11772 WITH SCORE 11785.756
AT ITER 7280 NEW BEST:: SOT 126541 SOS 13714 HAS SOPS 13714 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11757.714
AT ITER 7284 NEW BEST:: SOT 126538 SOS 13704 HAS SOPS 13704 HAS SOUS 11741 HAS SOUPS 11741 WITH SCORE 11754.704
AT ITER 7286 NEW BEST:: SOT 126531 SOS 13690 HAS SOPS 13690 HAS SOUS 11727 HAS SOUPS 11727 WITH SCORE 11740.69
AT ITER 7299 NEW BEST:: SOT 126520 SOS 13668 HAS SOPS 13668 HAS SOUS 11683 HAS SOUPS 11683 WITH SCORE 11696.668
AT ITER 7336 NEW BEST:: SOT 126518 SOS 13664 HAS SOPS 13664 HAS SOUS 11678 HAS SOUPS 11678 WITH SCORE 11691.664
AT ITER 7371 NEW BEST:: SOT 126426 SOS 13480 HAS SOPS 13480 HAS SOUS 11494 HAS SOUPS 11494 WITH SCORE 11507.48
AT ITER 7410 NEW BEST:: SOT 126397 SOS 13422 HAS SOPS 13422 HAS SOUS 11450 HAS SOUPS 11450 WITH SCORE 11463.422
AT ITER 7416 NEW BEST:: SOT 126393 SOS 13414 HAS SOPS 13414 HAS SOUS 11442 HAS SOUPS 11442 WITH SCORE 11455.414
AT ITER 7429 NEW BEST:: SOT 126383 SOS 13394 HAS SOPS 13394 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11435.394
AT ITER 7468 NEW BEST:: SOT 126364 SOS 13356 HAS SOPS 13356 HAS SOUS 11403 HAS SOUPS 11403 WITH SCORE 11416.356
AT ITER 7517 NEW BEST:: SOT 126362 SOS 13352 HAS SOPS 13352 HAS SOUS 11401 HAS SOUPS 11401 WITH SCORE 11414.352
AT ITER 7521 NEW BEST:: SOT 126290 SOS 13208 HAS SOPS 13208 HAS SOUS 11263 HAS SOUPS 11263 WITH SCORE 11276.208
AT ITER 7531 NEW BEST:: SOT 126290 SOS 13202 HAS SOPS 13202 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11270.202
AT ITER 7555 NEW BEST:: SOT 126301 SOS 13224 HAS SOPS 13224 HAS SOUS 11245 HAS SOUPS 11245 WITH SCORE 11258.224
AT ITER 7562 NEW BEST:: SOT 126200 SOS 13022 HAS SOPS 13022 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11057.022
AT ITER 7581 NEW BEST:: SOT 126193 SOS 13008 HAS SOPS 13008 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11031.008
AT ITER 7609 NEW BEST:: SOT 126174 SOS 12970 HAS SOPS 12970 HAS SOUS 11004 HAS SOUPS 11004 WITH SCORE 11016.97
AT ITER 7642 NEW BEST:: SOT 126169 SOS 12960 HAS SOPS 12960 HAS SOUS 10977 HAS SOUPS 10977 WITH SCORE 10989.96
AT ITER 7662 NEW BEST:: SOT 126164 SOS 12950 HAS SOPS 12950 HAS SOUS 10974 HAS SOUPS 10974 WITH SCORE 10986.95
AT ITER 7678 NEW BEST:: SOT 126145 SOS 12934 HAS SOPS 12934 HAS SOUS 10955 HAS SOUPS 10955 WITH SCORE 10967.934
AT ITER 7686 NEW BEST:: SOT 126145 SOS 12934 HAS SOPS 12934 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10938.934
AT ITER 7689 NEW BEST:: SOT 126129 SOS 12884 HAS SOPS 12884 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10904.884
AT ITER 7690 NEW BEST:: SOT 126128 SOS 12894 HAS SOPS 12894 HAS SOUS 10890 HAS SOUPS 10890 WITH SCORE 10902.894
AT ITER 7693 NEW BEST:: SOT 126120 SOS 12878 HAS SOPS 12878 HAS SOUS 10874 HAS SOUPS 10874 WITH SCORE 10886.878
AT ITER 7696 NEW BEST:: SOT 126088 SOS 12814 HAS SOPS 12814 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10822.814
AT ITER 7712 NEW BEST:: SOT 126084 SOS 12802 HAS SOPS 12802 HAS SOUS 10802 HAS SOUPS 10802 WITH SCORE 10814.802
AT ITER 7736 NEW BEST:: SOT 126093 SOS 12784 HAS SOPS 12784 HAS SOUS 10784 HAS SOUPS 10784 WITH SCORE 10796.784
AT ITER 7743 NEW BEST:: SOT 126089 SOS 12807 HAS SOPS 12807 HAS SOUS 10780 HAS SOUPS 10780 WITH SCORE 10792.807
AT ITER 7802 NEW BEST:: SOT 126090 SOS 12806 HAS SOPS 12806 HAS SOUS 10779 HAS SOUPS 10779 WITH SCORE 10791.806
AT ITER 7806 NEW BEST:: SOT 126062 SOS 12750 HAS SOPS 12750 HAS SOUS 10751 HAS SOUPS 10751 WITH SCORE 10763.75
AT ITER 7814 NEW BEST:: SOT 126001 SOS 12628 HAS SOPS 12628 HAS SOUS 10690 HAS SOUPS 10690 WITH SCORE 10702.628
AT ITER 7818 NEW BEST:: SOT 125999 SOS 12624 HAS SOPS 12624 HAS SOUS 10688 HAS SOUPS 10688 WITH SCORE 10700.624
AT ITER 7842 NEW BEST:: SOT 125973 SOS 12572 HAS SOPS 12572 HAS SOUS 10636 HAS SOUPS 10636 WITH SCORE 10648.572
AT ITER 7894 NEW BEST:: SOT 125971 SOS 12576 HAS SOPS 12576 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10646.576
AT ITER 7922 NEW BEST:: SOT 125970 SOS 12574 HAS SOPS 12574 HAS SOUS 10630 HAS SOUPS 10630 WITH SCORE 10642.574
AT ITER 7942 NEW BEST:: SOT 125970 SOS 12574 HAS SOPS 12574 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10637.574
AT ITER 7969 NEW BEST:: SOT 125966 SOS 12557 HAS SOPS 12557 HAS SOUS 10621 HAS SOUPS 10621 WITH SCORE 10633.557
AT ITER 7971 NEW BEST:: SOT 125955 SOS 12535 HAS SOPS 12535 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10622.535
AT ITER 7974 NEW BEST:: SOT 125896 SOS 12358 HAS SOPS 12358 HAS SOUS 10492 HAS SOUPS 10492 WITH SCORE 10504.358
AT ITER 8017 NEW BEST:: SOT 125894 SOS 12354 HAS SOPS 12354 HAS SOUS 10490 HAS SOUPS 10490 WITH SCORE 10502.354
AT ITER 8074 NEW BEST:: SOT 125896 SOS 12358 HAS SOPS 12358 HAS SOUS 10482 HAS SOUPS 10482 WITH SCORE 10494.358
AT ITER 8075 NEW BEST:: SOT 125896 SOS 12358 HAS SOPS 12358 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10493.358
AT ITER 8077 NEW BEST:: SOT 125905 SOS 12376 HAS SOPS 12376 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10483.376
AT ITER 8078 NEW BEST:: SOT 125899 SOS 12364 HAS SOPS 12364 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10435.364
AT ITER 8082 NEW BEST:: SOT 125876 SOS 12318 HAS SOPS 12318 HAS SOUS 10399 HAS SOUPS 10399 WITH SCORE 10411.318
AT ITER 8088 NEW BEST:: SOT 125847 SOS 12260 HAS SOPS 12260 HAS SOUS 10353 HAS SOUPS 10353 WITH SCORE 10365.26
AT ITER 8090 NEW BEST:: SOT 125867 SOS 12300 HAS SOPS 12300 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10349.3
AT ITER 8094 NEW BEST:: SOT 125842 SOS 12278 HAS SOPS 12278 HAS SOUS 10311 HAS SOUPS 10311 WITH SCORE 10323.278
AT ITER 8130 NEW BEST:: SOT 125814 SOS 12222 HAS SOPS 12222 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10275.222
AT ITER 8145 NEW BEST:: SOT 125805 SOS 12204 HAS SOPS 12204 HAS SOUS 10254 HAS SOUPS 10254 WITH SCORE 10266.204
AT ITER 8163 NEW BEST:: SOT 125794 SOS 12195 HAS SOPS 12195 HAS SOUS 10243 HAS SOUPS 10243 WITH SCORE 10255.195
AT ITER 8180 NEW BEST:: SOT 125786 SOS 12210 HAS SOPS 12210 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10247.21
AT ITER 8192 NEW BEST:: SOT 125786 SOS 12209 HAS SOPS 12209 HAS SOUS 10234 HAS SOUPS 10234 WITH SCORE 10246.209
AT ITER 8214 NEW BEST:: SOT 125780 SOS 12197 HAS SOPS 12197 HAS SOUS 10228 HAS SOUPS 10228 WITH SCORE 10240.197
AT ITER 8229 NEW BEST:: SOT 125782 SOS 12189 HAS SOPS 12189 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10232.189
AT ITER 8231 NEW BEST:: SOT 125778 SOS 12177 HAS SOPS 12177 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10228.177
AT ITER 8267 NEW BEST:: SOT 125766 SOS 12141 HAS SOPS 12141 HAS SOUS 10192 HAS SOUPS 10192 WITH SCORE 10204.141
AT ITER 8282 NEW BEST:: SOT 125759 SOS 12127 HAS SOPS 12127 HAS SOUS 10178 HAS SOUPS 10178 WITH SCORE 10190.127
AT ITER 8285 NEW BEST:: SOT 125745 SOS 12085 HAS SOPS 12085 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10176.085
AT ITER 8292 NEW BEST:: SOT 125742 SOS 12079 HAS SOPS 12079 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10173.079
AT ITER 8303 NEW BEST:: SOT 125742 SOS 12079 HAS SOPS 12079 HAS SOUS 10137 HAS SOUPS 10137 WITH SCORE 10149.079
AT ITER 8321 NEW BEST:: SOT 125727 SOS 12077 HAS SOPS 12077 HAS SOUS 10110 HAS SOUPS 10110 WITH SCORE 10122.077
AT ITER 8333 NEW BEST:: SOT 125727 SOS 12077 HAS SOPS 12077 HAS SOUS 10101 HAS SOUPS 10101 WITH SCORE 10113.077
AT ITER 8337 NEW BEST:: SOT 125727 SOS 12077 HAS SOPS 12077 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10062.077
AT ITER 8386 NEW BEST:: SOT 125724 SOS 12093 HAS SOPS 12093 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10056.093
AT ITER 8387 NEW BEST:: SOT 125712 SOS 12053 HAS SOPS 12053 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10044.053
AT ITER 8401 NEW BEST:: SOT 125712 SOS 12040 HAS SOPS 12040 HAS SOUS 10019 HAS SOUPS 10019 WITH SCORE 10031.04
AT ITER 8445 NEW BEST:: SOT 125702 SOS 12020 HAS SOPS 12020 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10011.02
AT ITER 8459 NEW BEST:: SOT 125705 SOS 12009 HAS SOPS 12009 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10011.009
AT ITER 8474 NEW BEST:: SOT 125705 SOS 11968 HAS SOPS 11968 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10010.968
AT ITER 8507 NEW BEST:: SOT 125703 SOS 11996 HAS SOPS 11996 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10008.996
AT ITER 8512 NEW BEST:: SOT 125683 SOS 11956 HAS SOPS 11956 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9974.956
AT ITER 8539 NEW BEST:: SOT 125679 SOS 11948 HAS SOPS 11948 HAS SOUS 9956 HAS SOUPS 9956 WITH SCORE 9967.948
AT ITER 8545 NEW BEST:: SOT 125661 SOS 11930 HAS SOPS 11930 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9949.93
AT ITER 8546 NEW BEST:: SOT 125639 SOS 11886 HAS SOPS 11886 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9932.886
AT ITER 8574 NEW BEST:: SOT 125638 SOS 11884 HAS SOPS 11884 HAS SOUS 9920 HAS SOUPS 9920 WITH SCORE 9931.884
AT ITER 8577 NEW BEST:: SOT 125603 SOS 11814 HAS SOPS 11814 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9896.814
AT ITER 8606 NEW BEST:: SOT 125590 SOS 11775 HAS SOPS 11775 HAS SOUS 9859 HAS SOUPS 9859 WITH SCORE 9870.775
AT ITER 8631 NEW BEST:: SOT 125572 SOS 11685 HAS SOPS 11685 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9851.685
AT ITER 8633 NEW BEST:: SOT 125569 SOS 11676 HAS SOPS 11676 HAS SOUS 9834 HAS SOUPS 9834 WITH SCORE 9845.676
AT ITER 8648 NEW BEST:: SOT 125566 SOS 11677 HAS SOPS 11677 HAS SOUS 9831 HAS SOUPS 9831 WITH SCORE 9842.677
AT ITER 8668 NEW BEST:: SOT 125566 SOS 11677 HAS SOPS 11677 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9812.677
AT ITER 8678 NEW BEST:: SOT 125559 SOS 11656 HAS SOPS 11656 HAS SOUS 9787 HAS SOUPS 9787 WITH SCORE 9798.656
AT ITER 8727 NEW BEST:: SOT 125562 SOS 11652 HAS SOPS 11652 HAS SOUS 9787 HAS SOUPS 9787 WITH SCORE 9798.652
AT ITER 8788 NEW BEST:: SOT 125610 SOS 11673 HAS SOPS 11673 HAS SOUS 9775 HAS SOUPS 9775 WITH SCORE 9786.673
AT ITER 8804 NEW BEST:: SOT 125609 SOS 11671 HAS SOPS 11671 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9784.671
AT ITER 8809 NEW BEST:: SOT 125622 SOS 11625 HAS SOPS 11625 HAS SOUS 9771 HAS SOUPS 9771 WITH SCORE 9782.625
AT ITER 8822 NEW BEST:: SOT 125612 SOS 11605 HAS SOPS 11605 HAS SOUS 9753 HAS SOUPS 9753 WITH SCORE 9764.605
AT ITER 8828 NEW BEST:: SOT 125619 SOS 11619 HAS SOPS 11619 HAS SOUS 9725 HAS SOUPS 9725 WITH SCORE 9736.619
AT ITER 8833 NEW BEST:: SOT 125605 SOS 11591 HAS SOPS 11591 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9722.591
AT ITER 8842 NEW BEST:: SOT 125605 SOS 11591 HAS SOPS 11591 HAS SOUS 9688 HAS SOUPS 9688 WITH SCORE 9699.591
AT ITER 8855 NEW BEST:: SOT 125586 SOS 11572 HAS SOPS 11572 HAS SOUS 9669 HAS SOUPS 9669 WITH SCORE 9680.572
AT ITER 8867 NEW BEST:: SOT 125583 SOS 11563 HAS SOPS 11563 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9677.563
AT ITER 8874 NEW BEST:: SOT 125565 SOS 11527 HAS SOPS 11527 HAS SOUS 9630 HAS SOUPS 9630 WITH SCORE 9641.527
AT ITER 8908 NEW BEST:: SOT 125538 SOS 11446 HAS SOPS 11446 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9587.446
AT ITER 8965 NEW BEST:: SOT 125538 SOS 11443 HAS SOPS 11443 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9587.443
AT ITER 8973 NEW BEST:: SOT 125556 SOS 11479 HAS SOPS 11479 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9584.479
AT ITER 8979 NEW BEST:: SOT 125534 SOS 11435 HAS SOPS 11435 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9562.435
AT ITER 8998 NEW BEST:: SOT 125498 SOS 11363 HAS SOPS 11363 HAS SOUS 9479 HAS SOUPS 9479 WITH SCORE 9490.363
AT ITER 9062 NEW BEST:: SOT 125475 SOS 11239 HAS SOPS 11239 HAS SOUS 9401 HAS SOUPS 9401 WITH SCORE 9412.239
AT ITER 9133 NEW BEST:: SOT 125462 SOS 11213 HAS SOPS 11213 HAS SOUS 9392 HAS SOUPS 9392 WITH SCORE 9403.213
AT ITER 9152 NEW BEST:: SOT 125459 SOS 11210 HAS SOPS 11210 HAS SOUS 9389 HAS SOUPS 9389 WITH SCORE 9400.21
AT ITER 9174 NEW BEST:: SOT 125399 SOS 11090 HAS SOPS 11090 HAS SOUS 9269 HAS SOUPS 9269 WITH SCORE 9280.09
AT ITER 9184 NEW BEST:: SOT 125394 SOS 11080 HAS SOPS 11080 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9270.08
AT ITER 9244 NEW BEST:: SOT 125394 SOS 11079 HAS SOPS 11079 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9270.079
AT ITER 9258 NEW BEST:: SOT 125391 SOS 11073 HAS SOPS 11073 HAS SOUS 9246 HAS SOUPS 9246 WITH SCORE 9257.073
AT ITER 9261 NEW BEST:: SOT 125349 SOS 10989 HAS SOPS 10989 HAS SOUS 9167 HAS SOUPS 9167 WITH SCORE 9177.989
AT ITER 9318 NEW BEST:: SOT 125343 SOS 10977 HAS SOPS 10977 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9154.977
AT ITER 9339 NEW BEST:: SOT 125347 SOS 10985 HAS SOPS 10985 HAS SOUS 9138 HAS SOUPS 9138 WITH SCORE 9148.985
AT ITER 9356 NEW BEST:: SOT 125343 SOS 10979 HAS SOPS 10979 HAS SOUS 9132 HAS SOUPS 9132 WITH SCORE 9142.979
AT ITER 9358 NEW BEST:: SOT 125343 SOS 10971 HAS SOPS 10971 HAS SOUS 9132 HAS SOUPS 9132 WITH SCORE 9142.971
AT ITER 9367 NEW BEST:: SOT 125325 SOS 10988 HAS SOPS 10988 HAS SOUS 9114 HAS SOUPS 9114 WITH SCORE 9124.988
AT ITER 9404 NEW BEST:: SOT 125318 SOS 10974 HAS SOPS 10974 HAS SOUS 9107 HAS SOUPS 9107 WITH SCORE 9117.974
AT ITER 9414 NEW BEST:: SOT 125314 SOS 10960 HAS SOPS 10960 HAS SOUS 9103 HAS SOUPS 9103 WITH SCORE 9113.96
AT ITER 9432 NEW BEST:: SOT 125299 SOS 10930 HAS SOPS 10930 HAS SOUS 9088 HAS SOUPS 9088 WITH SCORE 9098.93
AT ITER 9466 NEW BEST:: SOT 125284 SOS 10900 HAS SOPS 10900 HAS SOUS 9084 HAS SOUPS 9084 WITH SCORE 9094.9
AT ITER 9475 NEW BEST:: SOT 125274 SOS 10890 HAS SOPS 10890 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9084.89
AT ITER 9553 NEW BEST:: SOT 125272 SOS 10886 HAS SOPS 10886 HAS SOUS 9066 HAS SOUPS 9066 WITH SCORE 9076.886
AT ITER 9555 NEW BEST:: SOT 125272 SOS 10885 HAS SOPS 10885 HAS SOUS 9065 HAS SOUPS 9065 WITH SCORE 9075.885
AT ITER 9586 NEW BEST:: SOT 125247 SOS 10835 HAS SOPS 10835 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9035.835
AT ITER 9593 NEW BEST:: SOT 125232 SOS 10805 HAS SOPS 10805 HAS SOUS 8995 HAS SOUPS 8995 WITH SCORE 9005.805
AT ITER 9633 NEW BEST:: SOT 125230 SOS 10860 HAS SOPS 10860 HAS SOUS 8993 HAS SOUPS 8993 WITH SCORE 9003.86
AT ITER 9655 NEW BEST:: SOT 125214 SOS 10844 HAS SOPS 10844 HAS SOUS 8977 HAS SOUPS 8977 WITH SCORE 8987.844
AT ITER 9657 NEW BEST:: SOT 125200 SOS 10816 HAS SOPS 10816 HAS SOUS 8946 HAS SOUPS 8946 WITH SCORE 8956.816
AT ITER 9671 NEW BEST:: SOT 125200 SOS 10816 HAS SOPS 10816 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8944.816
AT ITER 9687 NEW BEST:: SOT 125187 SOS 10777 HAS SOPS 10777 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8918.777
AT ITER 9719 NEW BEST:: SOT 125187 SOS 10749 HAS SOPS 10749 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8918.749
AT ITER 9734 NEW BEST:: SOT 125166 SOS 10707 HAS SOPS 10707 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8897.707
AT ITER 9775 NEW BEST:: SOT 125166 SOS 10698 HAS SOPS 10698 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8897.698
AT ITER 9783 NEW BEST:: SOT 125166 SOS 10693 HAS SOPS 10693 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8892.693
AT ITER 9792 NEW BEST:: SOT 125166 SOS 10666 HAS SOPS 10666 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8892.666
AT ITER 9814 NEW BEST:: SOT 125157 SOS 10648 HAS SOPS 10648 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8868.648
AT ITER 9834 NEW BEST:: SOT 125123 SOS 10652 HAS SOPS 10652 HAS SOUS 8846 HAS SOUPS 8846 WITH SCORE 8856.652
AT ITER 9851 NEW BEST:: SOT 125106 SOS 10584 HAS SOPS 10584 HAS SOUS 8818 HAS SOUPS 8818 WITH SCORE 8828.584
AT ITER 9868 NEW BEST:: SOT 125065 SOS 10502 HAS SOPS 10502 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8740.502
AT ITER 9875 NEW BEST:: SOT 125060 SOS 10492 HAS SOPS 10492 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8735.492
AT ITER 9912 NEW BEST:: SOT 125084 SOS 10540 HAS SOPS 10540 HAS SOUS 8723 HAS SOUPS 8723 WITH SCORE 8733.54
AT ITER 9977 NEW BEST:: SOT 125081 SOS 10537 HAS SOPS 10537 HAS SOUS 8720 HAS SOUPS 8720 WITH SCORE 8730.537
AT ITER 9986 NEW BEST:: SOT 125081 SOS 10537 HAS SOPS 10537 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8697.537
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10691644 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16118572 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="Referendum-COL-0200"
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 Referendum-COL-0200, 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 r331-tall-167889204500448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Referendum-COL-0200.tgz
mv Referendum-COL-0200 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 ;