About the Execution of smart for JoinFreeModules-PT-0100
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15764.540 | 3600000.00 | 3588100.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r093-oct2-158940140500436.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is JoinFreeModules-PT-0100, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140500436
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 744K
-rw-r--r-- 1 mcc users 3.4K Apr 7 19:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 7 19:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 20:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 04:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 04:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 5 10:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 5 10:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 566K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-00
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-01
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-02
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-03
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-04
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-05
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-06
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-07
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-08
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-09
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-10
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-11
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-12
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-13
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-14
FORMULA_NAME JoinFreeModules-PT-0100-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589617178042
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running JoinFreeModules (PT), instance 0100
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 501 places, 801 transitions, 2302 arcs.
AT ITER 0 NEW BEST:: SOT 280901 SOS 190901 HAS SOPS 190800 HAS SOUS 190901 HAS SOUPS 190800 WITH SCORE 190990.901
AT ITER 5 NEW BEST:: SOT 280610 SOS 190694 HAS SOPS 190509 HAS SOUS 190694 HAS SOUPS 190509 WITH SCORE 190699.694
AT ITER 6 NEW BEST:: SOT 280697 SOS 190607 HAS SOPS 190422 HAS SOUS 190607 HAS SOUPS 190422 WITH SCORE 190612.607
AT ITER 7 NEW BEST:: SOT 280400 SOS 190313 HAS SOPS 190125 HAS SOUS 190313 HAS SOUPS 190125 WITH SCORE 190315.313
AT ITER 8 NEW BEST:: SOT 280222 SOS 189999 HAS SOPS 189811 HAS SOUS 189857 HAS SOUPS 189669 WITH SCORE 189858.999
AT ITER 9 NEW BEST:: SOT 280101 SOS 189713 HAS SOPS 189494 HAS SOUS 189571 HAS SOUPS 189352 WITH SCORE 189541.713
AT ITER 10 NEW BEST:: SOT 280374 SOS 189669 HAS SOPS 189450 HAS SOUS 189337 HAS SOUPS 189118 WITH SCORE 189307.669
AT ITER 12 NEW BEST:: SOT 280190 SOS 189337 HAS SOPS 189118 HAS SOUS 188869 HAS SOUPS 188650 WITH SCORE 188839.337
AT ITER 14 NEW BEST:: SOT 280286 SOS 189241 HAS SOPS 189022 HAS SOUS 188773 HAS SOUPS 188554 WITH SCORE 188743.241
AT ITER 15 NEW BEST:: SOT 280670 SOS 189411 HAS SOPS 189192 HAS SOUS 188744 HAS SOUPS 188525 WITH SCORE 188714.411
AT ITER 17 NEW BEST:: SOT 280464 SOS 188999 HAS SOPS 188780 HAS SOUS 188435 HAS SOUPS 188216 WITH SCORE 188404.999
AT ITER 18 NEW BEST:: SOT 280523 SOS 189021 HAS SOPS 188723 HAS SOUS 188457 HAS SOUPS 188159 WITH SCORE 188348.021
AT ITER 19 NEW BEST:: SOT 280445 SOS 188758 HAS SOPS 188460 HAS SOUS 188194 HAS SOUPS 187896 WITH SCORE 188084.758
AT ITER 23 NEW BEST:: SOT 280272 SOS 188389 HAS SOPS 188091 HAS SOUS 187825 HAS SOUPS 187527 WITH SCORE 187715.389
AT ITER 26 NEW BEST:: SOT 280188 SOS 187969 HAS SOPS 187671 HAS SOUS 187405 HAS SOUPS 187107 WITH SCORE 187294.969
AT ITER 28 NEW BEST:: SOT 280245 SOS 187903 HAS SOPS 187452 HAS SOUS 187140 HAS SOUPS 186689 WITH SCORE 186876.903
AT ITER 29 NEW BEST:: SOT 280346 SOS 187810 HAS SOPS 187359 HAS SOUS 187047 HAS SOUPS 186596 WITH SCORE 186783.81
AT ITER 30 NEW BEST:: SOT 280422 SOS 187734 HAS SOPS 187283 HAS SOUS 186971 HAS SOUPS 186520 WITH SCORE 186707.734
AT ITER 32 NEW BEST:: SOT 280553 SOS 187469 HAS SOPS 187018 HAS SOUS 186554 HAS SOUPS 186103 WITH SCORE 186290.469
AT ITER 33 NEW BEST:: SOT 280508 SOS 187289 HAS SOPS 186838 HAS SOUS 186419 HAS SOUPS 185968 WITH SCORE 186155.289
AT ITER 34 NEW BEST:: SOT 280432 SOS 186861 HAS SOPS 186410 HAS SOUS 185943 HAS SOUPS 185492 WITH SCORE 185678.861
AT ITER 35 NEW BEST:: SOT 280177 SOS 186606 HAS SOPS 186155 HAS SOUS 185688 HAS SOUPS 185237 WITH SCORE 185423.606
AT ITER 36 NEW BEST:: SOT 280100 SOS 186221 HAS SOPS 185770 HAS SOUS 185303 HAS SOUPS 184852 WITH SCORE 185038.221
AT ITER 37 NEW BEST:: SOT 280046 SOS 186129 HAS SOPS 185678 HAS SOUS 185211 HAS SOUPS 184760 WITH SCORE 184946.129
AT ITER 42 NEW BEST:: SOT 280076 SOS 185864 HAS SOPS 185413 HAS SOUS 184746 HAS SOUPS 184295 WITH SCORE 184480.864
AT ITER 43 NEW BEST:: SOT 280039 SOS 185827 HAS SOPS 185376 HAS SOUS 184709 HAS SOUPS 184258 WITH SCORE 184443.827
AT ITER 45 NEW BEST:: SOT 279805 SOS 185379 HAS SOPS 184928 HAS SOUS 184145 HAS SOUPS 183694 WITH SCORE 183879.379
AT ITER 49 NEW BEST:: SOT 279645 SOS 185084 HAS SOPS 184633 HAS SOUS 183850 HAS SOUPS 183399 WITH SCORE 183584.084
AT ITER 51 NEW BEST:: SOT 279554 SOS 184629 HAS SOPS 184178 HAS SOUS 183395 HAS SOUPS 182944 WITH SCORE 183128.629
AT ITER 52 NEW BEST:: SOT 279535 SOS 184151 HAS SOPS 183700 HAS SOUS 182717 HAS SOUPS 182266 WITH SCORE 182450.151
AT ITER 54 NEW BEST:: SOT 279478 SOS 183779 HAS SOPS 183328 HAS SOUS 182258 HAS SOUPS 181807 WITH SCORE 181990.779
AT ITER 55 NEW BEST:: SOT 279324 SOS 183471 HAS SOPS 183020 HAS SOUS 182027 HAS SOUPS 181576 WITH SCORE 181759.471
AT ITER 56 NEW BEST:: SOT 279088 SOS 183069 HAS SOPS 182590 HAS SOUS 181426 HAS SOUPS 180947 WITH SCORE 181130.069
AT ITER 57 NEW BEST:: SOT 279056 SOS 182551 HAS SOPS 182072 HAS SOUS 180709 HAS SOUPS 180230 WITH SCORE 180412.551
AT ITER 58 NEW BEST:: SOT 278892 SOS 182387 HAS SOPS 181908 HAS SOUS 180545 HAS SOUPS 180066 WITH SCORE 180248.387
AT ITER 59 NEW BEST:: SOT 278738 SOS 182156 HAS SOPS 181677 HAS SOUS 180314 HAS SOUPS 179835 WITH SCORE 180017.156
AT ITER 60 NEW BEST:: SOT 278615 SOS 182033 HAS SOPS 181554 HAS SOUS 180191 HAS SOUPS 179712 WITH SCORE 179894.033
AT ITER 61 NEW BEST:: SOT 278408 SOS 181973 HAS SOPS 181494 HAS SOUS 180131 HAS SOUPS 179652 WITH SCORE 179833.973
AT ITER 63 NEW BEST:: SOT 278263 SOS 181670 HAS SOPS 181191 HAS SOUS 179828 HAS SOUPS 179349 WITH SCORE 179530.67
AT ITER 64 NEW BEST:: SOT 278157 SOS 181368 HAS SOPS 180889 HAS SOUS 179526 HAS SOUPS 179047 WITH SCORE 179228.368
AT ITER 69 NEW BEST:: SOT 278157 SOS 181340 HAS SOPS 180861 HAS SOUS 179498 HAS SOUPS 179019 WITH SCORE 179200.34
AT ITER 71 NEW BEST:: SOT 278108 SOS 180979 HAS SOPS 180500 HAS SOUS 179047 HAS SOUPS 178568 WITH SCORE 178748.979
AT ITER 74 NEW BEST:: SOT 277812 SOS 180587 HAS SOPS 180108 HAS SOUS 178655 HAS SOUPS 178176 WITH SCORE 178356.587
AT ITER 76 NEW BEST:: SOT 277396 SOS 180063 HAS SOPS 179584 HAS SOUS 178326 HAS SOUPS 177847 WITH SCORE 178027.063
AT ITER 77 NEW BEST:: SOT 277409 SOS 180052 HAS SOPS 179573 HAS SOUS 178315 HAS SOUPS 177836 WITH SCORE 178016.052
AT ITER 79 NEW BEST:: SOT 277399 SOS 180022 HAS SOPS 179543 HAS SOUS 178291 HAS SOUPS 177812 WITH SCORE 177992.022
AT ITER 81 NEW BEST:: SOT 277113 SOS 179208 HAS SOPS 178729 HAS SOUS 177279 HAS SOUPS 176800 WITH SCORE 176979.208
AT ITER 82 NEW BEST:: SOT 277187 SOS 178922 HAS SOPS 178443 HAS SOUS 176993 HAS SOUPS 176514 WITH SCORE 176692.922
AT ITER 83 NEW BEST:: SOT 277312 SOS 178865 HAS SOPS 178386 HAS SOUS 176936 HAS SOUPS 176457 WITH SCORE 176635.865
AT ITER 86 NEW BEST:: SOT 277027 SOS 178277 HAS SOPS 177798 HAS SOUS 176265 HAS SOUPS 175786 WITH SCORE 175964.277
AT ITER 90 NEW BEST:: SOT 276914 SOS 178092 HAS SOPS 177613 HAS SOUS 176015 HAS SOUPS 175536 WITH SCORE 175714.092
AT ITER 91 NEW BEST:: SOT 276863 SOS 178041 HAS SOPS 177562 HAS SOUS 175964 HAS SOUPS 175485 WITH SCORE 175663.041
AT ITER 92 NEW BEST:: SOT 276912 SOS 178087 HAS SOPS 177608 HAS SOUS 175811 HAS SOUPS 175332 WITH SCORE 175510.087
AT ITER 94 NEW BEST:: SOT 276886 SOS 178050 HAS SOPS 177571 HAS SOUS 175774 HAS SOUPS 175295 WITH SCORE 175473.05
AT ITER 95 NEW BEST:: SOT 276736 SOS 177900 HAS SOPS 177421 HAS SOUS 175624 HAS SOUPS 175145 WITH SCORE 175322.9
AT ITER 96 NEW BEST:: SOT 276878 SOS 177874 HAS SOPS 177395 HAS SOUS 175598 HAS SOUPS 175119 WITH SCORE 175296.874
AT ITER 97 NEW BEST:: SOT 276883 SOS 177319 HAS SOPS 176840 HAS SOUS 174854 HAS SOUPS 174375 WITH SCORE 174552.319
AT ITER 103 NEW BEST:: SOT 276861 SOS 176979 HAS SOPS 176493 HAS SOUS 174314 HAS SOUPS 173828 WITH SCORE 174004.979
AT ITER 104 NEW BEST:: SOT 276778 SOS 176530 HAS SOPS 176044 HAS SOUS 173831 HAS SOUPS 173345 WITH SCORE 173521.53
AT ITER 106 NEW BEST:: SOT 276550 SOS 176302 HAS SOPS 175816 HAS SOUS 173603 HAS SOUPS 173117 WITH SCORE 173293.302
AT ITER 109 NEW BEST:: SOT 276554 SOS 176306 HAS SOPS 175820 HAS SOUS 173597 HAS SOUPS 173111 WITH SCORE 173287.306
AT ITER 110 NEW BEST:: SOT 276370 SOS 176030 HAS SOPS 175544 HAS SOUS 173321 HAS SOUPS 172835 WITH SCORE 173011.03
AT ITER 113 NEW BEST:: SOT 276390 SOS 175796 HAS SOPS 175310 HAS SOUS 173087 HAS SOUPS 172601 WITH SCORE 172776.796
AT ITER 115 NEW BEST:: SOT 276311 SOS 175401 HAS SOPS 174915 HAS SOUS 172692 HAS SOUPS 172206 WITH SCORE 172381.401
AT ITER 118 NEW BEST:: SOT 276032 SOS 174926 HAS SOPS 174440 HAS SOUS 172217 HAS SOUPS 171731 WITH SCORE 171905.926
AT ITER 119 NEW BEST:: SOT 275846 SOS 174762 HAS SOPS 174276 HAS SOUS 172096 HAS SOUPS 171610 WITH SCORE 171784.762
AT ITER 120 NEW BEST:: SOT 275816 SOS 174702 HAS SOPS 174216 HAS SOUS 172051 HAS SOUPS 171565 WITH SCORE 171739.702
AT ITER 122 NEW BEST:: SOT 275736 SOS 174462 HAS SOPS 173976 HAS SOUS 171811 HAS SOUPS 171325 WITH SCORE 171499.462
AT ITER 123 NEW BEST:: SOT 275717 SOS 174443 HAS SOPS 173957 HAS SOUS 171792 HAS SOUPS 171306 WITH SCORE 171480.443
AT ITER 124 NEW BEST:: SOT 275637 SOS 174363 HAS SOPS 173877 HAS SOUS 171783 HAS SOUPS 171297 WITH SCORE 171471.363
AT ITER 125 NEW BEST:: SOT 275540 SOS 173878 HAS SOPS 173392 HAS SOUS 171298 HAS SOUPS 170812 WITH SCORE 170985.878
AT ITER 128 NEW BEST:: SOT 275295 SOS 173437 HAS SOPS 172951 HAS SOUS 170857 HAS SOUPS 170371 WITH SCORE 170544.437
AT ITER 131 NEW BEST:: SOT 275197 SOS 172342 HAS SOPS 171856 HAS SOUS 169779 HAS SOUPS 169293 WITH SCORE 169465.342
AT ITER 136 NEW BEST:: SOT 274934 SOS 171776 HAS SOPS 171290 HAS SOUS 169152 HAS SOUPS 168666 WITH SCORE 168837.776
AT ITER 137 NEW BEST:: SOT 274808 SOS 171650 HAS SOPS 171164 HAS SOUS 169026 HAS SOUPS 168540 WITH SCORE 168711.65
AT ITER 138 NEW BEST:: SOT 274689 SOS 171609 HAS SOPS 171123 HAS SOUS 168914 HAS SOUPS 168428 WITH SCORE 168599.609
AT ITER 143 NEW BEST:: SOT 274933 SOS 171356 HAS SOPS 170870 HAS SOUS 168544 HAS SOUPS 168058 WITH SCORE 168229.356
AT ITER 144 NEW BEST:: SOT 274765 SOS 171020 HAS SOPS 170534 HAS SOUS 168292 HAS SOUPS 167806 WITH SCORE 167977.02
AT ITER 147 NEW BEST:: SOT 274487 SOS 170488 HAS SOPS 170002 HAS SOUS 167636 HAS SOUPS 167150 WITH SCORE 167320.488
AT ITER 148 NEW BEST:: SOT 274421 SOS 170312 HAS SOPS 169826 HAS SOUS 167460 HAS SOUPS 166974 WITH SCORE 167144.312
AT ITER 150 NEW BEST:: SOT 274419 SOS 170216 HAS SOPS 169730 HAS SOUS 167409 HAS SOUPS 166923 WITH SCORE 167093.216
AT ITER 151 NEW BEST:: SOT 274140 SOS 169631 HAS SOPS 169145 HAS SOUS 166749 HAS SOUPS 166263 WITH SCORE 166432.631
AT ITER 152 NEW BEST:: SOT 274118 SOS 169597 HAS SOPS 169111 HAS SOUS 166715 HAS SOUPS 166229 WITH SCORE 166398.597
AT ITER 153 NEW BEST:: SOT 273932 SOS 169319 HAS SOPS 168833 HAS SOUS 166437 HAS SOUPS 165951 WITH SCORE 166120.319
AT ITER 156 NEW BEST:: SOT 274364 SOS 169405 HAS SOPS 168919 HAS SOUS 166329 HAS SOUPS 165843 WITH SCORE 166012.405
AT ITER 159 NEW BEST:: SOT 274340 SOS 169397 HAS SOPS 168911 HAS SOUS 166305 HAS SOUPS 165819 WITH SCORE 165988.397
AT ITER 160 NEW BEST:: SOT 274340 SOS 169397 HAS SOPS 168911 HAS SOUS 166296 HAS SOUPS 165810 WITH SCORE 165979.397
AT ITER 162 NEW BEST:: SOT 274028 SOS 168461 HAS SOPS 167975 HAS SOUS 165360 HAS SOUPS 164874 WITH SCORE 165042.461
AT ITER 163 NEW BEST:: SOT 273936 SOS 168369 HAS SOPS 167883 HAS SOUS 165268 HAS SOUPS 164782 WITH SCORE 164950.369
AT ITER 166 NEW BEST:: SOT 273836 SOS 168342 HAS SOPS 167856 HAS SOUS 165241 HAS SOUPS 164755 WITH SCORE 164923.342
AT ITER 168 NEW BEST:: SOT 273512 SOS 167115 HAS SOPS 166629 HAS SOUS 163867 HAS SOUPS 163381 WITH SCORE 163548.115
AT ITER 171 NEW BEST:: SOT 273360 SOS 166935 HAS SOPS 166456 HAS SOUS 163687 HAS SOUPS 163208 WITH SCORE 163374.935
AT ITER 174 NEW BEST:: SOT 272884 SOS 166185 HAS SOPS 165706 HAS SOUS 162937 HAS SOUPS 162458 WITH SCORE 162624.185
AT ITER 175 NEW BEST:: SOT 272747 SOS 165942 HAS SOPS 165463 HAS SOUS 162563 HAS SOUPS 162084 WITH SCORE 162249.942
AT ITER 180 NEW BEST:: SOT 272695 SOS 165400 HAS SOPS 164921 HAS SOUS 162021 HAS SOUPS 161542 WITH SCORE 161707.4
AT ITER 183 NEW BEST:: SOT 272386 SOS 165236 HAS SOPS 164757 HAS SOUS 161857 HAS SOUPS 161378 WITH SCORE 161543.236
AT ITER 184 NEW BEST:: SOT 271883 SOS 164447 HAS SOPS 163968 HAS SOUS 161314 HAS SOUPS 160835 WITH SCORE 160999.447
AT ITER 185 NEW BEST:: SOT 271887 SOS 163974 HAS SOPS 163495 HAS SOUS 160820 HAS SOUPS 160341 WITH SCORE 160504.974
AT ITER 188 NEW BEST:: SOT 271721 SOS 163870 HAS SOPS 163391 HAS SOUS 160716 HAS SOUPS 160237 WITH SCORE 160400.87
AT ITER 189 NEW BEST:: SOT 271771 SOS 163783 HAS SOPS 163304 HAS SOUS 160673 HAS SOUPS 160194 WITH SCORE 160357.783
AT ITER 191 NEW BEST:: SOT 271722 SOS 163587 HAS SOPS 163108 HAS SOUS 160526 HAS SOUPS 160047 WITH SCORE 160210.587
AT ITER 193 NEW BEST:: SOT 271722 SOS 163484 HAS SOPS 163005 HAS SOUS 160423 HAS SOUPS 159944 WITH SCORE 160107.484
AT ITER 194 NEW BEST:: SOT 271348 SOS 162064 HAS SOPS 161585 HAS SOUS 159301 HAS SOUPS 158822 WITH SCORE 158984.064
AT ITER 195 NEW BEST:: SOT 271317 SOS 161971 HAS SOPS 161492 HAS SOUS 159208 HAS SOUPS 158729 WITH SCORE 158890.971
AT ITER 196 NEW BEST:: SOT 271293 SOS 161935 HAS SOPS 161456 HAS SOUS 159172 HAS SOUPS 158693 WITH SCORE 158854.935
AT ITER 199 NEW BEST:: SOT 271343 SOS 161907 HAS SOPS 161428 HAS SOUS 159144 HAS SOUPS 158665 WITH SCORE 158826.907
AT ITER 202 NEW BEST:: SOT 271293 SOS 161807 HAS SOPS 161328 HAS SOUS 159044 HAS SOUPS 158565 WITH SCORE 158726.807
AT ITER 203 NEW BEST:: SOT 271269 SOS 161628 HAS SOPS 161149 HAS SOUS 158865 HAS SOUPS 158386 WITH SCORE 158547.628
AT ITER 204 NEW BEST:: SOT 270973 SOS 161252 HAS SOPS 160773 HAS SOUS 158351 HAS SOUPS 157872 WITH SCORE 158033.252
AT ITER 205 NEW BEST:: SOT 270885 SOS 161120 HAS SOPS 160641 HAS SOUS 158219 HAS SOUPS 157740 WITH SCORE 157901.12
AT ITER 208 NEW BEST:: SOT 270046 SOS 160004 HAS SOPS 159525 HAS SOUS 157103 HAS SOUPS 156624 WITH SCORE 156784.004
AT ITER 210 NEW BEST:: SOT 269969 SOS 159843 HAS SOPS 159364 HAS SOUS 156949 HAS SOUPS 156470 WITH SCORE 156629.843
AT ITER 211 NEW BEST:: SOT 269625 SOS 159314 HAS SOPS 158835 HAS SOUS 156420 HAS SOUPS 155941 WITH SCORE 156100.314
AT ITER 214 NEW BEST:: SOT 269535 SOS 159074 HAS SOPS 158595 HAS SOUS 156180 HAS SOUPS 155701 WITH SCORE 155860.074
AT ITER 216 NEW BEST:: SOT 269221 SOS 158171 HAS SOPS 157692 HAS SOUS 155152 HAS SOUPS 154673 WITH SCORE 154831.171
AT ITER 218 NEW BEST:: SOT 269023 SOS 157973 HAS SOPS 157494 HAS SOUS 154954 HAS SOUPS 154475 WITH SCORE 154632.973
AT ITER 221 NEW BEST:: SOT 268941 SOS 157809 HAS SOPS 157330 HAS SOUS 154790 HAS SOUPS 154311 WITH SCORE 154468.809
AT ITER 222 NEW BEST:: SOT 269220 SOS 157776 HAS SOPS 157297 HAS SOUS 154564 HAS SOUPS 154085 WITH SCORE 154242.776
AT ITER 224 NEW BEST:: SOT 269211 SOS 157752 HAS SOPS 157273 HAS SOUS 154540 HAS SOUPS 154061 WITH SCORE 154218.752
AT ITER 227 NEW BEST:: SOT 268815 SOS 157158 HAS SOPS 156679 HAS SOUS 153946 HAS SOUPS 153467 WITH SCORE 153624.158
AT ITER 229 NEW BEST:: SOT 268754 SOS 156879 HAS SOPS 156400 HAS SOUS 153667 HAS SOUPS 153188 WITH SCORE 153344.879
AT ITER 232 NEW BEST:: SOT 268702 SOS 156867 HAS SOPS 156388 HAS SOUS 153655 HAS SOUPS 153176 WITH SCORE 153332.867
AT ITER 233 NEW BEST:: SOT 268454 SOS 156495 HAS SOPS 156016 HAS SOUS 153283 HAS SOUPS 152804 WITH SCORE 152960.495
AT ITER 234 NEW BEST:: SOT 268454 SOS 156486 HAS SOPS 156007 HAS SOUS 153274 HAS SOUPS 152795 WITH SCORE 152951.486
AT ITER 238 NEW BEST:: SOT 268100 SOS 156044 HAS SOPS 155565 HAS SOUS 152840 HAS SOUPS 152361 WITH SCORE 152517.044
AT ITER 239 NEW BEST:: SOT 268100 SOS 155988 HAS SOPS 155509 HAS SOUS 152784 HAS SOUPS 152305 WITH SCORE 152460.988
AT ITER 240 NEW BEST:: SOT 268136 SOS 155995 HAS SOPS 155516 HAS SOUS 152618 HAS SOUPS 152139 WITH SCORE 152294.995
AT ITER 241 NEW BEST:: SOT 267344 SOS 154913 HAS SOPS 154434 HAS SOUS 151536 HAS SOUPS 151057 WITH SCORE 151211.913
AT ITER 244 NEW BEST:: SOT 267480 SOS 154792 HAS SOPS 154313 HAS SOUS 151259 HAS SOUPS 150780 WITH SCORE 150934.792
AT ITER 246 NEW BEST:: SOT 267438 SOS 154484 HAS SOPS 154005 HAS SOUS 150951 HAS SOUPS 150472 WITH SCORE 150626.484
AT ITER 247 NEW BEST:: SOT 267438 SOS 154454 HAS SOPS 153975 HAS SOUS 150921 HAS SOUPS 150442 WITH SCORE 150596.454
AT ITER 253 NEW BEST:: SOT 267407 SOS 154423 HAS SOPS 153944 HAS SOUS 150890 HAS SOUPS 150411 WITH SCORE 150565.423
AT ITER 256 NEW BEST:: SOT 267336 SOS 154231 HAS SOPS 153752 HAS SOUS 150698 HAS SOUPS 150219 WITH SCORE 150373.231
AT ITER 257 NEW BEST:: SOT 267311 SOS 154191 HAS SOPS 153712 HAS SOUS 150658 HAS SOUPS 150179 WITH SCORE 150333.191
AT ITER 261 NEW BEST:: SOT 266956 SOS 153486 HAS SOPS 153007 HAS SOUS 150209 HAS SOUPS 149730 WITH SCORE 149883.486
AT ITER 265 NEW BEST:: SOT 266788 SOS 153447 HAS SOPS 152968 HAS SOUS 150170 HAS SOUPS 149691 WITH SCORE 149844.447
AT ITER 270 NEW BEST:: SOT 267065 SOS 153403 HAS SOPS 152924 HAS SOUS 150009 HAS SOUPS 149530 WITH SCORE 149683.403
AT ITER 277 NEW BEST:: SOT 267062 SOS 153395 HAS SOPS 152916 HAS SOUS 150001 HAS SOUPS 149522 WITH SCORE 149675.395
AT ITER 278 NEW BEST:: SOT 266971 SOS 153306 HAS SOPS 152827 HAS SOUS 149899 HAS SOUPS 149420 WITH SCORE 149573.306
AT ITER 279 NEW BEST:: SOT 266905 SOS 153174 HAS SOPS 152695 HAS SOUS 149734 HAS SOUPS 149255 WITH SCORE 149408.174
AT ITER 281 NEW BEST:: SOT 266855 SOS 153124 HAS SOPS 152645 HAS SOUS 149684 HAS SOUPS 149205 WITH SCORE 149358.124
AT ITER 285 NEW BEST:: SOT 266801 SOS 153070 HAS SOPS 152591 HAS SOUS 149630 HAS SOUPS 149151 WITH SCORE 149304.07
AT ITER 291 NEW BEST:: SOT 266748 SOS 152843 HAS SOPS 152364 HAS SOUS 149403 HAS SOUPS 148924 WITH SCORE 149076.843
AT ITER 292 NEW BEST:: SOT 266748 SOS 152734 HAS SOPS 152255 HAS SOUS 149294 HAS SOUPS 148815 WITH SCORE 148967.734
AT ITER 294 NEW BEST:: SOT 266706 SOS 152631 HAS SOPS 152152 HAS SOUS 149191 HAS SOUPS 148712 WITH SCORE 148864.631
AT ITER 295 NEW BEST:: SOT 266502 SOS 151480 HAS SOPS 151001 HAS SOUS 148030 HAS SOUPS 147551 WITH SCORE 147702.48
AT ITER 296 NEW BEST:: SOT 266274 SOS 151129 HAS SOPS 150650 HAS SOUS 147588 HAS SOUPS 147109 WITH SCORE 147260.129
AT ITER 298 NEW BEST:: SOT 266226 SOS 151081 HAS SOPS 150602 HAS SOUS 147540 HAS SOUPS 147061 WITH SCORE 147212.081
AT ITER 302 NEW BEST:: SOT 266127 SOS 149781 HAS SOPS 149302 HAS SOUS 146240 HAS SOUPS 145761 WITH SCORE 145910.781
AT ITER 305 NEW BEST:: SOT 266049 SOS 149703 HAS SOPS 149224 HAS SOUS 146162 HAS SOUPS 145683 WITH SCORE 145832.703
AT ITER 306 NEW BEST:: SOT 265972 SOS 149564 HAS SOPS 149085 HAS SOUS 146075 HAS SOUPS 145596 WITH SCORE 145745.564
AT ITER 309 NEW BEST:: SOT 265615 SOS 149020 HAS SOPS 148541 HAS SOUS 145531 HAS SOUPS 145052 WITH SCORE 145201.02
AT ITER 310 NEW BEST:: SOT 265509 SOS 148914 HAS SOPS 148435 HAS SOUS 145438 HAS SOUPS 144959 WITH SCORE 145107.914
AT ITER 311 NEW BEST:: SOT 265411 SOS 148396 HAS SOPS 147917 HAS SOUS 144920 HAS SOUPS 144441 WITH SCORE 144589.396
AT ITER 312 NEW BEST:: SOT 265663 SOS 148377 HAS SOPS 147898 HAS SOUS 144901 HAS SOUPS 144422 WITH SCORE 144570.377
AT ITER 313 NEW BEST:: SOT 265494 SOS 148120 HAS SOPS 147641 HAS SOUS 144644 HAS SOUPS 144165 WITH SCORE 144313.12
AT ITER 315 NEW BEST:: SOT 265396 SOS 147836 HAS SOPS 147357 HAS SOUS 144360 HAS SOUPS 143881 WITH SCORE 144028.836
AT ITER 320 NEW BEST:: SOT 265322 SOS 147762 HAS SOPS 147283 HAS SOUS 144286 HAS SOUPS 143807 WITH SCORE 143954.762
AT ITER 321 NEW BEST:: SOT 265240 SOS 147317 HAS SOPS 146838 HAS SOUS 143806 HAS SOUPS 143327 WITH SCORE 143474.317
AT ITER 323 NEW BEST:: SOT 265273 SOS 147350 HAS SOPS 146871 HAS SOUS 143769 HAS SOUPS 143290 WITH SCORE 143437.35
AT ITER 326 NEW BEST:: SOT 265262 SOS 147339 HAS SOPS 146860 HAS SOUS 143758 HAS SOUPS 143279 WITH SCORE 143426.339
AT ITER 329 NEW BEST:: SOT 265516 SOS 147091 HAS SOPS 146612 HAS SOUS 143510 HAS SOUPS 143031 WITH SCORE 143178.091
AT ITER 333 NEW BEST:: SOT 265474 SOS 146898 HAS SOPS 146419 HAS SOUS 143317 HAS SOUPS 142838 WITH SCORE 142984.898
AT ITER 334 NEW BEST:: SOT 265388 SOS 146640 HAS SOPS 146161 HAS SOUS 143231 HAS SOUPS 142752 WITH SCORE 142898.64
AT ITER 336 NEW BEST:: SOT 265569 SOS 146782 HAS SOPS 146303 HAS SOUS 143143 HAS SOUPS 142664 WITH SCORE 142810.782
AT ITER 338 NEW BEST:: SOT 265231 SOS 145931 HAS SOPS 145452 HAS SOUS 142292 HAS SOUPS 141813 WITH SCORE 141958.931
AT ITER 342 NEW BEST:: SOT 265205 SOS 145905 HAS SOPS 145426 HAS SOUS 142240 HAS SOUPS 141761 WITH SCORE 141906.905
AT ITER 351 NEW BEST:: SOT 265215 SOS 145918 HAS SOPS 145439 HAS SOUS 142216 HAS SOUPS 141737 WITH SCORE 141882.918
AT ITER 357 NEW BEST:: SOT 265073 SOS 145660 HAS SOPS 145181 HAS SOUS 141796 HAS SOUPS 141317 WITH SCORE 141462.66
AT ITER 362 NEW BEST:: SOT 265038 SOS 145603 HAS SOPS 145124 HAS SOUS 141739 HAS SOUPS 141260 WITH SCORE 141405.603
AT ITER 364 NEW BEST:: SOT 264955 SOS 145511 HAS SOPS 145032 HAS SOUS 141693 HAS SOUPS 141214 WITH SCORE 141359.511
AT ITER 367 NEW BEST:: SOT 264955 SOS 145275 HAS SOPS 144796 HAS SOUS 141693 HAS SOUPS 141214 WITH SCORE 141359.275
AT ITER 369 NEW BEST:: SOT 264975 SOS 144669 HAS SOPS 144190 HAS SOUS 141286 HAS SOUPS 140807 WITH SCORE 140951.669
AT ITER 370 NEW BEST:: SOT 264688 SOS 144186 HAS SOPS 143707 HAS SOUS 140803 HAS SOUPS 140324 WITH SCORE 140468.186
AT ITER 371 NEW BEST:: SOT 264688 SOS 144186 HAS SOPS 143707 HAS SOUS 140764 HAS SOUPS 140285 WITH SCORE 140429.186
AT ITER 372 NEW BEST:: SOT 264648 SOS 143753 HAS SOPS 143274 HAS SOUS 140331 HAS SOUPS 139852 WITH SCORE 139995.753
AT ITER 375 NEW BEST:: SOT 264393 SOS 143311 HAS SOPS 142832 HAS SOUS 139889 HAS SOUPS 139410 WITH SCORE 139553.311
AT ITER 378 NEW BEST:: SOT 264069 SOS 142597 HAS SOPS 142118 HAS SOUS 139175 HAS SOUPS 138696 WITH SCORE 138838.597
AT ITER 379 NEW BEST:: SOT 264029 SOS 142306 HAS SOPS 141827 HAS SOUS 138793 HAS SOUPS 138314 WITH SCORE 138456.306
AT ITER 381 NEW BEST:: SOT 264026 SOS 142270 HAS SOPS 141791 HAS SOUS 138716 HAS SOUPS 138237 WITH SCORE 138379.27
AT ITER 383 NEW BEST:: SOT 263777 SOS 141561 HAS SOPS 141082 HAS SOUS 138122 HAS SOUPS 137643 WITH SCORE 137784.561
AT ITER 386 NEW BEST:: SOT 263570 SOS 141216 HAS SOPS 140737 HAS SOUS 137777 HAS SOUPS 137298 WITH SCORE 137439.216
AT ITER 388 NEW BEST:: SOT 263555 SOS 141088 HAS SOPS 140609 HAS SOUS 137649 HAS SOUPS 137170 WITH SCORE 137311.088
AT ITER 391 NEW BEST:: SOT 263663 SOS 141065 HAS SOPS 140586 HAS SOUS 137626 HAS SOUPS 137147 WITH SCORE 137288.065
AT ITER 392 NEW BEST:: SOT 263072 SOS 139984 HAS SOPS 139505 HAS SOUS 136545 HAS SOUPS 136066 WITH SCORE 136205.984
AT ITER 393 NEW BEST:: SOT 263094 SOS 139899 HAS SOPS 139420 HAS SOUS 136412 HAS SOUPS 135933 WITH SCORE 136072.899
AT ITER 399 NEW BEST:: SOT 262819 SOS 139590 HAS SOPS 139111 HAS SOUS 136119 HAS SOUPS 135640 WITH SCORE 135779.59
AT ITER 403 NEW BEST:: SOT 262794 SOS 139533 HAS SOPS 139054 HAS SOUS 136105 HAS SOUPS 135626 WITH SCORE 135765.533
AT ITER 404 NEW BEST:: SOT 262644 SOS 138779 HAS SOPS 138300 HAS SOUS 135498 HAS SOUPS 135019 WITH SCORE 135157.779
AT ITER 407 NEW BEST:: SOT 262464 SOS 138359 HAS SOPS 137880 HAS SOUS 135078 HAS SOUPS 134599 WITH SCORE 134737.359
AT ITER 409 NEW BEST:: SOT 262445 SOS 138340 HAS SOPS 137861 HAS SOUS 135059 HAS SOUPS 134580 WITH SCORE 134718.34
AT ITER 413 NEW BEST:: SOT 262228 SOS 138123 HAS SOPS 137644 HAS SOUS 134842 HAS SOUPS 134363 WITH SCORE 134501.123
AT ITER 417 NEW BEST:: SOT 262218 SOS 138015 HAS SOPS 137536 HAS SOUS 134734 HAS SOUPS 134255 WITH SCORE 134393.015
AT ITER 420 NEW BEST:: SOT 261935 SOS 137597 HAS SOPS 137118 HAS SOUS 134316 HAS SOUPS 133837 WITH SCORE 133974.597
AT ITER 423 NEW BEST:: SOT 262239 SOS 137583 HAS SOPS 137104 HAS SOUS 134302 HAS SOUPS 133823 WITH SCORE 133960.583
AT ITER 424 NEW BEST:: SOT 262070 SOS 137282 HAS SOPS 136803 HAS SOUS 134020 HAS SOUPS 133541 WITH SCORE 133678.282
AT ITER 430 NEW BEST:: SOT 262002 SOS 137078 HAS SOPS 136599 HAS SOUS 133816 HAS SOUPS 133337 WITH SCORE 133474.078
AT ITER 434 NEW BEST:: SOT 261789 SOS 136689 HAS SOPS 136210 HAS SOUS 133427 HAS SOUPS 132948 WITH SCORE 133084.689
AT ITER 440 NEW BEST:: SOT 261731 SOS 136602 HAS SOPS 136123 HAS SOUS 133340 HAS SOUPS 132861 WITH SCORE 132997.602
AT ITER 442 NEW BEST:: SOT 261730 SOS 136666 HAS SOPS 136187 HAS SOUS 133236 HAS SOUPS 132757 WITH SCORE 132893.666
AT ITER 443 NEW BEST:: SOT 261659 SOS 136575 HAS SOPS 136096 HAS SOUS 133124 HAS SOUPS 132645 WITH SCORE 132781.575
AT ITER 446 NEW BEST:: SOT 261536 SOS 136339 HAS SOPS 135860 HAS SOUS 133054 HAS SOUPS 132575 WITH SCORE 132711.339
AT ITER 447 NEW BEST:: SOT 261490 SOS 135865 HAS SOPS 135386 HAS SOUS 132512 HAS SOUPS 132033 WITH SCORE 132168.865
AT ITER 448 NEW BEST:: SOT 261374 SOS 135690 HAS SOPS 135211 HAS SOUS 132237 HAS SOUPS 131758 WITH SCORE 131893.69
AT ITER 454 NEW BEST:: SOT 261387 SOS 135679 HAS SOPS 135200 HAS SOUS 132163 HAS SOUPS 131684 WITH SCORE 131819.679
AT ITER 455 NEW BEST:: SOT 261387 SOS 135548 HAS SOPS 135069 HAS SOUS 131901 HAS SOUPS 131422 WITH SCORE 131557.548
AT ITER 457 NEW BEST:: SOT 261387 SOS 135533 HAS SOPS 135054 HAS SOUS 131901 HAS SOUPS 131422 WITH SCORE 131557.533
AT ITER 461 NEW BEST:: SOT 261295 SOS 135209 HAS SOPS 134730 HAS SOUS 131659 HAS SOUPS 131180 WITH SCORE 131315.209
AT ITER 465 NEW BEST:: SOT 261295 SOS 135167 HAS SOPS 134688 HAS SOUS 131575 HAS SOUPS 131096 WITH SCORE 131231.167
AT ITER 468 NEW BEST:: SOT 261174 SOS 134666 HAS SOPS 134187 HAS SOUS 131074 HAS SOUPS 130595 WITH SCORE 130729.666
AT ITER 470 NEW BEST:: SOT 261103 SOS 134311 HAS SOPS 133832 HAS SOUS 130719 HAS SOUPS 130240 WITH SCORE 130374.311
AT ITER 472 NEW BEST:: SOT 260701 SOS 133710 HAS SOPS 133231 HAS SOUS 130118 HAS SOUPS 129639 WITH SCORE 129772.71
AT ITER 473 NEW BEST:: SOT 260636 SOS 133391 HAS SOPS 132912 HAS SOUS 129799 HAS SOUPS 129320 WITH SCORE 129453.391
AT ITER 475 NEW BEST:: SOT 260254 SOS 132303 HAS SOPS 131824 HAS SOUS 128711 HAS SOUPS 128232 WITH SCORE 128364.303
AT ITER 476 NEW BEST:: SOT 260235 SOS 132080 HAS SOPS 131601 HAS SOUS 128332 HAS SOUPS 127853 WITH SCORE 127985.08
AT ITER 478 NEW BEST:: SOT 259951 SOS 131572 HAS SOPS 131093 HAS SOUS 127824 HAS SOUPS 127345 WITH SCORE 127476.572
AT ITER 479 NEW BEST:: SOT 259901 SOS 131522 HAS SOPS 131043 HAS SOUS 127774 HAS SOUPS 127295 WITH SCORE 127426.522
AT ITER 481 NEW BEST:: SOT 259940 SOS 130911 HAS SOPS 130432 HAS SOUS 127041 HAS SOUPS 126562 WITH SCORE 126692.911
AT ITER 482 NEW BEST:: SOT 259848 SOS 130627 HAS SOPS 130148 HAS SOUS 126757 HAS SOUPS 126278 WITH SCORE 126408.627
AT ITER 485 NEW BEST:: SOT 259586 SOS 130231 HAS SOPS 129752 HAS SOUS 126361 HAS SOUPS 125882 WITH SCORE 126012.231
AT ITER 488 NEW BEST:: SOT 259468 SOS 129995 HAS SOPS 129516 HAS SOUS 126125 HAS SOUPS 125646 WITH SCORE 125775.995
AT ITER 489 NEW BEST:: SOT 259341 SOS 129642 HAS SOPS 129163 HAS SOUS 125886 HAS SOUPS 125407 WITH SCORE 125536.642
AT ITER 499 NEW BEST:: SOT 258691 SOS 128188 HAS SOPS 127709 HAS SOUS 124684 HAS SOUPS 124205 WITH SCORE 124333.188
AT ITER 502 NEW BEST:: SOT 258646 SOS 128008 HAS SOPS 127529 HAS SOUS 124549 HAS SOUPS 124070 WITH SCORE 124198.008
AT ITER 503 NEW BEST:: SOT 258626 SOS 127988 HAS SOPS 127509 HAS SOUS 124529 HAS SOUPS 124050 WITH SCORE 124177.988
AT ITER 512 NEW BEST:: SOT 258565 SOS 127744 HAS SOPS 127265 HAS SOUS 124346 HAS SOUPS 123867 WITH SCORE 123994.744
AT ITER 514 NEW BEST:: SOT 258565 SOS 127739 HAS SOPS 127260 HAS SOUS 124341 HAS SOUPS 123862 WITH SCORE 123989.739
AT ITER 515 NEW BEST:: SOT 258565 SOS 127623 HAS SOPS 127144 HAS SOUS 124225 HAS SOUPS 123746 WITH SCORE 123873.623
AT ITER 526 NEW BEST:: SOT 258739 SOS 127358 HAS SOPS 126879 HAS SOUS 124078 HAS SOUPS 123599 WITH SCORE 123726.358
AT ITER 528 NEW BEST:: SOT 258739 SOS 127300 HAS SOPS 126821 HAS SOUS 124020 HAS SOUPS 123541 WITH SCORE 123668.3
AT ITER 534 NEW BEST:: SOT 258731 SOS 127284 HAS SOPS 126805 HAS SOUS 124004 HAS SOUPS 123525 WITH SCORE 123652.284
AT ITER 537 NEW BEST:: SOT 258501 SOS 127026 HAS SOPS 126547 HAS SOUS 123746 HAS SOUPS 123267 WITH SCORE 123394.026
AT ITER 538 NEW BEST:: SOT 258481 SOS 127001 HAS SOPS 126522 HAS SOUS 123721 HAS SOUPS 123242 WITH SCORE 123369.001
AT ITER 540 NEW BEST:: SOT 258446 SOS 126982 HAS SOPS 126503 HAS SOUS 123702 HAS SOUPS 123223 WITH SCORE 123349.982
AT ITER 554 NEW BEST:: SOT 258369 SOS 126949 HAS SOPS 126470 HAS SOUS 123669 HAS SOUPS 123190 WITH SCORE 123316.949
AT ITER 561 NEW BEST:: SOT 258369 SOS 126939 HAS SOPS 126460 HAS SOUS 123659 HAS SOUPS 123180 WITH SCORE 123306.939
AT ITER 565 NEW BEST:: SOT 258260 SOS 126798 HAS SOPS 126319 HAS SOUS 123539 HAS SOUPS 123060 WITH SCORE 123186.798
AT ITER 567 NEW BEST:: SOT 258274 SOS 126810 HAS SOPS 126331 HAS SOUS 123478 HAS SOUPS 122999 WITH SCORE 123125.81
AT ITER 571 NEW BEST:: SOT 258064 SOS 126326 HAS SOPS 125847 HAS SOUS 122994 HAS SOUPS 122515 WITH SCORE 122641.326
AT ITER 583 NEW BEST:: SOT 257903 SOS 126067 HAS SOPS 125588 HAS SOUS 122735 HAS SOUPS 122256 WITH SCORE 122382.067
AT ITER 585 NEW BEST:: SOT 257903 SOS 126067 HAS SOPS 125588 HAS SOUS 122705 HAS SOUPS 122226 WITH SCORE 122352.067
AT ITER 586 NEW BEST:: SOT 257732 SOS 125840 HAS SOPS 125361 HAS SOUS 122427 HAS SOUPS 121948 WITH SCORE 122073.84
AT ITER 587 NEW BEST:: SOT 257621 SOS 125692 HAS SOPS 125213 HAS SOUS 122279 HAS SOUPS 121800 WITH SCORE 121925.692
AT ITER 593 NEW BEST:: SOT 257440 SOS 125602 HAS SOPS 125123 HAS SOUS 122202 HAS SOUPS 121723 WITH SCORE 121848.602
AT ITER 595 NEW BEST:: SOT 257440 SOS 125485 HAS SOPS 125006 HAS SOUS 122124 HAS SOUPS 121645 WITH SCORE 121770.485
AT ITER 604 NEW BEST:: SOT 257436 SOS 125477 HAS SOPS 124998 HAS SOUS 122116 HAS SOUPS 121637 WITH SCORE 121762.477
AT ITER 606 NEW BEST:: SOT 257418 SOS 125317 HAS SOPS 124838 HAS SOUS 121886 HAS SOUPS 121407 WITH SCORE 121532.317
AT ITER 607 NEW BEST:: SOT 257426 SOS 125153 HAS SOPS 124674 HAS SOUS 121518 HAS SOUPS 121039 WITH SCORE 121164.153
AT ITER 610 NEW BEST:: SOT 257412 SOS 125111 HAS SOPS 124632 HAS SOUS 121476 HAS SOUPS 120997 WITH SCORE 121122.111
AT ITER 613 NEW BEST:: SOT 257196 SOS 124717 HAS SOPS 124238 HAS SOUS 121166 HAS SOUPS 120687 WITH SCORE 120811.717
AT ITER 615 NEW BEST:: SOT 257014 SOS 124002 HAS SOPS 123523 HAS SOUS 120426 HAS SOUPS 119947 WITH SCORE 120071.002
AT ITER 616 NEW BEST:: SOT 256988 SOS 123976 HAS SOPS 123497 HAS SOUS 120400 HAS SOUPS 119921 WITH SCORE 120044.976
AT ITER 623 NEW BEST:: SOT 257012 SOS 123931 HAS SOPS 123452 HAS SOUS 120355 HAS SOUPS 119876 WITH SCORE 119999.931
AT ITER 625 NEW BEST:: SOT 257004 SOS 123899 HAS SOPS 123420 HAS SOUS 120331 HAS SOUPS 119852 WITH SCORE 119975.899
AT ITER 627 NEW BEST:: SOT 256842 SOS 123880 HAS SOPS 123401 HAS SOUS 120312 HAS SOUPS 119833 WITH SCORE 119956.88
AT ITER 628 NEW BEST:: SOT 256796 SOS 123742 HAS SOPS 123259 HAS SOUS 120174 HAS SOUPS 119691 WITH SCORE 119814.742
AT ITER 632 NEW BEST:: SOT 256758 SOS 123474 HAS SOPS 122991 HAS SOUS 119970 HAS SOUPS 119487 WITH SCORE 119610.474
AT ITER 636 NEW BEST:: SOT 256748 SOS 123444 HAS SOPS 122961 HAS SOUS 119940 HAS SOUPS 119457 WITH SCORE 119580.444
AT ITER 641 NEW BEST:: SOT 256824 SOS 123422 HAS SOPS 122939 HAS SOUS 119918 HAS SOUPS 119435 WITH SCORE 119558.422
AT ITER 643 NEW BEST:: SOT 256802 SOS 123022 HAS SOPS 122539 HAS SOUS 119786 HAS SOUPS 119303 WITH SCORE 119426.022
AT ITER 646 NEW BEST:: SOT 256833 SOS 122941 HAS SOPS 122458 HAS SOUS 119705 HAS SOUPS 119222 WITH SCORE 119344.941
AT ITER 652 NEW BEST:: SOT 256657 SOS 122776 HAS SOPS 122293 HAS SOUS 119477 HAS SOUPS 118994 WITH SCORE 119116.776
AT ITER 659 NEW BEST:: SOT 256671 SOS 122720 HAS SOPS 122237 HAS SOUS 119421 HAS SOUPS 118938 WITH SCORE 119060.72
AT ITER 664 NEW BEST:: SOT 256375 SOS 122263 HAS SOPS 121780 HAS SOUS 118964 HAS SOUPS 118481 WITH SCORE 118603.263
AT ITER 666 NEW BEST:: SOT 256363 SOS 122239 HAS SOPS 121756 HAS SOUS 118940 HAS SOUPS 118457 WITH SCORE 118579.239
AT ITER 671 NEW BEST:: SOT 256254 SOS 122130 HAS SOPS 121647 HAS SOUS 118831 HAS SOUPS 118348 WITH SCORE 118470.13
AT ITER 681 NEW BEST:: SOT 255630 SOS 120096 HAS SOPS 119613 HAS SOUS 116867 HAS SOUPS 116384 WITH SCORE 116504.096
AT ITER 694 NEW BEST:: SOT 255612 SOS 119954 HAS SOPS 119471 HAS SOUS 116723 HAS SOUPS 116240 WITH SCORE 116359.954
AT ITER 702 NEW BEST:: SOT 255531 SOS 119882 HAS SOPS 119399 HAS SOUS 116684 HAS SOUPS 116201 WITH SCORE 116320.882
AT ITER 703 NEW BEST:: SOT 255497 SOS 119797 HAS SOPS 119314 HAS SOUS 116599 HAS SOUPS 116116 WITH SCORE 116235.797
AT ITER 705 NEW BEST:: SOT 255497 SOS 119629 HAS SOPS 119146 HAS SOUS 116431 HAS SOUPS 115948 WITH SCORE 116067.629
AT ITER 707 NEW BEST:: SOT 255481 SOS 119526 HAS SOPS 119043 HAS SOUS 116305 HAS SOUPS 115822 WITH SCORE 115941.526
AT ITER 713 NEW BEST:: SOT 255334 SOS 119317 HAS SOPS 118834 HAS SOUS 116111 HAS SOUPS 115628 WITH SCORE 115747.317
AT ITER 714 NEW BEST:: SOT 255437 SOS 119065 HAS SOPS 118582 HAS SOUS 115859 HAS SOUPS 115376 WITH SCORE 115495.065
AT ITER 716 NEW BEST:: SOT 255431 SOS 119047 HAS SOPS 118564 HAS SOUS 115841 HAS SOUPS 115358 WITH SCORE 115477.047
AT ITER 719 NEW BEST:: SOT 255410 SOS 119041 HAS SOPS 118558 HAS SOUS 115835 HAS SOUPS 115352 WITH SCORE 115471.041
AT ITER 724 NEW BEST:: SOT 255402 SOS 119024 HAS SOPS 118541 HAS SOUS 115818 HAS SOUPS 115335 WITH SCORE 115454.024
AT ITER 731 NEW BEST:: SOT 255257 SOS 118461 HAS SOPS 117978 HAS SOUS 115255 HAS SOUPS 114772 WITH SCORE 114890.461
AT ITER 740 NEW BEST:: SOT 255434 SOS 118441 HAS SOPS 117958 HAS SOUS 114963 HAS SOUPS 114480 WITH SCORE 114598.441
AT ITER 742 NEW BEST:: SOT 255280 SOS 118115 HAS SOPS 117632 HAS SOUS 114637 HAS SOUPS 114154 WITH SCORE 114272.115
AT ITER 745 NEW BEST:: SOT 255084 SOS 117857 HAS SOPS 117374 HAS SOUS 114379 HAS SOUPS 113896 WITH SCORE 114013.857
AT ITER 748 NEW BEST:: SOT 254955 SOS 117745 HAS SOPS 117262 HAS SOUS 114267 HAS SOUPS 113784 WITH SCORE 113901.745
AT ITER 751 NEW BEST:: SOT 254887 SOS 117609 HAS SOPS 117126 HAS SOUS 114131 HAS SOUPS 113648 WITH SCORE 113765.609
AT ITER 753 NEW BEST:: SOT 254863 SOS 117577 HAS SOPS 117094 HAS SOUS 114099 HAS SOUPS 113616 WITH SCORE 113733.577
AT ITER 755 NEW BEST:: SOT 254595 SOS 117187 HAS SOPS 116704 HAS SOUS 113699 HAS SOUPS 113216 WITH SCORE 113333.187
AT ITER 763 NEW BEST:: SOT 254575 SOS 117167 HAS SOPS 116684 HAS SOUS 113679 HAS SOUPS 113196 WITH SCORE 113313.167
AT ITER 765 NEW BEST:: SOT 254533 SOS 117125 HAS SOPS 116642 HAS SOUS 113637 HAS SOUPS 113154 WITH SCORE 113271.125
AT ITER 766 NEW BEST:: SOT 254202 SOS 116794 HAS SOPS 116311 HAS SOUS 113306 HAS SOUPS 112823 WITH SCORE 112939.794
AT ITER 767 NEW BEST:: SOT 254279 SOS 116558 HAS SOPS 116075 HAS SOUS 113065 HAS SOUPS 112582 WITH SCORE 112698.558
AT ITER 768 NEW BEST:: SOT 254164 SOS 116396 HAS SOPS 115913 HAS SOUS 112903 HAS SOUPS 112420 WITH SCORE 112536.396
AT ITER 771 NEW BEST:: SOT 254000 SOS 115928 HAS SOPS 115445 HAS SOUS 112505 HAS SOUPS 112022 WITH SCORE 112137.928
AT ITER 775 NEW BEST:: SOT 253866 SOS 115658 HAS SOPS 115175 HAS SOUS 112235 HAS SOUPS 111752 WITH SCORE 111867.658
AT ITER 777 NEW BEST:: SOT 253866 SOS 115632 HAS SOPS 115149 HAS SOUS 112209 HAS SOUPS 111726 WITH SCORE 111841.632
AT ITER 780 NEW BEST:: SOT 253670 SOS 114951 HAS SOPS 114468 HAS SOUS 111528 HAS SOUPS 111045 WITH SCORE 111159.951
AT ITER 786 NEW BEST:: SOT 253502 SOS 114727 HAS SOPS 114244 HAS SOUS 111304 HAS SOUPS 110821 WITH SCORE 110935.727
AT ITER 787 NEW BEST:: SOT 253493 SOS 114464 HAS SOPS 113981 HAS SOUS 111165 HAS SOUPS 110682 WITH SCORE 110796.464
AT ITER 789 NEW BEST:: SOT 253282 SOS 113943 HAS SOPS 113460 HAS SOUS 110644 HAS SOUPS 110161 WITH SCORE 110274.943
AT ITER 790 NEW BEST:: SOT 253271 SOS 113878 HAS SOPS 113395 HAS SOUS 110581 HAS SOUPS 110098 WITH SCORE 110211.878
AT ITER 799 NEW BEST:: SOT 253194 SOS 113812 HAS SOPS 113329 HAS SOUS 110566 HAS SOUPS 110083 WITH SCORE 110196.812
AT ITER 806 NEW BEST:: SOT 253012 SOS 113528 HAS SOPS 113045 HAS SOUS 110219 HAS SOUPS 109736 WITH SCORE 109849.528
AT ITER 807 NEW BEST:: SOT 252821 SOS 113000 HAS SOPS 112517 HAS SOUS 109691 HAS SOUPS 109208 WITH SCORE 109321.0
AT ITER 809 NEW BEST:: SOT 252765 SOS 112804 HAS SOPS 112321 HAS SOUS 109495 HAS SOUPS 109012 WITH SCORE 109124.804
AT ITER 810 NEW BEST:: SOT 252726 SOS 112765 HAS SOPS 112282 HAS SOUS 109456 HAS SOUPS 108973 WITH SCORE 109085.765
AT ITER 819 NEW BEST:: SOT 252696 SOS 112578 HAS SOPS 112095 HAS SOUS 109269 HAS SOUPS 108786 WITH SCORE 108898.578
AT ITER 823 NEW BEST:: SOT 252692 SOS 112572 HAS SOPS 112089 HAS SOUS 109263 HAS SOUPS 108780 WITH SCORE 108892.572
AT ITER 825 NEW BEST:: SOT 252790 SOS 112538 HAS SOPS 112055 HAS SOUS 109229 HAS SOUPS 108746 WITH SCORE 108858.538
AT ITER 826 NEW BEST:: SOT 252791 SOS 112522 HAS SOPS 112039 HAS SOUS 109213 HAS SOUPS 108730 WITH SCORE 108842.522
AT ITER 827 NEW BEST:: SOT 252774 SOS 112506 HAS SOPS 112023 HAS SOUS 109197 HAS SOUPS 108714 WITH SCORE 108826.506
AT ITER 833 NEW BEST:: SOT 252774 SOS 112424 HAS SOPS 111941 HAS SOUS 109115 HAS SOUPS 108632 WITH SCORE 108744.424
AT ITER 834 NEW BEST:: SOT 252726 SOS 112376 HAS SOPS 111893 HAS SOUS 109067 HAS SOUPS 108584 WITH SCORE 108696.376
AT ITER 839 NEW BEST:: SOT 252288 SOS 111522 HAS SOPS 111039 HAS SOUS 108203 HAS SOUPS 107720 WITH SCORE 107831.522
AT ITER 845 NEW BEST:: SOT 252202 SOS 111418 HAS SOPS 110935 HAS SOUS 108099 HAS SOUPS 107616 WITH SCORE 107727.418
AT ITER 846 NEW BEST:: SOT 252109 SOS 111330 HAS SOPS 110847 HAS SOUS 107973 HAS SOUPS 107490 WITH SCORE 107601.33
AT ITER 847 NEW BEST:: SOT 252109 SOS 111259 HAS SOPS 110776 HAS SOUS 107973 HAS SOUPS 107490 WITH SCORE 107601.259
AT ITER 848 NEW BEST:: SOT 252003 SOS 110905 HAS SOPS 110422 HAS SOUS 107697 HAS SOUPS 107214 WITH SCORE 107324.905
AT ITER 852 NEW BEST:: SOT 252003 SOS 110891 HAS SOPS 110408 HAS SOUS 107683 HAS SOUPS 107200 WITH SCORE 107310.891
AT ITER 862 NEW BEST:: SOT 251983 SOS 110371 HAS SOPS 109888 HAS SOUS 107331 HAS SOUPS 106848 WITH SCORE 106958.371
AT ITER 863 NEW BEST:: SOT 251950 SOS 110206 HAS SOPS 109723 HAS SOUS 107166 HAS SOUPS 106683 WITH SCORE 106793.206
AT ITER 874 NEW BEST:: SOT 251988 SOS 110200 HAS SOPS 109717 HAS SOUS 107160 HAS SOUPS 106677 WITH SCORE 106787.2
AT ITER 877 NEW BEST:: SOT 251886 SOS 109996 HAS SOPS 109513 HAS SOUS 107038 HAS SOUPS 106555 WITH SCORE 106664.996
AT ITER 881 NEW BEST:: SOT 251863 SOS 109255 HAS SOPS 108772 HAS SOUS 106297 HAS SOUPS 105814 WITH SCORE 105923.255
AT ITER 890 NEW BEST:: SOT 251665 SOS 108980 HAS SOPS 108497 HAS SOUS 106022 HAS SOUPS 105539 WITH SCORE 105647.98
AT ITER 897 NEW BEST:: SOT 251612 SOS 108927 HAS SOPS 108444 HAS SOUS 105916 HAS SOUPS 105433 WITH SCORE 105541.927
AT ITER 898 NEW BEST:: SOT 251378 SOS 108641 HAS SOPS 108158 HAS SOUS 105630 HAS SOUPS 105147 WITH SCORE 105255.641
AT ITER 907 NEW BEST:: SOT 251118 SOS 108198 HAS SOPS 107715 HAS SOUS 105187 HAS SOUPS 104704 WITH SCORE 104812.198
AT ITER 912 NEW BEST:: SOT 251118 SOS 108178 HAS SOPS 107695 HAS SOUS 105147 HAS SOUPS 104664 WITH SCORE 104772.178
AT ITER 913 NEW BEST:: SOT 251092 SOS 108102 HAS SOPS 107619 HAS SOUS 105071 HAS SOUPS 104588 WITH SCORE 104696.102
AT ITER 919 NEW BEST:: SOT 251092 SOS 108073 HAS SOPS 107590 HAS SOUS 105042 HAS SOUPS 104559 WITH SCORE 104667.073
AT ITER 937 NEW BEST:: SOT 250837 SOS 107557 HAS SOPS 107074 HAS SOUS 104617 HAS SOUPS 104134 WITH SCORE 104241.557
AT ITER 957 NEW BEST:: SOT 250837 SOS 107554 HAS SOPS 107071 HAS SOUS 104615 HAS SOUPS 104132 WITH SCORE 104239.554
AT ITER 958 NEW BEST:: SOT 250827 SOS 107509 HAS SOPS 107026 HAS SOUS 104570 HAS SOUPS 104087 WITH SCORE 104194.509
AT ITER 962 NEW BEST:: SOT 250722 SOS 107404 HAS SOPS 106921 HAS SOUS 104465 HAS SOUPS 103982 WITH SCORE 104089.404
AT ITER 979 NEW BEST:: SOT 250654 SOS 107302 HAS SOPS 106819 HAS SOUS 104363 HAS SOUPS 103880 WITH SCORE 103987.302
AT ITER 988 NEW BEST:: SOT 250334 SOS 106848 HAS SOPS 106365 HAS SOUS 103909 HAS SOUPS 103426 WITH SCORE 103532.848
AT ITER 995 NEW BEST:: SOT 250223 SOS 106657 HAS SOPS 106174 HAS SOUS 103718 HAS SOUPS 103235 WITH SCORE 103341.657
AT ITER 1001 NEW BEST:: SOT 250180 SOS 106515 HAS SOPS 106032 HAS SOUS 103576 HAS SOUPS 103093 WITH SCORE 103199.515
AT ITER 1008 NEW BEST:: SOT 250169 SOS 106375 HAS SOPS 105892 HAS SOUS 103543 HAS SOUPS 103060 WITH SCORE 103166.375
AT ITER 1014 NEW BEST:: SOT 250018 SOS 106125 HAS SOPS 105642 HAS SOUS 103443 HAS SOUPS 102960 WITH SCORE 103066.125
AT ITER 1016 NEW BEST:: SOT 249980 SOS 106056 HAS SOPS 105573 HAS SOUS 103230 HAS SOUPS 102747 WITH SCORE 102853.056
AT ITER 1019 NEW BEST:: SOT 249797 SOS 105823 HAS SOPS 105340 HAS SOUS 102997 HAS SOUPS 102514 WITH SCORE 102619.823
AT ITER 1029 NEW BEST:: SOT 249782 SOS 105755 HAS SOPS 105272 HAS SOUS 102952 HAS SOUPS 102469 WITH SCORE 102574.755
AT ITER 1030 NEW BEST:: SOT 249770 SOS 105745 HAS SOPS 105262 HAS SOUS 102916 HAS SOUPS 102433 WITH SCORE 102538.745
AT ITER 1031 NEW BEST:: SOT 249701 SOS 105638 HAS SOPS 105155 HAS SOUS 102809 HAS SOUPS 102326 WITH SCORE 102431.638
AT ITER 1043 NEW BEST:: SOT 249699 SOS 105610 HAS SOPS 105127 HAS SOUS 102781 HAS SOUPS 102298 WITH SCORE 102403.61
AT ITER 1046 NEW BEST:: SOT 249912 SOS 105568 HAS SOPS 105085 HAS SOUS 102739 HAS SOUPS 102256 WITH SCORE 102361.568
AT ITER 1048 NEW BEST:: SOT 249964 SOS 105505 HAS SOPS 105022 HAS SOUS 102676 HAS SOUPS 102193 WITH SCORE 102298.505
AT ITER 1049 NEW BEST:: SOT 249800 SOS 105341 HAS SOPS 104858 HAS SOUS 102512 HAS SOUPS 102029 WITH SCORE 102134.341
AT ITER 1051 NEW BEST:: SOT 249788 SOS 105323 HAS SOPS 104840 HAS SOUS 102494 HAS SOUPS 102011 WITH SCORE 102116.323
AT ITER 1052 NEW BEST:: SOT 249764 SOS 105248 HAS SOPS 104765 HAS SOUS 102419 HAS SOUPS 101936 WITH SCORE 102041.248
AT ITER 1056 NEW BEST:: SOT 249611 SOS 104526 HAS SOPS 104043 HAS SOUS 101965 HAS SOUPS 101482 WITH SCORE 101586.526
AT ITER 1057 NEW BEST:: SOT 249574 SOS 104501 HAS SOPS 104018 HAS SOUS 101940 HAS SOUPS 101457 WITH SCORE 101561.501
AT ITER 1060 NEW BEST:: SOT 249479 SOS 104364 HAS SOPS 103881 HAS SOUS 101817 HAS SOUPS 101334 WITH SCORE 101438.364
AT ITER 1062 NEW BEST:: SOT 249470 SOS 104355 HAS SOPS 103872 HAS SOUS 101808 HAS SOUPS 101325 WITH SCORE 101429.355
AT ITER 1071 NEW BEST:: SOT 249404 SOS 104223 HAS SOPS 103740 HAS SOUS 101709 HAS SOUPS 101226 WITH SCORE 101330.223
AT ITER 1072 NEW BEST:: SOT 248990 SOS 103671 HAS SOPS 103188 HAS SOUS 101157 HAS SOUPS 100674 WITH SCORE 100777.671
AT ITER 1074 NEW BEST:: SOT 248794 SOS 103047 HAS SOPS 102564 HAS SOUS 100525 HAS SOUPS 100042 WITH SCORE 100145.047
AT ITER 1076 NEW BEST:: SOT 248740 SOS 102911 HAS SOPS 102428 HAS SOUS 100413 HAS SOUPS 99930 WITH SCORE 100032.911
AT ITER 1081 NEW BEST:: SOT 248360 SOS 102431 HAS SOPS 101948 HAS SOUS 100055 HAS SOUPS 99572 WITH SCORE 99674.431
AT ITER 1091 NEW BEST:: SOT 248343 SOS 102380 HAS SOPS 101897 HAS SOUS 100004 HAS SOUPS 99521 WITH SCORE 99623.38
AT ITER 1097 NEW BEST:: SOT 248279 SOS 102252 HAS SOPS 101769 HAS SOUS 99876 HAS SOUPS 99393 WITH SCORE 99495.252
AT ITER 1100 NEW BEST:: SOT 248093 SOS 102190 HAS SOPS 101707 HAS SOUS 99814 HAS SOUPS 99331 WITH SCORE 99433.19
AT ITER 1101 NEW BEST:: SOT 247879 SOS 101919 HAS SOPS 101436 HAS SOUS 99543 HAS SOUPS 99060 WITH SCORE 99161.919
AT ITER 1102 NEW BEST:: SOT 247838 SOS 101755 HAS SOPS 101272 HAS SOUS 99461 HAS SOUPS 98978 WITH SCORE 99079.755
AT ITER 1110 NEW BEST:: SOT 247840 SOS 101710 HAS SOPS 101227 HAS SOUS 99414 HAS SOUPS 98931 WITH SCORE 99032.71
AT ITER 1111 NEW BEST:: SOT 247792 SOS 101534 HAS SOPS 101051 HAS SOUS 99237 HAS SOUPS 98754 WITH SCORE 98855.534
AT ITER 1114 NEW BEST:: SOT 247880 SOS 101469 HAS SOPS 100986 HAS SOUS 99225 HAS SOUPS 98742 WITH SCORE 98843.469
AT ITER 1118 NEW BEST:: SOT 247975 SOS 101179 HAS SOPS 100696 HAS SOUS 99088 HAS SOUPS 98605 WITH SCORE 98706.179
AT ITER 1119 NEW BEST:: SOT 247955 SOS 100915 HAS SOPS 100432 HAS SOUS 98824 HAS SOUPS 98341 WITH SCORE 98441.915
AT ITER 1120 NEW BEST:: SOT 247740 SOS 100554 HAS SOPS 100071 HAS SOUS 98389 HAS SOUPS 97906 WITH SCORE 98006.554
AT ITER 1124 NEW BEST:: SOT 247572 SOS 100050 HAS SOPS 99567 HAS SOUS 97885 HAS SOUPS 97402 WITH SCORE 97502.05
AT ITER 1128 NEW BEST:: SOT 246677 SOS 98955 HAS SOPS 98472 HAS SOUS 96790 HAS SOUPS 96307 WITH SCORE 96405.955
AT ITER 1131 NEW BEST:: SOT 246659 SOS 98919 HAS SOPS 98436 HAS SOUS 96754 HAS SOUPS 96271 WITH SCORE 96369.919
AT ITER 1135 NEW BEST:: SOT 246259 SOS 98362 HAS SOPS 97879 HAS SOUS 96024 HAS SOUPS 95541 WITH SCORE 95639.362
AT ITER 1137 NEW BEST:: SOT 246224 SOS 98207 HAS SOPS 97724 HAS SOUS 95879 HAS SOUPS 95396 WITH SCORE 95494.207
AT ITER 1145 NEW BEST:: SOT 246194 SOS 98147 HAS SOPS 97664 HAS SOUS 95819 HAS SOUPS 95336 WITH SCORE 95434.147
AT ITER 1147 NEW BEST:: SOT 246192 SOS 98145 HAS SOPS 97662 HAS SOUS 95817 HAS SOUPS 95334 WITH SCORE 95432.145
AT ITER 1150 NEW BEST:: SOT 246090 SOS 97907 HAS SOPS 97424 HAS SOUS 95631 HAS SOUPS 95148 WITH SCORE 95245.907
AT ITER 1155 NEW BEST:: SOT 246052 SOS 97869 HAS SOPS 97386 HAS SOUS 95593 HAS SOUPS 95110 WITH SCORE 95207.869
AT ITER 1156 NEW BEST:: SOT 246256 SOS 97555 HAS SOPS 97072 HAS SOUS 95483 HAS SOUPS 95000 WITH SCORE 95097.555
AT ITER 1159 NEW BEST:: SOT 246245 SOS 97522 HAS SOPS 97039 HAS SOUS 95472 HAS SOUPS 94989 WITH SCORE 95086.522
AT ITER 1161 NEW BEST:: SOT 246227 SOS 97455 HAS SOPS 96972 HAS SOUS 95413 HAS SOUPS 94930 WITH SCORE 95027.455
AT ITER 1164 NEW BEST:: SOT 246227 SOS 97407 HAS SOPS 96924 HAS SOUS 95365 HAS SOUPS 94882 WITH SCORE 94979.407
AT ITER 1165 NEW BEST:: SOT 246231 SOS 97415 HAS SOPS 96932 HAS SOUS 95340 HAS SOUPS 94857 WITH SCORE 94954.415
AT ITER 1166 NEW BEST:: SOT 245953 SOS 97093 HAS SOPS 96610 HAS SOUS 95018 HAS SOUPS 94535 WITH SCORE 94632.093
AT ITER 1170 NEW BEST:: SOT 245855 SOS 97125 HAS SOPS 96642 HAS SOUS 94889 HAS SOUPS 94406 WITH SCORE 94503.125
AT ITER 1172 NEW BEST:: SOT 245889 SOS 97079 HAS SOPS 96596 HAS SOUS 94843 HAS SOUPS 94360 WITH SCORE 94457.079
AT ITER 1181 NEW BEST:: SOT 245801 SOS 96839 HAS SOPS 96356 HAS SOUS 94649 HAS SOUPS 94166 WITH SCORE 94262.839
AT ITER 1186 NEW BEST:: SOT 245896 SOS 96794 HAS SOPS 96311 HAS SOUS 94604 HAS SOUPS 94121 WITH SCORE 94217.794
AT ITER 1194 NEW BEST:: SOT 245780 SOS 96591 HAS SOPS 96108 HAS SOUS 94401 HAS SOUPS 93918 WITH SCORE 94014.591
AT ITER 1195 NEW BEST:: SOT 245760 SOS 96196 HAS SOPS 95713 HAS SOUS 94088 HAS SOUPS 93605 WITH SCORE 93701.196
AT ITER 1201 NEW BEST:: SOT 245536 SOS 95909 HAS SOPS 95426 HAS SOUS 93801 HAS SOUPS 93318 WITH SCORE 93413.909
AT ITER 1206 NEW BEST:: SOT 245395 SOS 95768 HAS SOPS 95285 HAS SOUS 93660 HAS SOUPS 93177 WITH SCORE 93272.768
AT ITER 1216 NEW BEST:: SOT 245342 SOS 95707 HAS SOPS 95224 HAS SOUS 93599 HAS SOUPS 93116 WITH SCORE 93211.707
AT ITER 1221 NEW BEST:: SOT 245337 SOS 95702 HAS SOPS 95219 HAS SOUS 93594 HAS SOUPS 93111 WITH SCORE 93206.702
AT ITER 1228 NEW BEST:: SOT 245147 SOS 95303 HAS SOPS 94820 HAS SOUS 93195 HAS SOUPS 92712 WITH SCORE 92807.303
AT ITER 1231 NEW BEST:: SOT 245136 SOS 95292 HAS SOPS 94809 HAS SOUS 93184 HAS SOUPS 92701 WITH SCORE 92796.292
AT ITER 1234 NEW BEST:: SOT 245100 SOS 95244 HAS SOPS 94761 HAS SOUS 93136 HAS SOUPS 92653 WITH SCORE 92748.244
AT ITER 1236 NEW BEST:: SOT 244997 SOS 95013 HAS SOPS 94530 HAS SOUS 92937 HAS SOUPS 92454 WITH SCORE 92549.013
AT ITER 1239 NEW BEST:: SOT 244852 SOS 94868 HAS SOPS 94385 HAS SOUS 92792 HAS SOUPS 92309 WITH SCORE 92403.868
AT ITER 1241 NEW BEST:: SOT 244852 SOS 94868 HAS SOPS 94385 HAS SOUS 92717 HAS SOUPS 92234 WITH SCORE 92328.868
AT ITER 1244 NEW BEST:: SOT 244706 SOS 94609 HAS SOPS 94126 HAS SOUS 92458 HAS SOUPS 91975 WITH SCORE 92069.609
AT ITER 1248 NEW BEST:: SOT 244662 SOS 94521 HAS SOPS 94038 HAS SOUS 92370 HAS SOUPS 91887 WITH SCORE 91981.521
AT ITER 1251 NEW BEST:: SOT 244662 SOS 94410 HAS SOPS 93927 HAS SOUS 92259 HAS SOUPS 91776 WITH SCORE 91870.41
AT ITER 1263 NEW BEST:: SOT 244658 SOS 94309 HAS SOPS 93826 HAS SOUS 92026 HAS SOUPS 91543 WITH SCORE 91637.309
AT ITER 1271 NEW BEST:: SOT 244500 SOS 93915 HAS SOPS 93432 HAS SOUS 91632 HAS SOUPS 91149 WITH SCORE 91242.915
AT ITER 1273 NEW BEST:: SOT 244378 SOS 93671 HAS SOPS 93188 HAS SOUS 91388 HAS SOUPS 90905 WITH SCORE 90998.671
AT ITER 1276 NEW BEST:: SOT 244376 SOS 93515 HAS SOPS 93032 HAS SOUS 91232 HAS SOUPS 90749 WITH SCORE 90842.515
AT ITER 1278 NEW BEST:: SOT 244332 SOS 93349 HAS SOPS 92866 HAS SOUS 91144 HAS SOUPS 90661 WITH SCORE 90754.349
AT ITER 1280 NEW BEST:: SOT 244231 SOS 93295 HAS SOPS 92812 HAS SOUS 91090 HAS SOUPS 90607 WITH SCORE 90700.295
AT ITER 1283 NEW BEST:: SOT 244214 SOS 93295 HAS SOPS 92812 HAS SOUS 91073 HAS SOUPS 90590 WITH SCORE 90683.295
AT ITER 1298 NEW BEST:: SOT 244214 SOS 93200 HAS SOPS 92717 HAS SOUS 90978 HAS SOUPS 90495 WITH SCORE 90588.2
AT ITER 1299 NEW BEST:: SOT 244123 SOS 93032 HAS SOPS 92549 HAS SOUS 90901 HAS SOUPS 90418 WITH SCORE 90511.032
AT ITER 1314 NEW BEST:: SOT 243854 SOS 92431 HAS SOPS 91948 HAS SOUS 90379 HAS SOUPS 89896 WITH SCORE 89988.431
AT ITER 1319 NEW BEST:: SOT 243670 SOS 92238 HAS SOPS 91755 HAS SOUS 90186 HAS SOUPS 89703 WITH SCORE 89795.238
AT ITER 1321 NEW BEST:: SOT 243675 SOS 92162 HAS SOPS 91679 HAS SOUS 90134 HAS SOUPS 89651 WITH SCORE 89743.162
AT ITER 1326 NEW BEST:: SOT 243574 SOS 91596 HAS SOPS 91113 HAS SOUS 89568 HAS SOUPS 89085 WITH SCORE 89176.596
AT ITER 1338 NEW BEST:: SOT 243542 SOS 91505 HAS SOPS 91022 HAS SOUS 89477 HAS SOUPS 88994 WITH SCORE 89085.505
AT ITER 1340 NEW BEST:: SOT 243572 SOS 91289 HAS SOPS 90806 HAS SOUS 89348 HAS SOUPS 88865 WITH SCORE 88956.289
AT ITER 1347 NEW BEST:: SOT 243566 SOS 91270 HAS SOPS 90787 HAS SOUS 89330 HAS SOUPS 88847 WITH SCORE 88938.27
AT ITER 1353 NEW BEST:: SOT 243198 SOS 90508 HAS SOPS 90025 HAS SOUS 88591 HAS SOUPS 88108 WITH SCORE 88198.508
AT ITER 1357 NEW BEST:: SOT 243082 SOS 90392 HAS SOPS 89909 HAS SOUS 88475 HAS SOUPS 87992 WITH SCORE 88082.392
AT ITER 1360 NEW BEST:: SOT 243088 SOS 89795 HAS SOPS 89312 HAS SOUS 88155 HAS SOUPS 87672 WITH SCORE 87761.795
AT ITER 1365 NEW BEST:: SOT 243148 SOS 89783 HAS SOPS 89300 HAS SOUS 88143 HAS SOUPS 87660 WITH SCORE 87749.783
AT ITER 1375 NEW BEST:: SOT 243136 SOS 89777 HAS SOPS 89294 HAS SOUS 88137 HAS SOUPS 87654 WITH SCORE 87743.777
AT ITER 1380 NEW BEST:: SOT 242997 SOS 89277 HAS SOPS 88794 HAS SOUS 87637 HAS SOUPS 87154 WITH SCORE 87243.277
AT ITER 1395 NEW BEST:: SOT 242871 SOS 88846 HAS SOPS 88363 HAS SOUS 87328 HAS SOUPS 86845 WITH SCORE 86933.846
AT ITER 1406 NEW BEST:: SOT 242871 SOS 88831 HAS SOPS 88348 HAS SOUS 87313 HAS SOUPS 86830 WITH SCORE 86918.831
AT ITER 1408 NEW BEST:: SOT 242740 SOS 88758 HAS SOPS 88275 HAS SOUS 87240 HAS SOUPS 86757 WITH SCORE 86845.758
AT ITER 1409 NEW BEST:: SOT 242432 SOS 88108 HAS SOPS 87625 HAS SOUS 86590 HAS SOUPS 86107 WITH SCORE 86195.108
AT ITER 1410 NEW BEST:: SOT 242559 SOS 87869 HAS SOPS 87386 HAS SOUS 86308 HAS SOUPS 85825 WITH SCORE 85912.869
AT ITER 1411 NEW BEST:: SOT 242543 SOS 87853 HAS SOPS 87370 HAS SOUS 86292 HAS SOUPS 85809 WITH SCORE 85896.853
AT ITER 1414 NEW BEST:: SOT 242505 SOS 87815 HAS SOPS 87332 HAS SOUS 86254 HAS SOUPS 85771 WITH SCORE 85858.815
AT ITER 1418 NEW BEST:: SOT 242325 SOS 87729 HAS SOPS 87246 HAS SOUS 86168 HAS SOUPS 85685 WITH SCORE 85772.729
AT ITER 1422 NEW BEST:: SOT 242249 SOS 87425 HAS SOPS 86942 HAS SOUS 85864 HAS SOUPS 85381 WITH SCORE 85468.425
AT ITER 1425 NEW BEST:: SOT 242111 SOS 87185 HAS SOPS 86702 HAS SOUS 85645 HAS SOUPS 85162 WITH SCORE 85249.185
AT ITER 1430 NEW BEST:: SOT 241786 SOS 86452 HAS SOPS 85969 HAS SOUS 84912 HAS SOUPS 84429 WITH SCORE 84515.452
AT ITER 1442 NEW BEST:: SOT 241595 SOS 85757 HAS SOPS 85274 HAS SOUS 84281 HAS SOUPS 83798 WITH SCORE 83883.757
AT ITER 1445 NEW BEST:: SOT 241533 SOS 85726 HAS SOPS 85243 HAS SOUS 84250 HAS SOUPS 83767 WITH SCORE 83852.726
AT ITER 1447 NEW BEST:: SOT 241485 SOS 85516 HAS SOPS 85033 HAS SOUS 84040 HAS SOUPS 83557 WITH SCORE 83642.516
AT ITER 1449 NEW BEST:: SOT 240965 SOS 84294 HAS SOPS 83811 HAS SOUS 82773 HAS SOUPS 82290 WITH SCORE 82374.294
AT ITER 1454 NEW BEST:: SOT 240922 SOS 84228 HAS SOPS 83745 HAS SOUS 82707 HAS SOUPS 82224 WITH SCORE 82308.228
AT ITER 1477 NEW BEST:: SOT 240921 SOS 84209 HAS SOPS 83726 HAS SOUS 82688 HAS SOUPS 82205 WITH SCORE 82289.209
AT ITER 1481 NEW BEST:: SOT 240671 SOS 83931 HAS SOPS 83448 HAS SOUS 82410 HAS SOUPS 81927 WITH SCORE 82010.931
AT ITER 1485 NEW BEST:: SOT 240572 SOS 83769 HAS SOPS 83286 HAS SOUS 82248 HAS SOUPS 81765 WITH SCORE 81848.769
AT ITER 1487 NEW BEST:: SOT 240486 SOS 83636 HAS SOPS 83153 HAS SOUS 82115 HAS SOUPS 81632 WITH SCORE 81715.636
AT ITER 1489 NEW BEST:: SOT 240498 SOS 83622 HAS SOPS 83139 HAS SOUS 82045 HAS SOUPS 81562 WITH SCORE 81645.622
AT ITER 1493 NEW BEST:: SOT 240492 SOS 83584 HAS SOPS 83101 HAS SOUS 82007 HAS SOUPS 81524 WITH SCORE 81607.584
AT ITER 1517 NEW BEST:: SOT 240386 SOS 83356 HAS SOPS 82873 HAS SOUS 81779 HAS SOUPS 81296 WITH SCORE 81379.356
AT ITER 1520 NEW BEST:: SOT 240322 SOS 83036 HAS SOPS 82553 HAS SOUS 81459 HAS SOUPS 80976 WITH SCORE 81059.036
AT ITER 1530 NEW BEST:: SOT 240013 SOS 82322 HAS SOPS 81839 HAS SOUS 80828 HAS SOUPS 80345 WITH SCORE 80427.322
AT ITER 1536 NEW BEST:: SOT 240010 SOS 82310 HAS SOPS 81827 HAS SOUS 80819 HAS SOUPS 80336 WITH SCORE 80418.31
AT ITER 1545 NEW BEST:: SOT 239995 SOS 82235 HAS SOPS 81752 HAS SOUS 80744 HAS SOUPS 80261 WITH SCORE 80343.235
AT ITER 1547 NEW BEST:: SOT 239892 SOS 82038 HAS SOPS 81555 HAS SOUS 80547 HAS SOUPS 80064 WITH SCORE 80146.038
AT ITER 1548 NEW BEST:: SOT 239776 SOS 81690 HAS SOPS 81207 HAS SOUS 80257 HAS SOUPS 79774 WITH SCORE 79855.69
AT ITER 1550 NEW BEST:: SOT 239688 SOS 81514 HAS SOPS 81031 HAS SOUS 80081 HAS SOUPS 79598 WITH SCORE 79679.514
AT ITER 1552 NEW BEST:: SOT 239451 SOS 81193 HAS SOPS 80710 HAS SOUS 79712 HAS SOUPS 79229 WITH SCORE 79310.193
AT ITER 1554 NEW BEST:: SOT 239436 SOS 81097 HAS SOPS 80614 HAS SOUS 79616 HAS SOUPS 79133 WITH SCORE 79214.097
AT ITER 1556 NEW BEST:: SOT 239436 SOS 81069 HAS SOPS 80586 HAS SOUS 79588 HAS SOUPS 79105 WITH SCORE 79186.069
AT ITER 1557 NEW BEST:: SOT 238914 SOS 79826 HAS SOPS 79343 HAS SOUS 78503 HAS SOUPS 78020 WITH SCORE 78099.826
AT ITER 1567 NEW BEST:: SOT 238846 SOS 79690 HAS SOPS 79207 HAS SOUS 78367 HAS SOUPS 77884 WITH SCORE 77963.69
AT ITER 1571 NEW BEST:: SOT 238804 SOS 79648 HAS SOPS 79165 HAS SOUS 78325 HAS SOUPS 77842 WITH SCORE 77921.648
AT ITER 1575 NEW BEST:: SOT 238577 SOS 79421 HAS SOPS 78938 HAS SOUS 78098 HAS SOUPS 77615 WITH SCORE 77694.421
AT ITER 1582 NEW BEST:: SOT 238675 SOS 79396 HAS SOPS 78913 HAS SOUS 78046 HAS SOUPS 77563 WITH SCORE 77642.396
AT ITER 1590 NEW BEST:: SOT 238615 SOS 79381 HAS SOPS 78898 HAS SOUS 78031 HAS SOUPS 77548 WITH SCORE 77627.381
AT ITER 1598 NEW BEST:: SOT 238559 SOS 79314 HAS SOPS 78831 HAS SOUS 77899 HAS SOUPS 77416 WITH SCORE 77495.314
AT ITER 1601 NEW BEST:: SOT 238559 SOS 79124 HAS SOPS 78641 HAS SOUS 77709 HAS SOUPS 77226 WITH SCORE 77305.124
AT ITER 1606 NEW BEST:: SOT 238511 SOS 79071 HAS SOPS 78588 HAS SOUS 77645 HAS SOUPS 77162 WITH SCORE 77241.071
AT ITER 1608 NEW BEST:: SOT 238451 SOS 79007 HAS SOPS 78524 HAS SOUS 77581 HAS SOUPS 77098 WITH SCORE 77177.007
AT ITER 1625 NEW BEST:: SOT 238426 SOS 78888 HAS SOPS 78405 HAS SOUS 77462 HAS SOUPS 76979 WITH SCORE 77057.888
AT ITER 1632 NEW BEST:: SOT 238426 SOS 78846 HAS SOPS 78363 HAS SOUS 77420 HAS SOUPS 76937 WITH SCORE 77015.846
AT ITER 1633 NEW BEST:: SOT 237950 SOS 78047 HAS SOPS 77564 HAS SOUS 76621 HAS SOUPS 76138 WITH SCORE 76216.047
AT ITER 1636 NEW BEST:: SOT 237861 SOS 77880 HAS SOPS 77397 HAS SOUS 76454 HAS SOUPS 75971 WITH SCORE 76048.88
AT ITER 1637 NEW BEST:: SOT 237828 SOS 77805 HAS SOPS 77322 HAS SOUS 76380 HAS SOUPS 75897 WITH SCORE 75974.805
AT ITER 1642 NEW BEST:: SOT 237554 SOS 77539 HAS SOPS 77056 HAS SOUS 76114 HAS SOUPS 75631 WITH SCORE 75708.539
AT ITER 1643 NEW BEST:: SOT 237536 SOS 77533 HAS SOPS 77050 HAS SOUS 76108 HAS SOUPS 75625 WITH SCORE 75702.533
AT ITER 1670 NEW BEST:: SOT 237500 SOS 77473 HAS SOPS 76990 HAS SOUS 76048 HAS SOUPS 75565 WITH SCORE 75642.473
AT ITER 1687 NEW BEST:: SOT 237491 SOS 77461 HAS SOPS 76978 HAS SOUS 76036 HAS SOUPS 75553 WITH SCORE 75630.461
AT ITER 1688 NEW BEST:: SOT 237506 SOS 77332 HAS SOPS 76849 HAS SOUS 75907 HAS SOUPS 75424 WITH SCORE 75501.332
AT ITER 1694 NEW BEST:: SOT 237287 SOS 76942 HAS SOPS 76459 HAS SOUS 75469 HAS SOUPS 74986 WITH SCORE 75062.942
AT ITER 1696 NEW BEST:: SOT 237219 SOS 76806 HAS SOPS 76323 HAS SOUS 75333 HAS SOUPS 74850 WITH SCORE 74926.806
AT ITER 1699 NEW BEST:: SOT 237210 SOS 76756 HAS SOPS 76273 HAS SOUS 75283 HAS SOUPS 74800 WITH SCORE 74876.756
AT ITER 1703 NEW BEST:: SOT 237204 SOS 76750 HAS SOPS 76267 HAS SOUS 75265 HAS SOUPS 74782 WITH SCORE 74858.75
AT ITER 1719 NEW BEST:: SOT 237188 SOS 76726 HAS SOPS 76243 HAS SOUS 75241 HAS SOUPS 74758 WITH SCORE 74834.726
AT ITER 1721 NEW BEST:: SOT 236991 SOS 76401 HAS SOPS 75918 HAS SOUS 74916 HAS SOUPS 74433 WITH SCORE 74509.401
AT ITER 1728 NEW BEST:: SOT 236976 SOS 76309 HAS SOPS 75826 HAS SOUS 74851 HAS SOUPS 74368 WITH SCORE 74444.309
AT ITER 1774 NEW BEST:: SOT 236957 SOS 76252 HAS SOPS 75769 HAS SOUS 74832 HAS SOUPS 74349 WITH SCORE 74425.252
AT ITER 1781 NEW BEST:: SOT 236923 SOS 76184 HAS SOPS 75701 HAS SOUS 74764 HAS SOUPS 74281 WITH SCORE 74357.184
AT ITER 1786 NEW BEST:: SOT 236889 SOS 76150 HAS SOPS 75667 HAS SOUS 74730 HAS SOUPS 74247 WITH SCORE 74323.15
AT ITER 1789 NEW BEST:: SOT 236844 SOS 76102 HAS SOPS 75619 HAS SOUS 74682 HAS SOUPS 74199 WITH SCORE 74275.102
AT ITER 1794 NEW BEST:: SOT 236822 SOS 76069 HAS SOPS 75586 HAS SOUS 74649 HAS SOUPS 74166 WITH SCORE 74242.069
AT ITER 1808 NEW BEST:: SOT 236807 SOS 75938 HAS SOPS 75455 HAS SOUS 74518 HAS SOUPS 74035 WITH SCORE 74110.938
AT ITER 1814 NEW BEST:: SOT 236771 SOS 75683 HAS SOPS 75200 HAS SOUS 74356 HAS SOUPS 73873 WITH SCORE 73948.683
AT ITER 1819 NEW BEST:: SOT 236666 SOS 75543 HAS SOPS 75060 HAS SOUS 74216 HAS SOUPS 73733 WITH SCORE 73808.543
AT ITER 1825 NEW BEST:: SOT 236562 SOS 75174 HAS SOPS 74691 HAS SOUS 73797 HAS SOUPS 73314 WITH SCORE 73389.174
AT ITER 1828 NEW BEST:: SOT 236526 SOS 75127 HAS SOPS 74644 HAS SOUS 73750 HAS SOUPS 73267 WITH SCORE 73342.127
AT ITER 1831 NEW BEST:: SOT 236487 SOS 74676 HAS SOPS 74193 HAS SOUS 73477 HAS SOUPS 72994 WITH SCORE 73068.676
AT ITER 1833 NEW BEST:: SOT 236234 SOS 74016 HAS SOPS 73533 HAS SOUS 72817 HAS SOUPS 72334 WITH SCORE 72408.016
AT ITER 1839 NEW BEST:: SOT 236126 SOS 73861 HAS SOPS 73378 HAS SOUS 72662 HAS SOUPS 72179 WITH SCORE 72252.861
AT ITER 1841 NEW BEST:: SOT 236038 SOS 73714 HAS SOPS 73231 HAS SOUS 72515 HAS SOUPS 72032 WITH SCORE 72105.714
AT ITER 1848 NEW BEST:: SOT 236034 SOS 73706 HAS SOPS 73223 HAS SOUS 72507 HAS SOUPS 72024 WITH SCORE 72097.706
AT ITER 1858 NEW BEST:: SOT 235832 SOS 73077 HAS SOPS 72594 HAS SOUS 71878 HAS SOUPS 71395 WITH SCORE 71468.077
AT ITER 1862 NEW BEST:: SOT 235767 SOS 72901 HAS SOPS 72418 HAS SOUS 71702 HAS SOUPS 71219 WITH SCORE 71291.901
AT ITER 1863 NEW BEST:: SOT 235687 SOS 72761 HAS SOPS 72278 HAS SOUS 71562 HAS SOUPS 71079 WITH SCORE 71151.761
AT ITER 1865 NEW BEST:: SOT 235654 SOS 72629 HAS SOPS 72146 HAS SOUS 71430 HAS SOUPS 70947 WITH SCORE 71019.629
AT ITER 1866 NEW BEST:: SOT 235654 SOS 72451 HAS SOPS 71968 HAS SOUS 71252 HAS SOUPS 70769 WITH SCORE 70841.451
AT ITER 1867 NEW BEST:: SOT 235567 SOS 72445 HAS SOPS 71962 HAS SOUS 71246 HAS SOUPS 70763 WITH SCORE 70835.445
AT ITER 1870 NEW BEST:: SOT 235567 SOS 72441 HAS SOPS 71958 HAS SOUS 71242 HAS SOUPS 70759 WITH SCORE 70831.441
AT ITER 1875 NEW BEST:: SOT 235536 SOS 72433 HAS SOPS 71950 HAS SOUS 71234 HAS SOUPS 70751 WITH SCORE 70823.433
AT ITER 1877 NEW BEST:: SOT 235533 SOS 72429 HAS SOPS 71946 HAS SOUS 71230 HAS SOUPS 70747 WITH SCORE 70819.429
AT ITER 1882 NEW BEST:: SOT 235533 SOS 72389 HAS SOPS 71906 HAS SOUS 71210 HAS SOUPS 70727 WITH SCORE 70799.389
AT ITER 1891 NEW BEST:: SOT 235513 SOS 72333 HAS SOPS 71850 HAS SOUS 71154 HAS SOUPS 70671 WITH SCORE 70743.333
AT ITER 1892 NEW BEST:: SOT 235366 SOS 71987 HAS SOPS 71504 HAS SOUS 70808 HAS SOUPS 70325 WITH SCORE 70396.987
AT ITER 1907 NEW BEST:: SOT 235316 SOS 71912 HAS SOPS 71429 HAS SOUS 70733 HAS SOUPS 70250 WITH SCORE 70321.912
AT ITER 1908 NEW BEST:: SOT 235178 SOS 71712 HAS SOPS 71229 HAS SOUS 70533 HAS SOUPS 70050 WITH SCORE 70121.712
AT ITER 1911 NEW BEST:: SOT 235168 SOS 71533 HAS SOPS 71050 HAS SOUS 70453 HAS SOUPS 69970 WITH SCORE 70041.533
AT ITER 1913 NEW BEST:: SOT 235171 SOS 71532 HAS SOPS 71049 HAS SOUS 70413 HAS SOUPS 69930 WITH SCORE 70001.532
AT ITER 1916 NEW BEST:: SOT 235127 SOS 71444 HAS SOPS 70961 HAS SOUS 70336 HAS SOUPS 69853 WITH SCORE 69924.444
AT ITER 1920 NEW BEST:: SOT 235113 SOS 71402 HAS SOPS 70919 HAS SOUS 70294 HAS SOUPS 69811 WITH SCORE 69882.402
AT ITER 1926 NEW BEST:: SOT 235123 SOS 71387 HAS SOPS 70889 HAS SOUS 70308 HAS SOUPS 69810 WITH SCORE 69881.387
AT ITER 1954 NEW BEST:: SOT 235106 SOS 71303 HAS SOPS 70805 HAS SOUS 70224 HAS SOUPS 69726 WITH SCORE 69797.303
AT ITER 1955 NEW BEST:: SOT 235021 SOS 71219 HAS SOPS 70721 HAS SOUS 70140 HAS SOUPS 69642 WITH SCORE 69713.219
AT ITER 1958 NEW BEST:: SOT 234815 SOS 71016 HAS SOPS 70518 HAS SOUS 69982 HAS SOUPS 69484 WITH SCORE 69555.016
AT ITER 1964 NEW BEST:: SOT 234807 SOS 70992 HAS SOPS 70494 HAS SOUS 69958 HAS SOUPS 69460 WITH SCORE 69530.992
AT ITER 1966 NEW BEST:: SOT 234791 SOS 70943 HAS SOPS 70445 HAS SOUS 69909 HAS SOUPS 69411 WITH SCORE 69481.943
AT ITER 1970 NEW BEST:: SOT 234796 SOS 70948 HAS SOPS 70450 HAS SOUS 69888 HAS SOUPS 69390 WITH SCORE 69460.948
AT ITER 1972 NEW BEST:: SOT 234748 SOS 70895 HAS SOPS 70397 HAS SOUS 69835 HAS SOUPS 69337 WITH SCORE 69407.895
AT ITER 1976 NEW BEST:: SOT 234833 SOS 70825 HAS SOPS 70327 HAS SOUS 69794 HAS SOUPS 69296 WITH SCORE 69366.825
AT ITER 1981 NEW BEST:: SOT 234786 SOS 70661 HAS SOPS 70163 HAS SOUS 69630 HAS SOUPS 69132 WITH SCORE 69202.661
AT ITER 2000 NEW BEST:: SOT 234770 SOS 70633 HAS SOPS 70135 HAS SOUS 69602 HAS SOUPS 69104 WITH SCORE 69174.633
AT ITER 2009 NEW BEST:: SOT 234628 SOS 70585 HAS SOPS 70087 HAS SOUS 69588 HAS SOUPS 69090 WITH SCORE 69160.585
AT ITER 2012 NEW BEST:: SOT 234628 SOS 70564 HAS SOPS 70066 HAS SOUS 69567 HAS SOUPS 69069 WITH SCORE 69139.564
AT ITER 2037 NEW BEST:: SOT 234393 SOS 70016 HAS SOPS 69518 HAS SOUS 69019 HAS SOUPS 68521 WITH SCORE 68591.016
AT ITER 2039 NEW BEST:: SOT 234389 SOS 69821 HAS SOPS 69323 HAS SOUS 68847 HAS SOUPS 68349 WITH SCORE 68418.821
AT ITER 2040 NEW BEST:: SOT 234351 SOS 69783 HAS SOPS 69285 HAS SOUS 68809 HAS SOUPS 68311 WITH SCORE 68380.783
AT ITER 2046 NEW BEST:: SOT 234351 SOS 69779 HAS SOPS 69281 HAS SOUS 68797 HAS SOUPS 68299 WITH SCORE 68368.779
AT ITER 2047 NEW BEST:: SOT 234259 SOS 69331 HAS SOPS 68833 HAS SOUS 68349 HAS SOUPS 67851 WITH SCORE 67920.331
AT ITER 2053 NEW BEST:: SOT 234145 SOS 69199 HAS SOPS 68701 HAS SOUS 68217 HAS SOUPS 67719 WITH SCORE 67788.199
AT ITER 2056 NEW BEST:: SOT 234106 SOS 69043 HAS SOPS 68545 HAS SOUS 68007 HAS SOUPS 67509 WITH SCORE 67578.043
AT ITER 2065 NEW BEST:: SOT 234106 SOS 69041 HAS SOPS 68543 HAS SOUS 68007 HAS SOUPS 67509 WITH SCORE 67578.041
AT ITER 2069 NEW BEST:: SOT 234031 SOS 68741 HAS SOPS 68243 HAS SOUS 67684 HAS SOUPS 67186 WITH SCORE 67254.741
AT ITER 2070 NEW BEST:: SOT 233965 SOS 68493 HAS SOPS 67995 HAS SOUS 67430 HAS SOUPS 66932 WITH SCORE 67000.493
AT ITER 2074 NEW BEST:: SOT 233724 SOS 68334 HAS SOPS 67836 HAS SOUS 67271 HAS SOUPS 66773 WITH SCORE 66841.334
AT ITER 2078 NEW BEST:: SOT 233708 SOS 68232 HAS SOPS 67734 HAS SOUS 67169 HAS SOUPS 66671 WITH SCORE 66739.232
AT ITER 2079 NEW BEST:: SOT 233708 SOS 68219 HAS SOPS 67721 HAS SOUS 67156 HAS SOUPS 66658 WITH SCORE 66726.219
AT ITER 2084 NEW BEST:: SOT 233536 SOS 67961 HAS SOPS 67463 HAS SOUS 66898 HAS SOUPS 66400 WITH SCORE 66467.961
AT ITER 2094 NEW BEST:: SOT 233677 SOS 67947 HAS SOPS 67449 HAS SOUS 66850 HAS SOUPS 66352 WITH SCORE 66419.947
AT ITER 2096 NEW BEST:: SOT 233639 SOS 67871 HAS SOPS 67373 HAS SOUS 66774 HAS SOUPS 66276 WITH SCORE 66343.871
AT ITER 2109 NEW BEST:: SOT 233619 SOS 67841 HAS SOPS 67343 HAS SOUS 66744 HAS SOUPS 66246 WITH SCORE 66313.841
AT ITER 2117 NEW BEST:: SOT 233563 SOS 67692 HAS SOPS 67194 HAS SOUS 66595 HAS SOUPS 66097 WITH SCORE 66164.692
AT ITER 2118 NEW BEST:: SOT 233736 SOS 67525 HAS SOPS 67027 HAS SOUS 66454 HAS SOUPS 65956 WITH SCORE 66023.525
AT ITER 2125 NEW BEST:: SOT 233728 SOS 67513 HAS SOPS 67015 HAS SOUS 66442 HAS SOUPS 65944 WITH SCORE 66011.513
AT ITER 2140 NEW BEST:: SOT 233505 SOS 67228 HAS SOPS 66730 HAS SOUS 66157 HAS SOUPS 65659 WITH SCORE 65726.228
AT ITER 2145 NEW BEST:: SOT 233537 SOS 67296 HAS SOPS 66798 HAS SOUS 66133 HAS SOUPS 65635 WITH SCORE 65702.296
AT ITER 2148 NEW BEST:: SOT 233386 SOS 67018 HAS SOPS 66520 HAS SOUS 65878 HAS SOUPS 65380 WITH SCORE 65447.018
AT ITER 2157 NEW BEST:: SOT 233400 SOS 66705 HAS SOPS 66207 HAS SOUS 65673 HAS SOUPS 65175 WITH SCORE 65241.705
AT ITER 2159 NEW BEST:: SOT 233400 SOS 66705 HAS SOPS 66207 HAS SOUS 65648 HAS SOUPS 65150 WITH SCORE 65216.705
AT ITER 2162 NEW BEST:: SOT 233198 SOS 66575 HAS SOPS 66077 HAS SOUS 65518 HAS SOUPS 65020 WITH SCORE 65086.575
AT ITER 2167 NEW BEST:: SOT 232959 SOS 66283 HAS SOPS 65785 HAS SOUS 65191 HAS SOUPS 64693 WITH SCORE 64759.283
AT ITER 2175 NEW BEST:: SOT 232929 SOS 66193 HAS SOPS 65695 HAS SOUS 65131 HAS SOUPS 64633 WITH SCORE 64699.193
AT ITER 2180 NEW BEST:: SOT 232819 SOS 65943 HAS SOPS 65445 HAS SOUS 64871 HAS SOUPS 64373 WITH SCORE 64438.943
AT ITER 2183 NEW BEST:: SOT 232755 SOS 65823 HAS SOPS 65325 HAS SOUS 64751 HAS SOUPS 64253 WITH SCORE 64318.823
AT ITER 2185 NEW BEST:: SOT 232731 SOS 65799 HAS SOPS 65301 HAS SOUS 64727 HAS SOUPS 64229 WITH SCORE 64294.799
AT ITER 2186 NEW BEST:: SOT 232662 SOS 65751 HAS SOPS 65253 HAS SOUS 64679 HAS SOUPS 64181 WITH SCORE 64246.751
AT ITER 2203 NEW BEST:: SOT 232519 SOS 65714 HAS SOPS 65216 HAS SOUS 64642 HAS SOUPS 64144 WITH SCORE 64209.714
AT ITER 2213 NEW BEST:: SOT 232445 SOS 65591 HAS SOPS 65093 HAS SOUS 64519 HAS SOUPS 64021 WITH SCORE 64086.591
AT ITER 2217 NEW BEST:: SOT 232381 SOS 65241 HAS SOPS 64743 HAS SOUS 64169 HAS SOUPS 63671 WITH SCORE 63736.241
AT ITER 2224 NEW BEST:: SOT 232312 SOS 65206 HAS SOPS 64708 HAS SOUS 64134 HAS SOUPS 63636 WITH SCORE 63701.206
AT ITER 2226 NEW BEST:: SOT 232174 SOS 65189 HAS SOPS 64691 HAS SOUS 64117 HAS SOUPS 63619 WITH SCORE 63684.189
AT ITER 2232 NEW BEST:: SOT 232167 SOS 65050 HAS SOPS 64552 HAS SOUS 64070 HAS SOUPS 63572 WITH SCORE 63637.05
AT ITER 2233 NEW BEST:: SOT 232163 SOS 65046 HAS SOPS 64548 HAS SOUS 64066 HAS SOUPS 63568 WITH SCORE 63633.046
AT ITER 2241 NEW BEST:: SOT 231912 SOS 64727 HAS SOPS 64229 HAS SOUS 63747 HAS SOUPS 63249 WITH SCORE 63313.727
AT ITER 2263 NEW BEST:: SOT 231839 SOS 64582 HAS SOPS 64084 HAS SOUS 63602 HAS SOUPS 63104 WITH SCORE 63168.582
AT ITER 2270 NEW BEST:: SOT 231803 SOS 64546 HAS SOPS 64048 HAS SOUS 63566 HAS SOUPS 63068 WITH SCORE 63132.546
AT ITER 2273 NEW BEST:: SOT 231721 SOS 64382 HAS SOPS 63884 HAS SOUS 63402 HAS SOUPS 62904 WITH SCORE 62968.382
AT ITER 2276 NEW BEST:: SOT 231466 SOS 64042 HAS SOPS 63544 HAS SOUS 63062 HAS SOUPS 62564 WITH SCORE 62628.042
AT ITER 2289 NEW BEST:: SOT 231407 SOS 63891 HAS SOPS 63393 HAS SOUS 62911 HAS SOUPS 62413 WITH SCORE 62476.891
AT ITER 2296 NEW BEST:: SOT 231465 SOS 63844 HAS SOPS 63346 HAS SOUS 62864 HAS SOUPS 62366 WITH SCORE 62429.844
AT ITER 2302 NEW BEST:: SOT 231216 SOS 63353 HAS SOPS 62855 HAS SOUS 62373 HAS SOUPS 61875 WITH SCORE 61938.353
AT ITER 2305 NEW BEST:: SOT 231087 SOS 63025 HAS SOPS 62527 HAS SOUS 62045 HAS SOUPS 61547 WITH SCORE 61610.025
AT ITER 2316 NEW BEST:: SOT 231065 SOS 63003 HAS SOPS 62505 HAS SOUS 62023 HAS SOUPS 61525 WITH SCORE 61588.003
AT ITER 2318 NEW BEST:: SOT 230995 SOS 62814 HAS SOPS 62316 HAS SOUS 61858 HAS SOUPS 61360 WITH SCORE 61422.814
AT ITER 2319 NEW BEST:: SOT 230939 SOS 62750 HAS SOPS 62252 HAS SOUS 61794 HAS SOUPS 61296 WITH SCORE 61358.75
AT ITER 2324 NEW BEST:: SOT 230941 SOS 62602 HAS SOPS 62104 HAS SOUS 61646 HAS SOUPS 61148 WITH SCORE 61210.602
AT ITER 2332 NEW BEST:: SOT 230932 SOS 62557 HAS SOPS 62059 HAS SOUS 61601 HAS SOUPS 61103 WITH SCORE 61165.557
AT ITER 2345 NEW BEST:: SOT 230820 SOS 62333 HAS SOPS 61835 HAS SOUS 61377 HAS SOUPS 60879 WITH SCORE 60941.333
AT ITER 2348 NEW BEST:: SOT 230697 SOS 62163 HAS SOPS 61665 HAS SOUS 61158 HAS SOUPS 60660 WITH SCORE 60722.163
AT ITER 2350 NEW BEST:: SOT 230561 SOS 62115 HAS SOPS 61617 HAS SOUS 61110 HAS SOUPS 60612 WITH SCORE 60674.115
AT ITER 2353 NEW BEST:: SOT 230514 SOS 62022 HAS SOPS 61524 HAS SOUS 61017 HAS SOUPS 60519 WITH SCORE 60581.022
AT ITER 2362 NEW BEST:: SOT 230551 SOS 61973 HAS SOPS 61475 HAS SOUS 61009 HAS SOUPS 60511 WITH SCORE 60572.973
AT ITER 2364 NEW BEST:: SOT 230508 SOS 61838 HAS SOPS 61340 HAS SOUS 60923 HAS SOUPS 60425 WITH SCORE 60486.838
AT ITER 2376 NEW BEST:: SOT 230255 SOS 61340 HAS SOPS 60842 HAS SOUS 60425 HAS SOUPS 59927 WITH SCORE 59988.34
AT ITER 2384 NEW BEST:: SOT 230239 SOS 61299 HAS SOPS 60801 HAS SOUS 60384 HAS SOUPS 59886 WITH SCORE 59947.299
AT ITER 2391 NEW BEST:: SOT 230236 SOS 61290 HAS SOPS 60792 HAS SOUS 60375 HAS SOUPS 59877 WITH SCORE 59938.29
AT ITER 2416 NEW BEST:: SOT 230185 SOS 61201 HAS SOPS 60703 HAS SOUS 60286 HAS SOUPS 59788 WITH SCORE 59849.201
AT ITER 2417 NEW BEST:: SOT 230172 SOS 61183 HAS SOPS 60685 HAS SOUS 60268 HAS SOUPS 59770 WITH SCORE 59831.183
AT ITER 2448 NEW BEST:: SOT 230003 SOS 61000 HAS SOPS 60502 HAS SOUS 60085 HAS SOUPS 59587 WITH SCORE 59648.0
AT ITER 2453 NEW BEST:: SOT 229914 SOS 60819 HAS SOPS 60321 HAS SOUS 59904 HAS SOUPS 59406 WITH SCORE 59466.819
AT ITER 2463 NEW BEST:: SOT 229970 SOS 60863 HAS SOPS 60365 HAS SOUS 59880 HAS SOUPS 59382 WITH SCORE 59442.863
AT ITER 2469 NEW BEST:: SOT 229959 SOS 60852 HAS SOPS 60354 HAS SOUS 59869 HAS SOUPS 59371 WITH SCORE 59431.852
AT ITER 2479 NEW BEST:: SOT 229968 SOS 60845 HAS SOPS 60347 HAS SOUS 59862 HAS SOUPS 59364 WITH SCORE 59424.845
AT ITER 2481 NEW BEST:: SOT 229908 SOS 60705 HAS SOPS 60207 HAS SOUS 59722 HAS SOUPS 59224 WITH SCORE 59284.705
AT ITER 2483 NEW BEST:: SOT 229911 SOS 60655 HAS SOPS 60157 HAS SOUS 59669 HAS SOUPS 59171 WITH SCORE 59231.655
AT ITER 2488 NEW BEST:: SOT 229878 SOS 60611 HAS SOPS 60113 HAS SOUS 59625 HAS SOUPS 59127 WITH SCORE 59187.611
AT ITER 2499 NEW BEST:: SOT 229841 SOS 60564 HAS SOPS 60066 HAS SOUS 59578 HAS SOUPS 59080 WITH SCORE 59140.564
AT ITER 2509 NEW BEST:: SOT 229687 SOS 60173 HAS SOPS 59675 HAS SOUS 59187 HAS SOUPS 58689 WITH SCORE 58749.173
AT ITER 2526 NEW BEST:: SOT 229561 SOS 59875 HAS SOPS 59377 HAS SOUS 58873 HAS SOUPS 58375 WITH SCORE 58434.875
AT ITER 2541 NEW BEST:: SOT 229543 SOS 59839 HAS SOPS 59341 HAS SOUS 58837 HAS SOUPS 58339 WITH SCORE 58398.839
AT ITER 2543 NEW BEST:: SOT 229498 SOS 59711 HAS SOPS 59213 HAS SOUS 58754 HAS SOUPS 58256 WITH SCORE 58315.711
AT ITER 2580 NEW BEST:: SOT 229516 SOS 59702 HAS SOPS 59204 HAS SOUS 58754 HAS SOUPS 58256 WITH SCORE 58315.702
AT ITER 2589 NEW BEST:: SOT 229506 SOS 59744 HAS SOPS 59246 HAS SOUS 58724 HAS SOUPS 58226 WITH SCORE 58285.744
AT ITER 2617 NEW BEST:: SOT 229492 SOS 59730 HAS SOPS 59232 HAS SOUS 58710 HAS SOUPS 58212 WITH SCORE 58271.73
AT ITER 2630 NEW BEST:: SOT 229482 SOS 59700 HAS SOPS 59202 HAS SOUS 58680 HAS SOUPS 58182 WITH SCORE 58241.7
AT ITER 2648 NEW BEST:: SOT 229481 SOS 59705 HAS SOPS 59207 HAS SOUS 58656 HAS SOUPS 58158 WITH SCORE 58217.705
AT ITER 2654 NEW BEST:: SOT 229423 SOS 59647 HAS SOPS 59149 HAS SOUS 58598 HAS SOUPS 58100 WITH SCORE 58159.647
AT ITER 2658 NEW BEST:: SOT 229410 SOS 59595 HAS SOPS 59097 HAS SOUS 58477 HAS SOUPS 57979 WITH SCORE 58038.595
AT ITER 2666 NEW BEST:: SOT 229388 SOS 59571 HAS SOPS 59073 HAS SOUS 58446 HAS SOUPS 57948 WITH SCORE 58007.571
AT ITER 2669 NEW BEST:: SOT 229348 SOS 59491 HAS SOPS 58993 HAS SOUS 58366 HAS SOUPS 57868 WITH SCORE 57927.491
AT ITER 2672 NEW BEST:: SOT 229348 SOS 59463 HAS SOPS 58965 HAS SOUS 58338 HAS SOUPS 57840 WITH SCORE 57899.463
AT ITER 2685 NEW BEST:: SOT 229309 SOS 59307 HAS SOPS 58809 HAS SOUS 58273 HAS SOUPS 57775 WITH SCORE 57834.307
AT ITER 2694 NEW BEST:: SOT 229293 SOS 59207 HAS SOPS 58709 HAS SOUS 58199 HAS SOUPS 57701 WITH SCORE 57760.207
AT ITER 2701 NEW BEST:: SOT 229255 SOS 59150 HAS SOPS 58652 HAS SOUS 58071 HAS SOUPS 57573 WITH SCORE 57632.15
AT ITER 2702 NEW BEST:: SOT 229074 SOS 58951 HAS SOPS 58453 HAS SOUS 57872 HAS SOUPS 57374 WITH SCORE 57432.951
AT ITER 2710 NEW BEST:: SOT 228916 SOS 58584 HAS SOPS 58086 HAS SOUS 57553 HAS SOUPS 57055 WITH SCORE 57113.584
AT ITER 2720 NEW BEST:: SOT 228890 SOS 58532 HAS SOPS 58034 HAS SOUS 57501 HAS SOUPS 57003 WITH SCORE 57061.532
AT ITER 2721 NEW BEST:: SOT 228896 SOS 58544 HAS SOPS 58046 HAS SOUS 57466 HAS SOUPS 56968 WITH SCORE 57026.544
AT ITER 2733 NEW BEST:: SOT 228805 SOS 58258 HAS SOPS 57760 HAS SOUS 57284 HAS SOUPS 56786 WITH SCORE 56844.258
AT ITER 2740 NEW BEST:: SOT 228745 SOS 58198 HAS SOPS 57700 HAS SOUS 57224 HAS SOUPS 56726 WITH SCORE 56784.198
AT ITER 2747 NEW BEST:: SOT 228739 SOS 58185 HAS SOPS 57687 HAS SOUS 57197 HAS SOUPS 56699 WITH SCORE 56757.185
AT ITER 2764 NEW BEST:: SOT 228503 SOS 57795 HAS SOPS 57297 HAS SOUS 56807 HAS SOUPS 56309 WITH SCORE 56366.795
AT ITER 2771 NEW BEST:: SOT 228458 SOS 57630 HAS SOPS 57132 HAS SOUS 56642 HAS SOUPS 56144 WITH SCORE 56201.63
AT ITER 2775 NEW BEST:: SOT 228180 SOS 57182 HAS SOPS 56684 HAS SOUS 56194 HAS SOUPS 55696 WITH SCORE 55753.182
AT ITER 2779 NEW BEST:: SOT 228140 SOS 57118 HAS SOPS 56620 HAS SOUS 56134 HAS SOUPS 55636 WITH SCORE 55693.118
AT ITER 2783 NEW BEST:: SOT 228066 SOS 56857 HAS SOPS 56359 HAS SOUS 55926 HAS SOUPS 55428 WITH SCORE 55484.857
AT ITER 2796 NEW BEST:: SOT 228024 SOS 56787 HAS SOPS 56289 HAS SOUS 55856 HAS SOUPS 55358 WITH SCORE 55414.787
AT ITER 2818 NEW BEST:: SOT 228022 SOS 56772 HAS SOPS 56274 HAS SOUS 55841 HAS SOUPS 55343 WITH SCORE 55399.772
AT ITER 2819 NEW BEST:: SOT 228012 SOS 56751 HAS SOPS 56253 HAS SOUS 55830 HAS SOUPS 55332 WITH SCORE 55388.751
AT ITER 2828 NEW BEST:: SOT 227965 SOS 56655 HAS SOPS 56157 HAS SOUS 55734 HAS SOUPS 55236 WITH SCORE 55292.655
AT ITER 2834 NEW BEST:: SOT 227939 SOS 56524 HAS SOPS 56026 HAS SOUS 55603 HAS SOUPS 55105 WITH SCORE 55161.524
AT ITER 2856 NEW BEST:: SOT 228014 SOS 56453 HAS SOPS 55955 HAS SOUS 55532 HAS SOUPS 55034 WITH SCORE 55090.453
AT ITER 2858 NEW BEST:: SOT 228008 SOS 56470 HAS SOPS 55972 HAS SOUS 55514 HAS SOUPS 55016 WITH SCORE 55072.47
AT ITER 2860 NEW BEST:: SOT 227972 SOS 56414 HAS SOPS 55916 HAS SOUS 55458 HAS SOUPS 54960 WITH SCORE 55016.414
AT ITER 2873 NEW BEST:: SOT 227946 SOS 56307 HAS SOPS 55809 HAS SOUS 55351 HAS SOUPS 54853 WITH SCORE 54909.307
AT ITER 2874 NEW BEST:: SOT 227962 SOS 56289 HAS SOPS 55791 HAS SOUS 55339 HAS SOUPS 54841 WITH SCORE 54897.289
AT ITER 2882 NEW BEST:: SOT 227956 SOS 56274 HAS SOPS 55776 HAS SOUS 55324 HAS SOUPS 54826 WITH SCORE 54882.274
AT ITER 2885 NEW BEST:: SOT 227904 SOS 56227 HAS SOPS 55729 HAS SOUS 55277 HAS SOUPS 54779 WITH SCORE 54835.227
AT ITER 2902 NEW BEST:: SOT 227826 SOS 56118 HAS SOPS 55620 HAS SOUS 55168 HAS SOUPS 54670 WITH SCORE 54726.118
AT ITER 2938 NEW BEST:: SOT 227760 SOS 56018 HAS SOPS 55520 HAS SOUS 55068 HAS SOUPS 54570 WITH SCORE 54626.018
AT ITER 2942 NEW BEST:: SOT 227760 SOS 56017 HAS SOPS 55519 HAS SOUS 55067 HAS SOUPS 54569 WITH SCORE 54625.017
AT ITER 2950 NEW BEST:: SOT 227757 SOS 56014 HAS SOPS 55516 HAS SOUS 55064 HAS SOUPS 54566 WITH SCORE 54622.014
AT ITER 2976 NEW BEST:: SOT 227757 SOS 55996 HAS SOPS 55498 HAS SOUS 55028 HAS SOUPS 54530 WITH SCORE 54585.996
AT ITER 2983 NEW BEST:: SOT 227666 SOS 55940 HAS SOPS 55442 HAS SOUS 54965 HAS SOUPS 54467 WITH SCORE 54522.94
AT ITER 2992 NEW BEST:: SOT 227745 SOS 55901 HAS SOPS 55403 HAS SOUS 54926 HAS SOUPS 54428 WITH SCORE 54483.901
AT ITER 2995 NEW BEST:: SOT 227721 SOS 55820 HAS SOPS 55322 HAS SOUS 54895 HAS SOUPS 54397 WITH SCORE 54452.82
AT ITER 2996 NEW BEST:: SOT 227686 SOS 55785 HAS SOPS 55287 HAS SOUS 54860 HAS SOUPS 54362 WITH SCORE 54417.785
AT ITER 2998 NEW BEST:: SOT 227669 SOS 55585 HAS SOPS 55087 HAS SOUS 54660 HAS SOUPS 54162 WITH SCORE 54217.585
AT ITER 3006 NEW BEST:: SOT 227626 SOS 55515 HAS SOPS 55017 HAS SOUS 54561 HAS SOUPS 54063 WITH SCORE 54118.515
AT ITER 3007 NEW BEST:: SOT 227529 SOS 55460 HAS SOPS 54962 HAS SOUS 54506 HAS SOUPS 54008 WITH SCORE 54063.46
AT ITER 3037 NEW BEST:: SOT 227485 SOS 55394 HAS SOPS 54896 HAS SOUS 54440 HAS SOUPS 53942 WITH SCORE 53997.394
AT ITER 3041 NEW BEST:: SOT 227423 SOS 55315 HAS SOPS 54817 HAS SOUS 54361 HAS SOUPS 53863 WITH SCORE 53918.315
AT ITER 3050 NEW BEST:: SOT 227401 SOS 55287 HAS SOPS 54789 HAS SOUS 54323 HAS SOUPS 53825 WITH SCORE 53880.287
AT ITER 3054 NEW BEST:: SOT 227206 SOS 54959 HAS SOPS 54461 HAS SOUS 54023 HAS SOUPS 53525 WITH SCORE 53579.959
AT ITER 3060 NEW BEST:: SOT 227194 SOS 54885 HAS SOPS 54387 HAS SOUS 53883 HAS SOUPS 53385 WITH SCORE 53439.885
AT ITER 3067 NEW BEST:: SOT 227054 SOS 54661 HAS SOPS 54163 HAS SOUS 53659 HAS SOUPS 53161 WITH SCORE 53215.661
AT ITER 3073 NEW BEST:: SOT 227092 SOS 54580 HAS SOPS 54082 HAS SOUS 53611 HAS SOUPS 53113 WITH SCORE 53167.58
AT ITER 3090 NEW BEST:: SOT 227085 SOS 54573 HAS SOPS 54075 HAS SOUS 53604 HAS SOUPS 53106 WITH SCORE 53160.573
AT ITER 3108 NEW BEST:: SOT 227019 SOS 54485 HAS SOPS 53987 HAS SOUS 53516 HAS SOUPS 53018 WITH SCORE 53072.485
AT ITER 3120 NEW BEST:: SOT 227018 SOS 54482 HAS SOPS 53984 HAS SOUS 53513 HAS SOUPS 53015 WITH SCORE 53069.482
AT ITER 3133 NEW BEST:: SOT 226879 SOS 54160 HAS SOPS 53662 HAS SOUS 53252 HAS SOUPS 52754 WITH SCORE 52808.16
AT ITER 3142 NEW BEST:: SOT 226871 SOS 54144 HAS SOPS 53646 HAS SOUS 53236 HAS SOUPS 52738 WITH SCORE 52792.144
AT ITER 3144 NEW BEST:: SOT 226863 SOS 54132 HAS SOPS 53634 HAS SOUS 53209 HAS SOUPS 52711 WITH SCORE 52765.132
AT ITER 3152 NEW BEST:: SOT 226853 SOS 54122 HAS SOPS 53624 HAS SOUS 53179 HAS SOUPS 52681 WITH SCORE 52735.122
AT ITER 3167 NEW BEST:: SOT 226568 SOS 53651 HAS SOPS 53153 HAS SOUS 52675 HAS SOUPS 52177 WITH SCORE 52230.651
AT ITER 3181 NEW BEST:: SOT 226447 SOS 53474 HAS SOPS 52976 HAS SOUS 52498 HAS SOUPS 52000 WITH SCORE 52053.474
AT ITER 3182 NEW BEST:: SOT 226349 SOS 53355 HAS SOPS 52857 HAS SOUS 52379 HAS SOUPS 51881 WITH SCORE 51934.355
AT ITER 3196 NEW BEST:: SOT 226329 SOS 53339 HAS SOPS 52841 HAS SOUS 52365 HAS SOUPS 51867 WITH SCORE 51920.339
AT ITER 3211 NEW BEST:: SOT 226159 SOS 53173 HAS SOPS 52675 HAS SOUS 52191 HAS SOUPS 51693 WITH SCORE 51746.173
AT ITER 3218 NEW BEST:: SOT 226091 SOS 53033 HAS SOPS 52535 HAS SOUS 52051 HAS SOUPS 51553 WITH SCORE 51606.033
AT ITER 3232 NEW BEST:: SOT 226045 SOS 52961 HAS SOPS 52463 HAS SOUS 51953 HAS SOUPS 51455 WITH SCORE 51507.961
AT ITER 3243 NEW BEST:: SOT 225950 SOS 52869 HAS SOPS 52371 HAS SOUS 51848 HAS SOUPS 51350 WITH SCORE 51402.869
AT ITER 3262 NEW BEST:: SOT 225946 SOS 52861 HAS SOPS 52363 HAS SOUS 51840 HAS SOUPS 51342 WITH SCORE 51394.861
AT ITER 3267 NEW BEST:: SOT 225917 SOS 52717 HAS SOPS 52219 HAS SOUS 51821 HAS SOUPS 51323 WITH SCORE 51375.717
AT ITER 3285 NEW BEST:: SOT 225899 SOS 52690 HAS SOPS 52192 HAS SOUS 51784 HAS SOUPS 51286 WITH SCORE 51338.69
AT ITER 3291 NEW BEST:: SOT 225848 SOS 52629 HAS SOPS 52131 HAS SOUS 51762 HAS SOUPS 51264 WITH SCORE 51316.629
AT ITER 3301 NEW BEST:: SOT 225839 SOS 52571 HAS SOPS 52073 HAS SOUS 51704 HAS SOUPS 51206 WITH SCORE 51258.571
AT ITER 3309 NEW BEST:: SOT 225782 SOS 52511 HAS SOPS 52013 HAS SOUS 51644 HAS SOUPS 51146 WITH SCORE 51198.511
AT ITER 3315 NEW BEST:: SOT 225805 SOS 52399 HAS SOPS 51901 HAS SOUS 51507 HAS SOUPS 51009 WITH SCORE 51061.399
AT ITER 3325 NEW BEST:: SOT 225773 SOS 52367 HAS SOPS 51869 HAS SOUS 51475 HAS SOUPS 50977 WITH SCORE 51029.367
AT ITER 3328 NEW BEST:: SOT 225731 SOS 52311 HAS SOPS 51813 HAS SOUS 51419 HAS SOUPS 50921 WITH SCORE 50973.311
AT ITER 3344 NEW BEST:: SOT 225668 SOS 52257 HAS SOPS 51759 HAS SOUS 51365 HAS SOUPS 50867 WITH SCORE 50919.257
AT ITER 3348 NEW BEST:: SOT 225644 SOS 52221 HAS SOPS 51723 HAS SOUS 51329 HAS SOUPS 50831 WITH SCORE 50883.221
AT ITER 3358 NEW BEST:: SOT 225644 SOS 52039 HAS SOPS 51541 HAS SOUS 51147 HAS SOUPS 50649 WITH SCORE 50701.039
AT ITER 3387 NEW BEST:: SOT 225646 SOS 52038 HAS SOPS 51540 HAS SOUS 51146 HAS SOUPS 50648 WITH SCORE 50700.038
AT ITER 3391 NEW BEST:: SOT 225643 SOS 52034 HAS SOPS 51536 HAS SOUS 51142 HAS SOUPS 50644 WITH SCORE 50696.034
AT ITER 3392 NEW BEST:: SOT 225678 SOS 52026 HAS SOPS 51528 HAS SOUS 51134 HAS SOUPS 50636 WITH SCORE 50688.026
AT ITER 3414 NEW BEST:: SOT 225552 SOS 51927 HAS SOPS 51429 HAS SOUS 51035 HAS SOUPS 50537 WITH SCORE 50588.927
AT ITER 3425 NEW BEST:: SOT 225463 SOS 51726 HAS SOPS 51228 HAS SOUS 50834 HAS SOUPS 50336 WITH SCORE 50387.726
AT ITER 3457 NEW BEST:: SOT 225484 SOS 51698 HAS SOPS 51200 HAS SOUS 50785 HAS SOUPS 50287 WITH SCORE 50338.698
AT ITER 3467 NEW BEST:: SOT 225484 SOS 51687 HAS SOPS 51189 HAS SOUS 50785 HAS SOUPS 50287 WITH SCORE 50338.687
AT ITER 3468 NEW BEST:: SOT 225454 SOS 51613 HAS SOPS 51115 HAS SOUS 50711 HAS SOUPS 50213 WITH SCORE 50264.613
AT ITER 3469 NEW BEST:: SOT 225449 SOS 51585 HAS SOPS 51087 HAS SOUS 50683 HAS SOUPS 50185 WITH SCORE 50236.585
AT ITER 3472 NEW BEST:: SOT 225411 SOS 51466 HAS SOPS 50968 HAS SOUS 50569 HAS SOUPS 50071 WITH SCORE 50122.466
AT ITER 3473 NEW BEST:: SOT 225406 SOS 51456 HAS SOPS 50958 HAS SOUS 50559 HAS SOUPS 50061 WITH SCORE 50112.456
AT ITER 3498 NEW BEST:: SOT 225122 SOS 50950 HAS SOPS 50452 HAS SOUS 49973 HAS SOUPS 49475 WITH SCORE 49525.95
AT ITER 3509 NEW BEST:: SOT 225046 SOS 50836 HAS SOPS 50338 HAS SOUS 49859 HAS SOUPS 49361 WITH SCORE 49411.836
AT ITER 3518 NEW BEST:: SOT 225025 SOS 50715 HAS SOPS 50217 HAS SOUS 49738 HAS SOUPS 49240 WITH SCORE 49290.715
AT ITER 3536 NEW BEST:: SOT 224885 SOS 50505 HAS SOPS 50007 HAS SOUS 49528 HAS SOUPS 49030 WITH SCORE 49080.505
AT ITER 3563 NEW BEST:: SOT 224842 SOS 50426 HAS SOPS 49928 HAS SOUS 49449 HAS SOUPS 48951 WITH SCORE 49001.426
AT ITER 3572 NEW BEST:: SOT 224840 SOS 50418 HAS SOPS 49920 HAS SOUS 49445 HAS SOUPS 48947 WITH SCORE 48997.418
AT ITER 3573 NEW BEST:: SOT 224822 SOS 50394 HAS SOPS 49896 HAS SOUS 49421 HAS SOUPS 48923 WITH SCORE 48973.394
AT ITER 3602 NEW BEST:: SOT 224822 SOS 50374 HAS SOPS 49876 HAS SOUS 49403 HAS SOUPS 48905 WITH SCORE 48955.374
AT ITER 3624 NEW BEST:: SOT 224792 SOS 50329 HAS SOPS 49831 HAS SOUS 49358 HAS SOUPS 48860 WITH SCORE 48910.329
AT ITER 3635 NEW BEST:: SOT 224792 SOS 50321 HAS SOPS 49823 HAS SOUS 49350 HAS SOUPS 48852 WITH SCORE 48902.321
AT ITER 3651 NEW BEST:: SOT 224792 SOS 50293 HAS SOPS 49795 HAS SOUS 49322 HAS SOUPS 48824 WITH SCORE 48874.293
AT ITER 3675 NEW BEST:: SOT 224801 SOS 50262 HAS SOPS 49764 HAS SOUS 49299 HAS SOUPS 48801 WITH SCORE 48851.262
AT ITER 3677 NEW BEST:: SOT 224635 SOS 50025 HAS SOPS 49527 HAS SOUS 49062 HAS SOUPS 48564 WITH SCORE 48614.025
AT ITER 3690 NEW BEST:: SOT 224614 SOS 49983 HAS SOPS 49485 HAS SOUS 48999 HAS SOUPS 48501 WITH SCORE 48550.983
AT ITER 3695 NEW BEST:: SOT 224510 SOS 49919 HAS SOPS 49421 HAS SOUS 48935 HAS SOUPS 48437 WITH SCORE 48486.919
AT ITER 3697 NEW BEST:: SOT 224458 SOS 49918 HAS SOPS 49420 HAS SOUS 48836 HAS SOUPS 48338 WITH SCORE 48387.918
AT ITER 3698 NEW BEST:: SOT 224397 SOS 49795 HAS SOPS 49297 HAS SOUS 48713 HAS SOUPS 48215 WITH SCORE 48264.795
AT ITER 3716 NEW BEST:: SOT 224397 SOS 49795 HAS SOPS 49297 HAS SOUS 48711 HAS SOUPS 48213 WITH SCORE 48262.795
AT ITER 3756 NEW BEST:: SOT 224367 SOS 49715 HAS SOPS 49217 HAS SOUS 48620 HAS SOUPS 48122 WITH SCORE 48171.715
AT ITER 3757 NEW BEST:: SOT 224344 SOS 49660 HAS SOPS 49162 HAS SOUS 48601 HAS SOUPS 48103 WITH SCORE 48152.66
AT ITER 3790 NEW BEST:: SOT 224342 SOS 49604 HAS SOPS 49106 HAS SOUS 48595 HAS SOUPS 48097 WITH SCORE 48146.604
AT ITER 3811 NEW BEST:: SOT 224258 SOS 49436 HAS SOPS 48938 HAS SOUS 48448 HAS SOUPS 47950 WITH SCORE 47999.436
AT ITER 3825 NEW BEST:: SOT 224233 SOS 49411 HAS SOPS 48913 HAS SOUS 48423 HAS SOUPS 47925 WITH SCORE 47974.411
AT ITER 3858 NEW BEST:: SOT 224230 SOS 49376 HAS SOPS 48878 HAS SOUS 48388 HAS SOUPS 47890 WITH SCORE 47939.376
AT ITER 3862 NEW BEST:: SOT 224230 SOS 49387 HAS SOPS 48889 HAS SOUS 48382 HAS SOUPS 47884 WITH SCORE 47933.387
AT ITER 3866 NEW BEST:: SOT 224227 SOS 49384 HAS SOPS 48886 HAS SOUS 48379 HAS SOUPS 47881 WITH SCORE 47930.384
AT ITER 3888 NEW BEST:: SOT 224225 SOS 49383 HAS SOPS 48885 HAS SOUS 48378 HAS SOUPS 47880 WITH SCORE 47929.383
AT ITER 3901 NEW BEST:: SOT 224225 SOS 49357 HAS SOPS 48859 HAS SOUS 48352 HAS SOUPS 47854 WITH SCORE 47903.357
AT ITER 3919 NEW BEST:: SOT 224212 SOS 49310 HAS SOPS 48812 HAS SOUS 48305 HAS SOUPS 47807 WITH SCORE 47856.31
AT ITER 3933 NEW BEST:: SOT 224192 SOS 49238 HAS SOPS 48740 HAS SOUS 48233 HAS SOUPS 47735 WITH SCORE 47784.238
AT ITER 3949 NEW BEST:: SOT 224189 SOS 49223 HAS SOPS 48725 HAS SOUS 48218 HAS SOUPS 47720 WITH SCORE 47769.223
AT ITER 3952 NEW BEST:: SOT 224184 SOS 49208 HAS SOPS 48710 HAS SOUS 48208 HAS SOUPS 47710 WITH SCORE 47759.208
AT ITER 3960 NEW BEST:: SOT 224188 SOS 49213 HAS SOPS 48715 HAS SOUS 48194 HAS SOUPS 47696 WITH SCORE 47745.213
AT ITER 3967 NEW BEST:: SOT 224182 SOS 49207 HAS SOPS 48709 HAS SOUS 48186 HAS SOUPS 47688 WITH SCORE 47737.207
AT ITER 3980 NEW BEST:: SOT 224186 SOS 49219 HAS SOPS 48721 HAS SOUS 48156 HAS SOUPS 47658 WITH SCORE 47707.219
AT ITER 3988 NEW BEST:: SOT 224184 SOS 49153 HAS SOPS 48655 HAS SOUS 48090 HAS SOUPS 47592 WITH SCORE 47641.153
AT ITER 3997 NEW BEST:: SOT 224190 SOS 49177 HAS SOPS 48679 HAS SOUS 48077 HAS SOUPS 47579 WITH SCORE 47628.177
AT ITER 3998 NEW BEST:: SOT 224190 SOS 49149 HAS SOPS 48651 HAS SOUS 48049 HAS SOUPS 47551 WITH SCORE 47600.149
AT ITER 4003 NEW BEST:: SOT 224168 SOS 49127 HAS SOPS 48629 HAS SOUS 48027 HAS SOUPS 47529 WITH SCORE 47578.127
AT ITER 4005 NEW BEST:: SOT 224071 SOS 48652 HAS SOPS 48154 HAS SOUS 47552 HAS SOUPS 47054 WITH SCORE 47102.652
AT ITER 4009 NEW BEST:: SOT 224021 SOS 48565 HAS SOPS 48067 HAS SOUS 47465 HAS SOUPS 46967 WITH SCORE 47015.565
AT ITER 4020 NEW BEST:: SOT 224023 SOS 48573 HAS SOPS 48075 HAS SOUS 47459 HAS SOUPS 46961 WITH SCORE 47009.573
AT ITER 4030 NEW BEST:: SOT 223990 SOS 48496 HAS SOPS 47998 HAS SOUS 47385 HAS SOUPS 46887 WITH SCORE 46935.496
AT ITER 4046 NEW BEST:: SOT 224011 SOS 48475 HAS SOPS 47977 HAS SOUS 47364 HAS SOUPS 46866 WITH SCORE 46914.475
AT ITER 4061 NEW BEST:: SOT 224012 SOS 48470 HAS SOPS 47972 HAS SOUS 47358 HAS SOUPS 46860 WITH SCORE 46908.47
AT ITER 4064 NEW BEST:: SOT 224009 SOS 48445 HAS SOPS 47947 HAS SOUS 47333 HAS SOUPS 46835 WITH SCORE 46883.445
AT ITER 4106 NEW BEST:: SOT 223983 SOS 48394 HAS SOPS 47896 HAS SOUS 47282 HAS SOUPS 46784 WITH SCORE 46832.394
AT ITER 4111 NEW BEST:: SOT 223947 SOS 48304 HAS SOPS 47806 HAS SOUS 47192 HAS SOUPS 46694 WITH SCORE 46742.304
AT ITER 4112 NEW BEST:: SOT 223939 SOS 48292 HAS SOPS 47794 HAS SOUS 47180 HAS SOUPS 46682 WITH SCORE 46730.292
AT ITER 4133 NEW BEST:: SOT 223930 SOS 48256 HAS SOPS 47758 HAS SOUS 47144 HAS SOUPS 46646 WITH SCORE 46694.256
AT ITER 4137 NEW BEST:: SOT 223906 SOS 48199 HAS SOPS 47701 HAS SOUS 47087 HAS SOUPS 46589 WITH SCORE 46637.199
AT ITER 4151 NEW BEST:: SOT 223894 SOS 48183 HAS SOPS 47685 HAS SOUS 47067 HAS SOUPS 46569 WITH SCORE 46617.183
AT ITER 4155 NEW BEST:: SOT 223736 SOS 47871 HAS SOPS 47373 HAS SOUS 46734 HAS SOUPS 46236 WITH SCORE 46283.871
AT ITER 4156 NEW BEST:: SOT 223646 SOS 47695 HAS SOPS 47197 HAS SOUS 46558 HAS SOUPS 46060 WITH SCORE 46107.695
AT ITER 4157 NEW BEST:: SOT 223614 SOS 47613 HAS SOPS 47115 HAS SOUS 46462 HAS SOUPS 45964 WITH SCORE 46011.613
AT ITER 4183 NEW BEST:: SOT 223614 SOS 47562 HAS SOPS 47064 HAS SOUS 46411 HAS SOUPS 45913 WITH SCORE 45960.562
AT ITER 4196 NEW BEST:: SOT 223590 SOS 47526 HAS SOPS 47028 HAS SOUS 46357 HAS SOUPS 45859 WITH SCORE 45906.526
AT ITER 4198 NEW BEST:: SOT 223571 SOS 47508 HAS SOPS 47010 HAS SOUS 46332 HAS SOUPS 45834 WITH SCORE 45881.508
AT ITER 4202 NEW BEST:: SOT 223413 SOS 47298 HAS SOPS 46800 HAS SOUS 46122 HAS SOUPS 45624 WITH SCORE 45671.298
AT ITER 4255 NEW BEST:: SOT 223397 SOS 47206 HAS SOPS 46708 HAS SOUS 46069 HAS SOUPS 45571 WITH SCORE 45618.206
AT ITER 4273 NEW BEST:: SOT 223385 SOS 47143 HAS SOPS 46645 HAS SOUS 46023 HAS SOUPS 45525 WITH SCORE 45572.143
AT ITER 4287 NEW BEST:: SOT 223262 SOS 46982 HAS SOPS 46484 HAS SOUS 45862 HAS SOUPS 45364 WITH SCORE 45410.982
AT ITER 4291 NEW BEST:: SOT 223262 SOS 46971 HAS SOPS 46473 HAS SOUS 45851 HAS SOUPS 45353 WITH SCORE 45399.971
AT ITER 4303 NEW BEST:: SOT 223192 SOS 47079 HAS SOPS 46581 HAS SOUS 45840 HAS SOUPS 45342 WITH SCORE 45389.079
AT ITER 4325 NEW BEST:: SOT 223173 SOS 46773 HAS SOPS 46275 HAS SOUS 45667 HAS SOUPS 45169 WITH SCORE 45215.773
AT ITER 4329 NEW BEST:: SOT 223167 SOS 46755 HAS SOPS 46257 HAS SOUS 45652 HAS SOUPS 45154 WITH SCORE 45200.755
AT ITER 4334 NEW BEST:: SOT 223164 SOS 46675 HAS SOPS 46177 HAS SOUS 45572 HAS SOUPS 45074 WITH SCORE 45120.675
AT ITER 4345 NEW BEST:: SOT 223166 SOS 46701 HAS SOPS 46203 HAS SOUS 45529 HAS SOUPS 45031 WITH SCORE 45077.701
AT ITER 4349 NEW BEST:: SOT 223166 SOS 46695 HAS SOPS 46197 HAS SOUS 45529 HAS SOUPS 45031 WITH SCORE 45077.695
AT ITER 4373 NEW BEST:: SOT 223085 SOS 46454 HAS SOPS 45956 HAS SOUS 45301 HAS SOUPS 44803 WITH SCORE 44849.454
AT ITER 4383 NEW BEST:: SOT 223059 SOS 46324 HAS SOPS 45826 HAS SOUS 45171 HAS SOUPS 44673 WITH SCORE 44719.324
AT ITER 4389 NEW BEST:: SOT 223059 SOS 46324 HAS SOPS 45826 HAS SOUS 45150 HAS SOUPS 44652 WITH SCORE 44698.324
AT ITER 4395 NEW BEST:: SOT 223055 SOS 46312 HAS SOPS 45814 HAS SOUS 45138 HAS SOUPS 44640 WITH SCORE 44686.312
AT ITER 4399 NEW BEST:: SOT 222998 SOS 46267 HAS SOPS 45769 HAS SOUS 45093 HAS SOUPS 44595 WITH SCORE 44641.267
AT ITER 4420 NEW BEST:: SOT 222953 SOS 46207 HAS SOPS 45709 HAS SOUS 45033 HAS SOUPS 44535 WITH SCORE 44581.207
AT ITER 4440 NEW BEST:: SOT 222950 SOS 46198 HAS SOPS 45700 HAS SOUS 45024 HAS SOUPS 44526 WITH SCORE 44572.198
AT ITER 4469 NEW BEST:: SOT 222876 SOS 46041 HAS SOPS 45543 HAS SOUS 44856 HAS SOUPS 44358 WITH SCORE 44404.041
AT ITER 4470 NEW BEST:: SOT 222870 SOS 45961 HAS SOPS 45463 HAS SOUS 44776 HAS SOUPS 44278 WITH SCORE 44323.961
AT ITER 4471 NEW BEST:: SOT 222863 SOS 45940 HAS SOPS 45442 HAS SOUS 44744 HAS SOUPS 44246 WITH SCORE 44291.94
AT ITER 4478 NEW BEST:: SOT 222863 SOS 45924 HAS SOPS 45426 HAS SOUS 44713 HAS SOUPS 44215 WITH SCORE 44260.924
AT ITER 4488 NEW BEST:: SOT 222863 SOS 45901 HAS SOPS 45403 HAS SOUS 44690 HAS SOUPS 44192 WITH SCORE 44237.901
AT ITER 4490 NEW BEST:: SOT 222869 SOS 45884 HAS SOPS 45386 HAS SOUS 44673 HAS SOUPS 44175 WITH SCORE 44220.884
AT ITER 4517 NEW BEST:: SOT 222856 SOS 45858 HAS SOPS 45360 HAS SOUS 44647 HAS SOUPS 44149 WITH SCORE 44194.858
AT ITER 4518 NEW BEST:: SOT 222850 SOS 45832 HAS SOPS 45334 HAS SOUS 44621 HAS SOUPS 44123 WITH SCORE 44168.832
AT ITER 4523 NEW BEST:: SOT 222792 SOS 45671 HAS SOPS 45173 HAS SOUS 44460 HAS SOUPS 43962 WITH SCORE 44007.671
AT ITER 4528 NEW BEST:: SOT 222757 SOS 45531 HAS SOPS 45033 HAS SOUS 44355 HAS SOUPS 43857 WITH SCORE 43902.531
AT ITER 4536 NEW BEST:: SOT 222754 SOS 45524 HAS SOPS 45026 HAS SOUS 44348 HAS SOUPS 43850 WITH SCORE 43895.524
AT ITER 4556 NEW BEST:: SOT 222725 SOS 45460 HAS SOPS 44962 HAS SOUS 44292 HAS SOUPS 43794 WITH SCORE 43839.46
AT ITER 4565 NEW BEST:: SOT 222693 SOS 45428 HAS SOPS 44930 HAS SOUS 44228 HAS SOUPS 43730 WITH SCORE 43775.428
AT ITER 4601 NEW BEST:: SOT 222661 SOS 45340 HAS SOPS 44842 HAS SOUS 44140 HAS SOUPS 43642 WITH SCORE 43687.34
AT ITER 4608 NEW BEST:: SOT 222631 SOS 45267 HAS SOPS 44769 HAS SOUS 44067 HAS SOUPS 43569 WITH SCORE 43614.267
AT ITER 4623 NEW BEST:: SOT 222622 SOS 45272 HAS SOPS 44774 HAS SOUS 44064 HAS SOUPS 43566 WITH SCORE 43611.272
AT ITER 4628 NEW BEST:: SOT 222612 SOS 45258 HAS SOPS 44760 HAS SOUS 44050 HAS SOUPS 43552 WITH SCORE 43597.258
AT ITER 4643 NEW BEST:: SOT 222454 SOS 44878 HAS SOPS 44380 HAS SOUS 43670 HAS SOUPS 43172 WITH SCORE 43216.878
AT ITER 4652 NEW BEST:: SOT 222440 SOS 44861 HAS SOPS 44363 HAS SOUS 43653 HAS SOUPS 43155 WITH SCORE 43199.861
AT ITER 4695 NEW BEST:: SOT 222353 SOS 44722 HAS SOPS 44224 HAS SOUS 43514 HAS SOUPS 43016 WITH SCORE 43060.722
AT ITER 4702 NEW BEST:: SOT 222353 SOS 44719 HAS SOPS 44221 HAS SOUS 43511 HAS SOUPS 43013 WITH SCORE 43057.719
AT ITER 4732 NEW BEST:: SOT 222308 SOS 44530 HAS SOPS 44032 HAS SOUS 43322 HAS SOUPS 42824 WITH SCORE 42868.53
AT ITER 4738 NEW BEST:: SOT 222233 SOS 44430 HAS SOPS 43932 HAS SOUS 43222 HAS SOUPS 42724 WITH SCORE 42768.43
AT ITER 4763 NEW BEST:: SOT 222183 SOS 44253 HAS SOPS 43755 HAS SOUS 43034 HAS SOUPS 42536 WITH SCORE 42580.253
AT ITER 4765 NEW BEST:: SOT 222168 SOS 44223 HAS SOPS 43725 HAS SOUS 43004 HAS SOUPS 42506 WITH SCORE 42550.223
AT ITER 4785 NEW BEST:: SOT 222164 SOS 44233 HAS SOPS 43735 HAS SOUS 43001 HAS SOUPS 42503 WITH SCORE 42547.233
AT ITER 4791 NEW BEST:: SOT 222152 SOS 44197 HAS SOPS 43699 HAS SOUS 42965 HAS SOUPS 42467 WITH SCORE 42511.197
AT ITER 4798 NEW BEST:: SOT 222080 SOS 43999 HAS SOPS 43501 HAS SOUS 42767 HAS SOUPS 42269 WITH SCORE 42312.999
AT ITER 4803 NEW BEST:: SOT 222063 SOS 43969 HAS SOPS 43471 HAS SOUS 42737 HAS SOUPS 42239 WITH SCORE 42282.969
AT ITER 4842 NEW BEST:: SOT 222047 SOS 43839 HAS SOPS 43341 HAS SOUS 42607 HAS SOUPS 42109 WITH SCORE 42152.839
AT ITER 4860 NEW BEST:: SOT 222023 SOS 43803 HAS SOPS 43305 HAS SOUS 42571 HAS SOUPS 42073 WITH SCORE 42116.803
AT ITER 4874 NEW BEST:: SOT 222043 SOS 43742 HAS SOPS 43244 HAS SOUS 42518 HAS SOUPS 42020 WITH SCORE 42063.742
AT ITER 4878 NEW BEST:: SOT 221736 SOS 43111 HAS SOPS 42613 HAS SOUS 41854 HAS SOUPS 41356 WITH SCORE 41399.111
AT ITER 4892 NEW BEST:: SOT 221689 SOS 42916 HAS SOPS 42418 HAS SOUS 41700 HAS SOUPS 41202 WITH SCORE 41244.916
AT ITER 4907 NEW BEST:: SOT 221682 SOS 42888 HAS SOPS 42390 HAS SOUS 41679 HAS SOUPS 41181 WITH SCORE 41223.888
AT ITER 4920 NEW BEST:: SOT 221605 SOS 42778 HAS SOPS 42280 HAS SOUS 41602 HAS SOUPS 41104 WITH SCORE 41146.778
AT ITER 4925 NEW BEST:: SOT 221572 SOS 42700 HAS SOPS 42202 HAS SOUS 41524 HAS SOUPS 41026 WITH SCORE 41068.7
AT ITER 4927 NEW BEST:: SOT 221569 SOS 42652 HAS SOPS 42154 HAS SOUS 41476 HAS SOUPS 40978 WITH SCORE 41020.652
AT ITER 4964 NEW BEST:: SOT 221577 SOS 42645 HAS SOPS 42147 HAS SOUS 41470 HAS SOUPS 40972 WITH SCORE 41014.645
AT ITER 4973 NEW BEST:: SOT 221551 SOS 42580 HAS SOPS 42082 HAS SOUS 41405 HAS SOUPS 40907 WITH SCORE 40949.58
AT ITER 4988 NEW BEST:: SOT 221495 SOS 42450 HAS SOPS 41952 HAS SOUS 41327 HAS SOUPS 40829 WITH SCORE 40871.45
Bounds file is: CTLFireability.xml
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-00 (EF( ((potential((tk(P145)>=4))))))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-01 (! (! ( (EG( ( ((potential((tk(P394)>=2)))) | ((potential((tk(P448)>=2)))) ))) | ( ( ( ((potential((tk(P75)>=4)))) & ((potential((tk(P99)>=2)))) ) & (! ((potential((tk(P332)>=5))))) ) & ( ((potential((tk(P455)>=4)))) & (! ((potential((tk(P121)>=5))))) ) ) )))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-02 (! (AF( ( ( ((potential((tk(P209)>=2)))) & ( ((potential((tk(P26)>=5)))) | ((potential((tk(P300)>=4)))) ) ) & (AG( ((potential((tk(P470)>=4)))))) ))))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-03 (EF( (! (! ((potential((tk(P150)>=4))))))))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-04 (AG( (AU( ((potential((tk(P219)>=2)))) , ( ((potential((tk(P149)>=1)))) & ((potential((tk(P429)>=2)))) ) ))))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-05 (EG( (EX( (! (! ((potential((tk(P233)>=2))))))))))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-06 ( (AF( ( ( ((potential((tk(P64)>=2)))) | ( ((potential((tk(P182)>=5)))) & ((potential((tk(P180)>=4)))) ) ) | ( ( ((potential((tk(P321)>=5)))) | ((potential((tk(P200)>=4)))) ) & ( ((potential((tk(P482)>=5)))) & ((potential((tk(P120)>=3)))) ) ) ))) & (AG( ( (AF( ((potential((tk(P225)>=3)))))) & (AF( ((potential((tk(P270)>=4)))))) ))) )
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-07 ( (EF( (AG( ( ((potential((tk(P86)>=5)))) | ((potential((tk(P257)>=3)))) ))))) | ( ((potential((tk(P42)>=3)))) & (EF( ( ( ((potential((tk(P140)>=3)))) & ((potential((tk(P108)>=2)))) ) | ((potential((tk(P335)>=3)))) ))) ) )
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-08 (AU( (EU( ((potential((tk(P499)>=2)))) , ((potential((tk(P360)>=4)))) )) , ( ( ( ((potential((tk(P428)>=2)))) & ((potential((tk(P404)>=2)))) ) & ((potential((tk(P233)>=2)))) ) & (AG( ((potential((tk(P351)>=5)))))) ) ))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-09 (AX( (AF( (AX( ((potential((tk(P237)>=3))))))))))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-10 (EU( (AG( (! ((potential((tk(P30)>=4))))))) , (EG( (! ((potential((tk(P345)>=3))))))) ))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-11 (AF( ( (! ((potential((tk(P34)>=2))))) & ( (EG( ((potential((tk(P375)>=4)))))) | (! ( ((potential((tk(P110)>=3)))) & ((potential((tk(P24)>=1)))) )) ) )))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-12 ( (! (AF( ((potential((tk(P361)>=5))))))) & ( ( ( (EF( ((potential((tk(P320)>=3)))))) | (AX( ((potential((tk(P66)>=5)))))) ) | ( ( ((potential((tk(P231)>=5)))) | (! ((potential((tk(P462)>=5))))) ) & ((potential((tk(P156)>=5)))) ) ) | (EG( ( ( ((potential((tk(P95)>=3)))) | ((potential((tk(P159)>=2)))) ) | ( ((potential((tk(P97)>=3)))) | ((potential((tk(P223)>=2)))) ) ))) ) )
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-13 (EG( ((potential((tk(P14)>=1))))))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-14 (! (AF( (! ( ( ((potential((tk(P371)>=5)))) | ((potential((tk(P259)>=1)))) ) | ((potential((tk(P339)>=2)))) )))))
PROPERTY: JoinFreeModules-PT-0100-CTLFireability-15 (AU( (! (EX( ((potential((tk(P310)>=4))))))) , ( ( (! ((potential((tk(P408)>=2))))) & ((potential((tk(P321)>=5)))) ) | (! (! ((potential((tk(P378)>=2)))))) ) ))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="JoinFreeModules-PT-0100"
export BK_EXAMINATION="CTLFireability"
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 JoinFreeModules-PT-0100, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r093-oct2-158940140500436"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0100.tgz
mv JoinFreeModules-PT-0100 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;