Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 23M
-rw-r--r-- 1 mcc users 29K Apr 12 06:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Apr 12 06:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 58K Apr 11 07:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 202K Apr 11 07:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 12K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 331K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.1M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 83K Apr 10 13:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 224K Apr 10 13:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 517K Apr 9 20:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.5M Apr 9 20:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 18K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 36K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 19M Mar 24 05:37 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 PolyORBNT-PT-S10J80-CTLCardinality-00
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-01
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-02
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-03
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-04
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-05
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-06
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-07
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-08
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-09
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-10
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-11
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-12
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-13
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-14
FORMULA_NAME PolyORBNT-PT-S10J80-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589649773184

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J80
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: 1614 places, 13500 transitions, 119759 arcs.
AT ITER 0 NEW BEST:: SOT 12553997 SOS 5906961 HAS SOPS 5906961 HAS SOUS 1871492 HAS SOUPS 1871492 WITH SCORE 1877398.961
AT ITER 4 NEW BEST:: SOT 12553973 SOS 5906955 HAS SOPS 5906955 HAS SOUS 1871468 HAS SOUPS 1871468 WITH SCORE 1877374.955
AT ITER 16 NEW BEST:: SOT 12553911 SOS 5906893 HAS SOPS 5906893 HAS SOUS 1871406 HAS SOUPS 1871406 WITH SCORE 1877312.893
AT ITER 25 NEW BEST:: SOT 12553911 SOS 5906893 HAS SOPS 5906893 HAS SOUS 1871277 HAS SOUPS 1871277 WITH SCORE 1877183.893
AT ITER 31 NEW BEST:: SOT 12553911 SOS 5906893 HAS SOPS 5906893 HAS SOUS 1870816 HAS SOUPS 1870816 WITH SCORE 1876722.893
AT ITER 41 NEW BEST:: SOT 12553586 SOS 5906326 HAS SOPS 5906326 HAS SOUS 1868071 HAS SOUPS 1868071 WITH SCORE 1873977.326
AT ITER 51 NEW BEST:: SOT 12553579 SOS 5906319 HAS SOPS 5906319 HAS SOUS 1868064 HAS SOUPS 1868064 WITH SCORE 1873970.319
AT ITER 52 NEW BEST:: SOT 12553579 SOS 5906319 HAS SOPS 5906319 HAS SOUS 1867595 HAS SOUPS 1867595 WITH SCORE 1873501.319
AT ITER 59 NEW BEST:: SOT 12553570 SOS 5906310 HAS SOPS 5906310 HAS SOUS 1867586 HAS SOUPS 1867586 WITH SCORE 1873492.31
AT ITER 65 NEW BEST:: SOT 12553315 SOS 5905813 HAS SOPS 5905813 HAS SOUS 1864911 HAS SOUPS 1864911 WITH SCORE 1870816.813
AT ITER 75 NEW BEST:: SOT 12553230 SOS 5905728 HAS SOPS 5905728 HAS SOUS 1864826 HAS SOUPS 1864826 WITH SCORE 1870731.728
AT ITER 76 NEW BEST:: SOT 12552649 SOS 5904905 HAS SOPS 5904905 HAS SOUS 1861825 HAS SOUPS 1861825 WITH SCORE 1867729.905
AT ITER 77 NEW BEST:: SOT 12552584 SOS 5904840 HAS SOPS 5904840 HAS SOUS 1861760 HAS SOUPS 1861760 WITH SCORE 1867664.84
AT ITER 84 NEW BEST:: SOT 12552291 SOS 5904547 HAS SOPS 5904547 HAS SOUS 1861467 HAS SOUPS 1861467 WITH SCORE 1867371.547
AT ITER 94 NEW BEST:: SOT 12552269 SOS 5904283 HAS SOPS 5904283 HAS SOUS 1859233 HAS SOUPS 1859233 WITH SCORE 1865137.283
AT ITER 95 NEW BEST:: SOT 12552142 SOS 5903914 HAS SOPS 5903914 HAS SOUS 1856686 HAS SOUPS 1856686 WITH SCORE 1862589.914
AT ITER 110 NEW BEST:: SOT 12551893 SOS 5903665 HAS SOPS 5903665 HAS SOUS 1856437 HAS SOUPS 1856437 WITH SCORE 1862340.665
AT ITER 113 NEW BEST:: SOT 12551591 SOS 5903121 HAS SOPS 5903121 HAS SOUS 1853715 HAS SOUPS 1853715 WITH SCORE 1859618.121
AT ITER 148 NEW BEST:: SOT 12551260 SOS 5902790 HAS SOPS 5902790 HAS SOUS 1853384 HAS SOUPS 1853384 WITH SCORE 1859286.79
AT ITER 153 NEW BEST:: SOT 12551260 SOS 5902790 HAS SOPS 5902790 HAS SOUS 1853066 HAS SOUPS 1853066 WITH SCORE 1858968.79
AT ITER 156 NEW BEST:: SOT 12551239 SOS 5902527 HAS SOPS 5902527 HAS SOUS 1850857 HAS SOUPS 1850857 WITH SCORE 1856759.527
AT ITER 160 NEW BEST:: SOT 12551247 SOS 5902985 HAS SOPS 5902985 HAS SOUS 1850615 HAS SOUPS 1850615 WITH SCORE 1856517.985
AT ITER 161 NEW BEST:: SOT 12552577 SOS 5904073 HAS SOPS 5904073 HAS SOUS 1849569 HAS SOUPS 1849569 WITH SCORE 1855473.073
AT ITER 163 NEW BEST:: SOT 12553318 SOS 5904572 HAS SOPS 5904572 HAS SOUS 1847914 HAS SOUPS 1847914 WITH SCORE 1853818.572
AT ITER 167 NEW BEST:: SOT 12553238 SOS 5904492 HAS SOPS 5904492 HAS SOUS 1847834 HAS SOUPS 1847834 WITH SCORE 1853738.492
AT ITER 172 NEW BEST:: SOT 12552909 SOS 5904163 HAS SOPS 5904163 HAS SOUS 1847505 HAS SOUPS 1847505 WITH SCORE 1853409.163
AT ITER 176 NEW BEST:: SOT 12552649 SOS 5903661 HAS SOPS 5903661 HAS SOUS 1844825 HAS SOUPS 1844825 WITH SCORE 1850728.661
AT ITER 178 NEW BEST:: SOT 12552542 SOS 5903642 HAS SOPS 5903642 HAS SOUS 1844756 HAS SOUPS 1844756 WITH SCORE 1850659.642
AT ITER 181 NEW BEST:: SOT 12553184 SOS 5903705 HAS SOPS 5903705 HAS SOUS 1841345 HAS SOUPS 1841345 WITH SCORE 1847248.705
AT ITER 183 NEW BEST:: SOT 12553184 SOS 5903705 HAS SOPS 5903705 HAS SOUS 1840865 HAS SOUPS 1840865 WITH SCORE 1846768.705
AT ITER 190 NEW BEST:: SOT 12553093 SOS 5903372 HAS SOPS 5903372 HAS SOUS 1838354 HAS SOUPS 1838354 WITH SCORE 1844257.372
AT ITER 200 NEW BEST:: SOT 12553513 SOS 5903550 HAS SOPS 5903550 HAS SOUS 1836354 HAS SOUPS 1836354 WITH SCORE 1842257.55
AT ITER 203 NEW BEST:: SOT 12553505 SOS 5903542 HAS SOPS 5903542 HAS SOUS 1836346 HAS SOUPS 1836346 WITH SCORE 1842249.542
AT ITER 216 NEW BEST:: SOT 12553301 SOS 5903096 HAS SOPS 5903096 HAS SOUS 1833722 HAS SOUPS 1833722 WITH SCORE 1839625.096
AT ITER 223 NEW BEST:: SOT 12553241 SOS 5903036 HAS SOPS 5903036 HAS SOUS 1833618 HAS SOUPS 1833618 WITH SCORE 1839521.036
AT ITER 228 NEW BEST:: SOT 12552945 SOS 5902740 HAS SOPS 5902740 HAS SOUS 1833322 HAS SOUPS 1833322 WITH SCORE 1839224.74
AT ITER 238 NEW BEST:: SOT 12553060 SOS 5902786 HAS SOPS 5902786 HAS SOUS 1833175 HAS SOUPS 1833175 WITH SCORE 1839077.786
AT ITER 243 NEW BEST:: SOT 12552890 SOS 5902616 HAS SOPS 5902616 HAS SOUS 1833005 HAS SOUPS 1833005 WITH SCORE 1838907.616
AT ITER 248 NEW BEST:: SOT 12552890 SOS 5902374 HAS SOPS 5902374 HAS SOUS 1830799 HAS SOUPS 1830799 WITH SCORE 1836701.374
AT ITER 259 NEW BEST:: SOT 12552994 SOS 5902236 HAS SOPS 5902236 HAS SOUS 1828651 HAS SOUPS 1828651 WITH SCORE 1834553.236
AT ITER 264 NEW BEST:: SOT 12552990 SOS 5902232 HAS SOPS 5902232 HAS SOUS 1828647 HAS SOUPS 1828647 WITH SCORE 1834549.232
AT ITER 272 NEW BEST:: SOT 12552980 SOS 5902252 HAS SOPS 5902252 HAS SOUS 1828187 HAS SOUPS 1828187 WITH SCORE 1834089.252
AT ITER 281 NEW BEST:: SOT 12552851 SOS 5901881 HAS SOPS 5901881 HAS SOUS 1825638 HAS SOUPS 1825638 WITH SCORE 1831539.881
AT ITER 282 NEW BEST:: SOT 12552851 SOS 5901881 HAS SOPS 5901881 HAS SOUS 1825238 HAS SOUPS 1825238 WITH SCORE 1831139.881
AT ITER 300 NEW BEST:: SOT 12552787 SOS 5901817 HAS SOPS 5901817 HAS SOUS 1825174 HAS SOUPS 1825174 WITH SCORE 1831075.817
AT ITER 301 NEW BEST:: SOT 12552721 SOS 5901751 HAS SOPS 5901751 HAS SOUS 1825108 HAS SOUPS 1825108 WITH SCORE 1831009.751
AT ITER 309 NEW BEST:: SOT 12552721 SOS 5901509 HAS SOPS 5901509 HAS SOUS 1822804 HAS SOUPS 1822804 WITH SCORE 1828705.509
AT ITER 314 NEW BEST:: SOT 12552683 SOS 5901496 HAS SOPS 5901496 HAS SOUS 1822766 HAS SOUPS 1822766 WITH SCORE 1828667.496
AT ITER 334 NEW BEST:: SOT 12552535 SOS 5901119 HAS SOPS 5901119 HAS SOUS 1820507 HAS SOUPS 1820507 WITH SCORE 1826408.119
AT ITER 338 NEW BEST:: SOT 12552468 SOS 5901052 HAS SOPS 5901052 HAS SOUS 1820440 HAS SOUPS 1820440 WITH SCORE 1826341.052
AT ITER 351 NEW BEST:: SOT 12552222 SOS 5900564 HAS SOPS 5900564 HAS SOUS 1817774 HAS SOUPS 1817774 WITH SCORE 1823674.564
AT ITER 358 NEW BEST:: SOT 12552121 SOS 5900572 HAS SOPS 5900572 HAS SOUS 1817743 HAS SOUPS 1817743 WITH SCORE 1823643.572
AT ITER 366 NEW BEST:: SOT 12550838 SOS 5899289 HAS SOPS 5899289 HAS SOUS 1816460 HAS SOUPS 1816460 WITH SCORE 1822359.289
AT ITER 372 NEW BEST:: SOT 12550838 SOS 5899289 HAS SOPS 5899289 HAS SOUS 1816060 HAS SOUPS 1816060 WITH SCORE 1821959.289
AT ITER 382 NEW BEST:: SOT 12550783 SOS 5898992 HAS SOPS 5898992 HAS SOUS 1813807 HAS SOUPS 1813807 WITH SCORE 1819705.992
AT ITER 391 NEW BEST:: SOT 12550776 SOS 5898978 HAS SOPS 5898978 HAS SOUS 1813793 HAS SOUPS 1813793 WITH SCORE 1819691.978
AT ITER 397 NEW BEST:: SOT 12550776 SOS 5898978 HAS SOPS 5898978 HAS SOUS 1813393 HAS SOUPS 1813393 WITH SCORE 1819291.978
AT ITER 401 NEW BEST:: SOT 12550749 SOS 5898951 HAS SOPS 5898951 HAS SOUS 1813366 HAS SOUPS 1813366 WITH SCORE 1819264.951
AT ITER 403 NEW BEST:: SOT 12550736 SOS 5898938 HAS SOPS 5898938 HAS SOUS 1813353 HAS SOUPS 1813353 WITH SCORE 1819251.938
AT ITER 413 NEW BEST:: SOT 12550557 SOS 5898759 HAS SOPS 5898759 HAS SOUS 1813174 HAS SOUPS 1813174 WITH SCORE 1819072.759
AT ITER 425 NEW BEST:: SOT 12550557 SOS 5898517 HAS SOPS 5898517 HAS SOUS 1810996 HAS SOUPS 1810996 WITH SCORE 1816894.517
AT ITER 427 NEW BEST:: SOT 12550565 SOS 5899131 HAS SOPS 5899131 HAS SOUS 1810806 HAS SOUPS 1810806 WITH SCORE 1816705.131
AT ITER 437 NEW BEST:: SOT 12550334 SOS 5898900 HAS SOPS 5898900 HAS SOUS 1810575 HAS SOUPS 1810575 WITH SCORE 1816473.9
AT ITER 447 NEW BEST:: SOT 12550334 SOS 5898900 HAS SOPS 5898900 HAS SOUS 1810332 HAS SOUPS 1810332 WITH SCORE 1816230.9
AT ITER 449 NEW BEST:: SOT 12550334 SOS 5898900 HAS SOPS 5898900 HAS SOUS 1810321 HAS SOUPS 1810321 WITH SCORE 1816219.9
AT ITER 475 NEW BEST:: SOT 12550197 SOS 5898521 HAS SOPS 5898521 HAS SOUS 1807764 HAS SOUPS 1807764 WITH SCORE 1813662.521
AT ITER 483 NEW BEST:: SOT 12549961 SOS 5898043 HAS SOPS 5898043 HAS SOUS 1805108 HAS SOUPS 1805108 WITH SCORE 1811006.043
AT ITER 508 NEW BEST:: SOT 12549991 SOS 5897980 HAS SOPS 5897980 HAS SOUS 1804208 HAS SOUPS 1804208 WITH SCORE 1810105.98
AT ITER 515 NEW BEST:: SOT 12549991 SOS 5897980 HAS SOPS 5897980 HAS SOUS 1804146 HAS SOUPS 1804146 WITH SCORE 1810043.98
AT ITER 522 NEW BEST:: SOT 12549767 SOS 5897756 HAS SOPS 5897756 HAS SOUS 1803922 HAS SOUPS 1803922 WITH SCORE 1809819.756
AT ITER 525 NEW BEST:: SOT 12549844 SOS 5897526 HAS SOPS 5897526 HAS SOUS 1800929 HAS SOUPS 1800929 WITH SCORE 1806826.526
AT ITER 528 NEW BEST:: SOT 12549582 SOS 5897022 HAS SOPS 5897022 HAS SOUS 1798247 HAS SOUPS 1798247 WITH SCORE 1804144.022
AT ITER 532 NEW BEST:: SOT 12551165 SOS 5898313 HAS SOPS 5898313 HAS SOUS 1796910 HAS SOUPS 1796910 WITH SCORE 1802808.313
AT ITER 536 NEW BEST:: SOT 12551020 SOS 5897926 HAS SOPS 5897926 HAS SOUS 1794511 HAS SOUPS 1794511 WITH SCORE 1800408.926
AT ITER 555 NEW BEST:: SOT 12551020 SOS 5897642 HAS SOPS 5897642 HAS SOUS 1794431 HAS SOUPS 1794431 WITH SCORE 1800328.642
AT ITER 562 NEW BEST:: SOT 12550946 SOS 5897568 HAS SOPS 5897568 HAS SOUS 1794357 HAS SOUPS 1794357 WITH SCORE 1800254.568
AT ITER 574 NEW BEST:: SOT 12550788 SOS 5897410 HAS SOPS 5897410 HAS SOUS 1794199 HAS SOUPS 1794199 WITH SCORE 1800096.41
AT ITER 579 NEW BEST:: SOT 12550775 SOS 5897397 HAS SOPS 5897397 HAS SOUS 1794186 HAS SOUPS 1794186 WITH SCORE 1800083.397
AT ITER 582 NEW BEST:: SOT 12550677 SOS 5897299 HAS SOPS 5897299 HAS SOUS 1794088 HAS SOUPS 1794088 WITH SCORE 1799985.299
AT ITER 583 NEW BEST:: SOT 12550540 SOS 5897162 HAS SOPS 5897162 HAS SOUS 1793951 HAS SOUPS 1793951 WITH SCORE 1799848.162
AT ITER 584 NEW BEST:: SOT 12550330 SOS 5896697 HAS SOPS 5896697 HAS SOUS 1791195 HAS SOUPS 1791195 WITH SCORE 1797091.697
AT ITER 591 NEW BEST:: SOT 12550286 SOS 5896653 HAS SOPS 5896653 HAS SOUS 1791151 HAS SOUPS 1791151 WITH SCORE 1797047.653
AT ITER 595 NEW BEST:: SOT 12549913 SOS 5896280 HAS SOPS 5896280 HAS SOUS 1790778 HAS SOUPS 1790778 WITH SCORE 1796674.28
AT ITER 605 NEW BEST:: SOT 12550035 SOS 5896213 HAS SOPS 5896213 HAS SOUS 1789046 HAS SOUPS 1789046 WITH SCORE 1794942.213
AT ITER 620 NEW BEST:: SOT 12550018 SOS 5896196 HAS SOPS 5896196 HAS SOUS 1789029 HAS SOUPS 1789029 WITH SCORE 1794925.196
AT ITER 630 NEW BEST:: SOT 12551951 SOS 5897832 HAS SOPS 5897832 HAS SOUS 1787999 HAS SOUPS 1787999 WITH SCORE 1793896.832
AT ITER 641 NEW BEST:: SOT 12551951 SOS 5897832 HAS SOPS 5897832 HAS SOUS 1787603 HAS SOUPS 1787603 WITH SCORE 1793500.832
AT ITER 643 NEW BEST:: SOT 12551951 SOS 5897813 HAS SOPS 5897813 HAS SOUS 1787113 HAS SOUPS 1787113 WITH SCORE 1793010.813
AT ITER 648 NEW BEST:: SOT 12551951 SOS 5897813 HAS SOPS 5897813 HAS SOUS 1786903 HAS SOUPS 1786903 WITH SCORE 1792800.813
AT ITER 661 NEW BEST:: SOT 12551840 SOS 5897702 HAS SOPS 5897702 HAS SOUS 1786792 HAS SOUPS 1786792 WITH SCORE 1792689.702
AT ITER 669 NEW BEST:: SOT 12551692 SOS 5897473 HAS SOPS 5897473 HAS SOUS 1785686 HAS SOUPS 1785686 WITH SCORE 1791583.473
AT ITER 670 NEW BEST:: SOT 12551585 SOS 5897514 HAS SOPS 5897514 HAS SOUS 1785643 HAS SOUPS 1785643 WITH SCORE 1791540.514
AT ITER 672 NEW BEST:: SOT 12551585 SOS 5897514 HAS SOPS 5897514 HAS SOUS 1785382 HAS SOUPS 1785382 WITH SCORE 1791279.514
AT ITER 681 NEW BEST:: SOT 12551585 SOS 5897922 HAS SOPS 5897922 HAS SOUS 1785118 HAS SOUPS 1785118 WITH SCORE 1791015.922
AT ITER 688 NEW BEST:: SOT 12551793 SOS 5897888 HAS SOPS 5897888 HAS SOUS 1783581 HAS SOUPS 1783581 WITH SCORE 1789478.888
AT ITER 690 NEW BEST:: SOT 12551589 SOS 5897684 HAS SOPS 5897684 HAS SOUS 1783377 HAS SOUPS 1783377 WITH SCORE 1789274.684
AT ITER 724 NEW BEST:: SOT 12551589 SOS 5897565 HAS SOPS 5897565 HAS SOUS 1782306 HAS SOUPS 1782306 WITH SCORE 1788203.565
AT ITER 725 NEW BEST:: SOT 12551517 SOS 5897596 HAS SOPS 5897596 HAS SOUS 1782302 HAS SOUPS 1782302 WITH SCORE 1788199.596
AT ITER 731 NEW BEST:: SOT 12551517 SOS 5897596 HAS SOPS 5897596 HAS SOUS 1781902 HAS SOUPS 1781902 WITH SCORE 1787799.596
AT ITER 752 NEW BEST:: SOT 12551423 SOS 5897340 HAS SOPS 5897340 HAS SOUS 1780188 HAS SOUPS 1780188 WITH SCORE 1786085.34
AT ITER 758 NEW BEST:: SOT 12551356 SOS 5897381 HAS SOPS 5897381 HAS SOUS 1780146 HAS SOUPS 1780146 WITH SCORE 1786043.381
AT ITER 766 NEW BEST:: SOT 12551371 SOS 5897396 HAS SOPS 5897396 HAS SOUS 1779888 HAS SOUPS 1779888 WITH SCORE 1785785.396
AT ITER 768 NEW BEST:: SOT 12551391 SOS 5897201 HAS SOPS 5897201 HAS SOUS 1777758 HAS SOUPS 1777758 WITH SCORE 1783655.201
AT ITER 770 NEW BEST:: SOT 12551980 SOS 5897305 HAS SOPS 5897305 HAS SOUS 1772680 HAS SOUPS 1772680 WITH SCORE 1778577.305
AT ITER 774 NEW BEST:: SOT 12552125 SOS 5897163 HAS SOPS 5897163 HAS SOUS 1769955 HAS SOUPS 1769955 WITH SCORE 1775852.163
AT ITER 794 NEW BEST:: SOT 12552149 SOS 5897187 HAS SOPS 5897187 HAS SOUS 1769696 HAS SOUPS 1769696 WITH SCORE 1775593.187
AT ITER 795 NEW BEST:: SOT 12551755 SOS 5896793 HAS SOPS 5896793 HAS SOUS 1768723 HAS SOUPS 1768723 WITH SCORE 1774619.793
AT ITER 804 NEW BEST:: SOT 12551883 SOS 5896651 HAS SOPS 5896651 HAS SOUS 1766566 HAS SOUPS 1766566 WITH SCORE 1772462.651
AT ITER 805 NEW BEST:: SOT 12551165 SOS 5895933 HAS SOPS 5895933 HAS SOUS 1765848 HAS SOUPS 1765848 WITH SCORE 1771743.933
AT ITER 808 NEW BEST:: SOT 12551015 SOS 5895541 HAS SOPS 5895541 HAS SOUS 1763278 HAS SOUPS 1763278 WITH SCORE 1769173.541
AT ITER 838 NEW BEST:: SOT 12551015 SOS 5895438 HAS SOPS 5895438 HAS SOUS 1762351 HAS SOUPS 1762351 WITH SCORE 1768246.438
AT ITER 847 NEW BEST:: SOT 12551287 SOS 5895274 HAS SOPS 5895274 HAS SOUS 1762278 HAS SOUPS 1762278 WITH SCORE 1768173.274
AT ITER 850 NEW BEST:: SOT 12551287 SOS 5895180 HAS SOPS 5895180 HAS SOUS 1761338 HAS SOUPS 1761338 WITH SCORE 1767233.18
AT ITER 858 NEW BEST:: SOT 12551287 SOS 5895180 HAS SOPS 5895180 HAS SOUS 1760938 HAS SOUPS 1760938 WITH SCORE 1766833.18
AT ITER 859 NEW BEST:: SOT 12551287 SOS 5895086 HAS SOPS 5895086 HAS SOUS 1759998 HAS SOUPS 1759998 WITH SCORE 1765893.086
AT ITER 863 NEW BEST:: SOT 12551466 SOS 5895023 HAS SOPS 5895023 HAS SOUS 1757965 HAS SOUPS 1757965 WITH SCORE 1763860.023
AT ITER 867 NEW BEST:: SOT 12551398 SOS 5894955 HAS SOPS 5894955 HAS SOUS 1757829 HAS SOUPS 1757829 WITH SCORE 1763723.955
AT ITER 878 NEW BEST:: SOT 12551398 SOS 5894762 HAS SOPS 5894762 HAS SOUS 1757316 HAS SOUPS 1757316 WITH SCORE 1763210.762
AT ITER 881 NEW BEST:: SOT 12550929 SOS 5894293 HAS SOPS 5894293 HAS SOUS 1756847 HAS SOUPS 1756847 WITH SCORE 1762741.293
AT ITER 887 NEW BEST:: SOT 12550991 SOS 5894355 HAS SOPS 5894355 HAS SOUS 1756764 HAS SOUPS 1756764 WITH SCORE 1762658.355
AT ITER 892 NEW BEST:: SOT 12552404 SOS 5895526 HAS SOPS 5895526 HAS SOUS 1756350 HAS SOUPS 1756350 WITH SCORE 1762245.526
AT ITER 899 NEW BEST:: SOT 12552363 SOS 5895485 HAS SOPS 5895485 HAS SOUS 1756268 HAS SOUPS 1756268 WITH SCORE 1762163.485
AT ITER 911 NEW BEST:: SOT 12552543 SOS 5895213 HAS SOPS 5895213 HAS SOUS 1752083 HAS SOUPS 1752083 WITH SCORE 1757978.213
AT ITER 919 NEW BEST:: SOT 12552382 SOS 5894811 HAS SOPS 5894811 HAS SOUS 1749688 HAS SOUPS 1749688 WITH SCORE 1755582.811
AT ITER 927 NEW BEST:: SOT 12552382 SOS 5894811 HAS SOPS 5894811 HAS SOUS 1749632 HAS SOUPS 1749632 WITH SCORE 1755526.811
AT ITER 931 NEW BEST:: SOT 12552089 SOS 5894276 HAS SOPS 5894276 HAS SOUS 1746919 HAS SOUPS 1746919 WITH SCORE 1752813.276
AT ITER 942 NEW BEST:: SOT 12551933 SOS 5894120 HAS SOPS 5894120 HAS SOUS 1746618 HAS SOUPS 1746618 WITH SCORE 1752512.12
AT ITER 944 NEW BEST:: SOT 12551933 SOS 5893971 HAS SOPS 5893971 HAS SOUS 1746548 HAS SOUPS 1746548 WITH SCORE 1752441.971
AT ITER 959 NEW BEST:: SOT 12551933 SOS 5893971 HAS SOPS 5893971 HAS SOUS 1746113 HAS SOUPS 1746113 WITH SCORE 1752006.971
AT ITER 968 NEW BEST:: SOT 12551933 SOS 5893903 HAS SOPS 5893903 HAS SOUS 1745433 HAS SOUPS 1745433 WITH SCORE 1751326.903
AT ITER 972 NEW BEST:: SOT 12552625 SOS 5894595 HAS SOPS 5894595 HAS SOUS 1744941 HAS SOUPS 1744941 WITH SCORE 1750835.595
AT ITER 975 NEW BEST:: SOT 12552509 SOS 5894614 HAS SOPS 5894614 HAS SOUS 1744896 HAS SOUPS 1744896 WITH SCORE 1750790.614
AT ITER 977 NEW BEST:: SOT 8511247 SOS 2839957 HAS SOPS 2839957 HAS SOUS 1415884 HAS SOUPS 1415884 WITH SCORE 1418723.957
AT ITER 995 NEW BEST:: SOT 8511878 SOS 2840588 HAS SOPS 2840588 HAS SOUS 1413971 HAS SOUPS 1413971 WITH SCORE 1416811.588
AT ITER 1000 NEW BEST:: SOT 8514892 SOS 2843602 HAS SOPS 2843602 HAS SOUS 1413200 HAS SOUPS 1413200 WITH SCORE 1416043.602
AT ITER 1001 NEW BEST:: SOT 8514848 SOS 2843602 HAS SOPS 2843602 HAS SOUS 1412760 HAS SOUPS 1412760 WITH SCORE 1415603.602
AT ITER 1009 NEW BEST:: SOT 8514410 SOS 2843166 HAS SOPS 2843166 HAS SOUS 1412322 HAS SOUPS 1412322 WITH SCORE 1415165.166
AT ITER 1013 NEW BEST:: SOT 8514367 SOS 2843153 HAS SOPS 2843153 HAS SOUS 1411891 HAS SOUPS 1411891 WITH SCORE 1414734.153
AT ITER 1031 NEW BEST:: SOT 8514207 SOS 2842789 HAS SOPS 2842789 HAS SOUS 1411445 HAS SOUPS 1411445 WITH SCORE 1414287.789
AT ITER 1032 NEW BEST:: SOT 8514153 SOS 2842735 HAS SOPS 2842735 HAS SOUS 1411387 HAS SOUPS 1411387 WITH SCORE 1414229.735
AT ITER 1033 NEW BEST:: SOT 8514323 SOS 2842905 HAS SOPS 2842905 HAS SOUS 1409174 HAS SOUPS 1409174 WITH SCORE 1412016.905
AT ITER 1038 NEW BEST:: SOT 8514183 SOS 2842878 HAS SOPS 2842878 HAS SOUS 1409125 HAS SOUPS 1409125 WITH SCORE 1411967.878
AT ITER 1044 NEW BEST:: SOT 8514137 SOS 2842869 HAS SOPS 2842869 HAS SOUS 1409107 HAS SOUPS 1409107 WITH SCORE 1411949.869
AT ITER 1067 NEW BEST:: SOT 8513985 SOS 2842636 HAS SOPS 2842636 HAS SOUS 1406535 HAS SOUPS 1406535 WITH SCORE 1409377.636
AT ITER 1072 NEW BEST:: SOT 8513870 SOS 2842555 HAS SOPS 2842555 HAS SOUS 1405610 HAS SOUPS 1405610 WITH SCORE 1408452.555
AT ITER 1073 NEW BEST:: SOT 8513870 SOS 2842555 HAS SOPS 2842555 HAS SOUS 1405210 HAS SOUPS 1405210 WITH SCORE 1408052.555
AT ITER 1088 NEW BEST:: SOT 8513697 SOS 2842382 HAS SOPS 2842382 HAS SOUS 1405037 HAS SOUPS 1405037 WITH SCORE 1407879.382
AT ITER 1093 NEW BEST:: SOT 8513549 SOS 2842389 HAS SOPS 2842389 HAS SOUS 1404963 HAS SOUPS 1404963 WITH SCORE 1407805.389
AT ITER 1095 NEW BEST:: SOT 8513492 SOS 2842332 HAS SOPS 2842332 HAS SOUS 1404906 HAS SOUPS 1404906 WITH SCORE 1407748.332
AT ITER 1098 NEW BEST:: SOT 8513343 SOS 2842287 HAS SOPS 2842287 HAS SOUS 1404778 HAS SOUPS 1404778 WITH SCORE 1407620.287
AT ITER 1101 NEW BEST:: SOT 8513383 SOS 2842246 HAS SOPS 2842246 HAS SOUS 1404180 HAS SOUPS 1404180 WITH SCORE 1407022.246
AT ITER 1105 NEW BEST:: SOT 8513186 SOS 2841968 HAS SOPS 2841968 HAS SOUS 1401563 HAS SOUPS 1401563 WITH SCORE 1404404.968
AT ITER 1108 NEW BEST:: SOT 8513275 SOS 2841990 HAS SOPS 2841990 HAS SOUS 1401049 HAS SOUPS 1401049 WITH SCORE 1403890.99
AT ITER 1127 NEW BEST:: SOT 8513405 SOS 2842120 HAS SOPS 2842120 HAS SOUS 1399469 HAS SOUPS 1399469 WITH SCORE 1402311.12
AT ITER 1137 NEW BEST:: SOT 8514200 SOS 2842915 HAS SOPS 2842915 HAS SOUS 1399174 HAS SOUPS 1399174 WITH SCORE 1402016.915
AT ITER 1142 NEW BEST:: SOT 8514825 SOS 2843459 HAS SOPS 2843459 HAS SOUS 1398605 HAS SOUPS 1398605 WITH SCORE 1401448.459
AT ITER 1144 NEW BEST:: SOT 8514954 SOS 2843656 HAS SOPS 2843656 HAS SOUS 1398322 HAS SOUPS 1398322 WITH SCORE 1401165.656
AT ITER 1149 NEW BEST:: SOT 8514490 SOS 2843192 HAS SOPS 2843192 HAS SOUS 1397547 HAS SOUPS 1397547 WITH SCORE 1400390.192
AT ITER 1153 NEW BEST:: SOT 8514490 SOS 2843192 HAS SOPS 2843192 HAS SOUS 1397546 HAS SOUPS 1397546 WITH SCORE 1400389.192
AT ITER 1154 NEW BEST:: SOT 8514483 SOS 2843185 HAS SOPS 2843185 HAS SOUS 1397539 HAS SOUPS 1397539 WITH SCORE 1400382.185
AT ITER 1157 NEW BEST:: SOT 8215884 SOS 2768957 HAS SOPS 2768957 HAS SOUS 1100657 HAS SOUPS 1100657 WITH SCORE 1103425.957
AT ITER 1170 NEW BEST:: SOT 8217745 SOS 2770818 HAS SOPS 2770818 HAS SOUS 1100612 HAS SOUPS 1100612 WITH SCORE 1103382.818
AT ITER 1183 NEW BEST:: SOT 8217499 SOS 2770572 HAS SOPS 2770572 HAS SOUS 1100366 HAS SOUPS 1100366 WITH SCORE 1103136.572
AT ITER 1186 NEW BEST:: SOT 8217681 SOS 2771110 HAS SOPS 2771110 HAS SOUS 1099212 HAS SOUPS 1099212 WITH SCORE 1101983.11
AT ITER 1194 NEW BEST:: SOT 8216617 SOS 2770046 HAS SOPS 2770046 HAS SOUS 1097725 HAS SOUPS 1097725 WITH SCORE 1100495.046
AT ITER 1200 NEW BEST:: SOT 8216547 SOS 2770121 HAS SOPS 2770121 HAS SOUS 1097617 HAS SOUPS 1097617 WITH SCORE 1100387.121
AT ITER 1201 NEW BEST:: SOT 8216675 SOS 2770249 HAS SOPS 2770249 HAS SOUS 1097446 HAS SOUPS 1097446 WITH SCORE 1100216.249
AT ITER 1208 NEW BEST:: SOT 8216575 SOS 2770149 HAS SOPS 2770149 HAS SOUS 1096896 HAS SOUPS 1096896 WITH SCORE 1099666.149
AT ITER 1209 NEW BEST:: SOT 8216502 SOS 2770256 HAS SOPS 2770256 HAS SOUS 1096791 HAS SOUPS 1096791 WITH SCORE 1099561.256
AT ITER 1213 NEW BEST:: SOT 8216322 SOS 2770076 HAS SOPS 2770076 HAS SOUS 1094884 HAS SOUPS 1094884 WITH SCORE 1097654.076
AT ITER 1214 NEW BEST:: SOT 8216322 SOS 2770076 HAS SOPS 2770076 HAS SOUS 1094736 HAS SOUPS 1094736 WITH SCORE 1097506.076
AT ITER 1220 NEW BEST:: SOT 8216166 SOS 2769920 HAS SOPS 2769920 HAS SOUS 1092670 HAS SOUPS 1092670 WITH SCORE 1095439.92
AT ITER 1229 NEW BEST:: SOT 8215861 SOS 2769615 HAS SOPS 2769615 HAS SOUS 1091933 HAS SOUPS 1091933 WITH SCORE 1094702.615
AT ITER 1230 NEW BEST:: SOT 8215205 SOS 2768959 HAS SOPS 2768959 HAS SOUS 1089129 HAS SOUPS 1089129 WITH SCORE 1091897.959
AT ITER 1243 NEW BEST:: SOT 8214595 SOS 2768349 HAS SOPS 2768349 HAS SOUS 1088347 HAS SOUPS 1088347 WITH SCORE 1091115.349
AT ITER 1257 NEW BEST:: SOT 8214547 SOS 2768301 HAS SOPS 2768301 HAS SOUS 1088316 HAS SOUPS 1088316 WITH SCORE 1091084.301
AT ITER 1269 NEW BEST:: SOT 8214107 SOS 2767861 HAS SOPS 2767861 HAS SOUS 1087727 HAS SOUPS 1087727 WITH SCORE 1090494.861
AT ITER 1271 NEW BEST:: SOT 8217147 SOS 2770901 HAS SOPS 2770901 HAS SOUS 1087545 HAS SOUPS 1087545 WITH SCORE 1090315.901
AT ITER 1280 NEW BEST:: SOT 8217056 SOS 2770810 HAS SOPS 2770810 HAS SOUS 1087292 HAS SOUPS 1087292 WITH SCORE 1090062.81
AT ITER 1285 NEW BEST:: SOT 8216873 SOS 2770627 HAS SOPS 2770627 HAS SOUS 1087109 HAS SOUPS 1087109 WITH SCORE 1089879.627
AT ITER 1286 NEW BEST:: SOT 8216699 SOS 2770453 HAS SOPS 2770453 HAS SOUS 1085195 HAS SOUPS 1085195 WITH SCORE 1087965.453
AT ITER 1292 NEW BEST:: SOT 8216535 SOS 2770289 HAS SOPS 2770289 HAS SOUS 1085031 HAS SOUPS 1085031 WITH SCORE 1087801.289
AT ITER 1295 NEW BEST:: SOT 8216535 SOS 2770258 HAS SOPS 2770258 HAS SOUS 1085031 HAS SOUPS 1085031 WITH SCORE 1087801.258
AT ITER 1307 NEW BEST:: SOT 8216411 SOS 2769558 HAS SOPS 2769558 HAS SOUS 1084541 HAS SOUPS 1084541 WITH SCORE 1087310.558
AT ITER 1321 NEW BEST:: SOT 8217619 SOS 2770766 HAS SOPS 2770766 HAS SOUS 1083351 HAS SOUPS 1083351 WITH SCORE 1086121.766
AT ITER 1341 NEW BEST:: SOT 8217619 SOS 2770731 HAS SOPS 2770731 HAS SOUS 1083285 HAS SOUPS 1083285 WITH SCORE 1086055.731
AT ITER 1352 NEW BEST:: SOT 8216447 SOS 2769559 HAS SOPS 2769559 HAS SOUS 1081487 HAS SOUPS 1081487 WITH SCORE 1084256.559
AT ITER 1355 NEW BEST:: SOT 8216365 SOS 2769477 HAS SOPS 2769477 HAS SOUS 1081405 HAS SOUPS 1081405 WITH SCORE 1084174.477
AT ITER 1357 NEW BEST:: SOT 8216363 SOS 2769475 HAS SOPS 2769475 HAS SOUS 1081403 HAS SOUPS 1081403 WITH SCORE 1084172.475
AT ITER 1365 NEW BEST:: SOT 8216363 SOS 2769475 HAS SOPS 2769475 HAS SOUS 1081401 HAS SOUPS 1081401 WITH SCORE 1084170.475
AT ITER 1370 NEW BEST:: SOT 8216332 SOS 2769444 HAS SOPS 2769444 HAS SOUS 1081059 HAS SOUPS 1081059 WITH SCORE 1083828.444
AT ITER 1371 NEW BEST:: SOT 8216284 SOS 2769396 HAS SOPS 2769396 HAS SOUS 1081011 HAS SOUPS 1081011 WITH SCORE 1083780.396
AT ITER 1372 NEW BEST:: SOT 8215275 SOS 2768387 HAS SOPS 2768387 HAS SOUS 1080002 HAS SOUPS 1080002 WITH SCORE 1082770.387
AT ITER 1380 NEW BEST:: SOT 8215253 SOS 2768365 HAS SOPS 2768365 HAS SOUS 1079980 HAS SOUPS 1079980 WITH SCORE 1082748.365
AT ITER 1383 NEW BEST:: SOT 8214772 SOS 2767884 HAS SOPS 2767884 HAS SOUS 1079499 HAS SOUPS 1079499 WITH SCORE 1082266.884
AT ITER 1386 NEW BEST:: SOT 8214661 SOS 2767773 HAS SOPS 2767773 HAS SOUS 1078278 HAS SOUPS 1078278 WITH SCORE 1081045.773
AT ITER 1399 NEW BEST:: SOT 8214633 SOS 2767745 HAS SOPS 2767745 HAS SOUS 1078109 HAS SOUPS 1078109 WITH SCORE 1080876.745
AT ITER 1400 NEW BEST:: SOT 8214554 SOS 2767666 HAS SOPS 2767666 HAS SOUS 1077240 HAS SOUPS 1077240 WITH SCORE 1080007.666
AT ITER 1416 NEW BEST:: SOT 8214568 SOS 2768047 HAS SOPS 2768047 HAS SOUS 1077071 HAS SOUPS 1077071 WITH SCORE 1079839.047
AT ITER 1423 NEW BEST:: SOT 8214601 SOS 2768080 HAS SOPS 2768080 HAS SOUS 1076974 HAS SOUPS 1076974 WITH SCORE 1079742.08
AT ITER 1424 NEW BEST:: SOT 8214427 SOS 2767906 HAS SOPS 2767906 HAS SOUS 1076800 HAS SOUPS 1076800 WITH SCORE 1079567.906
AT ITER 1425 NEW BEST:: SOT 8213929 SOS 2767408 HAS SOPS 2767408 HAS SOUS 1076302 HAS SOUPS 1076302 WITH SCORE 1079069.408
AT ITER 1426 NEW BEST:: SOT 8213872 SOS 2767412 HAS SOPS 2767412 HAS SOUS 1076275 HAS SOUPS 1076275 WITH SCORE 1079042.412
AT ITER 1428 NEW BEST:: SOT 8213816 SOS 2767356 HAS SOPS 2767356 HAS SOUS 1076219 HAS SOUPS 1076219 WITH SCORE 1078986.356
AT ITER 1432 NEW BEST:: SOT 8213047 SOS 2766587 HAS SOPS 2766587 HAS SOUS 1074610 HAS SOUPS 1074610 WITH SCORE 1077376.587
AT ITER 1434 NEW BEST:: SOT 8213897 SOS 2767437 HAS SOPS 2767437 HAS SOUS 1073579 HAS SOUPS 1073579 WITH SCORE 1076346.437
AT ITER 1441 NEW BEST:: SOT 8213837 SOS 2767377 HAS SOPS 2767377 HAS SOUS 1072559 HAS SOUPS 1072559 WITH SCORE 1075326.377
AT ITER 1445 NEW BEST:: SOT 8213837 SOS 2767377 HAS SOPS 2767377 HAS SOUS 1072384 HAS SOUPS 1072384 WITH SCORE 1075151.377
AT ITER 1448 NEW BEST:: SOT 8213852 SOS 2767392 HAS SOPS 2767392 HAS SOUS 1069702 HAS SOUPS 1069702 WITH SCORE 1072469.392
AT ITER 1450 NEW BEST:: SOT 8213852 SOS 2767392 HAS SOPS 2767392 HAS SOUS 1069544 HAS SOUPS 1069544 WITH SCORE 1072311.392
AT ITER 1455 NEW BEST:: SOT 8214221 SOS 2767761 HAS SOPS 2767761 HAS SOUS 1068590 HAS SOUPS 1068590 WITH SCORE 1071357.761
AT ITER 1466 NEW BEST:: SOT 8214192 SOS 2767732 HAS SOPS 2767732 HAS SOUS 1064091 HAS SOUPS 1064091 WITH SCORE 1066858.732
AT ITER 1479 NEW BEST:: SOT 8213972 SOS 2767512 HAS SOPS 2767512 HAS SOUS 1063871 HAS SOUPS 1063871 WITH SCORE 1066638.512
AT ITER 1481 NEW BEST:: SOT 8214684 SOS 2768224 HAS SOPS 2768224 HAS SOUS 1062773 HAS SOUPS 1062773 WITH SCORE 1065541.224
AT ITER 1484 NEW BEST:: SOT 8214601 SOS 2768141 HAS SOPS 2768141 HAS SOUS 1062690 HAS SOUPS 1062690 WITH SCORE 1065458.141
AT ITER 1485 NEW BEST:: SOT 8215752 SOS 2769292 HAS SOPS 2769292 HAS SOUS 1061040 HAS SOUPS 1061040 WITH SCORE 1063809.292
AT ITER 1496 NEW BEST:: SOT 8215667 SOS 2769264 HAS SOPS 2769264 HAS SOUS 1060970 HAS SOUPS 1060970 WITH SCORE 1063739.264
AT ITER 1497 NEW BEST:: SOT 8218061 SOS 2771658 HAS SOPS 2771658 HAS SOUS 1059389 HAS SOUPS 1059389 WITH SCORE 1062160.658
AT ITER 1503 NEW BEST:: SOT 8215950 SOS 2769547 HAS SOPS 2769547 HAS SOUS 1057278 HAS SOUPS 1057278 WITH SCORE 1060047.547
AT ITER 1526 NEW BEST:: SOT 8215907 SOS 2769504 HAS SOPS 2769504 HAS SOUS 1057235 HAS SOUPS 1057235 WITH SCORE 1060004.504
AT ITER 1530 NEW BEST:: SOT 8215907 SOS 2769504 HAS SOPS 2769504 HAS SOUS 1057056 HAS SOUPS 1057056 WITH SCORE 1059825.504
AT ITER 1535 NEW BEST:: SOT 8215907 SOS 2769381 HAS SOPS 2769381 HAS SOUS 1056682 HAS SOUPS 1056682 WITH SCORE 1059451.381
AT ITER 1536 NEW BEST:: SOT 8215984 SOS 2769458 HAS SOPS 2769458 HAS SOUS 1056519 HAS SOUPS 1056519 WITH SCORE 1059288.458
AT ITER 1538 NEW BEST:: SOT 8215606 SOS 2769080 HAS SOPS 2769080 HAS SOUS 1056141 HAS SOUPS 1056141 WITH SCORE 1058910.08
AT ITER 1541 NEW BEST:: SOT 8215590 SOS 2769064 HAS SOPS 2769064 HAS SOUS 1056117 HAS SOUPS 1056117 WITH SCORE 1058886.064
AT ITER 1546 NEW BEST:: SOT 8215577 SOS 2769051 HAS SOPS 2769051 HAS SOUS 1056104 HAS SOUPS 1056104 WITH SCORE 1058873.051
AT ITER 1557 NEW BEST:: SOT 8215577 SOS 2769051 HAS SOPS 2769051 HAS SOUS 1055970 HAS SOUPS 1055970 WITH SCORE 1058739.051
AT ITER 1560 NEW BEST:: SOT 8215910 SOS 2769384 HAS SOPS 2769384 HAS SOUS 1054519 HAS SOUPS 1054519 WITH SCORE 1057288.384
AT ITER 1565 NEW BEST:: SOT 8215708 SOS 2769182 HAS SOPS 2769182 HAS SOUS 1052579 HAS SOUPS 1052579 WITH SCORE 1055348.182
AT ITER 1587 NEW BEST:: SOT 8215858 SOS 2769332 HAS SOPS 2769332 HAS SOUS 1051243 HAS SOUPS 1051243 WITH SCORE 1054012.332
AT ITER 1593 NEW BEST:: SOT 8215858 SOS 2769332 HAS SOPS 2769332 HAS SOUS 1049217 HAS SOUPS 1049217 WITH SCORE 1051986.332
AT ITER 1596 NEW BEST:: SOT 8215710 SOS 2769359 HAS SOPS 2769359 HAS SOUS 1049205 HAS SOUPS 1049205 WITH SCORE 1051974.359
AT ITER 1597 NEW BEST:: SOT 8213845 SOS 2767494 HAS SOPS 2767494 HAS SOUS 1047340 HAS SOUPS 1047340 WITH SCORE 1050107.494
AT ITER 1599 NEW BEST:: SOT 8213772 SOS 2767421 HAS SOPS 2767421 HAS SOUS 1047267 HAS SOUPS 1047267 WITH SCORE 1050034.421
AT ITER 1612 NEW BEST:: SOT 8213592 SOS 2767241 HAS SOPS 2767241 HAS SOUS 1045467 HAS SOUPS 1045467 WITH SCORE 1048234.241
AT ITER 1613 NEW BEST:: SOT 8213555 SOS 2767355 HAS SOPS 2767355 HAS SOUS 1045432 HAS SOUPS 1045432 WITH SCORE 1048199.355
AT ITER 1618 NEW BEST:: SOT 8213403 SOS 2767304 HAS SOPS 2767304 HAS SOUS 1045310 HAS SOUPS 1045310 WITH SCORE 1048077.304
AT ITER 1619 NEW BEST:: SOT 8213403 SOS 2767304 HAS SOPS 2767304 HAS SOUS 1045274 HAS SOUPS 1045274 WITH SCORE 1048041.304
AT ITER 1620 NEW BEST:: SOT 8213091 SOS 2766992 HAS SOPS 2766992 HAS SOUS 1044962 HAS SOUPS 1044962 WITH SCORE 1047728.992
AT ITER 1637 NEW BEST:: SOT 8212980 SOS 2767493 HAS SOPS 2767493 HAS SOUS 1044898 HAS SOUPS 1044898 WITH SCORE 1047665.493
AT ITER 1639 NEW BEST:: SOT 8212994 SOS 2767536 HAS SOPS 2767536 HAS SOUS 1044857 HAS SOUPS 1044857 WITH SCORE 1047624.536
AT ITER 1640 NEW BEST:: SOT 8212580 SOS 2767122 HAS SOPS 2767122 HAS SOUS 1044443 HAS SOUPS 1044443 WITH SCORE 1047210.122
AT ITER 1643 NEW BEST:: SOT 8212344 SOS 2766886 HAS SOPS 2766886 HAS SOUS 1044146 HAS SOUPS 1044146 WITH SCORE 1046912.886
AT ITER 1644 NEW BEST:: SOT 8212314 SOS 2766856 HAS SOPS 2766856 HAS SOUS 1044116 HAS SOUPS 1044116 WITH SCORE 1046882.856
AT ITER 1666 NEW BEST:: SOT 8212238 SOS 2766896 HAS SOPS 2766896 HAS SOUS 1044095 HAS SOUPS 1044095 WITH SCORE 1046861.896
AT ITER 1670 NEW BEST:: SOT 8212122 SOS 2766780 HAS SOPS 2766780 HAS SOUS 1043979 HAS SOUPS 1043979 WITH SCORE 1046745.78
AT ITER 1673 NEW BEST:: SOT 8212122 SOS 2766780 HAS SOPS 2766780 HAS SOUS 1042859 HAS SOUPS 1042859 WITH SCORE 1045625.78
AT ITER 1679 NEW BEST:: SOT 8211586 SOS 2766244 HAS SOPS 2766244 HAS SOUS 1042244 HAS SOUPS 1042244 WITH SCORE 1045010.244
AT ITER 1690 NEW BEST:: SOT 8211641 SOS 2766343 HAS SOPS 2766343 HAS SOUS 1042181 HAS SOUPS 1042181 WITH SCORE 1044947.343
AT ITER 1699 NEW BEST:: SOT 8211479 SOS 2766181 HAS SOPS 2766181 HAS SOUS 1042019 HAS SOUPS 1042019 WITH SCORE 1044785.181
AT ITER 1705 NEW BEST:: SOT 8211479 SOS 2766181 HAS SOPS 2766181 HAS SOUS 1041929 HAS SOUPS 1041929 WITH SCORE 1044695.181
AT ITER 1708 NEW BEST:: SOT 8211092 SOS 2765794 HAS SOPS 2765794 HAS SOUS 1041223 HAS SOUPS 1041223 WITH SCORE 1043988.794
AT ITER 1712 NEW BEST:: SOT 8211037 SOS 2765739 HAS SOPS 2765739 HAS SOUS 1040999 HAS SOUPS 1040999 WITH SCORE 1043764.739
AT ITER 1721 NEW BEST:: SOT 8212095 SOS 2766797 HAS SOPS 2766797 HAS SOUS 1039959 HAS SOUPS 1039959 WITH SCORE 1042725.797
AT ITER 1735 NEW BEST:: SOT 8212086 SOS 2766788 HAS SOPS 2766788 HAS SOUS 1039941 HAS SOUPS 1039941 WITH SCORE 1042707.788
AT ITER 1736 NEW BEST:: SOT 8211903 SOS 2766605 HAS SOPS 2766605 HAS SOUS 1039841 HAS SOUPS 1039841 WITH SCORE 1042607.605
AT ITER 1740 NEW BEST:: SOT 8212516 SOS 2767218 HAS SOPS 2767218 HAS SOUS 1033474 HAS SOUPS 1033474 WITH SCORE 1036241.218
AT ITER 1743 NEW BEST:: SOT 8212248 SOS 2766950 HAS SOPS 2766950 HAS SOUS 1033006 HAS SOUPS 1033006 WITH SCORE 1035772.95
AT ITER 1750 NEW BEST:: SOT 8211623 SOS 2766325 HAS SOPS 2766325 HAS SOUS 1032020 HAS SOUPS 1032020 WITH SCORE 1034786.325
AT ITER 1754 NEW BEST:: SOT 8211397 SOS 2766099 HAS SOPS 2766099 HAS SOUS 1031794 HAS SOUPS 1031794 WITH SCORE 1034560.099
AT ITER 1755 NEW BEST:: SOT 8211360 SOS 2766062 HAS SOPS 2766062 HAS SOUS 1031757 HAS SOUPS 1031757 WITH SCORE 1034523.062
AT ITER 1757 NEW BEST:: SOT 8211227 SOS 2765929 HAS SOPS 2765929 HAS SOUS 1031624 HAS SOUPS 1031624 WITH SCORE 1034389.929
AT ITER 1766 NEW BEST:: SOT 8211070 SOS 2765945 HAS SOPS 2765945 HAS SOUS 1031622 HAS SOUPS 1031622 WITH SCORE 1034387.945
AT ITER 1768 NEW BEST:: SOT 8209994 SOS 2764869 HAS SOPS 2764869 HAS SOUS 1030102 HAS SOUPS 1030102 WITH SCORE 1032866.869
AT ITER 1773 NEW BEST:: SOT 8209720 SOS 2764595 HAS SOPS 2764595 HAS SOUS 1028888 HAS SOUPS 1028888 WITH SCORE 1031652.595
AT ITER 1777 NEW BEST:: SOT 8209339 SOS 2764214 HAS SOPS 2764214 HAS SOUS 1024782 HAS SOUPS 1024782 WITH SCORE 1027546.214
AT ITER 1781 NEW BEST:: SOT 8209273 SOS 2764148 HAS SOPS 2764148 HAS SOUS 1024588 HAS SOUPS 1024588 WITH SCORE 1027352.148
AT ITER 1784 NEW BEST:: SOT 8206628 SOS 2761503 HAS SOPS 2761503 HAS SOUS 1021943 HAS SOUPS 1021943 WITH SCORE 1024704.503
AT ITER 1790 NEW BEST:: SOT 8206032 SOS 2760907 HAS SOPS 2760907 HAS SOUS 1021279 HAS SOUPS 1021279 WITH SCORE 1024039.907
AT ITER 1793 NEW BEST:: SOT 8205899 SOS 2760774 HAS SOPS 2760774 HAS SOUS 1020997 HAS SOUPS 1020997 WITH SCORE 1023757.774
AT ITER 1794 NEW BEST:: SOT 8205094 SOS 2759969 HAS SOPS 2759969 HAS SOUS 1019607 HAS SOUPS 1019607 WITH SCORE 1022366.969
AT ITER 1801 NEW BEST:: SOT 8205229 SOS 2759931 HAS SOPS 2759931 HAS SOUS 1019098 HAS SOUPS 1019098 WITH SCORE 1021857.931
AT ITER 1808 NEW BEST:: SOT 8205229 SOS 2759931 HAS SOPS 2759931 HAS SOUS 1019014 HAS SOUPS 1019014 WITH SCORE 1021773.931
AT ITER 1812 NEW BEST:: SOT 8205025 SOS 2759727 HAS SOPS 2759727 HAS SOUS 1016415 HAS SOUPS 1016415 WITH SCORE 1019174.727
AT ITER 1818 NEW BEST:: SOT 8205011 SOS 2759713 HAS SOPS 2759713 HAS SOUS 1016401 HAS SOUPS 1016401 WITH SCORE 1019160.713
AT ITER 1824 NEW BEST:: SOT 8205079 SOS 2759429 HAS SOPS 2759429 HAS SOUS 1016295 HAS SOUPS 1016295 WITH SCORE 1019054.429
AT ITER 1830 NEW BEST:: SOT 8205022 SOS 2759372 HAS SOPS 2759372 HAS SOUS 1016238 HAS SOUPS 1016238 WITH SCORE 1018997.372
AT ITER 1831 NEW BEST:: SOT 8204630 SOS 2758980 HAS SOPS 2758980 HAS SOUS 1011830 HAS SOUPS 1011830 WITH SCORE 1014588.98
AT ITER 1838 NEW BEST:: SOT 8204619 SOS 2758969 HAS SOPS 2758969 HAS SOUS 1011819 HAS SOUPS 1011819 WITH SCORE 1014577.969
AT ITER 1842 NEW BEST:: SOT 8204560 SOS 2758910 HAS SOPS 2758910 HAS SOUS 1011760 HAS SOUPS 1011760 WITH SCORE 1014518.91
AT ITER 1843 NEW BEST:: SOT 8204439 SOS 2758789 HAS SOPS 2758789 HAS SOUS 1011639 HAS SOUPS 1011639 WITH SCORE 1014397.789
AT ITER 1844 NEW BEST:: SOT 8203497 SOS 2757847 HAS SOPS 2757847 HAS SOUS 1010697 HAS SOUPS 1010697 WITH SCORE 1013454.847
AT ITER 1847 NEW BEST:: SOT 8203496 SOS 2757846 HAS SOPS 2757846 HAS SOUS 1010687 HAS SOUPS 1010687 WITH SCORE 1013444.846
AT ITER 1854 NEW BEST:: SOT 8201997 SOS 2756347 HAS SOPS 2756347 HAS SOUS 1009209 HAS SOUPS 1009209 WITH SCORE 1011965.347
AT ITER 1861 NEW BEST:: SOT 8201997 SOS 2756347 HAS SOPS 2756347 HAS SOUS 1009195 HAS SOUPS 1009195 WITH SCORE 1011951.347
AT ITER 1863 NEW BEST:: SOT 8201525 SOS 2755875 HAS SOPS 2755875 HAS SOUS 1008723 HAS SOUPS 1008723 WITH SCORE 1011478.875
AT ITER 1866 NEW BEST:: SOT 8201455 SOS 2755891 HAS SOPS 2755891 HAS SOUS 1008712 HAS SOUPS 1008712 WITH SCORE 1011467.891
AT ITER 1869 NEW BEST:: SOT 8203347 SOS 2757783 HAS SOPS 2757783 HAS SOUS 1008426 HAS SOUPS 1008426 WITH SCORE 1011183.783
AT ITER 1876 NEW BEST:: SOT 8203347 SOS 2757783 HAS SOPS 2757783 HAS SOUS 1008379 HAS SOUPS 1008379 WITH SCORE 1011136.783
AT ITER 1879 NEW BEST:: SOT 8203180 SOS 2757616 HAS SOPS 2757616 HAS SOUS 1008212 HAS SOUPS 1008212 WITH SCORE 1010969.616
AT ITER 1884 NEW BEST:: SOT 8202994 SOS 2757430 HAS SOPS 2757430 HAS SOUS 1008026 HAS SOUPS 1008026 WITH SCORE 1010783.43
AT ITER 1886 NEW BEST:: SOT 8202415 SOS 2756851 HAS SOPS 2756851 HAS SOUS 1006860 HAS SOUPS 1006860 WITH SCORE 1009616.851
AT ITER 1888 NEW BEST:: SOT 8189098 SOS 2782148 HAS SOPS 2782148 HAS SOUS 993077 HAS SOUPS 993077 WITH SCORE 995859.148
AT ITER 1889 NEW BEST:: SOT 8189104 SOS 2782154 HAS SOPS 2782154 HAS SOUS 992702 HAS SOUPS 992702 WITH SCORE 995484.154
AT ITER 1904 NEW BEST:: SOT 8188655 SOS 2781705 HAS SOPS 2781705 HAS SOUS 992225 HAS SOUPS 992225 WITH SCORE 995006.705
AT ITER 1911 NEW BEST:: SOT 8188648 SOS 2781698 HAS SOPS 2781698 HAS SOUS 992177 HAS SOUPS 992177 WITH SCORE 994958.698
AT ITER 1928 NEW BEST:: SOT 8188648 SOS 2781608 HAS SOPS 2781608 HAS SOUS 992177 HAS SOUPS 992177 WITH SCORE 994958.608
AT ITER 1933 NEW BEST:: SOT 8188648 SOS 2781595 HAS SOPS 2781595 HAS SOUS 992081 HAS SOUPS 992081 WITH SCORE 994862.595
AT ITER 1938 NEW BEST:: SOT 8189119 SOS 2782066 HAS SOPS 2782066 HAS SOUS 987908 HAS SOUPS 987908 WITH SCORE 990690.066
AT ITER 1942 NEW BEST:: SOT 8189004 SOS 2781951 HAS SOPS 2781951 HAS SOUS 987793 HAS SOUPS 987793 WITH SCORE 990574.951
AT ITER 1948 NEW BEST:: SOT 8189004 SOS 2781812 HAS SOPS 2781812 HAS SOUS 987515 HAS SOUPS 987515 WITH SCORE 990296.812
AT ITER 1950 NEW BEST:: SOT 8188905 SOS 2781713 HAS SOPS 2781713 HAS SOUS 984708 HAS SOUPS 984708 WITH SCORE 987489.713
AT ITER 1958 NEW BEST:: SOT 8188816 SOS 2781751 HAS SOPS 2781751 HAS SOUS 984653 HAS SOUPS 984653 WITH SCORE 987434.751
AT ITER 1965 NEW BEST:: SOT 8188847 SOS 2781782 HAS SOPS 2781782 HAS SOUS 984612 HAS SOUPS 984612 WITH SCORE 987393.782
AT ITER 1970 NEW BEST:: SOT 8188847 SOS 2781782 HAS SOPS 2781782 HAS SOUS 984611 HAS SOUPS 984611 WITH SCORE 987392.782
AT ITER 1982 NEW BEST:: SOT 8188766 SOS 2781701 HAS SOPS 2781701 HAS SOUS 983801 HAS SOUPS 983801 WITH SCORE 986582.701
AT ITER 1986 NEW BEST:: SOT 8188814 SOS 2781797 HAS SOPS 2781797 HAS SOUS 983417 HAS SOUPS 983417 WITH SCORE 986198.797
AT ITER 1991 NEW BEST:: SOT 8188814 SOS 2781680 HAS SOPS 2781680 HAS SOUS 983178 HAS SOUPS 983178 WITH SCORE 985959.68
AT ITER 1999 NEW BEST:: SOT 8188602 SOS 2781468 HAS SOPS 2781468 HAS SOUS 982966 HAS SOUPS 982966 WITH SCORE 985747.468
AT ITER 2000 NEW BEST:: SOT 8188600 SOS 2781466 HAS SOPS 2781466 HAS SOUS 982964 HAS SOUPS 982964 WITH SCORE 985745.466
AT ITER 2004 NEW BEST:: SOT 8188588 SOS 2781454 HAS SOPS 2781454 HAS SOUS 982952 HAS SOUPS 982952 WITH SCORE 985733.454
AT ITER 2014 NEW BEST:: SOT 8188584 SOS 2781450 HAS SOPS 2781450 HAS SOUS 982948 HAS SOUPS 982948 WITH SCORE 985729.45
AT ITER 2020 NEW BEST:: SOT 8188466 SOS 2781332 HAS SOPS 2781332 HAS SOUS 982830 HAS SOUPS 982830 WITH SCORE 985611.332
AT ITER 2021 NEW BEST:: SOT 8188376 SOS 2781242 HAS SOPS 2781242 HAS SOUS 982650 HAS SOUPS 982650 WITH SCORE 985431.242
AT ITER 2041 NEW BEST:: SOT 8188287 SOS 2781153 HAS SOPS 2781153 HAS SOUS 982561 HAS SOUPS 982561 WITH SCORE 985342.153
AT ITER 2046 NEW BEST:: SOT 8188393 SOS 2781259 HAS SOPS 2781259 HAS SOUS 981599 HAS SOUPS 981599 WITH SCORE 984380.259
AT ITER 2055 NEW BEST:: SOT 8191070 SOS 2783936 HAS SOPS 2783936 HAS SOUS 979002 HAS SOUPS 979002 WITH SCORE 981785.936
AT ITER 2060 NEW BEST:: SOT 8190989 SOS 2783855 HAS SOPS 2783855 HAS SOUS 978111 HAS SOUPS 978111 WITH SCORE 980894.855
AT ITER 2070 NEW BEST:: SOT 8190643 SOS 2783509 HAS SOPS 2783509 HAS SOUS 974235 HAS SOUPS 974235 WITH SCORE 977018.509
AT ITER 2074 NEW BEST:: SOT 8190610 SOS 2783476 HAS SOPS 2783476 HAS SOUS 974136 HAS SOUPS 974136 WITH SCORE 976919.476
AT ITER 2079 NEW BEST:: SOT 8190452 SOS 2783318 HAS SOPS 2783318 HAS SOUS 973977 HAS SOUPS 973977 WITH SCORE 976760.318
AT ITER 2093 NEW BEST:: SOT 8190503 SOS 2783369 HAS SOPS 2783369 HAS SOUS 973943 HAS SOUPS 973943 WITH SCORE 976726.369
AT ITER 2111 NEW BEST:: SOT 8190464 SOS 2783330 HAS SOPS 2783330 HAS SOUS 973865 HAS SOUPS 973865 WITH SCORE 976648.33
AT ITER 2113 NEW BEST:: SOT 8189983 SOS 2782849 HAS SOPS 2782849 HAS SOUS 973384 HAS SOUPS 973384 WITH SCORE 976166.849
AT ITER 2116 NEW BEST:: SOT 8189818 SOS 2782188 HAS SOPS 2782188 HAS SOUS 972856 HAS SOUPS 972856 WITH SCORE 975638.188
AT ITER 2128 NEW BEST:: SOT 8189770 SOS 2782140 HAS SOPS 2782140 HAS SOUS 972808 HAS SOUPS 972808 WITH SCORE 975590.14
AT ITER 2129 NEW BEST:: SOT 8189770 SOS 2782059 HAS SOPS 2782059 HAS SOUS 972703 HAS SOUPS 972703 WITH SCORE 975485.059
AT ITER 2141 NEW BEST:: SOT 8189760 SOS 2782049 HAS SOPS 2782049 HAS SOUS 972693 HAS SOUPS 972693 WITH SCORE 975475.049
AT ITER 2142 NEW BEST:: SOT 8193142 SOS 2785431 HAS SOPS 2785431 HAS SOUS 972655 HAS SOUPS 972655 WITH SCORE 975440.431
AT ITER 2149 NEW BEST:: SOT 8193203 SOS 2785492 HAS SOPS 2785492 HAS SOUS 971896 HAS SOUPS 971896 WITH SCORE 974681.492
AT ITER 2153 NEW BEST:: SOT 8193203 SOS 2785489 HAS SOPS 2785489 HAS SOUS 971883 HAS SOUPS 971883 WITH SCORE 974668.489
AT ITER 2162 NEW BEST:: SOT 8193156 SOS 2785482 HAS SOPS 2785482 HAS SOUS 971836 HAS SOUPS 971836 WITH SCORE 974621.482
AT ITER 2177 NEW BEST:: SOT 8192604 SOS 2784930 HAS SOPS 2784930 HAS SOUS 971292 HAS SOUPS 971292 WITH SCORE 974076.93
AT ITER 2180 NEW BEST:: SOT 8193331 SOS 2785657 HAS SOPS 2785657 HAS SOUS 967984 HAS SOUPS 967984 WITH SCORE 970769.657
AT ITER 2183 NEW BEST:: SOT 8193162 SOS 2785488 HAS SOPS 2785488 HAS SOUS 967815 HAS SOUPS 967815 WITH SCORE 970600.488
AT ITER 2188 NEW BEST:: SOT 8193035 SOS 2785361 HAS SOPS 2785361 HAS SOUS 967688 HAS SOUPS 967688 WITH SCORE 970473.361
AT ITER 2190 NEW BEST:: SOT 8192986 SOS 2785312 HAS SOPS 2785312 HAS SOUS 967639 HAS SOUPS 967639 WITH SCORE 970424.312
AT ITER 2196 NEW BEST:: SOT 8192661 SOS 2784987 HAS SOPS 2784987 HAS SOUS 967314 HAS SOUPS 967314 WITH SCORE 970098.987
AT ITER 2214 NEW BEST:: SOT 8192109 SOS 2784435 HAS SOPS 2784435 HAS SOUS 966413 HAS SOUPS 966413 WITH SCORE 969197.435
AT ITER 2221 NEW BEST:: SOT 8192304 SOS 2784630 HAS SOPS 2784630 HAS SOUS 964770 HAS SOUPS 964770 WITH SCORE 967554.63
AT ITER 2229 NEW BEST:: SOT 8192304 SOS 2784434 HAS SOPS 2784434 HAS SOUS 964471 HAS SOUPS 964471 WITH SCORE 967255.434
AT ITER 2239 NEW BEST:: SOT 8192288 SOS 2784418 HAS SOPS 2784418 HAS SOUS 964455 HAS SOUPS 964455 WITH SCORE 967239.418
AT ITER 2249 NEW BEST:: SOT 8192265 SOS 2784395 HAS SOPS 2784395 HAS SOUS 964408 HAS SOUPS 964408 WITH SCORE 967192.395
AT ITER 2250 NEW BEST:: SOT 8192200 SOS 2784392 HAS SOPS 2784392 HAS SOUS 964343 HAS SOUPS 964343 WITH SCORE 967127.392
AT ITER 2255 NEW BEST:: SOT 8191952 SOS 2784144 HAS SOPS 2784144 HAS SOUS 963525 HAS SOUPS 963525 WITH SCORE 966309.144
AT ITER 2256 NEW BEST:: SOT 8191811 SOS 2784003 HAS SOPS 2784003 HAS SOUS 963384 HAS SOUPS 963384 WITH SCORE 966168.003
AT ITER 2258 NEW BEST:: SOT 8191663 SOS 2783855 HAS SOPS 2783855 HAS SOUS 963078 HAS SOUPS 963078 WITH SCORE 965861.855
AT ITER 2264 NEW BEST:: SOT 8190223 SOS 2782811 HAS SOPS 2782811 HAS SOUS 960721 HAS SOUPS 960721 WITH SCORE 963503.811
AT ITER 2274 NEW BEST:: SOT 8190218 SOS 2782806 HAS SOPS 2782806 HAS SOUS 959196 HAS SOUPS 959196 WITH SCORE 961978.806
AT ITER 2275 NEW BEST:: SOT 8190619 SOS 2783207 HAS SOPS 2783207 HAS SOUS 954501 HAS SOUPS 954501 WITH SCORE 957284.207
AT ITER 2279 NEW BEST:: SOT 8190654 SOS 2783242 HAS SOPS 2783242 HAS SOUS 954190 HAS SOUPS 954190 WITH SCORE 956973.242
AT ITER 2284 NEW BEST:: SOT 8190438 SOS 2783026 HAS SOPS 2783026 HAS SOUS 953974 HAS SOUPS 953974 WITH SCORE 956757.026
AT ITER 2290 NEW BEST:: SOT 8190995 SOS 2783583 HAS SOPS 2783583 HAS SOUS 949518 HAS SOUPS 949518 WITH SCORE 952301.583
AT ITER 2296 NEW BEST:: SOT 8190902 SOS 2783490 HAS SOPS 2783490 HAS SOUS 949350 HAS SOUPS 949350 WITH SCORE 952133.49
AT ITER 2313 NEW BEST:: SOT 8190847 SOS 2783435 HAS SOPS 2783435 HAS SOUS 949295 HAS SOUPS 949295 WITH SCORE 952078.435
AT ITER 2319 NEW BEST:: SOT 8190210 SOS 2782798 HAS SOPS 2782798 HAS SOUS 948451 HAS SOUPS 948451 WITH SCORE 951233.798
AT ITER 2324 NEW BEST:: SOT 8190484 SOS 2783072 HAS SOPS 2783072 HAS SOUS 944768 HAS SOUPS 944768 WITH SCORE 947551.072
AT ITER 2355 NEW BEST:: SOT 8190242 SOS 2782830 HAS SOPS 2782830 HAS SOUS 944409 HAS SOUPS 944409 WITH SCORE 947191.83
AT ITER 2358 NEW BEST:: SOT 8189885 SOS 2782473 HAS SOPS 2782473 HAS SOUS 944052 HAS SOUPS 944052 WITH SCORE 946834.473
AT ITER 2372 NEW BEST:: SOT 8189675 SOS 2782263 HAS SOPS 2782263 HAS SOUS 943842 HAS SOUPS 943842 WITH SCORE 946624.263
AT ITER 2377 NEW BEST:: SOT 8191261 SOS 2783849 HAS SOPS 2783849 HAS SOUS 943825 HAS SOUPS 943825 WITH SCORE 946608.849
AT ITER 2378 NEW BEST:: SOT 8190787 SOS 2783375 HAS SOPS 2783375 HAS SOUS 943325 HAS SOUPS 943325 WITH SCORE 946108.375
AT ITER 2380 NEW BEST:: SOT 8190608 SOS 2783422 HAS SOPS 2783422 HAS SOUS 943119 HAS SOUPS 943119 WITH SCORE 945902.422
AT ITER 2398 NEW BEST:: SOT 8190504 SOS 2783398 HAS SOPS 2783398 HAS SOUS 943015 HAS SOUPS 943015 WITH SCORE 945798.398
AT ITER 2401 NEW BEST:: SOT 8190413 SOS 2783896 HAS SOPS 2783896 HAS SOUS 942833 HAS SOUPS 942833 WITH SCORE 945616.896
AT ITER 2409 NEW BEST:: SOT 8190400 SOS 2783883 HAS SOPS 2783883 HAS SOUS 942820 HAS SOUPS 942820 WITH SCORE 945603.883
AT ITER 2410 NEW BEST:: SOT 8191747 SOS 2785230 HAS SOPS 2785230 HAS SOUS 939767 HAS SOUPS 939767 WITH SCORE 942552.23
AT ITER 2412 NEW BEST:: SOT 8191747 SOS 2785197 HAS SOPS 2785197 HAS SOUS 939668 HAS SOUPS 939668 WITH SCORE 942453.197
AT ITER 2415 NEW BEST:: SOT 8191600 SOS 2785050 HAS SOPS 2785050 HAS SOUS 939521 HAS SOUPS 939521 WITH SCORE 942306.05
AT ITER 2425 NEW BEST:: SOT 8191426 SOS 2784876 HAS SOPS 2784876 HAS SOUS 939347 HAS SOUPS 939347 WITH SCORE 942131.876
AT ITER 2433 NEW BEST:: SOT 8191527 SOS 2784977 HAS SOPS 2784977 HAS SOUS 938741 HAS SOUPS 938741 WITH SCORE 941525.977
AT ITER 2440 NEW BEST:: SOT 8191889 SOS 2785339 HAS SOPS 2785339 HAS SOUS 937245 HAS SOUPS 937245 WITH SCORE 940030.339
AT ITER 2451 NEW BEST:: SOT 8189312 SOS 2782762 HAS SOPS 2782762 HAS SOUS 935308 HAS SOUPS 935308 WITH SCORE 938090.762
AT ITER 2455 NEW BEST:: SOT 8188792 SOS 2782242 HAS SOPS 2782242 HAS SOUS 934521 HAS SOUPS 934521 WITH SCORE 937303.242
AT ITER 2460 NEW BEST:: SOT 8188764 SOS 2782214 HAS SOPS 2782214 HAS SOUS 934376 HAS SOUPS 934376 WITH SCORE 937158.214
AT ITER 2464 NEW BEST:: SOT 8188388 SOS 2782683 HAS SOPS 2781838 HAS SOUS 934083 HAS SOUPS 933994 WITH SCORE 936776.683
AT ITER 2467 NEW BEST:: SOT 8188344 SOS 2782639 HAS SOPS 2781794 HAS SOUS 933801 HAS SOUPS 933712 WITH SCORE 936494.639
AT ITER 2469 NEW BEST:: SOT 8188991 SOS 2783286 HAS SOPS 2782441 HAS SOUS 932999 HAS SOUPS 932910 WITH SCORE 935693.286
AT ITER 2472 NEW BEST:: SOT 8188961 SOS 2783256 HAS SOPS 2782411 HAS SOUS 932969 HAS SOUPS 932880 WITH SCORE 935663.256
AT ITER 2477 NEW BEST:: SOT 8188319 SOS 2782352 HAS SOPS 2781507 HAS SOUS 932065 HAS SOUPS 931976 WITH SCORE 934758.352
AT ITER 2486 NEW BEST:: SOT 8188466 SOS 2782499 HAS SOPS 2781654 HAS SOUS 930836 HAS SOUPS 930747 WITH SCORE 933529.499
AT ITER 2489 NEW BEST:: SOT 8188310 SOS 2782343 HAS SOPS 2781498 HAS SOUS 930680 HAS SOUPS 930591 WITH SCORE 933373.343
AT ITER 2503 NEW BEST:: SOT 8188310 SOS 2782343 HAS SOPS 2781498 HAS SOUS 930672 HAS SOUPS 930583 WITH SCORE 933365.343
AT ITER 2506 NEW BEST:: SOT 8188523 SOS 2782556 HAS SOPS 2781711 HAS SOUS 930603 HAS SOUPS 930514 WITH SCORE 933296.556
AT ITER 2509 NEW BEST:: SOT 8188116 SOS 2782149 HAS SOPS 2781304 HAS SOUS 929709 HAS SOUPS 929620 WITH SCORE 932402.149
AT ITER 2511 NEW BEST:: SOT 8188076 SOS 2782109 HAS SOPS 2781264 HAS SOUS 929229 HAS SOUPS 929140 WITH SCORE 931922.109
AT ITER 2521 NEW BEST:: SOT 8188724 SOS 2782757 HAS SOPS 2781912 HAS SOUS 926808 HAS SOUPS 926719 WITH SCORE 929501.757
AT ITER 2543 NEW BEST:: SOT 8189103 SOS 2783136 HAS SOPS 2782291 HAS SOUS 923732 HAS SOUPS 923643 WITH SCORE 926426.136
AT ITER 2544 NEW BEST:: SOT 8188991 SOS 2783024 HAS SOPS 2782179 HAS SOUS 923060 HAS SOUPS 922971 WITH SCORE 925754.024
AT ITER 2548 NEW BEST:: SOT 8189352 SOS 2783385 HAS SOPS 2782540 HAS SOUS 920839 HAS SOUPS 920750 WITH SCORE 923533.385
AT ITER 2552 NEW BEST:: SOT 8189108 SOS 2783141 HAS SOPS 2782296 HAS SOUS 920489 HAS SOUPS 920400 WITH SCORE 923183.141
AT ITER 2553 NEW BEST:: SOT 8189032 SOS 2783393 HAS SOPS 2782548 HAS SOUS 920337 HAS SOUPS 920248 WITH SCORE 923031.393
AT ITER 2563 NEW BEST:: SOT 8187185 SOS 2781546 HAS SOPS 2780701 HAS SOUS 918490 HAS SOUPS 918401 WITH SCORE 921182.546
AT ITER 2582 NEW BEST:: SOT 8187121 SOS 2781482 HAS SOPS 2780637 HAS SOUS 918426 HAS SOUPS 918337 WITH SCORE 921118.482
AT ITER 2590 NEW BEST:: SOT 8186904 SOS 2781265 HAS SOPS 2780420 HAS SOUS 916256 HAS SOUPS 916167 WITH SCORE 918948.265
AT ITER 2591 NEW BEST:: SOT 8186841 SOS 2781137 HAS SOPS 2780292 HAS SOUS 916128 HAS SOUPS 916039 WITH SCORE 918820.137
AT ITER 2606 NEW BEST:: SOT 8186701 SOS 2780997 HAS SOPS 2780152 HAS SOUS 915894 HAS SOUPS 915805 WITH SCORE 918585.997
AT ITER 2612 NEW BEST:: SOT 8186817 SOS 2780892 HAS SOPS 2780047 HAS SOUS 915770 HAS SOUPS 915681 WITH SCORE 918461.892
AT ITER 2615 NEW BEST:: SOT 8186817 SOS 2780713 HAS SOPS 2779868 HAS SOUS 915426 HAS SOUPS 915337 WITH SCORE 918117.713
AT ITER 2632 NEW BEST:: SOT 8186817 SOS 2780713 HAS SOPS 2779868 HAS SOUS 915417 HAS SOUPS 915328 WITH SCORE 918108.713
AT ITER 2634 NEW BEST:: SOT 8186747 SOS 2780643 HAS SOPS 2779798 HAS SOUS 915347 HAS SOUPS 915258 WITH SCORE 918038.643
AT ITER 2643 NEW BEST:: SOT 8186528 SOS 2780424 HAS SOPS 2779579 HAS SOUS 914782 HAS SOUPS 914693 WITH SCORE 917473.424
AT ITER 2649 NEW BEST:: SOT 8186528 SOS 2780362 HAS SOPS 2779517 HAS SOUS 914780 HAS SOUPS 914691 WITH SCORE 917471.362
AT ITER 2657 NEW BEST:: SOT 8186563 SOS 2780301 HAS SOPS 2779456 HAS SOUS 914719 HAS SOUPS 914630 WITH SCORE 917410.301
AT ITER 2667 NEW BEST:: SOT 8185966 SOS 2779704 HAS SOPS 2778859 HAS SOUS 914122 HAS SOUPS 914033 WITH SCORE 916812.704
AT ITER 2672 NEW BEST:: SOT 8185896 SOS 2779634 HAS SOPS 2778789 HAS SOUS 914052 HAS SOUPS 913963 WITH SCORE 916742.634
AT ITER 2687 NEW BEST:: SOT 8186877 SOS 2780615 HAS SOPS 2779770 HAS SOUS 911055 HAS SOUPS 910966 WITH SCORE 913746.615
AT ITER 2691 NEW BEST:: SOT 8186605 SOS 2780343 HAS SOPS 2779498 HAS SOUS 908427 HAS SOUPS 908338 WITH SCORE 911118.343
AT ITER 2720 NEW BEST:: SOT 8186306 SOS 2780044 HAS SOPS 2779199 HAS SOUS 908128 HAS SOUPS 908039 WITH SCORE 910819.044
AT ITER 2724 NEW BEST:: SOT 8186315 SOS 2780053 HAS SOPS 2779208 HAS SOUS 906086 HAS SOUPS 905997 WITH SCORE 908777.053
AT ITER 2725 NEW BEST:: SOT 8186267 SOS 2780005 HAS SOPS 2779160 HAS SOUS 906038 HAS SOUPS 905949 WITH SCORE 908729.005
AT ITER 2729 NEW BEST:: SOT 8186267 SOS 2780005 HAS SOPS 2779160 HAS SOUS 904349 HAS SOUPS 904260 WITH SCORE 907040.005
AT ITER 2745 NEW BEST:: SOT 8186047 SOS 2779785 HAS SOPS 2778940 HAS SOUS 904129 HAS SOUPS 904040 WITH SCORE 906819.785
AT ITER 2746 NEW BEST:: SOT 8185814 SOS 2779552 HAS SOPS 2778707 HAS SOUS 903610 HAS SOUPS 903521 WITH SCORE 906300.552
AT ITER 2756 NEW BEST:: SOT 8185701 SOS 2779439 HAS SOPS 2778594 HAS SOUS 903497 HAS SOUPS 903408 WITH SCORE 906187.439
AT ITER 2762 NEW BEST:: SOT 8185699 SOS 2779794 HAS SOPS 2778949 HAS SOUS 903493 HAS SOUPS 903404 WITH SCORE 906183.794
AT ITER 2769 NEW BEST:: SOT 8185472 SOS 2778917 HAS SOPS 2778072 HAS SOUS 902797 HAS SOUPS 902708 WITH SCORE 905486.917
AT ITER 2771 NEW BEST:: SOT 8185399 SOS 2778844 HAS SOPS 2777999 HAS SOUS 902724 HAS SOUPS 902635 WITH SCORE 905413.844
AT ITER 2797 NEW BEST:: SOT 8185399 SOS 2778926 HAS SOPS 2778081 HAS SOUS 902642 HAS SOUPS 902553 WITH SCORE 905331.926
AT ITER 2798 NEW BEST:: SOT 8185381 SOS 2778908 HAS SOPS 2778063 HAS SOUS 902624 HAS SOUPS 902535 WITH SCORE 905313.908
AT ITER 2799 NEW BEST:: SOT 8185381 SOS 2778908 HAS SOPS 2778063 HAS SOUS 902611 HAS SOUPS 902522 WITH SCORE 905300.908
AT ITER 2803 NEW BEST:: SOT 8185182 SOS 2778709 HAS SOPS 2777864 HAS SOUS 902410 HAS SOUPS 902321 WITH SCORE 905099.709
AT ITER 2810 NEW BEST:: SOT 8184195 SOS 2777722 HAS SOPS 2776877 HAS SOUS 901423 HAS SOUPS 901334 WITH SCORE 904111.722
AT ITER 2824 NEW BEST:: SOT 8185462 SOS 2778989 HAS SOPS 2778144 HAS SOUS 901296 HAS SOUPS 901207 WITH SCORE 903985.989
AT ITER 2837 NEW BEST:: SOT 8186638 SOS 2780165 HAS SOPS 2779320 HAS SOUS 899052 HAS SOUPS 898963 WITH SCORE 901743.165
AT ITER 2840 NEW BEST:: SOT 8186463 SOS 2779990 HAS SOPS 2779145 HAS SOUS 898877 HAS SOUPS 898788 WITH SCORE 901567.99
AT ITER 2842 NEW BEST:: SOT 8189180 SOS 2782707 HAS SOPS 2781862 HAS SOUS 897695 HAS SOUPS 897606 WITH SCORE 900388.707
AT ITER 2845 NEW BEST:: SOT 8189046 SOS 2782573 HAS SOPS 2781728 HAS SOUS 897561 HAS SOUPS 897472 WITH SCORE 900254.573
AT ITER 2848 NEW BEST:: SOT 8188914 SOS 2782441 HAS SOPS 2781596 HAS SOUS 897429 HAS SOUPS 897340 WITH SCORE 900122.441
AT ITER 2850 NEW BEST:: SOT 8186809 SOS 2780336 HAS SOPS 2779491 HAS SOUS 897051 HAS SOUPS 896962 WITH SCORE 899742.336
AT ITER 2854 NEW BEST:: SOT 8186809 SOS 2780336 HAS SOPS 2779491 HAS SOUS 897022 HAS SOUPS 896933 WITH SCORE 899713.336
AT ITER 2860 NEW BEST:: SOT 8186741 SOS 2780336 HAS SOPS 2779491 HAS SOUS 896990 HAS SOUPS 896901 WITH SCORE 899681.336
AT ITER 2863 NEW BEST:: SOT 8186784 SOS 2780177 HAS SOPS 2779332 HAS SOUS 896644 HAS SOUPS 896555 WITH SCORE 899335.177
AT ITER 2895 NEW BEST:: SOT 8186784 SOS 2780177 HAS SOPS 2779332 HAS SOUS 896643 HAS SOUPS 896554 WITH SCORE 899334.177
AT ITER 2907 NEW BEST:: SOT 8186679 SOS 2780177 HAS SOPS 2779332 HAS SOUS 896538 HAS SOUPS 896449 WITH SCORE 899229.177
AT ITER 2919 NEW BEST:: SOT 8186412 SOS 2779910 HAS SOPS 2779065 HAS SOUS 896039 HAS SOUPS 895950 WITH SCORE 898729.91
AT ITER 2927 NEW BEST:: SOT 8185869 SOS 2779367 HAS SOPS 2778522 HAS SOUS 894922 HAS SOUPS 894833 WITH SCORE 897612.367
AT ITER 2930 NEW BEST:: SOT 8185573 SOS 2779071 HAS SOPS 2778226 HAS SOUS 892087 HAS SOUPS 891998 WITH SCORE 894777.071
AT ITER 2933 NEW BEST:: SOT 8186964 SOS 2780462 HAS SOPS 2779617 HAS SOUS 891796 HAS SOUPS 891707 WITH SCORE 894487.462
AT ITER 2946 NEW BEST:: SOT 8186794 SOS 2780292 HAS SOPS 2779447 HAS SOUS 891424 HAS SOUPS 891335 WITH SCORE 894115.292
AT ITER 2948 NEW BEST:: SOT 8186511 SOS 2779726 HAS SOPS 2778881 HAS SOUS 890858 HAS SOUPS 890769 WITH SCORE 893548.726
AT ITER 2949 NEW BEST:: SOT 8186511 SOS 2779726 HAS SOPS 2778881 HAS SOUS 890048 HAS SOUPS 889959 WITH SCORE 892738.726
AT ITER 2950 NEW BEST:: SOT 8186511 SOS 2779726 HAS SOPS 2778881 HAS SOUS 890028 HAS SOUPS 889939 WITH SCORE 892718.726
AT ITER 2960 NEW BEST:: SOT 8186241 SOS 2779456 HAS SOPS 2778611 HAS SOUS 889635 HAS SOUPS 889546 WITH SCORE 892325.456
AT ITER 2964 NEW BEST:: SOT 8186226 SOS 2779441 HAS SOPS 2778596 HAS SOUS 889620 HAS SOUPS 889531 WITH SCORE 892310.441
AT ITER 2971 NEW BEST:: SOT 8186385 SOS 2779600 HAS SOPS 2778755 HAS SOUS 889447 HAS SOUPS 889358 WITH SCORE 892137.6
AT ITER 2980 NEW BEST:: SOT 8186613 SOS 2779828 HAS SOPS 2778983 HAS SOUS 887295 HAS SOUPS 887206 WITH SCORE 889985.828
AT ITER 2982 NEW BEST:: SOT 8186421 SOS 2779636 HAS SOPS 2778791 HAS SOUS 887007 HAS SOUPS 886918 WITH SCORE 889697.636
AT ITER 2987 NEW BEST:: SOT 8186513 SOS 2779728 HAS SOPS 2778883 HAS SOUS 886179 HAS SOUPS 886090 WITH SCORE 888869.728
AT ITER 2988 NEW BEST:: SOT 8186939 SOS 2780154 HAS SOPS 2779309 HAS SOUS 885641 HAS SOUPS 885552 WITH SCORE 888332.154
AT ITER 2990 NEW BEST:: SOT 8186897 SOS 2780112 HAS SOPS 2779267 HAS SOUS 885582 HAS SOUPS 885493 WITH SCORE 888273.112
AT ITER 3005 NEW BEST:: SOT 8186891 SOS 2780106 HAS SOPS 2779261 HAS SOUS 885572 HAS SOUPS 885483 WITH SCORE 888263.106
AT ITER 3007 NEW BEST:: SOT 8188759 SOS 2781974 HAS SOPS 2781129 HAS SOUS 884263 HAS SOUPS 884174 WITH SCORE 886955.974
AT ITER 3018 NEW BEST:: SOT 8186808 SOS 2780023 HAS SOPS 2779178 HAS SOUS 883076 HAS SOUPS 882987 WITH SCORE 885767.023
AT ITER 3035 NEW BEST:: SOT 8186808 SOS 2779925 HAS SOPS 2779080 HAS SOUS 882815 HAS SOUPS 882726 WITH SCORE 885505.925
AT ITER 3038 NEW BEST:: SOT 8186793 SOS 2779910 HAS SOPS 2779065 HAS SOUS 882800 HAS SOUPS 882711 WITH SCORE 885490.91
AT ITER 3057 NEW BEST:: SOT 8186897 SOS 2780014 HAS SOPS 2779169 HAS SOUS 881093 HAS SOUPS 881004 WITH SCORE 883784.014
AT ITER 3061 NEW BEST:: SOT 8186672 SOS 2779789 HAS SOPS 2778944 HAS SOUS 880996 HAS SOUPS 880907 WITH SCORE 883686.789
AT ITER 3069 NEW BEST:: SOT 8186565 SOS 2779682 HAS SOPS 2778837 HAS SOUS 880887 HAS SOUPS 880798 WITH SCORE 883577.682
AT ITER 3075 NEW BEST:: SOT 8186565 SOS 2779682 HAS SOPS 2778837 HAS SOUS 880807 HAS SOUPS 880718 WITH SCORE 883497.682
AT ITER 3092 NEW BEST:: SOT 8186595 SOS 2779494 HAS SOPS 2778649 HAS SOUS 880532 HAS SOUPS 880443 WITH SCORE 883222.494
AT ITER 3100 NEW BEST:: SOT 8186049 SOS 2778948 HAS SOPS 2778103 HAS SOUS 879550 HAS SOUPS 879461 WITH SCORE 882239.948
AT ITER 3105 NEW BEST:: SOT 8185852 SOS 2778751 HAS SOPS 2777906 HAS SOUS 879353 HAS SOUPS 879264 WITH SCORE 882042.751
AT ITER 3110 NEW BEST:: SOT 8185696 SOS 2778595 HAS SOPS 2777750 HAS SOUS 879197 HAS SOUPS 879108 WITH SCORE 881886.595
AT ITER 3114 NEW BEST:: SOT 8185680 SOS 2778579 HAS SOPS 2777734 HAS SOUS 879181 HAS SOUPS 879092 WITH SCORE 881870.579
AT ITER 3127 NEW BEST:: SOT 8185718 SOS 2778617 HAS SOPS 2777772 HAS SOUS 876550 HAS SOUPS 876461 WITH SCORE 879239.617
AT ITER 3132 NEW BEST:: SOT 8185519 SOS 2778418 HAS SOPS 2777573 HAS SOUS 876512 HAS SOUPS 876423 WITH SCORE 879201.418
AT ITER 3138 NEW BEST:: SOT 8185490 SOS 2778504 HAS SOPS 2777659 HAS SOUS 876505 HAS SOUPS 876416 WITH SCORE 879194.504
AT ITER 3159 NEW BEST:: SOT 8185238 SOS 2778252 HAS SOPS 2777407 HAS SOUS 876253 HAS SOUPS 876164 WITH SCORE 878942.252
AT ITER 3163 NEW BEST:: SOT 8187084 SOS 2780098 HAS SOPS 2779253 HAS SOUS 876227 HAS SOUPS 876138 WITH SCORE 878918.098
AT ITER 3164 NEW BEST:: SOT 8186932 SOS 2779946 HAS SOPS 2779101 HAS SOUS 875926 HAS SOUPS 875837 WITH SCORE 878616.946
AT ITER 3177 NEW BEST:: SOT 8188016 SOS 2781030 HAS SOPS 2780185 HAS SOUS 872922 HAS SOUPS 872833 WITH SCORE 875614.03
AT ITER 3191 NEW BEST:: SOT 8189466 SOS 2782480 HAS SOPS 2781635 HAS SOUS 871782 HAS SOUPS 871693 WITH SCORE 874475.48
AT ITER 3198 NEW BEST:: SOT 8169711 SOS 2776728 HAS SOPS 2775972 HAS SOUS 852633 HAS SOUPS 852544 WITH SCORE 855320.728
AT ITER 3205 NEW BEST:: SOT 8170440 SOS 2777457 HAS SOPS 2776701 HAS SOUS 851709 HAS SOUPS 851620 WITH SCORE 854397.457
AT ITER 3220 NEW BEST:: SOT 8170200 SOS 2777217 HAS SOPS 2776461 HAS SOUS 850855 HAS SOUPS 850766 WITH SCORE 853543.217
AT ITER 3222 NEW BEST:: SOT 8169944 SOS 2776961 HAS SOPS 2776205 HAS SOUS 848705 HAS SOUPS 848616 WITH SCORE 851392.961
AT ITER 3228 NEW BEST:: SOT 8169789 SOS 2776806 HAS SOPS 2776050 HAS SOUS 848550 HAS SOUPS 848461 WITH SCORE 851237.806
AT ITER 3232 NEW BEST:: SOT 8169789 SOS 2776806 HAS SOPS 2776050 HAS SOUS 848514 HAS SOUPS 848425 WITH SCORE 851201.806
AT ITER 3240 NEW BEST:: SOT 8169695 SOS 2776712 HAS SOPS 2775956 HAS SOUS 847940 HAS SOUPS 847851 WITH SCORE 850627.712
AT ITER 3261 NEW BEST:: SOT 8169186 SOS 2776203 HAS SOPS 2775447 HAS SOUS 847304 HAS SOUPS 847215 WITH SCORE 849991.203
AT ITER 3288 NEW BEST:: SOT 8169098 SOS 2776294 HAS SOPS 2775538 HAS SOUS 847276 HAS SOUPS 847187 WITH SCORE 849963.294
AT ITER 3291 NEW BEST:: SOT 8169098 SOS 2776294 HAS SOPS 2775538 HAS SOUS 847274 HAS SOUPS 847185 WITH SCORE 849961.294
AT ITER 3295 NEW BEST:: SOT 8169037 SOS 2776233 HAS SOPS 2775477 HAS SOUS 847213 HAS SOUPS 847124 WITH SCORE 849900.233
AT ITER 3305 NEW BEST:: SOT 8168943 SOS 2776139 HAS SOPS 2775383 HAS SOUS 846430 HAS SOUPS 846341 WITH SCORE 849117.139
AT ITER 3311 NEW BEST:: SOT 8170094 SOS 2777290 HAS SOPS 2776534 HAS SOUS 846042 HAS SOUPS 845953 WITH SCORE 848730.29
AT ITER 3328 NEW BEST:: SOT 8170457 SOS 2777653 HAS SOPS 2776897 HAS SOUS 842952 HAS SOUPS 842863 WITH SCORE 845640.653
AT ITER 3374 NEW BEST:: SOT 8170539 SOS 2777735 HAS SOPS 2776979 HAS SOUS 841108 HAS SOUPS 841019 WITH SCORE 843796.735
AT ITER 3377 NEW BEST:: SOT 8170942 SOS 2778138 HAS SOPS 2777382 HAS SOUS 839333 HAS SOUPS 839244 WITH SCORE 842022.138
AT ITER 3383 NEW BEST:: SOT 8170942 SOS 2778143 HAS SOPS 2777387 HAS SOUS 839321 HAS SOUPS 839232 WITH SCORE 842010.143
AT ITER 3400 NEW BEST:: SOT 8170860 SOS 2778061 HAS SOPS 2777305 HAS SOUS 839157 HAS SOUPS 839068 WITH SCORE 841846.061
AT ITER 3402 NEW BEST:: SOT 8170759 SOS 2777960 HAS SOPS 2777204 HAS SOUS 838870 HAS SOUPS 838781 WITH SCORE 841558.96
AT ITER 3405 NEW BEST:: SOT 8170411 SOS 2777612 HAS SOPS 2776856 HAS SOUS 838722 HAS SOUPS 838633 WITH SCORE 841410.612
AT ITER 3411 NEW BEST:: SOT 8170199 SOS 2777400 HAS SOPS 2776644 HAS SOUS 838510 HAS SOUPS 838421 WITH SCORE 841198.4
AT ITER 3412 NEW BEST:: SOT 8170340 SOS 2777541 HAS SOPS 2776785 HAS SOUS 838321 HAS SOUPS 838232 WITH SCORE 841009.541
AT ITER 3416 NEW BEST:: SOT 8170228 SOS 2777429 HAS SOPS 2776673 HAS SOUS 837627 HAS SOUPS 837538 WITH SCORE 840315.429
AT ITER 3417 NEW BEST:: SOT 8170228 SOS 2777408 HAS SOPS 2776652 HAS SOUS 837585 HAS SOUPS 837496 WITH SCORE 840273.408
AT ITER 3442 NEW BEST:: SOT 8170196 SOS 2777376 HAS SOPS 2776620 HAS SOUS 837553 HAS SOUPS 837464 WITH SCORE 840241.376
AT ITER 3451 NEW BEST:: SOT 8170136 SOS 2777316 HAS SOPS 2776560 HAS SOUS 837160 HAS SOUPS 837071 WITH SCORE 839848.316
AT ITER 3453 NEW BEST:: SOT 8169914 SOS 2777094 HAS SOPS 2776338 HAS SOUS 834625 HAS SOUPS 834536 WITH SCORE 837313.094
AT ITER 3474 NEW BEST:: SOT 8169856 SOS 2777036 HAS SOPS 2776280 HAS SOUS 834567 HAS SOUPS 834478 WITH SCORE 837255.036
AT ITER 3484 NEW BEST:: SOT 8169720 SOS 2776900 HAS SOPS 2776144 HAS SOUS 834475 HAS SOUPS 834386 WITH SCORE 837162.9
AT ITER 3498 NEW BEST:: SOT 8169665 SOS 2776845 HAS SOPS 2776089 HAS SOUS 834420 HAS SOUPS 834331 WITH SCORE 837107.845
AT ITER 3510 NEW BEST:: SOT 8169602 SOS 2776596 HAS SOPS 2775840 HAS SOUS 834291 HAS SOUPS 834202 WITH SCORE 836978.596
AT ITER 3520 NEW BEST:: SOT 8169598 SOS 2776592 HAS SOPS 2775836 HAS SOUS 834258 HAS SOUPS 834169 WITH SCORE 836945.592
AT ITER 3542 NEW BEST:: SOT 8169554 SOS 2776548 HAS SOPS 2775792 HAS SOUS 834214 HAS SOUPS 834125 WITH SCORE 836901.548
AT ITER 3543 NEW BEST:: SOT 8169631 SOS 2776625 HAS SOPS 2775869 HAS SOUS 832712 HAS SOUPS 832623 WITH SCORE 835399.625
AT ITER 3551 NEW BEST:: SOT 8169513 SOS 2776507 HAS SOPS 2775751 HAS SOUS 832476 HAS SOUPS 832387 WITH SCORE 835163.507
AT ITER 3572 NEW BEST:: SOT 8169479 SOS 2776473 HAS SOPS 2775717 HAS SOUS 832442 HAS SOUPS 832353 WITH SCORE 835129.473
AT ITER 3579 NEW BEST:: SOT 8169423 SOS 2776417 HAS SOPS 2775661 HAS SOUS 832330 HAS SOUPS 832241 WITH SCORE 835017.417
AT ITER 3581 NEW BEST:: SOT 8169276 SOS 2776270 HAS SOPS 2775514 HAS SOUS 832183 HAS SOUPS 832094 WITH SCORE 834870.27
AT ITER 3584 NEW BEST:: SOT 8169142 SOS 2776136 HAS SOPS 2775380 HAS SOUS 830546 HAS SOUPS 830457 WITH SCORE 833233.136
AT ITER 3587 NEW BEST:: SOT 8169055 SOS 2776049 HAS SOPS 2775293 HAS SOUS 830459 HAS SOUPS 830370 WITH SCORE 833146.049
AT ITER 3607 NEW BEST:: SOT 8169053 SOS 2776047 HAS SOPS 2775291 HAS SOUS 830457 HAS SOUPS 830368 WITH SCORE 833144.047
AT ITER 3610 NEW BEST:: SOT 8169053 SOS 2776047 HAS SOPS 2775291 HAS SOUS 830357 HAS SOUPS 830268 WITH SCORE 833044.047
AT ITER 3621 NEW BEST:: SOT 8168989 SOS 2775983 HAS SOPS 2775227 HAS SOUS 830293 HAS SOUPS 830204 WITH SCORE 832979.983
AT ITER 3625 NEW BEST:: SOT 8168863 SOS 2775277 HAS SOPS 2774521 HAS SOUS 829799 HAS SOUPS 829710 WITH SCORE 832485.277
AT ITER 3631 NEW BEST:: SOT 8168767 SOS 2775181 HAS SOPS 2774425 HAS SOUS 829621 HAS SOUPS 829532 WITH SCORE 832307.181
AT ITER 3640 NEW BEST:: SOT 8168767 SOS 2775181 HAS SOPS 2774425 HAS SOUS 829494 HAS SOUPS 829405 WITH SCORE 832180.181
AT ITER 3642 NEW BEST:: SOT 8168512 SOS 2774926 HAS SOPS 2774170 HAS SOUS 829239 HAS SOUPS 829150 WITH SCORE 831924.926
AT ITER 3645 NEW BEST:: SOT 8168380 SOS 2774794 HAS SOPS 2774038 HAS SOUS 828911 HAS SOUPS 828822 WITH SCORE 831596.794
AT ITER 3668 NEW BEST:: SOT 8168219 SOS 2774633 HAS SOPS 2773877 HAS SOUS 827210 HAS SOUPS 827121 WITH SCORE 829895.633
AT ITER 3670 NEW BEST:: SOT 8167561 SOS 2773975 HAS SOPS 2773219 HAS SOUS 826006 HAS SOUPS 825917 WITH SCORE 828690.975
AT ITER 3678 NEW BEST:: SOT 8167559 SOS 2773973 HAS SOPS 2773217 HAS SOUS 826004 HAS SOUPS 825915 WITH SCORE 828688.973
AT ITER 3685 NEW BEST:: SOT 8167663 SOS 2774077 HAS SOPS 2773321 HAS SOUS 825588 HAS SOUPS 825499 WITH SCORE 828273.077
AT ITER 3687 NEW BEST:: SOT 8167633 SOS 2774047 HAS SOPS 2773291 HAS SOUS 825181 HAS SOUPS 825092 WITH SCORE 827866.047
AT ITER 3689 NEW BEST:: SOT 8167646 SOS 2774060 HAS SOPS 2773304 HAS SOUS 825103 HAS SOUPS 825014 WITH SCORE 827788.06
AT ITER 3691 NEW BEST:: SOT 8167646 SOS 2774060 HAS SOPS 2773304 HAS SOUS 825084 HAS SOUPS 824995 WITH SCORE 827769.06
AT ITER 3693 NEW BEST:: SOT 8167613 SOS 2774060 HAS SOPS 2773304 HAS SOUS 825051 HAS SOUPS 824962 WITH SCORE 827736.06
AT ITER 3696 NEW BEST:: SOT 8167123 SOS 2773570 HAS SOPS 2772814 HAS SOUS 824228 HAS SOUPS 824139 WITH SCORE 826912.57
AT ITER 3698 NEW BEST:: SOT 8166990 SOS 2773437 HAS SOPS 2772681 HAS SOUS 824095 HAS SOUPS 824006 WITH SCORE 826779.437
AT ITER 3702 NEW BEST:: SOT 8166932 SOS 2773379 HAS SOPS 2772623 HAS SOUS 823939 HAS SOUPS 823850 WITH SCORE 826623.379
AT ITER 3709 NEW BEST:: SOT 8166669 SOS 2772780 HAS SOPS 2772024 HAS SOUS 821057 HAS SOUPS 820968 WITH SCORE 823740.78
AT ITER 3714 NEW BEST:: SOT 8166639 SOS 2772750 HAS SOPS 2771994 HAS SOUS 821027 HAS SOUPS 820938 WITH SCORE 823710.75
AT ITER 3718 NEW BEST:: SOT 8166517 SOS 2773052 HAS SOPS 2772296 HAS SOUS 820833 HAS SOUPS 820744 WITH SCORE 823517.052
AT ITER 3721 NEW BEST:: SOT 8166517 SOS 2773052 HAS SOPS 2772296 HAS SOUS 820755 HAS SOUPS 820666 WITH SCORE 823439.052
AT ITER 3727 NEW BEST:: SOT 8166451 SOS 2772905 HAS SOPS 2772149 HAS SOUS 820608 HAS SOUPS 820519 WITH SCORE 823291.905
AT ITER 3733 NEW BEST:: SOT 8166283 SOS 2772737 HAS SOPS 2771981 HAS SOUS 819288 HAS SOUPS 819199 WITH SCORE 821971.737
AT ITER 3740 NEW BEST:: SOT 8166283 SOS 2772737 HAS SOPS 2771981 HAS SOUS 818726 HAS SOUPS 818637 WITH SCORE 821409.737
AT ITER 3745 NEW BEST:: SOT 8165827 SOS 2772281 HAS SOPS 2771525 HAS SOUS 818088 HAS SOUPS 817999 WITH SCORE 820771.281
AT ITER 3746 NEW BEST:: SOT 8165649 SOS 2772103 HAS SOPS 2771347 HAS SOUS 817693 HAS SOUPS 817604 WITH SCORE 820376.103
AT ITER 3753 NEW BEST:: SOT 8165663 SOS 2771731 HAS SOPS 2770975 HAS SOUS 817479 HAS SOUPS 817390 WITH SCORE 820161.731
AT ITER 3754 NEW BEST:: SOT 8165421 SOS 2771489 HAS SOPS 2770733 HAS SOUS 817237 HAS SOUPS 817148 WITH SCORE 819919.489
AT ITER 3757 NEW BEST:: SOT 8165267 SOS 2771335 HAS SOPS 2770579 HAS SOUS 816941 HAS SOUPS 816852 WITH SCORE 819623.335
AT ITER 3760 NEW BEST:: SOT 8165259 SOS 2771327 HAS SOPS 2770571 HAS SOUS 816899 HAS SOUPS 816810 WITH SCORE 819581.327
AT ITER 3768 NEW BEST:: SOT 8165112 SOS 2771180 HAS SOPS 2770424 HAS SOUS 816752 HAS SOUPS 816663 WITH SCORE 819434.18
AT ITER 3774 NEW BEST:: SOT 8165148 SOS 2770634 HAS SOPS 2769878 HAS SOUS 816696 HAS SOUPS 816607 WITH SCORE 819377.634
AT ITER 3776 NEW BEST:: SOT 8165097 SOS 2770583 HAS SOPS 2769827 HAS SOUS 816645 HAS SOUPS 816556 WITH SCORE 819326.583
AT ITER 3780 NEW BEST:: SOT 8165087 SOS 2770573 HAS SOPS 2769817 HAS SOUS 816630 HAS SOUPS 816541 WITH SCORE 819311.573
AT ITER 3783 NEW BEST:: SOT 8165496 SOS 2770982 HAS SOPS 2770226 HAS SOUS 814012 HAS SOUPS 813923 WITH SCORE 816693.982
AT ITER 3785 NEW BEST:: SOT 8165437 SOS 2770923 HAS SOPS 2770167 HAS SOUS 813907 HAS SOUPS 813818 WITH SCORE 816588.923
AT ITER 3788 NEW BEST:: SOT 8165711 SOS 2771197 HAS SOPS 2770441 HAS SOUS 812403 HAS SOUPS 812314 WITH SCORE 815085.197
AT ITER 3794 NEW BEST:: SOT 8165874 SOS 2771122 HAS SOPS 2770366 HAS SOUS 812374 HAS SOUPS 812285 WITH SCORE 815056.122
AT ITER 3801 NEW BEST:: SOT 8165862 SOS 2771110 HAS SOPS 2770354 HAS SOUS 812362 HAS SOUPS 812273 WITH SCORE 815044.11
AT ITER 3806 NEW BEST:: SOT 8165862 SOS 2770898 HAS SOPS 2770142 HAS SOUS 812256 HAS SOUPS 812167 WITH SCORE 814937.898
AT ITER 3819 NEW BEST:: SOT 8165864 SOS 2770900 HAS SOPS 2770144 HAS SOUS 811692 HAS SOUPS 811603 WITH SCORE 814373.9
AT ITER 3821 NEW BEST:: SOT 8165548 SOS 2770584 HAS SOPS 2769828 HAS SOUS 811078 HAS SOUPS 810989 WITH SCORE 813759.584
AT ITER 3828 NEW BEST:: SOT 8165411 SOS 2770447 HAS SOPS 2769691 HAS SOUS 810813 HAS SOUPS 810724 WITH SCORE 813494.447
AT ITER 3835 NEW BEST:: SOT 8165608 SOS 2770644 HAS SOPS 2769888 HAS SOUS 809087 HAS SOUPS 808998 WITH SCORE 811768.644
AT ITER 3842 NEW BEST:: SOT 8166659 SOS 2771695 HAS SOPS 2770939 HAS SOUS 808125 HAS SOUPS 808036 WITH SCORE 810807.695
AT ITER 3843 NEW BEST:: SOT 8166646 SOS 2771682 HAS SOPS 2770926 HAS SOUS 808112 HAS SOUPS 808023 WITH SCORE 810794.682
AT ITER 3846 NEW BEST:: SOT 8166572 SOS 2771534 HAS SOPS 2770778 HAS SOUS 807964 HAS SOUPS 807875 WITH SCORE 810646.534
AT ITER 3851 NEW BEST:: SOT 8167049 SOS 2772011 HAS SOPS 2771255 HAS SOUS 805273 HAS SOUPS 805184 WITH SCORE 807956.011
AT ITER 3869 NEW BEST:: SOT 8166941 SOS 2771903 HAS SOPS 2771147 HAS SOUS 805165 HAS SOUPS 805076 WITH SCORE 807847.903
AT ITER 3881 NEW BEST:: SOT 8166924 SOS 2771886 HAS SOPS 2771130 HAS SOUS 805078 HAS SOUPS 804989 WITH SCORE 807760.886
AT ITER 3890 NEW BEST:: SOT 8166849 SOS 2771811 HAS SOPS 2771055 HAS SOUS 804928 HAS SOUPS 804839 WITH SCORE 807610.811
AT ITER 3894 NEW BEST:: SOT 8167048 SOS 2772010 HAS SOPS 2771254 HAS SOUS 804837 HAS SOUPS 804748 WITH SCORE 807520.01
AT ITER 3896 NEW BEST:: SOT 8166941 SOS 2771903 HAS SOPS 2771147 HAS SOUS 804730 HAS SOUPS 804641 WITH SCORE 807412.903
AT ITER 3901 NEW BEST:: SOT 8166941 SOS 2771798 HAS SOPS 2771042 HAS SOUS 804625 HAS SOUPS 804536 WITH SCORE 807307.798
AT ITER 3922 NEW BEST:: SOT 8166796 SOS 2771849 HAS SOPS 2771093 HAS SOUS 804486 HAS SOUPS 804397 WITH SCORE 807168.849
AT ITER 3937 NEW BEST:: SOT 8166693 SOS 2771746 HAS SOPS 2770990 HAS SOUS 803210 HAS SOUPS 803121 WITH SCORE 805892.746
AT ITER 3943 NEW BEST:: SOT 8166555 SOS 2771608 HAS SOPS 2770852 HAS SOUS 803072 HAS SOUPS 802983 WITH SCORE 805754.608
AT ITER 3954 NEW BEST:: SOT 8166503 SOS 2771556 HAS SOPS 2770800 HAS SOUS 802994 HAS SOUPS 802905 WITH SCORE 805676.556
AT ITER 3955 NEW BEST:: SOT 8167456 SOS 2772509 HAS SOPS 2771753 HAS SOUS 802567 HAS SOUPS 802478 WITH SCORE 805250.509
AT ITER 3956 NEW BEST:: SOT 8167300 SOS 2772353 HAS SOPS 2771597 HAS SOUS 801678 HAS SOUPS 801589 WITH SCORE 804361.353
AT ITER 3966 NEW BEST:: SOT 8167464 SOS 2772295 HAS SOPS 2771539 HAS SOUS 801592 HAS SOUPS 801503 WITH SCORE 804275.295
AT ITER 3973 NEW BEST:: SOT 8167464 SOS 2772240 HAS SOPS 2771484 HAS SOUS 801435 HAS SOUPS 801346 WITH SCORE 804118.24
AT ITER 3976 NEW BEST:: SOT 8167429 SOS 2772209 HAS SOPS 2771453 HAS SOUS 801404 HAS SOUPS 801315 WITH SCORE 804087.209
AT ITER 3977 NEW BEST:: SOT 8167429 SOS 2772209 HAS SOPS 2771453 HAS SOUS 801350 HAS SOUPS 801261 WITH SCORE 804033.209
AT ITER 3979 NEW BEST:: SOT 8167367 SOS 2772147 HAS SOPS 2771391 HAS SOUS 801288 HAS SOUPS 801199 WITH SCORE 803971.147
AT ITER 3980 NEW BEST:: SOT 8167311 SOS 2772091 HAS SOPS 2771335 HAS SOUS 801232 HAS SOUPS 801143 WITH SCORE 803915.091
AT ITER 3983 NEW BEST:: SOT 8167296 SOS 2772061 HAS SOPS 2771305 HAS SOUS 801202 HAS SOUPS 801113 WITH SCORE 803885.061
AT ITER 3994 NEW BEST:: SOT 8167138 SOS 2771903 HAS SOPS 2771147 HAS SOUS 801004 HAS SOUPS 800915 WITH SCORE 803686.903
AT ITER 4003 NEW BEST:: SOT 8166654 SOS 2771419 HAS SOPS 2770663 HAS SOUS 800061 HAS SOUPS 799972 WITH SCORE 802743.419
AT ITER 4008 NEW BEST:: SOT 8166587 SOS 2771352 HAS SOPS 2770596 HAS SOUS 799227 HAS SOUPS 799138 WITH SCORE 801909.352
AT ITER 4014 NEW BEST:: SOT 8166689 SOS 2771454 HAS SOPS 2770698 HAS SOUS 798916 HAS SOUPS 798827 WITH SCORE 801598.454
AT ITER 4028 NEW BEST:: SOT 8166361 SOS 2771126 HAS SOPS 2770370 HAS SOUS 798450 HAS SOUPS 798361 WITH SCORE 801132.126
AT ITER 4032 NEW BEST:: SOT 8166912 SOS 2771677 HAS SOPS 2770921 HAS SOUS 797913 HAS SOUPS 797824 WITH SCORE 800595.677
AT ITER 4044 NEW BEST:: SOT 8166882 SOS 2771617 HAS SOPS 2770861 HAS SOUS 797883 HAS SOUPS 797794 WITH SCORE 800565.617
AT ITER 4046 NEW BEST:: SOT 8166736 SOS 2771471 HAS SOPS 2770715 HAS SOUS 797737 HAS SOUPS 797648 WITH SCORE 800419.471
AT ITER 4047 NEW BEST:: SOT 8166568 SOS 2771303 HAS SOPS 2770547 HAS SOUS 797429 HAS SOUPS 797340 WITH SCORE 800111.303
AT ITER 4063 NEW BEST:: SOT 8166484 SOS 2771219 HAS SOPS 2770463 HAS SOUS 797345 HAS SOUPS 797256 WITH SCORE 800027.219
AT ITER 4092 NEW BEST:: SOT 8166402 SOS 2771343 HAS SOPS 2770587 HAS SOUS 797219 HAS SOUPS 797130 WITH SCORE 799901.343
AT ITER 4110 NEW BEST:: SOT 8166397 SOS 2771338 HAS SOPS 2770582 HAS SOUS 795561 HAS SOUPS 795472 WITH SCORE 798243.338
AT ITER 4114 NEW BEST:: SOT 8166446 SOS 2771316 HAS SOPS 2770560 HAS SOUS 795539 HAS SOUPS 795450 WITH SCORE 798221.316
AT ITER 4137 NEW BEST:: SOT 8166321 SOS 2771181 HAS SOPS 2770425 HAS SOUS 795413 HAS SOUPS 795324 WITH SCORE 798095.181
AT ITER 4141 NEW BEST:: SOT 8166321 SOS 2771181 HAS SOPS 2770425 HAS SOUS 794921 HAS SOUPS 794832 WITH SCORE 797603.181
AT ITER 4142 NEW BEST:: SOT 8166216 SOS 2771076 HAS SOPS 2770320 HAS SOUS 794746 HAS SOUPS 794657 WITH SCORE 797428.076
AT ITER 4144 NEW BEST:: SOT 8165974 SOS 2770834 HAS SOPS 2770078 HAS SOUS 794475 HAS SOUPS 794386 WITH SCORE 797156.834
AT ITER 4158 NEW BEST:: SOT 8165844 SOS 2770704 HAS SOPS 2769948 HAS SOUS 794125 HAS SOUPS 794036 WITH SCORE 796806.704
AT ITER 4163 NEW BEST:: SOT 8166952 SOS 2771812 HAS SOPS 2771056 HAS SOUS 790175 HAS SOUPS 790086 WITH SCORE 792857.812
AT ITER 4172 NEW BEST:: SOT 8167064 SOS 2771664 HAS SOPS 2770908 HAS SOUS 787059 HAS SOUPS 786970 WITH SCORE 789741.664
AT ITER 4183 NEW BEST:: SOT 8166085 SOS 2769706 HAS SOPS 2768950 HAS SOUS 785101 HAS SOUPS 785012 WITH SCORE 787781.706
AT ITER 4188 NEW BEST:: SOT 8165516 SOS 2769137 HAS SOPS 2768381 HAS SOUS 784532 HAS SOUPS 784443 WITH SCORE 787212.137
AT ITER 4192 NEW BEST:: SOT 8165416 SOS 2769478 HAS SOPS 2768722 HAS SOUS 784497 HAS SOUPS 784408 WITH SCORE 787177.478
AT ITER 4193 NEW BEST:: SOT 8165212 SOS 2768768 HAS SOPS 2768012 HAS SOUS 783915 HAS SOUPS 783826 WITH SCORE 786594.768
AT ITER 4213 NEW BEST:: SOT 8165160 SOS 2768716 HAS SOPS 2767960 HAS SOUS 783504 HAS SOUPS 783415 WITH SCORE 786183.716
AT ITER 4227 NEW BEST:: SOT 8165089 SOS 2768645 HAS SOPS 2767889 HAS SOUS 783378 HAS SOUPS 783289 WITH SCORE 786057.645
AT ITER 4231 NEW BEST:: SOT 8165675 SOS 2769231 HAS SOPS 2768475 HAS SOUS 782344 HAS SOUPS 782255 WITH SCORE 785024.231
AT ITER 4232 NEW BEST:: SOT 8165418 SOS 2768974 HAS SOPS 2768218 HAS SOUS 781909 HAS SOUPS 781820 WITH SCORE 784588.974
AT ITER 4237 NEW BEST:: SOT 8165412 SOS 2768968 HAS SOPS 2768212 HAS SOUS 781883 HAS SOUPS 781794 WITH SCORE 784562.968
AT ITER 4239 NEW BEST:: SOT 8165381 SOS 2768937 HAS SOPS 2768181 HAS SOUS 781852 HAS SOUPS 781763 WITH SCORE 784531.937
AT ITER 4243 NEW BEST:: SOT 8165284 SOS 2768743 HAS SOPS 2767987 HAS SOUS 781828 HAS SOUPS 781739 WITH SCORE 784507.743
AT ITER 4244 NEW BEST:: SOT 8165235 SOS 2768694 HAS SOPS 2767938 HAS SOUS 779953 HAS SOUPS 779864 WITH SCORE 782632.694
AT ITER 4254 NEW BEST:: SOT 8164087 SOS 2767546 HAS SOPS 2766790 HAS SOUS 777433 HAS SOUPS 777344 WITH SCORE 780111.546
AT ITER 4255 NEW BEST:: SOT 8163789 SOS 2767248 HAS SOPS 2766492 HAS SOUS 777135 HAS SOUPS 777046 WITH SCORE 779813.248
AT ITER 4264 NEW BEST:: SOT 8163505 SOS 2766964 HAS SOPS 2766208 HAS SOUS 776697 HAS SOUPS 776608 WITH SCORE 779374.964
AT ITER 4266 NEW BEST:: SOT 8163423 SOS 2766882 HAS SOPS 2766126 HAS SOUS 776522 HAS SOUPS 776433 WITH SCORE 779199.882
AT ITER 4283 NEW BEST:: SOT 8163433 SOS 2766892 HAS SOPS 2766136 HAS SOUS 776442 HAS SOUPS 776353 WITH SCORE 779119.892
AT ITER 4304 NEW BEST:: SOT 8163364 SOS 2766823 HAS SOPS 2766067 HAS SOUS 775894 HAS SOUPS 775805 WITH SCORE 778571.823
AT ITER 4329 NEW BEST:: SOT 8163234 SOS 2766693 HAS SOPS 2765937 HAS SOUS 775634 HAS SOUPS 775545 WITH SCORE 778311.693
AT ITER 4340 NEW BEST:: SOT 8163308 SOS 2766643 HAS SOPS 2765887 HAS SOUS 775478 HAS SOUPS 775389 WITH SCORE 778155.643
AT ITER 4351 NEW BEST:: SOT 8163241 SOS 2766834 HAS SOPS 2766078 HAS SOUS 775344 HAS SOUPS 775255 WITH SCORE 778021.834
AT ITER 4361 NEW BEST:: SOT 8163205 SOS 2766780 HAS SOPS 2766024 HAS SOUS 775110 HAS SOUPS 775021 WITH SCORE 777787.78
AT ITER 4364 NEW BEST:: SOT 8163149 SOS 2766724 HAS SOPS 2765968 HAS SOUS 775026 HAS SOUPS 774937 WITH SCORE 777703.724
AT ITER 4365 NEW BEST:: SOT 8162749 SOS 2766324 HAS SOPS 2765568 HAS SOUS 774530 HAS SOUPS 774441 WITH SCORE 777207.324
AT ITER 4374 NEW BEST:: SOT 8162679 SOS 2766254 HAS SOPS 2765498 HAS SOUS 774460 HAS SOUPS 774371 WITH SCORE 777137.254
AT ITER 4376 NEW BEST:: SOT 8162647 SOS 2766222 HAS SOPS 2765466 HAS SOUS 774428 HAS SOUPS 774339 WITH SCORE 777105.222
AT ITER 4385 NEW BEST:: SOT 8162617 SOS 2766064 HAS SOPS 2765308 HAS SOUS 774368 HAS SOUPS 774279 WITH SCORE 777045.064
AT ITER 4387 NEW BEST:: SOT 8163112 SOS 2766559 HAS SOPS 2765803 HAS SOUS 774092 HAS SOUPS 774003 WITH SCORE 776769.559
AT ITER 4392 NEW BEST:: SOT 8163101 SOS 2766548 HAS SOPS 2765792 HAS SOUS 774081 HAS SOUPS 773992 WITH SCORE 776758.548
AT ITER 4395 NEW BEST:: SOT 8162314 SOS 2765761 HAS SOPS 2765005 HAS SOUS 773422 HAS SOUPS 773333 WITH SCORE 776098.761
AT ITER 4407 NEW BEST:: SOT 8162241 SOS 2765688 HAS SOPS 2764932 HAS SOUS 773412 HAS SOUPS 773323 WITH SCORE 776088.688
AT ITER 4424 NEW BEST:: SOT 8162207 SOS 2765654 HAS SOPS 2764898 HAS SOUS 773380 HAS SOUPS 773291 WITH SCORE 776056.654
AT ITER 4438 NEW BEST:: SOT 8162302 SOS 2765749 HAS SOPS 2764993 HAS SOUS 773003 HAS SOUPS 772914 WITH SCORE 775679.749
AT ITER 4449 NEW BEST:: SOT 8162287 SOS 2765734 HAS SOPS 2764978 HAS SOUS 772988 HAS SOUPS 772899 WITH SCORE 775664.734
AT ITER 4452 NEW BEST:: SOT 8162287 SOS 2765580 HAS SOPS 2764824 HAS SOUS 771602 HAS SOUPS 771513 WITH SCORE 774278.58
AT ITER 4453 NEW BEST:: SOT 8162165 SOS 2765458 HAS SOPS 2764702 HAS SOUS 771461 HAS SOUPS 771372 WITH SCORE 774137.458
AT ITER 4457 NEW BEST:: SOT 8162140 SOS 2765433 HAS SOPS 2764677 HAS SOUS 771321 HAS SOUPS 771232 WITH SCORE 773997.433
AT ITER 4464 NEW BEST:: SOT 8162140 SOS 2765382 HAS SOPS 2764626 HAS SOUS 771321 HAS SOUPS 771232 WITH SCORE 773997.382
AT ITER 4469 NEW BEST:: SOT 8162070 SOS 2765312 HAS SOPS 2764556 HAS SOUS 771251 HAS SOUPS 771162 WITH SCORE 773927.312
AT ITER 4476 NEW BEST:: SOT 8162059 SOS 2765301 HAS SOPS 2764545 HAS SOUS 771240 HAS SOUPS 771151 WITH SCORE 773916.301
AT ITER 4487 NEW BEST:: SOT 8162059 SOS 2765301 HAS SOPS 2764545 HAS SOUS 771151 HAS SOUPS 771062 WITH SCORE 773827.301
AT ITER 4503 NEW BEST:: SOT 8162712 SOS 2765954 HAS SOPS 2765198 HAS SOUS 767099 HAS SOUPS 767010 WITH SCORE 769775.954
AT ITER 4513 NEW BEST:: SOT 8162122 SOS 2765364 HAS SOPS 2764608 HAS SOUS 766124 HAS SOUPS 766035 WITH SCORE 768800.364
AT ITER 4523 NEW BEST:: SOT 8162104 SOS 2765346 HAS SOPS 2764590 HAS SOUS 765962 HAS SOUPS 765873 WITH SCORE 768638.346
AT ITER 4526 NEW BEST:: SOT 8162016 SOS 2765258 HAS SOPS 2764502 HAS SOUS 763938 HAS SOUPS 763849 WITH SCORE 766614.258
AT ITER 4534 NEW BEST:: SOT 8161883 SOS 2765125 HAS SOPS 2764369 HAS SOUS 762569 HAS SOUPS 762480 WITH SCORE 765245.125
AT ITER 4539 NEW BEST:: SOT 8161883 SOS 2765125 HAS SOPS 2764369 HAS SOUS 762560 HAS SOUPS 762471 WITH SCORE 765236.125
AT ITER 4544 NEW BEST:: SOT 8161821 SOS 2765063 HAS SOPS 2764307 HAS SOUS 762463 HAS SOUPS 762374 WITH SCORE 765139.063
AT ITER 4557 NEW BEST:: SOT 8161824 SOS 2765033 HAS SOPS 2764277 HAS SOUS 762403 HAS SOUPS 762314 WITH SCORE 765079.033
AT ITER 4558 NEW BEST:: SOT 8161676 SOS 2764885 HAS SOPS 2764129 HAS SOUS 761927 HAS SOUPS 761838 WITH SCORE 764602.885
AT ITER 4562 NEW BEST:: SOT 8161674 SOS 2764883 HAS SOPS 2764127 HAS SOUS 761909 HAS SOUPS 761820 WITH SCORE 764584.883
AT ITER 4565 NEW BEST:: SOT 8161481 SOS 2764690 HAS SOPS 2763934 HAS SOUS 761687 HAS SOUPS 761598 WITH SCORE 764362.69
AT ITER 4572 NEW BEST:: SOT 8161447 SOS 2764656 HAS SOPS 2763900 HAS SOUS 761644 HAS SOUPS 761555 WITH SCORE 764319.656
AT ITER 4575 NEW BEST:: SOT 8161303 SOS 2764512 HAS SOPS 2763756 HAS SOUS 760183 HAS SOUPS 760094 WITH SCORE 762858.512
AT ITER 4576 NEW BEST:: SOT 8161243 SOS 2764452 HAS SOPS 2763696 HAS SOUS 760123 HAS SOUPS 760034 WITH SCORE 762798.452
AT ITER 4578 NEW BEST:: SOT 8161164 SOS 2764373 HAS SOPS 2763617 HAS SOUS 760029 HAS SOUPS 759940 WITH SCORE 762704.373
AT ITER 4590 NEW BEST:: SOT 8161041 SOS 2764326 HAS SOPS 2763570 HAS SOUS 759982 HAS SOUPS 759893 WITH SCORE 762657.326
AT ITER 4603 NEW BEST:: SOT 8161879 SOS 2765164 HAS SOPS 2764408 HAS SOUS 759064 HAS SOUPS 758975 WITH SCORE 761740.164
AT ITER 4609 NEW BEST:: SOT 8161645 SOS 2764930 HAS SOPS 2764174 HAS SOUS 758530 HAS SOUPS 758441 WITH SCORE 761205.93
AT ITER 4637 NEW BEST:: SOT 8161615 SOS 2764900 HAS SOPS 2764144 HAS SOUS 758474 HAS SOUPS 758385 WITH SCORE 761149.9
AT ITER 4656 NEW BEST:: SOT 8161424 SOS 2764709 HAS SOPS 2763953 HAS SOUS 758012 HAS SOUPS 757923 WITH SCORE 760687.709
AT ITER 4664 NEW BEST:: SOT 8161986 SOS 2765271 HAS SOPS 2764515 HAS SOUS 753757 HAS SOUPS 753668 WITH SCORE 756433.271
AT ITER 4666 NEW BEST:: SOT 8161814 SOS 2765099 HAS SOPS 2764343 HAS SOUS 753268 HAS SOUPS 753179 WITH SCORE 755944.099
AT ITER 4669 NEW BEST:: SOT 8161804 SOS 2765089 HAS SOPS 2764333 HAS SOUS 753258 HAS SOUPS 753169 WITH SCORE 755934.089
AT ITER 4670 NEW BEST:: SOT 8161789 SOS 2765074 HAS SOPS 2764318 HAS SOUS 753243 HAS SOUPS 753154 WITH SCORE 755919.074
AT ITER 4672 NEW BEST:: SOT 8161675 SOS 2764960 HAS SOPS 2764204 HAS SOUS 753015 HAS SOUPS 752926 WITH SCORE 755690.96
AT ITER 4673 NEW BEST:: SOT 8161650 SOS 2764935 HAS SOPS 2764179 HAS SOUS 752990 HAS SOUPS 752901 WITH SCORE 755665.935
AT ITER 4680 NEW BEST:: SOT 8161338 SOS 2764623 HAS SOPS 2763867 HAS SOUS 751118 HAS SOUPS 751029 WITH SCORE 753793.623
AT ITER 4689 NEW BEST:: SOT 8161184 SOS 2764469 HAS SOPS 2763713 HAS SOUS 750925 HAS SOUPS 750836 WITH SCORE 753600.469
AT ITER 4714 NEW BEST:: SOT 8161142 SOS 2764427 HAS SOPS 2763671 HAS SOUS 750871 HAS SOUPS 750782 WITH SCORE 753546.427
AT ITER 4718 NEW BEST:: SOT 8161263 SOS 2764548 HAS SOPS 2763792 HAS SOUS 749490 HAS SOUPS 749401 WITH SCORE 752165.548
AT ITER 4719 NEW BEST:: SOT 8161263 SOS 2764548 HAS SOPS 2763792 HAS SOUS 749221 HAS SOUPS 749132 WITH SCORE 751896.548
AT ITER 4739 NEW BEST:: SOT 8161149 SOS 2764434 HAS SOPS 2763678 HAS SOUS 749050 HAS SOUPS 748961 WITH SCORE 751725.434
AT ITER 4740 NEW BEST:: SOT 8161111 SOS 2764396 HAS SOPS 2763640 HAS SOUS 748870 HAS SOUPS 748781 WITH SCORE 751545.396
AT ITER 4743 NEW BEST:: SOT 8160897 SOS 2763676 HAS SOPS 2762920 HAS SOUS 748268 HAS SOUPS 748179 WITH SCORE 750942.676
AT ITER 4756 NEW BEST:: SOT 8160867 SOS 2763646 HAS SOPS 2762890 HAS SOUS 748238 HAS SOUPS 748149 WITH SCORE 750912.646
AT ITER 4761 NEW BEST:: SOT 8160394 SOS 2763173 HAS SOPS 2762417 HAS SOUS 747373 HAS SOUPS 747284 WITH SCORE 750047.173
AT ITER 4764 NEW BEST:: SOT 8160387 SOS 2763166 HAS SOPS 2762410 HAS SOUS 747366 HAS SOUPS 747277 WITH SCORE 750040.166
AT ITER 4765 NEW BEST:: SOT 8160387 SOS 2763575 HAS SOPS 2762819 HAS SOUS 744188 HAS SOUPS 744099 WITH SCORE 746862.575
AT ITER 4772 NEW BEST:: SOT 8161003 SOS 2764191 HAS SOPS 2763435 HAS SOUS 742852 HAS SOUPS 742763 WITH SCORE 745527.191
AT ITER 4775 NEW BEST:: SOT 8160755 SOS 2763943 HAS SOPS 2763187 HAS SOUS 742484 HAS SOUPS 742395 WITH SCORE 745158.943
AT ITER 4781 NEW BEST:: SOT 8160517 SOS 2763705 HAS SOPS 2762949 HAS SOUS 741792 HAS SOUPS 741703 WITH SCORE 744466.705
AT ITER 4783 NEW BEST:: SOT 8150943 SOS 2754310 HAS SOPS 2753554 HAS SOUS 732158 HAS SOUPS 732069 WITH SCORE 734823.31
AT ITER 4794 NEW BEST:: SOT 8150992 SOS 2754359 HAS SOPS 2753603 HAS SOUS 731761 HAS SOUPS 731672 WITH SCORE 734426.359
AT ITER 4796 NEW BEST:: SOT 8150910 SOS 2754277 HAS SOPS 2753521 HAS SOUS 731668 HAS SOUPS 731579 WITH SCORE 734333.277
AT ITER 4800 NEW BEST:: SOT 8150850 SOS 2754217 HAS SOPS 2753461 HAS SOUS 731608 HAS SOUPS 731519 WITH SCORE 734273.217
AT ITER 4803 NEW BEST:: SOT 8151377 SOS 2754744 HAS SOPS 2753988 HAS SOUS 731123 HAS SOUPS 731034 WITH SCORE 733788.744
AT ITER 4811 NEW BEST:: SOT 8151340 SOS 2754707 HAS SOPS 2753951 HAS SOUS 731049 HAS SOUPS 730960 WITH SCORE 733714.707
AT ITER 4830 NEW BEST:: SOT 8151261 SOS 2754628 HAS SOPS 2753872 HAS SOUS 730970 HAS SOUPS 730881 WITH SCORE 733635.628
AT ITER 4832 NEW BEST:: SOT 8151050 SOS 2754417 HAS SOPS 2753661 HAS SOUS 730338 HAS SOUPS 730249 WITH SCORE 733003.417
AT ITER 4835 NEW BEST:: SOT 8150949 SOS 2754316 HAS SOPS 2753560 HAS SOUS 730135 HAS SOUPS 730046 WITH SCORE 732800.316
AT ITER 4851 NEW BEST:: SOT 8150916 SOS 2754283 HAS SOPS 2753527 HAS SOUS 730102 HAS SOUPS 730013 WITH SCORE 732767.283
AT ITER 4853 NEW BEST:: SOT 8150963 SOS 2754330 HAS SOPS 2753574 HAS SOUS 730050 HAS SOUPS 729961 WITH SCORE 732715.33
AT ITER 4854 NEW BEST:: SOT 8151035 SOS 2754402 HAS SOPS 2753646 HAS SOUS 728106 HAS SOUPS 728017 WITH SCORE 730771.402
AT ITER 4859 NEW BEST:: SOT 8150995 SOS 2754362 HAS SOPS 2753606 HAS SOUS 728014 HAS SOUPS 727925 WITH SCORE 730679.362
AT ITER 4861 NEW BEST:: SOT 8150861 SOS 2754228 HAS SOPS 2753472 HAS SOUS 727746 HAS SOUPS 727657 WITH SCORE 730411.228
AT ITER 4870 NEW BEST:: SOT 8151068 SOS 2754435 HAS SOPS 2753679 HAS SOUS 726559 HAS SOUPS 726470 WITH SCORE 729224.435
AT ITER 4879 NEW BEST:: SOT 8151006 SOS 2754157 HAS SOPS 2753401 HAS SOUS 726474 HAS SOUPS 726385 WITH SCORE 729139.157
AT ITER 4880 NEW BEST:: SOT 8151001 SOS 2754033 HAS SOPS 2753277 HAS SOUS 726464 HAS SOUPS 726375 WITH SCORE 729129.033
AT ITER 4891 NEW BEST:: SOT 8151004 SOS 2754036 HAS SOPS 2753280 HAS SOUS 726452 HAS SOUPS 726363 WITH SCORE 729117.036
AT ITER 4895 NEW BEST:: SOT 8150996 SOS 2754028 HAS SOPS 2753272 HAS SOUS 726444 HAS SOUPS 726355 WITH SCORE 729109.028
AT ITER 4910 NEW BEST:: SOT 8150850 SOS 2753882 HAS SOPS 2753126 HAS SOUS 726219 HAS SOUPS 726130 WITH SCORE 728883.882
AT ITER 4913 NEW BEST:: SOT 8150850 SOS 2753882 HAS SOPS 2753126 HAS SOUS 725099 HAS SOUPS 725010 WITH SCORE 727763.882
AT ITER 4918 NEW BEST:: SOT 8150816 SOS 2753848 HAS SOPS 2753092 HAS SOUS 725065 HAS SOUPS 724976 WITH SCORE 727729.848
AT ITER 4925 NEW BEST:: SOT 8150563 SOS 2136375 HAS SOPS 2135619 HAS SOUS 724233 HAS SOUPS 724144 WITH SCORE 726280.375
AT ITER 4930 NEW BEST:: SOT 8150567 SOS 2136141 HAS SOPS 2135385 HAS SOUS 724180 HAS SOUPS 724091 WITH SCORE 726227.141
AT ITER 4939 NEW BEST:: SOT 8150103 SOS 2135677 HAS SOPS 2134921 HAS SOUS 723576 HAS SOUPS 723487 WITH SCORE 725622.677
AT ITER 4941 NEW BEST:: SOT 8150042 SOS 2135616 HAS SOPS 2134860 HAS SOUS 723515 HAS SOUPS 723426 WITH SCORE 725561.616
AT ITER 4946 NEW BEST:: SOT 8149988 SOS 2135562 HAS SOPS 2134806 HAS SOUS 723510 HAS SOUPS 723421 WITH SCORE 725556.562
AT ITER 4958 NEW BEST:: SOT 8149924 SOS 2135498 HAS SOPS 2134742 HAS SOUS 722765 HAS SOUPS 722676 WITH SCORE 724811.498
AT ITER 4962 NEW BEST:: SOT 8149450 SOS 2135024 HAS SOPS 2134268 HAS SOUS 721836 HAS SOUPS 721747 WITH SCORE 723882.024
AT ITER 4975 NEW BEST:: SOT 8149410 SOS 2134984 HAS SOPS 2134228 HAS SOUS 721819 HAS SOUPS 721730 WITH SCORE 723864.984
AT ITER 4977 NEW BEST:: SOT 8149126 SOS 2134700 HAS SOPS 2133944 HAS SOUS 721555 HAS SOUPS 721466 WITH SCORE 723600.7
AT ITER 4978 NEW BEST:: SOT 8149144 SOS 2134718 HAS SOPS 2133962 HAS SOUS 721519 HAS SOUPS 721430 WITH SCORE 723564.718
AT ITER 4992 NEW BEST:: SOT 8149251 SOS 1949799 HAS SOPS 1949043 HAS SOUS 721649 HAS SOUPS 721560 WITH SCORE 723509.799
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-00 (AG( (EX( (! potential( ( 2 ) <= (tk(P486)) ))))))
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-01 (AF((AX( ( potential( ( 1 ) <= (tk(P1372)) ) & potential( ( 3 ) <= (tk(P817)) ) )))))
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-02 ( (EU( ( potential( ( 3 ) <= (tk(P486)) ) & potential( (tk(P31) + tk(P234) + tk(P695) + tk(P744) + tk(P901) + tk(P986) + tk(P1116) + tk(P1341) + tk(P1402) + tk(P1522)) <= (tk(P1121)) ) ),potential( ( 3 ) <= (tk(P1372)) ) )) | (AG( potential( (tk(P99)) <= (tk(P1007)) ))) )
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-03 (EF((! ( (! potential( ( 3 ) <= (tk(P1494)) )) | potential( (tk(P572)) <= (tk(P572)) ) ))))
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-04 ( ( (! (AF(potential( ( 2 ) <= (tk(P2) + tk(P19) + tk(P78) + tk(P88) + tk(P105) + tk(P109) + tk(P135) + tk(P138) + tk(P156) + tk(P181) + tk(P196) + tk(P204) + tk(P220) + tk(P238) + tk(P266) + tk(P271) + tk(P276) + tk(P292) + tk(P303) + tk(P345) + tk(P348) + tk(P380) + tk(P384) + tk(P418) + tk(P424) + tk(P459) + tk(P463) + tk(P466) + tk(P484) + tk(P516) + tk(P518) + tk(P544) + tk(P549) + tk(P556) + tk(P562) + tk(P619) + tk(P637) + tk(P725) + tk(P749) + tk(P775) + tk(P777) + tk(P819) + tk(P821) + tk(P851) + tk(P852) + tk(P875) + tk(P879) + tk(P914) + tk(P944) + tk(P965) + tk(P993) + tk(P1010) + tk(P1013) + tk(P1020) + tk(P1024) + tk(P1051) + tk(P1057) + tk(P1058) + tk(P1069) + tk(P1073) + tk(P1100) + tk(P1128) + tk(P1155) + tk(P1169) + tk(P1178) + tk(P1185) + tk(P1252) + tk(P1262) + tk(P1299) + tk(P1351) + tk(P1393) + tk(P1394) + tk(P1400) + tk(P1411) + tk(P1413) + tk(P1433) + tk(P1437) + tk(P1454) + tk(P1525) + tk(P1552) + tk(P1558)) )))) & (EU( potential( (tk(P803)) <= (tk(P71) + tk(P83) + tk(P87) + tk(P90) + tk(P112) + tk(P119) + tk(P141) + tk(P152) + tk(P177) + tk(P189) + tk(P190) + tk(P195) + tk(P199) + tk(P206) + tk(P215) + tk(P257) + tk(P365) + tk(P369) + tk(P372) + tk(P376) + tk(P377) + tk(P389) + tk(P395) + tk(P438) + tk(P500) + tk(P533) + tk(P539) + tk(P540) + tk(P553) + tk(P582) + tk(P590) + tk(P614) + tk(P626) + tk(P632) + tk(P656) + tk(P665) + tk(P681) + tk(P691) + tk(P706) + tk(P723) + tk(P742) + tk(P748) + tk(P795) + tk(P818) + tk(P829) + tk(P843) + tk(P868) + tk(P877) + tk(P897) + tk(P927) + tk(P1002) + tk(P1014) + tk(P1048) + tk(P1061) + tk(P1072) + tk(P1097) + tk(P1153) + tk(P1199) + tk(P1200) + tk(P1201) + tk(P1224) + tk(P1280) + tk(P1286) + tk(P1293) + tk(P1375) + tk(P1383) + tk(P1385) + tk(P1390) + tk(P1391) + tk(P1466) + tk(P1503) + tk(P1509) + tk(P1530) + tk(P1531) + tk(P1542) + tk(P1576) + tk(P1579) + tk(P1584) + tk(P1588) + tk(P1605) + tk(P1613)) ),potential( (tk(P1) + tk(P23) + tk(P30) + tk(P44) + tk(P50) + tk(P107) + tk(P113) + tk(P122) + tk(P149) + tk(P171) + tk(P185) + tk(P207) + tk(P216) + tk(P223) + tk(P236) + tk(P249) + tk(P311) + tk(P318) + tk(P378) + tk(P415) + tk(P442) + tk(P445) + tk(P464) + tk(P465) + tk(P498) + tk(P514) + tk(P536) + tk(P569) + tk(P574) + tk(P593) + tk(P662) + tk(P682) + tk(P704) + tk(P708) + tk(P720) + tk(P738) + tk(P753) + tk(P762) + tk(P801) + tk(P806) + tk(P814) + tk(P853) + tk(P872) + tk(P898) + tk(P916) + tk(P948) + tk(P949) + tk(P966) + tk(P968) + tk(P972) + tk(P1027) + tk(P1062) + tk(P1081) + tk(P1108) + tk(P1113) + tk(P1115) + tk(P1117) + tk(P1125) + tk(P1164) + tk(P1181) + tk(P1195) + tk(P1203) + tk(P1234) + tk(P1248) + tk(P1261) + tk(P1264) + tk(P1305) + tk(P1312) + tk(P1318) + tk(P1333) + tk(P1435) + tk(P1451) + tk(P1456) + tk(P1467) + tk(P1469) + tk(P1508) + tk(P1512) + tk(P1514) + tk(P1516) + tk(P1519) + tk(P1534) + tk(P1539)) <= (tk(P31) + tk(P234) + tk(P695) + tk(P744) + tk(P901) + tk(P986) + tk(P1116) + tk(P1341) + tk(P1402) + tk(P1522)) ) )) ) | (AF((EG( potential( (tk(P1432)) <= (tk(P572)) ))))) )
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-05 (EF((! (! ( potential( ( 2 ) <= (tk(P1146)) ) & potential( (tk(P57)) <= (tk(P261)) ) )))))
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-06 ( ( ( (AG( potential( (tk(P629)) <= (tk(P366)) ))) & ( ( potential( (tk(P854)) <= (tk(P1372)) ) | potential( (tk(P1151)) <= (tk(P57)) ) ) | ( potential( ( 3 ) <= (tk(P817)) ) & potential( ( 1 ) <= (tk(P221) + tk(P475) + tk(P565) + tk(P787) + tk(P908) + tk(P1044) + tk(P1111) + tk(P1204) + tk(P1334) + tk(P1526)) ) ) ) ) | (EG( ( potential( (tk(P1523)) <= (tk(P1432)) ) | potential( (tk(P1523)) <= (tk(P1399)) ) ))) ) | (EX( (AG( potential( ( 1 ) <= (tk(P6) + tk(P36) + tk(P39) + tk(P54) + tk(P58) + tk(P120) + tk(P121) + tk(P127) + tk(P137) + tk(P176) + tk(P208) + tk(P213) + tk(P229) + tk(P252) + tk(P264) + tk(P279) + tk(P293) + tk(P297) + tk(P307) + tk(P322) + tk(P342) + tk(P347) + tk(P404) + tk(P429) + tk(P474) + tk(P482) + tk(P510) + tk(P521) + tk(P535) + tk(P546) + tk(P554) + tk(P557) + tk(P561) + tk(P570) + tk(P598) + tk(P605) + tk(P639) + tk(P654) + tk(P666) + tk(P686) + tk(P703) + tk(P707) + tk(P751) + tk(P754) + tk(P761) + tk(P776) + tk(P778) + tk(P792) + tk(P797) + tk(P826) + tk(P832) + tk(P881) + tk(P887) + tk(P920) + tk(P953) + tk(P974) + tk(P984) + tk(P1159) + tk(P1191) + tk(P1211) + tk(P1216) + tk(P1245) + tk(P1282) + tk(P1301) + tk(P1303) + tk(P1327) + tk(P1330) + tk(P1337) + tk(P1366) + tk(P1429) + tk(P1458) + tk(P1464) + tk(P1475) + tk(P1479) + tk(P1481) + tk(P1513) + tk(P1536) + tk(P1540) + tk(P1548) + tk(P1574) + tk(P1607)) ))))) )
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-07 ( (AU( ( potential( (tk(P99)) <= (tk(P437)) ) & potential( (tk(P71) + tk(P83) + tk(P87) + tk(P90) + tk(P112) + tk(P119) + tk(P141) + tk(P152) + tk(P177) + tk(P189) + tk(P190) + tk(P195) + tk(P199) + tk(P206) + tk(P215) + tk(P257) + tk(P365) + tk(P369) + tk(P372) + tk(P376) + tk(P377) + tk(P389) + tk(P395) + tk(P438) + tk(P500) + tk(P533) + tk(P539) + tk(P540) + tk(P553) + tk(P582) + tk(P590) + tk(P614) + tk(P626) + tk(P632) + tk(P656) + tk(P665) + tk(P681) + tk(P691) + tk(P706) + tk(P723) + tk(P742) + tk(P748) + tk(P795) + tk(P818) + tk(P829) + tk(P843) + tk(P868) + tk(P877) + tk(P897) + tk(P927) + tk(P1002) + tk(P1014) + tk(P1048) + tk(P1061) + tk(P1072) + tk(P1097) + tk(P1153) + tk(P1199) + tk(P1200) + tk(P1201) + tk(P1224) + tk(P1280) + tk(P1286) + tk(P1293) + tk(P1375) + tk(P1383) + tk(P1385) + tk(P1390) + tk(P1391) + tk(P1466) + tk(P1503) + tk(P1509) + tk(P1530) + tk(P1531) + tk(P1542) + tk(P1576) + tk(P1579) + tk(P1584) + tk(P1588) + tk(P1605) + tk(P1613)) <= (tk(P4) + tk(P5) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P13) + tk(P14) + tk(P15) + tk(P17) + tk(P18) + tk(P20) + tk(P21) + tk(P25) + tk(P29) + tk(P34) + tk(P41) + tk(P42) + tk(P47) + tk(P48) + tk(P49) + tk(P51) + tk(P52) + tk(P55) + tk(P56) + tk(P63) + tk(P64) + tk(P65) + tk(P67) + tk(P70) + tk(P72) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P79) + tk(P81) + tk(P82) + tk(P84) + tk(P85) + tk(P86) + tk(P91) + tk(P92) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P102) + tk(P103) + tk(P104) + tk(P106) + tk(P108) + tk(P110) + tk(P111) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P129) + tk(P130) + tk(P133) + tk(P136) + tk(P139) + tk(P140) + tk(P142) + tk(P144) + tk(P145) + tk(P147) + tk(P151) + tk(P154) + tk(P155) + tk(P158) + tk(P161) + tk(P163) + tk(P165) + tk(P166) + tk(P168) + tk(P169) + tk(P170) + tk(P172) + tk(P173) + tk(P174) + tk(P178) + tk(P179) + tk(P180) + tk(P182) + tk(P184) + tk(P186) + tk(P187) + tk(P188) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P197) + tk(P198) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P205) + tk(P209) + tk(P211) + tk(P219) + tk(P222) + tk(P226) + tk(P227) + tk(P228) + tk(P230) + tk(P231) + tk(P232) + tk(P239) + tk(P240) + tk(P241) + tk(P243) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P250) + tk(P251) + tk(P253) + tk(P255) + tk(P256) + tk(P260) + tk(P262) + tk(P265) + tk(P270) + tk(P272) + tk(P274) + tk(P277) + tk(P281) + tk(P284) + tk(P285) + tk(P286) + tk(P287) + tk(P291) + tk(P294) + tk(P295) + tk(P296) + tk(P300) + tk(P301) + tk(P302) + tk(P304) + tk(P306) + tk(P308) + tk(P309) + tk(P313) + tk(P314) + tk(P315) + tk(P319) + tk(P320) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P334) + tk(P336) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P343) + tk(P344) + tk(P346) + tk(P349) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P356) + tk(P357) + tk(P358) + tk(P360) + tk(P363) + tk(P364) + tk(P370) + tk(P373) + tk(P374) + tk(P375) + tk(P379) + tk(P381) + tk(P382) + tk(P383) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P394) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P403) + tk(P406) + tk(P407) + tk(P409) + tk(P410) + tk(P412) + tk(P413) + tk(P414) + tk(P416) + tk(P419) + tk(P420) + tk(P421) + tk(P422) + tk(P423) + tk(P426) + tk(P428) + tk(P430) + tk(P432) + tk(P433) + tk(P435) + tk(P436) + tk(P439) + tk(P440) + tk(P441) + tk(P443) + tk(P446) + tk(P447) + tk(P449) + tk(P450) + tk(P451) + tk(P453) + tk(P454) + tk(P461) + tk(P468) + tk(P470) + tk(P471) + tk(P472) + tk(P476) + tk(P479) + tk(P480) + tk(P481) + tk(P483) + tk(P485) + tk(P488) + tk(P489) + tk(P491) + tk(P493) + tk(P494) + tk(P496) + tk(P497) + tk(P501) + tk(P502) + tk(P503) + tk(P506) + tk(P507) + tk(P508) + tk(P513) + tk(P519) + tk(P523) + tk(P525) + tk(P526) + tk(P528) + tk(P529) + tk(P530) + tk(P531) + tk(P532) + tk(P541) + tk(P545) + tk(P548) + tk(P550) + tk(P551) + tk(P552) + tk(P555) + tk(P558) + tk(P559) + tk(P564) + tk(P566) + tk(P567) + tk(P571) + tk(P575) + tk(P576) + tk(P577) + tk(P579) + tk(P580) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P588) + tk(P589) + tk(P594) + tk(P595) + tk(P596) + tk(P597) + tk(P600) + tk(P602) + tk(P604) + tk(P606) + tk(P608) + tk(P610) + tk(P611) + tk(P613) + tk(P615) + tk(P616) + tk(P617) + tk(P618) + tk(P623) + tk(P625) + tk(P627) + tk(P628) + tk(P631) + tk(P633) + tk(P634) + tk(P635) + tk(P640) + tk(P641) + tk(P643) + tk(P644) + tk(P645) + tk(P646) + tk(P647) + tk(P648) + tk(P649) + tk(P650) + tk(P652) + tk(P653) + tk(P655) + tk(P659) + tk(P663) + tk(P664) + tk(P667) + tk(P668) + tk(P669) + tk(P670) + tk(P672) + tk(P673) + tk(P674) + tk(P676) + tk(P677) + tk(P679) + tk(P680) + tk(P684) + tk(P685) + tk(P690) + tk(P693) + tk(P696) + tk(P700) + tk(P702) + tk(P705) + tk(P709) + tk(P711) + tk(P713) + tk(P715) + tk(P716) + tk(P717) + tk(P719) + tk(P721) + tk(P724) + tk(P728) + tk(P729) + tk(P730) + tk(P731) + tk(P732) + tk(P733) + tk(P734) + tk(P735) + tk(P736) + tk(P737) + tk(P740) + tk(P741) + tk(P746) + tk(P747) + tk(P752) + tk(P755) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P763) + tk(P764) + tk(P765) + tk(P766) + tk(P767) + tk(P768) + tk(P771) + tk(P774) + tk(P779) + tk(P780) + tk(P782) + tk(P783) + tk(P784) + tk(P785) + tk(P786) + tk(P789) + tk(P790) + tk(P791) + tk(P793) + tk(P794) + tk(P796) + tk(P798) + tk(P802) + tk(P804) + tk(P805) + tk(P808) + tk(P810) + tk(P811) + tk(P813) + tk(P815) + tk(P816) + tk(P822) + tk(P823) + tk(P824) + tk(P825) + tk(P827) + tk(P828) + tk(P830) + tk(P831) + tk(P833) + tk(P834) + tk(P835) + tk(P837) + tk(P838) + tk(P839) + tk(P840) + tk(P841) + tk(P842) + tk(P845) + tk(P846) + tk(P847) + tk(P849) + tk(P855) + tk(P857) + tk(P859) + tk(P860) + tk(P866) + tk(P867) + tk(P871) + tk(P873) + tk(P874) + tk(P878) + tk(P880) + tk(P882) + tk(P884) + tk(P885) + tk(P888) + tk(P890) + tk(P891) + tk(P892) + tk(P893) + tk(P894) + tk(P895) + tk(P899) + tk(P902) + tk(P905) + tk(P906) + tk(P907) + tk(P913) + tk(P917) + tk(P921) + tk(P924) + tk(P925) + tk(P926) + tk(P928) + tk(P930) + tk(P931) + tk(P935) + tk(P936) + tk(P937) + tk(P939) + tk(P940) + tk(P943) + tk(P951) + tk(P952) + tk(P954) + tk(P955) + tk(P956) + tk(P959) + tk(P960) + tk(P961) + tk(P963) + tk(P964) + tk(P969) + tk(P970) + tk(P975) + tk(P976) + tk(P977) + tk(P980) + tk(P981) + tk(P983) + tk(P985) + tk(P989) + tk(P990) + tk(P992) + tk(P994) + tk(P999) + tk(P1003) + tk(P1004) + tk(P1005) + tk(P1006) + tk(P1008) + tk(P1011) + tk(P1012) + tk(P1015) + tk(P1017) + tk(P1018) + tk(P1019) + tk(P1021) + tk(P1025) + tk(P1026) + tk(P1028) + tk(P1029) + tk(P1030) + tk(P1032) + tk(P1033) + tk(P1034) + tk(P1035) + tk(P1037) + tk(P1038) + tk(P1039) + tk(P1040) + tk(P1043) + tk(P1045) + tk(P1050) + tk(P1052) + tk(P1053) + tk(P1054) + tk(P1055) + tk(P1059) + tk(P1060) + tk(P1063) + tk(P1064) + tk(P1065) + tk(P1066) + tk(P1068) + tk(P1075) + tk(P1076) + tk(P1077) + tk(P1078) + tk(P1079) + tk(P1082) + tk(P1083) + tk(P1084) + tk(P1085) + tk(P1087) + tk(P1088) + tk(P1091) + tk(P1092) + tk(P1093) + tk(P1095) + tk(P1098) + tk(P1099) + tk(P1101) + tk(P1103) + tk(P1105) + tk(P1106) + tk(P1107) + tk(P1114) + tk(P1120) + tk(P1124) + tk(P1127) + tk(P1129) + tk(P1130) + tk(P1132) + tk(P1136) + tk(P1137) + tk(P1141) + tk(P1142) + tk(P1143) + tk(P1144) + tk(P1147) + tk(P1150) + tk(P1154) + tk(P1156) + tk(P1162) + tk(P1165) + tk(P1166) + tk(P1167) + tk(P1171) + tk(P1172) + tk(P1173) + tk(P1175) + tk(P1176) + tk(P1179) + tk(P1180) + tk(P1182) + tk(P1183) + tk(P1184) + tk(P1186) + tk(P1187) + tk(P1188) + tk(P1192) + tk(P1193) + tk(P1198) + tk(P1202) + tk(P1205) + tk(P1206) + tk(P1207) + tk(P1209) + tk(P1210) + tk(P1212) + tk(P1213) + tk(P1214) + tk(P1218) + tk(P1219) + tk(P1220) + tk(P1223) + tk(P1227) + tk(P1229) + tk(P1231) + tk(P1233) + tk(P1236) + tk(P1237) + tk(P1239) + tk(P1240) + tk(P1241) + tk(P1242) + tk(P1243) + tk(P1244) + tk(P1246) + tk(P1251) + tk(P1253) + tk(P1257) + tk(P1259) + tk(P1260) + tk(P1263) + tk(P1266) + tk(P1269) + tk(P1270) + tk(P1275) + tk(P1276) + tk(P1277) + tk(P1278) + tk(P1279) + tk(P1281) + tk(P1283) + tk(P1284) + tk(P1287) + tk(P1288) + tk(P1289) + tk(P1290) + tk(P1291) + tk(P1292) + tk(P1294) + tk(P1296) + tk(P1297) + tk(P1298) + tk(P1300) + tk(P1302) + tk(P1304) + tk(P1307) + tk(P1308) + tk(P1309) + tk(P1310) + tk(P1313) + tk(P1316) + tk(P1320) + tk(P1321) + tk(P1324) + tk(P1325) + tk(P1326) + tk(P1328) + tk(P1329) + tk(P1332) + tk(P1335) + tk(P1336) + tk(P1338) + tk(P1339) + tk(P1340) + tk(P1343) + tk(P1344) + tk(P1345) + tk(P1346) + tk(P1347) + tk(P1349) + tk(P1352) + tk(P1353) + tk(P1354) + tk(P1356) + tk(P1357) + tk(P1358) + tk(P1359) + tk(P1361) + tk(P1362) + tk(P1365) + tk(P1367) + tk(P1369) + tk(P1371) + tk(P1374) + tk(P1378) + tk(P1384) + tk(P1386) + tk(P1387) + tk(P1388) + tk(P1389) + tk(P1392) + tk(P1395) + tk(P1396) + tk(P1401) + tk(P1403) + tk(P1405) + tk(P1408) + tk(P1409) + tk(P1410) + tk(P1412) + tk(P1414) + tk(P1415) + tk(P1416) + tk(P1417) + tk(P1418) + tk(P1422) + tk(P1423) + tk(P1424) + tk(P1425) + tk(P1426) + tk(P1428) + tk(P1430) + tk(P1431) + tk(P1434) + tk(P1436) + tk(P1441) + tk(P1443) + tk(P1444) + tk(P1445) + tk(P1446) + tk(P1447) + tk(P1448) + tk(P1449) + tk(P1452) + tk(P1455) + tk(P1457) + tk(P1459) + tk(P1461) + tk(P1462) + tk(P1463) + tk(P1465) + tk(P1471) + tk(P1472) + tk(P1474) + tk(P1476) + tk(P1478) + tk(P1484) + tk(P1485) + tk(P1486) + tk(P1490) + tk(P1491) + tk(P1493) + tk(P1498) + tk(P1499) + tk(P1500) + tk(P1502) + tk(P1504) + tk(P1505) + tk(P1506) + tk(P1507) + tk(P1515) + tk(P1520) + tk(P1529) + tk(P1532) + tk(P1533) + tk(P1535) + tk(P1537) + tk(P1545) + tk(P1546) + tk(P1547) + tk(P1551) + tk(P1555) + tk(P1557) + tk(P1559) + tk(P1560) + tk(P1564) + tk(P1566) + tk(P1568) + tk(P1570) + tk(P1571) + tk(P1572) + tk(P1575) + tk(P1577) + tk(P1578) + tk(P1580) + tk(P1581) + tk(P1582) + tk(P1583) + tk(P1585) + tk(P1586) + tk(P1590) + tk(P1591) + tk(P1593) + tk(P1594) + tk(P1595) + tk(P1596) + tk(P1597) + tk(P1599) + tk(P1600) + tk(P1601) + tk(P1602) + tk(P1604) + tk(P1608) + tk(P1609) + tk(P1610) + tk(P1612) + tk(P1614)) ) ),( potential( ( 2 ) <= (tk(P57)) ) | potential( (tk(P1138)) <= (tk(P437)) ) ) )) & ( potential( (tk(P817)) <= (tk(P1494)) ) | (AG( ( potential( (tk(P1317)) <= (tk(P1007)) ) & potential( (tk(P1158)) <= (tk(P2) + tk(P19) + tk(P78) + tk(P88) + tk(P105) + tk(P109) + tk(P135) + tk(P138) + tk(P156) + tk(P181) + tk(P196) + tk(P204) + tk(P220) + tk(P238) + tk(P266) + tk(P271) + tk(P276) + tk(P292) + tk(P303) + tk(P345) + tk(P348) + tk(P380) + tk(P384) + tk(P418) + tk(P424) + tk(P459) + tk(P463) + tk(P466) + tk(P484) + tk(P516) + tk(P518) + tk(P544) + tk(P549) + tk(P556) + tk(P562) + tk(P619) + tk(P637) + tk(P725) + tk(P749) + tk(P775) + tk(P777) + tk(P819) + tk(P821) + tk(P851) + tk(P852) + tk(P875) + tk(P879) + tk(P914) + tk(P944) + tk(P965) + tk(P993) + tk(P1010) + tk(P1013) + tk(P1020) + tk(P1024) + tk(P1051) + tk(P1057) + tk(P1058) + tk(P1069) + tk(P1073) + tk(P1100) + tk(P1128) + tk(P1155) + tk(P1169) + tk(P1178) + tk(P1185) + tk(P1252) + tk(P1262) + tk(P1299) + tk(P1351) + tk(P1393) + tk(P1394) + tk(P1400) + tk(P1411) + tk(P1413) + tk(P1433) + tk(P1437) + tk(P1454) + tk(P1525) + tk(P1552) + tk(P1558)) ) ))) ) )
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-08 (AU( (AX( potential( (tk(P1227)) <= (tk(P959)) ))),(AX( potential( ( 3 ) <= (tk(P1613)) ))) ))
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-09 (AX( (AG( ( potential( (tk(P765)) <= (tk(P610)) ) | potential( (tk(P1555)) <= (tk(P1356)) ) )))))
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-10 (EF(( (EF(potential( ( 3 ) <= (tk(P879)) ))) | (EX( potential( ( 2 ) <= (tk(P85)) ))) )))
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-11 (AF(( (! ( potential( (tk(P444)) <= (tk(P476)) ) | potential( (tk(P1023)) <= (tk(P500)) ) )) & (AG( potential( (tk(P457)) <= (tk(P1267)) ))) )))
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-12 (EG( (EU( potential( (tk(P1012)) <= (tk(P615)) ),potential( ( 3 ) <= (tk(P582)) ) ))))
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-13 (EG( ( (! (! potential( (tk(P1584)) <= (tk(P637)) ))) & (EG( potential( (tk(P230)) <= (tk(P1134)) ))) )))
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-14 (EG( (AU( potential( ( 1 ) <= (tk(P1123)) ),potential( (tk(P355)) <= (tk(P588)) ) ))))
PROPERTY: PolyORBNT-PT-S10J80-CTLCardinality-15 (AU( potential( ( 1 ) <= (tk(P28)) ),(AG( potential( (tk(P143)) <= (tk(P1373)) ))) ))

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="PolyORBNT-PT-S10J80"
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 PolyORBNT-PT-S10J80, 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 r123-tajo-158961355100707"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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