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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 6.2K Feb 26 05:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 05:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 05:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 05:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 05:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 05:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 05:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 26 05:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 35K 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 1679182108562

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=SmartHome-PT-04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 04
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: 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 8 NEW BEST:: SOT 12929 SOS 2969 HAS SOPS 2969 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2902.969
AT ITER 9 NEW BEST:: SOT 12910 SOS 2941 HAS SOPS 2941 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2873.941
AT ITER 19 NEW BEST:: SOT 12895 SOS 2924 HAS SOPS 2924 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2856.924
AT ITER 23 NEW BEST:: SOT 12886 SOS 2915 HAS SOPS 2915 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2847.915
AT ITER 36 NEW BEST:: SOT 12891 SOS 2912 HAS SOPS 2912 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2844.912
AT ITER 55 NEW BEST:: SOT 12891 SOS 2904 HAS SOPS 2904 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2836.904
AT ITER 62 NEW BEST:: SOT 12889 SOS 2902 HAS SOPS 2902 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2834.902
AT ITER 63 NEW BEST:: SOT 12881 SOS 2886 HAS SOPS 2886 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2813.886
AT ITER 108 NEW BEST:: SOT 12877 SOS 2877 HAS SOPS 2877 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2803.877
AT ITER 138 NEW BEST:: SOT 12868 SOS 2859 HAS SOPS 2859 HAS SOUS 2783 HAS SOUPS 2783 WITH SCORE 2785.859
AT ITER 143 NEW BEST:: SOT 12847 SOS 2840 HAS SOPS 2840 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2753.84
AT ITER 160 NEW BEST:: SOT 12830 SOS 2823 HAS SOPS 2823 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2736.823
AT ITER 163 NEW BEST:: SOT 12823 SOS 2845 HAS SOPS 2845 HAS SOUS 2731 HAS SOUPS 2731 WITH SCORE 2733.845
AT ITER 165 NEW BEST:: SOT 12813 SOS 2807 HAS SOPS 2807 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2713.807
AT ITER 217 NEW BEST:: SOT 12783 SOS 2792 HAS SOPS 2792 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2686.792
AT ITER 246 NEW BEST:: SOT 12782 SOS 2795 HAS SOPS 2795 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2685.795
AT ITER 268 NEW BEST:: SOT 12784 SOS 2799 HAS SOPS 2799 HAS SOUS 2679 HAS SOUPS 2679 WITH SCORE 2681.799
AT ITER 278 NEW BEST:: SOT 12778 SOS 2787 HAS SOPS 2787 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2673.787
AT ITER 290 NEW BEST:: SOT 12790 SOS 2782 HAS SOPS 2782 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2668.782
AT ITER 293 NEW BEST:: SOT 12780 SOS 2787 HAS SOPS 2787 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2662.787
AT ITER 299 NEW BEST:: SOT 12780 SOS 2775 HAS SOPS 2775 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2662.775
AT ITER 301 NEW BEST:: SOT 12767 SOS 2763 HAS SOPS 2763 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2649.763
AT ITER 302 NEW BEST:: SOT 12747 SOS 2750 HAS SOPS 2750 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2636.75
AT ITER 303 NEW BEST:: SOT 12567 SOS 2790 HAS SOPS 2790 HAS SOUS 2478 HAS SOUPS 2478 WITH SCORE 2480.79
AT ITER 305 NEW BEST:: SOT 12562 SOS 2775 HAS SOPS 2775 HAS SOUS 2473 HAS SOUPS 2473 WITH SCORE 2475.775
AT ITER 310 NEW BEST:: SOT 12558 SOS 2767 HAS SOPS 2767 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2470.767
AT ITER 325 NEW BEST:: SOT 12554 SOS 2759 HAS SOPS 2759 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2462.759
AT ITER 330 NEW BEST:: SOT 12443 SOS 3071 HAS SOPS 3071 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2383.071
AT ITER 342 NEW BEST:: SOT 12420 SOS 3036 HAS SOPS 3036 HAS SOUS 2345 HAS SOUPS 2345 WITH SCORE 2348.036
AT ITER 383 NEW BEST:: SOT 12398 SOS 3012 HAS SOPS 3012 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2332.012
AT ITER 388 NEW BEST:: SOT 12397 SOS 3009 HAS SOPS 3009 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2330.009
AT ITER 391 NEW BEST:: SOT 12387 SOS 3008 HAS SOPS 3008 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2329.008
AT ITER 406 NEW BEST:: SOT 12381 SOS 2996 HAS SOPS 2996 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.996
AT ITER 422 NEW BEST:: SOT 12376 SOS 2986 HAS SOPS 2986 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.986
AT ITER 426 NEW BEST:: SOT 12374 SOS 2980 HAS SOPS 2980 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2308.98
AT ITER 461 NEW BEST:: SOT 12374 SOS 2968 HAS SOPS 2968 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2308.968
AT ITER 497 NEW BEST:: SOT 12322 SOS 2969 HAS SOPS 2969 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2280.969
AT ITER 537 NEW BEST:: SOT 12275 SOS 3380 HAS SOPS 3380 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2279.38
AT ITER 582 NEW BEST:: SOT 12263 SOS 3356 HAS SOPS 3356 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2267.356
AT ITER 587 NEW BEST:: SOT 12237 SOS 3319 HAS SOPS 3319 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2245.319
AT ITER 590 NEW BEST:: SOT 12198 SOS 3280 HAS SOPS 3280 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2234.28
AT ITER 591 NEW BEST:: SOT 12199 SOS 3277 HAS SOPS 3277 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2234.277
AT ITER 599 NEW BEST:: SOT 12199 SOS 3065 HAS SOPS 3065 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2218.065
AT ITER 614 NEW BEST:: SOT 12199 SOS 3065 HAS SOPS 3065 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2217.065
AT ITER 627 NEW BEST:: SOT 12210 SOS 3032 HAS SOPS 3032 HAS SOUS 2189 HAS SOUPS 2189 WITH SCORE 2192.032
AT ITER 653 NEW BEST:: SOT 12199 SOS 3010 HAS SOPS 3010 HAS SOUS 2173 HAS SOUPS 2173 WITH SCORE 2176.01
AT ITER 665 NEW BEST:: SOT 12197 SOS 3004 HAS SOPS 3004 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2170.004
AT ITER 682 NEW BEST:: SOT 12197 SOS 2998 HAS SOPS 2998 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.998
AT ITER 683 NEW BEST:: SOT 12195 SOS 2994 HAS SOPS 2994 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2167.994
AT ITER 689 NEW BEST:: SOT 12196 SOS 2986 HAS SOPS 2986 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2160.986
AT ITER 699 NEW BEST:: SOT 12188 SOS 2976 HAS SOPS 2976 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.976
AT ITER 730 NEW BEST:: SOT 12164 SOS 2928 HAS SOPS 2928 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.928
AT ITER 749 NEW BEST:: SOT 12164 SOS 2923 HAS SOPS 2923 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2113.923
AT ITER 771 NEW BEST:: SOT 12142 SOS 2897 HAS SOPS 2897 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2108.897
AT ITER 781 NEW BEST:: SOT 12130 SOS 2885 HAS SOPS 2885 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.885
AT ITER 801 NEW BEST:: SOT 12129 SOS 2883 HAS SOPS 2883 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2095.883
AT ITER 807 NEW BEST:: SOT 12129 SOS 2882 HAS SOPS 2882 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.882
AT ITER 831 NEW BEST:: SOT 12124 SOS 2873 HAS SOPS 2873 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2080.873
AT ITER 878 NEW BEST:: SOT 12136 SOS 2779 HAS SOPS 2779 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2076.779
AT ITER 900 NEW BEST:: SOT 12133 SOS 2773 HAS SOPS 2773 HAS SOUS 2064 HAS SOUPS 2064 WITH SCORE 2066.773
AT ITER 905 NEW BEST:: SOT 12130 SOS 2768 HAS SOPS 2768 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2065.768
AT ITER 917 NEW BEST:: SOT 12128 SOS 2766 HAS SOPS 2766 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2061.766
AT ITER 965 NEW BEST:: SOT 12128 SOS 2755 HAS SOPS 2755 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2061.755
AT ITER 973 NEW BEST:: SOT 12122 SOS 2749 HAS SOPS 2749 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2055.749
AT ITER 979 NEW BEST:: SOT 12122 SOS 2749 HAS SOPS 2749 HAS SOUS 2047 HAS SOUPS 2047 WITH SCORE 2049.749
AT ITER 1033 NEW BEST:: SOT 12109 SOS 2736 HAS SOPS 2736 HAS SOUS 2047 HAS SOUPS 2047 WITH SCORE 2049.736
AT ITER 1090 NEW BEST:: SOT 12077 SOS 2672 HAS SOPS 2672 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2004.672
AT ITER 1134 NEW BEST:: SOT 12077 SOS 2672 HAS SOPS 2672 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2000.672
AT ITER 1162 NEW BEST:: SOT 12074 SOS 2657 HAS SOPS 2657 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.657
AT ITER 1173 NEW BEST:: SOT 12070 SOS 2649 HAS SOPS 2649 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1993.649
AT ITER 1194 NEW BEST:: SOT 12066 SOS 2643 HAS SOPS 2643 HAS SOUS 1985 HAS SOUPS 1985 WITH SCORE 1987.643
AT ITER 1251 NEW BEST:: SOT 12062 SOS 2635 HAS SOPS 2635 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1983.635
AT ITER 1274 NEW BEST:: SOT 12066 SOS 2637 HAS SOPS 2637 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.637
AT ITER 1275 NEW BEST:: SOT 12068 SOS 2633 HAS SOPS 2633 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1967.633
AT ITER 1288 NEW BEST:: SOT 12049 SOS 2614 HAS SOPS 2614 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1967.614
AT ITER 1298 NEW BEST:: SOT 12049 SOS 2613 HAS SOPS 2613 HAS SOUS 1960 HAS SOUPS 1960 WITH SCORE 1962.613
AT ITER 1317 NEW BEST:: SOT 12049 SOS 2609 HAS SOPS 2609 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1958.609
AT ITER 1354 NEW BEST:: SOT 12050 SOS 2607 HAS SOPS 2607 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1956.607
AT ITER 1356 NEW BEST:: SOT 12058 SOS 2615 HAS SOPS 2615 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1955.615
AT ITER 1374 NEW BEST:: SOT 12053 SOS 2605 HAS SOPS 2605 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1945.605
AT ITER 1393 NEW BEST:: SOT 12050 SOS 2595 HAS SOPS 2595 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1935.595
AT ITER 1401 NEW BEST:: SOT 12050 SOS 2588 HAS SOPS 2588 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.588
AT ITER 1420 NEW BEST:: SOT 12049 SOS 2586 HAS SOPS 2586 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.586
AT ITER 1425 NEW BEST:: SOT 12043 SOS 2574 HAS SOPS 2574 HAS SOUS 1922 HAS SOUPS 1922 WITH SCORE 1924.574
AT ITER 1428 NEW BEST:: SOT 12042 SOS 2572 HAS SOPS 2572 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1922.572
AT ITER 1429 NEW BEST:: SOT 12049 SOS 2587 HAS SOPS 2587 HAS SOUS 1919 HAS SOUPS 1919 WITH SCORE 1921.587
AT ITER 1430 NEW BEST:: SOT 12046 SOS 2584 HAS SOPS 2584 HAS SOUS 1916 HAS SOUPS 1916 WITH SCORE 1918.584
AT ITER 1477 NEW BEST:: SOT 12042 SOS 2578 HAS SOPS 2578 HAS SOUS 1914 HAS SOUPS 1914 WITH SCORE 1916.578
AT ITER 1492 NEW BEST:: SOT 12041 SOS 2577 HAS SOPS 2577 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1915.577
AT ITER 1519 NEW BEST:: SOT 12036 SOS 2556 HAS SOPS 2556 HAS SOUS 1893 HAS SOUPS 1893 WITH SCORE 1895.556
AT ITER 1549 NEW BEST:: SOT 12036 SOS 2556 HAS SOPS 2556 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1889.556
AT ITER 1555 NEW BEST:: SOT 12036 SOS 2552 HAS SOPS 2552 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1888.552
AT ITER 1587 NEW BEST:: SOT 12044 SOS 2560 HAS SOPS 2560 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.56
AT ITER 1591 NEW BEST:: SOT 12044 SOS 2556 HAS SOPS 2556 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.556
AT ITER 1623 NEW BEST:: SOT 12044 SOS 2554 HAS SOPS 2554 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1880.554
AT ITER 1633 NEW BEST:: SOT 12036 SOS 2538 HAS SOPS 2538 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1873.538
AT ITER 1660 NEW BEST:: SOT 12035 SOS 2537 HAS SOPS 2537 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.537
AT ITER 1719 NEW BEST:: SOT 12035 SOS 2530 HAS SOPS 2530 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1865.53
AT ITER 1787 NEW BEST:: SOT 12033 SOS 2526 HAS SOPS 2526 HAS SOUS 1859 HAS SOUPS 1859 WITH SCORE 1861.526
AT ITER 1861 NEW BEST:: SOT 12032 SOS 2521 HAS SOPS 2521 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1857.521
AT ITER 1865 NEW BEST:: SOT 12032 SOS 2517 HAS SOPS 2517 HAS SOUS 1851 HAS SOUPS 1851 WITH SCORE 1853.517
AT ITER 1881 NEW BEST:: SOT 12035 SOS 2520 HAS SOPS 2520 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1850.52
AT ITER 1898 NEW BEST:: SOT 12032 SOS 2514 HAS SOPS 2514 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1846.514
AT ITER 1908 NEW BEST:: SOT 12019 SOS 2488 HAS SOPS 2488 HAS SOUS 1831 HAS SOUPS 1831 WITH SCORE 1833.488
AT ITER 1954 NEW BEST:: SOT 12008 SOS 2580 HAS SOPS 2580 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1828.58
AT ITER 1958 NEW BEST:: SOT 12000 SOS 2564 HAS SOPS 2564 HAS SOUS 1814 HAS SOUPS 1814 WITH SCORE 1816.564
AT ITER 1987 NEW BEST:: SOT 11999 SOS 2563 HAS SOPS 2563 HAS SOUS 1814 HAS SOUPS 1814 WITH SCORE 1816.563
AT ITER 1993 NEW BEST:: SOT 11995 SOS 2545 HAS SOPS 2545 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1808.545
AT ITER 2022 NEW BEST:: SOT 11993 SOS 2557 HAS SOPS 2557 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1806.557
AT ITER 2027 NEW BEST:: SOT 11993 SOS 2553 HAS SOPS 2553 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1802.553
AT ITER 2039 NEW BEST:: SOT 11974 SOS 2570 HAS SOPS 2570 HAS SOUS 1785 HAS SOUPS 1785 WITH SCORE 1787.57
AT ITER 2053 NEW BEST:: SOT 11972 SOS 2566 HAS SOPS 2566 HAS SOUS 1785 HAS SOUPS 1785 WITH SCORE 1787.566
AT ITER 2117 NEW BEST:: SOT 11972 SOS 2565 HAS SOPS 2565 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1786.565
AT ITER 2135 NEW BEST:: SOT 11968 SOS 2557 HAS SOPS 2557 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1778.557
AT ITER 2138 NEW BEST:: SOT 11967 SOS 2552 HAS SOPS 2552 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1774.552
AT ITER 2154 NEW BEST:: SOT 11966 SOS 2549 HAS SOPS 2549 HAS SOUS 1770 HAS SOUPS 1770 WITH SCORE 1772.549
AT ITER 2177 NEW BEST:: SOT 11966 SOS 2547 HAS SOPS 2547 HAS SOUS 1761 HAS SOUPS 1761 WITH SCORE 1763.547
AT ITER 2256 NEW BEST:: SOT 11964 SOS 2543 HAS SOPS 2543 HAS SOUS 1761 HAS SOUPS 1761 WITH SCORE 1763.543
AT ITER 2258 NEW BEST:: SOT 11963 SOS 2541 HAS SOPS 2541 HAS SOUS 1759 HAS SOUPS 1759 WITH SCORE 1761.541
AT ITER 2264 NEW BEST:: SOT 11964 SOS 2542 HAS SOPS 2542 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1760.542
AT ITER 2278 NEW BEST:: SOT 11959 SOS 2532 HAS SOPS 2532 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1760.532
AT ITER 2286 NEW BEST:: SOT 11959 SOS 2528 HAS SOPS 2528 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1757.528
AT ITER 2402 NEW BEST:: SOT 11959 SOS 2519 HAS SOPS 2519 HAS SOUS 1747 HAS SOUPS 1747 WITH SCORE 1749.519
AT ITER 2430 NEW BEST:: SOT 11952 SOS 2561 HAS SOPS 2561 HAS SOUS 1744 HAS SOUPS 1744 WITH SCORE 1746.561
AT ITER 2443 NEW BEST:: SOT 11946 SOS 2555 HAS SOPS 2555 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1734.555
AT ITER 2446 NEW BEST:: SOT 11946 SOS 2546 HAS SOPS 2546 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1734.546
AT ITER 2461 NEW BEST:: SOT 11946 SOS 2534 HAS SOPS 2534 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1733.534
AT ITER 2512 NEW BEST:: SOT 11939 SOS 2520 HAS SOPS 2520 HAS SOUS 1724 HAS SOUPS 1724 WITH SCORE 1726.52
AT ITER 2536 NEW BEST:: SOT 11923 SOS 2488 HAS SOPS 2488 HAS SOUS 1718 HAS SOUPS 1718 WITH SCORE 1720.488
AT ITER 2564 NEW BEST:: SOT 11916 SOS 2474 HAS SOPS 2474 HAS SOUS 1712 HAS SOUPS 1712 WITH SCORE 1714.474
AT ITER 2570 NEW BEST:: SOT 11914 SOS 2470 HAS SOPS 2470 HAS SOUS 1696 HAS SOUPS 1696 WITH SCORE 1698.47
AT ITER 2579 NEW BEST:: SOT 11908 SOS 2481 HAS SOPS 2481 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1695.481
AT ITER 2644 NEW BEST:: SOT 11908 SOS 2479 HAS SOPS 2479 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1693.479
AT ITER 2648 NEW BEST:: SOT 11906 SOS 2475 HAS SOPS 2475 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1691.475
AT ITER 2656 NEW BEST:: SOT 11903 SOS 2469 HAS SOPS 2469 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1687.469
AT ITER 2720 NEW BEST:: SOT 11905 SOS 2468 HAS SOPS 2468 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1686.468
AT ITER 2766 NEW BEST:: SOT 11905 SOS 2468 HAS SOPS 2468 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1685.468
AT ITER 2806 NEW BEST:: SOT 11904 SOS 2453 HAS SOPS 2453 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1684.453
AT ITER 2822 NEW BEST:: SOT 11907 SOS 2472 HAS SOPS 2472 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1679.472
AT ITER 2849 NEW BEST:: SOT 11907 SOS 2463 HAS SOPS 2463 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1679.463
AT ITER 2864 NEW BEST:: SOT 11892 SOS 2412 HAS SOPS 2412 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1644.412
AT ITER 2914 NEW BEST:: SOT 11890 SOS 2418 HAS SOPS 2418 HAS SOUS 1638 HAS SOUPS 1638 WITH SCORE 1640.418
AT ITER 2945 NEW BEST:: SOT 11889 SOS 2416 HAS SOPS 2416 HAS SOUS 1637 HAS SOUPS 1637 WITH SCORE 1639.416
AT ITER 2951 NEW BEST:: SOT 11887 SOS 2417 HAS SOPS 2417 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1638.417
AT ITER 2960 NEW BEST:: SOT 11884 SOS 2415 HAS SOPS 2415 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1636.415
AT ITER 3024 NEW BEST:: SOT 11882 SOS 2413 HAS SOPS 2413 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1634.413
AT ITER 3048 NEW BEST:: SOT 11882 SOS 2413 HAS SOPS 2413 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1633.413
AT ITER 3059 NEW BEST:: SOT 11881 SOS 2412 HAS SOPS 2412 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1632.412
AT ITER 3115 NEW BEST:: SOT 11881 SOS 2411 HAS SOPS 2411 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1631.411
AT ITER 3183 NEW BEST:: SOT 11876 SOS 2401 HAS SOPS 2401 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1627.401
AT ITER 3184 NEW BEST:: SOT 11876 SOS 2401 HAS SOPS 2401 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1625.401
AT ITER 3233 NEW BEST:: SOT 11884 SOS 2409 HAS SOPS 2409 HAS SOUS 1618 HAS SOUPS 1618 WITH SCORE 1620.409
AT ITER 3242 NEW BEST:: SOT 11883 SOS 2407 HAS SOPS 2407 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1618.407
AT ITER 3257 NEW BEST:: SOT 11883 SOS 2407 HAS SOPS 2407 HAS SOUS 1613 HAS SOUPS 1613 WITH SCORE 1615.407
AT ITER 3263 NEW BEST:: SOT 11883 SOS 2396 HAS SOPS 2396 HAS SOUS 1609 HAS SOUPS 1609 WITH SCORE 1611.396
AT ITER 3348 NEW BEST:: SOT 11881 SOS 2394 HAS SOPS 2394 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1609.394
AT ITER 3362 NEW BEST:: SOT 11880 SOS 2392 HAS SOPS 2392 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1607.392
AT ITER 3366 NEW BEST:: SOT 11879 SOS 2403 HAS SOPS 2403 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1606.403
AT ITER 3416 NEW BEST:: SOT 11879 SOS 2395 HAS SOPS 2395 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1606.395
AT ITER 3418 NEW BEST:: SOT 11874 SOS 2385 HAS SOPS 2385 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1606.385
AT ITER 3559 NEW BEST:: SOT 11874 SOS 2367 HAS SOPS 2367 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1606.367
AT ITER 3592 NEW BEST:: SOT 11871 SOS 2364 HAS SOPS 2364 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1603.364
AT ITER 3642 NEW BEST:: SOT 11866 SOS 2342 HAS SOPS 2342 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1603.342
AT ITER 3674 NEW BEST:: SOT 11865 SOS 2340 HAS SOPS 2340 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1603.34
AT ITER 3756 NEW BEST:: SOT 11864 SOS 2338 HAS SOPS 2338 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1601.338
AT ITER 3781 NEW BEST:: SOT 11863 SOS 2335 HAS SOPS 2335 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1599.335
AT ITER 3831 NEW BEST:: SOT 11850 SOS 2317 HAS SOPS 2317 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1596.317
AT ITER 3856 NEW BEST:: SOT 11849 SOS 2316 HAS SOPS 2316 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1594.316
AT ITER 3868 NEW BEST:: SOT 11844 SOS 2306 HAS SOPS 2306 HAS SOUS 1582 HAS SOUPS 1582 WITH SCORE 1584.306
AT ITER 3927 NEW BEST:: SOT 11843 SOS 2304 HAS SOPS 2304 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1582.304
AT ITER 3968 NEW BEST:: SOT 11842 SOS 2302 HAS SOPS 2302 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1580.302
AT ITER 4054 NEW BEST:: SOT 11840 SOS 2297 HAS SOPS 2297 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1580.297
AT ITER 4066 NEW BEST:: SOT 11840 SOS 2297 HAS SOPS 2297 HAS SOUS 1563 HAS SOUPS 1563 WITH SCORE 1565.297
AT ITER 4093 NEW BEST:: SOT 11838 SOS 2293 HAS SOPS 2293 HAS SOUS 1563 HAS SOUPS 1563 WITH SCORE 1565.293
AT ITER 4125 NEW BEST:: SOT 11838 SOS 2290 HAS SOPS 2290 HAS SOUS 1563 HAS SOUPS 1563 WITH SCORE 1565.29
AT ITER 4214 NEW BEST:: SOT 11837 SOS 2289 HAS SOPS 2289 HAS SOUS 1562 HAS SOUPS 1562 WITH SCORE 1564.289
AT ITER 4222 NEW BEST:: SOT 11830 SOS 2284 HAS SOPS 2284 HAS SOUS 1555 HAS SOUPS 1555 WITH SCORE 1557.284
AT ITER 4271 NEW BEST:: SOT 11830 SOS 2284 HAS SOPS 2284 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1556.284
AT ITER 4324 NEW BEST:: SOT 11829 SOS 2281 HAS SOPS 2281 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1554.281
AT ITER 4341 NEW BEST:: SOT 11825 SOS 2273 HAS SOPS 2273 HAS SOUS 1546 HAS SOUPS 1546 WITH SCORE 1548.273
AT ITER 4434 NEW BEST:: SOT 11824 SOS 2272 HAS SOPS 2272 HAS SOUS 1546 HAS SOUPS 1546 WITH SCORE 1548.272
AT ITER 4446 NEW BEST:: SOT 11825 SOS 2254 HAS SOPS 2254 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1530.254
AT ITER 4531 NEW BEST:: SOT 11823 SOS 2250 HAS SOPS 2250 HAS SOUS 1524 HAS SOUPS 1524 WITH SCORE 1526.25
AT ITER 4557 NEW BEST:: SOT 11819 SOS 2242 HAS SOPS 2242 HAS SOUS 1522 HAS SOUPS 1522 WITH SCORE 1524.242
AT ITER 4566 NEW BEST:: SOT 11818 SOS 2240 HAS SOPS 2240 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1522.24
AT ITER 4595 NEW BEST:: SOT 11817 SOS 2238 HAS SOPS 2238 HAS SOUS 1518 HAS SOUPS 1518 WITH SCORE 1520.238
AT ITER 4632 NEW BEST:: SOT 11816 SOS 2232 HAS SOPS 2232 HAS SOUS 1512 HAS SOUPS 1512 WITH SCORE 1514.232
AT ITER 4647 NEW BEST:: SOT 11806 SOS 2250 HAS SOPS 2250 HAS SOUS 1502 HAS SOUPS 1502 WITH SCORE 1504.25
AT ITER 4740 NEW BEST:: SOT 11803 SOS 2251 HAS SOPS 2251 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1501.251
AT ITER 4796 NEW BEST:: SOT 11799 SOS 2247 HAS SOPS 2247 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1501.247
AT ITER 4809 NEW BEST:: SOT 11792 SOS 2233 HAS SOPS 2233 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1501.233
AT ITER 4899 NEW BEST:: SOT 11787 SOS 2228 HAS SOPS 2228 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1501.228
AT ITER 4914 NEW BEST:: SOT 11787 SOS 2227 HAS SOPS 2227 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1500.227
AT ITER 4916 NEW BEST:: SOT 11767 SOS 2274 HAS SOPS 2274 HAS SOUS 1485 HAS SOUPS 1485 WITH SCORE 1487.274
AT ITER 4960 NEW BEST:: SOT 11763 SOS 2266 HAS SOPS 2266 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1479.266
AT ITER 4991 NEW BEST:: SOT 11732 SOS 2561 HAS SOPS 2561 HAS SOUS 1467 HAS SOUPS 1467 WITH SCORE 1469.561
AT ITER 4994 NEW BEST:: SOT 11732 SOS 2561 HAS SOPS 2561 HAS SOUS 1466 HAS SOUPS 1466 WITH SCORE 1468.561
AT ITER 4996 NEW BEST:: SOT 11727 SOS 2551 HAS SOPS 2551 HAS SOUS 1456 HAS SOUPS 1456 WITH SCORE 1458.551
AT ITER 5298 NEW BEST:: SOT 11725 SOS 2544 HAS SOPS 2544 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1452.544
AT ITER 5331 NEW BEST:: SOT 11721 SOS 2538 HAS SOPS 2538 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1448.538
AT ITER 5386 NEW BEST:: SOT 11715 SOS 2526 HAS SOPS 2526 HAS SOUS 1434 HAS SOUPS 1434 WITH SCORE 1436.526
AT ITER 5415 NEW BEST:: SOT 11714 SOS 2524 HAS SOPS 2524 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1434.524
AT ITER 5492 NEW BEST:: SOT 11713 SOS 2522 HAS SOPS 2522 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1434.522
AT ITER 5525 NEW BEST:: SOT 11713 SOS 2519 HAS SOPS 2519 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1434.519
AT ITER 5526 NEW BEST:: SOT 11708 SOS 2511 HAS SOPS 2511 HAS SOUS 1413 HAS SOUPS 1413 WITH SCORE 1415.511
AT ITER 5536 NEW BEST:: SOT 11706 SOS 2521 HAS SOPS 2521 HAS SOUS 1411 HAS SOUPS 1411 WITH SCORE 1413.521
AT ITER 5538 NEW BEST:: SOT 11705 SOS 2518 HAS SOPS 2518 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1411.518
AT ITER 5618 NEW BEST:: SOT 11704 SOS 2517 HAS SOPS 2517 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1411.517
AT ITER 5639 NEW BEST:: SOT 11699 SOS 2507 HAS SOPS 2507 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1405.507
AT ITER 5652 NEW BEST:: SOT 11697 SOS 2505 HAS SOPS 2505 HAS SOUS 1401 HAS SOUPS 1401 WITH SCORE 1403.505
AT ITER 5780 NEW BEST:: SOT 11689 SOS 2497 HAS SOPS 2497 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1395.497
AT ITER 6003 NEW BEST:: SOT 11691 SOS 2499 HAS SOPS 2499 HAS SOUS 1392 HAS SOUPS 1392 WITH SCORE 1394.499
AT ITER 6016 NEW BEST:: SOT 11685 SOS 2487 HAS SOPS 2487 HAS SOUS 1392 HAS SOUPS 1392 WITH SCORE 1394.487
AT ITER 6017 NEW BEST:: SOT 11686 SOS 2451 HAS SOPS 2451 HAS SOUS 1391 HAS SOUPS 1391 WITH SCORE 1393.451
AT ITER 6024 NEW BEST:: SOT 11684 SOS 2452 HAS SOPS 2452 HAS SOUS 1390 HAS SOUPS 1390 WITH SCORE 1392.452
AT ITER 6030 NEW BEST:: SOT 11684 SOS 2448 HAS SOPS 2448 HAS SOUS 1390 HAS SOUPS 1390 WITH SCORE 1392.448
AT ITER 6105 NEW BEST:: SOT 11683 SOS 2446 HAS SOPS 2446 HAS SOUS 1390 HAS SOUPS 1390 WITH SCORE 1392.446
AT ITER 6114 NEW BEST:: SOT 11682 SOS 2444 HAS SOPS 2444 HAS SOUS 1389 HAS SOUPS 1389 WITH SCORE 1391.444
AT ITER 6122 NEW BEST:: SOT 11682 SOS 2444 HAS SOPS 2444 HAS SOUS 1388 HAS SOUPS 1388 WITH SCORE 1390.444
AT ITER 6284 NEW BEST:: SOT 11680 SOS 2440 HAS SOPS 2440 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1386.44
AT ITER 6288 NEW BEST:: SOT 11675 SOS 2435 HAS SOPS 2435 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1386.435
AT ITER 6357 NEW BEST:: SOT 11671 SOS 2441 HAS SOPS 2441 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1385.441
AT ITER 6389 NEW BEST:: SOT 11674 SOS 2390 HAS SOPS 2390 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1385.39
AT ITER 6524 NEW BEST:: SOT 11668 SOS 2378 HAS SOPS 2378 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1384.378
AT ITER 6855 NEW BEST:: SOT 11668 SOS 2378 HAS SOPS 2378 HAS SOUS 1380 HAS SOUPS 1380 WITH SCORE 1382.378
AT ITER 6955 NEW BEST:: SOT 11668 SOS 2375 HAS SOPS 2375 HAS SOUS 1377 HAS SOUPS 1377 WITH SCORE 1379.375
AT ITER 6984 NEW BEST:: SOT 11667 SOS 2373 HAS SOPS 2373 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1378.373
AT ITER 7113 NEW BEST:: SOT 11667 SOS 2372 HAS SOPS 2372 HAS SOUS 1375 HAS SOUPS 1375 WITH SCORE 1377.372
AT ITER 7258 NEW BEST:: SOT 11663 SOS 2368 HAS SOPS 2368 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1373.368
AT ITER 7370 NEW BEST:: SOT 11661 SOS 2372 HAS SOPS 2372 HAS SOUS 1370 HAS SOUPS 1370 WITH SCORE 1372.372
AT ITER 7547 NEW BEST:: SOT 11660 SOS 2370 HAS SOPS 2370 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1371.37
AT ITER 7564 NEW BEST:: SOT 11655 SOS 2416 HAS SOPS 2416 HAS SOUS 1365 HAS SOUPS 1365 WITH SCORE 1367.416
AT ITER 7706 NEW BEST:: SOT 11654 SOS 2414 HAS SOPS 2414 HAS SOUS 1364 HAS SOUPS 1364 WITH SCORE 1366.414
AT ITER 7730 NEW BEST:: SOT 11643 SOS 2394 HAS SOPS 2394 HAS SOUS 1364 HAS SOUPS 1364 WITH SCORE 1366.394
AT ITER 7814 NEW BEST:: SOT 11643 SOS 2394 HAS SOPS 2394 HAS SOUS 1360 HAS SOUPS 1360 WITH SCORE 1362.394
AT ITER 8154 NEW BEST:: SOT 11641 SOS 2390 HAS SOPS 2390 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1360.39
AT ITER 8271 NEW BEST:: SOT 11634 SOS 2471 HAS SOPS 2471 HAS SOUS 1356 HAS SOUPS 1356 WITH SCORE 1358.471
AT ITER 8641 NEW BEST:: SOT 11628 SOS 2459 HAS SOPS 2459 HAS SOUS 1356 HAS SOUPS 1356 WITH SCORE 1358.459
AT ITER 8768 NEW BEST:: SOT 11625 SOS 2453 HAS SOPS 2453 HAS SOUS 1350 HAS SOUPS 1350 WITH SCORE 1352.453
AT ITER 8968 NEW BEST:: SOT 11621 SOS 2449 HAS SOPS 2449 HAS SOUS 1349 HAS SOUPS 1349 WITH SCORE 1351.449
AT ITER 9229 NEW BEST:: SOT 11620 SOS 2447 HAS SOPS 2447 HAS SOUS 1349 HAS SOUPS 1349 WITH SCORE 1351.447
AT ITER 9266 NEW BEST:: SOT 11618 SOS 2445 HAS SOPS 2445 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1349.445
AT ITER 9357 NEW BEST:: SOT 11617 SOS 2317 HAS SOPS 2317 HAS SOUS 1346 HAS SOUPS 1346 WITH SCORE 1348.317
AT ITER 9495 NEW BEST:: SOT 11615 SOS 2315 HAS SOPS 2315 HAS SOUS 1344 HAS SOUPS 1344 WITH SCORE 1346.315
AT ITER 9807 NEW BEST:: SOT 11614 SOS 2310 HAS SOPS 2310 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1344.31
AT ITER 9844 NEW BEST:: SOT 11613 SOS 2308 HAS SOPS 2308 HAS SOUS 1340 HAS SOUPS 1340 WITH SCORE 1342.308
AT ITER 9958 NEW BEST:: SOT 11608 SOS 2295 HAS SOPS 2295 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1341.295
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 1679182115903

--------------------
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"
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 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 r451-smll-167912643100184"
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 ;