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.r267-smll-167863542100608.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 smartxred
Input is Peterson-PT-2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863542100608
=====================================================================

--------------------
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 1678941212884

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Peterson-PT-2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-16 04:33:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-16 04:33:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-16 04:33:36] [INFO ] Load time of PNML (sax parser for PT used): 74 ms
[2023-03-16 04:33:36] [INFO ] Transformed 102 places.
[2023-03-16 04:33:36] [INFO ] Transformed 126 transitions.
[2023-03-16 04:33:36] [INFO ] Found NUPN structural information;
[2023-03-16 04:33:36] [INFO ] Parsed PT model containing 102 places and 126 transitions and 384 arcs in 169 ms.
[2023-03-16 04:33:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 102 places, 126 transitions and 384 arcs took 5 ms.
Total runtime 221 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (PT), instance 2
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 102 places, 126 transitions, 384 arcs.
AT ITER 0 NEW BEST:: SOT 8173 SOS 3017 HAS SOPS 2692 HAS SOUS 2842 HAS SOUPS 2645 WITH SCORE 2648.017
AT ITER 24 NEW BEST:: SOT 8143 SOS 2987 HAS SOPS 2680 HAS SOUS 2815 HAS SOUPS 2633 WITH SCORE 2635.987
AT ITER 39 NEW BEST:: SOT 8133 SOS 2974 HAS SOPS 2667 HAS SOUS 2802 HAS SOUPS 2620 WITH SCORE 2622.974
AT ITER 53 NEW BEST:: SOT 8124 SOS 2953 HAS SOPS 2662 HAS SOUS 2781 HAS SOUPS 2603 WITH SCORE 2605.953
AT ITER 58 NEW BEST:: SOT 8122 SOS 2949 HAS SOPS 2656 HAS SOUS 2775 HAS SOUPS 2597 WITH SCORE 2599.949
AT ITER 65 NEW BEST:: SOT 8102 SOS 2934 HAS SOPS 2647 HAS SOUS 2758 HAS SOUPS 2580 WITH SCORE 2582.934
AT ITER 73 NEW BEST:: SOT 8101 SOS 2932 HAS SOPS 2645 HAS SOUS 2756 HAS SOUPS 2578 WITH SCORE 2580.932
AT ITER 78 NEW BEST:: SOT 8089 SOS 2908 HAS SOPS 2621 HAS SOUS 2732 HAS SOUPS 2554 WITH SCORE 2556.908
AT ITER 85 NEW BEST:: SOT 8066 SOS 2898 HAS SOPS 2601 HAS SOUS 2712 HAS SOUPS 2534 WITH SCORE 2536.898
AT ITER 93 NEW BEST:: SOT 8066 SOS 2898 HAS SOPS 2579 HAS SOUS 2690 HAS SOUPS 2512 WITH SCORE 2514.898
AT ITER 94 NEW BEST:: SOT 8060 SOS 2888 HAS SOPS 2569 HAS SOUS 2680 HAS SOUPS 2502 WITH SCORE 2504.888
AT ITER 114 NEW BEST:: SOT 8056 SOS 2880 HAS SOPS 2561 HAS SOUS 2672 HAS SOUPS 2494 WITH SCORE 2496.88
AT ITER 119 NEW BEST:: SOT 8076 SOS 2918 HAS SOPS 2565 HAS SOUS 2677 HAS SOUPS 2486 WITH SCORE 2488.918
AT ITER 120 NEW BEST:: SOT 8054 SOS 2850 HAS SOPS 2521 HAS SOUS 2633 HAS SOUPS 2442 WITH SCORE 2444.85
AT ITER 127 NEW BEST:: SOT 8071 SOS 2861 HAS SOPS 2548 HAS SOUS 2611 HAS SOUPS 2435 WITH SCORE 2437.861
AT ITER 132 NEW BEST:: SOT 8052 SOS 2865 HAS SOPS 2536 HAS SOUS 2618 HAS SOUPS 2426 WITH SCORE 2428.865
AT ITER 135 NEW BEST:: SOT 8071 SOS 2903 HAS SOPS 2528 HAS SOUS 2610 HAS SOUPS 2418 WITH SCORE 2420.903
AT ITER 150 NEW BEST:: SOT 8071 SOS 2901 HAS SOPS 2526 HAS SOUS 2608 HAS SOUPS 2416 WITH SCORE 2418.901
AT ITER 152 NEW BEST:: SOT 8056 SOS 2867 HAS SOPS 2507 HAS SOUS 2587 HAS SOUPS 2396 WITH SCORE 2398.867
AT ITER 156 NEW BEST:: SOT 8056 SOS 2843 HAS SOPS 2483 HAS SOUS 2587 HAS SOUPS 2396 WITH SCORE 2398.843
AT ITER 165 NEW BEST:: SOT 8046 SOS 2810 HAS SOPS 2450 HAS SOUS 2567 HAS SOUPS 2376 WITH SCORE 2378.81
AT ITER 166 NEW BEST:: SOT 8044 SOS 2807 HAS SOPS 2449 HAS SOUS 2563 HAS SOUPS 2373 WITH SCORE 2375.807
AT ITER 173 NEW BEST:: SOT 8063 SOS 2813 HAS SOPS 2448 HAS SOUS 2562 HAS SOUPS 2372 WITH SCORE 2374.813
AT ITER 178 NEW BEST:: SOT 8052 SOS 2814 HAS SOPS 2449 HAS SOUS 2548 HAS SOUPS 2358 WITH SCORE 2360.814
AT ITER 182 NEW BEST:: SOT 8048 SOS 2806 HAS SOPS 2441 HAS SOUS 2540 HAS SOUPS 2350 WITH SCORE 2352.806
AT ITER 190 NEW BEST:: SOT 8048 SOS 2801 HAS SOPS 2436 HAS SOUS 2535 HAS SOUPS 2345 WITH SCORE 2347.801
AT ITER 203 NEW BEST:: SOT 8048 SOS 2801 HAS SOPS 2436 HAS SOUS 2527 HAS SOUPS 2337 WITH SCORE 2339.801
AT ITER 204 NEW BEST:: SOT 8048 SOS 2801 HAS SOPS 2425 HAS SOUS 2524 HAS SOUPS 2334 WITH SCORE 2336.801
AT ITER 208 NEW BEST:: SOT 8050 SOS 2817 HAS SOPS 2407 HAS SOUS 2492 HAS SOUPS 2302 WITH SCORE 2304.817
AT ITER 211 NEW BEST:: SOT 8025 SOS 2801 HAS SOPS 2382 HAS SOUS 2477 HAS SOUPS 2278 WITH SCORE 2280.801
AT ITER 221 NEW BEST:: SOT 8026 SOS 2799 HAS SOPS 2375 HAS SOUS 2470 HAS SOUPS 2271 WITH SCORE 2273.799
AT ITER 242 NEW BEST:: SOT 8023 SOS 2795 HAS SOPS 2390 HAS SOUS 2466 HAS SOUPS 2267 WITH SCORE 2269.795
AT ITER 244 NEW BEST:: SOT 8022 SOS 2793 HAS SOPS 2388 HAS SOUS 2464 HAS SOUPS 2265 WITH SCORE 2267.793
AT ITER 247 NEW BEST:: SOT 8009 SOS 2767 HAS SOPS 2362 HAS SOUS 2438 HAS SOUPS 2239 WITH SCORE 2241.767
AT ITER 254 NEW BEST:: SOT 7995 SOS 2723 HAS SOPS 2360 HAS SOUS 2420 HAS SOUPS 2235 WITH SCORE 2237.723
AT ITER 256 NEW BEST:: SOT 7993 SOS 2719 HAS SOPS 2356 HAS SOUS 2416 HAS SOUPS 2231 WITH SCORE 2233.719
AT ITER 262 NEW BEST:: SOT 7993 SOS 2718 HAS SOPS 2355 HAS SOUS 2416 HAS SOUPS 2231 WITH SCORE 2233.718
AT ITER 267 NEW BEST:: SOT 7992 SOS 2717 HAS SOPS 2355 HAS SOUS 2417 HAS SOUPS 2231 WITH SCORE 2233.717
AT ITER 270 NEW BEST:: SOT 7986 SOS 2704 HAS SOPS 2333 HAS SOUS 2404 HAS SOUPS 2209 WITH SCORE 2211.704
AT ITER 282 NEW BEST:: SOT 7984 SOS 2700 HAS SOPS 2329 HAS SOUS 2400 HAS SOUPS 2205 WITH SCORE 2207.7
AT ITER 286 NEW BEST:: SOT 7981 SOS 2697 HAS SOPS 2323 HAS SOUS 2397 HAS SOUPS 2199 WITH SCORE 2201.697
AT ITER 299 NEW BEST:: SOT 7980 SOS 2611 HAS SOPS 2309 HAS SOUS 2357 HAS SOUPS 2177 WITH SCORE 2179.611
AT ITER 303 NEW BEST:: SOT 7981 SOS 2616 HAS SOPS 2306 HAS SOUS 2356 HAS SOUPS 2174 WITH SCORE 2176.616
AT ITER 321 NEW BEST:: SOT 7970 SOS 2613 HAS SOPS 2303 HAS SOUS 2334 HAS SOUPS 2152 WITH SCORE 2154.613
AT ITER 332 NEW BEST:: SOT 7972 SOS 2601 HAS SOPS 2291 HAS SOUS 2322 HAS SOUPS 2140 WITH SCORE 2142.601
AT ITER 349 NEW BEST:: SOT 7931 SOS 2626 HAS SOPS 2242 HAS SOUS 2314 HAS SOUPS 2095 WITH SCORE 2097.626
AT ITER 380 NEW BEST:: SOT 7930 SOS 2619 HAS SOPS 2239 HAS SOUS 2311 HAS SOUPS 2093 WITH SCORE 2095.619
AT ITER 387 NEW BEST:: SOT 7929 SOS 2617 HAS SOPS 2237 HAS SOUS 2309 HAS SOUPS 2091 WITH SCORE 2093.617
AT ITER 398 NEW BEST:: SOT 7928 SOS 2616 HAS SOPS 2236 HAS SOUS 2307 HAS SOUPS 2089 WITH SCORE 2091.616
AT ITER 399 NEW BEST:: SOT 7926 SOS 2612 HAS SOPS 2230 HAS SOUS 2301 HAS SOUPS 2083 WITH SCORE 2085.612
AT ITER 412 NEW BEST:: SOT 7925 SOS 2606 HAS SOPS 2224 HAS SOUS 2300 HAS SOUPS 2082 WITH SCORE 2084.606
AT ITER 416 NEW BEST:: SOT 7917 SOS 2520 HAS SOPS 2213 HAS SOUS 2255 HAS SOUPS 2071 WITH SCORE 2073.52
AT ITER 419 NEW BEST:: SOT 7912 SOS 2515 HAS SOPS 2207 HAS SOUS 2243 HAS SOUPS 2057 WITH SCORE 2059.515
AT ITER 447 NEW BEST:: SOT 7897 SOS 2486 HAS SOPS 2178 HAS SOUS 2213 HAS SOUPS 2027 WITH SCORE 2029.486
AT ITER 448 NEW BEST:: SOT 7897 SOS 2476 HAS SOPS 2168 HAS SOUS 2208 HAS SOUPS 2022 WITH SCORE 2024.476
AT ITER 461 NEW BEST:: SOT 7892 SOS 2470 HAS SOPS 2162 HAS SOUS 2202 HAS SOUPS 2016 WITH SCORE 2018.47
AT ITER 468 NEW BEST:: SOT 7890 SOS 2464 HAS SOPS 2156 HAS SOUS 2198 HAS SOUPS 2012 WITH SCORE 2014.464
AT ITER 475 NEW BEST:: SOT 7890 SOS 2458 HAS SOPS 2156 HAS SOUS 2192 HAS SOUPS 2012 WITH SCORE 2014.458
AT ITER 476 NEW BEST:: SOT 7911 SOS 2484 HAS SOPS 2154 HAS SOUS 2218 HAS SOUPS 2010 WITH SCORE 2012.484
AT ITER 502 NEW BEST:: SOT 7908 SOS 2478 HAS SOPS 2148 HAS SOUS 2212 HAS SOUPS 2004 WITH SCORE 2006.478
AT ITER 506 NEW BEST:: SOT 7909 SOS 2429 HAS SOPS 2157 HAS SOUS 2180 HAS SOUPS 1990 WITH SCORE 1992.429
AT ITER 531 NEW BEST:: SOT 7899 SOS 2421 HAS SOPS 2137 HAS SOUS 2180 HAS SOUPS 1980 WITH SCORE 1982.421
AT ITER 546 NEW BEST:: SOT 7897 SOS 2413 HAS SOPS 2129 HAS SOUS 2176 HAS SOUPS 1976 WITH SCORE 1978.413
AT ITER 557 NEW BEST:: SOT 7907 SOS 2416 HAS SOPS 2118 HAS SOUS 2179 HAS SOUPS 1965 WITH SCORE 1967.416
AT ITER 561 NEW BEST:: SOT 7906 SOS 2414 HAS SOPS 2116 HAS SOUS 2177 HAS SOUPS 1963 WITH SCORE 1965.414
AT ITER 568 NEW BEST:: SOT 7898 SOS 2402 HAS SOPS 2104 HAS SOUS 2165 HAS SOUPS 1951 WITH SCORE 1953.402
AT ITER 580 NEW BEST:: SOT 7898 SOS 2400 HAS SOPS 2104 HAS SOUS 2165 HAS SOUPS 1951 WITH SCORE 1953.4
AT ITER 593 NEW BEST:: SOT 7895 SOS 2399 HAS SOPS 2099 HAS SOUS 2168 HAS SOUPS 1950 WITH SCORE 1952.399
AT ITER 605 NEW BEST:: SOT 7876 SOS 2358 HAS SOPS 2075 HAS SOUS 2148 HAS SOUPS 1926 WITH SCORE 1928.358
AT ITER 613 NEW BEST:: SOT 7875 SOS 2357 HAS SOPS 2072 HAS SOUS 2147 HAS SOUPS 1924 WITH SCORE 1926.357
AT ITER 646 NEW BEST:: SOT 7875 SOS 2340 HAS SOPS 2072 HAS SOUS 2130 HAS SOUPS 1924 WITH SCORE 1926.34
AT ITER 659 NEW BEST:: SOT 7875 SOS 2336 HAS SOPS 2067 HAS SOUS 2130 HAS SOUPS 1924 WITH SCORE 1926.336
AT ITER 690 NEW BEST:: SOT 7882 SOS 2300 HAS SOPS 2031 HAS SOUS 2112 HAS SOUPS 1906 WITH SCORE 1908.3
AT ITER 695 NEW BEST:: SOT 7881 SOS 2292 HAS SOPS 2018 HAS SOUS 2104 HAS SOUPS 1893 WITH SCORE 1895.292
AT ITER 699 NEW BEST:: SOT 7879 SOS 2288 HAS SOPS 2014 HAS SOUS 2100 HAS SOUPS 1889 WITH SCORE 1891.288
AT ITER 700 NEW BEST:: SOT 7879 SOS 2288 HAS SOPS 2009 HAS SOUS 2100 HAS SOUPS 1884 WITH SCORE 1886.288
AT ITER 713 NEW BEST:: SOT 7874 SOS 2287 HAS SOPS 2009 HAS SOUS 2097 HAS SOUPS 1881 WITH SCORE 1883.287
AT ITER 717 NEW BEST:: SOT 7892 SOS 2288 HAS SOPS 2034 HAS SOUS 2061 HAS SOUPS 1869 WITH SCORE 1871.288
AT ITER 727 NEW BEST:: SOT 7892 SOS 2279 HAS SOPS 2025 HAS SOUS 2061 HAS SOUPS 1869 WITH SCORE 1871.279
AT ITER 736 NEW BEST:: SOT 7873 SOS 2236 HAS SOPS 2013 HAS SOUS 2030 HAS SOUPS 1853 WITH SCORE 1855.236
AT ITER 752 NEW BEST:: SOT 7873 SOS 2234 HAS SOPS 2006 HAS SOUS 2025 HAS SOUPS 1848 WITH SCORE 1850.234
AT ITER 756 NEW BEST:: SOT 7865 SOS 2226 HAS SOPS 1998 HAS SOUS 2017 HAS SOUPS 1840 WITH SCORE 1842.226
AT ITER 785 NEW BEST:: SOT 7866 SOS 2244 HAS SOPS 1995 HAS SOUS 2035 HAS SOUPS 1837 WITH SCORE 1839.244
AT ITER 792 NEW BEST:: SOT 7865 SOS 2242 HAS SOPS 1993 HAS SOUS 2033 HAS SOUPS 1835 WITH SCORE 1837.242
AT ITER 795 NEW BEST:: SOT 7855 SOS 2250 HAS SOPS 2001 HAS SOUS 2032 HAS SOUPS 1834 WITH SCORE 1836.25
AT ITER 832 NEW BEST:: SOT 7851 SOS 2247 HAS SOPS 1998 HAS SOUS 2024 HAS SOUPS 1826 WITH SCORE 1828.247
AT ITER 837 NEW BEST:: SOT 7855 SOS 2243 HAS SOPS 2002 HAS SOUS 2020 HAS SOUPS 1826 WITH SCORE 1828.243
AT ITER 848 NEW BEST:: SOT 7854 SOS 2238 HAS SOPS 1994 HAS SOUS 2012 HAS SOUPS 1818 WITH SCORE 1820.238
AT ITER 855 NEW BEST:: SOT 7849 SOS 2238 HAS SOPS 1995 HAS SOUS 2009 HAS SOUPS 1815 WITH SCORE 1817.238
AT ITER 896 NEW BEST:: SOT 7847 SOS 2234 HAS SOPS 1991 HAS SOUS 2005 HAS SOUPS 1811 WITH SCORE 1813.234
AT ITER 907 NEW BEST:: SOT 7849 SOS 2227 HAS SOPS 1988 HAS SOUS 1986 HAS SOUPS 1796 WITH SCORE 1798.227
AT ITER 917 NEW BEST:: SOT 7857 SOS 2211 HAS SOPS 1988 HAS SOUS 1978 HAS SOUPS 1796 WITH SCORE 1798.211
AT ITER 929 NEW BEST:: SOT 7853 SOS 2235 HAS SOPS 2008 HAS SOUS 1974 HAS SOUPS 1788 WITH SCORE 1790.235
AT ITER 942 NEW BEST:: SOT 7853 SOS 2237 HAS SOPS 2010 HAS SOUS 1963 HAS SOUPS 1777 WITH SCORE 1779.237
AT ITER 963 NEW BEST:: SOT 7861 SOS 2205 HAS SOPS 2010 HAS SOUS 1948 HAS SOUPS 1775 WITH SCORE 1777.205
AT ITER 988 NEW BEST:: SOT 7852 SOS 2187 HAS SOPS 1992 HAS SOUS 1930 HAS SOUPS 1757 WITH SCORE 1759.187
AT ITER 1000 NEW BEST:: SOT 7852 SOS 2188 HAS SOPS 1991 HAS SOUS 1931 HAS SOUPS 1756 WITH SCORE 1758.188
AT ITER 1046 NEW BEST:: SOT 7850 SOS 2178 HAS SOPS 1981 HAS SOUS 1927 HAS SOUPS 1752 WITH SCORE 1754.178
AT ITER 1094 NEW BEST:: SOT 7844 SOS 2194 HAS SOPS 1967 HAS SOUS 1933 HAS SOUPS 1742 WITH SCORE 1744.194
AT ITER 1102 NEW BEST:: SOT 7836 SOS 2195 HAS SOPS 1960 HAS SOUS 1934 HAS SOUPS 1738 WITH SCORE 1740.195
AT ITER 1111 NEW BEST:: SOT 7832 SOS 2191 HAS SOPS 1956 HAS SOUS 1930 HAS SOUPS 1734 WITH SCORE 1736.191
AT ITER 1163 NEW BEST:: SOT 7831 SOS 2184 HAS SOPS 1949 HAS SOUS 1923 HAS SOUPS 1727 WITH SCORE 1729.184
AT ITER 1172 NEW BEST:: SOT 7831 SOS 2182 HAS SOPS 1947 HAS SOUS 1923 HAS SOUPS 1727 WITH SCORE 1729.182
AT ITER 1300 NEW BEST:: SOT 7818 SOS 2162 HAS SOPS 1927 HAS SOUS 1906 HAS SOUPS 1710 WITH SCORE 1712.162
AT ITER 1315 NEW BEST:: SOT 7810 SOS 2146 HAS SOPS 1902 HAS SOUS 1899 HAS SOUPS 1694 WITH SCORE 1696.146
AT ITER 1393 NEW BEST:: SOT 7798 SOS 2134 HAS SOPS 1887 HAS SOUS 1893 HAS SOUPS 1679 WITH SCORE 1681.134
AT ITER 1404 NEW BEST:: SOT 7794 SOS 2118 HAS SOPS 1871 HAS SOUS 1877 HAS SOUPS 1663 WITH SCORE 1665.118
AT ITER 1453 NEW BEST:: SOT 7793 SOS 2116 HAS SOPS 1869 HAS SOUS 1875 HAS SOUPS 1661 WITH SCORE 1663.116
AT ITER 1463 NEW BEST:: SOT 7805 SOS 2124 HAS SOPS 1879 HAS SOUS 1870 HAS SOUPS 1658 WITH SCORE 1660.124
AT ITER 1471 NEW BEST:: SOT 7807 SOS 2120 HAS SOPS 1877 HAS SOUS 1868 HAS SOUPS 1658 WITH SCORE 1660.12
AT ITER 1480 NEW BEST:: SOT 7805 SOS 2116 HAS SOPS 1873 HAS SOUS 1864 HAS SOUPS 1654 WITH SCORE 1656.116
AT ITER 1509 NEW BEST:: SOT 7804 SOS 2114 HAS SOPS 1871 HAS SOUS 1862 HAS SOUPS 1652 WITH SCORE 1654.114
AT ITER 1524 NEW BEST:: SOT 7802 SOS 2107 HAS SOPS 1869 HAS SOUS 1860 HAS SOUPS 1650 WITH SCORE 1652.107
AT ITER 1536 NEW BEST:: SOT 7795 SOS 2100 HAS SOPS 1862 HAS SOUS 1846 HAS SOUPS 1636 WITH SCORE 1638.1
AT ITER 1591 NEW BEST:: SOT 7795 SOS 2092 HAS SOPS 1854 HAS SOUS 1845 HAS SOUPS 1635 WITH SCORE 1637.092
AT ITER 1614 NEW BEST:: SOT 7795 SOS 2087 HAS SOPS 1854 HAS SOUS 1842 HAS SOUPS 1634 WITH SCORE 1636.087
AT ITER 1625 NEW BEST:: SOT 7789 SOS 2089 HAS SOPS 1856 HAS SOUS 1830 HAS SOUPS 1622 WITH SCORE 1624.089
AT ITER 1637 NEW BEST:: SOT 7789 SOS 2101 HAS SOPS 1863 HAS SOUS 1834 HAS SOUPS 1621 WITH SCORE 1623.101
AT ITER 1662 NEW BEST:: SOT 7781 SOS 2085 HAS SOPS 1847 HAS SOUS 1818 HAS SOUPS 1605 WITH SCORE 1607.085
AT ITER 1672 NEW BEST:: SOT 7778 SOS 2084 HAS SOPS 1846 HAS SOUS 1816 HAS SOUPS 1603 WITH SCORE 1605.084
AT ITER 1717 NEW BEST:: SOT 7777 SOS 2088 HAS SOPS 1850 HAS SOUS 1814 HAS SOUPS 1601 WITH SCORE 1603.088
AT ITER 1723 NEW BEST:: SOT 7775 SOS 2087 HAS SOPS 1849 HAS SOUS 1810 HAS SOUPS 1597 WITH SCORE 1599.087
AT ITER 1731 NEW BEST:: SOT 7774 SOS 2084 HAS SOPS 1847 HAS SOUS 1808 HAS SOUPS 1595 WITH SCORE 1597.084
AT ITER 1750 NEW BEST:: SOT 7778 SOS 2084 HAS SOPS 1842 HAS SOUS 1804 HAS SOUPS 1591 WITH SCORE 1593.084
AT ITER 1751 NEW BEST:: SOT 7775 SOS 2081 HAS SOPS 1839 HAS SOUS 1801 HAS SOUPS 1588 WITH SCORE 1590.081
AT ITER 1811 NEW BEST:: SOT 7775 SOS 2079 HAS SOPS 1837 HAS SOUS 1801 HAS SOUPS 1588 WITH SCORE 1590.079
AT ITER 1830 NEW BEST:: SOT 7745 SOS 2125 HAS SOPS 1883 HAS SOUS 1790 HAS SOUPS 1577 WITH SCORE 1579.125
AT ITER 1837 NEW BEST:: SOT 7744 SOS 2118 HAS SOPS 1876 HAS SOUS 1789 HAS SOUPS 1576 WITH SCORE 1578.118
AT ITER 1838 NEW BEST:: SOT 7741 SOS 2126 HAS SOPS 1874 HAS SOUS 1792 HAS SOUPS 1574 WITH SCORE 1576.126
AT ITER 1878 NEW BEST:: SOT 7741 SOS 2118 HAS SOPS 1866 HAS SOUS 1792 HAS SOUPS 1574 WITH SCORE 1576.118
AT ITER 1884 NEW BEST:: SOT 7739 SOS 2115 HAS SOPS 1864 HAS SOUS 1790 HAS SOUPS 1573 WITH SCORE 1575.115
AT ITER 1894 NEW BEST:: SOT 7735 SOS 2110 HAS SOPS 1859 HAS SOUS 1785 HAS SOUPS 1568 WITH SCORE 1570.11
AT ITER 1897 NEW BEST:: SOT 7733 SOS 2106 HAS SOPS 1855 HAS SOUS 1781 HAS SOUPS 1564 WITH SCORE 1566.106
AT ITER 1899 NEW BEST:: SOT 7730 SOS 2100 HAS SOPS 1849 HAS SOUS 1775 HAS SOUPS 1558 WITH SCORE 1560.1
AT ITER 1916 NEW BEST:: SOT 7730 SOS 2095 HAS SOPS 1844 HAS SOUS 1775 HAS SOUPS 1558 WITH SCORE 1560.095
AT ITER 1920 NEW BEST:: SOT 7729 SOS 2093 HAS SOPS 1842 HAS SOUS 1773 HAS SOUPS 1556 WITH SCORE 1558.093
AT ITER 1925 NEW BEST:: SOT 7727 SOS 2089 HAS SOPS 1836 HAS SOUS 1771 HAS SOUPS 1552 WITH SCORE 1554.089
AT ITER 1927 NEW BEST:: SOT 7729 SOS 2087 HAS SOPS 1834 HAS SOUS 1769 HAS SOUPS 1550 WITH SCORE 1552.087
AT ITER 1933 NEW BEST:: SOT 7725 SOS 2079 HAS SOPS 1826 HAS SOUS 1765 HAS SOUPS 1546 WITH SCORE 1548.079
AT ITER 1937 NEW BEST:: SOT 7707 SOS 2058 HAS SOPS 1804 HAS SOUS 1754 HAS SOUPS 1534 WITH SCORE 1536.058
AT ITER 1942 NEW BEST:: SOT 7722 SOS 2081 HAS SOPS 1791 HAS SOUS 1741 HAS SOUPS 1521 WITH SCORE 1523.081
AT ITER 1961 NEW BEST:: SOT 7717 SOS 2079 HAS SOPS 1789 HAS SOUS 1741 HAS SOUPS 1521 WITH SCORE 1523.079
AT ITER 1972 NEW BEST:: SOT 7716 SOS 2077 HAS SOPS 1787 HAS SOUS 1739 HAS SOUPS 1519 WITH SCORE 1521.077
AT ITER 1993 NEW BEST:: SOT 7701 SOS 2047 HAS SOPS 1769 HAS SOUS 1721 HAS SOUPS 1501 WITH SCORE 1503.047
AT ITER 2032 NEW BEST:: SOT 7701 SOS 2056 HAS SOPS 1768 HAS SOUS 1725 HAS SOUPS 1500 WITH SCORE 1502.056
AT ITER 2048 NEW BEST:: SOT 7698 SOS 2020 HAS SOPS 1732 HAS SOUS 1714 HAS SOUPS 1489 WITH SCORE 1491.02
AT ITER 2063 NEW BEST:: SOT 7696 SOS 2016 HAS SOPS 1724 HAS SOUS 1710 HAS SOUPS 1481 WITH SCORE 1483.016
AT ITER 2107 NEW BEST:: SOT 7677 SOS 2028 HAS SOPS 1762 HAS SOUS 1693 HAS SOUPS 1464 WITH SCORE 1466.028
AT ITER 2199 NEW BEST:: SOT 7677 SOS 2025 HAS SOPS 1759 HAS SOUS 1692 HAS SOUPS 1463 WITH SCORE 1465.025
AT ITER 2364 NEW BEST:: SOT 7677 SOS 2023 HAS SOPS 1757 HAS SOUS 1692 HAS SOUPS 1463 WITH SCORE 1465.023
AT ITER 2402 NEW BEST:: SOT 7674 SOS 2017 HAS SOPS 1751 HAS SOUS 1686 HAS SOUPS 1457 WITH SCORE 1459.017
AT ITER 2407 NEW BEST:: SOT 7681 SOS 2007 HAS SOPS 1741 HAS SOUS 1685 HAS SOUPS 1456 WITH SCORE 1458.007
AT ITER 2492 NEW BEST:: SOT 7677 SOS 2008 HAS SOPS 1742 HAS SOUS 1677 HAS SOUPS 1448 WITH SCORE 1450.008
AT ITER 2507 NEW BEST:: SOT 7676 SOS 2005 HAS SOPS 1739 HAS SOUS 1675 HAS SOUPS 1446 WITH SCORE 1448.005
AT ITER 2510 NEW BEST:: SOT 7676 SOS 2007 HAS SOPS 1738 HAS SOUS 1675 HAS SOUPS 1445 WITH SCORE 1447.007
AT ITER 2566 NEW BEST:: SOT 7676 SOS 2004 HAS SOPS 1738 HAS SOUS 1674 HAS SOUPS 1445 WITH SCORE 1447.004
AT ITER 2584 NEW BEST:: SOT 7675 SOS 2001 HAS SOPS 1735 HAS SOUS 1671 HAS SOUPS 1442 WITH SCORE 1444.001
AT ITER 2593 NEW BEST:: SOT 7675 SOS 2000 HAS SOPS 1732 HAS SOUS 1668 HAS SOUPS 1439 WITH SCORE 1441.0
AT ITER 2607 NEW BEST:: SOT 7667 SOS 1994 HAS SOPS 1726 HAS SOUS 1662 HAS SOUPS 1433 WITH SCORE 1434.994
AT ITER 2618 NEW BEST:: SOT 7663 SOS 1992 HAS SOPS 1724 HAS SOUS 1660 HAS SOUPS 1431 WITH SCORE 1432.992
AT ITER 2623 NEW BEST:: SOT 7668 SOS 1986 HAS SOPS 1718 HAS SOUS 1654 HAS SOUPS 1425 WITH SCORE 1426.986
AT ITER 2749 NEW BEST:: SOT 7667 SOS 1986 HAS SOPS 1718 HAS SOUS 1652 HAS SOUPS 1423 WITH SCORE 1424.986
AT ITER 2937 NEW BEST:: SOT 7667 SOS 1986 HAS SOPS 1715 HAS SOUS 1649 HAS SOUPS 1420 WITH SCORE 1421.986
AT ITER 2987 NEW BEST:: SOT 7666 SOS 1986 HAS SOPS 1708 HAS SOUS 1646 HAS SOUPS 1411 WITH SCORE 1412.986
AT ITER 3022 NEW BEST:: SOT 7666 SOS 1985 HAS SOPS 1707 HAS SOUS 1645 HAS SOUPS 1410 WITH SCORE 1411.985
AT ITER 3077 NEW BEST:: SOT 7668 SOS 1985 HAS SOPS 1706 HAS SOUS 1645 HAS SOUPS 1409 WITH SCORE 1410.985
AT ITER 3106 NEW BEST:: SOT 7666 SOS 1987 HAS SOPS 1702 HAS SOUS 1643 HAS SOUPS 1405 WITH SCORE 1406.987
AT ITER 3167 NEW BEST:: SOT 7661 SOS 1985 HAS SOPS 1700 HAS SOUS 1638 HAS SOUPS 1400 WITH SCORE 1401.985
AT ITER 3172 NEW BEST:: SOT 7662 SOS 1983 HAS SOPS 1698 HAS SOUS 1636 HAS SOUPS 1398 WITH SCORE 1399.983
AT ITER 3182 NEW BEST:: SOT 7663 SOS 1988 HAS SOPS 1696 HAS SOUS 1634 HAS SOUPS 1396 WITH SCORE 1397.988
AT ITER 3239 NEW BEST:: SOT 7663 SOS 1985 HAS SOPS 1693 HAS SOUS 1634 HAS SOUPS 1396 WITH SCORE 1397.985
AT ITER 3285 NEW BEST:: SOT 7663 SOS 1979 HAS SOPS 1691 HAS SOUS 1630 HAS SOUPS 1394 WITH SCORE 1395.979
AT ITER 3469 NEW BEST:: SOT 7671 SOS 1974 HAS SOPS 1657 HAS SOUS 1627 HAS SOUPS 1391 WITH SCORE 1392.974
AT ITER 3483 NEW BEST:: SOT 7671 SOS 1975 HAS SOPS 1658 HAS SOUS 1626 HAS SOUPS 1390 WITH SCORE 1391.975
AT ITER 3505 NEW BEST:: SOT 7671 SOS 1974 HAS SOPS 1657 HAS SOUS 1626 HAS SOUPS 1390 WITH SCORE 1391.974
AT ITER 3608 NEW BEST:: SOT 7665 SOS 1948 HAS SOPS 1631 HAS SOUS 1608 HAS SOUPS 1372 WITH SCORE 1373.948
AT ITER 3667 NEW BEST:: SOT 7662 SOS 1977 HAS SOPS 1649 HAS SOUS 1605 HAS SOUPS 1358 WITH SCORE 1359.977
AT ITER 3721 NEW BEST:: SOT 7658 SOS 1969 HAS SOPS 1635 HAS SOUS 1591 HAS SOUPS 1344 WITH SCORE 1345.969
AT ITER 3746 NEW BEST:: SOT 7657 SOS 1967 HAS SOPS 1633 HAS SOUS 1589 HAS SOUPS 1342 WITH SCORE 1343.967
AT ITER 3835 NEW BEST:: SOT 7657 SOS 1964 HAS SOPS 1631 HAS SOUS 1588 HAS SOUPS 1342 WITH SCORE 1343.964
AT ITER 3854 NEW BEST:: SOT 7656 SOS 1959 HAS SOPS 1626 HAS SOUS 1586 HAS SOUPS 1340 WITH SCORE 1341.959
AT ITER 3885 NEW BEST:: SOT 7656 SOS 1956 HAS SOPS 1623 HAS SOUS 1585 HAS SOUPS 1339 WITH SCORE 1340.956
AT ITER 3962 NEW BEST:: SOT 7655 SOS 1953 HAS SOPS 1620 HAS SOUS 1584 HAS SOUPS 1338 WITH SCORE 1339.953
AT ITER 4107 NEW BEST:: SOT 7656 SOS 1952 HAS SOPS 1622 HAS SOUS 1581 HAS SOUPS 1337 WITH SCORE 1338.952
AT ITER 4155 NEW BEST:: SOT 7649 SOS 1945 HAS SOPS 1615 HAS SOUS 1581 HAS SOUPS 1337 WITH SCORE 1338.945
AT ITER 4210 NEW BEST:: SOT 7648 SOS 1945 HAS SOPS 1612 HAS SOUS 1580 HAS SOUPS 1333 WITH SCORE 1334.945
AT ITER 4213 NEW BEST:: SOT 7645 SOS 1943 HAS SOPS 1610 HAS SOUS 1578 HAS SOUPS 1331 WITH SCORE 1332.943
AT ITER 4269 NEW BEST:: SOT 7645 SOS 1942 HAS SOPS 1608 HAS SOUS 1577 HAS SOUPS 1330 WITH SCORE 1331.942
AT ITER 4274 NEW BEST:: SOT 7644 SOS 1974 HAS SOPS 1640 HAS SOUS 1575 HAS SOUPS 1328 WITH SCORE 1329.974
AT ITER 4353 NEW BEST:: SOT 7643 SOS 1975 HAS SOPS 1639 HAS SOUS 1575 HAS SOUPS 1327 WITH SCORE 1328.975
AT ITER 4508 NEW BEST:: SOT 7633 SOS 1967 HAS SOPS 1631 HAS SOUS 1567 HAS SOUPS 1319 WITH SCORE 1320.967
AT ITER 4570 NEW BEST:: SOT 7632 SOS 1964 HAS SOPS 1631 HAS SOUS 1567 HAS SOUPS 1319 WITH SCORE 1320.964
AT ITER 4659 NEW BEST:: SOT 7632 SOS 1963 HAS SOPS 1630 HAS SOUS 1567 HAS SOUPS 1319 WITH SCORE 1320.963
AT ITER 4671 NEW BEST:: SOT 7630 SOS 1959 HAS SOPS 1626 HAS SOUS 1563 HAS SOUPS 1315 WITH SCORE 1316.959
AT ITER 4740 NEW BEST:: SOT 7630 SOS 1957 HAS SOPS 1624 HAS SOUS 1563 HAS SOUPS 1315 WITH SCORE 1316.957
AT ITER 4743 NEW BEST:: SOT 7630 SOS 1958 HAS SOPS 1625 HAS SOUS 1562 HAS SOUPS 1314 WITH SCORE 1315.958
AT ITER 4841 NEW BEST:: SOT 7629 SOS 1956 HAS SOPS 1623 HAS SOUS 1560 HAS SOUPS 1312 WITH SCORE 1313.956
AT ITER 4913 NEW BEST:: SOT 7628 SOS 1955 HAS SOPS 1622 HAS SOUS 1559 HAS SOUPS 1311 WITH SCORE 1312.955
AT ITER 5012 NEW BEST:: SOT 7629 SOS 1951 HAS SOPS 1618 HAS SOUS 1559 HAS SOUPS 1311 WITH SCORE 1312.951
AT ITER 5144 NEW BEST:: SOT 7632 SOS 1950 HAS SOPS 1617 HAS SOUS 1558 HAS SOUPS 1310 WITH SCORE 1311.95
AT ITER 5166 NEW BEST:: SOT 7633 SOS 1949 HAS SOPS 1617 HAS SOUS 1557 HAS SOUPS 1310 WITH SCORE 1311.949
AT ITER 5257 NEW BEST:: SOT 7633 SOS 1943 HAS SOPS 1617 HAS SOUS 1557 HAS SOUPS 1310 WITH SCORE 1311.943
AT ITER 5276 NEW BEST:: SOT 7633 SOS 1943 HAS SOPS 1613 HAS SOUS 1560 HAS SOUPS 1309 WITH SCORE 1310.943
AT ITER 5314 NEW BEST:: SOT 7633 SOS 1923 HAS SOPS 1593 HAS SOUS 1560 HAS SOUPS 1309 WITH SCORE 1310.923
AT ITER 5403 NEW BEST:: SOT 7633 SOS 1924 HAS SOPS 1592 HAS SOUS 1559 HAS SOUPS 1308 WITH SCORE 1309.924
AT ITER 5528 NEW BEST:: SOT 7633 SOS 1922 HAS SOPS 1590 HAS SOUS 1558 HAS SOUPS 1307 WITH SCORE 1308.922
AT ITER 5623 NEW BEST:: SOT 7631 SOS 1922 HAS SOPS 1587 HAS SOUS 1553 HAS SOUPS 1302 WITH SCORE 1303.922
AT ITER 5797 NEW BEST:: SOT 7630 SOS 1929 HAS SOPS 1594 HAS SOUS 1551 HAS SOUPS 1300 WITH SCORE 1301.929
AT ITER 5956 NEW BEST:: SOT 7628 SOS 1923 HAS SOPS 1590 HAS SOUS 1547 HAS SOUPS 1296 WITH SCORE 1297.923
AT ITER 6031 NEW BEST:: SOT 7628 SOS 1921 HAS SOPS 1588 HAS SOUS 1545 HAS SOUPS 1294 WITH SCORE 1295.921
AT ITER 6086 NEW BEST:: SOT 7627 SOS 1919 HAS SOPS 1586 HAS SOUS 1543 HAS SOUPS 1292 WITH SCORE 1293.919
AT ITER 6506 NEW BEST:: SOT 7614 SOS 1902 HAS SOPS 1569 HAS SOUS 1540 HAS SOUPS 1289 WITH SCORE 1290.902
AT ITER 6534 NEW BEST:: SOT 7612 SOS 1898 HAS SOPS 1565 HAS SOUS 1537 HAS SOUPS 1286 WITH SCORE 1287.898
AT ITER 6669 NEW BEST:: SOT 7609 SOS 1899 HAS SOPS 1563 HAS SOUS 1538 HAS SOUPS 1284 WITH SCORE 1285.899
AT ITER 6698 NEW BEST:: SOT 7609 SOS 1899 HAS SOPS 1559 HAS SOUS 1534 HAS SOUPS 1280 WITH SCORE 1281.899
AT ITER 6744 NEW BEST:: SOT 7608 SOS 1897 HAS SOPS 1557 HAS SOUS 1532 HAS SOUPS 1278 WITH SCORE 1279.897
AT ITER 7094 NEW BEST:: SOT 7609 SOS 1896 HAS SOPS 1556 HAS SOUS 1532 HAS SOUPS 1278 WITH SCORE 1279.896
AT ITER 7150 NEW BEST:: SOT 7608 SOS 1895 HAS SOPS 1555 HAS SOUS 1531 HAS SOUPS 1277 WITH SCORE 1278.895
AT ITER 7164 NEW BEST:: SOT 7607 SOS 1893 HAS SOPS 1553 HAS SOUS 1529 HAS SOUPS 1275 WITH SCORE 1276.893
AT ITER 7229 NEW BEST:: SOT 7607 SOS 1884 HAS SOPS 1544 HAS SOUS 1526 HAS SOUPS 1272 WITH SCORE 1273.884
AT ITER 7458 NEW BEST:: SOT 7603 SOS 1880 HAS SOPS 1539 HAS SOUS 1526 HAS SOUPS 1271 WITH SCORE 1272.88
AT ITER 7646 NEW BEST:: SOT 7602 SOS 1882 HAS SOPS 1541 HAS SOUS 1524 HAS SOUPS 1269 WITH SCORE 1270.882
AT ITER 8066 NEW BEST:: SOT 7602 SOS 1882 HAS SOPS 1543 HAS SOUS 1520 HAS SOUPS 1267 WITH SCORE 1268.882
AT ITER 8274 NEW BEST:: SOT 7600 SOS 1878 HAS SOPS 1539 HAS SOUS 1518 HAS SOUPS 1265 WITH SCORE 1266.878
AT ITER 8367 NEW BEST:: SOT 7599 SOS 1879 HAS SOPS 1538 HAS SOUS 1518 HAS SOUPS 1264 WITH SCORE 1265.879
AT ITER 8441 NEW BEST:: SOT 7599 SOS 1877 HAS SOPS 1536 HAS SOUS 1518 HAS SOUPS 1264 WITH SCORE 1265.877
AT ITER 8913 NEW BEST:: SOT 7599 SOS 1874 HAS SOPS 1534 HAS SOUS 1518 HAS SOUPS 1264 WITH SCORE 1265.874
AT ITER 8919 NEW BEST:: SOT 7598 SOS 1872 HAS SOPS 1532 HAS SOUS 1516 HAS SOUPS 1262 WITH SCORE 1263.872
AT ITER 9113 NEW BEST:: SOT 7594 SOS 1864 HAS SOPS 1524 HAS SOUS 1508 HAS SOUPS 1254 WITH SCORE 1255.864
AT ITER 9160 NEW BEST:: SOT 7594 SOS 1863 HAS SOPS 1523 HAS SOUS 1508 HAS SOUPS 1254 WITH SCORE 1255.863
AT ITER 9669 NEW BEST:: SOT 7594 SOS 1863 HAS SOPS 1521 HAS SOUS 1507 HAS SOUPS 1252 WITH SCORE 1253.863
AT ITER 9706 NEW BEST:: SOT 7596 SOS 1867 HAS SOPS 1519 HAS SOUS 1508 HAS SOUPS 1250 WITH SCORE 1251.867
AT ITER 9840 NEW BEST:: SOT 7595 SOS 1866 HAS SOPS 1519 HAS SOUS 1507 HAS SOUPS 1249 WITH SCORE 1250.866
AT ITER 9862 NEW BEST:: SOT 7582 SOS 1854 HAS SOPS 1514 HAS SOUS 1495 HAS SOUPS 1244 WITH SCORE 1245.854
AT ITER 9886 NEW BEST:: SOT 7604 SOS 1825 HAS SOPS 1485 HAS SOUS 1492 HAS SOUPS 1241 WITH SCORE 1242.825
AT ITER 9962 NEW BEST:: SOT 7603 SOS 1823 HAS SOPS 1483 HAS SOUS 1490 HAS SOUPS 1239 WITH SCORE 1240.823
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 1678941221474

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r267-smll-167863542100608"
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 ;