Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033539000580.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S16D2C4A02, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033539000580
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.3M
-rw-r--r-- 1 mcc users 4.6K May 14 05:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 05:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 23:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 23:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.4K May 13 16:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 16:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K May 13 12:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 12:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 6.1M May 12 20:42 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 ViralEpidemic-PT-S16D2C4A02-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590476991028

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S16D2C4A02
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 4915 places, 9009 transitions, 22113 arcs.
AT ITER 0 NEW BEST:: SOT 25141931 SOS 21887705 HAS SOPS 21887705 HAS SOUS 1907210 HAS SOUPS 1907210 WITH SCORE 1929097.705
AT ITER 71 NEW BEST:: SOT 25138125 SOS 21855344 HAS SOPS 21855344 HAS SOUS 1907200 HAS SOUPS 1907200 WITH SCORE 1929055.344
AT ITER 92 NEW BEST:: SOT 25134797 SOS 21827041 HAS SOPS 21827041 HAS SOUS 1907183 HAS SOUPS 1907183 WITH SCORE 1929010.041
AT ITER 94 NEW BEST:: SOT 25133341 SOS 21814657 HAS SOPS 21814657 HAS SOUS 1907175 HAS SOUPS 1907175 WITH SCORE 1928989.657
AT ITER 98 NEW BEST:: SOT 25130989 SOS 21794664 HAS SOPS 21794664 HAS SOUS 1907174 HAS SOUPS 1907174 WITH SCORE 1928968.664
AT ITER 141 NEW BEST:: SOT 25129007 SOS 21777815 HAS SOPS 21777815 HAS SOUS 1907172 HAS SOUPS 1907172 WITH SCORE 1928949.815
AT ITER 145 NEW BEST:: SOT 25125491 SOS 21747923 HAS SOPS 21747923 HAS SOUS 1907166 HAS SOUPS 1907166 WITH SCORE 1928913.923
AT ITER 168 NEW BEST:: SOT 25124899 SOS 21742888 HAS SOPS 21742888 HAS SOUS 1907163 HAS SOUPS 1907163 WITH SCORE 1928905.888
AT ITER 204 NEW BEST:: SOT 25123501 SOS 21730998 HAS SOPS 21730998 HAS SOUS 1907156 HAS SOUPS 1907156 WITH SCORE 1928886.998
AT ITER 218 NEW BEST:: SOT 25119267 SOS 21695006 HAS SOPS 21695006 HAS SOUS 1907153 HAS SOUPS 1907153 WITH SCORE 1928848.006
AT ITER 223 NEW BEST:: SOT 25118681 SOS 21690023 HAS SOPS 21690023 HAS SOUS 1907151 HAS SOUPS 1907151 WITH SCORE 1928841.023
AT ITER 261 NEW BEST:: SOT 25115049 SOS 21657335 HAS SOPS 21657335 HAS SOUS 1905335 HAS SOUPS 1905335 WITH SCORE 1926992.335
AT ITER 279 NEW BEST:: SOT 25113605 SOS 21645054 HAS SOPS 21645054 HAS SOUS 1905328 HAS SOUPS 1905328 WITH SCORE 1926973.054
AT ITER 299 NEW BEST:: SOT 25109471 SOS 21609900 HAS SOPS 21609900 HAS SOUS 1905311 HAS SOUPS 1905311 WITH SCORE 1926920.9
AT ITER 304 NEW BEST:: SOT 25106923 SOS 21586460 HAS SOPS 21586460 HAS SOUS 1904219 HAS SOUPS 1904219 WITH SCORE 1925805.46
AT ITER 311 NEW BEST:: SOT 25101303 SOS 21538687 HAS SOPS 21538687 HAS SOUS 1904216 HAS SOUPS 1904216 WITH SCORE 1925754.687
AT ITER 324 NEW BEST:: SOT 25099323 SOS 21521856 HAS SOPS 21521856 HAS SOUS 1904215 HAS SOUPS 1904215 WITH SCORE 1925736.856
AT ITER 342 NEW BEST:: SOT 25097044 SOS 21500344 HAS SOPS 21500344 HAS SOUS 1903387 HAS SOUPS 1903387 WITH SCORE 1924887.344
AT ITER 361 NEW BEST:: SOT 25094825 SOS 21480062 HAS SOPS 21480062 HAS SOUS 1902454 HAS SOUPS 1902454 WITH SCORE 1923934.062
AT ITER 373 NEW BEST:: SOT 25092829 SOS 21463082 HAS SOPS 21463082 HAS SOUS 1902440 HAS SOUPS 1902440 WITH SCORE 1923903.082
AT ITER 425 NEW BEST:: SOT 25090175 SOS 21440508 HAS SOPS 21440508 HAS SOUS 1902423 HAS SOUPS 1902423 WITH SCORE 1923863.508
AT ITER 430 NEW BEST:: SOT 25088388 SOS 21423994 HAS SOPS 21423994 HAS SOUS 1901826 HAS SOUPS 1901826 WITH SCORE 1923249.994
AT ITER 436 NEW BEST:: SOT 25086802 SOS 21410500 HAS SOPS 21410500 HAS SOUS 1901813 HAS SOUPS 1901813 WITH SCORE 1923223.5
AT ITER 451 NEW BEST:: SOT 25079126 SOS 21345242 HAS SOPS 21345242 HAS SOUS 1901801 HAS SOUPS 1901801 WITH SCORE 1923146.242
AT ITER 478 NEW BEST:: SOT 25076784 SOS 21325324 HAS SOPS 21325324 HAS SOUS 1901790 HAS SOUPS 1901790 WITH SCORE 1923115.324
AT ITER 511 NEW BEST:: SOT 25074316 SOS 21304337 HAS SOPS 21304337 HAS SOUS 1901781 HAS SOUPS 1901781 WITH SCORE 1923085.337
AT ITER 522 NEW BEST:: SOT 25073447 SOS 21291791 HAS SOPS 21291791 HAS SOUS 1901682 HAS SOUPS 1901682 WITH SCORE 1922973.791
AT ITER 537 NEW BEST:: SOT 25069711 SOS 21260023 HAS SOPS 21260023 HAS SOUS 1901670 HAS SOUPS 1901670 WITH SCORE 1922930.023
AT ITER 543 NEW BEST:: SOT 25068703 SOS 21251327 HAS SOPS 21251327 HAS SOUS 1901677 HAS SOUPS 1901677 WITH SCORE 1922928.327
AT ITER 551 NEW BEST:: SOT 25067177 SOS 21238350 HAS SOPS 21238350 HAS SOUS 1901671 HAS SOUPS 1901671 WITH SCORE 1922909.35
AT ITER 555 NEW BEST:: SOT 25064757 SOS 21217779 HAS SOPS 21217779 HAS SOUS 1901670 HAS SOUPS 1901670 WITH SCORE 1922887.779
AT ITER 616 NEW BEST:: SOT 25059287 SOS 21171281 HAS SOPS 21171281 HAS SOUS 1901667 HAS SOUPS 1901667 WITH SCORE 1922838.281
AT ITER 623 NEW BEST:: SOT 25056167 SOS 21144760 HAS SOPS 21144760 HAS SOUS 1901666 HAS SOUPS 1901666 WITH SCORE 1922810.76
AT ITER 655 NEW BEST:: SOT 25052104 SOS 21107384 HAS SOPS 21107384 HAS SOUS 1899913 HAS SOUPS 1899913 WITH SCORE 1921020.384
AT ITER 674 NEW BEST:: SOT 25049954 SOS 21089096 HAS SOPS 21089096 HAS SOUS 1899900 HAS SOUPS 1899900 WITH SCORE 1920989.096
AT ITER 689 NEW BEST:: SOT 25046644 SOS 21060953 HAS SOPS 21060953 HAS SOUS 1899892 HAS SOUPS 1899892 WITH SCORE 1920952.953
AT ITER 699 NEW BEST:: SOT 25044852 SOS 21045717 HAS SOPS 21045717 HAS SOUS 1899888 HAS SOUPS 1899888 WITH SCORE 1920933.717
AT ITER 717 NEW BEST:: SOT 25043458 SOS 21033853 HAS SOPS 21033853 HAS SOUS 1899871 HAS SOUPS 1899871 WITH SCORE 1920904.853
AT ITER 739 NEW BEST:: SOT 25042340 SOS 21024345 HAS SOPS 21024345 HAS SOUS 1899866 HAS SOUPS 1899866 WITH SCORE 1920890.345
AT ITER 743 NEW BEST:: SOT 25041802 SOS 21019766 HAS SOPS 21019766 HAS SOUS 1899860 HAS SOUPS 1899860 WITH SCORE 1920879.766
AT ITER 771 NEW BEST:: SOT 25041802 SOS 21019756 HAS SOPS 21019756 HAS SOUS 1899850 HAS SOUPS 1899850 WITH SCORE 1920869.756
AT ITER 773 NEW BEST:: SOT 25040612 SOS 21009633 HAS SOPS 21009633 HAS SOUS 1899842 HAS SOUPS 1899842 WITH SCORE 1920851.633
AT ITER 779 NEW BEST:: SOT 25038800 SOS 20993325 HAS SOPS 20993325 HAS SOUS 1898936 HAS SOUPS 1898936 WITH SCORE 1919929.325
AT ITER 802 NEW BEST:: SOT 25036727 SOS 20974395 HAS SOPS 20974395 HAS SOUS 1898264 HAS SOUPS 1898264 WITH SCORE 1919238.395
AT ITER 836 NEW BEST:: SOT 25031821 SOS 20932690 HAS SOPS 20932690 HAS SOUS 1898260 HAS SOUPS 1898260 WITH SCORE 1919192.69
AT ITER 846 NEW BEST:: SOT 25028171 SOS 20901661 HAS SOPS 20901661 HAS SOUS 1898256 HAS SOUPS 1898256 WITH SCORE 1919157.661
AT ITER 860 NEW BEST:: SOT 25023509 SOS 20862021 HAS SOPS 20862021 HAS SOUS 1898243 HAS SOUPS 1898243 WITH SCORE 1919105.021
AT ITER 861 NEW BEST:: SOT 25021357 SOS 20842653 HAS SOPS 20842653 HAS SOUS 1897167 HAS SOUPS 1897167 WITH SCORE 1918009.653
AT ITER 862 NEW BEST:: SOT 25019207 SOS 20822402 HAS SOPS 20822402 HAS SOUS 1896211 HAS SOUPS 1896211 WITH SCORE 1917033.402
AT ITER 877 NEW BEST:: SOT 25014447 SOS 20781933 HAS SOPS 20781933 HAS SOUS 1896202 HAS SOUPS 1896202 WITH SCORE 1916983.933
AT ITER 878 NEW BEST:: SOT 25013843 SOS 20776784 HAS SOPS 20776784 HAS SOUS 1896185 HAS SOUPS 1896185 WITH SCORE 1916961.784
AT ITER 931 NEW BEST:: SOT 25009551 SOS 20740290 HAS SOPS 20740290 HAS SOUS 1896173 HAS SOUPS 1896173 WITH SCORE 1916913.29
AT ITER 932 NEW BEST:: SOT 25009454 SOS 20740096 HAS SOPS 20740096 HAS SOUS 1896076 HAS SOUPS 1896076 WITH SCORE 1916816.096
AT ITER 936 NEW BEST:: SOT 25003136 SOS 20686390 HAS SOPS 20686390 HAS SOUS 1896073 HAS SOUPS 1896073 WITH SCORE 1916759.39
AT ITER 946 NEW BEST:: SOT 25002228 SOS 20678660 HAS SOPS 20678660 HAS SOUS 1896061 HAS SOUPS 1896061 WITH SCORE 1916739.66
AT ITER 963 NEW BEST:: SOT 24997712 SOS 20640265 HAS SOPS 20640265 HAS SOUS 1896052 HAS SOUPS 1896052 WITH SCORE 1916692.265
AT ITER 965 NEW BEST:: SOT 24997584 SOS 20639177 HAS SOPS 20639177 HAS SOUS 1896052 HAS SOUPS 1896052 WITH SCORE 1916691.177
AT ITER 966 NEW BEST:: SOT 24995061 SOS 20615434 HAS SOPS 20615434 HAS SOUS 1894993 HAS SOUPS 1894993 WITH SCORE 1915608.434
AT ITER 971 NEW BEST:: SOT 24991869 SOS 20588302 HAS SOPS 20588302 HAS SOUS 1894993 HAS SOUPS 1894993 WITH SCORE 1915581.302
AT ITER 981 NEW BEST:: SOT 24986947 SOS 20546458 HAS SOPS 20546458 HAS SOUS 1894986 HAS SOUPS 1894986 WITH SCORE 1915532.458
AT ITER 982 NEW BEST:: SOT 24984829 SOS 20528443 HAS SOPS 20528443 HAS SOUS 1894974 HAS SOUPS 1894974 WITH SCORE 1915502.443
AT ITER 993 NEW BEST:: SOT 24982411 SOS 20507879 HAS SOPS 20507879 HAS SOUS 1894963 HAS SOUPS 1894963 WITH SCORE 1915470.879
AT ITER 1026 NEW BEST:: SOT 24974499 SOS 20440618 HAS SOPS 20440618 HAS SOUS 1894954 HAS SOUPS 1894954 WITH SCORE 1915394.618
AT ITER 1070 NEW BEST:: SOT 24972525 SOS 20423834 HAS SOPS 20423834 HAS SOUS 1894949 HAS SOUPS 1894949 WITH SCORE 1915372.834
AT ITER 1086 NEW BEST:: SOT 24971379 SOS 20413520 HAS SOPS 20413520 HAS SOUS 1894376 HAS SOUPS 1894376 WITH SCORE 1914789.52
AT ITER 1088 NEW BEST:: SOT 24971379 SOS 20412407 HAS SOPS 20412407 HAS SOUS 1893263 HAS SOUPS 1893263 WITH SCORE 1913675.407
AT ITER 1095 NEW BEST:: SOT 24968889 SOS 20389707 HAS SOPS 20389707 HAS SOUS 1892268 HAS SOUPS 1892268 WITH SCORE 1912657.707
AT ITER 1105 NEW BEST:: SOT 24965964 SOS 20362806 HAS SOPS 20362806 HAS SOUS 1891180 HAS SOUPS 1891180 WITH SCORE 1911542.806
AT ITER 1106 NEW BEST:: SOT 24963416 SOS 20341133 HAS SOPS 20341133 HAS SOUS 1891163 HAS SOUPS 1891163 WITH SCORE 1911504.133
AT ITER 1178 NEW BEST:: SOT 24960426 SOS 20315706 HAS SOPS 20315706 HAS SOUS 1891151 HAS SOUPS 1891151 WITH SCORE 1911466.706
AT ITER 1189 NEW BEST:: SOT 24957124 SOS 20287630 HAS SOPS 20287630 HAS SOUS 1891142 HAS SOUPS 1891142 WITH SCORE 1911429.63
AT ITER 1190 NEW BEST:: SOT 24952502 SOS 20248339 HAS SOPS 20248339 HAS SOUS 1891138 HAS SOUPS 1891138 WITH SCORE 1911386.339
AT ITER 1194 NEW BEST:: SOT 24949595 SOS 20221263 HAS SOPS 20221263 HAS SOUS 1889754 HAS SOUPS 1889754 WITH SCORE 1909975.263
AT ITER 1208 NEW BEST:: SOT 24944567 SOS 20176067 HAS SOPS 20176067 HAS SOUS 1887296 HAS SOUPS 1887296 WITH SCORE 1907472.067
AT ITER 1219 NEW BEST:: SOT 24943509 SOS 20167072 HAS SOPS 20167072 HAS SOUS 1887294 HAS SOUPS 1887294 WITH SCORE 1907461.072
AT ITER 1242 NEW BEST:: SOT 24932983 SOS 20095792 HAS SOPS 20095792 HAS SOUS 1885362 HAS SOUPS 1885362 WITH SCORE 1905457.792
AT ITER 1270 NEW BEST:: SOT 24932595 SOS 20092482 HAS SOPS 20092482 HAS SOUS 1885350 HAS SOUPS 1885350 WITH SCORE 1905442.482
AT ITER 1314 NEW BEST:: SOT 24930829 SOS 20075961 HAS SOPS 20075961 HAS SOUS 1884663 HAS SOUPS 1884663 WITH SCORE 1904738.961
AT ITER 1322 NEW BEST:: SOT 24930829 SOS 20075957 HAS SOPS 20075957 HAS SOUS 1884659 HAS SOUPS 1884659 WITH SCORE 1904734.957
AT ITER 1330 NEW BEST:: SOT 24929005 SOS 20059729 HAS SOPS 20059729 HAS SOUS 1883935 HAS SOUPS 1883935 WITH SCORE 1903994.729
AT ITER 1337 NEW BEST:: SOT 24925401 SOS 20026465 HAS SOPS 20026465 HAS SOUS 1882430 HAS SOUPS 1882430 WITH SCORE 1902456.465
AT ITER 1368 NEW BEST:: SOT 24923427 SOS 20009685 HAS SOPS 20009685 HAS SOUS 1882429 HAS SOUPS 1882429 WITH SCORE 1902438.685
AT ITER 1377 NEW BEST:: SOT 24919041 SOS 19972392 HAS SOPS 19972392 HAS SOUS 1882417 HAS SOUPS 1882417 WITH SCORE 1902389.392
AT ITER 1378 NEW BEST:: SOT 24915989 SOS 19946441 HAS SOPS 19946441 HAS SOUS 1882408 HAS SOUPS 1882408 WITH SCORE 1902354.441
AT ITER 1400 NEW BEST:: SOT 24914721 SOS 19927686 HAS SOPS 19927686 HAS SOUS 1882321 HAS SOUPS 1882321 WITH SCORE 1902248.686
AT ITER 1404 NEW BEST:: SOT 24911705 SOS 19902035 HAS SOPS 19902035 HAS SOUS 1882304 HAS SOUPS 1882304 WITH SCORE 1902206.035
AT ITER 1408 NEW BEST:: SOT 24911530 SOS 19901685 HAS SOPS 19901685 HAS SOUS 1882129 HAS SOUPS 1882129 WITH SCORE 1902030.685
AT ITER 1409 NEW BEST:: SOT 24911490 SOS 19901345 HAS SOPS 19901345 HAS SOUS 1882129 HAS SOUPS 1882129 WITH SCORE 1902030.345
AT ITER 1419 NEW BEST:: SOT 24911276 SOS 19900735 HAS SOPS 19900735 HAS SOUS 1881733 HAS SOUPS 1881733 WITH SCORE 1901633.735
AT ITER 1459 NEW BEST:: SOT 24908308 SOS 19875495 HAS SOPS 19875495 HAS SOUS 1881721 HAS SOUPS 1881721 WITH SCORE 1901596.495
AT ITER 1465 NEW BEST:: SOT 24904650 SOS 19842573 HAS SOPS 19842573 HAS SOUS 1879890 HAS SOUPS 1879890 WITH SCORE 1899732.573
AT ITER 1536 NEW BEST:: SOT 24903416 SOS 19832080 HAS SOPS 19832080 HAS SOUS 1879886 HAS SOUPS 1879886 WITH SCORE 1899718.08
AT ITER 1563 NEW BEST:: SOT 24901447 SOS 19813649 HAS SOPS 19813649 HAS SOUS 1879309 HAS SOUPS 1879309 WITH SCORE 1899122.649
AT ITER 1580 NEW BEST:: SOT 24898503 SOS 19786026 HAS SOPS 19786026 HAS SOUS 1877955 HAS SOUPS 1877955 WITH SCORE 1897741.026
AT ITER 1588 NEW BEST:: SOT 24897275 SOS 19775579 HAS SOPS 19775579 HAS SOUS 1877946 HAS SOUPS 1877946 WITH SCORE 1897721.579
AT ITER 1637 NEW BEST:: SOT 24893489 SOS 19743390 HAS SOPS 19743390 HAS SOUS 1877938 HAS SOUPS 1877938 WITH SCORE 1897681.39
AT ITER 1642 NEW BEST:: SOT 24890865 SOS 19719774 HAS SOPS 19719774 HAS SOUS 1876624 HAS SOUPS 1876624 WITH SCORE 1896343.774
AT ITER 1651 NEW BEST:: SOT 24890865 SOS 19719769 HAS SOPS 19719769 HAS SOUS 1876619 HAS SOUPS 1876619 WITH SCORE 1896338.769
AT ITER 1662 NEW BEST:: SOT 24889415 SOS 19706719 HAS SOPS 19706719 HAS SOUS 1875890 HAS SOUPS 1875890 WITH SCORE 1895596.719
AT ITER 1673 NEW BEST:: SOT 24887927 SOS 19694064 HAS SOPS 19694064 HAS SOUS 1875883 HAS SOUPS 1875883 WITH SCORE 1895577.064
AT ITER 1694 NEW BEST:: SOT 24886055 SOS 19678139 HAS SOPS 19678139 HAS SOUS 1875870 HAS SOUPS 1875870 WITH SCORE 1895548.139
AT ITER 1714 NEW BEST:: SOT 24884447 SOS 19663667 HAS SOPS 19663667 HAS SOUS 1875066 HAS SOUPS 1875066 WITH SCORE 1894729.667
AT ITER 1729 NEW BEST:: SOT 24881132 SOS 19632448 HAS SOPS 19632448 HAS SOUS 1873817 HAS SOUPS 1873817 WITH SCORE 1893449.448
AT ITER 1732 NEW BEST:: SOT 24873384 SOS 19566588 HAS SOPS 19566588 HAS SOUS 1873815 HAS SOUPS 1873815 WITH SCORE 1893381.588
AT ITER 1737 NEW BEST:: SOT 24872792 SOS 19561260 HAS SOPS 19561260 HAS SOUS 1873519 HAS SOUPS 1873519 WITH SCORE 1893080.26
AT ITER 1744 NEW BEST:: SOT 24871450 SOS 19549182 HAS SOPS 19549182 HAS SOUS 1872848 HAS SOUPS 1872848 WITH SCORE 1892397.182
AT ITER 1755 NEW BEST:: SOT 24869518 SOS 19531469 HAS SOPS 19531469 HAS SOUS 1871977 HAS SOUPS 1871977 WITH SCORE 1891508.469
AT ITER 1763 NEW BEST:: SOT 24867382 SOS 19513302 HAS SOPS 19513302 HAS SOUS 1871966 HAS SOUPS 1871966 WITH SCORE 1891479.302
AT ITER 1764 NEW BEST:: SOT 24861736 SOS 19465306 HAS SOPS 19465306 HAS SOUS 1871961 HAS SOUPS 1871961 WITH SCORE 1891426.306
AT ITER 1770 NEW BEST:: SOT 24861736 SOS 19465300 HAS SOPS 19465300 HAS SOUS 1871955 HAS SOUPS 1871955 WITH SCORE 1891420.3
AT ITER 1777 NEW BEST:: SOT 24860822 SOS 19457522 HAS SOPS 19457522 HAS SOUS 1871946 HAS SOUPS 1871946 WITH SCORE 1891403.522
AT ITER 1787 NEW BEST:: SOT 24860237 SOS 19451824 HAS SOPS 19451824 HAS SOUS 1871708 HAS SOUPS 1871708 WITH SCORE 1891159.824
AT ITER 1822 NEW BEST:: SOT 24858203 SOS 19433551 HAS SOPS 19433551 HAS SOUS 1870724 HAS SOUPS 1870724 WITH SCORE 1890157.551
AT ITER 1829 NEW BEST:: SOT 24854743 SOS 19402411 HAS SOPS 19402411 HAS SOUS 1868994 HAS SOUPS 1868994 WITH SCORE 1888396.411
AT ITER 1859 NEW BEST:: SOT 24854743 SOS 19402406 HAS SOPS 19402406 HAS SOUS 1868989 HAS SOUPS 1868989 WITH SCORE 1888391.406
AT ITER 1866 NEW BEST:: SOT 24853681 SOS 19393364 HAS SOPS 19393364 HAS SOUS 1868972 HAS SOUPS 1868972 WITH SCORE 1888365.364
AT ITER 1879 NEW BEST:: SOT 24850381 SOS 19365312 HAS SOPS 19365312 HAS SOUS 1868970 HAS SOUPS 1868970 WITH SCORE 1888335.312
AT ITER 1918 NEW BEST:: SOT 24849231 SOS 19354962 HAS SOPS 19354962 HAS SOUS 1868395 HAS SOUPS 1868395 WITH SCORE 1887749.962
AT ITER 1947 NEW BEST:: SOT 24848433 SOS 19348167 HAS SOPS 19348167 HAS SOUS 1868383 HAS SOUPS 1868383 WITH SCORE 1887731.167
AT ITER 1950 NEW BEST:: SOT 24845439 SOS 19322710 HAS SOPS 19322710 HAS SOUS 1868375 HAS SOUPS 1868375 WITH SCORE 1887697.71
AT ITER 1967 NEW BEST:: SOT 24843635 SOS 19296386 HAS SOPS 19296386 HAS SOUS 1868215 HAS SOUPS 1868215 WITH SCORE 1887511.386
AT ITER 1971 NEW BEST:: SOT 24839029 SOS 19257226 HAS SOPS 19257226 HAS SOUS 1868206 HAS SOUPS 1868206 WITH SCORE 1887463.226
AT ITER 2016 NEW BEST:: SOT 24836969 SOS 19239712 HAS SOPS 19239712 HAS SOUS 1868202 HAS SOUPS 1868202 WITH SCORE 1887441.712
AT ITER 2042 NEW BEST:: SOT 24834355 SOS 19215022 HAS SOPS 19215022 HAS SOUS 1867096 HAS SOUPS 1867096 WITH SCORE 1886311.022
AT ITER 2075 NEW BEST:: SOT 24834066 SOS 19210398 HAS SOPS 19210398 HAS SOUS 1867096 HAS SOUPS 1867096 WITH SCORE 1886306.398
AT ITER 2103 NEW BEST:: SOT 24833656 SOS 19206904 HAS SOPS 19206904 HAS SOUS 1867087 HAS SOUPS 1867087 WITH SCORE 1886293.904
AT ITER 2105 NEW BEST:: SOT 24832738 SOS 19204150 HAS SOPS 19204150 HAS SOUS 1865251 HAS SOUPS 1865251 WITH SCORE 1884455.15
AT ITER 2115 NEW BEST:: SOT 24831232 SOS 19191335 HAS SOPS 19191335 HAS SOUS 1865237 HAS SOUPS 1865237 WITH SCORE 1884428.335
AT ITER 2175 NEW BEST:: SOT 24831214 SOS 19191173 HAS SOPS 19191173 HAS SOUS 1865228 HAS SOUPS 1865228 WITH SCORE 1884419.173
AT ITER 2179 NEW BEST:: SOT 24828452 SOS 19167695 HAS SOPS 19167695 HAS SOUS 1865227 HAS SOUPS 1865227 WITH SCORE 1884394.695
AT ITER 2196 NEW BEST:: SOT 24825762 SOS 19144817 HAS SOPS 19144817 HAS SOUS 1865214 HAS SOUPS 1865214 WITH SCORE 1884358.817
AT ITER 2242 NEW BEST:: SOT 24824363 SOS 19131397 HAS SOPS 19131397 HAS SOUS 1864923 HAS SOUPS 1864923 WITH SCORE 1884054.397
AT ITER 2244 NEW BEST:: SOT 24820397 SOS 19095817 HAS SOPS 19095817 HAS SOUS 1863054 HAS SOUPS 1863054 WITH SCORE 1882149.817
AT ITER 2245 NEW BEST:: SOT 24817969 SOS 19075175 HAS SOPS 19075175 HAS SOUS 1863050 HAS SOUPS 1863050 WITH SCORE 1882125.175
AT ITER 2251 NEW BEST:: SOT 24816233 SOS 19058216 HAS SOPS 19058216 HAS SOUS 1862587 HAS SOUPS 1862587 WITH SCORE 1881645.216
AT ITER 2252 NEW BEST:: SOT 24815337 SOS 19044356 HAS SOPS 19044356 HAS SOUS 1862553 HAS SOUPS 1862553 WITH SCORE 1881597.356
AT ITER 2271 NEW BEST:: SOT 24813233 SOS 19025431 HAS SOPS 19025431 HAS SOUS 1861510 HAS SOUPS 1861510 WITH SCORE 1880535.431
AT ITER 2291 NEW BEST:: SOT 24813180 SOS 19025313 HAS SOPS 19025313 HAS SOUS 1861445 HAS SOUPS 1861445 WITH SCORE 1880470.313
AT ITER 2313 NEW BEST:: SOT 24812468 SOS 19018988 HAS SOPS 19018988 HAS SOUS 1861172 HAS SOUPS 1861172 WITH SCORE 1880190.988
AT ITER 2366 NEW BEST:: SOT 24809828 SOS 18995342 HAS SOPS 18995342 HAS SOUS 1859966 HAS SOUPS 1859966 WITH SCORE 1878961.342
AT ITER 2380 NEW BEST:: SOT 24807350 SOS 18974265 HAS SOPS 18974265 HAS SOUS 1859952 HAS SOUPS 1859952 WITH SCORE 1878926.265
AT ITER 2388 NEW BEST:: SOT 24807350 SOS 18972959 HAS SOPS 18972959 HAS SOUS 1858646 HAS SOUPS 1858646 WITH SCORE 1877618.959
AT ITER 2410 NEW BEST:: SOT 24805296 SOS 18954473 HAS SOPS 18954473 HAS SOUS 1857619 HAS SOUPS 1857619 WITH SCORE 1876573.473
AT ITER 2438 NEW BEST:: SOT 24803802 SOS 18941027 HAS SOPS 18941027 HAS SOUS 1856872 HAS SOUPS 1856872 WITH SCORE 1875813.027
AT ITER 2442 NEW BEST:: SOT 24803662 SOS 18939767 HAS SOPS 18939767 HAS SOUS 1856802 HAS SOUPS 1856802 WITH SCORE 1875741.767
AT ITER 2453 NEW BEST:: SOT 24800091 SOS 18906200 HAS SOPS 18906200 HAS SOUS 1855381 HAS SOUPS 1855381 WITH SCORE 1874287.2
AT ITER 2455 NEW BEST:: SOT 24798239 SOS 18889532 HAS SOPS 18889532 HAS SOUS 1854455 HAS SOUPS 1854455 WITH SCORE 1873344.532
AT ITER 2467 NEW BEST:: SOT 24795119 SOS 18861452 HAS SOPS 18861452 HAS SOUS 1852895 HAS SOUPS 1852895 WITH SCORE 1871756.452
AT ITER 2509 NEW BEST:: SOT 24794481 SOS 18856029 HAS SOPS 18856029 HAS SOUS 1852895 HAS SOUPS 1852895 WITH SCORE 1871751.029
AT ITER 2538 NEW BEST:: SOT 24791480 SOS 18828087 HAS SOPS 18828087 HAS SOUS 1851759 HAS SOUPS 1851759 WITH SCORE 1870587.087
AT ITER 2545 NEW BEST:: SOT 24789632 SOS 18812378 HAS SOPS 18812378 HAS SOUS 1851758 HAS SOUPS 1851758 WITH SCORE 1870570.378
AT ITER 2557 NEW BEST:: SOT 24787462 SOS 18792848 HAS SOPS 18792848 HAS SOUS 1850673 HAS SOUPS 1850673 WITH SCORE 1869465.848
AT ITER 2561 NEW BEST:: SOT 24784378 SOS 18765092 HAS SOPS 18765092 HAS SOUS 1849131 HAS SOUPS 1849131 WITH SCORE 1867896.092
AT ITER 2580 NEW BEST:: SOT 24780365 SOS 18729067 HAS SOPS 18729067 HAS SOUS 1848274 HAS SOUPS 1848274 WITH SCORE 1867003.067
AT ITER 2597 NEW BEST:: SOT 24777523 SOS 18703575 HAS SOPS 18703575 HAS SOUS 1846939 HAS SOUPS 1846939 WITH SCORE 1865642.575
AT ITER 2621 NEW BEST:: SOT 24777191 SOS 18700751 HAS SOPS 18700751 HAS SOUS 1846937 HAS SOUPS 1846937 WITH SCORE 1865637.751
AT ITER 2622 NEW BEST:: SOT 24777191 SOS 18700695 HAS SOPS 18700695 HAS SOUS 1846881 HAS SOUPS 1846881 WITH SCORE 1865581.695
AT ITER 2633 NEW BEST:: SOT 24775315 SOS 18684742 HAS SOPS 18684742 HAS SOUS 1846874 HAS SOUPS 1846874 WITH SCORE 1865558.742
AT ITER 2692 NEW BEST:: SOT 24773749 SOS 18670648 HAS SOPS 18670648 HAS SOUS 1846091 HAS SOUPS 1846091 WITH SCORE 1864761.648
AT ITER 2701 NEW BEST:: SOT 24771627 SOS 18651550 HAS SOPS 18651550 HAS SOUS 1845030 HAS SOUPS 1845030 WITH SCORE 1863681.55
AT ITER 2703 NEW BEST:: SOT 24770447 SOS 18641508 HAS SOPS 18641508 HAS SOUS 1845018 HAS SOUPS 1845018 WITH SCORE 1863659.508
AT ITER 2716 NEW BEST:: SOT 24768828 SOS 18626300 HAS SOPS 18626300 HAS SOUS 1844389 HAS SOUPS 1844389 WITH SCORE 1863015.3
AT ITER 2724 NEW BEST:: SOT 24768383 SOS 18621369 HAS SOPS 18621369 HAS SOUS 1844283 HAS SOUPS 1844283 WITH SCORE 1862904.369
AT ITER 2756 NEW BEST:: SOT 24764475 SOS 18586197 HAS SOPS 18586197 HAS SOUS 1842329 HAS SOUPS 1842329 WITH SCORE 1860915.197
AT ITER 2761 NEW BEST:: SOT 24762158 SOS 18564297 HAS SOPS 18564297 HAS SOUS 1841496 HAS SOUPS 1841496 WITH SCORE 1860060.297
AT ITER 2792 NEW BEST:: SOT 24760136 SOS 18533445 HAS SOPS 18533445 HAS SOUS 1841481 HAS SOUPS 1841481 WITH SCORE 1860014.445
AT ITER 2801 NEW BEST:: SOT 24760136 SOS 18532220 HAS SOPS 18532220 HAS SOUS 1841168 HAS SOUPS 1841168 WITH SCORE 1859700.22
AT ITER 2829 NEW BEST:: SOT 24760136 SOS 18532209 HAS SOPS 18532209 HAS SOUS 1841157 HAS SOUPS 1841157 WITH SCORE 1859689.209
AT ITER 2844 NEW BEST:: SOT 24758554 SOS 18517322 HAS SOPS 18517322 HAS SOUS 1840677 HAS SOUPS 1840677 WITH SCORE 1859194.322
AT ITER 2868 NEW BEST:: SOT 24748384 SOS 18442666 HAS SOPS 18442666 HAS SOUS 1834872 HAS SOUPS 1834872 WITH SCORE 1853314.666
AT ITER 2899 NEW BEST:: SOT 24747948 SOS 18438953 HAS SOPS 18438953 HAS SOUS 1834865 HAS SOUPS 1834865 WITH SCORE 1853303.953
AT ITER 2934 NEW BEST:: SOT 24747656 SOS 18436325 HAS SOPS 18436325 HAS SOUS 1834719 HAS SOUPS 1834719 WITH SCORE 1853155.325
AT ITER 2975 NEW BEST:: SOT 24744816 SOS 18412181 HAS SOPS 18412181 HAS SOUS 1834715 HAS SOUPS 1834715 WITH SCORE 1853127.181
AT ITER 2985 NEW BEST:: SOT 24744098 SOS 18406070 HAS SOPS 18406070 HAS SOUS 1834707 HAS SOUPS 1834707 WITH SCORE 1853113.07
AT ITER 2999 NEW BEST:: SOT 24744098 SOS 18405257 HAS SOPS 18405257 HAS SOUS 1833894 HAS SOUPS 1833894 WITH SCORE 1852299.257
AT ITER 3014 NEW BEST:: SOT 24741014 SOS 18379029 HAS SOPS 18379029 HAS SOUS 1833880 HAS SOUPS 1833880 WITH SCORE 1852259.029
AT ITER 3019 NEW BEST:: SOT 24735382 SOS 18331146 HAS SOPS 18331146 HAS SOUS 1833869 HAS SOUPS 1833869 WITH SCORE 1852200.146
AT ITER 3022 NEW BEST:: SOT 24733696 SOS 18315796 HAS SOPS 18315796 HAS SOUS 1833375 HAS SOUPS 1833375 WITH SCORE 1851690.796
AT ITER 3026 NEW BEST:: SOT 24729507 SOS 18277292 HAS SOPS 18277292 HAS SOUS 1831535 HAS SOUPS 1831535 WITH SCORE 1849812.292
AT ITER 3029 NEW BEST:: SOT 24728367 SOS 18267032 HAS SOPS 18267032 HAS SOUS 1830965 HAS SOUPS 1830965 WITH SCORE 1849232.032
AT ITER 3041 NEW BEST:: SOT 24727223 SOS 18256780 HAS SOPS 18256780 HAS SOUS 1830437 HAS SOUPS 1830437 WITH SCORE 1848693.78
AT ITER 3042 NEW BEST:: SOT 24724951 SOS 18236332 HAS SOPS 18236332 HAS SOUS 1829301 HAS SOUPS 1829301 WITH SCORE 1847537.332
AT ITER 3043 NEW BEST:: SOT 24723458 SOS 18222174 HAS SOPS 18222174 HAS SOUS 1828906 HAS SOUPS 1828906 WITH SCORE 1847128.174
AT ITER 3047 NEW BEST:: SOT 24720158 SOS 18189940 HAS SOPS 18189940 HAS SOUS 1827512 HAS SOUPS 1827512 WITH SCORE 1845701.94
AT ITER 3049 NEW BEST:: SOT 24720068 SOS 18188500 HAS SOPS 18188500 HAS SOUS 1827510 HAS SOUPS 1827510 WITH SCORE 1845698.5
AT ITER 3095 NEW BEST:: SOT 24716798 SOS 18159077 HAS SOPS 18159077 HAS SOUS 1825882 HAS SOUPS 1825882 WITH SCORE 1844041.077
AT ITER 3130 NEW BEST:: SOT 24714683 SOS 18139300 HAS SOPS 18139300 HAS SOUS 1825080 HAS SOUPS 1825080 WITH SCORE 1843219.3
AT ITER 3137 NEW BEST:: SOT 24713497 SOS 18128626 HAS SOPS 18128626 HAS SOUS 1824487 HAS SOUPS 1824487 WITH SCORE 1842615.626
AT ITER 3168 NEW BEST:: SOT 24712029 SOS 18116139 HAS SOPS 18116139 HAS SOUS 1824478 HAS SOUPS 1824478 WITH SCORE 1842594.139
AT ITER 3171 NEW BEST:: SOT 24711919 SOS 18115919 HAS SOPS 18115919 HAS SOUS 1824368 HAS SOUPS 1824368 WITH SCORE 1842483.919
AT ITER 3268 NEW BEST:: SOT 24711447 SOS 18111671 HAS SOPS 18111671 HAS SOUS 1824132 HAS SOUPS 1824132 WITH SCORE 1842243.671
AT ITER 3286 NEW BEST:: SOT 24706527 SOS 18069839 HAS SOPS 18069839 HAS SOUS 1824120 HAS SOUPS 1824120 WITH SCORE 1842189.839
AT ITER 3310 NEW BEST:: SOT 24701579 SOS 18017297 HAS SOPS 18017297 HAS SOUS 1824164 HAS SOUPS 1824164 WITH SCORE 1842181.297
AT ITER 3324 NEW BEST:: SOT 24700413 SOS 18006803 HAS SOPS 18006803 HAS SOUS 1823581 HAS SOUPS 1823581 WITH SCORE 1841587.803
AT ITER 3357 NEW BEST:: SOT 24699245 SOS 17996291 HAS SOPS 17996291 HAS SOUS 1822995 HAS SOUPS 1822995 WITH SCORE 1840991.291
AT ITER 3391 NEW BEST:: SOT 24696149 SOS 17968454 HAS SOPS 17968454 HAS SOUS 1821474 HAS SOUPS 1821474 WITH SCORE 1839442.454
AT ITER 3423 NEW BEST:: SOT 24695733 SOS 17964710 HAS SOPS 17964710 HAS SOUS 1821266 HAS SOUPS 1821266 WITH SCORE 1839230.71
AT ITER 3441 NEW BEST:: SOT 24694337 SOS 17952146 HAS SOPS 17952146 HAS SOUS 1820568 HAS SOUPS 1820568 WITH SCORE 1838520.146
AT ITER 3464 NEW BEST:: SOT 24692835 SOS 17938628 HAS SOPS 17938628 HAS SOUS 1819817 HAS SOUPS 1819817 WITH SCORE 1837755.628
AT ITER 3517 NEW BEST:: SOT 24686338 SOS 17880177 HAS SOPS 17880177 HAS SOUS 1818529 HAS SOUPS 1818529 WITH SCORE 1836409.177
AT ITER 3527 NEW BEST:: SOT 24685674 SOS 17874201 HAS SOPS 17874201 HAS SOUS 1818197 HAS SOUPS 1818197 WITH SCORE 1836071.201
AT ITER 3544 NEW BEST:: SOT 24680646 SOS 17820741 HAS SOPS 17820741 HAS SOUS 1816580 HAS SOUPS 1816580 WITH SCORE 1834400.741
AT ITER 3554 NEW BEST:: SOT 24675708 SOS 17775262 HAS SOPS 17775262 HAS SOUS 1814454 HAS SOUPS 1814454 WITH SCORE 1832229.262
AT ITER 3586 NEW BEST:: SOT 24672588 SOS 17747182 HAS SOPS 17747182 HAS SOUS 1812894 HAS SOUPS 1812894 WITH SCORE 1830641.182
AT ITER 3600 NEW BEST:: SOT 24672588 SOS 17747180 HAS SOPS 17747180 HAS SOUS 1812892 HAS SOUPS 1812892 WITH SCORE 1830639.18
AT ITER 3601 NEW BEST:: SOT 24672324 SOS 17744804 HAS SOPS 17744804 HAS SOUS 1812760 HAS SOUPS 1812760 WITH SCORE 1830504.804
AT ITER 3605 NEW BEST:: SOT 24672792 SOS 17749466 HAS SOPS 17749466 HAS SOUS 1812754 HAS SOUPS 1812754 WITH SCORE 1830503.466
AT ITER 3624 NEW BEST:: SOT 24668816 SOS 17713682 HAS SOPS 17713682 HAS SOUS 1810766 HAS SOUPS 1810766 WITH SCORE 1828479.682
AT ITER 3637 NEW BEST:: SOT 24667578 SOS 17703154 HAS SOPS 17703154 HAS SOUS 1810761 HAS SOUPS 1810761 WITH SCORE 1828464.154
AT ITER 3677 NEW BEST:: SOT 24666556 SOS 17689924 HAS SOPS 17689924 HAS SOUS 1809962 HAS SOUPS 1809962 WITH SCORE 1827651.924
AT ITER 3697 NEW BEST:: SOT 24664334 SOS 17671037 HAS SOPS 17671037 HAS SOUS 1809962 HAS SOUPS 1809962 WITH SCORE 1827633.037
AT ITER 3705 NEW BEST:: SOT 24660654 SOS 17637922 HAS SOPS 17637922 HAS SOUS 1808127 HAS SOUPS 1808127 WITH SCORE 1825764.922
AT ITER 3709 NEW BEST:: SOT 24658602 SOS 17617877 HAS SOPS 17617877 HAS SOUS 1807309 HAS SOUPS 1807309 WITH SCORE 1824926.877
AT ITER 3732 NEW BEST:: SOT 24658602 SOS 17617299 HAS SOPS 17617299 HAS SOUS 1806885 HAS SOUPS 1806885 WITH SCORE 1824502.299
AT ITER 3749 NEW BEST:: SOT 24657708 SOS 17609697 HAS SOPS 17609697 HAS SOUS 1806882 HAS SOUPS 1806882 WITH SCORE 1824491.697
AT ITER 3751 NEW BEST:: SOT 24655326 SOS 17589309 HAS SOPS 17589309 HAS SOUS 1806891 HAS SOUPS 1806891 WITH SCORE 1824480.309
AT ITER 3753 NEW BEST:: SOT 24655326 SOS 17589304 HAS SOPS 17589304 HAS SOUS 1806886 HAS SOUPS 1806886 WITH SCORE 1824475.304
AT ITER 3759 NEW BEST:: SOT 24655221 SOS 17588240 HAS SOPS 17588240 HAS SOUS 1806842 HAS SOUPS 1806842 WITH SCORE 1824430.24
AT ITER 3789 NEW BEST:: SOT 24654038 SOS 17577096 HAS SOPS 17577096 HAS SOUS 1806676 HAS SOUPS 1806676 WITH SCORE 1824253.096
AT ITER 3876 NEW BEST:: SOT 24653726 SOS 17573574 HAS SOPS 17573574 HAS SOUS 1806571 HAS SOUPS 1806571 WITH SCORE 1824144.574
AT ITER 3896 NEW BEST:: SOT 24653708 SOS 17573509 HAS SOPS 17573509 HAS SOUS 1806522 HAS SOUPS 1806522 WITH SCORE 1824095.509
AT ITER 3944 NEW BEST:: SOT 24650044 SOS 17540903 HAS SOPS 17540903 HAS SOUS 1806125 HAS SOUPS 1806125 WITH SCORE 1823665.903
AT ITER 3972 NEW BEST:: SOT 24644606 SOS 17489917 HAS SOPS 17489917 HAS SOUS 1805127 HAS SOUPS 1805127 WITH SCORE 1822616.917
AT ITER 4015 NEW BEST:: SOT 24641290 SOS 17460173 HAS SOPS 17460173 HAS SOUS 1803569 HAS SOUPS 1803569 WITH SCORE 1821029.173
AT ITER 4037 NEW BEST:: SOT 24638046 SOS 17432584 HAS SOPS 17432584 HAS SOUS 1803552 HAS SOUPS 1803552 WITH SCORE 1820984.584
AT ITER 4038 NEW BEST:: SOT 24636524 SOS 17419640 HAS SOPS 17419640 HAS SOUS 1803545 HAS SOUPS 1803545 WITH SCORE 1820964.64
AT ITER 4078 NEW BEST:: SOT 24636512 SOS 17419535 HAS SOPS 17419535 HAS SOUS 1803542 HAS SOUPS 1803542 WITH SCORE 1820961.535
AT ITER 4191 NEW BEST:: SOT 24631901 SOS 17377207 HAS SOPS 17377207 HAS SOUS 1801555 HAS SOUPS 1801555 WITH SCORE 1818932.207
AT ITER 4202 NEW BEST:: SOT 24628804 SOS 17335004 HAS SOPS 17335004 HAS SOUS 1801314 HAS SOUPS 1801314 WITH SCORE 1818649.004
AT ITER 4207 NEW BEST:: SOT 24626250 SOS 17313281 HAS SOPS 17313281 HAS SOUS 1801300 HAS SOUPS 1801300 WITH SCORE 1818613.281
AT ITER 4238 NEW BEST:: SOT 24625864 SOS 17312123 HAS SOPS 17312123 HAS SOUS 1800526 HAS SOUPS 1800526 WITH SCORE 1817838.123
AT ITER 4272 NEW BEST:: SOT 24622985 SOS 17285088 HAS SOPS 17285088 HAS SOUS 1800505 HAS SOUPS 1800505 WITH SCORE 1817790.088
AT ITER 4413 NEW BEST:: SOT 24623865 SOS 17295945 HAS SOPS 17295945 HAS SOUS 1800025 HAS SOUPS 1800025 WITH SCORE 1817320.945
AT ITER 4455 NEW BEST:: SOT 24621639 SOS 17275099 HAS SOPS 17275099 HAS SOUS 1798970 HAS SOUPS 1798970 WITH SCORE 1816245.099
AT ITER 4457 NEW BEST:: SOT 24621639 SOS 17275085 HAS SOPS 17275085 HAS SOUS 1798956 HAS SOUPS 1798956 WITH SCORE 1816231.085
AT ITER 4467 NEW BEST:: SOT 24620111 SOS 17261333 HAS SOPS 17261333 HAS SOUS 1798192 HAS SOUPS 1798192 WITH SCORE 1815453.333
AT ITER 4491 NEW BEST:: SOT 24620068 SOS 17261247 HAS SOPS 17261247 HAS SOUS 1798149 HAS SOUPS 1798149 WITH SCORE 1815410.247
AT ITER 4494 NEW BEST:: SOT 24620068 SOS 17261247 HAS SOPS 17261247 HAS SOUS 1797731 HAS SOUPS 1797731 WITH SCORE 1814992.247
AT ITER 4507 NEW BEST:: SOT 24618740 SOS 17249295 HAS SOPS 17249295 HAS SOUS 1797067 HAS SOUPS 1797067 WITH SCORE 1814316.295
AT ITER 4509 NEW BEST:: SOT 24618576 SOS 17247869 HAS SOPS 17247869 HAS SOUS 1797035 HAS SOUPS 1797035 WITH SCORE 1814282.869
AT ITER 4533 NEW BEST:: SOT 24618350 SOS 17247417 HAS SOPS 17247417 HAS SOUS 1796809 HAS SOUPS 1796809 WITH SCORE 1814056.417
AT ITER 4535 NEW BEST:: SOT 24611962 SOS 17193119 HAS SOPS 17193119 HAS SOUS 1796809 HAS SOUPS 1796809 WITH SCORE 1814002.119
AT ITER 4540 NEW BEST:: SOT 24611962 SOS 17193119 HAS SOPS 17193119 HAS SOUS 1796807 HAS SOUPS 1796807 WITH SCORE 1814000.119
AT ITER 4546 NEW BEST:: SOT 24611806 SOS 17192172 HAS SOPS 17192172 HAS SOUS 1796744 HAS SOUPS 1796744 WITH SCORE 1813936.172
AT ITER 4552 NEW BEST:: SOT 24609656 SOS 17184477 HAS SOPS 17184477 HAS SOUS 1796692 HAS SOUPS 1796692 WITH SCORE 1813876.477
AT ITER 4588 NEW BEST:: SOT 24609656 SOS 17184238 HAS SOPS 17184238 HAS SOUS 1796453 HAS SOUPS 1796453 WITH SCORE 1813637.238
AT ITER 4591 NEW BEST:: SOT 24605910 SOS 17149026 HAS SOPS 17149026 HAS SOUS 1794777 HAS SOUPS 1794777 WITH SCORE 1811926.026
AT ITER 4623 NEW BEST:: SOT 24603176 SOS 17125775 HAS SOPS 17125775 HAS SOUS 1794765 HAS SOUPS 1794765 WITH SCORE 1811890.775
AT ITER 4624 NEW BEST:: SOT 24601364 SOS 17109291 HAS SOPS 17109291 HAS SOUS 1794208 HAS SOUPS 1794208 WITH SCORE 1811317.291
AT ITER 4663 NEW BEST:: SOT 24600356 SOS 17100219 HAS SOPS 17100219 HAS SOUS 1793704 HAS SOUPS 1793704 WITH SCORE 1810804.219
AT ITER 4683 NEW BEST:: SOT 24599178 SOS 17088399 HAS SOPS 17088399 HAS SOUS 1793397 HAS SOUPS 1793397 WITH SCORE 1810485.399
AT ITER 4702 NEW BEST:: SOT 24598060 SOS 17078337 HAS SOPS 17078337 HAS SOUS 1792838 HAS SOUPS 1792838 WITH SCORE 1809916.337
AT ITER 4738 NEW BEST:: SOT 24596750 SOS 17067201 HAS SOPS 17067201 HAS SOUS 1792837 HAS SOUPS 1792837 WITH SCORE 1809904.201
AT ITER 4782 NEW BEST:: SOT 24595958 SOS 17060073 HAS SOPS 17060073 HAS SOUS 1792441 HAS SOUPS 1792441 WITH SCORE 1809501.073
AT ITER 4784 NEW BEST:: SOT 24594790 SOS 17050130 HAS SOPS 17050130 HAS SOUS 1792424 HAS SOUPS 1792424 WITH SCORE 1809474.13
AT ITER 4791 NEW BEST:: SOT 24594649 SOS 17048532 HAS SOPS 17048532 HAS SOUS 1792377 HAS SOUPS 1792377 WITH SCORE 1809425.532
AT ITER 4795 NEW BEST:: SOT 24593587 SOS 17038974 HAS SOPS 17038974 HAS SOUS 1791846 HAS SOUPS 1791846 WITH SCORE 1808884.974
AT ITER 4805 NEW BEST:: SOT 24590057 SOS 17008963 HAS SOPS 17008963 HAS SOUS 1791840 HAS SOUPS 1791840 WITH SCORE 1808848.963
AT ITER 4836 NEW BEST:: SOT 24587597 SOS 16986515 HAS SOPS 16986515 HAS SOUS 1790902 HAS SOUPS 1790902 WITH SCORE 1807888.515
AT ITER 4838 NEW BEST:: SOT 24583165 SOS 16948833 HAS SOPS 16948833 HAS SOUS 1790892 HAS SOUPS 1790892 WITH SCORE 1807840.833
AT ITER 4849 NEW BEST:: SOT 24579702 SOS 16916941 HAS SOPS 16916941 HAS SOUS 1789373 HAS SOUPS 1789373 WITH SCORE 1806289.941
AT ITER 4868 NEW BEST:: SOT 24574534 SOS 16872999 HAS SOPS 16872999 HAS SOUS 1789359 HAS SOUPS 1789359 WITH SCORE 1806231.999
AT ITER 4878 NEW BEST:: SOT 24573152 SOS 16852175 HAS SOPS 16852175 HAS SOUS 1789267 HAS SOUPS 1789267 WITH SCORE 1806119.175
AT ITER 4899 NEW BEST:: SOT 24571186 SOS 16834514 HAS SOPS 16834514 HAS SOUS 1788317 HAS SOUPS 1788317 WITH SCORE 1805151.514
AT ITER 4905 NEW BEST:: SOT 24570754 SOS 16833641 HAS SOPS 16833641 HAS SOUS 1787876 HAS SOUPS 1787876 WITH SCORE 1804709.641
AT ITER 4917 NEW BEST:: SOT 24570455 SOS 16833030 HAS SOPS 16833030 HAS SOUS 1787564 HAS SOUPS 1787564 WITH SCORE 1804397.03
AT ITER 4948 NEW BEST:: SOT 24570129 SOS 16830251 HAS SOPS 16830251 HAS SOUS 1787556 HAS SOUPS 1787556 WITH SCORE 1804386.251
Bounds file is: CTLFireability.xml
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-00 (AF( (AF( ((potential((tk(P2212)>=1) & (tk(P2227)>=1))))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-01 (AX( (AF( (AG( ((potential((tk(P3634)>=1) & (tk(P3644)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-02 (EF( (AG( (AG( ((potential((tk(P1139)>=1) & (tk(P1143)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-03 (EF( (! (AF( (! ((potential((tk(P508)>=1) & (tk(P521)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-04 (EF( (EU( (! ((potential((tk(P89)>=1) & (tk(P104)>=1))))) , ( ((potential((tk(P3190)>=1) & (tk(P3196)>=1)))) & ((potential((tk(P2808)>=1) & (tk(P2812)>=1)))) ) ))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-05 (EU( ( (! ((potential((tk(P1675)>=1) & (tk(P1677)>=1))))) & ( (! ((potential((tk(P4304)>=1) & (tk(P4314)>=1))))) | (! ((potential((tk(P4093)>=1) & (tk(P4101)>=1))))) ) ) , ( ( ((potential((tk(P4726)>=1) & (tk(P4740)>=1)))) | ( ((potential((tk(P4247)>=1) & (tk(P4255)>=1)))) & ((potential((tk(P317)>=1) & (tk(P332)>=1)))) ) ) & (AX( ((potential((tk(P1716)>=1) & (tk(P1727)>=1)))))) ) ))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-06 (AF( ( (AX( ( ((potential((tk(P622)>=1) & (tk(P653)>=1)))) | ((potential((tk(P2250)>=1) & (tk(P2258)>=1)))) ))) & ( (AG( ((potential((tk(P358)>=1) & (tk(P390)>=1)))))) & (! ( ((potential((tk(P628)>=1) & (tk(P652)>=1)))) & ((potential((tk(P3672)>=1) & (tk(P3685)>=1)))) )) ) )))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-07 ( ( (! ((potential((tk(P586)>=1) & (tk(P618)>=1))))) & (! (AF( ( ((potential((tk(P357)>=1) & (tk(P380)>=1)))) & ((potential((tk(P2656)>=1) & (tk(P2665)>=1)))) )))) ) | ((potential((tk(P1848)>=1) & (tk(P1851)>=1)))) )
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-08 (! (EX( (AF( ((potential((tk(P3596)>=1) & (tk(P3601)>=1)))))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-09 (AU( (EF( (! ((potential((tk(P2789)>=1) & (tk(P2801)>=1))))))) , ( ((potential((tk(P357)>=1) & (tk(P366)>=1)))) & ((potential((tk(P741)>=1) & (tk(P746)>=1)))) ) ))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-10 ( ((potential((tk(P1656)>=1) & (tk(P1663)>=1)))) | (AG( (EF( (! ((potential((tk(P3977)>=1))))))))) )
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-11 (AF( ( ((potential((tk(P2000)>=1) & (tk(P2010)>=1)))) & ((potential((tk(P3729)>=1) & (tk(P3737)>=1)))) )))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-12 (! (! (AG( (EF( ((potential((tk(P275)>=1) & (tk(P277)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-13 ( (AF( (AX( ((potential((tk(P3558)>=1) & (tk(P3562)>=1)))))))) & ( (AF( (AF( ((potential((tk(P47)>=1) & (tk(P53)>=1)))))))) | ( (EG( ( ((potential((tk(P586)>=1) & (tk(P604)>=1)))) & ((potential((tk(P4266)>=1) & (tk(P4277)>=1)))) ))) & ((potential((tk(P4073)>=1) & (tk(P4078)>=1)))) ) ) )
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-14 ( (AX( (EF( ((potential((tk(P1693)>=1) & (tk(P1698)>=1)))))))) & ( (AF( (EX( ((potential((tk(P470)>=1) & (tk(P481)>=1)))))))) | ((potential((tk(P1216)>=1) & (tk(P1229)>=1)))) ) )
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLFireability-15 (! (AU( (! ((potential((tk(P2751)>=1) & (tk(P2766)>=1))))) , (AX( ((potential((tk(P1791)>=1) & (tk(P1793)>=1)))))) )))

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="ViralEpidemic-PT-S16D2C4A02"
export BK_EXAMINATION="CTLFireability"
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 ViralEpidemic-PT-S16D2C4A02, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033539000580"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S16D2C4A02.tgz
mv ViralEpidemic-PT-S16D2C4A02 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;