Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508600481.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is AutoFlight-PT-24a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600481
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 332K
-rw-r--r-- 1 mcc users 4.0K Mar 25 23:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 25 23:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 15:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 15:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 10:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 169K Mar 24 05:37 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 1589172759750

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 24a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 607 places, 605 transitions, 1940 arcs.
AT ITER 0 NEW BEST:: SOT 279551 SOS 182054 HAS SOPS 182054 HAS SOUS 126611 HAS SOUPS 126611 WITH SCORE 126793.054
AT ITER 2 NEW BEST:: SOT 279460 SOS 181523 HAS SOPS 181420 HAS SOUS 126348 HAS SOUPS 126245 WITH SCORE 126426.523
AT ITER 3 NEW BEST:: SOT 278984 SOS 181046 HAS SOPS 180943 HAS SOUS 126071 HAS SOUPS 125968 WITH SCORE 126149.046
AT ITER 5 NEW BEST:: SOT 278927 SOS 181045 HAS SOPS 180942 HAS SOUS 126070 HAS SOUPS 125967 WITH SCORE 126148.045
AT ITER 6 NEW BEST:: SOT 278845 SOS 180086 HAS SOPS 179853 HAS SOUS 125416 HAS SOUPS 125183 WITH SCORE 125363.086
AT ITER 7 NEW BEST:: SOT 278817 SOS 180057 HAS SOPS 179824 HAS SOUS 125387 HAS SOUPS 125154 WITH SCORE 125334.057
AT ITER 9 NEW BEST:: SOT 278405 SOS 179644 HAS SOPS 179411 HAS SOUS 125159 HAS SOUPS 124926 WITH SCORE 125105.644
AT ITER 10 NEW BEST:: SOT 278405 SOS 179052 HAS SOPS 178819 HAS SOUS 124815 HAS SOUPS 124582 WITH SCORE 124761.052
AT ITER 11 NEW BEST:: SOT 277988 SOS 178635 HAS SOPS 178402 HAS SOUS 124554 HAS SOUPS 124321 WITH SCORE 124499.635
AT ITER 14 NEW BEST:: SOT 277988 SOS 178634 HAS SOPS 178401 HAS SOUS 124444 HAS SOUPS 124211 WITH SCORE 124389.634
AT ITER 15 NEW BEST:: SOT 277988 SOS 178482 HAS SOPS 178249 HAS SOUS 124402 HAS SOUPS 124169 WITH SCORE 124347.482
AT ITER 16 NEW BEST:: SOT 277381 SOS 177875 HAS SOPS 177642 HAS SOUS 124086 HAS SOUPS 123853 WITH SCORE 124030.875
AT ITER 21 NEW BEST:: SOT 277091 SOS 177584 HAS SOPS 177351 HAS SOUS 123925 HAS SOUPS 123692 WITH SCORE 123869.584
AT ITER 22 NEW BEST:: SOT 276829 SOS 176798 HAS SOPS 176565 HAS SOUS 123401 HAS SOUPS 123168 WITH SCORE 123344.798
AT ITER 24 NEW BEST:: SOT 276829 SOS 176348 HAS SOPS 176115 HAS SOUS 123251 HAS SOUPS 123018 WITH SCORE 123194.348
AT ITER 25 NEW BEST:: SOT 275817 SOS 175906 HAS SOPS 175673 HAS SOUS 123189 HAS SOUPS 122956 WITH SCORE 123131.906
AT ITER 30 NEW BEST:: SOT 275693 SOS 175782 HAS SOPS 175549 HAS SOUS 123123 HAS SOUPS 122890 WITH SCORE 123065.782
AT ITER 31 NEW BEST:: SOT 274910 SOS 174999 HAS SOPS 174766 HAS SOUS 122645 HAS SOUPS 122412 WITH SCORE 122586.999
AT ITER 33 NEW BEST:: SOT 274870 SOS 174347 HAS SOPS 173975 HAS SOUS 122259 HAS SOUPS 121887 WITH SCORE 122061.347
AT ITER 43 NEW BEST:: SOT 274489 SOS 173685 HAS SOPS 173313 HAS SOUS 121851 HAS SOUPS 121479 WITH SCORE 121652.685
AT ITER 48 NEW BEST:: SOT 274489 SOS 173170 HAS SOPS 172798 HAS SOUS 121559 HAS SOUPS 121187 WITH SCORE 121360.17
AT ITER 52 NEW BEST:: SOT 273523 SOS 172204 HAS SOPS 171832 HAS SOUS 120915 HAS SOUPS 120543 WITH SCORE 120715.204
AT ITER 53 NEW BEST:: SOT 272823 SOS 171504 HAS SOPS 171132 HAS SOUS 120518 HAS SOUPS 120146 WITH SCORE 120317.504
AT ITER 55 NEW BEST:: SOT 272618 SOS 172093 HAS SOPS 170927 HAS SOUS 120561 HAS SOUPS 119941 WITH SCORE 120113.093
AT ITER 57 NEW BEST:: SOT 272618 SOS 171919 HAS SOPS 170753 HAS SOUS 120469 HAS SOUPS 119849 WITH SCORE 120020.919
AT ITER 59 NEW BEST:: SOT 271576 SOS 170877 HAS SOPS 169711 HAS SOUS 119710 HAS SOUPS 119090 WITH SCORE 119260.877
AT ITER 60 NEW BEST:: SOT 271547 SOS 170510 HAS SOPS 169344 HAS SOUS 119455 HAS SOUPS 118835 WITH SCORE 119005.51
AT ITER 64 NEW BEST:: SOT 269650 SOS 167760 HAS SOPS 166594 HAS SOUS 117763 HAS SOUPS 117143 WITH SCORE 117310.76
AT ITER 66 NEW BEST:: SOT 269650 SOS 167179 HAS SOPS 166013 HAS SOUS 117395 HAS SOUPS 116775 WITH SCORE 116942.179
AT ITER 67 NEW BEST:: SOT 269296 SOS 167092 HAS SOPS 164856 HAS SOUS 116912 HAS SOUPS 115975 WITH SCORE 116142.092
AT ITER 69 NEW BEST:: SOT 269298 SOS 166121 HAS SOPS 163885 HAS SOUS 116642 HAS SOUPS 115705 WITH SCORE 115871.121
AT ITER 71 NEW BEST:: SOT 269166 SOS 165988 HAS SOPS 163752 HAS SOUS 116610 HAS SOUPS 115673 WITH SCORE 115838.988
AT ITER 73 NEW BEST:: SOT 269139 SOS 165215 HAS SOPS 162979 HAS SOUS 116365 HAS SOUPS 115428 WITH SCORE 115593.215
AT ITER 74 NEW BEST:: SOT 269151 SOS 165163 HAS SOPS 162927 HAS SOUS 116305 HAS SOUPS 115368 WITH SCORE 115533.163
AT ITER 75 NEW BEST:: SOT 269151 SOS 165016 HAS SOPS 162780 HAS SOUS 116256 HAS SOUPS 115319 WITH SCORE 115484.016
AT ITER 76 NEW BEST:: SOT 268960 SOS 164824 HAS SOPS 162588 HAS SOUS 116172 HAS SOUPS 115235 WITH SCORE 115399.824
AT ITER 80 NEW BEST:: SOT 268960 SOS 155808 HAS SOPS 153572 HAS SOUS 115599 HAS SOUPS 114662 WITH SCORE 114817.808
AT ITER 83 NEW BEST:: SOT 268960 SOS 155807 HAS SOPS 153571 HAS SOUS 115598 HAS SOUPS 114661 WITH SCORE 114816.807
AT ITER 86 NEW BEST:: SOT 268960 SOS 155690 HAS SOPS 153454 HAS SOUS 115598 HAS SOUPS 114661 WITH SCORE 114816.69
AT ITER 96 NEW BEST:: SOT 268936 SOS 155666 HAS SOPS 153430 HAS SOUS 115590 HAS SOUPS 114653 WITH SCORE 114808.666
AT ITER 99 NEW BEST:: SOT 268936 SOS 155515 HAS SOPS 153279 HAS SOUS 115589 HAS SOUPS 114652 WITH SCORE 114807.515
AT ITER 101 NEW BEST:: SOT 268041 SOS 154707 HAS SOPS 152471 HAS SOUS 115117 HAS SOUPS 114180 WITH SCORE 114334.707
AT ITER 104 NEW BEST:: SOT 267205 SOS 154704 HAS SOPS 152468 HAS SOUS 115114 HAS SOUPS 114177 WITH SCORE 114331.704
AT ITER 111 NEW BEST:: SOT 267205 SOS 154513 HAS SOPS 152277 HAS SOUS 114923 HAS SOUPS 113986 WITH SCORE 114140.513
AT ITER 114 NEW BEST:: SOT 267205 SOS 154436 HAS SOPS 152200 HAS SOUS 114846 HAS SOUPS 113909 WITH SCORE 114063.436
AT ITER 115 NEW BEST:: SOT 266704 SOS 153935 HAS SOPS 151699 HAS SOUS 114513 HAS SOUPS 113576 WITH SCORE 113729.935
AT ITER 116 NEW BEST:: SOT 266529 SOS 153593 HAS SOPS 151357 HAS SOUS 114120 HAS SOUPS 113183 WITH SCORE 113336.593
AT ITER 117 NEW BEST:: SOT 266529 SOS 153223 HAS SOPS 150987 HAS SOUS 113912 HAS SOUPS 112975 WITH SCORE 113128.223
AT ITER 119 NEW BEST:: SOT 264899 SOS 151050 HAS SOPS 148814 HAS SOUS 112566 HAS SOUPS 111629 WITH SCORE 111780.05
AT ITER 122 NEW BEST:: SOT 264413 SOS 150633 HAS SOPS 148397 HAS SOUS 112130 HAS SOUPS 111193 WITH SCORE 111343.633
AT ITER 124 NEW BEST:: SOT 264232 SOS 150345 HAS SOPS 148109 HAS SOUS 111695 HAS SOUPS 110758 WITH SCORE 110908.345
AT ITER 129 NEW BEST:: SOT 264132 SOS 150245 HAS SOPS 148009 HAS SOUS 111595 HAS SOUPS 110658 WITH SCORE 110808.245
AT ITER 131 NEW BEST:: SOT 263239 SOS 149352 HAS SOPS 147116 HAS SOUS 111004 HAS SOUPS 110067 WITH SCORE 110216.352
AT ITER 132 NEW BEST:: SOT 263195 SOS 149307 HAS SOPS 147071 HAS SOUS 110959 HAS SOUPS 110022 WITH SCORE 110171.307
AT ITER 135 NEW BEST:: SOT 262993 SOS 149499 HAS SOPS 146740 HAS SOUS 110809 HAS SOUPS 109691 WITH SCORE 109840.499
AT ITER 137 NEW BEST:: SOT 261636 SOS 147494 HAS SOPS 144735 HAS SOUS 109681 HAS SOUPS 108563 WITH SCORE 108710.494
AT ITER 140 NEW BEST:: SOT 261636 SOS 147391 HAS SOPS 144632 HAS SOUS 109635 HAS SOUPS 108517 WITH SCORE 108664.391
AT ITER 143 NEW BEST:: SOT 260670 SOS 146551 HAS SOPS 143792 HAS SOUS 109102 HAS SOUPS 107984 WITH SCORE 108130.551
AT ITER 144 NEW BEST:: SOT 260588 SOS 146468 HAS SOPS 143709 HAS SOUS 109019 HAS SOUPS 107901 WITH SCORE 108047.468
AT ITER 160 NEW BEST:: SOT 260302 SOS 146415 HAS SOPS 142666 HAS SOUS 108555 HAS SOUPS 107140 WITH SCORE 107286.415
AT ITER 164 NEW BEST:: SOT 260302 SOS 146401 HAS SOPS 142652 HAS SOUS 108555 HAS SOUPS 107140 WITH SCORE 107286.401
AT ITER 167 NEW BEST:: SOT 260302 SOS 146080 HAS SOPS 142331 HAS SOUS 108472 HAS SOUPS 107057 WITH SCORE 107203.08
AT ITER 177 NEW BEST:: SOT 259977 SOS 145286 HAS SOPS 141537 HAS SOUS 107534 HAS SOUPS 106119 WITH SCORE 106264.286
AT ITER 179 NEW BEST:: SOT 259365 SOS 144674 HAS SOPS 140925 HAS SOUS 107130 HAS SOUPS 105715 WITH SCORE 105859.674
AT ITER 180 NEW BEST:: SOT 258169 SOS 143478 HAS SOPS 139729 HAS SOUS 106522 HAS SOUPS 105107 WITH SCORE 105250.478
AT ITER 181 NEW BEST:: SOT 257249 SOS 142558 HAS SOPS 138809 HAS SOUS 105988 HAS SOUPS 104573 WITH SCORE 104715.558
AT ITER 190 NEW BEST:: SOT 256334 SOS 142096 HAS SOPS 138347 HAS SOUS 105562 HAS SOUPS 104147 WITH SCORE 104289.096
AT ITER 195 NEW BEST:: SOT 255695 SOS 141457 HAS SOPS 137708 HAS SOUS 105168 HAS SOUPS 103753 WITH SCORE 103894.457
AT ITER 196 NEW BEST:: SOT 255653 SOS 141378 HAS SOPS 137629 HAS SOUS 105117 HAS SOUPS 103702 WITH SCORE 103843.378
AT ITER 199 NEW BEST:: SOT 255042 SOS 140766 HAS SOPS 137017 HAS SOUS 104733 HAS SOUPS 103318 WITH SCORE 103458.766
AT ITER 202 NEW BEST:: SOT 255042 SOS 140289 HAS SOPS 136540 HAS SOUS 104415 HAS SOUPS 103000 WITH SCORE 103140.289
AT ITER 204 NEW BEST:: SOT 254847 SOS 140094 HAS SOPS 136345 HAS SOUS 104285 HAS SOUPS 102870 WITH SCORE 103010.094
AT ITER 207 NEW BEST:: SOT 254846 SOS 139705 HAS SOPS 135956 HAS SOUS 104126 HAS SOUPS 102711 WITH SCORE 102850.705
AT ITER 210 NEW BEST:: SOT 254378 SOS 140708 HAS SOPS 136959 HAS SOUS 103934 HAS SOUPS 102519 WITH SCORE 102659.708
AT ITER 212 NEW BEST:: SOT 254378 SOS 140478 HAS SOPS 136729 HAS SOUS 103914 HAS SOUPS 102499 WITH SCORE 102639.478
AT ITER 216 NEW BEST:: SOT 254343 SOS 140442 HAS SOPS 136693 HAS SOUS 103878 HAS SOUPS 102463 WITH SCORE 102603.442
AT ITER 218 NEW BEST:: SOT 253844 SOS 139943 HAS SOPS 136194 HAS SOUS 103673 HAS SOUPS 102258 WITH SCORE 102397.943
AT ITER 220 NEW BEST:: SOT 253844 SOS 140043 HAS SOPS 136094 HAS SOUS 103628 HAS SOUPS 102163 WITH SCORE 102303.043
AT ITER 222 NEW BEST:: SOT 253654 SOS 139911 HAS SOPS 135904 HAS SOUS 103496 HAS SOUPS 101973 WITH SCORE 102112.911
AT ITER 224 NEW BEST:: SOT 253396 SOS 139948 HAS SOPS 134999 HAS SOUS 103177 HAS SOUPS 101369 WITH SCORE 101508.948
AT ITER 225 NEW BEST:: SOT 253396 SOS 139757 HAS SOPS 134808 HAS SOUS 103144 HAS SOUPS 101336 WITH SCORE 101475.757
AT ITER 232 NEW BEST:: SOT 252222 SOS 138925 HAS SOPS 133976 HAS SOUS 102684 HAS SOUPS 100876 WITH SCORE 101014.925
AT ITER 233 NEW BEST:: SOT 252198 SOS 138747 HAS SOPS 133798 HAS SOUS 102558 HAS SOUPS 100750 WITH SCORE 100888.747
AT ITER 234 NEW BEST:: SOT 252346 SOS 138154 HAS SOPS 133027 HAS SOUS 102311 HAS SOUPS 100325 WITH SCORE 100463.154
AT ITER 235 NEW BEST:: SOT 250498 SOS 135629 HAS SOPS 130502 HAS SOUS 100678 HAS SOUPS 98692 WITH SCORE 98827.629
AT ITER 236 NEW BEST:: SOT 250069 SOS 135199 HAS SOPS 130072 HAS SOUS 100448 HAS SOUPS 98462 WITH SCORE 98597.199
AT ITER 237 NEW BEST:: SOT 249910 SOS 135469 HAS SOPS 129912 HAS SOUS 100441 HAS SOUPS 98298 WITH SCORE 98433.469
AT ITER 241 NEW BEST:: SOT 249910 SOS 135472 HAS SOPS 129915 HAS SOUS 100439 HAS SOUPS 98296 WITH SCORE 98431.472
AT ITER 242 NEW BEST:: SOT 249832 SOS 135342 HAS SOPS 129785 HAS SOUS 100361 HAS SOUPS 98218 WITH SCORE 98353.342
AT ITER 245 NEW BEST:: SOT 249708 SOS 135230 HAS SOPS 129673 HAS SOUS 100299 HAS SOUPS 98156 WITH SCORE 98291.23
AT ITER 249 NEW BEST:: SOT 249879 SOS 134689 HAS SOPS 129089 HAS SOUS 99992 HAS SOUPS 97806 WITH SCORE 97940.689
AT ITER 253 NEW BEST:: SOT 250117 SOS 134749 HAS SOPS 129149 HAS SOUS 99845 HAS SOUPS 97659 WITH SCORE 97793.749
AT ITER 254 NEW BEST:: SOT 250077 SOS 135626 HAS SOPS 129109 HAS SOUS 100051 HAS SOUPS 97619 WITH SCORE 97754.626
AT ITER 258 NEW BEST:: SOT 250010 SOS 135903 HAS SOPS 129042 HAS SOUS 100119 HAS SOUPS 97552 WITH SCORE 97687.903
AT ITER 259 NEW BEST:: SOT 250010 SOS 135901 HAS SOPS 129040 HAS SOUS 100117 HAS SOUPS 97550 WITH SCORE 97685.901
AT ITER 261 NEW BEST:: SOT 250010 SOS 135901 HAS SOPS 128985 HAS SOUS 100062 HAS SOUPS 97440 WITH SCORE 97575.901
AT ITER 262 NEW BEST:: SOT 250086 SOS 135941 HAS SOPS 129025 HAS SOUS 100056 HAS SOUPS 97434 WITH SCORE 97569.941
AT ITER 263 NEW BEST:: SOT 248574 SOS 134415 HAS SOPS 127499 HAS SOUS 98805 HAS SOUPS 96183 WITH SCORE 96317.415
AT ITER 265 NEW BEST:: SOT 248574 SOS 133988 HAS SOPS 127072 HAS SOUS 98689 HAS SOUPS 96067 WITH SCORE 96200.988
AT ITER 267 NEW BEST:: SOT 248573 SOS 133699 HAS SOPS 126878 HAS SOUS 98496 HAS SOUPS 95969 WITH SCORE 96102.699
AT ITER 268 NEW BEST:: SOT 248573 SOS 133699 HAS SOPS 126878 HAS SOUS 98494 HAS SOUPS 95967 WITH SCORE 96100.699
AT ITER 269 NEW BEST:: SOT 247018 SOS 131647 HAS SOPS 124826 HAS SOUS 97348 HAS SOUPS 94821 WITH SCORE 94952.647
AT ITER 273 NEW BEST:: SOT 246805 SOS 131150 HAS SOPS 124613 HAS SOUS 97135 HAS SOUPS 94679 WITH SCORE 94810.15
AT ITER 280 NEW BEST:: SOT 246805 SOS 130727 HAS SOPS 124388 HAS SOUS 97129 HAS SOUPS 94673 WITH SCORE 94803.727
AT ITER 288 NEW BEST:: SOT 246087 SOS 129049 HAS SOPS 123670 HAS SOUS 96490 HAS SOUPS 94323 WITH SCORE 94452.049
AT ITER 297 NEW BEST:: SOT 245818 SOS 128780 HAS SOPS 123400 HAS SOUS 96359 HAS SOUPS 94191 WITH SCORE 94319.78
AT ITER 298 NEW BEST:: SOT 245818 SOS 128444 HAS SOPS 123064 HAS SOUS 96135 HAS SOUPS 93967 WITH SCORE 94095.444
AT ITER 299 NEW BEST:: SOT 245817 SOS 128448 HAS SOPS 123068 HAS SOUS 96116 HAS SOUPS 93948 WITH SCORE 94076.448
AT ITER 301 NEW BEST:: SOT 245817 SOS 128038 HAS SOPS 122658 HAS SOUS 95907 HAS SOUPS 93739 WITH SCORE 93867.038
AT ITER 305 NEW BEST:: SOT 244562 SOS 126783 HAS SOPS 121403 HAS SOUS 95188 HAS SOUPS 93020 WITH SCORE 93146.783
AT ITER 315 NEW BEST:: SOT 244526 SOS 126293 HAS SOPS 120913 HAS SOUS 94864 HAS SOUPS 92696 WITH SCORE 92822.293
AT ITER 318 NEW BEST:: SOT 244525 SOS 126273 HAS SOPS 120893 HAS SOUS 94824 HAS SOUPS 92656 WITH SCORE 92782.273
AT ITER 323 NEW BEST:: SOT 244525 SOS 126266 HAS SOPS 120857 HAS SOUS 94817 HAS SOUPS 92620 WITH SCORE 92746.266
AT ITER 331 NEW BEST:: SOT 243770 SOS 125366 HAS SOPS 119957 HAS SOUS 94310 HAS SOUPS 92113 WITH SCORE 92238.366
AT ITER 332 NEW BEST:: SOT 243401 SOS 124751 HAS SOPS 119342 HAS SOUS 93941 HAS SOUPS 91744 WITH SCORE 91868.751
AT ITER 342 NEW BEST:: SOT 243353 SOS 124315 HAS SOPS 118968 HAS SOUS 93908 HAS SOUPS 91711 WITH SCORE 91835.315
AT ITER 344 NEW BEST:: SOT 243214 SOS 124175 HAS SOPS 118828 HAS SOUS 93768 HAS SOUPS 91571 WITH SCORE 91695.175
AT ITER 349 NEW BEST:: SOT 243198 SOS 124143 HAS SOPS 118796 HAS SOUS 93752 HAS SOUPS 91555 WITH SCORE 91679.143
AT ITER 350 NEW BEST:: SOT 242207 SOS 123608 HAS SOPS 118261 HAS SOUS 93381 HAS SOUPS 91184 WITH SCORE 91307.608
AT ITER 357 NEW BEST:: SOT 242215 SOS 123518 HAS SOPS 118171 HAS SOUS 93338 HAS SOUPS 91141 WITH SCORE 91264.518
AT ITER 359 NEW BEST:: SOT 241831 SOS 122429 HAS SOPS 117082 HAS SOUS 92552 HAS SOUPS 90355 WITH SCORE 90477.429
AT ITER 362 NEW BEST:: SOT 240847 SOS 121445 HAS SOPS 116098 HAS SOUS 91774 HAS SOUPS 89577 WITH SCORE 89698.445
AT ITER 368 NEW BEST:: SOT 240762 SOS 120895 HAS SOPS 115548 HAS SOUS 91575 HAS SOUPS 89378 WITH SCORE 89498.895
AT ITER 374 NEW BEST:: SOT 240597 SOS 120730 HAS SOPS 115383 HAS SOUS 91153 HAS SOUPS 88956 WITH SCORE 89076.73
AT ITER 380 NEW BEST:: SOT 240566 SOS 120741 HAS SOPS 115568 HAS SOUS 91152 HAS SOUPS 88955 WITH SCORE 89075.741
AT ITER 381 NEW BEST:: SOT 240566 SOS 120391 HAS SOPS 115218 HAS SOUS 91055 HAS SOUPS 88858 WITH SCORE 88978.391
AT ITER 384 NEW BEST:: SOT 240622 SOS 120451 HAS SOPS 115278 HAS SOUS 91038 HAS SOUPS 88841 WITH SCORE 88961.451
AT ITER 394 NEW BEST:: SOT 240544 SOS 120373 HAS SOPS 115200 HAS SOUS 90933 HAS SOUPS 88736 WITH SCORE 88856.373
AT ITER 399 NEW BEST:: SOT 240145 SOS 119974 HAS SOPS 114801 HAS SOUS 90687 HAS SOUPS 88490 WITH SCORE 88609.974
AT ITER 404 NEW BEST:: SOT 239995 SOS 119824 HAS SOPS 114651 HAS SOUS 90466 HAS SOUPS 88269 WITH SCORE 88388.824
AT ITER 412 NEW BEST:: SOT 239995 SOS 119828 HAS SOPS 114643 HAS SOUS 90466 HAS SOUPS 88265 WITH SCORE 88384.828
AT ITER 422 NEW BEST:: SOT 239682 SOS 119805 HAS SOPS 114620 HAS SOUS 90314 HAS SOUPS 88113 WITH SCORE 88232.805
AT ITER 425 NEW BEST:: SOT 239682 SOS 119807 HAS SOPS 114622 HAS SOUS 90292 HAS SOUPS 88091 WITH SCORE 88210.807
AT ITER 428 NEW BEST:: SOT 239681 SOS 119806 HAS SOPS 114621 HAS SOUS 90292 HAS SOUPS 88091 WITH SCORE 88210.806
AT ITER 429 NEW BEST:: SOT 239872 SOS 119825 HAS SOPS 114558 HAS SOUS 90311 HAS SOUPS 88028 WITH SCORE 88147.825
AT ITER 434 NEW BEST:: SOT 239746 SOS 120677 HAS SOPS 114382 HAS SOUS 90441 HAS SOUPS 87852 WITH SCORE 87972.677
AT ITER 435 NEW BEST:: SOT 239746 SOS 120289 HAS SOPS 113994 HAS SOUS 90226 HAS SOUPS 87637 WITH SCORE 87757.289
AT ITER 440 NEW BEST:: SOT 239731 SOS 120194 HAS SOPS 113899 HAS SOUS 90174 HAS SOUPS 87585 WITH SCORE 87705.194
AT ITER 442 NEW BEST:: SOT 239303 SOS 119755 HAS SOPS 113529 HAS SOUS 89537 HAS SOUPS 87017 WITH SCORE 87136.755
AT ITER 445 NEW BEST:: SOT 239047 SOS 119444 HAS SOPS 113218 HAS SOUS 89328 HAS SOUPS 86808 WITH SCORE 86927.444
AT ITER 446 NEW BEST:: SOT 238946 SOS 119618 HAS SOPS 112872 HAS SOUS 89188 HAS SOUPS 86462 WITH SCORE 86581.618
AT ITER 449 NEW BEST:: SOT 238846 SOS 119272 HAS SOPS 112526 HAS SOUS 89010 HAS SOUPS 86284 WITH SCORE 86403.272
AT ITER 452 NEW BEST:: SOT 238845 SOS 119271 HAS SOPS 112525 HAS SOUS 89009 HAS SOUPS 86283 WITH SCORE 86402.271
AT ITER 459 NEW BEST:: SOT 238845 SOS 119233 HAS SOPS 112487 HAS SOUS 88990 HAS SOUPS 86264 WITH SCORE 86383.233
AT ITER 461 NEW BEST:: SOT 238518 SOS 119232 HAS SOPS 112486 HAS SOUS 88989 HAS SOUPS 86263 WITH SCORE 86382.232
AT ITER 481 NEW BEST:: SOT 238425 SOS 118496 HAS SOPS 111750 HAS SOUS 88391 HAS SOUPS 85665 WITH SCORE 85783.496
AT ITER 483 NEW BEST:: SOT 237311 SOS 117382 HAS SOPS 110636 HAS SOUS 87831 HAS SOUPS 85105 WITH SCORE 85222.382
AT ITER 488 NEW BEST:: SOT 236909 SOS 117034 HAS SOPS 110288 HAS SOUS 87595 HAS SOUPS 84869 WITH SCORE 84986.034
AT ITER 490 NEW BEST:: SOT 236796 SOS 116990 HAS SOPS 110244 HAS SOUS 87515 HAS SOUPS 84789 WITH SCORE 84905.99
AT ITER 492 NEW BEST:: SOT 236725 SOS 116848 HAS SOPS 110102 HAS SOUS 87444 HAS SOUPS 84718 WITH SCORE 84834.848
AT ITER 495 NEW BEST:: SOT 236725 SOS 116789 HAS SOPS 110043 HAS SOUS 87268 HAS SOUPS 84542 WITH SCORE 84658.789
AT ITER 498 NEW BEST:: SOT 236644 SOS 116699 HAS SOPS 109953 HAS SOUS 87054 HAS SOUPS 84328 WITH SCORE 84444.699
AT ITER 504 NEW BEST:: SOT 236644 SOS 116620 HAS SOPS 109874 HAS SOUS 86925 HAS SOUPS 84199 WITH SCORE 84315.62
AT ITER 513 NEW BEST:: SOT 236051 SOS 116231 HAS SOPS 109485 HAS SOUS 86920 HAS SOUPS 84194 WITH SCORE 84310.231
AT ITER 520 NEW BEST:: SOT 236051 SOS 116093 HAS SOPS 109347 HAS SOUS 86852 HAS SOUPS 84126 WITH SCORE 84242.093
AT ITER 527 NEW BEST:: SOT 235824 SOS 115894 HAS SOPS 109119 HAS SOUS 86723 HAS SOUPS 83968 WITH SCORE 84083.894
AT ITER 537 NEW BEST:: SOT 235760 SOS 115830 HAS SOPS 109055 HAS SOUS 86659 HAS SOUPS 83904 WITH SCORE 84019.83
AT ITER 542 NEW BEST:: SOT 235760 SOS 115803 HAS SOPS 109054 HAS SOUS 86658 HAS SOUPS 83903 WITH SCORE 84018.803
AT ITER 549 NEW BEST:: SOT 235333 SOS 115316 HAS SOPS 108567 HAS SOUS 86404 HAS SOUPS 83649 WITH SCORE 83764.316
AT ITER 553 NEW BEST:: SOT 235321 SOS 115711 HAS SOPS 108962 HAS SOUS 86355 HAS SOUPS 83600 WITH SCORE 83715.711
AT ITER 554 NEW BEST:: SOT 235321 SOS 115658 HAS SOPS 108909 HAS SOUS 86355 HAS SOUPS 83600 WITH SCORE 83715.658
AT ITER 556 NEW BEST:: SOT 235281 SOS 115539 HAS SOPS 108790 HAS SOUS 86230 HAS SOUPS 83475 WITH SCORE 83590.539
AT ITER 557 NEW BEST:: SOT 235378 SOS 115452 HAS SOPS 108703 HAS SOUS 86217 HAS SOUPS 83462 WITH SCORE 83577.452
AT ITER 566 NEW BEST:: SOT 235378 SOS 115458 HAS SOPS 108709 HAS SOUS 86216 HAS SOUPS 83461 WITH SCORE 83576.458
AT ITER 568 NEW BEST:: SOT 235378 SOS 115472 HAS SOPS 108709 HAS SOUS 86216 HAS SOUPS 83447 WITH SCORE 83562.472
AT ITER 572 NEW BEST:: SOT 235332 SOS 115135 HAS SOPS 108372 HAS SOUS 86000 HAS SOUPS 83231 WITH SCORE 83346.135
AT ITER 573 NEW BEST:: SOT 235436 SOS 115351 HAS SOPS 108588 HAS SOUS 85987 HAS SOUPS 83218 WITH SCORE 83333.351
AT ITER 578 NEW BEST:: SOT 235288 SOS 115006 HAS SOPS 108243 HAS SOUS 85790 HAS SOUPS 83021 WITH SCORE 83136.006
AT ITER 579 NEW BEST:: SOT 235204 SOS 114875 HAS SOPS 108112 HAS SOUS 85715 HAS SOUPS 82946 WITH SCORE 83060.875
AT ITER 590 NEW BEST:: SOT 235192 SOS 114845 HAS SOPS 108082 HAS SOUS 85709 HAS SOUPS 82940 WITH SCORE 83054.845
AT ITER 599 NEW BEST:: SOT 235192 SOS 115075 HAS SOPS 107852 HAS SOUS 85594 HAS SOUPS 82710 WITH SCORE 82825.075
AT ITER 601 NEW BEST:: SOT 234907 SOS 114408 HAS SOPS 107185 HAS SOUS 85207 HAS SOUPS 82323 WITH SCORE 82437.408
AT ITER 604 NEW BEST:: SOT 234879 SOS 114068 HAS SOPS 106845 HAS SOUS 84867 HAS SOUPS 81983 WITH SCORE 82097.068
AT ITER 606 NEW BEST:: SOT 234991 SOS 114180 HAS SOPS 106957 HAS SOUS 84866 HAS SOUPS 81982 WITH SCORE 82096.18
AT ITER 612 NEW BEST:: SOT 234991 SOS 114124 HAS SOPS 106901 HAS SOUS 84866 HAS SOUPS 81982 WITH SCORE 82096.124
AT ITER 615 NEW BEST:: SOT 234857 SOS 113990 HAS SOPS 106767 HAS SOUS 84732 HAS SOUPS 81848 WITH SCORE 81961.99
AT ITER 619 NEW BEST:: SOT 234620 SOS 114113 HAS SOPS 105896 HAS SOUS 84439 HAS SOUPS 81227 WITH SCORE 81341.113
AT ITER 622 NEW BEST:: SOT 234619 SOS 114051 HAS SOPS 105834 HAS SOUS 84386 HAS SOUPS 81174 WITH SCORE 81288.051
AT ITER 623 NEW BEST:: SOT 234110 SOS 113598 HAS SOPS 105381 HAS SOUS 84160 HAS SOUPS 80948 WITH SCORE 81061.598
AT ITER 631 NEW BEST:: SOT 234110 SOS 113676 HAS SOPS 105159 HAS SOUS 84138 HAS SOUPS 80826 WITH SCORE 80939.676
AT ITER 641 NEW BEST:: SOT 234184 SOS 113929 HAS SOPS 105233 HAS SOUS 84208 HAS SOUPS 80717 WITH SCORE 80830.929
AT ITER 642 NEW BEST:: SOT 234184 SOS 113860 HAS SOPS 105164 HAS SOUS 84208 HAS SOUPS 80717 WITH SCORE 80830.86
AT ITER 654 NEW BEST:: SOT 234075 SOS 113751 HAS SOPS 105055 HAS SOUS 84099 HAS SOUPS 80608 WITH SCORE 80721.751
AT ITER 659 NEW BEST:: SOT 234065 SOS 113741 HAS SOPS 105045 HAS SOUS 84089 HAS SOUPS 80598 WITH SCORE 80711.741
AT ITER 661 NEW BEST:: SOT 233784 SOS 113459 HAS SOPS 104763 HAS SOUS 83918 HAS SOUPS 80427 WITH SCORE 80540.459
AT ITER 666 NEW BEST:: SOT 233784 SOS 112966 HAS SOPS 104270 HAS SOUS 83809 HAS SOUPS 80318 WITH SCORE 80430.966
AT ITER 669 NEW BEST:: SOT 233737 SOS 112919 HAS SOPS 104223 HAS SOUS 83802 HAS SOUPS 80311 WITH SCORE 80423.919
AT ITER 672 NEW BEST:: SOT 233715 SOS 112857 HAS SOPS 104161 HAS SOUS 83760 HAS SOUPS 80269 WITH SCORE 80381.857
AT ITER 674 NEW BEST:: SOT 233715 SOS 112827 HAS SOPS 104131 HAS SOUS 83745 HAS SOUPS 80254 WITH SCORE 80366.827
AT ITER 675 NEW BEST:: SOT 233651 SOS 112715 HAS SOPS 104019 HAS SOUS 83681 HAS SOUPS 80190 WITH SCORE 80302.715
AT ITER 676 NEW BEST:: SOT 233572 SOS 112827 HAS SOPS 103939 HAS SOUS 83698 HAS SOUPS 80110 WITH SCORE 80222.827
AT ITER 684 NEW BEST:: SOT 233571 SOS 112967 HAS SOPS 104219 HAS SOUS 83696 HAS SOUPS 80108 WITH SCORE 80220.967
AT ITER 687 NEW BEST:: SOT 233246 SOS 112642 HAS SOPS 103894 HAS SOUS 83436 HAS SOUPS 79848 WITH SCORE 79960.642
AT ITER 688 NEW BEST:: SOT 233240 SOS 112636 HAS SOPS 103888 HAS SOUS 83432 HAS SOUPS 79844 WITH SCORE 79956.636
AT ITER 703 NEW BEST:: SOT 231792 SOS 110620 HAS SOPS 101872 HAS SOUS 82271 HAS SOUPS 78683 WITH SCORE 78793.62
AT ITER 709 NEW BEST:: SOT 231722 SOS 110556 HAS SOPS 101779 HAS SOUS 82207 HAS SOUPS 78590 WITH SCORE 78700.556
AT ITER 711 NEW BEST:: SOT 231722 SOS 110194 HAS SOPS 101417 HAS SOUS 82161 HAS SOUPS 78544 WITH SCORE 78654.194
AT ITER 712 NEW BEST:: SOT 231746 SOS 110218 HAS SOPS 101440 HAS SOUS 82159 HAS SOUPS 78541 WITH SCORE 78651.218
AT ITER 713 NEW BEST:: SOT 231882 SOS 110108 HAS SOPS 101086 HAS SOUS 82247 HAS SOUPS 78385 WITH SCORE 78495.108
AT ITER 714 NEW BEST:: SOT 230597 SOS 108076 HAS SOPS 99054 HAS SOUS 81180 HAS SOUPS 77318 WITH SCORE 77426.076
AT ITER 721 NEW BEST:: SOT 230335 SOS 108813 HAS SOPS 98717 HAS SOUS 81161 HAS SOUPS 76981 WITH SCORE 77089.813
AT ITER 723 NEW BEST:: SOT 230394 SOS 109000 HAS SOPS 98904 HAS SOUS 81135 HAS SOUPS 76955 WITH SCORE 77064.0
AT ITER 737 NEW BEST:: SOT 230394 SOS 108998 HAS SOPS 98902 HAS SOUS 81135 HAS SOUPS 76955 WITH SCORE 77063.998
AT ITER 742 NEW BEST:: SOT 230384 SOS 108988 HAS SOPS 98892 HAS SOUS 81130 HAS SOUPS 76950 WITH SCORE 77058.988
AT ITER 750 NEW BEST:: SOT 230286 SOS 109047 HAS SOPS 98951 HAS SOUS 81032 HAS SOUPS 76852 WITH SCORE 76961.047
AT ITER 752 NEW BEST:: SOT 230158 SOS 108984 HAS SOPS 98689 HAS SOUS 80883 HAS SOUPS 76590 WITH SCORE 76698.984
AT ITER 759 NEW BEST:: SOT 230126 SOS 108904 HAS SOPS 98609 HAS SOUS 80862 HAS SOUPS 76569 WITH SCORE 76677.904
AT ITER 770 NEW BEST:: SOT 230125 SOS 108640 HAS SOPS 98345 HAS SOUS 80471 HAS SOUPS 76178 WITH SCORE 76286.64
AT ITER 775 NEW BEST:: SOT 230348 SOS 108546 HAS SOPS 98251 HAS SOUS 80395 HAS SOUPS 76102 WITH SCORE 76210.546
AT ITER 776 NEW BEST:: SOT 230336 SOS 108533 HAS SOPS 98238 HAS SOUS 80382 HAS SOUPS 76089 WITH SCORE 76197.533
AT ITER 779 NEW BEST:: SOT 230319 SOS 108516 HAS SOPS 98221 HAS SOUS 80365 HAS SOUPS 76072 WITH SCORE 76180.516
AT ITER 780 NEW BEST:: SOT 230115 SOS 108374 HAS SOPS 98079 HAS SOUS 80173 HAS SOUPS 75880 WITH SCORE 75988.374
AT ITER 788 NEW BEST:: SOT 229592 SOS 107347 HAS SOPS 97052 HAS SOUS 79502 HAS SOUPS 75209 WITH SCORE 75316.347
AT ITER 792 NEW BEST:: SOT 229528 SOS 107282 HAS SOPS 96987 HAS SOUS 79437 HAS SOUPS 75144 WITH SCORE 75251.282
AT ITER 796 NEW BEST:: SOT 229464 SOS 107053 HAS SOPS 96758 HAS SOUS 79280 HAS SOUPS 74987 WITH SCORE 75094.053
AT ITER 803 NEW BEST:: SOT 229012 SOS 106560 HAS SOPS 96265 HAS SOUS 78913 HAS SOUPS 74620 WITH SCORE 74726.56
AT ITER 809 NEW BEST:: SOT 228638 SOS 106082 HAS SOPS 95787 HAS SOUS 78671 HAS SOUPS 74378 WITH SCORE 74484.082
AT ITER 810 NEW BEST:: SOT 228638 SOS 106082 HAS SOPS 95787 HAS SOUS 78639 HAS SOUPS 74346 WITH SCORE 74452.082
AT ITER 811 NEW BEST:: SOT 228628 SOS 106072 HAS SOPS 95777 HAS SOUS 78634 HAS SOUPS 74341 WITH SCORE 74447.072
AT ITER 814 NEW BEST:: SOT 228358 SOS 105887 HAS SOPS 95675 HAS SOUS 78532 HAS SOUPS 74239 WITH SCORE 74344.887
AT ITER 817 NEW BEST:: SOT 228076 SOS 105977 HAS SOPS 95765 HAS SOUS 78481 HAS SOUPS 74188 WITH SCORE 74293.977
AT ITER 826 NEW BEST:: SOT 228052 SOS 105953 HAS SOPS 95741 HAS SOUS 78457 HAS SOUPS 74164 WITH SCORE 74269.953
AT ITER 827 NEW BEST:: SOT 228052 SOS 105782 HAS SOPS 95570 HAS SOUS 78357 HAS SOUPS 74064 WITH SCORE 74169.782
AT ITER 828 NEW BEST:: SOT 228099 SOS 105735 HAS SOPS 95523 HAS SOUS 78310 HAS SOUPS 74017 WITH SCORE 74122.735
AT ITER 830 NEW BEST:: SOT 227881 SOS 105580 HAS SOPS 95368 HAS SOUS 78155 HAS SOUPS 73862 WITH SCORE 73967.58
AT ITER 842 NEW BEST:: SOT 227224 SOS 104879 HAS SOPS 94667 HAS SOUS 77523 HAS SOUPS 73230 WITH SCORE 73334.879
AT ITER 847 NEW BEST:: SOT 227135 SOS 104786 HAS SOPS 94574 HAS SOUS 77485 HAS SOUPS 73192 WITH SCORE 73296.786
AT ITER 848 NEW BEST:: SOT 226893 SOS 104481 HAS SOPS 94269 HAS SOUS 77243 HAS SOUPS 72950 WITH SCORE 73054.481
AT ITER 849 NEW BEST:: SOT 226175 SOS 103506 HAS SOPS 93294 HAS SOUS 76733 HAS SOUPS 72440 WITH SCORE 72543.506
AT ITER 862 NEW BEST:: SOT 226175 SOS 103506 HAS SOPS 93294 HAS SOUS 76670 HAS SOUPS 72377 WITH SCORE 72480.506
AT ITER 870 NEW BEST:: SOT 226175 SOS 103344 HAS SOPS 93132 HAS SOUS 76625 HAS SOUPS 72332 WITH SCORE 72435.344
AT ITER 874 NEW BEST:: SOT 226151 SOS 103226 HAS SOPS 93014 HAS SOUS 76545 HAS SOUPS 72252 WITH SCORE 72355.226
AT ITER 880 NEW BEST:: SOT 226143 SOS 103206 HAS SOPS 92994 HAS SOUS 76533 HAS SOUPS 72240 WITH SCORE 72343.206
AT ITER 882 NEW BEST:: SOT 225968 SOS 102891 HAS SOPS 92730 HAS SOUS 76269 HAS SOUPS 71976 WITH SCORE 72078.891
AT ITER 890 NEW BEST:: SOT 225953 SOS 102876 HAS SOPS 92715 HAS SOUS 76254 HAS SOUPS 71961 WITH SCORE 72063.876
AT ITER 892 NEW BEST:: SOT 225922 SOS 102860 HAS SOPS 92699 HAS SOUS 76238 HAS SOUPS 71945 WITH SCORE 72047.86
AT ITER 901 NEW BEST:: SOT 225922 SOS 102826 HAS SOPS 92665 HAS SOUS 76208 HAS SOUPS 71915 WITH SCORE 72017.826
AT ITER 905 NEW BEST:: SOT 225917 SOS 102821 HAS SOPS 92663 HAS SOUS 76206 HAS SOUPS 71905 WITH SCORE 72007.821
AT ITER 911 NEW BEST:: SOT 225837 SOS 102701 HAS SOPS 92543 HAS SOUS 76204 HAS SOUPS 71903 WITH SCORE 72005.701
AT ITER 941 NEW BEST:: SOT 225709 SOS 102537 HAS SOPS 92369 HAS SOUS 76040 HAS SOUPS 71729 WITH SCORE 71831.537
AT ITER 947 NEW BEST:: SOT 225627 SOS 102358 HAS SOPS 92190 HAS SOUS 76013 HAS SOUPS 71702 WITH SCORE 71804.358
AT ITER 956 NEW BEST:: SOT 225627 SOS 102319 HAS SOPS 92151 HAS SOUS 75874 HAS SOUPS 71563 WITH SCORE 71665.319
AT ITER 959 NEW BEST:: SOT 225603 SOS 102259 HAS SOPS 92091 HAS SOUS 75851 HAS SOUPS 71540 WITH SCORE 71642.259
AT ITER 961 NEW BEST:: SOT 225550 SOS 102206 HAS SOPS 92038 HAS SOUS 75798 HAS SOUPS 71487 WITH SCORE 71589.206
AT ITER 967 NEW BEST:: SOT 224853 SOS 101418 HAS SOPS 91230 HAS SOUS 75290 HAS SOUPS 70963 WITH SCORE 71064.418
AT ITER 978 NEW BEST:: SOT 224853 SOS 101480 HAS SOPS 91067 HAS SOUS 75179 HAS SOUPS 70852 WITH SCORE 70953.48
AT ITER 987 NEW BEST:: SOT 224769 SOS 101505 HAS SOPS 91092 HAS SOUS 75128 HAS SOUPS 70801 WITH SCORE 70902.505
AT ITER 990 NEW BEST:: SOT 224769 SOS 101441 HAS SOPS 91028 HAS SOUS 75057 HAS SOUPS 70730 WITH SCORE 70831.441
AT ITER 992 NEW BEST:: SOT 224681 SOS 101352 HAS SOPS 90939 HAS SOUS 75039 HAS SOUPS 70712 WITH SCORE 70813.352
AT ITER 994 NEW BEST:: SOT 224576 SOS 101212 HAS SOPS 90834 HAS SOUS 74934 HAS SOUPS 70642 WITH SCORE 70743.212
AT ITER 1000 NEW BEST:: SOT 224356 SOS 100266 HAS SOPS 90794 HAS SOUS 74665 HAS SOUPS 70602 WITH SCORE 70702.266
AT ITER 1002 NEW BEST:: SOT 224356 SOS 100265 HAS SOPS 90774 HAS SOUS 74664 HAS SOUPS 70601 WITH SCORE 70701.265
AT ITER 1003 NEW BEST:: SOT 224403 SOS 100121 HAS SOPS 90556 HAS SOUS 74728 HAS SOUPS 70591 WITH SCORE 70691.121
AT ITER 1005 NEW BEST:: SOT 224336 SOS 100054 HAS SOPS 90422 HAS SOUS 74661 HAS SOUPS 70457 WITH SCORE 70557.054
AT ITER 1006 NEW BEST:: SOT 224213 SOS 100134 HAS SOPS 90168 HAS SOUS 74540 HAS SOUPS 70203 WITH SCORE 70303.134
AT ITER 1009 NEW BEST:: SOT 224213 SOS 100132 HAS SOPS 90166 HAS SOUS 74540 HAS SOUPS 70203 WITH SCORE 70303.132
AT ITER 1023 NEW BEST:: SOT 224221 SOS 100139 HAS SOPS 89975 HAS SOUS 74591 HAS SOUPS 70153 WITH SCORE 70253.139
AT ITER 1027 NEW BEST:: SOT 224135 SOS 99351 HAS SOPS 89187 HAS SOUS 74117 HAS SOUPS 69679 WITH SCORE 69778.351
AT ITER 1029 NEW BEST:: SOT 223694 SOS 98909 HAS SOPS 88745 HAS SOUS 73897 HAS SOUPS 69459 WITH SCORE 69557.909
AT ITER 1033 NEW BEST:: SOT 223689 SOS 98801 HAS SOPS 88553 HAS SOUS 73763 HAS SOUPS 69325 WITH SCORE 69423.801
AT ITER 1034 NEW BEST:: SOT 223857 SOS 99034 HAS SOPS 88609 HAS SOUS 73868 HAS SOUPS 69253 WITH SCORE 69352.034
AT ITER 1035 NEW BEST:: SOT 223864 SOS 99257 HAS SOPS 88571 HAS SOUS 73797 HAS SOUPS 68921 WITH SCORE 69020.257
AT ITER 1040 NEW BEST:: SOT 223864 SOS 99145 HAS SOPS 88436 HAS SOUS 73627 HAS SOUPS 68728 WITH SCORE 68827.145
AT ITER 1049 NEW BEST:: SOT 223858 SOS 99139 HAS SOPS 88430 HAS SOUS 73627 HAS SOUPS 68728 WITH SCORE 68827.139
AT ITER 1050 NEW BEST:: SOT 223043 SOS 98232 HAS SOPS 87523 HAS SOUS 73080 HAS SOUPS 68181 WITH SCORE 68279.232
AT ITER 1053 NEW BEST:: SOT 222992 SOS 97862 HAS SOPS 87348 HAS SOUS 72979 HAS SOUPS 68105 WITH SCORE 68202.862
AT ITER 1060 NEW BEST:: SOT 222905 SOS 97803 HAS SOPS 87289 HAS SOUS 72919 HAS SOUPS 68045 WITH SCORE 68142.803
AT ITER 1066 NEW BEST:: SOT 222555 SOS 97453 HAS SOPS 86939 HAS SOUS 72762 HAS SOUPS 67888 WITH SCORE 67985.453
AT ITER 1081 NEW BEST:: SOT 222550 SOS 97448 HAS SOPS 86934 HAS SOUS 72757 HAS SOUPS 67883 WITH SCORE 67980.448
AT ITER 1085 NEW BEST:: SOT 222547 SOS 97445 HAS SOPS 86931 HAS SOUS 72754 HAS SOUPS 67880 WITH SCORE 67977.445
AT ITER 1087 NEW BEST:: SOT 222547 SOS 97417 HAS SOPS 86903 HAS SOUS 72742 HAS SOUPS 67868 WITH SCORE 67965.417
AT ITER 1090 NEW BEST:: SOT 222547 SOS 97413 HAS SOPS 86899 HAS SOUS 72738 HAS SOUPS 67864 WITH SCORE 67961.413
AT ITER 1100 NEW BEST:: SOT 222220 SOS 96836 HAS SOPS 86322 HAS SOUS 72536 HAS SOUPS 67662 WITH SCORE 67758.836
AT ITER 1104 NEW BEST:: SOT 222203 SOS 96724 HAS SOPS 86245 HAS SOUS 72424 HAS SOUPS 67585 WITH SCORE 67681.724
AT ITER 1105 NEW BEST:: SOT 222202 SOS 96831 HAS SOPS 86243 HAS SOUS 72422 HAS SOUPS 67583 WITH SCORE 67679.831
AT ITER 1108 NEW BEST:: SOT 222191 SOS 96820 HAS SOPS 86221 HAS SOUS 72349 HAS SOUPS 67499 WITH SCORE 67595.82
AT ITER 1114 NEW BEST:: SOT 222191 SOS 96545 HAS SOPS 85788 HAS SOUS 72232 HAS SOUPS 67224 WITH SCORE 67320.545
AT ITER 1124 NEW BEST:: SOT 222191 SOS 96532 HAS SOPS 85775 HAS SOUS 72219 HAS SOUPS 67211 WITH SCORE 67307.532
AT ITER 1128 NEW BEST:: SOT 221963 SOS 95440 HAS SOPS 85547 HAS SOUS 71767 HAS SOUPS 66987 WITH SCORE 67082.44
AT ITER 1131 NEW BEST:: SOT 221932 SOS 95409 HAS SOPS 85485 HAS SOUS 71705 HAS SOUPS 66894 WITH SCORE 66989.409
AT ITER 1142 NEW BEST:: SOT 221887 SOS 95109 HAS SOPS 84957 HAS SOUS 71405 HAS SOUPS 66366 WITH SCORE 66461.109
AT ITER 1151 NEW BEST:: SOT 221575 SOS 94421 HAS SOPS 84645 HAS SOUS 71093 HAS SOUPS 66171 WITH SCORE 66265.421
AT ITER 1152 NEW BEST:: SOT 221523 SOS 94300 HAS SOPS 84524 HAS SOUS 71050 HAS SOUPS 66128 WITH SCORE 66222.3
AT ITER 1153 NEW BEST:: SOT 221522 SOS 92066 HAS SOPS 82400 HAS SOUS 71048 HAS SOUPS 66126 WITH SCORE 66218.066
AT ITER 1169 NEW BEST:: SOT 221416 SOS 91590 HAS SOPS 81924 HAS SOUS 70706 HAS SOUPS 65784 WITH SCORE 65875.59
AT ITER 1181 NEW BEST:: SOT 221312 SOS 91498 HAS SOPS 81778 HAS SOUS 70670 HAS SOUPS 65694 WITH SCORE 65785.498
AT ITER 1182 NEW BEST:: SOT 221232 SOS 91398 HAS SOPS 81678 HAS SOUS 70610 HAS SOUPS 65634 WITH SCORE 65725.398
AT ITER 1193 NEW BEST:: SOT 220440 SOS 90647 HAS SOPS 80927 HAS SOUS 70225 HAS SOUPS 65249 WITH SCORE 65339.647
AT ITER 1196 NEW BEST:: SOT 220386 SOS 90557 HAS SOPS 80837 HAS SOUS 70171 HAS SOUPS 65195 WITH SCORE 65285.557
AT ITER 1201 NEW BEST:: SOT 220244 SOS 90284 HAS SOPS 80648 HAS SOUS 69927 HAS SOUPS 64951 WITH SCORE 65041.284
AT ITER 1210 NEW BEST:: SOT 220243 SOS 90268 HAS SOPS 80661 HAS SOUS 69911 HAS SOUPS 64949 WITH SCORE 65039.268
AT ITER 1213 NEW BEST:: SOT 220225 SOS 90244 HAS SOPS 80637 HAS SOUS 69887 HAS SOUPS 64925 WITH SCORE 65015.244
AT ITER 1215 NEW BEST:: SOT 219812 SOS 89577 HAS SOPS 79970 HAS SOUS 69586 HAS SOUPS 64624 WITH SCORE 64713.577
AT ITER 1221 NEW BEST:: SOT 220131 SOS 89750 HAS SOPS 80143 HAS SOUS 69564 HAS SOUPS 64602 WITH SCORE 64691.75
AT ITER 1235 NEW BEST:: SOT 220078 SOS 89494 HAS SOPS 79887 HAS SOUS 69310 HAS SOUPS 64348 WITH SCORE 64437.494
AT ITER 1238 NEW BEST:: SOT 219934 SOS 88671 HAS SOPS 79780 HAS SOUS 69076 HAS SOUPS 64293 WITH SCORE 64381.671
AT ITER 1241 NEW BEST:: SOT 219805 SOS 88542 HAS SOPS 79522 HAS SOUS 68947 HAS SOUPS 64035 WITH SCORE 64123.542
AT ITER 1242 NEW BEST:: SOT 219805 SOS 88474 HAS SOPS 79454 HAS SOUS 68946 HAS SOUPS 64034 WITH SCORE 64122.474
AT ITER 1253 NEW BEST:: SOT 219603 SOS 88168 HAS SOPS 79089 HAS SOUS 68581 HAS SOUPS 63669 WITH SCORE 63757.168
AT ITER 1255 NEW BEST:: SOT 219603 SOS 88140 HAS SOPS 79061 HAS SOUS 68553 HAS SOUPS 63641 WITH SCORE 63729.14
AT ITER 1260 NEW BEST:: SOT 219480 SOS 88017 HAS SOPS 78938 HAS SOUS 68546 HAS SOUPS 63634 WITH SCORE 63722.017
AT ITER 1266 NEW BEST:: SOT 219233 SOS 87968 HAS SOPS 78822 HAS SOUS 68497 HAS SOUPS 63518 WITH SCORE 63605.968
AT ITER 1272 NEW BEST:: SOT 218975 SOS 88017 HAS SOPS 78871 HAS SOUS 68263 HAS SOUPS 63284 WITH SCORE 63372.017
AT ITER 1281 NEW BEST:: SOT 219275 SOS 88532 HAS SOPS 78686 HAS SOUS 68376 HAS SOUPS 63210 WITH SCORE 63298.532
AT ITER 1284 NEW BEST:: SOT 219514 SOS 88912 HAS SOPS 78561 HAS SOUS 68433 HAS SOUPS 63085 WITH SCORE 63173.912
AT ITER 1285 NEW BEST:: SOT 219530 SOS 88910 HAS SOPS 78559 HAS SOUS 68431 HAS SOUPS 63083 WITH SCORE 63171.91
AT ITER 1298 NEW BEST:: SOT 219530 SOS 88953 HAS SOPS 78379 HAS SOUS 68371 HAS SOUPS 62963 WITH SCORE 63051.953
AT ITER 1305 NEW BEST:: SOT 219568 SOS 88804 HAS SOPS 78230 HAS SOUS 68273 HAS SOUPS 62865 WITH SCORE 62953.804
AT ITER 1311 NEW BEST:: SOT 219567 SOS 88715 HAS SOPS 78228 HAS SOUS 68271 HAS SOUPS 62863 WITH SCORE 62951.715
AT ITER 1324 NEW BEST:: SOT 219621 SOS 88890 HAS SOPS 78045 HAS SOUS 68446 HAS SOUPS 62680 WITH SCORE 62768.89
AT ITER 1336 NEW BEST:: SOT 219547 SOS 88849 HAS SOPS 78004 HAS SOUS 68445 HAS SOUPS 62679 WITH SCORE 62767.849
AT ITER 1342 NEW BEST:: SOT 219512 SOS 88814 HAS SOPS 77969 HAS SOUS 68441 HAS SOUPS 62675 WITH SCORE 62763.814
AT ITER 1343 NEW BEST:: SOT 219411 SOS 88612 HAS SOPS 77767 HAS SOUS 68340 HAS SOUPS 62574 WITH SCORE 62662.612
AT ITER 1352 NEW BEST:: SOT 219233 SOS 88280 HAS SOPS 77435 HAS SOUS 68162 HAS SOUPS 62396 WITH SCORE 62484.28
AT ITER 1354 NEW BEST:: SOT 219080 SOS 88025 HAS SOPS 77180 HAS SOUS 68009 HAS SOUPS 62243 WITH SCORE 62331.025
AT ITER 1356 NEW BEST:: SOT 219016 SOS 87897 HAS SOPS 77052 HAS SOUS 67881 HAS SOUPS 62115 WITH SCORE 62202.897
AT ITER 1368 NEW BEST:: SOT 219109 SOS 87904 HAS SOPS 77059 HAS SOUS 67795 HAS SOUPS 62029 WITH SCORE 62116.904
AT ITER 1370 NEW BEST:: SOT 219061 SOS 87856 HAS SOPS 77011 HAS SOUS 67771 HAS SOUPS 62005 WITH SCORE 62092.856
AT ITER 1383 NEW BEST:: SOT 219061 SOS 87720 HAS SOPS 76875 HAS SOUS 67759 HAS SOUPS 61993 WITH SCORE 62080.72
AT ITER 1394 NEW BEST:: SOT 219393 SOS 88639 HAS SOPS 76937 HAS SOUS 68001 HAS SOUPS 61979 WITH SCORE 62067.639
AT ITER 1395 NEW BEST:: SOT 219393 SOS 88406 HAS SOPS 76704 HAS SOUS 67768 HAS SOUPS 61746 WITH SCORE 61834.406
AT ITER 1404 NEW BEST:: SOT 219312 SOS 88569 HAS SOPS 76623 HAS SOUS 67798 HAS SOUPS 61665 WITH SCORE 61753.569
AT ITER 1420 NEW BEST:: SOT 219677 SOS 89732 HAS SOPS 76718 HAS SOUS 68051 HAS SOUPS 61602 WITH SCORE 61691.732
AT ITER 1421 NEW BEST:: SOT 219558 SOS 89546 HAS SOPS 76398 HAS SOUS 67765 HAS SOUPS 61282 WITH SCORE 61371.546
AT ITER 1429 NEW BEST:: SOT 219894 SOS 89588 HAS SOPS 76440 HAS SOUS 67736 HAS SOUPS 61253 WITH SCORE 61342.588
AT ITER 1447 NEW BEST:: SOT 219861 SOS 89556 HAS SOPS 76408 HAS SOUS 67704 HAS SOUPS 61221 WITH SCORE 61310.556
AT ITER 1448 NEW BEST:: SOT 219999 SOS 89719 HAS SOPS 76364 HAS SOUS 67729 HAS SOUPS 61177 WITH SCORE 61266.719
AT ITER 1452 NEW BEST:: SOT 219999 SOS 90086 HAS SOPS 76222 HAS SOUS 67719 HAS SOUPS 61035 WITH SCORE 61125.086
AT ITER 1458 NEW BEST:: SOT 219998 SOS 90085 HAS SOPS 76220 HAS SOUS 67718 HAS SOUPS 61033 WITH SCORE 61123.085
AT ITER 1459 NEW BEST:: SOT 220005 SOS 90092 HAS SOPS 76227 HAS SOUS 67537 HAS SOUPS 60852 WITH SCORE 60942.092
AT ITER 1461 NEW BEST:: SOT 219843 SOS 89888 HAS SOPS 76004 HAS SOUS 67405 HAS SOUPS 60701 WITH SCORE 60790.888
AT ITER 1466 NEW BEST:: SOT 219858 SOS 89454 HAS SOPS 75629 HAS SOUS 67386 HAS SOUPS 60682 WITH SCORE 60771.454
AT ITER 1469 NEW BEST:: SOT 219651 SOS 89349 HAS SOPS 75524 HAS SOUS 67352 HAS SOUPS 60648 WITH SCORE 60737.349
AT ITER 1474 NEW BEST:: SOT 219673 SOS 89353 HAS SOPS 75507 HAS SOUS 67348 HAS SOUPS 60631 WITH SCORE 60720.353
AT ITER 1475 NEW BEST:: SOT 218685 SOS 88977 HAS SOPS 75131 HAS SOUS 67184 HAS SOUPS 60467 WITH SCORE 60555.977
AT ITER 1476 NEW BEST:: SOT 218685 SOS 88939 HAS SOPS 75093 HAS SOUS 67146 HAS SOUPS 60429 WITH SCORE 60517.939
AT ITER 1484 NEW BEST:: SOT 218390 SOS 88631 HAS SOPS 74785 HAS SOUS 66956 HAS SOUPS 60239 WITH SCORE 60327.631
AT ITER 1488 NEW BEST:: SOT 218386 SOS 88626 HAS SOPS 74774 HAS SOUS 66945 HAS SOUPS 60228 WITH SCORE 60316.626
AT ITER 1490 NEW BEST:: SOT 218257 SOS 88637 HAS SOPS 74785 HAS SOUS 66827 HAS SOUPS 60110 WITH SCORE 60198.637
AT ITER 1491 NEW BEST:: SOT 218232 SOS 88612 HAS SOPS 74735 HAS SOUS 66786 HAS SOUPS 60060 WITH SCORE 60148.612
AT ITER 1494 NEW BEST:: SOT 218106 SOS 88234 HAS SOPS 74357 HAS SOUS 66534 HAS SOUPS 59808 WITH SCORE 59896.234
AT ITER 1500 NEW BEST:: SOT 218087 SOS 87983 HAS SOPS 74106 HAS SOUS 66399 HAS SOUPS 59673 WITH SCORE 59760.983
AT ITER 1503 NEW BEST:: SOT 218083 SOS 87915 HAS SOPS 74038 HAS SOUS 66357 HAS SOUPS 59631 WITH SCORE 59718.915
AT ITER 1513 NEW BEST:: SOT 218047 SOS 87879 HAS SOPS 74036 HAS SOUS 66320 HAS SOUPS 59594 WITH SCORE 59681.879
AT ITER 1521 NEW BEST:: SOT 218033 SOS 87846 HAS SOPS 73901 HAS SOUS 66370 HAS SOUPS 59582 WITH SCORE 59669.846
AT ITER 1534 NEW BEST:: SOT 217923 SOS 87610 HAS SOPS 73665 HAS SOUS 66276 HAS SOUPS 59488 WITH SCORE 59575.61
AT ITER 1545 NEW BEST:: SOT 217747 SOS 87391 HAS SOPS 73175 HAS SOUS 65848 HAS SOUPS 58998 WITH SCORE 59085.391
AT ITER 1548 NEW BEST:: SOT 217741 SOS 87385 HAS SOPS 73169 HAS SOUS 65842 HAS SOUPS 58992 WITH SCORE 59079.385
AT ITER 1555 NEW BEST:: SOT 217429 SOS 87005 HAS SOPS 72789 HAS SOUS 65672 HAS SOUPS 58822 WITH SCORE 58909.005
AT ITER 1556 NEW BEST:: SOT 217429 SOS 87194 HAS SOPS 72726 HAS SOUS 65672 HAS SOUPS 58759 WITH SCORE 58846.194
AT ITER 1558 NEW BEST:: SOT 217428 SOS 87191 HAS SOPS 72726 HAS SOUS 65672 HAS SOUPS 58759 WITH SCORE 58846.191
AT ITER 1563 NEW BEST:: SOT 217428 SOS 87175 HAS SOPS 72726 HAS SOUS 65656 HAS SOUPS 58759 WITH SCORE 58846.175
AT ITER 1568 NEW BEST:: SOT 217425 SOS 87172 HAS SOPS 72723 HAS SOUS 65603 HAS SOUPS 58706 WITH SCORE 58793.172
AT ITER 1570 NEW BEST:: SOT 217394 SOS 87141 HAS SOPS 72715 HAS SOUS 65595 HAS SOUPS 58698 WITH SCORE 58785.141
AT ITER 1580 NEW BEST:: SOT 217394 SOS 86966 HAS SOPS 72540 HAS SOUS 65393 HAS SOUPS 58496 WITH SCORE 58582.966
AT ITER 1584 NEW BEST:: SOT 217394 SOS 86604 HAS SOPS 72178 HAS SOUS 65236 HAS SOUPS 58339 WITH SCORE 58425.604
AT ITER 1586 NEW BEST:: SOT 217394 SOS 86599 HAS SOPS 72173 HAS SOUS 65231 HAS SOUPS 58334 WITH SCORE 58420.599
AT ITER 1588 NEW BEST:: SOT 217250 SOS 86312 HAS SOPS 71886 HAS SOUS 64944 HAS SOUPS 58047 WITH SCORE 58133.312
AT ITER 1589 NEW BEST:: SOT 217287 SOS 86236 HAS SOPS 71810 HAS SOUS 64872 HAS SOUPS 57975 WITH SCORE 58061.236
AT ITER 1598 NEW BEST:: SOT 216955 SOS 85868 HAS SOPS 71673 HAS SOUS 64605 HAS SOUPS 57939 WITH SCORE 58024.868
AT ITER 1601 NEW BEST:: SOT 216792 SOS 85405 HAS SOPS 71510 HAS SOUS 64292 HAS SOUPS 57776 WITH SCORE 57861.405
AT ITER 1612 NEW BEST:: SOT 216670 SOS 85391 HAS SOPS 71498 HAS SOUS 64278 HAS SOUPS 57764 WITH SCORE 57849.391
AT ITER 1623 NEW BEST:: SOT 216670 SOS 85391 HAS SOPS 71456 HAS SOUS 64253 HAS SOUPS 57722 WITH SCORE 57807.391
AT ITER 1645 NEW BEST:: SOT 216670 SOS 85643 HAS SOPS 71372 HAS SOUS 64253 HAS SOUPS 57638 WITH SCORE 57723.643
AT ITER 1673 NEW BEST:: SOT 216524 SOS 85111 HAS SOPS 70840 HAS SOUS 63887 HAS SOUPS 57272 WITH SCORE 57357.111
AT ITER 1679 NEW BEST:: SOT 216524 SOS 85100 HAS SOPS 70829 HAS SOUS 63876 HAS SOUPS 57261 WITH SCORE 57346.1
AT ITER 1682 NEW BEST:: SOT 216604 SOS 85146 HAS SOPS 70491 HAS SOUS 63858 HAS SOUPS 57147 WITH SCORE 57232.146
AT ITER 1685 NEW BEST:: SOT 216578 SOS 85120 HAS SOPS 70465 HAS SOUS 63806 HAS SOUPS 57095 WITH SCORE 57180.12
AT ITER 1687 NEW BEST:: SOT 216488 SOS 85030 HAS SOPS 70375 HAS SOUS 63716 HAS SOUPS 57005 WITH SCORE 57090.03
AT ITER 1688 NEW BEST:: SOT 216484 SOS 85026 HAS SOPS 70371 HAS SOUS 63714 HAS SOUPS 57003 WITH SCORE 57088.026
AT ITER 1690 NEW BEST:: SOT 216598 SOS 84990 HAS SOPS 70335 HAS SOUS 63662 HAS SOUPS 56951 WITH SCORE 57035.99
AT ITER 1691 NEW BEST:: SOT 216670 SOS 85351 HAS SOPS 70321 HAS SOUS 63755 HAS SOUPS 56928 WITH SCORE 57013.351
AT ITER 1693 NEW BEST:: SOT 216610 SOS 85171 HAS SOPS 70141 HAS SOUS 63635 HAS SOUPS 56808 WITH SCORE 56893.171
AT ITER 1696 NEW BEST:: SOT 216962 SOS 86206 HAS SOPS 70162 HAS SOUS 63914 HAS SOUPS 56800 WITH SCORE 56886.206
AT ITER 1705 NEW BEST:: SOT 216944 SOS 86106 HAS SOPS 70062 HAS SOUS 63818 HAS SOUPS 56704 WITH SCORE 56790.106
AT ITER 1711 NEW BEST:: SOT 216944 SOS 86026 HAS SOPS 69982 HAS SOUS 63778 HAS SOUPS 56664 WITH SCORE 56750.026
AT ITER 1718 NEW BEST:: SOT 216878 SOS 85806 HAS SOPS 69656 HAS SOUS 63558 HAS SOUPS 56338 WITH SCORE 56423.806
AT ITER 1730 NEW BEST:: SOT 216878 SOS 85809 HAS SOPS 69647 HAS SOUS 63556 HAS SOUPS 56333 WITH SCORE 56418.809
AT ITER 1731 NEW BEST:: SOT 216418 SOS 85807 HAS SOPS 69645 HAS SOUS 63554 HAS SOUPS 56331 WITH SCORE 56416.807
AT ITER 1740 NEW BEST:: SOT 216335 SOS 85724 HAS SOPS 69479 HAS SOUS 63541 HAS SOUPS 56249 WITH SCORE 56334.724
AT ITER 1749 NEW BEST:: SOT 216121 SOS 85614 HAS SOPS 69369 HAS SOUS 63431 HAS SOUPS 56139 WITH SCORE 56224.614
AT ITER 1750 NEW BEST:: SOT 216090 SOS 85567 HAS SOPS 69307 HAS SOUS 63382 HAS SOUPS 56077 WITH SCORE 56162.567
AT ITER 1766 NEW BEST:: SOT 216090 SOS 85567 HAS SOPS 69307 HAS SOUS 63375 HAS SOUPS 56070 WITH SCORE 56155.567
AT ITER 1773 NEW BEST:: SOT 216010 SOS 85492 HAS SOPS 69232 HAS SOUS 63300 HAS SOUPS 55995 WITH SCORE 56080.492
AT ITER 1776 NEW BEST:: SOT 215890 SOS 85184 HAS SOPS 68924 HAS SOUS 62992 HAS SOUPS 55687 WITH SCORE 55772.184
AT ITER 1781 NEW BEST:: SOT 215816 SOS 85041 HAS SOPS 68781 HAS SOUS 62923 HAS SOUPS 55618 WITH SCORE 55703.041
AT ITER 1790 NEW BEST:: SOT 215440 SOS 84805 HAS SOPS 68545 HAS SOUS 62735 HAS SOUPS 55430 WITH SCORE 55514.805
AT ITER 1797 NEW BEST:: SOT 215440 SOS 84783 HAS SOPS 68523 HAS SOUS 62713 HAS SOUPS 55408 WITH SCORE 55492.783
AT ITER 1806 NEW BEST:: SOT 215440 SOS 84771 HAS SOPS 68511 HAS SOUS 62701 HAS SOUPS 55396 WITH SCORE 55480.771
AT ITER 1811 NEW BEST:: SOT 215400 SOS 84731 HAS SOPS 68431 HAS SOUS 62661 HAS SOUPS 55316 WITH SCORE 55400.731
AT ITER 1812 NEW BEST:: SOT 215332 SOS 84707 HAS SOPS 68407 HAS SOUS 62593 HAS SOUPS 55248 WITH SCORE 55332.707
AT ITER 1822 NEW BEST:: SOT 215332 SOS 84682 HAS SOPS 68382 HAS SOUS 62593 HAS SOUPS 55248 WITH SCORE 55332.682
AT ITER 1833 NEW BEST:: SOT 215234 SOS 84489 HAS SOPS 68328 HAS SOUS 62400 HAS SOUPS 55194 WITH SCORE 55278.489
AT ITER 1836 NEW BEST:: SOT 215269 SOS 84426 HAS SOPS 68265 HAS SOUS 62302 HAS SOUPS 55096 WITH SCORE 55180.426
AT ITER 1839 NEW BEST:: SOT 215269 SOS 84412 HAS SOPS 68251 HAS SOUS 62288 HAS SOUPS 55082 WITH SCORE 55166.412
AT ITER 1852 NEW BEST:: SOT 215203 SOS 84304 HAS SOPS 68143 HAS SOUS 62234 HAS SOUPS 55028 WITH SCORE 55112.304
AT ITER 1863 NEW BEST:: SOT 215189 SOS 84290 HAS SOPS 68131 HAS SOUS 62220 HAS SOUPS 55016 WITH SCORE 55100.29
AT ITER 1864 NEW BEST:: SOT 215189 SOS 84032 HAS SOPS 68131 HAS SOUS 62220 HAS SOUPS 55016 WITH SCORE 55100.032
AT ITER 1873 NEW BEST:: SOT 215442 SOS 83946 HAS SOPS 68001 HAS SOUS 62255 HAS SOUPS 55007 WITH SCORE 55090.946
AT ITER 1875 NEW BEST:: SOT 215388 SOS 83838 HAS SOPS 67893 HAS SOUS 62201 HAS SOUPS 54953 WITH SCORE 55036.838
AT ITER 1889 NEW BEST:: SOT 215388 SOS 83907 HAS SOPS 67870 HAS SOUS 62201 HAS SOUPS 54930 WITH SCORE 55013.907
AT ITER 1890 NEW BEST:: SOT 215306 SOS 83813 HAS SOPS 67834 HAS SOUS 62130 HAS SOUPS 54917 WITH SCORE 55000.813
AT ITER 1915 NEW BEST:: SOT 215201 SOS 83690 HAS SOPS 67711 HAS SOUS 62047 HAS SOUPS 54834 WITH SCORE 54917.69
AT ITER 1917 NEW BEST:: SOT 215227 SOS 83640 HAS SOPS 67437 HAS SOUS 61972 HAS SOUPS 54692 WITH SCORE 54775.64
AT ITER 1920 NEW BEST:: SOT 214418 SOS 83408 HAS SOPS 67205 HAS SOUS 61205 HAS SOUPS 53925 WITH SCORE 54008.408
AT ITER 1927 NEW BEST:: SOT 214418 SOS 83353 HAS SOPS 67182 HAS SOUS 61182 HAS SOUPS 53902 WITH SCORE 53985.353
AT ITER 1941 NEW BEST:: SOT 214411 SOS 83346 HAS SOPS 67174 HAS SOUS 61180 HAS SOUPS 53900 WITH SCORE 53983.346
AT ITER 1944 NEW BEST:: SOT 214303 SOS 83130 HAS SOPS 66958 HAS SOUS 61072 HAS SOUPS 53792 WITH SCORE 53875.13
AT ITER 1952 NEW BEST:: SOT 214211 SOS 83826 HAS SOPS 66761 HAS SOUS 61231 HAS SOUPS 53587 WITH SCORE 53670.826
AT ITER 1966 NEW BEST:: SOT 214154 SOS 83769 HAS SOPS 66704 HAS SOUS 61174 HAS SOUPS 53530 WITH SCORE 53613.769
AT ITER 1970 NEW BEST:: SOT 214116 SOS 83699 HAS SOPS 66634 HAS SOUS 61142 HAS SOUPS 53498 WITH SCORE 53581.699
AT ITER 1979 NEW BEST:: SOT 214095 SOS 83678 HAS SOPS 66664 HAS SOUS 61005 HAS SOUPS 53412 WITH SCORE 53495.678
AT ITER 1999 NEW BEST:: SOT 214101 SOS 83619 HAS SOPS 66605 HAS SOUS 60946 HAS SOUPS 53353 WITH SCORE 53436.619
AT ITER 2018 NEW BEST:: SOT 214117 SOS 83495 HAS SOPS 66481 HAS SOUS 60897 HAS SOUPS 53304 WITH SCORE 53387.495
AT ITER 2026 NEW BEST:: SOT 214075 SOS 83414 HAS SOPS 66400 HAS SOUS 60837 HAS SOUPS 53244 WITH SCORE 53327.414
AT ITER 2036 NEW BEST:: SOT 214075 SOS 83493 HAS SOPS 66375 HAS SOUS 60838 HAS SOUPS 53219 WITH SCORE 53302.493
AT ITER 2037 NEW BEST:: SOT 214081 SOS 83580 HAS SOPS 66294 HAS SOUS 60757 HAS SOUPS 53138 WITH SCORE 53221.58
AT ITER 2038 NEW BEST:: SOT 214030 SOS 83529 HAS SOPS 66120 HAS SOUS 60773 HAS SOUPS 53036 WITH SCORE 53119.529
AT ITER 2048 NEW BEST:: SOT 213958 SOS 83587 HAS SOPS 66178 HAS SOUS 60701 HAS SOUPS 52964 WITH SCORE 53047.587
AT ITER 2053 NEW BEST:: SOT 213978 SOS 83590 HAS SOPS 66181 HAS SOUS 60661 HAS SOUPS 52924 WITH SCORE 53007.59
AT ITER 2057 NEW BEST:: SOT 213768 SOS 83183 HAS SOPS 65976 HAS SOUS 60439 HAS SOUPS 52719 WITH SCORE 52802.183
AT ITER 2063 NEW BEST:: SOT 213727 SOS 83102 HAS SOPS 65935 HAS SOUS 60366 HAS SOUPS 52678 WITH SCORE 52761.102
AT ITER 2071 NEW BEST:: SOT 213711 SOS 83078 HAS SOPS 65911 HAS SOUS 60342 HAS SOUPS 52654 WITH SCORE 52737.078
AT ITER 2092 NEW BEST:: SOT 213557 SOS 82930 HAS SOPS 65762 HAS SOUS 60291 HAS SOUPS 52603 WITH SCORE 52685.93
AT ITER 2099 NEW BEST:: SOT 213551 SOS 82924 HAS SOPS 65750 HAS SOUS 60279 HAS SOUPS 52591 WITH SCORE 52673.924
AT ITER 2101 NEW BEST:: SOT 213551 SOS 82906 HAS SOPS 65690 HAS SOUS 60314 HAS SOUPS 52591 WITH SCORE 52673.906
AT ITER 2111 NEW BEST:: SOT 213551 SOS 82872 HAS SOPS 65656 HAS SOUS 60303 HAS SOUPS 52580 WITH SCORE 52662.872
AT ITER 2112 NEW BEST:: SOT 213559 SOS 82846 HAS SOPS 65630 HAS SOUS 60277 HAS SOUPS 52554 WITH SCORE 52636.846
AT ITER 2119 NEW BEST:: SOT 213474 SOS 82765 HAS SOPS 65552 HAS SOUS 60198 HAS SOUPS 52476 WITH SCORE 52558.765
AT ITER 2122 NEW BEST:: SOT 213469 SOS 82740 HAS SOPS 65527 HAS SOUS 60183 HAS SOUPS 52461 WITH SCORE 52543.74
AT ITER 2123 NEW BEST:: SOT 213258 SOS 82640 HAS SOPS 65450 HAS SOUS 60153 HAS SOUPS 52454 WITH SCORE 52536.64
AT ITER 2141 NEW BEST:: SOT 213162 SOS 82349 HAS SOPS 65363 HAS SOUS 60060 HAS SOUPS 52412 WITH SCORE 52494.349
AT ITER 2154 NEW BEST:: SOT 213014 SOS 82192 HAS SOPS 65206 HAS SOUS 60042 HAS SOUPS 52394 WITH SCORE 52476.192
AT ITER 2186 NEW BEST:: SOT 212952 SOS 82130 HAS SOPS 65075 HAS SOUS 59955 HAS SOUPS 52263 WITH SCORE 52345.13
AT ITER 2190 NEW BEST:: SOT 212928 SOS 82082 HAS SOPS 65027 HAS SOUS 59907 HAS SOUPS 52215 WITH SCORE 52297.082
AT ITER 2192 NEW BEST:: SOT 212905 SOS 82383 HAS SOPS 65004 HAS SOUS 60058 HAS SOUPS 52192 WITH SCORE 52274.383
AT ITER 2203 NEW BEST:: SOT 212679 SOS 82001 HAS SOPS 64778 HAS SOUS 59843 HAS SOUPS 52098 WITH SCORE 52180.001
AT ITER 2207 NEW BEST:: SOT 212007 SOS 81172 HAS SOPS 63949 HAS SOUS 59041 HAS SOUPS 51296 WITH SCORE 51377.172
AT ITER 2208 NEW BEST:: SOT 212091 SOS 81221 HAS SOPS 63907 HAS SOUS 59125 HAS SOUPS 51289 WITH SCORE 51370.221
AT ITER 2209 NEW BEST:: SOT 212084 SOS 81196 HAS SOPS 63882 HAS SOUS 59108 HAS SOUPS 51272 WITH SCORE 51353.196
AT ITER 2231 NEW BEST:: SOT 211889 SOS 80950 HAS SOPS 63636 HAS SOUS 58913 HAS SOUPS 51077 WITH SCORE 51157.95
AT ITER 2258 NEW BEST:: SOT 211860 SOS 80868 HAS SOPS 63554 HAS SOUS 58831 HAS SOUPS 50995 WITH SCORE 51075.868
AT ITER 2260 NEW BEST:: SOT 211860 SOS 80858 HAS SOPS 63544 HAS SOUS 58831 HAS SOUPS 50995 WITH SCORE 51075.858
AT ITER 2269 NEW BEST:: SOT 211860 SOS 80858 HAS SOPS 63544 HAS SOUS 58810 HAS SOUPS 50974 WITH SCORE 51054.858
AT ITER 2292 NEW BEST:: SOT 211742 SOS 80587 HAS SOPS 63273 HAS SOUS 58384 HAS SOUPS 50548 WITH SCORE 50628.587
AT ITER 2295 NEW BEST:: SOT 211688 SOS 80533 HAS SOPS 63219 HAS SOUS 58357 HAS SOUPS 50521 WITH SCORE 50601.533
AT ITER 2324 NEW BEST:: SOT 211722 SOS 80494 HAS SOPS 63180 HAS SOUS 58325 HAS SOUPS 50489 WITH SCORE 50569.494
AT ITER 2331 NEW BEST:: SOT 211712 SOS 80484 HAS SOPS 63170 HAS SOUS 58305 HAS SOUPS 50469 WITH SCORE 50549.484
AT ITER 2345 NEW BEST:: SOT 211712 SOS 80550 HAS SOPS 63147 HAS SOUS 58371 HAS SOUPS 50446 WITH SCORE 50526.55
AT ITER 2346 NEW BEST:: SOT 212195 SOS 80565 HAS SOPS 63162 HAS SOUS 58252 HAS SOUPS 50327 WITH SCORE 50407.565
AT ITER 2365 NEW BEST:: SOT 212148 SOS 80798 HAS SOPS 62936 HAS SOUS 58179 HAS SOUPS 50101 WITH SCORE 50181.798
AT ITER 2370 NEW BEST:: SOT 212156 SOS 80490 HAS SOPS 62628 HAS SOUS 58002 HAS SOUPS 49924 WITH SCORE 50004.49
AT ITER 2381 NEW BEST:: SOT 212105 SOS 80342 HAS SOPS 62424 HAS SOUS 57871 HAS SOUPS 49822 WITH SCORE 49902.342
AT ITER 2402 NEW BEST:: SOT 212155 SOS 80306 HAS SOPS 62388 HAS SOUS 57851 HAS SOUPS 49802 WITH SCORE 49882.306
AT ITER 2466 NEW BEST:: SOT 212101 SOS 80174 HAS SOPS 62256 HAS SOUS 57758 HAS SOUPS 49709 WITH SCORE 49789.174
AT ITER 2472 NEW BEST:: SOT 212040 SOS 80137 HAS SOPS 62219 HAS SOUS 57746 HAS SOUPS 49697 WITH SCORE 49777.137
AT ITER 2475 NEW BEST:: SOT 212015 SOS 80112 HAS SOPS 62194 HAS SOUS 57696 HAS SOUPS 49647 WITH SCORE 49727.112
AT ITER 2478 NEW BEST:: SOT 212005 SOS 80001 HAS SOPS 62003 HAS SOUS 57585 HAS SOUPS 49456 WITH SCORE 49536.001
AT ITER 2485 NEW BEST:: SOT 211647 SOS 79541 HAS SOPS 62045 HAS SOUS 57383 HAS SOUPS 49405 WITH SCORE 49484.541
AT ITER 2501 NEW BEST:: SOT 211632 SOS 79552 HAS SOPS 62015 HAS SOUS 57368 HAS SOUPS 49389 WITH SCORE 49468.552
AT ITER 2502 NEW BEST:: SOT 211485 SOS 79405 HAS SOPS 61868 HAS SOUS 57319 HAS SOUPS 49340 WITH SCORE 49419.405
AT ITER 2523 NEW BEST:: SOT 211308 SOS 78691 HAS SOPS 61276 HAS SOUS 57129 HAS SOUPS 49272 WITH SCORE 49350.691
AT ITER 2524 NEW BEST:: SOT 211300 SOS 78550 HAS SOPS 61135 HAS SOUS 56988 HAS SOUPS 49131 WITH SCORE 49209.55
AT ITER 2529 NEW BEST:: SOT 211299 SOS 78549 HAS SOPS 61072 HAS SOUS 57048 HAS SOUPS 49129 WITH SCORE 49207.549
AT ITER 2534 NEW BEST:: SOT 211295 SOS 78341 HAS SOPS 60864 HAS SOUS 57040 HAS SOUPS 49121 WITH SCORE 49199.341
AT ITER 2547 NEW BEST:: SOT 211256 SOS 78302 HAS SOPS 60825 HAS SOUS 57001 HAS SOUPS 49082 WITH SCORE 49160.302
AT ITER 2549 NEW BEST:: SOT 211256 SOS 78280 HAS SOPS 60803 HAS SOUS 56979 HAS SOUPS 49060 WITH SCORE 49138.28
AT ITER 2557 NEW BEST:: SOT 211178 SOS 78013 HAS SOPS 60536 HAS SOUS 56974 HAS SOUPS 49055 WITH SCORE 49133.013
AT ITER 2559 NEW BEST:: SOT 211178 SOS 78011 HAS SOPS 60526 HAS SOUS 56972 HAS SOUPS 49051 WITH SCORE 49129.011
AT ITER 2567 NEW BEST:: SOT 211118 SOS 77931 HAS SOPS 60446 HAS SOUS 56911 HAS SOUPS 48990 WITH SCORE 49067.931
AT ITER 2571 NEW BEST:: SOT 211116 SOS 77929 HAS SOPS 60444 HAS SOUS 56909 HAS SOUPS 48988 WITH SCORE 49065.929
AT ITER 2592 NEW BEST:: SOT 211088 SOS 77911 HAS SOPS 60426 HAS SOUS 56903 HAS SOUPS 48982 WITH SCORE 49059.911
AT ITER 2593 NEW BEST:: SOT 211070 SOS 77881 HAS SOPS 60396 HAS SOUS 56885 HAS SOUPS 48964 WITH SCORE 49041.881
AT ITER 2615 NEW BEST:: SOT 211052 SOS 77863 HAS SOPS 60396 HAS SOUS 56885 HAS SOUPS 48964 WITH SCORE 49041.863
AT ITER 2628 NEW BEST:: SOT 211052 SOS 77856 HAS SOPS 60389 HAS SOUS 56878 HAS SOUPS 48957 WITH SCORE 49034.856
AT ITER 2635 NEW BEST:: SOT 211046 SOS 77844 HAS SOPS 60377 HAS SOUS 56866 HAS SOUPS 48945 WITH SCORE 49022.844
AT ITER 2640 NEW BEST:: SOT 210996 SOS 77658 HAS SOPS 60327 HAS SOUS 56680 HAS SOUPS 48895 WITH SCORE 48972.658
AT ITER 2660 NEW BEST:: SOT 210914 SOS 77576 HAS SOPS 60245 HAS SOUS 56609 HAS SOUPS 48824 WITH SCORE 48901.576
AT ITER 2662 NEW BEST:: SOT 211012 SOS 77968 HAS SOPS 60287 HAS SOUS 56707 HAS SOUPS 48809 WITH SCORE 48886.968
AT ITER 2667 NEW BEST:: SOT 210966 SOS 77902 HAS SOPS 60221 HAS SOUS 56637 HAS SOUPS 48739 WITH SCORE 48816.902
AT ITER 2675 NEW BEST:: SOT 210966 SOS 77800 HAS SOPS 60221 HAS SOUS 56637 HAS SOUPS 48739 WITH SCORE 48816.8
AT ITER 2678 NEW BEST:: SOT 210892 SOS 77658 HAS SOPS 60079 HAS SOUS 56563 HAS SOUPS 48665 WITH SCORE 48742.658
AT ITER 2691 NEW BEST:: SOT 210770 SOS 77536 HAS SOPS 59957 HAS SOUS 56508 HAS SOUPS 48610 WITH SCORE 48687.536
AT ITER 2701 NEW BEST:: SOT 210684 SOS 77536 HAS SOPS 59957 HAS SOUS 56497 HAS SOUPS 48599 WITH SCORE 48676.536
AT ITER 2703 NEW BEST:: SOT 210683 SOS 77535 HAS SOPS 59956 HAS SOUS 56488 HAS SOUPS 48590 WITH SCORE 48667.535
AT ITER 2704 NEW BEST:: SOT 210653 SOS 77496 HAS SOPS 59917 HAS SOUS 56461 HAS SOUPS 48563 WITH SCORE 48640.496
AT ITER 2720 NEW BEST:: SOT 210432 SOS 77322 HAS SOPS 59441 HAS SOUS 56247 HAS SOUPS 48087 WITH SCORE 48164.322
AT ITER 2724 NEW BEST:: SOT 210445 SOS 77301 HAS SOPS 59420 HAS SOUS 56226 HAS SOUPS 48066 WITH SCORE 48143.301
AT ITER 2735 NEW BEST:: SOT 210445 SOS 77263 HAS SOPS 59382 HAS SOUS 56188 HAS SOUPS 48028 WITH SCORE 48105.263
AT ITER 2744 NEW BEST:: SOT 210471 SOS 77185 HAS SOPS 58968 HAS SOUS 56130 HAS SOUPS 47886 WITH SCORE 47963.185
AT ITER 2746 NEW BEST:: SOT 210435 SOS 77181 HAS SOPS 58964 HAS SOUS 56126 HAS SOUPS 47882 WITH SCORE 47959.181
AT ITER 2760 NEW BEST:: SOT 210592 SOS 77338 HAS SOPS 58928 HAS SOUS 56090 HAS SOUPS 47846 WITH SCORE 47923.338
AT ITER 2790 NEW BEST:: SOT 210585 SOS 77365 HAS SOPS 58955 HAS SOUS 56083 HAS SOUPS 47839 WITH SCORE 47916.365
AT ITER 2801 NEW BEST:: SOT 210579 SOS 77398 HAS SOPS 58956 HAS SOUS 56074 HAS SOUPS 47830 WITH SCORE 47907.398
AT ITER 2807 NEW BEST:: SOT 210579 SOS 77386 HAS SOPS 58944 HAS SOUS 56068 HAS SOUPS 47824 WITH SCORE 47901.386
AT ITER 2808 NEW BEST:: SOT 210459 SOS 77266 HAS SOPS 58765 HAS SOUS 56009 HAS SOUPS 47706 WITH SCORE 47783.266
AT ITER 2809 NEW BEST:: SOT 210459 SOS 77250 HAS SOPS 58749 HAS SOUS 55993 HAS SOUPS 47690 WITH SCORE 47767.25
AT ITER 2833 NEW BEST:: SOT 210459 SOS 77246 HAS SOPS 58745 HAS SOUS 55991 HAS SOUPS 47688 WITH SCORE 47765.246
AT ITER 2837 NEW BEST:: SOT 210366 SOS 77115 HAS SOPS 58590 HAS SOUS 55922 HAS SOUPS 47595 WITH SCORE 47672.115
AT ITER 2844 NEW BEST:: SOT 210364 SOS 77109 HAS SOPS 58584 HAS SOUS 55920 HAS SOUPS 47593 WITH SCORE 47670.109
AT ITER 2851 NEW BEST:: SOT 210146 SOS 76973 HAS SOPS 58448 HAS SOUS 55817 HAS SOUPS 47490 WITH SCORE 47566.973
AT ITER 2864 NEW BEST:: SOT 210124 SOS 76909 HAS SOPS 58517 HAS SOUS 55673 HAS SOUPS 47479 WITH SCORE 47555.909
AT ITER 2870 NEW BEST:: SOT 210082 SOS 76825 HAS SOPS 58433 HAS SOUS 55589 HAS SOUPS 47395 WITH SCORE 47471.825
AT ITER 2887 NEW BEST:: SOT 209966 SOS 76477 HAS SOPS 58317 HAS SOUS 55473 HAS SOUPS 47337 WITH SCORE 47413.477
AT ITER 2890 NEW BEST:: SOT 209966 SOS 76363 HAS SOPS 58203 HAS SOUS 55441 HAS SOUPS 47305 WITH SCORE 47381.363
AT ITER 2910 NEW BEST:: SOT 209966 SOS 76298 HAS SOPS 58203 HAS SOUS 55376 HAS SOUPS 47305 WITH SCORE 47381.298
AT ITER 2911 NEW BEST:: SOT 209948 SOS 76280 HAS SOPS 58185 HAS SOUS 55340 HAS SOUPS 47269 WITH SCORE 47345.28
AT ITER 2939 NEW BEST:: SOT 209948 SOS 76231 HAS SOPS 58136 HAS SOUS 55340 HAS SOUPS 47269 WITH SCORE 47345.231
AT ITER 2940 NEW BEST:: SOT 209907 SOS 76186 HAS SOPS 58088 HAS SOUS 55334 HAS SOUPS 47263 WITH SCORE 47339.186
AT ITER 2944 NEW BEST:: SOT 209877 SOS 76130 HAS SOPS 58032 HAS SOUS 55304 HAS SOUPS 47233 WITH SCORE 47309.13
AT ITER 2948 NEW BEST:: SOT 209884 SOS 75982 HAS SOPS 57929 HAS SOUS 55266 HAS SOUPS 47195 WITH SCORE 47270.982
AT ITER 2956 NEW BEST:: SOT 209884 SOS 75978 HAS SOPS 57925 HAS SOUS 55262 HAS SOUPS 47191 WITH SCORE 47266.978
AT ITER 2971 NEW BEST:: SOT 209879 SOS 75973 HAS SOPS 57920 HAS SOUS 55252 HAS SOUPS 47181 WITH SCORE 47256.973
AT ITER 2979 NEW BEST:: SOT 209879 SOS 75955 HAS SOPS 57902 HAS SOUS 55234 HAS SOUPS 47163 WITH SCORE 47238.955
AT ITER 2987 NEW BEST:: SOT 209842 SOS 75882 HAS SOPS 57828 HAS SOUS 55197 HAS SOUPS 47125 WITH SCORE 47200.882
AT ITER 3017 NEW BEST:: SOT 209841 SOS 75506 HAS SOPS 57701 HAS SOUS 55173 HAS SOUPS 47123 WITH SCORE 47198.506
AT ITER 3021 NEW BEST:: SOT 209841 SOS 75434 HAS SOPS 57629 HAS SOUS 55173 HAS SOUPS 47123 WITH SCORE 47198.434
AT ITER 3022 NEW BEST:: SOT 209779 SOS 75282 HAS SOPS 57477 HAS SOUS 55031 HAS SOUPS 46981 WITH SCORE 47056.282
AT ITER 3037 NEW BEST:: SOT 209776 SOS 75057 HAS SOPS 57471 HAS SOUS 55025 HAS SOUPS 46975 WITH SCORE 47050.057
AT ITER 3039 NEW BEST:: SOT 209767 SOS 75176 HAS SOPS 57324 HAS SOUS 55016 HAS SOUPS 46897 WITH SCORE 46972.176
AT ITER 3043 NEW BEST:: SOT 209699 SOS 75047 HAS SOPS 57195 HAS SOUS 54887 HAS SOUPS 46768 WITH SCORE 46843.047
AT ITER 3046 NEW BEST:: SOT 209544 SOS 75033 HAS SOPS 57181 HAS SOUS 54783 HAS SOUPS 46664 WITH SCORE 46739.033
AT ITER 3064 NEW BEST:: SOT 209544 SOS 75033 HAS SOPS 57181 HAS SOUS 54777 HAS SOUPS 46658 WITH SCORE 46733.033
AT ITER 3072 NEW BEST:: SOT 209464 SOS 75032 HAS SOPS 57020 HAS SOUS 54616 HAS SOUPS 46497 WITH SCORE 46572.032
AT ITER 3080 NEW BEST:: SOT 209297 SOS 74955 HAS SOPS 56943 HAS SOUS 54596 HAS SOUPS 46477 WITH SCORE 46551.955
AT ITER 3093 NEW BEST:: SOT 209266 SOS 74786 HAS SOPS 56774 HAS SOUS 54565 HAS SOUPS 46446 WITH SCORE 46520.786
AT ITER 3097 NEW BEST:: SOT 209266 SOS 74598 HAS SOPS 56774 HAS SOUS 54518 HAS SOUPS 46446 WITH SCORE 46520.598
AT ITER 3099 NEW BEST:: SOT 209229 SOS 74612 HAS SOPS 56634 HAS SOUS 54378 HAS SOUPS 46306 WITH SCORE 46380.612
AT ITER 3100 NEW BEST:: SOT 209055 SOS 74116 HAS SOPS 56460 HAS SOUS 54108 HAS SOUPS 46128 WITH SCORE 46202.116
AT ITER 3111 NEW BEST:: SOT 209048 SOS 74095 HAS SOPS 56439 HAS SOUS 54094 HAS SOUPS 46114 WITH SCORE 46188.095
AT ITER 3116 NEW BEST:: SOT 209048 SOS 74091 HAS SOPS 56435 HAS SOUS 54094 HAS SOUPS 46114 WITH SCORE 46188.091
AT ITER 3120 NEW BEST:: SOT 208797 SOS 73710 HAS SOPS 55933 HAS SOUS 53901 HAS SOUPS 45800 WITH SCORE 45873.71
AT ITER 3121 NEW BEST:: SOT 208797 SOS 73710 HAS SOPS 55873 HAS SOUS 53878 HAS SOUPS 45770 WITH SCORE 45843.71
AT ITER 3123 NEW BEST:: SOT 208676 SOS 73298 HAS SOPS 55461 HAS SOUS 53587 HAS SOUPS 45479 WITH SCORE 45552.298
AT ITER 3124 NEW BEST:: SOT 208672 SOS 73294 HAS SOPS 55457 HAS SOUS 53583 HAS SOUPS 45475 WITH SCORE 45548.294
AT ITER 3126 NEW BEST:: SOT 208610 SOS 73232 HAS SOPS 55359 HAS SOUS 53511 HAS SOUPS 45403 WITH SCORE 45476.232
AT ITER 3134 NEW BEST:: SOT 208610 SOS 73198 HAS SOPS 55325 HAS SOUS 53477 HAS SOUPS 45369 WITH SCORE 45442.198
AT ITER 3140 NEW BEST:: SOT 208577 SOS 73179 HAS SOPS 55306 HAS SOUS 53465 HAS SOUPS 45357 WITH SCORE 45430.179
AT ITER 3152 NEW BEST:: SOT 208565 SOS 73167 HAS SOPS 55291 HAS SOUS 53456 HAS SOUPS 45348 WITH SCORE 45421.167
AT ITER 3155 NEW BEST:: SOT 208326 SOS 73141 HAS SOPS 55265 HAS SOUS 53430 HAS SOUPS 45322 WITH SCORE 45395.141
AT ITER 3166 NEW BEST:: SOT 208260 SOS 73127 HAS SOPS 55133 HAS SOUS 53298 HAS SOUPS 45190 WITH SCORE 45263.127
AT ITER 3174 NEW BEST:: SOT 208179 SOS 72803 HAS SOPS 55133 HAS SOUS 53217 HAS SOUPS 45190 WITH SCORE 45262.803
AT ITER 3180 NEW BEST:: SOT 208115 SOS 72764 HAS SOPS 55094 HAS SOUS 53094 HAS SOUPS 45067 WITH SCORE 45139.764
AT ITER 3188 NEW BEST:: SOT 208131 SOS 72682 HAS SOPS 55012 HAS SOUS 53057 HAS SOUPS 45030 WITH SCORE 45102.682
AT ITER 3196 NEW BEST:: SOT 208195 SOS 72712 HAS SOPS 55006 HAS SOUS 53051 HAS SOUPS 45024 WITH SCORE 45096.712
AT ITER 3198 NEW BEST:: SOT 208095 SOS 72562 HAS SOPS 54856 HAS SOUS 52901 HAS SOUPS 44874 WITH SCORE 44946.562
AT ITER 3240 NEW BEST:: SOT 208095 SOS 72555 HAS SOPS 54856 HAS SOUS 52894 HAS SOUPS 44874 WITH SCORE 44946.555
AT ITER 3241 NEW BEST:: SOT 208095 SOS 72471 HAS SOPS 54772 HAS SOUS 52894 HAS SOUPS 44874 WITH SCORE 44946.471
AT ITER 3266 NEW BEST:: SOT 208095 SOS 72225 HAS SOPS 54526 HAS SOUS 52771 HAS SOUPS 44751 WITH SCORE 44823.225
AT ITER 3283 NEW BEST:: SOT 208102 SOS 72212 HAS SOPS 54513 HAS SOUS 52751 HAS SOUPS 44731 WITH SCORE 44803.212
AT ITER 3306 NEW BEST:: SOT 208091 SOS 72201 HAS SOPS 54491 HAS SOUS 52751 HAS SOUPS 44720 WITH SCORE 44792.201
AT ITER 3310 NEW BEST:: SOT 208087 SOS 72195 HAS SOPS 54485 HAS SOUS 52747 HAS SOUPS 44716 WITH SCORE 44788.195
AT ITER 3314 NEW BEST:: SOT 208087 SOS 72195 HAS SOPS 54472 HAS SOUS 52747 HAS SOUPS 44703 WITH SCORE 44775.195
AT ITER 3324 NEW BEST:: SOT 207776 SOS 71961 HAS SOPS 54281 HAS SOUS 52603 HAS SOUPS 44602 WITH SCORE 44673.961
AT ITER 3361 NEW BEST:: SOT 207818 SOS 72195 HAS SOPS 54259 HAS SOUS 52645 HAS SOUPS 44580 WITH SCORE 44652.195
AT ITER 3368 NEW BEST:: SOT 207778 SOS 72312 HAS SOPS 54203 HAS SOUS 52762 HAS SOUPS 44524 WITH SCORE 44596.312
AT ITER 3369 NEW BEST:: SOT 207778 SOS 72312 HAS SOPS 54203 HAS SOUS 52723 HAS SOUPS 44485 WITH SCORE 44557.312
AT ITER 3381 NEW BEST:: SOT 207778 SOS 72312 HAS SOPS 54203 HAS SOUS 52721 HAS SOUPS 44483 WITH SCORE 44555.312
AT ITER 3386 NEW BEST:: SOT 207778 SOS 72090 HAS SOPS 53981 HAS SOUS 52647 HAS SOUPS 44409 WITH SCORE 44481.09
AT ITER 3388 NEW BEST:: SOT 207766 SOS 72078 HAS SOPS 53969 HAS SOUS 52640 HAS SOUPS 44402 WITH SCORE 44474.078
AT ITER 3393 NEW BEST:: SOT 207684 SOS 71903 HAS SOPS 53794 HAS SOUS 52465 HAS SOUPS 44227 WITH SCORE 44298.903
AT ITER 3395 NEW BEST:: SOT 207942 SOS 71751 HAS SOPS 53642 HAS SOUS 52404 HAS SOUPS 44166 WITH SCORE 44237.751
AT ITER 3423 NEW BEST:: SOT 207907 SOS 71716 HAS SOPS 53607 HAS SOUS 52369 HAS SOUPS 44131 WITH SCORE 44202.716
AT ITER 3452 NEW BEST:: SOT 207897 SOS 71706 HAS SOPS 53597 HAS SOUS 52364 HAS SOUPS 44126 WITH SCORE 44197.706
AT ITER 3457 NEW BEST:: SOT 207765 SOS 71520 HAS SOPS 53465 HAS SOUS 52242 HAS SOUPS 44058 WITH SCORE 44129.52
AT ITER 3466 NEW BEST:: SOT 207765 SOS 71427 HAS SOPS 53372 HAS SOUS 52149 HAS SOUPS 43965 WITH SCORE 44036.427
AT ITER 3479 NEW BEST:: SOT 207627 SOS 71155 HAS SOPS 53100 HAS SOUS 51877 HAS SOUPS 43693 WITH SCORE 43764.155
AT ITER 3491 NEW BEST:: SOT 207627 SOS 71059 HAS SOPS 53004 HAS SOUS 51845 HAS SOUPS 43661 WITH SCORE 43732.059
AT ITER 3500 NEW BEST:: SOT 207626 SOS 71035 HAS SOPS 52980 HAS SOUS 51837 HAS SOUPS 43653 WITH SCORE 43724.035
AT ITER 3502 NEW BEST:: SOT 207666 SOS 71064 HAS SOPS 52930 HAS SOUS 51787 HAS SOUPS 43603 WITH SCORE 43674.064
AT ITER 3509 NEW BEST:: SOT 207665 SOS 70909 HAS SOPS 52928 HAS SOUS 51741 HAS SOUPS 43601 WITH SCORE 43671.909
AT ITER 3514 NEW BEST:: SOT 207692 SOS 71603 HAS SOPS 52832 HAS SOUS 51979 HAS SOUPS 43505 WITH SCORE 43576.603
AT ITER 3520 NEW BEST:: SOT 207565 SOS 71495 HAS SOPS 52552 HAS SOUS 51699 HAS SOUPS 43225 WITH SCORE 43296.495
AT ITER 3533 NEW BEST:: SOT 207555 SOS 71542 HAS SOPS 52325 HAS SOUS 51632 HAS SOUPS 43078 WITH SCORE 43149.542
AT ITER 3536 NEW BEST:: SOT 207537 SOS 71544 HAS SOPS 52327 HAS SOUS 51614 HAS SOUPS 43060 WITH SCORE 43131.544
AT ITER 3537 NEW BEST:: SOT 207571 SOS 71769 HAS SOPS 52301 HAS SOUS 51654 HAS SOUPS 43034 WITH SCORE 43105.769
AT ITER 3542 NEW BEST:: SOT 207571 SOS 71723 HAS SOPS 52301 HAS SOUS 51608 HAS SOUPS 43034 WITH SCORE 43105.723
AT ITER 3543 NEW BEST:: SOT 207566 SOS 71705 HAS SOPS 52296 HAS SOUS 51603 HAS SOUPS 43029 WITH SCORE 43100.705
AT ITER 3548 NEW BEST:: SOT 207588 SOS 71650 HAS SOPS 52219 HAS SOUS 51592 HAS SOUPS 42996 WITH SCORE 43067.65
AT ITER 3561 NEW BEST:: SOT 207593 SOS 71715 HAS SOPS 52167 HAS SOUS 51552 HAS SOUPS 42956 WITH SCORE 43027.715
AT ITER 3574 NEW BEST:: SOT 207579 SOS 71687 HAS SOPS 52139 HAS SOUS 51524 HAS SOUPS 42928 WITH SCORE 42999.687
AT ITER 3581 NEW BEST:: SOT 207507 SOS 71567 HAS SOPS 52019 HAS SOUS 51452 HAS SOUPS 42856 WITH SCORE 42927.567
AT ITER 3584 NEW BEST:: SOT 207425 SOS 71332 HAS SOPS 51887 HAS SOUS 51217 HAS SOUPS 42724 WITH SCORE 42795.332
AT ITER 3600 NEW BEST:: SOT 207399 SOS 71312 HAS SOPS 51867 HAS SOUS 51208 HAS SOUPS 42715 WITH SCORE 42786.312
AT ITER 3610 NEW BEST:: SOT 207349 SOS 71296 HAS SOPS 51851 HAS SOUS 51192 HAS SOUPS 42699 WITH SCORE 42770.296
AT ITER 3640 NEW BEST:: SOT 207340 SOS 71287 HAS SOPS 51842 HAS SOUS 51183 HAS SOUPS 42690 WITH SCORE 42761.287
AT ITER 3658 NEW BEST:: SOT 207335 SOS 71282 HAS SOPS 51837 HAS SOUS 51178 HAS SOUPS 42685 WITH SCORE 42756.282
AT ITER 3665 NEW BEST:: SOT 207371 SOS 71318 HAS SOPS 51873 HAS SOUS 51171 HAS SOUPS 42678 WITH SCORE 42749.318
AT ITER 3677 NEW BEST:: SOT 207346 SOS 71380 HAS SOPS 51823 HAS SOUS 51159 HAS SOUPS 42628 WITH SCORE 42699.38
AT ITER 3710 NEW BEST:: SOT 207346 SOS 71309 HAS SOPS 51752 HAS SOUS 51159 HAS SOUPS 42628 WITH SCORE 42699.309
AT ITER 3721 NEW BEST:: SOT 207370 SOS 71265 HAS SOPS 51708 HAS SOUS 51132 HAS SOUPS 42601 WITH SCORE 42672.265
AT ITER 3747 NEW BEST:: SOT 207370 SOS 71097 HAS SOPS 51540 HAS SOUS 50964 HAS SOUPS 42433 WITH SCORE 42504.097
AT ITER 3748 NEW BEST:: SOT 207338 SOS 71065 HAS SOPS 51454 HAS SOUS 50922 HAS SOUPS 42369 WITH SCORE 42440.065
AT ITER 3750 NEW BEST:: SOT 207255 SOS 70982 HAS SOPS 51371 HAS SOUS 50888 HAS SOUPS 42335 WITH SCORE 42405.982
AT ITER 3766 NEW BEST:: SOT 207204 SOS 70931 HAS SOPS 51251 HAS SOUS 50819 HAS SOUPS 42215 WITH SCORE 42285.931
AT ITER 3774 NEW BEST:: SOT 207336 SOS 70816 HAS SOPS 51136 HAS SOUS 50759 HAS SOUPS 42155 WITH SCORE 42225.816
AT ITER 3782 NEW BEST:: SOT 207304 SOS 70720 HAS SOPS 51040 HAS SOUS 50695 HAS SOUPS 42091 WITH SCORE 42161.72
AT ITER 3812 NEW BEST:: SOT 207199 SOS 70615 HAS SOPS 50935 HAS SOUS 50590 HAS SOUPS 41986 WITH SCORE 42056.615
AT ITER 3832 NEW BEST:: SOT 207209 SOS 70461 HAS SOPS 50781 HAS SOUS 50436 HAS SOUPS 41832 WITH SCORE 41902.461
AT ITER 3842 NEW BEST:: SOT 207199 SOS 70402 HAS SOPS 50699 HAS SOUS 50373 HAS SOUPS 41769 WITH SCORE 41839.402
AT ITER 3899 NEW BEST:: SOT 207225 SOS 70733 HAS SOPS 50430 HAS SOUS 50378 HAS SOUPS 41624 WITH SCORE 41694.733
AT ITER 3919 NEW BEST:: SOT 207261 SOS 70735 HAS SOPS 50432 HAS SOUS 50287 HAS SOUPS 41533 WITH SCORE 41603.735
AT ITER 3928 NEW BEST:: SOT 207265 SOS 70688 HAS SOPS 50385 HAS SOUS 50244 HAS SOUPS 41490 WITH SCORE 41560.688
AT ITER 3931 NEW BEST:: SOT 207265 SOS 70570 HAS SOPS 50267 HAS SOUS 50244 HAS SOUPS 41490 WITH SCORE 41560.57
AT ITER 3933 NEW BEST:: SOT 207230 SOS 70535 HAS SOPS 50232 HAS SOUS 50210 HAS SOUPS 41456 WITH SCORE 41526.535
AT ITER 3934 NEW BEST:: SOT 207175 SOS 70484 HAS SOPS 50192 HAS SOUS 50159 HAS SOUPS 41416 WITH SCORE 41486.484
AT ITER 3935 NEW BEST:: SOT 207279 SOS 71075 HAS SOPS 50075 HAS SOUS 50219 HAS SOUPS 41299 WITH SCORE 41370.075
AT ITER 3943 NEW BEST:: SOT 207275 SOS 71069 HAS SOPS 50069 HAS SOUS 50215 HAS SOUPS 41295 WITH SCORE 41366.069
AT ITER 3946 NEW BEST:: SOT 207270 SOS 71358 HAS SOPS 50064 HAS SOUS 50236 HAS SOUPS 41218 WITH SCORE 41289.358
AT ITER 3949 NEW BEST:: SOT 207202 SOS 71244 HAS SOPS 49934 HAS SOUS 50174 HAS SOUPS 41140 WITH SCORE 41211.244
AT ITER 3959 NEW BEST:: SOT 207128 SOS 71096 HAS SOPS 49786 HAS SOUS 50097 HAS SOUPS 41063 WITH SCORE 41134.096
AT ITER 3967 NEW BEST:: SOT 207106 SOS 71074 HAS SOPS 49591 HAS SOUS 50226 HAS SOUPS 41019 WITH SCORE 41090.074
AT ITER 4011 NEW BEST:: SOT 207098 SOS 71066 HAS SOPS 49595 HAS SOUS 50210 HAS SOUPS 41003 WITH SCORE 41074.066
AT ITER 4018 NEW BEST:: SOT 207069 SOS 71037 HAS SOPS 49537 HAS SOUS 50210 HAS SOUPS 40974 WITH SCORE 41045.037
AT ITER 4022 NEW BEST:: SOT 206944 SOS 70812 HAS SOPS 49412 HAS SOUS 49985 HAS SOUPS 40849 WITH SCORE 40919.812
AT ITER 4026 NEW BEST:: SOT 206916 SOS 70689 HAS SOPS 49403 HAS SOUS 49938 HAS SOUPS 40840 WITH SCORE 40910.689
AT ITER 4028 NEW BEST:: SOT 207102 SOS 70647 HAS SOPS 49361 HAS SOUS 49930 HAS SOUPS 40832 WITH SCORE 40902.647
AT ITER 4051 NEW BEST:: SOT 207140 SOS 70677 HAS SOPS 49391 HAS SOUS 49922 HAS SOUPS 40824 WITH SCORE 40894.677
AT ITER 4055 NEW BEST:: SOT 206965 SOS 70502 HAS SOPS 49216 HAS SOUS 49768 HAS SOUPS 40670 WITH SCORE 40740.502
AT ITER 4056 NEW BEST:: SOT 207125 SOS 70461 HAS SOPS 49175 HAS SOUS 49736 HAS SOUPS 40638 WITH SCORE 40708.461
AT ITER 4057 NEW BEST:: SOT 207074 SOS 70101 HAS SOPS 48970 HAS SOUS 49634 HAS SOUPS 40536 WITH SCORE 40606.101
AT ITER 4079 NEW BEST:: SOT 207066 SOS 70085 HAS SOPS 48954 HAS SOUS 49618 HAS SOUPS 40520 WITH SCORE 40590.085
AT ITER 4085 NEW BEST:: SOT 207066 SOS 69557 HAS SOPS 48954 HAS SOUS 49618 HAS SOUPS 40520 WITH SCORE 40589.557
AT ITER 4097 NEW BEST:: SOT 207066 SOS 69512 HAS SOPS 48909 HAS SOUS 49618 HAS SOUPS 40520 WITH SCORE 40589.512
AT ITER 4106 NEW BEST:: SOT 207062 SOS 69536 HAS SOPS 48901 HAS SOUS 49549 HAS SOUPS 40512 WITH SCORE 40581.536
AT ITER 4107 NEW BEST:: SOT 207045 SOS 69501 HAS SOPS 48866 HAS SOUS 49531 HAS SOUPS 40494 WITH SCORE 40563.501
AT ITER 4116 NEW BEST:: SOT 207087 SOS 69494 HAS SOPS 48842 HAS SOUS 49532 HAS SOUPS 40478 WITH SCORE 40547.494
AT ITER 4118 NEW BEST:: SOT 207076 SOS 69459 HAS SOPS 48807 HAS SOUS 49509 HAS SOUPS 40455 WITH SCORE 40524.459
AT ITER 4124 NEW BEST:: SOT 207076 SOS 69450 HAS SOPS 48798 HAS SOUS 49500 HAS SOUPS 40446 WITH SCORE 40515.45
AT ITER 4136 NEW BEST:: SOT 207059 SOS 69382 HAS SOPS 48730 HAS SOUS 49483 HAS SOUPS 40429 WITH SCORE 40498.382
AT ITER 4157 NEW BEST:: SOT 207059 SOS 69464 HAS SOPS 48730 HAS SOUS 49428 HAS SOUPS 40374 WITH SCORE 40443.464
AT ITER 4170 NEW BEST:: SOT 207144 SOS 69292 HAS SOPS 48558 HAS SOUS 49386 HAS SOUPS 40332 WITH SCORE 40401.292
AT ITER 4235 NEW BEST:: SOT 207104 SOS 69396 HAS SOPS 48478 HAS SOUS 49352 HAS SOUPS 40252 WITH SCORE 40321.396
AT ITER 4241 NEW BEST:: SOT 207051 SOS 69379 HAS SOPS 48461 HAS SOUS 49265 HAS SOUPS 40165 WITH SCORE 40234.379
AT ITER 4243 NEW BEST:: SOT 207048 SOS 69376 HAS SOPS 48458 HAS SOUS 49262 HAS SOUPS 40159 WITH SCORE 40228.376
AT ITER 4246 NEW BEST:: SOT 207048 SOS 69362 HAS SOPS 48430 HAS SOUS 49248 HAS SOUPS 40131 WITH SCORE 40200.362
AT ITER 4254 NEW BEST:: SOT 207034 SOS 69348 HAS SOPS 48416 HAS SOUS 49234 HAS SOUPS 40117 WITH SCORE 40186.348
AT ITER 4268 NEW BEST:: SOT 207034 SOS 69422 HAS SOPS 48338 HAS SOUS 49308 HAS SOUPS 40039 WITH SCORE 40108.422
AT ITER 4295 NEW BEST:: SOT 207020 SOS 69408 HAS SOPS 48338 HAS SOUS 49294 HAS SOUPS 40039 WITH SCORE 40108.408
AT ITER 4300 NEW BEST:: SOT 207020 SOS 69450 HAS SOPS 48306 HAS SOUS 49288 HAS SOUPS 40007 WITH SCORE 40076.45
AT ITER 4302 NEW BEST:: SOT 207011 SOS 69441 HAS SOPS 48228 HAS SOUS 49279 HAS SOUPS 39929 WITH SCORE 39998.441
AT ITER 4303 NEW BEST:: SOT 206827 SOS 69474 HAS SOPS 48261 HAS SOUS 49081 HAS SOUPS 39731 WITH SCORE 39800.474
AT ITER 4305 NEW BEST:: SOT 206552 SOS 69237 HAS SOPS 48024 HAS SOUS 48883 HAS SOUPS 39533 WITH SCORE 39602.237
AT ITER 4307 NEW BEST:: SOT 206552 SOS 69236 HAS SOPS 48023 HAS SOUS 48882 HAS SOUPS 39532 WITH SCORE 39601.236
AT ITER 4331 NEW BEST:: SOT 206475 SOS 69241 HAS SOPS 48028 HAS SOUS 48846 HAS SOUPS 39496 WITH SCORE 39565.241
AT ITER 4401 NEW BEST:: SOT 206463 SOS 69229 HAS SOPS 48016 HAS SOUS 48834 HAS SOUPS 39484 WITH SCORE 39553.229
AT ITER 4409 NEW BEST:: SOT 206379 SOS 69145 HAS SOPS 47932 HAS SOUS 48834 HAS SOUPS 39484 WITH SCORE 39553.145
AT ITER 4439 NEW BEST:: SOT 206379 SOS 69142 HAS SOPS 47929 HAS SOUS 48831 HAS SOUPS 39481 WITH SCORE 39550.142
AT ITER 4441 NEW BEST:: SOT 206362 SOS 69057 HAS SOPS 47929 HAS SOUS 48814 HAS SOUPS 39481 WITH SCORE 39550.057
AT ITER 4472 NEW BEST:: SOT 206362 SOS 69074 HAS SOPS 47878 HAS SOUS 48797 HAS SOUPS 39447 WITH SCORE 39516.074
AT ITER 4486 NEW BEST:: SOT 206347 SOS 69059 HAS SOPS 47863 HAS SOUS 48796 HAS SOUPS 39446 WITH SCORE 39515.059
AT ITER 4511 NEW BEST:: SOT 206347 SOS 69059 HAS SOPS 47818 HAS SOUS 48751 HAS SOUPS 39401 WITH SCORE 39470.059
AT ITER 4518 NEW BEST:: SOT 206399 SOS 68995 HAS SOPS 47810 HAS SOUS 48691 HAS SOUPS 39397 WITH SCORE 39465.995
AT ITER 4560 NEW BEST:: SOT 206399 SOS 68972 HAS SOPS 47787 HAS SOUS 48691 HAS SOUPS 39397 WITH SCORE 39465.972
AT ITER 4565 NEW BEST:: SOT 206364 SOS 68861 HAS SOPS 47676 HAS SOUS 48615 HAS SOUPS 39321 WITH SCORE 39389.861
AT ITER 4572 NEW BEST:: SOT 206360 SOS 68857 HAS SOPS 47672 HAS SOUS 48611 HAS SOUPS 39317 WITH SCORE 39385.857
AT ITER 4579 NEW BEST:: SOT 206368 SOS 68869 HAS SOPS 47680 HAS SOUS 48612 HAS SOUPS 39314 WITH SCORE 39382.869
AT ITER 4594 NEW BEST:: SOT 206360 SOS 68795 HAS SOPS 47606 HAS SOUS 48576 HAS SOUPS 39278 WITH SCORE 39346.795
AT ITER 4604 NEW BEST:: SOT 206342 SOS 68641 HAS SOPS 47588 HAS SOUS 48524 HAS SOUPS 39260 WITH SCORE 39328.641
AT ITER 4633 NEW BEST:: SOT 206271 SOS 68426 HAS SOPS 47549 HAS SOUS 48453 HAS SOUPS 39233 WITH SCORE 39301.426
AT ITER 4678 NEW BEST:: SOT 206301 SOS 68542 HAS SOPS 47501 HAS SOUS 48457 HAS SOUPS 39196 WITH SCORE 39264.542
AT ITER 4692 NEW BEST:: SOT 206319 SOS 68465 HAS SOPS 47424 HAS SOUS 48433 HAS SOUPS 39172 WITH SCORE 39240.465
AT ITER 4710 NEW BEST:: SOT 206333 SOS 68443 HAS SOPS 47402 HAS SOUS 48415 HAS SOUPS 39154 WITH SCORE 39222.443
AT ITER 4718 NEW BEST:: SOT 206331 SOS 68439 HAS SOPS 47398 HAS SOUS 48413 HAS SOUPS 39152 WITH SCORE 39220.439
AT ITER 4764 NEW BEST:: SOT 206331 SOS 68316 HAS SOPS 47275 HAS SOUS 48333 HAS SOUPS 39072 WITH SCORE 39140.316
AT ITER 4780 NEW BEST:: SOT 206316 SOS 68271 HAS SOPS 47230 HAS SOUS 48303 HAS SOUPS 39042 WITH SCORE 39110.271
AT ITER 4795 NEW BEST:: SOT 206289 SOS 68283 HAS SOPS 47203 HAS SOUS 48315 HAS SOUPS 39015 WITH SCORE 39083.283
AT ITER 4821 NEW BEST:: SOT 206253 SOS 68247 HAS SOPS 47167 HAS SOUS 48297 HAS SOUPS 38997 WITH SCORE 39065.247
AT ITER 4828 NEW BEST:: SOT 206292 SOS 68286 HAS SOPS 47206 HAS SOUS 48289 HAS SOUPS 38989 WITH SCORE 39057.286
AT ITER 4835 NEW BEST:: SOT 206293 SOS 68209 HAS SOPS 47129 HAS SOUS 48231 HAS SOUPS 38931 WITH SCORE 38999.209
AT ITER 4837 NEW BEST:: SOT 206287 SOS 68179 HAS SOPS 47105 HAS SOUS 48213 HAS SOUPS 38919 WITH SCORE 38987.179
AT ITER 4848 NEW BEST:: SOT 206296 SOS 68257 HAS SOPS 47100 HAS SOUS 48222 HAS SOUPS 38872 WITH SCORE 38940.257
AT ITER 4849 NEW BEST:: SOT 206278 SOS 68248 HAS SOPS 47100 HAS SOUS 48213 HAS SOUPS 38872 WITH SCORE 38940.248
AT ITER 4880 NEW BEST:: SOT 206268 SOS 68218 HAS SOPS 47070 HAS SOUS 48203 HAS SOUPS 38862 WITH SCORE 38930.218
AT ITER 4899 NEW BEST:: SOT 206151 SOS 67633 HAS SOPS 47070 HAS SOUS 48086 HAS SOUPS 38862 WITH SCORE 38929.633
AT ITER 4913 NEW BEST:: SOT 206121 SOS 67603 HAS SOPS 47043 HAS SOUS 48056 HAS SOUPS 38835 WITH SCORE 38902.603
AT ITER 4945 NEW BEST:: SOT 206225 SOS 67565 HAS SOPS 47005 HAS SOUS 48048 HAS SOUPS 38827 WITH SCORE 38894.565
AT ITER 4953 NEW BEST:: SOT 206213 SOS 67553 HAS SOPS 46993 HAS SOUS 48040 HAS SOUPS 38819 WITH SCORE 38886.553
AT ITER 4978 NEW BEST:: SOT 206213 SOS 67557 HAS SOPS 46997 HAS SOUS 48008 HAS SOUPS 38787 WITH SCORE 38854.557
AT ITER 4983 NEW BEST:: SOT 206207 SOS 67418 HAS SOPS 46858 HAS SOUS 47966 HAS SOUPS 38745 WITH SCORE 38812.418
AT ITER 5012 NEW BEST:: SOT 206115 SOS 67046 HAS SOPS 46486 HAS SOUS 47710 HAS SOUPS 38489 WITH SCORE 38556.046
AT ITER 5038 NEW BEST:: SOT 206016 SOS 66947 HAS SOPS 46399 HAS SOUS 47630 HAS SOUPS 38421 WITH SCORE 38487.947
AT ITER 5047 NEW BEST:: SOT 205814 SOS 66745 HAS SOPS 46083 HAS SOUS 47542 HAS SOUPS 38219 WITH SCORE 38285.745
AT ITER 5053 NEW BEST:: SOT 205772 SOS 66675 HAS SOPS 46013 HAS SOUS 47500 HAS SOUPS 38177 WITH SCORE 38243.675
AT ITER 5058 NEW BEST:: SOT 205772 SOS 66631 HAS SOPS 45901 HAS SOUS 47456 HAS SOUPS 38065 WITH SCORE 38131.631
AT ITER 5065 NEW BEST:: SOT 205750 SOS 66620 HAS SOPS 45890 HAS SOUS 47456 HAS SOUPS 38065 WITH SCORE 38131.62
AT ITER 5075 NEW BEST:: SOT 205728 SOS 66537 HAS SOPS 45890 HAS SOUS 47434 HAS SOUPS 38065 WITH SCORE 38131.537
AT ITER 5105 NEW BEST:: SOT 205712 SOS 66516 HAS SOPS 45869 HAS SOUS 47418 HAS SOUPS 38049 WITH SCORE 38115.516
AT ITER 5109 NEW BEST:: SOT 205712 SOS 66503 HAS SOPS 45856 HAS SOUS 47405 HAS SOUPS 38036 WITH SCORE 38102.503
AT ITER 5136 NEW BEST:: SOT 205712 SOS 66375 HAS SOPS 45856 HAS SOUS 47405 HAS SOUPS 38036 WITH SCORE 38102.375
AT ITER 5150 NEW BEST:: SOT 205523 SOS 66156 HAS SOPS 45637 HAS SOUS 47186 HAS SOUPS 37817 WITH SCORE 37883.156
AT ITER 5195 NEW BEST:: SOT 205411 SOS 66044 HAS SOPS 45531 HAS SOUS 47074 HAS SOUPS 37711 WITH SCORE 37777.044
AT ITER 5200 NEW BEST:: SOT 205397 SOS 66012 HAS SOPS 45499 HAS SOUS 47051 HAS SOUPS 37688 WITH SCORE 37754.012
AT ITER 5205 NEW BEST:: SOT 205342 SOS 65983 HAS SOPS 45423 HAS SOUS 46997 HAS SOUPS 37633 WITH SCORE 37698.983
AT ITER 5225 NEW BEST:: SOT 205340 SOS 65981 HAS SOPS 45416 HAS SOUS 46998 HAS SOUPS 37629 WITH SCORE 37694.981
AT ITER 5239 NEW BEST:: SOT 205223 SOS 65396 HAS SOPS 45416 HAS SOUS 46881 HAS SOUPS 37629 WITH SCORE 37694.396
AT ITER 5259 NEW BEST:: SOT 205237 SOS 65410 HAS SOPS 45377 HAS SOUS 46895 HAS SOUPS 37590 WITH SCORE 37655.41
AT ITER 5264 NEW BEST:: SOT 205146 SOS 65108 HAS SOPS 45075 HAS SOUS 46781 HAS SOUPS 37476 WITH SCORE 37541.108
AT ITER 5303 NEW BEST:: SOT 205031 SOS 65042 HAS SOPS 45009 HAS SOUS 46715 HAS SOUPS 37410 WITH SCORE 37475.042
AT ITER 5343 NEW BEST:: SOT 205030 SOS 64955 HAS SOPS 45007 HAS SOUS 46713 HAS SOUPS 37408 WITH SCORE 37472.955
AT ITER 5347 NEW BEST:: SOT 205008 SOS 64889 HAS SOPS 44941 HAS SOUS 46691 HAS SOUPS 37386 WITH SCORE 37450.889
AT ITER 5425 NEW BEST:: SOT 204986 SOS 64663 HAS SOPS 44837 HAS SOUS 46609 HAS SOUPS 37304 WITH SCORE 37368.663
AT ITER 5431 NEW BEST:: SOT 204949 SOS 64602 HAS SOPS 44776 HAS SOUS 46572 HAS SOUPS 37267 WITH SCORE 37331.602
AT ITER 5442 NEW BEST:: SOT 204949 SOS 64588 HAS SOPS 44748 HAS SOUS 46558 HAS SOUPS 37239 WITH SCORE 37303.588
AT ITER 5444 NEW BEST:: SOT 204922 SOS 64587 HAS SOPS 44747 HAS SOUS 46459 HAS SOUPS 37140 WITH SCORE 37204.587
AT ITER 5465 NEW BEST:: SOT 204922 SOS 64581 HAS SOPS 44747 HAS SOUS 46459 HAS SOUPS 37140 WITH SCORE 37204.581
AT ITER 5538 NEW BEST:: SOT 204920 SOS 64576 HAS SOPS 44742 HAS SOUS 46456 HAS SOUPS 37137 WITH SCORE 37201.576
AT ITER 5550 NEW BEST:: SOT 204919 SOS 64574 HAS SOPS 44740 HAS SOUS 46454 HAS SOUPS 37135 WITH SCORE 37199.574
AT ITER 5576 NEW BEST:: SOT 204899 SOS 64554 HAS SOPS 44720 HAS SOUS 46434 HAS SOUPS 37115 WITH SCORE 37179.554
AT ITER 5593 NEW BEST:: SOT 204781 SOS 64541 HAS SOPS 44707 HAS SOUS 46409 HAS SOUPS 37090 WITH SCORE 37154.541
AT ITER 5601 NEW BEST:: SOT 204831 SOS 64591 HAS SOPS 44757 HAS SOUS 46397 HAS SOUPS 37078 WITH SCORE 37142.591
AT ITER 5631 NEW BEST:: SOT 204831 SOS 64591 HAS SOPS 44564 HAS SOUS 46204 HAS SOUPS 36885 WITH SCORE 36949.591
AT ITER 5675 NEW BEST:: SOT 204769 SOS 64552 HAS SOPS 44525 HAS SOUS 46171 HAS SOUPS 36852 WITH SCORE 36916.552
AT ITER 5712 NEW BEST:: SOT 204730 SOS 64535 HAS SOPS 44508 HAS SOUS 46168 HAS SOUPS 36849 WITH SCORE 36913.535
AT ITER 5742 NEW BEST:: SOT 204726 SOS 64527 HAS SOPS 44500 HAS SOUS 46164 HAS SOUPS 36845 WITH SCORE 36909.527
AT ITER 5744 NEW BEST:: SOT 204726 SOS 64528 HAS SOPS 44476 HAS SOUS 46171 HAS SOUPS 36827 WITH SCORE 36891.528
AT ITER 5759 NEW BEST:: SOT 204991 SOS 64770 HAS SOPS 44469 HAS SOUS 46413 HAS SOUPS 36820 WITH SCORE 36884.77
AT ITER 5764 NEW BEST:: SOT 204991 SOS 64770 HAS SOPS 44469 HAS SOUS 46379 HAS SOUPS 36786 WITH SCORE 36850.77
AT ITER 5797 NEW BEST:: SOT 204928 SOS 64707 HAS SOPS 44343 HAS SOUS 46316 HAS SOUPS 36723 WITH SCORE 36787.707
AT ITER 5822 NEW BEST:: SOT 204926 SOS 64705 HAS SOPS 44341 HAS SOUS 46314 HAS SOUPS 36721 WITH SCORE 36785.705
AT ITER 5863 NEW BEST:: SOT 205007 SOS 64731 HAS SOPS 44336 HAS SOUS 46340 HAS SOUPS 36716 WITH SCORE 36780.731
AT ITER 5870 NEW BEST:: SOT 204998 SOS 64704 HAS SOPS 44309 HAS SOUS 46331 HAS SOUPS 36707 WITH SCORE 36771.704
AT ITER 5896 NEW BEST:: SOT 204922 SOS 64584 HAS SOPS 44189 HAS SOUS 46211 HAS SOUPS 36587 WITH SCORE 36651.584
AT ITER 5928 NEW BEST:: SOT 204845 SOS 64344 HAS SOPS 43949 HAS SOUS 46122 HAS SOUPS 36498 WITH SCORE 36562.344
AT ITER 5960 NEW BEST:: SOT 204834 SOS 64285 HAS SOPS 43890 HAS SOUS 46083 HAS SOUPS 36459 WITH SCORE 36523.285
AT ITER 5964 NEW BEST:: SOT 204838 SOS 64270 HAS SOPS 43875 HAS SOUS 46068 HAS SOUPS 36444 WITH SCORE 36508.27
AT ITER 5966 NEW BEST:: SOT 204756 SOS 64188 HAS SOPS 43761 HAS SOUS 46040 HAS SOUPS 36416 WITH SCORE 36480.188
AT ITER 5967 NEW BEST:: SOT 204770 SOS 64261 HAS SOPS 43789 HAS SOUS 46054 HAS SOUPS 36385 WITH SCORE 36449.261
AT ITER 5973 NEW BEST:: SOT 204877 SOS 64323 HAS SOPS 43851 HAS SOUS 46053 HAS SOUPS 36384 WITH SCORE 36448.323
AT ITER 5995 NEW BEST:: SOT 204877 SOS 64348 HAS SOPS 43851 HAS SOUS 46038 HAS SOUPS 36369 WITH SCORE 36433.348
AT ITER 6010 NEW BEST:: SOT 204877 SOS 64095 HAS SOPS 43598 HAS SOUS 45883 HAS SOUPS 36214 WITH SCORE 36278.095
AT ITER 6035 NEW BEST:: SOT 204877 SOS 64070 HAS SOPS 43573 HAS SOUS 45883 HAS SOUPS 36214 WITH SCORE 36278.07
AT ITER 6042 NEW BEST:: SOT 204877 SOS 64063 HAS SOPS 43566 HAS SOUS 45876 HAS SOUPS 36207 WITH SCORE 36271.063
AT ITER 6050 NEW BEST:: SOT 204876 SOS 64055 HAS SOPS 43558 HAS SOUS 45874 HAS SOUPS 36205 WITH SCORE 36269.055
AT ITER 6080 NEW BEST:: SOT 205056 SOS 65005 HAS SOPS 43541 HAS SOUS 46054 HAS SOUPS 36188 WITH SCORE 36253.005
AT ITER 6096 NEW BEST:: SOT 205099 SOS 65048 HAS SOPS 43531 HAS SOUS 46052 HAS SOUPS 36178 WITH SCORE 36243.048
AT ITER 6103 NEW BEST:: SOT 205039 SOS 64945 HAS SOPS 43428 HAS SOUS 45967 HAS SOUPS 36093 WITH SCORE 36157.945
AT ITER 6114 NEW BEST:: SOT 204979 SOS 64852 HAS SOPS 43335 HAS SOUS 45934 HAS SOUPS 36060 WITH SCORE 36124.852
AT ITER 6126 NEW BEST:: SOT 204979 SOS 64851 HAS SOPS 43335 HAS SOUS 45933 HAS SOUPS 36060 WITH SCORE 36124.851
AT ITER 6136 NEW BEST:: SOT 204925 SOS 64788 HAS SOPS 43272 HAS SOUS 45924 HAS SOUPS 36051 WITH SCORE 36115.788
AT ITER 6207 NEW BEST:: SOT 204914 SOS 64777 HAS SOPS 43261 HAS SOUS 45913 HAS SOUPS 36040 WITH SCORE 36104.777
AT ITER 6231 NEW BEST:: SOT 204982 SOS 64908 HAS SOPS 43235 HAS SOUS 45967 HAS SOUPS 36028 WITH SCORE 36092.908
AT ITER 6239 NEW BEST:: SOT 204973 SOS 64905 HAS SOPS 43232 HAS SOUS 45964 HAS SOUPS 36025 WITH SCORE 36089.905
AT ITER 6242 NEW BEST:: SOT 204962 SOS 64894 HAS SOPS 43230 HAS SOUS 45962 HAS SOUPS 36023 WITH SCORE 36087.894
AT ITER 6244 NEW BEST:: SOT 204958 SOS 64890 HAS SOPS 43226 HAS SOUS 45954 HAS SOUPS 36015 WITH SCORE 36079.89
AT ITER 6256 NEW BEST:: SOT 204954 SOS 64882 HAS SOPS 43218 HAS SOUS 45950 HAS SOUPS 36011 WITH SCORE 36075.882
AT ITER 6280 NEW BEST:: SOT 204908 SOS 64765 HAS SOPS 43101 HAS SOUS 45879 HAS SOUPS 35940 WITH SCORE 36004.765
AT ITER 6297 NEW BEST:: SOT 204907 SOS 64596 HAS SOPS 43100 HAS SOUS 45836 HAS SOUPS 35939 WITH SCORE 36003.596
AT ITER 6309 NEW BEST:: SOT 204883 SOS 64584 HAS SOPS 43088 HAS SOUS 45824 HAS SOUPS 35927 WITH SCORE 35991.584
AT ITER 6310 NEW BEST:: SOT 204848 SOS 64535 HAS SOPS 43039 HAS SOUS 45809 HAS SOUPS 35912 WITH SCORE 35976.535
AT ITER 6315 NEW BEST:: SOT 204848 SOS 64525 HAS SOPS 43029 HAS SOUS 45804 HAS SOUPS 35907 WITH SCORE 35971.525
AT ITER 6340 NEW BEST:: SOT 204845 SOS 64522 HAS SOPS 43023 HAS SOUS 45795 HAS SOUPS 35901 WITH SCORE 35965.522
AT ITER 6344 NEW BEST:: SOT 204816 SOS 64495 HAS SOPS 42996 HAS SOUS 45766 HAS SOUPS 35872 WITH SCORE 35936.495
AT ITER 6349 NEW BEST:: SOT 204777 SOS 64398 HAS SOPS 42899 HAS SOUS 45622 HAS SOUPS 35728 WITH SCORE 35792.398
AT ITER 6357 NEW BEST:: SOT 204711 SOS 64332 HAS SOPS 42833 HAS SOUS 45556 HAS SOUPS 35662 WITH SCORE 35726.332
AT ITER 6361 NEW BEST:: SOT 204675 SOS 64215 HAS SOPS 42824 HAS SOUS 45529 HAS SOUPS 35662 WITH SCORE 35726.215
AT ITER 6365 NEW BEST:: SOT 204675 SOS 64349 HAS SOPS 42958 HAS SOUS 45515 HAS SOUPS 35648 WITH SCORE 35712.349
AT ITER 6383 NEW BEST:: SOT 204693 SOS 64549 HAS SOPS 42902 HAS SOUS 45517 HAS SOUPS 35586 WITH SCORE 35650.549
AT ITER 6386 NEW BEST:: SOT 204770 SOS 64588 HAS SOPS 42941 HAS SOUS 45475 HAS SOUPS 35544 WITH SCORE 35608.588
AT ITER 6393 NEW BEST:: SOT 204770 SOS 64582 HAS SOPS 42935 HAS SOUS 45461 HAS SOUPS 35530 WITH SCORE 35594.582
AT ITER 6398 NEW BEST:: SOT 204566 SOS 64335 HAS SOPS 42688 HAS SOUS 45274 HAS SOUPS 35343 WITH SCORE 35407.335
AT ITER 6431 NEW BEST:: SOT 204446 SOS 64253 HAS SOPS 42606 HAS SOUS 45198 HAS SOUPS 35267 WITH SCORE 35331.253
AT ITER 6442 NEW BEST:: SOT 204379 SOS 64267 HAS SOPS 42466 HAS SOUS 45058 HAS SOUPS 35127 WITH SCORE 35191.267
AT ITER 6463 NEW BEST:: SOT 204315 SOS 64267 HAS SOPS 42402 HAS SOUS 44994 HAS SOUPS 35063 WITH SCORE 35127.267
AT ITER 6468 NEW BEST:: SOT 204266 SOS 63991 HAS SOPS 42353 HAS SOUS 44890 HAS SOUPS 35014 WITH SCORE 35077.991
AT ITER 6502 NEW BEST:: SOT 204294 SOS 64095 HAS SOPS 42321 HAS SOUS 44876 HAS SOUPS 34966 WITH SCORE 35030.095
AT ITER 6504 NEW BEST:: SOT 204260 SOS 64050 HAS SOPS 42296 HAS SOUS 44845 HAS SOUPS 34955 WITH SCORE 35019.05
AT ITER 6522 NEW BEST:: SOT 204382 SOS 64172 HAS SOPS 42418 HAS SOUS 44792 HAS SOUPS 34902 WITH SCORE 34966.172
AT ITER 6531 NEW BEST:: SOT 204376 SOS 64153 HAS SOPS 42406 HAS SOUS 44780 HAS SOUPS 34890 WITH SCORE 34954.153
AT ITER 6539 NEW BEST:: SOT 204369 SOS 64139 HAS SOPS 42399 HAS SOUS 44766 HAS SOUPS 34883 WITH SCORE 34947.139
AT ITER 6541 NEW BEST:: SOT 204369 SOS 64133 HAS SOPS 42393 HAS SOUS 44760 HAS SOUPS 34877 WITH SCORE 34941.133
AT ITER 6579 NEW BEST:: SOT 204376 SOS 64114 HAS SOPS 42299 HAS SOUS 44741 HAS SOUPS 34783 WITH SCORE 34847.114
AT ITER 6587 NEW BEST:: SOT 204376 SOS 64108 HAS SOPS 42293 HAS SOUS 44735 HAS SOUPS 34777 WITH SCORE 34841.108
AT ITER 6602 NEW BEST:: SOT 204339 SOS 64071 HAS SOPS 42256 HAS SOUS 44698 HAS SOUPS 34740 WITH SCORE 34804.071
AT ITER 6615 NEW BEST:: SOT 204285 SOS 64042 HAS SOPS 42227 HAS SOUS 44696 HAS SOUPS 34738 WITH SCORE 34802.042
AT ITER 6644 NEW BEST:: SOT 204273 SOS 64012 HAS SOPS 42197 HAS SOUS 44678 HAS SOUPS 34720 WITH SCORE 34784.012
AT ITER 6666 NEW BEST:: SOT 204339 SOS 64078 HAS SOPS 42105 HAS SOUS 44586 HAS SOUPS 34628 WITH SCORE 34692.078
AT ITER 6685 NEW BEST:: SOT 204316 SOS 64055 HAS SOPS 42082 HAS SOUS 44563 HAS SOUPS 34605 WITH SCORE 34669.055
AT ITER 6737 NEW BEST:: SOT 204556 SOS 65074 HAS SOPS 41965 HAS SOUS 44759 HAS SOUPS 34512 WITH SCORE 34577.074
AT ITER 6776 NEW BEST:: SOT 204486 SOS 65458 HAS SOPS 42441 HAS SOUS 44698 HAS SOUPS 34474 WITH SCORE 34539.458
AT ITER 6798 NEW BEST:: SOT 204459 SOS 65460 HAS SOPS 42375 HAS SOUS 44700 HAS SOUPS 34408 WITH SCORE 34473.46
AT ITER 6860 NEW BEST:: SOT 204450 SOS 65451 HAS SOPS 42357 HAS SOUS 44682 HAS SOUPS 34390 WITH SCORE 34455.451
AT ITER 6913 NEW BEST:: SOT 204451 SOS 65450 HAS SOPS 42356 HAS SOUS 44679 HAS SOUPS 34387 WITH SCORE 34452.45
AT ITER 6920 NEW BEST:: SOT 204417 SOS 65466 HAS SOPS 42344 HAS SOUS 44701 HAS SOUPS 34381 WITH SCORE 34446.466
AT ITER 6934 NEW BEST:: SOT 204412 SOS 65419 HAS SOPS 42297 HAS SOUS 44675 HAS SOUPS 34355 WITH SCORE 34420.419
AT ITER 6972 NEW BEST:: SOT 204301 SOS 65197 HAS SOPS 42075 HAS SOUS 44564 HAS SOUPS 34244 WITH SCORE 34309.197
AT ITER 6978 NEW BEST:: SOT 204181 SOS 65070 HAS SOPS 42068 HAS SOUS 44437 HAS SOUPS 34237 WITH SCORE 34302.07
AT ITER 7080 NEW BEST:: SOT 204200 SOS 65075 HAS SOPS 42073 HAS SOUS 44434 HAS SOUPS 34234 WITH SCORE 34299.075
AT ITER 7085 NEW BEST:: SOT 204191 SOS 65056 HAS SOPS 42055 HAS SOUS 44421 HAS SOUPS 34221 WITH SCORE 34286.056
AT ITER 7108 NEW BEST:: SOT 204132 SOS 66859 HAS SOPS 43858 HAS SOUS 44411 HAS SOUPS 34211 WITH SCORE 34277.859
AT ITER 7148 NEW BEST:: SOT 204112 SOS 66826 HAS SOPS 43818 HAS SOUS 44371 HAS SOUPS 34171 WITH SCORE 34237.826
AT ITER 7167 NEW BEST:: SOT 204164 SOS 66700 HAS SOPS 43718 HAS SOUS 44343 HAS SOUPS 34143 WITH SCORE 34209.7
AT ITER 7207 NEW BEST:: SOT 204180 SOS 66702 HAS SOPS 43720 HAS SOUS 44339 HAS SOUPS 34139 WITH SCORE 34205.702
AT ITER 7223 NEW BEST:: SOT 204176 SOS 66702 HAS SOPS 43720 HAS SOUS 44337 HAS SOUPS 34137 WITH SCORE 34203.702
AT ITER 7264 NEW BEST:: SOT 204176 SOS 66701 HAS SOPS 43719 HAS SOUS 44337 HAS SOUPS 34137 WITH SCORE 34203.701
AT ITER 7272 NEW BEST:: SOT 204152 SOS 66681 HAS SOPS 43699 HAS SOUS 44325 HAS SOUPS 34125 WITH SCORE 34191.681
AT ITER 7287 NEW BEST:: SOT 204141 SOS 66670 HAS SOPS 43677 HAS SOUS 44314 HAS SOUPS 34103 WITH SCORE 34169.67
AT ITER 7294 NEW BEST:: SOT 204131 SOS 66660 HAS SOPS 43667 HAS SOUS 44304 HAS SOUPS 34093 WITH SCORE 34159.66
AT ITER 7313 NEW BEST:: SOT 204122 SOS 66651 HAS SOPS 43658 HAS SOUS 44300 HAS SOUPS 34089 WITH SCORE 34155.651
AT ITER 7314 NEW BEST:: SOT 204072 SOS 66618 HAS SOPS 43625 HAS SOUS 44289 HAS SOUPS 34078 WITH SCORE 34144.618
AT ITER 7320 NEW BEST:: SOT 204090 SOS 66600 HAS SOPS 43607 HAS SOUS 44289 HAS SOUPS 34078 WITH SCORE 34144.6
AT ITER 7371 NEW BEST:: SOT 204076 SOS 65170 HAS SOPS 42177 HAS SOUS 44239 HAS SOUPS 34028 WITH SCORE 34093.17
AT ITER 7374 NEW BEST:: SOT 204062 SOS 65149 HAS SOPS 42156 HAS SOUS 44218 HAS SOUPS 34007 WITH SCORE 34072.149
AT ITER 7398 NEW BEST:: SOT 204028 SOS 65153 HAS SOPS 42160 HAS SOUS 44212 HAS SOUPS 34001 WITH SCORE 34066.153
AT ITER 7428 NEW BEST:: SOT 204028 SOS 65147 HAS SOPS 42148 HAS SOUS 44212 HAS SOUPS 33995 WITH SCORE 34060.147
AT ITER 7461 NEW BEST:: SOT 204028 SOS 64811 HAS SOPS 42036 HAS SOUS 44212 HAS SOUPS 33995 WITH SCORE 34059.811
AT ITER 7475 NEW BEST:: SOT 204021 SOS 64784 HAS SOPS 42009 HAS SOUS 44205 HAS SOUPS 33988 WITH SCORE 34052.784
AT ITER 7529 NEW BEST:: SOT 204013 SOS 64750 HAS SOPS 42001 HAS SOUS 44197 HAS SOUPS 33988 WITH SCORE 34052.75
AT ITER 7547 NEW BEST:: SOT 203945 SOS 64546 HAS SOPS 41865 HAS SOUS 44129 HAS SOUPS 33920 WITH SCORE 33984.546
AT ITER 7557 NEW BEST:: SOT 204004 SOS 64605 HAS SOPS 41927 HAS SOUS 44121 HAS SOUPS 33912 WITH SCORE 33976.605
AT ITER 7571 NEW BEST:: SOT 204026 SOS 64594 HAS SOPS 41916 HAS SOUS 44110 HAS SOUPS 33901 WITH SCORE 33965.594
AT ITER 7602 NEW BEST:: SOT 204062 SOS 64596 HAS SOPS 41898 HAS SOUS 44112 HAS SOUPS 33883 WITH SCORE 33947.596
AT ITER 7617 NEW BEST:: SOT 203864 SOS 64398 HAS SOPS 41818 HAS SOUS 43933 HAS SOUPS 33803 WITH SCORE 33867.398
AT ITER 7641 NEW BEST:: SOT 203864 SOS 64263 HAS SOPS 41818 HAS SOUS 43933 HAS SOUPS 33803 WITH SCORE 33867.263
AT ITER 7648 NEW BEST:: SOT 203858 SOS 64260 HAS SOPS 41815 HAS SOUS 43930 HAS SOUPS 33800 WITH SCORE 33864.26
AT ITER 7672 NEW BEST:: SOT 203815 SOS 64045 HAS SOPS 41815 HAS SOUS 43887 HAS SOUPS 33800 WITH SCORE 33864.045
AT ITER 7682 NEW BEST:: SOT 203869 SOS 64122 HAS SOPS 41892 HAS SOUS 43872 HAS SOUPS 33785 WITH SCORE 33849.122
AT ITER 7689 NEW BEST:: SOT 203861 SOS 64114 HAS SOPS 41876 HAS SOUS 43856 HAS SOUPS 33769 WITH SCORE 33833.114
AT ITER 7699 NEW BEST:: SOT 203881 SOS 64156 HAS SOPS 41872 HAS SOUS 43874 HAS SOUPS 33765 WITH SCORE 33829.156
AT ITER 7840 NEW BEST:: SOT 203880 SOS 64155 HAS SOPS 41832 HAS SOUS 43886 HAS SOUPS 33738 WITH SCORE 33802.155
AT ITER 7888 NEW BEST:: SOT 203835 SOS 64320 HAS SOPS 41653 HAS SOUS 43704 HAS SOUPS 33559 WITH SCORE 33623.32
AT ITER 7897 NEW BEST:: SOT 203820 SOS 64321 HAS SOPS 41654 HAS SOUS 43699 HAS SOUPS 33554 WITH SCORE 33618.321
AT ITER 7898 NEW BEST:: SOT 203820 SOS 64315 HAS SOPS 41648 HAS SOUS 43695 HAS SOUPS 33550 WITH SCORE 33614.315
AT ITER 7909 NEW BEST:: SOT 203784 SOS 64270 HAS SOPS 41603 HAS SOUS 43686 HAS SOUPS 33541 WITH SCORE 33605.27
AT ITER 7919 NEW BEST:: SOT 203782 SOS 64183 HAS SOPS 41516 HAS SOUS 43661 HAS SOUPS 33516 WITH SCORE 33580.183
AT ITER 7934 NEW BEST:: SOT 203685 SOS 64143 HAS SOPS 41476 HAS SOUS 43648 HAS SOUPS 33503 WITH SCORE 33567.143
AT ITER 7940 NEW BEST:: SOT 203671 SOS 64118 HAS SOPS 41451 HAS SOUS 43640 HAS SOUPS 33495 WITH SCORE 33559.118
AT ITER 7975 NEW BEST:: SOT 203661 SOS 64107 HAS SOPS 41440 HAS SOUS 43634 HAS SOUPS 33489 WITH SCORE 33553.107
AT ITER 7989 NEW BEST:: SOT 203661 SOS 64098 HAS SOPS 41440 HAS SOUS 43625 HAS SOUPS 33489 WITH SCORE 33553.098
AT ITER 8026 NEW BEST:: SOT 203659 SOS 64085 HAS SOPS 41427 HAS SOUS 43614 HAS SOUPS 33478 WITH SCORE 33542.085
AT ITER 8030 NEW BEST:: SOT 203640 SOS 64077 HAS SOPS 41419 HAS SOUS 43594 HAS SOUPS 33458 WITH SCORE 33522.077
AT ITER 8039 NEW BEST:: SOT 203636 SOS 64073 HAS SOPS 41415 HAS SOUS 43592 HAS SOUPS 33456 WITH SCORE 33520.073
AT ITER 8041 NEW BEST:: SOT 203625 SOS 64097 HAS SOPS 41453 HAS SOUS 43556 HAS SOUPS 33434 WITH SCORE 33498.097
AT ITER 8057 NEW BEST:: SOT 203589 SOS 64085 HAS SOPS 41441 HAS SOUS 43544 HAS SOUPS 33422 WITH SCORE 33486.085
AT ITER 8112 NEW BEST:: SOT 203620 SOS 63925 HAS SOPS 41312 HAS SOUS 43541 HAS SOUPS 33419 WITH SCORE 33482.925
AT ITER 8205 NEW BEST:: SOT 203586 SOS 63891 HAS SOPS 41312 HAS SOUS 43507 HAS SOUPS 33419 WITH SCORE 33482.891
AT ITER 8232 NEW BEST:: SOT 203565 SOS 63870 HAS SOPS 41291 HAS SOUS 43507 HAS SOUPS 33419 WITH SCORE 33482.87
AT ITER 8294 NEW BEST:: SOT 203558 SOS 63849 HAS SOPS 41270 HAS SOUS 43493 HAS SOUPS 33405 WITH SCORE 33468.849
AT ITER 8317 NEW BEST:: SOT 203553 SOS 63844 HAS SOPS 41265 HAS SOUS 43483 HAS SOUPS 33395 WITH SCORE 33458.844
AT ITER 8357 NEW BEST:: SOT 203553 SOS 63820 HAS SOPS 41241 HAS SOUS 43475 HAS SOUPS 33387 WITH SCORE 33450.82
AT ITER 8375 NEW BEST:: SOT 203547 SOS 63809 HAS SOPS 41230 HAS SOUS 43470 HAS SOUPS 33382 WITH SCORE 33445.809
AT ITER 8480 NEW BEST:: SOT 203598 SOS 63828 HAS SOPS 41249 HAS SOUS 43469 HAS SOUPS 33381 WITH SCORE 33444.828
AT ITER 8490 NEW BEST:: SOT 203618 SOS 63859 HAS SOPS 41277 HAS SOUS 43460 HAS SOUPS 33369 WITH SCORE 33432.859
AT ITER 8522 NEW BEST:: SOT 203619 SOS 63857 HAS SOPS 41275 HAS SOUS 43457 HAS SOUPS 33366 WITH SCORE 33429.857
AT ITER 8524 NEW BEST:: SOT 203613 SOS 63851 HAS SOPS 41263 HAS SOUS 43445 HAS SOUPS 33354 WITH SCORE 33417.851
AT ITER 8558 NEW BEST:: SOT 203593 SOS 63748 HAS SOPS 41158 HAS SOUS 43407 HAS SOUPS 33314 WITH SCORE 33377.748
AT ITER 8581 NEW BEST:: SOT 203562 SOS 63741 HAS SOPS 41151 HAS SOUS 43404 HAS SOUPS 33311 WITH SCORE 33374.741
AT ITER 8597 NEW BEST:: SOT 203562 SOS 63741 HAS SOPS 41119 HAS SOUS 43404 HAS SOUPS 33279 WITH SCORE 33342.741
AT ITER 8621 NEW BEST:: SOT 203569 SOS 63748 HAS SOPS 41126 HAS SOUS 43401 HAS SOUPS 33276 WITH SCORE 33339.748
AT ITER 8636 NEW BEST:: SOT 203568 SOS 63747 HAS SOPS 41125 HAS SOUS 43400 HAS SOUPS 33275 WITH SCORE 33338.747
AT ITER 8644 NEW BEST:: SOT 203552 SOS 63723 HAS SOPS 41101 HAS SOUS 43384 HAS SOUPS 33259 WITH SCORE 33322.723
AT ITER 8649 NEW BEST:: SOT 203552 SOS 63714 HAS SOPS 41101 HAS SOUS 43384 HAS SOUPS 33259 WITH SCORE 33322.714
AT ITER 8658 NEW BEST:: SOT 203550 SOS 63712 HAS SOPS 41097 HAS SOUS 43382 HAS SOUPS 33255 WITH SCORE 33318.712
AT ITER 8683 NEW BEST:: SOT 203528 SOS 63646 HAS SOPS 41031 HAS SOUS 43360 HAS SOUPS 33233 WITH SCORE 33296.646
AT ITER 8695 NEW BEST:: SOT 203316 SOS 63276 HAS SOPS 41031 HAS SOUS 43202 HAS SOUPS 33233 WITH SCORE 33296.276
AT ITER 8723 NEW BEST:: SOT 203198 SOS 63156 HAS SOPS 40911 HAS SOUS 43138 HAS SOUPS 33169 WITH SCORE 33232.156
AT ITER 8747 NEW BEST:: SOT 203163 SOS 62955 HAS SOPS 40710 HAS SOUS 43007 HAS SOUPS 33038 WITH SCORE 33100.955
AT ITER 8798 NEW BEST:: SOT 203105 SOS 62839 HAS SOPS 40594 HAS SOUS 42949 HAS SOUPS 32980 WITH SCORE 33042.839
AT ITER 8812 NEW BEST:: SOT 203114 SOS 62783 HAS SOPS 40538 HAS SOUS 42943 HAS SOUPS 32974 WITH SCORE 33036.783
AT ITER 8827 NEW BEST:: SOT 203065 SOS 62734 HAS SOPS 40356 HAS SOUS 42761 HAS SOUPS 32792 WITH SCORE 32854.734
AT ITER 8868 NEW BEST:: SOT 203065 SOS 62734 HAS SOPS 40300 HAS SOUS 42761 HAS SOUPS 32736 WITH SCORE 32798.734
AT ITER 8876 NEW BEST:: SOT 203036 SOS 62676 HAS SOPS 40271 HAS SOUS 42732 HAS SOUPS 32736 WITH SCORE 32798.676
AT ITER 8919 NEW BEST:: SOT 203038 SOS 62601 HAS SOPS 40196 HAS SOUS 42713 HAS SOUPS 32717 WITH SCORE 32779.601
AT ITER 8934 NEW BEST:: SOT 203033 SOS 62591 HAS SOPS 40186 HAS SOUS 42708 HAS SOUPS 32712 WITH SCORE 32774.591
AT ITER 8963 NEW BEST:: SOT 202869 SOS 62315 HAS SOPS 40182 HAS SOUS 42612 HAS SOUPS 32684 WITH SCORE 32746.315
AT ITER 8975 NEW BEST:: SOT 202847 SOS 62271 HAS SOPS 40138 HAS SOUS 42574 HAS SOUPS 32646 WITH SCORE 32708.271
AT ITER 8982 NEW BEST:: SOT 202835 SOS 62234 HAS SOPS 40101 HAS SOUS 42549 HAS SOUPS 32621 WITH SCORE 32683.234
AT ITER 9004 NEW BEST:: SOT 202732 SOS 62155 HAS SOPS 40022 HAS SOUS 42470 HAS SOUPS 32542 WITH SCORE 32604.155
AT ITER 9018 NEW BEST:: SOT 202704 SOS 62102 HAS SOPS 39969 HAS SOUS 42417 HAS SOUPS 32489 WITH SCORE 32551.102
AT ITER 9055 NEW BEST:: SOT 202737 SOS 62589 HAS SOPS 39996 HAS SOUS 42530 HAS SOUPS 32487 WITH SCORE 32549.589
AT ITER 9080 NEW BEST:: SOT 202600 SOS 62302 HAS SOPS 39978 HAS SOUS 42464 HAS SOUPS 32421 WITH SCORE 32483.302
AT ITER 9110 NEW BEST:: SOT 202525 SOS 62267 HAS SOPS 39943 HAS SOUS 42436 HAS SOUPS 32393 WITH SCORE 32455.267
AT ITER 9118 NEW BEST:: SOT 202482 SOS 62240 HAS SOPS 39874 HAS SOUS 42376 HAS SOUPS 32333 WITH SCORE 32395.24
AT ITER 9134 NEW BEST:: SOT 202480 SOS 62238 HAS SOPS 39870 HAS SOUS 42387 HAS SOUPS 32329 WITH SCORE 32391.238
AT ITER 9140 NEW BEST:: SOT 202480 SOS 62232 HAS SOPS 39864 HAS SOUS 42384 HAS SOUPS 32326 WITH SCORE 32388.232
AT ITER 9146 NEW BEST:: SOT 202402 SOS 62052 HAS SOPS 39684 HAS SOUS 42272 HAS SOUPS 32214 WITH SCORE 32276.052
AT ITER 9196 NEW BEST:: SOT 202399 SOS 62049 HAS SOPS 39678 HAS SOUS 42264 HAS SOUPS 32208 WITH SCORE 32270.049
AT ITER 9268 NEW BEST:: SOT 202377 SOS 62003 HAS SOPS 39632 HAS SOUS 42242 HAS SOUPS 32186 WITH SCORE 32248.003
AT ITER 9275 NEW BEST:: SOT 202322 SOS 61886 HAS SOPS 39515 HAS SOUS 42156 HAS SOUPS 32100 WITH SCORE 32161.886
AT ITER 9313 NEW BEST:: SOT 202318 SOS 61878 HAS SOPS 39507 HAS SOUS 42148 HAS SOUPS 32092 WITH SCORE 32153.878
AT ITER 9322 NEW BEST:: SOT 202322 SOS 61869 HAS SOPS 39498 HAS SOUS 42139 HAS SOUPS 32083 WITH SCORE 32144.869
AT ITER 9325 NEW BEST:: SOT 202322 SOS 61820 HAS SOPS 39293 HAS SOUS 42100 HAS SOUPS 32005 WITH SCORE 32066.82
AT ITER 9327 NEW BEST:: SOT 202262 SOS 62418 HAS SOPS 40019 HAS SOUS 42048 HAS SOUPS 31985 WITH SCORE 32047.418
AT ITER 9337 NEW BEST:: SOT 202251 SOS 62407 HAS SOPS 40013 HAS SOUS 42037 HAS SOUPS 31979 WITH SCORE 32041.407
AT ITER 9346 NEW BEST:: SOT 202243 SOS 62382 HAS SOPS 39988 HAS SOUS 42020 HAS SOUPS 31962 WITH SCORE 32024.382
AT ITER 9374 NEW BEST:: SOT 202230 SOS 62459 HAS SOPS 39986 HAS SOUS 41996 HAS SOUPS 31938 WITH SCORE 32000.459
AT ITER 9376 NEW BEST:: SOT 202218 SOS 62439 HAS SOPS 39966 HAS SOUS 41984 HAS SOUPS 31926 WITH SCORE 31988.439
AT ITER 9432 NEW BEST:: SOT 202218 SOS 62443 HAS SOPS 39942 HAS SOUS 41960 HAS SOUPS 31902 WITH SCORE 31964.443
AT ITER 9525 NEW BEST:: SOT 202217 SOS 62418 HAS SOPS 39928 HAS SOUS 41958 HAS SOUPS 31900 WITH SCORE 31962.418
AT ITER 9532 NEW BEST:: SOT 202216 SOS 62417 HAS SOPS 39927 HAS SOUS 41957 HAS SOUPS 31899 WITH SCORE 31961.417
AT ITER 9552 NEW BEST:: SOT 202176 SOS 62337 HAS SOPS 39847 HAS SOUS 41877 HAS SOUPS 31819 WITH SCORE 31881.337
AT ITER 9560 NEW BEST:: SOT 202176 SOS 62337 HAS SOPS 39844 HAS SOUS 41877 HAS SOUPS 31816 WITH SCORE 31878.337
AT ITER 9573 NEW BEST:: SOT 202143 SOS 62346 HAS SOPS 39829 HAS SOUS 41892 HAS SOUPS 31807 WITH SCORE 31869.346
AT ITER 9577 NEW BEST:: SOT 202236 SOS 62439 HAS SOPS 39825 HAS SOUS 41985 HAS SOUPS 31803 WITH SCORE 31865.439
AT ITER 9578 NEW BEST:: SOT 202220 SOS 62407 HAS SOPS 39793 HAS SOUS 41961 HAS SOUPS 31779 WITH SCORE 31841.407
AT ITER 9593 NEW BEST:: SOT 202209 SOS 62412 HAS SOPS 39798 HAS SOUS 41939 HAS SOUPS 31757 WITH SCORE 31819.412
AT ITER 9623 NEW BEST:: SOT 202202 SOS 62405 HAS SOPS 39737 HAS SOUS 41891 HAS SOUPS 31696 WITH SCORE 31758.405
AT ITER 9624 NEW BEST:: SOT 202193 SOS 62390 HAS SOPS 39722 HAS SOUS 41882 HAS SOUPS 31687 WITH SCORE 31749.39
AT ITER 9633 NEW BEST:: SOT 202183 SOS 62380 HAS SOPS 39712 HAS SOUS 41872 HAS SOUPS 31677 WITH SCORE 31739.38
AT ITER 9676 NEW BEST:: SOT 202164 SOS 62349 HAS SOPS 39681 HAS SOUS 41853 HAS SOUPS 31658 WITH SCORE 31720.349
AT ITER 9680 NEW BEST:: SOT 202164 SOS 62345 HAS SOPS 39660 HAS SOUS 41849 HAS SOUPS 31637 WITH SCORE 31699.345
AT ITER 9718 NEW BEST:: SOT 202056 SOS 62129 HAS SOPS 39660 HAS SOUS 41633 HAS SOUPS 31637 WITH SCORE 31699.129
AT ITER 9740 NEW BEST:: SOT 202045 SOS 62082 HAS SOPS 39626 HAS SOUS 41594 HAS SOUPS 31611 WITH SCORE 31673.082
AT ITER 9748 NEW BEST:: SOT 202030 SOS 62037 HAS SOPS 39581 HAS SOUS 41564 HAS SOUPS 31581 WITH SCORE 31643.037
AT ITER 9761 NEW BEST:: SOT 202030 SOS 61989 HAS SOPS 39533 HAS SOUS 41540 HAS SOUPS 31557 WITH SCORE 31618.989
AT ITER 9769 NEW BEST:: SOT 202022 SOS 61987 HAS SOPS 39531 HAS SOUS 41538 HAS SOUPS 31555 WITH SCORE 31616.987
AT ITER 9789 NEW BEST:: SOT 201988 SOS 61919 HAS SOPS 39463 HAS SOUS 41504 HAS SOUPS 31521 WITH SCORE 31582.919
AT ITER 9831 NEW BEST:: SOT 201958 SOS 61889 HAS SOPS 39433 HAS SOUS 41474 HAS SOUPS 31491 WITH SCORE 31552.889
AT ITER 9834 NEW BEST:: SOT 201953 SOS 61875 HAS SOPS 39423 HAS SOUS 41460 HAS SOUPS 31481 WITH SCORE 31542.875
AT ITER 9843 NEW BEST:: SOT 201928 SOS 61828 HAS SOPS 39376 HAS SOUS 41438 HAS SOUPS 31459 WITH SCORE 31520.828
AT ITER 9845 NEW BEST:: SOT 201907 SOS 61807 HAS SOPS 39344 HAS SOUS 41429 HAS SOUPS 31439 WITH SCORE 31500.807
AT ITER 9864 NEW BEST:: SOT 201850 SOS 62501 HAS SOPS 40076 HAS SOUS 41370 HAS SOUPS 31418 WITH SCORE 31480.501
AT ITER 9877 NEW BEST:: SOT 201865 SOS 62526 HAS SOPS 40047 HAS SOUS 41385 HAS SOUPS 31406 WITH SCORE 31468.526
AT ITER 9880 NEW BEST:: SOT 201865 SOS 62526 HAS SOPS 40035 HAS SOUS 41373 HAS SOUPS 31394 WITH SCORE 31456.526
AT ITER 9882 NEW BEST:: SOT 201859 SOS 62520 HAS SOPS 40029 HAS SOUS 41367 HAS SOUPS 31388 WITH SCORE 31450.52
AT ITER 9886 NEW BEST:: SOT 201865 SOS 62577 HAS SOPS 40027 HAS SOUS 41424 HAS SOUPS 31386 WITH SCORE 31448.577
AT ITER 9889 NEW BEST:: SOT 201793 SOS 62430 HAS SOPS 39955 HAS SOUS 41352 HAS SOUPS 31339 WITH SCORE 31401.43
AT ITER 9917 NEW BEST:: SOT 201879 SOS 62802 HAS SOPS 39947 HAS SOUS 41438 HAS SOUPS 31330 WITH SCORE 31392.802
AT ITER 9979 NEW BEST:: SOT 201860 SOS 62745 HAS SOPS 39890 HAS SOUS 41400 HAS SOUPS 31292 WITH SCORE 31354.745
AT ITER 9997 NEW BEST:: SOT 201856 SOS 62741 HAS SOPS 39886 HAS SOUS 41396 HAS SOUPS 31288 WITH SCORE 31350.741

BK_TIME_CONFINEMENT_REACHED

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

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="AutoFlight-PT-24a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is AutoFlight-PT-24a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508600481"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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