About the Execution of smart for Sudoku-PT-AN11
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.930 | 3600000.00 | 3599040.00 | 0.00 | [undef] | Time out reached |
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-159033538700396.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700396
=====================================================================
--------------------
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-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN11-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591336624978
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN11
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 9 NEW BEST:: SOT 1795728 SOS 901242 HAS SOPS 901242 HAS SOUS 901092 HAS SOUPS 901092 WITH SCORE 901993.242
AT ITER 11 NEW BEST:: SOT 1794962 SOS 907877 HAS SOPS 907877 HAS SOUS 900422 HAS SOUPS 900422 WITH SCORE 901329.877
AT ITER 16 NEW BEST:: SOT 1794842 SOS 907757 HAS SOPS 907757 HAS SOUS 900302 HAS SOUPS 900302 WITH SCORE 901209.757
AT ITER 25 NEW BEST:: SOT 1794444 SOS 907481 HAS SOPS 907481 HAS SOUS 899936 HAS SOUPS 899936 WITH SCORE 900843.481
AT ITER 26 NEW BEST:: SOT 1794444 SOS 906960 HAS SOPS 906960 HAS SOUS 899415 HAS SOUPS 899415 WITH SCORE 900321.96
AT ITER 29 NEW BEST:: SOT 1794444 SOS 906667 HAS SOPS 906667 HAS SOUS 899415 HAS SOUPS 899415 WITH SCORE 900321.667
AT ITER 32 NEW BEST:: SOT 1794554 SOS 906754 HAS SOPS 906754 HAS SOUS 899392 HAS SOUPS 899392 WITH SCORE 900298.754
AT ITER 36 NEW BEST:: SOT 1794679 SOS 906858 HAS SOPS 906858 HAS SOUS 899386 HAS SOUPS 899386 WITH SCORE 900292.858
AT ITER 38 NEW BEST:: SOT 1794319 SOS 906498 HAS SOPS 906498 HAS SOUS 899026 HAS SOUPS 899026 WITH SCORE 899932.498
AT ITER 41 NEW BEST:: SOT 1793148 SOS 910941 HAS SOPS 910941 HAS SOUS 898014 HAS SOUPS 898014 WITH SCORE 898924.941
AT ITER 50 NEW BEST:: SOT 1792669 SOS 910591 HAS SOPS 910591 HAS SOUS 897644 HAS SOUPS 897644 WITH SCORE 898554.591
AT ITER 52 NEW BEST:: SOT 1792519 SOS 910955 HAS SOPS 910955 HAS SOUS 897535 HAS SOUPS 897535 WITH SCORE 898445.955
AT ITER 65 NEW BEST:: SOT 1792519 SOS 910935 HAS SOPS 910935 HAS SOUS 897458 HAS SOUPS 897458 WITH SCORE 898368.935
AT ITER 74 NEW BEST:: SOT 1791734 SOS 910299 HAS SOPS 910299 HAS SOUS 896732 HAS SOUPS 896732 WITH SCORE 897642.299
AT ITER 82 NEW BEST:: SOT 1791734 SOS 910194 HAS SOPS 910194 HAS SOUS 896732 HAS SOUPS 896732 WITH SCORE 897642.194
AT ITER 92 NEW BEST:: SOT 1791804 SOS 910203 HAS SOPS 910203 HAS SOUS 896681 HAS SOUPS 896681 WITH SCORE 897591.203
AT ITER 103 NEW BEST:: SOT 1791032 SOS 912000 HAS SOPS 912000 HAS SOUS 896023 HAS SOUPS 896023 WITH SCORE 896935.0
AT ITER 113 NEW BEST:: SOT 1790138 SOS 911791 HAS SOPS 911791 HAS SOUS 895259 HAS SOUPS 895259 WITH SCORE 896170.791
AT ITER 117 NEW BEST:: SOT 1789492 SOS 911299 HAS SOPS 911299 HAS SOUS 894717 HAS SOUPS 894717 WITH SCORE 895628.299
AT ITER 131 NEW BEST:: SOT 1788994 SOS 910981 HAS SOPS 910981 HAS SOUS 894269 HAS SOUPS 894269 WITH SCORE 895179.981
AT ITER 132 NEW BEST:: SOT 1788039 SOS 910167 HAS SOPS 910167 HAS SOUS 893395 HAS SOUPS 893395 WITH SCORE 894305.167
AT ITER 136 NEW BEST:: SOT 1788030 SOS 910158 HAS SOPS 910158 HAS SOUS 893386 HAS SOUPS 893386 WITH SCORE 894296.158
AT ITER 138 NEW BEST:: SOT 1788086 SOS 910159 HAS SOPS 910159 HAS SOUS 893267 HAS SOUPS 893267 WITH SCORE 894177.159
AT ITER 144 NEW BEST:: SOT 1787637 SOS 909710 HAS SOPS 909710 HAS SOUS 892818 HAS SOUPS 892818 WITH SCORE 893727.71
AT ITER 150 NEW BEST:: SOT 1787637 SOS 909648 HAS SOPS 909648 HAS SOUS 892818 HAS SOUPS 892818 WITH SCORE 893727.648
AT ITER 174 NEW BEST:: SOT 1786609 SOS 908812 HAS SOPS 908812 HAS SOUS 891932 HAS SOUPS 891932 WITH SCORE 892840.812
AT ITER 182 NEW BEST:: SOT 1786046 SOS 908249 HAS SOPS 908249 HAS SOUS 891369 HAS SOUPS 891369 WITH SCORE 892277.249
AT ITER 187 NEW BEST:: SOT 1786046 SOS 907708 HAS SOPS 907708 HAS SOUS 891369 HAS SOUPS 891369 WITH SCORE 892276.708
AT ITER 195 NEW BEST:: SOT 1785446 SOS 908948 HAS SOPS 908948 HAS SOUS 890859 HAS SOUPS 890859 WITH SCORE 891767.948
AT ITER 200 NEW BEST:: SOT 1785446 SOS 908415 HAS SOPS 908415 HAS SOUS 890859 HAS SOUPS 890859 WITH SCORE 891767.415
AT ITER 209 NEW BEST:: SOT 1784313 SOS 908292 HAS SOPS 908292 HAS SOUS 889911 HAS SOUPS 889911 WITH SCORE 890819.292
AT ITER 214 NEW BEST:: SOT 1784405 SOS 908194 HAS SOPS 908194 HAS SOUS 889790 HAS SOUPS 889790 WITH SCORE 890698.194
AT ITER 234 NEW BEST:: SOT 1784453 SOS 908181 HAS SOPS 908181 HAS SOUS 889667 HAS SOUPS 889667 WITH SCORE 890575.181
AT ITER 247 NEW BEST:: SOT 1783458 SOS 907359 HAS SOPS 907359 HAS SOUS 888785 HAS SOUPS 888785 WITH SCORE 889692.359
AT ITER 252 NEW BEST:: SOT 1782889 SOS 906919 HAS SOPS 906919 HAS SOUS 888315 HAS SOUPS 888315 WITH SCORE 889221.919
AT ITER 255 NEW BEST:: SOT 1782889 SOS 906750 HAS SOPS 906750 HAS SOUS 888146 HAS SOUPS 888146 WITH SCORE 889052.75
AT ITER 259 NEW BEST:: SOT 1782419 SOS 906615 HAS SOPS 906615 HAS SOUS 887741 HAS SOUPS 887741 WITH SCORE 888647.615
AT ITER 261 NEW BEST:: SOT 1782319 SOS 906643 HAS SOPS 906643 HAS SOUS 887641 HAS SOUPS 887641 WITH SCORE 888547.643
AT ITER 266 NEW BEST:: SOT 1782319 SOS 908291 HAS SOPS 908291 HAS SOUS 887304 HAS SOUPS 887304 WITH SCORE 888212.291
AT ITER 277 NEW BEST:: SOT 1782199 SOS 910164 HAS SOPS 910164 HAS SOUS 887285 HAS SOUPS 887285 WITH SCORE 888195.164
AT ITER 279 NEW BEST:: SOT 1781447 SOS 909610 HAS SOPS 909610 HAS SOUS 886601 HAS SOUPS 886601 WITH SCORE 887510.61
AT ITER 281 NEW BEST:: SOT 1780939 SOS 909102 HAS SOPS 909102 HAS SOUS 886093 HAS SOUPS 886093 WITH SCORE 887002.102
AT ITER 286 NEW BEST:: SOT 1780495 SOS 912406 HAS SOPS 912406 HAS SOUS 885781 HAS SOUPS 885781 WITH SCORE 886693.406
AT ITER 289 NEW BEST:: SOT 1780495 SOS 911841 HAS SOPS 911841 HAS SOUS 885781 HAS SOUPS 885781 WITH SCORE 886692.841
AT ITER 291 NEW BEST:: SOT 1780466 SOS 911786 HAS SOPS 911786 HAS SOUS 885766 HAS SOUPS 885766 WITH SCORE 886677.786
AT ITER 295 NEW BEST:: SOT 1779978 SOS 911409 HAS SOPS 911409 HAS SOUS 885319 HAS SOUPS 885319 WITH SCORE 886230.409
AT ITER 301 NEW BEST:: SOT 1778400 SOS 911234 HAS SOPS 911234 HAS SOUS 883919 HAS SOUPS 883919 WITH SCORE 884830.234
AT ITER 302 NEW BEST:: SOT 1778377 SOS 911125 HAS SOPS 911125 HAS SOUS 883890 HAS SOUPS 883890 WITH SCORE 884801.125
AT ITER 305 NEW BEST:: SOT 1778377 SOS 911073 HAS SOPS 911073 HAS SOUS 883890 HAS SOUPS 883890 WITH SCORE 884801.073
AT ITER 307 NEW BEST:: SOT 1777447 SOS 917084 HAS SOPS 917084 HAS SOUS 883091 HAS SOUPS 883091 WITH SCORE 884008.084
AT ITER 309 NEW BEST:: SOT 1776020 SOS 918695 HAS SOPS 918695 HAS SOUS 881781 HAS SOUPS 881781 WITH SCORE 882699.695
AT ITER 310 NEW BEST:: SOT 1775358 SOS 919067 HAS SOPS 919067 HAS SOUS 881509 HAS SOUPS 881509 WITH SCORE 882428.067
AT ITER 315 NEW BEST:: SOT 1775318 SOS 919127 HAS SOPS 919127 HAS SOUS 881469 HAS SOUPS 881469 WITH SCORE 882388.127
AT ITER 324 NEW BEST:: SOT 1774253 SOS 918227 HAS SOPS 918227 HAS SOUS 880489 HAS SOUPS 880489 WITH SCORE 881407.227
AT ITER 333 NEW BEST:: SOT 1774158 SOS 918132 HAS SOPS 918132 HAS SOUS 880427 HAS SOUPS 880427 WITH SCORE 881345.132
AT ITER 342 NEW BEST:: SOT 1774158 SOS 917891 HAS SOPS 917891 HAS SOUS 880427 HAS SOUPS 880427 WITH SCORE 881344.891
AT ITER 355 NEW BEST:: SOT 1774158 SOS 917869 HAS SOPS 917869 HAS SOUS 880427 HAS SOUPS 880427 WITH SCORE 881344.869
AT ITER 376 NEW BEST:: SOT 1772906 SOS 919532 HAS SOPS 919532 HAS SOUS 879669 HAS SOUPS 879669 WITH SCORE 880588.532
AT ITER 379 NEW BEST:: SOT 1772816 SOS 920237 HAS SOPS 920237 HAS SOUS 879579 HAS SOUPS 879579 WITH SCORE 880499.237
AT ITER 383 NEW BEST:: SOT 1772816 SOS 920189 HAS SOPS 920189 HAS SOUS 879478 HAS SOUPS 879478 WITH SCORE 880398.189
AT ITER 387 NEW BEST:: SOT 1772816 SOS 920077 HAS SOPS 920077 HAS SOUS 879478 HAS SOUPS 879478 WITH SCORE 880398.077
AT ITER 404 NEW BEST:: SOT 1772616 SOS 919615 HAS SOPS 919615 HAS SOUS 879245 HAS SOUPS 879245 WITH SCORE 880164.615
AT ITER 422 NEW BEST:: SOT 1772674 SOS 919949 HAS SOPS 919949 HAS SOUS 879239 HAS SOUPS 879239 WITH SCORE 880158.949
AT ITER 423 NEW BEST:: SOT 1772674 SOS 919899 HAS SOPS 919899 HAS SOUS 879239 HAS SOUPS 879239 WITH SCORE 880158.899
AT ITER 427 NEW BEST:: SOT 1771439 SOS 918833 HAS SOPS 918833 HAS SOUS 878073 HAS SOUPS 878073 WITH SCORE 878991.833
AT ITER 428 NEW BEST:: SOT 1771439 SOS 918446 HAS SOPS 918446 HAS SOUS 878073 HAS SOUPS 878073 WITH SCORE 878991.446
AT ITER 435 NEW BEST:: SOT 1770436 SOS 919567 HAS SOPS 919567 HAS SOUS 877159 HAS SOUPS 877159 WITH SCORE 878078.567
AT ITER 436 NEW BEST:: SOT 1770436 SOS 919391 HAS SOPS 919391 HAS SOUS 877159 HAS SOUPS 877159 WITH SCORE 878078.391
AT ITER 441 NEW BEST:: SOT 1768831 SOS 917978 HAS SOPS 917978 HAS SOUS 875636 HAS SOUPS 875636 WITH SCORE 876553.978
AT ITER 442 NEW BEST:: SOT 1768831 SOS 917900 HAS SOPS 917900 HAS SOUS 875636 HAS SOUPS 875636 WITH SCORE 876553.9
AT ITER 444 NEW BEST:: SOT 1768429 SOS 917498 HAS SOPS 917498 HAS SOUS 875234 HAS SOUPS 875234 WITH SCORE 876151.498
AT ITER 447 NEW BEST:: SOT 1768429 SOS 917349 HAS SOPS 917349 HAS SOUS 875234 HAS SOUPS 875234 WITH SCORE 876151.349
AT ITER 449 NEW BEST:: SOT 1768429 SOS 917190 HAS SOPS 917190 HAS SOUS 875234 HAS SOUPS 875234 WITH SCORE 876151.19
AT ITER 453 NEW BEST:: SOT 1768491 SOS 916846 HAS SOPS 916846 HAS SOUS 874840 HAS SOUPS 874840 WITH SCORE 875756.846
AT ITER 457 NEW BEST:: SOT 1768520 SOS 916792 HAS SOPS 916792 HAS SOUS 874696 HAS SOUPS 874696 WITH SCORE 875612.792
AT ITER 458 NEW BEST:: SOT 1767679 SOS 917780 HAS SOPS 917780 HAS SOUS 874149 HAS SOUPS 874149 WITH SCORE 875066.78
AT ITER 459 NEW BEST:: SOT 1767108 SOS 917609 HAS SOPS 917609 HAS SOUS 873638 HAS SOUPS 873638 WITH SCORE 874555.609
AT ITER 462 NEW BEST:: SOT 1767108 SOS 917159 HAS SOPS 917159 HAS SOUS 873638 HAS SOUPS 873638 WITH SCORE 874555.159
AT ITER 464 NEW BEST:: SOT 1765258 SOS 916975 HAS SOPS 916975 HAS SOUS 871919 HAS SOUPS 871919 WITH SCORE 872835.975
AT ITER 466 NEW BEST:: SOT 1763885 SOS 916348 HAS SOPS 916348 HAS SOUS 870901 HAS SOUPS 870901 WITH SCORE 871817.348
AT ITER 469 NEW BEST:: SOT 1763981 SOS 915894 HAS SOPS 915894 HAS SOUS 870822 HAS SOUPS 870822 WITH SCORE 871737.894
AT ITER 480 NEW BEST:: SOT 1763981 SOS 915506 HAS SOPS 915506 HAS SOUS 870822 HAS SOUPS 870822 WITH SCORE 871737.506
AT ITER 484 NEW BEST:: SOT 1763360 SOS 914959 HAS SOPS 914959 HAS SOUS 870655 HAS SOUPS 870655 WITH SCORE 871569.959
AT ITER 485 NEW BEST:: SOT 1762448 SOS 919232 HAS SOPS 919232 HAS SOUS 870013 HAS SOUPS 870013 WITH SCORE 870932.232
AT ITER 486 NEW BEST:: SOT 1762139 SOS 918923 HAS SOPS 918923 HAS SOUS 869704 HAS SOUPS 869704 WITH SCORE 870622.923
AT ITER 488 NEW BEST:: SOT 1761280 SOS 918220 HAS SOPS 918220 HAS SOUS 868901 HAS SOUPS 868901 WITH SCORE 869819.22
AT ITER 493 NEW BEST:: SOT 1761280 SOS 918055 HAS SOPS 918055 HAS SOUS 868901 HAS SOUPS 868901 WITH SCORE 869819.055
AT ITER 499 NEW BEST:: SOT 1761280 SOS 917830 HAS SOPS 917830 HAS SOUS 868901 HAS SOUPS 868901 WITH SCORE 869818.83
AT ITER 509 NEW BEST:: SOT 1761280 SOS 917750 HAS SOPS 917750 HAS SOUS 868901 HAS SOUPS 868901 WITH SCORE 869818.75
AT ITER 513 NEW BEST:: SOT 1761280 SOS 917456 HAS SOPS 917456 HAS SOUS 868901 HAS SOUPS 868901 WITH SCORE 869818.456
AT ITER 520 NEW BEST:: SOT 1760403 SOS 919187 HAS SOPS 919187 HAS SOUS 868024 HAS SOUPS 868024 WITH SCORE 868943.187
AT ITER 523 NEW BEST:: SOT 1760403 SOS 919131 HAS SOPS 919131 HAS SOUS 868024 HAS SOUPS 868024 WITH SCORE 868943.131
AT ITER 529 NEW BEST:: SOT 1760213 SOS 918909 HAS SOPS 918909 HAS SOUS 867834 HAS SOUPS 867834 WITH SCORE 868752.909
AT ITER 534 NEW BEST:: SOT 1760213 SOS 918827 HAS SOPS 918827 HAS SOUS 867834 HAS SOUPS 867834 WITH SCORE 868752.827
AT ITER 536 NEW BEST:: SOT 1760221 SOS 918793 HAS SOPS 918793 HAS SOUS 867710 HAS SOUPS 867710 WITH SCORE 868628.793
AT ITER 561 NEW BEST:: SOT 1760221 SOS 918748 HAS SOPS 918748 HAS SOUS 867678 HAS SOUPS 867678 WITH SCORE 868596.748
AT ITER 562 NEW BEST:: SOT 1760236 SOS 918790 HAS SOPS 918790 HAS SOUS 867620 HAS SOUPS 867620 WITH SCORE 868538.79
AT ITER 564 NEW BEST:: SOT 1760192 SOS 918660 HAS SOPS 918660 HAS SOUS 867470 HAS SOUPS 867470 WITH SCORE 868388.66
AT ITER 581 NEW BEST:: SOT 1760192 SOS 918199 HAS SOPS 918199 HAS SOUS 867470 HAS SOUPS 867470 WITH SCORE 868388.199
AT ITER 583 NEW BEST:: SOT 1760192 SOS 918115 HAS SOPS 918115 HAS SOUS 867470 HAS SOUPS 867470 WITH SCORE 868388.115
AT ITER 594 NEW BEST:: SOT 1760192 SOS 915956 HAS SOPS 915956 HAS SOUS 867259 HAS SOUPS 867259 WITH SCORE 868174.956
AT ITER 595 NEW BEST:: SOT 1760032 SOS 916860 HAS SOPS 916860 HAS SOUS 867113 HAS SOUPS 867113 WITH SCORE 868029.86
AT ITER 599 NEW BEST:: SOT 1760032 SOS 916793 HAS SOPS 916793 HAS SOUS 867113 HAS SOUPS 867113 WITH SCORE 868029.793
AT ITER 602 NEW BEST:: SOT 1760032 SOS 916505 HAS SOPS 916505 HAS SOUS 867064 HAS SOUPS 867064 WITH SCORE 867980.505
AT ITER 613 NEW BEST:: SOT 1760233 SOS 916760 HAS SOPS 916760 HAS SOUS 866687 HAS SOUPS 866687 WITH SCORE 867603.76
AT ITER 617 NEW BEST:: SOT 1759003 SOS 918241 HAS SOPS 918241 HAS SOUS 865523 HAS SOUPS 865523 WITH SCORE 866441.241
AT ITER 618 NEW BEST:: SOT 1759003 SOS 918188 HAS SOPS 918188 HAS SOUS 865523 HAS SOUPS 865523 WITH SCORE 866441.188
AT ITER 620 NEW BEST:: SOT 1759003 SOS 917773 HAS SOPS 917773 HAS SOUS 865523 HAS SOUPS 865523 WITH SCORE 866440.773
AT ITER 621 NEW BEST:: SOT 1758875 SOS 918063 HAS SOPS 918063 HAS SOUS 865479 HAS SOUPS 865479 WITH SCORE 866397.063
AT ITER 622 NEW BEST:: SOT 1758964 SOS 917472 HAS SOPS 917472 HAS SOUS 865427 HAS SOUPS 865427 WITH SCORE 866344.472
AT ITER 624 NEW BEST:: SOT 1758964 SOS 917417 HAS SOPS 917417 HAS SOUS 865427 HAS SOUPS 865427 WITH SCORE 866344.417
AT ITER 635 NEW BEST:: SOT 1758964 SOS 917370 HAS SOPS 917370 HAS SOUS 865427 HAS SOUPS 865427 WITH SCORE 866344.37
AT ITER 636 NEW BEST:: SOT 1757910 SOS 916426 HAS SOPS 916426 HAS SOUS 864483 HAS SOUPS 864483 WITH SCORE 865399.426
AT ITER 640 NEW BEST:: SOT 1757910 SOS 916078 HAS SOPS 916078 HAS SOUS 864483 HAS SOUPS 864483 WITH SCORE 865399.078
AT ITER 642 NEW BEST:: SOT 1757722 SOS 916266 HAS SOPS 916266 HAS SOUS 864295 HAS SOUPS 864295 WITH SCORE 865211.266
AT ITER 653 NEW BEST:: SOT 1757722 SOS 916252 HAS SOPS 916252 HAS SOUS 864281 HAS SOUPS 864281 WITH SCORE 865197.252
AT ITER 655 NEW BEST:: SOT 1757722 SOS 916111 HAS SOPS 916111 HAS SOUS 864281 HAS SOUPS 864281 WITH SCORE 865197.111
AT ITER 656 NEW BEST:: SOT 1756750 SOS 916868 HAS SOPS 916868 HAS SOUS 863470 HAS SOUPS 863470 WITH SCORE 864386.868
AT ITER 668 NEW BEST:: SOT 1756738 SOS 916856 HAS SOPS 916856 HAS SOUS 863458 HAS SOUPS 863458 WITH SCORE 864374.856
AT ITER 672 NEW BEST:: SOT 1756681 SOS 916879 HAS SOPS 916879 HAS SOUS 863454 HAS SOUPS 863454 WITH SCORE 864370.879
AT ITER 678 NEW BEST:: SOT 1756282 SOS 916480 HAS SOPS 916480 HAS SOUS 863055 HAS SOUPS 863055 WITH SCORE 863971.48
AT ITER 679 NEW BEST:: SOT 1756282 SOS 916248 HAS SOPS 916248 HAS SOUS 863055 HAS SOUPS 863055 WITH SCORE 863971.248
AT ITER 684 NEW BEST:: SOT 1756282 SOS 916168 HAS SOPS 916168 HAS SOUS 863055 HAS SOUPS 863055 WITH SCORE 863971.168
AT ITER 689 NEW BEST:: SOT 1754857 SOS 915765 HAS SOPS 915765 HAS SOUS 861893 HAS SOUPS 861893 WITH SCORE 862808.765
AT ITER 690 NEW BEST:: SOT 1754857 SOS 915622 HAS SOPS 915622 HAS SOUS 861893 HAS SOUPS 861893 WITH SCORE 862808.622
AT ITER 691 NEW BEST:: SOT 1753649 SOS 919678 HAS SOPS 919678 HAS SOUS 860934 HAS SOUPS 860934 WITH SCORE 861853.678
AT ITER 707 NEW BEST:: SOT 1752629 SOS 918787 HAS SOPS 918787 HAS SOUS 860000 HAS SOUPS 860000 WITH SCORE 860918.787
AT ITER 708 NEW BEST:: SOT 1751963 SOS 918121 HAS SOPS 918121 HAS SOUS 859334 HAS SOUPS 859334 WITH SCORE 860252.121
AT ITER 714 NEW BEST:: SOT 1751595 SOS 917753 HAS SOPS 917753 HAS SOUS 858966 HAS SOUPS 858966 WITH SCORE 859883.753
AT ITER 727 NEW BEST:: SOT 1751595 SOS 917408 HAS SOPS 917408 HAS SOUS 858966 HAS SOUPS 858966 WITH SCORE 859883.408
AT ITER 730 NEW BEST:: SOT 1751435 SOS 917310 HAS SOPS 917310 HAS SOUS 858806 HAS SOUPS 858806 WITH SCORE 859723.31
AT ITER 746 NEW BEST:: SOT 1751225 SOS 917588 HAS SOPS 917588 HAS SOUS 858695 HAS SOUPS 858695 WITH SCORE 859612.588
AT ITER 747 NEW BEST:: SOT 1750753 SOS 919819 HAS SOPS 919819 HAS SOUS 858270 HAS SOUPS 858270 WITH SCORE 859189.819
AT ITER 750 NEW BEST:: SOT 1750791 SOS 919201 HAS SOPS 919201 HAS SOUS 858233 HAS SOUPS 858233 WITH SCORE 859152.201
AT ITER 752 NEW BEST:: SOT 1750791 SOS 919137 HAS SOPS 919137 HAS SOUS 858233 HAS SOUPS 858233 WITH SCORE 859152.137
AT ITER 755 NEW BEST:: SOT 1749815 SOS 918301 HAS SOPS 918301 HAS SOUS 857257 HAS SOUPS 857257 WITH SCORE 858175.301
AT ITER 757 NEW BEST:: SOT 1749853 SOS 918193 HAS SOPS 918193 HAS SOUS 857249 HAS SOUPS 857249 WITH SCORE 858167.193
AT ITER 762 NEW BEST:: SOT 1748878 SOS 922851 HAS SOPS 922851 HAS SOUS 856561 HAS SOUPS 856561 WITH SCORE 857483.851
AT ITER 767 NEW BEST:: SOT 1748721 SOS 922812 HAS SOPS 922812 HAS SOUS 856404 HAS SOUPS 856404 WITH SCORE 857326.812
AT ITER 771 NEW BEST:: SOT 1748721 SOS 922788 HAS SOPS 922788 HAS SOUS 856404 HAS SOUPS 856404 WITH SCORE 857326.788
AT ITER 775 NEW BEST:: SOT 1748870 SOS 922629 HAS SOPS 922629 HAS SOUS 856125 HAS SOUPS 856125 WITH SCORE 857047.629
AT ITER 776 NEW BEST:: SOT 1748680 SOS 922439 HAS SOPS 922439 HAS SOUS 855897 HAS SOUPS 855897 WITH SCORE 856819.439
AT ITER 780 NEW BEST:: SOT 1748680 SOS 922285 HAS SOPS 922285 HAS SOUS 855897 HAS SOUPS 855897 WITH SCORE 856819.285
AT ITER 793 NEW BEST:: SOT 1748738 SOS 922290 HAS SOPS 922290 HAS SOUS 855792 HAS SOUPS 855792 WITH SCORE 856714.29
AT ITER 796 NEW BEST:: SOT 1748390 SOS 921942 HAS SOPS 921942 HAS SOUS 855444 HAS SOUPS 855444 WITH SCORE 856365.942
AT ITER 799 NEW BEST:: SOT 1746993 SOS 921380 HAS SOPS 921380 HAS SOUS 854276 HAS SOUPS 854276 WITH SCORE 855197.38
AT ITER 801 NEW BEST:: SOT 1746993 SOS 919539 HAS SOPS 919539 HAS SOUS 854276 HAS SOUPS 854276 WITH SCORE 855195.539
AT ITER 804 NEW BEST:: SOT 1746993 SOS 919486 HAS SOPS 919486 HAS SOUS 854276 HAS SOUPS 854276 WITH SCORE 855195.486
AT ITER 805 NEW BEST:: SOT 1746993 SOS 919402 HAS SOPS 919402 HAS SOUS 854276 HAS SOUPS 854276 WITH SCORE 855195.402
AT ITER 809 NEW BEST:: SOT 1746920 SOS 920000 HAS SOPS 920000 HAS SOUS 854203 HAS SOUPS 854203 WITH SCORE 855123.0
AT ITER 810 NEW BEST:: SOT 1746451 SOS 919900 HAS SOPS 919900 HAS SOUS 853734 HAS SOUPS 853734 WITH SCORE 854653.9
AT ITER 816 NEW BEST:: SOT 1746451 SOS 919753 HAS SOPS 919753 HAS SOUS 853734 HAS SOUPS 853734 WITH SCORE 854653.753
AT ITER 824 NEW BEST:: SOT 1746270 SOS 918647 HAS SOPS 918647 HAS SOUS 853343 HAS SOUPS 853343 WITH SCORE 854261.647
AT ITER 828 NEW BEST:: SOT 1746270 SOS 918595 HAS SOPS 918595 HAS SOUS 853343 HAS SOUPS 853343 WITH SCORE 854261.595
AT ITER 830 NEW BEST:: SOT 1746160 SOS 918427 HAS SOPS 918427 HAS SOUS 853085 HAS SOUPS 853085 WITH SCORE 854003.427
AT ITER 833 NEW BEST:: SOT 1746269 SOS 918535 HAS SOPS 918535 HAS SOUS 853083 HAS SOUPS 853083 WITH SCORE 854001.535
AT ITER 835 NEW BEST:: SOT 1745655 SOS 921487 HAS SOPS 921487 HAS SOUS 852570 HAS SOUPS 852570 WITH SCORE 853491.487
AT ITER 840 NEW BEST:: SOT 1745655 SOS 921713 HAS SOPS 921713 HAS SOUS 852268 HAS SOUPS 852268 WITH SCORE 853189.713
AT ITER 841 NEW BEST:: SOT 1745504 SOS 921680 HAS SOPS 921680 HAS SOUS 852117 HAS SOUPS 852117 WITH SCORE 853038.68
AT ITER 842 NEW BEST:: SOT 1744410 SOS 929032 HAS SOPS 929032 HAS SOUS 851326 HAS SOUPS 851326 WITH SCORE 852255.032
AT ITER 844 NEW BEST:: SOT 1744150 SOS 929206 HAS SOPS 929206 HAS SOUS 851287 HAS SOUPS 851287 WITH SCORE 852216.206
AT ITER 853 NEW BEST:: SOT 1742928 SOS 933628 HAS SOPS 933628 HAS SOUS 850439 HAS SOUPS 850439 WITH SCORE 851372.628
AT ITER 858 NEW BEST:: SOT 1742928 SOS 931682 HAS SOPS 931682 HAS SOUS 850439 HAS SOUPS 850439 WITH SCORE 851370.682
AT ITER 863 NEW BEST:: SOT 1742466 SOS 931737 HAS SOPS 931737 HAS SOUS 850076 HAS SOUPS 850076 WITH SCORE 851007.737
AT ITER 867 NEW BEST:: SOT 1742028 SOS 935016 HAS SOPS 935016 HAS SOUS 849841 HAS SOUPS 849841 WITH SCORE 850776.016
AT ITER 869 NEW BEST:: SOT 1742028 SOS 934935 HAS SOPS 934935 HAS SOUS 849841 HAS SOUPS 849841 WITH SCORE 850775.935
AT ITER 872 NEW BEST:: SOT 1742028 SOS 934934 HAS SOPS 934934 HAS SOUS 849841 HAS SOUPS 849841 WITH SCORE 850775.934
AT ITER 884 NEW BEST:: SOT 1742028 SOS 934887 HAS SOPS 934887 HAS SOUS 849841 HAS SOUPS 849841 WITH SCORE 850775.887
AT ITER 901 NEW BEST:: SOT 1742028 SOS 934613 HAS SOPS 934613 HAS SOUS 849841 HAS SOUPS 849841 WITH SCORE 850775.613
AT ITER 909 NEW BEST:: SOT 1741460 SOS 934440 HAS SOPS 934440 HAS SOUS 849704 HAS SOUPS 849704 WITH SCORE 850638.44
AT ITER 915 NEW BEST:: SOT 1740894 SOS 934048 HAS SOPS 934048 HAS SOUS 849192 HAS SOUPS 849192 WITH SCORE 850126.048
AT ITER 916 NEW BEST:: SOT 1740894 SOS 933987 HAS SOPS 933987 HAS SOUS 849192 HAS SOUPS 849192 WITH SCORE 850125.987
AT ITER 917 NEW BEST:: SOT 1741129 SOS 933912 HAS SOPS 933912 HAS SOUS 849028 HAS SOUPS 849028 WITH SCORE 849961.912
AT ITER 928 NEW BEST:: SOT 1741129 SOS 933622 HAS SOPS 933622 HAS SOUS 849028 HAS SOUPS 849028 WITH SCORE 849961.622
AT ITER 939 NEW BEST:: SOT 1741000 SOS 933114 HAS SOPS 933114 HAS SOUS 848471 HAS SOUPS 848471 WITH SCORE 849404.114
AT ITER 942 NEW BEST:: SOT 1740775 SOS 932966 HAS SOPS 932966 HAS SOUS 848323 HAS SOUPS 848323 WITH SCORE 849255.966
AT ITER 943 NEW BEST:: SOT 1740775 SOS 932506 HAS SOPS 932506 HAS SOUS 848323 HAS SOUPS 848323 WITH SCORE 849255.506
AT ITER 949 NEW BEST:: SOT 1740590 SOS 933008 HAS SOPS 933008 HAS SOUS 848183 HAS SOUPS 848183 WITH SCORE 849116.008
AT ITER 954 NEW BEST:: SOT 1740590 SOS 932567 HAS SOPS 932567 HAS SOUS 848183 HAS SOUPS 848183 WITH SCORE 849115.567
AT ITER 955 NEW BEST:: SOT 1740170 SOS 932424 HAS SOPS 932424 HAS SOUS 847850 HAS SOUPS 847850 WITH SCORE 848782.424
AT ITER 956 NEW BEST:: SOT 1740170 SOS 931944 HAS SOPS 931944 HAS SOUS 847796 HAS SOUPS 847796 WITH SCORE 848727.944
AT ITER 965 NEW BEST:: SOT 1740170 SOS 931515 HAS SOPS 931515 HAS SOUS 847417 HAS SOUPS 847417 WITH SCORE 848348.515
AT ITER 969 NEW BEST:: SOT 1739367 SOS 931146 HAS SOPS 931146 HAS SOUS 846947 HAS SOUPS 846947 WITH SCORE 847878.146
AT ITER 970 NEW BEST:: SOT 1739367 SOS 931063 HAS SOPS 931063 HAS SOUS 846947 HAS SOUPS 846947 WITH SCORE 847878.063
AT ITER 971 NEW BEST:: SOT 1739367 SOS 930860 HAS SOPS 930860 HAS SOUS 846947 HAS SOUPS 846947 WITH SCORE 847877.86
AT ITER 979 NEW BEST:: SOT 1739477 SOS 930556 HAS SOPS 930556 HAS SOUS 846920 HAS SOUPS 846920 WITH SCORE 847850.556
AT ITER 994 NEW BEST:: SOT 1738227 SOS 931362 HAS SOPS 931362 HAS SOUS 846190 HAS SOUPS 846190 WITH SCORE 847121.362
AT ITER 997 NEW BEST:: SOT 1738202 SOS 931362 HAS SOPS 931362 HAS SOUS 846165 HAS SOUPS 846165 WITH SCORE 847096.362
AT ITER 998 NEW BEST:: SOT 1737045 SOS 930934 HAS SOPS 930934 HAS SOUS 845520 HAS SOUPS 845520 WITH SCORE 846450.934
AT ITER 1002 NEW BEST:: SOT 1736979 SOS 930568 HAS SOPS 930568 HAS SOUS 845286 HAS SOUPS 845286 WITH SCORE 846216.568
AT ITER 1006 NEW BEST:: SOT 1736875 SOS 930464 HAS SOPS 930464 HAS SOUS 845233 HAS SOUPS 845233 WITH SCORE 846163.464
AT ITER 1007 NEW BEST:: SOT 1736875 SOS 930410 HAS SOPS 930410 HAS SOUS 845233 HAS SOUPS 845233 WITH SCORE 846163.41
AT ITER 1011 NEW BEST:: SOT 1736767 SOS 930325 HAS SOPS 930325 HAS SOUS 845176 HAS SOUPS 845176 WITH SCORE 846106.325
AT ITER 1012 NEW BEST:: SOT 1736767 SOS 929689 HAS SOPS 929689 HAS SOUS 845097 HAS SOUPS 845097 WITH SCORE 846026.689
AT ITER 1015 NEW BEST:: SOT 1736763 SOS 929881 HAS SOPS 929881 HAS SOUS 844892 HAS SOUPS 844892 WITH SCORE 845821.881
AT ITER 1018 NEW BEST:: SOT 1736763 SOS 929347 HAS SOPS 929347 HAS SOUS 844892 HAS SOUPS 844892 WITH SCORE 845821.347
AT ITER 1021 NEW BEST:: SOT 1736763 SOS 929292 HAS SOPS 929292 HAS SOUS 844892 HAS SOUPS 844892 WITH SCORE 845821.292
AT ITER 1027 NEW BEST:: SOT 1736749 SOS 929267 HAS SOPS 929267 HAS SOUS 844847 HAS SOUPS 844847 WITH SCORE 845776.267
AT ITER 1030 NEW BEST:: SOT 1737024 SOS 929280 HAS SOPS 929280 HAS SOUS 844827 HAS SOUPS 844827 WITH SCORE 845756.28
AT ITER 1035 NEW BEST:: SOT 1736784 SOS 929160 HAS SOPS 929160 HAS SOUS 844587 HAS SOUPS 844587 WITH SCORE 845516.16
AT ITER 1036 NEW BEST:: SOT 1736130 SOS 931183 HAS SOPS 931183 HAS SOUS 844476 HAS SOUPS 844476 WITH SCORE 845407.183
AT ITER 1038 NEW BEST:: SOT 1736115 SOS 931118 HAS SOPS 931118 HAS SOUS 844457 HAS SOUPS 844457 WITH SCORE 845388.118
AT ITER 1041 NEW BEST:: SOT 1736115 SOS 930978 HAS SOPS 930978 HAS SOUS 844219 HAS SOUPS 844219 WITH SCORE 845149.978
AT ITER 1042 NEW BEST:: SOT 1735037 SOS 931895 HAS SOPS 931895 HAS SOUS 843983 HAS SOUPS 843983 WITH SCORE 844914.895
AT ITER 1047 NEW BEST:: SOT 1734817 SOS 931931 HAS SOPS 931931 HAS SOUS 843763 HAS SOUPS 843763 WITH SCORE 844694.931
AT ITER 1052 NEW BEST:: SOT 1734817 SOS 931629 HAS SOPS 931629 HAS SOUS 843763 HAS SOUPS 843763 WITH SCORE 844694.629
AT ITER 1057 NEW BEST:: SOT 1733998 SOS 931465 HAS SOPS 931465 HAS SOUS 843148 HAS SOUPS 843148 WITH SCORE 844079.465
AT ITER 1062 NEW BEST:: SOT 1733944 SOS 931666 HAS SOPS 931666 HAS SOUS 843115 HAS SOUPS 843115 WITH SCORE 844046.666
AT ITER 1064 NEW BEST:: SOT 1733944 SOS 930943 HAS SOPS 930943 HAS SOUS 842985 HAS SOUPS 842985 WITH SCORE 843915.943
AT ITER 1066 NEW BEST:: SOT 1732481 SOS 934472 HAS SOPS 934472 HAS SOUS 842506 HAS SOUPS 842506 WITH SCORE 843440.472
AT ITER 1070 NEW BEST:: SOT 1732481 SOS 932558 HAS SOPS 932558 HAS SOUS 842149 HAS SOUPS 842149 WITH SCORE 843081.558
AT ITER 1073 NEW BEST:: SOT 1731473 SOS 932769 HAS SOPS 932769 HAS SOUS 841519 HAS SOUPS 841519 WITH SCORE 842451.769
AT ITER 1075 NEW BEST:: SOT 1730253 SOS 936984 HAS SOPS 936984 HAS SOUS 840552 HAS SOUPS 840552 WITH SCORE 841488.984
AT ITER 1077 NEW BEST:: SOT 1730253 SOS 936839 HAS SOPS 936839 HAS SOUS 840500 HAS SOUPS 840500 WITH SCORE 841436.839
AT ITER 1079 NEW BEST:: SOT 1730177 SOS 936864 HAS SOPS 936864 HAS SOUS 840458 HAS SOUPS 840458 WITH SCORE 841394.864
AT ITER 1095 NEW BEST:: SOT 1730177 SOS 936831 HAS SOPS 936831 HAS SOUS 840430 HAS SOUPS 840430 WITH SCORE 841366.831
AT ITER 1098 NEW BEST:: SOT 1730045 SOS 936762 HAS SOPS 936762 HAS SOUS 840364 HAS SOUPS 840364 WITH SCORE 841300.762
AT ITER 1102 NEW BEST:: SOT 1729793 SOS 936549 HAS SOPS 936549 HAS SOUS 840171 HAS SOUPS 840171 WITH SCORE 841107.549
AT ITER 1105 NEW BEST:: SOT 1729793 SOS 936293 HAS SOPS 936293 HAS SOUS 840171 HAS SOUPS 840171 WITH SCORE 841107.293
AT ITER 1108 NEW BEST:: SOT 1729793 SOS 935777 HAS SOPS 935777 HAS SOUS 840171 HAS SOUPS 840171 WITH SCORE 841106.777
AT ITER 1109 NEW BEST:: SOT 1729667 SOS 935481 HAS SOPS 935481 HAS SOUS 839993 HAS SOUPS 839993 WITH SCORE 840928.481
AT ITER 1110 NEW BEST:: SOT 1729779 SOS 935915 HAS SOPS 935915 HAS SOUS 839655 HAS SOUPS 839655 WITH SCORE 840590.915
AT ITER 1111 NEW BEST:: SOT 1728687 SOS 937860 HAS SOPS 937860 HAS SOUS 838977 HAS SOUPS 838977 WITH SCORE 839914.86
AT ITER 1113 NEW BEST:: SOT 1727416 SOS 938220 HAS SOPS 938220 HAS SOUS 838182 HAS SOUPS 838182 WITH SCORE 839120.22
AT ITER 1114 NEW BEST:: SOT 1727266 SOS 939116 HAS SOPS 939116 HAS SOUS 838159 HAS SOUPS 838159 WITH SCORE 839098.116
AT ITER 1123 NEW BEST:: SOT 1727235 SOS 939085 HAS SOPS 939085 HAS SOUS 838049 HAS SOUPS 838049 WITH SCORE 838988.085
AT ITER 1124 NEW BEST:: SOT 1727235 SOS 938617 HAS SOPS 938617 HAS SOUS 838049 HAS SOUPS 838049 WITH SCORE 838987.617
AT ITER 1127 NEW BEST:: SOT 1725599 SOS 937292 HAS SOPS 937292 HAS SOUS 836584 HAS SOUPS 836584 WITH SCORE 837521.292
AT ITER 1129 NEW BEST:: SOT 1725599 SOS 936653 HAS SOPS 936653 HAS SOUS 836519 HAS SOUPS 836519 WITH SCORE 837455.653
AT ITER 1135 NEW BEST:: SOT 1725599 SOS 936620 HAS SOPS 936620 HAS SOUS 836519 HAS SOUPS 836519 WITH SCORE 837455.62
AT ITER 1137 NEW BEST:: SOT 1725428 SOS 936506 HAS SOPS 936506 HAS SOUS 836348 HAS SOUPS 836348 WITH SCORE 837284.506
AT ITER 1143 NEW BEST:: SOT 1725428 SOS 936231 HAS SOPS 936231 HAS SOUS 836331 HAS SOUPS 836331 WITH SCORE 837267.231
AT ITER 1146 NEW BEST:: SOT 1725428 SOS 936460 HAS SOPS 936460 HAS SOUS 836298 HAS SOUPS 836298 WITH SCORE 837234.46
AT ITER 1162 NEW BEST:: SOT 1724931 SOS 936167 HAS SOPS 936167 HAS SOUS 835997 HAS SOUPS 835997 WITH SCORE 836933.167
AT ITER 1164 NEW BEST:: SOT 1724931 SOS 935816 HAS SOPS 935816 HAS SOUS 835944 HAS SOUPS 835944 WITH SCORE 836879.816
AT ITER 1167 NEW BEST:: SOT 1723697 SOS 936880 HAS SOPS 936880 HAS SOUS 835196 HAS SOUPS 835196 WITH SCORE 836132.88
AT ITER 1168 NEW BEST:: SOT 1722765 SOS 935081 HAS SOPS 935081 HAS SOUS 833932 HAS SOUPS 833932 WITH SCORE 834867.081
AT ITER 1171 NEW BEST:: SOT 1722030 SOS 935002 HAS SOPS 935002 HAS SOUS 833197 HAS SOUPS 833197 WITH SCORE 834132.002
AT ITER 1174 NEW BEST:: SOT 1722030 SOS 934871 HAS SOPS 934871 HAS SOUS 833164 HAS SOUPS 833164 WITH SCORE 834098.871
AT ITER 1175 NEW BEST:: SOT 1722030 SOS 934481 HAS SOPS 934481 HAS SOUS 833164 HAS SOUPS 833164 WITH SCORE 834098.481
AT ITER 1176 NEW BEST:: SOT 1722030 SOS 934009 HAS SOPS 934009 HAS SOUS 833164 HAS SOUPS 833164 WITH SCORE 834098.009
AT ITER 1177 NEW BEST:: SOT 1722017 SOS 933987 HAS SOPS 933987 HAS SOUS 833132 HAS SOUPS 833132 WITH SCORE 834065.987
AT ITER 1180 NEW BEST:: SOT 1721560 SOS 933881 HAS SOPS 933881 HAS SOUS 832809 HAS SOUPS 832809 WITH SCORE 833742.881
AT ITER 1181 NEW BEST:: SOT 1720286 SOS 934753 HAS SOPS 934753 HAS SOUS 831854 HAS SOUPS 831854 WITH SCORE 832788.753
AT ITER 1182 NEW BEST:: SOT 1720286 SOS 934500 HAS SOPS 934500 HAS SOUS 831854 HAS SOUPS 831854 WITH SCORE 832788.5
AT ITER 1184 NEW BEST:: SOT 1719788 SOS 937476 HAS SOPS 937476 HAS SOUS 831808 HAS SOUPS 831808 WITH SCORE 832745.476
AT ITER 1185 NEW BEST:: SOT 1719775 SOS 937532 HAS SOPS 937532 HAS SOUS 831770 HAS SOUPS 831770 WITH SCORE 832707.532
AT ITER 1189 NEW BEST:: SOT 1719673 SOS 937304 HAS SOPS 937304 HAS SOUS 831621 HAS SOUPS 831621 WITH SCORE 832558.304
AT ITER 1192 NEW BEST:: SOT 1719673 SOS 937118 HAS SOPS 937118 HAS SOUS 831621 HAS SOUPS 831621 WITH SCORE 832558.118
AT ITER 1195 NEW BEST:: SOT 1718749 SOS 936268 HAS SOPS 936268 HAS SOUS 830697 HAS SOUPS 830697 WITH SCORE 831633.268
AT ITER 1200 NEW BEST:: SOT 1718749 SOS 936249 HAS SOPS 936249 HAS SOUS 830697 HAS SOUPS 830697 WITH SCORE 831633.249
AT ITER 1201 NEW BEST:: SOT 1718749 SOS 936222 HAS SOPS 936222 HAS SOUS 830697 HAS SOUPS 830697 WITH SCORE 831633.222
AT ITER 1202 NEW BEST:: SOT 1718281 SOS 936497 HAS SOPS 936497 HAS SOUS 830516 HAS SOUPS 830516 WITH SCORE 831452.497
AT ITER 1203 NEW BEST:: SOT 1718281 SOS 936343 HAS SOPS 936343 HAS SOUS 830516 HAS SOUPS 830516 WITH SCORE 831452.343
AT ITER 1210 NEW BEST:: SOT 1718281 SOS 936128 HAS SOPS 936128 HAS SOUS 830516 HAS SOUPS 830516 WITH SCORE 831452.128
AT ITER 1212 NEW BEST:: SOT 1717567 SOS 935662 HAS SOPS 935662 HAS SOUS 829879 HAS SOUPS 829879 WITH SCORE 830814.662
AT ITER 1217 NEW BEST:: SOT 1716320 SOS 939429 HAS SOPS 939429 HAS SOUS 829077 HAS SOUPS 829077 WITH SCORE 830016.429
AT ITER 1220 NEW BEST:: SOT 1716186 SOS 939325 HAS SOPS 939325 HAS SOUS 828964 HAS SOUPS 828964 WITH SCORE 829903.325
AT ITER 1229 NEW BEST:: SOT 1716021 SOS 939160 HAS SOPS 939160 HAS SOUS 828799 HAS SOUPS 828799 WITH SCORE 829738.16
AT ITER 1232 NEW BEST:: SOT 1715471 SOS 939199 HAS SOPS 939199 HAS SOUS 828375 HAS SOUPS 828375 WITH SCORE 829314.199
AT ITER 1237 NEW BEST:: SOT 1715471 SOS 939107 HAS SOPS 939107 HAS SOUS 828375 HAS SOUPS 828375 WITH SCORE 829314.107
AT ITER 1244 NEW BEST:: SOT 1714646 SOS 938934 HAS SOPS 938934 HAS SOUS 827908 HAS SOUPS 827908 WITH SCORE 828846.934
AT ITER 1245 NEW BEST:: SOT 1714646 SOS 938835 HAS SOPS 938835 HAS SOUS 827908 HAS SOUPS 827908 WITH SCORE 828846.835
AT ITER 1263 NEW BEST:: SOT 1713470 SOS 938239 HAS SOPS 938239 HAS SOUS 826754 HAS SOUPS 826754 WITH SCORE 827692.239
AT ITER 1271 NEW BEST:: SOT 1713470 SOS 937763 HAS SOPS 937763 HAS SOUS 826754 HAS SOUPS 826754 WITH SCORE 827691.763
AT ITER 1274 NEW BEST:: SOT 1713470 SOS 937510 HAS SOPS 937510 HAS SOUS 826754 HAS SOUPS 826754 WITH SCORE 827691.51
AT ITER 1280 NEW BEST:: SOT 1713470 SOS 937510 HAS SOPS 937510 HAS SOUS 826661 HAS SOUPS 826661 WITH SCORE 827598.51
AT ITER 1281 NEW BEST:: SOT 1712760 SOS 937658 HAS SOPS 937658 HAS SOUS 826009 HAS SOUPS 826009 WITH SCORE 826946.658
AT ITER 1283 NEW BEST:: SOT 1712760 SOS 937292 HAS SOPS 937292 HAS SOUS 826009 HAS SOUPS 826009 WITH SCORE 826946.292
AT ITER 1284 NEW BEST:: SOT 1712760 SOS 937290 HAS SOPS 937290 HAS SOUS 826009 HAS SOUPS 826009 WITH SCORE 826946.29
AT ITER 1291 NEW BEST:: SOT 1712859 SOS 936839 HAS SOPS 936839 HAS SOUS 825508 HAS SOUPS 825508 WITH SCORE 826444.839
AT ITER 1296 NEW BEST:: SOT 1712859 SOS 936804 HAS SOPS 936804 HAS SOUS 825508 HAS SOUPS 825508 WITH SCORE 826444.804
AT ITER 1297 NEW BEST:: SOT 1712960 SOS 936268 HAS SOPS 936268 HAS SOUS 824932 HAS SOUPS 824932 WITH SCORE 825868.268
AT ITER 1304 NEW BEST:: SOT 1712491 SOS 936105 HAS SOPS 936105 HAS SOUS 824611 HAS SOUPS 824611 WITH SCORE 825547.105
AT ITER 1311 NEW BEST:: SOT 1712680 SOS 935684 HAS SOPS 935684 HAS SOUS 824122 HAS SOUPS 824122 WITH SCORE 825057.684
AT ITER 1313 NEW BEST:: SOT 1712680 SOS 934858 HAS SOPS 934858 HAS SOUS 824055 HAS SOUPS 824055 WITH SCORE 824989.858
AT ITER 1317 NEW BEST:: SOT 1712680 SOS 934386 HAS SOPS 934386 HAS SOUS 824049 HAS SOUPS 824049 WITH SCORE 824983.386
AT ITER 1331 NEW BEST:: SOT 1712680 SOS 933691 HAS SOPS 933691 HAS SOUS 824049 HAS SOUPS 824049 WITH SCORE 824982.691
AT ITER 1348 NEW BEST:: SOT 1712441 SOS 933658 HAS SOPS 933658 HAS SOUS 824016 HAS SOUPS 824016 WITH SCORE 824949.658
AT ITER 1357 NEW BEST:: SOT 1712441 SOS 933007 HAS SOPS 933007 HAS SOUS 824016 HAS SOUPS 824016 WITH SCORE 824949.007
AT ITER 1363 NEW BEST:: SOT 1712441 SOS 932886 HAS SOPS 932886 HAS SOUS 823945 HAS SOUPS 823945 WITH SCORE 824877.886
AT ITER 1371 NEW BEST:: SOT 1712441 SOS 932747 HAS SOPS 932747 HAS SOUS 823845 HAS SOUPS 823845 WITH SCORE 824777.747
AT ITER 1375 NEW BEST:: SOT 1712441 SOS 930412 HAS SOPS 930412 HAS SOUS 823845 HAS SOUPS 823845 WITH SCORE 824775.412
AT ITER 1380 NEW BEST:: SOT 1712441 SOS 930343 HAS SOPS 930343 HAS SOUS 823845 HAS SOUPS 823845 WITH SCORE 824775.343
AT ITER 1383 NEW BEST:: SOT 1712041 SOS 930425 HAS SOPS 930425 HAS SOUS 823580 HAS SOUPS 823580 WITH SCORE 824510.425
AT ITER 1385 NEW BEST:: SOT 1712041 SOS 929980 HAS SOPS 929980 HAS SOUS 823580 HAS SOUPS 823580 WITH SCORE 824509.98
AT ITER 1386 NEW BEST:: SOT 1712041 SOS 929779 HAS SOPS 929779 HAS SOUS 823580 HAS SOUPS 823580 WITH SCORE 824509.779
AT ITER 1389 NEW BEST:: SOT 1711708 SOS 929718 HAS SOPS 929718 HAS SOUS 823519 HAS SOUPS 823519 WITH SCORE 824448.718
AT ITER 1395 NEW BEST:: SOT 1711489 SOS 929664 HAS SOPS 929664 HAS SOUS 823465 HAS SOUPS 823465 WITH SCORE 824394.664
AT ITER 1398 NEW BEST:: SOT 1711489 SOS 929512 HAS SOPS 929512 HAS SOUS 823313 HAS SOUPS 823313 WITH SCORE 824242.512
AT ITER 1402 NEW BEST:: SOT 1711489 SOS 929765 HAS SOPS 929765 HAS SOUS 823268 HAS SOUPS 823268 WITH SCORE 824197.765
AT ITER 1412 NEW BEST:: SOT 1711489 SOS 929765 HAS SOPS 929765 HAS SOUS 823258 HAS SOUPS 823258 WITH SCORE 824187.765
AT ITER 1413 NEW BEST:: SOT 1711084 SOS 929704 HAS SOPS 929704 HAS SOUS 823094 HAS SOUPS 823094 WITH SCORE 824023.704
AT ITER 1414 NEW BEST:: SOT 1711084 SOS 929704 HAS SOPS 929704 HAS SOUS 823017 HAS SOUPS 823017 WITH SCORE 823946.704
AT ITER 1415 NEW BEST:: SOT 1710208 SOS 929441 HAS SOPS 929441 HAS SOUS 822744 HAS SOUPS 822744 WITH SCORE 823673.441
AT ITER 1425 NEW BEST:: SOT 1710080 SOS 929233 HAS SOPS 929233 HAS SOUS 822342 HAS SOUPS 822342 WITH SCORE 823271.233
AT ITER 1427 NEW BEST:: SOT 1710080 SOS 929130 HAS SOPS 929130 HAS SOUS 822342 HAS SOUPS 822342 WITH SCORE 823271.13
AT ITER 1434 NEW BEST:: SOT 1710080 SOS 928730 HAS SOPS 928730 HAS SOUS 822341 HAS SOUPS 822341 WITH SCORE 823269.73
AT ITER 1435 NEW BEST:: SOT 1710080 SOS 928728 HAS SOPS 928728 HAS SOUS 822339 HAS SOUPS 822339 WITH SCORE 823267.728
AT ITER 1441 NEW BEST:: SOT 1709761 SOS 928621 HAS SOPS 928621 HAS SOUS 822232 HAS SOUPS 822232 WITH SCORE 823160.621
AT ITER 1443 NEW BEST:: SOT 1709761 SOS 928621 HAS SOPS 928621 HAS SOUS 822225 HAS SOUPS 822225 WITH SCORE 823153.621
AT ITER 1445 NEW BEST:: SOT 1709761 SOS 928593 HAS SOPS 928593 HAS SOUS 822225 HAS SOUPS 822225 WITH SCORE 823153.593
AT ITER 1446 NEW BEST:: SOT 1709761 SOS 928543 HAS SOPS 928543 HAS SOUS 822225 HAS SOUPS 822225 WITH SCORE 823153.543
AT ITER 1454 NEW BEST:: SOT 1709761 SOS 928416 HAS SOPS 928416 HAS SOUS 822225 HAS SOUPS 822225 WITH SCORE 823153.416
AT ITER 1457 NEW BEST:: SOT 1709761 SOS 927898 HAS SOPS 927898 HAS SOUS 822225 HAS SOUPS 822225 WITH SCORE 823152.898
AT ITER 1458 NEW BEST:: SOT 1708642 SOS 928365 HAS SOPS 928365 HAS SOUS 821289 HAS SOUPS 821289 WITH SCORE 822217.365
AT ITER 1461 NEW BEST:: SOT 1707701 SOS 927893 HAS SOPS 927893 HAS SOUS 820447 HAS SOUPS 820447 WITH SCORE 821374.893
AT ITER 1487 NEW BEST:: SOT 1707701 SOS 927621 HAS SOPS 927621 HAS SOUS 820447 HAS SOUPS 820447 WITH SCORE 821374.621
AT ITER 1488 NEW BEST:: SOT 1707665 SOS 927585 HAS SOPS 927585 HAS SOUS 820387 HAS SOUPS 820387 WITH SCORE 821314.585
AT ITER 1493 NEW BEST:: SOT 1707140 SOS 927621 HAS SOPS 927621 HAS SOUS 819973 HAS SOUPS 819973 WITH SCORE 820900.621
AT ITER 1496 NEW BEST:: SOT 1706243 SOS 928662 HAS SOPS 928662 HAS SOUS 819270 HAS SOUPS 819270 WITH SCORE 820198.662
AT ITER 1499 NEW BEST:: SOT 1706243 SOS 928630 HAS SOPS 928630 HAS SOUS 819270 HAS SOUPS 819270 WITH SCORE 820198.63
AT ITER 1501 NEW BEST:: SOT 1706243 SOS 928612 HAS SOPS 928612 HAS SOUS 819270 HAS SOUPS 819270 WITH SCORE 820198.612
AT ITER 1502 NEW BEST:: SOT 1706161 SOS 929245 HAS SOPS 929245 HAS SOUS 819188 HAS SOUPS 819188 WITH SCORE 820117.245
AT ITER 1515 NEW BEST:: SOT 1706161 SOS 929134 HAS SOPS 929134 HAS SOUS 819188 HAS SOUPS 819188 WITH SCORE 820117.134
AT ITER 1518 NEW BEST:: SOT 1706161 SOS 928966 HAS SOPS 928966 HAS SOUS 819188 HAS SOUPS 819188 WITH SCORE 820116.966
AT ITER 1520 NEW BEST:: SOT 1706331 SOS 928660 HAS SOPS 928660 HAS SOUS 818772 HAS SOUPS 818772 WITH SCORE 819700.66
AT ITER 1522 NEW BEST:: SOT 1706270 SOS 928572 HAS SOPS 928572 HAS SOUS 818639 HAS SOUPS 818639 WITH SCORE 819567.572
AT ITER 1525 NEW BEST:: SOT 1706270 SOS 928242 HAS SOPS 928242 HAS SOUS 818639 HAS SOUPS 818639 WITH SCORE 819567.242
AT ITER 1529 NEW BEST:: SOT 1706270 SOS 928064 HAS SOPS 928064 HAS SOUS 818639 HAS SOUPS 818639 WITH SCORE 819567.064
AT ITER 1531 NEW BEST:: SOT 1705709 SOS 928473 HAS SOPS 928473 HAS SOUS 818543 HAS SOUPS 818543 WITH SCORE 819471.473
AT ITER 1532 NEW BEST:: SOT 1706003 SOS 929279 HAS SOPS 929279 HAS SOUS 818473 HAS SOUPS 818473 WITH SCORE 819402.279
AT ITER 1535 NEW BEST:: SOT 1705850 SOS 929032 HAS SOPS 929032 HAS SOUS 818205 HAS SOUPS 818205 WITH SCORE 819134.032
AT ITER 1541 NEW BEST:: SOT 1704573 SOS 928331 HAS SOPS 928331 HAS SOUS 817286 HAS SOUPS 817286 WITH SCORE 818214.331
AT ITER 1548 NEW BEST:: SOT 1704884 SOS 928442 HAS SOPS 928442 HAS SOUS 817218 HAS SOUPS 817218 WITH SCORE 818146.442
AT ITER 1550 NEW BEST:: SOT 1704852 SOS 927835 HAS SOPS 927835 HAS SOUS 817197 HAS SOUPS 817197 WITH SCORE 818124.835
AT ITER 1553 NEW BEST:: SOT 1705170 SOS 927952 HAS SOPS 927952 HAS SOUS 817082 HAS SOUPS 817082 WITH SCORE 818009.952
AT ITER 1556 NEW BEST:: SOT 1705170 SOS 927848 HAS SOPS 927848 HAS SOUS 817082 HAS SOUPS 817082 WITH SCORE 818009.848
AT ITER 1557 NEW BEST:: SOT 1705170 SOS 927848 HAS SOPS 927848 HAS SOUS 817015 HAS SOUPS 817015 WITH SCORE 817942.848
AT ITER 1561 NEW BEST:: SOT 1705149 SOS 927827 HAS SOPS 927827 HAS SOUS 816994 HAS SOUPS 816994 WITH SCORE 817921.827
AT ITER 1563 NEW BEST:: SOT 1705197 SOS 927635 HAS SOPS 927635 HAS SOUS 816882 HAS SOUPS 816882 WITH SCORE 817809.635
AT ITER 1569 NEW BEST:: SOT 1704987 SOS 927623 HAS SOPS 927623 HAS SOUS 816870 HAS SOUPS 816870 WITH SCORE 817797.623
AT ITER 1591 NEW BEST:: SOT 1703318 SOS 929495 HAS SOPS 929495 HAS SOUS 815910 HAS SOUPS 815910 WITH SCORE 816839.495
AT ITER 1594 NEW BEST:: SOT 1703238 SOS 929415 HAS SOPS 929415 HAS SOUS 815856 HAS SOUPS 815856 WITH SCORE 816785.415
AT ITER 1598 NEW BEST:: SOT 1703238 SOS 929384 HAS SOPS 929384 HAS SOUS 815825 HAS SOUPS 815825 WITH SCORE 816754.384
AT ITER 1602 NEW BEST:: SOT 1703238 SOS 929384 HAS SOPS 929384 HAS SOUS 815782 HAS SOUPS 815782 WITH SCORE 816711.384
AT ITER 1611 NEW BEST:: SOT 1703238 SOS 929205 HAS SOPS 929205 HAS SOUS 815782 HAS SOUPS 815782 WITH SCORE 816711.205
AT ITER 1632 NEW BEST:: SOT 1701286 SOS 929420 HAS SOPS 929420 HAS SOUS 814645 HAS SOUPS 814645 WITH SCORE 815574.42
AT ITER 1637 NEW BEST:: SOT 1701286 SOS 929176 HAS SOPS 929176 HAS SOUS 814645 HAS SOUPS 814645 WITH SCORE 815574.176
AT ITER 1640 NEW BEST:: SOT 1700298 SOS 928820 HAS SOPS 928820 HAS SOUS 813896 HAS SOUPS 813896 WITH SCORE 814824.82
AT ITER 1658 NEW BEST:: SOT 1700298 SOS 928660 HAS SOPS 928660 HAS SOUS 813874 HAS SOUPS 813874 WITH SCORE 814802.66
AT ITER 1661 NEW BEST:: SOT 1699231 SOS 930645 HAS SOPS 930645 HAS SOUS 813530 HAS SOUPS 813530 WITH SCORE 814460.645
AT ITER 1667 NEW BEST:: SOT 1699231 SOS 930566 HAS SOPS 930566 HAS SOUS 813418 HAS SOUPS 813418 WITH SCORE 814348.566
AT ITER 1677 NEW BEST:: SOT 1699231 SOS 930585 HAS SOPS 930585 HAS SOUS 813387 HAS SOUPS 813387 WITH SCORE 814317.585
AT ITER 1683 NEW BEST:: SOT 1699231 SOS 930076 HAS SOPS 930076 HAS SOUS 813350 HAS SOUPS 813350 WITH SCORE 814280.076
AT ITER 1686 NEW BEST:: SOT 1699192 SOS 930037 HAS SOPS 930037 HAS SOUS 813311 HAS SOUPS 813311 WITH SCORE 814241.037
AT ITER 1688 NEW BEST:: SOT 1699192 SOS 930004 HAS SOPS 930004 HAS SOUS 813138 HAS SOUPS 813138 WITH SCORE 814068.004
AT ITER 1693 NEW BEST:: SOT 1699183 SOS 929883 HAS SOPS 929883 HAS SOUS 813110 HAS SOUPS 813110 WITH SCORE 814039.883
AT ITER 1698 NEW BEST:: SOT 1699183 SOS 929599 HAS SOPS 929599 HAS SOUS 812918 HAS SOUPS 812918 WITH SCORE 813847.599
AT ITER 1702 NEW BEST:: SOT 1698139 SOS 933516 HAS SOPS 933516 HAS SOUS 812061 HAS SOUPS 812061 WITH SCORE 812994.516
AT ITER 1706 NEW BEST:: SOT 1697981 SOS 933358 HAS SOPS 933358 HAS SOUS 811824 HAS SOUPS 811824 WITH SCORE 812757.358
AT ITER 1707 NEW BEST:: SOT 1697937 SOS 929525 HAS SOPS 929525 HAS SOUS 811693 HAS SOUPS 811693 WITH SCORE 812622.525
AT ITER 1709 NEW BEST:: SOT 1697657 SOS 930127 HAS SOPS 930127 HAS SOUS 811504 HAS SOUPS 811504 WITH SCORE 812434.127
AT ITER 1711 NEW BEST:: SOT 1697580 SOS 929627 HAS SOPS 929627 HAS SOUS 811436 HAS SOUPS 811436 WITH SCORE 812365.627
AT ITER 1714 NEW BEST:: SOT 1697451 SOS 930126 HAS SOPS 930126 HAS SOUS 811141 HAS SOUPS 811141 WITH SCORE 812071.126
AT ITER 1716 NEW BEST:: SOT 1697451 SOS 930047 HAS SOPS 930047 HAS SOUS 811141 HAS SOUPS 811141 WITH SCORE 812071.047
AT ITER 1720 NEW BEST:: SOT 1697451 SOS 925710 HAS SOPS 925710 HAS SOUS 811141 HAS SOUPS 811141 WITH SCORE 812066.71
AT ITER 1727 NEW BEST:: SOT 1697451 SOS 925319 HAS SOPS 925319 HAS SOUS 810772 HAS SOUPS 810772 WITH SCORE 811697.319
AT ITER 1730 NEW BEST:: SOT 1697451 SOS 925013 HAS SOPS 925013 HAS SOUS 810590 HAS SOUPS 810590 WITH SCORE 811515.013
AT ITER 1731 NEW BEST:: SOT 1697451 SOS 924953 HAS SOPS 924953 HAS SOUS 810590 HAS SOUPS 810590 WITH SCORE 811514.953
AT ITER 1736 NEW BEST:: SOT 1697421 SOS 924843 HAS SOPS 924843 HAS SOUS 810580 HAS SOUPS 810580 WITH SCORE 811504.843
AT ITER 1737 NEW BEST:: SOT 1697421 SOS 924722 HAS SOPS 924722 HAS SOUS 810580 HAS SOUPS 810580 WITH SCORE 811504.722
AT ITER 1739 NEW BEST:: SOT 1697115 SOS 924416 HAS SOPS 924416 HAS SOUS 810274 HAS SOUPS 810274 WITH SCORE 811198.416
AT ITER 1744 NEW BEST:: SOT 1697115 SOS 924221 HAS SOPS 924221 HAS SOUS 810274 HAS SOUPS 810274 WITH SCORE 811198.221
AT ITER 1749 NEW BEST:: SOT 1697115 SOS 924046 HAS SOPS 924046 HAS SOUS 810274 HAS SOUPS 810274 WITH SCORE 811198.046
AT ITER 1752 NEW BEST:: SOT 1697115 SOS 923350 HAS SOPS 923350 HAS SOUS 810274 HAS SOUPS 810274 WITH SCORE 811197.35
AT ITER 1754 NEW BEST:: SOT 1697029 SOS 923307 HAS SOPS 923307 HAS SOUS 810194 HAS SOUPS 810194 WITH SCORE 811117.307
AT ITER 1758 NEW BEST:: SOT 1696591 SOS 923074 HAS SOPS 923074 HAS SOUS 809756 HAS SOUPS 809756 WITH SCORE 810679.074
AT ITER 1765 NEW BEST:: SOT 1696591 SOS 922847 HAS SOPS 922847 HAS SOUS 809756 HAS SOUPS 809756 WITH SCORE 810678.847
AT ITER 1768 NEW BEST:: SOT 1696591 SOS 922742 HAS SOPS 922742 HAS SOUS 809747 HAS SOUPS 809747 WITH SCORE 810669.742
AT ITER 1773 NEW BEST:: SOT 1696591 SOS 922616 HAS SOPS 922616 HAS SOUS 809688 HAS SOUPS 809688 WITH SCORE 810610.616
AT ITER 1782 NEW BEST:: SOT 1696591 SOS 922016 HAS SOPS 922016 HAS SOUS 809589 HAS SOUPS 809589 WITH SCORE 810511.016
AT ITER 1792 NEW BEST:: SOT 1696143 SOS 923799 HAS SOPS 923799 HAS SOUS 809418 HAS SOUPS 809418 WITH SCORE 810341.799
AT ITER 1793 NEW BEST:: SOT 1696316 SOS 924213 HAS SOPS 924213 HAS SOUS 809407 HAS SOUPS 809407 WITH SCORE 810331.213
AT ITER 1798 NEW BEST:: SOT 1695115 SOS 923564 HAS SOPS 923564 HAS SOUS 809074 HAS SOUPS 809074 WITH SCORE 809997.564
AT ITER 1803 NEW BEST:: SOT 1695054 SOS 923478 HAS SOPS 923478 HAS SOUS 808988 HAS SOUPS 808988 WITH SCORE 809911.478
AT ITER 1811 NEW BEST:: SOT 1694220 SOS 926811 HAS SOPS 926811 HAS SOUS 808571 HAS SOUPS 808571 WITH SCORE 809497.811
AT ITER 1821 NEW BEST:: SOT 1693864 SOS 926719 HAS SOPS 926719 HAS SOUS 808215 HAS SOUPS 808215 WITH SCORE 809141.719
AT ITER 1834 NEW BEST:: SOT 1693843 SOS 927294 HAS SOPS 927294 HAS SOUS 808167 HAS SOUPS 808167 WITH SCORE 809094.294
AT ITER 1843 NEW BEST:: SOT 1692868 SOS 929277 HAS SOPS 929277 HAS SOUS 807940 HAS SOUPS 807940 WITH SCORE 808869.277
AT ITER 1845 NEW BEST:: SOT 1692645 SOS 930205 HAS SOPS 930205 HAS SOUS 807909 HAS SOUPS 807909 WITH SCORE 808839.205
AT ITER 1846 NEW BEST:: SOT 1692645 SOS 929892 HAS SOPS 929892 HAS SOUS 807909 HAS SOUPS 807909 WITH SCORE 808838.892
AT ITER 1849 NEW BEST:: SOT 1692645 SOS 929590 HAS SOPS 929590 HAS SOUS 807909 HAS SOUPS 807909 WITH SCORE 808838.59
AT ITER 1852 NEW BEST:: SOT 1692619 SOS 929564 HAS SOPS 929564 HAS SOUS 807883 HAS SOUPS 807883 WITH SCORE 808812.564
AT ITER 1857 NEW BEST:: SOT 1692307 SOS 929278 HAS SOPS 929278 HAS SOUS 807701 HAS SOUPS 807701 WITH SCORE 808630.278
AT ITER 1859 NEW BEST:: SOT 1692255 SOS 930193 HAS SOPS 930193 HAS SOUS 807419 HAS SOUPS 807419 WITH SCORE 808349.193
AT ITER 1863 NEW BEST:: SOT 1692236 SOS 930290 HAS SOPS 930290 HAS SOUS 807400 HAS SOUPS 807400 WITH SCORE 808330.29
AT ITER 1867 NEW BEST:: SOT 1691115 SOS 929608 HAS SOPS 929608 HAS SOUS 806547 HAS SOUPS 806547 WITH SCORE 807476.608
AT ITER 1870 NEW BEST:: SOT 1691115 SOS 929400 HAS SOPS 929400 HAS SOUS 806547 HAS SOUPS 806547 WITH SCORE 807476.4
AT ITER 1875 NEW BEST:: SOT 1690799 SOS 929192 HAS SOPS 929192 HAS SOUS 806339 HAS SOUPS 806339 WITH SCORE 807268.192
AT ITER 1883 NEW BEST:: SOT 1690686 SOS 928876 HAS SOPS 928876 HAS SOUS 806280 HAS SOUPS 806280 WITH SCORE 807208.876
AT ITER 1894 NEW BEST:: SOT 1690686 SOS 928717 HAS SOPS 928717 HAS SOUS 806280 HAS SOUPS 806280 WITH SCORE 807208.717
AT ITER 1897 NEW BEST:: SOT 1690075 SOS 928733 HAS SOPS 928733 HAS SOUS 806249 HAS SOUPS 806249 WITH SCORE 807177.733
AT ITER 1899 NEW BEST:: SOT 1690075 SOS 925846 HAS SOPS 925846 HAS SOUS 805888 HAS SOUPS 805888 WITH SCORE 806813.846
AT ITER 1904 NEW BEST:: SOT 1689013 SOS 925246 HAS SOPS 925246 HAS SOUS 805109 HAS SOUPS 805109 WITH SCORE 806034.246
AT ITER 1908 NEW BEST:: SOT 1688552 SOS 926128 HAS SOPS 926128 HAS SOUS 804866 HAS SOUPS 804866 WITH SCORE 805792.128
AT ITER 1910 NEW BEST:: SOT 1688552 SOS 926053 HAS SOPS 926053 HAS SOUS 804691 HAS SOUPS 804691 WITH SCORE 805617.053
AT ITER 1915 NEW BEST:: SOT 1688552 SOS 920675 HAS SOPS 920675 HAS SOUS 804415 HAS SOUPS 804415 WITH SCORE 805335.675
AT ITER 1916 NEW BEST:: SOT 1687475 SOS 921840 HAS SOPS 921840 HAS SOUS 803885 HAS SOUPS 803885 WITH SCORE 804806.84
AT ITER 1919 NEW BEST:: SOT 1687265 SOS 921756 HAS SOPS 921756 HAS SOUS 803801 HAS SOUPS 803801 WITH SCORE 804722.756
AT ITER 1924 NEW BEST:: SOT 1687645 SOS 921903 HAS SOPS 921903 HAS SOUS 803693 HAS SOUPS 803693 WITH SCORE 804614.903
AT ITER 1928 NEW BEST:: SOT 1687644 SOS 921902 HAS SOPS 921902 HAS SOUS 803692 HAS SOUPS 803692 WITH SCORE 804613.902
AT ITER 1940 NEW BEST:: SOT 1687412 SOS 921722 HAS SOPS 921722 HAS SOUS 803512 HAS SOUPS 803512 WITH SCORE 804433.722
AT ITER 1945 NEW BEST:: SOT 1687552 SOS 921823 HAS SOPS 921823 HAS SOUS 803480 HAS SOUPS 803480 WITH SCORE 804401.823
AT ITER 1953 NEW BEST:: SOT 1687552 SOS 921823 HAS SOPS 921823 HAS SOUS 803155 HAS SOUPS 803155 WITH SCORE 804076.823
AT ITER 1955 NEW BEST:: SOT 1687936 SOS 921969 HAS SOPS 921969 HAS SOUS 803021 HAS SOUPS 803021 WITH SCORE 803942.969
AT ITER 1959 NEW BEST:: SOT 1687156 SOS 921849 HAS SOPS 921849 HAS SOUS 802598 HAS SOUPS 802598 WITH SCORE 803519.849
AT ITER 1962 NEW BEST:: SOT 1687156 SOS 921591 HAS SOPS 921591 HAS SOUS 802414 HAS SOUPS 802414 WITH SCORE 803335.591
AT ITER 1963 NEW BEST:: SOT 1687156 SOS 921575 HAS SOPS 921575 HAS SOUS 802414 HAS SOUPS 802414 WITH SCORE 803335.575
AT ITER 1964 NEW BEST:: SOT 1687156 SOS 921445 HAS SOPS 921445 HAS SOUS 802413 HAS SOUPS 802413 WITH SCORE 803334.445
AT ITER 1967 NEW BEST:: SOT 1686379 SOS 925201 HAS SOPS 925201 HAS SOUS 802110 HAS SOUPS 802110 WITH SCORE 803035.201
AT ITER 1970 NEW BEST:: SOT 1686635 SOS 925237 HAS SOPS 925237 HAS SOUS 802066 HAS SOUPS 802066 WITH SCORE 802991.237
AT ITER 1975 NEW BEST:: SOT 1686504 SOS 925021 HAS SOPS 925021 HAS SOUS 801829 HAS SOUPS 801829 WITH SCORE 802754.021
AT ITER 1983 NEW BEST:: SOT 1684518 SOS 925682 HAS SOPS 925682 HAS SOUS 800226 HAS SOUPS 800226 WITH SCORE 801151.682
AT ITER 1985 NEW BEST:: SOT 1683801 SOS 925949 HAS SOPS 925949 HAS SOUS 800078 HAS SOUPS 800078 WITH SCORE 801003.949
AT ITER 1986 NEW BEST:: SOT 1683801 SOS 922386 HAS SOPS 922386 HAS SOUS 799882 HAS SOUPS 799882 WITH SCORE 800804.386
AT ITER 1989 NEW BEST:: SOT 1682069 SOS 921114 HAS SOPS 921114 HAS SOUS 799033 HAS SOUPS 799033 WITH SCORE 799954.114
AT ITER 1996 NEW BEST:: SOT 1682069 SOS 921043 HAS SOPS 921043 HAS SOUS 799033 HAS SOUPS 799033 WITH SCORE 799954.043
AT ITER 2010 NEW BEST:: SOT 1682069 SOS 921019 HAS SOPS 921019 HAS SOUS 799033 HAS SOUPS 799033 WITH SCORE 799954.019
AT ITER 2016 NEW BEST:: SOT 1681391 SOS 920962 HAS SOPS 920962 HAS SOUS 798599 HAS SOUPS 798599 WITH SCORE 799519.962
AT ITER 2018 NEW BEST:: SOT 1681391 SOS 920627 HAS SOPS 920627 HAS SOUS 798599 HAS SOUPS 798599 WITH SCORE 799519.627
AT ITER 2019 NEW BEST:: SOT 1681352 SOS 920588 HAS SOPS 920588 HAS SOUS 798445 HAS SOUPS 798445 WITH SCORE 799365.588
AT ITER 2020 NEW BEST:: SOT 1681352 SOS 920294 HAS SOPS 920294 HAS SOUS 798445 HAS SOUPS 798445 WITH SCORE 799365.294
AT ITER 2021 NEW BEST:: SOT 1681352 SOS 919980 HAS SOPS 919980 HAS SOUS 798445 HAS SOUPS 798445 WITH SCORE 799364.98
AT ITER 2025 NEW BEST:: SOT 1681297 SOS 919925 HAS SOPS 919925 HAS SOUS 798406 HAS SOUPS 798406 WITH SCORE 799325.925
AT ITER 2032 NEW BEST:: SOT 1680587 SOS 919735 HAS SOPS 919735 HAS SOUS 797748 HAS SOUPS 797748 WITH SCORE 798667.735
AT ITER 2035 NEW BEST:: SOT 1680491 SOS 919113 HAS SOPS 919113 HAS SOUS 797567 HAS SOUPS 797567 WITH SCORE 798486.113
AT ITER 2036 NEW BEST:: SOT 1680279 SOS 918701 HAS SOPS 918701 HAS SOUS 797079 HAS SOUPS 797079 WITH SCORE 797997.701
AT ITER 2038 NEW BEST:: SOT 1678843 SOS 919161 HAS SOPS 919161 HAS SOUS 796376 HAS SOUPS 796376 WITH SCORE 797295.161
AT ITER 2043 NEW BEST:: SOT 1679007 SOS 917891 HAS SOPS 917891 HAS SOUS 796305 HAS SOUPS 796305 WITH SCORE 797222.891
AT ITER 2050 NEW BEST:: SOT 1679013 SOS 917563 HAS SOPS 917563 HAS SOUS 796303 HAS SOUPS 796303 WITH SCORE 797220.563
AT ITER 2055 NEW BEST:: SOT 1678944 SOS 917624 HAS SOPS 917624 HAS SOUS 796234 HAS SOUPS 796234 WITH SCORE 797151.624
AT ITER 2068 NEW BEST:: SOT 1678944 SOS 917454 HAS SOPS 917454 HAS SOUS 796183 HAS SOUPS 796183 WITH SCORE 797100.454
AT ITER 2069 NEW BEST:: SOT 1678636 SOS 917361 HAS SOPS 917361 HAS SOUS 795935 HAS SOUPS 795935 WITH SCORE 796852.361
AT ITER 2072 NEW BEST:: SOT 1678636 SOS 917352 HAS SOPS 917352 HAS SOUS 795926 HAS SOUPS 795926 WITH SCORE 796843.352
AT ITER 2079 NEW BEST:: SOT 1676488 SOS 915961 HAS SOPS 915961 HAS SOUS 794778 HAS SOUPS 794778 WITH SCORE 795693.961
AT ITER 2081 NEW BEST:: SOT 1676010 SOS 915682 HAS SOPS 915682 HAS SOUS 794499 HAS SOUPS 794499 WITH SCORE 795414.682
AT ITER 2086 NEW BEST:: SOT 1675855 SOS 916307 HAS SOPS 916307 HAS SOUS 794344 HAS SOUPS 794344 WITH SCORE 795260.307
AT ITER 2091 NEW BEST:: SOT 1675855 SOS 916138 HAS SOPS 916138 HAS SOUS 794344 HAS SOUPS 794344 WITH SCORE 795260.138
AT ITER 2104 NEW BEST:: SOT 1675212 SOS 915824 HAS SOPS 915824 HAS SOUS 793891 HAS SOUPS 793891 WITH SCORE 794806.824
AT ITER 2109 NEW BEST:: SOT 1675212 SOS 915806 HAS SOPS 915806 HAS SOUS 793693 HAS SOUPS 793693 WITH SCORE 794608.806
AT ITER 2119 NEW BEST:: SOT 1675017 SOS 915883 HAS SOPS 915883 HAS SOUS 793498 HAS SOUPS 793498 WITH SCORE 794413.883
AT ITER 2124 NEW BEST:: SOT 1675007 SOS 915652 HAS SOPS 915652 HAS SOUS 793431 HAS SOUPS 793431 WITH SCORE 794346.652
AT ITER 2130 NEW BEST:: SOT 1675007 SOS 913943 HAS SOPS 913943 HAS SOUS 793431 HAS SOUPS 793431 WITH SCORE 794344.943
AT ITER 2135 NEW BEST:: SOT 1673971 SOS 914021 HAS SOPS 914021 HAS SOUS 793141 HAS SOUPS 793141 WITH SCORE 794055.021
AT ITER 2136 NEW BEST:: SOT 1673971 SOS 913738 HAS SOPS 913738 HAS SOUS 792999 HAS SOUPS 792999 WITH SCORE 793912.738
AT ITER 2137 NEW BEST:: SOT 1673640 SOS 913573 HAS SOPS 913573 HAS SOUS 792710 HAS SOUPS 792710 WITH SCORE 793623.573
AT ITER 2149 NEW BEST:: SOT 1673640 SOS 913573 HAS SOPS 913573 HAS SOUS 792700 HAS SOUPS 792700 WITH SCORE 793613.573
AT ITER 2151 NEW BEST:: SOT 1673689 SOS 913909 HAS SOPS 913909 HAS SOUS 792668 HAS SOUPS 792668 WITH SCORE 793581.909
AT ITER 2163 NEW BEST:: SOT 1673689 SOS 913896 HAS SOPS 913896 HAS SOUS 792668 HAS SOUPS 792668 WITH SCORE 793581.896
AT ITER 2165 NEW BEST:: SOT 1673689 SOS 913352 HAS SOPS 913352 HAS SOUS 792668 HAS SOUPS 792668 WITH SCORE 793581.352
AT ITER 2171 NEW BEST:: SOT 1673208 SOS 913534 HAS SOPS 913534 HAS SOUS 792365 HAS SOUPS 792365 WITH SCORE 793278.534
AT ITER 2174 NEW BEST:: SOT 1673126 SOS 913890 HAS SOPS 913890 HAS SOUS 792149 HAS SOUPS 792149 WITH SCORE 793062.89
AT ITER 2191 NEW BEST:: SOT 1672741 SOS 913560 HAS SOPS 913560 HAS SOUS 791819 HAS SOUPS 791819 WITH SCORE 792732.56
AT ITER 2193 NEW BEST:: SOT 1672664 SOS 913287 HAS SOPS 913287 HAS SOUS 791521 HAS SOUPS 791521 WITH SCORE 792434.287
AT ITER 2197 NEW BEST:: SOT 1671776 SOS 912492 HAS SOPS 912492 HAS SOUS 790726 HAS SOUPS 790726 WITH SCORE 791638.492
AT ITER 2199 NEW BEST:: SOT 1671776 SOS 912316 HAS SOPS 912316 HAS SOUS 790726 HAS SOUPS 790726 WITH SCORE 791638.316
AT ITER 2216 NEW BEST:: SOT 1671609 SOS 912259 HAS SOPS 912259 HAS SOUS 790559 HAS SOUPS 790559 WITH SCORE 791471.259
AT ITER 2218 NEW BEST:: SOT 1671609 SOS 912200 HAS SOPS 912200 HAS SOUS 790559 HAS SOUPS 790559 WITH SCORE 791471.2
AT ITER 2226 NEW BEST:: SOT 1671609 SOS 912200 HAS SOPS 912200 HAS SOUS 790504 HAS SOUPS 790504 WITH SCORE 791416.2
AT ITER 2232 NEW BEST:: SOT 1671609 SOS 911967 HAS SOPS 911967 HAS SOUS 790463 HAS SOUPS 790463 WITH SCORE 791374.967
AT ITER 2233 NEW BEST:: SOT 1671609 SOS 911884 HAS SOPS 911884 HAS SOUS 790463 HAS SOUPS 790463 WITH SCORE 791374.884
AT ITER 2234 NEW BEST:: SOT 1671409 SOS 911853 HAS SOPS 911853 HAS SOUS 790331 HAS SOUPS 790331 WITH SCORE 791242.853
AT ITER 2257 NEW BEST:: SOT 1671386 SOS 911879 HAS SOPS 911879 HAS SOUS 790308 HAS SOUPS 790308 WITH SCORE 791219.879
AT ITER 2258 NEW BEST:: SOT 1670428 SOS 911703 HAS SOPS 911703 HAS SOUS 790143 HAS SOUPS 790143 WITH SCORE 791054.703
AT ITER 2262 NEW BEST:: SOT 1670428 SOS 911606 HAS SOPS 911606 HAS SOUS 790143 HAS SOUPS 790143 WITH SCORE 791054.606
AT ITER 2264 NEW BEST:: SOT 1670344 SOS 911522 HAS SOPS 911522 HAS SOUS 789764 HAS SOUPS 789764 WITH SCORE 790675.522
AT ITER 2279 NEW BEST:: SOT 1669772 SOS 911417 HAS SOPS 911417 HAS SOUS 789739 HAS SOUPS 789739 WITH SCORE 790650.417
AT ITER 2282 NEW BEST:: SOT 1669772 SOS 911139 HAS SOPS 911139 HAS SOUS 789739 HAS SOUPS 789739 WITH SCORE 790650.139
AT ITER 2287 NEW BEST:: SOT 1669772 SOS 911139 HAS SOPS 911139 HAS SOUS 789701 HAS SOUPS 789701 WITH SCORE 790612.139
AT ITER 2290 NEW BEST:: SOT 1669772 SOS 911111 HAS SOPS 911111 HAS SOUS 789673 HAS SOUPS 789673 WITH SCORE 790584.111
AT ITER 2302 NEW BEST:: SOT 1669713 SOS 911116 HAS SOPS 911116 HAS SOUS 789608 HAS SOUPS 789608 WITH SCORE 790519.116
AT ITER 2310 NEW BEST:: SOT 1669685 SOS 911013 HAS SOPS 911013 HAS SOUS 789149 HAS SOUPS 789149 WITH SCORE 790060.013
AT ITER 2314 NEW BEST:: SOT 1668408 SOS 910584 HAS SOPS 910584 HAS SOUS 788415 HAS SOUPS 788415 WITH SCORE 789325.584
AT ITER 2320 NEW BEST:: SOT 1668007 SOS 909936 HAS SOPS 909936 HAS SOUS 787549 HAS SOUPS 787549 WITH SCORE 788458.936
AT ITER 2324 NEW BEST:: SOT 1668007 SOS 909348 HAS SOPS 909348 HAS SOUS 787430 HAS SOUPS 787430 WITH SCORE 788339.348
AT ITER 2333 NEW BEST:: SOT 1668007 SOS 909227 HAS SOPS 909227 HAS SOUS 787430 HAS SOUPS 787430 WITH SCORE 788339.227
AT ITER 2334 NEW BEST:: SOT 1668007 SOS 909117 HAS SOPS 909117 HAS SOUS 787430 HAS SOUPS 787430 WITH SCORE 788339.117
AT ITER 2351 NEW BEST:: SOT 1667740 SOS 908939 HAS SOPS 908939 HAS SOUS 787341 HAS SOUPS 787341 WITH SCORE 788249.939
AT ITER 2353 NEW BEST:: SOT 1667740 SOS 908779 HAS SOPS 908779 HAS SOUS 787341 HAS SOUPS 787341 WITH SCORE 788249.779
AT ITER 2354 NEW BEST:: SOT 1667740 SOS 908450 HAS SOPS 908450 HAS SOUS 787341 HAS SOUPS 787341 WITH SCORE 788249.45
AT ITER 2357 NEW BEST:: SOT 1666696 SOS 911236 HAS SOPS 911236 HAS SOUS 787196 HAS SOUPS 787196 WITH SCORE 788107.236
AT ITER 2366 NEW BEST:: SOT 1666671 SOS 911211 HAS SOPS 911211 HAS SOUS 787171 HAS SOUPS 787171 WITH SCORE 788082.211
AT ITER 2370 NEW BEST:: SOT 1666671 SOS 911443 HAS SOPS 911443 HAS SOUS 787164 HAS SOUPS 787164 WITH SCORE 788075.443
AT ITER 2375 NEW BEST:: SOT 1666502 SOS 911013 HAS SOPS 911013 HAS SOUS 787098 HAS SOUPS 787098 WITH SCORE 788009.013
AT ITER 2383 NEW BEST:: SOT 1666502 SOS 911461 HAS SOPS 911461 HAS SOUS 786959 HAS SOUPS 786959 WITH SCORE 787870.461
AT ITER 2405 NEW BEST:: SOT 1666995 SOS 911458 HAS SOPS 911458 HAS SOUS 786726 HAS SOUPS 786726 WITH SCORE 787637.458
AT ITER 2408 NEW BEST:: SOT 1666970 SOS 912809 HAS SOPS 912809 HAS SOUS 786701 HAS SOUPS 786701 WITH SCORE 787613.809
AT ITER 2410 NEW BEST:: SOT 1666717 SOS 912362 HAS SOPS 912362 HAS SOUS 786207 HAS SOUPS 786207 WITH SCORE 787119.362
AT ITER 2413 NEW BEST:: SOT 1666011 SOS 912310 HAS SOPS 912310 HAS SOUS 785679 HAS SOUPS 785679 WITH SCORE 786591.31
AT ITER 2419 NEW BEST:: SOT 1666011 SOS 912261 HAS SOPS 912261 HAS SOUS 785679 HAS SOUPS 785679 WITH SCORE 786591.261
AT ITER 2421 NEW BEST:: SOT 1666011 SOS 911888 HAS SOPS 911888 HAS SOUS 785652 HAS SOUPS 785652 WITH SCORE 786563.888
AT ITER 2426 NEW BEST:: SOT 1666011 SOS 911732 HAS SOPS 911732 HAS SOUS 785505 HAS SOUPS 785505 WITH SCORE 786416.732
AT ITER 2437 NEW BEST:: SOT 1664762 SOS 911330 HAS SOPS 911330 HAS SOUS 784568 HAS SOUPS 784568 WITH SCORE 785479.33
AT ITER 2439 NEW BEST:: SOT 1664762 SOS 911324 HAS SOPS 911324 HAS SOUS 784568 HAS SOUPS 784568 WITH SCORE 785479.324
AT ITER 2446 NEW BEST:: SOT 1664762 SOS 911324 HAS SOPS 911324 HAS SOUS 784361 HAS SOUPS 784361 WITH SCORE 785272.324
AT ITER 2450 NEW BEST:: SOT 1664054 SOS 915022 HAS SOPS 915022 HAS SOUS 783986 HAS SOUPS 783986 WITH SCORE 784901.022
AT ITER 2458 NEW BEST:: SOT 1664054 SOS 915002 HAS SOPS 915002 HAS SOUS 783986 HAS SOUPS 783986 WITH SCORE 784901.002
AT ITER 2479 NEW BEST:: SOT 1662768 SOS 914799 HAS SOPS 914799 HAS SOUS 782953 HAS SOUPS 782953 WITH SCORE 783867.799
AT ITER 2483 NEW BEST:: SOT 1662768 SOS 914699 HAS SOPS 914699 HAS SOUS 782953 HAS SOUPS 782953 WITH SCORE 783867.699
AT ITER 2493 NEW BEST:: SOT 1662768 SOS 914447 HAS SOPS 914447 HAS SOUS 782953 HAS SOUPS 782953 WITH SCORE 783867.447
AT ITER 2498 NEW BEST:: SOT 1662182 SOS 914397 HAS SOPS 914397 HAS SOUS 782852 HAS SOUPS 782852 WITH SCORE 783766.397
AT ITER 2500 NEW BEST:: SOT 1660476 SOS 913344 HAS SOPS 913344 HAS SOUS 782038 HAS SOUPS 782038 WITH SCORE 782951.344
AT ITER 2512 NEW BEST:: SOT 1660191 SOS 913255 HAS SOPS 913255 HAS SOUS 782017 HAS SOUPS 782017 WITH SCORE 782930.255
AT ITER 2513 NEW BEST:: SOT 1660191 SOS 913171 HAS SOPS 913171 HAS SOUS 782017 HAS SOUPS 782017 WITH SCORE 782930.171
AT ITER 2518 NEW BEST:: SOT 1659623 SOS 912337 HAS SOPS 912337 HAS SOUS 781072 HAS SOUPS 781072 WITH SCORE 781984.337
AT ITER 2525 NEW BEST:: SOT 1659623 SOS 911799 HAS SOPS 911799 HAS SOUS 780973 HAS SOUPS 780973 WITH SCORE 781884.799
AT ITER 2527 NEW BEST:: SOT 1657765 SOS 910845 HAS SOPS 910845 HAS SOUS 779317 HAS SOUPS 779317 WITH SCORE 780227.845
AT ITER 2533 NEW BEST:: SOT 1656434 SOS 911854 HAS SOPS 911854 HAS SOUS 778418 HAS SOUPS 778418 WITH SCORE 779329.854
AT ITER 2541 NEW BEST:: SOT 1656401 SOS 911431 HAS SOPS 911431 HAS SOUS 778389 HAS SOUPS 778389 WITH SCORE 779300.431
AT ITER 2546 NEW BEST:: SOT 1655974 SOS 911074 HAS SOPS 911074 HAS SOUS 778135 HAS SOUPS 778135 WITH SCORE 779046.074
AT ITER 2550 NEW BEST:: SOT 1655559 SOS 910033 HAS SOPS 910033 HAS SOUS 777720 HAS SOUPS 777720 WITH SCORE 778630.033
AT ITER 2555 NEW BEST:: SOT 1655675 SOS 909889 HAS SOPS 909889 HAS SOUS 777506 HAS SOUPS 777506 WITH SCORE 778415.889
AT ITER 2561 NEW BEST:: SOT 1654240 SOS 909476 HAS SOPS 909476 HAS SOUS 776662 HAS SOUPS 776662 WITH SCORE 777571.476
AT ITER 2563 NEW BEST:: SOT 1654240 SOS 909448 HAS SOPS 909448 HAS SOUS 776662 HAS SOUPS 776662 WITH SCORE 777571.448
AT ITER 2565 NEW BEST:: SOT 1653311 SOS 910963 HAS SOPS 910963 HAS SOUS 776340 HAS SOUPS 776340 WITH SCORE 777250.963
AT ITER 2570 NEW BEST:: SOT 1653311 SOS 910730 HAS SOPS 910730 HAS SOUS 776340 HAS SOUPS 776340 WITH SCORE 777250.73
AT ITER 2571 NEW BEST:: SOT 1653061 SOS 910614 HAS SOPS 910614 HAS SOUS 776224 HAS SOUPS 776224 WITH SCORE 777134.614
AT ITER 2574 NEW BEST:: SOT 1653061 SOS 910383 HAS SOPS 910383 HAS SOUS 776224 HAS SOUPS 776224 WITH SCORE 777134.383
AT ITER 2579 NEW BEST:: SOT 1652904 SOS 910226 HAS SOPS 910226 HAS SOUS 776010 HAS SOUPS 776010 WITH SCORE 776920.226
AT ITER 2584 NEW BEST:: SOT 1652904 SOS 910067 HAS SOPS 910067 HAS SOUS 776010 HAS SOUPS 776010 WITH SCORE 776920.067
AT ITER 2586 NEW BEST:: SOT 1652904 SOS 909879 HAS SOPS 909879 HAS SOUS 776010 HAS SOUPS 776010 WITH SCORE 776919.879
AT ITER 2590 NEW BEST:: SOT 1652586 SOS 911254 HAS SOPS 911254 HAS SOUS 775692 HAS SOUPS 775692 WITH SCORE 776603.254
AT ITER 2591 NEW BEST:: SOT 1652586 SOS 911138 HAS SOPS 911138 HAS SOUS 775692 HAS SOUPS 775692 WITH SCORE 776603.138
AT ITER 2592 NEW BEST:: SOT 1651508 SOS 910329 HAS SOPS 910329 HAS SOUS 775194 HAS SOUPS 775194 WITH SCORE 776104.329
AT ITER 2593 NEW BEST:: SOT 1651730 SOS 909049 HAS SOPS 909049 HAS SOUS 775128 HAS SOUPS 775128 WITH SCORE 776037.049
AT ITER 2596 NEW BEST:: SOT 1651730 SOS 908697 HAS SOPS 908697 HAS SOUS 775121 HAS SOUPS 775121 WITH SCORE 776029.697
AT ITER 2600 NEW BEST:: SOT 1651730 SOS 909094 HAS SOPS 909094 HAS SOUS 775068 HAS SOUPS 775068 WITH SCORE 775977.094
AT ITER 2604 NEW BEST:: SOT 1651730 SOS 909063 HAS SOPS 909063 HAS SOUS 775068 HAS SOUPS 775068 WITH SCORE 775977.063
AT ITER 2611 NEW BEST:: SOT 1651664 SOS 909880 HAS SOPS 909880 HAS SOUS 775017 HAS SOUPS 775017 WITH SCORE 775926.88
AT ITER 2621 NEW BEST:: SOT 1651664 SOS 909563 HAS SOPS 909563 HAS SOUS 775017 HAS SOUPS 775017 WITH SCORE 775926.563
AT ITER 2629 NEW BEST:: SOT 1651545 SOS 909444 HAS SOPS 909444 HAS SOUS 774917 HAS SOUPS 774917 WITH SCORE 775826.444
AT ITER 2636 NEW BEST:: SOT 1651453 SOS 909308 HAS SOPS 909308 HAS SOUS 774781 HAS SOUPS 774781 WITH SCORE 775690.308
AT ITER 2637 NEW BEST:: SOT 1651453 SOS 908163 HAS SOPS 908163 HAS SOUS 774781 HAS SOUPS 774781 WITH SCORE 775689.163
AT ITER 2643 NEW BEST:: SOT 1651453 SOS 908065 HAS SOPS 908065 HAS SOUS 774781 HAS SOUPS 774781 WITH SCORE 775689.065
AT ITER 2646 NEW BEST:: SOT 1651371 SOS 907983 HAS SOPS 907983 HAS SOUS 774743 HAS SOUPS 774743 WITH SCORE 775650.983
AT ITER 2651 NEW BEST:: SOT 1651362 SOS 907809 HAS SOPS 907809 HAS SOUS 774726 HAS SOUPS 774726 WITH SCORE 775633.809
AT ITER 2652 NEW BEST:: SOT 1651362 SOS 907809 HAS SOPS 907809 HAS SOUS 774556 HAS SOUPS 774556 WITH SCORE 775463.809
AT ITER 2653 NEW BEST:: SOT 1649882 SOS 910908 HAS SOPS 910908 HAS SOUS 773887 HAS SOUPS 773887 WITH SCORE 774797.908
AT ITER 2659 NEW BEST:: SOT 1648541 SOS 911074 HAS SOPS 911074 HAS SOUS 773393 HAS SOUPS 773393 WITH SCORE 774304.074
AT ITER 2663 NEW BEST:: SOT 1648541 SOS 910871 HAS SOPS 910871 HAS SOUS 773364 HAS SOUPS 773364 WITH SCORE 774274.871
AT ITER 2665 NEW BEST:: SOT 1648541 SOS 910677 HAS SOPS 910677 HAS SOUS 773364 HAS SOUPS 773364 WITH SCORE 774274.677
AT ITER 2667 NEW BEST:: SOT 1648541 SOS 910577 HAS SOPS 910577 HAS SOUS 773364 HAS SOUPS 773364 WITH SCORE 774274.577
AT ITER 2670 NEW BEST:: SOT 1648541 SOS 910425 HAS SOPS 910425 HAS SOUS 773364 HAS SOUPS 773364 WITH SCORE 774274.425
AT ITER 2680 NEW BEST:: SOT 1647888 SOS 910106 HAS SOPS 910106 HAS SOUS 773302 HAS SOUPS 773302 WITH SCORE 774212.106
AT ITER 2688 NEW BEST:: SOT 1647089 SOS 909652 HAS SOPS 909652 HAS SOUS 772588 HAS SOUPS 772588 WITH SCORE 773497.652
AT ITER 2690 NEW BEST:: SOT 1646889 SOS 909452 HAS SOPS 909452 HAS SOUS 772238 HAS SOUPS 772238 WITH SCORE 773147.452
AT ITER 2692 NEW BEST:: SOT 1646889 SOS 909086 HAS SOPS 909086 HAS SOUS 772124 HAS SOUPS 772124 WITH SCORE 773033.086
AT ITER 2698 NEW BEST:: SOT 1646889 SOS 907853 HAS SOPS 907853 HAS SOUS 772124 HAS SOUPS 772124 WITH SCORE 773031.853
AT ITER 2700 NEW BEST:: SOT 1646889 SOS 907737 HAS SOPS 907737 HAS SOUS 772090 HAS SOUPS 772090 WITH SCORE 772997.737
AT ITER 2706 NEW BEST:: SOT 1646785 SOS 908272 HAS SOPS 908272 HAS SOUS 771715 HAS SOUPS 771715 WITH SCORE 772623.272
AT ITER 2715 NEW BEST:: SOT 1646785 SOS 908134 HAS SOPS 908134 HAS SOUS 771673 HAS SOUPS 771673 WITH SCORE 772581.134
AT ITER 2726 NEW BEST:: SOT 1646785 SOS 908059 HAS SOPS 908059 HAS SOUS 771673 HAS SOUPS 771673 WITH SCORE 772581.059
AT ITER 2728 NEW BEST:: SOT 1646197 SOS 907701 HAS SOPS 907701 HAS SOUS 771179 HAS SOUPS 771179 WITH SCORE 772086.701
AT ITER 2729 NEW BEST:: SOT 1646154 SOS 907658 HAS SOPS 907658 HAS SOUS 771087 HAS SOUPS 771087 WITH SCORE 771994.658
AT ITER 2734 NEW BEST:: SOT 1646154 SOS 907638 HAS SOPS 907638 HAS SOUS 771077 HAS SOUPS 771077 WITH SCORE 771984.638
AT ITER 2740 NEW BEST:: SOT 1646154 SOS 907167 HAS SOPS 907167 HAS SOUS 771077 HAS SOUPS 771077 WITH SCORE 771984.167
AT ITER 2741 NEW BEST:: SOT 1646154 SOS 907161 HAS SOPS 907161 HAS SOUS 771071 HAS SOUPS 771071 WITH SCORE 771978.161
AT ITER 2742 NEW BEST:: SOT 1646154 SOS 906999 HAS SOPS 906999 HAS SOUS 771071 HAS SOUPS 771071 WITH SCORE 771977.999
AT ITER 2752 NEW BEST:: SOT 1646154 SOS 906805 HAS SOPS 906805 HAS SOUS 771071 HAS SOUPS 771071 WITH SCORE 771977.805
AT ITER 2754 NEW BEST:: SOT 1643470 SOS 906407 HAS SOPS 906407 HAS SOUS 768874 HAS SOUPS 768874 WITH SCORE 769780.407
AT ITER 2759 NEW BEST:: SOT 1643470 SOS 906871 HAS SOPS 906871 HAS SOUS 768841 HAS SOUPS 768841 WITH SCORE 769747.871
AT ITER 2764 NEW BEST:: SOT 1641601 SOS 905635 HAS SOPS 905635 HAS SOUS 767446 HAS SOUPS 767446 WITH SCORE 768351.635
AT ITER 2771 NEW BEST:: SOT 1641572 SOS 905596 HAS SOPS 905596 HAS SOUS 767189 HAS SOUPS 767189 WITH SCORE 768094.596
AT ITER 2774 NEW BEST:: SOT 1641231 SOS 904943 HAS SOPS 904943 HAS SOUS 766836 HAS SOUPS 766836 WITH SCORE 767740.943
AT ITER 2778 NEW BEST:: SOT 1640031 SOS 910016 HAS SOPS 910016 HAS SOUS 766383 HAS SOUPS 766383 WITH SCORE 767293.016
AT ITER 2793 NEW BEST:: SOT 1640031 SOS 909892 HAS SOPS 909892 HAS SOUS 766383 HAS SOUPS 766383 WITH SCORE 767292.892
AT ITER 2799 NEW BEST:: SOT 1639067 SOS 909147 HAS SOPS 909147 HAS SOUS 765239 HAS SOUPS 765239 WITH SCORE 766148.147
AT ITER 2805 NEW BEST:: SOT 1638871 SOS 908955 HAS SOPS 908955 HAS SOUS 765121 HAS SOUPS 765121 WITH SCORE 766029.955
AT ITER 2808 NEW BEST:: SOT 1638050 SOS 909003 HAS SOPS 909003 HAS SOUS 764630 HAS SOUPS 764630 WITH SCORE 765539.003
AT ITER 2834 NEW BEST:: SOT 1638050 SOS 908690 HAS SOPS 908690 HAS SOUS 764630 HAS SOUPS 764630 WITH SCORE 765538.69
AT ITER 2837 NEW BEST:: SOT 1638050 SOS 908772 HAS SOPS 908772 HAS SOUS 764591 HAS SOUPS 764591 WITH SCORE 765499.772
AT ITER 2838 NEW BEST:: SOT 1637988 SOS 909062 HAS SOPS 909062 HAS SOUS 764350 HAS SOUPS 764350 WITH SCORE 765259.062
AT ITER 2839 NEW BEST:: SOT 1635229 SOS 910582 HAS SOPS 910582 HAS SOUS 762858 HAS SOUPS 762858 WITH SCORE 763768.582
AT ITER 2842 NEW BEST:: SOT 1635128 SOS 910613 HAS SOPS 910613 HAS SOUS 762588 HAS SOUPS 762588 WITH SCORE 763498.613
AT ITER 2847 NEW BEST:: SOT 1635128 SOS 909499 HAS SOPS 909499 HAS SOUS 762588 HAS SOUPS 762588 WITH SCORE 763497.499
AT ITER 2849 NEW BEST:: SOT 1634247 SOS 911064 HAS SOPS 911064 HAS SOUS 762331 HAS SOUPS 762331 WITH SCORE 763242.064
AT ITER 2853 NEW BEST:: SOT 1633785 SOS 910639 HAS SOPS 910639 HAS SOUS 761906 HAS SOUPS 761906 WITH SCORE 762816.639
AT ITER 2865 NEW BEST:: SOT 1632594 SOS 909993 HAS SOPS 909993 HAS SOUS 761079 HAS SOUPS 761079 WITH SCORE 761988.993
AT ITER 2898 NEW BEST:: SOT 1632594 SOS 909992 HAS SOPS 909992 HAS SOUS 761079 HAS SOUPS 761079 WITH SCORE 761988.992
AT ITER 2901 NEW BEST:: SOT 1632496 SOS 909894 HAS SOPS 909894 HAS SOUS 761014 HAS SOUPS 761014 WITH SCORE 761923.894
AT ITER 2902 NEW BEST:: SOT 1632496 SOS 909894 HAS SOPS 909894 HAS SOUS 760881 HAS SOUPS 760881 WITH SCORE 761790.894
AT ITER 2903 NEW BEST:: SOT 1632496 SOS 908096 HAS SOPS 908096 HAS SOUS 760657 HAS SOUPS 760657 WITH SCORE 761565.096
AT ITER 2906 NEW BEST:: SOT 1631614 SOS 907851 HAS SOPS 907851 HAS SOUS 760133 HAS SOUPS 760133 WITH SCORE 761040.851
AT ITER 2913 NEW BEST:: SOT 1631614 SOS 907797 HAS SOPS 907797 HAS SOUS 760064 HAS SOUPS 760064 WITH SCORE 760971.797
AT ITER 2917 NEW BEST:: SOT 1631614 SOS 908055 HAS SOPS 908055 HAS SOUS 759915 HAS SOUPS 759915 WITH SCORE 760823.055
AT ITER 2921 NEW BEST:: SOT 1631614 SOS 907859 HAS SOPS 907859 HAS SOUS 759842 HAS SOUPS 759842 WITH SCORE 760749.859
AT ITER 2928 NEW BEST:: SOT 1631614 SOS 907735 HAS SOPS 907735 HAS SOUS 759842 HAS SOUPS 759842 WITH SCORE 760749.735
AT ITER 2930 NEW BEST:: SOT 1631614 SOS 907698 HAS SOPS 907698 HAS SOUS 759842 HAS SOUPS 759842 WITH SCORE 760749.698
AT ITER 2931 NEW BEST:: SOT 1631169 SOS 907655 HAS SOPS 907655 HAS SOUS 759483 HAS SOUPS 759483 WITH SCORE 760390.655
AT ITER 2934 NEW BEST:: SOT 1631034 SOS 907520 HAS SOPS 907520 HAS SOUS 759396 HAS SOUPS 759396 WITH SCORE 760303.52
AT ITER 2951 NEW BEST:: SOT 1631034 SOS 907212 HAS SOPS 907212 HAS SOUS 759352 HAS SOUPS 759352 WITH SCORE 760259.212
AT ITER 2964 NEW BEST:: SOT 1630612 SOS 906799 HAS SOPS 906799 HAS SOUS 758853 HAS SOUPS 758853 WITH SCORE 759759.799
AT ITER 2967 NEW BEST:: SOT 1630612 SOS 906799 HAS SOPS 906799 HAS SOUS 758843 HAS SOUPS 758843 WITH SCORE 759749.799
AT ITER 2971 NEW BEST:: SOT 1630531 SOS 906762 HAS SOPS 906762 HAS SOUS 758578 HAS SOUPS 758578 WITH SCORE 759484.762
AT ITER 2975 NEW BEST:: SOT 1630759 SOS 906682 HAS SOPS 906682 HAS SOUS 758442 HAS SOUPS 758442 WITH SCORE 759348.682
AT ITER 2979 NEW BEST:: SOT 1630982 SOS 907012 HAS SOPS 907012 HAS SOUS 758171 HAS SOUPS 758171 WITH SCORE 759078.012
AT ITER 2981 NEW BEST:: SOT 1630952 SOS 906982 HAS SOPS 906982 HAS SOUS 758170 HAS SOUPS 758170 WITH SCORE 759076.982
AT ITER 2989 NEW BEST:: SOT 1630952 SOS 906873 HAS SOPS 906873 HAS SOUS 758170 HAS SOUPS 758170 WITH SCORE 759076.873
AT ITER 2996 NEW BEST:: SOT 1630858 SOS 906779 HAS SOPS 906779 HAS SOUS 758076 HAS SOUPS 758076 WITH SCORE 758982.779
AT ITER 3003 NEW BEST:: SOT 1630878 SOS 906428 HAS SOPS 906428 HAS SOUS 758040 HAS SOUPS 758040 WITH SCORE 758946.428
AT ITER 3006 NEW BEST:: SOT 1630620 SOS 905915 HAS SOPS 905915 HAS SOUS 757597 HAS SOUPS 757597 WITH SCORE 758502.915
AT ITER 3016 NEW BEST:: SOT 1630620 SOS 905915 HAS SOPS 905915 HAS SOUS 757208 HAS SOUPS 757208 WITH SCORE 758113.915
AT ITER 3018 NEW BEST:: SOT 1630620 SOS 903903 HAS SOPS 903903 HAS SOUS 756961 HAS SOUPS 756961 WITH SCORE 757864.903
AT ITER 3025 NEW BEST:: SOT 1630310 SOS 903670 HAS SOPS 903670 HAS SOUS 756800 HAS SOUPS 756800 WITH SCORE 757703.67
AT ITER 3034 NEW BEST:: SOT 1630310 SOS 903658 HAS SOPS 903658 HAS SOUS 756800 HAS SOUPS 756800 WITH SCORE 757703.658
AT ITER 3038 NEW BEST:: SOT 1630310 SOS 903706 HAS SOPS 903706 HAS SOUS 756744 HAS SOUPS 756744 WITH SCORE 757647.706
AT ITER 3039 NEW BEST:: SOT 1630226 SOS 905548 HAS SOPS 905548 HAS SOUS 756660 HAS SOUPS 756660 WITH SCORE 757565.548
AT ITER 3041 NEW BEST:: SOT 1629997 SOS 905319 HAS SOPS 905319 HAS SOUS 756499 HAS SOUPS 756499 WITH SCORE 757404.319
AT ITER 3047 NEW BEST:: SOT 1629742 SOS 905254 HAS SOPS 905254 HAS SOUS 756264 HAS SOUPS 756264 WITH SCORE 757169.254
AT ITER 3054 NEW BEST:: SOT 1629498 SOS 905014 HAS SOPS 905014 HAS SOUS 756016 HAS SOUPS 756016 WITH SCORE 756921.014
AT ITER 3067 NEW BEST:: SOT 1629498 SOS 904920 HAS SOPS 904920 HAS SOUS 756016 HAS SOUPS 756016 WITH SCORE 756920.92
AT ITER 3076 NEW BEST:: SOT 1629429 SOS 904820 HAS SOPS 904820 HAS SOUS 755837 HAS SOUPS 755837 WITH SCORE 756741.82
AT ITER 3079 NEW BEST:: SOT 1629417 SOS 904811 HAS SOPS 904811 HAS SOUS 755827 HAS SOUPS 755827 WITH SCORE 756731.811
AT ITER 3087 NEW BEST:: SOT 1629328 SOS 904722 HAS SOPS 904722 HAS SOUS 755572 HAS SOUPS 755572 WITH SCORE 756476.722
AT ITER 3111 NEW BEST:: SOT 1629328 SOS 904605 HAS SOPS 904605 HAS SOUS 755354 HAS SOUPS 755354 WITH SCORE 756258.605
AT ITER 3112 NEW BEST:: SOT 1629289 SOS 904449 HAS SOPS 904449 HAS SOUS 755276 HAS SOUPS 755276 WITH SCORE 756180.449
AT ITER 3113 NEW BEST:: SOT 1629233 SOS 904407 HAS SOPS 904407 HAS SOUS 755234 HAS SOUPS 755234 WITH SCORE 756138.407
AT ITER 3117 NEW BEST:: SOT 1629233 SOS 904095 HAS SOPS 904095 HAS SOUS 755233 HAS SOUPS 755233 WITH SCORE 756137.095
AT ITER 3120 NEW BEST:: SOT 1629233 SOS 903874 HAS SOPS 903874 HAS SOUS 755179 HAS SOUPS 755179 WITH SCORE 756082.874
AT ITER 3132 NEW BEST:: SOT 1629233 SOS 903872 HAS SOPS 903872 HAS SOUS 755177 HAS SOUPS 755177 WITH SCORE 756080.872
AT ITER 3136 NEW BEST:: SOT 1629196 SOS 903881 HAS SOPS 903881 HAS SOUS 755119 HAS SOUPS 755119 WITH SCORE 756022.881
AT ITER 3151 NEW BEST:: SOT 1628890 SOS 904246 HAS SOPS 904246 HAS SOUS 754946 HAS SOUPS 754946 WITH SCORE 755850.246
AT ITER 3165 NEW BEST:: SOT 1628841 SOS 904435 HAS SOPS 904435 HAS SOUS 754882 HAS SOUPS 754882 WITH SCORE 755786.435
AT ITER 3166 NEW BEST:: SOT 1628841 SOS 904344 HAS SOPS 904344 HAS SOUS 754882 HAS SOUPS 754882 WITH SCORE 755786.344
AT ITER 3183 NEW BEST:: SOT 1628841 SOS 904282 HAS SOPS 904282 HAS SOUS 754882 HAS SOUPS 754882 WITH SCORE 755786.282
AT ITER 3191 NEW BEST:: SOT 1627927 SOS 903671 HAS SOPS 903671 HAS SOUS 754611 HAS SOUPS 754611 WITH SCORE 755514.671
AT ITER 3198 NEW BEST:: SOT 1627927 SOS 903657 HAS SOPS 903657 HAS SOUS 754611 HAS SOUPS 754611 WITH SCORE 755514.657
AT ITER 3199 NEW BEST:: SOT 1627725 SOS 903368 HAS SOPS 903368 HAS SOUS 754302 HAS SOUPS 754302 WITH SCORE 755205.368
AT ITER 3203 NEW BEST:: SOT 1627725 SOS 903282 HAS SOPS 903282 HAS SOUS 754216 HAS SOUPS 754216 WITH SCORE 755119.282
AT ITER 3207 NEW BEST:: SOT 1627670 SOS 903260 HAS SOPS 903260 HAS SOUS 754068 HAS SOUPS 754068 WITH SCORE 754971.26
AT ITER 3212 NEW BEST:: SOT 1627559 SOS 902551 HAS SOPS 902551 HAS SOUS 753691 HAS SOUPS 753691 WITH SCORE 754593.551
AT ITER 3222 NEW BEST:: SOT 1627559 SOS 902317 HAS SOPS 902317 HAS SOUS 753681 HAS SOUPS 753681 WITH SCORE 754583.317
AT ITER 3228 NEW BEST:: SOT 1627585 SOS 902915 HAS SOPS 902915 HAS SOUS 753678 HAS SOUPS 753678 WITH SCORE 754580.915
AT ITER 3231 NEW BEST:: SOT 1627475 SOS 902692 HAS SOPS 902692 HAS SOUS 753505 HAS SOUPS 753505 WITH SCORE 754407.692
AT ITER 3233 NEW BEST:: SOT 1627030 SOS 902247 HAS SOPS 902247 HAS SOUS 753121 HAS SOUPS 753121 WITH SCORE 754023.247
AT ITER 3240 NEW BEST:: SOT 1627030 SOS 902247 HAS SOPS 902247 HAS SOUS 753022 HAS SOUPS 753022 WITH SCORE 753924.247
AT ITER 3242 NEW BEST:: SOT 1624184 SOS 901397 HAS SOPS 901397 HAS SOUS 751319 HAS SOUPS 751319 WITH SCORE 752220.397
AT ITER 3251 NEW BEST:: SOT 1624072 SOS 901285 HAS SOPS 901285 HAS SOUS 751207 HAS SOUPS 751207 WITH SCORE 752108.285
AT ITER 3254 NEW BEST:: SOT 1624072 SOS 901281 HAS SOPS 901281 HAS SOUS 751207 HAS SOUPS 751207 WITH SCORE 752108.281
AT ITER 3258 NEW BEST:: SOT 1623866 SOS 901075 HAS SOPS 901075 HAS SOUS 751001 HAS SOUPS 751001 WITH SCORE 751902.075
AT ITER 3271 NEW BEST:: SOT 1623601 SOS 900849 HAS SOPS 900849 HAS SOUS 750556 HAS SOUPS 750556 WITH SCORE 751456.849
AT ITER 3274 NEW BEST:: SOT 1623533 SOS 900663 HAS SOPS 900663 HAS SOUS 750370 HAS SOUPS 750370 WITH SCORE 751270.663
AT ITER 3279 NEW BEST:: SOT 1623533 SOS 900422 HAS SOPS 900422 HAS SOUS 750313 HAS SOUPS 750313 WITH SCORE 751213.422
AT ITER 3281 NEW BEST:: SOT 1622985 SOS 900022 HAS SOPS 900022 HAS SOUS 750303 HAS SOUPS 750303 WITH SCORE 751203.022
AT ITER 3294 NEW BEST:: SOT 1622985 SOS 900022 HAS SOPS 900022 HAS SOUS 750241 HAS SOUPS 750241 WITH SCORE 751141.022
AT ITER 3305 NEW BEST:: SOT 1621708 SOS 899075 HAS SOPS 899075 HAS SOUS 749329 HAS SOUPS 749329 WITH SCORE 750228.075
AT ITER 3325 NEW BEST:: SOT 1621708 SOS 898475 HAS SOPS 898475 HAS SOUS 749115 HAS SOUPS 749115 WITH SCORE 750013.475
AT ITER 3329 NEW BEST:: SOT 1621142 SOS 898273 HAS SOPS 898273 HAS SOUS 748733 HAS SOUPS 748733 WITH SCORE 749631.273
AT ITER 3332 NEW BEST:: SOT 1618243 SOS 900288 HAS SOPS 900288 HAS SOUS 746336 HAS SOUPS 746336 WITH SCORE 747236.288
AT ITER 3334 NEW BEST:: SOT 1618011 SOS 899988 HAS SOPS 899988 HAS SOUS 746028 HAS SOUPS 746028 WITH SCORE 746927.988
AT ITER 3337 NEW BEST:: SOT 1618011 SOS 899944 HAS SOPS 899944 HAS SOUS 746028 HAS SOUPS 746028 WITH SCORE 746927.944
AT ITER 3339 NEW BEST:: SOT 1618011 SOS 899891 HAS SOPS 899891 HAS SOUS 746028 HAS SOUPS 746028 WITH SCORE 746927.891
AT ITER 3341 NEW BEST:: SOT 1618011 SOS 899930 HAS SOPS 899930 HAS SOUS 745702 HAS SOUPS 745702 WITH SCORE 746601.93
AT ITER 3343 NEW BEST:: SOT 1617961 SOS 899979 HAS SOPS 899979 HAS SOUS 745668 HAS SOUPS 745668 WITH SCORE 746567.979
AT ITER 3350 NEW BEST:: SOT 1617909 SOS 899924 HAS SOPS 899924 HAS SOUS 745615 HAS SOUPS 745615 WITH SCORE 746514.924
AT ITER 3354 NEW BEST:: SOT 1617992 SOS 900135 HAS SOPS 900135 HAS SOUS 745489 HAS SOUPS 745489 WITH SCORE 746389.135
AT ITER 3355 NEW BEST:: SOT 1617992 SOS 900135 HAS SOPS 900135 HAS SOUS 745424 HAS SOUPS 745424 WITH SCORE 746324.135
AT ITER 3358 NEW BEST:: SOT 1617992 SOS 900135 HAS SOPS 900135 HAS SOUS 745409 HAS SOUPS 745409 WITH SCORE 746309.135
AT ITER 3360 NEW BEST:: SOT 1617436 SOS 899732 HAS SOPS 899732 HAS SOUS 745006 HAS SOUPS 745006 WITH SCORE 745905.732
AT ITER 3363 NEW BEST:: SOT 1616991 SOS 899287 HAS SOPS 899287 HAS SOUS 744267 HAS SOUPS 744267 WITH SCORE 745166.287
AT ITER 3376 NEW BEST:: SOT 1616991 SOS 899049 HAS SOPS 899049 HAS SOUS 744267 HAS SOUPS 744267 WITH SCORE 745166.049
AT ITER 3377 NEW BEST:: SOT 1616991 SOS 898910 HAS SOPS 898910 HAS SOUS 744267 HAS SOUPS 744267 WITH SCORE 745165.91
AT ITER 3380 NEW BEST:: SOT 1616991 SOS 898910 HAS SOPS 898910 HAS SOUS 744199 HAS SOUPS 744199 WITH SCORE 745097.91
AT ITER 3382 NEW BEST:: SOT 1616991 SOS 898875 HAS SOPS 898875 HAS SOUS 744199 HAS SOUPS 744199 WITH SCORE 745097.875
AT ITER 3396 NEW BEST:: SOT 1616627 SOS 899667 HAS SOPS 899667 HAS SOUS 743980 HAS SOUPS 743980 WITH SCORE 744879.667
AT ITER 3398 NEW BEST:: SOT 1616627 SOS 899234 HAS SOPS 899234 HAS SOUS 743980 HAS SOUPS 743980 WITH SCORE 744879.234
AT ITER 3407 NEW BEST:: SOT 1615474 SOS 899774 HAS SOPS 899774 HAS SOUS 743656 HAS SOUPS 743656 WITH SCORE 744555.774
AT ITER 3408 NEW BEST:: SOT 1615474 SOS 899692 HAS SOPS 899692 HAS SOUS 743656 HAS SOUPS 743656 WITH SCORE 744555.692
AT ITER 3421 NEW BEST:: SOT 1615474 SOS 899497 HAS SOPS 899497 HAS SOUS 743656 HAS SOUPS 743656 WITH SCORE 744555.497
AT ITER 3423 NEW BEST:: SOT 1615629 SOS 899307 HAS SOPS 899307 HAS SOUS 743509 HAS SOUPS 743509 WITH SCORE 744408.307
AT ITER 3427 NEW BEST:: SOT 1615629 SOS 899212 HAS SOPS 899212 HAS SOUS 743509 HAS SOUPS 743509 WITH SCORE 744408.212
AT ITER 3429 NEW BEST:: SOT 1615629 SOS 899212 HAS SOPS 899212 HAS SOUS 743467 HAS SOUPS 743467 WITH SCORE 744366.212
AT ITER 3435 NEW BEST:: SOT 1614746 SOS 898630 HAS SOPS 898630 HAS SOUS 742885 HAS SOUPS 742885 WITH SCORE 743783.63
AT ITER 3443 NEW BEST:: SOT 1614746 SOS 898612 HAS SOPS 898612 HAS SOUS 742885 HAS SOUPS 742885 WITH SCORE 743783.612
AT ITER 3445 NEW BEST:: SOT 1614760 SOS 898601 HAS SOPS 898601 HAS SOUS 742836 HAS SOUPS 742836 WITH SCORE 743734.601
AT ITER 3446 NEW BEST:: SOT 1613831 SOS 898540 HAS SOPS 898540 HAS SOUS 742694 HAS SOUPS 742694 WITH SCORE 743592.54
AT ITER 3449 NEW BEST:: SOT 1614165 SOS 900920 HAS SOPS 900920 HAS SOUS 742626 HAS SOUPS 742626 WITH SCORE 743526.92
AT ITER 3455 NEW BEST:: SOT 1614165 SOS 900884 HAS SOPS 900884 HAS SOUS 742626 HAS SOUPS 742626 WITH SCORE 743526.884
AT ITER 3459 NEW BEST:: SOT 1614041 SOS 900791 HAS SOPS 900791 HAS SOUS 742533 HAS SOUPS 742533 WITH SCORE 743433.791
AT ITER 3468 NEW BEST:: SOT 1614181 SOS 900732 HAS SOPS 900732 HAS SOUS 742474 HAS SOUPS 742474 WITH SCORE 743374.732
AT ITER 3478 NEW BEST:: SOT 1613338 SOS 900200 HAS SOPS 900200 HAS SOUS 742394 HAS SOUPS 742394 WITH SCORE 743294.2
AT ITER 3486 NEW BEST:: SOT 1613338 SOS 900029 HAS SOPS 900029 HAS SOUS 742394 HAS SOUPS 742394 WITH SCORE 743294.029
AT ITER 3489 NEW BEST:: SOT 1613338 SOS 899968 HAS SOPS 899968 HAS SOUS 742394 HAS SOUPS 742394 WITH SCORE 743293.968
AT ITER 3492 NEW BEST:: SOT 1613338 SOS 900313 HAS SOPS 900313 HAS SOUS 742360 HAS SOUPS 742360 WITH SCORE 743260.313
AT ITER 3500 NEW BEST:: SOT 1613406 SOS 900381 HAS SOPS 900381 HAS SOUS 742148 HAS SOUPS 742148 WITH SCORE 743048.381
AT ITER 3507 NEW BEST:: SOT 1613406 SOS 900061 HAS SOPS 900061 HAS SOUS 741930 HAS SOUPS 741930 WITH SCORE 742830.061
AT ITER 3508 NEW BEST:: SOT 1613268 SOS 899785 HAS SOPS 899785 HAS SOUS 741861 HAS SOUPS 741861 WITH SCORE 742760.785
AT ITER 3512 NEW BEST:: SOT 1613244 SOS 899761 HAS SOPS 899761 HAS SOUS 741837 HAS SOUPS 741837 WITH SCORE 742736.761
AT ITER 3520 NEW BEST:: SOT 1613244 SOS 899603 HAS SOPS 899603 HAS SOUS 741837 HAS SOUPS 741837 WITH SCORE 742736.603
AT ITER 3526 NEW BEST:: SOT 1613244 SOS 899266 HAS SOPS 899266 HAS SOUS 741837 HAS SOUPS 741837 WITH SCORE 742736.266
AT ITER 3529 NEW BEST:: SOT 1613373 SOS 899397 HAS SOPS 899397 HAS SOUS 741813 HAS SOUPS 741813 WITH SCORE 742712.397
AT ITER 3533 NEW BEST:: SOT 1613373 SOS 899211 HAS SOPS 899211 HAS SOUS 741813 HAS SOUPS 741813 WITH SCORE 742712.211
AT ITER 3534 NEW BEST:: SOT 1613373 SOS 899091 HAS SOPS 899091 HAS SOUS 741813 HAS SOUPS 741813 WITH SCORE 742712.091
AT ITER 3540 NEW BEST:: SOT 1612071 SOS 898045 HAS SOPS 898045 HAS SOUS 741225 HAS SOUPS 741225 WITH SCORE 742123.045
AT ITER 3542 NEW BEST:: SOT 1612071 SOS 897977 HAS SOPS 897977 HAS SOUS 741225 HAS SOUPS 741225 WITH SCORE 742122.977
AT ITER 3549 NEW BEST:: SOT 1610740 SOS 897773 HAS SOPS 897773 HAS SOUS 741020 HAS SOUPS 741020 WITH SCORE 741917.773
AT ITER 3550 NEW BEST:: SOT 1610600 SOS 897629 HAS SOPS 897629 HAS SOUS 740684 HAS SOUPS 740684 WITH SCORE 741581.629
AT ITER 3564 NEW BEST:: SOT 1610545 SOS 897526 HAS SOPS 897526 HAS SOUS 740568 HAS SOUPS 740568 WITH SCORE 741465.526
AT ITER 3575 NEW BEST:: SOT 1608683 SOS 896229 HAS SOPS 896229 HAS SOUS 740011 HAS SOUPS 740011 WITH SCORE 740907.229
AT ITER 3577 NEW BEST:: SOT 1608683 SOS 896050 HAS SOPS 896050 HAS SOUS 740011 HAS SOUPS 740011 WITH SCORE 740907.05
AT ITER 3579 NEW BEST:: SOT 1608445 SOS 895113 HAS SOPS 895113 HAS SOUS 739899 HAS SOUPS 739899 WITH SCORE 740794.113
AT ITER 3580 NEW BEST:: SOT 1607370 SOS 894498 HAS SOPS 894498 HAS SOUS 739212 HAS SOUPS 739212 WITH SCORE 740106.498
AT ITER 3597 NEW BEST:: SOT 1607549 SOS 894677 HAS SOPS 894677 HAS SOUS 739172 HAS SOUPS 739172 WITH SCORE 740066.677
AT ITER 3603 NEW BEST:: SOT 1607509 SOS 894657 HAS SOPS 894657 HAS SOUS 739152 HAS SOUPS 739152 WITH SCORE 740046.657
AT ITER 3604 NEW BEST:: SOT 1607509 SOS 894416 HAS SOPS 894416 HAS SOUS 739152 HAS SOUPS 739152 WITH SCORE 740046.416
AT ITER 3608 NEW BEST:: SOT 1607504 SOS 894411 HAS SOPS 894411 HAS SOUS 739066 HAS SOUPS 739066 WITH SCORE 739960.411
AT ITER 3624 NEW BEST:: SOT 1607386 SOS 894890 HAS SOPS 894890 HAS SOUS 738949 HAS SOUPS 738949 WITH SCORE 739843.89
AT ITER 3629 NEW BEST:: SOT 1607386 SOS 894850 HAS SOPS 894850 HAS SOUS 738949 HAS SOUPS 738949 WITH SCORE 739843.85
AT ITER 3632 NEW BEST:: SOT 1607386 SOS 894825 HAS SOPS 894825 HAS SOUS 738949 HAS SOUPS 738949 WITH SCORE 739843.825
AT ITER 3635 NEW BEST:: SOT 1605081 SOS 894131 HAS SOPS 894131 HAS SOUS 738856 HAS SOUPS 738856 WITH SCORE 739750.131
AT ITER 3638 NEW BEST:: SOT 1605198 SOS 894248 HAS SOPS 894248 HAS SOUS 738657 HAS SOUPS 738657 WITH SCORE 739551.248
AT ITER 3640 NEW BEST:: SOT 1605109 SOS 894049 HAS SOPS 894049 HAS SOUS 738097 HAS SOUPS 738097 WITH SCORE 738991.049
AT ITER 3645 NEW BEST:: SOT 1604941 SOS 893912 HAS SOPS 893912 HAS SOUS 737980 HAS SOUPS 737980 WITH SCORE 738873.912
AT ITER 3649 NEW BEST:: SOT 1604941 SOS 893871 HAS SOPS 893871 HAS SOUS 737980 HAS SOUPS 737980 WITH SCORE 738873.871
AT ITER 3650 NEW BEST:: SOT 1604941 SOS 893652 HAS SOPS 893652 HAS SOUS 737980 HAS SOUPS 737980 WITH SCORE 738873.652
AT ITER 3651 NEW BEST:: SOT 1604941 SOS 893286 HAS SOPS 893286 HAS SOUS 737941 HAS SOUPS 737941 WITH SCORE 738834.286
AT ITER 3656 NEW BEST:: SOT 1604941 SOS 893286 HAS SOPS 893286 HAS SOUS 737873 HAS SOUPS 737873 WITH SCORE 738766.286
AT ITER 3659 NEW BEST:: SOT 1604119 SOS 893168 HAS SOPS 893168 HAS SOUS 737526 HAS SOUPS 737526 WITH SCORE 738419.168
AT ITER 3662 NEW BEST:: SOT 1604117 SOS 893166 HAS SOPS 893166 HAS SOUS 737524 HAS SOUPS 737524 WITH SCORE 738417.166
AT ITER 3664 NEW BEST:: SOT 1604247 SOS 892963 HAS SOPS 892963 HAS SOUS 737412 HAS SOUPS 737412 WITH SCORE 738304.963
AT ITER 3667 NEW BEST:: SOT 1604247 SOS 892963 HAS SOPS 892963 HAS SOUS 737302 HAS SOUPS 737302 WITH SCORE 738194.963
AT ITER 3671 NEW BEST:: SOT 1604247 SOS 893254 HAS SOPS 893254 HAS SOUS 737249 HAS SOUPS 737249 WITH SCORE 738142.254
AT ITER 3679 NEW BEST:: SOT 1603112 SOS 893686 HAS SOPS 893686 HAS SOUS 737056 HAS SOUPS 737056 WITH SCORE 737949.686
AT ITER 3682 NEW BEST:: SOT 1603112 SOS 893297 HAS SOPS 893297 HAS SOUS 737056 HAS SOUPS 737056 WITH SCORE 737949.297
AT ITER 3685 NEW BEST:: SOT 1602448 SOS 893416 HAS SOPS 893416 HAS SOUS 736831 HAS SOUPS 736831 WITH SCORE 737724.416
AT ITER 3686 NEW BEST:: SOT 1600258 SOS 892890 HAS SOPS 892890 HAS SOUS 736402 HAS SOUPS 736402 WITH SCORE 737294.89
AT ITER 3693 NEW BEST:: SOT 1599134 SOS 892886 HAS SOPS 892886 HAS SOUS 736309 HAS SOUPS 736309 WITH SCORE 737201.886
AT ITER 3698 NEW BEST:: SOT 1599134 SOS 892622 HAS SOPS 892622 HAS SOUS 736136 HAS SOUPS 736136 WITH SCORE 737028.622
AT ITER 3712 NEW BEST:: SOT 1598906 SOS 892429 HAS SOPS 892429 HAS SOUS 735943 HAS SOUPS 735943 WITH SCORE 736835.429
AT ITER 3716 NEW BEST:: SOT 1598906 SOS 892526 HAS SOPS 892526 HAS SOUS 735921 HAS SOUPS 735921 WITH SCORE 736813.526
AT ITER 3719 NEW BEST:: SOT 1598906 SOS 892465 HAS SOPS 892465 HAS SOUS 735860 HAS SOUPS 735860 WITH SCORE 736752.465
AT ITER 3723 NEW BEST:: SOT 1598875 SOS 892434 HAS SOPS 892434 HAS SOUS 735829 HAS SOUPS 735829 WITH SCORE 736721.434
AT ITER 3732 NEW BEST:: SOT 1598680 SOS 892612 HAS SOPS 892612 HAS SOUS 735595 HAS SOUPS 735595 WITH SCORE 736487.612
AT ITER 3734 NEW BEST:: SOT 1597725 SOS 892039 HAS SOPS 892039 HAS SOUS 735213 HAS SOUPS 735213 WITH SCORE 736105.039
AT ITER 3735 NEW BEST:: SOT 1597719 SOS 892033 HAS SOPS 892033 HAS SOUS 735207 HAS SOUPS 735207 WITH SCORE 736099.033
AT ITER 3742 NEW BEST:: SOT 1597719 SOS 891809 HAS SOPS 891809 HAS SOUS 735207 HAS SOUPS 735207 WITH SCORE 736098.809
AT ITER 3743 NEW BEST:: SOT 1597719 SOS 891848 HAS SOPS 891848 HAS SOUS 735119 HAS SOUPS 735119 WITH SCORE 736010.848
AT ITER 3744 NEW BEST:: SOT 1597715 SOS 891844 HAS SOPS 891844 HAS SOUS 735115 HAS SOUPS 735115 WITH SCORE 736006.844
AT ITER 3746 NEW BEST:: SOT 1597762 SOS 891891 HAS SOPS 891891 HAS SOUS 735092 HAS SOUPS 735092 WITH SCORE 735983.891
AT ITER 3753 NEW BEST:: SOT 1596986 SOS 892145 HAS SOPS 892145 HAS SOUS 734776 HAS SOUPS 734776 WITH SCORE 735668.145
AT ITER 3756 NEW BEST:: SOT 1596986 SOS 892131 HAS SOPS 892131 HAS SOUS 734739 HAS SOUPS 734739 WITH SCORE 735631.131
AT ITER 3761 NEW BEST:: SOT 1596986 SOS 891916 HAS SOPS 891916 HAS SOUS 734739 HAS SOUPS 734739 WITH SCORE 735630.916
AT ITER 3766 NEW BEST:: SOT 1596986 SOS 891836 HAS SOPS 891836 HAS SOUS 734731 HAS SOUPS 734731 WITH SCORE 735622.836
AT ITER 3768 NEW BEST:: SOT 1596352 SOS 891596 HAS SOPS 891596 HAS SOUS 734593 HAS SOUPS 734593 WITH SCORE 735484.596
AT ITER 3779 NEW BEST:: SOT 1596338 SOS 891582 HAS SOPS 891582 HAS SOUS 734541 HAS SOUPS 734541 WITH SCORE 735432.582
AT ITER 3783 NEW BEST:: SOT 1596338 SOS 891570 HAS SOPS 891570 HAS SOUS 734541 HAS SOUPS 734541 WITH SCORE 735432.57
AT ITER 3785 NEW BEST:: SOT 1596410 SOS 891614 HAS SOPS 891614 HAS SOUS 734533 HAS SOUPS 734533 WITH SCORE 735424.614
AT ITER 3795 NEW BEST:: SOT 1596410 SOS 891564 HAS SOPS 891564 HAS SOUS 734485 HAS SOUPS 734485 WITH SCORE 735376.564
AT ITER 3807 NEW BEST:: SOT 1596044 SOS 891228 HAS SOPS 891228 HAS SOUS 734211 HAS SOUPS 734211 WITH SCORE 735102.228
AT ITER 3810 NEW BEST:: SOT 1596044 SOS 891122 HAS SOPS 891122 HAS SOUS 734211 HAS SOUPS 734211 WITH SCORE 735102.122
AT ITER 3814 NEW BEST:: SOT 1596044 SOS 890839 HAS SOPS 890839 HAS SOUS 733915 HAS SOUPS 733915 WITH SCORE 734805.839
AT ITER 3825 NEW BEST:: SOT 1596044 SOS 889020 HAS SOPS 889020 HAS SOUS 733770 HAS SOUPS 733770 WITH SCORE 734659.02
AT ITER 3827 NEW BEST:: SOT 1595461 SOS 888505 HAS SOPS 888505 HAS SOUS 733255 HAS SOUPS 733255 WITH SCORE 734143.505
AT ITER 3829 NEW BEST:: SOT 1595461 SOS 888501 HAS SOPS 888501 HAS SOUS 733255 HAS SOUPS 733255 WITH SCORE 734143.501
AT ITER 3833 NEW BEST:: SOT 1595354 SOS 887630 HAS SOPS 887630 HAS SOUS 732989 HAS SOUPS 732989 WITH SCORE 733876.63
AT ITER 3835 NEW BEST:: SOT 1595325 SOS 887601 HAS SOPS 887601 HAS SOUS 732960 HAS SOUPS 732960 WITH SCORE 733847.601
AT ITER 3836 NEW BEST:: SOT 1595246 SOS 887522 HAS SOPS 887522 HAS SOUS 732806 HAS SOUPS 732806 WITH SCORE 733693.522
AT ITER 3839 NEW BEST:: SOT 1595256 SOS 887532 HAS SOPS 887532 HAS SOUS 732753 HAS SOUPS 732753 WITH SCORE 733640.532
AT ITER 3847 NEW BEST:: SOT 1595256 SOS 887491 HAS SOPS 887491 HAS SOUS 732589 HAS SOUPS 732589 WITH SCORE 733476.491
AT ITER 3850 NEW BEST:: SOT 1595196 SOS 887403 HAS SOPS 887403 HAS SOUS 732529 HAS SOUPS 732529 WITH SCORE 733416.403
AT ITER 3856 NEW BEST:: SOT 1595122 SOS 887342 HAS SOPS 887342 HAS SOUS 732494 HAS SOUPS 732494 WITH SCORE 733381.342
AT ITER 3857 NEW BEST:: SOT 1595122 SOS 887380 HAS SOPS 887380 HAS SOUS 732492 HAS SOUPS 732492 WITH SCORE 733379.38
AT ITER 3862 NEW BEST:: SOT 1595122 SOS 887328 HAS SOPS 887328 HAS SOUS 732492 HAS SOUPS 732492 WITH SCORE 733379.328
AT ITER 3870 NEW BEST:: SOT 1594708 SOS 886942 HAS SOPS 886942 HAS SOUS 732108 HAS SOUPS 732108 WITH SCORE 732994.942
AT ITER 3886 NEW BEST:: SOT 1594606 SOS 886840 HAS SOPS 886840 HAS SOUS 732006 HAS SOUPS 732006 WITH SCORE 732892.84
AT ITER 3887 NEW BEST:: SOT 1594076 SOS 886522 HAS SOPS 886522 HAS SOUS 731476 HAS SOUPS 731476 WITH SCORE 732362.522
AT ITER 3894 NEW BEST:: SOT 1593959 SOS 886211 HAS SOPS 886211 HAS SOUS 731432 HAS SOUPS 731432 WITH SCORE 732318.211
AT ITER 3908 NEW BEST:: SOT 1593959 SOS 886068 HAS SOPS 886068 HAS SOUS 731432 HAS SOUPS 731432 WITH SCORE 732318.068
AT ITER 3911 NEW BEST:: SOT 1593626 SOS 885402 HAS SOPS 885402 HAS SOUS 730943 HAS SOUPS 730943 WITH SCORE 731828.402
AT ITER 3914 NEW BEST:: SOT 1593626 SOS 885209 HAS SOPS 885209 HAS SOUS 730943 HAS SOUPS 730943 WITH SCORE 731828.209
AT ITER 3927 NEW BEST:: SOT 1593634 SOS 884433 HAS SOPS 884433 HAS SOUS 730909 HAS SOUPS 730909 WITH SCORE 731793.433
AT ITER 3929 NEW BEST:: SOT 1593547 SOS 884661 HAS SOPS 884661 HAS SOUS 730719 HAS SOUPS 730719 WITH SCORE 731603.661
AT ITER 3935 NEW BEST:: SOT 1593547 SOS 882042 HAS SOPS 882042 HAS SOUS 730719 HAS SOUPS 730719 WITH SCORE 731601.042
AT ITER 3940 NEW BEST:: SOT 1593703 SOS 882013 HAS SOPS 882013 HAS SOUS 730685 HAS SOUPS 730685 WITH SCORE 731567.013
AT ITER 3942 NEW BEST:: SOT 1593561 SOS 881871 HAS SOPS 881871 HAS SOUS 730491 HAS SOUPS 730491 WITH SCORE 731372.871
AT ITER 3956 NEW BEST:: SOT 1593561 SOS 881871 HAS SOPS 881871 HAS SOUS 730464 HAS SOUPS 730464 WITH SCORE 731345.871
AT ITER 3962 NEW BEST:: SOT 1593476 SOS 881944 HAS SOPS 881944 HAS SOUS 730252 HAS SOUPS 730252 WITH SCORE 731133.944
AT ITER 3978 NEW BEST:: SOT 1593618 SOS 882086 HAS SOPS 882086 HAS SOUS 730122 HAS SOUPS 730122 WITH SCORE 731004.086
AT ITER 3985 NEW BEST:: SOT 1593618 SOS 882008 HAS SOPS 882008 HAS SOUS 730122 HAS SOUPS 730122 WITH SCORE 731004.008
AT ITER 3997 NEW BEST:: SOT 1593618 SOS 881882 HAS SOPS 881882 HAS SOUS 730069 HAS SOUPS 730069 WITH SCORE 730950.882
AT ITER 4004 NEW BEST:: SOT 1592771 SOS 880348 HAS SOPS 880348 HAS SOUS 729370 HAS SOUPS 729370 WITH SCORE 730250.348
AT ITER 4014 NEW BEST:: SOT 1591648 SOS 879414 HAS SOPS 879414 HAS SOUS 728428 HAS SOUPS 728428 WITH SCORE 729307.414
AT ITER 4027 NEW BEST:: SOT 1591648 SOS 879326 HAS SOPS 879326 HAS SOUS 728408 HAS SOUPS 728408 WITH SCORE 729287.326
AT ITER 4030 NEW BEST:: SOT 1591663 SOS 879008 HAS SOPS 879008 HAS SOUS 728303 HAS SOUPS 728303 WITH SCORE 729182.008
AT ITER 4032 NEW BEST:: SOT 1591522 SOS 878914 HAS SOPS 878914 HAS SOUS 728209 HAS SOUPS 728209 WITH SCORE 729087.914
AT ITER 4040 NEW BEST:: SOT 1591437 SOS 878829 HAS SOPS 878829 HAS SOUS 728093 HAS SOUPS 728093 WITH SCORE 728971.829
AT ITER 4046 NEW BEST:: SOT 1591400 SOS 878728 HAS SOPS 878728 HAS SOUS 727968 HAS SOUPS 727968 WITH SCORE 728846.728
AT ITER 4060 NEW BEST:: SOT 1591346 SOS 878674 HAS SOPS 878674 HAS SOUS 727877 HAS SOUPS 727877 WITH SCORE 728755.674
AT ITER 4062 NEW BEST:: SOT 1591308 SOS 878636 HAS SOPS 878636 HAS SOUS 727544 HAS SOUPS 727544 WITH SCORE 728422.636
AT ITER 4067 NEW BEST:: SOT 1591308 SOS 876518 HAS SOPS 876518 HAS SOUS 727237 HAS SOUPS 727237 WITH SCORE 728113.518
AT ITER 4072 NEW BEST:: SOT 1591308 SOS 876457 HAS SOPS 876457 HAS SOUS 727237 HAS SOUPS 727237 WITH SCORE 728113.457
AT ITER 4073 NEW BEST:: SOT 1591308 SOS 876326 HAS SOPS 876326 HAS SOUS 727237 HAS SOUPS 727237 WITH SCORE 728113.326
AT ITER 4083 NEW BEST:: SOT 1591252 SOS 876357 HAS SOPS 876357 HAS SOUS 727123 HAS SOUPS 727123 WITH SCORE 727999.357
AT ITER 4086 NEW BEST:: SOT 1591174 SOS 876668 HAS SOPS 876668 HAS SOUS 727046 HAS SOUPS 727046 WITH SCORE 727922.668
AT ITER 4111 NEW BEST:: SOT 1591067 SOS 876840 HAS SOPS 876840 HAS SOUS 726761 HAS SOUPS 726761 WITH SCORE 727637.84
AT ITER 4115 NEW BEST:: SOT 1590675 SOS 875328 HAS SOPS 875328 HAS SOUS 726694 HAS SOUPS 726694 WITH SCORE 727569.328
AT ITER 4123 NEW BEST:: SOT 1590634 SOS 875287 HAS SOPS 875287 HAS SOUS 726653 HAS SOUPS 726653 WITH SCORE 727528.287
AT ITER 4128 NEW BEST:: SOT 1590634 SOS 875241 HAS SOPS 875241 HAS SOUS 726653 HAS SOUPS 726653 WITH SCORE 727528.241
AT ITER 4131 NEW BEST:: SOT 1590863 SOS 875470 HAS SOPS 875470 HAS SOUS 726426 HAS SOUPS 726426 WITH SCORE 727301.47
AT ITER 4133 NEW BEST:: SOT 1590762 SOS 875400 HAS SOPS 875400 HAS SOUS 726356 HAS SOUPS 726356 WITH SCORE 727231.4
AT ITER 4135 NEW BEST:: SOT 1589147 SOS 876767 HAS SOPS 876767 HAS SOUS 725591 HAS SOUPS 725591 WITH SCORE 726467.767
AT ITER 4140 NEW BEST:: SOT 1589140 SOS 876760 HAS SOPS 876760 HAS SOUS 725584 HAS SOUPS 725584 WITH SCORE 726460.76
AT ITER 4145 NEW BEST:: SOT 1587685 SOS 876758 HAS SOPS 876758 HAS SOUS 724743 HAS SOUPS 724743 WITH SCORE 725619.758
AT ITER 4171 NEW BEST:: SOT 1587685 SOS 876725 HAS SOPS 876725 HAS SOUS 724710 HAS SOUPS 724710 WITH SCORE 725586.725
AT ITER 4189 NEW BEST:: SOT 1586511 SOS 876187 HAS SOPS 876187 HAS SOUS 724702 HAS SOUPS 724702 WITH SCORE 725578.187
AT ITER 4191 NEW BEST:: SOT 1585454 SOS 875557 HAS SOPS 875557 HAS SOUS 724458 HAS SOUPS 724458 WITH SCORE 725333.557
AT ITER 4200 NEW BEST:: SOT 1585454 SOS 875391 HAS SOPS 875391 HAS SOUS 724458 HAS SOUPS 724458 WITH SCORE 725333.391
AT ITER 4211 NEW BEST:: SOT 1585431 SOS 875422 HAS SOPS 875422 HAS SOUS 724381 HAS SOUPS 724381 WITH SCORE 725256.422
AT ITER 4215 NEW BEST:: SOT 1585353 SOS 875462 HAS SOPS 875462 HAS SOUS 724256 HAS SOUPS 724256 WITH SCORE 725131.462
AT ITER 4219 NEW BEST:: SOT 1585353 SOS 875462 HAS SOPS 875462 HAS SOUS 724237 HAS SOUPS 724237 WITH SCORE 725112.462
AT ITER 4221 NEW BEST:: SOT 1584611 SOS 875316 HAS SOPS 875316 HAS SOUS 724041 HAS SOUPS 724041 WITH SCORE 724916.316
AT ITER 4222 NEW BEST:: SOT 1584611 SOS 875261 HAS SOPS 875261 HAS SOUS 723909 HAS SOUPS 723909 WITH SCORE 724784.261
AT ITER 4242 NEW BEST:: SOT 1584616 SOS 875251 HAS SOPS 875251 HAS SOUS 723904 HAS SOUPS 723904 WITH SCORE 724779.251
AT ITER 4243 NEW BEST:: SOT 1584460 SOS 875286 HAS SOPS 875286 HAS SOUS 723869 HAS SOUPS 723869 WITH SCORE 724744.286
AT ITER 4250 NEW BEST:: SOT 1584457 SOS 875468 HAS SOPS 875468 HAS SOUS 723851 HAS SOUPS 723851 WITH SCORE 724726.468
AT ITER 4266 NEW BEST:: SOT 1583841 SOS 875099 HAS SOPS 875099 HAS SOUS 723674 HAS SOUPS 723674 WITH SCORE 724549.099
AT ITER 4267 NEW BEST:: SOT 1583841 SOS 874978 HAS SOPS 874978 HAS SOUS 723674 HAS SOUPS 723674 WITH SCORE 724548.978
AT ITER 4272 NEW BEST:: SOT 1583841 SOS 873470 HAS SOPS 873470 HAS SOUS 723650 HAS SOUPS 723650 WITH SCORE 724523.47
AT ITER 4273 NEW BEST:: SOT 1583098 SOS 873025 HAS SOPS 873025 HAS SOUS 723441 HAS SOUPS 723441 WITH SCORE 724314.025
AT ITER 4274 NEW BEST:: SOT 1582978 SOS 872905 HAS SOPS 872905 HAS SOUS 723283 HAS SOUPS 723283 WITH SCORE 724155.905
AT ITER 4279 NEW BEST:: SOT 1582372 SOS 872735 HAS SOPS 872735 HAS SOUS 722896 HAS SOUPS 722896 WITH SCORE 723768.735
AT ITER 4280 NEW BEST:: SOT 1582719 SOS 872692 HAS SOPS 872692 HAS SOUS 722693 HAS SOUPS 722693 WITH SCORE 723565.692
AT ITER 4283 NEW BEST:: SOT 1582684 SOS 872657 HAS SOPS 872657 HAS SOUS 722609 HAS SOUPS 722609 WITH SCORE 723481.657
AT ITER 4290 NEW BEST:: SOT 1582684 SOS 872657 HAS SOPS 872657 HAS SOUS 722508 HAS SOUPS 722508 WITH SCORE 723380.657
AT ITER 4295 NEW BEST:: SOT 1582641 SOS 872450 HAS SOPS 872450 HAS SOUS 722362 HAS SOUPS 722362 WITH SCORE 723234.45
AT ITER 4297 NEW BEST:: SOT 1582641 SOS 872429 HAS SOPS 872429 HAS SOUS 722362 HAS SOUPS 722362 WITH SCORE 723234.429
AT ITER 4299 NEW BEST:: SOT 1582641 SOS 872429 HAS SOPS 872429 HAS SOUS 722145 HAS SOUPS 722145 WITH SCORE 723017.429
AT ITER 4306 NEW BEST:: SOT 1582008 SOS 873324 HAS SOPS 873324 HAS SOUS 722101 HAS SOUPS 722101 WITH SCORE 722974.324
AT ITER 4310 NEW BEST:: SOT 1581836 SOS 873369 HAS SOPS 873369 HAS SOUS 721911 HAS SOUPS 721911 WITH SCORE 722784.369
AT ITER 4324 NEW BEST:: SOT 1581836 SOS 873292 HAS SOPS 873292 HAS SOUS 721751 HAS SOUPS 721751 WITH SCORE 722624.292
AT ITER 4334 NEW BEST:: SOT 1581836 SOS 873251 HAS SOPS 873251 HAS SOUS 721751 HAS SOUPS 721751 WITH SCORE 722624.251
AT ITER 4373 NEW BEST:: SOT 1581836 SOS 873005 HAS SOPS 873005 HAS SOUS 721751 HAS SOUPS 721751 WITH SCORE 722624.005
AT ITER 4383 NEW BEST:: SOT 1581836 SOS 873005 HAS SOPS 873005 HAS SOUS 721691 HAS SOUPS 721691 WITH SCORE 722564.005
AT ITER 4390 NEW BEST:: SOT 1581836 SOS 873005 HAS SOPS 873005 HAS SOUS 721690 HAS SOUPS 721690 WITH SCORE 722563.005
AT ITER 4397 NEW BEST:: SOT 1581796 SOS 872965 HAS SOPS 872965 HAS SOUS 721562 HAS SOUPS 721562 WITH SCORE 722434.965
AT ITER 4400 NEW BEST:: SOT 1581290 SOS 872602 HAS SOPS 872602 HAS SOUS 721107 HAS SOUPS 721107 WITH SCORE 721979.602
AT ITER 4404 NEW BEST:: SOT 1581261 SOS 872501 HAS SOPS 872501 HAS SOUS 721006 HAS SOUPS 721006 WITH SCORE 721878.501
AT ITER 4413 NEW BEST:: SOT 1581334 SOS 872351 HAS SOPS 872351 HAS SOUS 720974 HAS SOUPS 720974 WITH SCORE 721846.351
AT ITER 4418 NEW BEST:: SOT 1580595 SOS 872005 HAS SOPS 872005 HAS SOUS 720803 HAS SOUPS 720803 WITH SCORE 721675.005
AT ITER 4427 NEW BEST:: SOT 1580280 SOS 871843 HAS SOPS 871843 HAS SOUS 720641 HAS SOUPS 720641 WITH SCORE 721512.843
AT ITER 4446 NEW BEST:: SOT 1580280 SOS 871945 HAS SOPS 871945 HAS SOUS 720442 HAS SOUPS 720442 WITH SCORE 721313.945
AT ITER 4448 NEW BEST:: SOT 1579492 SOS 873440 HAS SOPS 873440 HAS SOUS 719952 HAS SOUPS 719952 WITH SCORE 720825.44
AT ITER 4451 NEW BEST:: SOT 1579276 SOS 873118 HAS SOPS 873118 HAS SOUS 719545 HAS SOUPS 719545 WITH SCORE 720418.118
AT ITER 4454 NEW BEST:: SOT 1579276 SOS 871547 HAS SOPS 871547 HAS SOUS 719327 HAS SOUPS 719327 WITH SCORE 720198.547
AT ITER 4474 NEW BEST:: SOT 1579276 SOS 871522 HAS SOPS 871522 HAS SOUS 719299 HAS SOUPS 719299 WITH SCORE 720170.522
AT ITER 4480 NEW BEST:: SOT 1579276 SOS 871366 HAS SOPS 871366 HAS SOUS 719249 HAS SOUPS 719249 WITH SCORE 720120.366
AT ITER 4484 NEW BEST:: SOT 1579110 SOS 871165 HAS SOPS 871165 HAS SOUS 718875 HAS SOUPS 718875 WITH SCORE 719746.165
AT ITER 4487 NEW BEST:: SOT 1579110 SOS 871158 HAS SOPS 871158 HAS SOUS 718875 HAS SOUPS 718875 WITH SCORE 719746.158
AT ITER 4489 NEW BEST:: SOT 1576838 SOS 870210 HAS SOPS 870210 HAS SOUS 717162 HAS SOUPS 717162 WITH SCORE 718032.21
AT ITER 4491 NEW BEST:: SOT 1576838 SOS 870315 HAS SOPS 870315 HAS SOUS 717155 HAS SOUPS 717155 WITH SCORE 718025.315
AT ITER 4498 NEW BEST:: SOT 1576786 SOS 873299 HAS SOPS 873299 HAS SOUS 717125 HAS SOUPS 717125 WITH SCORE 717998.299
AT ITER 4509 NEW BEST:: SOT 1576744 SOS 873257 HAS SOPS 873257 HAS SOUS 717041 HAS SOUPS 717041 WITH SCORE 717914.257
AT ITER 4511 NEW BEST:: SOT 1576744 SOS 873229 HAS SOPS 873229 HAS SOUS 717041 HAS SOUPS 717041 WITH SCORE 717914.229
AT ITER 4519 NEW BEST:: SOT 1576576 SOS 874958 HAS SOPS 874958 HAS SOUS 716905 HAS SOUPS 716905 WITH SCORE 717779.958
AT ITER 4525 NEW BEST:: SOT 1576297 SOS 875489 HAS SOPS 875489 HAS SOUS 716695 HAS SOUPS 716695 WITH SCORE 717570.489
AT ITER 4526 NEW BEST:: SOT 1576018 SOS 877316 HAS SOPS 877316 HAS SOUS 716657 HAS SOUPS 716657 WITH SCORE 717534.316
AT ITER 4531 NEW BEST:: SOT 1575996 SOS 877279 HAS SOPS 877279 HAS SOUS 716571 HAS SOUPS 716571 WITH SCORE 717448.279
AT ITER 4540 NEW BEST:: SOT 1575996 SOS 876446 HAS SOPS 876446 HAS SOUS 716571 HAS SOUPS 716571 WITH SCORE 717447.446
AT ITER 4554 NEW BEST:: SOT 1575996 SOS 876584 HAS SOPS 876584 HAS SOUS 716404 HAS SOUPS 716404 WITH SCORE 717280.584
AT ITER 4566 NEW BEST:: SOT 1575030 SOS 876770 HAS SOPS 876770 HAS SOUS 716135 HAS SOUPS 716135 WITH SCORE 717011.77
AT ITER 4567 NEW BEST:: SOT 1575030 SOS 876666 HAS SOPS 876666 HAS SOUS 716047 HAS SOUPS 716047 WITH SCORE 716923.666
AT ITER 4569 NEW BEST:: SOT 1574710 SOS 876346 HAS SOPS 876346 HAS SOUS 715727 HAS SOUPS 715727 WITH SCORE 716603.346
AT ITER 4575 NEW BEST:: SOT 1574687 SOS 876323 HAS SOPS 876323 HAS SOUS 715704 HAS SOUPS 715704 WITH SCORE 716580.323
AT ITER 4580 NEW BEST:: SOT 1574687 SOS 876106 HAS SOPS 876106 HAS SOUS 715704 HAS SOUPS 715704 WITH SCORE 716580.106
AT ITER 4583 NEW BEST:: SOT 1572301 SOS 875585 HAS SOPS 875585 HAS SOUS 714503 HAS SOUPS 714503 WITH SCORE 715378.585
AT ITER 4593 NEW BEST:: SOT 1570640 SOS 874576 HAS SOPS 874576 HAS SOUS 713429 HAS SOUPS 713429 WITH SCORE 714303.576
AT ITER 4595 NEW BEST:: SOT 1570640 SOS 874233 HAS SOPS 874233 HAS SOUS 713418 HAS SOUPS 713418 WITH SCORE 714292.233
AT ITER 4603 NEW BEST:: SOT 1570745 SOS 873031 HAS SOPS 873031 HAS SOUS 713315 HAS SOUPS 713315 WITH SCORE 714188.031
AT ITER 4605 NEW BEST:: SOT 1571023 SOS 873066 HAS SOPS 873066 HAS SOUS 713291 HAS SOUPS 713291 WITH SCORE 714164.066
AT ITER 4618 NEW BEST:: SOT 1570852 SOS 873012 HAS SOPS 873012 HAS SOUS 712689 HAS SOUPS 712689 WITH SCORE 713562.012
AT ITER 4619 NEW BEST:: SOT 1570852 SOS 873012 HAS SOPS 873012 HAS SOUS 712654 HAS SOUPS 712654 WITH SCORE 713527.012
AT ITER 4620 NEW BEST:: SOT 1570642 SOS 872882 HAS SOPS 872882 HAS SOUS 712555 HAS SOUPS 712555 WITH SCORE 713427.882
AT ITER 4627 NEW BEST:: SOT 1570642 SOS 872882 HAS SOPS 872882 HAS SOUS 712471 HAS SOUPS 712471 WITH SCORE 713343.882
AT ITER 4629 NEW BEST:: SOT 1570337 SOS 872577 HAS SOPS 872577 HAS SOUS 712166 HAS SOUPS 712166 WITH SCORE 713038.577
AT ITER 4636 NEW BEST:: SOT 1569784 SOS 872298 HAS SOPS 872298 HAS SOUS 711887 HAS SOUPS 711887 WITH SCORE 712759.298
AT ITER 4639 NEW BEST:: SOT 1569784 SOS 872250 HAS SOPS 872250 HAS SOUS 711887 HAS SOUPS 711887 WITH SCORE 712759.25
AT ITER 4646 NEW BEST:: SOT 1569784 SOS 872287 HAS SOPS 872287 HAS SOUS 711844 HAS SOUPS 711844 WITH SCORE 712716.287
AT ITER 4664 NEW BEST:: SOT 1569841 SOS 872325 HAS SOPS 872325 HAS SOUS 711833 HAS SOUPS 711833 WITH SCORE 712705.325
AT ITER 4667 NEW BEST:: SOT 1569702 SOS 872186 HAS SOPS 872186 HAS SOUS 711778 HAS SOUPS 711778 WITH SCORE 712650.186
AT ITER 4671 NEW BEST:: SOT 1569702 SOS 872147 HAS SOPS 872147 HAS SOUS 711726 HAS SOUPS 711726 WITH SCORE 712598.147
AT ITER 4680 NEW BEST:: SOT 1569477 SOS 871447 HAS SOPS 871447 HAS SOUS 711100 HAS SOUPS 711100 WITH SCORE 711971.447
AT ITER 4704 NEW BEST:: SOT 1569477 SOS 871444 HAS SOPS 871444 HAS SOUS 711100 HAS SOUPS 711100 WITH SCORE 711971.444
AT ITER 4707 NEW BEST:: SOT 1569477 SOS 871476 HAS SOPS 871476 HAS SOUS 711002 HAS SOUPS 711002 WITH SCORE 711873.476
AT ITER 4709 NEW BEST:: SOT 1569477 SOS 871322 HAS SOPS 871322 HAS SOUS 710896 HAS SOUPS 710896 WITH SCORE 711767.322
AT ITER 4715 NEW BEST:: SOT 1569019 SOS 870451 HAS SOPS 870451 HAS SOUS 710501 HAS SOUPS 710501 WITH SCORE 711371.451
AT ITER 4732 NEW BEST:: SOT 1568927 SOS 870561 HAS SOPS 870561 HAS SOUS 710409 HAS SOUPS 710409 WITH SCORE 711279.561
AT ITER 4737 NEW BEST:: SOT 1568927 SOS 870086 HAS SOPS 870086 HAS SOUS 710409 HAS SOUPS 710409 WITH SCORE 711279.086
AT ITER 4742 NEW BEST:: SOT 1568301 SOS 870051 HAS SOPS 870051 HAS SOUS 710115 HAS SOUPS 710115 WITH SCORE 710985.051
AT ITER 4746 NEW BEST:: SOT 1568203 SOS 869953 HAS SOPS 869953 HAS SOUS 710065 HAS SOUPS 710065 WITH SCORE 710934.953
AT ITER 4748 NEW BEST:: SOT 1566811 SOS 869330 HAS SOPS 869330 HAS SOUS 709902 HAS SOUPS 709902 WITH SCORE 710771.33
AT ITER 4749 NEW BEST:: SOT 1566787 SOS 869322 HAS SOPS 869322 HAS SOUS 709894 HAS SOUPS 709894 WITH SCORE 710763.322
AT ITER 4755 NEW BEST:: SOT 1566668 SOS 869203 HAS SOPS 869203 HAS SOUS 709641 HAS SOUPS 709641 WITH SCORE 710510.203
AT ITER 4757 NEW BEST:: SOT 1566668 SOS 869116 HAS SOPS 869116 HAS SOUS 709641 HAS SOUPS 709641 WITH SCORE 710510.116
AT ITER 4762 NEW BEST:: SOT 1565934 SOS 869356 HAS SOPS 869356 HAS SOUS 709368 HAS SOUPS 709368 WITH SCORE 710237.356
AT ITER 4765 NEW BEST:: SOT 1565934 SOS 869544 HAS SOPS 869544 HAS SOUS 709193 HAS SOUPS 709193 WITH SCORE 710062.544
AT ITER 4786 NEW BEST:: SOT 1565934 SOS 869537 HAS SOPS 869537 HAS SOUS 709193 HAS SOUPS 709193 WITH SCORE 710062.537
AT ITER 4794 NEW BEST:: SOT 1565934 SOS 869397 HAS SOPS 869397 HAS SOUS 709033 HAS SOUPS 709033 WITH SCORE 709902.397
AT ITER 4802 NEW BEST:: SOT 1565424 SOS 869068 HAS SOPS 869068 HAS SOUS 708704 HAS SOUPS 708704 WITH SCORE 709573.068
AT ITER 4805 NEW BEST:: SOT 1565424 SOS 869031 HAS SOPS 869031 HAS SOUS 708704 HAS SOUPS 708704 WITH SCORE 709573.031
AT ITER 4810 NEW BEST:: SOT 1565424 SOS 869014 HAS SOPS 869014 HAS SOUS 708625 HAS SOUPS 708625 WITH SCORE 709494.014
AT ITER 4815 NEW BEST:: SOT 1565424 SOS 869004 HAS SOPS 869004 HAS SOUS 708625 HAS SOUPS 708625 WITH SCORE 709494.004
AT ITER 4821 NEW BEST:: SOT 1565203 SOS 868882 HAS SOPS 868882 HAS SOUS 708503 HAS SOUPS 708503 WITH SCORE 709371.882
AT ITER 4825 NEW BEST:: SOT 1565200 SOS 868867 HAS SOPS 868867 HAS SOUS 708484 HAS SOUPS 708484 WITH SCORE 709352.867
AT ITER 4826 NEW BEST:: SOT 1565200 SOS 868806 HAS SOPS 868806 HAS SOUS 708470 HAS SOUPS 708470 WITH SCORE 709338.806
AT ITER 4827 NEW BEST:: SOT 1564449 SOS 868874 HAS SOPS 868874 HAS SOUS 708153 HAS SOUPS 708153 WITH SCORE 709021.874
AT ITER 4837 NEW BEST:: SOT 1561698 SOS 870020 HAS SOPS 870020 HAS SOUS 706806 HAS SOUPS 706806 WITH SCORE 707676.02
AT ITER 4839 NEW BEST:: SOT 1561698 SOS 869225 HAS SOPS 869225 HAS SOUS 706806 HAS SOUPS 706806 WITH SCORE 707675.225
AT ITER 4840 NEW BEST:: SOT 1561698 SOS 869145 HAS SOPS 869145 HAS SOUS 706806 HAS SOUPS 706806 WITH SCORE 707675.145
AT ITER 4841 NEW BEST:: SOT 1561698 SOS 869090 HAS SOPS 869090 HAS SOUS 706806 HAS SOUPS 706806 WITH SCORE 707675.09
AT ITER 4850 NEW BEST:: SOT 1560124 SOS 869860 HAS SOPS 869860 HAS SOUS 705779 HAS SOUPS 705779 WITH SCORE 706648.86
AT ITER 4854 NEW BEST:: SOT 1559841 SOS 869577 HAS SOPS 869577 HAS SOUS 705361 HAS SOUPS 705361 WITH SCORE 706230.577
AT ITER 4864 NEW BEST:: SOT 1559842 SOS 868836 HAS SOPS 868836 HAS SOUS 705269 HAS SOUPS 705269 WITH SCORE 706137.836
AT ITER 4865 NEW BEST:: SOT 1559579 SOS 868719 HAS SOPS 868719 HAS SOUS 705137 HAS SOUPS 705137 WITH SCORE 706005.719
AT ITER 4869 NEW BEST:: SOT 1559579 SOS 868544 HAS SOPS 868544 HAS SOUS 705137 HAS SOUPS 705137 WITH SCORE 706005.544
AT ITER 4872 NEW BEST:: SOT 1559566 SOS 868531 HAS SOPS 868531 HAS SOUS 705124 HAS SOUPS 705124 WITH SCORE 705992.531
AT ITER 4876 NEW BEST:: SOT 1559198 SOS 868231 HAS SOPS 868231 HAS SOUS 704936 HAS SOUPS 704936 WITH SCORE 705804.231
AT ITER 4877 NEW BEST:: SOT 1558918 SOS 868546 HAS SOPS 868546 HAS SOUS 704718 HAS SOUPS 704718 WITH SCORE 705586.546
AT ITER 4882 NEW BEST:: SOT 1558918 SOS 868543 HAS SOPS 868543 HAS SOUS 704676 HAS SOUPS 704676 WITH SCORE 705544.543
AT ITER 4890 NEW BEST:: SOT 1558918 SOS 868543 HAS SOPS 868543 HAS SOUS 704623 HAS SOUPS 704623 WITH SCORE 705491.543
AT ITER 4897 NEW BEST:: SOT 1558918 SOS 868471 HAS SOPS 868471 HAS SOUS 704623 HAS SOUPS 704623 WITH SCORE 705491.471
AT ITER 4913 NEW BEST:: SOT 1558918 SOS 868263 HAS SOPS 868263 HAS SOUS 704623 HAS SOUPS 704623 WITH SCORE 705491.263
AT ITER 4918 NEW BEST:: SOT 1558945 SOS 868290 HAS SOPS 868290 HAS SOUS 704542 HAS SOUPS 704542 WITH SCORE 705410.29
AT ITER 4921 NEW BEST:: SOT 1558945 SOS 868044 HAS SOPS 868044 HAS SOUS 704542 HAS SOUPS 704542 WITH SCORE 705410.044
AT ITER 4929 NEW BEST:: SOT 1558945 SOS 867956 HAS SOPS 867956 HAS SOUS 704355 HAS SOUPS 704355 WITH SCORE 705222.956
AT ITER 4931 NEW BEST:: SOT 1558604 SOS 867785 HAS SOPS 867785 HAS SOUS 703624 HAS SOUPS 703624 WITH SCORE 704491.785
AT ITER 4935 NEW BEST:: SOT 1557875 SOS 867240 HAS SOPS 867240 HAS SOUS 703387 HAS SOUPS 703387 WITH SCORE 704254.24
AT ITER 4942 NEW BEST:: SOT 1557875 SOS 866637 HAS SOPS 866637 HAS SOUS 703350 HAS SOUPS 703350 WITH SCORE 704216.637
AT ITER 4955 NEW BEST:: SOT 1557875 SOS 866130 HAS SOPS 866130 HAS SOUS 703331 HAS SOUPS 703331 WITH SCORE 704197.13
AT ITER 4962 NEW BEST:: SOT 1557875 SOS 866011 HAS SOPS 866011 HAS SOUS 703210 HAS SOUPS 703210 WITH SCORE 704076.011
AT ITER 4973 NEW BEST:: SOT 1558504 SOS 863700 HAS SOPS 863700 HAS SOUS 702912 HAS SOUPS 702912 WITH SCORE 703775.7
AT ITER 4987 NEW BEST:: SOT 1558504 SOS 863417 HAS SOPS 863417 HAS SOUS 702912 HAS SOUPS 702912 WITH SCORE 703775.417
AT ITER 4990 NEW BEST:: SOT 1558094 SOS 863226 HAS SOPS 863226 HAS SOUS 702898 HAS SOUPS 702898 WITH SCORE 703761.226
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN11-CTLFireability-00 (AG( ( (EF( ((potential((tk(P1649)>=1) & (tk(P98)>=1) & (tk(P1547)>=1)))))) | ( ( ( ((potential((tk(P1600)>=1) & (tk(P93)>=1) & (tk(P1543)>=1)))) & ((potential((tk(P1665)>=1) & (tk(P37)>=1) & (tk(P1494)>=1)))) ) | ( ((potential((tk(P1689)>=1) & (tk(P61)>=1) & (tk(P1518)>=1)))) & ((potential((tk(P1682)>=1) & (tk(P76)>=1) & (tk(P1528)>=1)))) ) ) & ( ( ((potential((tk(P1684)>=1) & (tk(P111)>=1) & (tk(P1573)>=1)))) | ((potential((tk(P1593)>=1) & (tk(P42)>=1) & (tk(P1487)>=1)))) ) & ((potential((tk(P1666)>=1) & (tk(P16)>=1) & (tk(P1472)>=1)))) ) ) )))
PROPERTY: Sudoku-PT-AN11-CTLFireability-01 (EU( (! (EF( ((potential((tk(P1604)>=1) & (tk(P53)>=1) & (tk(P1499)>=1))))))) , (AF( (! ((potential((tk(P1604)>=1) & (tk(P75)>=1) & (tk(P1521)>=1))))))) ))
PROPERTY: Sudoku-PT-AN11-CTLFireability-02 (EX( (AF( (EG( ((potential((tk(P1611)>=1) & (tk(P82)>=1) & (tk(P1533)>=1))))))))))
PROPERTY: Sudoku-PT-AN11-CTLFireability-03 (AF( (! ( (EX( ((potential((tk(P1619)>=1) & (tk(P79)>=1) & (tk(P1534)>=1)))))) | ( (! ((potential((tk(P1635)>=1) & (tk(P62)>=1) & (tk(P1513)>=1))))) & ((potential((tk(P1640)>=1) & (tk(P12)>=1) & (tk(P1470)>=1)))) ) ))))
PROPERTY: Sudoku-PT-AN11-CTLFireability-04 (AG( ( ( ((potential((tk(P1676)>=1) & (tk(P103)>=1) & (tk(P1561)>=1)))) | (AX( ((potential((tk(P1667)>=1) & (tk(P94)>=1) & (tk(P1549)>=1)))))) ) | ( ( ((potential((tk(P1612)>=1) & (tk(P39)>=1) & (tk(P1489)>=1)))) | ((potential((tk(P1659)>=1) & (tk(P53)>=1) & (tk(P1504)>=1)))) ) & (! ( ((potential((tk(P1669)>=1) & (tk(P41)>=1) & (tk(P1494)>=1)))) & ((potential((tk(P1633)>=1) & (tk(P93)>=1) & (tk(P1546)>=1)))) )) ) )))
PROPERTY: Sudoku-PT-AN11-CTLFireability-05 (EF( (! (! (AX( ((potential((tk(P1599)>=1) & (tk(P114)>=1) & (tk(P1565)>=1))))))))))
PROPERTY: Sudoku-PT-AN11-CTLFireability-06 (EG( (EX( ( ( ((potential((tk(P1626)>=1) & (tk(P42)>=1) & (tk(P1490)>=1)))) & ((potential((tk(P1657)>=1) & (tk(P18)>=1) & (tk(P1471)>=1)))) ) & ((potential((tk(P1649)>=1) & (tk(P10)>=1) & (tk(P1459)>=1)))) )))))
PROPERTY: Sudoku-PT-AN11-CTLFireability-07 (EG( (EX( ( (! ((potential((tk(P1593)>=1) & (tk(P31)>=1) & (tk(P1476)>=1))))) | (! ((potential((tk(P1639)>=1) & (tk(P99)>=1) & (tk(P1546)>=1))))) )))))
PROPERTY: Sudoku-PT-AN11-CTLFireability-08 ( (AG( (! (AX( ((potential((tk(P1589)>=1) & (tk(P49)>=1) & (tk(P1498)>=1))))))))) | ( (EG( ( ( ((potential((tk(P1609)>=1) & (tk(P25)>=1) & (tk(P1478)>=1)))) | ((potential((tk(P1617)>=1) & (tk(P55)>=1) & (tk(P1500)>=1)))) ) | ( ((potential((tk(P1604)>=1) & (tk(P20)>=1) & (tk(P1466)>=1)))) | ((potential((tk(P1688)>=1) & (tk(P115)>=1) & (tk(P1573)>=1)))) ) ))) | ( ( (EF( ((potential((tk(P1653)>=1) & (tk(P3)>=1) & (tk(P1460)>=1)))))) & (! ( ((potential((tk(P1593)>=1) & (tk(P42)>=1) & (tk(P1487)>=1)))) & ((potential((tk(P1611)>=1) & (tk(P5)>=1) & (tk(P1456)>=1)))) )) ) & (! ((potential((tk(P1593)>=1) & (tk(P20)>=1) & (tk(P1465)>=1))))) ) ) )
PROPERTY: Sudoku-PT-AN11-CTLFireability-09 ( ((potential((tk(P1611)>=1) & (tk(P27)>=1) & (tk(P1478)>=1)))) & (AU( (AF( ((potential((tk(P1623)>=1) & (tk(P94)>=1) & (tk(P1545)>=1)))))) , (AX( ((potential((tk(P1616)>=1) & (tk(P76)>=1) & (tk(P1522)>=1)))))) )) )
PROPERTY: Sudoku-PT-AN11-CTLFireability-10 (! (! (EF( (AX( ((potential((tk(P1653)>=1) & (tk(P47)>=1) & (tk(P1504)>=1))))))))))
PROPERTY: Sudoku-PT-AN11-CTLFireability-11 (AG( (AU( ( ((potential((tk(P1673)>=1) & (tk(P1)>=1) & (tk(P1462)>=1)))) & ((potential((tk(P1604)>=1) & (tk(P108)>=1) & (tk(P1554)>=1)))) ) , ( ((potential((tk(P1580)>=1) & (tk(P84)>=1) & (tk(P1530)>=1)))) & ((potential((tk(P1689)>=1) & (tk(P28)>=1) & (tk(P1485)>=1)))) ) ))))
PROPERTY: Sudoku-PT-AN11-CTLFireability-12 (EG( (EF( ((potential((tk(P1611)>=1) & (tk(P49)>=1) & (tk(P1500)>=1))))))))
PROPERTY: Sudoku-PT-AN11-CTLFireability-13 ( (EG( (EF( ((potential((tk(P1581)>=1) & (tk(P63)>=1) & (tk(P1508)>=1)))))))) & ((potential((tk(P1625)>=1) & (tk(P118)>=1) & (tk(P1567)>=1)))) )
PROPERTY: Sudoku-PT-AN11-CTLFireability-14 (AF( (AF( (! ( ((potential((tk(P1668)>=1) & (tk(P62)>=1) & (tk(P1516)>=1)))) & ((potential((tk(P1635)>=1) & (tk(P106)>=1) & (tk(P1557)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN11-CTLFireability-15 (EF( ( ( (AF( ((potential((tk(P1597)>=1) & (tk(P46)>=1) & (tk(P1499)>=1)))))) | ( (! ((potential((tk(P1683)>=1) & (tk(P121)>=1) & (tk(P1572)>=1))))) | ( ((potential((tk(P1581)>=1) & (tk(P85)>=1) & (tk(P1530)>=1)))) & ((potential((tk(P1671)>=1) & (tk(P109)>=1) & (tk(P1560)>=1)))) ) ) ) & ( (EG( ((potential((tk(P1660)>=1) & (tk(P10)>=1) & (tk(P1460)>=1)))))) | (AX( ((potential((tk(P1605)>=1) & (tk(P65)>=1) & (tk(P1510)>=1)))))) ) )))
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="CTLFireability"
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 CTLFireability"
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-159033538700396"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;