Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469700624.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPt-PT-004A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469700624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.3K May 14 01:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 01:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 19:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 19:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 13 08:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K May 13 08:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 27K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590446622150

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

Filename model.pnml
Petri model created: 103 places, 75 transitions, 294 arcs.
AT ITER 0 NEW BEST:: SOT 6320 SOS 5279 HAS SOPS 5279 HAS SOUS 4323 HAS SOUPS 4323 WITH SCORE 4328.279
AT ITER 1 NEW BEST:: SOT 6233 SOS 5219 HAS SOPS 5219 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4266.219
AT ITER 2 NEW BEST:: SOT 6107 SOS 5033 HAS SOPS 5033 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4126.033
AT ITER 3 NEW BEST:: SOT 6107 SOS 4989 HAS SOPS 4989 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4122.989
AT ITER 4 NEW BEST:: SOT 5983 SOS 4863 HAS SOPS 4863 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.863
AT ITER 6 NEW BEST:: SOT 5890 SOS 4768 HAS SOPS 4768 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3978.768
AT ITER 8 NEW BEST:: SOT 5890 SOS 4626 HAS SOPS 4626 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3972.626
AT ITER 11 NEW BEST:: SOT 5890 SOS 4518 HAS SOPS 4518 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3927.518
AT ITER 13 NEW BEST:: SOT 5849 SOS 4528 HAS SOPS 4528 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.528
AT ITER 14 NEW BEST:: SOT 5840 SOS 4523 HAS SOPS 4523 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3873.523
AT ITER 15 NEW BEST:: SOT 5826 SOS 4501 HAS SOPS 4501 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3851.501
AT ITER 18 NEW BEST:: SOT 5780 SOS 4397 HAS SOPS 4397 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3773.397
AT ITER 20 NEW BEST:: SOT 5735 SOS 4352 HAS SOPS 4352 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3728.352
AT ITER 21 NEW BEST:: SOT 5643 SOS 4254 HAS SOPS 4254 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3675.254
AT ITER 22 NEW BEST:: SOT 5600 SOS 4211 HAS SOPS 4211 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3632.211
AT ITER 23 NEW BEST:: SOT 5600 SOS 4169 HAS SOPS 4169 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3632.169
AT ITER 25 NEW BEST:: SOT 5597 SOS 4165 HAS SOPS 4165 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3620.165
AT ITER 26 NEW BEST:: SOT 5556 SOS 4134 HAS SOPS 4134 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3589.134
AT ITER 30 NEW BEST:: SOT 5556 SOS 4105 HAS SOPS 4105 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3578.105
AT ITER 34 NEW BEST:: SOT 5508 SOS 4056 HAS SOPS 4056 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3528.056
AT ITER 43 NEW BEST:: SOT 5483 SOS 4031 HAS SOPS 4031 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3502.031
AT ITER 45 NEW BEST:: SOT 5394 SOS 3904 HAS SOPS 3904 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3386.904
AT ITER 47 NEW BEST:: SOT 5392 SOS 3851 HAS SOPS 3851 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3374.851
AT ITER 51 NEW BEST:: SOT 5391 SOS 3847 HAS SOPS 3847 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3370.847
AT ITER 52 NEW BEST:: SOT 5381 SOS 3837 HAS SOPS 3837 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3360.837
AT ITER 53 NEW BEST:: SOT 5384 SOS 3799 HAS SOPS 3799 HAS SOUS 3356 HAS SOUPS 3356 WITH SCORE 3359.799
AT ITER 63 NEW BEST:: SOT 5383 SOS 3779 HAS SOPS 3779 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3302.779
AT ITER 65 NEW BEST:: SOT 5382 SOS 3668 HAS SOPS 3668 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3298.668
AT ITER 67 NEW BEST:: SOT 5382 SOS 3665 HAS SOPS 3665 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.665
AT ITER 74 NEW BEST:: SOT 5340 SOS 3556 HAS SOPS 3556 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3215.556
AT ITER 82 NEW BEST:: SOT 5330 SOS 3538 HAS SOPS 3538 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3197.538
AT ITER 85 NEW BEST:: SOT 5244 SOS 3258 HAS SOPS 3258 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3005.258
AT ITER 86 NEW BEST:: SOT 5205 SOS 3248 HAS SOPS 3248 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2993.248
AT ITER 88 NEW BEST:: SOT 5204 SOS 3240 HAS SOPS 3240 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2985.24
AT ITER 90 NEW BEST:: SOT 5203 SOS 3239 HAS SOPS 3239 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2982.239
AT ITER 96 NEW BEST:: SOT 5216 SOS 3232 HAS SOPS 3232 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2978.232
AT ITER 98 NEW BEST:: SOT 5202 SOS 3212 HAS SOPS 3212 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2958.212
AT ITER 102 NEW BEST:: SOT 5202 SOS 3212 HAS SOPS 3212 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2955.212
AT ITER 104 NEW BEST:: SOT 5168 SOS 3124 HAS SOPS 3124 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2881.124
AT ITER 108 NEW BEST:: SOT 5149 SOS 3105 HAS SOPS 3105 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2862.105
AT ITER 121 NEW BEST:: SOT 5147 SOS 3097 HAS SOPS 3097 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.097
AT ITER 122 NEW BEST:: SOT 5139 SOS 3083 HAS SOPS 3083 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.083
AT ITER 124 NEW BEST:: SOT 5139 SOS 3081 HAS SOPS 3081 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2838.081
AT ITER 138 NEW BEST:: SOT 5194 SOS 3133 HAS SOPS 3133 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2837.133
AT ITER 150 NEW BEST:: SOT 5188 SOS 3111 HAS SOPS 3111 HAS SOUS 2820 HAS SOUPS 2820 WITH SCORE 2823.111
AT ITER 151 NEW BEST:: SOT 5187 SOS 3108 HAS SOPS 3108 HAS SOUS 2817 HAS SOUPS 2817 WITH SCORE 2820.108
AT ITER 154 NEW BEST:: SOT 5174 SOS 3100 HAS SOPS 3100 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2808.1
AT ITER 155 NEW BEST:: SOT 5182 SOS 3058 HAS SOPS 3058 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2795.058
AT ITER 156 NEW BEST:: SOT 5179 SOS 3041 HAS SOPS 3041 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2785.041
AT ITER 160 NEW BEST:: SOT 5145 SOS 2983 HAS SOPS 2983 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2726.983
AT ITER 162 NEW BEST:: SOT 5139 SOS 2977 HAS SOPS 2977 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2720.977
AT ITER 163 NEW BEST:: SOT 5131 SOS 2969 HAS SOPS 2969 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2712.969
AT ITER 164 NEW BEST:: SOT 5133 SOS 2965 HAS SOPS 2965 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2711.965
AT ITER 165 NEW BEST:: SOT 5116 SOS 2947 HAS SOPS 2947 HAS SOUS 2691 HAS SOUPS 2691 WITH SCORE 2693.947
AT ITER 167 NEW BEST:: SOT 5120 SOS 2943 HAS SOPS 2943 HAS SOUS 2690 HAS SOUPS 2690 WITH SCORE 2692.943
AT ITER 170 NEW BEST:: SOT 5128 SOS 2931 HAS SOPS 2931 HAS SOUS 2681 HAS SOUPS 2681 WITH SCORE 2683.931
AT ITER 173 NEW BEST:: SOT 5122 SOS 2924 HAS SOPS 2924 HAS SOUS 2674 HAS SOUPS 2674 WITH SCORE 2676.924
AT ITER 185 NEW BEST:: SOT 5106 SOS 2844 HAS SOPS 2844 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2628.844
AT ITER 190 NEW BEST:: SOT 5106 SOS 2838 HAS SOPS 2838 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2619.838
AT ITER 192 NEW BEST:: SOT 5063 SOS 2795 HAS SOPS 2795 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2580.795
AT ITER 194 NEW BEST:: SOT 5060 SOS 2792 HAS SOPS 2792 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2577.792
AT ITER 195 NEW BEST:: SOT 5055 SOS 2756 HAS SOPS 2756 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2555.756
AT ITER 198 NEW BEST:: SOT 5055 SOS 2724 HAS SOPS 2724 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2552.724
AT ITER 201 NEW BEST:: SOT 5054 SOS 2723 HAS SOPS 2723 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2551.723
AT ITER 207 NEW BEST:: SOT 5047 SOS 2671 HAS SOPS 2671 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2502.671
AT ITER 209 NEW BEST:: SOT 5045 SOS 2670 HAS SOPS 2670 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.67
AT ITER 211 NEW BEST:: SOT 5042 SOS 2653 HAS SOPS 2653 HAS SOUS 2478 HAS SOUPS 2478 WITH SCORE 2480.653
AT ITER 213 NEW BEST:: SOT 5042 SOS 2642 HAS SOPS 2642 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.642
AT ITER 217 NEW BEST:: SOT 5029 SOS 2697 HAS SOPS 2697 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2469.697
AT ITER 219 NEW BEST:: SOT 4985 SOS 2635 HAS SOPS 2635 HAS SOUS 2425 HAS SOUPS 2425 WITH SCORE 2427.635
AT ITER 231 NEW BEST:: SOT 4981 SOS 2623 HAS SOPS 2623 HAS SOUS 2417 HAS SOUPS 2417 WITH SCORE 2419.623
AT ITER 240 NEW BEST:: SOT 4969 SOS 2604 HAS SOPS 2604 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2400.604
AT ITER 245 NEW BEST:: SOT 4966 SOS 2601 HAS SOPS 2601 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2397.601
AT ITER 251 NEW BEST:: SOT 4966 SOS 2590 HAS SOPS 2590 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2393.59
AT ITER 257 NEW BEST:: SOT 4966 SOS 2586 HAS SOPS 2586 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2389.586
AT ITER 265 NEW BEST:: SOT 4966 SOS 2547 HAS SOPS 2547 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.547
AT ITER 274 NEW BEST:: SOT 4966 SOS 2545 HAS SOPS 2545 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.545
AT ITER 278 NEW BEST:: SOT 4962 SOS 2518 HAS SOPS 2518 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2349.518
AT ITER 281 NEW BEST:: SOT 4962 SOS 2515 HAS SOPS 2515 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2346.515
AT ITER 286 NEW BEST:: SOT 4948 SOS 2445 HAS SOPS 2445 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.445
AT ITER 291 NEW BEST:: SOT 4938 SOS 2442 HAS SOPS 2442 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.442
AT ITER 294 NEW BEST:: SOT 4944 SOS 2421 HAS SOPS 2421 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2277.421
AT ITER 297 NEW BEST:: SOT 4944 SOS 2414 HAS SOPS 2414 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.414
AT ITER 304 NEW BEST:: SOT 4941 SOS 2402 HAS SOPS 2402 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2264.402
AT ITER 307 NEW BEST:: SOT 4936 SOS 2397 HAS SOPS 2397 HAS SOUS 2257 HAS SOUPS 2257 WITH SCORE 2259.397
AT ITER 319 NEW BEST:: SOT 4920 SOS 2381 HAS SOPS 2381 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2252.381
AT ITER 321 NEW BEST:: SOT 4905 SOS 2345 HAS SOPS 2345 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2222.345
AT ITER 333 NEW BEST:: SOT 4905 SOS 2339 HAS SOPS 2339 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2219.339
AT ITER 344 NEW BEST:: SOT 4897 SOS 2336 HAS SOPS 2336 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2216.336
AT ITER 348 NEW BEST:: SOT 4886 SOS 2319 HAS SOPS 2319 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.319
AT ITER 355 NEW BEST:: SOT 4886 SOS 2319 HAS SOPS 2319 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.319
AT ITER 367 NEW BEST:: SOT 4879 SOS 2311 HAS SOPS 2311 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.311
AT ITER 376 NEW BEST:: SOT 4879 SOS 2307 HAS SOPS 2307 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.307
AT ITER 379 NEW BEST:: SOT 4879 SOS 2305 HAS SOPS 2305 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2167.305
AT ITER 380 NEW BEST:: SOT 4881 SOS 2294 HAS SOPS 2294 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2158.294
AT ITER 396 NEW BEST:: SOT 4881 SOS 2283 HAS SOPS 2283 HAS SOUS 2145 HAS SOUPS 2145 WITH SCORE 2147.283
AT ITER 397 NEW BEST:: SOT 4878 SOS 2271 HAS SOPS 2271 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2138.271
AT ITER 400 NEW BEST:: SOT 4878 SOS 2269 HAS SOPS 2269 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2134.269
AT ITER 401 NEW BEST:: SOT 4866 SOS 2257 HAS SOPS 2257 HAS SOUS 2118 HAS SOUPS 2118 WITH SCORE 2120.257
AT ITER 405 NEW BEST:: SOT 4856 SOS 2243 HAS SOPS 2243 HAS SOUS 2087 HAS SOUPS 2087 WITH SCORE 2089.243
AT ITER 417 NEW BEST:: SOT 4856 SOS 2184 HAS SOPS 2184 HAS SOUS 2077 HAS SOUPS 2077 WITH SCORE 2079.184
AT ITER 428 NEW BEST:: SOT 4856 SOS 2182 HAS SOPS 2182 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2077.182
AT ITER 435 NEW BEST:: SOT 4855 SOS 2181 HAS SOPS 2181 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2074.181
AT ITER 437 NEW BEST:: SOT 4855 SOS 2173 HAS SOPS 2173 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.173
AT ITER 458 NEW BEST:: SOT 4855 SOS 2167 HAS SOPS 2167 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.167
AT ITER 475 NEW BEST:: SOT 4847 SOS 2159 HAS SOPS 2159 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2056.159
AT ITER 476 NEW BEST:: SOT 4829 SOS 2148 HAS SOPS 2148 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2048.148
AT ITER 510 NEW BEST:: SOT 4825 SOS 2140 HAS SOPS 2140 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.14
AT ITER 515 NEW BEST:: SOT 4828 SOS 2158 HAS SOPS 2158 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2029.158
AT ITER 516 NEW BEST:: SOT 4804 SOS 2134 HAS SOPS 2134 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2005.134
AT ITER 525 NEW BEST:: SOT 4791 SOS 2120 HAS SOPS 2120 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.12
AT ITER 533 NEW BEST:: SOT 4788 SOS 2117 HAS SOPS 2117 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.117
AT ITER 535 NEW BEST:: SOT 4785 SOS 2111 HAS SOPS 2111 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1993.111
AT ITER 538 NEW BEST:: SOT 4767 SOS 2093 HAS SOPS 2093 HAS SOUS 1988 HAS SOUPS 1988 WITH SCORE 1990.093
AT ITER 540 NEW BEST:: SOT 4765 SOS 2075 HAS SOPS 2075 HAS SOUS 1968 HAS SOUPS 1968 WITH SCORE 1970.075
AT ITER 552 NEW BEST:: SOT 4749 SOS 2059 HAS SOPS 2059 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1954.059
AT ITER 556 NEW BEST:: SOT 4745 SOS 2056 HAS SOPS 2056 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.056
AT ITER 562 NEW BEST:: SOT 4741 SOS 2014 HAS SOPS 2014 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1911.014
AT ITER 573 NEW BEST:: SOT 4716 SOS 1945 HAS SOPS 1945 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1857.945
AT ITER 595 NEW BEST:: SOT 4700 SOS 1929 HAS SOPS 1929 HAS SOUS 1837 HAS SOUPS 1837 WITH SCORE 1838.929
AT ITER 609 NEW BEST:: SOT 4700 SOS 1926 HAS SOPS 1926 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1836.926
AT ITER 623 NEW BEST:: SOT 4699 SOS 1920 HAS SOPS 1920 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1830.92
AT ITER 638 NEW BEST:: SOT 4695 SOS 1899 HAS SOPS 1899 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1817.899
AT ITER 640 NEW BEST:: SOT 4700 SOS 1896 HAS SOPS 1896 HAS SOUS 1813 HAS SOUPS 1813 WITH SCORE 1814.896
AT ITER 642 NEW BEST:: SOT 4699 SOS 1893 HAS SOPS 1893 HAS SOUS 1810 HAS SOUPS 1810 WITH SCORE 1811.893
AT ITER 686 NEW BEST:: SOT 4721 SOS 1880 HAS SOPS 1880 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1808.88
AT ITER 697 NEW BEST:: SOT 4731 SOS 1880 HAS SOPS 1880 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1804.88
AT ITER 702 NEW BEST:: SOT 4726 SOS 1873 HAS SOPS 1873 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1797.873
AT ITER 728 NEW BEST:: SOT 4720 SOS 1866 HAS SOPS 1866 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1790.866
AT ITER 750 NEW BEST:: SOT 4714 SOS 1870 HAS SOPS 1870 HAS SOUS 1787 HAS SOUPS 1787 WITH SCORE 1788.87
AT ITER 764 NEW BEST:: SOT 4709 SOS 1863 HAS SOPS 1863 HAS SOUS 1780 HAS SOUPS 1780 WITH SCORE 1781.863
AT ITER 767 NEW BEST:: SOT 4699 SOS 1852 HAS SOPS 1852 HAS SOUS 1769 HAS SOUPS 1769 WITH SCORE 1770.852
AT ITER 772 NEW BEST:: SOT 4696 SOS 1845 HAS SOPS 1845 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1759.845
AT ITER 778 NEW BEST:: SOT 4693 SOS 1842 HAS SOPS 1842 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1756.842
AT ITER 785 NEW BEST:: SOT 4681 SOS 1827 HAS SOPS 1827 HAS SOUS 1740 HAS SOUPS 1740 WITH SCORE 1741.827
AT ITER 799 NEW BEST:: SOT 4659 SOS 1809 HAS SOPS 1809 HAS SOUS 1721 HAS SOUPS 1721 WITH SCORE 1722.809
AT ITER 803 NEW BEST:: SOT 4629 SOS 1779 HAS SOPS 1779 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1692.779
AT ITER 814 NEW BEST:: SOT 4609 SOS 1753 HAS SOPS 1753 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1666.753
AT ITER 817 NEW BEST:: SOT 4604 SOS 1748 HAS SOPS 1748 HAS SOUS 1663 HAS SOUPS 1663 WITH SCORE 1664.748
AT ITER 820 NEW BEST:: SOT 4603 SOS 1737 HAS SOPS 1737 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1658.737
AT ITER 835 NEW BEST:: SOT 4600 SOS 1738 HAS SOPS 1738 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1657.738
AT ITER 881 NEW BEST:: SOT 4594 SOS 1734 HAS SOPS 1734 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1653.734
AT ITER 883 NEW BEST:: SOT 4594 SOS 1734 HAS SOPS 1734 HAS SOUS 1648 HAS SOUPS 1648 WITH SCORE 1649.734
AT ITER 897 NEW BEST:: SOT 4585 SOS 1700 HAS SOPS 1700 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1624.7
AT ITER 920 NEW BEST:: SOT 4588 SOS 1691 HAS SOPS 1691 HAS SOUS 1618 HAS SOUPS 1618 WITH SCORE 1619.691
AT ITER 943 NEW BEST:: SOT 4582 SOS 1684 HAS SOPS 1684 HAS SOUS 1611 HAS SOUPS 1611 WITH SCORE 1612.684
AT ITER 959 NEW BEST:: SOT 4578 SOS 1674 HAS SOPS 1674 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1606.674
AT ITER 972 NEW BEST:: SOT 4575 SOS 1666 HAS SOPS 1666 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1598.666
AT ITER 993 NEW BEST:: SOT 4573 SOS 1664 HAS SOPS 1664 HAS SOUS 1593 HAS SOUPS 1593 WITH SCORE 1594.664
AT ITER 994 NEW BEST:: SOT 4572 SOS 1663 HAS SOPS 1663 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1593.663
AT ITER 1028 NEW BEST:: SOT 4564 SOS 1666 HAS SOPS 1666 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1579.666
AT ITER 1036 NEW BEST:: SOT 4555 SOS 1658 HAS SOPS 1658 HAS SOUS 1573 HAS SOUPS 1573 WITH SCORE 1574.658
AT ITER 1080 NEW BEST:: SOT 4552 SOS 1657 HAS SOPS 1657 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1573.657
AT ITER 1088 NEW BEST:: SOT 4549 SOS 1652 HAS SOPS 1652 HAS SOUS 1564 HAS SOUPS 1564 WITH SCORE 1565.652
AT ITER 1116 NEW BEST:: SOT 4549 SOS 1652 HAS SOPS 1652 HAS SOUS 1563 HAS SOUPS 1563 WITH SCORE 1564.652
AT ITER 1121 NEW BEST:: SOT 4542 SOS 1645 HAS SOPS 1645 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1560.645
AT ITER 1130 NEW BEST:: SOT 4544 SOS 1643 HAS SOPS 1643 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1560.643
AT ITER 1154 NEW BEST:: SOT 4541 SOS 1633 HAS SOPS 1633 HAS SOUS 1549 HAS SOUPS 1549 WITH SCORE 1550.633
AT ITER 1210 NEW BEST:: SOT 4540 SOS 1626 HAS SOPS 1626 HAS SOUS 1544 HAS SOUPS 1544 WITH SCORE 1545.626
AT ITER 1270 NEW BEST:: SOT 4539 SOS 1625 HAS SOPS 1625 HAS SOUS 1543 HAS SOUPS 1543 WITH SCORE 1544.625
AT ITER 1291 NEW BEST:: SOT 4536 SOS 1620 HAS SOPS 1620 HAS SOUS 1538 HAS SOUPS 1538 WITH SCORE 1539.62
AT ITER 1298 NEW BEST:: SOT 4535 SOS 1618 HAS SOPS 1618 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1537.618
AT ITER 1315 NEW BEST:: SOT 4536 SOS 1619 HAS SOPS 1619 HAS SOUS 1535 HAS SOUPS 1535 WITH SCORE 1536.619
AT ITER 1331 NEW BEST:: SOT 4534 SOS 1620 HAS SOPS 1620 HAS SOUS 1532 HAS SOUPS 1532 WITH SCORE 1533.62
AT ITER 1356 NEW BEST:: SOT 4525 SOS 1603 HAS SOPS 1603 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1516.603
AT ITER 1375 NEW BEST:: SOT 4517 SOS 1591 HAS SOPS 1591 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1504.591
AT ITER 1377 NEW BEST:: SOT 4514 SOS 1588 HAS SOPS 1588 HAS SOUS 1500 HAS SOUPS 1500 WITH SCORE 1501.588
AT ITER 1378 NEW BEST:: SOT 4513 SOS 1586 HAS SOPS 1586 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1499.586
AT ITER 1421 NEW BEST:: SOT 4511 SOS 1584 HAS SOPS 1584 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.584
AT ITER 1422 NEW BEST:: SOT 4508 SOS 1581 HAS SOPS 1581 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1491.581
AT ITER 1427 NEW BEST:: SOT 4501 SOS 1572 HAS SOPS 1572 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1485.572
AT ITER 1490 NEW BEST:: SOT 4499 SOS 1570 HAS SOPS 1570 HAS SOUS 1481 HAS SOUPS 1481 WITH SCORE 1482.57
AT ITER 1493 NEW BEST:: SOT 4493 SOS 1558 HAS SOPS 1558 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1470.558
AT ITER 1602 NEW BEST:: SOT 4485 SOS 1540 HAS SOPS 1540 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1452.54
AT ITER 1775 NEW BEST:: SOT 4486 SOS 1538 HAS SOPS 1538 HAS SOUS 1449 HAS SOUPS 1449 WITH SCORE 1450.538
AT ITER 1795 NEW BEST:: SOT 4485 SOS 1537 HAS SOPS 1537 HAS SOUS 1448 HAS SOUPS 1448 WITH SCORE 1449.537
AT ITER 1816 NEW BEST:: SOT 4487 SOS 1536 HAS SOPS 1536 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1448.536
AT ITER 1853 NEW BEST:: SOT 4486 SOS 1535 HAS SOPS 1535 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1447.535
AT ITER 1862 NEW BEST:: SOT 4483 SOS 1526 HAS SOPS 1526 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1441.526
AT ITER 1941 NEW BEST:: SOT 4489 SOS 1525 HAS SOPS 1525 HAS SOUS 1439 HAS SOUPS 1439 WITH SCORE 1440.525
AT ITER 2001 NEW BEST:: SOT 4486 SOS 1522 HAS SOPS 1522 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1437.522
AT ITER 2029 NEW BEST:: SOT 4481 SOS 1513 HAS SOPS 1513 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1428.513
AT ITER 2047 NEW BEST:: SOT 4479 SOS 1511 HAS SOPS 1511 HAS SOUS 1425 HAS SOUPS 1425 WITH SCORE 1426.511
AT ITER 2077 NEW BEST:: SOT 4481 SOS 1510 HAS SOPS 1510 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1425.51
AT ITER 2110 NEW BEST:: SOT 4480 SOS 1509 HAS SOPS 1509 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1424.509
AT ITER 2112 NEW BEST:: SOT 4479 SOS 1508 HAS SOPS 1508 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1423.508
AT ITER 2397 NEW BEST:: SOT 4479 SOS 1507 HAS SOPS 1507 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1422.507
AT ITER 2425 NEW BEST:: SOT 4478 SOS 1501 HAS SOPS 1501 HAS SOUS 1419 HAS SOUPS 1419 WITH SCORE 1420.501
AT ITER 2458 NEW BEST:: SOT 4465 SOS 1499 HAS SOPS 1499 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1418.499
AT ITER 2473 NEW BEST:: SOT 4469 SOS 1496 HAS SOPS 1496 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1415.496
AT ITER 2483 NEW BEST:: SOT 4467 SOS 1494 HAS SOPS 1494 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1413.494
AT ITER 2493 NEW BEST:: SOT 4467 SOS 1493 HAS SOPS 1493 HAS SOUS 1411 HAS SOUPS 1411 WITH SCORE 1412.493
AT ITER 2500 NEW BEST:: SOT 4466 SOS 1489 HAS SOPS 1489 HAS SOUS 1408 HAS SOUPS 1408 WITH SCORE 1409.489
AT ITER 2587 NEW BEST:: SOT 4462 SOS 1484 HAS SOPS 1484 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1404.484
AT ITER 2596 NEW BEST:: SOT 4458 SOS 1480 HAS SOPS 1480 HAS SOUS 1401 HAS SOUPS 1401 WITH SCORE 1402.48
AT ITER 2613 NEW BEST:: SOT 4458 SOS 1479 HAS SOPS 1479 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1401.479
AT ITER 2647 NEW BEST:: SOT 4460 SOS 1475 HAS SOPS 1475 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1397.475
AT ITER 2698 NEW BEST:: SOT 4460 SOS 1479 HAS SOPS 1479 HAS SOUS 1395 HAS SOUPS 1395 WITH SCORE 1396.479
AT ITER 2702 NEW BEST:: SOT 4458 SOS 1477 HAS SOPS 1477 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1394.477
AT ITER 2724 NEW BEST:: SOT 4447 SOS 1471 HAS SOPS 1471 HAS SOUS 1387 HAS SOUPS 1387 WITH SCORE 1388.471
AT ITER 2770 NEW BEST:: SOT 4450 SOS 1472 HAS SOPS 1472 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1386.472
AT ITER 2786 NEW BEST:: SOT 4450 SOS 1471 HAS SOPS 1471 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1385.471
AT ITER 2804 NEW BEST:: SOT 4447 SOS 1466 HAS SOPS 1466 HAS SOUS 1379 HAS SOUPS 1379 WITH SCORE 1380.466
AT ITER 2867 NEW BEST:: SOT 4447 SOS 1466 HAS SOPS 1466 HAS SOUS 1378 HAS SOUPS 1378 WITH SCORE 1379.466
AT ITER 2910 NEW BEST:: SOT 4441 SOS 1460 HAS SOPS 1460 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1372.46
AT ITER 2929 NEW BEST:: SOT 4440 SOS 1458 HAS SOPS 1458 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1370.458
AT ITER 3037 NEW BEST:: SOT 4436 SOS 1455 HAS SOPS 1455 HAS SOUS 1364 HAS SOUPS 1364 WITH SCORE 1365.455
AT ITER 3038 NEW BEST:: SOT 4433 SOS 1448 HAS SOPS 1448 HAS SOUS 1357 HAS SOUPS 1357 WITH SCORE 1358.448
AT ITER 3197 NEW BEST:: SOT 4431 SOS 1443 HAS SOPS 1443 HAS SOUS 1355 HAS SOUPS 1355 WITH SCORE 1356.443
AT ITER 3232 NEW BEST:: SOT 4429 SOS 1441 HAS SOPS 1441 HAS SOUS 1353 HAS SOUPS 1353 WITH SCORE 1354.441
AT ITER 3283 NEW BEST:: SOT 4427 SOS 1436 HAS SOPS 1436 HAS SOUS 1349 HAS SOUPS 1349 WITH SCORE 1350.436
AT ITER 3306 NEW BEST:: SOT 4426 SOS 1435 HAS SOPS 1435 HAS SOUS 1348 HAS SOUPS 1348 WITH SCORE 1349.435
AT ITER 3566 NEW BEST:: SOT 4426 SOS 1435 HAS SOPS 1435 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1348.435
AT ITER 3684 NEW BEST:: SOT 4427 SOS 1433 HAS SOPS 1433 HAS SOUS 1346 HAS SOUPS 1346 WITH SCORE 1347.433
AT ITER 3746 NEW BEST:: SOT 4428 SOS 1432 HAS SOPS 1432 HAS SOUS 1345 HAS SOUPS 1345 WITH SCORE 1346.432
AT ITER 3846 NEW BEST:: SOT 4424 SOS 1431 HAS SOPS 1431 HAS SOUS 1344 HAS SOUPS 1344 WITH SCORE 1345.431
AT ITER 3848 NEW BEST:: SOT 4424 SOS 1428 HAS SOPS 1428 HAS SOUS 1341 HAS SOUPS 1341 WITH SCORE 1342.428
AT ITER 3901 NEW BEST:: SOT 4422 SOS 1426 HAS SOPS 1426 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1340.426
AT ITER 3911 NEW BEST:: SOT 4420 SOS 1424 HAS SOPS 1424 HAS SOUS 1337 HAS SOUPS 1337 WITH SCORE 1338.424
AT ITER 4106 NEW BEST:: SOT 4426 SOS 1421 HAS SOPS 1421 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1335.421
AT ITER 4158 NEW BEST:: SOT 4425 SOS 1421 HAS SOPS 1421 HAS SOUS 1333 HAS SOUPS 1333 WITH SCORE 1334.421
AT ITER 4241 NEW BEST:: SOT 4424 SOS 1420 HAS SOPS 1420 HAS SOUS 1332 HAS SOUPS 1332 WITH SCORE 1333.42
AT ITER 4360 NEW BEST:: SOT 4420 SOS 1419 HAS SOPS 1419 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1332.419
AT ITER 4425 NEW BEST:: SOT 4418 SOS 1411 HAS SOPS 1411 HAS SOUS 1330 HAS SOUPS 1330 WITH SCORE 1331.411
AT ITER 4539 NEW BEST:: SOT 4419 SOS 1409 HAS SOPS 1409 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1329.409
AT ITER 4569 NEW BEST:: SOT 4417 SOS 1398 HAS SOPS 1398 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1324.398
AT ITER 4595 NEW BEST:: SOT 4417 SOS 1398 HAS SOPS 1398 HAS SOUS 1322 HAS SOUPS 1322 WITH SCORE 1323.398
AT ITER 4704 NEW BEST:: SOT 4416 SOS 1395 HAS SOPS 1395 HAS SOUS 1319 HAS SOUPS 1319 WITH SCORE 1320.395
AT ITER 4726 NEW BEST:: SOT 4410 SOS 1389 HAS SOPS 1389 HAS SOUS 1307 HAS SOUPS 1307 WITH SCORE 1308.389
AT ITER 4745 NEW BEST:: SOT 4410 SOS 1383 HAS SOPS 1383 HAS SOUS 1303 HAS SOUPS 1303 WITH SCORE 1304.383
AT ITER 4844 NEW BEST:: SOT 4413 SOS 1382 HAS SOPS 1382 HAS SOUS 1302 HAS SOUPS 1302 WITH SCORE 1303.382
AT ITER 4876 NEW BEST:: SOT 4408 SOS 1371 HAS SOPS 1371 HAS SOUS 1292 HAS SOUPS 1292 WITH SCORE 1293.371
AT ITER 5212 NEW BEST:: SOT 4407 SOS 1370 HAS SOPS 1370 HAS SOUS 1291 HAS SOUPS 1291 WITH SCORE 1292.37
AT ITER 5279 NEW BEST:: SOT 4407 SOS 1369 HAS SOPS 1369 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1290.369
AT ITER 5327 NEW BEST:: SOT 4407 SOS 1367 HAS SOPS 1367 HAS SOUS 1287 HAS SOUPS 1287 WITH SCORE 1288.367
AT ITER 5425 NEW BEST:: SOT 4406 SOS 1366 HAS SOPS 1366 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1287.366
AT ITER 5715 NEW BEST:: SOT 4405 SOS 1365 HAS SOPS 1365 HAS SOUS 1285 HAS SOUPS 1285 WITH SCORE 1286.365
AT ITER 6101 NEW BEST:: SOT 4405 SOS 1359 HAS SOPS 1359 HAS SOUS 1277 HAS SOUPS 1277 WITH SCORE 1278.359
AT ITER 6291 NEW BEST:: SOT 4404 SOS 1356 HAS SOPS 1356 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.356
AT ITER 6327 NEW BEST:: SOT 4402 SOS 1351 HAS SOPS 1351 HAS SOUS 1270 HAS SOUPS 1270 WITH SCORE 1271.351
AT ITER 6397 NEW BEST:: SOT 4397 SOS 1346 HAS SOPS 1346 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1266.346
AT ITER 6455 NEW BEST:: SOT 4396 SOS 1345 HAS SOPS 1345 HAS SOUS 1264 HAS SOUPS 1264 WITH SCORE 1265.345
AT ITER 6801 NEW BEST:: SOT 4395 SOS 1344 HAS SOPS 1344 HAS SOUS 1263 HAS SOUPS 1263 WITH SCORE 1264.344
AT ITER 6883 NEW BEST:: SOT 4395 SOS 1343 HAS SOPS 1343 HAS SOUS 1262 HAS SOUPS 1262 WITH SCORE 1263.343
AT ITER 7028 NEW BEST:: SOT 4394 SOS 1338 HAS SOPS 1338 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1257.338
AT ITER 7406 NEW BEST:: SOT 4394 SOS 1337 HAS SOPS 1337 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1256.337
AT ITER 7935 NEW BEST:: SOT 4396 SOS 1336 HAS SOPS 1336 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1256.336
AT ITER 8383 NEW BEST:: SOT 4398 SOS 1337 HAS SOPS 1337 HAS SOUS 1254 HAS SOUPS 1254 WITH SCORE 1255.337
AT ITER 8393 NEW BEST:: SOT 4396 SOS 1335 HAS SOPS 1335 HAS SOUS 1252 HAS SOUPS 1252 WITH SCORE 1253.335
AT ITER 8649 NEW BEST:: SOT 4396 SOS 1331 HAS SOPS 1331 HAS SOUS 1249 HAS SOUPS 1249 WITH SCORE 1250.331
AT ITER 9167 NEW BEST:: SOT 4396 SOS 1328 HAS SOPS 1328 HAS SOUS 1247 HAS SOUPS 1247 WITH SCORE 1248.328
AT ITER 9173 NEW BEST:: SOT 4396 SOS 1326 HAS SOPS 1326 HAS SOUS 1245 HAS SOUPS 1245 WITH SCORE 1246.326
AT ITER 9185 NEW BEST:: SOT 4395 SOS 1325 HAS SOPS 1325 HAS SOUS 1245 HAS SOUPS 1245 WITH SCORE 1246.325
AT ITER 9399 NEW BEST:: SOT 4397 SOS 1321 HAS SOPS 1321 HAS SOUS 1241 HAS SOUPS 1241 WITH SCORE 1242.321
AT ITER 9400 NEW BEST:: SOT 4396 SOS 1320 HAS SOPS 1320 HAS SOUS 1239 HAS SOUPS 1239 WITH SCORE 1240.32
AT ITER 9433 NEW BEST:: SOT 4397 SOS 1318 HAS SOPS 1318 HAS SOUS 1237 HAS SOUPS 1237 WITH SCORE 1238.318
AT ITER 9544 NEW BEST:: SOT 4395 SOS 1312 HAS SOPS 1312 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.312
STATE_SPACE STATES 512000000000001 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 45 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 9856000000000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590446626348

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPt-PT-004A, 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 r207-tajo-159033469700624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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