Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534800608.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Peterson-PT-2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534800608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 868K
-rw-r--r-- 1 mcc users 13K Feb 25 22:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 22:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K Feb 25 22:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 124K Feb 25 22:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 38K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 24K Feb 25 22:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K Feb 25 22:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 33K Feb 25 22:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 185K Feb 25 22:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 100K Mar 5 18:23 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 1678834294625

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Peterson-PT-2
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (PT), instance 2
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 102 places, 126 transitions, 384 arcs.
AT ITER 0 NEW BEST:: SOT 8359 SOS 3233 HAS SOPS 2892 HAS SOUS 3054 HAS SOUPS 2851 WITH SCORE 2854.233
AT ITER 1 NEW BEST:: SOT 8350 SOS 3215 HAS SOPS 2874 HAS SOUS 3036 HAS SOUPS 2833 WITH SCORE 2836.215
AT ITER 5 NEW BEST:: SOT 8349 SOS 3213 HAS SOPS 2872 HAS SOUS 3034 HAS SOUPS 2831 WITH SCORE 2834.213
AT ITER 11 NEW BEST:: SOT 8349 SOS 3209 HAS SOPS 2868 HAS SOUS 3030 HAS SOUPS 2827 WITH SCORE 2830.209
AT ITER 21 NEW BEST:: SOT 8334 SOS 3179 HAS SOPS 2838 HAS SOUS 3000 HAS SOUPS 2797 WITH SCORE 2800.179
AT ITER 25 NEW BEST:: SOT 8321 SOS 3138 HAS SOPS 2797 HAS SOUS 2974 HAS SOUPS 2771 WITH SCORE 2774.138
AT ITER 32 NEW BEST:: SOT 8321 SOS 3127 HAS SOPS 2797 HAS SOUS 2974 HAS SOUPS 2771 WITH SCORE 2774.127
AT ITER 38 NEW BEST:: SOT 8306 SOS 3120 HAS SOPS 2805 HAS SOUS 2961 HAS SOUPS 2764 WITH SCORE 2767.12
AT ITER 41 NEW BEST:: SOT 8291 SOS 3106 HAS SOPS 2791 HAS SOUS 2934 HAS SOUPS 2737 WITH SCORE 2740.106
AT ITER 44 NEW BEST:: SOT 8291 SOS 3082 HAS SOPS 2743 HAS SOUS 2886 HAS SOUPS 2689 WITH SCORE 2692.082
AT ITER 52 NEW BEST:: SOT 8291 SOS 3105 HAS SOPS 2753 HAS SOUS 2890 HAS SOUPS 2677 WITH SCORE 2680.105
AT ITER 56 NEW BEST:: SOT 8269 SOS 3036 HAS SOPS 2659 HAS SOUS 2796 HAS SOUPS 2583 WITH SCORE 2586.036
AT ITER 62 NEW BEST:: SOT 8267 SOS 3032 HAS SOPS 2655 HAS SOUS 2792 HAS SOUPS 2579 WITH SCORE 2582.032
AT ITER 70 NEW BEST:: SOT 8267 SOS 3030 HAS SOPS 2655 HAS SOUS 2792 HAS SOUPS 2579 WITH SCORE 2582.03
AT ITER 85 NEW BEST:: SOT 8254 SOS 2979 HAS SOPS 2629 HAS SOUS 2741 HAS SOUPS 2553 WITH SCORE 2555.979
AT ITER 94 NEW BEST:: SOT 8248 SOS 2967 HAS SOPS 2617 HAS SOUS 2729 HAS SOUPS 2541 WITH SCORE 2543.967
AT ITER 95 NEW BEST:: SOT 8231 SOS 2939 HAS SOPS 2581 HAS SOUS 2705 HAS SOUPS 2514 WITH SCORE 2516.939
AT ITER 99 NEW BEST:: SOT 8230 SOS 2937 HAS SOPS 2579 HAS SOUS 2703 HAS SOUPS 2512 WITH SCORE 2514.937
AT ITER 107 NEW BEST:: SOT 8235 SOS 2926 HAS SOPS 2568 HAS SOUS 2701 HAS SOUPS 2510 WITH SCORE 2512.926
AT ITER 111 NEW BEST:: SOT 8216 SOS 2864 HAS SOPS 2506 HAS SOUS 2639 HAS SOUPS 2448 WITH SCORE 2450.864
AT ITER 125 NEW BEST:: SOT 8216 SOS 2852 HAS SOPS 2494 HAS SOUS 2639 HAS SOUPS 2448 WITH SCORE 2450.852
AT ITER 139 NEW BEST:: SOT 8196 SOS 2822 HAS SOPS 2480 HAS SOUS 2619 HAS SOUPS 2434 WITH SCORE 2436.822
AT ITER 151 NEW BEST:: SOT 8190 SOS 2819 HAS SOPS 2474 HAS SOUS 2613 HAS SOUPS 2428 WITH SCORE 2430.819
AT ITER 154 NEW BEST:: SOT 8178 SOS 2789 HAS SOPS 2490 HAS SOUS 2589 HAS SOUPS 2425 WITH SCORE 2427.789
AT ITER 161 NEW BEST:: SOT 8168 SOS 2779 HAS SOPS 2480 HAS SOUS 2579 HAS SOUPS 2415 WITH SCORE 2417.779
AT ITER 164 NEW BEST:: SOT 8163 SOS 2726 HAS SOPS 2460 HAS SOUS 2534 HAS SOUPS 2388 WITH SCORE 2390.726
AT ITER 172 NEW BEST:: SOT 8144 SOS 2710 HAS SOPS 2460 HAS SOUS 2522 HAS SOUPS 2388 WITH SCORE 2390.71
AT ITER 176 NEW BEST:: SOT 8144 SOS 2710 HAS SOPS 2392 HAS SOUS 2488 HAS SOUPS 2337 WITH SCORE 2339.71
AT ITER 187 NEW BEST:: SOT 8143 SOS 2708 HAS SOPS 2390 HAS SOUS 2486 HAS SOUPS 2335 WITH SCORE 2337.708
AT ITER 190 NEW BEST:: SOT 8143 SOS 2704 HAS SOPS 2390 HAS SOUS 2486 HAS SOUPS 2335 WITH SCORE 2337.704
AT ITER 191 NEW BEST:: SOT 8144 SOS 2704 HAS SOPS 2366 HAS SOUS 2480 HAS SOUPS 2311 WITH SCORE 2313.704
AT ITER 200 NEW BEST:: SOT 8140 SOS 2696 HAS SOPS 2358 HAS SOUS 2472 HAS SOUPS 2303 WITH SCORE 2305.696
AT ITER 205 NEW BEST:: SOT 8125 SOS 2667 HAS SOPS 2343 HAS SOUS 2439 HAS SOUPS 2275 WITH SCORE 2277.667
AT ITER 209 NEW BEST:: SOT 8112 SOS 2646 HAS SOPS 2322 HAS SOUS 2418 HAS SOUPS 2254 WITH SCORE 2256.646
AT ITER 211 NEW BEST:: SOT 8112 SOS 2645 HAS SOPS 2321 HAS SOUS 2418 HAS SOUPS 2254 WITH SCORE 2256.645
AT ITER 215 NEW BEST:: SOT 8082 SOS 2621 HAS SOPS 2284 HAS SOUS 2394 HAS SOUPS 2217 WITH SCORE 2219.621
AT ITER 225 NEW BEST:: SOT 8076 SOS 2618 HAS SOPS 2284 HAS SOUS 2391 HAS SOUPS 2217 WITH SCORE 2219.618
AT ITER 232 NEW BEST:: SOT 8075 SOS 2654 HAS SOPS 2307 HAS SOUS 2402 HAS SOUPS 2215 WITH SCORE 2217.654
AT ITER 235 NEW BEST:: SOT 8072 SOS 2648 HAS SOPS 2301 HAS SOUS 2396 HAS SOUPS 2209 WITH SCORE 2211.648
AT ITER 239 NEW BEST:: SOT 8067 SOS 2646 HAS SOPS 2293 HAS SOUS 2394 HAS SOUPS 2201 WITH SCORE 2203.646
AT ITER 261 NEW BEST:: SOT 8064 SOS 2641 HAS SOPS 2288 HAS SOUS 2388 HAS SOUPS 2195 WITH SCORE 2197.641
AT ITER 273 NEW BEST:: SOT 8043 SOS 2599 HAS SOPS 2246 HAS SOUS 2346 HAS SOUPS 2153 WITH SCORE 2155.599
AT ITER 278 NEW BEST:: SOT 8032 SOS 2586 HAS SOPS 2233 HAS SOUS 2331 HAS SOUPS 2138 WITH SCORE 2140.586
AT ITER 304 NEW BEST:: SOT 8032 SOS 2582 HAS SOPS 2229 HAS SOUS 2331 HAS SOUPS 2138 WITH SCORE 2140.582
AT ITER 312 NEW BEST:: SOT 8008 SOS 2576 HAS SOPS 2209 HAS SOUS 2325 HAS SOUPS 2118 WITH SCORE 2120.576
AT ITER 315 NEW BEST:: SOT 7993 SOS 2561 HAS SOPS 2194 HAS SOUS 2310 HAS SOUPS 2103 WITH SCORE 2105.561
AT ITER 321 NEW BEST:: SOT 7990 SOS 2547 HAS SOPS 2188 HAS SOUS 2298 HAS SOUPS 2093 WITH SCORE 2095.547
AT ITER 333 NEW BEST:: SOT 7987 SOS 2541 HAS SOPS 2182 HAS SOUS 2292 HAS SOUPS 2087 WITH SCORE 2089.541
AT ITER 335 NEW BEST:: SOT 7987 SOS 2530 HAS SOPS 2171 HAS SOUS 2292 HAS SOUPS 2087 WITH SCORE 2089.53
AT ITER 359 NEW BEST:: SOT 7960 SOS 2517 HAS SOPS 2144 HAS SOUS 2280 HAS SOUPS 2061 WITH SCORE 2063.517
AT ITER 365 NEW BEST:: SOT 7957 SOS 2514 HAS SOPS 2138 HAS SOUS 2279 HAS SOUPS 2057 WITH SCORE 2059.514
AT ITER 367 NEW BEST:: SOT 7952 SOS 2504 HAS SOPS 2128 HAS SOUS 2269 HAS SOUPS 2047 WITH SCORE 2049.504
AT ITER 369 NEW BEST:: SOT 7951 SOS 2502 HAS SOPS 2126 HAS SOUS 2267 HAS SOUPS 2045 WITH SCORE 2047.502
AT ITER 398 NEW BEST:: SOT 7951 SOS 2501 HAS SOPS 2126 HAS SOUS 2267 HAS SOUPS 2045 WITH SCORE 2047.501
AT ITER 399 NEW BEST:: SOT 7933 SOS 2476 HAS SOPS 2101 HAS SOUS 2250 HAS SOUPS 2028 WITH SCORE 2030.476
AT ITER 406 NEW BEST:: SOT 7933 SOS 2476 HAS SOPS 2097 HAS SOUS 2248 HAS SOUPS 2024 WITH SCORE 2026.476
AT ITER 422 NEW BEST:: SOT 7926 SOS 2483 HAS SOPS 2104 HAS SOUS 2243 HAS SOUPS 2019 WITH SCORE 2021.483
AT ITER 432 NEW BEST:: SOT 7922 SOS 2475 HAS SOPS 2096 HAS SOUS 2235 HAS SOUPS 2011 WITH SCORE 2013.475
AT ITER 436 NEW BEST:: SOT 7913 SOS 2474 HAS SOPS 2095 HAS SOUS 2217 HAS SOUPS 1993 WITH SCORE 1995.474
AT ITER 457 NEW BEST:: SOT 7917 SOS 2501 HAS SOPS 2076 HAS SOUS 2221 HAS SOUPS 1974 WITH SCORE 1976.501
AT ITER 462 NEW BEST:: SOT 7908 SOS 2472 HAS SOPS 2074 HAS SOUS 2208 HAS SOUPS 1970 WITH SCORE 1972.472
AT ITER 471 NEW BEST:: SOT 7911 SOS 2463 HAS SOPS 2074 HAS SOUS 2202 HAS SOUPS 1970 WITH SCORE 1972.463
AT ITER 472 NEW BEST:: SOT 7911 SOS 2462 HAS SOPS 2073 HAS SOUS 2202 HAS SOUPS 1970 WITH SCORE 1972.462
AT ITER 475 NEW BEST:: SOT 7903 SOS 2446 HAS SOPS 2057 HAS SOUS 2186 HAS SOUPS 1954 WITH SCORE 1956.446
AT ITER 488 NEW BEST:: SOT 7903 SOS 2442 HAS SOPS 2053 HAS SOUS 2186 HAS SOUPS 1954 WITH SCORE 1956.442
AT ITER 495 NEW BEST:: SOT 7919 SOS 2451 HAS SOPS 2075 HAS SOUS 2169 HAS SOUPS 1950 WITH SCORE 1952.451
AT ITER 518 NEW BEST:: SOT 7909 SOS 2448 HAS SOPS 2076 HAS SOUS 2165 HAS SOUPS 1950 WITH SCORE 1952.448
AT ITER 521 NEW BEST:: SOT 7909 SOS 2440 HAS SOPS 2076 HAS SOUS 2159 HAS SOUPS 1946 WITH SCORE 1948.44
AT ITER 539 NEW BEST:: SOT 7905 SOS 2438 HAS SOPS 2074 HAS SOUS 2151 HAS SOUPS 1938 WITH SCORE 1940.438
AT ITER 544 NEW BEST:: SOT 7915 SOS 2503 HAS SOPS 2120 HAS SOUS 2166 HAS SOUPS 1937 WITH SCORE 1939.503
AT ITER 568 NEW BEST:: SOT 7914 SOS 2501 HAS SOPS 2118 HAS SOUS 2164 HAS SOUPS 1935 WITH SCORE 1937.501
AT ITER 585 NEW BEST:: SOT 7909 SOS 2496 HAS SOPS 2113 HAS SOUS 2154 HAS SOUPS 1925 WITH SCORE 1927.496
AT ITER 590 NEW BEST:: SOT 7909 SOS 2488 HAS SOPS 2113 HAS SOUS 2146 HAS SOUPS 1925 WITH SCORE 1927.488
AT ITER 621 NEW BEST:: SOT 7909 SOS 2482 HAS SOPS 2107 HAS SOUS 2140 HAS SOUPS 1919 WITH SCORE 1921.482
AT ITER 644 NEW BEST:: SOT 7909 SOS 2454 HAS SOPS 2111 HAS SOUS 2124 HAS SOUPS 1911 WITH SCORE 1913.454
AT ITER 679 NEW BEST:: SOT 7887 SOS 2424 HAS SOPS 2107 HAS SOUS 2120 HAS SOUPS 1907 WITH SCORE 1909.424
AT ITER 694 NEW BEST:: SOT 7885 SOS 2422 HAS SOPS 2107 HAS SOUS 2120 HAS SOUPS 1907 WITH SCORE 1909.422
AT ITER 700 NEW BEST:: SOT 7879 SOS 2419 HAS SOPS 2104 HAS SOUS 2109 HAS SOUPS 1896 WITH SCORE 1898.419
AT ITER 730 NEW BEST:: SOT 7863 SOS 2411 HAS SOPS 2097 HAS SOUS 2099 HAS SOUPS 1886 WITH SCORE 1888.411
AT ITER 747 NEW BEST:: SOT 7863 SOS 2399 HAS SOPS 2097 HAS SOUS 2093 HAS SOUPS 1886 WITH SCORE 1888.399
AT ITER 828 NEW BEST:: SOT 7862 SOS 2391 HAS SOPS 2089 HAS SOUS 2091 HAS SOUPS 1884 WITH SCORE 1886.391
AT ITER 835 NEW BEST:: SOT 7858 SOS 2393 HAS SOPS 2081 HAS SOUS 2093 HAS SOUPS 1881 WITH SCORE 1883.393
AT ITER 848 NEW BEST:: SOT 7856 SOS 2387 HAS SOPS 2081 HAS SOUS 2091 HAS SOUPS 1881 WITH SCORE 1883.387
AT ITER 856 NEW BEST:: SOT 7856 SOS 2354 HAS SOPS 2067 HAS SOUS 2082 HAS SOUPS 1879 WITH SCORE 1881.354
AT ITER 861 NEW BEST:: SOT 7855 SOS 2353 HAS SOPS 2064 HAS SOUS 2080 HAS SOUPS 1876 WITH SCORE 1878.353
AT ITER 873 NEW BEST:: SOT 7835 SOS 2299 HAS SOPS 2054 HAS SOUS 2036 HAS SOUPS 1849 WITH SCORE 1851.299
AT ITER 876 NEW BEST:: SOT 7836 SOS 2300 HAS SOPS 2051 HAS SOUS 2033 HAS SOUPS 1846 WITH SCORE 1848.3
AT ITER 880 NEW BEST:: SOT 7809 SOS 2324 HAS SOPS 2075 HAS SOUS 2031 HAS SOUPS 1844 WITH SCORE 1846.324
AT ITER 881 NEW BEST:: SOT 7814 SOS 2323 HAS SOPS 2080 HAS SOUS 2025 HAS SOUPS 1844 WITH SCORE 1846.323
AT ITER 903 NEW BEST:: SOT 7813 SOS 2321 HAS SOPS 2078 HAS SOUS 2023 HAS SOUPS 1842 WITH SCORE 1844.321
AT ITER 927 NEW BEST:: SOT 7811 SOS 2317 HAS SOPS 2076 HAS SOUS 2017 HAS SOUPS 1838 WITH SCORE 1840.317
AT ITER 962 NEW BEST:: SOT 7814 SOS 2323 HAS SOPS 2074 HAS SOUS 2019 HAS SOUPS 1836 WITH SCORE 1838.323
AT ITER 963 NEW BEST:: SOT 7814 SOS 2310 HAS SOPS 2061 HAS SOUS 2006 HAS SOUPS 1823 WITH SCORE 1825.31
AT ITER 980 NEW BEST:: SOT 7808 SOS 2306 HAS SOPS 2057 HAS SOUS 2002 HAS SOUPS 1819 WITH SCORE 1821.306
AT ITER 1021 NEW BEST:: SOT 7807 SOS 2306 HAS SOPS 2057 HAS SOUS 2000 HAS SOUPS 1817 WITH SCORE 1819.306
AT ITER 1051 NEW BEST:: SOT 7810 SOS 2295 HAS SOPS 2046 HAS SOUS 1989 HAS SOUPS 1806 WITH SCORE 1808.295
AT ITER 1127 NEW BEST:: SOT 7804 SOS 2315 HAS SOPS 2042 HAS SOUS 1997 HAS SOUPS 1802 WITH SCORE 1804.315
AT ITER 1153 NEW BEST:: SOT 7806 SOS 2328 HAS SOPS 2052 HAS SOUS 1996 HAS SOUPS 1801 WITH SCORE 1803.328
AT ITER 1179 NEW BEST:: SOT 7806 SOS 2327 HAS SOPS 2051 HAS SOUS 1995 HAS SOUPS 1800 WITH SCORE 1802.327
AT ITER 1184 NEW BEST:: SOT 7795 SOS 2292 HAS SOPS 2022 HAS SOUS 1979 HAS SOUPS 1790 WITH SCORE 1792.292
AT ITER 1193 NEW BEST:: SOT 7791 SOS 2276 HAS SOPS 2006 HAS SOUS 1971 HAS SOUPS 1782 WITH SCORE 1784.276
AT ITER 1203 NEW BEST:: SOT 7789 SOS 2291 HAS SOPS 2002 HAS SOUS 1986 HAS SOUPS 1778 WITH SCORE 1780.291
AT ITER 1205 NEW BEST:: SOT 7787 SOS 2289 HAS SOPS 2002 HAS SOUS 1984 HAS SOUPS 1778 WITH SCORE 1780.289
AT ITER 1211 NEW BEST:: SOT 7785 SOS 2283 HAS SOPS 1996 HAS SOUS 1978 HAS SOUPS 1772 WITH SCORE 1774.283
AT ITER 1221 NEW BEST:: SOT 7788 SOS 2289 HAS SOPS 2002 HAS SOUS 1975 HAS SOUPS 1769 WITH SCORE 1771.289
AT ITER 1244 NEW BEST:: SOT 7784 SOS 2291 HAS SOPS 1996 HAS SOUS 1980 HAS SOUPS 1766 WITH SCORE 1768.291
AT ITER 1249 NEW BEST:: SOT 7782 SOS 2287 HAS SOPS 1992 HAS SOUS 1976 HAS SOUPS 1762 WITH SCORE 1764.287
AT ITER 1268 NEW BEST:: SOT 7780 SOS 2283 HAS SOPS 1988 HAS SOUS 1972 HAS SOUPS 1758 WITH SCORE 1760.283
AT ITER 1283 NEW BEST:: SOT 7779 SOS 2278 HAS SOPS 1980 HAS SOUS 1967 HAS SOUPS 1750 WITH SCORE 1752.278
AT ITER 1294 NEW BEST:: SOT 7765 SOS 2275 HAS SOPS 1949 HAS SOUS 1945 HAS SOUPS 1719 WITH SCORE 1721.275
AT ITER 1326 NEW BEST:: SOT 7763 SOS 2271 HAS SOPS 1949 HAS SOUS 1941 HAS SOUPS 1719 WITH SCORE 1721.271
AT ITER 1353 NEW BEST:: SOT 7763 SOS 2272 HAS SOPS 1945 HAS SOUS 1938 HAS SOUPS 1715 WITH SCORE 1717.272
AT ITER 1361 NEW BEST:: SOT 7763 SOS 2269 HAS SOPS 1945 HAS SOUS 1935 HAS SOUPS 1715 WITH SCORE 1717.269
AT ITER 1366 NEW BEST:: SOT 7757 SOS 2266 HAS SOPS 1925 HAS SOUS 1943 HAS SOUPS 1709 WITH SCORE 1711.266
AT ITER 1381 NEW BEST:: SOT 7749 SOS 2281 HAS SOPS 1911 HAS SOUS 1955 HAS SOUPS 1707 WITH SCORE 1709.281
AT ITER 1391 NEW BEST:: SOT 7749 SOS 2281 HAS SOPS 1896 HAS SOUS 1955 HAS SOUPS 1692 WITH SCORE 1694.281
AT ITER 1400 NEW BEST:: SOT 7746 SOS 2260 HAS SOPS 1886 HAS SOUS 1934 HAS SOUPS 1676 WITH SCORE 1678.26
AT ITER 1441 NEW BEST:: SOT 7742 SOS 2252 HAS SOPS 1878 HAS SOUS 1926 HAS SOUPS 1668 WITH SCORE 1670.252
AT ITER 1447 NEW BEST:: SOT 7739 SOS 2248 HAS SOPS 1874 HAS SOUS 1922 HAS SOUPS 1664 WITH SCORE 1666.248
AT ITER 1460 NEW BEST:: SOT 7742 SOS 2249 HAS SOPS 1866 HAS SOUS 1916 HAS SOUPS 1658 WITH SCORE 1660.249
AT ITER 1489 NEW BEST:: SOT 7742 SOS 2246 HAS SOPS 1863 HAS SOUS 1916 HAS SOUPS 1658 WITH SCORE 1660.246
AT ITER 1490 NEW BEST:: SOT 7742 SOS 2242 HAS SOPS 1859 HAS SOUS 1914 HAS SOUPS 1656 WITH SCORE 1658.242
AT ITER 1560 NEW BEST:: SOT 7747 SOS 2241 HAS SOPS 1858 HAS SOUS 1899 HAS SOUPS 1641 WITH SCORE 1643.241
AT ITER 1571 NEW BEST:: SOT 7743 SOS 2228 HAS SOPS 1845 HAS SOUS 1886 HAS SOUPS 1628 WITH SCORE 1630.228
AT ITER 1585 NEW BEST:: SOT 7741 SOS 2224 HAS SOPS 1841 HAS SOUS 1882 HAS SOUPS 1624 WITH SCORE 1626.224
AT ITER 1604 NEW BEST:: SOT 7732 SOS 2194 HAS SOPS 1823 HAS SOUS 1846 HAS SOUPS 1597 WITH SCORE 1599.194
AT ITER 1620 NEW BEST:: SOT 7727 SOS 2183 HAS SOPS 1812 HAS SOUS 1835 HAS SOUPS 1586 WITH SCORE 1588.183
AT ITER 1625 NEW BEST:: SOT 7721 SOS 2181 HAS SOPS 1804 HAS SOUS 1835 HAS SOUPS 1580 WITH SCORE 1582.181
AT ITER 1629 NEW BEST:: SOT 7713 SOS 2170 HAS SOPS 1793 HAS SOUS 1833 HAS SOUPS 1578 WITH SCORE 1580.17
AT ITER 1637 NEW BEST:: SOT 7702 SOS 2200 HAS SOPS 1785 HAS SOUS 1841 HAS SOUPS 1571 WITH SCORE 1573.2
AT ITER 1667 NEW BEST:: SOT 7696 SOS 2200 HAS SOPS 1773 HAS SOUS 1835 HAS SOUPS 1559 WITH SCORE 1561.2
AT ITER 1750 NEW BEST:: SOT 7695 SOS 2198 HAS SOPS 1771 HAS SOUS 1833 HAS SOUPS 1557 WITH SCORE 1559.198
AT ITER 1805 NEW BEST:: SOT 7694 SOS 2196 HAS SOPS 1769 HAS SOUS 1831 HAS SOUPS 1555 WITH SCORE 1557.196
AT ITER 1823 NEW BEST:: SOT 7693 SOS 2194 HAS SOPS 1767 HAS SOUS 1829 HAS SOUPS 1553 WITH SCORE 1555.194
AT ITER 1892 NEW BEST:: SOT 7689 SOS 2179 HAS SOPS 1752 HAS SOUS 1821 HAS SOUPS 1545 WITH SCORE 1547.179
AT ITER 1893 NEW BEST:: SOT 7694 SOS 2173 HAS SOPS 1756 HAS SOUS 1816 HAS SOUPS 1545 WITH SCORE 1547.173
AT ITER 1946 NEW BEST:: SOT 7692 SOS 2171 HAS SOPS 1754 HAS SOUS 1814 HAS SOUPS 1543 WITH SCORE 1545.171
AT ITER 1987 NEW BEST:: SOT 7690 SOS 2164 HAS SOPS 1750 HAS SOUS 1810 HAS SOUPS 1539 WITH SCORE 1541.164
AT ITER 2033 NEW BEST:: SOT 7690 SOS 2158 HAS SOPS 1744 HAS SOUS 1807 HAS SOUPS 1536 WITH SCORE 1538.158
AT ITER 2120 NEW BEST:: SOT 7689 SOS 2154 HAS SOPS 1740 HAS SOUS 1803 HAS SOUPS 1532 WITH SCORE 1534.154
AT ITER 2176 NEW BEST:: SOT 7689 SOS 2164 HAS SOPS 1750 HAS SOUS 1801 HAS SOUPS 1530 WITH SCORE 1532.164
AT ITER 2203 NEW BEST:: SOT 7690 SOS 2166 HAS SOPS 1747 HAS SOUS 1799 HAS SOUPS 1527 WITH SCORE 1529.166
AT ITER 2250 NEW BEST:: SOT 7688 SOS 2161 HAS SOPS 1742 HAS SOUS 1797 HAS SOUPS 1525 WITH SCORE 1527.161
AT ITER 2319 NEW BEST:: SOT 7688 SOS 2156 HAS SOPS 1732 HAS SOUS 1792 HAS SOUPS 1515 WITH SCORE 1517.156
AT ITER 2356 NEW BEST:: SOT 7684 SOS 2153 HAS SOPS 1729 HAS SOUS 1789 HAS SOUPS 1512 WITH SCORE 1514.153
AT ITER 2420 NEW BEST:: SOT 7693 SOS 2160 HAS SOPS 1739 HAS SOUS 1770 HAS SOUPS 1496 WITH SCORE 1498.16
AT ITER 2478 NEW BEST:: SOT 7689 SOS 2152 HAS SOPS 1731 HAS SOUS 1762 HAS SOUPS 1488 WITH SCORE 1490.152
AT ITER 2479 NEW BEST:: SOT 7688 SOS 2149 HAS SOPS 1729 HAS SOUS 1759 HAS SOUPS 1486 WITH SCORE 1488.149
AT ITER 2497 NEW BEST:: SOT 7691 SOS 2140 HAS SOPS 1728 HAS SOUS 1754 HAS SOUPS 1485 WITH SCORE 1487.14
AT ITER 2526 NEW BEST:: SOT 7689 SOS 2140 HAS SOPS 1728 HAS SOUS 1750 HAS SOUPS 1481 WITH SCORE 1483.14
AT ITER 2537 NEW BEST:: SOT 7689 SOS 2139 HAS SOPS 1727 HAS SOUS 1749 HAS SOUPS 1480 WITH SCORE 1482.139
AT ITER 2540 NEW BEST:: SOT 7686 SOS 2137 HAS SOPS 1725 HAS SOUS 1747 HAS SOUPS 1478 WITH SCORE 1480.137
AT ITER 2587 NEW BEST:: SOT 7683 SOS 2139 HAS SOPS 1727 HAS SOUS 1741 HAS SOUPS 1472 WITH SCORE 1474.139
AT ITER 2686 NEW BEST:: SOT 7682 SOS 2138 HAS SOPS 1726 HAS SOUS 1739 HAS SOUPS 1470 WITH SCORE 1472.138
AT ITER 2687 NEW BEST:: SOT 7684 SOS 2132 HAS SOPS 1732 HAS SOUS 1733 HAS SOUPS 1470 WITH SCORE 1472.132
AT ITER 2708 NEW BEST:: SOT 7683 SOS 2128 HAS SOPS 1728 HAS SOUS 1732 HAS SOUPS 1469 WITH SCORE 1471.128
AT ITER 2725 NEW BEST:: SOT 7680 SOS 2124 HAS SOPS 1724 HAS SOUS 1728 HAS SOUPS 1465 WITH SCORE 1467.124
AT ITER 2884 NEW BEST:: SOT 7678 SOS 2120 HAS SOPS 1720 HAS SOUS 1724 HAS SOUPS 1461 WITH SCORE 1463.12
AT ITER 2895 NEW BEST:: SOT 7676 SOS 2116 HAS SOPS 1716 HAS SOUS 1720 HAS SOUPS 1457 WITH SCORE 1459.116
AT ITER 2905 NEW BEST:: SOT 7676 SOS 2113 HAS SOPS 1716 HAS SOUS 1717 HAS SOUPS 1457 WITH SCORE 1459.113
AT ITER 2929 NEW BEST:: SOT 7674 SOS 2109 HAS SOPS 1712 HAS SOUS 1717 HAS SOUPS 1457 WITH SCORE 1459.109
AT ITER 2954 NEW BEST:: SOT 7674 SOS 2085 HAS SOPS 1696 HAS SOUS 1717 HAS SOUPS 1457 WITH SCORE 1459.085
AT ITER 2959 NEW BEST:: SOT 7673 SOS 2083 HAS SOPS 1694 HAS SOUS 1715 HAS SOUPS 1455 WITH SCORE 1457.083
AT ITER 3141 NEW BEST:: SOT 7672 SOS 2081 HAS SOPS 1692 HAS SOUS 1713 HAS SOUPS 1453 WITH SCORE 1455.081
AT ITER 3145 NEW BEST:: SOT 7672 SOS 2080 HAS SOPS 1692 HAS SOUS 1712 HAS SOUPS 1453 WITH SCORE 1455.08
AT ITER 3160 NEW BEST:: SOT 7674 SOS 2078 HAS SOPS 1692 HAS SOUS 1712 HAS SOUPS 1453 WITH SCORE 1455.078
AT ITER 3243 NEW BEST:: SOT 7672 SOS 2074 HAS SOPS 1688 HAS SOUS 1706 HAS SOUPS 1447 WITH SCORE 1449.074
AT ITER 3279 NEW BEST:: SOT 7672 SOS 2072 HAS SOPS 1688 HAS SOUS 1704 HAS SOUPS 1447 WITH SCORE 1449.072
AT ITER 3376 NEW BEST:: SOT 7663 SOS 2091 HAS SOPS 1687 HAS SOUS 1713 HAS SOUPS 1446 WITH SCORE 1448.091
AT ITER 3478 NEW BEST:: SOT 7660 SOS 2085 HAS SOPS 1681 HAS SOUS 1707 HAS SOUPS 1440 WITH SCORE 1442.085
AT ITER 3483 NEW BEST:: SOT 7696 SOS 2052 HAS SOPS 1645 HAS SOUS 1706 HAS SOUPS 1439 WITH SCORE 1441.052
AT ITER 3581 NEW BEST:: SOT 7693 SOS 2046 HAS SOPS 1639 HAS SOUS 1700 HAS SOUPS 1433 WITH SCORE 1435.046
AT ITER 3653 NEW BEST:: SOT 7692 SOS 2044 HAS SOPS 1637 HAS SOUS 1698 HAS SOUPS 1431 WITH SCORE 1433.044
AT ITER 3654 NEW BEST:: SOT 7689 SOS 2067 HAS SOPS 1660 HAS SOUS 1692 HAS SOUPS 1425 WITH SCORE 1427.067
AT ITER 3663 NEW BEST:: SOT 7687 SOS 2065 HAS SOPS 1660 HAS SOUS 1690 HAS SOUPS 1425 WITH SCORE 1427.065
AT ITER 3704 NEW BEST:: SOT 7685 SOS 2061 HAS SOPS 1656 HAS SOUS 1688 HAS SOUPS 1423 WITH SCORE 1425.061
AT ITER 3758 NEW BEST:: SOT 7684 SOS 2060 HAS SOPS 1654 HAS SOUS 1689 HAS SOUPS 1423 WITH SCORE 1425.06
AT ITER 3825 NEW BEST:: SOT 7684 SOS 2065 HAS SOPS 1656 HAS SOUS 1687 HAS SOUPS 1421 WITH SCORE 1423.065
AT ITER 3861 NEW BEST:: SOT 7687 SOS 2089 HAS SOPS 1669 HAS SOUS 1686 HAS SOUPS 1420 WITH SCORE 1422.089
AT ITER 3876 NEW BEST:: SOT 7688 SOS 2118 HAS SOPS 1666 HAS SOUS 1692 HAS SOUPS 1417 WITH SCORE 1419.118
AT ITER 3968 NEW BEST:: SOT 7688 SOS 2116 HAS SOPS 1664 HAS SOUS 1690 HAS SOUPS 1415 WITH SCORE 1417.116
AT ITER 4026 NEW BEST:: SOT 7687 SOS 2110 HAS SOPS 1662 HAS SOUS 1684 HAS SOUPS 1413 WITH SCORE 1415.11
AT ITER 4112 NEW BEST:: SOT 7687 SOS 2116 HAS SOPS 1666 HAS SOUS 1682 HAS SOUPS 1411 WITH SCORE 1413.116
AT ITER 4128 NEW BEST:: SOT 7687 SOS 2113 HAS SOPS 1664 HAS SOUS 1682 HAS SOUPS 1411 WITH SCORE 1413.113
AT ITER 4205 NEW BEST:: SOT 7656 SOS 2130 HAS SOPS 1682 HAS SOUS 1678 HAS SOUPS 1407 WITH SCORE 1409.13
AT ITER 4261 NEW BEST:: SOT 7653 SOS 2124 HAS SOPS 1680 HAS SOUS 1672 HAS SOUPS 1405 WITH SCORE 1407.124
AT ITER 4337 NEW BEST:: SOT 7652 SOS 2122 HAS SOPS 1678 HAS SOUS 1670 HAS SOUPS 1403 WITH SCORE 1405.122
AT ITER 4388 NEW BEST:: SOT 7652 SOS 2118 HAS SOPS 1677 HAS SOUS 1668 HAS SOUPS 1402 WITH SCORE 1404.118
AT ITER 4412 NEW BEST:: SOT 7644 SOS 2108 HAS SOPS 1667 HAS SOUS 1667 HAS SOUPS 1401 WITH SCORE 1403.108
AT ITER 4722 NEW BEST:: SOT 7645 SOS 2116 HAS SOPS 1661 HAS SOUS 1668 HAS SOUPS 1395 WITH SCORE 1397.116
AT ITER 4758 NEW BEST:: SOT 7645 SOS 2098 HAS SOPS 1649 HAS SOUS 1662 HAS SOUPS 1395 WITH SCORE 1397.098
AT ITER 4892 NEW BEST:: SOT 7642 SOS 2093 HAS SOPS 1644 HAS SOUS 1656 HAS SOUPS 1389 WITH SCORE 1391.093
AT ITER 4934 NEW BEST:: SOT 7640 SOS 2089 HAS SOPS 1640 HAS SOUS 1652 HAS SOUPS 1385 WITH SCORE 1387.089
AT ITER 4966 NEW BEST:: SOT 7638 SOS 2084 HAS SOPS 1638 HAS SOUS 1650 HAS SOUPS 1383 WITH SCORE 1385.084
AT ITER 4976 NEW BEST:: SOT 7633 SOS 2075 HAS SOPS 1638 HAS SOUS 1646 HAS SOUPS 1383 WITH SCORE 1385.075
AT ITER 4997 NEW BEST:: SOT 7631 SOS 2071 HAS SOPS 1634 HAS SOUS 1642 HAS SOUPS 1379 WITH SCORE 1381.071
AT ITER 4998 NEW BEST:: SOT 7626 SOS 2064 HAS SOPS 1627 HAS SOUS 1635 HAS SOUPS 1372 WITH SCORE 1374.064
AT ITER 5020 NEW BEST:: SOT 7626 SOS 2060 HAS SOPS 1625 HAS SOUS 1632 HAS SOUPS 1370 WITH SCORE 1372.06
AT ITER 5040 NEW BEST:: SOT 7625 SOS 2058 HAS SOPS 1623 HAS SOUS 1630 HAS SOUPS 1368 WITH SCORE 1370.058
AT ITER 5046 NEW BEST:: SOT 7624 SOS 2055 HAS SOPS 1623 HAS SOUS 1627 HAS SOUPS 1368 WITH SCORE 1370.055
AT ITER 5049 NEW BEST:: SOT 7624 SOS 2056 HAS SOPS 1624 HAS SOUS 1624 HAS SOUPS 1365 WITH SCORE 1367.056
AT ITER 5084 NEW BEST:: SOT 7622 SOS 2055 HAS SOPS 1623 HAS SOUS 1623 HAS SOUPS 1364 WITH SCORE 1366.055
AT ITER 5166 NEW BEST:: SOT 7626 SOS 2062 HAS SOPS 1619 HAS SOUS 1619 HAS SOUPS 1360 WITH SCORE 1362.062
AT ITER 5197 NEW BEST:: SOT 7626 SOS 2050 HAS SOPS 1607 HAS SOUS 1619 HAS SOUPS 1360 WITH SCORE 1362.05
AT ITER 5462 NEW BEST:: SOT 7626 SOS 2048 HAS SOPS 1605 HAS SOUS 1619 HAS SOUPS 1360 WITH SCORE 1362.048
AT ITER 5703 NEW BEST:: SOT 7624 SOS 2045 HAS SOPS 1604 HAS SOUS 1619 HAS SOUPS 1360 WITH SCORE 1362.045
AT ITER 5836 NEW BEST:: SOT 7623 SOS 2043 HAS SOPS 1604 HAS SOUS 1619 HAS SOUPS 1360 WITH SCORE 1362.043
AT ITER 5865 NEW BEST:: SOT 7622 SOS 2041 HAS SOPS 1602 HAS SOUS 1617 HAS SOUPS 1358 WITH SCORE 1360.041
AT ITER 5954 NEW BEST:: SOT 7619 SOS 2032 HAS SOPS 1596 HAS SOUS 1614 HAS SOUPS 1355 WITH SCORE 1357.032
AT ITER 6021 NEW BEST:: SOT 7619 SOS 2031 HAS SOPS 1595 HAS SOUS 1614 HAS SOUPS 1355 WITH SCORE 1357.031
AT ITER 6044 NEW BEST:: SOT 7603 SOS 2015 HAS SOPS 1572 HAS SOUS 1619 HAS SOUPS 1354 WITH SCORE 1356.015
AT ITER 6154 NEW BEST:: SOT 7603 SOS 2014 HAS SOPS 1571 HAS SOUS 1619 HAS SOUPS 1354 WITH SCORE 1356.014
AT ITER 6239 NEW BEST:: SOT 7597 SOS 2013 HAS SOPS 1570 HAS SOUS 1618 HAS SOUPS 1353 WITH SCORE 1355.013
AT ITER 6275 NEW BEST:: SOT 7596 SOS 2011 HAS SOPS 1568 HAS SOUS 1616 HAS SOUPS 1351 WITH SCORE 1353.011
AT ITER 6389 NEW BEST:: SOT 7588 SOS 2003 HAS SOPS 1560 HAS SOUS 1616 HAS SOUPS 1351 WITH SCORE 1353.003
AT ITER 6524 NEW BEST:: SOT 7588 SOS 1997 HAS SOPS 1560 HAS SOUS 1613 HAS SOUPS 1351 WITH SCORE 1352.997
AT ITER 6687 NEW BEST:: SOT 7589 SOS 1997 HAS SOPS 1558 HAS SOUS 1613 HAS SOUPS 1349 WITH SCORE 1350.997
AT ITER 6779 NEW BEST:: SOT 7588 SOS 1995 HAS SOPS 1555 HAS SOUS 1612 HAS SOUPS 1347 WITH SCORE 1348.995
AT ITER 6830 NEW BEST:: SOT 7587 SOS 1997 HAS SOPS 1557 HAS SOUS 1610 HAS SOUPS 1345 WITH SCORE 1346.997
AT ITER 6862 NEW BEST:: SOT 7588 SOS 1999 HAS SOPS 1555 HAS SOUS 1608 HAS SOUPS 1343 WITH SCORE 1344.999
AT ITER 6928 NEW BEST:: SOT 7586 SOS 1997 HAS SOPS 1553 HAS SOUS 1606 HAS SOUPS 1341 WITH SCORE 1342.997
AT ITER 6993 NEW BEST:: SOT 7585 SOS 1997 HAS SOPS 1551 HAS SOUS 1606 HAS SOUPS 1339 WITH SCORE 1340.997
AT ITER 7021 NEW BEST:: SOT 7584 SOS 1995 HAS SOPS 1549 HAS SOUS 1604 HAS SOUPS 1337 WITH SCORE 1338.995
AT ITER 7098 NEW BEST:: SOT 7584 SOS 1993 HAS SOPS 1549 HAS SOUS 1603 HAS SOUPS 1337 WITH SCORE 1338.993
AT ITER 7154 NEW BEST:: SOT 7581 SOS 1995 HAS SOPS 1551 HAS SOUS 1601 HAS SOUPS 1335 WITH SCORE 1336.995
AT ITER 7392 NEW BEST:: SOT 7601 SOS 1993 HAS SOPS 1549 HAS SOUS 1599 HAS SOUPS 1333 WITH SCORE 1334.993
AT ITER 7462 NEW BEST:: SOT 7601 SOS 1989 HAS SOPS 1545 HAS SOUS 1598 HAS SOUPS 1332 WITH SCORE 1333.989
AT ITER 7533 NEW BEST:: SOT 7601 SOS 2003 HAS SOPS 1542 HAS SOUS 1595 HAS SOUPS 1329 WITH SCORE 1331.003
AT ITER 8070 NEW BEST:: SOT 7599 SOS 2024 HAS SOPS 1563 HAS SOUS 1591 HAS SOUPS 1325 WITH SCORE 1327.024
AT ITER 8186 NEW BEST:: SOT 7597 SOS 2020 HAS SOPS 1559 HAS SOUS 1587 HAS SOUPS 1321 WITH SCORE 1323.02
AT ITER 8240 NEW BEST:: SOT 7597 SOS 1984 HAS SOPS 1559 HAS SOUS 1587 HAS SOUPS 1321 WITH SCORE 1322.984
AT ITER 8253 NEW BEST:: SOT 7589 SOS 1976 HAS SOPS 1549 HAS SOUS 1581 HAS SOUPS 1315 WITH SCORE 1316.976
AT ITER 8402 NEW BEST:: SOT 7587 SOS 1978 HAS SOPS 1547 HAS SOUS 1581 HAS SOUPS 1313 WITH SCORE 1314.978
AT ITER 8554 NEW BEST:: SOT 7584 SOS 1970 HAS SOPS 1543 HAS SOUS 1576 HAS SOUPS 1310 WITH SCORE 1311.97
AT ITER 8599 NEW BEST:: SOT 7582 SOS 1966 HAS SOPS 1539 HAS SOUS 1572 HAS SOUPS 1306 WITH SCORE 1307.966
AT ITER 8601 NEW BEST:: SOT 7581 SOS 2009 HAS SOPS 1568 HAS SOUS 1585 HAS SOUPS 1305 WITH SCORE 1307.009
AT ITER 8632 NEW BEST:: SOT 7582 SOS 2004 HAS SOPS 1568 HAS SOUS 1583 HAS SOUPS 1305 WITH SCORE 1307.004
AT ITER 8689 NEW BEST:: SOT 7582 SOS 2003 HAS SOPS 1568 HAS SOUS 1583 HAS SOUPS 1305 WITH SCORE 1307.003
AT ITER 8785 NEW BEST:: SOT 7583 SOS 2004 HAS SOPS 1566 HAS SOUS 1583 HAS SOUPS 1303 WITH SCORE 1305.004
AT ITER 8830 NEW BEST:: SOT 7582 SOS 2006 HAS SOPS 1568 HAS SOUS 1581 HAS SOUPS 1301 WITH SCORE 1303.006
AT ITER 8843 NEW BEST:: SOT 7581 SOS 2004 HAS SOPS 1566 HAS SOUS 1579 HAS SOUPS 1299 WITH SCORE 1301.004
AT ITER 8916 NEW BEST:: SOT 7581 SOS 2002 HAS SOPS 1564 HAS SOUS 1577 HAS SOUPS 1297 WITH SCORE 1299.002
AT ITER 9048 NEW BEST:: SOT 7586 SOS 2006 HAS SOPS 1561 HAS SOUS 1581 HAS SOUPS 1294 WITH SCORE 1296.006
AT ITER 9127 NEW BEST:: SOT 7584 SOS 2004 HAS SOPS 1559 HAS SOUS 1577 HAS SOUPS 1290 WITH SCORE 1292.004
AT ITER 9252 NEW BEST:: SOT 7584 SOS 2002 HAS SOPS 1558 HAS SOUS 1575 HAS SOUPS 1289 WITH SCORE 1291.002
AT ITER 9281 NEW BEST:: SOT 7583 SOS 2009 HAS SOPS 1564 HAS SOUS 1574 HAS SOUPS 1287 WITH SCORE 1289.009
AT ITER 9282 NEW BEST:: SOT 7582 SOS 2007 HAS SOPS 1562 HAS SOUS 1572 HAS SOUPS 1285 WITH SCORE 1287.007
AT ITER 9339 NEW BEST:: SOT 7581 SOS 2005 HAS SOPS 1560 HAS SOUS 1570 HAS SOUPS 1283 WITH SCORE 1285.005
AT ITER 9486 NEW BEST:: SOT 7581 SOS 1999 HAS SOPS 1554 HAS SOUS 1568 HAS SOUPS 1281 WITH SCORE 1282.999
AT ITER 9700 NEW BEST:: SOT 7581 SOS 1998 HAS SOPS 1553 HAS SOUS 1568 HAS SOUPS 1281 WITH SCORE 1282.998
AT ITER 9709 NEW BEST:: SOT 7581 SOS 1997 HAS SOPS 1552 HAS SOUS 1567 HAS SOUPS 1280 WITH SCORE 1281.997
STATE_SPACE STATES 20754 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 62262 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678834301259

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Peterson-PT-2"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is Peterson-PT-2, 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 r259-smll-167863534800608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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