Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354800504.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBLF-PT-S04J06T10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354800504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.7M
-rw-r--r-- 1 mcc users 12K Apr 12 05:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Apr 12 05:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 11 05:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K Apr 11 05:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 13K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 47K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Apr 10 12:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 10 12:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 23K Apr 9 18:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Apr 9 18:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.3K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 6.2M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589646105110

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

Filename model.pnml
Petri model created: 966 places, 5354 transitions, 36134 arcs.
AT ITER 0 NEW BEST:: SOT 3317360 SOS 1953480 HAS SOPS 1934443 HAS SOUS 633161 HAS SOUPS 632369 WITH SCORE 634322.48
AT ITER 1 NEW BEST:: SOT 3316975 SOS 1953055 HAS SOPS 1934018 HAS SOUS 632899 HAS SOUPS 632107 WITH SCORE 634060.055
AT ITER 10 NEW BEST:: SOT 3316879 SOS 1952911 HAS SOPS 1933874 HAS SOUS 632779 HAS SOUPS 631987 WITH SCORE 633939.911
AT ITER 15 NEW BEST:: SOT 3315492 SOS 1951847 HAS SOPS 1932810 HAS SOUS 632191 HAS SOUPS 631399 WITH SCORE 633350.847
AT ITER 21 NEW BEST:: SOT 3313914 SOS 1950576 HAS SOPS 1931539 HAS SOUS 631194 HAS SOUPS 630402 WITH SCORE 632352.576
AT ITER 30 NEW BEST:: SOT 3313914 SOS 1950568 HAS SOPS 1931531 HAS SOUS 631186 HAS SOUPS 630394 WITH SCORE 632344.568
AT ITER 40 NEW BEST:: SOT 3313808 SOS 1951356 HAS SOPS 1932333 HAS SOUS 631052 HAS SOUPS 630260 WITH SCORE 632211.356
AT ITER 41 NEW BEST:: SOT 3195003 SOS 1875044 HAS SOPS 1856021 HAS SOUS 610521 HAS SOUPS 609729 WITH SCORE 611604.044
AT ITER 46 NEW BEST:: SOT 3195003 SOS 1875348 HAS SOPS 1856325 HAS SOUS 610345 HAS SOUPS 609553 WITH SCORE 611428.348
AT ITER 49 NEW BEST:: SOT 3194502 SOS 1874884 HAS SOPS 1855861 HAS SOUS 609569 HAS SOUPS 608777 WITH SCORE 610651.884
AT ITER 65 NEW BEST:: SOT 3194146 SOS 1874431 HAS SOPS 1855408 HAS SOUS 609192 HAS SOUPS 608400 WITH SCORE 610274.431
AT ITER 73 NEW BEST:: SOT 3194146 SOS 1874431 HAS SOPS 1855408 HAS SOUS 609156 HAS SOUPS 608364 WITH SCORE 610238.431
AT ITER 79 NEW BEST:: SOT 3193874 SOS 1874177 HAS SOPS 1855051 HAS SOUS 608682 HAS SOUPS 607890 WITH SCORE 609764.177
AT ITER 83 NEW BEST:: SOT 3193874 SOS 1874177 HAS SOPS 1855051 HAS SOUS 608676 HAS SOUPS 607884 WITH SCORE 609758.177
AT ITER 85 NEW BEST:: SOT 3192329 SOS 1872841 HAS SOPS 1853715 HAS SOUS 607347 HAS SOUPS 606555 WITH SCORE 608427.841
AT ITER 94 NEW BEST:: SOT 3192303 SOS 1872685 HAS SOPS 1853559 HAS SOUS 607347 HAS SOUPS 606555 WITH SCORE 608427.685
AT ITER 96 NEW BEST:: SOT 3191610 SOS 1872011 HAS SOPS 1852885 HAS SOUS 606505 HAS SOUPS 605713 WITH SCORE 607585.011
AT ITER 97 NEW BEST:: SOT 3190608 SOS 1871184 HAS SOPS 1852058 HAS SOUS 605552 HAS SOUPS 604760 WITH SCORE 606631.184
AT ITER 102 NEW BEST:: SOT 3187806 SOS 1868531 HAS SOPS 1849405 HAS SOUS 603317 HAS SOUPS 602525 WITH SCORE 604393.531
AT ITER 103 NEW BEST:: SOT 3187769 SOS 1867925 HAS SOPS 1848799 HAS SOUS 603191 HAS SOUPS 602399 WITH SCORE 604266.925
AT ITER 107 NEW BEST:: SOT 3187610 SOS 1867726 HAS SOPS 1848600 HAS SOUS 603163 HAS SOUPS 602371 WITH SCORE 604238.726
AT ITER 108 NEW BEST:: SOT 3187585 SOS 1867701 HAS SOPS 1848575 HAS SOUS 603113 HAS SOUPS 602321 WITH SCORE 604188.701
AT ITER 111 NEW BEST:: SOT 3125577 SOS 1805877 HAS SOPS 1786751 HAS SOUS 591153 HAS SOUPS 590361 WITH SCORE 592166.877
AT ITER 122 NEW BEST:: SOT 3124828 SOS 1805021 HAS SOPS 1785895 HAS SOUS 590297 HAS SOUPS 589505 WITH SCORE 591310.021
AT ITER 134 NEW BEST:: SOT 3124619 SOS 1804852 HAS SOPS 1785726 HAS SOUS 590128 HAS SOUPS 589336 WITH SCORE 591140.852
AT ITER 172 NEW BEST:: SOT 3124305 SOS 1804542 HAS SOPS 1785416 HAS SOUS 589972 HAS SOUPS 589180 WITH SCORE 590984.542
AT ITER 173 NEW BEST:: SOT 3123003 SOS 1803414 HAS SOPS 1784288 HAS SOUS 588700 HAS SOUPS 587908 WITH SCORE 589711.414
AT ITER 177 NEW BEST:: SOT 3122111 SOS 1802728 HAS SOPS 1783602 HAS SOUS 587888 HAS SOUPS 587096 WITH SCORE 588898.728
AT ITER 206 NEW BEST:: SOT 3121621 SOS 1802308 HAS SOPS 1783182 HAS SOUS 587468 HAS SOUPS 586676 WITH SCORE 588478.308
AT ITER 209 NEW BEST:: SOT 3121529 SOS 1802382 HAS SOPS 1783479 HAS SOUS 587448 HAS SOUPS 586656 WITH SCORE 588458.382
AT ITER 211 NEW BEST:: SOT 3121509 SOS 1802352 HAS SOPS 1783449 HAS SOUS 587328 HAS SOUPS 586536 WITH SCORE 588338.352
AT ITER 215 NEW BEST:: SOT 3121169 SOS 1801842 HAS SOPS 1782939 HAS SOUS 586903 HAS SOUPS 586111 WITH SCORE 587912.842
AT ITER 218 NEW BEST:: SOT 3064949 SOS 1794856 HAS SOPS 1775953 HAS SOUS 578542 HAS SOUPS 577750 WITH SCORE 579544.856
AT ITER 219 NEW BEST:: SOT 3057342 SOS 1787267 HAS SOPS 1768170 HAS SOUS 570856 HAS SOUPS 569967 WITH SCORE 571754.267
AT ITER 222 NEW BEST:: SOT 3053938 SOS 1784129 HAS SOPS 1765032 HAS SOUS 569850 HAS SOUPS 568961 WITH SCORE 570745.129
AT ITER 234 NEW BEST:: SOT 3053386 SOS 1783485 HAS SOPS 1764388 HAS SOUS 569206 HAS SOUPS 568317 WITH SCORE 570100.485
AT ITER 236 NEW BEST:: SOT 3053374 SOS 1783473 HAS SOPS 1764376 HAS SOUS 569153 HAS SOUPS 568264 WITH SCORE 570047.473
AT ITER 240 NEW BEST:: SOT 3054718 SOS 1785279 HAS SOPS 1766182 HAS SOUS 568812 HAS SOUPS 567923 WITH SCORE 569708.279
AT ITER 241 NEW BEST:: SOT 2933448 SOS 1716832 HAS SOPS 1697735 HAS SOUS 547860 HAS SOUPS 546971 WITH SCORE 548687.832
AT ITER 258 NEW BEST:: SOT 2932932 SOS 1716334 HAS SOPS 1697237 HAS SOUS 546437 HAS SOUPS 545548 WITH SCORE 547264.334
AT ITER 262 NEW BEST:: SOT 2932974 SOS 1716376 HAS SOPS 1697157 HAS SOUS 546473 HAS SOUPS 545508 WITH SCORE 547224.376
AT ITER 267 NEW BEST:: SOT 2931631 SOS 1715350 HAS SOPS 1696131 HAS SOUS 544009 HAS SOUPS 543044 WITH SCORE 544759.35
AT ITER 277 NEW BEST:: SOT 2931553 SOS 1715194 HAS SOPS 1695975 HAS SOUS 542527 HAS SOUPS 541562 WITH SCORE 543277.194
AT ITER 279 NEW BEST:: SOT 2932841 SOS 1717113 HAS SOPS 1697894 HAS SOUS 541861 HAS SOUPS 540896 WITH SCORE 542613.113
AT ITER 288 NEW BEST:: SOT 2932841 SOS 1716594 HAS SOPS 1697375 HAS SOUS 541861 HAS SOUPS 540896 WITH SCORE 542612.594
AT ITER 290 NEW BEST:: SOT 2932634 SOS 1716942 HAS SOPS 1697990 HAS SOUS 541794 HAS SOUPS 540829 WITH SCORE 542545.942
AT ITER 295 NEW BEST:: SOT 2932066 SOS 1716329 HAS SOPS 1697377 HAS SOUS 541532 HAS SOUPS 540567 WITH SCORE 542283.329
AT ITER 297 NEW BEST:: SOT 2932066 SOS 1716329 HAS SOPS 1697377 HAS SOUS 540115 HAS SOUPS 539150 WITH SCORE 540866.329
AT ITER 302 NEW BEST:: SOT 2931886 SOS 1715979 HAS SOPS 1697027 HAS SOUS 539827 HAS SOUPS 538862 WITH SCORE 540577.979
AT ITER 313 NEW BEST:: SOT 2931866 SOS 1715959 HAS SOPS 1697047 HAS SOUS 539815 HAS SOUPS 538850 WITH SCORE 540565.959
AT ITER 333 NEW BEST:: SOT 2931168 SOS 1715343 HAS SOPS 1696431 HAS SOUS 538910 HAS SOUPS 537945 WITH SCORE 539660.343
AT ITER 338 NEW BEST:: SOT 2931168 SOS 1715343 HAS SOPS 1696431 HAS SOUS 538883 HAS SOUPS 537918 WITH SCORE 539633.343
AT ITER 352 NEW BEST:: SOT 2931101 SOS 1714941 HAS SOPS 1696029 HAS SOUS 538883 HAS SOUPS 537918 WITH SCORE 539632.941
AT ITER 357 NEW BEST:: SOT 2931139 SOS 1714979 HAS SOPS 1696067 HAS SOUS 538604 HAS SOUPS 537639 WITH SCORE 539353.979
AT ITER 361 NEW BEST:: SOT 2930717 SOS 1714339 HAS SOPS 1695339 HAS SOUS 537978 HAS SOUPS 537013 WITH SCORE 538727.339
AT ITER 370 NEW BEST:: SOT 2929849 SOS 1713664 HAS SOPS 1694664 HAS SOUS 537177 HAS SOUPS 536212 WITH SCORE 537925.664
AT ITER 374 NEW BEST:: SOT 2928888 SOS 1712905 HAS SOPS 1693905 HAS SOUS 536816 HAS SOUPS 535851 WITH SCORE 537563.905
AT ITER 377 NEW BEST:: SOT 2910334 SOS 1744278 HAS SOPS 1737080 HAS SOUS 521479 HAS SOUPS 520808 WITH SCORE 522552.278
AT ITER 378 NEW BEST:: SOT 2910076 SOS 1735949 HAS SOPS 1728751 HAS SOUS 521359 HAS SOUPS 520688 WITH SCORE 522423.949
AT ITER 383 NEW BEST:: SOT 2893756 SOS 1719609 HAS SOPS 1712411 HAS SOUS 518075 HAS SOUPS 517404 WITH SCORE 519123.609
AT ITER 397 NEW BEST:: SOT 2893560 SOS 1719440 HAS SOPS 1712242 HAS SOUS 517214 HAS SOUPS 516543 WITH SCORE 518262.44
AT ITER 398 NEW BEST:: SOT 2893242 SOS 1718806 HAS SOPS 1711731 HAS SOUS 516951 HAS SOUPS 516280 WITH SCORE 517998.806
AT ITER 417 NEW BEST:: SOT 2805307 SOS 1630669 HAS SOPS 1623594 HAS SOUS 500226 HAS SOUPS 499555 WITH SCORE 501185.669
AT ITER 435 NEW BEST:: SOT 2804959 SOS 1630321 HAS SOPS 1623246 HAS SOUS 499902 HAS SOUPS 499231 WITH SCORE 500861.321
AT ITER 438 NEW BEST:: SOT 2804945 SOS 1630293 HAS SOPS 1623218 HAS SOUS 499874 HAS SOUPS 499203 WITH SCORE 500833.293
AT ITER 441 NEW BEST:: SOT 2804752 SOS 1630129 HAS SOPS 1623054 HAS SOUS 499746 HAS SOUPS 499075 WITH SCORE 500705.129
AT ITER 449 NEW BEST:: SOT 2812168 SOS 1594518 HAS SOPS 1587443 HAS SOUS 498325 HAS SOUPS 497654 WITH SCORE 499248.518
AT ITER 454 NEW BEST:: SOT 2811941 SOS 1594291 HAS SOPS 1587216 HAS SOUS 498258 HAS SOUPS 497587 WITH SCORE 499181.291
AT ITER 456 NEW BEST:: SOT 2811292 SOS 1593685 HAS SOPS 1586610 HAS SOUS 497550 HAS SOUPS 496879 WITH SCORE 498472.685
AT ITER 466 NEW BEST:: SOT 2811254 SOS 1593647 HAS SOPS 1586572 HAS SOUS 497512 HAS SOUPS 496841 WITH SCORE 498434.647
AT ITER 489 NEW BEST:: SOT 2811254 SOS 1593656 HAS SOPS 1586581 HAS SOUS 497484 HAS SOUPS 496813 WITH SCORE 498406.656
AT ITER 494 NEW BEST:: SOT 2811134 SOS 1593497 HAS SOPS 1586422 HAS SOUS 497325 HAS SOUPS 496654 WITH SCORE 498247.497
AT ITER 502 NEW BEST:: SOT 2811134 SOS 1593497 HAS SOPS 1586226 HAS SOUS 497325 HAS SOUPS 496458 WITH SCORE 498051.497
AT ITER 520 NEW BEST:: SOT 2810296 SOS 1592865 HAS SOPS 1585594 HAS SOUS 496731 HAS SOUPS 495864 WITH SCORE 497456.865
AT ITER 525 NEW BEST:: SOT 2810253 SOS 1578159 HAS SOPS 1570888 HAS SOUS 496731 HAS SOUPS 495864 WITH SCORE 497442.159
AT ITER 543 NEW BEST:: SOT 2809857 SOS 1577930 HAS SOPS 1570659 HAS SOUS 496431 HAS SOUPS 495564 WITH SCORE 497141.93
AT ITER 544 NEW BEST:: SOT 2809640 SOS 1577592 HAS SOPS 1570321 HAS SOUS 496235 HAS SOUPS 495368 WITH SCORE 496945.592
AT ITER 550 NEW BEST:: SOT 2809640 SOS 1577603 HAS SOPS 1570332 HAS SOUS 496152 HAS SOUPS 495285 WITH SCORE 496862.603
AT ITER 551 NEW BEST:: SOT 2809659 SOS 1577574 HAS SOPS 1570303 HAS SOUS 496123 HAS SOUPS 495256 WITH SCORE 496833.574
AT ITER 554 NEW BEST:: SOT 2809635 SOS 1577550 HAS SOPS 1570279 HAS SOUS 496093 HAS SOUPS 495226 WITH SCORE 496803.55
AT ITER 569 NEW BEST:: SOT 2807290 SOS 1584218 HAS SOPS 1574888 HAS SOUS 490619 HAS SOUPS 489511 WITH SCORE 491095.218
AT ITER 572 NEW BEST:: SOT 2805410 SOS 1582642 HAS SOPS 1573312 HAS SOUS 488858 HAS SOUPS 487750 WITH SCORE 489332.642
AT ITER 576 NEW BEST:: SOT 2805343 SOS 1582565 HAS SOPS 1573235 HAS SOUS 488748 HAS SOUPS 487640 WITH SCORE 489222.565
AT ITER 583 NEW BEST:: SOT 2804829 SOS 1582146 HAS SOPS 1572816 HAS SOUS 488234 HAS SOUPS 487126 WITH SCORE 488708.146
AT ITER 586 NEW BEST:: SOT 2804549 SOS 1581569 HAS SOPS 1572239 HAS SOUS 488200 HAS SOUPS 487092 WITH SCORE 488673.569
AT ITER 606 NEW BEST:: SOT 2804254 SOS 1581072 HAS SOPS 1571742 HAS SOUS 487813 HAS SOUPS 486705 WITH SCORE 488286.072
AT ITER 609 NEW BEST:: SOT 2803994 SOS 1580825 HAS SOPS 1571495 HAS SOUS 487566 HAS SOUPS 486458 WITH SCORE 488038.825
AT ITER 621 NEW BEST:: SOT 2803911 SOS 1579986 HAS SOPS 1565536 HAS SOUS 487760 HAS SOUPS 486140 WITH SCORE 487719.986
AT ITER 633 NEW BEST:: SOT 2803879 SOS 1579938 HAS SOPS 1565488 HAS SOUS 487728 HAS SOUPS 486108 WITH SCORE 487687.938
AT ITER 659 NEW BEST:: SOT 2803710 SOS 1580069 HAS SOPS 1565619 HAS SOUS 487726 HAS SOUPS 486106 WITH SCORE 487686.069
AT ITER 664 NEW BEST:: SOT 2803710 SOS 1580090 HAS SOPS 1565640 HAS SOUS 487710 HAS SOUPS 486090 WITH SCORE 487670.09
AT ITER 670 NEW BEST:: SOT 2803024 SOS 1579601 HAS SOPS 1565151 HAS SOUS 487517 HAS SOUPS 485897 WITH SCORE 487476.601
AT ITER 675 NEW BEST:: SOT 2802904 SOS 1579481 HAS SOPS 1565031 HAS SOUS 487397 HAS SOUPS 485777 WITH SCORE 487356.481
AT ITER 682 NEW BEST:: SOT 2802908 SOS 1579481 HAS SOPS 1565031 HAS SOUS 487389 HAS SOUPS 485769 WITH SCORE 487348.481
AT ITER 715 NEW BEST:: SOT 2802787 SOS 1579340 HAS SOPS 1564890 HAS SOUS 487248 HAS SOUPS 485628 WITH SCORE 487207.34
AT ITER 718 NEW BEST:: SOT 2802948 SOS 1579421 HAS SOPS 1564971 HAS SOUS 487193 HAS SOUPS 485573 WITH SCORE 487152.421
AT ITER 785 NEW BEST:: SOT 2802949 SOS 1579327 HAS SOPS 1564877 HAS SOUS 487055 HAS SOUPS 485435 WITH SCORE 487014.327
AT ITER 791 NEW BEST:: SOT 2802947 SOS 1579325 HAS SOPS 1564875 HAS SOUS 487053 HAS SOUPS 485433 WITH SCORE 487012.325
AT ITER 800 NEW BEST:: SOT 2802947 SOS 1579301 HAS SOPS 1564851 HAS SOUS 487053 HAS SOUPS 485433 WITH SCORE 487012.301
AT ITER 804 NEW BEST:: SOT 2802821 SOS 1579014 HAS SOPS 1564564 HAS SOUS 486766 HAS SOUPS 485146 WITH SCORE 486725.014
AT ITER 828 NEW BEST:: SOT 2802821 SOS 1579014 HAS SOPS 1564564 HAS SOUS 486754 HAS SOUPS 485134 WITH SCORE 486713.014
AT ITER 830 NEW BEST:: SOT 2802746 SOS 1578884 HAS SOPS 1564434 HAS SOUS 486714 HAS SOUPS 485094 WITH SCORE 486672.884
AT ITER 834 NEW BEST:: SOT 2802702 SOS 1580026 HAS SOPS 1565594 HAS SOUS 486708 HAS SOUPS 485088 WITH SCORE 486668.026
AT ITER 842 NEW BEST:: SOT 2802680 SOS 1580004 HAS SOPS 1565572 HAS SOUS 486697 HAS SOUPS 485077 WITH SCORE 486657.004
AT ITER 867 NEW BEST:: SOT 2802590 SOS 1579914 HAS SOPS 1565492 HAS SOUS 486617 HAS SOUPS 484997 WITH SCORE 486576.914
AT ITER 869 NEW BEST:: SOT 2802393 SOS 1579549 HAS SOPS 1565125 HAS SOUS 486139 HAS SOUPS 484519 WITH SCORE 486098.549
AT ITER 873 NEW BEST:: SOT 2802303 SOS 1579155 HAS SOPS 1564731 HAS SOUS 485908 HAS SOUPS 484288 WITH SCORE 485867.155
AT ITER 874 NEW BEST:: SOT 2802289 SOS 1579141 HAS SOPS 1564717 HAS SOUS 485894 HAS SOUPS 484274 WITH SCORE 485853.141
AT ITER 876 NEW BEST:: SOT 2801970 SOS 1578712 HAS SOPS 1564288 HAS SOUS 485465 HAS SOUPS 483845 WITH SCORE 485423.712
AT ITER 895 NEW BEST:: SOT 2801970 SOS 1578684 HAS SOPS 1564260 HAS SOUS 485459 HAS SOUPS 483839 WITH SCORE 485417.684
AT ITER 902 NEW BEST:: SOT 2801627 SOS 1578255 HAS SOPS 1563829 HAS SOUS 485143 HAS SOUPS 483523 WITH SCORE 485101.255
AT ITER 919 NEW BEST:: SOT 2801651 SOS 1578320 HAS SOPS 1563894 HAS SOUS 485134 HAS SOUPS 483514 WITH SCORE 485092.32
AT ITER 920 NEW BEST:: SOT 2801297 SOS 1578025 HAS SOPS 1563599 HAS SOUS 484093 HAS SOUPS 482473 WITH SCORE 484051.025
AT ITER 926 NEW BEST:: SOT 2801248 SOS 1577927 HAS SOPS 1563501 HAS SOUS 483995 HAS SOUPS 482375 WITH SCORE 483952.927
AT ITER 938 NEW BEST:: SOT 2801039 SOS 1577700 HAS SOPS 1563276 HAS SOUS 483889 HAS SOUPS 482269 WITH SCORE 483846.7
AT ITER 942 NEW BEST:: SOT 2800905 SOS 1578331 HAS SOPS 1563918 HAS SOUS 483852 HAS SOUPS 482232 WITH SCORE 483810.331
AT ITER 953 NEW BEST:: SOT 2800905 SOS 1578568 HAS SOPS 1564155 HAS SOUS 483826 HAS SOUPS 482206 WITH SCORE 483784.568
AT ITER 954 NEW BEST:: SOT 2800524 SOS 1578187 HAS SOPS 1563774 HAS SOUS 483044 HAS SOUPS 481424 WITH SCORE 483002.187
AT ITER 955 NEW BEST:: SOT 2800408 SOS 1577784 HAS SOPS 1563371 HAS SOUS 482787 HAS SOUPS 481167 WITH SCORE 482744.784
AT ITER 957 NEW BEST:: SOT 2800272 SOS 1577526 HAS SOPS 1563068 HAS SOUS 482581 HAS SOUPS 480961 WITH SCORE 482538.526
AT ITER 962 NEW BEST:: SOT 2800219 SOS 1577473 HAS SOPS 1563015 HAS SOUS 482475 HAS SOUPS 480855 WITH SCORE 482432.473
AT ITER 964 NEW BEST:: SOT 2801480 SOS 1579370 HAS SOPS 1564912 HAS SOUS 481816 HAS SOUPS 480196 WITH SCORE 481775.37
AT ITER 972 NEW BEST:: SOT 2802140 SOS 1581864 HAS SOPS 1567406 HAS SOUS 481709 HAS SOUPS 480089 WITH SCORE 481670.864
AT ITER 975 NEW BEST:: SOT 2791945 SOS 1571624 HAS SOPS 1557166 HAS SOUS 479546 HAS SOUPS 477926 WITH SCORE 479497.624
AT ITER 1006 NEW BEST:: SOT 2792013 SOS 1571760 HAS SOPS 1557302 HAS SOUS 479536 HAS SOUPS 477916 WITH SCORE 479487.76
AT ITER 1011 NEW BEST:: SOT 2791756 SOS 1571542 HAS SOPS 1557084 HAS SOUS 479025 HAS SOUPS 477405 WITH SCORE 478976.542
AT ITER 1016 NEW BEST:: SOT 2791824 SOS 1571562 HAS SOPS 1556981 HAS SOUS 478972 HAS SOUPS 477352 WITH SCORE 478923.562
AT ITER 1020 NEW BEST:: SOT 2791120 SOS 1571021 HAS SOPS 1556440 HAS SOUS 478116 HAS SOUPS 476496 WITH SCORE 478067.021
AT ITER 1022 NEW BEST:: SOT 2791109 SOS 1571010 HAS SOPS 1556429 HAS SOUS 478107 HAS SOUPS 476487 WITH SCORE 478058.01
AT ITER 1026 NEW BEST:: SOT 2790794 SOS 1570895 HAS SOPS 1556314 HAS SOUS 478035 HAS SOUPS 476415 WITH SCORE 477985.895
AT ITER 1032 NEW BEST:: SOT 2794061 SOS 1578137 HAS SOPS 1563573 HAS SOUS 477583 HAS SOUPS 475963 WITH SCORE 477541.137
AT ITER 1036 NEW BEST:: SOT 2793674 SOS 1577810 HAS SOPS 1563246 HAS SOUS 477391 HAS SOUPS 475771 WITH SCORE 477348.81
AT ITER 1042 NEW BEST:: SOT 2793737 SOS 1578359 HAS SOPS 1563795 HAS SOUS 476987 HAS SOUPS 475367 WITH SCORE 476945.359
AT ITER 1062 NEW BEST:: SOT 2793413 SOS 1577873 HAS SOPS 1563309 HAS SOUS 476555 HAS SOUPS 474935 WITH SCORE 476512.873
AT ITER 1082 NEW BEST:: SOT 2793386 SOS 1577846 HAS SOPS 1563255 HAS SOUS 476501 HAS SOUPS 474881 WITH SCORE 476458.846
AT ITER 1083 NEW BEST:: SOT 2793255 SOS 1577656 HAS SOPS 1563065 HAS SOUS 476204 HAS SOUPS 474584 WITH SCORE 476161.656
AT ITER 1091 NEW BEST:: SOT 2793227 SOS 1577628 HAS SOPS 1563027 HAS SOUS 476190 HAS SOUPS 474567 WITH SCORE 476144.628
AT ITER 1102 NEW BEST:: SOT 2793217 SOS 1577618 HAS SOPS 1563017 HAS SOUS 476160 HAS SOUPS 474537 WITH SCORE 476114.618
AT ITER 1111 NEW BEST:: SOT 2793554 SOS 1578000 HAS SOPS 1563399 HAS SOUS 475724 HAS SOUPS 474101 WITH SCORE 475679.0
AT ITER 1114 NEW BEST:: SOT 2793550 SOS 1578049 HAS SOPS 1563448 HAS SOUS 474339 HAS SOUPS 472716 WITH SCORE 474294.049
AT ITER 1119 NEW BEST:: SOT 2793430 SOS 1606601 HAS SOPS 1592000 HAS SOUS 474201 HAS SOUPS 472578 WITH SCORE 474184.601
AT ITER 1125 NEW BEST:: SOT 2793362 SOS 1607202 HAS SOPS 1592613 HAS SOUS 474086 HAS SOUPS 472463 WITH SCORE 474070.202
AT ITER 1133 NEW BEST:: SOT 2793214 SOS 1607101 HAS SOPS 1592617 HAS SOUS 474023 HAS SOUPS 472400 WITH SCORE 474007.101
AT ITER 1140 NEW BEST:: SOT 2793121 SOS 1606978 HAS SOPS 1592494 HAS SOUS 473849 HAS SOUPS 472226 WITH SCORE 473832.978
AT ITER 1148 NEW BEST:: SOT 2792599 SOS 1606369 HAS SOPS 1591885 HAS SOUS 473240 HAS SOUPS 471617 WITH SCORE 473223.369
AT ITER 1156 NEW BEST:: SOT 2792403 SOS 1606173 HAS SOPS 1591689 HAS SOUS 473044 HAS SOUPS 471421 WITH SCORE 473027.173
AT ITER 1165 NEW BEST:: SOT 2792225 SOS 1606033 HAS SOPS 1591549 HAS SOUS 471249 HAS SOUPS 469626 WITH SCORE 471232.033
AT ITER 1167 NEW BEST:: SOT 2792169 SOS 1605977 HAS SOPS 1591493 HAS SOUS 471229 HAS SOUPS 469606 WITH SCORE 471211.977
AT ITER 1171 NEW BEST:: SOT 2791555 SOS 1605040 HAS SOPS 1590556 HAS SOUS 470580 HAS SOUPS 468957 WITH SCORE 470562.04
AT ITER 1178 NEW BEST:: SOT 2791311 SOS 1604514 HAS SOPS 1590030 HAS SOUS 470414 HAS SOUPS 468791 WITH SCORE 470395.514
AT ITER 1179 NEW BEST:: SOT 2791385 SOS 1604742 HAS SOPS 1590258 HAS SOUS 470402 HAS SOUPS 468779 WITH SCORE 470383.742
AT ITER 1184 NEW BEST:: SOT 2791385 SOS 1604742 HAS SOPS 1590258 HAS SOUS 470390 HAS SOUPS 468767 WITH SCORE 470371.742
AT ITER 1186 NEW BEST:: SOT 2791148 SOS 1599593 HAS SOPS 1585865 HAS SOUS 470143 HAS SOUPS 468599 WITH SCORE 470198.593
AT ITER 1188 NEW BEST:: SOT 2791217 SOS 1599790 HAS SOPS 1586062 HAS SOUS 470070 HAS SOUPS 468526 WITH SCORE 470125.79
AT ITER 1196 NEW BEST:: SOT 2791213 SOS 1599786 HAS SOPS 1586058 HAS SOUS 469990 HAS SOUPS 468446 WITH SCORE 470045.786
AT ITER 1206 NEW BEST:: SOT 2791213 SOS 1599905 HAS SOPS 1586177 HAS SOUS 468834 HAS SOUPS 467290 WITH SCORE 468889.905
AT ITER 1210 NEW BEST:: SOT 2790657 SOS 1599456 HAS SOPS 1585728 HAS SOUS 468512 HAS SOUPS 466968 WITH SCORE 468567.456
AT ITER 1222 NEW BEST:: SOT 2790177 SOS 1598754 HAS SOPS 1585026 HAS SOUS 468216 HAS SOUPS 466672 WITH SCORE 468270.754
AT ITER 1227 NEW BEST:: SOT 2790177 SOS 1598754 HAS SOPS 1585026 HAS SOUS 468178 HAS SOUPS 466634 WITH SCORE 468232.754
AT ITER 1231 NEW BEST:: SOT 2790167 SOS 1598734 HAS SOPS 1585006 HAS SOUS 468158 HAS SOUPS 466614 WITH SCORE 468212.734
AT ITER 1233 NEW BEST:: SOT 2790033 SOS 1598466 HAS SOPS 1584738 HAS SOUS 467890 HAS SOUPS 466346 WITH SCORE 467944.466
AT ITER 1238 NEW BEST:: SOT 2790034 SOS 1598467 HAS SOPS 1584739 HAS SOUS 467814 HAS SOUPS 466270 WITH SCORE 467868.467
AT ITER 1248 NEW BEST:: SOT 2790034 SOS 1610850 HAS SOPS 1597122 HAS SOUS 467692 HAS SOUPS 466148 WITH SCORE 467758.85
AT ITER 1250 NEW BEST:: SOT 2790009 SOS 1610800 HAS SOPS 1597072 HAS SOUS 467645 HAS SOUPS 466101 WITH SCORE 467711.8
AT ITER 1252 NEW BEST:: SOT 2789737 SOS 1610646 HAS SOPS 1596918 HAS SOUS 467534 HAS SOUPS 465990 WITH SCORE 467600.646
AT ITER 1254 NEW BEST:: SOT 2789930 SOS 1618811 HAS SOPS 1603897 HAS SOUS 466290 HAS SOUPS 464624 WITH SCORE 466242.811
AT ITER 1256 NEW BEST:: SOT 2789473 SOS 1618492 HAS SOPS 1603578 HAS SOUS 465808 HAS SOUPS 464142 WITH SCORE 465760.492
AT ITER 1260 NEW BEST:: SOT 2789054 SOS 1618073 HAS SOPS 1603159 HAS SOUS 463122 HAS SOUPS 461456 WITH SCORE 463074.073
AT ITER 1263 NEW BEST:: SOT 2788992 SOS 1617967 HAS SOPS 1603053 HAS SOUS 463046 HAS SOUPS 461380 WITH SCORE 462997.967
AT ITER 1285 NEW BEST:: SOT 2787837 SOS 1616812 HAS SOPS 1601898 HAS SOUS 461725 HAS SOUPS 460059 WITH SCORE 461675.812
AT ITER 1305 NEW BEST:: SOT 2787620 SOS 1616655 HAS SOPS 1601741 HAS SOUS 461591 HAS SOUPS 459925 WITH SCORE 461541.655
AT ITER 1306 NEW BEST:: SOT 2787580 SOS 1616615 HAS SOPS 1601729 HAS SOUS 461571 HAS SOUPS 459905 WITH SCORE 461521.615
AT ITER 1309 NEW BEST:: SOT 2787012 SOS 1616189 HAS SOPS 1601303 HAS SOUS 460832 HAS SOUPS 459166 WITH SCORE 460782.189
AT ITER 1320 NEW BEST:: SOT 2786981 SOS 1616158 HAS SOPS 1601272 HAS SOUS 460762 HAS SOUPS 459096 WITH SCORE 460712.158
AT ITER 1327 NEW BEST:: SOT 2786543 SOS 1615285 HAS SOPS 1600399 HAS SOUS 460257 HAS SOUPS 458591 WITH SCORE 460206.285
AT ITER 1348 NEW BEST:: SOT 2786562 SOS 1615304 HAS SOPS 1600396 HAS SOUS 460254 HAS SOUPS 458588 WITH SCORE 460203.304
AT ITER 1351 NEW BEST:: SOT 2786552 SOS 1615299 HAS SOPS 1600391 HAS SOUS 460254 HAS SOUPS 458588 WITH SCORE 460203.299
AT ITER 1366 NEW BEST:: SOT 2786517 SOS 1615172 HAS SOPS 1600264 HAS SOUS 460081 HAS SOUPS 458415 WITH SCORE 460030.172
AT ITER 1370 NEW BEST:: SOT 2786121 SOS 1614644 HAS SOPS 1599736 HAS SOUS 459677 HAS SOUPS 458011 WITH SCORE 459625.644
AT ITER 1384 NEW BEST:: SOT 2706313 SOS 1534574 HAS SOPS 1519666 HAS SOUS 444710 HAS SOUPS 443044 WITH SCORE 444578.574
AT ITER 1393 NEW BEST:: SOT 2706288 SOS 1534524 HAS SOPS 1519616 HAS SOUS 444710 HAS SOUPS 443044 WITH SCORE 444578.524
AT ITER 1401 NEW BEST:: SOT 2704368 SOS 1532500 HAS SOPS 1517592 HAS SOUS 442732 HAS SOUPS 441066 WITH SCORE 442598.5
AT ITER 1406 NEW BEST:: SOT 2704171 SOS 1532303 HAS SOPS 1517395 HAS SOUS 442645 HAS SOUPS 440979 WITH SCORE 442511.303
AT ITER 1408 NEW BEST:: SOT 2704131 SOS 1532263 HAS SOPS 1517389 HAS SOUS 442490 HAS SOUPS 440824 WITH SCORE 442356.263
AT ITER 1416 NEW BEST:: SOT 2704145 SOS 1532298 HAS SOPS 1517424 HAS SOUS 442476 HAS SOUPS 440810 WITH SCORE 442342.298
AT ITER 1432 NEW BEST:: SOT 2704116 SOS 1532178 HAS SOPS 1517304 HAS SOUS 442298 HAS SOUPS 440632 WITH SCORE 442164.178
AT ITER 1445 NEW BEST:: SOT 2704047 SOS 1532044 HAS SOPS 1517170 HAS SOUS 442269 HAS SOUPS 440603 WITH SCORE 442135.044
AT ITER 1446 NEW BEST:: SOT 2704047 SOS 1531837 HAS SOPS 1516963 HAS SOUS 441944 HAS SOUPS 440278 WITH SCORE 441809.837
AT ITER 1456 NEW BEST:: SOT 2704042 SOS 1531835 HAS SOPS 1516961 HAS SOUS 441934 HAS SOUPS 440268 WITH SCORE 441799.835
AT ITER 1464 NEW BEST:: SOT 2704022 SOS 1531815 HAS SOPS 1516941 HAS SOUS 441914 HAS SOUPS 440248 WITH SCORE 441779.815
AT ITER 1473 NEW BEST:: SOT 2704001 SOS 1531812 HAS SOPS 1516938 HAS SOUS 441872 HAS SOUPS 440206 WITH SCORE 441737.812
AT ITER 1476 NEW BEST:: SOT 2703989 SOS 1531758 HAS SOPS 1516884 HAS SOUS 441818 HAS SOUPS 440152 WITH SCORE 441683.758
AT ITER 1496 NEW BEST:: SOT 2703945 SOS 1531770 HAS SOPS 1516910 HAS SOUS 441768 HAS SOUPS 440102 WITH SCORE 441633.77
AT ITER 1498 NEW BEST:: SOT 2703923 SOS 1531748 HAS SOPS 1516888 HAS SOUS 441680 HAS SOUPS 440014 WITH SCORE 441545.748
AT ITER 1500 NEW BEST:: SOT 2703892 SOS 1531686 HAS SOPS 1516826 HAS SOUS 441616 HAS SOUPS 439950 WITH SCORE 441481.686
AT ITER 1508 NEW BEST:: SOT 2711614 SOS 1539408 HAS SOPS 1524548 HAS SOUS 441162 HAS SOUPS 439496 WITH SCORE 441035.408
AT ITER 1535 NEW BEST:: SOT 2711256 SOS 1539143 HAS SOPS 1524283 HAS SOUS 440777 HAS SOUPS 439111 WITH SCORE 440650.143
AT ITER 1544 NEW BEST:: SOT 2711216 SOS 1539103 HAS SOPS 1524203 HAS SOUS 440645 HAS SOUPS 438977 WITH SCORE 440516.103
AT ITER 1549 NEW BEST:: SOT 2710962 SOS 1538297 HAS SOPS 1523397 HAS SOUS 439603 HAS SOUPS 437935 WITH SCORE 439473.297
AT ITER 1551 NEW BEST:: SOT 2658150 SOS 1525331 HAS SOPS 1510431 HAS SOUS 431608 HAS SOUPS 429940 WITH SCORE 431465.331
AT ITER 1566 NEW BEST:: SOT 2657972 SOS 1525153 HAS SOPS 1510253 HAS SOUS 431519 HAS SOUPS 429851 WITH SCORE 431376.153
AT ITER 1581 NEW BEST:: SOT 2657989 SOS 1525170 HAS SOPS 1510270 HAS SOUS 431374 HAS SOUPS 429706 WITH SCORE 431231.17
AT ITER 1596 NEW BEST:: SOT 2651444 SOS 1518625 HAS SOPS 1503725 HAS SOUS 429997 HAS SOUPS 428329 WITH SCORE 429847.625
AT ITER 1599 NEW BEST:: SOT 2650849 SOS 1518023 HAS SOPS 1503123 HAS SOUS 429926 HAS SOUPS 428258 WITH SCORE 429776.023
AT ITER 1601 NEW BEST:: SOT 2650849 SOS 1518007 HAS SOPS 1503091 HAS SOUS 429910 HAS SOUPS 428242 WITH SCORE 429760.007
AT ITER 1602 NEW BEST:: SOT 2650808 SOS 1517960 HAS SOPS 1503044 HAS SOUS 429881 HAS SOUPS 428213 WITH SCORE 429730.96
AT ITER 1611 NEW BEST:: SOT 2650784 SOS 1518012 HAS SOPS 1503096 HAS SOUS 429611 HAS SOUPS 427943 WITH SCORE 429461.012
AT ITER 1614 NEW BEST:: SOT 2650784 SOS 1518012 HAS SOPS 1503132 HAS SOUS 429539 HAS SOUPS 427871 WITH SCORE 429389.012
AT ITER 1623 NEW BEST:: SOT 2650387 SOS 1517704 HAS SOPS 1502824 HAS SOUS 429167 HAS SOUPS 427499 WITH SCORE 429016.704
AT ITER 1625 NEW BEST:: SOT 2650231 SOS 1517444 HAS SOPS 1502564 HAS SOUS 428959 HAS SOUPS 427291 WITH SCORE 428808.444
AT ITER 1632 NEW BEST:: SOT 2649794 SOS 1517137 HAS SOPS 1502257 HAS SOUS 428494 HAS SOUPS 426826 WITH SCORE 428343.137
AT ITER 1643 NEW BEST:: SOT 2623261 SOS 1490604 HAS SOPS 1475724 HAS SOUS 424193 HAS SOUPS 422525 WITH SCORE 424015.604
AT ITER 1647 NEW BEST:: SOT 2623394 SOS 1490789 HAS SOPS 1475909 HAS SOUS 424159 HAS SOUPS 422491 WITH SCORE 423981.789
AT ITER 1648 NEW BEST:: SOT 2622897 SOS 1490292 HAS SOPS 1475412 HAS SOUS 423405 HAS SOUPS 421737 WITH SCORE 423227.292
AT ITER 1661 NEW BEST:: SOT 2622897 SOS 1490251 HAS SOPS 1475371 HAS SOUS 423382 HAS SOUPS 421714 WITH SCORE 423204.251
AT ITER 1670 NEW BEST:: SOT 2622835 SOS 1490127 HAS SOPS 1475247 HAS SOUS 423258 HAS SOUPS 421590 WITH SCORE 423080.127
AT ITER 1687 NEW BEST:: SOT 2621730 SOS 1489012 HAS SOPS 1474132 HAS SOUS 422649 HAS SOUPS 420981 WITH SCORE 422470.012
AT ITER 1696 NEW BEST:: SOT 2620800 SOS 1488265 HAS SOPS 1473385 HAS SOUS 421836 HAS SOUPS 420168 WITH SCORE 421656.265
AT ITER 1700 NEW BEST:: SOT 2620730 SOS 1487901 HAS SOPS 1473021 HAS SOUS 421598 HAS SOUPS 419930 WITH SCORE 421417.901
AT ITER 1704 NEW BEST:: SOT 2620571 SOS 1487779 HAS SOPS 1472899 HAS SOUS 421529 HAS SOUPS 419861 WITH SCORE 421348.779
AT ITER 1707 NEW BEST:: SOT 2620146 SOS 1487354 HAS SOPS 1472474 HAS SOUS 421104 HAS SOUPS 419436 WITH SCORE 420923.354
AT ITER 1711 NEW BEST:: SOT 2620203 SOS 1487478 HAS SOPS 1472598 HAS SOUS 421084 HAS SOUPS 419416 WITH SCORE 420903.478
AT ITER 1715 NEW BEST:: SOT 2619899 SOS 1486851 HAS SOPS 1472093 HAS SOUS 420826 HAS SOUPS 419158 WITH SCORE 420644.851
AT ITER 1722 NEW BEST:: SOT 2619880 SOS 1486832 HAS SOPS 1472074 HAS SOUS 420807 HAS SOUPS 419139 WITH SCORE 420625.832
AT ITER 1728 NEW BEST:: SOT 2621658 SOS 1488659 HAS SOPS 1473901 HAS SOUS 419483 HAS SOUPS 417815 WITH SCORE 419303.659
AT ITER 1758 NEW BEST:: SOT 2621555 SOS 1488556 HAS SOPS 1473798 HAS SOUS 419463 HAS SOUPS 417795 WITH SCORE 419283.556
AT ITER 1779 NEW BEST:: SOT 2621490 SOS 1488471 HAS SOPS 1473713 HAS SOUS 419333 HAS SOUPS 417665 WITH SCORE 419153.471
AT ITER 1781 NEW BEST:: SOT 2621470 SOS 1488421 HAS SOPS 1473663 HAS SOUS 419185 HAS SOUPS 417517 WITH SCORE 419005.421
AT ITER 1784 NEW BEST:: SOT 2620477 SOS 1487461 HAS SOPS 1468983 HAS SOUS 418984 HAS SOUPS 416944 WITH SCORE 418431.461
AT ITER 1793 NEW BEST:: SOT 2620461 SOS 1487429 HAS SOPS 1468951 HAS SOUS 418952 HAS SOUPS 416912 WITH SCORE 418399.429
AT ITER 1802 NEW BEST:: SOT 2620220 SOS 1486977 HAS SOPS 1468611 HAS SOUS 418846 HAS SOUPS 416806 WITH SCORE 418292.977
AT ITER 1806 NEW BEST:: SOT 2619705 SOS 1486552 HAS SOPS 1468186 HAS SOUS 418247 HAS SOUPS 416207 WITH SCORE 417693.552
AT ITER 1813 NEW BEST:: SOT 2621425 SOS 1488794 HAS SOPS 1470428 HAS SOUS 417459 HAS SOUPS 415419 WITH SCORE 416907.794
AT ITER 1815 NEW BEST:: SOT 2623982 SOS 1451727 HAS SOPS 1433361 HAS SOUS 415239 HAS SOUPS 413199 WITH SCORE 414650.727
AT ITER 1822 NEW BEST:: SOT 2623886 SOS 1413347 HAS SOPS 1394981 HAS SOUS 415207 HAS SOUPS 413167 WITH SCORE 414580.347
AT ITER 1836 NEW BEST:: SOT 2623848 SOS 1413309 HAS SOPS 1394943 HAS SOUS 415169 HAS SOUPS 413129 WITH SCORE 414542.309
AT ITER 1840 NEW BEST:: SOT 2623805 SOS 1413266 HAS SOPS 1394900 HAS SOUS 415105 HAS SOUPS 413065 WITH SCORE 414478.266
AT ITER 1851 NEW BEST:: SOT 2623755 SOS 1413188 HAS SOPS 1394939 HAS SOUS 415001 HAS SOUPS 412961 WITH SCORE 414374.188
AT ITER 1867 NEW BEST:: SOT 2623636 SOS 1413069 HAS SOPS 1394843 HAS SOUS 414889 HAS SOUPS 412849 WITH SCORE 414262.069
AT ITER 1899 NEW BEST:: SOT 2623424 SOS 1412857 HAS SOPS 1394631 HAS SOUS 414788 HAS SOUPS 412748 WITH SCORE 414160.857
AT ITER 1909 NEW BEST:: SOT 2623206 SOS 1412325 HAS SOPS 1394099 HAS SOUS 414557 HAS SOUPS 412517 WITH SCORE 413929.325
AT ITER 1911 NEW BEST:: SOT 2623146 SOS 1412255 HAS SOPS 1394029 HAS SOUS 414437 HAS SOUPS 412397 WITH SCORE 413809.255
AT ITER 1921 NEW BEST:: SOT 2623088 SOS 1412187 HAS SOPS 1393961 HAS SOUS 414321 HAS SOUPS 412281 WITH SCORE 413693.187
AT ITER 1932 NEW BEST:: SOT 2623073 SOS 1411957 HAS SOPS 1393731 HAS SOUS 414091 HAS SOUPS 412051 WITH SCORE 413462.957
AT ITER 1933 NEW BEST:: SOT 2601517 SOS 1390401 HAS SOPS 1372175 HAS SOUS 411452 HAS SOUPS 409412 WITH SCORE 410802.401
AT ITER 1943 NEW BEST:: SOT 2601031 SOS 1390015 HAS SOPS 1371789 HAS SOUS 410841 HAS SOUPS 408801 WITH SCORE 410191.015
AT ITER 1945 NEW BEST:: SOT 2547968 SOS 1365204 HAS SOPS 1346978 HAS SOUS 408546 HAS SOUPS 406506 WITH SCORE 407871.204
AT ITER 1946 NEW BEST:: SOT 2548002 SOS 1365142 HAS SOPS 1346859 HAS SOUS 408475 HAS SOUPS 406435 WITH SCORE 407800.142
AT ITER 1959 NEW BEST:: SOT 2548045 SOS 1365182 HAS SOPS 1346899 HAS SOUS 408253 HAS SOUPS 406213 WITH SCORE 407578.182
AT ITER 1960 NEW BEST:: SOT 2545079 SOS 1362028 HAS SOPS 1343745 HAS SOUS 407022 HAS SOUPS 404982 WITH SCORE 406344.028
AT ITER 1967 NEW BEST:: SOT 2545017 SOS 1361956 HAS SOPS 1343673 HAS SOUS 406901 HAS SOUPS 404861 WITH SCORE 406222.956
AT ITER 1972 NEW BEST:: SOT 2545294 SOS 1362056 HAS SOPS 1343616 HAS SOUS 406790 HAS SOUPS 404750 WITH SCORE 406112.056
AT ITER 1979 NEW BEST:: SOT 2546437 SOS 1363771 HAS SOPS 1345331 HAS SOUS 403192 HAS SOUPS 401152 WITH SCORE 402515.771
AT ITER 1984 NEW BEST:: SOT 2546839 SOS 1364469 HAS SOPS 1346029 HAS SOUS 403052 HAS SOUPS 401012 WITH SCORE 402376.469
AT ITER 2002 NEW BEST:: SOT 2546839 SOS 1352736 HAS SOPS 1334296 HAS SOUS 403047 HAS SOUPS 401007 WITH SCORE 402359.736
AT ITER 2005 NEW BEST:: SOT 2546849 SOS 1352746 HAS SOPS 1334306 HAS SOUS 403034 HAS SOUPS 400994 WITH SCORE 402346.746
AT ITER 2014 NEW BEST:: SOT 2546726 SOS 1352391 HAS SOPS 1333835 HAS SOUS 402941 HAS SOUPS 400901 WITH SCORE 402253.391
AT ITER 2022 NEW BEST:: SOT 2550701 SOS 1356366 HAS SOPS 1337810 HAS SOUS 402301 HAS SOUPS 400261 WITH SCORE 401617.366
AT ITER 2037 NEW BEST:: SOT 2550666 SOS 1356104 HAS SOPS 1337548 HAS SOUS 402231 HAS SOUPS 400191 WITH SCORE 401547.104
AT ITER 2055 NEW BEST:: SOT 2550790 SOS 1355687 HAS SOPS 1337131 HAS SOUS 402165 HAS SOUPS 400125 WITH SCORE 401480.687
AT ITER 2058 NEW BEST:: SOT 2550690 SOS 1355587 HAS SOPS 1337031 HAS SOUS 401917 HAS SOUPS 399877 WITH SCORE 401232.587
AT ITER 2065 NEW BEST:: SOT 2550555 SOS 1355407 HAS SOPS 1336851 HAS SOUS 401692 HAS SOUPS 399652 WITH SCORE 401007.407
AT ITER 2071 NEW BEST:: SOT 2550627 SOS 1355775 HAS SOPS 1337219 HAS SOUS 401691 HAS SOUPS 399651 WITH SCORE 401006.775
AT ITER 2074 NEW BEST:: SOT 2550617 SOS 1355765 HAS SOPS 1337199 HAS SOUS 401661 HAS SOUPS 399621 WITH SCORE 400976.765
AT ITER 2090 NEW BEST:: SOT 2558010 SOS 1363167 HAS SOPS 1344601 HAS SOUS 401094 HAS SOUPS 399054 WITH SCORE 400417.167
AT ITER 2096 NEW BEST:: SOT 2557995 SOS 1362980 HAS SOPS 1344412 HAS SOUS 401064 HAS SOUPS 399024 WITH SCORE 400386.98
AT ITER 2104 NEW BEST:: SOT 2557981 SOS 1362952 HAS SOPS 1344384 HAS SOUS 401036 HAS SOUPS 398996 WITH SCORE 400358.952
AT ITER 2107 NEW BEST:: SOT 2557963 SOS 1362934 HAS SOPS 1344366 HAS SOUS 401036 HAS SOUPS 398996 WITH SCORE 400358.934
AT ITER 2108 NEW BEST:: SOT 2557197 SOS 1362838 HAS SOPS 1344270 HAS SOUS 400282 HAS SOUPS 398242 WITH SCORE 399604.838
AT ITER 2111 NEW BEST:: SOT 2557197 SOS 1362682 HAS SOPS 1344114 HAS SOUS 400276 HAS SOUPS 398236 WITH SCORE 399598.682
AT ITER 2112 NEW BEST:: SOT 2557106 SOS 1362591 HAS SOPS 1344023 HAS SOUS 400217 HAS SOUPS 398177 WITH SCORE 399539.591
AT ITER 2136 NEW BEST:: SOT 2557129 SOS 1362614 HAS SOPS 1344046 HAS SOUS 400204 HAS SOUPS 398164 WITH SCORE 399526.614
AT ITER 2146 NEW BEST:: SOT 2557051 SOS 1362523 HAS SOPS 1343955 HAS SOUS 400113 HAS SOUPS 398073 WITH SCORE 399435.523
AT ITER 2153 NEW BEST:: SOT 2555229 SOS 1361059 HAS SOPS 1342491 HAS SOUS 398770 HAS SOUPS 396730 WITH SCORE 398091.059
AT ITER 2186 NEW BEST:: SOT 2555009 SOS 1360448 HAS SOPS 1342295 HAS SOUS 398319 HAS SOUPS 396567 WITH SCORE 397927.448
AT ITER 2190 NEW BEST:: SOT 2556271 SOS 1362126 HAS SOPS 1343973 HAS SOUS 395598 HAS SOUPS 393846 WITH SCORE 395208.126
AT ITER 2202 NEW BEST:: SOT 2554272 SOS 1360197 HAS SOPS 1342044 HAS SOUS 394608 HAS SOUPS 392856 WITH SCORE 394216.197
AT ITER 2203 NEW BEST:: SOT 2554084 SOS 1360433 HAS SOPS 1342303 HAS SOUS 394501 HAS SOUPS 392752 WITH SCORE 394112.433
AT ITER 2227 NEW BEST:: SOT 2553906 SOS 1360255 HAS SOPS 1342125 HAS SOUS 394178 HAS SOUPS 392429 WITH SCORE 393789.255
AT ITER 2231 NEW BEST:: SOT 2553874 SOS 1360223 HAS SOPS 1342093 HAS SOUS 394130 HAS SOUPS 392381 WITH SCORE 393741.223
AT ITER 2234 NEW BEST:: SOT 2553724 SOS 1360073 HAS SOPS 1341943 HAS SOUS 393878 HAS SOUPS 392129 WITH SCORE 393489.073
AT ITER 2239 NEW BEST:: SOT 2553396 SOS 1359703 HAS SOPS 1341573 HAS SOUS 393824 HAS SOUPS 392075 WITH SCORE 393434.703
AT ITER 2247 NEW BEST:: SOT 2553396 SOS 1359677 HAS SOPS 1341547 HAS SOUS 393824 HAS SOUPS 392075 WITH SCORE 393434.677
AT ITER 2258 NEW BEST:: SOT 2552972 SOS 1358842 HAS SOPS 1340712 HAS SOUS 393581 HAS SOUPS 391832 WITH SCORE 393190.842
AT ITER 2270 NEW BEST:: SOT 2552935 SOS 1358805 HAS SOPS 1340675 HAS SOUS 393507 HAS SOUPS 391758 WITH SCORE 393116.805
AT ITER 2278 NEW BEST:: SOT 2552683 SOS 1358469 HAS SOPS 1340339 HAS SOUS 393171 HAS SOUPS 391422 WITH SCORE 392780.469
AT ITER 2302 NEW BEST:: SOT 2552303 SOS 1358183 HAS SOPS 1340053 HAS SOUS 392741 HAS SOUPS 390992 WITH SCORE 392350.183
AT ITER 2308 NEW BEST:: SOT 2552325 SOS 1358293 HAS SOPS 1340163 HAS SOUS 392740 HAS SOUPS 390991 WITH SCORE 392349.293
AT ITER 2315 NEW BEST:: SOT 2552147 SOS 1357818 HAS SOPS 1339688 HAS SOUS 392337 HAS SOUPS 390588 WITH SCORE 391945.818
AT ITER 2335 NEW BEST:: SOT 2551863 SOS 1357551 HAS SOPS 1339421 HAS SOUS 392214 HAS SOUPS 390465 WITH SCORE 391822.551
AT ITER 2340 NEW BEST:: SOT 2551980 SOS 1357333 HAS SOPS 1339203 HAS SOUS 391925 HAS SOUPS 390176 WITH SCORE 391533.333
AT ITER 2353 NEW BEST:: SOT 2552034 SOS 1357551 HAS SOPS 1339421 HAS SOUS 391901 HAS SOUPS 390152 WITH SCORE 391509.551
AT ITER 2361 NEW BEST:: SOT 2552004 SOS 1357521 HAS SOPS 1339401 HAS SOUS 391821 HAS SOUPS 390072 WITH SCORE 391429.521
AT ITER 2381 NEW BEST:: SOT 2552008 SOS 1357214 HAS SOPS 1339417 HAS SOUS 391804 HAS SOUPS 390066 WITH SCORE 391423.214
AT ITER 2401 NEW BEST:: SOT 2551988 SOS 1357194 HAS SOPS 1339397 HAS SOUS 391784 HAS SOUPS 390046 WITH SCORE 391403.194
AT ITER 2406 NEW BEST:: SOT 2551973 SOS 1357179 HAS SOPS 1339382 HAS SOUS 391754 HAS SOUPS 390016 WITH SCORE 391373.179
AT ITER 2411 NEW BEST:: SOT 2551875 SOS 1357081 HAS SOPS 1339284 HAS SOUS 391702 HAS SOUPS 389964 WITH SCORE 391321.081
AT ITER 2448 NEW BEST:: SOT 2551855 SOS 1357044 HAS SOPS 1339247 HAS SOUS 391623 HAS SOUPS 389885 WITH SCORE 391242.044
AT ITER 2456 NEW BEST:: SOT 2551772 SOS 1356922 HAS SOPS 1339320 HAS SOUS 391494 HAS SOUPS 389868 WITH SCORE 391224.922
AT ITER 2461 NEW BEST:: SOT 2549738 SOS 1354888 HAS SOPS 1337286 HAS SOUS 391092 HAS SOUPS 389466 WITH SCORE 390820.888
AT ITER 2470 NEW BEST:: SOT 2549627 SOS 1354837 HAS SOPS 1337235 HAS SOUS 390792 HAS SOUPS 389166 WITH SCORE 390520.837
AT ITER 2473 NEW BEST:: SOT 2549669 SOS 1354942 HAS SOPS 1337340 HAS SOUS 390737 HAS SOUPS 389111 WITH SCORE 390465.942
AT ITER 2477 NEW BEST:: SOT 2549483 SOS 1354756 HAS SOPS 1337154 HAS SOUS 390332 HAS SOUPS 388706 WITH SCORE 390060.756
AT ITER 2503 NEW BEST:: SOT 2549374 SOS 1354519 HAS SOPS 1336917 HAS SOUS 390134 HAS SOUPS 388508 WITH SCORE 389862.519
AT ITER 2507 NEW BEST:: SOT 2549388 SOS 1354533 HAS SOPS 1336931 HAS SOUS 390085 HAS SOUPS 388459 WITH SCORE 389813.533
AT ITER 2512 NEW BEST:: SOT 2549388 SOS 1354433 HAS SOPS 1336781 HAS SOUS 389985 HAS SOUPS 388359 WITH SCORE 389713.433
AT ITER 2533 NEW BEST:: SOT 2549388 SOS 1354388 HAS SOPS 1336736 HAS SOUS 389985 HAS SOUPS 388359 WITH SCORE 389713.388
AT ITER 2542 NEW BEST:: SOT 2549388 SOS 1354388 HAS SOPS 1336736 HAS SOUS 389893 HAS SOUPS 388267 WITH SCORE 389621.388
AT ITER 2545 NEW BEST:: SOT 2549045 SOS 1354062 HAS SOPS 1336410 HAS SOUS 389714 HAS SOUPS 388088 WITH SCORE 389442.062
AT ITER 2551 NEW BEST:: SOT 2549037 SOS 1354026 HAS SOPS 1336374 HAS SOUS 389670 HAS SOUPS 388044 WITH SCORE 389398.026
AT ITER 2562 NEW BEST:: SOT 2548965 SOS 1353954 HAS SOPS 1336302 HAS SOUS 389518 HAS SOUPS 387892 WITH SCORE 389245.954
AT ITER 2567 NEW BEST:: SOT 2548967 SOS 1353951 HAS SOPS 1336299 HAS SOUS 386310 HAS SOUPS 384684 WITH SCORE 386037.951
AT ITER 2569 NEW BEST:: SOT 2548959 SOS 1353903 HAS SOPS 1336251 HAS SOUS 386310 HAS SOUPS 384684 WITH SCORE 386037.903
AT ITER 2584 NEW BEST:: SOT 2548961 SOS 1353905 HAS SOPS 1336255 HAS SOUS 386230 HAS SOUPS 384604 WITH SCORE 385957.905
AT ITER 2585 NEW BEST:: SOT 2548961 SOS 1353912 HAS SOPS 1336262 HAS SOUS 386223 HAS SOUPS 384597 WITH SCORE 385950.912
AT ITER 2588 NEW BEST:: SOT 2548899 SOS 1353850 HAS SOPS 1336275 HAS SOUS 386080 HAS SOUPS 384454 WITH SCORE 385807.85
AT ITER 2590 NEW BEST:: SOT 2548899 SOS 1336245 HAS SOPS 1318670 HAS SOUS 386080 HAS SOUPS 384454 WITH SCORE 385790.245
AT ITER 2593 NEW BEST:: SOT 2549259 SOS 1336887 HAS SOPS 1319312 HAS SOUS 383416 HAS SOUPS 381790 WITH SCORE 383126.887
AT ITER 2640 NEW BEST:: SOT 2549247 SOS 1336869 HAS SOPS 1319306 HAS SOUS 383395 HAS SOUPS 381769 WITH SCORE 383105.869
AT ITER 2652 NEW BEST:: SOT 2549229 SOS 1336826 HAS SOPS 1319263 HAS SOUS 383384 HAS SOUPS 381758 WITH SCORE 383094.826
AT ITER 2665 NEW BEST:: SOT 2549229 SOS 1336789 HAS SOPS 1319226 HAS SOUS 383384 HAS SOUPS 381758 WITH SCORE 383094.789
AT ITER 2672 NEW BEST:: SOT 2548976 SOS 1335939 HAS SOPS 1318376 HAS SOUS 383053 HAS SOUPS 381427 WITH SCORE 382762.939
AT ITER 2733 NEW BEST:: SOT 2548796 SOS 1335818 HAS SOPS 1318255 HAS SOUS 382870 HAS SOUPS 381244 WITH SCORE 382579.818
AT ITER 2743 NEW BEST:: SOT 2548758 SOS 1336261 HAS SOPS 1318717 HAS SOUS 382841 HAS SOUPS 381215 WITH SCORE 382551.261
AT ITER 2746 NEW BEST:: SOT 2548666 SOS 1336169 HAS SOPS 1318625 HAS SOUS 382749 HAS SOUPS 381123 WITH SCORE 382459.169
AT ITER 2747 NEW BEST:: SOT 2548236 SOS 1335805 HAS SOPS 1318261 HAS SOUS 382121 HAS SOUPS 380495 WITH SCORE 381830.805
AT ITER 2760 NEW BEST:: SOT 2548120 SOS 1335660 HAS SOPS 1318116 HAS SOUS 381396 HAS SOUPS 379770 WITH SCORE 381105.66
AT ITER 2765 NEW BEST:: SOT 2548054 SOS 1335572 HAS SOPS 1318028 HAS SOUS 381396 HAS SOUPS 379770 WITH SCORE 381105.572
AT ITER 2772 NEW BEST:: SOT 2548053 SOS 1335570 HAS SOPS 1318026 HAS SOUS 381394 HAS SOUPS 379768 WITH SCORE 381103.57
AT ITER 2791 NEW BEST:: SOT 2547180 SOS 1334906 HAS SOPS 1317362 HAS SOUS 380790 HAS SOUPS 379164 WITH SCORE 380498.906
AT ITER 2796 NEW BEST:: SOT 2547135 SOS 1334729 HAS SOPS 1316960 HAS SOUS 380795 HAS SOUPS 379047 WITH SCORE 380381.729
AT ITER 2803 NEW BEST:: SOT 2547123 SOS 1334717 HAS SOPS 1316910 HAS SOUS 380763 HAS SOUPS 379015 WITH SCORE 380349.717
AT ITER 2805 NEW BEST:: SOT 2547127 SOS 1334721 HAS SOPS 1316944 HAS SOUS 380677 HAS SOUPS 378929 WITH SCORE 380263.721
AT ITER 2807 NEW BEST:: SOT 2540768 SOS 1328362 HAS SOPS 1310585 HAS SOUS 377429 HAS SOUPS 375681 WITH SCORE 377009.362
AT ITER 2813 NEW BEST:: SOT 2540761 SOS 1328348 HAS SOPS 1310571 HAS SOUS 377415 HAS SOUPS 375667 WITH SCORE 376995.348
AT ITER 2827 NEW BEST:: SOT 2540755 SOS 1328342 HAS SOPS 1310565 HAS SOUS 377403 HAS SOUPS 375655 WITH SCORE 376983.342
AT ITER 2836 NEW BEST:: SOT 2540743 SOS 1328330 HAS SOPS 1310553 HAS SOUS 377386 HAS SOUPS 375638 WITH SCORE 376966.33
AT ITER 2852 NEW BEST:: SOT 2540762 SOS 1328349 HAS SOPS 1310572 HAS SOUS 377306 HAS SOUPS 375558 WITH SCORE 376886.349
AT ITER 2858 NEW BEST:: SOT 2533475 SOS 1321062 HAS SOPS 1303285 HAS SOUS 376778 HAS SOUPS 375030 WITH SCORE 376351.062
AT ITER 2863 NEW BEST:: SOT 2533468 SOS 1321055 HAS SOPS 1303278 HAS SOUS 376771 HAS SOUPS 375023 WITH SCORE 376344.055
AT ITER 2865 NEW BEST:: SOT 2520243 SOS 1307830 HAS SOPS 1290053 HAS SOUS 374154 HAS SOUPS 372406 WITH SCORE 373713.83
AT ITER 2867 NEW BEST:: SOT 2520311 SOS 1307898 HAS SOPS 1290121 HAS SOUS 374137 HAS SOUPS 372389 WITH SCORE 373696.898
AT ITER 2868 NEW BEST:: SOT 2520305 SOS 1307892 HAS SOPS 1290115 HAS SOUS 374131 HAS SOUPS 372383 WITH SCORE 373690.892
AT ITER 2870 NEW BEST:: SOT 2498245 SOS 1285832 HAS SOPS 1268055 HAS SOUS 369688 HAS SOUPS 367940 WITH SCORE 369225.832
AT ITER 2885 NEW BEST:: SOT 2498005 SOS 1285537 HAS SOPS 1267760 HAS SOUS 369342 HAS SOUPS 367594 WITH SCORE 368879.537
AT ITER 2905 NEW BEST:: SOT 2497988 SOS 1285690 HAS SOPS 1267913 HAS SOUS 369325 HAS SOUPS 367577 WITH SCORE 368862.69
AT ITER 2907 NEW BEST:: SOT 2498694 SOS 1285690 HAS SOPS 1267913 HAS SOUS 369229 HAS SOUPS 367481 WITH SCORE 368766.69
AT ITER 2909 NEW BEST:: SOT 2505394 SOS 1291608 HAS SOPS 1273831 HAS SOUS 368649 HAS SOUPS 366901 WITH SCORE 368192.608
AT ITER 2914 NEW BEST:: SOT 2505394 SOS 1291628 HAS SOPS 1273851 HAS SOUS 368619 HAS SOUPS 366871 WITH SCORE 368162.628
AT ITER 2916 NEW BEST:: SOT 2505458 SOS 1291692 HAS SOPS 1273960 HAS SOUS 368589 HAS SOUPS 366841 WITH SCORE 368132.692
AT ITER 2926 NEW BEST:: SOT 2503739 SOS 1290075 HAS SOPS 1272343 HAS SOUS 367203 HAS SOUPS 365455 WITH SCORE 366745.075
AT ITER 2930 NEW BEST:: SOT 2503609 SOS 1289980 HAS SOPS 1272248 HAS SOUS 367084 HAS SOUPS 365336 WITH SCORE 366625.98
AT ITER 2939 NEW BEST:: SOT 2503630 SOS 1290001 HAS SOPS 1272269 HAS SOUS 367049 HAS SOUPS 365301 WITH SCORE 366591.001
AT ITER 2955 NEW BEST:: SOT 2502800 SOS 1289362 HAS SOPS 1271630 HAS SOUS 366381 HAS SOUPS 364633 WITH SCORE 365922.362
AT ITER 2971 NEW BEST:: SOT 2502800 SOS 1289362 HAS SOPS 1271630 HAS SOUS 366290 HAS SOUPS 364542 WITH SCORE 365831.362
AT ITER 2977 NEW BEST:: SOT 2502874 SOS 1289219 HAS SOPS 1271580 HAS SOUS 366067 HAS SOUPS 364319 WITH SCORE 365608.219
AT ITER 2988 NEW BEST:: SOT 2502874 SOS 1289453 HAS SOPS 1271814 HAS SOUS 365950 HAS SOUPS 364202 WITH SCORE 365491.453
AT ITER 2989 NEW BEST:: SOT 2502757 SOS 1289336 HAS SOPS 1271697 HAS SOUS 365911 HAS SOUPS 364163 WITH SCORE 365452.336
AT ITER 2994 NEW BEST:: SOT 2502384 SOS 1288685 HAS SOPS 1271046 HAS SOUS 365280 HAS SOUPS 363532 WITH SCORE 364820.685
AT ITER 3008 NEW BEST:: SOT 2502299 SOS 1288609 HAS SOPS 1270970 HAS SOUS 365204 HAS SOUPS 363456 WITH SCORE 364744.609
AT ITER 3014 NEW BEST:: SOT 2502309 SOS 1288587 HAS SOPS 1270948 HAS SOUS 365129 HAS SOUPS 363381 WITH SCORE 364669.587
AT ITER 3026 NEW BEST:: SOT 2503479 SOS 1290076 HAS SOPS 1272743 HAS SOUS 362688 HAS SOUPS 360940 WITH SCORE 362230.076
AT ITER 3034 NEW BEST:: SOT 2502555 SOS 1289242 HAS SOPS 1271909 HAS SOUS 361745 HAS SOUPS 359997 WITH SCORE 361286.242
AT ITER 3036 NEW BEST:: SOT 2501739 SOS 1287808 HAS SOPS 1270131 HAS SOUS 360848 HAS SOUPS 359100 WITH SCORE 360387.808
AT ITER 3058 NEW BEST:: SOT 2501676 SOS 1287724 HAS SOPS 1270047 HAS SOUS 360764 HAS SOUPS 359016 WITH SCORE 360303.724
AT ITER 3071 NEW BEST:: SOT 2501668 SOS 1287708 HAS SOPS 1270031 HAS SOUS 360748 HAS SOUPS 359000 WITH SCORE 360287.708
AT ITER 3076 NEW BEST:: SOT 2501477 SOS 1287517 HAS SOPS 1269840 HAS SOUS 360538 HAS SOUPS 358790 WITH SCORE 360077.517
AT ITER 3085 NEW BEST:: SOT 2500885 SOS 1287078 HAS SOPS 1269401 HAS SOUS 360097 HAS SOUPS 358349 WITH SCORE 359636.078
AT ITER 3123 NEW BEST:: SOT 2501041 SOS 1287234 HAS SOPS 1269557 HAS SOUS 360073 HAS SOUPS 358325 WITH SCORE 359612.234
AT ITER 3138 NEW BEST:: SOT 2501167 SOS 1287730 HAS SOPS 1270053 HAS SOUS 359754 HAS SOUPS 358006 WITH SCORE 359293.73
AT ITER 3139 NEW BEST:: SOT 2501164 SOS 1287727 HAS SOPS 1270050 HAS SOUS 359751 HAS SOUPS 358003 WITH SCORE 359290.727
AT ITER 3141 NEW BEST:: SOT 2501164 SOS 1287711 HAS SOPS 1270034 HAS SOUS 359735 HAS SOUPS 357987 WITH SCORE 359274.711
AT ITER 3144 NEW BEST:: SOT 2501266 SOS 1287457 HAS SOPS 1269761 HAS SOUS 359631 HAS SOUPS 357883 WITH SCORE 359170.457
AT ITER 3146 NEW BEST:: SOT 2501239 SOS 1287439 HAS SOPS 1269743 HAS SOUS 359613 HAS SOUPS 357865 WITH SCORE 359152.439
AT ITER 3153 NEW BEST:: SOT 2501267 SOS 1287485 HAS SOPS 1269789 HAS SOUS 359559 HAS SOUPS 357811 WITH SCORE 359098.485
AT ITER 3154 NEW BEST:: SOT 2501246 SOS 1287464 HAS SOPS 1269799 HAS SOUS 359455 HAS SOUPS 357707 WITH SCORE 358994.464
AT ITER 3160 NEW BEST:: SOT 2501202 SOS 1287298 HAS SOPS 1269412 HAS SOUS 359126 HAS SOUPS 357378 WITH SCORE 358665.298
AT ITER 3181 NEW BEST:: SOT 2501142 SOS 1287178 HAS SOPS 1269292 HAS SOUS 359052 HAS SOUPS 357304 WITH SCORE 358591.178
AT ITER 3191 NEW BEST:: SOT 2501127 SOS 1287154 HAS SOPS 1269268 HAS SOUS 359037 HAS SOUPS 357289 WITH SCORE 358576.154
AT ITER 3192 NEW BEST:: SOT 2501103 SOS 1287130 HAS SOPS 1269261 HAS SOUS 359030 HAS SOUPS 357282 WITH SCORE 358569.13
AT ITER 3202 NEW BEST:: SOT 2501099 SOS 1287080 HAS SOPS 1269211 HAS SOUS 359022 HAS SOUPS 357274 WITH SCORE 358561.08
AT ITER 3229 NEW BEST:: SOT 2501414 SOS 1287478 HAS SOPS 1269609 HAS SOUS 357992 HAS SOUPS 356244 WITH SCORE 357531.478
AT ITER 3249 NEW BEST:: SOT 2501402 SOS 1287466 HAS SOPS 1269597 HAS SOUS 357980 HAS SOUPS 356232 WITH SCORE 357519.466
AT ITER 3256 NEW BEST:: SOT 2501372 SOS 1287436 HAS SOPS 1269567 HAS SOUS 357950 HAS SOUPS 356202 WITH SCORE 357489.436
AT ITER 3258 NEW BEST:: SOT 2500960 SOS 1286664 HAS SOPS 1268795 HAS SOUS 357085 HAS SOUPS 355337 WITH SCORE 356623.664
AT ITER 3261 NEW BEST:: SOT 2500945 SOS 1286614 HAS SOPS 1268745 HAS SOUS 356990 HAS SOUPS 355242 WITH SCORE 356528.614
AT ITER 3271 NEW BEST:: SOT 2501001 SOS 1286784 HAS SOPS 1268801 HAS SOUS 356890 HAS SOUPS 355130 WITH SCORE 356416.784
AT ITER 3280 NEW BEST:: SOT 2500762 SOS 1286545 HAS SOPS 1268562 HAS SOUS 356589 HAS SOUPS 354829 WITH SCORE 356115.545
AT ITER 3317 NEW BEST:: SOT 2500686 SOS 1286195 HAS SOPS 1268212 HAS SOUS 356393 HAS SOUPS 354633 WITH SCORE 355919.195
AT ITER 3357 NEW BEST:: SOT 2500654 SOS 1286163 HAS SOPS 1268180 HAS SOUS 356363 HAS SOUPS 354603 WITH SCORE 355889.163
AT ITER 3380 NEW BEST:: SOT 2500577 SOS 1286086 HAS SOPS 1268103 HAS SOUS 356213 HAS SOUPS 354453 WITH SCORE 355739.086
AT ITER 3430 NEW BEST:: SOT 2500418 SOS 1285441 HAS SOPS 1267458 HAS SOUS 355819 HAS SOUPS 354059 WITH SCORE 355344.441
AT ITER 3456 NEW BEST:: SOT 2500422 SOS 1285377 HAS SOPS 1267394 HAS SOUS 355759 HAS SOUPS 353999 WITH SCORE 355284.377
AT ITER 3457 NEW BEST:: SOT 2500422 SOS 1285351 HAS SOPS 1267368 HAS SOUS 355759 HAS SOUPS 353999 WITH SCORE 355284.351
AT ITER 3459 NEW BEST:: SOT 2500423 SOS 1285143 HAS SOPS 1267160 HAS SOUS 355457 HAS SOUPS 353697 WITH SCORE 354982.143
AT ITER 3461 NEW BEST:: SOT 2500176 SOS 1284908 HAS SOPS 1267042 HAS SOUS 355457 HAS SOUPS 353697 WITH SCORE 354981.908
AT ITER 3466 NEW BEST:: SOT 2500392 SOS 1285038 HAS SOPS 1267284 HAS SOUS 355425 HAS SOUPS 353655 WITH SCORE 354940.038
AT ITER 3475 NEW BEST:: SOT 2500395 SOS 1284788 HAS SOPS 1267011 HAS SOUS 355365 HAS SOUPS 353592 WITH SCORE 354876.788
AT ITER 3479 NEW BEST:: SOT 2500395 SOS 1284772 HAS SOPS 1266995 HAS SOUS 355365 HAS SOUPS 353592 WITH SCORE 354876.772
AT ITER 3483 NEW BEST:: SOT 2500357 SOS 1284804 HAS SOPS 1267027 HAS SOUS 355362 HAS SOUPS 353589 WITH SCORE 354873.804
AT ITER 3502 NEW BEST:: SOT 2500349 SOS 1284796 HAS SOPS 1267019 HAS SOUS 355354 HAS SOUPS 353581 WITH SCORE 354865.796
AT ITER 3514 NEW BEST:: SOT 2500330 SOS 1284715 HAS SOPS 1266919 HAS SOUS 355200 HAS SOUPS 353427 WITH SCORE 354711.715
AT ITER 3518 NEW BEST:: SOT 2500330 SOS 1284715 HAS SOPS 1266919 HAS SOUS 355140 HAS SOUPS 353367 WITH SCORE 354651.715
AT ITER 3533 NEW BEST:: SOT 2500233 SOS 1284618 HAS SOPS 1266822 HAS SOUS 355060 HAS SOUPS 353287 WITH SCORE 354571.618
AT ITER 3549 NEW BEST:: SOT 2500028 SOS 1284271 HAS SOPS 1266475 HAS SOUS 354835 HAS SOUPS 353062 WITH SCORE 354346.271
AT ITER 3575 NEW BEST:: SOT 2499686 SOS 1284101 HAS SOPS 1266305 HAS SOUS 354748 HAS SOUPS 352975 WITH SCORE 354259.101
AT ITER 3587 NEW BEST:: SOT 2499606 SOS 1283941 HAS SOPS 1266145 HAS SOUS 354588 HAS SOUPS 352815 WITH SCORE 354098.941
AT ITER 3590 NEW BEST:: SOT 2499559 SOS 1283894 HAS SOPS 1266098 HAS SOUS 354494 HAS SOUPS 352721 WITH SCORE 354004.894
AT ITER 3613 NEW BEST:: SOT 2499362 SOS 1283806 HAS SOPS 1266010 HAS SOUS 354101 HAS SOUPS 352328 WITH SCORE 353611.806
AT ITER 3630 NEW BEST:: SOT 2502819 SOS 1287263 HAS SOPS 1269467 HAS SOUS 352793 HAS SOUPS 351020 WITH SCORE 352307.263
AT ITER 3639 NEW BEST:: SOT 2502812 SOS 1287506 HAS SOPS 1269710 HAS SOUS 352779 HAS SOUPS 351006 WITH SCORE 352293.506
AT ITER 3647 NEW BEST:: SOT 2502763 SOS 1287408 HAS SOPS 1269612 HAS SOUS 352681 HAS SOUPS 350908 WITH SCORE 352195.408
AT ITER 3654 NEW BEST:: SOT 2502643 SOS 1287348 HAS SOPS 1269552 HAS SOUS 352501 HAS SOUPS 350728 WITH SCORE 352015.348
AT ITER 3657 NEW BEST:: SOT 2502723 SOS 1286996 HAS SOPS 1269108 HAS SOUS 352092 HAS SOUPS 350319 WITH SCORE 351605.996
AT ITER 3660 NEW BEST:: SOT 2502890 SOS 1287239 HAS SOPS 1269351 HAS SOUS 352043 HAS SOUPS 350270 WITH SCORE 351557.239
AT ITER 3665 NEW BEST:: SOT 2502742 SOS 1282614 HAS SOPS 1264726 HAS SOUS 351821 HAS SOUPS 350048 WITH SCORE 351330.614
AT ITER 3671 NEW BEST:: SOT 2502522 SOS 1282394 HAS SOPS 1264506 HAS SOUS 351601 HAS SOUPS 349828 WITH SCORE 351110.394
AT ITER 3674 NEW BEST:: SOT 2502445 SOS 1282317 HAS SOPS 1264429 HAS SOUS 351447 HAS SOUPS 349674 WITH SCORE 350956.317
AT ITER 3678 NEW BEST:: SOT 2502445 SOS 1282313 HAS SOPS 1264425 HAS SOUS 351447 HAS SOUPS 349674 WITH SCORE 350956.313
AT ITER 3679 NEW BEST:: SOT 2501089 SOS 1280691 HAS SOPS 1262803 HAS SOUS 349413 HAS SOUPS 347640 WITH SCORE 348920.691
AT ITER 3691 NEW BEST:: SOT 2501084 SOS 1280686 HAS SOPS 1262798 HAS SOUS 349406 HAS SOUPS 347633 WITH SCORE 348913.686
AT ITER 3697 NEW BEST:: SOT 2500994 SOS 1280596 HAS SOPS 1262708 HAS SOUS 349152 HAS SOUPS 347379 WITH SCORE 348659.596
AT ITER 3720 NEW BEST:: SOT 2500994 SOS 1280563 HAS SOPS 1262675 HAS SOUS 349152 HAS SOUPS 347379 WITH SCORE 348659.563
AT ITER 3756 NEW BEST:: SOT 2500963 SOS 1280532 HAS SOPS 1262644 HAS SOUS 349150 HAS SOUPS 347377 WITH SCORE 348657.532
AT ITER 3769 NEW BEST:: SOT 2500933 SOS 1280487 HAS SOPS 1262599 HAS SOUS 349105 HAS SOUPS 347332 WITH SCORE 348612.487
AT ITER 3777 NEW BEST:: SOT 2500517 SOS 1279859 HAS SOPS 1261971 HAS SOUS 348591 HAS SOUPS 346818 WITH SCORE 348097.859
AT ITER 3779 NEW BEST:: SOT 2500192 SOS 1279514 HAS SOPS 1261722 HAS SOUS 348422 HAS SOUPS 346649 WITH SCORE 347928.514
AT ITER 3781 NEW BEST:: SOT 2499906 SOS 1279146 HAS SOPS 1261354 HAS SOUS 347954 HAS SOUPS 346181 WITH SCORE 347460.146
AT ITER 3791 NEW BEST:: SOT 2499858 SOS 1278791 HAS SOPS 1260999 HAS SOUS 347858 HAS SOUPS 346085 WITH SCORE 347363.791
AT ITER 3811 NEW BEST:: SOT 2499842 SOS 1278775 HAS SOPS 1260983 HAS SOUS 347722 HAS SOUPS 345949 WITH SCORE 347227.775
AT ITER 3818 NEW BEST:: SOT 2499803 SOS 1278736 HAS SOPS 1260944 HAS SOUS 347683 HAS SOUPS 345910 WITH SCORE 347188.736
AT ITER 3820 NEW BEST:: SOT 2499737 SOS 1278618 HAS SOPS 1260826 HAS SOUS 347513 HAS SOUPS 345740 WITH SCORE 347018.618
AT ITER 3857 NEW BEST:: SOT 2499730 SOS 1278632 HAS SOPS 1260840 HAS SOUS 347499 HAS SOUPS 345726 WITH SCORE 347004.632
AT ITER 3882 NEW BEST:: SOT 2499690 SOS 1278558 HAS SOPS 1260766 HAS SOUS 347484 HAS SOUPS 345711 WITH SCORE 346989.558
AT ITER 3885 NEW BEST:: SOT 2499613 SOS 1278536 HAS SOPS 1260744 HAS SOUS 347209 HAS SOUPS 345436 WITH SCORE 346714.536
AT ITER 3906 NEW BEST:: SOT 2499515 SOS 1278441 HAS SOPS 1260369 HAS SOUS 347332 HAS SOUPS 345337 WITH SCORE 346615.441
AT ITER 3909 NEW BEST:: SOT 2499354 SOS 1226046 HAS SOPS 1207153 HAS SOUS 346055 HAS SOUPS 344035 WITH SCORE 345261.046
AT ITER 3919 NEW BEST:: SOT 2499371 SOS 1226044 HAS SOPS 1207151 HAS SOUS 345747 HAS SOUPS 343727 WITH SCORE 344953.044
AT ITER 3947 NEW BEST:: SOT 2499264 SOS 1225937 HAS SOPS 1207044 HAS SOUS 345640 HAS SOUPS 343620 WITH SCORE 344845.937
AT ITER 3948 NEW BEST:: SOT 2499096 SOS 1225811 HAS SOPS 1206918 HAS SOUS 345346 HAS SOUPS 343326 WITH SCORE 344551.811
AT ITER 3953 NEW BEST:: SOT 2499088 SOS 1225803 HAS SOPS 1206918 HAS SOUS 345338 HAS SOUPS 343318 WITH SCORE 344543.803
AT ITER 3968 NEW BEST:: SOT 2499071 SOS 1225786 HAS SOPS 1206901 HAS SOUS 345297 HAS SOUPS 343277 WITH SCORE 344502.786
AT ITER 3980 NEW BEST:: SOT 2498766 SOS 1225481 HAS SOPS 1206596 HAS SOUS 344785 HAS SOUPS 342765 WITH SCORE 343990.481
AT ITER 3989 NEW BEST:: SOT 2498766 SOS 1225432 HAS SOPS 1206547 HAS SOUS 344748 HAS SOUPS 342728 WITH SCORE 343953.432
AT ITER 4017 NEW BEST:: SOT 2498745 SOS 1225411 HAS SOPS 1206526 HAS SOUS 344727 HAS SOUPS 342707 WITH SCORE 343932.411
AT ITER 4018 NEW BEST:: SOT 2498582 SOS 1225248 HAS SOPS 1206363 HAS SOUS 344459 HAS SOUPS 342439 WITH SCORE 343664.248
AT ITER 4024 NEW BEST:: SOT 2498309 SOS 1224975 HAS SOPS 1206090 HAS SOUS 344315 HAS SOUPS 342295 WITH SCORE 343519.975
AT ITER 4068 NEW BEST:: SOT 2498365 SOS 1225024 HAS SOPS 1206139 HAS SOUS 344308 HAS SOUPS 342288 WITH SCORE 343513.024
AT ITER 4077 NEW BEST:: SOT 2497923 SOS 1224078 HAS SOPS 1205193 HAS SOUS 343750 HAS SOUPS 341730 WITH SCORE 342954.078
AT ITER 4083 NEW BEST:: SOT 2497419 SOS 1223574 HAS SOPS 1204689 HAS SOUS 343743 HAS SOUPS 341723 WITH SCORE 342946.574
AT ITER 4094 NEW BEST:: SOT 2497394 SOS 1223581 HAS SOPS 1204696 HAS SOUS 343693 HAS SOUPS 341673 WITH SCORE 342896.581
AT ITER 4099 NEW BEST:: SOT 2497284 SOS 1223461 HAS SOPS 1204576 HAS SOUS 343613 HAS SOUPS 341593 WITH SCORE 342816.461
AT ITER 4110 NEW BEST:: SOT 2497004 SOS 1223181 HAS SOPS 1204296 HAS SOUS 343294 HAS SOUPS 341274 WITH SCORE 342497.181
AT ITER 4123 NEW BEST:: SOT 2496827 SOS 1223004 HAS SOPS 1204119 HAS SOUS 343033 HAS SOUPS 341013 WITH SCORE 342236.004
AT ITER 4132 NEW BEST:: SOT 2496644 SOS 1222821 HAS SOPS 1203912 HAS SOUS 342737 HAS SOUPS 340717 WITH SCORE 341939.821
AT ITER 4133 NEW BEST:: SOT 2496500 SOS 1222677 HAS SOPS 1203768 HAS SOUS 342593 HAS SOUPS 340573 WITH SCORE 341795.677
AT ITER 4138 NEW BEST:: SOT 2496475 SOS 1222652 HAS SOPS 1203743 HAS SOUS 342568 HAS SOUPS 340548 WITH SCORE 341770.652
AT ITER 4141 NEW BEST:: SOT 2496289 SOS 1222466 HAS SOPS 1203557 HAS SOUS 342361 HAS SOUPS 340341 WITH SCORE 341563.466
AT ITER 4151 NEW BEST:: SOT 2496171 SOS 1222289 HAS SOPS 1203380 HAS SOUS 342184 HAS SOUPS 340164 WITH SCORE 341386.289
AT ITER 4168 NEW BEST:: SOT 2496123 SOS 1222241 HAS SOPS 1203332 HAS SOUS 342152 HAS SOUPS 340132 WITH SCORE 341354.241
AT ITER 4185 NEW BEST:: SOT 2496123 SOS 1222204 HAS SOPS 1203295 HAS SOUS 342152 HAS SOUPS 340132 WITH SCORE 341354.204
AT ITER 4222 NEW BEST:: SOT 2495988 SOS 1222114 HAS SOPS 1203205 HAS SOUS 341882 HAS SOUPS 339862 WITH SCORE 341084.114
AT ITER 4228 NEW BEST:: SOT 2495994 SOS 1222120 HAS SOPS 1203211 HAS SOUS 341858 HAS SOUPS 339838 WITH SCORE 341060.12
AT ITER 4235 NEW BEST:: SOT 2495559 SOS 1221348 HAS SOPS 1202439 HAS SOUS 341464 HAS SOUPS 339444 WITH SCORE 340665.348
AT ITER 4244 NEW BEST:: SOT 2484024 SOS 1209801 HAS SOPS 1190892 HAS SOUS 339167 HAS SOUPS 337147 WITH SCORE 338356.801
AT ITER 4248 NEW BEST:: SOT 2483915 SOS 1209642 HAS SOPS 1190733 HAS SOUS 339143 HAS SOUPS 337123 WITH SCORE 338332.642
AT ITER 4259 NEW BEST:: SOT 2483755 SOS 1209482 HAS SOPS 1190573 HAS SOUS 339101 HAS SOUPS 337081 WITH SCORE 338290.482
AT ITER 4265 NEW BEST:: SOT 2483765 SOS 1209492 HAS SOPS 1190583 HAS SOUS 338627 HAS SOUPS 336607 WITH SCORE 337816.492
AT ITER 4281 NEW BEST:: SOT 2483768 SOS 1209495 HAS SOPS 1190586 HAS SOUS 338625 HAS SOUPS 336605 WITH SCORE 337814.495
AT ITER 4292 NEW BEST:: SOT 2483699 SOS 1209389 HAS SOPS 1190480 HAS SOUS 338598 HAS SOUPS 336578 WITH SCORE 337787.389
AT ITER 4295 NEW BEST:: SOT 2484366 SOS 1210198 HAS SOPS 1191289 HAS SOUS 338512 HAS SOUPS 336492 WITH SCORE 337702.198
AT ITER 4308 NEW BEST:: SOT 2484615 SOS 1210518 HAS SOPS 1191609 HAS SOUS 337590 HAS SOUPS 335570 WITH SCORE 336780.518
AT ITER 4340 NEW BEST:: SOT 2484615 SOS 1210518 HAS SOPS 1191609 HAS SOUS 337577 HAS SOUPS 335557 WITH SCORE 336767.518
AT ITER 4344 NEW BEST:: SOT 2484594 SOS 1210497 HAS SOPS 1191568 HAS SOUS 337535 HAS SOUPS 335515 WITH SCORE 336725.497
AT ITER 4347 NEW BEST:: SOT 2484587 SOS 1210486 HAS SOPS 1191558 HAS SOUS 337524 HAS SOUPS 335505 WITH SCORE 336715.486
AT ITER 4367 NEW BEST:: SOT 2484767 SOS 1210664 HAS SOPS 1191611 HAS SOUS 337476 HAS SOUPS 335457 WITH SCORE 336667.664
AT ITER 4369 NEW BEST:: SOT 2484565 SOS 1210462 HAS SOPS 1191409 HAS SOUS 337052 HAS SOUPS 335033 WITH SCORE 336243.462
AT ITER 4377 NEW BEST:: SOT 2484565 SOS 1209886 HAS SOPS 1190833 HAS SOUS 337052 HAS SOUPS 335033 WITH SCORE 336242.886
AT ITER 4378 NEW BEST:: SOT 2479557 SOS 1204841 HAS SOPS 1185788 HAS SOUS 335802 HAS SOUPS 333783 WITH SCORE 334987.841
AT ITER 4383 NEW BEST:: SOT 2479498 SOS 1204782 HAS SOPS 1185729 HAS SOUS 335522 HAS SOUPS 333503 WITH SCORE 334707.782
AT ITER 4411 NEW BEST:: SOT 2479446 SOS 1204649 HAS SOPS 1185596 HAS SOUS 335452 HAS SOUPS 333433 WITH SCORE 334637.649
AT ITER 4424 NEW BEST:: SOT 2479446 SOS 1204631 HAS SOPS 1185578 HAS SOUS 335452 HAS SOUPS 333433 WITH SCORE 334637.631
AT ITER 4426 NEW BEST:: SOT 2479435 SOS 1204620 HAS SOPS 1185563 HAS SOUS 335434 HAS SOUPS 333415 WITH SCORE 334619.62
AT ITER 4444 NEW BEST:: SOT 2479426 SOS 1204602 HAS SOPS 1185545 HAS SOUS 335416 HAS SOUPS 333397 WITH SCORE 334601.602
AT ITER 4447 NEW BEST:: SOT 2479197 SOS 1204551 HAS SOPS 1185494 HAS SOUS 335365 HAS SOUPS 333346 WITH SCORE 334550.551
AT ITER 4457 NEW BEST:: SOT 2479098 SOS 1204353 HAS SOPS 1185296 HAS SOUS 335253 HAS SOUPS 333234 WITH SCORE 334438.353
AT ITER 4459 NEW BEST:: SOT 2479050 SOS 1204305 HAS SOPS 1185248 HAS SOUS 335157 HAS SOUPS 333138 WITH SCORE 334342.305
AT ITER 4476 NEW BEST:: SOT 2478723 SOS 1204069 HAS SOPS 1185012 HAS SOUS 334672 HAS SOUPS 332653 WITH SCORE 333857.069
AT ITER 4479 NEW BEST:: SOT 2478565 SOS 1203867 HAS SOPS 1184810 HAS SOUS 334514 HAS SOUPS 332495 WITH SCORE 333698.867
AT ITER 4505 NEW BEST:: SOT 2468677 SOS 1193766 HAS SOPS 1174709 HAS SOUS 333524 HAS SOUPS 331505 WITH SCORE 332698.766
AT ITER 4527 NEW BEST:: SOT 2468662 SOS 1193751 HAS SOPS 1174694 HAS SOUS 333430 HAS SOUPS 331411 WITH SCORE 332604.751
AT ITER 4539 NEW BEST:: SOT 2468592 SOS 1193505 HAS SOPS 1174448 HAS SOUS 333340 HAS SOUPS 331321 WITH SCORE 332514.505
AT ITER 4540 NEW BEST:: SOT 2468574 SOS 1193685 HAS SOPS 1174628 HAS SOUS 333232 HAS SOUPS 331213 WITH SCORE 332406.685
AT ITER 4547 NEW BEST:: SOT 2468209 SOS 1193489 HAS SOPS 1174432 HAS SOUS 332887 HAS SOUPS 330868 WITH SCORE 332061.489
AT ITER 4606 NEW BEST:: SOT 2468144 SOS 1193391 HAS SOPS 1174334 HAS SOUS 332811 HAS SOUPS 330792 WITH SCORE 331985.391
AT ITER 4609 NEW BEST:: SOT 2468221 SOS 1193573 HAS SOPS 1174445 HAS SOUS 332761 HAS SOUPS 330742 WITH SCORE 331935.573
AT ITER 4615 NEW BEST:: SOT 2467930 SOS 1193108 HAS SOPS 1173980 HAS SOUS 332381 HAS SOUPS 330362 WITH SCORE 331555.108
AT ITER 4627 NEW BEST:: SOT 2468012 SOS 1193190 HAS SOPS 1174062 HAS SOUS 332343 HAS SOUPS 330324 WITH SCORE 331517.19
AT ITER 4628 NEW BEST:: SOT 2468111 SOS 1193431 HAS SOPS 1174303 HAS SOUS 332308 HAS SOUPS 330289 WITH SCORE 331482.431
AT ITER 4643 NEW BEST:: SOT 2467991 SOS 1193311 HAS SOPS 1174183 HAS SOUS 332298 HAS SOUPS 330279 WITH SCORE 331472.311
AT ITER 4645 NEW BEST:: SOT 2467820 SOS 1193140 HAS SOPS 1174012 HAS SOUS 331840 HAS SOUPS 329821 WITH SCORE 331014.14
AT ITER 4696 NEW BEST:: SOT 2467859 SOS 1193179 HAS SOPS 1174051 HAS SOUS 331684 HAS SOUPS 329665 WITH SCORE 330858.179
AT ITER 4697 NEW BEST:: SOT 2467820 SOS 1193130 HAS SOPS 1174002 HAS SOUS 331606 HAS SOUPS 329587 WITH SCORE 330780.13
AT ITER 4706 NEW BEST:: SOT 2467810 SOS 1193105 HAS SOPS 1173977 HAS SOUS 331585 HAS SOUPS 329566 WITH SCORE 330759.105
AT ITER 4717 NEW BEST:: SOT 2467754 SOS 1193049 HAS SOPS 1173893 HAS SOUS 331529 HAS SOUPS 329510 WITH SCORE 330703.049
AT ITER 4718 NEW BEST:: SOT 2467520 SOS 1192118 HAS SOPS 1172962 HAS SOUS 331183 HAS SOUPS 329164 WITH SCORE 330356.118
AT ITER 4737 NEW BEST:: SOT 2467370 SOS 1191958 HAS SOPS 1172802 HAS SOUS 330883 HAS SOUPS 328864 WITH SCORE 330055.958
AT ITER 4747 NEW BEST:: SOT 2467451 SOS 1192039 HAS SOPS 1172883 HAS SOUS 330757 HAS SOUPS 328738 WITH SCORE 329930.039
AT ITER 4771 NEW BEST:: SOT 2467433 SOS 1192021 HAS SOPS 1172865 HAS SOUS 330721 HAS SOUPS 328702 WITH SCORE 329894.021
AT ITER 4801 NEW BEST:: SOT 2467257 SOS 1172627 HAS SOPS 1153471 HAS SOUS 329415 HAS SOUPS 327396 WITH SCORE 328568.627
AT ITER 4802 NEW BEST:: SOT 2467256 SOS 1172546 HAS SOPS 1153390 HAS SOUS 329360 HAS SOUPS 327341 WITH SCORE 328513.546
AT ITER 4819 NEW BEST:: SOT 2466949 SOS 1172411 HAS SOPS 1153386 HAS SOUS 329208 HAS SOUPS 327189 WITH SCORE 328361.411
AT ITER 4820 NEW BEST:: SOT 2466947 SOS 1172409 HAS SOPS 1153382 HAS SOUS 329198 HAS SOUPS 327179 WITH SCORE 328351.409
AT ITER 4829 NEW BEST:: SOT 2466947 SOS 1172409 HAS SOPS 1153382 HAS SOUS 329186 HAS SOUPS 327167 WITH SCORE 328339.409
AT ITER 4834 NEW BEST:: SOT 2466911 SOS 1172373 HAS SOPS 1153346 HAS SOUS 329103 HAS SOUPS 327084 WITH SCORE 328256.373
AT ITER 4841 NEW BEST:: SOT 2466916 SOS 1172395 HAS SOPS 1153368 HAS SOUS 329031 HAS SOUPS 327012 WITH SCORE 328184.395
AT ITER 4844 NEW BEST:: SOT 2466822 SOS 1172301 HAS SOPS 1153283 HAS SOUS 328754 HAS SOUPS 326735 WITH SCORE 327907.301
AT ITER 4851 NEW BEST:: SOT 2466813 SOS 1172292 HAS SOPS 1153274 HAS SOUS 328736 HAS SOUPS 326717 WITH SCORE 327889.292
AT ITER 4856 NEW BEST:: SOT 2466879 SOS 1172214 HAS SOPS 1153196 HAS SOUS 328720 HAS SOUPS 326701 WITH SCORE 327873.214
AT ITER 4882 NEW BEST:: SOT 2466596 SOS 1171846 HAS SOPS 1152828 HAS SOUS 328720 HAS SOUPS 326701 WITH SCORE 327872.846
AT ITER 4891 NEW BEST:: SOT 2466596 SOS 1171846 HAS SOPS 1152828 HAS SOUS 328713 HAS SOUPS 326694 WITH SCORE 327865.846
AT ITER 4901 NEW BEST:: SOT 2466557 SOS 1171820 HAS SOPS 1152802 HAS SOUS 328687 HAS SOUPS 326668 WITH SCORE 327839.82
AT ITER 4902 NEW BEST:: SOT 2466557 SOS 1171127 HAS SOPS 1152109 HAS SOUS 327777 HAS SOUPS 325758 WITH SCORE 326929.127
AT ITER 4904 NEW BEST:: SOT 2466512 SOS 1171022 HAS SOPS 1152004 HAS SOUS 327711 HAS SOUPS 325692 WITH SCORE 326863.022
AT ITER 4907 NEW BEST:: SOT 2463345 SOS 1167809 HAS SOPS 1148791 HAS SOUS 326857 HAS SOUPS 324838 WITH SCORE 326005.809
AT ITER 4909 NEW BEST:: SOT 2463149 SOS 1167613 HAS SOPS 1148595 HAS SOUS 326685 HAS SOUPS 324666 WITH SCORE 325833.613
AT ITER 4913 NEW BEST:: SOT 2462637 SOS 1167101 HAS SOPS 1148083 HAS SOUS 326300 HAS SOUPS 324281 WITH SCORE 325448.101
AT ITER 4915 NEW BEST:: SOT 2462630 SOS 1167094 HAS SOPS 1148076 HAS SOUS 326286 HAS SOUPS 324267 WITH SCORE 325434.094
AT ITER 4922 NEW BEST:: SOT 2462597 SOS 1167094 HAS SOPS 1148076 HAS SOUS 326251 HAS SOUPS 324232 WITH SCORE 325399.094
AT ITER 4937 NEW BEST:: SOT 2444799 SOS 1149098 HAS SOPS 1130080 HAS SOUS 326129 HAS SOUPS 324110 WITH SCORE 325259.098
AT ITER 4946 NEW BEST:: SOT 2444314 SOS 1148322 HAS SOPS 1129304 HAS SOUS 325765 HAS SOUPS 323746 WITH SCORE 324894.322
AT ITER 4947 NEW BEST:: SOT 2443974 SOS 1147878 HAS SOPS 1128860 HAS SOUS 325138 HAS SOUPS 323119 WITH SCORE 324266.878
AT ITER 4954 NEW BEST:: SOT 2443416 SOS 1145290 HAS SOPS 1126272 HAS SOUS 324755 HAS SOUPS 322736 WITH SCORE 323881.29
AT ITER 4973 NEW BEST:: SOT 2443084 SOS 1144958 HAS SOPS 1125940 HAS SOUS 324095 HAS SOUPS 322076 WITH SCORE 323220.958
AT ITER 5020 NEW BEST:: SOT 2443030 SOS 1144904 HAS SOPS 1125849 HAS SOUS 324004 HAS SOUPS 321985 WITH SCORE 323129.904
AT ITER 5029 NEW BEST:: SOT 2442971 SOS 1144845 HAS SOPS 1125790 HAS SOUS 323983 HAS SOUPS 321964 WITH SCORE 323108.845
AT ITER 5034 NEW BEST:: SOT 2442293 SOS 1144213 HAS SOPS 1125158 HAS SOUS 322891 HAS SOUPS 320872 WITH SCORE 322016.213
AT ITER 5053 NEW BEST:: SOT 2441903 SOS 1143428 HAS SOPS 1124373 HAS SOUS 322106 HAS SOUPS 320087 WITH SCORE 321230.428
AT ITER 5072 NEW BEST:: SOT 2441934 SOS 1143459 HAS SOPS 1124404 HAS SOUS 322091 HAS SOUPS 320072 WITH SCORE 321215.459
AT ITER 5075 NEW BEST:: SOT 2441853 SOS 1143378 HAS SOPS 1124323 HAS SOUS 321929 HAS SOUPS 319910 WITH SCORE 321053.378
AT ITER 5086 NEW BEST:: SOT 2441739 SOS 1142940 HAS SOPS 1123885 HAS SOUS 321914 HAS SOUPS 319895 WITH SCORE 321037.94
AT ITER 5093 NEW BEST:: SOT 2441710 SOS 1142882 HAS SOPS 1123827 HAS SOUS 321856 HAS SOUPS 319837 WITH SCORE 320979.882
AT ITER 5130 NEW BEST:: SOT 2441716 SOS 1142888 HAS SOPS 1123823 HAS SOUS 321858 HAS SOUPS 319831 WITH SCORE 320973.888
AT ITER 5137 NEW BEST:: SOT 2441724 SOS 1142896 HAS SOPS 1123831 HAS SOUS 321795 HAS SOUPS 319768 WITH SCORE 320910.896
AT ITER 5140 NEW BEST:: SOT 2441707 SOS 1142879 HAS SOPS 1123814 HAS SOUS 321778 HAS SOUPS 319751 WITH SCORE 320893.879
AT ITER 5146 NEW BEST:: SOT 2441707 SOS 1142855 HAS SOPS 1123790 HAS SOUS 321778 HAS SOUPS 319751 WITH SCORE 320893.855
AT ITER 5158 NEW BEST:: SOT 2441512 SOS 1142625 HAS SOPS 1123540 HAS SOUS 321413 HAS SOUPS 319386 WITH SCORE 320528.625
AT ITER 5192 NEW BEST:: SOT 2441311 SOS 1142430 HAS SOPS 1123345 HAS SOUS 321386 HAS SOUPS 319359 WITH SCORE 320501.43
AT ITER 5207 NEW BEST:: SOT 2440904 SOS 1142023 HAS SOPS 1122938 HAS SOUS 321211 HAS SOUPS 319184 WITH SCORE 320326.023
AT ITER 5210 NEW BEST:: SOT 2440905 SOS 1142024 HAS SOPS 1122930 HAS SOUS 321180 HAS SOUPS 319153 WITH SCORE 320295.024
AT ITER 5235 NEW BEST:: SOT 2440868 SOS 1141987 HAS SOPS 1122741 HAS SOUS 321160 HAS SOUPS 318981 WITH SCORE 320122.987
AT ITER 5242 NEW BEST:: SOT 2440872 SOS 1141989 HAS SOPS 1122743 HAS SOUS 321134 HAS SOUPS 318955 WITH SCORE 320096.989
AT ITER 5249 NEW BEST:: SOT 2440855 SOS 1141955 HAS SOPS 1122709 HAS SOUS 321100 HAS SOUPS 318921 WITH SCORE 320062.955
AT ITER 5256 NEW BEST:: SOT 2440554 SOS 1141541 HAS SOPS 1122295 HAS SOUS 320749 HAS SOUPS 318570 WITH SCORE 319711.541
AT ITER 5257 NEW BEST:: SOT 2440543 SOS 1141530 HAS SOPS 1122284 HAS SOUS 320705 HAS SOUPS 318526 WITH SCORE 319667.53
AT ITER 5286 NEW BEST:: SOT 2440651 SOS 1141530 HAS SOPS 1122284 HAS SOUS 320681 HAS SOUPS 318502 WITH SCORE 319643.53
AT ITER 5315 NEW BEST:: SOT 2440696 SOS 1141575 HAS SOPS 1122423 HAS SOUS 320660 HAS SOUPS 318481 WITH SCORE 319622.575
AT ITER 5345 NEW BEST:: SOT 2440679 SOS 1147423 HAS SOPS 1128271 HAS SOUS 320638 HAS SOUPS 318459 WITH SCORE 319606.423
AT ITER 5364 NEW BEST:: SOT 2440258 SOS 1147182 HAS SOPS 1128030 HAS SOUS 320463 HAS SOUPS 318284 WITH SCORE 319431.182
AT ITER 5377 NEW BEST:: SOT 2440229 SOS 1147133 HAS SOPS 1127981 HAS SOUS 320405 HAS SOUPS 318226 WITH SCORE 319373.133
AT ITER 5378 NEW BEST:: SOT 2440222 SOS 1147106 HAS SOPS 1127962 HAS SOUS 320375 HAS SOUPS 318196 WITH SCORE 319343.106
AT ITER 5379 NEW BEST:: SOT 2439757 SOS 1146638 HAS SOPS 1127494 HAS SOUS 319448 HAS SOUPS 317269 WITH SCORE 318415.638
AT ITER 5397 NEW BEST:: SOT 2439425 SOS 1146203 HAS SOPS 1127059 HAS SOUS 318978 HAS SOUPS 316799 WITH SCORE 317945.203
AT ITER 5400 NEW BEST:: SOT 2439280 SOS 1144753 HAS SOPS 1125609 HAS SOUS 318833 HAS SOUPS 316654 WITH SCORE 317798.753
AT ITER 5414 NEW BEST:: SOT 2439268 SOS 1144741 HAS SOPS 1125597 HAS SOUS 318809 HAS SOUPS 316630 WITH SCORE 317774.741
AT ITER 5437 NEW BEST:: SOT 2439223 SOS 1144696 HAS SOPS 1125552 HAS SOUS 318719 HAS SOUPS 316540 WITH SCORE 317684.696
AT ITER 5442 NEW BEST:: SOT 2439205 SOS 1144678 HAS SOPS 1125534 HAS SOUS 318691 HAS SOUPS 316512 WITH SCORE 317656.678
AT ITER 5453 NEW BEST:: SOT 2439219 SOS 1144692 HAS SOPS 1125548 HAS SOUS 318673 HAS SOUPS 316494 WITH SCORE 317638.692
AT ITER 5461 NEW BEST:: SOT 2434895 SOS 1140368 HAS SOPS 1121224 HAS SOUS 317949 HAS SOUPS 315770 WITH SCORE 316910.368
AT ITER 5463 NEW BEST:: SOT 2434914 SOS 1140354 HAS SOPS 1121210 HAS SOUS 317910 HAS SOUPS 315731 WITH SCORE 316871.354
AT ITER 5464 NEW BEST:: SOT 2434881 SOS 1140321 HAS SOPS 1121177 HAS SOUS 317844 HAS SOUPS 315665 WITH SCORE 316805.321
AT ITER 5468 NEW BEST:: SOT 2435607 SOS 1141047 HAS SOPS 1121903 HAS SOUS 315976 HAS SOUPS 313797 WITH SCORE 314938.047
AT ITER 5470 NEW BEST:: SOT 2435607 SOS 1141032 HAS SOPS 1121888 HAS SOUS 315950 HAS SOUPS 313771 WITH SCORE 314912.032
AT ITER 5471 NEW BEST:: SOT 2435420 SOS 1140955 HAS SOPS 1121811 HAS SOUS 315938 HAS SOUPS 313759 WITH SCORE 314899.955
AT ITER 5479 NEW BEST:: SOT 2435336 SOS 1140746 HAS SOPS 1121602 HAS SOUS 315702 HAS SOUPS 313523 WITH SCORE 314663.746
AT ITER 5482 NEW BEST:: SOT 2435272 SOS 1140682 HAS SOPS 1121588 HAS SOUS 315574 HAS SOUPS 313395 WITH SCORE 314535.682
AT ITER 5487 NEW BEST:: SOT 2435181 SOS 1140500 HAS SOPS 1121406 HAS SOUS 315392 HAS SOUPS 313213 WITH SCORE 314353.5
AT ITER 5489 NEW BEST:: SOT 2434871 SOS 1139892 HAS SOPS 1120798 HAS SOUS 315015 HAS SOUPS 312836 WITH SCORE 313975.892
AT ITER 5516 NEW BEST:: SOT 2435026 SOS 1140047 HAS SOPS 1120953 HAS SOUS 312622 HAS SOUPS 310443 WITH SCORE 311583.047
AT ITER 5524 NEW BEST:: SOT 2434994 SOS 1139983 HAS SOPS 1120889 HAS SOUS 312558 HAS SOUPS 310379 WITH SCORE 311518.983
AT ITER 5527 NEW BEST:: SOT 2434993 SOS 1139982 HAS SOPS 1120888 HAS SOUS 312558 HAS SOUPS 310379 WITH SCORE 311518.982
AT ITER 5534 NEW BEST:: SOT 2434719 SOS 1139708 HAS SOPS 1120614 HAS SOUS 312228 HAS SOUPS 310049 WITH SCORE 311188.708
AT ITER 5542 NEW BEST:: SOT 2434707 SOS 1139696 HAS SOPS 1120602 HAS SOUS 312216 HAS SOUPS 310037 WITH SCORE 311176.696
AT ITER 5556 NEW BEST:: SOT 2433544 SOS 1138533 HAS SOPS 1119439 HAS SOUS 311548 HAS SOUPS 309369 WITH SCORE 310507.533
AT ITER 5560 NEW BEST:: SOT 2433534 SOS 1138513 HAS SOPS 1119419 HAS SOUS 311528 HAS SOUPS 309349 WITH SCORE 310487.513
AT ITER 5562 NEW BEST:: SOT 2433485 SOS 1138480 HAS SOPS 1119367 HAS SOUS 311435 HAS SOUPS 309256 WITH SCORE 310394.48
AT ITER 5564 NEW BEST:: SOT 2433549 SOS 1139120 HAS SOPS 1120007 HAS SOUS 311419 HAS SOUPS 309240 WITH SCORE 310379.12
AT ITER 5574 NEW BEST:: SOT 2433529 SOS 1139100 HAS SOPS 1119987 HAS SOUS 311394 HAS SOUPS 309215 WITH SCORE 310354.1
AT ITER 5581 NEW BEST:: SOT 2433498 SOS 1139173 HAS SOPS 1119984 HAS SOUS 311183 HAS SOUPS 309004 WITH SCORE 310143.173
AT ITER 5583 NEW BEST:: SOT 2433427 SOS 1139181 HAS SOPS 1119992 HAS SOUS 311041 HAS SOUPS 308862 WITH SCORE 310001.181
AT ITER 5625 NEW BEST:: SOT 2432070 SOS 1137886 HAS SOPS 1118697 HAS SOUS 310695 HAS SOUPS 308516 WITH SCORE 309653.886
AT ITER 5633 NEW BEST:: SOT 2432057 SOS 1137873 HAS SOPS 1118684 HAS SOUS 310669 HAS SOUPS 308490 WITH SCORE 309627.873
AT ITER 5635 NEW BEST:: SOT 2432142 SOS 1137958 HAS SOPS 1118769 HAS SOUS 310519 HAS SOUPS 308340 WITH SCORE 309477.958
AT ITER 5663 NEW BEST:: SOT 2431840 SOS 1137656 HAS SOPS 1118467 HAS SOUS 310217 HAS SOUPS 308038 WITH SCORE 309175.656
AT ITER 5672 NEW BEST:: SOT 2431814 SOS 1137630 HAS SOPS 1118441 HAS SOUS 310169 HAS SOUPS 307990 WITH SCORE 309127.63
AT ITER 5681 NEW BEST:: SOT 2431644 SOS 1137460 HAS SOPS 1118271 HAS SOUS 310009 HAS SOUPS 307830 WITH SCORE 308967.46
AT ITER 5700 NEW BEST:: SOT 2431602 SOS 1137481 HAS SOPS 1118292 HAS SOUS 309501 HAS SOUPS 307322 WITH SCORE 308459.481
AT ITER 5707 NEW BEST:: SOT 2430458 SOS 1136337 HAS SOPS 1117148 HAS SOUS 309286 HAS SOUPS 307107 WITH SCORE 308243.337
AT ITER 5774 NEW BEST:: SOT 2430330 SOS 1136209 HAS SOPS 1117020 HAS SOUS 309158 HAS SOUPS 306979 WITH SCORE 308115.209
AT ITER 5781 NEW BEST:: SOT 2429742 SOS 1135587 HAS SOPS 1116398 HAS SOUS 309015 HAS SOUPS 306836 WITH SCORE 307971.587
AT ITER 5786 NEW BEST:: SOT 2429670 SOS 1135489 HAS SOPS 1116300 HAS SOUS 308917 HAS SOUPS 306738 WITH SCORE 307873.489
AT ITER 5829 NEW BEST:: SOT 2429638 SOS 1135442 HAS SOPS 1116253 HAS SOUS 308859 HAS SOUPS 306680 WITH SCORE 307815.442
AT ITER 5835 NEW BEST:: SOT 2429194 SOS 1134996 HAS SOPS 1115807 HAS SOUS 308655 HAS SOUPS 306476 WITH SCORE 307610.996
AT ITER 5846 NEW BEST:: SOT 2429192 SOS 1134994 HAS SOPS 1115805 HAS SOUS 308651 HAS SOUPS 306472 WITH SCORE 307606.994
AT ITER 5883 NEW BEST:: SOT 2429178 SOS 1134980 HAS SOPS 1115791 HAS SOUS 308630 HAS SOUPS 306451 WITH SCORE 307585.98
AT ITER 5893 NEW BEST:: SOT 2428936 SOS 1134738 HAS SOPS 1115549 HAS SOUS 308319 HAS SOUPS 306140 WITH SCORE 307274.738
AT ITER 5914 NEW BEST:: SOT 2428884 SOS 1134683 HAS SOPS 1115494 HAS SOUS 308264 HAS SOUPS 306085 WITH SCORE 307219.683
AT ITER 5928 NEW BEST:: SOT 2428884 SOS 1134683 HAS SOPS 1115494 HAS SOUS 308251 HAS SOUPS 306072 WITH SCORE 307206.683
AT ITER 5929 NEW BEST:: SOT 2430568 SOS 1136367 HAS SOPS 1117178 HAS SOUS 307356 HAS SOUPS 305177 WITH SCORE 306313.367
AT ITER 5960 NEW BEST:: SOT 2430493 SOS 1136292 HAS SOPS 1117103 HAS SOUS 307055 HAS SOUPS 304876 WITH SCORE 306012.292
AT ITER 5963 NEW BEST:: SOT 2430478 SOS 1136277 HAS SOPS 1117084 HAS SOUS 307010 HAS SOUPS 304831 WITH SCORE 305967.277
AT ITER 5969 NEW BEST:: SOT 2429671 SOS 1135210 HAS SOPS 1116017 HAS SOUS 305943 HAS SOUPS 303764 WITH SCORE 304899.21
AT ITER 5979 NEW BEST:: SOT 2429643 SOS 1135154 HAS SOPS 1115961 HAS SOUS 305887 HAS SOUPS 303708 WITH SCORE 304843.154
AT ITER 5987 NEW BEST:: SOT 2429676 SOS 1135202 HAS SOPS 1116009 HAS SOUS 305871 HAS SOUPS 303692 WITH SCORE 304827.202
AT ITER 5989 NEW BEST:: SOT 2429613 SOS 1135076 HAS SOPS 1115883 HAS SOUS 305745 HAS SOUPS 303566 WITH SCORE 304701.076
AT ITER 5990 NEW BEST:: SOT 2429585 SOS 1135048 HAS SOPS 1115855 HAS SOUS 305703 HAS SOUPS 303524 WITH SCORE 304659.048
AT ITER 5993 NEW BEST:: SOT 2429777 SOS 1135491 HAS SOPS 1116410 HAS SOUS 305389 HAS SOUPS 303210 WITH SCORE 304345.491
AT ITER 6007 NEW BEST:: SOT 2429822 SOS 1135536 HAS SOPS 1116455 HAS SOUS 305171 HAS SOUPS 302992 WITH SCORE 304127.536
AT ITER 6011 NEW BEST:: SOT 2429798 SOS 1135512 HAS SOPS 1116431 HAS SOUS 305160 HAS SOUPS 302981 WITH SCORE 304116.512
AT ITER 6014 NEW BEST:: SOT 2429798 SOS 1135512 HAS SOPS 1116431 HAS SOUS 305140 HAS SOUPS 302961 WITH SCORE 304096.512
AT ITER 6034 NEW BEST:: SOT 2429715 SOS 1135360 HAS SOPS 1116279 HAS SOUS 305057 HAS SOUPS 302878 WITH SCORE 304013.36
AT ITER 6048 NEW BEST:: SOT 2429614 SOS 1135368 HAS SOPS 1116287 HAS SOUS 305031 HAS SOUPS 302852 WITH SCORE 303987.368
AT ITER 6055 NEW BEST:: SOT 2426445 SOS 1132221 HAS SOPS 1113140 HAS SOUS 304102 HAS SOUPS 301923 WITH SCORE 303055.221
AT ITER 6057 NEW BEST:: SOT 2426366 SOS 1132142 HAS SOPS 1113061 HAS SOUS 303944 HAS SOUPS 301765 WITH SCORE 302897.142
AT ITER 6060 NEW BEST:: SOT 2426335 SOS 1132111 HAS SOPS 1113030 HAS SOUS 303867 HAS SOUPS 301688 WITH SCORE 302820.111
AT ITER 6066 NEW BEST:: SOT 2426278 SOS 1131897 HAS SOPS 1112816 HAS SOUS 303739 HAS SOUPS 301560 WITH SCORE 302691.897
AT ITER 6071 NEW BEST:: SOT 2426214 SOS 1131789 HAS SOPS 1112708 HAS SOUS 303680 HAS SOUPS 301501 WITH SCORE 302632.789
AT ITER 6098 NEW BEST:: SOT 2426211 SOS 1131786 HAS SOPS 1112705 HAS SOUS 303674 HAS SOUPS 301495 WITH SCORE 302626.786
AT ITER 6102 NEW BEST:: SOT 2426211 SOS 1131668 HAS SOPS 1112587 HAS SOUS 303674 HAS SOUPS 301495 WITH SCORE 302626.668
AT ITER 6120 NEW BEST:: SOT 2426092 SOS 1131542 HAS SOPS 1112461 HAS SOUS 303548 HAS SOUPS 301369 WITH SCORE 302500.542
AT ITER 6122 NEW BEST:: SOT 2426155 SOS 1131485 HAS SOPS 1112404 HAS SOUS 303462 HAS SOUPS 301283 WITH SCORE 302414.485
AT ITER 6128 NEW BEST:: SOT 2426103 SOS 1131455 HAS SOPS 1112374 HAS SOUS 303440 HAS SOUPS 301261 WITH SCORE 302392.455
AT ITER 6129 NEW BEST:: SOT 2426047 SOS 1131361 HAS SOPS 1112280 HAS SOUS 303385 HAS SOUPS 301206 WITH SCORE 302337.361
AT ITER 6136 NEW BEST:: SOT 2426127 SOS 1131441 HAS SOPS 1112313 HAS SOUS 303371 HAS SOUPS 301192 WITH SCORE 302323.441
AT ITER 6139 NEW BEST:: SOT 2426111 SOS 1131425 HAS SOPS 1112297 HAS SOUS 303339 HAS SOUPS 301160 WITH SCORE 302291.425
AT ITER 6164 NEW BEST:: SOT 2426111 SOS 1131423 HAS SOPS 1112295 HAS SOUS 303339 HAS SOUPS 301160 WITH SCORE 302291.423
AT ITER 6180 NEW BEST:: SOT 2425991 SOS 1131329 HAS SOPS 1112201 HAS SOUS 303301 HAS SOUPS 301122 WITH SCORE 302253.329
AT ITER 6201 NEW BEST:: SOT 2424631 SOS 1129996 HAS SOPS 1110868 HAS SOUS 303118 HAS SOUPS 300939 WITH SCORE 302068.996
AT ITER 6206 NEW BEST:: SOT 2424625 SOS 1129984 HAS SOPS 1110856 HAS SOUS 303106 HAS SOUPS 300927 WITH SCORE 302056.984
AT ITER 6219 NEW BEST:: SOT 2421691 SOS 1127050 HAS SOPS 1107922 HAS SOUS 302757 HAS SOUPS 300578 WITH SCORE 301705.05
AT ITER 6222 NEW BEST:: SOT 2421625 SOS 1126984 HAS SOPS 1107856 HAS SOUS 302625 HAS SOUPS 300446 WITH SCORE 301572.984
AT ITER 6245 NEW BEST:: SOT 2421620 SOS 1126974 HAS SOPS 1107846 HAS SOUS 302615 HAS SOUPS 300436 WITH SCORE 301562.974
AT ITER 6258 NEW BEST:: SOT 2421528 SOS 1126824 HAS SOPS 1107688 HAS SOUS 302310 HAS SOUPS 300131 WITH SCORE 301257.824
AT ITER 6270 NEW BEST:: SOT 2420544 SOS 1125790 HAS SOPS 1106654 HAS SOUS 301788 HAS SOUPS 299609 WITH SCORE 300734.79
AT ITER 6271 NEW BEST:: SOT 2420534 SOS 1125770 HAS SOPS 1106634 HAS SOUS 301760 HAS SOUPS 299581 WITH SCORE 300706.77
AT ITER 6280 NEW BEST:: SOT 2420346 SOS 1125488 HAS SOPS 1106352 HAS SOUS 301525 HAS SOUPS 299346 WITH SCORE 300471.488
AT ITER 6282 NEW BEST:: SOT 2420345 SOS 1125487 HAS SOPS 1106351 HAS SOUS 301523 HAS SOUPS 299344 WITH SCORE 300469.487
AT ITER 6283 NEW BEST:: SOT 2420337 SOS 1125473 HAS SOPS 1106337 HAS SOUS 301512 HAS SOUPS 299333 WITH SCORE 300458.473
AT ITER 6292 NEW BEST:: SOT 2420335 SOS 1125471 HAS SOPS 1106335 HAS SOUS 301499 HAS SOUPS 299320 WITH SCORE 300445.471
AT ITER 6300 NEW BEST:: SOT 2420010 SOS 1124698 HAS SOPS 1105562 HAS SOUS 301297 HAS SOUPS 299118 WITH SCORE 300242.698
AT ITER 6301 NEW BEST:: SOT 2419905 SOS 1124593 HAS SOPS 1105457 HAS SOUS 301157 HAS SOUPS 298978 WITH SCORE 300102.593
AT ITER 6332 NEW BEST:: SOT 2419919 SOS 1125021 HAS SOPS 1105885 HAS SOUS 300778 HAS SOUPS 298599 WITH SCORE 299724.021
AT ITER 6361 NEW BEST:: SOT 2424422 SOS 1129760 HAS SOPS 1110624 HAS SOUS 298554 HAS SOUPS 296375 WITH SCORE 297504.76
AT ITER 6382 NEW BEST:: SOT 2424422 SOS 1129781 HAS SOPS 1110645 HAS SOUS 298389 HAS SOUPS 296210 WITH SCORE 297339.781
AT ITER 6407 NEW BEST:: SOT 2424370 SOS 1130136 HAS SOPS 1111030 HAS SOUS 298150 HAS SOUPS 295979 WITH SCORE 297109.136
AT ITER 6427 NEW BEST:: SOT 2424344 SOS 1130110 HAS SOPS 1111004 HAS SOUS 298124 HAS SOUPS 295953 WITH SCORE 297083.11
AT ITER 6510 NEW BEST:: SOT 2423195 SOS 1128961 HAS SOPS 1109855 HAS SOUS 297498 HAS SOUPS 295327 WITH SCORE 296455.961
AT ITER 6537 NEW BEST:: SOT 2423123 SOS 1128889 HAS SOPS 1109783 HAS SOUS 297426 HAS SOUPS 295255 WITH SCORE 296383.889
AT ITER 6541 NEW BEST:: SOT 2423100 SOS 1128866 HAS SOPS 1109760 HAS SOUS 297386 HAS SOUPS 295215 WITH SCORE 296343.866
AT ITER 6550 NEW BEST:: SOT 2422763 SOS 1128620 HAS SOPS 1109514 HAS SOUS 296985 HAS SOUPS 294814 WITH SCORE 295942.62
AT ITER 6554 NEW BEST:: SOT 2422744 SOS 1128601 HAS SOPS 1109495 HAS SOUS 296966 HAS SOUPS 294795 WITH SCORE 295923.601
AT ITER 6558 NEW BEST:: SOT 2422676 SOS 1128533 HAS SOPS 1109427 HAS SOUS 296837 HAS SOUPS 294666 WITH SCORE 295794.533
AT ITER 6562 NEW BEST:: SOT 2422676 SOS 1127653 HAS SOPS 1108547 HAS SOUS 296837 HAS SOUPS 294666 WITH SCORE 295793.653
AT ITER 6563 NEW BEST:: SOT 2422616 SOS 1127593 HAS SOPS 1108487 HAS SOUS 296747 HAS SOUPS 294576 WITH SCORE 295703.593
AT ITER 6575 NEW BEST:: SOT 2422505 SOS 1127727 HAS SOPS 1108621 HAS SOUS 296683 HAS SOUPS 294512 WITH SCORE 295639.727
AT ITER 6579 NEW BEST:: SOT 2422372 SOS 1127340 HAS SOPS 1108234 HAS SOUS 296296 HAS SOUPS 294125 WITH SCORE 295252.34
AT ITER 6617 NEW BEST:: SOT 2422191 SOS 1127159 HAS SOPS 1108053 HAS SOUS 295934 HAS SOUPS 293763 WITH SCORE 294890.159
AT ITER 6624 NEW BEST:: SOT 2422166 SOS 1127134 HAS SOPS 1108029 HAS SOUS 295884 HAS SOUPS 293713 WITH SCORE 294840.134
AT ITER 6642 NEW BEST:: SOT 2421830 SOS 1126981 HAS SOPS 1107876 HAS SOUS 295482 HAS SOUPS 293311 WITH SCORE 294437.981
AT ITER 6647 NEW BEST:: SOT 2421784 SOS 1126867 HAS SOPS 1107762 HAS SOUS 295425 HAS SOUPS 293254 WITH SCORE 294380.867
AT ITER 6672 NEW BEST:: SOT 2421674 SOS 1126833 HAS SOPS 1107728 HAS SOUS 295373 HAS SOUPS 293202 WITH SCORE 294328.833
AT ITER 6741 NEW BEST:: SOT 2421530 SOS 1126029 HAS SOPS 1106924 HAS SOUS 295163 HAS SOUPS 292992 WITH SCORE 294118.029
AT ITER 6774 NEW BEST:: SOT 2421487 SOS 1125888 HAS SOPS 1106769 HAS SOUS 295008 HAS SOUPS 292837 WITH SCORE 293962.888
AT ITER 6785 NEW BEST:: SOT 2421539 SOS 1125940 HAS SOPS 1106821 HAS SOUS 294943 HAS SOUPS 292772 WITH SCORE 293897.94
AT ITER 6795 NEW BEST:: SOT 2421506 SOS 1126237 HAS SOPS 1106788 HAS SOUS 294778 HAS SOUPS 292574 WITH SCORE 293700.237
AT ITER 6798 NEW BEST:: SOT 2419752 SOS 1124393 HAS SOPS 1104944 HAS SOUS 294613 HAS SOUPS 292409 WITH SCORE 293533.393
AT ITER 6818 NEW BEST:: SOT 2419444 SOS 1124017 HAS SOPS 1104568 HAS SOUS 294389 HAS SOUPS 292185 WITH SCORE 293309.017
AT ITER 6826 NEW BEST:: SOT 2419424 SOS 1123997 HAS SOPS 1104548 HAS SOUS 294373 HAS SOUPS 292169 WITH SCORE 293292.997
AT ITER 6827 NEW BEST:: SOT 2419424 SOS 1124041 HAS SOPS 1104592 HAS SOUS 294340 HAS SOUPS 292136 WITH SCORE 293260.041
AT ITER 6836 NEW BEST:: SOT 2419114 SOS 1123425 HAS SOPS 1103976 HAS SOUS 294219 HAS SOUPS 292015 WITH SCORE 293138.425
AT ITER 6849 NEW BEST:: SOT 2419048 SOS 1123572 HAS SOPS 1104123 HAS SOUS 293801 HAS SOUPS 291597 WITH SCORE 292720.572
AT ITER 6867 NEW BEST:: SOT 2419042 SOS 1123566 HAS SOPS 1104115 HAS SOUS 293791 HAS SOUPS 291587 WITH SCORE 292710.566
AT ITER 6872 NEW BEST:: SOT 2419060 SOS 1123498 HAS SOPS 1104019 HAS SOUS 293682 HAS SOUPS 291478 WITH SCORE 292601.498
AT ITER 6876 NEW BEST:: SOT 2419045 SOS 1123483 HAS SOPS 1104004 HAS SOUS 293652 HAS SOUPS 291448 WITH SCORE 292571.483
AT ITER 6877 NEW BEST:: SOT 2419065 SOS 1126146 HAS SOPS 1106689 HAS SOUS 293545 HAS SOUPS 291348 WITH SCORE 292474.146
AT ITER 6890 NEW BEST:: SOT 2419038 SOS 1126066 HAS SOPS 1106753 HAS SOUS 293385 HAS SOUPS 291188 WITH SCORE 292314.066
AT ITER 6917 NEW BEST:: SOT 2419075 SOS 1125479 HAS SOPS 1106166 HAS SOUS 293194 HAS SOUPS 290997 WITH SCORE 292122.479
AT ITER 6922 NEW BEST:: SOT 2419012 SOS 1125410 HAS SOPS 1106105 HAS SOUS 293064 HAS SOUPS 290867 WITH SCORE 291992.41
AT ITER 6950 NEW BEST:: SOT 2418932 SOS 1125383 HAS SOPS 1106078 HAS SOUS 292904 HAS SOUPS 290707 WITH SCORE 291832.383
AT ITER 6984 NEW BEST:: SOT 2418990 SOS 1125483 HAS SOPS 1106202 HAS SOUS 292873 HAS SOUPS 290676 WITH SCORE 291801.483
AT ITER 6989 NEW BEST:: SOT 2419058 SOS 1126101 HAS SOPS 1106707 HAS SOUS 292773 HAS SOUPS 290576 WITH SCORE 291702.101
AT ITER 7008 NEW BEST:: SOT 2418936 SOS 1125735 HAS SOPS 1106341 HAS SOUS 292407 HAS SOUPS 290210 WITH SCORE 291335.735
AT ITER 7025 NEW BEST:: SOT 2418890 SOS 1125666 HAS SOPS 1106272 HAS SOUS 292315 HAS SOUPS 290118 WITH SCORE 291243.666
AT ITER 7039 NEW BEST:: SOT 2418776 SOS 1125565 HAS SOPS 1106171 HAS SOUS 292214 HAS SOUPS 290017 WITH SCORE 291142.565
AT ITER 7067 NEW BEST:: SOT 2418910 SOS 1125817 HAS SOPS 1106423 HAS SOUS 291569 HAS SOUPS 289372 WITH SCORE 290497.817
AT ITER 7096 NEW BEST:: SOT 2418735 SOS 1125549 HAS SOPS 1106155 HAS SOUS 291343 HAS SOUPS 289146 WITH SCORE 290271.549
AT ITER 7104 NEW BEST:: SOT 2418735 SOS 1125538 HAS SOPS 1106144 HAS SOUS 291332 HAS SOUPS 289135 WITH SCORE 290260.538
AT ITER 7118 NEW BEST:: SOT 2418729 SOS 1125532 HAS SOPS 1106138 HAS SOUS 291154 HAS SOUPS 288957 WITH SCORE 290082.532
AT ITER 7127 NEW BEST:: SOT 2418611 SOS 1125414 HAS SOPS 1106020 HAS SOUS 291048 HAS SOUPS 288851 WITH SCORE 289976.414
AT ITER 7137 NEW BEST:: SOT 2418554 SOS 1125357 HAS SOPS 1105963 HAS SOUS 290934 HAS SOUPS 288737 WITH SCORE 289862.357
AT ITER 7150 NEW BEST:: SOT 2418578 SOS 1125405 HAS SOPS 1106011 HAS SOUS 290910 HAS SOUPS 288713 WITH SCORE 289838.405
AT ITER 7162 NEW BEST:: SOT 2418589 SOS 1125416 HAS SOPS 1106022 HAS SOUS 290877 HAS SOUPS 288680 WITH SCORE 289805.416
AT ITER 7172 NEW BEST:: SOT 2418589 SOS 1125416 HAS SOPS 1106022 HAS SOUS 290866 HAS SOUPS 288669 WITH SCORE 289794.416
AT ITER 7176 NEW BEST:: SOT 2418583 SOS 1125410 HAS SOPS 1106016 HAS SOUS 290847 HAS SOUPS 288650 WITH SCORE 289775.41
AT ITER 7214 NEW BEST:: SOT 2418554 SOS 1125439 HAS SOPS 1106016 HAS SOUS 290808 HAS SOUPS 288611 WITH SCORE 289736.439
AT ITER 7235 NEW BEST:: SOT 2418511 SOS 1125396 HAS SOPS 1105973 HAS SOUS 290772 HAS SOUPS 288575 WITH SCORE 289700.396
AT ITER 7237 NEW BEST:: SOT 2418620 SOS 1125511 HAS SOPS 1106088 HAS SOUS 290753 HAS SOUPS 288556 WITH SCORE 289681.511
AT ITER 7242 NEW BEST:: SOT 2418472 SOS 1125156 HAS SOPS 1105733 HAS SOUS 290595 HAS SOUPS 288398 WITH SCORE 289523.156
AT ITER 7262 NEW BEST:: SOT 2418436 SOS 1125120 HAS SOPS 1105697 HAS SOUS 290535 HAS SOUPS 288338 WITH SCORE 289463.12
AT ITER 7268 NEW BEST:: SOT 2418434 SOS 1125108 HAS SOPS 1105685 HAS SOUS 290521 HAS SOUPS 288324 WITH SCORE 289449.108
AT ITER 7290 NEW BEST:: SOT 2418434 SOS 1125076 HAS SOPS 1105653 HAS SOUS 290521 HAS SOUPS 288324 WITH SCORE 289449.076
AT ITER 7311 NEW BEST:: SOT 2418400 SOS 1125008 HAS SOPS 1105585 HAS SOUS 290453 HAS SOUPS 288256 WITH SCORE 289381.008
AT ITER 7324 NEW BEST:: SOT 2416788 SOS 1123396 HAS SOPS 1103973 HAS SOUS 290107 HAS SOUPS 287910 WITH SCORE 289033.396
AT ITER 7330 NEW BEST:: SOT 2416200 SOS 1122955 HAS SOPS 1103532 HAS SOUS 289494 HAS SOUPS 287297 WITH SCORE 288419.955
AT ITER 7337 NEW BEST:: SOT 2416288 SOS 1123043 HAS SOPS 1103620 HAS SOUS 289471 HAS SOUPS 287274 WITH SCORE 288397.043
AT ITER 7338 NEW BEST:: SOT 2416297 SOS 1123026 HAS SOPS 1103603 HAS SOUS 289454 HAS SOUPS 287257 WITH SCORE 288380.026
AT ITER 7375 NEW BEST:: SOT 2416095 SOS 1122824 HAS SOPS 1103401 HAS SOUS 289064 HAS SOUPS 286867 WITH SCORE 287989.824
AT ITER 7380 NEW BEST:: SOT 2416095 SOS 1122863 HAS SOPS 1103440 HAS SOUS 288986 HAS SOUPS 286789 WITH SCORE 287911.863
AT ITER 7381 NEW BEST:: SOT 2416096 SOS 1122801 HAS SOPS 1103378 HAS SOUS 288924 HAS SOUPS 286727 WITH SCORE 287849.801
AT ITER 7402 NEW BEST:: SOT 2416096 SOS 1122801 HAS SOPS 1103378 HAS SOUS 288898 HAS SOUPS 286701 WITH SCORE 287823.801
AT ITER 7406 NEW BEST:: SOT 2416010 SOS 1122713 HAS SOPS 1103290 HAS SOUS 288810 HAS SOUPS 286613 WITH SCORE 287735.713
AT ITER 7411 NEW BEST:: SOT 2415741 SOS 1122496 HAS SOPS 1103073 HAS SOUS 287382 HAS SOUPS 285185 WITH SCORE 286307.496
AT ITER 7436 NEW BEST:: SOT 2415774 SOS 1122490 HAS SOPS 1103067 HAS SOUS 287331 HAS SOUPS 285134 WITH SCORE 286256.49
AT ITER 7440 NEW BEST:: SOT 2415507 SOS 1120869 HAS SOPS 1101446 HAS SOUS 286845 HAS SOUPS 284648 WITH SCORE 285768.869
AT ITER 7444 NEW BEST:: SOT 2415507 SOS 1120838 HAS SOPS 1101415 HAS SOUS 286845 HAS SOUPS 284648 WITH SCORE 285768.838
AT ITER 7458 NEW BEST:: SOT 2415469 SOS 1120916 HAS SOPS 1101493 HAS SOUS 286837 HAS SOUPS 284640 WITH SCORE 285760.916
AT ITER 7476 NEW BEST:: SOT 2415469 SOS 1119556 HAS SOPS 1100133 HAS SOUS 286837 HAS SOUPS 284640 WITH SCORE 285759.556
AT ITER 7491 NEW BEST:: SOT 2415447 SOS 1119512 HAS SOPS 1100078 HAS SOUS 286793 HAS SOUPS 284596 WITH SCORE 285715.512
AT ITER 7501 NEW BEST:: SOT 2415453 SOS 1119371 HAS SOPS 1099937 HAS SOUS 286787 HAS SOUPS 284590 WITH SCORE 285709.371
AT ITER 7506 NEW BEST:: SOT 2415326 SOS 1119196 HAS SOPS 1099762 HAS SOUS 286662 HAS SOUPS 284465 WITH SCORE 285584.196
AT ITER 7510 NEW BEST:: SOT 2415313 SOS 1119170 HAS SOPS 1099736 HAS SOUS 286636 HAS SOUPS 284439 WITH SCORE 285558.17
AT ITER 7520 NEW BEST:: SOT 2415313 SOS 1117970 HAS SOPS 1098536 HAS SOUS 286636 HAS SOUPS 284439 WITH SCORE 285556.97
AT ITER 7541 NEW BEST:: SOT 2415324 SOS 1117981 HAS SOPS 1098547 HAS SOUS 286576 HAS SOUPS 284379 WITH SCORE 285496.981
AT ITER 7559 NEW BEST:: SOT 2415324 SOS 1117761 HAS SOPS 1098327 HAS SOUS 286576 HAS SOUPS 284379 WITH SCORE 285496.761
AT ITER 7560 NEW BEST:: SOT 2415071 SOS 1117395 HAS SOPS 1097961 HAS SOUS 286308 HAS SOUPS 284111 WITH SCORE 285228.395
AT ITER 7612 NEW BEST:: SOT 2415051 SOS 1117388 HAS SOPS 1097954 HAS SOUS 286301 HAS SOUPS 284104 WITH SCORE 285221.388
AT ITER 7656 NEW BEST:: SOT 2414781 SOS 1117118 HAS SOPS 1097684 HAS SOUS 286031 HAS SOUPS 283834 WITH SCORE 284951.118
AT ITER 7659 NEW BEST:: SOT 2414848 SOS 1117185 HAS SOPS 1097664 HAS SOUS 285948 HAS SOUPS 283735 WITH SCORE 284852.185
AT ITER 7733 NEW BEST:: SOT 2414828 SOS 1117227 HAS SOPS 1097706 HAS SOUS 285908 HAS SOUPS 283695 WITH SCORE 284812.227
AT ITER 7734 NEW BEST:: SOT 2414828 SOS 1117226 HAS SOPS 1097705 HAS SOUS 285907 HAS SOUPS 283694 WITH SCORE 284811.226
AT ITER 7735 NEW BEST:: SOT 2414520 SOS 1116748 HAS SOPS 1097227 HAS SOUS 285429 HAS SOUPS 283216 WITH SCORE 284332.748
AT ITER 7737 NEW BEST:: SOT 2414520 SOS 1116748 HAS SOPS 1097227 HAS SOUS 285399 HAS SOUPS 283186 WITH SCORE 284302.748
AT ITER 7741 NEW BEST:: SOT 2414408 SOS 1116532 HAS SOPS 1097011 HAS SOUS 285272 HAS SOUPS 283059 WITH SCORE 284175.532
AT ITER 7745 NEW BEST:: SOT 2414382 SOS 1116506 HAS SOPS 1096985 HAS SOUS 285220 HAS SOUPS 283007 WITH SCORE 284123.506
AT ITER 7753 NEW BEST:: SOT 2414371 SOS 1116504 HAS SOPS 1096983 HAS SOUS 285209 HAS SOUPS 282996 WITH SCORE 284112.504
AT ITER 7767 NEW BEST:: SOT 2414034 SOS 1116001 HAS SOPS 1096480 HAS SOUS 284797 HAS SOUPS 282584 WITH SCORE 283700.001
AT ITER 7770 NEW BEST:: SOT 2413932 SOS 1115933 HAS SOPS 1096412 HAS SOUS 284695 HAS SOUPS 282482 WITH SCORE 283597.933
AT ITER 7772 NEW BEST:: SOT 2413803 SOS 1115802 HAS SOPS 1096281 HAS SOUS 284620 HAS SOUPS 282407 WITH SCORE 283522.802
AT ITER 7787 NEW BEST:: SOT 2413724 SOS 1115653 HAS SOPS 1096132 HAS SOUS 284462 HAS SOUPS 282249 WITH SCORE 283364.653
AT ITER 7854 NEW BEST:: SOT 2412551 SOS 1114841 HAS SOPS 1095320 HAS SOUS 283644 HAS SOUPS 281431 WITH SCORE 282545.841
AT ITER 7864 NEW BEST:: SOT 2412551 SOS 1114841 HAS SOPS 1095320 HAS SOUS 283608 HAS SOUPS 281395 WITH SCORE 282509.841
AT ITER 7889 NEW BEST:: SOT 2412545 SOS 1114835 HAS SOPS 1095314 HAS SOUS 283596 HAS SOUPS 281383 WITH SCORE 282497.835
AT ITER 7890 NEW BEST:: SOT 2412523 SOS 1114933 HAS SOPS 1095412 HAS SOUS 283595 HAS SOUPS 281382 WITH SCORE 282496.933
AT ITER 7896 NEW BEST:: SOT 2412371 SOS 1114781 HAS SOPS 1095260 HAS SOUS 281847 HAS SOUPS 279634 WITH SCORE 280748.781
AT ITER 7900 NEW BEST:: SOT 2412354 SOS 1114747 HAS SOPS 1095226 HAS SOUS 281813 HAS SOUPS 279600 WITH SCORE 280714.747
AT ITER 7925 NEW BEST:: SOT 2412277 SOS 1114670 HAS SOPS 1095149 HAS SOUS 281788 HAS SOUPS 279575 WITH SCORE 280689.67
AT ITER 7932 NEW BEST:: SOT 2412538 SOS 1114893 HAS SOPS 1095265 HAS SOUS 281786 HAS SOUPS 279573 WITH SCORE 280687.893
AT ITER 7959 NEW BEST:: SOT 2412538 SOS 1114018 HAS SOPS 1094390 HAS SOUS 281731 HAS SOUPS 279518 WITH SCORE 280632.018
AT ITER 7978 NEW BEST:: SOT 2412463 SOS 1113943 HAS SOPS 1094315 HAS SOUS 281622 HAS SOUPS 279409 WITH SCORE 280522.943
AT ITER 7980 NEW BEST:: SOT 2412555 SOS 1114035 HAS SOPS 1094371 HAS SOUS 281543 HAS SOUPS 279330 WITH SCORE 280444.035
AT ITER 8003 NEW BEST:: SOT 2412556 SOS 1114036 HAS SOPS 1094372 HAS SOUS 281541 HAS SOUPS 279328 WITH SCORE 280442.036
AT ITER 8029 NEW BEST:: SOT 2412099 SOS 1113556 HAS SOPS 1093892 HAS SOUS 281061 HAS SOUPS 278848 WITH SCORE 279961.556
AT ITER 8058 NEW BEST:: SOT 2411844 SOS 1113463 HAS SOPS 1093799 HAS SOUS 280968 HAS SOUPS 278755 WITH SCORE 279868.463
AT ITER 8071 NEW BEST:: SOT 2411567 SOS 1113275 HAS SOPS 1093730 HAS SOUS 280776 HAS SOUPS 278563 WITH SCORE 279676.275
AT ITER 8100 NEW BEST:: SOT 2411698 SOS 1113451 HAS SOPS 1093906 HAS SOUS 280768 HAS SOUPS 278555 WITH SCORE 279668.451
AT ITER 8108 NEW BEST:: SOT 2411696 SOS 1113449 HAS SOPS 1093906 HAS SOUS 280764 HAS SOUPS 278553 WITH SCORE 279666.449
AT ITER 8134 NEW BEST:: SOT 2411643 SOS 1113427 HAS SOPS 1093884 HAS SOUS 280658 HAS SOUPS 278447 WITH SCORE 279560.427
AT ITER 8141 NEW BEST:: SOT 2411550 SOS 1113334 HAS SOPS 1093791 HAS SOUS 280565 HAS SOUPS 278354 WITH SCORE 279467.334
AT ITER 8146 NEW BEST:: SOT 2411255 SOS 1112533 HAS SOPS 1092990 HAS SOUS 280481 HAS SOUPS 278270 WITH SCORE 279382.533
AT ITER 8156 NEW BEST:: SOT 2411255 SOS 1112533 HAS SOPS 1092990 HAS SOUS 280459 HAS SOUPS 278248 WITH SCORE 279360.533
AT ITER 8174 NEW BEST:: SOT 2411251 SOS 1112519 HAS SOPS 1092976 HAS SOUS 280445 HAS SOUPS 278234 WITH SCORE 279346.519
AT ITER 8184 NEW BEST:: SOT 2411197 SOS 1112465 HAS SOPS 1092922 HAS SOUS 280263 HAS SOUPS 278052 WITH SCORE 279164.465
AT ITER 8188 NEW BEST:: SOT 2411227 SOS 1112495 HAS SOPS 1092854 HAS SOUS 280225 HAS SOUPS 278014 WITH SCORE 279126.495
AT ITER 8189 NEW BEST:: SOT 2411020 SOS 1112319 HAS SOPS 1092678 HAS SOUS 280018 HAS SOUPS 277807 WITH SCORE 278919.319
AT ITER 8212 NEW BEST:: SOT 2411134 SOS 1112433 HAS SOPS 1092683 HAS SOUS 280073 HAS SOUPS 277799 WITH SCORE 278911.433
AT ITER 8255 NEW BEST:: SOT 2411129 SOS 1112423 HAS SOPS 1092673 HAS SOUS 280063 HAS SOUPS 277789 WITH SCORE 278901.423
AT ITER 8326 NEW BEST:: SOT 2411121 SOS 1112415 HAS SOPS 1092665 HAS SOUS 280042 HAS SOUPS 277768 WITH SCORE 278880.415
AT ITER 8327 NEW BEST:: SOT 2411051 SOS 1112344 HAS SOPS 1092594 HAS SOUS 279970 HAS SOUPS 277696 WITH SCORE 278808.344
AT ITER 8343 NEW BEST:: SOT 2411001 SOS 1112294 HAS SOPS 1092544 HAS SOUS 278713 HAS SOUPS 276439 WITH SCORE 277551.294
AT ITER 8354 NEW BEST:: SOT 2410833 SOS 1112126 HAS SOPS 1092376 HAS SOUS 278545 HAS SOUPS 276271 WITH SCORE 277383.126
AT ITER 8378 NEW BEST:: SOT 2410734 SOS 1112027 HAS SOPS 1092277 HAS SOUS 278347 HAS SOUPS 276073 WITH SCORE 277185.027
AT ITER 8400 NEW BEST:: SOT 2410737 SOS 1112027 HAS SOPS 1092277 HAS SOUS 278341 HAS SOUPS 276067 WITH SCORE 277179.027
AT ITER 8402 NEW BEST:: SOT 2410794 SOS 1112081 HAS SOPS 1092331 HAS SOUS 278144 HAS SOUPS 275870 WITH SCORE 276982.081
AT ITER 8431 NEW BEST:: SOT 2410785 SOS 1112002 HAS SOPS 1092243 HAS SOUS 278056 HAS SOUPS 275782 WITH SCORE 276894.002
AT ITER 8469 NEW BEST:: SOT 2410706 SOS 1111923 HAS SOPS 1092164 HAS SOUS 277977 HAS SOUPS 275703 WITH SCORE 276814.923
AT ITER 8491 NEW BEST:: SOT 2410696 SOS 1111913 HAS SOPS 1092154 HAS SOUS 277975 HAS SOUPS 275701 WITH SCORE 276812.913
AT ITER 8502 NEW BEST:: SOT 2402886 SOS 1104216 HAS SOPS 1084457 HAS SOUS 276392 HAS SOUPS 274118 WITH SCORE 275222.216
AT ITER 8508 NEW BEST:: SOT 2402901 SOS 1104216 HAS SOPS 1084457 HAS SOUS 276212 HAS SOUPS 273938 WITH SCORE 275042.216
AT ITER 8528 NEW BEST:: SOT 2402839 SOS 1104092 HAS SOPS 1084333 HAS SOUS 276088 HAS SOUPS 273814 WITH SCORE 274918.092
AT ITER 8531 NEW BEST:: SOT 2402554 SOS 1103807 HAS SOPS 1084048 HAS SOUS 275379 HAS SOUPS 273105 WITH SCORE 274208.807
AT ITER 8535 NEW BEST:: SOT 2402250 SOS 1103503 HAS SOPS 1083744 HAS SOUS 274937 HAS SOUPS 272663 WITH SCORE 273766.503
AT ITER 8557 NEW BEST:: SOT 2401701 SOS 1101974 HAS SOPS 1082215 HAS SOUS 274535 HAS SOUPS 272261 WITH SCORE 273362.974
AT ITER 8562 NEW BEST:: SOT 2401567 SOS 1101698 HAS SOPS 1081919 HAS SOUS 274284 HAS SOUPS 272010 WITH SCORE 273111.698
AT ITER 8591 NEW BEST:: SOT 2401547 SOS 1101678 HAS SOPS 1081903 HAS SOUS 274264 HAS SOUPS 271994 WITH SCORE 273095.678
AT ITER 8605 NEW BEST:: SOT 2401330 SOS 1101281 HAS SOPS 1081506 HAS SOUS 274151 HAS SOUPS 271881 WITH SCORE 272982.281
AT ITER 8656 NEW BEST:: SOT 2401298 SOS 1101249 HAS SOPS 1081474 HAS SOUS 274087 HAS SOUPS 271817 WITH SCORE 272918.249
AT ITER 8674 NEW BEST:: SOT 2401298 SOS 1101311 HAS SOPS 1081536 HAS SOUS 274072 HAS SOUPS 271802 WITH SCORE 272903.311
AT ITER 8677 NEW BEST:: SOT 2401651 SOS 1104134 HAS SOPS 1084359 HAS SOUS 273791 HAS SOUPS 271521 WITH SCORE 272625.134
AT ITER 8689 NEW BEST:: SOT 2401749 SOS 1103886 HAS SOPS 1084111 HAS SOUS 273719 HAS SOUPS 271449 WITH SCORE 272552.886
AT ITER 8700 NEW BEST:: SOT 2401861 SOS 1104286 HAS SOPS 1084511 HAS SOUS 273591 HAS SOUPS 271321 WITH SCORE 272425.286
AT ITER 8716 NEW BEST:: SOT 2401582 SOS 1103803 HAS SOPS 1084028 HAS SOUS 273237 HAS SOUPS 270967 WITH SCORE 272070.803
AT ITER 8725 NEW BEST:: SOT 2400818 SOS 1102857 HAS SOPS 1083082 HAS SOUS 272291 HAS SOUPS 270021 WITH SCORE 271123.857
AT ITER 8763 NEW BEST:: SOT 2400818 SOS 1102732 HAS SOPS 1082957 HAS SOUS 272166 HAS SOUPS 269896 WITH SCORE 270998.732
AT ITER 8819 NEW BEST:: SOT 2400725 SOS 1102639 HAS SOPS 1082864 HAS SOUS 272084 HAS SOUPS 269814 WITH SCORE 270916.639
AT ITER 8842 NEW BEST:: SOT 2400571 SOS 1102485 HAS SOPS 1082864 HAS SOUS 271930 HAS SOUPS 269660 WITH SCORE 270762.485
AT ITER 8850 NEW BEST:: SOT 2400538 SOS 1102452 HAS SOPS 1082831 HAS SOUS 271856 HAS SOUPS 269586 WITH SCORE 270688.452
AT ITER 8905 NEW BEST:: SOT 2400538 SOS 1102440 HAS SOPS 1082819 HAS SOUS 271844 HAS SOUPS 269574 WITH SCORE 270676.44
AT ITER 8909 NEW BEST:: SOT 2400509 SOS 1102411 HAS SOPS 1082790 HAS SOUS 271788 HAS SOUPS 269518 WITH SCORE 270620.411
AT ITER 8918 NEW BEST:: SOT 2400815 SOS 1102854 HAS SOPS 1086113 HAS SOUS 271424 HAS SOUPS 269442 WITH SCORE 270544.854
AT ITER 8942 NEW BEST:: SOT 2400859 SOS 1103048 HAS SOPS 1086307 HAS SOUS 271122 HAS SOUPS 269140 WITH SCORE 270243.048
AT ITER 8948 NEW BEST:: SOT 2400859 SOS 1103045 HAS SOPS 1086304 HAS SOUS 271119 HAS SOUPS 269137 WITH SCORE 270240.045
AT ITER 8953 NEW BEST:: SOT 2400859 SOS 1102645 HAS SOPS 1085904 HAS SOUS 271119 HAS SOUPS 269137 WITH SCORE 270239.645
AT ITER 8974 NEW BEST:: SOT 2400827 SOS 1102613 HAS SOPS 1085872 HAS SOUS 271055 HAS SOUPS 269073 WITH SCORE 270175.613
AT ITER 8990 NEW BEST:: SOT 2401138 SOS 1102833 HAS SOPS 1086092 HAS SOUS 270105 HAS SOUPS 268123 WITH SCORE 269225.833
AT ITER 9000 NEW BEST:: SOT 2400889 SOS 1102452 HAS SOPS 1085711 HAS SOUS 269871 HAS SOUPS 267889 WITH SCORE 268991.452
AT ITER 9001 NEW BEST:: SOT 2401362 SOS 1102922 HAS SOPS 1080461 HAS SOUS 270416 HAS SOUPS 267862 WITH SCORE 268964.922
AT ITER 9011 NEW BEST:: SOT 2401354 SOS 1102919 HAS SOPS 1080458 HAS SOUS 270405 HAS SOUPS 267851 WITH SCORE 268953.919
AT ITER 9029 NEW BEST:: SOT 2401423 SOS 1103108 HAS SOPS 1080647 HAS SOUS 269168 HAS SOUPS 266614 WITH SCORE 267717.108
AT ITER 9042 NEW BEST:: SOT 2401380 SOS 1103065 HAS SOPS 1080604 HAS SOUS 269126 HAS SOUPS 266572 WITH SCORE 267675.065
AT ITER 9084 NEW BEST:: SOT 2401251 SOS 1102936 HAS SOPS 1080475 HAS SOUS 268868 HAS SOUPS 266314 WITH SCORE 267416.936
AT ITER 9109 NEW BEST:: SOT 2401251 SOS 1102936 HAS SOPS 1080475 HAS SOUS 268861 HAS SOUPS 266307 WITH SCORE 267409.936
AT ITER 9131 NEW BEST:: SOT 2401009 SOS 1102545 HAS SOPS 1080084 HAS SOUS 268597 HAS SOUPS 266043 WITH SCORE 267145.545
AT ITER 9132 NEW BEST:: SOT 2401001 SOS 1102537 HAS SOPS 1080076 HAS SOUS 268589 HAS SOUPS 266035 WITH SCORE 267137.537
AT ITER 9148 NEW BEST:: SOT 2400933 SOS 1102469 HAS SOPS 1080008 HAS SOUS 268526 HAS SOUPS 265972 WITH SCORE 267074.469
AT ITER 9161 NEW BEST:: SOT 2400932 SOS 1102468 HAS SOPS 1080007 HAS SOUS 268525 HAS SOUPS 265971 WITH SCORE 267073.468
AT ITER 9164 NEW BEST:: SOT 2400703 SOS 1102240 HAS SOPS 1079779 HAS SOUS 268261 HAS SOUPS 265707 WITH SCORE 266809.24
AT ITER 9199 NEW BEST:: SOT 2400665 SOS 1102894 HAS SOPS 1080268 HAS SOUS 268038 HAS SOUPS 265484 WITH SCORE 266586.894
AT ITER 9202 NEW BEST:: SOT 2399285 SOS 1101526 HAS SOPS 1078900 HAS SOUS 267678 HAS SOUPS 265124 WITH SCORE 266225.526
AT ITER 9243 NEW BEST:: SOT 2399154 SOS 1101264 HAS SOPS 1078638 HAS SOUS 267416 HAS SOUPS 264862 WITH SCORE 265963.264
AT ITER 9258 NEW BEST:: SOT 2399170 SOS 1101223 HAS SOPS 1078597 HAS SOUS 267391 HAS SOUPS 264837 WITH SCORE 265938.223
AT ITER 9266 NEW BEST:: SOT 2399136 SOS 1101169 HAS SOPS 1078543 HAS SOUS 267303 HAS SOUPS 264749 WITH SCORE 265850.169
AT ITER 9299 NEW BEST:: SOT 2399367 SOS 1101445 HAS SOPS 1078819 HAS SOUS 267090 HAS SOUPS 264536 WITH SCORE 265637.445
AT ITER 9311 NEW BEST:: SOT 2399237 SOS 1101315 HAS SOPS 1078689 HAS SOUS 266830 HAS SOUPS 264276 WITH SCORE 265377.315
AT ITER 9343 NEW BEST:: SOT 2399028 SOS 1101056 HAS SOPS 1078430 HAS SOUS 266690 HAS SOUPS 264136 WITH SCORE 265237.056
AT ITER 9393 NEW BEST:: SOT 2399057 SOS 1101107 HAS SOPS 1078446 HAS SOUS 266648 HAS SOUPS 264094 WITH SCORE 265195.107
AT ITER 9412 NEW BEST:: SOT 2399155 SOS 1101345 HAS SOPS 1078544 HAS SOUS 266609 HAS SOUPS 264055 WITH SCORE 265156.345
AT ITER 9430 NEW BEST:: SOT 2399091 SOS 1102103 HAS SOPS 1079302 HAS SOUS 266485 HAS SOUPS 263931 WITH SCORE 265033.103
AT ITER 9446 NEW BEST:: SOT 2400055 SOS 1103043 HAS SOPS 1080242 HAS SOUS 265765 HAS SOUPS 263211 WITH SCORE 264314.043
AT ITER 9471 NEW BEST:: SOT 2400007 SOS 1102951 HAS SOPS 1080150 HAS SOUS 265669 HAS SOUPS 263115 WITH SCORE 264217.951
AT ITER 9495 NEW BEST:: SOT 2399991 SOS 1102935 HAS SOPS 1080134 HAS SOUS 265016 HAS SOUPS 262462 WITH SCORE 263564.935
AT ITER 9501 NEW BEST:: SOT 2399980 SOS 1102918 HAS SOPS 1080117 HAS SOUS 264990 HAS SOUPS 262436 WITH SCORE 263538.918
AT ITER 9516 NEW BEST:: SOT 2399974 SOS 1102912 HAS SOPS 1080111 HAS SOUS 264978 HAS SOUPS 262424 WITH SCORE 263526.912
AT ITER 9529 NEW BEST:: SOT 2399917 SOS 1102792 HAS SOPS 1079991 HAS SOUS 264864 HAS SOUPS 262310 WITH SCORE 263412.792
AT ITER 9535 NEW BEST:: SOT 2399879 SOS 1102716 HAS SOPS 1079915 HAS SOUS 264788 HAS SOUPS 262234 WITH SCORE 263336.716
AT ITER 9543 NEW BEST:: SOT 2399635 SOS 1102564 HAS SOPS 1079763 HAS SOUS 264686 HAS SOUPS 262132 WITH SCORE 263234.564
AT ITER 9553 NEW BEST:: SOT 2399553 SOS 1102414 HAS SOPS 1079613 HAS SOUS 264468 HAS SOUPS 261914 WITH SCORE 263016.414
AT ITER 9560 NEW BEST:: SOT 2399414 SOS 1102275 HAS SOPS 1079474 HAS SOUS 264190 HAS SOUPS 261636 WITH SCORE 262738.275
AT ITER 9564 NEW BEST:: SOT 2399330 SOS 1102191 HAS SOPS 1079390 HAS SOUS 264032 HAS SOUPS 261478 WITH SCORE 262580.191
AT ITER 9586 NEW BEST:: SOT 2399330 SOS 1102158 HAS SOPS 1079357 HAS SOUS 264032 HAS SOUPS 261478 WITH SCORE 262580.158
AT ITER 9593 NEW BEST:: SOT 2399589 SOS 1102417 HAS SOPS 1079500 HAS SOUS 263999 HAS SOUPS 261445 WITH SCORE 262547.417
AT ITER 9614 NEW BEST:: SOT 2399558 SOS 1102355 HAS SOPS 1079438 HAS SOUS 263937 HAS SOUPS 261383 WITH SCORE 262485.355
AT ITER 9621 NEW BEST:: SOT 2399788 SOS 1102557 HAS SOPS 1079640 HAS SOUS 263896 HAS SOUPS 261342 WITH SCORE 262444.557
AT ITER 9647 NEW BEST:: SOT 2399788 SOS 1102557 HAS SOPS 1079640 HAS SOUS 263874 HAS SOUPS 261320 WITH SCORE 262422.557
AT ITER 9661 NEW BEST:: SOT 2399788 SOS 1102549 HAS SOPS 1079632 HAS SOUS 263874 HAS SOUPS 261320 WITH SCORE 262422.549
AT ITER 9663 NEW BEST:: SOT 2399636 SOS 1102321 HAS SOPS 1079404 HAS SOUS 263684 HAS SOUPS 261130 WITH SCORE 262232.321
AT ITER 9695 NEW BEST:: SOT 2395082 SOS 1097767 HAS SOPS 1074850 HAS SOUS 262544 HAS SOUPS 259990 WITH SCORE 261087.767
AT ITER 9720 NEW BEST:: SOT 2395061 SOS 1097746 HAS SOPS 1074829 HAS SOUS 262539 HAS SOUPS 259985 WITH SCORE 261082.746
AT ITER 9725 NEW BEST:: SOT 2395041 SOS 1097689 HAS SOPS 1074772 HAS SOUS 262539 HAS SOUPS 259985 WITH SCORE 261082.689
AT ITER 9728 NEW BEST:: SOT 2395081 SOS 1097590 HAS SOPS 1074614 HAS SOUS 262401 HAS SOUPS 259847 WITH SCORE 260944.59
AT ITER 9737 NEW BEST:: SOT 2395081 SOS 1097590 HAS SOPS 1074614 HAS SOUS 262370 HAS SOUPS 259816 WITH SCORE 260913.59
AT ITER 9739 NEW BEST:: SOT 2394881 SOS 1097390 HAS SOPS 1074414 HAS SOUS 262262 HAS SOUPS 259708 WITH SCORE 260805.39
AT ITER 9784 NEW BEST:: SOT 2394728 SOS 1097237 HAS SOPS 1074261 HAS SOUS 262007 HAS SOUPS 259453 WITH SCORE 260550.237
AT ITER 9787 NEW BEST:: SOT 2394706 SOS 1097161 HAS SOPS 1074185 HAS SOUS 261963 HAS SOUPS 259409 WITH SCORE 260506.161
AT ITER 9801 NEW BEST:: SOT 2394703 SOS 1097009 HAS SOPS 1074041 HAS SOUS 261941 HAS SOUPS 259387 WITH SCORE 260484.009
AT ITER 9805 NEW BEST:: SOT 2394679 SOS 1096985 HAS SOPS 1074017 HAS SOUS 261917 HAS SOUPS 259363 WITH SCORE 260459.985
AT ITER 9807 NEW BEST:: SOT 2394678 SOS 1096984 HAS SOPS 1074024 HAS SOUS 261893 HAS SOUPS 259339 WITH SCORE 260435.984
AT ITER 9827 NEW BEST:: SOT 2394639 SOS 1096945 HAS SOPS 1073985 HAS SOUS 260406 HAS SOUPS 257852 WITH SCORE 258948.945
AT ITER 9851 NEW BEST:: SOT 2394639 SOS 1096803 HAS SOPS 1073843 HAS SOUS 260406 HAS SOUPS 257852 WITH SCORE 258948.803
AT ITER 9858 NEW BEST:: SOT 2400093 SOS 1102257 HAS SOPS 1079297 HAS SOUS 259278 HAS SOUPS 256724 WITH SCORE 257826.257
AT ITER 9869 NEW BEST:: SOT 2400080 SOS 1102244 HAS SOPS 1079284 HAS SOUS 259244 HAS SOUPS 256690 WITH SCORE 257792.244
AT ITER 9891 NEW BEST:: SOT 2400096 SOS 1102214 HAS SOPS 1079254 HAS SOUS 259214 HAS SOUPS 256660 WITH SCORE 257762.214
AT ITER 9894 NEW BEST:: SOT 2400096 SOS 1102214 HAS SOPS 1079257 HAS SOUS 259208 HAS SOUPS 256654 WITH SCORE 257756.214
AT ITER 9913 NEW BEST:: SOT 2400060 SOS 1102178 HAS SOPS 1079221 HAS SOUS 259136 HAS SOUPS 256582 WITH SCORE 257684.178
AT ITER 9924 NEW BEST:: SOT 2399860 SOS 1101978 HAS SOPS 1079021 HAS SOUS 258936 HAS SOUPS 256382 WITH SCORE 257483.978
AT ITER 9926 NEW BEST:: SOT 2399860 SOS 1101978 HAS SOPS 1078990 HAS SOUS 258895 HAS SOUPS 256341 WITH SCORE 257442.978
AT ITER 9929 NEW BEST:: SOT 2375291 SOS 1077409 HAS SOPS 1054421 HAS SOUS 255359 HAS SOUPS 252805 WITH SCORE 253882.409
AT ITER 9935 NEW BEST:: SOT 2375284 SOS 1077402 HAS SOPS 1054414 HAS SOUS 255345 HAS SOUPS 252791 WITH SCORE 253868.402
AT ITER 9936 NEW BEST:: SOT 2375230 SOS 1077321 HAS SOPS 1054333 HAS SOUS 255237 HAS SOUPS 252683 WITH SCORE 253760.321
AT ITER 9942 NEW BEST:: SOT 2375237 SOS 1077525 HAS SOPS 1054552 HAS SOUS 255212 HAS SOUPS 252673 WITH SCORE 253750.525
AT ITER 9952 NEW BEST:: SOT 2375094 SOS 1077340 HAS SOPS 1054343 HAS SOUS 255196 HAS SOUPS 252657 WITH SCORE 253734.34
AT ITER 9964 NEW BEST:: SOT 2375037 SOS 1077475 HAS SOPS 1054478 HAS SOUS 255189 HAS SOUPS 252650 WITH SCORE 253727.475
AT ITER 9976 NEW BEST:: SOT 2375001 SOS 1077430 HAS SOPS 1054433 HAS SOUS 255153 HAS SOUPS 252614 WITH SCORE 253691.43
AT ITER 9991 NEW BEST:: SOT 2374969 SOS 1077398 HAS SOPS 1054401 HAS SOUS 255089 HAS SOUPS 252550 WITH SCORE 253627.398
AT ITER 9995 NEW BEST:: SOT 2375145 SOS 1077552 HAS SOPS 1054555 HAS SOUS 255045 HAS SOUPS 252506 WITH SCORE 253583.552

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="PolyORBLF-PT-S04J06T10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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