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-159033538200032.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 SmartHome-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538200032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.1K May 14 03:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 03:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 13 21:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 21:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.1K May 13 15:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 15:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 10:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 10:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 35K May 12 20:42 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 1590469749531

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

Filename model.pnml
Petri model created: 139 places, 159 transitions, 361 arcs.
AT ITER 0 NEW BEST:: SOT 12929 SOS 2972 HAS SOPS 2972 HAS SOUS 2903 HAS SOUPS 2903 WITH SCORE 2905.972
AT ITER 6 NEW BEST:: SOT 12926 SOS 2961 HAS SOPS 2961 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2879.961
AT ITER 7 NEW BEST:: SOT 12918 SOS 2968 HAS SOPS 2968 HAS SOUS 2858 HAS SOUPS 2858 WITH SCORE 2860.968
AT ITER 11 NEW BEST:: SOT 12917 SOS 2966 HAS SOPS 2966 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2858.966
AT ITER 27 NEW BEST:: SOT 12913 SOS 2958 HAS SOPS 2958 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2850.958
AT ITER 29 NEW BEST:: SOT 12913 SOS 2957 HAS SOPS 2957 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2849.957
AT ITER 38 NEW BEST:: SOT 12906 SOS 2930 HAS SOPS 2930 HAS SOUS 2827 HAS SOUPS 2827 WITH SCORE 2829.93
AT ITER 46 NEW BEST:: SOT 12899 SOS 2929 HAS SOPS 2929 HAS SOUS 2818 HAS SOUPS 2818 WITH SCORE 2820.929
AT ITER 55 NEW BEST:: SOT 12897 SOS 2925 HAS SOPS 2925 HAS SOUS 2814 HAS SOUPS 2814 WITH SCORE 2816.925
AT ITER 69 NEW BEST:: SOT 12890 SOS 2911 HAS SOPS 2911 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2801.911
AT ITER 82 NEW BEST:: SOT 12889 SOS 2909 HAS SOPS 2909 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2799.909
AT ITER 91 NEW BEST:: SOT 12886 SOS 2903 HAS SOPS 2903 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2793.903
AT ITER 111 NEW BEST:: SOT 12873 SOS 2877 HAS SOPS 2877 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2767.877
AT ITER 114 NEW BEST:: SOT 12872 SOS 2868 HAS SOPS 2868 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2759.868
AT ITER 123 NEW BEST:: SOT 12870 SOS 2864 HAS SOPS 2864 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2755.864
AT ITER 138 NEW BEST:: SOT 12869 SOS 2862 HAS SOPS 2862 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2753.862
AT ITER 159 NEW BEST:: SOT 12886 SOS 2875 HAS SOPS 2875 HAS SOUS 2737 HAS SOUPS 2737 WITH SCORE 2739.875
AT ITER 168 NEW BEST:: SOT 12880 SOS 2869 HAS SOPS 2869 HAS SOUS 2731 HAS SOUPS 2731 WITH SCORE 2733.869
AT ITER 191 NEW BEST:: SOT 12859 SOS 2869 HAS SOPS 2869 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2712.869
AT ITER 211 NEW BEST:: SOT 12859 SOS 2867 HAS SOPS 2867 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2710.867
AT ITER 230 NEW BEST:: SOT 12853 SOS 2858 HAS SOPS 2858 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2706.858
AT ITER 243 NEW BEST:: SOT 12847 SOS 2846 HAS SOPS 2846 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2690.846
AT ITER 252 NEW BEST:: SOT 12839 SOS 2830 HAS SOPS 2830 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2675.83
AT ITER 290 NEW BEST:: SOT 12686 SOS 2942 HAS SOPS 2942 HAS SOUS 2545 HAS SOUPS 2545 WITH SCORE 2547.942
AT ITER 299 NEW BEST:: SOT 12677 SOS 2924 HAS SOPS 2924 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2529.924
AT ITER 300 NEW BEST:: SOT 12652 SOS 2864 HAS SOPS 2864 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2483.864
AT ITER 330 NEW BEST:: SOT 12652 SOS 2860 HAS SOPS 2860 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2479.86
AT ITER 332 NEW BEST:: SOT 12645 SOS 2857 HAS SOPS 2857 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2476.857
AT ITER 345 NEW BEST:: SOT 12640 SOS 2847 HAS SOPS 2847 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.847
AT ITER 364 NEW BEST:: SOT 12636 SOS 2839 HAS SOPS 2839 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2451.839
AT ITER 365 NEW BEST:: SOT 12626 SOS 2830 HAS SOPS 2830 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2442.83
AT ITER 367 NEW BEST:: SOT 12625 SOS 2828 HAS SOPS 2828 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2440.828
AT ITER 368 NEW BEST:: SOT 12625 SOS 2810 HAS SOPS 2810 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2428.81
AT ITER 369 NEW BEST:: SOT 12626 SOS 2804 HAS SOPS 2804 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2422.804
AT ITER 384 NEW BEST:: SOT 12625 SOS 2802 HAS SOPS 2802 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.802
AT ITER 389 NEW BEST:: SOT 12612 SOS 2784 HAS SOPS 2784 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.784
AT ITER 428 NEW BEST:: SOT 12602 SOS 2764 HAS SOPS 2764 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2397.764
AT ITER 429 NEW BEST:: SOT 12598 SOS 2758 HAS SOPS 2758 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2392.758
AT ITER 434 NEW BEST:: SOT 12573 SOS 2736 HAS SOPS 2736 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.736
AT ITER 489 NEW BEST:: SOT 12571 SOS 2730 HAS SOPS 2730 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2363.73
AT ITER 500 NEW BEST:: SOT 12545 SOS 2743 HAS SOPS 2743 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.743
AT ITER 524 NEW BEST:: SOT 12543 SOS 2739 HAS SOPS 2739 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.739
AT ITER 532 NEW BEST:: SOT 12542 SOS 2737 HAS SOPS 2737 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.737
AT ITER 545 NEW BEST:: SOT 12490 SOS 2730 HAS SOPS 2730 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2292.73
AT ITER 555 NEW BEST:: SOT 12472 SOS 2704 HAS SOPS 2704 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2264.704
AT ITER 573 NEW BEST:: SOT 12452 SOS 2700 HAS SOPS 2700 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2249.7
AT ITER 576 NEW BEST:: SOT 12436 SOS 2668 HAS SOPS 2668 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2217.668
AT ITER 579 NEW BEST:: SOT 12420 SOS 2620 HAS SOPS 2620 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2217.62
AT ITER 647 NEW BEST:: SOT 12418 SOS 2616 HAS SOPS 2616 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.616
AT ITER 722 NEW BEST:: SOT 12414 SOS 2608 HAS SOPS 2608 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2209.608
AT ITER 723 NEW BEST:: SOT 12412 SOS 2604 HAS SOPS 2604 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.604
AT ITER 730 NEW BEST:: SOT 12411 SOS 2602 HAS SOPS 2602 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2203.602
AT ITER 766 NEW BEST:: SOT 12409 SOS 2597 HAS SOPS 2597 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.597
AT ITER 776 NEW BEST:: SOT 12406 SOS 2591 HAS SOPS 2591 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.591
AT ITER 820 NEW BEST:: SOT 12371 SOS 2556 HAS SOPS 2556 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2153.556
AT ITER 842 NEW BEST:: SOT 12370 SOS 2554 HAS SOPS 2554 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.554
AT ITER 864 NEW BEST:: SOT 12371 SOS 2544 HAS SOPS 2544 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.544
AT ITER 990 NEW BEST:: SOT 12369 SOS 2542 HAS SOPS 2542 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2150.542
AT ITER 993 NEW BEST:: SOT 12330 SOS 2566 HAS SOPS 2566 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.566
AT ITER 1003 NEW BEST:: SOT 12330 SOS 2559 HAS SOPS 2559 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.559
AT ITER 1030 NEW BEST:: SOT 12329 SOS 2558 HAS SOPS 2558 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2141.558
AT ITER 1033 NEW BEST:: SOT 12321 SOS 2557 HAS SOPS 2557 HAS SOUS 2138 HAS SOUPS 2138 WITH SCORE 2140.557
AT ITER 1042 NEW BEST:: SOT 12293 SOS 2515 HAS SOPS 2515 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.515
AT ITER 1047 NEW BEST:: SOT 12296 SOS 2509 HAS SOPS 2509 HAS SOUS 2122 HAS SOUPS 2122 WITH SCORE 2124.509
AT ITER 1051 NEW BEST:: SOT 12299 SOS 2515 HAS SOPS 2515 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.515
AT ITER 1065 NEW BEST:: SOT 12290 SOS 2497 HAS SOPS 2497 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2099.497
AT ITER 1122 NEW BEST:: SOT 12289 SOS 2496 HAS SOPS 2496 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2098.496
AT ITER 1137 NEW BEST:: SOT 12146 SOS 2917 HAS SOPS 2917 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2043.917
AT ITER 1153 NEW BEST:: SOT 12146 SOS 2905 HAS SOPS 2905 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.905
AT ITER 1162 NEW BEST:: SOT 12146 SOS 2904 HAS SOPS 2904 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2041.904
AT ITER 1176 NEW BEST:: SOT 12145 SOS 2902 HAS SOPS 2902 HAS SOUS 2037 HAS SOUPS 2037 WITH SCORE 2039.902
AT ITER 1233 NEW BEST:: SOT 12151 SOS 2889 HAS SOPS 2889 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2034.889
AT ITER 1254 NEW BEST:: SOT 12147 SOS 2883 HAS SOPS 2883 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2029.883
AT ITER 1255 NEW BEST:: SOT 12145 SOS 2879 HAS SOPS 2879 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.879
AT ITER 1263 NEW BEST:: SOT 12143 SOS 2871 HAS SOPS 2871 HAS SOUS 2015 HAS SOUPS 2015 WITH SCORE 2017.871
AT ITER 1267 NEW BEST:: SOT 12137 SOS 2859 HAS SOPS 2859 HAS SOUS 2009 HAS SOUPS 2009 WITH SCORE 2011.859
AT ITER 1280 NEW BEST:: SOT 12144 SOS 2809 HAS SOPS 2809 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1996.809
AT ITER 1338 NEW BEST:: SOT 12142 SOS 2805 HAS SOPS 2805 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.805
AT ITER 1347 NEW BEST:: SOT 12138 SOS 2801 HAS SOPS 2801 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.801
AT ITER 1371 NEW BEST:: SOT 12132 SOS 2795 HAS SOPS 2795 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.795
AT ITER 1401 NEW BEST:: SOT 12132 SOS 2795 HAS SOPS 2795 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1983.795
AT ITER 1407 NEW BEST:: SOT 12128 SOS 2787 HAS SOPS 2787 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1979.787
AT ITER 1458 NEW BEST:: SOT 12128 SOS 2786 HAS SOPS 2786 HAS SOUS 1976 HAS SOUPS 1976 WITH SCORE 1978.786
AT ITER 1461 NEW BEST:: SOT 12118 SOS 2772 HAS SOPS 2772 HAS SOUS 1962 HAS SOUPS 1962 WITH SCORE 1964.772
AT ITER 1467 NEW BEST:: SOT 12111 SOS 2758 HAS SOPS 2758 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1950.758
AT ITER 1487 NEW BEST:: SOT 12100 SOS 2734 HAS SOPS 2734 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1941.734
AT ITER 1488 NEW BEST:: SOT 12099 SOS 2740 HAS SOPS 2740 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.74
AT ITER 1492 NEW BEST:: SOT 12087 SOS 2710 HAS SOPS 2710 HAS SOUS 1934 HAS SOUPS 1934 WITH SCORE 1936.71
AT ITER 1506 NEW BEST:: SOT 12085 SOS 2706 HAS SOPS 2706 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1932.706
AT ITER 1508 NEW BEST:: SOT 12086 SOS 2702 HAS SOPS 2702 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.702
AT ITER 1528 NEW BEST:: SOT 12081 SOS 2710 HAS SOPS 2710 HAS SOUS 1921 HAS SOUPS 1921 WITH SCORE 1923.71
AT ITER 1534 NEW BEST:: SOT 12056 SOS 2868 HAS SOPS 2868 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.868
AT ITER 1591 NEW BEST:: SOT 12041 SOS 2838 HAS SOPS 2838 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1897.838
AT ITER 1612 NEW BEST:: SOT 12040 SOS 2836 HAS SOPS 2836 HAS SOUS 1893 HAS SOUPS 1893 WITH SCORE 1895.836
AT ITER 1630 NEW BEST:: SOT 12059 SOS 2541 HAS SOPS 2541 HAS SOUS 1890 HAS SOUPS 1890 WITH SCORE 1892.541
AT ITER 1638 NEW BEST:: SOT 12051 SOS 2525 HAS SOPS 2525 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1876.525
AT ITER 1646 NEW BEST:: SOT 12075 SOS 2541 HAS SOPS 2541 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1868.541
AT ITER 1651 NEW BEST:: SOT 12071 SOS 2537 HAS SOPS 2537 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1862.537
AT ITER 1657 NEW BEST:: SOT 12071 SOS 2537 HAS SOPS 2537 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1856.537
AT ITER 1760 NEW BEST:: SOT 12070 SOS 2537 HAS SOPS 2537 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1855.537
AT ITER 1770 NEW BEST:: SOT 12055 SOS 2507 HAS SOPS 2507 HAS SOUS 1823 HAS SOUPS 1823 WITH SCORE 1825.507
AT ITER 1781 NEW BEST:: SOT 12049 SOS 2495 HAS SOPS 2495 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1819.495
AT ITER 1835 NEW BEST:: SOT 12048 SOS 2495 HAS SOPS 2495 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1818.495
AT ITER 1853 NEW BEST:: SOT 12048 SOS 2490 HAS SOPS 2490 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1817.49
AT ITER 1901 NEW BEST:: SOT 12043 SOS 2482 HAS SOPS 2482 HAS SOUS 1811 HAS SOUPS 1811 WITH SCORE 1813.482
AT ITER 1959 NEW BEST:: SOT 12041 SOS 2476 HAS SOPS 2476 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1809.476
AT ITER 1961 NEW BEST:: SOT 12036 SOS 2471 HAS SOPS 2471 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1809.471
AT ITER 1971 NEW BEST:: SOT 12027 SOS 2452 HAS SOPS 2452 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1803.452
AT ITER 1974 NEW BEST:: SOT 12025 SOS 2448 HAS SOPS 2448 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1799.448
AT ITER 1983 NEW BEST:: SOT 12025 SOS 2446 HAS SOPS 2446 HAS SOUS 1795 HAS SOUPS 1795 WITH SCORE 1797.446
AT ITER 1990 NEW BEST:: SOT 12031 SOS 2436 HAS SOPS 2436 HAS SOUS 1792 HAS SOUPS 1792 WITH SCORE 1794.436
AT ITER 2054 NEW BEST:: SOT 12039 SOS 2464 HAS SOPS 2464 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1793.464
AT ITER 2064 NEW BEST:: SOT 12033 SOS 2452 HAS SOPS 2452 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1781.452
AT ITER 2118 NEW BEST:: SOT 12023 SOS 2442 HAS SOPS 2442 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1781.442
AT ITER 2133 NEW BEST:: SOT 12022 SOS 2442 HAS SOPS 2442 HAS SOUS 1778 HAS SOUPS 1778 WITH SCORE 1780.442
AT ITER 2134 NEW BEST:: SOT 12006 SOS 2410 HAS SOPS 2410 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1768.41
AT ITER 2154 NEW BEST:: SOT 12006 SOS 2409 HAS SOPS 2409 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1767.409
AT ITER 2181 NEW BEST:: SOT 12008 SOS 2405 HAS SOPS 2405 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1767.405
AT ITER 2213 NEW BEST:: SOT 12008 SOS 2402 HAS SOPS 2402 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1765.402
AT ITER 2296 NEW BEST:: SOT 12002 SOS 2390 HAS SOPS 2390 HAS SOUS 1757 HAS SOUPS 1757 WITH SCORE 1759.39
AT ITER 2298 NEW BEST:: SOT 11982 SOS 2361 HAS SOPS 2361 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1750.361
AT ITER 2301 NEW BEST:: SOT 11979 SOS 2355 HAS SOPS 2355 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1747.355
AT ITER 2382 NEW BEST:: SOT 11973 SOS 2343 HAS SOPS 2343 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1741.343
AT ITER 2415 NEW BEST:: SOT 11972 SOS 2341 HAS SOPS 2341 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1741.341
AT ITER 2428 NEW BEST:: SOT 11971 SOS 2339 HAS SOPS 2339 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1739.339
AT ITER 2437 NEW BEST:: SOT 11967 SOS 2335 HAS SOPS 2335 HAS SOUS 1733 HAS SOUPS 1733 WITH SCORE 1735.335
AT ITER 2449 NEW BEST:: SOT 11967 SOS 2335 HAS SOPS 2335 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1732.335
AT ITER 2451 NEW BEST:: SOT 11967 SOS 2356 HAS SOPS 2356 HAS SOUS 1724 HAS SOUPS 1724 WITH SCORE 1726.356
AT ITER 2463 NEW BEST:: SOT 11966 SOS 2350 HAS SOPS 2350 HAS SOUS 1718 HAS SOUPS 1718 WITH SCORE 1720.35
AT ITER 2468 NEW BEST:: SOT 11963 SOS 2344 HAS SOPS 2344 HAS SOUS 1712 HAS SOUPS 1712 WITH SCORE 1714.344
AT ITER 2485 NEW BEST:: SOT 11964 SOS 2335 HAS SOPS 2335 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1707.335
AT ITER 2510 NEW BEST:: SOT 11961 SOS 2333 HAS SOPS 2333 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1705.333
AT ITER 2512 NEW BEST:: SOT 11960 SOS 2331 HAS SOPS 2331 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1703.331
AT ITER 2543 NEW BEST:: SOT 11953 SOS 2297 HAS SOPS 2297 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1689.297
AT ITER 2597 NEW BEST:: SOT 11948 SOS 2290 HAS SOPS 2290 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1684.29
AT ITER 2666 NEW BEST:: SOT 11948 SOS 2286 HAS SOPS 2286 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1680.286
AT ITER 2738 NEW BEST:: SOT 11948 SOS 2286 HAS SOPS 2286 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1679.286
AT ITER 2772 NEW BEST:: SOT 11947 SOS 2285 HAS SOPS 2285 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.285
AT ITER 2782 NEW BEST:: SOT 11933 SOS 2314 HAS SOPS 2314 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1667.314
AT ITER 2859 NEW BEST:: SOT 11938 SOS 2316 HAS SOPS 2316 HAS SOUS 1661 HAS SOUPS 1661 WITH SCORE 1663.316
AT ITER 2932 NEW BEST:: SOT 11938 SOS 2317 HAS SOPS 2317 HAS SOUS 1658 HAS SOUPS 1658 WITH SCORE 1660.317
AT ITER 2954 NEW BEST:: SOT 11938 SOS 2313 HAS SOPS 2313 HAS SOUS 1658 HAS SOUPS 1658 WITH SCORE 1660.313
AT ITER 2966 NEW BEST:: SOT 11937 SOS 2308 HAS SOPS 2308 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1658.308
AT ITER 3057 NEW BEST:: SOT 11933 SOS 2304 HAS SOPS 2304 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1654.304
AT ITER 3074 NEW BEST:: SOT 11933 SOS 2296 HAS SOPS 2296 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1654.296
AT ITER 3089 NEW BEST:: SOT 11931 SOS 2292 HAS SOPS 2292 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1652.292
AT ITER 3100 NEW BEST:: SOT 11929 SOS 2290 HAS SOPS 2290 HAS SOUS 1648 HAS SOUPS 1648 WITH SCORE 1650.29
AT ITER 3123 NEW BEST:: SOT 11923 SOS 2278 HAS SOPS 2278 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1638.278
AT ITER 3124 NEW BEST:: SOT 11920 SOS 2274 HAS SOPS 2274 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1635.274
AT ITER 3151 NEW BEST:: SOT 11920 SOS 2273 HAS SOPS 2273 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1635.273
AT ITER 3165 NEW BEST:: SOT 11918 SOS 2269 HAS SOPS 2269 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1631.269
AT ITER 3168 NEW BEST:: SOT 11918 SOS 2274 HAS SOPS 2274 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1629.274
AT ITER 3184 NEW BEST:: SOT 11908 SOS 2254 HAS SOPS 2254 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1629.254
AT ITER 3212 NEW BEST:: SOT 11904 SOS 2247 HAS SOPS 2247 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1625.247
AT ITER 3248 NEW BEST:: SOT 11903 SOS 2245 HAS SOPS 2245 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.245
AT ITER 3293 NEW BEST:: SOT 11904 SOS 2244 HAS SOPS 2244 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1622.244
AT ITER 3294 NEW BEST:: SOT 11886 SOS 2377 HAS SOPS 2377 HAS SOUS 1606 HAS SOUPS 1606 WITH SCORE 1608.377
AT ITER 3305 NEW BEST:: SOT 11883 SOS 2374 HAS SOPS 2374 HAS SOUS 1606 HAS SOUPS 1606 WITH SCORE 1608.374
AT ITER 3324 NEW BEST:: SOT 11883 SOS 2371 HAS SOPS 2371 HAS SOUS 1603 HAS SOUPS 1603 WITH SCORE 1605.371
AT ITER 3365 NEW BEST:: SOT 11882 SOS 2371 HAS SOPS 2371 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1604.371
AT ITER 3424 NEW BEST:: SOT 11874 SOS 2355 HAS SOPS 2355 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1604.355
AT ITER 3441 NEW BEST:: SOT 11873 SOS 2353 HAS SOPS 2353 HAS SOUS 1587 HAS SOUPS 1587 WITH SCORE 1589.353
AT ITER 3480 NEW BEST:: SOT 11875 SOS 2357 HAS SOPS 2357 HAS SOUS 1582 HAS SOUPS 1582 WITH SCORE 1584.357
AT ITER 3482 NEW BEST:: SOT 11876 SOS 2356 HAS SOPS 2356 HAS SOUS 1581 HAS SOUPS 1581 WITH SCORE 1583.356
AT ITER 3580 NEW BEST:: SOT 11873 SOS 2353 HAS SOPS 2353 HAS SOUS 1581 HAS SOUPS 1581 WITH SCORE 1583.353
AT ITER 3627 NEW BEST:: SOT 11872 SOS 2351 HAS SOPS 2351 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1581.351
AT ITER 3630 NEW BEST:: SOT 11871 SOS 2349 HAS SOPS 2349 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1579.349
AT ITER 3667 NEW BEST:: SOT 11865 SOS 2337 HAS SOPS 2337 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1574.337
AT ITER 3709 NEW BEST:: SOT 11865 SOS 2340 HAS SOPS 2340 HAS SOUS 1567 HAS SOUPS 1567 WITH SCORE 1569.34
AT ITER 3716 NEW BEST:: SOT 11860 SOS 2323 HAS SOPS 2323 HAS SOUS 1557 HAS SOUPS 1557 WITH SCORE 1559.323
AT ITER 3782 NEW BEST:: SOT 11860 SOS 2316 HAS SOPS 2316 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1552.316
AT ITER 3792 NEW BEST:: SOT 11860 SOS 2288 HAS SOPS 2288 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1552.288
AT ITER 3809 NEW BEST:: SOT 11862 SOS 2284 HAS SOPS 2284 HAS SOUS 1540 HAS SOUPS 1540 WITH SCORE 1542.284
AT ITER 3881 NEW BEST:: SOT 11864 SOS 2285 HAS SOPS 2285 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1538.285
AT ITER 3946 NEW BEST:: SOT 11861 SOS 2279 HAS SOPS 2279 HAS SOUS 1530 HAS SOUPS 1530 WITH SCORE 1532.279
AT ITER 3954 NEW BEST:: SOT 11859 SOS 2277 HAS SOPS 2277 HAS SOUS 1530 HAS SOUPS 1530 WITH SCORE 1532.277
AT ITER 4064 NEW BEST:: SOT 11848 SOS 2266 HAS SOPS 2266 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1521.266
AT ITER 4066 NEW BEST:: SOT 11853 SOS 2260 HAS SOPS 2260 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1515.26
AT ITER 4140 NEW BEST:: SOT 11853 SOS 2258 HAS SOPS 2258 HAS SOUS 1511 HAS SOUPS 1511 WITH SCORE 1513.258
AT ITER 4313 NEW BEST:: SOT 11853 SOS 2256 HAS SOPS 2256 HAS SOUS 1509 HAS SOUPS 1509 WITH SCORE 1511.256
AT ITER 4349 NEW BEST:: SOT 11853 SOS 2248 HAS SOPS 2248 HAS SOUS 1508 HAS SOUPS 1508 WITH SCORE 1510.248
AT ITER 4374 NEW BEST:: SOT 11834 SOS 2324 HAS SOPS 2324 HAS SOUS 1497 HAS SOUPS 1497 WITH SCORE 1499.324
AT ITER 4398 NEW BEST:: SOT 11819 SOS 2304 HAS SOPS 2304 HAS SOUS 1487 HAS SOUPS 1487 WITH SCORE 1489.304
AT ITER 4504 NEW BEST:: SOT 11817 SOS 2300 HAS SOPS 2300 HAS SOUS 1483 HAS SOUPS 1483 WITH SCORE 1485.3
AT ITER 4536 NEW BEST:: SOT 11800 SOS 2532 HAS SOPS 2532 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1482.532
AT ITER 4575 NEW BEST:: SOT 11799 SOS 2530 HAS SOPS 2530 HAS SOUS 1475 HAS SOUPS 1475 WITH SCORE 1477.53
AT ITER 4624 NEW BEST:: SOT 11798 SOS 2528 HAS SOPS 2528 HAS SOUS 1473 HAS SOUPS 1473 WITH SCORE 1475.528
AT ITER 4631 NEW BEST:: SOT 11795 SOS 2522 HAS SOPS 2522 HAS SOUS 1473 HAS SOUPS 1473 WITH SCORE 1475.522
AT ITER 4742 NEW BEST:: SOT 11789 SOS 2514 HAS SOPS 2514 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1471.514
AT ITER 4752 NEW BEST:: SOT 11788 SOS 2512 HAS SOPS 2512 HAS SOUS 1468 HAS SOUPS 1468 WITH SCORE 1470.512
AT ITER 4774 NEW BEST:: SOT 11783 SOS 2502 HAS SOPS 2502 HAS SOUS 1463 HAS SOUPS 1463 WITH SCORE 1465.502
AT ITER 4793 NEW BEST:: SOT 11783 SOS 2501 HAS SOPS 2501 HAS SOUS 1463 HAS SOUPS 1463 WITH SCORE 1465.501
AT ITER 4940 NEW BEST:: SOT 11781 SOS 2499 HAS SOPS 2499 HAS SOUS 1461 HAS SOUPS 1461 WITH SCORE 1463.499
AT ITER 4941 NEW BEST:: SOT 11780 SOS 2493 HAS SOPS 2493 HAS SOUS 1461 HAS SOUPS 1461 WITH SCORE 1463.493
AT ITER 4944 NEW BEST:: SOT 11780 SOS 2491 HAS SOPS 2491 HAS SOUS 1461 HAS SOUPS 1461 WITH SCORE 1463.491
AT ITER 4954 NEW BEST:: SOT 11777 SOS 2488 HAS SOPS 2488 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1460.488
AT ITER 4966 NEW BEST:: SOT 11776 SOS 2486 HAS SOPS 2486 HAS SOUS 1456 HAS SOUPS 1456 WITH SCORE 1458.486
AT ITER 5250 NEW BEST:: SOT 11775 SOS 2485 HAS SOPS 2485 HAS SOUS 1456 HAS SOUPS 1456 WITH SCORE 1458.485
AT ITER 5410 NEW BEST:: SOT 11774 SOS 2484 HAS SOPS 2484 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1456.484
AT ITER 5461 NEW BEST:: SOT 11773 SOS 2482 HAS SOPS 2482 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1454.482
AT ITER 5465 NEW BEST:: SOT 11771 SOS 2476 HAS SOPS 2476 HAS SOUS 1448 HAS SOUPS 1448 WITH SCORE 1450.476
AT ITER 5473 NEW BEST:: SOT 11771 SOS 2473 HAS SOPS 2473 HAS SOUS 1448 HAS SOUPS 1448 WITH SCORE 1450.473
AT ITER 5492 NEW BEST:: SOT 11771 SOS 2473 HAS SOPS 2473 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1449.473
AT ITER 5577 NEW BEST:: SOT 11768 SOS 2549 HAS SOPS 2549 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1448.549
AT ITER 5600 NEW BEST:: SOT 11765 SOS 2543 HAS SOPS 2543 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1442.543
AT ITER 5645 NEW BEST:: SOT 11764 SOS 2539 HAS SOPS 2539 HAS SOUS 1437 HAS SOUPS 1437 WITH SCORE 1439.539
AT ITER 5647 NEW BEST:: SOT 11762 SOS 2535 HAS SOPS 2535 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1438.535
AT ITER 5650 NEW BEST:: SOT 11762 SOS 2535 HAS SOPS 2535 HAS SOUS 1435 HAS SOUPS 1435 WITH SCORE 1437.535
AT ITER 5669 NEW BEST:: SOT 11757 SOS 2527 HAS SOPS 2527 HAS SOUS 1433 HAS SOUPS 1433 WITH SCORE 1435.527
AT ITER 5711 NEW BEST:: SOT 11753 SOS 2523 HAS SOPS 2523 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1431.523
AT ITER 5759 NEW BEST:: SOT 11752 SOS 2521 HAS SOPS 2521 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1430.521
AT ITER 5791 NEW BEST:: SOT 11753 SOS 2520 HAS SOPS 2520 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1430.52
AT ITER 5808 NEW BEST:: SOT 11752 SOS 2518 HAS SOPS 2518 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1428.518
AT ITER 5834 NEW BEST:: SOT 11748 SOS 2488 HAS SOPS 2488 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1426.488
AT ITER 5847 NEW BEST:: SOT 11747 SOS 2488 HAS SOPS 2488 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1424.488
AT ITER 5864 NEW BEST:: SOT 11746 SOS 2487 HAS SOPS 2487 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1423.487
AT ITER 5897 NEW BEST:: SOT 11744 SOS 2483 HAS SOPS 2483 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1419.483
AT ITER 5936 NEW BEST:: SOT 11743 SOS 2482 HAS SOPS 2482 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1418.482
AT ITER 5960 NEW BEST:: SOT 11745 SOS 2486 HAS SOPS 2486 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1414.486
AT ITER 5984 NEW BEST:: SOT 11745 SOS 2486 HAS SOPS 2486 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1411.486
AT ITER 6011 NEW BEST:: SOT 11741 SOS 2478 HAS SOPS 2478 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1411.478
AT ITER 6032 NEW BEST:: SOT 11732 SOS 2460 HAS SOPS 2460 HAS SOUS 1399 HAS SOUPS 1399 WITH SCORE 1401.46
AT ITER 6044 NEW BEST:: SOT 11734 SOS 2436 HAS SOPS 2436 HAS SOUS 1399 HAS SOUPS 1399 WITH SCORE 1401.436
AT ITER 6061 NEW BEST:: SOT 11734 SOS 2433 HAS SOPS 2433 HAS SOUS 1399 HAS SOUPS 1399 WITH SCORE 1401.433
AT ITER 6202 NEW BEST:: SOT 11730 SOS 2426 HAS SOPS 2426 HAS SOUS 1394 HAS SOUPS 1394 WITH SCORE 1396.426
AT ITER 6254 NEW BEST:: SOT 11727 SOS 2420 HAS SOPS 2420 HAS SOUS 1390 HAS SOUPS 1390 WITH SCORE 1392.42
AT ITER 6288 NEW BEST:: SOT 11726 SOS 2408 HAS SOPS 2408 HAS SOUS 1388 HAS SOUPS 1388 WITH SCORE 1390.408
AT ITER 6326 NEW BEST:: SOT 11725 SOS 2406 HAS SOPS 2406 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1388.406
AT ITER 6363 NEW BEST:: SOT 11722 SOS 2400 HAS SOPS 2400 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1386.4
AT ITER 6381 NEW BEST:: SOT 11720 SOS 2396 HAS SOPS 2396 HAS SOUS 1380 HAS SOUPS 1380 WITH SCORE 1382.396
AT ITER 6388 NEW BEST:: SOT 11717 SOS 2392 HAS SOPS 2392 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1378.392
AT ITER 6500 NEW BEST:: SOT 11716 SOS 2391 HAS SOPS 2391 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1378.391
AT ITER 6552 NEW BEST:: SOT 11714 SOS 2388 HAS SOPS 2388 HAS SOUS 1373 HAS SOUPS 1373 WITH SCORE 1375.388
AT ITER 6709 NEW BEST:: SOT 11713 SOS 2386 HAS SOPS 2386 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1373.386
AT ITER 6825 NEW BEST:: SOT 11712 SOS 2385 HAS SOPS 2385 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1373.385
AT ITER 7007 NEW BEST:: SOT 11711 SOS 2386 HAS SOPS 2386 HAS SOUS 1370 HAS SOUPS 1370 WITH SCORE 1372.386
AT ITER 7020 NEW BEST:: SOT 11712 SOS 2385 HAS SOPS 2385 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1371.385
AT ITER 7102 NEW BEST:: SOT 11714 SOS 2374 HAS SOPS 2374 HAS SOUS 1365 HAS SOUPS 1365 WITH SCORE 1367.374
AT ITER 7134 NEW BEST:: SOT 11708 SOS 2368 HAS SOPS 2368 HAS SOUS 1362 HAS SOUPS 1362 WITH SCORE 1364.368
AT ITER 7149 NEW BEST:: SOT 11704 SOS 2364 HAS SOPS 2364 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1360.364
AT ITER 7527 NEW BEST:: SOT 11701 SOS 2361 HAS SOPS 2361 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1360.361
AT ITER 7674 NEW BEST:: SOT 11700 SOS 2359 HAS SOPS 2359 HAS SOUS 1356 HAS SOUPS 1356 WITH SCORE 1358.359
AT ITER 7738 NEW BEST:: SOT 11699 SOS 2357 HAS SOPS 2357 HAS SOUS 1356 HAS SOUPS 1356 WITH SCORE 1358.357
AT ITER 7938 NEW BEST:: SOT 11697 SOS 2355 HAS SOPS 2355 HAS SOUS 1354 HAS SOUPS 1354 WITH SCORE 1356.355
AT ITER 7947 NEW BEST:: SOT 11684 SOS 2329 HAS SOPS 2329 HAS SOUS 1354 HAS SOUPS 1354 WITH SCORE 1356.329
AT ITER 7978 NEW BEST:: SOT 11682 SOS 2325 HAS SOPS 2325 HAS SOUS 1350 HAS SOUPS 1350 WITH SCORE 1352.325
AT ITER 8029 NEW BEST:: SOT 11681 SOS 2323 HAS SOPS 2323 HAS SOUS 1348 HAS SOUPS 1348 WITH SCORE 1350.323
AT ITER 8270 NEW BEST:: SOT 11677 SOS 2322 HAS SOPS 2322 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1349.322
AT ITER 8290 NEW BEST:: SOT 11676 SOS 2320 HAS SOPS 2320 HAS SOUS 1345 HAS SOUPS 1345 WITH SCORE 1347.32
AT ITER 8301 NEW BEST:: SOT 11676 SOS 2318 HAS SOPS 2318 HAS SOUS 1345 HAS SOUPS 1345 WITH SCORE 1347.318
AT ITER 8328 NEW BEST:: SOT 11676 SOS 2317 HAS SOPS 2317 HAS SOUS 1343 HAS SOUPS 1343 WITH SCORE 1345.317
AT ITER 8341 NEW BEST:: SOT 11677 SOS 2297 HAS SOPS 2297 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1344.297
AT ITER 8417 NEW BEST:: SOT 11675 SOS 2296 HAS SOPS 2296 HAS SOUS 1341 HAS SOUPS 1341 WITH SCORE 1343.296
AT ITER 8651 NEW BEST:: SOT 11675 SOS 2296 HAS SOPS 2296 HAS SOUS 1337 HAS SOUPS 1337 WITH SCORE 1339.296
AT ITER 8788 NEW BEST:: SOT 11675 SOS 2291 HAS SOPS 2291 HAS SOUS 1337 HAS SOUPS 1337 WITH SCORE 1339.291
AT ITER 8985 NEW BEST:: SOT 11672 SOS 2284 HAS SOPS 2284 HAS SOUS 1333 HAS SOUPS 1333 WITH SCORE 1335.284
AT ITER 9024 NEW BEST:: SOT 11668 SOS 2272 HAS SOPS 2272 HAS SOUS 1329 HAS SOUPS 1329 WITH SCORE 1331.272
AT ITER 9183 NEW BEST:: SOT 11667 SOS 2270 HAS SOPS 2270 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1329.27
AT ITER 9384 NEW BEST:: SOT 11666 SOS 2267 HAS SOPS 2267 HAS SOUS 1325 HAS SOUPS 1325 WITH SCORE 1327.267
AT ITER 9435 NEW BEST:: SOT 11667 SOS 2269 HAS SOPS 2269 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1325.269
AT ITER 9506 NEW BEST:: SOT 11667 SOS 2268 HAS SOPS 2268 HAS SOUS 1322 HAS SOUPS 1322 WITH SCORE 1324.268
AT ITER 9685 NEW BEST:: SOT 11652 SOS 2238 HAS SOPS 2238 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1322.238
AT ITER 9855 NEW BEST:: SOT 11649 SOS 2232 HAS SOPS 2232 HAS SOUS 1317 HAS SOUPS 1317 WITH SCORE 1319.232
STATE_SPACE STATES 5307680 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 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 29492811 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590469755583

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is SmartHome-PT-04, 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 r224-oct2-159033538200032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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