Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700395.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 Sudoku-PT-AN11, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700395
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.1M
-rw-r--r-- 1 mcc users 3.9K Jun 3 09:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jun 3 09:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 343K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.2M May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 637K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.2M May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Jun 3 09:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Jun 3 09:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 694K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-00
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-01
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-02
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-03
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-04
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-05
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-06
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-07
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-08
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-09
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-10
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-11
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-12
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-13
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-14
FORMULA_NAME Sudoku-PT-AN11-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336618032

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN11
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1694 places, 1331 transitions, 5324 arcs.
AT ITER 0 NEW BEST:: SOT 1795604 SOS 901129 HAS SOPS 901129 HAS SOUS 901129 HAS SOUPS 901129 WITH SCORE 902030.129
AT ITER 7 NEW BEST:: SOT 1794729 SOS 900439 HAS SOPS 900439 HAS SOUS 900269 HAS SOUPS 900269 WITH SCORE 901169.439
AT ITER 8 NEW BEST:: SOT 1793936 SOS 905006 HAS SOPS 905006 HAS SOUS 899571 HAS SOUPS 899571 WITH SCORE 900476.006
AT ITER 10 NEW BEST:: SOT 1793936 SOS 904496 HAS SOPS 904496 HAS SOUS 899571 HAS SOUPS 899571 WITH SCORE 900475.496
AT ITER 11 NEW BEST:: SOT 1792991 SOS 903737 HAS SOPS 903737 HAS SOUS 898752 HAS SOUPS 898752 WITH SCORE 899655.737
AT ITER 34 NEW BEST:: SOT 1792682 SOS 903694 HAS SOPS 903694 HAS SOUS 898589 HAS SOUPS 898589 WITH SCORE 899492.694
AT ITER 44 NEW BEST:: SOT 1792753 SOS 903727 HAS SOPS 903727 HAS SOUS 898532 HAS SOUPS 898532 WITH SCORE 899435.727
AT ITER 53 NEW BEST:: SOT 1792696 SOS 903670 HAS SOPS 903670 HAS SOUS 898475 HAS SOUPS 898475 WITH SCORE 899378.67
AT ITER 55 NEW BEST:: SOT 1792030 SOS 907525 HAS SOPS 907525 HAS SOUS 898058 HAS SOUPS 898058 WITH SCORE 898965.525
AT ITER 62 NEW BEST:: SOT 1791200 SOS 906695 HAS SOPS 906695 HAS SOUS 897228 HAS SOUPS 897228 WITH SCORE 898134.695
AT ITER 64 NEW BEST:: SOT 1791121 SOS 906333 HAS SOPS 906333 HAS SOUS 896963 HAS SOUPS 896963 WITH SCORE 897869.333
AT ITER 69 NEW BEST:: SOT 1791121 SOS 905824 HAS SOPS 905824 HAS SOUS 896963 HAS SOUPS 896963 WITH SCORE 897868.824
AT ITER 76 NEW BEST:: SOT 1791121 SOS 905309 HAS SOPS 905309 HAS SOUS 896963 HAS SOUPS 896963 WITH SCORE 897868.309
AT ITER 77 NEW BEST:: SOT 1791200 SOS 905349 HAS SOPS 905349 HAS SOUS 896943 HAS SOUPS 896943 WITH SCORE 897848.349
AT ITER 116 NEW BEST:: SOT 1789956 SOS 911438 HAS SOPS 911438 HAS SOUS 895837 HAS SOUPS 895837 WITH SCORE 896748.438
AT ITER 133 NEW BEST:: SOT 1789846 SOS 911826 HAS SOPS 911826 HAS SOUS 895727 HAS SOUPS 895727 WITH SCORE 896638.826
AT ITER 146 NEW BEST:: SOT 1789736 SOS 911744 HAS SOPS 911744 HAS SOUS 895617 HAS SOUPS 895617 WITH SCORE 896528.744
AT ITER 149 NEW BEST:: SOT 1788664 SOS 910839 HAS SOPS 910839 HAS SOUS 894642 HAS SOUPS 894642 WITH SCORE 895552.839
AT ITER 161 NEW BEST:: SOT 1787591 SOS 913224 HAS SOPS 913224 HAS SOUS 893702 HAS SOUPS 893702 WITH SCORE 894615.224
AT ITER 162 NEW BEST:: SOT 1787361 SOS 913026 HAS SOPS 913026 HAS SOUS 893472 HAS SOUPS 893472 WITH SCORE 894385.026
AT ITER 164 NEW BEST:: SOT 1787024 SOS 912912 HAS SOPS 912912 HAS SOUS 893135 HAS SOUPS 893135 WITH SCORE 894047.912
AT ITER 166 NEW BEST:: SOT 1786409 SOS 912435 HAS SOPS 912435 HAS SOUS 892608 HAS SOUPS 892608 WITH SCORE 893520.435
AT ITER 177 NEW BEST:: SOT 1785848 SOS 913671 HAS SOPS 913671 HAS SOUS 892169 HAS SOUPS 892169 WITH SCORE 893082.671
AT ITER 181 NEW BEST:: SOT 1784676 SOS 914786 HAS SOPS 914786 HAS SOUS 891302 HAS SOUPS 891302 WITH SCORE 892216.786
AT ITER 198 NEW BEST:: SOT 1784676 SOS 912006 HAS SOPS 912006 HAS SOUS 891302 HAS SOUPS 891302 WITH SCORE 892214.006
AT ITER 202 NEW BEST:: SOT 1783686 SOS 911193 HAS SOPS 911193 HAS SOUS 890439 HAS SOUPS 890439 WITH SCORE 891350.193
AT ITER 229 NEW BEST:: SOT 1783614 SOS 911121 HAS SOPS 911121 HAS SOUS 890367 HAS SOUPS 890367 WITH SCORE 891278.121
AT ITER 237 NEW BEST:: SOT 1783524 SOS 911139 HAS SOPS 911139 HAS SOUS 890277 HAS SOUPS 890277 WITH SCORE 891188.139
AT ITER 241 NEW BEST:: SOT 1783294 SOS 911054 HAS SOPS 911054 HAS SOUS 890052 HAS SOUPS 890052 WITH SCORE 890963.054
AT ITER 245 NEW BEST:: SOT 1783390 SOS 911102 HAS SOPS 911102 HAS SOUS 890020 HAS SOUPS 890020 WITH SCORE 890931.102
AT ITER 255 NEW BEST:: SOT 1783390 SOS 911057 HAS SOPS 911057 HAS SOUS 890020 HAS SOUPS 890020 WITH SCORE 890931.057
AT ITER 258 NEW BEST:: SOT 1783434 SOS 911040 HAS SOPS 911040 HAS SOUS 889903 HAS SOUPS 889903 WITH SCORE 890814.04
AT ITER 268 NEW BEST:: SOT 1783294 SOS 911084 HAS SOPS 911084 HAS SOUS 889845 HAS SOUPS 889845 WITH SCORE 890756.084
AT ITER 272 NEW BEST:: SOT 1783294 SOS 907067 HAS SOPS 907067 HAS SOUS 889845 HAS SOUPS 889845 WITH SCORE 890752.067
AT ITER 281 NEW BEST:: SOT 1782445 SOS 912996 HAS SOPS 912996 HAS SOUS 889209 HAS SOUPS 889209 WITH SCORE 890121.996
AT ITER 287 NEW BEST:: SOT 1782701 SOS 912949 HAS SOPS 912949 HAS SOUS 889194 HAS SOUPS 889194 WITH SCORE 890106.949
AT ITER 289 NEW BEST:: SOT 1781757 SOS 912188 HAS SOPS 912188 HAS SOUS 888433 HAS SOUPS 888433 WITH SCORE 889345.188
AT ITER 292 NEW BEST:: SOT 1781319 SOS 911856 HAS SOPS 911856 HAS SOUS 888101 HAS SOUPS 888101 WITH SCORE 889012.856
AT ITER 300 NEW BEST:: SOT 1780311 SOS 913313 HAS SOPS 913313 HAS SOUS 887320 HAS SOUPS 887320 WITH SCORE 888233.313
AT ITER 306 NEW BEST:: SOT 1780311 SOS 913149 HAS SOPS 913149 HAS SOUS 887320 HAS SOUPS 887320 WITH SCORE 888233.149
AT ITER 315 NEW BEST:: SOT 1779533 SOS 912497 HAS SOPS 912497 HAS SOUS 886698 HAS SOUPS 886698 WITH SCORE 887610.497
AT ITER 319 NEW BEST:: SOT 1779533 SOS 912331 HAS SOPS 912331 HAS SOUS 886698 HAS SOUPS 886698 WITH SCORE 887610.331
AT ITER 323 NEW BEST:: SOT 1779533 SOS 912290 HAS SOPS 912290 HAS SOUS 886698 HAS SOUPS 886698 WITH SCORE 887610.29
AT ITER 324 NEW BEST:: SOT 1778956 SOS 913799 HAS SOPS 913799 HAS SOUS 886252 HAS SOUPS 886252 WITH SCORE 887165.799
AT ITER 326 NEW BEST:: SOT 1779011 SOS 913614 HAS SOPS 913614 HAS SOUS 886007 HAS SOUPS 886007 WITH SCORE 886920.614
AT ITER 331 NEW BEST:: SOT 1779011 SOS 914202 HAS SOPS 914202 HAS SOUS 885879 HAS SOUPS 885879 WITH SCORE 886793.202
AT ITER 348 NEW BEST:: SOT 1778152 SOS 918566 HAS SOPS 918566 HAS SOUS 885118 HAS SOUPS 885118 WITH SCORE 886036.566
AT ITER 355 NEW BEST:: SOT 1777908 SOS 918463 HAS SOPS 918463 HAS SOUS 885015 HAS SOUPS 885015 WITH SCORE 885933.463
AT ITER 362 NEW BEST:: SOT 1776523 SOS 917427 HAS SOPS 917427 HAS SOUS 883979 HAS SOUPS 883979 WITH SCORE 884896.427
AT ITER 372 NEW BEST:: SOT 1775656 SOS 917853 HAS SOPS 917853 HAS SOUS 883339 HAS SOUPS 883339 WITH SCORE 884256.853
AT ITER 377 NEW BEST:: SOT 1775670 SOS 917756 HAS SOPS 917756 HAS SOUS 883338 HAS SOUPS 883338 WITH SCORE 884255.756
AT ITER 380 NEW BEST:: SOT 1775670 SOS 914148 HAS SOPS 914148 HAS SOUS 883338 HAS SOUPS 883338 WITH SCORE 884252.148
AT ITER 385 NEW BEST:: SOT 1775670 SOS 910888 HAS SOPS 910888 HAS SOUS 883338 HAS SOUPS 883338 WITH SCORE 884248.888
AT ITER 392 NEW BEST:: SOT 1775670 SOS 911021 HAS SOPS 911021 HAS SOUS 883255 HAS SOUPS 883255 WITH SCORE 884166.021
AT ITER 399 NEW BEST:: SOT 1775670 SOS 910570 HAS SOPS 910570 HAS SOUS 883255 HAS SOUPS 883255 WITH SCORE 884165.57
AT ITER 421 NEW BEST:: SOT 1775265 SOS 911081 HAS SOPS 911081 HAS SOUS 883224 HAS SOUPS 883224 WITH SCORE 884135.081
AT ITER 425 NEW BEST:: SOT 1775303 SOS 911052 HAS SOPS 911052 HAS SOUS 883095 HAS SOUPS 883095 WITH SCORE 884006.052
AT ITER 426 NEW BEST:: SOT 1775303 SOS 910936 HAS SOPS 910936 HAS SOUS 883095 HAS SOUPS 883095 WITH SCORE 884005.936
AT ITER 427 NEW BEST:: SOT 1774972 SOS 910748 HAS SOPS 910748 HAS SOUS 882907 HAS SOUPS 882907 WITH SCORE 883817.748
AT ITER 434 NEW BEST:: SOT 1774576 SOS 910631 HAS SOPS 910631 HAS SOUS 882790 HAS SOUPS 882790 WITH SCORE 883700.631
AT ITER 435 NEW BEST:: SOT 1774176 SOS 910305 HAS SOPS 910305 HAS SOUS 882514 HAS SOUPS 882514 WITH SCORE 883424.305
AT ITER 439 NEW BEST:: SOT 1773473 SOS 909602 HAS SOPS 909602 HAS SOUS 881811 HAS SOUPS 881811 WITH SCORE 882720.602
AT ITER 440 NEW BEST:: SOT 1773473 SOS 909523 HAS SOPS 909523 HAS SOUS 881811 HAS SOUPS 881811 WITH SCORE 882720.523
AT ITER 442 NEW BEST:: SOT 1773588 SOS 908943 HAS SOPS 908943 HAS SOUS 881121 HAS SOUPS 881121 WITH SCORE 882029.943
AT ITER 443 NEW BEST:: SOT 1773666 SOS 908979 HAS SOPS 908979 HAS SOUS 881117 HAS SOUPS 881117 WITH SCORE 882025.979
AT ITER 446 NEW BEST:: SOT 1773647 SOS 908938 HAS SOPS 908938 HAS SOUS 881106 HAS SOUPS 881106 WITH SCORE 882014.938
AT ITER 451 NEW BEST:: SOT 1773754 SOS 908925 HAS SOPS 908925 HAS SOUS 881013 HAS SOUPS 881013 WITH SCORE 881921.925
AT ITER 457 NEW BEST:: SOT 1773116 SOS 908844 HAS SOPS 908844 HAS SOUS 880552 HAS SOUPS 880552 WITH SCORE 881460.844
AT ITER 458 NEW BEST:: SOT 1773116 SOS 908877 HAS SOPS 908877 HAS SOUS 880475 HAS SOUPS 880475 WITH SCORE 881383.877
AT ITER 462 NEW BEST:: SOT 1773116 SOS 908689 HAS SOPS 908689 HAS SOUS 880475 HAS SOUPS 880475 WITH SCORE 881383.689
AT ITER 469 NEW BEST:: SOT 1772033 SOS 913039 HAS SOPS 913039 HAS SOUS 879604 HAS SOUPS 879604 WITH SCORE 880517.039
AT ITER 470 NEW BEST:: SOT 1772033 SOS 912849 HAS SOPS 912849 HAS SOUS 879503 HAS SOUPS 879503 WITH SCORE 880415.849
AT ITER 472 NEW BEST:: SOT 1771191 SOS 912194 HAS SOPS 912194 HAS SOUS 878758 HAS SOUPS 878758 WITH SCORE 879670.194
AT ITER 477 NEW BEST:: SOT 1771191 SOS 912147 HAS SOPS 912147 HAS SOUS 878758 HAS SOUPS 878758 WITH SCORE 879670.147
AT ITER 479 NEW BEST:: SOT 1771191 SOS 911980 HAS SOPS 911980 HAS SOUS 878758 HAS SOUPS 878758 WITH SCORE 879669.98
AT ITER 493 NEW BEST:: SOT 1771191 SOS 911407 HAS SOPS 911407 HAS SOUS 878758 HAS SOUPS 878758 WITH SCORE 879669.407
AT ITER 498 NEW BEST:: SOT 1771101 SOS 911531 HAS SOPS 911531 HAS SOUS 878668 HAS SOUPS 878668 WITH SCORE 879579.531
AT ITER 499 NEW BEST:: SOT 1770701 SOS 911227 HAS SOPS 911227 HAS SOUS 878300 HAS SOUPS 878300 WITH SCORE 879211.227
AT ITER 505 NEW BEST:: SOT 1769805 SOS 914121 HAS SOPS 914121 HAS SOUS 877665 HAS SOUPS 877665 WITH SCORE 878579.121
AT ITER 510 NEW BEST:: SOT 1769715 SOS 917670 HAS SOPS 917670 HAS SOUS 877575 HAS SOUPS 877575 WITH SCORE 878492.67
AT ITER 512 NEW BEST:: SOT 1769741 SOS 917720 HAS SOPS 917720 HAS SOUS 877555 HAS SOUPS 877555 WITH SCORE 878472.72
AT ITER 513 NEW BEST:: SOT 1769741 SOS 917198 HAS SOPS 917198 HAS SOUS 877555 HAS SOUPS 877555 WITH SCORE 878472.198
AT ITER 516 NEW BEST:: SOT 1768081 SOS 915898 HAS SOPS 915898 HAS SOUS 876091 HAS SOUPS 876091 WITH SCORE 877006.898
AT ITER 522 NEW BEST:: SOT 1766925 SOS 914860 HAS SOPS 914860 HAS SOUS 874973 HAS SOUPS 874973 WITH SCORE 875887.86
AT ITER 526 NEW BEST:: SOT 1765571 SOS 913938 HAS SOPS 913938 HAS SOUS 873766 HAS SOUPS 873766 WITH SCORE 874679.938
AT ITER 530 NEW BEST:: SOT 1764656 SOS 913215 HAS SOPS 913215 HAS SOUS 872923 HAS SOUPS 872923 WITH SCORE 873836.215
AT ITER 536 NEW BEST:: SOT 1763491 SOS 912212 HAS SOPS 912212 HAS SOUS 871850 HAS SOUPS 871850 WITH SCORE 872762.212
AT ITER 538 NEW BEST:: SOT 1763290 SOS 912168 HAS SOPS 912168 HAS SOUS 871806 HAS SOUPS 871806 WITH SCORE 872718.168
AT ITER 539 NEW BEST:: SOT 1763251 SOS 912060 HAS SOPS 912060 HAS SOUS 871673 HAS SOUPS 871673 WITH SCORE 872585.06
AT ITER 547 NEW BEST:: SOT 1762339 SOS 913621 HAS SOPS 913621 HAS SOUS 871282 HAS SOUPS 871282 WITH SCORE 872195.621
AT ITER 550 NEW BEST:: SOT 1762014 SOS 913829 HAS SOPS 913829 HAS SOUS 871143 HAS SOUPS 871143 WITH SCORE 872056.829
AT ITER 559 NEW BEST:: SOT 1761884 SOS 914305 HAS SOPS 914305 HAS SOUS 871133 HAS SOUPS 871133 WITH SCORE 872047.305
AT ITER 562 NEW BEST:: SOT 1761734 SOS 915340 HAS SOPS 915340 HAS SOUS 871033 HAS SOUPS 871033 WITH SCORE 871948.34
AT ITER 566 NEW BEST:: SOT 1761601 SOS 914832 HAS SOPS 914832 HAS SOUS 870976 HAS SOUPS 870976 WITH SCORE 871890.832
AT ITER 573 NEW BEST:: SOT 1761261 SOS 919443 HAS SOPS 919443 HAS SOUS 870777 HAS SOUPS 870777 WITH SCORE 871696.443
AT ITER 574 NEW BEST:: SOT 1759513 SOS 925326 HAS SOPS 925326 HAS SOUS 869490 HAS SOUPS 869490 WITH SCORE 870415.326
AT ITER 580 NEW BEST:: SOT 1759513 SOS 925172 HAS SOPS 925172 HAS SOUS 869490 HAS SOUPS 869490 WITH SCORE 870415.172
AT ITER 583 NEW BEST:: SOT 1759003 SOS 924972 HAS SOPS 924972 HAS SOUS 869349 HAS SOUPS 869349 WITH SCORE 870273.972
AT ITER 588 NEW BEST:: SOT 1758859 SOS 924828 HAS SOPS 924828 HAS SOUS 869205 HAS SOUPS 869205 WITH SCORE 870129.828
AT ITER 589 NEW BEST:: SOT 1758679 SOS 926659 HAS SOPS 926659 HAS SOUS 869093 HAS SOUPS 869093 WITH SCORE 870019.659
AT ITER 592 NEW BEST:: SOT 1758679 SOS 924972 HAS SOPS 924972 HAS SOUS 869093 HAS SOUPS 869093 WITH SCORE 870017.972
AT ITER 597 NEW BEST:: SOT 1758546 SOS 929110 HAS SOPS 929110 HAS SOUS 868960 HAS SOUPS 868960 WITH SCORE 869889.11
AT ITER 598 NEW BEST:: SOT 1758296 SOS 929034 HAS SOPS 929034 HAS SOUS 868774 HAS SOUPS 868774 WITH SCORE 869703.034
AT ITER 605 NEW BEST:: SOT 1756984 SOS 931041 HAS SOPS 931041 HAS SOUS 868072 HAS SOUPS 868072 WITH SCORE 869003.041
AT ITER 612 NEW BEST:: SOT 1756984 SOS 923984 HAS SOPS 923984 HAS SOUS 867789 HAS SOUPS 867789 WITH SCORE 868712.984
AT ITER 619 NEW BEST:: SOT 1756704 SOS 923998 HAS SOPS 923998 HAS SOUS 867684 HAS SOUPS 867684 WITH SCORE 868607.998
AT ITER 623 NEW BEST:: SOT 1755812 SOS 923106 HAS SOPS 923106 HAS SOUS 866792 HAS SOUPS 866792 WITH SCORE 867715.106
AT ITER 627 NEW BEST:: SOT 1755621 SOS 923057 HAS SOPS 923057 HAS SOUS 866601 HAS SOUPS 866601 WITH SCORE 867524.057
AT ITER 630 NEW BEST:: SOT 1755621 SOS 922707 HAS SOPS 922707 HAS SOUS 866448 HAS SOUPS 866448 WITH SCORE 867370.707
AT ITER 634 NEW BEST:: SOT 1755618 SOS 922704 HAS SOPS 922704 HAS SOUS 866415 HAS SOUPS 866415 WITH SCORE 867337.704
AT ITER 637 NEW BEST:: SOT 1755328 SOS 922479 HAS SOPS 922479 HAS SOUS 866190 HAS SOUPS 866190 WITH SCORE 867112.479
AT ITER 638 NEW BEST:: SOT 1755328 SOS 922348 HAS SOPS 922348 HAS SOUS 866190 HAS SOUPS 866190 WITH SCORE 867112.348
AT ITER 639 NEW BEST:: SOT 1754893 SOS 923838 HAS SOPS 923838 HAS SOUS 866159 HAS SOUPS 866159 WITH SCORE 867082.838
AT ITER 649 NEW BEST:: SOT 1754893 SOS 923575 HAS SOPS 923575 HAS SOUS 866159 HAS SOUPS 866159 WITH SCORE 867082.575
AT ITER 650 NEW BEST:: SOT 1754893 SOS 923481 HAS SOPS 923481 HAS SOUS 866159 HAS SOUPS 866159 WITH SCORE 867082.481
AT ITER 662 NEW BEST:: SOT 1754893 SOS 923118 HAS SOPS 923118 HAS SOUS 866159 HAS SOUPS 866159 WITH SCORE 867082.118
AT ITER 664 NEW BEST:: SOT 1753580 SOS 925026 HAS SOPS 925026 HAS SOUS 865695 HAS SOUPS 865695 WITH SCORE 866620.026
AT ITER 668 NEW BEST:: SOT 1753260 SOS 926724 HAS SOPS 926724 HAS SOUS 865534 HAS SOUPS 865534 WITH SCORE 866460.724
AT ITER 671 NEW BEST:: SOT 1753044 SOS 928348 HAS SOPS 928348 HAS SOUS 865318 HAS SOUPS 865318 WITH SCORE 866246.348
AT ITER 672 NEW BEST:: SOT 1753044 SOS 928287 HAS SOPS 928287 HAS SOUS 865318 HAS SOUPS 865318 WITH SCORE 866246.287
AT ITER 673 NEW BEST:: SOT 1753044 SOS 928032 HAS SOPS 928032 HAS SOUS 865259 HAS SOUPS 865259 WITH SCORE 866187.032
AT ITER 680 NEW BEST:: SOT 1753044 SOS 927792 HAS SOPS 927792 HAS SOUS 865097 HAS SOUPS 865097 WITH SCORE 866024.792
AT ITER 681 NEW BEST:: SOT 1752076 SOS 932199 HAS SOPS 932199 HAS SOUS 864699 HAS SOUPS 864699 WITH SCORE 865631.199
AT ITER 682 NEW BEST:: SOT 1752076 SOS 931391 HAS SOPS 931391 HAS SOUS 864547 HAS SOUPS 864547 WITH SCORE 865478.391
AT ITER 687 NEW BEST:: SOT 1750869 SOS 930646 HAS SOPS 930646 HAS SOUS 863496 HAS SOUPS 863496 WITH SCORE 864426.646
AT ITER 691 NEW BEST:: SOT 1749506 SOS 929924 HAS SOPS 929924 HAS SOUS 862677 HAS SOUPS 862677 WITH SCORE 863606.924
AT ITER 692 NEW BEST:: SOT 1749209 SOS 929969 HAS SOPS 929969 HAS SOUS 862548 HAS SOUPS 862548 WITH SCORE 863477.969
AT ITER 698 NEW BEST:: SOT 1749209 SOS 929743 HAS SOPS 929743 HAS SOUS 862548 HAS SOUPS 862548 WITH SCORE 863477.743
AT ITER 700 NEW BEST:: SOT 1749277 SOS 929817 HAS SOPS 929817 HAS SOUS 862377 HAS SOUPS 862377 WITH SCORE 863306.817
AT ITER 703 NEW BEST:: SOT 1748777 SOS 929564 HAS SOPS 929564 HAS SOUS 862177 HAS SOUPS 862177 WITH SCORE 863106.564
AT ITER 709 NEW BEST:: SOT 1748777 SOS 929275 HAS SOPS 929275 HAS SOUS 862177 HAS SOUPS 862177 WITH SCORE 863106.275
AT ITER 710 NEW BEST:: SOT 1748577 SOS 929167 HAS SOPS 929167 HAS SOUS 862133 HAS SOUPS 862133 WITH SCORE 863062.167
AT ITER 713 NEW BEST:: SOT 1747388 SOS 928579 HAS SOPS 928579 HAS SOUS 861307 HAS SOUPS 861307 WITH SCORE 862235.579
AT ITER 722 NEW BEST:: SOT 1746931 SOS 928291 HAS SOPS 928291 HAS SOUS 861019 HAS SOUPS 861019 WITH SCORE 861947.291
AT ITER 724 NEW BEST:: SOT 1745735 SOS 928986 HAS SOPS 928986 HAS SOUS 860084 HAS SOUPS 860084 WITH SCORE 861012.986
AT ITER 727 NEW BEST:: SOT 1745735 SOS 928733 HAS SOPS 928733 HAS SOUS 860084 HAS SOUPS 860084 WITH SCORE 861012.733
AT ITER 729 NEW BEST:: SOT 1745434 SOS 928432 HAS SOPS 928432 HAS SOUS 859783 HAS SOUPS 859783 WITH SCORE 860711.432
AT ITER 731 NEW BEST:: SOT 1743762 SOS 926944 HAS SOPS 926944 HAS SOUS 858245 HAS SOUPS 858245 WITH SCORE 859171.944
AT ITER 739 NEW BEST:: SOT 1743387 SOS 929347 HAS SOPS 929347 HAS SOUS 858234 HAS SOUPS 858234 WITH SCORE 859163.347
AT ITER 745 NEW BEST:: SOT 1742271 SOS 928542 HAS SOPS 928542 HAS SOUS 857220 HAS SOUPS 857220 WITH SCORE 858148.542
AT ITER 748 NEW BEST:: SOT 1742271 SOS 927937 HAS SOPS 927937 HAS SOUS 857220 HAS SOUPS 857220 WITH SCORE 858147.937
AT ITER 755 NEW BEST:: SOT 1742124 SOS 927448 HAS SOPS 927448 HAS SOUS 856854 HAS SOUPS 856854 WITH SCORE 857781.448
AT ITER 763 NEW BEST:: SOT 1742224 SOS 927532 HAS SOPS 927532 HAS SOUS 856798 HAS SOUPS 856798 WITH SCORE 857725.532
AT ITER 764 NEW BEST:: SOT 1741454 SOS 926895 HAS SOPS 926895 HAS SOUS 856091 HAS SOUPS 856091 WITH SCORE 857017.895
AT ITER 766 NEW BEST:: SOT 1741454 SOS 926700 HAS SOPS 926700 HAS SOUS 856091 HAS SOUPS 856091 WITH SCORE 857017.7
AT ITER 768 NEW BEST:: SOT 1741454 SOS 926673 HAS SOPS 926673 HAS SOUS 856064 HAS SOUPS 856064 WITH SCORE 856990.673
AT ITER 769 NEW BEST:: SOT 1741650 SOS 926897 HAS SOPS 926897 HAS SOUS 856029 HAS SOUPS 856029 WITH SCORE 856955.897
AT ITER 773 NEW BEST:: SOT 1741735 SOS 926782 HAS SOPS 926782 HAS SOUS 855814 HAS SOUPS 855814 WITH SCORE 856740.782
AT ITER 774 NEW BEST:: SOT 1741735 SOS 926735 HAS SOPS 926735 HAS SOUS 855814 HAS SOUPS 855814 WITH SCORE 856740.735
AT ITER 775 NEW BEST:: SOT 1740991 SOS 930925 HAS SOPS 930925 HAS SOUS 855617 HAS SOUPS 855617 WITH SCORE 856547.925
AT ITER 785 NEW BEST:: SOT 1740991 SOS 931063 HAS SOPS 931063 HAS SOUS 855505 HAS SOUPS 855505 WITH SCORE 856436.063
AT ITER 786 NEW BEST:: SOT 1740499 SOS 930819 HAS SOPS 930819 HAS SOUS 855013 HAS SOUPS 855013 WITH SCORE 855943.819
AT ITER 797 NEW BEST:: SOT 1740613 SOS 930749 HAS SOPS 930749 HAS SOUS 854853 HAS SOUPS 854853 WITH SCORE 855783.749
AT ITER 807 NEW BEST:: SOT 1739639 SOS 929893 HAS SOPS 929893 HAS SOUS 854017 HAS SOUPS 854017 WITH SCORE 854946.893
AT ITER 809 NEW BEST:: SOT 1739309 SOS 930365 HAS SOPS 930365 HAS SOUS 853905 HAS SOUPS 853905 WITH SCORE 854835.365
AT ITER 810 NEW BEST:: SOT 1738416 SOS 933719 HAS SOPS 933719 HAS SOUS 853485 HAS SOUPS 853485 WITH SCORE 854418.719
AT ITER 812 NEW BEST:: SOT 1738234 SOS 933542 HAS SOPS 933542 HAS SOUS 853335 HAS SOUPS 853335 WITH SCORE 854268.542
AT ITER 814 NEW BEST:: SOT 1738220 SOS 934563 HAS SOPS 934563 HAS SOUS 853321 HAS SOUPS 853321 WITH SCORE 854255.563
AT ITER 815 NEW BEST:: SOT 1738220 SOS 930489 HAS SOPS 930489 HAS SOUS 853321 HAS SOUPS 853321 WITH SCORE 854251.489
AT ITER 816 NEW BEST:: SOT 1737928 SOS 929905 HAS SOPS 929905 HAS SOUS 853088 HAS SOUPS 853088 WITH SCORE 854017.905
AT ITER 817 NEW BEST:: SOT 1737416 SOS 929496 HAS SOPS 929496 HAS SOUS 852642 HAS SOUPS 852642 WITH SCORE 853571.496
AT ITER 824 NEW BEST:: SOT 1737416 SOS 929332 HAS SOPS 929332 HAS SOUS 852642 HAS SOUPS 852642 WITH SCORE 853571.332
AT ITER 826 NEW BEST:: SOT 1737416 SOS 929174 HAS SOPS 929174 HAS SOUS 852642 HAS SOUPS 852642 WITH SCORE 853571.174
AT ITER 831 NEW BEST:: SOT 1737416 SOS 928968 HAS SOPS 928968 HAS SOUS 852642 HAS SOUPS 852642 WITH SCORE 853570.968
AT ITER 842 NEW BEST:: SOT 1737416 SOS 928793 HAS SOPS 928793 HAS SOUS 852642 HAS SOUPS 852642 WITH SCORE 853570.793
AT ITER 845 NEW BEST:: SOT 1737416 SOS 928729 HAS SOPS 928729 HAS SOUS 852582 HAS SOUPS 852582 WITH SCORE 853510.729
AT ITER 850 NEW BEST:: SOT 1736470 SOS 928312 HAS SOPS 928312 HAS SOUS 852039 HAS SOUPS 852039 WITH SCORE 852967.312
AT ITER 861 NEW BEST:: SOT 1736450 SOS 928292 HAS SOPS 928292 HAS SOUS 852019 HAS SOUPS 852019 WITH SCORE 852947.292
AT ITER 863 NEW BEST:: SOT 1736594 SOS 927793 HAS SOPS 927793 HAS SOUS 851985 HAS SOUPS 851985 WITH SCORE 852912.793
AT ITER 870 NEW BEST:: SOT 1736594 SOS 927766 HAS SOPS 927766 HAS SOUS 851985 HAS SOUPS 851985 WITH SCORE 852912.766
AT ITER 871 NEW BEST:: SOT 1736594 SOS 927586 HAS SOPS 927586 HAS SOUS 851985 HAS SOUPS 851985 WITH SCORE 852912.586
AT ITER 889 NEW BEST:: SOT 1736704 SOS 928255 HAS SOPS 928255 HAS SOUS 851911 HAS SOUPS 851911 WITH SCORE 852839.255
AT ITER 893 NEW BEST:: SOT 1736678 SOS 927632 HAS SOPS 927632 HAS SOUS 851892 HAS SOUPS 851892 WITH SCORE 852819.632
AT ITER 897 NEW BEST:: SOT 1736678 SOS 927435 HAS SOPS 927435 HAS SOUS 851892 HAS SOUPS 851892 WITH SCORE 852819.435
AT ITER 898 NEW BEST:: SOT 1736548 SOS 927526 HAS SOPS 927526 HAS SOUS 851814 HAS SOUPS 851814 WITH SCORE 852741.526
AT ITER 908 NEW BEST:: SOT 1736548 SOS 926886 HAS SOPS 926886 HAS SOUS 851174 HAS SOUPS 851174 WITH SCORE 852100.886
AT ITER 915 NEW BEST:: SOT 1736548 SOS 926775 HAS SOPS 926775 HAS SOUS 851063 HAS SOUPS 851063 WITH SCORE 851989.775
AT ITER 926 NEW BEST:: SOT 1736478 SOS 928951 HAS SOPS 928951 HAS SOUS 851049 HAS SOUPS 851049 WITH SCORE 851977.951
AT ITER 929 NEW BEST:: SOT 1736478 SOS 928549 HAS SOPS 928549 HAS SOUS 850751 HAS SOUPS 850751 WITH SCORE 851679.549
AT ITER 931 NEW BEST:: SOT 1736428 SOS 928499 HAS SOPS 928499 HAS SOUS 850731 HAS SOUPS 850731 WITH SCORE 851659.499
AT ITER 933 NEW BEST:: SOT 1736428 SOS 928117 HAS SOPS 928117 HAS SOUS 850731 HAS SOUPS 850731 WITH SCORE 851659.117
AT ITER 934 NEW BEST:: SOT 1736428 SOS 928092 HAS SOPS 928092 HAS SOUS 850731 HAS SOUPS 850731 WITH SCORE 851659.092
AT ITER 935 NEW BEST:: SOT 1735778 SOS 927830 HAS SOPS 927830 HAS SOUS 850519 HAS SOUPS 850519 WITH SCORE 851446.83
AT ITER 940 NEW BEST:: SOT 1735572 SOS 927544 HAS SOPS 927544 HAS SOUS 850226 HAS SOUPS 850226 WITH SCORE 851153.544
AT ITER 947 NEW BEST:: SOT 1735572 SOS 927267 HAS SOPS 927267 HAS SOUS 850226 HAS SOUPS 850226 WITH SCORE 851153.267
AT ITER 957 NEW BEST:: SOT 1735417 SOS 927087 HAS SOPS 927087 HAS SOUS 850001 HAS SOUPS 850001 WITH SCORE 850928.087
AT ITER 959 NEW BEST:: SOT 1734999 SOS 926867 HAS SOPS 926867 HAS SOUS 849781 HAS SOUPS 849781 WITH SCORE 850707.867
AT ITER 960 NEW BEST:: SOT 1734123 SOS 927296 HAS SOPS 927296 HAS SOUS 849263 HAS SOUPS 849263 WITH SCORE 850190.296
AT ITER 962 NEW BEST:: SOT 1734123 SOS 927188 HAS SOPS 927188 HAS SOUS 849263 HAS SOUPS 849263 WITH SCORE 850190.188
AT ITER 966 NEW BEST:: SOT 1732991 SOS 927085 HAS SOPS 927085 HAS SOUS 848419 HAS SOUPS 848419 WITH SCORE 849346.085
AT ITER 968 NEW BEST:: SOT 1732991 SOS 926820 HAS SOPS 926820 HAS SOUS 848419 HAS SOUPS 848419 WITH SCORE 849345.82
AT ITER 974 NEW BEST:: SOT 1732602 SOS 926431 HAS SOPS 926431 HAS SOUS 848270 HAS SOUPS 848270 WITH SCORE 849196.431
AT ITER 977 NEW BEST:: SOT 1732527 SOS 925834 HAS SOPS 925834 HAS SOUS 848223 HAS SOUPS 848223 WITH SCORE 849148.834
AT ITER 990 NEW BEST:: SOT 1732527 SOS 925807 HAS SOPS 925807 HAS SOUS 848223 HAS SOUPS 848223 WITH SCORE 849148.807
AT ITER 998 NEW BEST:: SOT 1731394 SOS 926388 HAS SOPS 926388 HAS SOUS 847291 HAS SOUPS 847291 WITH SCORE 848217.388
AT ITER 1001 NEW BEST:: SOT 1730870 SOS 925864 HAS SOPS 925864 HAS SOUS 846828 HAS SOUPS 846828 WITH SCORE 847753.864
AT ITER 1011 NEW BEST:: SOT 1730222 SOS 926328 HAS SOPS 926328 HAS SOUS 846394 HAS SOUPS 846394 WITH SCORE 847320.328
AT ITER 1015 NEW BEST:: SOT 1730330 SOS 926396 HAS SOPS 926396 HAS SOUS 846362 HAS SOUPS 846362 WITH SCORE 847288.396
AT ITER 1017 NEW BEST:: SOT 1729450 SOS 928084 HAS SOPS 928084 HAS SOUS 845937 HAS SOUPS 845937 WITH SCORE 846865.084
AT ITER 1019 NEW BEST:: SOT 1729279 SOS 928298 HAS SOPS 928298 HAS SOUS 845766 HAS SOUPS 845766 WITH SCORE 846694.298
AT ITER 1023 NEW BEST:: SOT 1729125 SOS 929470 HAS SOPS 929470 HAS SOUS 845612 HAS SOUPS 845612 WITH SCORE 846541.47
AT ITER 1026 NEW BEST:: SOT 1729125 SOS 929014 HAS SOPS 929014 HAS SOUS 845612 HAS SOUPS 845612 WITH SCORE 846541.014
AT ITER 1027 NEW BEST:: SOT 1729070 SOS 929014 HAS SOPS 929014 HAS SOUS 845585 HAS SOUPS 845585 WITH SCORE 846514.014
AT ITER 1034 NEW BEST:: SOT 1729279 SOS 929234 HAS SOPS 929234 HAS SOUS 845435 HAS SOUPS 845435 WITH SCORE 846364.234
AT ITER 1038 NEW BEST:: SOT 1729333 SOS 929468 HAS SOPS 929468 HAS SOUS 845427 HAS SOUPS 845427 WITH SCORE 846356.468
AT ITER 1042 NEW BEST:: SOT 1729333 SOS 929329 HAS SOPS 929329 HAS SOUS 845427 HAS SOUPS 845427 WITH SCORE 846356.329
AT ITER 1049 NEW BEST:: SOT 1729333 SOS 929092 HAS SOPS 929092 HAS SOUS 845427 HAS SOUPS 845427 WITH SCORE 846356.092
AT ITER 1051 NEW BEST:: SOT 1729333 SOS 929071 HAS SOPS 929071 HAS SOUS 845427 HAS SOUPS 845427 WITH SCORE 846356.071
AT ITER 1055 NEW BEST:: SOT 1729333 SOS 926099 HAS SOPS 926099 HAS SOUS 845079 HAS SOUPS 845079 WITH SCORE 846005.099
AT ITER 1062 NEW BEST:: SOT 1729423 SOS 925393 HAS SOPS 925393 HAS SOUS 844373 HAS SOUPS 844373 WITH SCORE 845298.393
AT ITER 1064 NEW BEST:: SOT 1729423 SOS 925101 HAS SOPS 925101 HAS SOUS 844373 HAS SOUPS 844373 WITH SCORE 845298.101
AT ITER 1066 NEW BEST:: SOT 1729423 SOS 924993 HAS SOPS 924993 HAS SOUS 844352 HAS SOUPS 844352 WITH SCORE 845276.993
AT ITER 1068 NEW BEST:: SOT 1729422 SOS 924994 HAS SOPS 924994 HAS SOUS 844351 HAS SOUPS 844351 WITH SCORE 845275.994
AT ITER 1069 NEW BEST:: SOT 1729184 SOS 924756 HAS SOPS 924756 HAS SOUS 844113 HAS SOUPS 844113 WITH SCORE 845037.756
AT ITER 1070 NEW BEST:: SOT 1729184 SOS 924706 HAS SOPS 924706 HAS SOUS 844113 HAS SOUPS 844113 WITH SCORE 845037.706
AT ITER 1071 NEW BEST:: SOT 1727752 SOS 927349 HAS SOPS 927349 HAS SOUS 843265 HAS SOUPS 843265 WITH SCORE 844192.349
AT ITER 1075 NEW BEST:: SOT 1727169 SOS 926766 HAS SOPS 926766 HAS SOUS 842592 HAS SOUPS 842592 WITH SCORE 843518.766
AT ITER 1080 NEW BEST:: SOT 1727169 SOS 926653 HAS SOPS 926653 HAS SOUS 842592 HAS SOUPS 842592 WITH SCORE 843518.653
AT ITER 1083 NEW BEST:: SOT 1726301 SOS 927800 HAS SOPS 927800 HAS SOUS 842126 HAS SOUPS 842126 WITH SCORE 843053.8
AT ITER 1094 NEW BEST:: SOT 1726143 SOS 927721 HAS SOPS 927721 HAS SOUS 841968 HAS SOUPS 841968 WITH SCORE 842895.721
AT ITER 1096 NEW BEST:: SOT 1726143 SOS 927632 HAS SOPS 927632 HAS SOUS 841968 HAS SOUPS 841968 WITH SCORE 842895.632
AT ITER 1104 NEW BEST:: SOT 1726143 SOS 927548 HAS SOPS 927548 HAS SOUS 841843 HAS SOUPS 841843 WITH SCORE 842770.548
AT ITER 1105 NEW BEST:: SOT 1725401 SOS 927047 HAS SOPS 927047 HAS SOUS 841498 HAS SOUPS 841498 WITH SCORE 842425.047
AT ITER 1114 NEW BEST:: SOT 1723965 SOS 925747 HAS SOPS 925747 HAS SOUS 840140 HAS SOUPS 840140 WITH SCORE 841065.747
AT ITER 1117 NEW BEST:: SOT 1723158 SOS 923261 HAS SOPS 923261 HAS SOUS 838958 HAS SOUPS 838958 WITH SCORE 839881.261
AT ITER 1118 NEW BEST:: SOT 1721365 SOS 922889 HAS SOPS 922889 HAS SOUS 837490 HAS SOUPS 837490 WITH SCORE 838412.889
AT ITER 1119 NEW BEST:: SOT 1721365 SOS 922818 HAS SOPS 922818 HAS SOUS 837428 HAS SOUPS 837428 WITH SCORE 838350.818
AT ITER 1122 NEW BEST:: SOT 1720565 SOS 924254 HAS SOPS 924254 HAS SOUS 837386 HAS SOUPS 837386 WITH SCORE 838310.254
AT ITER 1123 NEW BEST:: SOT 1720565 SOS 924223 HAS SOPS 924223 HAS SOUS 837386 HAS SOUPS 837386 WITH SCORE 838310.223
AT ITER 1125 NEW BEST:: SOT 1720565 SOS 924724 HAS SOPS 924724 HAS SOUS 837342 HAS SOUPS 837342 WITH SCORE 838266.724
AT ITER 1136 NEW BEST:: SOT 1720565 SOS 924707 HAS SOPS 924707 HAS SOUS 837342 HAS SOUPS 837342 WITH SCORE 838266.707
AT ITER 1138 NEW BEST:: SOT 1720565 SOS 924695 HAS SOPS 924695 HAS SOUS 837342 HAS SOUPS 837342 WITH SCORE 838266.695
AT ITER 1140 NEW BEST:: SOT 1719710 SOS 924003 HAS SOPS 924003 HAS SOUS 836623 HAS SOUPS 836623 WITH SCORE 837547.003
AT ITER 1142 NEW BEST:: SOT 1719538 SOS 923857 HAS SOPS 923857 HAS SOUS 836158 HAS SOUPS 836158 WITH SCORE 837081.857
AT ITER 1147 NEW BEST:: SOT 1719336 SOS 923705 HAS SOPS 923705 HAS SOUS 836158 HAS SOUPS 836158 WITH SCORE 837081.705
AT ITER 1150 NEW BEST:: SOT 1719523 SOS 923667 HAS SOPS 923667 HAS SOUS 836060 HAS SOUPS 836060 WITH SCORE 836983.667
AT ITER 1151 NEW BEST:: SOT 1719542 SOS 923791 HAS SOPS 923791 HAS SOUS 835925 HAS SOUPS 835925 WITH SCORE 836848.791
AT ITER 1156 NEW BEST:: SOT 1719482 SOS 923731 HAS SOPS 923731 HAS SOUS 835825 HAS SOUPS 835825 WITH SCORE 836748.731
AT ITER 1162 NEW BEST:: SOT 1718746 SOS 923888 HAS SOPS 923888 HAS SOUS 835417 HAS SOUPS 835417 WITH SCORE 836340.888
AT ITER 1164 NEW BEST:: SOT 1718746 SOS 923536 HAS SOPS 923536 HAS SOUS 835417 HAS SOUPS 835417 WITH SCORE 836340.536
AT ITER 1169 NEW BEST:: SOT 1718746 SOS 923488 HAS SOPS 923488 HAS SOUS 835417 HAS SOUPS 835417 WITH SCORE 836340.488
AT ITER 1171 NEW BEST:: SOT 1718290 SOS 925341 HAS SOPS 925341 HAS SOUS 835296 HAS SOUPS 835296 WITH SCORE 836221.341
AT ITER 1179 NEW BEST:: SOT 1718532 SOS 925327 HAS SOPS 925327 HAS SOUS 835231 HAS SOUPS 835231 WITH SCORE 836156.327
AT ITER 1182 NEW BEST:: SOT 1717996 SOS 925601 HAS SOPS 925601 HAS SOUS 834695 HAS SOUPS 834695 WITH SCORE 835620.601
AT ITER 1186 NEW BEST:: SOT 1717996 SOS 925591 HAS SOPS 925591 HAS SOUS 834695 HAS SOUPS 834695 WITH SCORE 835620.591
AT ITER 1196 NEW BEST:: SOT 1717228 SOS 925305 HAS SOPS 925305 HAS SOUS 834608 HAS SOUPS 834608 WITH SCORE 835533.305
AT ITER 1210 NEW BEST:: SOT 1716990 SOS 925458 HAS SOPS 925458 HAS SOUS 834542 HAS SOUPS 834542 WITH SCORE 835467.458
AT ITER 1218 NEW BEST:: SOT 1716153 SOS 926919 HAS SOPS 926919 HAS SOUS 834455 HAS SOUPS 834455 WITH SCORE 835381.919
AT ITER 1228 NEW BEST:: SOT 1716071 SOS 926374 HAS SOPS 926374 HAS SOUS 834271 HAS SOUPS 834271 WITH SCORE 835197.374
AT ITER 1229 NEW BEST:: SOT 1716071 SOS 924592 HAS SOPS 924592 HAS SOUS 834271 HAS SOUPS 834271 WITH SCORE 835195.592
AT ITER 1232 NEW BEST:: SOT 1716071 SOS 924420 HAS SOPS 924420 HAS SOUS 834271 HAS SOUPS 834271 WITH SCORE 835195.42
AT ITER 1238 NEW BEST:: SOT 1714685 SOS 923540 HAS SOPS 923540 HAS SOUS 833286 HAS SOUPS 833286 WITH SCORE 834209.54
AT ITER 1246 NEW BEST:: SOT 1714685 SOS 923475 HAS SOPS 923475 HAS SOUS 833286 HAS SOUPS 833286 WITH SCORE 834209.475
AT ITER 1249 NEW BEST:: SOT 1714685 SOS 923434 HAS SOPS 923434 HAS SOUS 833286 HAS SOUPS 833286 WITH SCORE 834209.434
AT ITER 1253 NEW BEST:: SOT 1714685 SOS 920207 HAS SOPS 920207 HAS SOUS 832988 HAS SOUPS 832988 WITH SCORE 833908.207
AT ITER 1256 NEW BEST:: SOT 1714843 SOS 920232 HAS SOPS 920232 HAS SOUS 832892 HAS SOUPS 832892 WITH SCORE 833812.232
AT ITER 1261 NEW BEST:: SOT 1714843 SOS 919754 HAS SOPS 919754 HAS SOUS 832892 HAS SOUPS 832892 WITH SCORE 833811.754
AT ITER 1263 NEW BEST:: SOT 1714843 SOS 919699 HAS SOPS 919699 HAS SOUS 832892 HAS SOUPS 832892 WITH SCORE 833811.699
AT ITER 1267 NEW BEST:: SOT 1713671 SOS 920293 HAS SOPS 920293 HAS SOUS 832756 HAS SOUPS 832756 WITH SCORE 833676.293
AT ITER 1268 NEW BEST:: SOT 1712866 SOS 921079 HAS SOPS 921079 HAS SOUS 832296 HAS SOUPS 832296 WITH SCORE 833217.079
AT ITER 1272 NEW BEST:: SOT 1712804 SOS 920968 HAS SOPS 920968 HAS SOUS 832052 HAS SOUPS 832052 WITH SCORE 832972.968
AT ITER 1281 NEW BEST:: SOT 1712694 SOS 924231 HAS SOPS 924231 HAS SOUS 832017 HAS SOUPS 832017 WITH SCORE 832941.231
AT ITER 1305 NEW BEST:: SOT 1712694 SOS 924174 HAS SOPS 924174 HAS SOUS 832017 HAS SOUPS 832017 WITH SCORE 832941.174
AT ITER 1308 NEW BEST:: SOT 1712340 SOS 923938 HAS SOPS 923938 HAS SOUS 831790 HAS SOUPS 831790 WITH SCORE 832713.938
AT ITER 1312 NEW BEST:: SOT 1711075 SOS 924050 HAS SOPS 924050 HAS SOUS 831299 HAS SOUPS 831299 WITH SCORE 832223.05
AT ITER 1313 NEW BEST:: SOT 1711011 SOS 924154 HAS SOPS 924154 HAS SOUS 831127 HAS SOUPS 831127 WITH SCORE 832051.154
AT ITER 1331 NEW BEST:: SOT 1710592 SOS 924351 HAS SOPS 924351 HAS SOUS 830978 HAS SOUPS 830978 WITH SCORE 831902.351
AT ITER 1343 NEW BEST:: SOT 1709952 SOS 926485 HAS SOPS 926485 HAS SOUS 830768 HAS SOUPS 830768 WITH SCORE 831694.485
AT ITER 1345 NEW BEST:: SOT 1709952 SOS 926457 HAS SOPS 926457 HAS SOUS 830768 HAS SOUPS 830768 WITH SCORE 831694.457
AT ITER 1356 NEW BEST:: SOT 1709952 SOS 926307 HAS SOPS 926307 HAS SOUS 830768 HAS SOUPS 830768 WITH SCORE 831694.307
AT ITER 1357 NEW BEST:: SOT 1709952 SOS 926143 HAS SOPS 926143 HAS SOUS 830768 HAS SOUPS 830768 WITH SCORE 831694.143
AT ITER 1377 NEW BEST:: SOT 1708416 SOS 929636 HAS SOPS 929636 HAS SOUS 829456 HAS SOUPS 829456 WITH SCORE 830385.636
AT ITER 1378 NEW BEST:: SOT 1708416 SOS 929796 HAS SOPS 929796 HAS SOUS 829455 HAS SOUPS 829455 WITH SCORE 830384.796
AT ITER 1380 NEW BEST:: SOT 1708416 SOS 927892 HAS SOPS 927892 HAS SOUS 829070 HAS SOUPS 829070 WITH SCORE 829997.892
AT ITER 1381 NEW BEST:: SOT 1708245 SOS 928012 HAS SOPS 928012 HAS SOUS 828663 HAS SOUPS 828663 WITH SCORE 829591.012
AT ITER 1382 NEW BEST:: SOT 1708381 SOS 927869 HAS SOPS 927869 HAS SOUS 828008 HAS SOUPS 828008 WITH SCORE 828935.869
AT ITER 1383 NEW BEST:: SOT 1707779 SOS 928594 HAS SOPS 928594 HAS SOUS 827745 HAS SOUPS 827745 WITH SCORE 828673.594
AT ITER 1385 NEW BEST:: SOT 1707365 SOS 928274 HAS SOPS 928274 HAS SOUS 827425 HAS SOUPS 827425 WITH SCORE 828353.274
AT ITER 1390 NEW BEST:: SOT 1706787 SOS 928008 HAS SOPS 928008 HAS SOUS 827062 HAS SOUPS 827062 WITH SCORE 827990.008
AT ITER 1394 NEW BEST:: SOT 1706787 SOS 925992 HAS SOPS 925992 HAS SOUS 826359 HAS SOUPS 826359 WITH SCORE 827284.992
AT ITER 1395 NEW BEST:: SOT 1706709 SOS 925921 HAS SOPS 925921 HAS SOUS 826288 HAS SOUPS 826288 WITH SCORE 827213.921
AT ITER 1399 NEW BEST:: SOT 1706692 SOS 925904 HAS SOPS 925904 HAS SOUS 826173 HAS SOUPS 826173 WITH SCORE 827098.904
AT ITER 1400 NEW BEST:: SOT 1706692 SOS 925868 HAS SOPS 925868 HAS SOUS 826173 HAS SOUPS 826173 WITH SCORE 827098.868
AT ITER 1402 NEW BEST:: SOT 1706692 SOS 925831 HAS SOPS 925831 HAS SOUS 826173 HAS SOUPS 826173 WITH SCORE 827098.831
AT ITER 1405 NEW BEST:: SOT 1706401 SOS 925575 HAS SOPS 925575 HAS SOUS 825917 HAS SOUPS 825917 WITH SCORE 826842.575
AT ITER 1406 NEW BEST:: SOT 1704989 SOS 925753 HAS SOPS 925753 HAS SOUS 824861 HAS SOUPS 824861 WITH SCORE 825786.753
AT ITER 1410 NEW BEST:: SOT 1705183 SOS 926113 HAS SOPS 926113 HAS SOUS 824710 HAS SOUPS 824710 WITH SCORE 825636.113
AT ITER 1412 NEW BEST:: SOT 1705183 SOS 925586 HAS SOPS 925586 HAS SOUS 824710 HAS SOUPS 824710 WITH SCORE 825635.586
AT ITER 1425 NEW BEST:: SOT 1705183 SOS 925443 HAS SOPS 925443 HAS SOUS 824710 HAS SOUPS 824710 WITH SCORE 825635.443
AT ITER 1427 NEW BEST:: SOT 1705183 SOS 924927 HAS SOPS 924927 HAS SOUS 824452 HAS SOUPS 824452 WITH SCORE 825376.927
AT ITER 1432 NEW BEST:: SOT 1705183 SOS 923886 HAS SOPS 923886 HAS SOUS 824452 HAS SOUPS 824452 WITH SCORE 825375.886
AT ITER 1435 NEW BEST:: SOT 1705183 SOS 923829 HAS SOPS 923829 HAS SOUS 824414 HAS SOUPS 824414 WITH SCORE 825337.829
AT ITER 1438 NEW BEST:: SOT 1705183 SOS 923770 HAS SOPS 923770 HAS SOUS 824414 HAS SOUPS 824414 WITH SCORE 825337.77
AT ITER 1440 NEW BEST:: SOT 1705183 SOS 923320 HAS SOPS 923320 HAS SOUS 824414 HAS SOUPS 824414 WITH SCORE 825337.32
AT ITER 1445 NEW BEST:: SOT 1704649 SOS 922840 HAS SOPS 922840 HAS SOUS 823948 HAS SOUPS 823948 WITH SCORE 824870.84
AT ITER 1448 NEW BEST:: SOT 1704459 SOS 922650 HAS SOPS 922650 HAS SOUS 823758 HAS SOUPS 823758 WITH SCORE 824680.65
AT ITER 1451 NEW BEST:: SOT 1703297 SOS 925416 HAS SOPS 925416 HAS SOUS 823264 HAS SOUPS 823264 WITH SCORE 824189.416
AT ITER 1460 NEW BEST:: SOT 1703297 SOS 925344 HAS SOPS 925344 HAS SOUS 823129 HAS SOUPS 823129 WITH SCORE 824054.344
AT ITER 1463 NEW BEST:: SOT 1701494 SOS 924831 HAS SOPS 924831 HAS SOUS 821650 HAS SOUPS 821650 WITH SCORE 822574.831
AT ITER 1468 NEW BEST:: SOT 1701494 SOS 924564 HAS SOPS 924564 HAS SOUS 821650 HAS SOUPS 821650 WITH SCORE 822574.564
AT ITER 1473 NEW BEST:: SOT 1701494 SOS 924502 HAS SOPS 924502 HAS SOUS 821650 HAS SOUPS 821650 WITH SCORE 822574.502
AT ITER 1476 NEW BEST:: SOT 1701494 SOS 924292 HAS SOPS 924292 HAS SOUS 821650 HAS SOUPS 821650 WITH SCORE 822574.292
AT ITER 1479 NEW BEST:: SOT 1701404 SOS 924246 HAS SOPS 924246 HAS SOUS 821604 HAS SOUPS 821604 WITH SCORE 822528.246
AT ITER 1486 NEW BEST:: SOT 1701404 SOS 924090 HAS SOPS 924090 HAS SOUS 821604 HAS SOUPS 821604 WITH SCORE 822528.09
AT ITER 1489 NEW BEST:: SOT 1701022 SOS 923789 HAS SOPS 923789 HAS SOUS 821303 HAS SOUPS 821303 WITH SCORE 822226.789
AT ITER 1491 NEW BEST:: SOT 1700885 SOS 923652 HAS SOPS 923652 HAS SOUS 821166 HAS SOUPS 821166 WITH SCORE 822089.652
AT ITER 1500 NEW BEST:: SOT 1700885 SOS 923155 HAS SOPS 923155 HAS SOUS 821166 HAS SOUPS 821166 WITH SCORE 822089.155
AT ITER 1504 NEW BEST:: SOT 1700641 SOS 923033 HAS SOPS 923033 HAS SOUS 820922 HAS SOUPS 820922 WITH SCORE 821845.033
AT ITER 1510 NEW BEST:: SOT 1700435 SOS 922235 HAS SOPS 922235 HAS SOUS 820720 HAS SOUPS 820720 WITH SCORE 821642.235
AT ITER 1511 NEW BEST:: SOT 1700276 SOS 922076 HAS SOPS 922076 HAS SOUS 820529 HAS SOUPS 820529 WITH SCORE 821451.076
AT ITER 1517 NEW BEST:: SOT 1700276 SOS 922011 HAS SOPS 922011 HAS SOUS 820529 HAS SOUPS 820529 WITH SCORE 821451.011
AT ITER 1525 NEW BEST:: SOT 1699754 SOS 921994 HAS SOPS 921994 HAS SOUS 820511 HAS SOUPS 820511 WITH SCORE 821432.994
AT ITER 1530 NEW BEST:: SOT 1699754 SOS 921863 HAS SOPS 921863 HAS SOUS 820467 HAS SOUPS 820467 WITH SCORE 821388.863
AT ITER 1531 NEW BEST:: SOT 1699754 SOS 921660 HAS SOPS 921660 HAS SOUS 820467 HAS SOUPS 820467 WITH SCORE 821388.66
AT ITER 1536 NEW BEST:: SOT 1699733 SOS 921681 HAS SOPS 921681 HAS SOUS 820446 HAS SOUPS 820446 WITH SCORE 821367.681
AT ITER 1539 NEW BEST:: SOT 1699164 SOS 925870 HAS SOPS 925870 HAS SOUS 820355 HAS SOUPS 820355 WITH SCORE 821280.87
AT ITER 1540 NEW BEST:: SOT 1699051 SOS 925757 HAS SOPS 925757 HAS SOUS 820242 HAS SOUPS 820242 WITH SCORE 821167.757
AT ITER 1549 NEW BEST:: SOT 1699222 SOS 925685 HAS SOPS 925685 HAS SOUS 820110 HAS SOUPS 820110 WITH SCORE 821035.685
AT ITER 1565 NEW BEST:: SOT 1699219 SOS 925682 HAS SOPS 925682 HAS SOUS 820107 HAS SOUPS 820107 WITH SCORE 821032.682
AT ITER 1575 NEW BEST:: SOT 1698923 SOS 925648 HAS SOPS 925648 HAS SOUS 819942 HAS SOUPS 819942 WITH SCORE 820867.648
AT ITER 1583 NEW BEST:: SOT 1699033 SOS 925563 HAS SOPS 925563 HAS SOUS 819818 HAS SOUPS 819818 WITH SCORE 820743.563
AT ITER 1589 NEW BEST:: SOT 1699033 SOS 925540 HAS SOPS 925540 HAS SOUS 819818 HAS SOUPS 819818 WITH SCORE 820743.54
AT ITER 1593 NEW BEST:: SOT 1698932 SOS 925473 HAS SOPS 925473 HAS SOUS 819751 HAS SOUPS 819751 WITH SCORE 820676.473
AT ITER 1596 NEW BEST:: SOT 1698932 SOS 924600 HAS SOPS 924600 HAS SOUS 819557 HAS SOUPS 819557 WITH SCORE 820481.6
AT ITER 1597 NEW BEST:: SOT 1698932 SOS 924437 HAS SOPS 924437 HAS SOUS 819557 HAS SOUPS 819557 WITH SCORE 820481.437
AT ITER 1600 NEW BEST:: SOT 1697697 SOS 925353 HAS SOPS 925353 HAS SOUS 818464 HAS SOUPS 818464 WITH SCORE 819389.353
AT ITER 1602 NEW BEST:: SOT 1697287 SOS 925123 HAS SOPS 925123 HAS SOUS 818334 HAS SOUPS 818334 WITH SCORE 819259.123
AT ITER 1607 NEW BEST:: SOT 1697268 SOS 925104 HAS SOPS 925104 HAS SOUS 818315 HAS SOUPS 818315 WITH SCORE 819240.104
AT ITER 1608 NEW BEST:: SOT 1695786 SOS 923797 HAS SOPS 923797 HAS SOUS 817501 HAS SOUPS 817501 WITH SCORE 818424.797
AT ITER 1609 NEW BEST:: SOT 1695698 SOS 923709 HAS SOPS 923709 HAS SOUS 817413 HAS SOUPS 817413 WITH SCORE 818336.709
AT ITER 1617 NEW BEST:: SOT 1695024 SOS 923289 HAS SOPS 923289 HAS SOUS 816789 HAS SOUPS 816789 WITH SCORE 817712.289
AT ITER 1624 NEW BEST:: SOT 1695024 SOS 923284 HAS SOPS 923284 HAS SOUS 816777 HAS SOUPS 816777 WITH SCORE 817700.284
AT ITER 1630 NEW BEST:: SOT 1695024 SOS 923268 HAS SOPS 923268 HAS SOUS 816777 HAS SOUPS 816777 WITH SCORE 817700.268
AT ITER 1631 NEW BEST:: SOT 1694778 SOS 923145 HAS SOPS 923145 HAS SOUS 816698 HAS SOUPS 816698 WITH SCORE 817621.145
AT ITER 1637 NEW BEST:: SOT 1693644 SOS 923671 HAS SOPS 923671 HAS SOUS 816209 HAS SOUPS 816209 WITH SCORE 817132.671
AT ITER 1641 NEW BEST:: SOT 1693644 SOS 923668 HAS SOPS 923668 HAS SOUS 816209 HAS SOUPS 816209 WITH SCORE 817132.668
AT ITER 1649 NEW BEST:: SOT 1693762 SOS 923436 HAS SOPS 923436 HAS SOUS 815974 HAS SOUPS 815974 WITH SCORE 816897.436
AT ITER 1651 NEW BEST:: SOT 1693818 SOS 923195 HAS SOPS 923195 HAS SOUS 815730 HAS SOUPS 815730 WITH SCORE 816653.195
AT ITER 1652 NEW BEST:: SOT 1693818 SOS 922938 HAS SOPS 922938 HAS SOUS 815730 HAS SOUPS 815730 WITH SCORE 816652.938
AT ITER 1654 NEW BEST:: SOT 1693780 SOS 922900 HAS SOPS 922900 HAS SOUS 815621 HAS SOUPS 815621 WITH SCORE 816543.9
AT ITER 1656 NEW BEST:: SOT 1693721 SOS 922840 HAS SOPS 922840 HAS SOUS 815473 HAS SOUPS 815473 WITH SCORE 816395.84
AT ITER 1669 NEW BEST:: SOT 1693721 SOS 922603 HAS SOPS 922603 HAS SOUS 815399 HAS SOUPS 815399 WITH SCORE 816321.603
AT ITER 1670 NEW BEST:: SOT 1693333 SOS 924657 HAS SOPS 924657 HAS SOUS 815391 HAS SOUPS 815391 WITH SCORE 816315.657
AT ITER 1671 NEW BEST:: SOT 1693333 SOS 924064 HAS SOPS 924064 HAS SOUS 815034 HAS SOUPS 815034 WITH SCORE 815958.064
AT ITER 1675 NEW BEST:: SOT 1693333 SOS 922468 HAS SOPS 922468 HAS SOUS 815034 HAS SOUPS 815034 WITH SCORE 815956.468
AT ITER 1683 NEW BEST:: SOT 1693333 SOS 922463 HAS SOPS 922463 HAS SOUS 815034 HAS SOUPS 815034 WITH SCORE 815956.463
AT ITER 1687 NEW BEST:: SOT 1692805 SOS 922073 HAS SOPS 922073 HAS SOUS 814602 HAS SOUPS 814602 WITH SCORE 815524.073
AT ITER 1693 NEW BEST:: SOT 1692778 SOS 922046 HAS SOPS 922046 HAS SOUS 814575 HAS SOUPS 814575 WITH SCORE 815497.046
AT ITER 1697 NEW BEST:: SOT 1692778 SOS 921825 HAS SOPS 921825 HAS SOUS 814575 HAS SOUPS 814575 WITH SCORE 815496.825
AT ITER 1699 NEW BEST:: SOT 1692435 SOS 921479 HAS SOPS 921479 HAS SOUS 814146 HAS SOUPS 814146 WITH SCORE 815067.479
AT ITER 1701 NEW BEST:: SOT 1691807 SOS 921117 HAS SOPS 921117 HAS SOUS 813629 HAS SOUPS 813629 WITH SCORE 814550.117
AT ITER 1705 NEW BEST:: SOT 1691807 SOS 919929 HAS SOPS 919929 HAS SOUS 813629 HAS SOUPS 813629 WITH SCORE 814548.929
AT ITER 1720 NEW BEST:: SOT 1691807 SOS 919857 HAS SOPS 919857 HAS SOUS 813629 HAS SOUPS 813629 WITH SCORE 814548.857
AT ITER 1726 NEW BEST:: SOT 1691807 SOS 919882 HAS SOPS 919882 HAS SOUS 813505 HAS SOUPS 813505 WITH SCORE 814424.882
AT ITER 1729 NEW BEST:: SOT 1691162 SOS 919854 HAS SOPS 919854 HAS SOUS 813487 HAS SOUPS 813487 WITH SCORE 814406.854
AT ITER 1734 NEW BEST:: SOT 1691162 SOS 919206 HAS SOPS 919206 HAS SOUS 813406 HAS SOUPS 813406 WITH SCORE 814325.206
AT ITER 1735 NEW BEST:: SOT 1690922 SOS 919014 HAS SOPS 919014 HAS SOUS 813218 HAS SOUPS 813218 WITH SCORE 814137.014
AT ITER 1741 NEW BEST:: SOT 1690922 SOS 919014 HAS SOPS 919014 HAS SOUS 813128 HAS SOUPS 813128 WITH SCORE 814047.014
AT ITER 1743 NEW BEST:: SOT 1690922 SOS 918909 HAS SOPS 918909 HAS SOUS 813128 HAS SOUPS 813128 WITH SCORE 814046.909
AT ITER 1745 NEW BEST:: SOT 1690922 SOS 918907 HAS SOPS 918907 HAS SOUS 813128 HAS SOUPS 813128 WITH SCORE 814046.907
AT ITER 1763 NEW BEST:: SOT 1690922 SOS 918767 HAS SOPS 918767 HAS SOUS 813128 HAS SOUPS 813128 WITH SCORE 814046.767
AT ITER 1770 NEW BEST:: SOT 1690922 SOS 915828 HAS SOPS 915828 HAS SOUS 812904 HAS SOUPS 812904 WITH SCORE 813819.828
AT ITER 1774 NEW BEST:: SOT 1690896 SOS 916353 HAS SOPS 916353 HAS SOUS 812878 HAS SOUPS 812878 WITH SCORE 813794.353
AT ITER 1776 NEW BEST:: SOT 1690744 SOS 916201 HAS SOPS 916201 HAS SOUS 812574 HAS SOUPS 812574 WITH SCORE 813490.201
AT ITER 1778 NEW BEST:: SOT 1690654 SOS 916381 HAS SOPS 916381 HAS SOUS 812484 HAS SOUPS 812484 WITH SCORE 813400.381
AT ITER 1780 NEW BEST:: SOT 1690486 SOS 916147 HAS SOPS 916147 HAS SOUS 812152 HAS SOUPS 812152 WITH SCORE 813068.147
AT ITER 1786 NEW BEST:: SOT 1690486 SOS 916134 HAS SOPS 916134 HAS SOUS 812152 HAS SOUPS 812152 WITH SCORE 813068.134
AT ITER 1788 NEW BEST:: SOT 1690486 SOS 915906 HAS SOPS 915906 HAS SOUS 812152 HAS SOUPS 812152 WITH SCORE 813067.906
AT ITER 1791 NEW BEST:: SOT 1690315 SOS 915801 HAS SOPS 915801 HAS SOUS 812047 HAS SOUPS 812047 WITH SCORE 812962.801
AT ITER 1792 NEW BEST:: SOT 1690315 SOS 915555 HAS SOPS 915555 HAS SOUS 811801 HAS SOUPS 811801 WITH SCORE 812716.555
AT ITER 1794 NEW BEST:: SOT 1690523 SOS 915610 HAS SOPS 915610 HAS SOUS 811747 HAS SOUPS 811747 WITH SCORE 812662.61
AT ITER 1795 NEW BEST:: SOT 1690523 SOS 915432 HAS SOPS 915432 HAS SOUS 811747 HAS SOUPS 811747 WITH SCORE 812662.432
AT ITER 1800 NEW BEST:: SOT 1689247 SOS 914718 HAS SOPS 914718 HAS SOUS 811425 HAS SOUPS 811425 WITH SCORE 812339.718
AT ITER 1802 NEW BEST:: SOT 1689247 SOS 914582 HAS SOPS 914582 HAS SOUS 811425 HAS SOUPS 811425 WITH SCORE 812339.582
AT ITER 1807 NEW BEST:: SOT 1689177 SOS 914589 HAS SOPS 914589 HAS SOUS 811355 HAS SOUPS 811355 WITH SCORE 812269.589
AT ITER 1808 NEW BEST:: SOT 1688625 SOS 915400 HAS SOPS 915400 HAS SOUS 811257 HAS SOUPS 811257 WITH SCORE 812172.4
AT ITER 1817 NEW BEST:: SOT 1688625 SOS 915214 HAS SOPS 915214 HAS SOUS 811120 HAS SOUPS 811120 WITH SCORE 812035.214
AT ITER 1822 NEW BEST:: SOT 1688625 SOS 915153 HAS SOPS 915153 HAS SOUS 811120 HAS SOUPS 811120 WITH SCORE 812035.153
AT ITER 1838 NEW BEST:: SOT 1688625 SOS 915129 HAS SOPS 915129 HAS SOUS 811120 HAS SOUPS 811120 WITH SCORE 812035.129
AT ITER 1858 NEW BEST:: SOT 1688632 SOS 915136 HAS SOPS 915136 HAS SOUS 810756 HAS SOUPS 810756 WITH SCORE 811671.136
AT ITER 1873 NEW BEST:: SOT 1688632 SOS 914980 HAS SOPS 914980 HAS SOUS 810749 HAS SOUPS 810749 WITH SCORE 811663.98
AT ITER 1886 NEW BEST:: SOT 1688621 SOS 915085 HAS SOPS 915085 HAS SOUS 810732 HAS SOUPS 810732 WITH SCORE 811647.085
AT ITER 1891 NEW BEST:: SOT 1688085 SOS 916872 HAS SOPS 916872 HAS SOUS 810317 HAS SOUPS 810317 WITH SCORE 811233.872
AT ITER 1895 NEW BEST:: SOT 1687859 SOS 917042 HAS SOPS 917042 HAS SOUS 810189 HAS SOUPS 810189 WITH SCORE 811106.042
AT ITER 1920 NEW BEST:: SOT 1687838 SOS 917021 HAS SOPS 917021 HAS SOUS 810168 HAS SOUPS 810168 WITH SCORE 811085.021
AT ITER 1921 NEW BEST:: SOT 1686464 SOS 919041 HAS SOPS 919041 HAS SOUS 810022 HAS SOUPS 810022 WITH SCORE 810941.041
AT ITER 1924 NEW BEST:: SOT 1684946 SOS 920792 HAS SOPS 920792 HAS SOUS 809464 HAS SOUPS 809464 WITH SCORE 810384.792
AT ITER 1925 NEW BEST:: SOT 1684378 SOS 921149 HAS SOPS 921149 HAS SOUS 809082 HAS SOUPS 809082 WITH SCORE 810003.149
AT ITER 1927 NEW BEST:: SOT 1683891 SOS 922476 HAS SOPS 922476 HAS SOUS 808653 HAS SOUPS 808653 WITH SCORE 809575.476
AT ITER 1931 NEW BEST:: SOT 1683807 SOS 921854 HAS SOPS 921854 HAS SOUS 808316 HAS SOUPS 808316 WITH SCORE 809237.854
AT ITER 1942 NEW BEST:: SOT 1681581 SOS 921349 HAS SOPS 921349 HAS SOUS 806733 HAS SOUPS 806733 WITH SCORE 807654.349
AT ITER 1944 NEW BEST:: SOT 1681581 SOS 921329 HAS SOPS 921329 HAS SOUS 806733 HAS SOUPS 806733 WITH SCORE 807654.329
AT ITER 1952 NEW BEST:: SOT 1681581 SOS 921171 HAS SOPS 921171 HAS SOUS 806733 HAS SOUPS 806733 WITH SCORE 807654.171
AT ITER 1955 NEW BEST:: SOT 1681581 SOS 920802 HAS SOPS 920802 HAS SOUS 806589 HAS SOUPS 806589 WITH SCORE 807509.802
AT ITER 1958 NEW BEST:: SOT 1681476 SOS 920791 HAS SOPS 920791 HAS SOUS 806477 HAS SOUPS 806477 WITH SCORE 807397.791
AT ITER 1966 NEW BEST:: SOT 1681476 SOS 920791 HAS SOPS 920791 HAS SOUS 806422 HAS SOUPS 806422 WITH SCORE 807342.791
AT ITER 1987 NEW BEST:: SOT 1681476 SOS 920850 HAS SOPS 920850 HAS SOUS 806413 HAS SOUPS 806413 WITH SCORE 807333.85
AT ITER 1988 NEW BEST:: SOT 1680780 SOS 920822 HAS SOPS 920822 HAS SOUS 806229 HAS SOUPS 806229 WITH SCORE 807149.822
AT ITER 1992 NEW BEST:: SOT 1680780 SOS 921032 HAS SOPS 921032 HAS SOUS 806191 HAS SOUPS 806191 WITH SCORE 807112.032
AT ITER 1993 NEW BEST:: SOT 1680780 SOS 920838 HAS SOPS 920838 HAS SOUS 806191 HAS SOUPS 806191 WITH SCORE 807111.838
AT ITER 2004 NEW BEST:: SOT 1680780 SOS 920549 HAS SOPS 920549 HAS SOUS 806068 HAS SOUPS 806068 WITH SCORE 806988.549
AT ITER 2005 NEW BEST:: SOT 1680724 SOS 920605 HAS SOPS 920605 HAS SOUS 806012 HAS SOUPS 806012 WITH SCORE 806932.605
AT ITER 2009 NEW BEST:: SOT 1680812 SOS 920307 HAS SOPS 920307 HAS SOUS 805937 HAS SOUPS 805937 WITH SCORE 806857.307
AT ITER 2022 NEW BEST:: SOT 1679189 SOS 919141 HAS SOPS 919141 HAS SOUS 804748 HAS SOUPS 804748 WITH SCORE 805667.141
AT ITER 2025 NEW BEST:: SOT 1679146 SOS 919158 HAS SOPS 919158 HAS SOUS 804682 HAS SOUPS 804682 WITH SCORE 805601.158
AT ITER 2030 NEW BEST:: SOT 1679170 SOS 918862 HAS SOPS 918862 HAS SOUS 804346 HAS SOUPS 804346 WITH SCORE 805264.862
AT ITER 2035 NEW BEST:: SOT 1679146 SOS 918838 HAS SOPS 918838 HAS SOUS 804322 HAS SOUPS 804322 WITH SCORE 805240.838
AT ITER 2040 NEW BEST:: SOT 1679146 SOS 918941 HAS SOPS 918941 HAS SOUS 804259 HAS SOUPS 804259 WITH SCORE 805177.941
AT ITER 2042 NEW BEST:: SOT 1679146 SOS 918750 HAS SOPS 918750 HAS SOUS 804259 HAS SOUPS 804259 WITH SCORE 805177.75
AT ITER 2046 NEW BEST:: SOT 1679146 SOS 918506 HAS SOPS 918506 HAS SOUS 804259 HAS SOUPS 804259 WITH SCORE 805177.506
AT ITER 2047 NEW BEST:: SOT 1679073 SOS 918433 HAS SOPS 918433 HAS SOUS 804186 HAS SOUPS 804186 WITH SCORE 805104.433
AT ITER 2049 NEW BEST:: SOT 1677600 SOS 919158 HAS SOPS 919158 HAS SOUS 803942 HAS SOUPS 803942 WITH SCORE 804861.158
AT ITER 2050 NEW BEST:: SOT 1677598 SOS 919156 HAS SOPS 919156 HAS SOUS 803940 HAS SOUPS 803940 WITH SCORE 804859.156
AT ITER 2055 NEW BEST:: SOT 1676609 SOS 918761 HAS SOPS 918761 HAS SOUS 803816 HAS SOUPS 803816 WITH SCORE 804734.761
AT ITER 2057 NEW BEST:: SOT 1676482 SOS 918634 HAS SOPS 918634 HAS SOUS 803668 HAS SOUPS 803668 WITH SCORE 804586.634
AT ITER 2064 NEW BEST:: SOT 1675718 SOS 918346 HAS SOPS 918346 HAS SOUS 803592 HAS SOUPS 803592 WITH SCORE 804510.346
AT ITER 2067 NEW BEST:: SOT 1675387 SOS 918569 HAS SOPS 918569 HAS SOUS 803261 HAS SOUPS 803261 WITH SCORE 804179.569
AT ITER 2071 NEW BEST:: SOT 1675387 SOS 918491 HAS SOPS 918491 HAS SOUS 803261 HAS SOUPS 803261 WITH SCORE 804179.491
AT ITER 2072 NEW BEST:: SOT 1674800 SOS 918292 HAS SOPS 918292 HAS SOUS 802877 HAS SOUPS 802877 WITH SCORE 803795.292
AT ITER 2073 NEW BEST:: SOT 1674800 SOS 918011 HAS SOPS 918011 HAS SOUS 802875 HAS SOUPS 802875 WITH SCORE 803793.011
AT ITER 2075 NEW BEST:: SOT 1674523 SOS 917821 HAS SOPS 917821 HAS SOUS 802586 HAS SOUPS 802586 WITH SCORE 803503.821
AT ITER 2094 NEW BEST:: SOT 1674354 SOS 918021 HAS SOPS 918021 HAS SOUS 802582 HAS SOUPS 802582 WITH SCORE 803500.021
AT ITER 2099 NEW BEST:: SOT 1674354 SOS 917786 HAS SOPS 917786 HAS SOUS 802582 HAS SOUPS 802582 WITH SCORE 803499.786
AT ITER 2113 NEW BEST:: SOT 1674354 SOS 917705 HAS SOPS 917705 HAS SOUS 802530 HAS SOUPS 802530 WITH SCORE 803447.705
AT ITER 2116 NEW BEST:: SOT 1674354 SOS 917595 HAS SOPS 917595 HAS SOUS 802530 HAS SOUPS 802530 WITH SCORE 803447.595
AT ITER 2121 NEW BEST:: SOT 1674354 SOS 917458 HAS SOPS 917458 HAS SOUS 802460 HAS SOUPS 802460 WITH SCORE 803377.458
AT ITER 2123 NEW BEST:: SOT 1674354 SOS 917374 HAS SOPS 917374 HAS SOUS 802460 HAS SOUPS 802460 WITH SCORE 803377.374
AT ITER 2128 NEW BEST:: SOT 1674354 SOS 917337 HAS SOPS 917337 HAS SOUS 802460 HAS SOUPS 802460 WITH SCORE 803377.337
AT ITER 2141 NEW BEST:: SOT 1674354 SOS 917147 HAS SOPS 917147 HAS SOUS 802460 HAS SOUPS 802460 WITH SCORE 803377.147
AT ITER 2149 NEW BEST:: SOT 1674354 SOS 916022 HAS SOPS 916022 HAS SOUS 802213 HAS SOUPS 802213 WITH SCORE 803129.022
AT ITER 2154 NEW BEST:: SOT 1674342 SOS 916010 HAS SOPS 916010 HAS SOUS 802201 HAS SOUPS 802201 WITH SCORE 803117.01
AT ITER 2170 NEW BEST:: SOT 1673999 SOS 915841 HAS SOPS 915841 HAS SOUS 801983 HAS SOUPS 801983 WITH SCORE 802898.841
AT ITER 2173 NEW BEST:: SOT 1673677 SOS 915519 HAS SOPS 915519 HAS SOUS 801459 HAS SOUPS 801459 WITH SCORE 802374.519
AT ITER 2174 NEW BEST:: SOT 1673677 SOS 915168 HAS SOPS 915168 HAS SOUS 801459 HAS SOUPS 801459 WITH SCORE 802374.168
AT ITER 2175 NEW BEST:: SOT 1673669 SOS 915176 HAS SOPS 915176 HAS SOUS 801451 HAS SOUPS 801451 WITH SCORE 802366.176
AT ITER 2183 NEW BEST:: SOT 1673669 SOS 915108 HAS SOPS 915108 HAS SOUS 801451 HAS SOUPS 801451 WITH SCORE 802366.108
AT ITER 2187 NEW BEST:: SOT 1673669 SOS 914590 HAS SOPS 914590 HAS SOUS 801451 HAS SOUPS 801451 WITH SCORE 802365.59
AT ITER 2189 NEW BEST:: SOT 1673669 SOS 914433 HAS SOPS 914433 HAS SOUS 801451 HAS SOUPS 801451 WITH SCORE 802365.433
AT ITER 2197 NEW BEST:: SOT 1673669 SOS 914277 HAS SOPS 914277 HAS SOUS 801451 HAS SOUPS 801451 WITH SCORE 802365.277
AT ITER 2198 NEW BEST:: SOT 1673755 SOS 913996 HAS SOPS 913996 HAS SOUS 801415 HAS SOUPS 801415 WITH SCORE 802328.996
AT ITER 2205 NEW BEST:: SOT 1673755 SOS 913983 HAS SOPS 913983 HAS SOUS 801402 HAS SOUPS 801402 WITH SCORE 802315.983
AT ITER 2211 NEW BEST:: SOT 1673755 SOS 913692 HAS SOPS 913692 HAS SOUS 801111 HAS SOUPS 801111 WITH SCORE 802024.692
AT ITER 2217 NEW BEST:: SOT 1673755 SOS 913595 HAS SOPS 913595 HAS SOUS 801111 HAS SOUPS 801111 WITH SCORE 802024.595
AT ITER 2220 NEW BEST:: SOT 1673343 SOS 913270 HAS SOPS 913270 HAS SOUS 800790 HAS SOUPS 800790 WITH SCORE 801703.27
AT ITER 2222 NEW BEST:: SOT 1672147 SOS 913959 HAS SOPS 913959 HAS SOUS 800198 HAS SOUPS 800198 WITH SCORE 801111.959
AT ITER 2235 NEW BEST:: SOT 1672095 SOS 914245 HAS SOPS 914245 HAS SOUS 800170 HAS SOUPS 800170 WITH SCORE 801084.245
AT ITER 2236 NEW BEST:: SOT 1672095 SOS 914307 HAS SOPS 914307 HAS SOUS 800135 HAS SOUPS 800135 WITH SCORE 801049.307
AT ITER 2238 NEW BEST:: SOT 1672057 SOS 914591 HAS SOPS 914591 HAS SOUS 799935 HAS SOUPS 799935 WITH SCORE 800849.591
AT ITER 2245 NEW BEST:: SOT 1671922 SOS 915289 HAS SOPS 915289 HAS SOUS 799800 HAS SOUPS 799800 WITH SCORE 800715.289
AT ITER 2248 NEW BEST:: SOT 1671922 SOS 914767 HAS SOPS 914767 HAS SOUS 799800 HAS SOUPS 799800 WITH SCORE 800714.767
AT ITER 2250 NEW BEST:: SOT 1671922 SOS 914701 HAS SOPS 914701 HAS SOUS 799800 HAS SOUPS 799800 WITH SCORE 800714.701
AT ITER 2265 NEW BEST:: SOT 1671922 SOS 914576 HAS SOPS 914576 HAS SOUS 799800 HAS SOUPS 799800 WITH SCORE 800714.576
AT ITER 2269 NEW BEST:: SOT 1671922 SOS 914211 HAS SOPS 914211 HAS SOUS 799641 HAS SOUPS 799641 WITH SCORE 800555.211
AT ITER 2276 NEW BEST:: SOT 1671922 SOS 914097 HAS SOPS 914097 HAS SOUS 799641 HAS SOUPS 799641 WITH SCORE 800555.097
AT ITER 2278 NEW BEST:: SOT 1670615 SOS 913113 HAS SOPS 913113 HAS SOUS 798553 HAS SOUPS 798553 WITH SCORE 799466.113
AT ITER 2286 NEW BEST:: SOT 1669459 SOS 912878 HAS SOPS 912878 HAS SOUS 797558 HAS SOUPS 797558 WITH SCORE 798470.878
AT ITER 2288 NEW BEST:: SOT 1668111 SOS 916238 HAS SOPS 916238 HAS SOUS 797383 HAS SOUPS 797383 WITH SCORE 798299.238
AT ITER 2293 NEW BEST:: SOT 1668247 SOS 914607 HAS SOPS 914607 HAS SOUS 797310 HAS SOUPS 797310 WITH SCORE 798224.607
AT ITER 2310 NEW BEST:: SOT 1668247 SOS 914321 HAS SOPS 914321 HAS SOUS 796928 HAS SOUPS 796928 WITH SCORE 797842.321
AT ITER 2315 NEW BEST:: SOT 1668221 SOS 914193 HAS SOPS 914193 HAS SOUS 796713 HAS SOUPS 796713 WITH SCORE 797627.193
AT ITER 2323 NEW BEST:: SOT 1667946 SOS 914244 HAS SOPS 914244 HAS SOUS 796487 HAS SOUPS 796487 WITH SCORE 797401.244
AT ITER 2325 NEW BEST:: SOT 1666736 SOS 913539 HAS SOPS 913539 HAS SOUS 796426 HAS SOUPS 796426 WITH SCORE 797339.539
AT ITER 2327 NEW BEST:: SOT 1667297 SOS 912178 HAS SOPS 912178 HAS SOUS 796395 HAS SOUPS 796395 WITH SCORE 797307.178
AT ITER 2330 NEW BEST:: SOT 1666733 SOS 912454 HAS SOPS 912454 HAS SOUS 795927 HAS SOUPS 795927 WITH SCORE 796839.454
AT ITER 2331 NEW BEST:: SOT 1666733 SOS 912282 HAS SOPS 912282 HAS SOUS 795922 HAS SOUPS 795922 WITH SCORE 796834.282
AT ITER 2333 NEW BEST:: SOT 1666733 SOS 912235 HAS SOPS 912235 HAS SOUS 795922 HAS SOUPS 795922 WITH SCORE 796834.235
AT ITER 2336 NEW BEST:: SOT 1666148 SOS 913949 HAS SOPS 913949 HAS SOUS 795587 HAS SOUPS 795587 WITH SCORE 796500.949
AT ITER 2344 NEW BEST:: SOT 1666148 SOS 913783 HAS SOPS 913783 HAS SOUS 795122 HAS SOUPS 795122 WITH SCORE 796035.783
AT ITER 2352 NEW BEST:: SOT 1666148 SOS 913781 HAS SOPS 913781 HAS SOUS 795122 HAS SOUPS 795122 WITH SCORE 796035.781
AT ITER 2365 NEW BEST:: SOT 1666148 SOS 913619 HAS SOPS 913619 HAS SOUS 795122 HAS SOUPS 795122 WITH SCORE 796035.619
AT ITER 2368 NEW BEST:: SOT 1666148 SOS 913481 HAS SOPS 913481 HAS SOUS 795122 HAS SOUPS 795122 WITH SCORE 796035.481
AT ITER 2373 NEW BEST:: SOT 1666148 SOS 913438 HAS SOPS 913438 HAS SOUS 795122 HAS SOUPS 795122 WITH SCORE 796035.438
AT ITER 2376 NEW BEST:: SOT 1666148 SOS 913332 HAS SOPS 913332 HAS SOUS 795122 HAS SOUPS 795122 WITH SCORE 796035.332
AT ITER 2378 NEW BEST:: SOT 1666148 SOS 913294 HAS SOPS 913294 HAS SOUS 795122 HAS SOUPS 795122 WITH SCORE 796035.294
AT ITER 2379 NEW BEST:: SOT 1666148 SOS 912912 HAS SOPS 912912 HAS SOUS 795098 HAS SOUPS 795098 WITH SCORE 796010.912
AT ITER 2391 NEW BEST:: SOT 1666004 SOS 912768 HAS SOPS 912768 HAS SOUS 794759 HAS SOUPS 794759 WITH SCORE 795671.768
AT ITER 2392 NEW BEST:: SOT 1666004 SOS 912717 HAS SOPS 912717 HAS SOUS 794759 HAS SOUPS 794759 WITH SCORE 795671.717
AT ITER 2395 NEW BEST:: SOT 1665087 SOS 915051 HAS SOPS 915051 HAS SOUS 794540 HAS SOUPS 794540 WITH SCORE 795455.051
AT ITER 2397 NEW BEST:: SOT 1664164 SOS 918137 HAS SOPS 918137 HAS SOUS 794442 HAS SOUPS 794442 WITH SCORE 795360.137
AT ITER 2401 NEW BEST:: SOT 1664136 SOS 917867 HAS SOPS 917867 HAS SOUS 794370 HAS SOUPS 794370 WITH SCORE 795287.867
AT ITER 2410 NEW BEST:: SOT 1663854 SOS 917815 HAS SOPS 917815 HAS SOUS 794168 HAS SOUPS 794168 WITH SCORE 795085.815
AT ITER 2411 NEW BEST:: SOT 1663854 SOS 917795 HAS SOPS 917795 HAS SOUS 794148 HAS SOUPS 794148 WITH SCORE 795065.795
AT ITER 2427 NEW BEST:: SOT 1663854 SOS 917783 HAS SOPS 917783 HAS SOUS 794136 HAS SOUPS 794136 WITH SCORE 795053.783
AT ITER 2435 NEW BEST:: SOT 1662968 SOS 917531 HAS SOPS 917531 HAS SOUS 793759 HAS SOUPS 793759 WITH SCORE 794676.531
AT ITER 2438 NEW BEST:: SOT 1661584 SOS 917126 HAS SOPS 917126 HAS SOUS 793429 HAS SOUPS 793429 WITH SCORE 794346.126
AT ITER 2445 NEW BEST:: SOT 1661584 SOS 916896 HAS SOPS 916896 HAS SOUS 793429 HAS SOUPS 793429 WITH SCORE 794345.896
AT ITER 2446 NEW BEST:: SOT 1661584 SOS 916896 HAS SOPS 916896 HAS SOUS 793363 HAS SOUPS 793363 WITH SCORE 794279.896
AT ITER 2448 NEW BEST:: SOT 1659960 SOS 917740 HAS SOPS 917740 HAS SOUS 791943 HAS SOUPS 791943 WITH SCORE 792860.74
AT ITER 2451 NEW BEST:: SOT 1659960 SOS 914160 HAS SOPS 914160 HAS SOUS 791943 HAS SOUPS 791943 WITH SCORE 792857.16
AT ITER 2453 NEW BEST:: SOT 1659951 SOS 913535 HAS SOPS 913535 HAS SOUS 791583 HAS SOUPS 791583 WITH SCORE 792496.535
AT ITER 2455 NEW BEST:: SOT 1659951 SOS 913351 HAS SOPS 913351 HAS SOUS 791580 HAS SOUPS 791580 WITH SCORE 792493.351
AT ITER 2461 NEW BEST:: SOT 1659951 SOS 912589 HAS SOPS 912589 HAS SOUS 791466 HAS SOUPS 791466 WITH SCORE 792378.589
AT ITER 2463 NEW BEST:: SOT 1659581 SOS 912435 HAS SOPS 912435 HAS SOUS 791313 HAS SOUPS 791313 WITH SCORE 792225.435
AT ITER 2464 NEW BEST:: SOT 1658895 SOS 912233 HAS SOPS 912233 HAS SOUS 790782 HAS SOUPS 790782 WITH SCORE 791694.233
AT ITER 2466 NEW BEST:: SOT 1658895 SOS 912130 HAS SOPS 912130 HAS SOUS 790782 HAS SOUPS 790782 WITH SCORE 791694.13
AT ITER 2471 NEW BEST:: SOT 1658496 SOS 911842 HAS SOPS 911842 HAS SOUS 790605 HAS SOUPS 790605 WITH SCORE 791516.842
AT ITER 2474 NEW BEST:: SOT 1656809 SOS 913638 HAS SOPS 913638 HAS SOUS 789728 HAS SOUPS 789728 WITH SCORE 790641.638
AT ITER 2478 NEW BEST:: SOT 1656809 SOS 913494 HAS SOPS 913494 HAS SOUS 789728 HAS SOUPS 789728 WITH SCORE 790641.494
AT ITER 2480 NEW BEST:: SOT 1656809 SOS 913469 HAS SOPS 913469 HAS SOUS 789724 HAS SOUPS 789724 WITH SCORE 790637.469
AT ITER 2481 NEW BEST:: SOT 1656701 SOS 913133 HAS SOPS 913133 HAS SOUS 789294 HAS SOUPS 789294 WITH SCORE 790207.133
AT ITER 2487 NEW BEST:: SOT 1656701 SOS 912921 HAS SOPS 912921 HAS SOUS 789289 HAS SOUPS 789289 WITH SCORE 790201.921
AT ITER 2490 NEW BEST:: SOT 1656701 SOS 912823 HAS SOPS 912823 HAS SOUS 789191 HAS SOUPS 789191 WITH SCORE 790103.823
AT ITER 2491 NEW BEST:: SOT 1656390 SOS 915524 HAS SOPS 915524 HAS SOUS 789033 HAS SOUPS 789033 WITH SCORE 789948.524
AT ITER 2495 NEW BEST:: SOT 1656390 SOS 915584 HAS SOPS 915584 HAS SOUS 788598 HAS SOUPS 788598 WITH SCORE 789513.584
AT ITER 2496 NEW BEST:: SOT 1655871 SOS 916320 HAS SOPS 916320 HAS SOUS 788425 HAS SOUPS 788425 WITH SCORE 789341.32
AT ITER 2499 NEW BEST:: SOT 1655826 SOS 916305 HAS SOPS 916305 HAS SOUS 788410 HAS SOUPS 788410 WITH SCORE 789326.305
AT ITER 2504 NEW BEST:: SOT 1655011 SOS 916318 HAS SOPS 916318 HAS SOUS 788067 HAS SOUPS 788067 WITH SCORE 788983.318
AT ITER 2507 NEW BEST:: SOT 1655011 SOS 915949 HAS SOPS 915949 HAS SOUS 788067 HAS SOUPS 788067 WITH SCORE 788982.949
AT ITER 2510 NEW BEST:: SOT 1653440 SOS 916779 HAS SOPS 916779 HAS SOUS 786845 HAS SOUPS 786845 WITH SCORE 787761.779
AT ITER 2516 NEW BEST:: SOT 1653440 SOS 916676 HAS SOPS 916676 HAS SOUS 786781 HAS SOUPS 786781 WITH SCORE 787697.676
AT ITER 2520 NEW BEST:: SOT 1653440 SOS 916302 HAS SOPS 916302 HAS SOUS 786781 HAS SOUPS 786781 WITH SCORE 787697.302
AT ITER 2525 NEW BEST:: SOT 1653404 SOS 916364 HAS SOPS 916364 HAS SOUS 786779 HAS SOUPS 786779 WITH SCORE 787695.364
AT ITER 2528 NEW BEST:: SOT 1651782 SOS 916752 HAS SOPS 916752 HAS SOUS 786212 HAS SOUPS 786212 WITH SCORE 787128.752
AT ITER 2537 NEW BEST:: SOT 1651905 SOS 916364 HAS SOPS 916364 HAS SOUS 786091 HAS SOUPS 786091 WITH SCORE 787007.364
AT ITER 2540 NEW BEST:: SOT 1651905 SOS 916359 HAS SOPS 916359 HAS SOUS 786091 HAS SOUPS 786091 WITH SCORE 787007.359
AT ITER 2542 NEW BEST:: SOT 1651905 SOS 916312 HAS SOPS 916312 HAS SOUS 786091 HAS SOUPS 786091 WITH SCORE 787007.312
AT ITER 2543 NEW BEST:: SOT 1651697 SOS 916136 HAS SOPS 916136 HAS SOUS 785915 HAS SOUPS 785915 WITH SCORE 786831.136
AT ITER 2554 NEW BEST:: SOT 1651697 SOS 916091 HAS SOPS 916091 HAS SOUS 785915 HAS SOUPS 785915 WITH SCORE 786831.091
AT ITER 2557 NEW BEST:: SOT 1651485 SOS 915940 HAS SOPS 915940 HAS SOUS 785900 HAS SOUPS 785900 WITH SCORE 786815.94
AT ITER 2558 NEW BEST:: SOT 1651467 SOS 915922 HAS SOPS 915922 HAS SOUS 785882 HAS SOUPS 785882 WITH SCORE 786797.922
AT ITER 2559 NEW BEST:: SOT 1651467 SOS 915846 HAS SOPS 915846 HAS SOUS 785882 HAS SOUPS 785882 WITH SCORE 786797.846
AT ITER 2565 NEW BEST:: SOT 1650848 SOS 915646 HAS SOPS 915646 HAS SOUS 785882 HAS SOUPS 785882 WITH SCORE 786797.646
AT ITER 2574 NEW BEST:: SOT 1649452 SOS 915540 HAS SOPS 915540 HAS SOUS 785612 HAS SOUPS 785612 WITH SCORE 786527.54
AT ITER 2575 NEW BEST:: SOT 1649452 SOS 915442 HAS SOPS 915442 HAS SOUS 785612 HAS SOUPS 785612 WITH SCORE 786527.442
AT ITER 2589 NEW BEST:: SOT 1648765 SOS 914881 HAS SOPS 914881 HAS SOUS 785214 HAS SOUPS 785214 WITH SCORE 786128.881
AT ITER 2601 NEW BEST:: SOT 1648765 SOS 914864 HAS SOPS 914864 HAS SOUS 785214 HAS SOUPS 785214 WITH SCORE 786128.864
AT ITER 2610 NEW BEST:: SOT 1648995 SOS 914894 HAS SOPS 914894 HAS SOUS 785194 HAS SOUPS 785194 WITH SCORE 786108.894
AT ITER 2620 NEW BEST:: SOT 1648254 SOS 914240 HAS SOPS 914240 HAS SOUS 784387 HAS SOUPS 784387 WITH SCORE 785301.24
AT ITER 2626 NEW BEST:: SOT 1648284 SOS 914310 HAS SOPS 914310 HAS SOUS 784268 HAS SOUPS 784268 WITH SCORE 785182.31
AT ITER 2628 NEW BEST:: SOT 1648284 SOS 913710 HAS SOPS 913710 HAS SOUS 784268 HAS SOUPS 784268 WITH SCORE 785181.71
AT ITER 2629 NEW BEST:: SOT 1648000 SOS 914396 HAS SOPS 914396 HAS SOUS 784066 HAS SOUPS 784066 WITH SCORE 784980.396
AT ITER 2644 NEW BEST:: SOT 1647861 SOS 914180 HAS SOPS 914180 HAS SOUS 783882 HAS SOUPS 783882 WITH SCORE 784796.18
AT ITER 2645 NEW BEST:: SOT 1647861 SOS 914177 HAS SOPS 914177 HAS SOUS 783879 HAS SOUPS 783879 WITH SCORE 784793.177
AT ITER 2650 NEW BEST:: SOT 1646904 SOS 913467 HAS SOPS 913467 HAS SOUS 783474 HAS SOUPS 783474 WITH SCORE 784387.467
AT ITER 2656 NEW BEST:: SOT 1646888 SOS 913457 HAS SOPS 913457 HAS SOUS 783395 HAS SOUPS 783395 WITH SCORE 784308.457
AT ITER 2658 NEW BEST:: SOT 1646832 SOS 913289 HAS SOPS 913289 HAS SOUS 783339 HAS SOUPS 783339 WITH SCORE 784252.289
AT ITER 2663 NEW BEST:: SOT 1646787 SOS 913217 HAS SOPS 913217 HAS SOUS 783127 HAS SOUPS 783127 WITH SCORE 784040.217
AT ITER 2671 NEW BEST:: SOT 1646787 SOS 912169 HAS SOPS 912169 HAS SOUS 783020 HAS SOUPS 783020 WITH SCORE 783932.169
AT ITER 2676 NEW BEST:: SOT 1646825 SOS 912504 HAS SOPS 912504 HAS SOUS 783011 HAS SOUPS 783011 WITH SCORE 783923.504
AT ITER 2683 NEW BEST:: SOT 1647682 SOS 911893 HAS SOPS 911893 HAS SOUS 782830 HAS SOUPS 782830 WITH SCORE 783741.893
AT ITER 2686 NEW BEST:: SOT 1647516 SOS 911727 HAS SOPS 911727 HAS SOUS 782504 HAS SOUPS 782504 WITH SCORE 783415.727
AT ITER 2689 NEW BEST:: SOT 1647516 SOS 911528 HAS SOPS 911528 HAS SOUS 782504 HAS SOUPS 782504 WITH SCORE 783415.528
AT ITER 2693 NEW BEST:: SOT 1647469 SOS 911481 HAS SOPS 911481 HAS SOUS 782353 HAS SOUPS 782353 WITH SCORE 783264.481
AT ITER 2700 NEW BEST:: SOT 1645671 SOS 909952 HAS SOPS 909952 HAS SOUS 781033 HAS SOUPS 781033 WITH SCORE 781942.952
AT ITER 2716 NEW BEST:: SOT 1645455 SOS 909736 HAS SOPS 909736 HAS SOUS 780817 HAS SOUPS 780817 WITH SCORE 781726.736
AT ITER 2717 NEW BEST:: SOT 1645455 SOS 909789 HAS SOPS 909789 HAS SOUS 780762 HAS SOUPS 780762 WITH SCORE 781671.789
AT ITER 2721 NEW BEST:: SOT 1645455 SOS 909734 HAS SOPS 909734 HAS SOUS 780762 HAS SOUPS 780762 WITH SCORE 781671.734
AT ITER 2729 NEW BEST:: SOT 1644598 SOS 910926 HAS SOPS 910926 HAS SOUS 780687 HAS SOUPS 780687 WITH SCORE 781597.926
AT ITER 2730 NEW BEST:: SOT 1644600 SOS 910440 HAS SOPS 910440 HAS SOUS 780009 HAS SOUPS 780009 WITH SCORE 780919.44
AT ITER 2731 NEW BEST:: SOT 1644600 SOS 910416 HAS SOPS 910416 HAS SOUS 780009 HAS SOUPS 780009 WITH SCORE 780919.416
AT ITER 2743 NEW BEST:: SOT 1642812 SOS 909064 HAS SOPS 909064 HAS SOUS 778576 HAS SOUPS 778576 WITH SCORE 779485.064
AT ITER 2748 NEW BEST:: SOT 1642829 SOS 909081 HAS SOPS 909081 HAS SOUS 778456 HAS SOUPS 778456 WITH SCORE 779365.081
AT ITER 2751 NEW BEST:: SOT 1642856 SOS 909532 HAS SOPS 909532 HAS SOUS 778424 HAS SOUPS 778424 WITH SCORE 779333.532
AT ITER 2754 NEW BEST:: SOT 1642856 SOS 909223 HAS SOPS 909223 HAS SOUS 778403 HAS SOUPS 778403 WITH SCORE 779312.223
AT ITER 2755 NEW BEST:: SOT 1642856 SOS 909160 HAS SOPS 909160 HAS SOUS 778403 HAS SOUPS 778403 WITH SCORE 779312.16
AT ITER 2756 NEW BEST:: SOT 1642856 SOS 909111 HAS SOPS 909111 HAS SOUS 778395 HAS SOUPS 778395 WITH SCORE 779304.111
AT ITER 2761 NEW BEST:: SOT 1642460 SOS 908975 HAS SOPS 908975 HAS SOUS 778111 HAS SOUPS 778111 WITH SCORE 779019.975
AT ITER 2764 NEW BEST:: SOT 1642460 SOS 908695 HAS SOPS 908695 HAS SOUS 778111 HAS SOUPS 778111 WITH SCORE 779019.695
AT ITER 2769 NEW BEST:: SOT 1642431 SOS 908666 HAS SOPS 908666 HAS SOUS 778082 HAS SOUPS 778082 WITH SCORE 778990.666
AT ITER 2771 NEW BEST:: SOT 1642431 SOS 908666 HAS SOPS 908666 HAS SOUS 778030 HAS SOUPS 778030 WITH SCORE 778938.666
AT ITER 2773 NEW BEST:: SOT 1642431 SOS 908639 HAS SOPS 908639 HAS SOUS 778030 HAS SOUPS 778030 WITH SCORE 778938.639
AT ITER 2784 NEW BEST:: SOT 1642431 SOS 908484 HAS SOPS 908484 HAS SOUS 778030 HAS SOUPS 778030 WITH SCORE 778938.484
AT ITER 2802 NEW BEST:: SOT 1642396 SOS 908220 HAS SOPS 908220 HAS SOUS 777781 HAS SOUPS 777781 WITH SCORE 778689.22
AT ITER 2805 NEW BEST:: SOT 1642329 SOS 908153 HAS SOPS 908153 HAS SOUS 777714 HAS SOUPS 777714 WITH SCORE 778622.153
AT ITER 2817 NEW BEST:: SOT 1641921 SOS 908972 HAS SOPS 908972 HAS SOUS 777387 HAS SOUPS 777387 WITH SCORE 778295.972
AT ITER 2826 NEW BEST:: SOT 1641970 SOS 908359 HAS SOPS 908359 HAS SOUS 777258 HAS SOUPS 777258 WITH SCORE 778166.359
AT ITER 2830 NEW BEST:: SOT 1640768 SOS 907425 HAS SOPS 907425 HAS SOUS 776730 HAS SOUPS 776730 WITH SCORE 777637.425
AT ITER 2835 NEW BEST:: SOT 1640749 SOS 908274 HAS SOPS 908274 HAS SOUS 776711 HAS SOUPS 776711 WITH SCORE 777619.274
AT ITER 2842 NEW BEST:: SOT 1640929 SOS 908173 HAS SOPS 908173 HAS SOUS 776606 HAS SOUPS 776606 WITH SCORE 777514.173
AT ITER 2843 NEW BEST:: SOT 1640898 SOS 908054 HAS SOPS 908054 HAS SOUS 776543 HAS SOUPS 776543 WITH SCORE 777451.054
AT ITER 2851 NEW BEST:: SOT 1640898 SOS 907962 HAS SOPS 907962 HAS SOUS 776401 HAS SOUPS 776401 WITH SCORE 777308.962
AT ITER 2852 NEW BEST:: SOT 1640853 SOS 907917 HAS SOPS 907917 HAS SOUS 776356 HAS SOUPS 776356 WITH SCORE 777263.917
AT ITER 2865 NEW BEST:: SOT 1640765 SOS 907829 HAS SOPS 907829 HAS SOUS 776164 HAS SOUPS 776164 WITH SCORE 777071.829
AT ITER 2866 NEW BEST:: SOT 1640765 SOS 907679 HAS SOPS 907679 HAS SOUS 776014 HAS SOUPS 776014 WITH SCORE 776921.679
AT ITER 2867 NEW BEST:: SOT 1640733 SOS 907748 HAS SOPS 907748 HAS SOUS 775781 HAS SOUPS 775781 WITH SCORE 776688.748
AT ITER 2869 NEW BEST:: SOT 1640713 SOS 908017 HAS SOPS 908017 HAS SOUS 775761 HAS SOUPS 775761 WITH SCORE 776669.017
AT ITER 2876 NEW BEST:: SOT 1640528 SOS 907389 HAS SOPS 907389 HAS SOUS 775479 HAS SOUPS 775479 WITH SCORE 776386.389
AT ITER 2880 NEW BEST:: SOT 1640457 SOS 907109 HAS SOPS 907109 HAS SOUS 775311 HAS SOUPS 775311 WITH SCORE 776218.109
AT ITER 2884 NEW BEST:: SOT 1640457 SOS 906534 HAS SOPS 906534 HAS SOUS 775221 HAS SOUPS 775221 WITH SCORE 776127.534
AT ITER 2888 NEW BEST:: SOT 1640344 SOS 906616 HAS SOPS 906616 HAS SOUS 775110 HAS SOUPS 775110 WITH SCORE 776016.616
AT ITER 2895 NEW BEST:: SOT 1639850 SOS 906228 HAS SOPS 906228 HAS SOUS 774766 HAS SOUPS 774766 WITH SCORE 775672.228
AT ITER 2899 NEW BEST:: SOT 1639732 SOS 906523 HAS SOPS 906523 HAS SOUS 774609 HAS SOUPS 774609 WITH SCORE 775515.523
AT ITER 2900 NEW BEST:: SOT 1639732 SOS 906694 HAS SOPS 906694 HAS SOUS 774430 HAS SOUPS 774430 WITH SCORE 775336.694
AT ITER 2907 NEW BEST:: SOT 1639519 SOS 906241 HAS SOPS 906241 HAS SOUS 773974 HAS SOUPS 773974 WITH SCORE 774880.241
AT ITER 2910 NEW BEST:: SOT 1639519 SOS 906226 HAS SOPS 906226 HAS SOUS 773974 HAS SOUPS 773974 WITH SCORE 774880.226
AT ITER 2913 NEW BEST:: SOT 1639225 SOS 906489 HAS SOPS 906489 HAS SOUS 773761 HAS SOUPS 773761 WITH SCORE 774667.489
AT ITER 2916 NEW BEST:: SOT 1638639 SOS 906237 HAS SOPS 906237 HAS SOUS 773411 HAS SOUPS 773411 WITH SCORE 774317.237
AT ITER 2919 NEW BEST:: SOT 1638639 SOS 906237 HAS SOPS 906237 HAS SOUS 773378 HAS SOUPS 773378 WITH SCORE 774284.237
AT ITER 2925 NEW BEST:: SOT 1636932 SOS 905047 HAS SOPS 905047 HAS SOUS 772050 HAS SOUPS 772050 WITH SCORE 772955.047
AT ITER 2930 NEW BEST:: SOT 1637180 SOS 905252 HAS SOPS 905252 HAS SOUS 772020 HAS SOUPS 772020 WITH SCORE 772925.252
AT ITER 2941 NEW BEST:: SOT 1637290 SOS 905245 HAS SOPS 905245 HAS SOUS 771787 HAS SOUPS 771787 WITH SCORE 772692.245
AT ITER 2945 NEW BEST:: SOT 1637340 SOS 905155 HAS SOPS 905155 HAS SOUS 771697 HAS SOUPS 771697 WITH SCORE 772602.155
AT ITER 2947 NEW BEST:: SOT 1637340 SOS 904936 HAS SOPS 904936 HAS SOUS 771697 HAS SOUPS 771697 WITH SCORE 772601.936
AT ITER 2951 NEW BEST:: SOT 1637340 SOS 904689 HAS SOPS 904689 HAS SOUS 771697 HAS SOUPS 771697 WITH SCORE 772601.689
AT ITER 2961 NEW BEST:: SOT 1637052 SOS 904815 HAS SOPS 904815 HAS SOUS 771409 HAS SOUPS 771409 WITH SCORE 772313.815
AT ITER 2968 NEW BEST:: SOT 1637052 SOS 904715 HAS SOPS 904715 HAS SOUS 771409 HAS SOUPS 771409 WITH SCORE 772313.715
AT ITER 2969 NEW BEST:: SOT 1636683 SOS 906376 HAS SOPS 906376 HAS SOUS 771330 HAS SOUPS 771330 WITH SCORE 772236.376
AT ITER 2972 NEW BEST:: SOT 1634097 SOS 904281 HAS SOPS 904281 HAS SOUS 769360 HAS SOUPS 769360 WITH SCORE 770264.281
AT ITER 2974 NEW BEST:: SOT 1634022 SOS 904219 HAS SOPS 904219 HAS SOUS 769298 HAS SOUPS 769298 WITH SCORE 770202.219
AT ITER 2979 NEW BEST:: SOT 1634022 SOS 904526 HAS SOPS 904526 HAS SOUS 769287 HAS SOUPS 769287 WITH SCORE 770191.526
AT ITER 2990 NEW BEST:: SOT 1633622 SOS 903106 HAS SOPS 903106 HAS SOUS 768964 HAS SOUPS 768964 WITH SCORE 769867.106
AT ITER 2995 NEW BEST:: SOT 1633622 SOS 903106 HAS SOPS 903106 HAS SOUS 768949 HAS SOUPS 768949 WITH SCORE 769852.106
AT ITER 3002 NEW BEST:: SOT 1632107 SOS 902736 HAS SOPS 902736 HAS SOUS 767564 HAS SOUPS 767564 WITH SCORE 768466.736
AT ITER 3003 NEW BEST:: SOT 1631329 SOS 903647 HAS SOPS 903647 HAS SOUS 767450 HAS SOUPS 767450 WITH SCORE 768353.647
AT ITER 3015 NEW BEST:: SOT 1631043 SOS 903442 HAS SOPS 903442 HAS SOUS 767333 HAS SOUPS 767333 WITH SCORE 768236.442
AT ITER 3018 NEW BEST:: SOT 1631043 SOS 903326 HAS SOPS 903326 HAS SOUS 767333 HAS SOUPS 767333 WITH SCORE 768236.326
AT ITER 3020 NEW BEST:: SOT 1630552 SOS 903095 HAS SOPS 903095 HAS SOUS 767070 HAS SOUPS 767070 WITH SCORE 767973.095
AT ITER 3024 NEW BEST:: SOT 1630552 SOS 903049 HAS SOPS 903049 HAS SOUS 767070 HAS SOUPS 767070 WITH SCORE 767973.049
AT ITER 3029 NEW BEST:: SOT 1630494 SOS 902991 HAS SOPS 902991 HAS SOUS 767012 HAS SOUPS 767012 WITH SCORE 767914.991
AT ITER 3047 NEW BEST:: SOT 1630494 SOS 902915 HAS SOPS 902915 HAS SOUS 767012 HAS SOUPS 767012 WITH SCORE 767914.915
AT ITER 3051 NEW BEST:: SOT 1630306 SOS 902634 HAS SOPS 902634 HAS SOUS 766621 HAS SOUPS 766621 WITH SCORE 767523.634
AT ITER 3064 NEW BEST:: SOT 1630393 SOS 902373 HAS SOPS 902373 HAS SOUS 766450 HAS SOUPS 766450 WITH SCORE 767352.373
AT ITER 3067 NEW BEST:: SOT 1630393 SOS 902250 HAS SOPS 902250 HAS SOUS 766327 HAS SOUPS 766327 WITH SCORE 767229.25
AT ITER 3074 NEW BEST:: SOT 1630393 SOS 901924 HAS SOPS 901924 HAS SOUS 766327 HAS SOUPS 766327 WITH SCORE 767228.924
AT ITER 3086 NEW BEST:: SOT 1630393 SOS 901793 HAS SOPS 901793 HAS SOUS 766223 HAS SOUPS 766223 WITH SCORE 767124.793
AT ITER 3087 NEW BEST:: SOT 1630290 SOS 901292 HAS SOPS 901292 HAS SOUS 765989 HAS SOUPS 765989 WITH SCORE 766890.292
AT ITER 3088 NEW BEST:: SOT 1630290 SOS 901292 HAS SOPS 901292 HAS SOUS 765986 HAS SOUPS 765986 WITH SCORE 766887.292
AT ITER 3091 NEW BEST:: SOT 1628703 SOS 904970 HAS SOPS 904970 HAS SOUS 765713 HAS SOUPS 765713 WITH SCORE 766617.97
AT ITER 3093 NEW BEST:: SOT 1628703 SOS 904770 HAS SOPS 904770 HAS SOUS 765713 HAS SOUPS 765713 WITH SCORE 766617.77
AT ITER 3100 NEW BEST:: SOT 1628390 SOS 906921 HAS SOPS 906921 HAS SOUS 765554 HAS SOUPS 765554 WITH SCORE 766460.921
AT ITER 3105 NEW BEST:: SOT 1628390 SOS 906631 HAS SOPS 906631 HAS SOUS 765554 HAS SOUPS 765554 WITH SCORE 766460.631
AT ITER 3110 NEW BEST:: SOT 1628572 SOS 906989 HAS SOPS 906989 HAS SOUS 765316 HAS SOUPS 765316 WITH SCORE 766222.989
AT ITER 3111 NEW BEST:: SOT 1628602 SOS 907087 HAS SOPS 907087 HAS SOUS 765247 HAS SOUPS 765247 WITH SCORE 766154.087
AT ITER 3117 NEW BEST:: SOT 1628460 SOS 907210 HAS SOPS 907210 HAS SOUS 765221 HAS SOUPS 765221 WITH SCORE 766128.21
AT ITER 3119 NEW BEST:: SOT 1628859 SOS 908326 HAS SOPS 908326 HAS SOUS 764986 HAS SOUPS 764986 WITH SCORE 765894.326
AT ITER 3132 NEW BEST:: SOT 1628859 SOS 907936 HAS SOPS 907936 HAS SOUS 764986 HAS SOUPS 764986 WITH SCORE 765893.936
AT ITER 3133 NEW BEST:: SOT 1628859 SOS 908258 HAS SOPS 908258 HAS SOUS 764985 HAS SOUPS 764985 WITH SCORE 765893.258
AT ITER 3136 NEW BEST:: SOT 1628859 SOS 908214 HAS SOPS 908214 HAS SOUS 764985 HAS SOUPS 764985 WITH SCORE 765893.214
AT ITER 3147 NEW BEST:: SOT 1628793 SOS 908116 HAS SOPS 908116 HAS SOUS 764886 HAS SOUPS 764886 WITH SCORE 765794.116
AT ITER 3152 NEW BEST:: SOT 1628793 SOS 907996 HAS SOPS 907996 HAS SOUS 764810 HAS SOUPS 764810 WITH SCORE 765717.996
AT ITER 3153 NEW BEST:: SOT 1628793 SOS 907996 HAS SOPS 907996 HAS SOUS 764524 HAS SOUPS 764524 WITH SCORE 765431.996
AT ITER 3165 NEW BEST:: SOT 1628793 SOS 907847 HAS SOPS 907847 HAS SOUS 764524 HAS SOUPS 764524 WITH SCORE 765431.847
AT ITER 3182 NEW BEST:: SOT 1627865 SOS 911122 HAS SOPS 911122 HAS SOUS 764397 HAS SOUPS 764397 WITH SCORE 765308.122
AT ITER 3185 NEW BEST:: SOT 1627850 SOS 911107 HAS SOPS 911107 HAS SOUS 764382 HAS SOUPS 764382 WITH SCORE 765293.107
AT ITER 3189 NEW BEST:: SOT 1627850 SOS 910751 HAS SOPS 910751 HAS SOUS 764382 HAS SOUPS 764382 WITH SCORE 765292.751
AT ITER 3200 NEW BEST:: SOT 1627850 SOS 910708 HAS SOPS 910708 HAS SOUS 764382 HAS SOUPS 764382 WITH SCORE 765292.708
AT ITER 3238 NEW BEST:: SOT 1627680 SOS 910201 HAS SOPS 910201 HAS SOUS 764097 HAS SOUPS 764097 WITH SCORE 765007.201
AT ITER 3240 NEW BEST:: SOT 1625882 SOS 909540 HAS SOPS 909540 HAS SOUS 763528 HAS SOUPS 763528 WITH SCORE 764437.54
AT ITER 3242 NEW BEST:: SOT 1625882 SOS 909657 HAS SOPS 909657 HAS SOUS 763496 HAS SOUPS 763496 WITH SCORE 764405.657
AT ITER 3246 NEW BEST:: SOT 1625804 SOS 909579 HAS SOPS 909579 HAS SOUS 763418 HAS SOUPS 763418 WITH SCORE 764327.579
AT ITER 3254 NEW BEST:: SOT 1625801 SOS 909576 HAS SOPS 909576 HAS SOUS 763415 HAS SOUPS 763415 WITH SCORE 764324.576
AT ITER 3256 NEW BEST:: SOT 1625863 SOS 909612 HAS SOPS 909612 HAS SOUS 763284 HAS SOUPS 763284 WITH SCORE 764193.612
AT ITER 3267 NEW BEST:: SOT 1625863 SOS 909737 HAS SOPS 909737 HAS SOUS 763279 HAS SOUPS 763279 WITH SCORE 764188.737
AT ITER 3288 NEW BEST:: SOT 1625851 SOS 909725 HAS SOPS 909725 HAS SOUS 763267 HAS SOUPS 763267 WITH SCORE 764176.725
AT ITER 3292 NEW BEST:: SOT 1625722 SOS 909647 HAS SOPS 909647 HAS SOUS 763228 HAS SOUPS 763228 WITH SCORE 764137.647
AT ITER 3296 NEW BEST:: SOT 1625954 SOS 909768 HAS SOPS 909768 HAS SOUS 763189 HAS SOUPS 763189 WITH SCORE 764098.768
AT ITER 3300 NEW BEST:: SOT 1623674 SOS 908065 HAS SOPS 908065 HAS SOUS 761236 HAS SOUPS 761236 WITH SCORE 762144.065
AT ITER 3307 NEW BEST:: SOT 1623674 SOS 907973 HAS SOPS 907973 HAS SOUS 761144 HAS SOUPS 761144 WITH SCORE 762051.973
AT ITER 3318 NEW BEST:: SOT 1623596 SOS 909530 HAS SOPS 909530 HAS SOUS 761120 HAS SOUPS 761120 WITH SCORE 762029.53
AT ITER 3327 NEW BEST:: SOT 1623596 SOS 909309 HAS SOPS 909309 HAS SOUS 761120 HAS SOUPS 761120 WITH SCORE 762029.309
AT ITER 3333 NEW BEST:: SOT 1623594 SOS 908906 HAS SOPS 908906 HAS SOUS 761032 HAS SOUPS 761032 WITH SCORE 761940.906
AT ITER 3335 NEW BEST:: SOT 1622655 SOS 911825 HAS SOPS 911825 HAS SOUS 760998 HAS SOUPS 760998 WITH SCORE 761909.825
AT ITER 3344 NEW BEST:: SOT 1622243 SOS 911413 HAS SOPS 911413 HAS SOUS 760560 HAS SOUPS 760560 WITH SCORE 761471.413
AT ITER 3345 NEW BEST:: SOT 1621356 SOS 910916 HAS SOPS 910916 HAS SOUS 759840 HAS SOUPS 759840 WITH SCORE 760750.916
AT ITER 3358 NEW BEST:: SOT 1620792 SOS 910123 HAS SOPS 910123 HAS SOUS 759355 HAS SOUPS 759355 WITH SCORE 760265.123
AT ITER 3360 NEW BEST:: SOT 1620644 SOS 910049 HAS SOPS 910049 HAS SOUS 759281 HAS SOUPS 759281 WITH SCORE 760191.049
AT ITER 3362 NEW BEST:: SOT 1620644 SOS 910025 HAS SOPS 910025 HAS SOUS 759281 HAS SOUPS 759281 WITH SCORE 760191.025
AT ITER 3369 NEW BEST:: SOT 1620396 SOS 911044 HAS SOPS 911044 HAS SOUS 759212 HAS SOUPS 759212 WITH SCORE 760123.044
AT ITER 3376 NEW BEST:: SOT 1620396 SOS 910972 HAS SOPS 910972 HAS SOUS 759176 HAS SOUPS 759176 WITH SCORE 760086.972
AT ITER 3382 NEW BEST:: SOT 1619596 SOS 911089 HAS SOPS 911089 HAS SOUS 758549 HAS SOUPS 758549 WITH SCORE 759460.089
AT ITER 3397 NEW BEST:: SOT 1619596 SOS 911012 HAS SOPS 911012 HAS SOUS 758493 HAS SOUPS 758493 WITH SCORE 759404.012
AT ITER 3401 NEW BEST:: SOT 1617384 SOS 910946 HAS SOPS 910946 HAS SOUS 757939 HAS SOUPS 757939 WITH SCORE 758849.946
AT ITER 3411 NEW BEST:: SOT 1617404 SOS 907358 HAS SOPS 907358 HAS SOUS 757058 HAS SOUPS 757058 WITH SCORE 757965.358
AT ITER 3413 NEW BEST:: SOT 1617404 SOS 907188 HAS SOPS 907188 HAS SOUS 757058 HAS SOUPS 757058 WITH SCORE 757965.188
AT ITER 3418 NEW BEST:: SOT 1617123 SOS 907702 HAS SOPS 907702 HAS SOUS 756918 HAS SOUPS 756918 WITH SCORE 757825.702
AT ITER 3419 NEW BEST:: SOT 1617080 SOS 907659 HAS SOPS 907659 HAS SOUS 756875 HAS SOUPS 756875 WITH SCORE 757782.659
AT ITER 3420 NEW BEST:: SOT 1617042 SOS 907056 HAS SOPS 907056 HAS SOUS 756460 HAS SOUPS 756460 WITH SCORE 757367.056
AT ITER 3430 NEW BEST:: SOT 1616674 SOS 907922 HAS SOPS 907922 HAS SOUS 756357 HAS SOUPS 756357 WITH SCORE 757264.922
AT ITER 3431 NEW BEST:: SOT 1616674 SOS 908285 HAS SOPS 908285 HAS SOUS 756324 HAS SOUPS 756324 WITH SCORE 757232.285
AT ITER 3435 NEW BEST:: SOT 1616674 SOS 908401 HAS SOPS 908401 HAS SOUS 756276 HAS SOUPS 756276 WITH SCORE 757184.401
AT ITER 3437 NEW BEST:: SOT 1616817 SOS 908339 HAS SOPS 908339 HAS SOUS 756027 HAS SOUPS 756027 WITH SCORE 756935.339
AT ITER 3444 NEW BEST:: SOT 1616401 SOS 908011 HAS SOPS 908011 HAS SOUS 755715 HAS SOUPS 755715 WITH SCORE 756623.011
AT ITER 3446 NEW BEST:: SOT 1616401 SOS 908196 HAS SOPS 908196 HAS SOUS 755634 HAS SOUPS 755634 WITH SCORE 756542.196
AT ITER 3447 NEW BEST:: SOT 1616380 SOS 908175 HAS SOPS 908175 HAS SOUS 755603 HAS SOUPS 755603 WITH SCORE 756511.175
AT ITER 3448 NEW BEST:: SOT 1616403 SOS 907395 HAS SOPS 907395 HAS SOUS 755470 HAS SOUPS 755470 WITH SCORE 756377.395
AT ITER 3452 NEW BEST:: SOT 1615898 SOS 908436 HAS SOPS 908436 HAS SOUS 755371 HAS SOUPS 755371 WITH SCORE 756279.436
AT ITER 3456 NEW BEST:: SOT 1615603 SOS 907677 HAS SOPS 907677 HAS SOUS 754771 HAS SOUPS 754771 WITH SCORE 755678.677
AT ITER 3459 NEW BEST:: SOT 1615569 SOS 907679 HAS SOPS 907679 HAS SOUS 754716 HAS SOUPS 754716 WITH SCORE 755623.679
AT ITER 3464 NEW BEST:: SOT 1615569 SOS 907670 HAS SOPS 907670 HAS SOUS 754716 HAS SOUPS 754716 WITH SCORE 755623.67
AT ITER 3465 NEW BEST:: SOT 1615453 SOS 907081 HAS SOPS 907081 HAS SOUS 754666 HAS SOUPS 754666 WITH SCORE 755573.081
AT ITER 3475 NEW BEST:: SOT 1614176 SOS 909029 HAS SOPS 909029 HAS SOUS 754054 HAS SOUPS 754054 WITH SCORE 754963.029
AT ITER 3493 NEW BEST:: SOT 1614176 SOS 908988 HAS SOPS 908988 HAS SOUS 754054 HAS SOUPS 754054 WITH SCORE 754962.988
AT ITER 3508 NEW BEST:: SOT 1614123 SOS 910713 HAS SOPS 910713 HAS SOUS 754027 HAS SOUPS 754027 WITH SCORE 754937.713
AT ITER 3514 NEW BEST:: SOT 1613889 SOS 910239 HAS SOPS 910239 HAS SOUS 753553 HAS SOUPS 753553 WITH SCORE 754463.239
AT ITER 3519 NEW BEST:: SOT 1614813 SOS 908773 HAS SOPS 908773 HAS SOUS 753452 HAS SOUPS 753452 WITH SCORE 754360.773
AT ITER 3539 NEW BEST:: SOT 1614813 SOS 908650 HAS SOPS 908650 HAS SOUS 753452 HAS SOUPS 753452 WITH SCORE 754360.65
AT ITER 3540 NEW BEST:: SOT 1614732 SOS 908590 HAS SOPS 908590 HAS SOUS 753373 HAS SOUPS 753373 WITH SCORE 754281.59
AT ITER 3545 NEW BEST:: SOT 1614532 SOS 908290 HAS SOPS 908290 HAS SOUS 753144 HAS SOUPS 753144 WITH SCORE 754052.29
AT ITER 3546 NEW BEST:: SOT 1614522 SOS 908255 HAS SOPS 908255 HAS SOUS 753134 HAS SOUPS 753134 WITH SCORE 754042.255
AT ITER 3556 NEW BEST:: SOT 1614023 SOS 907906 HAS SOPS 907906 HAS SOUS 753009 HAS SOUPS 753009 WITH SCORE 753916.906
AT ITER 3558 NEW BEST:: SOT 1612521 SOS 909582 HAS SOPS 909582 HAS SOUS 752305 HAS SOUPS 752305 WITH SCORE 753214.582
AT ITER 3560 NEW BEST:: SOT 1610854 SOS 908125 HAS SOPS 908125 HAS SOUS 750958 HAS SOUPS 750958 WITH SCORE 751866.125
AT ITER 3571 NEW BEST:: SOT 1610854 SOS 908068 HAS SOPS 908068 HAS SOUS 750861 HAS SOUPS 750861 WITH SCORE 751769.068
AT ITER 3576 NEW BEST:: SOT 1610854 SOS 907992 HAS SOPS 907992 HAS SOUS 750802 HAS SOUPS 750802 WITH SCORE 751709.992
AT ITER 3586 NEW BEST:: SOT 1610854 SOS 907790 HAS SOPS 907790 HAS SOUS 750677 HAS SOUPS 750677 WITH SCORE 751584.79
AT ITER 3591 NEW BEST:: SOT 1610441 SOS 907441 HAS SOPS 907441 HAS SOUS 749916 HAS SOUPS 749916 WITH SCORE 750823.441
AT ITER 3593 NEW BEST:: SOT 1610441 SOS 907383 HAS SOPS 907383 HAS SOUS 749916 HAS SOUPS 749916 WITH SCORE 750823.383
AT ITER 3622 NEW BEST:: SOT 1610441 SOS 906963 HAS SOPS 906963 HAS SOUS 749916 HAS SOUPS 749916 WITH SCORE 750822.963
AT ITER 3629 NEW BEST:: SOT 1610441 SOS 906875 HAS SOPS 906875 HAS SOUS 749739 HAS SOUPS 749739 WITH SCORE 750645.875
AT ITER 3643 NEW BEST:: SOT 1610387 SOS 906821 HAS SOPS 906821 HAS SOUS 749654 HAS SOUPS 749654 WITH SCORE 750560.821
AT ITER 3646 NEW BEST:: SOT 1609933 SOS 906529 HAS SOPS 906529 HAS SOUS 749362 HAS SOUPS 749362 WITH SCORE 750268.529
AT ITER 3649 NEW BEST:: SOT 1609567 SOS 906365 HAS SOPS 906365 HAS SOUS 749198 HAS SOUPS 749198 WITH SCORE 750104.365
AT ITER 3656 NEW BEST:: SOT 1608292 SOS 906781 HAS SOPS 906781 HAS SOUS 748256 HAS SOUPS 748256 WITH SCORE 749162.781
AT ITER 3669 NEW BEST:: SOT 1608292 SOS 906907 HAS SOPS 906907 HAS SOUS 748088 HAS SOUPS 748088 WITH SCORE 748994.907
AT ITER 3670 NEW BEST:: SOT 1608292 SOS 903709 HAS SOPS 903709 HAS SOUS 748088 HAS SOUPS 748088 WITH SCORE 748991.709
AT ITER 3671 NEW BEST:: SOT 1608037 SOS 903393 HAS SOPS 903393 HAS SOUS 747692 HAS SOUPS 747692 WITH SCORE 748595.393
AT ITER 3672 NEW BEST:: SOT 1607923 SOS 903703 HAS SOPS 903703 HAS SOUS 747578 HAS SOUPS 747578 WITH SCORE 748481.703
AT ITER 3676 NEW BEST:: SOT 1607923 SOS 902817 HAS SOPS 902817 HAS SOUS 747567 HAS SOUPS 747567 WITH SCORE 748469.817
AT ITER 3688 NEW BEST:: SOT 1605395 SOS 904055 HAS SOPS 904055 HAS SOUS 746830 HAS SOUPS 746830 WITH SCORE 747734.055
AT ITER 3694 NEW BEST:: SOT 1606121 SOS 903515 HAS SOPS 903515 HAS SOUS 746807 HAS SOUPS 746807 WITH SCORE 747710.515
AT ITER 3697 NEW BEST:: SOT 1606278 SOS 903408 HAS SOPS 903408 HAS SOUS 746743 HAS SOUPS 746743 WITH SCORE 747646.408
AT ITER 3702 NEW BEST:: SOT 1606201 SOS 903287 HAS SOPS 903287 HAS SOUS 746489 HAS SOUPS 746489 WITH SCORE 747392.287
AT ITER 3703 NEW BEST:: SOT 1606205 SOS 903266 HAS SOPS 903266 HAS SOUS 746444 HAS SOUPS 746444 WITH SCORE 747347.266
AT ITER 3719 NEW BEST:: SOT 1606205 SOS 903260 HAS SOPS 903260 HAS SOUS 746438 HAS SOUPS 746438 WITH SCORE 747341.26
AT ITER 3722 NEW BEST:: SOT 1606002 SOS 904398 HAS SOPS 904398 HAS SOUS 746253 HAS SOUPS 746253 WITH SCORE 747157.398
AT ITER 3723 NEW BEST:: SOT 1606002 SOS 904452 HAS SOPS 904452 HAS SOUS 746187 HAS SOUPS 746187 WITH SCORE 747091.452
AT ITER 3728 NEW BEST:: SOT 1606002 SOS 904261 HAS SOPS 904261 HAS SOUS 746187 HAS SOUPS 746187 WITH SCORE 747091.261
AT ITER 3730 NEW BEST:: SOT 1605638 SOS 903122 HAS SOPS 903122 HAS SOUS 745497 HAS SOUPS 745497 WITH SCORE 746400.122
AT ITER 3738 NEW BEST:: SOT 1605638 SOS 902981 HAS SOPS 902981 HAS SOUS 745497 HAS SOUPS 745497 WITH SCORE 746399.981
AT ITER 3741 NEW BEST:: SOT 1605038 SOS 902483 HAS SOPS 902483 HAS SOUS 745044 HAS SOUPS 745044 WITH SCORE 745946.483
AT ITER 3747 NEW BEST:: SOT 1603552 SOS 902050 HAS SOPS 902050 HAS SOUS 744999 HAS SOUPS 744999 WITH SCORE 745901.05
AT ITER 3753 NEW BEST:: SOT 1603140 SOS 901692 HAS SOPS 901692 HAS SOUS 744997 HAS SOUPS 744997 WITH SCORE 745898.692
AT ITER 3767 NEW BEST:: SOT 1603140 SOS 901654 HAS SOPS 901654 HAS SOUS 744997 HAS SOUPS 744997 WITH SCORE 745898.654
AT ITER 3801 NEW BEST:: SOT 1603192 SOS 901741 HAS SOPS 901741 HAS SOUS 744817 HAS SOUPS 744817 WITH SCORE 745718.741
AT ITER 3809 NEW BEST:: SOT 1602125 SOS 901812 HAS SOPS 901812 HAS SOUS 744663 HAS SOUPS 744663 WITH SCORE 745564.812
AT ITER 3810 NEW BEST:: SOT 1602125 SOS 901717 HAS SOPS 901717 HAS SOUS 744663 HAS SOUPS 744663 WITH SCORE 745564.717
AT ITER 3811 NEW BEST:: SOT 1602033 SOS 901648 HAS SOPS 901648 HAS SOUS 744594 HAS SOUPS 744594 WITH SCORE 745495.648
AT ITER 3814 NEW BEST:: SOT 1602033 SOS 901417 HAS SOPS 901417 HAS SOUS 744594 HAS SOUPS 744594 WITH SCORE 745495.417
AT ITER 3825 NEW BEST:: SOT 1601993 SOS 901598 HAS SOPS 901598 HAS SOUS 744586 HAS SOUPS 744586 WITH SCORE 745487.598
AT ITER 3838 NEW BEST:: SOT 1602102 SOS 901768 HAS SOPS 901768 HAS SOUS 744383 HAS SOUPS 744383 WITH SCORE 745284.768
AT ITER 3847 NEW BEST:: SOT 1602086 SOS 901756 HAS SOPS 901756 HAS SOUS 744375 HAS SOUPS 744375 WITH SCORE 745276.756
AT ITER 3848 NEW BEST:: SOT 1601869 SOS 901577 HAS SOPS 901577 HAS SOUS 744196 HAS SOUPS 744196 WITH SCORE 745097.577
AT ITER 3852 NEW BEST:: SOT 1601869 SOS 901389 HAS SOPS 901389 HAS SOUS 744196 HAS SOUPS 744196 WITH SCORE 745097.389
AT ITER 3854 NEW BEST:: SOT 1601869 SOS 901302 HAS SOPS 901302 HAS SOUS 744196 HAS SOUPS 744196 WITH SCORE 745097.302
AT ITER 3861 NEW BEST:: SOT 1601869 SOS 901207 HAS SOPS 901207 HAS SOUS 744196 HAS SOUPS 744196 WITH SCORE 745097.207
AT ITER 3867 NEW BEST:: SOT 1601869 SOS 901146 HAS SOPS 901146 HAS SOUS 744196 HAS SOUPS 744196 WITH SCORE 745097.146
AT ITER 3871 NEW BEST:: SOT 1601869 SOS 901131 HAS SOPS 901131 HAS SOUS 744196 HAS SOUPS 744196 WITH SCORE 745097.131
AT ITER 3883 NEW BEST:: SOT 1601439 SOS 901131 HAS SOPS 901131 HAS SOUS 743887 HAS SOUPS 743887 WITH SCORE 744788.131
AT ITER 3900 NEW BEST:: SOT 1601439 SOS 901155 HAS SOPS 901155 HAS SOUS 743810 HAS SOUPS 743810 WITH SCORE 744711.155
AT ITER 3909 NEW BEST:: SOT 1598640 SOS 900775 HAS SOPS 900775 HAS SOUS 742474 HAS SOUPS 742474 WITH SCORE 743374.775
AT ITER 3910 NEW BEST:: SOT 1598209 SOS 901451 HAS SOPS 901451 HAS SOUS 742345 HAS SOUPS 742345 WITH SCORE 743246.451
AT ITER 3912 NEW BEST:: SOT 1598207 SOS 901449 HAS SOPS 901449 HAS SOUS 742343 HAS SOUPS 742343 WITH SCORE 743244.449
AT ITER 3930 NEW BEST:: SOT 1598203 SOS 901445 HAS SOPS 901445 HAS SOUS 742339 HAS SOUPS 742339 WITH SCORE 743240.445
AT ITER 3931 NEW BEST:: SOT 1598203 SOS 901552 HAS SOPS 901552 HAS SOUS 742320 HAS SOUPS 742320 WITH SCORE 743221.552
AT ITER 3950 NEW BEST:: SOT 1597884 SOS 902719 HAS SOPS 902719 HAS SOUS 742106 HAS SOUPS 742106 WITH SCORE 743008.719
AT ITER 3951 NEW BEST:: SOT 1597055 SOS 902270 HAS SOPS 902270 HAS SOUS 741705 HAS SOUPS 741705 WITH SCORE 742607.27
AT ITER 3962 NEW BEST:: SOT 1596950 SOS 902133 HAS SOPS 902133 HAS SOUS 741568 HAS SOUPS 741568 WITH SCORE 742470.133
AT ITER 3972 NEW BEST:: SOT 1596950 SOS 901824 HAS SOPS 901824 HAS SOUS 741358 HAS SOUPS 741358 WITH SCORE 742259.824
AT ITER 3984 NEW BEST:: SOT 1596950 SOS 901714 HAS SOPS 901714 HAS SOUS 741358 HAS SOUPS 741358 WITH SCORE 742259.714
AT ITER 3990 NEW BEST:: SOT 1596853 SOS 901617 HAS SOPS 901617 HAS SOUS 741261 HAS SOUPS 741261 WITH SCORE 742162.617
AT ITER 3995 NEW BEST:: SOT 1596853 SOS 901058 HAS SOPS 901058 HAS SOUS 741116 HAS SOUPS 741116 WITH SCORE 742017.058
AT ITER 3998 NEW BEST:: SOT 1596854 SOS 901059 HAS SOPS 901059 HAS SOUS 741096 HAS SOUPS 741096 WITH SCORE 741997.059
AT ITER 4009 NEW BEST:: SOT 1596599 SOS 900880 HAS SOPS 900880 HAS SOUS 740917 HAS SOUPS 740917 WITH SCORE 741817.88
AT ITER 4021 NEW BEST:: SOT 1596577 SOS 900858 HAS SOPS 900858 HAS SOUS 740899 HAS SOUPS 740899 WITH SCORE 741799.858
AT ITER 4026 NEW BEST:: SOT 1596550 SOS 900831 HAS SOPS 900831 HAS SOUS 740872 HAS SOUPS 740872 WITH SCORE 741772.831
AT ITER 4030 NEW BEST:: SOT 1596474 SOS 900726 HAS SOPS 900726 HAS SOUS 740746 HAS SOUPS 740746 WITH SCORE 741646.726
AT ITER 4034 NEW BEST:: SOT 1595283 SOS 898130 HAS SOPS 898130 HAS SOUS 740650 HAS SOUPS 740650 WITH SCORE 741548.13
AT ITER 4042 NEW BEST:: SOT 1595283 SOS 898130 HAS SOPS 898130 HAS SOUS 740324 HAS SOUPS 740324 WITH SCORE 741222.13
AT ITER 4045 NEW BEST:: SOT 1595248 SOS 898603 HAS SOPS 898603 HAS SOUS 740287 HAS SOUPS 740287 WITH SCORE 741185.603
AT ITER 4047 NEW BEST:: SOT 1594798 SOS 898153 HAS SOPS 898153 HAS SOUS 739675 HAS SOUPS 739675 WITH SCORE 740573.153
AT ITER 4056 NEW BEST:: SOT 1594798 SOS 897904 HAS SOPS 897904 HAS SOUS 739675 HAS SOUPS 739675 WITH SCORE 740572.904
AT ITER 4059 NEW BEST:: SOT 1594354 SOS 898240 HAS SOPS 898240 HAS SOUS 739296 HAS SOUPS 739296 WITH SCORE 740194.24
AT ITER 4065 NEW BEST:: SOT 1593448 SOS 897737 HAS SOPS 897737 HAS SOUS 738934 HAS SOUPS 738934 WITH SCORE 739831.737
AT ITER 4074 NEW BEST:: SOT 1593275 SOS 899681 HAS SOPS 899681 HAS SOUS 738872 HAS SOUPS 738872 WITH SCORE 739771.681
AT ITER 4090 NEW BEST:: SOT 1593188 SOS 899366 HAS SOPS 899366 HAS SOUS 738691 HAS SOUPS 738691 WITH SCORE 739590.366
AT ITER 4096 NEW BEST:: SOT 1593188 SOS 899334 HAS SOPS 899334 HAS SOUS 738691 HAS SOUPS 738691 WITH SCORE 739590.334
AT ITER 4099 NEW BEST:: SOT 1593099 SOS 899245 HAS SOPS 899245 HAS SOUS 738640 HAS SOUPS 738640 WITH SCORE 739539.245
AT ITER 4100 NEW BEST:: SOT 1592568 SOS 898829 HAS SOPS 898829 HAS SOUS 738302 HAS SOUPS 738302 WITH SCORE 739200.829
AT ITER 4108 NEW BEST:: SOT 1592053 SOS 898722 HAS SOPS 898722 HAS SOUS 738195 HAS SOUPS 738195 WITH SCORE 739093.722
AT ITER 4111 NEW BEST:: SOT 1590339 SOS 897660 HAS SOPS 897660 HAS SOUS 737423 HAS SOUPS 737423 WITH SCORE 738320.66
AT ITER 4112 NEW BEST:: SOT 1589555 SOS 896598 HAS SOPS 896598 HAS SOUS 736406 HAS SOUPS 736406 WITH SCORE 737302.598
AT ITER 4116 NEW BEST:: SOT 1589600 SOS 896529 HAS SOPS 896529 HAS SOUS 736337 HAS SOUPS 736337 WITH SCORE 737233.529
AT ITER 4123 NEW BEST:: SOT 1589493 SOS 896346 HAS SOPS 896346 HAS SOUS 736256 HAS SOUPS 736256 WITH SCORE 737152.346
AT ITER 4125 NEW BEST:: SOT 1589437 SOS 896486 HAS SOPS 896486 HAS SOUS 736200 HAS SOUPS 736200 WITH SCORE 737096.486
AT ITER 4127 NEW BEST:: SOT 1589437 SOS 896414 HAS SOPS 896414 HAS SOUS 736200 HAS SOUPS 736200 WITH SCORE 737096.414
AT ITER 4133 NEW BEST:: SOT 1587701 SOS 895596 HAS SOPS 895596 HAS SOUS 735459 HAS SOUPS 735459 WITH SCORE 736354.596
AT ITER 4135 NEW BEST:: SOT 1587465 SOS 895350 HAS SOPS 895350 HAS SOUS 734773 HAS SOUPS 734773 WITH SCORE 735668.35
AT ITER 4138 NEW BEST:: SOT 1587369 SOS 895254 HAS SOPS 895254 HAS SOUS 734677 HAS SOUPS 734677 WITH SCORE 735572.254
AT ITER 4142 NEW BEST:: SOT 1587369 SOS 895220 HAS SOPS 895220 HAS SOUS 734677 HAS SOUPS 734677 WITH SCORE 735572.22
AT ITER 4147 NEW BEST:: SOT 1586178 SOS 896293 HAS SOPS 896293 HAS SOUS 734610 HAS SOUPS 734610 WITH SCORE 735506.293
AT ITER 4156 NEW BEST:: SOT 1586523 SOS 896455 HAS SOPS 896455 HAS SOUS 734576 HAS SOUPS 734576 WITH SCORE 735472.455
AT ITER 4158 NEW BEST:: SOT 1586523 SOS 896364 HAS SOPS 896364 HAS SOUS 734576 HAS SOUPS 734576 WITH SCORE 735472.364
AT ITER 4159 NEW BEST:: SOT 1586523 SOS 896160 HAS SOPS 896160 HAS SOUS 734500 HAS SOUPS 734500 WITH SCORE 735396.16
AT ITER 4162 NEW BEST:: SOT 1586523 SOS 896075 HAS SOPS 896075 HAS SOUS 734500 HAS SOUPS 734500 WITH SCORE 735396.075
AT ITER 4168 NEW BEST:: SOT 1586471 SOS 896307 HAS SOPS 896307 HAS SOUS 734219 HAS SOUPS 734219 WITH SCORE 735115.307
AT ITER 4169 NEW BEST:: SOT 1585586 SOS 895724 HAS SOPS 895724 HAS SOUS 733359 HAS SOUPS 733359 WITH SCORE 734254.724
AT ITER 4170 NEW BEST:: SOT 1585586 SOS 895552 HAS SOPS 895552 HAS SOUS 733254 HAS SOUPS 733254 WITH SCORE 734149.552
AT ITER 4183 NEW BEST:: SOT 1585533 SOS 895084 HAS SOPS 895084 HAS SOUS 733194 HAS SOUPS 733194 WITH SCORE 734089.084
AT ITER 4185 NEW BEST:: SOT 1585533 SOS 895069 HAS SOPS 895069 HAS SOUS 733029 HAS SOUPS 733029 WITH SCORE 733924.069
AT ITER 4195 NEW BEST:: SOT 1585535 SOS 895071 HAS SOPS 895071 HAS SOUS 732928 HAS SOUPS 732928 WITH SCORE 733823.071
AT ITER 4201 NEW BEST:: SOT 1585535 SOS 894562 HAS SOPS 894562 HAS SOUS 732708 HAS SOUPS 732708 WITH SCORE 733602.562
AT ITER 4214 NEW BEST:: SOT 1585310 SOS 894337 HAS SOPS 894337 HAS SOUS 732483 HAS SOUPS 732483 WITH SCORE 733377.337
AT ITER 4215 NEW BEST:: SOT 1585310 SOS 894152 HAS SOPS 894152 HAS SOUS 732177 HAS SOUPS 732177 WITH SCORE 733071.152
AT ITER 4219 NEW BEST:: SOT 1585292 SOS 894134 HAS SOPS 894134 HAS SOUS 732159 HAS SOUPS 732159 WITH SCORE 733053.134
AT ITER 4249 NEW BEST:: SOT 1585326 SOS 894055 HAS SOPS 894055 HAS SOUS 732149 HAS SOUPS 732149 WITH SCORE 733043.055
AT ITER 4254 NEW BEST:: SOT 1585080 SOS 895734 HAS SOPS 895734 HAS SOUS 732072 HAS SOUPS 732072 WITH SCORE 732967.734
AT ITER 4256 NEW BEST:: SOT 1585080 SOS 895686 HAS SOPS 895686 HAS SOUS 732064 HAS SOUPS 732064 WITH SCORE 732959.686
AT ITER 4268 NEW BEST:: SOT 1585080 SOS 895686 HAS SOPS 895686 HAS SOUS 731967 HAS SOUPS 731967 WITH SCORE 732862.686
AT ITER 4271 NEW BEST:: SOT 1585080 SOS 895686 HAS SOPS 895686 HAS SOUS 731871 HAS SOUPS 731871 WITH SCORE 732766.686
AT ITER 4290 NEW BEST:: SOT 1585080 SOS 895493 HAS SOPS 895493 HAS SOUS 731774 HAS SOUPS 731774 WITH SCORE 732669.493
AT ITER 4296 NEW BEST:: SOT 1584899 SOS 895312 HAS SOPS 895312 HAS SOUS 731412 HAS SOUPS 731412 WITH SCORE 732307.312
AT ITER 4303 NEW BEST:: SOT 1584587 SOS 895455 HAS SOPS 895455 HAS SOUS 731356 HAS SOUPS 731356 WITH SCORE 732251.455
AT ITER 4313 NEW BEST:: SOT 1584587 SOS 895217 HAS SOPS 895217 HAS SOUS 731169 HAS SOUPS 731169 WITH SCORE 732064.217
AT ITER 4320 NEW BEST:: SOT 1584587 SOS 895091 HAS SOPS 895091 HAS SOUS 730993 HAS SOUPS 730993 WITH SCORE 731888.091
AT ITER 4331 NEW BEST:: SOT 1584587 SOS 895091 HAS SOPS 895091 HAS SOUS 730766 HAS SOUPS 730766 WITH SCORE 731661.091
AT ITER 4343 NEW BEST:: SOT 1585023 SOS 895165 HAS SOPS 895165 HAS SOUS 730641 HAS SOUPS 730641 WITH SCORE 731536.165
AT ITER 4348 NEW BEST:: SOT 1583174 SOS 893549 HAS SOPS 893549 HAS SOUS 729032 HAS SOUPS 729032 WITH SCORE 729925.549
AT ITER 4357 NEW BEST:: SOT 1583290 SOS 893332 HAS SOPS 893332 HAS SOUS 728945 HAS SOUPS 728945 WITH SCORE 729838.332
AT ITER 4362 NEW BEST:: SOT 1583290 SOS 893104 HAS SOPS 893104 HAS SOUS 728843 HAS SOUPS 728843 WITH SCORE 729736.104
AT ITER 4363 NEW BEST:: SOT 1583125 SOS 892759 HAS SOPS 892759 HAS SOUS 728428 HAS SOUPS 728428 WITH SCORE 729320.759
AT ITER 4383 NEW BEST:: SOT 1583125 SOS 892701 HAS SOPS 892701 HAS SOUS 728428 HAS SOUPS 728428 WITH SCORE 729320.701
AT ITER 4390 NEW BEST:: SOT 1583125 SOS 892522 HAS SOPS 892522 HAS SOUS 728428 HAS SOUPS 728428 WITH SCORE 729320.522
AT ITER 4397 NEW BEST:: SOT 1583049 SOS 892446 HAS SOPS 892446 HAS SOUS 728401 HAS SOUPS 728401 WITH SCORE 729293.446
AT ITER 4401 NEW BEST:: SOT 1582821 SOS 894958 HAS SOPS 894958 HAS SOUS 728222 HAS SOUPS 728222 WITH SCORE 729116.958
AT ITER 4404 NEW BEST:: SOT 1582832 SOS 895240 HAS SOPS 895240 HAS SOUS 728152 HAS SOUPS 728152 WITH SCORE 729047.24
AT ITER 4405 NEW BEST:: SOT 1582941 SOS 894969 HAS SOPS 894969 HAS SOUS 728121 HAS SOUPS 728121 WITH SCORE 729015.969
AT ITER 4407 NEW BEST:: SOT 1582926 SOS 894733 HAS SOPS 894733 HAS SOUS 727985 HAS SOUPS 727985 WITH SCORE 728879.733
AT ITER 4408 NEW BEST:: SOT 1582926 SOS 894311 HAS SOPS 894311 HAS SOUS 727985 HAS SOUPS 727985 WITH SCORE 728879.311
AT ITER 4413 NEW BEST:: SOT 1582860 SOS 893961 HAS SOPS 893961 HAS SOUS 727838 HAS SOUPS 727838 WITH SCORE 728731.961
AT ITER 4416 NEW BEST:: SOT 1582837 SOS 893938 HAS SOPS 893938 HAS SOUS 727815 HAS SOUPS 727815 WITH SCORE 728708.938
AT ITER 4420 NEW BEST:: SOT 1582837 SOS 893938 HAS SOPS 893938 HAS SOUS 727757 HAS SOUPS 727757 WITH SCORE 728650.938
AT ITER 4424 NEW BEST:: SOT 1582837 SOS 893932 HAS SOPS 893932 HAS SOUS 727757 HAS SOUPS 727757 WITH SCORE 728650.932
AT ITER 4430 NEW BEST:: SOT 1582642 SOS 893681 HAS SOPS 893681 HAS SOUS 727657 HAS SOUPS 727657 WITH SCORE 728550.681
AT ITER 4444 NEW BEST:: SOT 1582583 SOS 893684 HAS SOPS 893684 HAS SOUS 727618 HAS SOUPS 727618 WITH SCORE 728511.684
AT ITER 4452 NEW BEST:: SOT 1580144 SOS 893492 HAS SOPS 893492 HAS SOUS 726335 HAS SOUPS 726335 WITH SCORE 727228.492
AT ITER 4458 NEW BEST:: SOT 1579662 SOS 893077 HAS SOPS 893077 HAS SOUS 726004 HAS SOUPS 726004 WITH SCORE 726897.077
AT ITER 4459 NEW BEST:: SOT 1579662 SOS 893077 HAS SOPS 893077 HAS SOUS 725723 HAS SOUPS 725723 WITH SCORE 726616.077
AT ITER 4464 NEW BEST:: SOT 1579662 SOS 892916 HAS SOPS 892916 HAS SOUS 725723 HAS SOUPS 725723 WITH SCORE 726615.916
AT ITER 4466 NEW BEST:: SOT 1579662 SOS 892909 HAS SOPS 892909 HAS SOUS 725716 HAS SOUPS 725716 WITH SCORE 726608.909
AT ITER 4472 NEW BEST:: SOT 1579662 SOS 892821 HAS SOPS 892821 HAS SOUS 725716 HAS SOUPS 725716 WITH SCORE 726608.821
AT ITER 4476 NEW BEST:: SOT 1579619 SOS 892190 HAS SOPS 892190 HAS SOUS 725631 HAS SOUPS 725631 WITH SCORE 726523.19
AT ITER 4478 NEW BEST:: SOT 1579586 SOS 892157 HAS SOPS 892157 HAS SOUS 725598 HAS SOUPS 725598 WITH SCORE 726490.157
AT ITER 4480 NEW BEST:: SOT 1579374 SOS 891964 HAS SOPS 891964 HAS SOUS 725502 HAS SOUPS 725502 WITH SCORE 726393.964
AT ITER 4501 NEW BEST:: SOT 1577187 SOS 890289 HAS SOPS 890289 HAS SOUS 724897 HAS SOUPS 724897 WITH SCORE 725787.289
AT ITER 4507 NEW BEST:: SOT 1577198 SOS 890300 HAS SOPS 890300 HAS SOUS 724598 HAS SOUPS 724598 WITH SCORE 725488.3
AT ITER 4515 NEW BEST:: SOT 1576595 SOS 891296 HAS SOPS 891296 HAS SOUS 724547 HAS SOUPS 724547 WITH SCORE 725438.296
AT ITER 4519 NEW BEST:: SOT 1576595 SOS 890949 HAS SOPS 890949 HAS SOUS 724363 HAS SOUPS 724363 WITH SCORE 725253.949
AT ITER 4530 NEW BEST:: SOT 1576294 SOS 890648 HAS SOPS 890648 HAS SOUS 723716 HAS SOUPS 723716 WITH SCORE 724606.648
AT ITER 4535 NEW BEST:: SOT 1576237 SOS 890591 HAS SOPS 890591 HAS SOUS 723659 HAS SOUPS 723659 WITH SCORE 724549.591
AT ITER 4538 NEW BEST:: SOT 1576237 SOS 890591 HAS SOPS 890591 HAS SOUS 723610 HAS SOUPS 723610 WITH SCORE 724500.591
AT ITER 4550 NEW BEST:: SOT 1575880 SOS 890963 HAS SOPS 890963 HAS SOUS 723363 HAS SOUPS 723363 WITH SCORE 724253.963
AT ITER 4560 NEW BEST:: SOT 1575742 SOS 890871 HAS SOPS 890871 HAS SOUS 723271 HAS SOUPS 723271 WITH SCORE 724161.871
AT ITER 4570 NEW BEST:: SOT 1575811 SOS 890940 HAS SOPS 890940 HAS SOUS 723197 HAS SOUPS 723197 WITH SCORE 724087.94
AT ITER 4578 NEW BEST:: SOT 1575740 SOS 890869 HAS SOPS 890869 HAS SOUS 723126 HAS SOUPS 723126 WITH SCORE 724016.869
AT ITER 4589 NEW BEST:: SOT 1575674 SOS 890493 HAS SOPS 890493 HAS SOUS 722826 HAS SOUPS 722826 WITH SCORE 723716.493
AT ITER 4590 NEW BEST:: SOT 1575674 SOS 890308 HAS SOPS 890308 HAS SOUS 722619 HAS SOUPS 722619 WITH SCORE 723509.308
AT ITER 4593 NEW BEST:: SOT 1575674 SOS 889912 HAS SOPS 889912 HAS SOUS 722218 HAS SOUPS 722218 WITH SCORE 723107.912
AT ITER 4595 NEW BEST:: SOT 1575674 SOS 889889 HAS SOPS 889889 HAS SOUS 722110 HAS SOUPS 722110 WITH SCORE 722999.889
AT ITER 4614 NEW BEST:: SOT 1575674 SOS 889625 HAS SOPS 889625 HAS SOUS 722072 HAS SOUPS 722072 WITH SCORE 722961.625
AT ITER 4615 NEW BEST:: SOT 1576102 SOS 889911 HAS SOPS 889911 HAS SOUS 721957 HAS SOUPS 721957 WITH SCORE 722846.911
AT ITER 4616 NEW BEST:: SOT 1576102 SOS 890035 HAS SOPS 890035 HAS SOUS 721868 HAS SOUPS 721868 WITH SCORE 722758.035
AT ITER 4623 NEW BEST:: SOT 1575955 SOS 889859 HAS SOPS 889859 HAS SOUS 721462 HAS SOUPS 721462 WITH SCORE 722351.859
AT ITER 4628 NEW BEST:: SOT 1575465 SOS 889369 HAS SOPS 889369 HAS SOUS 720972 HAS SOUPS 720972 WITH SCORE 721861.369
AT ITER 4649 NEW BEST:: SOT 1575465 SOS 889275 HAS SOPS 889275 HAS SOUS 720912 HAS SOUPS 720912 WITH SCORE 721801.275
AT ITER 4656 NEW BEST:: SOT 1575465 SOS 889012 HAS SOPS 889012 HAS SOUS 720617 HAS SOUPS 720617 WITH SCORE 721506.012
AT ITER 4663 NEW BEST:: SOT 1575465 SOS 888990 HAS SOPS 888990 HAS SOUS 720617 HAS SOUPS 720617 WITH SCORE 721505.99
AT ITER 4665 NEW BEST:: SOT 1575465 SOS 888918 HAS SOPS 888918 HAS SOUS 720617 HAS SOUPS 720617 WITH SCORE 721505.918
AT ITER 4667 NEW BEST:: SOT 1574148 SOS 888265 HAS SOPS 888265 HAS SOUS 720410 HAS SOUPS 720410 WITH SCORE 721298.265
AT ITER 4671 NEW BEST:: SOT 1573778 SOS 887972 HAS SOPS 887972 HAS SOUS 720084 HAS SOUPS 720084 WITH SCORE 720971.972
AT ITER 4679 NEW BEST:: SOT 1572785 SOS 887777 HAS SOPS 887777 HAS SOUS 720014 HAS SOUPS 720014 WITH SCORE 720901.777
AT ITER 4690 NEW BEST:: SOT 1572785 SOS 887614 HAS SOPS 887614 HAS SOUS 720014 HAS SOUPS 720014 WITH SCORE 720901.614
AT ITER 4694 NEW BEST:: SOT 1572767 SOS 887286 HAS SOPS 887286 HAS SOUS 719648 HAS SOUPS 719648 WITH SCORE 720535.286
AT ITER 4704 NEW BEST:: SOT 1572767 SOS 887250 HAS SOPS 887250 HAS SOUS 719628 HAS SOUPS 719628 WITH SCORE 720515.25
AT ITER 4711 NEW BEST:: SOT 1572728 SOS 887026 HAS SOPS 887026 HAS SOUS 719338 HAS SOUPS 719338 WITH SCORE 720225.026
AT ITER 4720 NEW BEST:: SOT 1572700 SOS 886998 HAS SOPS 886998 HAS SOUS 719310 HAS SOUPS 719310 WITH SCORE 720196.998
AT ITER 4724 NEW BEST:: SOT 1571000 SOS 887534 HAS SOPS 887534 HAS SOUS 718389 HAS SOUPS 718389 WITH SCORE 719276.534
AT ITER 4734 NEW BEST:: SOT 1571000 SOS 887466 HAS SOPS 887466 HAS SOUS 718389 HAS SOUPS 718389 WITH SCORE 719276.466
AT ITER 4739 NEW BEST:: SOT 1571000 SOS 887193 HAS SOPS 887193 HAS SOUS 718219 HAS SOUPS 718219 WITH SCORE 719106.193
AT ITER 4745 NEW BEST:: SOT 1571000 SOS 887312 HAS SOPS 887312 HAS SOUS 718107 HAS SOUPS 718107 WITH SCORE 718994.312
AT ITER 4746 NEW BEST:: SOT 1571000 SOS 887194 HAS SOPS 887194 HAS SOUS 718107 HAS SOUPS 718107 WITH SCORE 718994.194
AT ITER 4748 NEW BEST:: SOT 1570558 SOS 886881 HAS SOPS 886881 HAS SOUS 717665 HAS SOUPS 717665 WITH SCORE 718551.881
AT ITER 4752 NEW BEST:: SOT 1570611 SOS 887116 HAS SOPS 887116 HAS SOUS 717658 HAS SOUPS 717658 WITH SCORE 718545.116
AT ITER 4757 NEW BEST:: SOT 1570611 SOS 886881 HAS SOPS 886881 HAS SOUS 717621 HAS SOUPS 717621 WITH SCORE 718507.881
AT ITER 4759 NEW BEST:: SOT 1570611 SOS 886848 HAS SOPS 886848 HAS SOUS 717621 HAS SOUPS 717621 WITH SCORE 718507.848
AT ITER 4763 NEW BEST:: SOT 1570611 SOS 886747 HAS SOPS 886747 HAS SOUS 717621 HAS SOUPS 717621 WITH SCORE 718507.747
AT ITER 4767 NEW BEST:: SOT 1570611 SOS 886566 HAS SOPS 886566 HAS SOUS 717621 HAS SOUPS 717621 WITH SCORE 718507.566
AT ITER 4772 NEW BEST:: SOT 1568613 SOS 890084 HAS SOPS 890084 HAS SOUS 717464 HAS SOUPS 717464 WITH SCORE 718354.084
AT ITER 4773 NEW BEST:: SOT 1568613 SOS 889803 HAS SOPS 889803 HAS SOUS 717337 HAS SOUPS 717337 WITH SCORE 718226.803
AT ITER 4780 NEW BEST:: SOT 1568666 SOS 889235 HAS SOPS 889235 HAS SOUS 717293 HAS SOUPS 717293 WITH SCORE 718182.235
AT ITER 4785 NEW BEST:: SOT 1568666 SOS 889111 HAS SOPS 889111 HAS SOUS 717291 HAS SOUPS 717291 WITH SCORE 718180.111
AT ITER 4789 NEW BEST:: SOT 1568585 SOS 889030 HAS SOPS 889030 HAS SOUS 717127 HAS SOUPS 717127 WITH SCORE 718016.03
AT ITER 4797 NEW BEST:: SOT 1568585 SOS 889055 HAS SOPS 889055 HAS SOUS 717097 HAS SOUPS 717097 WITH SCORE 717986.055
AT ITER 4799 NEW BEST:: SOT 1568273 SOS 888662 HAS SOPS 888662 HAS SOUS 716595 HAS SOUPS 716595 WITH SCORE 717483.662
AT ITER 4810 NEW BEST:: SOT 1568273 SOS 888591 HAS SOPS 888591 HAS SOUS 716475 HAS SOUPS 716475 WITH SCORE 717363.591
AT ITER 4821 NEW BEST:: SOT 1567342 SOS 888758 HAS SOPS 888758 HAS SOUS 716333 HAS SOUPS 716333 WITH SCORE 717221.758
AT ITER 4831 NEW BEST:: SOT 1567342 SOS 886420 HAS SOPS 886420 HAS SOUS 716333 HAS SOUPS 716333 WITH SCORE 717219.42
AT ITER 4836 NEW BEST:: SOT 1567518 SOS 884634 HAS SOPS 884634 HAS SOUS 716235 HAS SOUPS 716235 WITH SCORE 717119.634
AT ITER 4843 NEW BEST:: SOT 1567509 SOS 884625 HAS SOPS 884625 HAS SOUS 716226 HAS SOUPS 716226 WITH SCORE 717110.625
AT ITER 4851 NEW BEST:: SOT 1567440 SOS 884556 HAS SOPS 884556 HAS SOUS 716186 HAS SOUPS 716186 WITH SCORE 717070.556
AT ITER 4866 NEW BEST:: SOT 1567073 SOS 884319 HAS SOPS 884319 HAS SOUS 716146 HAS SOUPS 716146 WITH SCORE 717030.319
AT ITER 4883 NEW BEST:: SOT 1567078 SOS 884317 HAS SOPS 884317 HAS SOUS 716137 HAS SOUPS 716137 WITH SCORE 717021.317
AT ITER 4885 NEW BEST:: SOT 1567361 SOS 884537 HAS SOPS 884537 HAS SOUS 716021 HAS SOUPS 716021 WITH SCORE 716905.537
AT ITER 4890 NEW BEST:: SOT 1567361 SOS 884537 HAS SOPS 884537 HAS SOUS 716005 HAS SOUPS 716005 WITH SCORE 716889.537
AT ITER 4907 NEW BEST:: SOT 1567361 SOS 882749 HAS SOPS 882749 HAS SOUS 715924 HAS SOUPS 715924 WITH SCORE 716806.749
AT ITER 4912 NEW BEST:: SOT 1567361 SOS 882706 HAS SOPS 882706 HAS SOUS 715924 HAS SOUPS 715924 WITH SCORE 716806.706
AT ITER 4919 NEW BEST:: SOT 1567361 SOS 882671 HAS SOPS 882671 HAS SOUS 715909 HAS SOUPS 715909 WITH SCORE 716791.671
AT ITER 4920 NEW BEST:: SOT 1567335 SOS 882604 HAS SOPS 882604 HAS SOUS 715823 HAS SOUPS 715823 WITH SCORE 716705.604
AT ITER 4934 NEW BEST:: SOT 1567335 SOS 882512 HAS SOPS 882512 HAS SOUS 715731 HAS SOUPS 715731 WITH SCORE 716613.512
AT ITER 4937 NEW BEST:: SOT 1567302 SOS 882479 HAS SOPS 882479 HAS SOUS 715698 HAS SOUPS 715698 WITH SCORE 716580.479
AT ITER 4943 NEW BEST:: SOT 1567075 SOS 882189 HAS SOPS 882189 HAS SOUS 715341 HAS SOUPS 715341 WITH SCORE 716223.189
AT ITER 4946 NEW BEST:: SOT 1567084 SOS 881750 HAS SOPS 881750 HAS SOUS 714899 HAS SOUPS 714899 WITH SCORE 715780.75
AT ITER 4949 NEW BEST:: SOT 1567084 SOS 881644 HAS SOPS 881644 HAS SOUS 714793 HAS SOUPS 714793 WITH SCORE 715674.644
AT ITER 4961 NEW BEST:: SOT 1567042 SOS 881602 HAS SOPS 881602 HAS SOUS 714751 HAS SOUPS 714751 WITH SCORE 715632.602
AT ITER 4962 NEW BEST:: SOT 1565922 SOS 880787 HAS SOPS 880787 HAS SOUS 713971 HAS SOUPS 713971 WITH SCORE 714851.787
AT ITER 4963 NEW BEST:: SOT 1566062 SOS 880683 HAS SOPS 880683 HAS SOUS 713895 HAS SOUPS 713895 WITH SCORE 714775.683
AT ITER 4967 NEW BEST:: SOT 1566062 SOS 880620 HAS SOPS 880620 HAS SOUS 713832 HAS SOUPS 713832 WITH SCORE 714712.62
AT ITER 4972 NEW BEST:: SOT 1565332 SOS 881441 HAS SOPS 881441 HAS SOUS 713612 HAS SOUPS 713612 WITH SCORE 714493.441
AT ITER 4978 NEW BEST:: SOT 1565658 SOS 881644 HAS SOPS 881644 HAS SOUS 713553 HAS SOUPS 713553 WITH SCORE 714434.644
AT ITER 4992 NEW BEST:: SOT 1565331 SOS 881409 HAS SOPS 881409 HAS SOUS 713318 HAS SOUPS 713318 WITH SCORE 714199.409
AT ITER 4997 NEW BEST:: SOT 1565272 SOS 881350 HAS SOPS 881350 HAS SOUS 713186 HAS SOUPS 713186 WITH SCORE 714067.35
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN11-CTLCardinality-00 ( ( potential( ( 2 ) <= (tk(P338)) ) | potential( (tk(P143)) <= (tk(P227)) ) ) & ( (EG( potential( (tk(P1322)) <= (tk(P162)) ))) & potential( (tk(P555)) <= (tk(P217)) ) ) )
PROPERTY: Sudoku-PT-AN11-CTLCardinality-01 (EF((AG( (! potential( (tk(P1503)) <= (tk(P582)) ))))))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-02 (AF((EG( ( potential( (tk(P1048)) <= (tk(P1557)) ) & potential( (tk(P1428)) <= (tk(P611)) ) )))))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-03 (AF((AG( ( potential( (tk(P1484)) <= (tk(P7)) ) | potential( (tk(P401)) <= (tk(P934)) ) )))))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-04 (! (AF((! (! potential( ( 1 ) <= (tk(P506)) ))))))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-05 (! (AG( ( ( potential( ( 2 ) <= (tk(P412)) ) & potential( ( 1 ) <= (tk(P1466)) ) ) | ( potential( (tk(P791)) <= (tk(P1287)) ) | potential( (tk(P1127)) <= (tk(P630)) ) ) ))))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-06 (AF(( (AX( potential( ( 3 ) <= (tk(P1098)) ))) & (! ( potential( (tk(P1572)) <= (tk(P78)) ) & potential( ( 1 ) <= (tk(P1469)) ) )) )))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-07 (AU( (EF(potential( (tk(P569)) <= (tk(P1377)) ))),(EG( potential( (tk(P992)) <= (tk(P1413)) ))) ))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-08 (! (EG( ( potential( (tk(P149)) <= (tk(P1262)) ) | ( potential( ( 3 ) <= (tk(P1551)) ) | potential( ( 2 ) <= (tk(P187)) ) ) ))))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-09 (AU( ( (! potential( (tk(P1325)) <= (tk(P553)) )) | potential( (tk(P573)) <= (tk(P983)) ) ),(AG( potential( (tk(P761)) <= (tk(P376)) ))) ))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-10 ( (AU( ( potential( ( 2 ) <= (tk(P1222)) ) | potential( ( 2 ) <= (tk(P1432)) ) ),(! potential( (tk(P797)) <= (tk(P10)) )) )) | (EG( (AF(potential( (tk(P250)) <= (tk(P325)) ))))) )
PROPERTY: Sudoku-PT-AN11-CTLCardinality-11 (AU( ( potential( ( 1 ) <= (tk(P831)) ) | ( potential( ( 1 ) <= (tk(P891)) ) | potential( (tk(P831)) <= (tk(P950)) ) ) ),(! potential( (tk(P1095)) <= (tk(P1596)) )) ))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-12 (EX( (AF(( potential( (tk(P137)) <= (tk(P956)) ) & potential( ( 2 ) <= (tk(P55)) ) )))))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-13 (AF(( (AX( potential( (tk(P1277)) <= (tk(P1000)) ))) | ( ( potential( (tk(P1665)) <= (tk(P1325)) ) & potential( ( 1 ) <= (tk(P1136)) ) ) & ( potential( (tk(P860)) <= (tk(P1304)) ) | potential( ( 3 ) <= (tk(P140)) ) ) ) )))
PROPERTY: Sudoku-PT-AN11-CTLCardinality-14 ( ( ( (! (! potential( (tk(P6)) <= (tk(P797)) ))) | (! (! potential( (tk(P834)) <= (tk(P460)) ))) ) | (EG( potential( (tk(P178)) <= (tk(P1663)) ))) ) & (AU( potential( (tk(P374)) <= (tk(P19)) ),potential( ( 3 ) <= (tk(P298)) ) )) )
PROPERTY: Sudoku-PT-AN11-CTLCardinality-15 (AF((EG( ( potential( ( 2 ) <= (tk(P944)) ) & potential( (tk(P123)) <= (tk(P148)) ) )))))

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="Sudoku-PT-AN11"
export BK_EXAMINATION="CTLCardinality"
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 Sudoku-PT-AN11, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538700395"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN11.tgz
mv Sudoku-PT-AN11 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;