Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r171-tall-167838858900664.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 FunctionPointer-PT-b002, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858900664
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 848K
-rw-r--r-- 1 mcc users 7.5K Feb 25 11:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 11:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 11:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 11:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 25 11:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 25 11:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 391K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679493164763

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=FunctionPointer-PT-b002
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 13:52:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 13:52:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 13:52:46] [INFO ] Load time of PNML (sax parser for PT used): 80 ms
[2023-03-22 13:52:46] [INFO ] Transformed 306 places.
[2023-03-22 13:52:46] [INFO ] Transformed 840 transitions.
[2023-03-22 13:52:46] [INFO ] Parsed PT model containing 306 places and 840 transitions and 3392 arcs in 142 ms.
[2023-03-22 13:52:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 306 places, 840 transitions and 3392 arcs took 9 ms.
Total runtime 177 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b002
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: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250193 SOS 199462 HAS SOPS 193223 HAS SOUS 100184 HAS SOUPS 99748 WITH SCORE 99947.462
AT ITER 1 NEW BEST:: SOT 250193 SOS 199374 HAS SOPS 193135 HAS SOUS 100184 HAS SOUPS 99748 WITH SCORE 99947.374
AT ITER 3 NEW BEST:: SOT 250177 SOS 199178 HAS SOPS 193103 HAS SOUS 100152 HAS SOUPS 99716 WITH SCORE 99915.178
AT ITER 6 NEW BEST:: SOT 250177 SOS 199254 HAS SOPS 193179 HAS SOUS 100144 HAS SOUPS 99708 WITH SCORE 99907.254
AT ITER 10 NEW BEST:: SOT 250177 SOS 199254 HAS SOPS 193179 HAS SOUS 100138 HAS SOUPS 99702 WITH SCORE 99901.254
AT ITER 11 NEW BEST:: SOT 250177 SOS 199254 HAS SOPS 193179 HAS SOUS 100136 HAS SOUPS 99700 WITH SCORE 99899.254
AT ITER 16 NEW BEST:: SOT 250177 SOS 199354 HAS SOPS 193279 HAS SOUS 100002 HAS SOUPS 99566 WITH SCORE 99765.354
AT ITER 19 NEW BEST:: SOT 250177 SOS 199450 HAS SOPS 193375 HAS SOUS 99994 HAS SOUPS 99558 WITH SCORE 99757.45
AT ITER 23 NEW BEST:: SOT 250177 SOS 198852 HAS SOPS 192777 HAS SOUS 99875 HAS SOUPS 99439 WITH SCORE 99637.852
AT ITER 24 NEW BEST:: SOT 250177 SOS 198828 HAS SOPS 192753 HAS SOUS 99773 HAS SOUPS 99337 WITH SCORE 99535.828
AT ITER 26 NEW BEST:: SOT 250177 SOS 198938 HAS SOPS 192863 HAS SOUS 99734 HAS SOUPS 99298 WITH SCORE 99496.938
AT ITER 28 NEW BEST:: SOT 250177 SOS 198686 HAS SOPS 192611 HAS SOUS 99694 HAS SOUPS 99258 WITH SCORE 99456.686
AT ITER 31 NEW BEST:: SOT 250177 SOS 199126 HAS SOPS 193051 HAS SOUS 99654 HAS SOUPS 99218 WITH SCORE 99417.126
AT ITER 32 NEW BEST:: SOT 250159 SOS 199108 HAS SOPS 193051 HAS SOUS 99648 HAS SOUPS 99212 WITH SCORE 99411.108
AT ITER 34 NEW BEST:: SOT 250159 SOS 198944 HAS SOPS 192887 HAS SOUS 99570 HAS SOUPS 99134 WITH SCORE 99332.944
AT ITER 35 NEW BEST:: SOT 250159 SOS 198697 HAS SOPS 192640 HAS SOUS 99481 HAS SOUPS 99045 WITH SCORE 99243.697
AT ITER 36 NEW BEST:: SOT 250159 SOS 198493 HAS SOPS 192436 HAS SOUS 99445 HAS SOUPS 99009 WITH SCORE 99207.493
AT ITER 40 NEW BEST:: SOT 250143 SOS 198477 HAS SOPS 192500 HAS SOUS 99413 HAS SOUPS 98977 WITH SCORE 99175.477
AT ITER 41 NEW BEST:: SOT 250206 SOS 198342 HAS SOPS 192365 HAS SOUS 99241 HAS SOUPS 98805 WITH SCORE 99003.342
AT ITER 44 NEW BEST:: SOT 250206 SOS 198194 HAS SOPS 192217 HAS SOUS 99167 HAS SOUPS 98731 WITH SCORE 98929.194
AT ITER 47 NEW BEST:: SOT 250206 SOS 196590 HAS SOPS 189966 HAS SOUS 99605 HAS SOUPS 98096 WITH SCORE 98292.59
AT ITER 49 NEW BEST:: SOT 250206 SOS 196446 HAS SOPS 189822 HAS SOUS 99597 HAS SOUPS 98088 WITH SCORE 98284.446
AT ITER 52 NEW BEST:: SOT 250206 SOS 196350 HAS SOPS 189726 HAS SOUS 99532 HAS SOUPS 98023 WITH SCORE 98219.35
AT ITER 55 NEW BEST:: SOT 250206 SOS 196618 HAS SOPS 190073 HAS SOUS 99430 HAS SOUPS 98000 WITH SCORE 98196.618
AT ITER 59 NEW BEST:: SOT 250206 SOS 196798 HAS SOPS 190208 HAS SOUS 99295 HAS SOUPS 97910 WITH SCORE 98106.798
AT ITER 60 NEW BEST:: SOT 250206 SOS 196816 HAS SOPS 190226 HAS SOUS 98705 HAS SOUPS 97320 WITH SCORE 97516.816
AT ITER 61 NEW BEST:: SOT 250206 SOS 197106 HAS SOPS 190516 HAS SOUS 96834 HAS SOUPS 95449 WITH SCORE 95646.106
AT ITER 62 NEW BEST:: SOT 250206 SOS 197143 HAS SOPS 190596 HAS SOUS 96745 HAS SOUPS 95403 WITH SCORE 95600.143
AT ITER 64 NEW BEST:: SOT 250206 SOS 197451 HAS SOPS 190904 HAS SOUS 96188 HAS SOUPS 94846 WITH SCORE 95043.451
AT ITER 65 NEW BEST:: SOT 250190 SOS 196999 HAS SOPS 190696 HAS SOUS 96026 HAS SOUPS 94684 WITH SCORE 94880.999
AT ITER 66 NEW BEST:: SOT 250190 SOS 197171 HAS SOPS 190868 HAS SOUS 96006 HAS SOUPS 94664 WITH SCORE 94861.171
AT ITER 68 NEW BEST:: SOT 250190 SOS 197299 HAS SOPS 190996 HAS SOUS 95908 HAS SOUPS 94566 WITH SCORE 94763.299
AT ITER 71 NEW BEST:: SOT 250190 SOS 196903 HAS SOPS 190600 HAS SOUS 95872 HAS SOUPS 94530 WITH SCORE 94726.903
AT ITER 73 NEW BEST:: SOT 250190 SOS 196899 HAS SOPS 190598 HAS SOUS 95842 HAS SOUPS 94502 WITH SCORE 94698.899
AT ITER 74 NEW BEST:: SOT 250190 SOS 196545 HAS SOPS 190149 HAS SOUS 95714 HAS SOUPS 94279 WITH SCORE 94475.545
AT ITER 76 NEW BEST:: SOT 250190 SOS 196749 HAS SOPS 190353 HAS SOUS 95710 HAS SOUPS 94275 WITH SCORE 94471.749
AT ITER 78 NEW BEST:: SOT 250190 SOS 196749 HAS SOPS 190353 HAS SOUS 95672 HAS SOUPS 94237 WITH SCORE 94433.749
AT ITER 83 NEW BEST:: SOT 250190 SOS 196893 HAS SOPS 190497 HAS SOUS 95576 HAS SOUPS 94141 WITH SCORE 94337.893
AT ITER 86 NEW BEST:: SOT 250190 SOS 196895 HAS SOPS 190499 HAS SOUS 95427 HAS SOUPS 93992 WITH SCORE 94188.895
AT ITER 88 NEW BEST:: SOT 250190 SOS 196859 HAS SOPS 190463 HAS SOUS 95427 HAS SOUPS 93992 WITH SCORE 94188.859
AT ITER 91 NEW BEST:: SOT 250190 SOS 196663 HAS SOPS 190267 HAS SOUS 95393 HAS SOUPS 93958 WITH SCORE 94154.663
AT ITER 94 NEW BEST:: SOT 250190 SOS 196639 HAS SOPS 190231 HAS SOUS 95381 HAS SOUPS 93934 WITH SCORE 94130.639
AT ITER 102 NEW BEST:: SOT 250074 SOS 196502 HAS SOPS 190094 HAS SOUS 95244 HAS SOUPS 93797 WITH SCORE 93993.502
AT ITER 103 NEW BEST:: SOT 250074 SOS 196502 HAS SOPS 190094 HAS SOUS 95232 HAS SOUPS 93785 WITH SCORE 93981.502
AT ITER 105 NEW BEST:: SOT 250074 SOS 196540 HAS SOPS 190132 HAS SOUS 93937 HAS SOUPS 92490 WITH SCORE 92686.54
AT ITER 109 NEW BEST:: SOT 250074 SOS 196316 HAS SOPS 189908 HAS SOUS 93929 HAS SOUPS 92482 WITH SCORE 92678.316
AT ITER 111 NEW BEST:: SOT 250074 SOS 196296 HAS SOPS 189878 HAS SOUS 93939 HAS SOUPS 92482 WITH SCORE 92678.296
AT ITER 113 NEW BEST:: SOT 250101 SOS 195873 HAS SOPS 189455 HAS SOUS 93742 HAS SOUPS 92285 WITH SCORE 92480.873
AT ITER 117 NEW BEST:: SOT 250101 SOS 195907 HAS SOPS 189489 HAS SOUS 92831 HAS SOUPS 91374 WITH SCORE 91569.907
AT ITER 123 NEW BEST:: SOT 250101 SOS 195883 HAS SOPS 189465 HAS SOUS 92807 HAS SOUPS 91350 WITH SCORE 91545.883
AT ITER 128 NEW BEST:: SOT 250101 SOS 195869 HAS SOPS 189444 HAS SOUS 92814 HAS SOUPS 91350 WITH SCORE 91545.869
AT ITER 129 NEW BEST:: SOT 250101 SOS 195953 HAS SOPS 189562 HAS SOUS 92704 HAS SOUPS 91274 WITH SCORE 91469.953
AT ITER 135 NEW BEST:: SOT 250101 SOS 196039 HAS SOPS 189648 HAS SOUS 92531 HAS SOUPS 91101 WITH SCORE 91297.039
AT ITER 137 NEW BEST:: SOT 250101 SOS 195963 HAS SOPS 189562 HAS SOUS 92485 HAS SOUPS 91045 WITH SCORE 91240.963
AT ITER 140 NEW BEST:: SOT 250101 SOS 195957 HAS SOPS 189556 HAS SOUS 92482 HAS SOUPS 91042 WITH SCORE 91237.957
AT ITER 142 NEW BEST:: SOT 250101 SOS 195957 HAS SOPS 189556 HAS SOUS 92430 HAS SOUPS 90990 WITH SCORE 91185.957
AT ITER 146 NEW BEST:: SOT 250101 SOS 195817 HAS SOPS 189416 HAS SOUS 92356 HAS SOUPS 90916 WITH SCORE 91111.817
AT ITER 147 NEW BEST:: SOT 250101 SOS 195481 HAS SOPS 189080 HAS SOUS 92337 HAS SOUPS 90897 WITH SCORE 91092.481
AT ITER 148 NEW BEST:: SOT 250101 SOS 195467 HAS SOPS 189080 HAS SOUS 92309 HAS SOUPS 90883 WITH SCORE 91078.467
AT ITER 151 NEW BEST:: SOT 250101 SOS 195423 HAS SOPS 189058 HAS SOUS 92265 HAS SOUPS 90861 WITH SCORE 91056.423
AT ITER 153 NEW BEST:: SOT 250101 SOS 195325 HAS SOPS 188960 HAS SOUS 92245 HAS SOUPS 90841 WITH SCORE 91036.325
AT ITER 154 NEW BEST:: SOT 250101 SOS 195315 HAS SOPS 188950 HAS SOUS 92240 HAS SOUPS 90836 WITH SCORE 91031.315
AT ITER 155 NEW BEST:: SOT 250101 SOS 195551 HAS SOPS 189186 HAS SOUS 91390 HAS SOUPS 89986 WITH SCORE 90181.551
AT ITER 156 NEW BEST:: SOT 250101 SOS 195332 HAS SOPS 188967 HAS SOUS 91359 HAS SOUPS 89955 WITH SCORE 90150.332
AT ITER 161 NEW BEST:: SOT 240098 SOS 185392 HAS SOPS 178933 HAS SOUS 90906 HAS SOUPS 89471 WITH SCORE 89656.392
AT ITER 166 NEW BEST:: SOT 240098 SOS 185402 HAS SOPS 178948 HAS SOUS 90891 HAS SOUPS 89461 WITH SCORE 89646.402
AT ITER 169 NEW BEST:: SOT 240098 SOS 179421 HAS SOPS 175010 HAS SOUS 90510 HAS SOUPS 89223 WITH SCORE 89402.421
AT ITER 176 NEW BEST:: SOT 240098 SOS 179137 HAS SOPS 174726 HAS SOUS 90454 HAS SOUPS 89167 WITH SCORE 89346.137
AT ITER 179 NEW BEST:: SOT 240144 SOS 178894 HAS SOPS 174483 HAS SOUS 90346 HAS SOUPS 89059 WITH SCORE 89237.894
AT ITER 181 NEW BEST:: SOT 240144 SOS 178738 HAS SOPS 174327 HAS SOUS 90260 HAS SOUPS 88973 WITH SCORE 89151.738
AT ITER 183 NEW BEST:: SOT 240144 SOS 178966 HAS SOPS 174555 HAS SOUS 89118 HAS SOUPS 87831 WITH SCORE 88009.966
AT ITER 184 NEW BEST:: SOT 240121 SOS 178943 HAS SOPS 174532 HAS SOUS 89095 HAS SOUPS 87808 WITH SCORE 87986.943
AT ITER 187 NEW BEST:: SOT 240121 SOS 179018 HAS SOPS 174634 HAS SOUS 89065 HAS SOUPS 87805 WITH SCORE 87984.018
AT ITER 189 NEW BEST:: SOT 240121 SOS 178907 HAS SOPS 174523 HAS SOUS 88946 HAS SOUPS 87686 WITH SCORE 87864.907
AT ITER 193 NEW BEST:: SOT 227821 SOS 166704 HAS SOPS 162227 HAS SOUS 78000 HAS SOUPS 76707 WITH SCORE 76873.704
AT ITER 194 NEW BEST:: SOT 227825 SOS 166662 HAS SOPS 162183 HAS SOUS 77805 HAS SOUPS 76512 WITH SCORE 76678.662
AT ITER 198 NEW BEST:: SOT 227825 SOS 166652 HAS SOPS 162173 HAS SOUS 77750 HAS SOUPS 76457 WITH SCORE 76623.652
AT ITER 199 NEW BEST:: SOT 227775 SOS 166566 HAS SOPS 162087 HAS SOUS 77707 HAS SOUPS 76414 WITH SCORE 76580.566
AT ITER 200 NEW BEST:: SOT 227775 SOS 166540 HAS SOPS 162061 HAS SOUS 77694 HAS SOUPS 76401 WITH SCORE 76567.54
AT ITER 205 NEW BEST:: SOT 227823 SOS 166438 HAS SOPS 161975 HAS SOUS 77652 HAS SOUPS 76359 WITH SCORE 76525.438
AT ITER 206 NEW BEST:: SOT 227771 SOS 166658 HAS SOPS 162096 HAS SOUS 77675 HAS SOUPS 76281 WITH SCORE 76447.658
AT ITER 207 NEW BEST:: SOT 227771 SOS 166216 HAS SOPS 161654 HAS SOUS 77663 HAS SOUPS 76269 WITH SCORE 76435.216
AT ITER 208 NEW BEST:: SOT 227771 SOS 166058 HAS SOPS 161365 HAS SOUS 77693 HAS SOUPS 76168 WITH SCORE 76334.058
AT ITER 211 NEW BEST:: SOT 227771 SOS 165744 HAS SOPS 161051 HAS SOUS 77634 HAS SOUPS 76109 WITH SCORE 76274.744
AT ITER 212 NEW BEST:: SOT 227771 SOS 165987 HAS SOPS 161294 HAS SOUS 77598 HAS SOUPS 76073 WITH SCORE 76238.987
AT ITER 218 NEW BEST:: SOT 227763 SOS 165885 HAS SOPS 161192 HAS SOUS 77484 HAS SOUPS 75959 WITH SCORE 76124.885
AT ITER 223 NEW BEST:: SOT 227763 SOS 165825 HAS SOPS 161132 HAS SOUS 77476 HAS SOUPS 75951 WITH SCORE 76116.825
AT ITER 228 NEW BEST:: SOT 227763 SOS 165755 HAS SOPS 161062 HAS SOUS 77476 HAS SOUPS 75951 WITH SCORE 76116.755
AT ITER 229 NEW BEST:: SOT 227763 SOS 165631 HAS SOPS 160938 HAS SOUS 77367 HAS SOUPS 75842 WITH SCORE 76007.631
AT ITER 232 NEW BEST:: SOT 227763 SOS 165879 HAS SOPS 161186 HAS SOUS 77357 HAS SOUPS 75832 WITH SCORE 75997.879
AT ITER 235 NEW BEST:: SOT 227763 SOS 166015 HAS SOPS 161322 HAS SOUS 77320 HAS SOUPS 75795 WITH SCORE 75961.015
AT ITER 236 NEW BEST:: SOT 227763 SOS 165869 HAS SOPS 161030 HAS SOUS 77466 HAS SOUPS 75795 WITH SCORE 75960.869
AT ITER 237 NEW BEST:: SOT 227763 SOS 165903 HAS SOPS 161076 HAS SOUS 77437 HAS SOUPS 75778 WITH SCORE 75943.903
AT ITER 242 NEW BEST:: SOT 227763 SOS 165864 HAS SOPS 160906 HAS SOUS 77263 HAS SOUPS 75604 WITH SCORE 75769.864
AT ITER 245 NEW BEST:: SOT 227763 SOS 165936 HAS SOPS 160978 HAS SOUS 77240 HAS SOUPS 75581 WITH SCORE 75746.936
AT ITER 257 NEW BEST:: SOT 227763 SOS 165592 HAS SOPS 160634 HAS SOUS 77134 HAS SOUPS 75475 WITH SCORE 75640.592
AT ITER 265 NEW BEST:: SOT 227763 SOS 164836 HAS SOPS 159878 HAS SOUS 77051 HAS SOUPS 75392 WITH SCORE 75556.836
AT ITER 266 NEW BEST:: SOT 227763 SOS 164920 HAS SOPS 159920 HAS SOUS 76973 HAS SOUPS 75314 WITH SCORE 75478.92
AT ITER 267 NEW BEST:: SOT 227757 SOS 164914 HAS SOPS 159908 HAS SOUS 76965 HAS SOUPS 75302 WITH SCORE 75466.914
AT ITER 268 NEW BEST:: SOT 227757 SOS 164323 HAS SOPS 159592 HAS SOUS 76945 HAS SOUPS 75302 WITH SCORE 75466.323
AT ITER 269 NEW BEST:: SOT 227757 SOS 164118 HAS SOPS 159387 HAS SOUS 76883 HAS SOUPS 75240 WITH SCORE 75404.118
AT ITER 270 NEW BEST:: SOT 227741 SOS 164184 HAS SOPS 159600 HAS SOUS 76882 HAS SOUPS 75239 WITH SCORE 75403.184
AT ITER 272 NEW BEST:: SOT 227741 SOS 162618 HAS SOPS 157110 HAS SOUS 75078 HAS SOUPS 73356 WITH SCORE 73518.618
AT ITER 274 NEW BEST:: SOT 227746 SOS 162623 HAS SOPS 157115 HAS SOUS 75067 HAS SOUPS 73345 WITH SCORE 73507.623
AT ITER 278 NEW BEST:: SOT 227746 SOS 162467 HAS SOPS 156959 HAS SOUS 74989 HAS SOUPS 73267 WITH SCORE 73429.467
AT ITER 280 NEW BEST:: SOT 227746 SOS 161789 HAS SOPS 156281 HAS SOUS 74840 HAS SOUPS 73118 WITH SCORE 73279.789
AT ITER 287 NEW BEST:: SOT 227702 SOS 160909 HAS SOPS 155349 HAS SOUS 74632 HAS SOUPS 72910 WITH SCORE 73070.909
AT ITER 290 NEW BEST:: SOT 227738 SOS 160701 HAS SOPS 155141 HAS SOUS 74546 HAS SOUPS 72824 WITH SCORE 72984.701
AT ITER 294 NEW BEST:: SOT 227750 SOS 160483 HAS SOPS 154923 HAS SOUS 74452 HAS SOUPS 72730 WITH SCORE 72890.483
AT ITER 296 NEW BEST:: SOT 227750 SOS 160487 HAS SOPS 154927 HAS SOUS 74418 HAS SOUPS 72696 WITH SCORE 72856.487
AT ITER 299 NEW BEST:: SOT 227750 SOS 160423 HAS SOPS 154731 HAS SOUS 74422 HAS SOUPS 72602 WITH SCORE 72762.423
AT ITER 306 NEW BEST:: SOT 227750 SOS 159753 HAS SOPS 154061 HAS SOUS 74355 HAS SOUPS 72535 WITH SCORE 72694.753
AT ITER 308 NEW BEST:: SOT 227750 SOS 159463 HAS SOPS 153771 HAS SOUS 74284 HAS SOUPS 72464 WITH SCORE 72623.463
AT ITER 310 NEW BEST:: SOT 227750 SOS 159305 HAS SOPS 153613 HAS SOUS 74141 HAS SOUPS 72321 WITH SCORE 72480.305
AT ITER 311 NEW BEST:: SOT 227750 SOS 159147 HAS SOPS 153455 HAS SOUS 74065 HAS SOUPS 72245 WITH SCORE 72404.147
AT ITER 313 NEW BEST:: SOT 227750 SOS 159147 HAS SOPS 153413 HAS SOUS 74065 HAS SOUPS 72203 WITH SCORE 72362.147
AT ITER 323 NEW BEST:: SOT 227750 SOS 158299 HAS SOPS 152565 HAS SOUS 73970 HAS SOUPS 72108 WITH SCORE 72266.299
AT ITER 325 NEW BEST:: SOT 227674 SOS 158223 HAS SOPS 152473 HAS SOUS 73878 HAS SOUPS 72016 WITH SCORE 72174.223
AT ITER 329 NEW BEST:: SOT 227674 SOS 158222 HAS SOPS 152465 HAS SOUS 73862 HAS SOUPS 72008 WITH SCORE 72166.222
AT ITER 332 NEW BEST:: SOT 227754 SOS 158036 HAS SOPS 152102 HAS SOUS 73950 HAS SOUPS 71962 WITH SCORE 72120.036
AT ITER 339 NEW BEST:: SOT 227754 SOS 157970 HAS SOPS 152036 HAS SOUS 73927 HAS SOUPS 71939 WITH SCORE 72096.97
AT ITER 346 NEW BEST:: SOT 227754 SOS 158010 HAS SOPS 151982 HAS SOUS 73672 HAS SOUPS 71684 WITH SCORE 71842.01
AT ITER 352 NEW BEST:: SOT 228056 SOS 157866 HAS SOPS 151868 HAS SOUS 72007 HAS SOUPS 70019 WITH SCORE 70176.866
AT ITER 355 NEW BEST:: SOT 228056 SOS 157866 HAS SOPS 151868 HAS SOUS 71967 HAS SOUPS 69979 WITH SCORE 70136.866
AT ITER 362 NEW BEST:: SOT 228056 SOS 157586 HAS SOPS 151588 HAS SOUS 71960 HAS SOUPS 69972 WITH SCORE 70129.586
AT ITER 368 NEW BEST:: SOT 228056 SOS 157438 HAS SOPS 151412 HAS SOUS 71967 HAS SOUPS 69965 WITH SCORE 70122.438
AT ITER 370 NEW BEST:: SOT 228136 SOS 157534 HAS SOPS 151341 HAS SOUS 71859 HAS SOUPS 69857 WITH SCORE 70014.534
AT ITER 371 NEW BEST:: SOT 228136 SOS 158770 HAS SOPS 152656 HAS SOUS 71678 HAS SOUPS 69728 WITH SCORE 69886.77
AT ITER 372 NEW BEST:: SOT 228136 SOS 158392 HAS SOPS 152278 HAS SOUS 71651 HAS SOUPS 69701 WITH SCORE 69859.392
AT ITER 374 NEW BEST:: SOT 228136 SOS 158360 HAS SOPS 152246 HAS SOUS 71501 HAS SOUPS 69551 WITH SCORE 69709.36
AT ITER 375 NEW BEST:: SOT 228136 SOS 158472 HAS SOPS 152516 HAS SOUS 71418 HAS SOUPS 69547 WITH SCORE 69705.472
AT ITER 380 NEW BEST:: SOT 228136 SOS 158324 HAS SOPS 152368 HAS SOUS 71344 HAS SOUPS 69473 WITH SCORE 69631.324
AT ITER 385 NEW BEST:: SOT 228136 SOS 158198 HAS SOPS 152396 HAS SOUS 71245 HAS SOUPS 69463 WITH SCORE 69621.198
AT ITER 390 NEW BEST:: SOT 228260 SOS 157818 HAS SOPS 152320 HAS SOUS 70997 HAS SOUPS 69404 WITH SCORE 69561.818
AT ITER 396 NEW BEST:: SOT 228260 SOS 157330 HAS SOPS 151718 HAS SOUS 71003 HAS SOUPS 69353 WITH SCORE 69510.33
AT ITER 397 NEW BEST:: SOT 228352 SOS 157128 HAS SOPS 151516 HAS SOUS 70990 HAS SOUPS 69340 WITH SCORE 69497.128
AT ITER 402 NEW BEST:: SOT 228408 SOS 156813 HAS SOPS 151490 HAS SOUS 70686 HAS SOUPS 69226 WITH SCORE 69382.813
AT ITER 403 NEW BEST:: SOT 228408 SOS 156771 HAS SOPS 151448 HAS SOUS 70665 HAS SOUPS 69205 WITH SCORE 69361.771
AT ITER 405 NEW BEST:: SOT 228408 SOS 156949 HAS SOPS 151626 HAS SOUS 70634 HAS SOUPS 69174 WITH SCORE 69330.949
AT ITER 406 NEW BEST:: SOT 228490 SOS 154524 HAS SOPS 148806 HAS SOUS 70701 HAS SOUPS 69041 WITH SCORE 69195.524
AT ITER 407 NEW BEST:: SOT 228490 SOS 154484 HAS SOPS 148766 HAS SOUS 70681 HAS SOUPS 69021 WITH SCORE 69175.484
AT ITER 408 NEW BEST:: SOT 228472 SOS 154449 HAS SOPS 148753 HAS SOUS 70668 HAS SOUPS 69008 WITH SCORE 69162.449
AT ITER 412 NEW BEST:: SOT 228472 SOS 154347 HAS SOPS 148671 HAS SOUS 70622 HAS SOUPS 68972 WITH SCORE 69126.347
AT ITER 420 NEW BEST:: SOT 228472 SOS 154177 HAS SOPS 148501 HAS SOUS 70537 HAS SOUPS 68887 WITH SCORE 69041.177
AT ITER 421 NEW BEST:: SOT 228472 SOS 154177 HAS SOPS 148501 HAS SOUS 70519 HAS SOUPS 68869 WITH SCORE 69023.177
AT ITER 426 NEW BEST:: SOT 228472 SOS 153865 HAS SOPS 148189 HAS SOUS 70242 HAS SOUPS 68592 WITH SCORE 68745.865
AT ITER 429 NEW BEST:: SOT 228472 SOS 153923 HAS SOPS 148247 HAS SOUS 69504 HAS SOUPS 67854 WITH SCORE 68007.923
AT ITER 433 NEW BEST:: SOT 228472 SOS 153555 HAS SOPS 147879 HAS SOUS 69256 HAS SOUPS 67606 WITH SCORE 67759.555
AT ITER 438 NEW BEST:: SOT 228472 SOS 153365 HAS SOPS 147689 HAS SOUS 69161 HAS SOUPS 67511 WITH SCORE 67664.365
AT ITER 439 NEW BEST:: SOT 228472 SOS 153185 HAS SOPS 147509 HAS SOUS 69161 HAS SOUPS 67511 WITH SCORE 67664.185
AT ITER 444 NEW BEST:: SOT 228472 SOS 153097 HAS SOPS 147421 HAS SOUS 69107 HAS SOUPS 67457 WITH SCORE 67610.097
AT ITER 446 NEW BEST:: SOT 228456 SOS 153081 HAS SOPS 147389 HAS SOUS 69075 HAS SOUPS 67425 WITH SCORE 67578.081
AT ITER 449 NEW BEST:: SOT 228564 SOS 146428 HAS SOPS 143578 HAS SOUS 68284 HAS SOUPS 66828 WITH SCORE 66974.428
AT ITER 452 NEW BEST:: SOT 228564 SOS 146070 HAS SOPS 143346 HAS SOUS 68105 HAS SOUPS 66712 WITH SCORE 66858.07
AT ITER 454 NEW BEST:: SOT 228564 SOS 146291 HAS SOPS 143567 HAS SOUS 68101 HAS SOUPS 66708 WITH SCORE 66854.291
AT ITER 458 NEW BEST:: SOT 228590 SOS 146142 HAS SOPS 143409 HAS SOUS 67920 HAS SOUPS 66528 WITH SCORE 66674.142
AT ITER 460 NEW BEST:: SOT 228582 SOS 145286 HAS SOPS 142565 HAS SOUS 67856 HAS SOUPS 66464 WITH SCORE 66609.286
AT ITER 465 NEW BEST:: SOT 228582 SOS 145085 HAS SOPS 142364 HAS SOUS 67836 HAS SOUPS 66444 WITH SCORE 66589.085
AT ITER 469 NEW BEST:: SOT 228582 SOS 145000 HAS SOPS 142279 HAS SOUS 67821 HAS SOUPS 66429 WITH SCORE 66574.0
AT ITER 473 NEW BEST:: SOT 228582 SOS 144864 HAS SOPS 142143 HAS SOUS 67786 HAS SOUPS 66394 WITH SCORE 66538.864
AT ITER 475 NEW BEST:: SOT 228582 SOS 144834 HAS SOPS 142113 HAS SOUS 67786 HAS SOUPS 66394 WITH SCORE 66538.834
AT ITER 482 NEW BEST:: SOT 228582 SOS 144758 HAS SOPS 142037 HAS SOUS 67758 HAS SOUPS 66366 WITH SCORE 66510.758
AT ITER 486 NEW BEST:: SOT 228672 SOS 144806 HAS SOPS 142067 HAS SOUS 67163 HAS SOUPS 65771 WITH SCORE 65915.806
AT ITER 488 NEW BEST:: SOT 228672 SOS 144874 HAS SOPS 142135 HAS SOUS 67129 HAS SOUPS 65737 WITH SCORE 65881.874
AT ITER 490 NEW BEST:: SOT 228672 SOS 144452 HAS SOPS 141713 HAS SOUS 67024 HAS SOUPS 65632 WITH SCORE 65776.452
AT ITER 491 NEW BEST:: SOT 228672 SOS 144388 HAS SOPS 141649 HAS SOUS 67008 HAS SOUPS 65616 WITH SCORE 65760.388
AT ITER 497 NEW BEST:: SOT 228672 SOS 144672 HAS SOPS 142068 HAS SOUS 66916 HAS SOUPS 65603 WITH SCORE 65747.672
AT ITER 499 NEW BEST:: SOT 228664 SOS 144616 HAS SOPS 142026 HAS SOUS 66847 HAS SOUPS 65534 WITH SCORE 65678.616
AT ITER 501 NEW BEST:: SOT 228664 SOS 144424 HAS SOPS 141834 HAS SOUS 66808 HAS SOUPS 65495 WITH SCORE 65639.424
AT ITER 502 NEW BEST:: SOT 228664 SOS 144483 HAS SOPS 141893 HAS SOUS 66728 HAS SOUPS 65415 WITH SCORE 65559.483
AT ITER 507 NEW BEST:: SOT 228664 SOS 144481 HAS SOPS 141891 HAS SOUS 66727 HAS SOUPS 65414 WITH SCORE 65558.481
AT ITER 509 NEW BEST:: SOT 228664 SOS 144219 HAS SOPS 141629 HAS SOUS 66476 HAS SOUPS 65163 WITH SCORE 65307.219
AT ITER 511 NEW BEST:: SOT 228664 SOS 144170 HAS SOPS 141616 HAS SOUS 66456 HAS SOUPS 65125 WITH SCORE 65269.17
AT ITER 513 NEW BEST:: SOT 228664 SOS 144108 HAS SOPS 141554 HAS SOUS 66456 HAS SOUPS 65125 WITH SCORE 65269.108
AT ITER 519 NEW BEST:: SOT 228664 SOS 144078 HAS SOPS 141524 HAS SOUS 66446 HAS SOUPS 65115 WITH SCORE 65259.078
AT ITER 524 NEW BEST:: SOT 228664 SOS 143868 HAS SOPS 141314 HAS SOUS 66412 HAS SOUPS 65081 WITH SCORE 65224.868
AT ITER 526 NEW BEST:: SOT 228664 SOS 143810 HAS SOPS 141256 HAS SOUS 66412 HAS SOUPS 65081 WITH SCORE 65224.81
AT ITER 527 NEW BEST:: SOT 228652 SOS 143731 HAS SOPS 141232 HAS SOUS 66384 HAS SOUPS 65057 WITH SCORE 65200.731
AT ITER 539 NEW BEST:: SOT 228638 SOS 143293 HAS SOPS 140794 HAS SOUS 66348 HAS SOUPS 65021 WITH SCORE 65164.293
AT ITER 541 NEW BEST:: SOT 228638 SOS 143149 HAS SOPS 140665 HAS SOUS 66333 HAS SOUPS 65006 WITH SCORE 65149.149
AT ITER 543 NEW BEST:: SOT 228630 SOS 143141 HAS SOPS 140653 HAS SOUS 66333 HAS SOUPS 65002 WITH SCORE 65145.141
AT ITER 545 NEW BEST:: SOT 228630 SOS 141111 HAS SOPS 138623 HAS SOUS 66041 HAS SOUPS 64710 WITH SCORE 64851.111
AT ITER 546 NEW BEST:: SOT 228574 SOS 141065 HAS SOPS 138577 HAS SOUS 65972 HAS SOUPS 64641 WITH SCORE 64782.065
AT ITER 554 NEW BEST:: SOT 228728 SOS 141219 HAS SOPS 138725 HAS SOUS 65970 HAS SOUPS 64639 WITH SCORE 64780.219
AT ITER 557 NEW BEST:: SOT 228728 SOS 140937 HAS SOPS 138443 HAS SOUS 65959 HAS SOUPS 64628 WITH SCORE 64768.937
AT ITER 560 NEW BEST:: SOT 228886 SOS 138437 HAS SOPS 135916 HAS SOUS 65585 HAS SOUPS 64381 WITH SCORE 64519.437
AT ITER 564 NEW BEST:: SOT 228886 SOS 138281 HAS SOPS 135760 HAS SOUS 65533 HAS SOUPS 64329 WITH SCORE 64467.281
AT ITER 570 NEW BEST:: SOT 228948 SOS 138035 HAS SOPS 135369 HAS SOUS 65578 HAS SOUPS 64247 WITH SCORE 64385.035
AT ITER 571 NEW BEST:: SOT 228948 SOS 137677 HAS SOPS 135168 HAS SOUS 65288 HAS SOUPS 64054 WITH SCORE 64191.677
AT ITER 575 NEW BEST:: SOT 228944 SOS 137633 HAS SOPS 135122 HAS SOUS 65257 HAS SOUPS 64023 WITH SCORE 64160.633
AT ITER 580 NEW BEST:: SOT 228934 SOS 137611 HAS SOPS 135114 HAS SOUS 65255 HAS SOUPS 64021 WITH SCORE 64158.611
AT ITER 581 NEW BEST:: SOT 228924 SOS 137420 HAS SOPS 135134 HAS SOUS 65037 HAS SOUPS 63933 WITH SCORE 64070.42
AT ITER 584 NEW BEST:: SOT 229056 SOS 137552 HAS SOPS 135266 HAS SOUS 64889 HAS SOUPS 63785 WITH SCORE 63922.552
AT ITER 585 NEW BEST:: SOT 229056 SOS 137564 HAS SOPS 135278 HAS SOUS 64863 HAS SOUPS 63759 WITH SCORE 63896.564
AT ITER 590 NEW BEST:: SOT 229056 SOS 137472 HAS SOPS 135186 HAS SOUS 64817 HAS SOUPS 63713 WITH SCORE 63850.472
AT ITER 592 NEW BEST:: SOT 229056 SOS 137570 HAS SOPS 135284 HAS SOUS 64815 HAS SOUPS 63711 WITH SCORE 63848.57
AT ITER 594 NEW BEST:: SOT 229056 SOS 137296 HAS SOPS 135042 HAS SOUS 64797 HAS SOUPS 63693 WITH SCORE 63830.296
AT ITER 598 NEW BEST:: SOT 229056 SOS 135948 HAS SOPS 133694 HAS SOUS 64514 HAS SOUPS 63410 WITH SCORE 63545.948
AT ITER 599 NEW BEST:: SOT 229142 SOS 135992 HAS SOPS 133666 HAS SOUS 64492 HAS SOUPS 63388 WITH SCORE 63523.992
AT ITER 604 NEW BEST:: SOT 229206 SOS 135752 HAS SOPS 133426 HAS SOUS 64317 HAS SOUPS 63213 WITH SCORE 63348.752
AT ITER 609 NEW BEST:: SOT 229206 SOS 135574 HAS SOPS 133248 HAS SOUS 64168 HAS SOUPS 63064 WITH SCORE 63199.574
AT ITER 612 NEW BEST:: SOT 229206 SOS 135556 HAS SOPS 133230 HAS SOUS 64159 HAS SOUPS 63055 WITH SCORE 63190.556
AT ITER 613 NEW BEST:: SOT 229206 SOS 135476 HAS SOPS 133150 HAS SOUS 64139 HAS SOUPS 63035 WITH SCORE 63170.476
AT ITER 618 NEW BEST:: SOT 229206 SOS 134896 HAS SOPS 132570 HAS SOUS 63965 HAS SOUPS 62861 WITH SCORE 62995.896
AT ITER 619 NEW BEST:: SOT 229206 SOS 134868 HAS SOPS 132542 HAS SOUS 63951 HAS SOUPS 62847 WITH SCORE 62981.868
AT ITER 628 NEW BEST:: SOT 229206 SOS 134422 HAS SOPS 132096 HAS SOUS 63868 HAS SOUPS 62764 WITH SCORE 62898.422
AT ITER 630 NEW BEST:: SOT 229206 SOS 134420 HAS SOPS 132094 HAS SOUS 63866 HAS SOUPS 62762 WITH SCORE 62896.42
AT ITER 631 NEW BEST:: SOT 229206 SOS 134397 HAS SOPS 132071 HAS SOUS 63861 HAS SOUPS 62757 WITH SCORE 62891.397
AT ITER 634 NEW BEST:: SOT 229206 SOS 134767 HAS SOPS 132441 HAS SOUS 63739 HAS SOUPS 62635 WITH SCORE 62769.767
AT ITER 635 NEW BEST:: SOT 229206 SOS 134564 HAS SOPS 132238 HAS SOUS 63551 HAS SOUPS 62447 WITH SCORE 62581.564
AT ITER 636 NEW BEST:: SOT 229266 SOS 134496 HAS SOPS 132170 HAS SOUS 63531 HAS SOUPS 62427 WITH SCORE 62561.496
AT ITER 641 NEW BEST:: SOT 229270 SOS 134993 HAS SOPS 132669 HAS SOUS 63528 HAS SOUPS 62424 WITH SCORE 62558.993
AT ITER 644 NEW BEST:: SOT 229270 SOS 134878 HAS SOPS 132581 HAS SOUS 63467 HAS SOUPS 62363 WITH SCORE 62497.878
AT ITER 646 NEW BEST:: SOT 229270 SOS 134887 HAS SOPS 132582 HAS SOUS 63459 HAS SOUPS 62353 WITH SCORE 62487.887
AT ITER 649 NEW BEST:: SOT 229270 SOS 134883 HAS SOPS 132578 HAS SOUS 63457 HAS SOUPS 62351 WITH SCORE 62485.883
AT ITER 651 NEW BEST:: SOT 229270 SOS 134411 HAS SOPS 132106 HAS SOUS 63330 HAS SOUPS 62224 WITH SCORE 62358.411
AT ITER 654 NEW BEST:: SOT 229270 SOS 134467 HAS SOPS 132162 HAS SOUS 63302 HAS SOUPS 62196 WITH SCORE 62330.467
AT ITER 658 NEW BEST:: SOT 229270 SOS 134247 HAS SOPS 131942 HAS SOUS 63192 HAS SOUPS 62086 WITH SCORE 62220.247
AT ITER 667 NEW BEST:: SOT 229270 SOS 133391 HAS SOPS 131086 HAS SOUS 62980 HAS SOUPS 61874 WITH SCORE 62007.391
AT ITER 669 NEW BEST:: SOT 229279 SOS 133342 HAS SOPS 131036 HAS SOUS 62945 HAS SOUPS 61854 WITH SCORE 61987.342
AT ITER 672 NEW BEST:: SOT 229279 SOS 133032 HAS SOPS 130726 HAS SOUS 62936 HAS SOUPS 61845 WITH SCORE 61978.032
AT ITER 677 NEW BEST:: SOT 229279 SOS 132836 HAS SOPS 130530 HAS SOUS 62838 HAS SOUPS 61747 WITH SCORE 61879.836
AT ITER 678 NEW BEST:: SOT 229279 SOS 132817 HAS SOPS 130469 HAS SOUS 62815 HAS SOUPS 61682 WITH SCORE 61814.817
AT ITER 692 NEW BEST:: SOT 229279 SOS 132461 HAS SOPS 130113 HAS SOUS 62750 HAS SOUPS 61617 WITH SCORE 61749.461
AT ITER 698 NEW BEST:: SOT 229279 SOS 132349 HAS SOPS 130001 HAS SOUS 62750 HAS SOUPS 61617 WITH SCORE 61749.349
AT ITER 702 NEW BEST:: SOT 229279 SOS 132008 HAS SOPS 129660 HAS SOUS 62707 HAS SOUPS 61574 WITH SCORE 61706.008
AT ITER 704 NEW BEST:: SOT 229279 SOS 131272 HAS SOPS 128924 HAS SOUS 62473 HAS SOUPS 61340 WITH SCORE 61471.272
AT ITER 707 NEW BEST:: SOT 229256 SOS 131271 HAS SOPS 128923 HAS SOUS 62467 HAS SOUPS 61334 WITH SCORE 61465.271
AT ITER 711 NEW BEST:: SOT 229256 SOS 131203 HAS SOPS 128855 HAS SOUS 62433 HAS SOUPS 61300 WITH SCORE 61431.203
AT ITER 718 NEW BEST:: SOT 229256 SOS 131121 HAS SOPS 128773 HAS SOUS 62379 HAS SOUPS 61246 WITH SCORE 61377.121
AT ITER 731 NEW BEST:: SOT 229256 SOS 130983 HAS SOPS 128635 HAS SOUS 62356 HAS SOUPS 61223 WITH SCORE 61353.983
AT ITER 733 NEW BEST:: SOT 229256 SOS 130935 HAS SOPS 128587 HAS SOUS 62340 HAS SOUPS 61207 WITH SCORE 61337.935
AT ITER 736 NEW BEST:: SOT 229203 SOS 130774 HAS SOPS 128426 HAS SOUS 62260 HAS SOUPS 61127 WITH SCORE 61257.774
AT ITER 738 NEW BEST:: SOT 229200 SOS 130726 HAS SOPS 128377 HAS SOUS 62235 HAS SOUPS 61102 WITH SCORE 61232.726
AT ITER 739 NEW BEST:: SOT 229508 SOS 131032 HAS SOPS 128651 HAS SOUS 62143 HAS SOUPS 61010 WITH SCORE 61141.032
AT ITER 740 NEW BEST:: SOT 229479 SOS 130795 HAS SOPS 128414 HAS SOUS 62010 HAS SOUPS 60877 WITH SCORE 61007.795
AT ITER 744 NEW BEST:: SOT 229479 SOS 130537 HAS SOPS 128156 HAS SOUS 61994 HAS SOUPS 60861 WITH SCORE 60991.537
AT ITER 763 NEW BEST:: SOT 229453 SOS 130511 HAS SOPS 128130 HAS SOUS 61968 HAS SOUPS 60835 WITH SCORE 60965.511
AT ITER 772 NEW BEST:: SOT 229453 SOS 130501 HAS SOPS 128125 HAS SOUS 61963 HAS SOUPS 60830 WITH SCORE 60960.501
AT ITER 779 NEW BEST:: SOT 229453 SOS 130473 HAS SOPS 128097 HAS SOUS 61949 HAS SOUPS 60816 WITH SCORE 60946.473
AT ITER 799 NEW BEST:: SOT 229453 SOS 130479 HAS SOPS 128103 HAS SOUS 61946 HAS SOUPS 60813 WITH SCORE 60943.479
AT ITER 802 NEW BEST:: SOT 229453 SOS 130417 HAS SOPS 128041 HAS SOUS 61886 HAS SOUPS 60753 WITH SCORE 60883.417
AT ITER 808 NEW BEST:: SOT 229453 SOS 130255 HAS SOPS 127711 HAS SOUS 61801 HAS SOUPS 60572 WITH SCORE 60702.255
AT ITER 809 NEW BEST:: SOT 229453 SOS 130087 HAS SOPS 127543 HAS SOUS 61717 HAS SOUPS 60488 WITH SCORE 60618.087
AT ITER 810 NEW BEST:: SOT 229453 SOS 130053 HAS SOPS 127509 HAS SOUS 61711 HAS SOUPS 60482 WITH SCORE 60612.053
AT ITER 821 NEW BEST:: SOT 229453 SOS 129602 HAS SOPS 127080 HAS SOUS 61645 HAS SOUPS 60438 WITH SCORE 60567.602
AT ITER 825 NEW BEST:: SOT 229453 SOS 129584 HAS SOPS 127062 HAS SOUS 61634 HAS SOUPS 60427 WITH SCORE 60556.584
AT ITER 831 NEW BEST:: SOT 229453 SOS 129574 HAS SOPS 127052 HAS SOUS 61631 HAS SOUPS 60424 WITH SCORE 60553.574
AT ITER 834 NEW BEST:: SOT 229453 SOS 129560 HAS SOPS 127038 HAS SOUS 61624 HAS SOUPS 60417 WITH SCORE 60546.56
AT ITER 851 NEW BEST:: SOT 229453 SOS 129628 HAS SOPS 127106 HAS SOUS 61556 HAS SOUPS 60349 WITH SCORE 60478.628
AT ITER 853 NEW BEST:: SOT 229453 SOS 128020 HAS SOPS 125498 HAS SOUS 61325 HAS SOUPS 60118 WITH SCORE 60246.02
AT ITER 858 NEW BEST:: SOT 229400 SOS 128154 HAS SOPS 125635 HAS SOUS 61293 HAS SOUPS 60086 WITH SCORE 60214.154
AT ITER 862 NEW BEST:: SOT 229400 SOS 127876 HAS SOPS 125357 HAS SOUS 61221 HAS SOUPS 60014 WITH SCORE 60141.876
AT ITER 865 NEW BEST:: SOT 229400 SOS 127406 HAS SOPS 124852 HAS SOUS 61045 HAS SOUPS 59803 WITH SCORE 59930.406
AT ITER 869 NEW BEST:: SOT 229400 SOS 125212 HAS SOPS 122658 HAS SOUS 60871 HAS SOUPS 59629 WITH SCORE 59754.212
AT ITER 871 NEW BEST:: SOT 229432 SOS 125030 HAS SOPS 122484 HAS SOUS 60789 HAS SOUPS 59547 WITH SCORE 59672.03
AT ITER 876 NEW BEST:: SOT 229386 SOS 124842 HAS SOPS 122316 HAS SOUS 60783 HAS SOUPS 59541 WITH SCORE 59665.842
AT ITER 890 NEW BEST:: SOT 229386 SOS 124722 HAS SOPS 122196 HAS SOUS 60723 HAS SOUPS 59481 WITH SCORE 59605.722
AT ITER 892 NEW BEST:: SOT 229378 SOS 124652 HAS SOPS 122118 HAS SOUS 60674 HAS SOUPS 59432 WITH SCORE 59556.652
AT ITER 899 NEW BEST:: SOT 229378 SOS 124472 HAS SOPS 121938 HAS SOUS 60645 HAS SOUPS 59403 WITH SCORE 59527.472
AT ITER 902 NEW BEST:: SOT 229378 SOS 124444 HAS SOPS 121910 HAS SOUS 60638 HAS SOUPS 59396 WITH SCORE 59520.444
AT ITER 904 NEW BEST:: SOT 229378 SOS 124310 HAS SOPS 121692 HAS SOUS 60638 HAS SOUPS 59354 WITH SCORE 59478.31
AT ITER 909 NEW BEST:: SOT 229378 SOS 123937 HAS SOPS 121604 HAS SOUS 60316 HAS SOUPS 59220 WITH SCORE 59343.937
AT ITER 910 NEW BEST:: SOT 229378 SOS 123905 HAS SOPS 121572 HAS SOUS 60316 HAS SOUPS 59220 WITH SCORE 59343.905
AT ITER 922 NEW BEST:: SOT 229354 SOS 123959 HAS SOPS 121626 HAS SOUS 60301 HAS SOUPS 59205 WITH SCORE 59328.959
AT ITER 924 NEW BEST:: SOT 229354 SOS 123985 HAS SOPS 121652 HAS SOUS 60287 HAS SOUPS 59191 WITH SCORE 59314.985
AT ITER 931 NEW BEST:: SOT 229354 SOS 123785 HAS SOPS 121452 HAS SOUS 60246 HAS SOUPS 59150 WITH SCORE 59273.785
AT ITER 940 NEW BEST:: SOT 229350 SOS 123781 HAS SOPS 121448 HAS SOUS 60242 HAS SOUPS 59146 WITH SCORE 59269.781
AT ITER 950 NEW BEST:: SOT 229458 SOS 124255 HAS SOPS 121958 HAS SOUS 60141 HAS SOUPS 59045 WITH SCORE 59169.255
AT ITER 951 NEW BEST:: SOT 229458 SOS 124183 HAS SOPS 121886 HAS SOUS 60113 HAS SOUPS 59017 WITH SCORE 59141.183
AT ITER 957 NEW BEST:: SOT 229494 SOS 124173 HAS SOPS 121876 HAS SOUS 60096 HAS SOUPS 59000 WITH SCORE 59124.173
AT ITER 965 NEW BEST:: SOT 229522 SOS 124413 HAS SOPS 122124 HAS SOUS 60084 HAS SOUPS 58988 WITH SCORE 59112.413
AT ITER 967 NEW BEST:: SOT 229522 SOS 124412 HAS SOPS 122123 HAS SOUS 60016 HAS SOUPS 58920 WITH SCORE 59044.412
AT ITER 968 NEW BEST:: SOT 229522 SOS 124244 HAS SOPS 121955 HAS SOUS 59974 HAS SOUPS 58878 WITH SCORE 59002.244
AT ITER 983 NEW BEST:: SOT 229516 SOS 124157 HAS SOPS 121868 HAS SOUS 59862 HAS SOUPS 58766 WITH SCORE 58890.157
AT ITER 986 NEW BEST:: SOT 229516 SOS 124141 HAS SOPS 121848 HAS SOUS 59858 HAS SOUPS 58758 WITH SCORE 58882.141
AT ITER 994 NEW BEST:: SOT 229440 SOS 123969 HAS SOPS 121692 HAS SOUS 59780 HAS SOUPS 58682 WITH SCORE 58805.969
AT ITER 997 NEW BEST:: SOT 229440 SOS 123905 HAS SOPS 121628 HAS SOUS 59748 HAS SOUPS 58650 WITH SCORE 58773.905
AT ITER 998 NEW BEST:: SOT 229440 SOS 123881 HAS SOPS 121604 HAS SOUS 59724 HAS SOUPS 58626 WITH SCORE 58749.881
AT ITER 999 NEW BEST:: SOT 229464 SOS 123905 HAS SOPS 121617 HAS SOUS 59702 HAS SOUPS 58607 WITH SCORE 58730.905
AT ITER 1005 NEW BEST:: SOT 229464 SOS 124003 HAS SOPS 121715 HAS SOUS 59664 HAS SOUPS 58569 WITH SCORE 58693.003
AT ITER 1006 NEW BEST:: SOT 229414 SOS 123587 HAS SOPS 121249 HAS SOUS 59379 HAS SOUPS 58284 WITH SCORE 58407.587
AT ITER 1012 NEW BEST:: SOT 229414 SOS 123337 HAS SOPS 120999 HAS SOUS 59291 HAS SOUPS 58196 WITH SCORE 58319.337
AT ITER 1014 NEW BEST:: SOT 229414 SOS 123283 HAS SOPS 120945 HAS SOUS 59273 HAS SOUPS 58178 WITH SCORE 58301.283
AT ITER 1015 NEW BEST:: SOT 229414 SOS 123293 HAS SOPS 120955 HAS SOUS 59270 HAS SOUPS 58175 WITH SCORE 58298.293
AT ITER 1018 NEW BEST:: SOT 229414 SOS 123105 HAS SOPS 120767 HAS SOUS 59187 HAS SOUPS 58092 WITH SCORE 58215.105
AT ITER 1032 NEW BEST:: SOT 229352 SOS 122690 HAS SOPS 120225 HAS SOUS 59210 HAS SOUPS 58006 WITH SCORE 58128.69
AT ITER 1034 NEW BEST:: SOT 229358 SOS 122718 HAS SOPS 120251 HAS SOUS 59204 HAS SOUPS 58000 WITH SCORE 58122.718
AT ITER 1040 NEW BEST:: SOT 229358 SOS 121918 HAS SOPS 119451 HAS SOUS 59032 HAS SOUPS 57828 WITH SCORE 57949.918
AT ITER 1044 NEW BEST:: SOT 229358 SOS 121710 HAS SOPS 119243 HAS SOUS 58990 HAS SOUPS 57786 WITH SCORE 57907.71
AT ITER 1050 NEW BEST:: SOT 229358 SOS 121672 HAS SOPS 119205 HAS SOUS 58971 HAS SOUPS 57767 WITH SCORE 57888.672
AT ITER 1052 NEW BEST:: SOT 229578 SOS 121892 HAS SOPS 119405 HAS SOUS 58951 HAS SOUPS 57747 WITH SCORE 57868.892
AT ITER 1067 NEW BEST:: SOT 229648 SOS 121776 HAS SOPS 119279 HAS SOUS 58804 HAS SOUPS 57600 WITH SCORE 57721.776
AT ITER 1070 NEW BEST:: SOT 229648 SOS 121642 HAS SOPS 119245 HAS SOUS 58737 HAS SOUPS 57583 WITH SCORE 57704.642
AT ITER 1073 NEW BEST:: SOT 229648 SOS 121605 HAS SOPS 119335 HAS SOUS 58555 HAS SOUPS 57526 WITH SCORE 57647.605
AT ITER 1075 NEW BEST:: SOT 229648 SOS 121497 HAS SOPS 119227 HAS SOUS 58515 HAS SOUPS 57486 WITH SCORE 57607.497
AT ITER 1079 NEW BEST:: SOT 229648 SOS 121536 HAS SOPS 119359 HAS SOUS 58417 HAS SOUPS 57454 WITH SCORE 57575.536
AT ITER 1084 NEW BEST:: SOT 229648 SOS 121416 HAS SOPS 119191 HAS SOUS 58249 HAS SOUPS 57286 WITH SCORE 57407.416
AT ITER 1089 NEW BEST:: SOT 229648 SOS 121414 HAS SOPS 119189 HAS SOUS 58248 HAS SOUPS 57285 WITH SCORE 57406.414
AT ITER 1091 NEW BEST:: SOT 229636 SOS 121522 HAS SOPS 119297 HAS SOUS 58218 HAS SOUPS 57255 WITH SCORE 57376.522
AT ITER 1100 NEW BEST:: SOT 229636 SOS 121411 HAS SOPS 119186 HAS SOUS 58218 HAS SOUPS 57255 WITH SCORE 57376.411
AT ITER 1103 NEW BEST:: SOT 229838 SOS 121489 HAS SOPS 119190 HAS SOUS 57949 HAS SOUPS 56986 WITH SCORE 57107.489
AT ITER 1118 NEW BEST:: SOT 229838 SOS 121463 HAS SOPS 119164 HAS SOUS 57949 HAS SOUPS 56986 WITH SCORE 57107.463
AT ITER 1122 NEW BEST:: SOT 230575 SOS 121538 HAS SOPS 119558 HAS SOUS 57654 HAS SOUPS 56798 WITH SCORE 56919.538
AT ITER 1125 NEW BEST:: SOT 230575 SOS 121539 HAS SOPS 119559 HAS SOUS 57538 HAS SOUPS 56682 WITH SCORE 56803.539
AT ITER 1126 NEW BEST:: SOT 230575 SOS 121267 HAS SOPS 119287 HAS SOUS 57521 HAS SOUPS 56665 WITH SCORE 56786.267
AT ITER 1131 NEW BEST:: SOT 230575 SOS 121127 HAS SOPS 119147 HAS SOUS 57507 HAS SOUPS 56651 WITH SCORE 56772.127
AT ITER 1134 NEW BEST:: SOT 230575 SOS 120968 HAS SOPS 119145 HAS SOUS 57326 HAS SOUPS 56581 WITH SCORE 56701.968
AT ITER 1136 NEW BEST:: SOT 230575 SOS 120878 HAS SOPS 119055 HAS SOUS 57281 HAS SOUPS 56536 WITH SCORE 56656.878
AT ITER 1149 NEW BEST:: SOT 230575 SOS 120820 HAS SOPS 118997 HAS SOUS 57218 HAS SOUPS 56473 WITH SCORE 56593.82
AT ITER 1152 NEW BEST:: SOT 230575 SOS 121020 HAS SOPS 119197 HAS SOUS 57192 HAS SOUPS 56447 WITH SCORE 56568.02
AT ITER 1160 NEW BEST:: SOT 230575 SOS 120546 HAS SOPS 118962 HAS SOUS 56931 HAS SOUPS 56311 WITH SCORE 56431.546
AT ITER 1165 NEW BEST:: SOT 230575 SOS 120528 HAS SOPS 118944 HAS SOUS 56922 HAS SOUPS 56302 WITH SCORE 56422.528
AT ITER 1174 NEW BEST:: SOT 230575 SOS 120544 HAS SOPS 118918 HAS SOUS 56939 HAS SOUPS 56298 WITH SCORE 56418.544
AT ITER 1175 NEW BEST:: SOT 230575 SOS 120438 HAS SOPS 118812 HAS SOUS 56939 HAS SOUPS 56298 WITH SCORE 56418.438
AT ITER 1176 NEW BEST:: SOT 230575 SOS 120158 HAS SOPS 118424 HAS SOUS 56407 HAS SOUPS 55766 WITH SCORE 55886.158
AT ITER 1180 NEW BEST:: SOT 230575 SOS 119928 HAS SOPS 118194 HAS SOUS 56407 HAS SOUPS 55766 WITH SCORE 55885.928
AT ITER 1181 NEW BEST:: SOT 230584 SOS 119946 HAS SOPS 118203 HAS SOUS 56397 HAS SOUPS 55752 WITH SCORE 55871.946
AT ITER 1182 NEW BEST:: SOT 230584 SOS 119826 HAS SOPS 118083 HAS SOUS 56377 HAS SOUPS 55732 WITH SCORE 55851.826
AT ITER 1187 NEW BEST:: SOT 230465 SOS 119908 HAS SOPS 118479 HAS SOUS 56370 HAS SOUPS 55725 WITH SCORE 55844.908
AT ITER 1189 NEW BEST:: SOT 230465 SOS 119886 HAS SOPS 118457 HAS SOUS 56359 HAS SOUPS 55714 WITH SCORE 55833.886
AT ITER 1190 NEW BEST:: SOT 230436 SOS 119816 HAS SOPS 118316 HAS SOUS 56297 HAS SOUPS 55652 WITH SCORE 55771.816
AT ITER 1196 NEW BEST:: SOT 230436 SOS 120098 HAS SOPS 118598 HAS SOUS 56274 HAS SOUPS 55629 WITH SCORE 55749.098
AT ITER 1205 NEW BEST:: SOT 230436 SOS 120058 HAS SOPS 118558 HAS SOUS 56264 HAS SOUPS 55619 WITH SCORE 55739.058
AT ITER 1209 NEW BEST:: SOT 230448 SOS 119966 HAS SOPS 118466 HAS SOUS 56237 HAS SOUPS 55592 WITH SCORE 55711.966
AT ITER 1212 NEW BEST:: SOT 230448 SOS 120040 HAS SOPS 118540 HAS SOUS 56163 HAS SOUPS 55518 WITH SCORE 55638.04
AT ITER 1213 NEW BEST:: SOT 230500 SOS 119933 HAS SOPS 118433 HAS SOUS 56116 HAS SOUPS 55471 WITH SCORE 55590.933
AT ITER 1215 NEW BEST:: SOT 230346 SOS 119779 HAS SOPS 118257 HAS SOUS 56084 HAS SOUPS 55433 WITH SCORE 55552.779
AT ITER 1219 NEW BEST:: SOT 230346 SOS 119647 HAS SOPS 118125 HAS SOUS 56045 HAS SOUPS 55394 WITH SCORE 55513.647
AT ITER 1221 NEW BEST:: SOT 230346 SOS 119379 HAS SOPS 118091 HAS SOUS 55897 HAS SOUPS 55363 WITH SCORE 55482.379
AT ITER 1228 NEW BEST:: SOT 230346 SOS 119375 HAS SOPS 118087 HAS SOUS 55893 HAS SOUPS 55359 WITH SCORE 55478.375
AT ITER 1229 NEW BEST:: SOT 230346 SOS 119343 HAS SOPS 118055 HAS SOUS 55877 HAS SOUPS 55343 WITH SCORE 55462.343
AT ITER 1235 NEW BEST:: SOT 230233 SOS 119065 HAS SOPS 117772 HAS SOUS 55855 HAS SOUPS 55321 WITH SCORE 55440.065
AT ITER 1240 NEW BEST:: SOT 230233 SOS 119049 HAS SOPS 117756 HAS SOUS 55847 HAS SOUPS 55313 WITH SCORE 55432.049
AT ITER 1246 NEW BEST:: SOT 230233 SOS 119025 HAS SOPS 117732 HAS SOUS 55744 HAS SOUPS 55210 WITH SCORE 55329.025
AT ITER 1251 NEW BEST:: SOT 230240 SOS 118703 HAS SOPS 117305 HAS SOUS 55633 HAS SOUPS 55099 WITH SCORE 55217.703
AT ITER 1257 NEW BEST:: SOT 230240 SOS 118695 HAS SOPS 117297 HAS SOUS 55633 HAS SOUPS 55099 WITH SCORE 55217.695
AT ITER 1265 NEW BEST:: SOT 230240 SOS 118779 HAS SOPS 117381 HAS SOUS 55617 HAS SOUPS 55083 WITH SCORE 55201.779
AT ITER 1266 NEW BEST:: SOT 230240 SOS 118425 HAS SOPS 117027 HAS SOUS 55574 HAS SOUPS 55040 WITH SCORE 55158.425
AT ITER 1285 NEW BEST:: SOT 230242 SOS 118551 HAS SOPS 117155 HAS SOUS 55362 HAS SOUPS 54828 WITH SCORE 54946.551
AT ITER 1302 NEW BEST:: SOT 230242 SOS 118155 HAS SOPS 116759 HAS SOUS 55260 HAS SOUPS 54726 WITH SCORE 54844.155
AT ITER 1341 NEW BEST:: SOT 227838 SOS 115949 HAS SOPS 114337 HAS SOUS 54271 HAS SOUPS 53728 WITH SCORE 53843.949
AT ITER 1345 NEW BEST:: SOT 227838 SOS 115813 HAS SOPS 114133 HAS SOUS 53679 HAS SOUPS 53136 WITH SCORE 53251.813
AT ITER 1350 NEW BEST:: SOT 227904 SOS 115814 HAS SOPS 114163 HAS SOUS 53540 HAS SOUPS 53003 WITH SCORE 53118.814
AT ITER 1353 NEW BEST:: SOT 227904 SOS 115772 HAS SOPS 114121 HAS SOUS 53516 HAS SOUPS 52979 WITH SCORE 53094.772
AT ITER 1362 NEW BEST:: SOT 227904 SOS 115752 HAS SOPS 114101 HAS SOUS 53506 HAS SOUPS 52969 WITH SCORE 53084.752
AT ITER 1363 NEW BEST:: SOT 227904 SOS 115520 HAS SOPS 113855 HAS SOUS 53515 HAS SOUPS 52964 WITH SCORE 53079.52
AT ITER 1365 NEW BEST:: SOT 227904 SOS 115376 HAS SOPS 113711 HAS SOUS 53443 HAS SOUPS 52892 WITH SCORE 53007.376
AT ITER 1366 NEW BEST:: SOT 227904 SOS 115440 HAS SOPS 113775 HAS SOUS 53437 HAS SOUPS 52886 WITH SCORE 53001.44
AT ITER 1369 NEW BEST:: SOT 227904 SOS 115344 HAS SOPS 113679 HAS SOUS 53390 HAS SOUPS 52839 WITH SCORE 52954.344
AT ITER 1373 NEW BEST:: SOT 227877 SOS 115317 HAS SOPS 113652 HAS SOUS 53363 HAS SOUPS 52812 WITH SCORE 52927.317
AT ITER 1374 NEW BEST:: SOT 227877 SOS 115129 HAS SOPS 113464 HAS SOUS 53239 HAS SOUPS 52688 WITH SCORE 52803.129
AT ITER 1375 NEW BEST:: SOT 227877 SOS 115085 HAS SOPS 113420 HAS SOUS 53235 HAS SOUPS 52684 WITH SCORE 52799.085
AT ITER 1377 NEW BEST:: SOT 227877 SOS 115069 HAS SOPS 113404 HAS SOUS 53233 HAS SOUPS 52682 WITH SCORE 52797.069
AT ITER 1392 NEW BEST:: SOT 227877 SOS 114982 HAS SOPS 113317 HAS SOUS 53164 HAS SOUPS 52613 WITH SCORE 52727.982
AT ITER 1399 NEW BEST:: SOT 227869 SOS 114845 HAS SOPS 113190 HAS SOUS 53150 HAS SOUPS 52599 WITH SCORE 52713.845
AT ITER 1412 NEW BEST:: SOT 228011 SOS 114684 HAS SOPS 113029 HAS SOUS 53127 HAS SOUPS 52576 WITH SCORE 52690.684
AT ITER 1415 NEW BEST:: SOT 227958 SOS 114694 HAS SOPS 113039 HAS SOUS 53087 HAS SOUPS 52536 WITH SCORE 52650.694
AT ITER 1420 NEW BEST:: SOT 227958 SOS 114684 HAS SOPS 113029 HAS SOUS 53082 HAS SOUPS 52531 WITH SCORE 52645.684
AT ITER 1429 NEW BEST:: SOT 227958 SOS 114516 HAS SOPS 112861 HAS SOUS 53071 HAS SOUPS 52520 WITH SCORE 52634.516
AT ITER 1430 NEW BEST:: SOT 227958 SOS 114536 HAS SOPS 112881 HAS SOUS 53069 HAS SOUPS 52518 WITH SCORE 52632.536
AT ITER 1434 NEW BEST:: SOT 227958 SOS 114498 HAS SOPS 112843 HAS SOUS 53050 HAS SOUPS 52499 WITH SCORE 52613.498
AT ITER 1438 NEW BEST:: SOT 227958 SOS 114466 HAS SOPS 112811 HAS SOUS 53041 HAS SOUPS 52490 WITH SCORE 52604.466
AT ITER 1444 NEW BEST:: SOT 227958 SOS 114466 HAS SOPS 112811 HAS SOUS 53015 HAS SOUPS 52464 WITH SCORE 52578.466
AT ITER 1445 NEW BEST:: SOT 227958 SOS 114312 HAS SOPS 112657 HAS SOUS 52993 HAS SOUPS 52442 WITH SCORE 52556.312
AT ITER 1446 NEW BEST:: SOT 227936 SOS 114276 HAS SOPS 112599 HAS SOUS 52954 HAS SOUPS 52403 WITH SCORE 52517.276
AT ITER 1452 NEW BEST:: SOT 227890 SOS 114172 HAS SOPS 112481 HAS SOUS 52845 HAS SOUPS 52294 WITH SCORE 52408.172
AT ITER 1457 NEW BEST:: SOT 227890 SOS 114120 HAS SOPS 112429 HAS SOUS 52832 HAS SOUPS 52281 WITH SCORE 52395.12
AT ITER 1458 NEW BEST:: SOT 227890 SOS 114227 HAS SOPS 112536 HAS SOUS 52830 HAS SOUPS 52279 WITH SCORE 52393.227
AT ITER 1466 NEW BEST:: SOT 228170 SOS 114424 HAS SOPS 112796 HAS SOUS 52158 HAS SOUPS 51630 WITH SCORE 51744.424
AT ITER 1469 NEW BEST:: SOT 228170 SOS 114268 HAS SOPS 112640 HAS SOUS 52119 HAS SOUPS 51591 WITH SCORE 51705.268
AT ITER 1474 NEW BEST:: SOT 228170 SOS 114290 HAS SOPS 112662 HAS SOUS 52088 HAS SOUPS 51560 WITH SCORE 51674.29
AT ITER 1475 NEW BEST:: SOT 228166 SOS 114278 HAS SOPS 112650 HAS SOUS 52025 HAS SOUPS 51497 WITH SCORE 51611.278
AT ITER 1479 NEW BEST:: SOT 228166 SOS 114294 HAS SOPS 112666 HAS SOUS 52003 HAS SOUPS 51475 WITH SCORE 51589.294
AT ITER 1480 NEW BEST:: SOT 228166 SOS 114384 HAS SOPS 112756 HAS SOUS 51814 HAS SOUPS 51286 WITH SCORE 51400.384
AT ITER 1484 NEW BEST:: SOT 228166 SOS 114466 HAS SOPS 112838 HAS SOUS 51791 HAS SOUPS 51263 WITH SCORE 51377.466
AT ITER 1485 NEW BEST:: SOT 228166 SOS 114232 HAS SOPS 112604 HAS SOUS 51688 HAS SOUPS 51160 WITH SCORE 51274.232
AT ITER 1494 NEW BEST:: SOT 228166 SOS 114234 HAS SOPS 112567 HAS SOUS 51689 HAS SOUPS 51124 WITH SCORE 51238.234
AT ITER 1502 NEW BEST:: SOT 228166 SOS 113801 HAS SOPS 112134 HAS SOUS 51554 HAS SOUPS 50989 WITH SCORE 51102.801
AT ITER 1503 NEW BEST:: SOT 228166 SOS 113407 HAS SOPS 111932 HAS SOUS 51458 HAS SOUPS 50989 WITH SCORE 51102.407
AT ITER 1512 NEW BEST:: SOT 228166 SOS 113275 HAS SOPS 111800 HAS SOUS 51403 HAS SOUPS 50934 WITH SCORE 51047.275
AT ITER 1523 NEW BEST:: SOT 228166 SOS 113133 HAS SOPS 111658 HAS SOUS 51318 HAS SOUPS 50849 WITH SCORE 50962.133
AT ITER 1529 NEW BEST:: SOT 228166 SOS 113371 HAS SOPS 111811 HAS SOUS 51335 HAS SOUPS 50781 WITH SCORE 50894.371
AT ITER 1530 NEW BEST:: SOT 228166 SOS 113733 HAS SOPS 111908 HAS SOUS 51406 HAS SOUPS 50714 WITH SCORE 50827.733
AT ITER 1539 NEW BEST:: SOT 228166 SOS 113862 HAS SOPS 112037 HAS SOUS 51363 HAS SOUPS 50671 WITH SCORE 50784.862
AT ITER 1546 NEW BEST:: SOT 228166 SOS 113716 HAS SOPS 111759 HAS SOUS 51416 HAS SOUPS 50658 WITH SCORE 50771.716
AT ITER 1559 NEW BEST:: SOT 228124 SOS 113662 HAS SOPS 111705 HAS SOUS 51360 HAS SOUPS 50602 WITH SCORE 50715.662
AT ITER 1567 NEW BEST:: SOT 228120 SOS 113380 HAS SOPS 111423 HAS SOUS 51347 HAS SOUPS 50589 WITH SCORE 50702.38
AT ITER 1568 NEW BEST:: SOT 228120 SOS 113284 HAS SOPS 111327 HAS SOUS 51278 HAS SOUPS 50520 WITH SCORE 50633.284
AT ITER 1578 NEW BEST:: SOT 228120 SOS 113276 HAS SOPS 111319 HAS SOUS 51262 HAS SOUPS 50504 WITH SCORE 50617.276
AT ITER 1582 NEW BEST:: SOT 228120 SOS 113258 HAS SOPS 111301 HAS SOUS 51258 HAS SOUPS 50500 WITH SCORE 50613.258
AT ITER 1587 NEW BEST:: SOT 228120 SOS 112551 HAS SOPS 110531 HAS SOUS 51148 HAS SOUPS 50390 WITH SCORE 50502.551
AT ITER 1616 NEW BEST:: SOT 228120 SOS 112555 HAS SOPS 110535 HAS SOUS 51080 HAS SOUPS 50322 WITH SCORE 50434.555
AT ITER 1617 NEW BEST:: SOT 228120 SOS 112525 HAS SOPS 110505 HAS SOUS 51064 HAS SOUPS 50306 WITH SCORE 50418.525
AT ITER 1630 NEW BEST:: SOT 228120 SOS 112355 HAS SOPS 110335 HAS SOUS 50979 HAS SOUPS 50221 WITH SCORE 50333.355
AT ITER 1632 NEW BEST:: SOT 228120 SOS 112455 HAS SOPS 110435 HAS SOUS 50971 HAS SOUPS 50213 WITH SCORE 50325.455
AT ITER 1634 NEW BEST:: SOT 228120 SOS 111595 HAS SOPS 109575 HAS SOUS 50963 HAS SOUPS 50205 WITH SCORE 50316.595
AT ITER 1639 NEW BEST:: SOT 228120 SOS 111589 HAS SOPS 109569 HAS SOUS 50963 HAS SOUPS 50205 WITH SCORE 50316.589
AT ITER 1642 NEW BEST:: SOT 228120 SOS 111675 HAS SOPS 109543 HAS SOUS 51006 HAS SOUPS 50192 WITH SCORE 50303.675
AT ITER 1644 NEW BEST:: SOT 228120 SOS 111571 HAS SOPS 109439 HAS SOUS 50982 HAS SOUPS 50168 WITH SCORE 50279.571
AT ITER 1654 NEW BEST:: SOT 227960 SOS 111367 HAS SOPS 109075 HAS SOUS 50982 HAS SOUPS 50168 WITH SCORE 50279.367
AT ITER 1661 NEW BEST:: SOT 227960 SOS 111367 HAS SOPS 109075 HAS SOUS 50980 HAS SOUPS 50166 WITH SCORE 50277.367
AT ITER 1667 NEW BEST:: SOT 227946 SOS 111353 HAS SOPS 109061 HAS SOUS 50966 HAS SOUPS 50152 WITH SCORE 50263.353
AT ITER 1673 NEW BEST:: SOT 227946 SOS 111338 HAS SOPS 109046 HAS SOUS 50951 HAS SOUPS 50137 WITH SCORE 50248.338
AT ITER 1678 NEW BEST:: SOT 227946 SOS 111298 HAS SOPS 109006 HAS SOUS 50839 HAS SOUPS 50025 WITH SCORE 50136.298
AT ITER 1680 NEW BEST:: SOT 227946 SOS 111292 HAS SOPS 109000 HAS SOUS 50836 HAS SOUPS 50022 WITH SCORE 50133.292
AT ITER 1684 NEW BEST:: SOT 227946 SOS 111344 HAS SOPS 109052 HAS SOUS 50808 HAS SOUPS 49994 WITH SCORE 50105.344
AT ITER 1694 NEW BEST:: SOT 227946 SOS 111338 HAS SOPS 109046 HAS SOUS 50805 HAS SOUPS 49991 WITH SCORE 50102.338
AT ITER 1706 NEW BEST:: SOT 227946 SOS 111212 HAS SOPS 108920 HAS SOUS 50772 HAS SOUPS 49958 WITH SCORE 50069.212
AT ITER 1711 NEW BEST:: SOT 227946 SOS 111126 HAS SOPS 108758 HAS SOUS 50822 HAS SOUPS 49949 WITH SCORE 50060.126
AT ITER 1717 NEW BEST:: SOT 227946 SOS 111000 HAS SOPS 108632 HAS SOUS 50759 HAS SOUPS 49886 WITH SCORE 49997.0
AT ITER 1722 NEW BEST:: SOT 227824 SOS 111062 HAS SOPS 108572 HAS SOUS 50686 HAS SOUPS 49813 WITH SCORE 49924.062
AT ITER 1743 NEW BEST:: SOT 227812 SOS 111050 HAS SOPS 108572 HAS SOUS 50674 HAS SOUPS 49801 WITH SCORE 49912.05
AT ITER 1747 NEW BEST:: SOT 227812 SOS 109798 HAS SOPS 107320 HAS SOUS 50674 HAS SOUPS 49801 WITH SCORE 49910.798
AT ITER 1749 NEW BEST:: SOT 227835 SOS 109786 HAS SOPS 107300 HAS SOUS 50661 HAS SOUPS 49780 WITH SCORE 49889.786
AT ITER 1755 NEW BEST:: SOT 227835 SOS 109756 HAS SOPS 107270 HAS SOUS 50646 HAS SOUPS 49765 WITH SCORE 49874.756
AT ITER 1756 NEW BEST:: SOT 227835 SOS 109678 HAS SOPS 107192 HAS SOUS 50580 HAS SOUPS 49699 WITH SCORE 49808.678
AT ITER 1761 NEW BEST:: SOT 227835 SOS 109586 HAS SOPS 107100 HAS SOUS 50580 HAS SOUPS 49699 WITH SCORE 49808.586
AT ITER 1762 NEW BEST:: SOT 227835 SOS 109564 HAS SOPS 107078 HAS SOUS 50575 HAS SOUPS 49694 WITH SCORE 49803.564
AT ITER 1768 NEW BEST:: SOT 227835 SOS 109526 HAS SOPS 107040 HAS SOUS 50575 HAS SOUPS 49694 WITH SCORE 49803.526
AT ITER 1774 NEW BEST:: SOT 227835 SOS 109401 HAS SOPS 106809 HAS SOUS 50049 HAS SOUPS 49168 WITH SCORE 49277.401
AT ITER 1784 NEW BEST:: SOT 227819 SOS 109361 HAS SOPS 106769 HAS SOUS 50021 HAS SOUPS 49140 WITH SCORE 49249.361
AT ITER 1786 NEW BEST:: SOT 227819 SOS 109357 HAS SOPS 106725 HAS SOUS 50024 HAS SOUPS 49123 WITH SCORE 49232.357
AT ITER 1795 NEW BEST:: SOT 227819 SOS 109513 HAS SOPS 106749 HAS SOUS 50024 HAS SOUPS 49041 WITH SCORE 49150.513
AT ITER 1797 NEW BEST:: SOT 227849 SOS 107673 HAS SOPS 104849 HAS SOUS 49874 HAS SOUPS 48891 WITH SCORE 48998.673
AT ITER 1806 NEW BEST:: SOT 227849 SOS 107811 HAS SOPS 104987 HAS SOUS 49872 HAS SOUPS 48889 WITH SCORE 48996.811
AT ITER 1808 NEW BEST:: SOT 227849 SOS 107811 HAS SOPS 104987 HAS SOUS 49861 HAS SOUPS 48878 WITH SCORE 48985.811
AT ITER 1810 NEW BEST:: SOT 227849 SOS 107672 HAS SOPS 104848 HAS SOUS 49843 HAS SOUPS 48860 WITH SCORE 48967.672
AT ITER 1821 NEW BEST:: SOT 227849 SOS 107642 HAS SOPS 104818 HAS SOUS 49828 HAS SOUPS 48845 WITH SCORE 48952.642
AT ITER 1826 NEW BEST:: SOT 227632 SOS 107472 HAS SOPS 104816 HAS SOUS 49810 HAS SOUPS 48827 WITH SCORE 48934.472
AT ITER 1828 NEW BEST:: SOT 227632 SOS 107374 HAS SOPS 104718 HAS SOUS 49761 HAS SOUPS 48778 WITH SCORE 48885.374
AT ITER 1829 NEW BEST:: SOT 227632 SOS 107290 HAS SOPS 104628 HAS SOUS 49707 HAS SOUPS 48724 WITH SCORE 48831.29
AT ITER 1863 NEW BEST:: SOT 227568 SOS 108797 HAS SOPS 106178 HAS SOUS 49643 HAS SOUPS 48660 WITH SCORE 48768.797
AT ITER 1868 NEW BEST:: SOT 227568 SOS 108733 HAS SOPS 106114 HAS SOUS 49611 HAS SOUPS 48628 WITH SCORE 48736.733
AT ITER 1873 NEW BEST:: SOT 227568 SOS 108719 HAS SOPS 106100 HAS SOUS 49597 HAS SOUPS 48614 WITH SCORE 48722.719
AT ITER 1875 NEW BEST:: SOT 227568 SOS 108701 HAS SOPS 106082 HAS SOUS 49588 HAS SOUPS 48605 WITH SCORE 48713.701
AT ITER 1899 NEW BEST:: SOT 227568 SOS 108357 HAS SOPS 105738 HAS SOUS 49558 HAS SOUPS 48575 WITH SCORE 48683.357
AT ITER 1909 NEW BEST:: SOT 227568 SOS 108157 HAS SOPS 105538 HAS SOUS 49528 HAS SOUPS 48545 WITH SCORE 48653.157
AT ITER 1913 NEW BEST:: SOT 227568 SOS 108059 HAS SOPS 105440 HAS SOUS 49479 HAS SOUPS 48496 WITH SCORE 48604.059
AT ITER 1922 NEW BEST:: SOT 227568 SOS 107955 HAS SOPS 105336 HAS SOUS 49449 HAS SOUPS 48466 WITH SCORE 48573.955
AT ITER 1950 NEW BEST:: SOT 227568 SOS 107923 HAS SOPS 105304 HAS SOUS 49433 HAS SOUPS 48450 WITH SCORE 48557.923
AT ITER 1955 NEW BEST:: SOT 227568 SOS 107897 HAS SOPS 105278 HAS SOUS 49433 HAS SOUPS 48450 WITH SCORE 48557.897
AT ITER 1956 NEW BEST:: SOT 227568 SOS 107833 HAS SOPS 105214 HAS SOUS 49401 HAS SOUPS 48418 WITH SCORE 48525.833
AT ITER 1958 NEW BEST:: SOT 227568 SOS 107857 HAS SOPS 105241 HAS SOUS 49377 HAS SOUPS 48397 WITH SCORE 48504.857
AT ITER 1961 NEW BEST:: SOT 227568 SOS 107591 HAS SOPS 104975 HAS SOUS 49303 HAS SOUPS 48323 WITH SCORE 48430.591
AT ITER 1969 NEW BEST:: SOT 227568 SOS 107587 HAS SOPS 104971 HAS SOUS 49301 HAS SOUPS 48321 WITH SCORE 48428.587
AT ITER 1977 NEW BEST:: SOT 227568 SOS 107507 HAS SOPS 104891 HAS SOUS 49286 HAS SOUPS 48306 WITH SCORE 48413.507
AT ITER 1994 NEW BEST:: SOT 227568 SOS 107447 HAS SOPS 104831 HAS SOUS 49222 HAS SOUPS 48242 WITH SCORE 48349.447
AT ITER 1999 NEW BEST:: SOT 227568 SOS 107333 HAS SOPS 104717 HAS SOUS 49188 HAS SOUPS 48208 WITH SCORE 48315.333
AT ITER 2006 NEW BEST:: SOT 227568 SOS 107237 HAS SOPS 104751 HAS SOUS 49103 HAS SOUPS 48192 WITH SCORE 48299.237
AT ITER 2009 NEW BEST:: SOT 227568 SOS 107235 HAS SOPS 104749 HAS SOUS 49102 HAS SOUPS 48191 WITH SCORE 48298.235
AT ITER 2014 NEW BEST:: SOT 227568 SOS 107185 HAS SOPS 104699 HAS SOUS 49077 HAS SOUPS 48166 WITH SCORE 48273.185
AT ITER 2031 NEW BEST:: SOT 227568 SOS 107162 HAS SOPS 104676 HAS SOUS 49054 HAS SOUPS 48143 WITH SCORE 48250.162
AT ITER 2040 NEW BEST:: SOT 227568 SOS 107450 HAS SOPS 104964 HAS SOUS 49039 HAS SOUPS 48128 WITH SCORE 48235.45
AT ITER 2045 NEW BEST:: SOT 227568 SOS 107230 HAS SOPS 104744 HAS SOUS 49019 HAS SOUPS 48108 WITH SCORE 48215.23
AT ITER 2049 NEW BEST:: SOT 227568 SOS 107194 HAS SOPS 104708 HAS SOUS 49010 HAS SOUPS 48099 WITH SCORE 48206.194
AT ITER 2052 NEW BEST:: SOT 227568 SOS 107420 HAS SOPS 104934 HAS SOUS 49001 HAS SOUPS 48090 WITH SCORE 48197.42
AT ITER 2058 NEW BEST:: SOT 227568 SOS 107272 HAS SOPS 104786 HAS SOUS 49001 HAS SOUPS 48090 WITH SCORE 48197.272
AT ITER 2067 NEW BEST:: SOT 227568 SOS 107212 HAS SOPS 104726 HAS SOUS 49001 HAS SOUPS 48090 WITH SCORE 48197.212
AT ITER 2079 NEW BEST:: SOT 227538 SOS 107238 HAS SOPS 104752 HAS SOUS 48999 HAS SOUPS 48088 WITH SCORE 48195.238
AT ITER 2080 NEW BEST:: SOT 227538 SOS 107029 HAS SOPS 104543 HAS SOUS 48999 HAS SOUPS 48088 WITH SCORE 48195.029
AT ITER 2083 NEW BEST:: SOT 227538 SOS 106987 HAS SOPS 104501 HAS SOUS 48985 HAS SOUPS 48074 WITH SCORE 48180.987
AT ITER 2084 NEW BEST:: SOT 227538 SOS 106525 HAS SOPS 104039 HAS SOUS 48870 HAS SOUPS 47959 WITH SCORE 48065.525
AT ITER 2088 NEW BEST:: SOT 227538 SOS 106549 HAS SOPS 104063 HAS SOUS 48865 HAS SOUPS 47954 WITH SCORE 48060.549
AT ITER 2093 NEW BEST:: SOT 227538 SOS 106313 HAS SOPS 103827 HAS SOUS 48772 HAS SOUPS 47861 WITH SCORE 47967.313
AT ITER 2097 NEW BEST:: SOT 227538 SOS 106277 HAS SOPS 103791 HAS SOUS 48763 HAS SOUPS 47852 WITH SCORE 47958.277
AT ITER 2099 NEW BEST:: SOT 227538 SOS 106271 HAS SOPS 103763 HAS SOUS 48761 HAS SOUPS 47834 WITH SCORE 47940.271
AT ITER 2102 NEW BEST:: SOT 227538 SOS 106003 HAS SOPS 103495 HAS SOUS 48761 HAS SOUPS 47834 WITH SCORE 47940.003
AT ITER 2105 NEW BEST:: SOT 227538 SOS 105981 HAS SOPS 103473 HAS SOUS 48737 HAS SOUPS 47810 WITH SCORE 47915.981
AT ITER 2127 NEW BEST:: SOT 227538 SOS 106577 HAS SOPS 104069 HAS SOUS 48735 HAS SOUPS 47808 WITH SCORE 47914.577
AT ITER 2131 NEW BEST:: SOT 227543 SOS 106508 HAS SOPS 104000 HAS SOUS 48639 HAS SOUPS 47712 WITH SCORE 47818.508
AT ITER 2133 NEW BEST:: SOT 227543 SOS 105964 HAS SOPS 103456 HAS SOUS 48629 HAS SOUPS 47702 WITH SCORE 47807.964
AT ITER 2157 NEW BEST:: SOT 227543 SOS 105936 HAS SOPS 103428 HAS SOUS 48629 HAS SOUPS 47702 WITH SCORE 47807.936
AT ITER 2175 NEW BEST:: SOT 227543 SOS 105926 HAS SOPS 103418 HAS SOUS 48624 HAS SOUPS 47697 WITH SCORE 47802.926
AT ITER 2179 NEW BEST:: SOT 227543 SOS 105866 HAS SOPS 103358 HAS SOUS 48594 HAS SOUPS 47667 WITH SCORE 47772.866
AT ITER 2194 NEW BEST:: SOT 227537 SOS 105860 HAS SOPS 103349 HAS SOUS 48585 HAS SOUPS 47658 WITH SCORE 47763.86
AT ITER 2211 NEW BEST:: SOT 227353 SOS 105689 HAS SOPS 103160 HAS SOUS 48494 HAS SOUPS 47557 WITH SCORE 47662.689
AT ITER 2218 NEW BEST:: SOT 227353 SOS 105641 HAS SOPS 103112 HAS SOUS 48483 HAS SOUPS 47546 WITH SCORE 47651.641
AT ITER 2225 NEW BEST:: SOT 227353 SOS 105642 HAS SOPS 103113 HAS SOUS 48482 HAS SOUPS 47545 WITH SCORE 47650.642
AT ITER 2233 NEW BEST:: SOT 227353 SOS 105642 HAS SOPS 103113 HAS SOUS 48480 HAS SOUPS 47543 WITH SCORE 47648.642
AT ITER 2236 NEW BEST:: SOT 227353 SOS 105642 HAS SOPS 103113 HAS SOUS 48479 HAS SOUPS 47542 WITH SCORE 47647.642
AT ITER 2241 NEW BEST:: SOT 227353 SOS 105582 HAS SOPS 103053 HAS SOUS 48459 HAS SOUPS 47522 WITH SCORE 47627.582
AT ITER 2250 NEW BEST:: SOT 227353 SOS 105584 HAS SOPS 103055 HAS SOUS 48452 HAS SOUPS 47515 WITH SCORE 47620.584
AT ITER 2251 NEW BEST:: SOT 227353 SOS 105776 HAS SOPS 103103 HAS SOUS 48533 HAS SOUPS 47508 WITH SCORE 47613.776
AT ITER 2255 NEW BEST:: SOT 227353 SOS 105816 HAS SOPS 103117 HAS SOUS 48540 HAS SOUPS 47502 WITH SCORE 47607.816
AT ITER 2256 NEW BEST:: SOT 227353 SOS 105812 HAS SOPS 103111 HAS SOUS 48542 HAS SOUPS 47502 WITH SCORE 47607.812
AT ITER 2257 NEW BEST:: SOT 227353 SOS 105506 HAS SOPS 102805 HAS SOUS 48467 HAS SOUPS 47427 WITH SCORE 47532.506
AT ITER 2258 NEW BEST:: SOT 227353 SOS 105396 HAS SOPS 102716 HAS SOUS 48364 HAS SOUPS 47345 WITH SCORE 47450.396
AT ITER 2266 NEW BEST:: SOT 227353 SOS 105321 HAS SOPS 102641 HAS SOUS 48316 HAS SOUPS 47297 WITH SCORE 47402.321
AT ITER 2268 NEW BEST:: SOT 227362 SOS 105161 HAS SOPS 102462 HAS SOUS 48298 HAS SOUPS 47279 WITH SCORE 47384.161
AT ITER 2286 NEW BEST:: SOT 227347 SOS 105084 HAS SOPS 102343 HAS SOUS 48205 HAS SOUPS 47186 WITH SCORE 47291.084
AT ITER 2295 NEW BEST:: SOT 227347 SOS 105000 HAS SOPS 102089 HAS SOUS 48214 HAS SOUPS 47106 WITH SCORE 47211.0
AT ITER 2330 NEW BEST:: SOT 227347 SOS 104780 HAS SOPS 101869 HAS SOUS 48104 HAS SOUPS 46996 WITH SCORE 47100.78
AT ITER 2331 NEW BEST:: SOT 227347 SOS 104700 HAS SOPS 101789 HAS SOUS 48084 HAS SOUPS 46976 WITH SCORE 47080.7
AT ITER 2345 NEW BEST:: SOT 227347 SOS 104700 HAS SOPS 101789 HAS SOUS 48014 HAS SOUPS 46906 WITH SCORE 47010.7
AT ITER 2352 NEW BEST:: SOT 227339 SOS 104692 HAS SOPS 101777 HAS SOUS 48002 HAS SOUPS 46894 WITH SCORE 46998.692
AT ITER 2377 NEW BEST:: SOT 227339 SOS 104680 HAS SOPS 101765 HAS SOUS 48000 HAS SOUPS 46892 WITH SCORE 46996.68
AT ITER 2396 NEW BEST:: SOT 227321 SOS 104215 HAS SOPS 101425 HAS SOUS 47843 HAS SOUPS 46838 WITH SCORE 46942.215
AT ITER 2398 NEW BEST:: SOT 227321 SOS 104117 HAS SOPS 101327 HAS SOUS 47843 HAS SOUPS 46838 WITH SCORE 46942.117
AT ITER 2402 NEW BEST:: SOT 227321 SOS 103893 HAS SOPS 101103 HAS SOUS 47804 HAS SOUPS 46799 WITH SCORE 46902.893
AT ITER 2405 NEW BEST:: SOT 227321 SOS 103829 HAS SOPS 101039 HAS SOUS 47804 HAS SOUPS 46799 WITH SCORE 46902.829
AT ITER 2419 NEW BEST:: SOT 227321 SOS 103881 HAS SOPS 100975 HAS SOUS 47830 HAS SOUPS 46767 WITH SCORE 46870.881
AT ITER 2426 NEW BEST:: SOT 227321 SOS 103877 HAS SOPS 100951 HAS SOUS 47828 HAS SOUPS 46755 WITH SCORE 46858.877
AT ITER 2429 NEW BEST:: SOT 227321 SOS 103830 HAS SOPS 100875 HAS SOUS 47811 HAS SOUPS 46738 WITH SCORE 46841.83
AT ITER 2452 NEW BEST:: SOT 227321 SOS 103800 HAS SOPS 100845 HAS SOUS 47806 HAS SOUPS 46733 WITH SCORE 46836.8
AT ITER 2464 NEW BEST:: SOT 227321 SOS 103826 HAS SOPS 100805 HAS SOUS 47819 HAS SOUPS 46713 WITH SCORE 46816.826
AT ITER 2468 NEW BEST:: SOT 227392 SOS 103893 HAS SOPS 100810 HAS SOUS 47776 HAS SOUPS 46670 WITH SCORE 46773.893
AT ITER 2471 NEW BEST:: SOT 227392 SOS 103881 HAS SOPS 100798 HAS SOUS 47770 HAS SOUPS 46664 WITH SCORE 46767.881
AT ITER 2495 NEW BEST:: SOT 227392 SOS 103883 HAS SOPS 100800 HAS SOUS 47769 HAS SOUPS 46663 WITH SCORE 46766.883
AT ITER 2505 NEW BEST:: SOT 227396 SOS 103803 HAS SOPS 100708 HAS SOUS 47723 HAS SOUPS 46617 WITH SCORE 46720.803
AT ITER 2517 NEW BEST:: SOT 227443 SOS 103910 HAS SOPS 100815 HAS SOUS 47684 HAS SOUPS 46578 WITH SCORE 46681.91
AT ITER 2523 NEW BEST:: SOT 227443 SOS 104112 HAS SOPS 100869 HAS SOUS 47703 HAS SOUPS 46515 WITH SCORE 46619.112
AT ITER 2528 NEW BEST:: SOT 227431 SOS 104100 HAS SOPS 100845 HAS SOUS 47679 HAS SOUPS 46491 WITH SCORE 46595.1
AT ITER 2536 NEW BEST:: SOT 227717 SOS 104252 HAS SOPS 100895 HAS SOUS 47542 HAS SOUPS 46354 WITH SCORE 46458.252
AT ITER 2558 NEW BEST:: SOT 227717 SOS 104109 HAS SOPS 100752 HAS SOUS 47529 HAS SOUPS 46341 WITH SCORE 46445.109
AT ITER 2571 NEW BEST:: SOT 227717 SOS 104109 HAS SOPS 100674 HAS SOUS 47529 HAS SOUPS 46302 WITH SCORE 46406.109
AT ITER 2574 NEW BEST:: SOT 227717 SOS 104059 HAS SOPS 100624 HAS SOUS 47516 HAS SOUPS 46289 WITH SCORE 46393.059
AT ITER 2579 NEW BEST:: SOT 227717 SOS 103951 HAS SOPS 100408 HAS SOUS 47516 HAS SOUPS 46235 WITH SCORE 46338.951
AT ITER 2607 NEW BEST:: SOT 227717 SOS 103931 HAS SOPS 100388 HAS SOUS 47506 HAS SOUPS 46225 WITH SCORE 46328.931
AT ITER 2614 NEW BEST:: SOT 227717 SOS 103823 HAS SOPS 100280 HAS SOUS 47506 HAS SOUPS 46225 WITH SCORE 46328.823
AT ITER 2643 NEW BEST:: SOT 227717 SOS 103645 HAS SOPS 100102 HAS SOUS 47471 HAS SOUPS 46190 WITH SCORE 46293.645
AT ITER 2649 NEW BEST:: SOT 227739 SOS 103364 HAS SOPS 99742 HAS SOUS 47418 HAS SOUPS 46088 WITH SCORE 46191.364
AT ITER 2676 NEW BEST:: SOT 227739 SOS 103662 HAS SOPS 100040 HAS SOUS 47417 HAS SOUPS 46087 WITH SCORE 46190.662
AT ITER 2682 NEW BEST:: SOT 227739 SOS 103420 HAS SOPS 99798 HAS SOUS 47410 HAS SOUPS 46080 WITH SCORE 46183.42
AT ITER 2684 NEW BEST:: SOT 227739 SOS 103418 HAS SOPS 99796 HAS SOUS 47410 HAS SOUPS 46080 WITH SCORE 46183.418
AT ITER 2691 NEW BEST:: SOT 227739 SOS 103386 HAS SOPS 99764 HAS SOUS 47402 HAS SOUPS 46072 WITH SCORE 46175.386
AT ITER 2695 NEW BEST:: SOT 227729 SOS 103376 HAS SOPS 99754 HAS SOUS 47392 HAS SOUPS 46062 WITH SCORE 46165.376
AT ITER 2704 NEW BEST:: SOT 227729 SOS 103276 HAS SOPS 99654 HAS SOUS 47392 HAS SOUPS 46062 WITH SCORE 46165.276
AT ITER 2707 NEW BEST:: SOT 227729 SOS 103260 HAS SOPS 99635 HAS SOUS 47392 HAS SOUPS 46059 WITH SCORE 46162.26
AT ITER 2712 NEW BEST:: SOT 227707 SOS 103247 HAS SOPS 99635 HAS SOUS 47350 HAS SOUPS 46017 WITH SCORE 46120.247
AT ITER 2717 NEW BEST:: SOT 227914 SOS 103454 HAS SOPS 99794 HAS SOUS 47309 HAS SOUPS 45976 WITH SCORE 46079.454
AT ITER 2721 NEW BEST:: SOT 227914 SOS 103422 HAS SOPS 99762 HAS SOUS 47293 HAS SOUPS 45960 WITH SCORE 46063.422
AT ITER 2726 NEW BEST:: SOT 227999 SOS 103445 HAS SOPS 99425 HAS SOUS 47210 HAS SOUPS 45877 WITH SCORE 45980.445
AT ITER 2734 NEW BEST:: SOT 227999 SOS 103522 HAS SOPS 99502 HAS SOUS 47169 HAS SOUPS 45836 WITH SCORE 45939.522
AT ITER 2742 NEW BEST:: SOT 227999 SOS 103496 HAS SOPS 99476 HAS SOUS 47156 HAS SOUPS 45823 WITH SCORE 45926.496
AT ITER 2744 NEW BEST:: SOT 227999 SOS 103372 HAS SOPS 99352 HAS SOUS 47120 HAS SOUPS 45787 WITH SCORE 45890.372
AT ITER 2746 NEW BEST:: SOT 227999 SOS 103364 HAS SOPS 99344 HAS SOUS 47118 HAS SOUPS 45785 WITH SCORE 45888.364
AT ITER 2747 NEW BEST:: SOT 227999 SOS 103356 HAS SOPS 99336 HAS SOUS 47114 HAS SOUPS 45781 WITH SCORE 45884.356
AT ITER 2767 NEW BEST:: SOT 227999 SOS 103308 HAS SOPS 99288 HAS SOUS 47114 HAS SOUPS 45781 WITH SCORE 45884.308
AT ITER 2788 NEW BEST:: SOT 227999 SOS 103276 HAS SOPS 99256 HAS SOUS 47098 HAS SOUPS 45765 WITH SCORE 45868.276
AT ITER 2800 NEW BEST:: SOT 227999 SOS 103192 HAS SOPS 99172 HAS SOUS 47056 HAS SOUPS 45723 WITH SCORE 45826.192
AT ITER 2804 NEW BEST:: SOT 227992 SOS 102956 HAS SOPS 98929 HAS SOUS 47014 HAS SOUPS 45681 WITH SCORE 45783.956
AT ITER 2809 NEW BEST:: SOT 227986 SOS 102962 HAS SOPS 98932 HAS SOUS 47029 HAS SOUPS 45679 WITH SCORE 45781.962
AT ITER 2833 NEW BEST:: SOT 227986 SOS 102956 HAS SOPS 98926 HAS SOUS 47026 HAS SOUPS 45676 WITH SCORE 45778.956
AT ITER 2837 NEW BEST:: SOT 227952 SOS 102920 HAS SOPS 98856 HAS SOUS 47006 HAS SOUPS 45656 WITH SCORE 45758.92
AT ITER 2838 NEW BEST:: SOT 220311 SOS 97799 HAS SOPS 91232 HAS SOUS 45955 HAS SOUPS 44573 WITH SCORE 44670.799
AT ITER 2848 NEW BEST:: SOT 220303 SOS 97779 HAS SOPS 91177 HAS SOUS 45947 HAS SOUPS 44530 WITH SCORE 44627.779
AT ITER 2855 NEW BEST:: SOT 220303 SOS 97763 HAS SOPS 91161 HAS SOUS 45945 HAS SOUPS 44528 WITH SCORE 44625.763
AT ITER 2874 NEW BEST:: SOT 220303 SOS 97747 HAS SOPS 91145 HAS SOUS 45945 HAS SOUPS 44528 WITH SCORE 44625.747
AT ITER 2887 NEW BEST:: SOT 214466 SOS 93562 HAS SOPS 85204 HAS SOUS 40070 HAS SOUPS 38631 WITH SCORE 38724.562
AT ITER 2930 NEW BEST:: SOT 214466 SOS 93538 HAS SOPS 85180 HAS SOUS 40070 HAS SOUPS 38631 WITH SCORE 38724.538
AT ITER 2956 NEW BEST:: SOT 214466 SOS 93334 HAS SOPS 84976 HAS SOUS 39974 HAS SOUPS 38535 WITH SCORE 38628.334
AT ITER 2969 NEW BEST:: SOT 214526 SOS 93394 HAS SOPS 84886 HAS SOUS 39944 HAS SOUPS 38505 WITH SCORE 38598.394
AT ITER 2972 NEW BEST:: SOT 214526 SOS 93256 HAS SOPS 84748 HAS SOUS 39921 HAS SOUPS 38482 WITH SCORE 38575.256
AT ITER 3011 NEW BEST:: SOT 214563 SOS 93162 HAS SOPS 84629 HAS SOUS 39885 HAS SOUPS 38446 WITH SCORE 38539.162
AT ITER 3012 NEW BEST:: SOT 214563 SOS 93176 HAS SOPS 84643 HAS SOUS 39877 HAS SOUPS 38438 WITH SCORE 38531.176
AT ITER 3017 NEW BEST:: SOT 214563 SOS 93152 HAS SOPS 84619 HAS SOUS 39868 HAS SOUPS 38429 WITH SCORE 38522.152
AT ITER 3028 NEW BEST:: SOT 214563 SOS 93152 HAS SOPS 84619 HAS SOUS 39858 HAS SOUPS 38419 WITH SCORE 38512.152
AT ITER 3036 NEW BEST:: SOT 214561 SOS 93150 HAS SOPS 84613 HAS SOUS 39854 HAS SOUPS 38415 WITH SCORE 38508.15
AT ITER 3042 NEW BEST:: SOT 214561 SOS 93122 HAS SOPS 84585 HAS SOUS 39847 HAS SOUPS 38408 WITH SCORE 38501.122
AT ITER 3053 NEW BEST:: SOT 214561 SOS 93105 HAS SOPS 84519 HAS SOUS 39694 HAS SOUPS 38255 WITH SCORE 38348.105
AT ITER 3057 NEW BEST:: SOT 214561 SOS 93077 HAS SOPS 84491 HAS SOUS 39694 HAS SOUPS 38255 WITH SCORE 38348.077
AT ITER 3067 NEW BEST:: SOT 214561 SOS 92983 HAS SOPS 84397 HAS SOUS 39654 HAS SOUPS 38215 WITH SCORE 38307.983
AT ITER 3088 NEW BEST:: SOT 214561 SOS 92959 HAS SOPS 84373 HAS SOUS 39648 HAS SOUPS 38209 WITH SCORE 38301.959
AT ITER 3099 NEW BEST:: SOT 214561 SOS 92759 HAS SOPS 84299 HAS SOUS 39548 HAS SOUPS 38172 WITH SCORE 38264.759
AT ITER 3110 NEW BEST:: SOT 214561 SOS 92768 HAS SOPS 84308 HAS SOUS 39539 HAS SOUPS 38163 WITH SCORE 38255.768
AT ITER 3118 NEW BEST:: SOT 214561 SOS 92742 HAS SOPS 84282 HAS SOUS 39526 HAS SOUPS 38150 WITH SCORE 38242.742
AT ITER 3141 NEW BEST:: SOT 214561 SOS 92684 HAS SOPS 84224 HAS SOUS 39523 HAS SOUPS 38147 WITH SCORE 38239.684
AT ITER 3193 NEW BEST:: SOT 214561 SOS 92552 HAS SOPS 84332 HAS SOUS 39403 HAS SOUPS 38147 WITH SCORE 38239.552
AT ITER 3198 NEW BEST:: SOT 214561 SOS 92552 HAS SOPS 84332 HAS SOUS 39395 HAS SOUPS 38139 WITH SCORE 38231.552
AT ITER 3204 NEW BEST:: SOT 214561 SOS 92450 HAS SOPS 84230 HAS SOUS 39344 HAS SOUPS 38088 WITH SCORE 38180.45
AT ITER 3228 NEW BEST:: SOT 214558 SOS 92568 HAS SOPS 84089 HAS SOUS 39469 HAS SOUPS 38085 WITH SCORE 38177.568
AT ITER 3243 NEW BEST:: SOT 214558 SOS 92565 HAS SOPS 84086 HAS SOUS 39465 HAS SOUPS 38081 WITH SCORE 38173.565
AT ITER 3251 NEW BEST:: SOT 214558 SOS 92527 HAS SOPS 84048 HAS SOUS 39446 HAS SOUPS 38062 WITH SCORE 38154.527
AT ITER 3304 NEW BEST:: SOT 214558 SOS 92491 HAS SOPS 84046 HAS SOUS 39422 HAS SOUPS 38055 WITH SCORE 38147.491
AT ITER 3307 NEW BEST:: SOT 214558 SOS 92485 HAS SOPS 84040 HAS SOUS 39419 HAS SOUPS 38052 WITH SCORE 38144.485
AT ITER 3316 NEW BEST:: SOT 214558 SOS 92493 HAS SOPS 84048 HAS SOUS 39402 HAS SOUPS 38035 WITH SCORE 38127.493
AT ITER 3320 NEW BEST:: SOT 214558 SOS 92559 HAS SOPS 84114 HAS SOUS 39390 HAS SOUPS 38023 WITH SCORE 38115.559
AT ITER 3356 NEW BEST:: SOT 214558 SOS 92562 HAS SOPS 84134 HAS SOUS 39389 HAS SOUPS 38022 WITH SCORE 38114.562
AT ITER 3361 NEW BEST:: SOT 214558 SOS 92560 HAS SOPS 84132 HAS SOUS 39388 HAS SOUPS 38021 WITH SCORE 38113.56
AT ITER 3411 NEW BEST:: SOT 214558 SOS 92492 HAS SOPS 84064 HAS SOUS 39375 HAS SOUPS 38008 WITH SCORE 38100.492
AT ITER 3464 NEW BEST:: SOT 214558 SOS 92506 HAS SOPS 84054 HAS SOUS 39382 HAS SOUPS 38003 WITH SCORE 38095.506
AT ITER 3465 NEW BEST:: SOT 214558 SOS 92506 HAS SOPS 84054 HAS SOUS 39380 HAS SOUPS 38001 WITH SCORE 38093.506
AT ITER 3470 NEW BEST:: SOT 214534 SOS 92482 HAS SOPS 84032 HAS SOUS 39370 HAS SOUPS 37991 WITH SCORE 38083.482
AT ITER 3474 NEW BEST:: SOT 214504 SOS 92452 HAS SOPS 83990 HAS SOUS 39316 HAS SOUPS 37937 WITH SCORE 38029.452
AT ITER 3484 NEW BEST:: SOT 214504 SOS 92624 HAS SOPS 84162 HAS SOUS 39312 HAS SOUPS 37933 WITH SCORE 38025.624
AT ITER 3491 NEW BEST:: SOT 214572 SOS 92692 HAS SOPS 84228 HAS SOUS 39300 HAS SOUPS 37921 WITH SCORE 38013.692
AT ITER 3499 NEW BEST:: SOT 214572 SOS 92648 HAS SOPS 84184 HAS SOUS 39300 HAS SOUPS 37921 WITH SCORE 38013.648
AT ITER 3507 NEW BEST:: SOT 214572 SOS 92632 HAS SOPS 84168 HAS SOUS 39300 HAS SOUPS 37921 WITH SCORE 38013.632
AT ITER 3521 NEW BEST:: SOT 214572 SOS 92622 HAS SOPS 84158 HAS SOUS 39295 HAS SOUPS 37916 WITH SCORE 38008.622
AT ITER 3532 NEW BEST:: SOT 214572 SOS 92604 HAS SOPS 84140 HAS SOUS 39295 HAS SOUPS 37916 WITH SCORE 38008.604
AT ITER 3560 NEW BEST:: SOT 214572 SOS 92590 HAS SOPS 84126 HAS SOUS 39295 HAS SOUPS 37916 WITH SCORE 38008.59
AT ITER 3577 NEW BEST:: SOT 214572 SOS 92566 HAS SOPS 84126 HAS SOUS 39283 HAS SOUPS 37916 WITH SCORE 38008.566
AT ITER 3595 NEW BEST:: SOT 214572 SOS 92520 HAS SOPS 84080 HAS SOUS 39260 HAS SOUPS 37893 WITH SCORE 37985.52
AT ITER 3606 NEW BEST:: SOT 214572 SOS 92446 HAS SOPS 84006 HAS SOUS 39249 HAS SOUPS 37882 WITH SCORE 37974.446
AT ITER 3614 NEW BEST:: SOT 214572 SOS 92446 HAS SOPS 84006 HAS SOUS 39243 HAS SOUPS 37876 WITH SCORE 37968.446
AT ITER 3619 NEW BEST:: SOT 214572 SOS 92428 HAS SOPS 83988 HAS SOUS 39234 HAS SOUPS 37867 WITH SCORE 37959.428
AT ITER 3625 NEW BEST:: SOT 214572 SOS 92306 HAS SOPS 83866 HAS SOUS 39229 HAS SOUPS 37862 WITH SCORE 37954.306
AT ITER 3628 NEW BEST:: SOT 214562 SOS 92296 HAS SOPS 83836 HAS SOUS 39214 HAS SOUPS 37847 WITH SCORE 37939.296
AT ITER 3630 NEW BEST:: SOT 215162 SOS 93005 HAS SOPS 84396 HAS SOUS 39121 HAS SOUPS 37754 WITH SCORE 37847.005
AT ITER 3641 NEW BEST:: SOT 215162 SOS 93007 HAS SOPS 84398 HAS SOUS 39108 HAS SOUPS 37741 WITH SCORE 37834.007
AT ITER 3656 NEW BEST:: SOT 215162 SOS 92931 HAS SOPS 84322 HAS SOUS 39070 HAS SOUPS 37703 WITH SCORE 37795.931
AT ITER 3679 NEW BEST:: SOT 215162 SOS 92917 HAS SOPS 84308 HAS SOUS 39070 HAS SOUPS 37703 WITH SCORE 37795.917
AT ITER 3694 NEW BEST:: SOT 215162 SOS 92969 HAS SOPS 84360 HAS SOUS 39061 HAS SOUPS 37694 WITH SCORE 37786.969
AT ITER 3729 NEW BEST:: SOT 215162 SOS 92933 HAS SOPS 84324 HAS SOUS 39043 HAS SOUPS 37676 WITH SCORE 37768.933
AT ITER 3768 NEW BEST:: SOT 215162 SOS 92933 HAS SOPS 84324 HAS SOUS 39037 HAS SOUPS 37670 WITH SCORE 37762.933
AT ITER 3770 NEW BEST:: SOT 215156 SOS 92927 HAS SOPS 84318 HAS SOUS 39031 HAS SOUPS 37664 WITH SCORE 37756.927
AT ITER 3793 NEW BEST:: SOT 215156 SOS 92857 HAS SOPS 84248 HAS SOUS 39027 HAS SOUPS 37660 WITH SCORE 37752.857
AT ITER 3795 NEW BEST:: SOT 215156 SOS 92851 HAS SOPS 84242 HAS SOUS 39024 HAS SOUPS 37657 WITH SCORE 37749.851
AT ITER 3796 NEW BEST:: SOT 215156 SOS 92777 HAS SOPS 84168 HAS SOUS 39024 HAS SOUPS 37657 WITH SCORE 37749.777
AT ITER 3797 NEW BEST:: SOT 215156 SOS 92755 HAS SOPS 84168 HAS SOUS 39013 HAS SOUPS 37657 WITH SCORE 37749.755
AT ITER 3811 NEW BEST:: SOT 215156 SOS 92765 HAS SOPS 84178 HAS SOUS 39001 HAS SOUPS 37645 WITH SCORE 37737.765
AT ITER 3815 NEW BEST:: SOT 215156 SOS 92753 HAS SOPS 84172 HAS SOUS 38995 HAS SOUPS 37642 WITH SCORE 37734.753
AT ITER 3825 NEW BEST:: SOT 215120 SOS 92717 HAS SOPS 84024 HAS SOUS 38987 HAS SOUPS 37634 WITH SCORE 37726.717
AT ITER 3851 NEW BEST:: SOT 215120 SOS 92689 HAS SOPS 83996 HAS SOUS 38973 HAS SOUPS 37620 WITH SCORE 37712.689
AT ITER 3875 NEW BEST:: SOT 215183 SOS 92752 HAS SOPS 83982 HAS SOUS 38951 HAS SOUPS 37598 WITH SCORE 37690.752
AT ITER 3878 NEW BEST:: SOT 215167 SOS 92736 HAS SOPS 84158 HAS SOUS 38935 HAS SOUPS 37582 WITH SCORE 37674.736
AT ITER 3890 NEW BEST:: SOT 215167 SOS 92534 HAS SOPS 83956 HAS SOUS 38871 HAS SOUPS 37518 WITH SCORE 37610.534
AT ITER 3896 NEW BEST:: SOT 215106 SOS 92466 HAS SOPS 83893 HAS SOUS 38862 HAS SOUPS 37509 WITH SCORE 37601.466
AT ITER 3927 NEW BEST:: SOT 215106 SOS 92570 HAS SOPS 83997 HAS SOUS 38848 HAS SOUPS 37495 WITH SCORE 37587.57
AT ITER 3946 NEW BEST:: SOT 215106 SOS 92534 HAS SOPS 83997 HAS SOUS 38823 HAS SOUPS 37488 WITH SCORE 37580.534
AT ITER 3950 NEW BEST:: SOT 215106 SOS 92750 HAS SOPS 83971 HAS SOUS 38931 HAS SOUPS 37475 WITH SCORE 37567.75
AT ITER 3952 NEW BEST:: SOT 215106 SOS 92670 HAS SOPS 83891 HAS SOUS 38931 HAS SOUPS 37475 WITH SCORE 37567.67
AT ITER 3956 NEW BEST:: SOT 215064 SOS 92575 HAS SOPS 83775 HAS SOUS 38912 HAS SOUPS 37456 WITH SCORE 37548.575
AT ITER 3980 NEW BEST:: SOT 215064 SOS 92447 HAS SOPS 83647 HAS SOUS 38912 HAS SOUPS 37456 WITH SCORE 37548.447
AT ITER 3989 NEW BEST:: SOT 215064 SOS 92574 HAS SOPS 83815 HAS SOUS 38884 HAS SOUPS 37428 WITH SCORE 37520.574
AT ITER 4000 NEW BEST:: SOT 215064 SOS 92698 HAS SOPS 83939 HAS SOUS 38853 HAS SOUPS 37397 WITH SCORE 37489.698
AT ITER 4011 NEW BEST:: SOT 215064 SOS 92770 HAS SOPS 84011 HAS SOUS 38831 HAS SOUPS 37375 WITH SCORE 37467.77
AT ITER 4024 NEW BEST:: SOT 215064 SOS 92760 HAS SOPS 84001 HAS SOUS 38826 HAS SOUPS 37370 WITH SCORE 37462.76
AT ITER 4042 NEW BEST:: SOT 215117 SOS 93503 HAS SOPS 85182 HAS SOUS 38775 HAS SOUPS 37319 WITH SCORE 37412.503
AT ITER 4059 NEW BEST:: SOT 215117 SOS 93483 HAS SOPS 85162 HAS SOUS 38765 HAS SOUPS 37309 WITH SCORE 37402.483
AT ITER 4082 NEW BEST:: SOT 215117 SOS 93465 HAS SOPS 85144 HAS SOUS 38756 HAS SOUPS 37300 WITH SCORE 37393.465
AT ITER 4086 NEW BEST:: SOT 215117 SOS 93473 HAS SOPS 85152 HAS SOUS 38752 HAS SOUPS 37296 WITH SCORE 37389.473
AT ITER 4096 NEW BEST:: SOT 215117 SOS 93277 HAS SOPS 84956 HAS SOUS 38752 HAS SOUPS 37296 WITH SCORE 37389.277
AT ITER 4101 NEW BEST:: SOT 215117 SOS 93249 HAS SOPS 84916 HAS SOUS 38736 HAS SOUPS 37280 WITH SCORE 37373.249
AT ITER 4104 NEW BEST:: SOT 215117 SOS 93201 HAS SOPS 84868 HAS SOUS 38712 HAS SOUPS 37256 WITH SCORE 37349.201
AT ITER 4109 NEW BEST:: SOT 215117 SOS 93167 HAS SOPS 84834 HAS SOUS 38695 HAS SOUPS 37239 WITH SCORE 37332.167
AT ITER 4124 NEW BEST:: SOT 215117 SOS 93127 HAS SOPS 84794 HAS SOUS 38685 HAS SOUPS 37229 WITH SCORE 37322.127
AT ITER 4170 NEW BEST:: SOT 215117 SOS 93106 HAS SOPS 84773 HAS SOUS 38685 HAS SOUPS 37229 WITH SCORE 37322.106
AT ITER 4176 NEW BEST:: SOT 215117 SOS 92968 HAS SOPS 84697 HAS SOUS 38647 HAS SOUPS 37222 WITH SCORE 37314.968
AT ITER 4180 NEW BEST:: SOT 215117 SOS 92876 HAS SOPS 84605 HAS SOUS 38624 HAS SOUPS 37199 WITH SCORE 37291.876
AT ITER 4189 NEW BEST:: SOT 215117 SOS 92862 HAS SOPS 84591 HAS SOUS 38624 HAS SOUPS 37199 WITH SCORE 37291.862
AT ITER 4219 NEW BEST:: SOT 215117 SOS 92869 HAS SOPS 84598 HAS SOUS 38622 HAS SOUPS 37197 WITH SCORE 37289.869
AT ITER 4251 NEW BEST:: SOT 215117 SOS 92861 HAS SOPS 84590 HAS SOUS 38620 HAS SOUPS 37195 WITH SCORE 37287.861
AT ITER 4272 NEW BEST:: SOT 215117 SOS 92833 HAS SOPS 84562 HAS SOUS 38606 HAS SOUPS 37181 WITH SCORE 37273.833
AT ITER 4278 NEW BEST:: SOT 215117 SOS 92867 HAS SOPS 84558 HAS SOUS 38623 HAS SOUPS 37179 WITH SCORE 37271.867
AT ITER 4296 NEW BEST:: SOT 215117 SOS 92849 HAS SOPS 84540 HAS SOUS 38621 HAS SOUPS 37177 WITH SCORE 37269.849
AT ITER 4300 NEW BEST:: SOT 215117 SOS 92833 HAS SOPS 84524 HAS SOUS 38613 HAS SOUPS 37169 WITH SCORE 37261.833
AT ITER 4325 NEW BEST:: SOT 215117 SOS 92793 HAS SOPS 84524 HAS SOUS 38593 HAS SOUPS 37169 WITH SCORE 37261.793
AT ITER 4346 NEW BEST:: SOT 215069 SOS 92697 HAS SOPS 84380 HAS SOUS 38490 HAS SOUPS 37066 WITH SCORE 37158.697
AT ITER 4355 NEW BEST:: SOT 215042 SOS 92670 HAS SOPS 84325 HAS SOUS 38457 HAS SOUPS 37033 WITH SCORE 37125.67
AT ITER 4356 NEW BEST:: SOT 215042 SOS 92474 HAS SOPS 84129 HAS SOUS 38445 HAS SOUPS 37021 WITH SCORE 37113.474
AT ITER 4357 NEW BEST:: SOT 215036 SOS 92468 HAS SOPS 84123 HAS SOUS 38439 HAS SOUPS 37015 WITH SCORE 37107.468
AT ITER 4365 NEW BEST:: SOT 215036 SOS 92564 HAS SOPS 84187 HAS SOUS 38439 HAS SOUPS 36999 WITH SCORE 37091.564
AT ITER 4393 NEW BEST:: SOT 215036 SOS 92550 HAS SOPS 84173 HAS SOUS 38439 HAS SOUPS 36999 WITH SCORE 37091.55
AT ITER 4405 NEW BEST:: SOT 215220 SOS 92734 HAS SOPS 84219 HAS SOUS 38417 HAS SOUPS 36977 WITH SCORE 37069.734
AT ITER 4406 NEW BEST:: SOT 215201 SOS 92715 HAS SOPS 84181 HAS SOUS 38379 HAS SOUPS 36939 WITH SCORE 37031.715
AT ITER 4426 NEW BEST:: SOT 215085 SOS 92747 HAS SOPS 84097 HAS SOUS 38369 HAS SOUPS 36929 WITH SCORE 37021.747
AT ITER 4432 NEW BEST:: SOT 215085 SOS 92731 HAS SOPS 84107 HAS SOUS 38348 HAS SOUPS 36921 WITH SCORE 37013.731
AT ITER 4471 NEW BEST:: SOT 215085 SOS 92999 HAS SOPS 84375 HAS SOUS 38339 HAS SOUPS 36912 WITH SCORE 37004.999
AT ITER 4479 NEW BEST:: SOT 215085 SOS 93007 HAS SOPS 84383 HAS SOUS 38333 HAS SOUPS 36906 WITH SCORE 36999.007
AT ITER 4487 NEW BEST:: SOT 215081 SOS 93003 HAS SOPS 84377 HAS SOUS 38329 HAS SOUPS 36902 WITH SCORE 36995.003
AT ITER 4546 NEW BEST:: SOT 214702 SOS 92624 HAS SOPS 83934 HAS SOUS 37886 HAS SOUPS 36459 WITH SCORE 36551.624
AT ITER 4550 NEW BEST:: SOT 214702 SOS 92830 HAS SOPS 84140 HAS SOUS 37861 HAS SOUPS 36434 WITH SCORE 36526.83
AT ITER 4556 NEW BEST:: SOT 214702 SOS 92538 HAS SOPS 83848 HAS SOUS 37819 HAS SOUPS 36392 WITH SCORE 36484.538
AT ITER 4558 NEW BEST:: SOT 214674 SOS 92510 HAS SOPS 83838 HAS SOUS 37805 HAS SOUPS 36378 WITH SCORE 36470.51
AT ITER 4559 NEW BEST:: SOT 214674 SOS 92512 HAS SOPS 83840 HAS SOUS 37798 HAS SOUPS 36371 WITH SCORE 36463.512
AT ITER 4568 NEW BEST:: SOT 214674 SOS 92440 HAS SOPS 83768 HAS SOUS 37780 HAS SOUPS 36353 WITH SCORE 36445.44
AT ITER 4610 NEW BEST:: SOT 214674 SOS 92394 HAS SOPS 83752 HAS SOUS 37757 HAS SOUPS 36345 WITH SCORE 36437.394
AT ITER 4620 NEW BEST:: SOT 214668 SOS 92388 HAS SOPS 83742 HAS SOUS 37747 HAS SOUPS 36335 WITH SCORE 36427.388
AT ITER 4662 NEW BEST:: SOT 214668 SOS 92370 HAS SOPS 83724 HAS SOUS 37738 HAS SOUPS 36326 WITH SCORE 36418.37
AT ITER 4678 NEW BEST:: SOT 214668 SOS 92368 HAS SOPS 83722 HAS SOUS 37737 HAS SOUPS 36325 WITH SCORE 36417.368
AT ITER 4687 NEW BEST:: SOT 214614 SOS 92314 HAS SOPS 83755 HAS SOUS 37696 HAS SOUPS 36284 WITH SCORE 36376.314
AT ITER 4732 NEW BEST:: SOT 214614 SOS 92314 HAS SOPS 83755 HAS SOUS 37692 HAS SOUPS 36280 WITH SCORE 36372.314
AT ITER 4736 NEW BEST:: SOT 214614 SOS 92300 HAS SOPS 83741 HAS SOUS 37678 HAS SOUPS 36266 WITH SCORE 36358.3
AT ITER 4749 NEW BEST:: SOT 214614 SOS 92284 HAS SOPS 83725 HAS SOUS 37670 HAS SOUPS 36258 WITH SCORE 36350.284
AT ITER 4770 NEW BEST:: SOT 214614 SOS 92280 HAS SOPS 83721 HAS SOUS 37670 HAS SOUPS 36258 WITH SCORE 36350.28
AT ITER 4782 NEW BEST:: SOT 214614 SOS 92272 HAS SOPS 83713 HAS SOUS 37666 HAS SOUPS 36254 WITH SCORE 36346.272
AT ITER 4795 NEW BEST:: SOT 214614 SOS 92260 HAS SOPS 83701 HAS SOUS 37660 HAS SOUPS 36248 WITH SCORE 36340.26
AT ITER 4803 NEW BEST:: SOT 214614 SOS 92250 HAS SOPS 83691 HAS SOUS 37655 HAS SOUPS 36243 WITH SCORE 36335.25
AT ITER 4809 NEW BEST:: SOT 214614 SOS 92246 HAS SOPS 83687 HAS SOUS 37653 HAS SOUPS 36241 WITH SCORE 36333.246
AT ITER 4816 NEW BEST:: SOT 214614 SOS 92230 HAS SOPS 83671 HAS SOUS 37645 HAS SOUPS 36233 WITH SCORE 36325.23
AT ITER 4825 NEW BEST:: SOT 214614 SOS 92122 HAS SOPS 83563 HAS SOUS 37642 HAS SOUPS 36230 WITH SCORE 36322.122
AT ITER 4859 NEW BEST:: SOT 214614 SOS 92107 HAS SOPS 83548 HAS SOUS 37627 HAS SOUPS 36215 WITH SCORE 36307.107
AT ITER 4866 NEW BEST:: SOT 214616 SOS 92123 HAS SOPS 83564 HAS SOUS 37608 HAS SOUPS 36196 WITH SCORE 36288.123
AT ITER 4883 NEW BEST:: SOT 214616 SOS 92013 HAS SOPS 83454 HAS SOUS 37608 HAS SOUPS 36196 WITH SCORE 36288.013
AT ITER 4885 NEW BEST:: SOT 214616 SOS 91905 HAS SOPS 83346 HAS SOUS 37608 HAS SOUPS 36196 WITH SCORE 36287.905
AT ITER 4905 NEW BEST:: SOT 214616 SOS 91903 HAS SOPS 83344 HAS SOUS 37588 HAS SOUPS 36176 WITH SCORE 36267.903
AT ITER 4909 NEW BEST:: SOT 214616 SOS 91889 HAS SOPS 83330 HAS SOUS 37581 HAS SOUPS 36169 WITH SCORE 36260.889
AT ITER 4926 NEW BEST:: SOT 214603 SOS 91712 HAS SOPS 83117 HAS SOUS 37540 HAS SOUPS 36128 WITH SCORE 36219.712
AT ITER 4937 NEW BEST:: SOT 214603 SOS 91540 HAS SOPS 83027 HAS SOUS 37499 HAS SOUPS 36128 WITH SCORE 36219.54
AT ITER 4944 NEW BEST:: SOT 214603 SOS 91562 HAS SOPS 83049 HAS SOUS 37485 HAS SOUPS 36114 WITH SCORE 36205.562
AT ITER 4962 NEW BEST:: SOT 214603 SOS 91746 HAS SOPS 83233 HAS SOUS 37472 HAS SOUPS 36101 WITH SCORE 36192.746
AT ITER 4966 NEW BEST:: SOT 214603 SOS 91552 HAS SOPS 83039 HAS SOUS 37448 HAS SOUPS 36077 WITH SCORE 36168.552
AT ITER 4974 NEW BEST:: SOT 214603 SOS 91538 HAS SOPS 83025 HAS SOUS 37423 HAS SOUPS 36052 WITH SCORE 36143.538
AT ITER 4995 NEW BEST:: SOT 214543 SOS 91493 HAS SOPS 82967 HAS SOUS 37380 HAS SOUPS 36002 WITH SCORE 36093.493
AT ITER 5012 NEW BEST:: SOT 214543 SOS 91493 HAS SOPS 82967 HAS SOUS 37376 HAS SOUPS 35998 WITH SCORE 36089.493
AT ITER 5022 NEW BEST:: SOT 214543 SOS 91485 HAS SOPS 82959 HAS SOUS 37361 HAS SOUPS 35983 WITH SCORE 36074.485
AT ITER 5033 NEW BEST:: SOT 214543 SOS 91595 HAS SOPS 83009 HAS SOUS 37386 HAS SOUPS 35978 WITH SCORE 36069.595
AT ITER 5036 NEW BEST:: SOT 214543 SOS 91507 HAS SOPS 82921 HAS SOUS 37386 HAS SOUPS 35978 WITH SCORE 36069.507
AT ITER 5046 NEW BEST:: SOT 214543 SOS 91355 HAS SOPS 82769 HAS SOUS 37341 HAS SOUPS 35933 WITH SCORE 36024.355
AT ITER 5049 NEW BEST:: SOT 214515 SOS 91327 HAS SOPS 82749 HAS SOUS 37313 HAS SOUPS 35905 WITH SCORE 35996.327
AT ITER 5050 NEW BEST:: SOT 214515 SOS 91303 HAS SOPS 82725 HAS SOUS 37313 HAS SOUPS 35905 WITH SCORE 35996.303
AT ITER 5057 NEW BEST:: SOT 214515 SOS 91267 HAS SOPS 82707 HAS SOUS 37295 HAS SOUPS 35896 WITH SCORE 35987.267
AT ITER 5061 NEW BEST:: SOT 214515 SOS 91167 HAS SOPS 82607 HAS SOUS 37295 HAS SOUPS 35896 WITH SCORE 35987.167
AT ITER 5082 NEW BEST:: SOT 214515 SOS 91143 HAS SOPS 82583 HAS SOUS 37283 HAS SOUPS 35884 WITH SCORE 35975.143
AT ITER 5093 NEW BEST:: SOT 214504 SOS 91132 HAS SOPS 82572 HAS SOUS 37283 HAS SOUPS 35884 WITH SCORE 35975.132
AT ITER 5110 NEW BEST:: SOT 214504 SOS 91126 HAS SOPS 82566 HAS SOUS 37280 HAS SOUPS 35881 WITH SCORE 35972.126
AT ITER 5139 NEW BEST:: SOT 214504 SOS 91110 HAS SOPS 82550 HAS SOUS 37252 HAS SOUPS 35853 WITH SCORE 35944.11
AT ITER 5161 NEW BEST:: SOT 214472 SOS 90399 HAS SOPS 81310 HAS SOUS 37236 HAS SOUPS 35837 WITH SCORE 35927.399
AT ITER 5164 NEW BEST:: SOT 214472 SOS 90299 HAS SOPS 81210 HAS SOUS 37223 HAS SOUPS 35824 WITH SCORE 35914.299
AT ITER 5182 NEW BEST:: SOT 214472 SOS 90043 HAS SOPS 80954 HAS SOUS 37215 HAS SOUPS 35816 WITH SCORE 35906.043
AT ITER 5302 NEW BEST:: SOT 214472 SOS 90015 HAS SOPS 80926 HAS SOUS 37200 HAS SOUPS 35801 WITH SCORE 35891.015
AT ITER 5319 NEW BEST:: SOT 214472 SOS 90015 HAS SOPS 80912 HAS SOUS 37200 HAS SOUPS 35794 WITH SCORE 35884.015
AT ITER 5360 NEW BEST:: SOT 214472 SOS 90009 HAS SOPS 80906 HAS SOUS 37197 HAS SOUPS 35791 WITH SCORE 35881.009
AT ITER 5408 NEW BEST:: SOT 214472 SOS 90009 HAS SOPS 80906 HAS SOUS 37154 HAS SOUPS 35748 WITH SCORE 35838.009
AT ITER 5421 NEW BEST:: SOT 214472 SOS 90004 HAS SOPS 80901 HAS SOUS 37153 HAS SOUPS 35747 WITH SCORE 35837.004
AT ITER 5442 NEW BEST:: SOT 214472 SOS 90002 HAS SOPS 80899 HAS SOUS 37152 HAS SOUPS 35746 WITH SCORE 35836.002
AT ITER 5478 NEW BEST:: SOT 214472 SOS 90006 HAS SOPS 80903 HAS SOUS 37151 HAS SOUPS 35745 WITH SCORE 35835.006
AT ITER 5505 NEW BEST:: SOT 214472 SOS 90006 HAS SOPS 80879 HAS SOUS 37139 HAS SOUPS 35733 WITH SCORE 35823.006
AT ITER 5507 NEW BEST:: SOT 214472 SOS 90006 HAS SOPS 80883 HAS SOUS 37137 HAS SOUPS 35731 WITH SCORE 35821.006
AT ITER 5518 NEW BEST:: SOT 214472 SOS 89984 HAS SOPS 80861 HAS SOUS 37126 HAS SOUPS 35720 WITH SCORE 35809.984
AT ITER 5552 NEW BEST:: SOT 214402 SOS 90015 HAS SOPS 80857 HAS SOUS 37122 HAS SOUPS 35716 WITH SCORE 35806.015
AT ITER 5599 NEW BEST:: SOT 214402 SOS 89883 HAS SOPS 80665 HAS SOUS 37105 HAS SOUPS 35669 WITH SCORE 35758.883
AT ITER 5608 NEW BEST:: SOT 214402 SOS 89877 HAS SOPS 80659 HAS SOUS 37105 HAS SOUPS 35669 WITH SCORE 35758.877
AT ITER 5615 NEW BEST:: SOT 214402 SOS 89875 HAS SOPS 80657 HAS SOUS 37098 HAS SOUPS 35662 WITH SCORE 35751.875
AT ITER 5677 NEW BEST:: SOT 214402 SOS 89925 HAS SOPS 80707 HAS SOUS 37063 HAS SOUPS 35627 WITH SCORE 35716.925
AT ITER 5679 NEW BEST:: SOT 214402 SOS 89921 HAS SOPS 80703 HAS SOUS 37063 HAS SOUPS 35627 WITH SCORE 35716.921
AT ITER 5689 NEW BEST:: SOT 214442 SOS 89961 HAS SOPS 80655 HAS SOUS 37039 HAS SOUPS 35603 WITH SCORE 35692.961
AT ITER 5707 NEW BEST:: SOT 214472 SOS 90006 HAS SOPS 80725 HAS SOUS 37006 HAS SOUPS 35579 WITH SCORE 35669.006
AT ITER 5734 NEW BEST:: SOT 214472 SOS 89966 HAS SOPS 80685 HAS SOUS 36986 HAS SOUPS 35559 WITH SCORE 35648.966
AT ITER 5747 NEW BEST:: SOT 214472 SOS 90020 HAS SOPS 80681 HAS SOUS 36984 HAS SOUPS 35528 WITH SCORE 35618.02
AT ITER 5752 NEW BEST:: SOT 214472 SOS 89980 HAS SOPS 80641 HAS SOUS 36984 HAS SOUPS 35528 WITH SCORE 35617.98
AT ITER 5788 NEW BEST:: SOT 214472 SOS 89978 HAS SOPS 80639 HAS SOUS 36983 HAS SOUPS 35527 WITH SCORE 35616.978
AT ITER 5817 NEW BEST:: SOT 214472 SOS 89954 HAS SOPS 80615 HAS SOUS 36971 HAS SOUPS 35515 WITH SCORE 35604.954
AT ITER 5825 NEW BEST:: SOT 214472 SOS 89942 HAS SOPS 80603 HAS SOUS 36968 HAS SOUPS 35512 WITH SCORE 35601.942
AT ITER 5834 NEW BEST:: SOT 214475 SOS 89952 HAS SOPS 80616 HAS SOUS 36959 HAS SOUPS 35503 WITH SCORE 35592.952
AT ITER 5846 NEW BEST:: SOT 214475 SOS 89948 HAS SOPS 80612 HAS SOUS 36953 HAS SOUPS 35497 WITH SCORE 35586.948
AT ITER 5859 NEW BEST:: SOT 214465 SOS 89938 HAS SOPS 80592 HAS SOUS 36933 HAS SOUPS 35477 WITH SCORE 35566.938
AT ITER 5862 NEW BEST:: SOT 214465 SOS 89924 HAS SOPS 80560 HAS SOUS 36940 HAS SOUPS 35475 WITH SCORE 35564.924
AT ITER 5865 NEW BEST:: SOT 214465 SOS 89920 HAS SOPS 80560 HAS SOUS 36938 HAS SOUPS 35475 WITH SCORE 35564.92
AT ITER 5868 NEW BEST:: SOT 214465 SOS 89920 HAS SOPS 80560 HAS SOUS 36934 HAS SOUPS 35471 WITH SCORE 35560.92
AT ITER 5879 NEW BEST:: SOT 214465 SOS 89900 HAS SOPS 80540 HAS SOUS 36924 HAS SOUPS 35461 WITH SCORE 35550.9
AT ITER 5881 NEW BEST:: SOT 214465 SOS 89882 HAS SOPS 80522 HAS SOUS 36924 HAS SOUPS 35461 WITH SCORE 35550.882
AT ITER 5882 NEW BEST:: SOT 214465 SOS 89864 HAS SOPS 80504 HAS SOUS 36915 HAS SOUPS 35452 WITH SCORE 35541.864
AT ITER 5924 NEW BEST:: SOT 214465 SOS 89854 HAS SOPS 80426 HAS SOUS 36944 HAS SOUPS 35447 WITH SCORE 35536.854
AT ITER 5926 NEW BEST:: SOT 214428 SOS 90095 HAS SOPS 80667 HAS SOUS 36903 HAS SOUPS 35406 WITH SCORE 35496.095
AT ITER 5933 NEW BEST:: SOT 214428 SOS 90103 HAS SOPS 80675 HAS SOUS 36899 HAS SOUPS 35402 WITH SCORE 35492.103
AT ITER 5960 NEW BEST:: SOT 214428 SOS 90095 HAS SOPS 80667 HAS SOUS 36895 HAS SOUPS 35398 WITH SCORE 35488.095
AT ITER 5961 NEW BEST:: SOT 214428 SOS 90117 HAS SOPS 80689 HAS SOUS 36882 HAS SOUPS 35385 WITH SCORE 35475.117
AT ITER 5965 NEW BEST:: SOT 214374 SOS 90076 HAS SOPS 80659 HAS SOUS 36882 HAS SOUPS 35385 WITH SCORE 35475.076
AT ITER 5978 NEW BEST:: SOT 214374 SOS 90022 HAS SOPS 80605 HAS SOUS 36882 HAS SOUPS 35385 WITH SCORE 35475.022
AT ITER 5983 NEW BEST:: SOT 214374 SOS 89996 HAS SOPS 80579 HAS SOUS 36882 HAS SOUPS 35385 WITH SCORE 35474.996
AT ITER 5984 NEW BEST:: SOT 214374 SOS 89974 HAS SOPS 80557 HAS SOUS 36871 HAS SOUPS 35374 WITH SCORE 35463.974
AT ITER 6009 NEW BEST:: SOT 214374 SOS 89970 HAS SOPS 80553 HAS SOUS 36865 HAS SOUPS 35368 WITH SCORE 35457.97
AT ITER 6013 NEW BEST:: SOT 214374 SOS 89902 HAS SOPS 80545 HAS SOUS 36835 HAS SOUPS 35368 WITH SCORE 35457.902
AT ITER 6026 NEW BEST:: SOT 214374 SOS 89890 HAS SOPS 80533 HAS SOUS 36832 HAS SOUPS 35365 WITH SCORE 35454.89
AT ITER 6031 NEW BEST:: SOT 214368 SOS 89884 HAS SOPS 80537 HAS SOUS 36832 HAS SOUPS 35365 WITH SCORE 35454.884
AT ITER 6044 NEW BEST:: SOT 214367 SOS 89883 HAS SOPS 80536 HAS SOUS 36827 HAS SOUPS 35360 WITH SCORE 35449.883
AT ITER 6045 NEW BEST:: SOT 214367 SOS 89735 HAS SOPS 80388 HAS SOUS 36827 HAS SOUPS 35360 WITH SCORE 35449.735
AT ITER 6056 NEW BEST:: SOT 214367 SOS 89725 HAS SOPS 80378 HAS SOUS 36822 HAS SOUPS 35355 WITH SCORE 35444.725
AT ITER 6075 NEW BEST:: SOT 214369 SOS 89727 HAS SOPS 80382 HAS SOUS 36814 HAS SOUPS 35347 WITH SCORE 35436.727
AT ITER 6086 NEW BEST:: SOT 214369 SOS 89699 HAS SOPS 80354 HAS SOUS 36750 HAS SOUPS 35283 WITH SCORE 35372.699
AT ITER 6135 NEW BEST:: SOT 214369 SOS 89689 HAS SOPS 80344 HAS SOUS 36736 HAS SOUPS 35269 WITH SCORE 35358.689
AT ITER 6159 NEW BEST:: SOT 214369 SOS 89719 HAS SOPS 80374 HAS SOUS 36707 HAS SOUPS 35240 WITH SCORE 35329.719
AT ITER 6200 NEW BEST:: SOT 214369 SOS 89703 HAS SOPS 80358 HAS SOUS 36699 HAS SOUPS 35232 WITH SCORE 35321.703
AT ITER 6225 NEW BEST:: SOT 214369 SOS 89703 HAS SOPS 80358 HAS SOUS 36681 HAS SOUPS 35214 WITH SCORE 35303.703
AT ITER 6239 NEW BEST:: SOT 214369 SOS 89657 HAS SOPS 80312 HAS SOUS 36658 HAS SOUPS 35191 WITH SCORE 35280.657
AT ITER 6272 NEW BEST:: SOT 214365 SOS 89653 HAS SOPS 80308 HAS SOUS 36654 HAS SOUPS 35187 WITH SCORE 35276.653
AT ITER 6273 NEW BEST:: SOT 214332 SOS 89570 HAS SOPS 80204 HAS SOUS 36608 HAS SOUPS 35141 WITH SCORE 35230.57
AT ITER 6292 NEW BEST:: SOT 214332 SOS 89578 HAS SOPS 80170 HAS SOUS 36612 HAS SOUPS 35124 WITH SCORE 35213.578
AT ITER 6323 NEW BEST:: SOT 214332 SOS 89577 HAS SOPS 80148 HAS SOUS 36612 HAS SOUPS 35124 WITH SCORE 35213.577
AT ITER 6326 NEW BEST:: SOT 214332 SOS 89563 HAS SOPS 80134 HAS SOUS 36605 HAS SOUPS 35117 WITH SCORE 35206.563
AT ITER 6356 NEW BEST:: SOT 214123 SOS 89362 HAS SOPS 79947 HAS SOUS 36503 HAS SOUPS 35005 WITH SCORE 35094.362
AT ITER 6362 NEW BEST:: SOT 214123 SOS 89174 HAS SOPS 79759 HAS SOUS 36503 HAS SOUPS 35005 WITH SCORE 35094.174
AT ITER 6364 NEW BEST:: SOT 214137 SOS 89188 HAS SOPS 79679 HAS SOUS 36479 HAS SOUPS 34981 WITH SCORE 35070.188
AT ITER 6370 NEW BEST:: SOT 214137 SOS 89150 HAS SOPS 79687 HAS SOUS 36455 HAS SOUPS 34980 WITH SCORE 35069.15
AT ITER 6383 NEW BEST:: SOT 214137 SOS 89154 HAS SOPS 79691 HAS SOUS 36454 HAS SOUPS 34979 WITH SCORE 35068.154
AT ITER 6398 NEW BEST:: SOT 214137 SOS 89388 HAS SOPS 79925 HAS SOUS 36404 HAS SOUPS 34929 WITH SCORE 35018.388
AT ITER 6424 NEW BEST:: SOT 214137 SOS 89384 HAS SOPS 79921 HAS SOUS 36402 HAS SOUPS 34927 WITH SCORE 35016.384
AT ITER 6443 NEW BEST:: SOT 214137 SOS 89380 HAS SOPS 79917 HAS SOUS 36400 HAS SOUPS 34925 WITH SCORE 35014.38
AT ITER 6480 NEW BEST:: SOT 214137 SOS 89416 HAS SOPS 79909 HAS SOUS 36418 HAS SOUPS 34921 WITH SCORE 35010.416
AT ITER 6562 NEW BEST:: SOT 214137 SOS 89358 HAS SOPS 79851 HAS SOUS 36409 HAS SOUPS 34912 WITH SCORE 35001.358
AT ITER 6592 NEW BEST:: SOT 214137 SOS 89342 HAS SOPS 79835 HAS SOUS 36398 HAS SOUPS 34901 WITH SCORE 34990.342
AT ITER 6605 NEW BEST:: SOT 214137 SOS 89318 HAS SOPS 79811 HAS SOUS 36386 HAS SOUPS 34889 WITH SCORE 34978.318
AT ITER 6606 NEW BEST:: SOT 214137 SOS 89318 HAS SOPS 79811 HAS SOUS 36379 HAS SOUPS 34882 WITH SCORE 34971.318
AT ITER 6668 NEW BEST:: SOT 214137 SOS 89314 HAS SOPS 79807 HAS SOUS 36378 HAS SOUPS 34881 WITH SCORE 34970.314
AT ITER 6763 NEW BEST:: SOT 214137 SOS 89300 HAS SOPS 79793 HAS SOUS 36378 HAS SOUPS 34881 WITH SCORE 34970.3
AT ITER 6780 NEW BEST:: SOT 214137 SOS 89294 HAS SOPS 79787 HAS SOUS 36378 HAS SOUPS 34881 WITH SCORE 34970.294
AT ITER 6873 NEW BEST:: SOT 214135 SOS 89292 HAS SOPS 79783 HAS SOUS 36374 HAS SOUPS 34877 WITH SCORE 34966.292
AT ITER 6889 NEW BEST:: SOT 214123 SOS 89280 HAS SOPS 79747 HAS SOUS 36350 HAS SOUPS 34853 WITH SCORE 34942.28
AT ITER 6956 NEW BEST:: SOT 214123 SOS 89352 HAS SOPS 79819 HAS SOUS 36347 HAS SOUPS 34850 WITH SCORE 34939.352
AT ITER 6959 NEW BEST:: SOT 214123 SOS 89340 HAS SOPS 79795 HAS SOUS 36347 HAS SOUPS 34844 WITH SCORE 34933.34
AT ITER 6960 NEW BEST:: SOT 214123 SOS 89274 HAS SOPS 79729 HAS SOUS 36347 HAS SOUPS 34844 WITH SCORE 34933.274
AT ITER 6971 NEW BEST:: SOT 214123 SOS 89266 HAS SOPS 79729 HAS SOUS 36339 HAS SOUPS 34840 WITH SCORE 34929.266
AT ITER 6979 NEW BEST:: SOT 214088 SOS 89231 HAS SOPS 79704 HAS SOUS 36314 HAS SOUPS 34815 WITH SCORE 34904.231
AT ITER 6996 NEW BEST:: SOT 214088 SOS 89258 HAS SOPS 79663 HAS SOUS 36315 HAS SOUPS 34782 WITH SCORE 34871.258
AT ITER 7006 NEW BEST:: SOT 214088 SOS 89244 HAS SOPS 79649 HAS SOUS 36308 HAS SOUPS 34775 WITH SCORE 34864.244
AT ITER 7045 NEW BEST:: SOT 214088 SOS 89134 HAS SOPS 79539 HAS SOUS 36295 HAS SOUPS 34762 WITH SCORE 34851.134
AT ITER 7052 NEW BEST:: SOT 214073 SOS 89258 HAS SOPS 79648 HAS SOUS 36264 HAS SOUPS 34731 WITH SCORE 34820.258
AT ITER 7099 NEW BEST:: SOT 214073 SOS 89246 HAS SOPS 79636 HAS SOUS 36258 HAS SOUPS 34725 WITH SCORE 34814.246
AT ITER 7106 NEW BEST:: SOT 214073 SOS 89282 HAS SOPS 79672 HAS SOUS 36231 HAS SOUPS 34698 WITH SCORE 34787.282
AT ITER 7162 NEW BEST:: SOT 214073 SOS 89268 HAS SOPS 79658 HAS SOUS 36224 HAS SOUPS 34691 WITH SCORE 34780.268
AT ITER 7163 NEW BEST:: SOT 214073 SOS 89376 HAS SOPS 79766 HAS SOUS 36223 HAS SOUPS 34690 WITH SCORE 34779.376
AT ITER 7201 NEW BEST:: SOT 214048 SOS 89249 HAS SOPS 79543 HAS SOUS 36145 HAS SOUPS 34585 WITH SCORE 34674.249
AT ITER 7261 NEW BEST:: SOT 214055 SOS 89256 HAS SOPS 79515 HAS SOUS 36138 HAS SOUPS 34578 WITH SCORE 34667.256
AT ITER 7262 NEW BEST:: SOT 214022 SOS 89135 HAS SOPS 79536 HAS SOUS 36041 HAS SOUPS 34529 WITH SCORE 34618.135
AT ITER 7294 NEW BEST:: SOT 214022 SOS 89135 HAS SOPS 79534 HAS SOUS 36037 HAS SOUPS 34525 WITH SCORE 34614.135
AT ITER 7301 NEW BEST:: SOT 214022 SOS 89135 HAS SOPS 79534 HAS SOUS 36023 HAS SOUPS 34511 WITH SCORE 34600.135
AT ITER 7354 NEW BEST:: SOT 214022 SOS 89157 HAS SOPS 79556 HAS SOUS 36015 HAS SOUPS 34503 WITH SCORE 34592.157
AT ITER 7359 NEW BEST:: SOT 214022 SOS 89167 HAS SOPS 79566 HAS SOUS 36013 HAS SOUPS 34501 WITH SCORE 34590.167
AT ITER 7370 NEW BEST:: SOT 214022 SOS 89107 HAS SOPS 79506 HAS SOUS 36004 HAS SOUPS 34492 WITH SCORE 34581.107
AT ITER 7378 NEW BEST:: SOT 214058 SOS 89143 HAS SOPS 79550 HAS SOUS 35976 HAS SOUPS 34464 WITH SCORE 34553.143
AT ITER 7402 NEW BEST:: SOT 214060 SOS 89021 HAS SOPS 79428 HAS SOUS 35960 HAS SOUPS 34448 WITH SCORE 34537.021
AT ITER 7419 NEW BEST:: SOT 214060 SOS 89048 HAS SOPS 79455 HAS SOUS 35959 HAS SOUPS 34447 WITH SCORE 34536.048
AT ITER 7438 NEW BEST:: SOT 214060 SOS 89012 HAS SOPS 79419 HAS SOUS 35959 HAS SOUPS 34447 WITH SCORE 34536.012
AT ITER 7450 NEW BEST:: SOT 214060 SOS 89070 HAS SOPS 79477 HAS SOUS 35946 HAS SOUPS 34434 WITH SCORE 34523.07
AT ITER 7530 NEW BEST:: SOT 214060 SOS 89060 HAS SOPS 79467 HAS SOUS 35946 HAS SOUPS 34434 WITH SCORE 34523.06
AT ITER 7555 NEW BEST:: SOT 214055 SOS 89117 HAS SOPS 79430 HAS SOUS 35989 HAS SOUPS 34429 WITH SCORE 34518.117
AT ITER 7622 NEW BEST:: SOT 214055 SOS 89123 HAS SOPS 79436 HAS SOUS 35983 HAS SOUPS 34423 WITH SCORE 34512.123
AT ITER 7665 NEW BEST:: SOT 214055 SOS 89125 HAS SOPS 79436 HAS SOUS 35983 HAS SOUPS 34422 WITH SCORE 34511.125
AT ITER 7687 NEW BEST:: SOT 214055 SOS 89141 HAS SOPS 79452 HAS SOUS 35982 HAS SOUPS 34421 WITH SCORE 34510.141
AT ITER 7701 NEW BEST:: SOT 214055 SOS 89137 HAS SOPS 79452 HAS SOUS 35980 HAS SOUPS 34421 WITH SCORE 34510.137
AT ITER 7725 NEW BEST:: SOT 214055 SOS 89145 HAS SOPS 79460 HAS SOUS 35976 HAS SOUPS 34417 WITH SCORE 34506.145
AT ITER 7749 NEW BEST:: SOT 214055 SOS 89137 HAS SOPS 79452 HAS SOUS 35976 HAS SOUPS 34417 WITH SCORE 34506.137
AT ITER 7762 NEW BEST:: SOT 214055 SOS 89069 HAS SOPS 79384 HAS SOUS 35964 HAS SOUPS 34405 WITH SCORE 34494.069
AT ITER 7771 NEW BEST:: SOT 214055 SOS 89037 HAS SOPS 79352 HAS SOUS 35962 HAS SOUPS 34403 WITH SCORE 34492.037
AT ITER 7831 NEW BEST:: SOT 214055 SOS 88655 HAS SOPS 78970 HAS SOUS 35937 HAS SOUPS 34378 WITH SCORE 34466.655
AT ITER 7887 NEW BEST:: SOT 214055 SOS 88543 HAS SOPS 78914 HAS SOUS 35881 HAS SOUPS 34350 WITH SCORE 34438.543
AT ITER 7889 NEW BEST:: SOT 214057 SOS 88545 HAS SOPS 78858 HAS SOUS 35871 HAS SOUPS 34340 WITH SCORE 34428.545
AT ITER 7905 NEW BEST:: SOT 211026 SOS 86977 HAS SOPS 75921 HAS SOUS 35285 HAS SOUPS 33794 WITH SCORE 33880.977
AT ITER 7920 NEW BEST:: SOT 210892 SOS 86891 HAS SOPS 75747 HAS SOUS 35147 HAS SOUPS 33628 WITH SCORE 33714.891
AT ITER 7964 NEW BEST:: SOT 210892 SOS 86883 HAS SOPS 75739 HAS SOUS 35143 HAS SOUPS 33624 WITH SCORE 33710.883
AT ITER 8003 NEW BEST:: SOT 210892 SOS 86803 HAS SOPS 75659 HAS SOUS 35143 HAS SOUPS 33624 WITH SCORE 33710.803
AT ITER 8038 NEW BEST:: SOT 210892 SOS 86801 HAS SOPS 75657 HAS SOUS 35142 HAS SOUPS 33623 WITH SCORE 33709.801
AT ITER 8075 NEW BEST:: SOT 210892 SOS 86879 HAS SOPS 75735 HAS SOUS 35139 HAS SOUPS 33620 WITH SCORE 33706.879
AT ITER 8118 NEW BEST:: SOT 210892 SOS 86867 HAS SOPS 75723 HAS SOUS 35139 HAS SOUPS 33620 WITH SCORE 33706.867
AT ITER 8154 NEW BEST:: SOT 210892 SOS 86861 HAS SOPS 75717 HAS SOUS 35136 HAS SOUPS 33617 WITH SCORE 33703.861
AT ITER 8166 NEW BEST:: SOT 210892 SOS 86739 HAS SOPS 75595 HAS SOUS 35089 HAS SOUPS 33570 WITH SCORE 33656.739
AT ITER 8176 NEW BEST:: SOT 210885 SOS 86739 HAS SOPS 75588 HAS SOUS 35082 HAS SOUPS 33563 WITH SCORE 33649.739
AT ITER 8203 NEW BEST:: SOT 210885 SOS 86730 HAS SOPS 75579 HAS SOUS 35076 HAS SOUPS 33557 WITH SCORE 33643.73
AT ITER 8249 NEW BEST:: SOT 210885 SOS 86826 HAS SOPS 75725 HAS SOUS 35046 HAS SOUPS 33552 WITH SCORE 33638.826
AT ITER 8275 NEW BEST:: SOT 210885 SOS 86804 HAS SOPS 75703 HAS SOUS 35035 HAS SOUPS 33541 WITH SCORE 33627.804
AT ITER 8311 NEW BEST:: SOT 210885 SOS 86828 HAS SOPS 75727 HAS SOUS 35027 HAS SOUPS 33533 WITH SCORE 33619.828
AT ITER 8358 NEW BEST:: SOT 210885 SOS 86820 HAS SOPS 75719 HAS SOUS 35023 HAS SOUPS 33529 WITH SCORE 33615.82
AT ITER 8383 NEW BEST:: SOT 210885 SOS 86790 HAS SOPS 75705 HAS SOUS 35008 HAS SOUPS 33522 WITH SCORE 33608.79
AT ITER 8410 NEW BEST:: SOT 210885 SOS 86790 HAS SOPS 75705 HAS SOUS 35006 HAS SOUPS 33520 WITH SCORE 33606.79
AT ITER 8450 NEW BEST:: SOT 210885 SOS 86776 HAS SOPS 75691 HAS SOUS 35006 HAS SOUPS 33520 WITH SCORE 33606.776
AT ITER 8504 NEW BEST:: SOT 210885 SOS 86760 HAS SOPS 75675 HAS SOUS 35002 HAS SOUPS 33516 WITH SCORE 33602.76
AT ITER 8510 NEW BEST:: SOT 210885 SOS 86756 HAS SOPS 75675 HAS SOUS 35000 HAS SOUPS 33516 WITH SCORE 33602.756
AT ITER 8519 NEW BEST:: SOT 210885 SOS 86752 HAS SOPS 75675 HAS SOUS 34998 HAS SOUPS 33516 WITH SCORE 33602.752
AT ITER 8542 NEW BEST:: SOT 210885 SOS 86746 HAS SOPS 75669 HAS SOUS 34995 HAS SOUPS 33513 WITH SCORE 33599.746
AT ITER 8588 NEW BEST:: SOT 210885 SOS 86482 HAS SOPS 75405 HAS SOUS 34993 HAS SOUPS 33511 WITH SCORE 33597.482
AT ITER 8590 NEW BEST:: SOT 210836 SOS 86436 HAS SOPS 75366 HAS SOUS 34926 HAS SOUPS 33451 WITH SCORE 33537.436
AT ITER 8680 NEW BEST:: SOT 210836 SOS 85762 HAS SOPS 74692 HAS SOUS 34917 HAS SOUPS 33442 WITH SCORE 33527.762
AT ITER 8686 NEW BEST:: SOT 210836 SOS 85740 HAS SOPS 74670 HAS SOUS 34917 HAS SOUPS 33442 WITH SCORE 33527.74
AT ITER 8691 NEW BEST:: SOT 210836 SOS 85738 HAS SOPS 74668 HAS SOUS 34916 HAS SOUPS 33441 WITH SCORE 33526.738
AT ITER 8693 NEW BEST:: SOT 210836 SOS 85602 HAS SOPS 74600 HAS SOUS 34848 HAS SOUPS 33407 WITH SCORE 33492.602
AT ITER 8729 NEW BEST:: SOT 210836 SOS 85578 HAS SOPS 74576 HAS SOUS 34836 HAS SOUPS 33395 WITH SCORE 33480.578
AT ITER 8733 NEW BEST:: SOT 210832 SOS 85574 HAS SOPS 74576 HAS SOUS 34824 HAS SOUPS 33383 WITH SCORE 33468.574
AT ITER 8854 NEW BEST:: SOT 210832 SOS 85544 HAS SOPS 74546 HAS SOUS 34818 HAS SOUPS 33377 WITH SCORE 33462.544
AT ITER 8862 NEW BEST:: SOT 210832 SOS 85570 HAS SOPS 74540 HAS SOUS 34815 HAS SOUPS 33358 WITH SCORE 33443.57
AT ITER 8887 NEW BEST:: SOT 210832 SOS 85568 HAS SOPS 74538 HAS SOUS 34814 HAS SOUPS 33357 WITH SCORE 33442.568
AT ITER 8896 NEW BEST:: SOT 210832 SOS 85560 HAS SOPS 74530 HAS SOUS 34814 HAS SOUPS 33357 WITH SCORE 33442.56
AT ITER 8903 NEW BEST:: SOT 210832 SOS 85468 HAS SOPS 74438 HAS SOUS 34791 HAS SOUPS 33334 WITH SCORE 33419.468
AT ITER 8929 NEW BEST:: SOT 210832 SOS 85456 HAS SOPS 74426 HAS SOUS 34788 HAS SOUPS 33331 WITH SCORE 33416.456
AT ITER 8994 NEW BEST:: SOT 210811 SOS 84910 HAS SOPS 73775 HAS SOUS 34786 HAS SOUPS 33329 WITH SCORE 33413.91
AT ITER 9006 NEW BEST:: SOT 210811 SOS 84894 HAS SOPS 73759 HAS SOUS 34778 HAS SOUPS 33321 WITH SCORE 33405.894
AT ITER 9021 NEW BEST:: SOT 210811 SOS 84888 HAS SOPS 73753 HAS SOUS 34778 HAS SOUPS 33321 WITH SCORE 33405.888
AT ITER 9028 NEW BEST:: SOT 210812 SOS 84870 HAS SOPS 73724 HAS SOUS 34763 HAS SOUPS 33306 WITH SCORE 33390.87
AT ITER 9073 NEW BEST:: SOT 210808 SOS 84866 HAS SOPS 73704 HAS SOUS 34757 HAS SOUPS 33300 WITH SCORE 33384.866
AT ITER 9147 NEW BEST:: SOT 210808 SOS 84878 HAS SOPS 73716 HAS SOUS 34741 HAS SOUPS 33284 WITH SCORE 33368.878
AT ITER 9148 NEW BEST:: SOT 210802 SOS 84896 HAS SOPS 73788 HAS SOUS 34722 HAS SOUPS 33265 WITH SCORE 33349.896
AT ITER 9164 NEW BEST:: SOT 210802 SOS 84890 HAS SOPS 73782 HAS SOUS 34719 HAS SOUPS 33262 WITH SCORE 33346.89
AT ITER 9183 NEW BEST:: SOT 210802 SOS 84889 HAS SOPS 73780 HAS SOUS 34717 HAS SOUPS 33260 WITH SCORE 33344.889
AT ITER 9211 NEW BEST:: SOT 210776 SOS 84863 HAS SOPS 73734 HAS SOUS 34671 HAS SOUPS 33214 WITH SCORE 33298.863
AT ITER 9237 NEW BEST:: SOT 210776 SOS 84796 HAS SOPS 73667 HAS SOUS 34652 HAS SOUPS 33195 WITH SCORE 33279.796
AT ITER 9249 NEW BEST:: SOT 210776 SOS 84800 HAS SOPS 73671 HAS SOUS 34651 HAS SOUPS 33194 WITH SCORE 33278.8
AT ITER 9251 NEW BEST:: SOT 210770 SOS 84794 HAS SOPS 73191 HAS SOUS 34641 HAS SOUPS 33184 WITH SCORE 33268.794
AT ITER 9271 NEW BEST:: SOT 210770 SOS 84738 HAS SOPS 73135 HAS SOUS 34641 HAS SOUPS 33184 WITH SCORE 33268.738
AT ITER 9286 NEW BEST:: SOT 210778 SOS 84746 HAS SOPS 73169 HAS SOUS 34635 HAS SOUPS 33178 WITH SCORE 33262.746
AT ITER 9360 NEW BEST:: SOT 210772 SOS 84740 HAS SOPS 73099 HAS SOUS 34615 HAS SOUPS 33158 WITH SCORE 33242.74
AT ITER 9368 NEW BEST:: SOT 210737 SOS 84705 HAS SOPS 73141 HAS SOUS 34608 HAS SOUPS 33151 WITH SCORE 33235.705
AT ITER 9387 NEW BEST:: SOT 210737 SOS 84701 HAS SOPS 73137 HAS SOUS 34606 HAS SOUPS 33149 WITH SCORE 33233.701
AT ITER 9393 NEW BEST:: SOT 210737 SOS 84699 HAS SOPS 73135 HAS SOUS 34605 HAS SOUPS 33148 WITH SCORE 33232.699
AT ITER 9446 NEW BEST:: SOT 210737 SOS 84697 HAS SOPS 73133 HAS SOUS 34604 HAS SOUPS 33147 WITH SCORE 33231.697
AT ITER 9480 NEW BEST:: SOT 210737 SOS 84695 HAS SOPS 73131 HAS SOUS 34604 HAS SOUPS 33147 WITH SCORE 33231.695
AT ITER 9526 NEW BEST:: SOT 210737 SOS 84665 HAS SOPS 72987 HAS SOUS 34635 HAS SOUPS 33121 WITH SCORE 33205.665
AT ITER 9543 NEW BEST:: SOT 210731 SOS 84676 HAS SOPS 72988 HAS SOUS 34633 HAS SOUPS 33107 WITH SCORE 33191.676
AT ITER 9562 NEW BEST:: SOT 210731 SOS 84696 HAS SOPS 73008 HAS SOUS 34632 HAS SOUPS 33106 WITH SCORE 33190.696
AT ITER 9657 NEW BEST:: SOT 210731 SOS 84910 HAS SOPS 73222 HAS SOUS 34629 HAS SOUPS 33103 WITH SCORE 33187.91
AT ITER 9670 NEW BEST:: SOT 210713 SOS 84892 HAS SOPS 73166 HAS SOUS 34553 HAS SOUPS 33027 WITH SCORE 33111.892
AT ITER 9833 NEW BEST:: SOT 210713 SOS 84872 HAS SOPS 73146 HAS SOUS 34543 HAS SOUPS 33017 WITH SCORE 33101.872
AT ITER 9865 NEW BEST:: SOT 210713 SOS 84920 HAS SOPS 73144 HAS SOUS 34553 HAS SOUPS 33002 WITH SCORE 33086.92
AT ITER 9883 NEW BEST:: SOT 210713 SOS 84918 HAS SOPS 73128 HAS SOUS 34552 HAS SOUPS 32994 WITH SCORE 33078.918
AT ITER 9884 NEW BEST:: SOT 210705 SOS 84910 HAS SOPS 73109 HAS SOUS 34549 HAS SOUPS 32991 WITH SCORE 33075.91
AT ITER 9956 NEW BEST:: SOT 210705 SOS 84944 HAS SOPS 73189 HAS SOUS 34524 HAS SOUPS 32989 WITH SCORE 33073.944

BK_STOP 1679494686901

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FunctionPointer-PT-b002"
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 FunctionPointer-PT-b002, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838858900664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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