Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813600000280.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is AirplaneLD-PT-0200, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600000280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 110K Feb 26 11:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 411K Feb 26 11:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 79K Feb 26 11:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 470K Feb 26 11:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 50K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 47K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 213K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 224K Feb 26 11:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 807K Feb 26 11:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 87K Feb 26 11:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 507K Feb 26 11:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 31K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 872K Mar 5 18:22 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 1678731279626

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AirplaneLD-PT-0200
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 18:14:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 18:14:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 18:14:42] [INFO ] Load time of PNML (sax parser for PT used): 233 ms
[2023-03-13 18:14:42] [INFO ] Transformed 1419 places.
[2023-03-13 18:14:42] [INFO ] Transformed 1608 transitions.
[2023-03-13 18:14:42] [INFO ] Parsed PT model containing 1419 places and 1608 transitions and 6128 arcs in 339 ms.
[2023-03-13 18:14:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1419 places, 1608 transitions and 6128 arcs took 15 ms.
Total runtime 387 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0200
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1419 places, 1608 transitions, 6128 arcs.
AT ITER 0 NEW BEST:: SOT 1796657 SOS 968334 HAS SOPS 947530 HAS SOUS 742774 HAS SOUPS 721970 WITH SCORE 722938.334
AT ITER 2 NEW BEST:: SOT 1796004 SOS 968418 HAS SOPS 947676 HAS SOUS 742457 HAS SOUPS 721715 WITH SCORE 722683.418
AT ITER 3 NEW BEST:: SOT 1795363 SOS 968212 HAS SOPS 947470 HAS SOUS 742076 HAS SOUPS 721334 WITH SCORE 722302.212
AT ITER 11 NEW BEST:: SOT 1794777 SOS 968378 HAS SOPS 947791 HAS SOUS 741656 HAS SOUPS 721069 WITH SCORE 722037.378
AT ITER 19 NEW BEST:: SOT 1794525 SOS 968378 HAS SOPS 947791 HAS SOUS 741640 HAS SOUPS 721053 WITH SCORE 722021.378
AT ITER 20 NEW BEST:: SOT 1794171 SOS 968378 HAS SOPS 947791 HAS SOUS 741286 HAS SOUPS 720699 WITH SCORE 721667.378
AT ITER 23 NEW BEST:: SOT 1793626 SOS 968378 HAS SOPS 947919 HAS SOUS 740741 HAS SOUPS 720282 WITH SCORE 721250.378
AT ITER 24 NEW BEST:: SOT 1793092 SOS 968330 HAS SOPS 947871 HAS SOUS 740207 HAS SOUPS 719748 WITH SCORE 720716.33
AT ITER 25 NEW BEST:: SOT 1792426 SOS 968023 HAS SOPS 947564 HAS SOUS 739776 HAS SOUPS 719317 WITH SCORE 720285.023
AT ITER 28 NEW BEST:: SOT 1792170 SOS 968113 HAS SOPS 947654 HAS SOUS 739319 HAS SOUPS 718860 WITH SCORE 719828.113
AT ITER 30 NEW BEST:: SOT 1791474 SOS 967858 HAS SOPS 947399 HAS SOUS 738702 HAS SOUPS 718243 WITH SCORE 719210.858
AT ITER 34 NEW BEST:: SOT 1791474 SOS 967858 HAS SOPS 947399 HAS SOUS 738488 HAS SOUPS 718029 WITH SCORE 718996.858
AT ITER 44 NEW BEST:: SOT 1791085 SOS 967858 HAS SOPS 947399 HAS SOUS 738099 HAS SOUPS 717640 WITH SCORE 718607.858
AT ITER 47 NEW BEST:: SOT 1791085 SOS 967858 HAS SOPS 947399 HAS SOUS 737894 HAS SOUPS 717435 WITH SCORE 718402.858
AT ITER 49 NEW BEST:: SOT 1790494 SOS 967959 HAS SOPS 947500 HAS SOUS 737405 HAS SOUPS 716946 WITH SCORE 717913.959
AT ITER 51 NEW BEST:: SOT 1791243 SOS 970357 HAS SOPS 948249 HAS SOUS 738323 HAS SOUPS 716788 WITH SCORE 717758.357
AT ITER 52 NEW BEST:: SOT 1791162 SOS 970357 HAS SOPS 948249 HAS SOUS 738242 HAS SOUPS 716707 WITH SCORE 717677.357
AT ITER 53 NEW BEST:: SOT 1790611 SOS 970373 HAS SOPS 948565 HAS SOUS 737707 HAS SOUPS 716472 WITH SCORE 717442.373
AT ITER 56 NEW BEST:: SOT 1789710 SOS 969959 HAS SOPS 948151 HAS SOUS 736879 HAS SOUPS 715644 WITH SCORE 716613.959
AT ITER 57 NEW BEST:: SOT 1789702 SOS 969951 HAS SOPS 948143 HAS SOUS 736863 HAS SOUPS 715628 WITH SCORE 716597.951
AT ITER 58 NEW BEST:: SOT 1789294 SOS 969932 HAS SOPS 948124 HAS SOUS 736682 HAS SOUPS 715447 WITH SCORE 716416.932
AT ITER 63 NEW BEST:: SOT 1789294 SOS 969890 HAS SOPS 948124 HAS SOUS 736640 HAS SOUPS 715447 WITH SCORE 716416.89
AT ITER 64 NEW BEST:: SOT 1788724 SOS 970146 HAS SOPS 948497 HAS SOUS 736364 HAS SOUPS 715288 WITH SCORE 716258.146
AT ITER 66 NEW BEST:: SOT 1788034 SOS 970063 HAS SOPS 948414 HAS SOUS 734984 HAS SOUPS 713908 WITH SCORE 714878.063
AT ITER 67 NEW BEST:: SOT 1787434 SOS 969794 HAS SOPS 948145 HAS SOUS 734384 HAS SOUPS 713308 WITH SCORE 714277.794
AT ITER 77 NEW BEST:: SOT 1786589 SOS 969449 HAS SOPS 947800 HAS SOUS 733539 HAS SOUPS 712463 WITH SCORE 713432.449
AT ITER 78 NEW BEST:: SOT 1786050 SOS 969234 HAS SOPS 947585 HAS SOUS 733000 HAS SOUPS 711924 WITH SCORE 712893.234
AT ITER 80 NEW BEST:: SOT 1785924 SOS 969234 HAS SOPS 947585 HAS SOUS 732874 HAS SOUPS 711798 WITH SCORE 712767.234
AT ITER 85 NEW BEST:: SOT 1785382 SOS 969234 HAS SOPS 947585 HAS SOUS 731790 HAS SOUPS 710714 WITH SCORE 711683.234
AT ITER 93 NEW BEST:: SOT 1784870 SOS 969234 HAS SOPS 947729 HAS SOUS 731278 HAS SOUPS 710346 WITH SCORE 711315.234
AT ITER 95 NEW BEST:: SOT 1784420 SOS 969234 HAS SOPS 947729 HAS SOUS 730378 HAS SOUPS 709446 WITH SCORE 710415.234
AT ITER 99 NEW BEST:: SOT 1784420 SOS 969232 HAS SOPS 947727 HAS SOUS 730378 HAS SOUPS 709446 WITH SCORE 710415.232
AT ITER 104 NEW BEST:: SOT 1784231 SOS 969232 HAS SOPS 947727 HAS SOUS 730189 HAS SOUPS 709257 WITH SCORE 710226.232
AT ITER 105 NEW BEST:: SOT 1783521 SOS 969198 HAS SOPS 947693 HAS SOUS 728769 HAS SOUPS 707837 WITH SCORE 708806.198
AT ITER 106 NEW BEST:: SOT 1782858 SOS 969257 HAS SOPS 947767 HAS SOUS 728435 HAS SOUPS 707518 WITH SCORE 708487.257
AT ITER 108 NEW BEST:: SOT 1782231 SOS 969350 HAS SOPS 947873 HAS SOUS 728213 HAS SOUPS 707309 WITH SCORE 708278.35
AT ITER 118 NEW BEST:: SOT 1781553 SOS 969027 HAS SOPS 947550 HAS SOUS 727535 HAS SOUPS 706631 WITH SCORE 707600.027
AT ITER 121 NEW BEST:: SOT 1781362 SOS 969348 HAS SOPS 947871 HAS SOUS 727153 HAS SOUPS 706249 WITH SCORE 707218.348
AT ITER 124 NEW BEST:: SOT 1781061 SOS 969623 HAS SOPS 948146 HAS SOUS 726551 HAS SOUPS 705647 WITH SCORE 706616.623
AT ITER 125 NEW BEST:: SOT 1780458 SOS 969274 HAS SOPS 947797 HAS SOUS 725948 HAS SOUPS 705044 WITH SCORE 706013.274
AT ITER 126 NEW BEST:: SOT 1779941 SOS 969196 HAS SOPS 947719 HAS SOUS 725431 HAS SOUPS 704527 WITH SCORE 705496.196
AT ITER 127 NEW BEST:: SOT 1779428 SOS 969196 HAS SOPS 947719 HAS SOUS 724405 HAS SOUPS 703501 WITH SCORE 704470.196
AT ITER 128 NEW BEST:: SOT 1779127 SOS 969357 HAS SOPS 947897 HAS SOUS 724264 HAS SOUPS 703377 WITH SCORE 704346.357
AT ITER 132 NEW BEST:: SOT 1778826 SOS 969581 HAS SOPS 948121 HAS SOUS 723662 HAS SOUPS 702775 WITH SCORE 703744.581
AT ITER 133 NEW BEST:: SOT 1778608 SOS 969467 HAS SOPS 948007 HAS SOUS 723444 HAS SOUPS 702557 WITH SCORE 703526.467
AT ITER 134 NEW BEST:: SOT 1777984 SOS 969163 HAS SOPS 947703 HAS SOUS 722820 HAS SOUPS 701933 WITH SCORE 702902.163
AT ITER 136 NEW BEST:: SOT 1777760 SOS 969491 HAS SOPS 948031 HAS SOUS 722391 HAS SOUPS 701504 WITH SCORE 702473.491
AT ITER 137 NEW BEST:: SOT 1777233 SOS 969385 HAS SOPS 947925 HAS SOUS 721864 HAS SOUPS 700977 WITH SCORE 701946.385
AT ITER 138 NEW BEST:: SOT 1777182 SOS 969872 HAS SOPS 948412 HAS SOUS 721775 HAS SOUPS 700888 WITH SCORE 701857.872
AT ITER 139 NEW BEST:: SOT 1776664 SOS 969872 HAS SOPS 948412 HAS SOUS 720739 HAS SOUPS 699852 WITH SCORE 700821.872
AT ITER 147 NEW BEST:: SOT 1776128 SOS 970098 HAS SOPS 948691 HAS SOUS 720576 HAS SOUPS 699742 WITH SCORE 700712.098
AT ITER 150 NEW BEST:: SOT 1775928 SOS 970457 HAS SOPS 949050 HAS SOUS 720176 HAS SOUPS 699342 WITH SCORE 700312.457
AT ITER 155 NEW BEST:: SOT 1775193 SOS 970345 HAS SOPS 948938 HAS SOUS 718770 HAS SOUPS 697936 WITH SCORE 698906.345
AT ITER 159 NEW BEST:: SOT 1774778 SOS 970339 HAS SOPS 948932 HAS SOUS 718549 HAS SOUPS 697715 WITH SCORE 698685.339
AT ITER 160 NEW BEST:: SOT 1774077 SOS 970078 HAS SOPS 948671 HAS SOUS 717848 HAS SOUPS 697014 WITH SCORE 697984.078
AT ITER 167 NEW BEST:: SOT 1774072 SOS 970074 HAS SOPS 948667 HAS SOUS 717838 HAS SOUPS 697004 WITH SCORE 697974.074
AT ITER 168 NEW BEST:: SOT 1774072 SOS 970074 HAS SOPS 948667 HAS SOUS 717607 HAS SOUPS 696773 WITH SCORE 697743.074
AT ITER 169 NEW BEST:: SOT 1773536 SOS 970074 HAS SOPS 948867 HAS SOUS 717071 HAS SOUPS 696437 WITH SCORE 697407.074
AT ITER 170 NEW BEST:: SOT 1773462 SOS 970074 HAS SOPS 948867 HAS SOUS 716997 HAS SOUPS 696363 WITH SCORE 697333.074
AT ITER 176 NEW BEST:: SOT 1773126 SOS 970409 HAS SOPS 949202 HAS SOUS 716350 HAS SOUPS 695716 WITH SCORE 696686.409
AT ITER 178 NEW BEST:: SOT 1773126 SOS 970409 HAS SOPS 949202 HAS SOUS 716235 HAS SOUPS 695601 WITH SCORE 696571.409
AT ITER 179 NEW BEST:: SOT 1772765 SOS 970409 HAS SOPS 949202 HAS SOUS 715874 HAS SOUPS 695240 WITH SCORE 696210.409
AT ITER 187 NEW BEST:: SOT 1772568 SOS 970409 HAS SOPS 949202 HAS SOUS 715677 HAS SOUPS 695043 WITH SCORE 696013.409
AT ITER 191 NEW BEST:: SOT 1772513 SOS 970409 HAS SOPS 949202 HAS SOUS 715622 HAS SOUPS 694988 WITH SCORE 695958.409
AT ITER 194 NEW BEST:: SOT 1771996 SOS 970272 HAS SOPS 949065 HAS SOUS 715431 HAS SOUPS 694797 WITH SCORE 695767.272
AT ITER 196 NEW BEST:: SOT 1771951 SOS 970227 HAS SOPS 949020 HAS SOUS 715341 HAS SOUPS 694707 WITH SCORE 695677.227
AT ITER 197 NEW BEST:: SOT 1869910 SOS 1039165 HAS SOPS 911433 HAS SOUS 813792 HAS SOUPS 686633 WITH SCORE 687672.165
AT ITER 204 NEW BEST:: SOT 1869336 SOS 1038864 HAS SOPS 911433 HAS SOUS 812917 HAS SOUPS 686059 WITH SCORE 687097.864
AT ITER 210 NEW BEST:: SOT 1868782 SOS 1038754 HAS SOPS 911323 HAS SOUS 812363 HAS SOUPS 685505 WITH SCORE 686543.754
AT ITER 211 NEW BEST:: SOT 1868411 SOS 1038453 HAS SOPS 911323 HAS SOUS 811691 HAS SOUPS 685134 WITH SCORE 686172.453
AT ITER 212 NEW BEST:: SOT 1868411 SOS 1038217 HAS SOPS 911323 HAS SOUS 811455 HAS SOUPS 685134 WITH SCORE 686172.217
AT ITER 214 NEW BEST:: SOT 1867867 SOS 1037673 HAS SOPS 911323 HAS SOUS 810367 HAS SOUPS 684590 WITH SCORE 685627.673
AT ITER 216 NEW BEST:: SOT 1867272 SOS 1037673 HAS SOPS 911437 HAS SOUS 809772 HAS SOUPS 684109 WITH SCORE 685146.673
AT ITER 217 NEW BEST:: SOT 1866647 SOS 1037693 HAS SOPS 911607 HAS SOUS 809167 HAS SOUPS 683654 WITH SCORE 684691.693
AT ITER 223 NEW BEST:: SOT 1866482 SOS 1037644 HAS SOPS 911607 HAS SOUS 808953 HAS SOUPS 683489 WITH SCORE 684526.644
AT ITER 224 NEW BEST:: SOT 1866482 SOS 1037992 HAS SOPS 911607 HAS SOUS 809138 HAS SOUPS 683487 WITH SCORE 684524.992
AT ITER 225 NEW BEST:: SOT 1865890 SOS 1037992 HAS SOPS 911683 HAS SOUS 808546 HAS SOUPS 682971 WITH SCORE 684008.992
AT ITER 226 NEW BEST:: SOT 1865664 SOS 1037765 HAS SOPS 911210 HAS SOUS 808340 HAS SOUPS 682519 WITH SCORE 683556.765
AT ITER 227 NEW BEST:: SOT 1865010 SOS 1037785 HAS SOPS 911322 HAS SOUS 807706 HAS SOUPS 681977 WITH SCORE 683014.785
AT ITER 237 NEW BEST:: SOT 1864688 SOS 1037785 HAS SOPS 911322 HAS SOUS 807384 HAS SOUPS 681655 WITH SCORE 682692.785
AT ITER 238 NEW BEST:: SOT 1864154 SOS 1037485 HAS SOPS 911323 HAS SOUS 807003 HAS SOUPS 681575 WITH SCORE 682612.485
AT ITER 240 NEW BEST:: SOT 1864211 SOS 1037406 HAS SOPS 911244 HAS SOUS 806981 HAS SOUPS 681553 WITH SCORE 682590.406
AT ITER 245 NEW BEST:: SOT 1863999 SOS 1037077 HAS SOPS 910357 HAS SOUS 807095 HAS SOUPS 681109 WITH SCORE 682146.077
AT ITER 248 NEW BEST:: SOT 1863748 SOS 1036826 HAS SOPS 909855 HAS SOUS 806844 HAS SOUPS 680607 WITH SCORE 681643.826
AT ITER 251 NEW BEST:: SOT 1863665 SOS 1036743 HAS SOPS 909772 HAS SOUS 806678 HAS SOUPS 680441 WITH SCORE 681477.743
AT ITER 255 NEW BEST:: SOT 1863356 SOS 1036743 HAS SOPS 909772 HAS SOUS 806369 HAS SOUPS 680132 WITH SCORE 681168.743
AT ITER 257 NEW BEST:: SOT 1863356 SOS 1036857 HAS SOPS 909772 HAS SOUS 806460 HAS SOUPS 680130 WITH SCORE 681166.857
AT ITER 259 NEW BEST:: SOT 1862708 SOS 1036920 HAS SOPS 909837 HAS SOUS 805954 HAS SOUPS 679626 WITH SCORE 680662.92
AT ITER 262 NEW BEST:: SOT 1862490 SOS 1036702 HAS SOPS 909401 HAS SOUS 805736 HAS SOUPS 679190 WITH SCORE 680226.702
AT ITER 264 NEW BEST:: SOT 1862443 SOS 1036655 HAS SOPS 909307 HAS SOUS 805692 HAS SOUPS 679099 WITH SCORE 680135.655
AT ITER 267 NEW BEST:: SOT 1861738 SOS 1036424 HAS SOPS 909076 HAS SOUS 805155 HAS SOUPS 678562 WITH SCORE 679598.424
AT ITER 271 NEW BEST:: SOT 1860868 SOS 1035994 HAS SOPS 908646 HAS SOUS 804296 HAS SOUPS 677703 WITH SCORE 678738.994
AT ITER 272 NEW BEST:: SOT 1860153 SOS 1035706 HAS SOPS 908358 HAS SOUS 803662 HAS SOUPS 677069 WITH SCORE 678104.706
AT ITER 273 NEW BEST:: SOT 1859614 SOS 1035167 HAS SOPS 908358 HAS SOUS 802584 HAS SOUPS 676530 WITH SCORE 677565.167
AT ITER 275 NEW BEST:: SOT 1859262 SOS 1034655 HAS SOPS 907654 HAS SOUS 802072 HAS SOUPS 675826 WITH SCORE 676860.655
AT ITER 278 NEW BEST:: SOT 1859262 SOS 1034897 HAS SOPS 907654 HAS SOUS 802143 HAS SOUPS 675824 WITH SCORE 676858.897
AT ITER 281 NEW BEST:: SOT 1859262 SOS 1035036 HAS SOPS 907654 HAS SOUS 802199 HAS SOUPS 675822 WITH SCORE 676857.036
AT ITER 282 NEW BEST:: SOT 1859262 SOS 1034795 HAS SOPS 907172 HAS SOUS 802199 HAS SOUPS 675581 WITH SCORE 676615.795
AT ITER 285 NEW BEST:: SOT 1858866 SOS 1034795 HAS SOPS 907172 HAS SOUS 801803 HAS SOUPS 675185 WITH SCORE 676219.795
AT ITER 290 NEW BEST:: SOT 1858314 SOS 1034993 HAS SOPS 907577 HAS SOUS 801449 HAS SOUPS 675038 WITH SCORE 676072.993
AT ITER 293 NEW BEST:: SOT 1858325 SOS 1034792 HAS SOPS 906980 HAS SOUS 801546 HAS SOUPS 674739 WITH SCORE 675773.792
AT ITER 298 NEW BEST:: SOT 1831100 SOS 1007840 HAS SOPS 880028 HAS SOUS 774594 HAS SOUPS 647787 WITH SCORE 648794.84
AT ITER 301 NEW BEST:: SOT 1830655 SOS 1007779 HAS SOPS 879967 HAS SOUS 774451 HAS SOUPS 647644 WITH SCORE 648651.779
AT ITER 302 NEW BEST:: SOT 1830218 SOS 1007779 HAS SOPS 879967 HAS SOUS 774014 HAS SOUPS 647207 WITH SCORE 648214.779
AT ITER 306 NEW BEST:: SOT 1830199 SOS 1007760 HAS SOPS 879948 HAS SOUS 773976 HAS SOUPS 647169 WITH SCORE 648176.76
AT ITER 307 NEW BEST:: SOT 1829977 SOS 1007538 HAS SOPS 879504 HAS SOUS 773754 HAS SOUPS 646725 WITH SCORE 647732.538
AT ITER 311 NEW BEST:: SOT 1829560 SOS 1007513 HAS SOPS 879479 HAS SOUS 773530 HAS SOUPS 646501 WITH SCORE 647508.513
AT ITER 319 NEW BEST:: SOT 1829283 SOS 1007513 HAS SOPS 879479 HAS SOUS 773253 HAS SOUPS 646224 WITH SCORE 647231.513
AT ITER 320 NEW BEST:: SOT 1828975 SOS 1007513 HAS SOPS 879479 HAS SOUS 772945 HAS SOUPS 645916 WITH SCORE 646923.513
AT ITER 321 NEW BEST:: SOT 1828975 SOS 1007307 HAS SOPS 879067 HAS SOUS 772945 HAS SOUPS 645710 WITH SCORE 646717.307
AT ITER 326 NEW BEST:: SOT 1828713 SOS 1007490 HAS SOPS 879250 HAS SOUS 772917 HAS SOUPS 645682 WITH SCORE 646689.49
AT ITER 328 NEW BEST:: SOT 1828713 SOS 1007774 HAS SOPS 879250 HAS SOUS 773114 HAS SOUPS 645680 WITH SCORE 646687.774
AT ITER 331 NEW BEST:: SOT 1828713 SOS 1007932 HAS SOPS 879250 HAS SOUS 773231 HAS SOUPS 645678 WITH SCORE 646685.932
AT ITER 332 NEW BEST:: SOT 1828713 SOS 1007857 HAS SOPS 879100 HAS SOUS 773156 HAS SOUPS 645528 WITH SCORE 646535.857
AT ITER 333 NEW BEST:: SOT 1828713 SOS 1007371 HAS SOPS 878182 HAS SOUS 773114 HAS SOUPS 645054 WITH SCORE 646061.371
AT ITER 334 NEW BEST:: SOT 1828122 SOS 1007587 HAS SOPS 878496 HAS SOUS 772775 HAS SOUPS 644813 WITH SCORE 645820.587
AT ITER 335 NEW BEST:: SOT 1827997 SOS 1007462 HAS SOPS 878246 HAS SOUS 772668 HAS SOUPS 644581 WITH SCORE 645588.462
AT ITER 338 NEW BEST:: SOT 1827599 SOS 1007161 HAS SOPS 878246 HAS SOUS 771969 HAS SOUPS 644183 WITH SCORE 645190.161
AT ITER 347 NEW BEST:: SOT 1827323 SOS 1006884 HAS SOPS 877445 HAS SOUS 771693 HAS SOUPS 643383 WITH SCORE 644389.884
AT ITER 349 NEW BEST:: SOT 1826593 SOS 1006088 HAS SOPS 877381 HAS SOUS 770233 HAS SOUPS 642655 WITH SCORE 643661.088
AT ITER 350 NEW BEST:: SOT 1826603 SOS 1005877 HAS SOPS 877170 HAS SOUS 770032 HAS SOUPS 642454 WITH SCORE 643459.877
AT ITER 351 NEW BEST:: SOT 1826003 SOS 1005877 HAS SOPS 877342 HAS SOUS 769432 HAS SOUPS 642026 WITH SCORE 643031.877
AT ITER 352 NEW BEST:: SOT 1825494 SOS 1005877 HAS SOPS 877578 HAS SOUS 768923 HAS SOUPS 641753 WITH SCORE 642758.877
AT ITER 355 NEW BEST:: SOT 1825101 SOS 1005801 HAS SOPS 877502 HAS SOUS 768530 HAS SOUPS 641360 WITH SCORE 642365.801
AT ITER 359 NEW BEST:: SOT 1824706 SOS 1005406 HAS SOPS 877502 HAS SOUS 767740 HAS SOUPS 640965 WITH SCORE 641970.406
AT ITER 363 NEW BEST:: SOT 1824706 SOS 1005361 HAS SOPS 877502 HAS SOUS 767695 HAS SOUPS 640965 WITH SCORE 641970.361
AT ITER 366 NEW BEST:: SOT 1824415 SOS 1004796 HAS SOPS 876576 HAS SOUS 767131 HAS SOUPS 640040 WITH SCORE 641044.796
AT ITER 367 NEW BEST:: SOT 1824269 SOS 1004796 HAS SOPS 876576 HAS SOUS 766985 HAS SOUPS 639894 WITH SCORE 640898.796
AT ITER 370 NEW BEST:: SOT 1824068 SOS 1004595 HAS SOPS 876174 HAS SOUS 766784 HAS SOUPS 639492 WITH SCORE 640496.595
AT ITER 371 NEW BEST:: SOT 1823631 SOS 1004548 HAS SOPS 876127 HAS SOUS 766368 HAS SOUPS 639076 WITH SCORE 640080.548
AT ITER 372 NEW BEST:: SOT 1823504 SOS 1004421 HAS SOPS 875873 HAS SOUS 766241 HAS SOUPS 638822 WITH SCORE 639826.421
AT ITER 373 NEW BEST:: SOT 1822846 SOS 1004254 HAS SOPS 875706 HAS SOUS 765583 HAS SOUPS 638164 WITH SCORE 639168.254
AT ITER 380 NEW BEST:: SOT 1822198 SOS 1003871 HAS SOPS 875624 HAS SOUS 764987 HAS SOUPS 637869 WITH SCORE 638872.871
AT ITER 381 NEW BEST:: SOT 1821953 SOS 1003150 HAS SOPS 874903 HAS SOUS 764265 HAS SOUPS 637147 WITH SCORE 638150.15
AT ITER 382 NEW BEST:: SOT 1821906 SOS 1003337 HAS SOPS 874856 HAS SOUS 764316 HAS SOUPS 637051 WITH SCORE 638054.337
AT ITER 387 NEW BEST:: SOT 1821875 SOS 1003306 HAS SOPS 874735 HAS SOUS 764350 HAS SOUPS 636995 WITH SCORE 637998.306
AT ITER 390 NEW BEST:: SOT 1821875 SOS 1003516 HAS SOPS 874735 HAS SOUS 764386 HAS SOUPS 636993 WITH SCORE 637996.516
AT ITER 393 NEW BEST:: SOT 1821595 SOS 1003235 HAS SOPS 874164 HAS SOUS 764106 HAS SOUPS 636423 WITH SCORE 637426.235
AT ITER 394 NEW BEST:: SOT 1821513 SOS 1003153 HAS SOPS 874000 HAS SOUS 764024 HAS SOUPS 636259 WITH SCORE 637262.153
AT ITER 397 NEW BEST:: SOT 1821431 SOS 1003071 HAS SOPS 873918 HAS SOUS 763963 HAS SOUPS 636198 WITH SCORE 637201.071
AT ITER 398 NEW BEST:: SOT 1821431 SOS 1002805 HAS SOPS 873918 HAS SOUS 763697 HAS SOUPS 636198 WITH SCORE 637200.805
AT ITER 402 NEW BEST:: SOT 1820925 SOS 1002303 HAS SOPS 873918 HAS SOUS 762689 HAS SOUPS 635692 WITH SCORE 636694.303
AT ITER 405 NEW BEST:: SOT 1820815 SOS 1001941 HAS SOPS 873808 HAS SOUS 762217 HAS SOUPS 635472 WITH SCORE 636473.941
AT ITER 409 NEW BEST:: SOT 1820815 SOS 1001672 HAS SOPS 873808 HAS SOUS 761948 HAS SOUPS 635472 WITH SCORE 636473.672
AT ITER 410 NEW BEST:: SOT 1820110 SOS 1001274 HAS SOPS 873410 HAS SOUS 761341 HAS SOUPS 634865 WITH SCORE 635866.274
AT ITER 411 NEW BEST:: SOT 1820218 SOS 1001274 HAS SOPS 873266 HAS SOUS 761449 HAS SOUPS 634829 WITH SCORE 635830.274
AT ITER 412 NEW BEST:: SOT 1820218 SOS 1001274 HAS SOPS 873266 HAS SOUS 761432 HAS SOUPS 634812 WITH SCORE 635813.274
AT ITER 417 NEW BEST:: SOT 1819694 SOS 1000751 HAS SOPS 872219 HAS SOUS 760908 HAS SOUPS 633764 WITH SCORE 634764.751
AT ITER 420 NEW BEST:: SOT 1819694 SOS 1000450 HAS SOPS 872219 HAS SOUS 760607 HAS SOUPS 633764 WITH SCORE 634764.45
AT ITER 425 NEW BEST:: SOT 1819694 SOS 1000569 HAS SOPS 872219 HAS SOUS 760607 HAS SOUPS 633645 WITH SCORE 634645.569
AT ITER 429 NEW BEST:: SOT 1819688 SOS 1000563 HAS SOPS 872213 HAS SOUS 760595 HAS SOUPS 633633 WITH SCORE 634633.563
AT ITER 432 NEW BEST:: SOT 1819670 SOS 1000501 HAS SOPS 872193 HAS SOUS 760517 HAS SOUPS 633597 WITH SCORE 634597.501
AT ITER 433 NEW BEST:: SOT 1818847 SOS 1000093 HAS SOPS 871785 HAS SOUS 759694 HAS SOUPS 632774 WITH SCORE 633774.093
AT ITER 439 NEW BEST:: SOT 1818264 SOS 999930 HAS SOPS 871622 HAS SOUS 759111 HAS SOUPS 632191 WITH SCORE 633190.93
AT ITER 445 NEW BEST:: SOT 1818042 SOS 999709 HAS SOPS 871059 HAS SOUS 758889 HAS SOUPS 631627 WITH SCORE 632626.709
AT ITER 451 NEW BEST:: SOT 1818042 SOS 999424 HAS SOPS 871059 HAS SOUS 758604 HAS SOUPS 631627 WITH SCORE 632626.424
AT ITER 458 NEW BEST:: SOT 1817435 SOS 998587 HAS SOPS 871095 HAS SOUS 757390 HAS SOUPS 631286 WITH SCORE 632284.587
AT ITER 459 NEW BEST:: SOT 1817190 SOS 998343 HAS SOPS 870384 HAS SOUS 757145 HAS SOUPS 630574 WITH SCORE 631572.343
AT ITER 460 NEW BEST:: SOT 1816664 SOS 998343 HAS SOPS 870386 HAS SOUS 756619 HAS SOUPS 630050 WITH SCORE 631048.343
AT ITER 462 NEW BEST:: SOT 1816664 SOS 998240 HAS SOPS 870386 HAS SOUS 756516 HAS SOUPS 630050 WITH SCORE 631048.24
AT ITER 463 NEW BEST:: SOT 1816566 SOS 998143 HAS SOPS 869633 HAS SOUS 756744 HAS SOUPS 629622 WITH SCORE 630620.143
AT ITER 464 NEW BEST:: SOT 1815927 SOS 997775 HAS SOPS 869566 HAS SOUS 755804 HAS SOUPS 628983 WITH SCORE 629980.775
AT ITER 477 NEW BEST:: SOT 1815714 SOS 997561 HAS SOPS 868724 HAS SOUS 755591 HAS SOUPS 628142 WITH SCORE 629139.561
AT ITER 479 NEW BEST:: SOT 1815066 SOS 996913 HAS SOPS 868724 HAS SOUS 754295 HAS SOUPS 627494 WITH SCORE 628490.913
AT ITER 488 NEW BEST:: SOT 1814543 SOS 996967 HAS SOPS 869115 HAS SOUS 753826 HAS SOUPS 627362 WITH SCORE 628358.967
AT ITER 489 NEW BEST:: SOT 1814340 SOS 996764 HAS SOPS 868709 HAS SOUS 753623 HAS SOUPS 626956 WITH SCORE 627952.764
AT ITER 490 NEW BEST:: SOT 1814122 SOS 996547 HAS SOPS 868084 HAS SOUS 753405 HAS SOUPS 626330 WITH SCORE 627326.547
AT ITER 491 NEW BEST:: SOT 1813924 SOS 996547 HAS SOPS 868084 HAS SOUS 753207 HAS SOUPS 626132 WITH SCORE 627128.547
AT ITER 496 NEW BEST:: SOT 1813331 SOS 996254 HAS SOPS 868092 HAS SOUS 752773 HAS SOUPS 625999 WITH SCORE 626995.254
AT ITER 499 NEW BEST:: SOT 1812889 SOS 996444 HAS SOPS 868306 HAS SOUS 752521 HAS SOUPS 625771 WITH SCORE 626767.444
AT ITER 501 NEW BEST:: SOT 1812850 SOS 996400 HAS SOPS 867743 HAS SOUS 752500 HAS SOUPS 625231 WITH SCORE 626227.4
AT ITER 507 NEW BEST:: SOT 1812822 SOS 996372 HAS SOPS 867743 HAS SOUS 752444 HAS SOUPS 625203 WITH SCORE 626199.372
AT ITER 513 NEW BEST:: SOT 1812344 SOS 996179 HAS SOPS 867550 HAS SOUS 751966 HAS SOUPS 624725 WITH SCORE 625721.179
AT ITER 517 NEW BEST:: SOT 1812323 SOS 996158 HAS SOPS 867529 HAS SOUS 751924 HAS SOUPS 624683 WITH SCORE 625679.158
AT ITER 522 NEW BEST:: SOT 1811619 SOS 995766 HAS SOPS 867137 HAS SOUS 751257 HAS SOUPS 624016 WITH SCORE 625011.766
AT ITER 525 NEW BEST:: SOT 1811619 SOS 995557 HAS SOPS 867137 HAS SOUS 751048 HAS SOUPS 624016 WITH SCORE 625011.557
AT ITER 527 NEW BEST:: SOT 1811568 SOS 995506 HAS SOPS 867086 HAS SOUS 750946 HAS SOUPS 623914 WITH SCORE 624909.506
AT ITER 528 NEW BEST:: SOT 1811554 SOS 995493 HAS SOPS 867003 HAS SOUS 750932 HAS SOUPS 623830 WITH SCORE 624825.493
AT ITER 532 NEW BEST:: SOT 1811520 SOS 995458 HAS SOPS 866274 HAS SOUS 751610 HAS SOUPS 623814 WITH SCORE 624809.458
AT ITER 535 NEW BEST:: SOT 1811293 SOS 995230 HAS SOPS 865359 HAS SOUS 751383 HAS SOUPS 622900 WITH SCORE 623895.23
AT ITER 539 NEW BEST:: SOT 1811293 SOS 995230 HAS SOPS 865201 HAS SOUS 751462 HAS SOUPS 622821 WITH SCORE 623816.23
AT ITER 542 NEW BEST:: SOT 1810948 SOS 994885 HAS SOPS 864856 HAS SOUS 751117 HAS SOUPS 622476 WITH SCORE 623470.885
AT ITER 545 NEW BEST:: SOT 1810705 SOS 994678 HAS SOPS 864613 HAS SOUS 750667 HAS SOUPS 621990 WITH SCORE 622984.678
AT ITER 546 NEW BEST:: SOT 1810127 SOS 994451 HAS SOPS 864613 HAS SOUS 749862 HAS SOUPS 621412 WITH SCORE 622406.451
AT ITER 552 NEW BEST:: SOT 1809918 SOS 994241 HAS SOPS 864125 HAS SOUS 749653 HAS SOUPS 620925 WITH SCORE 621919.241
AT ITER 558 NEW BEST:: SOT 1809302 SOS 994241 HAS SOPS 864225 HAS SOUS 749037 HAS SOUPS 620409 WITH SCORE 621403.241
AT ITER 560 NEW BEST:: SOT 1809134 SOS 994241 HAS SOPS 864225 HAS SOUS 748869 HAS SOUPS 620241 WITH SCORE 621235.241
AT ITER 562 NEW BEST:: SOT 1808956 SOS 994062 HAS SOPS 863431 HAS SOUS 748691 HAS SOUPS 619448 WITH SCORE 620442.062
AT ITER 568 NEW BEST:: SOT 1808956 SOS 993936 HAS SOPS 863431 HAS SOUS 748565 HAS SOUPS 619448 WITH SCORE 620441.936
AT ITER 569 NEW BEST:: SOT 1809259 SOS 993968 HAS SOPS 862888 HAS SOUS 748868 HAS SOUPS 619176 WITH SCORE 620169.968
AT ITER 570 NEW BEST:: SOT 1808811 SOS 993398 HAS SOPS 862806 HAS SOUS 747972 HAS SOUPS 618768 WITH SCORE 619761.398
AT ITER 576 NEW BEST:: SOT 1808615 SOS 993455 HAS SOPS 862893 HAS SOUS 747831 HAS SOUPS 618657 WITH SCORE 619650.455
AT ITER 580 NEW BEST:: SOT 1808137 SOS 993360 HAS SOPS 862798 HAS SOUS 747462 HAS SOUPS 618288 WITH SCORE 619281.36
AT ITER 589 NEW BEST:: SOT 1808088 SOS 993311 HAS SOPS 862749 HAS SOUS 747364 HAS SOUPS 618190 WITH SCORE 619183.311
AT ITER 594 NEW BEST:: SOT 1807944 SOS 993023 HAS SOPS 862461 HAS SOUS 747076 HAS SOUPS 617902 WITH SCORE 618895.023
AT ITER 600 NEW BEST:: SOT 1807783 SOS 992862 HAS SOPS 862139 HAS SOUS 746970 HAS SOUPS 617635 WITH SCORE 618627.862
AT ITER 607 NEW BEST:: SOT 1807783 SOS 992731 HAS SOPS 862139 HAS SOUS 746839 HAS SOUPS 617635 WITH SCORE 618627.731
AT ITER 614 NEW BEST:: SOT 1807586 SOS 992555 HAS SOPS 861745 HAS SOUS 746466 HAS SOUPS 617044 WITH SCORE 618036.555
AT ITER 616 NEW BEST:: SOT 1807511 SOS 992480 HAS SOPS 861670 HAS SOUS 746391 HAS SOUPS 616969 WITH SCORE 617961.48
AT ITER 617 NEW BEST:: SOT 1807014 SOS 992621 HAS SOPS 861811 HAS SOUS 746035 HAS SOUPS 616613 WITH SCORE 617605.621
AT ITER 619 NEW BEST:: SOT 1806981 SOS 992588 HAS SOPS 861778 HAS SOUS 745969 HAS SOUPS 616547 WITH SCORE 617539.588
AT ITER 621 NEW BEST:: SOT 1806764 SOS 992370 HAS SOPS 860972 HAS SOUS 745752 HAS SOUPS 615742 WITH SCORE 616734.37
AT ITER 622 NEW BEST:: SOT 1806268 SOS 992121 HAS SOPS 860810 HAS SOUS 745169 HAS SOUPS 615246 WITH SCORE 616238.121
AT ITER 623 NEW BEST:: SOT 1805686 SOS 991539 HAS SOPS 860810 HAS SOUS 744005 HAS SOUPS 614664 WITH SCORE 615655.539
AT ITER 624 NEW BEST:: SOT 1805483 SOS 991336 HAS SOPS 860404 HAS SOUS 743802 HAS SOUPS 614258 WITH SCORE 615249.336
AT ITER 625 NEW BEST:: SOT 1805179 SOS 991033 HAS SOPS 859697 HAS SOUS 743498 HAS SOUPS 613550 WITH SCORE 614541.033
AT ITER 627 NEW BEST:: SOT 1804848 SOS 990702 HAS SOPS 859366 HAS SOUS 743167 HAS SOUPS 613219 WITH SCORE 614209.702
AT ITER 637 NEW BEST:: SOT 1804290 SOS 990268 HAS SOPS 859679 HAS SOUS 742444 HAS SOUPS 613158 WITH SCORE 614148.268
AT ITER 638 NEW BEST:: SOT 1804290 SOS 990268 HAS SOPS 859679 HAS SOUS 742383 HAS SOUPS 613097 WITH SCORE 614087.268
AT ITER 639 NEW BEST:: SOT 1804290 SOS 990454 HAS SOPS 859679 HAS SOUS 742387 HAS SOUPS 613095 WITH SCORE 614085.454
AT ITER 646 NEW BEST:: SOT 1804089 SOS 990454 HAS SOPS 859679 HAS SOUS 742186 HAS SOUPS 612894 WITH SCORE 613884.454
AT ITER 649 NEW BEST:: SOT 1804089 SOS 990439 HAS SOPS 859679 HAS SOUS 742171 HAS SOUPS 612894 WITH SCORE 613884.439
AT ITER 666 NEW BEST:: SOT 1803610 SOS 990339 HAS SOPS 859579 HAS SOUS 741820 HAS SOUPS 612543 WITH SCORE 613533.339
AT ITER 667 NEW BEST:: SOT 1803610 SOS 990616 HAS SOPS 859579 HAS SOUS 741916 HAS SOUPS 612541 WITH SCORE 613531.616
AT ITER 669 NEW BEST:: SOT 1803522 SOS 990528 HAS SOPS 859491 HAS SOUS 741740 HAS SOUPS 612365 WITH SCORE 613355.528
AT ITER 672 NEW BEST:: SOT 1803437 SOS 990443 HAS SOPS 859491 HAS SOUS 741570 HAS SOUPS 612280 WITH SCORE 613270.443
AT ITER 676 NEW BEST:: SOT 1802918 SOS 990443 HAS SOPS 859535 HAS SOUS 741051 HAS SOUPS 611805 WITH SCORE 612795.443
AT ITER 677 NEW BEST:: SOT 1802203 SOS 990067 HAS SOPS 859159 HAS SOUS 740362 HAS SOUPS 611116 WITH SCORE 612106.067
AT ITER 678 NEW BEST:: SOT 1802151 SOS 990015 HAS SOPS 859055 HAS SOUS 740310 HAS SOUPS 611012 WITH SCORE 612002.015
AT ITER 696 NEW BEST:: SOT 1802141 SOS 989633 HAS SOPS 858673 HAS SOUS 740104 HAS SOUPS 610806 WITH SCORE 611795.633
AT ITER 698 NEW BEST:: SOT 1802141 SOS 989304 HAS SOPS 858673 HAS SOUS 739775 HAS SOUPS 610806 WITH SCORE 611795.304
AT ITER 699 NEW BEST:: SOT 1802016 SOS 988637 HAS SOPS 858548 HAS SOUS 738983 HAS SOUPS 610556 WITH SCORE 611544.637
AT ITER 700 NEW BEST:: SOT 1801782 SOS 988403 HAS SOPS 858314 HAS SOUS 738515 HAS SOUPS 610088 WITH SCORE 611076.403
AT ITER 703 NEW BEST:: SOT 1801782 SOS 988656 HAS SOPS 858314 HAS SOUS 738647 HAS SOUPS 610086 WITH SCORE 611074.656
AT ITER 704 NEW BEST:: SOT 1801153 SOS 988656 HAS SOPS 858440 HAS SOUS 738018 HAS SOUPS 609583 WITH SCORE 610571.656
AT ITER 710 NEW BEST:: SOT 1800994 SOS 988656 HAS SOPS 858440 HAS SOUS 737859 HAS SOUPS 609424 WITH SCORE 610412.656
AT ITER 712 NEW BEST:: SOT 1800332 SOS 988125 HAS SOPS 858332 HAS SOUS 737100 HAS SOUPS 609088 WITH SCORE 610076.125
AT ITER 713 NEW BEST:: SOT 1799717 SOS 987976 HAS SOPS 858183 HAS SOUS 736553 HAS SOUPS 608541 WITH SCORE 609528.976
AT ITER 725 NEW BEST:: SOT 1799431 SOS 987689 HAS SOPS 857574 HAS SOUS 736267 HAS SOUPS 607933 WITH SCORE 608920.689
AT ITER 732 NEW BEST:: SOT 1799682 SOS 987681 HAS SOPS 857266 HAS SOUS 736510 HAS SOUPS 607876 WITH SCORE 608863.681
AT ITER 733 NEW BEST:: SOT 1799136 SOS 987664 HAS SOPS 857249 HAS SOUS 736157 HAS SOUPS 607523 WITH SCORE 608510.664
AT ITER 743 NEW BEST:: SOT 1799079 SOS 987607 HAS SOPS 857192 HAS SOUS 736100 HAS SOUPS 607466 WITH SCORE 608453.607
AT ITER 746 NEW BEST:: SOT 1798462 SOS 987357 HAS SOPS 856942 HAS SOUS 735610 HAS SOUPS 606976 WITH SCORE 607963.357
AT ITER 747 NEW BEST:: SOT 1798462 SOS 987251 HAS SOPS 856942 HAS SOUS 735504 HAS SOUPS 606976 WITH SCORE 607963.251
AT ITER 759 NEW BEST:: SOT 1798078 SOS 987190 HAS SOPS 856881 HAS SOUS 735120 HAS SOUPS 606592 WITH SCORE 607579.19
AT ITER 763 NEW BEST:: SOT 1797571 SOS 986703 HAS SOPS 856917 HAS SOUS 734252 HAS SOUPS 606247 WITH SCORE 607233.703
AT ITER 764 NEW BEST:: SOT 1797001 SOS 986133 HAS SOPS 856917 HAS SOUS 733112 HAS SOUPS 605677 WITH SCORE 606663.133
AT ITER 765 NEW BEST:: SOT 1796828 SOS 985787 HAS SOPS 856398 HAS SOUS 732766 HAS SOUPS 605158 WITH SCORE 606143.787
AT ITER 769 NEW BEST:: SOT 1796170 SOS 985009 HAS SOPS 856263 HAS SOUS 731541 HAS SOUPS 604576 WITH SCORE 605561.009
AT ITER 770 NEW BEST:: SOT 1795616 SOS 985009 HAS SOPS 856509 HAS SOUS 730987 HAS SOUPS 604268 WITH SCORE 605253.009
AT ITER 772 NEW BEST:: SOT 1795201 SOS 985010 HAS SOPS 856510 HAS SOUS 730596 HAS SOUPS 603877 WITH SCORE 604862.01
AT ITER 774 NEW BEST:: SOT 1794817 SOS 984958 HAS SOPS 856458 HAS SOUS 730212 HAS SOUPS 603493 WITH SCORE 604477.958
AT ITER 780 NEW BEST:: SOT 1794817 SOS 984643 HAS SOPS 856458 HAS SOUS 729897 HAS SOUPS 603493 WITH SCORE 604477.643
AT ITER 781 NEW BEST:: SOT 1794817 SOS 984031 HAS SOPS 856458 HAS SOUS 729285 HAS SOUPS 603493 WITH SCORE 604477.031
AT ITER 782 NEW BEST:: SOT 1794807 SOS 984023 HAS SOPS 856450 HAS SOUS 729275 HAS SOUPS 603483 WITH SCORE 604467.023
AT ITER 784 NEW BEST:: SOT 1794596 SOS 983812 HAS SOPS 856028 HAS SOUS 729064 HAS SOUPS 603061 WITH SCORE 604044.812
AT ITER 789 NEW BEST:: SOT 1794450 SOS 983666 HAS SOPS 855736 HAS SOUS 728918 HAS SOUPS 602769 WITH SCORE 603752.666
AT ITER 791 NEW BEST:: SOT 1794046 SOS 983622 HAS SOPS 855692 HAS SOUS 728514 HAS SOUPS 602365 WITH SCORE 603348.622
AT ITER 792 NEW BEST:: SOT 1794034 SOS 983610 HAS SOPS 855680 HAS SOUS 728490 HAS SOUPS 602341 WITH SCORE 603324.61
AT ITER 794 NEW BEST:: SOT 1794034 SOS 983760 HAS SOPS 855680 HAS SOUS 728625 HAS SOUPS 602339 WITH SCORE 603322.76
AT ITER 797 NEW BEST:: SOT 1793844 SOS 983570 HAS SOPS 855317 HAS SOUS 728264 HAS SOUPS 601805 WITH SCORE 602788.57
AT ITER 800 NEW BEST:: SOT 1793812 SOS 983538 HAS SOPS 855285 HAS SOUS 728232 HAS SOUPS 601773 WITH SCORE 602756.538
AT ITER 806 NEW BEST:: SOT 1793397 SOS 983572 HAS SOPS 855319 HAS SOUS 727875 HAS SOUPS 601416 WITH SCORE 602399.572
AT ITER 807 NEW BEST:: SOT 1793164 SOS 983337 HAS SOPS 855084 HAS SOUS 727398 HAS SOUPS 600939 WITH SCORE 601922.337
AT ITER 809 NEW BEST:: SOT 1792816 SOS 983337 HAS SOPS 855084 HAS SOUS 727050 HAS SOUPS 600591 WITH SCORE 601574.337
AT ITER 813 NEW BEST:: SOT 1893739 SOS 988359 HAS SOPS 714348 HAS SOUS 828841 HAS SOUPS 556624 WITH SCORE 557612.359
AT ITER 815 NEW BEST:: SOT 1893562 SOS 988183 HAS SOPS 713792 HAS SOUS 828701 HAS SOUPS 556104 WITH SCORE 557092.183
AT ITER 816 NEW BEST:: SOT 1893275 SOS 987897 HAS SOPS 713164 HAS SOUS 828414 HAS SOUPS 555475 WITH SCORE 556462.897
AT ITER 817 NEW BEST:: SOT 1893275 SOS 987897 HAS SOPS 712632 HAS SOUS 828414 HAS SOUPS 554943 WITH SCORE 555930.897
AT ITER 821 NEW BEST:: SOT 1892651 SOS 987128 HAS SOPS 712705 HAS SOUS 827166 HAS SOUPS 554537 WITH SCORE 555524.128
AT ITER 826 NEW BEST:: SOT 1892488 SOS 986967 HAS SOPS 712241 HAS SOUS 827143 HAS SOUPS 554211 WITH SCORE 555197.967
AT ITER 830 NEW BEST:: SOT 1892488 SOS 986544 HAS SOPS 712394 HAS SOUS 826567 HAS SOUPS 554211 WITH SCORE 555197.544
AT ITER 839 NEW BEST:: SOT 1893184 SOS 987403 HAS SOPS 712257 HAS SOUS 827552 HAS SOUPS 554200 WITH SCORE 555187.403
AT ITER 840 NEW BEST:: SOT 1893186 SOS 987629 HAS SOPS 712479 HAS SOUS 827554 HAS SOUPS 554198 WITH SCORE 555185.629
AT ITER 841 NEW BEST:: SOT 1893293 SOS 987844 HAS SOPS 712310 HAS SOUS 827661 HAS SOUPS 553921 WITH SCORE 554908.844
AT ITER 842 NEW BEST:: SOT 1893405 SOS 987911 HAS SOPS 712422 HAS SOUS 827039 HAS SOUPS 553344 WITH SCORE 554331.911
AT ITER 849 NEW BEST:: SOT 1893566 SOS 987371 HAS SOPS 712308 HAS SOUS 826500 HAS SOUPS 553231 WITH SCORE 554218.371
AT ITER 862 NEW BEST:: SOT 1893566 SOS 987411 HAS SOPS 711626 HAS SOUS 826801 HAS SOUPS 552850 WITH SCORE 553837.411
AT ITER 874 NEW BEST:: SOT 1893647 SOS 987492 HAS SOPS 711707 HAS SOUS 826535 HAS SOUPS 552584 WITH SCORE 553571.492
AT ITER 878 NEW BEST:: SOT 1893647 SOS 987324 HAS SOPS 711707 HAS SOUS 826367 HAS SOUPS 552584 WITH SCORE 553571.324
AT ITER 880 NEW BEST:: SOT 1893647 SOS 987324 HAS SOPS 711449 HAS SOUS 826496 HAS SOUPS 552455 WITH SCORE 553442.324
AT ITER 883 NEW BEST:: SOT 1893647 SOS 987309 HAS SOPS 711449 HAS SOUS 826481 HAS SOUPS 552455 WITH SCORE 553442.309
AT ITER 884 NEW BEST:: SOT 1893647 SOS 987231 HAS SOPS 711449 HAS SOUS 826403 HAS SOUPS 552455 WITH SCORE 553442.231
AT ITER 890 NEW BEST:: SOT 1893400 SOS 986621 HAS SOPS 710839 HAS SOUS 825792 HAS SOUPS 551844 WITH SCORE 552830.621
AT ITER 895 NEW BEST:: SOT 1892889 SOS 986084 HAS SOPS 710813 HAS SOUS 825281 HAS SOUPS 551844 WITH SCORE 552830.084
AT ITER 897 NEW BEST:: SOT 1892174 SOS 985285 HAS SOPS 710729 HAS SOUS 823851 HAS SOUPS 551129 WITH SCORE 552114.285
AT ITER 901 NEW BEST:: SOT 1892174 SOS 985285 HAS SOPS 710309 HAS SOUS 824061 HAS SOUPS 550919 WITH SCORE 551904.285
AT ITER 906 NEW BEST:: SOT 1892180 SOS 985404 HAS SOPS 710202 HAS SOUS 824067 HAS SOUPS 550699 WITH SCORE 551684.404
AT ITER 907 NEW BEST:: SOT 1891614 SOS 985065 HAS SOPS 710086 HAS SOUS 823844 HAS SOUPS 550699 WITH SCORE 551684.065
AT ITER 910 NEW BEST:: SOT 1891614 SOS 985065 HAS SOPS 710044 HAS SOUS 823844 HAS SOUPS 550657 WITH SCORE 551642.065
AT ITER 911 NEW BEST:: SOT 1891505 SOS 984958 HAS SOPS 709734 HAS SOUS 823735 HAS SOUPS 550345 WITH SCORE 551329.958
AT ITER 922 NEW BEST:: SOT 1891396 SOS 984849 HAS SOPS 709516 HAS SOUS 823626 HAS SOUPS 550127 WITH SCORE 551111.849
AT ITER 925 NEW BEST:: SOT 1891396 SOS 984849 HAS SOPS 709474 HAS SOUS 823626 HAS SOUPS 550085 WITH SCORE 551069.849
AT ITER 928 NEW BEST:: SOT 1891359 SOS 984812 HAS SOPS 709400 HAS SOUS 823589 HAS SOUPS 550011 WITH SCORE 550995.812
AT ITER 929 NEW BEST:: SOT 1891284 SOS 984870 HAS SOPS 709325 HAS SOUS 823572 HAS SOUPS 549861 WITH SCORE 550845.87
AT ITER 933 NEW BEST:: SOT 1891064 SOS 984651 HAS SOPS 708833 HAS SOUS 823352 HAS SOUPS 549368 WITH SCORE 550352.651
AT ITER 941 NEW BEST:: SOT 1891064 SOS 984651 HAS SOPS 708833 HAS SOUS 823208 HAS SOUPS 549224 WITH SCORE 550208.651
AT ITER 946 NEW BEST:: SOT 1890641 SOS 984519 HAS SOPS 708773 HAS SOUS 823136 HAS SOUPS 549224 WITH SCORE 550208.519
AT ITER 948 NEW BEST:: SOT 1890461 SOS 984339 HAS SOPS 708413 HAS SOUS 822956 HAS SOUPS 548864 WITH SCORE 549848.339
AT ITER 950 NEW BEST:: SOT 1890266 SOS 996355 HAS SOPS 720347 HAS SOUS 822843 HAS SOUPS 548669 WITH SCORE 549665.355
AT ITER 951 NEW BEST:: SOT 1890266 SOS 996326 HAS SOPS 720289 HAS SOUS 822814 HAS SOUPS 548611 WITH SCORE 549607.326
AT ITER 952 NEW BEST:: SOT 1890377 SOS 996773 HAS SOPS 719662 HAS SOUS 823320 HAS SOUPS 548043 WITH SCORE 549039.773
AT ITER 956 NEW BEST:: SOT 1890377 SOS 996728 HAS SOPS 719384 HAS SOUS 823275 HAS SOUPS 547765 WITH SCORE 548761.728
AT ITER 957 NEW BEST:: SOT 1890377 SOS 996704 HAS SOPS 719360 HAS SOUS 823275 HAS SOUPS 547765 WITH SCORE 548761.704
AT ITER 966 NEW BEST:: SOT 1890430 SOS 996757 HAS SOPS 719323 HAS SOUS 823291 HAS SOUPS 547691 WITH SCORE 548687.757
AT ITER 968 NEW BEST:: SOT 1890230 SOS 996556 HAS SOPS 718922 HAS SOUS 823091 HAS SOUPS 547291 WITH SCORE 548287.556
AT ITER 974 NEW BEST:: SOT 1890230 SOS 996505 HAS SOPS 718922 HAS SOUS 823040 HAS SOUPS 547291 WITH SCORE 548287.505
AT ITER 978 NEW BEST:: SOT 1889876 SOS 996076 HAS SOPS 718847 HAS SOUS 822332 HAS SOUPS 546937 WITH SCORE 547933.076
AT ITER 987 NEW BEST:: SOT 1889876 SOS 995758 HAS SOPS 718792 HAS SOUS 822069 HAS SOUPS 546937 WITH SCORE 547932.758
AT ITER 990 NEW BEST:: SOT 1889943 SOS 995968 HAS SOPS 718716 HAS SOUS 822278 HAS SOUPS 546860 WITH SCORE 547855.968
AT ITER 1004 NEW BEST:: SOT 1890104 SOS 995905 HAS SOPS 718728 HAS SOUS 822134 HAS SOUPS 546791 WITH SCORE 547786.905
AT ITER 1005 NEW BEST:: SOT 1889503 SOS 995384 HAS SOPS 717377 HAS SOUS 821533 HAS SOUPS 545360 WITH SCORE 546355.384
AT ITER 1007 NEW BEST:: SOT 1889503 SOS 995384 HAS SOPS 717377 HAS SOUS 820904 HAS SOUPS 544731 WITH SCORE 545726.384
AT ITER 1023 NEW BEST:: SOT 1889503 SOS 995384 HAS SOPS 717377 HAS SOUS 820807 HAS SOUPS 544634 WITH SCORE 545629.384
AT ITER 1029 NEW BEST:: SOT 1889666 SOS 995791 HAS SOPS 716565 HAS SOUS 820931 HAS SOUPS 543539 WITH SCORE 544534.791
AT ITER 1033 NEW BEST:: SOT 1889706 SOS 995814 HAS SOPS 715212 HAS SOUS 820833 HAS SOUPS 542065 WITH SCORE 543060.814
AT ITER 1035 NEW BEST:: SOT 1889706 SOS 995814 HAS SOPS 715212 HAS SOUS 820743 HAS SOUPS 541975 WITH SCORE 542970.814
AT ITER 1043 NEW BEST:: SOT 1889628 SOS 995816 HAS SOPS 714933 HAS SOUS 820665 HAS SOUPS 541616 WITH SCORE 542611.816
AT ITER 1045 NEW BEST:: SOT 1889455 SOS 995726 HAS SOPS 714639 HAS SOUS 820492 HAS SOUPS 541239 WITH SCORE 542234.726
AT ITER 1055 NEW BEST:: SOT 1889455 SOS 995726 HAS SOPS 713625 HAS SOUS 820492 HAS SOUPS 540225 WITH SCORE 541220.726
AT ITER 1081 NEW BEST:: SOT 1889417 SOS 995688 HAS SOPS 713587 HAS SOUS 820416 HAS SOUPS 540149 WITH SCORE 541144.688
AT ITER 1082 NEW BEST:: SOT 1889803 SOS 996318 HAS SOPS 713192 HAS SOUS 820788 HAS SOUPS 539496 WITH SCORE 540492.318
AT ITER 1084 NEW BEST:: SOT 1889564 SOS 996079 HAS SOPS 713192 HAS SOUS 820310 HAS SOUPS 539257 WITH SCORE 540253.079
AT ITER 1085 NEW BEST:: SOT 1889564 SOS 996079 HAS SOPS 712860 HAS SOUS 820310 HAS SOUPS 538925 WITH SCORE 539921.079
AT ITER 1089 NEW BEST:: SOT 1889170 SOS 995685 HAS SOPS 712007 HAS SOUS 819981 HAS SOUPS 538137 WITH SCORE 539132.685
AT ITER 1091 NEW BEST:: SOT 1889331 SOS 995927 HAS SOPS 711957 HAS SOUS 820142 HAS SOUPS 538006 WITH SCORE 539001.927
AT ITER 1092 NEW BEST:: SOT 1888743 SOS 995564 HAS SOPS 711895 HAS SOUS 819253 HAS SOUPS 537418 WITH SCORE 538413.564
AT ITER 1094 NEW BEST:: SOT 1888698 SOS 995590 HAS SOPS 711686 HAS SOUS 819208 HAS SOUPS 537138 WITH SCORE 538133.59
AT ITER 1097 NEW BEST:: SOT 1888659 SOS 995396 HAS SOPS 711647 HAS SOUS 818975 HAS SOUPS 537060 WITH SCORE 538055.396
AT ITER 1102 NEW BEST:: SOT 1888668 SOS 995365 HAS SOPS 711656 HAS SOUS 818596 HAS SOUPS 536681 WITH SCORE 537676.365
AT ITER 1104 NEW BEST:: SOT 1888930 SOS 995638 HAS SOPS 711586 HAS SOUS 818860 HAS SOUPS 536602 WITH SCORE 537597.638
AT ITER 1106 NEW BEST:: SOT 1888713 SOS 995357 HAS SOPS 711537 HAS SOUS 818426 HAS SOUPS 536400 WITH SCORE 537395.357
AT ITER 1107 NEW BEST:: SOT 1888713 SOS 995357 HAS SOPS 711537 HAS SOUS 818233 HAS SOUPS 536207 WITH SCORE 537202.357
AT ITER 1115 NEW BEST:: SOT 1888654 SOS 995298 HAS SOPS 711558 HAS SOUS 818107 HAS SOUPS 536161 WITH SCORE 537156.298
AT ITER 1122 NEW BEST:: SOT 1889183 SOS 996071 HAS SOPS 710617 HAS SOUS 818636 HAS SOUPS 534976 WITH SCORE 535972.071
AT ITER 1124 NEW BEST:: SOT 1889034 SOS 995922 HAS SOPS 710319 HAS SOUS 818487 HAS SOUPS 534678 WITH SCORE 535673.922
AT ITER 1126 NEW BEST:: SOT 1888782 SOS 995751 HAS SOPS 709896 HAS SOUS 818235 HAS SOUPS 534174 WITH SCORE 535169.751
AT ITER 1133 NEW BEST:: SOT 1888533 SOS 995582 HAS SOPS 709296 HAS SOUS 817986 HAS SOUPS 533494 WITH SCORE 534489.582
AT ITER 1137 NEW BEST:: SOT 1888497 SOS 995777 HAS SOPS 709260 HAS SOUS 817437 HAS SOUPS 532714 WITH SCORE 533709.777
AT ITER 1140 NEW BEST:: SOT 1888497 SOS 995745 HAS SOPS 708292 HAS SOUS 817405 HAS SOUPS 531746 WITH SCORE 532741.745
AT ITER 1142 NEW BEST:: SOT 1888074 SOS 995402 HAS SOPS 707120 HAS SOUS 817210 HAS SOUPS 530722 WITH SCORE 531717.402
AT ITER 1143 NEW BEST:: SOT 1887505 SOS 994601 HAS SOPS 707175 HAS SOUS 816072 HAS SOUPS 530440 WITH SCORE 531434.601
AT ITER 1146 NEW BEST:: SOT 1887505 SOS 994601 HAS SOPS 707175 HAS SOUS 815948 HAS SOUPS 530316 WITH SCORE 531310.601
AT ITER 1149 NEW BEST:: SOT 1889212 SOS 972747 HAS SOPS 674466 HAS SOUS 807091 HAS SOUPS 521168 WITH SCORE 522140.747
AT ITER 1154 NEW BEST:: SOT 1889035 SOS 972650 HAS SOPS 673992 HAS SOUS 806914 HAS SOUPS 520614 WITH SCORE 521586.65
AT ITER 1160 NEW BEST:: SOT 1889035 SOS 972650 HAS SOPS 673770 HAS SOUS 806914 HAS SOUPS 520392 WITH SCORE 521364.65
AT ITER 1164 NEW BEST:: SOT 1888963 SOS 972578 HAS SOPS 673626 HAS SOUS 806842 HAS SOUPS 520248 WITH SCORE 521220.578
AT ITER 1171 NEW BEST:: SOT 1888599 SOS 972181 HAS SOPS 673593 HAS SOUS 806478 HAS SOUPS 520248 WITH SCORE 521220.181
AT ITER 1175 NEW BEST:: SOT 1888599 SOS 972019 HAS SOPS 672817 HAS SOUS 806316 HAS SOUPS 519472 WITH SCORE 520444.019
AT ITER 1184 NEW BEST:: SOT 1888599 SOS 972019 HAS SOPS 672817 HAS SOUS 806263 HAS SOUPS 519419 WITH SCORE 520391.019
AT ITER 1185 NEW BEST:: SOT 1888619 SOS 972039 HAS SOPS 672837 HAS SOUS 806194 HAS SOUPS 519350 WITH SCORE 520322.039
AT ITER 1186 NEW BEST:: SOT 1888566 SOS 971986 HAS SOPS 672784 HAS SOUS 806088 HAS SOUPS 519244 WITH SCORE 520215.986
AT ITER 1193 NEW BEST:: SOT 1888487 SOS 972147 HAS SOPS 672705 HAS SOUS 806009 HAS SOUPS 519165 WITH SCORE 520137.147
AT ITER 1200 NEW BEST:: SOT 1888478 SOS 972129 HAS SOPS 672696 HAS SOUS 805991 HAS SOUPS 519156 WITH SCORE 520128.129
AT ITER 1201 NEW BEST:: SOT 1888406 SOS 972126 HAS SOPS 672443 HAS SOUS 805919 HAS SOUPS 518834 WITH SCORE 519806.126
AT ITER 1203 NEW BEST:: SOT 1888234 SOS 971877 HAS SOPS 672366 HAS SOUS 805575 HAS SOUPS 518662 WITH SCORE 519633.877
AT ITER 1204 NEW BEST:: SOT 1888234 SOS 971798 HAS SOPS 672366 HAS SOUS 805328 HAS SOUPS 518415 WITH SCORE 519386.798
AT ITER 1208 NEW BEST:: SOT 1888234 SOS 971789 HAS SOPS 672366 HAS SOUS 805319 HAS SOUPS 518415 WITH SCORE 519386.789
AT ITER 1212 NEW BEST:: SOT 1888099 SOS 971737 HAS SOPS 672132 HAS SOUS 805184 HAS SOUPS 518098 WITH SCORE 519069.737
AT ITER 1219 NEW BEST:: SOT 1888099 SOS 971608 HAS SOPS 672132 HAS SOUS 805152 HAS SOUPS 518066 WITH SCORE 519037.608
AT ITER 1220 NEW BEST:: SOT 1888099 SOS 988396 HAS SOPS 688673 HAS SOUS 805152 HAS SOUPS 517819 WITH SCORE 518807.396
AT ITER 1225 NEW BEST:: SOT 1888099 SOS 988334 HAS SOPS 688549 HAS SOUS 805090 HAS SOUPS 517695 WITH SCORE 518683.334
AT ITER 1232 NEW BEST:: SOT 1887836 SOS 987887 HAS SOPS 687741 HAS SOUS 804810 HAS SOUPS 517054 WITH SCORE 518041.887
AT ITER 1233 NEW BEST:: SOT 1887732 SOS 987783 HAS SOPS 687533 HAS SOUS 804706 HAS SOUPS 516846 WITH SCORE 517833.783
AT ITER 1238 NEW BEST:: SOT 1887732 SOS 987725 HAS SOPS 687533 HAS SOUS 804648 HAS SOUPS 516846 WITH SCORE 517833.725
AT ITER 1239 NEW BEST:: SOT 1887463 SOS 987539 HAS SOPS 687019 HAS SOUS 804379 HAS SOUPS 516249 WITH SCORE 517236.539
AT ITER 1241 NEW BEST:: SOT 1887414 SOS 987431 HAS SOPS 686970 HAS SOUS 804222 HAS SOUPS 516151 WITH SCORE 517138.431
AT ITER 1245 NEW BEST:: SOT 1887414 SOS 987431 HAS SOPS 686680 HAS SOUS 804222 HAS SOUPS 515861 WITH SCORE 516848.431
AT ITER 1253 NEW BEST:: SOT 1887414 SOS 987431 HAS SOPS 686680 HAS SOUS 803833 HAS SOUPS 515472 WITH SCORE 516459.431
AT ITER 1260 NEW BEST:: SOT 1887279 SOS 987296 HAS SOPS 686376 HAS SOUS 803732 HAS SOUPS 515202 WITH SCORE 516189.296
AT ITER 1263 NEW BEST:: SOT 1887290 SOS 987307 HAS SOPS 686202 HAS SOUS 803758 HAS SOUPS 515043 WITH SCORE 516030.307
AT ITER 1264 NEW BEST:: SOT 1886974 SOS 987109 HAS SOPS 686024 HAS SOUS 803738 HAS SOUPS 515043 WITH SCORE 516030.109
AT ITER 1265 NEW BEST:: SOT 1886865 SOS 986907 HAS SOPS 685266 HAS SOUS 804076 HAS SOUPS 514825 WITH SCORE 515811.907
AT ITER 1274 NEW BEST:: SOT 1886865 SOS 986968 HAS SOPS 685144 HAS SOUS 804015 HAS SOUPS 514703 WITH SCORE 515689.968
AT ITER 1276 NEW BEST:: SOT 1886784 SOS 987015 HAS SOPS 684253 HAS SOUS 804130 HAS SOUPS 514008 WITH SCORE 514995.015
AT ITER 1279 NEW BEST:: SOT 1886784 SOS 986979 HAS SOPS 684253 HAS SOUS 803986 HAS SOUPS 513864 WITH SCORE 514850.979
AT ITER 1281 NEW BEST:: SOT 1886784 SOS 986977 HAS SOPS 684253 HAS SOUS 803986 HAS SOUPS 513864 WITH SCORE 514850.977
AT ITER 1283 NEW BEST:: SOT 1886226 SOS 985950 HAS SOPS 684306 HAS SOUS 803041 HAS SOUPS 513753 WITH SCORE 514738.95
AT ITER 1287 NEW BEST:: SOT 1886226 SOS 985821 HAS SOPS 683690 HAS SOUS 803196 HAS SOUPS 513421 WITH SCORE 514406.821
AT ITER 1288 NEW BEST:: SOT 1886157 SOS 985752 HAS SOPS 683621 HAS SOUS 803058 HAS SOUPS 513283 WITH SCORE 514268.752
AT ITER 1292 NEW BEST:: SOT 1886077 SOS 985754 HAS SOPS 683468 HAS SOUS 802978 HAS SOUPS 513048 WITH SCORE 514033.754
AT ITER 1294 NEW BEST:: SOT 1886077 SOS 985655 HAS SOPS 682670 HAS SOUS 802879 HAS SOUPS 512250 WITH SCORE 513235.655
AT ITER 1296 NEW BEST:: SOT 1886077 SOS 985574 HAS SOPS 682670 HAS SOUS 802798 HAS SOUPS 512250 WITH SCORE 513235.574
AT ITER 1306 NEW BEST:: SOT 1886337 SOS 986078 HAS SOPS 682271 HAS SOUS 803058 HAS SOUPS 511607 WITH SCORE 512593.078
AT ITER 1310 NEW BEST:: SOT 1886383 SOS 986124 HAS SOPS 682117 HAS SOUS 803193 HAS SOUPS 511542 WITH SCORE 512528.124
AT ITER 1317 NEW BEST:: SOT 1885888 SOS 985218 HAS SOPS 681692 HAS SOUS 802698 HAS SOUPS 511528 WITH SCORE 512513.218
AT ITER 1323 NEW BEST:: SOT 1885888 SOS 985057 HAS SOPS 681692 HAS SOUS 802698 HAS SOUPS 511528 WITH SCORE 512513.057
AT ITER 1327 NEW BEST:: SOT 1885767 SOS 984936 HAS SOPS 681571 HAS SOUS 802577 HAS SOUPS 511407 WITH SCORE 512391.936
AT ITER 1329 NEW BEST:: SOT 1885767 SOS 984905 HAS SOPS 681571 HAS SOUS 802246 HAS SOUPS 511076 WITH SCORE 512060.905
AT ITER 1336 NEW BEST:: SOT 1885767 SOS 984905 HAS SOPS 681546 HAS SOUS 802221 HAS SOUPS 511026 WITH SCORE 512010.905
AT ITER 1341 NEW BEST:: SOT 1885626 SOS 984764 HAS SOPS 681264 HAS SOUS 802080 HAS SOUPS 510744 WITH SCORE 511728.764
AT ITER 1357 NEW BEST:: SOT 1885721 SOS 985134 HAS SOPS 681359 HAS SOUS 802149 HAS SOUPS 510538 WITH SCORE 511523.134
AT ITER 1364 NEW BEST:: SOT 1885721 SOS 985077 HAS SOPS 681302 HAS SOUS 802149 HAS SOUPS 510538 WITH SCORE 511523.077
AT ITER 1367 NEW BEST:: SOT 1885791 SOS 985298 HAS SOPS 680511 HAS SOUS 802219 HAS SOUPS 509596 WITH SCORE 510581.298
AT ITER 1373 NEW BEST:: SOT 1885600 SOS 985190 HAS SOPS 680089 HAS SOUS 802028 HAS SOUPS 509091 WITH SCORE 510076.19
AT ITER 1381 NEW BEST:: SOT 1885600 SOS 985190 HAS SOPS 679539 HAS SOUS 802028 HAS SOUPS 508541 WITH SCORE 509526.19
AT ITER 1388 NEW BEST:: SOT 1885466 SOS 985308 HAS SOPS 679352 HAS SOUS 802065 HAS SOUPS 508273 WITH SCORE 509258.308
AT ITER 1392 NEW BEST:: SOT 1885511 SOS 985320 HAS SOPS 679199 HAS SOUS 802113 HAS SOUPS 508156 WITH SCORE 509141.32
AT ITER 1394 NEW BEST:: SOT 1885511 SOS 985320 HAS SOPS 679199 HAS SOUS 802071 HAS SOUPS 508114 WITH SCORE 509099.32
AT ITER 1395 NEW BEST:: SOT 1885511 SOS 985239 HAS SOPS 679199 HAS SOUS 801990 HAS SOUPS 508114 WITH SCORE 509099.239
AT ITER 1412 NEW BEST:: SOT 1885511 SOS 985093 HAS SOPS 679199 HAS SOUS 801782 HAS SOUPS 507935 WITH SCORE 508920.093
AT ITER 1414 NEW BEST:: SOT 1885533 SOS 985220 HAS SOPS 678676 HAS SOUS 801804 HAS SOUPS 507307 WITH SCORE 508292.22
AT ITER 1415 NEW BEST:: SOT 1885771 SOS 985702 HAS SOPS 678286 HAS SOUS 801983 HAS SOUPS 506614 WITH SCORE 507599.702
AT ITER 1418 NEW BEST:: SOT 1885888 SOS 985819 HAS SOPS 678283 HAS SOUS 801980 HAS SOUPS 506491 WITH SCORE 507476.819
AT ITER 1422 NEW BEST:: SOT 1885885 SOS 985816 HAS SOPS 678283 HAS SOUS 801977 HAS SOUPS 506491 WITH SCORE 507476.816
AT ITER 1425 NEW BEST:: SOT 1885749 SOS 985680 HAS SOPS 678011 HAS SOUS 801841 HAS SOUPS 506219 WITH SCORE 507204.68
AT ITER 1427 NEW BEST:: SOT 1885582 SOS 985481 HAS SOPS 677645 HAS SOUS 801674 HAS SOUPS 505885 WITH SCORE 506870.481
AT ITER 1428 NEW BEST:: SOT 1885582 SOS 985473 HAS SOPS 677645 HAS SOUS 801666 HAS SOUPS 505885 WITH SCORE 506870.473
AT ITER 1441 NEW BEST:: SOT 1885135 SOS 984642 HAS SOPS 677681 HAS SOUS 800879 HAS SOUPS 505858 WITH SCORE 506842.642
AT ITER 1444 NEW BEST:: SOT 1884452 SOS 983927 HAS SOPS 677359 HAS SOUS 799987 HAS SOUPS 505267 WITH SCORE 506250.927
AT ITER 1448 NEW BEST:: SOT 1884615 SOS 983994 HAS SOPS 677017 HAS SOUS 799979 HAS SOUPS 504925 WITH SCORE 505908.994
AT ITER 1456 NEW BEST:: SOT 1884615 SOS 983994 HAS SOPS 676293 HAS SOUS 799979 HAS SOUPS 504201 WITH SCORE 505184.994
AT ITER 1457 NEW BEST:: SOT 1884615 SOS 983827 HAS SOPS 676293 HAS SOUS 799840 HAS SOUPS 504062 WITH SCORE 505045.827
AT ITER 1462 NEW BEST:: SOT 1884538 SOS 983750 HAS SOPS 676216 HAS SOUS 799686 HAS SOUPS 503908 WITH SCORE 504891.75
AT ITER 1467 NEW BEST:: SOT 1884538 SOS 983750 HAS SOPS 675640 HAS SOUS 799686 HAS SOUPS 503332 WITH SCORE 504315.75
AT ITER 1470 NEW BEST:: SOT 1883956 SOS 983251 HAS SOPS 674559 HAS SOUS 799104 HAS SOUPS 502168 WITH SCORE 503151.251
AT ITER 1473 NEW BEST:: SOT 1883923 SOS 983218 HAS SOPS 674526 HAS SOUS 799071 HAS SOUPS 502135 WITH SCORE 503118.218
AT ITER 1495 NEW BEST:: SOT 1883306 SOS 982190 HAS SOPS 674026 HAS SOUS 798454 HAS SOUPS 502046 WITH SCORE 503028.19
AT ITER 1510 NEW BEST:: SOT 1883301 SOS 982185 HAS SOPS 674021 HAS SOUS 798454 HAS SOUPS 502046 WITH SCORE 503028.185
AT ITER 1513 NEW BEST:: SOT 1883417 SOS 982464 HAS SOPS 673346 HAS SOUS 798472 HAS SOUPS 501110 WITH SCORE 502092.464
AT ITER 1519 NEW BEST:: SOT 1883099 SOS 981970 HAS SOPS 672534 HAS SOUS 798154 HAS SOUPS 500474 WITH SCORE 501455.97
AT ITER 1520 NEW BEST:: SOT 1883099 SOS 982160 HAS SOPS 672534 HAS SOUS 797768 HAS SOUPS 499895 WITH SCORE 500877.16
AT ITER 1534 NEW BEST:: SOT 1883099 SOS 982019 HAS SOPS 672534 HAS SOUS 797627 HAS SOUPS 499895 WITH SCORE 500877.019
AT ITER 1535 NEW BEST:: SOT 1883030 SOS 981823 HAS SOPS 672173 HAS SOUS 797654 HAS SOUPS 499757 WITH SCORE 500738.823
AT ITER 1542 NEW BEST:: SOT 1882501 SOS 980750 HAS SOPS 670867 HAS SOUS 796829 HAS SOUPS 498699 WITH SCORE 499679.75
AT ITER 1548 NEW BEST:: SOT 1882310 SOS 980559 HAS SOPS 670676 HAS SOUS 796638 HAS SOUPS 498508 WITH SCORE 499488.559
AT ITER 1549 NEW BEST:: SOT 1882238 SOS 980462 HAS SOPS 670310 HAS SOUS 796566 HAS SOUPS 498167 WITH SCORE 499147.462
AT ITER 1552 NEW BEST:: SOT 1882238 SOS 980462 HAS SOPS 669536 HAS SOUS 796566 HAS SOUPS 497393 WITH SCORE 498373.462
AT ITER 1556 NEW BEST:: SOT 1882238 SOS 980492 HAS SOPS 669476 HAS SOUS 796566 HAS SOUPS 497333 WITH SCORE 498313.492
AT ITER 1569 NEW BEST:: SOT 1882238 SOS 980515 HAS SOPS 669453 HAS SOUS 796589 HAS SOUPS 497310 WITH SCORE 498290.515
AT ITER 1572 NEW BEST:: SOT 1882202 SOS 980479 HAS SOPS 669381 HAS SOUS 796553 HAS SOUPS 497238 WITH SCORE 498218.479
AT ITER 1575 NEW BEST:: SOT 1881705 SOS 979571 HAS SOPS 668928 HAS SOUS 796056 HAS SOUPS 497196 WITH SCORE 498175.571
AT ITER 1577 NEW BEST:: SOT 1881705 SOS 979391 HAS SOPS 668928 HAS SOUS 795880 HAS SOUPS 497020 WITH SCORE 497999.391
AT ITER 1582 NEW BEST:: SOT 1881604 SOS 979290 HAS SOPS 668726 HAS SOUS 795678 HAS SOUPS 496717 WITH SCORE 497696.29
AT ITER 1587 NEW BEST:: SOT 1881666 SOS 979352 HAS SOPS 668676 HAS SOUS 795740 HAS SOUPS 496667 WITH SCORE 497646.352
AT ITER 1588 NEW BEST:: SOT 1881666 SOS 979300 HAS SOPS 668676 HAS SOUS 795740 HAS SOUPS 496667 WITH SCORE 497646.3
AT ITER 1589 NEW BEST:: SOT 1881656 SOS 979209 HAS SOPS 668585 HAS SOUS 795730 HAS SOUPS 496657 WITH SCORE 497636.209
AT ITER 1597 NEW BEST:: SOT 1880985 SOS 978181 HAS SOPS 668633 HAS SOUS 794729 HAS SOUPS 496455 WITH SCORE 497433.181
AT ITER 1604 NEW BEST:: SOT 1880896 SOS 978003 HAS SOPS 668544 HAS SOUS 794640 HAS SOUPS 496455 WITH SCORE 497433.003
AT ITER 1624 NEW BEST:: SOT 1880896 SOS 977869 HAS SOPS 668544 HAS SOUS 794487 HAS SOUPS 496302 WITH SCORE 497279.869
AT ITER 1630 NEW BEST:: SOT 1880896 SOS 978083 HAS SOPS 668544 HAS SOUS 793966 HAS SOUPS 495781 WITH SCORE 496759.083
AT ITER 1637 NEW BEST:: SOT 1880894 SOS 978081 HAS SOPS 668542 HAS SOUS 793964 HAS SOUPS 495779 WITH SCORE 496757.081
AT ITER 1647 NEW BEST:: SOT 1881055 SOS 978323 HAS SOPS 668588 HAS SOUS 794125 HAS SOUPS 495744 WITH SCORE 496722.323
AT ITER 1651 NEW BEST:: SOT 1881055 SOS 978093 HAS SOPS 668358 HAS SOUS 794010 HAS SOUPS 495629 WITH SCORE 496607.093
AT ITER 1653 NEW BEST:: SOT 1881055 SOS 977922 HAS SOPS 668358 HAS SOUS 793839 HAS SOUPS 495629 WITH SCORE 496606.922
AT ITER 1662 NEW BEST:: SOT 1881078 SOS 977945 HAS SOPS 668258 HAS SOUS 793862 HAS SOUPS 495529 WITH SCORE 496506.945
AT ITER 1663 NEW BEST:: SOT 1881078 SOS 978086 HAS SOPS 667976 HAS SOUS 793862 HAS SOUPS 495247 WITH SCORE 496225.086
AT ITER 1664 NEW BEST:: SOT 1880874 SOS 977882 HAS SOPS 667568 HAS SOUS 793658 HAS SOUPS 494839 WITH SCORE 495816.882
AT ITER 1665 NEW BEST:: SOT 1880729 SOS 977683 HAS SOPS 667514 HAS SOUS 793513 HAS SOUPS 494839 WITH SCORE 495816.683
AT ITER 1666 NEW BEST:: SOT 1880870 SOS 977824 HAS SOPS 667364 HAS SOUS 793654 HAS SOUPS 494689 WITH SCORE 495666.824
AT ITER 1667 NEW BEST:: SOT 1880870 SOS 977735 HAS SOPS 667364 HAS SOUS 793654 HAS SOUPS 494689 WITH SCORE 495666.735
AT ITER 1669 NEW BEST:: SOT 1880839 SOS 977623 HAS SOPS 667252 HAS SOUS 793623 HAS SOUPS 494658 WITH SCORE 495635.623
AT ITER 1679 NEW BEST:: SOT 1880839 SOS 977495 HAS SOPS 667252 HAS SOUS 793603 HAS SOUPS 494638 WITH SCORE 495615.495
AT ITER 1682 NEW BEST:: SOT 1880652 SOS 977039 HAS SOPS 666796 HAS SOUS 793128 HAS SOUPS 494163 WITH SCORE 495140.039
AT ITER 1684 NEW BEST:: SOT 1880574 SOS 976961 HAS SOPS 666481 HAS SOUS 793050 HAS SOUPS 493848 WITH SCORE 494824.961
AT ITER 1687 NEW BEST:: SOT 1880574 SOS 976798 HAS SOPS 666481 HAS SOUS 793050 HAS SOUPS 493848 WITH SCORE 494824.798
AT ITER 1692 NEW BEST:: SOT 1880679 SOS 976903 HAS SOPS 666586 HAS SOUS 793040 HAS SOUPS 493838 WITH SCORE 494814.903
AT ITER 1694 NEW BEST:: SOT 1880679 SOS 976926 HAS SOPS 666334 HAS SOUS 793013 HAS SOUPS 493536 WITH SCORE 494512.926
AT ITER 1701 NEW BEST:: SOT 1880679 SOS 976926 HAS SOPS 666305 HAS SOUS 792984 HAS SOUPS 493478 WITH SCORE 494454.926
AT ITER 1708 NEW BEST:: SOT 1880855 SOS 976941 HAS SOPS 666235 HAS SOUS 792920 HAS SOUPS 493329 WITH SCORE 494305.941
AT ITER 1710 NEW BEST:: SOT 1880791 SOS 976971 HAS SOPS 666171 HAS SOUS 792886 HAS SOUPS 493201 WITH SCORE 494177.971
AT ITER 1711 NEW BEST:: SOT 1880752 SOS 976932 HAS SOPS 666093 HAS SOUS 792847 HAS SOUPS 493123 WITH SCORE 494099.932
AT ITER 1713 NEW BEST:: SOT 1880733 SOS 976913 HAS SOPS 666074 HAS SOUS 792828 HAS SOUPS 493104 WITH SCORE 494080.913
AT ITER 1721 NEW BEST:: SOT 1880733 SOS 976855 HAS SOPS 666074 HAS SOUS 792770 HAS SOUPS 493104 WITH SCORE 494080.855
AT ITER 1743 NEW BEST:: SOT 1879993 SOS 976083 HAS SOPS 665759 HAS SOUS 792056 HAS SOUPS 492691 WITH SCORE 493667.083
AT ITER 1756 NEW BEST:: SOT 1879993 SOS 976081 HAS SOPS 665757 HAS SOUS 792054 HAS SOUPS 492689 WITH SCORE 493665.081
AT ITER 1766 NEW BEST:: SOT 1879993 SOS 976072 HAS SOPS 665703 HAS SOUS 792045 HAS SOUPS 492635 WITH SCORE 493611.072
AT ITER 1767 NEW BEST:: SOT 1879964 SOS 976043 HAS SOPS 665674 HAS SOUS 792016 HAS SOUPS 492606 WITH SCORE 493582.043
AT ITER 1789 NEW BEST:: SOT 1879912 SOS 975991 HAS SOPS 665622 HAS SOUS 791912 HAS SOUPS 492502 WITH SCORE 493477.991
AT ITER 1791 NEW BEST:: SOT 1879862 SOS 975915 HAS SOPS 665537 HAS SOUS 791784 HAS SOUPS 492365 WITH SCORE 493340.915
AT ITER 1796 NEW BEST:: SOT 1879943 SOS 975858 HAS SOPS 665618 HAS SOUS 791625 HAS SOUPS 492206 WITH SCORE 493181.858
AT ITER 1797 NEW BEST:: SOT 1879579 SOS 975822 HAS SOPS 664739 HAS SOUS 791659 HAS SOUPS 491397 WITH SCORE 492372.822
AT ITER 1800 NEW BEST:: SOT 1879614 SOS 976202 HAS SOPS 663308 HAS SOUS 792236 HAS SOUPS 490402 WITH SCORE 491378.202
AT ITER 1801 NEW BEST:: SOT 1879553 SOS 976204 HAS SOPS 663205 HAS SOUS 792175 HAS SOUPS 490236 WITH SCORE 491212.204
AT ITER 1815 NEW BEST:: SOT 1879453 SOS 976023 HAS SOPS 663024 HAS SOUS 792075 HAS SOUPS 490136 WITH SCORE 491112.023
AT ITER 1822 NEW BEST:: SOT 1800835 SOS 1219193 HAS SOPS 906899 HAS SOUS 713974 HAS SOUPS 412740 WITH SCORE 413959.193
AT ITER 1823 NEW BEST:: SOT 1800835 SOS 1219285 HAS SOPS 906807 HAS SOUS 714066 HAS SOUPS 412648 WITH SCORE 413867.285
AT ITER 1828 NEW BEST:: SOT 1800700 SOS 1219025 HAS SOPS 906178 HAS SOUS 713931 HAS SOUPS 412144 WITH SCORE 413363.025
AT ITER 1829 NEW BEST:: SOT 1800917 SOS 1219486 HAS SOPS 905815 HAS SOUS 714148 HAS SOUPS 411537 WITH SCORE 412756.486
AT ITER 1830 NEW BEST:: SOT 1800788 SOS 1219271 HAS SOPS 905471 HAS SOUS 714019 HAS SOUPS 411279 WITH SCORE 412498.271
AT ITER 1831 NEW BEST:: SOT 1800517 SOS 1219045 HAS SOPS 904909 HAS SOUS 713813 HAS SOUPS 410737 WITH SCORE 411956.045
AT ITER 1832 NEW BEST:: SOT 1800517 SOS 1218841 HAS SOPS 904909 HAS SOUS 713609 HAS SOUPS 410737 WITH SCORE 411955.841
AT ITER 1836 NEW BEST:: SOT 1800582 SOS 1218898 HAS SOPS 904974 HAS SOUS 713523 HAS SOUPS 410651 WITH SCORE 411869.898
AT ITER 1842 NEW BEST:: SOT 1800550 SOS 1218866 HAS SOPS 904910 HAS SOUS 713491 HAS SOUPS 410587 WITH SCORE 411805.866
AT ITER 1850 NEW BEST:: SOT 1800550 SOS 1218889 HAS SOPS 904669 HAS SOUS 713273 HAS SOUPS 410105 WITH SCORE 411323.889
AT ITER 1853 NEW BEST:: SOT 1800253 SOS 1218592 HAS SOPS 904075 HAS SOUS 712976 HAS SOUPS 409511 WITH SCORE 410729.592
AT ITER 1855 NEW BEST:: SOT 1800286 SOS 1218813 HAS SOPS 903910 HAS SOUS 713083 HAS SOUPS 409232 WITH SCORE 410450.813
AT ITER 1859 NEW BEST:: SOT 1800286 SOS 1218813 HAS SOPS 903276 HAS SOUS 713083 HAS SOUPS 408598 WITH SCORE 409816.813
AT ITER 1862 NEW BEST:: SOT 1800071 SOS 1218412 HAS SOPS 902846 HAS SOUS 712682 HAS SOUPS 408168 WITH SCORE 409386.412
AT ITER 1863 NEW BEST:: SOT 1800054 SOS 1218395 HAS SOPS 902812 HAS SOUS 712665 HAS SOUPS 408134 WITH SCORE 409352.395
AT ITER 1867 NEW BEST:: SOT 1800054 SOS 1218421 HAS SOPS 902812 HAS SOUS 712596 HAS SOUPS 408039 WITH SCORE 409257.421
AT ITER 1868 NEW BEST:: SOT 1800319 SOS 1218409 HAS SOPS 903077 HAS SOUS 712262 HAS SOUPS 407889 WITH SCORE 409107.409
AT ITER 1878 NEW BEST:: SOT 1800257 SOS 1218285 HAS SOPS 903015 HAS SOUS 712138 HAS SOUPS 407827 WITH SCORE 409045.285
AT ITER 1880 NEW BEST:: SOT 1800130 SOS 1218393 HAS SOPS 902761 HAS SOUS 712285 HAS SOUPS 407573 WITH SCORE 408791.393
AT ITER 1893 NEW BEST:: SOT 1800101 SOS 1218364 HAS SOPS 902761 HAS SOUS 712256 HAS SOUPS 407573 WITH SCORE 408791.364
AT ITER 1900 NEW BEST:: SOT 1800101 SOS 1218318 HAS SOPS 902761 HAS SOUS 712210 HAS SOUPS 407573 WITH SCORE 408791.318
AT ITER 1909 NEW BEST:: SOT 1800101 SOS 1218318 HAS SOPS 902217 HAS SOUS 712210 HAS SOUPS 407029 WITH SCORE 408247.318
AT ITER 1910 NEW BEST:: SOT 1799801 SOS 1217851 HAS SOPS 901290 HAS SOUS 711910 HAS SOUPS 406269 WITH SCORE 407486.851
AT ITER 1911 NEW BEST:: SOT 1799760 SOS 1217810 HAS SOPS 901027 HAS SOUS 711869 HAS SOUPS 406006 WITH SCORE 407223.81
AT ITER 1922 NEW BEST:: SOT 1800395 SOS 1218689 HAS SOPS 901218 HAS SOUS 712504 HAS SOUPS 405953 WITH SCORE 407171.689
AT ITER 1937 NEW BEST:: SOT 1800154 SOS 1218657 HAS SOPS 901186 HAS SOUS 712504 HAS SOUPS 405953 WITH SCORE 407171.657
AT ITER 1938 NEW BEST:: SOT 1799966 SOS 1218297 HAS SOPS 900810 HAS SOUS 712144 HAS SOUPS 405577 WITH SCORE 406795.297
AT ITER 1944 NEW BEST:: SOT 1795597 SOS 1246578 HAS SOPS 929261 HAS SOUS 708466 HAS SOUPS 402069 WITH SCORE 403315.578
AT ITER 1950 NEW BEST:: SOT 1795441 SOS 1246347 HAS SOPS 928761 HAS SOUS 708310 HAS SOUPS 401644 WITH SCORE 402890.347
AT ITER 1954 NEW BEST:: SOT 1795268 SOS 1246174 HAS SOPS 928245 HAS SOUS 708137 HAS SOUPS 401128 WITH SCORE 402374.174
AT ITER 1957 NEW BEST:: SOT 1795268 SOS 1245995 HAS SOPS 928245 HAS SOUS 708114 HAS SOUPS 401105 WITH SCORE 402350.995
AT ITER 1966 NEW BEST:: SOT 1795268 SOS 1245995 HAS SOPS 928245 HAS SOUS 708005 HAS SOUPS 400996 WITH SCORE 402241.995
AT ITER 1970 NEW BEST:: SOT 1795268 SOS 1245983 HAS SOPS 928245 HAS SOUS 707993 HAS SOUPS 400996 WITH SCORE 402241.983
AT ITER 1979 NEW BEST:: SOT 1795177 SOS 1245881 HAS SOPS 928165 HAS SOUS 707902 HAS SOUPS 400927 WITH SCORE 402172.881
AT ITER 1988 NEW BEST:: SOT 1794811 SOS 1245279 HAS SOPS 927799 HAS SOUS 707666 HAS SOUPS 400927 WITH SCORE 402172.279
AT ITER 1989 NEW BEST:: SOT 1794823 SOS 1245218 HAS SOPS 927421 HAS SOUS 707780 HAS SOUPS 400724 WITH SCORE 401969.218
AT ITER 1994 NEW BEST:: SOT 1794823 SOS 1245077 HAS SOPS 927421 HAS SOUS 707589 HAS SOUPS 400533 WITH SCORE 401778.077
AT ITER 1995 NEW BEST:: SOT 1794671 SOS 1244949 HAS SOPS 927293 HAS SOUS 707437 HAS SOUPS 400381 WITH SCORE 401625.949
AT ITER 1998 NEW BEST:: SOT 1794918 SOS 1245428 HAS SOPS 927308 HAS SOUS 707684 HAS SOUPS 400164 WITH SCORE 401409.428
AT ITER 1999 NEW BEST:: SOT 1794714 SOS 1245224 HAS SOPS 927104 HAS SOUS 707586 HAS SOUPS 400066 WITH SCORE 401311.224
AT ITER 2003 NEW BEST:: SOT 1794677 SOS 1245187 HAS SOPS 927067 HAS SOUS 707586 HAS SOUPS 400066 WITH SCORE 401311.187
AT ITER 2020 NEW BEST:: SOT 1794677 SOS 1245290 HAS SOPS 926964 HAS SOUS 707689 HAS SOUPS 399963 WITH SCORE 401208.29
AT ITER 2025 NEW BEST:: SOT 1794677 SOS 1245362 HAS SOPS 926892 HAS SOUS 707761 HAS SOUPS 399891 WITH SCORE 401136.362
AT ITER 2029 NEW BEST:: SOT 1794698 SOS 1245558 HAS SOPS 926738 HAS SOUS 707782 HAS SOUPS 399562 WITH SCORE 400807.558
AT ITER 2032 NEW BEST:: SOT 1794698 SOS 1245605 HAS SOPS 926690 HAS SOUS 707734 HAS SOUPS 399466 WITH SCORE 400711.605
AT ITER 2039 NEW BEST:: SOT 1794637 SOS 1245544 HAS SOPS 926568 HAS SOUS 707580 HAS SOUPS 399251 WITH SCORE 400496.544
AT ITER 2042 NEW BEST:: SOT 1794637 SOS 1245239 HAS SOPS 926568 HAS SOUS 707514 HAS SOUPS 399185 WITH SCORE 400430.239
AT ITER 2053 NEW BEST:: SOT 1794614 SOS 1245216 HAS SOPS 926496 HAS SOUS 707491 HAS SOUPS 399113 WITH SCORE 400358.216
AT ITER 2057 NEW BEST:: SOT 1794614 SOS 1245093 HAS SOPS 926496 HAS SOUS 707491 HAS SOUPS 399113 WITH SCORE 400358.093
AT ITER 2058 NEW BEST:: SOT 1794614 SOS 1244930 HAS SOPS 926216 HAS SOUS 707608 HAS SOUPS 399113 WITH SCORE 400357.93
AT ITER 2059 NEW BEST:: SOT 1794430 SOS 1244643 HAS SOPS 925715 HAS SOUS 707424 HAS SOUPS 398715 WITH SCORE 399959.643
AT ITER 2060 NEW BEST:: SOT 1794429 SOS 1244642 HAS SOPS 925714 HAS SOUS 707423 HAS SOUPS 398714 WITH SCORE 399958.642
AT ITER 2061 NEW BEST:: SOT 1794341 SOS 1244466 HAS SOPS 925626 HAS SOUS 707335 HAS SOUPS 398714 WITH SCORE 399958.466
AT ITER 2063 NEW BEST:: SOT 1794247 SOS 1244099 HAS SOPS 924974 HAS SOUS 707584 HAS SOUPS 398526 WITH SCORE 399770.099
AT ITER 2067 NEW BEST:: SOT 1793762 SOS 1243362 HAS SOPS 923689 HAS SOUS 707247 HAS SOUPS 397556 WITH SCORE 398799.362
AT ITER 2083 NEW BEST:: SOT 1794493 SOS 1244337 HAS SOPS 923260 HAS SOUS 707995 HAS SOUPS 396900 WITH SCORE 398144.337
AT ITER 2084 NEW BEST:: SOT 1794493 SOS 1244732 HAS SOPS 922850 HAS SOUS 708186 HAS SOUPS 396388 WITH SCORE 397632.732
AT ITER 2087 NEW BEST:: SOT 1783562 SOS 1323322 HAS SOPS 1002205 HAS SOUS 698049 HAS SOUPS 386892 WITH SCORE 388215.322
AT ITER 2088 NEW BEST:: SOT 1783497 SOS 1323323 HAS SOPS 1002074 HAS SOUS 697985 HAS SOUPS 386696 WITH SCORE 388019.323
AT ITER 2089 NEW BEST:: SOT 1783497 SOS 1323323 HAS SOPS 1001984 HAS SOUS 697895 HAS SOUPS 386516 WITH SCORE 387839.323
AT ITER 2090 NEW BEST:: SOT 1783497 SOS 1323507 HAS SOPS 1001800 HAS SOUS 697895 HAS SOUPS 386148 WITH SCORE 387471.507
AT ITER 2091 NEW BEST:: SOT 1783482 SOS 1323492 HAS SOPS 1001785 HAS SOUS 697865 HAS SOUPS 386118 WITH SCORE 387441.492
AT ITER 2109 NEW BEST:: SOT 1783221 SOS 1323231 HAS SOPS 1001263 HAS SOUS 697604 HAS SOUPS 385596 WITH SCORE 386919.231
AT ITER 2114 NEW BEST:: SOT 1783214 SOS 1323224 HAS SOPS 1001030 HAS SOUS 697597 HAS SOUPS 385363 WITH SCORE 386686.224
AT ITER 2127 NEW BEST:: SOT 1783214 SOS 1323224 HAS SOPS 1001030 HAS SOUS 697546 HAS SOUPS 385312 WITH SCORE 386635.224
AT ITER 2130 NEW BEST:: SOT 1783128 SOS 1323119 HAS SOPS 1001011 HAS SOUS 697460 HAS SOUPS 385312 WITH SCORE 386635.119
AT ITER 2137 NEW BEST:: SOT 1783127 SOS 1323118 HAS SOPS 1001009 HAS SOUS 697459 HAS SOUPS 385310 WITH SCORE 386633.118
AT ITER 2141 NEW BEST:: SOT 1783060 SOS 1323051 HAS SOPS 1000942 HAS SOUS 697325 HAS SOUPS 385176 WITH SCORE 386499.051
AT ITER 2142 NEW BEST:: SOT 1783060 SOS 1323253 HAS SOPS 1000740 HAS SOUS 697325 HAS SOUPS 384772 WITH SCORE 386095.253
AT ITER 2146 NEW BEST:: SOT 1782727 SOS 1322539 HAS SOPS 1000431 HAS SOUS 696683 HAS SOUPS 384487 WITH SCORE 385809.539
AT ITER 2153 NEW BEST:: SOT 1782727 SOS 1322794 HAS SOPS 1000431 HAS SOUS 696545 HAS SOUPS 384094 WITH SCORE 385416.794
AT ITER 2160 NEW BEST:: SOT 1782727 SOS 1322809 HAS SOPS 1000431 HAS SOUS 696545 HAS SOUPS 384079 WITH SCORE 385401.809
AT ITER 2164 NEW BEST:: SOT 1782359 SOS 1322073 HAS SOPS 1000063 HAS SOUS 696177 HAS SOUPS 384079 WITH SCORE 385401.073
AT ITER 2168 NEW BEST:: SOT 1782468 SOS 1322300 HAS SOPS 1000054 HAS SOUS 696286 HAS SOUPS 383952 WITH SCORE 385274.3
AT ITER 2169 NEW BEST:: SOT 1782972 SOS 1323199 HAS SOPS 1000558 HAS SOUS 696611 HAS SOUPS 383882 WITH SCORE 385205.199
AT ITER 2172 NEW BEST:: SOT 1782657 SOS 1322884 HAS SOPS 1000243 HAS SOUS 696296 HAS SOUPS 383567 WITH SCORE 384889.884
AT ITER 2174 NEW BEST:: SOT 1782680 SOS 1323328 HAS SOPS 1000021 HAS SOUS 696097 HAS SOUPS 382947 WITH SCORE 384270.328
AT ITER 2190 NEW BEST:: SOT 1782680 SOS 1323328 HAS SOPS 999956 HAS SOUS 696032 HAS SOUPS 382817 WITH SCORE 384140.328
AT ITER 2192 NEW BEST:: SOT 1782499 SOS 1323134 HAS SOPS 999775 HAS SOUS 695670 HAS SOUPS 382455 WITH SCORE 383778.134
AT ITER 2213 NEW BEST:: SOT 1782088 SOS 1322219 HAS SOPS 999394 HAS SOUS 694928 HAS SOUPS 382187 WITH SCORE 383509.219
AT ITER 2218 NEW BEST:: SOT 1782062 SOS 1322193 HAS SOPS 999342 HAS SOUS 694902 HAS SOUPS 382135 WITH SCORE 383457.193
AT ITER 2220 NEW BEST:: SOT 1781966 SOS 1322097 HAS SOPS 999246 HAS SOUS 694710 HAS SOUPS 381943 WITH SCORE 383265.097
AT ITER 2222 NEW BEST:: SOT 1782008 SOS 1321469 HAS SOPS 999015 HAS SOUS 694082 HAS SOUPS 381712 WITH SCORE 383033.469
AT ITER 2223 NEW BEST:: SOT 1782418 SOS 1322143 HAS SOPS 999161 HAS SOUS 694492 HAS SOUPS 381594 WITH SCORE 382916.143
AT ITER 2231 NEW BEST:: SOT 1782324 SOS 1322049 HAS SOPS 998969 HAS SOUS 694402 HAS SOUPS 381406 WITH SCORE 382728.049
AT ITER 2238 NEW BEST:: SOT 1782599 SOS 1322823 HAS SOPS 998469 HAS SOUS 695084 HAS SOUPS 380814 WITH SCORE 382136.823
AT ITER 2243 NEW BEST:: SOT 1782576 SOS 1322800 HAS SOPS 998279 HAS SOUS 695061 HAS SOUPS 380624 WITH SCORE 381946.8
AT ITER 2245 NEW BEST:: SOT 1782279 SOS 1322503 HAS SOPS 997982 HAS SOUS 694467 HAS SOUPS 380030 WITH SCORE 381352.503
AT ITER 2251 NEW BEST:: SOT 1782086 SOS 1322310 HAS SOPS 997596 HAS SOUS 694274 HAS SOUPS 379644 WITH SCORE 380966.31
AT ITER 2259 NEW BEST:: SOT 1781881 SOS 1322105 HAS SOPS 997391 HAS SOUS 693864 HAS SOUPS 379234 WITH SCORE 380556.105
AT ITER 2260 NEW BEST:: SOT 1781881 SOS 1322105 HAS SOPS 997391 HAS SOUS 693804 HAS SOUPS 379174 WITH SCORE 380496.105
AT ITER 2264 NEW BEST:: SOT 1781497 SOS 1321337 HAS SOPS 997007 HAS SOUS 693420 HAS SOUPS 379174 WITH SCORE 380495.337
AT ITER 2280 NEW BEST:: SOT 1781497 SOS 1321337 HAS SOPS 997007 HAS SOUS 693283 HAS SOUPS 379037 WITH SCORE 380358.337
AT ITER 2289 NEW BEST:: SOT 1781298 SOS 1321138 HAS SOPS 996609 HAS SOUS 693084 HAS SOUPS 378639 WITH SCORE 379960.138
AT ITER 2301 NEW BEST:: SOT 1781042 SOS 1320882 HAS SOPS 996047 HAS SOUS 692827 HAS SOUPS 378076 WITH SCORE 379396.882
AT ITER 2302 NEW BEST:: SOT 1780724 SOS 1320564 HAS SOPS 995692 HAS SOUS 692509 HAS SOUPS 377721 WITH SCORE 379041.564
AT ITER 2326 NEW BEST:: SOT 1780408 SOS 1319940 HAS SOPS 995384 HAS SOUS 692193 HAS SOUPS 377721 WITH SCORE 379040.94
AT ITER 2327 NEW BEST:: SOT 1780348 SOS 1319880 HAS SOPS 995264 HAS SOUS 692133 HAS SOUPS 377601 WITH SCORE 378920.88
AT ITER 2339 NEW BEST:: SOT 1780399 SOS 1319931 HAS SOPS 995172 HAS SOUS 692235 HAS SOUPS 377560 WITH SCORE 378879.931
AT ITER 2342 NEW BEST:: SOT 1780192 SOS 1319724 HAS SOPS 994716 HAS SOUS 692028 HAS SOUPS 377104 WITH SCORE 378423.724
AT ITER 2344 NEW BEST:: SOT 1780192 SOS 1319724 HAS SOPS 994511 HAS SOUS 691806 HAS SOUPS 376677 WITH SCORE 377996.724
AT ITER 2345 NEW BEST:: SOT 1780192 SOS 1319724 HAS SOPS 994104 HAS SOUS 691399 HAS SOUPS 375863 WITH SCORE 377182.724
AT ITER 2353 NEW BEST:: SOT 1780192 SOS 1319693 HAS SOPS 994104 HAS SOUS 691399 HAS SOUPS 375863 WITH SCORE 377182.693
AT ITER 2356 NEW BEST:: SOT 1780192 SOS 1319774 HAS SOPS 994023 HAS SOUS 691399 HAS SOUPS 375701 WITH SCORE 377020.774
AT ITER 2358 NEW BEST:: SOT 1780192 SOS 1320427 HAS SOPS 993836 HAS SOUS 691212 HAS SOUPS 374861 WITH SCORE 376181.427
AT ITER 2362 NEW BEST:: SOT 1780133 SOS 1320309 HAS SOPS 993777 HAS SOUS 691153 HAS SOUPS 374861 WITH SCORE 376181.309
AT ITER 2364 NEW BEST:: SOT 1780133 SOS 1320101 HAS SOPS 993777 HAS SOUS 690998 HAS SOUPS 374706 WITH SCORE 376026.101
AT ITER 2366 NEW BEST:: SOT 1780133 SOS 1319963 HAS SOPS 993477 HAS SOUS 690848 HAS SOUPS 374406 WITH SCORE 375725.963
AT ITER 2373 NEW BEST:: SOT 1780133 SOS 1319807 HAS SOPS 993477 HAS SOUS 690783 HAS SOUPS 374341 WITH SCORE 375660.807
AT ITER 2375 NEW BEST:: SOT 1780121 SOS 1319795 HAS SOPS 993465 HAS SOUS 690759 HAS SOUPS 374317 WITH SCORE 375636.795
AT ITER 2387 NEW BEST:: SOT 1780648 SOS 1320971 HAS SOPS 993329 HAS SOUS 691897 HAS SOUPS 374143 WITH SCORE 375463.971
AT ITER 2391 NEW BEST:: SOT 1780493 SOS 1320816 HAS SOPS 993019 HAS SOUS 691742 HAS SOUPS 373833 WITH SCORE 375153.816
AT ITER 2395 NEW BEST:: SOT 1780682 SOS 1321366 HAS SOPS 992922 HAS SOUS 691645 HAS SOUPS 373261 WITH SCORE 374582.366
AT ITER 2401 NEW BEST:: SOT 1780673 SOS 1321506 HAS SOPS 992913 HAS SOUS 691636 HAS SOUPS 373252 WITH SCORE 374573.506
AT ITER 2403 NEW BEST:: SOT 1780579 SOS 1321412 HAS SOPS 992564 HAS SOUS 691703 HAS SOUPS 373064 WITH SCORE 374385.412
AT ITER 2407 NEW BEST:: SOT 1780579 SOS 1322127 HAS SOPS 991896 HAS SOUS 692093 HAS SOUPS 372272 WITH SCORE 373594.127
AT ITER 2412 NEW BEST:: SOT 1780590 SOS 1322477 HAS SOPS 991603 HAS SOUS 692443 HAS SOUPS 371979 WITH SCORE 373301.477
AT ITER 2419 NEW BEST:: SOT 1780590 SOS 1322318 HAS SOPS 991603 HAS SOUS 692276 HAS SOUPS 371812 WITH SCORE 373134.318
AT ITER 2438 NEW BEST:: SOT 1780548 SOS 1322276 HAS SOPS 991519 HAS SOUS 692234 HAS SOUPS 371728 WITH SCORE 373050.276
AT ITER 2442 NEW BEST:: SOT 1780185 SOS 1321496 HAS SOPS 991156 HAS SOUS 691508 HAS SOUPS 371419 WITH SCORE 372740.496
AT ITER 2448 NEW BEST:: SOT 1780625 SOS 1322272 HAS SOPS 990966 HAS SOUS 692140 HAS SOUPS 371085 WITH SCORE 372407.272
AT ITER 2450 NEW BEST:: SOT 1780625 SOS 1322381 HAS SOPS 990857 HAS SOUS 692249 HAS SOUPS 370976 WITH SCORE 372298.381
AT ITER 2456 NEW BEST:: SOT 1780650 SOS 1322646 HAS SOPS 990642 HAS SOUS 692514 HAS SOUPS 370761 WITH SCORE 372083.646
AT ITER 2462 NEW BEST:: SOT 1780864 SOS 1322847 HAS SOPS 990856 HAS SOUS 692373 HAS SOUPS 370562 WITH SCORE 371884.847
AT ITER 2463 NEW BEST:: SOT 1780720 SOS 1322703 HAS SOPS 990254 HAS SOUS 692304 HAS SOUPS 370035 WITH SCORE 371357.703
AT ITER 2472 NEW BEST:: SOT 1780639 SOS 1284086 HAS SOPS 951657 HAS SOUS 691937 HAS SOUPS 369668 WITH SCORE 370952.086
AT ITER 2483 NEW BEST:: SOT 1780085 SOS 1283509 HAS SOPS 951103 HAS SOUS 691914 HAS SOUPS 369668 WITH SCORE 370951.509
AT ITER 2485 NEW BEST:: SOT 1780081 SOS 1283505 HAS SOPS 951099 HAS SOUS 691906 HAS SOUPS 369660 WITH SCORE 370943.505
AT ITER 2493 NEW BEST:: SOT 1779458 SOS 1282259 HAS SOPS 950476 HAS SOUS 691283 HAS SOUPS 369660 WITH SCORE 370942.259
AT ITER 2500 NEW BEST:: SOT 1779483 SOS 1282309 HAS SOPS 950476 HAS SOUS 691308 HAS SOUPS 369635 WITH SCORE 370917.309
AT ITER 2501 NEW BEST:: SOT 1779149 SOS 1281956 HAS SOPS 949674 HAS SOUS 690974 HAS SOUPS 368852 WITH SCORE 370133.956
AT ITER 2503 NEW BEST:: SOT 1779145 SOS 1281952 HAS SOPS 949351 HAS SOUS 690970 HAS SOUPS 368529 WITH SCORE 369810.952
AT ITER 2504 NEW BEST:: SOT 1779292 SOS 1282337 HAS SOPS 949260 HAS SOUS 691355 HAS SOUPS 368438 WITH SCORE 369720.337
AT ITER 2505 NEW BEST:: SOT 1778748 SOS 1281788 HAS SOPS 948172 HAS SOUS 690805 HAS SOUPS 367349 WITH SCORE 368630.788
AT ITER 2526 NEW BEST:: SOT 1778748 SOS 1281904 HAS SOPS 948056 HAS SOUS 690921 HAS SOUPS 367233 WITH SCORE 368514.904
AT ITER 2527 NEW BEST:: SOT 1778823 SOS 1282172 HAS SOPS 947938 HAS SOUS 691189 HAS SOUPS 367115 WITH SCORE 368397.172
AT ITER 2529 NEW BEST:: SOT 1778823 SOS 1282172 HAS SOPS 947938 HAS SOUS 691159 HAS SOUPS 367085 WITH SCORE 368367.172
AT ITER 2530 NEW BEST:: SOT 1778823 SOS 1281972 HAS SOPS 947838 HAS SOUS 691159 HAS SOUPS 367085 WITH SCORE 368366.972
AT ITER 2538 NEW BEST:: SOT 1778823 SOS 1281841 HAS SOPS 947838 HAS SOUS 691140 HAS SOUPS 367066 WITH SCORE 368347.841
AT ITER 2546 NEW BEST:: SOT 1778823 SOS 1281767 HAS SOPS 947838 HAS SOUS 691066 HAS SOUPS 367066 WITH SCORE 368347.767
AT ITER 2549 NEW BEST:: SOT 1779296 SOS 1283221 HAS SOPS 948006 HAS SOUS 691707 HAS SOUPS 366878 WITH SCORE 368161.221
AT ITER 2553 NEW BEST:: SOT 1779287 SOS 1283625 HAS SOPS 947478 HAS SOUS 692092 HAS SOUPS 366331 WITH SCORE 367614.625
AT ITER 2559 NEW BEST:: SOT 1779287 SOS 1283391 HAS SOPS 947512 HAS SOUS 691824 HAS SOUPS 366331 WITH SCORE 367614.391
AT ITER 2568 NEW BEST:: SOT 1779287 SOS 1283347 HAS SOPS 947512 HAS SOUS 691824 HAS SOUPS 366331 WITH SCORE 367614.347
AT ITER 2570 NEW BEST:: SOT 1779287 SOS 1283472 HAS SOPS 947387 HAS SOUS 691949 HAS SOUPS 366206 WITH SCORE 367489.472
AT ITER 2578 NEW BEST:: SOT 1778662 SOS 1282222 HAS SOPS 946762 HAS SOUS 691324 HAS SOUPS 366206 WITH SCORE 367488.222
AT ITER 2580 NEW BEST:: SOT 1778485 SOS 1282045 HAS SOPS 946408 HAS SOUS 691147 HAS SOUPS 365852 WITH SCORE 367134.045
AT ITER 2581 NEW BEST:: SOT 1778485 SOS 1282045 HAS SOPS 946278 HAS SOUS 691147 HAS SOUPS 365722 WITH SCORE 367004.045
AT ITER 2587 NEW BEST:: SOT 1778176 SOS 1281736 HAS SOPS 945660 HAS SOUS 690838 HAS SOUPS 365104 WITH SCORE 366385.736
AT ITER 2588 NEW BEST:: SOT 1778171 SOS 1281731 HAS SOPS 945650 HAS SOUS 690828 HAS SOUPS 365089 WITH SCORE 366370.731
AT ITER 2593 NEW BEST:: SOT 1778170 SOS 1281730 HAS SOPS 945648 HAS SOUS 690827 HAS SOUPS 365087 WITH SCORE 366368.73
AT ITER 2596 NEW BEST:: SOT 1777930 SOS 1281490 HAS SOPS 945408 HAS SOUS 690587 HAS SOUPS 364847 WITH SCORE 366128.49
AT ITER 2600 NEW BEST:: SOT 1778019 SOS 1281028 HAS SOPS 945271 HAS SOUS 690125 HAS SOUPS 364710 WITH SCORE 365991.028
AT ITER 2604 NEW BEST:: SOT 1778019 SOS 1280973 HAS SOPS 945116 HAS SOUS 690070 HAS SOUPS 364555 WITH SCORE 365835.973
AT ITER 2610 NEW BEST:: SOT 1778019 SOS 1281422 HAS SOPS 944667 HAS SOUS 690070 HAS SOUPS 363657 WITH SCORE 364938.422
AT ITER 2611 NEW BEST:: SOT 1778184 SOS 1281938 HAS SOPS 944481 HAS SOUS 690546 HAS SOUPS 363431 WITH SCORE 364712.938
AT ITER 2614 NEW BEST:: SOT 1778127 SOS 1281774 HAS SOPS 944424 HAS SOUS 690325 HAS SOUPS 363317 WITH SCORE 364598.774
AT ITER 2636 NEW BEST:: SOT 1778112 SOS 1281759 HAS SOPS 944409 HAS SOUS 690310 HAS SOUPS 363302 WITH SCORE 364583.759
AT ITER 2641 NEW BEST:: SOT 1778084 SOS 1281731 HAS SOPS 944381 HAS SOUS 690282 HAS SOUPS 363274 WITH SCORE 364555.731
AT ITER 2642 NEW BEST:: SOT 1778084 SOS 1281587 HAS SOPS 944237 HAS SOUS 690282 HAS SOUPS 363274 WITH SCORE 364555.587
AT ITER 2644 NEW BEST:: SOT 1778084 SOS 1281587 HAS SOPS 944215 HAS SOUS 690282 HAS SOUPS 363252 WITH SCORE 364533.587
AT ITER 2652 NEW BEST:: SOT 1778151 SOS 1281654 HAS SOPS 944162 HAS SOUS 690349 HAS SOUPS 363199 WITH SCORE 364480.654
AT ITER 2655 NEW BEST:: SOT 1778151 SOS 1281644 HAS SOPS 944162 HAS SOUS 690339 HAS SOUPS 363199 WITH SCORE 364480.644
AT ITER 2658 NEW BEST:: SOT 1778151 SOS 1281649 HAS SOPS 944157 HAS SOUS 690339 HAS SOUPS 363189 WITH SCORE 364470.649
AT ITER 2659 NEW BEST:: SOT 1778308 SOS 1281764 HAS SOPS 944314 HAS SOUS 690226 HAS SOUPS 363076 WITH SCORE 364357.764
AT ITER 2669 NEW BEST:: SOT 1778308 SOS 1281694 HAS SOPS 944314 HAS SOUS 690226 HAS SOUPS 363076 WITH SCORE 364357.694
AT ITER 2673 NEW BEST:: SOT 1778308 SOS 1281709 HAS SOPS 944314 HAS SOUS 689951 HAS SOUPS 362786 WITH SCORE 364067.709
AT ITER 2683 NEW BEST:: SOT 1778308 SOS 1281709 HAS SOPS 944124 HAS SOUS 689951 HAS SOUPS 362596 WITH SCORE 363877.709
AT ITER 2694 NEW BEST:: SOT 1778301 SOS 1281702 HAS SOPS 944110 HAS SOUS 689944 HAS SOUPS 362582 WITH SCORE 363863.702
AT ITER 2695 NEW BEST:: SOT 1778361 SOS 1281848 HAS SOPS 943627 HAS SOUS 689919 HAS SOUPS 361928 WITH SCORE 363209.848
AT ITER 2696 NEW BEST:: SOT 1778272 SOS 1281759 HAS SOPS 943449 HAS SOUS 689830 HAS SOUPS 361750 WITH SCORE 363031.759
AT ITER 2712 NEW BEST:: SOT 1778198 SOS 1281685 HAS SOPS 943301 HAS SOUS 689756 HAS SOUPS 361602 WITH SCORE 362883.685
AT ITER 2713 NEW BEST:: SOT 1778464 SOS 1282030 HAS SOPS 943081 HAS SOUS 690101 HAS SOUPS 361382 WITH SCORE 362664.03
AT ITER 2720 NEW BEST:: SOT 1778761 SOS 1282190 HAS SOPS 943378 HAS SOUS 689991 HAS SOUPS 361296 WITH SCORE 362578.19
AT ITER 2733 NEW BEST:: SOT 1779070 SOS 1283170 HAS SOPS 943016 HAS SOUS 690764 HAS SOUPS 360727 WITH SCORE 362010.17
AT ITER 2742 NEW BEST:: SOT 1779128 SOS 1283228 HAS SOPS 942817 HAS SOUS 690822 HAS SOUPS 360528 WITH SCORE 361811.228
AT ITER 2749 NEW BEST:: SOT 1778944 SOS 1282975 HAS SOPS 942633 HAS SOUS 690753 HAS SOUPS 360528 WITH SCORE 361810.975
AT ITER 2751 NEW BEST:: SOT 1778944 SOS 1282899 HAS SOPS 942633 HAS SOUS 690711 HAS SOUPS 360486 WITH SCORE 361768.899
AT ITER 2752 NEW BEST:: SOT 1779122 SOS 1283135 HAS SOPS 942474 HAS SOUS 690959 HAS SOUPS 360447 WITH SCORE 361730.135
AT ITER 2759 NEW BEST:: SOT 1779041 SOS 1283135 HAS SOPS 942312 HAS SOUS 690878 HAS SOUPS 360204 WITH SCORE 361487.135
AT ITER 2775 NEW BEST:: SOT 1778815 SOS 1282909 HAS SOPS 941860 HAS SOUS 690652 HAS SOUPS 359752 WITH SCORE 361034.909
AT ITER 2778 NEW BEST:: SOT 1778605 SOS 1282699 HAS SOPS 941650 HAS SOUS 690442 HAS SOUPS 359542 WITH SCORE 360824.699
AT ITER 2780 NEW BEST:: SOT 1778489 SOS 1282441 HAS SOPS 941534 HAS SOUS 690210 HAS SOUPS 359452 WITH SCORE 360734.441
AT ITER 2790 NEW BEST:: SOT 1778487 SOS 1282598 HAS SOPS 941532 HAS SOUS 690208 HAS SOUPS 359450 WITH SCORE 360732.598
AT ITER 2794 NEW BEST:: SOT 1778487 SOS 1282504 HAS SOPS 941532 HAS SOUS 690114 HAS SOUPS 359450 WITH SCORE 360732.504
AT ITER 2797 NEW BEST:: SOT 1778487 SOS 1282504 HAS SOPS 941532 HAS SOUS 690093 HAS SOUPS 359429 WITH SCORE 360711.504
AT ITER 2804 NEW BEST:: SOT 1778020 SOS 1281570 HAS SOPS 941065 HAS SOUS 689626 HAS SOUPS 359429 WITH SCORE 360710.57
AT ITER 2810 NEW BEST:: SOT 1777776 SOS 1281146 HAS SOPS 941067 HAS SOUS 689081 HAS SOUPS 359226 WITH SCORE 360507.146
AT ITER 2827 NEW BEST:: SOT 1777699 SOS 1281069 HAS SOPS 940913 HAS SOUS 689004 HAS SOUPS 359072 WITH SCORE 360353.069
AT ITER 2828 NEW BEST:: SOT 1777764 SOS 1281243 HAS SOPS 940869 HAS SOUS 689178 HAS SOUPS 359028 WITH SCORE 360309.243
AT ITER 2838 NEW BEST:: SOT 1777866 SOS 1281760 HAS SOPS 940903 HAS SOUS 688729 HAS SOUPS 358096 WITH SCORE 359377.76
AT ITER 2852 NEW BEST:: SOT 1777875 SOS 1281990 HAS SOPS 940700 HAS SOUS 688526 HAS SOUPS 357672 WITH SCORE 358953.99
AT ITER 2853 NEW BEST:: SOT 1777875 SOS 1281966 HAS SOPS 940700 HAS SOUS 688502 HAS SOUPS 357672 WITH SCORE 358953.966
AT ITER 2855 NEW BEST:: SOT 1777875 SOS 1281821 HAS SOPS 940700 HAS SOUS 688357 HAS SOUPS 357672 WITH SCORE 358953.821
AT ITER 2861 NEW BEST:: SOT 1777875 SOS 1281760 HAS SOPS 940639 HAS SOUS 688357 HAS SOUPS 357672 WITH SCORE 358953.76
AT ITER 2870 NEW BEST:: SOT 1777776 SOS 1281961 HAS SOPS 940459 HAS SOUS 688540 HAS SOUPS 357474 WITH SCORE 358755.961
AT ITER 2872 NEW BEST:: SOT 1777983 SOS 1282696 HAS SOPS 940138 HAS SOUS 689275 HAS SOUPS 357153 WITH SCORE 358435.696
AT ITER 2873 NEW BEST:: SOT 1777983 SOS 1282770 HAS SOPS 939990 HAS SOUS 689275 HAS SOUPS 357005 WITH SCORE 358287.77
AT ITER 2876 NEW BEST:: SOT 1777983 SOS 1282986 HAS SOPS 939558 HAS SOUS 689275 HAS SOUPS 356573 WITH SCORE 357855.986
AT ITER 2882 NEW BEST:: SOT 1777846 SOS 1282849 HAS SOPS 939225 HAS SOUS 689138 HAS SOUPS 356240 WITH SCORE 357522.849
AT ITER 2884 NEW BEST:: SOT 1777846 SOS 1282815 HAS SOPS 939225 HAS SOUS 689050 HAS SOUPS 356152 WITH SCORE 357434.815
AT ITER 2889 NEW BEST:: SOT 1777993 SOS 1283176 HAS SOPS 939203 HAS SOUS 689299 HAS SOUPS 356018 WITH SCORE 357301.176
AT ITER 2898 NEW BEST:: SOT 1777993 SOS 1283169 HAS SOPS 939203 HAS SOUS 689299 HAS SOUPS 356018 WITH SCORE 357301.169
AT ITER 2909 NEW BEST:: SOT 1777925 SOS 1283101 HAS SOPS 938889 HAS SOUS 689231 HAS SOUPS 355704 WITH SCORE 356987.101
AT ITER 2918 NEW BEST:: SOT 1777735 SOS 1282911 HAS SOPS 938509 HAS SOUS 689025 HAS SOUPS 355308 WITH SCORE 356590.911
AT ITER 2943 NEW BEST:: SOT 1777439 SOS 1282319 HAS SOPS 938213 HAS SOUS 688729 HAS SOUPS 355308 WITH SCORE 356590.319
AT ITER 2952 NEW BEST:: SOT 1777421 SOS 1282301 HAS SOPS 938012 HAS SOUS 688616 HAS SOUPS 355012 WITH SCORE 356294.301
AT ITER 2970 NEW BEST:: SOT 1777393 SOS 1282273 HAS SOPS 938041 HAS SOUS 688531 HAS SOUPS 354984 WITH SCORE 356266.273
AT ITER 2974 NEW BEST:: SOT 1777327 SOS 1282207 HAS SOPS 937691 HAS SOUS 688591 HAS SOUPS 354760 WITH SCORE 356042.207
AT ITER 2979 NEW BEST:: SOT 1777384 SOS 1282264 HAS SOPS 937382 HAS SOUS 688267 HAS SOUPS 354070 WITH SCORE 355352.264
AT ITER 2986 NEW BEST:: SOT 1777428 SOS 1282308 HAS SOPS 937176 HAS SOUS 688061 HAS SOUPS 353614 WITH SCORE 354896.308
AT ITER 2994 NEW BEST:: SOT 1777585 SOS 1282977 HAS SOPS 936607 HAS SOUS 688218 HAS SOUPS 352533 WITH SCORE 353815.977
AT ITER 2996 NEW BEST:: SOT 1778191 SOS 1283947 HAS SOPS 936849 HAS SOUS 688602 HAS SOUPS 352189 WITH SCORE 353472.947
AT ITER 2997 NEW BEST:: SOT 1778191 SOS 1283947 HAS SOPS 936800 HAS SOUS 688602 HAS SOUPS 352140 WITH SCORE 353423.947
AT ITER 3005 NEW BEST:: SOT 1778161 SOS 1283917 HAS SOPS 936719 HAS SOUS 688593 HAS SOUPS 352080 WITH SCORE 353363.917
AT ITER 3006 NEW BEST:: SOT 1753864 SOS 1366071 HAS SOPS 1019578 HAS SOUS 665039 HAS SOUPS 329231 WITH SCORE 330597.071
AT ITER 3010 NEW BEST:: SOT 1754458 SOS 1367122 HAS SOPS 1019544 HAS SOUS 665599 HAS SOUPS 328706 WITH SCORE 330073.122
AT ITER 3028 NEW BEST:: SOT 1754479 SOS 1367000 HAS SOPS 1019068 HAS SOUS 665287 HAS SOUPS 328040 WITH SCORE 329407.0
AT ITER 3054 NEW BEST:: SOT 1754479 SOS 1367000 HAS SOPS 1019068 HAS SOUS 665103 HAS SOUPS 327856 WITH SCORE 329223.0
AT ITER 3058 NEW BEST:: SOT 1754479 SOS 1366835 HAS SOPS 1019068 HAS SOUS 664949 HAS SOUPS 327702 WITH SCORE 329068.835
AT ITER 3065 NEW BEST:: SOT 1754455 SOS 1366811 HAS SOPS 1019020 HAS SOUS 664925 HAS SOUPS 327654 WITH SCORE 329020.811
AT ITER 3095 NEW BEST:: SOT 1754455 SOS 1366811 HAS SOPS 1018869 HAS SOUS 664925 HAS SOUPS 327503 WITH SCORE 328869.811
AT ITER 3105 NEW BEST:: SOT 1754455 SOS 1366681 HAS SOPS 1018869 HAS SOUS 664795 HAS SOUPS 327503 WITH SCORE 328869.681
AT ITER 3121 NEW BEST:: SOT 1754399 SOS 1366569 HAS SOPS 1018813 HAS SOUS 664739 HAS SOUPS 327503 WITH SCORE 328869.569
AT ITER 3124 NEW BEST:: SOT 1754263 SOS 1366402 HAS SOPS 1018782 HAS SOUS 664603 HAS SOUPS 327503 WITH SCORE 328869.402
AT ITER 3135 NEW BEST:: SOT 1753908 SOS 1365692 HAS SOPS 1018427 HAS SOUS 664248 HAS SOUPS 327503 WITH SCORE 328868.692
AT ITER 3138 NEW BEST:: SOT 1753499 SOS 1364666 HAS SOPS 1018122 HAS SOUS 663534 HAS SOUPS 327302 WITH SCORE 328666.666
AT ITER 3143 NEW BEST:: SOT 1753499 SOS 1364666 HAS SOPS 1017910 HAS SOUS 663534 HAS SOUPS 327090 WITH SCORE 328454.666
AT ITER 3160 NEW BEST:: SOT 1753125 SOS 1363918 HAS SOPS 1017536 HAS SOUS 663160 HAS SOUPS 327090 WITH SCORE 328453.918
AT ITER 3162 NEW BEST:: SOT 1753125 SOS 1364037 HAS SOPS 1017536 HAS SOUS 663160 HAS SOUPS 326971 WITH SCORE 328335.037
AT ITER 3174 NEW BEST:: SOT 1753191 SOS 1364194 HAS SOPS 1017511 HAS SOUS 663292 HAS SOUPS 326921 WITH SCORE 328285.194
AT ITER 3178 NEW BEST:: SOT 1752542 SOS 1362938 HAS SOPS 1017427 HAS SOUS 662036 HAS SOUPS 326837 WITH SCORE 328199.938
AT ITER 3183 NEW BEST:: SOT 1752542 SOS 1362873 HAS SOPS 1017297 HAS SOUS 661971 HAS SOUPS 326707 WITH SCORE 328069.873
AT ITER 3186 NEW BEST:: SOT 1752505 SOS 1362836 HAS SOPS 1017161 HAS SOUS 661996 HAS SOUPS 326633 WITH SCORE 327995.836
AT ITER 3190 NEW BEST:: SOT 1752505 SOS 1362904 HAS SOPS 1017093 HAS SOUS 661996 HAS SOUPS 326497 WITH SCORE 327859.904
AT ITER 3194 NEW BEST:: SOT 1752484 SOS 1362862 HAS SOPS 1017072 HAS SOUS 661975 HAS SOUPS 326497 WITH SCORE 327859.862
AT ITER 3195 NEW BEST:: SOT 1752342 SOS 1362720 HAS SOPS 1016788 HAS SOUS 661833 HAS SOUPS 326213 WITH SCORE 327575.72
AT ITER 3201 NEW BEST:: SOT 1752577 SOS 1363426 HAS SOPS 1016552 HAS SOUS 662068 HAS SOUPS 325506 WITH SCORE 326869.426
AT ITER 3211 NEW BEST:: SOT 1752300 SOS 1363391 HAS SOPS 1016275 HAS SOUS 662033 HAS SOUPS 325229 WITH SCORE 326592.391
AT ITER 3218 NEW BEST:: SOT 1752274 SOS 1363366 HAS SOPS 1016249 HAS SOUS 661982 HAS SOUPS 325177 WITH SCORE 326540.366
AT ITER 3228 NEW BEST:: SOT 1752253 SOS 1363345 HAS SOPS 1016228 HAS SOUS 661961 HAS SOUPS 325156 WITH SCORE 326519.345
AT ITER 3229 NEW BEST:: SOT 1752253 SOS 1363345 HAS SOPS 1015756 HAS SOUS 661725 HAS SOUPS 324684 WITH SCORE 326047.345
AT ITER 3239 NEW BEST:: SOT 1752225 SOS 1363317 HAS SOPS 1015728 HAS SOUS 661697 HAS SOUPS 324656 WITH SCORE 326019.317
AT ITER 3245 NEW BEST:: SOT 1752225 SOS 1363317 HAS SOPS 1015184 HAS SOUS 661697 HAS SOUPS 324112 WITH SCORE 325475.317
AT ITER 3258 NEW BEST:: SOT 1752144 SOS 1363236 HAS SOPS 1015001 HAS SOUS 661653 HAS SOUPS 323929 WITH SCORE 325292.236
AT ITER 3268 NEW BEST:: SOT 1751835 SOS 1362618 HAS SOPS 1014692 HAS SOUS 661344 HAS SOUPS 323929 WITH SCORE 325291.618
AT ITER 3270 NEW BEST:: SOT 1751678 SOS 1362461 HAS SOPS 1014378 HAS SOUS 661187 HAS SOUPS 323615 WITH SCORE 324977.461
AT ITER 3273 NEW BEST:: SOT 1751706 SOS 1362489 HAS SOPS 1014305 HAS SOUS 661142 HAS SOUPS 323469 WITH SCORE 324831.489
AT ITER 3277 NEW BEST:: SOT 1751693 SOS 1362476 HAS SOPS 1014292 HAS SOUS 661129 HAS SOUPS 323456 WITH SCORE 324818.476
AT ITER 3289 NEW BEST:: SOT 1751534 SOS 1362317 HAS SOPS 1013974 HAS SOUS 660970 HAS SOUPS 323138 WITH SCORE 324500.317
AT ITER 3299 NEW BEST:: SOT 1751500 SOS 1362283 HAS SOPS 1013713 HAS SOUS 661086 HAS SOUPS 323027 WITH SCORE 324389.283
AT ITER 3303 NEW BEST:: SOT 1751540 SOS 1362323 HAS SOPS 1013537 HAS SOUS 661038 HAS SOUPS 322851 WITH SCORE 324213.323
AT ITER 3314 NEW BEST:: SOT 1751582 SOS 1362457 HAS SOPS 1013554 HAS SOUS 661097 HAS SOUPS 322843 WITH SCORE 324205.457
AT ITER 3315 NEW BEST:: SOT 1751582 SOS 1362831 HAS SOPS 1013340 HAS SOUS 661097 HAS SOUPS 322451 WITH SCORE 323813.831
AT ITER 3316 NEW BEST:: SOT 1751583 SOS 1362910 HAS SOPS 1013184 HAS SOUS 661021 HAS SOUPS 322296 WITH SCORE 323658.91
AT ITER 3331 NEW BEST:: SOT 1751512 SOS 1362839 HAS SOPS 1013164 HAS SOUS 660950 HAS SOUPS 322276 WITH SCORE 323638.839
AT ITER 3335 NEW BEST:: SOT 1751512 SOS 1362907 HAS SOPS 1013096 HAS SOUS 660950 HAS SOUPS 322140 WITH SCORE 323502.907
AT ITER 3345 NEW BEST:: SOT 1751512 SOS 1362875 HAS SOPS 1013064 HAS SOUS 660918 HAS SOUPS 322108 WITH SCORE 323470.875
AT ITER 3350 NEW BEST:: SOT 1751395 SOS 1362641 HAS SOPS 1013064 HAS SOUS 660684 HAS SOUPS 322108 WITH SCORE 323470.641
AT ITER 3353 NEW BEST:: SOT 1751395 SOS 1362641 HAS SOPS 1012962 HAS SOUS 660684 HAS SOUPS 322006 WITH SCORE 323368.641
AT ITER 3354 NEW BEST:: SOT 1751415 SOS 1362661 HAS SOPS 1012720 HAS SOUS 660704 HAS SOUPS 321764 WITH SCORE 323126.661
AT ITER 3361 NEW BEST:: SOT 1751415 SOS 1362661 HAS SOPS 1012596 HAS SOUS 660704 HAS SOUPS 321640 WITH SCORE 323002.661
AT ITER 3368 NEW BEST:: SOT 1751409 SOS 1362646 HAS SOPS 1012590 HAS SOUS 660692 HAS SOUPS 321637 WITH SCORE 322999.646
AT ITER 3383 NEW BEST:: SOT 1751409 SOS 1362568 HAS SOPS 1012590 HAS SOUS 660607 HAS SOUPS 321552 WITH SCORE 322914.568
AT ITER 3391 NEW BEST:: SOT 1751670 SOS 1362969 HAS SOPS 1012432 HAS SOUS 660719 HAS SOUPS 321254 WITH SCORE 322616.969
AT ITER 3393 NEW BEST:: SOT 1751191 SOS 1362011 HAS SOPS 1011953 HAS SOUS 660240 HAS SOUPS 321254 WITH SCORE 322616.011
AT ITER 3396 NEW BEST:: SOT 1750988 SOS 1361605 HAS SOPS 1011750 HAS SOUS 660037 HAS SOUPS 321254 WITH SCORE 322615.605
AT ITER 3397 NEW BEST:: SOT 1750962 SOS 1361579 HAS SOPS 1011724 HAS SOUS 659985 HAS SOUPS 321202 WITH SCORE 322563.579
AT ITER 3404 NEW BEST:: SOT 1750962 SOS 1361802 HAS SOPS 1011501 HAS SOUS 659985 HAS SOUPS 320756 WITH SCORE 322117.802
AT ITER 3406 NEW BEST:: SOT 1750934 SOS 1361774 HAS SOPS 1011382 HAS SOUS 660020 HAS SOUPS 320700 WITH SCORE 322061.774
AT ITER 3412 NEW BEST:: SOT 1750934 SOS 1361768 HAS SOPS 1011370 HAS SOUS 660014 HAS SOUPS 320688 WITH SCORE 322049.768
AT ITER 3422 NEW BEST:: SOT 1750934 SOS 1361680 HAS SOPS 1011370 HAS SOUS 660014 HAS SOUPS 320688 WITH SCORE 322049.68
AT ITER 3432 NEW BEST:: SOT 1750920 SOS 1361666 HAS SOPS 1011342 HAS SOUS 660000 HAS SOUPS 320660 WITH SCORE 322021.666
AT ITER 3436 NEW BEST:: SOT 1750544 SOS 1361782 HAS SOPS 1010966 HAS SOUS 660116 HAS SOUPS 320284 WITH SCORE 321645.782
AT ITER 3439 NEW BEST:: SOT 1750285 SOS 1361523 HAS SOPS 1010974 HAS SOUS 659643 HAS SOUPS 320078 WITH SCORE 321439.523
AT ITER 3453 NEW BEST:: SOT 1750225 SOS 1361463 HAS SOPS 1010914 HAS SOUS 659523 HAS SOUPS 319958 WITH SCORE 321319.463
AT ITER 3456 NEW BEST:: SOT 1750014 SOS 1361252 HAS SOPS 1010492 HAS SOUS 659312 HAS SOUPS 319536 WITH SCORE 320897.252
AT ITER 3457 NEW BEST:: SOT 1750088 SOS 1361423 HAS SOPS 1010469 HAS SOUS 659483 HAS SOUPS 319513 WITH SCORE 320874.423
AT ITER 3461 NEW BEST:: SOT 1749957 SOS 1361292 HAS SOPS 1010207 HAS SOUS 659352 HAS SOUPS 319251 WITH SCORE 320612.292
AT ITER 3489 NEW BEST:: SOT 1749854 SOS 1361189 HAS SOPS 1010001 HAS SOUS 659249 HAS SOUPS 319045 WITH SCORE 320406.189
AT ITER 3490 NEW BEST:: SOT 1749652 SOS 1360987 HAS SOPS 1009799 HAS SOUS 659249 HAS SOUPS 319045 WITH SCORE 320405.987
AT ITER 3491 NEW BEST:: SOT 1749652 SOS 1360949 HAS SOPS 1009799 HAS SOUS 659198 HAS SOUPS 318994 WITH SCORE 320354.949
AT ITER 3501 NEW BEST:: SOT 1749652 SOS 1360949 HAS SOPS 1009670 HAS SOUS 659198 HAS SOUPS 318865 WITH SCORE 320225.949
AT ITER 3505 NEW BEST:: SOT 1749660 SOS 1360841 HAS SOPS 1009678 HAS SOUS 659142 HAS SOUPS 318809 WITH SCORE 320169.841
AT ITER 3512 NEW BEST:: SOT 1749524 SOS 1360705 HAS SOPS 1009542 HAS SOUS 659006 HAS SOUPS 318673 WITH SCORE 320033.705
AT ITER 3517 NEW BEST:: SOT 1749519 SOS 1360700 HAS SOPS 1009532 HAS SOUS 659001 HAS SOUPS 318663 WITH SCORE 320023.7
AT ITER 3523 NEW BEST:: SOT 1749519 SOS 1360657 HAS SOPS 1009532 HAS SOUS 658960 HAS SOUPS 318622 WITH SCORE 319982.657
AT ITER 3526 NEW BEST:: SOT 1749519 SOS 1360657 HAS SOPS 1009424 HAS SOUS 658960 HAS SOUPS 318514 WITH SCORE 319874.657
AT ITER 3538 NEW BEST:: SOT 1749157 SOS 1360263 HAS SOPS 1009062 HAS SOUS 658566 HAS SOUPS 318152 WITH SCORE 319512.263
AT ITER 3558 NEW BEST:: SOT 1749251 SOS 1360242 HAS SOPS 1008960 HAS SOUS 658639 HAS SOUPS 318144 WITH SCORE 319504.242
AT ITER 3570 NEW BEST:: SOT 1749180 SOS 1360171 HAS SOPS 1008960 HAS SOUS 658568 HAS SOUPS 318144 WITH SCORE 319504.171
AT ITER 3576 NEW BEST:: SOT 1749104 SOS 1360095 HAS SOPS 1008808 HAS SOUS 658492 HAS SOUPS 317992 WITH SCORE 319352.095
AT ITER 3579 NEW BEST:: SOT 1749104 SOS 1360095 HAS SOPS 1008785 HAS SOUS 658492 HAS SOUPS 317969 WITH SCORE 319329.095
AT ITER 3582 NEW BEST:: SOT 1749130 SOS 1360121 HAS SOPS 1008753 HAS SOUS 658486 HAS SOUPS 317905 WITH SCORE 319265.121
AT ITER 3585 NEW BEST:: SOT 1749106 SOS 1360097 HAS SOPS 1008705 HAS SOUS 658462 HAS SOUPS 317857 WITH SCORE 319217.097
AT ITER 3599 NEW BEST:: SOT 1748935 SOS 1359926 HAS SOPS 1008287 HAS SOUS 658291 HAS SOUPS 317439 WITH SCORE 318798.926
AT ITER 3602 NEW BEST:: SOT 1748957 SOS 1360131 HAS SOPS 1008126 HAS SOUS 658313 HAS SOUPS 317095 WITH SCORE 318455.131
AT ITER 3606 NEW BEST:: SOT 1749394 SOS 1361005 HAS SOPS 1008126 HAS SOUS 658750 HAS SOUPS 316658 WITH SCORE 318019.005
AT ITER 3624 NEW BEST:: SOT 1749419 SOS 1361030 HAS SOPS 1007977 HAS SOUS 658775 HAS SOUPS 316509 WITH SCORE 317870.03
AT ITER 3633 NEW BEST:: SOT 1749371 SOS 1360982 HAS SOPS 1007929 HAS SOUS 658679 HAS SOUPS 316413 WITH SCORE 317773.982
AT ITER 3662 NEW BEST:: SOT 1750108 SOS 1362296 HAS SOPS 1008089 HAS SOUS 659416 HAS SOUPS 315996 WITH SCORE 317358.296
AT ITER 3684 NEW BEST:: SOT 1750179 SOS 1362367 HAS SOPS 1007955 HAS SOUS 659487 HAS SOUPS 315862 WITH SCORE 317224.367
AT ITER 3694 NEW BEST:: SOT 1749693 SOS 1361395 HAS SOPS 1007469 HAS SOUS 658515 HAS SOUPS 315376 WITH SCORE 316737.395
AT ITER 3697 NEW BEST:: SOT 1749693 SOS 1361376 HAS SOPS 1007431 HAS SOUS 658496 HAS SOUPS 315338 WITH SCORE 316699.376
AT ITER 3701 NEW BEST:: SOT 1749693 SOS 1361148 HAS SOPS 1007431 HAS SOUS 658268 HAS SOUPS 315338 WITH SCORE 316699.148
AT ITER 3705 NEW BEST:: SOT 1749580 SOS 1361035 HAS SOPS 1007318 HAS SOUS 658155 HAS SOUPS 315225 WITH SCORE 316586.035
AT ITER 3711 NEW BEST:: SOT 1749968 SOS 1361845 HAS SOPS 1007284 HAS SOUS 658543 HAS SOUPS 314769 WITH SCORE 316130.845
AT ITER 3721 NEW BEST:: SOT 1749961 SOS 1361831 HAS SOPS 1007277 HAS SOUS 658536 HAS SOUPS 314769 WITH SCORE 316130.831
AT ITER 3724 NEW BEST:: SOT 1749909 SOS 1361727 HAS SOPS 1007225 HAS SOUS 658484 HAS SOUPS 314769 WITH SCORE 316130.727
AT ITER 3732 NEW BEST:: SOT 1749909 SOS 1361790 HAS SOPS 1007162 HAS SOUS 658421 HAS SOUPS 314643 WITH SCORE 316004.79
AT ITER 3734 NEW BEST:: SOT 1749909 SOS 1361790 HAS SOPS 1007162 HAS SOUS 658255 HAS SOUPS 314477 WITH SCORE 315838.79
AT ITER 3738 NEW BEST:: SOT 1750030 SOS 1362070 HAS SOPS 1007283 HAS SOUS 658338 HAS SOUPS 314401 WITH SCORE 315763.07
AT ITER 3743 NEW BEST:: SOT 1750040 SOS 1362216 HAS SOPS 1007293 HAS SOUS 658358 HAS SOUPS 314285 WITH SCORE 315647.216
AT ITER 3746 NEW BEST:: SOT 1749780 SOS 1361783 HAS SOPS 1007033 HAS SOUS 657891 HAS SOUPS 313991 WITH SCORE 315352.783
AT ITER 3760 NEW BEST:: SOT 1749662 SOS 1361547 HAS SOPS 1007033 HAS SOUS 657655 HAS SOUPS 313991 WITH SCORE 315352.547
AT ITER 3764 NEW BEST:: SOT 1749711 SOS 1361862 HAS SOPS 1006816 HAS SOUS 657704 HAS SOUPS 313508 WITH SCORE 314869.862
AT ITER 3766 NEW BEST:: SOT 1749711 SOS 1361861 HAS SOPS 1006816 HAS SOUS 657704 HAS SOUPS 313508 WITH SCORE 314869.861
AT ITER 3791 NEW BEST:: SOT 1749695 SOS 1361829 HAS SOPS 1006800 HAS SOUS 657672 HAS SOUPS 313492 WITH SCORE 314853.829
AT ITER 3792 NEW BEST:: SOT 1749963 SOS 1362251 HAS SOPS 1006914 HAS SOUS 657940 HAS SOUPS 313452 WITH SCORE 314814.251
AT ITER 3798 NEW BEST:: SOT 1749923 SOS 1362211 HAS SOPS 1006874 HAS SOUS 657900 HAS SOUPS 313412 WITH SCORE 314774.211
AT ITER 3804 NEW BEST:: SOT 1749923 SOS 1362533 HAS SOPS 1006552 HAS SOUS 658222 HAS SOUPS 313090 WITH SCORE 314452.533
AT ITER 3806 NEW BEST:: SOT 1749923 SOS 1362574 HAS SOPS 1006470 HAS SOUS 658181 HAS SOUPS 313008 WITH SCORE 314370.574
AT ITER 3807 NEW BEST:: SOT 1749444 SOS 1361677 HAS SOPS 1005991 HAS SOUS 657284 HAS SOUPS 312529 WITH SCORE 313890.677
AT ITER 3810 NEW BEST:: SOT 1749656 SOS 1362101 HAS SOPS 1005991 HAS SOUS 657496 HAS SOUPS 312317 WITH SCORE 313679.101
AT ITER 3821 NEW BEST:: SOT 1749747 SOS 1362283 HAS SOPS 1005991 HAS SOUS 657587 HAS SOUPS 312226 WITH SCORE 313588.283
AT ITER 3824 NEW BEST:: SOT 1749735 SOS 1362271 HAS SOPS 1005967 HAS SOUS 657575 HAS SOUPS 312202 WITH SCORE 313564.271
AT ITER 3830 NEW BEST:: SOT 1750185 SOS 1363190 HAS SOPS 1005947 HAS SOUS 658494 HAS SOUPS 312182 WITH SCORE 313545.19
AT ITER 3837 NEW BEST:: SOT 1750185 SOS 1363025 HAS SOPS 1005947 HAS SOUS 658329 HAS SOUPS 312182 WITH SCORE 313545.025
AT ITER 3855 NEW BEST:: SOT 1750185 SOS 1363024 HAS SOPS 1005947 HAS SOUS 658328 HAS SOUPS 312182 WITH SCORE 313545.024
AT ITER 3874 NEW BEST:: SOT 1750239 SOS 1363193 HAS SOPS 1005886 HAS SOUS 658382 HAS SOUPS 312006 WITH SCORE 313369.193
AT ITER 3877 NEW BEST:: SOT 1750073 SOS 1362861 HAS SOPS 1005720 HAS SOUS 658216 HAS SOUPS 312006 WITH SCORE 313368.861
AT ITER 3898 NEW BEST:: SOT 1749977 SOS 1362765 HAS SOPS 1005528 HAS SOUS 658120 HAS SOUPS 311814 WITH SCORE 313176.765
AT ITER 3905 NEW BEST:: SOT 1750074 SOS 1362959 HAS SOPS 1005528 HAS SOUS 658217 HAS SOUPS 311717 WITH SCORE 313079.959
AT ITER 3922 NEW BEST:: SOT 1750183 SOS 1363068 HAS SOPS 1005436 HAS SOUS 658364 HAS SOUPS 311663 WITH SCORE 313026.068
AT ITER 3928 NEW BEST:: SOT 1750183 SOS 1363068 HAS SOPS 1005119 HAS SOUS 658364 HAS SOUPS 311346 WITH SCORE 312709.068
AT ITER 3939 NEW BEST:: SOT 1750436 SOS 1363389 HAS SOPS 1005372 HAS SOUS 658298 HAS SOUPS 311210 WITH SCORE 312573.389
AT ITER 3946 NEW BEST:: SOT 1750398 SOS 1363351 HAS SOPS 1005334 HAS SOUS 658222 HAS SOUPS 311134 WITH SCORE 312497.351
AT ITER 3950 NEW BEST:: SOT 1750398 SOS 1363351 HAS SOPS 1005334 HAS SOUS 658192 HAS SOUPS 311104 WITH SCORE 312467.351
AT ITER 3954 NEW BEST:: SOT 1750398 SOS 1363351 HAS SOPS 1005298 HAS SOUS 658192 HAS SOUPS 311068 WITH SCORE 312431.351
AT ITER 3962 NEW BEST:: SOT 1750284 SOS 1363237 HAS SOPS 1005070 HAS SOUS 658078 HAS SOUPS 310840 WITH SCORE 312203.237
AT ITER 3964 NEW BEST:: SOT 1750182 SOS 1363135 HAS SOPS 1004866 HAS SOUS 657976 HAS SOUPS 310636 WITH SCORE 311999.135
AT ITER 3966 NEW BEST:: SOT 1750253 SOS 1363206 HAS SOPS 1004589 HAS SOUS 658047 HAS SOUPS 310359 WITH SCORE 311722.206
AT ITER 3967 NEW BEST:: SOT 1750110 SOS 1363063 HAS SOPS 1004446 HAS SOUS 657904 HAS SOUPS 310216 WITH SCORE 311579.063
AT ITER 3977 NEW BEST:: SOT 1750013 SOS 1362966 HAS SOPS 1004252 HAS SOUS 657807 HAS SOUPS 310022 WITH SCORE 311384.966
AT ITER 3982 NEW BEST:: SOT 1749703 SOS 1362543 HAS SOPS 1004055 HAS SOUS 657520 HAS SOUPS 309961 WITH SCORE 311323.543
AT ITER 3998 NEW BEST:: SOT 1749703 SOS 1362771 HAS SOPS 1003827 HAS SOUS 657748 HAS SOUPS 309733 WITH SCORE 311095.771
AT ITER 4026 NEW BEST:: SOT 1749878 SOS 1363121 HAS SOPS 1003827 HAS SOUS 657923 HAS SOUPS 309558 WITH SCORE 310921.121
AT ITER 4028 NEW BEST:: SOT 1749883 SOS 1363173 HAS SOPS 1003832 HAS SOUS 657909 HAS SOUPS 309497 WITH SCORE 310860.173
AT ITER 4046 NEW BEST:: SOT 1749535 SOS 1362477 HAS SOPS 1003484 HAS SOUS 657213 HAS SOUPS 309149 WITH SCORE 310511.477
AT ITER 4073 NEW BEST:: SOT 1749557 SOS 1362860 HAS SOPS 1003167 HAS SOUS 657596 HAS SOUPS 308832 WITH SCORE 310194.86
AT ITER 4077 NEW BEST:: SOT 1749495 SOS 1362798 HAS SOPS 1003105 HAS SOUS 657472 HAS SOUPS 308708 WITH SCORE 310070.798
AT ITER 4089 NEW BEST:: SOT 1749432 SOS 1362735 HAS SOPS 1003042 HAS SOUS 657409 HAS SOUPS 308645 WITH SCORE 310007.735
AT ITER 4091 NEW BEST:: SOT 1749655 SOS 1362958 HAS SOPS 1003015 HAS SOUS 657632 HAS SOUPS 308618 WITH SCORE 309980.958
AT ITER 4101 NEW BEST:: SOT 1749400 SOS 1362492 HAS SOPS 1003055 HAS SOUS 657209 HAS SOUPS 308537 WITH SCORE 309899.492
AT ITER 4105 NEW BEST:: SOT 1726170 SOS 1339262 HAS SOPS 979825 HAS SOUS 633890 HAS SOUPS 285218 WITH SCORE 286557.262
AT ITER 4106 NEW BEST:: SOT 1726311 SOS 1339662 HAS SOPS 979743 HAS SOUS 634290 HAS SOUPS 285136 WITH SCORE 286475.662
AT ITER 4115 NEW BEST:: SOT 1726287 SOS 1340073 HAS SOPS 979719 HAS SOUS 634701 HAS SOUPS 285112 WITH SCORE 286452.073
AT ITER 4127 NEW BEST:: SOT 1726287 SOS 1339934 HAS SOPS 979590 HAS SOUS 634701 HAS SOUPS 285112 WITH SCORE 286451.934
AT ITER 4130 NEW BEST:: SOT 1726386 SOS 1340033 HAS SOPS 979461 HAS SOUS 634917 HAS SOUPS 285100 WITH SCORE 286440.033
AT ITER 4146 NEW BEST:: SOT 1726386 SOS 1339852 HAS SOPS 979461 HAS SOUS 634736 HAS SOUPS 285100 WITH SCORE 286439.852
AT ITER 4157 NEW BEST:: SOT 1726093 SOS 1339579 HAS SOPS 979271 HAS SOUS 634653 HAS SOUPS 285100 WITH SCORE 286439.579
AT ITER 4167 NEW BEST:: SOT 1726781 SOS 1340710 HAS SOPS 979271 HAS SOUS 635341 HAS SOUPS 284657 WITH SCORE 285997.71
AT ITER 4189 NEW BEST:: SOT 1726492 SOS 1340254 HAS SOPS 978982 HAS SOUS 635174 HAS SOUPS 284657 WITH SCORE 285997.254
AT ITER 4190 NEW BEST:: SOT 1725173 SOS 1338917 HAS SOPS 977919 HAS SOUS 634111 HAS SOUPS 283850 WITH SCORE 285188.917
AT ITER 4192 NEW BEST:: SOT 1725092 SOS 1338836 HAS SOPS 977978 HAS SOUS 633949 HAS SOUPS 283828 WITH SCORE 285166.836
AT ITER 4194 NEW BEST:: SOT 1725163 SOS 1338978 HAS SOPS 977978 HAS SOUS 634020 HAS SOUPS 283757 WITH SCORE 285095.978
AT ITER 4196 NEW BEST:: SOT 1725163 SOS 1339059 HAS SOPS 977897 HAS SOUS 633939 HAS SOUPS 283595 WITH SCORE 284934.059
AT ITER 4203 NEW BEST:: SOT 1725163 SOS 1339059 HAS SOPS 977884 HAS SOUS 633939 HAS SOUPS 283582 WITH SCORE 284921.059
AT ITER 4207 NEW BEST:: SOT 1725300 SOS 1339196 HAS SOPS 977884 HAS SOUS 633939 HAS SOUPS 283445 WITH SCORE 284784.196
AT ITER 4209 NEW BEST:: SOT 1725300 SOS 1339196 HAS SOPS 977830 HAS SOUS 633939 HAS SOUPS 283391 WITH SCORE 284730.196
AT ITER 4211 NEW BEST:: SOT 1725300 SOS 1339196 HAS SOPS 977774 HAS SOUS 633939 HAS SOUPS 283335 WITH SCORE 284674.196
AT ITER 4225 NEW BEST:: SOT 1725427 SOS 1339329 HAS SOPS 977616 HAS SOUS 633984 HAS SOUPS 283171 WITH SCORE 284510.329
AT ITER 4232 NEW BEST:: SOT 1725368 SOS 1339270 HAS SOPS 977557 HAS SOUS 633866 HAS SOUPS 283053 WITH SCORE 284392.27
AT ITER 4234 NEW BEST:: SOT 1725471 SOS 1339445 HAS SOPS 977110 HAS SOUS 634081 HAS SOUPS 282646 WITH SCORE 283985.445
AT ITER 4240 NEW BEST:: SOT 1726547 SOS 1341133 HAS SOPS 977574 HAS SOUS 635157 HAS SOUPS 282498 WITH SCORE 283839.133
AT ITER 4250 NEW BEST:: SOT 1726285 SOS 1341009 HAS SOPS 977312 HAS SOUS 635033 HAS SOUPS 282236 WITH SCORE 283577.009
AT ITER 4254 NEW BEST:: SOT 1726285 SOS 1340913 HAS SOPS 977312 HAS SOUS 634937 HAS SOUPS 282236 WITH SCORE 283576.913
AT ITER 4266 NEW BEST:: SOT 1726259 SOS 1340887 HAS SOPS 977191 HAS SOUS 634980 HAS SOUPS 282184 WITH SCORE 283524.887
AT ITER 4268 NEW BEST:: SOT 1726068 SOS 1340696 HAS SOPS 977000 HAS SOUS 634789 HAS SOUPS 281993 WITH SCORE 283333.696
AT ITER 4278 NEW BEST:: SOT 1726054 SOS 1340682 HAS SOPS 976986 HAS SOUS 634789 HAS SOUPS 281993 WITH SCORE 283333.682
AT ITER 4286 NEW BEST:: SOT 1726054 SOS 1340414 HAS SOPS 976986 HAS SOUS 634637 HAS SOUPS 281841 WITH SCORE 283181.414
AT ITER 4296 NEW BEST:: SOT 1726173 SOS 1340533 HAS SOPS 977105 HAS SOUS 634565 HAS SOUPS 281769 WITH SCORE 283109.533
AT ITER 4319 NEW BEST:: SOT 1726243 SOS 1340673 HAS SOPS 977105 HAS SOUS 634635 HAS SOUPS 281699 WITH SCORE 283039.673
AT ITER 4324 NEW BEST:: SOT 1726163 SOS 1340872 HAS SOPS 977025 HAS SOUS 634433 HAS SOUPS 281218 WITH SCORE 282558.872
AT ITER 4347 NEW BEST:: SOT 1726149 SOS 1340843 HAS SOPS 976796 HAS SOUS 634404 HAS SOUPS 280989 WITH SCORE 282329.843
AT ITER 4362 NEW BEST:: SOT 1726041 SOS 1340735 HAS SOPS 976580 HAS SOUS 634296 HAS SOUPS 280773 WITH SCORE 282113.735
AT ITER 4364 NEW BEST:: SOT 1726041 SOS 1340735 HAS SOPS 976536 HAS SOUS 634252 HAS SOUPS 280685 WITH SCORE 282025.735
AT ITER 4377 NEW BEST:: SOT 1726041 SOS 1340735 HAS SOPS 976536 HAS SOUS 634181 HAS SOUPS 280614 WITH SCORE 281954.735
AT ITER 4380 NEW BEST:: SOT 1726090 SOS 1340784 HAS SOPS 976513 HAS SOUS 634207 HAS SOUPS 280568 WITH SCORE 281908.784
AT ITER 4397 NEW BEST:: SOT 1647808 SOS 1268477 HAS SOPS 904833 HAS SOUS 554793 HAS SOUPS 201781 WITH SCORE 203049.477
AT ITER 4412 NEW BEST:: SOT 1646863 SOS 1266923 HAS SOPS 903964 HAS SOUS 553924 HAS SOUPS 201521 WITH SCORE 202787.923
AT ITER 4413 NEW BEST:: SOT 1646235 SOS 1265737 HAS SOPS 903593 HAS SOUS 553031 HAS SOUPS 201443 WITH SCORE 202708.737
AT ITER 4415 NEW BEST:: SOT 1646026 SOS 1265528 HAS SOPS 903175 HAS SOUS 552822 HAS SOUPS 201025 WITH SCORE 202290.528
AT ITER 4416 NEW BEST:: SOT 1645788 SOS 1265290 HAS SOPS 902699 HAS SOUS 552584 HAS SOUPS 200549 WITH SCORE 201814.29
AT ITER 4417 NEW BEST:: SOT 1645589 SOS 1264892 HAS SOPS 902699 HAS SOUS 552186 HAS SOUPS 200549 WITH SCORE 201813.892
AT ITER 4419 NEW BEST:: SOT 1646086 SOS 1265237 HAS SOPS 902583 HAS SOUS 551918 HAS SOUPS 199820 WITH SCORE 201085.237
AT ITER 4428 NEW BEST:: SOT 1646261 SOS 1265587 HAS SOPS 902583 HAS SOUS 552093 HAS SOUPS 199645 WITH SCORE 200910.587
AT ITER 4429 NEW BEST:: SOT 1646628 SOS 1266321 HAS SOPS 902583 HAS SOUS 552460 HAS SOUPS 199278 WITH SCORE 200544.321
AT ITER 4430 NEW BEST:: SOT 1646768 SOS 1266632 HAS SOPS 902610 HAS SOUS 552406 HAS SOUPS 198940 WITH SCORE 200206.632
AT ITER 4437 NEW BEST:: SOT 1646706 SOS 1266570 HAS SOPS 902548 HAS SOUS 552313 HAS SOUPS 198847 WITH SCORE 200113.57
AT ITER 4474 NEW BEST:: SOT 1643112 SOS 1262976 HAS SOPS 899300 HAS SOUS 548699 HAS SOUPS 195579 WITH SCORE 196841.976
AT ITER 4476 NEW BEST:: SOT 1642986 SOS 1262952 HAS SOPS 899009 HAS SOUS 548714 HAS SOUPS 195327 WITH SCORE 196589.952
AT ITER 4484 NEW BEST:: SOT 1642986 SOS 1262674 HAS SOPS 899009 HAS SOUS 548443 HAS SOUPS 195056 WITH SCORE 196318.674
AT ITER 4485 NEW BEST:: SOT 1642986 SOS 1262655 HAS SOPS 898990 HAS SOUS 548443 HAS SOUPS 195056 WITH SCORE 196318.655
AT ITER 4487 NEW BEST:: SOT 1642986 SOS 1262502 HAS SOPS 898990 HAS SOUS 548443 HAS SOUPS 195056 WITH SCORE 196318.502
AT ITER 4502 NEW BEST:: SOT 1642552 SOS 1261634 HAS SOPS 898990 HAS SOUS 547575 HAS SOUPS 195056 WITH SCORE 196317.634
AT ITER 4504 NEW BEST:: SOT 1642414 SOS 1261496 HAS SOPS 898714 HAS SOUS 547437 HAS SOUPS 194780 WITH SCORE 196041.496
AT ITER 4515 NEW BEST:: SOT 1642414 SOS 1261403 HAS SOPS 898714 HAS SOUS 547344 HAS SOUPS 194780 WITH SCORE 196041.403
AT ITER 4526 NEW BEST:: SOT 1642414 SOS 1261403 HAS SOPS 898670 HAS SOUS 547344 HAS SOUPS 194736 WITH SCORE 195997.403
AT ITER 4537 NEW BEST:: SOT 1642237 SOS 1261226 HAS SOPS 898014 HAS SOUS 547468 HAS SOUPS 194381 WITH SCORE 195642.226
AT ITER 4550 NEW BEST:: SOT 1642009 SOS 1261236 HAS SOPS 897558 HAS SOUS 547373 HAS SOUPS 193925 WITH SCORE 195186.236
AT ITER 4554 NEW BEST:: SOT 1641218 SOS 1259923 HAS SOPS 896767 HAS SOUS 546793 HAS SOUPS 193867 WITH SCORE 195126.923
AT ITER 4558 NEW BEST:: SOT 1641231 SOS 1259949 HAS SOPS 896767 HAS SOUS 546806 HAS SOUPS 193854 WITH SCORE 195113.949
AT ITER 4565 NEW BEST:: SOT 1641727 SOS 1260941 HAS SOPS 896767 HAS SOUS 547302 HAS SOUPS 193358 WITH SCORE 194618.941
AT ITER 4578 NEW BEST:: SOT 1641550 SOS 1260764 HAS SOPS 896413 HAS SOUS 547125 HAS SOUPS 193004 WITH SCORE 194264.764
AT ITER 4584 NEW BEST:: SOT 1641447 SOS 1260661 HAS SOPS 896310 HAS SOUS 547125 HAS SOUPS 193004 WITH SCORE 194264.661
AT ITER 4597 NEW BEST:: SOT 1641447 SOS 1260589 HAS SOPS 896310 HAS SOUS 547053 HAS SOUPS 193004 WITH SCORE 194264.589
AT ITER 4608 NEW BEST:: SOT 1641439 SOS 1260577 HAS SOPS 896302 HAS SOUS 547045 HAS SOUPS 193000 WITH SCORE 194260.577
AT ITER 4637 NEW BEST:: SOT 1641509 SOS 1260711 HAS SOPS 896372 HAS SOUS 547079 HAS SOUPS 192970 WITH SCORE 194230.711
AT ITER 4645 NEW BEST:: SOT 1641247 SOS 1260449 HAS SOPS 895848 HAS SOUS 546817 HAS SOUPS 192446 WITH SCORE 193706.449
AT ITER 4651 NEW BEST:: SOT 1641137 SOS 1260284 HAS SOPS 895738 HAS SOUS 546707 HAS SOUPS 192391 WITH SCORE 193651.284
AT ITER 4652 NEW BEST:: SOT 1641021 SOS 1260485 HAS SOPS 895622 HAS SOUS 546695 HAS SOUPS 192379 WITH SCORE 193639.485
AT ITER 4653 NEW BEST:: SOT 1640883 SOS 1260211 HAS SOPS 895484 HAS SOUS 546519 HAS SOUPS 192339 WITH SCORE 193599.211
AT ITER 4664 NEW BEST:: SOT 1640819 SOS 1260147 HAS SOPS 895356 HAS SOUS 546455 HAS SOUPS 192211 WITH SCORE 193471.147
AT ITER 4694 NEW BEST:: SOT 1640676 SOS 1260004 HAS SOPS 895070 HAS SOUS 546312 HAS SOUPS 191925 WITH SCORE 193185.004
AT ITER 4701 NEW BEST:: SOT 1640676 SOS 1260004 HAS SOPS 895070 HAS SOUS 546274 HAS SOUPS 191887 WITH SCORE 193147.004
AT ITER 4707 NEW BEST:: SOT 1640676 SOS 1259970 HAS SOPS 895070 HAS SOUS 546240 HAS SOUPS 191887 WITH SCORE 193146.97
AT ITER 4720 NEW BEST:: SOT 1639373 SOS 1258066 HAS SOPS 893886 HAS SOUS 545054 HAS SOUPS 191421 WITH SCORE 192679.066
AT ITER 4736 NEW BEST:: SOT 1639547 SOS 1258414 HAS SOPS 893886 HAS SOUS 545228 HAS SOUPS 191247 WITH SCORE 192505.414
AT ITER 4746 NEW BEST:: SOT 1639358 SOS 1258274 HAS SOPS 893017 HAS SOUS 545430 HAS SOUPS 190720 WITH SCORE 191978.274
AT ITER 4752 NEW BEST:: SOT 1639124 SOS 1258040 HAS SOPS 892549 HAS SOUS 545196 HAS SOUPS 190252 WITH SCORE 191510.04
AT ITER 4757 NEW BEST:: SOT 1639546 SOS 1258989 HAS SOPS 892444 HAS SOUS 546040 HAS SOUPS 190042 WITH SCORE 191300.989
AT ITER 4770 NEW BEST:: SOT 1639543 SOS 1258952 HAS SOPS 892407 HAS SOUS 546037 HAS SOUPS 190039 WITH SCORE 191297.952
AT ITER 4791 NEW BEST:: SOT 1639445 SOS 1258854 HAS SOPS 892309 HAS SOUS 545971 HAS SOUPS 189973 WITH SCORE 191231.854
AT ITER 4804 NEW BEST:: SOT 1639328 SOS 1258737 HAS SOPS 892192 HAS SOUS 545865 HAS SOUPS 189867 WITH SCORE 191125.737
AT ITER 4807 NEW BEST:: SOT 1639328 SOS 1258737 HAS SOPS 892165 HAS SOUS 545838 HAS SOUPS 189813 WITH SCORE 191071.737
AT ITER 4812 NEW BEST:: SOT 1639252 SOS 1258586 HAS SOPS 892090 HAS SOUS 545762 HAS SOUPS 189813 WITH SCORE 191071.586
AT ITER 4829 NEW BEST:: SOT 1639345 SOS 1258771 HAS SOPS 891593 HAS SOUS 546417 HAS SOUPS 189786 WITH SCORE 191044.771
AT ITER 4838 NEW BEST:: SOT 1639391 SOS 1258673 HAS SOPS 891639 HAS SOUS 546334 HAS SOUPS 189703 WITH SCORE 190961.673
AT ITER 4843 NEW BEST:: SOT 1639389 SOS 1258671 HAS SOPS 891635 HAS SOUS 546332 HAS SOUPS 189699 WITH SCORE 190957.671
AT ITER 4848 NEW BEST:: SOT 1639272 SOS 1258554 HAS SOPS 891401 HAS SOUS 546215 HAS SOUPS 189465 WITH SCORE 190723.554
AT ITER 4849 NEW BEST:: SOT 1639054 SOS 1258336 HAS SOPS 890965 HAS SOUS 545997 HAS SOUPS 189029 WITH SCORE 190287.336
AT ITER 4855 NEW BEST:: SOT 1638893 SOS 1258175 HAS SOPS 890643 HAS SOUS 545836 HAS SOUPS 188707 WITH SCORE 189965.175
AT ITER 4875 NEW BEST:: SOT 1638893 SOS 1258156 HAS SOPS 890643 HAS SOUS 545817 HAS SOUPS 188707 WITH SCORE 189965.156
AT ITER 4880 NEW BEST:: SOT 1638773 SOS 1257899 HAS SOPS 890546 HAS SOUS 545625 HAS SOUPS 188675 WITH SCORE 189932.899
AT ITER 4895 NEW BEST:: SOT 1638732 SOS 1257858 HAS SOPS 890464 HAS SOUS 545584 HAS SOUPS 188593 WITH SCORE 189850.858
AT ITER 4915 NEW BEST:: SOT 1639014 SOS 1258350 HAS SOPS 890534 HAS SOUS 545794 HAS SOUPS 188381 WITH SCORE 189639.35
AT ITER 4916 NEW BEST:: SOT 1639014 SOS 1258278 HAS SOPS 890534 HAS SOUS 545722 HAS SOUPS 188381 WITH SCORE 189639.278
AT ITER 4919 NEW BEST:: SOT 1639006 SOS 1258270 HAS SOPS 890518 HAS SOUS 545714 HAS SOUPS 188365 WITH SCORE 189623.27
AT ITER 4937 NEW BEST:: SOT 1639006 SOS 1258295 HAS SOPS 890423 HAS SOUS 545644 HAS SOUPS 188175 WITH SCORE 189433.295
AT ITER 4940 NEW BEST:: SOT 1639006 SOS 1258295 HAS SOPS 890423 HAS SOUS 545489 HAS SOUPS 188020 WITH SCORE 189278.295
AT ITER 4942 NEW BEST:: SOT 1638913 SOS 1258202 HAS SOPS 890237 HAS SOUS 545396 HAS SOUPS 187834 WITH SCORE 189092.202
AT ITER 4943 NEW BEST:: SOT 1638913 SOS 1258127 HAS SOPS 890237 HAS SOUS 545321 HAS SOUPS 187834 WITH SCORE 189092.127
AT ITER 4946 NEW BEST:: SOT 1638899 SOS 1258099 HAS SOPS 890223 HAS SOUS 545307 HAS SOUPS 187834 WITH SCORE 189092.099
AT ITER 4947 NEW BEST:: SOT 1638925 SOS 1258151 HAS SOPS 890223 HAS SOUS 545333 HAS SOUPS 187808 WITH SCORE 189066.151
AT ITER 4966 NEW BEST:: SOT 1638972 SOS 1258245 HAS SOPS 890223 HAS SOUS 545380 HAS SOUPS 187761 WITH SCORE 189019.245
AT ITER 4973 NEW BEST:: SOT 1638885 SOS 1258158 HAS SOPS 890049 HAS SOUS 545293 HAS SOUPS 187587 WITH SCORE 188845.158
AT ITER 4975 NEW BEST:: SOT 1638885 SOS 1258158 HAS SOPS 890049 HAS SOUS 545172 HAS SOUPS 187466 WITH SCORE 188724.158
AT ITER 4976 NEW BEST:: SOT 1638885 SOS 1258130 HAS SOPS 890035 HAS SOUS 545172 HAS SOUPS 187466 WITH SCORE 188724.13
AT ITER 4990 NEW BEST:: SOT 1638738 SOS 1257983 HAS SOPS 889650 HAS SOUS 545025 HAS SOUPS 187081 WITH SCORE 188338.983
AT ITER 5007 NEW BEST:: SOT 1638972 SOS 1258353 HAS SOPS 889748 HAS SOUS 545259 HAS SOUPS 187043 WITH SCORE 188301.353
AT ITER 5016 NEW BEST:: SOT 1638827 SOS 1258182 HAS SOPS 889458 HAS SOUS 545088 HAS SOUPS 186753 WITH SCORE 188011.182
AT ITER 5022 NEW BEST:: SOT 1638827 SOS 1257937 HAS SOPS 889458 HAS SOUS 545075 HAS SOUPS 186740 WITH SCORE 187997.937
AT ITER 5027 NEW BEST:: SOT 1638827 SOS 1257937 HAS SOPS 889458 HAS SOUS 544845 HAS SOUPS 186510 WITH SCORE 187767.937
AT ITER 5037 NEW BEST:: SOT 1638817 SOS 1257917 HAS SOPS 889448 HAS SOUS 544835 HAS SOUPS 186510 WITH SCORE 187767.917
AT ITER 5070 NEW BEST:: SOT 1638817 SOS 1257917 HAS SOPS 889448 HAS SOUS 544766 HAS SOUPS 186441 WITH SCORE 187698.917
AT ITER 5074 NEW BEST:: SOT 1638683 SOS 1257649 HAS SOPS 889448 HAS SOUS 544498 HAS SOUPS 186441 WITH SCORE 187698.649
AT ITER 5084 NEW BEST:: SOT 1638671 SOS 1257299 HAS SOPS 889424 HAS SOUS 544148 HAS SOUPS 186417 WITH SCORE 187674.299
AT ITER 5135 NEW BEST:: SOT 1638323 SOS 1256629 HAS SOPS 889076 HAS SOUS 543774 HAS SOUPS 186365 WITH SCORE 187621.629
AT ITER 5140 NEW BEST:: SOT 1638235 SOS 1256844 HAS SOPS 888988 HAS SOUS 543770 HAS SOUPS 186361 WITH SCORE 187617.844
AT ITER 5143 NEW BEST:: SOT 1637963 SOS 1256300 HAS SOPS 888988 HAS SOUS 543226 HAS SOUPS 186361 WITH SCORE 187617.3
AT ITER 5153 NEW BEST:: SOT 1637734 SOS 1255992 HAS SOPS 888838 HAS SOUS 542997 HAS SOUPS 186290 WITH SCORE 187545.992
AT ITER 5159 NEW BEST:: SOT 1637367 SOS 1255625 HAS SOPS 888104 HAS SOUS 542630 HAS SOUPS 185556 WITH SCORE 186811.625
AT ITER 5170 NEW BEST:: SOT 1637065 SOS 1255773 HAS SOPS 887802 HAS SOUS 542653 HAS SOUPS 185455 WITH SCORE 186710.773
AT ITER 5187 NEW BEST:: SOT 1637038 SOS 1255719 HAS SOPS 887802 HAS SOUS 542599 HAS SOUPS 185455 WITH SCORE 186710.719
AT ITER 5188 NEW BEST:: SOT 1634003 SOS 1278035 HAS SOPS 910721 HAS SOUS 539719 HAS SOUPS 182937 WITH SCORE 184215.035
AT ITER 5199 NEW BEST:: SOT 1633850 SOS 1277882 HAS SOPS 910415 HAS SOUS 539566 HAS SOUPS 182631 WITH SCORE 183908.882
AT ITER 5219 NEW BEST:: SOT 1634046 SOS 1278274 HAS SOPS 910415 HAS SOUS 539762 HAS SOUPS 182435 WITH SCORE 183713.274
AT ITER 5222 NEW BEST:: SOT 1633210 SOS 1277320 HAS SOPS 909679 HAS SOUS 539520 HAS SOUPS 182411 WITH SCORE 183688.32
AT ITER 5224 NEW BEST:: SOT 1632989 SOS 1277099 HAS SOPS 909237 HAS SOUS 539299 HAS SOUPS 181969 WITH SCORE 183246.099
AT ITER 5237 NEW BEST:: SOT 1632980 SOS 1277090 HAS SOPS 909101 HAS SOUS 539345 HAS SOUPS 181888 WITH SCORE 183165.09
AT ITER 5246 NEW BEST:: SOT 1632622 SOS 1276539 HAS SOPS 908743 HAS SOUS 539006 HAS SOUPS 181742 WITH SCORE 183018.539
AT ITER 5248 NEW BEST:: SOT 1632571 SOS 1276488 HAS SOPS 908692 HAS SOUS 539006 HAS SOUPS 181742 WITH SCORE 183018.488
AT ITER 5268 NEW BEST:: SOT 1632483 SOS 1276587 HAS SOPS 908604 HAS SOUS 538918 HAS SOUPS 181654 WITH SCORE 182930.587
AT ITER 5271 NEW BEST:: SOT 1632483 SOS 1276564 HAS SOPS 908604 HAS SOUS 538895 HAS SOUPS 181654 WITH SCORE 182930.564
AT ITER 5284 NEW BEST:: SOT 1632486 SOS 1276567 HAS SOPS 908214 HAS SOUS 539246 HAS SOUPS 181612 WITH SCORE 182888.567
AT ITER 5290 NEW BEST:: SOT 1632486 SOS 1276531 HAS SOPS 908214 HAS SOUS 539246 HAS SOUPS 181612 WITH SCORE 182888.531
AT ITER 5303 NEW BEST:: SOT 1632472 SOS 1276781 HAS SOPS 908200 HAS SOUS 539232 HAS SOUPS 181598 WITH SCORE 182874.781
AT ITER 5313 NEW BEST:: SOT 1632421 SOS 1276730 HAS SOPS 908098 HAS SOUS 539181 HAS SOUPS 181496 WITH SCORE 182772.73
AT ITER 5316 NEW BEST:: SOT 1632563 SOS 1276780 HAS SOPS 908133 HAS SOUS 538978 HAS SOUPS 181291 WITH SCORE 182567.78
AT ITER 5322 NEW BEST:: SOT 1630356 SOS 1279444 HAS SOPS 911481 HAS SOUS 536406 HAS SOUPS 179139 WITH SCORE 180418.444
AT ITER 5332 NEW BEST:: SOT 1630356 SOS 1279402 HAS SOPS 911481 HAS SOUS 536364 HAS SOUPS 179139 WITH SCORE 180418.402
AT ITER 5343 NEW BEST:: SOT 1630356 SOS 1279149 HAS SOPS 911228 HAS SOUS 536364 HAS SOUPS 179139 WITH SCORE 180418.149
AT ITER 5345 NEW BEST:: SOT 1630223 SOS 1279016 HAS SOPS 911095 HAS SOUS 536151 HAS SOUPS 178926 WITH SCORE 180205.016
AT ITER 5350 NEW BEST:: SOT 1629825 SOS 1278419 HAS SOPS 910697 HAS SOUS 535554 HAS SOUPS 178528 WITH SCORE 179806.419
AT ITER 5351 NEW BEST:: SOT 1629664 SOS 1278258 HAS SOPS 910375 HAS SOUS 535393 HAS SOUPS 178206 WITH SCORE 179484.258
AT ITER 5359 NEW BEST:: SOT 1629701 SOS 1278295 HAS SOPS 910391 HAS SOUS 535409 HAS SOUPS 178201 WITH SCORE 179479.295
AT ITER 5367 NEW BEST:: SOT 1629482 SOS 1278015 HAS SOPS 909953 HAS SOUS 535129 HAS SOUPS 177763 WITH SCORE 179041.015
AT ITER 5368 NEW BEST:: SOT 1628589 SOS 1276723 HAS SOPS 909060 HAS SOUS 534277 HAS SOUPS 177310 WITH SCORE 178586.723
AT ITER 5380 NEW BEST:: SOT 1628589 SOS 1277094 HAS SOPS 908689 HAS SOUS 534277 HAS SOUPS 176568 WITH SCORE 177845.094
AT ITER 5385 NEW BEST:: SOT 1628589 SOS 1277066 HAS SOPS 908689 HAS SOUS 534249 HAS SOUPS 176568 WITH SCORE 177845.066
AT ITER 5390 NEW BEST:: SOT 1628589 SOS 1277050 HAS SOPS 908689 HAS SOUS 534249 HAS SOUPS 176568 WITH SCORE 177845.05
AT ITER 5392 NEW BEST:: SOT 1628589 SOS 1276945 HAS SOPS 908689 HAS SOUS 534144 HAS SOUPS 176568 WITH SCORE 177844.945
AT ITER 5399 NEW BEST:: SOT 1628392 SOS 1276748 HAS SOPS 908295 HAS SOUS 533947 HAS SOUPS 176174 WITH SCORE 177450.748
AT ITER 5407 NEW BEST:: SOT 1628393 SOS 1276394 HAS SOPS 908296 HAS SOUS 533835 HAS SOUPS 176062 WITH SCORE 177338.394
AT ITER 5415 NEW BEST:: SOT 1628393 SOS 1276268 HAS SOPS 908296 HAS SOUS 533835 HAS SOUPS 176062 WITH SCORE 177338.268
AT ITER 5420 NEW BEST:: SOT 1628253 SOS 1276128 HAS SOPS 908156 HAS SOUS 533695 HAS SOUPS 175922 WITH SCORE 177198.128
AT ITER 5421 NEW BEST:: SOT 1628087 SOS 1275937 HAS SOPS 907990 HAS SOUS 533670 HAS SOUPS 175922 WITH SCORE 177197.937
AT ITER 5424 NEW BEST:: SOT 1624167 SOS 1271739 HAS SOPS 904070 HAS SOUS 529472 HAS SOUPS 172002 WITH SCORE 173273.739
AT ITER 5425 NEW BEST:: SOT 1624119 SOS 1271643 HAS SOPS 904022 HAS SOUS 529424 HAS SOUPS 172002 WITH SCORE 173273.643
AT ITER 5426 NEW BEST:: SOT 1624119 SOS 1271616 HAS SOPS 904022 HAS SOUS 529424 HAS SOUPS 172002 WITH SCORE 173273.616
AT ITER 5427 NEW BEST:: SOT 1623991 SOS 1271488 HAS SOPS 903766 HAS SOUS 529296 HAS SOUPS 171746 WITH SCORE 173017.488
AT ITER 5434 NEW BEST:: SOT 1624015 SOS 1271512 HAS SOPS 903790 HAS SOUS 528966 HAS SOUPS 171416 WITH SCORE 172687.512
AT ITER 5442 NEW BEST:: SOT 1623805 SOS 1271143 HAS SOPS 903580 HAS SOUS 528705 HAS SOUPS 171314 WITH SCORE 172585.143
AT ITER 5443 NEW BEST:: SOT 1623704 SOS 1270941 HAS SOPS 903479 HAS SOUS 528604 HAS SOUPS 171314 WITH SCORE 172584.941
AT ITER 5444 NEW BEST:: SOT 1623704 SOS 1270819 HAS SOPS 903479 HAS SOUS 528482 HAS SOUPS 171314 WITH SCORE 172584.819
AT ITER 5449 NEW BEST:: SOT 1623704 SOS 1262665 HAS SOPS 895325 HAS SOUS 528401 HAS SOUPS 171233 WITH SCORE 172495.665
AT ITER 5472 NEW BEST:: SOT 1623518 SOS 1262479 HAS SOPS 894953 HAS SOUS 528215 HAS SOUPS 170861 WITH SCORE 172123.479
AT ITER 5488 NEW BEST:: SOT 1623416 SOS 1262377 HAS SOPS 894749 HAS SOUS 528113 HAS SOUPS 170657 WITH SCORE 171919.377
AT ITER 5490 NEW BEST:: SOT 1623326 SOS 1262287 HAS SOPS 894749 HAS SOUS 528023 HAS SOUPS 170657 WITH SCORE 171919.287
AT ITER 5499 NEW BEST:: SOT 1622986 SOS 1261777 HAS SOPS 894409 HAS SOUS 527683 HAS SOUPS 170487 WITH SCORE 171748.777
AT ITER 5500 NEW BEST:: SOT 1622149 SOS 1260333 HAS SOPS 893668 HAS SOUS 526616 HAS SOUPS 169931 WITH SCORE 171191.333
AT ITER 5501 NEW BEST:: SOT 1621204 SOS 1259133 HAS SOPS 893428 HAS SOUS 525564 HAS SOUPS 169814 WITH SCORE 171073.133
AT ITER 5509 NEW BEST:: SOT 1621414 SOS 1259553 HAS SOPS 893428 HAS SOUS 525774 HAS SOUPS 169604 WITH SCORE 170863.553
AT ITER 5512 NEW BEST:: SOT 1621414 SOS 1259541 HAS SOPS 893428 HAS SOUS 525774 HAS SOUPS 169604 WITH SCORE 170863.541
AT ITER 5514 NEW BEST:: SOT 1621216 SOS 1259343 HAS SOPS 893032 HAS SOUS 525576 HAS SOUPS 169208 WITH SCORE 170467.343
AT ITER 5519 NEW BEST:: SOT 1621216 SOS 1259041 HAS SOPS 893032 HAS SOUS 525274 HAS SOUPS 169208 WITH SCORE 170467.041
AT ITER 5549 NEW BEST:: SOT 1621216 SOS 1259041 HAS SOPS 893010 HAS SOUS 525252 HAS SOUPS 169164 WITH SCORE 170423.041
AT ITER 5566 NEW BEST:: SOT 1620713 SOS 1258342 HAS SOPS 892638 HAS SOUS 524900 HAS SOUPS 169139 WITH SCORE 170397.342
AT ITER 5569 NEW BEST:: SOT 1620713 SOS 1258292 HAS SOPS 892638 HAS SOUS 524850 HAS SOUPS 169139 WITH SCORE 170397.292
AT ITER 5587 NEW BEST:: SOT 1620983 SOS 1258832 HAS SOPS 892638 HAS SOUS 525120 HAS SOUPS 168869 WITH SCORE 170127.832
AT ITER 5598 NEW BEST:: SOT 1620700 SOS 1258209 HAS SOPS 891911 HAS SOUS 524658 HAS SOUPS 168303 WITH SCORE 169561.209
AT ITER 5618 NEW BEST:: SOT 1620705 SOS 1258214 HAS SOPS 891911 HAS SOUS 524658 HAS SOUPS 168298 WITH SCORE 169556.214
AT ITER 5625 NEW BEST:: SOT 1620677 SOS 1258186 HAS SOPS 891528 HAS SOUS 524957 HAS SOUPS 168242 WITH SCORE 169500.186
AT ITER 5636 NEW BEST:: SOT 1620616 SOS 1258125 HAS SOPS 891406 HAS SOUS 524896 HAS SOUPS 168120 WITH SCORE 169378.125
AT ITER 5651 NEW BEST:: SOT 1620600 SOS 1258507 HAS SOPS 891390 HAS SOUS 525278 HAS SOUPS 168104 WITH SCORE 169362.507
AT ITER 5655 NEW BEST:: SOT 1620249 SOS 1258156 HAS SOPS 890688 HAS SOUS 524927 HAS SOUPS 167402 WITH SCORE 168660.156
AT ITER 5656 NEW BEST:: SOT 1620145 SOS 1258113 HAS SOPS 890584 HAS SOUS 524823 HAS SOUPS 167298 WITH SCORE 168556.113
AT ITER 5658 NEW BEST:: SOT 1620063 SOS 1258031 HAS SOPS 890420 HAS SOUS 524741 HAS SOUPS 167134 WITH SCORE 168392.031
AT ITER 5668 NEW BEST:: SOT 1619220 SOS 1256782 HAS SOPS 889646 HAS SOUS 524017 HAS SOUPS 166816 WITH SCORE 168072.782
AT ITER 5671 NEW BEST:: SOT 1618936 SOS 1256221 HAS SOPS 889542 HAS SOUS 523546 HAS SOUPS 166802 WITH SCORE 168058.221
AT ITER 5674 NEW BEST:: SOT 1619178 SOS 1256345 HAS SOPS 889784 HAS SOUS 523243 HAS SOUPS 166606 WITH SCORE 167862.345
AT ITER 5675 NEW BEST:: SOT 1619178 SOS 1256041 HAS SOPS 889784 HAS SOUS 522939 HAS SOUPS 166606 WITH SCORE 167862.041
AT ITER 5680 NEW BEST:: SOT 1618546 SOS 1254995 HAS SOPS 889152 HAS SOUS 522089 HAS SOUPS 166170 WITH SCORE 167424.995
AT ITER 5701 NEW BEST:: SOT 1618546 SOS 1254898 HAS SOPS 889152 HAS SOUS 522089 HAS SOUPS 166170 WITH SCORE 167424.898
AT ITER 5714 NEW BEST:: SOT 1618542 SOS 1254894 HAS SOPS 889148 HAS SOUS 522085 HAS SOUPS 166166 WITH SCORE 167420.894
AT ITER 5716 NEW BEST:: SOT 1618905 SOS 1255620 HAS SOPS 889148 HAS SOUS 522448 HAS SOUPS 165803 WITH SCORE 167058.62
AT ITER 5720 NEW BEST:: SOT 1618763 SOS 1255478 HAS SOPS 888819 HAS SOUS 522351 HAS SOUPS 165519 WITH SCORE 166774.478
AT ITER 5722 NEW BEST:: SOT 1618757 SOS 1255472 HAS SOPS 888807 HAS SOUS 522345 HAS SOUPS 165507 WITH SCORE 166762.472
AT ITER 5727 NEW BEST:: SOT 1618727 SOS 1255427 HAS SOPS 888777 HAS SOUS 522315 HAS SOUPS 165492 WITH SCORE 166747.427
AT ITER 5737 NEW BEST:: SOT 1618609 SOS 1255309 HAS SOPS 888279 HAS SOUS 522459 HAS SOUPS 165256 WITH SCORE 166511.309
AT ITER 5748 NEW BEST:: SOT 1617851 SOS 1254062 HAS SOPS 887757 HAS SOUS 521937 HAS SOUPS 165231 WITH SCORE 166485.062
AT ITER 5760 NEW BEST:: SOT 1617841 SOS 1254052 HAS SOPS 887747 HAS SOUS 521917 HAS SOUPS 165211 WITH SCORE 166465.052
AT ITER 5762 NEW BEST:: SOT 1616833 SOS 1252515 HAS SOPS 886789 HAS SOUS 520959 HAS SOUPS 164782 WITH SCORE 166034.515
AT ITER 5764 NEW BEST:: SOT 1615671 SOS 1251014 HAS SOPS 885809 HAS SOUS 520334 HAS SOUPS 164678 WITH SCORE 165929.014
AT ITER 5818 NEW BEST:: SOT 1615622 SOS 1250965 HAS SOPS 885707 HAS SOUS 520289 HAS SOUPS 164580 WITH SCORE 165830.965
AT ITER 5828 NEW BEST:: SOT 1615420 SOS 1250662 HAS SOPS 885505 HAS SOUS 519986 HAS SOUPS 164378 WITH SCORE 165628.662
AT ITER 5854 NEW BEST:: SOT 1615355 SOS 1250597 HAS SOPS 885375 HAS SOUS 519921 HAS SOUPS 164248 WITH SCORE 165498.597
AT ITER 5858 NEW BEST:: SOT 1615926 SOS 1251739 HAS SOPS 885375 HAS SOUS 520492 HAS SOUPS 163677 WITH SCORE 164928.739
AT ITER 5891 NEW BEST:: SOT 1615792 SOS 1251605 HAS SOPS 885107 HAS SOUS 520358 HAS SOUPS 163409 WITH SCORE 164660.605
AT ITER 5908 NEW BEST:: SOT 1615792 SOS 1251587 HAS SOPS 885107 HAS SOUS 520340 HAS SOUPS 163409 WITH SCORE 164660.587
AT ITER 5915 NEW BEST:: SOT 1615566 SOS 1251248 HAS SOPS 884881 HAS SOUS 520001 HAS SOUPS 163183 WITH SCORE 164434.248
AT ITER 5919 NEW BEST:: SOT 1615259 SOS 1250941 HAS SOPS 884267 HAS SOUS 519694 HAS SOUPS 162569 WITH SCORE 163819.941
AT ITER 5931 NEW BEST:: SOT 1615259 SOS 1250941 HAS SOPS 884267 HAS SOUS 519674 HAS SOUPS 162549 WITH SCORE 163799.941
AT ITER 5955 NEW BEST:: SOT 1614812 SOS 1250347 HAS SOPS 883967 HAS SOUS 519227 HAS SOUPS 162396 WITH SCORE 163646.347
AT ITER 5956 NEW BEST:: SOT 1614812 SOS 1249941 HAS SOPS 883967 HAS SOUS 518821 HAS SOUPS 162396 WITH SCORE 163645.941
AT ITER 5962 NEW BEST:: SOT 1614755 SOS 1249884 HAS SOPS 883910 HAS SOUS 518707 HAS SOUPS 162282 WITH SCORE 163531.884
AT ITER 5965 NEW BEST:: SOT 1614755 SOS 1249778 HAS SOPS 883910 HAS SOUS 518601 HAS SOUPS 162282 WITH SCORE 163531.778
AT ITER 5966 NEW BEST:: SOT 1614780 SOS 1249717 HAS SOPS 883935 HAS SOUS 518592 HAS SOUPS 162273 WITH SCORE 163522.717
AT ITER 5987 NEW BEST:: SOT 1614992 SOS 1249996 HAS SOPS 883935 HAS SOUS 518659 HAS SOUPS 162061 WITH SCORE 163310.996
AT ITER 6016 NEW BEST:: SOT 1614714 SOS 1249579 HAS SOPS 883657 HAS SOUS 518381 HAS SOUPS 161922 WITH SCORE 163171.579
AT ITER 6021 NEW BEST:: SOT 1614662 SOS 1249501 HAS SOPS 883605 HAS SOUS 518329 HAS SOUPS 161896 WITH SCORE 163145.501
AT ITER 6033 NEW BEST:: SOT 1614616 SOS 1249455 HAS SOPS 883413 HAS SOUS 518383 HAS SOUPS 161804 WITH SCORE 163053.455
AT ITER 6037 NEW BEST:: SOT 1614550 SOS 1249389 HAS SOPS 883281 HAS SOUS 518317 HAS SOUPS 161672 WITH SCORE 162921.389
AT ITER 6054 NEW BEST:: SOT 1614457 SOS 1249296 HAS SOPS 883095 HAS SOUS 518224 HAS SOUPS 161486 WITH SCORE 162735.296
AT ITER 6055 NEW BEST:: SOT 1614367 SOS 1249241 HAS SOPS 882834 HAS SOUS 518250 HAS SOUPS 161306 WITH SCORE 162555.241
AT ITER 6087 NEW BEST:: SOT 1613859 SOS 1248611 HAS SOPS 882448 HAS SOUS 517742 HAS SOUPS 161042 WITH SCORE 162290.611
AT ITER 6098 NEW BEST:: SOT 1613853 SOS 1248605 HAS SOPS 882436 HAS SOUS 517736 HAS SOUPS 161030 WITH SCORE 162278.605
AT ITER 6155 NEW BEST:: SOT 1613853 SOS 1248489 HAS SOPS 882436 HAS SOUS 517736 HAS SOUPS 161030 WITH SCORE 162278.489
AT ITER 6183 NEW BEST:: SOT 1612580 SOS 1246694 HAS SOPS 881471 HAS SOUS 516771 HAS SOUPS 160889 WITH SCORE 162135.694
AT ITER 6198 NEW BEST:: SOT 1612408 SOS 1246384 HAS SOPS 881403 HAS SOUS 516461 HAS SOUPS 160821 WITH SCORE 162067.384
AT ITER 6200 NEW BEST:: SOT 1612385 SOS 1246361 HAS SOPS 881380 HAS SOUS 516415 HAS SOUPS 160775 WITH SCORE 162021.361
AT ITER 6210 NEW BEST:: SOT 1612377 SOS 1246353 HAS SOPS 881372 HAS SOUS 516399 HAS SOUPS 160759 WITH SCORE 162005.353
AT ITER 6227 NEW BEST:: SOT 1612878 SOS 1247355 HAS SOPS 881372 HAS SOUS 516900 HAS SOUPS 160258 WITH SCORE 161505.355
AT ITER 6234 NEW BEST:: SOT 1612874 SOS 1247351 HAS SOPS 881364 HAS SOUS 516896 HAS SOUPS 160250 WITH SCORE 161497.351
AT ITER 6238 NEW BEST:: SOT 1612874 SOS 1247319 HAS SOPS 881364 HAS SOUS 516896 HAS SOUPS 160250 WITH SCORE 161497.319
AT ITER 6243 NEW BEST:: SOT 1612874 SOS 1247060 HAS SOPS 881364 HAS SOUS 516637 HAS SOUPS 160250 WITH SCORE 161497.06
AT ITER 6245 NEW BEST:: SOT 1612857 SOS 1247043 HAS SOPS 881330 HAS SOUS 516620 HAS SOUPS 160216 WITH SCORE 161463.043
AT ITER 6269 NEW BEST:: SOT 1612871 SOS 1247009 HAS SOPS 881344 HAS SOUS 516435 HAS SOUPS 160031 WITH SCORE 161278.009
AT ITER 6271 NEW BEST:: SOT 1612863 SOS 1247138 HAS SOPS 881336 HAS SOUS 516427 HAS SOUPS 160023 WITH SCORE 161270.138
AT ITER 6289 NEW BEST:: SOT 1612811 SOS 1247029 HAS SOPS 881227 HAS SOUS 516323 HAS SOUPS 159919 WITH SCORE 161166.029
AT ITER 6294 NEW BEST:: SOT 1613118 SOS 1247506 HAS SOPS 881227 HAS SOUS 516460 HAS SOUPS 159749 WITH SCORE 160996.506
AT ITER 6305 NEW BEST:: SOT 1613899 SOS 1248694 HAS SOPS 881601 HAS SOUS 517241 HAS SOUPS 159716 WITH SCORE 160964.694
AT ITER 6312 NEW BEST:: SOT 1613899 SOS 1248585 HAS SOPS 881601 HAS SOUS 517241 HAS SOUPS 159716 WITH SCORE 160964.585
AT ITER 6323 NEW BEST:: SOT 1612939 SOS 1247229 HAS SOPS 880847 HAS SOUS 516487 HAS SOUPS 159545 WITH SCORE 160792.229
AT ITER 6328 NEW BEST:: SOT 1612939 SOS 1247222 HAS SOPS 880847 HAS SOUS 516487 HAS SOUPS 159545 WITH SCORE 160792.222
AT ITER 6337 NEW BEST:: SOT 1612939 SOS 1247199 HAS SOPS 880847 HAS SOUS 516464 HAS SOUPS 159545 WITH SCORE 160792.199
AT ITER 6346 NEW BEST:: SOT 1612939 SOS 1209801 HAS SOPS 843355 HAS SOUS 516464 HAS SOUPS 159451 WITH SCORE 160660.801
AT ITER 6349 NEW BEST:: SOT 1587967 SOS 1186597 HAS SOPS 837338 HAS SOUS 491492 HAS SOUPS 151666 WITH SCORE 152852.597
AT ITER 6352 NEW BEST:: SOT 1587967 SOS 1186568 HAS SOPS 837338 HAS SOUS 491492 HAS SOUPS 151666 WITH SCORE 152852.568
AT ITER 6359 NEW BEST:: SOT 1587703 SOS 1186304 HAS SOPS 836810 HAS SOUS 491228 HAS SOUPS 151138 WITH SCORE 152324.304
AT ITER 6371 NEW BEST:: SOT 1587678 SOS 1186279 HAS SOPS 836785 HAS SOUS 491178 HAS SOUPS 151088 WITH SCORE 152274.279
AT ITER 6382 NEW BEST:: SOT 1587678 SOS 1186265 HAS SOPS 836754 HAS SOUS 491161 HAS SOUPS 151054 WITH SCORE 152240.265
AT ITER 6383 NEW BEST:: SOT 1587685 SOS 1186209 HAS SOPS 836761 HAS SOUS 491138 HAS SOUPS 151031 WITH SCORE 152217.209
AT ITER 6390 NEW BEST:: SOT 1587685 SOS 1184309 HAS SOPS 834842 HAS SOUS 491138 HAS SOUPS 151012 WITH SCORE 152196.309
AT ITER 6405 NEW BEST:: SOT 1587751 SOS 1184507 HAS SOPS 834842 HAS SOUS 491138 HAS SOUPS 150946 WITH SCORE 152130.507
AT ITER 6406 NEW BEST:: SOT 1587641 SOS 1184397 HAS SOPS 834732 HAS SOUS 491123 HAS SOUPS 150931 WITH SCORE 152115.397
AT ITER 6408 NEW BEST:: SOT 1587542 SOS 1184491 HAS SOPS 834633 HAS SOUS 491024 HAS SOUPS 150832 WITH SCORE 152016.491
AT ITER 6416 NEW BEST:: SOT 1587542 SOS 1184328 HAS SOPS 834633 HAS SOUS 491024 HAS SOUPS 150832 WITH SCORE 152016.328
AT ITER 6419 NEW BEST:: SOT 1587521 SOS 1184286 HAS SOPS 834612 HAS SOUS 491003 HAS SOUPS 150832 WITH SCORE 152016.286
AT ITER 6438 NEW BEST:: SOT 1587556 SOS 1184356 HAS SOPS 834612 HAS SOUS 491038 HAS SOUPS 150797 WITH SCORE 151981.356
AT ITER 6441 NEW BEST:: SOT 1587395 SOS 1184195 HAS SOPS 834290 HAS SOUS 490877 HAS SOUPS 150475 WITH SCORE 151659.195
AT ITER 6448 NEW BEST:: SOT 1587395 SOS 1184180 HAS SOPS 834290 HAS SOUS 490877 HAS SOUPS 150475 WITH SCORE 151659.18
AT ITER 6468 NEW BEST:: SOT 1587142 SOS 1183884 HAS SOPS 834080 HAS SOUS 490624 HAS SOUPS 150308 WITH SCORE 151491.884
AT ITER 6475 NEW BEST:: SOT 1586965 SOS 1183707 HAS SOPS 833726 HAS SOUS 490447 HAS SOUPS 149954 WITH SCORE 151137.707
AT ITER 6477 NEW BEST:: SOT 1586965 SOS 1183663 HAS SOPS 833726 HAS SOUS 490403 HAS SOUPS 149954 WITH SCORE 151137.663
AT ITER 6502 NEW BEST:: SOT 1586728 SOS 1183426 HAS SOPS 833489 HAS SOUS 490348 HAS SOUPS 149899 WITH SCORE 151082.426
AT ITER 6512 NEW BEST:: SOT 1586697 SOS 1183395 HAS SOPS 833427 HAS SOUS 490317 HAS SOUPS 149837 WITH SCORE 151020.395
AT ITER 6534 NEW BEST:: SOT 1586608 SOS 1183306 HAS SOPS 833338 HAS SOUS 490139 HAS SOUPS 149659 WITH SCORE 150842.306
AT ITER 6537 NEW BEST:: SOT 1586608 SOS 1183312 HAS SOPS 833332 HAS SOUS 490139 HAS SOUPS 149647 WITH SCORE 150830.312
AT ITER 6545 NEW BEST:: SOT 1586250 SOS 1182954 HAS SOPS 832616 HAS SOUS 489781 HAS SOUPS 148931 WITH SCORE 150113.954
AT ITER 6556 NEW BEST:: SOT 1586245 SOS 1181347 HAS SOPS 831009 HAS SOUS 489774 HAS SOUPS 148924 WITH SCORE 150105.347
AT ITER 6567 NEW BEST:: SOT 1586191 SOS 1181266 HAS SOPS 830955 HAS SOUS 489720 HAS SOUPS 148897 WITH SCORE 150078.266
AT ITER 6582 NEW BEST:: SOT 1586451 SOS 1181710 HAS SOPS 831031 HAS SOUS 489980 HAS SOUPS 148789 WITH SCORE 149970.71
AT ITER 6585 NEW BEST:: SOT 1586416 SOS 1181864 HAS SOPS 830544 HAS SOUS 490586 HAS SOUPS 148754 WITH SCORE 149935.864
AT ITER 6596 NEW BEST:: SOT 1586416 SOS 1181691 HAS SOPS 830544 HAS SOUS 490581 HAS SOUPS 148749 WITH SCORE 149930.691
AT ITER 6610 NEW BEST:: SOT 1586376 SOS 1181651 HAS SOPS 830504 HAS SOUS 490541 HAS SOUPS 148709 WITH SCORE 149890.651
AT ITER 6614 NEW BEST:: SOT 1586125 SOS 1181205 HAS SOPS 830504 HAS SOUS 490095 HAS SOUPS 148709 WITH SCORE 149890.205
AT ITER 6623 NEW BEST:: SOT 1586001 SOS 1181019 HAS SOPS 830380 HAS SOUS 489971 HAS SOUPS 148647 WITH SCORE 149828.019
AT ITER 6638 NEW BEST:: SOT 1585432 SOS 1180450 HAS SOPS 829811 HAS SOUS 489402 HAS SOUPS 148078 WITH SCORE 149258.45
AT ITER 6658 NEW BEST:: SOT 1585432 SOS 1180434 HAS SOPS 829811 HAS SOUS 489402 HAS SOUPS 148078 WITH SCORE 149258.434
AT ITER 6672 NEW BEST:: SOT 1585388 SOS 1180352 HAS SOPS 829767 HAS SOUS 489352 HAS SOUPS 148066 WITH SCORE 149246.352
AT ITER 6678 NEW BEST:: SOT 1585212 SOS 1180176 HAS SOPS 829415 HAS SOUS 489176 HAS SOUPS 147714 WITH SCORE 148894.176
AT ITER 6682 NEW BEST:: SOT 1584880 SOS 1179617 HAS SOPS 829158 HAS SOUS 488814 HAS SOUPS 147579 WITH SCORE 148758.617
AT ITER 6696 NEW BEST:: SOT 1584880 SOS 1179557 HAS SOPS 829158 HAS SOUS 488814 HAS SOUPS 147579 WITH SCORE 148758.557
AT ITER 6709 NEW BEST:: SOT 1584533 SOS 1179087 HAS SOPS 828934 HAS SOUS 488467 HAS SOUPS 147478 WITH SCORE 148657.087
AT ITER 6720 NEW BEST:: SOT 1584454 SOS 1163129 HAS SOPS 813055 HAS SOUS 488388 HAS SOUPS 147399 WITH SCORE 148562.129
AT ITER 6728 NEW BEST:: SOT 1584459 SOS 1163138 HAS SOPS 813060 HAS SOUS 488166 HAS SOUPS 147173 WITH SCORE 148336.138
AT ITER 6729 NEW BEST:: SOT 1584445 SOS 1163117 HAS SOPS 813046 HAS SOUS 488152 HAS SOUPS 147166 WITH SCORE 148329.117
AT ITER 6730 NEW BEST:: SOT 1584420 SOS 1163092 HAS SOPS 813021 HAS SOUS 488102 HAS SOUPS 147116 WITH SCORE 148279.092
AT ITER 6736 NEW BEST:: SOT 1584324 SOS 1162996 HAS SOPS 812925 HAS SOUS 488006 HAS SOUPS 147020 WITH SCORE 148182.996
AT ITER 6738 NEW BEST:: SOT 1584208 SOS 1162880 HAS SOPS 812693 HAS SOUS 487890 HAS SOUPS 146788 WITH SCORE 147950.88
AT ITER 6741 NEW BEST:: SOT 1584040 SOS 1162549 HAS SOPS 812525 HAS SOUS 487717 HAS SOUPS 146778 WITH SCORE 147940.549
AT ITER 6745 NEW BEST:: SOT 1584158 SOS 1162785 HAS SOPS 812643 HAS SOUS 487717 HAS SOUPS 146660 WITH SCORE 147822.785
AT ITER 6748 NEW BEST:: SOT 1584158 SOS 1162728 HAS SOPS 812643 HAS SOUS 487717 HAS SOUPS 146660 WITH SCORE 147822.728
AT ITER 6750 NEW BEST:: SOT 1584174 SOS 1162744 HAS SOPS 812481 HAS SOUS 487539 HAS SOUPS 146304 WITH SCORE 147466.744
AT ITER 6762 NEW BEST:: SOT 1584779 SOS 1164111 HAS SOPS 812850 HAS SOUS 487987 HAS SOUPS 146226 WITH SCORE 147390.111
AT ITER 6775 NEW BEST:: SOT 1585016 SOS 1164630 HAS SOPS 812805 HAS SOUS 488461 HAS SOUPS 146136 WITH SCORE 147300.63
AT ITER 6812 NEW BEST:: SOT 1585016 SOS 1164617 HAS SOPS 812805 HAS SOUS 488385 HAS SOUPS 146060 WITH SCORE 147224.617
AT ITER 6820 NEW BEST:: SOT 1584936 SOS 1164537 HAS SOPS 812725 HAS SOUS 488225 HAS SOUPS 145900 WITH SCORE 147064.537
AT ITER 6821 NEW BEST:: SOT 1585229 SOS 1165179 HAS SOPS 812669 HAS SOUS 488811 HAS SOUPS 145788 WITH SCORE 146953.179
AT ITER 6822 NEW BEST:: SOT 1585093 SOS 1165106 HAS SOPS 812533 HAS SOUS 488675 HAS SOUPS 145652 WITH SCORE 146817.106
AT ITER 6825 NEW BEST:: SOT 1585045 SOS 1165010 HAS SOPS 812485 HAS SOUS 488627 HAS SOUPS 145652 WITH SCORE 146817.01
AT ITER 6827 NEW BEST:: SOT 1584857 SOS 1164822 HAS SOPS 812109 HAS SOUS 488503 HAS SOUPS 145276 WITH SCORE 146440.822
AT ITER 6832 NEW BEST:: SOT 1584457 SOS 1164422 HAS SOPS 811309 HAS SOUS 488103 HAS SOUPS 144476 WITH SCORE 145640.422
AT ITER 6840 NEW BEST:: SOT 1584415 SOS 1164380 HAS SOPS 811225 HAS SOUS 488061 HAS SOUPS 144392 WITH SCORE 145556.38
AT ITER 6863 NEW BEST:: SOT 1584299 SOS 1164264 HAS SOPS 810993 HAS SOUS 487945 HAS SOUPS 144160 WITH SCORE 145324.264
AT ITER 6865 NEW BEST:: SOT 1584299 SOS 1164178 HAS SOPS 810993 HAS SOUS 487945 HAS SOUPS 144160 WITH SCORE 145324.178
AT ITER 6866 NEW BEST:: SOT 1584299 SOS 1164178 HAS SOPS 810993 HAS SOUS 487940 HAS SOUPS 144155 WITH SCORE 145319.178
AT ITER 6880 NEW BEST:: SOT 1583983 SOS 1163862 HAS SOPS 810361 HAS SOUS 487624 HAS SOUPS 143523 WITH SCORE 144686.862
AT ITER 6891 NEW BEST:: SOT 1584052 SOS 1164000 HAS SOPS 810361 HAS SOUS 487624 HAS SOUPS 143454 WITH SCORE 144618.0
AT ITER 6894 NEW BEST:: SOT 1584237 SOS 1164370 HAS SOPS 810361 HAS SOUS 487809 HAS SOUPS 143269 WITH SCORE 144433.37
AT ITER 6895 NEW BEST:: SOT 1584229 SOS 1164362 HAS SOPS 810353 HAS SOUS 487793 HAS SOUPS 143253 WITH SCORE 144417.362
AT ITER 6898 NEW BEST:: SOT 1584456 SOS 1164816 HAS SOPS 810353 HAS SOUS 488020 HAS SOUPS 143026 WITH SCORE 144190.816
AT ITER 6901 NEW BEST:: SOT 1584465 SOS 1164942 HAS SOPS 810245 HAS SOUS 488038 HAS SOUPS 142810 WITH SCORE 143974.942
AT ITER 6933 NEW BEST:: SOT 1584241 SOS 1164662 HAS SOPS 809797 HAS SOUS 487758 HAS SOUPS 142362 WITH SCORE 143526.662
AT ITER 6934 NEW BEST:: SOT 1584433 SOS 1165062 HAS SOPS 809781 HAS SOUS 488142 HAS SOUPS 142330 WITH SCORE 143495.062
AT ITER 6952 NEW BEST:: SOT 1583964 SOS 1164883 HAS SOPS 809312 HAS SOUS 488043 HAS SOUPS 141941 WITH SCORE 143105.883
AT ITER 6963 NEW BEST:: SOT 1583654 SOS 1164363 HAS SOPS 809002 HAS SOUS 487633 HAS SOUPS 141741 WITH SCORE 142905.363
AT ITER 6965 NEW BEST:: SOT 1583259 SOS 1163968 HAS SOPS 808607 HAS SOUS 487510 HAS SOUPS 141618 WITH SCORE 142781.968
AT ITER 6967 NEW BEST:: SOT 1583023 SOS 1163675 HAS SOPS 808371 HAS SOUS 487442 HAS SOUPS 141607 WITH SCORE 142770.675
AT ITER 6976 NEW BEST:: SOT 1582509 SOS 1162718 HAS SOPS 807978 HAS SOUS 486857 HAS SOUPS 141344 WITH SCORE 142506.718
AT ITER 7000 NEW BEST:: SOT 1582992 SOS 1163793 HAS SOPS 808218 HAS SOUS 487218 HAS SOUPS 141341 WITH SCORE 142504.793
AT ITER 7003 NEW BEST:: SOT 1582992 SOS 1163588 HAS SOPS 808218 HAS SOUS 487218 HAS SOUPS 141341 WITH SCORE 142504.588
AT ITER 7056 NEW BEST:: SOT 1582992 SOS 1163588 HAS SOPS 808083 HAS SOUS 487083 HAS SOUPS 141071 WITH SCORE 142234.588
AT ITER 7076 NEW BEST:: SOT 1582909 SOS 1163505 HAS SOPS 807843 HAS SOUS 487074 HAS SOUPS 140905 WITH SCORE 142068.505
AT ITER 7083 NEW BEST:: SOT 1582322 SOS 1162827 HAS SOPS 807347 HAS SOUS 486487 HAS SOUPS 140500 WITH SCORE 141662.827
AT ITER 7122 NEW BEST:: SOT 1581530 SOS 1161690 HAS SOPS 806900 HAS SOUS 485780 HAS SOUPS 140483 WITH SCORE 141644.69
AT ITER 7132 NEW BEST:: SOT 1581530 SOS 1161675 HAS SOPS 806900 HAS SOUS 485780 HAS SOUPS 140483 WITH SCORE 141644.675
AT ITER 7133 NEW BEST:: SOT 1581002 SOS 1160712 HAS SOPS 806601 HAS SOUS 484930 HAS SOUPS 140297 WITH SCORE 141457.712
AT ITER 7139 NEW BEST:: SOT 1581397 SOS 1161502 HAS SOPS 806601 HAS SOUS 485325 HAS SOUPS 139902 WITH SCORE 141063.502
AT ITER 7165 NEW BEST:: SOT 1581397 SOS 1161417 HAS SOPS 806601 HAS SOUS 485325 HAS SOUPS 139902 WITH SCORE 141063.417
AT ITER 7170 NEW BEST:: SOT 1581611 SOS 1161845 HAS SOPS 806601 HAS SOUS 485325 HAS SOUPS 139688 WITH SCORE 140849.845
AT ITER 7179 NEW BEST:: SOT 1581125 SOS 1161132 HAS SOPS 806197 HAS SOUS 484971 HAS SOUPS 139643 WITH SCORE 140804.132
AT ITER 7182 NEW BEST:: SOT 1580737 SOS 1160744 HAS SOPS 805413 HAS SOUS 484591 HAS SOUPS 138867 WITH SCORE 140027.744
AT ITER 7199 NEW BEST:: SOT 1580613 SOS 1161094 HAS SOPS 805289 HAS SOUS 484600 HAS SOUPS 138743 WITH SCORE 139904.094
AT ITER 7200 NEW BEST:: SOT 1580624 SOS 1161114 HAS SOPS 805293 HAS SOUS 484604 HAS SOUPS 138738 WITH SCORE 139899.114
AT ITER 7206 NEW BEST:: SOT 1580614 SOS 1161099 HAS SOPS 805283 HAS SOUS 484594 HAS SOUPS 138733 WITH SCORE 139894.099
AT ITER 7223 NEW BEST:: SOT 1580471 SOS 1160813 HAS SOPS 805140 HAS SOUS 484451 HAS SOUPS 138733 WITH SCORE 139893.813
AT ITER 7239 NEW BEST:: SOT 1580326 SOS 1160668 HAS SOPS 804850 HAS SOUS 484306 HAS SOUPS 138443 WITH SCORE 139603.668
AT ITER 7248 NEW BEST:: SOT 1580326 SOS 1160542 HAS SOPS 804850 HAS SOUS 484306 HAS SOUPS 138443 WITH SCORE 139603.542
AT ITER 7255 NEW BEST:: SOT 1580198 SOS 1160556 HAS SOPS 804920 HAS SOUS 483994 HAS SOUPS 138187 WITH SCORE 139347.556
AT ITER 7257 NEW BEST:: SOT 1580077 SOS 1160435 HAS SOPS 804678 HAS SOUS 483873 HAS SOUPS 137945 WITH SCORE 139105.435
AT ITER 7274 NEW BEST:: SOT 1580077 SOS 1160334 HAS SOPS 804678 HAS SOUS 483873 HAS SOUPS 137945 WITH SCORE 139105.334
AT ITER 7298 NEW BEST:: SOT 1580036 SOS 1160293 HAS SOPS 804637 HAS SOUS 483791 HAS SOUPS 137863 WITH SCORE 139023.293
AT ITER 7307 NEW BEST:: SOT 1580036 SOS 1160243 HAS SOPS 804637 HAS SOUS 483741 HAS SOUPS 137863 WITH SCORE 139023.243
AT ITER 7313 NEW BEST:: SOT 1580036 SOS 1159976 HAS SOPS 804637 HAS SOUS 483474 HAS SOUPS 137863 WITH SCORE 139022.976
AT ITER 7332 NEW BEST:: SOT 1580389 SOS 1160640 HAS SOPS 804679 HAS SOUS 483827 HAS SOUPS 137594 WITH SCORE 138754.64
AT ITER 7340 NEW BEST:: SOT 1580620 SOS 1161102 HAS SOPS 804679 HAS SOUS 484058 HAS SOUPS 137363 WITH SCORE 138524.102
AT ITER 7355 NEW BEST:: SOT 1580620 SOS 1160860 HAS SOPS 804679 HAS SOUS 484058 HAS SOUPS 137363 WITH SCORE 138523.86
AT ITER 7372 NEW BEST:: SOT 1580592 SOS 1160832 HAS SOPS 804623 HAS SOUS 484030 HAS SOUPS 137307 WITH SCORE 138467.832
AT ITER 7377 NEW BEST:: SOT 1580592 SOS 1160891 HAS SOPS 804564 HAS SOUS 484030 HAS SOUPS 137189 WITH SCORE 138349.891
AT ITER 7384 NEW BEST:: SOT 1580592 SOS 1160858 HAS SOPS 804564 HAS SOUS 484030 HAS SOUPS 137189 WITH SCORE 138349.858
AT ITER 7399 NEW BEST:: SOT 1580482 SOS 1160693 HAS SOPS 804454 HAS SOUS 483920 HAS SOUPS 137134 WITH SCORE 138294.693
AT ITER 7405 NEW BEST:: SOT 1580448 SOS 1160642 HAS SOPS 804420 HAS SOUS 483886 HAS SOUPS 137117 WITH SCORE 138277.642
AT ITER 7413 NEW BEST:: SOT 1579759 SOS 1159650 HAS SOPS 804034 HAS SOUS 483197 HAS SOUPS 137034 WITH SCORE 138193.65
AT ITER 7425 NEW BEST:: SOT 1579735 SOS 1159626 HAS SOPS 803986 HAS SOUS 483173 HAS SOUPS 136986 WITH SCORE 138145.626
AT ITER 7485 NEW BEST:: SOT 1579735 SOS 1159626 HAS SOPS 803986 HAS SOUS 483170 HAS SOUPS 136983 WITH SCORE 138142.626
AT ITER 7500 NEW BEST:: SOT 1579426 SOS 1159317 HAS SOPS 803368 HAS SOUS 482861 HAS SOUPS 136365 WITH SCORE 137524.317
AT ITER 7508 NEW BEST:: SOT 1579349 SOS 1159240 HAS SOPS 803214 HAS SOUS 482784 HAS SOUPS 136211 WITH SCORE 137370.24
AT ITER 7514 NEW BEST:: SOT 1579333 SOS 1159224 HAS SOPS 803182 HAS SOUS 482768 HAS SOUPS 136179 WITH SCORE 137338.224
AT ITER 7525 NEW BEST:: SOT 1579047 SOS 1158795 HAS SOPS 802896 HAS SOUS 482482 HAS SOUPS 136036 WITH SCORE 137194.795
AT ITER 7528 NEW BEST:: SOT 1579055 SOS 1158811 HAS SOPS 802896 HAS SOUS 482482 HAS SOUPS 136028 WITH SCORE 137186.811
AT ITER 7534 NEW BEST:: SOT 1578964 SOS 1158720 HAS SOPS 802714 HAS SOUS 482391 HAS SOUPS 135846 WITH SCORE 137004.72
AT ITER 7536 NEW BEST:: SOT 1578964 SOS 1158515 HAS SOPS 802714 HAS SOUS 482186 HAS SOUPS 135846 WITH SCORE 137004.515
AT ITER 7543 NEW BEST:: SOT 1578964 SOS 1158515 HAS SOPS 802714 HAS SOUS 481878 HAS SOUPS 135538 WITH SCORE 136696.515
AT ITER 7547 NEW BEST:: SOT 1579412 SOS 1159561 HAS SOPS 802871 HAS SOUS 482136 HAS SOUPS 135399 WITH SCORE 136558.561
AT ITER 7549 NEW BEST:: SOT 1579270 SOS 1159277 HAS SOPS 802871 HAS SOUS 481852 HAS SOUPS 135399 WITH SCORE 136558.277
AT ITER 7553 NEW BEST:: SOT 1578909 SOS 1158548 HAS SOPS 802597 HAS SOUS 481523 HAS SOUPS 135376 WITH SCORE 136534.548
AT ITER 7559 NEW BEST:: SOT 1578909 SOS 1158548 HAS SOPS 802597 HAS SOUS 481406 HAS SOUPS 135259 WITH SCORE 136417.548
AT ITER 7566 NEW BEST:: SOT 1578815 SOS 1158454 HAS SOPS 802503 HAS SOUS 481218 HAS SOUPS 135071 WITH SCORE 136229.454
AT ITER 7573 NEW BEST:: SOT 1578506 SOS 1157978 HAS SOPS 802259 HAS SOUS 480974 HAS SOUPS 135014 WITH SCORE 136171.978
AT ITER 7578 NEW BEST:: SOT 1578506 SOS 1157870 HAS SOPS 802259 HAS SOUS 480866 HAS SOUPS 135014 WITH SCORE 136171.87
AT ITER 7592 NEW BEST:: SOT 1578036 SOS 1157400 HAS SOPS 801789 HAS SOUS 480396 HAS SOUPS 134544 WITH SCORE 135701.4
AT ITER 7593 NEW BEST:: SOT 1578004 SOS 1157336 HAS SOPS 801757 HAS SOUS 480364 HAS SOUPS 134544 WITH SCORE 135701.336
AT ITER 7599 NEW BEST:: SOT 1577936 SOS 1157212 HAS SOPS 801621 HAS SOUS 480240 HAS SOUPS 134408 WITH SCORE 135565.212
AT ITER 7622 NEW BEST:: SOT 1577872 SOS 1157148 HAS SOPS 801557 HAS SOUS 480212 HAS SOUPS 134380 WITH SCORE 135537.148
AT ITER 7629 NEW BEST:: SOT 1577597 SOS 1156875 HAS SOPS 801282 HAS SOUS 479796 HAS SOUPS 133962 WITH SCORE 135118.875
AT ITER 7642 NEW BEST:: SOT 1577574 SOS 1156852 HAS SOPS 801185 HAS SOUS 479824 HAS SOUPS 133916 WITH SCORE 135072.852
AT ITER 7648 NEW BEST:: SOT 1577574 SOS 1156782 HAS SOPS 801185 HAS SOUS 479754 HAS SOUPS 133916 WITH SCORE 135072.782
AT ITER 7649 NEW BEST:: SOT 1577514 SOS 1156722 HAS SOPS 801065 HAS SOUS 479694 HAS SOUPS 133796 WITH SCORE 134952.722
AT ITER 7662 NEW BEST:: SOT 1577341 SOS 1156380 HAS SOPS 800892 HAS SOUS 479517 HAS SOUPS 133788 WITH SCORE 134944.38
AT ITER 7684 NEW BEST:: SOT 1577341 SOS 1156179 HAS SOPS 800892 HAS SOUS 479316 HAS SOUPS 133788 WITH SCORE 134944.179
AT ITER 7691 NEW BEST:: SOT 1577338 SOS 1156176 HAS SOPS 800886 HAS SOUS 479313 HAS SOUPS 133782 WITH SCORE 134938.176
AT ITER 7701 NEW BEST:: SOT 1577576 SOS 1156652 HAS SOPS 800886 HAS SOUS 479551 HAS SOUPS 133544 WITH SCORE 134700.652
AT ITER 7751 NEW BEST:: SOT 1577576 SOS 1155954 HAS SOPS 800179 HAS SOUS 479553 HAS SOUPS 133537 WITH SCORE 134692.954
AT ITER 7776 NEW BEST:: SOT 1577620 SOS 1155954 HAS SOPS 800223 HAS SOUS 479505 HAS SOUPS 133489 WITH SCORE 134644.954
AT ITER 7794 NEW BEST:: SOT 1577620 SOS 1155909 HAS SOPS 800223 HAS SOUS 479460 HAS SOUPS 133489 WITH SCORE 134644.909
AT ITER 7796 NEW BEST:: SOT 1577500 SOS 1155669 HAS SOPS 800103 HAS SOUS 479340 HAS SOUPS 133489 WITH SCORE 134644.669
AT ITER 7856 NEW BEST:: SOT 1577500 SOS 1155488 HAS SOPS 800103 HAS SOUS 479340 HAS SOUPS 133489 WITH SCORE 134644.488
AT ITER 7861 NEW BEST:: SOT 1576822 SOS 1154446 HAS SOPS 799425 HAS SOUS 478712 HAS SOUPS 133225 WITH SCORE 134379.446
AT ITER 7865 NEW BEST:: SOT 1576954 SOS 1154578 HAS SOPS 799354 HAS SOUS 478609 HAS SOUPS 132919 WITH SCORE 134073.578
AT ITER 7866 NEW BEST:: SOT 1576950 SOS 1154574 HAS SOPS 799346 HAS SOUS 478605 HAS SOUPS 132911 WITH SCORE 134065.574
AT ITER 7872 NEW BEST:: SOT 1576313 SOS 1153566 HAS SOPS 798750 HAS SOUS 477716 HAS SOUPS 132366 WITH SCORE 133519.566
AT ITER 7880 NEW BEST:: SOT 1576251 SOS 1153504 HAS SOPS 798626 HAS SOUS 477654 HAS SOUPS 132242 WITH SCORE 133395.504
AT ITER 7883 NEW BEST:: SOT 1576299 SOS 1153552 HAS SOPS 798626 HAS SOUS 477654 HAS SOUPS 132194 WITH SCORE 133347.552
AT ITER 7888 NEW BEST:: SOT 1576299 SOS 1153407 HAS SOPS 798626 HAS SOUS 477509 HAS SOUPS 132194 WITH SCORE 133347.407
AT ITER 7903 NEW BEST:: SOT 1576148 SOS 1153256 HAS SOPS 798324 HAS SOUS 477358 HAS SOUPS 131892 WITH SCORE 133045.256
AT ITER 7904 NEW BEST:: SOT 1575731 SOS 1152839 HAS SOPS 797490 HAS SOUS 476941 HAS SOUPS 131058 WITH SCORE 132210.839
AT ITER 7915 NEW BEST:: SOT 1575918 SOS 1153199 HAS SOPS 797677 HAS SOUS 476969 HAS SOUPS 130913 WITH SCORE 132066.199
AT ITER 7922 NEW BEST:: SOT 1575918 SOS 1153144 HAS SOPS 797677 HAS SOUS 476914 HAS SOUPS 130913 WITH SCORE 132066.144
AT ITER 7928 NEW BEST:: SOT 1575898 SOS 1153124 HAS SOPS 797637 HAS SOUS 476894 HAS SOUPS 130873 WITH SCORE 132026.124
AT ITER 7981 NEW BEST:: SOT 1575873 SOS 1153099 HAS SOPS 797612 HAS SOUS 476844 HAS SOUPS 130823 WITH SCORE 131976.099
AT ITER 7985 NEW BEST:: SOT 1575873 SOS 1153107 HAS SOPS 797604 HAS SOUS 476844 HAS SOUPS 130807 WITH SCORE 131960.107
AT ITER 8022 NEW BEST:: SOT 1575873 SOS 1152946 HAS SOPS 797604 HAS SOUS 476829 HAS SOUPS 130792 WITH SCORE 131944.946
AT ITER 8039 NEW BEST:: SOT 1575854 SOS 1152927 HAS SOPS 797787 HAS SOUS 476589 HAS SOUPS 130754 WITH SCORE 131906.927
AT ITER 8052 NEW BEST:: SOT 1575650 SOS 1152723 HAS SOPS 797583 HAS SOUS 476445 HAS SOUPS 130610 WITH SCORE 131762.723
AT ITER 8056 NEW BEST:: SOT 1575742 SOS 1152815 HAS SOPS 797675 HAS SOUS 476377 HAS SOUPS 130542 WITH SCORE 131694.815
AT ITER 8063 NEW BEST:: SOT 1574714 SOS 1151299 HAS SOPS 797135 HAS SOUS 475349 HAS SOUPS 130490 WITH SCORE 131641.299
AT ITER 8064 NEW BEST:: SOT 1574694 SOS 1151297 HAS SOPS 797115 HAS SOUS 475329 HAS SOUPS 130470 WITH SCORE 131621.297
AT ITER 8067 NEW BEST:: SOT 1574606 SOS 1151121 HAS SOPS 797027 HAS SOUS 475241 HAS SOUPS 130470 WITH SCORE 131621.121
AT ITER 8068 NEW BEST:: SOT 1574606 SOS 1151230 HAS SOPS 796918 HAS SOUS 475241 HAS SOUPS 130252 WITH SCORE 131403.23
AT ITER 8075 NEW BEST:: SOT 1574114 SOS 1150692 HAS SOPS 796472 HAS SOUS 474749 HAS SOUPS 129852 WITH SCORE 131002.692
AT ITER 8090 NEW BEST:: SOT 1574114 SOS 1150613 HAS SOPS 796472 HAS SOUS 474670 HAS SOUPS 129852 WITH SCORE 131002.613
AT ITER 8102 NEW BEST:: SOT 1573956 SOS 1150455 HAS SOPS 795816 HAS SOUS 474852 HAS SOUPS 129536 WITH SCORE 130686.455
AT ITER 8121 NEW BEST:: SOT 1573956 SOS 1150412 HAS SOPS 795816 HAS SOUS 474852 HAS SOUPS 129536 WITH SCORE 130686.412
AT ITER 8133 NEW BEST:: SOT 1572869 SOS 1148844 HAS SOPS 795210 HAS SOUS 473889 HAS SOUPS 129535 WITH SCORE 130683.844
AT ITER 8151 NEW BEST:: SOT 1572869 SOS 1148711 HAS SOPS 795210 HAS SOUS 473756 HAS SOUPS 129535 WITH SCORE 130683.711
AT ITER 8164 NEW BEST:: SOT 1572863 SOS 1148705 HAS SOPS 795204 HAS SOUS 473744 HAS SOUPS 129523 WITH SCORE 130671.705
AT ITER 8197 NEW BEST:: SOT 1572876 SOS 1148744 HAS SOPS 795204 HAS SOUS 473744 HAS SOUPS 129510 WITH SCORE 130658.744
AT ITER 8222 NEW BEST:: SOT 1573003 SOS 1148998 HAS SOPS 795204 HAS SOUS 473871 HAS SOUPS 129383 WITH SCORE 130531.998
AT ITER 8229 NEW BEST:: SOT 1573029 SOS 1149024 HAS SOPS 795204 HAS SOUS 473871 HAS SOUPS 129357 WITH SCORE 130506.024
AT ITER 8232 NEW BEST:: SOT 1573038 SOS 1149021 HAS SOPS 795213 HAS SOUS 473845 HAS SOUPS 129331 WITH SCORE 130480.021
AT ITER 8264 NEW BEST:: SOT 1572874 SOS 1148857 HAS SOPS 794744 HAS SOUS 473822 HAS SOUPS 129003 WITH SCORE 130151.857
AT ITER 8269 NEW BEST:: SOT 1571902 SOS 1147411 HAS SOPS 794246 HAS SOUS 472850 HAS SOUPS 128979 WITH SCORE 130126.411
AT ITER 8327 NEW BEST:: SOT 1571809 SOS 1147236 HAS SOPS 794153 HAS SOUS 472746 HAS SOUPS 128957 WITH SCORE 130104.236
AT ITER 8343 NEW BEST:: SOT 1571806 SOS 1147233 HAS SOPS 794150 HAS SOUS 472743 HAS SOUPS 128954 WITH SCORE 130101.233
AT ITER 8403 NEW BEST:: SOT 1571177 SOS 1146138 HAS SOPS 793521 HAS SOUS 471951 HAS SOUPS 128628 WITH SCORE 129774.138
AT ITER 8405 NEW BEST:: SOT 1571177 SOS 1146113 HAS SOPS 793521 HAS SOUS 471951 HAS SOUPS 128628 WITH SCORE 129774.113
AT ITER 8420 NEW BEST:: SOT 1571263 SOS 1146285 HAS SOPS 793521 HAS SOUS 472037 HAS SOUPS 128542 WITH SCORE 129688.285
AT ITER 8423 NEW BEST:: SOT 1571263 SOS 1146285 HAS SOPS 793390 HAS SOUS 471878 HAS SOUPS 128252 WITH SCORE 129398.285
AT ITER 8425 NEW BEST:: SOT 1570960 SOS 1145982 HAS SOPS 793087 HAS SOUS 471581 HAS SOUPS 127955 WITH SCORE 129100.982
AT ITER 8430 NEW BEST:: SOT 1570897 SOS 1145919 HAS SOPS 792883 HAS SOUS 471596 HAS SOUPS 127829 WITH SCORE 128974.919
AT ITER 8439 NEW BEST:: SOT 1570767 SOS 1145789 HAS SOPS 792623 HAS SOUS 471596 HAS SOUPS 127829 WITH SCORE 128974.789
AT ITER 8443 NEW BEST:: SOT 1570767 SOS 1145780 HAS SOPS 792623 HAS SOUS 471596 HAS SOUPS 127829 WITH SCORE 128974.78
AT ITER 8457 NEW BEST:: SOT 1570562 SOS 1145436 HAS SOPS 792477 HAS SOUS 471384 HAS SOUPS 127815 WITH SCORE 128960.436
AT ITER 8497 NEW BEST:: SOT 1570920 SOS 1145931 HAS SOPS 792431 HAS SOUS 471620 HAS SOUPS 127510 WITH SCORE 128655.931
AT ITER 8498 NEW BEST:: SOT 1570870 SOS 1146059 HAS SOPS 792381 HAS SOUS 471570 HAS SOUPS 127460 WITH SCORE 128606.059
AT ITER 8501 NEW BEST:: SOT 1570559 SOS 1145748 HAS SOPS 791759 HAS SOUS 471259 HAS SOUPS 126838 WITH SCORE 127983.748
AT ITER 8527 NEW BEST:: SOT 1570478 SOS 1145586 HAS SOPS 791759 HAS SOUS 471097 HAS SOUPS 126838 WITH SCORE 127983.586
AT ITER 8547 NEW BEST:: SOT 1570727 SOS 1146034 HAS SOPS 791759 HAS SOUS 471296 HAS SOUPS 126589 WITH SCORE 127735.034
AT ITER 8578 NEW BEST:: SOT 1570747 SOS 1146126 HAS SOPS 791707 HAS SOUS 471336 HAS SOUPS 126485 WITH SCORE 127631.126
AT ITER 8585 NEW BEST:: SOT 1570914 SOS 1146460 HAS SOPS 791707 HAS SOUS 471503 HAS SOUPS 126318 WITH SCORE 127464.46
AT ITER 8594 NEW BEST:: SOT 1571022 SOS 1146668 HAS SOPS 791723 HAS SOUS 471519 HAS SOUPS 126234 WITH SCORE 127380.668
AT ITER 8600 NEW BEST:: SOT 1569808 SOS 1144884 HAS SOPS 790656 HAS SOUS 470753 HAS SOUPS 126185 WITH SCORE 127329.884
AT ITER 8604 NEW BEST:: SOT 1569808 SOS 1144884 HAS SOPS 790656 HAS SOUS 470753 HAS SOUPS 126182 WITH SCORE 127326.884
AT ITER 8611 NEW BEST:: SOT 1569989 SOS 1145404 HAS SOPS 790498 HAS SOUS 471115 HAS SOUPS 125866 WITH SCORE 127011.404
AT ITER 8647 NEW BEST:: SOT 1559000 SOS 1136067 HAS SOPS 790752 HAS SOUS 460182 HAS SOUPS 124524 WITH SCORE 125660.067
AT ITER 8659 NEW BEST:: SOT 1558949 SOS 1136016 HAS SOPS 790701 HAS SOUS 460133 HAS SOUPS 124475 WITH SCORE 125611.016
AT ITER 8662 NEW BEST:: SOT 1558954 SOS 1136026 HAS SOPS 790701 HAS SOUS 460138 HAS SOUPS 124470 WITH SCORE 125606.026
AT ITER 8695 NEW BEST:: SOT 1558954 SOS 1136020 HAS SOPS 790701 HAS SOUS 460114 HAS SOUPS 124446 WITH SCORE 125582.02
AT ITER 8701 NEW BEST:: SOT 1558884 SOS 1135950 HAS SOPS 790561 HAS SOUS 460044 HAS SOUPS 124306 WITH SCORE 125441.95
AT ITER 8704 NEW BEST:: SOT 1558879 SOS 1135945 HAS SOPS 790556 HAS SOUS 460034 HAS SOUPS 124296 WITH SCORE 125431.945
AT ITER 8710 NEW BEST:: SOT 1558698 SOS 1135764 HAS SOPS 790194 HAS SOUS 459853 HAS SOUPS 123934 WITH SCORE 125069.764
AT ITER 8717 NEW BEST:: SOT 1558823 SOS 1135889 HAS SOPS 790194 HAS SOUS 459968 HAS SOUPS 123924 WITH SCORE 125059.889
AT ITER 8765 NEW BEST:: SOT 1558592 SOS 1135447 HAS SOPS 789963 HAS SOUS 459717 HAS SOUPS 123884 WITH SCORE 125019.447
AT ITER 8766 NEW BEST:: SOT 1558716 SOS 1135789 HAS SOPS 789983 HAS SOUS 459747 HAS SOUPS 123800 WITH SCORE 124935.789
AT ITER 8768 NEW BEST:: SOT 1558716 SOS 1135789 HAS SOPS 789983 HAS SOUS 459565 HAS SOUPS 123618 WITH SCORE 124753.789
AT ITER 8787 NEW BEST:: SOT 1558661 SOS 1135734 HAS SOPS 789873 HAS SOUS 459510 HAS SOUPS 123508 WITH SCORE 124643.734
AT ITER 8797 NEW BEST:: SOT 1559225 SOS 1136496 HAS SOPS 790231 HAS SOUS 459868 HAS SOUPS 123481 WITH SCORE 124617.496
AT ITER 8809 NEW BEST:: SOT 1559264 SOS 1136570 HAS SOPS 790235 HAS SOUS 459907 HAS SOUPS 123450 WITH SCORE 124586.57
AT ITER 8811 NEW BEST:: SOT 1559161 SOS 1136364 HAS SOPS 790235 HAS SOUS 459701 HAS SOUPS 123450 WITH SCORE 124586.364
AT ITER 8819 NEW BEST:: SOT 1559090 SOS 1136293 HAS SOPS 790093 HAS SOUS 459630 HAS SOUPS 123308 WITH SCORE 124444.293
AT ITER 8841 NEW BEST:: SOT 1559027 SOS 1136210 HAS SOPS 789960 HAS SOUS 459554 HAS SOUPS 123182 WITH SCORE 124318.21
AT ITER 8858 NEW BEST:: SOT 1559029 SOS 1136214 HAS SOPS 789960 HAS SOUS 459556 HAS SOUPS 123180 WITH SCORE 124316.214
AT ITER 8869 NEW BEST:: SOT 1559002 SOS 1136187 HAS SOPS 789906 HAS SOUS 459529 HAS SOUPS 123126 WITH SCORE 124262.187
AT ITER 8882 NEW BEST:: SOT 1558684 SOS 1135828 HAS SOPS 789588 HAS SOUS 459327 HAS SOUPS 122965 WITH SCORE 124100.828
AT ITER 8900 NEW BEST:: SOT 1558652 SOS 1135796 HAS SOPS 789556 HAS SOUS 459313 HAS SOUPS 122951 WITH SCORE 124086.796
AT ITER 8904 NEW BEST:: SOT 1558970 SOS 1136289 HAS SOPS 789762 HAS SOUS 459519 HAS SOUPS 122942 WITH SCORE 124078.289
AT ITER 8908 NEW BEST:: SOT 1558784 SOS 1136103 HAS SOPS 789390 HAS SOUS 459333 HAS SOUPS 122570 WITH SCORE 123706.103
AT ITER 8914 NEW BEST:: SOT 1558196 SOS 1135213 HAS SOPS 788990 HAS SOUS 458933 HAS SOUPS 122558 WITH SCORE 123693.213
AT ITER 8934 NEW BEST:: SOT 1558157 SOS 1135174 HAS SOPS 788718 HAS SOUS 459088 HAS SOUPS 122480 WITH SCORE 123615.174
AT ITER 8950 NEW BEST:: SOT 1558148 SOS 1135165 HAS SOPS 788709 HAS SOUS 459070 HAS SOUPS 122462 WITH SCORE 123597.165
AT ITER 8958 NEW BEST:: SOT 1558013 SOS 1135027 HAS SOPS 788574 HAS SOUS 458797 HAS SOUPS 122192 WITH SCORE 123327.027
AT ITER 8960 NEW BEST:: SOT 1557968 SOS 1134943 HAS SOPS 788574 HAS SOUS 458752 HAS SOUPS 122186 WITH SCORE 123320.943
AT ITER 8987 NEW BEST:: SOT 1557968 SOS 1134943 HAS SOPS 788496 HAS SOUS 458674 HAS SOUPS 122030 WITH SCORE 123164.943
AT ITER 9004 NEW BEST:: SOT 1557968 SOS 1134775 HAS SOPS 788496 HAS SOUS 458653 HAS SOUPS 122009 WITH SCORE 123143.775
AT ITER 9021 NEW BEST:: SOT 1557968 SOS 1134777 HAS SOPS 788494 HAS SOUS 458653 HAS SOUPS 122005 WITH SCORE 123139.777
AT ITER 9034 NEW BEST:: SOT 1557968 SOS 1134518 HAS SOPS 788494 HAS SOUS 458394 HAS SOUPS 122005 WITH SCORE 123139.518
AT ITER 9056 NEW BEST:: SOT 1557968 SOS 1134518 HAS SOPS 788494 HAS SOUS 458378 HAS SOUPS 121989 WITH SCORE 123123.518
AT ITER 9057 NEW BEST:: SOT 1558063 SOS 1134732 HAS SOPS 788494 HAS SOUS 458378 HAS SOUPS 121894 WITH SCORE 123028.732
AT ITER 9063 NEW BEST:: SOT 1558063 SOS 1134667 HAS SOPS 788494 HAS SOUS 458378 HAS SOUPS 121894 WITH SCORE 123028.667
AT ITER 9073 NEW BEST:: SOT 1558135 SOS 1134800 HAS SOPS 788516 HAS SOUS 458400 HAS SOUPS 121855 WITH SCORE 122989.8
AT ITER 9098 NEW BEST:: SOT 1558135 SOS 1134789 HAS SOPS 788516 HAS SOUS 458400 HAS SOUPS 121855 WITH SCORE 122989.789
AT ITER 9109 NEW BEST:: SOT 1558191 SOS 1134901 HAS SOPS 788516 HAS SOUS 458456 HAS SOUPS 121799 WITH SCORE 122933.901
AT ITER 9111 NEW BEST:: SOT 1558136 SOS 1134846 HAS SOPS 788461 HAS SOUS 458346 HAS SOUPS 121689 WITH SCORE 122823.846
AT ITER 9114 NEW BEST:: SOT 1558194 SOS 1134918 HAS SOPS 788461 HAS SOUS 458346 HAS SOUPS 121631 WITH SCORE 122765.918
AT ITER 9131 NEW BEST:: SOT 1558326 SOS 1135217 HAS SOPS 788426 HAS SOUS 458610 HAS SOUPS 121561 WITH SCORE 122696.217
AT ITER 9135 NEW BEST:: SOT 1558466 SOS 1135497 HAS SOPS 788426 HAS SOUS 458750 HAS SOUPS 121421 WITH SCORE 122556.497
AT ITER 9137 NEW BEST:: SOT 1558577 SOS 1135577 HAS SOPS 788537 HAS SOUS 458587 HAS SOUPS 121258 WITH SCORE 122393.577
AT ITER 9149 NEW BEST:: SOT 1558558 SOS 1135558 HAS SOPS 788499 HAS SOUS 458549 HAS SOUPS 121201 WITH SCORE 122336.558
AT ITER 9188 NEW BEST:: SOT 1558474 SOS 1135474 HAS SOPS 788415 HAS SOUS 458549 HAS SOUPS 121201 WITH SCORE 122336.474
AT ITER 9199 NEW BEST:: SOT 1557906 SOS 1134906 HAS SOPS 787847 HAS SOUS 457981 HAS SOUPS 120633 WITH SCORE 121767.906
AT ITER 9214 NEW BEST:: SOT 1557778 SOS 1134904 HAS SOPS 787287 HAS SOUS 458283 HAS SOUPS 120377 WITH SCORE 121511.904
AT ITER 9216 NEW BEST:: SOT 1557688 SOS 1134769 HAS SOPS 787197 HAS SOUS 458193 HAS SOUPS 120332 WITH SCORE 121466.769
AT ITER 9235 NEW BEST:: SOT 1557739 SOS 1134902 HAS SOPS 787217 HAS SOUS 458244 HAS SOUPS 120270 WITH SCORE 121404.902
AT ITER 9236 NEW BEST:: SOT 1557612 SOS 1134759 HAS SOPS 787090 HAS SOUS 457974 HAS SOUPS 120016 WITH SCORE 121150.759
AT ITER 9243 NEW BEST:: SOT 1558032 SOS 1135161 HAS SOPS 787090 HAS SOUS 458302 HAS SOUPS 119942 WITH SCORE 121077.161
AT ITER 9262 NEW BEST:: SOT 1557985 SOS 1135267 HAS SOPS 787043 HAS SOUS 458255 HAS SOUPS 119895 WITH SCORE 121030.267
AT ITER 9312 NEW BEST:: SOT 1557041 SOS 1134002 HAS SOPS 786420 HAS SOUS 457342 HAS SOUPS 119624 WITH SCORE 120758.002
AT ITER 9326 NEW BEST:: SOT 1557440 SOS 1134474 HAS SOPS 786420 HAS SOUS 457741 HAS SOUPS 119551 WITH SCORE 120685.474
AT ITER 9338 NEW BEST:: SOT 1557604 SOS 1134802 HAS SOPS 786420 HAS SOUS 457905 HAS SOUPS 119387 WITH SCORE 120521.802
AT ITER 9362 NEW BEST:: SOT 1557264 SOS 1134807 HAS SOPS 786080 HAS SOUS 457806 HAS SOUPS 119221 WITH SCORE 120355.807
AT ITER 9420 NEW BEST:: SOT 1557264 SOS 1134826 HAS SOPS 786061 HAS SOUS 457806 HAS SOUPS 119183 WITH SCORE 120317.826
AT ITER 9422 NEW BEST:: SOT 1557264 SOS 1134770 HAS SOPS 786061 HAS SOUS 457806 HAS SOUPS 119183 WITH SCORE 120317.77
AT ITER 9423 NEW BEST:: SOT 1557248 SOS 1134738 HAS SOPS 786045 HAS SOUS 457790 HAS SOUPS 119183 WITH SCORE 120317.738
AT ITER 9427 NEW BEST:: SOT 1557075 SOS 1134392 HAS SOPS 785872 HAS SOUS 457617 HAS SOUPS 119183 WITH SCORE 120317.392
AT ITER 9432 NEW BEST:: SOT 1556993 SOS 1134228 HAS SOPS 785872 HAS SOUS 457453 HAS SOUPS 119183 WITH SCORE 120317.228
AT ITER 9446 NEW BEST:: SOT 1556785 SOS 1133891 HAS SOPS 785714 HAS SOUS 457295 HAS SOUPS 119154 WITH SCORE 120287.891
AT ITER 9459 NEW BEST:: SOT 1556621 SOS 1133727 HAS SOPS 785550 HAS SOUS 457131 HAS SOUPS 118990 WITH SCORE 120123.727
AT ITER 9470 NEW BEST:: SOT 1556566 SOS 1133672 HAS SOPS 785495 HAS SOUS 457131 HAS SOUPS 118990 WITH SCORE 120123.672
AT ITER 9477 NEW BEST:: SOT 1556192 SOS 1133071 HAS SOPS 785201 HAS SOUS 456837 HAS SOUPS 118923 WITH SCORE 120056.071
AT ITER 9482 NEW BEST:: SOT 1556035 SOS 1132914 HAS SOPS 785044 HAS SOUS 456663 HAS SOUPS 118749 WITH SCORE 119881.914
AT ITER 9497 NEW BEST:: SOT 1556234 SOS 1133312 HAS SOPS 785044 HAS SOUS 456862 HAS SOUPS 118550 WITH SCORE 119683.312
AT ITER 9520 NEW BEST:: SOT 1556034 SOS 1133012 HAS SOPS 784844 HAS SOUS 456662 HAS SOUPS 118450 WITH SCORE 119583.012
AT ITER 9533 NEW BEST:: SOT 1555392 SOS 1131973 HAS SOPS 784210 HAS SOUS 456188 HAS SOUPS 118381 WITH SCORE 119512.973
AT ITER 9537 NEW BEST:: SOT 1555392 SOS 1131927 HAS SOPS 784210 HAS SOUS 456188 HAS SOUPS 118381 WITH SCORE 119512.927
AT ITER 9548 NEW BEST:: SOT 1555392 SOS 1131769 HAS SOPS 784210 HAS SOUS 456188 HAS SOUPS 118381 WITH SCORE 119512.769
AT ITER 9553 NEW BEST:: SOT 1555295 SOS 1131615 HAS SOPS 784113 HAS SOUS 456051 HAS SOUPS 118301 WITH SCORE 119432.615
AT ITER 9554 NEW BEST:: SOT 1555705 SOS 1132178 HAS SOPS 784370 HAS SOUS 456320 HAS SOUPS 118264 WITH SCORE 119396.178
AT ITER 9576 NEW BEST:: SOT 1555631 SOS 1132067 HAS SOPS 784296 HAS SOUS 456209 HAS SOUPS 118190 WITH SCORE 119322.067
AT ITER 9587 NEW BEST:: SOT 1556057 SOS 1132773 HAS SOPS 784530 HAS SOUS 456443 HAS SOUPS 118115 WITH SCORE 119247.773
AT ITER 9595 NEW BEST:: SOT 1556414 SOS 1133487 HAS SOPS 784831 HAS SOUS 456744 HAS SOUPS 118059 WITH SCORE 119192.487
AT ITER 9599 NEW BEST:: SOT 1556207 SOS 1133280 HAS SOPS 784417 HAS SOUS 456537 HAS SOUPS 117645 WITH SCORE 118778.28
AT ITER 9615 NEW BEST:: SOT 1556207 SOS 1133100 HAS SOPS 784417 HAS SOUS 456537 HAS SOUPS 117645 WITH SCORE 118778.1
AT ITER 9622 NEW BEST:: SOT 1556023 SOS 1132916 HAS SOPS 784049 HAS SOUS 456353 HAS SOUPS 117277 WITH SCORE 118409.916
AT ITER 9646 NEW BEST:: SOT 1555535 SOS 1132329 HAS SOPS 783569 HAS SOUS 456174 HAS SOUPS 117205 WITH SCORE 118337.329
AT ITER 9648 NEW BEST:: SOT 1554451 SOS 1130801 HAS SOPS 782929 HAS SOUS 455096 HAS SOUPS 117015 WITH SCORE 118145.801
AT ITER 9652 NEW BEST:: SOT 1554451 SOS 1130711 HAS SOPS 782929 HAS SOUS 455096 HAS SOUPS 117015 WITH SCORE 118145.711
AT ITER 9661 NEW BEST:: SOT 1554772 SOS 1131527 HAS SOPS 782755 HAS SOUS 455738 HAS SOUPS 116667 WITH SCORE 117798.527
AT ITER 9707 NEW BEST:: SOT 1553933 SOS 1130411 HAS SOPS 782193 HAS SOUS 455157 HAS SOUPS 116640 WITH SCORE 117770.411
AT ITER 9709 NEW BEST:: SOT 1553618 SOS 1129989 HAS SOPS 781985 HAS SOUS 454846 HAS SOUPS 116543 WITH SCORE 117672.989
AT ITER 9714 NEW BEST:: SOT 1553384 SOS 1129638 HAS SOPS 781751 HAS SOUS 454612 HAS SOUPS 116426 WITH SCORE 117555.638
AT ITER 9715 NEW BEST:: SOT 1553266 SOS 1129520 HAS SOPS 781515 HAS SOUS 454494 HAS SOUPS 116190 WITH SCORE 117319.52
AT ITER 9720 NEW BEST:: SOT 1553150 SOS 1129404 HAS SOPS 781283 HAS SOUS 454340 HAS SOUPS 115920 WITH SCORE 117049.404
AT ITER 9742 NEW BEST:: SOT 1553145 SOS 1129399 HAS SOPS 781278 HAS SOUS 454330 HAS SOUPS 115910 WITH SCORE 117039.399
AT ITER 9760 NEW BEST:: SOT 1553009 SOS 1129499 HAS SOPS 781142 HAS SOUS 454546 HAS SOUPS 115890 WITH SCORE 117019.499
AT ITER 9772 NEW BEST:: SOT 1553009 SOS 1129363 HAS SOPS 781142 HAS SOUS 454546 HAS SOUPS 115890 WITH SCORE 117019.363
AT ITER 9823 NEW BEST:: SOT 1552953 SOS 1129251 HAS SOPS 781086 HAS SOUS 454490 HAS SOUPS 115890 WITH SCORE 117019.251
AT ITER 9833 NEW BEST:: SOT 1552953 SOS 1129141 HAS SOPS 781086 HAS SOUS 454464 HAS SOUPS 115864 WITH SCORE 116993.141
AT ITER 9834 NEW BEST:: SOT 1553088 SOS 1129320 HAS SOPS 781086 HAS SOUS 454464 HAS SOUPS 115729 WITH SCORE 116858.32
AT ITER 9839 NEW BEST:: SOT 1552947 SOS 1129179 HAS SOPS 780804 HAS SOUS 454323 HAS SOUPS 115447 WITH SCORE 116576.179
AT ITER 9850 NEW BEST:: SOT 1553029 SOS 1129317 HAS SOPS 780804 HAS SOUS 454323 HAS SOUPS 115365 WITH SCORE 116494.317
AT ITER 9854 NEW BEST:: SOT 1553029 SOS 1129145 HAS SOPS 780804 HAS SOUS 454298 HAS SOUPS 115340 WITH SCORE 116469.145
AT ITER 9862 NEW BEST:: SOT 1553032 SOS 1129151 HAS SOPS 780804 HAS SOUS 454298 HAS SOUPS 115337 WITH SCORE 116466.151
AT ITER 9875 NEW BEST:: SOT 1552841 SOS 1128834 HAS SOPS 780613 HAS SOUS 453790 HAS SOUPS 114955 WITH SCORE 116083.834
AT ITER 9876 NEW BEST:: SOT 1552841 SOS 1128677 HAS SOPS 780613 HAS SOUS 453633 HAS SOUPS 114955 WITH SCORE 116083.677
AT ITER 9879 NEW BEST:: SOT 1552841 SOS 1128551 HAS SOPS 780613 HAS SOUS 453489 HAS SOUPS 114811 WITH SCORE 115939.551
AT ITER 9896 NEW BEST:: SOT 1552841 SOS 1128551 HAS SOPS 780587 HAS SOUS 453463 HAS SOUPS 114759 WITH SCORE 115887.551
AT ITER 9927 NEW BEST:: SOT 1552841 SOS 1128471 HAS SOPS 780587 HAS SOUS 453463 HAS SOUPS 114759 WITH SCORE 115887.471
AT ITER 9957 NEW BEST:: SOT 1552578 SOS 1128173 HAS SOPS 780359 HAS SOUS 453288 HAS SOUPS 114654 WITH SCORE 115782.173
AT ITER 9961 NEW BEST:: SOT 1552532 SOS 1128127 HAS SOPS 780457 HAS SOUS 453052 HAS SOUPS 114562 WITH SCORE 115690.127
AT ITER 9987 NEW BEST:: SOT 1552977 SOS 1128809 HAS SOPS 780665 HAS SOUS 453493 HAS SOUPS 114529 WITH SCORE 115657.809
STATE_SPACE STATES 275494823 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 608 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1227994824 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678731627533

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="AirplaneLD-PT-0200"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is AirplaneLD-PT-0200, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813600000280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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