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.r138-smll-158961502600272.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 Raft-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 344K
-rw-r--r-- 1 mcc users 4.3K Apr 12 08:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 12 08:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 11 09:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 09:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 9 21:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 21:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 156K Mar 24 05:38 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 1589806634056

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

Filename model.pnml
Petri model created: 328 places, 568 transitions, 2163 arcs.
AT ITER 0 NEW BEST:: SOT 163639 SOS 109952 HAS SOPS 109920 HAS SOUS 86574 HAS SOUPS 86566 WITH SCORE 86675.952
AT ITER 1 NEW BEST:: SOT 163439 SOS 109605 HAS SOPS 109526 HAS SOUS 86225 HAS SOUPS 86172 WITH SCORE 86281.605
AT ITER 2 NEW BEST:: SOT 163439 SOS 109483 HAS SOPS 109404 HAS SOUS 86225 HAS SOUPS 86172 WITH SCORE 86281.483
AT ITER 4 NEW BEST:: SOT 163179 SOS 109144 HAS SOPS 109039 HAS SOUS 85835 HAS SOUPS 85757 WITH SCORE 85866.144
AT ITER 5 NEW BEST:: SOT 162763 SOS 109023 HAS SOPS 108876 HAS SOUS 85534 HAS SOUPS 85415 WITH SCORE 85524.023
AT ITER 7 NEW BEST:: SOT 162475 SOS 109042 HAS SOPS 108880 HAS SOUS 85355 HAS SOUPS 85236 WITH SCORE 85345.042
AT ITER 8 NEW BEST:: SOT 162445 SOS 108984 HAS SOPS 108753 HAS SOUS 85296 HAS SOUPS 85109 WITH SCORE 85217.984
AT ITER 12 NEW BEST:: SOT 162025 SOS 108774 HAS SOPS 108498 HAS SOUS 84996 HAS SOUPS 84765 WITH SCORE 84873.774
AT ITER 15 NEW BEST:: SOT 161749 SOS 108361 HAS SOPS 108012 HAS SOUS 84522 HAS SOUPS 84279 WITH SCORE 84387.361
AT ITER 16 NEW BEST:: SOT 161649 SOS 108147 HAS SOPS 107782 HAS SOUS 84204 HAS SOUPS 83946 WITH SCORE 84054.147
AT ITER 19 NEW BEST:: SOT 161649 SOS 108071 HAS SOPS 107706 HAS SOUS 84141 HAS SOUPS 83883 WITH SCORE 83991.071
AT ITER 20 NEW BEST:: SOT 161484 SOS 107968 HAS SOPS 107624 HAS SOUS 84009 HAS SOUPS 83771 WITH SCORE 83878.968
AT ITER 21 NEW BEST:: SOT 161432 SOS 107749 HAS SOPS 107390 HAS SOUS 83780 HAS SOUPS 83537 WITH SCORE 83644.749
AT ITER 23 NEW BEST:: SOT 160986 SOS 107374 HAS SOPS 106973 HAS SOUS 83325 HAS SOUPS 83082 WITH SCORE 83189.374
AT ITER 24 NEW BEST:: SOT 160894 SOS 107213 HAS SOPS 106800 HAS SOUS 83071 HAS SOUPS 82828 WITH SCORE 82935.213
AT ITER 25 NEW BEST:: SOT 160894 SOS 107213 HAS SOPS 106800 HAS SOUS 83055 HAS SOUPS 82812 WITH SCORE 82919.213
AT ITER 28 NEW BEST:: SOT 160894 SOS 107191 HAS SOPS 106778 HAS SOUS 83055 HAS SOUPS 82812 WITH SCORE 82919.191
AT ITER 29 NEW BEST:: SOT 160882 SOS 106898 HAS SOPS 106485 HAS SOUS 82821 HAS SOUPS 82578 WITH SCORE 82684.898
AT ITER 31 NEW BEST:: SOT 160724 SOS 106810 HAS SOPS 106397 HAS SOUS 82736 HAS SOUPS 82493 WITH SCORE 82599.81
AT ITER 32 NEW BEST:: SOT 160724 SOS 105959 HAS SOPS 105546 HAS SOUS 82736 HAS SOUPS 82493 WITH SCORE 82598.959
AT ITER 33 NEW BEST:: SOT 160724 SOS 105121 HAS SOPS 104708 HAS SOUS 82701 HAS SOUPS 82458 WITH SCORE 82563.121
AT ITER 35 NEW BEST:: SOT 160724 SOS 105011 HAS SOPS 104598 HAS SOUS 82670 HAS SOUPS 82427 WITH SCORE 82532.011
AT ITER 36 NEW BEST:: SOT 160608 SOS 104800 HAS SOPS 104368 HAS SOUS 82363 HAS SOUPS 82120 WITH SCORE 82224.8
AT ITER 39 NEW BEST:: SOT 160288 SOS 104906 HAS SOPS 104462 HAS SOUS 82320 HAS SOUPS 82077 WITH SCORE 82181.906
AT ITER 40 NEW BEST:: SOT 159924 SOS 105002 HAS SOPS 104544 HAS SOUS 82223 HAS SOUPS 81967 WITH SCORE 82072.002
AT ITER 42 NEW BEST:: SOT 160046 SOS 104991 HAS SOPS 104533 HAS SOUS 82221 HAS SOUPS 81965 WITH SCORE 82069.991
AT ITER 43 NEW BEST:: SOT 160046 SOS 104774 HAS SOPS 104316 HAS SOUS 82140 HAS SOUPS 81884 WITH SCORE 81988.774
AT ITER 44 NEW BEST:: SOT 160046 SOS 104736 HAS SOPS 104278 HAS SOUS 82140 HAS SOUPS 81884 WITH SCORE 81988.736
AT ITER 45 NEW BEST:: SOT 160046 SOS 104374 HAS SOPS 103916 HAS SOUS 82083 HAS SOUPS 81827 WITH SCORE 81931.374
AT ITER 47 NEW BEST:: SOT 160046 SOS 104150 HAS SOPS 103692 HAS SOUS 82009 HAS SOUPS 81753 WITH SCORE 81857.15
AT ITER 49 NEW BEST:: SOT 159634 SOS 103797 HAS SOPS 103257 HAS SOUS 81500 HAS SOUPS 81244 WITH SCORE 81347.797
AT ITER 51 NEW BEST:: SOT 156608 SOS 106418 HAS SOPS 100144 HAS SOUS 79873 HAS SOUPS 79375 WITH SCORE 79481.418
AT ITER 58 NEW BEST:: SOT 155949 SOS 105643 HAS SOPS 99365 HAS SOUS 79226 HAS SOUPS 78719 WITH SCORE 78824.643
AT ITER 59 NEW BEST:: SOT 155973 SOS 105432 HAS SOPS 99154 HAS SOUS 79075 HAS SOUPS 78568 WITH SCORE 78673.432
AT ITER 73 NEW BEST:: SOT 155589 SOS 105246 HAS SOPS 98913 HAS SOUS 78831 HAS SOUPS 78324 WITH SCORE 78429.246
AT ITER 76 NEW BEST:: SOT 155589 SOS 105207 HAS SOPS 98874 HAS SOUS 78831 HAS SOUPS 78324 WITH SCORE 78429.207
AT ITER 78 NEW BEST:: SOT 155589 SOS 105191 HAS SOPS 98858 HAS SOUS 78831 HAS SOUPS 78324 WITH SCORE 78429.191
AT ITER 80 NEW BEST:: SOT 155514 SOS 105116 HAS SOPS 98783 HAS SOUS 78756 HAS SOUPS 78249 WITH SCORE 78354.116
AT ITER 82 NEW BEST:: SOT 155514 SOS 105184 HAS SOPS 98727 HAS SOUS 78701 HAS SOUPS 78194 WITH SCORE 78299.184
AT ITER 84 NEW BEST:: SOT 152597 SOS 109539 HAS SOPS 97035 HAS SOUS 77897 HAS SOUPS 77135 WITH SCORE 77244.539
AT ITER 86 NEW BEST:: SOT 152597 SOS 109469 HAS SOPS 96965 HAS SOUS 77807 HAS SOUPS 77045 WITH SCORE 77154.469
AT ITER 87 NEW BEST:: SOT 152557 SOS 109429 HAS SOPS 96885 HAS SOUS 77767 HAS SOUPS 77005 WITH SCORE 77114.429
AT ITER 93 NEW BEST:: SOT 152160 SOS 108955 HAS SOPS 96429 HAS SOUS 77327 HAS SOUPS 76557 WITH SCORE 76665.955
AT ITER 94 NEW BEST:: SOT 150804 SOS 108278 HAS SOPS 95297 HAS SOUS 76467 HAS SOUPS 75629 WITH SCORE 75737.278
AT ITER 95 NEW BEST:: SOT 150767 SOS 107941 HAS SOPS 95073 HAS SOUS 76393 HAS SOUPS 75555 WITH SCORE 75662.941
AT ITER 96 NEW BEST:: SOT 147189 SOS 107835 HAS SOPS 93014 HAS SOUS 74243 HAS SOUPS 73219 WITH SCORE 73326.835
AT ITER 98 NEW BEST:: SOT 147270 SOS 106888 HAS SOPS 92267 HAS SOUS 74243 HAS SOUPS 73219 WITH SCORE 73325.888
AT ITER 100 NEW BEST:: SOT 147056 SOS 106399 HAS SOPS 91727 HAS SOUS 73883 HAS SOUPS 72859 WITH SCORE 72965.399
AT ITER 102 NEW BEST:: SOT 147056 SOS 106355 HAS SOPS 91683 HAS SOUS 73883 HAS SOUPS 72859 WITH SCORE 72965.355
AT ITER 105 NEW BEST:: SOT 147056 SOS 106367 HAS SOPS 91695 HAS SOUS 73871 HAS SOUPS 72847 WITH SCORE 72953.367
AT ITER 106 NEW BEST:: SOT 145782 SOS 105630 HAS SOPS 90675 HAS SOUS 72988 HAS SOUPS 71912 WITH SCORE 72017.63
AT ITER 108 NEW BEST:: SOT 145122 SOS 104940 HAS SOPS 90223 HAS SOUS 72339 HAS SOUPS 71263 WITH SCORE 71367.94
AT ITER 113 NEW BEST:: SOT 144941 SOS 104483 HAS SOPS 89812 HAS SOUS 72066 HAS SOUPS 70990 WITH SCORE 71094.483
AT ITER 114 NEW BEST:: SOT 145191 SOS 104099 HAS SOPS 88388 HAS SOUS 72215 HAS SOUPS 70072 WITH SCORE 70176.099
AT ITER 115 NEW BEST:: SOT 142254 SOS 103745 HAS SOPS 83293 HAS SOUS 70152 HAS SOUPS 65343 WITH SCORE 65446.745
AT ITER 116 NEW BEST:: SOT 142236 SOS 103738 HAS SOPS 83257 HAS SOUS 70115 HAS SOUPS 65306 WITH SCORE 65409.738
AT ITER 117 NEW BEST:: SOT 142236 SOS 103687 HAS SOPS 83248 HAS SOUS 70115 HAS SOUPS 65306 WITH SCORE 65409.687
AT ITER 121 NEW BEST:: SOT 142000 SOS 103451 HAS SOPS 82906 HAS SOUS 69773 HAS SOUPS 64964 WITH SCORE 65067.451
AT ITER 123 NEW BEST:: SOT 142000 SOS 103128 HAS SOPS 82583 HAS SOUS 69773 HAS SOUPS 64964 WITH SCORE 65067.128
AT ITER 126 NEW BEST:: SOT 142000 SOS 103077 HAS SOPS 82532 HAS SOUS 69773 HAS SOUPS 64964 WITH SCORE 65067.077
AT ITER 130 NEW BEST:: SOT 141690 SOS 102767 HAS SOPS 82299 HAS SOUS 69540 HAS SOUPS 64731 WITH SCORE 64833.767
AT ITER 133 NEW BEST:: SOT 141091 SOS 102238 HAS SOPS 82298 HAS SOUS 69102 HAS SOUPS 64293 WITH SCORE 64395.238
AT ITER 135 NEW BEST:: SOT 141053 SOS 102200 HAS SOPS 82241 HAS SOUS 69070 HAS SOUPS 64261 WITH SCORE 64363.2
AT ITER 136 NEW BEST:: SOT 141031 SOS 102353 HAS SOPS 82505 HAS SOUS 69048 HAS SOUPS 64239 WITH SCORE 64341.353
AT ITER 137 NEW BEST:: SOT 140283 SOS 101555 HAS SOPS 81759 HAS SOUS 68137 HAS SOUPS 63328 WITH SCORE 63429.555
AT ITER 139 NEW BEST:: SOT 140007 SOS 101279 HAS SOPS 81450 HAS SOUS 67828 HAS SOUPS 63019 WITH SCORE 63120.279
AT ITER 140 NEW BEST:: SOT 140007 SOS 101219 HAS SOPS 81450 HAS SOUS 67828 HAS SOUPS 63019 WITH SCORE 63120.219
AT ITER 141 NEW BEST:: SOT 139455 SOS 100547 HAS SOPS 81443 HAS SOUS 67718 HAS SOUPS 62909 WITH SCORE 63009.547
AT ITER 143 NEW BEST:: SOT 139296 SOS 100490 HAS SOPS 81327 HAS SOUS 67393 HAS SOUPS 62584 WITH SCORE 62684.49
AT ITER 144 NEW BEST:: SOT 139296 SOS 100460 HAS SOPS 81327 HAS SOUS 67393 HAS SOUPS 62584 WITH SCORE 62684.46
AT ITER 146 NEW BEST:: SOT 139149 SOS 100313 HAS SOPS 81044 HAS SOUS 67023 HAS SOUPS 62214 WITH SCORE 62314.313
AT ITER 151 NEW BEST:: SOT 138705 SOS 99689 HAS SOPS 81330 HAS SOUS 66974 HAS SOUPS 62178 WITH SCORE 62277.689
AT ITER 152 NEW BEST:: SOT 138331 SOS 99315 HAS SOPS 81049 HAS SOUS 66717 HAS SOUPS 61921 WITH SCORE 62020.315
AT ITER 153 NEW BEST:: SOT 138289 SOS 99273 HAS SOPS 80986 HAS SOUS 66609 HAS SOUPS 61813 WITH SCORE 61912.273
AT ITER 157 NEW BEST:: SOT 138289 SOS 99273 HAS SOPS 80986 HAS SOUS 66501 HAS SOUPS 61705 WITH SCORE 61804.273
AT ITER 158 NEW BEST:: SOT 138029 SOS 98991 HAS SOPS 80596 HAS SOUS 66054 HAS SOUPS 61258 WITH SCORE 61356.991
AT ITER 159 NEW BEST:: SOT 138029 SOS 98960 HAS SOPS 80586 HAS SOUS 66054 HAS SOUPS 61258 WITH SCORE 61356.96
AT ITER 160 NEW BEST:: SOT 138029 SOS 98960 HAS SOPS 80586 HAS SOUS 66021 HAS SOUPS 61225 WITH SCORE 61323.96
AT ITER 162 NEW BEST:: SOT 137903 SOS 98834 HAS SOPS 80460 HAS SOUS 65888 HAS SOUPS 61092 WITH SCORE 61190.834
AT ITER 164 NEW BEST:: SOT 137543 SOS 98446 HAS SOPS 80221 HAS SOUS 65531 HAS SOUPS 60735 WITH SCORE 60833.446
AT ITER 165 NEW BEST:: SOT 137473 SOS 98292 HAS SOPS 79899 HAS SOUS 65335 HAS SOUPS 60539 WITH SCORE 60637.292
AT ITER 167 NEW BEST:: SOT 137339 SOS 98176 HAS SOPS 79849 HAS SOUS 65255 HAS SOUPS 60487 WITH SCORE 60585.176
AT ITER 170 NEW BEST:: SOT 137075 SOS 97912 HAS SOPS 79636 HAS SOUS 65043 HAS SOUPS 60282 WITH SCORE 60379.912
AT ITER 171 NEW BEST:: SOT 137075 SOS 97902 HAS SOPS 79626 HAS SOUS 65043 HAS SOUPS 60282 WITH SCORE 60379.902
AT ITER 174 NEW BEST:: SOT 137051 SOS 97878 HAS SOPS 79390 HAS SOUS 64807 HAS SOUPS 60046 WITH SCORE 60143.878
AT ITER 177 NEW BEST:: SOT 137031 SOS 97771 HAS SOPS 79318 HAS SOUS 64707 HAS SOUPS 59946 WITH SCORE 60043.771
AT ITER 190 NEW BEST:: SOT 133970 SOS 99128 HAS SOPS 77059 HAS SOUS 63080 HAS SOUPS 58108 WITH SCORE 58207.128
AT ITER 192 NEW BEST:: SOT 133862 SOS 99020 HAS SOPS 76951 HAS SOUS 63080 HAS SOUPS 58108 WITH SCORE 58207.02
AT ITER 194 NEW BEST:: SOT 133862 SOS 98058 HAS SOPS 76089 HAS SOUS 63077 HAS SOUPS 58105 WITH SCORE 58203.058
AT ITER 195 NEW BEST:: SOT 133779 SOS 97892 HAS SOPS 75986 HAS SOUS 63041 HAS SOUPS 58069 WITH SCORE 58166.892
AT ITER 201 NEW BEST:: SOT 133764 SOS 97889 HAS SOPS 76016 HAS SOUS 63029 HAS SOUPS 58057 WITH SCORE 58154.889
AT ITER 202 NEW BEST:: SOT 132710 SOS 96856 HAS SOPS 75331 HAS SOUS 62194 HAS SOUPS 57222 WITH SCORE 57318.856
AT ITER 203 NEW BEST:: SOT 132672 SOS 96818 HAS SOPS 75274 HAS SOUS 62083 HAS SOUPS 57111 WITH SCORE 57207.818
AT ITER 206 NEW BEST:: SOT 133012 SOS 97225 HAS SOPS 75134 HAS SOUS 62043 HAS SOUPS 57071 WITH SCORE 57168.225
AT ITER 207 NEW BEST:: SOT 132836 SOS 96862 HAS SOPS 74771 HAS SOUS 61761 HAS SOUPS 56789 WITH SCORE 56885.862
AT ITER 211 NEW BEST:: SOT 132843 SOS 96869 HAS SOPS 74757 HAS SOUS 61754 HAS SOUPS 56782 WITH SCORE 56878.869
AT ITER 212 NEW BEST:: SOT 132843 SOS 96835 HAS SOPS 74757 HAS SOUS 61754 HAS SOUPS 56782 WITH SCORE 56878.835
AT ITER 214 NEW BEST:: SOT 132701 SOS 96693 HAS SOPS 74599 HAS SOUS 61580 HAS SOUPS 56608 WITH SCORE 56704.693
AT ITER 215 NEW BEST:: SOT 132695 SOS 96677 HAS SOPS 74587 HAS SOUS 61568 HAS SOUPS 56596 WITH SCORE 56692.677
AT ITER 217 NEW BEST:: SOT 132695 SOS 96677 HAS SOPS 74587 HAS SOUS 61497 HAS SOUPS 56525 WITH SCORE 56621.677
AT ITER 218 NEW BEST:: SOT 132655 SOS 96637 HAS SOPS 74527 HAS SOUS 61441 HAS SOUPS 56469 WITH SCORE 56565.637
AT ITER 219 NEW BEST:: SOT 132643 SOS 96609 HAS SOPS 74482 HAS SOUS 61342 HAS SOUPS 56370 WITH SCORE 56466.609
AT ITER 221 NEW BEST:: SOT 132590 SOS 96778 HAS SOPS 74547 HAS SOUS 61369 HAS SOUPS 56331 WITH SCORE 56427.778
AT ITER 222 NEW BEST:: SOT 132032 SOS 96220 HAS SOPS 73977 HAS SOUS 60768 HAS SOUPS 55730 WITH SCORE 55826.22
AT ITER 225 NEW BEST:: SOT 132032 SOS 96220 HAS SOPS 73977 HAS SOUS 60753 HAS SOUPS 55715 WITH SCORE 55811.22
AT ITER 232 NEW BEST:: SOT 131982 SOS 96145 HAS SOPS 73877 HAS SOUS 60678 HAS SOUPS 55640 WITH SCORE 55736.145
AT ITER 236 NEW BEST:: SOT 131718 SOS 95848 HAS SOPS 73580 HAS SOUS 60291 HAS SOUPS 55253 WITH SCORE 55348.848
AT ITER 241 NEW BEST:: SOT 130244 SOS 95598 HAS SOPS 72563 HAS SOUS 59371 HAS SOUPS 54254 WITH SCORE 54349.598
AT ITER 243 NEW BEST:: SOT 130202 SOS 95664 HAS SOPS 72500 HAS SOUS 59380 HAS SOUPS 54241 WITH SCORE 54336.664
AT ITER 244 NEW BEST:: SOT 130202 SOS 94768 HAS SOPS 71784 HAS SOUS 59274 HAS SOUPS 54135 WITH SCORE 54229.768
AT ITER 246 NEW BEST:: SOT 129985 SOS 94382 HAS SOPS 71347 HAS SOUS 58871 HAS SOUPS 53732 WITH SCORE 53826.382
AT ITER 247 NEW BEST:: SOT 129812 SOS 94106 HAS SOPS 71164 HAS SOUS 58542 HAS SOUPS 53486 WITH SCORE 53580.106
AT ITER 248 NEW BEST:: SOT 129656 SOS 93950 HAS SOPS 71008 HAS SOUS 58386 HAS SOUPS 53330 WITH SCORE 53423.95
AT ITER 250 NEW BEST:: SOT 129108 SOS 93081 HAS SOPS 71002 HAS SOUS 58079 HAS SOUPS 53260 WITH SCORE 53353.081
AT ITER 253 NEW BEST:: SOT 128833 SOS 92806 HAS SOPS 70777 HAS SOUS 57936 HAS SOUPS 53117 WITH SCORE 53209.806
AT ITER 254 NEW BEST:: SOT 126407 SOS 91695 HAS SOPS 68680 HAS SOUS 55904 HAS SOUPS 51002 WITH SCORE 51093.695
AT ITER 259 NEW BEST:: SOT 125965 SOS 91253 HAS SOPS 68317 HAS SOUS 55490 HAS SOUPS 50588 WITH SCORE 50679.253
AT ITER 261 NEW BEST:: SOT 125965 SOS 91226 HAS SOPS 68317 HAS SOUS 55490 HAS SOUPS 50588 WITH SCORE 50679.226
AT ITER 264 NEW BEST:: SOT 125935 SOS 91196 HAS SOPS 68272 HAS SOUS 55445 HAS SOUPS 50543 WITH SCORE 50634.196
AT ITER 266 NEW BEST:: SOT 125935 SOS 91120 HAS SOPS 68288 HAS SOUS 55445 HAS SOUPS 50543 WITH SCORE 50634.12
AT ITER 268 NEW BEST:: SOT 125885 SOS 91092 HAS SOPS 68267 HAS SOUS 55424 HAS SOUPS 50522 WITH SCORE 50613.092
AT ITER 270 NEW BEST:: SOT 125541 SOS 90904 HAS SOPS 68208 HAS SOUS 55323 HAS SOUPS 50421 WITH SCORE 50511.904
AT ITER 280 NEW BEST:: SOT 125197 SOS 90560 HAS SOPS 67950 HAS SOUS 55146 HAS SOUPS 50249 WITH SCORE 50339.56
AT ITER 284 NEW BEST:: SOT 125069 SOS 90420 HAS SOPS 67774 HAS SOUS 54926 HAS SOUPS 50029 WITH SCORE 50119.42
AT ITER 285 NEW BEST:: SOT 125111 SOS 90527 HAS SOPS 67304 HAS SOUS 54525 HAS SOUPS 49628 WITH SCORE 49718.527
AT ITER 286 NEW BEST:: SOT 125000 SOS 90387 HAS SOPS 67094 HAS SOUS 54369 HAS SOUPS 49472 WITH SCORE 49562.387
AT ITER 289 NEW BEST:: SOT 124938 SOS 90308 HAS SOPS 66998 HAS SOUS 54273 HAS SOUPS 49376 WITH SCORE 49466.308
AT ITER 292 NEW BEST:: SOT 124668 SOS 90038 HAS SOPS 66738 HAS SOUS 54038 HAS SOUPS 49162 WITH SCORE 49252.038
AT ITER 293 NEW BEST:: SOT 124454 SOS 89743 HAS SOPS 66623 HAS SOUS 53766 HAS SOUPS 49020 WITH SCORE 49109.743
AT ITER 296 NEW BEST:: SOT 124454 SOS 89665 HAS SOPS 66628 HAS SOUS 53766 HAS SOUPS 49020 WITH SCORE 49109.665
AT ITER 306 NEW BEST:: SOT 124234 SOS 89325 HAS SOPS 66117 HAS SOUS 53426 HAS SOUPS 48680 WITH SCORE 48769.325
AT ITER 307 NEW BEST:: SOT 124196 SOS 89287 HAS SOPS 66060 HAS SOUS 53369 HAS SOUPS 48623 WITH SCORE 48712.287
AT ITER 310 NEW BEST:: SOT 123929 SOS 88990 HAS SOPS 65670 HAS SOUS 52993 HAS SOUPS 48247 WITH SCORE 48335.99
AT ITER 315 NEW BEST:: SOT 123612 SOS 88888 HAS SOPS 65682 HAS SOUS 52976 HAS SOUPS 48230 WITH SCORE 48318.888
AT ITER 319 NEW BEST:: SOT 123612 SOS 88856 HAS SOPS 65585 HAS SOUS 52966 HAS SOUPS 48220 WITH SCORE 48308.856
AT ITER 321 NEW BEST:: SOT 123232 SOS 88476 HAS SOPS 65149 HAS SOUS 52530 HAS SOUPS 47784 WITH SCORE 47872.476
AT ITER 332 NEW BEST:: SOT 123162 SOS 88406 HAS SOPS 65044 HAS SOUS 52390 HAS SOUPS 47634 WITH SCORE 47722.406
AT ITER 335 NEW BEST:: SOT 123055 SOS 88808 HAS SOPS 65418 HAS SOUS 52300 HAS SOUPS 47544 WITH SCORE 47632.808
AT ITER 338 NEW BEST:: SOT 123055 SOS 88808 HAS SOPS 65418 HAS SOUS 52284 HAS SOUPS 47528 WITH SCORE 47616.808
AT ITER 340 NEW BEST:: SOT 123055 SOS 88512 HAS SOPS 65165 HAS SOUS 52241 HAS SOUPS 47528 WITH SCORE 47616.512
AT ITER 341 NEW BEST:: SOT 122906 SOS 88385 HAS SOPS 65187 HAS SOUS 52208 HAS SOUPS 47495 WITH SCORE 47583.385
AT ITER 343 NEW BEST:: SOT 122764 SOS 88243 HAS SOPS 64969 HAS SOUS 51959 HAS SOUPS 47246 WITH SCORE 47334.243
AT ITER 344 NEW BEST:: SOT 122554 SOS 88013 HAS SOPS 64644 HAS SOUS 51634 HAS SOUPS 46921 WITH SCORE 47009.013
AT ITER 347 NEW BEST:: SOT 122554 SOS 87902 HAS SOPS 64644 HAS SOUS 51634 HAS SOUPS 46921 WITH SCORE 47008.902
AT ITER 352 NEW BEST:: SOT 122544 SOS 87822 HAS SOPS 64554 HAS SOUS 51623 HAS SOUPS 46910 WITH SCORE 46997.822
AT ITER 353 NEW BEST:: SOT 122544 SOS 87810 HAS SOPS 64530 HAS SOUS 51599 HAS SOUPS 46886 WITH SCORE 46973.81
AT ITER 354 NEW BEST:: SOT 122544 SOS 87591 HAS SOPS 64223 HAS SOUS 51511 HAS SOUPS 46798 WITH SCORE 46885.591
AT ITER 356 NEW BEST:: SOT 122145 SOS 86970 HAS SOPS 63943 HAS SOUS 51174 HAS SOUPS 46461 WITH SCORE 46547.97
AT ITER 359 NEW BEST:: SOT 122113 SOS 86938 HAS SOPS 63879 HAS SOUS 51126 HAS SOUPS 46413 WITH SCORE 46499.938
AT ITER 360 NEW BEST:: SOT 121518 SOS 87387 HAS SOPS 63611 HAS SOUS 50809 HAS SOUPS 46059 WITH SCORE 46146.387
AT ITER 366 NEW BEST:: SOT 121547 SOS 87311 HAS SOPS 63535 HAS SOUS 50806 HAS SOUPS 46056 WITH SCORE 46143.311
AT ITER 370 NEW BEST:: SOT 121547 SOS 87319 HAS SOPS 63535 HAS SOUS 50791 HAS SOUPS 46041 WITH SCORE 46128.319
AT ITER 376 NEW BEST:: SOT 121483 SOS 87232 HAS SOPS 63464 HAS SOUS 50679 HAS SOUPS 45929 WITH SCORE 46016.232
AT ITER 381 NEW BEST:: SOT 121347 SOS 87096 HAS SOPS 63192 HAS SOUS 50407 HAS SOUPS 45657 WITH SCORE 45744.096
AT ITER 384 NEW BEST:: SOT 120919 SOS 86247 HAS SOPS 62343 HAS SOUS 49958 HAS SOUPS 45208 WITH SCORE 45294.247
AT ITER 389 NEW BEST:: SOT 120817 SOS 86101 HAS SOPS 62197 HAS SOUS 49805 HAS SOUPS 45055 WITH SCORE 45141.101
AT ITER 396 NEW BEST:: SOT 121093 SOS 86377 HAS SOPS 61936 HAS SOUS 49620 HAS SOUPS 44902 WITH SCORE 44988.377
AT ITER 398 NEW BEST:: SOT 119691 SOS 87540 HAS SOPS 61198 HAS SOUS 48903 HAS SOUPS 44083 WITH SCORE 44170.54
AT ITER 400 NEW BEST:: SOT 119184 SOS 87172 HAS SOPS 60691 HAS SOUS 48562 HAS SOUPS 43603 WITH SCORE 43690.172
AT ITER 401 NEW BEST:: SOT 119109 SOS 86762 HAS SOPS 60515 HAS SOUS 48025 HAS SOUPS 43300 WITH SCORE 43386.762
AT ITER 403 NEW BEST:: SOT 119031 SOS 86678 HAS SOPS 60391 HAS SOUS 47850 HAS SOUPS 43125 WITH SCORE 43211.678
AT ITER 405 NEW BEST:: SOT 118850 SOS 86497 HAS SOPS 60157 HAS SOUS 47716 HAS SOUPS 42991 WITH SCORE 43077.497
AT ITER 406 NEW BEST:: SOT 118802 SOS 86237 HAS SOPS 59862 HAS SOUS 47655 HAS SOUPS 42895 WITH SCORE 42981.237
AT ITER 409 NEW BEST:: SOT 118802 SOS 86152 HAS SOPS 59735 HAS SOUS 47655 HAS SOUPS 42895 WITH SCORE 42981.152
AT ITER 410 NEW BEST:: SOT 118802 SOS 86126 HAS SOPS 59784 HAS SOUS 47655 HAS SOUPS 42895 WITH SCORE 42981.126
AT ITER 411 NEW BEST:: SOT 118618 SOS 85942 HAS SOPS 59646 HAS SOUS 47471 HAS SOUPS 42711 WITH SCORE 42796.942
AT ITER 415 NEW BEST:: SOT 118618 SOS 85895 HAS SOPS 59646 HAS SOUS 47471 HAS SOUPS 42711 WITH SCORE 42796.895
AT ITER 416 NEW BEST:: SOT 118594 SOS 85871 HAS SOPS 59622 HAS SOUS 47443 HAS SOUPS 42683 WITH SCORE 42768.871
AT ITER 419 NEW BEST:: SOT 118546 SOS 85823 HAS SOPS 59598 HAS SOUS 47407 HAS SOUPS 42647 WITH SCORE 42732.823
AT ITER 432 NEW BEST:: SOT 118536 SOS 85813 HAS SOPS 59578 HAS SOUS 47387 HAS SOUPS 42627 WITH SCORE 42712.813
AT ITER 436 NEW BEST:: SOT 118536 SOS 85808 HAS SOPS 59573 HAS SOUS 47387 HAS SOUPS 42627 WITH SCORE 42712.808
AT ITER 437 NEW BEST:: SOT 118566 SOS 85898 HAS SOPS 59238 HAS SOUS 47147 HAS SOUPS 42387 WITH SCORE 42472.898
AT ITER 440 NEW BEST:: SOT 118380 SOS 85712 HAS SOPS 59052 HAS SOUS 46930 HAS SOUPS 42170 WITH SCORE 42255.712
AT ITER 441 NEW BEST:: SOT 118118 SOS 85450 HAS SOPS 58659 HAS SOUS 46453 HAS SOUPS 41646 WITH SCORE 41731.45
AT ITER 443 NEW BEST:: SOT 117511 SOS 88202 HAS SOPS 58814 HAS SOUS 46532 HAS SOUPS 41641 WITH SCORE 41729.202
AT ITER 446 NEW BEST:: SOT 117511 SOS 88202 HAS SOPS 58814 HAS SOUS 46530 HAS SOUPS 41639 WITH SCORE 41727.202
AT ITER 451 NEW BEST:: SOT 117267 SOS 87958 HAS SOPS 58326 HAS SOUS 46056 HAS SOUPS 41151 WITH SCORE 41238.958
AT ITER 453 NEW BEST:: SOT 115755 SOS 90631 HAS SOPS 58572 HAS SOUS 45593 HAS SOUPS 40688 WITH SCORE 40778.631
AT ITER 459 NEW BEST:: SOT 115355 SOS 90529 HAS SOPS 58033 HAS SOUS 45238 HAS SOUPS 40129 WITH SCORE 40219.529
AT ITER 462 NEW BEST:: SOT 114523 SOS 89697 HAS SOPS 57097 HAS SOUS 44253 HAS SOUPS 39144 WITH SCORE 39233.697
AT ITER 465 NEW BEST:: SOT 114523 SOS 89697 HAS SOPS 57097 HAS SOUS 44252 HAS SOUPS 39143 WITH SCORE 39232.697
AT ITER 473 NEW BEST:: SOT 114509 SOS 89683 HAS SOPS 57076 HAS SOUS 44236 HAS SOUPS 39127 WITH SCORE 39216.683
AT ITER 482 NEW BEST:: SOT 114019 SOS 89533 HAS SOPS 57117 HAS SOUS 44148 HAS SOUPS 39049 WITH SCORE 39138.533
AT ITER 487 NEW BEST:: SOT 113941 SOS 89394 HAS SOPS 56917 HAS SOUS 44045 HAS SOUPS 38946 WITH SCORE 39035.394
AT ITER 488 NEW BEST:: SOT 113919 SOS 89372 HAS SOPS 56897 HAS SOUS 44033 HAS SOUPS 38934 WITH SCORE 39023.372
AT ITER 489 NEW BEST:: SOT 113895 SOS 89387 HAS SOPS 56804 HAS SOUS 43994 HAS SOUPS 38895 WITH SCORE 38984.387
AT ITER 491 NEW BEST:: SOT 113803 SOS 89295 HAS SOPS 56735 HAS SOUS 43948 HAS SOUPS 38849 WITH SCORE 38938.295
AT ITER 492 NEW BEST:: SOT 113723 SOS 89215 HAS SOPS 56575 HAS SOUS 43768 HAS SOUPS 38669 WITH SCORE 38758.215
AT ITER 494 NEW BEST:: SOT 113675 SOS 89167 HAS SOPS 56551 HAS SOUS 43728 HAS SOUPS 38645 WITH SCORE 38734.167
AT ITER 497 NEW BEST:: SOT 113637 SOS 89008 HAS SOPS 56307 HAS SOUS 43671 HAS SOUPS 38588 WITH SCORE 38677.008
AT ITER 498 NEW BEST:: SOT 113491 SOS 88862 HAS SOPS 56250 HAS SOUS 43592 HAS SOUPS 38509 WITH SCORE 38597.862
AT ITER 499 NEW BEST:: SOT 113255 SOS 88626 HAS SOPS 56188 HAS SOUS 43457 HAS SOUPS 38374 WITH SCORE 38462.626
AT ITER 500 NEW BEST:: SOT 113226 SOS 88584 HAS SOPS 56151 HAS SOUS 43408 HAS SOUPS 38330 WITH SCORE 38418.584
AT ITER 503 NEW BEST:: SOT 113246 SOS 88485 HAS SOPS 56072 HAS SOUS 43212 HAS SOUPS 38134 WITH SCORE 38222.485
AT ITER 506 NEW BEST:: SOT 112907 SOS 88146 HAS SOPS 55882 HAS SOUS 42814 HAS SOUPS 37736 WITH SCORE 37824.146
AT ITER 514 NEW BEST:: SOT 112791 SOS 88030 HAS SOPS 55708 HAS SOUS 42698 HAS SOUPS 37620 WITH SCORE 37708.03
AT ITER 519 NEW BEST:: SOT 112699 SOS 87938 HAS SOPS 55570 HAS SOUS 42552 HAS SOUPS 37474 WITH SCORE 37561.938
AT ITER 522 NEW BEST:: SOT 112756 SOS 87131 HAS SOPS 54796 HAS SOUS 42536 HAS SOUPS 37458 WITH SCORE 37545.131
AT ITER 538 NEW BEST:: SOT 112634 SOS 87009 HAS SOPS 54672 HAS SOUS 42410 HAS SOUPS 37331 WITH SCORE 37418.009
AT ITER 557 NEW BEST:: SOT 112630 SOS 87005 HAS SOPS 54648 HAS SOUS 42370 HAS SOUPS 37291 WITH SCORE 37378.005
AT ITER 560 NEW BEST:: SOT 112606 SOS 86981 HAS SOPS 54636 HAS SOUS 42352 HAS SOUPS 37273 WITH SCORE 37359.981
AT ITER 561 NEW BEST:: SOT 112519 SOS 86923 HAS SOPS 54378 HAS SOUS 42019 HAS SOUPS 36940 WITH SCORE 37026.923
AT ITER 565 NEW BEST:: SOT 112507 SOS 86911 HAS SOPS 54196 HAS SOUS 41859 HAS SOUPS 36780 WITH SCORE 36866.911
AT ITER 567 NEW BEST:: SOT 111962 SOS 86462 HAS SOPS 53871 HAS SOUS 41591 HAS SOUPS 36512 WITH SCORE 36598.462
AT ITER 571 NEW BEST:: SOT 111950 SOS 86444 HAS SOPS 53853 HAS SOUS 41579 HAS SOUPS 36500 WITH SCORE 36586.444
AT ITER 580 NEW BEST:: SOT 111844 SOS 86338 HAS SOPS 53694 HAS SOUS 41366 HAS SOUPS 36287 WITH SCORE 36373.338
AT ITER 584 NEW BEST:: SOT 111802 SOS 86296 HAS SOPS 53631 HAS SOUS 41303 HAS SOUPS 36224 WITH SCORE 36310.296
AT ITER 585 NEW BEST:: SOT 111744 SOS 86238 HAS SOPS 53604 HAS SOUS 41216 HAS SOUPS 36137 WITH SCORE 36223.238
AT ITER 589 NEW BEST:: SOT 111744 SOS 86238 HAS SOPS 53604 HAS SOUS 41178 HAS SOUPS 36099 WITH SCORE 36185.238
AT ITER 590 NEW BEST:: SOT 111744 SOS 86238 HAS SOPS 53562 HAS SOUS 41157 HAS SOUPS 36071 WITH SCORE 36157.238
AT ITER 591 NEW BEST:: SOT 112333 SOS 86798 HAS SOPS 52981 HAS SOUS 40763 HAS SOUPS 35677 WITH SCORE 35763.798
AT ITER 597 NEW BEST:: SOT 112307 SOS 86772 HAS SOPS 52931 HAS SOUS 40713 HAS SOUPS 35627 WITH SCORE 35713.772
AT ITER 598 NEW BEST:: SOT 112303 SOS 86768 HAS SOPS 52925 HAS SOUS 40705 HAS SOUPS 35619 WITH SCORE 35705.768
AT ITER 600 NEW BEST:: SOT 112287 SOS 86752 HAS SOPS 52901 HAS SOUS 40681 HAS SOUPS 35595 WITH SCORE 35681.752
AT ITER 608 NEW BEST:: SOT 112215 SOS 86680 HAS SOPS 52745 HAS SOUS 40567 HAS SOUPS 35439 WITH SCORE 35525.68
AT ITER 612 NEW BEST:: SOT 112076 SOS 86541 HAS SOPS 52501 HAS SOUS 40326 HAS SOUPS 35198 WITH SCORE 35284.541
AT ITER 614 NEW BEST:: SOT 111856 SOS 86321 HAS SOPS 52171 HAS SOUS 39920 HAS SOUPS 34792 WITH SCORE 34878.321
AT ITER 615 NEW BEST:: SOT 111828 SOS 86293 HAS SOPS 52073 HAS SOUS 39822 HAS SOUPS 34694 WITH SCORE 34780.293
AT ITER 622 NEW BEST:: SOT 111578 SOS 86208 HAS SOPS 51679 HAS SOUS 39682 HAS SOUPS 34393 WITH SCORE 34479.208
AT ITER 625 NEW BEST:: SOT 111532 SOS 86162 HAS SOPS 51610 HAS SOUS 39613 HAS SOUPS 34324 WITH SCORE 34410.162
AT ITER 628 NEW BEST:: SOT 111370 SOS 86000 HAS SOPS 50800 HAS SOUS 38956 HAS SOUPS 33525 WITH SCORE 33611.0
AT ITER 633 NEW BEST:: SOT 111005 SOS 85635 HAS SOPS 50611 HAS SOUS 38814 HAS SOUPS 33383 WITH SCORE 33468.635
AT ITER 637 NEW BEST:: SOT 110969 SOS 85599 HAS SOPS 50517 HAS SOUS 38734 HAS SOUPS 33303 WITH SCORE 33388.599
AT ITER 642 NEW BEST:: SOT 110601 SOS 85231 HAS SOPS 50195 HAS SOUS 38458 HAS SOUPS 33027 WITH SCORE 33112.231
AT ITER 646 NEW BEST:: SOT 110442 SOS 85081 HAS SOPS 50054 HAS SOUS 38377 HAS SOUPS 32946 WITH SCORE 33031.081
AT ITER 649 NEW BEST:: SOT 110442 SOS 85081 HAS SOPS 49852 HAS SOUS 38304 HAS SOUPS 32873 WITH SCORE 32958.081
AT ITER 657 NEW BEST:: SOT 110384 SOS 85023 HAS SOPS 49765 HAS SOUS 38194 HAS SOUPS 32763 WITH SCORE 32848.023
AT ITER 662 NEW BEST:: SOT 110222 SOS 84861 HAS SOPS 49441 HAS SOUS 37870 HAS SOUPS 32439 WITH SCORE 32523.861
AT ITER 663 NEW BEST:: SOT 110204 SOS 84843 HAS SOPS 49414 HAS SOUS 37851 HAS SOUPS 32420 WITH SCORE 32504.843
AT ITER 665 NEW BEST:: SOT 109982 SOS 84621 HAS SOPS 49289 HAS SOUS 37656 HAS SOUPS 32225 WITH SCORE 32309.621
AT ITER 667 NEW BEST:: SOT 109982 SOS 84605 HAS SOPS 49275 HAS SOUS 37654 HAS SOUPS 32225 WITH SCORE 32309.605
AT ITER 670 NEW BEST:: SOT 109982 SOS 84605 HAS SOPS 49275 HAS SOUS 37608 HAS SOUPS 32179 WITH SCORE 32263.605
AT ITER 671 NEW BEST:: SOT 109960 SOS 84660 HAS SOPS 49330 HAS SOUS 37575 HAS SOUPS 32146 WITH SCORE 32230.66
AT ITER 680 NEW BEST:: SOT 109948 SOS 84504 HAS SOPS 49255 HAS SOUS 37419 HAS SOUPS 32071 WITH SCORE 32155.504
AT ITER 687 NEW BEST:: SOT 109885 SOS 84441 HAS SOPS 49236 HAS SOUS 37317 HAS SOUPS 31969 WITH SCORE 32053.441
AT ITER 703 NEW BEST:: SOT 109885 SOS 84432 HAS SOPS 49227 HAS SOUS 37308 HAS SOUPS 31960 WITH SCORE 32044.432
AT ITER 706 NEW BEST:: SOT 109875 SOS 84454 HAS SOPS 49228 HAS SOUS 37305 HAS SOUPS 31956 WITH SCORE 32040.454
AT ITER 708 NEW BEST:: SOT 109751 SOS 84277 HAS SOPS 48980 HAS SOUS 37085 HAS SOUPS 31736 WITH SCORE 31820.277
AT ITER 714 NEW BEST:: SOT 109596 SOS 84122 HAS SOPS 48802 HAS SOUS 36907 HAS SOUPS 31558 WITH SCORE 31642.122
AT ITER 716 NEW BEST:: SOT 109596 SOS 83793 HAS SOPS 48523 HAS SOUS 36857 HAS SOUPS 31558 WITH SCORE 31641.793
AT ITER 722 NEW BEST:: SOT 109572 SOS 83769 HAS SOPS 48487 HAS SOUS 36829 HAS SOUPS 31530 WITH SCORE 31613.769
AT ITER 726 NEW BEST:: SOT 109574 SOS 83771 HAS SOPS 48489 HAS SOUS 36820 HAS SOUPS 31521 WITH SCORE 31604.771
AT ITER 729 NEW BEST:: SOT 109615 SOS 83809 HAS SOPS 48549 HAS SOUS 36814 HAS SOUPS 31515 WITH SCORE 31598.809
AT ITER 738 NEW BEST:: SOT 109597 SOS 83791 HAS SOPS 48515 HAS SOUS 36812 HAS SOUPS 31513 WITH SCORE 31596.791
AT ITER 739 NEW BEST:: SOT 109555 SOS 83575 HAS SOPS 48331 HAS SOUS 36714 HAS SOUPS 31415 WITH SCORE 31498.575
AT ITER 742 NEW BEST:: SOT 109551 SOS 83643 HAS SOPS 48375 HAS SOUS 36722 HAS SOUPS 31411 WITH SCORE 31494.643
AT ITER 743 NEW BEST:: SOT 109521 SOS 83613 HAS SOPS 48315 HAS SOUS 36722 HAS SOUPS 31411 WITH SCORE 31494.613
AT ITER 744 NEW BEST:: SOT 109472 SOS 83580 HAS SOPS 48242 HAS SOUS 36673 HAS SOUPS 31362 WITH SCORE 31445.58
AT ITER 747 NEW BEST:: SOT 109484 SOS 83592 HAS SOPS 48186 HAS SOUS 36665 HAS SOUPS 31354 WITH SCORE 31437.592
AT ITER 748 NEW BEST:: SOT 109448 SOS 83556 HAS SOPS 48159 HAS SOUS 36638 HAS SOUPS 31327 WITH SCORE 31410.556
AT ITER 752 NEW BEST:: SOT 109424 SOS 83532 HAS SOPS 48147 HAS SOUS 36620 HAS SOUPS 31309 WITH SCORE 31392.532
AT ITER 757 NEW BEST:: SOT 109418 SOS 83526 HAS SOPS 48138 HAS SOUS 36565 HAS SOUPS 31254 WITH SCORE 31337.526
AT ITER 762 NEW BEST:: SOT 109288 SOS 83396 HAS SOPS 47942 HAS SOUS 36319 HAS SOUPS 31008 WITH SCORE 31091.396
AT ITER 763 NEW BEST:: SOT 109234 SOS 83342 HAS SOPS 47943 HAS SOUS 36268 HAS SOUPS 30957 WITH SCORE 31040.342
AT ITER 764 NEW BEST:: SOT 109159 SOS 83266 HAS SOPS 47843 HAS SOUS 36219 HAS SOUPS 30908 WITH SCORE 30991.266
AT ITER 769 NEW BEST:: SOT 109159 SOS 83266 HAS SOPS 47843 HAS SOUS 36216 HAS SOUPS 30905 WITH SCORE 30988.266
AT ITER 776 NEW BEST:: SOT 109077 SOS 83184 HAS SOPS 47720 HAS SOUS 36096 HAS SOUPS 30785 WITH SCORE 30868.184
AT ITER 777 NEW BEST:: SOT 109077 SOS 83184 HAS SOPS 47720 HAS SOUS 36084 HAS SOUPS 30773 WITH SCORE 30856.184
AT ITER 787 NEW BEST:: SOT 108825 SOS 82932 HAS SOPS 47427 HAS SOUS 35791 HAS SOUPS 30480 WITH SCORE 30562.932
AT ITER 789 NEW BEST:: SOT 108789 SOS 82878 HAS SOPS 47355 HAS SOUS 35757 HAS SOUPS 30446 WITH SCORE 30528.878
AT ITER 794 NEW BEST:: SOT 108755 SOS 82810 HAS SOPS 47287 HAS SOUS 35723 HAS SOUPS 30412 WITH SCORE 30494.81
AT ITER 806 NEW BEST:: SOT 108009 SOS 86443 HAS SOPS 48468 HAS SOUS 35541 HAS SOUPS 30143 WITH SCORE 30229.443
AT ITER 812 NEW BEST:: SOT 107805 SOS 86239 HAS SOPS 48282 HAS SOUS 35355 HAS SOUPS 29957 WITH SCORE 30043.239
AT ITER 816 NEW BEST:: SOT 107687 SOS 86121 HAS SOPS 48233 HAS SOUS 35274 HAS SOUPS 29876 WITH SCORE 29962.121
AT ITER 819 NEW BEST:: SOT 107602 SOS 86331 HAS SOPS 48178 HAS SOUS 35237 HAS SOUPS 29831 WITH SCORE 29917.331
AT ITER 829 NEW BEST:: SOT 107554 SOS 86283 HAS SOPS 48186 HAS SOUS 35203 HAS SOUPS 29797 WITH SCORE 29883.283
AT ITER 846 NEW BEST:: SOT 107408 SOS 86137 HAS SOPS 48074 HAS SOUS 35089 HAS SOUPS 29683 WITH SCORE 29769.137
AT ITER 856 NEW BEST:: SOT 107483 SOS 85842 HAS SOPS 47915 HAS SOUS 35085 HAS SOUPS 29679 WITH SCORE 29764.842
AT ITER 857 NEW BEST:: SOT 107461 SOS 85817 HAS SOPS 47904 HAS SOUS 35085 HAS SOUPS 29679 WITH SCORE 29764.817
AT ITER 858 NEW BEST:: SOT 107423 SOS 85779 HAS SOPS 47847 HAS SOUS 35028 HAS SOUPS 29622 WITH SCORE 29707.779
AT ITER 865 NEW BEST:: SOT 107339 SOS 85695 HAS SOPS 47722 HAS SOUS 34887 HAS SOUPS 29481 WITH SCORE 29566.695
AT ITER 870 NEW BEST:: SOT 107315 SOS 85671 HAS SOPS 47686 HAS SOUS 34849 HAS SOUPS 29443 WITH SCORE 29528.671
AT ITER 877 NEW BEST:: SOT 107259 SOS 85608 HAS SOPS 47602 HAS SOUS 34765 HAS SOUPS 29359 WITH SCORE 29444.608
AT ITER 885 NEW BEST:: SOT 107121 SOS 85470 HAS SOPS 47602 HAS SOUS 34710 HAS SOUPS 29304 WITH SCORE 29389.47
AT ITER 889 NEW BEST:: SOT 107083 SOS 85349 HAS SOPS 47411 HAS SOUS 34546 HAS SOUPS 29140 WITH SCORE 29225.349
AT ITER 893 NEW BEST:: SOT 107021 SOS 85287 HAS SOPS 47318 HAS SOUS 34454 HAS SOUPS 29048 WITH SCORE 29133.287
AT ITER 898 NEW BEST:: SOT 106991 SOS 85257 HAS SOPS 47273 HAS SOUS 34381 HAS SOUPS 28975 WITH SCORE 29060.257
AT ITER 900 NEW BEST:: SOT 106913 SOS 85179 HAS SOPS 47156 HAS SOUS 34264 HAS SOUPS 28858 WITH SCORE 28943.179
AT ITER 906 NEW BEST:: SOT 106873 SOS 85139 HAS SOPS 47076 HAS SOUS 34157 HAS SOUPS 28751 WITH SCORE 28836.139
AT ITER 910 NEW BEST:: SOT 106579 SOS 84845 HAS SOPS 46820 HAS SOUS 33910 HAS SOUPS 28504 WITH SCORE 28588.845
AT ITER 911 NEW BEST:: SOT 106469 SOS 84630 HAS SOPS 46820 HAS SOUS 33827 HAS SOUPS 28480 WITH SCORE 28564.63
AT ITER 914 NEW BEST:: SOT 106009 SOS 88183 HAS SOPS 47932 HAS SOUS 33812 HAS SOUPS 28391 WITH SCORE 28479.183
AT ITER 917 NEW BEST:: SOT 105876 SOS 88043 HAS SOPS 47869 HAS SOUS 33679 HAS SOUPS 28258 WITH SCORE 28346.043
AT ITER 918 NEW BEST:: SOT 105868 SOS 88035 HAS SOPS 47857 HAS SOUS 33662 HAS SOUPS 28241 WITH SCORE 28329.035
AT ITER 931 NEW BEST:: SOT 105868 SOS 87955 HAS SOPS 47836 HAS SOUS 33662 HAS SOUPS 28241 WITH SCORE 28328.955
AT ITER 938 NEW BEST:: SOT 105750 SOS 87837 HAS SOPS 47847 HAS SOUS 33633 HAS SOUPS 28212 WITH SCORE 28299.837
AT ITER 939 NEW BEST:: SOT 105738 SOS 87825 HAS SOPS 47829 HAS SOUS 33612 HAS SOUPS 28191 WITH SCORE 28278.825
AT ITER 946 NEW BEST:: SOT 105747 SOS 87834 HAS SOPS 47816 HAS SOUS 33580 HAS SOUPS 28159 WITH SCORE 28246.834
AT ITER 947 NEW BEST:: SOT 105747 SOS 87834 HAS SOPS 47816 HAS SOUS 33549 HAS SOUPS 28128 WITH SCORE 28215.834
AT ITER 964 NEW BEST:: SOT 105715 SOS 87802 HAS SOPS 47768 HAS SOUS 33516 HAS SOUPS 28095 WITH SCORE 28182.802
AT ITER 973 NEW BEST:: SOT 105643 SOS 87730 HAS SOPS 47624 HAS SOUS 33408 HAS SOUPS 27987 WITH SCORE 28074.73
AT ITER 979 NEW BEST:: SOT 105574 SOS 87998 HAS SOPS 47647 HAS SOUS 33370 HAS SOUPS 27942 WITH SCORE 28029.998
AT ITER 981 NEW BEST:: SOT 105554 SOS 87978 HAS SOPS 47607 HAS SOUS 33350 HAS SOUPS 27912 WITH SCORE 27999.978
AT ITER 990 NEW BEST:: SOT 105554 SOS 87978 HAS SOPS 47607 HAS SOUS 33341 HAS SOUPS 27903 WITH SCORE 27990.978
AT ITER 996 NEW BEST:: SOT 105554 SOS 87958 HAS SOPS 47587 HAS SOUS 33341 HAS SOUPS 27903 WITH SCORE 27990.958
AT ITER 1008 NEW BEST:: SOT 105543 SOS 87955 HAS SOPS 47573 HAS SOUS 33341 HAS SOUPS 27903 WITH SCORE 27990.955
AT ITER 1018 NEW BEST:: SOT 105536 SOS 87948 HAS SOPS 47566 HAS SOUS 33340 HAS SOUPS 27902 WITH SCORE 27989.948
AT ITER 1022 NEW BEST:: SOT 105534 SOS 87946 HAS SOPS 47563 HAS SOUS 33337 HAS SOUPS 27899 WITH SCORE 27986.946
AT ITER 1026 NEW BEST:: SOT 105366 SOS 87778 HAS SOPS 47430 HAS SOUS 33174 HAS SOUPS 27736 WITH SCORE 27823.778
AT ITER 1032 NEW BEST:: SOT 105360 SOS 87772 HAS SOPS 47421 HAS SOUS 33162 HAS SOUPS 27724 WITH SCORE 27811.772
AT ITER 1035 NEW BEST:: SOT 105296 SOS 87750 HAS SOPS 47338 HAS SOUS 32976 HAS SOUPS 27538 WITH SCORE 27625.75
AT ITER 1048 NEW BEST:: SOT 105296 SOS 87729 HAS SOPS 47331 HAS SOUS 32969 HAS SOUPS 27538 WITH SCORE 27625.729
AT ITER 1054 NEW BEST:: SOT 105148 SOS 87581 HAS SOPS 47405 HAS SOUS 32969 HAS SOUPS 27538 WITH SCORE 27625.581
AT ITER 1057 NEW BEST:: SOT 105148 SOS 87545 HAS SOPS 47405 HAS SOUS 32969 HAS SOUPS 27538 WITH SCORE 27625.545
AT ITER 1065 NEW BEST:: SOT 105136 SOS 87533 HAS SOPS 47381 HAS SOUS 32937 HAS SOUPS 27506 WITH SCORE 27593.533
AT ITER 1066 NEW BEST:: SOT 105072 SOS 87469 HAS SOPS 47337 HAS SOUS 32890 HAS SOUPS 27459 WITH SCORE 27546.469
AT ITER 1073 NEW BEST:: SOT 105072 SOS 87472 HAS SOPS 47337 HAS SOUS 32890 HAS SOUPS 27456 WITH SCORE 27543.472
AT ITER 1074 NEW BEST:: SOT 105028 SOS 87428 HAS SOPS 47271 HAS SOUS 32824 HAS SOUPS 27390 WITH SCORE 27477.428
AT ITER 1085 NEW BEST:: SOT 104990 SOS 87390 HAS SOPS 47214 HAS SOUS 32722 HAS SOUPS 27288 WITH SCORE 27375.39
AT ITER 1090 NEW BEST:: SOT 104887 SOS 87287 HAS SOPS 47154 HAS SOUS 32662 HAS SOUPS 27228 WITH SCORE 27315.287
AT ITER 1107 NEW BEST:: SOT 104900 SOS 87179 HAS SOPS 47128 HAS SOUS 32610 HAS SOUPS 27223 WITH SCORE 27310.179
AT ITER 1109 NEW BEST:: SOT 104664 SOS 86943 HAS SOPS 46774 HAS SOUS 32225 HAS SOUPS 26838 WITH SCORE 26924.943
AT ITER 1113 NEW BEST:: SOT 104664 SOS 86943 HAS SOPS 46774 HAS SOUS 32188 HAS SOUPS 26801 WITH SCORE 26887.943
AT ITER 1118 NEW BEST:: SOT 104652 SOS 86931 HAS SOPS 46756 HAS SOUS 32168 HAS SOUPS 26781 WITH SCORE 26867.931
AT ITER 1119 NEW BEST:: SOT 104652 SOS 86931 HAS SOPS 46756 HAS SOUS 32167 HAS SOUPS 26780 WITH SCORE 26866.931
AT ITER 1121 NEW BEST:: SOT 104604 SOS 86883 HAS SOPS 46748 HAS SOUS 32145 HAS SOUPS 26758 WITH SCORE 26844.883
AT ITER 1123 NEW BEST:: SOT 104574 SOS 86853 HAS SOPS 46688 HAS SOUS 32085 HAS SOUPS 26698 WITH SCORE 26784.853
AT ITER 1142 NEW BEST:: SOT 104568 SOS 86847 HAS SOPS 46682 HAS SOUS 32073 HAS SOUPS 26686 WITH SCORE 26772.847
AT ITER 1150 NEW BEST:: SOT 104514 SOS 86793 HAS SOPS 46574 HAS SOUS 31965 HAS SOUPS 26578 WITH SCORE 26664.793
AT ITER 1151 NEW BEST:: SOT 104472 SOS 86907 HAS SOPS 46560 HAS SOUS 32020 HAS SOUPS 26543 WITH SCORE 26629.907
AT ITER 1155 NEW BEST:: SOT 104472 SOS 86907 HAS SOPS 46560 HAS SOUS 32018 HAS SOUPS 26541 WITH SCORE 26627.907
AT ITER 1156 NEW BEST:: SOT 104286 SOS 86721 HAS SOPS 46410 HAS SOUS 31857 HAS SOUPS 26380 WITH SCORE 26466.721
AT ITER 1163 NEW BEST:: SOT 104199 SOS 86634 HAS SOPS 46433 HAS SOUS 31852 HAS SOUPS 26375 WITH SCORE 26461.634
AT ITER 1177 NEW BEST:: SOT 104181 SOS 86694 HAS SOPS 46473 HAS SOUS 31843 HAS SOUPS 26366 WITH SCORE 26452.694
AT ITER 1185 NEW BEST:: SOT 104169 SOS 86682 HAS SOPS 46455 HAS SOUS 31825 HAS SOUPS 26348 WITH SCORE 26434.682
AT ITER 1188 NEW BEST:: SOT 104161 SOS 86674 HAS SOPS 46459 HAS SOUS 31824 HAS SOUPS 26347 WITH SCORE 26433.674
AT ITER 1191 NEW BEST:: SOT 104002 SOS 88154 HAS SOPS 46932 HAS SOUS 31835 HAS SOUPS 26330 WITH SCORE 26418.154
AT ITER 1198 NEW BEST:: SOT 104019 SOS 88150 HAS SOPS 46907 HAS SOUS 31763 HAS SOUPS 26258 WITH SCORE 26346.15
AT ITER 1202 NEW BEST:: SOT 103954 SOS 88085 HAS SOPS 46842 HAS SOUS 31698 HAS SOUPS 26193 WITH SCORE 26281.085
AT ITER 1215 NEW BEST:: SOT 103892 SOS 88023 HAS SOPS 46749 HAS SOUS 31626 HAS SOUPS 26121 WITH SCORE 26209.023
AT ITER 1219 NEW BEST:: SOT 103869 SOS 88000 HAS SOPS 46626 HAS SOUS 31503 HAS SOUPS 25998 WITH SCORE 26086.0
AT ITER 1248 NEW BEST:: SOT 103867 SOS 87998 HAS SOPS 46624 HAS SOUS 31501 HAS SOUPS 25996 WITH SCORE 26083.998
AT ITER 1254 NEW BEST:: SOT 103855 SOS 87986 HAS SOPS 46607 HAS SOUS 31482 HAS SOUPS 25977 WITH SCORE 26064.986
AT ITER 1261 NEW BEST:: SOT 103869 SOS 88000 HAS SOPS 46607 HAS SOUS 31475 HAS SOUPS 25970 WITH SCORE 26058.0
AT ITER 1275 NEW BEST:: SOT 103737 SOS 87868 HAS SOPS 46507 HAS SOUS 31377 HAS SOUPS 25877 WITH SCORE 25964.868
AT ITER 1287 NEW BEST:: SOT 103735 SOS 87866 HAS SOPS 46296 HAS SOUS 31335 HAS SOUPS 25835 WITH SCORE 25922.866
AT ITER 1294 NEW BEST:: SOT 103733 SOS 87864 HAS SOPS 46293 HAS SOUS 31333 HAS SOUPS 25833 WITH SCORE 25920.864
AT ITER 1297 NEW BEST:: SOT 103733 SOS 87854 HAS SOPS 46293 HAS SOUS 31328 HAS SOUPS 25833 WITH SCORE 25920.854
AT ITER 1299 NEW BEST:: SOT 103707 SOS 87828 HAS SOPS 46254 HAS SOUS 31292 HAS SOUPS 25797 WITH SCORE 25884.828
AT ITER 1300 NEW BEST:: SOT 103699 SOS 87820 HAS SOPS 46231 HAS SOUS 31272 HAS SOUPS 25777 WITH SCORE 25864.82
AT ITER 1301 NEW BEST:: SOT 103956 SOS 85870 HAS SOPS 45751 HAS SOUS 31221 HAS SOUPS 25767 WITH SCORE 25852.87
AT ITER 1316 NEW BEST:: SOT 103938 SOS 85852 HAS SOPS 45733 HAS SOUS 31203 HAS SOUPS 25749 WITH SCORE 25834.852
AT ITER 1329 NEW BEST:: SOT 103954 SOS 85359 HAS SOPS 45577 HAS SOUS 31176 HAS SOUPS 25731 WITH SCORE 25816.359
AT ITER 1342 NEW BEST:: SOT 103930 SOS 85335 HAS SOPS 45541 HAS SOUS 31140 HAS SOUPS 25695 WITH SCORE 25780.335
AT ITER 1344 NEW BEST:: SOT 103930 SOS 85335 HAS SOPS 45541 HAS SOUS 31111 HAS SOUPS 25666 WITH SCORE 25751.335
AT ITER 1348 NEW BEST:: SOT 103914 SOS 85319 HAS SOPS 45533 HAS SOUS 31099 HAS SOUPS 25654 WITH SCORE 25739.319
AT ITER 1353 NEW BEST:: SOT 104141 SOS 83149 HAS SOPS 44838 HAS SOUS 31072 HAS SOUPS 25627 WITH SCORE 25710.149
AT ITER 1356 NEW BEST:: SOT 104113 SOS 83121 HAS SOPS 44796 HAS SOUS 31024 HAS SOUPS 25579 WITH SCORE 25662.121
AT ITER 1360 NEW BEST:: SOT 104047 SOS 83055 HAS SOPS 44730 HAS SOUS 31002 HAS SOUPS 25557 WITH SCORE 25640.055
AT ITER 1364 NEW BEST:: SOT 103860 SOS 83099 HAS SOPS 44774 HAS SOUS 30989 HAS SOUPS 25544 WITH SCORE 25627.099
AT ITER 1375 NEW BEST:: SOT 103878 SOS 83117 HAS SOPS 44749 HAS SOUS 30986 HAS SOUPS 25541 WITH SCORE 25624.117
AT ITER 1377 NEW BEST:: SOT 103878 SOS 83109 HAS SOPS 44749 HAS SOUS 30978 HAS SOUPS 25541 WITH SCORE 25624.109
AT ITER 1393 NEW BEST:: SOT 103854 SOS 83085 HAS SOPS 44713 HAS SOUS 30942 HAS SOUPS 25505 WITH SCORE 25588.085
AT ITER 1409 NEW BEST:: SOT 103762 SOS 82993 HAS SOPS 44575 HAS SOUS 30804 HAS SOUPS 25367 WITH SCORE 25449.993
AT ITER 1422 NEW BEST:: SOT 103718 SOS 82949 HAS SOPS 44509 HAS SOUS 30699 HAS SOUPS 25262 WITH SCORE 25344.949
AT ITER 1443 NEW BEST:: SOT 103706 SOS 82933 HAS SOPS 44501 HAS SOUS 30691 HAS SOUPS 25254 WITH SCORE 25336.933
AT ITER 1444 NEW BEST:: SOT 103706 SOS 82911 HAS SOPS 44501 HAS SOUS 30691 HAS SOUPS 25254 WITH SCORE 25336.911
AT ITER 1461 NEW BEST:: SOT 103628 SOS 82889 HAS SOPS 44390 HAS SOUS 30426 HAS SOUPS 24989 WITH SCORE 25071.889
AT ITER 1465 NEW BEST:: SOT 103703 SOS 82977 HAS SOPS 44356 HAS SOUS 30445 HAS SOUPS 24966 WITH SCORE 25048.977
AT ITER 1466 NEW BEST:: SOT 103703 SOS 82977 HAS SOPS 44300 HAS SOUS 30403 HAS SOUPS 24924 WITH SCORE 25006.977
AT ITER 1467 NEW BEST:: SOT 103650 SOS 82921 HAS SOPS 44219 HAS SOUS 30286 HAS SOUPS 24807 WITH SCORE 24889.921
AT ITER 1469 NEW BEST:: SOT 103632 SOS 82903 HAS SOPS 44183 HAS SOUS 30250 HAS SOUPS 24771 WITH SCORE 24853.903
AT ITER 1470 NEW BEST:: SOT 103622 SOS 82901 HAS SOPS 44246 HAS SOUS 30235 HAS SOUPS 24756 WITH SCORE 24838.901
AT ITER 1478 NEW BEST:: SOT 103456 SOS 82735 HAS SOPS 44222 HAS SOUS 30211 HAS SOUPS 24732 WITH SCORE 24814.735
AT ITER 1480 NEW BEST:: SOT 103448 SOS 82727 HAS SOPS 44194 HAS SOUS 30183 HAS SOUPS 24704 WITH SCORE 24786.727
AT ITER 1485 NEW BEST:: SOT 103356 SOS 82614 HAS SOPS 44035 HAS SOUS 30045 HAS SOUPS 24566 WITH SCORE 24648.614
AT ITER 1503 NEW BEST:: SOT 103282 SOS 82540 HAS SOPS 43924 HAS SOUS 29934 HAS SOUPS 24455 WITH SCORE 24537.54
AT ITER 1508 NEW BEST:: SOT 103304 SOS 82562 HAS SOPS 43946 HAS SOUS 29930 HAS SOUPS 24451 WITH SCORE 24533.562
AT ITER 1511 NEW BEST:: SOT 103194 SOS 82452 HAS SOPS 43781 HAS SOUS 29750 HAS SOUPS 24271 WITH SCORE 24353.452
AT ITER 1519 NEW BEST:: SOT 103191 SOS 82449 HAS SOPS 43778 HAS SOUS 29721 HAS SOUPS 24242 WITH SCORE 24324.449
AT ITER 1531 NEW BEST:: SOT 103145 SOS 82403 HAS SOPS 43709 HAS SOUS 29652 HAS SOUPS 24173 WITH SCORE 24255.403
AT ITER 1540 NEW BEST:: SOT 103093 SOS 82351 HAS SOPS 43631 HAS SOUS 29548 HAS SOUPS 24069 WITH SCORE 24151.351
AT ITER 1547 NEW BEST:: SOT 103093 SOS 82060 HAS SOPS 43377 HAS SOUS 29538 HAS SOUPS 24059 WITH SCORE 24141.06
AT ITER 1549 NEW BEST:: SOT 102955 SOS 81922 HAS SOPS 43427 HAS SOUS 29482 HAS SOUPS 24003 WITH SCORE 24084.922
AT ITER 1551 NEW BEST:: SOT 102949 SOS 81907 HAS SOPS 43415 HAS SOUS 29476 HAS SOUPS 24000 WITH SCORE 24081.907
AT ITER 1579 NEW BEST:: SOT 102877 SOS 81835 HAS SOPS 43271 HAS SOUS 29332 HAS SOUPS 23856 WITH SCORE 23937.835
AT ITER 1580 NEW BEST:: SOT 102873 SOS 81811 HAS SOPS 43238 HAS SOUS 29324 HAS SOUPS 23848 WITH SCORE 23929.811
AT ITER 1581 NEW BEST:: SOT 102831 SOS 81727 HAS SOPS 43145 HAS SOUS 29289 HAS SOUPS 23813 WITH SCORE 23894.727
AT ITER 1588 NEW BEST:: SOT 102779 SOS 81837 HAS SOPS 43114 HAS SOUS 29351 HAS SOUPS 23776 WITH SCORE 23857.837
AT ITER 1596 NEW BEST:: SOT 102653 SOS 82589 HAS SOPS 43263 HAS SOUS 29335 HAS SOUPS 23740 WITH SCORE 23822.589
AT ITER 1604 NEW BEST:: SOT 102653 SOS 82589 HAS SOPS 43263 HAS SOUS 29318 HAS SOUPS 23723 WITH SCORE 23805.589
AT ITER 1612 NEW BEST:: SOT 102585 SOS 82535 HAS SOPS 43163 HAS SOUS 29216 HAS SOUPS 23621 WITH SCORE 23703.535
AT ITER 1622 NEW BEST:: SOT 102585 SOS 82535 HAS SOPS 43163 HAS SOUS 29208 HAS SOUPS 23613 WITH SCORE 23695.535
AT ITER 1628 NEW BEST:: SOT 102585 SOS 82535 HAS SOPS 43160 HAS SOUS 29202 HAS SOUPS 23607 WITH SCORE 23689.535
AT ITER 1629 NEW BEST:: SOT 102589 SOS 82539 HAS SOPS 43158 HAS SOUS 29200 HAS SOUPS 23605 WITH SCORE 23687.539
AT ITER 1631 NEW BEST:: SOT 102575 SOS 82525 HAS SOPS 43144 HAS SOUS 29194 HAS SOUPS 23599 WITH SCORE 23681.525
AT ITER 1639 NEW BEST:: SOT 102547 SOS 82509 HAS SOPS 43088 HAS SOUS 29140 HAS SOUPS 23545 WITH SCORE 23627.509
AT ITER 1652 NEW BEST:: SOT 102595 SOS 82557 HAS SOPS 43136 HAS SOUS 29138 HAS SOUPS 23543 WITH SCORE 23625.557
AT ITER 1660 NEW BEST:: SOT 102583 SOS 82545 HAS SOPS 43118 HAS SOUS 29120 HAS SOUPS 23525 WITH SCORE 23607.545
AT ITER 1673 NEW BEST:: SOT 102493 SOS 82501 HAS SOPS 43059 HAS SOUS 29083 HAS SOUPS 23488 WITH SCORE 23570.501
AT ITER 1675 NEW BEST:: SOT 102198 SOS 85296 HAS SOPS 44039 HAS SOUS 29101 HAS SOUPS 23454 WITH SCORE 23539.296
AT ITER 1687 NEW BEST:: SOT 102215 SOS 85313 HAS SOPS 43954 HAS SOUS 29048 HAS SOUPS 23401 WITH SCORE 23486.313
AT ITER 1692 NEW BEST:: SOT 102213 SOS 85311 HAS SOPS 43950 HAS SOUS 29045 HAS SOUPS 23398 WITH SCORE 23483.311
AT ITER 1716 NEW BEST:: SOT 102213 SOS 85311 HAS SOPS 43950 HAS SOUS 29020 HAS SOUPS 23373 WITH SCORE 23458.311
AT ITER 1725 NEW BEST:: SOT 102229 SOS 85327 HAS SOPS 43974 HAS SOUS 29001 HAS SOUPS 23354 WITH SCORE 23439.327
AT ITER 1730 NEW BEST:: SOT 102199 SOS 85297 HAS SOPS 43947 HAS SOUS 28956 HAS SOUPS 23309 WITH SCORE 23394.297
AT ITER 1760 NEW BEST:: SOT 102195 SOS 85293 HAS SOPS 43901 HAS SOUS 28950 HAS SOUPS 23303 WITH SCORE 23388.293
AT ITER 1764 NEW BEST:: SOT 102143 SOS 85241 HAS SOPS 43823 HAS SOUS 28944 HAS SOUPS 23297 WITH SCORE 23382.241
AT ITER 1795 NEW BEST:: SOT 102077 SOS 85175 HAS SOPS 43742 HAS SOUS 28856 HAS SOUPS 23209 WITH SCORE 23294.175
AT ITER 1797 NEW BEST:: SOT 102069 SOS 85133 HAS SOPS 43681 HAS SOUS 28827 HAS SOUPS 23180 WITH SCORE 23265.133
AT ITER 1828 NEW BEST:: SOT 102056 SOS 85131 HAS SOPS 43679 HAS SOUS 28799 HAS SOUPS 23152 WITH SCORE 23237.131
AT ITER 1838 NEW BEST:: SOT 102056 SOS 85131 HAS SOPS 43615 HAS SOUS 28751 HAS SOUPS 23104 WITH SCORE 23189.131
AT ITER 1840 NEW BEST:: SOT 102043 SOS 84995 HAS SOPS 43558 HAS SOUS 28587 HAS SOUPS 23017 WITH SCORE 23101.995
AT ITER 1850 NEW BEST:: SOT 101979 SOS 84945 HAS SOPS 43496 HAS SOUS 28491 HAS SOUPS 22921 WITH SCORE 23005.945
AT ITER 1854 NEW BEST:: SOT 101926 SOS 84615 HAS SOPS 43166 HAS SOUS 28420 HAS SOUPS 22850 WITH SCORE 22934.615
AT ITER 1859 NEW BEST:: SOT 101880 SOS 84851 HAS SOPS 43182 HAS SOUS 28405 HAS SOUPS 22829 WITH SCORE 22913.851
AT ITER 1863 NEW BEST:: SOT 101878 SOS 84849 HAS SOPS 43180 HAS SOUS 28403 HAS SOUPS 22827 WITH SCORE 22911.849
AT ITER 1872 NEW BEST:: SOT 101695 SOS 84666 HAS SOPS 43074 HAS SOUS 28280 HAS SOUPS 22704 WITH SCORE 22788.666
AT ITER 1891 NEW BEST:: SOT 101648 SOS 84619 HAS SOPS 43007 HAS SOUS 28213 HAS SOUPS 22637 WITH SCORE 22721.619
AT ITER 1899 NEW BEST:: SOT 101637 SOS 84626 HAS SOPS 43086 HAS SOUS 28195 HAS SOUPS 22619 WITH SCORE 22703.626
AT ITER 1907 NEW BEST:: SOT 101637 SOS 84626 HAS SOPS 43086 HAS SOUS 28159 HAS SOUPS 22583 WITH SCORE 22667.626
AT ITER 1912 NEW BEST:: SOT 101611 SOS 84600 HAS SOPS 43047 HAS SOUS 28127 HAS SOUPS 22551 WITH SCORE 22635.6
AT ITER 1913 NEW BEST:: SOT 101603 SOS 84792 HAS SOPS 43167 HAS SOUS 28147 HAS SOUPS 22535 WITH SCORE 22619.792
AT ITER 1921 NEW BEST:: SOT 101592 SOS 84781 HAS SOPS 43118 HAS SOUS 28039 HAS SOUPS 22427 WITH SCORE 22511.781
AT ITER 1923 NEW BEST:: SOT 101468 SOS 84657 HAS SOPS 42935 HAS SOUS 27799 HAS SOUPS 22187 WITH SCORE 22271.657
AT ITER 1934 NEW BEST:: SOT 101466 SOS 84636 HAS SOPS 42898 HAS SOUS 27784 HAS SOUPS 22172 WITH SCORE 22256.636
AT ITER 1941 NEW BEST:: SOT 101450 SOS 84620 HAS SOPS 42890 HAS SOUS 27776 HAS SOUPS 22164 WITH SCORE 22248.62
AT ITER 1956 NEW BEST:: SOT 101465 SOS 84392 HAS SOPS 42810 HAS SOUS 27771 HAS SOUPS 22163 WITH SCORE 22247.392
AT ITER 1962 NEW BEST:: SOT 101443 SOS 84370 HAS SOPS 42788 HAS SOUS 27760 HAS SOUPS 22152 WITH SCORE 22236.37
AT ITER 1979 NEW BEST:: SOT 101439 SOS 84366 HAS SOPS 42787 HAS SOUS 27759 HAS SOUPS 22151 WITH SCORE 22235.366
AT ITER 1982 NEW BEST:: SOT 101424 SOS 84351 HAS SOPS 42772 HAS SOUS 27729 HAS SOUPS 22121 WITH SCORE 22205.351
AT ITER 1985 NEW BEST:: SOT 100801 SOS 83728 HAS SOPS 42006 HAS SOUS 27587 HAS SOUPS 21979 WITH SCORE 22062.728
AT ITER 1987 NEW BEST:: SOT 100753 SOS 83680 HAS SOPS 41992 HAS SOUS 27572 HAS SOUPS 21964 WITH SCORE 22047.68
AT ITER 1988 NEW BEST:: SOT 100753 SOS 83680 HAS SOPS 41992 HAS SOUS 27562 HAS SOUPS 21954 WITH SCORE 22037.68
AT ITER 1995 NEW BEST:: SOT 100731 SOS 83658 HAS SOPS 41959 HAS SOUS 27540 HAS SOUPS 21932 WITH SCORE 22015.658
AT ITER 1996 NEW BEST:: SOT 100709 SOS 83636 HAS SOPS 41926 HAS SOUS 27507 HAS SOUPS 21899 WITH SCORE 21982.636
AT ITER 1999 NEW BEST:: SOT 100729 SOS 83656 HAS SOPS 41882 HAS SOUS 27463 HAS SOUPS 21855 WITH SCORE 21938.656
AT ITER 2003 NEW BEST:: SOT 100717 SOS 83644 HAS SOPS 41882 HAS SOUS 27463 HAS SOUPS 21855 WITH SCORE 21938.644
AT ITER 2023 NEW BEST:: SOT 100707 SOS 83634 HAS SOPS 41862 HAS SOUS 27448 HAS SOUPS 21840 WITH SCORE 21923.634
AT ITER 2025 NEW BEST:: SOT 100707 SOS 83634 HAS SOPS 41823 HAS SOUS 27409 HAS SOUPS 21801 WITH SCORE 21884.634
AT ITER 2026 NEW BEST:: SOT 100934 SOS 81296 HAS SOPS 40889 HAS SOUS 27358 HAS SOUPS 21750 WITH SCORE 21831.296
AT ITER 2032 NEW BEST:: SOT 100958 SOS 81320 HAS SOPS 40825 HAS SOUS 27392 HAS SOUPS 21696 WITH SCORE 21777.32
AT ITER 2033 NEW BEST:: SOT 101010 SOS 81254 HAS SOPS 40896 HAS SOUS 27285 HAS SOUPS 21686 WITH SCORE 21767.254
AT ITER 2053 NEW BEST:: SOT 101010 SOS 81165 HAS SOPS 40819 HAS SOUS 27273 HAS SOUPS 21686 WITH SCORE 21767.165
AT ITER 2055 NEW BEST:: SOT 100934 SOS 81089 HAS SOPS 40809 HAS SOUS 27237 HAS SOUPS 21650 WITH SCORE 21731.089
AT ITER 2074 NEW BEST:: SOT 100932 SOS 81087 HAS SOPS 40806 HAS SOUS 27234 HAS SOUPS 21647 WITH SCORE 21728.087
AT ITER 2099 NEW BEST:: SOT 100820 SOS 80975 HAS SOPS 40814 HAS SOUS 27198 HAS SOUPS 21611 WITH SCORE 21691.975
AT ITER 2118 NEW BEST:: SOT 100692 SOS 80847 HAS SOPS 40906 HAS SOUS 27107 HAS SOUPS 21520 WITH SCORE 21600.847
AT ITER 2126 NEW BEST:: SOT 100628 SOS 80775 HAS SOPS 40853 HAS SOUS 27011 HAS SOUPS 21424 WITH SCORE 21504.775
AT ITER 2142 NEW BEST:: SOT 100614 SOS 80761 HAS SOPS 40865 HAS SOUS 26984 HAS SOUPS 21397 WITH SCORE 21477.761
AT ITER 2144 NEW BEST:: SOT 100584 SOS 80731 HAS SOPS 40820 HAS SOUS 26963 HAS SOUPS 21376 WITH SCORE 21456.731
AT ITER 2145 NEW BEST:: SOT 100580 SOS 80727 HAS SOPS 40814 HAS SOUS 26955 HAS SOUPS 21368 WITH SCORE 21448.727
AT ITER 2146 NEW BEST:: SOT 100550 SOS 80457 HAS SOPS 40514 HAS SOUS 26965 HAS SOUPS 21348 WITH SCORE 21428.457
AT ITER 2157 NEW BEST:: SOT 100494 SOS 80401 HAS SOPS 40430 HAS SOUS 26881 HAS SOUPS 21264 WITH SCORE 21344.401
AT ITER 2161 NEW BEST:: SOT 100494 SOS 80399 HAS SOPS 40430 HAS SOUS 26881 HAS SOUPS 21264 WITH SCORE 21344.399
AT ITER 2163 NEW BEST:: SOT 100474 SOS 80379 HAS SOPS 40400 HAS SOUS 26830 HAS SOUPS 21213 WITH SCORE 21293.379
AT ITER 2177 NEW BEST:: SOT 100418 SOS 80323 HAS SOPS 40340 HAS SOUS 26782 HAS SOUPS 21165 WITH SCORE 21245.323
AT ITER 2230 NEW BEST:: SOT 100418 SOS 80323 HAS SOPS 40340 HAS SOUS 26725 HAS SOUPS 21108 WITH SCORE 21188.323
AT ITER 2248 NEW BEST:: SOT 100336 SOS 80241 HAS SOPS 40277 HAS SOUS 26701 HAS SOUPS 21084 WITH SCORE 21164.241
AT ITER 2252 NEW BEST:: SOT 100262 SOS 80167 HAS SOPS 40166 HAS SOUS 26590 HAS SOUPS 20973 WITH SCORE 21053.167
AT ITER 2256 NEW BEST:: SOT 100214 SOS 80119 HAS SOPS 40130 HAS SOUS 26554 HAS SOUPS 20937 WITH SCORE 21017.119
AT ITER 2269 NEW BEST:: SOT 100192 SOS 80097 HAS SOPS 40086 HAS SOUS 26526 HAS SOUPS 20898 WITH SCORE 20978.097
AT ITER 2283 NEW BEST:: SOT 100192 SOS 80097 HAS SOPS 40086 HAS SOUS 26517 HAS SOUPS 20889 WITH SCORE 20969.097
AT ITER 2286 NEW BEST:: SOT 100158 SOS 80063 HAS SOPS 40143 HAS SOUS 26500 HAS SOUPS 20872 WITH SCORE 20952.063
AT ITER 2294 NEW BEST:: SOT 100158 SOS 80063 HAS SOPS 40143 HAS SOUS 26492 HAS SOUPS 20864 WITH SCORE 20944.063
AT ITER 2302 NEW BEST:: SOT 100104 SOS 80007 HAS SOPS 40008 HAS SOUS 26392 HAS SOUPS 20764 WITH SCORE 20844.007
AT ITER 2316 NEW BEST:: SOT 100060 SOS 79963 HAS SOPS 39942 HAS SOUS 26349 HAS SOUPS 20721 WITH SCORE 20800.963
AT ITER 2329 NEW BEST:: SOT 100060 SOS 79954 HAS SOPS 39934 HAS SOUS 26349 HAS SOUPS 20721 WITH SCORE 20800.954
AT ITER 2343 NEW BEST:: SOT 100112 SOS 80006 HAS SOPS 39832 HAS SOUS 26238 HAS SOUPS 20610 WITH SCORE 20690.006
AT ITER 2352 NEW BEST:: SOT 100122 SOS 80016 HAS SOPS 39847 HAS SOUS 26221 HAS SOUPS 20593 WITH SCORE 20673.016
AT ITER 2362 NEW BEST:: SOT 100182 SOS 80076 HAS SOPS 39664 HAS SOUS 26011 HAS SOUPS 20383 WITH SCORE 20463.076
AT ITER 2373 NEW BEST:: SOT 100158 SOS 80052 HAS SOPS 39628 HAS SOUS 25963 HAS SOUPS 20335 WITH SCORE 20415.052
AT ITER 2380 NEW BEST:: SOT 100136 SOS 80030 HAS SOPS 39584 HAS SOUS 25930 HAS SOUPS 20302 WITH SCORE 20382.03
AT ITER 2383 NEW BEST:: SOT 100109 SOS 80083 HAS SOPS 39547 HAS SOUS 25948 HAS SOUPS 20275 WITH SCORE 20355.083
AT ITER 2387 NEW BEST:: SOT 100109 SOS 80089 HAS SOPS 39547 HAS SOUS 25930 HAS SOUPS 20251 WITH SCORE 20331.089
AT ITER 2392 NEW BEST:: SOT 100093 SOS 80073 HAS SOPS 39466 HAS SOUS 25906 HAS SOUPS 20227 WITH SCORE 20307.073
AT ITER 2406 NEW BEST:: SOT 100069 SOS 80049 HAS SOPS 39466 HAS SOUS 25906 HAS SOUPS 20227 WITH SCORE 20307.049
AT ITER 2408 NEW BEST:: SOT 100055 SOS 80035 HAS SOPS 39445 HAS SOUS 25885 HAS SOUPS 20206 WITH SCORE 20286.035
AT ITER 2428 NEW BEST:: SOT 100053 SOS 80033 HAS SOPS 39445 HAS SOUS 25885 HAS SOUPS 20206 WITH SCORE 20286.033
AT ITER 2431 NEW BEST:: SOT 100053 SOS 80029 HAS SOPS 39441 HAS SOUS 25885 HAS SOUPS 20206 WITH SCORE 20286.029
AT ITER 2432 NEW BEST:: SOT 100049 SOS 80025 HAS SOPS 39435 HAS SOUS 25881 HAS SOUPS 20202 WITH SCORE 20282.025
AT ITER 2441 NEW BEST:: SOT 100010 SOS 80017 HAS SOPS 39427 HAS SOUS 25848 HAS SOUPS 20169 WITH SCORE 20249.017
AT ITER 2457 NEW BEST:: SOT 99986 SOS 79993 HAS SOPS 39391 HAS SOUS 25817 HAS SOUPS 20138 WITH SCORE 20217.993
AT ITER 2481 NEW BEST:: SOT 99963 SOS 79970 HAS SOPS 39354 HAS SOUS 25760 HAS SOUPS 20081 WITH SCORE 20160.97
AT ITER 2485 NEW BEST:: SOT 99962 SOS 79970 HAS SOPS 39352 HAS SOUS 25761 HAS SOUPS 20080 WITH SCORE 20159.97
AT ITER 2493 NEW BEST:: SOT 99956 SOS 79964 HAS SOPS 39340 HAS SOUS 25713 HAS SOUPS 20032 WITH SCORE 20111.964
AT ITER 2503 NEW BEST:: SOT 99890 SOS 79903 HAS SOPS 39326 HAS SOUS 25685 HAS SOUPS 20004 WITH SCORE 20083.903
AT ITER 2511 NEW BEST:: SOT 99897 SOS 79919 HAS SOPS 39333 HAS SOUS 25678 HAS SOUPS 19997 WITH SCORE 20076.919
AT ITER 2520 NEW BEST:: SOT 99901 SOS 79923 HAS SOPS 39315 HAS SOUS 25670 HAS SOUPS 19989 WITH SCORE 20068.923
AT ITER 2524 NEW BEST:: SOT 99895 SOS 79917 HAS SOPS 39315 HAS SOUS 25664 HAS SOUPS 19983 WITH SCORE 20062.917
AT ITER 2531 NEW BEST:: SOT 99686 SOS 79746 HAS SOPS 39070 HAS SOUS 25539 HAS SOUPS 19858 WITH SCORE 19937.746
AT ITER 2534 NEW BEST:: SOT 99660 SOS 79720 HAS SOPS 39063 HAS SOUS 25524 HAS SOUPS 19843 WITH SCORE 19922.72
AT ITER 2555 NEW BEST:: SOT 99658 SOS 79718 HAS SOPS 39060 HAS SOUS 25521 HAS SOUPS 19840 WITH SCORE 19919.718
AT ITER 2557 NEW BEST:: SOT 99669 SOS 79729 HAS SOPS 39071 HAS SOUS 25514 HAS SOUPS 19833 WITH SCORE 19912.729
AT ITER 2558 NEW BEST:: SOT 99644 SOS 79654 HAS SOPS 39021 HAS SOUS 25439 HAS SOUPS 19783 WITH SCORE 19862.654
AT ITER 2567 NEW BEST:: SOT 99536 SOS 79626 HAS SOPS 38973 HAS SOUS 25375 HAS SOUPS 19719 WITH SCORE 19798.626
AT ITER 2571 NEW BEST:: SOT 99518 SOS 79608 HAS SOPS 38946 HAS SOUS 25344 HAS SOUPS 19688 WITH SCORE 19767.608
AT ITER 2601 NEW BEST:: SOT 99631 SOS 79675 HAS SOPS 38979 HAS SOUS 25312 HAS SOUPS 19656 WITH SCORE 19735.675
AT ITER 2602 NEW BEST:: SOT 99625 SOS 79731 HAS SOPS 39080 HAS SOUS 25306 HAS SOUPS 19650 WITH SCORE 19729.731
AT ITER 2604 NEW BEST:: SOT 99631 SOS 79737 HAS SOPS 39089 HAS SOUS 25292 HAS SOUPS 19636 WITH SCORE 19715.737
AT ITER 2611 NEW BEST:: SOT 99589 SOS 79695 HAS SOPS 39026 HAS SOUS 25208 HAS SOUPS 19552 WITH SCORE 19631.695
AT ITER 2617 NEW BEST:: SOT 99583 SOS 79689 HAS SOPS 39017 HAS SOUS 25199 HAS SOUPS 19543 WITH SCORE 19622.689
AT ITER 2624 NEW BEST:: SOT 99567 SOS 79673 HAS SOPS 38993 HAS SOUS 25175 HAS SOUPS 19519 WITH SCORE 19598.673
AT ITER 2625 NEW BEST:: SOT 99514 SOS 79637 HAS SOPS 38957 HAS SOUS 25126 HAS SOUPS 19470 WITH SCORE 19549.637
AT ITER 2636 NEW BEST:: SOT 99536 SOS 79659 HAS SOPS 38973 HAS SOUS 25124 HAS SOUPS 19468 WITH SCORE 19547.659
AT ITER 2641 NEW BEST:: SOT 99542 SOS 79665 HAS SOPS 38982 HAS SOUS 25119 HAS SOUPS 19463 WITH SCORE 19542.665
AT ITER 2645 NEW BEST:: SOT 99536 SOS 79659 HAS SOPS 38973 HAS SOUS 25108 HAS SOUPS 19452 WITH SCORE 19531.659
AT ITER 2653 NEW BEST:: SOT 99490 SOS 79613 HAS SOPS 38897 HAS SOUS 25032 HAS SOUPS 19376 WITH SCORE 19455.613
AT ITER 2663 NEW BEST:: SOT 99466 SOS 79589 HAS SOPS 38861 HAS SOUS 24963 HAS SOUPS 19307 WITH SCORE 19386.589
AT ITER 2675 NEW BEST:: SOT 99460 SOS 79583 HAS SOPS 38849 HAS SOUS 24944 HAS SOUPS 19288 WITH SCORE 19367.583
AT ITER 2683 NEW BEST:: SOT 99457 SOS 79580 HAS SOPS 38822 HAS SOUS 24943 HAS SOUPS 19263 WITH SCORE 19342.58
AT ITER 2689 NEW BEST:: SOT 99455 SOS 79578 HAS SOPS 38819 HAS SOUS 24927 HAS SOUPS 19247 WITH SCORE 19326.578
AT ITER 2694 NEW BEST:: SOT 99427 SOS 79550 HAS SOPS 38777 HAS SOUS 24885 HAS SOUPS 19205 WITH SCORE 19284.55
AT ITER 2701 NEW BEST:: SOT 99452 SOS 79820 HAS SOPS 38936 HAS SOUS 24966 HAS SOUPS 19175 WITH SCORE 19254.82
AT ITER 2721 NEW BEST:: SOT 99395 SOS 79763 HAS SOPS 38901 HAS SOUS 24926 HAS SOUPS 19135 WITH SCORE 19214.763
AT ITER 2723 NEW BEST:: SOT 99403 SOS 79771 HAS SOPS 38913 HAS SOUS 24909 HAS SOUPS 19118 WITH SCORE 19197.771
AT ITER 2726 NEW BEST:: SOT 99393 SOS 79761 HAS SOPS 38898 HAS SOUS 24902 HAS SOUPS 19111 WITH SCORE 19190.761
AT ITER 2732 NEW BEST:: SOT 99391 SOS 79759 HAS SOPS 38891 HAS SOUS 24896 HAS SOUPS 19105 WITH SCORE 19184.759
AT ITER 2757 NEW BEST:: SOT 99329 SOS 79697 HAS SOPS 38767 HAS SOUS 24803 HAS SOUPS 19012 WITH SCORE 19091.697
AT ITER 2761 NEW BEST:: SOT 99307 SOS 79675 HAS SOPS 38734 HAS SOUS 24719 HAS SOUPS 18928 WITH SCORE 19007.675
AT ITER 2778 NEW BEST:: SOT 99305 SOS 79673 HAS SOPS 38735 HAS SOUS 24716 HAS SOUPS 18925 WITH SCORE 19004.673
AT ITER 2808 NEW BEST:: SOT 99227 SOS 79595 HAS SOPS 38618 HAS SOUS 24580 HAS SOUPS 18789 WITH SCORE 18868.595
AT ITER 2820 NEW BEST:: SOT 99219 SOS 79587 HAS SOPS 38602 HAS SOUS 24568 HAS SOUPS 18777 WITH SCORE 18856.587
AT ITER 2824 NEW BEST:: SOT 99219 SOS 79587 HAS SOPS 38602 HAS SOUS 24561 HAS SOUPS 18770 WITH SCORE 18849.587
AT ITER 2834 NEW BEST:: SOT 99219 SOS 79587 HAS SOPS 38602 HAS SOUS 24558 HAS SOUPS 18767 WITH SCORE 18846.587
AT ITER 2841 NEW BEST:: SOT 99030 SOS 81149 HAS SOPS 38900 HAS SOUS 24570 HAS SOUPS 18745 WITH SCORE 18826.149
AT ITER 2856 NEW BEST:: SOT 99054 SOS 81173 HAS SOPS 38864 HAS SOUS 24552 HAS SOUPS 18727 WITH SCORE 18808.173
AT ITER 2866 NEW BEST:: SOT 99050 SOS 81169 HAS SOPS 38850 HAS SOUS 24538 HAS SOUPS 18713 WITH SCORE 18794.169
AT ITER 2867 NEW BEST:: SOT 99034 SOS 81145 HAS SOPS 38826 HAS SOUS 24514 HAS SOUPS 18689 WITH SCORE 18770.145
AT ITER 2883 NEW BEST:: SOT 99030 SOS 81141 HAS SOPS 38796 HAS SOUS 24508 HAS SOUPS 18683 WITH SCORE 18764.141
AT ITER 2893 NEW BEST:: SOT 99082 SOS 81193 HAS SOPS 38790 HAS SOUS 24498 HAS SOUPS 18673 WITH SCORE 18754.193
AT ITER 2903 NEW BEST:: SOT 99102 SOS 81213 HAS SOPS 38750 HAS SOUS 24468 HAS SOUPS 18643 WITH SCORE 18724.213
AT ITER 2915 NEW BEST:: SOT 99106 SOS 81217 HAS SOPS 38756 HAS SOUS 24459 HAS SOUPS 18634 WITH SCORE 18715.217
AT ITER 2919 NEW BEST:: SOT 99110 SOS 81221 HAS SOPS 38570 HAS SOUS 24415 HAS SOUPS 18590 WITH SCORE 18671.221
AT ITER 2933 NEW BEST:: SOT 99110 SOS 81203 HAS SOPS 38549 HAS SOUS 24418 HAS SOUPS 18590 WITH SCORE 18671.203
AT ITER 2934 NEW BEST:: SOT 99106 SOS 81199 HAS SOPS 38543 HAS SOUS 24418 HAS SOUPS 18590 WITH SCORE 18671.199
AT ITER 2946 NEW BEST:: SOT 99136 SOS 81287 HAS SOPS 38371 HAS SOUS 24325 HAS SOUPS 18439 WITH SCORE 18520.287
AT ITER 2963 NEW BEST:: SOT 99130 SOS 81281 HAS SOPS 38362 HAS SOUS 24316 HAS SOUPS 18430 WITH SCORE 18511.281
AT ITER 2975 NEW BEST:: SOT 99040 SOS 81191 HAS SOPS 38170 HAS SOUS 24143 HAS SOUPS 18257 WITH SCORE 18338.191
AT ITER 2979 NEW BEST:: SOT 99072 SOS 81223 HAS SOPS 38100 HAS SOUS 24089 HAS SOUPS 18203 WITH SCORE 18284.223
AT ITER 2985 NEW BEST:: SOT 99044 SOS 81195 HAS SOPS 38058 HAS SOUS 24056 HAS SOUPS 18170 WITH SCORE 18251.195
AT ITER 2989 NEW BEST:: SOT 98864 SOS 81053 HAS SOPS 37916 HAS SOUS 24034 HAS SOUPS 18148 WITH SCORE 18229.053
AT ITER 2990 NEW BEST:: SOT 98836 SOS 81025 HAS SOPS 37874 HAS SOUS 23992 HAS SOUPS 18106 WITH SCORE 18187.025
AT ITER 3026 NEW BEST:: SOT 98814 SOS 81003 HAS SOPS 37841 HAS SOUS 23959 HAS SOUPS 18073 WITH SCORE 18154.003
AT ITER 3035 NEW BEST:: SOT 98792 SOS 80981 HAS SOPS 37852 HAS SOUS 23959 HAS SOUPS 18073 WITH SCORE 18153.981
AT ITER 3045 NEW BEST:: SOT 98792 SOS 80981 HAS SOPS 37852 HAS SOUS 23957 HAS SOUPS 18071 WITH SCORE 18151.981
AT ITER 3092 NEW BEST:: SOT 98726 SOS 80915 HAS SOPS 37753 HAS SOUS 23891 HAS SOUPS 18005 WITH SCORE 18085.915
AT ITER 3131 NEW BEST:: SOT 98726 SOS 80915 HAS SOPS 37753 HAS SOUS 23889 HAS SOUPS 18003 WITH SCORE 18083.915
AT ITER 3141 NEW BEST:: SOT 98722 SOS 80911 HAS SOPS 37750 HAS SOUS 23886 HAS SOUPS 18000 WITH SCORE 18080.911
AT ITER 3144 NEW BEST:: SOT 98720 SOS 80909 HAS SOPS 37746 HAS SOUS 23883 HAS SOUPS 17997 WITH SCORE 18077.909
AT ITER 3177 NEW BEST:: SOT 98720 SOS 80909 HAS SOPS 37746 HAS SOUS 23877 HAS SOUPS 17991 WITH SCORE 18071.909
AT ITER 3178 NEW BEST:: SOT 98712 SOS 80901 HAS SOPS 37733 HAS SOUS 23864 HAS SOUPS 17978 WITH SCORE 18058.901
AT ITER 3203 NEW BEST:: SOT 98724 SOS 80913 HAS SOPS 37703 HAS SOUS 23846 HAS SOUPS 17960 WITH SCORE 18040.913
AT ITER 3204 NEW BEST:: SOT 98690 SOS 80879 HAS SOPS 37652 HAS SOUS 23812 HAS SOUPS 17926 WITH SCORE 18006.879
AT ITER 3206 NEW BEST:: SOT 98682 SOS 80871 HAS SOPS 37640 HAS SOUS 23803 HAS SOUPS 17917 WITH SCORE 17997.871
AT ITER 3221 NEW BEST:: SOT 98740 SOS 80929 HAS SOPS 37591 HAS SOUS 23788 HAS SOUPS 17902 WITH SCORE 17982.929
AT ITER 3241 NEW BEST:: SOT 98707 SOS 80896 HAS SOPS 37609 HAS SOUS 23779 HAS SOUPS 17893 WITH SCORE 17973.896
AT ITER 3253 NEW BEST:: SOT 98692 SOS 80904 HAS SOPS 37594 HAS SOUS 23764 HAS SOUPS 17855 WITH SCORE 17935.904
AT ITER 3270 NEW BEST:: SOT 98692 SOS 80886 HAS SOPS 37560 HAS SOUS 23764 HAS SOUPS 17855 WITH SCORE 17935.886
AT ITER 3293 NEW BEST:: SOT 98688 SOS 80882 HAS SOPS 37554 HAS SOUS 23758 HAS SOUPS 17849 WITH SCORE 17929.882
AT ITER 3300 NEW BEST:: SOT 98668 SOS 80862 HAS SOPS 37514 HAS SOUS 23693 HAS SOUPS 17784 WITH SCORE 17864.862
AT ITER 3305 NEW BEST:: SOT 98670 SOS 80864 HAS SOPS 37518 HAS SOUS 23689 HAS SOUPS 17780 WITH SCORE 17860.864
AT ITER 3335 NEW BEST:: SOT 98700 SOS 80894 HAS SOPS 37475 HAS SOUS 23668 HAS SOUPS 17759 WITH SCORE 17839.894
AT ITER 3361 NEW BEST:: SOT 98696 SOS 80890 HAS SOPS 37469 HAS SOUS 23655 HAS SOUPS 17746 WITH SCORE 17826.89
AT ITER 3411 NEW BEST:: SOT 98688 SOS 80882 HAS SOPS 37457 HAS SOUS 23643 HAS SOUPS 17734 WITH SCORE 17814.882
AT ITER 3416 NEW BEST:: SOT 98680 SOS 80874 HAS SOPS 37445 HAS SOUS 23631 HAS SOUPS 17722 WITH SCORE 17802.874
AT ITER 3420 NEW BEST:: SOT 98682 SOS 80876 HAS SOPS 37448 HAS SOUS 23615 HAS SOUPS 17706 WITH SCORE 17786.876
AT ITER 3422 NEW BEST:: SOT 98682 SOS 80876 HAS SOPS 37448 HAS SOUS 23558 HAS SOUPS 17649 WITH SCORE 17729.876
AT ITER 3441 NEW BEST:: SOT 98661 SOS 80834 HAS SOPS 37427 HAS SOUS 23537 HAS SOUPS 17649 WITH SCORE 17729.834
AT ITER 3442 NEW BEST:: SOT 98653 SOS 80826 HAS SOPS 37415 HAS SOUS 23529 HAS SOUPS 17641 WITH SCORE 17721.826
AT ITER 3458 NEW BEST:: SOT 98633 SOS 80806 HAS SOPS 37385 HAS SOUS 23499 HAS SOUPS 17611 WITH SCORE 17691.806
AT ITER 3459 NEW BEST:: SOT 98577 SOS 80755 HAS SOPS 37280 HAS SOUS 23415 HAS SOUPS 17527 WITH SCORE 17607.755
AT ITER 3487 NEW BEST:: SOT 98567 SOS 80745 HAS SOPS 37265 HAS SOUS 23364 HAS SOUPS 17476 WITH SCORE 17556.745
AT ITER 3492 NEW BEST:: SOT 98498 SOS 80708 HAS SOPS 37167 HAS SOUS 23316 HAS SOUPS 17367 WITH SCORE 17447.708
AT ITER 3511 NEW BEST:: SOT 98498 SOS 80708 HAS SOPS 37167 HAS SOUS 23307 HAS SOUPS 17358 WITH SCORE 17438.708
AT ITER 3522 NEW BEST:: SOT 98544 SOS 80754 HAS SOPS 37120 HAS SOUS 23288 HAS SOUPS 17339 WITH SCORE 17419.754
AT ITER 3540 NEW BEST:: SOT 98524 SOS 80716 HAS SOPS 37094 HAS SOUS 23236 HAS SOUPS 17299 WITH SCORE 17379.716
AT ITER 3555 NEW BEST:: SOT 98516 SOS 80751 HAS SOPS 37078 HAS SOUS 23230 HAS SOUPS 17254 WITH SCORE 17334.751
AT ITER 3557 NEW BEST:: SOT 98492 SOS 80796 HAS SOPS 37055 HAS SOUS 23233 HAS SOUPS 17214 WITH SCORE 17294.796
AT ITER 3583 NEW BEST:: SOT 98474 SOS 80778 HAS SOPS 37028 HAS SOUS 23216 HAS SOUPS 17197 WITH SCORE 17277.778
AT ITER 3591 NEW BEST:: SOT 98466 SOS 80774 HAS SOPS 37028 HAS SOUS 23212 HAS SOUPS 17193 WITH SCORE 17273.774
AT ITER 3593 NEW BEST:: SOT 98438 SOS 80746 HAS SOPS 36986 HAS SOUS 23173 HAS SOUPS 17154 WITH SCORE 17234.746
AT ITER 3672 NEW BEST:: SOT 98438 SOS 80746 HAS SOPS 36986 HAS SOUS 23170 HAS SOUPS 17151 WITH SCORE 17231.746
AT ITER 3685 NEW BEST:: SOT 98421 SOS 80729 HAS SOPS 36952 HAS SOUS 23153 HAS SOUPS 17134 WITH SCORE 17214.729
AT ITER 3706 NEW BEST:: SOT 98417 SOS 80703 HAS SOPS 36944 HAS SOUS 23147 HAS SOUPS 17128 WITH SCORE 17208.703
AT ITER 3733 NEW BEST:: SOT 98417 SOS 80703 HAS SOPS 36928 HAS SOUS 23135 HAS SOUPS 17116 WITH SCORE 17196.703
AT ITER 3755 NEW BEST:: SOT 98417 SOS 80703 HAS SOPS 36880 HAS SOUS 23090 HAS SOUPS 17071 WITH SCORE 17151.703
AT ITER 3768 NEW BEST:: SOT 98289 SOS 81456 HAS SOPS 36970 HAS SOUS 23092 HAS SOUPS 17054 WITH SCORE 17135.456
AT ITER 3769 NEW BEST:: SOT 98233 SOS 81400 HAS SOPS 36886 HAS SOUS 22997 HAS SOUPS 16959 WITH SCORE 17040.4
AT ITER 3774 NEW BEST:: SOT 98219 SOS 81386 HAS SOPS 36922 HAS SOUS 22989 HAS SOUPS 16951 WITH SCORE 17032.386
AT ITER 3778 NEW BEST:: SOT 98219 SOS 81386 HAS SOPS 36922 HAS SOUS 22988 HAS SOUPS 16950 WITH SCORE 17031.386
AT ITER 3781 NEW BEST:: SOT 98207 SOS 81374 HAS SOPS 36898 HAS SOUS 22970 HAS SOUPS 16932 WITH SCORE 17013.374
AT ITER 3795 NEW BEST:: SOT 98205 SOS 81372 HAS SOPS 36892 HAS SOUS 22964 HAS SOUPS 16926 WITH SCORE 17007.372
AT ITER 3802 NEW BEST:: SOT 98205 SOS 81372 HAS SOPS 36892 HAS SOUS 22955 HAS SOUPS 16917 WITH SCORE 16998.372
AT ITER 3812 NEW BEST:: SOT 98205 SOS 81372 HAS SOPS 36892 HAS SOUS 22950 HAS SOUPS 16912 WITH SCORE 16993.372
AT ITER 3833 NEW BEST:: SOT 98203 SOS 81370 HAS SOPS 36889 HAS SOUS 22934 HAS SOUPS 16896 WITH SCORE 16977.37
AT ITER 3846 NEW BEST:: SOT 98185 SOS 81352 HAS SOPS 36862 HAS SOUS 22918 HAS SOUPS 16880 WITH SCORE 16961.352
AT ITER 3848 NEW BEST:: SOT 98169 SOS 81336 HAS SOPS 36754 HAS SOUS 22827 HAS SOUPS 16789 WITH SCORE 16870.336
AT ITER 3866 NEW BEST:: SOT 98161 SOS 81332 HAS SOPS 36738 HAS SOUS 22815 HAS SOUPS 16777 WITH SCORE 16858.332
AT ITER 3876 NEW BEST:: SOT 98161 SOS 81332 HAS SOPS 36738 HAS SOUS 22810 HAS SOUPS 16772 WITH SCORE 16853.332
AT ITER 3904 NEW BEST:: SOT 98159 SOS 81330 HAS SOPS 36735 HAS SOUS 22806 HAS SOUPS 16768 WITH SCORE 16849.33
AT ITER 3905 NEW BEST:: SOT 98058 SOS 82033 HAS SOPS 37009 HAS SOUS 22803 HAS SOUPS 16750 WITH SCORE 16832.033
AT ITER 3918 NEW BEST:: SOT 98056 SOS 82031 HAS SOPS 37006 HAS SOUS 22799 HAS SOUPS 16746 WITH SCORE 16828.031
AT ITER 3929 NEW BEST:: SOT 98052 SOS 82027 HAS SOPS 36998 HAS SOUS 22793 HAS SOUPS 16740 WITH SCORE 16822.027
AT ITER 3961 NEW BEST:: SOT 98036 SOS 82011 HAS SOPS 36974 HAS SOUS 22777 HAS SOUPS 16724 WITH SCORE 16806.011
AT ITER 3967 NEW BEST:: SOT 98034 SOS 82076 HAS SOPS 36998 HAS SOUS 22762 HAS SOUPS 16709 WITH SCORE 16791.076
AT ITER 3990 NEW BEST:: SOT 97902 SOS 81944 HAS SOPS 36800 HAS SOUS 22564 HAS SOUPS 16511 WITH SCORE 16592.944
AT ITER 4007 NEW BEST:: SOT 97920 SOS 81962 HAS SOPS 36791 HAS SOUS 22555 HAS SOUPS 16502 WITH SCORE 16583.962
AT ITER 4014 NEW BEST:: SOT 97894 SOS 81936 HAS SOPS 36739 HAS SOUS 22516 HAS SOUPS 16463 WITH SCORE 16544.936
AT ITER 4015 NEW BEST:: SOT 97890 SOS 81939 HAS SOPS 36801 HAS SOUS 22510 HAS SOUPS 16457 WITH SCORE 16538.939
AT ITER 4029 NEW BEST:: SOT 97890 SOS 81939 HAS SOPS 36801 HAS SOUS 22505 HAS SOUPS 16452 WITH SCORE 16533.939
AT ITER 4051 NEW BEST:: SOT 97754 SOS 83144 HAS SOPS 37192 HAS SOUS 22520 HAS SOUPS 16444 WITH SCORE 16527.144
AT ITER 4066 NEW BEST:: SOT 97749 SOS 83134 HAS SOPS 37187 HAS SOUS 22510 HAS SOUPS 16439 WITH SCORE 16522.134
AT ITER 4091 NEW BEST:: SOT 97745 SOS 83130 HAS SOPS 37181 HAS SOUS 22504 HAS SOUPS 16433 WITH SCORE 16516.13
AT ITER 4115 NEW BEST:: SOT 97743 SOS 83128 HAS SOPS 37206 HAS SOUS 22501 HAS SOUPS 16430 WITH SCORE 16513.128
AT ITER 4120 NEW BEST:: SOT 97755 SOS 83140 HAS SOPS 37172 HAS SOUS 22480 HAS SOUPS 16409 WITH SCORE 16492.14
AT ITER 4129 NEW BEST:: SOT 97729 SOS 83114 HAS SOPS 37133 HAS SOUS 22411 HAS SOUPS 16340 WITH SCORE 16423.114
AT ITER 4147 NEW BEST:: SOT 97691 SOS 83076 HAS SOPS 37076 HAS SOUS 22335 HAS SOUPS 16264 WITH SCORE 16347.076
AT ITER 4151 NEW BEST:: SOT 97687 SOS 83072 HAS SOPS 37070 HAS SOUS 22329 HAS SOUPS 16258 WITH SCORE 16341.072
AT ITER 4152 NEW BEST:: SOT 97687 SOS 83072 HAS SOPS 37070 HAS SOUS 22312 HAS SOUPS 16241 WITH SCORE 16324.072
AT ITER 4161 NEW BEST:: SOT 97651 SOS 83040 HAS SOPS 37016 HAS SOUS 22258 HAS SOUPS 16187 WITH SCORE 16270.04
AT ITER 4163 NEW BEST:: SOT 97651 SOS 83040 HAS SOPS 37016 HAS SOUS 22246 HAS SOUPS 16175 WITH SCORE 16258.04
AT ITER 4165 NEW BEST:: SOT 97625 SOS 83014 HAS SOPS 36977 HAS SOUS 22197 HAS SOUPS 16126 WITH SCORE 16209.014
AT ITER 4198 NEW BEST:: SOT 97607 SOS 82996 HAS SOPS 36950 HAS SOUS 22147 HAS SOUPS 16076 WITH SCORE 16158.996
AT ITER 4207 NEW BEST:: SOT 97593 SOS 82982 HAS SOPS 36934 HAS SOUS 22125 HAS SOUPS 16054 WITH SCORE 16136.982
AT ITER 4222 NEW BEST:: SOT 97587 SOS 82976 HAS SOPS 36922 HAS SOUS 22116 HAS SOUPS 16045 WITH SCORE 16127.976
AT ITER 4223 NEW BEST:: SOT 97740 SOS 83129 HAS SOPS 37093 HAS SOUS 22076 HAS SOUPS 16005 WITH SCORE 16088.129
AT ITER 4231 NEW BEST:: SOT 97732 SOS 83121 HAS SOPS 37097 HAS SOUS 22076 HAS SOUPS 16005 WITH SCORE 16088.121
AT ITER 4236 NEW BEST:: SOT 97670 SOS 83059 HAS SOPS 36880 HAS SOUS 21897 HAS SOUPS 15826 WITH SCORE 15909.059
AT ITER 4261 NEW BEST:: SOT 97678 SOS 83067 HAS SOPS 36848 HAS SOUS 21873 HAS SOUPS 15802 WITH SCORE 15885.067
AT ITER 4262 NEW BEST:: SOT 97641 SOS 83030 HAS SOPS 36837 HAS SOUS 21864 HAS SOUPS 15793 WITH SCORE 15876.03
AT ITER 4293 NEW BEST:: SOT 97597 SOS 82982 HAS SOPS 36771 HAS SOUS 21784 HAS SOUPS 15713 WITH SCORE 15795.982
AT ITER 4313 NEW BEST:: SOT 97585 SOS 82970 HAS SOPS 36753 HAS SOUS 21766 HAS SOUPS 15695 WITH SCORE 15777.97
AT ITER 4319 NEW BEST:: SOT 97585 SOS 82970 HAS SOPS 36753 HAS SOUS 21763 HAS SOUPS 15692 WITH SCORE 15774.97
AT ITER 4333 NEW BEST:: SOT 97567 SOS 82952 HAS SOPS 36726 HAS SOUS 21736 HAS SOUPS 15665 WITH SCORE 15747.952
AT ITER 4338 NEW BEST:: SOT 97567 SOS 82952 HAS SOPS 36694 HAS SOUS 21712 HAS SOUPS 15641 WITH SCORE 15723.952
AT ITER 4352 NEW BEST:: SOT 97562 SOS 82946 HAS SOPS 36684 HAS SOUS 21708 HAS SOUPS 15634 WITH SCORE 15716.946
AT ITER 4367 NEW BEST:: SOT 97550 SOS 82934 HAS SOPS 36666 HAS SOUS 21690 HAS SOUPS 15616 WITH SCORE 15698.934
AT ITER 4378 NEW BEST:: SOT 97549 SOS 82941 HAS SOPS 36667 HAS SOUS 21692 HAS SOUPS 15615 WITH SCORE 15697.941
AT ITER 4392 NEW BEST:: SOT 97537 SOS 82929 HAS SOPS 36649 HAS SOUS 21674 HAS SOUPS 15597 WITH SCORE 15679.929
AT ITER 4471 NEW BEST:: SOT 97561 SOS 82953 HAS SOPS 36573 HAS SOUS 21626 HAS SOUPS 15549 WITH SCORE 15631.953
AT ITER 4475 NEW BEST:: SOT 97555 SOS 82947 HAS SOPS 36564 HAS SOUS 21617 HAS SOUPS 15540 WITH SCORE 15622.947
AT ITER 4498 NEW BEST:: SOT 97549 SOS 82941 HAS SOPS 36548 HAS SOUS 21608 HAS SOUPS 15531 WITH SCORE 15613.941
AT ITER 4502 NEW BEST:: SOT 97498 SOS 82887 HAS SOPS 36472 HAS SOUS 21532 HAS SOUPS 15455 WITH SCORE 15537.887
AT ITER 4506 NEW BEST:: SOT 97500 SOS 82874 HAS SOPS 36488 HAS SOUS 21506 HAS SOUPS 15455 WITH SCORE 15537.874
AT ITER 4512 NEW BEST:: SOT 97476 SOS 82850 HAS SOPS 36452 HAS SOUS 21470 HAS SOUPS 15419 WITH SCORE 15501.85
AT ITER 4517 NEW BEST:: SOT 97476 SOS 82850 HAS SOPS 36452 HAS SOUS 21469 HAS SOUPS 15418 WITH SCORE 15500.85
AT ITER 4542 NEW BEST:: SOT 97448 SOS 82822 HAS SOPS 36395 HAS SOUS 21427 HAS SOUPS 15376 WITH SCORE 15458.822
AT ITER 4558 NEW BEST:: SOT 97446 SOS 82890 HAS SOPS 36455 HAS SOUS 21425 HAS SOUPS 15374 WITH SCORE 15456.89
AT ITER 4569 NEW BEST:: SOT 97436 SOS 82840 HAS SOPS 36405 HAS SOUS 21424 HAS SOUPS 15373 WITH SCORE 15455.84
AT ITER 4593 NEW BEST:: SOT 97430 SOS 82984 HAS SOPS 36495 HAS SOUS 21442 HAS SOUPS 15367 WITH SCORE 15449.984
AT ITER 4609 NEW BEST:: SOT 97430 SOS 82984 HAS SOPS 36487 HAS SOUS 21436 HAS SOUPS 15361 WITH SCORE 15443.984
AT ITER 4641 NEW BEST:: SOT 97454 SOS 83009 HAS SOPS 36481 HAS SOUS 21424 HAS SOUPS 15349 WITH SCORE 15432.009
AT ITER 4659 NEW BEST:: SOT 97492 SOS 83047 HAS SOPS 36519 HAS SOUS 21405 HAS SOUPS 15330 WITH SCORE 15413.047
AT ITER 4669 NEW BEST:: SOT 97480 SOS 83035 HAS SOPS 36501 HAS SOUS 21393 HAS SOUPS 15318 WITH SCORE 15401.035
AT ITER 4683 NEW BEST:: SOT 97462 SOS 83017 HAS SOPS 36474 HAS SOUS 21330 HAS SOUPS 15255 WITH SCORE 15338.017
AT ITER 4705 NEW BEST:: SOT 97460 SOS 83015 HAS SOPS 36471 HAS SOUS 21329 HAS SOUPS 15254 WITH SCORE 15337.015
AT ITER 4707 NEW BEST:: SOT 97426 SOS 82981 HAS SOPS 36488 HAS SOUS 21329 HAS SOUPS 15254 WITH SCORE 15336.981
AT ITER 4725 NEW BEST:: SOT 97426 SOS 82981 HAS SOPS 36488 HAS SOUS 21318 HAS SOUPS 15243 WITH SCORE 15325.981
AT ITER 4732 NEW BEST:: SOT 97426 SOS 82981 HAS SOPS 36488 HAS SOUS 21302 HAS SOUPS 15227 WITH SCORE 15309.981
AT ITER 4759 NEW BEST:: SOT 97408 SOS 82963 HAS SOPS 36488 HAS SOUS 21302 HAS SOUPS 15227 WITH SCORE 15309.963
AT ITER 4796 NEW BEST:: SOT 97380 SOS 82935 HAS SOPS 36446 HAS SOUS 21257 HAS SOUPS 15182 WITH SCORE 15264.935
AT ITER 4860 NEW BEST:: SOT 97366 SOS 82921 HAS SOPS 36425 HAS SOUS 21229 HAS SOUPS 15154 WITH SCORE 15236.921
AT ITER 4862 NEW BEST:: SOT 97360 SOS 82915 HAS SOPS 36416 HAS SOUS 21220 HAS SOUPS 15145 WITH SCORE 15227.915
AT ITER 4865 NEW BEST:: SOT 97378 SOS 82933 HAS SOPS 36395 HAS SOUS 21187 HAS SOUPS 15112 WITH SCORE 15194.933
AT ITER 4917 NEW BEST:: SOT 97390 SOS 82945 HAS SOPS 36413 HAS SOUS 21172 HAS SOUPS 15097 WITH SCORE 15179.945
AT ITER 4943 NEW BEST:: SOT 97346 SOS 82901 HAS SOPS 36347 HAS SOUS 21084 HAS SOUPS 15009 WITH SCORE 15091.901
AT ITER 4971 NEW BEST:: SOT 97345 SOS 82900 HAS SOPS 36347 HAS SOUS 21084 HAS SOUPS 15009 WITH SCORE 15091.9
AT ITER 4991 NEW BEST:: SOT 97315 SOS 82870 HAS SOPS 36302 HAS SOUS 21039 HAS SOUPS 14964 WITH SCORE 15046.87
AT ITER 4993 NEW BEST:: SOT 97319 SOS 82874 HAS SOPS 36266 HAS SOUS 21019 HAS SOUPS 14944 WITH SCORE 15026.874
AT ITER 5009 NEW BEST:: SOT 97309 SOS 82864 HAS SOPS 36190 HAS SOUS 20965 HAS SOUPS 14890 WITH SCORE 14972.864
AT ITER 5023 NEW BEST:: SOT 97305 SOS 82860 HAS SOPS 36176 HAS SOUS 20959 HAS SOUPS 14884 WITH SCORE 14966.86
AT ITER 5032 NEW BEST:: SOT 97301 SOS 82896 HAS SOPS 36212 HAS SOUS 20953 HAS SOUPS 14878 WITH SCORE 14960.896
AT ITER 5059 NEW BEST:: SOT 97227 SOS 82822 HAS SOPS 36128 HAS SOUS 20842 HAS SOUPS 14767 WITH SCORE 14849.822
AT ITER 5063 NEW BEST:: SOT 97221 SOS 82816 HAS SOPS 36106 HAS SOUS 20832 HAS SOUPS 14757 WITH SCORE 14839.816
AT ITER 5066 NEW BEST:: SOT 97205 SOS 82800 HAS SOPS 36082 HAS SOUS 20802 HAS SOUPS 14727 WITH SCORE 14809.8
AT ITER 5070 NEW BEST:: SOT 97242 SOS 82837 HAS SOPS 36119 HAS SOUS 20794 HAS SOUPS 14719 WITH SCORE 14801.837
AT ITER 5090 NEW BEST:: SOT 97260 SOS 82855 HAS SOPS 36047 HAS SOUS 20783 HAS SOUPS 14708 WITH SCORE 14790.855
AT ITER 5099 NEW BEST:: SOT 97252 SOS 82847 HAS SOPS 36035 HAS SOUS 20775 HAS SOUPS 14700 WITH SCORE 14782.847
AT ITER 5111 NEW BEST:: SOT 97246 SOS 82841 HAS SOPS 36017 HAS SOUS 20760 HAS SOUPS 14685 WITH SCORE 14767.841
AT ITER 5136 NEW BEST:: SOT 97246 SOS 82841 HAS SOPS 36011 HAS SOUS 20754 HAS SOUPS 14679 WITH SCORE 14761.841
AT ITER 5139 NEW BEST:: SOT 97231 SOS 82826 HAS SOPS 36005 HAS SOUS 20726 HAS SOUPS 14651 WITH SCORE 14733.826
AT ITER 5169 NEW BEST:: SOT 97225 SOS 82820 HAS SOPS 35993 HAS SOUS 20707 HAS SOUPS 14632 WITH SCORE 14714.82
AT ITER 5203 NEW BEST:: SOT 97205 SOS 82800 HAS SOPS 35963 HAS SOUS 20677 HAS SOUPS 14602 WITH SCORE 14684.8
AT ITER 5205 NEW BEST:: SOT 97205 SOS 82800 HAS SOPS 35963 HAS SOUS 20675 HAS SOUPS 14600 WITH SCORE 14682.8
AT ITER 5224 NEW BEST:: SOT 97209 SOS 82804 HAS SOPS 35953 HAS SOUS 20665 HAS SOUPS 14590 WITH SCORE 14672.804
AT ITER 5228 NEW BEST:: SOT 97213 SOS 82808 HAS SOPS 35939 HAS SOUS 20654 HAS SOUPS 14579 WITH SCORE 14661.808
AT ITER 5233 NEW BEST:: SOT 97209 SOS 82804 HAS SOPS 35936 HAS SOUS 20651 HAS SOUPS 14576 WITH SCORE 14658.804
AT ITER 5244 NEW BEST:: SOT 97209 SOS 82813 HAS SOPS 35936 HAS SOUS 20651 HAS SOUPS 14567 WITH SCORE 14649.813
AT ITER 5250 NEW BEST:: SOT 97195 SOS 82799 HAS SOPS 35915 HAS SOUS 20637 HAS SOUPS 14553 WITH SCORE 14635.799
AT ITER 5307 NEW BEST:: SOT 97009 SOS 82653 HAS SOPS 35827 HAS SOUS 20530 HAS SOUPS 14446 WITH SCORE 14528.653
AT ITER 5321 NEW BEST:: SOT 96973 SOS 82617 HAS SOPS 35835 HAS SOUS 20508 HAS SOUPS 14424 WITH SCORE 14506.617
AT ITER 5327 NEW BEST:: SOT 97029 SOS 82673 HAS SOPS 35773 HAS SOUS 20479 HAS SOUPS 14395 WITH SCORE 14477.673
AT ITER 5394 NEW BEST:: SOT 97021 SOS 82665 HAS SOPS 35757 HAS SOUS 20467 HAS SOUPS 14383 WITH SCORE 14465.665
AT ITER 5397 NEW BEST:: SOT 96957 SOS 82601 HAS SOPS 35661 HAS SOUS 20372 HAS SOUPS 14288 WITH SCORE 14370.601
AT ITER 5405 NEW BEST:: SOT 96957 SOS 82601 HAS SOPS 35661 HAS SOUS 20355 HAS SOUPS 14271 WITH SCORE 14353.601
AT ITER 5418 NEW BEST:: SOT 96999 SOS 82643 HAS SOPS 35600 HAS SOUS 20344 HAS SOUPS 14260 WITH SCORE 14342.643
AT ITER 5450 NEW BEST:: SOT 96967 SOS 82611 HAS SOPS 35579 HAS SOUS 20287 HAS SOUPS 14203 WITH SCORE 14285.611
AT ITER 5465 NEW BEST:: SOT 96963 SOS 82607 HAS SOPS 35573 HAS SOUS 20281 HAS SOUPS 14197 WITH SCORE 14279.607
AT ITER 5501 NEW BEST:: SOT 96935 SOS 82579 HAS SOPS 35531 HAS SOUS 20239 HAS SOUPS 14155 WITH SCORE 14237.579
AT ITER 5523 NEW BEST:: SOT 96887 SOS 82531 HAS SOPS 35465 HAS SOUS 20212 HAS SOUPS 14128 WITH SCORE 14210.531
AT ITER 5535 NEW BEST:: SOT 96857 SOS 82501 HAS SOPS 35405 HAS SOUS 20160 HAS SOUPS 14076 WITH SCORE 14158.501
AT ITER 5554 NEW BEST:: SOT 96857 SOS 82501 HAS SOPS 35405 HAS SOUS 20158 HAS SOUPS 14074 WITH SCORE 14156.501
AT ITER 5564 NEW BEST:: SOT 96795 SOS 82460 HAS SOPS 35364 HAS SOUS 20154 HAS SOUPS 14070 WITH SCORE 14152.46
AT ITER 5577 NEW BEST:: SOT 96795 SOS 82460 HAS SOPS 35364 HAS SOUS 20153 HAS SOUPS 14069 WITH SCORE 14151.46
AT ITER 5585 NEW BEST:: SOT 96791 SOS 82456 HAS SOPS 35331 HAS SOUS 20129 HAS SOUPS 14045 WITH SCORE 14127.456
AT ITER 5602 NEW BEST:: SOT 96785 SOS 82450 HAS SOPS 35322 HAS SOUS 20116 HAS SOUPS 14032 WITH SCORE 14114.45
AT ITER 5612 NEW BEST:: SOT 96776 SOS 82441 HAS SOPS 35309 HAS SOUS 20099 HAS SOUPS 14015 WITH SCORE 14097.441
AT ITER 5616 NEW BEST:: SOT 96770 SOS 82435 HAS SOPS 35300 HAS SOUS 20085 HAS SOUPS 14001 WITH SCORE 14083.435
AT ITER 5621 NEW BEST:: SOT 96698 SOS 82363 HAS SOPS 35228 HAS SOUS 20024 HAS SOUPS 13940 WITH SCORE 14022.363
AT ITER 5644 NEW BEST:: SOT 96626 SOS 82291 HAS SOPS 35120 HAS SOUS 19884 HAS SOUPS 13800 WITH SCORE 13882.291
AT ITER 5653 NEW BEST:: SOT 96580 SOS 82245 HAS SOPS 35051 HAS SOUS 19802 HAS SOUPS 13718 WITH SCORE 13800.245
AT ITER 5695 NEW BEST:: SOT 96576 SOS 82241 HAS SOPS 35045 HAS SOUS 19796 HAS SOUPS 13712 WITH SCORE 13794.241
AT ITER 5698 NEW BEST:: SOT 96576 SOS 82241 HAS SOPS 35045 HAS SOUS 19792 HAS SOUPS 13708 WITH SCORE 13790.241
AT ITER 5717 NEW BEST:: SOT 96569 SOS 82290 HAS SOPS 35057 HAS SOUS 19790 HAS SOUPS 13705 WITH SCORE 13787.29
AT ITER 5783 NEW BEST:: SOT 96561 SOS 82282 HAS SOPS 35041 HAS SOUS 19765 HAS SOUPS 13680 WITH SCORE 13762.282
AT ITER 5850 NEW BEST:: SOT 96561 SOS 82282 HAS SOPS 35041 HAS SOUS 19758 HAS SOUPS 13673 WITH SCORE 13755.282
AT ITER 5854 NEW BEST:: SOT 96541 SOS 82262 HAS SOPS 35011 HAS SOUS 19747 HAS SOUPS 13662 WITH SCORE 13744.262
AT ITER 5947 NEW BEST:: SOT 96545 SOS 82266 HAS SOPS 35011 HAS SOUS 19745 HAS SOUPS 13660 WITH SCORE 13742.266
AT ITER 5962 NEW BEST:: SOT 96529 SOS 82330 HAS SOPS 35003 HAS SOUS 19743 HAS SOUPS 13656 WITH SCORE 13738.33
AT ITER 5977 NEW BEST:: SOT 96529 SOS 82330 HAS SOPS 35003 HAS SOUS 19735 HAS SOUPS 13648 WITH SCORE 13730.33
AT ITER 5989 NEW BEST:: SOT 96525 SOS 82326 HAS SOPS 34987 HAS SOUS 19729 HAS SOUPS 13642 WITH SCORE 13724.326
AT ITER 6010 NEW BEST:: SOT 96499 SOS 82219 HAS SOPS 34914 HAS SOUS 19703 HAS SOUPS 13637 WITH SCORE 13719.219
AT ITER 6030 NEW BEST:: SOT 96497 SOS 82217 HAS SOPS 34876 HAS SOUS 19668 HAS SOUPS 13602 WITH SCORE 13684.217
AT ITER 6057 NEW BEST:: SOT 96497 SOS 82217 HAS SOPS 34873 HAS SOUS 19665 HAS SOUPS 13599 WITH SCORE 13681.217
AT ITER 6128 NEW BEST:: SOT 96455 SOS 82532 HAS SOPS 34929 HAS SOUS 19651 HAS SOUPS 13578 WITH SCORE 13660.532
AT ITER 6141 NEW BEST:: SOT 96442 SOS 82519 HAS SOPS 34924 HAS SOUS 19638 HAS SOUPS 13573 WITH SCORE 13655.519
AT ITER 6180 NEW BEST:: SOT 96436 SOS 82513 HAS SOPS 34921 HAS SOUS 19629 HAS SOUPS 13564 WITH SCORE 13646.513
AT ITER 6193 NEW BEST:: SOT 96404 SOS 82485 HAS SOPS 34857 HAS SOUS 19581 HAS SOUPS 13516 WITH SCORE 13598.485
AT ITER 6242 NEW BEST:: SOT 96400 SOS 82481 HAS SOPS 34851 HAS SOUS 19575 HAS SOUPS 13510 WITH SCORE 13592.481
AT ITER 6293 NEW BEST:: SOT 96392 SOS 82473 HAS SOPS 34835 HAS SOUS 19559 HAS SOUPS 13494 WITH SCORE 13576.473
AT ITER 6309 NEW BEST:: SOT 96382 SOS 82463 HAS SOPS 34832 HAS SOUS 19552 HAS SOUPS 13487 WITH SCORE 13569.463
AT ITER 6327 NEW BEST:: SOT 96364 SOS 82445 HAS SOPS 34788 HAS SOUS 19525 HAS SOUPS 13460 WITH SCORE 13542.445
AT ITER 6330 NEW BEST:: SOT 96364 SOS 82445 HAS SOPS 34788 HAS SOUS 19516 HAS SOUPS 13451 WITH SCORE 13533.445
AT ITER 6355 NEW BEST:: SOT 96419 SOS 81890 HAS SOPS 34585 HAS SOUS 19475 HAS SOUPS 13421 WITH SCORE 13502.89
AT ITER 6372 NEW BEST:: SOT 96350 SOS 81788 HAS SOPS 34625 HAS SOUS 19418 HAS SOUPS 13397 WITH SCORE 13478.788
AT ITER 6388 NEW BEST:: SOT 96348 SOS 81786 HAS SOPS 34598 HAS SOUS 19393 HAS SOUPS 13372 WITH SCORE 13453.786
AT ITER 6422 NEW BEST:: SOT 96344 SOS 81782 HAS SOPS 34558 HAS SOUS 19387 HAS SOUPS 13366 WITH SCORE 13447.782
AT ITER 6435 NEW BEST:: SOT 96322 SOS 81760 HAS SOPS 34536 HAS SOUS 19369 HAS SOUPS 13348 WITH SCORE 13429.76
AT ITER 6450 NEW BEST:: SOT 96322 SOS 81826 HAS SOPS 34592 HAS SOUS 19342 HAS SOUPS 13321 WITH SCORE 13402.826
AT ITER 6456 NEW BEST:: SOT 96299 SOS 81931 HAS SOPS 34589 HAS SOUS 19337 HAS SOUPS 13316 WITH SCORE 13397.931
AT ITER 6482 NEW BEST:: SOT 96287 SOS 81919 HAS SOPS 34584 HAS SOUS 19335 HAS SOUPS 13314 WITH SCORE 13395.919
AT ITER 6497 NEW BEST:: SOT 96281 SOS 81913 HAS SOPS 34575 HAS SOUS 19329 HAS SOUPS 13308 WITH SCORE 13389.913
AT ITER 6515 NEW BEST:: SOT 96263 SOS 81895 HAS SOPS 34560 HAS SOUS 19314 HAS SOUPS 13293 WITH SCORE 13374.895
AT ITER 6548 NEW BEST:: SOT 96249 SOS 81881 HAS SOPS 34532 HAS SOUS 19293 HAS SOUPS 13272 WITH SCORE 13353.881
AT ITER 6622 NEW BEST:: SOT 96249 SOS 81901 HAS SOPS 34552 HAS SOUS 19285 HAS SOUPS 13264 WITH SCORE 13345.901
AT ITER 6651 NEW BEST:: SOT 96249 SOS 81901 HAS SOPS 34552 HAS SOUS 19261 HAS SOUPS 13240 WITH SCORE 13321.901
AT ITER 6695 NEW BEST:: SOT 96243 SOS 81895 HAS SOPS 34543 HAS SOUS 19255 HAS SOUPS 13234 WITH SCORE 13315.895
AT ITER 6699 NEW BEST:: SOT 96252 SOS 81904 HAS SOPS 34533 HAS SOUS 19251 HAS SOUPS 13230 WITH SCORE 13311.904
AT ITER 6703 NEW BEST:: SOT 96222 SOS 81874 HAS SOPS 34503 HAS SOUS 19238 HAS SOUPS 13217 WITH SCORE 13298.874
AT ITER 6731 NEW BEST:: SOT 96182 SOS 81834 HAS SOPS 34518 HAS SOUS 19235 HAS SOUPS 13214 WITH SCORE 13295.834
AT ITER 6742 NEW BEST:: SOT 96129 SOS 82217 HAS SOPS 34574 HAS SOUS 19234 HAS SOUPS 13204 WITH SCORE 13286.217
AT ITER 6748 NEW BEST:: SOT 96117 SOS 82205 HAS SOPS 34559 HAS SOUS 19193 HAS SOUPS 13163 WITH SCORE 13245.205
AT ITER 6753 NEW BEST:: SOT 96117 SOS 82201 HAS SOPS 34555 HAS SOUS 19193 HAS SOUPS 13163 WITH SCORE 13245.201
AT ITER 6777 NEW BEST:: SOT 96109 SOS 82193 HAS SOPS 34549 HAS SOUS 19187 HAS SOUPS 13157 WITH SCORE 13239.193
AT ITER 6815 NEW BEST:: SOT 96114 SOS 82198 HAS SOPS 34534 HAS SOUS 19186 HAS SOUPS 13156 WITH SCORE 13238.198
AT ITER 6830 NEW BEST:: SOT 96108 SOS 82192 HAS SOPS 34525 HAS SOUS 19180 HAS SOUPS 13150 WITH SCORE 13232.192
AT ITER 6851 NEW BEST:: SOT 96079 SOS 82134 HAS SOPS 34496 HAS SOUS 19078 HAS SOUPS 13077 WITH SCORE 13159.134
AT ITER 6924 NEW BEST:: SOT 96079 SOS 82134 HAS SOPS 34412 HAS SOUS 19034 HAS SOUPS 13033 WITH SCORE 13115.134
AT ITER 6936 NEW BEST:: SOT 96075 SOS 82130 HAS SOPS 34396 HAS SOUS 19010 HAS SOUPS 13009 WITH SCORE 13091.13
AT ITER 6962 NEW BEST:: SOT 96075 SOS 82130 HAS SOPS 34396 HAS SOUS 19006 HAS SOUPS 13005 WITH SCORE 13087.13
AT ITER 6975 NEW BEST:: SOT 96068 SOS 82130 HAS SOPS 34382 HAS SOUS 19006 HAS SOUPS 12998 WITH SCORE 13080.13
AT ITER 6985 NEW BEST:: SOT 96052 SOS 82114 HAS SOPS 34358 HAS SOUS 19002 HAS SOUPS 12994 WITH SCORE 13076.114
AT ITER 6987 NEW BEST:: SOT 95998 SOS 82060 HAS SOPS 34279 HAS SOUS 18913 HAS SOUPS 12905 WITH SCORE 12987.06
AT ITER 7103 NEW BEST:: SOT 95988 SOS 82050 HAS SOPS 34264 HAS SOUS 18895 HAS SOUPS 12887 WITH SCORE 12969.05
AT ITER 7159 NEW BEST:: SOT 95972 SOS 82034 HAS SOPS 34272 HAS SOUS 18895 HAS SOUPS 12887 WITH SCORE 12969.034
AT ITER 7184 NEW BEST:: SOT 95964 SOS 82026 HAS SOPS 34260 HAS SOUS 18879 HAS SOUPS 12871 WITH SCORE 12953.026
AT ITER 7188 NEW BEST:: SOT 95968 SOS 82030 HAS SOPS 34268 HAS SOUS 18876 HAS SOUPS 12868 WITH SCORE 12950.03
AT ITER 7319 NEW BEST:: SOT 95968 SOS 82030 HAS SOPS 34268 HAS SOUS 18870 HAS SOUPS 12862 WITH SCORE 12944.03
AT ITER 7333 NEW BEST:: SOT 95822 SOS 81884 HAS SOPS 34264 HAS SOUS 18846 HAS SOUPS 12838 WITH SCORE 12919.884
AT ITER 7358 NEW BEST:: SOT 95780 SOS 81842 HAS SOPS 34201 HAS SOUS 18763 HAS SOUPS 12755 WITH SCORE 12836.842
AT ITER 7410 NEW BEST:: SOT 95752 SOS 81814 HAS SOPS 34159 HAS SOUS 18749 HAS SOUPS 12741 WITH SCORE 12822.814
AT ITER 7460 NEW BEST:: SOT 95748 SOS 81810 HAS SOPS 34153 HAS SOUS 18737 HAS SOUPS 12729 WITH SCORE 12810.81
AT ITER 7486 NEW BEST:: SOT 95757 SOS 81780 HAS SOPS 34099 HAS SOUS 18749 HAS SOUPS 12717 WITH SCORE 12798.78
AT ITER 7535 NEW BEST:: SOT 95757 SOS 81780 HAS SOPS 34099 HAS SOUS 18744 HAS SOUPS 12712 WITH SCORE 12793.78
AT ITER 7541 NEW BEST:: SOT 95757 SOS 81780 HAS SOPS 34099 HAS SOUS 18743 HAS SOUPS 12711 WITH SCORE 12792.78
AT ITER 7575 NEW BEST:: SOT 95743 SOS 81766 HAS SOPS 34078 HAS SOUS 18721 HAS SOUPS 12689 WITH SCORE 12770.766
AT ITER 7614 NEW BEST:: SOT 95745 SOS 81768 HAS SOPS 34077 HAS SOUS 18720 HAS SOUPS 12688 WITH SCORE 12769.768
AT ITER 7620 NEW BEST:: SOT 95744 SOS 81719 HAS SOPS 34068 HAS SOUS 18643 HAS SOUPS 12651 WITH SCORE 12732.719
AT ITER 7627 NEW BEST:: SOT 95788 SOS 81763 HAS SOPS 34018 HAS SOUS 18632 HAS SOUPS 12640 WITH SCORE 12721.763
AT ITER 7629 NEW BEST:: SOT 95764 SOS 81739 HAS SOPS 34008 HAS SOUS 18622 HAS SOUPS 12630 WITH SCORE 12711.739
AT ITER 7663 NEW BEST:: SOT 95718 SOS 81693 HAS SOPS 33939 HAS SOUS 18559 HAS SOUPS 12567 WITH SCORE 12648.693
AT ITER 7664 NEW BEST:: SOT 95716 SOS 81691 HAS SOPS 33932 HAS SOUS 18553 HAS SOUPS 12561 WITH SCORE 12642.691
AT ITER 7674 NEW BEST:: SOT 95700 SOS 81675 HAS SOPS 33932 HAS SOUS 18553 HAS SOUPS 12561 WITH SCORE 12642.675
AT ITER 7691 NEW BEST:: SOT 95680 SOS 81655 HAS SOPS 33936 HAS SOUS 18553 HAS SOUPS 12561 WITH SCORE 12642.655
AT ITER 7729 NEW BEST:: SOT 95730 SOS 81705 HAS SOPS 33911 HAS SOUS 18526 HAS SOUPS 12534 WITH SCORE 12615.705
AT ITER 7744 NEW BEST:: SOT 95720 SOS 81695 HAS SOPS 33896 HAS SOUS 18506 HAS SOUPS 12514 WITH SCORE 12595.695
AT ITER 7764 NEW BEST:: SOT 95704 SOS 81679 HAS SOPS 33872 HAS SOUS 18482 HAS SOUPS 12490 WITH SCORE 12571.679
AT ITER 7793 NEW BEST:: SOT 95684 SOS 81659 HAS SOPS 33857 HAS SOUS 18467 HAS SOUPS 12475 WITH SCORE 12556.659
AT ITER 7809 NEW BEST:: SOT 95674 SOS 81649 HAS SOPS 33842 HAS SOUS 18452 HAS SOUPS 12460 WITH SCORE 12541.649
AT ITER 7827 NEW BEST:: SOT 95674 SOS 81649 HAS SOPS 33842 HAS SOUS 18451 HAS SOUPS 12459 WITH SCORE 12540.649
AT ITER 7833 NEW BEST:: SOT 95669 SOS 81644 HAS SOPS 33837 HAS SOUS 18446 HAS SOUPS 12454 WITH SCORE 12535.644
AT ITER 7889 NEW BEST:: SOT 95665 SOS 81640 HAS SOPS 33831 HAS SOUS 18440 HAS SOUPS 12448 WITH SCORE 12529.64
AT ITER 7906 NEW BEST:: SOT 95665 SOS 81640 HAS SOPS 33831 HAS SOUS 18436 HAS SOUPS 12444 WITH SCORE 12525.64
AT ITER 7959 NEW BEST:: SOT 95647 SOS 81622 HAS SOPS 33810 HAS SOUS 18419 HAS SOUPS 12427 WITH SCORE 12508.622
AT ITER 8035 NEW BEST:: SOT 95643 SOS 81618 HAS SOPS 33807 HAS SOUS 18416 HAS SOUPS 12424 WITH SCORE 12505.618
AT ITER 8055 NEW BEST:: SOT 95643 SOS 81602 HAS SOPS 33803 HAS SOUS 18404 HAS SOUPS 12424 WITH SCORE 12505.602
AT ITER 8070 NEW BEST:: SOT 95643 SOS 81602 HAS SOPS 33803 HAS SOUS 18402 HAS SOUPS 12422 WITH SCORE 12503.602
AT ITER 8086 NEW BEST:: SOT 95643 SOS 81602 HAS SOPS 33803 HAS SOUS 18397 HAS SOUPS 12417 WITH SCORE 12498.602
AT ITER 8159 NEW BEST:: SOT 95637 SOS 81596 HAS SOPS 33794 HAS SOUS 18395 HAS SOUPS 12415 WITH SCORE 12496.596
AT ITER 8161 NEW BEST:: SOT 95637 SOS 81596 HAS SOPS 33794 HAS SOUS 18392 HAS SOUPS 12412 WITH SCORE 12493.596
AT ITER 8192 NEW BEST:: SOT 95637 SOS 81596 HAS SOPS 33794 HAS SOUS 18380 HAS SOUPS 12400 WITH SCORE 12481.596
AT ITER 8216 NEW BEST:: SOT 95621 SOS 81592 HAS SOPS 33792 HAS SOUS 18372 HAS SOUPS 12392 WITH SCORE 12473.592
AT ITER 8217 NEW BEST:: SOT 95611 SOS 81582 HAS SOPS 33777 HAS SOUS 18357 HAS SOUPS 12377 WITH SCORE 12458.582
AT ITER 8225 NEW BEST:: SOT 95611 SOS 81582 HAS SOPS 33777 HAS SOUS 18328 HAS SOUPS 12348 WITH SCORE 12429.582
AT ITER 8240 NEW BEST:: SOT 95582 SOS 81489 HAS SOPS 33700 HAS SOUS 18307 HAS SOUPS 12327 WITH SCORE 12408.489
AT ITER 8256 NEW BEST:: SOT 95568 SOS 81475 HAS SOPS 33679 HAS SOUS 18280 HAS SOUPS 12300 WITH SCORE 12381.475
AT ITER 8299 NEW BEST:: SOT 95558 SOS 81465 HAS SOPS 33616 HAS SOUS 18253 HAS SOUPS 12273 WITH SCORE 12354.465
AT ITER 8352 NEW BEST:: SOT 95540 SOS 81427 HAS SOPS 33599 HAS SOUS 18195 HAS SOUPS 12235 WITH SCORE 12316.427
AT ITER 8447 NEW BEST:: SOT 95522 SOS 81409 HAS SOPS 33575 HAS SOUS 18153 HAS SOUPS 12193 WITH SCORE 12274.409
AT ITER 8498 NEW BEST:: SOT 95508 SOS 81395 HAS SOPS 33561 HAS SOUS 18139 HAS SOUPS 12179 WITH SCORE 12260.395
AT ITER 8504 NEW BEST:: SOT 95508 SOS 81391 HAS SOPS 33561 HAS SOUS 18135 HAS SOUPS 12179 WITH SCORE 12260.391
AT ITER 8518 NEW BEST:: SOT 95480 SOS 81359 HAS SOPS 33498 HAS SOUS 18090 HAS SOUPS 12134 WITH SCORE 12215.359
AT ITER 8574 NEW BEST:: SOT 95454 SOS 81333 HAS SOPS 33459 HAS SOUS 18064 HAS SOUPS 12108 WITH SCORE 12189.333
AT ITER 8622 NEW BEST:: SOT 95446 SOS 81325 HAS SOPS 33447 HAS SOUS 18048 HAS SOUPS 12092 WITH SCORE 12173.325
AT ITER 8626 NEW BEST:: SOT 95422 SOS 81301 HAS SOPS 33411 HAS SOUS 18013 HAS SOUPS 12057 WITH SCORE 12138.301
AT ITER 8639 NEW BEST:: SOT 95416 SOS 81295 HAS SOPS 33385 HAS SOUS 18002 HAS SOUPS 12046 WITH SCORE 12127.295
AT ITER 8710 NEW BEST:: SOT 95416 SOS 81295 HAS SOPS 33385 HAS SOUS 18000 HAS SOUPS 12044 WITH SCORE 12125.295
AT ITER 8733 NEW BEST:: SOT 95404 SOS 81283 HAS SOPS 33367 HAS SOUS 17977 HAS SOUPS 12021 WITH SCORE 12102.283
AT ITER 8776 NEW BEST:: SOT 95390 SOS 81269 HAS SOPS 33346 HAS SOUS 17949 HAS SOUPS 11993 WITH SCORE 12074.269
AT ITER 8846 NEW BEST:: SOT 95386 SOS 81265 HAS SOPS 33340 HAS SOUS 17943 HAS SOUPS 11987 WITH SCORE 12068.265
AT ITER 8867 NEW BEST:: SOT 95378 SOS 81257 HAS SOPS 33328 HAS SOUS 17927 HAS SOUPS 11971 WITH SCORE 12052.257
AT ITER 8869 NEW BEST:: SOT 95360 SOS 81239 HAS SOPS 33301 HAS SOUS 17900 HAS SOUPS 11944 WITH SCORE 12025.239
AT ITER 8898 NEW BEST:: SOT 95360 SOS 81239 HAS SOPS 33301 HAS SOUS 17891 HAS SOUPS 11935 WITH SCORE 12016.239
AT ITER 8907 NEW BEST:: SOT 95378 SOS 81257 HAS SOPS 33284 HAS SOUS 17889 HAS SOUPS 11933 WITH SCORE 12014.257
AT ITER 8925 NEW BEST:: SOT 95366 SOS 81245 HAS SOPS 33260 HAS SOUS 17860 HAS SOUPS 11904 WITH SCORE 11985.245
AT ITER 8943 NEW BEST:: SOT 95358 SOS 81237 HAS SOPS 33248 HAS SOUS 17844 HAS SOUPS 11888 WITH SCORE 11969.237
AT ITER 8950 NEW BEST:: SOT 95352 SOS 81231 HAS SOPS 33239 HAS SOUS 17825 HAS SOUPS 11869 WITH SCORE 11950.231
AT ITER 8954 NEW BEST:: SOT 95330 SOS 81209 HAS SOPS 33206 HAS SOUS 17803 HAS SOUPS 11847 WITH SCORE 11928.209
AT ITER 8977 NEW BEST:: SOT 95327 SOS 81209 HAS SOPS 33203 HAS SOUS 17805 HAS SOUPS 11846 WITH SCORE 11927.209
AT ITER 9053 NEW BEST:: SOT 95328 SOS 81200 HAS SOPS 33206 HAS SOUS 17787 HAS SOUPS 11838 WITH SCORE 11919.2
AT ITER 9056 NEW BEST:: SOT 95336 SOS 81208 HAS SOPS 33193 HAS SOUS 17774 HAS SOUPS 11825 WITH SCORE 11906.208
AT ITER 9090 NEW BEST:: SOT 95334 SOS 81189 HAS SOPS 33191 HAS SOUS 17757 HAS SOUPS 11825 WITH SCORE 11906.189
AT ITER 9178 NEW BEST:: SOT 95348 SOS 81203 HAS SOPS 33187 HAS SOUS 17754 HAS SOUPS 11822 WITH SCORE 11903.203
AT ITER 9262 NEW BEST:: SOT 95348 SOS 81203 HAS SOPS 33187 HAS SOUS 17751 HAS SOUPS 11819 WITH SCORE 11900.203
AT ITER 9311 NEW BEST:: SOT 95348 SOS 81203 HAS SOPS 33187 HAS SOUS 17746 HAS SOUPS 11814 WITH SCORE 11895.203
AT ITER 9315 NEW BEST:: SOT 95342 SOS 81197 HAS SOPS 33178 HAS SOUS 17731 HAS SOUPS 11799 WITH SCORE 11880.197
AT ITER 9339 NEW BEST:: SOT 95339 SOS 81229 HAS SOPS 33224 HAS SOUS 17711 HAS SOUPS 11793 WITH SCORE 11874.229
AT ITER 9364 NEW BEST:: SOT 95307 SOS 81197 HAS SOPS 33176 HAS SOUS 17672 HAS SOUPS 11754 WITH SCORE 11835.197
AT ITER 9378 NEW BEST:: SOT 95307 SOS 81197 HAS SOPS 33176 HAS SOUS 17658 HAS SOUPS 11740 WITH SCORE 11821.197
AT ITER 9523 NEW BEST:: SOT 95307 SOS 81197 HAS SOPS 33173 HAS SOUS 17655 HAS SOUPS 11737 WITH SCORE 11818.197
AT ITER 9644 NEW BEST:: SOT 95299 SOS 81189 HAS SOPS 33157 HAS SOUS 17646 HAS SOUPS 11728 WITH SCORE 11809.189
AT ITER 9646 NEW BEST:: SOT 95307 SOS 81197 HAS SOPS 33085 HAS SOUS 17592 HAS SOUPS 11674 WITH SCORE 11755.197
AT ITER 9662 NEW BEST:: SOT 95292 SOS 81182 HAS SOPS 33070 HAS SOUS 17586 HAS SOUPS 11668 WITH SCORE 11749.182
AT ITER 9732 NEW BEST:: SOT 95266 SOS 81156 HAS SOPS 33031 HAS SOUS 17546 HAS SOUPS 11628 WITH SCORE 11709.156
AT ITER 9736 NEW BEST:: SOT 95254 SOS 81144 HAS SOPS 33007 HAS SOUS 17532 HAS SOUPS 11614 WITH SCORE 11695.144
AT ITER 9792 NEW BEST:: SOT 95252 SOS 81142 HAS SOPS 33007 HAS SOUS 17532 HAS SOUPS 11614 WITH SCORE 11695.142
AT ITER 9795 NEW BEST:: SOT 95250 SOS 81140 HAS SOPS 33004 HAS SOUS 17528 HAS SOUPS 11610 WITH SCORE 11691.14
AT ITER 9824 NEW BEST:: SOT 95242 SOS 81132 HAS SOPS 32988 HAS SOUS 17516 HAS SOUPS 11598 WITH SCORE 11679.132
AT ITER 9847 NEW BEST:: SOT 95226 SOS 81116 HAS SOPS 32965 HAS SOUS 17493 HAS SOUPS 11575 WITH SCORE 11656.116
AT ITER 9903 NEW BEST:: SOT 95230 SOS 81120 HAS SOPS 32823 HAS SOUS 17388 HAS SOUPS 11470 WITH SCORE 11551.12
AT ITER 9940 NEW BEST:: SOT 95230 SOS 81120 HAS SOPS 32823 HAS SOUS 17385 HAS SOUPS 11467 WITH SCORE 11548.12
AT ITER 9958 NEW BEST:: SOT 95220 SOS 81110 HAS SOPS 32808 HAS SOUS 17370 HAS SOUPS 11452 WITH SCORE 11533.11

BK_STOP 1589808715295

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 476 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

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

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