Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508200161.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 ASLink-PT-10b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508200161
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.9K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.4M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589084920954

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

Filename model.pnml
Petri model created: 4410 places, 5405 transitions, 16377 arcs.
AT ITER 0 NEW BEST:: SOT 12534095 SOS 1884602 HAS SOPS 1884602 HAS SOUS 1530000 HAS SOUPS 1530000 WITH SCORE 1531884.602
AT ITER 1 NEW BEST:: SOT 12533985 SOS 1884487 HAS SOPS 1884487 HAS SOUS 1529874 HAS SOUPS 1529874 WITH SCORE 1531758.487
AT ITER 4 NEW BEST:: SOT 12534114 SOS 1884749 HAS SOPS 1884749 HAS SOUS 1529809 HAS SOUPS 1529809 WITH SCORE 1531693.749
AT ITER 13 NEW BEST:: SOT 12532546 SOS 1882957 HAS SOPS 1882957 HAS SOUS 1529585 HAS SOUPS 1529585 WITH SCORE 1531467.957
AT ITER 36 NEW BEST:: SOT 12532475 SOS 1882815 HAS SOPS 1882815 HAS SOUS 1529443 HAS SOUPS 1529443 WITH SCORE 1531325.815
AT ITER 57 NEW BEST:: SOT 12532059 SOS 1881983 HAS SOPS 1881983 HAS SOUS 1528611 HAS SOUPS 1528611 WITH SCORE 1530492.983
AT ITER 64 NEW BEST:: SOT 12531875 SOS 1881800 HAS SOPS 1881800 HAS SOUS 1528428 HAS SOUPS 1528428 WITH SCORE 1530309.8
AT ITER 67 NEW BEST:: SOT 12531875 SOS 1881800 HAS SOPS 1881800 HAS SOUS 1528419 HAS SOUPS 1528419 WITH SCORE 1530300.8
AT ITER 101 NEW BEST:: SOT 12531297 SOS 1881220 HAS SOPS 1881220 HAS SOUS 1527841 HAS SOUPS 1527841 WITH SCORE 1529722.22
AT ITER 108 NEW BEST:: SOT 12531195 SOS 1881016 HAS SOPS 1881016 HAS SOUS 1527637 HAS SOUPS 1527637 WITH SCORE 1529518.016
AT ITER 134 NEW BEST:: SOT 12531195 SOS 1880882 HAS SOPS 1880882 HAS SOUS 1527503 HAS SOUPS 1527503 WITH SCORE 1529383.882
AT ITER 143 NEW BEST:: SOT 12531116 SOS 1880876 HAS SOPS 1880876 HAS SOUS 1527502 HAS SOUPS 1527502 WITH SCORE 1529382.876
AT ITER 153 NEW BEST:: SOT 12530920 SOS 1880688 HAS SOPS 1880688 HAS SOUS 1527314 HAS SOUPS 1527314 WITH SCORE 1529194.688
AT ITER 240 NEW BEST:: SOT 12530854 SOS 1880622 HAS SOPS 1880622 HAS SOUS 1527248 HAS SOUPS 1527248 WITH SCORE 1529128.622
AT ITER 283 NEW BEST:: SOT 12530854 SOS 1880611 HAS SOPS 1880611 HAS SOUS 1527237 HAS SOUPS 1527237 WITH SCORE 1529117.611
AT ITER 313 NEW BEST:: SOT 12530855 SOS 1882447 HAS SOPS 1882447 HAS SOUS 1527204 HAS SOUPS 1527204 WITH SCORE 1529086.447
AT ITER 318 NEW BEST:: SOT 12530658 SOS 1882053 HAS SOPS 1882053 HAS SOUS 1526663 HAS SOUPS 1526663 WITH SCORE 1528545.053
AT ITER 347 NEW BEST:: SOT 12530580 SOS 1882443 HAS SOPS 1882443 HAS SOUS 1526585 HAS SOUPS 1526585 WITH SCORE 1528467.443
AT ITER 367 NEW BEST:: SOT 12530616 SOS 1881441 HAS SOPS 1881441 HAS SOUS 1526399 HAS SOUPS 1526399 WITH SCORE 1528280.441
AT ITER 385 NEW BEST:: SOT 12530527 SOS 1881348 HAS SOPS 1881348 HAS SOUS 1526303 HAS SOUPS 1526303 WITH SCORE 1528184.348
AT ITER 392 NEW BEST:: SOT 12530416 SOS 1881237 HAS SOPS 1881237 HAS SOUS 1526190 HAS SOUPS 1526190 WITH SCORE 1528071.237
AT ITER 399 NEW BEST:: SOT 12530219 SOS 1880843 HAS SOPS 1880843 HAS SOUS 1525711 HAS SOUPS 1525711 WITH SCORE 1527591.843
AT ITER 408 NEW BEST:: SOT 12530019 SOS 1880443 HAS SOPS 1880443 HAS SOUS 1525509 HAS SOUPS 1525509 WITH SCORE 1527389.443
AT ITER 463 NEW BEST:: SOT 12529810 SOS 1880309 HAS SOPS 1880309 HAS SOUS 1525200 HAS SOUPS 1525200 WITH SCORE 1527080.309
AT ITER 475 NEW BEST:: SOT 12529584 SOS 1880020 HAS SOPS 1880020 HAS SOUS 1524897 HAS SOUPS 1524897 WITH SCORE 1526777.02
AT ITER 493 NEW BEST:: SOT 12529266 SOS 1879542 HAS SOPS 1879542 HAS SOUS 1524577 HAS SOUPS 1524577 WITH SCORE 1526456.542
AT ITER 500 NEW BEST:: SOT 12529266 SOS 1879533 HAS SOPS 1879533 HAS SOUS 1524568 HAS SOUPS 1524568 WITH SCORE 1526447.533
AT ITER 504 NEW BEST:: SOT 12529266 SOS 1879513 HAS SOPS 1879513 HAS SOUS 1524547 HAS SOUPS 1524547 WITH SCORE 1526426.513
AT ITER 507 NEW BEST:: SOT 12528836 SOS 1878897 HAS SOPS 1878897 HAS SOUS 1523905 HAS SOUPS 1523905 WITH SCORE 1525783.897
AT ITER 568 NEW BEST:: SOT 12528835 SOS 1878895 HAS SOPS 1878895 HAS SOUS 1523903 HAS SOUPS 1523903 WITH SCORE 1525781.895
AT ITER 569 NEW BEST:: SOT 12527860 SOS 1879328 HAS SOPS 1879328 HAS SOUS 1523398 HAS SOUPS 1523398 WITH SCORE 1525277.328
AT ITER 577 NEW BEST:: SOT 12527832 SOS 1879785 HAS SOPS 1879785 HAS SOUS 1523309 HAS SOUPS 1523309 WITH SCORE 1525188.785
AT ITER 589 NEW BEST:: SOT 12527577 SOS 1879520 HAS SOPS 1879520 HAS SOUS 1523044 HAS SOUPS 1523044 WITH SCORE 1524923.52
AT ITER 618 NEW BEST:: SOT 12527495 SOS 1879438 HAS SOPS 1879438 HAS SOUS 1522922 HAS SOUPS 1522922 WITH SCORE 1524801.438
AT ITER 633 NEW BEST:: SOT 12527359 SOS 1878214 HAS SOPS 1878214 HAS SOUS 1522650 HAS SOUPS 1522650 WITH SCORE 1524528.214
AT ITER 676 NEW BEST:: SOT 12527176 SOS 1877665 HAS SOPS 1877665 HAS SOUS 1522101 HAS SOUPS 1522101 WITH SCORE 1523978.665
AT ITER 696 NEW BEST:: SOT 12526902 SOS 1877826 HAS SOPS 1877826 HAS SOUS 1522060 HAS SOUPS 1522060 WITH SCORE 1523937.826
AT ITER 701 NEW BEST:: SOT 12526902 SOS 1877770 HAS SOPS 1877770 HAS SOUS 1522059 HAS SOUPS 1522059 WITH SCORE 1523936.77
AT ITER 702 NEW BEST:: SOT 12525376 SOS 1876462 HAS SOPS 1876462 HAS SOUS 1520751 HAS SOUPS 1520751 WITH SCORE 1522627.462
AT ITER 844 NEW BEST:: SOT 12525463 SOS 1876195 HAS SOPS 1876195 HAS SOUS 1520692 HAS SOUPS 1520692 WITH SCORE 1522568.195
AT ITER 858 NEW BEST:: SOT 12525101 SOS 1875509 HAS SOPS 1875509 HAS SOUS 1520288 HAS SOUPS 1520288 WITH SCORE 1522163.509
AT ITER 895 NEW BEST:: SOT 12524826 SOS 1875356 HAS SOPS 1875356 HAS SOUS 1520135 HAS SOUPS 1520135 WITH SCORE 1522010.356
AT ITER 896 NEW BEST:: SOT 12524826 SOS 1875355 HAS SOPS 1875355 HAS SOUS 1520134 HAS SOUPS 1520134 WITH SCORE 1522009.355
AT ITER 930 NEW BEST:: SOT 12524825 SOS 1875353 HAS SOPS 1875353 HAS SOUS 1520132 HAS SOUPS 1520132 WITH SCORE 1522007.353
AT ITER 943 NEW BEST:: SOT 12524609 SOS 1875137 HAS SOPS 1875137 HAS SOUS 1519915 HAS SOUPS 1519915 WITH SCORE 1521790.137
AT ITER 947 NEW BEST:: SOT 12524532 SOS 1875059 HAS SOPS 1875059 HAS SOUS 1519835 HAS SOUPS 1519835 WITH SCORE 1521710.059
AT ITER 961 NEW BEST:: SOT 12524497 SOS 1874805 HAS SOPS 1874805 HAS SOUS 1519786 HAS SOUPS 1519786 WITH SCORE 1521660.805
AT ITER 979 NEW BEST:: SOT 12524083 SOS 1874374 HAS SOPS 1874374 HAS SOUS 1519355 HAS SOUPS 1519355 WITH SCORE 1521229.374
AT ITER 997 NEW BEST:: SOT 12523933 SOS 1874013 HAS SOPS 1874013 HAS SOUS 1519349 HAS SOUPS 1519349 WITH SCORE 1521223.013
AT ITER 1028 NEW BEST:: SOT 12523933 SOS 1873937 HAS SOPS 1873937 HAS SOUS 1519349 HAS SOUPS 1519349 WITH SCORE 1521222.937
AT ITER 1046 NEW BEST:: SOT 12524162 SOS 1873923 HAS SOPS 1873923 HAS SOUS 1519335 HAS SOUPS 1519335 WITH SCORE 1521208.923
AT ITER 1069 NEW BEST:: SOT 12523657 SOS 1873987 HAS SOPS 1873987 HAS SOUS 1518959 HAS SOUPS 1518959 WITH SCORE 1520832.987
AT ITER 1110 NEW BEST:: SOT 12523655 SOS 1874088 HAS SOPS 1874088 HAS SOUS 1518948 HAS SOUPS 1518948 WITH SCORE 1520822.088
AT ITER 1126 NEW BEST:: SOT 12523397 SOS 1873362 HAS SOPS 1873362 HAS SOUS 1518432 HAS SOUPS 1518432 WITH SCORE 1520305.362
AT ITER 1166 NEW BEST:: SOT 12523329 SOS 1873226 HAS SOPS 1873226 HAS SOUS 1518362 HAS SOUPS 1518362 WITH SCORE 1520235.226
AT ITER 1177 NEW BEST:: SOT 12522813 SOS 1872685 HAS SOPS 1872685 HAS SOUS 1517812 HAS SOUPS 1517812 WITH SCORE 1519684.685
AT ITER 1183 NEW BEST:: SOT 12522723 SOS 1872505 HAS SOPS 1872505 HAS SOUS 1517717 HAS SOUPS 1517717 WITH SCORE 1519589.505
AT ITER 1189 NEW BEST:: SOT 12522572 SOS 1872202 HAS SOPS 1872202 HAS SOUS 1517414 HAS SOUPS 1517414 WITH SCORE 1519286.202
AT ITER 1206 NEW BEST:: SOT 12522173 SOS 1871842 HAS SOPS 1871842 HAS SOUS 1517054 HAS SOUPS 1517054 WITH SCORE 1518925.842
AT ITER 1215 NEW BEST:: SOT 12522162 SOS 1871831 HAS SOPS 1871831 HAS SOUS 1517043 HAS SOUPS 1517043 WITH SCORE 1518914.831
AT ITER 1238 NEW BEST:: SOT 12521498 SOS 1871386 HAS SOPS 1871386 HAS SOUS 1516550 HAS SOUPS 1516550 WITH SCORE 1518421.386
AT ITER 1259 NEW BEST:: SOT 12521498 SOS 1871210 HAS SOPS 1871210 HAS SOUS 1516546 HAS SOUPS 1516546 WITH SCORE 1518417.21
AT ITER 1329 NEW BEST:: SOT 12521184 SOS 1870525 HAS SOPS 1870525 HAS SOUS 1515879 HAS SOUPS 1515879 WITH SCORE 1517749.525
AT ITER 1393 NEW BEST:: SOT 12521184 SOS 1870488 HAS SOPS 1870488 HAS SOUS 1515860 HAS SOUPS 1515860 WITH SCORE 1517730.488
AT ITER 1424 NEW BEST:: SOT 12520818 SOS 1869794 HAS SOPS 1869794 HAS SOUS 1512621 HAS SOUPS 1512621 WITH SCORE 1514490.794
AT ITER 1481 NEW BEST:: SOT 12520724 SOS 1869707 HAS SOPS 1869707 HAS SOUS 1512433 HAS SOUPS 1512433 WITH SCORE 1514302.707
AT ITER 1497 NEW BEST:: SOT 12520724 SOS 1869687 HAS SOPS 1869687 HAS SOUS 1512431 HAS SOUPS 1512431 WITH SCORE 1514300.687
AT ITER 1568 NEW BEST:: SOT 12520724 SOS 1870054 HAS SOPS 1870054 HAS SOUS 1512371 HAS SOUPS 1512371 WITH SCORE 1514241.054
AT ITER 1595 NEW BEST:: SOT 12520703 SOS 1871262 HAS SOPS 1871262 HAS SOUS 1512319 HAS SOUPS 1512319 WITH SCORE 1514190.262
AT ITER 1603 NEW BEST:: SOT 12520274 SOS 1870589 HAS SOPS 1870589 HAS SOUS 1511918 HAS SOUPS 1511918 WITH SCORE 1513788.589
AT ITER 1664 NEW BEST:: SOT 12520074 SOS 1870069 HAS SOPS 1870069 HAS SOUS 1511588 HAS SOUPS 1511588 WITH SCORE 1513458.069
AT ITER 1666 NEW BEST:: SOT 12519863 SOS 1870062 HAS SOPS 1870062 HAS SOUS 1511377 HAS SOUPS 1511377 WITH SCORE 1513247.062
AT ITER 1703 NEW BEST:: SOT 12519863 SOS 1870061 HAS SOPS 1870061 HAS SOUS 1511376 HAS SOUPS 1511376 WITH SCORE 1513246.061
AT ITER 1725 NEW BEST:: SOT 12519693 SOS 1869646 HAS SOPS 1869646 HAS SOUS 1511221 HAS SOUPS 1511221 WITH SCORE 1513090.646
AT ITER 1753 NEW BEST:: SOT 12519429 SOS 1868914 HAS SOPS 1868914 HAS SOUS 1510983 HAS SOUPS 1510983 WITH SCORE 1512851.914
AT ITER 1769 NEW BEST:: SOT 12519329 SOS 1868713 HAS SOPS 1868713 HAS SOUS 1510782 HAS SOUPS 1510782 WITH SCORE 1512650.713
AT ITER 1810 NEW BEST:: SOT 12519151 SOS 1868357 HAS SOPS 1868357 HAS SOUS 1510603 HAS SOUPS 1510603 WITH SCORE 1512471.357
AT ITER 1848 NEW BEST:: SOT 12519115 SOS 1868297 HAS SOPS 1868297 HAS SOUS 1510567 HAS SOUPS 1510567 WITH SCORE 1512435.297
AT ITER 1867 NEW BEST:: SOT 12517835 SOS 1867273 HAS SOPS 1867273 HAS SOUS 1509543 HAS SOUPS 1509543 WITH SCORE 1511410.273
AT ITER 1878 NEW BEST:: SOT 12517835 SOS 1867273 HAS SOPS 1867273 HAS SOUS 1509542 HAS SOUPS 1509542 WITH SCORE 1511409.273
AT ITER 1894 NEW BEST:: SOT 12518034 SOS 1867069 HAS SOPS 1867069 HAS SOUS 1509338 HAS SOUPS 1509338 WITH SCORE 1511205.069
AT ITER 1901 NEW BEST:: SOT 12517713 SOS 1866673 HAS SOPS 1866673 HAS SOUS 1506415 HAS SOUPS 1506415 WITH SCORE 1508281.673
AT ITER 1909 NEW BEST:: SOT 12517458 SOS 1866163 HAS SOPS 1866163 HAS SOUS 1506160 HAS SOUPS 1506160 WITH SCORE 1508026.163
AT ITER 1916 NEW BEST:: SOT 12517227 SOS 1865688 HAS SOPS 1865688 HAS SOUS 1505685 HAS SOUPS 1505685 WITH SCORE 1507550.688
AT ITER 1997 NEW BEST:: SOT 12517041 SOS 1865502 HAS SOPS 1865502 HAS SOUS 1505499 HAS SOUPS 1505499 WITH SCORE 1507364.502
AT ITER 2001 NEW BEST:: SOT 12516749 SOS 1867666 HAS SOPS 1867666 HAS SOUS 1505396 HAS SOUPS 1505396 WITH SCORE 1507263.666
AT ITER 2077 NEW BEST:: SOT 12516529 SOS 1867446 HAS SOPS 1867446 HAS SOUS 1505176 HAS SOUPS 1505176 WITH SCORE 1507043.446
AT ITER 2087 NEW BEST:: SOT 12516143 SOS 1866874 HAS SOPS 1866874 HAS SOUS 1504603 HAS SOUPS 1504603 WITH SCORE 1506469.874
AT ITER 2114 NEW BEST:: SOT 12516142 SOS 1866872 HAS SOPS 1866872 HAS SOUS 1504601 HAS SOUPS 1504601 WITH SCORE 1506467.872
AT ITER 2124 NEW BEST:: SOT 12516100 SOS 1866788 HAS SOPS 1866788 HAS SOUS 1504517 HAS SOUPS 1504517 WITH SCORE 1506383.788
AT ITER 2130 NEW BEST:: SOT 12514651 SOS 1865339 HAS SOPS 1865339 HAS SOUS 1504318 HAS SOUPS 1504318 WITH SCORE 1506183.339
AT ITER 2133 NEW BEST:: SOT 12514626 SOS 1865348 HAS SOPS 1865348 HAS SOUS 1504250 HAS SOUPS 1504250 WITH SCORE 1506115.348
AT ITER 2196 NEW BEST:: SOT 12514626 SOS 1865347 HAS SOPS 1865347 HAS SOUS 1504249 HAS SOUPS 1504249 WITH SCORE 1506114.347
AT ITER 2318 NEW BEST:: SOT 12514383 SOS 1865104 HAS SOPS 1865104 HAS SOUS 1504006 HAS SOUPS 1504006 WITH SCORE 1505871.104
AT ITER 2332 NEW BEST:: SOT 12514248 SOS 1864834 HAS SOPS 1864834 HAS SOUS 1503736 HAS SOUPS 1503736 WITH SCORE 1505600.834
AT ITER 2358 NEW BEST:: SOT 12513837 SOS 1864423 HAS SOPS 1864423 HAS SOUS 1503116 HAS SOUPS 1503116 WITH SCORE 1504980.423
AT ITER 2421 NEW BEST:: SOT 12513521 SOS 1863787 HAS SOPS 1863787 HAS SOUS 1502480 HAS SOUPS 1502480 WITH SCORE 1504343.787
AT ITER 2446 NEW BEST:: SOT 12513520 SOS 1863709 HAS SOPS 1863709 HAS SOUS 1502402 HAS SOUPS 1502402 WITH SCORE 1504265.709
AT ITER 2468 NEW BEST:: SOT 12513419 SOS 1864113 HAS SOPS 1864113 HAS SOUS 1502301 HAS SOUPS 1502301 WITH SCORE 1504165.113
AT ITER 2470 NEW BEST:: SOT 12513419 SOS 1864090 HAS SOPS 1864090 HAS SOUS 1502243 HAS SOUPS 1502243 WITH SCORE 1504107.09
AT ITER 2475 NEW BEST:: SOT 12513419 SOS 1863867 HAS SOPS 1863867 HAS SOUS 1502066 HAS SOUPS 1502066 WITH SCORE 1503929.867
AT ITER 2502 NEW BEST:: SOT 12513201 SOS 1862777 HAS SOPS 1862777 HAS SOUS 1501630 HAS SOUPS 1501630 WITH SCORE 1503492.777
AT ITER 2506 NEW BEST:: SOT 12513046 SOS 1862401 HAS SOPS 1862401 HAS SOUS 1501254 HAS SOUPS 1501254 WITH SCORE 1503116.401
AT ITER 2511 NEW BEST:: SOT 12512730 SOS 1861764 HAS SOPS 1861764 HAS SOUS 1500617 HAS SOUPS 1500617 WITH SCORE 1502478.764
AT ITER 2522 NEW BEST:: SOT 12512730 SOS 1861483 HAS SOPS 1861483 HAS SOUS 1500336 HAS SOUPS 1500336 WITH SCORE 1502197.483
AT ITER 2551 NEW BEST:: SOT 12512567 SOS 1861320 HAS SOPS 1861320 HAS SOUS 1500172 HAS SOUPS 1500172 WITH SCORE 1502033.32
AT ITER 2569 NEW BEST:: SOT 12512075 SOS 1860800 HAS SOPS 1860800 HAS SOUS 1499652 HAS SOUPS 1499652 WITH SCORE 1501512.8
AT ITER 2603 NEW BEST:: SOT 12511678 SOS 1860432 HAS SOPS 1860432 HAS SOUS 1499284 HAS SOUPS 1499284 WITH SCORE 1501144.432
AT ITER 2604 NEW BEST:: SOT 12511562 SOS 1859947 HAS SOPS 1859947 HAS SOUS 1499015 HAS SOUPS 1499015 WITH SCORE 1500874.947
AT ITER 2617 NEW BEST:: SOT 12511443 SOS 1859824 HAS SOPS 1859824 HAS SOUS 1498891 HAS SOUPS 1498891 WITH SCORE 1500750.824
AT ITER 2664 NEW BEST:: SOT 12511280 SOS 1860639 HAS SOPS 1860639 HAS SOUS 1498728 HAS SOUPS 1498728 WITH SCORE 1500588.639
AT ITER 2683 NEW BEST:: SOT 12511259 SOS 1860555 HAS SOPS 1860555 HAS SOUS 1498685 HAS SOUPS 1498685 WITH SCORE 1500545.555
AT ITER 2714 NEW BEST:: SOT 12511258 SOS 1860363 HAS SOPS 1860363 HAS SOUS 1498551 HAS SOUPS 1498551 WITH SCORE 1500411.363
AT ITER 2717 NEW BEST:: SOT 12511109 SOS 1859916 HAS SOPS 1859916 HAS SOUS 1498104 HAS SOUPS 1498104 WITH SCORE 1499963.916
AT ITER 2723 NEW BEST:: SOT 12510909 SOS 1859807 HAS SOPS 1859807 HAS SOUS 1497994 HAS SOUPS 1497994 WITH SCORE 1499853.807
AT ITER 2739 NEW BEST:: SOT 12510529 SOS 1860677 HAS SOPS 1860677 HAS SOUS 1497889 HAS SOUPS 1497889 WITH SCORE 1499749.677
AT ITER 2764 NEW BEST:: SOT 12510327 SOS 1860578 HAS SOPS 1860578 HAS SOUS 1497790 HAS SOUPS 1497790 WITH SCORE 1499650.578
AT ITER 2765 NEW BEST:: SOT 12510326 SOS 1860576 HAS SOPS 1860576 HAS SOUS 1497788 HAS SOUPS 1497788 WITH SCORE 1499648.576
AT ITER 2769 NEW BEST:: SOT 12510271 SOS 1860923 HAS SOPS 1860923 HAS SOUS 1497745 HAS SOUPS 1497745 WITH SCORE 1499605.923
AT ITER 2775 NEW BEST:: SOT 12510384 SOS 1860401 HAS SOPS 1860401 HAS SOUS 1497223 HAS SOUPS 1497223 WITH SCORE 1499083.401
AT ITER 2797 NEW BEST:: SOT 12510416 SOS 1860292 HAS SOPS 1860292 HAS SOUS 1497114 HAS SOUPS 1497114 WITH SCORE 1498974.292
AT ITER 2807 NEW BEST:: SOT 12510310 SOS 1860150 HAS SOPS 1860150 HAS SOUS 1497007 HAS SOUPS 1497007 WITH SCORE 1498867.15
AT ITER 2819 NEW BEST:: SOT 12510258 SOS 1860112 HAS SOPS 1860112 HAS SOUS 1496969 HAS SOUPS 1496969 WITH SCORE 1498829.112
AT ITER 2846 NEW BEST:: SOT 12509874 SOS 1859728 HAS SOPS 1859728 HAS SOUS 1496579 HAS SOUPS 1496579 WITH SCORE 1498438.728
AT ITER 2919 NEW BEST:: SOT 12509874 SOS 1859630 HAS SOPS 1859630 HAS SOUS 1496579 HAS SOUPS 1496579 WITH SCORE 1498438.63
AT ITER 2934 NEW BEST:: SOT 12509612 SOS 1859478 HAS SOPS 1859478 HAS SOUS 1496207 HAS SOUPS 1496207 WITH SCORE 1498066.478
AT ITER 2949 NEW BEST:: SOT 12509515 SOS 1859284 HAS SOPS 1859284 HAS SOUS 1495493 HAS SOUPS 1495493 WITH SCORE 1497352.284
AT ITER 2959 NEW BEST:: SOT 12509145 SOS 1858224 HAS SOPS 1858224 HAS SOUS 1494752 HAS SOUPS 1494752 WITH SCORE 1496610.224
AT ITER 2970 NEW BEST:: SOT 12509144 SOS 1858157 HAS SOPS 1858157 HAS SOUS 1494685 HAS SOUPS 1494685 WITH SCORE 1496543.157
AT ITER 3017 NEW BEST:: SOT 12509144 SOS 1858153 HAS SOPS 1858153 HAS SOUS 1494681 HAS SOUPS 1494681 WITH SCORE 1496539.153
AT ITER 3018 NEW BEST:: SOT 12509144 SOS 1858149 HAS SOPS 1858149 HAS SOUS 1494677 HAS SOUPS 1494677 WITH SCORE 1496535.149
AT ITER 3033 NEW BEST:: SOT 12509124 SOS 1858123 HAS SOPS 1858123 HAS SOUS 1494651 HAS SOUPS 1494651 WITH SCORE 1496509.123
AT ITER 3139 NEW BEST:: SOT 12509384 SOS 1857851 HAS SOPS 1857851 HAS SOUS 1494592 HAS SOUPS 1494592 WITH SCORE 1496449.851
AT ITER 3177 NEW BEST:: SOT 12509384 SOS 1858060 HAS SOPS 1858060 HAS SOUS 1494369 HAS SOUPS 1494369 WITH SCORE 1496227.06
AT ITER 3192 NEW BEST:: SOT 12509427 SOS 1857899 HAS SOPS 1857899 HAS SOUS 1494208 HAS SOUPS 1494208 WITH SCORE 1496065.899
AT ITER 3208 NEW BEST:: SOT 12509298 SOS 1857842 HAS SOPS 1857842 HAS SOUS 1494151 HAS SOUPS 1494151 WITH SCORE 1496008.842
AT ITER 3216 NEW BEST:: SOT 12509239 SOS 1857736 HAS SOPS 1857736 HAS SOUS 1494038 HAS SOUPS 1494038 WITH SCORE 1495895.736
AT ITER 3251 NEW BEST:: SOT 12508818 SOS 1857245 HAS SOPS 1857245 HAS SOUS 1493966 HAS SOUPS 1493966 WITH SCORE 1495823.245
AT ITER 3269 NEW BEST:: SOT 12507394 SOS 1856589 HAS SOPS 1856589 HAS SOUS 1492902 HAS SOUPS 1492902 WITH SCORE 1494758.589
AT ITER 3270 NEW BEST:: SOT 12507394 SOS 1856171 HAS SOPS 1856171 HAS SOUS 1492901 HAS SOUPS 1492901 WITH SCORE 1494757.171
AT ITER 3272 NEW BEST:: SOT 12507215 SOS 1855813 HAS SOPS 1855813 HAS SOUS 1492720 HAS SOUPS 1492720 WITH SCORE 1494575.813
AT ITER 3275 NEW BEST:: SOT 12507033 SOS 1855631 HAS SOPS 1855631 HAS SOUS 1492538 HAS SOUPS 1492538 WITH SCORE 1494393.631
AT ITER 3316 NEW BEST:: SOT 12507036 SOS 1855246 HAS SOPS 1855246 HAS SOUS 1492150 HAS SOUPS 1492150 WITH SCORE 1494005.246
AT ITER 3326 NEW BEST:: SOT 12506836 SOS 1856195 HAS SOPS 1856195 HAS SOUS 1492143 HAS SOUPS 1492143 WITH SCORE 1493999.195
AT ITER 3349 NEW BEST:: SOT 12506666 SOS 1855786 HAS SOPS 1855786 HAS SOUS 1491801 HAS SOUPS 1491801 WITH SCORE 1493656.786
AT ITER 3382 NEW BEST:: SOT 12505483 SOS 1854603 HAS SOPS 1854603 HAS SOUS 1491801 HAS SOUPS 1491801 WITH SCORE 1493655.603
AT ITER 3430 NEW BEST:: SOT 12505430 SOS 1854497 HAS SOPS 1854497 HAS SOUS 1491747 HAS SOUPS 1491747 WITH SCORE 1493601.497
AT ITER 3431 NEW BEST:: SOT 12505306 SOS 1854125 HAS SOPS 1854125 HAS SOUS 1491375 HAS SOUPS 1491375 WITH SCORE 1493229.125
AT ITER 3439 NEW BEST:: SOT 12505305 SOS 1854003 HAS SOPS 1854003 HAS SOUS 1491373 HAS SOUPS 1491373 WITH SCORE 1493227.003
AT ITER 3466 NEW BEST:: SOT 12505304 SOS 1854001 HAS SOPS 1854001 HAS SOUS 1491371 HAS SOUPS 1491371 WITH SCORE 1493225.001
AT ITER 3494 NEW BEST:: SOT 12505194 SOS 1853004 HAS SOPS 1853004 HAS SOUS 1491090 HAS SOUPS 1491090 WITH SCORE 1492943.004
AT ITER 3495 NEW BEST:: SOT 12504983 SOS 1854087 HAS SOPS 1854087 HAS SOUS 1490878 HAS SOUPS 1490878 WITH SCORE 1492732.087
AT ITER 3607 NEW BEST:: SOT 12504633 SOS 1853758 HAS SOPS 1853758 HAS SOUS 1490528 HAS SOUPS 1490528 WITH SCORE 1492381.758
AT ITER 3613 NEW BEST:: SOT 12504574 SOS 1853636 HAS SOPS 1853636 HAS SOUS 1490406 HAS SOUPS 1490406 WITH SCORE 1492259.636
AT ITER 3619 NEW BEST:: SOT 12504492 SOS 1853541 HAS SOPS 1853541 HAS SOUS 1490290 HAS SOUPS 1490290 WITH SCORE 1492143.541
AT ITER 3630 NEW BEST:: SOT 12504402 SOS 1853451 HAS SOPS 1853451 HAS SOUS 1490200 HAS SOUPS 1490200 WITH SCORE 1492053.451
AT ITER 3662 NEW BEST:: SOT 12504303 SOS 1853253 HAS SOPS 1853253 HAS SOUS 1490101 HAS SOUPS 1490101 WITH SCORE 1491954.253
AT ITER 3663 NEW BEST:: SOT 12504142 SOS 1852908 HAS SOPS 1852908 HAS SOUS 1489917 HAS SOUPS 1489917 WITH SCORE 1491769.908
AT ITER 3676 NEW BEST:: SOT 12504141 SOS 1852914 HAS SOPS 1852914 HAS SOUS 1489915 HAS SOUPS 1489915 WITH SCORE 1491767.914
AT ITER 3733 NEW BEST:: SOT 12503840 SOS 1852613 HAS SOPS 1852613 HAS SOUS 1489614 HAS SOUPS 1489614 WITH SCORE 1491466.613
AT ITER 3760 NEW BEST:: SOT 12503593 SOS 1852453 HAS SOPS 1852453 HAS SOUS 1489453 HAS SOUPS 1489453 WITH SCORE 1491305.453
AT ITER 3918 NEW BEST:: SOT 12504043 SOS 1852903 HAS SOPS 1852903 HAS SOUS 1489378 HAS SOUPS 1489378 WITH SCORE 1491230.903
AT ITER 3930 NEW BEST:: SOT 12503805 SOS 1853313 HAS SOPS 1853313 HAS SOUS 1489086 HAS SOUPS 1489086 WITH SCORE 1490939.313
AT ITER 3941 NEW BEST:: SOT 12503805 SOS 1853254 HAS SOPS 1853254 HAS SOUS 1489027 HAS SOUPS 1489027 WITH SCORE 1490880.254
AT ITER 3950 NEW BEST:: SOT 12503805 SOS 1853253 HAS SOPS 1853253 HAS SOUS 1489026 HAS SOUPS 1489026 WITH SCORE 1490879.253
AT ITER 3951 NEW BEST:: SOT 12503680 SOS 1853128 HAS SOPS 1853128 HAS SOUS 1488900 HAS SOUPS 1488900 WITH SCORE 1490753.128
AT ITER 3955 NEW BEST:: SOT 12503667 SOS 1853102 HAS SOPS 1853102 HAS SOUS 1488874 HAS SOUPS 1488874 WITH SCORE 1490727.102
AT ITER 3978 NEW BEST:: SOT 12503437 SOS 1853668 HAS SOPS 1853668 HAS SOUS 1488776 HAS SOUPS 1488776 WITH SCORE 1490629.668
AT ITER 3995 NEW BEST:: SOT 12503362 SOS 1853518 HAS SOPS 1853518 HAS SOUS 1488625 HAS SOUPS 1488625 WITH SCORE 1490478.518
AT ITER 4006 NEW BEST:: SOT 12503362 SOS 1853464 HAS SOPS 1853464 HAS SOUS 1488624 HAS SOUPS 1488624 WITH SCORE 1490477.464
AT ITER 4026 NEW BEST:: SOT 12503362 SOS 1853439 HAS SOPS 1853439 HAS SOUS 1488599 HAS SOUPS 1488599 WITH SCORE 1490452.439
AT ITER 4030 NEW BEST:: SOT 12503281 SOS 1853358 HAS SOPS 1853358 HAS SOUS 1488599 HAS SOUPS 1488599 WITH SCORE 1490452.358
AT ITER 4048 NEW BEST:: SOT 12503174 SOS 1853144 HAS SOPS 1853144 HAS SOUS 1488474 HAS SOUPS 1488474 WITH SCORE 1490327.144
AT ITER 4056 NEW BEST:: SOT 12502930 SOS 1853022 HAS SOPS 1853022 HAS SOUS 1488352 HAS SOUPS 1488352 WITH SCORE 1490205.022
AT ITER 4102 NEW BEST:: SOT 12502706 SOS 1852798 HAS SOPS 1852798 HAS SOUS 1487904 HAS SOUPS 1487904 WITH SCORE 1489756.798
AT ITER 4125 NEW BEST:: SOT 12502634 SOS 1852682 HAS SOPS 1852682 HAS SOUS 1487719 HAS SOUPS 1487719 WITH SCORE 1489571.682
AT ITER 4140 NEW BEST:: SOT 12502572 SOS 1852629 HAS SOPS 1852629 HAS SOUS 1487666 HAS SOUPS 1487666 WITH SCORE 1489518.629
AT ITER 4143 NEW BEST:: SOT 12502419 SOS 1852598 HAS SOPS 1852598 HAS SOUS 1487635 HAS SOUPS 1487635 WITH SCORE 1489487.598
AT ITER 4164 NEW BEST:: SOT 12502419 SOS 1852430 HAS SOPS 1852430 HAS SOUS 1487633 HAS SOUPS 1487633 WITH SCORE 1489485.43
AT ITER 4184 NEW BEST:: SOT 12502419 SOS 1852108 HAS SOPS 1852108 HAS SOUS 1487633 HAS SOUPS 1487633 WITH SCORE 1489485.108
AT ITER 4216 NEW BEST:: SOT 12501933 SOS 1851928 HAS SOPS 1851928 HAS SOUS 1487453 HAS SOUPS 1487453 WITH SCORE 1489304.928
AT ITER 4218 NEW BEST:: SOT 12501732 SOS 1851325 HAS SOPS 1851325 HAS SOUS 1487050 HAS SOUPS 1487050 WITH SCORE 1488901.325
AT ITER 4230 NEW BEST:: SOT 12501504 SOS 1850860 HAS SOPS 1850860 HAS SOUS 1486833 HAS SOUPS 1486833 WITH SCORE 1488683.86
AT ITER 4246 NEW BEST:: SOT 12501504 SOS 1850849 HAS SOPS 1850849 HAS SOUS 1486822 HAS SOUPS 1486822 WITH SCORE 1488672.849
AT ITER 4250 NEW BEST:: SOT 12501594 SOS 1850388 HAS SOPS 1850388 HAS SOUS 1486361 HAS SOUPS 1486361 WITH SCORE 1488211.388
AT ITER 4251 NEW BEST:: SOT 12501498 SOS 1850256 HAS SOPS 1850256 HAS SOUS 1486214 HAS SOUPS 1486214 WITH SCORE 1488064.256
AT ITER 4275 NEW BEST:: SOT 12501256 SOS 1849772 HAS SOPS 1849772 HAS SOUS 1485730 HAS SOUPS 1485730 WITH SCORE 1487579.772
AT ITER 4276 NEW BEST:: SOT 12500856 SOS 1849714 HAS SOPS 1849714 HAS SOUS 1485357 HAS SOUPS 1485357 WITH SCORE 1487206.714
AT ITER 4277 NEW BEST:: SOT 12500816 SOS 1849515 HAS SOPS 1849515 HAS SOUS 1485158 HAS SOUPS 1485158 WITH SCORE 1487007.515
AT ITER 4279 NEW BEST:: SOT 12500816 SOS 1849514 HAS SOPS 1849514 HAS SOUS 1485157 HAS SOUPS 1485157 WITH SCORE 1487006.514
AT ITER 4290 NEW BEST:: SOT 12500878 SOS 1849559 HAS SOPS 1849559 HAS SOUS 1485140 HAS SOUPS 1485140 WITH SCORE 1486989.559
AT ITER 4292 NEW BEST:: SOT 12500878 SOS 1849498 HAS SOPS 1849498 HAS SOUS 1485079 HAS SOUPS 1485079 WITH SCORE 1486928.498
AT ITER 4295 NEW BEST:: SOT 12500466 SOS 1849086 HAS SOPS 1849086 HAS SOUS 1484564 HAS SOUPS 1484564 WITH SCORE 1486413.086
AT ITER 4322 NEW BEST:: SOT 12500453 SOS 1849073 HAS SOPS 1849073 HAS SOUS 1484551 HAS SOUPS 1484551 WITH SCORE 1486400.073
AT ITER 4329 NEW BEST:: SOT 12500452 SOS 1849071 HAS SOPS 1849071 HAS SOUS 1484549 HAS SOUPS 1484549 WITH SCORE 1486398.071
AT ITER 4368 NEW BEST:: SOT 12500245 SOS 1848933 HAS SOPS 1848933 HAS SOUS 1484411 HAS SOUPS 1484411 WITH SCORE 1486259.933
AT ITER 4373 NEW BEST:: SOT 12500245 SOS 1848797 HAS SOPS 1848797 HAS SOUS 1484411 HAS SOUPS 1484411 WITH SCORE 1486259.797
AT ITER 4381 NEW BEST:: SOT 12500188 SOS 1848706 HAS SOPS 1848706 HAS SOUS 1483806 HAS SOUPS 1483806 WITH SCORE 1485654.706
AT ITER 4423 NEW BEST:: SOT 12499980 SOS 1848290 HAS SOPS 1848290 HAS SOUS 1483390 HAS SOUPS 1483390 WITH SCORE 1485238.29
AT ITER 4456 NEW BEST:: SOT 12499602 SOS 1847723 HAS SOPS 1847723 HAS SOUS 1483012 HAS SOUPS 1483012 WITH SCORE 1484859.723
AT ITER 4458 NEW BEST:: SOT 12499268 SOS 1848331 HAS SOPS 1848331 HAS SOUS 1482618 HAS SOUPS 1482618 WITH SCORE 1484466.331
AT ITER 4474 NEW BEST:: SOT 12498991 SOS 1849429 HAS SOPS 1849429 HAS SOUS 1482300 HAS SOUPS 1482300 WITH SCORE 1484149.429
AT ITER 4491 NEW BEST:: SOT 12498991 SOS 1849116 HAS SOPS 1849116 HAS SOUS 1481987 HAS SOUPS 1481987 WITH SCORE 1483836.116
AT ITER 4533 NEW BEST:: SOT 12498952 SOS 1849038 HAS SOPS 1849038 HAS SOUS 1481909 HAS SOUPS 1481909 WITH SCORE 1483758.038
AT ITER 4552 NEW BEST:: SOT 12498779 SOS 1848914 HAS SOPS 1848914 HAS SOUS 1481785 HAS SOUPS 1481785 WITH SCORE 1483633.914
AT ITER 4563 NEW BEST:: SOT 12498666 SOS 1848913 HAS SOPS 1848913 HAS SOUS 1481784 HAS SOUPS 1481784 WITH SCORE 1483632.913
AT ITER 4590 NEW BEST:: SOT 12498378 SOS 1848335 HAS SOPS 1848335 HAS SOUS 1481494 HAS SOUPS 1481494 WITH SCORE 1483342.335
AT ITER 4630 NEW BEST:: SOT 12498138 SOS 1848095 HAS SOPS 1848095 HAS SOUS 1481254 HAS SOUPS 1481254 WITH SCORE 1483102.095
AT ITER 4633 NEW BEST:: SOT 12498162 SOS 1847922 HAS SOPS 1847922 HAS SOUS 1481004 HAS SOUPS 1481004 WITH SCORE 1482851.922
AT ITER 4640 NEW BEST:: SOT 12498162 SOS 1847922 HAS SOPS 1847922 HAS SOUS 1481001 HAS SOUPS 1481001 WITH SCORE 1482848.922
AT ITER 4695 NEW BEST:: SOT 12498162 SOS 1847749 HAS SOPS 1847749 HAS SOUS 1481000 HAS SOUPS 1481000 WITH SCORE 1482847.749
AT ITER 4710 NEW BEST:: SOT 12497871 SOS 1847458 HAS SOPS 1847458 HAS SOUS 1480418 HAS SOUPS 1480418 WITH SCORE 1482265.458
AT ITER 4739 NEW BEST:: SOT 12497711 SOS 1847235 HAS SOPS 1847235 HAS SOUS 1480256 HAS SOUPS 1480256 WITH SCORE 1482103.235
AT ITER 4788 NEW BEST:: SOT 12497689 SOS 1847191 HAS SOPS 1847191 HAS SOUS 1480233 HAS SOUPS 1480233 WITH SCORE 1482080.191
AT ITER 4791 NEW BEST:: SOT 12497628 SOS 1846958 HAS SOPS 1846958 HAS SOUS 1479974 HAS SOUPS 1479974 WITH SCORE 1481820.958
AT ITER 4816 NEW BEST:: SOT 12497805 SOS 1846554 HAS SOPS 1846554 HAS SOUS 1479820 HAS SOUPS 1479820 WITH SCORE 1481666.554
AT ITER 4879 NEW BEST:: SOT 12497805 SOS 1846536 HAS SOPS 1846536 HAS SOUS 1479800 HAS SOUPS 1479800 WITH SCORE 1481646.536
AT ITER 4932 NEW BEST:: SOT 12497512 SOS 1846507 HAS SOPS 1846507 HAS SOUS 1479800 HAS SOUPS 1479800 WITH SCORE 1481646.507
AT ITER 4945 NEW BEST:: SOT 12497512 SOS 1845555 HAS SOPS 1845555 HAS SOUS 1479800 HAS SOUPS 1479800 WITH SCORE 1481645.555
AT ITER 4956 NEW BEST:: SOT 12497255 SOS 1845062 HAS SOPS 1845062 HAS SOUS 1479421 HAS SOUPS 1479421 WITH SCORE 1481266.062
AT ITER 4981 NEW BEST:: SOT 12497026 SOS 1844605 HAS SOPS 1844605 HAS SOUS 1479187 HAS SOUPS 1479187 WITH SCORE 1481031.605
AT ITER 4987 NEW BEST:: SOT 12497025 SOS 1844603 HAS SOPS 1844603 HAS SOUS 1479185 HAS SOUPS 1479185 WITH SCORE 1481029.603
AT ITER 5060 NEW BEST:: SOT 12497025 SOS 1844707 HAS SOPS 1844707 HAS SOUS 1479184 HAS SOUPS 1479184 WITH SCORE 1481028.707
AT ITER 5061 NEW BEST:: SOT 12494404 SOS 1842256 HAS SOPS 1842256 HAS SOUS 1478943 HAS SOUPS 1478943 WITH SCORE 1480785.256
AT ITER 5088 NEW BEST:: SOT 12493893 SOS 1841745 HAS SOPS 1841745 HAS SOUS 1478432 HAS SOUPS 1478432 WITH SCORE 1480273.745
AT ITER 5105 NEW BEST:: SOT 12493907 SOS 1841634 HAS SOPS 1841634 HAS SOUS 1478335 HAS SOUPS 1478335 WITH SCORE 1480176.634
AT ITER 5106 NEW BEST:: SOT 12493881 SOS 1841582 HAS SOPS 1841582 HAS SOUS 1478075 HAS SOUPS 1478075 WITH SCORE 1479916.582
AT ITER 5125 NEW BEST:: SOT 12493861 SOS 1841506 HAS SOPS 1841506 HAS SOUS 1477999 HAS SOUPS 1477999 WITH SCORE 1479840.506
AT ITER 5138 NEW BEST:: SOT 12492615 SOS 1840082 HAS SOPS 1840082 HAS SOUS 1476576 HAS SOUPS 1476576 WITH SCORE 1478416.082
AT ITER 5143 NEW BEST:: SOT 12492368 SOS 1842029 HAS SOPS 1842029 HAS SOUS 1476547 HAS SOUPS 1476547 WITH SCORE 1478389.029
AT ITER 5192 NEW BEST:: SOT 12492125 SOS 1841532 HAS SOPS 1841532 HAS SOUS 1476050 HAS SOUPS 1476050 WITH SCORE 1477891.532
AT ITER 5195 NEW BEST:: SOT 12491739 SOS 1840956 HAS SOPS 1840956 HAS SOUS 1475651 HAS SOUPS 1475651 WITH SCORE 1477491.956
AT ITER 5199 NEW BEST:: SOT 12491598 SOS 1840397 HAS SOPS 1840397 HAS SOUS 1475368 HAS SOUPS 1475368 WITH SCORE 1477208.397
AT ITER 5256 NEW BEST:: SOT 12491338 SOS 1839877 HAS SOPS 1839877 HAS SOUS 1474979 HAS SOUPS 1474979 WITH SCORE 1476818.877
AT ITER 5261 NEW BEST:: SOT 12490910 SOS 1839183 HAS SOPS 1839183 HAS SOUS 1474282 HAS SOUPS 1474282 WITH SCORE 1476121.183
AT ITER 5265 NEW BEST:: SOT 12490819 SOS 1839038 HAS SOPS 1839038 HAS SOUS 1474046 HAS SOUPS 1474046 WITH SCORE 1475885.038
AT ITER 5351 NEW BEST:: SOT 12490630 SOS 1838847 HAS SOPS 1838847 HAS SOUS 1473855 HAS SOUPS 1473855 WITH SCORE 1475693.847
AT ITER 5358 NEW BEST:: SOT 12490530 SOS 1838647 HAS SOPS 1838647 HAS SOUS 1473559 HAS SOUPS 1473559 WITH SCORE 1475397.647
AT ITER 5371 NEW BEST:: SOT 12490024 SOS 1837267 HAS SOPS 1837267 HAS SOUS 1472858 HAS SOUPS 1472858 WITH SCORE 1474695.267
AT ITER 5377 NEW BEST:: SOT 12490116 SOS 1836928 HAS SOPS 1836928 HAS SOUS 1472547 HAS SOUPS 1472547 WITH SCORE 1474383.928
AT ITER 5394 NEW BEST:: SOT 12490083 SOS 1836895 HAS SOPS 1836895 HAS SOUS 1472514 HAS SOUPS 1472514 WITH SCORE 1474350.895
AT ITER 5442 NEW BEST:: SOT 12490083 SOS 1836826 HAS SOPS 1836826 HAS SOUS 1472513 HAS SOUPS 1472513 WITH SCORE 1474349.826
AT ITER 5496 NEW BEST:: SOT 12489497 SOS 1836346 HAS SOPS 1836346 HAS SOUS 1471691 HAS SOUPS 1471691 WITH SCORE 1473527.346
AT ITER 5507 NEW BEST:: SOT 12488910 SOS 1835807 HAS SOPS 1835807 HAS SOUS 1471152 HAS SOUPS 1471152 WITH SCORE 1472987.807
AT ITER 5508 NEW BEST:: SOT 12488510 SOS 1836574 HAS SOPS 1836574 HAS SOUS 1470714 HAS SOUPS 1470714 WITH SCORE 1472550.574
AT ITER 5517 NEW BEST:: SOT 12488510 SOS 1836506 HAS SOPS 1836506 HAS SOUS 1470714 HAS SOUPS 1470714 WITH SCORE 1472550.506
AT ITER 5548 NEW BEST:: SOT 12488050 SOS 1835828 HAS SOPS 1835828 HAS SOUS 1470252 HAS SOUPS 1470252 WITH SCORE 1472087.828
AT ITER 5591 NEW BEST:: SOT 12488050 SOS 1835771 HAS SOPS 1835771 HAS SOUS 1470252 HAS SOUPS 1470252 WITH SCORE 1472087.771
AT ITER 5599 NEW BEST:: SOT 12487702 SOS 1835167 HAS SOPS 1835167 HAS SOUS 1469904 HAS SOUPS 1469904 WITH SCORE 1471739.167
AT ITER 5617 NEW BEST:: SOT 12487522 SOS 1834884 HAS SOPS 1834884 HAS SOUS 1469628 HAS SOUPS 1469628 WITH SCORE 1471462.884
AT ITER 5660 NEW BEST:: SOT 12487499 SOS 1836195 HAS SOPS 1836195 HAS SOUS 1469551 HAS SOUPS 1469551 WITH SCORE 1471387.195
AT ITER 5675 NEW BEST:: SOT 12487135 SOS 1836245 HAS SOPS 1836245 HAS SOUS 1469312 HAS SOUPS 1469312 WITH SCORE 1471148.245
AT ITER 5689 NEW BEST:: SOT 12486967 SOS 1835906 HAS SOPS 1835906 HAS SOUS 1468973 HAS SOUPS 1468973 WITH SCORE 1470808.906
AT ITER 5713 NEW BEST:: SOT 12486774 SOS 1835516 HAS SOPS 1835516 HAS SOUS 1468779 HAS SOUPS 1468779 WITH SCORE 1470614.516
AT ITER 5738 NEW BEST:: SOT 12486638 SOS 1835380 HAS SOPS 1835380 HAS SOUS 1468642 HAS SOUPS 1468642 WITH SCORE 1470477.38
AT ITER 5739 NEW BEST:: SOT 12486552 SOS 1835208 HAS SOPS 1835208 HAS SOUS 1468467 HAS SOUPS 1468467 WITH SCORE 1470302.208
AT ITER 5760 NEW BEST:: SOT 12486329 SOS 1834695 HAS SOPS 1834695 HAS SOUS 1467851 HAS SOUPS 1467851 WITH SCORE 1469685.695
AT ITER 5774 NEW BEST:: SOT 12486329 SOS 1834695 HAS SOPS 1834695 HAS SOUS 1467820 HAS SOUPS 1467820 WITH SCORE 1469654.695
AT ITER 5814 NEW BEST:: SOT 12486244 SOS 1834610 HAS SOPS 1834610 HAS SOUS 1467733 HAS SOUPS 1467733 WITH SCORE 1469567.61
AT ITER 5881 NEW BEST:: SOT 12486244 SOS 1834562 HAS SOPS 1834562 HAS SOUS 1467685 HAS SOUPS 1467685 WITH SCORE 1469519.562
AT ITER 5885 NEW BEST:: SOT 12486021 SOS 1834543 HAS SOPS 1834543 HAS SOUS 1467620 HAS SOUPS 1467620 WITH SCORE 1469454.543
AT ITER 5896 NEW BEST:: SOT 12485805 SOS 1834476 HAS SOPS 1834476 HAS SOUS 1467487 HAS SOUPS 1467487 WITH SCORE 1469321.476
AT ITER 5905 NEW BEST:: SOT 12485766 SOS 1834398 HAS SOPS 1834398 HAS SOUS 1467408 HAS SOUPS 1467408 WITH SCORE 1469242.398
AT ITER 5909 NEW BEST:: SOT 12485747 SOS 1834227 HAS SOPS 1834227 HAS SOUS 1467370 HAS SOUPS 1467370 WITH SCORE 1469204.227
AT ITER 5922 NEW BEST:: SOT 12485457 SOS 1834013 HAS SOPS 1834013 HAS SOUS 1467080 HAS SOUPS 1467080 WITH SCORE 1468914.013
AT ITER 5930 NEW BEST:: SOT 12487303 SOS 1836255 HAS SOPS 1836255 HAS SOUS 1464445 HAS SOUPS 1464445 WITH SCORE 1466281.255
AT ITER 5943 NEW BEST:: SOT 12486675 SOS 1835735 HAS SOPS 1835735 HAS SOUS 1463913 HAS SOUPS 1463913 WITH SCORE 1465748.735
AT ITER 5989 NEW BEST:: SOT 12486674 SOS 1836711 HAS SOPS 1836711 HAS SOUS 1463911 HAS SOUPS 1463911 WITH SCORE 1465747.711
AT ITER 6004 NEW BEST:: SOT 12486408 SOS 1836480 HAS SOPS 1836480 HAS SOUS 1463680 HAS SOUPS 1463680 WITH SCORE 1465516.48
AT ITER 6015 NEW BEST:: SOT 12486160 SOS 1836232 HAS SOPS 1836232 HAS SOUS 1463432 HAS SOUPS 1463432 WITH SCORE 1465268.232
AT ITER 6032 NEW BEST:: SOT 12486183 SOS 1835873 HAS SOPS 1835873 HAS SOUS 1463073 HAS SOUPS 1463073 WITH SCORE 1464908.873
AT ITER 6098 NEW BEST:: SOT 12486077 SOS 1835661 HAS SOPS 1835661 HAS SOUS 1462861 HAS SOUPS 1462861 WITH SCORE 1464696.661
AT ITER 6105 NEW BEST:: SOT 12486077 SOS 1835661 HAS SOPS 1835661 HAS SOUS 1462860 HAS SOUPS 1462860 WITH SCORE 1464695.661
AT ITER 6125 NEW BEST:: SOT 12486068 SOS 1835652 HAS SOPS 1835652 HAS SOUS 1462851 HAS SOUPS 1462851 WITH SCORE 1464686.652
AT ITER 6161 NEW BEST:: SOT 12486068 SOS 1835652 HAS SOPS 1835652 HAS SOUS 1462831 HAS SOUPS 1462831 WITH SCORE 1464666.652
AT ITER 6179 NEW BEST:: SOT 12485932 SOS 1835516 HAS SOPS 1835516 HAS SOUS 1462695 HAS SOUPS 1462695 WITH SCORE 1464530.516
AT ITER 6196 NEW BEST:: SOT 12485704 SOS 1835288 HAS SOPS 1835288 HAS SOUS 1462467 HAS SOUPS 1462467 WITH SCORE 1464302.288
AT ITER 6236 NEW BEST:: SOT 12485704 SOS 1835386 HAS SOPS 1835386 HAS SOUS 1461901 HAS SOUPS 1461901 WITH SCORE 1463736.386
AT ITER 6239 NEW BEST:: SOT 12485520 SOS 1834545 HAS SOPS 1834545 HAS SOUS 1461772 HAS SOUPS 1461772 WITH SCORE 1463606.545
AT ITER 6252 NEW BEST:: SOT 12485484 SOS 1834438 HAS SOPS 1834438 HAS SOUS 1461665 HAS SOUPS 1461665 WITH SCORE 1463499.438
AT ITER 6277 NEW BEST:: SOT 12485561 SOS 1834257 HAS SOPS 1834257 HAS SOUS 1461484 HAS SOUPS 1461484 WITH SCORE 1463318.257
AT ITER 6288 NEW BEST:: SOT 12485318 SOS 1833965 HAS SOPS 1833965 HAS SOUS 1461192 HAS SOUPS 1461192 WITH SCORE 1463025.965
AT ITER 6305 NEW BEST:: SOT 12485306 SOS 1833941 HAS SOPS 1833941 HAS SOUS 1461168 HAS SOUPS 1461168 WITH SCORE 1463001.941
AT ITER 6318 NEW BEST:: SOT 12485036 SOS 1834049 HAS SOPS 1834049 HAS SOUS 1461006 HAS SOUPS 1461006 WITH SCORE 1462840.049
AT ITER 6319 NEW BEST:: SOT 12483297 SOS 1832255 HAS SOPS 1832255 HAS SOUS 1459212 HAS SOUPS 1459212 WITH SCORE 1461044.255
AT ITER 6337 NEW BEST:: SOT 12484724 SOS 1833566 HAS SOPS 1833566 HAS SOUS 1455440 HAS SOUPS 1455440 WITH SCORE 1457273.566
AT ITER 6350 NEW BEST:: SOT 12484557 SOS 1833261 HAS SOPS 1833261 HAS SOUS 1455279 HAS SOUPS 1455279 WITH SCORE 1457112.261
AT ITER 6374 NEW BEST:: SOT 12484554 SOS 1833255 HAS SOPS 1833255 HAS SOUS 1455272 HAS SOUPS 1455272 WITH SCORE 1457105.255
AT ITER 6384 NEW BEST:: SOT 12484100 SOS 1832801 HAS SOPS 1832801 HAS SOUS 1454818 HAS SOUPS 1454818 WITH SCORE 1456650.801
AT ITER 6385 NEW BEST:: SOT 12483984 SOS 1832629 HAS SOPS 1832629 HAS SOUS 1454646 HAS SOUPS 1454646 WITH SCORE 1456478.629
AT ITER 6412 NEW BEST:: SOT 12483954 SOS 1832598 HAS SOPS 1832598 HAS SOUS 1454585 HAS SOUPS 1454585 WITH SCORE 1456417.598
AT ITER 6426 NEW BEST:: SOT 12483872 SOS 1831956 HAS SOPS 1831956 HAS SOUS 1454421 HAS SOUPS 1454421 WITH SCORE 1456252.956
AT ITER 6481 NEW BEST:: SOT 12483783 SOS 1831873 HAS SOPS 1831873 HAS SOUS 1454338 HAS SOUPS 1454338 WITH SCORE 1456169.873
AT ITER 6503 NEW BEST:: SOT 12483752 SOS 1831838 HAS SOPS 1831838 HAS SOUS 1454272 HAS SOUPS 1454272 WITH SCORE 1456103.838
AT ITER 6510 NEW BEST:: SOT 12483651 SOS 1831618 HAS SOPS 1831618 HAS SOUS 1454052 HAS SOUPS 1454052 WITH SCORE 1455883.618
AT ITER 6515 NEW BEST:: SOT 12482799 SOS 1830561 HAS SOPS 1830561 HAS SOUS 1453748 HAS SOUPS 1453748 WITH SCORE 1455578.561
AT ITER 6576 NEW BEST:: SOT 12482743 SOS 1830413 HAS SOPS 1830413 HAS SOUS 1453656 HAS SOUPS 1453656 WITH SCORE 1455486.413
AT ITER 6587 NEW BEST:: SOT 12482432 SOS 1829791 HAS SOPS 1829791 HAS SOUS 1453034 HAS SOUPS 1453034 WITH SCORE 1454863.791
AT ITER 6601 NEW BEST:: SOT 12481835 SOS 1829363 HAS SOPS 1829363 HAS SOUS 1452606 HAS SOUPS 1452606 WITH SCORE 1454435.363
AT ITER 6628 NEW BEST:: SOT 12481588 SOS 1828282 HAS SOPS 1828282 HAS SOUS 1452209 HAS SOUPS 1452209 WITH SCORE 1454037.282
AT ITER 6672 NEW BEST:: SOT 12481343 SOS 1828161 HAS SOPS 1828161 HAS SOUS 1451881 HAS SOUPS 1451881 WITH SCORE 1453709.161
AT ITER 6758 NEW BEST:: SOT 12481343 SOS 1828087 HAS SOPS 1828087 HAS SOUS 1451807 HAS SOUPS 1451807 WITH SCORE 1453635.087
AT ITER 6765 NEW BEST:: SOT 12481343 SOS 1827981 HAS SOPS 1827981 HAS SOUS 1451701 HAS SOUPS 1451701 WITH SCORE 1453528.981
AT ITER 6767 NEW BEST:: SOT 12481307 SOS 1827909 HAS SOPS 1827909 HAS SOUS 1451629 HAS SOUPS 1451629 WITH SCORE 1453456.909
AT ITER 6818 NEW BEST:: SOT 12481188 SOS 1827552 HAS SOPS 1827552 HAS SOUS 1451391 HAS SOUPS 1451391 WITH SCORE 1453218.552
AT ITER 6820 NEW BEST:: SOT 12481188 SOS 1827550 HAS SOPS 1827550 HAS SOUS 1451389 HAS SOUPS 1451389 WITH SCORE 1453216.55
AT ITER 6845 NEW BEST:: SOT 12480357 SOS 1825655 HAS SOPS 1825655 HAS SOUS 1450712 HAS SOUPS 1450712 WITH SCORE 1452537.655
AT ITER 6856 NEW BEST:: SOT 12480162 SOS 1825247 HAS SOPS 1825247 HAS SOUS 1450093 HAS SOUPS 1450093 WITH SCORE 1451918.247
AT ITER 6862 NEW BEST:: SOT 12480177 SOS 1825093 HAS SOPS 1825093 HAS SOUS 1449939 HAS SOUPS 1449939 WITH SCORE 1451764.093
AT ITER 6866 NEW BEST:: SOT 12480157 SOS 1825073 HAS SOPS 1825073 HAS SOUS 1449919 HAS SOUPS 1449919 WITH SCORE 1451744.073
AT ITER 6871 NEW BEST:: SOT 12480157 SOS 1825022 HAS SOPS 1825022 HAS SOUS 1449817 HAS SOUPS 1449817 WITH SCORE 1451642.022
AT ITER 6879 NEW BEST:: SOT 12479842 SOS 1824707 HAS SOPS 1824707 HAS SOUS 1449502 HAS SOUPS 1449502 WITH SCORE 1451326.707
AT ITER 6893 NEW BEST:: SOT 12479626 SOS 1824491 HAS SOPS 1824491 HAS SOUS 1449286 HAS SOUPS 1449286 WITH SCORE 1451110.491
AT ITER 6940 NEW BEST:: SOT 12479407 SOS 1824091 HAS SOPS 1824091 HAS SOUS 1448886 HAS SOUPS 1448886 WITH SCORE 1450710.091
AT ITER 6944 NEW BEST:: SOT 12479406 SOS 1823924 HAS SOPS 1823924 HAS SOUS 1448719 HAS SOUPS 1448719 WITH SCORE 1450542.924
AT ITER 6947 NEW BEST:: SOT 12479473 SOS 1823796 HAS SOPS 1823796 HAS SOUS 1448672 HAS SOUPS 1448672 WITH SCORE 1450495.796
AT ITER 6975 NEW BEST:: SOT 12475726 SOS 1825347 HAS SOPS 1825347 HAS SOUS 1445676 HAS SOUPS 1445676 WITH SCORE 1447501.347
AT ITER 6993 NEW BEST:: SOT 12475725 SOS 1825288 HAS SOPS 1825288 HAS SOUS 1445617 HAS SOUPS 1445617 WITH SCORE 1447442.288
AT ITER 7022 NEW BEST:: SOT 12475585 SOS 1824952 HAS SOPS 1824952 HAS SOUS 1445337 HAS SOUPS 1445337 WITH SCORE 1447161.952
AT ITER 7041 NEW BEST:: SOT 12475584 SOS 1825135 HAS SOPS 1825135 HAS SOUS 1445314 HAS SOUPS 1445314 WITH SCORE 1447139.135
AT ITER 7055 NEW BEST:: SOT 12475583 SOS 1825133 HAS SOPS 1825133 HAS SOUS 1445312 HAS SOUPS 1445312 WITH SCORE 1447137.133
AT ITER 7060 NEW BEST:: SOT 12472813 SOS 1825979 HAS SOPS 1825979 HAS SOUS 1442559 HAS SOUPS 1442559 WITH SCORE 1444384.979
AT ITER 7082 NEW BEST:: SOT 12472811 SOS 1825975 HAS SOPS 1825975 HAS SOUS 1442555 HAS SOUPS 1442555 WITH SCORE 1444380.975
AT ITER 7089 NEW BEST:: SOT 12472641 SOS 1825805 HAS SOPS 1825805 HAS SOUS 1442385 HAS SOUPS 1442385 WITH SCORE 1444210.805
AT ITER 7151 NEW BEST:: SOT 12472641 SOS 1825800 HAS SOPS 1825800 HAS SOUS 1442380 HAS SOUPS 1442380 WITH SCORE 1444205.8
AT ITER 7196 NEW BEST:: SOT 12472327 SOS 1825468 HAS SOPS 1825468 HAS SOUS 1442048 HAS SOUPS 1442048 WITH SCORE 1443873.468
AT ITER 7228 NEW BEST:: SOT 12472327 SOS 1826261 HAS SOPS 1826261 HAS SOUS 1442039 HAS SOUPS 1442039 WITH SCORE 1443865.261
AT ITER 7271 NEW BEST:: SOT 12472141 SOS 1825889 HAS SOPS 1825889 HAS SOUS 1441667 HAS SOUPS 1441667 WITH SCORE 1443492.889
AT ITER 7280 NEW BEST:: SOT 12471929 SOS 1825677 HAS SOPS 1825677 HAS SOUS 1441666 HAS SOUPS 1441666 WITH SCORE 1443491.677
AT ITER 7331 NEW BEST:: SOT 12471782 SOS 1825556 HAS SOPS 1825556 HAS SOUS 1441545 HAS SOUPS 1441545 WITH SCORE 1443370.556
AT ITER 7364 NEW BEST:: SOT 12471567 SOS 1825273 HAS SOPS 1825273 HAS SOUS 1441207 HAS SOUPS 1441207 WITH SCORE 1443032.273
AT ITER 7378 NEW BEST:: SOT 12471012 SOS 1825172 HAS SOPS 1825172 HAS SOUS 1441038 HAS SOUPS 1441038 WITH SCORE 1442863.172
AT ITER 7385 NEW BEST:: SOT 12470703 SOS 1824589 HAS SOPS 1824589 HAS SOUS 1439520 HAS SOUPS 1439520 WITH SCORE 1441344.589
AT ITER 7404 NEW BEST:: SOT 12470702 SOS 1824587 HAS SOPS 1824587 HAS SOUS 1439518 HAS SOUPS 1439518 WITH SCORE 1441342.587
AT ITER 7407 NEW BEST:: SOT 12470702 SOS 1824301 HAS SOPS 1824301 HAS SOUS 1439473 HAS SOUPS 1439473 WITH SCORE 1441297.301
AT ITER 7421 NEW BEST:: SOT 12470661 SOS 1824219 HAS SOPS 1824219 HAS SOUS 1439391 HAS SOUPS 1439391 WITH SCORE 1441215.219
AT ITER 7424 NEW BEST:: SOT 12470571 SOS 1824123 HAS SOPS 1824123 HAS SOUS 1439296 HAS SOUPS 1439296 WITH SCORE 1441120.123
AT ITER 7428 NEW BEST:: SOT 12470409 SOS 1823961 HAS SOPS 1823961 HAS SOUS 1439134 HAS SOUPS 1439134 WITH SCORE 1440957.961
AT ITER 7433 NEW BEST:: SOT 12470409 SOS 1823959 HAS SOPS 1823959 HAS SOUS 1439132 HAS SOUPS 1439132 WITH SCORE 1440955.959
AT ITER 7453 NEW BEST:: SOT 12470409 SOS 1823217 HAS SOPS 1823217 HAS SOUS 1439132 HAS SOUPS 1439132 WITH SCORE 1440955.217
AT ITER 7480 NEW BEST:: SOT 12470408 SOS 1823215 HAS SOPS 1823215 HAS SOUS 1439130 HAS SOUPS 1439130 WITH SCORE 1440953.215
AT ITER 7503 NEW BEST:: SOT 12470408 SOS 1823092 HAS SOPS 1823092 HAS SOUS 1439007 HAS SOUPS 1439007 WITH SCORE 1440830.092
AT ITER 7542 NEW BEST:: SOT 12470389 SOS 1823035 HAS SOPS 1823035 HAS SOUS 1438955 HAS SOUPS 1438955 WITH SCORE 1440778.035
AT ITER 7564 NEW BEST:: SOT 12470389 SOS 1822922 HAS SOPS 1822922 HAS SOUS 1438946 HAS SOUPS 1438946 WITH SCORE 1440768.922
AT ITER 7590 NEW BEST:: SOT 12469977 SOS 1822462 HAS SOPS 1822462 HAS SOUS 1438486 HAS SOUPS 1438486 WITH SCORE 1440308.462
AT ITER 7599 NEW BEST:: SOT 12469698 SOS 1822181 HAS SOPS 1822181 HAS SOUS 1438206 HAS SOUPS 1438206 WITH SCORE 1440028.181
AT ITER 7608 NEW BEST:: SOT 12469073 SOS 1822431 HAS SOPS 1822431 HAS SOUS 1437830 HAS SOUPS 1437830 WITH SCORE 1439652.431
AT ITER 7654 NEW BEST:: SOT 12469028 SOS 1822341 HAS SOPS 1822341 HAS SOUS 1437785 HAS SOUPS 1437785 WITH SCORE 1439607.341
AT ITER 7696 NEW BEST:: SOT 12468928 SOS 1822132 HAS SOPS 1822132 HAS SOUS 1437576 HAS SOUPS 1437576 WITH SCORE 1439398.132
AT ITER 7697 NEW BEST:: SOT 12468795 SOS 1821866 HAS SOPS 1821866 HAS SOUS 1437310 HAS SOUPS 1437310 WITH SCORE 1439131.866
AT ITER 7754 NEW BEST:: SOT 12468795 SOS 1821721 HAS SOPS 1821721 HAS SOUS 1437165 HAS SOUPS 1437165 WITH SCORE 1438986.721
AT ITER 7771 NEW BEST:: SOT 12468794 SOS 1821431 HAS SOPS 1821431 HAS SOUS 1437163 HAS SOUPS 1437163 WITH SCORE 1438984.431
AT ITER 7790 NEW BEST:: SOT 12468739 SOS 1820936 HAS SOPS 1820936 HAS SOUS 1437053 HAS SOUPS 1437053 WITH SCORE 1438873.936
AT ITER 7838 NEW BEST:: SOT 12468739 SOS 1821442 HAS SOPS 1821442 HAS SOUS 1437034 HAS SOUPS 1437034 WITH SCORE 1438855.442
AT ITER 7847 NEW BEST:: SOT 12468678 SOS 1821320 HAS SOPS 1821320 HAS SOUS 1436912 HAS SOUPS 1436912 WITH SCORE 1438733.32
AT ITER 7858 NEW BEST:: SOT 12468520 SOS 1821180 HAS SOPS 1821180 HAS SOUS 1436772 HAS SOUPS 1436772 WITH SCORE 1438593.18
AT ITER 7875 NEW BEST:: SOT 12468499 SOS 1821138 HAS SOPS 1821138 HAS SOUS 1436731 HAS SOUPS 1436731 WITH SCORE 1438552.138
AT ITER 7978 NEW BEST:: SOT 12468243 SOS 1820950 HAS SOPS 1820950 HAS SOUS 1436543 HAS SOUPS 1436543 WITH SCORE 1438363.95
AT ITER 8000 NEW BEST:: SOT 12468243 SOS 1821023 HAS SOPS 1821023 HAS SOUS 1436541 HAS SOUPS 1436541 WITH SCORE 1438362.023
AT ITER 8056 NEW BEST:: SOT 12468243 SOS 1820837 HAS SOPS 1820837 HAS SOUS 1436539 HAS SOUPS 1436539 WITH SCORE 1438359.837
AT ITER 8090 NEW BEST:: SOT 12468221 SOS 1820793 HAS SOPS 1820793 HAS SOUS 1436495 HAS SOUPS 1436495 WITH SCORE 1438315.793
AT ITER 8120 NEW BEST:: SOT 12468221 SOS 1820672 HAS SOPS 1820672 HAS SOUS 1436495 HAS SOUPS 1436495 WITH SCORE 1438315.672
AT ITER 8139 NEW BEST:: SOT 12468221 SOS 1820408 HAS SOPS 1820408 HAS SOUS 1436493 HAS SOUPS 1436493 WITH SCORE 1438313.408
AT ITER 8148 NEW BEST:: SOT 12468193 SOS 1820352 HAS SOPS 1820352 HAS SOUS 1436437 HAS SOUPS 1436437 WITH SCORE 1438257.352
AT ITER 8159 NEW BEST:: SOT 12468093 SOS 1820152 HAS SOPS 1820152 HAS SOUS 1435916 HAS SOUPS 1435916 WITH SCORE 1437736.152
AT ITER 8186 NEW BEST:: SOT 12468083 SOS 1820121 HAS SOPS 1820121 HAS SOUS 1435885 HAS SOUPS 1435885 WITH SCORE 1437705.121
AT ITER 8190 NEW BEST:: SOT 12467809 SOS 1819847 HAS SOPS 1819847 HAS SOUS 1435605 HAS SOUPS 1435605 WITH SCORE 1437424.847
AT ITER 8203 NEW BEST:: SOT 12467934 SOS 1823017 HAS SOPS 1823017 HAS SOUS 1435344 HAS SOUPS 1435344 WITH SCORE 1437167.017
AT ITER 8231 NEW BEST:: SOT 12467754 SOS 1823614 HAS SOPS 1823614 HAS SOUS 1435129 HAS SOUPS 1435129 WITH SCORE 1436952.614
AT ITER 8247 NEW BEST:: SOT 12467676 SOS 1823287 HAS SOPS 1823287 HAS SOUS 1435081 HAS SOUPS 1435081 WITH SCORE 1436904.287
AT ITER 8258 NEW BEST:: SOT 12467660 SOS 1823271 HAS SOPS 1823271 HAS SOUS 1435064 HAS SOUPS 1435064 WITH SCORE 1436887.271
AT ITER 8340 NEW BEST:: SOT 12467624 SOS 1823199 HAS SOPS 1823199 HAS SOUS 1434732 HAS SOUPS 1434732 WITH SCORE 1436555.199
AT ITER 8356 NEW BEST:: SOT 12467370 SOS 1826114 HAS SOPS 1826114 HAS SOUS 1434277 HAS SOUPS 1434277 WITH SCORE 1436103.114
AT ITER 8360 NEW BEST:: SOT 12467168 SOS 1825710 HAS SOPS 1825710 HAS SOUS 1433873 HAS SOUPS 1433873 WITH SCORE 1435698.71
AT ITER 8388 NEW BEST:: SOT 12466891 SOS 1825337 HAS SOPS 1825337 HAS SOUS 1433755 HAS SOUPS 1433755 WITH SCORE 1435580.337
AT ITER 8395 NEW BEST:: SOT 12466880 SOS 1825326 HAS SOPS 1825326 HAS SOUS 1433744 HAS SOUPS 1433744 WITH SCORE 1435569.326
AT ITER 8399 NEW BEST:: SOT 12466753 SOS 1825199 HAS SOPS 1825199 HAS SOUS 1433617 HAS SOUPS 1433617 WITH SCORE 1435442.199
AT ITER 8425 NEW BEST:: SOT 12466740 SOS 1826071 HAS SOPS 1826071 HAS SOUS 1433417 HAS SOUPS 1433417 WITH SCORE 1435243.071
AT ITER 8453 NEW BEST:: SOT 12466682 SOS 1825337 HAS SOPS 1825337 HAS SOUS 1433358 HAS SOUPS 1433358 WITH SCORE 1435183.337
AT ITER 8461 NEW BEST:: SOT 12466245 SOS 1825073 HAS SOPS 1825073 HAS SOUS 1432921 HAS SOUPS 1432921 WITH SCORE 1434746.073
AT ITER 8515 NEW BEST:: SOT 12466005 SOS 1824833 HAS SOPS 1824833 HAS SOUS 1432444 HAS SOUPS 1432444 WITH SCORE 1434268.833
AT ITER 8520 NEW BEST:: SOT 12466005 SOS 1824588 HAS SOPS 1824588 HAS SOUS 1432437 HAS SOUPS 1432437 WITH SCORE 1434261.588
AT ITER 8524 NEW BEST:: SOT 12465579 SOS 1823981 HAS SOPS 1823981 HAS SOUS 1431830 HAS SOUPS 1431830 WITH SCORE 1433653.981
AT ITER 8532 NEW BEST:: SOT 12465424 SOS 1823670 HAS SOPS 1823670 HAS SOUS 1431673 HAS SOUPS 1431673 WITH SCORE 1433496.67
AT ITER 8584 NEW BEST:: SOT 12465423 SOS 1823556 HAS SOPS 1823556 HAS SOUS 1431559 HAS SOUPS 1431559 WITH SCORE 1433382.556
AT ITER 8614 NEW BEST:: SOT 12463675 SOS 1826297 HAS SOPS 1826297 HAS SOUS 1430648 HAS SOUPS 1430648 WITH SCORE 1432474.297
AT ITER 8651 NEW BEST:: SOT 12463476 SOS 1826096 HAS SOPS 1826096 HAS SOUS 1429623 HAS SOUPS 1429623 WITH SCORE 1431449.096
AT ITER 8665 NEW BEST:: SOT 12463267 SOS 1825869 HAS SOPS 1825869 HAS SOUS 1429396 HAS SOUPS 1429396 WITH SCORE 1431221.869
AT ITER 8674 NEW BEST:: SOT 12463238 SOS 1825811 HAS SOPS 1825811 HAS SOUS 1429275 HAS SOUPS 1429275 WITH SCORE 1431100.811
AT ITER 8678 NEW BEST:: SOT 12462824 SOS 1825495 HAS SOPS 1825495 HAS SOUS 1429123 HAS SOUPS 1429123 WITH SCORE 1430948.495
AT ITER 8714 NEW BEST:: SOT 12462824 SOS 1825373 HAS SOPS 1825373 HAS SOUS 1429123 HAS SOUPS 1429123 WITH SCORE 1430948.373
AT ITER 8726 NEW BEST:: SOT 12462975 SOS 1825304 HAS SOPS 1825304 HAS SOUS 1428918 HAS SOUPS 1428918 WITH SCORE 1430743.304
AT ITER 8767 NEW BEST:: SOT 12462788 SOS 1825100 HAS SOPS 1825100 HAS SOUS 1428714 HAS SOUPS 1428714 WITH SCORE 1430539.1
AT ITER 8800 NEW BEST:: SOT 12462787 SOS 1825058 HAS SOPS 1825058 HAS SOUS 1428712 HAS SOUPS 1428712 WITH SCORE 1430537.058
AT ITER 8808 NEW BEST:: SOT 12462787 SOS 1824915 HAS SOPS 1824915 HAS SOUS 1428711 HAS SOUPS 1428711 WITH SCORE 1430535.915
AT ITER 8883 NEW BEST:: SOT 12462608 SOS 1824706 HAS SOPS 1824706 HAS SOUS 1427800 HAS SOUPS 1427800 WITH SCORE 1429624.706
AT ITER 8898 NEW BEST:: SOT 12462635 SOS 1822286 HAS SOPS 1822286 HAS SOUS 1427647 HAS SOUPS 1427647 WITH SCORE 1429469.286
AT ITER 8928 NEW BEST:: SOT 12462612 SOS 1822266 HAS SOPS 1822266 HAS SOUS 1427624 HAS SOUPS 1427624 WITH SCORE 1429446.266
AT ITER 8940 NEW BEST:: SOT 12462198 SOS 1821207 HAS SOPS 1821207 HAS SOUS 1427116 HAS SOUPS 1427116 WITH SCORE 1428937.207
AT ITER 8953 NEW BEST:: SOT 12462198 SOS 1821124 HAS SOPS 1821124 HAS SOUS 1427033 HAS SOUPS 1427033 WITH SCORE 1428854.124
AT ITER 8954 NEW BEST:: SOT 12462140 SOS 1821060 HAS SOPS 1821060 HAS SOUS 1425929 HAS SOUPS 1425929 WITH SCORE 1427750.06
AT ITER 8956 NEW BEST:: SOT 12462115 SOS 1823212 HAS SOPS 1823212 HAS SOUS 1423393 HAS SOUPS 1423393 WITH SCORE 1425216.212
AT ITER 8969 NEW BEST:: SOT 12462114 SOS 1823210 HAS SOPS 1823210 HAS SOUS 1423391 HAS SOUPS 1423391 WITH SCORE 1425214.21
AT ITER 8976 NEW BEST:: SOT 12462114 SOS 1823307 HAS SOPS 1823307 HAS SOUS 1423389 HAS SOUPS 1423389 WITH SCORE 1425212.307
AT ITER 8978 NEW BEST:: SOT 12462068 SOS 1822978 HAS SOPS 1822978 HAS SOUS 1423167 HAS SOUPS 1423167 WITH SCORE 1424989.978
AT ITER 9070 NEW BEST:: SOT 12462033 SOS 1822536 HAS SOPS 1822536 HAS SOUS 1423096 HAS SOUPS 1423096 WITH SCORE 1424918.536
AT ITER 9133 NEW BEST:: SOT 12461763 SOS 1822643 HAS SOPS 1822643 HAS SOUS 1422933 HAS SOUPS 1422933 WITH SCORE 1424755.643
AT ITER 9146 NEW BEST:: SOT 12461685 SOS 1822225 HAS SOPS 1822225 HAS SOUS 1422777 HAS SOUPS 1422777 WITH SCORE 1424599.225
AT ITER 9173 NEW BEST:: SOT 12461485 SOS 1821997 HAS SOPS 1821997 HAS SOUS 1421164 HAS SOUPS 1421164 WITH SCORE 1422985.997
AT ITER 9195 NEW BEST:: SOT 12461485 SOS 1821944 HAS SOPS 1821944 HAS SOUS 1421164 HAS SOUPS 1421164 WITH SCORE 1422985.944
AT ITER 9206 NEW BEST:: SOT 12461386 SOS 1821845 HAS SOPS 1821845 HAS SOUS 1421065 HAS SOUPS 1421065 WITH SCORE 1422886.845
AT ITER 9210 NEW BEST:: SOT 12460612 SOS 1821450 HAS SOPS 1821450 HAS SOUS 1420669 HAS SOUPS 1420669 WITH SCORE 1422490.45
AT ITER 9237 NEW BEST:: SOT 12460634 SOS 1820981 HAS SOPS 1820981 HAS SOUS 1420200 HAS SOUPS 1420200 WITH SCORE 1422020.981
AT ITER 9253 NEW BEST:: SOT 12460620 SOS 1820969 HAS SOPS 1820969 HAS SOUS 1420188 HAS SOUPS 1420188 WITH SCORE 1422008.969
AT ITER 9261 NEW BEST:: SOT 12460594 SOS 1820917 HAS SOPS 1820917 HAS SOUS 1420136 HAS SOUPS 1420136 WITH SCORE 1421956.917
AT ITER 9262 NEW BEST:: SOT 12460594 SOS 1820800 HAS SOPS 1820800 HAS SOUS 1420019 HAS SOUPS 1420019 WITH SCORE 1421839.8
AT ITER 9272 NEW BEST:: SOT 12460594 SOS 1820593 HAS SOPS 1820593 HAS SOUS 1420018 HAS SOUPS 1420018 WITH SCORE 1421838.593
AT ITER 9285 NEW BEST:: SOT 12460593 SOS 1820555 HAS SOPS 1820555 HAS SOUS 1419980 HAS SOUPS 1419980 WITH SCORE 1421800.555
AT ITER 9290 NEW BEST:: SOT 12460592 SOS 1820553 HAS SOPS 1820553 HAS SOUS 1419978 HAS SOUPS 1419978 WITH SCORE 1421798.553
AT ITER 9302 NEW BEST:: SOT 12460592 SOS 1820553 HAS SOPS 1820553 HAS SOUS 1419969 HAS SOUPS 1419969 WITH SCORE 1421789.553
AT ITER 9328 NEW BEST:: SOT 12460586 SOS 1820541 HAS SOPS 1820541 HAS SOUS 1419962 HAS SOUPS 1419962 WITH SCORE 1421782.541
AT ITER 9364 NEW BEST:: SOT 12462063 SOS 1822253 HAS SOPS 1822253 HAS SOUS 1419541 HAS SOUPS 1419541 WITH SCORE 1421363.253
AT ITER 9409 NEW BEST:: SOT 12462063 SOS 1822253 HAS SOPS 1822253 HAS SOUS 1419540 HAS SOUPS 1419540 WITH SCORE 1421362.253
AT ITER 9489 NEW BEST:: SOT 12462063 SOS 1822197 HAS SOPS 1822197 HAS SOUS 1419484 HAS SOUPS 1419484 WITH SCORE 1421306.197
AT ITER 9499 NEW BEST:: SOT 12462063 SOS 1822197 HAS SOPS 1822197 HAS SOUS 1419481 HAS SOUPS 1419481 WITH SCORE 1421303.197
AT ITER 9558 NEW BEST:: SOT 12461615 SOS 1821501 HAS SOPS 1821501 HAS SOUS 1418809 HAS SOUPS 1418809 WITH SCORE 1420630.501
AT ITER 9565 NEW BEST:: SOT 12461599 SOS 1821475 HAS SOPS 1821475 HAS SOUS 1418793 HAS SOUPS 1418793 WITH SCORE 1420614.475
AT ITER 9661 NEW BEST:: SOT 12461496 SOS 1821104 HAS SOPS 1821104 HAS SOUS 1418586 HAS SOUPS 1418586 WITH SCORE 1420407.104
AT ITER 9662 NEW BEST:: SOT 12462190 SOS 1822641 HAS SOPS 1822641 HAS SOUS 1416813 HAS SOUPS 1416813 WITH SCORE 1418635.641
AT ITER 9691 NEW BEST:: SOT 12462234 SOS 1822575 HAS SOPS 1822575 HAS SOUS 1416750 HAS SOUPS 1416750 WITH SCORE 1418572.575
AT ITER 9727 NEW BEST:: SOT 12462037 SOS 1822145 HAS SOPS 1822145 HAS SOUS 1416409 HAS SOUPS 1416409 WITH SCORE 1418231.145
AT ITER 9734 NEW BEST:: SOT 12461851 SOS 1822116 HAS SOPS 1822116 HAS SOUS 1416409 HAS SOUPS 1416409 WITH SCORE 1418231.116
AT ITER 9740 NEW BEST:: SOT 12461843 SOS 1822100 HAS SOPS 1822100 HAS SOUS 1416397 HAS SOUPS 1416397 WITH SCORE 1418219.1
AT ITER 9759 NEW BEST:: SOT 12461658 SOS 1822894 HAS SOPS 1822894 HAS SOUS 1415994 HAS SOUPS 1415994 WITH SCORE 1417816.894
AT ITER 9769 NEW BEST:: SOT 12460996 SOS 1822232 HAS SOPS 1822232 HAS SOUS 1415332 HAS SOUPS 1415332 WITH SCORE 1417154.232
AT ITER 9774 NEW BEST:: SOT 12460745 SOS 1821730 HAS SOPS 1821730 HAS SOUS 1414830 HAS SOUPS 1414830 WITH SCORE 1416651.73
AT ITER 9780 NEW BEST:: SOT 12460745 SOS 1821371 HAS SOPS 1821371 HAS SOUS 1414471 HAS SOUPS 1414471 WITH SCORE 1416292.371
AT ITER 9786 NEW BEST:: SOT 12460735 SOS 1821374 HAS SOPS 1821374 HAS SOUS 1414290 HAS SOUPS 1414290 WITH SCORE 1416111.374
AT ITER 9789 NEW BEST:: SOT 12460735 SOS 1820752 HAS SOPS 1820752 HAS SOUS 1413894 HAS SOUPS 1413894 WITH SCORE 1415714.752
AT ITER 9828 NEW BEST:: SOT 12460696 SOS 1820644 HAS SOPS 1820644 HAS SOUS 1413856 HAS SOUPS 1413856 WITH SCORE 1415676.644
AT ITER 9857 NEW BEST:: SOT 12460385 SOS 1820320 HAS SOPS 1820320 HAS SOUS 1413253 HAS SOUPS 1413253 WITH SCORE 1415073.32
AT ITER 9870 NEW BEST:: SOT 12459481 SOS 1819190 HAS SOPS 1819190 HAS SOUS 1412123 HAS SOUPS 1412123 WITH SCORE 1413942.19
AT ITER 9899 NEW BEST:: SOT 12459252 SOS 1818961 HAS SOPS 1818961 HAS SOUS 1411711 HAS SOUPS 1411711 WITH SCORE 1413529.961
AT ITER 9936 NEW BEST:: SOT 12458268 SOS 1818122 HAS SOPS 1818122 HAS SOUS 1410867 HAS SOUPS 1410867 WITH SCORE 1412685.122
AT ITER 9945 NEW BEST:: SOT 12457298 SOS 1817147 HAS SOPS 1817147 HAS SOUS 1410830 HAS SOUPS 1410830 WITH SCORE 1412647.147

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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