About the Execution of smart for ViralEpidemic-PT-S16D2C4A02
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15769.010 | 3600000.00 | 3600030.00 | 0.00 | [undef] | Time out reached |
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-159033539000579.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033539000579
=====================================================================
--------------------
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-CTLCardinality-00
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-01
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-02
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-03
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-04
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-05
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-06
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-07
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-08
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-09
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-10
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-11
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-12
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-13
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-14
FORMULA_NAME ViralEpidemic-PT-S16D2C4A02-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1590476930068
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S16D2C4A02
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 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 26 NEW BEST:: SOT 25140515 SOS 21875659 HAS SOPS 21875659 HAS SOUS 1907200 HAS SOUPS 1907200 WITH SCORE 1929075.659
AT ITER 39 NEW BEST:: SOT 25140329 SOS 21874069 HAS SOPS 21874069 HAS SOUS 1907191 HAS SOUPS 1907191 WITH SCORE 1929065.069
AT ITER 64 NEW BEST:: SOT 25133105 SOS 21812659 HAS SOPS 21812659 HAS SOUS 1907185 HAS SOUPS 1907185 WITH SCORE 1928997.659
AT ITER 72 NEW BEST:: SOT 25131357 SOS 21796028 HAS SOPS 21796028 HAS SOUS 1906642 HAS SOUPS 1906642 WITH SCORE 1928438.028
AT ITER 86 NEW BEST:: SOT 25127687 SOS 21764822 HAS SOPS 21764822 HAS SOUS 1906631 HAS SOUPS 1906631 WITH SCORE 1928395.822
AT ITER 95 NEW BEST:: SOT 25125422 SOS 21745516 HAS SOPS 21745516 HAS SOUS 1906630 HAS SOUPS 1906630 WITH SCORE 1928375.516
AT ITER 96 NEW BEST:: SOT 25124706 SOS 21739429 HAS SOPS 21739429 HAS SOUS 1906629 HAS SOUPS 1906629 WITH SCORE 1928368.429
AT ITER 97 NEW BEST:: SOT 25120572 SOS 21704275 HAS SOPS 21704275 HAS SOUS 1906612 HAS SOUPS 1906612 WITH SCORE 1928316.275
AT ITER 163 NEW BEST:: SOT 25115766 SOS 21663424 HAS SOPS 21663424 HAS SOUS 1906612 HAS SOUPS 1906612 WITH SCORE 1928275.424
AT ITER 185 NEW BEST:: SOT 25112622 SOS 21636690 HAS SOPS 21636690 HAS SOUS 1906602 HAS SOUPS 1906602 WITH SCORE 1928238.69
AT ITER 208 NEW BEST:: SOT 25106910 SOS 21588125 HAS SOPS 21588125 HAS SOUS 1906589 HAS SOUPS 1906589 WITH SCORE 1928177.125
AT ITER 210 NEW BEST:: SOT 25100978 SOS 21537701 HAS SOPS 21537701 HAS SOUS 1906587 HAS SOUPS 1906587 WITH SCORE 1928124.701
AT ITER 220 NEW BEST:: SOT 25100118 SOS 21530380 HAS SOPS 21530380 HAS SOUS 1906576 HAS SOUPS 1906576 WITH SCORE 1928106.38
AT ITER 228 NEW BEST:: SOT 25096782 SOS 21502017 HAS SOPS 21502017 HAS SOUS 1906569 HAS SOUPS 1906569 WITH SCORE 1928071.017
AT ITER 254 NEW BEST:: SOT 25095954 SOS 21494966 HAS SOPS 21494966 HAS SOUS 1906556 HAS SOUPS 1906556 WITH SCORE 1928050.966
AT ITER 260 NEW BEST:: SOT 25093836 SOS 21476957 HAS SOPS 21476957 HAS SOUS 1906550 HAS SOUPS 1906550 WITH SCORE 1928026.957
AT ITER 288 NEW BEST:: SOT 25088040 SOS 21427678 HAS SOPS 21427678 HAS SOUS 1906537 HAS SOUPS 1906537 WITH SCORE 1927964.678
AT ITER 289 NEW BEST:: SOT 25084654 SOS 21397323 HAS SOPS 21397323 HAS SOUS 1904963 HAS SOUPS 1904963 WITH SCORE 1926360.323
AT ITER 303 NEW BEST:: SOT 25081076 SOS 21366905 HAS SOPS 21366905 HAS SOUS 1904958 HAS SOUPS 1904958 WITH SCORE 1926324.905
AT ITER 304 NEW BEST:: SOT 25076294 SOS 21326248 HAS SOPS 21326248 HAS SOUS 1904948 HAS SOUPS 1904948 WITH SCORE 1926274.248
AT ITER 353 NEW BEST:: SOT 25075458 SOS 21319129 HAS SOPS 21319129 HAS SOUS 1904935 HAS SOUPS 1904935 WITH SCORE 1926254.129
AT ITER 371 NEW BEST:: SOT 25071038 SOS 21281556 HAS SOPS 21281556 HAS SOUS 1904932 HAS SOUPS 1904932 WITH SCORE 1926213.556
AT ITER 388 NEW BEST:: SOT 25067958 SOS 21255365 HAS SOPS 21255365 HAS SOUS 1904921 HAS SOUPS 1904921 WITH SCORE 1926176.365
AT ITER 398 NEW BEST:: SOT 25064178 SOS 21223222 HAS SOPS 21223222 HAS SOUS 1904908 HAS SOUPS 1904908 WITH SCORE 1926131.222
AT ITER 401 NEW BEST:: SOT 25058764 SOS 21177201 HAS SOPS 21177201 HAS SOUS 1904906 HAS SOUPS 1904906 WITH SCORE 1926083.201
AT ITER 412 NEW BEST:: SOT 25058764 SOS 21177200 HAS SOPS 21177200 HAS SOUS 1904905 HAS SOUPS 1904905 WITH SCORE 1926082.2
AT ITER 419 NEW BEST:: SOT 25054282 SOS 21139092 HAS SOPS 21139092 HAS SOUS 1904894 HAS SOUPS 1904894 WITH SCORE 1926033.092
AT ITER 430 NEW BEST:: SOT 25052400 SOS 21123089 HAS SOPS 21123089 HAS SOUS 1904888 HAS SOUPS 1904888 WITH SCORE 1926011.089
AT ITER 456 NEW BEST:: SOT 25048808 SOS 21092544 HAS SOPS 21092544 HAS SOUS 1904875 HAS SOUPS 1904875 WITH SCORE 1925967.544
AT ITER 480 NEW BEST:: SOT 25042374 SOS 21037841 HAS SOPS 21037841 HAS SOUS 1904861 HAS SOUPS 1904861 WITH SCORE 1925898.841
AT ITER 490 NEW BEST:: SOT 25041701 SOS 21031844 HAS SOPS 21031844 HAS SOUS 1904802 HAS SOUPS 1904802 WITH SCORE 1925833.844
AT ITER 549 NEW BEST:: SOT 25039725 SOS 21015044 HAS SOPS 21015044 HAS SOUS 1904798 HAS SOUPS 1904798 WITH SCORE 1925813.044
AT ITER 557 NEW BEST:: SOT 25039251 SOS 21011008 HAS SOPS 21011008 HAS SOUS 1904791 HAS SOUPS 1904791 WITH SCORE 1925802.008
AT ITER 597 NEW BEST:: SOT 25037769 SOS 20997447 HAS SOPS 20997447 HAS SOUS 1904427 HAS SOUPS 1904427 WITH SCORE 1925424.447
AT ITER 627 NEW BEST:: SOT 25037015 SOS 20991038 HAS SOPS 20991038 HAS SOUS 1904427 HAS SOUPS 1904427 WITH SCORE 1925418.038
AT ITER 653 NEW BEST:: SOT 25032427 SOS 20949806 HAS SOPS 20949806 HAS SOUS 1902193 HAS SOUPS 1902193 WITH SCORE 1923142.806
AT ITER 696 NEW BEST:: SOT 25031071 SOS 20937855 HAS SOPS 20937855 HAS SOUS 1901768 HAS SOUPS 1901768 WITH SCORE 1922705.855
AT ITER 709 NEW BEST:: SOT 25027767 SOS 20909757 HAS SOPS 20909757 HAS SOUS 1901754 HAS SOUPS 1901754 WITH SCORE 1922663.757
AT ITER 712 NEW BEST:: SOT 25027767 SOS 20909747 HAS SOPS 20909747 HAS SOUS 1901744 HAS SOUPS 1901744 WITH SCORE 1922653.747
AT ITER 717 NEW BEST:: SOT 25025999 SOS 20894711 HAS SOPS 20894711 HAS SOUS 1901736 HAS SOUPS 1901736 WITH SCORE 1922630.711
AT ITER 736 NEW BEST:: SOT 25022919 SOS 20868516 HAS SOPS 20868516 HAS SOUS 1901719 HAS SOUPS 1901719 WITH SCORE 1922587.516
AT ITER 748 NEW BEST:: SOT 25017293 SOS 20817977 HAS SOPS 20817977 HAS SOUS 1899001 HAS SOUPS 1899001 WITH SCORE 1919818.977
AT ITER 765 NEW BEST:: SOT 25015705 SOS 20804476 HAS SOPS 20804476 HAS SOUS 1898998 HAS SOUPS 1898998 WITH SCORE 1919802.476
AT ITER 779 NEW BEST:: SOT 25010467 SOS 20759938 HAS SOPS 20759938 HAS SOUS 1898981 HAS SOUPS 1898981 WITH SCORE 1919740.938
AT ITER 827 NEW BEST:: SOT 25005649 SOS 20718970 HAS SOPS 20718970 HAS SOUS 1898964 HAS SOUPS 1898964 WITH SCORE 1919682.97
AT ITER 835 NEW BEST:: SOT 25005649 SOS 20718957 HAS SOPS 20718957 HAS SOUS 1898951 HAS SOUPS 1898951 WITH SCORE 1919669.957
AT ITER 841 NEW BEST:: SOT 25002549 SOS 20691057 HAS SOPS 20691057 HAS SOUS 1897401 HAS SOUPS 1897401 WITH SCORE 1918092.057
AT ITER 850 NEW BEST:: SOT 24998749 SOS 20658751 HAS SOPS 20658751 HAS SOUS 1897395 HAS SOUPS 1897395 WITH SCORE 1918053.751
AT ITER 871 NEW BEST:: SOT 24992606 SOS 20602343 HAS SOPS 20602343 HAS SOUS 1894695 HAS SOUPS 1894695 WITH SCORE 1915297.343
AT ITER 893 NEW BEST:: SOT 24985666 SOS 20543348 HAS SOPS 20543348 HAS SOUS 1894690 HAS SOUPS 1894690 WITH SCORE 1915233.348
AT ITER 913 NEW BEST:: SOT 24979348 SOS 20489630 HAS SOPS 20489630 HAS SOUS 1894673 HAS SOUPS 1894673 WITH SCORE 1915162.63
AT ITER 932 NEW BEST:: SOT 24975358 SOS 20455709 HAS SOPS 20455709 HAS SOUS 1894667 HAS SOUPS 1894667 WITH SCORE 1915122.709
AT ITER 941 NEW BEST:: SOT 24973950 SOS 20443728 HAS SOPS 20443728 HAS SOUS 1894654 HAS SOUPS 1894654 WITH SCORE 1915097.728
AT ITER 951 NEW BEST:: SOT 24972942 SOS 20434675 HAS SOPS 20434675 HAS SOUS 1894304 HAS SOUPS 1894304 WITH SCORE 1914738.675
AT ITER 990 NEW BEST:: SOT 24972530 SOS 20431160 HAS SOPS 20431160 HAS SOUS 1894291 HAS SOUPS 1894291 WITH SCORE 1914722.16
AT ITER 1021 NEW BEST:: SOT 24971914 SOS 20425923 HAS SOPS 20425923 HAS SOUS 1894290 HAS SOUPS 1894290 WITH SCORE 1914715.923
AT ITER 1039 NEW BEST:: SOT 24968846 SOS 20399837 HAS SOPS 20399837 HAS SOUS 1894282 HAS SOUPS 1894282 WITH SCORE 1914681.837
AT ITER 1059 NEW BEST:: SOT 24965192 SOS 20368772 HAS SOPS 20368772 HAS SOUS 1894276 HAS SOUPS 1894276 WITH SCORE 1914644.772
AT ITER 1065 NEW BEST:: SOT 24965192 SOS 20368762 HAS SOPS 20368762 HAS SOUS 1894266 HAS SOUPS 1894266 WITH SCORE 1914634.762
AT ITER 1068 NEW BEST:: SOT 24961037 SOS 20330393 HAS SOPS 20330393 HAS SOUS 1892647 HAS SOUPS 1892647 WITH SCORE 1912977.393
AT ITER 1088 NEW BEST:: SOT 24957797 SOS 20302846 HAS SOPS 20302846 HAS SOUS 1892640 HAS SOUPS 1892640 WITH SCORE 1912942.846
AT ITER 1101 NEW BEST:: SOT 24956635 SOS 20292388 HAS SOPS 20292388 HAS SOUS 1892059 HAS SOUPS 1892059 WITH SCORE 1912351.388
AT ITER 1103 NEW BEST:: SOT 24955007 SOS 20267164 HAS SOPS 20267164 HAS SOUS 1892043 HAS SOUPS 1892043 WITH SCORE 1912310.164
AT ITER 1104 NEW BEST:: SOT 24953001 SOS 20249224 HAS SOPS 20249224 HAS SOUS 1891154 HAS SOUPS 1891154 WITH SCORE 1911403.224
AT ITER 1105 NEW BEST:: SOT 24952190 SOS 20240840 HAS SOPS 20240840 HAS SOUS 1891111 HAS SOUPS 1891111 WITH SCORE 1911351.84
AT ITER 1144 NEW BEST:: SOT 24947214 SOS 20198536 HAS SOPS 20198536 HAS SOUS 1891103 HAS SOUPS 1891103 WITH SCORE 1911301.536
AT ITER 1175 NEW BEST:: SOT 24946988 SOS 20196502 HAS SOPS 20196502 HAS SOUS 1890990 HAS SOUPS 1890990 WITH SCORE 1911186.502
AT ITER 1178 NEW BEST:: SOT 24942408 SOS 20157567 HAS SOPS 20157567 HAS SOUS 1890985 HAS SOUPS 1890985 WITH SCORE 1911142.567
AT ITER 1193 NEW BEST:: SOT 24939250 SOS 20129145 HAS SOPS 20129145 HAS SOUS 1889404 HAS SOUPS 1889404 WITH SCORE 1909533.145
AT ITER 1200 NEW BEST:: SOT 24938620 SOS 20123787 HAS SOPS 20123787 HAS SOUS 1889401 HAS SOUPS 1889401 WITH SCORE 1909524.787
AT ITER 1230 NEW BEST:: SOT 24933342 SOS 20078914 HAS SOPS 20078914 HAS SOUS 1889391 HAS SOUPS 1889391 WITH SCORE 1909469.914
AT ITER 1235 NEW BEST:: SOT 24930014 SOS 20048962 HAS SOPS 20048962 HAS SOUS 1887727 HAS SOUPS 1887727 WITH SCORE 1907775.962
AT ITER 1262 NEW BEST:: SOT 24929830 SOS 20047306 HAS SOPS 20047306 HAS SOUS 1887635 HAS SOUPS 1887635 WITH SCORE 1907682.306
AT ITER 1311 NEW BEST:: SOT 24927596 SOS 20028317 HAS SOPS 20028317 HAS SOUS 1887635 HAS SOUPS 1887635 WITH SCORE 1907663.317
AT ITER 1337 NEW BEST:: SOT 24923750 SOS 19992183 HAS SOPS 19992183 HAS SOUS 1886097 HAS SOUPS 1886097 WITH SCORE 1906089.183
AT ITER 1371 NEW BEST:: SOT 24919913 SOS 19956964 HAS SOPS 19956964 HAS SOUS 1884565 HAS SOUPS 1884565 WITH SCORE 1904521.964
AT ITER 1382 NEW BEST:: SOT 24915829 SOS 19922236 HAS SOPS 19922236 HAS SOUS 1884551 HAS SOUPS 1884551 WITH SCORE 1904473.236
AT ITER 1411 NEW BEST:: SOT 24913727 SOS 19890046 HAS SOPS 19890046 HAS SOUS 1884448 HAS SOUPS 1884448 WITH SCORE 1904338.046
AT ITER 1438 NEW BEST:: SOT 24912824 SOS 19880578 HAS SOPS 19880578 HAS SOUS 1884358 HAS SOUPS 1884358 WITH SCORE 1904238.578
AT ITER 1441 NEW BEST:: SOT 24910494 SOS 19858295 HAS SOPS 19858295 HAS SOUS 1883650 HAS SOUPS 1883650 WITH SCORE 1903508.295
AT ITER 1444 NEW BEST:: SOT 24910511 SOS 19856122 HAS SOPS 19856122 HAS SOUS 1882982 HAS SOUPS 1882982 WITH SCORE 1902838.122
AT ITER 1542 NEW BEST:: SOT 24910511 SOS 19854348 HAS SOPS 19854348 HAS SOUS 1881208 HAS SOUPS 1881208 WITH SCORE 1901062.348
AT ITER 1546 NEW BEST:: SOT 24909815 SOS 19848084 HAS SOPS 19848084 HAS SOUS 1880860 HAS SOUPS 1880860 WITH SCORE 1900708.084
AT ITER 1549 NEW BEST:: SOT 24907803 SOS 19828742 HAS SOPS 19828742 HAS SOUS 1880388 HAS SOUPS 1880388 WITH SCORE 1900216.742
AT ITER 1552 NEW BEST:: SOT 24904410 SOS 19797649 HAS SOPS 19797649 HAS SOUS 1878863 HAS SOUPS 1878863 WITH SCORE 1898660.649
AT ITER 1611 NEW BEST:: SOT 24903502 SOS 19789921 HAS SOPS 19789921 HAS SOUS 1878853 HAS SOUPS 1878853 WITH SCORE 1898642.921
AT ITER 1628 NEW BEST:: SOT 24896948 SOS 19734197 HAS SOPS 19734197 HAS SOUS 1878836 HAS SOUPS 1878836 WITH SCORE 1898570.197
AT ITER 1650 NEW BEST:: SOT 24896948 SOS 19732208 HAS SOPS 19732208 HAS SOUS 1878005 HAS SOUPS 1878005 WITH SCORE 1897737.208
AT ITER 1713 NEW BEST:: SOT 24896110 SOS 19725070 HAS SOPS 19725070 HAS SOUS 1877988 HAS SOUPS 1877988 WITH SCORE 1897713.07
AT ITER 1754 NEW BEST:: SOT 24894412 SOS 19721661 HAS SOPS 19721661 HAS SOUS 1876277 HAS SOUPS 1876277 WITH SCORE 1895998.661
AT ITER 1758 NEW BEST:: SOT 24892698 SOS 19706235 HAS SOPS 19706235 HAS SOUS 1875416 HAS SOUPS 1875416 WITH SCORE 1895122.235
AT ITER 1772 NEW BEST:: SOT 24888050 SOS 19666712 HAS SOPS 19666712 HAS SOUS 1875399 HAS SOUPS 1875399 WITH SCORE 1895065.712
AT ITER 1803 NEW BEST:: SOT 24884719 SOS 19635513 HAS SOPS 19635513 HAS SOUS 1874066 HAS SOUPS 1874066 WITH SCORE 1893701.513
AT ITER 1835 NEW BEST:: SOT 24880563 SOS 19599207 HAS SOPS 19599207 HAS SOUS 1874059 HAS SOUPS 1874059 WITH SCORE 1893658.207
AT ITER 1861 NEW BEST:: SOT 24877168 SOS 19567913 HAS SOPS 19567913 HAS SOUS 1872425 HAS SOUPS 1872425 WITH SCORE 1891992.913
AT ITER 1923 NEW BEST:: SOT 24874480 SOS 19543721 HAS SOPS 19543721 HAS SOUS 1871081 HAS SOUPS 1871081 WITH SCORE 1890624.721
AT ITER 1924 NEW BEST:: SOT 24873798 SOS 19537922 HAS SOPS 19537922 HAS SOUS 1871079 HAS SOUPS 1871079 WITH SCORE 1890616.922
AT ITER 1941 NEW BEST:: SOT 24870886 SOS 19513168 HAS SOPS 19513168 HAS SOUS 1871077 HAS SOUPS 1871077 WITH SCORE 1890590.168
AT ITER 1951 NEW BEST:: SOT 24869564 SOS 19501331 HAS SOPS 19501331 HAS SOUS 1870685 HAS SOUPS 1870685 WITH SCORE 1890186.331
AT ITER 1977 NEW BEST:: SOT 24866642 SOS 19476485 HAS SOPS 19476485 HAS SOUS 1870676 HAS SOUPS 1870676 WITH SCORE 1890152.485
AT ITER 1988 NEW BEST:: SOT 24861782 SOS 19435169 HAS SOPS 19435169 HAS SOUS 1870670 HAS SOUPS 1870670 WITH SCORE 1890105.169
AT ITER 1991 NEW BEST:: SOT 24855688 SOS 19383365 HAS SOPS 19383365 HAS SOUS 1870665 HAS SOUPS 1870665 WITH SCORE 1890048.365
AT ITER 2020 NEW BEST:: SOT 24854398 SOS 19372392 HAS SOPS 19372392 HAS SOUS 1870657 HAS SOUPS 1870657 WITH SCORE 1890029.392
AT ITER 2027 NEW BEST:: SOT 24853157 SOS 19360300 HAS SOPS 19360300 HAS SOUS 1870484 HAS SOUPS 1870484 WITH SCORE 1889844.3
AT ITER 2092 NEW BEST:: SOT 24849997 SOS 19333435 HAS SOPS 19333435 HAS SOUS 1870479 HAS SOUPS 1870479 WITH SCORE 1889812.435
AT ITER 2119 NEW BEST:: SOT 24847984 SOS 19302513 HAS SOPS 19302513 HAS SOUS 1870490 HAS SOUPS 1870490 WITH SCORE 1889792.513
AT ITER 2124 NEW BEST:: SOT 24847984 SOS 19300260 HAS SOPS 19300260 HAS SOUS 1868235 HAS SOUPS 1868235 WITH SCORE 1887535.26
AT ITER 2135 NEW BEST:: SOT 24844770 SOS 19272931 HAS SOPS 19272931 HAS SOUS 1868225 HAS SOUPS 1868225 WITH SCORE 1887497.931
AT ITER 2156 NEW BEST:: SOT 24842854 SOS 19256633 HAS SOPS 19256633 HAS SOUS 1868213 HAS SOUPS 1868213 WITH SCORE 1887469.633
AT ITER 2182 NEW BEST:: SOT 24841878 SOS 19247925 HAS SOPS 19247925 HAS SOUS 1867801 HAS SOUPS 1867801 WITH SCORE 1887048.925
AT ITER 2194 NEW BEST:: SOT 24840934 SOS 19239898 HAS SOPS 19239898 HAS SOUS 1867798 HAS SOUPS 1867798 WITH SCORE 1887037.898
AT ITER 2200 NEW BEST:: SOT 24837552 SOS 19208480 HAS SOPS 19208480 HAS SOUS 1866447 HAS SOUPS 1866447 WITH SCORE 1885655.48
AT ITER 2205 NEW BEST:: SOT 24837374 SOS 19206878 HAS SOPS 19206878 HAS SOUS 1866358 HAS SOUPS 1866358 WITH SCORE 1885564.878
AT ITER 2206 NEW BEST:: SOT 24835792 SOS 19192640 HAS SOPS 19192640 HAS SOUS 1865567 HAS SOUPS 1865567 WITH SCORE 1884759.64
AT ITER 2220 NEW BEST:: SOT 24829032 SOS 19135178 HAS SOPS 19135178 HAS SOUS 1865565 HAS SOUPS 1865565 WITH SCORE 1884700.178
AT ITER 2264 NEW BEST:: SOT 24828226 SOS 19127868 HAS SOPS 19127868 HAS SOUS 1865241 HAS SOUPS 1865241 WITH SCORE 1884368.868
AT ITER 2358 NEW BEST:: SOT 24828226 SOS 19127855 HAS SOPS 19127855 HAS SOUS 1865228 HAS SOUPS 1865228 WITH SCORE 1884355.855
AT ITER 2365 NEW BEST:: SOT 24826764 SOS 19113493 HAS SOPS 19113493 HAS SOUS 1864763 HAS SOUPS 1864763 WITH SCORE 1883876.493
AT ITER 2372 NEW BEST:: SOT 24822332 SOS 19073605 HAS SOPS 19073605 HAS SOUS 1862547 HAS SOUPS 1862547 WITH SCORE 1881620.605
AT ITER 2380 NEW BEST:: SOT 24822332 SOS 19073603 HAS SOPS 19073603 HAS SOUS 1862545 HAS SOUPS 1862545 WITH SCORE 1881618.603
AT ITER 2381 NEW BEST:: SOT 24817083 SOS 19025163 HAS SOPS 19025163 HAS SOUS 1860289 HAS SOUPS 1860289 WITH SCORE 1879314.163
AT ITER 2428 NEW BEST:: SOT 24811381 SOS 18961952 HAS SOPS 18961952 HAS SOUS 1860311 HAS SOUPS 1860311 WITH SCORE 1879272.952
AT ITER 2457 NEW BEST:: SOT 24810143 SOS 18951416 HAS SOPS 18951416 HAS SOUS 1860298 HAS SOUPS 1860298 WITH SCORE 1879249.416
AT ITER 2520 NEW BEST:: SOT 24809821 SOS 18947622 HAS SOPS 18947622 HAS SOUS 1860201 HAS SOUPS 1860201 WITH SCORE 1879148.622
AT ITER 2532 NEW BEST:: SOT 24807184 SOS 18907109 HAS SOPS 18907109 HAS SOUS 1860185 HAS SOUPS 1860185 WITH SCORE 1879092.109
AT ITER 2544 NEW BEST:: SOT 24803548 SOS 18874406 HAS SOPS 18874406 HAS SOUS 1858388 HAS SOUPS 1858388 WITH SCORE 1877262.406
AT ITER 2592 NEW BEST:: SOT 24801200 SOS 18854437 HAS SOPS 18854437 HAS SOUS 1858377 HAS SOUPS 1858377 WITH SCORE 1877231.437
AT ITER 2609 NEW BEST:: SOT 24798470 SOS 18831218 HAS SOPS 18831218 HAS SOUS 1858363 HAS SOUPS 1858363 WITH SCORE 1877194.218
AT ITER 2657 NEW BEST:: SOT 24793074 SOS 18785344 HAS SOPS 18785344 HAS SOUS 1858355 HAS SOUPS 1858355 WITH SCORE 1877140.344
AT ITER 2669 NEW BEST:: SOT 24793033 SOS 18785260 HAS SOPS 18785260 HAS SOUS 1858312 HAS SOUPS 1858312 WITH SCORE 1877097.26
AT ITER 2681 NEW BEST:: SOT 24787263 SOS 18733330 HAS SOPS 18733330 HAS SOUS 1855427 HAS SOUPS 1855427 WITH SCORE 1874160.33
AT ITER 2690 NEW BEST:: SOT 24787020 SOS 18730254 HAS SOPS 18730254 HAS SOUS 1855369 HAS SOUPS 1855369 WITH SCORE 1874099.254
AT ITER 2714 NEW BEST:: SOT 24784997 SOS 18711942 HAS SOPS 18711942 HAS SOUS 1854365 HAS SOUPS 1854365 WITH SCORE 1873076.942
AT ITER 2746 NEW BEST:: SOT 24783531 SOS 18699476 HAS SOPS 18699476 HAS SOUS 1854360 HAS SOUPS 1854360 WITH SCORE 1873059.476
AT ITER 2756 NEW BEST:: SOT 24783463 SOS 18698893 HAS SOPS 18698893 HAS SOUS 1854355 HAS SOUPS 1854355 WITH SCORE 1873053.893
AT ITER 2784 NEW BEST:: SOT 24781203 SOS 18679668 HAS SOPS 18679668 HAS SOUS 1854338 HAS SOUPS 1854338 WITH SCORE 1873017.668
AT ITER 2820 NEW BEST:: SOT 24781076 SOS 18679405 HAS SOPS 18679405 HAS SOUS 1854202 HAS SOUPS 1854202 WITH SCORE 1872881.405
AT ITER 2862 NEW BEST:: SOT 24776462 SOS 18637879 HAS SOPS 18637879 HAS SOUS 1851895 HAS SOUPS 1851895 WITH SCORE 1870532.879
AT ITER 2932 NEW BEST:: SOT 24775054 SOS 18625911 HAS SOPS 18625911 HAS SOUS 1851895 HAS SOUPS 1851895 WITH SCORE 1870520.911
AT ITER 2950 NEW BEST:: SOT 24770252 SOS 18585092 HAS SOPS 18585092 HAS SOUS 1851893 HAS SOUPS 1851893 WITH SCORE 1870478.092
AT ITER 2951 NEW BEST:: SOT 24764369 SOS 18530831 HAS SOPS 18530831 HAS SOUS 1849310 HAS SOUPS 1849310 WITH SCORE 1867840.831
AT ITER 2971 NEW BEST:: SOT 24763169 SOS 18520031 HAS SOPS 18520031 HAS SOUS 1848710 HAS SOUPS 1848710 WITH SCORE 1867230.031
AT ITER 2972 NEW BEST:: SOT 24762361 SOS 18512759 HAS SOPS 18512759 HAS SOUS 1848304 HAS SOUPS 1848304 WITH SCORE 1866816.759
AT ITER 2980 NEW BEST:: SOT 24758907 SOS 18483386 HAS SOPS 18483386 HAS SOUS 1848290 HAS SOUPS 1848290 WITH SCORE 1866773.386
AT ITER 2998 NEW BEST:: SOT 24753337 SOS 18436038 HAS SOPS 18436038 HAS SOUS 1848287 HAS SOUPS 1848287 WITH SCORE 1866723.038
AT ITER 3007 NEW BEST:: SOT 24748943 SOS 18379995 HAS SOPS 18379995 HAS SOUS 1847757 HAS SOUPS 1847757 WITH SCORE 1866136.995
AT ITER 3049 NEW BEST:: SOT 24746445 SOS 18356776 HAS SOPS 18356776 HAS SOUS 1846911 HAS SOUPS 1846911 WITH SCORE 1865267.776
AT ITER 3063 NEW BEST:: SOT 24744603 SOS 18341104 HAS SOPS 18341104 HAS SOUS 1846894 HAS SOUPS 1846894 WITH SCORE 1865235.104
AT ITER 3073 NEW BEST:: SOT 24739583 SOS 18297954 HAS SOPS 18297954 HAS SOUS 1846414 HAS SOUPS 1846414 WITH SCORE 1864711.954
AT ITER 3086 NEW BEST:: SOT 24736306 SOS 18267760 HAS SOPS 18267760 HAS SOUS 1845087 HAS SOUPS 1845087 WITH SCORE 1863354.76
AT ITER 3100 NEW BEST:: SOT 24736208 SOS 18266923 HAS SOPS 18266923 HAS SOUS 1845083 HAS SOUPS 1845083 WITH SCORE 1863349.923
AT ITER 3138 NEW BEST:: SOT 24736208 SOS 18264519 HAS SOPS 18264519 HAS SOUS 1842759 HAS SOUPS 1842759 WITH SCORE 1861023.519
AT ITER 3164 NEW BEST:: SOT 24731905 SOS 18225094 HAS SOPS 18225094 HAS SOUS 1841537 HAS SOUPS 1841537 WITH SCORE 1859762.094
AT ITER 3191 NEW BEST:: SOT 24728839 SOS 18197500 HAS SOPS 18197500 HAS SOUS 1840004 HAS SOUPS 1840004 WITH SCORE 1858201.5
AT ITER 3201 NEW BEST:: SOT 24727787 SOS 18184170 HAS SOPS 18184170 HAS SOUS 1839786 HAS SOUPS 1839786 WITH SCORE 1857970.17
AT ITER 3221 NEW BEST:: SOT 24724006 SOS 18148806 HAS SOPS 18148806 HAS SOUS 1838458 HAS SOUPS 1838458 WITH SCORE 1856606.806
AT ITER 3224 NEW BEST:: SOT 24720256 SOS 18116927 HAS SOPS 18116927 HAS SOUS 1838454 HAS SOUPS 1838454 WITH SCORE 1856570.927
AT ITER 3307 NEW BEST:: SOT 24716580 SOS 18082865 HAS SOPS 18082865 HAS SOUS 1836898 HAS SOUPS 1836898 WITH SCORE 1854980.865
AT ITER 3313 NEW BEST:: SOT 24716580 SOS 18082860 HAS SOPS 18082860 HAS SOUS 1836893 HAS SOUPS 1836893 WITH SCORE 1854975.86
AT ITER 3351 NEW BEST:: SOT 24716520 SOS 18082523 HAS SOPS 18082523 HAS SOUS 1836616 HAS SOUPS 1836616 WITH SCORE 1854698.523
AT ITER 3429 NEW BEST:: SOT 24712553 SOS 18046144 HAS SOPS 18046144 HAS SOUS 1834847 HAS SOUPS 1834847 WITH SCORE 1852893.144
AT ITER 3440 NEW BEST:: SOT 24712553 SOS 18046127 HAS SOPS 18046127 HAS SOUS 1834830 HAS SOUPS 1834830 WITH SCORE 1852876.127
AT ITER 3469 NEW BEST:: SOT 24711405 SOS 18036365 HAS SOPS 18036365 HAS SOUS 1834826 HAS SOUPS 1834826 WITH SCORE 1852862.365
AT ITER 3526 NEW BEST:: SOT 24706607 SOS 17995275 HAS SOPS 17995275 HAS SOUS 1834519 HAS SOUPS 1834519 WITH SCORE 1852514.275
AT ITER 3546 NEW BEST:: SOT 24703271 SOS 17966187 HAS SOPS 17966187 HAS SOUS 1833787 HAS SOUPS 1833787 WITH SCORE 1851753.187
AT ITER 3566 NEW BEST:: SOT 24703264 SOS 17966133 HAS SOPS 17966133 HAS SOUS 1833740 HAS SOUPS 1833740 WITH SCORE 1851706.133
AT ITER 3602 NEW BEST:: SOT 24699884 SOS 17937394 HAS SOPS 17937394 HAS SOUS 1833731 HAS SOUPS 1833731 WITH SCORE 1851668.394
AT ITER 3616 NEW BEST:: SOT 24699884 SOS 17937381 HAS SOPS 17937381 HAS SOUS 1833718 HAS SOUPS 1833718 WITH SCORE 1851655.381
AT ITER 3644 NEW BEST:: SOT 24698241 SOS 17921343 HAS SOPS 17921343 HAS SOUS 1833303 HAS SOUPS 1833303 WITH SCORE 1851224.343
AT ITER 3663 NEW BEST:: SOT 24695557 SOS 17898528 HAS SOPS 17898528 HAS SOUS 1833302 HAS SOUPS 1833302 WITH SCORE 1851200.528
AT ITER 3678 NEW BEST:: SOT 24695557 SOS 17898525 HAS SOPS 17898525 HAS SOUS 1833299 HAS SOUPS 1833299 WITH SCORE 1851197.525
AT ITER 3707 NEW BEST:: SOT 24692051 SOS 17866971 HAS SOPS 17866971 HAS SOUS 1831546 HAS SOUPS 1831546 WITH SCORE 1849412.971
AT ITER 3708 NEW BEST:: SOT 24687872 SOS 17814515 HAS SOPS 17814515 HAS SOUS 1830864 HAS SOUPS 1830864 WITH SCORE 1848678.515
AT ITER 3710 NEW BEST:: SOT 24685528 SOS 17794583 HAS SOPS 17794583 HAS SOUS 1830856 HAS SOUPS 1830856 WITH SCORE 1848650.583
AT ITER 3732 NEW BEST:: SOT 24681950 SOS 17762381 HAS SOPS 17762381 HAS SOUS 1829067 HAS SOUPS 1829067 WITH SCORE 1846829.381
AT ITER 3758 NEW BEST:: SOT 24680290 SOS 17748270 HAS SOPS 17748270 HAS SOUS 1829066 HAS SOUPS 1829066 WITH SCORE 1846814.27
AT ITER 3759 NEW BEST:: SOT 24676854 SOS 17719056 HAS SOPS 17719056 HAS SOUS 1829058 HAS SOUPS 1829058 WITH SCORE 1846777.056
AT ITER 3760 NEW BEST:: SOT 24674212 SOS 17696598 HAS SOPS 17696598 HAS SOUS 1829057 HAS SOUPS 1829057 WITH SCORE 1846753.598
AT ITER 3764 NEW BEST:: SOT 24670800 SOS 17667593 HAS SOPS 17667593 HAS SOUS 1829054 HAS SOUPS 1829054 WITH SCORE 1846721.593
AT ITER 3769 NEW BEST:: SOT 24670120 SOS 17676425 HAS SOPS 17676425 HAS SOUS 1828956 HAS SOUPS 1828956 WITH SCORE 1846632.425
AT ITER 3775 NEW BEST:: SOT 24669756 SOS 17673170 HAS SOPS 17673170 HAS SOUS 1828795 HAS SOUPS 1828795 WITH SCORE 1846468.17
AT ITER 3789 NEW BEST:: SOT 24667414 SOS 17653250 HAS SOPS 17653250 HAS SOUS 1828782 HAS SOUPS 1828782 WITH SCORE 1846435.25
AT ITER 3790 NEW BEST:: SOT 24665762 SOS 17637688 HAS SOPS 17637688 HAS SOUS 1828192 HAS SOUPS 1828192 WITH SCORE 1845829.688
AT ITER 3799 NEW BEST:: SOT 24665078 SOS 17631873 HAS SOPS 17631873 HAS SOUS 1828191 HAS SOUPS 1828191 WITH SCORE 1845822.873
AT ITER 3817 NEW BEST:: SOT 24664398 SOS 17625753 HAS SOPS 17625753 HAS SOUS 1827851 HAS SOUPS 1827851 WITH SCORE 1845476.753
AT ITER 3832 NEW BEST:: SOT 24661510 SOS 17599229 HAS SOPS 17599229 HAS SOUS 1826445 HAS SOUPS 1826445 WITH SCORE 1844044.229
AT ITER 3873 NEW BEST:: SOT 24657513 SOS 17562595 HAS SOPS 17562595 HAS SOUS 1824888 HAS SOUPS 1824888 WITH SCORE 1842450.595
AT ITER 3892 NEW BEST:: SOT 24653189 SOS 17525806 HAS SOPS 17525806 HAS SOUS 1824853 HAS SOUPS 1824853 WITH SCORE 1842378.806
AT ITER 3898 NEW BEST:: SOT 24650861 SOS 17504854 HAS SOPS 17504854 HAS SOUS 1823689 HAS SOUPS 1823689 WITH SCORE 1841193.854
AT ITER 3985 NEW BEST:: SOT 24650713 SOS 17503593 HAS SOPS 17503593 HAS SOUS 1823686 HAS SOUPS 1823686 WITH SCORE 1841189.593
AT ITER 3994 NEW BEST:: SOT 24650713 SOS 17503582 HAS SOPS 17503582 HAS SOUS 1823675 HAS SOUPS 1823675 WITH SCORE 1841178.582
AT ITER 4009 NEW BEST:: SOT 24650713 SOS 17503544 HAS SOPS 17503544 HAS SOUS 1823637 HAS SOUPS 1823637 WITH SCORE 1841140.544
AT ITER 4017 NEW BEST:: SOT 24644821 SOS 17450029 HAS SOPS 17450029 HAS SOUS 1821494 HAS SOUPS 1821494 WITH SCORE 1838944.029
AT ITER 4041 NEW BEST:: SOT 24644271 SOS 17445347 HAS SOPS 17445347 HAS SOUS 1821487 HAS SOUPS 1821487 WITH SCORE 1838932.347
AT ITER 4072 NEW BEST:: SOT 24640305 SOS 17409917 HAS SOPS 17409917 HAS SOUS 1819768 HAS SOUPS 1819768 WITH SCORE 1837177.917
AT ITER 4075 NEW BEST:: SOT 24640095 SOS 17408027 HAS SOPS 17408027 HAS SOUS 1819661 HAS SOUPS 1819661 WITH SCORE 1837069.027
AT ITER 4102 NEW BEST:: SOT 24639759 SOS 17405124 HAS SOPS 17405124 HAS SOUS 1819614 HAS SOUPS 1819614 WITH SCORE 1837019.124
AT ITER 4130 NEW BEST:: SOT 24635679 SOS 17368404 HAS SOPS 17368404 HAS SOUS 1817574 HAS SOUPS 1817574 WITH SCORE 1834942.404
AT ITER 4134 NEW BEST:: SOT 24635337 SOS 17365326 HAS SOPS 17365326 HAS SOUS 1817403 HAS SOUPS 1817403 WITH SCORE 1834768.326
AT ITER 4190 NEW BEST:: SOT 24634185 SOS 17353807 HAS SOPS 17353807 HAS SOUS 1817146 HAS SOUPS 1817146 WITH SCORE 1834499.807
AT ITER 4206 NEW BEST:: SOT 24631877 SOS 17333035 HAS SOPS 17333035 HAS SOUS 1815992 HAS SOUPS 1815992 WITH SCORE 1833325.035
AT ITER 4207 NEW BEST:: SOT 24631877 SOS 17333033 HAS SOPS 17333033 HAS SOUS 1815990 HAS SOUPS 1815990 WITH SCORE 1833323.033
AT ITER 4208 NEW BEST:: SOT 24627503 SOS 17294079 HAS SOPS 17294079 HAS SOUS 1815865 HAS SOUPS 1815865 WITH SCORE 1833159.079
AT ITER 4241 NEW BEST:: SOT 24625633 SOS 17278172 HAS SOPS 17278172 HAS SOUS 1815853 HAS SOUPS 1815853 WITH SCORE 1833131.172
AT ITER 4255 NEW BEST:: SOT 24623880 SOS 17272913 HAS SOPS 17272913 HAS SOUS 1812347 HAS SOUPS 1812347 WITH SCORE 1829619.913
AT ITER 4256 NEW BEST:: SOT 24621166 SOS 17248487 HAS SOPS 17248487 HAS SOUS 1810990 HAS SOUPS 1810990 WITH SCORE 1828238.487
AT ITER 4262 NEW BEST:: SOT 24618924 SOS 17227777 HAS SOPS 17227777 HAS SOUS 1809905 HAS SOUPS 1809905 WITH SCORE 1827132.777
AT ITER 4278 NEW BEST:: SOT 24617637 SOS 17214517 HAS SOPS 17214517 HAS SOUS 1809452 HAS SOUPS 1809452 WITH SCORE 1826666.517
AT ITER 4288 NEW BEST:: SOT 24615635 SOS 17197497 HAS SOPS 17197497 HAS SOUS 1809449 HAS SOUPS 1809449 WITH SCORE 1826646.497
AT ITER 4297 NEW BEST:: SOT 24610687 SOS 17152965 HAS SOPS 17152965 HAS SOUS 1806975 HAS SOUPS 1806975 WITH SCORE 1824127.965
AT ITER 4315 NEW BEST:: SOT 24610687 SOS 17152962 HAS SOPS 17152962 HAS SOUS 1806972 HAS SOUPS 1806972 WITH SCORE 1824124.962
AT ITER 4328 NEW BEST:: SOT 24607525 SOS 17124504 HAS SOPS 17124504 HAS SOUS 1805391 HAS SOUPS 1805391 WITH SCORE 1822515.504
AT ITER 4346 NEW BEST:: SOT 24607525 SOS 17123862 HAS SOPS 17123862 HAS SOUS 1804749 HAS SOUPS 1804749 WITH SCORE 1821872.862
AT ITER 4363 NEW BEST:: SOT 24602349 SOS 17076389 HAS SOPS 17076389 HAS SOUS 1802517 HAS SOUPS 1802517 WITH SCORE 1819593.389
AT ITER 4379 NEW BEST:: SOT 24598741 SOS 17043917 HAS SOPS 17043917 HAS SOUS 1800713 HAS SOUPS 1800713 WITH SCORE 1817756.917
AT ITER 4386 NEW BEST:: SOT 24594695 SOS 17006052 HAS SOPS 17006052 HAS SOUS 1798904 HAS SOUPS 1798904 WITH SCORE 1815910.052
AT ITER 4391 NEW BEST:: SOT 24593071 SOS 16992070 HAS SOPS 16992070 HAS SOUS 1798724 HAS SOUPS 1798724 WITH SCORE 1815716.07
AT ITER 4393 NEW BEST:: SOT 24592693 SOS 16988472 HAS SOPS 16988472 HAS SOUS 1798549 HAS SOUPS 1798549 WITH SCORE 1815537.472
AT ITER 4399 NEW BEST:: SOT 24592693 SOS 16988420 HAS SOPS 16988420 HAS SOUS 1798495 HAS SOUPS 1798495 WITH SCORE 1815483.42
AT ITER 4465 NEW BEST:: SOT 24589804 SOS 16961838 HAS SOPS 16961838 HAS SOUS 1797092 HAS SOUPS 1797092 WITH SCORE 1814053.838
AT ITER 4491 NEW BEST:: SOT 24588858 SOS 16952514 HAS SOPS 16952514 HAS SOUS 1796799 HAS SOUPS 1796799 WITH SCORE 1813751.514
AT ITER 4513 NEW BEST:: SOT 24588858 SOS 16952481 HAS SOPS 16952481 HAS SOUS 1796766 HAS SOUPS 1796766 WITH SCORE 1813718.481
AT ITER 4552 NEW BEST:: SOT 24587197 SOS 16927839 HAS SOPS 16927839 HAS SOUS 1796624 HAS SOUPS 1796624 WITH SCORE 1813551.839
AT ITER 4565 NEW BEST:: SOT 24586541 SOS 16926520 HAS SOPS 16926520 HAS SOUS 1795961 HAS SOUPS 1795961 WITH SCORE 1812887.52
AT ITER 4582 NEW BEST:: SOT 24584985 SOS 16913279 HAS SOPS 16913279 HAS SOUS 1795944 HAS SOUPS 1795944 WITH SCORE 1812857.279
AT ITER 4590 NEW BEST:: SOT 24584985 SOS 16913272 HAS SOPS 16913272 HAS SOUS 1795937 HAS SOUPS 1795937 WITH SCORE 1812850.272
AT ITER 4624 NEW BEST:: SOT 24583857 SOS 16900532 HAS SOPS 16900532 HAS SOUS 1795860 HAS SOUPS 1795860 WITH SCORE 1812760.532
AT ITER 4633 NEW BEST:: SOT 24582393 SOS 16887356 HAS SOPS 16887356 HAS SOUS 1795128 HAS SOUPS 1795128 WITH SCORE 1812015.356
AT ITER 4666 NEW BEST:: SOT 24581135 SOS 16875921 HAS SOPS 16875921 HAS SOUS 1794791 HAS SOUPS 1794791 WITH SCORE 1811666.921
AT ITER 4680 NEW BEST:: SOT 24581098 SOS 16876365 HAS SOPS 16876365 HAS SOUS 1794717 HAS SOUPS 1794717 WITH SCORE 1811593.365
AT ITER 4697 NEW BEST:: SOT 24578614 SOS 16850831 HAS SOPS 16850831 HAS SOUS 1793700 HAS SOUPS 1793700 WITH SCORE 1810550.831
AT ITER 4704 NEW BEST:: SOT 24576406 SOS 16831055 HAS SOPS 16831055 HAS SOUS 1792692 HAS SOUPS 1792692 WITH SCORE 1809523.055
AT ITER 4789 NEW BEST:: SOT 24576637 SOS 16834520 HAS SOPS 16834520 HAS SOUS 1792461 HAS SOUPS 1792461 WITH SCORE 1809295.52
AT ITER 4807 NEW BEST:: SOT 24576345 SOS 16831892 HAS SOPS 16831892 HAS SOUS 1792315 HAS SOUPS 1792315 WITH SCORE 1809146.892
AT ITER 4825 NEW BEST:: SOT 24574753 SOS 16818354 HAS SOPS 16818354 HAS SOUS 1792309 HAS SOUPS 1792309 WITH SCORE 1809127.354
AT ITER 4830 NEW BEST:: SOT 24574005 SOS 16811146 HAS SOPS 16811146 HAS SOUS 1791969 HAS SOUPS 1791969 WITH SCORE 1808780.146
AT ITER 4838 NEW BEST:: SOT 24574005 SOS 16810357 HAS SOPS 16810357 HAS SOUS 1791180 HAS SOUPS 1791180 WITH SCORE 1807990.357
AT ITER 4844 NEW BEST:: SOT 24571890 SOS 16790079 HAS SOPS 16790079 HAS SOUS 1790612 HAS SOUPS 1790612 WITH SCORE 1807402.079
AT ITER 4867 NEW BEST:: SOT 24569075 SOS 16758082 HAS SOPS 16758082 HAS SOUS 1790435 HAS SOUPS 1790435 WITH SCORE 1807193.082
AT ITER 4896 NEW BEST:: SOT 24567150 SOS 16756002 HAS SOPS 16756002 HAS SOUS 1790358 HAS SOUPS 1790358 WITH SCORE 1807114.002
AT ITER 4907 NEW BEST:: SOT 24566600 SOS 16751323 HAS SOPS 16751323 HAS SOUS 1790354 HAS SOUPS 1790354 WITH SCORE 1807105.323
AT ITER 4955 NEW BEST:: SOT 24563156 SOS 16720327 HAS SOPS 16720327 HAS SOUS 1788632 HAS SOUPS 1788632 WITH SCORE 1805352.327
AT ITER 4959 NEW BEST:: SOT 24559872 SOS 16678270 HAS SOPS 16678270 HAS SOUS 1788033 HAS SOUPS 1788033 WITH SCORE 1804711.27
AT ITER 4973 NEW BEST:: SOT 24553514 SOS 16624215 HAS SOPS 16624215 HAS SOUS 1788021 HAS SOUPS 1788021 WITH SCORE 1804645.215
AT ITER 4983 NEW BEST:: SOT 24553220 SOS 16620337 HAS SOPS 16620337 HAS SOUS 1787962 HAS SOUPS 1787962 WITH SCORE 1804582.337
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-00 (! ( ( (EF(potential( (tk(P2064)) <= (tk(P2363)) ))) & (EG( potential( (tk(P2835)) <= (tk(P1834)) ))) ) | (EG( ( potential( ( 3 ) <= (tk(P2545)) ) & potential( ( 1 ) <= (tk(P1160)) ) ))) ))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-01 ( ( (AU( potential( ( 3 ) <= (tk(P4827)) ),potential( ( 1 ) <= (tk(P3596)) ) )) | ( potential( (tk(P3549)) <= (tk(P1563)) ) | (EG( potential( (tk(P3371)) <= (tk(P1487)) ))) ) ) & (! ( (AF(potential( ( 2 ) <= (tk(P643)) ))) & ( (! potential( ( 1 ) <= (tk(P4910)) )) & potential( (tk(P4420)) <= (tk(P4393)) ) ) )) )
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-02 (EF((! (! ( potential( ( 2 ) <= (tk(P3168)) ) & potential( ( 3 ) <= (tk(P4645)) ) )))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-03 (EG( ( (AG( potential( (tk(P1704)) <= (tk(P2926)) ))) | (! (! potential( (tk(P1436)) <= (tk(P755)) ))) )))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-04 (EF((AU( potential( ( 3 ) <= (tk(P1490)) ),potential( ( 3 ) <= (tk(P3111)) ) ))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-05 ( potential( ( 2 ) <= (tk(P3408)) ) | (AF(( ( potential( (tk(P1017)) <= (tk(P2876)) ) | potential( (tk(P3244)) <= (tk(P2326)) ) ) & ( potential( ( 1 ) <= (tk(P1066)) ) & potential( (tk(P1601)) <= (tk(P4675)) ) ) ))) )
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-06 ( ( ( ( (! potential( ( 1 ) <= (tk(P407)) )) | ( potential( ( 2 ) <= (tk(P523)) ) | potential( (tk(P4188)) <= (tk(P4493)) ) ) ) | potential( (tk(P498)) <= (tk(P3409)) ) ) | (AG( (! potential( (tk(P2237)) <= (tk(P2927)) )))) ) & (AF(( (! potential( (tk(P2773)) <= (tk(P3786)) )) & potential( (tk(P2782)) <= (tk(P1154)) ) ))) )
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-07 ( (AF((EG( potential( (tk(P912)) <= (tk(P3757)) ))))) & potential( (tk(P1847)) <= (tk(P1881)) ) )
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-08 (EG( (EF(potential( ( 2 ) <= (tk(P360)) )))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-09 (EG( potential( (tk(P4202)) <= (tk(P1886)) )))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-10 (! (EG( (EF(potential( ( 1 ) <= (tk(P2927)) ))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-11 (AG( (AU( potential( (tk(P801)) <= (tk(P590)) ),potential( (tk(P182)) <= (tk(P2723)) ) ))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-12 (EG( ( (! (! potential( (tk(P2292)) <= (tk(P1792)) ))) | ( ( potential( ( 3 ) <= (tk(P393)) ) & potential( (tk(P4249)) <= (tk(P4192)) ) ) & ( potential( (tk(P2376)) <= (tk(P481)) ) | potential( (tk(P1232)) <= (tk(P620)) ) ) ) )))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-13 ( ( ( (AG( potential( ( 1 ) <= (tk(P2251)) ))) & (EF(potential( ( 1 ) <= (tk(P2082)) ))) ) & (EG( ( potential( (tk(P3550)) <= (tk(P1047)) ) | potential( (tk(P4454)) <= (tk(P1258)) ) ))) ) | (! potential( (tk(P371)) <= (tk(P3301)) )) )
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-14 (! (AG( (AF(potential( (tk(P1382)) <= (tk(P1202)) ))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A02-CTLCardinality-15 ( (EU( ( potential( (tk(P3573)) <= (tk(P2267)) ) | potential( (tk(P4379)) <= (tk(P1126)) ) ),( potential( ( 2 ) <= (tk(P390)) ) & potential( (tk(P966)) <= (tk(P1299)) ) ) )) & (EG( (EX( potential( ( 1 ) <= (tk(P350)) ))))) )
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="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ViralEpidemic-PT-S16D2C4A02, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033539000579"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;