Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250400352.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-2A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400352
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 296K
-rw-r--r-- 1 mcc users 3.6K Apr 8 15:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 15:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 6 20:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 03:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 6 03:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 127K Mar 24 05:37 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 1589641475657

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 2A
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 361 places, 428 transitions, 1697 arcs.
AT ITER 0 NEW BEST:: SOT 128116 SOS 107782 HAS SOPS 107773 HAS SOUS 71642 HAS SOUPS 71633 WITH SCORE 71740.782
AT ITER 17 NEW BEST:: SOT 127935 SOS 107878 HAS SOPS 107869 HAS SOUS 71570 HAS SOUPS 71561 WITH SCORE 71668.878
AT ITER 19 NEW BEST:: SOT 127935 SOS 107798 HAS SOPS 107789 HAS SOUS 71570 HAS SOUPS 71561 WITH SCORE 71668.798
AT ITER 20 NEW BEST:: SOT 127935 SOS 107693 HAS SOPS 107684 HAS SOUS 71570 HAS SOUPS 71561 WITH SCORE 71668.693
AT ITER 28 NEW BEST:: SOT 127935 SOS 107583 HAS SOPS 107574 HAS SOUS 71570 HAS SOUPS 71561 WITH SCORE 71668.583
AT ITER 32 NEW BEST:: SOT 127696 SOS 107344 HAS SOPS 107335 HAS SOUS 71362 HAS SOUPS 71353 WITH SCORE 71460.344
AT ITER 39 NEW BEST:: SOT 127696 SOS 106890 HAS SOPS 106881 HAS SOUS 71362 HAS SOUPS 71353 WITH SCORE 71459.89
AT ITER 40 NEW BEST:: SOT 127418 SOS 106612 HAS SOPS 106603 HAS SOUS 71082 HAS SOUPS 71073 WITH SCORE 71179.612
AT ITER 48 NEW BEST:: SOT 127013 SOS 106205 HAS SOPS 106196 HAS SOUS 70673 HAS SOUPS 70664 WITH SCORE 70770.205
AT ITER 51 NEW BEST:: SOT 127013 SOS 105831 HAS SOPS 105822 HAS SOUS 70673 HAS SOUPS 70664 WITH SCORE 70769.831
AT ITER 52 NEW BEST:: SOT 125331 SOS 104353 HAS SOPS 104344 HAS SOUS 69355 HAS SOUPS 69346 WITH SCORE 69450.353
AT ITER 53 NEW BEST:: SOT 124850 SOS 103866 HAS SOPS 103857 HAS SOUS 68979 HAS SOUPS 68970 WITH SCORE 69073.866
AT ITER 54 NEW BEST:: SOT 124568 SOS 103584 HAS SOPS 103575 HAS SOUS 68697 HAS SOUPS 68688 WITH SCORE 68791.584
AT ITER 55 NEW BEST:: SOT 124241 SOS 102719 HAS SOPS 102710 HAS SOUS 68453 HAS SOUPS 68444 WITH SCORE 68546.719
AT ITER 59 NEW BEST:: SOT 124230 SOS 102543 HAS SOPS 102534 HAS SOUS 68453 HAS SOUPS 68444 WITH SCORE 68546.543
AT ITER 60 NEW BEST:: SOT 124105 SOS 102477 HAS SOPS 102468 HAS SOUS 68386 HAS SOUPS 68377 WITH SCORE 68479.477
AT ITER 63 NEW BEST:: SOT 123828 SOS 102329 HAS SOPS 102320 HAS SOUS 68238 HAS SOUPS 68229 WITH SCORE 68331.329
AT ITER 67 NEW BEST:: SOT 123503 SOS 102065 HAS SOPS 102056 HAS SOUS 67974 HAS SOUPS 67965 WITH SCORE 68067.065
AT ITER 70 NEW BEST:: SOT 123503 SOS 101647 HAS SOPS 101638 HAS SOUS 67937 HAS SOUPS 67928 WITH SCORE 68029.647
AT ITER 71 NEW BEST:: SOT 123454 SOS 101613 HAS SOPS 101604 HAS SOUS 67603 HAS SOUPS 67594 WITH SCORE 67695.613
AT ITER 75 NEW BEST:: SOT 122732 SOS 100627 HAS SOPS 100618 HAS SOUS 66769 HAS SOUPS 66760 WITH SCORE 66860.627
AT ITER 77 NEW BEST:: SOT 122552 SOS 100447 HAS SOPS 100438 HAS SOUS 66609 HAS SOUPS 66600 WITH SCORE 66700.447
AT ITER 81 NEW BEST:: SOT 122255 SOS 100210 HAS SOPS 100201 HAS SOUS 66114 HAS SOUPS 66105 WITH SCORE 66205.21
AT ITER 88 NEW BEST:: SOT 122166 SOS 100121 HAS SOPS 100112 HAS SOUS 66025 HAS SOUPS 66016 WITH SCORE 66116.121
AT ITER 91 NEW BEST:: SOT 121921 SOS 99876 HAS SOPS 99867 HAS SOUS 65681 HAS SOUPS 65672 WITH SCORE 65771.876
AT ITER 95 NEW BEST:: SOT 122123 SOS 100743 HAS SOPS 100734 HAS SOUS 65278 HAS SOUPS 65269 WITH SCORE 65369.743
AT ITER 98 NEW BEST:: SOT 122033 SOS 100653 HAS SOPS 100644 HAS SOUS 65186 HAS SOUPS 65177 WITH SCORE 65277.653
AT ITER 99 NEW BEST:: SOT 121593 SOS 100232 HAS SOPS 100223 HAS SOUS 64892 HAS SOUPS 64883 WITH SCORE 64983.232
AT ITER 100 NEW BEST:: SOT 121689 SOS 99410 HAS SOPS 99401 HAS SOUS 64787 HAS SOUPS 64778 WITH SCORE 64877.41
AT ITER 106 NEW BEST:: SOT 121584 SOS 98858 HAS SOPS 98849 HAS SOUS 64567 HAS SOUPS 64558 WITH SCORE 64656.858
AT ITER 107 NEW BEST:: SOT 121433 SOS 98721 HAS SOPS 98712 HAS SOUS 64265 HAS SOUPS 64256 WITH SCORE 64354.721
AT ITER 113 NEW BEST:: SOT 121672 SOS 99549 HAS SOPS 99540 HAS SOUS 64262 HAS SOUPS 64253 WITH SCORE 64352.549
AT ITER 116 NEW BEST:: SOT 121465 SOS 99342 HAS SOPS 99333 HAS SOUS 64078 HAS SOUPS 64069 WITH SCORE 64168.342
AT ITER 117 NEW BEST:: SOT 121419 SOS 99102 HAS SOPS 99093 HAS SOUS 64069 HAS SOUPS 64060 WITH SCORE 64159.102
AT ITER 123 NEW BEST:: SOT 120978 SOS 98661 HAS SOPS 98652 HAS SOUS 63628 HAS SOUPS 63619 WITH SCORE 63717.661
AT ITER 128 NEW BEST:: SOT 120501 SOS 98184 HAS SOPS 98175 HAS SOUS 63301 HAS SOUPS 63292 WITH SCORE 63390.184
AT ITER 131 NEW BEST:: SOT 119811 SOS 97494 HAS SOPS 97485 HAS SOUS 62631 HAS SOUPS 62622 WITH SCORE 62719.494
AT ITER 136 NEW BEST:: SOT 119811 SOS 97538 HAS SOPS 97529 HAS SOUS 62605 HAS SOUPS 62596 WITH SCORE 62693.538
AT ITER 139 NEW BEST:: SOT 119661 SOS 97388 HAS SOPS 97379 HAS SOUS 62455 HAS SOUPS 62446 WITH SCORE 62543.388
AT ITER 149 NEW BEST:: SOT 119366 SOS 97079 HAS SOPS 97070 HAS SOUS 62295 HAS SOUPS 62286 WITH SCORE 62383.079
AT ITER 160 NEW BEST:: SOT 119366 SOS 97079 HAS SOPS 97070 HAS SOUS 62275 HAS SOUPS 62266 WITH SCORE 62363.079
AT ITER 162 NEW BEST:: SOT 119327 SOS 96912 HAS SOPS 96903 HAS SOUS 62250 HAS SOUPS 62241 WITH SCORE 62337.912
AT ITER 165 NEW BEST:: SOT 119221 SOS 96773 HAS SOPS 96764 HAS SOUS 62147 HAS SOUPS 62138 WITH SCORE 62234.773
AT ITER 171 NEW BEST:: SOT 119221 SOS 96485 HAS SOPS 96476 HAS SOUS 62147 HAS SOUPS 62138 WITH SCORE 62234.485
AT ITER 174 NEW BEST:: SOT 119231 SOS 96475 HAS SOPS 96466 HAS SOUS 62137 HAS SOUPS 62128 WITH SCORE 62224.475
AT ITER 180 NEW BEST:: SOT 119127 SOS 96405 HAS SOPS 96396 HAS SOUS 61912 HAS SOUPS 61903 WITH SCORE 61999.405
AT ITER 181 NEW BEST:: SOT 117772 SOS 94634 HAS SOPS 94625 HAS SOUS 60567 HAS SOUPS 60558 WITH SCORE 60652.634
AT ITER 182 NEW BEST:: SOT 117635 SOS 94499 HAS SOPS 94490 HAS SOUS 60567 HAS SOUPS 60558 WITH SCORE 60652.499
AT ITER 184 NEW BEST:: SOT 117635 SOS 94499 HAS SOPS 94490 HAS SOUS 60565 HAS SOUPS 60556 WITH SCORE 60650.499
AT ITER 185 NEW BEST:: SOT 117632 SOS 94496 HAS SOPS 94487 HAS SOUS 60560 HAS SOUPS 60551 WITH SCORE 60645.496
AT ITER 186 NEW BEST:: SOT 117105 SOS 93969 HAS SOPS 93960 HAS SOUS 60031 HAS SOUPS 60022 WITH SCORE 60115.969
AT ITER 188 NEW BEST:: SOT 117048 SOS 93573 HAS SOPS 93564 HAS SOUS 59945 HAS SOUPS 59936 WITH SCORE 60029.573
AT ITER 191 NEW BEST:: SOT 117048 SOS 93636 HAS SOPS 93627 HAS SOUS 59934 HAS SOUPS 59925 WITH SCORE 60018.636
AT ITER 192 NEW BEST:: SOT 117046 SOS 93453 HAS SOPS 93444 HAS SOUS 59932 HAS SOUPS 59923 WITH SCORE 60016.453
AT ITER 205 NEW BEST:: SOT 117001 SOS 93184 HAS SOPS 93175 HAS SOUS 59840 HAS SOUPS 59831 WITH SCORE 59924.184
AT ITER 206 NEW BEST:: SOT 116576 SOS 92759 HAS SOPS 92750 HAS SOUS 59458 HAS SOUPS 59449 WITH SCORE 59541.759
AT ITER 208 NEW BEST:: SOT 116576 SOS 92405 HAS SOPS 92396 HAS SOUS 59449 HAS SOUPS 59440 WITH SCORE 59532.405
AT ITER 209 NEW BEST:: SOT 116653 SOS 92521 HAS SOPS 92512 HAS SOUS 59410 HAS SOUPS 59401 WITH SCORE 59493.521
AT ITER 212 NEW BEST:: SOT 116680 SOS 92548 HAS SOPS 92539 HAS SOUS 59355 HAS SOUPS 59346 WITH SCORE 59438.548
AT ITER 214 NEW BEST:: SOT 116680 SOS 92533 HAS SOPS 92524 HAS SOUS 59340 HAS SOUPS 59331 WITH SCORE 59423.533
AT ITER 218 NEW BEST:: SOT 116680 SOS 92539 HAS SOPS 92530 HAS SOUS 59317 HAS SOUPS 59308 WITH SCORE 59400.539
AT ITER 219 NEW BEST:: SOT 116664 SOS 92523 HAS SOPS 92514 HAS SOUS 59317 HAS SOUPS 59308 WITH SCORE 59400.523
AT ITER 224 NEW BEST:: SOT 116651 SOS 92514 HAS SOPS 92505 HAS SOUS 59295 HAS SOUPS 59286 WITH SCORE 59378.514
AT ITER 226 NEW BEST:: SOT 116021 SOS 91884 HAS SOPS 91875 HAS SOUS 58815 HAS SOUPS 58806 WITH SCORE 58897.884
AT ITER 228 NEW BEST:: SOT 116007 SOS 91870 HAS SOPS 91861 HAS SOUS 58801 HAS SOUPS 58792 WITH SCORE 58883.87
AT ITER 234 NEW BEST:: SOT 115964 SOS 91827 HAS SOPS 91818 HAS SOUS 58758 HAS SOUPS 58749 WITH SCORE 58840.827
AT ITER 236 NEW BEST:: SOT 115673 SOS 91536 HAS SOPS 91527 HAS SOUS 58467 HAS SOUPS 58458 WITH SCORE 58549.536
AT ITER 237 NEW BEST:: SOT 115151 SOS 91176 HAS SOPS 91167 HAS SOUS 58107 HAS SOUPS 58098 WITH SCORE 58189.176
AT ITER 238 NEW BEST:: SOT 114984 SOS 91028 HAS SOPS 91019 HAS SOUS 57959 HAS SOUPS 57950 WITH SCORE 58041.028
AT ITER 239 NEW BEST:: SOT 115100 SOS 90740 HAS SOPS 90731 HAS SOUS 57933 HAS SOUPS 57924 WITH SCORE 58014.74
AT ITER 244 NEW BEST:: SOT 114936 SOS 90576 HAS SOPS 90567 HAS SOUS 57929 HAS SOUPS 57920 WITH SCORE 58010.576
AT ITER 246 NEW BEST:: SOT 114473 SOS 90113 HAS SOPS 90104 HAS SOUS 57538 HAS SOUPS 57529 WITH SCORE 57619.113
AT ITER 250 NEW BEST:: SOT 114282 SOS 89922 HAS SOPS 89913 HAS SOUS 57216 HAS SOUPS 57207 WITH SCORE 57296.922
AT ITER 252 NEW BEST:: SOT 114226 SOS 89866 HAS SOPS 89857 HAS SOUS 57086 HAS SOUPS 57077 WITH SCORE 57166.866
AT ITER 254 NEW BEST:: SOT 114101 SOS 89860 HAS SOPS 89851 HAS SOUS 56920 HAS SOUPS 56911 WITH SCORE 57000.86
AT ITER 257 NEW BEST:: SOT 113993 SOS 89752 HAS SOPS 89743 HAS SOUS 56594 HAS SOUPS 56585 WITH SCORE 56674.752
AT ITER 259 NEW BEST:: SOT 113993 SOS 89734 HAS SOPS 89725 HAS SOUS 56588 HAS SOUPS 56579 WITH SCORE 56668.734
AT ITER 262 NEW BEST:: SOT 113969 SOS 89785 HAS SOPS 89776 HAS SOUS 56460 HAS SOUPS 56451 WITH SCORE 56540.785
AT ITER 266 NEW BEST:: SOT 113884 SOS 89700 HAS SOPS 89691 HAS SOUS 56375 HAS SOUPS 56366 WITH SCORE 56455.7
AT ITER 269 NEW BEST:: SOT 113818 SOS 89658 HAS SOPS 89649 HAS SOUS 56049 HAS SOUPS 56040 WITH SCORE 56129.658
AT ITER 270 NEW BEST:: SOT 113758 SOS 89638 HAS SOPS 89629 HAS SOUS 56025 HAS SOUPS 56016 WITH SCORE 56105.638
AT ITER 271 NEW BEST:: SOT 113785 SOS 89596 HAS SOPS 89587 HAS SOUS 56011 HAS SOUPS 56002 WITH SCORE 56091.596
AT ITER 276 NEW BEST:: SOT 113740 SOS 89551 HAS SOPS 89542 HAS SOUS 55966 HAS SOUPS 55957 WITH SCORE 56046.551
AT ITER 277 NEW BEST:: SOT 113729 SOS 89540 HAS SOPS 89531 HAS SOUS 55955 HAS SOUPS 55946 WITH SCORE 56035.54
AT ITER 280 NEW BEST:: SOT 112675 SOS 88571 HAS SOPS 88562 HAS SOUS 54986 HAS SOUPS 54977 WITH SCORE 55065.571
AT ITER 284 NEW BEST:: SOT 112675 SOS 88538 HAS SOPS 88529 HAS SOUS 54975 HAS SOUPS 54966 WITH SCORE 55054.538
AT ITER 288 NEW BEST:: SOT 112633 SOS 88496 HAS SOPS 88487 HAS SOUS 54944 HAS SOUPS 54935 WITH SCORE 55023.496
AT ITER 293 NEW BEST:: SOT 112609 SOS 88472 HAS SOPS 88463 HAS SOUS 54920 HAS SOUPS 54911 WITH SCORE 54999.472
AT ITER 303 NEW BEST:: SOT 112430 SOS 88047 HAS SOPS 88038 HAS SOUS 54767 HAS SOUPS 54758 WITH SCORE 54846.047
AT ITER 304 NEW BEST:: SOT 112238 SOS 87703 HAS SOPS 87694 HAS SOUS 54737 HAS SOUPS 54728 WITH SCORE 54815.703
AT ITER 305 NEW BEST:: SOT 112238 SOS 87649 HAS SOPS 87640 HAS SOUS 54725 HAS SOUPS 54716 WITH SCORE 54803.649
AT ITER 316 NEW BEST:: SOT 112154 SOS 87475 HAS SOPS 87466 HAS SOUS 54663 HAS SOUPS 54654 WITH SCORE 54741.475
AT ITER 323 NEW BEST:: SOT 112112 SOS 87433 HAS SOPS 87424 HAS SOUS 54601 HAS SOUPS 54592 WITH SCORE 54679.433
AT ITER 329 NEW BEST:: SOT 111985 SOS 87306 HAS SOPS 87297 HAS SOUS 54409 HAS SOUPS 54400 WITH SCORE 54487.306
AT ITER 338 NEW BEST:: SOT 111878 SOS 85670 HAS SOPS 85494 HAS SOUS 54408 HAS SOUPS 54246 WITH SCORE 54331.67
AT ITER 344 NEW BEST:: SOT 111566 SOS 85358 HAS SOPS 85182 HAS SOUS 54096 HAS SOUPS 53934 WITH SCORE 54019.358
AT ITER 345 NEW BEST:: SOT 111538 SOS 85352 HAS SOPS 85176 HAS SOUS 54090 HAS SOUPS 53928 WITH SCORE 54013.352
AT ITER 353 NEW BEST:: SOT 111459 SOS 85149 HAS SOPS 84973 HAS SOUS 53930 HAS SOUPS 53768 WITH SCORE 53853.149
AT ITER 357 NEW BEST:: SOT 111369 SOS 85059 HAS SOPS 84883 HAS SOUS 53868 HAS SOUPS 53706 WITH SCORE 53791.059
AT ITER 359 NEW BEST:: SOT 111340 SOS 85030 HAS SOPS 84854 HAS SOUS 53828 HAS SOUPS 53666 WITH SCORE 53751.03
AT ITER 370 NEW BEST:: SOT 111213 SOS 84903 HAS SOPS 84727 HAS SOUS 53705 HAS SOUPS 53543 WITH SCORE 53627.903
AT ITER 373 NEW BEST:: SOT 111213 SOS 84799 HAS SOPS 84623 HAS SOUS 53705 HAS SOUPS 53543 WITH SCORE 53627.799
AT ITER 379 NEW BEST:: SOT 110599 SOS 84271 HAS SOPS 84004 HAS SOUS 53016 HAS SOUPS 52763 WITH SCORE 52847.271
AT ITER 380 NEW BEST:: SOT 109878 SOS 83820 HAS SOPS 83553 HAS SOUS 52385 HAS SOUPS 52132 WITH SCORE 52215.82
AT ITER 383 NEW BEST:: SOT 109691 SOS 82933 HAS SOPS 82666 HAS SOUS 52265 HAS SOUPS 52012 WITH SCORE 52094.933
AT ITER 387 NEW BEST:: SOT 109691 SOS 82687 HAS SOPS 82420 HAS SOUS 52227 HAS SOUPS 51974 WITH SCORE 52056.687
AT ITER 388 NEW BEST:: SOT 109691 SOS 82709 HAS SOPS 82442 HAS SOUS 52205 HAS SOUPS 51952 WITH SCORE 52034.709
AT ITER 392 NEW BEST:: SOT 109748 SOS 82591 HAS SOPS 82324 HAS SOUS 51997 HAS SOUPS 51744 WITH SCORE 51826.591
AT ITER 398 NEW BEST:: SOT 109720 SOS 82563 HAS SOPS 82296 HAS SOUS 51969 HAS SOUPS 51716 WITH SCORE 51798.563
AT ITER 404 NEW BEST:: SOT 109642 SOS 82391 HAS SOPS 82124 HAS SOUS 51844 HAS SOUPS 51591 WITH SCORE 51673.391
AT ITER 405 NEW BEST:: SOT 109600 SOS 82501 HAS SOPS 82234 HAS SOUS 51740 HAS SOUPS 51487 WITH SCORE 51569.501
AT ITER 407 NEW BEST:: SOT 109560 SOS 82461 HAS SOPS 82194 HAS SOUS 51544 HAS SOUPS 51291 WITH SCORE 51373.461
AT ITER 415 NEW BEST:: SOT 109576 SOS 82477 HAS SOPS 82210 HAS SOUS 51466 HAS SOUPS 51213 WITH SCORE 51295.477
AT ITER 418 NEW BEST:: SOT 109659 SOS 82560 HAS SOPS 82293 HAS SOUS 51463 HAS SOUPS 51210 WITH SCORE 51292.56
AT ITER 423 NEW BEST:: SOT 109659 SOS 82560 HAS SOPS 82293 HAS SOUS 51451 HAS SOUPS 51198 WITH SCORE 51280.56
AT ITER 432 NEW BEST:: SOT 109301 SOS 82219 HAS SOPS 81952 HAS SOUS 51171 HAS SOUPS 50918 WITH SCORE 51000.219
AT ITER 434 NEW BEST:: SOT 108472 SOS 81429 HAS SOPS 81162 HAS SOUS 50379 HAS SOUPS 50126 WITH SCORE 50207.429
AT ITER 437 NEW BEST:: SOT 108298 SOS 81255 HAS SOPS 80988 HAS SOUS 50286 HAS SOUPS 50033 WITH SCORE 50114.255
AT ITER 441 NEW BEST:: SOT 108298 SOS 81202 HAS SOPS 80935 HAS SOUS 50275 HAS SOUPS 50022 WITH SCORE 50103.202
AT ITER 446 NEW BEST:: SOT 108242 SOS 80825 HAS SOPS 80558 HAS SOUS 50274 HAS SOUPS 50021 WITH SCORE 50101.825
AT ITER 449 NEW BEST:: SOT 108170 SOS 80753 HAS SOPS 80486 HAS SOUS 50202 HAS SOUPS 49949 WITH SCORE 50029.753
AT ITER 450 NEW BEST:: SOT 108170 SOS 80473 HAS SOPS 80206 HAS SOUS 50202 HAS SOUPS 49949 WITH SCORE 50029.473
AT ITER 454 NEW BEST:: SOT 108156 SOS 80459 HAS SOPS 80192 HAS SOUS 50202 HAS SOUPS 49949 WITH SCORE 50029.459
AT ITER 458 NEW BEST:: SOT 108156 SOS 79815 HAS SOPS 79548 HAS SOUS 50151 HAS SOUPS 49898 WITH SCORE 49977.815
AT ITER 470 NEW BEST:: SOT 108156 SOS 79792 HAS SOPS 79525 HAS SOUS 50151 HAS SOUPS 49898 WITH SCORE 49977.792
AT ITER 473 NEW BEST:: SOT 108202 SOS 79838 HAS SOPS 79571 HAS SOUS 50103 HAS SOUPS 49850 WITH SCORE 49929.838
AT ITER 478 NEW BEST:: SOT 108304 SOS 79940 HAS SOPS 79673 HAS SOUS 50058 HAS SOUPS 49805 WITH SCORE 49884.94
AT ITER 479 NEW BEST:: SOT 108304 SOS 79785 HAS SOPS 79518 HAS SOUS 50058 HAS SOUPS 49805 WITH SCORE 49884.785
AT ITER 481 NEW BEST:: SOT 108515 SOS 79733 HAS SOPS 79466 HAS SOUS 50011 HAS SOUPS 49758 WITH SCORE 49837.733
AT ITER 488 NEW BEST:: SOT 108382 SOS 79695 HAS SOPS 79267 HAS SOUS 50122 HAS SOUPS 49708 WITH SCORE 49787.695
AT ITER 490 NEW BEST:: SOT 108345 SOS 79658 HAS SOPS 79230 HAS SOUS 50083 HAS SOUPS 49669 WITH SCORE 49748.658
AT ITER 495 NEW BEST:: SOT 108091 SOS 79404 HAS SOPS 78976 HAS SOUS 49829 HAS SOUPS 49415 WITH SCORE 49494.404
AT ITER 498 NEW BEST:: SOT 108091 SOS 79163 HAS SOPS 78735 HAS SOUS 49766 HAS SOUPS 49352 WITH SCORE 49431.163
AT ITER 501 NEW BEST:: SOT 108121 SOS 79193 HAS SOPS 78765 HAS SOUS 49700 HAS SOUPS 49286 WITH SCORE 49365.193
AT ITER 502 NEW BEST:: SOT 108093 SOS 79131 HAS SOPS 78703 HAS SOUS 49655 HAS SOUPS 49241 WITH SCORE 49320.131
AT ITER 503 NEW BEST:: SOT 108238 SOS 79226 HAS SOPS 78798 HAS SOUS 49536 HAS SOUPS 49122 WITH SCORE 49201.226
AT ITER 504 NEW BEST:: SOT 108200 SOS 79188 HAS SOPS 78760 HAS SOUS 49498 HAS SOUPS 49084 WITH SCORE 49163.188
AT ITER 506 NEW BEST:: SOT 108151 SOS 79139 HAS SOPS 78711 HAS SOUS 49239 HAS SOUPS 48825 WITH SCORE 48904.139
AT ITER 511 NEW BEST:: SOT 108151 SOS 79138 HAS SOPS 78710 HAS SOUS 49238 HAS SOUPS 48824 WITH SCORE 48903.138
AT ITER 519 NEW BEST:: SOT 108151 SOS 79113 HAS SOPS 78674 HAS SOUS 49227 HAS SOUPS 48813 WITH SCORE 48892.113
AT ITER 520 NEW BEST:: SOT 107988 SOS 79056 HAS SOPS 78617 HAS SOUS 48859 HAS SOUPS 48445 WITH SCORE 48524.056
AT ITER 526 NEW BEST:: SOT 107988 SOS 78950 HAS SOPS 78511 HAS SOUS 48858 HAS SOUPS 48444 WITH SCORE 48522.95
AT ITER 530 NEW BEST:: SOT 107882 SOS 78846 HAS SOPS 78407 HAS SOUS 48843 HAS SOUPS 48429 WITH SCORE 48507.846
AT ITER 532 NEW BEST:: SOT 107570 SOS 79194 HAS SOPS 78755 HAS SOUS 48698 HAS SOUPS 48284 WITH SCORE 48363.194
AT ITER 550 NEW BEST:: SOT 107627 SOS 79236 HAS SOPS 78797 HAS SOUS 48679 HAS SOUPS 48265 WITH SCORE 48344.236
AT ITER 552 NEW BEST:: SOT 107622 SOS 78677 HAS SOPS 78238 HAS SOUS 48552 HAS SOUPS 48138 WITH SCORE 48216.677
AT ITER 555 NEW BEST:: SOT 107622 SOS 78587 HAS SOPS 78148 HAS SOUS 48545 HAS SOUPS 48131 WITH SCORE 48209.587
AT ITER 557 NEW BEST:: SOT 107602 SOS 78567 HAS SOPS 78128 HAS SOUS 48519 HAS SOUPS 48105 WITH SCORE 48183.567
AT ITER 559 NEW BEST:: SOT 107625 SOS 78590 HAS SOPS 78151 HAS SOUS 48518 HAS SOUPS 48104 WITH SCORE 48182.59
AT ITER 563 NEW BEST:: SOT 107289 SOS 78677 HAS SOPS 78238 HAS SOUS 48311 HAS SOUPS 47897 WITH SCORE 47975.677
AT ITER 566 NEW BEST:: SOT 107289 SOS 78667 HAS SOPS 78228 HAS SOUS 48294 HAS SOUPS 47880 WITH SCORE 47958.667
AT ITER 567 NEW BEST:: SOT 107279 SOS 78627 HAS SOPS 78188 HAS SOUS 48264 HAS SOUPS 47850 WITH SCORE 47928.627
AT ITER 571 NEW BEST:: SOT 107279 SOS 78407 HAS SOPS 77968 HAS SOUS 48264 HAS SOUPS 47850 WITH SCORE 47928.407
AT ITER 578 NEW BEST:: SOT 107251 SOS 78147 HAS SOPS 77708 HAS SOUS 48210 HAS SOUPS 47796 WITH SCORE 47874.147
AT ITER 580 NEW BEST:: SOT 107251 SOS 78128 HAS SOPS 77689 HAS SOUS 48210 HAS SOUPS 47796 WITH SCORE 47874.128
AT ITER 583 NEW BEST:: SOT 107176 SOS 78053 HAS SOPS 77614 HAS SOUS 48135 HAS SOUPS 47721 WITH SCORE 47799.053
AT ITER 585 NEW BEST:: SOT 107176 SOS 78042 HAS SOPS 77603 HAS SOUS 48135 HAS SOUPS 47721 WITH SCORE 47799.042
AT ITER 588 NEW BEST:: SOT 107006 SOS 77856 HAS SOPS 77417 HAS SOUS 48119 HAS SOUPS 47705 WITH SCORE 47782.856
AT ITER 589 NEW BEST:: SOT 107027 SOS 77877 HAS SOPS 77438 HAS SOUS 48098 HAS SOUPS 47684 WITH SCORE 47761.877
AT ITER 594 NEW BEST:: SOT 106996 SOS 77886 HAS SOPS 77447 HAS SOUS 48087 HAS SOUPS 47673 WITH SCORE 47750.886
AT ITER 598 NEW BEST:: SOT 106898 SOS 77784 HAS SOPS 77345 HAS SOUS 48055 HAS SOUPS 47641 WITH SCORE 47718.784
AT ITER 599 NEW BEST:: SOT 106898 SOS 77776 HAS SOPS 77337 HAS SOUS 48039 HAS SOUPS 47625 WITH SCORE 47702.776
AT ITER 608 NEW BEST:: SOT 106673 SOS 77566 HAS SOPS 77127 HAS SOUS 47904 HAS SOUPS 47490 WITH SCORE 47567.566
AT ITER 621 NEW BEST:: SOT 106922 SOS 76947 HAS SOPS 76508 HAS SOUS 47840 HAS SOUPS 47426 WITH SCORE 47502.947
AT ITER 622 NEW BEST:: SOT 106143 SOS 76054 HAS SOPS 75615 HAS SOUS 47121 HAS SOUPS 46707 WITH SCORE 46783.054
AT ITER 625 NEW BEST:: SOT 106124 SOS 76035 HAS SOPS 75596 HAS SOUS 46980 HAS SOUPS 46566 WITH SCORE 46642.035
AT ITER 633 NEW BEST:: SOT 106099 SOS 76010 HAS SOPS 75571 HAS SOUS 46951 HAS SOUPS 46537 WITH SCORE 46613.01
AT ITER 634 NEW BEST:: SOT 106099 SOS 75982 HAS SOPS 75539 HAS SOUS 46947 HAS SOUPS 46533 WITH SCORE 46608.982
AT ITER 637 NEW BEST:: SOT 106185 SOS 75986 HAS SOPS 75543 HAS SOUS 46864 HAS SOUPS 46450 WITH SCORE 46525.986
AT ITER 644 NEW BEST:: SOT 105195 SOS 74373 HAS SOPS 73930 HAS SOUS 45974 HAS SOUPS 45560 WITH SCORE 45634.373
AT ITER 656 NEW BEST:: SOT 105195 SOS 74366 HAS SOPS 73923 HAS SOUS 45960 HAS SOUPS 45546 WITH SCORE 45620.366
AT ITER 667 NEW BEST:: SOT 105195 SOS 74201 HAS SOPS 73758 HAS SOUS 45900 HAS SOUPS 45486 WITH SCORE 45560.201
AT ITER 668 NEW BEST:: SOT 105195 SOS 74209 HAS SOPS 73766 HAS SOUS 45892 HAS SOUPS 45478 WITH SCORE 45552.209
AT ITER 670 NEW BEST:: SOT 104956 SOS 73845 HAS SOPS 73402 HAS SOUS 45861 HAS SOUPS 45447 WITH SCORE 45520.845
AT ITER 689 NEW BEST:: SOT 105055 SOS 74125 HAS SOPS 73682 HAS SOUS 45755 HAS SOUPS 45341 WITH SCORE 45415.125
AT ITER 692 NEW BEST:: SOT 105055 SOS 73439 HAS SOPS 72996 HAS SOUS 45651 HAS SOUPS 45237 WITH SCORE 45310.439
AT ITER 695 NEW BEST:: SOT 105019 SOS 73402 HAS SOPS 72959 HAS SOUS 45605 HAS SOUPS 45191 WITH SCORE 45264.402
AT ITER 696 NEW BEST:: SOT 105019 SOS 73337 HAS SOPS 72894 HAS SOUS 45605 HAS SOUPS 45191 WITH SCORE 45264.337
AT ITER 698 NEW BEST:: SOT 104913 SOS 73231 HAS SOPS 72788 HAS SOUS 45499 HAS SOUPS 45085 WITH SCORE 45158.231
AT ITER 699 NEW BEST:: SOT 104965 SOS 73283 HAS SOPS 72840 HAS SOUS 45493 HAS SOUPS 45079 WITH SCORE 45152.283
AT ITER 703 NEW BEST:: SOT 105041 SOS 73461 HAS SOPS 73018 HAS SOUS 45457 HAS SOUPS 45043 WITH SCORE 45116.461
AT ITER 706 NEW BEST:: SOT 105014 SOS 73384 HAS SOPS 72887 HAS SOUS 45403 HAS SOUPS 44962 WITH SCORE 45035.384
AT ITER 713 NEW BEST:: SOT 104833 SOS 73203 HAS SOPS 72706 HAS SOUS 45108 HAS SOUPS 44667 WITH SCORE 44740.203
AT ITER 717 NEW BEST:: SOT 104830 SOS 73200 HAS SOPS 72703 HAS SOUS 45099 HAS SOUPS 44658 WITH SCORE 44731.2
AT ITER 718 NEW BEST:: SOT 104558 SOS 73027 HAS SOPS 72530 HAS SOUS 44917 HAS SOUPS 44476 WITH SCORE 44549.027
AT ITER 719 NEW BEST:: SOT 104494 SOS 72963 HAS SOPS 72466 HAS SOUS 44803 HAS SOUPS 44362 WITH SCORE 44434.963
AT ITER 721 NEW BEST:: SOT 104494 SOS 72986 HAS SOPS 72489 HAS SOUS 44800 HAS SOUPS 44359 WITH SCORE 44431.986
AT ITER 736 NEW BEST:: SOT 104370 SOS 72862 HAS SOPS 72365 HAS SOUS 44668 HAS SOUPS 44227 WITH SCORE 44299.862
AT ITER 741 NEW BEST:: SOT 104370 SOS 72792 HAS SOPS 72295 HAS SOUS 44668 HAS SOUPS 44227 WITH SCORE 44299.792
AT ITER 743 NEW BEST:: SOT 104333 SOS 72194 HAS SOPS 71697 HAS SOUS 44649 HAS SOUPS 44208 WITH SCORE 44280.194
AT ITER 744 NEW BEST:: SOT 104277 SOS 72104 HAS SOPS 71607 HAS SOUS 44609 HAS SOUPS 44168 WITH SCORE 44240.104
AT ITER 745 NEW BEST:: SOT 104127 SOS 71954 HAS SOPS 71457 HAS SOUS 44587 HAS SOUPS 44146 WITH SCORE 44217.954
AT ITER 747 NEW BEST:: SOT 104035 SOS 71334 HAS SOPS 70837 HAS SOUS 44557 HAS SOUPS 44116 WITH SCORE 44187.334
AT ITER 748 NEW BEST:: SOT 104019 SOS 71270 HAS SOPS 70757 HAS SOUS 44541 HAS SOUPS 44100 WITH SCORE 44171.27
AT ITER 751 NEW BEST:: SOT 104065 SOS 71316 HAS SOPS 70803 HAS SOUS 44311 HAS SOUPS 43870 WITH SCORE 43941.316
AT ITER 757 NEW BEST:: SOT 103996 SOS 71278 HAS SOPS 70765 HAS SOUS 44125 HAS SOUPS 43684 WITH SCORE 43755.278
AT ITER 758 NEW BEST:: SOT 103961 SOS 71243 HAS SOPS 70730 HAS SOUS 44090 HAS SOUPS 43649 WITH SCORE 43720.243
AT ITER 763 NEW BEST:: SOT 103881 SOS 71073 HAS SOPS 70560 HAS SOUS 43965 HAS SOUPS 43524 WITH SCORE 43595.073
AT ITER 764 NEW BEST:: SOT 103666 SOS 70851 HAS SOPS 70233 HAS SOUS 43958 HAS SOUPS 43412 WITH SCORE 43482.851
AT ITER 765 NEW BEST:: SOT 103642 SOS 69986 HAS SOPS 69368 HAS SOUS 43860 HAS SOUPS 43314 WITH SCORE 43383.986
AT ITER 768 NEW BEST:: SOT 103250 SOS 69688 HAS SOPS 69070 HAS SOUS 43632 HAS SOUPS 43086 WITH SCORE 43155.688
AT ITER 769 NEW BEST:: SOT 103246 SOS 69684 HAS SOPS 69066 HAS SOUS 43628 HAS SOUPS 43082 WITH SCORE 43151.684
AT ITER 772 NEW BEST:: SOT 103126 SOS 69474 HAS SOPS 68856 HAS SOUS 43508 HAS SOUPS 42962 WITH SCORE 43031.474
AT ITER 773 NEW BEST:: SOT 103119 SOS 69421 HAS SOPS 68803 HAS SOUS 43488 HAS SOUPS 42942 WITH SCORE 43011.421
AT ITER 775 NEW BEST:: SOT 103119 SOS 69400 HAS SOPS 68761 HAS SOUS 43477 HAS SOUPS 42910 WITH SCORE 42979.4
AT ITER 776 NEW BEST:: SOT 103071 SOS 69352 HAS SOPS 68713 HAS SOUS 43429 HAS SOUPS 42862 WITH SCORE 42931.352
AT ITER 782 NEW BEST:: SOT 103071 SOS 69244 HAS SOPS 68605 HAS SOUS 43411 HAS SOUPS 42844 WITH SCORE 42913.244
AT ITER 784 NEW BEST:: SOT 103089 SOS 69213 HAS SOPS 68574 HAS SOUS 43324 HAS SOUPS 42757 WITH SCORE 42826.213
AT ITER 786 NEW BEST:: SOT 103089 SOS 69213 HAS SOPS 68574 HAS SOUS 43311 HAS SOUPS 42744 WITH SCORE 42813.213
AT ITER 789 NEW BEST:: SOT 103079 SOS 69173 HAS SOPS 68534 HAS SOUS 43296 HAS SOUPS 42729 WITH SCORE 42798.173
AT ITER 790 NEW BEST:: SOT 103079 SOS 68843 HAS SOPS 68143 HAS SOUS 43296 HAS SOUPS 42729 WITH SCORE 42797.843
AT ITER 791 NEW BEST:: SOT 102776 SOS 68540 HAS SOPS 67840 HAS SOUS 43090 HAS SOUPS 42523 WITH SCORE 42591.54
AT ITER 799 NEW BEST:: SOT 102792 SOS 68554 HAS SOPS 67854 HAS SOUS 43089 HAS SOUPS 42522 WITH SCORE 42590.554
AT ITER 804 NEW BEST:: SOT 102775 SOS 68537 HAS SOPS 67837 HAS SOUS 42764 HAS SOUPS 42197 WITH SCORE 42265.537
AT ITER 805 NEW BEST:: SOT 102722 SOS 68484 HAS SOPS 67784 HAS SOUS 42649 HAS SOUPS 42082 WITH SCORE 42150.484
AT ITER 810 NEW BEST:: SOT 102687 SOS 68340 HAS SOPS 67640 HAS SOUS 42605 HAS SOUPS 42038 WITH SCORE 42106.34
AT ITER 812 NEW BEST:: SOT 102618 SOS 68271 HAS SOPS 67571 HAS SOUS 42536 HAS SOUPS 41969 WITH SCORE 42037.271
AT ITER 816 NEW BEST:: SOT 102625 SOS 68278 HAS SOPS 67578 HAS SOUS 42533 HAS SOUPS 41966 WITH SCORE 42034.278
AT ITER 819 NEW BEST:: SOT 102008 SOS 67584 HAS SOPS 66883 HAS SOUS 41828 HAS SOUPS 41260 WITH SCORE 41327.584
AT ITER 830 NEW BEST:: SOT 101981 SOS 67808 HAS SOPS 67107 HAS SOUS 41801 HAS SOUPS 41233 WITH SCORE 41300.808
AT ITER 831 NEW BEST:: SOT 101954 SOS 67781 HAS SOPS 67080 HAS SOUS 41783 HAS SOUPS 41215 WITH SCORE 41282.781
AT ITER 833 NEW BEST:: SOT 101651 SOS 67335 HAS SOPS 66634 HAS SOUS 41366 HAS SOUPS 40798 WITH SCORE 40865.335
AT ITER 836 NEW BEST:: SOT 101606 SOS 67070 HAS SOPS 66369 HAS SOUS 41361 HAS SOUPS 40793 WITH SCORE 40860.07
AT ITER 840 NEW BEST:: SOT 101606 SOS 67070 HAS SOPS 66369 HAS SOUS 41359 HAS SOUPS 40791 WITH SCORE 40858.07
AT ITER 843 NEW BEST:: SOT 101599 SOS 67063 HAS SOPS 66362 HAS SOUS 41350 HAS SOUPS 40782 WITH SCORE 40849.063
AT ITER 849 NEW BEST:: SOT 101283 SOS 66551 HAS SOPS 65850 HAS SOUS 41037 HAS SOUPS 40469 WITH SCORE 40535.551
AT ITER 861 NEW BEST:: SOT 101283 SOS 66542 HAS SOPS 65841 HAS SOUS 40998 HAS SOUPS 40430 WITH SCORE 40496.542
AT ITER 863 NEW BEST:: SOT 101350 SOS 66436 HAS SOPS 65735 HAS SOUS 40869 HAS SOUPS 40301 WITH SCORE 40367.436
AT ITER 866 NEW BEST:: SOT 101195 SOS 66281 HAS SOPS 65580 HAS SOUS 40869 HAS SOUPS 40301 WITH SCORE 40367.281
AT ITER 867 NEW BEST:: SOT 101165 SOS 66258 HAS SOPS 65557 HAS SOUS 40778 HAS SOUPS 40210 WITH SCORE 40276.258
AT ITER 869 NEW BEST:: SOT 101158 SOS 66518 HAS SOPS 65817 HAS SOUS 40769 HAS SOUPS 40201 WITH SCORE 40267.518
AT ITER 870 NEW BEST:: SOT 101144 SOS 66504 HAS SOPS 65803 HAS SOUS 40767 HAS SOUPS 40199 WITH SCORE 40265.504
AT ITER 872 NEW BEST:: SOT 101124 SOS 66484 HAS SOPS 65783 HAS SOUS 40727 HAS SOUPS 40159 WITH SCORE 40225.484
AT ITER 878 NEW BEST:: SOT 101124 SOS 66420 HAS SOPS 65719 HAS SOUS 40719 HAS SOUPS 40151 WITH SCORE 40217.42
AT ITER 879 NEW BEST:: SOT 101041 SOS 66337 HAS SOPS 65636 HAS SOUS 40694 HAS SOUPS 40126 WITH SCORE 40192.337
AT ITER 884 NEW BEST:: SOT 101068 SOS 66219 HAS SOPS 65488 HAS SOUS 40721 HAS SOUPS 40123 WITH SCORE 40189.219
AT ITER 892 NEW BEST:: SOT 100988 SOS 66139 HAS SOPS 65408 HAS SOUS 40617 HAS SOUPS 40019 WITH SCORE 40085.139
AT ITER 897 NEW BEST:: SOT 100988 SOS 66133 HAS SOPS 65402 HAS SOUS 40617 HAS SOUPS 40019 WITH SCORE 40085.133
AT ITER 902 NEW BEST:: SOT 100924 SOS 65640 HAS SOPS 64909 HAS SOUS 40585 HAS SOUPS 39987 WITH SCORE 40052.64
AT ITER 907 NEW BEST:: SOT 100846 SOS 65562 HAS SOPS 64831 HAS SOUS 40579 HAS SOUPS 39981 WITH SCORE 40046.562
AT ITER 908 NEW BEST:: SOT 100838 SOS 65554 HAS SOPS 64823 HAS SOUS 40571 HAS SOUPS 39973 WITH SCORE 40038.554
AT ITER 911 NEW BEST:: SOT 100838 SOS 65545 HAS SOPS 64814 HAS SOUS 40569 HAS SOUPS 39971 WITH SCORE 40036.545
AT ITER 912 NEW BEST:: SOT 100838 SOS 65545 HAS SOPS 64814 HAS SOUS 40563 HAS SOUPS 39965 WITH SCORE 40030.545
AT ITER 917 NEW BEST:: SOT 100821 SOS 65514 HAS SOPS 64783 HAS SOUS 40532 HAS SOUPS 39934 WITH SCORE 39999.514
AT ITER 923 NEW BEST:: SOT 100792 SOS 65485 HAS SOPS 64754 HAS SOUS 40513 HAS SOUPS 39915 WITH SCORE 39980.485
AT ITER 927 NEW BEST:: SOT 100594 SOS 65346 HAS SOPS 64615 HAS SOUS 40278 HAS SOUPS 39680 WITH SCORE 39745.346
AT ITER 930 NEW BEST:: SOT 100594 SOS 65328 HAS SOPS 64597 HAS SOUS 40260 HAS SOUPS 39662 WITH SCORE 39727.328
AT ITER 936 NEW BEST:: SOT 100594 SOS 65147 HAS SOPS 64416 HAS SOUS 40224 HAS SOUPS 39626 WITH SCORE 39691.147
AT ITER 937 NEW BEST:: SOT 100434 SOS 65214 HAS SOPS 64513 HAS SOUS 40191 HAS SOUPS 39623 WITH SCORE 39688.214
AT ITER 938 NEW BEST:: SOT 100352 SOS 65143 HAS SOPS 64442 HAS SOUS 40147 HAS SOUPS 39579 WITH SCORE 39644.143
AT ITER 946 NEW BEST:: SOT 100382 SOS 65223 HAS SOPS 64472 HAS SOUS 40123 HAS SOUPS 39505 WITH SCORE 39570.223
AT ITER 948 NEW BEST:: SOT 100296 SOS 65137 HAS SOPS 64386 HAS SOUS 40087 HAS SOUPS 39469 WITH SCORE 39534.137
AT ITER 951 NEW BEST:: SOT 100293 SOS 65131 HAS SOPS 64380 HAS SOUS 40081 HAS SOUPS 39463 WITH SCORE 39528.131
AT ITER 957 NEW BEST:: SOT 100293 SOS 65096 HAS SOPS 64345 HAS SOUS 40081 HAS SOUPS 39463 WITH SCORE 39528.096
AT ITER 961 NEW BEST:: SOT 100287 SOS 65090 HAS SOPS 64339 HAS SOUS 40075 HAS SOUPS 39457 WITH SCORE 39522.09
AT ITER 967 NEW BEST:: SOT 100378 SOS 65181 HAS SOPS 64430 HAS SOUS 40018 HAS SOUPS 39400 WITH SCORE 39465.181
AT ITER 977 NEW BEST:: SOT 100378 SOS 65188 HAS SOPS 64437 HAS SOUS 39956 HAS SOUPS 39338 WITH SCORE 39403.188
AT ITER 987 NEW BEST:: SOT 100365 SOS 65101 HAS SOPS 64350 HAS SOUS 39874 HAS SOUPS 39256 WITH SCORE 39321.101
AT ITER 1000 NEW BEST:: SOT 100365 SOS 65059 HAS SOPS 64308 HAS SOUS 39853 HAS SOUPS 39235 WITH SCORE 39300.059
AT ITER 1003 NEW BEST:: SOT 100382 SOS 65074 HAS SOPS 64323 HAS SOUS 39826 HAS SOUPS 39208 WITH SCORE 39273.074
AT ITER 1008 NEW BEST:: SOT 100344 SOS 65354 HAS SOPS 64603 HAS SOUS 39777 HAS SOUPS 39159 WITH SCORE 39224.354
AT ITER 1009 NEW BEST:: SOT 100336 SOS 65346 HAS SOPS 64595 HAS SOUS 39765 HAS SOUPS 39147 WITH SCORE 39212.346
AT ITER 1015 NEW BEST:: SOT 100134 SOS 65144 HAS SOPS 64393 HAS SOUS 39550 HAS SOUPS 38932 WITH SCORE 38997.144
AT ITER 1019 NEW BEST:: SOT 100276 SOS 65603 HAS SOPS 64852 HAS SOUS 39448 HAS SOUPS 38830 WITH SCORE 38895.603
AT ITER 1021 NEW BEST:: SOT 100241 SOS 65546 HAS SOPS 64795 HAS SOUS 39325 HAS SOUPS 38707 WITH SCORE 38772.546
AT ITER 1023 NEW BEST:: SOT 99861 SOS 65361 HAS SOPS 64610 HAS SOUS 39229 HAS SOUPS 38611 WITH SCORE 38676.361
AT ITER 1029 NEW BEST:: SOT 99799 SOS 65175 HAS SOPS 64424 HAS SOUS 39181 HAS SOUPS 38563 WITH SCORE 38628.175
AT ITER 1031 NEW BEST:: SOT 99647 SOS 64980 HAS SOPS 64229 HAS SOUS 39020 HAS SOUPS 38402 WITH SCORE 38466.98
AT ITER 1033 NEW BEST:: SOT 99732 SOS 65065 HAS SOPS 64314 HAS SOUS 38878 HAS SOUPS 38260 WITH SCORE 38325.065
AT ITER 1040 NEW BEST:: SOT 99732 SOS 64484 HAS SOPS 63733 HAS SOUS 38865 HAS SOUPS 38247 WITH SCORE 38311.484
AT ITER 1043 NEW BEST:: SOT 99589 SOS 64283 HAS SOPS 63532 HAS SOUS 38693 HAS SOUPS 38075 WITH SCORE 38139.283
AT ITER 1045 NEW BEST:: SOT 99589 SOS 64277 HAS SOPS 63526 HAS SOUS 38693 HAS SOUPS 38075 WITH SCORE 38139.277
AT ITER 1051 NEW BEST:: SOT 99459 SOS 64147 HAS SOPS 63396 HAS SOUS 38510 HAS SOUPS 37892 WITH SCORE 37956.147
AT ITER 1054 NEW BEST:: SOT 99414 SOS 64138 HAS SOPS 63387 HAS SOUS 38481 HAS SOUPS 37863 WITH SCORE 37927.138
AT ITER 1060 NEW BEST:: SOT 99406 SOS 64130 HAS SOPS 63379 HAS SOUS 38473 HAS SOUPS 37855 WITH SCORE 37919.13
AT ITER 1067 NEW BEST:: SOT 99411 SOS 64135 HAS SOPS 63384 HAS SOUS 38468 HAS SOUPS 37850 WITH SCORE 37914.135
AT ITER 1068 NEW BEST:: SOT 99411 SOS 64129 HAS SOPS 63378 HAS SOUS 38430 HAS SOUPS 37812 WITH SCORE 37876.129
AT ITER 1083 NEW BEST:: SOT 99400 SOS 64118 HAS SOPS 63367 HAS SOUS 38419 HAS SOUPS 37801 WITH SCORE 37865.118
AT ITER 1085 NEW BEST:: SOT 99248 SOS 63956 HAS SOPS 63205 HAS SOUS 38257 HAS SOUPS 37639 WITH SCORE 37702.956
AT ITER 1092 NEW BEST:: SOT 99232 SOS 63932 HAS SOPS 63185 HAS SOUS 38237 HAS SOUPS 37623 WITH SCORE 37686.932
AT ITER 1095 NEW BEST:: SOT 99232 SOS 63870 HAS SOPS 63123 HAS SOUS 38206 HAS SOUPS 37592 WITH SCORE 37655.87
AT ITER 1108 NEW BEST:: SOT 99198 SOS 63836 HAS SOPS 63089 HAS SOUS 38171 HAS SOUPS 37557 WITH SCORE 37620.836
AT ITER 1110 NEW BEST:: SOT 99201 SOS 63839 HAS SOPS 63092 HAS SOUS 38160 HAS SOUPS 37546 WITH SCORE 37609.839
AT ITER 1112 NEW BEST:: SOT 99196 SOS 63834 HAS SOPS 63087 HAS SOUS 38155 HAS SOUPS 37541 WITH SCORE 37604.834
AT ITER 1119 NEW BEST:: SOT 99040 SOS 63504 HAS SOPS 62757 HAS SOUS 37965 HAS SOUPS 37351 WITH SCORE 37414.504
AT ITER 1131 NEW BEST:: SOT 99039 SOS 63495 HAS SOPS 62748 HAS SOUS 37956 HAS SOUPS 37342 WITH SCORE 37405.495
AT ITER 1135 NEW BEST:: SOT 99154 SOS 63117 HAS SOPS 62370 HAS SOUS 37879 HAS SOUPS 37265 WITH SCORE 37328.117
AT ITER 1136 NEW BEST:: SOT 99092 SOS 63055 HAS SOPS 62308 HAS SOUS 37851 HAS SOUPS 37237 WITH SCORE 37300.055
AT ITER 1139 NEW BEST:: SOT 99071 SOS 63034 HAS SOPS 62287 HAS SOUS 37713 HAS SOUPS 37099 WITH SCORE 37162.034
AT ITER 1140 NEW BEST:: SOT 99086 SOS 63049 HAS SOPS 62302 HAS SOUS 37698 HAS SOUPS 37084 WITH SCORE 37147.049
AT ITER 1158 NEW BEST:: SOT 99107 SOS 63153 HAS SOPS 62406 HAS SOUS 37692 HAS SOUPS 37078 WITH SCORE 37141.153
AT ITER 1160 NEW BEST:: SOT 99134 SOS 63096 HAS SOPS 62349 HAS SOUS 37645 HAS SOUPS 37031 WITH SCORE 37094.096
AT ITER 1166 NEW BEST:: SOT 99150 SOS 63242 HAS SOPS 62495 HAS SOUS 37616 HAS SOUPS 37002 WITH SCORE 37065.242
AT ITER 1169 NEW BEST:: SOT 99150 SOS 63143 HAS SOPS 62383 HAS SOUS 37603 HAS SOUPS 36989 WITH SCORE 37052.143
AT ITER 1178 NEW BEST:: SOT 99092 SOS 63091 HAS SOPS 62331 HAS SOUS 37497 HAS SOUPS 36883 WITH SCORE 36946.091
AT ITER 1182 NEW BEST:: SOT 99082 SOS 63076 HAS SOPS 62316 HAS SOUS 37482 HAS SOUPS 36868 WITH SCORE 36931.076
AT ITER 1183 NEW BEST:: SOT 98996 SOS 63063 HAS SOPS 62230 HAS SOUS 37461 HAS SOUPS 36774 WITH SCORE 36837.063
AT ITER 1184 NEW BEST:: SOT 98818 SOS 62637 HAS SOPS 61804 HAS SOUS 37391 HAS SOUPS 36704 WITH SCORE 36766.637
AT ITER 1187 NEW BEST:: SOT 98766 SOS 62585 HAS SOPS 61752 HAS SOUS 37235 HAS SOUPS 36548 WITH SCORE 36610.585
AT ITER 1191 NEW BEST:: SOT 98766 SOS 62585 HAS SOPS 61752 HAS SOUS 37224 HAS SOUPS 36537 WITH SCORE 36599.585
AT ITER 1194 NEW BEST:: SOT 98665 SOS 62574 HAS SOPS 61741 HAS SOUS 37168 HAS SOUPS 36481 WITH SCORE 36543.574
AT ITER 1207 NEW BEST:: SOT 98688 SOS 62597 HAS SOPS 61764 HAS SOUS 37163 HAS SOUPS 36476 WITH SCORE 36538.597
AT ITER 1208 NEW BEST:: SOT 98677 SOS 62586 HAS SOPS 61753 HAS SOUS 37122 HAS SOUPS 36435 WITH SCORE 36497.586
AT ITER 1210 NEW BEST:: SOT 98672 SOS 62593 HAS SOPS 61760 HAS SOUS 37118 HAS SOUPS 36431 WITH SCORE 36493.593
AT ITER 1219 NEW BEST:: SOT 98672 SOS 62593 HAS SOPS 61829 HAS SOUS 36980 HAS SOUPS 36362 WITH SCORE 36424.593
AT ITER 1220 NEW BEST:: SOT 98560 SOS 62461 HAS SOPS 61697 HAS SOUS 36974 HAS SOUPS 36356 WITH SCORE 36418.461
AT ITER 1234 NEW BEST:: SOT 98562 SOS 62463 HAS SOPS 61699 HAS SOUS 36968 HAS SOUPS 36350 WITH SCORE 36412.463
AT ITER 1246 NEW BEST:: SOT 98562 SOS 62347 HAS SOPS 61583 HAS SOUS 36861 HAS SOUPS 36243 WITH SCORE 36305.347
AT ITER 1248 NEW BEST:: SOT 98562 SOS 62293 HAS SOPS 61529 HAS SOUS 36807 HAS SOUPS 36189 WITH SCORE 36251.293
AT ITER 1249 NEW BEST:: SOT 98501 SOS 62232 HAS SOPS 61468 HAS SOUS 36624 HAS SOUPS 36006 WITH SCORE 36068.232
AT ITER 1254 NEW BEST:: SOT 98309 SOS 62176 HAS SOPS 61412 HAS SOUS 36565 HAS SOUPS 35947 WITH SCORE 36009.176
AT ITER 1258 NEW BEST:: SOT 98309 SOS 61795 HAS SOPS 61031 HAS SOUS 36539 HAS SOUPS 35921 WITH SCORE 35982.795
AT ITER 1262 NEW BEST:: SOT 98143 SOS 61585 HAS SOPS 60821 HAS SOUS 36495 HAS SOUPS 35877 WITH SCORE 35938.585
AT ITER 1265 NEW BEST:: SOT 98050 SOS 61142 HAS SOPS 60378 HAS SOUS 36471 HAS SOUPS 35853 WITH SCORE 35914.142
AT ITER 1277 NEW BEST:: SOT 98050 SOS 61449 HAS SOPS 60685 HAS SOUS 36391 HAS SOUPS 35773 WITH SCORE 35834.449
AT ITER 1280 NEW BEST:: SOT 98130 SOS 61734 HAS SOPS 60970 HAS SOUS 36389 HAS SOUPS 35771 WITH SCORE 35832.734
AT ITER 1281 NEW BEST:: SOT 98036 SOS 61618 HAS SOPS 60854 HAS SOUS 36367 HAS SOUPS 35749 WITH SCORE 35810.618
AT ITER 1284 NEW BEST:: SOT 98047 SOS 61659 HAS SOPS 60895 HAS SOUS 36360 HAS SOUPS 35742 WITH SCORE 35803.659
AT ITER 1291 NEW BEST:: SOT 98059 SOS 61649 HAS SOPS 60885 HAS SOUS 36360 HAS SOUPS 35742 WITH SCORE 35803.649
AT ITER 1292 NEW BEST:: SOT 98059 SOS 61885 HAS SOPS 61121 HAS SOUS 36256 HAS SOUPS 35638 WITH SCORE 35699.885
AT ITER 1293 NEW BEST:: SOT 98059 SOS 61873 HAS SOPS 61109 HAS SOUS 36254 HAS SOUPS 35636 WITH SCORE 35697.873
AT ITER 1302 NEW BEST:: SOT 97950 SOS 61764 HAS SOPS 61000 HAS SOUS 36145 HAS SOUPS 35527 WITH SCORE 35588.764
AT ITER 1303 NEW BEST:: SOT 97945 SOS 61759 HAS SOPS 60995 HAS SOUS 36140 HAS SOUPS 35522 WITH SCORE 35583.759
AT ITER 1304 NEW BEST:: SOT 97920 SOS 61734 HAS SOPS 61002 HAS SOUS 36015 HAS SOUPS 35429 WITH SCORE 35490.734
AT ITER 1305 NEW BEST:: SOT 97852 SOS 61666 HAS SOPS 60934 HAS SOUS 35947 HAS SOUPS 35361 WITH SCORE 35422.666
AT ITER 1308 NEW BEST:: SOT 97757 SOS 61656 HAS SOPS 60941 HAS SOUS 35907 HAS SOUPS 35321 WITH SCORE 35382.656
AT ITER 1311 NEW BEST:: SOT 97721 SOS 61620 HAS SOPS 60905 HAS SOUS 35871 HAS SOUPS 35285 WITH SCORE 35346.62
AT ITER 1312 NEW BEST:: SOT 97645 SOS 61544 HAS SOPS 60829 HAS SOUS 35795 HAS SOUPS 35209 WITH SCORE 35270.544
AT ITER 1314 NEW BEST:: SOT 97640 SOS 61539 HAS SOPS 60824 HAS SOUS 35790 HAS SOUPS 35204 WITH SCORE 35265.539
AT ITER 1345 NEW BEST:: SOT 97504 SOS 61735 HAS SOPS 61053 HAS SOUS 35730 HAS SOUPS 35177 WITH SCORE 35238.735
AT ITER 1355 NEW BEST:: SOT 97442 SOS 61513 HAS SOPS 60831 HAS SOUS 35660 HAS SOUPS 35107 WITH SCORE 35168.513
AT ITER 1374 NEW BEST:: SOT 97441 SOS 61512 HAS SOPS 60830 HAS SOUS 35659 HAS SOUPS 35106 WITH SCORE 35167.512
AT ITER 1377 NEW BEST:: SOT 97338 SOS 61634 HAS SOPS 60952 HAS SOUS 35493 HAS SOUPS 34940 WITH SCORE 35001.634
AT ITER 1385 NEW BEST:: SOT 97338 SOS 61414 HAS SOPS 60732 HAS SOUS 35399 HAS SOUPS 34846 WITH SCORE 34907.414
AT ITER 1389 NEW BEST:: SOT 96866 SOS 61433 HAS SOPS 60751 HAS SOUS 35175 HAS SOUPS 34622 WITH SCORE 34683.433
AT ITER 1391 NEW BEST:: SOT 96866 SOS 61368 HAS SOPS 60686 HAS SOUS 35175 HAS SOUPS 34622 WITH SCORE 34683.368
AT ITER 1394 NEW BEST:: SOT 96907 SOS 61409 HAS SOPS 60727 HAS SOUS 35142 HAS SOUPS 34589 WITH SCORE 34650.409
AT ITER 1408 NEW BEST:: SOT 96879 SOS 61381 HAS SOPS 60671 HAS SOUS 35170 HAS SOUPS 34589 WITH SCORE 34650.381
AT ITER 1412 NEW BEST:: SOT 96876 SOS 62135 HAS SOPS 61425 HAS SOUS 35146 HAS SOUPS 34565 WITH SCORE 34627.135
AT ITER 1424 NEW BEST:: SOT 96749 SOS 62008 HAS SOPS 61298 HAS SOUS 35019 HAS SOUPS 34438 WITH SCORE 34500.008
AT ITER 1429 NEW BEST:: SOT 96724 SOS 61995 HAS SOPS 61285 HAS SOUS 35012 HAS SOUPS 34431 WITH SCORE 34492.995
AT ITER 1430 NEW BEST:: SOT 96658 SOS 61924 HAS SOPS 61214 HAS SOUS 34941 HAS SOUPS 34360 WITH SCORE 34421.924
AT ITER 1434 NEW BEST:: SOT 96658 SOS 62011 HAS SOPS 61301 HAS SOUS 34924 HAS SOUPS 34343 WITH SCORE 34405.011
AT ITER 1438 NEW BEST:: SOT 96658 SOS 61989 HAS SOPS 61279 HAS SOUS 34910 HAS SOUPS 34329 WITH SCORE 34390.989
AT ITER 1458 NEW BEST:: SOT 96497 SOS 61835 HAS SOPS 61125 HAS SOUS 34819 HAS SOUPS 34238 WITH SCORE 34299.835
AT ITER 1466 NEW BEST:: SOT 96497 SOS 61809 HAS SOPS 61099 HAS SOUS 34793 HAS SOUPS 34212 WITH SCORE 34273.809
AT ITER 1467 NEW BEST:: SOT 96445 SOS 61770 HAS SOPS 61060 HAS SOUS 34754 HAS SOUPS 34173 WITH SCORE 34234.77
AT ITER 1469 NEW BEST:: SOT 96101 SOS 62103 HAS SOPS 61393 HAS SOUS 34715 HAS SOUPS 34134 WITH SCORE 34196.103
AT ITER 1474 NEW BEST:: SOT 96049 SOS 61911 HAS SOPS 61201 HAS SOUS 34635 HAS SOUPS 34054 WITH SCORE 34115.911
AT ITER 1479 NEW BEST:: SOT 96049 SOS 62028 HAS SOPS 61318 HAS SOUS 34596 HAS SOUPS 34015 WITH SCORE 34077.028
AT ITER 1483 NEW BEST:: SOT 96027 SOS 62048 HAS SOPS 61338 HAS SOUS 34588 HAS SOUPS 34007 WITH SCORE 34069.048
AT ITER 1497 NEW BEST:: SOT 95962 SOS 60804 HAS SOPS 60094 HAS SOUS 34532 HAS SOUPS 33951 WITH SCORE 34011.804
AT ITER 1500 NEW BEST:: SOT 95832 SOS 60674 HAS SOPS 59964 HAS SOUS 34402 HAS SOUPS 33821 WITH SCORE 33881.674
AT ITER 1507 NEW BEST:: SOT 95832 SOS 60626 HAS SOPS 59916 HAS SOUS 34292 HAS SOUPS 33711 WITH SCORE 33771.626
AT ITER 1514 NEW BEST:: SOT 95819 SOS 60613 HAS SOPS 59903 HAS SOUS 34279 HAS SOUPS 33698 WITH SCORE 33758.613
AT ITER 1523 NEW BEST:: SOT 95843 SOS 60610 HAS SOPS 59900 HAS SOUS 34274 HAS SOUPS 33693 WITH SCORE 33753.61
AT ITER 1526 NEW BEST:: SOT 95816 SOS 60465 HAS SOPS 59755 HAS SOUS 34243 HAS SOUPS 33662 WITH SCORE 33722.465
AT ITER 1531 NEW BEST:: SOT 95794 SOS 60443 HAS SOPS 59733 HAS SOUS 34221 HAS SOUPS 33640 WITH SCORE 33700.443
AT ITER 1537 NEW BEST:: SOT 95688 SOS 60221 HAS SOPS 59511 HAS SOUS 33974 HAS SOUPS 33393 WITH SCORE 33453.221
AT ITER 1543 NEW BEST:: SOT 95625 SOS 59820 HAS SOPS 59108 HAS SOUS 33939 HAS SOUPS 33356 WITH SCORE 33415.82
AT ITER 1548 NEW BEST:: SOT 95625 SOS 59820 HAS SOPS 59108 HAS SOUS 33938 HAS SOUPS 33355 WITH SCORE 33414.82
AT ITER 1551 NEW BEST:: SOT 95625 SOS 59820 HAS SOPS 59108 HAS SOUS 33928 HAS SOUPS 33345 WITH SCORE 33404.82
AT ITER 1564 NEW BEST:: SOT 95621 SOS 59832 HAS SOPS 59120 HAS SOUS 33926 HAS SOUPS 33343 WITH SCORE 33402.832
AT ITER 1569 NEW BEST:: SOT 95619 SOS 59685 HAS SOPS 58973 HAS SOUS 33893 HAS SOUPS 33310 WITH SCORE 33369.685
AT ITER 1580 NEW BEST:: SOT 95628 SOS 59338 HAS SOPS 58626 HAS SOUS 33813 HAS SOUPS 33230 WITH SCORE 33289.338
AT ITER 1581 NEW BEST:: SOT 95668 SOS 59254 HAS SOPS 58542 HAS SOUS 33787 HAS SOUPS 33204 WITH SCORE 33263.254
AT ITER 1588 NEW BEST:: SOT 95579 SOS 59165 HAS SOPS 58453 HAS SOUS 33698 HAS SOUPS 33115 WITH SCORE 33174.165
AT ITER 1595 NEW BEST:: SOT 95554 SOS 59140 HAS SOPS 58428 HAS SOUS 33672 HAS SOUPS 33089 WITH SCORE 33148.14
AT ITER 1596 NEW BEST:: SOT 95406 SOS 59230 HAS SOPS 58518 HAS SOUS 33621 HAS SOUPS 33038 WITH SCORE 33097.23
AT ITER 1599 NEW BEST:: SOT 95434 SOS 59339 HAS SOPS 58627 HAS SOUS 33616 HAS SOUPS 33033 WITH SCORE 33092.339
AT ITER 1604 NEW BEST:: SOT 95399 SOS 59304 HAS SOPS 58592 HAS SOUS 33581 HAS SOUPS 32998 WITH SCORE 33057.304
AT ITER 1605 NEW BEST:: SOT 95396 SOS 59301 HAS SOPS 58589 HAS SOUS 33572 HAS SOUPS 32989 WITH SCORE 33048.301
AT ITER 1606 NEW BEST:: SOT 95396 SOS 59269 HAS SOPS 58546 HAS SOUS 33572 HAS SOUPS 32978 WITH SCORE 33037.269
AT ITER 1607 NEW BEST:: SOT 95472 SOS 59345 HAS SOPS 58622 HAS SOUS 33561 HAS SOUPS 32967 WITH SCORE 33026.345
AT ITER 1611 NEW BEST:: SOT 95447 SOS 59320 HAS SOPS 58597 HAS SOUS 33498 HAS SOUPS 32904 WITH SCORE 32963.32
AT ITER 1613 NEW BEST:: SOT 95394 SOS 59267 HAS SOPS 58544 HAS SOUS 33475 HAS SOUPS 32881 WITH SCORE 32940.267
AT ITER 1646 NEW BEST:: SOT 95399 SOS 59262 HAS SOPS 58539 HAS SOUS 33470 HAS SOUPS 32876 WITH SCORE 32935.262
AT ITER 1649 NEW BEST:: SOT 95453 SOS 59088 HAS SOPS 58365 HAS SOUS 33467 HAS SOUPS 32873 WITH SCORE 32932.088
AT ITER 1653 NEW BEST:: SOT 95491 SOS 59192 HAS SOPS 58469 HAS SOUS 33461 HAS SOUPS 32867 WITH SCORE 32926.192
AT ITER 1667 NEW BEST:: SOT 95481 SOS 59192 HAS SOPS 58459 HAS SOUS 33441 HAS SOUPS 32837 WITH SCORE 32896.192
AT ITER 1678 NEW BEST:: SOT 95484 SOS 59292 HAS SOPS 58559 HAS SOUS 33418 HAS SOUPS 32814 WITH SCORE 32873.292
AT ITER 1679 NEW BEST:: SOT 95281 SOS 58882 HAS SOPS 58149 HAS SOUS 33296 HAS SOUPS 32692 WITH SCORE 32750.882
AT ITER 1680 NEW BEST:: SOT 95208 SOS 58809 HAS SOPS 58076 HAS SOUS 33282 HAS SOUPS 32678 WITH SCORE 32736.809
AT ITER 1682 NEW BEST:: SOT 95209 SOS 58810 HAS SOPS 58077 HAS SOUS 33270 HAS SOUPS 32666 WITH SCORE 32724.81
AT ITER 1697 NEW BEST:: SOT 95133 SOS 58797 HAS SOPS 58078 HAS SOUS 33236 HAS SOUPS 32646 WITH SCORE 32704.797
AT ITER 1700 NEW BEST:: SOT 95113 SOS 58761 HAS SOPS 58042 HAS SOUS 33168 HAS SOUPS 32578 WITH SCORE 32636.761
AT ITER 1738 NEW BEST:: SOT 94959 SOS 58919 HAS SOPS 58200 HAS SOUS 33068 HAS SOUPS 32478 WITH SCORE 32536.919
AT ITER 1746 NEW BEST:: SOT 94954 SOS 58914 HAS SOPS 58195 HAS SOUS 33063 HAS SOUPS 32473 WITH SCORE 32531.914
AT ITER 1754 NEW BEST:: SOT 94954 SOS 58854 HAS SOPS 58135 HAS SOUS 33061 HAS SOUPS 32471 WITH SCORE 32529.854
AT ITER 1755 NEW BEST:: SOT 94938 SOS 58838 HAS SOPS 58119 HAS SOUS 33045 HAS SOUPS 32455 WITH SCORE 32513.838
AT ITER 1783 NEW BEST:: SOT 94924 SOS 58796 HAS SOPS 58077 HAS SOUS 33042 HAS SOUPS 32452 WITH SCORE 32510.796
AT ITER 1789 NEW BEST:: SOT 94924 SOS 58710 HAS SOPS 57991 HAS SOUS 33042 HAS SOUPS 32452 WITH SCORE 32510.71
AT ITER 1807 NEW BEST:: SOT 94901 SOS 58335 HAS SOPS 57616 HAS SOUS 32943 HAS SOUPS 32353 WITH SCORE 32411.335
AT ITER 1808 NEW BEST:: SOT 94992 SOS 58455 HAS SOPS 57736 HAS SOUS 32921 HAS SOUPS 32331 WITH SCORE 32389.455
AT ITER 1813 NEW BEST:: SOT 94986 SOS 58235 HAS SOPS 57516 HAS SOUS 32894 HAS SOUPS 32304 WITH SCORE 32362.235
AT ITER 1815 NEW BEST:: SOT 94965 SOS 58198 HAS SOPS 57479 HAS SOUS 32873 HAS SOUPS 32283 WITH SCORE 32341.198
AT ITER 1832 NEW BEST:: SOT 94853 SOS 58086 HAS SOPS 57367 HAS SOUS 32761 HAS SOUPS 32171 WITH SCORE 32229.086
AT ITER 1839 NEW BEST:: SOT 94777 SOS 58010 HAS SOPS 57291 HAS SOUS 32685 HAS SOUPS 32095 WITH SCORE 32153.01
AT ITER 1856 NEW BEST:: SOT 94783 SOS 57818 HAS SOPS 57099 HAS SOUS 32647 HAS SOUPS 32057 WITH SCORE 32114.818
AT ITER 1872 NEW BEST:: SOT 94759 SOS 57698 HAS SOPS 56979 HAS SOUS 32575 HAS SOUPS 31985 WITH SCORE 32042.698
AT ITER 1887 NEW BEST:: SOT 94759 SOS 57684 HAS SOPS 56965 HAS SOUS 32575 HAS SOUPS 31985 WITH SCORE 32042.684
AT ITER 1891 NEW BEST:: SOT 94759 SOS 57642 HAS SOPS 56923 HAS SOUS 32574 HAS SOUPS 31984 WITH SCORE 32041.642
AT ITER 1896 NEW BEST:: SOT 94699 SOS 57564 HAS SOPS 56845 HAS SOUS 32496 HAS SOUPS 31906 WITH SCORE 31963.564
AT ITER 1897 NEW BEST:: SOT 94743 SOS 57608 HAS SOPS 56889 HAS SOUS 32452 HAS SOUPS 31862 WITH SCORE 31919.608
AT ITER 1903 NEW BEST:: SOT 94743 SOS 57628 HAS SOPS 56909 HAS SOUS 32443 HAS SOUPS 31853 WITH SCORE 31910.628
AT ITER 1906 NEW BEST:: SOT 94743 SOS 57613 HAS SOPS 56894 HAS SOUS 32428 HAS SOUPS 31838 WITH SCORE 31895.613
AT ITER 1913 NEW BEST:: SOT 94761 SOS 57477 HAS SOPS 56715 HAS SOUS 32411 HAS SOUPS 31821 WITH SCORE 31878.477
AT ITER 1925 NEW BEST:: SOT 94547 SOS 57307 HAS SOPS 56545 HAS SOUS 32258 HAS SOUPS 31668 WITH SCORE 31725.307
AT ITER 1935 NEW BEST:: SOT 94277 SOS 56926 HAS SOPS 56164 HAS SOUS 31924 HAS SOUPS 31334 WITH SCORE 31390.926
AT ITER 1936 NEW BEST:: SOT 94277 SOS 56854 HAS SOPS 56092 HAS SOUS 31888 HAS SOUPS 31298 WITH SCORE 31354.854
AT ITER 1937 NEW BEST:: SOT 94277 SOS 56854 HAS SOPS 56092 HAS SOUS 31877 HAS SOUPS 31287 WITH SCORE 31343.854
AT ITER 1942 NEW BEST:: SOT 94195 SOS 56772 HAS SOPS 56010 HAS SOUS 31877 HAS SOUPS 31287 WITH SCORE 31343.772
AT ITER 1948 NEW BEST:: SOT 94179 SOS 56648 HAS SOPS 55886 HAS SOUS 31825 HAS SOUPS 31235 WITH SCORE 31291.648
AT ITER 1960 NEW BEST:: SOT 94166 SOS 56635 HAS SOPS 55873 HAS SOUS 31799 HAS SOUPS 31209 WITH SCORE 31265.635
AT ITER 1969 NEW BEST:: SOT 94062 SOS 56535 HAS SOPS 55773 HAS SOUS 31718 HAS SOUPS 31128 WITH SCORE 31184.535
AT ITER 1978 NEW BEST:: SOT 94062 SOS 56448 HAS SOPS 55686 HAS SOUS 31631 HAS SOUPS 31041 WITH SCORE 31097.448
AT ITER 1983 NEW BEST:: SOT 94050 SOS 56464 HAS SOPS 55702 HAS SOUS 31619 HAS SOUPS 31029 WITH SCORE 31085.464
AT ITER 1985 NEW BEST:: SOT 94024 SOS 56438 HAS SOPS 55676 HAS SOUS 31616 HAS SOUPS 31026 WITH SCORE 31082.438
AT ITER 1992 NEW BEST:: SOT 93998 SOS 56412 HAS SOPS 55650 HAS SOUS 31591 HAS SOUPS 31001 WITH SCORE 31057.412
AT ITER 1994 NEW BEST:: SOT 93998 SOS 56380 HAS SOPS 55616 HAS SOUS 31589 HAS SOUPS 30997 WITH SCORE 31053.38
AT ITER 1997 NEW BEST:: SOT 93965 SOS 56347 HAS SOPS 55583 HAS SOUS 31556 HAS SOUPS 30964 WITH SCORE 31020.347
AT ITER 2000 NEW BEST:: SOT 93965 SOS 56339 HAS SOPS 55575 HAS SOUS 31552 HAS SOUPS 30960 WITH SCORE 31016.339
AT ITER 2001 NEW BEST:: SOT 93954 SOS 56328 HAS SOPS 55575 HAS SOUS 31541 HAS SOUPS 30949 WITH SCORE 31005.328
AT ITER 2012 NEW BEST:: SOT 93927 SOS 56259 HAS SOPS 55506 HAS SOUS 31514 HAS SOUPS 30922 WITH SCORE 30978.259
AT ITER 2040 NEW BEST:: SOT 93922 SOS 56254 HAS SOPS 55501 HAS SOUS 31509 HAS SOUPS 30917 WITH SCORE 30973.254
AT ITER 2047 NEW BEST:: SOT 93886 SOS 56218 HAS SOPS 55465 HAS SOUS 31473 HAS SOUPS 30881 WITH SCORE 30937.218
AT ITER 2063 NEW BEST:: SOT 93886 SOS 56128 HAS SOPS 55375 HAS SOUS 31383 HAS SOUPS 30791 WITH SCORE 30847.128
AT ITER 2064 NEW BEST:: SOT 93939 SOS 56137 HAS SOPS 55384 HAS SOUS 31375 HAS SOUPS 30783 WITH SCORE 30839.137
AT ITER 2067 NEW BEST:: SOT 93784 SOS 55982 HAS SOPS 55229 HAS SOUS 31294 HAS SOUPS 30702 WITH SCORE 30757.982
AT ITER 2092 NEW BEST:: SOT 93760 SOS 55946 HAS SOPS 55193 HAS SOUS 31246 HAS SOUPS 30654 WITH SCORE 30709.946
AT ITER 2103 NEW BEST:: SOT 93759 SOS 55945 HAS SOPS 55192 HAS SOUS 31237 HAS SOUPS 30645 WITH SCORE 30700.945
AT ITER 2109 NEW BEST:: SOT 93800 SOS 55952 HAS SOPS 55199 HAS SOUS 31225 HAS SOUPS 30633 WITH SCORE 30688.952
AT ITER 2115 NEW BEST:: SOT 93760 SOS 55912 HAS SOPS 55159 HAS SOUS 31185 HAS SOUPS 30593 WITH SCORE 30648.912
AT ITER 2122 NEW BEST:: SOT 93705 SOS 55865 HAS SOPS 55104 HAS SOUS 31181 HAS SOUPS 30581 WITH SCORE 30636.865
AT ITER 2123 NEW BEST:: SOT 93676 SOS 55836 HAS SOPS 55075 HAS SOUS 31152 HAS SOUPS 30552 WITH SCORE 30607.836
AT ITER 2126 NEW BEST:: SOT 93667 SOS 55827 HAS SOPS 55066 HAS SOUS 31152 HAS SOUPS 30552 WITH SCORE 30607.827
AT ITER 2133 NEW BEST:: SOT 93666 SOS 55826 HAS SOPS 55065 HAS SOUS 31152 HAS SOUPS 30552 WITH SCORE 30607.826
AT ITER 2135 NEW BEST:: SOT 93660 SOS 55820 HAS SOPS 55059 HAS SOUS 31144 HAS SOUPS 30544 WITH SCORE 30599.82
AT ITER 2148 NEW BEST:: SOT 93652 SOS 55817 HAS SOPS 55024 HAS SOUS 31129 HAS SOUPS 30515 WITH SCORE 30570.817
AT ITER 2154 NEW BEST:: SOT 93561 SOS 55480 HAS SOPS 54687 HAS SOUS 30997 HAS SOUPS 30383 WITH SCORE 30438.48
AT ITER 2156 NEW BEST:: SOT 93426 SOS 55395 HAS SOPS 54602 HAS SOUS 30868 HAS SOUPS 30254 WITH SCORE 30309.395
AT ITER 2164 NEW BEST:: SOT 93416 SOS 55385 HAS SOPS 54592 HAS SOUS 30835 HAS SOUPS 30221 WITH SCORE 30276.385
AT ITER 2174 NEW BEST:: SOT 93336 SOS 55269 HAS SOPS 54476 HAS SOUS 30749 HAS SOUPS 30135 WITH SCORE 30190.269
AT ITER 2177 NEW BEST:: SOT 93351 SOS 55254 HAS SOPS 54461 HAS SOUS 30749 HAS SOUPS 30135 WITH SCORE 30190.254
AT ITER 2185 NEW BEST:: SOT 93274 SOS 55177 HAS SOPS 54384 HAS SOUS 30672 HAS SOUPS 30058 WITH SCORE 30113.177
AT ITER 2202 NEW BEST:: SOT 93258 SOS 55161 HAS SOPS 54368 HAS SOUS 30652 HAS SOUPS 30038 WITH SCORE 30093.161
AT ITER 2209 NEW BEST:: SOT 93259 SOS 55121 HAS SOPS 54328 HAS SOUS 30652 HAS SOUPS 30038 WITH SCORE 30093.121
AT ITER 2210 NEW BEST:: SOT 93257 SOS 55091 HAS SOPS 54298 HAS SOUS 30650 HAS SOUPS 30036 WITH SCORE 30091.091
AT ITER 2222 NEW BEST:: SOT 93226 SOS 54889 HAS SOPS 54063 HAS SOUS 30517 HAS SOUPS 29870 WITH SCORE 29924.889
AT ITER 2251 NEW BEST:: SOT 93177 SOS 54676 HAS SOPS 53814 HAS SOUS 30445 HAS SOUPS 29762 WITH SCORE 29816.676
AT ITER 2256 NEW BEST:: SOT 93065 SOS 54368 HAS SOPS 53506 HAS SOUS 30346 HAS SOUPS 29663 WITH SCORE 29717.368
AT ITER 2270 NEW BEST:: SOT 92986 SOS 54289 HAS SOPS 53427 HAS SOUS 30287 HAS SOUPS 29604 WITH SCORE 29658.289
AT ITER 2275 NEW BEST:: SOT 92966 SOS 54269 HAS SOPS 53407 HAS SOUS 30267 HAS SOUPS 29584 WITH SCORE 29638.269
AT ITER 2287 NEW BEST:: SOT 92925 SOS 54092 HAS SOPS 53230 HAS SOUS 30231 HAS SOUPS 29548 WITH SCORE 29602.092
AT ITER 2305 NEW BEST:: SOT 92925 SOS 54092 HAS SOPS 53230 HAS SOUS 30189 HAS SOUPS 29506 WITH SCORE 29560.092
AT ITER 2316 NEW BEST:: SOT 92860 SOS 54052 HAS SOPS 53099 HAS SOUS 30141 HAS SOUPS 29375 WITH SCORE 29429.052
AT ITER 2321 NEW BEST:: SOT 92860 SOS 53986 HAS SOPS 53033 HAS SOUS 30123 HAS SOUPS 29357 WITH SCORE 29410.986
AT ITER 2326 NEW BEST:: SOT 92934 SOS 54029 HAS SOPS 53076 HAS SOUS 30104 HAS SOUPS 29338 WITH SCORE 29392.029
AT ITER 2348 NEW BEST:: SOT 92934 SOS 54029 HAS SOPS 53076 HAS SOUS 30070 HAS SOUPS 29304 WITH SCORE 29358.029
AT ITER 2351 NEW BEST:: SOT 92996 SOS 53989 HAS SOPS 53036 HAS SOUS 30040 HAS SOUPS 29274 WITH SCORE 29327.989
AT ITER 2360 NEW BEST:: SOT 92996 SOS 53989 HAS SOPS 53036 HAS SOUS 30034 HAS SOUPS 29268 WITH SCORE 29321.989
AT ITER 2365 NEW BEST:: SOT 92909 SOS 54032 HAS SOPS 53089 HAS SOUS 29957 HAS SOUPS 29191 WITH SCORE 29245.032
AT ITER 2376 NEW BEST:: SOT 92909 SOS 53990 HAS SOPS 53047 HAS SOUS 29952 HAS SOUPS 29186 WITH SCORE 29239.99
AT ITER 2380 NEW BEST:: SOT 92822 SOS 53903 HAS SOPS 52960 HAS SOUS 29809 HAS SOUPS 29043 WITH SCORE 29096.903
AT ITER 2393 NEW BEST:: SOT 92822 SOS 53903 HAS SOPS 52960 HAS SOUS 29805 HAS SOUPS 29039 WITH SCORE 29092.903
AT ITER 2395 NEW BEST:: SOT 92695 SOS 53864 HAS SOPS 52921 HAS SOUS 29599 HAS SOUPS 28833 WITH SCORE 28886.864
AT ITER 2405 NEW BEST:: SOT 92689 SOS 53858 HAS SOPS 52915 HAS SOUS 29593 HAS SOUPS 28827 WITH SCORE 28880.858
AT ITER 2413 NEW BEST:: SOT 92688 SOS 53857 HAS SOPS 52914 HAS SOUS 29590 HAS SOUPS 28824 WITH SCORE 28877.857
AT ITER 2416 NEW BEST:: SOT 92688 SOS 53857 HAS SOPS 52914 HAS SOUS 29578 HAS SOUPS 28812 WITH SCORE 28865.857
AT ITER 2426 NEW BEST:: SOT 92711 SOS 53872 HAS SOPS 52929 HAS SOUS 29487 HAS SOUPS 28721 WITH SCORE 28774.872
AT ITER 2428 NEW BEST:: SOT 92718 SOS 53879 HAS SOPS 52936 HAS SOUS 29477 HAS SOUPS 28711 WITH SCORE 28764.879
AT ITER 2435 NEW BEST:: SOT 92689 SOS 53850 HAS SOPS 52907 HAS SOUS 29448 HAS SOUPS 28682 WITH SCORE 28735.85
AT ITER 2453 NEW BEST:: SOT 92596 SOS 53585 HAS SOPS 52642 HAS SOUS 29432 HAS SOUPS 28666 WITH SCORE 28719.585
AT ITER 2454 NEW BEST:: SOT 92576 SOS 53565 HAS SOPS 52622 HAS SOUS 29396 HAS SOUPS 28630 WITH SCORE 28683.565
AT ITER 2487 NEW BEST:: SOT 92482 SOS 53189 HAS SOPS 52246 HAS SOUS 29272 HAS SOUPS 28506 WITH SCORE 28559.189
AT ITER 2495 NEW BEST:: SOT 92441 SOS 53213 HAS SOPS 52270 HAS SOUS 29231 HAS SOUPS 28465 WITH SCORE 28518.213
AT ITER 2502 NEW BEST:: SOT 92430 SOS 53202 HAS SOPS 52259 HAS SOUS 29220 HAS SOUPS 28454 WITH SCORE 28507.202
AT ITER 2505 NEW BEST:: SOT 92420 SOS 53192 HAS SOPS 52249 HAS SOUS 29210 HAS SOUPS 28444 WITH SCORE 28497.192
AT ITER 2515 NEW BEST:: SOT 92364 SOS 53136 HAS SOPS 52193 HAS SOUS 29186 HAS SOUPS 28420 WITH SCORE 28473.136
AT ITER 2528 NEW BEST:: SOT 92295 SOS 53124 HAS SOPS 52173 HAS SOUS 29166 HAS SOUPS 28392 WITH SCORE 28445.124
AT ITER 2546 NEW BEST:: SOT 92090 SOS 52949 HAS SOPS 52065 HAS SOUS 29078 HAS SOUPS 28371 WITH SCORE 28423.949
AT ITER 2559 NEW BEST:: SOT 92090 SOS 52949 HAS SOPS 52065 HAS SOUS 29064 HAS SOUPS 28357 WITH SCORE 28409.949
AT ITER 2577 NEW BEST:: SOT 92078 SOS 52763 HAS SOPS 51879 HAS SOUS 29012 HAS SOUPS 28305 WITH SCORE 28357.763
AT ITER 2583 NEW BEST:: SOT 92076 SOS 52761 HAS SOPS 51877 HAS SOUS 29010 HAS SOUPS 28303 WITH SCORE 28355.761
AT ITER 2599 NEW BEST:: SOT 92122 SOS 52807 HAS SOPS 51923 HAS SOUS 28984 HAS SOUPS 28277 WITH SCORE 28329.807
AT ITER 2601 NEW BEST:: SOT 92053 SOS 52554 HAS SOPS 51670 HAS SOUS 28892 HAS SOUPS 28185 WITH SCORE 28237.554
AT ITER 2617 NEW BEST:: SOT 91896 SOS 52451 HAS SOPS 51567 HAS SOUS 28817 HAS SOUPS 28110 WITH SCORE 28162.451
AT ITER 2627 NEW BEST:: SOT 91895 SOS 52399 HAS SOPS 51515 HAS SOUS 28692 HAS SOUPS 27985 WITH SCORE 28037.399
AT ITER 2637 NEW BEST:: SOT 91895 SOS 52399 HAS SOPS 51515 HAS SOUS 28686 HAS SOUPS 27979 WITH SCORE 28031.399
AT ITER 2643 NEW BEST:: SOT 91873 SOS 52375 HAS SOPS 51491 HAS SOUS 28684 HAS SOUPS 27977 WITH SCORE 28029.375
AT ITER 2661 NEW BEST:: SOT 91871 SOS 52373 HAS SOPS 51489 HAS SOUS 28682 HAS SOUPS 27975 WITH SCORE 28027.373
AT ITER 2666 NEW BEST:: SOT 91895 SOS 52277 HAS SOPS 51393 HAS SOUS 28658 HAS SOUPS 27951 WITH SCORE 28003.277
AT ITER 2676 NEW BEST:: SOT 91863 SOS 52301 HAS SOPS 51417 HAS SOUS 28654 HAS SOUPS 27947 WITH SCORE 27999.301
AT ITER 2687 NEW BEST:: SOT 91849 SOS 52287 HAS SOPS 51403 HAS SOUS 28654 HAS SOUPS 27947 WITH SCORE 27999.287
AT ITER 2697 NEW BEST:: SOT 91847 SOS 52285 HAS SOPS 51401 HAS SOUS 28652 HAS SOUPS 27945 WITH SCORE 27997.285
AT ITER 2700 NEW BEST:: SOT 91845 SOS 52283 HAS SOPS 51399 HAS SOUS 28564 HAS SOUPS 27857 WITH SCORE 27909.283
AT ITER 2731 NEW BEST:: SOT 91843 SOS 52293 HAS SOPS 51409 HAS SOUS 28558 HAS SOUPS 27851 WITH SCORE 27903.293
AT ITER 2754 NEW BEST:: SOT 91843 SOS 52244 HAS SOPS 51360 HAS SOUS 28506 HAS SOUPS 27799 WITH SCORE 27851.244
AT ITER 2775 NEW BEST:: SOT 91843 SOS 52244 HAS SOPS 51360 HAS SOUS 28500 HAS SOUPS 27793 WITH SCORE 27845.244
AT ITER 2786 NEW BEST:: SOT 91843 SOS 52244 HAS SOPS 51360 HAS SOUS 28498 HAS SOUPS 27791 WITH SCORE 27843.244
AT ITER 2797 NEW BEST:: SOT 91840 SOS 52244 HAS SOPS 51360 HAS SOUS 28492 HAS SOUPS 27785 WITH SCORE 27837.244
AT ITER 2814 NEW BEST:: SOT 91837 SOS 52208 HAS SOPS 51324 HAS SOUS 28415 HAS SOUPS 27708 WITH SCORE 27760.208
AT ITER 2820 NEW BEST:: SOT 91798 SOS 52169 HAS SOPS 51285 HAS SOUS 28298 HAS SOUPS 27591 WITH SCORE 27643.169
AT ITER 2845 NEW BEST:: SOT 91805 SOS 51791 HAS SOPS 50907 HAS SOUS 28235 HAS SOUPS 27528 WITH SCORE 27579.791
AT ITER 2850 NEW BEST:: SOT 91815 SOS 51801 HAS SOPS 50917 HAS SOUS 28207 HAS SOUPS 27500 WITH SCORE 27551.801
AT ITER 2864 NEW BEST:: SOT 91779 SOS 51765 HAS SOPS 50881 HAS SOUS 28145 HAS SOUPS 27438 WITH SCORE 27489.765
AT ITER 2867 NEW BEST:: SOT 91780 SOS 51740 HAS SOPS 50852 HAS SOUS 28143 HAS SOUPS 27434 WITH SCORE 27485.74
AT ITER 2871 NEW BEST:: SOT 91553 SOS 51093 HAS SOPS 50177 HAS SOUS 28006 HAS SOUPS 27269 WITH SCORE 27320.093
AT ITER 2874 NEW BEST:: SOT 91657 SOS 51225 HAS SOPS 50309 HAS SOUS 27678 HAS SOUPS 26941 WITH SCORE 26992.225
AT ITER 2916 NEW BEST:: SOT 91552 SOS 51229 HAS SOPS 50313 HAS SOUS 27594 HAS SOUPS 26857 WITH SCORE 26908.229
AT ITER 2926 NEW BEST:: SOT 91522 SOS 51199 HAS SOPS 50283 HAS SOUS 27552 HAS SOUPS 26815 WITH SCORE 26866.199
AT ITER 2964 NEW BEST:: SOT 91465 SOS 51142 HAS SOPS 50226 HAS SOUS 27485 HAS SOUPS 26748 WITH SCORE 26799.142
AT ITER 2970 NEW BEST:: SOT 91410 SOS 51087 HAS SOPS 50171 HAS SOUS 27404 HAS SOUPS 26667 WITH SCORE 26718.087
AT ITER 2971 NEW BEST:: SOT 91418 SOS 51097 HAS SOPS 50162 HAS SOUS 27391 HAS SOUPS 26654 WITH SCORE 26705.097
AT ITER 2974 NEW BEST:: SOT 91416 SOS 51095 HAS SOPS 50160 HAS SOUS 27389 HAS SOUPS 26652 WITH SCORE 26703.095
AT ITER 2999 NEW BEST:: SOT 91394 SOS 51073 HAS SOPS 50138 HAS SOUS 27389 HAS SOUPS 26652 WITH SCORE 26703.073
AT ITER 3021 NEW BEST:: SOT 91368 SOS 51053 HAS SOPS 50118 HAS SOUS 27331 HAS SOUPS 26594 WITH SCORE 26645.053
AT ITER 3048 NEW BEST:: SOT 91374 SOS 50933 HAS SOPS 49998 HAS SOUS 27253 HAS SOUPS 26516 WITH SCORE 26566.933
AT ITER 3055 NEW BEST:: SOT 91283 SOS 50844 HAS SOPS 49909 HAS SOUS 27190 HAS SOUPS 26453 WITH SCORE 26503.844
AT ITER 3063 NEW BEST:: SOT 91386 SOS 50907 HAS SOPS 49972 HAS SOUS 27179 HAS SOUPS 26442 WITH SCORE 26492.907
AT ITER 3077 NEW BEST:: SOT 91372 SOS 50893 HAS SOPS 49958 HAS SOUS 27165 HAS SOUPS 26428 WITH SCORE 26478.893
AT ITER 3080 NEW BEST:: SOT 91360 SOS 50881 HAS SOPS 49946 HAS SOUS 27117 HAS SOUPS 26380 WITH SCORE 26430.881
AT ITER 3081 NEW BEST:: SOT 91357 SOS 50878 HAS SOPS 49943 HAS SOUS 27117 HAS SOUPS 26380 WITH SCORE 26430.878
AT ITER 3117 NEW BEST:: SOT 91126 SOS 50647 HAS SOPS 49712 HAS SOUS 27036 HAS SOUPS 26299 WITH SCORE 26349.647
AT ITER 3126 NEW BEST:: SOT 91089 SOS 50610 HAS SOPS 49675 HAS SOUS 26999 HAS SOUPS 26262 WITH SCORE 26312.61
AT ITER 3144 NEW BEST:: SOT 91081 SOS 50602 HAS SOPS 49667 HAS SOUS 26995 HAS SOUPS 26258 WITH SCORE 26308.602
AT ITER 3150 NEW BEST:: SOT 91033 SOS 50461 HAS SOPS 49526 HAS SOUS 26877 HAS SOUPS 26140 WITH SCORE 26190.461
AT ITER 3166 NEW BEST:: SOT 91145 SOS 50531 HAS SOPS 49596 HAS SOUS 26862 HAS SOUPS 26125 WITH SCORE 26175.531
AT ITER 3169 NEW BEST:: SOT 91118 SOS 50522 HAS SOPS 49587 HAS SOUS 26847 HAS SOUPS 26110 WITH SCORE 26160.522
AT ITER 3175 NEW BEST:: SOT 91072 SOS 50507 HAS SOPS 49572 HAS SOUS 26741 HAS SOUPS 26004 WITH SCORE 26054.507
AT ITER 3177 NEW BEST:: SOT 91069 SOS 50504 HAS SOPS 49569 HAS SOUS 26740 HAS SOUPS 26003 WITH SCORE 26053.504
AT ITER 3178 NEW BEST:: SOT 91044 SOS 50548 HAS SOPS 49613 HAS SOUS 26724 HAS SOUPS 25987 WITH SCORE 26037.548
AT ITER 3184 NEW BEST:: SOT 91032 SOS 50536 HAS SOPS 49601 HAS SOUS 26712 HAS SOUPS 25975 WITH SCORE 26025.536
AT ITER 3229 NEW BEST:: SOT 91032 SOS 50416 HAS SOPS 49481 HAS SOUS 26682 HAS SOUPS 25945 WITH SCORE 25995.416
AT ITER 3230 NEW BEST:: SOT 90953 SOS 50435 HAS SOPS 49500 HAS SOUS 26647 HAS SOUPS 25910 WITH SCORE 25960.435
AT ITER 3241 NEW BEST:: SOT 90962 SOS 50384 HAS SOPS 49254 HAS SOUS 26631 HAS SOUPS 25770 WITH SCORE 25820.384
AT ITER 3242 NEW BEST:: SOT 90955 SOS 50370 HAS SOPS 49240 HAS SOUS 26625 HAS SOUPS 25764 WITH SCORE 25814.37
AT ITER 3259 NEW BEST:: SOT 90954 SOS 50369 HAS SOPS 49239 HAS SOUS 26623 HAS SOUPS 25762 WITH SCORE 25812.369
AT ITER 3283 NEW BEST:: SOT 90908 SOS 50323 HAS SOPS 49193 HAS SOUS 26539 HAS SOUPS 25678 WITH SCORE 25728.323
AT ITER 3285 NEW BEST:: SOT 90898 SOS 50305 HAS SOPS 49165 HAS SOUS 26547 HAS SOUPS 25676 WITH SCORE 25726.305
AT ITER 3309 NEW BEST:: SOT 90861 SOS 50227 HAS SOPS 49083 HAS SOUS 26536 HAS SOUPS 25661 WITH SCORE 25711.227
AT ITER 3323 NEW BEST:: SOT 90854 SOS 50220 HAS SOPS 49076 HAS SOUS 26529 HAS SOUPS 25654 WITH SCORE 25704.22
AT ITER 3330 NEW BEST:: SOT 90897 SOS 50263 HAS SOPS 49119 HAS SOUS 26512 HAS SOUPS 25637 WITH SCORE 25687.263
AT ITER 3339 NEW BEST:: SOT 90887 SOS 50253 HAS SOPS 49109 HAS SOUS 26500 HAS SOUPS 25625 WITH SCORE 25675.253
AT ITER 3343 NEW BEST:: SOT 90822 SOS 50188 HAS SOPS 49044 HAS SOUS 26483 HAS SOUPS 25608 WITH SCORE 25658.188
AT ITER 3344 NEW BEST:: SOT 90822 SOS 50188 HAS SOPS 49042 HAS SOUS 26479 HAS SOUPS 25604 WITH SCORE 25654.188
AT ITER 3348 NEW BEST:: SOT 90812 SOS 50178 HAS SOPS 49032 HAS SOUS 26437 HAS SOUPS 25562 WITH SCORE 25612.178
AT ITER 3353 NEW BEST:: SOT 90830 SOS 50138 HAS SOPS 48992 HAS SOUS 26424 HAS SOUPS 25549 WITH SCORE 25599.138
AT ITER 3356 NEW BEST:: SOT 90830 SOS 50118 HAS SOPS 48972 HAS SOUS 26408 HAS SOUPS 25533 WITH SCORE 25583.118
AT ITER 3389 NEW BEST:: SOT 90833 SOS 50124 HAS SOPS 48983 HAS SOUS 26406 HAS SOUPS 25531 WITH SCORE 25581.124
AT ITER 3422 NEW BEST:: SOT 90832 SOS 50118 HAS SOPS 48977 HAS SOUS 26405 HAS SOUPS 25530 WITH SCORE 25580.118
AT ITER 3433 NEW BEST:: SOT 90820 SOS 50106 HAS SOPS 48965 HAS SOUS 26393 HAS SOUPS 25518 WITH SCORE 25568.106
AT ITER 3503 NEW BEST:: SOT 90809 SOS 50099 HAS SOPS 48958 HAS SOUS 26371 HAS SOUPS 25496 WITH SCORE 25546.099
AT ITER 3522 NEW BEST:: SOT 90769 SOS 50059 HAS SOPS 48918 HAS SOUS 26331 HAS SOUPS 25456 WITH SCORE 25506.059
AT ITER 3526 NEW BEST:: SOT 90745 SOS 50035 HAS SOPS 48894 HAS SOUS 26331 HAS SOUPS 25456 WITH SCORE 25506.035
AT ITER 3528 NEW BEST:: SOT 90647 SOS 49937 HAS SOPS 48796 HAS SOUS 26263 HAS SOUPS 25388 WITH SCORE 25437.937
AT ITER 3532 NEW BEST:: SOT 90655 SOS 49933 HAS SOPS 48792 HAS SOUS 26263 HAS SOUPS 25388 WITH SCORE 25437.933
AT ITER 3536 NEW BEST:: SOT 90700 SOS 49969 HAS SOPS 48828 HAS SOUS 26260 HAS SOUPS 25385 WITH SCORE 25434.969
AT ITER 3563 NEW BEST:: SOT 90698 SOS 49961 HAS SOPS 48820 HAS SOUS 26260 HAS SOUPS 25385 WITH SCORE 25434.961
AT ITER 3578 NEW BEST:: SOT 90715 SOS 49978 HAS SOPS 48837 HAS SOUS 26215 HAS SOUPS 25340 WITH SCORE 25389.978
AT ITER 3589 NEW BEST:: SOT 90689 SOS 50153 HAS SOPS 49012 HAS SOUS 26189 HAS SOUPS 25314 WITH SCORE 25364.153
AT ITER 3605 NEW BEST:: SOT 90700 SOS 50164 HAS SOPS 49023 HAS SOUS 26178 HAS SOUPS 25303 WITH SCORE 25353.164
AT ITER 3606 NEW BEST:: SOT 90590 SOS 50083 HAS SOPS 48942 HAS SOUS 26165 HAS SOUPS 25290 WITH SCORE 25340.083
AT ITER 3645 NEW BEST:: SOT 90484 SOS 49977 HAS SOPS 48836 HAS SOUS 26092 HAS SOUPS 25217 WITH SCORE 25266.977
AT ITER 3647 NEW BEST:: SOT 90438 SOS 49967 HAS SOPS 48826 HAS SOUS 26080 HAS SOUPS 25205 WITH SCORE 25254.967
AT ITER 3654 NEW BEST:: SOT 90437 SOS 49926 HAS SOPS 48785 HAS SOUS 26079 HAS SOUPS 25204 WITH SCORE 25253.926
AT ITER 3660 NEW BEST:: SOT 90477 SOS 49831 HAS SOPS 48690 HAS SOUS 25984 HAS SOUPS 25109 WITH SCORE 25158.831
AT ITER 3669 NEW BEST:: SOT 90459 SOS 49813 HAS SOPS 48672 HAS SOUS 25966 HAS SOUPS 25091 WITH SCORE 25140.813
AT ITER 3673 NEW BEST:: SOT 90453 SOS 49807 HAS SOPS 48666 HAS SOUS 25964 HAS SOUPS 25089 WITH SCORE 25138.807
AT ITER 3685 NEW BEST:: SOT 90453 SOS 49793 HAS SOPS 48652 HAS SOUS 25950 HAS SOUPS 25075 WITH SCORE 25124.793
AT ITER 3691 NEW BEST:: SOT 90451 SOS 49791 HAS SOPS 48650 HAS SOUS 25948 HAS SOUPS 25073 WITH SCORE 25122.791
AT ITER 3699 NEW BEST:: SOT 90451 SOS 49791 HAS SOPS 48650 HAS SOUS 25940 HAS SOUPS 25065 WITH SCORE 25114.791
AT ITER 3718 NEW BEST:: SOT 90417 SOS 49736 HAS SOPS 48595 HAS SOUS 25905 HAS SOUPS 25030 WITH SCORE 25079.736
AT ITER 3720 NEW BEST:: SOT 90409 SOS 49728 HAS SOPS 48587 HAS SOUS 25905 HAS SOUPS 25030 WITH SCORE 25079.728
AT ITER 3722 NEW BEST:: SOT 90464 SOS 49833 HAS SOPS 48642 HAS SOUS 25892 HAS SOUPS 24967 WITH SCORE 25016.833
AT ITER 3728 NEW BEST:: SOT 90517 SOS 49886 HAS SOPS 48695 HAS SOUS 25813 HAS SOUPS 24888 WITH SCORE 24937.886
AT ITER 3730 NEW BEST:: SOT 90521 SOS 49878 HAS SOPS 48687 HAS SOUS 25813 HAS SOUPS 24888 WITH SCORE 24937.878
AT ITER 3741 NEW BEST:: SOT 90467 SOS 49855 HAS SOPS 48664 HAS SOUS 25803 HAS SOUPS 24878 WITH SCORE 24927.855
AT ITER 3756 NEW BEST:: SOT 90471 SOS 49692 HAS SOPS 48486 HAS SOUS 25797 HAS SOUPS 24857 WITH SCORE 24906.692
AT ITER 3762 NEW BEST:: SOT 90471 SOS 49698 HAS SOPS 48486 HAS SOUS 25797 HAS SOUPS 24851 WITH SCORE 24900.698
AT ITER 3769 NEW BEST:: SOT 90509 SOS 49736 HAS SOPS 48524 HAS SOUS 25789 HAS SOUPS 24843 WITH SCORE 24892.736
AT ITER 3797 NEW BEST:: SOT 90481 SOS 49703 HAS SOPS 48491 HAS SOUS 25746 HAS SOUPS 24800 WITH SCORE 24849.703
AT ITER 3818 NEW BEST:: SOT 90437 SOS 49659 HAS SOPS 48447 HAS SOUS 25673 HAS SOUPS 24727 WITH SCORE 24776.659
AT ITER 3828 NEW BEST:: SOT 90407 SOS 49629 HAS SOPS 48417 HAS SOUS 25643 HAS SOUPS 24697 WITH SCORE 24746.629
AT ITER 3829 NEW BEST:: SOT 90338 SOS 49560 HAS SOPS 48348 HAS SOUS 25607 HAS SOUPS 24661 WITH SCORE 24710.56
AT ITER 3842 NEW BEST:: SOT 90338 SOS 49560 HAS SOPS 48348 HAS SOUS 25605 HAS SOUPS 24659 WITH SCORE 24708.56
AT ITER 3876 NEW BEST:: SOT 90357 SOS 49579 HAS SOPS 48367 HAS SOUS 25583 HAS SOUPS 24637 WITH SCORE 24686.579
AT ITER 3881 NEW BEST:: SOT 90357 SOS 49578 HAS SOPS 48365 HAS SOUS 25582 HAS SOUPS 24636 WITH SCORE 24685.578
AT ITER 3882 NEW BEST:: SOT 90352 SOS 49573 HAS SOPS 48360 HAS SOUS 25577 HAS SOUPS 24631 WITH SCORE 24680.573
AT ITER 3892 NEW BEST:: SOT 90323 SOS 49544 HAS SOPS 48331 HAS SOUS 25546 HAS SOUPS 24600 WITH SCORE 24649.544
AT ITER 3893 NEW BEST:: SOT 90323 SOS 49544 HAS SOPS 48331 HAS SOUS 25544 HAS SOUPS 24598 WITH SCORE 24647.544
AT ITER 3902 NEW BEST:: SOT 90233 SOS 49426 HAS SOPS 48213 HAS SOUS 25436 HAS SOUPS 24490 WITH SCORE 24539.426
AT ITER 3907 NEW BEST:: SOT 90238 SOS 49432 HAS SOPS 48218 HAS SOUS 25380 HAS SOUPS 24433 WITH SCORE 24482.432
AT ITER 3909 NEW BEST:: SOT 90232 SOS 49426 HAS SOPS 48212 HAS SOUS 25374 HAS SOUPS 24427 WITH SCORE 24476.426
AT ITER 3924 NEW BEST:: SOT 90244 SOS 49655 HAS SOPS 48441 HAS SOUS 25341 HAS SOUPS 24394 WITH SCORE 24443.655
AT ITER 3950 NEW BEST:: SOT 90154 SOS 49295 HAS SOPS 48081 HAS SOUS 25251 HAS SOUPS 24304 WITH SCORE 24353.295
AT ITER 3965 NEW BEST:: SOT 90154 SOS 49271 HAS SOPS 48057 HAS SOUS 25235 HAS SOUPS 24288 WITH SCORE 24337.271
AT ITER 3986 NEW BEST:: SOT 90146 SOS 49258 HAS SOPS 48044 HAS SOUS 25222 HAS SOUPS 24275 WITH SCORE 24324.258
AT ITER 4004 NEW BEST:: SOT 90124 SOS 49173 HAS SOPS 47959 HAS SOUS 25151 HAS SOUPS 24204 WITH SCORE 24253.173
AT ITER 4016 NEW BEST:: SOT 90122 SOS 49171 HAS SOPS 47957 HAS SOUS 25149 HAS SOUPS 24202 WITH SCORE 24251.171
AT ITER 4017 NEW BEST:: SOT 90141 SOS 49130 HAS SOPS 47909 HAS SOUS 25147 HAS SOUPS 24193 WITH SCORE 24242.13
AT ITER 4027 NEW BEST:: SOT 90139 SOS 49114 HAS SOPS 47893 HAS SOUS 25145 HAS SOUPS 24191 WITH SCORE 24240.114
AT ITER 4031 NEW BEST:: SOT 90185 SOS 49051 HAS SOPS 47830 HAS SOUS 25137 HAS SOUPS 24183 WITH SCORE 24232.051
AT ITER 4037 NEW BEST:: SOT 90149 SOS 48793 HAS SOPS 47572 HAS SOUS 25093 HAS SOUPS 24139 WITH SCORE 24187.793
AT ITER 4050 NEW BEST:: SOT 90161 SOS 48793 HAS SOPS 47572 HAS SOUS 25087 HAS SOUPS 24133 WITH SCORE 24181.793
AT ITER 4068 NEW BEST:: SOT 90041 SOS 48673 HAS SOPS 47452 HAS SOUS 25045 HAS SOUPS 24091 WITH SCORE 24139.673
AT ITER 4070 NEW BEST:: SOT 90030 SOS 48570 HAS SOPS 47349 HAS SOUS 25015 HAS SOUPS 24061 WITH SCORE 24109.57
AT ITER 4071 NEW BEST:: SOT 90008 SOS 48562 HAS SOPS 47345 HAS SOUS 25005 HAS SOUPS 24051 WITH SCORE 24099.562
AT ITER 4083 NEW BEST:: SOT 90008 SOS 48186 HAS SOPS 46969 HAS SOUS 25005 HAS SOUPS 24051 WITH SCORE 24099.186
AT ITER 4122 NEW BEST:: SOT 89938 SOS 48116 HAS SOPS 46899 HAS SOUS 24935 HAS SOUPS 23981 WITH SCORE 24029.116
AT ITER 4133 NEW BEST:: SOT 89937 SOS 48115 HAS SOPS 46898 HAS SOUS 24932 HAS SOUPS 23978 WITH SCORE 24026.115
AT ITER 4142 NEW BEST:: SOT 89927 SOS 48105 HAS SOPS 46888 HAS SOUS 24922 HAS SOUPS 23968 WITH SCORE 24016.105
AT ITER 4148 NEW BEST:: SOT 89906 SOS 48063 HAS SOPS 46846 HAS SOUS 24854 HAS SOUPS 23900 WITH SCORE 23948.063
AT ITER 4150 NEW BEST:: SOT 89893 SOS 48080 HAS SOPS 46821 HAS SOUS 24863 HAS SOUPS 23867 WITH SCORE 23915.08
AT ITER 4158 NEW BEST:: SOT 89865 SOS 48052 HAS SOPS 46793 HAS SOUS 24863 HAS SOUPS 23867 WITH SCORE 23915.052
AT ITER 4161 NEW BEST:: SOT 89733 SOS 47916 HAS SOPS 46511 HAS SOUS 24760 HAS SOUPS 23669 WITH SCORE 23716.916
AT ITER 4168 NEW BEST:: SOT 89722 SOS 47927 HAS SOPS 46522 HAS SOUS 24738 HAS SOUPS 23647 WITH SCORE 23694.927
AT ITER 4171 NEW BEST:: SOT 89718 SOS 47921 HAS SOPS 46514 HAS SOUS 24736 HAS SOUPS 23643 WITH SCORE 23690.921
AT ITER 4202 NEW BEST:: SOT 89718 SOS 47921 HAS SOPS 46514 HAS SOUS 24718 HAS SOUPS 23625 WITH SCORE 23672.921
AT ITER 4226 NEW BEST:: SOT 89718 SOS 47909 HAS SOPS 46502 HAS SOUS 24718 HAS SOUPS 23625 WITH SCORE 23672.909
AT ITER 4239 NEW BEST:: SOT 89708 SOS 47874 HAS SOPS 46467 HAS SOUS 24713 HAS SOUPS 23620 WITH SCORE 23667.874
AT ITER 4251 NEW BEST:: SOT 89702 SOS 47863 HAS SOPS 46456 HAS SOUS 24703 HAS SOUPS 23610 WITH SCORE 23657.863
AT ITER 4260 NEW BEST:: SOT 89695 SOS 47842 HAS SOPS 46435 HAS SOUS 24703 HAS SOUPS 23610 WITH SCORE 23657.842
AT ITER 4272 NEW BEST:: SOT 89695 SOS 47841 HAS SOPS 46434 HAS SOUS 24702 HAS SOUPS 23609 WITH SCORE 23656.841
AT ITER 4273 NEW BEST:: SOT 89681 SOS 47827 HAS SOPS 46420 HAS SOUS 24688 HAS SOUPS 23595 WITH SCORE 23642.827
AT ITER 4278 NEW BEST:: SOT 89720 SOS 47840 HAS SOPS 46419 HAS SOUS 24691 HAS SOUPS 23584 WITH SCORE 23631.84
AT ITER 4286 NEW BEST:: SOT 89720 SOS 47840 HAS SOPS 46419 HAS SOUS 24653 HAS SOUPS 23546 WITH SCORE 23593.84
AT ITER 4355 NEW BEST:: SOT 89650 SOS 47794 HAS SOPS 46381 HAS SOUS 24591 HAS SOUPS 23492 WITH SCORE 23539.794
AT ITER 4369 NEW BEST:: SOT 89531 SOS 47675 HAS SOPS 46262 HAS SOUS 24572 HAS SOUPS 23473 WITH SCORE 23520.675
AT ITER 4370 NEW BEST:: SOT 89481 SOS 47605 HAS SOPS 46192 HAS SOUS 24431 HAS SOUPS 23332 WITH SCORE 23379.605
AT ITER 4375 NEW BEST:: SOT 89476 SOS 47590 HAS SOPS 46177 HAS SOUS 24416 HAS SOUPS 23317 WITH SCORE 23364.59
AT ITER 4379 NEW BEST:: SOT 89402 SOS 47448 HAS SOPS 46035 HAS SOUS 24365 HAS SOUPS 23266 WITH SCORE 23313.448
AT ITER 4383 NEW BEST:: SOT 89386 SOS 47368 HAS SOPS 45955 HAS SOUS 24363 HAS SOUPS 23264 WITH SCORE 23311.368
AT ITER 4407 NEW BEST:: SOT 89369 SOS 47351 HAS SOPS 45938 HAS SOUS 24363 HAS SOUPS 23264 WITH SCORE 23311.351
AT ITER 4408 NEW BEST:: SOT 89366 SOS 47349 HAS SOPS 45936 HAS SOUS 24360 HAS SOUPS 23261 WITH SCORE 23308.349
AT ITER 4423 NEW BEST:: SOT 89366 SOS 47349 HAS SOPS 45936 HAS SOUS 24358 HAS SOUPS 23259 WITH SCORE 23306.349
AT ITER 4431 NEW BEST:: SOT 89364 SOS 47347 HAS SOPS 45934 HAS SOUS 24356 HAS SOUPS 23257 WITH SCORE 23304.347
AT ITER 4454 NEW BEST:: SOT 89314 SOS 47416 HAS SOPS 46003 HAS SOUS 24330 HAS SOUPS 23231 WITH SCORE 23278.416
AT ITER 4460 NEW BEST:: SOT 89289 SOS 47391 HAS SOPS 45978 HAS SOUS 24330 HAS SOUPS 23231 WITH SCORE 23278.391
AT ITER 4474 NEW BEST:: SOT 89284 SOS 47395 HAS SOPS 45972 HAS SOUS 24318 HAS SOUPS 23209 WITH SCORE 23256.395
AT ITER 4475 NEW BEST:: SOT 89272 SOS 47383 HAS SOPS 45960 HAS SOUS 24302 HAS SOUPS 23193 WITH SCORE 23240.383
AT ITER 4496 NEW BEST:: SOT 89267 SOS 47368 HAS SOPS 45955 HAS SOUS 24302 HAS SOUPS 23193 WITH SCORE 23240.368
AT ITER 4524 NEW BEST:: SOT 89263 SOS 47364 HAS SOPS 45951 HAS SOUS 24298 HAS SOUPS 23189 WITH SCORE 23236.364
AT ITER 4527 NEW BEST:: SOT 89258 SOS 47340 HAS SOPS 45927 HAS SOUS 24293 HAS SOUPS 23184 WITH SCORE 23231.34
AT ITER 4552 NEW BEST:: SOT 89220 SOS 47247 HAS SOPS 45834 HAS SOUS 24200 HAS SOUPS 23091 WITH SCORE 23138.247
AT ITER 4579 NEW BEST:: SOT 89215 SOS 47222 HAS SOPS 45809 HAS SOUS 24190 HAS SOUPS 23081 WITH SCORE 23128.222
AT ITER 4581 NEW BEST:: SOT 89215 SOS 47222 HAS SOPS 45809 HAS SOUS 24178 HAS SOUPS 23069 WITH SCORE 23116.222
AT ITER 4588 NEW BEST:: SOT 89208 SOS 47219 HAS SOPS 45806 HAS SOUS 24175 HAS SOUPS 23066 WITH SCORE 23113.219
AT ITER 4646 NEW BEST:: SOT 89182 SOS 47193 HAS SOPS 45780 HAS SOUS 24175 HAS SOUPS 23066 WITH SCORE 23113.193
AT ITER 4671 NEW BEST:: SOT 89170 SOS 47137 HAS SOPS 45724 HAS SOUS 24141 HAS SOUPS 23032 WITH SCORE 23079.137
AT ITER 4675 NEW BEST:: SOT 89163 SOS 47130 HAS SOPS 45717 HAS SOUS 24134 HAS SOUPS 23025 WITH SCORE 23072.13
AT ITER 4685 NEW BEST:: SOT 89127 SOS 47127 HAS SOPS 45677 HAS SOUS 24112 HAS SOUPS 22966 WITH SCORE 23013.127
AT ITER 4694 NEW BEST:: SOT 89148 SOS 47148 HAS SOPS 45698 HAS SOUS 24103 HAS SOUPS 22957 WITH SCORE 23004.148
AT ITER 4699 NEW BEST:: SOT 89070 SOS 47070 HAS SOPS 45620 HAS SOUS 24015 HAS SOUPS 22869 WITH SCORE 22916.07
AT ITER 4709 NEW BEST:: SOT 89026 SOS 47026 HAS SOPS 45576 HAS SOUS 23925 HAS SOUPS 22779 WITH SCORE 22826.026
AT ITER 4712 NEW BEST:: SOT 89021 SOS 47020 HAS SOPS 45571 HAS SOUS 23919 HAS SOUPS 22774 WITH SCORE 22821.02
AT ITER 4735 NEW BEST:: SOT 88935 SOS 46944 HAS SOPS 45495 HAS SOUS 23900 HAS SOUPS 22755 WITH SCORE 22801.944
AT ITER 4741 NEW BEST:: SOT 88952 SOS 46961 HAS SOPS 45512 HAS SOUS 23893 HAS SOUPS 22748 WITH SCORE 22794.961
AT ITER 4742 NEW BEST:: SOT 88954 SOS 46993 HAS SOPS 45544 HAS SOUS 23885 HAS SOUPS 22740 WITH SCORE 22786.993
AT ITER 4767 NEW BEST:: SOT 88912 SOS 46951 HAS SOPS 45502 HAS SOUS 23859 HAS SOUPS 22714 WITH SCORE 22760.951
AT ITER 4777 NEW BEST:: SOT 88892 SOS 46861 HAS SOPS 45412 HAS SOUS 23839 HAS SOUPS 22694 WITH SCORE 22740.861
AT ITER 4781 NEW BEST:: SOT 88728 SOS 46715 HAS SOPS 45284 HAS SOUS 23669 HAS SOUPS 22542 WITH SCORE 22588.715
AT ITER 4787 NEW BEST:: SOT 88725 SOS 46709 HAS SOPS 45277 HAS SOUS 23665 HAS SOUPS 22537 WITH SCORE 22583.709
AT ITER 4792 NEW BEST:: SOT 88711 SOS 46665 HAS SOPS 45233 HAS SOUS 23652 HAS SOUPS 22524 WITH SCORE 22570.665
AT ITER 4794 NEW BEST:: SOT 88705 SOS 46753 HAS SOPS 45321 HAS SOUS 23643 HAS SOUPS 22515 WITH SCORE 22561.753
AT ITER 4797 NEW BEST:: SOT 88815 SOS 46701 HAS SOPS 45269 HAS SOUS 23638 HAS SOUPS 22510 WITH SCORE 22556.701
AT ITER 4817 NEW BEST:: SOT 88850 SOS 46736 HAS SOPS 45304 HAS SOUS 23635 HAS SOUPS 22507 WITH SCORE 22553.736
AT ITER 4834 NEW BEST:: SOT 88850 SOS 46736 HAS SOPS 45304 HAS SOUS 23621 HAS SOUPS 22493 WITH SCORE 22539.736
AT ITER 4840 NEW BEST:: SOT 88825 SOS 46701 HAS SOPS 45269 HAS SOUS 23582 HAS SOUPS 22454 WITH SCORE 22500.701
AT ITER 4876 NEW BEST:: SOT 88825 SOS 46695 HAS SOPS 45263 HAS SOUS 23582 HAS SOUPS 22454 WITH SCORE 22500.695
AT ITER 4886 NEW BEST:: SOT 88810 SOS 46725 HAS SOPS 45293 HAS SOUS 23580 HAS SOUPS 22452 WITH SCORE 22498.725
AT ITER 4902 NEW BEST:: SOT 88806 SOS 46717 HAS SOPS 45285 HAS SOUS 23576 HAS SOUPS 22448 WITH SCORE 22494.717
AT ITER 4913 NEW BEST:: SOT 88830 SOS 46713 HAS SOPS 45281 HAS SOUS 23572 HAS SOUPS 22444 WITH SCORE 22490.713
AT ITER 4919 NEW BEST:: SOT 88780 SOS 46663 HAS SOPS 45231 HAS SOUS 23522 HAS SOUPS 22394 WITH SCORE 22440.663
AT ITER 4955 NEW BEST:: SOT 88780 SOS 46663 HAS SOPS 45231 HAS SOUS 23510 HAS SOUPS 22382 WITH SCORE 22428.663
AT ITER 4956 NEW BEST:: SOT 88772 SOS 46655 HAS SOPS 45223 HAS SOUS 23476 HAS SOUPS 22348 WITH SCORE 22394.655
AT ITER 4989 NEW BEST:: SOT 88762 SOS 46645 HAS SOPS 45213 HAS SOUS 23470 HAS SOUPS 22342 WITH SCORE 22388.645
AT ITER 5004 NEW BEST:: SOT 88760 SOS 46643 HAS SOPS 45211 HAS SOUS 23469 HAS SOUPS 22341 WITH SCORE 22387.643
AT ITER 5055 NEW BEST:: SOT 88738 SOS 46621 HAS SOPS 45189 HAS SOUS 23467 HAS SOUPS 22339 WITH SCORE 22385.621
AT ITER 5060 NEW BEST:: SOT 88734 SOS 46619 HAS SOPS 45187 HAS SOUS 23465 HAS SOUPS 22337 WITH SCORE 22383.619
AT ITER 5078 NEW BEST:: SOT 88731 SOS 46681 HAS SOPS 45262 HAS SOUS 23462 HAS SOUPS 22334 WITH SCORE 22380.681
AT ITER 5121 NEW BEST:: SOT 88731 SOS 46661 HAS SOPS 45242 HAS SOUS 23462 HAS SOUPS 22334 WITH SCORE 22380.661
AT ITER 5128 NEW BEST:: SOT 88719 SOS 46649 HAS SOPS 45230 HAS SOUS 23448 HAS SOUPS 22320 WITH SCORE 22366.649
AT ITER 5161 NEW BEST:: SOT 88736 SOS 46645 HAS SOPS 45226 HAS SOUS 23422 HAS SOUPS 22294 WITH SCORE 22340.645
AT ITER 5173 NEW BEST:: SOT 88793 SOS 46663 HAS SOPS 45229 HAS SOUS 23431 HAS SOUPS 22288 WITH SCORE 22334.663
AT ITER 5177 NEW BEST:: SOT 88792 SOS 46661 HAS SOPS 45227 HAS SOUS 23429 HAS SOUPS 22286 WITH SCORE 22332.661
AT ITER 5199 NEW BEST:: SOT 88758 SOS 46638 HAS SOPS 45204 HAS SOUS 23395 HAS SOUPS 22252 WITH SCORE 22298.638
AT ITER 5201 NEW BEST:: SOT 88755 SOS 46635 HAS SOPS 45201 HAS SOUS 23388 HAS SOUPS 22245 WITH SCORE 22291.635
AT ITER 5206 NEW BEST:: SOT 88794 SOS 46632 HAS SOPS 45198 HAS SOUS 23385 HAS SOUPS 22242 WITH SCORE 22288.632
AT ITER 5209 NEW BEST:: SOT 88750 SOS 46664 HAS SOPS 45230 HAS SOUS 23384 HAS SOUPS 22241 WITH SCORE 22287.664
AT ITER 5230 NEW BEST:: SOT 88750 SOS 46545 HAS SOPS 45111 HAS SOUS 23384 HAS SOUPS 22241 WITH SCORE 22287.545
AT ITER 5232 NEW BEST:: SOT 88752 SOS 46547 HAS SOPS 45113 HAS SOUS 23335 HAS SOUPS 22192 WITH SCORE 22238.547
AT ITER 5251 NEW BEST:: SOT 88790 SOS 46585 HAS SOPS 45151 HAS SOUS 23315 HAS SOUPS 22172 WITH SCORE 22218.585
AT ITER 5262 NEW BEST:: SOT 88797 SOS 46636 HAS SOPS 45190 HAS SOUS 23310 HAS SOUPS 22167 WITH SCORE 22213.636
AT ITER 5277 NEW BEST:: SOT 88730 SOS 46569 HAS SOPS 45123 HAS SOUS 23279 HAS SOUPS 22136 WITH SCORE 22182.569
AT ITER 5279 NEW BEST:: SOT 88730 SOS 46577 HAS SOPS 45068 HAS SOUS 23274 HAS SOUPS 22068 WITH SCORE 22114.577
AT ITER 5281 NEW BEST:: SOT 88714 SOS 46623 HAS SOPS 45114 HAS SOUS 23258 HAS SOUPS 22052 WITH SCORE 22098.623
AT ITER 5291 NEW BEST:: SOT 88706 SOS 46611 HAS SOPS 45102 HAS SOUS 23246 HAS SOUPS 22040 WITH SCORE 22086.611
AT ITER 5303 NEW BEST:: SOT 88706 SOS 46566 HAS SOPS 45051 HAS SOUS 23251 HAS SOUPS 22039 WITH SCORE 22085.566
AT ITER 5306 NEW BEST:: SOT 88700 SOS 46560 HAS SOPS 45045 HAS SOUS 23245 HAS SOUPS 22033 WITH SCORE 22079.56
AT ITER 5317 NEW BEST:: SOT 88721 SOS 46486 HAS SOPS 44959 HAS SOUS 23234 HAS SOUPS 22010 WITH SCORE 22056.486
AT ITER 5319 NEW BEST:: SOT 88722 SOS 46483 HAS SOPS 44956 HAS SOUS 23234 HAS SOUPS 22010 WITH SCORE 22056.483
AT ITER 5327 NEW BEST:: SOT 88708 SOS 46469 HAS SOPS 44942 HAS SOUS 23206 HAS SOUPS 21982 WITH SCORE 22028.469
AT ITER 5370 NEW BEST:: SOT 88675 SOS 46524 HAS SOPS 44909 HAS SOUS 23251 HAS SOUPS 21974 WITH SCORE 22020.524
AT ITER 5372 NEW BEST:: SOT 88660 SOS 46509 HAS SOPS 44894 HAS SOUS 23246 HAS SOUPS 21969 WITH SCORE 22015.509
AT ITER 5380 NEW BEST:: SOT 88652 SOS 46501 HAS SOPS 44886 HAS SOUS 23230 HAS SOUPS 21953 WITH SCORE 21999.501
AT ITER 5391 NEW BEST:: SOT 88678 SOS 46415 HAS SOPS 44800 HAS SOUS 23194 HAS SOUPS 21917 WITH SCORE 21963.415
AT ITER 5439 NEW BEST:: SOT 88678 SOS 46384 HAS SOPS 44769 HAS SOUS 23155 HAS SOUPS 21878 WITH SCORE 21924.384
AT ITER 5453 NEW BEST:: SOT 88625 SOS 46326 HAS SOPS 44711 HAS SOUS 23097 HAS SOUPS 21820 WITH SCORE 21866.326
AT ITER 5459 NEW BEST:: SOT 88610 SOS 46224 HAS SOPS 44609 HAS SOUS 23044 HAS SOUPS 21767 WITH SCORE 21813.224
AT ITER 5470 NEW BEST:: SOT 88583 SOS 46197 HAS SOPS 44582 HAS SOUS 23044 HAS SOUPS 21767 WITH SCORE 21813.197
AT ITER 5475 NEW BEST:: SOT 88583 SOS 46197 HAS SOPS 44582 HAS SOUS 23042 HAS SOUPS 21765 WITH SCORE 21811.197
AT ITER 5515 NEW BEST:: SOT 88581 SOS 46119 HAS SOPS 44504 HAS SOUS 22926 HAS SOUPS 21649 WITH SCORE 21695.119
AT ITER 5529 NEW BEST:: SOT 88564 SOS 46102 HAS SOPS 44487 HAS SOUS 22918 HAS SOUPS 21641 WITH SCORE 21687.102
AT ITER 5548 NEW BEST:: SOT 88574 SOS 46112 HAS SOPS 44497 HAS SOUS 22912 HAS SOUPS 21635 WITH SCORE 21681.112
AT ITER 5562 NEW BEST:: SOT 88576 SOS 46279 HAS SOPS 44479 HAS SOUS 22953 HAS SOUPS 21610 WITH SCORE 21656.279
AT ITER 5566 NEW BEST:: SOT 88550 SOS 46253 HAS SOPS 44453 HAS SOUS 22926 HAS SOUPS 21583 WITH SCORE 21629.253
AT ITER 5582 NEW BEST:: SOT 88550 SOS 46253 HAS SOPS 44453 HAS SOUS 22916 HAS SOUPS 21573 WITH SCORE 21619.253
AT ITER 5611 NEW BEST:: SOT 88550 SOS 46253 HAS SOPS 44453 HAS SOUS 22908 HAS SOUPS 21565 WITH SCORE 21611.253
AT ITER 5625 NEW BEST:: SOT 88550 SOS 46206 HAS SOPS 44406 HAS SOUS 22853 HAS SOUPS 21510 WITH SCORE 21556.206
AT ITER 5642 NEW BEST:: SOT 88551 SOS 46198 HAS SOPS 44398 HAS SOUS 22853 HAS SOUPS 21510 WITH SCORE 21556.198
AT ITER 5656 NEW BEST:: SOT 88547 SOS 46194 HAS SOPS 44394 HAS SOUS 22849 HAS SOUPS 21506 WITH SCORE 21552.194
AT ITER 5696 NEW BEST:: SOT 88543 SOS 46190 HAS SOPS 44390 HAS SOUS 22845 HAS SOUPS 21502 WITH SCORE 21548.19
AT ITER 5702 NEW BEST:: SOT 88474 SOS 46201 HAS SOPS 44408 HAS SOUS 22823 HAS SOUPS 21480 WITH SCORE 21526.201
AT ITER 5706 NEW BEST:: SOT 88416 SOS 46151 HAS SOPS 44372 HAS SOUS 22779 HAS SOUPS 21436 WITH SCORE 21482.151
AT ITER 5724 NEW BEST:: SOT 88410 SOS 46115 HAS SOPS 44332 HAS SOUS 22779 HAS SOUPS 21432 WITH SCORE 21478.115
AT ITER 5739 NEW BEST:: SOT 88410 SOS 46081 HAS SOPS 44298 HAS SOUS 22760 HAS SOUPS 21413 WITH SCORE 21459.081
AT ITER 5751 NEW BEST:: SOT 88340 SOS 46011 HAS SOPS 44228 HAS SOUS 22746 HAS SOUPS 21399 WITH SCORE 21445.011
AT ITER 5756 NEW BEST:: SOT 88305 SOS 45826 HAS SOPS 44043 HAS SOUS 22689 HAS SOUPS 21342 WITH SCORE 21387.826
AT ITER 5777 NEW BEST:: SOT 88301 SOS 45822 HAS SOPS 44039 HAS SOUS 22681 HAS SOUPS 21334 WITH SCORE 21379.822
AT ITER 5813 NEW BEST:: SOT 88293 SOS 45838 HAS SOPS 44055 HAS SOUS 22667 HAS SOUPS 21320 WITH SCORE 21365.838
AT ITER 5826 NEW BEST:: SOT 88206 SOS 45751 HAS SOPS 43968 HAS SOUS 22622 HAS SOUPS 21275 WITH SCORE 21320.751
AT ITER 5838 NEW BEST:: SOT 88195 SOS 45740 HAS SOPS 43957 HAS SOUS 22595 HAS SOUPS 21248 WITH SCORE 21293.74
AT ITER 5859 NEW BEST:: SOT 88185 SOS 45730 HAS SOPS 43947 HAS SOUS 22595 HAS SOUPS 21248 WITH SCORE 21293.73
AT ITER 5885 NEW BEST:: SOT 88175 SOS 45720 HAS SOPS 43937 HAS SOUS 22575 HAS SOUPS 21228 WITH SCORE 21273.72
AT ITER 5887 NEW BEST:: SOT 88175 SOS 45720 HAS SOPS 43937 HAS SOUS 22565 HAS SOUPS 21218 WITH SCORE 21263.72
AT ITER 5934 NEW BEST:: SOT 88253 SOS 45626 HAS SOPS 43836 HAS SOUS 22549 HAS SOUPS 21202 WITH SCORE 21247.626
AT ITER 6001 NEW BEST:: SOT 88203 SOS 45576 HAS SOPS 43786 HAS SOUS 22499 HAS SOUPS 21152 WITH SCORE 21197.576
AT ITER 6004 NEW BEST:: SOT 88203 SOS 45538 HAS SOPS 43748 HAS SOUS 22499 HAS SOUPS 21152 WITH SCORE 21197.538
AT ITER 6014 NEW BEST:: SOT 88203 SOS 45546 HAS SOPS 43756 HAS SOUS 22495 HAS SOUPS 21148 WITH SCORE 21193.546
AT ITER 6017 NEW BEST:: SOT 88203 SOS 45546 HAS SOPS 43756 HAS SOUS 22491 HAS SOUPS 21144 WITH SCORE 21189.546
AT ITER 6039 NEW BEST:: SOT 88197 SOS 45558 HAS SOPS 43768 HAS SOUS 22489 HAS SOUPS 21142 WITH SCORE 21187.558
AT ITER 6098 NEW BEST:: SOT 88197 SOS 45423 HAS SOPS 43633 HAS SOUS 22478 HAS SOUPS 21131 WITH SCORE 21176.423
AT ITER 6100 NEW BEST:: SOT 88152 SOS 45318 HAS SOPS 43513 HAS SOUS 22408 HAS SOUPS 21046 WITH SCORE 21091.318
AT ITER 6117 NEW BEST:: SOT 88146 SOS 45222 HAS SOPS 43417 HAS SOUS 22344 HAS SOUPS 20982 WITH SCORE 21027.222
AT ITER 6121 NEW BEST:: SOT 88146 SOS 45102 HAS SOPS 43273 HAS SOUS 22332 HAS SOUPS 20970 WITH SCORE 21015.102
AT ITER 6123 NEW BEST:: SOT 88124 SOS 45080 HAS SOPS 43251 HAS SOUS 22300 HAS SOUPS 20938 WITH SCORE 20983.08
AT ITER 6140 NEW BEST:: SOT 88141 SOS 45097 HAS SOPS 43268 HAS SOUS 22287 HAS SOUPS 20925 WITH SCORE 20970.097
AT ITER 6158 NEW BEST:: SOT 88139 SOS 45100 HAS SOPS 43205 HAS SOUS 22315 HAS SOUPS 20887 WITH SCORE 20932.1
AT ITER 6168 NEW BEST:: SOT 88136 SOS 44992 HAS SOPS 43097 HAS SOUS 22289 HAS SOUPS 20861 WITH SCORE 20905.992
AT ITER 6181 NEW BEST:: SOT 88136 SOS 44992 HAS SOPS 43097 HAS SOUS 22273 HAS SOUPS 20845 WITH SCORE 20889.992
AT ITER 6219 NEW BEST:: SOT 88162 SOS 45018 HAS SOPS 43123 HAS SOUS 22257 HAS SOUPS 20829 WITH SCORE 20874.018
AT ITER 6241 NEW BEST:: SOT 88021 SOS 44940 HAS SOPS 43045 HAS SOUS 22230 HAS SOUPS 20802 WITH SCORE 20846.94
AT ITER 6256 NEW BEST:: SOT 88018 SOS 44824 HAS SOPS 42929 HAS SOUS 22220 HAS SOUPS 20792 WITH SCORE 20836.824
AT ITER 6261 NEW BEST:: SOT 88016 SOS 44818 HAS SOPS 42923 HAS SOUS 22214 HAS SOUPS 20786 WITH SCORE 20830.818
AT ITER 6280 NEW BEST:: SOT 87998 SOS 44800 HAS SOPS 42905 HAS SOUS 22164 HAS SOUPS 20736 WITH SCORE 20780.8
AT ITER 6334 NEW BEST:: SOT 87998 SOS 44800 HAS SOPS 42905 HAS SOUS 22162 HAS SOUPS 20734 WITH SCORE 20778.8
AT ITER 6365 NEW BEST:: SOT 87974 SOS 44734 HAS SOPS 42881 HAS SOUS 22110 HAS SOUPS 20696 WITH SCORE 20740.734
AT ITER 6394 NEW BEST:: SOT 87962 SOS 44713 HAS SOPS 42860 HAS SOUS 22104 HAS SOUPS 20690 WITH SCORE 20734.713
AT ITER 6418 NEW BEST:: SOT 87954 SOS 44705 HAS SOPS 42852 HAS SOUS 22096 HAS SOUPS 20682 WITH SCORE 20726.705
AT ITER 6421 NEW BEST:: SOT 87951 SOS 44702 HAS SOPS 42849 HAS SOUS 22096 HAS SOUPS 20682 WITH SCORE 20726.702
AT ITER 6437 NEW BEST:: SOT 87944 SOS 44688 HAS SOPS 42835 HAS SOUS 22096 HAS SOUPS 20682 WITH SCORE 20726.688
AT ITER 6457 NEW BEST:: SOT 87856 SOS 44600 HAS SOPS 42747 HAS SOUS 22092 HAS SOUPS 20678 WITH SCORE 20722.6
AT ITER 6472 NEW BEST:: SOT 87920 SOS 44432 HAS SOPS 42579 HAS SOUS 22090 HAS SOUPS 20676 WITH SCORE 20720.432
AT ITER 6485 NEW BEST:: SOT 87920 SOS 44488 HAS SOPS 42635 HAS SOUS 22087 HAS SOUPS 20673 WITH SCORE 20717.488
AT ITER 6492 NEW BEST:: SOT 87900 SOS 44449 HAS SOPS 42596 HAS SOUS 22064 HAS SOUPS 20650 WITH SCORE 20694.449
AT ITER 6494 NEW BEST:: SOT 87906 SOS 44437 HAS SOPS 42578 HAS SOUS 22064 HAS SOUPS 20644 WITH SCORE 20688.437
AT ITER 6560 NEW BEST:: SOT 87945 SOS 44372 HAS SOPS 42484 HAS SOUS 22040 HAS SOUPS 20611 WITH SCORE 20655.372
AT ITER 6569 NEW BEST:: SOT 87941 SOS 44368 HAS SOPS 42480 HAS SOUS 22040 HAS SOUPS 20611 WITH SCORE 20655.368
AT ITER 6571 NEW BEST:: SOT 87929 SOS 44356 HAS SOPS 42468 HAS SOUS 22012 HAS SOUPS 20583 WITH SCORE 20627.356
AT ITER 6572 NEW BEST:: SOT 87894 SOS 44327 HAS SOPS 42439 HAS SOUS 21983 HAS SOUPS 20554 WITH SCORE 20598.327
AT ITER 6574 NEW BEST:: SOT 87838 SOS 44281 HAS SOPS 42393 HAS SOUS 21941 HAS SOUPS 20512 WITH SCORE 20556.281
AT ITER 6577 NEW BEST:: SOT 87829 SOS 44272 HAS SOPS 42384 HAS SOUS 21941 HAS SOUPS 20512 WITH SCORE 20556.272
AT ITER 6578 NEW BEST:: SOT 87826 SOS 44242 HAS SOPS 42351 HAS SOUS 21929 HAS SOUPS 20500 WITH SCORE 20544.242
AT ITER 6636 NEW BEST:: SOT 87784 SOS 44090 HAS SOPS 42199 HAS SOUS 21929 HAS SOUPS 20500 WITH SCORE 20544.09
AT ITER 6646 NEW BEST:: SOT 87789 SOS 44143 HAS SOPS 42252 HAS SOUS 21911 HAS SOUPS 20482 WITH SCORE 20526.143
AT ITER 6669 NEW BEST:: SOT 87853 SOS 44207 HAS SOPS 42316 HAS SOUS 21909 HAS SOUPS 20480 WITH SCORE 20524.207
AT ITER 6677 NEW BEST:: SOT 87835 SOS 44189 HAS SOPS 42298 HAS SOUS 21906 HAS SOUPS 20477 WITH SCORE 20521.189
AT ITER 6718 NEW BEST:: SOT 87840 SOS 44166 HAS SOPS 42275 HAS SOUS 21883 HAS SOUPS 20454 WITH SCORE 20498.166
AT ITER 6731 NEW BEST:: SOT 87820 SOS 44146 HAS SOPS 42255 HAS SOUS 21862 HAS SOUPS 20433 WITH SCORE 20477.146
AT ITER 6748 NEW BEST:: SOT 87814 SOS 44140 HAS SOPS 42249 HAS SOUS 21856 HAS SOUPS 20427 WITH SCORE 20471.14
AT ITER 6765 NEW BEST:: SOT 87812 SOS 44106 HAS SOPS 42211 HAS SOUS 21856 HAS SOUPS 20423 WITH SCORE 20467.106
AT ITER 6799 NEW BEST:: SOT 87812 SOS 44061 HAS SOPS 42166 HAS SOUS 21856 HAS SOUPS 20423 WITH SCORE 20467.061
AT ITER 6801 NEW BEST:: SOT 87757 SOS 44014 HAS SOPS 42119 HAS SOUS 21753 HAS SOUPS 20320 WITH SCORE 20364.014
AT ITER 6816 NEW BEST:: SOT 87756 SOS 44008 HAS SOPS 42113 HAS SOUS 21742 HAS SOUPS 20309 WITH SCORE 20353.008
AT ITER 6824 NEW BEST:: SOT 87754 SOS 44006 HAS SOPS 42111 HAS SOUS 21742 HAS SOUPS 20309 WITH SCORE 20353.006
AT ITER 6829 NEW BEST:: SOT 87754 SOS 44006 HAS SOPS 42111 HAS SOUS 21738 HAS SOUPS 20305 WITH SCORE 20349.006
AT ITER 6841 NEW BEST:: SOT 87753 SOS 43992 HAS SOPS 42097 HAS SOUS 21724 HAS SOUPS 20291 WITH SCORE 20334.992
AT ITER 6851 NEW BEST:: SOT 87753 SOS 43930 HAS SOPS 42035 HAS SOUS 21696 HAS SOUPS 20263 WITH SCORE 20306.93
AT ITER 6858 NEW BEST:: SOT 87707 SOS 43974 HAS SOPS 42079 HAS SOUS 21680 HAS SOUPS 20247 WITH SCORE 20290.974
AT ITER 6862 NEW BEST:: SOT 87707 SOS 43919 HAS SOPS 42002 HAS SOUS 21669 HAS SOUPS 20225 WITH SCORE 20268.919
AT ITER 6892 NEW BEST:: SOT 87698 SOS 43910 HAS SOPS 41993 HAS SOUS 21660 HAS SOUPS 20216 WITH SCORE 20259.91
AT ITER 6918 NEW BEST:: SOT 87691 SOS 43903 HAS SOPS 41986 HAS SOUS 21619 HAS SOUPS 20175 WITH SCORE 20218.903
AT ITER 6925 NEW BEST:: SOT 87691 SOS 43910 HAS SOPS 41993 HAS SOUS 21613 HAS SOUPS 20169 WITH SCORE 20212.91
AT ITER 6936 NEW BEST:: SOT 87629 SOS 43856 HAS SOPS 41939 HAS SOUS 21567 HAS SOUPS 20123 WITH SCORE 20166.856
AT ITER 6966 NEW BEST:: SOT 87623 SOS 43856 HAS SOPS 41939 HAS SOUS 21565 HAS SOUPS 20119 WITH SCORE 20162.856
AT ITER 6977 NEW BEST:: SOT 87611 SOS 43844 HAS SOPS 41927 HAS SOUS 21563 HAS SOUPS 20117 WITH SCORE 20160.844
AT ITER 6982 NEW BEST:: SOT 87619 SOS 43828 HAS SOPS 41911 HAS SOUS 21555 HAS SOUPS 20109 WITH SCORE 20152.828
AT ITER 6985 NEW BEST:: SOT 87562 SOS 43721 HAS SOPS 41804 HAS SOUS 21467 HAS SOUPS 20021 WITH SCORE 20064.721
AT ITER 7032 NEW BEST:: SOT 87593 SOS 43694 HAS SOPS 41782 HAS SOUS 21461 HAS SOUPS 20020 WITH SCORE 20063.694
AT ITER 7043 NEW BEST:: SOT 87582 SOS 43683 HAS SOPS 41771 HAS SOUS 21461 HAS SOUPS 20020 WITH SCORE 20063.683
AT ITER 7073 NEW BEST:: SOT 87579 SOS 43660 HAS SOPS 41747 HAS SOUS 21454 HAS SOUPS 20013 WITH SCORE 20056.66
AT ITER 7092 NEW BEST:: SOT 87591 SOS 43658 HAS SOPS 41745 HAS SOUS 21435 HAS SOUPS 19994 WITH SCORE 20037.658
AT ITER 7123 NEW BEST:: SOT 87591 SOS 43658 HAS SOPS 41745 HAS SOUS 21429 HAS SOUPS 19988 WITH SCORE 20031.658
AT ITER 7160 NEW BEST:: SOT 87526 SOS 43542 HAS SOPS 41629 HAS SOUS 21315 HAS SOUPS 19874 WITH SCORE 19917.542
AT ITER 7165 NEW BEST:: SOT 87525 SOS 43540 HAS SOPS 41627 HAS SOUS 21313 HAS SOUPS 19872 WITH SCORE 19915.54
AT ITER 7253 NEW BEST:: SOT 87454 SOS 43488 HAS SOPS 41556 HAS SOUS 21305 HAS SOUPS 19854 WITH SCORE 19897.488
AT ITER 7278 NEW BEST:: SOT 87466 SOS 43500 HAS SOPS 41568 HAS SOUS 21301 HAS SOUPS 19850 WITH SCORE 19893.5
AT ITER 7344 NEW BEST:: SOT 87403 SOS 43373 HAS SOPS 41441 HAS SOUS 21254 HAS SOUPS 19803 WITH SCORE 19846.373
AT ITER 7366 NEW BEST:: SOT 87385 SOS 43355 HAS SOPS 41423 HAS SOUS 21227 HAS SOUPS 19776 WITH SCORE 19819.355
AT ITER 7374 NEW BEST:: SOT 87385 SOS 43353 HAS SOPS 41423 HAS SOUS 21226 HAS SOUPS 19776 WITH SCORE 19819.353
AT ITER 7376 NEW BEST:: SOT 87451 SOS 43159 HAS SOPS 41148 HAS SOUS 21233 HAS SOUPS 19726 WITH SCORE 19769.159
AT ITER 7401 NEW BEST:: SOT 87443 SOS 43203 HAS SOPS 41136 HAS SOUS 21228 HAS SOUPS 19699 WITH SCORE 19742.203
AT ITER 7418 NEW BEST:: SOT 87368 SOS 43120 HAS SOPS 41053 HAS SOUS 21192 HAS SOUPS 19663 WITH SCORE 19706.12
AT ITER 7439 NEW BEST:: SOT 87310 SOS 43062 HAS SOPS 40995 HAS SOUS 21141 HAS SOUPS 19612 WITH SCORE 19655.062
AT ITER 7457 NEW BEST:: SOT 87299 SOS 43051 HAS SOPS 40984 HAS SOUS 21124 HAS SOUPS 19595 WITH SCORE 19638.051
AT ITER 7484 NEW BEST:: SOT 87291 SOS 43043 HAS SOPS 40976 HAS SOUS 21108 HAS SOUPS 19579 WITH SCORE 19622.043
AT ITER 7521 NEW BEST:: SOT 87240 SOS 42977 HAS SOPS 40910 HAS SOUS 21101 HAS SOUPS 19572 WITH SCORE 19614.977
AT ITER 7526 NEW BEST:: SOT 87226 SOS 42963 HAS SOPS 40896 HAS SOUS 21043 HAS SOUPS 19514 WITH SCORE 19556.963
AT ITER 7529 NEW BEST:: SOT 87223 SOS 42960 HAS SOPS 40893 HAS SOUS 21040 HAS SOUPS 19511 WITH SCORE 19553.96
AT ITER 7533 NEW BEST:: SOT 87223 SOS 42960 HAS SOPS 40893 HAS SOUS 21034 HAS SOUPS 19505 WITH SCORE 19547.96
AT ITER 7548 NEW BEST:: SOT 87220 SOS 42957 HAS SOPS 40890 HAS SOUS 21025 HAS SOUPS 19496 WITH SCORE 19538.957
AT ITER 7560 NEW BEST:: SOT 87220 SOS 42957 HAS SOPS 40890 HAS SOUS 20992 HAS SOUPS 19463 WITH SCORE 19505.957
AT ITER 7582 NEW BEST:: SOT 87214 SOS 42951 HAS SOPS 40884 HAS SOUS 20966 HAS SOUPS 19437 WITH SCORE 19479.951
AT ITER 7605 NEW BEST:: SOT 87096 SOS 43057 HAS SOPS 40990 HAS SOUS 20874 HAS SOUPS 19345 WITH SCORE 19388.057
AT ITER 7609 NEW BEST:: SOT 87116 SOS 43051 HAS SOPS 40977 HAS SOUS 20856 HAS SOUPS 19327 WITH SCORE 19370.051
AT ITER 7616 NEW BEST:: SOT 87116 SOS 43033 HAS SOPS 40959 HAS SOUS 20856 HAS SOUPS 19327 WITH SCORE 19370.033
AT ITER 7620 NEW BEST:: SOT 87096 SOS 43013 HAS SOPS 40939 HAS SOUS 20826 HAS SOUPS 19297 WITH SCORE 19340.013
AT ITER 7622 NEW BEST:: SOT 87093 SOS 43010 HAS SOPS 40936 HAS SOUS 20823 HAS SOUPS 19294 WITH SCORE 19337.01
AT ITER 7674 NEW BEST:: SOT 87073 SOS 43005 HAS SOPS 40931 HAS SOUS 20813 HAS SOUPS 19284 WITH SCORE 19327.005
AT ITER 7706 NEW BEST:: SOT 87068 SOS 43008 HAS SOPS 40936 HAS SOUS 20810 HAS SOUPS 19281 WITH SCORE 19324.008
AT ITER 7713 NEW BEST:: SOT 87088 SOS 43028 HAS SOPS 40956 HAS SOUS 20790 HAS SOUPS 19261 WITH SCORE 19304.028
AT ITER 7738 NEW BEST:: SOT 87080 SOS 43020 HAS SOPS 40948 HAS SOUS 20789 HAS SOUPS 19260 WITH SCORE 19303.02
AT ITER 7757 NEW BEST:: SOT 87127 SOS 43067 HAS SOPS 40995 HAS SOUS 20785 HAS SOUPS 19256 WITH SCORE 19299.067
AT ITER 7816 NEW BEST:: SOT 87127 SOS 43067 HAS SOPS 40995 HAS SOUS 20783 HAS SOUPS 19254 WITH SCORE 19297.067
AT ITER 7819 NEW BEST:: SOT 87127 SOS 43067 HAS SOPS 40995 HAS SOUS 20767 HAS SOUPS 19238 WITH SCORE 19281.067
AT ITER 7820 NEW BEST:: SOT 87167 SOS 43108 HAS SOPS 41036 HAS SOUS 20756 HAS SOUPS 19227 WITH SCORE 19270.108
AT ITER 7842 NEW BEST:: SOT 87165 SOS 43112 HAS SOPS 41040 HAS SOUS 20748 HAS SOUPS 19219 WITH SCORE 19262.112
AT ITER 7858 NEW BEST:: SOT 87077 SOS 43024 HAS SOPS 40952 HAS SOUS 20748 HAS SOUPS 19219 WITH SCORE 19262.024
AT ITER 7901 NEW BEST:: SOT 87065 SOS 42959 HAS SOPS 40886 HAS SOUS 20744 HAS SOUPS 19214 WITH SCORE 19256.959
AT ITER 7914 NEW BEST:: SOT 87064 SOS 42962 HAS SOPS 40889 HAS SOUS 20742 HAS SOUPS 19212 WITH SCORE 19254.962
AT ITER 7927 NEW BEST:: SOT 87063 SOS 42952 HAS SOPS 40878 HAS SOUS 20740 HAS SOUPS 19209 WITH SCORE 19251.952
AT ITER 7973 NEW BEST:: SOT 87079 SOS 42968 HAS SOPS 40894 HAS SOUS 20736 HAS SOUPS 19205 WITH SCORE 19247.968
AT ITER 7993 NEW BEST:: SOT 87075 SOS 42865 HAS SOPS 40791 HAS SOUS 20693 HAS SOUPS 19162 WITH SCORE 19204.865
AT ITER 8047 NEW BEST:: SOT 87009 SOS 42324 HAS SOPS 40250 HAS SOUS 20640 HAS SOUPS 19109 WITH SCORE 19151.324
AT ITER 8052 NEW BEST:: SOT 87009 SOS 42324 HAS SOPS 40250 HAS SOUS 20634 HAS SOUPS 19103 WITH SCORE 19145.324
AT ITER 8057 NEW BEST:: SOT 87017 SOS 42296 HAS SOPS 40222 HAS SOUS 20630 HAS SOUPS 19099 WITH SCORE 19141.296
AT ITER 8062 NEW BEST:: SOT 87013 SOS 42292 HAS SOPS 40218 HAS SOUS 20630 HAS SOUPS 19099 WITH SCORE 19141.292
AT ITER 8068 NEW BEST:: SOT 86971 SOS 42235 HAS SOPS 40161 HAS SOUS 20576 HAS SOUPS 19045 WITH SCORE 19087.235
AT ITER 8114 NEW BEST:: SOT 86976 SOS 42230 HAS SOPS 40156 HAS SOUS 20571 HAS SOUPS 19040 WITH SCORE 19082.23
AT ITER 8156 NEW BEST:: SOT 86964 SOS 42262 HAS SOPS 40188 HAS SOUS 20565 HAS SOUPS 19034 WITH SCORE 19076.262
AT ITER 8186 NEW BEST:: SOT 86961 SOS 42247 HAS SOPS 40170 HAS SOUS 20559 HAS SOUPS 19028 WITH SCORE 19070.247
AT ITER 8208 NEW BEST:: SOT 86976 SOS 42262 HAS SOPS 40185 HAS SOUS 20557 HAS SOUPS 19026 WITH SCORE 19068.262
AT ITER 8209 NEW BEST:: SOT 86953 SOS 42239 HAS SOPS 40162 HAS SOUS 20531 HAS SOUPS 19000 WITH SCORE 19042.239
AT ITER 8227 NEW BEST:: SOT 86953 SOS 42239 HAS SOPS 40162 HAS SOUS 20529 HAS SOUPS 18998 WITH SCORE 19040.239
AT ITER 8291 NEW BEST:: SOT 86938 SOS 42223 HAS SOPS 40146 HAS SOUS 20515 HAS SOUPS 18984 WITH SCORE 19026.223
AT ITER 8292 NEW BEST:: SOT 87030 SOS 42212 HAS SOPS 40135 HAS SOUS 20504 HAS SOUPS 18973 WITH SCORE 19015.212
AT ITER 8326 NEW BEST:: SOT 87048 SOS 42194 HAS SOPS 40117 HAS SOUS 20504 HAS SOUPS 18973 WITH SCORE 19015.194
AT ITER 8382 NEW BEST:: SOT 87048 SOS 41979 HAS SOPS 39902 HAS SOUS 20436 HAS SOUPS 18905 WITH SCORE 18946.979
AT ITER 8403 NEW BEST:: SOT 87066 SOS 41997 HAS SOPS 39920 HAS SOUS 20402 HAS SOUPS 18871 WITH SCORE 18912.997
AT ITER 8406 NEW BEST:: SOT 87058 SOS 41989 HAS SOPS 39912 HAS SOUS 20394 HAS SOUPS 18863 WITH SCORE 18904.989
AT ITER 8429 NEW BEST:: SOT 87113 SOS 42005 HAS SOPS 39964 HAS SOUS 20271 HAS SOUPS 18776 WITH SCORE 18818.005
AT ITER 8440 NEW BEST:: SOT 87113 SOS 42005 HAS SOPS 39964 HAS SOUS 20265 HAS SOUPS 18770 WITH SCORE 18812.005
AT ITER 8458 NEW BEST:: SOT 87113 SOS 42005 HAS SOPS 39965 HAS SOUS 20261 HAS SOUPS 18767 WITH SCORE 18809.005
AT ITER 8509 NEW BEST:: SOT 87110 SOS 41959 HAS SOPS 39935 HAS SOUS 20239 HAS SOUPS 18761 WITH SCORE 18802.959
AT ITER 8549 NEW BEST:: SOT 87097 SOS 41946 HAS SOPS 39922 HAS SOUS 20232 HAS SOUPS 18754 WITH SCORE 18795.946
AT ITER 8554 NEW BEST:: SOT 87097 SOS 41912 HAS SOPS 39888 HAS SOUS 20198 HAS SOUPS 18720 WITH SCORE 18761.912
AT ITER 8623 NEW BEST:: SOT 87081 SOS 41896 HAS SOPS 39872 HAS SOUS 20182 HAS SOUPS 18704 WITH SCORE 18745.896
AT ITER 8631 NEW BEST:: SOT 87085 SOS 41946 HAS SOPS 39922 HAS SOUS 20180 HAS SOUPS 18702 WITH SCORE 18743.946
AT ITER 8648 NEW BEST:: SOT 87107 SOS 41968 HAS SOPS 39944 HAS SOUS 20172 HAS SOUPS 18694 WITH SCORE 18735.968
AT ITER 8653 NEW BEST:: SOT 87101 SOS 41962 HAS SOPS 39938 HAS SOUS 20172 HAS SOUPS 18694 WITH SCORE 18735.962
AT ITER 8679 NEW BEST:: SOT 87075 SOS 41936 HAS SOPS 39912 HAS SOUS 20146 HAS SOUPS 18668 WITH SCORE 18709.936
AT ITER 8683 NEW BEST:: SOT 87045 SOS 42287 HAS SOPS 40287 HAS SOUS 20134 HAS SOUPS 18656 WITH SCORE 18698.287
AT ITER 8773 NEW BEST:: SOT 87007 SOS 42255 HAS SOPS 40255 HAS SOUS 20128 HAS SOUPS 18650 WITH SCORE 18692.255
AT ITER 8819 NEW BEST:: SOT 87020 SOS 42268 HAS SOPS 40268 HAS SOUS 20125 HAS SOUPS 18647 WITH SCORE 18689.268
AT ITER 8829 NEW BEST:: SOT 87016 SOS 42264 HAS SOPS 40264 HAS SOUS 20121 HAS SOUPS 18643 WITH SCORE 18685.264
AT ITER 8861 NEW BEST:: SOT 87049 SOS 42233 HAS SOPS 40233 HAS SOUS 20101 HAS SOUPS 18623 WITH SCORE 18665.233
AT ITER 8866 NEW BEST:: SOT 87041 SOS 42212 HAS SOPS 40212 HAS SOUS 20099 HAS SOUPS 18621 WITH SCORE 18663.212
AT ITER 8885 NEW BEST:: SOT 87012 SOS 42190 HAS SOPS 40190 HAS SOUS 20084 HAS SOUPS 18606 WITH SCORE 18648.19
AT ITER 8909 NEW BEST:: SOT 87012 SOS 42188 HAS SOPS 40188 HAS SOUS 20082 HAS SOUPS 18604 WITH SCORE 18646.188
AT ITER 8943 NEW BEST:: SOT 87008 SOS 42144 HAS SOPS 40144 HAS SOUS 20080 HAS SOUPS 18602 WITH SCORE 18644.144
AT ITER 8951 NEW BEST:: SOT 87006 SOS 42116 HAS SOPS 40116 HAS SOUS 20078 HAS SOUPS 18600 WITH SCORE 18642.116
AT ITER 8958 NEW BEST:: SOT 87006 SOS 42115 HAS SOPS 40115 HAS SOUS 20076 HAS SOUPS 18598 WITH SCORE 18640.115
AT ITER 8984 NEW BEST:: SOT 86992 SOS 42101 HAS SOPS 40101 HAS SOUS 20071 HAS SOUPS 18593 WITH SCORE 18635.101
AT ITER 8992 NEW BEST:: SOT 86992 SOS 42065 HAS SOPS 40065 HAS SOUS 20059 HAS SOUPS 18581 WITH SCORE 18623.065
AT ITER 9032 NEW BEST:: SOT 86992 SOS 42065 HAS SOPS 40065 HAS SOUS 20057 HAS SOUPS 18579 WITH SCORE 18621.065
AT ITER 9037 NEW BEST:: SOT 86942 SOS 41859 HAS SOPS 39859 HAS SOUS 20019 HAS SOUPS 18541 WITH SCORE 18582.859
AT ITER 9080 NEW BEST:: SOT 86904 SOS 41821 HAS SOPS 39821 HAS SOUS 19981 HAS SOUPS 18503 WITH SCORE 18544.821
AT ITER 9082 NEW BEST:: SOT 86905 SOS 41816 HAS SOPS 39816 HAS SOUS 19981 HAS SOUPS 18503 WITH SCORE 18544.816
AT ITER 9087 NEW BEST:: SOT 86907 SOS 41858 HAS SOPS 39859 HAS SOUS 19976 HAS SOUPS 18498 WITH SCORE 18539.858
AT ITER 9110 NEW BEST:: SOT 86910 SOS 41856 HAS SOPS 39857 HAS SOUS 19974 HAS SOUPS 18496 WITH SCORE 18537.856
AT ITER 9120 NEW BEST:: SOT 86908 SOS 41855 HAS SOPS 39856 HAS SOUS 19973 HAS SOUPS 18495 WITH SCORE 18536.855
AT ITER 9126 NEW BEST:: SOT 86906 SOS 41853 HAS SOPS 39854 HAS SOUS 19969 HAS SOUPS 18491 WITH SCORE 18532.853
AT ITER 9198 NEW BEST:: SOT 86897 SOS 41847 HAS SOPS 39848 HAS SOUS 19963 HAS SOUPS 18485 WITH SCORE 18526.847
AT ITER 9224 NEW BEST:: SOT 86889 SOS 41839 HAS SOPS 39840 HAS SOUS 19955 HAS SOUPS 18477 WITH SCORE 18518.839
AT ITER 9235 NEW BEST:: SOT 86881 SOS 41831 HAS SOPS 39832 HAS SOUS 19947 HAS SOUPS 18469 WITH SCORE 18510.831
AT ITER 9250 NEW BEST:: SOT 86942 SOS 42060 HAS SOPS 39893 HAS SOUS 19998 HAS SOUPS 18468 WITH SCORE 18510.06
AT ITER 9287 NEW BEST:: SOT 86974 SOS 42092 HAS SOPS 39925 HAS SOUS 19942 HAS SOUPS 18412 WITH SCORE 18454.092
AT ITER 9288 NEW BEST:: SOT 86974 SOS 42074 HAS SOPS 39907 HAS SOUS 19924 HAS SOUPS 18394 WITH SCORE 18436.074
AT ITER 9332 NEW BEST:: SOT 86983 SOS 42000 HAS SOPS 39824 HAS SOUS 19924 HAS SOUPS 18393 WITH SCORE 18435.0
AT ITER 9358 NEW BEST:: SOT 86979 SOS 41996 HAS SOPS 39820 HAS SOUS 19920 HAS SOUPS 18389 WITH SCORE 18430.996
AT ITER 9393 NEW BEST:: SOT 86979 SOS 42026 HAS SOPS 39806 HAS SOUS 19913 HAS SOUPS 18371 WITH SCORE 18413.026
AT ITER 9398 NEW BEST:: SOT 86949 SOS 41996 HAS SOPS 39776 HAS SOUS 19913 HAS SOUPS 18371 WITH SCORE 18412.996
AT ITER 9399 NEW BEST:: SOT 86947 SOS 41974 HAS SOPS 39754 HAS SOUS 19903 HAS SOUPS 18361 WITH SCORE 18402.974
AT ITER 9400 NEW BEST:: SOT 86935 SOS 42059 HAS SOPS 39742 HAS SOUS 19939 HAS SOUPS 18339 WITH SCORE 18381.059
AT ITER 9405 NEW BEST:: SOT 86895 SOS 42019 HAS SOPS 39702 HAS SOUS 19939 HAS SOUPS 18339 WITH SCORE 18381.019
AT ITER 9414 NEW BEST:: SOT 86894 SOS 42023 HAS SOPS 39706 HAS SOUS 19933 HAS SOUPS 18333 WITH SCORE 18375.023
AT ITER 9432 NEW BEST:: SOT 86866 SOS 41988 HAS SOPS 39671 HAS SOUS 19913 HAS SOUPS 18313 WITH SCORE 18354.988
AT ITER 9473 NEW BEST:: SOT 86858 SOS 41980 HAS SOPS 39663 HAS SOUS 19913 HAS SOUPS 18313 WITH SCORE 18354.98
AT ITER 9491 NEW BEST:: SOT 86864 SOS 41962 HAS SOPS 39651 HAS SOUS 19901 HAS SOUPS 18307 WITH SCORE 18348.962
AT ITER 9540 NEW BEST:: SOT 86854 SOS 41974 HAS SOPS 39665 HAS SOUS 19895 HAS SOUPS 18301 WITH SCORE 18342.974
AT ITER 9592 NEW BEST:: SOT 86817 SOS 41963 HAS SOPS 39654 HAS SOUS 19873 HAS SOUPS 18279 WITH SCORE 18320.963
AT ITER 9646 NEW BEST:: SOT 86817 SOS 41967 HAS SOPS 39654 HAS SOUS 19873 HAS SOUPS 18275 WITH SCORE 18316.967
AT ITER 9653 NEW BEST:: SOT 86794 SOS 41953 HAS SOPS 39640 HAS SOUS 19870 HAS SOUPS 18272 WITH SCORE 18313.953
AT ITER 9723 NEW BEST:: SOT 86793 SOS 41957 HAS SOPS 39644 HAS SOUS 19869 HAS SOUPS 18271 WITH SCORE 18312.957
AT ITER 9785 NEW BEST:: SOT 86790 SOS 41954 HAS SOPS 39641 HAS SOUS 19866 HAS SOUPS 18268 WITH SCORE 18309.954
AT ITER 9801 NEW BEST:: SOT 86790 SOS 41952 HAS SOPS 39639 HAS SOUS 19864 HAS SOUPS 18266 WITH SCORE 18307.952
AT ITER 9862 NEW BEST:: SOT 86790 SOS 41952 HAS SOPS 39639 HAS SOUS 19858 HAS SOUPS 18260 WITH SCORE 18301.952

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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