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.r163-tall-167838848200696.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 FunctionPointer-PT-b032, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838848200696
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 772K
-rw-r--r-- 1 mcc users 7.6K Feb 25 11:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 11:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 11:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 11:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 11:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 11:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 11:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 11:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 391K 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 1678459179687

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=FunctionPointer-PT-b032
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b032
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: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250343 SOS 198996 HAS SOPS 192595 HAS SOUS 100055 HAS SOUPS 99609 WITH SCORE 99807.996
AT ITER 1 NEW BEST:: SOT 250343 SOS 198652 HAS SOPS 192251 HAS SOUS 100005 HAS SOUPS 99559 WITH SCORE 99757.652
AT ITER 6 NEW BEST:: SOT 250343 SOS 198647 HAS SOPS 192246 HAS SOUS 100000 HAS SOUPS 99554 WITH SCORE 99752.647
AT ITER 10 NEW BEST:: SOT 250343 SOS 198631 HAS SOPS 192230 HAS SOUS 99992 HAS SOUPS 99546 WITH SCORE 99744.631
AT ITER 20 NEW BEST:: SOT 250343 SOS 198583 HAS SOPS 192182 HAS SOUS 99948 HAS SOUPS 99502 WITH SCORE 99700.583
AT ITER 28 NEW BEST:: SOT 250343 SOS 198571 HAS SOPS 192170 HAS SOUS 99942 HAS SOUPS 99496 WITH SCORE 99694.571
AT ITER 29 NEW BEST:: SOT 250327 SOS 198555 HAS SOPS 192168 HAS SOUS 99940 HAS SOUPS 99494 WITH SCORE 99692.555
AT ITER 31 NEW BEST:: SOT 250327 SOS 198607 HAS SOPS 192220 HAS SOUS 99868 HAS SOUPS 99422 WITH SCORE 99620.607
AT ITER 32 NEW BEST:: SOT 250327 SOS 198563 HAS SOPS 192176 HAS SOUS 99774 HAS SOUPS 99328 WITH SCORE 99526.563
AT ITER 39 NEW BEST:: SOT 250327 SOS 198533 HAS SOPS 192146 HAS SOUS 99663 HAS SOUPS 99217 WITH SCORE 99415.533
AT ITER 46 NEW BEST:: SOT 250327 SOS 198683 HAS SOPS 192296 HAS SOUS 99633 HAS SOUPS 99187 WITH SCORE 99385.683
AT ITER 49 NEW BEST:: SOT 250327 SOS 198695 HAS SOPS 192308 HAS SOUS 99479 HAS SOUPS 99033 WITH SCORE 99231.695
AT ITER 51 NEW BEST:: SOT 250327 SOS 198587 HAS SOPS 192200 HAS SOUS 99428 HAS SOUPS 98982 WITH SCORE 99180.587
AT ITER 52 NEW BEST:: SOT 250327 SOS 198399 HAS SOPS 192012 HAS SOUS 99334 HAS SOUPS 98888 WITH SCORE 99086.399
AT ITER 60 NEW BEST:: SOT 250327 SOS 198451 HAS SOPS 192064 HAS SOUS 99264 HAS SOUPS 98818 WITH SCORE 99016.451
AT ITER 65 NEW BEST:: SOT 250327 SOS 198051 HAS SOPS 191664 HAS SOUS 98968 HAS SOUPS 98522 WITH SCORE 98720.051
AT ITER 68 NEW BEST:: SOT 250327 SOS 197895 HAS SOPS 191508 HAS SOUS 98930 HAS SOUPS 98484 WITH SCORE 98681.895
AT ITER 74 NEW BEST:: SOT 250311 SOS 197413 HAS SOPS 191192 HAS SOUS 98898 HAS SOUPS 98452 WITH SCORE 98649.413
AT ITER 89 NEW BEST:: SOT 250311 SOS 197402 HAS SOPS 191181 HAS SOUS 98884 HAS SOUPS 98438 WITH SCORE 98635.402
AT ITER 91 NEW BEST:: SOT 250295 SOS 197386 HAS SOPS 191179 HAS SOUS 98882 HAS SOUPS 98436 WITH SCORE 98633.386
AT ITER 92 NEW BEST:: SOT 250295 SOS 197318 HAS SOPS 191111 HAS SOUS 98762 HAS SOUPS 98316 WITH SCORE 98513.318
AT ITER 93 NEW BEST:: SOT 250295 SOS 197318 HAS SOPS 191111 HAS SOUS 98750 HAS SOUPS 98304 WITH SCORE 98501.318
AT ITER 98 NEW BEST:: SOT 250295 SOS 197436 HAS SOPS 191229 HAS SOUS 98709 HAS SOUPS 98263 WITH SCORE 98460.436
AT ITER 99 NEW BEST:: SOT 250295 SOS 197436 HAS SOPS 191229 HAS SOUS 98669 HAS SOUPS 98223 WITH SCORE 98420.436
AT ITER 101 NEW BEST:: SOT 250295 SOS 196450 HAS SOPS 189124 HAS SOUS 98704 HAS SOUPS 97139 WITH SCORE 97335.45
AT ITER 102 NEW BEST:: SOT 250295 SOS 196376 HAS SOPS 189021 HAS SOUS 98733 HAS SOUPS 97139 WITH SCORE 97335.376
AT ITER 103 NEW BEST:: SOT 250295 SOS 196272 HAS SOPS 188917 HAS SOUS 98673 HAS SOUPS 97079 WITH SCORE 97275.272
AT ITER 105 NEW BEST:: SOT 250295 SOS 196106 HAS SOPS 188751 HAS SOUS 98624 HAS SOUPS 97030 WITH SCORE 97226.106
AT ITER 108 NEW BEST:: SOT 250295 SOS 196210 HAS SOPS 188803 HAS SOUS 98416 HAS SOUPS 96770 WITH SCORE 96966.21
AT ITER 110 NEW BEST:: SOT 250295 SOS 196324 HAS SOPS 188917 HAS SOUS 98411 HAS SOUPS 96765 WITH SCORE 96961.324
AT ITER 111 NEW BEST:: SOT 250295 SOS 196196 HAS SOPS 188789 HAS SOUS 98315 HAS SOUPS 96669 WITH SCORE 96865.196
AT ITER 113 NEW BEST:: SOT 250295 SOS 196074 HAS SOPS 188667 HAS SOUS 98246 HAS SOUPS 96600 WITH SCORE 96796.074
AT ITER 116 NEW BEST:: SOT 250295 SOS 196226 HAS SOPS 188870 HAS SOUS 98014 HAS SOUPS 96419 WITH SCORE 96615.226
AT ITER 117 NEW BEST:: SOT 250295 SOS 196098 HAS SOPS 188742 HAS SOUS 97950 HAS SOUPS 96355 WITH SCORE 96551.098
AT ITER 118 NEW BEST:: SOT 250295 SOS 195962 HAS SOPS 188484 HAS SOUS 97882 HAS SOUPS 96165 WITH SCORE 96360.962
AT ITER 120 NEW BEST:: SOT 250295 SOS 195892 HAS SOPS 188414 HAS SOUS 97667 HAS SOUPS 95950 WITH SCORE 96145.892
AT ITER 122 NEW BEST:: SOT 250295 SOS 194933 HAS SOPS 186915 HAS SOUS 96483 HAS SOUPS 94766 WITH SCORE 94960.933
AT ITER 123 NEW BEST:: SOT 249130 SOS 193773 HAS SOPS 185752 HAS SOUS 96017 HAS SOUPS 94297 WITH SCORE 94490.773
AT ITER 128 NEW BEST:: SOT 249130 SOS 193997 HAS SOPS 185976 HAS SOUS 95545 HAS SOUPS 93825 WITH SCORE 94018.997
AT ITER 130 NEW BEST:: SOT 249130 SOS 193425 HAS SOPS 185404 HAS SOUS 95430 HAS SOUPS 93710 WITH SCORE 93903.425
AT ITER 136 NEW BEST:: SOT 249130 SOS 193325 HAS SOPS 185450 HAS SOUS 95301 HAS SOUPS 93666 WITH SCORE 93859.325
AT ITER 141 NEW BEST:: SOT 249130 SOS 193219 HAS SOPS 185344 HAS SOUS 95024 HAS SOUPS 93389 WITH SCORE 93582.219
AT ITER 144 NEW BEST:: SOT 249130 SOS 193403 HAS SOPS 185528 HAS SOUS 94844 HAS SOUPS 93209 WITH SCORE 93402.403
AT ITER 147 NEW BEST:: SOT 249130 SOS 193313 HAS SOPS 185438 HAS SOUS 94778 HAS SOUPS 93143 WITH SCORE 93336.313
AT ITER 149 NEW BEST:: SOT 249130 SOS 192961 HAS SOPS 185032 HAS SOUS 94742 HAS SOUPS 93053 WITH SCORE 93245.961
AT ITER 150 NEW BEST:: SOT 249130 SOS 192916 HAS SOPS 184987 HAS SOUS 94697 HAS SOUPS 93008 WITH SCORE 93200.916
AT ITER 156 NEW BEST:: SOT 249130 SOS 192856 HAS SOPS 184912 HAS SOUS 94695 HAS SOUPS 92991 WITH SCORE 93183.856
AT ITER 158 NEW BEST:: SOT 249130 SOS 192616 HAS SOPS 184612 HAS SOUS 94575 HAS SOUPS 92811 WITH SCORE 93003.616
AT ITER 159 NEW BEST:: SOT 249130 SOS 192612 HAS SOPS 184608 HAS SOUS 94573 HAS SOUPS 92809 WITH SCORE 93001.612
AT ITER 163 NEW BEST:: SOT 249130 SOS 192400 HAS SOPS 184396 HAS SOUS 94520 HAS SOUPS 92756 WITH SCORE 92948.4
AT ITER 165 NEW BEST:: SOT 249130 SOS 192278 HAS SOPS 184274 HAS SOUS 93657 HAS SOUPS 91893 WITH SCORE 92085.278
AT ITER 170 NEW BEST:: SOT 249130 SOS 192260 HAS SOPS 184256 HAS SOUS 93630 HAS SOUPS 91866 WITH SCORE 92058.26
AT ITER 172 NEW BEST:: SOT 249130 SOS 192244 HAS SOPS 184240 HAS SOUS 93630 HAS SOUPS 91866 WITH SCORE 92058.244
AT ITER 173 NEW BEST:: SOT 249130 SOS 191992 HAS SOPS 183904 HAS SOUS 93506 HAS SOUPS 91658 WITH SCORE 91849.992
AT ITER 176 NEW BEST:: SOT 249130 SOS 191648 HAS SOPS 183560 HAS SOUS 93066 HAS SOUPS 91218 WITH SCORE 91409.648
AT ITER 185 NEW BEST:: SOT 249130 SOS 191408 HAS SOPS 183262 HAS SOUS 93066 HAS SOUPS 91160 WITH SCORE 91351.408
AT ITER 186 NEW BEST:: SOT 249116 SOS 191394 HAS SOPS 183234 HAS SOUS 93038 HAS SOUPS 91132 WITH SCORE 91323.394
AT ITER 187 NEW BEST:: SOT 249116 SOS 191394 HAS SOPS 183234 HAS SOUS 92891 HAS SOUPS 90985 WITH SCORE 91176.394
AT ITER 190 NEW BEST:: SOT 249116 SOS 191115 HAS SOPS 182955 HAS SOUS 91057 HAS SOUPS 89151 WITH SCORE 89342.115
AT ITER 200 NEW BEST:: SOT 249116 SOS 190557 HAS SOPS 182510 HAS SOUS 90796 HAS SOUPS 88956 WITH SCORE 89146.557
AT ITER 205 NEW BEST:: SOT 249116 SOS 189921 HAS SOPS 181874 HAS SOUS 90588 HAS SOUPS 88748 WITH SCORE 88937.921
AT ITER 208 NEW BEST:: SOT 249116 SOS 187883 HAS SOPS 179836 HAS SOUS 90050 HAS SOUPS 88210 WITH SCORE 88397.883
AT ITER 210 NEW BEST:: SOT 249116 SOS 187747 HAS SOPS 179700 HAS SOUS 90050 HAS SOUPS 88210 WITH SCORE 88397.747
AT ITER 211 NEW BEST:: SOT 249116 SOS 187823 HAS SOPS 179776 HAS SOUS 90019 HAS SOUPS 88179 WITH SCORE 88366.823
AT ITER 212 NEW BEST:: SOT 249116 SOS 187551 HAS SOPS 179504 HAS SOUS 89471 HAS SOUPS 87631 WITH SCORE 87818.551
AT ITER 215 NEW BEST:: SOT 249116 SOS 187411 HAS SOPS 179364 HAS SOUS 89471 HAS SOUPS 87631 WITH SCORE 87818.411
AT ITER 217 NEW BEST:: SOT 249116 SOS 187526 HAS SOPS 179646 HAS SOUS 89250 HAS SOUPS 87534 WITH SCORE 87721.526
AT ITER 218 NEW BEST:: SOT 249116 SOS 187676 HAS SOPS 179796 HAS SOUS 89152 HAS SOUPS 87436 WITH SCORE 87623.676
AT ITER 222 NEW BEST:: SOT 249116 SOS 187774 HAS SOPS 179894 HAS SOUS 89085 HAS SOUPS 87369 WITH SCORE 87556.774
AT ITER 223 NEW BEST:: SOT 249116 SOS 187738 HAS SOPS 179858 HAS SOUS 89076 HAS SOUPS 87360 WITH SCORE 87547.738
AT ITER 224 NEW BEST:: SOT 249116 SOS 186620 HAS SOPS 178740 HAS SOUS 88351 HAS SOUPS 86635 WITH SCORE 86821.62
AT ITER 225 NEW BEST:: SOT 249116 SOS 186044 HAS SOPS 178164 HAS SOUS 87236 HAS SOUPS 85520 WITH SCORE 85706.044
AT ITER 227 NEW BEST:: SOT 249116 SOS 186044 HAS SOPS 178164 HAS SOUS 87190 HAS SOUPS 85474 WITH SCORE 85660.044
AT ITER 228 NEW BEST:: SOT 249116 SOS 185856 HAS SOPS 177976 HAS SOUS 87096 HAS SOUPS 85380 WITH SCORE 85565.856
AT ITER 229 NEW BEST:: SOT 249116 SOS 185932 HAS SOPS 177915 HAS SOUS 87044 HAS SOUPS 85238 WITH SCORE 85423.932
AT ITER 231 NEW BEST:: SOT 249116 SOS 185760 HAS SOPS 177829 HAS SOUS 87001 HAS SOUPS 85195 WITH SCORE 85380.76
AT ITER 236 NEW BEST:: SOT 249116 SOS 185760 HAS SOPS 177829 HAS SOUS 86955 HAS SOUPS 85149 WITH SCORE 85334.76
AT ITER 237 NEW BEST:: SOT 249116 SOS 185714 HAS SOPS 177768 HAS SOUS 86969 HAS SOUPS 85148 WITH SCORE 85333.714
AT ITER 238 NEW BEST:: SOT 249116 SOS 185802 HAS SOPS 177856 HAS SOUS 86947 HAS SOUPS 85126 WITH SCORE 85311.802
AT ITER 243 NEW BEST:: SOT 249117 SOS 185423 HAS SOPS 177477 HAS SOUS 86915 HAS SOUPS 85094 WITH SCORE 85279.423
AT ITER 244 NEW BEST:: SOT 249117 SOS 185580 HAS SOPS 177722 HAS SOUS 86803 HAS SOUPS 85063 WITH SCORE 85248.58
AT ITER 245 NEW BEST:: SOT 249117 SOS 185580 HAS SOPS 177722 HAS SOUS 86799 HAS SOUPS 85059 WITH SCORE 85244.58
AT ITER 247 NEW BEST:: SOT 249117 SOS 185532 HAS SOPS 177698 HAS SOUS 86787 HAS SOUPS 85047 WITH SCORE 85232.532
AT ITER 249 NEW BEST:: SOT 248991 SOS 185204 HAS SOPS 177402 HAS SOUS 86588 HAS SOUPS 84848 WITH SCORE 85033.204
AT ITER 251 NEW BEST:: SOT 248991 SOS 185026 HAS SOPS 177224 HAS SOUS 86254 HAS SOUPS 84514 WITH SCORE 84699.026
AT ITER 253 NEW BEST:: SOT 248991 SOS 184890 HAS SOPS 177088 HAS SOUS 86220 HAS SOUPS 84480 WITH SCORE 84664.89
AT ITER 256 NEW BEST:: SOT 248991 SOS 184812 HAS SOPS 177010 HAS SOUS 86158 HAS SOUPS 84418 WITH SCORE 84602.812
AT ITER 257 NEW BEST:: SOT 248991 SOS 184796 HAS SOPS 176994 HAS SOUS 86150 HAS SOUPS 84410 WITH SCORE 84594.796
AT ITER 261 NEW BEST:: SOT 248991 SOS 184646 HAS SOPS 176844 HAS SOUS 86075 HAS SOUPS 84335 WITH SCORE 84519.646
AT ITER 266 NEW BEST:: SOT 248991 SOS 184626 HAS SOPS 176824 HAS SOUS 86065 HAS SOUPS 84325 WITH SCORE 84509.626
AT ITER 267 NEW BEST:: SOT 248991 SOS 183378 HAS SOPS 175576 HAS SOUS 85839 HAS SOUPS 84099 WITH SCORE 84282.378
AT ITER 270 NEW BEST:: SOT 248989 SOS 183376 HAS SOPS 175574 HAS SOUS 85837 HAS SOUPS 84097 WITH SCORE 84280.376
AT ITER 273 NEW BEST:: SOT 248989 SOS 183530 HAS SOPS 175728 HAS SOUS 85736 HAS SOUPS 83996 WITH SCORE 84179.53
AT ITER 278 NEW BEST:: SOT 248989 SOS 183352 HAS SOPS 175550 HAS SOUS 85714 HAS SOUPS 83974 WITH SCORE 84157.352
AT ITER 280 NEW BEST:: SOT 248989 SOS 183248 HAS SOPS 175446 HAS SOUS 85702 HAS SOUPS 83962 WITH SCORE 84145.248
AT ITER 285 NEW BEST:: SOT 248989 SOS 183212 HAS SOPS 174926 HAS SOUS 83621 HAS SOUPS 81954 WITH SCORE 82137.212
AT ITER 286 NEW BEST:: SOT 248989 SOS 183170 HAS SOPS 174884 HAS SOUS 83600 HAS SOUPS 81933 WITH SCORE 82116.17
AT ITER 289 NEW BEST:: SOT 248989 SOS 183408 HAS SOPS 175122 HAS SOUS 83441 HAS SOUPS 81774 WITH SCORE 81957.408
AT ITER 292 NEW BEST:: SOT 248989 SOS 183408 HAS SOPS 175122 HAS SOUS 83434 HAS SOUPS 81767 WITH SCORE 81950.408
AT ITER 293 NEW BEST:: SOT 248989 SOS 183298 HAS SOPS 174819 HAS SOUS 83379 HAS SOUPS 81587 WITH SCORE 81770.298
AT ITER 296 NEW BEST:: SOT 248989 SOS 183298 HAS SOPS 174819 HAS SOUS 83349 HAS SOUPS 81557 WITH SCORE 81740.298
AT ITER 297 NEW BEST:: SOT 248989 SOS 183244 HAS SOPS 174765 HAS SOUS 83349 HAS SOUPS 81557 WITH SCORE 81740.244
AT ITER 303 NEW BEST:: SOT 248989 SOS 183218 HAS SOPS 174739 HAS SOUS 83323 HAS SOUPS 81531 WITH SCORE 81714.218
AT ITER 308 NEW BEST:: SOT 248989 SOS 183244 HAS SOPS 174678 HAS SOUS 83299 HAS SOUPS 81435 WITH SCORE 81618.244
AT ITER 310 NEW BEST:: SOT 248989 SOS 183204 HAS SOPS 174678 HAS SOUS 83279 HAS SOUPS 81435 WITH SCORE 81618.204
AT ITER 312 NEW BEST:: SOT 248989 SOS 183156 HAS SOPS 174630 HAS SOUS 83253 HAS SOUPS 81409 WITH SCORE 81592.156
AT ITER 316 NEW BEST:: SOT 248989 SOS 183124 HAS SOPS 174598 HAS SOUS 83237 HAS SOUPS 81393 WITH SCORE 81576.124
AT ITER 318 NEW BEST:: SOT 248989 SOS 182953 HAS SOPS 174541 HAS SOUS 83228 HAS SOUPS 81384 WITH SCORE 81566.953
AT ITER 321 NEW BEST:: SOT 248989 SOS 182767 HAS SOPS 174457 HAS SOUS 83109 HAS SOUPS 81316 WITH SCORE 81498.767
AT ITER 322 NEW BEST:: SOT 248989 SOS 182767 HAS SOPS 174457 HAS SOUS 82751 HAS SOUPS 80958 WITH SCORE 81140.767
AT ITER 332 NEW BEST:: SOT 248989 SOS 183275 HAS SOPS 174965 HAS SOUS 82612 HAS SOUPS 80819 WITH SCORE 81002.275
AT ITER 333 NEW BEST:: SOT 248989 SOS 183259 HAS SOPS 174949 HAS SOUS 82604 HAS SOUPS 80811 WITH SCORE 80994.259
AT ITER 335 NEW BEST:: SOT 248989 SOS 183091 HAS SOPS 174781 HAS SOUS 82562 HAS SOUPS 80769 WITH SCORE 80952.091
AT ITER 338 NEW BEST:: SOT 248973 SOS 182947 HAS SOPS 174685 HAS SOUS 82562 HAS SOUPS 80769 WITH SCORE 80951.947
AT ITER 343 NEW BEST:: SOT 248907 SOS 182881 HAS SOPS 174619 HAS SOUS 82430 HAS SOUPS 80637 WITH SCORE 80819.881
AT ITER 346 NEW BEST:: SOT 248907 SOS 182343 HAS SOPS 174081 HAS SOUS 82250 HAS SOUPS 80457 WITH SCORE 80639.343
AT ITER 347 NEW BEST:: SOT 248907 SOS 182141 HAS SOPS 173879 HAS SOUS 82081 HAS SOUPS 80288 WITH SCORE 80470.141
AT ITER 348 NEW BEST:: SOT 248907 SOS 182169 HAS SOPS 173907 HAS SOUS 82067 HAS SOUPS 80274 WITH SCORE 80456.169
AT ITER 354 NEW BEST:: SOT 248907 SOS 181745 HAS SOPS 173483 HAS SOUS 81973 HAS SOUPS 80180 WITH SCORE 80361.745
AT ITER 355 NEW BEST:: SOT 248907 SOS 181305 HAS SOPS 173043 HAS SOUS 81821 HAS SOUPS 80028 WITH SCORE 80209.305
AT ITER 368 NEW BEST:: SOT 248907 SOS 181207 HAS SOPS 172945 HAS SOUS 81754 HAS SOUPS 79961 WITH SCORE 80142.207
AT ITER 373 NEW BEST:: SOT 248907 SOS 180951 HAS SOPS 172689 HAS SOUS 81690 HAS SOUPS 79897 WITH SCORE 80077.951
AT ITER 374 NEW BEST:: SOT 248907 SOS 181490 HAS SOPS 172631 HAS SOUS 80072 HAS SOUPS 78028 WITH SCORE 78209.49
AT ITER 382 NEW BEST:: SOT 248875 SOS 180930 HAS SOPS 172215 HAS SOUS 80008 HAS SOUPS 77964 WITH SCORE 78144.93
AT ITER 384 NEW BEST:: SOT 248875 SOS 180784 HAS SOPS 172069 HAS SOUS 80008 HAS SOUPS 77964 WITH SCORE 78144.784
AT ITER 389 NEW BEST:: SOT 248875 SOS 180680 HAS SOPS 171965 HAS SOUS 80002 HAS SOUPS 77958 WITH SCORE 78138.68
AT ITER 390 NEW BEST:: SOT 248875 SOS 180770 HAS SOPS 172055 HAS SOUS 79957 HAS SOUPS 77913 WITH SCORE 78093.77
AT ITER 391 NEW BEST:: SOT 248875 SOS 180702 HAS SOPS 171987 HAS SOUS 79911 HAS SOUPS 77867 WITH SCORE 78047.702
AT ITER 395 NEW BEST:: SOT 248875 SOS 180960 HAS SOPS 172245 HAS SOUS 79885 HAS SOUPS 77841 WITH SCORE 78021.96
AT ITER 399 NEW BEST:: SOT 248915 SOS 181184 HAS SOPS 172325 HAS SOUS 79873 HAS SOUPS 77829 WITH SCORE 78010.184
AT ITER 406 NEW BEST:: SOT 248915 SOS 181280 HAS SOPS 172188 HAS SOUS 79976 HAS SOUPS 77793 WITH SCORE 77974.28
AT ITER 410 NEW BEST:: SOT 248915 SOS 181360 HAS SOPS 172268 HAS SOUS 79972 HAS SOUPS 77789 WITH SCORE 77970.36
AT ITER 413 NEW BEST:: SOT 248915 SOS 181328 HAS SOPS 172236 HAS SOUS 79956 HAS SOUPS 77773 WITH SCORE 77954.328
AT ITER 422 NEW BEST:: SOT 248915 SOS 181272 HAS SOPS 172180 HAS SOUS 79954 HAS SOUPS 77771 WITH SCORE 77952.272
AT ITER 424 NEW BEST:: SOT 248915 SOS 181043 HAS SOPS 171951 HAS SOUS 79875 HAS SOUPS 77692 WITH SCORE 77873.043
AT ITER 431 NEW BEST:: SOT 248915 SOS 180945 HAS SOPS 171853 HAS SOUS 79838 HAS SOUPS 77655 WITH SCORE 77835.945
AT ITER 433 NEW BEST:: SOT 248915 SOS 180441 HAS SOPS 171349 HAS SOUS 79810 HAS SOUPS 77627 WITH SCORE 77807.441
AT ITER 435 NEW BEST:: SOT 248915 SOS 180371 HAS SOPS 171349 HAS SOUS 79775 HAS SOUPS 77627 WITH SCORE 77807.371
AT ITER 437 NEW BEST:: SOT 248915 SOS 180229 HAS SOPS 171207 HAS SOUS 79626 HAS SOUPS 77478 WITH SCORE 77658.229
AT ITER 440 NEW BEST:: SOT 248915 SOS 180041 HAS SOPS 171129 HAS SOUS 79520 HAS SOUPS 77427 WITH SCORE 77607.041
AT ITER 441 NEW BEST:: SOT 248915 SOS 179725 HAS SOPS 170813 HAS SOUS 79283 HAS SOUPS 77190 WITH SCORE 77369.725
AT ITER 443 NEW BEST:: SOT 248915 SOS 179725 HAS SOPS 170813 HAS SOUS 79217 HAS SOUPS 77124 WITH SCORE 77303.725
AT ITER 447 NEW BEST:: SOT 248915 SOS 179725 HAS SOPS 170602 HAS SOUS 78001 HAS SOUPS 75908 WITH SCORE 76087.725
AT ITER 448 NEW BEST:: SOT 248915 SOS 179525 HAS SOPS 170402 HAS SOUS 77951 HAS SOUPS 75858 WITH SCORE 76037.525
AT ITER 449 NEW BEST:: SOT 249005 SOS 179503 HAS SOPS 170380 HAS SOUS 77636 HAS SOUPS 75543 WITH SCORE 75722.503
AT ITER 460 NEW BEST:: SOT 249005 SOS 179267 HAS SOPS 170144 HAS SOUS 77256 HAS SOUPS 75163 WITH SCORE 75342.267
AT ITER 462 NEW BEST:: SOT 249005 SOS 179397 HAS SOPS 170274 HAS SOUS 77246 HAS SOUPS 75153 WITH SCORE 75332.397
AT ITER 464 NEW BEST:: SOT 248965 SOS 179219 HAS SOPS 170102 HAS SOUS 77166 HAS SOUPS 75073 WITH SCORE 75252.219
AT ITER 468 NEW BEST:: SOT 248965 SOS 179219 HAS SOPS 170102 HAS SOUS 77106 HAS SOUPS 75013 WITH SCORE 75192.219
AT ITER 471 NEW BEST:: SOT 248965 SOS 179203 HAS SOPS 170086 HAS SOUS 77082 HAS SOUPS 74989 WITH SCORE 75168.203
AT ITER 472 NEW BEST:: SOT 248965 SOS 178757 HAS SOPS 169640 HAS SOUS 76965 HAS SOUPS 74872 WITH SCORE 75050.757
AT ITER 476 NEW BEST:: SOT 248965 SOS 178461 HAS SOPS 169000 HAS SOUS 76974 HAS SOUPS 74707 WITH SCORE 74885.461
AT ITER 488 NEW BEST:: SOT 248965 SOS 178201 HAS SOPS 168740 HAS SOUS 76927 HAS SOUPS 74660 WITH SCORE 74838.201
AT ITER 490 NEW BEST:: SOT 248965 SOS 178727 HAS SOPS 169266 HAS SOUS 76923 HAS SOUPS 74656 WITH SCORE 74834.727
AT ITER 491 NEW BEST:: SOT 248965 SOS 178727 HAS SOPS 169266 HAS SOUS 76905 HAS SOUPS 74638 WITH SCORE 74816.727
AT ITER 495 NEW BEST:: SOT 248965 SOS 178619 HAS SOPS 169158 HAS SOUS 76796 HAS SOUPS 74529 WITH SCORE 74707.619
AT ITER 497 NEW BEST:: SOT 248965 SOS 178619 HAS SOPS 169158 HAS SOUS 76744 HAS SOUPS 74477 WITH SCORE 74655.619
AT ITER 499 NEW BEST:: SOT 248965 SOS 178513 HAS SOPS 169052 HAS SOUS 76691 HAS SOUPS 74424 WITH SCORE 74602.513
AT ITER 501 NEW BEST:: SOT 248949 SOS 178319 HAS SOPS 169020 HAS SOUS 76681 HAS SOUPS 74414 WITH SCORE 74592.319
AT ITER 506 NEW BEST:: SOT 248949 SOS 178331 HAS SOPS 169032 HAS SOUS 76667 HAS SOUPS 74400 WITH SCORE 74578.331
AT ITER 513 NEW BEST:: SOT 248949 SOS 178309 HAS SOPS 169010 HAS SOUS 76645 HAS SOUPS 74378 WITH SCORE 74556.309
AT ITER 524 NEW BEST:: SOT 248949 SOS 178265 HAS SOPS 168966 HAS SOUS 76631 HAS SOUPS 74364 WITH SCORE 74542.265
AT ITER 529 NEW BEST:: SOT 248949 SOS 178049 HAS SOPS 168750 HAS SOUS 76577 HAS SOUPS 74310 WITH SCORE 74488.049
AT ITER 530 NEW BEST:: SOT 248949 SOS 177101 HAS SOPS 168070 HAS SOUS 75213 HAS SOUPS 73090 WITH SCORE 73267.101
AT ITER 532 NEW BEST:: SOT 248949 SOS 177065 HAS SOPS 168130 HAS SOUS 75165 HAS SOUPS 73090 WITH SCORE 73267.065
AT ITER 535 NEW BEST:: SOT 248949 SOS 177065 HAS SOPS 168130 HAS SOUS 75161 HAS SOUPS 73086 WITH SCORE 73263.065
AT ITER 536 NEW BEST:: SOT 248949 SOS 176825 HAS SOPS 167890 HAS SOUS 75101 HAS SOUPS 73026 WITH SCORE 73202.825
AT ITER 546 NEW BEST:: SOT 248949 SOS 176569 HAS SOPS 167634 HAS SOUS 75057 HAS SOUPS 72982 WITH SCORE 73158.569
AT ITER 549 NEW BEST:: SOT 248949 SOS 176451 HAS SOPS 167516 HAS SOUS 74998 HAS SOUPS 72923 WITH SCORE 73099.451
AT ITER 554 NEW BEST:: SOT 248949 SOS 176313 HAS SOPS 167378 HAS SOUS 74952 HAS SOUPS 72877 WITH SCORE 73053.313
AT ITER 561 NEW BEST:: SOT 248949 SOS 176313 HAS SOPS 167378 HAS SOUS 74906 HAS SOUPS 72831 WITH SCORE 73007.313
AT ITER 564 NEW BEST:: SOT 248949 SOS 175141 HAS SOPS 166206 HAS SOUS 74540 HAS SOUPS 72465 WITH SCORE 72640.141
AT ITER 578 NEW BEST:: SOT 248949 SOS 174667 HAS SOPS 165732 HAS SOUS 74259 HAS SOUPS 72184 WITH SCORE 72358.667
AT ITER 583 NEW BEST:: SOT 248949 SOS 174586 HAS SOPS 165705 HAS SOUS 74232 HAS SOUPS 72184 WITH SCORE 72358.586
AT ITER 585 NEW BEST:: SOT 248949 SOS 174586 HAS SOPS 165705 HAS SOUS 74230 HAS SOUPS 72182 WITH SCORE 72356.586
AT ITER 586 NEW BEST:: SOT 248949 SOS 174586 HAS SOPS 165705 HAS SOUS 74227 HAS SOUPS 72179 WITH SCORE 72353.586
AT ITER 588 NEW BEST:: SOT 248951 SOS 174588 HAS SOPS 165709 HAS SOUS 74165 HAS SOUPS 72117 WITH SCORE 72291.588
AT ITER 590 NEW BEST:: SOT 248951 SOS 173964 HAS SOPS 165085 HAS SOUS 73927 HAS SOUPS 71879 WITH SCORE 72052.964
AT ITER 591 NEW BEST:: SOT 248951 SOS 173922 HAS SOPS 165043 HAS SOUS 73927 HAS SOUPS 71879 WITH SCORE 72052.922
AT ITER 592 NEW BEST:: SOT 248951 SOS 173922 HAS SOPS 165043 HAS SOUS 73859 HAS SOUPS 71811 WITH SCORE 71984.922
AT ITER 593 NEW BEST:: SOT 248951 SOS 173856 HAS SOPS 165087 HAS SOUS 73765 HAS SOUPS 71772 WITH SCORE 71945.856
AT ITER 597 NEW BEST:: SOT 248951 SOS 173788 HAS SOPS 165019 HAS SOUS 73731 HAS SOUPS 71738 WITH SCORE 71911.788
AT ITER 599 NEW BEST:: SOT 248951 SOS 173488 HAS SOPS 164719 HAS SOUS 73694 HAS SOUPS 71701 WITH SCORE 71874.488
AT ITER 600 NEW BEST:: SOT 248959 SOS 173196 HAS SOPS 164427 HAS SOUS 72833 HAS SOUPS 70840 WITH SCORE 71013.196
AT ITER 602 NEW BEST:: SOT 248959 SOS 173072 HAS SOPS 164303 HAS SOUS 72802 HAS SOUPS 70809 WITH SCORE 70982.072
AT ITER 603 NEW BEST:: SOT 248959 SOS 172972 HAS SOPS 164203 HAS SOUS 72777 HAS SOUPS 70784 WITH SCORE 70956.972
AT ITER 604 NEW BEST:: SOT 248959 SOS 172734 HAS SOPS 163965 HAS SOUS 72553 HAS SOUPS 70560 WITH SCORE 70732.734
AT ITER 607 NEW BEST:: SOT 248959 SOS 172712 HAS SOPS 163943 HAS SOUS 72538 HAS SOUPS 70545 WITH SCORE 70717.712
AT ITER 608 NEW BEST:: SOT 248959 SOS 172764 HAS SOPS 163995 HAS SOUS 72473 HAS SOUPS 70480 WITH SCORE 70652.764
AT ITER 610 NEW BEST:: SOT 248962 SOS 168184 HAS SOPS 161235 HAS SOUS 72361 HAS SOUPS 70483 WITH SCORE 70651.184
AT ITER 617 NEW BEST:: SOT 248962 SOS 168062 HAS SOPS 161113 HAS SOUS 72351 HAS SOUPS 70473 WITH SCORE 70641.062
AT ITER 618 NEW BEST:: SOT 248920 SOS 168020 HAS SOPS 161071 HAS SOUS 72309 HAS SOUPS 70431 WITH SCORE 70599.02
AT ITER 623 NEW BEST:: SOT 248920 SOS 167990 HAS SOPS 161071 HAS SOUS 72294 HAS SOUPS 70431 WITH SCORE 70598.99
AT ITER 636 NEW BEST:: SOT 248920 SOS 167636 HAS SOPS 160717 HAS SOUS 72236 HAS SOUPS 70373 WITH SCORE 70540.636
AT ITER 640 NEW BEST:: SOT 248920 SOS 167492 HAS SOPS 160573 HAS SOUS 72200 HAS SOUPS 70337 WITH SCORE 70504.492
AT ITER 644 NEW BEST:: SOT 248920 SOS 167412 HAS SOPS 160493 HAS SOUS 72180 HAS SOUPS 70317 WITH SCORE 70484.412
AT ITER 650 NEW BEST:: SOT 248880 SOS 167313 HAS SOPS 160394 HAS SOUS 72081 HAS SOUPS 70218 WITH SCORE 70385.313
AT ITER 659 NEW BEST:: SOT 248880 SOS 167177 HAS SOPS 160258 HAS SOUS 72057 HAS SOUPS 70194 WITH SCORE 70361.177
AT ITER 667 NEW BEST:: SOT 248880 SOS 167175 HAS SOPS 160256 HAS SOUS 72011 HAS SOUPS 70148 WITH SCORE 70315.175
AT ITER 675 NEW BEST:: SOT 248880 SOS 166971 HAS SOPS 160052 HAS SOUS 71960 HAS SOUPS 70097 WITH SCORE 70263.971
AT ITER 678 NEW BEST:: SOT 248880 SOS 166721 HAS SOPS 159802 HAS SOUS 71145 HAS SOUPS 69282 WITH SCORE 69448.721
AT ITER 679 NEW BEST:: SOT 248880 SOS 166695 HAS SOPS 159776 HAS SOUS 71132 HAS SOUPS 69269 WITH SCORE 69435.695
AT ITER 680 NEW BEST:: SOT 248880 SOS 166651 HAS SOPS 159732 HAS SOUS 71116 HAS SOUPS 69253 WITH SCORE 69419.651
AT ITER 686 NEW BEST:: SOT 248830 SOS 166453 HAS SOPS 159572 HAS SOUS 71098 HAS SOUPS 69235 WITH SCORE 69401.453
AT ITER 693 NEW BEST:: SOT 248830 SOS 164712 HAS SOPS 157831 HAS SOUS 70806 HAS SOUPS 68943 WITH SCORE 69107.712
AT ITER 695 NEW BEST:: SOT 248830 SOS 164680 HAS SOPS 157799 HAS SOUS 70805 HAS SOUPS 68942 WITH SCORE 69106.68
AT ITER 698 NEW BEST:: SOT 248830 SOS 164602 HAS SOPS 157721 HAS SOUS 70766 HAS SOUPS 68903 WITH SCORE 69067.602
AT ITER 701 NEW BEST:: SOT 248830 SOS 164370 HAS SOPS 157489 HAS SOUS 70722 HAS SOUPS 68859 WITH SCORE 69023.37
AT ITER 704 NEW BEST:: SOT 248830 SOS 161214 HAS SOPS 155411 HAS SOUS 70644 HAS SOUPS 68781 WITH SCORE 68942.214
AT ITER 705 NEW BEST:: SOT 248830 SOS 161277 HAS SOPS 155651 HAS SOUS 70548 HAS SOUPS 68776 WITH SCORE 68937.277
AT ITER 712 NEW BEST:: SOT 248830 SOS 161241 HAS SOPS 155615 HAS SOUS 70534 HAS SOUPS 68762 WITH SCORE 68923.241
AT ITER 718 NEW BEST:: SOT 248830 SOS 161279 HAS SOPS 155653 HAS SOUS 70528 HAS SOUPS 68756 WITH SCORE 68917.279
AT ITER 725 NEW BEST:: SOT 248830 SOS 161284 HAS SOPS 155621 HAS SOUS 70181 HAS SOUPS 68409 WITH SCORE 68570.284
AT ITER 726 NEW BEST:: SOT 248830 SOS 160908 HAS SOPS 155245 HAS SOUS 70130 HAS SOUPS 68358 WITH SCORE 68518.908
AT ITER 727 NEW BEST:: SOT 248830 SOS 160822 HAS SOPS 155159 HAS SOUS 70087 HAS SOUPS 68315 WITH SCORE 68475.822
AT ITER 737 NEW BEST:: SOT 248830 SOS 160724 HAS SOPS 154905 HAS SOUS 70165 HAS SOUPS 68315 WITH SCORE 68475.724
AT ITER 739 NEW BEST:: SOT 248830 SOS 160704 HAS SOPS 154885 HAS SOUS 69880 HAS SOUPS 68030 WITH SCORE 68190.704
AT ITER 740 NEW BEST:: SOT 248830 SOS 160744 HAS SOPS 154997 HAS SOUS 69761 HAS SOUPS 67947 WITH SCORE 68107.744
AT ITER 743 NEW BEST:: SOT 248808 SOS 159554 HAS SOPS 153944 HAS SOUS 69568 HAS SOUPS 67754 WITH SCORE 67913.554
AT ITER 744 NEW BEST:: SOT 248808 SOS 159397 HAS SOPS 153787 HAS SOUS 69456 HAS SOUPS 67642 WITH SCORE 67801.397
AT ITER 749 NEW BEST:: SOT 248808 SOS 159351 HAS SOPS 153741 HAS SOUS 69420 HAS SOUPS 67606 WITH SCORE 67765.351
AT ITER 754 NEW BEST:: SOT 248808 SOS 159519 HAS SOPS 153909 HAS SOUS 69398 HAS SOUPS 67584 WITH SCORE 67743.519
AT ITER 765 NEW BEST:: SOT 244290 SOS 155058 HAS SOPS 149405 HAS SOUS 69387 HAS SOUPS 67559 WITH SCORE 67714.058
AT ITER 773 NEW BEST:: SOT 244290 SOS 155290 HAS SOPS 149637 HAS SOUS 69323 HAS SOUPS 67495 WITH SCORE 67650.29
AT ITER 778 NEW BEST:: SOT 244290 SOS 155270 HAS SOPS 149637 HAS SOUS 69313 HAS SOUPS 67495 WITH SCORE 67650.27
AT ITER 779 NEW BEST:: SOT 244290 SOS 155226 HAS SOPS 149593 HAS SOUS 69291 HAS SOUPS 67473 WITH SCORE 67628.226
AT ITER 781 NEW BEST:: SOT 244290 SOS 154792 HAS SOPS 149431 HAS SOUS 69123 HAS SOUPS 67441 WITH SCORE 67595.792
AT ITER 783 NEW BEST:: SOT 244290 SOS 154744 HAS SOPS 149383 HAS SOUS 69111 HAS SOUPS 67429 WITH SCORE 67583.744
AT ITER 788 NEW BEST:: SOT 244192 SOS 154544 HAS SOPS 148996 HAS SOUS 69100 HAS SOUPS 67312 WITH SCORE 67466.544
AT ITER 797 NEW BEST:: SOT 244192 SOS 154352 HAS SOPS 148804 HAS SOUS 69075 HAS SOUPS 67287 WITH SCORE 67441.352
AT ITER 806 NEW BEST:: SOT 244192 SOS 154332 HAS SOPS 148784 HAS SOUS 69065 HAS SOUPS 67277 WITH SCORE 67431.332
AT ITER 814 NEW BEST:: SOT 244192 SOS 154332 HAS SOPS 148784 HAS SOUS 69057 HAS SOUPS 67269 WITH SCORE 67423.332
AT ITER 815 NEW BEST:: SOT 244192 SOS 154054 HAS SOPS 148506 HAS SOUS 68983 HAS SOUPS 67195 WITH SCORE 67349.054
AT ITER 820 NEW BEST:: SOT 244192 SOS 154000 HAS SOPS 148452 HAS SOUS 68712 HAS SOUPS 66924 WITH SCORE 67078.0
AT ITER 823 NEW BEST:: SOT 244192 SOS 153736 HAS SOPS 148188 HAS SOUS 68668 HAS SOUPS 66880 WITH SCORE 67033.736
AT ITER 829 NEW BEST:: SOT 244175 SOS 156830 HAS SOPS 150097 HAS SOUS 68733 HAS SOUPS 66869 WITH SCORE 67025.83
AT ITER 841 NEW BEST:: SOT 244189 SOS 156955 HAS SOPS 149888 HAS SOUS 68855 HAS SOUPS 66816 WITH SCORE 66972.955
AT ITER 842 NEW BEST:: SOT 244189 SOS 155975 HAS SOPS 148908 HAS SOUS 68830 HAS SOUPS 66791 WITH SCORE 66946.975
AT ITER 853 NEW BEST:: SOT 244189 SOS 155847 HAS SOPS 148780 HAS SOUS 68830 HAS SOUPS 66791 WITH SCORE 66946.847
AT ITER 859 NEW BEST:: SOT 244189 SOS 155847 HAS SOPS 148780 HAS SOUS 68826 HAS SOUPS 66787 WITH SCORE 66942.847
AT ITER 864 NEW BEST:: SOT 244189 SOS 155812 HAS SOPS 148745 HAS SOUS 68826 HAS SOUPS 66787 WITH SCORE 66942.812
AT ITER 873 NEW BEST:: SOT 244189 SOS 155680 HAS SOPS 148613 HAS SOUS 68714 HAS SOUPS 66675 WITH SCORE 66830.68
AT ITER 876 NEW BEST:: SOT 244189 SOS 155678 HAS SOPS 148609 HAS SOUS 68714 HAS SOUPS 66674 WITH SCORE 66829.678
AT ITER 879 NEW BEST:: SOT 244249 SOS 155316 HAS SOPS 148243 HAS SOUS 67893 HAS SOUPS 65853 WITH SCORE 66008.316
AT ITER 880 NEW BEST:: SOT 244249 SOS 154848 HAS SOPS 147775 HAS SOUS 67677 HAS SOUPS 65637 WITH SCORE 65791.848
AT ITER 893 NEW BEST:: SOT 244249 SOS 154438 HAS SOPS 147601 HAS SOUS 67533 HAS SOUPS 65611 WITH SCORE 65765.438
AT ITER 905 NEW BEST:: SOT 244249 SOS 154264 HAS SOPS 147515 HAS SOUS 67445 HAS SOUPS 65567 WITH SCORE 65721.264
AT ITER 907 NEW BEST:: SOT 244249 SOS 153258 HAS SOPS 146309 HAS SOUS 67538 HAS SOUPS 65560 WITH SCORE 65713.258
AT ITER 911 NEW BEST:: SOT 244249 SOS 151364 HAS SOPS 144415 HAS SOUS 67402 HAS SOUPS 65424 WITH SCORE 65575.364
AT ITER 915 NEW BEST:: SOT 244249 SOS 151348 HAS SOPS 144399 HAS SOUS 67394 HAS SOUPS 65416 WITH SCORE 65567.348
AT ITER 948 NEW BEST:: SOT 244249 SOS 151184 HAS SOPS 144311 HAS SOUS 67296 HAS SOUPS 65356 WITH SCORE 65507.184
AT ITER 950 NEW BEST:: SOT 244249 SOS 150176 HAS SOPS 143303 HAS SOUS 67256 HAS SOUPS 65316 WITH SCORE 65466.176
AT ITER 954 NEW BEST:: SOT 244249 SOS 150198 HAS SOPS 143325 HAS SOUS 67239 HAS SOUPS 65299 WITH SCORE 65449.198
AT ITER 956 NEW BEST:: SOT 244249 SOS 149888 HAS SOPS 143161 HAS SOUS 67235 HAS SOUPS 65299 WITH SCORE 65448.888
AT ITER 967 NEW BEST:: SOT 244249 SOS 150124 HAS SOPS 143188 HAS SOUS 67311 HAS SOUPS 65270 WITH SCORE 65420.124
AT ITER 971 NEW BEST:: SOT 244249 SOS 149606 HAS SOPS 142640 HAS SOUS 67149 HAS SOUPS 65093 WITH SCORE 65242.606
AT ITER 981 NEW BEST:: SOT 244249 SOS 149673 HAS SOPS 142707 HAS SOUS 67123 HAS SOUPS 65067 WITH SCORE 65216.673
AT ITER 990 NEW BEST:: SOT 244453 SOS 148033 HAS SOPS 141063 HAS SOUS 66982 HAS SOUPS 64926 WITH SCORE 65074.033
AT ITER 991 NEW BEST:: SOT 244453 SOS 148077 HAS SOPS 141107 HAS SOUS 66968 HAS SOUPS 64912 WITH SCORE 65060.077
AT ITER 995 NEW BEST:: SOT 244453 SOS 146903 HAS SOPS 139933 HAS SOUS 66907 HAS SOUPS 64851 WITH SCORE 64997.903
AT ITER 997 NEW BEST:: SOT 244453 SOS 146829 HAS SOPS 139859 HAS SOUS 66758 HAS SOUPS 64702 WITH SCORE 64848.829
AT ITER 1003 NEW BEST:: SOT 244595 SOS 146971 HAS SOPS 140013 HAS SOUS 66692 HAS SOUPS 64648 WITH SCORE 64794.971
AT ITER 1007 NEW BEST:: SOT 244595 SOS 146901 HAS SOPS 139885 HAS SOUS 66670 HAS SOUPS 64597 WITH SCORE 64743.901
AT ITER 1014 NEW BEST:: SOT 244595 SOS 146785 HAS SOPS 139769 HAS SOUS 66670 HAS SOUPS 64597 WITH SCORE 64743.785
AT ITER 1016 NEW BEST:: SOT 244595 SOS 146599 HAS SOPS 139583 HAS SOUS 66562 HAS SOUPS 64489 WITH SCORE 64635.599
AT ITER 1017 NEW BEST:: SOT 244579 SOS 146583 HAS SOPS 139551 HAS SOUS 66530 HAS SOUPS 64457 WITH SCORE 64603.583
AT ITER 1018 NEW BEST:: SOT 244577 SOS 145914 HAS SOPS 138845 HAS SOUS 66446 HAS SOUPS 64373 WITH SCORE 64518.914
AT ITER 1021 NEW BEST:: SOT 244577 SOS 145446 HAS SOPS 138377 HAS SOUS 66315 HAS SOUPS 64242 WITH SCORE 64387.446
AT ITER 1022 NEW BEST:: SOT 244577 SOS 145406 HAS SOPS 138337 HAS SOUS 66295 HAS SOUPS 64222 WITH SCORE 64367.406
AT ITER 1027 NEW BEST:: SOT 244577 SOS 145354 HAS SOPS 138285 HAS SOUS 66269 HAS SOUPS 64196 WITH SCORE 64341.354
AT ITER 1029 NEW BEST:: SOT 244577 SOS 145306 HAS SOPS 138237 HAS SOUS 66257 HAS SOUPS 64184 WITH SCORE 64329.306
AT ITER 1035 NEW BEST:: SOT 244577 SOS 145328 HAS SOPS 138259 HAS SOUS 66216 HAS SOUPS 64143 WITH SCORE 64288.328
AT ITER 1039 NEW BEST:: SOT 244503 SOS 145106 HAS SOPS 138037 HAS SOUS 66132 HAS SOUPS 64059 WITH SCORE 64204.106
AT ITER 1060 NEW BEST:: SOT 244503 SOS 145152 HAS SOPS 138015 HAS SOUS 66155 HAS SOUPS 64048 WITH SCORE 64193.152
AT ITER 1062 NEW BEST:: SOT 244503 SOS 145278 HAS SOPS 138141 HAS SOUS 66132 HAS SOUPS 64025 WITH SCORE 64170.278
AT ITER 1068 NEW BEST:: SOT 244503 SOS 145350 HAS SOPS 138213 HAS SOUS 66097 HAS SOUPS 63990 WITH SCORE 64135.35
AT ITER 1069 NEW BEST:: SOT 244504 SOS 145349 HAS SOPS 138212 HAS SOUS 66097 HAS SOUPS 63990 WITH SCORE 64135.349
AT ITER 1095 NEW BEST:: SOT 244464 SOS 144963 HAS SOPS 137826 HAS SOUS 66028 HAS SOUPS 63921 WITH SCORE 64065.963
AT ITER 1096 NEW BEST:: SOT 244464 SOS 145077 HAS SOPS 137940 HAS SOUS 66008 HAS SOUPS 63901 WITH SCORE 64046.077
AT ITER 1100 NEW BEST:: SOT 244464 SOS 144793 HAS SOPS 137462 HAS SOUS 65901 HAS SOUPS 63697 WITH SCORE 63841.793
AT ITER 1114 NEW BEST:: SOT 244464 SOS 144717 HAS SOPS 137386 HAS SOUS 65863 HAS SOUPS 63659 WITH SCORE 63803.717
AT ITER 1118 NEW BEST:: SOT 244464 SOS 144769 HAS SOPS 137438 HAS SOUS 65858 HAS SOUPS 63654 WITH SCORE 63798.769
AT ITER 1120 NEW BEST:: SOT 244464 SOS 144645 HAS SOPS 137314 HAS SOUS 65842 HAS SOUPS 63638 WITH SCORE 63782.645
AT ITER 1123 NEW BEST:: SOT 244464 SOS 144673 HAS SOPS 137342 HAS SOUS 65835 HAS SOUPS 63631 WITH SCORE 63775.673
AT ITER 1160 NEW BEST:: SOT 244464 SOS 144530 HAS SOPS 137199 HAS SOUS 65705 HAS SOUPS 63501 WITH SCORE 63645.53
AT ITER 1163 NEW BEST:: SOT 244464 SOS 144528 HAS SOPS 137197 HAS SOUS 65704 HAS SOUPS 63500 WITH SCORE 63644.528
AT ITER 1166 NEW BEST:: SOT 244464 SOS 143871 HAS SOPS 136540 HAS SOUS 65450 HAS SOUPS 63246 WITH SCORE 63389.871
AT ITER 1172 NEW BEST:: SOT 244464 SOS 143869 HAS SOPS 136538 HAS SOUS 65449 HAS SOUPS 63245 WITH SCORE 63388.869
AT ITER 1183 NEW BEST:: SOT 244464 SOS 143823 HAS SOPS 136492 HAS SOUS 65389 HAS SOUPS 63185 WITH SCORE 63328.823
AT ITER 1186 NEW BEST:: SOT 244464 SOS 143609 HAS SOPS 136278 HAS SOUS 65366 HAS SOUPS 63162 WITH SCORE 63305.609
AT ITER 1187 NEW BEST:: SOT 244464 SOS 143465 HAS SOPS 136134 HAS SOUS 65342 HAS SOUPS 63138 WITH SCORE 63281.465
AT ITER 1189 NEW BEST:: SOT 244464 SOS 143449 HAS SOPS 136092 HAS SOUS 65347 HAS SOUPS 63130 WITH SCORE 63273.449
AT ITER 1190 NEW BEST:: SOT 244464 SOS 143479 HAS SOPS 135998 HAS SOUS 65362 HAS SOUPS 63083 WITH SCORE 63226.479
AT ITER 1195 NEW BEST:: SOT 244464 SOS 143460 HAS SOPS 135979 HAS SOUS 65345 HAS SOUPS 63066 WITH SCORE 63209.46
AT ITER 1223 NEW BEST:: SOT 244464 SOS 143404 HAS SOPS 135923 HAS SOUS 65317 HAS SOUPS 63038 WITH SCORE 63181.404
AT ITER 1232 NEW BEST:: SOT 244320 SOS 143116 HAS SOPS 135635 HAS SOUS 65233 HAS SOUPS 62954 WITH SCORE 63097.116
AT ITER 1235 NEW BEST:: SOT 244320 SOS 143112 HAS SOPS 135631 HAS SOUS 65231 HAS SOUPS 62952 WITH SCORE 63095.112
AT ITER 1245 NEW BEST:: SOT 244320 SOS 143006 HAS SOPS 135641 HAS SOUS 65162 HAS SOUPS 62941 WITH SCORE 63084.006
AT ITER 1256 NEW BEST:: SOT 244320 SOS 142806 HAS SOPS 135516 HAS SOUS 65157 HAS SOUPS 62941 WITH SCORE 63083.806
AT ITER 1261 NEW BEST:: SOT 244320 SOS 142817 HAS SOPS 135323 HAS SOUS 65223 HAS SOUPS 62905 WITH SCORE 63047.817
AT ITER 1263 NEW BEST:: SOT 244320 SOS 142445 HAS SOPS 134951 HAS SOUS 65066 HAS SOUPS 62748 WITH SCORE 62890.445
AT ITER 1274 NEW BEST:: SOT 244320 SOS 142397 HAS SOPS 134903 HAS SOUS 65066 HAS SOUPS 62748 WITH SCORE 62890.397
AT ITER 1275 NEW BEST:: SOT 244320 SOS 142385 HAS SOPS 134859 HAS SOUS 65070 HAS SOUPS 62736 WITH SCORE 62878.385
AT ITER 1282 NEW BEST:: SOT 244320 SOS 141869 HAS SOPS 134343 HAS SOUS 65033 HAS SOUPS 62699 WITH SCORE 62840.869
AT ITER 1287 NEW BEST:: SOT 244320 SOS 141739 HAS SOPS 134213 HAS SOUS 64968 HAS SOUPS 62634 WITH SCORE 62775.739
AT ITER 1301 NEW BEST:: SOT 244308 SOS 141119 HAS SOPS 133581 HAS SOUS 64782 HAS SOUPS 62442 WITH SCORE 62583.119
AT ITER 1314 NEW BEST:: SOT 244308 SOS 141103 HAS SOPS 133565 HAS SOUS 64766 HAS SOUPS 62426 WITH SCORE 62567.103
AT ITER 1322 NEW BEST:: SOT 244308 SOS 141099 HAS SOPS 133561 HAS SOUS 64762 HAS SOUPS 62422 WITH SCORE 62563.099
AT ITER 1324 NEW BEST:: SOT 244308 SOS 141063 HAS SOPS 133447 HAS SOUS 64800 HAS SOUPS 62421 WITH SCORE 62562.063
AT ITER 1338 NEW BEST:: SOT 244308 SOS 140551 HAS SOPS 133111 HAS SOUS 64751 HAS SOUPS 62383 WITH SCORE 62523.551
AT ITER 1345 NEW BEST:: SOT 244308 SOS 140469 HAS SOPS 133074 HAS SOUS 64710 HAS SOUPS 62369 WITH SCORE 62509.469
AT ITER 1349 NEW BEST:: SOT 244294 SOS 140279 HAS SOPS 132958 HAS SOUS 64688 HAS SOUPS 62347 WITH SCORE 62487.279
AT ITER 1359 NEW BEST:: SOT 244238 SOS 140223 HAS SOPS 132902 HAS SOUS 64632 HAS SOUPS 62291 WITH SCORE 62431.223
AT ITER 1360 NEW BEST:: SOT 244238 SOS 140265 HAS SOPS 132944 HAS SOUS 64554 HAS SOUPS 62213 WITH SCORE 62353.265
AT ITER 1368 NEW BEST:: SOT 244238 SOS 140265 HAS SOPS 132944 HAS SOUS 64432 HAS SOUPS 62091 WITH SCORE 62231.265
AT ITER 1375 NEW BEST:: SOT 244238 SOS 140396 HAS SOPS 133075 HAS SOUS 64428 HAS SOUPS 62087 WITH SCORE 62227.396
AT ITER 1376 NEW BEST:: SOT 244238 SOS 140378 HAS SOPS 133057 HAS SOUS 64388 HAS SOUPS 62047 WITH SCORE 62187.378
AT ITER 1377 NEW BEST:: SOT 244238 SOS 140365 HAS SOPS 133044 HAS SOUS 64388 HAS SOUPS 62047 WITH SCORE 62187.365
AT ITER 1384 NEW BEST:: SOT 244238 SOS 140109 HAS SOPS 132788 HAS SOUS 64324 HAS SOUPS 61983 WITH SCORE 62123.109
AT ITER 1387 NEW BEST:: SOT 244238 SOS 140113 HAS SOPS 132790 HAS SOUS 64324 HAS SOUPS 61982 WITH SCORE 62122.113
AT ITER 1389 NEW BEST:: SOT 244238 SOS 140065 HAS SOPS 132742 HAS SOUS 64276 HAS SOUPS 61934 WITH SCORE 62074.065
AT ITER 1400 NEW BEST:: SOT 244238 SOS 140017 HAS SOPS 132726 HAS SOUS 64260 HAS SOUPS 61934 WITH SCORE 62074.017
AT ITER 1408 NEW BEST:: SOT 244238 SOS 140120 HAS SOPS 132829 HAS SOUS 64226 HAS SOUPS 61900 WITH SCORE 62040.12
AT ITER 1409 NEW BEST:: SOT 244238 SOS 140144 HAS SOPS 132853 HAS SOUS 64225 HAS SOUPS 61899 WITH SCORE 62039.144
AT ITER 1417 NEW BEST:: SOT 244238 SOS 140358 HAS SOPS 133067 HAS SOUS 64185 HAS SOUPS 61859 WITH SCORE 61999.358
AT ITER 1433 NEW BEST:: SOT 244309 SOS 138598 HAS SOPS 131218 HAS SOUS 64023 HAS SOUPS 61689 WITH SCORE 61827.598
AT ITER 1434 NEW BEST:: SOT 233094 SOS 128160 HAS SOPS 119991 HAS SOUS 58796 HAS SOUPS 56425 WITH SCORE 56553.16
AT ITER 1435 NEW BEST:: SOT 233094 SOS 127664 HAS SOPS 119495 HAS SOUS 58734 HAS SOUPS 56363 WITH SCORE 56490.664
AT ITER 1436 NEW BEST:: SOT 233094 SOS 127814 HAS SOPS 119645 HAS SOUS 58665 HAS SOUPS 56294 WITH SCORE 56421.814
AT ITER 1446 NEW BEST:: SOT 233033 SOS 127823 HAS SOPS 119670 HAS SOUS 58571 HAS SOUPS 56200 WITH SCORE 56327.823
AT ITER 1454 NEW BEST:: SOT 232920 SOS 127402 HAS SOPS 119099 HAS SOUS 58362 HAS SOUPS 55991 WITH SCORE 56118.402
AT ITER 1460 NEW BEST:: SOT 232920 SOS 127378 HAS SOPS 119075 HAS SOUS 58350 HAS SOUPS 55979 WITH SCORE 56106.378
AT ITER 1465 NEW BEST:: SOT 232920 SOS 127346 HAS SOPS 119011 HAS SOUS 58350 HAS SOUPS 55963 WITH SCORE 56090.346
AT ITER 1494 NEW BEST:: SOT 232934 SOS 127336 HAS SOPS 118706 HAS SOUS 58469 HAS SOUPS 55930 WITH SCORE 56057.336
AT ITER 1495 NEW BEST:: SOT 232934 SOS 127170 HAS SOPS 118540 HAS SOUS 58380 HAS SOUPS 55841 WITH SCORE 55968.17
AT ITER 1497 NEW BEST:: SOT 232934 SOS 126432 HAS SOPS 117802 HAS SOUS 58024 HAS SOUPS 55485 WITH SCORE 55611.432
AT ITER 1500 NEW BEST:: SOT 232934 SOS 126506 HAS SOPS 117876 HAS SOUS 58003 HAS SOUPS 55464 WITH SCORE 55590.506
AT ITER 1501 NEW BEST:: SOT 232934 SOS 126414 HAS SOPS 117784 HAS SOUS 58003 HAS SOUPS 55464 WITH SCORE 55590.414
AT ITER 1508 NEW BEST:: SOT 232934 SOS 126638 HAS SOPS 118008 HAS SOUS 57995 HAS SOUPS 55456 WITH SCORE 55582.638
AT ITER 1510 NEW BEST:: SOT 232934 SOS 126582 HAS SOPS 118008 HAS SOUS 57995 HAS SOUPS 55456 WITH SCORE 55582.582
AT ITER 1512 NEW BEST:: SOT 232934 SOS 126226 HAS SOPS 117830 HAS SOUS 57878 HAS SOUPS 55428 WITH SCORE 55554.226
AT ITER 1518 NEW BEST:: SOT 232934 SOS 126124 HAS SOPS 117728 HAS SOUS 57855 HAS SOUPS 55405 WITH SCORE 55531.124
AT ITER 1526 NEW BEST:: SOT 232934 SOS 126116 HAS SOPS 117720 HAS SOUS 57852 HAS SOUPS 55402 WITH SCORE 55528.116
AT ITER 1536 NEW BEST:: SOT 232931 SOS 126160 HAS SOPS 117761 HAS SOUS 57840 HAS SOUPS 55390 WITH SCORE 55516.16
AT ITER 1544 NEW BEST:: SOT 232931 SOS 126052 HAS SOPS 117761 HAS SOUS 57840 HAS SOUPS 55390 WITH SCORE 55516.052
AT ITER 1546 NEW BEST:: SOT 232931 SOS 125918 HAS SOPS 117725 HAS SOUS 57755 HAS SOUPS 55354 WITH SCORE 55479.918
AT ITER 1553 NEW BEST:: SOT 232931 SOS 125374 HAS SOPS 117181 HAS SOUS 57715 HAS SOUPS 55314 WITH SCORE 55439.374
AT ITER 1557 NEW BEST:: SOT 232931 SOS 125358 HAS SOPS 117165 HAS SOUS 57715 HAS SOUPS 55314 WITH SCORE 55439.358
AT ITER 1561 NEW BEST:: SOT 232931 SOS 125278 HAS SOPS 117085 HAS SOUS 57715 HAS SOUPS 55314 WITH SCORE 55439.278
AT ITER 1564 NEW BEST:: SOT 232931 SOS 125112 HAS SOPS 116919 HAS SOUS 57698 HAS SOUPS 55297 WITH SCORE 55422.112
AT ITER 1576 NEW BEST:: SOT 232931 SOS 125112 HAS SOPS 116919 HAS SOUS 57690 HAS SOUPS 55289 WITH SCORE 55414.112
AT ITER 1579 NEW BEST:: SOT 232929 SOS 125110 HAS SOPS 116917 HAS SOUS 57688 HAS SOUPS 55287 WITH SCORE 55412.11
AT ITER 1583 NEW BEST:: SOT 232929 SOS 125008 HAS SOPS 116815 HAS SOUS 57637 HAS SOUPS 55236 WITH SCORE 55361.008
AT ITER 1586 NEW BEST:: SOT 233049 SOS 124764 HAS SOPS 116571 HAS SOUS 57612 HAS SOUPS 55211 WITH SCORE 55335.764
AT ITER 1589 NEW BEST:: SOT 233056 SOS 124846 HAS SOPS 116660 HAS SOUS 57580 HAS SOUPS 55179 WITH SCORE 55303.846
AT ITER 1592 NEW BEST:: SOT 233023 SOS 124707 HAS SOPS 116318 HAS SOUS 57494 HAS SOUPS 54987 WITH SCORE 55111.707
AT ITER 1594 NEW BEST:: SOT 232982 SOS 124605 HAS SOPS 116175 HAS SOUS 57467 HAS SOUPS 54960 WITH SCORE 55084.605
AT ITER 1601 NEW BEST:: SOT 232982 SOS 124863 HAS SOPS 116433 HAS SOUS 57420 HAS SOUPS 54913 WITH SCORE 55037.863
AT ITER 1611 NEW BEST:: SOT 232976 SOS 124839 HAS SOPS 116409 HAS SOUS 57414 HAS SOUPS 54907 WITH SCORE 55031.839
AT ITER 1623 NEW BEST:: SOT 232976 SOS 124839 HAS SOPS 116409 HAS SOUS 57400 HAS SOUPS 54893 WITH SCORE 55017.839
AT ITER 1636 NEW BEST:: SOT 232976 SOS 124803 HAS SOPS 116373 HAS SOUS 57391 HAS SOUPS 54884 WITH SCORE 55008.803
AT ITER 1645 NEW BEST:: SOT 232976 SOS 124799 HAS SOPS 116369 HAS SOUS 57389 HAS SOUPS 54882 WITH SCORE 55006.799
AT ITER 1650 NEW BEST:: SOT 232985 SOS 124710 HAS SOPS 116280 HAS SOUS 57329 HAS SOUPS 54822 WITH SCORE 54946.71
AT ITER 1655 NEW BEST:: SOT 232985 SOS 124558 HAS SOPS 116318 HAS SOUS 57230 HAS SOUPS 54818 WITH SCORE 54942.558
AT ITER 1656 NEW BEST:: SOT 232985 SOS 124516 HAS SOPS 116276 HAS SOUS 57220 HAS SOUPS 54808 WITH SCORE 54932.516
AT ITER 1671 NEW BEST:: SOT 232933 SOS 124464 HAS SOPS 116224 HAS SOUS 57168 HAS SOUPS 54756 WITH SCORE 54880.464
AT ITER 1675 NEW BEST:: SOT 232933 SOS 124330 HAS SOPS 115932 HAS SOUS 57107 HAS SOUPS 54616 WITH SCORE 54740.33
AT ITER 1677 NEW BEST:: SOT 232933 SOS 124282 HAS SOPS 115884 HAS SOUS 57028 HAS SOUPS 54537 WITH SCORE 54661.282
AT ITER 1682 NEW BEST:: SOT 232933 SOS 124266 HAS SOPS 115868 HAS SOUS 57010 HAS SOUPS 54519 WITH SCORE 54643.266
AT ITER 1701 NEW BEST:: SOT 232933 SOS 124264 HAS SOPS 115866 HAS SOUS 57009 HAS SOUPS 54518 WITH SCORE 54642.264
AT ITER 1715 NEW BEST:: SOT 232924 SOS 124129 HAS SOPS 115731 HAS SOUS 56914 HAS SOUPS 54423 WITH SCORE 54547.129
AT ITER 1716 NEW BEST:: SOT 232894 SOS 124099 HAS SOPS 115657 HAS SOUS 56886 HAS SOUPS 54395 WITH SCORE 54519.099
AT ITER 1728 NEW BEST:: SOT 232894 SOS 124035 HAS SOPS 115593 HAS SOUS 56870 HAS SOUPS 54379 WITH SCORE 54503.035
AT ITER 1735 NEW BEST:: SOT 232664 SOS 125326 HAS SOPS 117005 HAS SOUS 56747 HAS SOUPS 54256 WITH SCORE 54381.326
AT ITER 1745 NEW BEST:: SOT 232646 SOS 125254 HAS SOPS 116933 HAS SOUS 56711 HAS SOUPS 54220 WITH SCORE 54345.254
AT ITER 1746 NEW BEST:: SOT 232646 SOS 125238 HAS SOPS 116917 HAS SOUS 56695 HAS SOUPS 54204 WITH SCORE 54329.238
AT ITER 1749 NEW BEST:: SOT 232646 SOS 125169 HAS SOPS 116848 HAS SOUS 56695 HAS SOUPS 54204 WITH SCORE 54329.169
AT ITER 1764 NEW BEST:: SOT 232646 SOS 125201 HAS SOPS 116864 HAS SOUS 56671 HAS SOUPS 54180 WITH SCORE 54305.201
AT ITER 1766 NEW BEST:: SOT 232640 SOS 125145 HAS SOPS 116802 HAS SOUS 56630 HAS SOUPS 54139 WITH SCORE 54264.145
AT ITER 1778 NEW BEST:: SOT 232640 SOS 125129 HAS SOPS 116786 HAS SOUS 56626 HAS SOUPS 54135 WITH SCORE 54260.129
AT ITER 1789 NEW BEST:: SOT 232640 SOS 125129 HAS SOPS 116775 HAS SOUS 56562 HAS SOUPS 54071 WITH SCORE 54196.129
AT ITER 1795 NEW BEST:: SOT 232640 SOS 124993 HAS SOPS 116503 HAS SOUS 56608 HAS SOUPS 54049 WITH SCORE 54173.993
AT ITER 1812 NEW BEST:: SOT 232640 SOS 125001 HAS SOPS 116511 HAS SOUS 56578 HAS SOUPS 54019 WITH SCORE 54144.001
AT ITER 1814 NEW BEST:: SOT 232640 SOS 125001 HAS SOPS 116511 HAS SOUS 56562 HAS SOUPS 54003 WITH SCORE 54128.001
AT ITER 1820 NEW BEST:: SOT 232644 SOS 125109 HAS SOPS 116486 HAS SOUS 56622 HAS SOUPS 53993 WITH SCORE 54118.109
AT ITER 1832 NEW BEST:: SOT 232644 SOS 125005 HAS SOPS 116382 HAS SOUS 56570 HAS SOUPS 53941 WITH SCORE 54066.005
AT ITER 1853 NEW BEST:: SOT 232644 SOS 124955 HAS SOPS 116332 HAS SOUS 56550 HAS SOUPS 53921 WITH SCORE 54045.955
AT ITER 1860 NEW BEST:: SOT 232644 SOS 124795 HAS SOPS 116172 HAS SOUS 56524 HAS SOUPS 53895 WITH SCORE 54019.795
AT ITER 1877 NEW BEST:: SOT 232644 SOS 124659 HAS SOPS 116036 HAS SOUS 56504 HAS SOUPS 53875 WITH SCORE 53999.659
AT ITER 1881 NEW BEST:: SOT 232644 SOS 124659 HAS SOPS 115986 HAS SOUS 56516 HAS SOUPS 53862 WITH SCORE 53986.659
AT ITER 1886 NEW BEST:: SOT 232644 SOS 124551 HAS SOPS 115878 HAS SOUS 56516 HAS SOUPS 53862 WITH SCORE 53986.551
AT ITER 1896 NEW BEST:: SOT 232644 SOS 124443 HAS SOPS 115668 HAS SOUS 56529 HAS SOUPS 53824 WITH SCORE 53948.443
AT ITER 1907 NEW BEST:: SOT 232686 SOS 124068 HAS SOPS 115176 HAS SOUS 56365 HAS SOUPS 53660 WITH SCORE 53784.068
AT ITER 1909 NEW BEST:: SOT 232686 SOS 124038 HAS SOPS 115146 HAS SOUS 56350 HAS SOUPS 53645 WITH SCORE 53769.038
AT ITER 1913 NEW BEST:: SOT 232686 SOS 123882 HAS SOPS 115146 HAS SOUS 56272 HAS SOUPS 53645 WITH SCORE 53768.882
AT ITER 1916 NEW BEST:: SOT 232686 SOS 123730 HAS SOPS 114994 HAS SOUS 56196 HAS SOUPS 53569 WITH SCORE 53692.73
AT ITER 1919 NEW BEST:: SOT 232686 SOS 123738 HAS SOPS 114978 HAS SOUS 56196 HAS SOUPS 53561 WITH SCORE 53684.738
AT ITER 1949 NEW BEST:: SOT 232686 SOS 123738 HAS SOPS 114974 HAS SOUS 56196 HAS SOUPS 53559 WITH SCORE 53682.738
AT ITER 1954 NEW BEST:: SOT 232686 SOS 123675 HAS SOPS 114911 HAS SOUS 56196 HAS SOUPS 53559 WITH SCORE 53682.675
AT ITER 1956 NEW BEST:: SOT 232686 SOS 123579 HAS SOPS 114815 HAS SOUS 56172 HAS SOUPS 53535 WITH SCORE 53658.579
AT ITER 1963 NEW BEST:: SOT 232680 SOS 123683 HAS SOPS 114919 HAS SOUS 56117 HAS SOUPS 53480 WITH SCORE 53603.683
AT ITER 1969 NEW BEST:: SOT 232624 SOS 123609 HAS SOPS 114789 HAS SOUS 56108 HAS SOUPS 53443 WITH SCORE 53566.609
AT ITER 1980 NEW BEST:: SOT 232626 SOS 123611 HAS SOPS 114783 HAS SOUS 56100 HAS SOUPS 53435 WITH SCORE 53558.611
AT ITER 1982 NEW BEST:: SOT 232622 SOS 123454 HAS SOPS 114622 HAS SOUS 56054 HAS SOUPS 53389 WITH SCORE 53512.454
AT ITER 1989 NEW BEST:: SOT 232622 SOS 123446 HAS SOPS 114614 HAS SOUS 56052 HAS SOUPS 53387 WITH SCORE 53510.446
AT ITER 2000 NEW BEST:: SOT 232600 SOS 123424 HAS SOPS 114592 HAS SOUS 56052 HAS SOUPS 53387 WITH SCORE 53510.424
AT ITER 2009 NEW BEST:: SOT 232600 SOS 123276 HAS SOPS 114444 HAS SOUS 55978 HAS SOUPS 53313 WITH SCORE 53436.276
AT ITER 2022 NEW BEST:: SOT 232646 SOS 120478 HAS SOPS 112604 HAS SOUS 55938 HAS SOUPS 53273 WITH SCORE 53393.478
AT ITER 2031 NEW BEST:: SOT 232574 SOS 120262 HAS SOPS 112388 HAS SOUS 55788 HAS SOUPS 53123 WITH SCORE 53243.262
AT ITER 2032 NEW BEST:: SOT 232568 SOS 120256 HAS SOPS 112388 HAS SOUS 55788 HAS SOUPS 53123 WITH SCORE 53243.256
AT ITER 2039 NEW BEST:: SOT 232568 SOS 120264 HAS SOPS 112396 HAS SOUS 55780 HAS SOUPS 53115 WITH SCORE 53235.264
AT ITER 2040 NEW BEST:: SOT 232568 SOS 119784 HAS SOPS 111916 HAS SOUS 55720 HAS SOUPS 53055 WITH SCORE 53174.784
AT ITER 2042 NEW BEST:: SOT 232568 SOS 119752 HAS SOPS 111884 HAS SOUS 55720 HAS SOUPS 53055 WITH SCORE 53174.752
AT ITER 2052 NEW BEST:: SOT 232568 SOS 119742 HAS SOPS 111874 HAS SOUS 55718 HAS SOUPS 53053 WITH SCORE 53172.742
AT ITER 2060 NEW BEST:: SOT 232568 SOS 119662 HAS SOPS 111794 HAS SOUS 55678 HAS SOUPS 53013 WITH SCORE 53132.662
AT ITER 2068 NEW BEST:: SOT 232568 SOS 119684 HAS SOPS 111816 HAS SOUS 55675 HAS SOUPS 53010 WITH SCORE 53129.684
AT ITER 2069 NEW BEST:: SOT 232568 SOS 119662 HAS SOPS 111794 HAS SOUS 55675 HAS SOUPS 53010 WITH SCORE 53129.662
AT ITER 2071 NEW BEST:: SOT 232572 SOS 119666 HAS SOPS 111782 HAS SOUS 55679 HAS SOUPS 52998 WITH SCORE 53117.666
AT ITER 2073 NEW BEST:: SOT 232572 SOS 119638 HAS SOPS 111754 HAS SOUS 55667 HAS SOUPS 52986 WITH SCORE 53105.638
AT ITER 2077 NEW BEST:: SOT 232572 SOS 119864 HAS SOPS 111980 HAS SOUS 55648 HAS SOUPS 52967 WITH SCORE 53086.864
AT ITER 2078 NEW BEST:: SOT 232572 SOS 119816 HAS SOPS 111932 HAS SOUS 55624 HAS SOUPS 52943 WITH SCORE 53062.816
AT ITER 2082 NEW BEST:: SOT 232572 SOS 120074 HAS SOPS 112190 HAS SOUS 55620 HAS SOUPS 52939 WITH SCORE 53059.074
AT ITER 2091 NEW BEST:: SOT 232576 SOS 119503 HAS SOPS 111844 HAS SOUS 55554 HAS SOUPS 52888 WITH SCORE 53007.503
AT ITER 2100 NEW BEST:: SOT 232576 SOS 119359 HAS SOPS 111700 HAS SOUS 55518 HAS SOUPS 52852 WITH SCORE 52971.359
AT ITER 2109 NEW BEST:: SOT 232576 SOS 119359 HAS SOPS 111682 HAS SOUS 55518 HAS SOUPS 52843 WITH SCORE 52962.359
AT ITER 2153 NEW BEST:: SOT 232576 SOS 119093 HAS SOPS 111416 HAS SOUS 55426 HAS SOUPS 52751 WITH SCORE 52870.093
AT ITER 2154 NEW BEST:: SOT 232576 SOS 118980 HAS SOPS 111303 HAS SOUS 55426 HAS SOUPS 52751 WITH SCORE 52869.98
AT ITER 2170 NEW BEST:: SOT 232576 SOS 118970 HAS SOPS 111293 HAS SOUS 55370 HAS SOUPS 52695 WITH SCORE 52813.97
AT ITER 2171 NEW BEST:: SOT 232682 SOS 119100 HAS SOPS 111431 HAS SOUS 55356 HAS SOUPS 52681 WITH SCORE 52800.1
AT ITER 2175 NEW BEST:: SOT 232682 SOS 118992 HAS SOPS 111377 HAS SOUS 55302 HAS SOUPS 52654 WITH SCORE 52772.992
AT ITER 2188 NEW BEST:: SOT 232682 SOS 118906 HAS SOPS 111291 HAS SOUS 55302 HAS SOUPS 52654 WITH SCORE 52772.906
AT ITER 2207 NEW BEST:: SOT 232682 SOS 118830 HAS SOPS 111215 HAS SOUS 55270 HAS SOUPS 52622 WITH SCORE 52740.83
AT ITER 2209 NEW BEST:: SOT 232682 SOS 118682 HAS SOPS 111169 HAS SOUS 55149 HAS SOUPS 52552 WITH SCORE 52670.682
AT ITER 2213 NEW BEST:: SOT 232682 SOS 118350 HAS SOPS 110837 HAS SOUS 55066 HAS SOUPS 52469 WITH SCORE 52587.35
AT ITER 2215 NEW BEST:: SOT 232682 SOS 118158 HAS SOPS 110709 HAS SOUS 54970 HAS SOUPS 52405 WITH SCORE 52523.158
AT ITER 2233 NEW BEST:: SOT 232682 SOS 118150 HAS SOPS 110693 HAS SOUS 54970 HAS SOUPS 52401 WITH SCORE 52519.15
AT ITER 2237 NEW BEST:: SOT 232530 SOS 118266 HAS SOPS 110963 HAS SOUS 54963 HAS SOUPS 52394 WITH SCORE 52512.266
AT ITER 2241 NEW BEST:: SOT 232530 SOS 118252 HAS SOPS 110949 HAS SOUS 54956 HAS SOUPS 52387 WITH SCORE 52505.252
AT ITER 2251 NEW BEST:: SOT 232530 SOS 118188 HAS SOPS 110885 HAS SOUS 54954 HAS SOUPS 52385 WITH SCORE 52503.188
AT ITER 2253 NEW BEST:: SOT 232530 SOS 118146 HAS SOPS 110843 HAS SOUS 54921 HAS SOUPS 52352 WITH SCORE 52470.146
AT ITER 2261 NEW BEST:: SOT 232564 SOS 117262 HAS SOPS 110316 HAS SOUS 54789 HAS SOUPS 52245 WITH SCORE 52362.262
AT ITER 2265 NEW BEST:: SOT 232666 SOS 117364 HAS SOPS 110394 HAS SOUS 54753 HAS SOUPS 52209 WITH SCORE 52326.364
AT ITER 2275 NEW BEST:: SOT 232630 SOS 117257 HAS SOPS 110367 HAS SOUS 54659 HAS SOUPS 52166 WITH SCORE 52283.257
AT ITER 2293 NEW BEST:: SOT 232630 SOS 117012 HAS SOPS 110122 HAS SOUS 54605 HAS SOUPS 52112 WITH SCORE 52229.012
AT ITER 2327 NEW BEST:: SOT 232630 SOS 117068 HAS SOPS 110138 HAS SOUS 54565 HAS SOUPS 52072 WITH SCORE 52189.068
AT ITER 2334 NEW BEST:: SOT 232634 SOS 117111 HAS SOPS 110159 HAS SOUS 54561 HAS SOUPS 52068 WITH SCORE 52185.111
AT ITER 2339 NEW BEST:: SOT 228636 SOS 113515 HAS SOPS 106161 HAS SOUS 50576 HAS SOUPS 48070 WITH SCORE 48183.515
AT ITER 2363 NEW BEST:: SOT 228564 SOS 113514 HAS SOPS 106178 HAS SOUS 50456 HAS SOUPS 47950 WITH SCORE 48063.514
AT ITER 2373 NEW BEST:: SOT 228564 SOS 113502 HAS SOPS 106136 HAS SOUS 50435 HAS SOUPS 47914 WITH SCORE 48027.502
AT ITER 2381 NEW BEST:: SOT 228564 SOS 113502 HAS SOPS 106136 HAS SOUS 50321 HAS SOUPS 47800 WITH SCORE 47913.502
AT ITER 2391 NEW BEST:: SOT 228564 SOS 113481 HAS SOPS 106115 HAS SOUS 50299 HAS SOUPS 47778 WITH SCORE 47891.481
AT ITER 2393 NEW BEST:: SOT 228564 SOS 113449 HAS SOPS 106083 HAS SOUS 50291 HAS SOUPS 47770 WITH SCORE 47883.449
AT ITER 2398 NEW BEST:: SOT 228570 SOS 113475 HAS SOPS 106095 HAS SOUS 50273 HAS SOUPS 47752 WITH SCORE 47865.475
AT ITER 2423 NEW BEST:: SOT 228560 SOS 113413 HAS SOPS 105980 HAS SOUS 50223 HAS SOUPS 47677 WITH SCORE 47790.413
AT ITER 2424 NEW BEST:: SOT 228560 SOS 113391 HAS SOPS 105958 HAS SOUS 50212 HAS SOUPS 47666 WITH SCORE 47779.391
AT ITER 2437 NEW BEST:: SOT 228560 SOS 113355 HAS SOPS 105922 HAS SOUS 50212 HAS SOUPS 47666 WITH SCORE 47779.355
AT ITER 2443 NEW BEST:: SOT 228560 SOS 113663 HAS SOPS 106050 HAS SOUS 50284 HAS SOUPS 47648 WITH SCORE 47761.663
AT ITER 2451 NEW BEST:: SOT 228560 SOS 112203 HAS SOPS 104590 HAS SOUS 50280 HAS SOUPS 47644 WITH SCORE 47756.203
AT ITER 2452 NEW BEST:: SOT 228586 SOS 111781 HAS SOPS 104337 HAS SOUS 50256 HAS SOUPS 47633 WITH SCORE 47744.781
AT ITER 2453 NEW BEST:: SOT 228586 SOS 111771 HAS SOPS 104327 HAS SOUS 50251 HAS SOUPS 47628 WITH SCORE 47739.771
AT ITER 2466 NEW BEST:: SOT 228586 SOS 111681 HAS SOPS 104293 HAS SOUS 50251 HAS SOUPS 47628 WITH SCORE 47739.681
AT ITER 2500 NEW BEST:: SOT 228586 SOS 111673 HAS SOPS 104285 HAS SOUS 50249 HAS SOUPS 47626 WITH SCORE 47737.673
AT ITER 2518 NEW BEST:: SOT 228586 SOS 111657 HAS SOPS 104269 HAS SOUS 50241 HAS SOUPS 47618 WITH SCORE 47729.657
AT ITER 2563 NEW BEST:: SOT 228586 SOS 111655 HAS SOPS 104267 HAS SOUS 50228 HAS SOUPS 47605 WITH SCORE 47716.655
AT ITER 2564 NEW BEST:: SOT 228586 SOS 111863 HAS SOPS 104167 HAS SOUS 50327 HAS SOUPS 47550 WITH SCORE 47661.863
AT ITER 2565 NEW BEST:: SOT 228586 SOS 111839 HAS SOPS 104155 HAS SOUS 50323 HAS SOUPS 47546 WITH SCORE 47657.839
AT ITER 2586 NEW BEST:: SOT 228586 SOS 111797 HAS SOPS 104113 HAS SOUS 50320 HAS SOUPS 47543 WITH SCORE 47654.797
AT ITER 2598 NEW BEST:: SOT 228586 SOS 111775 HAS SOPS 104091 HAS SOUS 50309 HAS SOUPS 47532 WITH SCORE 47643.775
AT ITER 2602 NEW BEST:: SOT 228586 SOS 111775 HAS SOPS 104091 HAS SOUS 50303 HAS SOUPS 47526 WITH SCORE 47637.775
AT ITER 2607 NEW BEST:: SOT 228586 SOS 111723 HAS SOPS 104091 HAS SOUS 50277 HAS SOUPS 47526 WITH SCORE 47637.723
AT ITER 2618 NEW BEST:: SOT 228586 SOS 111347 HAS SOPS 103715 HAS SOUS 50183 HAS SOUPS 47432 WITH SCORE 47543.347
AT ITER 2623 NEW BEST:: SOT 228586 SOS 111343 HAS SOPS 103711 HAS SOUS 50181 HAS SOUPS 47430 WITH SCORE 47541.343
AT ITER 2626 NEW BEST:: SOT 228586 SOS 111333 HAS SOPS 103807 HAS SOUS 50128 HAS SOUPS 47430 WITH SCORE 47541.333
AT ITER 2642 NEW BEST:: SOT 230127 SOS 112662 HAS SOPS 105356 HAS SOUS 50029 HAS SOUPS 47337 WITH SCORE 47449.662
AT ITER 2650 NEW BEST:: SOT 230127 SOS 112614 HAS SOPS 105308 HAS SOUS 50017 HAS SOUPS 47325 WITH SCORE 47437.614
AT ITER 2666 NEW BEST:: SOT 230072 SOS 112505 HAS SOPS 105201 HAS SOUS 49895 HAS SOUPS 47203 WITH SCORE 47315.505
AT ITER 2683 NEW BEST:: SOT 230072 SOS 112505 HAS SOPS 105201 HAS SOUS 49886 HAS SOUPS 47194 WITH SCORE 47306.505
AT ITER 2695 NEW BEST:: SOT 230072 SOS 112565 HAS SOPS 105261 HAS SOUS 49881 HAS SOUPS 47189 WITH SCORE 47301.565
AT ITER 2738 NEW BEST:: SOT 230072 SOS 112565 HAS SOPS 105249 HAS SOUS 49881 HAS SOUPS 47183 WITH SCORE 47295.565
AT ITER 2760 NEW BEST:: SOT 230072 SOS 112459 HAS SOPS 105193 HAS SOUS 49881 HAS SOUPS 47183 WITH SCORE 47295.459
AT ITER 2775 NEW BEST:: SOT 230072 SOS 112307 HAS SOPS 105041 HAS SOUS 49875 HAS SOUPS 47177 WITH SCORE 47289.307
AT ITER 2787 NEW BEST:: SOT 230072 SOS 112299 HAS SOPS 105033 HAS SOUS 49871 HAS SOUPS 47173 WITH SCORE 47285.299
AT ITER 2791 NEW BEST:: SOT 230072 SOS 112275 HAS SOPS 104855 HAS SOUS 49929 HAS SOUPS 47154 WITH SCORE 47266.275
AT ITER 2820 NEW BEST:: SOT 230006 SOS 112119 HAS SOPS 104699 HAS SOUS 49884 HAS SOUPS 47109 WITH SCORE 47221.119
AT ITER 2829 NEW BEST:: SOT 230006 SOS 112069 HAS SOPS 104649 HAS SOUS 49884 HAS SOUPS 47109 WITH SCORE 47221.069
AT ITER 2850 NEW BEST:: SOT 230006 SOS 111721 HAS SOPS 104301 HAS SOUS 49828 HAS SOUPS 47053 WITH SCORE 47164.721
AT ITER 2863 NEW BEST:: SOT 230276 SOS 111459 HAS SOPS 103873 HAS SOUS 49647 HAS SOUPS 46872 WITH SCORE 46983.459
AT ITER 2893 NEW BEST:: SOT 230276 SOS 111419 HAS SOPS 103855 HAS SOUS 49627 HAS SOUPS 46863 WITH SCORE 46974.419
AT ITER 2895 NEW BEST:: SOT 230276 SOS 111371 HAS SOPS 103807 HAS SOUS 49579 HAS SOUPS 46815 WITH SCORE 46926.371
AT ITER 2912 NEW BEST:: SOT 230276 SOS 111421 HAS SOPS 103857 HAS SOUS 49570 HAS SOUPS 46806 WITH SCORE 46917.421
AT ITER 2917 NEW BEST:: SOT 228271 SOS 109723 HAS SOPS 101862 HAS SOUS 49183 HAS SOUPS 46429 WITH SCORE 46538.723
AT ITER 2925 NEW BEST:: SOT 228271 SOS 109703 HAS SOPS 101842 HAS SOUS 49154 HAS SOUPS 46400 WITH SCORE 46509.703
AT ITER 2931 NEW BEST:: SOT 228271 SOS 109701 HAS SOPS 101840 HAS SOUS 49153 HAS SOUPS 46399 WITH SCORE 46508.701
AT ITER 2947 NEW BEST:: SOT 228271 SOS 109701 HAS SOPS 101840 HAS SOUS 49145 HAS SOUPS 46391 WITH SCORE 46500.701
AT ITER 2953 NEW BEST:: SOT 228245 SOS 109611 HAS SOPS 101698 HAS SOUS 48984 HAS SOUPS 46230 WITH SCORE 46339.611
AT ITER 2971 NEW BEST:: SOT 228261 SOS 109368 HAS SOPS 101554 HAS SOUS 48891 HAS SOUPS 46145 WITH SCORE 46254.368
AT ITER 2973 NEW BEST:: SOT 228261 SOS 109249 HAS SOPS 101474 HAS SOUS 48871 HAS SOUPS 46125 WITH SCORE 46234.249
AT ITER 2979 NEW BEST:: SOT 228261 SOS 109224 HAS SOPS 101449 HAS SOUS 48867 HAS SOUPS 46121 WITH SCORE 46230.224
AT ITER 2981 NEW BEST:: SOT 228261 SOS 109172 HAS SOPS 101479 HAS SOUS 48811 HAS SOUPS 46106 WITH SCORE 46215.172
AT ITER 2991 NEW BEST:: SOT 228261 SOS 109112 HAS SOPS 101419 HAS SOUS 48796 HAS SOUPS 46091 WITH SCORE 46200.112
AT ITER 3000 NEW BEST:: SOT 228261 SOS 109118 HAS SOPS 101415 HAS SOUS 48800 HAS SOUPS 46090 WITH SCORE 46199.118
AT ITER 3004 NEW BEST:: SOT 228261 SOS 109082 HAS SOPS 101379 HAS SOUS 48786 HAS SOUPS 46076 WITH SCORE 46185.082
AT ITER 3006 NEW BEST:: SOT 228261 SOS 109062 HAS SOPS 101359 HAS SOUS 48780 HAS SOUPS 46070 WITH SCORE 46179.062
AT ITER 3025 NEW BEST:: SOT 228261 SOS 108950 HAS SOPS 101247 HAS SOUS 48726 HAS SOUPS 46016 WITH SCORE 46124.95
AT ITER 3038 NEW BEST:: SOT 228261 SOS 108946 HAS SOPS 101243 HAS SOUS 48724 HAS SOUPS 46014 WITH SCORE 46122.946
AT ITER 3056 NEW BEST:: SOT 228251 SOS 108921 HAS SOPS 101218 HAS SOUS 48714 HAS SOUPS 46004 WITH SCORE 46112.921
AT ITER 3061 NEW BEST:: SOT 228251 SOS 108911 HAS SOPS 101208 HAS SOUS 48709 HAS SOUPS 45999 WITH SCORE 46107.911
AT ITER 3066 NEW BEST:: SOT 228297 SOS 108957 HAS SOPS 101254 HAS SOUS 48701 HAS SOUPS 45991 WITH SCORE 46099.957
AT ITER 3091 NEW BEST:: SOT 228297 SOS 108957 HAS SOPS 101245 HAS SOUS 48699 HAS SOUPS 45989 WITH SCORE 46097.957
AT ITER 3106 NEW BEST:: SOT 228297 SOS 108931 HAS SOPS 101219 HAS SOUS 48694 HAS SOUPS 45984 WITH SCORE 46092.931
AT ITER 3117 NEW BEST:: SOT 228297 SOS 108885 HAS SOPS 101173 HAS SOUS 48694 HAS SOUPS 45984 WITH SCORE 46092.885
AT ITER 3139 NEW BEST:: SOT 228295 SOS 108777 HAS SOPS 101065 HAS SOUS 48664 HAS SOUPS 45954 WITH SCORE 46062.777
AT ITER 3146 NEW BEST:: SOT 228295 SOS 108733 HAS SOPS 101021 HAS SOUS 48642 HAS SOUPS 45932 WITH SCORE 46040.733
AT ITER 3155 NEW BEST:: SOT 228295 SOS 108701 HAS SOPS 100989 HAS SOUS 48626 HAS SOUPS 45916 WITH SCORE 46024.701
AT ITER 3169 NEW BEST:: SOT 228295 SOS 108375 HAS SOPS 100663 HAS SOUS 48601 HAS SOUPS 45891 WITH SCORE 45999.375
AT ITER 3177 NEW BEST:: SOT 228295 SOS 108475 HAS SOPS 100763 HAS SOUS 48525 HAS SOUPS 45815 WITH SCORE 45923.475
AT ITER 3188 NEW BEST:: SOT 228267 SOS 108391 HAS SOPS 100651 HAS SOUS 48511 HAS SOUPS 45787 WITH SCORE 45895.391
AT ITER 3194 NEW BEST:: SOT 228267 SOS 108311 HAS SOPS 100571 HAS SOUS 48497 HAS SOUPS 45773 WITH SCORE 45881.311
AT ITER 3198 NEW BEST:: SOT 228267 SOS 108311 HAS SOPS 100573 HAS SOUS 48495 HAS SOUPS 45772 WITH SCORE 45880.311
AT ITER 3199 NEW BEST:: SOT 228267 SOS 108303 HAS SOPS 100661 HAS SOUS 48447 HAS SOUPS 45772 WITH SCORE 45880.303
AT ITER 3200 NEW BEST:: SOT 228267 SOS 108141 HAS SOPS 100499 HAS SOUS 48371 HAS SOUPS 45696 WITH SCORE 45804.141
AT ITER 3205 NEW BEST:: SOT 228267 SOS 108039 HAS SOPS 100397 HAS SOUS 48357 HAS SOUPS 45682 WITH SCORE 45790.039
AT ITER 3209 NEW BEST:: SOT 228267 SOS 108067 HAS SOPS 100383 HAS SOUS 48346 HAS SOUPS 45671 WITH SCORE 45779.067
AT ITER 3232 NEW BEST:: SOT 228132 SOS 107932 HAS SOPS 100248 HAS SOUS 48271 HAS SOUPS 45596 WITH SCORE 45703.932
AT ITER 3252 NEW BEST:: SOT 228132 SOS 107642 HAS SOPS 99958 HAS SOUS 48257 HAS SOUPS 45582 WITH SCORE 45689.642
AT ITER 3253 NEW BEST:: SOT 228113 SOS 107623 HAS SOPS 99991 HAS SOUS 48196 HAS SOUPS 45549 WITH SCORE 45656.623
AT ITER 3260 NEW BEST:: SOT 228113 SOS 107463 HAS SOPS 99831 HAS SOUS 48196 HAS SOUPS 45549 WITH SCORE 45656.463
AT ITER 3288 NEW BEST:: SOT 228113 SOS 107343 HAS SOPS 99711 HAS SOUS 48192 HAS SOUPS 45545 WITH SCORE 45652.343
AT ITER 3294 NEW BEST:: SOT 228113 SOS 107338 HAS SOPS 99696 HAS SOUS 48197 HAS SOUPS 45545 WITH SCORE 45652.338
AT ITER 3317 NEW BEST:: SOT 228113 SOS 107086 HAS SOPS 99444 HAS SOUS 48175 HAS SOUPS 45523 WITH SCORE 45630.086
AT ITER 3326 NEW BEST:: SOT 228113 SOS 107080 HAS SOPS 99438 HAS SOUS 48172 HAS SOUPS 45520 WITH SCORE 45627.08
AT ITER 3365 NEW BEST:: SOT 228113 SOS 105690 HAS SOPS 98048 HAS SOUS 48092 HAS SOUPS 45440 WITH SCORE 45545.69
AT ITER 3414 NEW BEST:: SOT 228113 SOS 105660 HAS SOPS 98018 HAS SOUS 48092 HAS SOUPS 45440 WITH SCORE 45545.66
AT ITER 3418 NEW BEST:: SOT 228113 SOS 105518 HAS SOPS 97876 HAS SOUS 48069 HAS SOUPS 45417 WITH SCORE 45522.518
AT ITER 3424 NEW BEST:: SOT 228093 SOS 105498 HAS SOPS 97812 HAS SOUS 47977 HAS SOUPS 45301 WITH SCORE 45406.498
AT ITER 3437 NEW BEST:: SOT 228093 SOS 105474 HAS SOPS 97788 HAS SOUS 47977 HAS SOUPS 45301 WITH SCORE 45406.474
AT ITER 3452 NEW BEST:: SOT 228093 SOS 105422 HAS SOPS 97736 HAS SOUS 47977 HAS SOUPS 45301 WITH SCORE 45406.422
AT ITER 3457 NEW BEST:: SOT 228095 SOS 105400 HAS SOPS 97712 HAS SOUS 47977 HAS SOUPS 45301 WITH SCORE 45406.4
AT ITER 3465 NEW BEST:: SOT 228095 SOS 105570 HAS SOPS 97882 HAS SOUS 47947 HAS SOUPS 45271 WITH SCORE 45376.57
AT ITER 3479 NEW BEST:: SOT 228095 SOS 105526 HAS SOPS 97772 HAS SOUS 47958 HAS SOUPS 45249 WITH SCORE 45354.526
AT ITER 3482 NEW BEST:: SOT 228095 SOS 105768 HAS SOPS 98014 HAS SOUS 47948 HAS SOUPS 45239 WITH SCORE 45344.768
AT ITER 3488 NEW BEST:: SOT 228095 SOS 105686 HAS SOPS 97932 HAS SOUS 47914 HAS SOUPS 45205 WITH SCORE 45310.686
AT ITER 3517 NEW BEST:: SOT 228095 SOS 105684 HAS SOPS 97932 HAS SOUS 47913 HAS SOUPS 45205 WITH SCORE 45310.684
AT ITER 3546 NEW BEST:: SOT 228095 SOS 105682 HAS SOPS 97930 HAS SOUS 47912 HAS SOUPS 45204 WITH SCORE 45309.682
AT ITER 3566 NEW BEST:: SOT 227867 SOS 105454 HAS SOPS 97738 HAS SOUS 47904 HAS SOUPS 45196 WITH SCORE 45301.454
AT ITER 3574 NEW BEST:: SOT 227867 SOS 105444 HAS SOPS 97728 HAS SOUS 47899 HAS SOUPS 45191 WITH SCORE 45296.444
AT ITER 3581 NEW BEST:: SOT 227993 SOS 105570 HAS SOPS 97784 HAS SOUS 47859 HAS SOUPS 45151 WITH SCORE 45256.57
AT ITER 3582 NEW BEST:: SOT 228021 SOS 105598 HAS SOPS 97786 HAS SOUS 47841 HAS SOUPS 45133 WITH SCORE 45238.598
AT ITER 3583 NEW BEST:: SOT 228021 SOS 105582 HAS SOPS 97778 HAS SOUS 47833 HAS SOUPS 45129 WITH SCORE 45234.582
AT ITER 3587 NEW BEST:: SOT 224053 SOS 102553 HAS SOPS 93898 HAS SOUS 47042 HAS SOUPS 44345 WITH SCORE 44447.553
AT ITER 3590 NEW BEST:: SOT 224079 SOS 102579 HAS SOPS 93924 HAS SOUS 47016 HAS SOUPS 44319 WITH SCORE 44421.579
AT ITER 3606 NEW BEST:: SOT 224083 SOS 102639 HAS SOPS 93984 HAS SOUS 46956 HAS SOUPS 44259 WITH SCORE 44361.639
AT ITER 3619 NEW BEST:: SOT 224122 SOS 102615 HAS SOPS 93687 HAS SOUS 46851 HAS SOUPS 44154 WITH SCORE 44256.615
AT ITER 3632 NEW BEST:: SOT 224102 SOS 102595 HAS SOPS 93671 HAS SOUS 46847 HAS SOUPS 44150 WITH SCORE 44252.595
AT ITER 3646 NEW BEST:: SOT 224102 SOS 102599 HAS SOPS 93679 HAS SOUS 46843 HAS SOUPS 44148 WITH SCORE 44250.599
AT ITER 3652 NEW BEST:: SOT 224102 SOS 102593 HAS SOPS 93673 HAS SOUS 46840 HAS SOUPS 44145 WITH SCORE 44247.593
AT ITER 3671 NEW BEST:: SOT 224102 SOS 102569 HAS SOPS 93649 HAS SOUS 46840 HAS SOUPS 44145 WITH SCORE 44247.569
AT ITER 3672 NEW BEST:: SOT 224102 SOS 102383 HAS SOPS 93463 HAS SOUS 46814 HAS SOUPS 44119 WITH SCORE 44221.383
AT ITER 3673 NEW BEST:: SOT 224102 SOS 102373 HAS SOPS 93463 HAS SOUS 46801 HAS SOUPS 44111 WITH SCORE 44213.373
AT ITER 3707 NEW BEST:: SOT 224102 SOS 102325 HAS SOPS 93415 HAS SOUS 46777 HAS SOUPS 44087 WITH SCORE 44189.325
AT ITER 3711 NEW BEST:: SOT 224102 SOS 102323 HAS SOPS 93413 HAS SOUS 46754 HAS SOUPS 44064 WITH SCORE 44166.323
AT ITER 3713 NEW BEST:: SOT 224102 SOS 102305 HAS SOPS 93395 HAS SOUS 46745 HAS SOUPS 44055 WITH SCORE 44157.305
AT ITER 3725 NEW BEST:: SOT 224102 SOS 102303 HAS SOPS 93371 HAS SOUS 46755 HAS SOUPS 44054 WITH SCORE 44156.303
AT ITER 3754 NEW BEST:: SOT 224064 SOS 102259 HAS SOPS 93031 HAS SOUS 46635 HAS SOUPS 43934 WITH SCORE 44036.259
AT ITER 3768 NEW BEST:: SOT 224066 SOS 102081 HAS SOPS 92853 HAS SOUS 46499 HAS SOUPS 43798 WITH SCORE 43900.081
AT ITER 3778 NEW BEST:: SOT 224066 SOS 102171 HAS SOPS 92943 HAS SOUS 46467 HAS SOUPS 43766 WITH SCORE 43868.171
AT ITER 3787 NEW BEST:: SOT 224040 SOS 102154 HAS SOPS 92913 HAS SOUS 46298 HAS SOUPS 43597 WITH SCORE 43699.154
AT ITER 3796 NEW BEST:: SOT 224040 SOS 102126 HAS SOPS 92855 HAS SOUS 46299 HAS SOUPS 43583 WITH SCORE 43685.126
AT ITER 3806 NEW BEST:: SOT 224040 SOS 102120 HAS SOPS 92849 HAS SOUS 46254 HAS SOUPS 43538 WITH SCORE 43640.12
AT ITER 3816 NEW BEST:: SOT 223994 SOS 102074 HAS SOPS 92739 HAS SOUS 46236 HAS SOUPS 43520 WITH SCORE 43622.074
AT ITER 3835 NEW BEST:: SOT 223994 SOS 102208 HAS SOPS 92761 HAS SOUS 46285 HAS SOUPS 43513 WITH SCORE 43615.208
AT ITER 3845 NEW BEST:: SOT 223884 SOS 102098 HAS SOPS 92651 HAS SOUS 46255 HAS SOUPS 43483 WITH SCORE 43585.098
AT ITER 3867 NEW BEST:: SOT 223884 SOS 102086 HAS SOPS 92645 HAS SOUS 46249 HAS SOUPS 43480 WITH SCORE 43582.086
AT ITER 3901 NEW BEST:: SOT 223884 SOS 101976 HAS SOPS 92535 HAS SOUS 46249 HAS SOUPS 43480 WITH SCORE 43581.976
AT ITER 3920 NEW BEST:: SOT 223884 SOS 101920 HAS SOPS 92479 HAS SOUS 46237 HAS SOUPS 43468 WITH SCORE 43569.92
AT ITER 3942 NEW BEST:: SOT 223884 SOS 101850 HAS SOPS 92409 HAS SOUS 46202 HAS SOUPS 43433 WITH SCORE 43534.85
AT ITER 3974 NEW BEST:: SOT 223834 SOS 101800 HAS SOPS 92402 HAS SOUS 46152 HAS SOUPS 43426 WITH SCORE 43527.8
AT ITER 3979 NEW BEST:: SOT 223834 SOS 102141 HAS SOPS 92743 HAS SOUS 46147 HAS SOUPS 43421 WITH SCORE 43523.141
AT ITER 4008 NEW BEST:: SOT 223834 SOS 102013 HAS SOPS 92615 HAS SOUS 46142 HAS SOUPS 43416 WITH SCORE 43518.013
AT ITER 4013 NEW BEST:: SOT 223911 SOS 102090 HAS SOPS 92616 HAS SOUS 46097 HAS SOUPS 43371 WITH SCORE 43473.09
AT ITER 4043 NEW BEST:: SOT 223911 SOS 102026 HAS SOPS 92552 HAS SOUS 46071 HAS SOUPS 43345 WITH SCORE 43447.026
AT ITER 4055 NEW BEST:: SOT 223911 SOS 101910 HAS SOPS 92552 HAS SOUS 46013 HAS SOUPS 43345 WITH SCORE 43446.91
AT ITER 4060 NEW BEST:: SOT 223911 SOS 101910 HAS SOPS 92552 HAS SOUS 46001 HAS SOUPS 43333 WITH SCORE 43434.91
AT ITER 4089 NEW BEST:: SOT 223911 SOS 101924 HAS SOPS 92566 HAS SOUS 45984 HAS SOUPS 43316 WITH SCORE 43417.924
AT ITER 4098 NEW BEST:: SOT 223911 SOS 101948 HAS SOPS 92590 HAS SOUS 45982 HAS SOUPS 43314 WITH SCORE 43415.948
AT ITER 4101 NEW BEST:: SOT 223890 SOS 101927 HAS SOPS 92590 HAS SOUS 45976 HAS SOUPS 43308 WITH SCORE 43409.927
AT ITER 4133 NEW BEST:: SOT 223890 SOS 101911 HAS SOPS 92574 HAS SOUS 45968 HAS SOUPS 43300 WITH SCORE 43401.911
AT ITER 4152 NEW BEST:: SOT 223890 SOS 101697 HAS SOPS 92360 HAS SOUS 45925 HAS SOUPS 43257 WITH SCORE 43358.697
AT ITER 4157 NEW BEST:: SOT 223890 SOS 101661 HAS SOPS 92324 HAS SOUS 45907 HAS SOUPS 43239 WITH SCORE 43340.661
AT ITER 4193 NEW BEST:: SOT 223890 SOS 101649 HAS SOPS 92324 HAS SOUS 45901 HAS SOUPS 43239 WITH SCORE 43340.649
AT ITER 4205 NEW BEST:: SOT 223890 SOS 101779 HAS SOPS 92454 HAS SOUS 45846 HAS SOUPS 43184 WITH SCORE 43285.779
AT ITER 4210 NEW BEST:: SOT 223834 SOS 101593 HAS SOPS 92277 HAS SOUS 45834 HAS SOUPS 43172 WITH SCORE 43273.593
AT ITER 4215 NEW BEST:: SOT 223840 SOS 101599 HAS SOPS 92249 HAS SOUS 45816 HAS SOUPS 43152 WITH SCORE 43253.599
AT ITER 4223 NEW BEST:: SOT 223840 SOS 101597 HAS SOPS 92247 HAS SOUS 45815 HAS SOUPS 43151 WITH SCORE 43252.597
AT ITER 4251 NEW BEST:: SOT 223840 SOS 101591 HAS SOPS 92241 HAS SOUS 45815 HAS SOUPS 43151 WITH SCORE 43252.591
AT ITER 4261 NEW BEST:: SOT 223876 SOS 101627 HAS SOPS 92271 HAS SOUS 45797 HAS SOUPS 43133 WITH SCORE 43234.627
AT ITER 4262 NEW BEST:: SOT 223876 SOS 101609 HAS SOPS 92253 HAS SOUS 45788 HAS SOUPS 43124 WITH SCORE 43225.609
AT ITER 4263 NEW BEST:: SOT 223873 SOS 101606 HAS SOPS 92250 HAS SOUS 45776 HAS SOUPS 43112 WITH SCORE 43213.606
AT ITER 4271 NEW BEST:: SOT 223873 SOS 101600 HAS SOPS 92244 HAS SOUS 45776 HAS SOUPS 43112 WITH SCORE 43213.6
AT ITER 4280 NEW BEST:: SOT 223873 SOS 101630 HAS SOPS 92274 HAS SOUS 45768 HAS SOUPS 43104 WITH SCORE 43205.63
AT ITER 4284 NEW BEST:: SOT 223873 SOS 101630 HAS SOPS 92274 HAS SOUS 45755 HAS SOUPS 43091 WITH SCORE 43192.63
AT ITER 4297 NEW BEST:: SOT 223873 SOS 101630 HAS SOPS 92274 HAS SOUS 45754 HAS SOUPS 43090 WITH SCORE 43191.63
AT ITER 4304 NEW BEST:: SOT 223873 SOS 101572 HAS SOPS 92158 HAS SOUS 45781 HAS SOUPS 43088 WITH SCORE 43189.572
AT ITER 4315 NEW BEST:: SOT 223873 SOS 101544 HAS SOPS 92130 HAS SOUS 45767 HAS SOUPS 43074 WITH SCORE 43175.544
AT ITER 4319 NEW BEST:: SOT 223873 SOS 101376 HAS SOPS 91962 HAS SOUS 45725 HAS SOUPS 43032 WITH SCORE 43133.376
AT ITER 4326 NEW BEST:: SOT 223873 SOS 101364 HAS SOPS 91956 HAS SOUS 45719 HAS SOUPS 43029 WITH SCORE 43130.364
AT ITER 4328 NEW BEST:: SOT 223870 SOS 101386 HAS SOPS 91975 HAS SOUS 45630 HAS SOUPS 42940 WITH SCORE 43041.386
AT ITER 4344 NEW BEST:: SOT 223870 SOS 101396 HAS SOPS 91985 HAS SOUS 45625 HAS SOUPS 42935 WITH SCORE 43036.396
AT ITER 4371 NEW BEST:: SOT 223854 SOS 101380 HAS SOPS 91979 HAS SOUS 45625 HAS SOUPS 42935 WITH SCORE 43036.38
AT ITER 4410 NEW BEST:: SOT 223854 SOS 101420 HAS SOPS 92019 HAS SOUS 45615 HAS SOUPS 42925 WITH SCORE 43026.42
AT ITER 4411 NEW BEST:: SOT 223854 SOS 101334 HAS SOPS 91933 HAS SOUS 45572 HAS SOUPS 42882 WITH SCORE 42983.334
AT ITER 4413 NEW BEST:: SOT 223854 SOS 101454 HAS SOPS 92053 HAS SOUS 45568 HAS SOUPS 42878 WITH SCORE 42979.454
AT ITER 4449 NEW BEST:: SOT 223854 SOS 101284 HAS SOPS 91883 HAS SOUS 45550 HAS SOUPS 42860 WITH SCORE 42961.284
AT ITER 4460 NEW BEST:: SOT 223854 SOS 101264 HAS SOPS 91797 HAS SOUS 45578 HAS SOUPS 42855 WITH SCORE 42956.264
AT ITER 4470 NEW BEST:: SOT 223854 SOS 101260 HAS SOPS 91793 HAS SOUS 45576 HAS SOUPS 42853 WITH SCORE 42954.26
AT ITER 4507 NEW BEST:: SOT 223854 SOS 101084 HAS SOPS 91617 HAS SOUS 45512 HAS SOUPS 42789 WITH SCORE 42890.084
AT ITER 4526 NEW BEST:: SOT 223854 SOS 101084 HAS SOPS 91617 HAS SOUS 45510 HAS SOUPS 42787 WITH SCORE 42888.084
AT ITER 4554 NEW BEST:: SOT 223854 SOS 100901 HAS SOPS 91434 HAS SOUS 45496 HAS SOUPS 42773 WITH SCORE 42873.901
AT ITER 4563 NEW BEST:: SOT 223854 SOS 101221 HAS SOPS 91754 HAS SOUS 45486 HAS SOUPS 42763 WITH SCORE 42864.221
AT ITER 4598 NEW BEST:: SOT 223858 SOS 101225 HAS SOPS 91762 HAS SOUS 45466 HAS SOUPS 42743 WITH SCORE 42844.225
AT ITER 4607 NEW BEST:: SOT 223858 SOS 101197 HAS SOPS 91734 HAS SOUS 45452 HAS SOUPS 42729 WITH SCORE 42830.197
AT ITER 4630 NEW BEST:: SOT 223858 SOS 101183 HAS SOPS 91728 HAS SOUS 45445 HAS SOUPS 42726 WITH SCORE 42827.183
AT ITER 4639 NEW BEST:: SOT 223858 SOS 101121 HAS SOPS 91666 HAS SOUS 45443 HAS SOUPS 42724 WITH SCORE 42825.121
AT ITER 4645 NEW BEST:: SOT 223858 SOS 101101 HAS SOPS 91646 HAS SOUS 45438 HAS SOUPS 42719 WITH SCORE 42820.101
AT ITER 4651 NEW BEST:: SOT 223858 SOS 101075 HAS SOPS 91620 HAS SOUS 45438 HAS SOUPS 42719 WITH SCORE 42820.075
AT ITER 4653 NEW BEST:: SOT 223858 SOS 101093 HAS SOPS 91638 HAS SOUS 45412 HAS SOUPS 42693 WITH SCORE 42794.093
AT ITER 4688 NEW BEST:: SOT 223858 SOS 101115 HAS SOPS 91660 HAS SOUS 45409 HAS SOUPS 42690 WITH SCORE 42791.115
AT ITER 4706 NEW BEST:: SOT 223847 SOS 101029 HAS SOPS 91535 HAS SOUS 45403 HAS SOUPS 42684 WITH SCORE 42785.029
AT ITER 4720 NEW BEST:: SOT 223847 SOS 101071 HAS SOPS 91577 HAS SOUS 45392 HAS SOUPS 42673 WITH SCORE 42774.071
AT ITER 4736 NEW BEST:: SOT 223790 SOS 100692 HAS SOPS 91084 HAS SOUS 45335 HAS SOUPS 42616 WITH SCORE 42716.692
AT ITER 4753 NEW BEST:: SOT 224110 SOS 101004 HAS SOPS 91114 HAS SOUS 45285 HAS SOUPS 42566 WITH SCORE 42667.004
AT ITER 4771 NEW BEST:: SOT 224110 SOS 100810 HAS SOPS 90920 HAS SOUS 45272 HAS SOUPS 42553 WITH SCORE 42653.81
AT ITER 4772 NEW BEST:: SOT 224110 SOS 100814 HAS SOPS 90924 HAS SOUS 45268 HAS SOUPS 42549 WITH SCORE 42649.814
AT ITER 4787 NEW BEST:: SOT 224110 SOS 101690 HAS SOPS 91680 HAS SOUS 45319 HAS SOUPS 42540 WITH SCORE 42641.69
AT ITER 4790 NEW BEST:: SOT 224110 SOS 101690 HAS SOPS 91684 HAS SOUS 45317 HAS SOUPS 42538 WITH SCORE 42639.69
AT ITER 4791 NEW BEST:: SOT 224110 SOS 101690 HAS SOPS 91684 HAS SOUS 45299 HAS SOUPS 42520 WITH SCORE 42621.69
AT ITER 4792 NEW BEST:: SOT 224094 SOS 101672 HAS SOPS 91650 HAS SOUS 45265 HAS SOUPS 42486 WITH SCORE 42587.672
AT ITER 4801 NEW BEST:: SOT 224094 SOS 101650 HAS SOPS 91628 HAS SOUS 45250 HAS SOUPS 42471 WITH SCORE 42572.65
AT ITER 4805 NEW BEST:: SOT 224094 SOS 101650 HAS SOPS 91628 HAS SOUS 45246 HAS SOUPS 42467 WITH SCORE 42568.65
AT ITER 4817 NEW BEST:: SOT 224124 SOS 101680 HAS SOPS 91652 HAS SOUS 45226 HAS SOUPS 42447 WITH SCORE 42548.68
AT ITER 4824 NEW BEST:: SOT 224124 SOS 101672 HAS SOPS 91644 HAS SOUS 45226 HAS SOUPS 42447 WITH SCORE 42548.672
AT ITER 4851 NEW BEST:: SOT 224124 SOS 101668 HAS SOPS 91640 HAS SOUS 45224 HAS SOUPS 42445 WITH SCORE 42546.668
AT ITER 4878 NEW BEST:: SOT 224124 SOS 101908 HAS SOPS 91880 HAS SOUS 45218 HAS SOUPS 42439 WITH SCORE 42540.908
AT ITER 4901 NEW BEST:: SOT 224124 SOS 101748 HAS SOPS 91720 HAS SOUS 45186 HAS SOUPS 42407 WITH SCORE 42508.748
AT ITER 4903 NEW BEST:: SOT 224109 SOS 101730 HAS SOPS 91687 HAS SOUS 45135 HAS SOUPS 42356 WITH SCORE 42457.73
AT ITER 4951 NEW BEST:: SOT 224109 SOS 101688 HAS SOPS 91719 HAS SOUS 45098 HAS SOUPS 42356 WITH SCORE 42457.688
AT ITER 4959 NEW BEST:: SOT 224109 SOS 101684 HAS SOPS 91715 HAS SOUS 45097 HAS SOUPS 42355 WITH SCORE 42456.684
AT ITER 5016 NEW BEST:: SOT 224109 SOS 101652 HAS SOPS 91683 HAS SOUS 45089 HAS SOUPS 42347 WITH SCORE 42448.652
AT ITER 5034 NEW BEST:: SOT 224109 SOS 101436 HAS SOPS 91587 HAS SOUS 44981 HAS SOUPS 42299 WITH SCORE 42400.436
AT ITER 5041 NEW BEST:: SOT 224109 SOS 101288 HAS SOPS 91439 HAS SOUS 44967 HAS SOUPS 42285 WITH SCORE 42386.288
AT ITER 5098 NEW BEST:: SOT 224109 SOS 101276 HAS SOPS 91427 HAS SOUS 44967 HAS SOUPS 42285 WITH SCORE 42386.276
AT ITER 5101 NEW BEST:: SOT 224109 SOS 101240 HAS SOPS 91391 HAS SOUS 44964 HAS SOUPS 42282 WITH SCORE 42383.24
AT ITER 5111 NEW BEST:: SOT 224085 SOS 101216 HAS SOPS 91343 HAS SOUS 44916 HAS SOUPS 42234 WITH SCORE 42335.216
AT ITER 5136 NEW BEST:: SOT 224085 SOS 101152 HAS SOPS 91279 HAS SOUS 44916 HAS SOUPS 42234 WITH SCORE 42335.152
AT ITER 5208 NEW BEST:: SOT 224085 SOS 101144 HAS SOPS 91271 HAS SOUS 44914 HAS SOUPS 42232 WITH SCORE 42333.144
AT ITER 5211 NEW BEST:: SOT 223960 SOS 100998 HAS SOPS 91098 HAS SOUS 44800 HAS SOUPS 42118 WITH SCORE 42218.998
AT ITER 5216 NEW BEST:: SOT 223960 SOS 101054 HAS SOPS 91154 HAS SOUS 44794 HAS SOUPS 42112 WITH SCORE 42213.054
AT ITER 5227 NEW BEST:: SOT 223956 SOS 101046 HAS SOPS 91146 HAS SOUS 44788 HAS SOUPS 42106 WITH SCORE 42207.046
AT ITER 5232 NEW BEST:: SOT 223956 SOS 101024 HAS SOPS 91124 HAS SOUS 44788 HAS SOUPS 42106 WITH SCORE 42207.024
AT ITER 5236 NEW BEST:: SOT 223956 SOS 100870 HAS SOPS 90970 HAS SOUS 44776 HAS SOUPS 42094 WITH SCORE 42194.87
AT ITER 5257 NEW BEST:: SOT 223990 SOS 100904 HAS SOPS 90942 HAS SOUS 44760 HAS SOUPS 42078 WITH SCORE 42178.904
AT ITER 5288 NEW BEST:: SOT 223990 SOS 100896 HAS SOPS 90934 HAS SOUS 44759 HAS SOUPS 42077 WITH SCORE 42177.896
AT ITER 5303 NEW BEST:: SOT 223990 SOS 100906 HAS SOPS 90944 HAS SOUS 44710 HAS SOUPS 42028 WITH SCORE 42128.906
AT ITER 5309 NEW BEST:: SOT 223990 SOS 100816 HAS SOPS 90854 HAS SOUS 44710 HAS SOUPS 42028 WITH SCORE 42128.816
AT ITER 5331 NEW BEST:: SOT 223990 SOS 100816 HAS SOPS 90854 HAS SOUS 44708 HAS SOUPS 42026 WITH SCORE 42126.816
AT ITER 5335 NEW BEST:: SOT 223990 SOS 100844 HAS SOPS 90882 HAS SOUS 44688 HAS SOUPS 42006 WITH SCORE 42106.844
AT ITER 5336 NEW BEST:: SOT 223978 SOS 100832 HAS SOPS 90978 HAS SOUS 44688 HAS SOUPS 42006 WITH SCORE 42106.832
AT ITER 5341 NEW BEST:: SOT 223978 SOS 100824 HAS SOPS 90970 HAS SOUS 44688 HAS SOUPS 42006 WITH SCORE 42106.824
AT ITER 5349 NEW BEST:: SOT 223965 SOS 100884 HAS SOPS 91039 HAS SOUS 44641 HAS SOUPS 41959 WITH SCORE 42059.884
AT ITER 5375 NEW BEST:: SOT 223959 SOS 100861 HAS SOPS 91023 HAS SOUS 44634 HAS SOUPS 41952 WITH SCORE 42052.861
AT ITER 5376 NEW BEST:: SOT 223914 SOS 100755 HAS SOPS 90917 HAS SOUS 44612 HAS SOUPS 41930 WITH SCORE 42030.755
AT ITER 5382 NEW BEST:: SOT 216074 SOS 95903 HAS SOPS 83257 HAS SOUS 43985 HAS SOUPS 41285 WITH SCORE 41380.903
AT ITER 5383 NEW BEST:: SOT 216074 SOS 95835 HAS SOPS 83221 HAS SOUS 43951 HAS SOUPS 41267 WITH SCORE 41362.835
AT ITER 5409 NEW BEST:: SOT 216074 SOS 95950 HAS SOPS 83336 HAS SOUS 43934 HAS SOUPS 41250 WITH SCORE 41345.95
AT ITER 5480 NEW BEST:: SOT 216074 SOS 95922 HAS SOPS 83308 HAS SOUS 43934 HAS SOUPS 41250 WITH SCORE 41345.922
AT ITER 5485 NEW BEST:: SOT 216056 SOS 95906 HAS SOPS 83256 HAS SOUS 43961 HAS SOUPS 41250 WITH SCORE 41345.906
AT ITER 5496 NEW BEST:: SOT 216046 SOS 95828 HAS SOPS 83192 HAS SOUS 43919 HAS SOUPS 41230 WITH SCORE 41325.828
AT ITER 5497 NEW BEST:: SOT 216040 SOS 95810 HAS SOPS 83174 HAS SOUS 43910 HAS SOUPS 41221 WITH SCORE 41316.81
AT ITER 5513 NEW BEST:: SOT 216006 SOS 95730 HAS SOPS 83106 HAS SOUS 43904 HAS SOUPS 41215 WITH SCORE 41310.73
AT ITER 5517 NEW BEST:: SOT 216006 SOS 95680 HAS SOPS 83056 HAS SOUS 43878 HAS SOUPS 41189 WITH SCORE 41284.68
AT ITER 5550 NEW BEST:: SOT 215968 SOS 95554 HAS SOPS 82874 HAS SOUS 43870 HAS SOUPS 41181 WITH SCORE 41276.554
AT ITER 5563 NEW BEST:: SOT 215968 SOS 95474 HAS SOPS 82794 HAS SOUS 43846 HAS SOUPS 41157 WITH SCORE 41252.474
AT ITER 5602 NEW BEST:: SOT 215968 SOS 95466 HAS SOPS 82786 HAS SOUS 43842 HAS SOUPS 41153 WITH SCORE 41248.466
AT ITER 5617 NEW BEST:: SOT 215959 SOS 95379 HAS SOPS 82699 HAS SOUS 43827 HAS SOUPS 41138 WITH SCORE 41233.379
AT ITER 5654 NEW BEST:: SOT 215959 SOS 95379 HAS SOPS 82693 HAS SOUS 43825 HAS SOUPS 41136 WITH SCORE 41231.379
AT ITER 5668 NEW BEST:: SOT 215999 SOS 95419 HAS SOPS 82731 HAS SOUS 43813 HAS SOUPS 41124 WITH SCORE 41219.419
AT ITER 5670 NEW BEST:: SOT 215999 SOS 95455 HAS SOPS 82707 HAS SOUS 43831 HAS SOUPS 41112 WITH SCORE 41207.455
AT ITER 5680 NEW BEST:: SOT 215999 SOS 95453 HAS SOPS 82705 HAS SOUS 43831 HAS SOUPS 41112 WITH SCORE 41207.453
AT ITER 5690 NEW BEST:: SOT 216006 SOS 95465 HAS SOPS 82722 HAS SOUS 43828 HAS SOUPS 41109 WITH SCORE 41204.465
AT ITER 5706 NEW BEST:: SOT 202585 SOS 92499 HAS SOPS 69992 HAS SOUS 43647 HAS SOUPS 41101 WITH SCORE 41193.499
AT ITER 5714 NEW BEST:: SOT 211121 SOS 92288 HAS SOPS 77810 HAS SOUS 39385 HAS SOUPS 36839 WITH SCORE 36931.288
AT ITER 5729 NEW BEST:: SOT 211121 SOS 92340 HAS SOPS 77862 HAS SOUS 39320 HAS SOUPS 36774 WITH SCORE 36866.34
AT ITER 5747 NEW BEST:: SOT 211121 SOS 92338 HAS SOPS 77860 HAS SOUS 39319 HAS SOUPS 36773 WITH SCORE 36865.338
AT ITER 5769 NEW BEST:: SOT 211121 SOS 92402 HAS SOPS 77938 HAS SOUS 39286 HAS SOUPS 36740 WITH SCORE 36832.402
AT ITER 5799 NEW BEST:: SOT 211121 SOS 92376 HAS SOPS 77912 HAS SOUS 39286 HAS SOUPS 36740 WITH SCORE 36832.376
AT ITER 5808 NEW BEST:: SOT 211067 SOS 92297 HAS SOPS 77858 HAS SOUS 39188 HAS SOUPS 36667 WITH SCORE 36759.297
AT ITER 5812 NEW BEST:: SOT 211067 SOS 92365 HAS SOPS 77926 HAS SOUS 39120 HAS SOUPS 36599 WITH SCORE 36691.365
AT ITER 5813 NEW BEST:: SOT 211047 SOS 92345 HAS SOPS 77913 HAS SOUS 39107 HAS SOUPS 36586 WITH SCORE 36678.345
AT ITER 5831 NEW BEST:: SOT 211047 SOS 92325 HAS SOPS 77883 HAS SOUS 39011 HAS SOUPS 36505 WITH SCORE 36597.325
AT ITER 5893 NEW BEST:: SOT 211047 SOS 92313 HAS SOPS 77877 HAS SOUS 39008 HAS SOUPS 36502 WITH SCORE 36594.313
AT ITER 5895 NEW BEST:: SOT 211047 SOS 92151 HAS SOPS 77737 HAS SOUS 38990 HAS SOUPS 36495 WITH SCORE 36587.151
AT ITER 5911 NEW BEST:: SOT 211047 SOS 92145 HAS SOPS 77731 HAS SOUS 38990 HAS SOUPS 36495 WITH SCORE 36587.145
AT ITER 5922 NEW BEST:: SOT 211047 SOS 92105 HAS SOPS 77691 HAS SOUS 38988 HAS SOUPS 36493 WITH SCORE 36585.105
AT ITER 5924 NEW BEST:: SOT 211081 SOS 92139 HAS SOPS 77535 HAS SOUS 38985 HAS SOUPS 36490 WITH SCORE 36582.139
AT ITER 5925 NEW BEST:: SOT 211121 SOS 92179 HAS SOPS 77615 HAS SOUS 38937 HAS SOUPS 36452 WITH SCORE 36544.179
AT ITER 5957 NEW BEST:: SOT 211121 SOS 92260 HAS SOPS 77696 HAS SOUS 38895 HAS SOUPS 36410 WITH SCORE 36502.26
AT ITER 5981 NEW BEST:: SOT 211121 SOS 92224 HAS SOPS 77660 HAS SOUS 38877 HAS SOUPS 36392 WITH SCORE 36484.224
AT ITER 5982 NEW BEST:: SOT 212494 SOS 92869 HAS SOPS 78977 HAS SOUS 38781 HAS SOUPS 36286 WITH SCORE 36378.869
AT ITER 6003 NEW BEST:: SOT 212494 SOS 92907 HAS SOPS 79015 HAS SOUS 38765 HAS SOUPS 36270 WITH SCORE 36362.907
AT ITER 6004 NEW BEST:: SOT 212494 SOS 92895 HAS SOPS 79003 HAS SOUS 38759 HAS SOUPS 36264 WITH SCORE 36356.895
AT ITER 6005 NEW BEST:: SOT 212494 SOS 92895 HAS SOPS 78999 HAS SOUS 38755 HAS SOUPS 36260 WITH SCORE 36352.895
AT ITER 6023 NEW BEST:: SOT 212504 SOS 92935 HAS SOPS 79059 HAS SOUS 38738 HAS SOUPS 36243 WITH SCORE 36335.935
AT ITER 6028 NEW BEST:: SOT 212504 SOS 92933 HAS SOPS 79057 HAS SOUS 38728 HAS SOUPS 36233 WITH SCORE 36325.933
AT ITER 6055 NEW BEST:: SOT 212504 SOS 92917 HAS SOPS 79041 HAS SOUS 38720 HAS SOUPS 36225 WITH SCORE 36317.917
AT ITER 6068 NEW BEST:: SOT 212504 SOS 92885 HAS SOPS 79009 HAS SOUS 38712 HAS SOUPS 36217 WITH SCORE 36309.885
AT ITER 6126 NEW BEST:: SOT 212490 SOS 92881 HAS SOPS 78967 HAS SOUS 38729 HAS SOUPS 36214 WITH SCORE 36306.881
AT ITER 6139 NEW BEST:: SOT 212490 SOS 92857 HAS SOPS 78943 HAS SOUS 38729 HAS SOUPS 36214 WITH SCORE 36306.857
AT ITER 6174 NEW BEST:: SOT 212490 SOS 92833 HAS SOPS 78919 HAS SOUS 38717 HAS SOUPS 36202 WITH SCORE 36294.833
AT ITER 6225 NEW BEST:: SOT 212490 SOS 92767 HAS SOPS 78853 HAS SOUS 38717 HAS SOUPS 36202 WITH SCORE 36294.767
AT ITER 6246 NEW BEST:: SOT 212513 SOS 92790 HAS SOPS 78902 HAS SOUS 38714 HAS SOUPS 36199 WITH SCORE 36291.79
AT ITER 6250 NEW BEST:: SOT 212513 SOS 92790 HAS SOPS 78902 HAS SOUS 38706 HAS SOUPS 36191 WITH SCORE 36283.79
AT ITER 6268 NEW BEST:: SOT 212513 SOS 92889 HAS SOPS 79001 HAS SOUS 38482 HAS SOUPS 35967 WITH SCORE 36059.889
AT ITER 6312 NEW BEST:: SOT 212513 SOS 92857 HAS SOPS 78969 HAS SOUS 38482 HAS SOUPS 35967 WITH SCORE 36059.857
AT ITER 6337 NEW BEST:: SOT 212513 SOS 92815 HAS SOPS 78927 HAS SOUS 38470 HAS SOUPS 35955 WITH SCORE 36047.815
AT ITER 6342 NEW BEST:: SOT 212485 SOS 92787 HAS SOPS 79039 HAS SOUS 38470 HAS SOUPS 35955 WITH SCORE 36047.787
AT ITER 6351 NEW BEST:: SOT 212485 SOS 92699 HAS SOPS 78951 HAS SOUS 38470 HAS SOUPS 35955 WITH SCORE 36047.699
AT ITER 6383 NEW BEST:: SOT 212485 SOS 92689 HAS SOPS 78941 HAS SOUS 38470 HAS SOUPS 35955 WITH SCORE 36047.689
AT ITER 6399 NEW BEST:: SOT 212478 SOS 92654 HAS SOPS 78906 HAS SOUS 38449 HAS SOUPS 35934 WITH SCORE 36026.654
AT ITER 6431 NEW BEST:: SOT 212478 SOS 92654 HAS SOPS 78906 HAS SOUS 38425 HAS SOUPS 35910 WITH SCORE 36002.654
AT ITER 6454 NEW BEST:: SOT 212099 SOS 92275 HAS SOPS 78527 HAS SOUS 38046 HAS SOUPS 35531 WITH SCORE 35623.275
AT ITER 6465 NEW BEST:: SOT 212099 SOS 92129 HAS SOPS 78381 HAS SOUS 38022 HAS SOUPS 35507 WITH SCORE 35599.129
AT ITER 6471 NEW BEST:: SOT 212099 SOS 92139 HAS SOPS 78391 HAS SOUS 37991 HAS SOUPS 35476 WITH SCORE 35568.139
AT ITER 6481 NEW BEST:: SOT 212099 SOS 92097 HAS SOPS 78349 HAS SOUS 37991 HAS SOUPS 35476 WITH SCORE 35568.097
AT ITER 6488 NEW BEST:: SOT 212045 SOS 92043 HAS SOPS 78293 HAS SOUS 37989 HAS SOUPS 35474 WITH SCORE 35566.043
AT ITER 6505 NEW BEST:: SOT 212045 SOS 91863 HAS SOPS 78113 HAS SOUS 37989 HAS SOUPS 35474 WITH SCORE 35565.863
AT ITER 6513 NEW BEST:: SOT 212045 SOS 91779 HAS SOPS 78029 HAS SOUS 37975 HAS SOUPS 35460 WITH SCORE 35551.779
AT ITER 6545 NEW BEST:: SOT 212045 SOS 91671 HAS SOPS 77921 HAS SOUS 37972 HAS SOUPS 35457 WITH SCORE 35548.671
AT ITER 6600 NEW BEST:: SOT 212041 SOS 91667 HAS SOPS 77913 HAS SOUS 37966 HAS SOUPS 35451 WITH SCORE 35542.667
AT ITER 6607 NEW BEST:: SOT 212041 SOS 91667 HAS SOPS 77907 HAS SOUS 37963 HAS SOUPS 35445 WITH SCORE 35536.667
AT ITER 6616 NEW BEST:: SOT 212041 SOS 91667 HAS SOPS 77907 HAS SOUS 37947 HAS SOUPS 35429 WITH SCORE 35520.667
AT ITER 6649 NEW BEST:: SOT 212041 SOS 91663 HAS SOPS 77903 HAS SOUS 37945 HAS SOUPS 35427 WITH SCORE 35518.663
AT ITER 6696 NEW BEST:: SOT 212041 SOS 91647 HAS SOPS 77887 HAS SOUS 37944 HAS SOUPS 35426 WITH SCORE 35517.647
AT ITER 6722 NEW BEST:: SOT 212041 SOS 91557 HAS SOPS 77843 HAS SOUS 37899 HAS SOUPS 35404 WITH SCORE 35495.557
AT ITER 6729 NEW BEST:: SOT 212031 SOS 91511 HAS SOPS 77787 HAS SOUS 37903 HAS SOUPS 35390 WITH SCORE 35481.511
AT ITER 6768 NEW BEST:: SOT 212031 SOS 91511 HAS SOPS 77787 HAS SOUS 37891 HAS SOUPS 35378 WITH SCORE 35469.511
AT ITER 6776 NEW BEST:: SOT 211997 SOS 91397 HAS SOPS 77637 HAS SOUS 37847 HAS SOUPS 35334 WITH SCORE 35425.397
AT ITER 6788 NEW BEST:: SOT 211995 SOS 91395 HAS SOPS 77633 HAS SOUS 37842 HAS SOUPS 35329 WITH SCORE 35420.395
AT ITER 6789 NEW BEST:: SOT 211995 SOS 91407 HAS SOPS 77633 HAS SOUS 37830 HAS SOUPS 35317 WITH SCORE 35408.407
AT ITER 6830 NEW BEST:: SOT 211995 SOS 91405 HAS SOPS 77631 HAS SOUS 37830 HAS SOUPS 35317 WITH SCORE 35408.405
AT ITER 6854 NEW BEST:: SOT 211995 SOS 91385 HAS SOPS 77611 HAS SOUS 37830 HAS SOUPS 35317 WITH SCORE 35408.385
AT ITER 6880 NEW BEST:: SOT 211993 SOS 91383 HAS SOPS 77615 HAS SOUS 37826 HAS SOUPS 35313 WITH SCORE 35404.383
AT ITER 6975 NEW BEST:: SOT 211993 SOS 91375 HAS SOPS 77607 HAS SOUS 37822 HAS SOUPS 35309 WITH SCORE 35400.375
AT ITER 6976 NEW BEST:: SOT 211993 SOS 91420 HAS SOPS 77652 HAS SOUS 37818 HAS SOUPS 35305 WITH SCORE 35396.42
AT ITER 6982 NEW BEST:: SOT 211993 SOS 91398 HAS SOPS 77630 HAS SOUS 37807 HAS SOUPS 35294 WITH SCORE 35385.398
AT ITER 6987 NEW BEST:: SOT 211993 SOS 91342 HAS SOPS 77574 HAS SOUS 37794 HAS SOUPS 35281 WITH SCORE 35372.342
AT ITER 6993 NEW BEST:: SOT 211993 SOS 91468 HAS SOPS 77700 HAS SOUS 37785 HAS SOUPS 35272 WITH SCORE 35363.468
AT ITER 6999 NEW BEST:: SOT 211993 SOS 91010 HAS SOPS 77242 HAS SOUS 37785 HAS SOUPS 35272 WITH SCORE 35363.01
AT ITER 7005 NEW BEST:: SOT 212021 SOS 91038 HAS SOPS 77292 HAS SOUS 37761 HAS SOUPS 35260 WITH SCORE 35351.038
AT ITER 7020 NEW BEST:: SOT 212021 SOS 91014 HAS SOPS 77268 HAS SOUS 37750 HAS SOUPS 35249 WITH SCORE 35340.014
AT ITER 7049 NEW BEST:: SOT 212021 SOS 91012 HAS SOPS 77266 HAS SOUS 37749 HAS SOUPS 35248 WITH SCORE 35339.012
AT ITER 7072 NEW BEST:: SOT 212021 SOS 90958 HAS SOPS 77212 HAS SOUS 37749 HAS SOUPS 35248 WITH SCORE 35338.958
AT ITER 7089 NEW BEST:: SOT 212021 SOS 90956 HAS SOPS 77364 HAS SOUS 37655 HAS SOUPS 35231 WITH SCORE 35321.956
AT ITER 7094 NEW BEST:: SOT 212021 SOS 91020 HAS SOPS 77428 HAS SOUS 37651 HAS SOUPS 35227 WITH SCORE 35318.02
AT ITER 7115 NEW BEST:: SOT 212013 SOS 91012 HAS SOPS 77428 HAS SOUS 37641 HAS SOUPS 35217 WITH SCORE 35308.012
AT ITER 7117 NEW BEST:: SOT 212013 SOS 91076 HAS SOPS 77492 HAS SOUS 37625 HAS SOUPS 35201 WITH SCORE 35292.076
AT ITER 7129 NEW BEST:: SOT 212013 SOS 90978 HAS SOPS 77394 HAS SOUS 37601 HAS SOUPS 35177 WITH SCORE 35267.978
AT ITER 7139 NEW BEST:: SOT 211891 SOS 90827 HAS SOPS 77213 HAS SOUS 37576 HAS SOUPS 35152 WITH SCORE 35242.827
AT ITER 7167 NEW BEST:: SOT 211891 SOS 90823 HAS SOPS 77209 HAS SOUS 37571 HAS SOUPS 35147 WITH SCORE 35237.823
AT ITER 7176 NEW BEST:: SOT 211869 SOS 90751 HAS SOPS 77137 HAS SOUS 37557 HAS SOUPS 35133 WITH SCORE 35223.751
AT ITER 7181 NEW BEST:: SOT 211869 SOS 90770 HAS SOPS 77156 HAS SOUS 37554 HAS SOUPS 35130 WITH SCORE 35220.77
AT ITER 7183 NEW BEST:: SOT 211869 SOS 90730 HAS SOPS 77116 HAS SOUS 37534 HAS SOUPS 35110 WITH SCORE 35200.73
AT ITER 7226 NEW BEST:: SOT 211869 SOS 90720 HAS SOPS 77106 HAS SOUS 37529 HAS SOUPS 35105 WITH SCORE 35195.72
AT ITER 7279 NEW BEST:: SOT 211869 SOS 90720 HAS SOPS 77106 HAS SOUS 37527 HAS SOUPS 35103 WITH SCORE 35193.72
AT ITER 7309 NEW BEST:: SOT 211869 SOS 90710 HAS SOPS 77096 HAS SOUS 37522 HAS SOUPS 35098 WITH SCORE 35188.71
AT ITER 7345 NEW BEST:: SOT 211849 SOS 90690 HAS SOPS 77074 HAS SOUS 37518 HAS SOUPS 35094 WITH SCORE 35184.69
AT ITER 7353 NEW BEST:: SOT 211849 SOS 90672 HAS SOPS 77044 HAS SOUS 37515 HAS SOUPS 35085 WITH SCORE 35175.672
AT ITER 7363 NEW BEST:: SOT 211849 SOS 90680 HAS SOPS 77044 HAS SOUS 37515 HAS SOUPS 35081 WITH SCORE 35171.68
AT ITER 7389 NEW BEST:: SOT 211849 SOS 90632 HAS SOPS 76996 HAS SOUS 37515 HAS SOUPS 35081 WITH SCORE 35171.632
AT ITER 7411 NEW BEST:: SOT 211845 SOS 90628 HAS SOPS 76988 HAS SOUS 37507 HAS SOUPS 35073 WITH SCORE 35163.628
AT ITER 7451 NEW BEST:: SOT 211845 SOS 90624 HAS SOPS 76984 HAS SOUS 37505 HAS SOUPS 35071 WITH SCORE 35161.624
AT ITER 7458 NEW BEST:: SOT 211845 SOS 90612 HAS SOPS 76972 HAS SOUS 37499 HAS SOUPS 35065 WITH SCORE 35155.612
AT ITER 7601 NEW BEST:: SOT 211845 SOS 90556 HAS SOPS 76916 HAS SOUS 37499 HAS SOUPS 35065 WITH SCORE 35155.556
AT ITER 7689 NEW BEST:: SOT 211845 SOS 90554 HAS SOPS 76914 HAS SOUS 37498 HAS SOUPS 35064 WITH SCORE 35154.554
AT ITER 7718 NEW BEST:: SOT 211803 SOS 90466 HAS SOPS 76784 HAS SOUS 37474 HAS SOUPS 35040 WITH SCORE 35130.466
AT ITER 7722 NEW BEST:: SOT 211803 SOS 90460 HAS SOPS 76778 HAS SOUS 37471 HAS SOUPS 35037 WITH SCORE 35127.46
AT ITER 7742 NEW BEST:: SOT 211803 SOS 90454 HAS SOPS 76690 HAS SOUS 37509 HAS SOUPS 35034 WITH SCORE 35124.454
AT ITER 7744 NEW BEST:: SOT 211797 SOS 90448 HAS SOPS 76678 HAS SOUS 37491 HAS SOUPS 35016 WITH SCORE 35106.448
AT ITER 7789 NEW BEST:: SOT 211797 SOS 90448 HAS SOPS 76678 HAS SOUS 37489 HAS SOUPS 35014 WITH SCORE 35104.448
AT ITER 7806 NEW BEST:: SOT 211721 SOS 90372 HAS SOPS 76602 HAS SOUS 37413 HAS SOUPS 34938 WITH SCORE 35028.372
AT ITER 7814 NEW BEST:: SOT 211720 SOS 90371 HAS SOPS 76614 HAS SOUS 37410 HAS SOUPS 34935 WITH SCORE 35025.371
AT ITER 7838 NEW BEST:: SOT 211362 SOS 90013 HAS SOPS 76346 HAS SOUS 37305 HAS SOUPS 34848 WITH SCORE 34938.013
AT ITER 7846 NEW BEST:: SOT 211362 SOS 89997 HAS SOPS 76330 HAS SOUS 37305 HAS SOUPS 34848 WITH SCORE 34937.997
AT ITER 7852 NEW BEST:: SOT 211362 SOS 89981 HAS SOPS 76314 HAS SOUS 37297 HAS SOUPS 34840 WITH SCORE 34929.981
AT ITER 7918 NEW BEST:: SOT 211362 SOS 89981 HAS SOPS 76314 HAS SOUS 37289 HAS SOUPS 34832 WITH SCORE 34921.981
AT ITER 7938 NEW BEST:: SOT 211362 SOS 89939 HAS SOPS 76272 HAS SOUS 37282 HAS SOUPS 34825 WITH SCORE 34914.939
AT ITER 7940 NEW BEST:: SOT 211450 SOS 90027 HAS SOPS 76360 HAS SOUS 37264 HAS SOUPS 34807 WITH SCORE 34897.027
AT ITER 7979 NEW BEST:: SOT 211450 SOS 90025 HAS SOPS 76358 HAS SOUS 37264 HAS SOUPS 34807 WITH SCORE 34897.025
AT ITER 8026 NEW BEST:: SOT 211431 SOS 89938 HAS SOPS 76231 HAS SOUS 37163 HAS SOUPS 34706 WITH SCORE 34795.938
AT ITER 8028 NEW BEST:: SOT 211431 SOS 89938 HAS SOPS 76231 HAS SOUS 37159 HAS SOUPS 34702 WITH SCORE 34791.938
AT ITER 8040 NEW BEST:: SOT 211431 SOS 89904 HAS SOPS 76197 HAS SOUS 37158 HAS SOUPS 34701 WITH SCORE 34790.904
AT ITER 8047 NEW BEST:: SOT 211431 SOS 89866 HAS SOPS 76159 HAS SOUS 37151 HAS SOUPS 34694 WITH SCORE 34783.866
AT ITER 8065 NEW BEST:: SOT 211431 SOS 89656 HAS SOPS 75981 HAS SOUS 37132 HAS SOUPS 34691 WITH SCORE 34780.656
AT ITER 8084 NEW BEST:: SOT 211431 SOS 89626 HAS SOPS 75951 HAS SOUS 37074 HAS SOUPS 34633 WITH SCORE 34722.626
AT ITER 8088 NEW BEST:: SOT 211385 SOS 89580 HAS SOPS 75887 HAS SOUS 37028 HAS SOUPS 34569 WITH SCORE 34658.58
AT ITER 8091 NEW BEST:: SOT 211329 SOS 89524 HAS SOPS 75775 HAS SOUS 36916 HAS SOUPS 34457 WITH SCORE 34546.524
AT ITER 8092 NEW BEST:: SOT 211315 SOS 88616 HAS SOPS 74771 HAS SOUS 36820 HAS SOUPS 34361 WITH SCORE 34449.616
AT ITER 8105 NEW BEST:: SOT 211303 SOS 88604 HAS SOPS 74751 HAS SOUS 36808 HAS SOUPS 34349 WITH SCORE 34437.604
AT ITER 8140 NEW BEST:: SOT 211303 SOS 88604 HAS SOPS 74759 HAS SOUS 36803 HAS SOUPS 34348 WITH SCORE 34436.604
AT ITER 8149 NEW BEST:: SOT 211284 SOS 88585 HAS SOPS 74702 HAS SOUS 36746 HAS SOUPS 34291 WITH SCORE 34379.585
AT ITER 8169 NEW BEST:: SOT 211284 SOS 88641 HAS SOPS 74758 HAS SOUS 36741 HAS SOUPS 34286 WITH SCORE 34374.641
AT ITER 8186 NEW BEST:: SOT 211284 SOS 88633 HAS SOPS 74758 HAS SOUS 36737 HAS SOUPS 34286 WITH SCORE 34374.633
AT ITER 8215 NEW BEST:: SOT 211312 SOS 88661 HAS SOPS 74786 HAS SOUS 36713 HAS SOUPS 34262 WITH SCORE 34350.661
AT ITER 8291 NEW BEST:: SOT 211312 SOS 88653 HAS SOPS 74778 HAS SOUS 36713 HAS SOUPS 34262 WITH SCORE 34350.653
AT ITER 8325 NEW BEST:: SOT 211312 SOS 88597 HAS SOPS 74722 HAS SOUS 36699 HAS SOUPS 34248 WITH SCORE 34336.597
AT ITER 8327 NEW BEST:: SOT 211312 SOS 88593 HAS SOPS 74718 HAS SOUS 36697 HAS SOUPS 34246 WITH SCORE 34334.593
AT ITER 8356 NEW BEST:: SOT 211312 SOS 88593 HAS SOPS 74716 HAS SOUS 36693 HAS SOUPS 34242 WITH SCORE 34330.593
AT ITER 8388 NEW BEST:: SOT 211312 SOS 88565 HAS SOPS 74688 HAS SOUS 36686 HAS SOUPS 34235 WITH SCORE 34323.565
AT ITER 8399 NEW BEST:: SOT 211312 SOS 88559 HAS SOPS 74682 HAS SOUS 36686 HAS SOUPS 34235 WITH SCORE 34323.559
AT ITER 8419 NEW BEST:: SOT 211312 SOS 88543 HAS SOPS 74666 HAS SOUS 36686 HAS SOUPS 34235 WITH SCORE 34323.543
AT ITER 8507 NEW BEST:: SOT 211312 SOS 88497 HAS SOPS 74656 HAS SOUS 36663 HAS SOUPS 34230 WITH SCORE 34318.497
AT ITER 8512 NEW BEST:: SOT 211312 SOS 88495 HAS SOPS 74646 HAS SOUS 36666 HAS SOUPS 34229 WITH SCORE 34317.495
AT ITER 8543 NEW BEST:: SOT 211322 SOS 88505 HAS SOPS 74656 HAS SOUS 36644 HAS SOUPS 34207 WITH SCORE 34295.505
AT ITER 8585 NEW BEST:: SOT 211322 SOS 88505 HAS SOPS 74660 HAS SOUS 36640 HAS SOUPS 34205 WITH SCORE 34293.505
AT ITER 8606 NEW BEST:: SOT 211322 SOS 88509 HAS SOPS 74664 HAS SOUS 36630 HAS SOUPS 34195 WITH SCORE 34283.509
AT ITER 8630 NEW BEST:: SOT 211322 SOS 88485 HAS SOPS 74692 HAS SOUS 36601 HAS SOUPS 34192 WITH SCORE 34280.485
AT ITER 8691 NEW BEST:: SOT 211322 SOS 88509 HAS SOPS 74704 HAS SOUS 36599 HAS SOUPS 34190 WITH SCORE 34278.509
AT ITER 8730 NEW BEST:: SOT 211314 SOS 88501 HAS SOPS 74696 HAS SOUS 36591 HAS SOUPS 34182 WITH SCORE 34270.501
AT ITER 8748 NEW BEST:: SOT 211298 SOS 88565 HAS SOPS 74792 HAS SOUS 36571 HAS SOUPS 34162 WITH SCORE 34250.565
AT ITER 8759 NEW BEST:: SOT 211298 SOS 88495 HAS SOPS 74722 HAS SOUS 36571 HAS SOUPS 34162 WITH SCORE 34250.495
AT ITER 8763 NEW BEST:: SOT 211298 SOS 88493 HAS SOPS 74722 HAS SOUS 36570 HAS SOUPS 34162 WITH SCORE 34250.493
AT ITER 8777 NEW BEST:: SOT 211298 SOS 88453 HAS SOPS 74722 HAS SOUS 36550 HAS SOUPS 34162 WITH SCORE 34250.453
AT ITER 8898 NEW BEST:: SOT 211296 SOS 88447 HAS SOPS 74716 HAS SOUS 36549 HAS SOUPS 34161 WITH SCORE 34249.447
AT ITER 8922 NEW BEST:: SOT 211296 SOS 88453 HAS SOPS 74722 HAS SOUS 36546 HAS SOUPS 34158 WITH SCORE 34246.453
AT ITER 8928 NEW BEST:: SOT 211407 SOS 88600 HAS SOPS 74827 HAS SOUS 36419 HAS SOUPS 34041 WITH SCORE 34129.6
AT ITER 8944 NEW BEST:: SOT 211398 SOS 88591 HAS SOPS 74806 HAS SOUS 36401 HAS SOUPS 34023 WITH SCORE 34111.591
AT ITER 8993 NEW BEST:: SOT 211398 SOS 88583 HAS SOPS 74784 HAS SOUS 36402 HAS SOUPS 34017 WITH SCORE 34105.583
AT ITER 9001 NEW BEST:: SOT 211348 SOS 88493 HAS SOPS 74642 HAS SOUS 36293 HAS SOUPS 33908 WITH SCORE 33996.493
AT ITER 9005 NEW BEST:: SOT 211348 SOS 88491 HAS SOPS 74638 HAS SOUS 36292 HAS SOUPS 33906 WITH SCORE 33994.491
AT ITER 9093 NEW BEST:: SOT 211348 SOS 88505 HAS SOPS 74652 HAS SOUS 36278 HAS SOUPS 33892 WITH SCORE 33980.505
AT ITER 9124 NEW BEST:: SOT 211334 SOS 88491 HAS SOPS 74624 HAS SOUS 36270 HAS SOUPS 33884 WITH SCORE 33972.491
AT ITER 9136 NEW BEST:: SOT 211334 SOS 88491 HAS SOPS 74624 HAS SOUS 36262 HAS SOUPS 33876 WITH SCORE 33964.491
AT ITER 9183 NEW BEST:: SOT 211330 SOS 88471 HAS SOPS 74608 HAS SOUS 36258 HAS SOUPS 33872 WITH SCORE 33960.471
AT ITER 9210 NEW BEST:: SOT 211330 SOS 88451 HAS SOPS 74588 HAS SOUS 36258 HAS SOUPS 33872 WITH SCORE 33960.451
AT ITER 9219 NEW BEST:: SOT 211330 SOS 88427 HAS SOPS 74564 HAS SOUS 36255 HAS SOUPS 33869 WITH SCORE 33957.427
AT ITER 9228 NEW BEST:: SOT 211330 SOS 88371 HAS SOPS 74508 HAS SOUS 36241 HAS SOUPS 33855 WITH SCORE 33943.371
AT ITER 9236 NEW BEST:: SOT 211330 SOS 88371 HAS SOPS 74508 HAS SOUS 36226 HAS SOUPS 33840 WITH SCORE 33928.371
AT ITER 9299 NEW BEST:: SOT 210921 SOS 87754 HAS SOPS 73703 HAS SOUS 36149 HAS SOUPS 33779 WITH SCORE 33866.754
AT ITER 9306 NEW BEST:: SOT 210921 SOS 87718 HAS SOPS 73649 HAS SOUS 36149 HAS SOUPS 33770 WITH SCORE 33857.718
AT ITER 9333 NEW BEST:: SOT 210921 SOS 87698 HAS SOPS 73629 HAS SOUS 36149 HAS SOUPS 33770 WITH SCORE 33857.698
AT ITER 9393 NEW BEST:: SOT 210921 SOS 87690 HAS SOPS 73621 HAS SOUS 36149 HAS SOUPS 33770 WITH SCORE 33857.69
AT ITER 9436 NEW BEST:: SOT 210921 SOS 87684 HAS SOPS 73603 HAS SOUS 36152 HAS SOUPS 33767 WITH SCORE 33854.684
AT ITER 9444 NEW BEST:: SOT 210921 SOS 87684 HAS SOPS 73603 HAS SOUS 36150 HAS SOUPS 33765 WITH SCORE 33852.684
AT ITER 9463 NEW BEST:: SOT 210921 SOS 87672 HAS SOPS 73591 HAS SOUS 36144 HAS SOUPS 33759 WITH SCORE 33846.672
AT ITER 9488 NEW BEST:: SOT 210921 SOS 87534 HAS SOPS 73409 HAS SOUS 36139 HAS SOUPS 33754 WITH SCORE 33841.534
AT ITER 9620 NEW BEST:: SOT 210921 SOS 87470 HAS SOPS 73345 HAS SOUS 36124 HAS SOUPS 33739 WITH SCORE 33826.47
AT ITER 9705 NEW BEST:: SOT 210921 SOS 87468 HAS SOPS 73343 HAS SOUS 36123 HAS SOUPS 33738 WITH SCORE 33825.468
AT ITER 9770 NEW BEST:: SOT 210921 SOS 87482 HAS SOPS 73357 HAS SOUS 36120 HAS SOUPS 33735 WITH SCORE 33822.482
AT ITER 9800 NEW BEST:: SOT 210921 SOS 87472 HAS SOPS 73347 HAS SOUS 36115 HAS SOUPS 33730 WITH SCORE 33817.472
AT ITER 9816 NEW BEST:: SOT 210909 SOS 87446 HAS SOPS 73321 HAS SOUS 36099 HAS SOUPS 33714 WITH SCORE 33801.446
AT ITER 9864 NEW BEST:: SOT 210909 SOS 87482 HAS SOPS 73281 HAS SOUS 35820 HAS SOUPS 33435 WITH SCORE 33522.482
AT ITER 9869 NEW BEST:: SOT 210909 SOS 87444 HAS SOPS 73243 HAS SOUS 35820 HAS SOUPS 33435 WITH SCORE 33522.444
AT ITER 9884 NEW BEST:: SOT 210909 SOS 87468 HAS SOPS 73267 HAS SOUS 35812 HAS SOUPS 33427 WITH SCORE 33514.468
AT ITER 9890 NEW BEST:: SOT 210909 SOS 87476 HAS SOPS 73265 HAS SOUS 35816 HAS SOUPS 33426 WITH SCORE 33513.476
AT ITER 9896 NEW BEST:: SOT 210909 SOS 87549 HAS SOPS 73338 HAS SOUS 35815 HAS SOUPS 33425 WITH SCORE 33512.549
AT ITER 9939 NEW BEST:: SOT 210877 SOS 87365 HAS SOPS 72742 HAS SOUS 35802 HAS SOUPS 33412 WITH SCORE 33499.365
AT ITER 9974 NEW BEST:: SOT 210877 SOS 87369 HAS SOPS 72746 HAS SOUS 35796 HAS SOUPS 33406 WITH SCORE 33493.369
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7839684 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154540 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="FunctionPointer-PT-b032"
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 FunctionPointer-PT-b032, 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 r163-tall-167838848200696"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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