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.r291-tall-167873943300736.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 PolyORBNT-PT-S05J40, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943300736
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 34K Feb 25 23:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 186K Feb 25 23:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 56K Feb 25 23:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 251K Feb 25 23:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 43K Feb 25 23:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 217K Feb 25 23:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 168K Feb 25 23:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 755K Feb 25 23:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.3M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678814064606

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=PolyORBNT-PT-S05J40
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S05J40
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: 629 places, 1590 transitions, 10704 arcs.
AT ITER 0 NEW BEST:: SOT 704204 SOS 339233 HAS SOPS 339233 HAS SOUS 185175 HAS SOUPS 185175 WITH SCORE 185514.233
AT ITER 8 NEW BEST:: SOT 704116 SOS 339023 HAS SOPS 339023 HAS SOUS 184487 HAS SOUPS 184487 WITH SCORE 184826.023
AT ITER 12 NEW BEST:: SOT 704124 SOS 339217 HAS SOPS 339217 HAS SOUS 184357 HAS SOUPS 184357 WITH SCORE 184696.217
AT ITER 20 NEW BEST:: SOT 704085 SOS 339178 HAS SOPS 339178 HAS SOUS 184318 HAS SOUPS 184318 WITH SCORE 184657.178
AT ITER 24 NEW BEST:: SOT 703951 SOS 338922 HAS SOPS 338922 HAS SOUS 183574 HAS SOUPS 183574 WITH SCORE 183912.922
AT ITER 25 NEW BEST:: SOT 703934 SOS 338871 HAS SOPS 338871 HAS SOUS 183387 HAS SOUPS 183387 WITH SCORE 183725.871
AT ITER 38 NEW BEST:: SOT 703913 SOS 338728 HAS SOPS 338728 HAS SOUS 182842 HAS SOUPS 182842 WITH SCORE 183180.728
AT ITER 53 NEW BEST:: SOT 703754 SOS 338569 HAS SOPS 338569 HAS SOUS 182683 HAS SOUPS 182683 WITH SCORE 183021.569
AT ITER 54 NEW BEST:: SOT 704042 SOS 338735 HAS SOPS 338735 HAS SOUS 182521 HAS SOUPS 182521 WITH SCORE 182859.735
AT ITER 59 NEW BEST:: SOT 704040 SOS 338733 HAS SOPS 338733 HAS SOUS 182519 HAS SOUPS 182519 WITH SCORE 182857.733
AT ITER 60 NEW BEST:: SOT 574265 SOS 209511 HAS SOPS 209511 HAS SOUS 163239 HAS SOUPS 163239 WITH SCORE 163448.511
AT ITER 70 NEW BEST:: SOT 574273 SOS 209813 HAS SOPS 209813 HAS SOUS 163145 HAS SOUPS 163145 WITH SCORE 163354.813
AT ITER 82 NEW BEST:: SOT 574214 SOS 209699 HAS SOPS 209699 HAS SOUS 162676 HAS SOUPS 162676 WITH SCORE 162885.699
AT ITER 85 NEW BEST:: SOT 574214 SOS 209675 HAS SOPS 209675 HAS SOUS 162264 HAS SOUPS 162264 WITH SCORE 162473.675
AT ITER 88 NEW BEST:: SOT 574232 SOS 209610 HAS SOPS 209610 HAS SOUS 161867 HAS SOUPS 161867 WITH SCORE 162076.61
AT ITER 90 NEW BEST:: SOT 574259 SOS 209647 HAS SOPS 209647 HAS SOUS 161664 HAS SOUPS 161664 WITH SCORE 161873.647
AT ITER 97 NEW BEST:: SOT 574199 SOS 209511 HAS SOPS 209511 HAS SOUS 160994 HAS SOUPS 160994 WITH SCORE 161203.511
AT ITER 100 NEW BEST:: SOT 574183 SOS 209509 HAS SOPS 209509 HAS SOUS 160978 HAS SOUPS 160978 WITH SCORE 161187.509
AT ITER 102 NEW BEST:: SOT 574183 SOS 209436 HAS SOPS 209436 HAS SOUS 160613 HAS SOUPS 160613 WITH SCORE 160822.436
AT ITER 105 NEW BEST:: SOT 574191 SOS 209768 HAS SOPS 209768 HAS SOUS 160529 HAS SOUPS 160529 WITH SCORE 160738.768
AT ITER 112 NEW BEST:: SOT 574145 SOS 209775 HAS SOPS 209775 HAS SOUS 160507 HAS SOUPS 160507 WITH SCORE 160716.775
AT ITER 128 NEW BEST:: SOT 574194 SOS 209812 HAS SOPS 209812 HAS SOUS 160174 HAS SOUPS 160174 WITH SCORE 160383.812
AT ITER 129 NEW BEST:: SOT 574194 SOS 209812 HAS SOPS 209812 HAS SOUS 160079 HAS SOUPS 160079 WITH SCORE 160288.812
AT ITER 131 NEW BEST:: SOT 574175 SOS 209793 HAS SOPS 209793 HAS SOUS 159946 HAS SOUPS 159946 WITH SCORE 160155.793
AT ITER 140 NEW BEST:: SOT 574178 SOS 209719 HAS SOPS 209719 HAS SOUS 159461 HAS SOUPS 159461 WITH SCORE 159670.719
AT ITER 149 NEW BEST:: SOT 574085 SOS 209563 HAS SOPS 209563 HAS SOUS 158818 HAS SOUPS 158818 WITH SCORE 159027.563
AT ITER 153 NEW BEST:: SOT 574085 SOS 209563 HAS SOPS 209563 HAS SOUS 158483 HAS SOUPS 158483 WITH SCORE 158692.563
AT ITER 161 NEW BEST:: SOT 574345 SOS 209833 HAS SOPS 209833 HAS SOUS 158342 HAS SOUPS 158342 WITH SCORE 158551.833
AT ITER 162 NEW BEST:: SOT 574345 SOS 211128 HAS SOPS 211128 HAS SOUS 158290 HAS SOUPS 158290 WITH SCORE 158501.128
AT ITER 167 NEW BEST:: SOT 574242 SOS 210980 HAS SOPS 210980 HAS SOUS 157583 HAS SOUPS 157583 WITH SCORE 157793.98
AT ITER 172 NEW BEST:: SOT 574250 SOS 211252 HAS SOPS 211252 HAS SOUS 157488 HAS SOUPS 157488 WITH SCORE 157699.252
AT ITER 174 NEW BEST:: SOT 574066 SOS 211021 HAS SOPS 211021 HAS SOUS 156799 HAS SOUPS 156799 WITH SCORE 157010.021
AT ITER 178 NEW BEST:: SOT 574562 SOS 211436 HAS SOPS 211436 HAS SOUS 156735 HAS SOUPS 156735 WITH SCORE 156946.436
AT ITER 179 NEW BEST:: SOT 574500 SOS 211499 HAS SOPS 211499 HAS SOUS 156729 HAS SOUPS 156729 WITH SCORE 156940.499
AT ITER 185 NEW BEST:: SOT 574686 SOS 211513 HAS SOPS 211513 HAS SOUS 156160 HAS SOUPS 156160 WITH SCORE 156371.513
AT ITER 186 NEW BEST:: SOT 574635 SOS 211421 HAS SOPS 211421 HAS SOUS 155904 HAS SOUPS 155904 WITH SCORE 156115.421
AT ITER 190 NEW BEST:: SOT 574669 SOS 211455 HAS SOPS 211455 HAS SOUS 155705 HAS SOUPS 155705 WITH SCORE 155916.455
AT ITER 196 NEW BEST:: SOT 574669 SOS 211455 HAS SOPS 211455 HAS SOUS 155495 HAS SOUPS 155495 WITH SCORE 155706.455
AT ITER 214 NEW BEST:: SOT 574677 SOS 211710 HAS SOPS 211710 HAS SOUS 155398 HAS SOUPS 155398 WITH SCORE 155609.71
AT ITER 216 NEW BEST:: SOT 574596 SOS 211424 HAS SOPS 211424 HAS SOUS 155220 HAS SOUPS 155220 WITH SCORE 155431.424
AT ITER 224 NEW BEST:: SOT 574511 SOS 211339 HAS SOPS 211339 HAS SOUS 155066 HAS SOUPS 155066 WITH SCORE 155277.339
AT ITER 228 NEW BEST:: SOT 574449 SOS 211031 HAS SOPS 211031 HAS SOUS 154998 HAS SOUPS 154998 WITH SCORE 155209.031
AT ITER 239 NEW BEST:: SOT 574321 SOS 210771 HAS SOPS 210771 HAS SOUS 154569 HAS SOUPS 154569 WITH SCORE 154779.771
AT ITER 240 NEW BEST:: SOT 574239 SOS 210648 HAS SOPS 210648 HAS SOUS 154282 HAS SOUPS 154282 WITH SCORE 154492.648
AT ITER 241 NEW BEST:: SOT 574239 SOS 210628 HAS SOPS 210628 HAS SOUS 154050 HAS SOUPS 154050 WITH SCORE 154260.628
AT ITER 245 NEW BEST:: SOT 574138 SOS 210527 HAS SOPS 210527 HAS SOUS 153806 HAS SOUPS 153806 WITH SCORE 154016.527
AT ITER 251 NEW BEST:: SOT 574138 SOS 210527 HAS SOPS 210527 HAS SOUS 153606 HAS SOUPS 153606 WITH SCORE 153816.527
AT ITER 261 NEW BEST:: SOT 574138 SOS 210522 HAS SOPS 210522 HAS SOUS 153581 HAS SOUPS 153581 WITH SCORE 153791.522
AT ITER 263 NEW BEST:: SOT 574137 SOS 210550 HAS SOPS 210550 HAS SOUS 153555 HAS SOUPS 153555 WITH SCORE 153765.55
AT ITER 265 NEW BEST:: SOT 574137 SOS 210521 HAS SOPS 210521 HAS SOUS 153333 HAS SOUPS 153333 WITH SCORE 153543.521
AT ITER 266 NEW BEST:: SOT 574137 SOS 210521 HAS SOPS 210521 HAS SOUS 153299 HAS SOUPS 153299 WITH SCORE 153509.521
AT ITER 267 NEW BEST:: SOT 574217 SOS 210561 HAS SOPS 210561 HAS SOUS 152789 HAS SOUPS 152789 WITH SCORE 152999.561
AT ITER 271 NEW BEST:: SOT 574302 SOS 210561 HAS SOPS 210561 HAS SOUS 152619 HAS SOUPS 152619 WITH SCORE 152829.561
AT ITER 279 NEW BEST:: SOT 574302 SOS 210517 HAS SOPS 210517 HAS SOUS 152575 HAS SOUPS 152575 WITH SCORE 152785.517
AT ITER 282 NEW BEST:: SOT 574417 SOS 210699 HAS SOPS 210699 HAS SOUS 152281 HAS SOUPS 152281 WITH SCORE 152491.699
AT ITER 283 NEW BEST:: SOT 574417 SOS 210699 HAS SOPS 210699 HAS SOUS 152119 HAS SOUPS 152119 WITH SCORE 152329.699
AT ITER 286 NEW BEST:: SOT 574417 SOS 210699 HAS SOPS 210699 HAS SOUS 152080 HAS SOUPS 152080 WITH SCORE 152290.699
AT ITER 287 NEW BEST:: SOT 574439 SOS 210721 HAS SOPS 210721 HAS SOUS 151630 HAS SOUPS 151630 WITH SCORE 151840.721
AT ITER 291 NEW BEST:: SOT 574393 SOS 210661 HAS SOPS 210661 HAS SOUS 151374 HAS SOUPS 151374 WITH SCORE 151584.661
AT ITER 293 NEW BEST:: SOT 574393 SOS 210661 HAS SOPS 210661 HAS SOUS 151208 HAS SOUPS 151208 WITH SCORE 151418.661
AT ITER 300 NEW BEST:: SOT 574447 SOS 210687 HAS SOPS 210687 HAS SOUS 151005 HAS SOUPS 151005 WITH SCORE 151215.687
AT ITER 304 NEW BEST:: SOT 574368 SOS 210567 HAS SOPS 210567 HAS SOUS 150629 HAS SOUPS 150629 WITH SCORE 150839.567
AT ITER 321 NEW BEST:: SOT 574364 SOS 210559 HAS SOPS 210559 HAS SOUS 150621 HAS SOUPS 150621 WITH SCORE 150831.559
AT ITER 328 NEW BEST:: SOT 574367 SOS 210552 HAS SOPS 210552 HAS SOUS 150576 HAS SOUPS 150576 WITH SCORE 150786.552
AT ITER 331 NEW BEST:: SOT 574317 SOS 210502 HAS SOPS 210502 HAS SOUS 150526 HAS SOUPS 150526 WITH SCORE 150736.502
AT ITER 341 NEW BEST:: SOT 574209 SOS 210348 HAS SOPS 210348 HAS SOUS 149808 HAS SOUPS 149808 WITH SCORE 150018.348
AT ITER 342 NEW BEST:: SOT 574199 SOS 210957 HAS SOPS 210957 HAS SOUS 149787 HAS SOUPS 149787 WITH SCORE 149997.957
AT ITER 346 NEW BEST:: SOT 574207 SOS 211168 HAS SOPS 211168 HAS SOUS 149654 HAS SOUPS 149654 WITH SCORE 149865.168
AT ITER 347 NEW BEST:: SOT 574207 SOS 211159 HAS SOPS 211159 HAS SOUS 149516 HAS SOUPS 149516 WITH SCORE 149727.159
AT ITER 354 NEW BEST:: SOT 574205 SOS 211157 HAS SOPS 211157 HAS SOUS 149514 HAS SOUPS 149514 WITH SCORE 149725.157
AT ITER 370 NEW BEST:: SOT 574273 SOS 211134 HAS SOPS 211134 HAS SOUS 149052 HAS SOUPS 149052 WITH SCORE 149263.134
AT ITER 419 NEW BEST:: SOT 574241 SOS 211068 HAS SOPS 211068 HAS SOUS 148974 HAS SOUPS 148974 WITH SCORE 149185.068
AT ITER 433 NEW BEST:: SOT 574241 SOS 211054 HAS SOPS 211054 HAS SOUS 148932 HAS SOUPS 148932 WITH SCORE 149143.054
AT ITER 437 NEW BEST:: SOT 574197 SOS 210944 HAS SOPS 210944 HAS SOUS 148504 HAS SOUPS 148504 WITH SCORE 148714.944
AT ITER 438 NEW BEST:: SOT 574196 SOS 210873 HAS SOPS 210873 HAS SOUS 147915 HAS SOUPS 147915 WITH SCORE 148125.873
AT ITER 453 NEW BEST:: SOT 574185 SOS 210937 HAS SOPS 210937 HAS SOUS 147864 HAS SOUPS 147864 WITH SCORE 148074.937
AT ITER 455 NEW BEST:: SOT 574185 SOS 210929 HAS SOPS 210929 HAS SOUS 147824 HAS SOUPS 147824 WITH SCORE 148034.929
AT ITER 463 NEW BEST:: SOT 574123 SOS 210992 HAS SOPS 210992 HAS SOUS 147725 HAS SOUPS 147725 WITH SCORE 147935.992
AT ITER 477 NEW BEST:: SOT 573934 SOS 217053 HAS SOPS 217053 HAS SOUS 147714 HAS SOUPS 147714 WITH SCORE 147931.053
AT ITER 486 NEW BEST:: SOT 573990 SOS 217091 HAS SOPS 217091 HAS SOUS 147680 HAS SOUPS 147680 WITH SCORE 147897.091
AT ITER 488 NEW BEST:: SOT 573990 SOS 217091 HAS SOPS 217091 HAS SOUS 147600 HAS SOUPS 147600 WITH SCORE 147817.091
AT ITER 492 NEW BEST:: SOT 573990 SOS 216955 HAS SOPS 216955 HAS SOUS 147498 HAS SOUPS 147498 WITH SCORE 147714.955
AT ITER 499 NEW BEST:: SOT 573925 SOS 216949 HAS SOPS 216949 HAS SOUS 147465 HAS SOUPS 147465 WITH SCORE 147681.949
AT ITER 516 NEW BEST:: SOT 573958 SOS 216837 HAS SOPS 216837 HAS SOUS 146773 HAS SOUPS 146773 WITH SCORE 146989.837
AT ITER 517 NEW BEST:: SOT 573956 SOS 216816 HAS SOPS 216816 HAS SOUS 146574 HAS SOUPS 146574 WITH SCORE 146790.816
AT ITER 518 NEW BEST:: SOT 574344 SOS 217173 HAS SOPS 217173 HAS SOUS 146421 HAS SOUPS 146421 WITH SCORE 146638.173
AT ITER 532 NEW BEST:: SOT 574309 SOS 217085 HAS SOPS 217085 HAS SOUS 146295 HAS SOUPS 146295 WITH SCORE 146512.085
AT ITER 534 NEW BEST:: SOT 574317 SOS 217099 HAS SOPS 217099 HAS SOUS 146270 HAS SOUPS 146270 WITH SCORE 146487.099
AT ITER 548 NEW BEST:: SOT 570361 SOS 213197 HAS SOPS 213197 HAS SOUS 142338 HAS SOUPS 142338 WITH SCORE 142551.197
AT ITER 557 NEW BEST:: SOT 570279 SOS 213165 HAS SOPS 213165 HAS SOUS 142274 HAS SOUPS 142274 WITH SCORE 142487.165
AT ITER 560 NEW BEST:: SOT 570248 SOS 213239 HAS SOPS 213239 HAS SOUS 142246 HAS SOUPS 142246 WITH SCORE 142459.239
AT ITER 565 NEW BEST:: SOT 570177 SOS 213245 HAS SOPS 213245 HAS SOUS 142205 HAS SOUPS 142205 WITH SCORE 142418.245
AT ITER 570 NEW BEST:: SOT 570176 SOS 213244 HAS SOPS 213244 HAS SOUS 142204 HAS SOUPS 142204 WITH SCORE 142417.244
AT ITER 589 NEW BEST:: SOT 570336 SOS 213123 HAS SOPS 213123 HAS SOUS 142182 HAS SOUPS 142182 WITH SCORE 142395.123
AT ITER 590 NEW BEST:: SOT 570146 SOS 212933 HAS SOPS 212933 HAS SOUS 141992 HAS SOUPS 141992 WITH SCORE 142204.933
AT ITER 599 NEW BEST:: SOT 570234 SOS 213099 HAS SOPS 213099 HAS SOUS 141901 HAS SOUPS 141901 WITH SCORE 142114.099
AT ITER 601 NEW BEST:: SOT 570234 SOS 213116 HAS SOPS 213116 HAS SOUS 141884 HAS SOUPS 141884 WITH SCORE 142097.116
AT ITER 607 NEW BEST:: SOT 570231 SOS 213113 HAS SOPS 213113 HAS SOUS 141879 HAS SOUPS 141879 WITH SCORE 142092.113
AT ITER 610 NEW BEST:: SOT 570264 SOS 213146 HAS SOPS 213146 HAS SOUS 141745 HAS SOUPS 141745 WITH SCORE 141958.146
AT ITER 622 NEW BEST:: SOT 570264 SOS 213146 HAS SOPS 213146 HAS SOUS 141662 HAS SOUPS 141662 WITH SCORE 141875.146
AT ITER 632 NEW BEST:: SOT 570104 SOS 213009 HAS SOPS 213009 HAS SOUS 141446 HAS SOUPS 141446 WITH SCORE 141659.009
AT ITER 637 NEW BEST:: SOT 569999 SOS 212776 HAS SOPS 212776 HAS SOUS 141148 HAS SOUPS 141148 WITH SCORE 141360.776
AT ITER 646 NEW BEST:: SOT 569999 SOS 212776 HAS SOPS 212776 HAS SOUS 141019 HAS SOUPS 141019 WITH SCORE 141231.776
AT ITER 648 NEW BEST:: SOT 569972 SOS 212739 HAS SOPS 212739 HAS SOUS 140832 HAS SOUPS 140832 WITH SCORE 141044.739
AT ITER 658 NEW BEST:: SOT 569912 SOS 212698 HAS SOPS 212698 HAS SOUS 140766 HAS SOUPS 140766 WITH SCORE 140978.698
AT ITER 661 NEW BEST:: SOT 569912 SOS 212664 HAS SOPS 212664 HAS SOUS 140698 HAS SOUPS 140698 WITH SCORE 140910.664
AT ITER 672 NEW BEST:: SOT 569904 SOS 212660 HAS SOPS 212660 HAS SOUS 140690 HAS SOUPS 140690 WITH SCORE 140902.66
AT ITER 673 NEW BEST:: SOT 554178 SOS 238293 HAS SOPS 238293 HAS SOUS 125708 HAS SOUPS 125708 WITH SCORE 125946.293
AT ITER 680 NEW BEST:: SOT 554074 SOS 238189 HAS SOPS 238189 HAS SOUS 125500 HAS SOUPS 125500 WITH SCORE 125738.189
AT ITER 697 NEW BEST:: SOT 553807 SOS 237815 HAS SOPS 237815 HAS SOUS 125126 HAS SOUPS 125126 WITH SCORE 125363.815
AT ITER 704 NEW BEST:: SOT 553803 SOS 237811 HAS SOPS 237811 HAS SOUS 125122 HAS SOUPS 125122 WITH SCORE 125359.811
AT ITER 711 NEW BEST:: SOT 553617 SOS 237625 HAS SOPS 237625 HAS SOUS 124936 HAS SOUPS 124936 WITH SCORE 125173.625
AT ITER 712 NEW BEST:: SOT 553676 SOS 237668 HAS SOPS 237668 HAS SOUS 124579 HAS SOUPS 124579 WITH SCORE 124816.668
AT ITER 715 NEW BEST:: SOT 553661 SOS 237759 HAS SOPS 237759 HAS SOUS 124549 HAS SOUPS 124549 WITH SCORE 124786.759
AT ITER 727 NEW BEST:: SOT 553675 SOS 237773 HAS SOPS 237773 HAS SOUS 124521 HAS SOUPS 124521 WITH SCORE 124758.773
AT ITER 728 NEW BEST:: SOT 553669 SOS 237767 HAS SOPS 237767 HAS SOUS 124505 HAS SOUPS 124505 WITH SCORE 124742.767
AT ITER 730 NEW BEST:: SOT 553591 SOS 237711 HAS SOPS 237711 HAS SOUS 124449 HAS SOUPS 124449 WITH SCORE 124686.711
AT ITER 733 NEW BEST:: SOT 553568 SOS 237688 HAS SOPS 237688 HAS SOUS 124426 HAS SOUPS 124426 WITH SCORE 124663.688
AT ITER 746 NEW BEST:: SOT 553696 SOS 237816 HAS SOPS 237816 HAS SOUS 124214 HAS SOUPS 124214 WITH SCORE 124451.816
AT ITER 754 NEW BEST:: SOT 553696 SOS 237717 HAS SOPS 237717 HAS SOUS 124190 HAS SOUPS 124190 WITH SCORE 124427.717
AT ITER 759 NEW BEST:: SOT 553607 SOS 237628 HAS SOPS 237628 HAS SOUS 124005 HAS SOUPS 124005 WITH SCORE 124242.628
AT ITER 762 NEW BEST:: SOT 553660 SOS 237681 HAS SOPS 237681 HAS SOUS 123926 HAS SOUPS 123926 WITH SCORE 124163.681
AT ITER 769 NEW BEST:: SOT 553746 SOS 237767 HAS SOPS 237767 HAS SOUS 123759 HAS SOUPS 123759 WITH SCORE 123996.767
AT ITER 771 NEW BEST:: SOT 553742 SOS 237915 HAS SOPS 237915 HAS SOUS 123753 HAS SOUPS 123753 WITH SCORE 123990.915
AT ITER 793 NEW BEST:: SOT 553775 SOS 237835 HAS SOPS 237835 HAS SOUS 123513 HAS SOUPS 123513 WITH SCORE 123750.835
AT ITER 797 NEW BEST:: SOT 553905 SOS 237742 HAS SOPS 237742 HAS SOUS 123486 HAS SOUPS 123486 WITH SCORE 123723.742
AT ITER 798 NEW BEST:: SOT 553905 SOS 237708 HAS SOPS 237708 HAS SOUS 123452 HAS SOUPS 123452 WITH SCORE 123689.708
AT ITER 801 NEW BEST:: SOT 553797 SOS 237583 HAS SOPS 237583 HAS SOUS 123226 HAS SOUPS 123226 WITH SCORE 123463.583
AT ITER 811 NEW BEST:: SOT 553932 SOS 237718 HAS SOPS 237718 HAS SOUS 122693 HAS SOUPS 122693 WITH SCORE 122930.718
AT ITER 818 NEW BEST:: SOT 553932 SOS 237718 HAS SOPS 237718 HAS SOUS 122635 HAS SOUPS 122635 WITH SCORE 122872.718
AT ITER 822 NEW BEST:: SOT 553932 SOS 237741 HAS SOPS 237741 HAS SOUS 122273 HAS SOUPS 122273 WITH SCORE 122510.741
AT ITER 823 NEW BEST:: SOT 553932 SOS 237678 HAS SOPS 237678 HAS SOUS 122162 HAS SOUPS 122162 WITH SCORE 122399.678
AT ITER 824 NEW BEST:: SOT 530195 SOS 266414 HAS SOPS 266414 HAS SOUS 120524 HAS SOUPS 120524 WITH SCORE 120790.414
AT ITER 843 NEW BEST:: SOT 530089 SOS 266308 HAS SOPS 266308 HAS SOUS 120504 HAS SOUPS 120504 WITH SCORE 120770.308
AT ITER 857 NEW BEST:: SOT 530419 SOS 266638 HAS SOPS 266638 HAS SOUS 120441 HAS SOUPS 120441 WITH SCORE 120707.638
AT ITER 860 NEW BEST:: SOT 530129 SOS 266348 HAS SOPS 266348 HAS SOUS 120134 HAS SOUPS 120134 WITH SCORE 120400.348
AT ITER 862 NEW BEST:: SOT 530129 SOS 266348 HAS SOPS 266348 HAS SOUS 120110 HAS SOUPS 120110 WITH SCORE 120376.348
AT ITER 873 NEW BEST:: SOT 530235 SOS 266454 HAS SOPS 266454 HAS SOUS 120004 HAS SOUPS 120004 WITH SCORE 120270.454
AT ITER 874 NEW BEST:: SOT 530197 SOS 266416 HAS SOPS 266416 HAS SOUS 119890 HAS SOUPS 119890 WITH SCORE 120156.416
AT ITER 877 NEW BEST:: SOT 530201 SOS 266420 HAS SOPS 266420 HAS SOUS 119490 HAS SOUPS 119490 WITH SCORE 119756.42
AT ITER 892 NEW BEST:: SOT 530205 SOS 266424 HAS SOPS 266424 HAS SOUS 119401 HAS SOUPS 119401 WITH SCORE 119667.424
AT ITER 900 NEW BEST:: SOT 530187 SOS 266406 HAS SOPS 266406 HAS SOUS 119383 HAS SOUPS 119383 WITH SCORE 119649.406
AT ITER 901 NEW BEST:: SOT 530238 SOS 266457 HAS SOPS 266457 HAS SOUS 118954 HAS SOUPS 118954 WITH SCORE 119220.457
AT ITER 904 NEW BEST:: SOT 530238 SOS 260335 HAS SOPS 260335 HAS SOUS 118954 HAS SOUPS 118954 WITH SCORE 119214.335
AT ITER 905 NEW BEST:: SOT 530248 SOS 260345 HAS SOPS 260345 HAS SOUS 118579 HAS SOUPS 118579 WITH SCORE 118839.345
AT ITER 906 NEW BEST:: SOT 530248 SOS 260242 HAS SOPS 260242 HAS SOUS 118558 HAS SOUPS 118558 WITH SCORE 118818.242
AT ITER 918 NEW BEST:: SOT 530248 SOS 260242 HAS SOPS 260242 HAS SOUS 118502 HAS SOUPS 118502 WITH SCORE 118762.242
AT ITER 920 NEW BEST:: SOT 529850 SOS 259844 HAS SOPS 259844 HAS SOUS 117717 HAS SOUPS 117717 WITH SCORE 117976.844
AT ITER 921 NEW BEST:: SOT 529812 SOS 259806 HAS SOPS 259806 HAS SOUS 117679 HAS SOUPS 117679 WITH SCORE 117938.806
AT ITER 927 NEW BEST:: SOT 529774 SOS 259768 HAS SOPS 259768 HAS SOUS 117615 HAS SOUPS 117615 WITH SCORE 117874.768
AT ITER 931 NEW BEST:: SOT 529770 SOS 259764 HAS SOPS 259764 HAS SOUS 117609 HAS SOUPS 117609 WITH SCORE 117868.764
AT ITER 934 NEW BEST:: SOT 529812 SOS 259806 HAS SOPS 259806 HAS SOUS 117462 HAS SOUPS 117462 WITH SCORE 117721.806
AT ITER 935 NEW BEST:: SOT 529814 SOS 259808 HAS SOPS 259808 HAS SOUS 117004 HAS SOUPS 117004 WITH SCORE 117263.808
AT ITER 938 NEW BEST:: SOT 529713 SOS 259707 HAS SOPS 259707 HAS SOUS 116903 HAS SOUPS 116903 WITH SCORE 117162.707
AT ITER 940 NEW BEST:: SOT 529869 SOS 259863 HAS SOPS 259863 HAS SOUS 116861 HAS SOUPS 116861 WITH SCORE 117120.863
AT ITER 941 NEW BEST:: SOT 529869 SOS 259898 HAS SOPS 259898 HAS SOUS 116791 HAS SOUPS 116791 WITH SCORE 117050.898
AT ITER 947 NEW BEST:: SOT 529846 SOS 260025 HAS SOPS 260025 HAS SOUS 116745 HAS SOUPS 116745 WITH SCORE 117005.025
AT ITER 948 NEW BEST:: SOT 529842 SOS 260021 HAS SOPS 260021 HAS SOUS 116740 HAS SOUPS 116740 WITH SCORE 117000.021
AT ITER 956 NEW BEST:: SOT 529784 SOS 259876 HAS SOPS 259876 HAS SOUS 116682 HAS SOUPS 116682 WITH SCORE 116941.876
AT ITER 975 NEW BEST:: SOT 529747 SOS 259647 HAS SOPS 259647 HAS SOUS 116547 HAS SOUPS 116547 WITH SCORE 116806.647
AT ITER 983 NEW BEST:: SOT 529706 SOS 259606 HAS SOPS 259606 HAS SOUS 116301 HAS SOUPS 116301 WITH SCORE 116560.606
AT ITER 1020 NEW BEST:: SOT 529462 SOS 259362 HAS SOPS 259362 HAS SOUS 115873 HAS SOUPS 115873 WITH SCORE 116132.362
AT ITER 1021 NEW BEST:: SOT 529550 SOS 259450 HAS SOPS 259450 HAS SOUS 115421 HAS SOUPS 115421 WITH SCORE 115680.45
AT ITER 1024 NEW BEST:: SOT 529642 SOS 259542 HAS SOPS 259542 HAS SOUS 115413 HAS SOUPS 115413 WITH SCORE 115672.542
AT ITER 1051 NEW BEST:: SOT 529640 SOS 259541 HAS SOPS 259541 HAS SOUS 115408 HAS SOUPS 115408 WITH SCORE 115667.541
AT ITER 1070 NEW BEST:: SOT 529183 SOS 259369 HAS SOPS 259369 HAS SOUS 115384 HAS SOUPS 115384 WITH SCORE 115643.369
AT ITER 1079 NEW BEST:: SOT 529115 SOS 259301 HAS SOPS 259301 HAS SOUS 115316 HAS SOUPS 115316 WITH SCORE 115575.301
AT ITER 1118 NEW BEST:: SOT 529098 SOS 259284 HAS SOPS 259284 HAS SOUS 115282 HAS SOUPS 115282 WITH SCORE 115541.284
AT ITER 1136 NEW BEST:: SOT 529083 SOS 259269 HAS SOPS 259269 HAS SOUS 115216 HAS SOUPS 115216 WITH SCORE 115475.269
AT ITER 1140 NEW BEST:: SOT 529073 SOS 259259 HAS SOPS 259259 HAS SOUS 115063 HAS SOUPS 115063 WITH SCORE 115322.259
AT ITER 1146 NEW BEST:: SOT 528902 SOS 259088 HAS SOPS 259088 HAS SOUS 114801 HAS SOUPS 114801 WITH SCORE 115060.088
AT ITER 1149 NEW BEST:: SOT 528929 SOS 259142 HAS SOPS 259142 HAS SOUS 114774 HAS SOUPS 114774 WITH SCORE 115033.142
AT ITER 1157 NEW BEST:: SOT 528910 SOS 258899 HAS SOPS 258899 HAS SOUS 114614 HAS SOUPS 114614 WITH SCORE 114872.899
AT ITER 1163 NEW BEST:: SOT 528748 SOS 258737 HAS SOPS 258737 HAS SOUS 114131 HAS SOUPS 114131 WITH SCORE 114389.737
AT ITER 1166 NEW BEST:: SOT 528748 SOS 258713 HAS SOPS 258713 HAS SOUS 114131 HAS SOUPS 114131 WITH SCORE 114389.713
AT ITER 1168 NEW BEST:: SOT 528740 SOS 258705 HAS SOPS 258705 HAS SOUS 114085 HAS SOUPS 114085 WITH SCORE 114343.705
AT ITER 1173 NEW BEST:: SOT 529058 SOS 259023 HAS SOPS 259023 HAS SOUS 113840 HAS SOUPS 113840 WITH SCORE 114099.023
AT ITER 1175 NEW BEST:: SOT 529004 SOS 258969 HAS SOPS 258969 HAS SOUS 113774 HAS SOUPS 113774 WITH SCORE 114032.969
AT ITER 1176 NEW BEST:: SOT 528988 SOS 259149 HAS SOPS 259149 HAS SOUS 113715 HAS SOUPS 113715 WITH SCORE 113974.149
AT ITER 1188 NEW BEST:: SOT 528944 SOS 259105 HAS SOPS 259105 HAS SOUS 113627 HAS SOUPS 113627 WITH SCORE 113886.105
AT ITER 1191 NEW BEST:: SOT 529012 SOS 259173 HAS SOPS 259173 HAS SOUS 113434 HAS SOUPS 113434 WITH SCORE 113693.173
AT ITER 1202 NEW BEST:: SOT 529007 SOS 259163 HAS SOPS 259163 HAS SOUS 113424 HAS SOUPS 113424 WITH SCORE 113683.163
AT ITER 1208 NEW BEST:: SOT 528983 SOS 259139 HAS SOPS 259139 HAS SOUS 113376 HAS SOUPS 113376 WITH SCORE 113635.139
AT ITER 1221 NEW BEST:: SOT 528956 SOS 259051 HAS SOPS 259051 HAS SOUS 113322 HAS SOUPS 113322 WITH SCORE 113581.051
AT ITER 1224 NEW BEST:: SOT 528978 SOS 258961 HAS SOPS 258961 HAS SOUS 113307 HAS SOUPS 113307 WITH SCORE 113565.961
AT ITER 1247 NEW BEST:: SOT 528978 SOS 258961 HAS SOPS 258961 HAS SOUS 113202 HAS SOUPS 113202 WITH SCORE 113460.961
AT ITER 1250 NEW BEST:: SOT 528978 SOS 258961 HAS SOPS 258961 HAS SOUS 113177 HAS SOUPS 113177 WITH SCORE 113435.961
AT ITER 1264 NEW BEST:: SOT 528371 SOS 258354 HAS SOPS 258354 HAS SOUS 112931 HAS SOUPS 112931 WITH SCORE 113189.354
AT ITER 1266 NEW BEST:: SOT 528847 SOS 258830 HAS SOPS 258830 HAS SOUS 112787 HAS SOUPS 112787 WITH SCORE 113045.83
AT ITER 1267 NEW BEST:: SOT 528822 SOS 258858 HAS SOPS 258858 HAS SOUS 112655 HAS SOUPS 112655 WITH SCORE 112913.858
AT ITER 1271 NEW BEST:: SOT 528734 SOS 258770 HAS SOPS 258770 HAS SOUS 112567 HAS SOUPS 112567 WITH SCORE 112825.77
AT ITER 1283 NEW BEST:: SOT 528726 SOS 258762 HAS SOPS 258762 HAS SOUS 112563 HAS SOUPS 112563 WITH SCORE 112821.762
AT ITER 1289 NEW BEST:: SOT 528712 SOS 258707 HAS SOPS 258707 HAS SOUS 112348 HAS SOUPS 112348 WITH SCORE 112606.707
AT ITER 1298 NEW BEST:: SOT 528706 SOS 258701 HAS SOPS 258701 HAS SOUS 112342 HAS SOUPS 112342 WITH SCORE 112600.701
AT ITER 1301 NEW BEST:: SOT 528833 SOS 258828 HAS SOPS 258828 HAS SOUS 112087 HAS SOUPS 112087 WITH SCORE 112345.828
AT ITER 1304 NEW BEST:: SOT 528822 SOS 258817 HAS SOPS 258817 HAS SOUS 112021 HAS SOUPS 112021 WITH SCORE 112279.817
AT ITER 1307 NEW BEST:: SOT 528822 SOS 258817 HAS SOPS 258817 HAS SOUS 111922 HAS SOUPS 111922 WITH SCORE 112180.817
AT ITER 1312 NEW BEST:: SOT 528822 SOS 258811 HAS SOPS 258811 HAS SOUS 111922 HAS SOUPS 111922 WITH SCORE 112180.811
AT ITER 1320 NEW BEST:: SOT 528776 SOS 258765 HAS SOPS 258765 HAS SOUS 111839 HAS SOUPS 111839 WITH SCORE 112097.765
AT ITER 1329 NEW BEST:: SOT 528807 SOS 258765 HAS SOPS 258765 HAS SOUS 111741 HAS SOUPS 111741 WITH SCORE 111999.765
AT ITER 1333 NEW BEST:: SOT 528819 SOS 258621 HAS SOPS 258621 HAS SOUS 111697 HAS SOUPS 111697 WITH SCORE 111955.621
AT ITER 1336 NEW BEST:: SOT 528708 SOS 258510 HAS SOPS 258510 HAS SOUS 111579 HAS SOUPS 111579 WITH SCORE 111837.51
AT ITER 1339 NEW BEST:: SOT 528703 SOS 258505 HAS SOPS 258505 HAS SOUS 111569 HAS SOUPS 111569 WITH SCORE 111827.505
AT ITER 1340 NEW BEST:: SOT 528715 SOS 258517 HAS SOPS 258517 HAS SOUS 111486 HAS SOUPS 111486 WITH SCORE 111744.517
AT ITER 1343 NEW BEST:: SOT 528692 SOS 246494 HAS SOPS 246494 HAS SOUS 111388 HAS SOUPS 111388 WITH SCORE 111634.494
AT ITER 1357 NEW BEST:: SOT 528680 SOS 246194 HAS SOPS 246194 HAS SOUS 111236 HAS SOUPS 111236 WITH SCORE 111482.194
AT ITER 1360 NEW BEST:: SOT 528680 SOS 246194 HAS SOPS 246194 HAS SOUS 111116 HAS SOUPS 111116 WITH SCORE 111362.194
AT ITER 1365 NEW BEST:: SOT 528620 SOS 246134 HAS SOPS 246134 HAS SOUS 110996 HAS SOUPS 110996 WITH SCORE 111242.134
AT ITER 1367 NEW BEST:: SOT 528481 SOS 245995 HAS SOPS 245995 HAS SOUS 110838 HAS SOUPS 110838 WITH SCORE 111083.995
AT ITER 1377 NEW BEST:: SOT 528481 SOS 246018 HAS SOPS 246018 HAS SOUS 110815 HAS SOUPS 110815 WITH SCORE 111061.018
AT ITER 1399 NEW BEST:: SOT 528413 SOS 245950 HAS SOPS 245950 HAS SOUS 110747 HAS SOUPS 110747 WITH SCORE 110992.95
AT ITER 1401 NEW BEST:: SOT 528337 SOS 245874 HAS SOPS 245874 HAS SOUS 110363 HAS SOUPS 110363 WITH SCORE 110608.874
AT ITER 1407 NEW BEST:: SOT 528337 SOS 245874 HAS SOPS 245874 HAS SOUS 110344 HAS SOUPS 110344 WITH SCORE 110589.874
AT ITER 1414 NEW BEST:: SOT 528288 SOS 245865 HAS SOPS 245865 HAS SOUS 110335 HAS SOUPS 110335 WITH SCORE 110580.865
AT ITER 1418 NEW BEST:: SOT 528288 SOS 245865 HAS SOPS 245865 HAS SOUS 110333 HAS SOUPS 110333 WITH SCORE 110578.865
AT ITER 1421 NEW BEST:: SOT 528288 SOS 245865 HAS SOPS 245865 HAS SOUS 110011 HAS SOUPS 110011 WITH SCORE 110256.865
AT ITER 1423 NEW BEST:: SOT 528226 SOS 245781 HAS SOPS 245781 HAS SOUS 109974 HAS SOUPS 109974 WITH SCORE 110219.781
AT ITER 1434 NEW BEST:: SOT 528226 SOS 245781 HAS SOPS 245781 HAS SOUS 109958 HAS SOUPS 109958 WITH SCORE 110203.781
AT ITER 1439 NEW BEST:: SOT 528214 SOS 245757 HAS SOPS 245757 HAS SOUS 109745 HAS SOUPS 109745 WITH SCORE 109990.757
AT ITER 1441 NEW BEST:: SOT 528124 SOS 245667 HAS SOPS 245667 HAS SOUS 109565 HAS SOUPS 109565 WITH SCORE 109810.667
AT ITER 1448 NEW BEST:: SOT 528179 SOS 245722 HAS SOPS 245722 HAS SOUS 109380 HAS SOUPS 109380 WITH SCORE 109625.722
AT ITER 1449 NEW BEST:: SOT 528166 SOS 245709 HAS SOPS 245709 HAS SOUS 109252 HAS SOUPS 109252 WITH SCORE 109497.709
AT ITER 1466 NEW BEST:: SOT 528166 SOS 245709 HAS SOPS 245709 HAS SOUS 109227 HAS SOUPS 109227 WITH SCORE 109472.709
AT ITER 1475 NEW BEST:: SOT 528234 SOS 245777 HAS SOPS 245777 HAS SOUS 109222 HAS SOUPS 109222 WITH SCORE 109467.777
AT ITER 1487 NEW BEST:: SOT 528080 SOS 245623 HAS SOPS 245623 HAS SOUS 109068 HAS SOUPS 109068 WITH SCORE 109313.623
AT ITER 1490 NEW BEST:: SOT 528111 SOS 245805 HAS SOPS 245805 HAS SOUS 109013 HAS SOUPS 109013 WITH SCORE 109258.805
AT ITER 1495 NEW BEST:: SOT 528111 SOS 245769 HAS SOPS 245769 HAS SOUS 108977 HAS SOUPS 108977 WITH SCORE 109222.769
AT ITER 1498 NEW BEST:: SOT 528106 SOS 245764 HAS SOPS 245764 HAS SOUS 108972 HAS SOUPS 108972 WITH SCORE 109217.764
AT ITER 1512 NEW BEST:: SOT 528057 SOS 245715 HAS SOPS 245715 HAS SOUS 108923 HAS SOUPS 108923 WITH SCORE 109168.715
AT ITER 1514 NEW BEST:: SOT 527949 SOS 245607 HAS SOPS 245607 HAS SOUS 108742 HAS SOUPS 108742 WITH SCORE 108987.607
AT ITER 1523 NEW BEST:: SOT 527945 SOS 245603 HAS SOPS 245603 HAS SOUS 108494 HAS SOUPS 108494 WITH SCORE 108739.603
AT ITER 1526 NEW BEST:: SOT 527913 SOS 242734 HAS SOPS 242734 HAS SOUS 108325 HAS SOUPS 108325 WITH SCORE 108567.734
AT ITER 1528 NEW BEST:: SOT 527893 SOS 242694 HAS SOPS 242694 HAS SOUS 108325 HAS SOUPS 108325 WITH SCORE 108567.694
AT ITER 1533 NEW BEST:: SOT 527789 SOS 242642 HAS SOPS 242642 HAS SOUS 108273 HAS SOUPS 108273 WITH SCORE 108515.642
AT ITER 1551 NEW BEST:: SOT 528040 SOS 242893 HAS SOPS 242893 HAS SOUS 108178 HAS SOUPS 108178 WITH SCORE 108420.893
AT ITER 1553 NEW BEST:: SOT 527862 SOS 242715 HAS SOPS 242715 HAS SOUS 107822 HAS SOUPS 107822 WITH SCORE 108064.715
AT ITER 1564 NEW BEST:: SOT 527808 SOS 242661 HAS SOPS 242661 HAS SOUS 107741 HAS SOUPS 107741 WITH SCORE 107983.661
AT ITER 1570 NEW BEST:: SOT 527768 SOS 242681 HAS SOPS 242586 HAS SOUS 107685 HAS SOUPS 107666 WITH SCORE 107908.681
AT ITER 1578 NEW BEST:: SOT 527797 SOS 242714 HAS SOPS 242619 HAS SOUS 107679 HAS SOUPS 107660 WITH SCORE 107902.714
AT ITER 1580 NEW BEST:: SOT 527814 SOS 242731 HAS SOPS 242636 HAS SOUS 107644 HAS SOUPS 107625 WITH SCORE 107867.731
AT ITER 1590 NEW BEST:: SOT 527485 SOS 242402 HAS SOPS 242307 HAS SOUS 107377 HAS SOUPS 107358 WITH SCORE 107600.402
AT ITER 1594 NEW BEST:: SOT 527485 SOS 242402 HAS SOPS 242307 HAS SOUS 107345 HAS SOUPS 107326 WITH SCORE 107568.402
AT ITER 1614 NEW BEST:: SOT 527457 SOS 242374 HAS SOPS 242279 HAS SOUS 107317 HAS SOUPS 107298 WITH SCORE 107540.374
AT ITER 1615 NEW BEST:: SOT 527413 SOS 226451 HAS SOPS 226356 HAS SOUS 107227 HAS SOUPS 107208 WITH SCORE 107434.451
AT ITER 1635 NEW BEST:: SOT 527371 SOS 226409 HAS SOPS 226314 HAS SOUS 107185 HAS SOUPS 107166 WITH SCORE 107392.409
AT ITER 1640 NEW BEST:: SOT 527363 SOS 226401 HAS SOPS 226306 HAS SOUS 107185 HAS SOUPS 107166 WITH SCORE 107392.401
AT ITER 1647 NEW BEST:: SOT 527261 SOS 226197 HAS SOPS 226102 HAS SOUS 106981 HAS SOUPS 106962 WITH SCORE 107188.197
AT ITER 1650 NEW BEST:: SOT 527261 SOS 226197 HAS SOPS 226102 HAS SOUS 106951 HAS SOUPS 106932 WITH SCORE 107158.197
AT ITER 1652 NEW BEST:: SOT 527338 SOS 226274 HAS SOPS 226179 HAS SOUS 106932 HAS SOUPS 106913 WITH SCORE 107139.274
AT ITER 1657 NEW BEST:: SOT 527296 SOS 226279 HAS SOPS 226184 HAS SOUS 106823 HAS SOUPS 106804 WITH SCORE 107030.279
AT ITER 1690 NEW BEST:: SOT 527210 SOS 226193 HAS SOPS 226098 HAS SOUS 106737 HAS SOUPS 106718 WITH SCORE 106944.193
AT ITER 1703 NEW BEST:: SOT 527129 SOS 226112 HAS SOPS 226017 HAS SOUS 106496 HAS SOUPS 106477 WITH SCORE 106703.112
AT ITER 1724 NEW BEST:: SOT 527057 SOS 226040 HAS SOPS 225945 HAS SOUS 106424 HAS SOUPS 106405 WITH SCORE 106631.04
AT ITER 1756 NEW BEST:: SOT 527008 SOS 225991 HAS SOPS 225896 HAS SOUS 106362 HAS SOUPS 106343 WITH SCORE 106568.991
AT ITER 1758 NEW BEST:: SOT 527076 SOS 226059 HAS SOPS 225964 HAS SOUS 106202 HAS SOUPS 106183 WITH SCORE 106409.059
AT ITER 1765 NEW BEST:: SOT 526119 SOS 225072 HAS SOPS 224996 HAS SOUS 106099 HAS SOUPS 106080 WITH SCORE 106305.072
AT ITER 1769 NEW BEST:: SOT 526202 SOS 225155 HAS SOPS 225079 HAS SOUS 106098 HAS SOUPS 106079 WITH SCORE 106304.155
AT ITER 1779 NEW BEST:: SOT 526158 SOS 225149 HAS SOPS 225073 HAS SOUS 106054 HAS SOUPS 106035 WITH SCORE 106260.149
AT ITER 1782 NEW BEST:: SOT 526078 SOS 225069 HAS SOPS 224993 HAS SOUS 105900 HAS SOUPS 105881 WITH SCORE 106106.069
AT ITER 1784 NEW BEST:: SOT 526032 SOS 225023 HAS SOPS 224947 HAS SOUS 105854 HAS SOUPS 105835 WITH SCORE 106060.023
AT ITER 1786 NEW BEST:: SOT 526032 SOS 225023 HAS SOPS 224947 HAS SOUS 105850 HAS SOUPS 105831 WITH SCORE 106056.023
AT ITER 1794 NEW BEST:: SOT 526028 SOS 225019 HAS SOPS 224943 HAS SOUS 105843 HAS SOUPS 105824 WITH SCORE 106049.019
AT ITER 1801 NEW BEST:: SOT 526004 SOS 224995 HAS SOPS 224919 HAS SOUS 105803 HAS SOUPS 105784 WITH SCORE 106008.995
AT ITER 1819 NEW BEST:: SOT 525933 SOS 224924 HAS SOPS 224848 HAS SOUS 105692 HAS SOUPS 105673 WITH SCORE 105897.924
AT ITER 1831 NEW BEST:: SOT 525933 SOS 224417 HAS SOPS 224341 HAS SOUS 105692 HAS SOUPS 105673 WITH SCORE 105897.417
AT ITER 1834 NEW BEST:: SOT 525933 SOS 224406 HAS SOPS 224330 HAS SOUS 105670 HAS SOUPS 105651 WITH SCORE 105875.406
AT ITER 1835 NEW BEST:: SOT 525933 SOS 224443 HAS SOPS 224367 HAS SOUS 105654 HAS SOUPS 105635 WITH SCORE 105859.443
AT ITER 1836 NEW BEST:: SOT 525881 SOS 224430 HAS SOPS 224354 HAS SOUS 105602 HAS SOUPS 105583 WITH SCORE 105807.43
AT ITER 1837 NEW BEST:: SOT 525759 SOS 224308 HAS SOPS 224232 HAS SOUS 105340 HAS SOUPS 105321 WITH SCORE 105545.308
AT ITER 1849 NEW BEST:: SOT 525739 SOS 220188 HAS SOPS 220112 HAS SOUS 105300 HAS SOUPS 105281 WITH SCORE 105501.188
AT ITER 1853 NEW BEST:: SOT 525619 SOS 220068 HAS SOPS 219992 HAS SOUS 105157 HAS SOUPS 105138 WITH SCORE 105358.068
AT ITER 1864 NEW BEST:: SOT 525647 SOS 220096 HAS SOPS 220020 HAS SOUS 105129 HAS SOUPS 105110 WITH SCORE 105330.096
AT ITER 1879 NEW BEST:: SOT 525635 SOS 220084 HAS SOPS 220008 HAS SOUS 105105 HAS SOUPS 105086 WITH SCORE 105306.084
AT ITER 1885 NEW BEST:: SOT 525601 SOS 220050 HAS SOPS 219974 HAS SOUS 105054 HAS SOUPS 105035 WITH SCORE 105255.05
AT ITER 1892 NEW BEST:: SOT 525647 SOS 220094 HAS SOPS 220018 HAS SOUS 104848 HAS SOUPS 104829 WITH SCORE 105049.094
AT ITER 1913 NEW BEST:: SOT 525556 SOS 220003 HAS SOPS 219927 HAS SOUS 104738 HAS SOUPS 104719 WITH SCORE 104939.003
AT ITER 1914 NEW BEST:: SOT 525528 SOS 219975 HAS SOPS 219899 HAS SOUS 104701 HAS SOUPS 104682 WITH SCORE 104901.975
AT ITER 1915 NEW BEST:: SOT 525468 SOS 219915 HAS SOPS 219839 HAS SOUS 104591 HAS SOUPS 104572 WITH SCORE 104791.915
AT ITER 1936 NEW BEST:: SOT 525447 SOS 219894 HAS SOPS 219818 HAS SOUS 104488 HAS SOUPS 104469 WITH SCORE 104688.894
AT ITER 1937 NEW BEST:: SOT 525360 SOS 219807 HAS SOPS 219731 HAS SOUS 104401 HAS SOUPS 104382 WITH SCORE 104601.807
AT ITER 1957 NEW BEST:: SOT 525555 SOS 220002 HAS SOPS 219926 HAS SOUS 104316 HAS SOUPS 104297 WITH SCORE 104517.002
AT ITER 1963 NEW BEST:: SOT 525547 SOS 219994 HAS SOPS 219918 HAS SOUS 104308 HAS SOUPS 104289 WITH SCORE 104508.994
AT ITER 1970 NEW BEST:: SOT 525472 SOS 219919 HAS SOPS 219843 HAS SOUS 104249 HAS SOUPS 104230 WITH SCORE 104449.919
AT ITER 1972 NEW BEST:: SOT 525436 SOS 219883 HAS SOPS 219807 HAS SOUS 104213 HAS SOUPS 104194 WITH SCORE 104413.883
AT ITER 1974 NEW BEST:: SOT 525247 SOS 219694 HAS SOPS 219618 HAS SOUS 103875 HAS SOUPS 103856 WITH SCORE 104075.694
AT ITER 1988 NEW BEST:: SOT 525152 SOS 219599 HAS SOPS 219523 HAS SOUS 103653 HAS SOUPS 103634 WITH SCORE 103853.599
AT ITER 2014 NEW BEST:: SOT 524893 SOS 219340 HAS SOPS 219264 HAS SOUS 103249 HAS SOUPS 103230 WITH SCORE 103449.34
AT ITER 2018 NEW BEST:: SOT 524795 SOS 219242 HAS SOPS 219166 HAS SOUS 103151 HAS SOUPS 103132 WITH SCORE 103351.242
AT ITER 2026 NEW BEST:: SOT 524755 SOS 219202 HAS SOPS 219126 HAS SOUS 103111 HAS SOUPS 103092 WITH SCORE 103311.202
AT ITER 2028 NEW BEST:: SOT 524740 SOS 219187 HAS SOPS 219111 HAS SOUS 103049 HAS SOUPS 103030 WITH SCORE 103249.187
AT ITER 2037 NEW BEST:: SOT 524695 SOS 219142 HAS SOPS 219066 HAS SOUS 102992 HAS SOUPS 102973 WITH SCORE 103192.142
AT ITER 2044 NEW BEST:: SOT 524671 SOS 219118 HAS SOPS 219042 HAS SOUS 102955 HAS SOUPS 102936 WITH SCORE 103155.118
AT ITER 2056 NEW BEST:: SOT 524668 SOS 219115 HAS SOPS 219039 HAS SOUS 102952 HAS SOUPS 102933 WITH SCORE 103152.115
AT ITER 2065 NEW BEST:: SOT 524608 SOS 219150 HAS SOPS 219074 HAS SOUS 102843 HAS SOUPS 102824 WITH SCORE 103043.15
AT ITER 2079 NEW BEST:: SOT 524485 SOS 219027 HAS SOPS 218951 HAS SOUS 102684 HAS SOUPS 102665 WITH SCORE 102884.027
AT ITER 2080 NEW BEST:: SOT 524521 SOS 218998 HAS SOPS 218922 HAS SOUS 102683 HAS SOUPS 102664 WITH SCORE 102882.998
AT ITER 2081 NEW BEST:: SOT 524451 SOS 218928 HAS SOPS 218852 HAS SOUS 102613 HAS SOUPS 102594 WITH SCORE 102812.928
AT ITER 2085 NEW BEST:: SOT 524413 SOS 218945 HAS SOPS 218869 HAS SOUS 102579 HAS SOUPS 102560 WITH SCORE 102778.945
AT ITER 2104 NEW BEST:: SOT 524405 SOS 218929 HAS SOPS 218853 HAS SOUS 102563 HAS SOUPS 102544 WITH SCORE 102762.929
AT ITER 2109 NEW BEST:: SOT 524405 SOS 218851 HAS SOPS 218775 HAS SOUS 102563 HAS SOUPS 102544 WITH SCORE 102762.851
AT ITER 2110 NEW BEST:: SOT 524405 SOS 218932 HAS SOPS 218856 HAS SOUS 102549 HAS SOUPS 102530 WITH SCORE 102748.932
AT ITER 2143 NEW BEST:: SOT 524369 SOS 218896 HAS SOPS 218820 HAS SOUS 102328 HAS SOUPS 102309 WITH SCORE 102527.896
AT ITER 2144 NEW BEST:: SOT 524047 SOS 218574 HAS SOPS 218498 HAS SOUS 101895 HAS SOUPS 101876 WITH SCORE 102094.574
AT ITER 2156 NEW BEST:: SOT 523965 SOS 218724 HAS SOPS 218648 HAS SOUS 101891 HAS SOUPS 101872 WITH SCORE 102090.724
AT ITER 2160 NEW BEST:: SOT 524026 SOS 218785 HAS SOPS 218709 HAS SOUS 101608 HAS SOUPS 101589 WITH SCORE 101807.785
AT ITER 2177 NEW BEST:: SOT 524047 SOS 218575 HAS SOPS 218499 HAS SOUS 101523 HAS SOUPS 101504 WITH SCORE 101722.575
AT ITER 2182 NEW BEST:: SOT 524000 SOS 218528 HAS SOPS 218452 HAS SOUS 101480 HAS SOUPS 101461 WITH SCORE 101679.528
AT ITER 2189 NEW BEST:: SOT 523781 SOS 218309 HAS SOPS 218233 HAS SOUS 101185 HAS SOUPS 101166 WITH SCORE 101384.309
AT ITER 2206 NEW BEST:: SOT 523775 SOS 218303 HAS SOPS 218227 HAS SOUS 101179 HAS SOUPS 101160 WITH SCORE 101378.303
AT ITER 2213 NEW BEST:: SOT 523673 SOS 218201 HAS SOPS 218125 HAS SOUS 101077 HAS SOUPS 101058 WITH SCORE 101276.201
AT ITER 2222 NEW BEST:: SOT 523752 SOS 218280 HAS SOPS 218204 HAS SOUS 100856 HAS SOUPS 100837 WITH SCORE 101055.28
AT ITER 2235 NEW BEST:: SOT 523649 SOS 218177 HAS SOPS 218101 HAS SOUS 100714 HAS SOUPS 100695 WITH SCORE 100913.177
AT ITER 2240 NEW BEST:: SOT 523649 SOS 218177 HAS SOPS 218101 HAS SOUS 100696 HAS SOUPS 100677 WITH SCORE 100895.177
AT ITER 2254 NEW BEST:: SOT 523571 SOS 218099 HAS SOPS 218023 HAS SOUS 100618 HAS SOUPS 100599 WITH SCORE 100817.099
AT ITER 2262 NEW BEST:: SOT 523605 SOS 218133 HAS SOPS 218057 HAS SOUS 100604 HAS SOUPS 100585 WITH SCORE 100803.133
AT ITER 2288 NEW BEST:: SOT 523535 SOS 218063 HAS SOPS 217987 HAS SOUS 100517 HAS SOUPS 100498 WITH SCORE 100716.063
AT ITER 2297 NEW BEST:: SOT 523484 SOS 218012 HAS SOPS 217936 HAS SOUS 100326 HAS SOUPS 100307 WITH SCORE 100525.012
AT ITER 2309 NEW BEST:: SOT 523374 SOS 217902 HAS SOPS 217826 HAS SOUS 100216 HAS SOUPS 100197 WITH SCORE 100414.902
AT ITER 2313 NEW BEST:: SOT 523298 SOS 217826 HAS SOPS 217750 HAS SOUS 100103 HAS SOUPS 100084 WITH SCORE 100301.826
AT ITER 2316 NEW BEST:: SOT 523300 SOS 217828 HAS SOPS 217752 HAS SOUS 100097 HAS SOUPS 100078 WITH SCORE 100295.828
AT ITER 2319 NEW BEST:: SOT 523327 SOS 217855 HAS SOPS 217779 HAS SOUS 100025 HAS SOUPS 100006 WITH SCORE 100223.855
AT ITER 2322 NEW BEST:: SOT 523300 SOS 217828 HAS SOPS 217752 HAS SOUS 99998 HAS SOUPS 99979 WITH SCORE 100196.828
AT ITER 2334 NEW BEST:: SOT 523288 SOS 217816 HAS SOPS 217740 HAS SOUS 99986 HAS SOUPS 99967 WITH SCORE 100184.816
AT ITER 2336 NEW BEST:: SOT 523288 SOS 217633 HAS SOPS 217557 HAS SOUS 99986 HAS SOUPS 99967 WITH SCORE 100184.633
AT ITER 2342 NEW BEST:: SOT 523288 SOS 217633 HAS SOPS 217557 HAS SOUS 99973 HAS SOUPS 99954 WITH SCORE 100171.633
AT ITER 2366 NEW BEST:: SOT 523288 SOS 217592 HAS SOPS 217516 HAS SOUS 99962 HAS SOUPS 99943 WITH SCORE 100160.592
AT ITER 2374 NEW BEST:: SOT 523265 SOS 217569 HAS SOPS 217493 HAS SOUS 99768 HAS SOUPS 99749 WITH SCORE 99966.569
AT ITER 2376 NEW BEST:: SOT 522787 SOS 217091 HAS SOPS 217015 HAS SOUS 99391 HAS SOUPS 99372 WITH SCORE 99589.091
AT ITER 2381 NEW BEST:: SOT 522762 SOS 217225 HAS SOPS 217149 HAS SOUS 99341 HAS SOUPS 99322 WITH SCORE 99539.225
AT ITER 2387 NEW BEST:: SOT 522880 SOS 217343 HAS SOPS 217267 HAS SOUS 99308 HAS SOUPS 99289 WITH SCORE 99506.343
AT ITER 2389 NEW BEST:: SOT 522880 SOS 217343 HAS SOPS 217267 HAS SOUS 99300 HAS SOUPS 99281 WITH SCORE 99498.343
AT ITER 2406 NEW BEST:: SOT 522867 SOS 217329 HAS SOPS 217247 HAS SOUS 99273 HAS SOUPS 99254 WITH SCORE 99471.329
AT ITER 2417 NEW BEST:: SOT 522849 SOS 217320 HAS SOPS 217238 HAS SOUS 99255 HAS SOUPS 99236 WITH SCORE 99453.32
AT ITER 2424 NEW BEST:: SOT 522849 SOS 217296 HAS SOPS 217214 HAS SOUS 99248 HAS SOUPS 99229 WITH SCORE 99446.296
AT ITER 2432 NEW BEST:: SOT 522856 SOS 217232 HAS SOPS 217150 HAS SOUS 99087 HAS SOUPS 99068 WITH SCORE 99285.232
AT ITER 2440 NEW BEST:: SOT 522896 SOS 217272 HAS SOPS 217190 HAS SOUS 99077 HAS SOUPS 99058 WITH SCORE 99275.272
AT ITER 2445 NEW BEST:: SOT 522896 SOS 218785 HAS SOPS 218703 HAS SOUS 99024 HAS SOUPS 99005 WITH SCORE 99223.785
AT ITER 2459 NEW BEST:: SOT 522859 SOS 218748 HAS SOPS 218666 HAS SOUS 98737 HAS SOUPS 98718 WITH SCORE 98936.748
AT ITER 2468 NEW BEST:: SOT 522853 SOS 218742 HAS SOPS 218660 HAS SOUS 98727 HAS SOUPS 98708 WITH SCORE 98926.742
AT ITER 2475 NEW BEST:: SOT 522789 SOS 218731 HAS SOPS 218649 HAS SOUS 98610 HAS SOUPS 98591 WITH SCORE 98809.731
AT ITER 2494 NEW BEST:: SOT 522789 SOS 218694 HAS SOPS 218612 HAS SOUS 98492 HAS SOUPS 98473 WITH SCORE 98691.694
AT ITER 2509 NEW BEST:: SOT 522789 SOS 218694 HAS SOPS 218612 HAS SOUS 98451 HAS SOUPS 98432 WITH SCORE 98650.694
AT ITER 2512 NEW BEST:: SOT 522761 SOS 218666 HAS SOPS 218584 HAS SOUS 98423 HAS SOUPS 98404 WITH SCORE 98622.666
AT ITER 2523 NEW BEST:: SOT 522761 SOS 218682 HAS SOPS 218600 HAS SOUS 98395 HAS SOUPS 98376 WITH SCORE 98594.682
AT ITER 2535 NEW BEST:: SOT 522749 SOS 218670 HAS SOPS 218588 HAS SOUS 98383 HAS SOUPS 98364 WITH SCORE 98582.67
AT ITER 2548 NEW BEST:: SOT 522771 SOS 218692 HAS SOPS 218610 HAS SOUS 98317 HAS SOUPS 98298 WITH SCORE 98516.692
AT ITER 2552 NEW BEST:: SOT 522746 SOS 218764 HAS SOPS 218682 HAS SOUS 98269 HAS SOUPS 98250 WITH SCORE 98468.764
AT ITER 2553 NEW BEST:: SOT 522672 SOS 218690 HAS SOPS 218608 HAS SOUS 98195 HAS SOUPS 98176 WITH SCORE 98394.69
AT ITER 2558 NEW BEST:: SOT 522598 SOS 218616 HAS SOPS 218534 HAS SOUS 98086 HAS SOUPS 98067 WITH SCORE 98285.616
AT ITER 2569 NEW BEST:: SOT 522569 SOS 218615 HAS SOPS 218533 HAS SOUS 98084 HAS SOUPS 98065 WITH SCORE 98283.615
AT ITER 2570 NEW BEST:: SOT 522653 SOS 218699 HAS SOPS 218617 HAS SOUS 98063 HAS SOUPS 98044 WITH SCORE 98262.699
AT ITER 2574 NEW BEST:: SOT 522629 SOS 218422 HAS SOPS 218340 HAS SOUS 97965 HAS SOUPS 97946 WITH SCORE 98164.422
AT ITER 2585 NEW BEST:: SOT 522401 SOS 218194 HAS SOPS 218112 HAS SOUS 97731 HAS SOUPS 97712 WITH SCORE 97930.194
AT ITER 2592 NEW BEST:: SOT 522391 SOS 218184 HAS SOPS 218102 HAS SOUS 97721 HAS SOUPS 97702 WITH SCORE 97920.184
AT ITER 2615 NEW BEST:: SOT 522385 SOS 218178 HAS SOPS 218096 HAS SOUS 97666 HAS SOUPS 97647 WITH SCORE 97865.178
AT ITER 2623 NEW BEST:: SOT 522363 SOS 218156 HAS SOPS 218074 HAS SOUS 97632 HAS SOUPS 97613 WITH SCORE 97831.156
AT ITER 2627 NEW BEST:: SOT 522294 SOS 218040 HAS SOPS 217958 HAS SOUS 97588 HAS SOUPS 97569 WITH SCORE 97787.04
AT ITER 2634 NEW BEST:: SOT 522270 SOS 218016 HAS SOPS 217934 HAS SOUS 97561 HAS SOUPS 97542 WITH SCORE 97760.016
AT ITER 2635 NEW BEST:: SOT 522261 SOS 218007 HAS SOPS 217925 HAS SOUS 97543 HAS SOUPS 97524 WITH SCORE 97742.007
AT ITER 2642 NEW BEST:: SOT 522482 SOS 218228 HAS SOPS 218146 HAS SOUS 97514 HAS SOUPS 97495 WITH SCORE 97713.228
AT ITER 2650 NEW BEST:: SOT 522268 SOS 218014 HAS SOPS 217932 HAS SOUS 97097 HAS SOUPS 97078 WITH SCORE 97296.014
AT ITER 2671 NEW BEST:: SOT 522268 SOS 218005 HAS SOPS 217923 HAS SOUS 96999 HAS SOUPS 96980 WITH SCORE 97198.005
AT ITER 2678 NEW BEST:: SOT 522275 SOS 218012 HAS SOPS 217930 HAS SOUS 96996 HAS SOUPS 96977 WITH SCORE 97195.012
AT ITER 2684 NEW BEST:: SOT 522046 SOS 217783 HAS SOPS 217701 HAS SOUS 96767 HAS SOUPS 96748 WITH SCORE 96965.783
AT ITER 2714 NEW BEST:: SOT 522000 SOS 217737 HAS SOPS 217655 HAS SOUS 96677 HAS SOUPS 96658 WITH SCORE 96875.737
AT ITER 2728 NEW BEST:: SOT 522000 SOS 217737 HAS SOPS 217655 HAS SOUS 96633 HAS SOUPS 96614 WITH SCORE 96831.737
AT ITER 2743 NEW BEST:: SOT 521989 SOS 217662 HAS SOPS 217580 HAS SOUS 96607 HAS SOUPS 96588 WITH SCORE 96805.662
AT ITER 2764 NEW BEST:: SOT 522018 SOS 217691 HAS SOPS 217609 HAS SOUS 96538 HAS SOUPS 96519 WITH SCORE 96736.691
AT ITER 2779 NEW BEST:: SOT 521989 SOS 217633 HAS SOPS 217551 HAS SOUS 96474 HAS SOUPS 96455 WITH SCORE 96672.633
AT ITER 2780 NEW BEST:: SOT 521819 SOS 217463 HAS SOPS 217381 HAS SOUS 96196 HAS SOUPS 96177 WITH SCORE 96394.463
AT ITER 2793 NEW BEST:: SOT 521814 SOS 217433 HAS SOPS 217351 HAS SOUS 96186 HAS SOUPS 96167 WITH SCORE 96384.433
AT ITER 2799 NEW BEST:: SOT 521765 SOS 217384 HAS SOPS 217302 HAS SOUS 95941 HAS SOUPS 95922 WITH SCORE 96139.384
AT ITER 2808 NEW BEST:: SOT 521759 SOS 217378 HAS SOPS 217296 HAS SOUS 95935 HAS SOUPS 95916 WITH SCORE 96133.378
AT ITER 2812 NEW BEST:: SOT 521555 SOS 217174 HAS SOPS 217092 HAS SOUS 95527 HAS SOUPS 95508 WITH SCORE 95725.174
AT ITER 2818 NEW BEST:: SOT 521406 SOS 217025 HAS SOPS 216943 HAS SOUS 95276 HAS SOUPS 95257 WITH SCORE 95474.025
AT ITER 2823 NEW BEST:: SOT 521425 SOS 217116 HAS SOPS 217034 HAS SOUS 95274 HAS SOUPS 95255 WITH SCORE 95472.116
AT ITER 2824 NEW BEST:: SOT 521426 SOS 217088 HAS SOPS 217006 HAS SOUS 95155 HAS SOUPS 95136 WITH SCORE 95353.088
AT ITER 2827 NEW BEST:: SOT 521460 SOS 217122 HAS SOPS 217040 HAS SOUS 95031 HAS SOUPS 95012 WITH SCORE 95229.122
AT ITER 2841 NEW BEST:: SOT 521443 SOS 217105 HAS SOPS 217023 HAS SOUS 95014 HAS SOUPS 94995 WITH SCORE 95212.105
AT ITER 2850 NEW BEST:: SOT 521454 SOS 217116 HAS SOPS 217034 HAS SOUS 94991 HAS SOUPS 94972 WITH SCORE 95189.116
AT ITER 2853 NEW BEST:: SOT 521482 SOS 217144 HAS SOPS 217062 HAS SOUS 94779 HAS SOUPS 94760 WITH SCORE 94977.144
AT ITER 2861 NEW BEST:: SOT 521442 SOS 217104 HAS SOPS 217022 HAS SOUS 94739 HAS SOUPS 94720 WITH SCORE 94937.104
AT ITER 2888 NEW BEST:: SOT 521438 SOS 217195 HAS SOPS 217113 HAS SOUS 94731 HAS SOUPS 94712 WITH SCORE 94929.195
AT ITER 2911 NEW BEST:: SOT 521407 SOS 217133 HAS SOPS 217051 HAS SOUS 94669 HAS SOUPS 94650 WITH SCORE 94867.133
AT ITER 2920 NEW BEST:: SOT 521379 SOS 217091 HAS SOPS 217009 HAS SOUS 94613 HAS SOUPS 94594 WITH SCORE 94811.091
AT ITER 2932 NEW BEST:: SOT 521379 SOS 217087 HAS SOPS 217005 HAS SOUS 94444 HAS SOUPS 94425 WITH SCORE 94642.087
AT ITER 2936 NEW BEST:: SOT 521332 SOS 217040 HAS SOPS 216958 HAS SOUS 94233 HAS SOUPS 94214 WITH SCORE 94431.04
AT ITER 2937 NEW BEST:: SOT 521332 SOS 217040 HAS SOPS 216958 HAS SOUS 94061 HAS SOUPS 94042 WITH SCORE 94259.04
AT ITER 2951 NEW BEST:: SOT 521358 SOS 217033 HAS SOPS 216951 HAS SOUS 94054 HAS SOUPS 94035 WITH SCORE 94252.033
AT ITER 2961 NEW BEST:: SOT 521370 SOS 217045 HAS SOPS 216963 HAS SOUS 93981 HAS SOUPS 93962 WITH SCORE 94179.045
AT ITER 2967 NEW BEST:: SOT 521378 SOS 217053 HAS SOPS 216971 HAS SOUS 93973 HAS SOUPS 93954 WITH SCORE 94171.053
AT ITER 2969 NEW BEST:: SOT 521363 SOS 217038 HAS SOPS 216956 HAS SOUS 93933 HAS SOUPS 93914 WITH SCORE 94131.038
AT ITER 2977 NEW BEST:: SOT 521345 SOS 217020 HAS SOPS 216938 HAS SOUS 93901 HAS SOUPS 93882 WITH SCORE 94099.02
AT ITER 2980 NEW BEST:: SOT 521334 SOS 217043 HAS SOPS 216961 HAS SOUS 93882 HAS SOUPS 93863 WITH SCORE 94080.043
AT ITER 3008 NEW BEST:: SOT 521343 SOS 217052 HAS SOPS 216970 HAS SOUS 93766 HAS SOUPS 93747 WITH SCORE 93964.052
AT ITER 3014 NEW BEST:: SOT 521300 SOS 216905 HAS SOPS 216823 HAS SOUS 93736 HAS SOUPS 93717 WITH SCORE 93933.905
AT ITER 3030 NEW BEST:: SOT 521291 SOS 216896 HAS SOPS 216814 HAS SOUS 93727 HAS SOUPS 93708 WITH SCORE 93924.896
AT ITER 3035 NEW BEST:: SOT 521299 SOS 216904 HAS SOPS 216822 HAS SOUS 93710 HAS SOUPS 93691 WITH SCORE 93907.904
AT ITER 3040 NEW BEST:: SOT 521238 SOS 216843 HAS SOPS 216761 HAS SOUS 93649 HAS SOUPS 93630 WITH SCORE 93846.843
AT ITER 3053 NEW BEST:: SOT 521220 SOS 216751 HAS SOPS 216669 HAS SOUS 93601 HAS SOUPS 93582 WITH SCORE 93798.751
AT ITER 3058 NEW BEST:: SOT 521153 SOS 216723 HAS SOPS 216641 HAS SOUS 93545 HAS SOUPS 93526 WITH SCORE 93742.723
AT ITER 3062 NEW BEST:: SOT 521153 SOS 216723 HAS SOPS 216641 HAS SOUS 93533 HAS SOUPS 93514 WITH SCORE 93730.723
AT ITER 3071 NEW BEST:: SOT 521102 SOS 216698 HAS SOPS 216616 HAS SOUS 93483 HAS SOUPS 93464 WITH SCORE 93680.698
AT ITER 3074 NEW BEST:: SOT 520796 SOS 216392 HAS SOPS 216310 HAS SOUS 93007 HAS SOUPS 92988 WITH SCORE 93204.392
AT ITER 3076 NEW BEST:: SOT 520782 SOS 216378 HAS SOPS 216296 HAS SOUS 92993 HAS SOUPS 92974 WITH SCORE 93190.378
AT ITER 3086 NEW BEST:: SOT 520770 SOS 216366 HAS SOPS 216284 HAS SOUS 92977 HAS SOUPS 92958 WITH SCORE 93174.366
AT ITER 3096 NEW BEST:: SOT 520747 SOS 216069 HAS SOPS 215987 HAS SOUS 92895 HAS SOUPS 92876 WITH SCORE 93092.069
AT ITER 3130 NEW BEST:: SOT 520673 SOS 215995 HAS SOPS 215913 HAS SOUS 92786 HAS SOUPS 92767 WITH SCORE 92982.995
AT ITER 3159 NEW BEST:: SOT 520673 SOS 215995 HAS SOPS 215913 HAS SOUS 92779 HAS SOUPS 92760 WITH SCORE 92975.995
AT ITER 3167 NEW BEST:: SOT 520673 SOS 215995 HAS SOPS 215913 HAS SOUS 92773 HAS SOUPS 92754 WITH SCORE 92969.995
AT ITER 3178 NEW BEST:: SOT 520684 SOS 216017 HAS SOPS 215935 HAS SOUS 92770 HAS SOUPS 92751 WITH SCORE 92967.017
AT ITER 3181 NEW BEST:: SOT 520678 SOS 216011 HAS SOPS 215929 HAS SOUS 92764 HAS SOUPS 92745 WITH SCORE 92961.011
AT ITER 3187 NEW BEST:: SOT 520678 SOS 216011 HAS SOPS 215929 HAS SOUS 92762 HAS SOUPS 92743 WITH SCORE 92959.011
AT ITER 3190 NEW BEST:: SOT 520803 SOS 216161 HAS SOPS 216079 HAS SOUS 92703 HAS SOUPS 92684 WITH SCORE 92900.161
AT ITER 3207 NEW BEST:: SOT 520807 SOS 216135 HAS SOPS 216053 HAS SOUS 92680 HAS SOUPS 92661 WITH SCORE 92877.135
AT ITER 3219 NEW BEST:: SOT 521007 SOS 216335 HAS SOPS 216253 HAS SOUS 92608 HAS SOUPS 92589 WITH SCORE 92805.335
AT ITER 3234 NEW BEST:: SOT 520958 SOS 216286 HAS SOPS 216204 HAS SOUS 92515 HAS SOUPS 92496 WITH SCORE 92712.286
AT ITER 3235 NEW BEST:: SOT 520958 SOS 216286 HAS SOPS 216204 HAS SOUS 92464 HAS SOUPS 92445 WITH SCORE 92661.286
AT ITER 3248 NEW BEST:: SOT 520924 SOS 216277 HAS SOPS 216195 HAS SOUS 92446 HAS SOUPS 92427 WITH SCORE 92643.277
AT ITER 3249 NEW BEST:: SOT 520865 SOS 216218 HAS SOPS 216136 HAS SOUS 92320 HAS SOUPS 92301 WITH SCORE 92517.218
AT ITER 3255 NEW BEST:: SOT 520863 SOS 216216 HAS SOPS 216134 HAS SOUS 92318 HAS SOUPS 92299 WITH SCORE 92515.216
AT ITER 3256 NEW BEST:: SOT 520861 SOS 216216 HAS SOPS 216134 HAS SOUS 92316 HAS SOUPS 92297 WITH SCORE 92513.216
AT ITER 3266 NEW BEST:: SOT 520861 SOS 216211 HAS SOPS 216129 HAS SOUS 92264 HAS SOUPS 92245 WITH SCORE 92461.211
AT ITER 3270 NEW BEST:: SOT 520831 SOS 216181 HAS SOPS 216099 HAS SOUS 92234 HAS SOUPS 92215 WITH SCORE 92431.181
AT ITER 3273 NEW BEST:: SOT 520812 SOS 216162 HAS SOPS 216080 HAS SOUS 92204 HAS SOUPS 92185 WITH SCORE 92401.162
AT ITER 3274 NEW BEST:: SOT 520820 SOS 216170 HAS SOPS 216088 HAS SOUS 92200 HAS SOUPS 92181 WITH SCORE 92397.17
AT ITER 3281 NEW BEST:: SOT 520787 SOS 216137 HAS SOPS 216055 HAS SOUS 92097 HAS SOUPS 92078 WITH SCORE 92294.137
AT ITER 3304 NEW BEST:: SOT 520787 SOS 216027 HAS SOPS 215945 HAS SOUS 92084 HAS SOUPS 92065 WITH SCORE 92281.027
AT ITER 3330 NEW BEST:: SOT 520733 SOS 215973 HAS SOPS 215891 HAS SOUS 92011 HAS SOUPS 91992 WITH SCORE 92207.973
AT ITER 3336 NEW BEST:: SOT 520741 SOS 216069 HAS SOPS 215987 HAS SOUS 91979 HAS SOUPS 91960 WITH SCORE 92176.069
AT ITER 3337 NEW BEST:: SOT 520737 SOS 216065 HAS SOPS 215983 HAS SOUS 91944 HAS SOUPS 91925 WITH SCORE 92141.065
AT ITER 3351 NEW BEST:: SOT 520683 SOS 216011 HAS SOPS 215929 HAS SOUS 91864 HAS SOUPS 91845 WITH SCORE 92061.011
AT ITER 3393 NEW BEST:: SOT 520689 SOS 216010 HAS SOPS 215928 HAS SOUS 91862 HAS SOUPS 91843 WITH SCORE 92059.01
AT ITER 3404 NEW BEST:: SOT 520724 SOS 216045 HAS SOPS 215963 HAS SOUS 91679 HAS SOUPS 91660 WITH SCORE 91876.045
AT ITER 3412 NEW BEST:: SOT 520739 SOS 216065 HAS SOPS 215983 HAS SOUS 91662 HAS SOUPS 91643 WITH SCORE 91859.065
AT ITER 3414 NEW BEST:: SOT 520739 SOS 216050 HAS SOPS 215968 HAS SOUS 91662 HAS SOUPS 91643 WITH SCORE 91859.05
AT ITER 3429 NEW BEST:: SOT 520739 SOS 216048 HAS SOPS 215966 HAS SOUS 91632 HAS SOUPS 91613 WITH SCORE 91829.048
AT ITER 3466 NEW BEST:: SOT 520723 SOS 216032 HAS SOPS 215950 HAS SOUS 91600 HAS SOUPS 91581 WITH SCORE 91797.032
AT ITER 3478 NEW BEST:: SOT 520758 SOS 216067 HAS SOPS 215985 HAS SOUS 91585 HAS SOUPS 91566 WITH SCORE 91782.067
AT ITER 3494 NEW BEST:: SOT 520705 SOS 216014 HAS SOPS 215932 HAS SOUS 91540 HAS SOUPS 91521 WITH SCORE 91737.014
AT ITER 3512 NEW BEST:: SOT 520699 SOS 216011 HAS SOPS 215929 HAS SOUS 91534 HAS SOUPS 91515 WITH SCORE 91731.011
AT ITER 3551 NEW BEST:: SOT 520650 SOS 215982 HAS SOPS 215900 HAS SOUS 91468 HAS SOUPS 91449 WITH SCORE 91664.982
AT ITER 3565 NEW BEST:: SOT 520698 SOS 216030 HAS SOPS 215948 HAS SOUS 91195 HAS SOUPS 91176 WITH SCORE 91392.03
AT ITER 3579 NEW BEST:: SOT 520608 SOS 215940 HAS SOPS 215858 HAS SOUS 91045 HAS SOUPS 91026 WITH SCORE 91241.94
AT ITER 3594 NEW BEST:: SOT 520610 SOS 215947 HAS SOPS 215865 HAS SOUS 91044 HAS SOUPS 91025 WITH SCORE 91240.947
AT ITER 3597 NEW BEST:: SOT 520593 SOS 215930 HAS SOPS 215848 HAS SOUS 91010 HAS SOUPS 90991 WITH SCORE 91206.93
AT ITER 3609 NEW BEST:: SOT 520592 SOS 215865 HAS SOPS 215783 HAS SOUS 91005 HAS SOUPS 90986 WITH SCORE 91201.865
AT ITER 3610 NEW BEST:: SOT 520536 SOS 215809 HAS SOPS 215727 HAS SOUS 90893 HAS SOUPS 90874 WITH SCORE 91089.809
AT ITER 3617 NEW BEST:: SOT 520414 SOS 215687 HAS SOPS 215605 HAS SOUS 90649 HAS SOUPS 90630 WITH SCORE 90845.687
AT ITER 3646 NEW BEST:: SOT 520414 SOS 215720 HAS SOPS 215638 HAS SOUS 90638 HAS SOUPS 90619 WITH SCORE 90834.72
AT ITER 3660 NEW BEST:: SOT 520396 SOS 215702 HAS SOPS 215620 HAS SOUS 90620 HAS SOUPS 90601 WITH SCORE 90816.702
AT ITER 3696 NEW BEST:: SOT 520396 SOS 215702 HAS SOPS 215620 HAS SOUS 90611 HAS SOUPS 90592 WITH SCORE 90807.702
AT ITER 3710 NEW BEST:: SOT 520396 SOS 215722 HAS SOPS 215640 HAS SOUS 90600 HAS SOUPS 90581 WITH SCORE 90796.722
AT ITER 3772 NEW BEST:: SOT 520336 SOS 215662 HAS SOPS 215580 HAS SOUS 90510 HAS SOUPS 90491 WITH SCORE 90706.662
AT ITER 3778 NEW BEST:: SOT 520336 SOS 215662 HAS SOPS 215580 HAS SOUS 90340 HAS SOUPS 90321 WITH SCORE 90536.662
AT ITER 3784 NEW BEST:: SOT 520324 SOS 215657 HAS SOPS 215575 HAS SOUS 90316 HAS SOUPS 90297 WITH SCORE 90512.657
AT ITER 3786 NEW BEST:: SOT 520228 SOS 215561 HAS SOPS 215479 HAS SOUS 90167 HAS SOUPS 90148 WITH SCORE 90363.561
AT ITER 3803 NEW BEST:: SOT 520228 SOS 215561 HAS SOPS 215479 HAS SOUS 90150 HAS SOUPS 90131 WITH SCORE 90346.561
AT ITER 3804 NEW BEST:: SOT 520240 SOS 215518 HAS SOPS 215436 HAS SOUS 90107 HAS SOUPS 90088 WITH SCORE 90303.518
AT ITER 3805 NEW BEST:: SOT 520181 SOS 215350 HAS SOPS 215268 HAS SOUS 89969 HAS SOUPS 89950 WITH SCORE 90165.35
AT ITER 3815 NEW BEST:: SOT 520177 SOS 215346 HAS SOPS 215264 HAS SOUS 89945 HAS SOUPS 89926 WITH SCORE 90141.346
AT ITER 3838 NEW BEST:: SOT 520160 SOS 215329 HAS SOPS 215247 HAS SOUS 89880 HAS SOUPS 89861 WITH SCORE 90076.329
AT ITER 3873 NEW BEST:: SOT 520127 SOS 215329 HAS SOPS 215247 HAS SOUS 89814 HAS SOUPS 89795 WITH SCORE 90010.329
AT ITER 3875 NEW BEST:: SOT 520131 SOS 215333 HAS SOPS 215251 HAS SOUS 89750 HAS SOUPS 89731 WITH SCORE 89946.333
AT ITER 3889 NEW BEST:: SOT 519831 SOS 215021 HAS SOPS 214939 HAS SOUS 89558 HAS SOUPS 89539 WITH SCORE 89754.021
AT ITER 3892 NEW BEST:: SOT 519831 SOS 215021 HAS SOPS 214939 HAS SOUS 89540 HAS SOUPS 89521 WITH SCORE 89736.021
AT ITER 3893 NEW BEST:: SOT 519828 SOS 215015 HAS SOPS 214933 HAS SOUS 89537 HAS SOUPS 89518 WITH SCORE 89733.015
AT ITER 3923 NEW BEST:: SOT 519816 SOS 214985 HAS SOPS 214903 HAS SOUS 89497 HAS SOUPS 89478 WITH SCORE 89692.985
AT ITER 3947 NEW BEST:: SOT 519888 SOS 215057 HAS SOPS 214975 HAS SOUS 89468 HAS SOUPS 89449 WITH SCORE 89664.057
AT ITER 3964 NEW BEST:: SOT 519888 SOS 215016 HAS SOPS 214934 HAS SOUS 89468 HAS SOUPS 89449 WITH SCORE 89664.016
AT ITER 3978 NEW BEST:: SOT 519888 SOS 215016 HAS SOPS 214934 HAS SOUS 89431 HAS SOUPS 89412 WITH SCORE 89627.016
AT ITER 4007 NEW BEST:: SOT 519995 SOS 215123 HAS SOPS 215041 HAS SOUS 89151 HAS SOUPS 89132 WITH SCORE 89347.123
AT ITER 4010 NEW BEST:: SOT 519986 SOS 215062 HAS SOPS 214980 HAS SOUS 89116 HAS SOUPS 89097 WITH SCORE 89312.062
AT ITER 4019 NEW BEST:: SOT 519943 SOS 215064 HAS SOPS 214982 HAS SOUS 89097 HAS SOUPS 89078 WITH SCORE 89293.064
AT ITER 4022 NEW BEST:: SOT 519939 SOS 215060 HAS SOPS 214978 HAS SOUS 89088 HAS SOUPS 89069 WITH SCORE 89284.06
AT ITER 4026 NEW BEST:: SOT 519450 SOS 214571 HAS SOPS 214489 HAS SOUS 88602 HAS SOUPS 88583 WITH SCORE 88797.571
AT ITER 4061 NEW BEST:: SOT 519450 SOS 214571 HAS SOPS 214489 HAS SOUS 88601 HAS SOUPS 88582 WITH SCORE 88796.571
AT ITER 4086 NEW BEST:: SOT 519428 SOS 214549 HAS SOPS 214467 HAS SOUS 88579 HAS SOUPS 88560 WITH SCORE 88774.549
AT ITER 4087 NEW BEST:: SOT 519382 SOS 214503 HAS SOPS 214421 HAS SOUS 88487 HAS SOUPS 88468 WITH SCORE 88682.503
AT ITER 4094 NEW BEST:: SOT 519089 SOS 214154 HAS SOPS 214072 HAS SOUS 88132 HAS SOUPS 88113 WITH SCORE 88327.154
AT ITER 4111 NEW BEST:: SOT 519088 SOS 214153 HAS SOPS 214071 HAS SOUS 88131 HAS SOUPS 88112 WITH SCORE 88326.153
AT ITER 4117 NEW BEST:: SOT 519055 SOS 214120 HAS SOPS 214038 HAS SOUS 88064 HAS SOUPS 88045 WITH SCORE 88259.12
AT ITER 4132 NEW BEST:: SOT 519055 SOS 214114 HAS SOPS 214032 HAS SOUS 88064 HAS SOUPS 88045 WITH SCORE 88259.114
AT ITER 4133 NEW BEST:: SOT 519055 SOS 214114 HAS SOPS 214032 HAS SOUS 88055 HAS SOUPS 88036 WITH SCORE 88250.114
AT ITER 4148 NEW BEST:: SOT 519041 SOS 214100 HAS SOPS 214018 HAS SOUS 87995 HAS SOUPS 87976 WITH SCORE 88190.1
AT ITER 4191 NEW BEST:: SOT 518988 SOS 214047 HAS SOPS 213965 HAS SOUS 87897 HAS SOUPS 87878 WITH SCORE 88092.047
AT ITER 4230 NEW BEST:: SOT 518946 SOS 214005 HAS SOPS 213923 HAS SOUS 87855 HAS SOUPS 87836 WITH SCORE 88050.005
AT ITER 4245 NEW BEST:: SOT 518946 SOS 214005 HAS SOPS 213923 HAS SOUS 87852 HAS SOUPS 87833 WITH SCORE 88047.005
AT ITER 4253 NEW BEST:: SOT 519089 SOS 214148 HAS SOPS 214066 HAS SOUS 87846 HAS SOUPS 87827 WITH SCORE 88041.148
AT ITER 4265 NEW BEST:: SOT 519176 SOS 214235 HAS SOPS 214153 HAS SOUS 87772 HAS SOUPS 87753 WITH SCORE 87967.235
AT ITER 4270 NEW BEST:: SOT 519133 SOS 214192 HAS SOPS 214110 HAS SOUS 87720 HAS SOUPS 87701 WITH SCORE 87915.192
AT ITER 4286 NEW BEST:: SOT 519101 SOS 214160 HAS SOPS 214078 HAS SOUS 87621 HAS SOUPS 87602 WITH SCORE 87816.16
AT ITER 4325 NEW BEST:: SOT 519066 SOS 214125 HAS SOPS 214043 HAS SOUS 87596 HAS SOUPS 87577 WITH SCORE 87791.125
AT ITER 4343 NEW BEST:: SOT 519055 SOS 214117 HAS SOPS 214035 HAS SOUS 87593 HAS SOUPS 87574 WITH SCORE 87788.117
AT ITER 4368 NEW BEST:: SOT 518997 SOS 214059 HAS SOPS 213977 HAS SOUS 87485 HAS SOUPS 87466 WITH SCORE 87680.059
AT ITER 4373 NEW BEST:: SOT 518997 SOS 214077 HAS SOPS 213995 HAS SOUS 87467 HAS SOUPS 87448 WITH SCORE 87662.077
AT ITER 4386 NEW BEST:: SOT 519003 SOS 214083 HAS SOPS 214001 HAS SOUS 87324 HAS SOUPS 87305 WITH SCORE 87519.083
AT ITER 4427 NEW BEST:: SOT 519003 SOS 214083 HAS SOPS 214001 HAS SOUS 87284 HAS SOUPS 87265 WITH SCORE 87479.083
AT ITER 4434 NEW BEST:: SOT 519083 SOS 214163 HAS SOPS 214081 HAS SOUS 87199 HAS SOUPS 87180 WITH SCORE 87394.163
AT ITER 4438 NEW BEST:: SOT 519029 SOS 214024 HAS SOPS 213942 HAS SOUS 86890 HAS SOUPS 86871 WITH SCORE 87085.024
AT ITER 4444 NEW BEST:: SOT 518998 SOS 213993 HAS SOPS 213911 HAS SOUS 86706 HAS SOUPS 86687 WITH SCORE 86900.993
AT ITER 4451 NEW BEST:: SOT 518810 SOS 213805 HAS SOPS 213723 HAS SOUS 86348 HAS SOUPS 86329 WITH SCORE 86542.805
AT ITER 4488 NEW BEST:: SOT 518794 SOS 213817 HAS SOPS 213735 HAS SOUS 86316 HAS SOUPS 86297 WITH SCORE 86510.817
AT ITER 4496 NEW BEST:: SOT 518773 SOS 213796 HAS SOPS 213714 HAS SOUS 86309 HAS SOUPS 86290 WITH SCORE 86503.796
AT ITER 4498 NEW BEST:: SOT 518756 SOS 213779 HAS SOPS 213697 HAS SOUS 86292 HAS SOUPS 86273 WITH SCORE 86486.779
AT ITER 4530 NEW BEST:: SOT 518747 SOS 213770 HAS SOPS 213688 HAS SOUS 86254 HAS SOUPS 86235 WITH SCORE 86448.77
AT ITER 4539 NEW BEST:: SOT 518717 SOS 213725 HAS SOPS 213643 HAS SOUS 86173 HAS SOUPS 86154 WITH SCORE 86367.725
AT ITER 4557 NEW BEST:: SOT 518785 SOS 213793 HAS SOPS 213711 HAS SOUS 86168 HAS SOUPS 86149 WITH SCORE 86362.793
AT ITER 4608 NEW BEST:: SOT 518702 SOS 213710 HAS SOPS 213628 HAS SOUS 86045 HAS SOUPS 86026 WITH SCORE 86239.71
AT ITER 4645 NEW BEST:: SOT 518718 SOS 213726 HAS SOPS 213644 HAS SOUS 86022 HAS SOUPS 86003 WITH SCORE 86216.726
AT ITER 4662 NEW BEST:: SOT 518692 SOS 213854 HAS SOPS 213772 HAS SOUS 85996 HAS SOUPS 85977 WITH SCORE 86190.854
AT ITER 4671 NEW BEST:: SOT 518679 SOS 213828 HAS SOPS 213746 HAS SOUS 85959 HAS SOUPS 85940 WITH SCORE 86153.828
AT ITER 4679 NEW BEST:: SOT 518672 SOS 213821 HAS SOPS 213739 HAS SOUS 85938 HAS SOUPS 85919 WITH SCORE 86132.821
AT ITER 4701 NEW BEST:: SOT 518731 SOS 213880 HAS SOPS 213798 HAS SOUS 85848 HAS SOUPS 85829 WITH SCORE 86042.88
AT ITER 4716 NEW BEST:: SOT 518725 SOS 213866 HAS SOPS 213784 HAS SOUS 85820 HAS SOUPS 85801 WITH SCORE 86014.866
AT ITER 4724 NEW BEST:: SOT 518650 SOS 213903 HAS SOPS 213821 HAS SOUS 85807 HAS SOUPS 85788 WITH SCORE 86001.903
AT ITER 4726 NEW BEST:: SOT 518565 SOS 213800 HAS SOPS 213718 HAS SOUS 85774 HAS SOUPS 85755 WITH SCORE 85968.8
AT ITER 4749 NEW BEST:: SOT 518565 SOS 178393 HAS SOPS 178311 HAS SOUS 85566 HAS SOUPS 85547 WITH SCORE 85725.393
AT ITER 4806 NEW BEST:: SOT 518565 SOS 178203 HAS SOPS 178121 HAS SOUS 85566 HAS SOUPS 85547 WITH SCORE 85725.203
AT ITER 4809 NEW BEST:: SOT 518530 SOS 178168 HAS SOPS 178086 HAS SOUS 85391 HAS SOUPS 85372 WITH SCORE 85550.168
AT ITER 4832 NEW BEST:: SOT 518530 SOS 178168 HAS SOPS 178086 HAS SOUS 85387 HAS SOUPS 85368 WITH SCORE 85546.168
AT ITER 4845 NEW BEST:: SOT 518422 SOS 178060 HAS SOPS 177978 HAS SOUS 85279 HAS SOUPS 85260 WITH SCORE 85438.06
AT ITER 4848 NEW BEST:: SOT 518330 SOS 177968 HAS SOPS 177886 HAS SOUS 85122 HAS SOUPS 85103 WITH SCORE 85280.968
AT ITER 4852 NEW BEST:: SOT 518326 SOS 177964 HAS SOPS 177882 HAS SOUS 85118 HAS SOUPS 85099 WITH SCORE 85276.964
AT ITER 4861 NEW BEST:: SOT 518312 SOS 177983 HAS SOPS 177901 HAS SOUS 85090 HAS SOUPS 85071 WITH SCORE 85248.983
AT ITER 4882 NEW BEST:: SOT 518252 SOS 177923 HAS SOPS 177841 HAS SOUS 85003 HAS SOUPS 84984 WITH SCORE 85161.923
AT ITER 4883 NEW BEST:: SOT 518252 SOS 177923 HAS SOPS 177841 HAS SOUS 84993 HAS SOUPS 84974 WITH SCORE 85151.923
AT ITER 4911 NEW BEST:: SOT 518126 SOS 177797 HAS SOPS 177715 HAS SOUS 84692 HAS SOUPS 84673 WITH SCORE 84850.797
AT ITER 4914 NEW BEST:: SOT 518149 SOS 177797 HAS SOPS 177715 HAS SOUS 84669 HAS SOUPS 84650 WITH SCORE 84827.797
AT ITER 4924 NEW BEST:: SOT 518098 SOS 177746 HAS SOPS 177664 HAS SOUS 84603 HAS SOUPS 84584 WITH SCORE 84761.746
AT ITER 4930 NEW BEST:: SOT 518055 SOS 177660 HAS SOPS 177578 HAS SOUS 84517 HAS SOUPS 84498 WITH SCORE 84675.66
AT ITER 4944 NEW BEST:: SOT 518035 SOS 177640 HAS SOPS 177558 HAS SOUS 84464 HAS SOUPS 84445 WITH SCORE 84622.64
AT ITER 4980 NEW BEST:: SOT 518038 SOS 177643 HAS SOPS 177561 HAS SOUS 84242 HAS SOUPS 84223 WITH SCORE 84400.643
AT ITER 4989 NEW BEST:: SOT 518038 SOS 177643 HAS SOPS 177561 HAS SOUS 84234 HAS SOUPS 84215 WITH SCORE 84392.643
AT ITER 4999 NEW BEST:: SOT 518058 SOS 177663 HAS SOPS 177581 HAS SOUS 84174 HAS SOUPS 84155 WITH SCORE 84332.663
AT ITER 5037 NEW BEST:: SOT 518058 SOS 177663 HAS SOPS 177581 HAS SOUS 84165 HAS SOUPS 84146 WITH SCORE 84323.663
AT ITER 5068 NEW BEST:: SOT 518058 SOS 177671 HAS SOPS 177589 HAS SOUS 84163 HAS SOUPS 84144 WITH SCORE 84321.671
AT ITER 5075 NEW BEST:: SOT 518025 SOS 177638 HAS SOPS 177556 HAS SOUS 84130 HAS SOUPS 84111 WITH SCORE 84288.638
AT ITER 5076 NEW BEST:: SOT 518025 SOS 177646 HAS SOPS 177564 HAS SOUS 84127 HAS SOUPS 84108 WITH SCORE 84285.646
AT ITER 5108 NEW BEST:: SOT 518021 SOS 177642 HAS SOPS 177560 HAS SOUS 84119 HAS SOUPS 84100 WITH SCORE 84277.642
AT ITER 5149 NEW BEST:: SOT 518015 SOS 177636 HAS SOPS 177554 HAS SOUS 84089 HAS SOUPS 84070 WITH SCORE 84247.636
AT ITER 5163 NEW BEST:: SOT 518015 SOS 177636 HAS SOPS 177554 HAS SOUS 84086 HAS SOUPS 84067 WITH SCORE 84244.636
AT ITER 5168 NEW BEST:: SOT 518025 SOS 177656 HAS SOPS 177574 HAS SOUS 84084 HAS SOUPS 84065 WITH SCORE 84242.656
AT ITER 5172 NEW BEST:: SOT 518037 SOS 177668 HAS SOPS 177586 HAS SOUS 83972 HAS SOUPS 83953 WITH SCORE 84130.668
AT ITER 5193 NEW BEST:: SOT 518031 SOS 177662 HAS SOPS 177580 HAS SOUS 83881 HAS SOUPS 83862 WITH SCORE 84039.662
AT ITER 5210 NEW BEST:: SOT 518017 SOS 177648 HAS SOPS 177566 HAS SOUS 83854 HAS SOUPS 83835 WITH SCORE 84012.648
AT ITER 5224 NEW BEST:: SOT 517997 SOS 177628 HAS SOPS 177546 HAS SOUS 83800 HAS SOUPS 83781 WITH SCORE 83958.628
AT ITER 5253 NEW BEST:: SOT 517964 SOS 177595 HAS SOPS 177513 HAS SOUS 83514 HAS SOUPS 83495 WITH SCORE 83672.595
AT ITER 5263 NEW BEST:: SOT 518049 SOS 177617 HAS SOPS 177535 HAS SOUS 83505 HAS SOUPS 83486 WITH SCORE 83663.617
AT ITER 5265 NEW BEST:: SOT 518066 SOS 177608 HAS SOPS 177526 HAS SOUS 83487 HAS SOUPS 83468 WITH SCORE 83645.608
AT ITER 5269 NEW BEST:: SOT 518063 SOS 177605 HAS SOPS 177523 HAS SOUS 83486 HAS SOUPS 83467 WITH SCORE 83644.605
AT ITER 5291 NEW BEST:: SOT 518036 SOS 177686 HAS SOPS 177469 HAS SOUS 83433 HAS SOUPS 83387 WITH SCORE 83564.686
AT ITER 5300 NEW BEST:: SOT 517982 SOS 177657 HAS SOPS 177440 HAS SOUS 83404 HAS SOUPS 83358 WITH SCORE 83535.657
AT ITER 5301 NEW BEST:: SOT 517974 SOS 177649 HAS SOPS 177432 HAS SOUS 83397 HAS SOUPS 83351 WITH SCORE 83528.649
AT ITER 5325 NEW BEST:: SOT 517974 SOS 177579 HAS SOPS 177362 HAS SOUS 83397 HAS SOUPS 83351 WITH SCORE 83528.579
AT ITER 5328 NEW BEST:: SOT 518004 SOS 177609 HAS SOPS 177392 HAS SOUS 83335 HAS SOUPS 83289 WITH SCORE 83466.609
AT ITER 5333 NEW BEST:: SOT 518004 SOS 177609 HAS SOPS 177392 HAS SOUS 83314 HAS SOUPS 83268 WITH SCORE 83445.609
AT ITER 5358 NEW BEST:: SOT 517934 SOS 177539 HAS SOPS 177322 HAS SOUS 83170 HAS SOUPS 83124 WITH SCORE 83301.539
AT ITER 5367 NEW BEST:: SOT 517913 SOS 177518 HAS SOPS 177301 HAS SOUS 82989 HAS SOUPS 82943 WITH SCORE 83120.518
AT ITER 5370 NEW BEST:: SOT 517822 SOS 177427 HAS SOPS 177210 HAS SOUS 82898 HAS SOUPS 82852 WITH SCORE 83029.427
AT ITER 5386 NEW BEST:: SOT 517811 SOS 177416 HAS SOPS 177199 HAS SOUS 82887 HAS SOUPS 82841 WITH SCORE 83018.416
AT ITER 5407 NEW BEST:: SOT 517811 SOS 177410 HAS SOPS 177193 HAS SOUS 82825 HAS SOUPS 82779 WITH SCORE 82956.41
AT ITER 5419 NEW BEST:: SOT 517767 SOS 177366 HAS SOPS 177149 HAS SOUS 82782 HAS SOUPS 82736 WITH SCORE 82913.366
AT ITER 5436 NEW BEST:: SOT 517767 SOS 177411 HAS SOPS 177194 HAS SOUS 82711 HAS SOUPS 82665 WITH SCORE 82842.411
AT ITER 5441 NEW BEST:: SOT 517730 SOS 177364 HAS SOPS 177147 HAS SOUS 82694 HAS SOUPS 82648 WITH SCORE 82825.364
AT ITER 5465 NEW BEST:: SOT 517673 SOS 177307 HAS SOPS 177090 HAS SOUS 82549 HAS SOUPS 82503 WITH SCORE 82680.307
AT ITER 5498 NEW BEST:: SOT 517652 SOS 177286 HAS SOPS 177069 HAS SOUS 82528 HAS SOUPS 82482 WITH SCORE 82659.286
AT ITER 5504 NEW BEST:: SOT 517490 SOS 177124 HAS SOPS 176907 HAS SOUS 82119 HAS SOUPS 82073 WITH SCORE 82250.124
AT ITER 5508 NEW BEST:: SOT 517460 SOS 177094 HAS SOPS 176877 HAS SOUS 82059 HAS SOUPS 82013 WITH SCORE 82190.094
AT ITER 5585 NEW BEST:: SOT 517498 SOS 177104 HAS SOPS 176887 HAS SOUS 82054 HAS SOUPS 82008 WITH SCORE 82185.104
AT ITER 5618 NEW BEST:: SOT 517450 SOS 177008 HAS SOPS 176791 HAS SOUS 81958 HAS SOUPS 81912 WITH SCORE 82089.008
AT ITER 5622 NEW BEST:: SOT 517416 SOS 176974 HAS SOPS 176757 HAS SOUS 81924 HAS SOUPS 81878 WITH SCORE 82054.974
AT ITER 5623 NEW BEST:: SOT 517374 SOS 176932 HAS SOPS 176715 HAS SOUS 81924 HAS SOUPS 81878 WITH SCORE 82054.932
AT ITER 5634 NEW BEST:: SOT 517443 SOS 177001 HAS SOPS 176784 HAS SOUS 81603 HAS SOUPS 81557 WITH SCORE 81734.001
AT ITER 5637 NEW BEST:: SOT 517443 SOS 177001 HAS SOPS 176784 HAS SOUS 81602 HAS SOUPS 81556 WITH SCORE 81733.001
AT ITER 5671 NEW BEST:: SOT 516554 SOS 176094 HAS SOPS 175877 HAS SOUS 80687 HAS SOUPS 80641 WITH SCORE 80817.094
AT ITER 5723 NEW BEST:: SOT 516532 SOS 176072 HAS SOPS 175855 HAS SOUS 80665 HAS SOUPS 80619 WITH SCORE 80795.072
AT ITER 5726 NEW BEST:: SOT 516557 SOS 176097 HAS SOPS 175880 HAS SOUS 80615 HAS SOUPS 80569 WITH SCORE 80745.097
AT ITER 5732 NEW BEST:: SOT 516499 SOS 176039 HAS SOPS 175822 HAS SOUS 80557 HAS SOUPS 80511 WITH SCORE 80687.039
AT ITER 5750 NEW BEST:: SOT 516499 SOS 176038 HAS SOPS 175821 HAS SOUS 80556 HAS SOUPS 80510 WITH SCORE 80686.038
AT ITER 5760 NEW BEST:: SOT 516499 SOS 176038 HAS SOPS 175821 HAS SOUS 80535 HAS SOUPS 80489 WITH SCORE 80665.038
AT ITER 5762 NEW BEST:: SOT 516470 SOS 176009 HAS SOPS 175792 HAS SOUS 80506 HAS SOUPS 80460 WITH SCORE 80636.009
AT ITER 5793 NEW BEST:: SOT 516474 SOS 175945 HAS SOPS 175728 HAS SOUS 80447 HAS SOUPS 80401 WITH SCORE 80576.945
AT ITER 5847 NEW BEST:: SOT 516473 SOS 175943 HAS SOPS 175726 HAS SOUS 80440 HAS SOUPS 80394 WITH SCORE 80569.943
AT ITER 5852 NEW BEST:: SOT 516420 SOS 175927 HAS SOPS 175710 HAS SOUS 80381 HAS SOUPS 80335 WITH SCORE 80510.927
AT ITER 5865 NEW BEST:: SOT 516417 SOS 175924 HAS SOPS 175707 HAS SOUS 80378 HAS SOUPS 80332 WITH SCORE 80507.924
AT ITER 5885 NEW BEST:: SOT 516372 SOS 176259 HAS SOPS 176029 HAS SOUS 80266 HAS SOUPS 80207 WITH SCORE 80383.259
AT ITER 5892 NEW BEST:: SOT 516310 SOS 176197 HAS SOPS 175967 HAS SOUS 79894 HAS SOUPS 79835 WITH SCORE 80011.197
AT ITER 5904 NEW BEST:: SOT 516292 SOS 176182 HAS SOPS 175952 HAS SOUS 79870 HAS SOUPS 79811 WITH SCORE 79987.182
AT ITER 5926 NEW BEST:: SOT 516185 SOS 175968 HAS SOPS 175738 HAS SOUS 79656 HAS SOUPS 79597 WITH SCORE 79772.968
AT ITER 5960 NEW BEST:: SOT 516213 SOS 175996 HAS SOPS 175766 HAS SOUS 79624 HAS SOUPS 79565 WITH SCORE 79740.996
AT ITER 5987 NEW BEST:: SOT 516225 SOS 175995 HAS SOPS 175765 HAS SOUS 79623 HAS SOUPS 79564 WITH SCORE 79739.995
AT ITER 5991 NEW BEST:: SOT 516195 SOS 175960 HAS SOPS 175730 HAS SOUS 79583 HAS SOUPS 79524 WITH SCORE 79699.96
AT ITER 6011 NEW BEST:: SOT 514853 SOS 177573 HAS SOPS 177343 HAS SOUS 78194 HAS SOUPS 78135 WITH SCORE 78312.573
AT ITER 6016 NEW BEST:: SOT 514793 SOS 177513 HAS SOPS 177283 HAS SOUS 78134 HAS SOUPS 78075 WITH SCORE 78252.513
AT ITER 6022 NEW BEST:: SOT 514793 SOS 177429 HAS SOPS 177199 HAS SOUS 78134 HAS SOUPS 78075 WITH SCORE 78252.429
AT ITER 6028 NEW BEST:: SOT 514797 SOS 177433 HAS SOPS 177203 HAS SOUS 78133 HAS SOUPS 78074 WITH SCORE 78251.433
AT ITER 6032 NEW BEST:: SOT 514791 SOS 177421 HAS SOPS 177191 HAS SOUS 78121 HAS SOUPS 78062 WITH SCORE 78239.421
AT ITER 6077 NEW BEST:: SOT 514744 SOS 177374 HAS SOPS 177144 HAS SOUS 78011 HAS SOUPS 77952 WITH SCORE 78129.374
AT ITER 6082 NEW BEST:: SOT 514714 SOS 177344 HAS SOPS 177114 HAS SOUS 77931 HAS SOUPS 77872 WITH SCORE 78049.344
AT ITER 6083 NEW BEST:: SOT 514710 SOS 177435 HAS SOPS 177205 HAS SOUS 77923 HAS SOUPS 77864 WITH SCORE 78041.435
AT ITER 6099 NEW BEST:: SOT 514708 SOS 177433 HAS SOPS 177203 HAS SOUS 77920 HAS SOUPS 77861 WITH SCORE 78038.433
AT ITER 6105 NEW BEST:: SOT 514724 SOS 177449 HAS SOPS 177219 HAS SOUS 77898 HAS SOUPS 77839 WITH SCORE 78016.449
AT ITER 6115 NEW BEST:: SOT 514714 SOS 177432 HAS SOPS 177202 HAS SOUS 77878 HAS SOUPS 77819 WITH SCORE 77996.432
AT ITER 6120 NEW BEST:: SOT 514702 SOS 177420 HAS SOPS 177190 HAS SOUS 77858 HAS SOUPS 77799 WITH SCORE 77976.42
AT ITER 6122 NEW BEST:: SOT 514730 SOS 177642 HAS SOPS 177412 HAS SOUS 77844 HAS SOUPS 77785 WITH SCORE 77962.642
AT ITER 6136 NEW BEST:: SOT 514700 SOS 177612 HAS SOPS 177382 HAS SOUS 77793 HAS SOUPS 77734 WITH SCORE 77911.612
AT ITER 6165 NEW BEST:: SOT 514705 SOS 177617 HAS SOPS 177387 HAS SOUS 77707 HAS SOUPS 77648 WITH SCORE 77825.617
AT ITER 6167 NEW BEST:: SOT 514649 SOS 177561 HAS SOPS 177331 HAS SOUS 77637 HAS SOUPS 77578 WITH SCORE 77755.561
AT ITER 6178 NEW BEST:: SOT 514734 SOS 177646 HAS SOPS 177416 HAS SOUS 77526 HAS SOUPS 77467 WITH SCORE 77644.646
AT ITER 6180 NEW BEST:: SOT 514744 SOS 177652 HAS SOPS 177422 HAS SOUS 77523 HAS SOUPS 77464 WITH SCORE 77641.652
AT ITER 6203 NEW BEST:: SOT 514742 SOS 177650 HAS SOPS 177420 HAS SOUS 77517 HAS SOUPS 77458 WITH SCORE 77635.65
AT ITER 6212 NEW BEST:: SOT 514714 SOS 177622 HAS SOPS 177392 HAS SOUS 77471 HAS SOUPS 77412 WITH SCORE 77589.622
AT ITER 6249 NEW BEST:: SOT 514708 SOS 177611 HAS SOPS 177381 HAS SOUS 77465 HAS SOUPS 77406 WITH SCORE 77583.611
AT ITER 6264 NEW BEST:: SOT 514757 SOS 177660 HAS SOPS 177430 HAS SOUS 77352 HAS SOUPS 77293 WITH SCORE 77470.66
AT ITER 6283 NEW BEST:: SOT 514757 SOS 177660 HAS SOPS 177430 HAS SOUS 77348 HAS SOUPS 77289 WITH SCORE 77466.66
AT ITER 6296 NEW BEST:: SOT 514695 SOS 177377 HAS SOPS 177147 HAS SOUS 77153 HAS SOUPS 77094 WITH SCORE 77271.377
AT ITER 6312 NEW BEST:: SOT 514652 SOS 177313 HAS SOPS 177083 HAS SOUS 77088 HAS SOUPS 77029 WITH SCORE 77206.313
AT ITER 6319 NEW BEST:: SOT 514652 SOS 177306 HAS SOPS 177076 HAS SOUS 77088 HAS SOUPS 77029 WITH SCORE 77206.306
AT ITER 6323 NEW BEST:: SOT 514636 SOS 177218 HAS SOPS 176988 HAS SOUS 77080 HAS SOUPS 77021 WITH SCORE 77198.218
AT ITER 6350 NEW BEST:: SOT 514630 SOS 177212 HAS SOPS 176982 HAS SOUS 77077 HAS SOUPS 77018 WITH SCORE 77195.212
AT ITER 6358 NEW BEST:: SOT 514652 SOS 177234 HAS SOPS 177004 HAS SOUS 77014 HAS SOUPS 76955 WITH SCORE 77132.234
AT ITER 6394 NEW BEST:: SOT 514653 SOS 174601 HAS SOPS 174365 HAS SOUS 76991 HAS SOUPS 76932 WITH SCORE 77106.601
AT ITER 6398 NEW BEST:: SOT 514765 SOS 174596 HAS SOPS 174360 HAS SOUS 76935 HAS SOUPS 76876 WITH SCORE 77050.596
AT ITER 6406 NEW BEST:: SOT 514759 SOS 174593 HAS SOPS 174357 HAS SOUS 76929 HAS SOUPS 76870 WITH SCORE 77044.593
AT ITER 6422 NEW BEST:: SOT 514754 SOS 174592 HAS SOPS 174356 HAS SOUS 76928 HAS SOUPS 76869 WITH SCORE 77043.592
AT ITER 6425 NEW BEST:: SOT 514739 SOS 174565 HAS SOPS 174329 HAS SOUS 76898 HAS SOUPS 76839 WITH SCORE 77013.565
AT ITER 6515 NEW BEST:: SOT 514718 SOS 174555 HAS SOPS 174319 HAS SOUS 76888 HAS SOUPS 76829 WITH SCORE 77003.555
AT ITER 6516 NEW BEST:: SOT 514664 SOS 174501 HAS SOPS 174265 HAS SOUS 76784 HAS SOUPS 76725 WITH SCORE 76899.501
AT ITER 6587 NEW BEST:: SOT 514614 SOS 174494 HAS SOPS 174258 HAS SOUS 76640 HAS SOUPS 76581 WITH SCORE 76755.494
AT ITER 6626 NEW BEST:: SOT 514550 SOS 174483 HAS SOPS 174247 HAS SOUS 76573 HAS SOUPS 76514 WITH SCORE 76688.483
AT ITER 6634 NEW BEST:: SOT 514540 SOS 174473 HAS SOPS 174237 HAS SOUS 76553 HAS SOUPS 76494 WITH SCORE 76668.473
AT ITER 6651 NEW BEST:: SOT 514506 SOS 174439 HAS SOPS 174203 HAS SOUS 76441 HAS SOUPS 76382 WITH SCORE 76556.439
AT ITER 6654 NEW BEST:: SOT 514495 SOS 174428 HAS SOPS 174192 HAS SOUS 76419 HAS SOUPS 76360 WITH SCORE 76534.428
AT ITER 6687 NEW BEST:: SOT 514536 SOS 174469 HAS SOPS 174233 HAS SOUS 76405 HAS SOUPS 76346 WITH SCORE 76520.469
AT ITER 6696 NEW BEST:: SOT 514514 SOS 174447 HAS SOPS 174211 HAS SOUS 76361 HAS SOUPS 76302 WITH SCORE 76476.447
AT ITER 6725 NEW BEST:: SOT 514429 SOS 174362 HAS SOPS 174126 HAS SOUS 76276 HAS SOUPS 76217 WITH SCORE 76391.362
AT ITER 6729 NEW BEST:: SOT 514403 SOS 174336 HAS SOPS 174100 HAS SOUS 76262 HAS SOUPS 76203 WITH SCORE 76377.336
AT ITER 6741 NEW BEST:: SOT 514403 SOS 174336 HAS SOPS 174100 HAS SOUS 76256 HAS SOUPS 76197 WITH SCORE 76371.336
AT ITER 6754 NEW BEST:: SOT 514334 SOS 174296 HAS SOPS 174060 HAS SOUS 76195 HAS SOUPS 76136 WITH SCORE 76310.296
AT ITER 6764 NEW BEST:: SOT 514373 SOS 174550 HAS SOPS 174314 HAS SOUS 76175 HAS SOUPS 76116 WITH SCORE 76290.55
AT ITER 6774 NEW BEST:: SOT 514261 SOS 174504 HAS SOPS 174268 HAS SOUS 76129 HAS SOUPS 76070 WITH SCORE 76244.504
AT ITER 6790 NEW BEST:: SOT 514236 SOS 174355 HAS SOPS 174119 HAS SOUS 76093 HAS SOUPS 76034 WITH SCORE 76208.355
AT ITER 6794 NEW BEST:: SOT 514174 SOS 174262 HAS SOPS 174026 HAS SOUS 76007 HAS SOUPS 75948 WITH SCORE 76122.262
AT ITER 6803 NEW BEST:: SOT 514106 SOS 174194 HAS SOPS 173958 HAS SOUS 75895 HAS SOUPS 75836 WITH SCORE 76010.194
AT ITER 6847 NEW BEST:: SOT 513978 SOS 174066 HAS SOPS 173830 HAS SOUS 75829 HAS SOUPS 75770 WITH SCORE 75944.066
AT ITER 6863 NEW BEST:: SOT 513953 SOS 174041 HAS SOPS 173805 HAS SOUS 75715 HAS SOUPS 75656 WITH SCORE 75830.041
AT ITER 6872 NEW BEST:: SOT 513926 SOS 174014 HAS SOPS 173778 HAS SOUS 75572 HAS SOUPS 75513 WITH SCORE 75687.014
AT ITER 6873 NEW BEST:: SOT 513926 SOS 174014 HAS SOPS 173778 HAS SOUS 75521 HAS SOUPS 75462 WITH SCORE 75636.014
AT ITER 6920 NEW BEST:: SOT 513965 SOS 174053 HAS SOPS 173817 HAS SOUS 75440 HAS SOUPS 75381 WITH SCORE 75555.053
AT ITER 6921 NEW BEST:: SOT 513927 SOS 174034 HAS SOPS 173798 HAS SOUS 75402 HAS SOUPS 75343 WITH SCORE 75517.034
AT ITER 6936 NEW BEST:: SOT 513919 SOS 174026 HAS SOPS 173790 HAS SOUS 75365 HAS SOUPS 75306 WITH SCORE 75480.026
AT ITER 6995 NEW BEST:: SOT 513973 SOS 174080 HAS SOPS 173844 HAS SOUS 75354 HAS SOUPS 75295 WITH SCORE 75469.08
AT ITER 7014 NEW BEST:: SOT 514015 SOS 174075 HAS SOPS 173839 HAS SOUS 75344 HAS SOUPS 75285 WITH SCORE 75459.075
AT ITER 7058 NEW BEST:: SOT 514007 SOS 174067 HAS SOPS 173831 HAS SOUS 75328 HAS SOUPS 75269 WITH SCORE 75443.067
AT ITER 7183 NEW BEST:: SOT 514003 SOS 174063 HAS SOPS 173827 HAS SOUS 75308 HAS SOUPS 75249 WITH SCORE 75423.063
AT ITER 7197 NEW BEST:: SOT 513997 SOS 174057 HAS SOPS 173821 HAS SOUS 75302 HAS SOUPS 75243 WITH SCORE 75417.057
AT ITER 7211 NEW BEST:: SOT 511701 SOS 171761 HAS SOPS 171525 HAS SOUS 72938 HAS SOUPS 72879 WITH SCORE 73050.761
AT ITER 7219 NEW BEST:: SOT 511670 SOS 171749 HAS SOPS 171513 HAS SOUS 72914 HAS SOUPS 72855 WITH SCORE 73026.749
AT ITER 7230 NEW BEST:: SOT 511635 SOS 171697 HAS SOPS 171461 HAS SOUS 72862 HAS SOUPS 72803 WITH SCORE 72974.697
AT ITER 7236 NEW BEST:: SOT 511572 SOS 171597 HAS SOPS 171361 HAS SOUS 72822 HAS SOUPS 72763 WITH SCORE 72934.597
AT ITER 7268 NEW BEST:: SOT 511533 SOS 171592 HAS SOPS 171356 HAS SOUS 72816 HAS SOUPS 72757 WITH SCORE 72928.592
AT ITER 7348 NEW BEST:: SOT 511499 SOS 171558 HAS SOPS 171322 HAS SOUS 72782 HAS SOUPS 72723 WITH SCORE 72894.558
AT ITER 7351 NEW BEST:: SOT 511348 SOS 171407 HAS SOPS 171171 HAS SOUS 72678 HAS SOUPS 72619 WITH SCORE 72790.407
AT ITER 7358 NEW BEST:: SOT 511355 SOS 171350 HAS SOPS 171114 HAS SOUS 72626 HAS SOUPS 72567 WITH SCORE 72738.35
AT ITER 7359 NEW BEST:: SOT 511291 SOS 171286 HAS SOPS 171050 HAS SOUS 72480 HAS SOUPS 72421 WITH SCORE 72592.286
AT ITER 7379 NEW BEST:: SOT 511230 SOS 171225 HAS SOPS 170989 HAS SOUS 72297 HAS SOUPS 72238 WITH SCORE 72409.225
AT ITER 7393 NEW BEST:: SOT 511208 SOS 171203 HAS SOPS 170967 HAS SOUS 72253 HAS SOUPS 72194 WITH SCORE 72365.203
AT ITER 7418 NEW BEST:: SOT 511199 SOS 171194 HAS SOPS 170958 HAS SOUS 72194 HAS SOUPS 72135 WITH SCORE 72306.194
AT ITER 7424 NEW BEST:: SOT 511182 SOS 171175 HAS SOPS 170939 HAS SOUS 72178 HAS SOUPS 72119 WITH SCORE 72290.175
AT ITER 7437 NEW BEST:: SOT 511082 SOS 171075 HAS SOPS 170839 HAS SOUS 71969 HAS SOUPS 71910 WITH SCORE 72081.075
AT ITER 7452 NEW BEST:: SOT 511074 SOS 171067 HAS SOPS 170831 HAS SOUS 71960 HAS SOUPS 71901 WITH SCORE 72072.067
AT ITER 7479 NEW BEST:: SOT 510929 SOS 170922 HAS SOPS 170686 HAS SOUS 71751 HAS SOUPS 71692 WITH SCORE 71862.922
AT ITER 7497 NEW BEST:: SOT 510927 SOS 170920 HAS SOPS 170684 HAS SOUS 71744 HAS SOUPS 71685 WITH SCORE 71855.92
AT ITER 7504 NEW BEST:: SOT 510927 SOS 170904 HAS SOPS 170668 HAS SOUS 71728 HAS SOUPS 71669 WITH SCORE 71839.904
AT ITER 7514 NEW BEST:: SOT 510865 SOS 170842 HAS SOPS 170606 HAS SOUS 71604 HAS SOUPS 71545 WITH SCORE 71715.842
AT ITER 7518 NEW BEST:: SOT 510834 SOS 170811 HAS SOPS 170575 HAS SOUS 71552 HAS SOUPS 71493 WITH SCORE 71663.811
AT ITER 7538 NEW BEST:: SOT 510834 SOS 170808 HAS SOPS 170572 HAS SOUS 71552 HAS SOUPS 71493 WITH SCORE 71663.808
AT ITER 7605 NEW BEST:: SOT 510834 SOS 170805 HAS SOPS 170569 HAS SOUS 71549 HAS SOUPS 71490 WITH SCORE 71660.805
AT ITER 7607 NEW BEST:: SOT 510773 SOS 170744 HAS SOPS 170508 HAS SOUS 71418 HAS SOUPS 71359 WITH SCORE 71529.744
AT ITER 7610 NEW BEST:: SOT 510768 SOS 170739 HAS SOPS 170503 HAS SOUS 71408 HAS SOUPS 71349 WITH SCORE 71519.739
AT ITER 7613 NEW BEST:: SOT 510766 SOS 170737 HAS SOPS 170501 HAS SOUS 71388 HAS SOUPS 71329 WITH SCORE 71499.737
AT ITER 7621 NEW BEST:: SOT 510766 SOS 170755 HAS SOPS 170519 HAS SOUS 71356 HAS SOUPS 71297 WITH SCORE 71467.755
AT ITER 7626 NEW BEST:: SOT 510762 SOS 170745 HAS SOPS 170509 HAS SOUS 71346 HAS SOUPS 71287 WITH SCORE 71457.745
AT ITER 7638 NEW BEST:: SOT 510679 SOS 170552 HAS SOPS 170316 HAS SOUS 71171 HAS SOUPS 71112 WITH SCORE 71282.552
AT ITER 7650 NEW BEST:: SOT 510625 SOS 170498 HAS SOPS 170262 HAS SOUS 71117 HAS SOUPS 71058 WITH SCORE 71228.498
AT ITER 7676 NEW BEST:: SOT 510606 SOS 170479 HAS SOPS 170243 HAS SOUS 71008 HAS SOUPS 70949 WITH SCORE 71119.479
AT ITER 7703 NEW BEST:: SOT 510534 SOS 170407 HAS SOPS 170171 HAS SOUS 70871 HAS SOUPS 70812 WITH SCORE 70982.407
AT ITER 7739 NEW BEST:: SOT 510521 SOS 170394 HAS SOPS 170158 HAS SOUS 70832 HAS SOUPS 70773 WITH SCORE 70943.394
AT ITER 7744 NEW BEST:: SOT 510474 SOS 170347 HAS SOPS 170111 HAS SOUS 70766 HAS SOUPS 70707 WITH SCORE 70877.347
AT ITER 7785 NEW BEST:: SOT 510465 SOS 170319 HAS SOPS 170083 HAS SOUS 70766 HAS SOUPS 70707 WITH SCORE 70877.319
AT ITER 7804 NEW BEST:: SOT 510465 SOS 170319 HAS SOPS 170083 HAS SOUS 70722 HAS SOUPS 70663 WITH SCORE 70833.319
AT ITER 7853 NEW BEST:: SOT 510446 SOS 170317 HAS SOPS 170081 HAS SOUS 70718 HAS SOUPS 70659 WITH SCORE 70829.317
AT ITER 7863 NEW BEST:: SOT 510446 SOS 170314 HAS SOPS 170078 HAS SOUS 70718 HAS SOUPS 70659 WITH SCORE 70829.314
AT ITER 7867 NEW BEST:: SOT 510445 SOS 170313 HAS SOPS 170077 HAS SOUS 70716 HAS SOUPS 70657 WITH SCORE 70827.313
AT ITER 7874 NEW BEST:: SOT 510445 SOS 170313 HAS SOPS 170077 HAS SOUS 70694 HAS SOUPS 70635 WITH SCORE 70805.313
AT ITER 7893 NEW BEST:: SOT 510365 SOS 170233 HAS SOPS 169997 HAS SOUS 70461 HAS SOUPS 70402 WITH SCORE 70572.233
AT ITER 7897 NEW BEST:: SOT 510363 SOS 170231 HAS SOPS 169995 HAS SOUS 70459 HAS SOUPS 70400 WITH SCORE 70570.231
AT ITER 7908 NEW BEST:: SOT 510363 SOS 170231 HAS SOPS 169995 HAS SOUS 70456 HAS SOUPS 70397 WITH SCORE 70567.231
AT ITER 7931 NEW BEST:: SOT 510363 SOS 171526 HAS SOPS 171290 HAS SOUS 70417 HAS SOUPS 70358 WITH SCORE 70529.526
AT ITER 7977 NEW BEST:: SOT 510337 SOS 171500 HAS SOPS 171264 HAS SOUS 70368 HAS SOUPS 70309 WITH SCORE 70480.5
AT ITER 7989 NEW BEST:: SOT 510302 SOS 171305 HAS SOPS 171069 HAS SOUS 70313 HAS SOUPS 70254 WITH SCORE 70425.305
AT ITER 8011 NEW BEST:: SOT 510286 SOS 171305 HAS SOPS 171069 HAS SOUS 70281 HAS SOUPS 70222 WITH SCORE 70393.305
AT ITER 8018 NEW BEST:: SOT 510280 SOS 171299 HAS SOPS 171063 HAS SOUS 70269 HAS SOUPS 70210 WITH SCORE 70381.299
AT ITER 8048 NEW BEST:: SOT 510261 SOS 171303 HAS SOPS 171067 HAS SOUS 70228 HAS SOUPS 70169 WITH SCORE 70340.303
AT ITER 8063 NEW BEST:: SOT 510256 SOS 171298 HAS SOPS 171062 HAS SOUS 70223 HAS SOUPS 70164 WITH SCORE 70335.298
AT ITER 8077 NEW BEST:: SOT 510195 SOS 171298 HAS SOPS 171062 HAS SOUS 70124 HAS SOUPS 70065 WITH SCORE 70236.298
AT ITER 8087 NEW BEST:: SOT 510183 SOS 171286 HAS SOPS 171050 HAS SOUS 70107 HAS SOUPS 70048 WITH SCORE 70219.286
AT ITER 8101 NEW BEST:: SOT 510156 SOS 171259 HAS SOPS 171023 HAS SOUS 70080 HAS SOUPS 70021 WITH SCORE 70192.259
AT ITER 8105 NEW BEST:: SOT 510136 SOS 171239 HAS SOPS 171003 HAS SOUS 70060 HAS SOUPS 70001 WITH SCORE 70172.239
AT ITER 8107 NEW BEST:: SOT 510124 SOS 171227 HAS SOPS 170991 HAS SOUS 70048 HAS SOUPS 69989 WITH SCORE 70160.227
AT ITER 8112 NEW BEST:: SOT 510066 SOS 171169 HAS SOPS 170933 HAS SOUS 69938 HAS SOUPS 69879 WITH SCORE 70050.169
AT ITER 8165 NEW BEST:: SOT 510049 SOS 171134 HAS SOPS 170898 HAS SOUS 69904 HAS SOUPS 69845 WITH SCORE 70016.134
AT ITER 8194 NEW BEST:: SOT 510017 SOS 171148 HAS SOPS 170912 HAS SOUS 69871 HAS SOUPS 69812 WITH SCORE 69983.148
AT ITER 8200 NEW BEST:: SOT 510017 SOS 171181 HAS SOPS 170945 HAS SOUS 69838 HAS SOUPS 69779 WITH SCORE 69950.181
AT ITER 8205 NEW BEST:: SOT 510017 SOS 171181 HAS SOPS 170945 HAS SOUS 69809 HAS SOUPS 69750 WITH SCORE 69921.181
AT ITER 8217 NEW BEST:: SOT 510018 SOS 171236 HAS SOPS 171000 HAS SOUS 69798 HAS SOUPS 69739 WITH SCORE 69910.236
AT ITER 8227 NEW BEST:: SOT 509990 SOS 171208 HAS SOPS 170972 HAS SOUS 69770 HAS SOUPS 69711 WITH SCORE 69882.208
AT ITER 8230 NEW BEST:: SOT 509962 SOS 171180 HAS SOPS 170944 HAS SOUS 69684 HAS SOUPS 69625 WITH SCORE 69796.18
AT ITER 8255 NEW BEST:: SOT 509961 SOS 171179 HAS SOPS 170943 HAS SOUS 69683 HAS SOUPS 69624 WITH SCORE 69795.179
AT ITER 8256 NEW BEST:: SOT 509853 SOS 170963 HAS SOPS 170727 HAS SOUS 69467 HAS SOUPS 69408 WITH SCORE 69578.963
AT ITER 8310 NEW BEST:: SOT 509830 SOS 170940 HAS SOPS 170704 HAS SOUS 69416 HAS SOUPS 69357 WITH SCORE 69527.94
AT ITER 8323 NEW BEST:: SOT 509830 SOS 171450 HAS SOPS 171214 HAS SOUS 69401 HAS SOUPS 69342 WITH SCORE 69513.45
AT ITER 8379 NEW BEST:: SOT 509913 SOS 171280 HAS SOPS 171044 HAS SOUS 69340 HAS SOUPS 69281 WITH SCORE 69452.28
AT ITER 8385 NEW BEST:: SOT 509920 SOS 171299 HAS SOPS 171063 HAS SOUS 69330 HAS SOUPS 69271 WITH SCORE 69442.299
AT ITER 8388 NEW BEST:: SOT 509920 SOS 171144 HAS SOPS 170908 HAS SOUS 69330 HAS SOUPS 69271 WITH SCORE 69442.144
AT ITER 8408 NEW BEST:: SOT 509850 SOS 171074 HAS SOPS 170838 HAS SOUS 69260 HAS SOUPS 69201 WITH SCORE 69372.074
AT ITER 8418 NEW BEST:: SOT 509848 SOS 171072 HAS SOPS 170836 HAS SOUS 69258 HAS SOUPS 69199 WITH SCORE 69370.072
AT ITER 8459 NEW BEST:: SOT 509847 SOS 171071 HAS SOPS 170835 HAS SOUS 69258 HAS SOUPS 69199 WITH SCORE 69370.071
AT ITER 8473 NEW BEST:: SOT 509799 SOS 171023 HAS SOPS 170787 HAS SOUS 69162 HAS SOUPS 69103 WITH SCORE 69274.023
AT ITER 8557 NEW BEST:: SOT 509778 SOS 171010 HAS SOPS 170774 HAS SOUS 69138 HAS SOUPS 69079 WITH SCORE 69250.01
AT ITER 8564 NEW BEST:: SOT 509810 SOS 171042 HAS SOPS 170806 HAS SOUS 69033 HAS SOUPS 68974 WITH SCORE 69145.042
AT ITER 8578 NEW BEST:: SOT 509763 SOS 170995 HAS SOPS 170759 HAS SOUS 68998 HAS SOUPS 68939 WITH SCORE 69109.995
AT ITER 8586 NEW BEST:: SOT 509751 SOS 170983 HAS SOPS 170747 HAS SOUS 68986 HAS SOUPS 68927 WITH SCORE 69097.983
AT ITER 8591 NEW BEST:: SOT 508773 SOS 177348 HAS SOPS 177151 HAS SOUS 68509 HAS SOUPS 68450 WITH SCORE 68627.348
AT ITER 8632 NEW BEST:: SOT 508761 SOS 177336 HAS SOPS 177139 HAS SOUS 68506 HAS SOUPS 68447 WITH SCORE 68624.336
AT ITER 8658 NEW BEST:: SOT 508729 SOS 177304 HAS SOPS 177107 HAS SOUS 68499 HAS SOUPS 68440 WITH SCORE 68617.304
AT ITER 8681 NEW BEST:: SOT 508711 SOS 177286 HAS SOPS 177089 HAS SOUS 68459 HAS SOUPS 68400 WITH SCORE 68577.286
AT ITER 8717 NEW BEST:: SOT 508670 SOS 177245 HAS SOPS 177048 HAS SOUS 68418 HAS SOUPS 68359 WITH SCORE 68536.245
AT ITER 8724 NEW BEST:: SOT 508669 SOS 177244 HAS SOPS 177047 HAS SOUS 68416 HAS SOUPS 68357 WITH SCORE 68534.244
AT ITER 8742 NEW BEST:: SOT 508668 SOS 177243 HAS SOPS 177046 HAS SOUS 68412 HAS SOUPS 68353 WITH SCORE 68530.243
AT ITER 8756 NEW BEST:: SOT 508598 SOS 177173 HAS SOPS 176976 HAS SOUS 68265 HAS SOUPS 68206 WITH SCORE 68383.173
AT ITER 8782 NEW BEST:: SOT 508534 SOS 177109 HAS SOPS 176912 HAS SOUS 68144 HAS SOUPS 68085 WITH SCORE 68262.109
AT ITER 8790 NEW BEST:: SOT 508534 SOS 177109 HAS SOPS 176912 HAS SOUS 68121 HAS SOUPS 68062 WITH SCORE 68239.109
AT ITER 8801 NEW BEST:: SOT 508488 SOS 177063 HAS SOPS 176866 HAS SOUS 68039 HAS SOUPS 67980 WITH SCORE 68157.063
AT ITER 8820 NEW BEST:: SOT 508468 SOS 177043 HAS SOPS 176846 HAS SOUS 68017 HAS SOUPS 67958 WITH SCORE 68135.043
AT ITER 8824 NEW BEST:: SOT 508458 SOS 177023 HAS SOPS 176826 HAS SOUS 67997 HAS SOUPS 67938 WITH SCORE 68115.023
AT ITER 8883 NEW BEST:: SOT 508393 SOS 177484 HAS SOPS 177287 HAS SOUS 67961 HAS SOUPS 67902 WITH SCORE 68079.484
AT ITER 8910 NEW BEST:: SOT 508392 SOS 177482 HAS SOPS 177285 HAS SOUS 67959 HAS SOUPS 67900 WITH SCORE 68077.482
AT ITER 8933 NEW BEST:: SOT 508390 SOS 177480 HAS SOPS 177283 HAS SOUS 67956 HAS SOUPS 67897 WITH SCORE 68074.48
AT ITER 8970 NEW BEST:: SOT 508390 SOS 177480 HAS SOPS 177283 HAS SOUS 67949 HAS SOUPS 67890 WITH SCORE 68067.48
AT ITER 8975 NEW BEST:: SOT 508390 SOS 177496 HAS SOPS 177299 HAS SOUS 67928 HAS SOUPS 67869 WITH SCORE 68046.496
AT ITER 9003 NEW BEST:: SOT 508307 SOS 177467 HAS SOPS 177270 HAS SOUS 67870 HAS SOUPS 67811 WITH SCORE 67988.467
AT ITER 9050 NEW BEST:: SOT 508269 SOS 177734 HAS SOPS 177537 HAS SOUS 67828 HAS SOUPS 67769 WITH SCORE 67946.734
AT ITER 9107 NEW BEST:: SOT 508248 SOS 177713 HAS SOPS 177516 HAS SOUS 67768 HAS SOUPS 67709 WITH SCORE 67886.713
AT ITER 9142 NEW BEST:: SOT 508228 SOS 177693 HAS SOPS 177496 HAS SOUS 67740 HAS SOUPS 67681 WITH SCORE 67858.693
AT ITER 9162 NEW BEST:: SOT 508224 SOS 177689 HAS SOPS 177492 HAS SOUS 67740 HAS SOUPS 67681 WITH SCORE 67858.689
AT ITER 9164 NEW BEST:: SOT 508218 SOS 177683 HAS SOPS 177486 HAS SOUS 67698 HAS SOUPS 67639 WITH SCORE 67816.683
AT ITER 9197 NEW BEST:: SOT 508215 SOS 177677 HAS SOPS 177480 HAS SOUS 67690 HAS SOUPS 67631 WITH SCORE 67808.677
AT ITER 9207 NEW BEST:: SOT 508149 SOS 177611 HAS SOPS 177414 HAS SOUS 67645 HAS SOUPS 67586 WITH SCORE 67763.611
AT ITER 9257 NEW BEST:: SOT 508149 SOS 177571 HAS SOPS 177374 HAS SOUS 67629 HAS SOUPS 67570 WITH SCORE 67747.571
AT ITER 9265 NEW BEST:: SOT 508124 SOS 177526 HAS SOPS 177329 HAS SOUS 67579 HAS SOUPS 67520 WITH SCORE 67697.526
AT ITER 9266 NEW BEST:: SOT 508062 SOS 177499 HAS SOPS 177302 HAS SOUS 67551 HAS SOUPS 67492 WITH SCORE 67669.499
AT ITER 9291 NEW BEST:: SOT 508062 SOS 177499 HAS SOPS 177302 HAS SOUS 67535 HAS SOUPS 67476 WITH SCORE 67653.499
AT ITER 9324 NEW BEST:: SOT 508062 SOS 177499 HAS SOPS 177302 HAS SOUS 67532 HAS SOUPS 67473 WITH SCORE 67650.499
AT ITER 9337 NEW BEST:: SOT 508058 SOS 177495 HAS SOPS 177298 HAS SOUS 67522 HAS SOUPS 67463 WITH SCORE 67640.495
AT ITER 9358 NEW BEST:: SOT 508055 SOS 177492 HAS SOPS 177295 HAS SOUS 67506 HAS SOUPS 67447 WITH SCORE 67624.492
AT ITER 9430 NEW BEST:: SOT 508050 SOS 177487 HAS SOPS 177290 HAS SOUS 67488 HAS SOUPS 67429 WITH SCORE 67606.487
AT ITER 9450 NEW BEST:: SOT 508036 SOS 177899 HAS SOPS 177702 HAS SOUS 67485 HAS SOUPS 67426 WITH SCORE 67603.899
AT ITER 9487 NEW BEST:: SOT 508012 SOS 177867 HAS SOPS 177670 HAS SOUS 67453 HAS SOUPS 67394 WITH SCORE 67571.867
AT ITER 9515 NEW BEST:: SOT 508009 SOS 177864 HAS SOPS 177667 HAS SOUS 67438 HAS SOUPS 67379 WITH SCORE 67556.864
AT ITER 9519 NEW BEST:: SOT 508059 SOS 178256 HAS SOPS 178059 HAS SOUS 67389 HAS SOUPS 67330 WITH SCORE 67508.256
AT ITER 9563 NEW BEST:: SOT 508045 SOS 178242 HAS SOPS 178045 HAS SOUS 67371 HAS SOUPS 67312 WITH SCORE 67490.242
AT ITER 9574 NEW BEST:: SOT 508045 SOS 171271 HAS SOPS 171045 HAS SOUS 67366 HAS SOUPS 67307 WITH SCORE 67478.271
AT ITER 9594 NEW BEST:: SOT 508034 SOS 171260 HAS SOPS 171034 HAS SOUS 67344 HAS SOUPS 67285 WITH SCORE 67456.26
AT ITER 9602 NEW BEST:: SOT 508032 SOS 171258 HAS SOPS 171032 HAS SOUS 67340 HAS SOUPS 67281 WITH SCORE 67452.258
AT ITER 9630 NEW BEST:: SOT 508029 SOS 171255 HAS SOPS 171029 HAS SOUS 67332 HAS SOUPS 67273 WITH SCORE 67444.255
AT ITER 9633 NEW BEST:: SOT 508002 SOS 171242 HAS SOPS 171016 HAS SOUS 67306 HAS SOUPS 67247 WITH SCORE 67418.242
AT ITER 9652 NEW BEST:: SOT 507972 SOS 171244 HAS SOPS 171018 HAS SOUS 67256 HAS SOUPS 67197 WITH SCORE 67368.244
AT ITER 9666 NEW BEST:: SOT 507972 SOS 171244 HAS SOPS 171018 HAS SOUS 67215 HAS SOUPS 67156 WITH SCORE 67327.244
AT ITER 9677 NEW BEST:: SOT 507972 SOS 171244 HAS SOPS 171018 HAS SOUS 67203 HAS SOUPS 67144 WITH SCORE 67315.244
AT ITER 9694 NEW BEST:: SOT 507950 SOS 171222 HAS SOPS 170996 HAS SOUS 67157 HAS SOUPS 67098 WITH SCORE 67269.222
AT ITER 9721 NEW BEST:: SOT 507922 SOS 171194 HAS SOPS 170968 HAS SOUS 67141 HAS SOUPS 67082 WITH SCORE 67253.194
AT ITER 9768 NEW BEST:: SOT 507893 SOS 171165 HAS SOPS 170939 HAS SOUS 67083 HAS SOUPS 67024 WITH SCORE 67195.165
AT ITER 9846 NEW BEST:: SOT 507863 SOS 171135 HAS SOPS 170909 HAS SOUS 67043 HAS SOUPS 66984 WITH SCORE 67155.135
AT ITER 9881 NEW BEST:: SOT 507853 SOS 171125 HAS SOPS 170899 HAS SOUS 67021 HAS SOUPS 66962 WITH SCORE 67133.125
AT ITER 9885 NEW BEST:: SOT 507848 SOS 171120 HAS SOPS 170894 HAS SOUS 67009 HAS SOUPS 66950 WITH SCORE 67121.12
AT ITER 9917 NEW BEST:: SOT 507360 SOS 170632 HAS SOPS 170406 HAS SOUS 66521 HAS SOUPS 66462 WITH SCORE 66632.632
AT ITER 9930 NEW BEST:: SOT 507259 SOS 170844 HAS SOPS 170618 HAS SOUS 66412 HAS SOUPS 66353 WITH SCORE 66523.844
AT ITER 9968 NEW BEST:: SOT 507259 SOS 170844 HAS SOPS 170618 HAS SOUS 66400 HAS SOUPS 66341 WITH SCORE 66511.844
AT ITER 9970 NEW BEST:: SOT 507263 SOS 170959 HAS SOPS 170733 HAS SOUS 66370 HAS SOUPS 66311 WITH SCORE 66481.959
AT ITER 9988 NEW BEST:: SOT 507207 SOS 170278 HAS SOPS 170052 HAS SOUS 66278 HAS SOUPS 66219 WITH SCORE 66389.278
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5363684 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16147016 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="PolyORBNT-PT-S05J40"
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 PolyORBNT-PT-S05J40, 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 r291-tall-167873943300736"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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