About the Execution of Smart for UtilityControlRoom-PT-Z4T4N02
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
160.739 | 6535.00 | 6021.00 | 59.40 | 57040 268760 4 14 | normal |
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.r483-tall-167912696701192.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 UtilityControlRoom-PT-Z4T4N02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696701192
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 984K
-rw-r--r-- 1 mcc users 16K Feb 26 14:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 14:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 24K Feb 26 14:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 116K Feb 26 14:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 27K Feb 26 14:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Feb 26 14:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 66K Feb 26 14:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 261K Feb 26 14:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.8K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 65K 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 1679191705609
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=UtilityControlRoom-PT-Z4T4N02
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z4T4N02
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: 80 places, 150 transitions, 482 arcs.
AT ITER 0 NEW BEST:: SOT 9776 SOS 7900 HAS SOPS 7900 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4751.9
AT ITER 3 NEW BEST:: SOT 9764 SOS 7891 HAS SOPS 7891 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4742.891
AT ITER 5 NEW BEST:: SOT 9764 SOS 7891 HAS SOPS 7891 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4738.891
AT ITER 7 NEW BEST:: SOT 9752 SOS 7739 HAS SOPS 7739 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4727.739
AT ITER 10 NEW BEST:: SOT 9574 SOS 7482 HAS SOPS 7482 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4287.482
AT ITER 12 NEW BEST:: SOT 9565 SOS 7473 HAS SOPS 7473 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4274.473
AT ITER 13 NEW BEST:: SOT 9502 SOS 7280 HAS SOPS 7280 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4156.28
AT ITER 14 NEW BEST:: SOT 9469 SOS 7247 HAS SOPS 7247 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4102.247
AT ITER 18 NEW BEST:: SOT 9469 SOS 7247 HAS SOPS 7247 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4095.247
AT ITER 19 NEW BEST:: SOT 9443 SOS 7241 HAS SOPS 7241 HAS SOUS 4073 HAS SOUPS 4073 WITH SCORE 4080.241
AT ITER 20 NEW BEST:: SOT 9436 SOS 7179 HAS SOPS 7179 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4063.179
AT ITER 22 NEW BEST:: SOT 9417 SOS 7021 HAS SOPS 7021 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3967.021
AT ITER 24 NEW BEST:: SOT 9417 SOS 7021 HAS SOPS 7021 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3959.021
AT ITER 26 NEW BEST:: SOT 9417 SOS 7021 HAS SOPS 7021 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3952.021
AT ITER 30 NEW BEST:: SOT 9421 SOS 7013 HAS SOPS 7013 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3913.013
AT ITER 31 NEW BEST:: SOT 9458 SOS 7048 HAS SOPS 7048 HAS SOUS 3886 HAS SOUPS 3886 WITH SCORE 3893.048
AT ITER 32 NEW BEST:: SOT 9438 SOS 7028 HAS SOPS 7028 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3856.028
AT ITER 36 NEW BEST:: SOT 9422 SOS 7072 HAS SOPS 7072 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3827.072
AT ITER 41 NEW BEST:: SOT 9417 SOS 7067 HAS SOPS 7067 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3822.067
AT ITER 42 NEW BEST:: SOT 9448 SOS 7108 HAS SOPS 7108 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3621.108
AT ITER 45 NEW BEST:: SOT 9488 SOS 6890 HAS SOPS 6890 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3500.89
AT ITER 46 NEW BEST:: SOT 9488 SOS 6754 HAS SOPS 6754 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3459.754
AT ITER 47 NEW BEST:: SOT 9441 SOS 6724 HAS SOPS 6724 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3449.724
AT ITER 48 NEW BEST:: SOT 9425 SOS 6668 HAS SOPS 6668 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3390.668
AT ITER 49 NEW BEST:: SOT 9336 SOS 6594 HAS SOPS 6594 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3329.594
AT ITER 55 NEW BEST:: SOT 9336 SOS 6602 HAS SOPS 6602 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3327.602
AT ITER 56 NEW BEST:: SOT 9335 SOS 6588 HAS SOPS 6588 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3322.588
AT ITER 57 NEW BEST:: SOT 9338 SOS 6591 HAS SOPS 6591 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3320.591
AT ITER 66 NEW BEST:: SOT 9332 SOS 6505 HAS SOPS 6505 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3205.505
AT ITER 74 NEW BEST:: SOT 9310 SOS 6483 HAS SOPS 6483 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3188.483
AT ITER 76 NEW BEST:: SOT 9310 SOS 6453 HAS SOPS 6453 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3182.453
AT ITER 77 NEW BEST:: SOT 9338 SOS 6444 HAS SOPS 6444 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3182.444
AT ITER 78 NEW BEST:: SOT 9311 SOS 6442 HAS SOPS 6442 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3168.442
AT ITER 79 NEW BEST:: SOT 9310 SOS 6440 HAS SOPS 6440 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3166.44
AT ITER 84 NEW BEST:: SOT 9310 SOS 6440 HAS SOPS 6440 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3164.44
AT ITER 85 NEW BEST:: SOT 9308 SOS 6435 HAS SOPS 6435 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3164.435
AT ITER 87 NEW BEST:: SOT 9288 SOS 6425 HAS SOPS 6425 HAS SOUS 3137 HAS SOUPS 3137 WITH SCORE 3143.425
AT ITER 91 NEW BEST:: SOT 9256 SOS 6148 HAS SOPS 6148 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3042.148
AT ITER 92 NEW BEST:: SOT 9222 SOS 6145 HAS SOPS 6145 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2998.145
AT ITER 93 NEW BEST:: SOT 9152 SOS 6075 HAS SOPS 6075 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2966.075
AT ITER 110 NEW BEST:: SOT 8584 SOS 5525 HAS SOPS 5525 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2630.525
AT ITER 114 NEW BEST:: SOT 8584 SOS 5507 HAS SOPS 5507 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2601.507
AT ITER 120 NEW BEST:: SOT 8318 SOS 5241 HAS SOPS 5241 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2461.241
AT ITER 124 NEW BEST:: SOT 8273 SOS 5142 HAS SOPS 5142 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2378.142
AT ITER 126 NEW BEST:: SOT 8256 SOS 5113 HAS SOPS 5113 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2355.113
AT ITER 135 NEW BEST:: SOT 8265 SOS 5122 HAS SOPS 5122 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2346.122
AT ITER 137 NEW BEST:: SOT 8265 SOS 5100 HAS SOPS 5100 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2344.1
AT ITER 143 NEW BEST:: SOT 8151 SOS 4960 HAS SOPS 4960 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2269.96
AT ITER 147 NEW BEST:: SOT 8121 SOS 4974 HAS SOPS 4974 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2258.974
AT ITER 148 NEW BEST:: SOT 8117 SOS 4970 HAS SOPS 4970 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2254.97
AT ITER 155 NEW BEST:: SOT 8065 SOS 4918 HAS SOPS 4918 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2223.918
AT ITER 156 NEW BEST:: SOT 8035 SOS 4888 HAS SOPS 4888 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2211.888
AT ITER 159 NEW BEST:: SOT 8031 SOS 4947 HAS SOPS 4947 HAS SOUS 2195 HAS SOUPS 2195 WITH SCORE 2199.947
AT ITER 163 NEW BEST:: SOT 8030 SOS 4940 HAS SOPS 4940 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2196.94
AT ITER 164 NEW BEST:: SOT 8036 SOS 4961 HAS SOPS 4961 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2194.961
AT ITER 168 NEW BEST:: SOT 7908 SOS 4858 HAS SOPS 4858 HAS SOUS 2183 HAS SOUPS 2183 WITH SCORE 2187.858
AT ITER 170 NEW BEST:: SOT 7911 SOS 4745 HAS SOPS 4745 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2171.745
AT ITER 171 NEW BEST:: SOT 7885 SOS 4719 HAS SOPS 4719 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2169.719
AT ITER 177 NEW BEST:: SOT 7879 SOS 4701 HAS SOPS 4701 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2151.701
AT ITER 189 NEW BEST:: SOT 7879 SOS 4701 HAS SOPS 4701 HAS SOUS 2145 HAS SOUPS 2145 WITH SCORE 2149.701
AT ITER 192 NEW BEST:: SOT 7884 SOS 4681 HAS SOPS 4681 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2134.681
AT ITER 193 NEW BEST:: SOT 7876 SOS 4673 HAS SOPS 4673 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2127.673
AT ITER 200 NEW BEST:: SOT 7876 SOS 4688 HAS SOPS 4688 HAS SOUS 2118 HAS SOUPS 2118 WITH SCORE 2122.688
AT ITER 204 NEW BEST:: SOT 7853 SOS 4709 HAS SOPS 4709 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2115.709
AT ITER 207 NEW BEST:: SOT 7837 SOS 4689 HAS SOPS 4689 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2073.689
AT ITER 209 NEW BEST:: SOT 7866 SOS 4649 HAS SOPS 4649 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2067.649
AT ITER 210 NEW BEST:: SOT 7866 SOS 4649 HAS SOPS 4649 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2031.649
AT ITER 213 NEW BEST:: SOT 7872 SOS 4655 HAS SOPS 4655 HAS SOUS 2025 HAS SOUPS 2025 WITH SCORE 2029.655
AT ITER 214 NEW BEST:: SOT 7865 SOS 4677 HAS SOPS 4677 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2022.677
AT ITER 230 NEW BEST:: SOT 7848 SOS 4675 HAS SOPS 4675 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2009.675
AT ITER 231 NEW BEST:: SOT 7848 SOS 4675 HAS SOPS 4675 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2007.675
AT ITER 239 NEW BEST:: SOT 7845 SOS 4515 HAS SOPS 4515 HAS SOUS 1988 HAS SOUPS 1988 WITH SCORE 1992.515
AT ITER 249 NEW BEST:: SOT 7855 SOS 4446 HAS SOPS 4446 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1991.446
AT ITER 258 NEW BEST:: SOT 7855 SOS 4439 HAS SOPS 4439 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1986.439
AT ITER 265 NEW BEST:: SOT 7856 SOS 4315 HAS SOPS 4315 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1986.315
AT ITER 268 NEW BEST:: SOT 7856 SOS 4150 HAS SOPS 4150 HAS SOUS 1958 HAS SOUPS 1958 WITH SCORE 1962.15
AT ITER 271 NEW BEST:: SOT 7856 SOS 4150 HAS SOPS 4150 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1956.15
AT ITER 272 NEW BEST:: SOT 7856 SOS 4150 HAS SOPS 4150 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1949.15
AT ITER 274 NEW BEST:: SOT 7854 SOS 4148 HAS SOPS 4148 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1947.148
AT ITER 276 NEW BEST:: SOT 7854 SOS 4148 HAS SOPS 4148 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1946.148
AT ITER 280 NEW BEST:: SOT 7853 SOS 4139 HAS SOPS 4139 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1946.139
AT ITER 283 NEW BEST:: SOT 7846 SOS 4133 HAS SOPS 4133 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1940.133
AT ITER 293 NEW BEST:: SOT 7806 SOS 4248 HAS SOPS 4248 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1937.248
AT ITER 299 NEW BEST:: SOT 7802 SOS 4267 HAS SOPS 4267 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1934.267
AT ITER 314 NEW BEST:: SOT 7802 SOS 4252 HAS SOPS 4252 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1928.252
AT ITER 344 NEW BEST:: SOT 7798 SOS 4244 HAS SOPS 4244 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1922.244
AT ITER 356 NEW BEST:: SOT 7793 SOS 4238 HAS SOPS 4238 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1913.238
AT ITER 372 NEW BEST:: SOT 7790 SOS 4226 HAS SOPS 4226 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1910.226
AT ITER 377 NEW BEST:: SOT 7790 SOS 4226 HAS SOPS 4226 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1909.226
AT ITER 380 NEW BEST:: SOT 7788 SOS 4224 HAS SOPS 4224 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1908.224
AT ITER 384 NEW BEST:: SOT 7788 SOS 4220 HAS SOPS 4220 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1906.22
AT ITER 392 NEW BEST:: SOT 7788 SOS 4220 HAS SOPS 4220 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1902.22
AT ITER 437 NEW BEST:: SOT 7792 SOS 4211 HAS SOPS 4211 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1890.211
AT ITER 439 NEW BEST:: SOT 7782 SOS 4201 HAS SOPS 4201 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1883.201
AT ITER 461 NEW BEST:: SOT 7780 SOS 4199 HAS SOPS 4199 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1882.199
AT ITER 465 NEW BEST:: SOT 7779 SOS 4196 HAS SOPS 4196 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1880.196
AT ITER 469 NEW BEST:: SOT 7788 SOS 4125 HAS SOPS 4125 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1879.125
AT ITER 483 NEW BEST:: SOT 7779 SOS 4129 HAS SOPS 4129 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1870.129
AT ITER 494 NEW BEST:: SOT 7786 SOS 4030 HAS SOPS 4030 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1869.03
AT ITER 515 NEW BEST:: SOT 7793 SOS 4023 HAS SOPS 4023 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1869.023
AT ITER 516 NEW BEST:: SOT 7787 SOS 4016 HAS SOPS 4016 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1867.016
AT ITER 532 NEW BEST:: SOT 7786 SOS 4013 HAS SOPS 4013 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1864.013
AT ITER 536 NEW BEST:: SOT 7762 SOS 3989 HAS SOPS 3989 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1853.989
AT ITER 537 NEW BEST:: SOT 7762 SOS 3987 HAS SOPS 3987 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1851.987
AT ITER 547 NEW BEST:: SOT 7770 SOS 3980 HAS SOPS 3980 HAS SOUS 1843 HAS SOUPS 1843 WITH SCORE 1846.98
AT ITER 562 NEW BEST:: SOT 7781 SOS 3999 HAS SOPS 3999 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1829.999
AT ITER 574 NEW BEST:: SOT 7785 SOS 4003 HAS SOPS 4003 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1810.003
AT ITER 594 NEW BEST:: SOT 7778 SOS 3989 HAS SOPS 3989 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1804.989
AT ITER 600 NEW BEST:: SOT 7757 SOS 3995 HAS SOPS 3995 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1789.995
AT ITER 617 NEW BEST:: SOT 7757 SOS 3995 HAS SOPS 3995 HAS SOUS 1782 HAS SOUPS 1782 WITH SCORE 1785.995
AT ITER 620 NEW BEST:: SOT 7757 SOS 3989 HAS SOPS 3989 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1784.989
AT ITER 629 NEW BEST:: SOT 7761 SOS 3989 HAS SOPS 3989 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1782.989
AT ITER 640 NEW BEST:: SOT 7756 SOS 3984 HAS SOPS 3984 HAS SOUS 1778 HAS SOUPS 1778 WITH SCORE 1781.984
AT ITER 655 NEW BEST:: SOT 7752 SOS 3976 HAS SOPS 3976 HAS SOUS 1774 HAS SOUPS 1774 WITH SCORE 1777.976
AT ITER 681 NEW BEST:: SOT 7745 SOS 3997 HAS SOPS 3997 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1768.997
AT ITER 692 NEW BEST:: SOT 7745 SOS 3995 HAS SOPS 3995 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1767.995
AT ITER 697 NEW BEST:: SOT 7743 SOS 3995 HAS SOPS 3995 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1766.995
AT ITER 699 NEW BEST:: SOT 7767 SOS 4019 HAS SOPS 4019 HAS SOUS 1744 HAS SOUPS 1744 WITH SCORE 1748.019
AT ITER 705 NEW BEST:: SOT 7772 SOS 4015 HAS SOPS 4015 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1746.015
AT ITER 721 NEW BEST:: SOT 7768 SOS 4024 HAS SOPS 4024 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1736.024
AT ITER 743 NEW BEST:: SOT 7746 SOS 4045 HAS SOPS 4045 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1734.045
AT ITER 754 NEW BEST:: SOT 7682 SOS 3969 HAS SOPS 3969 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1705.969
AT ITER 762 NEW BEST:: SOT 7659 SOS 3943 HAS SOPS 3943 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1679.943
AT ITER 769 NEW BEST:: SOT 7654 SOS 3933 HAS SOPS 3933 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1674.933
AT ITER 783 NEW BEST:: SOT 7653 SOS 3919 HAS SOPS 3919 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1673.919
AT ITER 790 NEW BEST:: SOT 7649 SOS 3911 HAS SOPS 3911 HAS SOUS 1668 HAS SOUPS 1668 WITH SCORE 1671.911
AT ITER 811 NEW BEST:: SOT 7624 SOS 3919 HAS SOPS 3919 HAS SOUS 1649 HAS SOUPS 1649 WITH SCORE 1652.919
AT ITER 812 NEW BEST:: SOT 7650 SOS 3945 HAS SOPS 3945 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1632.945
AT ITER 838 NEW BEST:: SOT 7646 SOS 3941 HAS SOPS 3941 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1626.941
AT ITER 856 NEW BEST:: SOT 7670 SOS 3917 HAS SOPS 3917 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1624.917
AT ITER 858 NEW BEST:: SOT 7669 SOS 3916 HAS SOPS 3916 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1624.916
AT ITER 902 NEW BEST:: SOT 7668 SOS 3916 HAS SOPS 3916 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1623.916
AT ITER 908 NEW BEST:: SOT 7668 SOS 3916 HAS SOPS 3916 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1619.916
AT ITER 911 NEW BEST:: SOT 7651 SOS 3895 HAS SOPS 3895 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1597.895
AT ITER 969 NEW BEST:: SOT 7651 SOS 3893 HAS SOPS 3893 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1595.893
AT ITER 981 NEW BEST:: SOT 7655 SOS 3891 HAS SOPS 3891 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1591.891
AT ITER 993 NEW BEST:: SOT 7655 SOS 3868 HAS SOPS 3868 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1591.868
AT ITER 1004 NEW BEST:: SOT 7648 SOS 3871 HAS SOPS 3871 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1579.871
AT ITER 1021 NEW BEST:: SOT 7651 SOS 3788 HAS SOPS 3788 HAS SOUS 1565 HAS SOUPS 1565 WITH SCORE 1568.788
AT ITER 1040 NEW BEST:: SOT 7643 SOS 3780 HAS SOPS 3780 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1554.78
AT ITER 1045 NEW BEST:: SOT 7620 SOS 3781 HAS SOPS 3781 HAS SOUS 1544 HAS SOUPS 1544 WITH SCORE 1547.781
AT ITER 1100 NEW BEST:: SOT 7620 SOS 3778 HAS SOPS 3778 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1544.778
AT ITER 1109 NEW BEST:: SOT 7620 SOS 3776 HAS SOPS 3776 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1544.776
AT ITER 1114 NEW BEST:: SOT 7627 SOS 3767 HAS SOPS 3767 HAS SOUS 1532 HAS SOUPS 1532 WITH SCORE 1535.767
AT ITER 1127 NEW BEST:: SOT 7639 SOS 3791 HAS SOPS 3791 HAS SOUS 1526 HAS SOUPS 1526 WITH SCORE 1529.791
AT ITER 1179 NEW BEST:: SOT 7617 SOS 3768 HAS SOPS 3768 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1522.768
AT ITER 1183 NEW BEST:: SOT 7606 SOS 3756 HAS SOPS 3756 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1518.756
AT ITER 1199 NEW BEST:: SOT 7604 SOS 3755 HAS SOPS 3755 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1516.755
AT ITER 1213 NEW BEST:: SOT 7598 SOS 3749 HAS SOPS 3749 HAS SOUS 1505 HAS SOUPS 1505 WITH SCORE 1508.749
AT ITER 1217 NEW BEST:: SOT 7596 SOS 3745 HAS SOPS 3745 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1506.745
AT ITER 1259 NEW BEST:: SOT 7590 SOS 3737 HAS SOPS 3737 HAS SOUS 1497 HAS SOUPS 1497 WITH SCORE 1500.737
AT ITER 1301 NEW BEST:: SOT 7590 SOS 3733 HAS SOPS 3733 HAS SOUS 1497 HAS SOUPS 1497 WITH SCORE 1500.733
AT ITER 1330 NEW BEST:: SOT 7584 SOS 3727 HAS SOPS 3727 HAS SOUS 1485 HAS SOUPS 1485 WITH SCORE 1488.727
AT ITER 1334 NEW BEST:: SOT 7582 SOS 3752 HAS SOPS 3752 HAS SOUS 1481 HAS SOUPS 1481 WITH SCORE 1484.752
AT ITER 1374 NEW BEST:: SOT 7568 SOS 3690 HAS SOPS 3690 HAS SOUS 1479 HAS SOUPS 1479 WITH SCORE 1482.69
AT ITER 1383 NEW BEST:: SOT 7566 SOS 3686 HAS SOPS 3686 HAS SOUS 1475 HAS SOUPS 1475 WITH SCORE 1478.686
AT ITER 1413 NEW BEST:: SOT 7564 SOS 3684 HAS SOPS 3684 HAS SOUS 1472 HAS SOUPS 1472 WITH SCORE 1475.684
AT ITER 1419 NEW BEST:: SOT 7556 SOS 3676 HAS SOPS 3676 HAS SOUS 1470 HAS SOUPS 1470 WITH SCORE 1473.676
AT ITER 1420 NEW BEST:: SOT 7558 SOS 3673 HAS SOPS 3673 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1472.673
AT ITER 1452 NEW BEST:: SOT 7554 SOS 3669 HAS SOPS 3669 HAS SOUS 1465 HAS SOUPS 1465 WITH SCORE 1468.669
AT ITER 1492 NEW BEST:: SOT 7553 SOS 3669 HAS SOPS 3669 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1467.669
AT ITER 1506 NEW BEST:: SOT 7561 SOS 3645 HAS SOPS 3645 HAS SOUS 1461 HAS SOUPS 1461 WITH SCORE 1464.645
AT ITER 1547 NEW BEST:: SOT 7561 SOS 3643 HAS SOPS 3643 HAS SOUS 1461 HAS SOUPS 1461 WITH SCORE 1464.643
AT ITER 1561 NEW BEST:: SOT 7561 SOS 3641 HAS SOPS 3641 HAS SOUS 1461 HAS SOUPS 1461 WITH SCORE 1464.641
AT ITER 1571 NEW BEST:: SOT 7561 SOS 3631 HAS SOPS 3631 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1462.631
AT ITER 1614 NEW BEST:: SOT 7547 SOS 3605 HAS SOPS 3605 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1453.605
AT ITER 1643 NEW BEST:: SOT 7560 SOS 3595 HAS SOPS 3595 HAS SOUS 1439 HAS SOUPS 1439 WITH SCORE 1442.595
AT ITER 1714 NEW BEST:: SOT 7538 SOS 3551 HAS SOPS 3551 HAS SOUS 1433 HAS SOUPS 1433 WITH SCORE 1436.551
AT ITER 1728 NEW BEST:: SOT 7532 SOS 3545 HAS SOPS 3545 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1429.545
AT ITER 1732 NEW BEST:: SOT 7526 SOS 3539 HAS SOPS 3539 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1424.539
AT ITER 1764 NEW BEST:: SOT 7514 SOS 3542 HAS SOPS 3542 HAS SOUS 1418 HAS SOUPS 1418 WITH SCORE 1421.542
AT ITER 1831 NEW BEST:: SOT 7514 SOS 3545 HAS SOPS 3545 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1420.545
AT ITER 1834 NEW BEST:: SOT 7511 SOS 3539 HAS SOPS 3539 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1409.539
AT ITER 1836 NEW BEST:: SOT 7510 SOS 3586 HAS SOPS 3586 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1388.586
AT ITER 1927 NEW BEST:: SOT 7511 SOS 3587 HAS SOPS 3587 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1386.587
AT ITER 1964 NEW BEST:: SOT 7515 SOS 3584 HAS SOPS 3584 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1385.584
AT ITER 2013 NEW BEST:: SOT 7513 SOS 3593 HAS SOPS 3593 HAS SOUS 1380 HAS SOUPS 1380 WITH SCORE 1383.593
AT ITER 2086 NEW BEST:: SOT 7511 SOS 3591 HAS SOPS 3591 HAS SOUS 1378 HAS SOUPS 1378 WITH SCORE 1381.591
AT ITER 2109 NEW BEST:: SOT 7507 SOS 3587 HAS SOPS 3587 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1372.587
AT ITER 2113 NEW BEST:: SOT 7507 SOS 3587 HAS SOPS 3587 HAS SOUS 1368 HAS SOUPS 1368 WITH SCORE 1371.587
AT ITER 2115 NEW BEST:: SOT 7506 SOS 3593 HAS SOPS 3593 HAS SOUS 1366 HAS SOUPS 1366 WITH SCORE 1369.593
AT ITER 2139 NEW BEST:: SOT 7516 SOS 3603 HAS SOPS 3603 HAS SOUS 1364 HAS SOUPS 1364 WITH SCORE 1367.603
AT ITER 2158 NEW BEST:: SOT 7498 SOS 3582 HAS SOPS 3582 HAS SOUS 1355 HAS SOUPS 1355 WITH SCORE 1358.582
AT ITER 2164 NEW BEST:: SOT 7505 SOS 3557 HAS SOPS 3557 HAS SOUS 1354 HAS SOUPS 1354 WITH SCORE 1357.557
AT ITER 2168 NEW BEST:: SOT 7501 SOS 3553 HAS SOPS 3553 HAS SOUS 1345 HAS SOUPS 1345 WITH SCORE 1348.553
AT ITER 2190 NEW BEST:: SOT 7499 SOS 3545 HAS SOPS 3545 HAS SOUS 1343 HAS SOUPS 1343 WITH SCORE 1346.545
AT ITER 2201 NEW BEST:: SOT 7497 SOS 3543 HAS SOPS 3543 HAS SOUS 1341 HAS SOUPS 1341 WITH SCORE 1344.543
AT ITER 2222 NEW BEST:: SOT 7497 SOS 3543 HAS SOPS 3543 HAS SOUS 1340 HAS SOUPS 1340 WITH SCORE 1343.543
AT ITER 2254 NEW BEST:: SOT 7496 SOS 3541 HAS SOPS 3541 HAS SOUS 1338 HAS SOUPS 1338 WITH SCORE 1341.541
AT ITER 2334 NEW BEST:: SOT 7496 SOS 3541 HAS SOPS 3541 HAS SOUS 1336 HAS SOUPS 1336 WITH SCORE 1339.541
AT ITER 2541 NEW BEST:: SOT 7493 SOS 3542 HAS SOPS 3542 HAS SOUS 1333 HAS SOUPS 1333 WITH SCORE 1336.542
AT ITER 2545 NEW BEST:: SOT 7493 SOS 3527 HAS SOPS 3527 HAS SOUS 1333 HAS SOUPS 1333 WITH SCORE 1336.527
AT ITER 2564 NEW BEST:: SOT 7492 SOS 3519 HAS SOPS 3519 HAS SOUS 1332 HAS SOUPS 1332 WITH SCORE 1335.519
AT ITER 2598 NEW BEST:: SOT 7491 SOS 3533 HAS SOPS 3533 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1334.533
AT ITER 2760 NEW BEST:: SOT 7489 SOS 3531 HAS SOPS 3531 HAS SOUS 1329 HAS SOUPS 1329 WITH SCORE 1332.531
AT ITER 2773 NEW BEST:: SOT 7488 SOS 3532 HAS SOPS 3532 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1331.532
AT ITER 2811 NEW BEST:: SOT 7488 SOS 3534 HAS SOPS 3534 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1330.534
AT ITER 2856 NEW BEST:: SOT 7486 SOS 3530 HAS SOPS 3530 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1326.53
AT ITER 2911 NEW BEST:: SOT 7482 SOS 3526 HAS SOPS 3526 HAS SOUS 1322 HAS SOUPS 1322 WITH SCORE 1325.526
AT ITER 2944 NEW BEST:: SOT 7480 SOS 3520 HAS SOPS 3520 HAS SOUS 1319 HAS SOUPS 1319 WITH SCORE 1322.52
AT ITER 2983 NEW BEST:: SOT 7476 SOS 3568 HAS SOPS 3568 HAS SOUS 1315 HAS SOUPS 1315 WITH SCORE 1318.568
AT ITER 3185 NEW BEST:: SOT 7476 SOS 3567 HAS SOPS 3567 HAS SOUS 1314 HAS SOUPS 1314 WITH SCORE 1317.567
AT ITER 3211 NEW BEST:: SOT 7477 SOS 3557 HAS SOPS 3557 HAS SOUS 1314 HAS SOUPS 1314 WITH SCORE 1317.557
AT ITER 3274 NEW BEST:: SOT 7477 SOS 3557 HAS SOPS 3557 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1315.557
AT ITER 3375 NEW BEST:: SOT 7473 SOS 3545 HAS SOPS 3545 HAS SOUS 1308 HAS SOUPS 1308 WITH SCORE 1311.545
AT ITER 3610 NEW BEST:: SOT 7473 SOS 3560 HAS SOPS 3560 HAS SOUS 1303 HAS SOUPS 1303 WITH SCORE 1306.56
AT ITER 3620 NEW BEST:: SOT 7473 SOS 3560 HAS SOPS 3560 HAS SOUS 1295 HAS SOUPS 1295 WITH SCORE 1298.56
AT ITER 3669 NEW BEST:: SOT 7473 SOS 3559 HAS SOPS 3559 HAS SOUS 1295 HAS SOUPS 1295 WITH SCORE 1298.559
AT ITER 3924 NEW BEST:: SOT 7471 SOS 3557 HAS SOPS 3557 HAS SOUS 1291 HAS SOUPS 1291 WITH SCORE 1294.557
AT ITER 3999 NEW BEST:: SOT 7471 SOS 3555 HAS SOPS 3555 HAS SOUS 1290 HAS SOUPS 1290 WITH SCORE 1293.555
AT ITER 4068 NEW BEST:: SOT 7471 SOS 3544 HAS SOPS 3544 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1292.544
AT ITER 4141 NEW BEST:: SOT 7467 SOS 3561 HAS SOPS 3561 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1291.561
AT ITER 4197 NEW BEST:: SOT 7467 SOS 3558 HAS SOPS 3558 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1291.558
AT ITER 4306 NEW BEST:: SOT 7466 SOS 3556 HAS SOPS 3556 HAS SOUS 1284 HAS SOUPS 1284 WITH SCORE 1287.556
AT ITER 4381 NEW BEST:: SOT 7465 SOS 3554 HAS SOPS 3554 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1285.554
AT ITER 4619 NEW BEST:: SOT 7472 SOS 3557 HAS SOPS 3557 HAS SOUS 1281 HAS SOUPS 1281 WITH SCORE 1284.557
AT ITER 5023 NEW BEST:: SOT 7471 SOS 3555 HAS SOPS 3555 HAS SOUS 1279 HAS SOUPS 1279 WITH SCORE 1282.555
AT ITER 5088 NEW BEST:: SOT 7464 SOS 3492 HAS SOPS 3492 HAS SOUS 1275 HAS SOUPS 1275 WITH SCORE 1278.492
AT ITER 5200 NEW BEST:: SOT 7464 SOS 3492 HAS SOPS 3492 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1277.492
AT ITER 5344 NEW BEST:: SOT 7461 SOS 3488 HAS SOPS 3488 HAS SOUS 1270 HAS SOUPS 1270 WITH SCORE 1273.488
AT ITER 5407 NEW BEST:: SOT 7457 SOS 3486 HAS SOPS 3486 HAS SOUS 1270 HAS SOUPS 1270 WITH SCORE 1273.486
AT ITER 5499 NEW BEST:: SOT 7451 SOS 3560 HAS SOPS 3560 HAS SOUS 1268 HAS SOUPS 1268 WITH SCORE 1271.56
AT ITER 5676 NEW BEST:: SOT 7455 SOS 3564 HAS SOPS 3564 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1269.564
AT ITER 5715 NEW BEST:: SOT 7455 SOS 3561 HAS SOPS 3561 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1269.561
AT ITER 5759 NEW BEST:: SOT 7442 SOS 3640 HAS SOPS 3640 HAS SOUS 1260 HAS SOUPS 1260 WITH SCORE 1263.64
AT ITER 5805 NEW BEST:: SOT 7442 SOS 3639 HAS SOPS 3639 HAS SOUS 1260 HAS SOUPS 1260 WITH SCORE 1263.639
AT ITER 5878 NEW BEST:: SOT 7442 SOS 3637 HAS SOPS 3637 HAS SOUS 1260 HAS SOUPS 1260 WITH SCORE 1263.637
AT ITER 5944 NEW BEST:: SOT 7442 SOS 3636 HAS SOPS 3636 HAS SOUS 1260 HAS SOUPS 1260 WITH SCORE 1263.636
AT ITER 5961 NEW BEST:: SOT 7439 SOS 3632 HAS SOPS 3632 HAS SOUS 1260 HAS SOUPS 1260 WITH SCORE 1263.632
AT ITER 6148 NEW BEST:: SOT 7438 SOS 3637 HAS SOPS 3637 HAS SOUS 1259 HAS SOUPS 1259 WITH SCORE 1262.637
AT ITER 6300 NEW BEST:: SOT 7435 SOS 3634 HAS SOPS 3634 HAS SOUS 1259 HAS SOUPS 1259 WITH SCORE 1262.634
AT ITER 6609 NEW BEST:: SOT 7431 SOS 3629 HAS SOPS 3629 HAS SOUS 1257 HAS SOUPS 1257 WITH SCORE 1260.629
AT ITER 6989 NEW BEST:: SOT 7435 SOS 3633 HAS SOPS 3633 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1258.633
AT ITER 7256 NEW BEST:: SOT 7433 SOS 3631 HAS SOPS 3631 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1256.631
AT ITER 7341 NEW BEST:: SOT 7428 SOS 3761 HAS SOPS 3761 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1251.761
AT ITER 7506 NEW BEST:: SOT 7429 SOS 3731 HAS SOPS 3731 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1251.731
AT ITER 7534 NEW BEST:: SOT 7425 SOS 3727 HAS SOPS 3727 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1247.727
AT ITER 7654 NEW BEST:: SOT 7432 SOS 3674 HAS SOPS 3674 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1247.674
AT ITER 7722 NEW BEST:: SOT 7429 SOS 3671 HAS SOPS 3671 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1247.671
AT ITER 7915 NEW BEST:: SOT 7427 SOS 3669 HAS SOPS 3669 HAS SOUS 1241 HAS SOUPS 1241 WITH SCORE 1244.669
AT ITER 8094 NEW BEST:: SOT 7432 SOS 3673 HAS SOPS 3673 HAS SOUS 1240 HAS SOUPS 1240 WITH SCORE 1243.673
AT ITER 8105 NEW BEST:: SOT 7432 SOS 3670 HAS SOPS 3670 HAS SOUS 1240 HAS SOUPS 1240 WITH SCORE 1243.67
AT ITER 8382 NEW BEST:: SOT 7431 SOS 3671 HAS SOPS 3671 HAS SOUS 1239 HAS SOUPS 1239 WITH SCORE 1242.671
AT ITER 9013 NEW BEST:: SOT 7431 SOS 3679 HAS SOPS 3679 HAS SOUS 1237 HAS SOUPS 1237 WITH SCORE 1240.679
AT ITER 9116 NEW BEST:: SOT 7426 SOS 3679 HAS SOPS 3679 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1239.679
AT ITER 9164 NEW BEST:: SOT 7426 SOS 3677 HAS SOPS 3677 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1239.677
AT ITER 9364 NEW BEST:: SOT 7426 SOS 3675 HAS SOPS 3675 HAS SOUS 1235 HAS SOUPS 1235 WITH SCORE 1238.675
AT ITER 9575 NEW BEST:: SOT 7423 SOS 3672 HAS SOPS 3672 HAS SOUS 1235 HAS SOUPS 1235 WITH SCORE 1238.672
STATE_SPACE STATES 57040 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 14 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 268760 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1679191712144
--------------------
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="UtilityControlRoom-PT-Z4T4N02"
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 UtilityControlRoom-PT-Z4T4N02, 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 r483-tall-167912696701192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/UtilityControlRoom-PT-Z4T4N02.tgz
mv UtilityControlRoom-PT-Z4T4N02 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 '
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 ;