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.r195-smll-167840342500464.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 HirschbergSinclair-PT-25, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342500464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 9.7K Feb 26 02:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 02:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 02:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 02:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 02:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Feb 26 02:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 02:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 26 02:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 321K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678529921228

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=HirschbergSinclair-PT-25
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 25
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: 600 places, 545 transitions, 1664 arcs.
AT ITER 0 NEW BEST:: SOT 268718 SOS 153391 HAS SOPS 153391 HAS SOUS 153112 HAS SOUPS 153112 WITH SCORE 153265.391
AT ITER 1 NEW BEST:: SOT 268718 SOS 153180 HAS SOPS 153180 HAS SOUS 152901 HAS SOUPS 152901 WITH SCORE 153054.18
AT ITER 7 NEW BEST:: SOT 265552 SOS 150811 HAS SOPS 150811 HAS SOUS 150000 HAS SOUPS 150000 WITH SCORE 150150.811
AT ITER 8 NEW BEST:: SOT 265552 SOS 150428 HAS SOPS 150428 HAS SOUS 149617 HAS SOUPS 149617 WITH SCORE 149767.428
AT ITER 12 NEW BEST:: SOT 265178 SOS 152235 HAS SOPS 152235 HAS SOUS 149370 HAS SOUPS 149370 WITH SCORE 149522.235
AT ITER 13 NEW BEST:: SOT 265178 SOS 152138 HAS SOPS 152138 HAS SOUS 149273 HAS SOUPS 149273 WITH SCORE 149425.138
AT ITER 15 NEW BEST:: SOT 265178 SOS 151988 HAS SOPS 151988 HAS SOUS 149123 HAS SOUPS 149123 WITH SCORE 149274.988
AT ITER 17 NEW BEST:: SOT 263113 SOS 150093 HAS SOPS 150093 HAS SOUS 147228 HAS SOUPS 147228 WITH SCORE 147378.093
AT ITER 25 NEW BEST:: SOT 263161 SOS 150026 HAS SOPS 150026 HAS SOUS 147161 HAS SOUPS 147161 WITH SCORE 147311.026
AT ITER 27 NEW BEST:: SOT 260700 SOS 150575 HAS SOPS 150575 HAS SOUS 145302 HAS SOUPS 145302 WITH SCORE 145452.575
AT ITER 28 NEW BEST:: SOT 260590 SOS 150564 HAS SOPS 150564 HAS SOUS 145214 HAS SOUPS 145214 WITH SCORE 145364.564
AT ITER 31 NEW BEST:: SOT 260568 SOS 150327 HAS SOPS 150327 HAS SOUS 144977 HAS SOUPS 144977 WITH SCORE 145127.327
AT ITER 32 NEW BEST:: SOT 260568 SOS 150212 HAS SOPS 150212 HAS SOUS 144862 HAS SOUPS 144862 WITH SCORE 145012.212
AT ITER 37 NEW BEST:: SOT 257162 SOS 150359 HAS SOPS 150359 HAS SOUS 141984 HAS SOUPS 141984 WITH SCORE 142134.359
AT ITER 38 NEW BEST:: SOT 257162 SOS 150358 HAS SOPS 150358 HAS SOUS 141983 HAS SOUPS 141983 WITH SCORE 142133.358
AT ITER 44 NEW BEST:: SOT 252476 SOS 147335 HAS SOPS 147335 HAS SOUS 137418 HAS SOUPS 137418 WITH SCORE 137565.335
AT ITER 48 NEW BEST:: SOT 252370 SOS 147163 HAS SOPS 147163 HAS SOUS 137325 HAS SOUPS 137325 WITH SCORE 137472.163
AT ITER 49 NEW BEST:: SOT 252135 SOS 146928 HAS SOPS 146928 HAS SOUS 137164 HAS SOUPS 137164 WITH SCORE 137310.928
AT ITER 54 NEW BEST:: SOT 252057 SOS 146721 HAS SOPS 146721 HAS SOUS 137112 HAS SOUPS 137112 WITH SCORE 137258.721
AT ITER 56 NEW BEST:: SOT 252057 SOS 146689 HAS SOPS 146689 HAS SOUS 137080 HAS SOUPS 137080 WITH SCORE 137226.689
AT ITER 58 NEW BEST:: SOT 252057 SOS 146483 HAS SOPS 146483 HAS SOUS 136874 HAS SOUPS 136874 WITH SCORE 137020.483
AT ITER 61 NEW BEST:: SOT 251960 SOS 146157 HAS SOPS 146157 HAS SOUS 136749 HAS SOUPS 136749 WITH SCORE 136895.157
AT ITER 63 NEW BEST:: SOT 251934 SOS 146131 HAS SOPS 146131 HAS SOUS 136723 HAS SOUPS 136723 WITH SCORE 136869.131
AT ITER 65 NEW BEST:: SOT 251934 SOS 145929 HAS SOPS 145929 HAS SOUS 136521 HAS SOUPS 136521 WITH SCORE 136666.929
AT ITER 71 NEW BEST:: SOT 251693 SOS 145211 HAS SOPS 145211 HAS SOUS 136046 HAS SOUPS 136046 WITH SCORE 136191.211
AT ITER 73 NEW BEST:: SOT 251693 SOS 145210 HAS SOPS 145210 HAS SOUS 136045 HAS SOUPS 136045 WITH SCORE 136190.21
AT ITER 77 NEW BEST:: SOT 251693 SOS 145078 HAS SOPS 145078 HAS SOUS 135913 HAS SOUPS 135913 WITH SCORE 136058.078
AT ITER 81 NEW BEST:: SOT 251693 SOS 144992 HAS SOPS 144992 HAS SOUS 135827 HAS SOUPS 135827 WITH SCORE 135971.992
AT ITER 87 NEW BEST:: SOT 251693 SOS 144839 HAS SOPS 144839 HAS SOUS 135674 HAS SOUPS 135674 WITH SCORE 135818.839
AT ITER 90 NEW BEST:: SOT 251693 SOS 144643 HAS SOPS 144643 HAS SOUS 135478 HAS SOUPS 135478 WITH SCORE 135622.643
AT ITER 99 NEW BEST:: SOT 251693 SOS 144485 HAS SOPS 144485 HAS SOUS 135320 HAS SOUPS 135320 WITH SCORE 135464.485
AT ITER 107 NEW BEST:: SOT 251693 SOS 144409 HAS SOPS 144409 HAS SOUS 135244 HAS SOUPS 135244 WITH SCORE 135388.409
AT ITER 108 NEW BEST:: SOT 251693 SOS 144395 HAS SOPS 144395 HAS SOUS 135230 HAS SOUPS 135230 WITH SCORE 135374.395
AT ITER 113 NEW BEST:: SOT 248427 SOS 143163 HAS SOPS 143163 HAS SOUS 132563 HAS SOUPS 132563 WITH SCORE 132706.163
AT ITER 117 NEW BEST:: SOT 248427 SOS 142970 HAS SOPS 142970 HAS SOUS 132370 HAS SOUPS 132370 WITH SCORE 132512.97
AT ITER 122 NEW BEST:: SOT 248427 SOS 142960 HAS SOPS 142960 HAS SOUS 132360 HAS SOUPS 132360 WITH SCORE 132502.96
AT ITER 123 NEW BEST:: SOT 248353 SOS 142886 HAS SOPS 142886 HAS SOUS 132286 HAS SOUPS 132286 WITH SCORE 132428.886
AT ITER 125 NEW BEST:: SOT 248176 SOS 142532 HAS SOPS 142532 HAS SOUS 131932 HAS SOUPS 131932 WITH SCORE 132074.532
AT ITER 126 NEW BEST:: SOT 248176 SOS 142324 HAS SOPS 142324 HAS SOUS 131724 HAS SOUPS 131724 WITH SCORE 131866.324
AT ITER 128 NEW BEST:: SOT 247985 SOS 142007 HAS SOPS 142007 HAS SOUS 131407 HAS SOUPS 131407 WITH SCORE 131549.007
AT ITER 131 NEW BEST:: SOT 248150 SOS 142172 HAS SOPS 142172 HAS SOUS 131312 HAS SOUPS 131312 WITH SCORE 131454.172
AT ITER 132 NEW BEST:: SOT 248150 SOS 142111 HAS SOPS 142111 HAS SOUS 131251 HAS SOUPS 131251 WITH SCORE 131393.111
AT ITER 134 NEW BEST:: SOT 248150 SOS 142008 HAS SOPS 142008 HAS SOUS 131148 HAS SOUPS 131148 WITH SCORE 131290.008
AT ITER 136 NEW BEST:: SOT 248150 SOS 141983 HAS SOPS 141983 HAS SOUS 131071 HAS SOUPS 131071 WITH SCORE 131212.983
AT ITER 146 NEW BEST:: SOT 248122 SOS 141955 HAS SOPS 141955 HAS SOUS 131043 HAS SOUPS 131043 WITH SCORE 131184.955
AT ITER 148 NEW BEST:: SOT 248122 SOS 141753 HAS SOPS 141753 HAS SOUS 130841 HAS SOUPS 130841 WITH SCORE 130982.753
AT ITER 153 NEW BEST:: SOT 246055 SOS 139948 HAS SOPS 139948 HAS SOUS 128878 HAS SOUPS 128878 WITH SCORE 129017.948
AT ITER 155 NEW BEST:: SOT 246034 SOS 139513 HAS SOPS 139513 HAS SOUS 128443 HAS SOUPS 128443 WITH SCORE 128582.513
AT ITER 157 NEW BEST:: SOT 245990 SOS 139359 HAS SOPS 139359 HAS SOUS 128289 HAS SOUPS 128289 WITH SCORE 128428.359
AT ITER 161 NEW BEST:: SOT 245779 SOS 139198 HAS SOPS 139198 HAS SOUS 128272 HAS SOUPS 128272 WITH SCORE 128411.198
AT ITER 165 NEW BEST:: SOT 245779 SOS 139134 HAS SOPS 139134 HAS SOUS 128272 HAS SOUPS 128272 WITH SCORE 128411.134
AT ITER 168 NEW BEST:: SOT 245779 SOS 139109 HAS SOPS 139109 HAS SOUS 128247 HAS SOUPS 128247 WITH SCORE 128386.109
AT ITER 173 NEW BEST:: SOT 245779 SOS 139101 HAS SOPS 139101 HAS SOUS 128239 HAS SOUPS 128239 WITH SCORE 128378.101
AT ITER 177 NEW BEST:: SOT 245779 SOS 138762 HAS SOPS 138762 HAS SOUS 127900 HAS SOUPS 127900 WITH SCORE 128038.762
AT ITER 180 NEW BEST:: SOT 244842 SOS 137831 HAS SOPS 137831 HAS SOUS 126969 HAS SOUPS 126969 WITH SCORE 127106.831
AT ITER 183 NEW BEST:: SOT 244775 SOS 137698 HAS SOPS 137698 HAS SOUS 126879 HAS SOUPS 126879 WITH SCORE 127016.698
AT ITER 187 NEW BEST:: SOT 244733 SOS 137305 HAS SOPS 137305 HAS SOUS 126486 HAS SOUPS 126486 WITH SCORE 126623.305
AT ITER 199 NEW BEST:: SOT 242072 SOS 135003 HAS SOPS 135003 HAS SOUS 124090 HAS SOUPS 124090 WITH SCORE 124225.003
AT ITER 200 NEW BEST:: SOT 242072 SOS 134759 HAS SOPS 134759 HAS SOUS 123978 HAS SOUPS 123978 WITH SCORE 124112.759
AT ITER 205 NEW BEST:: SOT 239920 SOS 132985 HAS SOPS 132985 HAS SOUS 122112 HAS SOUPS 122112 WITH SCORE 122244.985
AT ITER 209 NEW BEST:: SOT 237420 SOS 131042 HAS SOPS 131042 HAS SOUS 119818 HAS SOUPS 119818 WITH SCORE 119949.042
AT ITER 216 NEW BEST:: SOT 237265 SOS 130904 HAS SOPS 130904 HAS SOUS 119698 HAS SOUPS 119698 WITH SCORE 119828.904
AT ITER 217 NEW BEST:: SOT 237198 SOS 130770 HAS SOPS 130770 HAS SOUS 119564 HAS SOUPS 119564 WITH SCORE 119694.77
AT ITER 221 NEW BEST:: SOT 237022 SOS 130491 HAS SOPS 130491 HAS SOUS 119285 HAS SOUPS 119285 WITH SCORE 119415.491
AT ITER 222 NEW BEST:: SOT 237053 SOS 130340 HAS SOPS 130340 HAS SOUS 119168 HAS SOUPS 119168 WITH SCORE 119298.34
AT ITER 233 NEW BEST:: SOT 236847 SOS 130098 HAS SOPS 130098 HAS SOUS 118968 HAS SOUPS 118968 WITH SCORE 119098.098
AT ITER 234 NEW BEST:: SOT 236847 SOS 130036 HAS SOPS 130036 HAS SOUS 118906 HAS SOUPS 118906 WITH SCORE 119036.036
AT ITER 241 NEW BEST:: SOT 236847 SOS 129935 HAS SOPS 129935 HAS SOUS 118805 HAS SOUPS 118805 WITH SCORE 118934.935
AT ITER 246 NEW BEST:: SOT 236847 SOS 129823 HAS SOPS 129823 HAS SOUS 118693 HAS SOUPS 118693 WITH SCORE 118822.823
AT ITER 248 NEW BEST:: SOT 236847 SOS 129810 HAS SOPS 129810 HAS SOUS 118680 HAS SOUPS 118680 WITH SCORE 118809.81
AT ITER 249 NEW BEST:: SOT 236839 SOS 129802 HAS SOPS 129802 HAS SOUS 118599 HAS SOUPS 118599 WITH SCORE 118728.802
AT ITER 251 NEW BEST:: SOT 236821 SOS 129707 HAS SOPS 129707 HAS SOUS 118580 HAS SOUPS 118580 WITH SCORE 118709.707
AT ITER 255 NEW BEST:: SOT 236821 SOS 129611 HAS SOPS 129611 HAS SOUS 118484 HAS SOUPS 118484 WITH SCORE 118613.611
AT ITER 259 NEW BEST:: SOT 236821 SOS 129533 HAS SOPS 129533 HAS SOUS 118406 HAS SOUPS 118406 WITH SCORE 118535.533
AT ITER 269 NEW BEST:: SOT 236699 SOS 129207 HAS SOPS 129207 HAS SOUS 118080 HAS SOUPS 118080 WITH SCORE 118209.207
AT ITER 272 NEW BEST:: SOT 235566 SOS 129183 HAS SOPS 129183 HAS SOUS 117105 HAS SOUPS 117105 WITH SCORE 117234.183
AT ITER 273 NEW BEST:: SOT 235476 SOS 129117 HAS SOPS 129117 HAS SOUS 117062 HAS SOUPS 117062 WITH SCORE 117191.117
AT ITER 276 NEW BEST:: SOT 235518 SOS 129156 HAS SOPS 129156 HAS SOUS 117046 HAS SOUPS 117046 WITH SCORE 117175.156
AT ITER 277 NEW BEST:: SOT 235518 SOS 128974 HAS SOPS 128974 HAS SOUS 116864 HAS SOUPS 116864 WITH SCORE 116992.974
AT ITER 278 NEW BEST:: SOT 235518 SOS 128969 HAS SOPS 128969 HAS SOUS 116859 HAS SOUPS 116859 WITH SCORE 116987.969
AT ITER 279 NEW BEST:: SOT 235349 SOS 128722 HAS SOPS 128722 HAS SOUS 116695 HAS SOUPS 116695 WITH SCORE 116823.722
AT ITER 284 NEW BEST:: SOT 235365 SOS 128939 HAS SOPS 128939 HAS SOUS 116673 HAS SOUPS 116673 WITH SCORE 116801.939
AT ITER 288 NEW BEST:: SOT 235371 SOS 128942 HAS SOPS 128942 HAS SOUS 116670 HAS SOUPS 116670 WITH SCORE 116798.942
AT ITER 294 NEW BEST:: SOT 235371 SOS 128956 HAS SOPS 128956 HAS SOUS 116612 HAS SOUPS 116612 WITH SCORE 116740.956
AT ITER 307 NEW BEST:: SOT 235227 SOS 128740 HAS SOPS 128740 HAS SOUS 116396 HAS SOUPS 116396 WITH SCORE 116524.74
AT ITER 308 NEW BEST:: SOT 235186 SOS 128598 HAS SOPS 128598 HAS SOUS 116254 HAS SOUPS 116254 WITH SCORE 116382.598
AT ITER 309 NEW BEST:: SOT 235350 SOS 128745 HAS SOPS 128745 HAS SOUS 116208 HAS SOUPS 116208 WITH SCORE 116336.745
AT ITER 310 NEW BEST:: SOT 235416 SOS 128601 HAS SOPS 128601 HAS SOUS 115920 HAS SOUPS 115920 WITH SCORE 116048.601
AT ITER 314 NEW BEST:: SOT 235464 SOS 128649 HAS SOPS 128649 HAS SOUS 115770 HAS SOUPS 115770 WITH SCORE 115898.649
AT ITER 316 NEW BEST:: SOT 235464 SOS 128515 HAS SOPS 128515 HAS SOUS 115636 HAS SOUPS 115636 WITH SCORE 115764.515
AT ITER 319 NEW BEST:: SOT 235464 SOS 128505 HAS SOPS 128505 HAS SOUS 115636 HAS SOUPS 115636 WITH SCORE 115764.505
AT ITER 324 NEW BEST:: SOT 235464 SOS 128498 HAS SOPS 128498 HAS SOUS 115629 HAS SOUPS 115629 WITH SCORE 115757.498
AT ITER 326 NEW BEST:: SOT 235449 SOS 128468 HAS SOPS 128468 HAS SOUS 115599 HAS SOUPS 115599 WITH SCORE 115727.468
AT ITER 327 NEW BEST:: SOT 233647 SOS 128149 HAS SOPS 128149 HAS SOUS 113831 HAS SOUPS 113831 WITH SCORE 113959.149
AT ITER 328 NEW BEST:: SOT 233647 SOS 128105 HAS SOPS 128105 HAS SOUS 113787 HAS SOUPS 113787 WITH SCORE 113915.105
AT ITER 332 NEW BEST:: SOT 233590 SOS 127832 HAS SOPS 127832 HAS SOUS 113673 HAS SOUPS 113673 WITH SCORE 113800.832
AT ITER 333 NEW BEST:: SOT 230525 SOS 125020 HAS SOPS 125020 HAS SOUS 110726 HAS SOUPS 110726 WITH SCORE 110851.02
AT ITER 341 NEW BEST:: SOT 230511 SOS 125006 HAS SOPS 125006 HAS SOUS 110712 HAS SOUPS 110712 WITH SCORE 110837.006
AT ITER 344 NEW BEST:: SOT 230511 SOS 124947 HAS SOPS 124947 HAS SOUS 110653 HAS SOUPS 110653 WITH SCORE 110777.947
AT ITER 345 NEW BEST:: SOT 230097 SOS 126096 HAS SOPS 126096 HAS SOUS 110421 HAS SOUPS 110421 WITH SCORE 110547.096
AT ITER 346 NEW BEST:: SOT 229993 SOS 126014 HAS SOPS 126014 HAS SOUS 110415 HAS SOUPS 110415 WITH SCORE 110541.014
AT ITER 352 NEW BEST:: SOT 230007 SOS 125952 HAS SOPS 125952 HAS SOUS 110351 HAS SOUPS 110351 WITH SCORE 110476.952
AT ITER 353 NEW BEST:: SOT 229988 SOS 125902 HAS SOPS 125902 HAS SOUS 110347 HAS SOUPS 110347 WITH SCORE 110472.902
AT ITER 354 NEW BEST:: SOT 229988 SOS 125827 HAS SOPS 125827 HAS SOUS 110272 HAS SOUPS 110272 WITH SCORE 110397.827
AT ITER 360 NEW BEST:: SOT 229979 SOS 125779 HAS SOPS 125779 HAS SOUS 110233 HAS SOUPS 110233 WITH SCORE 110358.779
AT ITER 367 NEW BEST:: SOT 229942 SOS 125705 HAS SOPS 125705 HAS SOUS 110158 HAS SOUPS 110158 WITH SCORE 110283.705
AT ITER 372 NEW BEST:: SOT 229708 SOS 125345 HAS SOPS 125345 HAS SOUS 109816 HAS SOUPS 109816 WITH SCORE 109941.345
AT ITER 376 NEW BEST:: SOT 229708 SOS 125339 HAS SOPS 125339 HAS SOUS 109810 HAS SOUPS 109810 WITH SCORE 109935.339
AT ITER 382 NEW BEST:: SOT 229780 SOS 125411 HAS SOPS 125411 HAS SOUS 109798 HAS SOUPS 109798 WITH SCORE 109923.411
AT ITER 383 NEW BEST:: SOT 229792 SOS 125441 HAS SOPS 125441 HAS SOUS 109746 HAS SOUPS 109746 WITH SCORE 109871.441
AT ITER 384 NEW BEST:: SOT 229318 SOS 130320 HAS SOPS 130320 HAS SOUS 109546 HAS SOUPS 109546 WITH SCORE 109676.32
AT ITER 385 NEW BEST:: SOT 226344 SOS 128460 HAS SOPS 128460 HAS SOUS 106932 HAS SOUPS 106932 WITH SCORE 107060.46
AT ITER 390 NEW BEST:: SOT 226340 SOS 128456 HAS SOPS 128456 HAS SOUS 106928 HAS SOUPS 106928 WITH SCORE 107056.456
AT ITER 393 NEW BEST:: SOT 226340 SOS 128395 HAS SOPS 128395 HAS SOUS 106867 HAS SOUPS 106867 WITH SCORE 106995.395
AT ITER 395 NEW BEST:: SOT 223360 SOS 126895 HAS SOPS 126895 HAS SOUS 104208 HAS SOUPS 104208 WITH SCORE 104334.895
AT ITER 400 NEW BEST:: SOT 223338 SOS 126755 HAS SOPS 126755 HAS SOUS 104101 HAS SOUPS 104101 WITH SCORE 104227.755
AT ITER 402 NEW BEST:: SOT 223199 SOS 126521 HAS SOPS 126521 HAS SOUS 103976 HAS SOUPS 103976 WITH SCORE 104102.521
AT ITER 414 NEW BEST:: SOT 223199 SOS 126425 HAS SOPS 126425 HAS SOUS 103880 HAS SOUPS 103880 WITH SCORE 104006.425
AT ITER 419 NEW BEST:: SOT 223130 SOS 126599 HAS SOPS 126599 HAS SOUS 103659 HAS SOUPS 103659 WITH SCORE 103785.599
AT ITER 420 NEW BEST:: SOT 223139 SOS 125731 HAS SOPS 125731 HAS SOUS 103571 HAS SOUPS 103571 WITH SCORE 103696.731
AT ITER 433 NEW BEST:: SOT 223139 SOS 125643 HAS SOPS 125643 HAS SOUS 103529 HAS SOUPS 103529 WITH SCORE 103654.643
AT ITER 439 NEW BEST:: SOT 223139 SOS 125550 HAS SOPS 125550 HAS SOUS 103436 HAS SOUPS 103436 WITH SCORE 103561.55
AT ITER 440 NEW BEST:: SOT 223071 SOS 125482 HAS SOPS 125482 HAS SOUS 103031 HAS SOUPS 103031 WITH SCORE 103156.482
AT ITER 445 NEW BEST:: SOT 222996 SOS 125417 HAS SOPS 125417 HAS SOUS 102966 HAS SOUPS 102966 WITH SCORE 103091.417
AT ITER 447 NEW BEST:: SOT 222996 SOS 125361 HAS SOPS 125361 HAS SOUS 102951 HAS SOUPS 102951 WITH SCORE 103076.361
AT ITER 453 NEW BEST:: SOT 222969 SOS 125100 HAS SOPS 125100 HAS SOUS 102852 HAS SOUPS 102852 WITH SCORE 102977.1
AT ITER 454 NEW BEST:: SOT 222969 SOS 124945 HAS SOPS 124945 HAS SOUS 102697 HAS SOUPS 102697 WITH SCORE 102821.945
AT ITER 458 NEW BEST:: SOT 223173 SOS 125149 HAS SOPS 125149 HAS SOUS 102659 HAS SOUPS 102659 WITH SCORE 102784.149
AT ITER 462 NEW BEST:: SOT 223009 SOS 124779 HAS SOPS 124779 HAS SOUS 102509 HAS SOUPS 102509 WITH SCORE 102633.779
AT ITER 463 NEW BEST:: SOT 223000 SOS 124770 HAS SOPS 124770 HAS SOUS 102509 HAS SOUPS 102509 WITH SCORE 102633.77
AT ITER 475 NEW BEST:: SOT 220727 SOS 122597 HAS SOPS 122597 HAS SOUS 100296 HAS SOUPS 100296 WITH SCORE 100418.597
AT ITER 476 NEW BEST:: SOT 220728 SOS 122625 HAS SOPS 122625 HAS SOUS 100277 HAS SOUPS 100277 WITH SCORE 100399.625
AT ITER 479 NEW BEST:: SOT 220497 SOS 122217 HAS SOPS 122217 HAS SOUS 99710 HAS SOUPS 99710 WITH SCORE 99832.217
AT ITER 481 NEW BEST:: SOT 220255 SOS 121748 HAS SOPS 121748 HAS SOUS 99557 HAS SOUPS 99557 WITH SCORE 99678.748
AT ITER 484 NEW BEST:: SOT 220192 SOS 121546 HAS SOPS 121546 HAS SOUS 99509 HAS SOUPS 99509 WITH SCORE 99630.546
AT ITER 491 NEW BEST:: SOT 220184 SOS 121538 HAS SOPS 121538 HAS SOUS 99501 HAS SOUPS 99501 WITH SCORE 99622.538
AT ITER 493 NEW BEST:: SOT 220098 SOS 121366 HAS SOPS 121366 HAS SOUS 99415 HAS SOUPS 99415 WITH SCORE 99536.366
AT ITER 499 NEW BEST:: SOT 220096 SOS 121364 HAS SOPS 121364 HAS SOUS 99411 HAS SOUPS 99411 WITH SCORE 99532.364
AT ITER 520 NEW BEST:: SOT 220096 SOS 121346 HAS SOPS 121346 HAS SOUS 99411 HAS SOUPS 99411 WITH SCORE 99532.346
AT ITER 529 NEW BEST:: SOT 220005 SOS 121255 HAS SOPS 121255 HAS SOUS 99320 HAS SOUPS 99320 WITH SCORE 99441.255
AT ITER 531 NEW BEST:: SOT 220053 SOS 121303 HAS SOPS 121303 HAS SOUS 99272 HAS SOUPS 99272 WITH SCORE 99393.303
AT ITER 534 NEW BEST:: SOT 219882 SOS 121084 HAS SOPS 121084 HAS SOUS 99053 HAS SOUPS 99053 WITH SCORE 99174.084
AT ITER 537 NEW BEST:: SOT 219836 SOS 121257 HAS SOPS 121257 HAS SOUS 99052 HAS SOUPS 99052 WITH SCORE 99173.257
AT ITER 541 NEW BEST:: SOT 219735 SOS 121180 HAS SOPS 121180 HAS SOUS 98984 HAS SOUPS 98984 WITH SCORE 99105.18
AT ITER 542 NEW BEST:: SOT 219544 SOS 120761 HAS SOPS 120761 HAS SOUS 98565 HAS SOUPS 98565 WITH SCORE 98685.761
AT ITER 543 NEW BEST:: SOT 219544 SOS 120694 HAS SOPS 120694 HAS SOUS 98498 HAS SOUPS 98498 WITH SCORE 98618.694
AT ITER 544 NEW BEST:: SOT 219544 SOS 120668 HAS SOPS 120668 HAS SOUS 98472 HAS SOUPS 98472 WITH SCORE 98592.668
AT ITER 546 NEW BEST:: SOT 219544 SOS 120599 HAS SOPS 120599 HAS SOUS 98403 HAS SOUPS 98403 WITH SCORE 98523.599
AT ITER 551 NEW BEST:: SOT 219497 SOS 120461 HAS SOPS 120461 HAS SOUS 98331 HAS SOUPS 98331 WITH SCORE 98451.461
AT ITER 558 NEW BEST:: SOT 219624 SOS 120610 HAS SOPS 120610 HAS SOUS 98196 HAS SOUPS 98196 WITH SCORE 98316.61
AT ITER 560 NEW BEST:: SOT 219351 SOS 120348 HAS SOPS 120348 HAS SOUS 98018 HAS SOUPS 98018 WITH SCORE 98138.348
AT ITER 564 NEW BEST:: SOT 219285 SOS 120198 HAS SOPS 120198 HAS SOUS 97868 HAS SOUPS 97868 WITH SCORE 97988.198
AT ITER 565 NEW BEST:: SOT 219177 SOS 120090 HAS SOPS 120090 HAS SOUS 97721 HAS SOUPS 97721 WITH SCORE 97841.09
AT ITER 566 NEW BEST:: SOT 216135 SOS 121136 HAS SOPS 121136 HAS SOUS 95147 HAS SOUPS 95147 WITH SCORE 95268.136
AT ITER 569 NEW BEST:: SOT 216094 SOS 121095 HAS SOPS 121095 HAS SOUS 95097 HAS SOUPS 95097 WITH SCORE 95218.095
AT ITER 577 NEW BEST:: SOT 215841 SOS 120842 HAS SOPS 120842 HAS SOUS 94870 HAS SOUPS 94870 WITH SCORE 94990.842
AT ITER 578 NEW BEST:: SOT 215753 SOS 120754 HAS SOPS 120754 HAS SOUS 94782 HAS SOUPS 94782 WITH SCORE 94902.754
AT ITER 579 NEW BEST:: SOT 215665 SOS 120666 HAS SOPS 120666 HAS SOUS 94694 HAS SOUPS 94694 WITH SCORE 94814.666
AT ITER 583 NEW BEST:: SOT 215566 SOS 120459 HAS SOPS 120459 HAS SOUS 94496 HAS SOUPS 94496 WITH SCORE 94616.459
AT ITER 586 NEW BEST:: SOT 215618 SOS 120492 HAS SOPS 120492 HAS SOUS 94465 HAS SOUPS 94465 WITH SCORE 94585.492
AT ITER 592 NEW BEST:: SOT 215501 SOS 120375 HAS SOPS 120375 HAS SOUS 94465 HAS SOUPS 94465 WITH SCORE 94585.375
AT ITER 602 NEW BEST:: SOT 215353 SOS 120415 HAS SOPS 120415 HAS SOUS 94363 HAS SOUPS 94363 WITH SCORE 94483.415
AT ITER 605 NEW BEST:: SOT 215433 SOS 120358 HAS SOPS 120358 HAS SOUS 94297 HAS SOUPS 94297 WITH SCORE 94417.358
AT ITER 610 NEW BEST:: SOT 215411 SOS 120122 HAS SOPS 120122 HAS SOUS 94279 HAS SOUPS 94279 WITH SCORE 94399.122
AT ITER 611 NEW BEST:: SOT 215344 SOS 119828 HAS SOPS 119828 HAS SOUS 93943 HAS SOUPS 93943 WITH SCORE 94062.828
AT ITER 619 NEW BEST:: SOT 215341 SOS 119647 HAS SOPS 119647 HAS SOUS 93937 HAS SOUPS 93937 WITH SCORE 94056.647
AT ITER 624 NEW BEST:: SOT 215146 SOS 119465 HAS SOPS 119465 HAS SOUS 93753 HAS SOUPS 93753 WITH SCORE 93872.465
AT ITER 638 NEW BEST:: SOT 215100 SOS 119419 HAS SOPS 119419 HAS SOUS 93707 HAS SOUPS 93707 WITH SCORE 93826.419
AT ITER 646 NEW BEST:: SOT 214684 SOS 119113 HAS SOPS 119113 HAS SOUS 93328 HAS SOUPS 93328 WITH SCORE 93447.113
AT ITER 648 NEW BEST:: SOT 214684 SOS 119078 HAS SOPS 119078 HAS SOUS 93293 HAS SOUPS 93293 WITH SCORE 93412.078
AT ITER 660 NEW BEST:: SOT 214682 SOS 119076 HAS SOPS 119076 HAS SOUS 93291 HAS SOUPS 93291 WITH SCORE 93410.076
AT ITER 676 NEW BEST:: SOT 214682 SOS 119050 HAS SOPS 119050 HAS SOUS 93291 HAS SOUPS 93291 WITH SCORE 93410.05
AT ITER 680 NEW BEST:: SOT 214864 SOS 119265 HAS SOPS 119265 HAS SOUS 93208 HAS SOUPS 93208 WITH SCORE 93327.265
AT ITER 683 NEW BEST:: SOT 214775 SOS 119176 HAS SOPS 119176 HAS SOUS 93119 HAS SOUPS 93119 WITH SCORE 93238.176
AT ITER 688 NEW BEST:: SOT 214775 SOS 119203 HAS SOPS 119203 HAS SOUS 93118 HAS SOUPS 93118 WITH SCORE 93237.203
AT ITER 692 NEW BEST:: SOT 211697 SOS 119260 HAS SOPS 119260 HAS SOUS 90943 HAS SOUPS 90943 WITH SCORE 91062.26
AT ITER 693 NEW BEST:: SOT 211671 SOS 119340 HAS SOPS 119340 HAS SOUS 90922 HAS SOUPS 90922 WITH SCORE 91041.34
AT ITER 694 NEW BEST:: SOT 211641 SOS 119310 HAS SOPS 119310 HAS SOUS 90892 HAS SOUPS 90892 WITH SCORE 91011.31
AT ITER 706 NEW BEST:: SOT 211621 SOS 119205 HAS SOPS 119205 HAS SOUS 90832 HAS SOUPS 90832 WITH SCORE 90951.205
AT ITER 711 NEW BEST:: SOT 211751 SOS 115398 HAS SOPS 115398 HAS SOUS 90620 HAS SOUPS 90620 WITH SCORE 90735.398
AT ITER 715 NEW BEST:: SOT 211756 SOS 115257 HAS SOPS 115257 HAS SOUS 90479 HAS SOUPS 90479 WITH SCORE 90594.257
AT ITER 723 NEW BEST:: SOT 211700 SOS 115201 HAS SOPS 115201 HAS SOUS 90456 HAS SOUPS 90456 WITH SCORE 90571.201
AT ITER 727 NEW BEST:: SOT 211489 SOS 114777 HAS SOPS 114777 HAS SOUS 90205 HAS SOUPS 90205 WITH SCORE 90319.777
AT ITER 731 NEW BEST:: SOT 211489 SOS 114734 HAS SOPS 114734 HAS SOUS 90162 HAS SOUPS 90162 WITH SCORE 90276.734
AT ITER 732 NEW BEST:: SOT 211488 SOS 114560 HAS SOPS 114560 HAS SOUS 89984 HAS SOUPS 89984 WITH SCORE 90098.56
AT ITER 735 NEW BEST:: SOT 211489 SOS 114469 HAS SOPS 114469 HAS SOUS 89894 HAS SOUPS 89894 WITH SCORE 90008.469
AT ITER 737 NEW BEST:: SOT 211404 SOS 114384 HAS SOPS 114384 HAS SOUS 89893 HAS SOUPS 89893 WITH SCORE 90007.384
AT ITER 744 NEW BEST:: SOT 211386 SOS 114366 HAS SOPS 114366 HAS SOUS 89875 HAS SOUPS 89875 WITH SCORE 89989.366
AT ITER 748 NEW BEST:: SOT 211333 SOS 114260 HAS SOPS 114260 HAS SOUS 89822 HAS SOUPS 89822 WITH SCORE 89936.26
AT ITER 749 NEW BEST:: SOT 211356 SOS 114255 HAS SOPS 114255 HAS SOUS 89817 HAS SOUPS 89817 WITH SCORE 89931.255
AT ITER 756 NEW BEST:: SOT 211341 SOS 114241 HAS SOPS 114241 HAS SOUS 89803 HAS SOUPS 89803 WITH SCORE 89917.241
AT ITER 760 NEW BEST:: SOT 211341 SOS 114190 HAS SOPS 114190 HAS SOUS 89752 HAS SOUPS 89752 WITH SCORE 89866.19
AT ITER 770 NEW BEST:: SOT 211327 SOS 114176 HAS SOPS 114176 HAS SOUS 89724 HAS SOUPS 89724 WITH SCORE 89838.176
AT ITER 771 NEW BEST:: SOT 211242 SOS 113950 HAS SOPS 113950 HAS SOUS 89695 HAS SOUPS 89695 WITH SCORE 89808.95
AT ITER 779 NEW BEST:: SOT 211109 SOS 113761 HAS SOPS 113761 HAS SOUS 89600 HAS SOUPS 89600 WITH SCORE 89713.761
AT ITER 783 NEW BEST:: SOT 211107 SOS 113622 HAS SOPS 113622 HAS SOUS 89461 HAS SOUPS 89461 WITH SCORE 89574.622
AT ITER 789 NEW BEST:: SOT 211107 SOS 113555 HAS SOPS 113555 HAS SOUS 89394 HAS SOUPS 89394 WITH SCORE 89507.555
AT ITER 792 NEW BEST:: SOT 211107 SOS 113503 HAS SOPS 113503 HAS SOUS 89394 HAS SOUPS 89394 WITH SCORE 89507.503
AT ITER 812 NEW BEST:: SOT 209675 SOS 112966 HAS SOPS 112966 HAS SOUS 88148 HAS SOUPS 88148 WITH SCORE 88260.966
AT ITER 825 NEW BEST:: SOT 209675 SOS 112863 HAS SOPS 112863 HAS SOUS 88045 HAS SOUPS 88045 WITH SCORE 88157.863
AT ITER 830 NEW BEST:: SOT 209450 SOS 112607 HAS SOPS 112607 HAS SOUS 88014 HAS SOUPS 88014 WITH SCORE 88126.607
AT ITER 836 NEW BEST:: SOT 209409 SOS 112566 HAS SOPS 112566 HAS SOUS 88006 HAS SOUPS 88006 WITH SCORE 88118.566
AT ITER 838 NEW BEST:: SOT 208828 SOS 114855 HAS SOPS 114855 HAS SOUS 87911 HAS SOUPS 87911 WITH SCORE 88025.855
AT ITER 856 NEW BEST:: SOT 208828 SOS 114814 HAS SOPS 114814 HAS SOUS 87870 HAS SOUPS 87870 WITH SCORE 87984.814
AT ITER 858 NEW BEST:: SOT 209037 SOS 114888 HAS SOPS 114888 HAS SOUS 87736 HAS SOUPS 87736 WITH SCORE 87850.888
AT ITER 870 NEW BEST:: SOT 208932 SOS 114783 HAS SOPS 114783 HAS SOUS 87498 HAS SOUPS 87498 WITH SCORE 87612.783
AT ITER 871 NEW BEST:: SOT 208639 SOS 114280 HAS SOPS 114280 HAS SOUS 87088 HAS SOUPS 87088 WITH SCORE 87202.28
AT ITER 872 NEW BEST:: SOT 208689 SOS 114330 HAS SOPS 114330 HAS SOUS 87074 HAS SOUPS 87074 WITH SCORE 87188.33
AT ITER 876 NEW BEST:: SOT 208575 SOS 114216 HAS SOPS 114216 HAS SOUS 86960 HAS SOUPS 86960 WITH SCORE 87074.216
AT ITER 877 NEW BEST:: SOT 208551 SOS 114177 HAS SOPS 114177 HAS SOUS 86921 HAS SOUPS 86921 WITH SCORE 87035.177
AT ITER 880 NEW BEST:: SOT 208386 SOS 114012 HAS SOPS 114012 HAS SOUS 86591 HAS SOUPS 86591 WITH SCORE 86705.012
AT ITER 884 NEW BEST:: SOT 208386 SOS 113980 HAS SOPS 113980 HAS SOUS 86559 HAS SOUPS 86559 WITH SCORE 86672.98
AT ITER 885 NEW BEST:: SOT 208363 SOS 113957 HAS SOPS 113957 HAS SOUS 86467 HAS SOUPS 86467 WITH SCORE 86580.957
AT ITER 888 NEW BEST:: SOT 208342 SOS 113936 HAS SOPS 113936 HAS SOUS 86446 HAS SOUPS 86446 WITH SCORE 86559.936
AT ITER 890 NEW BEST:: SOT 208338 SOS 113924 HAS SOPS 113924 HAS SOUS 86438 HAS SOUPS 86438 WITH SCORE 86551.924
AT ITER 891 NEW BEST:: SOT 208184 SOS 113484 HAS SOPS 113484 HAS SOUS 86152 HAS SOUPS 86152 WITH SCORE 86265.484
AT ITER 895 NEW BEST:: SOT 208169 SOS 113499 HAS SOPS 113499 HAS SOUS 86137 HAS SOUPS 86137 WITH SCORE 86250.499
AT ITER 897 NEW BEST:: SOT 208195 SOS 113525 HAS SOPS 113525 HAS SOUS 86130 HAS SOUPS 86130 WITH SCORE 86243.525
AT ITER 901 NEW BEST:: SOT 208086 SOS 113416 HAS SOPS 113416 HAS SOUS 85932 HAS SOUPS 85932 WITH SCORE 86045.416
AT ITER 907 NEW BEST:: SOT 208086 SOS 113403 HAS SOPS 113403 HAS SOUS 85919 HAS SOUPS 85919 WITH SCORE 86032.403
AT ITER 908 NEW BEST:: SOT 208092 SOS 113319 HAS SOPS 113319 HAS SOUS 85913 HAS SOUPS 85913 WITH SCORE 86026.319
AT ITER 917 NEW BEST:: SOT 208054 SOS 113281 HAS SOPS 113281 HAS SOUS 85897 HAS SOUPS 85897 WITH SCORE 86010.281
AT ITER 929 NEW BEST:: SOT 208069 SOS 113268 HAS SOPS 113268 HAS SOUS 85884 HAS SOUPS 85884 WITH SCORE 85997.268
AT ITER 933 NEW BEST:: SOT 208040 SOS 113251 HAS SOPS 113251 HAS SOUS 85855 HAS SOUPS 85855 WITH SCORE 85968.251
AT ITER 938 NEW BEST:: SOT 207866 SOS 112936 HAS SOPS 112936 HAS SOUS 85662 HAS SOUPS 85662 WITH SCORE 85774.936
AT ITER 953 NEW BEST:: SOT 207488 SOS 112700 HAS SOPS 112700 HAS SOUS 85468 HAS SOUPS 85468 WITH SCORE 85580.7
AT ITER 962 NEW BEST:: SOT 207444 SOS 112612 HAS SOPS 112612 HAS SOUS 85380 HAS SOUPS 85380 WITH SCORE 85492.612
AT ITER 964 NEW BEST:: SOT 207444 SOS 112492 HAS SOPS 112492 HAS SOUS 85262 HAS SOUPS 85262 WITH SCORE 85374.492
AT ITER 970 NEW BEST:: SOT 207444 SOS 112490 HAS SOPS 112490 HAS SOUS 85260 HAS SOUPS 85260 WITH SCORE 85372.49
AT ITER 971 NEW BEST:: SOT 207437 SOS 112200 HAS SOPS 112200 HAS SOUS 85252 HAS SOUPS 85252 WITH SCORE 85364.2
AT ITER 980 NEW BEST:: SOT 207413 SOS 112152 HAS SOPS 112152 HAS SOUS 85228 HAS SOUPS 85228 WITH SCORE 85340.152
AT ITER 983 NEW BEST:: SOT 207091 SOS 111507 HAS SOPS 111507 HAS SOUS 84582 HAS SOUPS 84582 WITH SCORE 84693.507
AT ITER 988 NEW BEST:: SOT 207117 SOS 111564 HAS SOPS 111564 HAS SOUS 84553 HAS SOUPS 84553 WITH SCORE 84664.564
AT ITER 991 NEW BEST:: SOT 207053 SOS 111492 HAS SOPS 111492 HAS SOUS 84481 HAS SOUPS 84481 WITH SCORE 84592.492
AT ITER 996 NEW BEST:: SOT 207053 SOS 111474 HAS SOPS 111474 HAS SOUS 84481 HAS SOUPS 84481 WITH SCORE 84592.474
AT ITER 1004 NEW BEST:: SOT 206299 SOS 113692 HAS SOPS 113692 HAS SOUS 84036 HAS SOUPS 84036 WITH SCORE 84149.692
AT ITER 1006 NEW BEST:: SOT 206286 SOS 113679 HAS SOPS 113679 HAS SOUS 84010 HAS SOUPS 84010 WITH SCORE 84123.679
AT ITER 1009 NEW BEST:: SOT 206285 SOS 113677 HAS SOPS 113677 HAS SOUS 83992 HAS SOUPS 83992 WITH SCORE 84105.677
AT ITER 1013 NEW BEST:: SOT 206261 SOS 113653 HAS SOPS 113653 HAS SOUS 83956 HAS SOUPS 83956 WITH SCORE 84069.653
AT ITER 1021 NEW BEST:: SOT 206261 SOS 113624 HAS SOPS 113624 HAS SOUS 83956 HAS SOUPS 83956 WITH SCORE 84069.624
AT ITER 1023 NEW BEST:: SOT 206260 SOS 113623 HAS SOPS 113623 HAS SOUS 83939 HAS SOUPS 83939 WITH SCORE 84052.623
AT ITER 1025 NEW BEST:: SOT 206181 SOS 113524 HAS SOPS 113524 HAS SOUS 83783 HAS SOUPS 83783 WITH SCORE 83896.524
AT ITER 1027 NEW BEST:: SOT 206181 SOS 113502 HAS SOPS 113502 HAS SOUS 83761 HAS SOUPS 83761 WITH SCORE 83874.502
AT ITER 1029 NEW BEST:: SOT 206074 SOS 113471 HAS SOPS 113471 HAS SOUS 83514 HAS SOUPS 83514 WITH SCORE 83627.471
AT ITER 1031 NEW BEST:: SOT 205999 SOS 113200 HAS SOPS 113200 HAS SOUS 83485 HAS SOUPS 83485 WITH SCORE 83598.2
AT ITER 1032 NEW BEST:: SOT 205848 SOS 113161 HAS SOPS 113161 HAS SOUS 83446 HAS SOUPS 83446 WITH SCORE 83559.161
AT ITER 1034 NEW BEST:: SOT 205848 SOS 113141 HAS SOPS 113141 HAS SOUS 83426 HAS SOUPS 83426 WITH SCORE 83539.141
AT ITER 1037 NEW BEST:: SOT 205848 SOS 113025 HAS SOPS 113025 HAS SOUS 83310 HAS SOUPS 83310 WITH SCORE 83423.025
AT ITER 1039 NEW BEST:: SOT 205816 SOS 112948 HAS SOPS 112948 HAS SOUS 83233 HAS SOUPS 83233 WITH SCORE 83345.948
AT ITER 1040 NEW BEST:: SOT 205820 SOS 112925 HAS SOPS 112925 HAS SOUS 83231 HAS SOUPS 83231 WITH SCORE 83343.925
AT ITER 1046 NEW BEST:: SOT 205744 SOS 112849 HAS SOPS 112849 HAS SOUS 83231 HAS SOUPS 83231 WITH SCORE 83343.849
AT ITER 1047 NEW BEST:: SOT 205491 SOS 112389 HAS SOPS 112389 HAS SOUS 83004 HAS SOUPS 83004 WITH SCORE 83116.389
AT ITER 1054 NEW BEST:: SOT 205491 SOS 112376 HAS SOPS 112376 HAS SOUS 82991 HAS SOUPS 82991 WITH SCORE 83103.376
AT ITER 1057 NEW BEST:: SOT 205470 SOS 112314 HAS SOPS 112314 HAS SOUS 82938 HAS SOUPS 82938 WITH SCORE 83050.314
AT ITER 1059 NEW BEST:: SOT 205465 SOS 112314 HAS SOPS 112314 HAS SOUS 82933 HAS SOUPS 82933 WITH SCORE 83045.314
AT ITER 1061 NEW BEST:: SOT 205358 SOS 112100 HAS SOPS 112100 HAS SOUS 82826 HAS SOUPS 82826 WITH SCORE 82938.1
AT ITER 1062 NEW BEST:: SOT 205358 SOS 112098 HAS SOPS 112098 HAS SOUS 82826 HAS SOUPS 82826 WITH SCORE 82938.098
AT ITER 1066 NEW BEST:: SOT 205358 SOS 112098 HAS SOPS 112098 HAS SOUS 82709 HAS SOUPS 82709 WITH SCORE 82821.098
AT ITER 1067 NEW BEST:: SOT 205358 SOS 112085 HAS SOPS 112085 HAS SOUS 82696 HAS SOUPS 82696 WITH SCORE 82808.085
AT ITER 1075 NEW BEST:: SOT 205324 SOS 111668 HAS SOPS 111668 HAS SOUS 82662 HAS SOUPS 82662 WITH SCORE 82773.668
AT ITER 1085 NEW BEST:: SOT 204593 SOS 111056 HAS SOPS 111056 HAS SOUS 82021 HAS SOUPS 82021 WITH SCORE 82132.056
AT ITER 1088 NEW BEST:: SOT 204560 SOS 110990 HAS SOPS 110990 HAS SOUS 82021 HAS SOUPS 82021 WITH SCORE 82131.99
AT ITER 1091 NEW BEST:: SOT 204559 SOS 110887 HAS SOPS 110887 HAS SOUS 81971 HAS SOUPS 81971 WITH SCORE 82081.887
AT ITER 1099 NEW BEST:: SOT 204559 SOS 110887 HAS SOPS 110887 HAS SOUS 81941 HAS SOUPS 81941 WITH SCORE 82051.887
AT ITER 1103 NEW BEST:: SOT 204506 SOS 110537 HAS SOPS 110537 HAS SOUS 81835 HAS SOUPS 81835 WITH SCORE 81945.537
AT ITER 1105 NEW BEST:: SOT 204514 SOS 110555 HAS SOPS 110555 HAS SOUS 81830 HAS SOUPS 81830 WITH SCORE 81940.555
AT ITER 1108 NEW BEST:: SOT 204425 SOS 110377 HAS SOPS 110377 HAS SOUS 81652 HAS SOUPS 81652 WITH SCORE 81762.377
AT ITER 1122 NEW BEST:: SOT 204318 SOS 110381 HAS SOPS 110381 HAS SOUS 81549 HAS SOUPS 81549 WITH SCORE 81659.381
AT ITER 1124 NEW BEST:: SOT 204321 SOS 110384 HAS SOPS 110384 HAS SOUS 81480 HAS SOUPS 81480 WITH SCORE 81590.384
AT ITER 1138 NEW BEST:: SOT 204246 SOS 110339 HAS SOPS 110339 HAS SOUS 81450 HAS SOUPS 81450 WITH SCORE 81560.339
AT ITER 1140 NEW BEST:: SOT 204268 SOS 110364 HAS SOPS 110364 HAS SOUS 81386 HAS SOUPS 81386 WITH SCORE 81496.364
AT ITER 1141 NEW BEST:: SOT 204286 SOS 109525 HAS SOPS 109525 HAS SOUS 81335 HAS SOUPS 81335 WITH SCORE 81444.525
AT ITER 1142 NEW BEST:: SOT 204302 SOS 109541 HAS SOPS 109541 HAS SOUS 81243 HAS SOUPS 81243 WITH SCORE 81352.541
AT ITER 1146 NEW BEST:: SOT 203859 SOS 108887 HAS SOPS 108887 HAS SOUS 80647 HAS SOUPS 80647 WITH SCORE 80755.887
AT ITER 1149 NEW BEST:: SOT 204023 SOS 109189 HAS SOPS 109189 HAS SOUS 80621 HAS SOUPS 80621 WITH SCORE 80730.189
AT ITER 1150 NEW BEST:: SOT 203945 SOS 109220 HAS SOPS 109220 HAS SOUS 80554 HAS SOUPS 80554 WITH SCORE 80663.22
AT ITER 1152 NEW BEST:: SOT 203927 SOS 109199 HAS SOPS 109199 HAS SOUS 80512 HAS SOUPS 80512 WITH SCORE 80621.199
AT ITER 1158 NEW BEST:: SOT 203443 SOS 110095 HAS SOPS 110095 HAS SOUS 80192 HAS SOUPS 80192 WITH SCORE 80302.095
AT ITER 1162 NEW BEST:: SOT 202742 SOS 112634 HAS SOPS 112634 HAS SOUS 80034 HAS SOUPS 80034 WITH SCORE 80146.634
AT ITER 1165 NEW BEST:: SOT 202742 SOS 112634 HAS SOPS 112634 HAS SOUS 79994 HAS SOUPS 79994 WITH SCORE 80106.634
AT ITER 1166 NEW BEST:: SOT 202734 SOS 112689 HAS SOPS 112689 HAS SOUS 79933 HAS SOUPS 79933 WITH SCORE 80045.689
AT ITER 1170 NEW BEST:: SOT 202749 SOS 112597 HAS SOPS 112597 HAS SOUS 79841 HAS SOUPS 79841 WITH SCORE 79953.597
AT ITER 1183 NEW BEST:: SOT 202741 SOS 112317 HAS SOPS 112317 HAS SOUS 79801 HAS SOUPS 79801 WITH SCORE 79913.317
AT ITER 1186 NEW BEST:: SOT 202628 SOS 112153 HAS SOPS 112153 HAS SOUS 79788 HAS SOUPS 79788 WITH SCORE 79900.153
AT ITER 1189 NEW BEST:: SOT 202614 SOS 112160 HAS SOPS 112160 HAS SOUS 79774 HAS SOUPS 79774 WITH SCORE 79886.16
AT ITER 1200 NEW BEST:: SOT 202588 SOS 112134 HAS SOPS 112134 HAS SOUS 79748 HAS SOUPS 79748 WITH SCORE 79860.134
AT ITER 1201 NEW BEST:: SOT 200651 SOS 113331 HAS SOPS 113331 HAS SOUS 78317 HAS SOUPS 78317 WITH SCORE 78430.331
AT ITER 1203 NEW BEST:: SOT 200595 SOS 113275 HAS SOPS 113275 HAS SOUS 78205 HAS SOUPS 78205 WITH SCORE 78318.275
AT ITER 1206 NEW BEST:: SOT 200429 SOS 113109 HAS SOPS 113109 HAS SOUS 77873 HAS SOUPS 77873 WITH SCORE 77986.109
AT ITER 1215 NEW BEST:: SOT 200400 SOS 113051 HAS SOPS 113051 HAS SOUS 77844 HAS SOUPS 77844 WITH SCORE 77957.051
AT ITER 1217 NEW BEST:: SOT 200284 SOS 112935 HAS SOPS 112935 HAS SOUS 77622 HAS SOUPS 77622 WITH SCORE 77734.935
AT ITER 1219 NEW BEST:: SOT 200271 SOS 112922 HAS SOPS 112922 HAS SOUS 77493 HAS SOUPS 77493 WITH SCORE 77605.922
AT ITER 1220 NEW BEST:: SOT 200428 SOS 113079 HAS SOPS 113079 HAS SOUS 77490 HAS SOUPS 77490 WITH SCORE 77603.079
AT ITER 1226 NEW BEST:: SOT 200372 SOS 112999 HAS SOPS 112999 HAS SOUS 77381 HAS SOUPS 77381 WITH SCORE 77493.999
AT ITER 1235 NEW BEST:: SOT 200372 SOS 112933 HAS SOPS 112933 HAS SOUS 77381 HAS SOUPS 77381 WITH SCORE 77493.933
AT ITER 1243 NEW BEST:: SOT 200372 SOS 112898 HAS SOPS 112898 HAS SOUS 77346 HAS SOUPS 77346 WITH SCORE 77458.898
AT ITER 1245 NEW BEST:: SOT 200372 SOS 112833 HAS SOPS 112833 HAS SOUS 77281 HAS SOUPS 77281 WITH SCORE 77393.833
AT ITER 1247 NEW BEST:: SOT 200269 SOS 112575 HAS SOPS 112575 HAS SOUS 77196 HAS SOUPS 77196 WITH SCORE 77308.575
AT ITER 1258 NEW BEST:: SOT 199770 SOS 111686 HAS SOPS 111686 HAS SOUS 76296 HAS SOUPS 76296 WITH SCORE 76407.686
AT ITER 1266 NEW BEST:: SOT 199790 SOS 111510 HAS SOPS 111510 HAS SOUS 76247 HAS SOUPS 76247 WITH SCORE 76358.51
AT ITER 1268 NEW BEST:: SOT 199738 SOS 111458 HAS SOPS 111458 HAS SOUS 76143 HAS SOUPS 76143 WITH SCORE 76254.458
AT ITER 1274 NEW BEST:: SOT 199733 SOS 111453 HAS SOPS 111453 HAS SOUS 76133 HAS SOUPS 76133 WITH SCORE 76244.453
AT ITER 1283 NEW BEST:: SOT 199360 SOS 112305 HAS SOPS 112305 HAS SOUS 75936 HAS SOUPS 75936 WITH SCORE 76048.305
AT ITER 1287 NEW BEST:: SOT 199332 SOS 112277 HAS SOPS 112277 HAS SOUS 75889 HAS SOUPS 75889 WITH SCORE 76001.277
AT ITER 1302 NEW BEST:: SOT 198040 SOS 114430 HAS SOPS 114430 HAS SOUS 75200 HAS SOUPS 75200 WITH SCORE 75314.43
AT ITER 1304 NEW BEST:: SOT 198040 SOS 114376 HAS SOPS 114376 HAS SOUS 75200 HAS SOUPS 75200 WITH SCORE 75314.376
AT ITER 1311 NEW BEST:: SOT 198039 SOS 114375 HAS SOPS 114375 HAS SOUS 75198 HAS SOUPS 75198 WITH SCORE 75312.375
AT ITER 1312 NEW BEST:: SOT 198039 SOS 114375 HAS SOPS 114375 HAS SOUS 75186 HAS SOUPS 75186 WITH SCORE 75300.375
AT ITER 1318 NEW BEST:: SOT 198051 SOS 114395 HAS SOPS 114395 HAS SOUS 75178 HAS SOUPS 75178 WITH SCORE 75292.395
AT ITER 1319 NEW BEST:: SOT 198051 SOS 114395 HAS SOPS 114395 HAS SOUS 75168 HAS SOUPS 75168 WITH SCORE 75282.395
AT ITER 1320 NEW BEST:: SOT 198040 SOS 114384 HAS SOPS 114384 HAS SOUS 75146 HAS SOUPS 75146 WITH SCORE 75260.384
AT ITER 1328 NEW BEST:: SOT 198021 SOS 114365 HAS SOPS 114365 HAS SOUS 75108 HAS SOUPS 75108 WITH SCORE 75222.365
AT ITER 1331 NEW BEST:: SOT 197949 SOS 114293 HAS SOPS 114293 HAS SOUS 74930 HAS SOUPS 74930 WITH SCORE 75044.293
AT ITER 1333 NEW BEST:: SOT 197966 SOS 114310 HAS SOPS 114310 HAS SOUS 74902 HAS SOUPS 74902 WITH SCORE 75016.31
AT ITER 1340 NEW BEST:: SOT 198113 SOS 114401 HAS SOPS 114401 HAS SOUS 74868 HAS SOUPS 74868 WITH SCORE 74982.401
AT ITER 1348 NEW BEST:: SOT 198113 SOS 114345 HAS SOPS 114345 HAS SOUS 74812 HAS SOUPS 74812 WITH SCORE 74926.345
AT ITER 1349 NEW BEST:: SOT 198170 SOS 114637 HAS SOPS 114637 HAS SOUS 74717 HAS SOUPS 74717 WITH SCORE 74831.637
AT ITER 1353 NEW BEST:: SOT 198108 SOS 114536 HAS SOPS 114536 HAS SOUS 74616 HAS SOUPS 74616 WITH SCORE 74730.536
AT ITER 1366 NEW BEST:: SOT 198033 SOS 114652 HAS SOPS 114652 HAS SOUS 74445 HAS SOUPS 74445 WITH SCORE 74559.652
AT ITER 1390 NEW BEST:: SOT 198033 SOS 114574 HAS SOPS 114574 HAS SOUS 74367 HAS SOUPS 74367 WITH SCORE 74481.574
AT ITER 1397 NEW BEST:: SOT 198010 SOS 114551 HAS SOPS 114551 HAS SOUS 74367 HAS SOUPS 74367 WITH SCORE 74481.551
AT ITER 1399 NEW BEST:: SOT 198022 SOS 114574 HAS SOPS 114574 HAS SOUS 74342 HAS SOUPS 74342 WITH SCORE 74456.574
AT ITER 1400 NEW BEST:: SOT 197991 SOS 114560 HAS SOPS 114560 HAS SOUS 74311 HAS SOUPS 74311 WITH SCORE 74425.56
AT ITER 1405 NEW BEST:: SOT 197978 SOS 114547 HAS SOPS 114547 HAS SOUS 74285 HAS SOUPS 74285 WITH SCORE 74399.547
AT ITER 1410 NEW BEST:: SOT 197888 SOS 114209 HAS SOPS 114209 HAS SOUS 73964 HAS SOUPS 73964 WITH SCORE 74078.209
AT ITER 1417 NEW BEST:: SOT 197876 SOS 114157 HAS SOPS 114157 HAS SOUS 73929 HAS SOUPS 73929 WITH SCORE 74043.157
AT ITER 1418 NEW BEST:: SOT 197700 SOS 113777 HAS SOPS 113777 HAS SOUS 73857 HAS SOUPS 73857 WITH SCORE 73970.777
AT ITER 1432 NEW BEST:: SOT 197699 SOS 113776 HAS SOPS 113776 HAS SOUS 73856 HAS SOUPS 73856 WITH SCORE 73969.776
AT ITER 1437 NEW BEST:: SOT 197499 SOS 113574 HAS SOPS 113574 HAS SOUS 73609 HAS SOUPS 73609 WITH SCORE 73722.574
AT ITER 1442 NEW BEST:: SOT 197499 SOS 113543 HAS SOPS 113543 HAS SOUS 73591 HAS SOUPS 73591 WITH SCORE 73704.543
AT ITER 1454 NEW BEST:: SOT 197494 SOS 113538 HAS SOPS 113538 HAS SOUS 73581 HAS SOUPS 73581 WITH SCORE 73694.538
AT ITER 1464 NEW BEST:: SOT 197454 SOS 113498 HAS SOPS 113498 HAS SOUS 73501 HAS SOUPS 73501 WITH SCORE 73614.498
AT ITER 1466 NEW BEST:: SOT 197416 SOS 113460 HAS SOPS 113460 HAS SOUS 73425 HAS SOUPS 73425 WITH SCORE 73538.46
AT ITER 1468 NEW BEST:: SOT 197451 SOS 113430 HAS SOPS 113430 HAS SOUS 73256 HAS SOUPS 73256 WITH SCORE 73369.43
AT ITER 1478 NEW BEST:: SOT 197399 SOS 113378 HAS SOPS 113378 HAS SOUS 73178 HAS SOUPS 73178 WITH SCORE 73291.378
AT ITER 1479 NEW BEST:: SOT 196508 SOS 115591 HAS SOPS 115591 HAS SOUS 72448 HAS SOUPS 72448 WITH SCORE 72563.591
AT ITER 1495 NEW BEST:: SOT 196363 SOS 115446 HAS SOPS 115446 HAS SOUS 72418 HAS SOUPS 72418 WITH SCORE 72533.446
AT ITER 1501 NEW BEST:: SOT 196351 SOS 115373 HAS SOPS 115373 HAS SOUS 72291 HAS SOUPS 72291 WITH SCORE 72406.373
AT ITER 1502 NEW BEST:: SOT 196345 SOS 115303 HAS SOPS 115303 HAS SOUS 71975 HAS SOUPS 71975 WITH SCORE 72090.303
AT ITER 1508 NEW BEST:: SOT 196319 SOS 115171 HAS SOPS 115171 HAS SOUS 71848 HAS SOUPS 71848 WITH SCORE 71963.171
AT ITER 1509 NEW BEST:: SOT 196314 SOS 115166 HAS SOPS 115166 HAS SOUS 71843 HAS SOUPS 71843 WITH SCORE 71958.166
AT ITER 1512 NEW BEST:: SOT 196314 SOS 115143 HAS SOPS 115143 HAS SOUS 71820 HAS SOUPS 71820 WITH SCORE 71935.143
AT ITER 1518 NEW BEST:: SOT 196276 SOS 115105 HAS SOPS 115105 HAS SOUS 71639 HAS SOUPS 71639 WITH SCORE 71754.105
AT ITER 1532 NEW BEST:: SOT 196254 SOS 115083 HAS SOPS 115083 HAS SOUS 71584 HAS SOUPS 71584 WITH SCORE 71699.083
AT ITER 1544 NEW BEST:: SOT 196225 SOS 115025 HAS SOPS 115025 HAS SOUS 71555 HAS SOUPS 71555 WITH SCORE 71670.025
AT ITER 1548 NEW BEST:: SOT 196169 SOS 114941 HAS SOPS 114941 HAS SOUS 71471 HAS SOUPS 71471 WITH SCORE 71585.941
AT ITER 1549 NEW BEST:: SOT 196024 SOS 114768 HAS SOPS 114768 HAS SOUS 71331 HAS SOUPS 71331 WITH SCORE 71445.768
AT ITER 1553 NEW BEST:: SOT 196011 SOS 114755 HAS SOPS 114755 HAS SOUS 71305 HAS SOUPS 71305 WITH SCORE 71419.755
AT ITER 1569 NEW BEST:: SOT 196007 SOS 114774 HAS SOPS 114774 HAS SOUS 71296 HAS SOUPS 71296 WITH SCORE 71410.774
AT ITER 1573 NEW BEST:: SOT 196022 SOS 114789 HAS SOPS 114789 HAS SOUS 71272 HAS SOUPS 71272 WITH SCORE 71386.789
AT ITER 1576 NEW BEST:: SOT 195950 SOS 114663 HAS SOPS 114663 HAS SOUS 71135 HAS SOUPS 71135 WITH SCORE 71249.663
AT ITER 1577 NEW BEST:: SOT 195925 SOS 114586 HAS SOPS 114586 HAS SOUS 71106 HAS SOUPS 71106 WITH SCORE 71220.586
AT ITER 1586 NEW BEST:: SOT 195893 SOS 114554 HAS SOPS 114554 HAS SOUS 71067 HAS SOUPS 71067 WITH SCORE 71181.554
AT ITER 1589 NEW BEST:: SOT 195893 SOS 114555 HAS SOPS 114555 HAS SOUS 71052 HAS SOUPS 71052 WITH SCORE 71166.555
AT ITER 1592 NEW BEST:: SOT 195889 SOS 114551 HAS SOPS 114551 HAS SOUS 71023 HAS SOUPS 71023 WITH SCORE 71137.551
AT ITER 1599 NEW BEST:: SOT 195685 SOS 114347 HAS SOPS 114347 HAS SOUS 70819 HAS SOUPS 70819 WITH SCORE 70933.347
AT ITER 1603 NEW BEST:: SOT 195636 SOS 114249 HAS SOPS 114249 HAS SOUS 70721 HAS SOUPS 70721 WITH SCORE 70835.249
AT ITER 1604 NEW BEST:: SOT 195636 SOS 114239 HAS SOPS 114239 HAS SOUS 70721 HAS SOUPS 70721 WITH SCORE 70835.239
AT ITER 1615 NEW BEST:: SOT 195634 SOS 114237 HAS SOPS 114237 HAS SOUS 70719 HAS SOUPS 70719 WITH SCORE 70833.237
AT ITER 1617 NEW BEST:: SOT 195539 SOS 114142 HAS SOPS 114142 HAS SOUS 70529 HAS SOUPS 70529 WITH SCORE 70643.142
AT ITER 1620 NEW BEST:: SOT 195497 SOS 114100 HAS SOPS 114100 HAS SOUS 70445 HAS SOUPS 70445 WITH SCORE 70559.1
AT ITER 1622 NEW BEST:: SOT 195432 SOS 113905 HAS SOPS 113905 HAS SOUS 70315 HAS SOUPS 70315 WITH SCORE 70428.905
AT ITER 1634 NEW BEST:: SOT 195246 SOS 113510 HAS SOPS 113510 HAS SOUS 69811 HAS SOUPS 69811 WITH SCORE 69924.51
AT ITER 1644 NEW BEST:: SOT 195223 SOS 113487 HAS SOPS 113487 HAS SOUS 69765 HAS SOUPS 69765 WITH SCORE 69878.487
AT ITER 1650 NEW BEST:: SOT 195064 SOS 113328 HAS SOPS 113328 HAS SOUS 69606 HAS SOUPS 69606 WITH SCORE 69719.328
AT ITER 1656 NEW BEST:: SOT 195051 SOS 113315 HAS SOPS 113315 HAS SOUS 69509 HAS SOUPS 69509 WITH SCORE 69622.315
AT ITER 1661 NEW BEST:: SOT 194792 SOS 113103 HAS SOPS 113103 HAS SOUS 69343 HAS SOUPS 69343 WITH SCORE 69456.103
AT ITER 1668 NEW BEST:: SOT 194754 SOS 113041 HAS SOPS 113041 HAS SOUS 69281 HAS SOUPS 69281 WITH SCORE 69394.041
AT ITER 1675 NEW BEST:: SOT 194753 SOS 113040 HAS SOPS 113040 HAS SOUS 69207 HAS SOUPS 69207 WITH SCORE 69320.04
AT ITER 1681 NEW BEST:: SOT 194817 SOS 113038 HAS SOPS 113038 HAS SOUS 69205 HAS SOUPS 69205 WITH SCORE 69318.038
AT ITER 1682 NEW BEST:: SOT 194812 SOS 113033 HAS SOPS 113033 HAS SOUS 69204 HAS SOUPS 69204 WITH SCORE 69317.033
AT ITER 1697 NEW BEST:: SOT 194599 SOS 114135 HAS SOPS 114135 HAS SOUS 69015 HAS SOUPS 69015 WITH SCORE 69129.135
AT ITER 1708 NEW BEST:: SOT 194591 SOS 114127 HAS SOPS 114127 HAS SOUS 68999 HAS SOUPS 68999 WITH SCORE 69113.127
AT ITER 1709 NEW BEST:: SOT 194572 SOS 114108 HAS SOPS 114108 HAS SOUS 68984 HAS SOUPS 68984 WITH SCORE 69098.108
AT ITER 1726 NEW BEST:: SOT 193912 SOS 113941 HAS SOPS 113941 HAS SOUS 68535 HAS SOUPS 68535 WITH SCORE 68648.941
AT ITER 1729 NEW BEST:: SOT 193838 SOS 113779 HAS SOPS 113779 HAS SOUS 68459 HAS SOUPS 68459 WITH SCORE 68572.779
AT ITER 1739 NEW BEST:: SOT 194016 SOS 113957 HAS SOPS 113957 HAS SOUS 68429 HAS SOUPS 68429 WITH SCORE 68542.957
AT ITER 1750 NEW BEST:: SOT 194016 SOS 113932 HAS SOPS 113932 HAS SOUS 68404 HAS SOUPS 68404 WITH SCORE 68517.932
AT ITER 1751 NEW BEST:: SOT 193684 SOS 114051 HAS SOPS 114051 HAS SOUS 68132 HAS SOUPS 68132 WITH SCORE 68246.051
AT ITER 1765 NEW BEST:: SOT 193600 SOS 113919 HAS SOPS 113919 HAS SOUS 68008 HAS SOUPS 68008 WITH SCORE 68121.919
AT ITER 1787 NEW BEST:: SOT 193522 SOS 114539 HAS SOPS 114539 HAS SOUS 67992 HAS SOUPS 67992 WITH SCORE 68106.539
AT ITER 1792 NEW BEST:: SOT 193360 SOS 114314 HAS SOPS 114314 HAS SOUS 67981 HAS SOUPS 67981 WITH SCORE 68095.314
AT ITER 1800 NEW BEST:: SOT 193304 SOS 114258 HAS SOPS 114258 HAS SOUS 67925 HAS SOUPS 67925 WITH SCORE 68039.258
AT ITER 1818 NEW BEST:: SOT 193227 SOS 114181 HAS SOPS 114181 HAS SOUS 67771 HAS SOUPS 67771 WITH SCORE 67885.181
AT ITER 1838 NEW BEST:: SOT 193205 SOS 114159 HAS SOPS 114159 HAS SOUS 67771 HAS SOUPS 67771 WITH SCORE 67885.159
AT ITER 1850 NEW BEST:: SOT 193198 SOS 114135 HAS SOPS 114135 HAS SOUS 67757 HAS SOUPS 67757 WITH SCORE 67871.135
AT ITER 1852 NEW BEST:: SOT 193134 SOS 114071 HAS SOPS 114071 HAS SOUS 67629 HAS SOUPS 67629 WITH SCORE 67743.071
AT ITER 1874 NEW BEST:: SOT 193114 SOS 114031 HAS SOPS 114031 HAS SOUS 67589 HAS SOUPS 67589 WITH SCORE 67703.031
AT ITER 1878 NEW BEST:: SOT 193114 SOS 114031 HAS SOPS 114031 HAS SOUS 67561 HAS SOUPS 67561 WITH SCORE 67675.031
AT ITER 1879 NEW BEST:: SOT 193046 SOS 114489 HAS SOPS 114489 HAS SOUS 67520 HAS SOUPS 67520 WITH SCORE 67634.489
AT ITER 1881 NEW BEST:: SOT 192922 SOS 114483 HAS SOPS 114483 HAS SOUS 67421 HAS SOUPS 67421 WITH SCORE 67535.483
AT ITER 1907 NEW BEST:: SOT 192903 SOS 114464 HAS SOPS 114464 HAS SOUS 67383 HAS SOUPS 67383 WITH SCORE 67497.464
AT ITER 1912 NEW BEST:: SOT 192897 SOS 114445 HAS SOPS 114445 HAS SOUS 67371 HAS SOUPS 67371 WITH SCORE 67485.445
AT ITER 1917 NEW BEST:: SOT 192897 SOS 114440 HAS SOPS 114440 HAS SOUS 67371 HAS SOUPS 67371 WITH SCORE 67485.44
AT ITER 1922 NEW BEST:: SOT 192854 SOS 114354 HAS SOPS 114354 HAS SOUS 67285 HAS SOUPS 67285 WITH SCORE 67399.354
AT ITER 1925 NEW BEST:: SOT 192848 SOS 114348 HAS SOPS 114348 HAS SOUS 67273 HAS SOUPS 67273 WITH SCORE 67387.348
AT ITER 1930 NEW BEST:: SOT 192840 SOS 114340 HAS SOPS 114340 HAS SOUS 67249 HAS SOUPS 67249 WITH SCORE 67363.34
AT ITER 1933 NEW BEST:: SOT 192798 SOS 114256 HAS SOPS 114256 HAS SOUS 67165 HAS SOUPS 67165 WITH SCORE 67279.256
AT ITER 1938 NEW BEST:: SOT 192787 SOS 114245 HAS SOPS 114245 HAS SOUS 67143 HAS SOUPS 67143 WITH SCORE 67257.245
AT ITER 1961 NEW BEST:: SOT 192767 SOS 114626 HAS SOPS 114626 HAS SOUS 67123 HAS SOUPS 67123 WITH SCORE 67237.626
AT ITER 1969 NEW BEST:: SOT 192655 SOS 114386 HAS SOPS 114386 HAS SOUS 66857 HAS SOUPS 66857 WITH SCORE 66971.386
AT ITER 1974 NEW BEST:: SOT 192465 SOS 114178 HAS SOPS 114178 HAS SOUS 66456 HAS SOUPS 66456 WITH SCORE 66570.178
AT ITER 1981 NEW BEST:: SOT 192465 SOS 114236 HAS SOPS 114236 HAS SOUS 66398 HAS SOUPS 66398 WITH SCORE 66512.236
AT ITER 1984 NEW BEST:: SOT 192453 SOS 114224 HAS SOPS 114224 HAS SOUS 66374 HAS SOUPS 66374 WITH SCORE 66488.224
AT ITER 1992 NEW BEST:: SOT 192393 SOS 114164 HAS SOPS 114164 HAS SOUS 66254 HAS SOUPS 66254 WITH SCORE 66368.164
AT ITER 1994 NEW BEST:: SOT 192422 SOS 114192 HAS SOPS 114192 HAS SOUS 66120 HAS SOUPS 66120 WITH SCORE 66234.192
AT ITER 2016 NEW BEST:: SOT 192271 SOS 114001 HAS SOPS 114001 HAS SOUS 65873 HAS SOUPS 65873 WITH SCORE 65987.001
AT ITER 2019 NEW BEST:: SOT 192250 SOS 113980 HAS SOPS 113980 HAS SOUS 65852 HAS SOUPS 65852 WITH SCORE 65965.98
AT ITER 2030 NEW BEST:: SOT 192100 SOS 113639 HAS SOPS 113639 HAS SOUS 65580 HAS SOUPS 65580 WITH SCORE 65693.639
AT ITER 2044 NEW BEST:: SOT 192068 SOS 113607 HAS SOPS 113607 HAS SOUS 65567 HAS SOUPS 65567 WITH SCORE 65680.607
AT ITER 2051 NEW BEST:: SOT 192091 SOS 113630 HAS SOPS 113630 HAS SOUS 65463 HAS SOUPS 65463 WITH SCORE 65576.63
AT ITER 2054 NEW BEST:: SOT 192090 SOS 113629 HAS SOPS 113629 HAS SOUS 65399 HAS SOUPS 65399 WITH SCORE 65512.629
AT ITER 2058 NEW BEST:: SOT 192054 SOS 113593 HAS SOPS 113593 HAS SOUS 65315 HAS SOUPS 65315 WITH SCORE 65428.593
AT ITER 2072 NEW BEST:: SOT 191994 SOS 113556 HAS SOPS 113556 HAS SOUS 65172 HAS SOUPS 65172 WITH SCORE 65285.556
AT ITER 2073 NEW BEST:: SOT 192009 SOS 113750 HAS SOPS 113750 HAS SOUS 65098 HAS SOUPS 65098 WITH SCORE 65211.75
AT ITER 2079 NEW BEST:: SOT 191860 SOS 113563 HAS SOPS 113563 HAS SOUS 65060 HAS SOUPS 65060 WITH SCORE 65173.563
AT ITER 2086 NEW BEST:: SOT 191858 SOS 113521 HAS SOPS 113521 HAS SOUS 65056 HAS SOUPS 65056 WITH SCORE 65169.521
AT ITER 2097 NEW BEST:: SOT 191742 SOS 113307 HAS SOPS 113307 HAS SOUS 64824 HAS SOUPS 64824 WITH SCORE 64937.307
AT ITER 2117 NEW BEST:: SOT 191742 SOS 113349 HAS SOPS 113349 HAS SOUS 64782 HAS SOUPS 64782 WITH SCORE 64895.349
AT ITER 2121 NEW BEST:: SOT 191620 SOS 113227 HAS SOPS 113227 HAS SOUS 64670 HAS SOUPS 64670 WITH SCORE 64783.227
AT ITER 2126 NEW BEST:: SOT 191612 SOS 113219 HAS SOPS 113219 HAS SOUS 64654 HAS SOUPS 64654 WITH SCORE 64767.219
AT ITER 2148 NEW BEST:: SOT 191598 SOS 113191 HAS SOPS 113191 HAS SOUS 64640 HAS SOUPS 64640 WITH SCORE 64753.191
AT ITER 2149 NEW BEST:: SOT 191518 SOS 113441 HAS SOPS 113441 HAS SOUS 64560 HAS SOUPS 64560 WITH SCORE 64673.441
AT ITER 2153 NEW BEST:: SOT 191518 SOS 113459 HAS SOPS 113459 HAS SOUS 64460 HAS SOUPS 64460 WITH SCORE 64573.459
AT ITER 2161 NEW BEST:: SOT 191514 SOS 113459 HAS SOPS 113459 HAS SOUS 64452 HAS SOUPS 64452 WITH SCORE 64565.459
AT ITER 2163 NEW BEST:: SOT 191514 SOS 113440 HAS SOPS 113440 HAS SOUS 64433 HAS SOUPS 64433 WITH SCORE 64546.44
AT ITER 2190 NEW BEST:: SOT 191509 SOS 113435 HAS SOPS 113435 HAS SOUS 64424 HAS SOUPS 64424 WITH SCORE 64537.435
AT ITER 2191 NEW BEST:: SOT 191555 SOS 113628 HAS SOPS 113628 HAS SOUS 64385 HAS SOUPS 64385 WITH SCORE 64498.628
AT ITER 2195 NEW BEST:: SOT 191448 SOS 113521 HAS SOPS 113521 HAS SOUS 64238 HAS SOUPS 64238 WITH SCORE 64351.521
AT ITER 2210 NEW BEST:: SOT 191426 SOS 113565 HAS SOPS 113565 HAS SOUS 64194 HAS SOUPS 64194 WITH SCORE 64307.565
AT ITER 2219 NEW BEST:: SOT 191392 SOS 113503 HAS SOPS 113503 HAS SOUS 64155 HAS SOUPS 64155 WITH SCORE 64268.503
AT ITER 2223 NEW BEST:: SOT 191385 SOS 113496 HAS SOPS 113496 HAS SOUS 64141 HAS SOUPS 64141 WITH SCORE 64254.496
AT ITER 2227 NEW BEST:: SOT 191366 SOS 113498 HAS SOPS 113498 HAS SOUS 64122 HAS SOUPS 64122 WITH SCORE 64235.498
AT ITER 2232 NEW BEST:: SOT 190545 SOS 117628 HAS SOPS 117628 HAS SOUS 63559 HAS SOUPS 63559 WITH SCORE 63676.628
AT ITER 2238 NEW BEST:: SOT 190467 SOS 117581 HAS SOPS 117581 HAS SOUS 63266 HAS SOUPS 63266 WITH SCORE 63383.581
AT ITER 2239 NEW BEST:: SOT 190428 SOS 117542 HAS SOPS 117542 HAS SOUS 63229 HAS SOUPS 63229 WITH SCORE 63346.542
AT ITER 2248 NEW BEST:: SOT 190424 SOS 117538 HAS SOPS 117538 HAS SOUS 63221 HAS SOUPS 63221 WITH SCORE 63338.538
AT ITER 2249 NEW BEST:: SOT 190386 SOS 117500 HAS SOPS 117500 HAS SOUS 63145 HAS SOUPS 63145 WITH SCORE 63262.5
AT ITER 2262 NEW BEST:: SOT 190369 SOS 117483 HAS SOPS 117483 HAS SOUS 63071 HAS SOUPS 63071 WITH SCORE 63188.483
AT ITER 2263 NEW BEST:: SOT 190348 SOS 117462 HAS SOPS 117462 HAS SOUS 63029 HAS SOUPS 63029 WITH SCORE 63146.462
AT ITER 2266 NEW BEST:: SOT 190329 SOS 117578 HAS SOPS 117578 HAS SOUS 63020 HAS SOUPS 63020 WITH SCORE 63137.578
AT ITER 2274 NEW BEST:: SOT 190237 SOS 118227 HAS SOPS 118227 HAS SOUS 62928 HAS SOUPS 62928 WITH SCORE 63046.227
AT ITER 2277 NEW BEST:: SOT 190230 SOS 118220 HAS SOPS 118220 HAS SOUS 62914 HAS SOUPS 62914 WITH SCORE 63032.22
AT ITER 2291 NEW BEST:: SOT 190210 SOS 116670 HAS SOPS 116670 HAS SOUS 62792 HAS SOUPS 62792 WITH SCORE 62908.67
AT ITER 2339 NEW BEST:: SOT 190205 SOS 116665 HAS SOPS 116665 HAS SOUS 62788 HAS SOUPS 62788 WITH SCORE 62904.665
AT ITER 2362 NEW BEST:: SOT 190239 SOS 116699 HAS SOPS 116699 HAS SOUS 62756 HAS SOUPS 62756 WITH SCORE 62872.699
AT ITER 2375 NEW BEST:: SOT 190202 SOS 116662 HAS SOPS 116662 HAS SOUS 62734 HAS SOUPS 62734 WITH SCORE 62850.662
AT ITER 2388 NEW BEST:: SOT 190133 SOS 116527 HAS SOPS 116527 HAS SOUS 62526 HAS SOUPS 62526 WITH SCORE 62642.527
AT ITER 2393 NEW BEST:: SOT 190132 SOS 116526 HAS SOPS 116526 HAS SOUS 62525 HAS SOUPS 62525 WITH SCORE 62641.526
AT ITER 2400 NEW BEST:: SOT 190108 SOS 116502 HAS SOPS 116502 HAS SOUS 62442 HAS SOUPS 62442 WITH SCORE 62558.502
AT ITER 2401 NEW BEST:: SOT 190057 SOS 116451 HAS SOPS 116451 HAS SOUS 62318 HAS SOUPS 62318 WITH SCORE 62434.451
AT ITER 2413 NEW BEST:: SOT 190047 SOS 116441 HAS SOPS 116441 HAS SOUS 62298 HAS SOUPS 62298 WITH SCORE 62414.441
AT ITER 2417 NEW BEST:: SOT 189996 SOS 116339 HAS SOPS 116339 HAS SOUS 62247 HAS SOUPS 62247 WITH SCORE 62363.339
AT ITER 2420 NEW BEST:: SOT 189982 SOS 116325 HAS SOPS 116325 HAS SOUS 62230 HAS SOUPS 62230 WITH SCORE 62346.325
AT ITER 2449 NEW BEST:: SOT 189982 SOS 116308 HAS SOPS 116308 HAS SOUS 62213 HAS SOUPS 62213 WITH SCORE 62329.308
AT ITER 2454 NEW BEST:: SOT 189679 SOS 115659 HAS SOPS 115659 HAS SOUS 61598 HAS SOUPS 61598 WITH SCORE 61713.659
AT ITER 2461 NEW BEST:: SOT 189671 SOS 115651 HAS SOPS 115651 HAS SOUS 61582 HAS SOUPS 61582 WITH SCORE 61697.651
AT ITER 2464 NEW BEST:: SOT 189649 SOS 115629 HAS SOPS 115629 HAS SOUS 61538 HAS SOUPS 61538 WITH SCORE 61653.629
AT ITER 2480 NEW BEST:: SOT 189678 SOS 115624 HAS SOPS 115624 HAS SOUS 61503 HAS SOUPS 61503 WITH SCORE 61618.624
AT ITER 2486 NEW BEST:: SOT 189726 SOS 115672 HAS SOPS 115672 HAS SOUS 61461 HAS SOUPS 61461 WITH SCORE 61576.672
AT ITER 2492 NEW BEST:: SOT 189693 SOS 115639 HAS SOPS 115639 HAS SOUS 61395 HAS SOUPS 61395 WITH SCORE 61510.639
AT ITER 2495 NEW BEST:: SOT 189563 SOS 115982 HAS SOPS 115982 HAS SOUS 61365 HAS SOUPS 61365 WITH SCORE 61480.982
AT ITER 2504 NEW BEST:: SOT 189505 SOS 115924 HAS SOPS 115924 HAS SOUS 61246 HAS SOUPS 61246 WITH SCORE 61361.924
AT ITER 2523 NEW BEST:: SOT 189530 SOS 115954 HAS SOPS 115954 HAS SOUS 61227 HAS SOUPS 61227 WITH SCORE 61342.954
AT ITER 2531 NEW BEST:: SOT 189607 SOS 116031 HAS SOPS 116031 HAS SOUS 61188 HAS SOUPS 61188 WITH SCORE 61304.031
AT ITER 2548 NEW BEST:: SOT 189535 SOS 116012 HAS SOPS 116012 HAS SOUS 61163 HAS SOUPS 61163 WITH SCORE 61279.012
AT ITER 2553 NEW BEST:: SOT 189518 SOS 115895 HAS SOPS 115895 HAS SOUS 61157 HAS SOUPS 61157 WITH SCORE 61272.895
AT ITER 2568 NEW BEST:: SOT 189514 SOS 115891 HAS SOPS 115891 HAS SOUS 61149 HAS SOUPS 61149 WITH SCORE 61264.891
AT ITER 2573 NEW BEST:: SOT 189474 SOS 115851 HAS SOPS 115851 HAS SOUS 61109 HAS SOUPS 61109 WITH SCORE 61224.851
AT ITER 2574 NEW BEST:: SOT 189468 SOS 115845 HAS SOPS 115845 HAS SOUS 61097 HAS SOUPS 61097 WITH SCORE 61212.845
AT ITER 2579 NEW BEST:: SOT 189460 SOS 115837 HAS SOPS 115837 HAS SOUS 61081 HAS SOUPS 61081 WITH SCORE 61196.837
AT ITER 2587 NEW BEST:: SOT 189459 SOS 115836 HAS SOPS 115836 HAS SOUS 61009 HAS SOUPS 61009 WITH SCORE 61124.836
AT ITER 2591 NEW BEST:: SOT 189589 SOS 115924 HAS SOPS 115924 HAS SOUS 60990 HAS SOUPS 60990 WITH SCORE 61105.924
AT ITER 2604 NEW BEST:: SOT 189589 SOS 115924 HAS SOPS 115924 HAS SOUS 60853 HAS SOUPS 60853 WITH SCORE 60968.924
AT ITER 2618 NEW BEST:: SOT 189605 SOS 115940 HAS SOPS 115940 HAS SOUS 60820 HAS SOUPS 60820 WITH SCORE 60935.94
AT ITER 2649 NEW BEST:: SOT 189609 SOS 115944 HAS SOPS 115944 HAS SOUS 60781 HAS SOUPS 60781 WITH SCORE 60896.944
AT ITER 2662 NEW BEST:: SOT 189605 SOS 115940 HAS SOPS 115940 HAS SOUS 60670 HAS SOUPS 60670 WITH SCORE 60785.94
AT ITER 2663 NEW BEST:: SOT 189605 SOS 115940 HAS SOPS 115940 HAS SOUS 60618 HAS SOUPS 60618 WITH SCORE 60733.94
AT ITER 2681 NEW BEST:: SOT 189605 SOS 115275 HAS SOPS 115275 HAS SOUS 60593 HAS SOUPS 60593 WITH SCORE 60708.275
AT ITER 2691 NEW BEST:: SOT 189605 SOS 115275 HAS SOPS 115275 HAS SOUS 60569 HAS SOUPS 60569 WITH SCORE 60684.275
AT ITER 2694 NEW BEST:: SOT 189575 SOS 115215 HAS SOPS 115215 HAS SOUS 60391 HAS SOUPS 60391 WITH SCORE 60506.215
AT ITER 2698 NEW BEST:: SOT 189529 SOS 115169 HAS SOPS 115169 HAS SOUS 60299 HAS SOUPS 60299 WITH SCORE 60414.169
AT ITER 2710 NEW BEST:: SOT 189523 SOS 115163 HAS SOPS 115163 HAS SOUS 60287 HAS SOUPS 60287 WITH SCORE 60402.163
AT ITER 2727 NEW BEST:: SOT 189530 SOS 115170 HAS SOPS 115170 HAS SOUS 60277 HAS SOUPS 60277 WITH SCORE 60392.17
AT ITER 2739 NEW BEST:: SOT 189530 SOS 115170 HAS SOPS 115170 HAS SOUS 60259 HAS SOUPS 60259 WITH SCORE 60374.17
AT ITER 2740 NEW BEST:: SOT 189467 SOS 115045 HAS SOPS 115045 HAS SOUS 60259 HAS SOUPS 60259 WITH SCORE 60374.045
AT ITER 2744 NEW BEST:: SOT 189473 SOS 115051 HAS SOPS 115051 HAS SOUS 60210 HAS SOUPS 60210 WITH SCORE 60325.051
AT ITER 2754 NEW BEST:: SOT 189473 SOS 115037 HAS SOPS 115037 HAS SOUS 60208 HAS SOUPS 60208 WITH SCORE 60323.037
AT ITER 2767 NEW BEST:: SOT 189475 SOS 115009 HAS SOPS 115009 HAS SOUS 60188 HAS SOUPS 60188 WITH SCORE 60303.009
AT ITER 2774 NEW BEST:: SOT 189385 SOS 114919 HAS SOPS 114919 HAS SOUS 60008 HAS SOUPS 60008 WITH SCORE 60122.919
AT ITER 2788 NEW BEST:: SOT 189364 SOS 114883 HAS SOPS 114883 HAS SOUS 59966 HAS SOUPS 59966 WITH SCORE 60080.883
AT ITER 2792 NEW BEST:: SOT 189348 SOS 114867 HAS SOPS 114867 HAS SOUS 59951 HAS SOUPS 59951 WITH SCORE 60065.867
AT ITER 2794 NEW BEST:: SOT 189338 SOS 114857 HAS SOPS 114857 HAS SOUS 59921 HAS SOUPS 59921 WITH SCORE 60035.857
AT ITER 2818 NEW BEST:: SOT 189336 SOS 114853 HAS SOPS 114853 HAS SOUS 59917 HAS SOUPS 59917 WITH SCORE 60031.853
AT ITER 2837 NEW BEST:: SOT 189193 SOS 114634 HAS SOPS 114634 HAS SOUS 59707 HAS SOUPS 59707 WITH SCORE 59821.634
AT ITER 2842 NEW BEST:: SOT 189003 SOS 114444 HAS SOPS 114444 HAS SOUS 59426 HAS SOUPS 59426 WITH SCORE 59540.444
AT ITER 2865 NEW BEST:: SOT 188973 SOS 114414 HAS SOPS 114414 HAS SOUS 59366 HAS SOUPS 59366 WITH SCORE 59480.414
AT ITER 2875 NEW BEST:: SOT 188973 SOS 114414 HAS SOPS 114414 HAS SOUS 59358 HAS SOUPS 59358 WITH SCORE 59472.414
AT ITER 2881 NEW BEST:: SOT 188855 SOS 114199 HAS SOPS 114199 HAS SOUS 59143 HAS SOUPS 59143 WITH SCORE 59257.199
AT ITER 2885 NEW BEST:: SOT 188826 SOS 114170 HAS SOPS 114170 HAS SOUS 59138 HAS SOUPS 59138 WITH SCORE 59252.17
AT ITER 2891 NEW BEST:: SOT 188794 SOS 114341 HAS SOPS 114341 HAS SOUS 59122 HAS SOUPS 59122 WITH SCORE 59236.341
AT ITER 2895 NEW BEST:: SOT 188796 SOS 114343 HAS SOPS 114343 HAS SOUS 59117 HAS SOUPS 59117 WITH SCORE 59231.343
AT ITER 2924 NEW BEST:: SOT 188794 SOS 114224 HAS SOPS 114224 HAS SOUS 58908 HAS SOUPS 58908 WITH SCORE 59022.224
AT ITER 2931 NEW BEST:: SOT 188784 SOS 114209 HAS SOPS 114209 HAS SOUS 58893 HAS SOUPS 58893 WITH SCORE 59007.209
AT ITER 2942 NEW BEST:: SOT 188784 SOS 114209 HAS SOPS 114209 HAS SOUS 58889 HAS SOUPS 58889 WITH SCORE 59003.209
AT ITER 2954 NEW BEST:: SOT 188613 SOS 113981 HAS SOPS 113981 HAS SOUS 58641 HAS SOUPS 58641 WITH SCORE 58754.981
AT ITER 2956 NEW BEST:: SOT 188627 SOS 113958 HAS SOPS 113958 HAS SOUS 58634 HAS SOUPS 58634 WITH SCORE 58747.958
AT ITER 2962 NEW BEST:: SOT 188616 SOS 113947 HAS SOPS 113947 HAS SOUS 58612 HAS SOUPS 58612 WITH SCORE 58725.947
AT ITER 2964 NEW BEST:: SOT 188559 SOS 114166 HAS SOPS 114166 HAS SOUS 58576 HAS SOUPS 58576 WITH SCORE 58690.166
AT ITER 2983 NEW BEST:: SOT 188538 SOS 114145 HAS SOPS 114145 HAS SOUS 58573 HAS SOUPS 58573 WITH SCORE 58687.145
AT ITER 2993 NEW BEST:: SOT 188503 SOS 114110 HAS SOPS 114110 HAS SOUS 58538 HAS SOUPS 58538 WITH SCORE 58652.11
AT ITER 3004 NEW BEST:: SOT 188509 SOS 112916 HAS SOPS 112916 HAS SOUS 58472 HAS SOUPS 58472 WITH SCORE 58584.916
AT ITER 3012 NEW BEST:: SOT 188494 SOS 112901 HAS SOPS 112901 HAS SOUS 58442 HAS SOUPS 58442 WITH SCORE 58554.901
AT ITER 3022 NEW BEST:: SOT 188477 SOS 112792 HAS SOPS 112792 HAS SOUS 58423 HAS SOUPS 58423 WITH SCORE 58535.792
AT ITER 3029 NEW BEST:: SOT 188477 SOS 112792 HAS SOPS 112792 HAS SOUS 58352 HAS SOUPS 58352 WITH SCORE 58464.792
AT ITER 3037 NEW BEST:: SOT 188453 SOS 112768 HAS SOPS 112768 HAS SOUS 58304 HAS SOUPS 58304 WITH SCORE 58416.768
AT ITER 3045 NEW BEST:: SOT 188276 SOS 113227 HAS SOPS 113227 HAS SOUS 58181 HAS SOUPS 58181 WITH SCORE 58294.227
AT ITER 3054 NEW BEST:: SOT 188265 SOS 113142 HAS SOPS 113142 HAS SOUS 58159 HAS SOUPS 58159 WITH SCORE 58272.142
AT ITER 3055 NEW BEST:: SOT 188367 SOS 113244 HAS SOPS 113244 HAS SOUS 58148 HAS SOUPS 58148 WITH SCORE 58261.244
AT ITER 3060 NEW BEST:: SOT 188230 SOS 113067 HAS SOPS 113067 HAS SOUS 57990 HAS SOUPS 57990 WITH SCORE 58103.067
AT ITER 3073 NEW BEST:: SOT 188230 SOS 113064 HAS SOPS 113064 HAS SOUS 57987 HAS SOUPS 57987 WITH SCORE 58100.064
AT ITER 3078 NEW BEST:: SOT 188134 SOS 112917 HAS SOPS 112917 HAS SOUS 57840 HAS SOUPS 57840 WITH SCORE 57952.917
AT ITER 3087 NEW BEST:: SOT 188123 SOS 112906 HAS SOPS 112906 HAS SOUS 57818 HAS SOUPS 57818 WITH SCORE 57930.906
AT ITER 3095 NEW BEST:: SOT 188123 SOS 112906 HAS SOPS 112906 HAS SOUS 57742 HAS SOUPS 57742 WITH SCORE 57854.906
AT ITER 3112 NEW BEST:: SOT 188118 SOS 112901 HAS SOPS 112901 HAS SOUS 57732 HAS SOUPS 57732 WITH SCORE 57844.901
AT ITER 3120 NEW BEST:: SOT 187902 SOS 112685 HAS SOPS 112685 HAS SOUS 57314 HAS SOUPS 57314 WITH SCORE 57426.685
AT ITER 3136 NEW BEST:: SOT 187857 SOS 112636 HAS SOPS 112636 HAS SOUS 57212 HAS SOUPS 57212 WITH SCORE 57324.636
AT ITER 3153 NEW BEST:: SOT 187857 SOS 112636 HAS SOPS 112636 HAS SOUS 57192 HAS SOUPS 57192 WITH SCORE 57304.636
AT ITER 3157 NEW BEST:: SOT 187830 SOS 112609 HAS SOPS 112609 HAS SOUS 57058 HAS SOUPS 57058 WITH SCORE 57170.609
AT ITER 3163 NEW BEST:: SOT 187843 SOS 112711 HAS SOPS 112711 HAS SOUS 57051 HAS SOUPS 57051 WITH SCORE 57163.711
AT ITER 3181 NEW BEST:: SOT 187663 SOS 112531 HAS SOPS 112531 HAS SOUS 56936 HAS SOUPS 56936 WITH SCORE 57048.531
AT ITER 3188 NEW BEST:: SOT 187642 SOS 112510 HAS SOPS 112510 HAS SOUS 56915 HAS SOUPS 56915 WITH SCORE 57027.51
AT ITER 3198 NEW BEST:: SOT 187642 SOS 112506 HAS SOPS 112506 HAS SOUS 56915 HAS SOUPS 56915 WITH SCORE 57027.506
AT ITER 3200 NEW BEST:: SOT 187642 SOS 112447 HAS SOPS 112447 HAS SOUS 56915 HAS SOUPS 56915 WITH SCORE 57027.447
AT ITER 3204 NEW BEST:: SOT 187661 SOS 112466 HAS SOPS 112466 HAS SOUS 56885 HAS SOUPS 56885 WITH SCORE 56997.466
AT ITER 3219 NEW BEST:: SOT 187649 SOS 112454 HAS SOPS 112454 HAS SOUS 56861 HAS SOUPS 56861 WITH SCORE 56973.454
AT ITER 3224 NEW BEST:: SOT 187625 SOS 112430 HAS SOPS 112430 HAS SOUS 56813 HAS SOUPS 56813 WITH SCORE 56925.43
AT ITER 3238 NEW BEST:: SOT 187618 SOS 112423 HAS SOPS 112423 HAS SOUS 56799 HAS SOUPS 56799 WITH SCORE 56911.423
AT ITER 3244 NEW BEST:: SOT 187601 SOS 112406 HAS SOPS 112406 HAS SOUS 56765 HAS SOUPS 56765 WITH SCORE 56877.406
AT ITER 3254 NEW BEST:: SOT 187592 SOS 112397 HAS SOPS 112397 HAS SOUS 56747 HAS SOUPS 56747 WITH SCORE 56859.397
AT ITER 3277 NEW BEST:: SOT 187526 SOS 112205 HAS SOPS 112205 HAS SOUS 56581 HAS SOUPS 56581 WITH SCORE 56693.205
AT ITER 3288 NEW BEST:: SOT 187021 SOS 111676 HAS SOPS 111676 HAS SOUS 56560 HAS SOUPS 56560 WITH SCORE 56671.676
AT ITER 3290 NEW BEST:: SOT 186919 SOS 111367 HAS SOPS 111367 HAS SOUS 56275 HAS SOUPS 56275 WITH SCORE 56386.367
AT ITER 3347 NEW BEST:: SOT 186888 SOS 111298 HAS SOPS 111298 HAS SOUS 56127 HAS SOUPS 56127 WITH SCORE 56238.298
AT ITER 3354 NEW BEST:: SOT 186813 SOS 111223 HAS SOPS 111223 HAS SOUS 55977 HAS SOUPS 55977 WITH SCORE 56088.223
AT ITER 3361 NEW BEST:: SOT 186766 SOS 111414 HAS SOPS 111414 HAS SOUS 55942 HAS SOUPS 55942 WITH SCORE 56053.414
AT ITER 3364 NEW BEST:: SOT 186744 SOS 111390 HAS SOPS 111390 HAS SOUS 55896 HAS SOUPS 55896 WITH SCORE 56007.39
AT ITER 3392 NEW BEST:: SOT 186744 SOS 111390 HAS SOPS 111390 HAS SOUS 55847 HAS SOUPS 55847 WITH SCORE 55958.39
AT ITER 3399 NEW BEST:: SOT 186786 SOS 111290 HAS SOPS 111290 HAS SOUS 55829 HAS SOUPS 55829 WITH SCORE 55940.29
AT ITER 3438 NEW BEST:: SOT 186784 SOS 111288 HAS SOPS 111288 HAS SOUS 55827 HAS SOUPS 55827 WITH SCORE 55938.288
AT ITER 3449 NEW BEST:: SOT 186773 SOS 111285 HAS SOPS 111285 HAS SOUS 55797 HAS SOUPS 55797 WITH SCORE 55908.285
AT ITER 3454 NEW BEST:: SOT 186773 SOS 111301 HAS SOPS 111301 HAS SOUS 55781 HAS SOUPS 55781 WITH SCORE 55892.301
AT ITER 3458 NEW BEST:: SOT 186755 SOS 111283 HAS SOPS 111283 HAS SOUS 55739 HAS SOUPS 55739 WITH SCORE 55850.283
AT ITER 3463 NEW BEST:: SOT 186755 SOS 111283 HAS SOPS 111283 HAS SOUS 55689 HAS SOUPS 55689 WITH SCORE 55800.283
AT ITER 3466 NEW BEST:: SOT 186855 SOS 111350 HAS SOPS 111350 HAS SOUS 55573 HAS SOUPS 55573 WITH SCORE 55684.35
AT ITER 3473 NEW BEST:: SOT 186819 SOS 111386 HAS SOPS 111386 HAS SOUS 55447 HAS SOUPS 55447 WITH SCORE 55558.386
AT ITER 3476 NEW BEST:: SOT 186806 SOS 111373 HAS SOPS 111373 HAS SOUS 55421 HAS SOUPS 55421 WITH SCORE 55532.373
AT ITER 3488 NEW BEST:: SOT 186787 SOS 111354 HAS SOPS 111354 HAS SOUS 55408 HAS SOUPS 55408 WITH SCORE 55519.354
AT ITER 3491 NEW BEST:: SOT 186751 SOS 111318 HAS SOPS 111318 HAS SOUS 55372 HAS SOUPS 55372 WITH SCORE 55483.318
AT ITER 3499 NEW BEST:: SOT 186751 SOS 111318 HAS SOPS 111318 HAS SOUS 55331 HAS SOUPS 55331 WITH SCORE 55442.318
AT ITER 3505 NEW BEST:: SOT 186742 SOS 111309 HAS SOPS 111309 HAS SOUS 55313 HAS SOUPS 55313 WITH SCORE 55424.309
AT ITER 3515 NEW BEST:: SOT 186738 SOS 111305 HAS SOPS 111305 HAS SOUS 55305 HAS SOUPS 55305 WITH SCORE 55416.305
AT ITER 3527 NEW BEST:: SOT 186701 SOS 111268 HAS SOPS 111268 HAS SOUS 55281 HAS SOUPS 55281 WITH SCORE 55392.268
AT ITER 3530 NEW BEST:: SOT 186699 SOS 111266 HAS SOPS 111266 HAS SOUS 55277 HAS SOUPS 55277 WITH SCORE 55388.266
AT ITER 3534 NEW BEST:: SOT 186699 SOS 111266 HAS SOPS 111266 HAS SOUS 55268 HAS SOUPS 55268 WITH SCORE 55379.266
AT ITER 3535 NEW BEST:: SOT 186772 SOS 110370 HAS SOPS 110370 HAS SOUS 55266 HAS SOUPS 55266 WITH SCORE 55376.37
AT ITER 3540 NEW BEST:: SOT 186772 SOS 110299 HAS SOPS 110299 HAS SOUS 55266 HAS SOUPS 55266 WITH SCORE 55376.299
AT ITER 3542 NEW BEST:: SOT 186755 SOS 110271 HAS SOPS 110271 HAS SOUS 55232 HAS SOUPS 55232 WITH SCORE 55342.271
AT ITER 3547 NEW BEST:: SOT 186735 SOS 110251 HAS SOPS 110251 HAS SOUS 55191 HAS SOUPS 55191 WITH SCORE 55301.251
AT ITER 3554 NEW BEST:: SOT 186690 SOS 110206 HAS SOPS 110206 HAS SOUS 55101 HAS SOUPS 55101 WITH SCORE 55211.206
AT ITER 3559 NEW BEST:: SOT 186665 SOS 110181 HAS SOPS 110181 HAS SOUS 55051 HAS SOUPS 55051 WITH SCORE 55161.181
AT ITER 3561 NEW BEST:: SOT 186668 SOS 110184 HAS SOPS 110184 HAS SOUS 55030 HAS SOUPS 55030 WITH SCORE 55140.184
AT ITER 3565 NEW BEST:: SOT 186660 SOS 110176 HAS SOPS 110176 HAS SOUS 55014 HAS SOUPS 55014 WITH SCORE 55124.176
AT ITER 3579 NEW BEST:: SOT 186684 SOS 109912 HAS SOPS 109912 HAS SOUS 55014 HAS SOUPS 55014 WITH SCORE 55123.912
AT ITER 3587 NEW BEST:: SOT 186640 SOS 109868 HAS SOPS 109868 HAS SOUS 54893 HAS SOUPS 54893 WITH SCORE 55002.868
AT ITER 3602 NEW BEST:: SOT 186614 SOS 109816 HAS SOPS 109816 HAS SOUS 54867 HAS SOUPS 54867 WITH SCORE 54976.816
AT ITER 3616 NEW BEST:: SOT 186558 SOS 109760 HAS SOPS 109760 HAS SOUS 54811 HAS SOUPS 54811 WITH SCORE 54920.76
AT ITER 3637 NEW BEST:: SOT 186593 SOS 109795 HAS SOPS 109795 HAS SOUS 54806 HAS SOUPS 54806 WITH SCORE 54915.795
AT ITER 3641 NEW BEST:: SOT 186565 SOS 109696 HAS SOPS 109696 HAS SOUS 54781 HAS SOUPS 54781 WITH SCORE 54890.696
AT ITER 3682 NEW BEST:: SOT 186508 SOS 110099 HAS SOPS 110099 HAS SOUS 54651 HAS SOUPS 54651 WITH SCORE 54761.099
AT ITER 3699 NEW BEST:: SOT 186495 SOS 110086 HAS SOPS 110086 HAS SOUS 54637 HAS SOUPS 54637 WITH SCORE 54747.086
AT ITER 3709 NEW BEST:: SOT 186493 SOS 110031 HAS SOPS 110031 HAS SOUS 54633 HAS SOUPS 54633 WITH SCORE 54743.031
AT ITER 3723 NEW BEST:: SOT 186473 SOS 110011 HAS SOPS 110011 HAS SOUS 54632 HAS SOUPS 54632 WITH SCORE 54742.011
AT ITER 3735 NEW BEST:: SOT 186473 SOS 109999 HAS SOPS 109999 HAS SOUS 54632 HAS SOUPS 54632 WITH SCORE 54741.999
AT ITER 3747 NEW BEST:: SOT 186449 SOS 109901 HAS SOPS 109901 HAS SOUS 54522 HAS SOUPS 54522 WITH SCORE 54631.901
AT ITER 3748 NEW BEST:: SOT 186444 SOS 109893 HAS SOPS 109893 HAS SOUS 54515 HAS SOUPS 54515 WITH SCORE 54624.893
AT ITER 3767 NEW BEST:: SOT 186439 SOS 109888 HAS SOPS 109888 HAS SOUS 54505 HAS SOUPS 54505 WITH SCORE 54614.888
AT ITER 3769 NEW BEST:: SOT 186439 SOS 109888 HAS SOPS 109888 HAS SOUS 54490 HAS SOUPS 54490 WITH SCORE 54599.888
AT ITER 3776 NEW BEST:: SOT 186424 SOS 109873 HAS SOPS 109873 HAS SOUS 54424 HAS SOUPS 54424 WITH SCORE 54533.873
AT ITER 3777 NEW BEST:: SOT 186428 SOS 109877 HAS SOPS 109877 HAS SOUS 54400 HAS SOUPS 54400 WITH SCORE 54509.877
AT ITER 3788 NEW BEST:: SOT 186428 SOS 109877 HAS SOPS 109877 HAS SOUS 54377 HAS SOUPS 54377 WITH SCORE 54486.877
AT ITER 3807 NEW BEST:: SOT 186425 SOS 109871 HAS SOPS 109871 HAS SOUS 54371 HAS SOUPS 54371 WITH SCORE 54480.871
AT ITER 3809 NEW BEST:: SOT 186414 SOS 109860 HAS SOPS 109860 HAS SOUS 54331 HAS SOUPS 54331 WITH SCORE 54440.86
AT ITER 3826 NEW BEST:: SOT 186414 SOS 109871 HAS SOPS 109871 HAS SOUS 54244 HAS SOUPS 54244 WITH SCORE 54353.871
AT ITER 3830 NEW BEST:: SOT 186329 SOS 109786 HAS SOPS 109786 HAS SOUS 54239 HAS SOUPS 54239 WITH SCORE 54348.786
AT ITER 3833 NEW BEST:: SOT 186264 SOS 109721 HAS SOPS 109721 HAS SOUS 54178 HAS SOUPS 54178 WITH SCORE 54287.721
AT ITER 3839 NEW BEST:: SOT 186176 SOS 109554 HAS SOPS 109554 HAS SOUS 54125 HAS SOUPS 54125 WITH SCORE 54234.554
AT ITER 3843 NEW BEST:: SOT 186161 SOS 109539 HAS SOPS 109539 HAS SOUS 54125 HAS SOUPS 54125 WITH SCORE 54234.539
AT ITER 3857 NEW BEST:: SOT 186152 SOS 109530 HAS SOPS 109530 HAS SOUS 54107 HAS SOUPS 54107 WITH SCORE 54216.53
AT ITER 3867 NEW BEST:: SOT 186152 SOS 109522 HAS SOPS 109522 HAS SOUS 54107 HAS SOUPS 54107 WITH SCORE 54216.522
AT ITER 3878 NEW BEST:: SOT 186157 SOS 109527 HAS SOPS 109527 HAS SOUS 54067 HAS SOUPS 54067 WITH SCORE 54176.527
AT ITER 3887 NEW BEST:: SOT 186157 SOS 109527 HAS SOPS 109527 HAS SOUS 54066 HAS SOUPS 54066 WITH SCORE 54175.527
AT ITER 3891 NEW BEST:: SOT 186144 SOS 109488 HAS SOPS 109488 HAS SOUS 54040 HAS SOUPS 54040 WITH SCORE 54149.488
AT ITER 3940 NEW BEST:: SOT 186186 SOS 109530 HAS SOPS 109530 HAS SOUS 54037 HAS SOUPS 54037 WITH SCORE 54146.53
AT ITER 3961 NEW BEST:: SOT 186183 SOS 109527 HAS SOPS 109527 HAS SOUS 54034 HAS SOUPS 54034 WITH SCORE 54143.527
AT ITER 3966 NEW BEST:: SOT 186162 SOS 109475 HAS SOPS 109475 HAS SOUS 53980 HAS SOUPS 53980 WITH SCORE 54089.475
AT ITER 3973 NEW BEST:: SOT 186155 SOS 109468 HAS SOPS 109468 HAS SOUS 53963 HAS SOUPS 53963 WITH SCORE 54072.468
AT ITER 3980 NEW BEST:: SOT 186151 SOS 109464 HAS SOPS 109464 HAS SOUS 53963 HAS SOUPS 53963 WITH SCORE 54072.464
AT ITER 3989 NEW BEST:: SOT 186136 SOS 109449 HAS SOPS 109449 HAS SOUS 53948 HAS SOUPS 53948 WITH SCORE 54057.449
AT ITER 4024 NEW BEST:: SOT 186112 SOS 109425 HAS SOPS 109425 HAS SOUS 53900 HAS SOUPS 53900 WITH SCORE 54009.425
AT ITER 4059 NEW BEST:: SOT 186106 SOS 109419 HAS SOPS 109419 HAS SOUS 53888 HAS SOUPS 53888 WITH SCORE 53997.419
AT ITER 4066 NEW BEST:: SOT 186088 SOS 109382 HAS SOPS 109382 HAS SOUS 53852 HAS SOUPS 53852 WITH SCORE 53961.382
AT ITER 4070 NEW BEST:: SOT 186100 SOS 109394 HAS SOPS 109394 HAS SOUS 53850 HAS SOUPS 53850 WITH SCORE 53959.394
AT ITER 4074 NEW BEST:: SOT 186109 SOS 109298 HAS SOPS 109298 HAS SOUS 53738 HAS SOUPS 53738 WITH SCORE 53847.298
AT ITER 4098 NEW BEST:: SOT 186109 SOS 109286 HAS SOPS 109286 HAS SOUS 53726 HAS SOUPS 53726 WITH SCORE 53835.286
AT ITER 4100 NEW BEST:: SOT 186142 SOS 108712 HAS SOPS 108712 HAS SOUS 53711 HAS SOUPS 53711 WITH SCORE 53819.712
AT ITER 4104 NEW BEST:: SOT 186121 SOS 108691 HAS SOPS 108691 HAS SOUS 53661 HAS SOUPS 53661 WITH SCORE 53769.691
AT ITER 4111 NEW BEST:: SOT 186121 SOS 108380 HAS SOPS 108380 HAS SOUS 53497 HAS SOUPS 53497 WITH SCORE 53605.38
AT ITER 4149 NEW BEST:: SOT 186169 SOS 108428 HAS SOPS 108428 HAS SOUS 53449 HAS SOUPS 53449 WITH SCORE 53557.428
AT ITER 4157 NEW BEST:: SOT 186145 SOS 108399 HAS SOPS 108399 HAS SOUS 53448 HAS SOUPS 53448 WITH SCORE 53556.399
AT ITER 4158 NEW BEST:: SOT 186186 SOS 108440 HAS SOPS 108440 HAS SOUS 53445 HAS SOUPS 53445 WITH SCORE 53553.44
AT ITER 4164 NEW BEST:: SOT 186154 SOS 108344 HAS SOPS 108344 HAS SOUS 53445 HAS SOUPS 53445 WITH SCORE 53553.344
AT ITER 4171 NEW BEST:: SOT 186151 SOS 108341 HAS SOPS 108341 HAS SOUS 53439 HAS SOUPS 53439 WITH SCORE 53547.341
AT ITER 4172 NEW BEST:: SOT 186148 SOS 108338 HAS SOPS 108338 HAS SOUS 53433 HAS SOUPS 53433 WITH SCORE 53541.338
AT ITER 4189 NEW BEST:: SOT 186055 SOS 108245 HAS SOPS 108245 HAS SOUS 53294 HAS SOUPS 53294 WITH SCORE 53402.245
AT ITER 4192 NEW BEST:: SOT 186082 SOS 108272 HAS SOPS 108272 HAS SOUS 53261 HAS SOUPS 53261 WITH SCORE 53369.272
AT ITER 4194 NEW BEST:: SOT 186053 SOS 108243 HAS SOPS 108243 HAS SOUS 53232 HAS SOUPS 53232 WITH SCORE 53340.243
AT ITER 4195 NEW BEST:: SOT 186042 SOS 108232 HAS SOPS 108232 HAS SOUS 53210 HAS SOUPS 53210 WITH SCORE 53318.232
AT ITER 4196 NEW BEST:: SOT 186040 SOS 108230 HAS SOPS 108230 HAS SOUS 53210 HAS SOUPS 53210 WITH SCORE 53318.23
AT ITER 4215 NEW BEST:: SOT 186014 SOS 108488 HAS SOPS 108488 HAS SOUS 53201 HAS SOUPS 53201 WITH SCORE 53309.488
AT ITER 4222 NEW BEST:: SOT 185983 SOS 108457 HAS SOPS 108457 HAS SOUS 53174 HAS SOUPS 53174 WITH SCORE 53282.457
AT ITER 4236 NEW BEST:: SOT 185977 SOS 108451 HAS SOPS 108451 HAS SOUS 53168 HAS SOUPS 53168 WITH SCORE 53276.451
AT ITER 4242 NEW BEST:: SOT 186007 SOS 108388 HAS SOPS 108388 HAS SOUS 53133 HAS SOUPS 53133 WITH SCORE 53241.388
AT ITER 4248 NEW BEST:: SOT 186012 SOS 108393 HAS SOPS 108393 HAS SOUS 53059 HAS SOUPS 53059 WITH SCORE 53167.393
AT ITER 4254 NEW BEST:: SOT 185968 SOS 108349 HAS SOPS 108349 HAS SOUS 52971 HAS SOUPS 52971 WITH SCORE 53079.349
AT ITER 4267 NEW BEST:: SOT 185980 SOS 108361 HAS SOPS 108361 HAS SOUS 52970 HAS SOUPS 52970 WITH SCORE 53078.361
AT ITER 4279 NEW BEST:: SOT 185991 SOS 108433 HAS SOPS 108433 HAS SOUS 52929 HAS SOUPS 52929 WITH SCORE 53037.433
AT ITER 4287 NEW BEST:: SOT 185988 SOS 108430 HAS SOPS 108430 HAS SOUS 52923 HAS SOUPS 52923 WITH SCORE 53031.43
AT ITER 4309 NEW BEST:: SOT 185988 SOS 108430 HAS SOPS 108430 HAS SOUS 52888 HAS SOUPS 52888 WITH SCORE 52996.43
AT ITER 4311 NEW BEST:: SOT 185993 SOS 108435 HAS SOPS 108435 HAS SOUS 52871 HAS SOUPS 52871 WITH SCORE 52979.435
AT ITER 4319 NEW BEST:: SOT 185993 SOS 108434 HAS SOPS 108434 HAS SOUS 52870 HAS SOUPS 52870 WITH SCORE 52978.434
AT ITER 4337 NEW BEST:: SOT 185986 SOS 108427 HAS SOPS 108427 HAS SOUS 52863 HAS SOUPS 52863 WITH SCORE 52971.427
AT ITER 4382 NEW BEST:: SOT 186009 SOS 108450 HAS SOPS 108450 HAS SOUS 52843 HAS SOUPS 52843 WITH SCORE 52951.45
AT ITER 4397 NEW BEST:: SOT 186076 SOS 108534 HAS SOPS 108534 HAS SOUS 52635 HAS SOUPS 52635 WITH SCORE 52743.534
AT ITER 4401 NEW BEST:: SOT 186076 SOS 108534 HAS SOPS 108534 HAS SOUS 52628 HAS SOUPS 52628 WITH SCORE 52736.534
AT ITER 4407 NEW BEST:: SOT 186050 SOS 108482 HAS SOPS 108482 HAS SOUS 52576 HAS SOUPS 52576 WITH SCORE 52684.482
AT ITER 4412 NEW BEST:: SOT 186049 SOS 108484 HAS SOPS 108484 HAS SOUS 52575 HAS SOUPS 52575 WITH SCORE 52683.484
AT ITER 4420 NEW BEST:: SOT 186040 SOS 108331 HAS SOPS 108331 HAS SOUS 52556 HAS SOUPS 52556 WITH SCORE 52664.331
AT ITER 4424 NEW BEST:: SOT 185981 SOS 108272 HAS SOPS 108272 HAS SOUS 52456 HAS SOUPS 52456 WITH SCORE 52564.272
AT ITER 4426 NEW BEST:: SOT 185981 SOS 107831 HAS SOPS 107831 HAS SOUS 52414 HAS SOUPS 52414 WITH SCORE 52521.831
AT ITER 4437 NEW BEST:: SOT 185976 SOS 107826 HAS SOPS 107826 HAS SOUS 52366 HAS SOUPS 52366 WITH SCORE 52473.826
AT ITER 4446 NEW BEST:: SOT 185923 SOS 107744 HAS SOPS 107744 HAS SOUS 52346 HAS SOUPS 52346 WITH SCORE 52453.744
AT ITER 4452 NEW BEST:: SOT 185889 SOS 107665 HAS SOPS 107665 HAS SOUS 52301 HAS SOUPS 52301 WITH SCORE 52408.665
AT ITER 4462 NEW BEST:: SOT 185889 SOS 107681 HAS SOPS 107681 HAS SOUS 52295 HAS SOUPS 52295 WITH SCORE 52402.681
AT ITER 4473 NEW BEST:: SOT 185836 SOS 107522 HAS SOPS 107522 HAS SOUS 52242 HAS SOUPS 52242 WITH SCORE 52349.522
AT ITER 4476 NEW BEST:: SOT 185862 SOS 106684 HAS SOPS 106684 HAS SOUS 52196 HAS SOUPS 52196 WITH SCORE 52302.684
AT ITER 4486 NEW BEST:: SOT 185838 SOS 106660 HAS SOPS 106660 HAS SOUS 52148 HAS SOUPS 52148 WITH SCORE 52254.66
AT ITER 4513 NEW BEST:: SOT 185838 SOS 106660 HAS SOPS 106660 HAS SOUS 52127 HAS SOUPS 52127 WITH SCORE 52233.66
AT ITER 4517 NEW BEST:: SOT 185838 SOS 106660 HAS SOPS 106660 HAS SOUS 52090 HAS SOUPS 52090 WITH SCORE 52196.66
AT ITER 4535 NEW BEST:: SOT 185765 SOS 106475 HAS SOPS 106475 HAS SOUS 52027 HAS SOUPS 52027 WITH SCORE 52133.475
AT ITER 4543 NEW BEST:: SOT 185764 SOS 106446 HAS SOPS 106446 HAS SOUS 52026 HAS SOUPS 52026 WITH SCORE 52132.446
AT ITER 4581 NEW BEST:: SOT 185764 SOS 106422 HAS SOPS 106422 HAS SOUS 52026 HAS SOUPS 52026 WITH SCORE 52132.422
AT ITER 4582 NEW BEST:: SOT 185764 SOS 106422 HAS SOPS 106422 HAS SOUS 51992 HAS SOUPS 51992 WITH SCORE 52098.422
AT ITER 4586 NEW BEST:: SOT 185764 SOS 106331 HAS SOPS 106331 HAS SOUS 51992 HAS SOUPS 51992 WITH SCORE 52098.331
AT ITER 4589 NEW BEST:: SOT 185764 SOS 106308 HAS SOPS 106308 HAS SOUS 51990 HAS SOUPS 51990 WITH SCORE 52096.308
AT ITER 4594 NEW BEST:: SOT 185728 SOS 106218 HAS SOPS 106218 HAS SOUS 51900 HAS SOUPS 51900 WITH SCORE 52006.218
AT ITER 4604 NEW BEST:: SOT 185628 SOS 106308 HAS SOPS 106308 HAS SOUS 51800 HAS SOUPS 51800 WITH SCORE 51906.308
AT ITER 4613 NEW BEST:: SOT 185649 SOS 106372 HAS SOPS 106372 HAS SOUS 51796 HAS SOUPS 51796 WITH SCORE 51902.372
AT ITER 4625 NEW BEST:: SOT 185648 SOS 106371 HAS SOPS 106371 HAS SOUS 51794 HAS SOUPS 51794 WITH SCORE 51900.371
AT ITER 4627 NEW BEST:: SOT 185630 SOS 106353 HAS SOPS 106353 HAS SOUS 51744 HAS SOUPS 51744 WITH SCORE 51850.353
AT ITER 4632 NEW BEST:: SOT 185630 SOS 106381 HAS SOPS 106381 HAS SOUS 51696 HAS SOUPS 51696 WITH SCORE 51802.381
AT ITER 4636 NEW BEST:: SOT 185492 SOS 106243 HAS SOPS 106243 HAS SOUS 51558 HAS SOUPS 51558 WITH SCORE 51664.243
AT ITER 4653 NEW BEST:: SOT 185320 SOS 106038 HAS SOPS 106038 HAS SOUS 51549 HAS SOUPS 51549 WITH SCORE 51655.038
AT ITER 4654 NEW BEST:: SOT 185320 SOS 106029 HAS SOPS 106029 HAS SOUS 51540 HAS SOUPS 51540 WITH SCORE 51646.029
AT ITER 4658 NEW BEST:: SOT 185318 SOS 106027 HAS SOPS 106027 HAS SOUS 51536 HAS SOUPS 51536 WITH SCORE 51642.027
AT ITER 4668 NEW BEST:: SOT 185318 SOS 105946 HAS SOPS 105946 HAS SOUS 51536 HAS SOUPS 51536 WITH SCORE 51641.946
AT ITER 4669 NEW BEST:: SOT 185274 SOS 105816 HAS SOPS 105816 HAS SOUS 51510 HAS SOUPS 51510 WITH SCORE 51615.816
AT ITER 4679 NEW BEST:: SOT 185183 SOS 105634 HAS SOPS 105634 HAS SOUS 51328 HAS SOUPS 51328 WITH SCORE 51433.634
AT ITER 4700 NEW BEST:: SOT 185133 SOS 105584 HAS SOPS 105584 HAS SOUS 51278 HAS SOUPS 51278 WITH SCORE 51383.584
AT ITER 4736 NEW BEST:: SOT 185114 SOS 105565 HAS SOPS 105565 HAS SOUS 51278 HAS SOUPS 51278 WITH SCORE 51383.565
AT ITER 4740 NEW BEST:: SOT 185101 SOS 105552 HAS SOPS 105552 HAS SOUS 51252 HAS SOUPS 51252 WITH SCORE 51357.552
AT ITER 4741 NEW BEST:: SOT 185089 SOS 105540 HAS SOPS 105540 HAS SOUS 51228 HAS SOUPS 51228 WITH SCORE 51333.54
AT ITER 4742 NEW BEST:: SOT 185089 SOS 105536 HAS SOPS 105536 HAS SOUS 51224 HAS SOUPS 51224 WITH SCORE 51329.536
AT ITER 4744 NEW BEST:: SOT 185071 SOS 105502 HAS SOPS 105502 HAS SOUS 51204 HAS SOUPS 51204 WITH SCORE 51309.502
AT ITER 4757 NEW BEST:: SOT 185071 SOS 105502 HAS SOPS 105502 HAS SOUS 51196 HAS SOUPS 51196 WITH SCORE 51301.502
AT ITER 4758 NEW BEST:: SOT 185039 SOS 105470 HAS SOPS 105470 HAS SOUS 51164 HAS SOUPS 51164 WITH SCORE 51269.47
AT ITER 4795 NEW BEST:: SOT 184939 SOS 105367 HAS SOPS 105367 HAS SOUS 51109 HAS SOUPS 51109 WITH SCORE 51214.367
AT ITER 4824 NEW BEST:: SOT 184907 SOS 105273 HAS SOPS 105273 HAS SOUS 51045 HAS SOUPS 51045 WITH SCORE 51150.273
AT ITER 4837 NEW BEST:: SOT 184712 SOS 105100 HAS SOPS 105100 HAS SOUS 51001 HAS SOUPS 51001 WITH SCORE 51106.1
AT ITER 4845 NEW BEST:: SOT 184698 SOS 105086 HAS SOPS 105086 HAS SOUS 50973 HAS SOUPS 50973 WITH SCORE 51078.086
AT ITER 4857 NEW BEST:: SOT 184707 SOS 105095 HAS SOPS 105095 HAS SOUS 50969 HAS SOUPS 50969 WITH SCORE 51074.095
AT ITER 4871 NEW BEST:: SOT 184621 SOS 104960 HAS SOPS 104960 HAS SOUS 50799 HAS SOUPS 50799 WITH SCORE 50903.96
AT ITER 4873 NEW BEST:: SOT 184501 SOS 104681 HAS SOPS 104681 HAS SOUS 50594 HAS SOUPS 50594 WITH SCORE 50698.681
AT ITER 4884 NEW BEST:: SOT 184474 SOS 104654 HAS SOPS 104654 HAS SOUS 50540 HAS SOUPS 50540 WITH SCORE 50644.654
AT ITER 4885 NEW BEST:: SOT 184524 SOS 104669 HAS SOPS 104669 HAS SOUS 50536 HAS SOUPS 50536 WITH SCORE 50640.669
AT ITER 4886 NEW BEST:: SOT 184514 SOS 104659 HAS SOPS 104659 HAS SOUS 50523 HAS SOUPS 50523 WITH SCORE 50627.659
AT ITER 4894 NEW BEST:: SOT 184487 SOS 104733 HAS SOPS 104733 HAS SOUS 50452 HAS SOUPS 50452 WITH SCORE 50556.733
AT ITER 4898 NEW BEST:: SOT 184499 SOS 104745 HAS SOPS 104745 HAS SOUS 50418 HAS SOUPS 50418 WITH SCORE 50522.745
AT ITER 4903 NEW BEST:: SOT 184488 SOS 104734 HAS SOPS 104734 HAS SOUS 50396 HAS SOUPS 50396 WITH SCORE 50500.734
AT ITER 4937 NEW BEST:: SOT 184469 SOS 104715 HAS SOPS 104715 HAS SOUS 50358 HAS SOUPS 50358 WITH SCORE 50462.715
AT ITER 4939 NEW BEST:: SOT 184435 SOS 104681 HAS SOPS 104681 HAS SOUS 50358 HAS SOUPS 50358 WITH SCORE 50462.681
AT ITER 4952 NEW BEST:: SOT 184429 SOS 104675 HAS SOPS 104675 HAS SOUS 50346 HAS SOUPS 50346 WITH SCORE 50450.675
AT ITER 4961 NEW BEST:: SOT 184428 SOS 104674 HAS SOPS 104674 HAS SOUS 50345 HAS SOUPS 50345 WITH SCORE 50449.674
AT ITER 4987 NEW BEST:: SOT 184410 SOS 104656 HAS SOPS 104656 HAS SOUS 50319 HAS SOUPS 50319 WITH SCORE 50423.656
AT ITER 5028 NEW BEST:: SOT 184407 SOS 104657 HAS SOPS 104657 HAS SOUS 50313 HAS SOUPS 50313 WITH SCORE 50417.657
AT ITER 5031 NEW BEST:: SOT 184400 SOS 104650 HAS SOPS 104650 HAS SOUS 50299 HAS SOUPS 50299 WITH SCORE 50403.65
AT ITER 5042 NEW BEST:: SOT 184475 SOS 104768 HAS SOPS 104768 HAS SOUS 50229 HAS SOUPS 50229 WITH SCORE 50333.768
AT ITER 5069 NEW BEST:: SOT 184479 SOS 104546 HAS SOPS 104546 HAS SOUS 50207 HAS SOUPS 50207 WITH SCORE 50311.546
AT ITER 5073 NEW BEST:: SOT 184562 SOS 103656 HAS SOPS 103656 HAS SOUS 50194 HAS SOUPS 50194 WITH SCORE 50297.656
AT ITER 5076 NEW BEST:: SOT 184549 SOS 103623 HAS SOPS 103623 HAS SOUS 50181 HAS SOUPS 50181 WITH SCORE 50284.623
AT ITER 5086 NEW BEST:: SOT 184545 SOS 103615 HAS SOPS 103615 HAS SOUS 50177 HAS SOUPS 50177 WITH SCORE 50280.615
AT ITER 5089 NEW BEST:: SOT 184529 SOS 103599 HAS SOPS 103599 HAS SOUS 50145 HAS SOUPS 50145 WITH SCORE 50248.599
AT ITER 5095 NEW BEST:: SOT 184483 SOS 103553 HAS SOPS 103553 HAS SOUS 50099 HAS SOUPS 50099 WITH SCORE 50202.553
AT ITER 5109 NEW BEST:: SOT 184428 SOS 103498 HAS SOPS 103498 HAS SOUS 49989 HAS SOUPS 49989 WITH SCORE 50092.498
AT ITER 5110 NEW BEST:: SOT 184398 SOS 103438 HAS SOPS 103438 HAS SOUS 49929 HAS SOUPS 49929 WITH SCORE 50032.438
AT ITER 5111 NEW BEST:: SOT 184390 SOS 103380 HAS SOPS 103380 HAS SOUS 49913 HAS SOUPS 49913 WITH SCORE 50016.38
AT ITER 5128 NEW BEST:: SOT 184379 SOS 103412 HAS SOPS 103412 HAS SOUS 49891 HAS SOUPS 49891 WITH SCORE 49994.412
AT ITER 5138 NEW BEST:: SOT 184359 SOS 103388 HAS SOPS 103388 HAS SOUS 49867 HAS SOUPS 49867 WITH SCORE 49970.388
AT ITER 5141 NEW BEST:: SOT 184337 SOS 103366 HAS SOPS 103366 HAS SOUS 49810 HAS SOUPS 49810 WITH SCORE 49913.366
AT ITER 5199 NEW BEST:: SOT 184350 SOS 103379 HAS SOPS 103379 HAS SOUS 49787 HAS SOUPS 49787 WITH SCORE 49890.379
AT ITER 5216 NEW BEST:: SOT 184338 SOS 103367 HAS SOPS 103367 HAS SOUS 49777 HAS SOUPS 49777 WITH SCORE 49880.367
AT ITER 5227 NEW BEST:: SOT 184372 SOS 103401 HAS SOPS 103401 HAS SOUS 49775 HAS SOUPS 49775 WITH SCORE 49878.401
AT ITER 5228 NEW BEST:: SOT 184390 SOS 103419 HAS SOPS 103419 HAS SOUS 49720 HAS SOUPS 49720 WITH SCORE 49823.419
AT ITER 5230 NEW BEST:: SOT 184376 SOS 103398 HAS SOPS 103398 HAS SOUS 49656 HAS SOUPS 49656 WITH SCORE 49759.398
AT ITER 5238 NEW BEST:: SOT 184375 SOS 103367 HAS SOPS 103367 HAS SOUS 49654 HAS SOUPS 49654 WITH SCORE 49757.367
AT ITER 5250 NEW BEST:: SOT 184367 SOS 103359 HAS SOPS 103359 HAS SOUS 49639 HAS SOUPS 49639 WITH SCORE 49742.359
AT ITER 5263 NEW BEST:: SOT 184451 SOS 103443 HAS SOPS 103443 HAS SOUS 49614 HAS SOUPS 49614 WITH SCORE 49717.443
AT ITER 5266 NEW BEST:: SOT 184428 SOS 103420 HAS SOPS 103420 HAS SOUS 49568 HAS SOUPS 49568 WITH SCORE 49671.42
AT ITER 5284 NEW BEST:: SOT 184416 SOS 103408 HAS SOPS 103408 HAS SOUS 49562 HAS SOUPS 49562 WITH SCORE 49665.408
AT ITER 5302 NEW BEST:: SOT 184406 SOS 103467 HAS SOPS 103467 HAS SOUS 49542 HAS SOUPS 49542 WITH SCORE 49645.467
AT ITER 5307 NEW BEST:: SOT 184395 SOS 103456 HAS SOPS 103456 HAS SOUS 49520 HAS SOUPS 49520 WITH SCORE 49623.456
AT ITER 5308 NEW BEST:: SOT 184393 SOS 103454 HAS SOPS 103454 HAS SOUS 49516 HAS SOUPS 49516 WITH SCORE 49619.454
AT ITER 5322 NEW BEST:: SOT 184375 SOS 103478 HAS SOPS 103478 HAS SOUS 49480 HAS SOUPS 49480 WITH SCORE 49583.478
AT ITER 5339 NEW BEST:: SOT 184374 SOS 103477 HAS SOPS 103477 HAS SOUS 49478 HAS SOUPS 49478 WITH SCORE 49581.477
AT ITER 5354 NEW BEST:: SOT 184373 SOS 103476 HAS SOPS 103476 HAS SOUS 49473 HAS SOUPS 49473 WITH SCORE 49576.476
AT ITER 5358 NEW BEST:: SOT 184393 SOS 103496 HAS SOPS 103496 HAS SOUS 49419 HAS SOUPS 49419 WITH SCORE 49522.496
AT ITER 5394 NEW BEST:: SOT 184389 SOS 103563 HAS SOPS 103563 HAS SOUS 49381 HAS SOUPS 49381 WITH SCORE 49484.563
AT ITER 5398 NEW BEST:: SOT 184328 SOS 103502 HAS SOPS 103502 HAS SOUS 49319 HAS SOUPS 49319 WITH SCORE 49422.502
AT ITER 5410 NEW BEST:: SOT 184322 SOS 103544 HAS SOPS 103544 HAS SOUS 49316 HAS SOUPS 49316 WITH SCORE 49419.544
AT ITER 5419 NEW BEST:: SOT 184256 SOS 103478 HAS SOPS 103478 HAS SOUS 49197 HAS SOUPS 49197 WITH SCORE 49300.478
AT ITER 5426 NEW BEST:: SOT 184268 SOS 103467 HAS SOPS 103467 HAS SOUS 49155 HAS SOUPS 49155 WITH SCORE 49258.467
AT ITER 5442 NEW BEST:: SOT 184194 SOS 103258 HAS SOPS 103258 HAS SOUS 49072 HAS SOUPS 49072 WITH SCORE 49175.258
AT ITER 5450 NEW BEST:: SOT 184182 SOS 103246 HAS SOPS 103246 HAS SOUS 49060 HAS SOUPS 49060 WITH SCORE 49163.246
AT ITER 5473 NEW BEST:: SOT 184171 SOS 103235 HAS SOPS 103235 HAS SOUS 49038 HAS SOUPS 49038 WITH SCORE 49141.235
AT ITER 5483 NEW BEST:: SOT 184104 SOS 103168 HAS SOPS 103168 HAS SOUS 48904 HAS SOUPS 48904 WITH SCORE 49007.168
AT ITER 5487 NEW BEST:: SOT 184081 SOS 103145 HAS SOPS 103145 HAS SOUS 48854 HAS SOUPS 48854 WITH SCORE 48957.145
AT ITER 5489 NEW BEST:: SOT 184095 SOS 103117 HAS SOPS 103117 HAS SOUS 48826 HAS SOUPS 48826 WITH SCORE 48929.117
AT ITER 5495 NEW BEST:: SOT 184095 SOS 103117 HAS SOPS 103117 HAS SOUS 48820 HAS SOUPS 48820 WITH SCORE 48923.117
AT ITER 5527 NEW BEST:: SOT 184046 SOS 103068 HAS SOPS 103068 HAS SOUS 48722 HAS SOUPS 48722 WITH SCORE 48825.068
AT ITER 5552 NEW BEST:: SOT 184024 SOS 103213 HAS SOPS 103213 HAS SOUS 48700 HAS SOUPS 48700 WITH SCORE 48803.213
AT ITER 5565 NEW BEST:: SOT 184024 SOS 103213 HAS SOPS 103213 HAS SOUS 48696 HAS SOUPS 48696 WITH SCORE 48799.213
AT ITER 5579 NEW BEST:: SOT 184035 SOS 103224 HAS SOPS 103224 HAS SOUS 48686 HAS SOUPS 48686 WITH SCORE 48789.224
AT ITER 5613 NEW BEST:: SOT 184035 SOS 103224 HAS SOPS 103224 HAS SOUS 48672 HAS SOUPS 48672 WITH SCORE 48775.224
AT ITER 5620 NEW BEST:: SOT 184047 SOS 103225 HAS SOPS 103225 HAS SOUS 48656 HAS SOUPS 48656 WITH SCORE 48759.225
AT ITER 5628 NEW BEST:: SOT 184040 SOS 103218 HAS SOPS 103218 HAS SOUS 48642 HAS SOUPS 48642 WITH SCORE 48745.218
AT ITER 5631 NEW BEST:: SOT 184024 SOS 103165 HAS SOPS 103165 HAS SOUS 48636 HAS SOUPS 48636 WITH SCORE 48739.165
AT ITER 5660 NEW BEST:: SOT 184024 SOS 103069 HAS SOPS 103069 HAS SOUS 48624 HAS SOUPS 48624 WITH SCORE 48727.069
AT ITER 5672 NEW BEST:: SOT 183987 SOS 103032 HAS SOPS 103032 HAS SOUS 48571 HAS SOUPS 48571 WITH SCORE 48674.032
AT ITER 5698 NEW BEST:: SOT 183987 SOS 103031 HAS SOPS 103031 HAS SOUS 48523 HAS SOUPS 48523 WITH SCORE 48626.031
AT ITER 5711 NEW BEST:: SOT 183974 SOS 103018 HAS SOPS 103018 HAS SOUS 48510 HAS SOUPS 48510 WITH SCORE 48613.018
AT ITER 5715 NEW BEST:: SOT 184025 SOS 102301 HAS SOPS 102301 HAS SOUS 48485 HAS SOUPS 48485 WITH SCORE 48587.301
AT ITER 5740 NEW BEST:: SOT 184025 SOS 102209 HAS SOPS 102209 HAS SOUS 48439 HAS SOUPS 48439 WITH SCORE 48541.209
AT ITER 5755 NEW BEST:: SOT 184015 SOS 102109 HAS SOPS 102109 HAS SOUS 48419 HAS SOUPS 48419 WITH SCORE 48521.109
AT ITER 5810 NEW BEST:: SOT 183969 SOS 102063 HAS SOPS 102063 HAS SOUS 48205 HAS SOUPS 48205 WITH SCORE 48307.063
AT ITER 5823 NEW BEST:: SOT 183962 SOS 102056 HAS SOPS 102056 HAS SOUS 48179 HAS SOUPS 48179 WITH SCORE 48281.056
AT ITER 5850 NEW BEST:: SOT 183977 SOS 102071 HAS SOPS 102071 HAS SOUS 48164 HAS SOUPS 48164 WITH SCORE 48266.071
AT ITER 5860 NEW BEST:: SOT 183977 SOS 102044 HAS SOPS 102044 HAS SOUS 48164 HAS SOUPS 48164 WITH SCORE 48266.044
AT ITER 5866 NEW BEST:: SOT 183969 SOS 102024 HAS SOPS 102024 HAS SOUS 48152 HAS SOUPS 48152 WITH SCORE 48254.024
AT ITER 5874 NEW BEST:: SOT 183957 SOS 101985 HAS SOPS 101985 HAS SOUS 48128 HAS SOUPS 48128 WITH SCORE 48229.985
AT ITER 5914 NEW BEST:: SOT 183936 SOS 101964 HAS SOPS 101964 HAS SOUS 48116 HAS SOUPS 48116 WITH SCORE 48217.964
AT ITER 5922 NEW BEST:: SOT 183902 SOS 102042 HAS SOPS 102042 HAS SOUS 48112 HAS SOUPS 48112 WITH SCORE 48214.042
AT ITER 5947 NEW BEST:: SOT 183907 SOS 102047 HAS SOPS 102047 HAS SOUS 48101 HAS SOUPS 48101 WITH SCORE 48203.047
AT ITER 5955 NEW BEST:: SOT 183902 SOS 102037 HAS SOPS 102037 HAS SOUS 48096 HAS SOUPS 48096 WITH SCORE 48198.037
AT ITER 5977 NEW BEST:: SOT 183852 SOS 101987 HAS SOPS 101987 HAS SOUS 48046 HAS SOUPS 48046 WITH SCORE 48147.987
AT ITER 6037 NEW BEST:: SOT 183797 SOS 101932 HAS SOPS 101932 HAS SOUS 47976 HAS SOUPS 47976 WITH SCORE 48077.932
AT ITER 6086 NEW BEST:: SOT 183746 SOS 101881 HAS SOPS 101881 HAS SOUS 47953 HAS SOUPS 47953 WITH SCORE 48054.881
AT ITER 6128 NEW BEST:: SOT 183766 SOS 101901 HAS SOPS 101901 HAS SOUS 47932 HAS SOUPS 47932 WITH SCORE 48033.901
AT ITER 6166 NEW BEST:: SOT 183766 SOS 101911 HAS SOPS 101911 HAS SOUS 47922 HAS SOUPS 47922 WITH SCORE 48023.911
AT ITER 6173 NEW BEST:: SOT 183718 SOS 101815 HAS SOPS 101815 HAS SOUS 47874 HAS SOUPS 47874 WITH SCORE 47975.815
AT ITER 6177 NEW BEST:: SOT 183706 SOS 101803 HAS SOPS 101803 HAS SOUS 47838 HAS SOUPS 47838 WITH SCORE 47939.803
AT ITER 6192 NEW BEST:: SOT 183698 SOS 101787 HAS SOPS 101787 HAS SOUS 47830 HAS SOUPS 47830 WITH SCORE 47931.787
AT ITER 6193 NEW BEST:: SOT 183690 SOS 101771 HAS SOPS 101771 HAS SOUS 47822 HAS SOUPS 47822 WITH SCORE 47923.771
AT ITER 6201 NEW BEST:: SOT 183690 SOS 101771 HAS SOPS 101771 HAS SOUS 47814 HAS SOUPS 47814 WITH SCORE 47915.771
AT ITER 6205 NEW BEST:: SOT 183577 SOS 102306 HAS SOPS 102306 HAS SOUS 47727 HAS SOUPS 47727 WITH SCORE 47829.306
AT ITER 6214 NEW BEST:: SOT 183540 SOS 102269 HAS SOPS 102269 HAS SOUS 47653 HAS SOUPS 47653 WITH SCORE 47755.269
AT ITER 6218 NEW BEST:: SOT 183537 SOS 102266 HAS SOPS 102266 HAS SOUS 47647 HAS SOUPS 47647 WITH SCORE 47749.266
AT ITER 6235 NEW BEST:: SOT 183533 SOS 102262 HAS SOPS 102262 HAS SOUS 47639 HAS SOUPS 47639 WITH SCORE 47741.262
AT ITER 6258 NEW BEST:: SOT 183528 SOS 102257 HAS SOPS 102257 HAS SOUS 47629 HAS SOUPS 47629 WITH SCORE 47731.257
AT ITER 6259 NEW BEST:: SOT 183528 SOS 102257 HAS SOPS 102257 HAS SOUS 47625 HAS SOUPS 47625 WITH SCORE 47727.257
AT ITER 6260 NEW BEST:: SOT 183515 SOS 102244 HAS SOPS 102244 HAS SOUS 47599 HAS SOUPS 47599 WITH SCORE 47701.244
AT ITER 6282 NEW BEST:: SOT 183469 SOS 102198 HAS SOPS 102198 HAS SOUS 47563 HAS SOUPS 47563 WITH SCORE 47665.198
AT ITER 6306 NEW BEST:: SOT 183465 SOS 102186 HAS SOPS 102186 HAS SOUS 47563 HAS SOUPS 47563 WITH SCORE 47665.186
AT ITER 6307 NEW BEST:: SOT 183457 SOS 102162 HAS SOPS 102162 HAS SOUS 47555 HAS SOUPS 47555 WITH SCORE 47657.162
AT ITER 6314 NEW BEST:: SOT 183435 SOS 102140 HAS SOPS 102140 HAS SOUS 47511 HAS SOUPS 47511 WITH SCORE 47613.14
AT ITER 6315 NEW BEST:: SOT 183394 SOS 102099 HAS SOPS 102099 HAS SOUS 47429 HAS SOUPS 47429 WITH SCORE 47531.099
AT ITER 6319 NEW BEST:: SOT 183419 SOS 102124 HAS SOPS 102124 HAS SOUS 47394 HAS SOUPS 47394 WITH SCORE 47496.124
AT ITER 6373 NEW BEST:: SOT 183437 SOS 102142 HAS SOPS 102142 HAS SOUS 47372 HAS SOUPS 47372 WITH SCORE 47474.142
AT ITER 6501 NEW BEST:: SOT 183425 SOS 102130 HAS SOPS 102130 HAS SOUS 47348 HAS SOUPS 47348 WITH SCORE 47450.13
AT ITER 6502 NEW BEST:: SOT 183414 SOS 102119 HAS SOPS 102119 HAS SOUS 47326 HAS SOUPS 47326 WITH SCORE 47428.119
AT ITER 6513 NEW BEST:: SOT 183414 SOS 102100 HAS SOPS 102100 HAS SOUS 47326 HAS SOUPS 47326 WITH SCORE 47428.1
AT ITER 6538 NEW BEST:: SOT 183395 SOS 102046 HAS SOPS 102046 HAS SOUS 47323 HAS SOUPS 47323 WITH SCORE 47425.046
AT ITER 6564 NEW BEST:: SOT 183383 SOS 102027 HAS SOPS 102027 HAS SOUS 47313 HAS SOUPS 47313 WITH SCORE 47415.027
AT ITER 6603 NEW BEST:: SOT 183376 SOS 102006 HAS SOPS 102006 HAS SOUS 47311 HAS SOUPS 47311 WITH SCORE 47413.006
AT ITER 6606 NEW BEST:: SOT 183367 SOS 101997 HAS SOPS 101997 HAS SOUS 47293 HAS SOUPS 47293 WITH SCORE 47394.997
AT ITER 6636 NEW BEST:: SOT 183361 SOS 101991 HAS SOPS 101991 HAS SOUS 47293 HAS SOUPS 47293 WITH SCORE 47394.991
AT ITER 6649 NEW BEST:: SOT 183353 SOS 101983 HAS SOPS 101983 HAS SOUS 47271 HAS SOUPS 47271 WITH SCORE 47372.983
AT ITER 6658 NEW BEST:: SOT 183361 SOS 101991 HAS SOPS 101991 HAS SOUS 47265 HAS SOUPS 47265 WITH SCORE 47366.991
AT ITER 6675 NEW BEST:: SOT 183218 SOS 101848 HAS SOPS 101848 HAS SOUS 47000 HAS SOUPS 47000 WITH SCORE 47101.848
AT ITER 6678 NEW BEST:: SOT 183182 SOS 101812 HAS SOPS 101812 HAS SOUS 46968 HAS SOUPS 46968 WITH SCORE 47069.812
AT ITER 6679 NEW BEST:: SOT 183144 SOS 101712 HAS SOPS 101712 HAS SOUS 46898 HAS SOUPS 46898 WITH SCORE 46999.712
AT ITER 6691 NEW BEST:: SOT 183160 SOS 101728 HAS SOPS 101728 HAS SOUS 46833 HAS SOUPS 46833 WITH SCORE 46934.728
AT ITER 6711 NEW BEST:: SOT 183169 SOS 101267 HAS SOPS 101267 HAS SOUS 46816 HAS SOUPS 46816 WITH SCORE 46917.267
AT ITER 6774 NEW BEST:: SOT 183169 SOS 101265 HAS SOPS 101265 HAS SOUS 46814 HAS SOUPS 46814 WITH SCORE 46915.265
AT ITER 6776 NEW BEST:: SOT 183169 SOS 101245 HAS SOPS 101245 HAS SOUS 46794 HAS SOUPS 46794 WITH SCORE 46895.245
AT ITER 6783 NEW BEST:: SOT 183125 SOS 101201 HAS SOPS 101201 HAS SOUS 46706 HAS SOUPS 46706 WITH SCORE 46807.201
AT ITER 6790 NEW BEST:: SOT 183095 SOS 101130 HAS SOPS 101130 HAS SOUS 46697 HAS SOUPS 46697 WITH SCORE 46798.13
AT ITER 6791 NEW BEST:: SOT 183093 SOS 101090 HAS SOPS 101090 HAS SOUS 46657 HAS SOUPS 46657 WITH SCORE 46758.09
AT ITER 6854 NEW BEST:: SOT 183055 SOS 100988 HAS SOPS 100988 HAS SOUS 46645 HAS SOUPS 46645 WITH SCORE 46745.988
AT ITER 6856 NEW BEST:: SOT 183074 SOS 100722 HAS SOPS 100722 HAS SOUS 46645 HAS SOUPS 46645 WITH SCORE 46745.722
AT ITER 6864 NEW BEST:: SOT 183064 SOS 100712 HAS SOPS 100712 HAS SOUS 46645 HAS SOUPS 46645 WITH SCORE 46745.712
AT ITER 6894 NEW BEST:: SOT 183064 SOS 100722 HAS SOPS 100722 HAS SOUS 46619 HAS SOUPS 46619 WITH SCORE 46719.722
AT ITER 6913 NEW BEST:: SOT 183059 SOS 100717 HAS SOPS 100717 HAS SOUS 46614 HAS SOUPS 46614 WITH SCORE 46714.717
AT ITER 6939 NEW BEST:: SOT 183052 SOS 100717 HAS SOPS 100717 HAS SOUS 46600 HAS SOUPS 46600 WITH SCORE 46700.717
AT ITER 6974 NEW BEST:: SOT 183051 SOS 100717 HAS SOPS 100717 HAS SOUS 46599 HAS SOUPS 46599 WITH SCORE 46699.717
AT ITER 6999 NEW BEST:: SOT 183046 SOS 100731 HAS SOPS 100731 HAS SOUS 46589 HAS SOUPS 46589 WITH SCORE 46689.731
AT ITER 7021 NEW BEST:: SOT 183046 SOS 100731 HAS SOPS 100731 HAS SOUS 46566 HAS SOUPS 46566 WITH SCORE 46666.731
AT ITER 7041 NEW BEST:: SOT 183138 SOS 100823 HAS SOPS 100823 HAS SOUS 46546 HAS SOUPS 46546 WITH SCORE 46646.823
AT ITER 7091 NEW BEST:: SOT 183138 SOS 100812 HAS SOPS 100812 HAS SOUS 46535 HAS SOUPS 46535 WITH SCORE 46635.812
AT ITER 7107 NEW BEST:: SOT 183173 SOS 100847 HAS SOPS 100847 HAS SOUS 46481 HAS SOUPS 46481 WITH SCORE 46581.847
AT ITER 7110 NEW BEST:: SOT 183085 SOS 100759 HAS SOPS 100759 HAS SOUS 46393 HAS SOUPS 46393 WITH SCORE 46493.759
AT ITER 7128 NEW BEST:: SOT 183046 SOS 100637 HAS SOPS 100637 HAS SOUS 46327 HAS SOUPS 46327 WITH SCORE 46427.637
AT ITER 7132 NEW BEST:: SOT 183046 SOS 100637 HAS SOPS 100637 HAS SOUS 46275 HAS SOUPS 46275 WITH SCORE 46375.637
AT ITER 7136 NEW BEST:: SOT 183046 SOS 100637 HAS SOPS 100637 HAS SOUS 46261 HAS SOUPS 46261 WITH SCORE 46361.637
AT ITER 7170 NEW BEST:: SOT 183037 SOS 100617 HAS SOPS 100617 HAS SOUS 46254 HAS SOUPS 46254 WITH SCORE 46354.617
AT ITER 7198 NEW BEST:: SOT 183055 SOS 100635 HAS SOPS 100635 HAS SOUS 46242 HAS SOUPS 46242 WITH SCORE 46342.635
AT ITER 7222 NEW BEST:: SOT 183044 SOS 100624 HAS SOPS 100624 HAS SOUS 46220 HAS SOUPS 46220 WITH SCORE 46320.624
AT ITER 7226 NEW BEST:: SOT 183035 SOS 100607 HAS SOPS 100607 HAS SOUS 46203 HAS SOUPS 46203 WITH SCORE 46303.607
AT ITER 7272 NEW BEST:: SOT 183019 SOS 100591 HAS SOPS 100591 HAS SOUS 46197 HAS SOUPS 46197 WITH SCORE 46297.591
AT ITER 7320 NEW BEST:: SOT 182977 SOS 100474 HAS SOPS 100474 HAS SOUS 46120 HAS SOUPS 46120 WITH SCORE 46220.474
AT ITER 7321 NEW BEST:: SOT 182908 SOS 100405 HAS SOPS 100405 HAS SOUS 46055 HAS SOUPS 46055 WITH SCORE 46155.405
AT ITER 7323 NEW BEST:: SOT 182892 SOS 100389 HAS SOPS 100389 HAS SOUS 45915 HAS SOUPS 45915 WITH SCORE 46015.389
AT ITER 7336 NEW BEST:: SOT 182840 SOS 100341 HAS SOPS 100341 HAS SOUS 45863 HAS SOUPS 45863 WITH SCORE 45963.341
AT ITER 7340 NEW BEST:: SOT 182836 SOS 100374 HAS SOPS 100374 HAS SOUS 45861 HAS SOUPS 45861 WITH SCORE 45961.374
AT ITER 7346 NEW BEST:: SOT 182836 SOS 100374 HAS SOPS 100374 HAS SOUS 45840 HAS SOUPS 45840 WITH SCORE 45940.374
AT ITER 7352 NEW BEST:: SOT 182836 SOS 100376 HAS SOPS 100376 HAS SOUS 45838 HAS SOUPS 45838 WITH SCORE 45938.376
AT ITER 7360 NEW BEST:: SOT 182810 SOS 100384 HAS SOPS 100384 HAS SOUS 45830 HAS SOUPS 45830 WITH SCORE 45930.384
AT ITER 7382 NEW BEST:: SOT 182809 SOS 100383 HAS SOPS 100383 HAS SOUS 45828 HAS SOUPS 45828 WITH SCORE 45928.383
AT ITER 7390 NEW BEST:: SOT 182789 SOS 100363 HAS SOPS 100363 HAS SOUS 45788 HAS SOUPS 45788 WITH SCORE 45888.363
AT ITER 7395 NEW BEST:: SOT 182784 SOS 100358 HAS SOPS 100358 HAS SOUS 45773 HAS SOUPS 45773 WITH SCORE 45873.358
AT ITER 7400 NEW BEST:: SOT 182784 SOS 100355 HAS SOPS 100355 HAS SOUS 45773 HAS SOUPS 45773 WITH SCORE 45873.355
AT ITER 7416 NEW BEST:: SOT 182757 SOS 100325 HAS SOPS 100325 HAS SOUS 45770 HAS SOUPS 45770 WITH SCORE 45870.325
AT ITER 7426 NEW BEST:: SOT 182681 SOS 100249 HAS SOPS 100249 HAS SOUS 45700 HAS SOUPS 45700 WITH SCORE 45800.249
AT ITER 7437 NEW BEST:: SOT 182752 SOS 98073 HAS SOPS 98073 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45771.073
AT ITER 7467 NEW BEST:: SOT 182732 SOS 98053 HAS SOPS 98053 HAS SOUS 45611 HAS SOUPS 45611 WITH SCORE 45709.053
AT ITER 7498 NEW BEST:: SOT 182691 SOS 98012 HAS SOPS 98012 HAS SOUS 45554 HAS SOUPS 45554 WITH SCORE 45652.012
AT ITER 7537 NEW BEST:: SOT 182679 SOS 98000 HAS SOPS 98000 HAS SOUS 45530 HAS SOUPS 45530 WITH SCORE 45628.0
AT ITER 7550 NEW BEST:: SOT 182628 SOS 97945 HAS SOPS 97945 HAS SOUS 45505 HAS SOUPS 45505 WITH SCORE 45602.945
AT ITER 7560 NEW BEST:: SOT 182620 SOS 97937 HAS SOPS 97937 HAS SOUS 45471 HAS SOUPS 45471 WITH SCORE 45568.937
AT ITER 7567 NEW BEST:: SOT 182616 SOS 97969 HAS SOPS 97969 HAS SOUS 45457 HAS SOUPS 45457 WITH SCORE 45554.969
AT ITER 7622 NEW BEST:: SOT 182616 SOS 97969 HAS SOPS 97969 HAS SOUS 45432 HAS SOUPS 45432 WITH SCORE 45529.969
AT ITER 7634 NEW BEST:: SOT 182595 SOS 97948 HAS SOPS 97948 HAS SOUS 45407 HAS SOUPS 45407 WITH SCORE 45504.948
AT ITER 7674 NEW BEST:: SOT 182429 SOS 97711 HAS SOPS 97711 HAS SOUS 45336 HAS SOUPS 45336 WITH SCORE 45433.711
AT ITER 7686 NEW BEST:: SOT 182429 SOS 97711 HAS SOPS 97711 HAS SOUS 45277 HAS SOUPS 45277 WITH SCORE 45374.711
AT ITER 7711 NEW BEST:: SOT 182425 SOS 97707 HAS SOPS 97707 HAS SOUS 45271 HAS SOUPS 45271 WITH SCORE 45368.707
AT ITER 7719 NEW BEST:: SOT 182419 SOS 97673 HAS SOPS 97673 HAS SOUS 45265 HAS SOUPS 45265 WITH SCORE 45362.673
AT ITER 7731 NEW BEST:: SOT 182410 SOS 97664 HAS SOPS 97664 HAS SOUS 45261 HAS SOUPS 45261 WITH SCORE 45358.664
AT ITER 7737 NEW BEST:: SOT 182382 SOS 97636 HAS SOPS 97636 HAS SOUS 45205 HAS SOUPS 45205 WITH SCORE 45302.636
AT ITER 7758 NEW BEST:: SOT 182351 SOS 97605 HAS SOPS 97605 HAS SOUS 45143 HAS SOUPS 45143 WITH SCORE 45240.605
AT ITER 7760 NEW BEST:: SOT 182346 SOS 97603 HAS SOPS 97603 HAS SOUS 45130 HAS SOUPS 45130 WITH SCORE 45227.603
AT ITER 7837 NEW BEST:: SOT 182341 SOS 97627 HAS SOPS 97627 HAS SOUS 45127 HAS SOUPS 45127 WITH SCORE 45224.627
AT ITER 7869 NEW BEST:: SOT 182342 SOS 97628 HAS SOPS 97628 HAS SOUS 44995 HAS SOUPS 44995 WITH SCORE 45092.628
AT ITER 7882 NEW BEST:: SOT 182339 SOS 97622 HAS SOPS 97622 HAS SOUS 44992 HAS SOUPS 44992 WITH SCORE 45089.622
AT ITER 7941 NEW BEST:: SOT 182342 SOS 97652 HAS SOPS 97652 HAS SOUS 44940 HAS SOUPS 44940 WITH SCORE 45037.652
AT ITER 7949 NEW BEST:: SOT 182320 SOS 97630 HAS SOPS 97630 HAS SOUS 44918 HAS SOUPS 44918 WITH SCORE 45015.63
AT ITER 7966 NEW BEST:: SOT 182268 SOS 97602 HAS SOPS 97602 HAS SOUS 44890 HAS SOUPS 44890 WITH SCORE 44987.602
AT ITER 7969 NEW BEST:: SOT 182230 SOS 98034 HAS SOPS 98034 HAS SOUS 44869 HAS SOUPS 44869 WITH SCORE 44967.034
AT ITER 7999 NEW BEST:: SOT 182152 SOS 98606 HAS SOPS 98606 HAS SOUS 44831 HAS SOUPS 44831 WITH SCORE 44929.606
AT ITER 8017 NEW BEST:: SOT 182138 SOS 98592 HAS SOPS 98592 HAS SOUS 44817 HAS SOUPS 44817 WITH SCORE 44915.592
AT ITER 8048 NEW BEST:: SOT 182084 SOS 98538 HAS SOPS 98538 HAS SOUS 44817 HAS SOUPS 44817 WITH SCORE 44915.538
AT ITER 8053 NEW BEST:: SOT 182044 SOS 98498 HAS SOPS 98498 HAS SOUS 44784 HAS SOUPS 44784 WITH SCORE 44882.498
AT ITER 8102 NEW BEST:: SOT 182051 SOS 98505 HAS SOPS 98505 HAS SOUS 44777 HAS SOUPS 44777 WITH SCORE 44875.505
AT ITER 8116 NEW BEST:: SOT 182062 SOS 98264 HAS SOPS 98264 HAS SOUS 44760 HAS SOUPS 44760 WITH SCORE 44858.264
AT ITER 8138 NEW BEST:: SOT 182060 SOS 98262 HAS SOPS 98262 HAS SOUS 44760 HAS SOUPS 44760 WITH SCORE 44858.262
AT ITER 8150 NEW BEST:: SOT 182046 SOS 98254 HAS SOPS 98254 HAS SOUS 44746 HAS SOUPS 44746 WITH SCORE 44844.254
AT ITER 8173 NEW BEST:: SOT 182002 SOS 98486 HAS SOPS 98486 HAS SOUS 44724 HAS SOUPS 44724 WITH SCORE 44822.486
AT ITER 8186 NEW BEST:: SOT 182002 SOS 98378 HAS SOPS 98378 HAS SOUS 44724 HAS SOUPS 44724 WITH SCORE 44822.378
AT ITER 8197 NEW BEST:: SOT 181934 SOS 98767 HAS SOPS 98767 HAS SOUS 44694 HAS SOUPS 44694 WITH SCORE 44792.767
AT ITER 8200 NEW BEST:: SOT 181899 SOS 98732 HAS SOPS 98732 HAS SOUS 44694 HAS SOUPS 44694 WITH SCORE 44792.732
AT ITER 8247 NEW BEST:: SOT 181899 SOS 98732 HAS SOPS 98732 HAS SOUS 44679 HAS SOUPS 44679 WITH SCORE 44777.732
AT ITER 8250 NEW BEST:: SOT 181881 SOS 98714 HAS SOPS 98714 HAS SOUS 44643 HAS SOUPS 44643 WITH SCORE 44741.714
AT ITER 8288 NEW BEST:: SOT 181881 SOS 98688 HAS SOPS 98688 HAS SOUS 44643 HAS SOUPS 44643 WITH SCORE 44741.688
AT ITER 8289 NEW BEST:: SOT 181883 SOS 98687 HAS SOPS 98687 HAS SOUS 44640 HAS SOUPS 44640 WITH SCORE 44738.687
AT ITER 8358 NEW BEST:: SOT 181855 SOS 98659 HAS SOPS 98659 HAS SOUS 44584 HAS SOUPS 44584 WITH SCORE 44682.659
AT ITER 8364 NEW BEST:: SOT 181852 SOS 98656 HAS SOPS 98656 HAS SOUS 44581 HAS SOUPS 44581 WITH SCORE 44679.656
AT ITER 8389 NEW BEST:: SOT 181850 SOS 98654 HAS SOPS 98654 HAS SOUS 44577 HAS SOUPS 44577 WITH SCORE 44675.654
AT ITER 8404 NEW BEST:: SOT 181846 SOS 98650 HAS SOPS 98650 HAS SOUS 44569 HAS SOUPS 44569 WITH SCORE 44667.65
AT ITER 8420 NEW BEST:: SOT 181842 SOS 98646 HAS SOPS 98646 HAS SOUS 44561 HAS SOUPS 44561 WITH SCORE 44659.646
AT ITER 8456 NEW BEST:: SOT 181842 SOS 98632 HAS SOPS 98632 HAS SOUS 44547 HAS SOUPS 44547 WITH SCORE 44645.632
AT ITER 8466 NEW BEST:: SOT 181842 SOS 98616 HAS SOPS 98616 HAS SOUS 44531 HAS SOUPS 44531 WITH SCORE 44629.616
AT ITER 8476 NEW BEST:: SOT 181834 SOS 98608 HAS SOPS 98608 HAS SOUS 44515 HAS SOUPS 44515 WITH SCORE 44613.608
AT ITER 8527 NEW BEST:: SOT 181834 SOS 98377 HAS SOPS 98377 HAS SOUS 44505 HAS SOUPS 44505 WITH SCORE 44603.377
AT ITER 8529 NEW BEST:: SOT 181834 SOS 98377 HAS SOPS 98377 HAS SOUS 44503 HAS SOUPS 44503 WITH SCORE 44601.377
AT ITER 8543 NEW BEST:: SOT 181833 SOS 98376 HAS SOPS 98376 HAS SOUS 44501 HAS SOUPS 44501 WITH SCORE 44599.376
AT ITER 8580 NEW BEST:: SOT 181813 SOS 98362 HAS SOPS 98362 HAS SOUS 44488 HAS SOUPS 44488 WITH SCORE 44586.362
AT ITER 8588 NEW BEST:: SOT 181786 SOS 98470 HAS SOPS 98470 HAS SOUS 44470 HAS SOUPS 44470 WITH SCORE 44568.47
AT ITER 8589 NEW BEST:: SOT 181762 SOS 98384 HAS SOPS 98384 HAS SOUS 44384 HAS SOUPS 44384 WITH SCORE 44482.384
AT ITER 8596 NEW BEST:: SOT 181742 SOS 98364 HAS SOPS 98364 HAS SOUS 44344 HAS SOUPS 44344 WITH SCORE 44442.364
AT ITER 8609 NEW BEST:: SOT 181742 SOS 98364 HAS SOPS 98364 HAS SOUS 44286 HAS SOUPS 44286 WITH SCORE 44384.364
AT ITER 8626 NEW BEST:: SOT 181741 SOS 98363 HAS SOPS 98363 HAS SOUS 44284 HAS SOUPS 44284 WITH SCORE 44382.363
AT ITER 8645 NEW BEST:: SOT 181733 SOS 98347 HAS SOPS 98347 HAS SOUS 44276 HAS SOUPS 44276 WITH SCORE 44374.347
AT ITER 8668 NEW BEST:: SOT 181709 SOS 98323 HAS SOPS 98323 HAS SOUS 44253 HAS SOUPS 44253 WITH SCORE 44351.323
AT ITER 8708 NEW BEST:: SOT 181709 SOS 98329 HAS SOPS 98329 HAS SOUS 44247 HAS SOUPS 44247 WITH SCORE 44345.329
AT ITER 8742 NEW BEST:: SOT 181703 SOS 98323 HAS SOPS 98323 HAS SOUS 44244 HAS SOUPS 44244 WITH SCORE 44342.323
AT ITER 8743 NEW BEST:: SOT 181692 SOS 98308 HAS SOPS 98308 HAS SOUS 44226 HAS SOUPS 44226 WITH SCORE 44324.308
AT ITER 8749 NEW BEST:: SOT 181692 SOS 98308 HAS SOPS 98308 HAS SOUS 44199 HAS SOUPS 44199 WITH SCORE 44297.308
AT ITER 8754 NEW BEST:: SOT 181683 SOS 98299 HAS SOPS 98299 HAS SOUS 44181 HAS SOUPS 44181 WITH SCORE 44279.299
AT ITER 8796 NEW BEST:: SOT 181655 SOS 98257 HAS SOPS 98257 HAS SOUS 44141 HAS SOUPS 44141 WITH SCORE 44239.257
AT ITER 8883 NEW BEST:: SOT 181611 SOS 98213 HAS SOPS 98213 HAS SOUS 44067 HAS SOUPS 44067 WITH SCORE 44165.213
AT ITER 8887 NEW BEST:: SOT 181560 SOS 97932 HAS SOPS 97932 HAS SOUS 44036 HAS SOUPS 44036 WITH SCORE 44133.932
AT ITER 8911 NEW BEST:: SOT 181556 SOS 97928 HAS SOPS 97928 HAS SOUS 44029 HAS SOUPS 44029 WITH SCORE 44126.928
AT ITER 8918 NEW BEST:: SOT 181556 SOS 97928 HAS SOPS 97928 HAS SOUS 44019 HAS SOUPS 44019 WITH SCORE 44116.928
AT ITER 8925 NEW BEST:: SOT 181510 SOS 98254 HAS SOPS 98254 HAS SOUS 43996 HAS SOUPS 43996 WITH SCORE 44094.254
AT ITER 8989 NEW BEST:: SOT 181473 SOS 98217 HAS SOPS 98217 HAS SOUS 43883 HAS SOUPS 43883 WITH SCORE 43981.217
AT ITER 9005 NEW BEST:: SOT 181467 SOS 98211 HAS SOPS 98211 HAS SOUS 43871 HAS SOUPS 43871 WITH SCORE 43969.211
AT ITER 9006 NEW BEST:: SOT 181449 SOS 98193 HAS SOPS 98193 HAS SOUS 43871 HAS SOUPS 43871 WITH SCORE 43969.193
AT ITER 9037 NEW BEST:: SOT 181548 SOS 98292 HAS SOPS 98292 HAS SOUS 43869 HAS SOUPS 43869 WITH SCORE 43967.292
AT ITER 9086 NEW BEST:: SOT 181545 SOS 98289 HAS SOPS 98289 HAS SOUS 43866 HAS SOUPS 43866 WITH SCORE 43964.289
AT ITER 9100 NEW BEST:: SOT 181530 SOS 98255 HAS SOPS 98255 HAS SOUS 43855 HAS SOUPS 43855 WITH SCORE 43953.255
AT ITER 9113 NEW BEST:: SOT 181530 SOS 98075 HAS SOPS 98075 HAS SOUS 43845 HAS SOUPS 43845 WITH SCORE 43943.075
AT ITER 9149 NEW BEST:: SOT 181527 SOS 98072 HAS SOPS 98072 HAS SOUS 43839 HAS SOUPS 43839 WITH SCORE 43937.072
AT ITER 9159 NEW BEST:: SOT 181500 SOS 98053 HAS SOPS 98053 HAS SOUS 43839 HAS SOUPS 43839 WITH SCORE 43937.053
AT ITER 9164 NEW BEST:: SOT 181485 SOS 98038 HAS SOPS 98038 HAS SOUS 43827 HAS SOUPS 43827 WITH SCORE 43925.038
AT ITER 9172 NEW BEST:: SOT 181478 SOS 98031 HAS SOPS 98031 HAS SOUS 43825 HAS SOUPS 43825 WITH SCORE 43923.031
AT ITER 9177 NEW BEST:: SOT 181473 SOS 98026 HAS SOPS 98026 HAS SOUS 43815 HAS SOUPS 43815 WITH SCORE 43913.026
AT ITER 9187 NEW BEST:: SOT 181472 SOS 98025 HAS SOPS 98025 HAS SOUS 43813 HAS SOUPS 43813 WITH SCORE 43911.025
AT ITER 9191 NEW BEST:: SOT 181443 SOS 97996 HAS SOPS 97996 HAS SOUS 43781 HAS SOUPS 43781 WITH SCORE 43878.996
AT ITER 9198 NEW BEST:: SOT 181410 SOS 98139 HAS SOPS 98139 HAS SOUS 43765 HAS SOUPS 43765 WITH SCORE 43863.139
AT ITER 9209 NEW BEST:: SOT 181410 SOS 98139 HAS SOPS 98139 HAS SOUS 43763 HAS SOUPS 43763 WITH SCORE 43861.139
AT ITER 9216 NEW BEST:: SOT 181405 SOS 98134 HAS SOPS 98134 HAS SOUS 43753 HAS SOUPS 43753 WITH SCORE 43851.134
AT ITER 9232 NEW BEST:: SOT 181334 SOS 98019 HAS SOPS 98019 HAS SOUS 43612 HAS SOUPS 43612 WITH SCORE 43710.019
AT ITER 9257 NEW BEST:: SOT 181319 SOS 98004 HAS SOPS 98004 HAS SOUS 43597 HAS SOUPS 43597 WITH SCORE 43695.004
AT ITER 9285 NEW BEST:: SOT 181239 SOS 97924 HAS SOPS 97924 HAS SOUS 43534 HAS SOUPS 43534 WITH SCORE 43631.924
AT ITER 9296 NEW BEST:: SOT 181217 SOS 97891 HAS SOPS 97891 HAS SOUS 43501 HAS SOUPS 43501 WITH SCORE 43598.891
AT ITER 9409 NEW BEST:: SOT 181207 SOS 97871 HAS SOPS 97871 HAS SOUS 43481 HAS SOUPS 43481 WITH SCORE 43578.871
AT ITER 9413 NEW BEST:: SOT 181164 SOS 97828 HAS SOPS 97828 HAS SOUS 43477 HAS SOUPS 43477 WITH SCORE 43574.828
AT ITER 9464 NEW BEST:: SOT 181171 SOS 97835 HAS SOPS 97835 HAS SOUS 43475 HAS SOUPS 43475 WITH SCORE 43572.835
AT ITER 9474 NEW BEST:: SOT 181166 SOS 97830 HAS SOPS 97830 HAS SOUS 43465 HAS SOUPS 43465 WITH SCORE 43562.83
AT ITER 9484 NEW BEST:: SOT 181124 SOS 97868 HAS SOPS 97868 HAS SOUS 43461 HAS SOUPS 43461 WITH SCORE 43558.868
AT ITER 9491 NEW BEST:: SOT 181124 SOS 97868 HAS SOPS 97868 HAS SOUS 43441 HAS SOUPS 43441 WITH SCORE 43538.868
AT ITER 9503 NEW BEST:: SOT 181122 SOS 97646 HAS SOPS 97646 HAS SOUS 43403 HAS SOUPS 43403 WITH SCORE 43500.646
AT ITER 9528 NEW BEST:: SOT 181127 SOS 97548 HAS SOPS 97548 HAS SOUS 43402 HAS SOUPS 43402 WITH SCORE 43499.548
AT ITER 9626 NEW BEST:: SOT 181123 SOS 97522 HAS SOPS 97522 HAS SOUS 43378 HAS SOUPS 43378 WITH SCORE 43475.522
AT ITER 9640 NEW BEST:: SOT 181115 SOS 97514 HAS SOPS 97514 HAS SOUS 43362 HAS SOUPS 43362 WITH SCORE 43459.514
AT ITER 9662 NEW BEST:: SOT 181102 SOS 97501 HAS SOPS 97501 HAS SOUS 43336 HAS SOUPS 43336 WITH SCORE 43433.501
AT ITER 9693 NEW BEST:: SOT 181061 SOS 97460 HAS SOPS 97460 HAS SOUS 43254 HAS SOUPS 43254 WITH SCORE 43351.46
AT ITER 9696 NEW BEST:: SOT 181041 SOS 97440 HAS SOPS 97440 HAS SOUS 43254 HAS SOUPS 43254 WITH SCORE 43351.44
AT ITER 9717 NEW BEST:: SOT 181039 SOS 97438 HAS SOPS 97438 HAS SOUS 43250 HAS SOUPS 43250 WITH SCORE 43347.438
AT ITER 9763 NEW BEST:: SOT 181039 SOS 97419 HAS SOPS 97419 HAS SOUS 43231 HAS SOUPS 43231 WITH SCORE 43328.419
AT ITER 9794 NEW BEST:: SOT 181024 SOS 97391 HAS SOPS 97391 HAS SOUS 43214 HAS SOUPS 43214 WITH SCORE 43311.391
AT ITER 9803 NEW BEST:: SOT 181014 SOS 97381 HAS SOPS 97381 HAS SOUS 43194 HAS SOUPS 43194 WITH SCORE 43291.381
AT ITER 9807 NEW BEST:: SOT 180987 SOS 97354 HAS SOPS 97354 HAS SOUS 43141 HAS SOUPS 43141 WITH SCORE 43238.354
AT ITER 9845 NEW BEST:: SOT 180983 SOS 97350 HAS SOPS 97350 HAS SOUS 43137 HAS SOUPS 43137 WITH SCORE 43234.35
AT ITER 9865 NEW BEST:: SOT 180983 SOS 97350 HAS SOPS 97350 HAS SOUS 43136 HAS SOUPS 43136 WITH SCORE 43233.35
AT ITER 9919 NEW BEST:: SOT 181032 SOS 97399 HAS SOPS 97399 HAS SOUS 43106 HAS SOUPS 43106 WITH SCORE 43203.399
AT ITER 9952 NEW BEST:: SOT 181023 SOS 97390 HAS SOPS 97390 HAS SOUS 43102 HAS SOUPS 43102 WITH SCORE 43199.39
AT ITER 9960 NEW BEST:: SOT 181015 SOS 97382 HAS SOPS 97382 HAS SOUS 43086 HAS SOUPS 43086 WITH SCORE 43183.382
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9697940 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153548 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="HirschbergSinclair-PT-25"
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 HirschbergSinclair-PT-25, 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 r195-smll-167840342500464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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