Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534300248.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is NoC3x3-PT-2A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534300248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 7.5K Feb 26 10:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 10:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 10:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 10:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 10:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 10:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 10:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 127K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678723635219

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NoC3x3-PT-2A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 2A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 361 places, 428 transitions, 1697 arcs.
AT ITER 0 NEW BEST:: SOT 128116 SOS 107782 HAS SOPS 107773 HAS SOUS 71642 HAS SOUPS 71633 WITH SCORE 71740.782
AT ITER 1 NEW BEST:: SOT 128024 SOS 107696 HAS SOPS 107687 HAS SOUS 71613 HAS SOUPS 71604 WITH SCORE 71711.696
AT ITER 3 NEW BEST:: SOT 128024 SOS 107630 HAS SOPS 107621 HAS SOUS 71600 HAS SOUPS 71591 WITH SCORE 71698.63
AT ITER 6 NEW BEST:: SOT 128024 SOS 107048 HAS SOPS 107039 HAS SOUS 71578 HAS SOUPS 71569 WITH SCORE 71676.048
AT ITER 9 NEW BEST:: SOT 127444 SOS 105966 HAS SOPS 105957 HAS SOUS 71052 HAS SOUPS 71043 WITH SCORE 71148.966
AT ITER 11 NEW BEST:: SOT 127388 SOS 105910 HAS SOPS 105901 HAS SOUS 70988 HAS SOUPS 70979 WITH SCORE 71084.91
AT ITER 13 NEW BEST:: SOT 126680 SOS 105391 HAS SOPS 105382 HAS SOUS 70413 HAS SOUPS 70404 WITH SCORE 70509.391
AT ITER 15 NEW BEST:: SOT 126292 SOS 105322 HAS SOPS 105313 HAS SOUS 70133 HAS SOUPS 70124 WITH SCORE 70229.322
AT ITER 20 NEW BEST:: SOT 126322 SOS 105388 HAS SOPS 105379 HAS SOUS 70106 HAS SOUPS 70097 WITH SCORE 70202.388
AT ITER 33 NEW BEST:: SOT 126322 SOS 105372 HAS SOPS 105363 HAS SOUS 70102 HAS SOUPS 70093 WITH SCORE 70198.372
AT ITER 34 NEW BEST:: SOT 126322 SOS 105243 HAS SOPS 105234 HAS SOUS 70052 HAS SOUPS 70043 WITH SCORE 70148.243
AT ITER 35 NEW BEST:: SOT 125528 SOS 104444 HAS SOPS 104435 HAS SOUS 69296 HAS SOUPS 69287 WITH SCORE 69391.444
AT ITER 36 NEW BEST:: SOT 125258 SOS 104132 HAS SOPS 104123 HAS SOUS 69061 HAS SOUPS 69052 WITH SCORE 69156.132
AT ITER 43 NEW BEST:: SOT 125165 SOS 103900 HAS SOPS 103891 HAS SOUS 69060 HAS SOUPS 69051 WITH SCORE 69154.9
AT ITER 46 NEW BEST:: SOT 125196 SOS 103811 HAS SOPS 103802 HAS SOUS 68834 HAS SOUPS 68825 WITH SCORE 68928.811
AT ITER 48 NEW BEST:: SOT 124495 SOS 103104 HAS SOPS 103095 HAS SOUS 68127 HAS SOUPS 68118 WITH SCORE 68221.104
AT ITER 51 NEW BEST:: SOT 124495 SOS 102639 HAS SOPS 102630 HAS SOUS 68061 HAS SOUPS 68052 WITH SCORE 68154.639
AT ITER 53 NEW BEST:: SOT 123884 SOS 102028 HAS SOPS 102019 HAS SOUS 67446 HAS SOUPS 67437 WITH SCORE 67539.028
AT ITER 59 NEW BEST:: SOT 123884 SOS 102091 HAS SOPS 102082 HAS SOUS 67402 HAS SOUPS 67393 WITH SCORE 67495.091
AT ITER 61 NEW BEST:: SOT 123853 SOS 101010 HAS SOPS 101001 HAS SOUS 67377 HAS SOUPS 67368 WITH SCORE 67469.01
AT ITER 62 NEW BEST:: SOT 123853 SOS 101010 HAS SOPS 101001 HAS SOUS 67335 HAS SOUPS 67326 WITH SCORE 67427.01
AT ITER 64 NEW BEST:: SOT 123853 SOS 101006 HAS SOPS 100997 HAS SOUS 67331 HAS SOUPS 67322 WITH SCORE 67423.006
AT ITER 67 NEW BEST:: SOT 123325 SOS 100476 HAS SOPS 100467 HAS SOUS 66871 HAS SOUPS 66862 WITH SCORE 66962.476
AT ITER 69 NEW BEST:: SOT 123277 SOS 100428 HAS SOPS 100419 HAS SOUS 66823 HAS SOUPS 66814 WITH SCORE 66914.428
AT ITER 73 NEW BEST:: SOT 123114 SOS 100254 HAS SOPS 100245 HAS SOUS 66649 HAS SOUPS 66640 WITH SCORE 66740.254
AT ITER 74 NEW BEST:: SOT 123114 SOS 99604 HAS SOPS 99595 HAS SOUS 66609 HAS SOUPS 66600 WITH SCORE 66699.604
AT ITER 77 NEW BEST:: SOT 123114 SOS 99604 HAS SOPS 99595 HAS SOUS 66595 HAS SOUPS 66586 WITH SCORE 66685.604
AT ITER 81 NEW BEST:: SOT 122847 SOS 99337 HAS SOPS 99328 HAS SOUS 66202 HAS SOUPS 66193 WITH SCORE 66292.337
AT ITER 83 NEW BEST:: SOT 122311 SOS 98801 HAS SOPS 98792 HAS SOUS 65666 HAS SOUPS 65657 WITH SCORE 65755.801
AT ITER 91 NEW BEST:: SOT 121965 SOS 98455 HAS SOPS 98446 HAS SOUS 65320 HAS SOUPS 65311 WITH SCORE 65409.455
AT ITER 93 NEW BEST:: SOT 121924 SOS 98336 HAS SOPS 98211 HAS SOUS 65334 HAS SOUPS 65209 WITH SCORE 65307.336
AT ITER 97 NEW BEST:: SOT 121917 SOS 98329 HAS SOPS 98204 HAS SOUS 65157 HAS SOUPS 65032 WITH SCORE 65130.329
AT ITER 99 NEW BEST:: SOT 121332 SOS 97635 HAS SOPS 97619 HAS SOUS 64463 HAS SOUPS 64447 WITH SCORE 64544.635
AT ITER 106 NEW BEST:: SOT 120459 SOS 96682 HAS SOPS 96666 HAS SOUS 63437 HAS SOUPS 63421 WITH SCORE 63517.682
AT ITER 110 NEW BEST:: SOT 120489 SOS 96728 HAS SOPS 96712 HAS SOUS 63422 HAS SOUPS 63406 WITH SCORE 63502.728
AT ITER 115 NEW BEST:: SOT 120189 SOS 96813 HAS SOPS 96804 HAS SOUS 63167 HAS SOUPS 63158 WITH SCORE 63254.813
AT ITER 117 NEW BEST:: SOT 119918 SOS 96542 HAS SOPS 96533 HAS SOUS 62921 HAS SOUPS 62912 WITH SCORE 63008.542
AT ITER 119 NEW BEST:: SOT 119671 SOS 96295 HAS SOPS 96286 HAS SOUS 62674 HAS SOUPS 62665 WITH SCORE 62761.295
AT ITER 127 NEW BEST:: SOT 119527 SOS 96280 HAS SOPS 96271 HAS SOUS 62481 HAS SOUPS 62472 WITH SCORE 62568.28
AT ITER 131 NEW BEST:: SOT 118664 SOS 95538 HAS SOPS 95529 HAS SOUS 61677 HAS SOUPS 61668 WITH SCORE 61763.538
AT ITER 137 NEW BEST:: SOT 118740 SOS 95459 HAS SOPS 95450 HAS SOUS 61598 HAS SOUPS 61589 WITH SCORE 61684.459
AT ITER 139 NEW BEST:: SOT 118734 SOS 95453 HAS SOPS 95444 HAS SOUS 61592 HAS SOUPS 61583 WITH SCORE 61678.453
AT ITER 141 NEW BEST:: SOT 118734 SOS 95051 HAS SOPS 95042 HAS SOUS 61535 HAS SOUPS 61526 WITH SCORE 61621.051
AT ITER 145 NEW BEST:: SOT 118575 SOS 94892 HAS SOPS 94883 HAS SOUS 61290 HAS SOUPS 61281 WITH SCORE 61375.892
AT ITER 158 NEW BEST:: SOT 118006 SOS 94860 HAS SOPS 94851 HAS SOUS 60943 HAS SOUPS 60934 WITH SCORE 61028.86
AT ITER 160 NEW BEST:: SOT 117972 SOS 94762 HAS SOPS 94753 HAS SOUS 60943 HAS SOUPS 60934 WITH SCORE 61028.762
AT ITER 163 NEW BEST:: SOT 117254 SOS 94044 HAS SOPS 94035 HAS SOUS 60076 HAS SOUPS 60067 WITH SCORE 60161.044
AT ITER 164 NEW BEST:: SOT 117254 SOS 94014 HAS SOPS 94005 HAS SOUS 60071 HAS SOUPS 60062 WITH SCORE 60156.014
AT ITER 170 NEW BEST:: SOT 117256 SOS 94048 HAS SOPS 94039 HAS SOUS 60042 HAS SOUPS 60033 WITH SCORE 60127.048
AT ITER 172 NEW BEST:: SOT 117247 SOS 94039 HAS SOPS 94030 HAS SOUS 59976 HAS SOUPS 59967 WITH SCORE 60061.039
AT ITER 173 NEW BEST:: SOT 117241 SOS 94033 HAS SOPS 94024 HAS SOUS 59972 HAS SOUPS 59963 WITH SCORE 60057.033
AT ITER 180 NEW BEST:: SOT 117028 SOS 93807 HAS SOPS 93798 HAS SOUS 59864 HAS SOUPS 59855 WITH SCORE 59948.807
AT ITER 183 NEW BEST:: SOT 117027 SOS 93828 HAS SOPS 93819 HAS SOUS 59863 HAS SOUPS 59854 WITH SCORE 59947.828
AT ITER 189 NEW BEST:: SOT 116585 SOS 93673 HAS SOPS 93664 HAS SOUS 59676 HAS SOUPS 59667 WITH SCORE 59760.673
AT ITER 190 NEW BEST:: SOT 115973 SOS 93061 HAS SOPS 93052 HAS SOUS 59132 HAS SOUPS 59123 WITH SCORE 59216.061
AT ITER 191 NEW BEST:: SOT 115967 SOS 93055 HAS SOPS 93046 HAS SOUS 59126 HAS SOUPS 59117 WITH SCORE 59210.055
AT ITER 194 NEW BEST:: SOT 115937 SOS 93025 HAS SOPS 93016 HAS SOUS 59124 HAS SOUPS 59115 WITH SCORE 59208.025
AT ITER 197 NEW BEST:: SOT 115732 SOS 92454 HAS SOPS 92445 HAS SOUS 59100 HAS SOUPS 59091 WITH SCORE 59183.454
AT ITER 202 NEW BEST:: SOT 115732 SOS 92423 HAS SOPS 92414 HAS SOUS 59068 HAS SOUPS 59059 WITH SCORE 59151.423
AT ITER 208 NEW BEST:: SOT 115391 SOS 92082 HAS SOPS 92073 HAS SOUS 58766 HAS SOUPS 58757 WITH SCORE 58849.082
AT ITER 215 NEW BEST:: SOT 114525 SOS 91411 HAS SOPS 91402 HAS SOUS 58193 HAS SOUPS 58184 WITH SCORE 58275.411
AT ITER 216 NEW BEST:: SOT 114504 SOS 91390 HAS SOPS 91381 HAS SOUS 58170 HAS SOUPS 58161 WITH SCORE 58252.39
AT ITER 222 NEW BEST:: SOT 114521 SOS 91017 HAS SOPS 91008 HAS SOUS 57997 HAS SOUPS 57988 WITH SCORE 58079.017
AT ITER 226 NEW BEST:: SOT 114303 SOS 89939 HAS SOPS 89930 HAS SOUS 57594 HAS SOUPS 57585 WITH SCORE 57674.939
AT ITER 227 NEW BEST:: SOT 114197 SOS 89780 HAS SOPS 89771 HAS SOUS 57435 HAS SOUPS 57426 WITH SCORE 57515.78
AT ITER 230 NEW BEST:: SOT 114294 SOS 89380 HAS SOPS 89364 HAS SOUS 57433 HAS SOUPS 57417 WITH SCORE 57506.38
AT ITER 231 NEW BEST:: SOT 113886 SOS 89126 HAS SOPS 89110 HAS SOUS 57228 HAS SOUPS 57212 WITH SCORE 57301.126
AT ITER 241 NEW BEST:: SOT 113886 SOS 89031 HAS SOPS 89015 HAS SOUS 57199 HAS SOUPS 57183 WITH SCORE 57272.031
AT ITER 244 NEW BEST:: SOT 113763 SOS 88835 HAS SOPS 88819 HAS SOUS 57146 HAS SOUPS 57130 WITH SCORE 57218.835
AT ITER 245 NEW BEST:: SOT 113763 SOS 88498 HAS SOPS 88482 HAS SOUS 57146 HAS SOUPS 57130 WITH SCORE 57218.498
AT ITER 246 NEW BEST:: SOT 113649 SOS 88384 HAS SOPS 88368 HAS SOUS 57032 HAS SOUPS 57016 WITH SCORE 57104.384
AT ITER 247 NEW BEST:: SOT 113141 SOS 87876 HAS SOPS 87860 HAS SOUS 56641 HAS SOUPS 56625 WITH SCORE 56712.876
AT ITER 248 NEW BEST:: SOT 113141 SOS 87667 HAS SOPS 87572 HAS SOUS 56545 HAS SOUPS 56450 WITH SCORE 56537.667
AT ITER 249 NEW BEST:: SOT 113141 SOS 87310 HAS SOPS 87215 HAS SOUS 56379 HAS SOUPS 56284 WITH SCORE 56371.31
AT ITER 254 NEW BEST:: SOT 113013 SOS 87278 HAS SOPS 87183 HAS SOUS 56347 HAS SOUPS 56252 WITH SCORE 56339.278
AT ITER 256 NEW BEST:: SOT 112972 SOS 87300 HAS SOPS 87205 HAS SOUS 56284 HAS SOUPS 56189 WITH SCORE 56276.3
AT ITER 257 NEW BEST:: SOT 112937 SOS 87265 HAS SOPS 87170 HAS SOUS 56258 HAS SOUPS 56163 WITH SCORE 56250.265
AT ITER 258 NEW BEST:: SOT 112966 SOS 87413 HAS SOPS 87318 HAS SOUS 56192 HAS SOUPS 56097 WITH SCORE 56184.413
AT ITER 259 NEW BEST:: SOT 112966 SOS 87553 HAS SOPS 87458 HAS SOUS 56180 HAS SOUPS 56085 WITH SCORE 56172.553
AT ITER 263 NEW BEST:: SOT 112934 SOS 87521 HAS SOPS 87426 HAS SOUS 56172 HAS SOUPS 56077 WITH SCORE 56164.521
AT ITER 268 NEW BEST:: SOT 112930 SOS 87513 HAS SOPS 87418 HAS SOUS 56172 HAS SOUPS 56077 WITH SCORE 56164.513
AT ITER 269 NEW BEST:: SOT 112690 SOS 87273 HAS SOPS 87178 HAS SOUS 55926 HAS SOUPS 55831 WITH SCORE 55918.273
AT ITER 271 NEW BEST:: SOT 112690 SOS 87198 HAS SOPS 87136 HAS SOUS 55842 HAS SOUPS 55780 WITH SCORE 55867.198
AT ITER 272 NEW BEST:: SOT 112683 SOS 87191 HAS SOPS 87129 HAS SOUS 55842 HAS SOUPS 55780 WITH SCORE 55867.191
AT ITER 275 NEW BEST:: SOT 112683 SOS 87183 HAS SOPS 87121 HAS SOUS 55730 HAS SOUPS 55668 WITH SCORE 55755.183
AT ITER 276 NEW BEST:: SOT 112678 SOS 87178 HAS SOPS 87116 HAS SOUS 55715 HAS SOUPS 55653 WITH SCORE 55740.178
AT ITER 277 NEW BEST:: SOT 112210 SOS 86710 HAS SOPS 86648 HAS SOUS 55239 HAS SOUPS 55177 WITH SCORE 55263.71
AT ITER 279 NEW BEST:: SOT 111762 SOS 86262 HAS SOPS 86200 HAS SOUS 54695 HAS SOUPS 54633 WITH SCORE 54719.262
AT ITER 281 NEW BEST:: SOT 111602 SOS 86102 HAS SOPS 86040 HAS SOUS 54533 HAS SOUPS 54471 WITH SCORE 54557.102
AT ITER 283 NEW BEST:: SOT 111488 SOS 85988 HAS SOPS 85926 HAS SOUS 54533 HAS SOUPS 54471 WITH SCORE 54556.988
AT ITER 284 NEW BEST:: SOT 110849 SOS 85349 HAS SOPS 85287 HAS SOUS 54105 HAS SOUPS 54043 WITH SCORE 54128.349
AT ITER 286 NEW BEST:: SOT 110777 SOS 85277 HAS SOPS 85215 HAS SOUS 54033 HAS SOUPS 53971 WITH SCORE 54056.277
AT ITER 289 NEW BEST:: SOT 110777 SOS 85214 HAS SOPS 85152 HAS SOUS 53967 HAS SOUPS 53905 WITH SCORE 53990.214
AT ITER 294 NEW BEST:: SOT 110713 SOS 84766 HAS SOPS 84704 HAS SOUS 53967 HAS SOUPS 53905 WITH SCORE 53989.766
AT ITER 297 NEW BEST:: SOT 110630 SOS 84317 HAS SOPS 84255 HAS SOUS 53737 HAS SOUPS 53675 WITH SCORE 53759.317
AT ITER 298 NEW BEST:: SOT 110630 SOS 84354 HAS SOPS 84292 HAS SOUS 53700 HAS SOUPS 53638 WITH SCORE 53722.354
AT ITER 299 NEW BEST:: SOT 110527 SOS 84251 HAS SOPS 84189 HAS SOUS 53529 HAS SOUPS 53467 WITH SCORE 53551.251
AT ITER 300 NEW BEST:: SOT 110384 SOS 84108 HAS SOPS 84046 HAS SOUS 53490 HAS SOUPS 53428 WITH SCORE 53512.108
AT ITER 303 NEW BEST:: SOT 110384 SOS 84053 HAS SOPS 83991 HAS SOUS 53490 HAS SOUPS 53428 WITH SCORE 53512.053
AT ITER 311 NEW BEST:: SOT 110299 SOS 83968 HAS SOPS 83906 HAS SOUS 53405 HAS SOUPS 53343 WITH SCORE 53426.968
AT ITER 313 NEW BEST:: SOT 110299 SOS 83924 HAS SOPS 83862 HAS SOUS 53398 HAS SOUPS 53336 WITH SCORE 53419.924
AT ITER 317 NEW BEST:: SOT 110294 SOS 83901 HAS SOPS 83839 HAS SOUS 53398 HAS SOUPS 53336 WITH SCORE 53419.901
AT ITER 329 NEW BEST:: SOT 110286 SOS 83893 HAS SOPS 83831 HAS SOUS 53374 HAS SOUPS 53312 WITH SCORE 53395.893
AT ITER 334 NEW BEST:: SOT 110285 SOS 82928 HAS SOPS 82860 HAS SOUS 53373 HAS SOUPS 53305 WITH SCORE 53387.928
AT ITER 336 NEW BEST:: SOT 109999 SOS 82730 HAS SOPS 82662 HAS SOUS 53125 HAS SOUPS 53057 WITH SCORE 53139.73
AT ITER 337 NEW BEST:: SOT 109406 SOS 81712 HAS SOPS 81445 HAS SOUS 52428 HAS SOUPS 52161 WITH SCORE 52242.712
AT ITER 338 NEW BEST:: SOT 109406 SOS 81712 HAS SOPS 81445 HAS SOUS 52423 HAS SOUPS 52156 WITH SCORE 52237.712
AT ITER 348 NEW BEST:: SOT 109397 SOS 81694 HAS SOPS 81427 HAS SOUS 52423 HAS SOUPS 52156 WITH SCORE 52237.694
AT ITER 349 NEW BEST:: SOT 109093 SOS 81636 HAS SOPS 81369 HAS SOUS 52214 HAS SOUPS 51947 WITH SCORE 52028.636
AT ITER 350 NEW BEST:: SOT 108892 SOS 81435 HAS SOPS 81168 HAS SOUS 52048 HAS SOUPS 51781 WITH SCORE 51862.435
AT ITER 351 NEW BEST:: SOT 108874 SOS 81417 HAS SOPS 81150 HAS SOUS 52020 HAS SOUPS 51753 WITH SCORE 51834.417
AT ITER 363 NEW BEST:: SOT 108926 SOS 81531 HAS SOPS 81264 HAS SOUS 51969 HAS SOUPS 51702 WITH SCORE 51783.531
AT ITER 368 NEW BEST:: SOT 108926 SOS 81507 HAS SOPS 81240 HAS SOUS 51969 HAS SOUPS 51702 WITH SCORE 51783.507
AT ITER 373 NEW BEST:: SOT 108926 SOS 81471 HAS SOPS 81204 HAS SOUS 51963 HAS SOUPS 51696 WITH SCORE 51777.471
AT ITER 375 NEW BEST:: SOT 108926 SOS 81459 HAS SOPS 81192 HAS SOUS 51963 HAS SOUPS 51696 WITH SCORE 51777.459
AT ITER 379 NEW BEST:: SOT 108873 SOS 81406 HAS SOPS 81139 HAS SOUS 51804 HAS SOUPS 51537 WITH SCORE 51618.406
AT ITER 380 NEW BEST:: SOT 108814 SOS 81347 HAS SOPS 81080 HAS SOUS 51671 HAS SOUPS 51404 WITH SCORE 51485.347
AT ITER 383 NEW BEST:: SOT 108777 SOS 81284 HAS SOPS 81017 HAS SOUS 51634 HAS SOUPS 51367 WITH SCORE 51448.284
AT ITER 387 NEW BEST:: SOT 108777 SOS 81258 HAS SOPS 80991 HAS SOUS 51634 HAS SOUPS 51367 WITH SCORE 51448.258
AT ITER 388 NEW BEST:: SOT 108822 SOS 81260 HAS SOPS 80999 HAS SOUS 51453 HAS SOUPS 51192 WITH SCORE 51273.26
AT ITER 390 NEW BEST:: SOT 108822 SOS 81165 HAS SOPS 80904 HAS SOUS 51431 HAS SOUPS 51170 WITH SCORE 51251.165
AT ITER 395 NEW BEST:: SOT 107722 SOS 80038 HAS SOPS 79777 HAS SOUS 50351 HAS SOUPS 50090 WITH SCORE 50170.038
AT ITER 396 NEW BEST:: SOT 107746 SOS 80191 HAS SOPS 79801 HAS SOUS 50246 HAS SOUPS 49856 WITH SCORE 49936.191
AT ITER 403 NEW BEST:: SOT 107691 SOS 80136 HAS SOPS 79746 HAS SOUS 50097 HAS SOUPS 49707 WITH SCORE 49787.136
AT ITER 406 NEW BEST:: SOT 107678 SOS 80117 HAS SOPS 79727 HAS SOUS 50078 HAS SOUPS 49688 WITH SCORE 49768.117
AT ITER 410 NEW BEST:: SOT 107622 SOS 80061 HAS SOPS 79671 HAS SOUS 50022 HAS SOUPS 49632 WITH SCORE 49712.061
AT ITER 416 NEW BEST:: SOT 107586 SOS 80025 HAS SOPS 79635 HAS SOUS 49952 HAS SOUPS 49562 WITH SCORE 49642.025
AT ITER 420 NEW BEST:: SOT 107633 SOS 80086 HAS SOPS 79696 HAS SOUS 49894 HAS SOUPS 49504 WITH SCORE 49584.086
AT ITER 432 NEW BEST:: SOT 106744 SOS 79350 HAS SOPS 78960 HAS SOUS 49158 HAS SOUPS 48768 WITH SCORE 48847.35
AT ITER 434 NEW BEST:: SOT 106613 SOS 78906 HAS SOPS 78516 HAS SOUS 49026 HAS SOUPS 48636 WITH SCORE 48714.906
AT ITER 436 NEW BEST:: SOT 106597 SOS 78890 HAS SOPS 78500 HAS SOUS 49010 HAS SOUPS 48620 WITH SCORE 48698.89
AT ITER 439 NEW BEST:: SOT 106597 SOS 78885 HAS SOPS 78495 HAS SOUS 49010 HAS SOUPS 48620 WITH SCORE 48698.885
AT ITER 440 NEW BEST:: SOT 106597 SOS 78401 HAS SOPS 78011 HAS SOUS 48960 HAS SOUPS 48570 WITH SCORE 48648.401
AT ITER 446 NEW BEST:: SOT 106499 SOS 78410 HAS SOPS 78020 HAS SOUS 48705 HAS SOUPS 48315 WITH SCORE 48393.41
AT ITER 452 NEW BEST:: SOT 106495 SOS 78406 HAS SOPS 78016 HAS SOUS 48701 HAS SOUPS 48311 WITH SCORE 48389.406
AT ITER 454 NEW BEST:: SOT 105907 SOS 77818 HAS SOPS 77428 HAS SOUS 47997 HAS SOUPS 47607 WITH SCORE 47684.818
AT ITER 460 NEW BEST:: SOT 105832 SOS 77743 HAS SOPS 77353 HAS SOUS 47947 HAS SOUPS 47557 WITH SCORE 47634.743
AT ITER 461 NEW BEST:: SOT 105832 SOS 77478 HAS SOPS 77088 HAS SOUS 47947 HAS SOUPS 47557 WITH SCORE 47634.478
AT ITER 463 NEW BEST:: SOT 105386 SOS 77032 HAS SOPS 76642 HAS SOUS 47602 HAS SOUPS 47212 WITH SCORE 47289.032
AT ITER 465 NEW BEST:: SOT 105203 SOS 76849 HAS SOPS 76361 HAS SOUS 47606 HAS SOUPS 47118 WITH SCORE 47194.849
AT ITER 476 NEW BEST:: SOT 105213 SOS 76859 HAS SOPS 76371 HAS SOUS 47496 HAS SOUPS 47008 WITH SCORE 47084.859
AT ITER 486 NEW BEST:: SOT 105164 SOS 76099 HAS SOPS 75611 HAS SOUS 47495 HAS SOUPS 47007 WITH SCORE 47083.099
AT ITER 487 NEW BEST:: SOT 104988 SOS 75923 HAS SOPS 75435 HAS SOUS 47303 HAS SOUPS 46815 WITH SCORE 46890.923
AT ITER 493 NEW BEST:: SOT 104657 SOS 76337 HAS SOPS 76003 HAS SOUS 47125 HAS SOUPS 46791 WITH SCORE 46867.337
AT ITER 495 NEW BEST:: SOT 104635 SOS 76305 HAS SOPS 75971 HAS SOUS 47093 HAS SOUPS 46759 WITH SCORE 46835.305
AT ITER 507 NEW BEST:: SOT 104570 SOS 76200 HAS SOPS 75866 HAS SOUS 47066 HAS SOUPS 46732 WITH SCORE 46808.2
AT ITER 510 NEW BEST:: SOT 104570 SOS 76216 HAS SOPS 75830 HAS SOUS 47075 HAS SOUPS 46689 WITH SCORE 46765.216
AT ITER 512 NEW BEST:: SOT 104569 SOS 76215 HAS SOPS 75829 HAS SOUS 47074 HAS SOUPS 46688 WITH SCORE 46764.215
AT ITER 513 NEW BEST:: SOT 104566 SOS 76212 HAS SOPS 75826 HAS SOUS 47069 HAS SOUPS 46683 WITH SCORE 46759.212
AT ITER 514 NEW BEST:: SOT 104566 SOS 76167 HAS SOPS 75770 HAS SOUS 47058 HAS SOUPS 46672 WITH SCORE 46748.167
AT ITER 516 NEW BEST:: SOT 104504 SOS 76007 HAS SOPS 75610 HAS SOUS 47057 HAS SOUPS 46671 WITH SCORE 46747.007
AT ITER 520 NEW BEST:: SOT 104310 SOS 75959 HAS SOPS 75562 HAS SOUS 47009 HAS SOUPS 46623 WITH SCORE 46698.959
AT ITER 521 NEW BEST:: SOT 104402 SOS 75951 HAS SOPS 75572 HAS SOUS 46722 HAS SOUPS 46354 WITH SCORE 46429.951
AT ITER 526 NEW BEST:: SOT 104384 SOS 75861 HAS SOPS 75482 HAS SOUS 46704 HAS SOUPS 46336 WITH SCORE 46411.861
AT ITER 527 NEW BEST:: SOT 104045 SOS 75454 HAS SOPS 75075 HAS SOUS 46380 HAS SOUPS 46012 WITH SCORE 46087.454
AT ITER 529 NEW BEST:: SOT 104039 SOS 75448 HAS SOPS 75069 HAS SOUS 46362 HAS SOUPS 45994 WITH SCORE 46069.448
AT ITER 538 NEW BEST:: SOT 104039 SOS 75338 HAS SOPS 74959 HAS SOUS 46340 HAS SOUPS 45972 WITH SCORE 46047.338
AT ITER 540 NEW BEST:: SOT 103820 SOS 75219 HAS SOPS 74840 HAS SOUS 46174 HAS SOUPS 45806 WITH SCORE 45881.219
AT ITER 545 NEW BEST:: SOT 103766 SOS 74917 HAS SOPS 74538 HAS SOUS 46145 HAS SOUPS 45777 WITH SCORE 45851.917
AT ITER 547 NEW BEST:: SOT 103762 SOS 74913 HAS SOPS 74534 HAS SOUS 46143 HAS SOUPS 45775 WITH SCORE 45849.913
AT ITER 552 NEW BEST:: SOT 103530 SOS 74382 HAS SOPS 74003 HAS SOUS 45910 HAS SOUPS 45542 WITH SCORE 45616.382
AT ITER 554 NEW BEST:: SOT 103530 SOS 74462 HAS SOPS 74083 HAS SOUS 45888 HAS SOUPS 45520 WITH SCORE 45594.462
AT ITER 556 NEW BEST:: SOT 103494 SOS 74426 HAS SOPS 74047 HAS SOUS 45816 HAS SOUPS 45448 WITH SCORE 45522.426
AT ITER 559 NEW BEST:: SOT 103143 SOS 74273 HAS SOPS 73894 HAS SOUS 45590 HAS SOUPS 45222 WITH SCORE 45296.273
AT ITER 561 NEW BEST:: SOT 103099 SOS 74249 HAS SOPS 73870 HAS SOUS 45566 HAS SOUPS 45198 WITH SCORE 45272.249
AT ITER 563 NEW BEST:: SOT 102976 SOS 74160 HAS SOPS 73781 HAS SOUS 45511 HAS SOUPS 45143 WITH SCORE 45217.16
AT ITER 569 NEW BEST:: SOT 102655 SOS 73839 HAS SOPS 73460 HAS SOUS 45246 HAS SOUPS 44878 WITH SCORE 44951.839
AT ITER 574 NEW BEST:: SOT 102527 SOS 73700 HAS SOPS 73321 HAS SOUS 45211 HAS SOUPS 44843 WITH SCORE 44916.7
AT ITER 580 NEW BEST:: SOT 102355 SOS 73573 HAS SOPS 73246 HAS SOUS 45166 HAS SOUPS 44839 WITH SCORE 44912.573
AT ITER 583 NEW BEST:: SOT 102308 SOS 73581 HAS SOPS 73254 HAS SOUS 45128 HAS SOUPS 44801 WITH SCORE 44874.581
AT ITER 591 NEW BEST:: SOT 102308 SOS 73567 HAS SOPS 73226 HAS SOUS 45114 HAS SOUPS 44773 WITH SCORE 44846.567
AT ITER 600 NEW BEST:: SOT 102308 SOS 73379 HAS SOPS 73111 HAS SOUS 44926 HAS SOUPS 44658 WITH SCORE 44731.379
AT ITER 602 NEW BEST:: SOT 102177 SOS 73293 HAS SOPS 73025 HAS SOUS 44840 HAS SOUPS 44572 WITH SCORE 44645.293
AT ITER 604 NEW BEST:: SOT 102177 SOS 73181 HAS SOPS 72888 HAS SOUS 44829 HAS SOUPS 44561 WITH SCORE 44634.181
AT ITER 612 NEW BEST:: SOT 102153 SOS 73157 HAS SOPS 72864 HAS SOUS 44805 HAS SOUPS 44537 WITH SCORE 44610.157
AT ITER 618 NEW BEST:: SOT 102117 SOS 73121 HAS SOPS 72828 HAS SOUS 44743 HAS SOUPS 44475 WITH SCORE 44548.121
AT ITER 620 NEW BEST:: SOT 102117 SOS 73175 HAS SOPS 72882 HAS SOUS 44727 HAS SOUPS 44459 WITH SCORE 44532.175
AT ITER 625 NEW BEST:: SOT 102117 SOS 73107 HAS SOPS 72814 HAS SOUS 44727 HAS SOUPS 44459 WITH SCORE 44532.107
AT ITER 626 NEW BEST:: SOT 102118 SOS 73108 HAS SOPS 72815 HAS SOUS 44724 HAS SOUPS 44456 WITH SCORE 44529.108
AT ITER 648 NEW BEST:: SOT 101269 SOS 71498 HAS SOPS 71205 HAS SOUS 43657 HAS SOUPS 43389 WITH SCORE 43460.498
AT ITER 653 NEW BEST:: SOT 101269 SOS 71411 HAS SOPS 71118 HAS SOUS 43621 HAS SOUPS 43353 WITH SCORE 43424.411
AT ITER 658 NEW BEST:: SOT 100969 SOS 71111 HAS SOPS 70818 HAS SOUS 43479 HAS SOUPS 43211 WITH SCORE 43282.111
AT ITER 659 NEW BEST:: SOT 100948 SOS 71090 HAS SOPS 70797 HAS SOUS 43396 HAS SOUPS 43128 WITH SCORE 43199.09
AT ITER 663 NEW BEST:: SOT 100948 SOS 71098 HAS SOPS 70805 HAS SOUS 43394 HAS SOUPS 43126 WITH SCORE 43197.098
AT ITER 669 NEW BEST:: SOT 100880 SOS 71030 HAS SOPS 70737 HAS SOUS 43394 HAS SOUPS 43126 WITH SCORE 43197.03
AT ITER 674 NEW BEST:: SOT 100851 SOS 71001 HAS SOPS 70708 HAS SOUS 43365 HAS SOUPS 43097 WITH SCORE 43168.001
AT ITER 677 NEW BEST:: SOT 100849 SOS 70999 HAS SOPS 70706 HAS SOUS 43361 HAS SOUPS 43093 WITH SCORE 43163.999
AT ITER 682 NEW BEST:: SOT 100849 SOS 70998 HAS SOPS 70705 HAS SOUS 43356 HAS SOUPS 43088 WITH SCORE 43158.998
AT ITER 692 NEW BEST:: SOT 100849 SOS 70916 HAS SOPS 70623 HAS SOUS 43278 HAS SOUPS 43010 WITH SCORE 43080.916
AT ITER 693 NEW BEST:: SOT 100731 SOS 70798 HAS SOPS 70505 HAS SOUS 43272 HAS SOUPS 43004 WITH SCORE 43074.798
AT ITER 699 NEW BEST:: SOT 100427 SOS 70494 HAS SOPS 70201 HAS SOUS 43246 HAS SOUPS 42978 WITH SCORE 43048.494
AT ITER 701 NEW BEST:: SOT 100468 SOS 70375 HAS SOPS 70082 HAS SOUS 43235 HAS SOUPS 42967 WITH SCORE 43037.375
AT ITER 702 NEW BEST:: SOT 100494 SOS 70228 HAS SOPS 69935 HAS SOUS 43214 HAS SOUPS 42946 WITH SCORE 43016.228
AT ITER 705 NEW BEST:: SOT 100593 SOS 69906 HAS SOPS 69613 HAS SOUS 43214 HAS SOUPS 42946 WITH SCORE 43015.906
AT ITER 710 NEW BEST:: SOT 100446 SOS 70053 HAS SOPS 69760 HAS SOUS 43007 HAS SOUPS 42739 WITH SCORE 42809.053
AT ITER 717 NEW BEST:: SOT 100380 SOS 69773 HAS SOPS 69480 HAS SOUS 42841 HAS SOUPS 42573 WITH SCORE 42642.773
AT ITER 719 NEW BEST:: SOT 100374 SOS 69743 HAS SOPS 69450 HAS SOUS 42828 HAS SOUPS 42560 WITH SCORE 42629.743
AT ITER 720 NEW BEST:: SOT 100174 SOS 69250 HAS SOPS 68968 HAS SOUS 42197 HAS SOUPS 41940 WITH SCORE 42009.25
AT ITER 724 NEW BEST:: SOT 100190 SOS 69246 HAS SOPS 68964 HAS SOUS 42194 HAS SOUPS 41937 WITH SCORE 42006.246
AT ITER 728 NEW BEST:: SOT 100190 SOS 69196 HAS SOPS 68914 HAS SOUS 42194 HAS SOUPS 41937 WITH SCORE 42006.196
AT ITER 733 NEW BEST:: SOT 99974 SOS 69048 HAS SOPS 68766 HAS SOUS 42062 HAS SOUPS 41805 WITH SCORE 41874.048
AT ITER 736 NEW BEST:: SOT 99902 SOS 68807 HAS SOPS 68525 HAS SOUS 41550 HAS SOUPS 41293 WITH SCORE 41361.807
AT ITER 740 NEW BEST:: SOT 99884 SOS 68744 HAS SOPS 68462 HAS SOUS 41514 HAS SOUPS 41257 WITH SCORE 41325.744
AT ITER 745 NEW BEST:: SOT 99863 SOS 68723 HAS SOPS 68441 HAS SOUS 41493 HAS SOUPS 41236 WITH SCORE 41304.723
AT ITER 749 NEW BEST:: SOT 99767 SOS 68627 HAS SOPS 68345 HAS SOUS 41484 HAS SOUPS 41227 WITH SCORE 41295.627
AT ITER 755 NEW BEST:: SOT 99605 SOS 68465 HAS SOPS 68183 HAS SOUS 41338 HAS SOUPS 41081 WITH SCORE 41149.465
AT ITER 761 NEW BEST:: SOT 99505 SOS 68524 HAS SOPS 68242 HAS SOUS 41324 HAS SOUPS 41067 WITH SCORE 41135.524
AT ITER 762 NEW BEST:: SOT 99569 SOS 68678 HAS SOPS 68396 HAS SOUS 41314 HAS SOUPS 41057 WITH SCORE 41125.678
AT ITER 764 NEW BEST:: SOT 99515 SOS 68597 HAS SOPS 68315 HAS SOUS 41233 HAS SOUPS 40976 WITH SCORE 41044.597
AT ITER 767 NEW BEST:: SOT 99494 SOS 68572 HAS SOPS 68290 HAS SOUS 41227 HAS SOUPS 40970 WITH SCORE 41038.572
AT ITER 768 NEW BEST:: SOT 99363 SOS 68371 HAS SOPS 68089 HAS SOUS 40950 HAS SOUPS 40693 WITH SCORE 40761.371
AT ITER 778 NEW BEST:: SOT 99361 SOS 68369 HAS SOPS 68087 HAS SOUS 40950 HAS SOUPS 40693 WITH SCORE 40761.369
AT ITER 781 NEW BEST:: SOT 99361 SOS 67952 HAS SOPS 67670 HAS SOUS 40946 HAS SOUPS 40689 WITH SCORE 40756.952
AT ITER 782 NEW BEST:: SOT 99377 SOS 68008 HAS SOPS 67726 HAS SOUS 40942 HAS SOUPS 40685 WITH SCORE 40753.008
AT ITER 794 NEW BEST:: SOT 99328 SOS 67991 HAS SOPS 67709 HAS SOUS 40862 HAS SOUPS 40605 WITH SCORE 40672.991
AT ITER 796 NEW BEST:: SOT 99327 SOS 67990 HAS SOPS 67708 HAS SOUS 40861 HAS SOUPS 40604 WITH SCORE 40671.99
AT ITER 802 NEW BEST:: SOT 99254 SOS 67916 HAS SOPS 67634 HAS SOUS 40851 HAS SOUPS 40594 WITH SCORE 40661.916
AT ITER 811 NEW BEST:: SOT 99266 SOS 67832 HAS SOPS 67502 HAS SOUS 40863 HAS SOUPS 40558 WITH SCORE 40625.832
AT ITER 816 NEW BEST:: SOT 99266 SOS 67832 HAS SOPS 67502 HAS SOUS 40861 HAS SOUPS 40556 WITH SCORE 40623.832
AT ITER 819 NEW BEST:: SOT 99252 SOS 67818 HAS SOPS 67488 HAS SOUS 40847 HAS SOUPS 40542 WITH SCORE 40609.818
AT ITER 823 NEW BEST:: SOT 99074 SOS 67640 HAS SOPS 67310 HAS SOUS 40669 HAS SOUPS 40364 WITH SCORE 40431.64
AT ITER 825 NEW BEST:: SOT 98989 SOS 67555 HAS SOPS 67225 HAS SOUS 40584 HAS SOUPS 40279 WITH SCORE 40346.555
AT ITER 828 NEW BEST:: SOT 98742 SOS 67470 HAS SOPS 67140 HAS SOUS 40474 HAS SOUPS 40169 WITH SCORE 40236.47
AT ITER 829 NEW BEST:: SOT 98544 SOS 67331 HAS SOPS 67001 HAS SOUS 40375 HAS SOUPS 40070 WITH SCORE 40137.331
AT ITER 834 NEW BEST:: SOT 98271 SOS 67058 HAS SOPS 66728 HAS SOUS 40102 HAS SOUPS 39797 WITH SCORE 39864.058
AT ITER 837 NEW BEST:: SOT 98210 SOS 66674 HAS SOPS 66344 HAS SOUS 40052 HAS SOUPS 39747 WITH SCORE 39813.674
AT ITER 840 NEW BEST:: SOT 98155 SOS 66619 HAS SOPS 66289 HAS SOUS 39997 HAS SOUPS 39692 WITH SCORE 39758.619
AT ITER 845 NEW BEST:: SOT 98111 SOS 66541 HAS SOPS 66211 HAS SOUS 39884 HAS SOUPS 39579 WITH SCORE 39645.541
AT ITER 847 NEW BEST:: SOT 98069 SOS 66499 HAS SOPS 66169 HAS SOUS 39842 HAS SOUPS 39537 WITH SCORE 39603.499
AT ITER 851 NEW BEST:: SOT 98024 SOS 66396 HAS SOPS 66066 HAS SOUS 39797 HAS SOUPS 39492 WITH SCORE 39558.396
AT ITER 855 NEW BEST:: SOT 97958 SOS 66292 HAS SOPS 65962 HAS SOUS 39696 HAS SOUPS 39391 WITH SCORE 39457.292
AT ITER 859 NEW BEST:: SOT 97819 SOS 65958 HAS SOPS 65628 HAS SOUS 39638 HAS SOUPS 39333 WITH SCORE 39398.958
AT ITER 865 NEW BEST:: SOT 97819 SOS 65588 HAS SOPS 65258 HAS SOUS 39638 HAS SOUPS 39333 WITH SCORE 39398.588
AT ITER 867 NEW BEST:: SOT 97725 SOS 65494 HAS SOPS 65164 HAS SOUS 39529 HAS SOUPS 39224 WITH SCORE 39289.494
AT ITER 871 NEW BEST:: SOT 97708 SOS 65477 HAS SOPS 65147 HAS SOUS 39478 HAS SOUPS 39173 WITH SCORE 39238.477
AT ITER 874 NEW BEST:: SOT 97702 SOS 65474 HAS SOPS 65144 HAS SOUS 39478 HAS SOUPS 39173 WITH SCORE 39238.474
AT ITER 877 NEW BEST:: SOT 97644 SOS 65416 HAS SOPS 65086 HAS SOUS 39244 HAS SOUPS 38939 WITH SCORE 39004.416
AT ITER 883 NEW BEST:: SOT 97644 SOS 65399 HAS SOPS 65069 HAS SOUS 39244 HAS SOUPS 38939 WITH SCORE 39004.399
AT ITER 889 NEW BEST:: SOT 97617 SOS 65381 HAS SOPS 65051 HAS SOUS 39208 HAS SOUPS 38903 WITH SCORE 38968.381
AT ITER 893 NEW BEST:: SOT 97448 SOS 65194 HAS SOPS 64864 HAS SOUS 39006 HAS SOUPS 38701 WITH SCORE 38766.194
AT ITER 903 NEW BEST:: SOT 97400 SOS 65146 HAS SOPS 64816 HAS SOUS 38958 HAS SOUPS 38653 WITH SCORE 38718.146
AT ITER 913 NEW BEST:: SOT 97400 SOS 64919 HAS SOPS 64589 HAS SOUS 38920 HAS SOUPS 38615 WITH SCORE 38679.919
AT ITER 926 NEW BEST:: SOT 97394 SOS 64907 HAS SOPS 64577 HAS SOUS 38911 HAS SOUPS 38606 WITH SCORE 38670.907
AT ITER 937 NEW BEST:: SOT 97454 SOS 64997 HAS SOPS 64637 HAS SOUS 38930 HAS SOUPS 38595 WITH SCORE 38659.997
AT ITER 943 NEW BEST:: SOT 97192 SOS 64518 HAS SOPS 64158 HAS SOUS 38765 HAS SOUPS 38430 WITH SCORE 38494.518
AT ITER 947 NEW BEST:: SOT 97190 SOS 64581 HAS SOPS 64221 HAS SOUS 38761 HAS SOUPS 38426 WITH SCORE 38490.581
AT ITER 948 NEW BEST:: SOT 97167 SOS 64558 HAS SOPS 64198 HAS SOUS 38738 HAS SOUPS 38403 WITH SCORE 38467.558
AT ITER 952 NEW BEST:: SOT 97127 SOS 64318 HAS SOPS 63958 HAS SOUS 38738 HAS SOUPS 38403 WITH SCORE 38467.318
AT ITER 954 NEW BEST:: SOT 97127 SOS 64318 HAS SOPS 63958 HAS SOUS 38687 HAS SOUPS 38352 WITH SCORE 38416.318
AT ITER 964 NEW BEST:: SOT 97017 SOS 64098 HAS SOPS 63738 HAS SOUS 38467 HAS SOUPS 38132 WITH SCORE 38196.098
AT ITER 973 NEW BEST:: SOT 97055 SOS 64136 HAS SOPS 63776 HAS SOUS 38463 HAS SOUPS 38128 WITH SCORE 38192.136
AT ITER 977 NEW BEST:: SOT 96891 SOS 63972 HAS SOPS 63612 HAS SOUS 38408 HAS SOUPS 38073 WITH SCORE 38136.972
AT ITER 980 NEW BEST:: SOT 96895 SOS 63966 HAS SOPS 63606 HAS SOUS 38402 HAS SOUPS 38067 WITH SCORE 38130.966
AT ITER 983 NEW BEST:: SOT 96849 SOS 63920 HAS SOPS 63560 HAS SOUS 38356 HAS SOUPS 38021 WITH SCORE 38084.92
AT ITER 987 NEW BEST:: SOT 96813 SOS 64061 HAS SOPS 63701 HAS SOUS 38320 HAS SOUPS 37985 WITH SCORE 38049.061
AT ITER 989 NEW BEST:: SOT 96813 SOS 63821 HAS SOPS 63461 HAS SOUS 38320 HAS SOUPS 37985 WITH SCORE 38048.821
AT ITER 994 NEW BEST:: SOT 96807 SOS 63815 HAS SOPS 63455 HAS SOUS 38230 HAS SOUPS 37895 WITH SCORE 37958.815
AT ITER 1000 NEW BEST:: SOT 96788 SOS 63796 HAS SOPS 63436 HAS SOUS 38111 HAS SOUPS 37776 WITH SCORE 37839.796
AT ITER 1005 NEW BEST:: SOT 96727 SOS 63679 HAS SOPS 63319 HAS SOUS 38106 HAS SOUPS 37771 WITH SCORE 37834.679
AT ITER 1008 NEW BEST:: SOT 96824 SOS 63684 HAS SOPS 63324 HAS SOUS 38065 HAS SOUPS 37730 WITH SCORE 37793.684
AT ITER 1016 NEW BEST:: SOT 96744 SOS 63509 HAS SOPS 63149 HAS SOUS 37853 HAS SOUPS 37518 WITH SCORE 37581.509
AT ITER 1021 NEW BEST:: SOT 96744 SOS 63509 HAS SOPS 63149 HAS SOUS 37813 HAS SOUPS 37478 WITH SCORE 37541.509
AT ITER 1022 NEW BEST:: SOT 96741 SOS 63506 HAS SOPS 63146 HAS SOUS 37810 HAS SOUPS 37475 WITH SCORE 37538.506
AT ITER 1038 NEW BEST:: SOT 96810 SOS 63600 HAS SOPS 63240 HAS SOUS 37794 HAS SOUPS 37459 WITH SCORE 37522.6
AT ITER 1039 NEW BEST:: SOT 96813 SOS 63494 HAS SOPS 63134 HAS SOUS 37716 HAS SOUPS 37381 WITH SCORE 37444.494
AT ITER 1048 NEW BEST:: SOT 96911 SOS 63451 HAS SOPS 63091 HAS SOUS 37716 HAS SOUPS 37381 WITH SCORE 37444.451
AT ITER 1050 NEW BEST:: SOT 96911 SOS 63451 HAS SOPS 63091 HAS SOUS 37676 HAS SOUPS 37341 WITH SCORE 37404.451
AT ITER 1052 NEW BEST:: SOT 96901 SOS 63436 HAS SOPS 63076 HAS SOUS 37671 HAS SOUPS 37336 WITH SCORE 37399.436
AT ITER 1061 NEW BEST:: SOT 96901 SOS 63433 HAS SOPS 63073 HAS SOUS 37671 HAS SOUPS 37336 WITH SCORE 37399.433
AT ITER 1072 NEW BEST:: SOT 96875 SOS 63407 HAS SOPS 63047 HAS SOUS 37632 HAS SOUPS 37297 WITH SCORE 37360.407
AT ITER 1079 NEW BEST:: SOT 96755 SOS 63305 HAS SOPS 62945 HAS SOUS 37551 HAS SOUPS 37216 WITH SCORE 37279.305
AT ITER 1081 NEW BEST:: SOT 96708 SOS 63258 HAS SOPS 62898 HAS SOUS 37457 HAS SOUPS 37122 WITH SCORE 37185.258
AT ITER 1086 NEW BEST:: SOT 96708 SOS 63258 HAS SOPS 62898 HAS SOUS 37451 HAS SOUPS 37116 WITH SCORE 37179.258
AT ITER 1087 NEW BEST:: SOT 96717 SOS 63317 HAS SOPS 62957 HAS SOUS 37395 HAS SOUPS 37060 WITH SCORE 37123.317
AT ITER 1090 NEW BEST:: SOT 96597 SOS 63197 HAS SOPS 62837 HAS SOUS 37275 HAS SOUPS 36940 WITH SCORE 37003.197
AT ITER 1093 NEW BEST:: SOT 96550 SOS 63108 HAS SOPS 62748 HAS SOUS 37242 HAS SOUPS 36907 WITH SCORE 36970.108
AT ITER 1096 NEW BEST:: SOT 96550 SOS 63108 HAS SOPS 62748 HAS SOUS 37174 HAS SOUPS 36839 WITH SCORE 36902.108
AT ITER 1097 NEW BEST:: SOT 96560 SOS 62823 HAS SOPS 62379 HAS SOUS 37153 HAS SOUPS 36775 WITH SCORE 36837.823
AT ITER 1101 NEW BEST:: SOT 96441 SOS 62505 HAS SOPS 62061 HAS SOUS 36994 HAS SOUPS 36616 WITH SCORE 36678.505
AT ITER 1102 NEW BEST:: SOT 96439 SOS 62481 HAS SOPS 62037 HAS SOUS 36984 HAS SOUPS 36606 WITH SCORE 36668.481
AT ITER 1108 NEW BEST:: SOT 96434 SOS 62476 HAS SOPS 62032 HAS SOUS 36979 HAS SOUPS 36601 WITH SCORE 36663.476
AT ITER 1111 NEW BEST:: SOT 96458 SOS 62516 HAS SOPS 62072 HAS SOUS 36961 HAS SOUPS 36583 WITH SCORE 36645.516
AT ITER 1115 NEW BEST:: SOT 96458 SOS 62476 HAS SOPS 61992 HAS SOUS 36961 HAS SOUPS 36543 WITH SCORE 36605.476
AT ITER 1129 NEW BEST:: SOT 96490 SOS 62476 HAS SOPS 61992 HAS SOUS 36855 HAS SOUPS 36437 WITH SCORE 36499.476
AT ITER 1134 NEW BEST:: SOT 96320 SOS 62281 HAS SOPS 61797 HAS SOUS 36672 HAS SOUPS 36254 WITH SCORE 36316.281
AT ITER 1141 NEW BEST:: SOT 96315 SOS 62314 HAS SOPS 61693 HAS SOUS 36648 HAS SOUPS 36169 WITH SCORE 36231.314
AT ITER 1146 NEW BEST:: SOT 96306 SOS 62253 HAS SOPS 61632 HAS SOUS 36587 HAS SOUPS 36108 WITH SCORE 36170.253
AT ITER 1157 NEW BEST:: SOT 96192 SOS 62268 HAS SOPS 61647 HAS SOUS 36396 HAS SOUPS 35917 WITH SCORE 35979.268
AT ITER 1160 NEW BEST:: SOT 96059 SOS 62099 HAS SOPS 61478 HAS SOUS 36358 HAS SOUPS 35879 WITH SCORE 35941.099
AT ITER 1171 NEW BEST:: SOT 95957 SOS 61997 HAS SOPS 61376 HAS SOUS 36235 HAS SOUPS 35756 WITH SCORE 35817.997
AT ITER 1175 NEW BEST:: SOT 95950 SOS 61990 HAS SOPS 61369 HAS SOUS 36235 HAS SOUPS 35756 WITH SCORE 35817.99
AT ITER 1180 NEW BEST:: SOT 95950 SOS 61954 HAS SOPS 61333 HAS SOUS 36217 HAS SOUPS 35738 WITH SCORE 35799.954
AT ITER 1188 NEW BEST:: SOT 95984 SOS 61960 HAS SOPS 61339 HAS SOUS 36193 HAS SOUPS 35714 WITH SCORE 35775.96
AT ITER 1193 NEW BEST:: SOT 95984 SOS 61960 HAS SOPS 61339 HAS SOUS 36175 HAS SOUPS 35696 WITH SCORE 35757.96
AT ITER 1195 NEW BEST:: SOT 95966 SOS 61942 HAS SOPS 61321 HAS SOUS 36089 HAS SOUPS 35610 WITH SCORE 35671.942
AT ITER 1197 NEW BEST:: SOT 95964 SOS 61940 HAS SOPS 61319 HAS SOUS 36088 HAS SOUPS 35609 WITH SCORE 35670.94
AT ITER 1200 NEW BEST:: SOT 96100 SOS 62149 HAS SOPS 61455 HAS SOUS 36037 HAS SOUPS 35515 WITH SCORE 35577.149
AT ITER 1201 NEW BEST:: SOT 96009 SOS 62040 HAS SOPS 61346 HAS SOUS 36014 HAS SOUPS 35492 WITH SCORE 35554.04
AT ITER 1204 NEW BEST:: SOT 95989 SOS 61964 HAS SOPS 61270 HAS SOUS 35974 HAS SOUPS 35452 WITH SCORE 35513.964
AT ITER 1209 NEW BEST:: SOT 95989 SOS 61897 HAS SOPS 61203 HAS SOUS 35949 HAS SOUPS 35427 WITH SCORE 35488.897
AT ITER 1212 NEW BEST:: SOT 95975 SOS 61883 HAS SOPS 61189 HAS SOUS 35935 HAS SOUPS 35413 WITH SCORE 35474.883
AT ITER 1215 NEW BEST:: SOT 95949 SOS 61813 HAS SOPS 61119 HAS SOUS 35865 HAS SOUPS 35343 WITH SCORE 35404.813
AT ITER 1217 NEW BEST:: SOT 95965 SOS 61589 HAS SOPS 60755 HAS SOUS 35817 HAS SOUPS 35174 WITH SCORE 35235.589
AT ITER 1225 NEW BEST:: SOT 95872 SOS 61329 HAS SOPS 60662 HAS SOUS 35515 HAS SOUPS 34963 WITH SCORE 35024.329
AT ITER 1233 NEW BEST:: SOT 95820 SOS 61277 HAS SOPS 60610 HAS SOUS 35514 HAS SOUPS 34962 WITH SCORE 35023.277
AT ITER 1235 NEW BEST:: SOT 95770 SOS 61055 HAS SOPS 60388 HAS SOUS 35503 HAS SOUPS 34951 WITH SCORE 35012.055
AT ITER 1240 NEW BEST:: SOT 95770 SOS 61102 HAS SOPS 60435 HAS SOUS 35487 HAS SOUPS 34935 WITH SCORE 34996.102
AT ITER 1252 NEW BEST:: SOT 95764 SOS 61096 HAS SOPS 60429 HAS SOUS 35441 HAS SOUPS 34889 WITH SCORE 34950.096
AT ITER 1254 NEW BEST:: SOT 95724 SOS 61056 HAS SOPS 60389 HAS SOUS 35441 HAS SOUPS 34889 WITH SCORE 34950.056
AT ITER 1256 NEW BEST:: SOT 95715 SOS 61047 HAS SOPS 60380 HAS SOUS 35430 HAS SOUPS 34878 WITH SCORE 34939.047
AT ITER 1258 NEW BEST:: SOT 95694 SOS 60889 HAS SOPS 60222 HAS SOUS 35411 HAS SOUPS 34859 WITH SCORE 34919.889
AT ITER 1269 NEW BEST:: SOT 95786 SOS 60881 HAS SOPS 60214 HAS SOUS 35406 HAS SOUPS 34854 WITH SCORE 34914.881
AT ITER 1273 NEW BEST:: SOT 95767 SOS 60862 HAS SOPS 60195 HAS SOUS 35387 HAS SOUPS 34835 WITH SCORE 34895.862
AT ITER 1275 NEW BEST:: SOT 95753 SOS 60862 HAS SOPS 60195 HAS SOUS 35359 HAS SOUPS 34807 WITH SCORE 34867.862
AT ITER 1279 NEW BEST:: SOT 95753 SOS 60890 HAS SOPS 60223 HAS SOUS 35354 HAS SOUPS 34802 WITH SCORE 34862.89
AT ITER 1280 NEW BEST:: SOT 95643 SOS 60732 HAS SOPS 60043 HAS SOUS 35244 HAS SOUPS 34670 WITH SCORE 34730.732
AT ITER 1284 NEW BEST:: SOT 95595 SOS 60660 HAS SOPS 59971 HAS SOUS 35172 HAS SOUPS 34598 WITH SCORE 34658.66
AT ITER 1286 NEW BEST:: SOT 95639 SOS 60704 HAS SOPS 60015 HAS SOUS 35128 HAS SOUPS 34554 WITH SCORE 34614.704
AT ITER 1287 NEW BEST:: SOT 95573 SOS 60638 HAS SOPS 59949 HAS SOUS 35110 HAS SOUPS 34536 WITH SCORE 34596.638
AT ITER 1288 NEW BEST:: SOT 95573 SOS 60616 HAS SOPS 59927 HAS SOUS 35110 HAS SOUPS 34536 WITH SCORE 34596.616
AT ITER 1311 NEW BEST:: SOT 95573 SOS 60600 HAS SOPS 59911 HAS SOUS 35110 HAS SOUPS 34536 WITH SCORE 34596.6
AT ITER 1312 NEW BEST:: SOT 95573 SOS 60534 HAS SOPS 59828 HAS SOUS 35080 HAS SOUPS 34502 WITH SCORE 34562.534
AT ITER 1313 NEW BEST:: SOT 94822 SOS 60881 HAS SOPS 60175 HAS SOUS 34742 HAS SOUPS 34164 WITH SCORE 34224.881
AT ITER 1314 NEW BEST:: SOT 94822 SOS 60755 HAS SOPS 60049 HAS SOUS 34710 HAS SOUPS 34132 WITH SCORE 34192.755
AT ITER 1339 NEW BEST:: SOT 94855 SOS 60788 HAS SOPS 60082 HAS SOUS 34700 HAS SOUPS 34122 WITH SCORE 34182.788
AT ITER 1340 NEW BEST:: SOT 94781 SOS 60714 HAS SOPS 60008 HAS SOUS 34626 HAS SOUPS 34048 WITH SCORE 34108.714
AT ITER 1341 NEW BEST:: SOT 94751 SOS 60759 HAS SOPS 60053 HAS SOUS 34617 HAS SOUPS 34039 WITH SCORE 34099.759
AT ITER 1342 NEW BEST:: SOT 94740 SOS 60748 HAS SOPS 60042 HAS SOUS 34606 HAS SOUPS 34028 WITH SCORE 34088.748
AT ITER 1346 NEW BEST:: SOT 94705 SOS 60713 HAS SOPS 60007 HAS SOUS 34596 HAS SOUPS 34018 WITH SCORE 34078.713
AT ITER 1357 NEW BEST:: SOT 94643 SOS 60651 HAS SOPS 59945 HAS SOUS 34534 HAS SOUPS 33956 WITH SCORE 34016.651
AT ITER 1361 NEW BEST:: SOT 94622 SOS 60643 HAS SOPS 59916 HAS SOUS 34530 HAS SOUPS 33931 WITH SCORE 33991.643
AT ITER 1370 NEW BEST:: SOT 94664 SOS 60683 HAS SOPS 59977 HAS SOUS 34510 HAS SOUPS 33922 WITH SCORE 33982.683
AT ITER 1372 NEW BEST:: SOT 94667 SOS 60695 HAS SOPS 59989 HAS SOUS 34501 HAS SOUPS 33913 WITH SCORE 33973.695
AT ITER 1375 NEW BEST:: SOT 94655 SOS 60647 HAS SOPS 59941 HAS SOUS 34465 HAS SOUPS 33877 WITH SCORE 33937.647
AT ITER 1387 NEW BEST:: SOT 94623 SOS 60594 HAS SOPS 59888 HAS SOUS 34344 HAS SOUPS 33756 WITH SCORE 33816.594
AT ITER 1388 NEW BEST:: SOT 94621 SOS 60266 HAS SOPS 59560 HAS SOUS 34320 HAS SOUPS 33732 WITH SCORE 33792.266
AT ITER 1394 NEW BEST:: SOT 94567 SOS 60152 HAS SOPS 59446 HAS SOUS 34256 HAS SOUPS 33668 WITH SCORE 33728.152
AT ITER 1400 NEW BEST:: SOT 94546 SOS 60027 HAS SOPS 59321 HAS SOUS 34149 HAS SOUPS 33561 WITH SCORE 33621.027
AT ITER 1414 NEW BEST:: SOT 94467 SOS 60042 HAS SOPS 59242 HAS SOUS 34002 HAS SOUPS 33320 WITH SCORE 33380.042
AT ITER 1417 NEW BEST:: SOT 94463 SOS 60038 HAS SOPS 59238 HAS SOUS 33998 HAS SOUPS 33316 WITH SCORE 33376.038
AT ITER 1423 NEW BEST:: SOT 94542 SOS 60116 HAS SOPS 59316 HAS SOUS 33997 HAS SOUPS 33315 WITH SCORE 33375.116
AT ITER 1440 NEW BEST:: SOT 94542 SOS 60086 HAS SOPS 59256 HAS SOUS 33982 HAS SOUPS 33285 WITH SCORE 33345.086
AT ITER 1443 NEW BEST:: SOT 94636 SOS 59662 HAS SOPS 58780 HAS SOUS 33982 HAS SOUPS 33233 WITH SCORE 33292.662
AT ITER 1448 NEW BEST:: SOT 94480 SOS 59506 HAS SOPS 58624 HAS SOUS 33928 HAS SOUPS 33179 WITH SCORE 33238.506
AT ITER 1451 NEW BEST:: SOT 94431 SOS 59500 HAS SOPS 58555 HAS SOUS 33918 HAS SOUPS 33110 WITH SCORE 33169.5
AT ITER 1459 NEW BEST:: SOT 93931 SOS 58861 HAS SOPS 58055 HAS SOUS 33326 HAS SOUPS 32638 WITH SCORE 32696.861
AT ITER 1474 NEW BEST:: SOT 93957 SOS 58891 HAS SOPS 58033 HAS SOUS 33332 HAS SOUPS 32618 WITH SCORE 32676.891
AT ITER 1476 NEW BEST:: SOT 93950 SOS 58856 HAS SOPS 57993 HAS SOUS 33325 HAS SOUPS 32606 WITH SCORE 32664.856
AT ITER 1477 NEW BEST:: SOT 93979 SOS 58769 HAS SOPS 57906 HAS SOUS 33311 HAS SOUPS 32592 WITH SCORE 32650.769
AT ITER 1486 NEW BEST:: SOT 93919 SOS 58769 HAS SOPS 57906 HAS SOUS 33291 HAS SOUPS 32572 WITH SCORE 32630.769
AT ITER 1488 NEW BEST:: SOT 93905 SOS 58755 HAS SOPS 57892 HAS SOUS 33277 HAS SOUPS 32558 WITH SCORE 32616.755
AT ITER 1489 NEW BEST:: SOT 93911 SOS 59061 HAS SOPS 58198 HAS SOUS 33273 HAS SOUPS 32554 WITH SCORE 32613.061
AT ITER 1505 NEW BEST:: SOT 93884 SOS 59088 HAS SOPS 58171 HAS SOUS 33273 HAS SOUPS 32527 WITH SCORE 32586.088
AT ITER 1520 NEW BEST:: SOT 93781 SOS 58985 HAS SOPS 58068 HAS SOUS 33150 HAS SOUPS 32404 WITH SCORE 32462.985
AT ITER 1524 NEW BEST:: SOT 93635 SOS 58693 HAS SOPS 57922 HAS SOUS 32858 HAS SOUPS 32258 WITH SCORE 32316.693
AT ITER 1526 NEW BEST:: SOT 93635 SOS 58693 HAS SOPS 57922 HAS SOUS 32746 HAS SOUPS 32146 WITH SCORE 32204.693
AT ITER 1541 NEW BEST:: SOT 93609 SOS 58667 HAS SOPS 57896 HAS SOUS 32746 HAS SOUPS 32146 WITH SCORE 32204.667
AT ITER 1547 NEW BEST:: SOT 93609 SOS 58667 HAS SOPS 57896 HAS SOUS 32728 HAS SOUPS 32128 WITH SCORE 32186.667
AT ITER 1551 NEW BEST:: SOT 93609 SOS 58658 HAS SOPS 57896 HAS SOUS 32719 HAS SOUPS 32128 WITH SCORE 32186.658
AT ITER 1558 NEW BEST:: SOT 93541 SOS 58446 HAS SOPS 57684 HAS SOUS 32651 HAS SOUPS 32060 WITH SCORE 32118.446
AT ITER 1567 NEW BEST:: SOT 93479 SOS 58583 HAS SOPS 57821 HAS SOUS 32522 HAS SOUPS 31931 WITH SCORE 31989.583
AT ITER 1606 NEW BEST:: SOT 93416 SOS 58734 HAS SOPS 57972 HAS SOUS 32514 HAS SOUPS 31923 WITH SCORE 31981.734
AT ITER 1617 NEW BEST:: SOT 93455 SOS 58629 HAS SOPS 57867 HAS SOUS 32455 HAS SOUPS 31864 WITH SCORE 31922.629
AT ITER 1618 NEW BEST:: SOT 93436 SOS 58618 HAS SOPS 57848 HAS SOUS 32457 HAS SOUPS 31858 WITH SCORE 31916.618
AT ITER 1622 NEW BEST:: SOT 93370 SOS 58552 HAS SOPS 57782 HAS SOUS 32381 HAS SOUPS 31782 WITH SCORE 31840.552
AT ITER 1647 NEW BEST:: SOT 93397 SOS 58579 HAS SOPS 57809 HAS SOUS 32366 HAS SOUPS 31767 WITH SCORE 31825.579
AT ITER 1648 NEW BEST:: SOT 93411 SOS 58603 HAS SOPS 57833 HAS SOUS 32327 HAS SOUPS 31728 WITH SCORE 31786.603
AT ITER 1649 NEW BEST:: SOT 93385 SOS 58577 HAS SOPS 57807 HAS SOUS 32301 HAS SOUPS 31702 WITH SCORE 31760.577
AT ITER 1657 NEW BEST:: SOT 93317 SOS 58476 HAS SOPS 57706 HAS SOUS 32180 HAS SOUPS 31581 WITH SCORE 31639.476
AT ITER 1674 NEW BEST:: SOT 93317 SOS 58391 HAS SOPS 57611 HAS SOUS 32185 HAS SOUPS 31581 WITH SCORE 31639.391
AT ITER 1675 NEW BEST:: SOT 93269 SOS 58285 HAS SOPS 57456 HAS SOUS 32177 HAS SOUPS 31524 WITH SCORE 31582.285
AT ITER 1678 NEW BEST:: SOT 93285 SOS 58301 HAS SOPS 57472 HAS SOUS 32174 HAS SOUPS 31521 WITH SCORE 31579.301
AT ITER 1683 NEW BEST:: SOT 93297 SOS 58401 HAS SOPS 57572 HAS SOUS 32172 HAS SOUPS 31519 WITH SCORE 31577.401
AT ITER 1685 NEW BEST:: SOT 93297 SOS 58477 HAS SOPS 57648 HAS SOUS 32157 HAS SOUPS 31504 WITH SCORE 31562.477
AT ITER 1693 NEW BEST:: SOT 93276 SOS 58456 HAS SOPS 57627 HAS SOUS 32134 HAS SOUPS 31481 WITH SCORE 31539.456
AT ITER 1699 NEW BEST:: SOT 93250 SOS 58430 HAS SOPS 57601 HAS SOUS 32107 HAS SOUPS 31454 WITH SCORE 31512.43
AT ITER 1708 NEW BEST:: SOT 93287 SOS 58467 HAS SOPS 57638 HAS SOUS 32104 HAS SOUPS 31451 WITH SCORE 31509.467
AT ITER 1712 NEW BEST:: SOT 93287 SOS 58467 HAS SOPS 57638 HAS SOUS 32080 HAS SOUPS 31427 WITH SCORE 31485.467
AT ITER 1714 NEW BEST:: SOT 93309 SOS 58489 HAS SOPS 57660 HAS SOUS 32076 HAS SOUPS 31423 WITH SCORE 31481.489
AT ITER 1748 NEW BEST:: SOT 93211 SOS 58391 HAS SOPS 57562 HAS SOUS 32030 HAS SOUPS 31377 WITH SCORE 31435.391
AT ITER 1752 NEW BEST:: SOT 93209 SOS 58341 HAS SOPS 57464 HAS SOUS 32015 HAS SOUPS 31338 WITH SCORE 31396.341
AT ITER 1762 NEW BEST:: SOT 93209 SOS 58341 HAS SOPS 57464 HAS SOUS 31992 HAS SOUPS 31315 WITH SCORE 31373.341
AT ITER 1766 NEW BEST:: SOT 93193 SOS 58325 HAS SOPS 57448 HAS SOUS 31976 HAS SOUPS 31299 WITH SCORE 31357.325
AT ITER 1769 NEW BEST:: SOT 93054 SOS 58209 HAS SOPS 57332 HAS SOUS 31668 HAS SOUPS 30991 WITH SCORE 31049.209
AT ITER 1777 NEW BEST:: SOT 93047 SOS 58202 HAS SOPS 57325 HAS SOUS 31661 HAS SOUPS 30984 WITH SCORE 31042.202
AT ITER 1785 NEW BEST:: SOT 93108 SOS 58328 HAS SOPS 57451 HAS SOUS 31657 HAS SOUPS 30980 WITH SCORE 31038.328
AT ITER 1787 NEW BEST:: SOT 93009 SOS 57459 HAS SOPS 56582 HAS SOUS 31655 HAS SOUPS 30978 WITH SCORE 31035.459
AT ITER 1793 NEW BEST:: SOT 93008 SOS 57458 HAS SOPS 56581 HAS SOUS 31654 HAS SOUPS 30977 WITH SCORE 31034.458
AT ITER 1799 NEW BEST:: SOT 92950 SOS 57335 HAS SOPS 56458 HAS SOUS 31590 HAS SOUPS 30913 WITH SCORE 30970.335
AT ITER 1804 NEW BEST:: SOT 92950 SOS 57362 HAS SOPS 56485 HAS SOUS 31570 HAS SOUPS 30893 WITH SCORE 30950.362
AT ITER 1805 NEW BEST:: SOT 92876 SOS 57212 HAS SOPS 56335 HAS SOUS 31518 HAS SOUPS 30841 WITH SCORE 30898.212
AT ITER 1808 NEW BEST:: SOT 92852 SOS 57188 HAS SOPS 56311 HAS SOUS 31469 HAS SOUPS 30792 WITH SCORE 30849.188
AT ITER 1815 NEW BEST:: SOT 92847 SOS 57183 HAS SOPS 56306 HAS SOUS 31459 HAS SOUPS 30782 WITH SCORE 30839.183
AT ITER 1824 NEW BEST:: SOT 92847 SOS 57183 HAS SOPS 56306 HAS SOUS 31457 HAS SOUPS 30780 WITH SCORE 30837.183
AT ITER 1829 NEW BEST:: SOT 92868 SOS 57298 HAS SOPS 56421 HAS SOUS 31451 HAS SOUPS 30774 WITH SCORE 30831.298
AT ITER 1832 NEW BEST:: SOT 92856 SOS 57286 HAS SOPS 56409 HAS SOUS 31419 HAS SOUPS 30742 WITH SCORE 30799.286
AT ITER 1843 NEW BEST:: SOT 92856 SOS 57253 HAS SOPS 56376 HAS SOUS 31408 HAS SOUPS 30731 WITH SCORE 30788.253
AT ITER 1860 NEW BEST:: SOT 92839 SOS 57253 HAS SOPS 56376 HAS SOUS 31378 HAS SOUPS 30701 WITH SCORE 30758.253
AT ITER 1863 NEW BEST:: SOT 92833 SOS 57244 HAS SOPS 56367 HAS SOUS 31366 HAS SOUPS 30689 WITH SCORE 30746.244
AT ITER 1864 NEW BEST:: SOT 92833 SOS 57219 HAS SOPS 56342 HAS SOUS 31341 HAS SOUPS 30664 WITH SCORE 30721.219
AT ITER 1869 NEW BEST:: SOT 92669 SOS 57308 HAS SOPS 56163 HAS SOUS 31408 HAS SOUPS 30592 WITH SCORE 30649.308
AT ITER 1873 NEW BEST:: SOT 92662 SOS 57301 HAS SOPS 56156 HAS SOUS 31394 HAS SOUPS 30578 WITH SCORE 30635.301
AT ITER 1877 NEW BEST:: SOT 92653 SOS 57303 HAS SOPS 56159 HAS SOUS 31275 HAS SOUPS 30460 WITH SCORE 30517.303
AT ITER 1888 NEW BEST:: SOT 92647 SOS 57294 HAS SOPS 56150 HAS SOUS 31263 HAS SOUPS 30448 WITH SCORE 30505.294
AT ITER 1893 NEW BEST:: SOT 92608 SOS 57205 HAS SOPS 56036 HAS SOUS 31211 HAS SOUPS 30371 WITH SCORE 30428.205
AT ITER 1896 NEW BEST:: SOT 92608 SOS 57197 HAS SOPS 56006 HAS SOUS 31212 HAS SOUPS 30350 WITH SCORE 30407.197
AT ITER 1922 NEW BEST:: SOT 92538 SOS 57115 HAS SOPS 55924 HAS SOUS 31142 HAS SOUPS 30280 WITH SCORE 30337.115
AT ITER 1923 NEW BEST:: SOT 92538 SOS 57130 HAS SOPS 55939 HAS SOUS 30949 HAS SOUPS 30087 WITH SCORE 30144.13
AT ITER 1926 NEW BEST:: SOT 92580 SOS 57130 HAS SOPS 55939 HAS SOUS 30916 HAS SOUPS 30054 WITH SCORE 30111.13
AT ITER 1951 NEW BEST:: SOT 92582 SOS 57132 HAS SOPS 55941 HAS SOUS 30908 HAS SOUPS 30046 WITH SCORE 30103.132
AT ITER 1953 NEW BEST:: SOT 92635 SOS 57122 HAS SOPS 55994 HAS SOUS 30838 HAS SOUPS 30008 WITH SCORE 30065.122
AT ITER 1954 NEW BEST:: SOT 92635 SOS 57037 HAS SOPS 55994 HAS SOUS 30753 HAS SOUPS 30008 WITH SCORE 30065.037
AT ITER 1957 NEW BEST:: SOT 92578 SOS 56980 HAS SOPS 55937 HAS SOUS 30738 HAS SOUPS 29993 WITH SCORE 30049.98
AT ITER 1962 NEW BEST:: SOT 92577 SOS 56979 HAS SOPS 55936 HAS SOUS 30657 HAS SOUPS 29912 WITH SCORE 29968.979
AT ITER 1966 NEW BEST:: SOT 92577 SOS 56979 HAS SOPS 55936 HAS SOUS 30637 HAS SOUPS 29892 WITH SCORE 29948.979
AT ITER 1975 NEW BEST:: SOT 92575 SOS 56924 HAS SOPS 55881 HAS SOUS 30635 HAS SOUPS 29890 WITH SCORE 29946.924
AT ITER 1981 NEW BEST:: SOT 92598 SOS 56815 HAS SOPS 55772 HAS SOUS 30513 HAS SOUPS 29768 WITH SCORE 29824.815
AT ITER 1994 NEW BEST:: SOT 92591 SOS 56808 HAS SOPS 55765 HAS SOUS 30506 HAS SOUPS 29761 WITH SCORE 29817.808
AT ITER 1999 NEW BEST:: SOT 92591 SOS 56400 HAS SOPS 55357 HAS SOUS 30428 HAS SOUPS 29683 WITH SCORE 29739.4
AT ITER 2036 NEW BEST:: SOT 92571 SOS 55797 HAS SOPS 54781 HAS SOUS 30380 HAS SOUPS 29662 WITH SCORE 29717.797
AT ITER 2053 NEW BEST:: SOT 92531 SOS 55833 HAS SOPS 54847 HAS SOUS 30348 HAS SOUPS 29660 WITH SCORE 29715.833
AT ITER 2057 NEW BEST:: SOT 92521 SOS 55701 HAS SOPS 54715 HAS SOUS 30312 HAS SOUPS 29624 WITH SCORE 29679.701
AT ITER 2066 NEW BEST:: SOT 92505 SOS 55670 HAS SOPS 54684 HAS SOUS 30283 HAS SOUPS 29595 WITH SCORE 29650.67
AT ITER 2078 NEW BEST:: SOT 92505 SOS 55713 HAS SOPS 54727 HAS SOUS 30270 HAS SOUPS 29582 WITH SCORE 29637.713
AT ITER 2103 NEW BEST:: SOT 92454 SOS 55643 HAS SOPS 54657 HAS SOUS 30251 HAS SOUPS 29563 WITH SCORE 29618.643
AT ITER 2115 NEW BEST:: SOT 92314 SOS 55295 HAS SOPS 54309 HAS SOUS 30124 HAS SOUPS 29436 WITH SCORE 29491.295
AT ITER 2125 NEW BEST:: SOT 92300 SOS 55281 HAS SOPS 54295 HAS SOUS 30124 HAS SOUPS 29436 WITH SCORE 29491.281
AT ITER 2132 NEW BEST:: SOT 92288 SOS 55251 HAS SOPS 54265 HAS SOUS 30071 HAS SOUPS 29383 WITH SCORE 29438.251
AT ITER 2140 NEW BEST:: SOT 92376 SOS 55339 HAS SOPS 54353 HAS SOUS 30023 HAS SOUPS 29335 WITH SCORE 29390.339
AT ITER 2141 NEW BEST:: SOT 92376 SOS 55423 HAS SOPS 54353 HAS SOUS 30071 HAS SOUPS 29299 WITH SCORE 29354.423
AT ITER 2172 NEW BEST:: SOT 92512 SOS 55559 HAS SOPS 54489 HAS SOUS 29947 HAS SOUPS 29175 WITH SCORE 29230.559
AT ITER 2174 NEW BEST:: SOT 92584 SOS 55631 HAS SOPS 54561 HAS SOUS 29877 HAS SOUPS 29105 WITH SCORE 29160.631
AT ITER 2180 NEW BEST:: SOT 92584 SOS 55351 HAS SOPS 54281 HAS SOUS 29877 HAS SOUPS 29105 WITH SCORE 29160.351
AT ITER 2204 NEW BEST:: SOT 92584 SOS 55200 HAS SOPS 54130 HAS SOUS 29833 HAS SOUPS 29061 WITH SCORE 29116.2
AT ITER 2209 NEW BEST:: SOT 92616 SOS 55232 HAS SOPS 54162 HAS SOUS 29829 HAS SOUPS 29057 WITH SCORE 29112.232
AT ITER 2213 NEW BEST:: SOT 92614 SOS 55306 HAS SOPS 54236 HAS SOUS 29807 HAS SOUPS 29035 WITH SCORE 29090.306
AT ITER 2219 NEW BEST:: SOT 92699 SOS 55476 HAS SOPS 54321 HAS SOUS 29807 HAS SOUPS 28950 WITH SCORE 29005.476
AT ITER 2220 NEW BEST:: SOT 92668 SOS 55462 HAS SOPS 54233 HAS SOUS 29863 HAS SOUPS 28938 WITH SCORE 28993.462
AT ITER 2228 NEW BEST:: SOT 92660 SOS 55454 HAS SOPS 54225 HAS SOUS 29863 HAS SOUPS 28938 WITH SCORE 28993.454
AT ITER 2239 NEW BEST:: SOT 92640 SOS 55488 HAS SOPS 54173 HAS SOUS 29904 HAS SOUPS 28893 WITH SCORE 28948.488
AT ITER 2250 NEW BEST:: SOT 92735 SOS 55583 HAS SOPS 54268 HAS SOUS 29891 HAS SOUPS 28880 WITH SCORE 28935.583
AT ITER 2258 NEW BEST:: SOT 92733 SOS 55590 HAS SOPS 54275 HAS SOUS 29880 HAS SOUPS 28869 WITH SCORE 28924.59
AT ITER 2267 NEW BEST:: SOT 92709 SOS 55542 HAS SOPS 54227 HAS SOUS 29880 HAS SOUPS 28869 WITH SCORE 28924.542
AT ITER 2279 NEW BEST:: SOT 92689 SOS 55492 HAS SOPS 54177 HAS SOUS 29870 HAS SOUPS 28859 WITH SCORE 28914.492
AT ITER 2293 NEW BEST:: SOT 92699 SOS 55493 HAS SOPS 54169 HAS SOUS 29878 HAS SOUPS 28858 WITH SCORE 28913.493
AT ITER 2304 NEW BEST:: SOT 92685 SOS 55479 HAS SOPS 54155 HAS SOUS 29878 HAS SOUPS 28858 WITH SCORE 28913.479
AT ITER 2313 NEW BEST:: SOT 92586 SOS 55392 HAS SOPS 54141 HAS SOUS 29758 HAS SOUPS 28811 WITH SCORE 28866.392
AT ITER 2333 NEW BEST:: SOT 92501 SOS 55370 HAS SOPS 54056 HAS SOUS 29722 HAS SOUPS 28712 WITH SCORE 28767.37
AT ITER 2341 NEW BEST:: SOT 92487 SOS 55244 HAS SOPS 53930 HAS SOUS 29699 HAS SOUPS 28689 WITH SCORE 28744.244
AT ITER 2345 NEW BEST:: SOT 92517 SOS 55100 HAS SOPS 53739 HAS SOUS 29683 HAS SOUPS 28672 WITH SCORE 28727.1
AT ITER 2348 NEW BEST:: SOT 92501 SOS 55084 HAS SOPS 53723 HAS SOUS 29659 HAS SOUPS 28648 WITH SCORE 28703.084
AT ITER 2354 NEW BEST:: SOT 92457 SOS 55040 HAS SOPS 53679 HAS SOUS 29659 HAS SOUPS 28648 WITH SCORE 28703.04
AT ITER 2376 NEW BEST:: SOT 92385 SOS 54968 HAS SOPS 53607 HAS SOUS 29587 HAS SOUPS 28576 WITH SCORE 28630.968
AT ITER 2403 NEW BEST:: SOT 92385 SOS 54882 HAS SOPS 53521 HAS SOUS 29587 HAS SOUPS 28576 WITH SCORE 28630.882
AT ITER 2412 NEW BEST:: SOT 92315 SOS 54812 HAS SOPS 53451 HAS SOUS 29517 HAS SOUPS 28506 WITH SCORE 28560.812
AT ITER 2414 NEW BEST:: SOT 92285 SOS 54778 HAS SOPS 53417 HAS SOUS 29479 HAS SOUPS 28468 WITH SCORE 28522.778
AT ITER 2415 NEW BEST:: SOT 92273 SOS 54766 HAS SOPS 53405 HAS SOUS 29473 HAS SOUPS 28462 WITH SCORE 28516.766
AT ITER 2433 NEW BEST:: SOT 92279 SOS 54698 HAS SOPS 53337 HAS SOUS 29461 HAS SOUPS 28450 WITH SCORE 28504.698
AT ITER 2441 NEW BEST:: SOT 92279 SOS 54695 HAS SOPS 53334 HAS SOUS 29458 HAS SOUPS 28447 WITH SCORE 28501.695
AT ITER 2443 NEW BEST:: SOT 92277 SOS 54692 HAS SOPS 53331 HAS SOUS 29457 HAS SOUPS 28446 WITH SCORE 28500.692
AT ITER 2448 NEW BEST:: SOT 92277 SOS 54692 HAS SOPS 53331 HAS SOUS 29446 HAS SOUPS 28435 WITH SCORE 28489.692
AT ITER 2473 NEW BEST:: SOT 92212 SOS 54627 HAS SOPS 53266 HAS SOUS 29437 HAS SOUPS 28426 WITH SCORE 28480.627
AT ITER 2476 NEW BEST:: SOT 92114 SOS 54529 HAS SOPS 53168 HAS SOUS 29401 HAS SOUPS 28390 WITH SCORE 28444.529
AT ITER 2487 NEW BEST:: SOT 92112 SOS 54471 HAS SOPS 53110 HAS SOUS 29382 HAS SOUPS 28371 WITH SCORE 28425.471
AT ITER 2493 NEW BEST:: SOT 92112 SOS 54464 HAS SOPS 53103 HAS SOUS 29382 HAS SOUPS 28371 WITH SCORE 28425.464
AT ITER 2504 NEW BEST:: SOT 91990 SOS 54342 HAS SOPS 52981 HAS SOUS 29382 HAS SOUPS 28371 WITH SCORE 28425.342
AT ITER 2513 NEW BEST:: SOT 91978 SOS 54218 HAS SOPS 52857 HAS SOUS 29369 HAS SOUPS 28358 WITH SCORE 28412.218
AT ITER 2524 NEW BEST:: SOT 92046 SOS 54286 HAS SOPS 52925 HAS SOUS 29359 HAS SOUPS 28348 WITH SCORE 28402.286
AT ITER 2526 NEW BEST:: SOT 92035 SOS 54275 HAS SOPS 52914 HAS SOUS 29348 HAS SOUPS 28337 WITH SCORE 28391.275
AT ITER 2533 NEW BEST:: SOT 92068 SOS 54279 HAS SOPS 52918 HAS SOUS 29342 HAS SOUPS 28331 WITH SCORE 28385.279
AT ITER 2541 NEW BEST:: SOT 92027 SOS 54221 HAS SOPS 52860 HAS SOUS 29325 HAS SOUPS 28314 WITH SCORE 28368.221
AT ITER 2555 NEW BEST:: SOT 91982 SOS 53890 HAS SOPS 52529 HAS SOUS 29311 HAS SOUPS 28300 WITH SCORE 28353.89
AT ITER 2558 NEW BEST:: SOT 91982 SOS 53890 HAS SOPS 52529 HAS SOUS 29293 HAS SOUPS 28282 WITH SCORE 28335.89
AT ITER 2559 NEW BEST:: SOT 91976 SOS 53740 HAS SOPS 52379 HAS SOUS 29291 HAS SOUPS 28280 WITH SCORE 28333.74
AT ITER 2564 NEW BEST:: SOT 91826 SOS 53620 HAS SOPS 52259 HAS SOUS 29196 HAS SOUPS 28185 WITH SCORE 28238.62
AT ITER 2588 NEW BEST:: SOT 91803 SOS 53597 HAS SOPS 52236 HAS SOUS 29173 HAS SOUPS 28162 WITH SCORE 28215.597
AT ITER 2591 NEW BEST:: SOT 91771 SOS 53565 HAS SOPS 52204 HAS SOUS 29141 HAS SOUPS 28130 WITH SCORE 28183.565
AT ITER 2593 NEW BEST:: SOT 91771 SOS 53565 HAS SOPS 52204 HAS SOUS 29089 HAS SOUPS 28078 WITH SCORE 28131.565
AT ITER 2606 NEW BEST:: SOT 91749 SOS 52943 HAS SOPS 51544 HAS SOUS 29029 HAS SOUPS 28018 WITH SCORE 28070.943
AT ITER 2621 NEW BEST:: SOT 91826 SOS 52937 HAS SOPS 51538 HAS SOUS 28995 HAS SOUPS 27984 WITH SCORE 28036.937
AT ITER 2628 NEW BEST:: SOT 91824 SOS 52933 HAS SOPS 51533 HAS SOUS 28992 HAS SOUPS 27980 WITH SCORE 28032.933
AT ITER 2640 NEW BEST:: SOT 91706 SOS 52933 HAS SOPS 51415 HAS SOUS 28992 HAS SOUPS 27862 WITH SCORE 27914.933
AT ITER 2652 NEW BEST:: SOT 91696 SOS 52916 HAS SOPS 51401 HAS SOUS 28982 HAS SOUPS 27855 WITH SCORE 27907.916
AT ITER 2658 NEW BEST:: SOT 91699 SOS 52772 HAS SOPS 51284 HAS SOUS 28936 HAS SOUPS 27836 WITH SCORE 27888.772
AT ITER 2664 NEW BEST:: SOT 91465 SOS 52525 HAS SOPS 51037 HAS SOUS 28892 HAS SOUPS 27792 WITH SCORE 27844.525
AT ITER 2676 NEW BEST:: SOT 91418 SOS 52462 HAS SOPS 50974 HAS SOUS 28889 HAS SOUPS 27789 WITH SCORE 27841.462
AT ITER 2689 NEW BEST:: SOT 91418 SOS 52462 HAS SOPS 50968 HAS SOUS 28889 HAS SOUPS 27787 WITH SCORE 27839.462
AT ITER 2702 NEW BEST:: SOT 91370 SOS 52576 HAS SOPS 51091 HAS SOUS 28856 HAS SOUPS 27763 WITH SCORE 27815.576
AT ITER 2703 NEW BEST:: SOT 91368 SOS 52574 HAS SOPS 51089 HAS SOUS 28855 HAS SOUPS 27762 WITH SCORE 27814.574
AT ITER 2719 NEW BEST:: SOT 91348 SOS 52554 HAS SOPS 51069 HAS SOUS 28855 HAS SOUPS 27762 WITH SCORE 27814.554
AT ITER 2736 NEW BEST:: SOT 91300 SOS 52491 HAS SOPS 51006 HAS SOUS 28820 HAS SOUPS 27727 WITH SCORE 27779.491
AT ITER 2748 NEW BEST:: SOT 91297 SOS 52483 HAS SOPS 51008 HAS SOUS 28813 HAS SOUPS 27725 WITH SCORE 27777.483
AT ITER 2757 NEW BEST:: SOT 91297 SOS 52504 HAS SOPS 51029 HAS SOUS 28806 HAS SOUPS 27718 WITH SCORE 27770.504
AT ITER 2763 NEW BEST:: SOT 91159 SOS 51995 HAS SOPS 50520 HAS SOUS 28630 HAS SOUPS 27542 WITH SCORE 27593.995
AT ITER 2766 NEW BEST:: SOT 91043 SOS 51879 HAS SOPS 50404 HAS SOUS 28607 HAS SOUPS 27519 WITH SCORE 27570.879
AT ITER 2776 NEW BEST:: SOT 90984 SOS 51703 HAS SOPS 50169 HAS SOUS 28500 HAS SOUPS 27353 WITH SCORE 27404.703
AT ITER 2778 NEW BEST:: SOT 90940 SOS 51695 HAS SOPS 50161 HAS SOUS 28476 HAS SOUPS 27329 WITH SCORE 27380.695
AT ITER 2779 NEW BEST:: SOT 90929 SOS 51684 HAS SOPS 50150 HAS SOUS 28475 HAS SOUPS 27328 WITH SCORE 27379.684
AT ITER 2782 NEW BEST:: SOT 90929 SOS 51684 HAS SOPS 50150 HAS SOUS 28473 HAS SOUPS 27326 WITH SCORE 27377.684
AT ITER 2785 NEW BEST:: SOT 90915 SOS 51670 HAS SOPS 50136 HAS SOUS 28459 HAS SOUPS 27312 WITH SCORE 27363.67
AT ITER 2798 NEW BEST:: SOT 90885 SOS 51640 HAS SOPS 50106 HAS SOUS 28383 HAS SOUPS 27236 WITH SCORE 27287.64
AT ITER 2800 NEW BEST:: SOT 90887 SOS 51628 HAS SOPS 50070 HAS SOUS 28388 HAS SOUPS 27217 WITH SCORE 27268.628
AT ITER 2805 NEW BEST:: SOT 90885 SOS 51626 HAS SOPS 50068 HAS SOUS 28386 HAS SOUPS 27215 WITH SCORE 27266.626
AT ITER 2814 NEW BEST:: SOT 90838 SOS 51546 HAS SOPS 49988 HAS SOUS 28320 HAS SOUPS 27149 WITH SCORE 27200.546
AT ITER 2818 NEW BEST:: SOT 90832 SOS 51540 HAS SOPS 49982 HAS SOUS 28320 HAS SOUPS 27149 WITH SCORE 27200.54
AT ITER 2825 NEW BEST:: SOT 90804 SOS 51512 HAS SOPS 49954 HAS SOUS 28320 HAS SOUPS 27149 WITH SCORE 27200.512
AT ITER 2836 NEW BEST:: SOT 90804 SOS 51465 HAS SOPS 49893 HAS SOUS 28320 HAS SOUPS 27135 WITH SCORE 27186.465
AT ITER 2837 NEW BEST:: SOT 90750 SOS 51556 HAS SOPS 49984 HAS SOUS 28266 HAS SOUPS 27081 WITH SCORE 27132.556
AT ITER 2846 NEW BEST:: SOT 90710 SOS 51516 HAS SOPS 49944 HAS SOUS 28230 HAS SOUPS 27045 WITH SCORE 27096.516
AT ITER 2848 NEW BEST:: SOT 90651 SOS 51431 HAS SOPS 49859 HAS SOUS 28133 HAS SOUPS 26948 WITH SCORE 26999.431
AT ITER 2878 NEW BEST:: SOT 90652 SOS 51432 HAS SOPS 49860 HAS SOUS 28132 HAS SOUPS 26947 WITH SCORE 26998.432
AT ITER 2896 NEW BEST:: SOT 90599 SOS 51323 HAS SOPS 49751 HAS SOUS 28051 HAS SOUPS 26866 WITH SCORE 26917.323
AT ITER 2915 NEW BEST:: SOT 90564 SOS 51210 HAS SOPS 49638 HAS SOUS 27985 HAS SOUPS 26800 WITH SCORE 26851.21
AT ITER 2917 NEW BEST:: SOT 90528 SOS 51136 HAS SOPS 49564 HAS SOUS 27906 HAS SOUPS 26721 WITH SCORE 26772.136
AT ITER 2918 NEW BEST:: SOT 90508 SOS 51116 HAS SOPS 49544 HAS SOUS 27886 HAS SOUPS 26701 WITH SCORE 26752.116
AT ITER 2937 NEW BEST:: SOT 90492 SOS 50933 HAS SOPS 49361 HAS SOUS 27849 HAS SOUPS 26664 WITH SCORE 26714.933
AT ITER 2938 NEW BEST:: SOT 90189 SOS 50942 HAS SOPS 49370 HAS SOUS 27706 HAS SOUPS 26521 WITH SCORE 26571.942
AT ITER 2943 NEW BEST:: SOT 90189 SOS 50942 HAS SOPS 49370 HAS SOUS 27704 HAS SOUPS 26519 WITH SCORE 26569.942
AT ITER 2951 NEW BEST:: SOT 90184 SOS 50929 HAS SOPS 49357 HAS SOUS 27681 HAS SOUPS 26496 WITH SCORE 26546.929
AT ITER 2964 NEW BEST:: SOT 90173 SOS 50907 HAS SOPS 49346 HAS SOUS 27659 HAS SOUPS 26485 WITH SCORE 26535.907
AT ITER 2968 NEW BEST:: SOT 90102 SOS 50664 HAS SOPS 49285 HAS SOUS 27498 HAS SOUPS 26418 WITH SCORE 26468.664
AT ITER 2976 NEW BEST:: SOT 90102 SOS 50660 HAS SOPS 49281 HAS SOUS 27496 HAS SOUPS 26416 WITH SCORE 26466.66
AT ITER 3003 NEW BEST:: SOT 90048 SOS 50606 HAS SOPS 49227 HAS SOUS 27464 HAS SOUPS 26384 WITH SCORE 26434.606
AT ITER 3013 NEW BEST:: SOT 89990 SOS 50548 HAS SOPS 49169 HAS SOUS 27406 HAS SOUPS 26326 WITH SCORE 26376.548
AT ITER 3018 NEW BEST:: SOT 89999 SOS 50557 HAS SOPS 49178 HAS SOUS 27402 HAS SOUPS 26322 WITH SCORE 26372.557
AT ITER 3021 NEW BEST:: SOT 89999 SOS 50557 HAS SOPS 49178 HAS SOUS 27392 HAS SOUPS 26312 WITH SCORE 26362.557
AT ITER 3039 NEW BEST:: SOT 89999 SOS 50557 HAS SOPS 49178 HAS SOUS 27379 HAS SOUPS 26299 WITH SCORE 26349.557
AT ITER 3042 NEW BEST:: SOT 89999 SOS 50557 HAS SOPS 49178 HAS SOUS 27351 HAS SOUPS 26271 WITH SCORE 26321.557
AT ITER 3045 NEW BEST:: SOT 90099 SOS 50657 HAS SOPS 49278 HAS SOUS 27327 HAS SOUPS 26247 WITH SCORE 26297.657
AT ITER 3046 NEW BEST:: SOT 90092 SOS 50677 HAS SOPS 49298 HAS SOUS 27317 HAS SOUPS 26237 WITH SCORE 26287.677
AT ITER 3052 NEW BEST:: SOT 89971 SOS 50840 HAS SOPS 49571 HAS SOUS 27204 HAS SOUPS 26234 WITH SCORE 26284.84
AT ITER 3064 NEW BEST:: SOT 89969 SOS 50505 HAS SOPS 49204 HAS SOUS 27187 HAS SOUPS 26217 WITH SCORE 26267.505
AT ITER 3084 NEW BEST:: SOT 89933 SOS 50469 HAS SOPS 49168 HAS SOUS 27141 HAS SOUPS 26171 WITH SCORE 26221.469
AT ITER 3104 NEW BEST:: SOT 89923 SOS 50459 HAS SOPS 49158 HAS SOUS 27141 HAS SOUPS 26171 WITH SCORE 26221.459
AT ITER 3109 NEW BEST:: SOT 89905 SOS 50441 HAS SOPS 49140 HAS SOUS 27123 HAS SOUPS 26153 WITH SCORE 26203.441
AT ITER 3114 NEW BEST:: SOT 89903 SOS 50461 HAS SOPS 49160 HAS SOUS 27121 HAS SOUPS 26151 WITH SCORE 26201.461
AT ITER 3116 NEW BEST:: SOT 89763 SOS 50297 HAS SOPS 48996 HAS SOUS 26937 HAS SOUPS 25967 WITH SCORE 26017.297
AT ITER 3118 NEW BEST:: SOT 89763 SOS 50297 HAS SOPS 48996 HAS SOUS 26923 HAS SOUPS 25953 WITH SCORE 26003.297
AT ITER 3121 NEW BEST:: SOT 89753 SOS 50287 HAS SOPS 48986 HAS SOUS 26903 HAS SOUPS 25933 WITH SCORE 25983.287
AT ITER 3122 NEW BEST:: SOT 89617 SOS 50130 HAS SOPS 48829 HAS SOUS 26704 HAS SOUPS 25734 WITH SCORE 25784.13
AT ITER 3123 NEW BEST:: SOT 89593 SOS 50106 HAS SOPS 48805 HAS SOUS 26604 HAS SOUPS 25634 WITH SCORE 25684.106
AT ITER 3127 NEW BEST:: SOT 89572 SOS 50085 HAS SOPS 48784 HAS SOUS 26517 HAS SOUPS 25547 WITH SCORE 25597.085
AT ITER 3140 NEW BEST:: SOT 89572 SOS 50015 HAS SOPS 48714 HAS SOUS 26503 HAS SOUPS 25533 WITH SCORE 25583.015
AT ITER 3149 NEW BEST:: SOT 89433 SOS 49934 HAS SOPS 48649 HAS SOUS 26390 HAS SOUPS 25436 WITH SCORE 25485.934
AT ITER 3150 NEW BEST:: SOT 89396 SOS 49897 HAS SOPS 48612 HAS SOUS 26311 HAS SOUPS 25357 WITH SCORE 25406.897
AT ITER 3152 NEW BEST:: SOT 89372 SOS 49873 HAS SOPS 48588 HAS SOUS 26311 HAS SOUPS 25357 WITH SCORE 25406.873
AT ITER 3153 NEW BEST:: SOT 89372 SOS 49855 HAS SOPS 48570 HAS SOUS 26302 HAS SOUPS 25348 WITH SCORE 25397.855
AT ITER 3160 NEW BEST:: SOT 89381 SOS 49735 HAS SOPS 48432 HAS SOUS 26300 HAS SOUPS 25337 WITH SCORE 25386.735
AT ITER 3170 NEW BEST:: SOT 89354 SOS 49685 HAS SOPS 48382 HAS SOUS 26250 HAS SOUPS 25287 WITH SCORE 25336.685
AT ITER 3176 NEW BEST:: SOT 89352 SOS 49678 HAS SOPS 48374 HAS SOUS 26250 HAS SOUPS 25286 WITH SCORE 25335.678
AT ITER 3181 NEW BEST:: SOT 89352 SOS 49658 HAS SOPS 48354 HAS SOUS 26200 HAS SOUPS 25236 WITH SCORE 25285.658
AT ITER 3182 NEW BEST:: SOT 89383 SOS 49643 HAS SOPS 48293 HAS SOUS 26226 HAS SOUPS 25216 WITH SCORE 25265.643
AT ITER 3184 NEW BEST:: SOT 89379 SOS 49639 HAS SOPS 48289 HAS SOUS 26222 HAS SOUPS 25212 WITH SCORE 25261.639
AT ITER 3194 NEW BEST:: SOT 89417 SOS 49613 HAS SOPS 48263 HAS SOUS 26185 HAS SOUPS 25175 WITH SCORE 25224.613
AT ITER 3195 NEW BEST:: SOT 89372 SOS 49568 HAS SOPS 48218 HAS SOUS 26088 HAS SOUPS 25078 WITH SCORE 25127.568
AT ITER 3209 NEW BEST:: SOT 89371 SOS 49565 HAS SOPS 48215 HAS SOUS 26084 HAS SOUPS 25074 WITH SCORE 25123.565
AT ITER 3218 NEW BEST:: SOT 89371 SOS 49358 HAS SOPS 48008 HAS SOUS 26068 HAS SOUPS 25058 WITH SCORE 25107.358
AT ITER 3226 NEW BEST:: SOT 89350 SOS 49331 HAS SOPS 47981 HAS SOUS 26025 HAS SOUPS 25015 WITH SCORE 25064.331
AT ITER 3250 NEW BEST:: SOT 89246 SOS 49108 HAS SOPS 47758 HAS SOUS 25973 HAS SOUPS 24963 WITH SCORE 25012.108
AT ITER 3251 NEW BEST:: SOT 89189 SOS 49246 HAS SOPS 47916 HAS SOUS 25956 HAS SOUPS 24946 WITH SCORE 24995.246
AT ITER 3252 NEW BEST:: SOT 89189 SOS 49216 HAS SOPS 47886 HAS SOUS 25956 HAS SOUPS 24946 WITH SCORE 24995.216
AT ITER 3261 NEW BEST:: SOT 89142 SOS 49169 HAS SOPS 47839 HAS SOUS 25933 HAS SOUPS 24923 WITH SCORE 24972.169
AT ITER 3262 NEW BEST:: SOT 89142 SOS 48918 HAS SOPS 47588 HAS SOUS 25909 HAS SOUPS 24899 WITH SCORE 24947.918
AT ITER 3292 NEW BEST:: SOT 89142 SOS 48922 HAS SOPS 47592 HAS SOUS 25899 HAS SOUPS 24889 WITH SCORE 24937.922
AT ITER 3302 NEW BEST:: SOT 89043 SOS 48823 HAS SOPS 47493 HAS SOUS 25800 HAS SOUPS 24790 WITH SCORE 24838.823
AT ITER 3307 NEW BEST:: SOT 89048 SOS 48846 HAS SOPS 47516 HAS SOUS 25786 HAS SOUPS 24776 WITH SCORE 24824.846
AT ITER 3321 NEW BEST:: SOT 89041 SOS 48841 HAS SOPS 47525 HAS SOUS 25772 HAS SOUPS 24776 WITH SCORE 24824.841
AT ITER 3324 NEW BEST:: SOT 89400 SOS 49200 HAS SOPS 47884 HAS SOUS 25649 HAS SOUPS 24653 WITH SCORE 24702.2
AT ITER 3325 NEW BEST:: SOT 89324 SOS 49145 HAS SOPS 47829 HAS SOUS 25603 HAS SOUPS 24607 WITH SCORE 24656.145
AT ITER 3338 NEW BEST:: SOT 89276 SOS 49097 HAS SOPS 47781 HAS SOUS 25585 HAS SOUPS 24589 WITH SCORE 24638.097
AT ITER 3349 NEW BEST:: SOT 89276 SOS 49076 HAS SOPS 47760 HAS SOUS 25578 HAS SOUPS 24582 WITH SCORE 24631.076
AT ITER 3352 NEW BEST:: SOT 89267 SOS 49065 HAS SOPS 47749 HAS SOUS 25542 HAS SOUPS 24546 WITH SCORE 24595.065
AT ITER 3359 NEW BEST:: SOT 89267 SOS 49060 HAS SOPS 47749 HAS SOUS 25537 HAS SOUPS 24546 WITH SCORE 24595.06
AT ITER 3370 NEW BEST:: SOT 89296 SOS 49069 HAS SOPS 47738 HAS SOUS 25547 HAS SOUPS 24536 WITH SCORE 24585.069
AT ITER 3373 NEW BEST:: SOT 89360 SOS 48741 HAS SOPS 47410 HAS SOUS 25547 HAS SOUPS 24536 WITH SCORE 24584.741
AT ITER 3395 NEW BEST:: SOT 89436 SOS 48354 HAS SOPS 47023 HAS SOUS 25540 HAS SOUPS 24529 WITH SCORE 24577.354
AT ITER 3396 NEW BEST:: SOT 89376 SOS 48296 HAS SOPS 46965 HAS SOUS 25482 HAS SOUPS 24471 WITH SCORE 24519.296
AT ITER 3407 NEW BEST:: SOT 89376 SOS 48296 HAS SOPS 46965 HAS SOUS 25474 HAS SOUPS 24463 WITH SCORE 24511.296
AT ITER 3408 NEW BEST:: SOT 89363 SOS 48254 HAS SOPS 46923 HAS SOUS 25432 HAS SOUPS 24421 WITH SCORE 24469.254
AT ITER 3428 NEW BEST:: SOT 89358 SOS 48249 HAS SOPS 46918 HAS SOUS 25422 HAS SOUPS 24411 WITH SCORE 24459.249
AT ITER 3440 NEW BEST:: SOT 89372 SOS 48100 HAS SOPS 46769 HAS SOUS 25375 HAS SOUPS 24364 WITH SCORE 24412.1
AT ITER 3451 NEW BEST:: SOT 89363 SOS 48048 HAS SOPS 46711 HAS SOUS 25368 HAS SOUPS 24354 WITH SCORE 24402.048
AT ITER 3453 NEW BEST:: SOT 89338 SOS 48023 HAS SOPS 46686 HAS SOUS 25361 HAS SOUPS 24347 WITH SCORE 24395.023
AT ITER 3454 NEW BEST:: SOT 89338 SOS 48023 HAS SOPS 46686 HAS SOUS 25331 HAS SOUPS 24317 WITH SCORE 24365.023
AT ITER 3456 NEW BEST:: SOT 89331 SOS 48016 HAS SOPS 46679 HAS SOUS 25324 HAS SOUPS 24310 WITH SCORE 24358.016
AT ITER 3460 NEW BEST:: SOT 89286 SOS 47971 HAS SOPS 46634 HAS SOUS 25266 HAS SOUPS 24252 WITH SCORE 24299.971
AT ITER 3466 NEW BEST:: SOT 89249 SOS 47636 HAS SOPS 46277 HAS SOUS 25162 HAS SOUPS 24148 WITH SCORE 24195.636
AT ITER 3499 NEW BEST:: SOT 89240 SOS 47627 HAS SOPS 46268 HAS SOUS 25153 HAS SOUPS 24139 WITH SCORE 24186.627
AT ITER 3500 NEW BEST:: SOT 89295 SOS 47646 HAS SOPS 46266 HAS SOUS 25122 HAS SOUPS 24103 WITH SCORE 24150.646
AT ITER 3505 NEW BEST:: SOT 89286 SOS 47637 HAS SOPS 46257 HAS SOUS 25104 HAS SOUPS 24085 WITH SCORE 24132.637
AT ITER 3517 NEW BEST:: SOT 89280 SOS 47631 HAS SOPS 46251 HAS SOUS 25076 HAS SOUPS 24057 WITH SCORE 24104.631
AT ITER 3537 NEW BEST:: SOT 89280 SOS 47631 HAS SOPS 46251 HAS SOUS 25046 HAS SOUPS 24027 WITH SCORE 24074.631
AT ITER 3560 NEW BEST:: SOT 89246 SOS 47645 HAS SOPS 46265 HAS SOUS 25036 HAS SOUPS 24017 WITH SCORE 24064.645
AT ITER 3582 NEW BEST:: SOT 89158 SOS 47380 HAS SOPS 45921 HAS SOUS 25076 HAS SOUPS 23978 WITH SCORE 24025.38
AT ITER 3589 NEW BEST:: SOT 89158 SOS 47380 HAS SOPS 45921 HAS SOUS 25066 HAS SOUPS 23968 WITH SCORE 24015.38
AT ITER 3595 NEW BEST:: SOT 89052 SOS 47274 HAS SOPS 45815 HAS SOUS 24960 HAS SOUPS 23862 WITH SCORE 23909.274
AT ITER 3643 NEW BEST:: SOT 89030 SOS 47278 HAS SOPS 45819 HAS SOUS 24957 HAS SOUPS 23859 WITH SCORE 23906.278
AT ITER 3667 NEW BEST:: SOT 89030 SOS 47294 HAS SOPS 45712 HAS SOUS 24919 HAS SOUPS 23757 WITH SCORE 23804.294
AT ITER 3671 NEW BEST:: SOT 89027 SOS 47273 HAS SOPS 45691 HAS SOUS 24910 HAS SOUPS 23748 WITH SCORE 23795.273
AT ITER 3679 NEW BEST:: SOT 88957 SOS 47137 HAS SOPS 45555 HAS SOUS 24896 HAS SOUPS 23734 WITH SCORE 23781.137
AT ITER 3683 NEW BEST:: SOT 88623 SOS 47013 HAS SOPS 45431 HAS SOUS 24770 HAS SOUPS 23608 WITH SCORE 23655.013
AT ITER 3695 NEW BEST:: SOT 88614 SOS 47026 HAS SOPS 45422 HAS SOUS 24761 HAS SOUPS 23599 WITH SCORE 23646.026
AT ITER 3702 NEW BEST:: SOT 88614 SOS 47026 HAS SOPS 45422 HAS SOUS 24760 HAS SOUPS 23598 WITH SCORE 23645.026
AT ITER 3744 NEW BEST:: SOT 88612 SOS 47022 HAS SOPS 45417 HAS SOUS 24758 HAS SOUPS 23596 WITH SCORE 23643.022
AT ITER 3748 NEW BEST:: SOT 88613 SOS 47000 HAS SOPS 45395 HAS SOUS 24713 HAS SOUPS 23551 WITH SCORE 23598.0
AT ITER 3753 NEW BEST:: SOT 88613 SOS 46964 HAS SOPS 45359 HAS SOUS 24701 HAS SOUPS 23539 WITH SCORE 23585.964
AT ITER 3782 NEW BEST:: SOT 88648 SOS 46955 HAS SOPS 45350 HAS SOUS 24692 HAS SOUPS 23530 WITH SCORE 23576.955
AT ITER 3798 NEW BEST:: SOT 88617 SOS 46854 HAS SOPS 45235 HAS SOUS 24659 HAS SOUPS 23483 WITH SCORE 23529.854
AT ITER 3802 NEW BEST:: SOT 88664 SOS 46730 HAS SOPS 45129 HAS SOUS 24495 HAS SOUPS 23337 WITH SCORE 23383.73
AT ITER 3816 NEW BEST:: SOT 88768 SOS 46666 HAS SOPS 45065 HAS SOUS 24411 HAS SOUPS 23253 WITH SCORE 23299.666
AT ITER 3818 NEW BEST:: SOT 88757 SOS 46644 HAS SOPS 45043 HAS SOUS 24411 HAS SOUPS 23253 WITH SCORE 23299.644
AT ITER 3819 NEW BEST:: SOT 88743 SOS 46616 HAS SOPS 45015 HAS SOUS 24383 HAS SOUPS 23225 WITH SCORE 23271.616
AT ITER 3836 NEW BEST:: SOT 88746 SOS 46619 HAS SOPS 45018 HAS SOUS 24376 HAS SOUPS 23218 WITH SCORE 23264.619
AT ITER 3840 NEW BEST:: SOT 88754 SOS 46740 HAS SOPS 45139 HAS SOUS 24369 HAS SOUPS 23211 WITH SCORE 23257.74
AT ITER 3863 NEW BEST:: SOT 88739 SOS 46725 HAS SOPS 45124 HAS SOUS 24354 HAS SOUPS 23196 WITH SCORE 23242.725
AT ITER 3866 NEW BEST:: SOT 88700 SOS 46685 HAS SOPS 45084 HAS SOUS 24314 HAS SOUPS 23156 WITH SCORE 23202.685
AT ITER 3871 NEW BEST:: SOT 88712 SOS 46697 HAS SOPS 45096 HAS SOUS 24300 HAS SOUPS 23142 WITH SCORE 23188.697
AT ITER 3872 NEW BEST:: SOT 88667 SOS 46642 HAS SOPS 45041 HAS SOUS 24201 HAS SOUPS 23043 WITH SCORE 23089.642
AT ITER 3877 NEW BEST:: SOT 88659 SOS 46626 HAS SOPS 45025 HAS SOUS 24193 HAS SOUPS 23035 WITH SCORE 23081.626
AT ITER 3881 NEW BEST:: SOT 88660 SOS 46627 HAS SOPS 45026 HAS SOUS 24182 HAS SOUPS 23024 WITH SCORE 23070.627
AT ITER 3882 NEW BEST:: SOT 88525 SOS 46492 HAS SOPS 44891 HAS SOUS 24107 HAS SOUPS 22949 WITH SCORE 22995.492
AT ITER 3884 NEW BEST:: SOT 88534 SOS 46483 HAS SOPS 44882 HAS SOUS 24107 HAS SOUPS 22949 WITH SCORE 22995.483
AT ITER 3894 NEW BEST:: SOT 88565 SOS 46473 HAS SOPS 44873 HAS SOUS 24096 HAS SOUPS 22939 WITH SCORE 22985.473
AT ITER 3914 NEW BEST:: SOT 88514 SOS 46458 HAS SOPS 44858 HAS SOUS 24081 HAS SOUPS 22924 WITH SCORE 22970.458
AT ITER 3927 NEW BEST:: SOT 88452 SOS 46370 HAS SOPS 44770 HAS SOUS 23991 HAS SOUPS 22834 WITH SCORE 22880.37
AT ITER 3929 NEW BEST:: SOT 88502 SOS 46420 HAS SOPS 44820 HAS SOUS 23975 HAS SOUPS 22818 WITH SCORE 22864.42
AT ITER 3944 NEW BEST:: SOT 88502 SOS 46390 HAS SOPS 44790 HAS SOUS 23970 HAS SOUPS 22813 WITH SCORE 22859.39
AT ITER 3959 NEW BEST:: SOT 88332 SOS 45927 HAS SOPS 44327 HAS SOUS 23941 HAS SOUPS 22784 WITH SCORE 22829.927
AT ITER 3966 NEW BEST:: SOT 88332 SOS 45927 HAS SOPS 44327 HAS SOUS 23939 HAS SOUPS 22782 WITH SCORE 22827.927
AT ITER 3980 NEW BEST:: SOT 88313 SOS 45908 HAS SOPS 44308 HAS SOUS 23920 HAS SOUPS 22763 WITH SCORE 22808.908
AT ITER 3981 NEW BEST:: SOT 88303 SOS 45898 HAS SOPS 44298 HAS SOUS 23910 HAS SOUPS 22753 WITH SCORE 22798.898
AT ITER 4001 NEW BEST:: SOT 88303 SOS 45898 HAS SOPS 44298 HAS SOUS 23907 HAS SOUPS 22750 WITH SCORE 22795.898
AT ITER 4011 NEW BEST:: SOT 88306 SOS 45894 HAS SOPS 44294 HAS SOUS 23907 HAS SOUPS 22750 WITH SCORE 22795.894
AT ITER 4044 NEW BEST:: SOT 88241 SOS 45759 HAS SOPS 44159 HAS SOUS 23866 HAS SOUPS 22709 WITH SCORE 22754.759
AT ITER 4047 NEW BEST:: SOT 88252 SOS 45763 HAS SOPS 44156 HAS SOUS 23870 HAS SOUPS 22706 WITH SCORE 22751.763
AT ITER 4053 NEW BEST:: SOT 88250 SOS 45761 HAS SOPS 44154 HAS SOUS 23868 HAS SOUPS 22704 WITH SCORE 22749.761
AT ITER 4065 NEW BEST:: SOT 88250 SOS 45764 HAS SOPS 44157 HAS SOUS 23854 HAS SOUPS 22690 WITH SCORE 22735.764
AT ITER 4078 NEW BEST:: SOT 88262 SOS 45776 HAS SOPS 44169 HAS SOUS 23808 HAS SOUPS 22644 WITH SCORE 22689.776
AT ITER 4099 NEW BEST:: SOT 88398 SOS 45914 HAS SOPS 44307 HAS SOUS 23792 HAS SOUPS 22628 WITH SCORE 22673.914
AT ITER 4101 NEW BEST:: SOT 88403 SOS 45904 HAS SOPS 44297 HAS SOUS 23792 HAS SOUPS 22628 WITH SCORE 22673.904
AT ITER 4105 NEW BEST:: SOT 88402 SOS 45903 HAS SOPS 44296 HAS SOUS 23792 HAS SOUPS 22628 WITH SCORE 22673.903
AT ITER 4109 NEW BEST:: SOT 88374 SOS 45875 HAS SOPS 44268 HAS SOUS 23764 HAS SOUPS 22600 WITH SCORE 22645.875
AT ITER 4111 NEW BEST:: SOT 88402 SOS 45807 HAS SOPS 44200 HAS SOUS 23744 HAS SOUPS 22580 WITH SCORE 22625.807
AT ITER 4133 NEW BEST:: SOT 88305 SOS 45765 HAS SOPS 44179 HAS SOUS 23692 HAS SOUPS 22549 WITH SCORE 22594.765
AT ITER 4135 NEW BEST:: SOT 88305 SOS 45730 HAS SOPS 44144 HAS SOUS 23692 HAS SOUPS 22549 WITH SCORE 22594.73
AT ITER 4146 NEW BEST:: SOT 88357 SOS 45820 HAS SOPS 44234 HAS SOUS 23689 HAS SOUPS 22546 WITH SCORE 22591.82
AT ITER 4177 NEW BEST:: SOT 88360 SOS 45823 HAS SOPS 44237 HAS SOUS 23652 HAS SOUPS 22509 WITH SCORE 22554.823
AT ITER 4193 NEW BEST:: SOT 88208 SOS 45594 HAS SOPS 44008 HAS SOUS 23423 HAS SOUPS 22280 WITH SCORE 22325.594
AT ITER 4200 NEW BEST:: SOT 88212 SOS 45495 HAS SOPS 43909 HAS SOUS 23402 HAS SOUPS 22259 WITH SCORE 22304.495
AT ITER 4215 NEW BEST:: SOT 88192 SOS 45475 HAS SOPS 43889 HAS SOUS 23382 HAS SOUPS 22239 WITH SCORE 22284.475
AT ITER 4225 NEW BEST:: SOT 88141 SOS 45628 HAS SOPS 44042 HAS SOUS 23300 HAS SOUPS 22157 WITH SCORE 22202.628
AT ITER 4295 NEW BEST:: SOT 88099 SOS 45540 HAS SOPS 43954 HAS SOUS 23258 HAS SOUPS 22115 WITH SCORE 22160.54
AT ITER 4317 NEW BEST:: SOT 88088 SOS 45496 HAS SOPS 43888 HAS SOUS 23236 HAS SOUPS 22082 WITH SCORE 22127.496
AT ITER 4322 NEW BEST:: SOT 88083 SOS 45413 HAS SOPS 43805 HAS SOUS 23221 HAS SOUPS 22067 WITH SCORE 22112.413
AT ITER 4331 NEW BEST:: SOT 88039 SOS 45369 HAS SOPS 43761 HAS SOUS 23177 HAS SOUPS 22023 WITH SCORE 22068.369
AT ITER 4346 NEW BEST:: SOT 88039 SOS 45369 HAS SOPS 43761 HAS SOUS 23171 HAS SOUPS 22017 WITH SCORE 22062.369
AT ITER 4355 NEW BEST:: SOT 88023 SOS 45357 HAS SOPS 43749 HAS SOUS 23159 HAS SOUPS 22005 WITH SCORE 22050.357
AT ITER 4359 NEW BEST:: SOT 88027 SOS 45357 HAS SOPS 43749 HAS SOUS 23155 HAS SOUPS 22001 WITH SCORE 22046.357
AT ITER 4379 NEW BEST:: SOT 88027 SOS 45333 HAS SOPS 43725 HAS SOUS 23131 HAS SOUPS 21977 WITH SCORE 22022.333
AT ITER 4387 NEW BEST:: SOT 88014 SOS 45320 HAS SOPS 43712 HAS SOUS 23120 HAS SOUPS 21966 WITH SCORE 22011.32
AT ITER 4400 NEW BEST:: SOT 87918 SOS 45224 HAS SOPS 43616 HAS SOUS 23081 HAS SOUPS 21927 WITH SCORE 21972.224
AT ITER 4408 NEW BEST:: SOT 87968 SOS 45360 HAS SOPS 43752 HAS SOUS 23080 HAS SOUPS 21926 WITH SCORE 21971.36
AT ITER 4435 NEW BEST:: SOT 87974 SOS 45264 HAS SOPS 43656 HAS SOUS 23071 HAS SOUPS 21917 WITH SCORE 21962.264
AT ITER 4449 NEW BEST:: SOT 87884 SOS 45217 HAS SOPS 43609 HAS SOUS 23053 HAS SOUPS 21899 WITH SCORE 21944.217
AT ITER 4464 NEW BEST:: SOT 87785 SOS 45118 HAS SOPS 43510 HAS SOUS 23021 HAS SOUPS 21867 WITH SCORE 21912.118
AT ITER 4488 NEW BEST:: SOT 87765 SOS 45098 HAS SOPS 43490 HAS SOUS 23021 HAS SOUPS 21867 WITH SCORE 21912.098
AT ITER 4498 NEW BEST:: SOT 87761 SOS 45064 HAS SOPS 43456 HAS SOUS 22987 HAS SOUPS 21833 WITH SCORE 21878.064
AT ITER 4501 NEW BEST:: SOT 87753 SOS 45015 HAS SOPS 43407 HAS SOUS 22922 HAS SOUPS 21768 WITH SCORE 21813.015
AT ITER 4506 NEW BEST:: SOT 87703 SOS 44994 HAS SOPS 43386 HAS SOUS 22907 HAS SOUPS 21753 WITH SCORE 21797.994
AT ITER 4514 NEW BEST:: SOT 87695 SOS 44986 HAS SOPS 43378 HAS SOUS 22907 HAS SOUPS 21753 WITH SCORE 21797.986
AT ITER 4526 NEW BEST:: SOT 87666 SOS 44957 HAS SOPS 43349 HAS SOUS 22904 HAS SOUPS 21750 WITH SCORE 21794.957
AT ITER 4543 NEW BEST:: SOT 87638 SOS 44953 HAS SOPS 43345 HAS SOUS 22900 HAS SOUPS 21746 WITH SCORE 21790.953
AT ITER 4544 NEW BEST:: SOT 87638 SOS 44713 HAS SOPS 43105 HAS SOUS 22860 HAS SOUPS 21706 WITH SCORE 21750.713
AT ITER 4550 NEW BEST:: SOT 87638 SOS 44706 HAS SOPS 43098 HAS SOUS 22857 HAS SOUPS 21703 WITH SCORE 21747.706
AT ITER 4577 NEW BEST:: SOT 87624 SOS 44652 HAS SOPS 43044 HAS SOUS 22843 HAS SOUPS 21689 WITH SCORE 21733.652
AT ITER 4601 NEW BEST:: SOT 87576 SOS 44604 HAS SOPS 42996 HAS SOUS 22819 HAS SOUPS 21665 WITH SCORE 21709.604
AT ITER 4623 NEW BEST:: SOT 87547 SOS 44472 HAS SOPS 42848 HAS SOUS 22758 HAS SOUPS 21588 WITH SCORE 21632.472
AT ITER 4662 NEW BEST:: SOT 87531 SOS 44456 HAS SOPS 42832 HAS SOUS 22746 HAS SOUPS 21576 WITH SCORE 21620.456
AT ITER 4718 NEW BEST:: SOT 87544 SOS 44217 HAS SOPS 42593 HAS SOUS 22636 HAS SOUPS 21466 WITH SCORE 21510.217
AT ITER 4802 NEW BEST:: SOT 87528 SOS 44201 HAS SOPS 42577 HAS SOUS 22620 HAS SOUPS 21450 WITH SCORE 21494.201
AT ITER 4832 NEW BEST:: SOT 87522 SOS 44201 HAS SOPS 42577 HAS SOUS 22618 HAS SOUPS 21448 WITH SCORE 21492.201
AT ITER 4833 NEW BEST:: SOT 87522 SOS 44181 HAS SOPS 42557 HAS SOUS 22608 HAS SOUPS 21438 WITH SCORE 21482.181
AT ITER 4845 NEW BEST:: SOT 87422 SOS 44143 HAS SOPS 42519 HAS SOUS 22570 HAS SOUPS 21400 WITH SCORE 21444.143
AT ITER 4848 NEW BEST:: SOT 87377 SOS 44098 HAS SOPS 42474 HAS SOUS 22559 HAS SOUPS 21389 WITH SCORE 21433.098
AT ITER 4888 NEW BEST:: SOT 87377 SOS 44075 HAS SOPS 42449 HAS SOUS 22559 HAS SOUPS 21387 WITH SCORE 21431.075
AT ITER 4895 NEW BEST:: SOT 87337 SOS 44021 HAS SOPS 42395 HAS SOUS 22535 HAS SOUPS 21363 WITH SCORE 21407.021
AT ITER 4896 NEW BEST:: SOT 87333 SOS 44014 HAS SOPS 42388 HAS SOUS 22533 HAS SOUPS 21361 WITH SCORE 21405.014
AT ITER 4920 NEW BEST:: SOT 87330 SOS 44011 HAS SOPS 42385 HAS SOUS 22530 HAS SOUPS 21358 WITH SCORE 21402.011
AT ITER 4944 NEW BEST:: SOT 87384 SOS 44065 HAS SOPS 42439 HAS SOUS 22472 HAS SOUPS 21300 WITH SCORE 21344.065
AT ITER 4950 NEW BEST:: SOT 87312 SOS 44022 HAS SOPS 42396 HAS SOUS 22471 HAS SOUPS 21299 WITH SCORE 21343.022
AT ITER 4984 NEW BEST:: SOT 87260 SOS 43650 HAS SOPS 42024 HAS SOUS 22419 HAS SOUPS 21247 WITH SCORE 21290.65
AT ITER 5003 NEW BEST:: SOT 87243 SOS 43679 HAS SOPS 42053 HAS SOUS 22417 HAS SOUPS 21245 WITH SCORE 21288.679
AT ITER 5071 NEW BEST:: SOT 87185 SOS 43637 HAS SOPS 42011 HAS SOUS 22400 HAS SOUPS 21228 WITH SCORE 21271.637
AT ITER 5088 NEW BEST:: SOT 87197 SOS 43560 HAS SOPS 41932 HAS SOUS 22386 HAS SOUPS 21212 WITH SCORE 21255.56
AT ITER 5092 NEW BEST:: SOT 87195 SOS 43558 HAS SOPS 41930 HAS SOUS 22384 HAS SOUPS 21210 WITH SCORE 21253.558
AT ITER 5095 NEW BEST:: SOT 87214 SOS 43631 HAS SOPS 42003 HAS SOUS 22377 HAS SOUPS 21203 WITH SCORE 21246.631
AT ITER 5096 NEW BEST:: SOT 87198 SOS 43615 HAS SOPS 41987 HAS SOUS 22337 HAS SOUPS 21163 WITH SCORE 21206.615
AT ITER 5121 NEW BEST:: SOT 87190 SOS 43599 HAS SOPS 41971 HAS SOUS 22329 HAS SOUPS 21155 WITH SCORE 21198.599
AT ITER 5131 NEW BEST:: SOT 87068 SOS 43359 HAS SOPS 41731 HAS SOUS 22148 HAS SOUPS 20974 WITH SCORE 21017.359
AT ITER 5150 NEW BEST:: SOT 87068 SOS 43351 HAS SOPS 41723 HAS SOUS 22144 HAS SOUPS 20970 WITH SCORE 21013.351
AT ITER 5154 NEW BEST:: SOT 87051 SOS 43347 HAS SOPS 41719 HAS SOUS 22124 HAS SOUPS 20950 WITH SCORE 20993.347
AT ITER 5159 NEW BEST:: SOT 87074 SOS 43347 HAS SOPS 41719 HAS SOUS 22107 HAS SOUPS 20933 WITH SCORE 20976.347
AT ITER 5164 NEW BEST:: SOT 87074 SOS 43335 HAS SOPS 41707 HAS SOUS 22095 HAS SOUPS 20921 WITH SCORE 20964.335
AT ITER 5186 NEW BEST:: SOT 87066 SOS 43339 HAS SOPS 41707 HAS SOUS 22091 HAS SOUPS 20913 WITH SCORE 20956.339
AT ITER 5206 NEW BEST:: SOT 87064 SOS 43337 HAS SOPS 41705 HAS SOUS 22089 HAS SOUPS 20911 WITH SCORE 20954.337
AT ITER 5225 NEW BEST:: SOT 87052 SOS 43319 HAS SOPS 41687 HAS SOUS 22063 HAS SOUPS 20885 WITH SCORE 20928.319
AT ITER 5235 NEW BEST:: SOT 86934 SOS 43152 HAS SOPS 41520 HAS SOUS 21983 HAS SOUPS 20805 WITH SCORE 20848.152
AT ITER 5275 NEW BEST:: SOT 86928 SOS 43252 HAS SOPS 41620 HAS SOUS 21979 HAS SOUPS 20801 WITH SCORE 20844.252
AT ITER 5304 NEW BEST:: SOT 86893 SOS 43217 HAS SOPS 41585 HAS SOUS 21952 HAS SOUPS 20774 WITH SCORE 20817.217
AT ITER 5324 NEW BEST:: SOT 86894 SOS 43215 HAS SOPS 41583 HAS SOUS 21952 HAS SOUPS 20774 WITH SCORE 20817.215
AT ITER 5332 NEW BEST:: SOT 86888 SOS 43209 HAS SOPS 41577 HAS SOUS 21946 HAS SOUPS 20768 WITH SCORE 20811.209
AT ITER 5348 NEW BEST:: SOT 86800 SOS 42736 HAS SOPS 41104 HAS SOUS 21846 HAS SOUPS 20668 WITH SCORE 20710.736
AT ITER 5365 NEW BEST:: SOT 86767 SOS 42670 HAS SOPS 41038 HAS SOUS 21832 HAS SOUPS 20654 WITH SCORE 20696.67
AT ITER 5370 NEW BEST:: SOT 86767 SOS 42670 HAS SOPS 41038 HAS SOUS 21812 HAS SOUPS 20634 WITH SCORE 20676.67
AT ITER 5381 NEW BEST:: SOT 86767 SOS 42670 HAS SOPS 41038 HAS SOUS 21804 HAS SOUPS 20626 WITH SCORE 20668.67
AT ITER 5393 NEW BEST:: SOT 86687 SOS 42373 HAS SOPS 40733 HAS SOUS 21689 HAS SOUPS 20503 WITH SCORE 20545.373
AT ITER 5416 NEW BEST:: SOT 86703 SOS 42381 HAS SOPS 40741 HAS SOUS 21681 HAS SOUPS 20495 WITH SCORE 20537.381
AT ITER 5417 NEW BEST:: SOT 86703 SOS 42381 HAS SOPS 40741 HAS SOUS 21671 HAS SOUPS 20485 WITH SCORE 20527.381
AT ITER 5442 NEW BEST:: SOT 86575 SOS 42253 HAS SOPS 40613 HAS SOUS 21627 HAS SOUPS 20441 WITH SCORE 20483.253
AT ITER 5464 NEW BEST:: SOT 86540 SOS 42196 HAS SOPS 40534 HAS SOUS 21594 HAS SOUPS 20386 WITH SCORE 20428.196
AT ITER 5467 NEW BEST:: SOT 86540 SOS 42150 HAS SOPS 40488 HAS SOUS 21542 HAS SOUPS 20334 WITH SCORE 20376.15
AT ITER 5470 NEW BEST:: SOT 86539 SOS 42107 HAS SOPS 40439 HAS SOUS 21527 HAS SOUPS 20313 WITH SCORE 20355.107
AT ITER 5483 NEW BEST:: SOT 86537 SOS 42103 HAS SOPS 40435 HAS SOUS 21523 HAS SOUPS 20309 WITH SCORE 20351.103
AT ITER 5556 NEW BEST:: SOT 86531 SOS 42091 HAS SOPS 40423 HAS SOUS 21519 HAS SOUPS 20305 WITH SCORE 20347.091
AT ITER 5576 NEW BEST:: SOT 86506 SOS 42066 HAS SOPS 40398 HAS SOUS 21448 HAS SOUPS 20234 WITH SCORE 20276.066
AT ITER 5590 NEW BEST:: SOT 86511 SOS 42038 HAS SOPS 40370 HAS SOUS 21412 HAS SOUPS 20198 WITH SCORE 20240.038
AT ITER 5614 NEW BEST:: SOT 86535 SOS 42047 HAS SOPS 40379 HAS SOUS 21391 HAS SOUPS 20177 WITH SCORE 20219.047
AT ITER 5625 NEW BEST:: SOT 86533 SOS 42045 HAS SOPS 40377 HAS SOUS 21389 HAS SOUPS 20175 WITH SCORE 20217.045
AT ITER 5651 NEW BEST:: SOT 86398 SOS 42060 HAS SOPS 40392 HAS SOUS 21275 HAS SOUPS 20061 WITH SCORE 20103.06
AT ITER 5666 NEW BEST:: SOT 86367 SOS 42003 HAS SOPS 40335 HAS SOUS 21249 HAS SOUPS 20035 WITH SCORE 20077.003
AT ITER 5667 NEW BEST:: SOT 86331 SOS 41925 HAS SOPS 40257 HAS SOUS 21186 HAS SOUPS 19972 WITH SCORE 20013.925
AT ITER 5673 NEW BEST:: SOT 86331 SOS 41966 HAS SOPS 40298 HAS SOUS 21182 HAS SOUPS 19968 WITH SCORE 20009.966
AT ITER 5711 NEW BEST:: SOT 86334 SOS 41969 HAS SOPS 40301 HAS SOUS 21162 HAS SOUPS 19948 WITH SCORE 19989.969
AT ITER 5713 NEW BEST:: SOT 86311 SOS 41946 HAS SOPS 40278 HAS SOUS 21139 HAS SOUPS 19925 WITH SCORE 19966.946
AT ITER 5714 NEW BEST:: SOT 86283 SOS 41910 HAS SOPS 40242 HAS SOUS 21134 HAS SOUPS 19920 WITH SCORE 19961.91
AT ITER 5745 NEW BEST:: SOT 86266 SOS 41893 HAS SOPS 40225 HAS SOUS 21101 HAS SOUPS 19887 WITH SCORE 19928.893
AT ITER 5749 NEW BEST:: SOT 86266 SOS 41893 HAS SOPS 40225 HAS SOUS 21099 HAS SOUPS 19885 WITH SCORE 19926.893
AT ITER 5751 NEW BEST:: SOT 86262 SOS 42069 HAS SOPS 40401 HAS SOUS 21095 HAS SOUPS 19881 WITH SCORE 19923.069
AT ITER 5797 NEW BEST:: SOT 86204 SOS 42011 HAS SOPS 40343 HAS SOUS 21037 HAS SOUPS 19823 WITH SCORE 19865.011
AT ITER 5824 NEW BEST:: SOT 86200 SOS 42007 HAS SOPS 40339 HAS SOUS 21033 HAS SOUPS 19819 WITH SCORE 19861.007
AT ITER 5845 NEW BEST:: SOT 86179 SOS 41986 HAS SOPS 40318 HAS SOUS 21012 HAS SOUPS 19798 WITH SCORE 19839.986
AT ITER 5851 NEW BEST:: SOT 86179 SOS 41962 HAS SOPS 40294 HAS SOUS 21012 HAS SOUPS 19798 WITH SCORE 19839.962
AT ITER 5854 NEW BEST:: SOT 86168 SOS 41962 HAS SOPS 40294 HAS SOUS 21008 HAS SOUPS 19794 WITH SCORE 19835.962
AT ITER 5928 NEW BEST:: SOT 86168 SOS 41955 HAS SOPS 40287 HAS SOUS 21004 HAS SOUPS 19790 WITH SCORE 19831.955
AT ITER 5933 NEW BEST:: SOT 86064 SOS 41851 HAS SOPS 40183 HAS SOUS 20908 HAS SOUPS 19694 WITH SCORE 19735.851
AT ITER 5952 NEW BEST:: SOT 86042 SOS 42076 HAS SOPS 40408 HAS SOUS 20886 HAS SOUPS 19672 WITH SCORE 19714.076
AT ITER 6000 NEW BEST:: SOT 86023 SOS 42059 HAS SOPS 40391 HAS SOUS 20872 HAS SOUPS 19658 WITH SCORE 19700.059
AT ITER 6003 NEW BEST:: SOT 86002 SOS 41884 HAS SOPS 40201 HAS SOUS 20851 HAS SOUPS 19622 WITH SCORE 19663.884
AT ITER 6011 NEW BEST:: SOT 85946 SOS 41828 HAS SOPS 40145 HAS SOUS 20851 HAS SOUPS 19622 WITH SCORE 19663.828
AT ITER 6016 NEW BEST:: SOT 85940 SOS 41818 HAS SOPS 40135 HAS SOUS 20843 HAS SOUPS 19614 WITH SCORE 19655.818
AT ITER 6037 NEW BEST:: SOT 85928 SOS 41790 HAS SOPS 40107 HAS SOUS 20813 HAS SOUPS 19584 WITH SCORE 19625.79
AT ITER 6074 NEW BEST:: SOT 85903 SOS 41737 HAS SOPS 40054 HAS SOUS 20800 HAS SOUPS 19571 WITH SCORE 19612.737
AT ITER 6100 NEW BEST:: SOT 85835 SOS 41656 HAS SOPS 39973 HAS SOUS 20797 HAS SOUPS 19568 WITH SCORE 19609.656
AT ITER 6114 NEW BEST:: SOT 85831 SOS 41567 HAS SOPS 39884 HAS SOUS 20775 HAS SOUPS 19546 WITH SCORE 19587.567
AT ITER 6134 NEW BEST:: SOT 85810 SOS 41508 HAS SOPS 39837 HAS SOUS 20754 HAS SOUPS 19537 WITH SCORE 19578.508
AT ITER 6145 NEW BEST:: SOT 85782 SOS 41414 HAS SOPS 39743 HAS SOUS 20702 HAS SOUPS 19485 WITH SCORE 19526.414
AT ITER 6146 NEW BEST:: SOT 85782 SOS 41407 HAS SOPS 39736 HAS SOUS 20695 HAS SOUPS 19478 WITH SCORE 19519.407
AT ITER 6170 NEW BEST:: SOT 85779 SOS 41401 HAS SOPS 39730 HAS SOUS 20695 HAS SOUPS 19478 WITH SCORE 19519.401
AT ITER 6202 NEW BEST:: SOT 85789 SOS 41411 HAS SOPS 39740 HAS SOUS 20693 HAS SOUPS 19476 WITH SCORE 19517.411
AT ITER 6216 NEW BEST:: SOT 85789 SOS 41411 HAS SOPS 39740 HAS SOUS 20675 HAS SOUPS 19458 WITH SCORE 19499.411
AT ITER 6221 NEW BEST:: SOT 85789 SOS 41427 HAS SOPS 39732 HAS SOUS 20663 HAS SOUPS 19438 WITH SCORE 19479.427
AT ITER 6260 NEW BEST:: SOT 85863 SOS 41501 HAS SOPS 39806 HAS SOUS 20651 HAS SOUPS 19426 WITH SCORE 19467.501
AT ITER 6262 NEW BEST:: SOT 85850 SOS 41530 HAS SOPS 39835 HAS SOUS 20650 HAS SOUPS 19425 WITH SCORE 19466.53
AT ITER 6297 NEW BEST:: SOT 85850 SOS 41500 HAS SOPS 39805 HAS SOUS 20650 HAS SOUPS 19425 WITH SCORE 19466.5
AT ITER 6330 NEW BEST:: SOT 85844 SOS 41494 HAS SOPS 39799 HAS SOUS 20644 HAS SOUPS 19419 WITH SCORE 19460.494
AT ITER 6331 NEW BEST:: SOT 85811 SOS 41455 HAS SOPS 39760 HAS SOUS 20605 HAS SOUPS 19380 WITH SCORE 19421.455
AT ITER 6343 NEW BEST:: SOT 85848 SOS 41492 HAS SOPS 39797 HAS SOUS 20582 HAS SOUPS 19357 WITH SCORE 19398.492
AT ITER 6378 NEW BEST:: SOT 85844 SOS 41443 HAS SOPS 39748 HAS SOUS 20551 HAS SOUPS 19326 WITH SCORE 19367.443
AT ITER 6405 NEW BEST:: SOT 85832 SOS 41431 HAS SOPS 39736 HAS SOUS 20551 HAS SOUPS 19326 WITH SCORE 19367.431
AT ITER 6408 NEW BEST:: SOT 85832 SOS 41411 HAS SOPS 39716 HAS SOUS 20491 HAS SOUPS 19266 WITH SCORE 19307.411
AT ITER 6414 NEW BEST:: SOT 85834 SOS 41335 HAS SOPS 39640 HAS SOUS 20475 HAS SOUPS 19250 WITH SCORE 19291.335
AT ITER 6415 NEW BEST:: SOT 85899 SOS 41413 HAS SOPS 39718 HAS SOUS 20473 HAS SOUPS 19248 WITH SCORE 19289.413
AT ITER 6420 NEW BEST:: SOT 85891 SOS 41381 HAS SOPS 39686 HAS SOUS 20449 HAS SOUPS 19224 WITH SCORE 19265.381
AT ITER 6466 NEW BEST:: SOT 85868 SOS 41321 HAS SOPS 39626 HAS SOUS 20435 HAS SOUPS 19210 WITH SCORE 19251.321
AT ITER 6477 NEW BEST:: SOT 85884 SOS 41200 HAS SOPS 39505 HAS SOUS 20405 HAS SOUPS 19180 WITH SCORE 19221.2
AT ITER 6485 NEW BEST:: SOT 85912 SOS 41237 HAS SOPS 39542 HAS SOUS 20392 HAS SOUPS 19167 WITH SCORE 19208.237
AT ITER 6487 NEW BEST:: SOT 85904 SOS 41442 HAS SOPS 39534 HAS SOUS 20450 HAS SOUPS 19146 WITH SCORE 19187.442
AT ITER 6497 NEW BEST:: SOT 85886 SOS 41424 HAS SOPS 39516 HAS SOUS 20432 HAS SOUPS 19128 WITH SCORE 19169.424
AT ITER 6513 NEW BEST:: SOT 85824 SOS 41414 HAS SOPS 39506 HAS SOUS 20366 HAS SOUPS 19062 WITH SCORE 19103.414
AT ITER 6523 NEW BEST:: SOT 85834 SOS 41412 HAS SOPS 39504 HAS SOUS 20364 HAS SOUPS 19060 WITH SCORE 19101.412
AT ITER 6539 NEW BEST:: SOT 85832 SOS 41410 HAS SOPS 39502 HAS SOUS 20362 HAS SOUPS 19058 WITH SCORE 19099.41
AT ITER 6561 NEW BEST:: SOT 85832 SOS 41410 HAS SOPS 39502 HAS SOUS 20313 HAS SOUPS 19009 WITH SCORE 19050.41
AT ITER 6588 NEW BEST:: SOT 85829 SOS 41404 HAS SOPS 39499 HAS SOUS 20307 HAS SOUPS 19006 WITH SCORE 19047.404
AT ITER 6591 NEW BEST:: SOT 85797 SOS 41372 HAS SOPS 39467 HAS SOUS 20307 HAS SOUPS 19006 WITH SCORE 19047.372
AT ITER 6619 NEW BEST:: SOT 85795 SOS 41370 HAS SOPS 39465 HAS SOUS 20305 HAS SOUPS 19004 WITH SCORE 19045.37
AT ITER 6720 NEW BEST:: SOT 85747 SOS 41322 HAS SOPS 39417 HAS SOUS 20297 HAS SOUPS 18996 WITH SCORE 19037.322
AT ITER 6746 NEW BEST:: SOT 85744 SOS 41320 HAS SOPS 39415 HAS SOUS 20293 HAS SOUPS 18992 WITH SCORE 19033.32
AT ITER 6756 NEW BEST:: SOT 85744 SOS 41295 HAS SOPS 39390 HAS SOUS 20268 HAS SOUPS 18967 WITH SCORE 19008.295
AT ITER 6765 NEW BEST:: SOT 85744 SOS 41291 HAS SOPS 39386 HAS SOUS 20264 HAS SOUPS 18963 WITH SCORE 19004.291
AT ITER 6785 NEW BEST:: SOT 85705 SOS 41256 HAS SOPS 39351 HAS SOUS 20238 HAS SOUPS 18937 WITH SCORE 18978.256
AT ITER 6794 NEW BEST:: SOT 85675 SOS 41163 HAS SOPS 39258 HAS SOUS 20191 HAS SOUPS 18890 WITH SCORE 18931.163
AT ITER 6824 NEW BEST:: SOT 85696 SOS 41195 HAS SOPS 39290 HAS SOUS 20122 HAS SOUPS 18821 WITH SCORE 18862.195
AT ITER 6899 NEW BEST:: SOT 85436 SOS 41131 HAS SOPS 39226 HAS SOUS 20100 HAS SOUPS 18799 WITH SCORE 18840.131
AT ITER 6924 NEW BEST:: SOT 85474 SOS 41169 HAS SOPS 39264 HAS SOUS 20080 HAS SOUPS 18779 WITH SCORE 18820.169
AT ITER 6960 NEW BEST:: SOT 85474 SOS 41145 HAS SOPS 39240 HAS SOUS 20068 HAS SOUPS 18767 WITH SCORE 18808.145
AT ITER 6966 NEW BEST:: SOT 85479 SOS 41107 HAS SOPS 39202 HAS SOUS 20030 HAS SOUPS 18729 WITH SCORE 18770.107
AT ITER 6970 NEW BEST:: SOT 85349 SOS 41071 HAS SOPS 39166 HAS SOUS 19970 HAS SOUPS 18669 WITH SCORE 18710.071
AT ITER 6977 NEW BEST:: SOT 85304 SOS 41099 HAS SOPS 39107 HAS SOUS 19973 HAS SOUPS 18624 WITH SCORE 18665.099
AT ITER 7045 NEW BEST:: SOT 85284 SOS 41079 HAS SOPS 39087 HAS SOUS 19943 HAS SOUPS 18594 WITH SCORE 18635.079
AT ITER 7049 NEW BEST:: SOT 85284 SOS 41079 HAS SOPS 39087 HAS SOUS 19929 HAS SOUPS 18580 WITH SCORE 18621.079
AT ITER 7062 NEW BEST:: SOT 85336 SOS 41079 HAS SOPS 39087 HAS SOUS 19923 HAS SOUPS 18574 WITH SCORE 18615.079
AT ITER 7066 NEW BEST:: SOT 85343 SOS 41010 HAS SOPS 38980 HAS SOUS 19907 HAS SOUPS 18542 WITH SCORE 18583.01
AT ITER 7071 NEW BEST:: SOT 85343 SOS 41028 HAS SOPS 38998 HAS SOUS 19894 HAS SOUPS 18529 WITH SCORE 18570.028
AT ITER 7092 NEW BEST:: SOT 85212 SOS 41210 HAS SOPS 39180 HAS SOUS 19854 HAS SOUPS 18489 WITH SCORE 18530.21
AT ITER 7181 NEW BEST:: SOT 85206 SOS 41204 HAS SOPS 39174 HAS SOUS 19848 HAS SOUPS 18483 WITH SCORE 18524.204
AT ITER 7187 NEW BEST:: SOT 85206 SOS 41213 HAS SOPS 39174 HAS SOUS 19845 HAS SOUPS 18477 WITH SCORE 18518.213
AT ITER 7191 NEW BEST:: SOT 85211 SOS 41204 HAS SOPS 39165 HAS SOUS 19841 HAS SOUPS 18473 WITH SCORE 18514.204
AT ITER 7200 NEW BEST:: SOT 85241 SOS 41098 HAS SOPS 39059 HAS SOUS 19837 HAS SOUPS 18469 WITH SCORE 18510.098
AT ITER 7205 NEW BEST:: SOT 85311 SOS 40960 HAS SOPS 38921 HAS SOUS 19835 HAS SOUPS 18467 WITH SCORE 18507.96
AT ITER 7206 NEW BEST:: SOT 85286 SOS 40988 HAS SOPS 38954 HAS SOUS 19822 HAS SOUPS 18454 WITH SCORE 18494.988
AT ITER 7210 NEW BEST:: SOT 85286 SOS 40985 HAS SOPS 38951 HAS SOUS 19816 HAS SOUPS 18448 WITH SCORE 18488.985
AT ITER 7215 NEW BEST:: SOT 85285 SOS 40984 HAS SOPS 38950 HAS SOUS 19815 HAS SOUPS 18447 WITH SCORE 18487.984
AT ITER 7222 NEW BEST:: SOT 85263 SOS 40962 HAS SOPS 38928 HAS SOUS 19815 HAS SOUPS 18447 WITH SCORE 18487.962
AT ITER 7248 NEW BEST:: SOT 85197 SOS 40882 HAS SOPS 38848 HAS SOUS 19797 HAS SOUPS 18429 WITH SCORE 18469.882
AT ITER 7292 NEW BEST:: SOT 85199 SOS 40882 HAS SOPS 38848 HAS SOUS 19783 HAS SOUPS 18415 WITH SCORE 18455.882
AT ITER 7339 NEW BEST:: SOT 85141 SOS 40771 HAS SOPS 38737 HAS SOUS 19732 HAS SOUPS 18364 WITH SCORE 18404.771
AT ITER 7348 NEW BEST:: SOT 85118 SOS 40748 HAS SOPS 38714 HAS SOUS 19708 HAS SOUPS 18340 WITH SCORE 18380.748
AT ITER 7396 NEW BEST:: SOT 85118 SOS 40748 HAS SOPS 38714 HAS SOUS 19652 HAS SOUPS 18284 WITH SCORE 18324.748
AT ITER 7404 NEW BEST:: SOT 85125 SOS 40743 HAS SOPS 38709 HAS SOUS 19624 HAS SOUPS 18256 WITH SCORE 18296.743
AT ITER 7451 NEW BEST:: SOT 85117 SOS 40735 HAS SOPS 38701 HAS SOUS 19597 HAS SOUPS 18229 WITH SCORE 18269.735
AT ITER 7470 NEW BEST:: SOT 85101 SOS 40719 HAS SOPS 38685 HAS SOUS 19557 HAS SOUPS 18189 WITH SCORE 18229.719
AT ITER 7477 NEW BEST:: SOT 85127 SOS 40745 HAS SOPS 38711 HAS SOUS 19553 HAS SOUPS 18185 WITH SCORE 18225.745
AT ITER 7478 NEW BEST:: SOT 85029 SOS 40647 HAS SOPS 38613 HAS SOUS 19543 HAS SOUPS 18175 WITH SCORE 18215.647
AT ITER 7479 NEW BEST:: SOT 85036 SOS 40642 HAS SOPS 38608 HAS SOUS 19534 HAS SOUPS 18166 WITH SCORE 18206.642
AT ITER 7485 NEW BEST:: SOT 85036 SOS 40644 HAS SOPS 38604 HAS SOUS 19532 HAS SOUPS 18162 WITH SCORE 18202.644
AT ITER 7498 NEW BEST:: SOT 85034 SOS 40639 HAS SOPS 38602 HAS SOUS 19529 HAS SOUPS 18160 WITH SCORE 18200.639
AT ITER 7512 NEW BEST:: SOT 85032 SOS 40633 HAS SOPS 38596 HAS SOUS 19529 HAS SOUPS 18160 WITH SCORE 18200.633
AT ITER 7549 NEW BEST:: SOT 85044 SOS 40621 HAS SOPS 38584 HAS SOUS 19529 HAS SOUPS 18160 WITH SCORE 18200.621
AT ITER 7553 NEW BEST:: SOT 85007 SOS 40571 HAS SOPS 38534 HAS SOUS 19520 HAS SOUPS 18151 WITH SCORE 18191.571
AT ITER 7581 NEW BEST:: SOT 85019 SOS 40583 HAS SOPS 38546 HAS SOUS 19517 HAS SOUPS 18148 WITH SCORE 18188.583
AT ITER 7586 NEW BEST:: SOT 84959 SOS 40523 HAS SOPS 38486 HAS SOUS 19457 HAS SOUPS 18088 WITH SCORE 18128.523
AT ITER 7600 NEW BEST:: SOT 84937 SOS 40523 HAS SOPS 38486 HAS SOUS 19454 HAS SOUPS 18085 WITH SCORE 18125.523
AT ITER 7602 NEW BEST:: SOT 84893 SOS 40300 HAS SOPS 38263 HAS SOUS 19411 HAS SOUPS 18042 WITH SCORE 18082.3
AT ITER 7628 NEW BEST:: SOT 84896 SOS 40294 HAS SOPS 38257 HAS SOUS 19411 HAS SOUPS 18042 WITH SCORE 18082.294
AT ITER 7697 NEW BEST:: SOT 84896 SOS 40259 HAS SOPS 38215 HAS SOUS 19404 HAS SOUPS 18035 WITH SCORE 18075.259
AT ITER 7704 NEW BEST:: SOT 84913 SOS 40223 HAS SOPS 38174 HAS SOUS 19407 HAS SOUPS 18033 WITH SCORE 18073.223
AT ITER 7741 NEW BEST:: SOT 84915 SOS 40225 HAS SOPS 38176 HAS SOUS 19404 HAS SOUPS 18030 WITH SCORE 18070.225
AT ITER 7761 NEW BEST:: SOT 84907 SOS 40217 HAS SOPS 38168 HAS SOUS 19404 HAS SOUPS 18030 WITH SCORE 18070.217
AT ITER 7774 NEW BEST:: SOT 84913 SOS 40211 HAS SOPS 38162 HAS SOUS 19396 HAS SOUPS 18022 WITH SCORE 18062.211
AT ITER 7777 NEW BEST:: SOT 84902 SOS 40200 HAS SOPS 38151 HAS SOUS 19385 HAS SOUPS 18011 WITH SCORE 18051.2
AT ITER 7785 NEW BEST:: SOT 84904 SOS 40202 HAS SOPS 38153 HAS SOUS 19383 HAS SOUPS 18009 WITH SCORE 18049.202
AT ITER 7882 NEW BEST:: SOT 84890 SOS 40231 HAS SOPS 38183 HAS SOUS 19370 HAS SOUPS 17996 WITH SCORE 18036.231
AT ITER 7909 NEW BEST:: SOT 84768 SOS 40109 HAS SOPS 38061 HAS SOUS 19336 HAS SOUPS 17962 WITH SCORE 18002.109
AT ITER 7952 NEW BEST:: SOT 84768 SOS 40099 HAS SOPS 38050 HAS SOUS 19335 HAS SOUPS 17961 WITH SCORE 18001.099
AT ITER 7974 NEW BEST:: SOT 84774 SOS 40097 HAS SOPS 38048 HAS SOUS 19333 HAS SOUPS 17959 WITH SCORE 17999.097
AT ITER 7982 NEW BEST:: SOT 84762 SOS 40073 HAS SOPS 38024 HAS SOUS 19327 HAS SOUPS 17953 WITH SCORE 17993.073
AT ITER 8006 NEW BEST:: SOT 84790 SOS 40017 HAS SOPS 37968 HAS SOUS 19322 HAS SOUPS 17948 WITH SCORE 17988.017
AT ITER 8034 NEW BEST:: SOT 84807 SOS 40008 HAS SOPS 37959 HAS SOUS 19316 HAS SOUPS 17942 WITH SCORE 17982.008
AT ITER 8040 NEW BEST:: SOT 84817 SOS 40018 HAS SOPS 37969 HAS SOUS 19315 HAS SOUPS 17941 WITH SCORE 17981.018
AT ITER 8068 NEW BEST:: SOT 84821 SOS 40010 HAS SOPS 37961 HAS SOUS 19315 HAS SOUPS 17941 WITH SCORE 17981.01
AT ITER 8091 NEW BEST:: SOT 84799 SOS 39908 HAS SOPS 37859 HAS SOUS 19293 HAS SOUPS 17919 WITH SCORE 17958.908
AT ITER 8093 NEW BEST:: SOT 84799 SOS 39909 HAS SOPS 37856 HAS SOUS 19294 HAS SOUPS 17916 WITH SCORE 17955.909
AT ITER 8094 NEW BEST:: SOT 84801 SOS 39911 HAS SOPS 37858 HAS SOUS 19292 HAS SOUPS 17914 WITH SCORE 17953.911
AT ITER 8129 NEW BEST:: SOT 84807 SOS 39860 HAS SOPS 37802 HAS SOUS 19277 HAS SOUPS 17899 WITH SCORE 17938.86
AT ITER 8165 NEW BEST:: SOT 84769 SOS 39822 HAS SOPS 37764 HAS SOUS 19277 HAS SOUPS 17899 WITH SCORE 17938.822
AT ITER 8232 NEW BEST:: SOT 84745 SOS 39798 HAS SOPS 37740 HAS SOUS 19235 HAS SOUPS 17857 WITH SCORE 17896.798
AT ITER 8242 NEW BEST:: SOT 84745 SOS 39798 HAS SOPS 37740 HAS SOUS 19231 HAS SOUPS 17853 WITH SCORE 17892.798
AT ITER 8247 NEW BEST:: SOT 84745 SOS 39800 HAS SOPS 37742 HAS SOUS 19230 HAS SOUPS 17852 WITH SCORE 17891.8
AT ITER 8265 NEW BEST:: SOT 84719 SOS 39788 HAS SOPS 37730 HAS SOUS 19218 HAS SOUPS 17840 WITH SCORE 17879.788
AT ITER 8431 NEW BEST:: SOT 84714 SOS 39784 HAS SOPS 37726 HAS SOUS 19214 HAS SOUPS 17836 WITH SCORE 17875.784
AT ITER 8482 NEW BEST:: SOT 84706 SOS 39803 HAS SOPS 37745 HAS SOUS 19198 HAS SOUPS 17820 WITH SCORE 17859.803
AT ITER 8535 NEW BEST:: SOT 84706 SOS 39800 HAS SOPS 37742 HAS SOUS 19197 HAS SOUPS 17819 WITH SCORE 17858.8
AT ITER 8558 NEW BEST:: SOT 84704 SOS 39798 HAS SOPS 37740 HAS SOUS 19193 HAS SOUPS 17815 WITH SCORE 17854.798
AT ITER 8563 NEW BEST:: SOT 84698 SOS 39792 HAS SOPS 37734 HAS SOUS 19165 HAS SOUPS 17787 WITH SCORE 17826.792
AT ITER 8569 NEW BEST:: SOT 84689 SOS 39719 HAS SOPS 37661 HAS SOUS 19156 HAS SOUPS 17778 WITH SCORE 17817.719
AT ITER 8624 NEW BEST:: SOT 84689 SOS 39747 HAS SOPS 37689 HAS SOUS 19150 HAS SOUPS 17772 WITH SCORE 17811.747
AT ITER 8702 NEW BEST:: SOT 84689 SOS 39737 HAS SOPS 37679 HAS SOUS 19140 HAS SOUPS 17762 WITH SCORE 17801.737
AT ITER 8704 NEW BEST:: SOT 84629 SOS 39677 HAS SOPS 37619 HAS SOUS 19122 HAS SOUPS 17744 WITH SCORE 17783.677
AT ITER 8709 NEW BEST:: SOT 84637 SOS 39563 HAS SOPS 37505 HAS SOUS 19091 HAS SOUPS 17713 WITH SCORE 17752.563
AT ITER 8743 NEW BEST:: SOT 84637 SOS 39508 HAS SOPS 37450 HAS SOUS 19068 HAS SOUPS 17690 WITH SCORE 17729.508
AT ITER 8798 NEW BEST:: SOT 84646 SOS 39505 HAS SOPS 37447 HAS SOUS 19065 HAS SOUPS 17687 WITH SCORE 17726.505
AT ITER 8816 NEW BEST:: SOT 84645 SOS 39504 HAS SOPS 37446 HAS SOUS 19063 HAS SOUPS 17685 WITH SCORE 17724.504
AT ITER 8823 NEW BEST:: SOT 84728 SOS 39601 HAS SOPS 37543 HAS SOUS 19033 HAS SOUPS 17655 WITH SCORE 17694.601
AT ITER 8829 NEW BEST:: SOT 84702 SOS 39622 HAS SOPS 37568 HAS SOUS 19020 HAS SOUPS 17646 WITH SCORE 17685.622
AT ITER 8869 NEW BEST:: SOT 84698 SOS 39557 HAS SOPS 37500 HAS SOUS 18998 HAS SOUPS 17624 WITH SCORE 17663.557
AT ITER 8873 NEW BEST:: SOT 84685 SOS 39544 HAS SOPS 37487 HAS SOUS 18972 HAS SOUPS 17598 WITH SCORE 17637.544
AT ITER 8881 NEW BEST:: SOT 84682 SOS 39541 HAS SOPS 37484 HAS SOUS 18969 HAS SOUPS 17595 WITH SCORE 17634.541
AT ITER 8901 NEW BEST:: SOT 84660 SOS 39519 HAS SOPS 37462 HAS SOUS 18944 HAS SOUPS 17570 WITH SCORE 17609.519
AT ITER 8913 NEW BEST:: SOT 84632 SOS 39491 HAS SOPS 37434 HAS SOUS 18944 HAS SOUPS 17570 WITH SCORE 17609.491
AT ITER 8926 NEW BEST:: SOT 84632 SOS 39491 HAS SOPS 37434 HAS SOUS 18941 HAS SOUPS 17567 WITH SCORE 17606.491
AT ITER 8935 NEW BEST:: SOT 84619 SOS 39490 HAS SOPS 37396 HAS SOUS 18961 HAS SOUPS 17550 WITH SCORE 17589.49
AT ITER 8941 NEW BEST:: SOT 84619 SOS 39485 HAS SOPS 37391 HAS SOUS 18956 HAS SOUPS 17545 WITH SCORE 17584.485
AT ITER 8942 NEW BEST:: SOT 84663 SOS 39529 HAS SOPS 37435 HAS SOUS 18940 HAS SOUPS 17529 WITH SCORE 17568.529
AT ITER 8986 NEW BEST:: SOT 84656 SOS 39561 HAS SOPS 37467 HAS SOUS 18933 HAS SOUPS 17522 WITH SCORE 17561.561
AT ITER 8987 NEW BEST:: SOT 84646 SOS 39551 HAS SOPS 37457 HAS SOUS 18925 HAS SOUPS 17514 WITH SCORE 17553.551
AT ITER 9126 NEW BEST:: SOT 84649 SOS 39554 HAS SOPS 37460 HAS SOUS 18919 HAS SOUPS 17508 WITH SCORE 17547.554
AT ITER 9133 NEW BEST:: SOT 84673 SOS 39578 HAS SOPS 37484 HAS SOUS 18911 HAS SOUPS 17500 WITH SCORE 17539.578
AT ITER 9179 NEW BEST:: SOT 84670 SOS 39574 HAS SOPS 37480 HAS SOUS 18907 HAS SOUPS 17496 WITH SCORE 17535.574
AT ITER 9210 NEW BEST:: SOT 84668 SOS 39420 HAS SOPS 37326 HAS SOUS 18904 HAS SOUPS 17493 WITH SCORE 17532.42
AT ITER 9214 NEW BEST:: SOT 84668 SOS 39298 HAS SOPS 37194 HAS SOUS 18893 HAS SOUPS 17482 WITH SCORE 17521.298
AT ITER 9277 NEW BEST:: SOT 84666 SOS 39401 HAS SOPS 37189 HAS SOUS 18859 HAS SOUPS 17412 WITH SCORE 17451.401
AT ITER 9283 NEW BEST:: SOT 84801 SOS 39389 HAS SOPS 37177 HAS SOUS 18847 HAS SOUPS 17400 WITH SCORE 17439.389
AT ITER 9297 NEW BEST:: SOT 84795 SOS 39377 HAS SOPS 37165 HAS SOUS 18835 HAS SOUPS 17388 WITH SCORE 17427.377
AT ITER 9301 NEW BEST:: SOT 84788 SOS 39370 HAS SOPS 37158 HAS SOUS 18828 HAS SOUPS 17381 WITH SCORE 17420.37
AT ITER 9328 NEW BEST:: SOT 84767 SOS 39335 HAS SOPS 37123 HAS SOUS 18805 HAS SOUPS 17358 WITH SCORE 17397.335
AT ITER 9357 NEW BEST:: SOT 84891 SOS 39273 HAS SOPS 37061 HAS SOUS 18805 HAS SOUPS 17358 WITH SCORE 17397.273
AT ITER 9370 NEW BEST:: SOT 84876 SOS 39258 HAS SOPS 37046 HAS SOUS 18788 HAS SOUPS 17341 WITH SCORE 17380.258
AT ITER 9410 NEW BEST:: SOT 84875 SOS 39340 HAS SOPS 37016 HAS SOUS 18796 HAS SOUPS 17319 WITH SCORE 17358.34
AT ITER 9443 NEW BEST:: SOT 84898 SOS 39362 HAS SOPS 37038 HAS SOUS 18782 HAS SOUPS 17305 WITH SCORE 17344.362
AT ITER 9549 NEW BEST:: SOT 84878 SOS 39341 HAS SOPS 37017 HAS SOUS 18771 HAS SOUPS 17294 WITH SCORE 17333.341
AT ITER 9639 NEW BEST:: SOT 84885 SOS 39348 HAS SOPS 37024 HAS SOUS 18763 HAS SOUPS 17286 WITH SCORE 17325.348
AT ITER 9642 NEW BEST:: SOT 84895 SOS 39232 HAS SOPS 36902 HAS SOUS 18749 HAS SOUPS 17272 WITH SCORE 17311.232
AT ITER 9692 NEW BEST:: SOT 84878 SOS 39215 HAS SOPS 36885 HAS SOUS 18749 HAS SOUPS 17272 WITH SCORE 17311.215
AT ITER 9718 NEW BEST:: SOT 84766 SOS 39103 HAS SOPS 36773 HAS SOUS 18749 HAS SOUPS 17272 WITH SCORE 17311.103
AT ITER 9781 NEW BEST:: SOT 84762 SOS 39097 HAS SOPS 36765 HAS SOUS 18743 HAS SOUPS 17264 WITH SCORE 17303.097
AT ITER 9817 NEW BEST:: SOT 84759 SOS 39051 HAS SOPS 36719 HAS SOUS 18733 HAS SOUPS 17254 WITH SCORE 17293.051
AT ITER 9937 NEW BEST:: SOT 84741 SOS 39033 HAS SOPS 36701 HAS SOUS 18727 HAS SOUPS 17248 WITH SCORE 17287.033
AT ITER 9962 NEW BEST:: SOT 84739 SOS 39021 HAS SOPS 36689 HAS SOUS 18721 HAS SOUPS 17242 WITH SCORE 17281.021
AT ITER 9976 NEW BEST:: SOT 84737 SOS 39019 HAS SOPS 36687 HAS SOUS 18703 HAS SOUPS 17224 WITH SCORE 17263.019
AT ITER 9979 NEW BEST:: SOT 84750 SOS 39016 HAS SOPS 36684 HAS SOUS 18694 HAS SOUPS 17215 WITH SCORE 17254.016
AT ITER 9983 NEW BEST:: SOT 84747 SOS 39073 HAS SOPS 36741 HAS SOUS 18685 HAS SOUPS 17206 WITH SCORE 17245.073
AT ITER 9997 NEW BEST:: SOT 84685 SOS 39011 HAS SOPS 36679 HAS SOUS 18623 HAS SOUPS 17144 WITH SCORE 17183.011

BK_STOP 1678727040866

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 368 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-2A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-2A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534300248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-2A.tgz
mv NoC3x3-PT-2A execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;