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.r131-smll-167819407500384.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 DiscoveryGPU-PT-12a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407500384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 7.7K Feb 25 13:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 13:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 13:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 13:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 13:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 13:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 13:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 13:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 43K Mar 5 18:22 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 1679896872032

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=DiscoveryGPU-PT-12a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 12a
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: 123 places, 169 transitions, 543 arcs.
AT ITER 0 NEW BEST:: SOT 15254 SOS 7627 HAS SOPS 7627 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7572.627
AT ITER 7 NEW BEST:: SOT 15253 SOS 7685 HAS SOPS 7685 HAS SOUS 7564 HAS SOUPS 7564 WITH SCORE 7571.685
AT ITER 11 NEW BEST:: SOT 15253 SOS 7685 HAS SOPS 7685 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7549.685
AT ITER 13 NEW BEST:: SOT 15270 SOS 7700 HAS SOPS 7700 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7548.7
AT ITER 16 NEW BEST:: SOT 13844 SOS 7881 HAS SOPS 6298 HAS SOUS 6237 HAS SOUPS 6138 WITH SCORE 6145.881
AT ITER 18 NEW BEST:: SOT 13807 SOS 7607 HAS SOPS 6087 HAS SOUS 6127 HAS SOUPS 6028 WITH SCORE 6035.607
AT ITER 22 NEW BEST:: SOT 13811 SOS 7678 HAS SOPS 6115 HAS SOUS 6108 HAS SOUPS 6009 WITH SCORE 6016.678
AT ITER 31 NEW BEST:: SOT 11506 SOS 6417 HAS SOPS 3692 HAS SOUS 3842 HAS SOUPS 3675 WITH SCORE 3681.417
AT ITER 35 NEW BEST:: SOT 11478 SOS 6375 HAS SOPS 3622 HAS SOUS 3772 HAS SOUPS 3605 WITH SCORE 3611.375
AT ITER 41 NEW BEST:: SOT 11477 SOS 6374 HAS SOPS 3583 HAS SOUS 3733 HAS SOUPS 3566 WITH SCORE 3572.374
AT ITER 44 NEW BEST:: SOT 11473 SOS 6365 HAS SOPS 3575 HAS SOUS 3725 HAS SOUPS 3558 WITH SCORE 3564.365
AT ITER 45 NEW BEST:: SOT 11444 SOS 6307 HAS SOPS 3488 HAS SOUS 3638 HAS SOUPS 3471 WITH SCORE 3477.307
AT ITER 64 NEW BEST:: SOT 11444 SOS 6293 HAS SOPS 3432 HAS SOUS 3593 HAS SOUPS 3415 WITH SCORE 3421.293
AT ITER 68 NEW BEST:: SOT 11452 SOS 6301 HAS SOPS 3423 HAS SOUS 3584 HAS SOUPS 3406 WITH SCORE 3412.301
AT ITER 73 NEW BEST:: SOT 11311 SOS 7016 HAS SOPS 3263 HAS SOUS 3447 HAS SOUPS 3252 WITH SCORE 3259.016
AT ITER 91 NEW BEST:: SOT 11311 SOS 7006 HAS SOPS 3253 HAS SOUS 3437 HAS SOUPS 3242 WITH SCORE 3249.006
AT ITER 101 NEW BEST:: SOT 11309 SOS 7003 HAS SOPS 3249 HAS SOUS 3433 HAS SOUPS 3238 WITH SCORE 3245.003
AT ITER 105 NEW BEST:: SOT 11309 SOS 7003 HAS SOPS 3223 HAS SOUS 3407 HAS SOUPS 3212 WITH SCORE 3219.003
AT ITER 127 NEW BEST:: SOT 11309 SOS 7003 HAS SOPS 3217 HAS SOUS 3401 HAS SOUPS 3206 WITH SCORE 3213.003
AT ITER 128 NEW BEST:: SOT 11309 SOS 7003 HAS SOPS 3215 HAS SOUS 3399 HAS SOUPS 3204 WITH SCORE 3211.003
AT ITER 141 NEW BEST:: SOT 11308 SOS 7063 HAS SOPS 3213 HAS SOUS 3397 HAS SOUPS 3202 WITH SCORE 3209.063
AT ITER 150 NEW BEST:: SOT 11308 SOS 7063 HAS SOPS 3166 HAS SOUS 3350 HAS SOUPS 3155 WITH SCORE 3162.063
AT ITER 157 NEW BEST:: SOT 11349 SOS 7070 HAS SOPS 3146 HAS SOUS 3330 HAS SOUPS 3135 WITH SCORE 3142.07
AT ITER 163 NEW BEST:: SOT 11349 SOS 7062 HAS SOPS 3146 HAS SOUS 3330 HAS SOUPS 3135 WITH SCORE 3142.062
AT ITER 175 NEW BEST:: SOT 11348 SOS 7061 HAS SOPS 3145 HAS SOUS 3329 HAS SOUPS 3134 WITH SCORE 3141.061
AT ITER 176 NEW BEST:: SOT 11317 SOS 7029 HAS SOPS 3083 HAS SOUS 3267 HAS SOUPS 3072 WITH SCORE 3079.029
AT ITER 178 NEW BEST:: SOT 11301 SOS 7014 HAS SOPS 3069 HAS SOUS 3253 HAS SOUPS 3058 WITH SCORE 3065.014
AT ITER 189 NEW BEST:: SOT 11246 SOS 7015 HAS SOPS 3016 HAS SOUS 3200 HAS SOUPS 3005 WITH SCORE 3012.015
AT ITER 195 NEW BEST:: SOT 11245 SOS 7014 HAS SOPS 3014 HAS SOUS 3198 HAS SOUPS 3003 WITH SCORE 3010.014
AT ITER 206 NEW BEST:: SOT 11244 SOS 6989 HAS SOPS 2988 HAS SOUS 3172 HAS SOUPS 2977 WITH SCORE 2983.989
AT ITER 209 NEW BEST:: SOT 11242 SOS 6987 HAS SOPS 2986 HAS SOUS 3170 HAS SOUPS 2975 WITH SCORE 2981.987
AT ITER 213 NEW BEST:: SOT 11224 SOS 6969 HAS SOPS 2950 HAS SOUS 3134 HAS SOUPS 2939 WITH SCORE 2945.969
AT ITER 219 NEW BEST:: SOT 11253 SOS 6997 HAS SOPS 2946 HAS SOUS 3130 HAS SOUPS 2935 WITH SCORE 2941.997
AT ITER 223 NEW BEST:: SOT 11252 SOS 6996 HAS SOPS 2944 HAS SOUS 3128 HAS SOUPS 2933 WITH SCORE 2939.996
AT ITER 239 NEW BEST:: SOT 11255 SOS 6999 HAS SOPS 2924 HAS SOUS 3108 HAS SOUPS 2913 WITH SCORE 2919.999
AT ITER 252 NEW BEST:: SOT 11272 SOS 7002 HAS SOPS 2912 HAS SOUS 3096 HAS SOUPS 2901 WITH SCORE 2908.002
AT ITER 267 NEW BEST:: SOT 11256 SOS 7445 HAS SOPS 2896 HAS SOUS 3087 HAS SOUPS 2892 WITH SCORE 2899.445
AT ITER 269 NEW BEST:: SOT 11245 SOS 7418 HAS SOPS 2858 HAS SOUS 3049 HAS SOUPS 2854 WITH SCORE 2861.418
AT ITER 276 NEW BEST:: SOT 11267 SOS 7426 HAS SOPS 2856 HAS SOUS 3047 HAS SOUPS 2852 WITH SCORE 2859.426
AT ITER 279 NEW BEST:: SOT 11267 SOS 7426 HAS SOPS 2851 HAS SOUS 3042 HAS SOUPS 2847 WITH SCORE 2854.426
AT ITER 301 NEW BEST:: SOT 11265 SOS 7435 HAS SOPS 2847 HAS SOUS 3038 HAS SOUPS 2843 WITH SCORE 2850.435
AT ITER 302 NEW BEST:: SOT 11264 SOS 7434 HAS SOPS 2845 HAS SOUS 3036 HAS SOUPS 2841 WITH SCORE 2848.434
AT ITER 323 NEW BEST:: SOT 11230 SOS 7400 HAS SOPS 2805 HAS SOUS 2996 HAS SOUPS 2801 WITH SCORE 2808.4
AT ITER 333 NEW BEST:: SOT 11230 SOS 7375 HAS SOPS 2780 HAS SOUS 2971 HAS SOUPS 2776 WITH SCORE 2783.375
AT ITER 336 NEW BEST:: SOT 11263 SOS 7407 HAS SOPS 2776 HAS SOUS 2984 HAS SOUPS 2772 WITH SCORE 2779.407
AT ITER 338 NEW BEST:: SOT 11282 SOS 7425 HAS SOPS 2772 HAS SOUS 2980 HAS SOUPS 2768 WITH SCORE 2775.425
AT ITER 373 NEW BEST:: SOT 11281 SOS 7415 HAS SOPS 2761 HAS SOUS 2969 HAS SOUPS 2757 WITH SCORE 2764.415
AT ITER 385 NEW BEST:: SOT 11281 SOS 7381 HAS SOPS 2727 HAS SOUS 2935 HAS SOUPS 2723 WITH SCORE 2730.381
AT ITER 393 NEW BEST:: SOT 11279 SOS 7378 HAS SOPS 2723 HAS SOUS 2931 HAS SOUPS 2719 WITH SCORE 2726.378
AT ITER 396 NEW BEST:: SOT 11276 SOS 7372 HAS SOPS 2714 HAS SOUS 2922 HAS SOUPS 2710 WITH SCORE 2717.372
AT ITER 397 NEW BEST:: SOT 11260 SOS 7359 HAS SOPS 2704 HAS SOUS 2912 HAS SOUPS 2700 WITH SCORE 2707.359
AT ITER 428 NEW BEST:: SOT 11245 SOS 7331 HAS SOPS 2661 HAS SOUS 2869 HAS SOUPS 2657 WITH SCORE 2664.331
AT ITER 429 NEW BEST:: SOT 11239 SOS 7325 HAS SOPS 2655 HAS SOUS 2863 HAS SOUPS 2651 WITH SCORE 2658.325
AT ITER 449 NEW BEST:: SOT 11239 SOS 7324 HAS SOPS 2655 HAS SOUS 2863 HAS SOUPS 2651 WITH SCORE 2658.324
AT ITER 450 NEW BEST:: SOT 11165 SOS 7266 HAS SOPS 2507 HAS SOUS 2715 HAS SOUPS 2503 WITH SCORE 2510.266
AT ITER 463 NEW BEST:: SOT 11158 SOS 7248 HAS SOPS 2493 HAS SOUS 2701 HAS SOUPS 2489 WITH SCORE 2496.248
AT ITER 470 NEW BEST:: SOT 11150 SOS 7238 HAS SOPS 2477 HAS SOUS 2685 HAS SOUPS 2473 WITH SCORE 2480.238
AT ITER 489 NEW BEST:: SOT 11166 SOS 7242 HAS SOPS 2473 HAS SOUS 2681 HAS SOUPS 2469 WITH SCORE 2476.242
AT ITER 504 NEW BEST:: SOT 11160 SOS 7233 HAS SOPS 2445 HAS SOUS 2653 HAS SOUPS 2441 WITH SCORE 2448.233
AT ITER 511 NEW BEST:: SOT 11157 SOS 7234 HAS SOPS 2445 HAS SOUS 2652 HAS SOUPS 2440 WITH SCORE 2447.234
AT ITER 513 NEW BEST:: SOT 11147 SOS 7219 HAS SOPS 2420 HAS SOUS 2627 HAS SOUPS 2415 WITH SCORE 2422.219
AT ITER 532 NEW BEST:: SOT 11162 SOS 7206 HAS SOPS 2394 HAS SOUS 2601 HAS SOUPS 2389 WITH SCORE 2396.206
AT ITER 542 NEW BEST:: SOT 11156 SOS 7203 HAS SOPS 2382 HAS SOUS 2589 HAS SOUPS 2377 WITH SCORE 2384.203
AT ITER 550 NEW BEST:: SOT 11155 SOS 7203 HAS SOPS 2381 HAS SOUS 2588 HAS SOUPS 2376 WITH SCORE 2383.203
AT ITER 554 NEW BEST:: SOT 11147 SOS 7187 HAS SOPS 2365 HAS SOUS 2572 HAS SOUPS 2360 WITH SCORE 2367.187
AT ITER 558 NEW BEST:: SOT 11135 SOS 7169 HAS SOPS 2341 HAS SOUS 2548 HAS SOUPS 2336 WITH SCORE 2343.169
AT ITER 561 NEW BEST:: SOT 11128 SOS 7162 HAS SOPS 2341 HAS SOUS 2548 HAS SOUPS 2336 WITH SCORE 2343.162
AT ITER 563 NEW BEST:: SOT 11131 SOS 7126 HAS SOPS 2308 HAS SOUS 2515 HAS SOUPS 2303 WITH SCORE 2310.126
AT ITER 566 NEW BEST:: SOT 11145 SOS 7124 HAS SOPS 2290 HAS SOUS 2497 HAS SOUPS 2285 WITH SCORE 2292.124
AT ITER 575 NEW BEST:: SOT 11141 SOS 7122 HAS SOPS 2286 HAS SOUS 2493 HAS SOUPS 2281 WITH SCORE 2288.122
AT ITER 582 NEW BEST:: SOT 11135 SOS 7119 HAS SOPS 2277 HAS SOUS 2484 HAS SOUPS 2272 WITH SCORE 2279.119
AT ITER 586 NEW BEST:: SOT 11118 SOS 7102 HAS SOPS 2243 HAS SOUS 2450 HAS SOUPS 2238 WITH SCORE 2245.102
AT ITER 595 NEW BEST:: SOT 11117 SOS 7096 HAS SOPS 2231 HAS SOUS 2442 HAS SOUPS 2226 WITH SCORE 2233.096
AT ITER 600 NEW BEST:: SOT 11110 SOS 7096 HAS SOPS 2230 HAS SOUS 2441 HAS SOUPS 2225 WITH SCORE 2232.096
AT ITER 605 NEW BEST:: SOT 11110 SOS 7091 HAS SOPS 2225 HAS SOUS 2436 HAS SOUPS 2220 WITH SCORE 2227.091
AT ITER 638 NEW BEST:: SOT 11107 SOS 7088 HAS SOPS 2224 HAS SOUS 2435 HAS SOUPS 2219 WITH SCORE 2226.088
AT ITER 669 NEW BEST:: SOT 11083 SOS 7064 HAS SOPS 2176 HAS SOUS 2387 HAS SOUPS 2171 WITH SCORE 2178.064
AT ITER 671 NEW BEST:: SOT 11079 SOS 7064 HAS SOPS 2168 HAS SOUS 2379 HAS SOUPS 2163 WITH SCORE 2170.064
AT ITER 703 NEW BEST:: SOT 11073 SOS 7058 HAS SOPS 2156 HAS SOUS 2367 HAS SOUPS 2151 WITH SCORE 2158.058
AT ITER 705 NEW BEST:: SOT 11057 SOS 7042 HAS SOPS 2134 HAS SOUS 2345 HAS SOUPS 2129 WITH SCORE 2136.042
AT ITER 741 NEW BEST:: SOT 11054 SOS 7039 HAS SOPS 2128 HAS SOUS 2339 HAS SOUPS 2123 WITH SCORE 2130.039
AT ITER 764 NEW BEST:: SOT 11032 SOS 7008 HAS SOPS 2084 HAS SOUS 2295 HAS SOUPS 2079 WITH SCORE 2086.008
AT ITER 798 NEW BEST:: SOT 11032 SOS 7008 HAS SOPS 2048 HAS SOUS 2259 HAS SOUPS 2043 WITH SCORE 2050.008
AT ITER 814 NEW BEST:: SOT 11020 SOS 6996 HAS SOPS 2035 HAS SOUS 2246 HAS SOUPS 2030 WITH SCORE 2036.996
AT ITER 821 NEW BEST:: SOT 11027 SOS 7003 HAS SOPS 2014 HAS SOUS 2225 HAS SOUPS 2009 WITH SCORE 2016.003
AT ITER 840 NEW BEST:: SOT 11027 SOS 6989 HAS SOPS 2014 HAS SOUS 2211 HAS SOUPS 2009 WITH SCORE 2015.989
AT ITER 847 NEW BEST:: SOT 11004 SOS 6989 HAS SOPS 1991 HAS SOUS 2188 HAS SOUPS 1986 WITH SCORE 1992.989
AT ITER 857 NEW BEST:: SOT 10989 SOS 6989 HAS SOPS 1976 HAS SOUS 2177 HAS SOUPS 1971 WITH SCORE 1977.989
AT ITER 862 NEW BEST:: SOT 10983 SOS 6984 HAS SOPS 1964 HAS SOUS 2165 HAS SOUPS 1959 WITH SCORE 1965.984
AT ITER 896 NEW BEST:: SOT 10982 SOS 6982 HAS SOPS 1962 HAS SOUS 2163 HAS SOUPS 1957 WITH SCORE 1963.982
AT ITER 920 NEW BEST:: SOT 10970 SOS 6970 HAS SOPS 1938 HAS SOUS 2139 HAS SOUPS 1933 WITH SCORE 1939.97
AT ITER 943 NEW BEST:: SOT 10969 SOS 6968 HAS SOPS 1936 HAS SOUS 2137 HAS SOUPS 1931 WITH SCORE 1937.968
AT ITER 956 NEW BEST:: SOT 11017 SOS 6964 HAS SOPS 1928 HAS SOUS 2129 HAS SOUPS 1923 WITH SCORE 1929.964
AT ITER 1012 NEW BEST:: SOT 11011 SOS 6958 HAS SOPS 1922 HAS SOUS 2123 HAS SOUPS 1917 WITH SCORE 1923.958
AT ITER 1046 NEW BEST:: SOT 11027 SOS 6962 HAS SOPS 1918 HAS SOUS 2119 HAS SOUPS 1913 WITH SCORE 1919.962
AT ITER 1051 NEW BEST:: SOT 11025 SOS 6961 HAS SOPS 1917 HAS SOUS 2118 HAS SOUPS 1912 WITH SCORE 1918.961
AT ITER 1090 NEW BEST:: SOT 11025 SOS 6961 HAS SOPS 1907 HAS SOUS 2108 HAS SOUPS 1902 WITH SCORE 1908.961
AT ITER 1105 NEW BEST:: SOT 11024 SOS 6960 HAS SOPS 1905 HAS SOUS 2106 HAS SOUPS 1900 WITH SCORE 1906.96
AT ITER 1162 NEW BEST:: SOT 11021 SOS 6957 HAS SOPS 1899 HAS SOUS 2100 HAS SOUPS 1894 WITH SCORE 1900.957
AT ITER 1176 NEW BEST:: SOT 11024 SOS 6953 HAS SOPS 1898 HAS SOUS 2099 HAS SOUPS 1893 WITH SCORE 1899.953
AT ITER 1178 NEW BEST:: SOT 11019 SOS 6961 HAS SOPS 1888 HAS SOUS 2089 HAS SOUPS 1883 WITH SCORE 1889.961
AT ITER 1184 NEW BEST:: SOT 11019 SOS 6961 HAS SOPS 1876 HAS SOUS 2077 HAS SOUPS 1871 WITH SCORE 1877.961
AT ITER 1193 NEW BEST:: SOT 11018 SOS 6960 HAS SOPS 1876 HAS SOUS 2077 HAS SOUPS 1871 WITH SCORE 1877.96
AT ITER 1208 NEW BEST:: SOT 11052 SOS 6986 HAS SOPS 1846 HAS SOUS 2046 HAS SOUPS 1840 WITH SCORE 1846.986
AT ITER 1217 NEW BEST:: SOT 11050 SOS 6983 HAS SOPS 1842 HAS SOUS 2042 HAS SOUPS 1836 WITH SCORE 1842.983
AT ITER 1218 NEW BEST:: SOT 11046 SOS 6975 HAS SOPS 1834 HAS SOUS 2034 HAS SOUPS 1828 WITH SCORE 1834.975
AT ITER 1255 NEW BEST:: SOT 11044 SOS 6998 HAS SOPS 1830 HAS SOUS 2030 HAS SOUPS 1824 WITH SCORE 1830.998
AT ITER 1276 NEW BEST:: SOT 11042 SOS 6995 HAS SOPS 1826 HAS SOUS 2026 HAS SOUPS 1820 WITH SCORE 1826.995
AT ITER 1285 NEW BEST:: SOT 11042 SOS 6993 HAS SOPS 1824 HAS SOUS 2022 HAS SOUPS 1818 WITH SCORE 1824.993
AT ITER 1296 NEW BEST:: SOT 11041 SOS 6992 HAS SOPS 1792 HAS SOUS 1990 HAS SOUPS 1786 WITH SCORE 1792.992
AT ITER 1307 NEW BEST:: SOT 11043 SOS 6996 HAS SOPS 1791 HAS SOUS 1987 HAS SOUPS 1783 WITH SCORE 1789.996
AT ITER 1327 NEW BEST:: SOT 11045 SOS 6994 HAS SOPS 1785 HAS SOUS 1985 HAS SOUPS 1777 WITH SCORE 1783.994
AT ITER 1353 NEW BEST:: SOT 11037 SOS 6981 HAS SOPS 1769 HAS SOUS 1969 HAS SOUPS 1761 WITH SCORE 1767.981
AT ITER 1358 NEW BEST:: SOT 11041 SOS 6982 HAS SOPS 1761 HAS SOUS 1961 HAS SOUPS 1753 WITH SCORE 1759.982
AT ITER 1369 NEW BEST:: SOT 11041 SOS 6983 HAS SOPS 1761 HAS SOUS 1960 HAS SOUPS 1752 WITH SCORE 1758.983
AT ITER 1380 NEW BEST:: SOT 11041 SOS 6983 HAS SOPS 1757 HAS SOUS 1956 HAS SOUPS 1748 WITH SCORE 1754.983
AT ITER 1383 NEW BEST:: SOT 11041 SOS 6983 HAS SOPS 1745 HAS SOUS 1944 HAS SOUPS 1736 WITH SCORE 1742.983
AT ITER 1396 NEW BEST:: SOT 11033 SOS 6970 HAS SOPS 1729 HAS SOUS 1929 HAS SOUPS 1721 WITH SCORE 1727.97
AT ITER 1398 NEW BEST:: SOT 11034 SOS 6970 HAS SOPS 1728 HAS SOUS 1928 HAS SOUPS 1720 WITH SCORE 1726.97
AT ITER 1413 NEW BEST:: SOT 11039 SOS 6970 HAS SOPS 1723 HAS SOUS 1923 HAS SOUPS 1715 WITH SCORE 1721.97
AT ITER 1431 NEW BEST:: SOT 11035 SOS 6964 HAS SOPS 1715 HAS SOUS 1915 HAS SOUPS 1707 WITH SCORE 1713.964
AT ITER 1440 NEW BEST:: SOT 11066 SOS 6995 HAS SOPS 1708 HAS SOUS 1908 HAS SOUPS 1700 WITH SCORE 1706.995
AT ITER 1450 NEW BEST:: SOT 11062 SOS 6991 HAS SOPS 1700 HAS SOUS 1900 HAS SOUPS 1692 WITH SCORE 1698.991
AT ITER 1451 NEW BEST:: SOT 11042 SOS 6971 HAS SOPS 1660 HAS SOUS 1860 HAS SOUPS 1652 WITH SCORE 1658.971
AT ITER 1457 NEW BEST:: SOT 11040 SOS 6968 HAS SOPS 1656 HAS SOUS 1856 HAS SOUPS 1648 WITH SCORE 1654.968
AT ITER 1458 NEW BEST:: SOT 11053 SOS 6960 HAS SOPS 1656 HAS SOUS 1856 HAS SOUPS 1648 WITH SCORE 1654.96
AT ITER 1514 NEW BEST:: SOT 11046 SOS 6953 HAS SOPS 1648 HAS SOUS 1848 HAS SOUPS 1640 WITH SCORE 1646.953
AT ITER 1515 NEW BEST:: SOT 11046 SOS 6953 HAS SOPS 1647 HAS SOUS 1848 HAS SOUPS 1639 WITH SCORE 1645.953
AT ITER 1546 NEW BEST:: SOT 11021 SOS 6928 HAS SOPS 1623 HAS SOUS 1824 HAS SOUPS 1615 WITH SCORE 1621.928
AT ITER 1584 NEW BEST:: SOT 11012 SOS 6909 HAS SOPS 1585 HAS SOUS 1786 HAS SOUPS 1577 WITH SCORE 1583.909
AT ITER 1597 NEW BEST:: SOT 11012 SOS 6905 HAS SOPS 1585 HAS SOUS 1786 HAS SOUPS 1577 WITH SCORE 1583.905
AT ITER 1611 NEW BEST:: SOT 11001 SOS 6886 HAS SOPS 1563 HAS SOUS 1764 HAS SOUPS 1555 WITH SCORE 1561.886
AT ITER 1625 NEW BEST:: SOT 10999 SOS 6882 HAS SOPS 1559 HAS SOUS 1760 HAS SOUPS 1551 WITH SCORE 1557.882
AT ITER 1643 NEW BEST:: SOT 11026 SOS 6897 HAS SOPS 1551 HAS SOUS 1752 HAS SOUPS 1543 WITH SCORE 1549.897
AT ITER 1650 NEW BEST:: SOT 11019 SOS 6903 HAS SOPS 1550 HAS SOUS 1751 HAS SOUPS 1542 WITH SCORE 1548.903
AT ITER 1656 NEW BEST:: SOT 11011 SOS 6904 HAS SOPS 1547 HAS SOUS 1748 HAS SOUPS 1539 WITH SCORE 1545.904
AT ITER 1719 NEW BEST:: SOT 11010 SOS 6906 HAS SOPS 1545 HAS SOUS 1746 HAS SOUPS 1537 WITH SCORE 1543.906
AT ITER 1736 NEW BEST:: SOT 11010 SOS 6905 HAS SOPS 1543 HAS SOUS 1744 HAS SOUPS 1535 WITH SCORE 1541.905
AT ITER 1754 NEW BEST:: SOT 11012 SOS 6904 HAS SOPS 1539 HAS SOUS 1740 HAS SOUPS 1531 WITH SCORE 1537.904
AT ITER 1781 NEW BEST:: SOT 11007 SOS 6898 HAS SOPS 1529 HAS SOUS 1730 HAS SOUPS 1521 WITH SCORE 1527.898
AT ITER 1788 NEW BEST:: SOT 10997 SOS 6892 HAS SOPS 1509 HAS SOUS 1710 HAS SOUPS 1501 WITH SCORE 1507.892
AT ITER 1889 NEW BEST:: SOT 10973 SOS 6873 HAS SOPS 1461 HAS SOUS 1662 HAS SOUPS 1453 WITH SCORE 1459.873
AT ITER 1953 NEW BEST:: SOT 10946 SOS 6863 HAS SOPS 1441 HAS SOUS 1642 HAS SOUPS 1433 WITH SCORE 1439.863
AT ITER 1971 NEW BEST:: SOT 10933 SOS 6845 HAS SOPS 1415 HAS SOUS 1616 HAS SOUPS 1407 WITH SCORE 1413.845
AT ITER 1987 NEW BEST:: SOT 10931 SOS 6843 HAS SOPS 1411 HAS SOUS 1612 HAS SOUPS 1403 WITH SCORE 1409.843
AT ITER 2055 NEW BEST:: SOT 10937 SOS 6846 HAS SOPS 1407 HAS SOUS 1608 HAS SOUPS 1399 WITH SCORE 1405.846
AT ITER 2178 NEW BEST:: SOT 10936 SOS 6843 HAS SOPS 1401 HAS SOUS 1602 HAS SOUPS 1393 WITH SCORE 1399.843
AT ITER 2185 NEW BEST:: SOT 10934 SOS 6839 HAS SOPS 1395 HAS SOUS 1596 HAS SOUPS 1387 WITH SCORE 1393.839
AT ITER 2194 NEW BEST:: SOT 10932 SOS 6958 HAS SOPS 1390 HAS SOUS 1598 HAS SOUPS 1385 WITH SCORE 1391.958
AT ITER 2210 NEW BEST:: SOT 10926 SOS 6955 HAS SOPS 1381 HAS SOUS 1589 HAS SOUPS 1376 WITH SCORE 1382.955
AT ITER 2222 NEW BEST:: SOT 10920 SOS 6949 HAS SOPS 1369 HAS SOUS 1577 HAS SOUPS 1364 WITH SCORE 1370.949
AT ITER 2307 NEW BEST:: SOT 10923 SOS 6942 HAS SOPS 1365 HAS SOUS 1573 HAS SOUPS 1360 WITH SCORE 1366.942
AT ITER 2316 NEW BEST:: SOT 10909 SOS 6926 HAS SOPS 1335 HAS SOUS 1543 HAS SOUPS 1330 WITH SCORE 1336.926
AT ITER 2319 NEW BEST:: SOT 10906 SOS 6920 HAS SOPS 1326 HAS SOUS 1534 HAS SOUPS 1321 WITH SCORE 1327.92
AT ITER 2336 NEW BEST:: SOT 10905 SOS 6919 HAS SOPS 1324 HAS SOUS 1532 HAS SOUPS 1319 WITH SCORE 1325.919
AT ITER 2355 NEW BEST:: SOT 10905 SOS 6919 HAS SOPS 1321 HAS SOUS 1531 HAS SOUPS 1318 WITH SCORE 1324.919
AT ITER 2385 NEW BEST:: SOT 10913 SOS 6923 HAS SOPS 1307 HAS SOUS 1517 HAS SOUPS 1304 WITH SCORE 1310.923
AT ITER 2399 NEW BEST:: SOT 10909 SOS 6984 HAS SOPS 1301 HAS SOUS 1514 HAS SOUPS 1299 WITH SCORE 1305.984
AT ITER 2562 NEW BEST:: SOT 10909 SOS 6983 HAS SOPS 1301 HAS SOUS 1514 HAS SOUPS 1299 WITH SCORE 1305.983
AT ITER 2649 NEW BEST:: SOT 10895 SOS 6969 HAS SOPS 1280 HAS SOUS 1493 HAS SOUPS 1278 WITH SCORE 1284.969
AT ITER 2657 NEW BEST:: SOT 10892 SOS 6966 HAS SOPS 1275 HAS SOUS 1488 HAS SOUPS 1273 WITH SCORE 1279.966
AT ITER 2667 NEW BEST:: SOT 10892 SOS 6964 HAS SOPS 1273 HAS SOUS 1486 HAS SOUPS 1271 WITH SCORE 1277.964
AT ITER 2705 NEW BEST:: SOT 10890 SOS 6963 HAS SOPS 1269 HAS SOUS 1482 HAS SOUPS 1267 WITH SCORE 1273.963
AT ITER 2738 NEW BEST:: SOT 10899 SOS 6970 HAS SOPS 1261 HAS SOUS 1484 HAS SOUPS 1259 WITH SCORE 1265.97
AT ITER 2744 NEW BEST:: SOT 10887 SOS 6966 HAS SOPS 1245 HAS SOUS 1468 HAS SOUPS 1243 WITH SCORE 1249.966
AT ITER 2795 NEW BEST:: SOT 10885 SOS 6963 HAS SOPS 1241 HAS SOUS 1464 HAS SOUPS 1239 WITH SCORE 1245.963
AT ITER 2884 NEW BEST:: SOT 10882 SOS 6964 HAS SOPS 1239 HAS SOUS 1462 HAS SOUPS 1237 WITH SCORE 1243.964
AT ITER 2905 NEW BEST:: SOT 10881 SOS 6963 HAS SOPS 1237 HAS SOUS 1460 HAS SOUPS 1235 WITH SCORE 1241.963
AT ITER 2925 NEW BEST:: SOT 10880 SOS 6962 HAS SOPS 1235 HAS SOUS 1458 HAS SOUPS 1233 WITH SCORE 1239.962
AT ITER 3056 NEW BEST:: SOT 10879 SOS 6962 HAS SOPS 1234 HAS SOUS 1457 HAS SOUPS 1232 WITH SCORE 1238.962
AT ITER 3076 NEW BEST:: SOT 10876 SOS 6959 HAS SOPS 1228 HAS SOUS 1451 HAS SOUPS 1226 WITH SCORE 1232.959
AT ITER 3150 NEW BEST:: SOT 10873 SOS 6955 HAS SOPS 1222 HAS SOUS 1445 HAS SOUPS 1220 WITH SCORE 1226.955
AT ITER 3154 NEW BEST:: SOT 10872 SOS 6953 HAS SOPS 1218 HAS SOUS 1441 HAS SOUPS 1216 WITH SCORE 1222.953
AT ITER 3190 NEW BEST:: SOT 10879 SOS 6952 HAS SOPS 1216 HAS SOUS 1439 HAS SOUPS 1214 WITH SCORE 1220.952
AT ITER 3265 NEW BEST:: SOT 10888 SOS 6960 HAS SOPS 1214 HAS SOUS 1437 HAS SOUPS 1212 WITH SCORE 1218.96
AT ITER 3328 NEW BEST:: SOT 10891 SOS 6963 HAS SOPS 1210 HAS SOUS 1433 HAS SOUPS 1208 WITH SCORE 1214.963
AT ITER 3348 NEW BEST:: SOT 10891 SOS 6962 HAS SOPS 1208 HAS SOUS 1431 HAS SOUPS 1206 WITH SCORE 1212.962
AT ITER 3463 NEW BEST:: SOT 10885 SOS 6963 HAS SOPS 1206 HAS SOUS 1429 HAS SOUPS 1204 WITH SCORE 1210.963
AT ITER 3479 NEW BEST:: SOT 10892 SOS 6959 HAS SOPS 1194 HAS SOUS 1417 HAS SOUPS 1192 WITH SCORE 1198.959
AT ITER 3514 NEW BEST:: SOT 10847 SOS 6941 HAS SOPS 1185 HAS SOUS 1408 HAS SOUPS 1183 WITH SCORE 1189.941
AT ITER 3540 NEW BEST:: SOT 10849 SOS 6934 HAS SOPS 1171 HAS SOUS 1394 HAS SOUPS 1169 WITH SCORE 1175.934
AT ITER 3604 NEW BEST:: SOT 10847 SOS 6931 HAS SOPS 1167 HAS SOUS 1390 HAS SOUPS 1165 WITH SCORE 1171.931
AT ITER 3624 NEW BEST:: SOT 10839 SOS 6924 HAS SOPS 1161 HAS SOUS 1384 HAS SOUPS 1159 WITH SCORE 1165.924
AT ITER 3717 NEW BEST:: SOT 10835 SOS 6920 HAS SOPS 1160 HAS SOUS 1383 HAS SOUPS 1158 WITH SCORE 1164.92
AT ITER 3804 NEW BEST:: SOT 10830 SOS 6915 HAS SOPS 1156 HAS SOUS 1379 HAS SOUPS 1154 WITH SCORE 1160.915
AT ITER 3810 NEW BEST:: SOT 10816 SOS 6908 HAS SOPS 1142 HAS SOUS 1365 HAS SOUPS 1140 WITH SCORE 1146.908
AT ITER 3830 NEW BEST:: SOT 10816 SOS 6907 HAS SOPS 1142 HAS SOUS 1365 HAS SOUPS 1140 WITH SCORE 1146.907
AT ITER 3860 NEW BEST:: SOT 10810 SOS 6904 HAS SOPS 1136 HAS SOUS 1359 HAS SOUPS 1134 WITH SCORE 1140.904
AT ITER 3959 NEW BEST:: SOT 10807 SOS 6901 HAS SOPS 1135 HAS SOUS 1358 HAS SOUPS 1133 WITH SCORE 1139.901
AT ITER 3961 NEW BEST:: SOT 10807 SOS 6901 HAS SOPS 1129 HAS SOUS 1352 HAS SOUPS 1127 WITH SCORE 1133.901
AT ITER 4035 NEW BEST:: SOT 10807 SOS 6901 HAS SOPS 1126 HAS SOUS 1349 HAS SOUPS 1124 WITH SCORE 1130.901
AT ITER 4039 NEW BEST:: SOT 10822 SOS 6907 HAS SOPS 1124 HAS SOUS 1348 HAS SOUPS 1122 WITH SCORE 1128.907
AT ITER 4110 NEW BEST:: SOT 10824 SOS 6909 HAS SOPS 1122 HAS SOUS 1346 HAS SOUPS 1120 WITH SCORE 1126.909
AT ITER 4112 NEW BEST:: SOT 10816 SOS 6909 HAS SOPS 1116 HAS SOUS 1340 HAS SOUPS 1114 WITH SCORE 1120.909
AT ITER 4138 NEW BEST:: SOT 10821 SOS 6908 HAS SOPS 1114 HAS SOUS 1338 HAS SOUPS 1112 WITH SCORE 1118.908
AT ITER 4169 NEW BEST:: SOT 10820 SOS 6907 HAS SOPS 1112 HAS SOUS 1336 HAS SOUPS 1110 WITH SCORE 1116.907
AT ITER 4185 NEW BEST:: SOT 10837 SOS 6898 HAS SOPS 1094 HAS SOUS 1318 HAS SOUPS 1092 WITH SCORE 1098.898
AT ITER 4256 NEW BEST:: SOT 10833 SOS 7025 HAS SOPS 1082 HAS SOUS 1310 HAS SOUPS 1080 WITH SCORE 1087.025
AT ITER 4273 NEW BEST:: SOT 10830 SOS 7022 HAS SOPS 1076 HAS SOUS 1304 HAS SOUPS 1074 WITH SCORE 1081.022
AT ITER 4315 NEW BEST:: SOT 10828 SOS 7021 HAS SOPS 1074 HAS SOUS 1302 HAS SOUPS 1072 WITH SCORE 1079.021
AT ITER 4357 NEW BEST:: SOT 10827 SOS 7020 HAS SOPS 1072 HAS SOUS 1300 HAS SOUPS 1070 WITH SCORE 1077.02
AT ITER 4418 NEW BEST:: SOT 10827 SOS 7016 HAS SOPS 1072 HAS SOUS 1300 HAS SOUPS 1070 WITH SCORE 1077.016
AT ITER 4435 NEW BEST:: SOT 10826 SOS 7015 HAS SOPS 1070 HAS SOUS 1298 HAS SOUPS 1068 WITH SCORE 1075.015
AT ITER 4686 NEW BEST:: SOT 10826 SOS 7014 HAS SOPS 1070 HAS SOUS 1298 HAS SOUPS 1068 WITH SCORE 1075.014
AT ITER 4872 NEW BEST:: SOT 10820 SOS 7008 HAS SOPS 1058 HAS SOUS 1286 HAS SOUPS 1056 WITH SCORE 1063.008
AT ITER 4911 NEW BEST:: SOT 10819 SOS 7005 HAS SOPS 1056 HAS SOUS 1284 HAS SOUPS 1054 WITH SCORE 1061.005
AT ITER 5008 NEW BEST:: SOT 10817 SOS 7005 HAS SOPS 1055 HAS SOUS 1283 HAS SOUPS 1053 WITH SCORE 1060.005
AT ITER 5021 NEW BEST:: SOT 10812 SOS 7000 HAS SOPS 1051 HAS SOUS 1279 HAS SOUPS 1049 WITH SCORE 1056.0
AT ITER 5045 NEW BEST:: SOT 10809 SOS 6997 HAS SOPS 1045 HAS SOUS 1273 HAS SOUPS 1043 WITH SCORE 1049.997
AT ITER 5074 NEW BEST:: SOT 10806 SOS 6996 HAS SOPS 1043 HAS SOUS 1271 HAS SOUPS 1041 WITH SCORE 1047.996
AT ITER 5125 NEW BEST:: SOT 10809 SOS 6996 HAS SOPS 1040 HAS SOUS 1268 HAS SOUPS 1038 WITH SCORE 1044.996
AT ITER 5266 NEW BEST:: SOT 10807 SOS 6994 HAS SOPS 1036 HAS SOUS 1264 HAS SOUPS 1034 WITH SCORE 1040.994
AT ITER 5351 NEW BEST:: SOT 10804 SOS 6988 HAS SOPS 1030 HAS SOUS 1258 HAS SOUPS 1028 WITH SCORE 1034.988
AT ITER 5376 NEW BEST:: SOT 10812 SOS 6996 HAS SOPS 1029 HAS SOUS 1257 HAS SOUPS 1027 WITH SCORE 1033.996
AT ITER 5405 NEW BEST:: SOT 10812 SOS 6993 HAS SOPS 1023 HAS SOUS 1251 HAS SOUPS 1021 WITH SCORE 1027.993
AT ITER 5444 NEW BEST:: SOT 10811 SOS 6992 HAS SOPS 1021 HAS SOUS 1249 HAS SOUPS 1019 WITH SCORE 1025.992
AT ITER 5481 NEW BEST:: SOT 10810 SOS 6991 HAS SOPS 1019 HAS SOUS 1247 HAS SOUPS 1017 WITH SCORE 1023.991
AT ITER 5538 NEW BEST:: SOT 10808 SOS 6990 HAS SOPS 1015 HAS SOUS 1243 HAS SOUPS 1013 WITH SCORE 1019.99
AT ITER 5630 NEW BEST:: SOT 10808 SOS 6988 HAS SOPS 1015 HAS SOUS 1243 HAS SOUPS 1013 WITH SCORE 1019.988
AT ITER 5633 NEW BEST:: SOT 10806 SOS 6986 HAS SOPS 1013 HAS SOUS 1241 HAS SOUPS 1011 WITH SCORE 1017.986
AT ITER 5731 NEW BEST:: SOT 10806 SOS 6985 HAS SOPS 1013 HAS SOUS 1241 HAS SOUPS 1011 WITH SCORE 1017.985
AT ITER 5954 NEW BEST:: SOT 10810 SOS 6984 HAS SOPS 1009 HAS SOUS 1237 HAS SOUPS 1007 WITH SCORE 1013.984
AT ITER 5975 NEW BEST:: SOT 10806 SOS 6979 HAS SOPS 1001 HAS SOUS 1229 HAS SOUPS 999 WITH SCORE 1005.979
AT ITER 5994 NEW BEST:: SOT 10807 SOS 6979 HAS SOPS 1000 HAS SOUS 1228 HAS SOUPS 998 WITH SCORE 1004.979
AT ITER 6084 NEW BEST:: SOT 10800 SOS 6972 HAS SOPS 986 HAS SOUS 1214 HAS SOUPS 984 WITH SCORE 990.972
AT ITER 6146 NEW BEST:: SOT 10802 SOS 6966 HAS SOPS 981 HAS SOUS 1209 HAS SOUPS 979 WITH SCORE 985.966
AT ITER 6209 NEW BEST:: SOT 10801 SOS 6965 HAS SOPS 979 HAS SOUS 1207 HAS SOUPS 977 WITH SCORE 983.965
AT ITER 6247 NEW BEST:: SOT 10793 SOS 6964 HAS SOPS 977 HAS SOUS 1205 HAS SOUPS 975 WITH SCORE 981.964
AT ITER 6478 NEW BEST:: SOT 10795 SOS 6962 HAS SOPS 973 HAS SOUS 1201 HAS SOUPS 971 WITH SCORE 977.962
AT ITER 6489 NEW BEST:: SOT 10793 SOS 6960 HAS SOPS 971 HAS SOUS 1199 HAS SOUPS 969 WITH SCORE 975.96
AT ITER 6496 NEW BEST:: SOT 10791 SOS 6958 HAS SOPS 967 HAS SOUS 1195 HAS SOUPS 965 WITH SCORE 971.958
AT ITER 6544 NEW BEST:: SOT 10788 SOS 6955 HAS SOPS 961 HAS SOUS 1189 HAS SOUPS 959 WITH SCORE 965.955
AT ITER 6545 NEW BEST:: SOT 10789 SOS 6955 HAS SOPS 957 HAS SOUS 1185 HAS SOUPS 955 WITH SCORE 961.955
AT ITER 6583 NEW BEST:: SOT 10792 SOS 6955 HAS SOPS 954 HAS SOUS 1182 HAS SOUPS 952 WITH SCORE 958.955
AT ITER 6654 NEW BEST:: SOT 10791 SOS 6952 HAS SOPS 952 HAS SOUS 1180 HAS SOUPS 950 WITH SCORE 956.952
AT ITER 7130 NEW BEST:: SOT 10784 SOS 6952 HAS SOPS 945 HAS SOUS 1173 HAS SOUPS 943 WITH SCORE 949.952
AT ITER 7161 NEW BEST:: SOT 10777 SOS 6950 HAS SOPS 943 HAS SOUS 1171 HAS SOUPS 941 WITH SCORE 947.95
AT ITER 7305 NEW BEST:: SOT 10777 SOS 6948 HAS SOPS 939 HAS SOUS 1167 HAS SOUPS 937 WITH SCORE 943.948
AT ITER 7315 NEW BEST:: SOT 10776 SOS 6946 HAS SOPS 937 HAS SOUS 1164 HAS SOUPS 935 WITH SCORE 941.946
AT ITER 7451 NEW BEST:: SOT 10776 SOS 6945 HAS SOPS 935 HAS SOUS 1162 HAS SOUPS 933 WITH SCORE 939.945
AT ITER 7501 NEW BEST:: SOT 10775 SOS 6943 HAS SOPS 933 HAS SOUS 1160 HAS SOUPS 931 WITH SCORE 937.943
AT ITER 7705 NEW BEST:: SOT 10792 SOS 6948 HAS SOPS 931 HAS SOUS 1158 HAS SOUPS 929 WITH SCORE 935.948
AT ITER 8212 NEW BEST:: SOT 10794 SOS 6950 HAS SOPS 924 HAS SOUS 1151 HAS SOUPS 922 WITH SCORE 928.95
AT ITER 8462 NEW BEST:: SOT 10794 SOS 6949 HAS SOPS 920 HAS SOUS 1147 HAS SOUPS 918 WITH SCORE 924.949
AT ITER 8473 NEW BEST:: SOT 10790 SOS 6947 HAS SOPS 915 HAS SOUS 1142 HAS SOUPS 913 WITH SCORE 919.947
AT ITER 8714 NEW BEST:: SOT 10789 SOS 6946 HAS SOPS 914 HAS SOUS 1141 HAS SOUPS 912 WITH SCORE 918.946
AT ITER 8867 NEW BEST:: SOT 10789 SOS 6945 HAS SOPS 914 HAS SOUS 1141 HAS SOUPS 912 WITH SCORE 918.945
AT ITER 9003 NEW BEST:: SOT 10792 SOS 6948 HAS SOPS 912 HAS SOUS 1139 HAS SOUPS 910 WITH SCORE 916.948
AT ITER 9008 NEW BEST:: SOT 10790 SOS 6946 HAS SOPS 908 HAS SOUS 1135 HAS SOUPS 906 WITH SCORE 912.946
AT ITER 9263 NEW BEST:: SOT 10788 SOS 6943 HAS SOPS 904 HAS SOUS 1131 HAS SOUPS 902 WITH SCORE 908.943
AT ITER 9321 NEW BEST:: SOT 10779 SOS 6940 HAS SOPS 901 HAS SOUS 1128 HAS SOUPS 899 WITH SCORE 905.94
AT ITER 9370 NEW BEST:: SOT 10777 SOS 6937 HAS SOPS 897 HAS SOUS 1124 HAS SOUPS 895 WITH SCORE 901.937
AT ITER 9423 NEW BEST:: SOT 10776 SOS 6936 HAS SOPS 895 HAS SOUS 1122 HAS SOUPS 893 WITH SCORE 899.936
AT ITER 9553 NEW BEST:: SOT 10774 SOS 6935 HAS SOPS 893 HAS SOUS 1120 HAS SOUPS 891 WITH SCORE 897.935
AT ITER 9576 NEW BEST:: SOT 10773 SOS 6934 HAS SOPS 891 HAS SOUS 1118 HAS SOUPS 889 WITH SCORE 895.934
AT ITER 9878 NEW BEST:: SOT 10771 SOS 6932 HAS SOPS 887 HAS SOUS 1114 HAS SOUPS 885 WITH SCORE 891.932
STATE_SPACE STATES 3138428376722 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 14 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 47932360662649 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679896881638

--------------------
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="DiscoveryGPU-PT-12a"
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 DiscoveryGPU-PT-12a, 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 r131-smll-167819407500384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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