Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.3M
-rw-r--r-- 1 mcc users 66K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 184K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 54K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 187K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 84K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 254K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 72K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 243K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 96K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 250K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 65K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 211K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 23K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 45K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 1.5M Apr 27 15:14 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589646928226

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

GOT IT HERE. BS
Petri model created: 1330 places, 2030 transitions, 6272 arcs.
AT ITER 0 NEW BEST:: SOT 1957275 SOS 887969 HAS SOPS 849798 HAS SOUS 842418 HAS SOUPS 819313 WITH SCORE 820200.969
AT ITER 4 NEW BEST:: SOT 1957162 SOS 887500 HAS SOPS 849821 HAS SOUS 841940 HAS SOUPS 818948 WITH SCORE 819835.5
AT ITER 7 NEW BEST:: SOT 1957004 SOS 887184 HAS SOPS 849505 HAS SOUS 841624 HAS SOUPS 818632 WITH SCORE 819519.184
AT ITER 10 NEW BEST:: SOT 1956659 SOS 886494 HAS SOPS 848815 HAS SOUS 840934 HAS SOUPS 817942 WITH SCORE 818828.494
AT ITER 11 NEW BEST:: SOT 1956298 SOS 885484 HAS SOPS 847805 HAS SOUS 840212 HAS SOUPS 817220 WITH SCORE 818105.484
AT ITER 12 NEW BEST:: SOT 1956057 SOS 885002 HAS SOPS 847323 HAS SOUS 839730 HAS SOUPS 816738 WITH SCORE 817623.002
AT ITER 13 NEW BEST:: SOT 1955702 SOS 884407 HAS SOPS 847323 HAS SOUS 837755 HAS SOUPS 815118 WITH SCORE 816002.407
AT ITER 14 NEW BEST:: SOT 1955671 SOS 884345 HAS SOPS 845671 HAS SOUS 836103 HAS SOUPS 813466 WITH SCORE 814350.345
AT ITER 15 NEW BEST:: SOT 1955323 SOS 883336 HAS SOPS 845266 HAS SOUS 831105 HAS SOUPS 808816 WITH SCORE 809699.336
AT ITER 19 NEW BEST:: SOT 1955323 SOS 882956 HAS SOPS 845266 HAS SOUS 830725 HAS SOUPS 808816 WITH SCORE 809698.956
AT ITER 25 NEW BEST:: SOT 1949755 SOS 879224 HAS SOPS 841945 HAS SOUS 825397 HAS SOUPS 803899 WITH SCORE 804778.224
AT ITER 28 NEW BEST:: SOT 1949486 SOS 878686 HAS SOPS 841407 HAS SOUS 824859 HAS SOUPS 803361 WITH SCORE 804239.686
AT ITER 29 NEW BEST:: SOT 1949297 SOS 878308 HAS SOPS 841029 HAS SOUS 824481 HAS SOUPS 802983 WITH SCORE 803861.308
AT ITER 34 NEW BEST:: SOT 1949192 SOS 877807 HAS SOPS 840528 HAS SOUS 823980 HAS SOUPS 802482 WITH SCORE 803359.807
AT ITER 36 NEW BEST:: SOT 1949137 SOS 877697 HAS SOPS 840418 HAS SOUS 823870 HAS SOUPS 802372 WITH SCORE 803249.697
AT ITER 37 NEW BEST:: SOT 1949137 SOS 877620 HAS SOPS 840341 HAS SOUS 823870 HAS SOUPS 802372 WITH SCORE 803249.62
AT ITER 40 NEW BEST:: SOT 1948917 SOS 877436 HAS SOPS 840157 HAS SOUS 823649 HAS SOUPS 802151 WITH SCORE 803028.436
AT ITER 45 NEW BEST:: SOT 1948826 SOS 877434 HAS SOPS 840065 HAS SOUS 823619 HAS SOUPS 802121 WITH SCORE 802998.434
AT ITER 48 NEW BEST:: SOT 1948796 SOS 877374 HAS SOPS 840005 HAS SOUS 823559 HAS SOUPS 802061 WITH SCORE 802938.374
AT ITER 50 NEW BEST:: SOT 1948430 SOS 876642 HAS SOPS 839273 HAS SOUS 822827 HAS SOUPS 801329 WITH SCORE 802205.642
AT ITER 54 NEW BEST:: SOT 1948085 SOS 875952 HAS SOPS 838583 HAS SOUS 822137 HAS SOUPS 800639 WITH SCORE 801514.952
AT ITER 56 NEW BEST:: SOT 1947831 SOS 875722 HAS SOPS 838353 HAS SOUS 821883 HAS SOUPS 800385 WITH SCORE 801260.722
AT ITER 61 NEW BEST:: SOT 1947800 SOS 876640 HAS SOPS 839340 HAS SOUS 821840 HAS SOUPS 800342 WITH SCORE 801218.64
AT ITER 64 NEW BEST:: SOT 1947736 SOS 876582 HAS SOPS 839221 HAS SOUS 821776 HAS SOUPS 800278 WITH SCORE 801154.582
AT ITER 76 NEW BEST:: SOT 1947736 SOS 876425 HAS SOPS 839221 HAS SOUS 821619 HAS SOUPS 800278 WITH SCORE 801154.425
AT ITER 78 NEW BEST:: SOT 1947405 SOS 875470 HAS SOPS 838266 HAS SOUS 820957 HAS SOUPS 799616 WITH SCORE 800491.47
AT ITER 82 NEW BEST:: SOT 1947122 SOS 874904 HAS SOPS 837700 HAS SOUS 820391 HAS SOUPS 799050 WITH SCORE 799924.904
AT ITER 87 NEW BEST:: SOT 1946777 SOS 874214 HAS SOPS 837010 HAS SOUS 819701 HAS SOUPS 798360 WITH SCORE 799234.214
AT ITER 90 NEW BEST:: SOT 1946495 SOS 873650 HAS SOPS 836446 HAS SOUS 819137 HAS SOUPS 797796 WITH SCORE 798669.65
AT ITER 91 NEW BEST:: SOT 1946495 SOS 873194 HAS SOPS 836446 HAS SOUS 818681 HAS SOUPS 797796 WITH SCORE 798669.194
AT ITER 95 NEW BEST:: SOT 1946495 SOS 873028 HAS SOPS 836280 HAS SOUS 818681 HAS SOUPS 797796 WITH SCORE 798669.028
AT ITER 98 NEW BEST:: SOT 1945789 SOS 872534 HAS SOPS 835791 HAS SOUS 817975 HAS SOUPS 797095 WITH SCORE 797967.534
AT ITER 101 NEW BEST:: SOT 1945239 SOS 871324 HAS SOPS 835791 HAS SOUS 815290 HAS SOUPS 794960 WITH SCORE 795831.324
AT ITER 102 NEW BEST:: SOT 1944888 SOS 870498 HAS SOPS 835089 HAS SOUS 814525 HAS SOUPS 794258 WITH SCORE 795128.498
AT ITER 104 NEW BEST:: SOT 1944777 SOS 870405 HAS SOPS 834882 HAS SOUS 814414 HAS SOUPS 794147 WITH SCORE 795017.405
AT ITER 105 NEW BEST:: SOT 1944661 SOS 870236 HAS SOPS 834596 HAS SOUS 814298 HAS SOUPS 794031 WITH SCORE 794901.236
AT ITER 106 NEW BEST:: SOT 1944525 SOS 870211 HAS SOPS 834571 HAS SOUS 814162 HAS SOUPS 793895 WITH SCORE 794765.211
AT ITER 107 NEW BEST:: SOT 1944203 SOS 869567 HAS SOPS 833927 HAS SOUS 813518 HAS SOUPS 793251 WITH SCORE 794120.567
AT ITER 111 NEW BEST:: SOT 1942331 SOS 868343 HAS SOPS 832767 HAS SOUS 811704 HAS SOUPS 791541 WITH SCORE 792409.343
AT ITER 112 NEW BEST:: SOT 1942190 SOS 868288 HAS SOPS 832712 HAS SOUS 811601 HAS SOUPS 791438 WITH SCORE 792306.288
AT ITER 114 NEW BEST:: SOT 1942190 SOS 868547 HAS SOPS 832475 HAS SOUS 811543 HAS SOUPS 791380 WITH SCORE 792248.547
AT ITER 124 NEW BEST:: SOT 1943964 SOS 870791 HAS SOPS 831659 HAS SOUS 810779 HAS SOUPS 790611 WITH SCORE 791481.791
AT ITER 125 NEW BEST:: SOT 1943964 SOS 870313 HAS SOPS 831659 HAS SOUS 810301 HAS SOUPS 790611 WITH SCORE 791481.313
AT ITER 127 NEW BEST:: SOT 1943936 SOS 869977 HAS SOPS 830763 HAS SOUS 809812 HAS SOUPS 789995 WITH SCORE 790864.977
AT ITER 128 NEW BEST:: SOT 1943889 SOS 869883 HAS SOPS 830669 HAS SOUS 809718 HAS SOUPS 789901 WITH SCORE 790770.883
AT ITER 129 NEW BEST:: SOT 1943943 SOS 869665 HAS SOPS 830924 HAS SOUS 808929 HAS SOUPS 789286 WITH SCORE 790155.665
AT ITER 132 NEW BEST:: SOT 1943597 SOS 868973 HAS SOPS 830232 HAS SOUS 808237 HAS SOUPS 788594 WITH SCORE 789462.973
AT ITER 137 NEW BEST:: SOT 1943485 SOS 868878 HAS SOPS 830025 HAS SOUS 808125 HAS SOUPS 788482 WITH SCORE 789350.878
AT ITER 139 NEW BEST:: SOT 1943485 SOS 868716 HAS SOPS 830025 HAS SOUS 808125 HAS SOUPS 788482 WITH SCORE 789350.716
AT ITER 140 NEW BEST:: SOT 1937643 SOS 865190 HAS SOPS 826957 HAS SOUS 803048 HAS SOUPS 783687 WITH SCORE 784552.19
AT ITER 144 NEW BEST:: SOT 1937643 SOS 864969 HAS SOPS 826736 HAS SOUS 803048 HAS SOUPS 783687 WITH SCORE 784551.969
AT ITER 145 NEW BEST:: SOT 1937263 SOS 864589 HAS SOPS 826356 HAS SOUS 802288 HAS SOUPS 782927 WITH SCORE 783791.589
AT ITER 148 NEW BEST:: SOT 1936915 SOS 863893 HAS SOPS 825660 HAS SOUS 801592 HAS SOUPS 782231 WITH SCORE 783094.893
AT ITER 149 NEW BEST:: SOT 1936762 SOS 863805 HAS SOPS 825572 HAS SOUS 801439 HAS SOUPS 782078 WITH SCORE 782941.805
AT ITER 150 NEW BEST:: SOT 1936596 SOS 863473 HAS SOPS 825240 HAS SOUS 801165 HAS SOUPS 781804 WITH SCORE 782667.473
AT ITER 153 NEW BEST:: SOT 1935988 SOS 862457 HAS SOPS 824224 HAS SOUS 800049 HAS SOUPS 780688 WITH SCORE 781550.457
AT ITER 154 NEW BEST:: SOT 1936055 SOS 876904 HAS SOPS 821027 HAS SOUS 797586 HAS SOUPS 777491 WITH SCORE 778367.904
AT ITER 155 NEW BEST:: SOT 1935920 SOS 876348 HAS SOPS 821001 HAS SOUS 794504 HAS SOUPS 774656 WITH SCORE 775532.348
AT ITER 157 NEW BEST:: SOT 1935815 SOS 876435 HAS SOPS 821088 HAS SOUS 794399 HAS SOUPS 774551 WITH SCORE 775427.435
AT ITER 158 NEW BEST:: SOT 1935465 SOS 875735 HAS SOPS 820388 HAS SOUS 793699 HAS SOUPS 773851 WITH SCORE 774726.735
AT ITER 161 NEW BEST:: SOT 1935104 SOS 875013 HAS SOPS 819666 HAS SOUS 792977 HAS SOUPS 773129 WITH SCORE 774004.013
AT ITER 163 NEW BEST:: SOT 1935104 SOS 874753 HAS SOPS 819666 HAS SOUS 792977 HAS SOUPS 773129 WITH SCORE 774003.753
AT ITER 164 NEW BEST:: SOT 1931158 SOS 871671 HAS SOPS 816861 HAS SOUS 789365 HAS SOUPS 769794 WITH SCORE 770665.671
AT ITER 168 NEW BEST:: SOT 1930951 SOS 871257 HAS SOPS 816447 HAS SOUS 788951 HAS SOUPS 769380 WITH SCORE 770251.257
AT ITER 170 NEW BEST:: SOT 1930951 SOS 870771 HAS SOPS 816447 HAS SOUS 788465 HAS SOUPS 769380 WITH SCORE 770250.771
AT ITER 171 NEW BEST:: SOT 1931011 SOS 870803 HAS SOPS 816039 HAS SOUS 788145 HAS SOUPS 769060 WITH SCORE 769930.803
AT ITER 172 NEW BEST:: SOT 1930996 SOS 870773 HAS SOPS 816009 HAS SOUS 788115 HAS SOUPS 769030 WITH SCORE 769900.773
AT ITER 175 NEW BEST:: SOT 1930996 SOS 870400 HAS SOPS 815636 HAS SOUS 788115 HAS SOUPS 769030 WITH SCORE 769900.4
AT ITER 179 NEW BEST:: SOT 1930641 SOS 869690 HAS SOPS 814926 HAS SOUS 787405 HAS SOUPS 768320 WITH SCORE 769189.69
AT ITER 182 NEW BEST:: SOT 1930529 SOS 869591 HAS SOPS 814720 HAS SOUS 787293 HAS SOUPS 768208 WITH SCORE 769077.591
AT ITER 184 NEW BEST:: SOT 1924851 SOS 866717 HAS SOPS 812134 HAS SOUS 782073 HAS SOUPS 763060 WITH SCORE 763926.717
AT ITER 185 NEW BEST:: SOT 1924782 SOS 866656 HAS SOPS 812004 HAS SOUS 782004 HAS SOUPS 762991 WITH SCORE 763857.656
AT ITER 190 NEW BEST:: SOT 1930693 SOS 871323 HAS SOPS 818688 HAS SOUS 780017 HAS SOUPS 761627 WITH SCORE 762498.323
AT ITER 196 NEW BEST:: SOT 1930693 SOS 871014 HAS SOPS 818688 HAS SOUS 779708 HAS SOUPS 761627 WITH SCORE 762498.014
AT ITER 197 NEW BEST:: SOT 1931467 SOS 871287 HAS SOPS 818310 HAS SOUS 780329 HAS SOUPS 761506 WITH SCORE 762377.287
AT ITER 200 NEW BEST:: SOT 1931367 SOS 871317 HAS SOPS 818340 HAS SOUS 780229 HAS SOUPS 761406 WITH SCORE 762277.317
AT ITER 201 NEW BEST:: SOT 1931090 SOS 870727 HAS SOPS 817786 HAS SOUS 779655 HAS SOUPS 760852 WITH SCORE 761722.727
AT ITER 204 NEW BEST:: SOT 1930729 SOS 870005 HAS SOPS 817064 HAS SOUS 778933 HAS SOUPS 760130 WITH SCORE 761000.005
AT ITER 205 NEW BEST:: SOT 1925713 SOS 867069 HAS SOPS 814496 HAS SOUS 773929 HAS SOUPS 755494 WITH SCORE 756361.069
AT ITER 206 NEW BEST:: SOT 1927443 SOS 868465 HAS SOPS 816520 HAS SOUS 772154 HAS SOUPS 753968 WITH SCORE 754836.465
AT ITER 209 NEW BEST:: SOT 1920636 SOS 867710 HAS SOPS 816547 HAS SOUS 766457 HAS SOUPS 748271 WITH SCORE 749138.71
AT ITER 210 NEW BEST:: SOT 1920542 SOS 867012 HAS SOPS 816401 HAS SOUS 763731 HAS SOUPS 745757 WITH SCORE 746624.012
AT ITER 211 NEW BEST:: SOT 1920435 SOS 866798 HAS SOPS 816187 HAS SOUS 763517 HAS SOUPS 745543 WITH SCORE 746409.798
AT ITER 212 NEW BEST:: SOT 1922229 SOS 868881 HAS SOPS 818270 HAS SOUS 762666 HAS SOUPS 744692 WITH SCORE 745560.881
AT ITER 214 NEW BEST:: SOT 1922205 SOS 868833 HAS SOPS 818222 HAS SOUS 762618 HAS SOUPS 744644 WITH SCORE 745512.833
AT ITER 220 NEW BEST:: SOT 1922112 SOS 868829 HAS SOPS 818156 HAS SOUS 762606 HAS SOUPS 744632 WITH SCORE 745500.829
AT ITER 223 NEW BEST:: SOT 1922043 SOS 868691 HAS SOPS 818018 HAS SOUS 762468 HAS SOUPS 744494 WITH SCORE 745362.691
AT ITER 229 NEW BEST:: SOT 1922023 SOS 868651 HAS SOPS 817958 HAS SOUS 762426 HAS SOUPS 744452 WITH SCORE 745320.651
AT ITER 230 NEW BEST:: SOT 1921855 SOS 868315 HAS SOPS 817622 HAS SOUS 762090 HAS SOUPS 744116 WITH SCORE 744984.315
AT ITER 231 NEW BEST:: SOT 1921570 SOS 867745 HAS SOPS 817052 HAS SOUS 761520 HAS SOUPS 743546 WITH SCORE 744413.745
AT ITER 232 NEW BEST:: SOT 1921570 SOS 867839 HAS SOPS 817134 HAS SOUS 761426 HAS SOUPS 743452 WITH SCORE 744319.839
AT ITER 233 NEW BEST:: SOT 1922311 SOS 867681 HAS SOPS 818133 HAS SOUS 760780 HAS SOUPS 743319 WITH SCORE 744186.681
AT ITER 239 NEW BEST:: SOT 1922311 SOS 867429 HAS SOPS 817881 HAS SOUS 760528 HAS SOUPS 743067 WITH SCORE 743934.429
AT ITER 242 NEW BEST:: SOT 1922281 SOS 866779 HAS SOPS 817660 HAS SOUS 760044 HAS SOUPS 742661 WITH SCORE 743527.779
AT ITER 244 NEW BEST:: SOT 1922191 SOS 866817 HAS SOPS 817799 HAS SOUS 759930 HAS SOUPS 742547 WITH SCORE 743413.817
AT ITER 245 NEW BEST:: SOT 1922163 SOS 867819 HAS SOPS 818895 HAS SOUS 759874 HAS SOUPS 742491 WITH SCORE 743358.819
AT ITER 246 NEW BEST:: SOT 1922378 SOS 868082 HAS SOPS 819213 HAS SOUS 758083 HAS SOUPS 740755 WITH SCORE 741623.082
AT ITER 248 NEW BEST:: SOT 1918889 SOS 865738 HAS SOPS 816852 HAS SOUS 754725 HAS SOUPS 737397 WITH SCORE 738262.738
AT ITER 250 NEW BEST:: SOT 1918860 SOS 866560 HAS SOPS 817739 HAS SOUS 754682 HAS SOUPS 737354 WITH SCORE 738220.56
AT ITER 253 NEW BEST:: SOT 1918860 SOS 866455 HAS SOPS 817739 HAS SOUS 754577 HAS SOUPS 737354 WITH SCORE 738220.455
AT ITER 255 NEW BEST:: SOT 1918582 SOS 866089 HAS SOPS 817183 HAS SOUS 754358 HAS SOUPS 737135 WITH SCORE 738001.089
AT ITER 257 NEW BEST:: SOT 1919497 SOS 866846 HAS SOPS 815485 HAS SOUS 752937 HAS SOUPS 735714 WITH SCORE 736580.846
AT ITER 258 NEW BEST:: SOT 1919374 SOS 866061 HAS SOPS 815307 HAS SOUS 749176 HAS SOUPS 732245 WITH SCORE 733111.061
AT ITER 259 NEW BEST:: SOT 1914869 SOS 864485 HAS SOPS 810595 HAS SOUS 748792 HAS SOUPS 731507 WITH SCORE 732371.485
AT ITER 260 NEW BEST:: SOT 1914558 SOS 863293 HAS SOPS 809973 HAS SOUS 748170 HAS SOUPS 730885 WITH SCORE 731748.293
AT ITER 261 NEW BEST:: SOT 1914422 SOS 863149 HAS SOPS 809837 HAS SOUS 748034 HAS SOUPS 730749 WITH SCORE 731612.149
AT ITER 262 NEW BEST:: SOT 1914237 SOS 863229 HAS SOPS 809917 HAS SOUS 747863 HAS SOUPS 730578 WITH SCORE 731441.229
AT ITER 265 NEW BEST:: SOT 1914237 SOS 863155 HAS SOPS 809843 HAS SOUS 747863 HAS SOUPS 730578 WITH SCORE 731441.155
AT ITER 268 NEW BEST:: SOT 1914137 SOS 862728 HAS SOPS 809738 HAS SOUS 746809 HAS SOUPS 729624 WITH SCORE 730486.728
AT ITER 269 NEW BEST:: SOT 1910470 SOS 860130 HAS SOPS 807481 HAS SOUS 742993 HAS SOUPS 726093 WITH SCORE 726953.13
AT ITER 274 NEW BEST:: SOT 1910422 SOS 859191 HAS SOPS 806511 HAS SOUS 742735 HAS SOUPS 725835 WITH SCORE 726694.191
AT ITER 275 NEW BEST:: SOT 1910422 SOS 859074 HAS SOPS 806511 HAS SOUS 742735 HAS SOUPS 725835 WITH SCORE 726694.074
AT ITER 276 NEW BEST:: SOT 1910828 SOS 859161 HAS SOPS 807574 HAS SOUS 741123 HAS SOUPS 724584 WITH SCORE 725443.161
AT ITER 277 NEW BEST:: SOT 1910743 SOS 859090 HAS SOPS 807414 HAS SOUS 740889 HAS SOUPS 724350 WITH SCORE 725209.09
AT ITER 278 NEW BEST:: SOT 1910532 SOS 858668 HAS SOPS 806992 HAS SOUS 740467 HAS SOUPS 723928 WITH SCORE 724786.668
AT ITER 280 NEW BEST:: SOT 1910219 SOS 857556 HAS SOPS 806366 HAS SOUS 739841 HAS SOUPS 723302 WITH SCORE 724159.556
AT ITER 282 NEW BEST:: SOT 1909910 SOS 856938 HAS SOPS 805748 HAS SOUS 739223 HAS SOUPS 722684 WITH SCORE 723540.938
AT ITER 290 NEW BEST:: SOT 1911716 SOS 858033 HAS SOPS 808003 HAS SOUS 735561 HAS SOUPS 719312 WITH SCORE 720170.033
AT ITER 293 NEW BEST:: SOT 1911523 SOS 857454 HAS SOPS 807424 HAS SOUS 735175 HAS SOUPS 718926 WITH SCORE 719783.454
AT ITER 296 NEW BEST:: SOT 1912784 SOS 858026 HAS SOPS 804756 HAS SOUS 733548 HAS SOUPS 716618 WITH SCORE 717476.026
AT ITER 298 NEW BEST:: SOT 1912504 SOS 857916 HAS SOPS 804730 HAS SOUS 733213 HAS SOUPS 716283 WITH SCORE 717140.916
AT ITER 300 NEW BEST:: SOT 1912469 SOS 857846 HAS SOPS 804660 HAS SOUS 733143 HAS SOUPS 716213 WITH SCORE 717070.846
AT ITER 302 NEW BEST:: SOT 1912439 SOS 857786 HAS SOPS 804600 HAS SOUS 733083 HAS SOUPS 716153 WITH SCORE 717010.786
AT ITER 304 NEW BEST:: SOT 1912226 SOS 856926 HAS SOPS 804174 HAS SOUS 732657 HAS SOUPS 715727 WITH SCORE 716583.926
AT ITER 309 NEW BEST:: SOT 1912061 SOS 856393 HAS SOPS 803641 HAS SOUS 732124 HAS SOUPS 715194 WITH SCORE 716050.393
AT ITER 310 NEW BEST:: SOT 1911932 SOS 856276 HAS SOPS 803583 HAS SOUS 731935 HAS SOUPS 715005 WITH SCORE 715861.276
AT ITER 311 NEW BEST:: SOT 1911932 SOS 856104 HAS SOPS 803583 HAS SOUS 731935 HAS SOUPS 715005 WITH SCORE 715861.104
AT ITER 312 NEW BEST:: SOT 1908114 SOS 855182 HAS SOPS 803873 HAS SOUS 729796 HAS SOUPS 713430 WITH SCORE 714285.182
AT ITER 317 NEW BEST:: SOT 1904388 SOS 852437 HAS SOPS 801326 HAS SOUS 726267 HAS SOUPS 710042 WITH SCORE 710894.437
AT ITER 318 NEW BEST:: SOT 1904285 SOS 852488 HAS SOPS 801272 HAS SOUS 726193 HAS SOUPS 709968 WITH SCORE 710820.488
AT ITER 323 NEW BEST:: SOT 1904261 SOS 852440 HAS SOPS 801224 HAS SOUS 726145 HAS SOUPS 709920 WITH SCORE 710772.44
AT ITER 324 NEW BEST:: SOT 1904220 SOS 852358 HAS SOPS 801142 HAS SOUS 726063 HAS SOUPS 709838 WITH SCORE 710690.358
AT ITER 327 NEW BEST:: SOT 1903916 SOS 852299 HAS SOPS 801168 HAS SOUS 725694 HAS SOUPS 709469 WITH SCORE 710321.299
AT ITER 330 NEW BEST:: SOT 1903760 SOS 851987 HAS SOPS 800856 HAS SOUS 725382 HAS SOUPS 709157 WITH SCORE 710008.987
AT ITER 331 NEW BEST:: SOT 1901157 SOS 850362 HAS SOPS 799260 HAS SOUS 722913 HAS SOUPS 706851 WITH SCORE 707701.362
AT ITER 335 NEW BEST:: SOT 1901157 SOS 850138 HAS SOPS 799036 HAS SOUS 722708 HAS SOUPS 706646 WITH SCORE 707496.138
AT ITER 339 NEW BEST:: SOT 1901046 SOS 850059 HAS SOPS 798841 HAS SOUS 722677 HAS SOUPS 706615 WITH SCORE 707465.059
AT ITER 341 NEW BEST:: SOT 1900810 SOS 848629 HAS SOPS 796407 HAS SOUS 721794 HAS SOUPS 705139 WITH SCORE 705987.629
AT ITER 342 NEW BEST:: SOT 1900464 SOS 847937 HAS SOPS 795715 HAS SOUS 721102 HAS SOUPS 704447 WITH SCORE 705294.937
AT ITER 344 NEW BEST:: SOT 1900187 SOS 847383 HAS SOPS 795161 HAS SOUS 720548 HAS SOUPS 703893 WITH SCORE 704740.383
AT ITER 345 NEW BEST:: SOT 1900093 SOS 847195 HAS SOPS 794973 HAS SOUS 720360 HAS SOUPS 703705 WITH SCORE 704552.195
AT ITER 350 NEW BEST:: SOT 1900063 SOS 846571 HAS SOPS 793618 HAS SOUS 719673 HAS SOUPS 702914 WITH SCORE 703760.571
AT ITER 353 NEW BEST:: SOT 1900063 SOS 846446 HAS SOPS 793493 HAS SOUS 719673 HAS SOUPS 702914 WITH SCORE 703760.446
AT ITER 354 NEW BEST:: SOT 1900063 SOS 846226 HAS SOPS 793273 HAS SOUS 719673 HAS SOUPS 702914 WITH SCORE 703760.226
AT ITER 355 NEW BEST:: SOT 1894892 SOS 841606 HAS SOPS 787887 HAS SOUS 715348 HAS SOUPS 698326 WITH SCORE 699167.606
AT ITER 357 NEW BEST:: SOT 1894710 SOS 841242 HAS SOPS 787523 HAS SOUS 714984 HAS SOUPS 697962 WITH SCORE 698803.242
AT ITER 365 NEW BEST:: SOT 1894710 SOS 840970 HAS SOPS 785891 HAS SOUS 713624 HAS SOUPS 696602 WITH SCORE 697442.97
AT ITER 367 NEW BEST:: SOT 1894440 SOS 840672 HAS SOPS 785525 HAS SOUS 713258 HAS SOUPS 696236 WITH SCORE 697076.672
AT ITER 368 NEW BEST:: SOT 1894278 SOS 840348 HAS SOPS 785201 HAS SOUS 712934 HAS SOUPS 695912 WITH SCORE 696752.348
AT ITER 370 NEW BEST:: SOT 1894278 SOS 840312 HAS SOPS 785201 HAS SOUS 712898 HAS SOUPS 695876 WITH SCORE 696716.312
AT ITER 371 NEW BEST:: SOT 1894011 SOS 839778 HAS SOPS 784667 HAS SOUS 712364 HAS SOUPS 695342 WITH SCORE 696181.778
AT ITER 372 NEW BEST:: SOT 1894007 SOS 839770 HAS SOPS 784659 HAS SOUS 712356 HAS SOUPS 695334 WITH SCORE 696173.77
AT ITER 377 NEW BEST:: SOT 1892164 SOS 840169 HAS SOPS 786386 HAS SOUS 711364 HAS SOUPS 695246 WITH SCORE 696086.169
AT ITER 378 NEW BEST:: SOT 1892133 SOS 839402 HAS SOPS 785973 HAS SOUS 710824 HAS SOUPS 694769 WITH SCORE 695608.402
AT ITER 380 NEW BEST:: SOT 1891443 SOS 838521 HAS SOPS 785092 HAS SOUS 709586 HAS SOUPS 693531 WITH SCORE 694369.521
AT ITER 382 NEW BEST:: SOT 1889938 SOS 837369 HAS SOPS 783061 HAS SOUS 707112 HAS SOUPS 691213 WITH SCORE 692050.369
AT ITER 383 NEW BEST:: SOT 1890700 SOS 835489 HAS SOPS 784148 HAS SOUS 704731 HAS SOUPS 689364 WITH SCORE 690199.489
AT ITER 384 NEW BEST:: SOT 1890552 SOS 835341 HAS SOPS 783744 HAS SOUS 704484 HAS SOUPS 689117 WITH SCORE 689952.341
AT ITER 387 NEW BEST:: SOT 1890552 SOS 835309 HAS SOPS 783744 HAS SOUS 704326 HAS SOUPS 688959 WITH SCORE 689794.309
AT ITER 393 NEW BEST:: SOT 1890202 SOS 834911 HAS SOPS 783346 HAS SOUS 703626 HAS SOUPS 688259 WITH SCORE 689093.911
AT ITER 399 NEW BEST:: SOT 1890133 SOS 834842 HAS SOPS 783277 HAS SOUS 703553 HAS SOUPS 688186 WITH SCORE 689020.842
AT ITER 400 NEW BEST:: SOT 1887450 SOS 832944 HAS SOPS 781656 HAS SOUS 700881 HAS SOUPS 685733 WITH SCORE 686565.944
AT ITER 406 NEW BEST:: SOT 1887299 SOS 832359 HAS SOPS 781071 HAS SOUS 700579 HAS SOUPS 685431 WITH SCORE 686263.359
AT ITER 407 NEW BEST:: SOT 1887274 SOS 832309 HAS SOPS 781021 HAS SOUS 700529 HAS SOUPS 685381 WITH SCORE 686213.309
AT ITER 408 NEW BEST:: SOT 1887020 SOS 832051 HAS SOPS 780763 HAS SOUS 700025 HAS SOUPS 684877 WITH SCORE 685709.051
AT ITER 411 NEW BEST:: SOT 1886661 SOS 831029 HAS SOPS 780045 HAS SOUS 699307 HAS SOUPS 684159 WITH SCORE 684990.029
AT ITER 412 NEW BEST:: SOT 1886331 SOS 830369 HAS SOPS 779385 HAS SOUS 698647 HAS SOUPS 683499 WITH SCORE 684329.369
AT ITER 415 NEW BEST:: SOT 1886393 SOS 830604 HAS SOPS 779620 HAS SOUS 698512 HAS SOUPS 683364 WITH SCORE 684194.604
AT ITER 422 NEW BEST:: SOT 1885509 SOS 830023 HAS SOPS 779101 HAS SOUS 697763 HAS SOUPS 682615 WITH SCORE 683445.023
AT ITER 423 NEW BEST:: SOT 1883397 SOS 830690 HAS SOPS 780433 HAS SOUS 697344 HAS SOUPS 682196 WITH SCORE 683026.69
AT ITER 425 NEW BEST:: SOT 1887138 SOS 832878 HAS SOPS 784920 HAS SOUS 696179 HAS SOUPS 681670 WITH SCORE 682502.878
AT ITER 426 NEW BEST:: SOT 1887138 SOS 832874 HAS SOPS 784920 HAS SOUS 696175 HAS SOUPS 681670 WITH SCORE 682502.874
AT ITER 427 NEW BEST:: SOT 1887320 SOS 831976 HAS SOPS 785258 HAS SOUS 692955 HAS SOUPS 678816 WITH SCORE 679647.976
AT ITER 429 NEW BEST:: SOT 1887109 SOS 831765 HAS SOPS 785026 HAS SOUS 692723 HAS SOUPS 678584 WITH SCORE 679415.765
AT ITER 433 NEW BEST:: SOT 1886857 SOS 831261 HAS SOPS 784522 HAS SOUS 692219 HAS SOUPS 678080 WITH SCORE 678911.261
AT ITER 438 NEW BEST:: SOT 1887147 SOS 830881 HAS SOPS 783182 HAS SOUS 691839 HAS SOUPS 677700 WITH SCORE 678530.881
AT ITER 454 NEW BEST:: SOT 1886899 SOS 830661 HAS SOPS 783069 HAS SOUS 691730 HAS SOUPS 677591 WITH SCORE 678421.661
AT ITER 461 NEW BEST:: SOT 1886765 SOS 830393 HAS SOPS 782801 HAS SOUS 691462 HAS SOUPS 677323 WITH SCORE 678153.393
AT ITER 462 NEW BEST:: SOT 1886763 SOS 830389 HAS SOPS 782797 HAS SOUS 691458 HAS SOUPS 677319 WITH SCORE 678149.389
AT ITER 465 NEW BEST:: SOT 1886422 SOS 829707 HAS SOPS 782115 HAS SOUS 690776 HAS SOUPS 676637 WITH SCORE 677466.707
AT ITER 472 NEW BEST:: SOT 1886255 SOS 829607 HAS SOPS 781781 HAS SOUS 690442 HAS SOUPS 676303 WITH SCORE 677132.607
AT ITER 473 NEW BEST:: SOT 1886045 SOS 829217 HAS SOPS 781391 HAS SOUS 690229 HAS SOUPS 676090 WITH SCORE 676919.217
AT ITER 479 NEW BEST:: SOT 1886045 SOS 829102 HAS SOPS 781276 HAS SOUS 690229 HAS SOUPS 676090 WITH SCORE 676919.102
AT ITER 481 NEW BEST:: SOT 1885882 SOS 828966 HAS SOPS 780977 HAS SOUS 690066 HAS SOUPS 675927 WITH SCORE 676755.966
AT ITER 487 NEW BEST:: SOT 1885555 SOS 829246 HAS SOPS 780687 HAS SOUS 689866 HAS SOUPS 675695 WITH SCORE 676524.246
AT ITER 489 NEW BEST:: SOT 1885925 SOS 829042 HAS SOPS 781057 HAS SOUS 685974 HAS SOUPS 672173 WITH SCORE 673002.042
AT ITER 490 NEW BEST:: SOT 1885865 SOS 828564 HAS SOPS 780579 HAS SOUS 685854 HAS SOUPS 672053 WITH SCORE 672881.564
AT ITER 491 NEW BEST:: SOT 1885865 SOS 828243 HAS SOPS 780258 HAS SOUS 685854 HAS SOUPS 672053 WITH SCORE 672881.243
AT ITER 493 NEW BEST:: SOT 1882832 SOS 826000 HAS SOPS 778301 HAS SOUS 683064 HAS SOUPS 669468 WITH SCORE 670294.0
AT ITER 502 NEW BEST:: SOT 1882789 SOS 825798 HAS SOPS 778215 HAS SOUS 682978 HAS SOUPS 669382 WITH SCORE 670207.798
AT ITER 504 NEW BEST:: SOT 1882806 SOS 825306 HAS SOPS 776891 HAS SOUS 682736 HAS SOUPS 668567 WITH SCORE 669392.306
AT ITER 505 NEW BEST:: SOT 1882559 SOS 825089 HAS SOPS 776674 HAS SOUS 682242 HAS SOUPS 668073 WITH SCORE 668898.089
AT ITER 506 NEW BEST:: SOT 1882588 SOS 825529 HAS SOPS 776967 HAS SOUS 681956 HAS SOUPS 667787 WITH SCORE 668612.529
AT ITER 512 NEW BEST:: SOT 1882404 SOS 825345 HAS SOPS 776785 HAS SOUS 681774 HAS SOUPS 667605 WITH SCORE 668430.345
AT ITER 516 NEW BEST:: SOT 1882690 SOS 825277 HAS SOPS 775437 HAS SOUS 681208 HAS SOUPS 666577 WITH SCORE 667402.277
AT ITER 517 NEW BEST:: SOT 1882671 SOS 825097 HAS SOPS 775257 HAS SOUS 681170 HAS SOUPS 666539 WITH SCORE 667364.097
AT ITER 521 NEW BEST:: SOT 1882322 SOS 824399 HAS SOPS 774559 HAS SOUS 680472 HAS SOUPS 665841 WITH SCORE 666665.399
AT ITER 525 NEW BEST:: SOT 1882322 SOS 823553 HAS SOPS 773575 HAS SOUS 680472 HAS SOUPS 665841 WITH SCORE 666664.553
AT ITER 528 NEW BEST:: SOT 1882104 SOS 823117 HAS SOPS 773139 HAS SOUS 680036 HAS SOUPS 665405 WITH SCORE 666228.117
AT ITER 533 NEW BEST:: SOT 1882002 SOS 822913 HAS SOPS 772935 HAS SOUS 679832 HAS SOUPS 665201 WITH SCORE 666023.913
AT ITER 537 NEW BEST:: SOT 1881883 SOS 822675 HAS SOPS 772697 HAS SOUS 679594 HAS SOUPS 664963 WITH SCORE 665785.675
AT ITER 538 NEW BEST:: SOT 1881682 SOS 822273 HAS SOPS 772295 HAS SOUS 679192 HAS SOUPS 664561 WITH SCORE 665383.273
AT ITER 549 NEW BEST:: SOT 1882391 SOS 821162 HAS SOPS 772439 HAS SOUS 675582 HAS SOUPS 661373 WITH SCORE 662194.162
AT ITER 550 NEW BEST:: SOT 1882139 SOS 820280 HAS SOPS 771557 HAS SOUS 675078 HAS SOUPS 660869 WITH SCORE 661689.28
AT ITER 553 NEW BEST:: SOT 1882139 SOS 819999 HAS SOPS 771276 HAS SOUS 675078 HAS SOUPS 660869 WITH SCORE 661688.999
AT ITER 557 NEW BEST:: SOT 1881932 SOS 819585 HAS SOPS 770862 HAS SOUS 674664 HAS SOUPS 660455 WITH SCORE 661274.585
AT ITER 559 NEW BEST:: SOT 1881627 SOS 819585 HAS SOPS 770984 HAS SOUS 674542 HAS SOUPS 660333 WITH SCORE 661152.585
AT ITER 562 NEW BEST:: SOT 1881428 SOS 819438 HAS SOPS 770837 HAS SOUS 674450 HAS SOUPS 660241 WITH SCORE 661060.438
AT ITER 574 NEW BEST:: SOT 1880140 SOS 819023 HAS SOPS 771127 HAS SOUS 674272 HAS SOUPS 660063 WITH SCORE 660882.023
AT ITER 576 NEW BEST:: SOT 1879815 SOS 817117 HAS SOPS 769221 HAS SOUS 672928 HAS SOUPS 658719 WITH SCORE 659536.117
AT ITER 578 NEW BEST:: SOT 1880074 SOS 816835 HAS SOPS 766578 HAS SOUS 673219 HAS SOUPS 657113 WITH SCORE 657929.835
AT ITER 582 NEW BEST:: SOT 1879979 SOS 816645 HAS SOPS 766388 HAS SOUS 673141 HAS SOUPS 657035 WITH SCORE 657851.645
AT ITER 587 NEW BEST:: SOT 1879867 SOS 816047 HAS SOPS 765790 HAS SOUS 672917 HAS SOUPS 656811 WITH SCORE 657627.047
AT ITER 589 NEW BEST:: SOT 1879683 SOS 815927 HAS SOPS 765539 HAS SOUS 672808 HAS SOUPS 656702 WITH SCORE 657517.927
AT ITER 590 NEW BEST:: SOT 1879683 SOS 815526 HAS SOPS 765138 HAS SOUS 672808 HAS SOUPS 656702 WITH SCORE 657517.526
AT ITER 591 NEW BEST:: SOT 1879683 SOS 814275 HAS SOPS 763670 HAS SOUS 672608 HAS SOUPS 656502 WITH SCORE 657316.275
AT ITER 594 NEW BEST:: SOT 1879338 SOS 813585 HAS SOPS 762980 HAS SOUS 671918 HAS SOUPS 655812 WITH SCORE 656625.585
AT ITER 601 NEW BEST:: SOT 1879338 SOS 813419 HAS SOPS 762814 HAS SOUS 671918 HAS SOUPS 655812 WITH SCORE 656625.419
AT ITER 602 NEW BEST:: SOT 1879188 SOS 813119 HAS SOPS 762514 HAS SOUS 671618 HAS SOUPS 655512 WITH SCORE 656325.119
AT ITER 606 NEW BEST:: SOT 1879188 SOS 813093 HAS SOPS 762488 HAS SOUS 671618 HAS SOUPS 655512 WITH SCORE 656325.093
AT ITER 607 NEW BEST:: SOT 1878555 SOS 812023 HAS SOPS 761418 HAS SOUS 670442 HAS SOUPS 654336 WITH SCORE 655148.023
AT ITER 608 NEW BEST:: SOT 1878236 SOS 811385 HAS SOPS 760780 HAS SOUS 669804 HAS SOUPS 653698 WITH SCORE 654509.385
AT ITER 609 NEW BEST:: SOT 1877145 SOS 811692 HAS SOPS 761602 HAS SOUS 669663 HAS SOUPS 653557 WITH SCORE 654368.692
AT ITER 613 NEW BEST:: SOT 1877145 SOS 811170 HAS SOPS 761080 HAS SOUS 668944 HAS SOUPS 652838 WITH SCORE 653649.17
AT ITER 614 NEW BEST:: SOT 1877041 SOS 809706 HAS SOPS 758988 HAS SOUS 668108 HAS SOUPS 652002 WITH SCORE 652811.706
AT ITER 615 NEW BEST:: SOT 1876770 SOS 809164 HAS SOPS 758446 HAS SOUS 667566 HAS SOUPS 651460 WITH SCORE 652269.164
AT ITER 621 NEW BEST:: SOT 1876678 SOS 808980 HAS SOPS 758262 HAS SOUS 667382 HAS SOUPS 651276 WITH SCORE 652084.98
AT ITER 623 NEW BEST:: SOT 1876437 SOS 808498 HAS SOPS 757780 HAS SOUS 666900 HAS SOUPS 650794 WITH SCORE 651602.498
AT ITER 624 NEW BEST:: SOT 1876116 SOS 807856 HAS SOPS 757138 HAS SOUS 666258 HAS SOUPS 650152 WITH SCORE 650959.856
AT ITER 625 NEW BEST:: SOT 1875825 SOS 807306 HAS SOPS 756588 HAS SOUS 665676 HAS SOUPS 649570 WITH SCORE 650377.306
AT ITER 631 NEW BEST:: SOT 1875813 SOS 807294 HAS SOPS 756576 HAS SOUS 665664 HAS SOUPS 649558 WITH SCORE 650365.294
AT ITER 636 NEW BEST:: SOT 1875664 SOS 807115 HAS SOPS 756337 HAS SOUS 665425 HAS SOUPS 649319 WITH SCORE 650126.115
AT ITER 638 NEW BEST:: SOT 1875659 SOS 807105 HAS SOPS 756327 HAS SOUS 665415 HAS SOUPS 649309 WITH SCORE 650116.105
AT ITER 640 NEW BEST:: SOT 1875732 SOS 806960 HAS SOPS 756182 HAS SOUS 665270 HAS SOUPS 649164 WITH SCORE 649970.96
AT ITER 644 NEW BEST:: SOT 1875683 SOS 806852 HAS SOPS 756022 HAS SOUS 665220 HAS SOUPS 649114 WITH SCORE 649920.852
AT ITER 646 NEW BEST:: SOT 1875683 SOS 805650 HAS SOPS 754930 HAS SOUS 664470 HAS SOUPS 648364 WITH SCORE 649169.65
AT ITER 647 NEW BEST:: SOT 1875635 SOS 805666 HAS SOPS 754946 HAS SOUS 664454 HAS SOUPS 648348 WITH SCORE 649153.666
AT ITER 651 NEW BEST:: SOT 1875561 SOS 805444 HAS SOPS 754724 HAS SOUS 664306 HAS SOUPS 648200 WITH SCORE 649005.444
AT ITER 658 NEW BEST:: SOT 1875561 SOS 805420 HAS SOPS 754700 HAS SOUS 664306 HAS SOUPS 648200 WITH SCORE 649005.42
AT ITER 660 NEW BEST:: SOT 1875513 SOS 805230 HAS SOPS 754510 HAS SOUS 664210 HAS SOUPS 648104 WITH SCORE 648909.23
AT ITER 664 NEW BEST:: SOT 1875278 SOS 804760 HAS SOPS 754040 HAS SOUS 663740 HAS SOUPS 647634 WITH SCORE 648438.76
AT ITER 665 NEW BEST:: SOT 1875168 SOS 804540 HAS SOPS 753820 HAS SOUS 663520 HAS SOUPS 647414 WITH SCORE 648218.54
AT ITER 667 NEW BEST:: SOT 1875168 SOS 804482 HAS SOPS 753820 HAS SOUS 663520 HAS SOUPS 647414 WITH SCORE 648218.482
AT ITER 668 NEW BEST:: SOT 1875173 SOS 804459 HAS SOPS 753797 HAS SOUS 663497 HAS SOUPS 647391 WITH SCORE 648195.459
AT ITER 670 NEW BEST:: SOT 1874900 SOS 803913 HAS SOPS 753251 HAS SOUS 663334 HAS SOUPS 647228 WITH SCORE 648031.913
AT ITER 672 NEW BEST:: SOT 1874553 SOS 803442 HAS SOPS 752780 HAS SOUS 662640 HAS SOUPS 646534 WITH SCORE 647337.442
AT ITER 674 NEW BEST:: SOT 1874273 SOS 802882 HAS SOPS 752220 HAS SOUS 662080 HAS SOUPS 645974 WITH SCORE 646776.882
AT ITER 678 NEW BEST:: SOT 1871855 SOS 804364 HAS SOPS 754416 HAS SOUS 661963 HAS SOUPS 645857 WITH SCORE 646661.364
AT ITER 679 NEW BEST:: SOT 1872002 SOS 804278 HAS SOPS 754330 HAS SOUS 661811 HAS SOUPS 645705 WITH SCORE 646509.278
AT ITER 680 NEW BEST:: SOT 1871964 SOS 804202 HAS SOPS 754254 HAS SOUS 661735 HAS SOUPS 645629 WITH SCORE 646433.202
AT ITER 683 NEW BEST:: SOT 1871661 SOS 803596 HAS SOPS 753648 HAS SOUS 661129 HAS SOUPS 645023 WITH SCORE 645826.596
AT ITER 685 NEW BEST:: SOT 1871593 SOS 803460 HAS SOPS 753512 HAS SOUS 660993 HAS SOUPS 644887 WITH SCORE 645690.46
AT ITER 688 NEW BEST:: SOT 1871284 SOS 802970 HAS SOPS 753256 HAS SOUS 660918 HAS SOUPS 644812 WITH SCORE 645614.97
AT ITER 689 NEW BEST:: SOT 1870879 SOS 802452 HAS SOPS 752738 HAS SOUS 660193 HAS SOUPS 644087 WITH SCORE 644889.452
AT ITER 691 NEW BEST:: SOT 1870813 SOS 801979 HAS SOPS 752606 HAS SOUS 659751 HAS SOUPS 643955 WITH SCORE 644756.979
AT ITER 693 NEW BEST:: SOT 1870813 SOS 801979 HAS SOPS 752606 HAS SOUS 659616 HAS SOUPS 643820 WITH SCORE 644621.979
AT ITER 704 NEW BEST:: SOT 1870512 SOS 801377 HAS SOPS 752004 HAS SOUS 659014 HAS SOUPS 643218 WITH SCORE 644019.377
AT ITER 705 NEW BEST:: SOT 1870412 SOS 801226 HAS SOPS 751904 HAS SOUS 658914 HAS SOUPS 643118 WITH SCORE 643919.226
AT ITER 707 NEW BEST:: SOT 1870291 SOS 800984 HAS SOPS 751662 HAS SOUS 658672 HAS SOUPS 642876 WITH SCORE 643676.984
AT ITER 708 NEW BEST:: SOT 1870216 SOS 800834 HAS SOPS 751512 HAS SOUS 658522 HAS SOUPS 642726 WITH SCORE 643526.834
AT ITER 710 NEW BEST:: SOT 1872072 SOS 800576 HAS SOPS 752838 HAS SOUS 654998 HAS SOUPS 639695 WITH SCORE 640495.576
AT ITER 716 NEW BEST:: SOT 1871986 SOS 800565 HAS SOPS 752827 HAS SOUS 654912 HAS SOUPS 639609 WITH SCORE 640409.565
AT ITER 717 NEW BEST:: SOT 1871700 SOS 799884 HAS SOPS 752255 HAS SOUS 654340 HAS SOUPS 639037 WITH SCORE 639836.884
AT ITER 719 NEW BEST:: SOT 1871546 SOS 799715 HAS SOPS 752086 HAS SOUS 653217 HAS SOUPS 637914 WITH SCORE 638713.715
AT ITER 726 NEW BEST:: SOT 1871546 SOS 799347 HAS SOPS 752086 HAS SOUS 653217 HAS SOUPS 637914 WITH SCORE 638713.347
AT ITER 728 NEW BEST:: SOT 1871370 SOS 798995 HAS SOPS 751734 HAS SOUS 652865 HAS SOUPS 637562 WITH SCORE 638360.995
AT ITER 734 NEW BEST:: SOT 1871100 SOS 798725 HAS SOPS 751455 HAS SOUS 652595 HAS SOUPS 637283 WITH SCORE 638081.725
AT ITER 735 NEW BEST:: SOT 1870950 SOS 798077 HAS SOPS 751155 HAS SOUS 652036 HAS SOUPS 636983 WITH SCORE 637781.077
AT ITER 737 NEW BEST:: SOT 1870944 SOS 798618 HAS SOPS 751143 HAS SOUS 652024 HAS SOUPS 636971 WITH SCORE 637769.618
AT ITER 744 NEW BEST:: SOT 1870920 SOS 798570 HAS SOPS 751095 HAS SOUS 651976 HAS SOUPS 636923 WITH SCORE 637721.57
AT ITER 758 NEW BEST:: SOT 1870821 SOS 798372 HAS SOPS 750897 HAS SOUS 651778 HAS SOUPS 636725 WITH SCORE 637523.372
AT ITER 760 NEW BEST:: SOT 1870757 SOS 798201 HAS SOPS 750660 HAS SOUS 651714 HAS SOUPS 636661 WITH SCORE 637459.201
AT ITER 763 NEW BEST:: SOT 1870757 SOS 797785 HAS SOPS 750660 HAS SOUS 651714 HAS SOUPS 636661 WITH SCORE 637458.785
AT ITER 765 NEW BEST:: SOT 1870333 SOS 797441 HAS SOPS 750316 HAS SOUS 650977 HAS SOUPS 635924 WITH SCORE 636721.441
AT ITER 771 NEW BEST:: SOT 1869468 SOS 797549 HAS SOPS 750446 HAS SOUS 650342 HAS SOUPS 635289 WITH SCORE 636086.549
AT ITER 784 NEW BEST:: SOT 1869465 SOS 797211 HAS SOPS 750108 HAS SOUS 650026 HAS SOUPS 634973 WITH SCORE 635770.211
AT ITER 791 NEW BEST:: SOT 1869243 SOS 796813 HAS SOPS 749849 HAS SOUS 649719 HAS SOUPS 634714 WITH SCORE 635510.813
AT ITER 797 NEW BEST:: SOT 1869145 SOS 797116 HAS SOPS 750152 HAS SOUS 649613 HAS SOUPS 634608 WITH SCORE 635405.116
AT ITER 801 NEW BEST:: SOT 1867809 SOS 795043 HAS SOPS 748079 HAS SOUS 647729 HAS SOUPS 632724 WITH SCORE 633519.043
AT ITER 805 NEW BEST:: SOT 1867847 SOS 795183 HAS SOPS 748255 HAS SOUS 647696 HAS SOUPS 632691 WITH SCORE 633486.183
AT ITER 809 NEW BEST:: SOT 1867847 SOS 794914 HAS SOPS 748255 HAS SOUS 647459 HAS SOUPS 632691 WITH SCORE 633485.914
AT ITER 826 NEW BEST:: SOT 1867821 SOS 794888 HAS SOPS 748229 HAS SOUS 647407 HAS SOUPS 632639 WITH SCORE 633433.888
AT ITER 835 NEW BEST:: SOT 1867821 SOS 794647 HAS SOPS 747988 HAS SOUS 647407 HAS SOUPS 632639 WITH SCORE 633433.647
AT ITER 841 NEW BEST:: SOT 1867622 SOS 794602 HAS SOPS 747943 HAS SOUS 647198 HAS SOUPS 632430 WITH SCORE 633224.602
AT ITER 845 NEW BEST:: SOT 1867592 SOS 794542 HAS SOPS 747883 HAS SOUS 647138 HAS SOUPS 632370 WITH SCORE 633164.542
AT ITER 852 NEW BEST:: SOT 1867514 SOS 794386 HAS SOPS 747727 HAS SOUS 646982 HAS SOUPS 632214 WITH SCORE 633008.386
AT ITER 858 NEW BEST:: SOT 1868082 SOS 794104 HAS SOPS 747948 HAS SOUS 646277 HAS SOUPS 631676 WITH SCORE 632470.104
AT ITER 859 NEW BEST:: SOT 1868088 SOS 791455 HAS SOPS 746802 HAS SOUS 643068 HAS SOUPS 628750 WITH SCORE 629541.455
AT ITER 864 NEW BEST:: SOT 1868018 SOS 791315 HAS SOPS 746662 HAS SOUS 642928 HAS SOUPS 628610 WITH SCORE 629401.315
AT ITER 868 NEW BEST:: SOT 1869813 SOS 791582 HAS SOPS 748041 HAS SOUS 641149 HAS SOUPS 627257 WITH SCORE 628048.582
AT ITER 869 NEW BEST:: SOT 1869813 SOS 791360 HAS SOPS 747429 HAS SOUS 640759 HAS SOUPS 626867 WITH SCORE 627658.36
AT ITER 870 NEW BEST:: SOT 1869724 SOS 791182 HAS SOPS 747251 HAS SOUS 640700 HAS SOUPS 626808 WITH SCORE 627599.182
AT ITER 885 NEW BEST:: SOT 1869481 SOS 791161 HAS SOPS 746765 HAS SOUS 640214 HAS SOUPS 626322 WITH SCORE 627113.161
AT ITER 889 NEW BEST:: SOT 1869481 SOS 790862 HAS SOPS 746765 HAS SOUS 640214 HAS SOUPS 626322 WITH SCORE 627112.862
AT ITER 890 NEW BEST:: SOT 1869758 SOS 785439 HAS SOPS 743960 HAS SOUS 634389 HAS SOUPS 621059 WITH SCORE 621844.439
AT ITER 891 NEW BEST:: SOT 1869215 SOS 784497 HAS SOPS 743018 HAS SOUS 633846 HAS SOUPS 620516 WITH SCORE 621300.497
AT ITER 892 NEW BEST:: SOT 1869221 SOS 783592 HAS SOPS 742538 HAS SOUS 633718 HAS SOUPS 620443 WITH SCORE 621226.592
AT ITER 893 NEW BEST:: SOT 1869221 SOS 783407 HAS SOPS 742353 HAS SOUS 633718 HAS SOUPS 620443 WITH SCORE 621226.407
AT ITER 905 NEW BEST:: SOT 1869221 SOS 783346 HAS SOPS 742353 HAS SOUS 633718 HAS SOUPS 620443 WITH SCORE 621226.346
AT ITER 906 NEW BEST:: SOT 1869124 SOS 783152 HAS SOPS 742159 HAS SOUS 633618 HAS SOUPS 620343 WITH SCORE 621126.152
AT ITER 907 NEW BEST:: SOT 1869108 SOS 783285 HAS SOPS 742127 HAS SOUS 633586 HAS SOUPS 620311 WITH SCORE 621094.285
AT ITER 908 NEW BEST:: SOT 1869079 SOS 783086 HAS SOPS 741928 HAS SOUS 633387 HAS SOUPS 620112 WITH SCORE 620895.086
AT ITER 910 NEW BEST:: SOT 1868965 SOS 782858 HAS SOPS 741700 HAS SOUS 633159 HAS SOUPS 619884 WITH SCORE 620666.858
AT ITER 911 NEW BEST:: SOT 1868800 SOS 782528 HAS SOPS 741370 HAS SOUS 632829 HAS SOUPS 619554 WITH SCORE 620336.528
AT ITER 917 NEW BEST:: SOT 1868778 SOS 782534 HAS SOPS 741226 HAS SOUS 632785 HAS SOUPS 619510 WITH SCORE 620292.534
AT ITER 924 NEW BEST:: SOT 1868581 SOS 782140 HAS SOPS 740832 HAS SOUS 632391 HAS SOUPS 619116 WITH SCORE 619898.14
AT ITER 935 NEW BEST:: SOT 1868558 SOS 782031 HAS SOPS 740723 HAS SOUS 632345 HAS SOUPS 619070 WITH SCORE 619852.031
AT ITER 936 NEW BEST:: SOT 1868558 SOS 782009 HAS SOPS 740723 HAS SOUS 632345 HAS SOUPS 619070 WITH SCORE 619852.009
AT ITER 942 NEW BEST:: SOT 1868484 SOS 782153 HAS SOPS 740649 HAS SOUS 632271 HAS SOUPS 618996 WITH SCORE 619778.153
AT ITER 944 NEW BEST:: SOT 1868017 SOS 781212 HAS SOPS 739945 HAS SOUS 631567 HAS SOUPS 618292 WITH SCORE 619073.212
AT ITER 945 NEW BEST:: SOT 1867942 SOS 781062 HAS SOPS 739795 HAS SOUS 631417 HAS SOUPS 618142 WITH SCORE 618923.062
AT ITER 946 NEW BEST:: SOT 1867550 SOS 780768 HAS SOPS 739501 HAS SOUS 631123 HAS SOUPS 617848 WITH SCORE 618628.768
AT ITER 953 NEW BEST:: SOT 1866272 SOS 779732 HAS SOPS 738269 HAS SOUS 629891 HAS SOUPS 616616 WITH SCORE 617395.732
AT ITER 962 NEW BEST:: SOT 1866341 SOS 779678 HAS SOPS 738113 HAS SOUS 629878 HAS SOUPS 616603 WITH SCORE 617382.678
AT ITER 971 NEW BEST:: SOT 1866146 SOS 779113 HAS SOPS 737548 HAS SOUS 629313 HAS SOUPS 616038 WITH SCORE 616817.113
AT ITER 980 NEW BEST:: SOT 1866278 SOS 778489 HAS SOPS 734716 HAS SOUS 627369 HAS SOUPS 614094 WITH SCORE 614872.489
AT ITER 985 NEW BEST:: SOT 1866066 SOS 778065 HAS SOPS 734292 HAS SOUS 626945 HAS SOUPS 613670 WITH SCORE 614448.065
AT ITER 987 NEW BEST:: SOT 1866076 SOS 778023 HAS SOPS 733996 HAS SOUS 626649 HAS SOUPS 613374 WITH SCORE 614152.023
AT ITER 991 NEW BEST:: SOT 1866009 SOS 777889 HAS SOPS 733862 HAS SOUS 626515 HAS SOUPS 613240 WITH SCORE 614017.889
AT ITER 992 NEW BEST:: SOT 1865882 SOS 778056 HAS SOPS 733630 HAS SOUS 626409 HAS SOUPS 613134 WITH SCORE 613912.056
AT ITER 995 NEW BEST:: SOT 1865579 SOS 777381 HAS SOPS 732955 HAS SOUS 625803 HAS SOUPS 612528 WITH SCORE 613305.381
AT ITER 997 NEW BEST:: SOT 1861505 SOS 772989 HAS SOPS 727585 HAS SOUS 621540 HAS SOUPS 608086 WITH SCORE 608858.989
AT ITER 998 NEW BEST:: SOT 1861251 SOS 772961 HAS SOPS 727466 HAS SOUS 621262 HAS SOUPS 607808 WITH SCORE 608580.961
AT ITER 1000 NEW BEST:: SOT 1861251 SOS 772769 HAS SOPS 727419 HAS SOUS 621164 HAS SOUPS 607710 WITH SCORE 608482.769
AT ITER 1003 NEW BEST:: SOT 1860915 SOS 771781 HAS SOPS 726411 HAS SOUS 620472 HAS SOUPS 607018 WITH SCORE 607789.781
AT ITER 1004 NEW BEST:: SOT 1860511 SOS 771254 HAS SOPS 725884 HAS SOUS 620024 HAS SOUPS 606570 WITH SCORE 607341.254
AT ITER 1007 NEW BEST:: SOT 1860446 SOS 771124 HAS SOPS 725754 HAS SOUS 619894 HAS SOUPS 606440 WITH SCORE 607211.124
AT ITER 1010 NEW BEST:: SOT 1860397 SOS 770743 HAS SOPS 725373 HAS SOUS 619885 HAS SOUPS 606431 WITH SCORE 607201.743
AT ITER 1012 NEW BEST:: SOT 1860380 SOS 770709 HAS SOPS 725339 HAS SOUS 619851 HAS SOUPS 606397 WITH SCORE 607167.709
AT ITER 1014 NEW BEST:: SOT 1860212 SOS 770481 HAS SOPS 724944 HAS SOUS 619851 HAS SOUPS 606397 WITH SCORE 607167.481
AT ITER 1019 NEW BEST:: SOT 1860212 SOS 770481 HAS SOPS 724944 HAS SOUS 619695 HAS SOUPS 606241 WITH SCORE 607011.481
AT ITER 1024 NEW BEST:: SOT 1860212 SOS 770437 HAS SOPS 724900 HAS SOUS 619695 HAS SOUPS 606241 WITH SCORE 607011.437
AT ITER 1026 NEW BEST:: SOT 1859918 SOS 770078 HAS SOPS 724312 HAS SOUS 619427 HAS SOUPS 605973 WITH SCORE 606743.078
AT ITER 1033 NEW BEST:: SOT 1859918 SOS 769994 HAS SOPS 724312 HAS SOUS 619427 HAS SOUPS 605973 WITH SCORE 606742.994
AT ITER 1045 NEW BEST:: SOT 1859829 SOS 769813 HAS SOPS 724131 HAS SOUS 619249 HAS SOUPS 605795 WITH SCORE 606564.813
AT ITER 1048 NEW BEST:: SOT 1858441 SOS 777921 HAS SOPS 722778 HAS SOUS 618728 HAS SOUPS 604765 WITH SCORE 605542.921
AT ITER 1049 NEW BEST:: SOT 1858063 SOS 777543 HAS SOPS 722700 HAS SOUS 618348 HAS SOUPS 604685 WITH SCORE 605462.543
AT ITER 1053 NEW BEST:: SOT 1859085 SOS 774071 HAS SOPS 721076 HAS SOUS 613440 HAS SOUPS 600305 WITH SCORE 601079.071
AT ITER 1059 NEW BEST:: SOT 1854622 SOS 770125 HAS SOPS 716613 HAS SOUS 610513 HAS SOUPS 597169 WITH SCORE 597939.125
AT ITER 1061 NEW BEST:: SOT 1854382 SOS 769645 HAS SOPS 716133 HAS SOUS 610033 HAS SOUPS 596689 WITH SCORE 597458.645
AT ITER 1062 NEW BEST:: SOT 1853898 SOS 769135 HAS SOPS 715686 HAS SOUS 609160 HAS SOUPS 595816 WITH SCORE 596585.135
AT ITER 1063 NEW BEST:: SOT 1853637 SOS 768352 HAS SOPS 714903 HAS SOUS 608638 HAS SOUPS 595294 WITH SCORE 596062.352
AT ITER 1067 NEW BEST:: SOT 1852447 SOS 767276 HAS SOPS 714144 HAS SOUS 607485 HAS SOUPS 594444 WITH SCORE 595211.276
AT ITER 1068 NEW BEST:: SOT 1852346 SOS 767206 HAS SOPS 714074 HAS SOUS 607415 HAS SOUPS 594374 WITH SCORE 595141.206
AT ITER 1072 NEW BEST:: SOT 1852546 SOS 767105 HAS SOPS 712932 HAS SOUS 606836 HAS SOUPS 593791 WITH SCORE 594558.105
AT ITER 1081 NEW BEST:: SOT 1852461 SOS 767099 HAS SOPS 712926 HAS SOUS 606722 HAS SOUPS 593677 WITH SCORE 594444.099
AT ITER 1084 NEW BEST:: SOT 1852429 SOS 767504 HAS SOPS 713387 HAS SOUS 606661 HAS SOUPS 593616 WITH SCORE 594383.504
AT ITER 1085 NEW BEST:: SOT 1852333 SOS 767312 HAS SOPS 713195 HAS SOUS 606469 HAS SOUPS 593424 WITH SCORE 594191.312
AT ITER 1086 NEW BEST:: SOT 1852221 SOS 767327 HAS SOPS 713210 HAS SOUS 606186 HAS SOUPS 593141 WITH SCORE 593908.327
AT ITER 1090 NEW BEST:: SOT 1851997 SOS 766605 HAS SOPS 712488 HAS SOUS 605738 HAS SOUPS 592693 WITH SCORE 593459.605
AT ITER 1097 NEW BEST:: SOT 1851816 SOS 766243 HAS SOPS 712126 HAS SOUS 605376 HAS SOUPS 592331 WITH SCORE 593097.243
AT ITER 1112 NEW BEST:: SOT 1851593 SOS 766083 HAS SOPS 711688 HAS SOUS 605139 HAS SOUPS 591952 WITH SCORE 592718.083
AT ITER 1117 NEW BEST:: SOT 1851669 SOS 766083 HAS SOPS 711745 HAS SOUS 605044 HAS SOUPS 591876 WITH SCORE 592642.083
AT ITER 1125 NEW BEST:: SOT 1851036 SOS 765633 HAS SOPS 711295 HAS SOUS 604003 HAS SOUPS 590835 WITH SCORE 591600.633
AT ITER 1127 NEW BEST:: SOT 1851036 SOS 765549 HAS SOPS 711211 HAS SOUS 603919 HAS SOUPS 590751 WITH SCORE 591516.549
AT ITER 1131 NEW BEST:: SOT 1850889 SOS 765452 HAS SOPS 711138 HAS SOUS 603798 HAS SOUPS 590648 WITH SCORE 591413.452
AT ITER 1133 NEW BEST:: SOT 1850817 SOS 765308 HAS SOPS 710994 HAS SOUS 603654 HAS SOUPS 590504 WITH SCORE 591269.308
AT ITER 1140 NEW BEST:: SOT 1850817 SOS 765014 HAS SOPS 710994 HAS SOUS 603570 HAS SOUPS 590504 WITH SCORE 591269.014
AT ITER 1142 NEW BEST:: SOT 1850800 SOS 764980 HAS SOPS 710960 HAS SOUS 603536 HAS SOUPS 590470 WITH SCORE 591234.98
AT ITER 1149 NEW BEST:: SOT 1850654 SOS 764553 HAS SOPS 710533 HAS SOUS 603088 HAS SOUPS 590022 WITH SCORE 590786.553
AT ITER 1157 NEW BEST:: SOT 1851585 SOS 763744 HAS SOPS 708195 HAS SOUS 603866 HAS SOUPS 589977 WITH SCORE 590740.744
AT ITER 1167 NEW BEST:: SOT 1851577 SOS 763720 HAS SOPS 708171 HAS SOUS 603842 HAS SOUPS 589953 WITH SCORE 590716.72
AT ITER 1171 NEW BEST:: SOT 1851165 SOS 762658 HAS SOPS 707347 HAS SOUS 603018 HAS SOUPS 589129 WITH SCORE 589891.658
AT ITER 1173 NEW BEST:: SOT 1851138 SOS 761834 HAS SOPS 705769 HAS SOUS 602165 HAS SOUPS 588276 WITH SCORE 589037.834
AT ITER 1180 NEW BEST:: SOT 1851142 SOS 761990 HAS SOPS 705777 HAS SOUS 601667 HAS SOUPS 587778 WITH SCORE 588539.99
AT ITER 1185 NEW BEST:: SOT 1851087 SOS 762101 HAS SOPS 705771 HAS SOUS 601661 HAS SOUPS 587772 WITH SCORE 588534.101
AT ITER 1190 NEW BEST:: SOT 1851087 SOS 762069 HAS SOPS 705739 HAS SOUS 601661 HAS SOUPS 587772 WITH SCORE 588534.069
AT ITER 1197 NEW BEST:: SOT 1851087 SOS 762025 HAS SOPS 705739 HAS SOUS 601661 HAS SOUPS 587772 WITH SCORE 588534.025
AT ITER 1201 NEW BEST:: SOT 1851049 SOS 761949 HAS SOPS 705663 HAS SOUS 601585 HAS SOUPS 587696 WITH SCORE 588457.949
AT ITER 1210 NEW BEST:: SOT 1850942 SOS 761735 HAS SOPS 705449 HAS SOUS 601371 HAS SOUPS 587482 WITH SCORE 588243.735
AT ITER 1213 NEW BEST:: SOT 1850917 SOS 761685 HAS SOPS 705399 HAS SOUS 601321 HAS SOUPS 587432 WITH SCORE 588193.685
AT ITER 1215 NEW BEST:: SOT 1850917 SOS 761685 HAS SOPS 705263 HAS SOUS 601185 HAS SOUPS 587296 WITH SCORE 588057.685
AT ITER 1223 NEW BEST:: SOT 1850265 SOS 760377 HAS SOPS 703955 HAS SOUS 600545 HAS SOUPS 586656 WITH SCORE 587416.377
AT ITER 1229 NEW BEST:: SOT 1849042 SOS 763685 HAS SOPS 707308 HAS SOUS 600262 HAS SOUPS 586373 WITH SCORE 587136.685
AT ITER 1230 NEW BEST:: SOT 1848847 SOS 763295 HAS SOPS 706918 HAS SOUS 599872 HAS SOUPS 585983 WITH SCORE 586746.295
AT ITER 1232 NEW BEST:: SOT 1848613 SOS 761973 HAS SOPS 705381 HAS SOUS 598253 HAS SOUPS 584364 WITH SCORE 585125.973
AT ITER 1235 NEW BEST:: SOT 1848523 SOS 761793 HAS SOPS 705201 HAS SOUS 598073 HAS SOUPS 584184 WITH SCORE 584945.793
AT ITER 1236 NEW BEST:: SOT 1848523 SOS 761219 HAS SOPS 704627 HAS SOUS 597776 HAS SOUPS 583887 WITH SCORE 584648.219
AT ITER 1238 NEW BEST:: SOT 1848843 SOS 761800 HAS SOPS 705208 HAS SOUS 597651 HAS SOUPS 583762 WITH SCORE 584523.8
AT ITER 1247 NEW BEST:: SOT 1848596 SOS 761716 HAS SOPS 705124 HAS SOUS 597237 HAS SOUPS 583348 WITH SCORE 584109.716
AT ITER 1253 NEW BEST:: SOT 1843712 SOS 757705 HAS SOPS 699741 HAS SOUS 595791 HAS SOUPS 581590 WITH SCORE 582347.705
AT ITER 1259 NEW BEST:: SOT 1843712 SOS 757775 HAS SOPS 699741 HAS SOUS 595787 HAS SOUPS 581586 WITH SCORE 582343.775
AT ITER 1264 NEW BEST:: SOT 1843600 SOS 757551 HAS SOPS 699517 HAS SOUS 595563 HAS SOUPS 581362 WITH SCORE 582119.551
AT ITER 1266 NEW BEST:: SOT 1843229 SOS 757108 HAS SOPS 699214 HAS SOUS 595331 HAS SOUPS 581130 WITH SCORE 581887.108
AT ITER 1268 NEW BEST:: SOT 1843197 SOS 757044 HAS SOPS 699150 HAS SOUS 595267 HAS SOUPS 581066 WITH SCORE 581823.044
AT ITER 1275 NEW BEST:: SOT 1843184 SOS 757018 HAS SOPS 699124 HAS SOUS 595241 HAS SOUPS 581040 WITH SCORE 581797.018
AT ITER 1278 NEW BEST:: SOT 1842963 SOS 756453 HAS SOPS 698682 HAS SOUS 595143 HAS SOUPS 580942 WITH SCORE 581698.453
AT ITER 1280 NEW BEST:: SOT 1842933 SOS 756393 HAS SOPS 698622 HAS SOUS 595083 HAS SOUPS 580882 WITH SCORE 581638.393
AT ITER 1282 NEW BEST:: SOT 1844199 SOS 756046 HAS SOPS 699322 HAS SOUS 591104 HAS SOUPS 577400 WITH SCORE 578156.046
AT ITER 1285 NEW BEST:: SOT 1844401 SOS 756019 HAS SOPS 699442 HAS SOUS 590960 HAS SOUPS 577297 WITH SCORE 578053.019
AT ITER 1286 NEW BEST:: SOT 1844341 SOS 755899 HAS SOPS 699322 HAS SOUS 590840 HAS SOUPS 577177 WITH SCORE 577932.899
AT ITER 1288 NEW BEST:: SOT 1842693 SOS 760101 HAS SOPS 704212 HAS SOUS 590633 HAS SOUPS 576970 WITH SCORE 577730.101
AT ITER 1289 NEW BEST:: SOT 1842838 SOS 759506 HAS SOPS 703270 HAS SOUS 590400 HAS SOUPS 576737 WITH SCORE 577496.506
AT ITER 1294 NEW BEST:: SOT 1843074 SOS 759116 HAS SOPS 701156 HAS SOUS 589936 HAS SOUPS 575485 WITH SCORE 576244.116
AT ITER 1299 NEW BEST:: SOT 1843074 SOS 759080 HAS SOPS 701120 HAS SOUS 589936 HAS SOUPS 575485 WITH SCORE 576244.08
AT ITER 1301 NEW BEST:: SOT 1843074 SOS 759080 HAS SOPS 701109 HAS SOUS 589914 HAS SOUPS 575463 WITH SCORE 576222.08
AT ITER 1302 NEW BEST:: SOT 1842861 SOS 758867 HAS SOPS 700896 HAS SOUS 589701 HAS SOUPS 575250 WITH SCORE 576008.867
AT ITER 1305 NEW BEST:: SOT 1842861 SOS 758407 HAS SOPS 700896 HAS SOUS 589701 HAS SOUPS 575250 WITH SCORE 576008.407
AT ITER 1309 NEW BEST:: SOT 1842819 SOS 758254 HAS SOPS 700812 HAS SOUS 589617 HAS SOUPS 575166 WITH SCORE 575924.254
AT ITER 1311 NEW BEST:: SOT 1842819 SOS 758162 HAS SOPS 700720 HAS SOUS 589617 HAS SOUPS 575166 WITH SCORE 575924.162
AT ITER 1315 NEW BEST:: SOT 1842689 SOS 757896 HAS SOPS 700454 HAS SOUS 589357 HAS SOUPS 574906 WITH SCORE 575663.896
AT ITER 1322 NEW BEST:: SOT 1842683 SOS 757890 HAS SOPS 700448 HAS SOUS 589351 HAS SOUPS 574900 WITH SCORE 575657.89
AT ITER 1326 NEW BEST:: SOT 1842355 SOS 757234 HAS SOPS 699792 HAS SOUS 588695 HAS SOUPS 574244 WITH SCORE 575001.234
AT ITER 1330 NEW BEST:: SOT 1842240 SOS 757004 HAS SOPS 699562 HAS SOUS 588511 HAS SOUPS 574014 WITH SCORE 574771.004
AT ITER 1331 NEW BEST:: SOT 1842183 SOS 756833 HAS SOPS 699448 HAS SOUS 588397 HAS SOUPS 573900 WITH SCORE 574656.833
AT ITER 1336 NEW BEST:: SOT 1842183 SOS 756811 HAS SOPS 699426 HAS SOUS 588397 HAS SOUPS 573900 WITH SCORE 574656.811
AT ITER 1338 NEW BEST:: SOT 1842401 SOS 756351 HAS SOPS 698404 HAS SOUS 588271 HAS SOUPS 573774 WITH SCORE 574530.351
AT ITER 1343 NEW BEST:: SOT 1842101 SOS 756051 HAS SOPS 697804 HAS SOUS 587671 HAS SOUPS 573174 WITH SCORE 573930.051
AT ITER 1350 NEW BEST:: SOT 1841905 SOS 755767 HAS SOPS 697341 HAS SOUS 587591 HAS SOUPS 573094 WITH SCORE 573849.767
AT ITER 1353 NEW BEST:: SOT 1841840 SOS 755312 HAS SOPS 696821 HAS SOUS 587396 HAS SOUPS 572899 WITH SCORE 573654.312
AT ITER 1369 NEW BEST:: SOT 1841647 SOS 754926 HAS SOPS 696435 HAS SOUS 587010 HAS SOUPS 572513 WITH SCORE 573267.926
AT ITER 1371 NEW BEST:: SOT 1841044 SOS 753586 HAS SOPS 695095 HAS SOUS 585670 HAS SOUPS 571173 WITH SCORE 571926.586
AT ITER 1373 NEW BEST:: SOT 1841379 SOS 753435 HAS SOPS 695261 HAS SOUS 584344 HAS SOUPS 569954 WITH SCORE 570707.435
AT ITER 1374 NEW BEST:: SOT 1841350 SOS 753260 HAS SOPS 695086 HAS SOUS 584286 HAS SOUPS 569896 WITH SCORE 570649.26
AT ITER 1382 NEW BEST:: SOT 1841673 SOS 750287 HAS SOPS 692113 HAS SOUS 583414 HAS SOUPS 569024 WITH SCORE 569774.287
AT ITER 1384 NEW BEST:: SOT 1841478 SOS 749702 HAS SOPS 691528 HAS SOUS 583024 HAS SOUPS 568634 WITH SCORE 569383.702
AT ITER 1389 NEW BEST:: SOT 1841466 SOS 749808 HAS SOPS 691634 HAS SOUS 583000 HAS SOUPS 568610 WITH SCORE 569359.808
AT ITER 1396 NEW BEST:: SOT 1841466 SOS 749736 HAS SOPS 691562 HAS SOUS 583000 HAS SOUPS 568610 WITH SCORE 569359.736
AT ITER 1397 NEW BEST:: SOT 1841595 SOS 748869 HAS SOPS 690559 HAS SOUS 582965 HAS SOUPS 568575 WITH SCORE 569323.869
AT ITER 1408 NEW BEST:: SOT 1841579 SOS 748837 HAS SOPS 690527 HAS SOUS 582933 HAS SOUPS 568543 WITH SCORE 569291.837
AT ITER 1415 NEW BEST:: SOT 1841509 SOS 748697 HAS SOPS 690387 HAS SOUS 582793 HAS SOUPS 568403 WITH SCORE 569151.697
AT ITER 1429 NEW BEST:: SOT 1841509 SOS 748652 HAS SOPS 690333 HAS SOUS 582784 HAS SOUPS 568394 WITH SCORE 569142.652
AT ITER 1433 NEW BEST:: SOT 1841409 SOS 748626 HAS SOPS 690307 HAS SOUS 582584 HAS SOUPS 568194 WITH SCORE 568942.626
AT ITER 1435 NEW BEST:: SOT 1841416 SOS 748626 HAS SOPS 690279 HAS SOUS 582563 HAS SOUPS 568173 WITH SCORE 568921.626
AT ITER 1439 NEW BEST:: SOT 1841141 SOS 748076 HAS SOPS 689729 HAS SOUS 582013 HAS SOUPS 567623 WITH SCORE 568371.076
AT ITER 1441 NEW BEST:: SOT 1840749 SOS 747291 HAS SOPS 688944 HAS SOUS 581228 HAS SOUPS 566838 WITH SCORE 567585.291
AT ITER 1442 NEW BEST:: SOT 1840458 SOS 746850 HAS SOPS 688503 HAS SOUS 580820 HAS SOUPS 566430 WITH SCORE 567176.85
AT ITER 1444 NEW BEST:: SOT 1840371 SOS 746676 HAS SOPS 688329 HAS SOUS 580646 HAS SOUPS 566256 WITH SCORE 567002.676
AT ITER 1456 NEW BEST:: SOT 1840221 SOS 746376 HAS SOPS 688029 HAS SOUS 580346 HAS SOUPS 565956 WITH SCORE 566702.376
AT ITER 1467 NEW BEST:: SOT 1840207 SOS 746348 HAS SOPS 688001 HAS SOUS 580318 HAS SOUPS 565928 WITH SCORE 566674.348
AT ITER 1472 NEW BEST:: SOT 1839762 SOS 746134 HAS SOPS 687787 HAS SOUS 580104 HAS SOUPS 565714 WITH SCORE 566460.134
AT ITER 1482 NEW BEST:: SOT 1839598 SOS 746443 HAS SOPS 687532 HAS SOUS 579422 HAS SOUPS 565032 WITH SCORE 565778.443
AT ITER 1485 NEW BEST:: SOT 1839250 SOS 745383 HAS SOPS 686836 HAS SOUS 578726 HAS SOUPS 564336 WITH SCORE 565081.383
AT ITER 1489 NEW BEST:: SOT 1839184 SOS 745317 HAS SOPS 686776 HAS SOUS 578666 HAS SOUPS 564276 WITH SCORE 565021.317
AT ITER 1495 NEW BEST:: SOT 1839184 SOS 744752 HAS SOPS 686628 HAS SOUS 577825 HAS SOUPS 563509 WITH SCORE 564253.752
AT ITER 1501 NEW BEST:: SOT 1839093 SOS 744574 HAS SOPS 686546 HAS SOUS 577759 HAS SOUPS 563443 WITH SCORE 564187.574
AT ITER 1504 NEW BEST:: SOT 1839083 SOS 744554 HAS SOPS 686526 HAS SOUS 577739 HAS SOUPS 563423 WITH SCORE 564167.554
AT ITER 1505 NEW BEST:: SOT 1838874 SOS 744136 HAS SOPS 686108 HAS SOUS 577321 HAS SOUPS 563005 WITH SCORE 563749.136
AT ITER 1517 NEW BEST:: SOT 1838851 SOS 744090 HAS SOPS 686062 HAS SOUS 577275 HAS SOUPS 562959 WITH SCORE 563703.09
AT ITER 1521 NEW BEST:: SOT 1838850 SOS 743828 HAS SOPS 686060 HAS SOUS 577273 HAS SOUPS 562957 WITH SCORE 563700.828
AT ITER 1522 NEW BEST:: SOT 1838743 SOS 744130 HAS SOPS 686103 HAS SOUS 577206 HAS SOUPS 562890 WITH SCORE 563634.13
AT ITER 1525 NEW BEST:: SOT 1838473 SOS 743590 HAS SOPS 685563 HAS SOUS 576666 HAS SOUPS 562350 WITH SCORE 563093.59
AT ITER 1527 NEW BEST:: SOT 1838456 SOS 743573 HAS SOPS 685546 HAS SOUS 576646 HAS SOUPS 562330 WITH SCORE 563073.573
AT ITER 1531 NEW BEST:: SOT 1837604 SOS 742721 HAS SOPS 684694 HAS SOUS 575794 HAS SOUPS 561478 WITH SCORE 562220.721
AT ITER 1536 NEW BEST:: SOT 1829374 SOS 736107 HAS SOPS 676864 HAS SOUS 571340 HAS SOUPS 556577 WITH SCORE 557313.107
AT ITER 1537 NEW BEST:: SOT 1829314 SOS 735987 HAS SOPS 676744 HAS SOUS 571220 HAS SOUPS 556457 WITH SCORE 557192.987
AT ITER 1549 NEW BEST:: SOT 1829282 SOS 735923 HAS SOPS 676680 HAS SOUS 571156 HAS SOUPS 556393 WITH SCORE 557128.923
AT ITER 1556 NEW BEST:: SOT 1829563 SOS 730572 HAS SOPS 671291 HAS SOUS 571042 HAS SOUPS 556279 WITH SCORE 557009.572
AT ITER 1565 NEW BEST:: SOT 1829554 SOS 730436 HAS SOPS 671276 HAS SOUS 571024 HAS SOUPS 556261 WITH SCORE 556991.436
AT ITER 1568 NEW BEST:: SOT 1828708 SOS 728748 HAS SOPS 669588 HAS SOUS 570079 HAS SOUPS 555316 WITH SCORE 556044.748
AT ITER 1584 NEW BEST:: SOT 1828683 SOS 727849 HAS SOPS 669048 HAS SOUS 569604 HAS SOUPS 554841 WITH SCORE 555568.849
AT ITER 1586 NEW BEST:: SOT 1828573 SOS 727629 HAS SOPS 668828 HAS SOUS 569384 HAS SOUPS 554621 WITH SCORE 555348.629
AT ITER 1587 NEW BEST:: SOT 1828489 SOS 727301 HAS SOPS 668445 HAS SOUS 569056 HAS SOUPS 554238 WITH SCORE 554965.301
AT ITER 1595 NEW BEST:: SOT 1828388 SOS 726913 HAS SOPS 668243 HAS SOUS 568854 HAS SOUPS 554036 WITH SCORE 554762.913
AT ITER 1601 NEW BEST:: SOT 1828373 SOS 726883 HAS SOPS 668213 HAS SOUS 568824 HAS SOUPS 554006 WITH SCORE 554732.883
AT ITER 1603 NEW BEST:: SOT 1828223 SOS 726583 HAS SOPS 667913 HAS SOUS 568524 HAS SOUPS 553706 WITH SCORE 554432.583
AT ITER 1607 NEW BEST:: SOT 1827581 SOS 725192 HAS SOPS 666629 HAS SOUS 567856 HAS SOUPS 553038 WITH SCORE 553763.192
AT ITER 1608 NEW BEST:: SOT 1827399 SOS 724828 HAS SOPS 666265 HAS SOUS 567492 HAS SOUPS 552674 WITH SCORE 553398.828
AT ITER 1610 NEW BEST:: SOT 1827321 SOS 724672 HAS SOPS 666109 HAS SOUS 567336 HAS SOUPS 552518 WITH SCORE 553242.672
AT ITER 1611 NEW BEST:: SOT 1827109 SOS 724548 HAS SOPS 665919 HAS SOUS 567080 HAS SOUPS 552262 WITH SCORE 552986.548
AT ITER 1616 NEW BEST:: SOT 1827086 SOS 724502 HAS SOPS 665873 HAS SOUS 567034 HAS SOUPS 552216 WITH SCORE 552940.502
AT ITER 1617 NEW BEST:: SOT 1826929 SOS 724879 HAS SOPS 666250 HAS SOUS 567032 HAS SOUPS 552214 WITH SCORE 552938.879
AT ITER 1626 NEW BEST:: SOT 1826611 SOS 723405 HAS SOPS 664776 HAS SOUS 565558 HAS SOUPS 550740 WITH SCORE 551463.405
AT ITER 1632 NEW BEST:: SOT 1826583 SOS 722845 HAS SOPS 664216 HAS SOUS 565502 HAS SOUPS 550684 WITH SCORE 551406.845
AT ITER 1633 NEW BEST:: SOT 1826353 SOS 722076 HAS SOPS 663447 HAS SOUS 565042 HAS SOUPS 550224 WITH SCORE 550946.076
AT ITER 1634 NEW BEST:: SOT 1826348 SOS 721865 HAS SOPS 663437 HAS SOUS 565032 HAS SOUPS 550214 WITH SCORE 550935.865
AT ITER 1637 NEW BEST:: SOT 1826124 SOS 721503 HAS SOPS 663219 HAS SOUS 564814 HAS SOUPS 549996 WITH SCORE 550717.503
AT ITER 1643 NEW BEST:: SOT 1825915 SOS 721026 HAS SOPS 662742 HAS SOUS 564396 HAS SOUPS 549578 WITH SCORE 550299.026
AT ITER 1646 NEW BEST:: SOT 1825809 SOS 721240 HAS SOPS 662402 HAS SOUS 563630 HAS SOUPS 548812 WITH SCORE 549533.24
AT ITER 1651 NEW BEST:: SOT 1825711 SOS 721142 HAS SOPS 662286 HAS SOUS 563516 HAS SOUPS 548696 WITH SCORE 549417.142
AT ITER 1652 NEW BEST:: SOT 1825491 SOS 721028 HAS SOPS 662213 HAS SOUS 563291 HAS SOUPS 548471 WITH SCORE 549192.028
AT ITER 1654 NEW BEST:: SOT 1825394 SOS 720834 HAS SOPS 662019 HAS SOUS 563097 HAS SOUPS 548277 WITH SCORE 548997.834
AT ITER 1656 NEW BEST:: SOT 1825375 SOS 720796 HAS SOPS 661981 HAS SOUS 563059 HAS SOUPS 548239 WITH SCORE 548959.796
AT ITER 1657 NEW BEST:: SOT 1825302 SOS 720924 HAS SOPS 662109 HAS SOUS 562913 HAS SOUPS 548093 WITH SCORE 548813.924
AT ITER 1659 NEW BEST:: SOT 1825071 SOS 720462 HAS SOPS 661647 HAS SOUS 562451 HAS SOUPS 547631 WITH SCORE 548351.462
AT ITER 1664 NEW BEST:: SOT 1824953 SOS 720226 HAS SOPS 661411 HAS SOUS 562215 HAS SOUPS 547395 WITH SCORE 548115.226
AT ITER 1673 NEW BEST:: SOT 1824908 SOS 720673 HAS SOPS 661858 HAS SOUS 562170 HAS SOUPS 547350 WITH SCORE 548070.673
AT ITER 1691 NEW BEST:: SOT 1824474 SOS 719770 HAS SOPS 660955 HAS SOUS 561647 HAS SOUPS 546827 WITH SCORE 547546.77
AT ITER 1698 NEW BEST:: SOT 1824456 SOS 720299 HAS SOPS 660919 HAS SOUS 561611 HAS SOUPS 546791 WITH SCORE 547511.299
AT ITER 1700 NEW BEST:: SOT 1824376 SOS 720088 HAS SOPS 660708 HAS SOUS 561569 HAS SOUPS 546749 WITH SCORE 547469.088
AT ITER 1706 NEW BEST:: SOT 1823877 SOS 719173 HAS SOPS 659793 HAS SOUS 561130 HAS SOUPS 546310 WITH SCORE 547029.173
AT ITER 1716 NEW BEST:: SOT 1823962 SOS 717953 HAS SOPS 658416 HAS SOUS 560945 HAS SOUPS 546125 WITH SCORE 546842.953
AT ITER 1717 NEW BEST:: SOT 1823797 SOS 717502 HAS SOPS 658086 HAS SOUS 560615 HAS SOUPS 545795 WITH SCORE 546512.502
AT ITER 1720 NEW BEST:: SOT 1823622 SOS 717293 HAS SOPS 657736 HAS SOUS 560265 HAS SOUPS 545445 WITH SCORE 546162.293
AT ITER 1725 NEW BEST:: SOT 1823411 SOS 717082 HAS SOPS 657490 HAS SOUS 560019 HAS SOUPS 545199 WITH SCORE 545916.082
AT ITER 1730 NEW BEST:: SOT 1823252 SOS 716788 HAS SOPS 657257 HAS SOUS 559786 HAS SOUPS 544966 WITH SCORE 545682.788
AT ITER 1735 NEW BEST:: SOT 1823239 SOS 716762 HAS SOPS 657231 HAS SOUS 559760 HAS SOUPS 544940 WITH SCORE 545656.762
AT ITER 1740 NEW BEST:: SOT 1822477 SOS 716221 HAS SOPS 656427 HAS SOUS 559004 HAS SOUPS 544136 WITH SCORE 544852.221
AT ITER 1752 NEW BEST:: SOT 1822424 SOS 716325 HAS SOPS 656531 HAS SOUS 558898 HAS SOUPS 544030 WITH SCORE 544746.325
AT ITER 1760 NEW BEST:: SOT 1822424 SOS 716262 HAS SOPS 656554 HAS SOUS 558898 HAS SOUPS 544030 WITH SCORE 544746.262
AT ITER 1767 NEW BEST:: SOT 1822344 SOS 716182 HAS SOPS 656394 HAS SOUS 558815 HAS SOUPS 543947 WITH SCORE 544663.182
AT ITER 1770 NEW BEST:: SOT 1822234 SOS 717366 HAS SOPS 657752 HAS SOUS 558769 HAS SOUPS 543901 WITH SCORE 544618.366
AT ITER 1771 NEW BEST:: SOT 1822275 SOS 716994 HAS SOPS 657380 HAS SOUS 558557 HAS SOUPS 543689 WITH SCORE 544405.994
AT ITER 1773 NEW BEST:: SOT 1822186 SOS 717321 HAS SOPS 657883 HAS SOUS 558547 HAS SOUPS 543679 WITH SCORE 544396.321
AT ITER 1777 NEW BEST:: SOT 1822121 SOS 717191 HAS SOPS 657753 HAS SOUS 558417 HAS SOUPS 543549 WITH SCORE 544266.191
AT ITER 1786 NEW BEST:: SOT 1822121 SOS 717019 HAS SOPS 657753 HAS SOUS 558417 HAS SOUPS 543549 WITH SCORE 544266.019
AT ITER 1788 NEW BEST:: SOT 1821992 SOS 716761 HAS SOPS 657495 HAS SOUS 558159 HAS SOUPS 543291 WITH SCORE 544007.761
AT ITER 1792 NEW BEST:: SOT 1821537 SOS 715792 HAS SOPS 656852 HAS SOUS 557894 HAS SOUPS 543026 WITH SCORE 543741.792
AT ITER 1793 NEW BEST:: SOT 1821445 SOS 715380 HAS SOPS 656668 HAS SOUS 557710 HAS SOUPS 542842 WITH SCORE 543557.38
AT ITER 1794 NEW BEST:: SOT 1821405 SOS 715255 HAS SOPS 656588 HAS SOUS 557630 HAS SOUPS 542762 WITH SCORE 543477.255
AT ITER 1804 NEW BEST:: SOT 1821268 SOS 715004 HAS SOPS 656314 HAS SOUS 557356 HAS SOUPS 542488 WITH SCORE 543203.004
AT ITER 1808 NEW BEST:: SOT 1821077 SOS 714607 HAS SOPS 655932 HAS SOUS 556974 HAS SOUPS 542106 WITH SCORE 542820.607
AT ITER 1812 NEW BEST:: SOT 1821077 SOS 714476 HAS SOPS 655932 HAS SOUS 556974 HAS SOUPS 542106 WITH SCORE 542820.476
AT ITER 1818 NEW BEST:: SOT 1820861 SOS 714044 HAS SOPS 655500 HAS SOUS 556542 HAS SOUPS 541674 WITH SCORE 542388.044
AT ITER 1831 NEW BEST:: SOT 1821099 SOS 715671 HAS SOPS 658126 HAS SOUS 555674 HAS SOUPS 541119 WITH SCORE 541834.671
AT ITER 1833 NEW BEST:: SOT 1821048 SOS 715569 HAS SOPS 658024 HAS SOUS 555485 HAS SOUPS 540930 WITH SCORE 541645.569
AT ITER 1834 NEW BEST:: SOT 1819791 SOS 714991 HAS SOPS 656755 HAS SOUS 554314 HAS SOUPS 539661 WITH SCORE 540375.991
AT ITER 1838 NEW BEST:: SOT 1819673 SOS 714804 HAS SOPS 656568 HAS SOUS 553999 HAS SOUPS 539346 WITH SCORE 540060.804
AT ITER 1855 NEW BEST:: SOT 1819593 SOS 715047 HAS SOPS 656417 HAS SOUS 553916 HAS SOUPS 539263 WITH SCORE 539978.047
AT ITER 1858 NEW BEST:: SOT 1819593 SOS 714964 HAS SOPS 656334 HAS SOUS 553916 HAS SOUPS 539263 WITH SCORE 539977.964
AT ITER 1859 NEW BEST:: SOT 1819481 SOS 714037 HAS SOPS 655407 HAS SOUS 553298 HAS SOUPS 538645 WITH SCORE 539359.037
AT ITER 1862 NEW BEST:: SOT 1817510 SOS 712146 HAS SOPS 653436 HAS SOUS 551495 HAS SOUPS 536765 WITH SCORE 537477.146
AT ITER 1870 NEW BEST:: SOT 1817494 SOS 712114 HAS SOPS 653404 HAS SOUS 551463 HAS SOUPS 536733 WITH SCORE 537445.114
AT ITER 1873 NEW BEST:: SOT 1817494 SOS 712017 HAS SOPS 653307 HAS SOUS 551463 HAS SOUPS 536733 WITH SCORE 537445.017
AT ITER 1877 NEW BEST:: SOT 1817494 SOS 712017 HAS SOPS 653241 HAS SOUS 551397 HAS SOUPS 536667 WITH SCORE 537379.017
AT ITER 1885 NEW BEST:: SOT 1816884 SOS 711133 HAS SOPS 652379 HAS SOUS 550272 HAS SOUPS 535542 WITH SCORE 536253.133
AT ITER 1886 NEW BEST:: SOT 1816229 SOS 709991 HAS SOPS 651237 HAS SOUS 549493 HAS SOUPS 534763 WITH SCORE 535472.991
AT ITER 1894 NEW BEST:: SOT 1815956 SOS 709902 HAS SOPS 651081 HAS SOUS 549428 HAS SOUPS 534698 WITH SCORE 535407.902
AT ITER 1896 NEW BEST:: SOT 1815948 SOS 709886 HAS SOPS 651065 HAS SOUS 549412 HAS SOUPS 534682 WITH SCORE 535391.886
AT ITER 1904 NEW BEST:: SOT 1815656 SOS 709203 HAS SOPS 650481 HAS SOUS 548828 HAS SOUPS 534098 WITH SCORE 534807.203
AT ITER 1907 NEW BEST:: SOT 1815598 SOS 709554 HAS SOPS 650365 HAS SOUS 548712 HAS SOUPS 533982 WITH SCORE 534691.554
AT ITER 1912 NEW BEST:: SOT 1815242 SOS 709721 HAS SOPS 650532 HAS SOUS 548638 HAS SOUPS 533908 WITH SCORE 534617.721
AT ITER 1926 NEW BEST:: SOT 1815212 SOS 710028 HAS SOPS 650839 HAS SOUS 548578 HAS SOUPS 533848 WITH SCORE 534558.028
AT ITER 1930 NEW BEST:: SOT 1815182 SOS 709968 HAS SOPS 650779 HAS SOUS 548518 HAS SOUPS 533788 WITH SCORE 534497.968
AT ITER 1936 NEW BEST:: SOT 1815182 SOS 709894 HAS SOPS 650779 HAS SOUS 548518 HAS SOUPS 533788 WITH SCORE 534497.894
AT ITER 1942 NEW BEST:: SOT 1815964 SOS 710305 HAS SOPS 651648 HAS SOUS 548352 HAS SOUPS 533699 WITH SCORE 534409.305
AT ITER 1945 NEW BEST:: SOT 1815628 SOS 709633 HAS SOPS 650976 HAS SOUS 547680 HAS SOUPS 533027 WITH SCORE 533736.633
AT ITER 1946 NEW BEST:: SOT 1815512 SOS 709233 HAS SOPS 650744 HAS SOUS 547448 HAS SOUPS 532795 WITH SCORE 533504.233
AT ITER 1948 NEW BEST:: SOT 1815284 SOS 708777 HAS SOPS 650288 HAS SOUS 546992 HAS SOUPS 532339 WITH SCORE 533047.777
AT ITER 1957 NEW BEST:: SOT 1815191 SOS 708469 HAS SOPS 649980 HAS SOUS 546974 HAS SOUPS 532321 WITH SCORE 533029.469
AT ITER 1962 NEW BEST:: SOT 1814841 SOS 708217 HAS SOPS 649728 HAS SOUS 546722 HAS SOUPS 532069 WITH SCORE 532777.217
AT ITER 1969 NEW BEST:: SOT 1814822 SOS 708103 HAS SOPS 649614 HAS SOUS 546608 HAS SOUPS 531955 WITH SCORE 532663.103
AT ITER 1973 NEW BEST:: SOT 1814764 SOS 708088 HAS SOPS 649498 HAS SOUS 546492 HAS SOUPS 531839 WITH SCORE 532547.088
AT ITER 1975 NEW BEST:: SOT 1814694 SOS 708211 HAS SOPS 649709 HAS SOUS 546420 HAS SOUPS 531767 WITH SCORE 532475.211
AT ITER 1979 NEW BEST:: SOT 1813088 SOS 706518 HAS SOPS 647880 HAS SOUS 546310 HAS SOUPS 531521 WITH SCORE 532227.518
AT ITER 1983 NEW BEST:: SOT 1813035 SOS 706412 HAS SOPS 647774 HAS SOUS 546204 HAS SOUPS 531415 WITH SCORE 532121.412
AT ITER 1986 NEW BEST:: SOT 1813028 SOS 705934 HAS SOPS 647626 HAS SOUS 546190 HAS SOUPS 531401 WITH SCORE 532106.934
AT ITER 1989 NEW BEST:: SOT 1808535 SOS 709941 HAS SOPS 643006 HAS SOUS 544897 HAS SOUPS 529435 WITH SCORE 530144.941
AT ITER 1992 NEW BEST:: SOT 1808190 SOS 709251 HAS SOPS 642316 HAS SOUS 544207 HAS SOUPS 528745 WITH SCORE 529454.251
AT ITER 2002 NEW BEST:: SOT 1808190 SOS 709085 HAS SOPS 642150 HAS SOUS 544124 HAS SOUPS 528662 WITH SCORE 529371.085
AT ITER 2009 NEW BEST:: SOT 1808023 SOS 708682 HAS SOPS 641816 HAS SOUS 543790 HAS SOUPS 528328 WITH SCORE 529036.682
AT ITER 2027 NEW BEST:: SOT 1807825 SOS 707998 HAS SOPS 641420 HAS SOUS 543614 HAS SOUPS 528152 WITH SCORE 528859.998
AT ITER 2030 NEW BEST:: SOT 1808103 SOS 707855 HAS SOPS 641465 HAS SOUS 542981 HAS SOUPS 527593 WITH SCORE 528300.855
AT ITER 2031 NEW BEST:: SOT 1808089 SOS 707827 HAS SOPS 641437 HAS SOUS 542953 HAS SOUPS 527565 WITH SCORE 528272.827
AT ITER 2037 NEW BEST:: SOT 1807806 SOS 707024 HAS SOPS 640634 HAS SOUS 542697 HAS SOUPS 527309 WITH SCORE 528016.024
AT ITER 2038 NEW BEST:: SOT 1807851 SOS 706984 HAS SOPS 640594 HAS SOUS 542509 HAS SOUPS 527121 WITH SCORE 527827.984
AT ITER 2040 NEW BEST:: SOT 1807851 SOS 706926 HAS SOPS 640478 HAS SOUS 542451 HAS SOUPS 527063 WITH SCORE 527769.926
AT ITER 2042 NEW BEST:: SOT 1807851 SOS 706568 HAS SOPS 640319 HAS SOUS 542451 HAS SOUPS 527063 WITH SCORE 527769.568
AT ITER 2043 NEW BEST:: SOT 1807851 SOS 706446 HAS SOPS 640197 HAS SOUS 542329 HAS SOUPS 526941 WITH SCORE 527647.446
AT ITER 2049 NEW BEST:: SOT 1807582 SOS 706023 HAS SOPS 639774 HAS SOUS 541921 HAS SOUPS 526533 WITH SCORE 527239.023
AT ITER 2050 NEW BEST:: SOT 1807553 SOS 705965 HAS SOPS 639716 HAS SOUS 541863 HAS SOUPS 526475 WITH SCORE 527180.965
AT ITER 2051 NEW BEST:: SOT 1807076 SOS 705211 HAS SOPS 639248 HAS SOUS 541526 HAS SOUPS 526138 WITH SCORE 526843.211
AT ITER 2053 NEW BEST:: SOT 1808098 SOS 704839 HAS SOPS 639537 HAS SOUS 537456 HAS SOUPS 522486 WITH SCORE 523190.839
AT ITER 2056 NEW BEST:: SOT 1808117 SOS 704858 HAS SOPS 639612 HAS SOUS 537438 HAS SOUPS 522468 WITH SCORE 523172.858
AT ITER 2068 NEW BEST:: SOT 1808051 SOS 704647 HAS SOPS 639401 HAS SOUS 537227 HAS SOUPS 522257 WITH SCORE 522961.647
AT ITER 2072 NEW BEST:: SOT 1808051 SOS 704647 HAS SOPS 639401 HAS SOUS 537144 HAS SOUPS 522174 WITH SCORE 522878.647
AT ITER 2073 NEW BEST:: SOT 1807700 SOS 703367 HAS SOPS 637819 HAS SOUS 536276 HAS SOUPS 521306 WITH SCORE 522009.367
AT ITER 2075 NEW BEST:: SOT 1807907 SOS 699538 HAS SOPS 637860 HAS SOUS 536016 HAS SOUPS 521212 WITH SCORE 521911.538
AT ITER 2081 NEW BEST:: SOT 1807646 SOS 699294 HAS SOPS 637831 HAS SOUS 535961 HAS SOUPS 521157 WITH SCORE 521856.294
AT ITER 2082 NEW BEST:: SOT 1807497 SOS 698996 HAS SOPS 637533 HAS SOUS 535663 HAS SOUPS 520859 WITH SCORE 521557.996
AT ITER 2089 NEW BEST:: SOT 1807465 SOS 698802 HAS SOPS 636793 HAS SOUS 535295 HAS SOUPS 520163 WITH SCORE 520861.802
AT ITER 2095 NEW BEST:: SOT 1807354 SOS 698691 HAS SOPS 636682 HAS SOUS 535184 HAS SOUPS 520052 WITH SCORE 520750.691
AT ITER 2099 NEW BEST:: SOT 1807321 SOS 698431 HAS SOPS 636455 HAS SOUS 535089 HAS SOUPS 519957 WITH SCORE 520655.431
AT ITER 2121 NEW BEST:: SOT 1807221 SOS 698231 HAS SOPS 636255 HAS SOUS 534889 HAS SOUPS 519757 WITH SCORE 520455.231
AT ITER 2122 NEW BEST:: SOT 1807128 SOS 698200 HAS SOPS 636385 HAS SOUS 534864 HAS SOUPS 519732 WITH SCORE 520430.2
AT ITER 2125 NEW BEST:: SOT 1806992 SOS 698239 HAS SOPS 636249 HAS SOUS 534728 HAS SOUPS 519596 WITH SCORE 520294.239
AT ITER 2135 NEW BEST:: SOT 1805297 SOS 699846 HAS SOPS 634311 HAS SOUS 533033 HAS SOUPS 517658 WITH SCORE 518357.846
AT ITER 2148 NEW BEST:: SOT 1804819 SOS 699058 HAS SOPS 633523 HAS SOUS 532077 HAS SOUPS 516702 WITH SCORE 517401.058
AT ITER 2153 NEW BEST:: SOT 1804634 SOS 698528 HAS SOPS 633153 HAS SOUS 531707 HAS SOUPS 516332 WITH SCORE 517030.528
AT ITER 2166 NEW BEST:: SOT 1804634 SOS 698577 HAS SOPS 633153 HAS SOUS 531527 HAS SOUPS 516152 WITH SCORE 516850.577
AT ITER 2171 NEW BEST:: SOT 1804634 SOS 698566 HAS SOPS 633142 HAS SOUS 531527 HAS SOUPS 516152 WITH SCORE 516850.566
AT ITER 2178 NEW BEST:: SOT 1808646 SOS 701240 HAS SOPS 636781 HAS SOUS 529934 HAS SOUPS 515022 WITH SCORE 515723.24
AT ITER 2182 NEW BEST:: SOT 1808643 SOS 701231 HAS SOPS 636772 HAS SOUS 529928 HAS SOUPS 515016 WITH SCORE 515717.231
AT ITER 2187 NEW BEST:: SOT 1808358 SOS 700879 HAS SOPS 636420 HAS SOUS 529748 HAS SOUPS 514836 WITH SCORE 515536.879
AT ITER 2191 NEW BEST:: SOT 1808252 SOS 700667 HAS SOPS 636208 HAS SOUS 529536 HAS SOUPS 514624 WITH SCORE 515324.667
AT ITER 2196 NEW BEST:: SOT 1808212 SOS 700587 HAS SOPS 636128 HAS SOUS 529456 HAS SOUPS 514544 WITH SCORE 515244.587
AT ITER 2198 NEW BEST:: SOT 1808129 SOS 700421 HAS SOPS 635962 HAS SOUS 529290 HAS SOUPS 514378 WITH SCORE 515078.421
AT ITER 2200 NEW BEST:: SOT 1807071 SOS 699635 HAS SOPS 635926 HAS SOUS 528982 HAS SOUPS 514070 WITH SCORE 514769.635
AT ITER 2203 NEW BEST:: SOT 1807071 SOS 699586 HAS SOPS 635843 HAS SOUS 528950 HAS SOUPS 514038 WITH SCORE 514737.586
AT ITER 2204 NEW BEST:: SOT 1807071 SOS 699477 HAS SOPS 635734 HAS SOUS 528950 HAS SOUPS 514038 WITH SCORE 514737.477
AT ITER 2207 NEW BEST:: SOT 1807005 SOS 699345 HAS SOPS 635602 HAS SOUS 528818 HAS SOUPS 513906 WITH SCORE 514605.345
AT ITER 2222 NEW BEST:: SOT 1806982 SOS 699322 HAS SOPS 635556 HAS SOUS 528772 HAS SOUPS 513860 WITH SCORE 514559.322
AT ITER 2231 NEW BEST:: SOT 1806959 SOS 699293 HAS SOPS 635527 HAS SOUS 528743 HAS SOUPS 513831 WITH SCORE 514530.293
AT ITER 2245 NEW BEST:: SOT 1806929 SOS 699203 HAS SOPS 635437 HAS SOUS 528683 HAS SOUPS 513771 WITH SCORE 514470.203
AT ITER 2250 NEW BEST:: SOT 1807407 SOS 697506 HAS SOPS 634592 HAS SOUS 525326 HAS SOUPS 510709 WITH SCORE 511406.506
AT ITER 2265 NEW BEST:: SOT 1805480 SOS 698724 HAS SOPS 636345 HAS SOUS 524724 HAS SOUPS 510117 WITH SCORE 510815.724
AT ITER 2266 NEW BEST:: SOT 1805461 SOS 698686 HAS SOPS 636307 HAS SOUS 524686 HAS SOUPS 510079 WITH SCORE 510777.686
AT ITER 2268 NEW BEST:: SOT 1805368 SOS 698500 HAS SOPS 636121 HAS SOUS 524500 HAS SOUPS 509893 WITH SCORE 510591.5
AT ITER 2284 NEW BEST:: SOT 1805160 SOS 698119 HAS SOPS 635705 HAS SOUS 524084 HAS SOUPS 509477 WITH SCORE 510175.119
AT ITER 2288 NEW BEST:: SOT 1805155 SOS 698114 HAS SOPS 635700 HAS SOUS 524074 HAS SOUPS 509467 WITH SCORE 510165.114
AT ITER 2291 NEW BEST:: SOT 1805148 SOS 698155 HAS SOPS 635741 HAS SOUS 524060 HAS SOUPS 509453 WITH SCORE 510151.155
AT ITER 2295 NEW BEST:: SOT 1806520 SOS 697586 HAS SOPS 633985 HAS SOUS 524040 HAS SOUPS 509433 WITH SCORE 510130.586
AT ITER 2296 NEW BEST:: SOT 1806520 SOS 697407 HAS SOPS 633985 HAS SOUS 524040 HAS SOUPS 509433 WITH SCORE 510130.407
AT ITER 2306 NEW BEST:: SOT 1806220 SOS 697082 HAS SOPS 633486 HAS SOUS 523674 HAS SOUPS 509067 WITH SCORE 509764.082
AT ITER 2309 NEW BEST:: SOT 1806089 SOS 696437 HAS SOPS 633224 HAS SOUS 523264 HAS SOUPS 508805 WITH SCORE 509501.437
AT ITER 2317 NEW BEST:: SOT 1806071 SOS 696419 HAS SOPS 633206 HAS SOUS 523246 HAS SOUPS 508787 WITH SCORE 509483.419
AT ITER 2320 NEW BEST:: SOT 1805717 SOS 695711 HAS SOPS 632498 HAS SOUS 522558 HAS SOUPS 508099 WITH SCORE 508794.711
AT ITER 2330 NEW BEST:: SOT 1805352 SOS 695226 HAS SOPS 631940 HAS SOUS 522000 HAS SOUPS 507541 WITH SCORE 508236.226
AT ITER 2332 NEW BEST:: SOT 1805252 SOS 695076 HAS SOPS 631790 HAS SOUS 521850 HAS SOUPS 507391 WITH SCORE 508086.076
AT ITER 2337 NEW BEST:: SOT 1805227 SOS 694845 HAS SOPS 631740 HAS SOUS 521800 HAS SOUPS 507341 WITH SCORE 508035.845
AT ITER 2347 NEW BEST:: SOT 1805208 SOS 694991 HAS SOPS 631702 HAS SOUS 521762 HAS SOUPS 507303 WITH SCORE 507997.991
AT ITER 2353 NEW BEST:: SOT 1804887 SOS 694264 HAS SOPS 631060 HAS SOUS 521120 HAS SOUPS 506661 WITH SCORE 507355.264
AT ITER 2358 NEW BEST:: SOT 1803874 SOS 693344 HAS SOPS 630312 HAS SOUS 520128 HAS SOUPS 505817 WITH SCORE 506510.344
AT ITER 2362 NEW BEST:: SOT 1803670 SOS 693186 HAS SOPS 630154 HAS SOUS 519970 HAS SOUPS 505659 WITH SCORE 506352.186
AT ITER 2369 NEW BEST:: SOT 1803670 SOS 693172 HAS SOPS 630126 HAS SOUS 519956 HAS SOUPS 505645 WITH SCORE 506338.172
AT ITER 2371 NEW BEST:: SOT 1801558 SOS 696618 HAS SOPS 628227 HAS SOUS 518946 HAS SOUPS 504261 WITH SCORE 504957.618
AT ITER 2374 NEW BEST:: SOT 1801410 SOS 696076 HAS SOPS 627685 HAS SOUS 518650 HAS SOUPS 503965 WITH SCORE 504661.076
AT ITER 2379 NEW BEST:: SOT 1801329 SOS 695729 HAS SOPS 627523 HAS SOUS 518488 HAS SOUPS 503803 WITH SCORE 504498.729
AT ITER 2387 NEW BEST:: SOT 1801143 SOS 695622 HAS SOPS 627416 HAS SOUS 518381 HAS SOUPS 503696 WITH SCORE 504391.622
AT ITER 2395 NEW BEST:: SOT 1801016 SOS 695066 HAS SOPS 626860 HAS SOUS 518270 HAS SOUPS 503585 WITH SCORE 504280.066
AT ITER 2398 NEW BEST:: SOT 1800998 SOS 695030 HAS SOPS 626824 HAS SOUS 518234 HAS SOUPS 503549 WITH SCORE 504244.03
AT ITER 2399 NEW BEST:: SOT 1800725 SOS 694458 HAS SOPS 626278 HAS SOUS 517688 HAS SOUPS 503003 WITH SCORE 503697.458
AT ITER 2401 NEW BEST:: SOT 1798129 SOS 695039 HAS SOPS 623846 HAS SOUS 515867 HAS SOUPS 500874 WITH SCORE 501569.039
AT ITER 2408 NEW BEST:: SOT 1798081 SOS 694751 HAS SOPS 623750 HAS SOUS 515771 HAS SOUPS 500778 WITH SCORE 501472.751
AT ITER 2412 NEW BEST:: SOT 1797858 SOS 694258 HAS SOPS 623257 HAS SOUS 515374 HAS SOUPS 500381 WITH SCORE 501075.258
AT ITER 2414 NEW BEST:: SOT 1797702 SOS 693946 HAS SOPS 622945 HAS SOUS 515062 HAS SOUPS 500069 WITH SCORE 500762.946
AT ITER 2418 NEW BEST:: SOT 1797702 SOS 693946 HAS SOPS 622932 HAS SOUS 515049 HAS SOUPS 500056 WITH SCORE 500749.946
AT ITER 2429 NEW BEST:: SOT 1797298 SOS 693846 HAS SOPS 622832 HAS SOUS 514720 HAS SOUPS 499727 WITH SCORE 500420.846
AT ITER 2430 NEW BEST:: SOT 1797298 SOS 693826 HAS SOPS 622812 HAS SOUS 514720 HAS SOUPS 499727 WITH SCORE 500420.826
AT ITER 2433 NEW BEST:: SOT 1797332 SOS 693363 HAS SOPS 622651 HAS SOUS 514559 HAS SOUPS 499566 WITH SCORE 500259.363
AT ITER 2453 NEW BEST:: SOT 1797286 SOS 693307 HAS SOPS 622559 HAS SOUS 514467 HAS SOUPS 499474 WITH SCORE 500167.307
AT ITER 2466 NEW BEST:: SOT 1796893 SOS 693168 HAS SOPS 622249 HAS SOUS 514311 HAS SOUPS 499164 WITH SCORE 499857.168
AT ITER 2478 NEW BEST:: SOT 1796333 SOS 692608 HAS SOPS 621123 HAS SOUS 513185 HAS SOUPS 498038 WITH SCORE 498730.608
AT ITER 2482 NEW BEST:: SOT 1796269 SOS 692480 HAS SOPS 620995 HAS SOUS 513057 HAS SOUPS 497910 WITH SCORE 498602.48
AT ITER 2492 NEW BEST:: SOT 1796152 SOS 692156 HAS SOPS 620761 HAS SOUS 512823 HAS SOUPS 497676 WITH SCORE 498368.156
AT ITER 2493 NEW BEST:: SOT 1795928 SOS 691706 HAS SOPS 620316 HAS SOUS 512784 HAS SOUPS 497637 WITH SCORE 498328.706
AT ITER 2499 NEW BEST:: SOT 1795969 SOS 691698 HAS SOPS 620308 HAS SOUS 512776 HAS SOUPS 497629 WITH SCORE 498320.698
AT ITER 2503 NEW BEST:: SOT 1795969 SOS 691467 HAS SOPS 620308 HAS SOUS 512776 HAS SOUPS 497629 WITH SCORE 498320.467
AT ITER 2507 NEW BEST:: SOT 1795982 SOS 691540 HAS SOPS 620329 HAS SOUS 512742 HAS SOUPS 497595 WITH SCORE 498286.54
AT ITER 2511 NEW BEST:: SOT 1795852 SOS 691269 HAS SOPS 620069 HAS SOUS 512482 HAS SOUPS 497335 WITH SCORE 498026.269
AT ITER 2512 NEW BEST:: SOT 1795534 SOS 690792 HAS SOPS 619592 HAS SOUS 512005 HAS SOUPS 496858 WITH SCORE 497548.792
AT ITER 2517 NEW BEST:: SOT 1795534 SOS 690707 HAS SOPS 619507 HAS SOUS 511920 HAS SOUPS 496773 WITH SCORE 497463.707
AT ITER 2522 NEW BEST:: SOT 1795193 SOS 689880 HAS SOPS 618825 HAS SOUS 511238 HAS SOUPS 496091 WITH SCORE 496780.88
AT ITER 2523 NEW BEST:: SOT 1795244 SOS 690037 HAS SOPS 618226 HAS SOUS 510911 HAS SOUPS 495764 WITH SCORE 496454.037
AT ITER 2539 NEW BEST:: SOT 1795235 SOS 690019 HAS SOPS 618208 HAS SOUS 510893 HAS SOUPS 495746 WITH SCORE 496436.019
AT ITER 2542 NEW BEST:: SOT 1795322 SOS 690252 HAS SOPS 618441 HAS SOUS 510858 HAS SOUPS 495711 WITH SCORE 496401.252
AT ITER 2550 NEW BEST:: SOT 1795261 SOS 690191 HAS SOPS 618319 HAS SOUS 510736 HAS SOUPS 495589 WITH SCORE 496279.191
AT ITER 2567 NEW BEST:: SOT 1795087 SOS 689935 HAS SOPS 618063 HAS SOUS 510483 HAS SOUPS 495336 WITH SCORE 496025.935
AT ITER 2568 NEW BEST:: SOT 1795086 SOS 689933 HAS SOPS 618061 HAS SOUS 510480 HAS SOUPS 495333 WITH SCORE 496022.933
AT ITER 2569 NEW BEST:: SOT 1794920 SOS 689767 HAS SOPS 617596 HAS SOUS 510274 HAS SOUPS 495127 WITH SCORE 495816.767
AT ITER 2572 NEW BEST:: SOT 1794990 SOS 689726 HAS SOPS 617555 HAS SOUS 510271 HAS SOUPS 495124 WITH SCORE 495813.726
AT ITER 2574 NEW BEST:: SOT 1794950 SOS 689711 HAS SOPS 617477 HAS SOUS 510191 HAS SOUPS 495044 WITH SCORE 495733.711
AT ITER 2585 NEW BEST:: SOT 1794950 SOS 689411 HAS SOPS 617477 HAS SOUS 510002 HAS SOUPS 494855 WITH SCORE 495544.411
AT ITER 2596 NEW BEST:: SOT 1794801 SOS 689113 HAS SOPS 617179 HAS SOUS 509704 HAS SOUPS 494557 WITH SCORE 495246.113
AT ITER 2600 NEW BEST:: SOT 1788716 SOS 684938 HAS SOPS 611094 HAS SOUS 507047 HAS SOUPS 491539 WITH SCORE 492223.938
AT ITER 2606 NEW BEST:: SOT 1788592 SOS 684690 HAS SOPS 610846 HAS SOUS 506799 HAS SOUPS 491291 WITH SCORE 491975.69
AT ITER 2616 NEW BEST:: SOT 1788444 SOS 684394 HAS SOPS 610550 HAS SOUS 506503 HAS SOUPS 490995 WITH SCORE 491679.394
AT ITER 2620 NEW BEST:: SOT 1788416 SOS 684338 HAS SOPS 610494 HAS SOUS 506447 HAS SOUPS 490939 WITH SCORE 491623.338
AT ITER 2628 NEW BEST:: SOT 1788305 SOS 684296 HAS SOPS 610272 HAS SOUS 506225 HAS SOUPS 490717 WITH SCORE 491401.296
AT ITER 2630 NEW BEST:: SOT 1788213 SOS 684204 HAS SOPS 609996 HAS SOUS 505949 HAS SOUPS 490441 WITH SCORE 491125.204
AT ITER 2668 NEW BEST:: SOT 1788184 SOS 683974 HAS SOPS 609938 HAS SOUS 505891 HAS SOUPS 490383 WITH SCORE 491066.974
AT ITER 2675 NEW BEST:: SOT 1788253 SOS 683895 HAS SOPS 609563 HAS SOUS 505590 HAS SOUPS 490082 WITH SCORE 490765.895
AT ITER 2679 NEW BEST:: SOT 1788236 SOS 683861 HAS SOPS 609512 HAS SOUS 505556 HAS SOUPS 490048 WITH SCORE 490731.861
AT ITER 2688 NEW BEST:: SOT 1788236 SOS 683861 HAS SOPS 609512 HAS SOUS 505553 HAS SOUPS 490045 WITH SCORE 490728.861
AT ITER 2708 NEW BEST:: SOT 1788236 SOS 683868 HAS SOPS 609512 HAS SOUS 505546 HAS SOUPS 490038 WITH SCORE 490721.868
AT ITER 2709 NEW BEST:: SOT 1788213 SOS 683868 HAS SOPS 609512 HAS SOUS 505523 HAS SOUPS 490015 WITH SCORE 490698.868
AT ITER 2711 NEW BEST:: SOT 1788124 SOS 683690 HAS SOPS 609334 HAS SOUS 505469 HAS SOUPS 489961 WITH SCORE 490644.69
AT ITER 2712 NEW BEST:: SOT 1788039 SOS 683821 HAS SOPS 609164 HAS SOUS 505299 HAS SOUPS 489791 WITH SCORE 490474.821
AT ITER 2715 NEW BEST:: SOT 1787993 SOS 683729 HAS SOPS 609072 HAS SOUS 505207 HAS SOUPS 489699 WITH SCORE 490382.729
AT ITER 2722 NEW BEST:: SOT 1787606 SOS 682979 HAS SOPS 608322 HAS SOUS 504795 HAS SOUPS 489287 WITH SCORE 489969.979
AT ITER 2727 NEW BEST:: SOT 1787559 SOS 682932 HAS SOPS 608228 HAS SOUS 504724 HAS SOUPS 489216 WITH SCORE 489898.932
AT ITER 2730 NEW BEST:: SOT 1790681 SOS 683146 HAS SOPS 610339 HAS SOUS 503937 HAS SOUPS 489081 WITH SCORE 489764.146
AT ITER 2736 NEW BEST:: SOT 1787703 SOS 680314 HAS SOPS 607158 HAS SOUS 504225 HAS SOUPS 489078 WITH SCORE 489758.314
AT ITER 2741 NEW BEST:: SOT 1787703 SOS 680245 HAS SOPS 607158 HAS SOUS 504167 HAS SOUPS 489078 WITH SCORE 489758.245
AT ITER 2745 NEW BEST:: SOT 1787545 SOS 679518 HAS SOPS 606842 HAS SOUS 503851 HAS SOUPS 488762 WITH SCORE 489441.518
AT ITER 2746 NEW BEST:: SOT 1787545 SOS 679488 HAS SOPS 606812 HAS SOUS 503851 HAS SOUPS 488762 WITH SCORE 489441.488
AT ITER 2751 NEW BEST:: SOT 1787384 SOS 679348 HAS SOPS 606511 HAS SOUS 503613 HAS SOUPS 488524 WITH SCORE 489203.348
AT ITER 2757 NEW BEST:: SOT 1787430 SOS 679500 HAS SOPS 606603 HAS SOUS 503599 HAS SOUPS 488510 WITH SCORE 489189.5
AT ITER 2762 NEW BEST:: SOT 1787261 SOS 678931 HAS SOPS 606265 HAS SOUS 503261 HAS SOUPS 488172 WITH SCORE 488850.931
AT ITER 2786 NEW BEST:: SOT 1786994 SOS 678397 HAS SOPS 605731 HAS SOUS 502727 HAS SOUPS 487638 WITH SCORE 488316.397
AT ITER 2788 NEW BEST:: SOT 1786889 SOS 678348 HAS SOPS 605504 HAS SOUS 502517 HAS SOUPS 487428 WITH SCORE 488106.348
AT ITER 2793 NEW BEST:: SOT 1786889 SOS 678282 HAS SOPS 605370 HAS SOUS 502449 HAS SOUPS 487360 WITH SCORE 488038.282
AT ITER 2795 NEW BEST:: SOT 1786900 SOS 678301 HAS SOPS 605392 HAS SOUS 502300 HAS SOUPS 487211 WITH SCORE 487889.301
AT ITER 2796 NEW BEST:: SOT 1786604 SOS 676937 HAS SOPS 604800 HAS SOUS 501708 HAS SOUPS 486619 WITH SCORE 487295.937
AT ITER 2797 NEW BEST:: SOT 1786468 SOS 675238 HAS SOPS 603032 HAS SOUS 501503 HAS SOUPS 486414 WITH SCORE 487089.238
AT ITER 2801 NEW BEST:: SOT 1785777 SOS 674370 HAS SOPS 602169 HAS SOUS 500503 HAS SOUPS 485414 WITH SCORE 486088.37
AT ITER 2810 NEW BEST:: SOT 1785775 SOS 674366 HAS SOPS 602165 HAS SOUS 500499 HAS SOUPS 485410 WITH SCORE 486084.366
AT ITER 2811 NEW BEST:: SOT 1785747 SOS 674310 HAS SOPS 602109 HAS SOUS 500443 HAS SOUPS 485354 WITH SCORE 486028.31
AT ITER 2814 NEW BEST:: SOT 1785723 SOS 674286 HAS SOPS 602037 HAS SOUS 500371 HAS SOUPS 485282 WITH SCORE 485956.286
AT ITER 2816 NEW BEST:: SOT 1785946 SOS 675107 HAS SOPS 601463 HAS SOUS 499585 HAS SOUPS 484496 WITH SCORE 485171.107
AT ITER 2828 NEW BEST:: SOT 1785605 SOS 674293 HAS SOPS 600781 HAS SOUS 498903 HAS SOUPS 483814 WITH SCORE 484488.293
AT ITER 2837 NEW BEST:: SOT 1785551 SOS 674185 HAS SOPS 600673 HAS SOUS 498795 HAS SOUPS 483706 WITH SCORE 484380.185
AT ITER 2838 NEW BEST:: SOT 1785089 SOS 673225 HAS SOPS 599749 HAS SOUS 497871 HAS SOUPS 482782 WITH SCORE 483455.225
AT ITER 2846 NEW BEST:: SOT 1785006 SOS 673329 HAS SOPS 599853 HAS SOUS 497705 HAS SOUPS 482616 WITH SCORE 483289.329
AT ITER 2849 NEW BEST:: SOT 1785292 SOS 673181 HAS SOPS 599162 HAS SOUS 497494 HAS SOUPS 482405 WITH SCORE 483078.181
AT ITER 2850 NEW BEST:: SOT 1785270 SOS 672505 HAS SOPS 598413 HAS SOUS 497295 HAS SOUPS 482206 WITH SCORE 482878.505
AT ITER 2873 NEW BEST:: SOT 1785065 SOS 673170 HAS SOPS 599075 HAS SOUS 497246 HAS SOUPS 482142 WITH SCORE 482815.17
AT ITER 2875 NEW BEST:: SOT 1784878 SOS 671704 HAS SOPS 597609 HAS SOUS 496872 HAS SOUPS 481768 WITH SCORE 482439.704
AT ITER 2884 NEW BEST:: SOT 1784824 SOS 671596 HAS SOPS 597501 HAS SOUS 496764 HAS SOUPS 481660 WITH SCORE 482331.596
AT ITER 2899 NEW BEST:: SOT 1784824 SOS 671459 HAS SOPS 597364 HAS SOUS 496764 HAS SOUPS 481660 WITH SCORE 482331.459
AT ITER 2910 NEW BEST:: SOT 1782719 SOS 671946 HAS SOPS 595517 HAS SOUS 495829 HAS SOUPS 480467 WITH SCORE 481138.946
AT ITER 2928 NEW BEST:: SOT 1782609 SOS 671873 HAS SOPS 595444 HAS SOUS 495756 HAS SOUPS 480394 WITH SCORE 481065.873
AT ITER 2932 NEW BEST:: SOT 1782696 SOS 672062 HAS SOPS 595185 HAS SOUS 495497 HAS SOUPS 480135 WITH SCORE 480807.062
AT ITER 2936 NEW BEST:: SOT 1782364 SOS 675585 HAS SOPS 594173 HAS SOUS 495409 HAS SOUPS 479451 WITH SCORE 480126.585
AT ITER 2937 NEW BEST:: SOT 1782322 SOS 675501 HAS SOPS 594089 HAS SOUS 495325 HAS SOUPS 479367 WITH SCORE 480042.501
AT ITER 2938 NEW BEST:: SOT 1782121 SOS 675370 HAS SOPS 593958 HAS SOUS 494812 HAS SOUPS 478854 WITH SCORE 479529.37
AT ITER 2942 NEW BEST:: SOT 1782121 SOS 675370 HAS SOPS 593789 HAS SOUS 494643 HAS SOUPS 478685 WITH SCORE 479360.37
AT ITER 2946 NEW BEST:: SOT 1782000 SOS 675128 HAS SOPS 593547 HAS SOUS 494511 HAS SOUPS 478553 WITH SCORE 479228.128
AT ITER 2950 NEW BEST:: SOT 1782000 SOS 674804 HAS SOPS 593223 HAS SOUS 494457 HAS SOUPS 478499 WITH SCORE 479173.804
AT ITER 2963 NEW BEST:: SOT 1781754 SOS 674371 HAS SOPS 592977 HAS SOUS 494152 HAS SOUPS 478194 WITH SCORE 478868.371
AT ITER 2987 NEW BEST:: SOT 1781682 SOS 673927 HAS SOPS 592513 HAS SOUS 494016 HAS SOUPS 478058 WITH SCORE 478731.927
AT ITER 2990 NEW BEST:: SOT 1783219 SOS 675405 HAS SOPS 594156 HAS SOUS 493178 HAS SOUPS 477371 WITH SCORE 478046.405
AT ITER 3001 NEW BEST:: SOT 1783219 SOS 675315 HAS SOPS 594066 HAS SOUS 493163 HAS SOUPS 477356 WITH SCORE 478031.315
AT ITER 3002 NEW BEST:: SOT 1783219 SOS 675300 HAS SOPS 594066 HAS SOUS 493163 HAS SOUPS 477356 WITH SCORE 478031.3
AT ITER 3004 NEW BEST:: SOT 1783069 SOS 675000 HAS SOPS 593766 HAS SOUS 492863 HAS SOUPS 477056 WITH SCORE 477731.0
AT ITER 3010 NEW BEST:: SOT 1782995 SOS 674852 HAS SOPS 593618 HAS SOUS 492715 HAS SOUPS 476908 WITH SCORE 477582.852
AT ITER 3033 NEW BEST:: SOT 1785209 SOS 671620 HAS SOPS 593007 HAS SOUS 489280 HAS SOUPS 474087 WITH SCORE 474758.62
AT ITER 3040 NEW BEST:: SOT 1785145 SOS 671133 HAS SOPS 592520 HAS SOUS 489127 HAS SOUPS 473934 WITH SCORE 474605.133
AT ITER 3054 NEW BEST:: SOT 1786379 SOS 671986 HAS SOPS 593658 HAS SOUS 488676 HAS SOUPS 473633 WITH SCORE 474304.986
AT ITER 3060 NEW BEST:: SOT 1786186 SOS 671600 HAS SOPS 593272 HAS SOUS 488290 HAS SOUPS 473247 WITH SCORE 473918.6
AT ITER 3067 NEW BEST:: SOT 1786184 SOS 671246 HAS SOPS 593268 HAS SOUS 488286 HAS SOUPS 473243 WITH SCORE 473914.246
AT ITER 3070 NEW BEST:: SOT 1786008 SOS 670905 HAS SOPS 592916 HAS SOUS 487934 HAS SOUPS 472891 WITH SCORE 473561.905
AT ITER 3074 NEW BEST:: SOT 1785953 SOS 670795 HAS SOPS 592806 HAS SOUS 487824 HAS SOUPS 472781 WITH SCORE 473451.795
AT ITER 3075 NEW BEST:: SOT 1785906 SOS 670701 HAS SOPS 592712 HAS SOUS 487730 HAS SOUPS 472687 WITH SCORE 473357.701
AT ITER 3086 NEW BEST:: SOT 1785277 SOS 669735 HAS SOPS 591746 HAS SOUS 487175 HAS SOUPS 472132 WITH SCORE 472801.735
AT ITER 3089 NEW BEST:: SOT 1785104 SOS 668178 HAS SOPS 590189 HAS SOUS 486656 HAS SOUPS 471613 WITH SCORE 472281.178
AT ITER 3106 NEW BEST:: SOT 1784946 SOS 667881 HAS SOPS 589892 HAS SOUS 486585 HAS SOUPS 471542 WITH SCORE 472209.881
AT ITER 3108 NEW BEST:: SOT 1784814 SOS 667739 HAS SOPS 589694 HAS SOUS 486387 HAS SOUPS 471344 WITH SCORE 472011.739
AT ITER 3124 NEW BEST:: SOT 1784656 SOS 667423 HAS SOPS 589378 HAS SOUS 486071 HAS SOUPS 471028 WITH SCORE 471695.423
AT ITER 3145 NEW BEST:: SOT 1784468 SOS 667627 HAS SOPS 589582 HAS SOUS 485855 HAS SOUPS 470812 WITH SCORE 471479.627
AT ITER 3156 NEW BEST:: SOT 1784385 SOS 667461 HAS SOPS 589416 HAS SOUS 485689 HAS SOUPS 470646 WITH SCORE 471313.461
AT ITER 3158 NEW BEST:: SOT 1783913 SOS 666572 HAS SOPS 588148 HAS SOUS 485124 HAS SOUPS 470081 WITH SCORE 470747.572
AT ITER 3185 NEW BEST:: SOT 1783913 SOS 666336 HAS SOPS 587977 HAS SOUS 485067 HAS SOUPS 470024 WITH SCORE 470690.336
AT ITER 3187 NEW BEST:: SOT 1783913 SOS 666272 HAS SOPS 587977 HAS SOUS 485067 HAS SOUPS 470024 WITH SCORE 470690.272
AT ITER 3199 NEW BEST:: SOT 1783543 SOS 665962 HAS SOPS 587830 HAS SOUS 484920 HAS SOUPS 469877 WITH SCORE 470542.962
AT ITER 3201 NEW BEST:: SOT 1783456 SOS 665788 HAS SOPS 587656 HAS SOUS 484746 HAS SOUPS 469703 WITH SCORE 470368.788
AT ITER 3202 NEW BEST:: SOT 1783150 SOS 665418 HAS SOPS 587329 HAS SOUS 484419 HAS SOUPS 469376 WITH SCORE 470041.418
AT ITER 3209 NEW BEST:: SOT 1783410 SOS 665630 HAS SOPS 587589 HAS SOUS 484376 HAS SOUPS 469360 WITH SCORE 470025.63
AT ITER 3217 NEW BEST:: SOT 1783255 SOS 665249 HAS SOPS 587311 HAS SOUS 484292 HAS SOUPS 469276 WITH SCORE 469941.249
AT ITER 3224 NEW BEST:: SOT 1782984 SOS 664858 HAS SOPS 586920 HAS SOUS 483901 HAS SOUPS 468885 WITH SCORE 469549.858
AT ITER 3230 NEW BEST:: SOT 1782880 SOS 664650 HAS SOPS 586712 HAS SOUS 483693 HAS SOUPS 468677 WITH SCORE 469341.65
AT ITER 3255 NEW BEST:: SOT 1782095 SOS 663068 HAS SOPS 585142 HAS SOUS 482570 HAS SOUPS 467554 WITH SCORE 468217.068
AT ITER 3258 NEW BEST:: SOT 1781816 SOS 662510 HAS SOPS 584584 HAS SOUS 482012 HAS SOUPS 466996 WITH SCORE 467658.51
AT ITER 3259 NEW BEST:: SOT 1781756 SOS 662390 HAS SOPS 584464 HAS SOUS 481892 HAS SOUPS 466876 WITH SCORE 467538.39
AT ITER 3264 NEW BEST:: SOT 1781535 SOS 662169 HAS SOPS 584243 HAS SOUS 481671 HAS SOUPS 466655 WITH SCORE 467317.169
AT ITER 3287 NEW BEST:: SOT 1780809 SOS 664685 HAS SOPS 586767 HAS SOUS 481421 HAS SOUPS 466405 WITH SCORE 467069.685
AT ITER 3290 NEW BEST:: SOT 1780452 SOS 663915 HAS SOPS 585997 HAS SOUS 481064 HAS SOUPS 466048 WITH SCORE 466711.915
AT ITER 3291 NEW BEST:: SOT 1780427 SOS 663890 HAS SOPS 585947 HAS SOUS 481014 HAS SOUPS 465998 WITH SCORE 466661.89
AT ITER 3300 NEW BEST:: SOT 1780385 SOS 663764 HAS SOPS 585821 HAS SOUS 480930 HAS SOUPS 465914 WITH SCORE 466577.764
AT ITER 3306 NEW BEST:: SOT 1780383 SOS 663654 HAS SOPS 585817 HAS SOUS 480926 HAS SOUPS 465910 WITH SCORE 466573.654
AT ITER 3312 NEW BEST:: SOT 1780417 SOS 663126 HAS SOPS 584991 HAS SOUS 480594 HAS SOUPS 465578 WITH SCORE 466241.126
AT ITER 3319 NEW BEST:: SOT 1780417 SOS 663050 HAS SOPS 584934 HAS SOUS 480537 HAS SOUPS 465521 WITH SCORE 466184.05
AT ITER 3333 NEW BEST:: SOT 1780577 SOS 663044 HAS SOPS 584928 HAS SOUS 480531 HAS SOUPS 465515 WITH SCORE 466178.044
AT ITER 3343 NEW BEST:: SOT 1780437 SOS 662904 HAS SOPS 584718 HAS SOUS 480390 HAS SOUPS 465305 WITH SCORE 465967.904
AT ITER 3344 NEW BEST:: SOT 1780426 SOS 662882 HAS SOPS 584696 HAS SOUS 480368 HAS SOUPS 465283 WITH SCORE 465945.882
AT ITER 3357 NEW BEST:: SOT 1780149 SOS 662856 HAS SOPS 584729 HAS SOUS 480338 HAS SOUPS 465253 WITH SCORE 465915.856
AT ITER 3361 NEW BEST:: SOT 1779937 SOS 662767 HAS SOPS 584517 HAS SOUS 480126 HAS SOUPS 465041 WITH SCORE 465703.767
AT ITER 3367 NEW BEST:: SOT 1779891 SOS 662675 HAS SOPS 584425 HAS SOUS 480034 HAS SOUPS 464949 WITH SCORE 465611.675
AT ITER 3368 NEW BEST:: SOT 1779891 SOS 662565 HAS SOPS 584315 HAS SOUS 479924 HAS SOUPS 464839 WITH SCORE 465501.565
AT ITER 3371 NEW BEST:: SOT 1779863 SOS 662509 HAS SOPS 584259 HAS SOUS 479868 HAS SOUPS 464783 WITH SCORE 465445.509
AT ITER 3376 NEW BEST:: SOT 1780552 SOS 662978 HAS SOPS 584949 HAS SOUS 479472 HAS SOUPS 464480 WITH SCORE 465142.978
AT ITER 3385 NEW BEST:: SOT 1779940 SOS 661754 HAS SOPS 583725 HAS SOUS 478248 HAS SOUPS 463256 WITH SCORE 463917.754
AT ITER 3388 NEW BEST:: SOT 1779856 SOS 661690 HAS SOPS 583397 HAS SOUS 478000 HAS SOUPS 463008 WITH SCORE 463669.69
AT ITER 3391 NEW BEST:: SOT 1779802 SOS 661582 HAS SOPS 583289 HAS SOUS 477892 HAS SOUPS 462900 WITH SCORE 463561.582
AT ITER 3396 NEW BEST:: SOT 1779571 SOS 661487 HAS SOPS 582963 HAS SOUS 477430 HAS SOUPS 462438 WITH SCORE 463099.487
AT ITER 3397 NEW BEST:: SOT 1779491 SOS 661479 HAS SOPS 582955 HAS SOUS 477422 HAS SOUPS 462430 WITH SCORE 463091.479
AT ITER 3414 NEW BEST:: SOT 1779415 SOS 661257 HAS SOPS 582803 HAS SOUS 477416 HAS SOUPS 462424 WITH SCORE 463085.257
AT ITER 3422 NEW BEST:: SOT 1779219 SOS 661145 HAS SOPS 582681 HAS SOUS 477185 HAS SOUPS 462193 WITH SCORE 462854.145
AT ITER 3423 NEW BEST:: SOT 1779148 SOS 661128 HAS SOPS 582539 HAS SOUS 477043 HAS SOUPS 462051 WITH SCORE 462712.128
AT ITER 3424 NEW BEST:: SOT 1779009 SOS 660850 HAS SOPS 582261 HAS SOUS 476765 HAS SOUPS 461773 WITH SCORE 462433.85
AT ITER 3431 NEW BEST:: SOT 1778909 SOS 660650 HAS SOPS 582061 HAS SOUS 476565 HAS SOUPS 461573 WITH SCORE 462233.65
AT ITER 3438 NEW BEST:: SOT 1778651 SOS 660134 HAS SOPS 581545 HAS SOUS 476049 HAS SOUPS 461057 WITH SCORE 461717.134
AT ITER 3449 NEW BEST:: SOT 1778612 SOS 660056 HAS SOPS 581467 HAS SOUS 475971 HAS SOUPS 460979 WITH SCORE 461639.056
AT ITER 3452 NEW BEST:: SOT 1778573 SOS 659898 HAS SOPS 581389 HAS SOUS 475893 HAS SOUPS 460901 WITH SCORE 461560.898
AT ITER 3457 NEW BEST:: SOT 1778443 SOS 659781 HAS SOPS 581246 HAS SOUS 475750 HAS SOUPS 460745 WITH SCORE 461404.781
AT ITER 3458 NEW BEST:: SOT 1778383 SOS 658925 HAS SOPS 580411 HAS SOUS 475586 HAS SOUPS 460581 WITH SCORE 461239.925
AT ITER 3460 NEW BEST:: SOT 1778346 SOS 658629 HAS SOPS 580115 HAS SOUS 475512 HAS SOUPS 460507 WITH SCORE 461165.629
AT ITER 3463 NEW BEST:: SOT 1778085 SOS 658510 HAS SOPS 580098 HAS SOUS 475418 HAS SOUPS 460413 WITH SCORE 461071.51
AT ITER 3471 NEW BEST:: SOT 1777965 SOS 658270 HAS SOPS 579754 HAS SOUS 475074 HAS SOUPS 460069 WITH SCORE 460727.27
AT ITER 3474 NEW BEST:: SOT 1777615 SOS 657570 HAS SOPS 579054 HAS SOUS 474374 HAS SOUPS 459369 WITH SCORE 460026.57
AT ITER 3480 NEW BEST:: SOT 1777327 SOS 656706 HAS SOPS 578478 HAS SOUS 473798 HAS SOUPS 458793 WITH SCORE 459449.706
AT ITER 3487 NEW BEST:: SOT 1777236 SOS 656524 HAS SOPS 578296 HAS SOUS 473616 HAS SOUPS 458611 WITH SCORE 459267.524
AT ITER 3492 NEW BEST:: SOT 1777211 SOS 656474 HAS SOPS 578246 HAS SOUS 473591 HAS SOUPS 458586 WITH SCORE 459242.474
AT ITER 3518 NEW BEST:: SOT 1777097 SOS 656246 HAS SOPS 578018 HAS SOUS 473363 HAS SOUPS 458358 WITH SCORE 459014.246
AT ITER 3529 NEW BEST:: SOT 1769174 SOS 655899 HAS SOPS 570312 HAS SOUS 473162 HAS SOUPS 457367 WITH SCORE 458022.899
AT ITER 3533 NEW BEST:: SOT 1769165 SOS 655881 HAS SOPS 570294 HAS SOUS 473144 HAS SOUPS 457349 WITH SCORE 458004.881
AT ITER 3545 NEW BEST:: SOT 1768744 SOS 655039 HAS SOPS 569452 HAS SOUS 472302 HAS SOUPS 456507 WITH SCORE 457162.039
AT ITER 3546 NEW BEST:: SOT 1768744 SOS 654745 HAS SOPS 569158 HAS SOUS 472302 HAS SOUPS 456507 WITH SCORE 457161.745
AT ITER 3548 NEW BEST:: SOT 1768516 SOS 654289 HAS SOPS 568702 HAS SOUS 471846 HAS SOUPS 456051 WITH SCORE 456705.289
AT ITER 3555 NEW BEST:: SOT 1768375 SOS 651351 HAS SOPS 565392 HAS SOUS 471316 HAS SOUPS 455497 WITH SCORE 456148.351
AT ITER 3558 NEW BEST:: SOT 1768276 SOS 651249 HAS SOPS 565290 HAS SOUS 471148 HAS SOUPS 455329 WITH SCORE 455980.249
AT ITER 3559 NEW BEST:: SOT 1766538 SOS 651668 HAS SOPS 560387 HAS SOUS 470207 HAS SOUPS 454092 WITH SCORE 454743.668
AT ITER 3567 NEW BEST:: SOT 1766267 SOS 650962 HAS SOPS 559845 HAS SOUS 469665 HAS SOUPS 453550 WITH SCORE 454200.962
AT ITER 3569 NEW BEST:: SOT 1766204 SOS 650899 HAS SOPS 559768 HAS SOUS 469613 HAS SOUPS 453498 WITH SCORE 454148.899
AT ITER 3581 NEW BEST:: SOT 1766140 SOS 650771 HAS SOPS 559640 HAS SOUS 469485 HAS SOUPS 453370 WITH SCORE 454020.771
AT ITER 3590 NEW BEST:: SOT 1765640 SOS 650003 HAS SOPS 558908 HAS SOUS 468753 HAS SOUPS 452638 WITH SCORE 453288.003
AT ITER 3599 NEW BEST:: SOT 1765440 SOS 649729 HAS SOPS 558508 HAS SOUS 468353 HAS SOUPS 452238 WITH SCORE 452887.729
AT ITER 3609 NEW BEST:: SOT 1765131 SOS 649111 HAS SOPS 557890 HAS SOUS 467735 HAS SOUPS 451620 WITH SCORE 452269.111
AT ITER 3612 NEW BEST:: SOT 1764801 SOS 648674 HAS SOPS 557453 HAS SOUS 467298 HAS SOUPS 451183 WITH SCORE 451831.674
AT ITER 3614 NEW BEST:: SOT 1764761 SOS 648574 HAS SOPS 557373 HAS SOUS 467218 HAS SOUPS 451103 WITH SCORE 451751.574
AT ITER 3624 NEW BEST:: SOT 1764574 SOS 646284 HAS SOPS 555446 HAS SOUS 467117 HAS SOUPS 451002 WITH SCORE 451648.284
AT ITER 3628 NEW BEST:: SOT 1764261 SOS 646159 HAS SOPS 555362 HAS SOUS 467104 HAS SOUPS 450989 WITH SCORE 451635.159
AT ITER 3633 NEW BEST:: SOT 1764274 SOS 646217 HAS SOPS 555007 HAS SOUS 466749 HAS SOUPS 450634 WITH SCORE 451280.217
AT ITER 3637 NEW BEST:: SOT 1764163 SOS 647161 HAS SOPS 555951 HAS SOUS 466638 HAS SOUPS 450523 WITH SCORE 451170.161
AT ITER 3640 NEW BEST:: SOT 1764144 SOS 647123 HAS SOPS 555913 HAS SOUS 466600 HAS SOUPS 450485 WITH SCORE 451132.123
AT ITER 3655 NEW BEST:: SOT 1764063 SOS 646961 HAS SOPS 555751 HAS SOUS 466438 HAS SOUPS 450323 WITH SCORE 450969.961
AT ITER 3656 NEW BEST:: SOT 1763990 SOS 646815 HAS SOPS 555605 HAS SOUS 466292 HAS SOUPS 450177 WITH SCORE 450823.815
AT ITER 3657 NEW BEST:: SOT 1763831 SOS 646545 HAS SOPS 555287 HAS SOUS 465974 HAS SOUPS 449859 WITH SCORE 450505.545
AT ITER 3667 NEW BEST:: SOT 1763702 SOS 646287 HAS SOPS 555029 HAS SOUS 465716 HAS SOUPS 449601 WITH SCORE 450247.287
AT ITER 3678 NEW BEST:: SOT 1763470 SOS 645536 HAS SOPS 554189 HAS SOUS 465163 HAS SOUPS 449048 WITH SCORE 449693.536
AT ITER 3683 NEW BEST:: SOT 1763268 SOS 645131 HAS SOPS 553785 HAS SOUS 464758 HAS SOUPS 448644 WITH SCORE 449289.131
AT ITER 3692 NEW BEST:: SOT 1763008 SOS 644611 HAS SOPS 553265 HAS SOUS 464238 HAS SOUPS 448124 WITH SCORE 448768.611
AT ITER 3694 NEW BEST:: SOT 1762977 SOS 644580 HAS SOPS 553203 HAS SOUS 464222 HAS SOUPS 448062 WITH SCORE 448706.58
AT ITER 3697 NEW BEST:: SOT 1762940 SOS 644506 HAS SOPS 553129 HAS SOUS 464148 HAS SOUPS 447988 WITH SCORE 448632.506
AT ITER 3703 NEW BEST:: SOT 1764170 SOS 643936 HAS SOPS 553782 HAS SOUS 463645 HAS SOUPS 447782 WITH SCORE 448425.936
AT ITER 3711 NEW BEST:: SOT 1764256 SOS 636724 HAS SOPS 549738 HAS SOUS 461147 HAS SOUPS 445763 WITH SCORE 446399.724
AT ITER 3720 NEW BEST:: SOT 1764917 SOS 637396 HAS SOPS 550474 HAS SOUS 461075 HAS SOUPS 445755 WITH SCORE 446392.396
AT ITER 3729 NEW BEST:: SOT 1764938 SOS 637157 HAS SOPS 550412 HAS SOUS 461003 HAS SOUPS 445683 WITH SCORE 446320.157
AT ITER 3743 NEW BEST:: SOT 1764906 SOS 637093 HAS SOPS 550348 HAS SOUS 460939 HAS SOUPS 445619 WITH SCORE 446256.093
AT ITER 3744 NEW BEST:: SOT 1764863 SOS 636991 HAS SOPS 550329 HAS SOUS 460837 HAS SOUPS 445600 WITH SCORE 446236.991
AT ITER 3745 NEW BEST:: SOT 1766659 SOS 638467 HAS SOPS 551853 HAS SOUS 460170 HAS SOUPS 444981 WITH SCORE 445619.467
AT ITER 3747 NEW BEST:: SOT 1766643 SOS 638515 HAS SOPS 551821 HAS SOUS 460058 HAS SOUPS 444869 WITH SCORE 445507.515
AT ITER 3750 NEW BEST:: SOT 1764794 SOS 636925 HAS SOPS 549911 HAS SOUS 459170 HAS SOUPS 443853 WITH SCORE 444489.925
AT ITER 3760 NEW BEST:: SOT 1764583 SOS 636586 HAS SOPS 549572 HAS SOUS 458945 HAS SOUPS 443628 WITH SCORE 444264.586
AT ITER 3766 NEW BEST:: SOT 1764209 SOS 635694 HAS SOPS 549336 HAS SOUS 458709 HAS SOUPS 443392 WITH SCORE 444027.694
AT ITER 3770 NEW BEST:: SOT 1764119 SOS 634916 HAS SOPS 549156 HAS SOUS 458529 HAS SOUPS 443212 WITH SCORE 443846.916
AT ITER 3773 NEW BEST:: SOT 1764092 SOS 634835 HAS SOPS 549102 HAS SOUS 458502 HAS SOUPS 443185 WITH SCORE 443819.835
AT ITER 3788 NEW BEST:: SOT 1764085 SOS 634814 HAS SOPS 549081 HAS SOUS 458488 HAS SOUPS 443171 WITH SCORE 443805.814
AT ITER 3795 NEW BEST:: SOT 1763852 SOS 634354 HAS SOPS 548615 HAS SOUS 458041 HAS SOUPS 442724 WITH SCORE 443358.354
AT ITER 3798 NEW BEST:: SOT 1763832 SOS 634314 HAS SOPS 548575 HAS SOUS 458001 HAS SOUPS 442684 WITH SCORE 443318.314
AT ITER 3817 NEW BEST:: SOT 1763564 SOS 633806 HAS SOPS 548018 HAS SOUS 457558 HAS SOUPS 442241 WITH SCORE 442874.806
AT ITER 3819 NEW BEST:: SOT 1763864 SOS 633347 HAS SOPS 547914 HAS SOUS 457138 HAS SOUPS 441908 WITH SCORE 442541.347
AT ITER 3824 NEW BEST:: SOT 1763645 SOS 632955 HAS SOPS 547466 HAS SOUS 456690 HAS SOUPS 441460 WITH SCORE 442092.955
AT ITER 3827 NEW BEST:: SOT 1763544 SOS 632650 HAS SOPS 547264 HAS SOUS 456488 HAS SOUPS 441258 WITH SCORE 441890.65
AT ITER 3862 NEW BEST:: SOT 1763526 SOS 632589 HAS SOPS 547228 HAS SOUS 456452 HAS SOUPS 441222 WITH SCORE 441854.589
AT ITER 3865 NEW BEST:: SOT 1763516 SOS 632569 HAS SOPS 547208 HAS SOUS 456432 HAS SOUPS 441202 WITH SCORE 441834.569
AT ITER 3872 NEW BEST:: SOT 1763442 SOS 632458 HAS SOPS 547097 HAS SOUS 456321 HAS SOUPS 441091 WITH SCORE 441723.458
AT ITER 3877 NEW BEST:: SOT 1763322 SOS 630129 HAS SOPS 545034 HAS SOUS 456028 HAS SOUPS 440798 WITH SCORE 441428.129
AT ITER 3881 NEW BEST:: SOT 1763225 SOS 629935 HAS SOPS 544840 HAS SOUS 455834 HAS SOUPS 440604 WITH SCORE 441233.935
AT ITER 3885 NEW BEST:: SOT 1762779 SOS 629367 HAS SOPS 544272 HAS SOUS 455480 HAS SOUPS 440250 WITH SCORE 440879.367
AT ITER 3890 NEW BEST:: SOT 1762727 SOS 629263 HAS SOPS 544168 HAS SOUS 455376 HAS SOUPS 440146 WITH SCORE 440775.263
AT ITER 3911 NEW BEST:: SOT 1762559 SOS 629229 HAS SOPS 544134 HAS SOUS 455200 HAS SOUPS 439970 WITH SCORE 440599.229
AT ITER 3916 NEW BEST:: SOT 1762488 SOS 629045 HAS SOPS 543992 HAS SOUS 455058 HAS SOUPS 439828 WITH SCORE 440457.045
AT ITER 3923 NEW BEST:: SOT 1762485 SOS 629019 HAS SOPS 543651 HAS SOUS 454799 HAS SOUPS 439569 WITH SCORE 440198.019
AT ITER 3949 NEW BEST:: SOT 1762437 SOS 628923 HAS SOPS 543555 HAS SOUS 454703 HAS SOUPS 439473 WITH SCORE 440101.923
AT ITER 3964 NEW BEST:: SOT 1762346 SOS 628773 HAS SOPS 543405 HAS SOUS 454553 HAS SOUPS 439323 WITH SCORE 439951.773
AT ITER 3971 NEW BEST:: SOT 1762332 SOS 628745 HAS SOPS 543377 HAS SOUS 454525 HAS SOUPS 439295 WITH SCORE 439923.745
AT ITER 3998 NEW BEST:: SOT 1762107 SOS 628498 HAS SOPS 542927 HAS SOUS 454075 HAS SOUPS 438845 WITH SCORE 439473.498
AT ITER 4002 NEW BEST:: SOT 1762083 SOS 628450 HAS SOPS 542879 HAS SOUS 454027 HAS SOUPS 438797 WITH SCORE 439425.45
AT ITER 4012 NEW BEST:: SOT 1762072 SOS 628428 HAS SOPS 542857 HAS SOUS 454005 HAS SOUPS 438775 WITH SCORE 439403.428
AT ITER 4013 NEW BEST:: SOT 1762057 SOS 628531 HAS SOPS 542827 HAS SOUS 453975 HAS SOUPS 438745 WITH SCORE 439373.531
AT ITER 4014 NEW BEST:: SOT 1762057 SOS 628261 HAS SOPS 542530 HAS SOUS 453921 HAS SOUPS 438691 WITH SCORE 439319.261
AT ITER 4018 NEW BEST:: SOT 1761943 SOS 628033 HAS SOPS 541962 HAS SOUS 453353 HAS SOUPS 438123 WITH SCORE 438751.033
AT ITER 4021 NEW BEST:: SOT 1761910 SOS 627809 HAS SOPS 541896 HAS SOUS 453287 HAS SOUPS 438057 WITH SCORE 438684.809
AT ITER 4023 NEW BEST:: SOT 1761901 SOS 627791 HAS SOPS 541878 HAS SOUS 453269 HAS SOUPS 438039 WITH SCORE 438666.791
AT ITER 4026 NEW BEST:: SOT 1761294 SOS 626874 HAS SOPS 540961 HAS SOUS 452353 HAS SOUPS 437123 WITH SCORE 437749.874
AT ITER 4029 NEW BEST:: SOT 1761167 SOS 626493 HAS SOPS 540834 HAS SOUS 452226 HAS SOUPS 436996 WITH SCORE 437622.493
AT ITER 4041 NEW BEST:: SOT 1761165 SOS 626482 HAS SOPS 540830 HAS SOUS 452222 HAS SOUPS 436992 WITH SCORE 437618.482
AT ITER 4043 NEW BEST:: SOT 1760968 SOS 625919 HAS SOPS 540436 HAS SOUS 452033 HAS SOUPS 436803 WITH SCORE 437428.919
AT ITER 4044 NEW BEST:: SOT 1760968 SOS 625917 HAS SOPS 540434 HAS SOUS 452033 HAS SOUPS 436803 WITH SCORE 437428.917
AT ITER 4046 NEW BEST:: SOT 1760951 SOS 625883 HAS SOPS 540400 HAS SOUS 451999 HAS SOUPS 436769 WITH SCORE 437394.883
AT ITER 4063 NEW BEST:: SOT 1760794 SOS 625569 HAS SOPS 540086 HAS SOUS 451685 HAS SOUPS 436455 WITH SCORE 437080.569
AT ITER 4067 NEW BEST:: SOT 1760867 SOS 625554 HAS SOPS 540061 HAS SOUS 451660 HAS SOUPS 436430 WITH SCORE 437055.554
AT ITER 4083 NEW BEST:: SOT 1760671 SOS 625309 HAS SOPS 539816 HAS SOUS 451268 HAS SOUPS 436038 WITH SCORE 436663.309
AT ITER 4099 NEW BEST:: SOT 1760625 SOS 625385 HAS SOPS 539724 HAS SOUS 451176 HAS SOUPS 435946 WITH SCORE 436571.385
AT ITER 4101 NEW BEST:: SOT 1760583 SOS 625301 HAS SOPS 539640 HAS SOUS 451092 HAS SOUPS 435862 WITH SCORE 436487.301
AT ITER 4111 NEW BEST:: SOT 1760537 SOS 625232 HAS SOPS 539571 HAS SOUS 451023 HAS SOUPS 435793 WITH SCORE 436418.232
AT ITER 4121 NEW BEST:: SOT 1760537 SOS 625252 HAS SOPS 539551 HAS SOUS 451003 HAS SOUPS 435773 WITH SCORE 436398.252
AT ITER 4126 NEW BEST:: SOT 1760459 SOS 625096 HAS SOPS 539395 HAS SOUS 450847 HAS SOUPS 435617 WITH SCORE 436242.096
AT ITER 4140 NEW BEST:: SOT 1760459 SOS 625089 HAS SOPS 539388 HAS SOUS 450847 HAS SOUPS 435617 WITH SCORE 436242.089
AT ITER 4144 NEW BEST:: SOT 1760426 SOS 625023 HAS SOPS 539322 HAS SOUS 450781 HAS SOUPS 435551 WITH SCORE 436176.023
AT ITER 4148 NEW BEST:: SOT 1760326 SOS 624823 HAS SOPS 539122 HAS SOUS 450581 HAS SOUPS 435351 WITH SCORE 435975.823
AT ITER 4150 NEW BEST:: SOT 1760270 SOS 624767 HAS SOPS 539050 HAS SOUS 450509 HAS SOUPS 435279 WITH SCORE 435903.767
AT ITER 4151 NEW BEST:: SOT 1760270 SOS 624665 HAS SOPS 539050 HAS SOUS 450509 HAS SOUPS 435279 WITH SCORE 435903.665
AT ITER 4167 NEW BEST:: SOT 1760265 SOS 624655 HAS SOPS 539040 HAS SOUS 450499 HAS SOUPS 435269 WITH SCORE 435893.655
AT ITER 4168 NEW BEST:: SOT 1760265 SOS 624478 HAS SOPS 539040 HAS SOUS 450499 HAS SOUPS 435269 WITH SCORE 435893.478
AT ITER 4174 NEW BEST:: SOT 1759799 SOS 623546 HAS SOPS 538108 HAS SOUS 449567 HAS SOUPS 434337 WITH SCORE 434960.546
AT ITER 4179 NEW BEST:: SOT 1759741 SOS 623430 HAS SOPS 537992 HAS SOUS 449451 HAS SOUPS 434221 WITH SCORE 434844.43
AT ITER 4187 NEW BEST:: SOT 1759728 SOS 623404 HAS SOPS 537979 HAS SOUS 449438 HAS SOUPS 434208 WITH SCORE 434831.404
AT ITER 4191 NEW BEST:: SOT 1759728 SOS 623658 HAS SOPS 537725 HAS SOUS 449184 HAS SOUPS 433954 WITH SCORE 434577.658
AT ITER 4192 NEW BEST:: SOT 1759728 SOS 623255 HAS SOPS 537725 HAS SOUS 449184 HAS SOUPS 433954 WITH SCORE 434577.255
AT ITER 4198 NEW BEST:: SOT 1759636 SOS 623719 HAS SOPS 538189 HAS SOUS 449000 HAS SOUPS 433770 WITH SCORE 434393.719
AT ITER 4200 NEW BEST:: SOT 1759576 SOS 623599 HAS SOPS 538069 HAS SOUS 448880 HAS SOUPS 433650 WITH SCORE 434273.599
AT ITER 4219 NEW BEST:: SOT 1759401 SOS 623370 HAS SOPS 537840 HAS SOUS 448651 HAS SOUPS 433421 WITH SCORE 434044.37
AT ITER 4221 NEW BEST:: SOT 1759509 SOS 622066 HAS SOPS 537894 HAS SOUS 448273 HAS SOUPS 433097 WITH SCORE 433719.066
AT ITER 4227 NEW BEST:: SOT 1759471 SOS 621990 HAS SOPS 537818 HAS SOUS 448197 HAS SOUPS 433021 WITH SCORE 433642.99
AT ITER 4234 NEW BEST:: SOT 1759447 SOS 621942 HAS SOPS 537770 HAS SOUS 448149 HAS SOUPS 432973 WITH SCORE 433594.942
AT ITER 4252 NEW BEST:: SOT 1759444 SOS 621936 HAS SOPS 537764 HAS SOUS 448143 HAS SOUPS 432967 WITH SCORE 433588.936
AT ITER 4266 NEW BEST:: SOT 1759363 SOS 621774 HAS SOPS 537602 HAS SOUS 447981 HAS SOUPS 432805 WITH SCORE 433426.774
AT ITER 4267 NEW BEST:: SOT 1758283 SOS 620621 HAS SOPS 536376 HAS SOUS 447704 HAS SOUPS 432455 WITH SCORE 433075.621
AT ITER 4272 NEW BEST:: SOT 1758274 SOS 620603 HAS SOPS 536358 HAS SOUS 447686 HAS SOUPS 432437 WITH SCORE 433057.603
AT ITER 4284 NEW BEST:: SOT 1758000 SOS 620592 HAS SOPS 536347 HAS SOUS 447485 HAS SOUPS 432236 WITH SCORE 432856.592
AT ITER 4302 NEW BEST:: SOT 1757966 SOS 620037 HAS SOPS 535792 HAS SOUS 447417 HAS SOUPS 432168 WITH SCORE 432788.037
AT ITER 4315 NEW BEST:: SOT 1758073 SOS 618972 HAS SOPS 534727 HAS SOUS 447417 HAS SOUPS 432168 WITH SCORE 432786.972
AT ITER 4324 NEW BEST:: SOT 1757960 SOS 618746 HAS SOPS 534501 HAS SOUS 447191 HAS SOUPS 431942 WITH SCORE 432560.746
AT ITER 4329 NEW BEST:: SOT 1757960 SOS 618381 HAS SOPS 534136 HAS SOUS 447191 HAS SOUPS 431942 WITH SCORE 432560.381
AT ITER 4335 NEW BEST:: SOT 1757952 SOS 618373 HAS SOPS 534120 HAS SOUS 447175 HAS SOUPS 431926 WITH SCORE 432544.373
AT ITER 4366 NEW BEST:: SOT 1757821 SOS 618242 HAS SOPS 533989 HAS SOUS 447044 HAS SOUPS 431795 WITH SCORE 432413.242
AT ITER 4374 NEW BEST:: SOT 1757710 SOS 618126 HAS SOPS 533820 HAS SOUS 446875 HAS SOUPS 431626 WITH SCORE 432244.126
AT ITER 4379 NEW BEST:: SOT 1757703 SOS 618112 HAS SOPS 533806 HAS SOUS 446861 HAS SOUPS 431612 WITH SCORE 432230.112
AT ITER 4384 NEW BEST:: SOT 1756604 SOS 617312 HAS SOPS 532696 HAS SOUS 446323 HAS SOUPS 430995 WITH SCORE 431612.312
AT ITER 4398 NEW BEST:: SOT 1756378 SOS 617732 HAS SOPS 533189 HAS SOUS 446271 HAS SOUPS 430943 WITH SCORE 431560.732
AT ITER 4406 NEW BEST:: SOT 1756205 SOS 617386 HAS SOPS 532843 HAS SOUS 445925 HAS SOUPS 430597 WITH SCORE 431214.386
AT ITER 4430 NEW BEST:: SOT 1756125 SOS 617226 HAS SOPS 532683 HAS SOUS 445765 HAS SOUPS 430437 WITH SCORE 431054.226
AT ITER 4444 NEW BEST:: SOT 1756106 SOS 617118 HAS SOPS 532575 HAS SOUS 445727 HAS SOUPS 430399 WITH SCORE 431016.118
AT ITER 4446 NEW BEST:: SOT 1756068 SOS 616820 HAS SOPS 532277 HAS SOUS 445588 HAS SOUPS 430260 WITH SCORE 430876.82
AT ITER 4456 NEW BEST:: SOT 1756027 SOS 616925 HAS SOPS 532382 HAS SOUS 445506 HAS SOUPS 430178 WITH SCORE 430794.925
AT ITER 4469 NEW BEST:: SOT 1755844 SOS 616483 HAS SOPS 532221 HAS SOUS 445440 HAS SOUPS 430112 WITH SCORE 430728.483
AT ITER 4478 NEW BEST:: SOT 1755731 SOS 616257 HAS SOPS 531995 HAS SOUS 445214 HAS SOUPS 429886 WITH SCORE 430502.257
AT ITER 4487 NEW BEST:: SOT 1755858 SOS 615070 HAS SOPS 530979 HAS SOUS 445213 HAS SOUPS 429885 WITH SCORE 430500.07
AT ITER 4500 NEW BEST:: SOT 1755694 SOS 614909 HAS SOPS 530484 HAS SOUS 444718 HAS SOUPS 429390 WITH SCORE 430004.909
AT ITER 4509 NEW BEST:: SOT 1755557 SOS 614772 HAS SOPS 530397 HAS SOUS 444631 HAS SOUPS 429303 WITH SCORE 429917.772
AT ITER 4512 NEW BEST:: SOT 1755480 SOS 614463 HAS SOPS 530088 HAS SOUS 444477 HAS SOUPS 429149 WITH SCORE 429763.463
AT ITER 4523 NEW BEST:: SOT 1755380 SOS 614163 HAS SOPS 529888 HAS SOUS 444277 HAS SOUPS 428949 WITH SCORE 429563.163
AT ITER 4532 NEW BEST:: SOT 1756416 SOS 614924 HAS SOPS 531414 HAS SOUS 443282 HAS SOUPS 428150 WITH SCORE 428764.924
AT ITER 4534 NEW BEST:: SOT 1755994 SOS 614080 HAS SOPS 530570 HAS SOUS 442438 HAS SOUPS 427306 WITH SCORE 427920.08
AT ITER 4536 NEW BEST:: SOT 1755984 SOS 613770 HAS SOPS 530550 HAS SOUS 442418 HAS SOUPS 427286 WITH SCORE 427899.77
AT ITER 4545 NEW BEST:: SOT 1755911 SOS 613474 HAS SOPS 530254 HAS SOUS 442272 HAS SOUPS 427140 WITH SCORE 427753.474
AT ITER 4546 NEW BEST:: SOT 1754037 SOS 611869 HAS SOPS 528333 HAS SOUS 442083 HAS SOUPS 426690 WITH SCORE 427301.869
AT ITER 4552 NEW BEST:: SOT 1754020 SOS 611835 HAS SOPS 528299 HAS SOUS 442049 HAS SOUPS 426656 WITH SCORE 427267.835
AT ITER 4558 NEW BEST:: SOT 1754014 SOS 611823 HAS SOPS 528287 HAS SOUS 442043 HAS SOUPS 426650 WITH SCORE 427261.823
AT ITER 4574 NEW BEST:: SOT 1754007 SOS 611830 HAS SOPS 528340 HAS SOUS 442007 HAS SOUPS 426614 WITH SCORE 427225.83
AT ITER 4578 NEW BEST:: SOT 1753890 SOS 611880 HAS SOPS 528300 HAS SOUS 442029 HAS SOUPS 426603 WITH SCORE 427214.88
AT ITER 4595 NEW BEST:: SOT 1753882 SOS 611864 HAS SOPS 528284 HAS SOUS 442013 HAS SOUPS 426587 WITH SCORE 427198.864
AT ITER 4597 NEW BEST:: SOT 1753543 SOS 611533 HAS SOPS 527606 HAS SOUS 441335 HAS SOUPS 425909 WITH SCORE 426520.533
AT ITER 4602 NEW BEST:: SOT 1753089 SOS 609259 HAS SOPS 525138 HAS SOUS 440427 HAS SOUPS 425001 WITH SCORE 425610.259
AT ITER 4607 NEW BEST:: SOT 1753083 SOS 609247 HAS SOPS 525126 HAS SOUS 440415 HAS SOUPS 424989 WITH SCORE 425598.247
AT ITER 4625 NEW BEST:: SOT 1753083 SOS 609239 HAS SOPS 525098 HAS SOUS 440395 HAS SOUPS 424969 WITH SCORE 425578.239
AT ITER 4626 NEW BEST:: SOT 1753760 SOS 608494 HAS SOPS 524707 HAS SOUS 439027 HAS SOUPS 423778 WITH SCORE 424386.494
AT ITER 4627 NEW BEST:: SOT 1753687 SOS 608348 HAS SOPS 524561 HAS SOUS 438881 HAS SOUPS 423632 WITH SCORE 424240.348
AT ITER 4633 NEW BEST:: SOT 1753220 SOS 607960 HAS SOPS 523919 HAS SOUS 438379 HAS SOUPS 423130 WITH SCORE 423737.96
AT ITER 4634 NEW BEST:: SOT 1753120 SOS 607690 HAS SOPS 523719 HAS SOUS 438179 HAS SOUPS 422930 WITH SCORE 423537.69
AT ITER 4635 NEW BEST:: SOT 1752924 SOS 607376 HAS SOPS 523327 HAS SOUS 437787 HAS SOUPS 422538 WITH SCORE 423145.376
AT ITER 4636 NEW BEST:: SOT 1752890 SOS 607104 HAS SOPS 523055 HAS SOUS 437719 HAS SOUPS 422470 WITH SCORE 423077.104
AT ITER 4637 NEW BEST:: SOT 1753095 SOS 607557 HAS SOPS 522992 HAS SOUS 437656 HAS SOUPS 422407 WITH SCORE 423014.557
AT ITER 4663 NEW BEST:: SOT 1753085 SOS 607537 HAS SOPS 522972 HAS SOUS 437636 HAS SOUPS 422387 WITH SCORE 422994.537
AT ITER 4669 NEW BEST:: SOT 1752740 SOS 607071 HAS SOPS 522506 HAS SOUS 437412 HAS SOUPS 422163 WITH SCORE 422770.071
AT ITER 4670 NEW BEST:: SOT 1752707 SOS 607038 HAS SOPS 522440 HAS SOUS 437346 HAS SOUPS 422097 WITH SCORE 422704.038
AT ITER 4676 NEW BEST:: SOT 1752638 SOS 606940 HAS SOPS 522302 HAS SOUS 437208 HAS SOUPS 421959 WITH SCORE 422565.94
AT ITER 4682 NEW BEST:: SOT 1752631 SOS 606919 HAS SOPS 522281 HAS SOUS 437194 HAS SOUPS 421945 WITH SCORE 422551.919
AT ITER 4687 NEW BEST:: SOT 1752626 SOS 606909 HAS SOPS 522271 HAS SOUS 437184 HAS SOUPS 421935 WITH SCORE 422541.909
AT ITER 4701 NEW BEST:: SOT 1752555 SOS 606767 HAS SOPS 522129 HAS SOUS 437042 HAS SOUPS 421793 WITH SCORE 422399.767
AT ITER 4710 NEW BEST:: SOT 1752555 SOS 606461 HAS SOPS 521823 HAS SOUS 437024 HAS SOUPS 421775 WITH SCORE 422381.461
AT ITER 4711 NEW BEST:: SOT 1752521 SOS 606393 HAS SOPS 521755 HAS SOUS 436956 HAS SOUPS 421707 WITH SCORE 422313.393
AT ITER 4713 NEW BEST:: SOT 1752624 SOS 606001 HAS SOPS 521301 HAS SOUS 437103 HAS SOUPS 421682 WITH SCORE 422288.001
AT ITER 4721 NEW BEST:: SOT 1752620 SOS 605833 HAS SOPS 520863 HAS SOUS 436802 HAS SOUPS 421381 WITH SCORE 421986.833
AT ITER 4728 NEW BEST:: SOT 1752620 SOS 605818 HAS SOPS 520848 HAS SOUS 436802 HAS SOUPS 421381 WITH SCORE 421986.818
AT ITER 4732 NEW BEST:: SOT 1752620 SOS 606789 HAS SOPS 521710 HAS SOUS 436586 HAS SOUPS 421165 WITH SCORE 421771.789
AT ITER 4739 NEW BEST:: SOT 1752585 SOS 606719 HAS SOPS 521640 HAS SOUS 436516 HAS SOUPS 421095 WITH SCORE 421701.719
AT ITER 4755 NEW BEST:: SOT 1751274 SOS 606925 HAS SOPS 522711 HAS SOUS 436259 HAS SOUPS 420862 WITH SCORE 421468.925
AT ITER 4763 NEW BEST:: SOT 1751259 SOS 606910 HAS SOPS 522681 HAS SOUS 436229 HAS SOUPS 420832 WITH SCORE 421438.91
AT ITER 4764 NEW BEST:: SOT 1751768 SOS 607261 HAS SOPS 523299 HAS SOUS 435973 HAS SOUPS 420652 WITH SCORE 421259.261
AT ITER 4765 NEW BEST:: SOT 1751767 SOS 607259 HAS SOPS 523297 HAS SOUS 435971 HAS SOUPS 420650 WITH SCORE 421257.259
AT ITER 4767 NEW BEST:: SOT 1751647 SOS 607019 HAS SOPS 522937 HAS SOUS 435611 HAS SOUPS 420290 WITH SCORE 420897.019
AT ITER 4777 NEW BEST:: SOT 1751627 SOS 606979 HAS SOPS 522897 HAS SOUS 435571 HAS SOUPS 420250 WITH SCORE 420856.979
AT ITER 4779 NEW BEST:: SOT 1751480 SOS 606832 HAS SOPS 522750 HAS SOUS 435277 HAS SOUPS 419956 WITH SCORE 420562.832
AT ITER 4789 NEW BEST:: SOT 1751404 SOS 606680 HAS SOPS 522636 HAS SOUS 435163 HAS SOUPS 419842 WITH SCORE 420448.68
AT ITER 4797 NEW BEST:: SOT 1751362 SOS 606596 HAS SOPS 522552 HAS SOUS 435079 HAS SOUPS 419758 WITH SCORE 420364.596
AT ITER 4801 NEW BEST:: SOT 1751305 SOS 606482 HAS SOPS 522438 HAS SOUS 434965 HAS SOUPS 419644 WITH SCORE 420250.482
AT ITER 4825 NEW BEST:: SOT 1751252 SOS 606278 HAS SOPS 522234 HAS SOUS 434582 HAS SOUPS 419261 WITH SCORE 419867.278
AT ITER 4827 NEW BEST:: SOT 1751145 SOS 606288 HAS SOPS 522020 HAS SOUS 434368 HAS SOUPS 419047 WITH SCORE 419653.288
AT ITER 4839 NEW BEST:: SOT 1751126 SOS 606250 HAS SOPS 521982 HAS SOUS 434330 HAS SOUPS 419009 WITH SCORE 419615.25
AT ITER 4847 NEW BEST:: SOT 1751074 SOS 606146 HAS SOPS 521878 HAS SOUS 434226 HAS SOUPS 418905 WITH SCORE 419511.146
AT ITER 4855 NEW BEST:: SOT 1750728 SOS 605706 HAS SOPS 521466 HAS SOUS 433814 HAS SOUPS 418493 WITH SCORE 419098.706
AT ITER 4861 NEW BEST:: SOT 1750696 SOS 605674 HAS SOPS 521434 HAS SOUS 433782 HAS SOUPS 418461 WITH SCORE 419066.674
AT ITER 4871 NEW BEST:: SOT 1750696 SOS 605551 HAS SOPS 521434 HAS SOUS 433782 HAS SOUPS 418461 WITH SCORE 419066.551
AT ITER 4876 NEW BEST:: SOT 1750787 SOS 605603 HAS SOPS 521512 HAS SOUS 433743 HAS SOUPS 418435 WITH SCORE 419040.603
AT ITER 4909 NEW BEST:: SOT 1750702 SOS 605289 HAS SOPS 521257 HAS SOUS 433547 HAS SOUPS 418239 WITH SCORE 418844.289
AT ITER 4920 NEW BEST:: SOT 1750670 SOS 605225 HAS SOPS 521193 HAS SOUS 433483 HAS SOUPS 418175 WITH SCORE 418780.225
AT ITER 4923 NEW BEST:: SOT 1749182 SOS 604881 HAS SOPS 520849 HAS SOUS 432671 HAS SOUPS 417363 WITH SCORE 417967.881
AT ITER 4939 NEW BEST:: SOT 1749182 SOS 604881 HAS SOPS 520822 HAS SOUS 432644 HAS SOUPS 417336 WITH SCORE 417940.881
AT ITER 4961 NEW BEST:: SOT 1749024 SOS 604723 HAS SOPS 520797 HAS SOUS 432316 HAS SOUPS 417008 WITH SCORE 417612.723
AT ITER 4969 NEW BEST:: SOT 1749059 SOS 604615 HAS SOPS 520556 HAS SOUS 432075 HAS SOUPS 416767 WITH SCORE 417371.615
AT ITER 4972 NEW BEST:: SOT 1749209 SOS 604757 HAS SOPS 520540 HAS SOUS 432059 HAS SOUPS 416751 WITH SCORE 417355.757
AT ITER 4983 NEW BEST:: SOT 1749325 SOS 603394 HAS SOPS 519178 HAS SOUS 431832 HAS SOUPS 416524 WITH SCORE 417127.394
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Peterson-PT-6-CTLCardinality-00 (AF(potential( ( 3 ) <= (tk(P286) + tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317) + tk(P323) + tk(P324) + tk(P325) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P347) + tk(P348) + tk(P349)) )))
PROPERTY: Peterson-PT-6-CTLCardinality-01 (! (EU( potential( ( 1 ) <= (tk(P1166) + tk(P1167) + tk(P1168) + tk(P1169) + tk(P1173) + tk(P1174) + tk(P1175) + tk(P1176) + tk(P1177) + tk(P1178) + tk(P1179) + tk(P1180) + tk(P1181) + tk(P1182) + tk(P1183) + tk(P1184) + tk(P1185) + tk(P1186) + tk(P1187) + tk(P1188) + tk(P1189) + tk(P1190) + tk(P1191) + tk(P1192) + tk(P1193) + tk(P1194) + tk(P1195) + tk(P1196) + tk(P1197) + tk(P1198) + tk(P1199) + tk(P1200) + tk(P1201) + tk(P1202) + tk(P1203) + tk(P1204) + tk(P1205) + tk(P1208) + tk(P1210) + tk(P1211) + tk(P1212) + tk(P1213)) ),( potential( ( 2 ) <= (tk(P286) + tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317) + tk(P323) + tk(P324) + tk(P325) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P347) + tk(P348) + tk(P349)) ) & potential( (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310)) <= (tk(P286) + tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317) + tk(P323) + tk(P324) + tk(P325) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P347) + tk(P348) + tk(P349)) ) ) )))
PROPERTY: Peterson-PT-6-CTLCardinality-02 (! ( (! potential( (tk(P1310) + tk(P1311) + tk(P1312) + tk(P1313) + tk(P1314) + tk(P1321) + tk(P1322)) <= (tk(P1166) + tk(P1167) + tk(P1168) + tk(P1169) + tk(P1173) + tk(P1174) + tk(P1175) + tk(P1176) + tk(P1177) + tk(P1178) + tk(P1179) + tk(P1180) + tk(P1181) + tk(P1182) + tk(P1183) + tk(P1184) + tk(P1185) + tk(P1186) + tk(P1187) + tk(P1188) + tk(P1189) + tk(P1190) + tk(P1191) + tk(P1192) + tk(P1193) + tk(P1194) + tk(P1195) + tk(P1196) + tk(P1197) + tk(P1198) + tk(P1199) + tk(P1200) + tk(P1201) + tk(P1202) + tk(P1203) + tk(P1204) + tk(P1205) + tk(P1208) + tk(P1210) + tk(P1211) + tk(P1212) + tk(P1213)) )) | (EG( (! potential( (tk(P1206) + tk(P1207) + tk(P1209) + tk(P1302) + tk(P1303) + tk(P1304) + tk(P1305)) <= (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310)) )))) ))
PROPERTY: Peterson-PT-6-CTLCardinality-03 (AF(( potential( (tk(P318) + tk(P319) + tk(P320) + tk(P321) + tk(P322) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P364) + tk(P365) + tk(P366) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P379) + tk(P380) + tk(P381) + tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413) + tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P422) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P430) + tk(P431) + tk(P432) + tk(P433) + tk(P434) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P440) + tk(P441) + tk(P442) + tk(P443) + tk(P444) + tk(P445) + tk(P446) + tk(P447) + tk(P448) + tk(P449) + tk(P450) + tk(P451) + tk(P452) + tk(P453) + tk(P454) + tk(P455) + tk(P456) + tk(P457) + tk(P458) + tk(P459) + tk(P460) + tk(P461) + tk(P462) + tk(P463) + tk(P464) + tk(P465) + tk(P466) + tk(P467) + tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P472) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477) + tk(P478) + tk(P479) + tk(P480) + tk(P481) + tk(P482) + tk(P483) + tk(P484) + tk(P485) + tk(P486) + tk(P487) + tk(P488) + tk(P489) + tk(P490) + tk(P491) + tk(P492) + tk(P493) + tk(P494) + tk(P495) + tk(P496) + tk(P497) + tk(P498) + tk(P499) + tk(P500) + tk(P501) + tk(P502) + tk(P503) + tk(P504) + tk(P505) + tk(P506) + tk(P507) + tk(P508) + tk(P509) + tk(P510) + tk(P511) + tk(P512) + tk(P513) + tk(P514) + tk(P515) + tk(P516) + tk(P517) + tk(P518) + tk(P519) + tk(P520) + tk(P521) + tk(P522) + tk(P523) + tk(P524) + tk(P525) + tk(P526) + tk(P527) + tk(P528) + tk(P529) + tk(P530) + tk(P531) + tk(P532) + tk(P533) + tk(P534) + tk(P535) + tk(P536) + tk(P537) + tk(P538) + tk(P539) + tk(P540) + tk(P541) + tk(P542) + tk(P543) + tk(P544) + tk(P545) + tk(P546) + tk(P547) + tk(P548) + tk(P549) + tk(P550) + tk(P551) + tk(P552) + tk(P553) + tk(P554) + tk(P555) + tk(P556) + tk(P557) + tk(P558) + tk(P559) + tk(P560) + tk(P561) + tk(P562) + tk(P563) + tk(P564) + tk(P565) + tk(P566) + tk(P567) + tk(P568) + tk(P569) + tk(P570) + tk(P571) + tk(P572) + tk(P573) + tk(P574) + tk(P575) + tk(P576) + tk(P577) + tk(P578) + tk(P579) + tk(P580) + tk(P581) + tk(P582) + tk(P583) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P588) + tk(P589) + tk(P590) + tk(P591) + tk(P592) + tk(P593) + tk(P594) + tk(P595) + tk(P596) + tk(P597) + tk(P601) + tk(P606) + tk(P607) + tk(P608) + tk(P609) + tk(P610) + tk(P611) + tk(P612) + tk(P613) + tk(P614) + tk(P615) + tk(P616) + tk(P617) + tk(P618) + tk(P619) + tk(P620) + tk(P621) + tk(P622) + tk(P623) + tk(P624) + tk(P625) + tk(P626) + tk(P627) + tk(P628) + tk(P629) + tk(P630) + tk(P631) + tk(P632) + tk(P633) + tk(P634) + tk(P635) + tk(P636) + tk(P637)) <= (tk(P1206) + tk(P1207) + tk(P1209) + tk(P1302) + tk(P1303) + tk(P1304) + tk(P1305)) ) & ( potential( ( 3 ) <= (tk(P286) + tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317) + tk(P323) + tk(P324) + tk(P325) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P347) + tk(P348) + tk(P349)) ) & (! potential( ( 3 ) <= (tk(P1310) + tk(P1311) + tk(P1312) + tk(P1313) + tk(P1314) + tk(P1321) + tk(P1322)) )) ) )))
PROPERTY: Peterson-PT-6-CTLCardinality-04 (AF((AG( (! potential( (tk(P911) + tk(P914) + tk(P915) + tk(P916) + tk(P917) + tk(P918) + tk(P919) + tk(P920) + tk(P921) + tk(P922) + tk(P923) + tk(P924) + tk(P925) + tk(P926) + tk(P927) + tk(P928) + tk(P929) + tk(P930) + tk(P931) + tk(P932) + tk(P933) + tk(P934) + tk(P935) + tk(P936) + tk(P937) + tk(P938) + tk(P939) + tk(P940) + tk(P941) + tk(P942) + tk(P943) + tk(P944) + tk(P945) + tk(P946) + tk(P947) + tk(P948) + tk(P949) + tk(P950) + tk(P951) + tk(P952) + tk(P953) + tk(P954)) <= (tk(P894) + tk(P895) + tk(P896) + tk(P897) + tk(P898) + tk(P899) + tk(P900) + tk(P901) + tk(P902) + tk(P903) + tk(P904) + tk(P905) + tk(P906) + tk(P907) + tk(P908) + tk(P909) + tk(P910) + tk(P912) + tk(P913) + tk(P958) + tk(P959) + tk(P960) + tk(P961) + tk(P962) + tk(P963) + tk(P964) + tk(P965) + tk(P966) + tk(P967) + tk(P968) + tk(P969) + tk(P970) + tk(P971) + tk(P972) + tk(P973) + tk(P974) + tk(P975) + tk(P976) + tk(P977) + tk(P978) + tk(P979) + tk(P980) + tk(P981) + tk(P982) + tk(P983) + tk(P984) + tk(P985) + tk(P986) + tk(P987) + tk(P988) + tk(P989) + tk(P990) + tk(P991) + tk(P992) + tk(P993) + tk(P994) + tk(P995) + tk(P996) + tk(P997) + tk(P998) + tk(P999) + tk(P1000) + tk(P1001) + tk(P1002) + tk(P1003) + tk(P1004) + tk(P1005) + tk(P1006) + tk(P1007) + tk(P1008) + tk(P1009) + tk(P1010) + tk(P1011) + tk(P1012) + tk(P1013) + tk(P1014) + tk(P1015) + tk(P1016) + tk(P1017) + tk(P1018) + tk(P1019) + tk(P1020) + tk(P1021) + tk(P1022) + tk(P1023) + tk(P1024) + tk(P1025) + tk(P1026) + tk(P1027) + tk(P1028) + tk(P1029) + tk(P1030) + tk(P1031) + tk(P1032) + tk(P1033) + tk(P1034) + tk(P1035) + tk(P1036) + tk(P1037) + tk(P1038) + tk(P1039) + tk(P1040) + tk(P1041) + tk(P1042) + tk(P1043) + tk(P1044) + tk(P1045) + tk(P1046) + tk(P1047) + tk(P1048) + tk(P1049) + tk(P1050) + tk(P1051) + tk(P1052) + tk(P1053) + tk(P1054) + tk(P1055) + tk(P1056) + tk(P1057) + tk(P1058) + tk(P1059) + tk(P1060) + tk(P1061) + tk(P1062) + tk(P1063) + tk(P1064) + tk(P1065) + tk(P1066) + tk(P1067) + tk(P1068) + tk(P1069) + tk(P1070) + tk(P1071) + tk(P1072) + tk(P1073) + tk(P1074) + tk(P1075) + tk(P1076) + tk(P1077) + tk(P1078) + tk(P1079) + tk(P1080) + tk(P1081) + tk(P1082) + tk(P1083) + tk(P1084) + tk(P1085) + tk(P1086) + tk(P1087) + tk(P1088) + tk(P1089) + tk(P1090) + tk(P1091) + tk(P1092) + tk(P1093) + tk(P1094) + tk(P1095) + tk(P1096) + tk(P1097) + tk(P1098) + tk(P1099) + tk(P1100) + tk(P1101) + tk(P1102) + tk(P1103) + tk(P1104) + tk(P1105) + tk(P1106) + tk(P1107) + tk(P1108) + tk(P1109) + tk(P1110) + tk(P1111) + tk(P1112) + tk(P1113) + tk(P1114) + tk(P1115) + tk(P1116) + tk(P1117) + tk(P1118) + tk(P1119) + tk(P1120) + tk(P1121) + tk(P1122) + tk(P1123) + tk(P1124) + tk(P1125) + tk(P1126) + tk(P1127) + tk(P1128) + tk(P1129) + tk(P1130) + tk(P1131) + tk(P1132) + tk(P1133) + tk(P1134) + tk(P1135) + tk(P1136) + tk(P1137) + tk(P1138) + tk(P1139) + tk(P1140) + tk(P1141) + tk(P1142) + tk(P1143) + tk(P1144) + tk(P1145) + tk(P1146) + tk(P1147) + tk(P1148) + tk(P1149) + tk(P1150) + tk(P1151) + tk(P1152) + tk(P1153) + tk(P1154) + tk(P1155) + tk(P1156) + tk(P1157) + tk(P1158) + tk(P1159) + tk(P1160) + tk(P1161) + tk(P1162) + tk(P1163) + tk(P1164) + tk(P1165) + tk(P1170) + tk(P1171) + tk(P1172) + tk(P1214) + tk(P1215) + tk(P1216) + tk(P1217) + tk(P1218) + tk(P1219) + tk(P1220) + tk(P1221) + tk(P1222) + tk(P1223) + tk(P1224) + tk(P1225) + tk(P1226) + tk(P1227) + tk(P1228) + tk(P1229) + tk(P1230) + tk(P1231) + tk(P1232) + tk(P1233) + tk(P1234) + tk(P1235) + tk(P1236) + tk(P1237) + tk(P1238) + tk(P1239) + tk(P1240) + tk(P1241) + tk(P1242) + tk(P1243) + tk(P1244) + tk(P1245) + tk(P1246) + tk(P1247) + tk(P1248) + tk(P1249) + tk(P1250) + tk(P1251) + tk(P1252) + tk(P1253) + tk(P1254) + tk(P1255) + tk(P1256) + tk(P1257) + tk(P1258) + tk(P1259) + tk(P1260) + tk(P1261) + tk(P1262) + tk(P1263) + tk(P1264) + tk(P1265) + tk(P1266) + tk(P1267) + tk(P1268) + tk(P1269) + tk(P1270) + tk(P1271) + tk(P1272) + tk(P1273) + tk(P1274) + tk(P1275) + tk(P1276) + tk(P1277)) ))))))
PROPERTY: Peterson-PT-6-CTLCardinality-05 ( ( (AU( potential( (tk(P1310) + tk(P1311) + tk(P1312) + tk(P1313) + tk(P1314) + tk(P1321) + tk(P1322)) <= (tk(P638) + tk(P639) + tk(P640) + tk(P641) + tk(P642) + tk(P643) + tk(P644) + tk(P645) + tk(P646) + tk(P647) + tk(P648) + tk(P649) + tk(P650) + tk(P651) + tk(P652) + tk(P653) + tk(P654) + tk(P655) + tk(P656) + tk(P657) + tk(P658) + tk(P659) + tk(P660) + tk(P661) + tk(P662) + tk(P663) + tk(P664) + tk(P665) + tk(P666) + tk(P667) + tk(P668) + tk(P669) + tk(P670) + tk(P671) + tk(P672) + tk(P673) + tk(P674) + tk(P675) + tk(P676) + tk(P677) + tk(P680) + tk(P686) + tk(P687) + tk(P688) + tk(P689) + tk(P690) + tk(P691) + tk(P692) + tk(P693) + tk(P694) + tk(P695) + tk(P696) + tk(P697) + tk(P698) + tk(P699) + tk(P700) + tk(P701) + tk(P702) + tk(P703) + tk(P704) + tk(P705) + tk(P706) + tk(P707) + tk(P708) + tk(P709) + tk(P710) + tk(P711) + tk(P712) + tk(P713) + tk(P714) + tk(P715) + tk(P716) + tk(P717) + tk(P718) + tk(P719) + tk(P720) + tk(P721) + tk(P722) + tk(P723) + tk(P724) + tk(P725) + tk(P726) + tk(P727) + tk(P728) + tk(P729) + tk(P730) + tk(P731) + tk(P732) + tk(P733) + tk(P734) + tk(P735) + tk(P736) + tk(P737) + tk(P738) + tk(P739) + tk(P740) + tk(P741) + tk(P742) + tk(P743) + tk(P744) + tk(P745) + tk(P746) + tk(P747) + tk(P748) + tk(P749) + tk(P750) + tk(P751) + tk(P752) + tk(P753) + tk(P754) + tk(P755) + tk(P756) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P761) + tk(P762) + tk(P763) + tk(P764) + tk(P765) + tk(P766) + tk(P767) + tk(P768) + tk(P769) + tk(P770) + tk(P771) + tk(P772) + tk(P773) + tk(P774) + tk(P775) + tk(P776) + tk(P777) + tk(P778) + tk(P779) + tk(P780) + tk(P781) + tk(P782) + tk(P783) + tk(P784) + tk(P785) + tk(P786) + tk(P787) + tk(P788) + tk(P789) + tk(P790) + tk(P791) + tk(P792) + tk(P793) + tk(P794) + tk(P795) + tk(P796) + tk(P797) + tk(P798) + tk(P799) + tk(P800) + tk(P801) + tk(P802) + tk(P803) + tk(P804) + tk(P805) + tk(P806) + tk(P807) + tk(P808) + tk(P809) + tk(P810) + tk(P811) + tk(P812) + tk(P813) + tk(P814) + tk(P815) + tk(P816) + tk(P817) + tk(P818) + tk(P819) + tk(P820) + tk(P821) + tk(P822) + tk(P823) + tk(P824) + tk(P825) + tk(P826) + tk(P827) + tk(P828) + tk(P829) + tk(P830) + tk(P831) + tk(P832) + tk(P833) + tk(P834) + tk(P835) + tk(P836) + tk(P837) + tk(P838) + tk(P839) + tk(P840) + tk(P841) + tk(P842) + tk(P843) + tk(P844) + tk(P845) + tk(P846) + tk(P847) + tk(P848) + tk(P849) + tk(P850) + tk(P851) + tk(P852) + tk(P853) + tk(P854) + tk(P855) + tk(P856) + tk(P857) + tk(P858) + tk(P859) + tk(P860) + tk(P861) + tk(P862) + tk(P863) + tk(P864) + tk(P865) + tk(P866) + tk(P867) + tk(P868) + tk(P869) + tk(P870) + tk(P871) + tk(P872) + tk(P873) + tk(P874) + tk(P875) + tk(P876) + tk(P877) + tk(P878) + tk(P879) + tk(P880) + tk(P881) + tk(P882) + tk(P883) + tk(P884) + tk(P885) + tk(P886) + tk(P887) + tk(P888) + tk(P889) + tk(P890) + tk(P891) + tk(P892) + tk(P893) + tk(P955) + tk(P956) + tk(P957)) ),potential( ( 1 ) <= (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310)) ) )) | (EU( potential( ( 3 ) <= (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310)) ),potential( ( 1 ) <= (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310)) ) )) ) | (AG( (EF(potential( ( 3 ) <= (tk(P1278) + tk(P1279) + tk(P1280) + tk(P1281) + tk(P1282) + tk(P1283) + tk(P1284) + tk(P1285) + tk(P1286) + tk(P1287) + tk(P1288) + tk(P1289) + tk(P1290) + tk(P1291) + tk(P1292) + tk(P1293) + tk(P1294) + tk(P1295) + tk(P1296) + tk(P1297) + tk(P1298) + tk(P1299) + tk(P1300) + tk(P1301) + tk(P1306) + tk(P1307) + tk(P1308) + tk(P1309) + tk(P1315) + tk(P1316) + tk(P1317) + tk(P1318) + tk(P1319) + tk(P1320) + tk(P1323) + tk(P1324) + tk(P1325) + tk(P1326) + tk(P1327) + tk(P1328) + tk(P1329) + tk(P1330)) ))))) )
PROPERTY: Peterson-PT-6-CTLCardinality-06 (AG( (AX( ( potential( (tk(P911) + tk(P914) + tk(P915) + tk(P916) + tk(P917) + tk(P918) + tk(P919) + tk(P920) + tk(P921) + tk(P922) + tk(P923) + tk(P924) + tk(P925) + tk(P926) + tk(P927) + tk(P928) + tk(P929) + tk(P930) + tk(P931) + tk(P932) + tk(P933) + tk(P934) + tk(P935) + tk(P936) + tk(P937) + tk(P938) + tk(P939) + tk(P940) + tk(P941) + tk(P942) + tk(P943) + tk(P944) + tk(P945) + tk(P946) + tk(P947) + tk(P948) + tk(P949) + tk(P950) + tk(P951) + tk(P952) + tk(P953) + tk(P954)) <= (tk(P598) + tk(P599) + tk(P600) + tk(P602) + tk(P603) + tk(P604) + tk(P605) + tk(P678) + tk(P679) + tk(P681) + tk(P682) + tk(P683) + tk(P684) + tk(P685)) ) & potential( (tk(P911) + tk(P914) + tk(P915) + tk(P916) + tk(P917) + tk(P918) + tk(P919) + tk(P920) + tk(P921) + tk(P922) + tk(P923) + tk(P924) + tk(P925) + tk(P926) + tk(P927) + tk(P928) + tk(P929) + tk(P930) + tk(P931) + tk(P932) + tk(P933) + tk(P934) + tk(P935) + tk(P936) + tk(P937) + tk(P938) + tk(P939) + tk(P940) + tk(P941) + tk(P942) + tk(P943) + tk(P944) + tk(P945) + tk(P946) + tk(P947) + tk(P948) + tk(P949) + tk(P950) + tk(P951) + tk(P952) + tk(P953) + tk(P954)) <= (tk(P1206) + tk(P1207) + tk(P1209) + tk(P1302) + tk(P1303) + tk(P1304) + tk(P1305)) ) )))))
PROPERTY: Peterson-PT-6-CTLCardinality-07 (AU( (AF(potential( ( 2 ) <= (tk(P894) + tk(P895) + tk(P896) + tk(P897) + tk(P898) + tk(P899) + tk(P900) + tk(P901) + tk(P902) + tk(P903) + tk(P904) + tk(P905) + tk(P906) + tk(P907) + tk(P908) + tk(P909) + tk(P910) + tk(P912) + tk(P913) + tk(P958) + tk(P959) + tk(P960) + tk(P961) + tk(P962) + tk(P963) + tk(P964) + tk(P965) + tk(P966) + tk(P967) + tk(P968) + tk(P969) + tk(P970) + tk(P971) + tk(P972) + tk(P973) + tk(P974) + tk(P975) + tk(P976) + tk(P977) + tk(P978) + tk(P979) + tk(P980) + tk(P981) + tk(P982) + tk(P983) + tk(P984) + tk(P985) + tk(P986) + tk(P987) + tk(P988) + tk(P989) + tk(P990) + tk(P991) + tk(P992) + tk(P993) + tk(P994) + tk(P995) + tk(P996) + tk(P997) + tk(P998) + tk(P999) + tk(P1000) + tk(P1001) + tk(P1002) + tk(P1003) + tk(P1004) + tk(P1005) + tk(P1006) + tk(P1007) + tk(P1008) + tk(P1009) + tk(P1010) + tk(P1011) + tk(P1012) + tk(P1013) + tk(P1014) + tk(P1015) + tk(P1016) + tk(P1017) + tk(P1018) + tk(P1019) + tk(P1020) + tk(P1021) + tk(P1022) + tk(P1023) + tk(P1024) + tk(P1025) + tk(P1026) + tk(P1027) + tk(P1028) + tk(P1029) + tk(P1030) + tk(P1031) + tk(P1032) + tk(P1033) + tk(P1034) + tk(P1035) + tk(P1036) + tk(P1037) + tk(P1038) + tk(P1039) + tk(P1040) + tk(P1041) + tk(P1042) + tk(P1043) + tk(P1044) + tk(P1045) + tk(P1046) + tk(P1047) + tk(P1048) + tk(P1049) + tk(P1050) + tk(P1051) + tk(P1052) + tk(P1053) + tk(P1054) + tk(P1055) + tk(P1056) + tk(P1057) + tk(P1058) + tk(P1059) + tk(P1060) + tk(P1061) + tk(P1062) + tk(P1063) + tk(P1064) + tk(P1065) + tk(P1066) + tk(P1067) + tk(P1068) + tk(P1069) + tk(P1070) + tk(P1071) + tk(P1072) + tk(P1073) + tk(P1074) + tk(P1075) + tk(P1076) + tk(P1077) + tk(P1078) + tk(P1079) + tk(P1080) + tk(P1081) + tk(P1082) + tk(P1083) + tk(P1084) + tk(P1085) + tk(P1086) + tk(P1087) + tk(P1088) + tk(P1089) + tk(P1090) + tk(P1091) + tk(P1092) + tk(P1093) + tk(P1094) + tk(P1095) + tk(P1096) + tk(P1097) + tk(P1098) + tk(P1099) + tk(P1100) + tk(P1101) + tk(P1102) + tk(P1103) + tk(P1104) + tk(P1105) + tk(P1106) + tk(P1107) + tk(P1108) + tk(P1109) + tk(P1110) + tk(P1111) + tk(P1112) + tk(P1113) + tk(P1114) + tk(P1115) + tk(P1116) + tk(P1117) + tk(P1118) + tk(P1119) + tk(P1120) + tk(P1121) + tk(P1122) + tk(P1123) + tk(P1124) + tk(P1125) + tk(P1126) + tk(P1127) + tk(P1128) + tk(P1129) + tk(P1130) + tk(P1131) + tk(P1132) + tk(P1133) + tk(P1134) + tk(P1135) + tk(P1136) + tk(P1137) + tk(P1138) + tk(P1139) + tk(P1140) + tk(P1141) + tk(P1142) + tk(P1143) + tk(P1144) + tk(P1145) + tk(P1146) + tk(P1147) + tk(P1148) + tk(P1149) + tk(P1150) + tk(P1151) + tk(P1152) + tk(P1153) + tk(P1154) + tk(P1155) + tk(P1156) + tk(P1157) + tk(P1158) + tk(P1159) + tk(P1160) + tk(P1161) + tk(P1162) + tk(P1163) + tk(P1164) + tk(P1165) + tk(P1170) + tk(P1171) + tk(P1172) + tk(P1214) + tk(P1215) + tk(P1216) + tk(P1217) + tk(P1218) + tk(P1219) + tk(P1220) + tk(P1221) + tk(P1222) + tk(P1223) + tk(P1224) + tk(P1225) + tk(P1226) + tk(P1227) + tk(P1228) + tk(P1229) + tk(P1230) + tk(P1231) + tk(P1232) + tk(P1233) + tk(P1234) + tk(P1235) + tk(P1236) + tk(P1237) + tk(P1238) + tk(P1239) + tk(P1240) + tk(P1241) + tk(P1242) + tk(P1243) + tk(P1244) + tk(P1245) + tk(P1246) + tk(P1247) + tk(P1248) + tk(P1249) + tk(P1250) + tk(P1251) + tk(P1252) + tk(P1253) + tk(P1254) + tk(P1255) + tk(P1256) + tk(P1257) + tk(P1258) + tk(P1259) + tk(P1260) + tk(P1261) + tk(P1262) + tk(P1263) + tk(P1264) + tk(P1265) + tk(P1266) + tk(P1267) + tk(P1268) + tk(P1269) + tk(P1270) + tk(P1271) + tk(P1272) + tk(P1273) + tk(P1274) + tk(P1275) + tk(P1276) + tk(P1277)) ))),(EF(potential( ( 3 ) <= (tk(P638) + tk(P639) + tk(P640) + tk(P641) + tk(P642) + tk(P643) + tk(P644) + tk(P645) + tk(P646) + tk(P647) + tk(P648) + tk(P649) + tk(P650) + tk(P651) + tk(P652) + tk(P653) + tk(P654) + tk(P655) + tk(P656) + tk(P657) + tk(P658) + tk(P659) + tk(P660) + tk(P661) + tk(P662) + tk(P663) + tk(P664) + tk(P665) + tk(P666) + tk(P667) + tk(P668) + tk(P669) + tk(P670) + tk(P671) + tk(P672) + tk(P673) + tk(P674) + tk(P675) + tk(P676) + tk(P677) + tk(P680) + tk(P686) + tk(P687) + tk(P688) + tk(P689) + tk(P690) + tk(P691) + tk(P692) + tk(P693) + tk(P694) + tk(P695) + tk(P696) + tk(P697) + tk(P698) + tk(P699) + tk(P700) + tk(P701) + tk(P702) + tk(P703) + tk(P704) + tk(P705) + tk(P706) + tk(P707) + tk(P708) + tk(P709) + tk(P710) + tk(P711) + tk(P712) + tk(P713) + tk(P714) + tk(P715) + tk(P716) + tk(P717) + tk(P718) + tk(P719) + tk(P720) + tk(P721) + tk(P722) + tk(P723) + tk(P724) + tk(P725) + tk(P726) + tk(P727) + tk(P728) + tk(P729) + tk(P730) + tk(P731) + tk(P732) + tk(P733) + tk(P734) + tk(P735) + tk(P736) + tk(P737) + tk(P738) + tk(P739) + tk(P740) + tk(P741) + tk(P742) + tk(P743) + tk(P744) + tk(P745) + tk(P746) + tk(P747) + tk(P748) + tk(P749) + tk(P750) + tk(P751) + tk(P752) + tk(P753) + tk(P754) + tk(P755) + tk(P756) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P761) + tk(P762) + tk(P763) + tk(P764) + tk(P765) + tk(P766) + tk(P767) + tk(P768) + tk(P769) + tk(P770) + tk(P771) + tk(P772) + tk(P773) + tk(P774) + tk(P775) + tk(P776) + tk(P777) + tk(P778) + tk(P779) + tk(P780) + tk(P781) + tk(P782) + tk(P783) + tk(P784) + tk(P785) + tk(P786) + tk(P787) + tk(P788) + tk(P789) + tk(P790) + tk(P791) + tk(P792) + tk(P793) + tk(P794) + tk(P795) + tk(P796) + tk(P797) + tk(P798) + tk(P799) + tk(P800) + tk(P801) + tk(P802) + tk(P803) + tk(P804) + tk(P805) + tk(P806) + tk(P807) + tk(P808) + tk(P809) + tk(P810) + tk(P811) + tk(P812) + tk(P813) + tk(P814) + tk(P815) + tk(P816) + tk(P817) + tk(P818) + tk(P819) + tk(P820) + tk(P821) + tk(P822) + tk(P823) + tk(P824) + tk(P825) + tk(P826) + tk(P827) + tk(P828) + tk(P829) + tk(P830) + tk(P831) + tk(P832) + tk(P833) + tk(P834) + tk(P835) + tk(P836) + tk(P837) + tk(P838) + tk(P839) + tk(P840) + tk(P841) + tk(P842) + tk(P843) + tk(P844) + tk(P845) + tk(P846) + tk(P847) + tk(P848) + tk(P849) + tk(P850) + tk(P851) + tk(P852) + tk(P853) + tk(P854) + tk(P855) + tk(P856) + tk(P857) + tk(P858) + tk(P859) + tk(P860) + tk(P861) + tk(P862) + tk(P863) + tk(P864) + tk(P865) + tk(P866) + tk(P867) + tk(P868) + tk(P869) + tk(P870) + tk(P871) + tk(P872) + tk(P873) + tk(P874) + tk(P875) + tk(P876) + tk(P877) + tk(P878) + tk(P879) + tk(P880) + tk(P881) + tk(P882) + tk(P883) + tk(P884) + tk(P885) + tk(P886) + tk(P887) + tk(P888) + tk(P889) + tk(P890) + tk(P891) + tk(P892) + tk(P893) + tk(P955) + tk(P956) + tk(P957)) ))) ))
PROPERTY: Peterson-PT-6-CTLCardinality-08 ( (EF(( ( potential( ( 2 ) <= (tk(P9)) ) & potential( (tk(P1007)) <= (tk(P188)) ) ) | ( potential( ( 1 ) <= (tk(P283)) ) | potential( ( 3 ) <= (tk(P1244)) ) ) ))) & (AF(potential( ( 3 ) <= (tk(P480)) ))) )
PROPERTY: Peterson-PT-6-CTLCardinality-09 (EG( (! (AG( potential( ( 2 ) <= (tk(P443)) ))))))
PROPERTY: Peterson-PT-6-CTLCardinality-10 (AG( ( potential( ( 3 ) <= (tk(P933)) ) | ( ( potential( (tk(P1071)) <= (tk(P766)) ) & potential( ( 3 ) <= (tk(P1233)) ) ) | ( potential( ( 1 ) <= (tk(P17)) ) | potential( (tk(P543)) <= (tk(P773)) ) ) ) )))
PROPERTY: Peterson-PT-6-CTLCardinality-11 ( (AG( ( (! potential( ( 2 ) <= (tk(P87)) )) | ( potential( ( 1 ) <= (tk(P1055)) ) | potential( ( 2 ) <= (tk(P278)) ) ) ))) & (EF(( potential( ( 1 ) <= (tk(P639)) ) | ( potential( (tk(P44)) <= (tk(P75)) ) | potential( (tk(P1115)) <= (tk(P821)) ) ) ))) )
PROPERTY: Peterson-PT-6-CTLCardinality-12 (EF(( ( ( potential( ( 1 ) <= (tk(P979)) ) & potential( (tk(P987)) <= (tk(P397)) ) ) | potential( ( 2 ) <= (tk(P939)) ) ) & potential( ( 3 ) <= (tk(P920)) ) )))
PROPERTY: Peterson-PT-6-CTLCardinality-13 (EF(( (AG( potential( ( 2 ) <= (tk(P1202)) ))) & ( (! potential( (tk(P1210)) <= (tk(P561)) )) & ( potential( (tk(P1142)) <= (tk(P1162)) ) & potential( ( 1 ) <= (tk(P1006)) ) ) ) )))
PROPERTY: Peterson-PT-6-CTLCardinality-14 (AG( (EF(( potential( (tk(P926)) <= (tk(P23)) ) & potential( ( 2 ) <= (tk(P1029)) ) )))))
PROPERTY: Peterson-PT-6-CTLCardinality-15 ( ( (! ( potential( (tk(P837)) <= (tk(P701)) ) | ( potential( (tk(P251)) <= (tk(P576)) ) & potential( ( 1 ) <= (tk(P1217)) ) ) )) & (EG( potential( ( 2 ) <= (tk(P96)) ))) ) | (EU( ( potential( (tk(P847)) <= (tk(P1064)) ) & potential( (tk(P1125)) <= (tk(P733)) ) ),( potential( ( 3 ) <= (tk(P38)) ) | potential( ( 1 ) <= (tk(P125)) ) ) )) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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