fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469200288
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldIIPt-PT-005A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.160 3896.00 3979.00 0.00 2.1475E+0014 4.4560E+0015 1 46 normal

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-159033469200288.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 ShieldIIPt-PT-005A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469200288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 188K
-rw-r--r-- 1 mcc users 2.8K May 14 00:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 14 00:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 18:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 18:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 13:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 08:01 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 1590439224140

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

Filename model.pnml
Petri model created: 98 places, 73 transitions, 306 arcs.
AT ITER 0 NEW BEST:: SOT 5690 SOS 4797 HAS SOPS 4797 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4189.797
AT ITER 1 NEW BEST:: SOT 5690 SOS 4717 HAS SOPS 4717 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4173.717
AT ITER 7 NEW BEST:: SOT 5644 SOS 4693 HAS SOPS 4693 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4149.693
AT ITER 8 NEW BEST:: SOT 5644 SOS 4702 HAS SOPS 4702 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4147.702
AT ITER 10 NEW BEST:: SOT 5644 SOS 4700 HAS SOPS 4700 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4145.7
AT ITER 11 NEW BEST:: SOT 5612 SOS 4676 HAS SOPS 4676 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4121.676
AT ITER 13 NEW BEST:: SOT 5612 SOS 4660 HAS SOPS 4660 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4113.66
AT ITER 14 NEW BEST:: SOT 5581 SOS 4520 HAS SOPS 4520 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4002.52
AT ITER 22 NEW BEST:: SOT 5510 SOS 4373 HAS SOPS 4373 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3883.373
AT ITER 23 NEW BEST:: SOT 5468 SOS 4286 HAS SOPS 4286 HAS SOUS 3792 HAS SOUPS 3792 WITH SCORE 3796.286
AT ITER 24 NEW BEST:: SOT 5454 SOS 4230 HAS SOPS 4230 HAS SOUS 3745 HAS SOUPS 3745 WITH SCORE 3749.23
AT ITER 25 NEW BEST:: SOT 5454 SOS 4243 HAS SOPS 4243 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3734.243
AT ITER 27 NEW BEST:: SOT 5431 SOS 4193 HAS SOPS 4193 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3684.193
AT ITER 29 NEW BEST:: SOT 5431 SOS 4093 HAS SOPS 4093 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3633.093
AT ITER 30 NEW BEST:: SOT 5381 SOS 3945 HAS SOPS 3945 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3554.945
AT ITER 31 NEW BEST:: SOT 5381 SOS 3936 HAS SOPS 3936 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3538.936
AT ITER 37 NEW BEST:: SOT 5372 SOS 3927 HAS SOPS 3927 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3529.927
AT ITER 38 NEW BEST:: SOT 5367 SOS 3922 HAS SOPS 3922 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3524.922
AT ITER 42 NEW BEST:: SOT 5367 SOS 3925 HAS SOPS 3925 HAS SOUS 3514 HAS SOUPS 3514 WITH SCORE 3517.925
AT ITER 44 NEW BEST:: SOT 5351 SOS 3823 HAS SOPS 3823 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3429.823
AT ITER 48 NEW BEST:: SOT 5313 SOS 3759 HAS SOPS 3759 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3365.759
AT ITER 49 NEW BEST:: SOT 5275 SOS 3721 HAS SOPS 3721 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.721
AT ITER 61 NEW BEST:: SOT 5197 SOS 3614 HAS SOPS 3614 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3255.614
AT ITER 63 NEW BEST:: SOT 5197 SOS 3560 HAS SOPS 3560 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3238.56
AT ITER 65 NEW BEST:: SOT 5210 SOS 3559 HAS SOPS 3559 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3234.559
AT ITER 68 NEW BEST:: SOT 5209 SOS 3558 HAS SOPS 3558 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3233.558
AT ITER 69 NEW BEST:: SOT 5209 SOS 3485 HAS SOPS 3485 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3222.485
AT ITER 74 NEW BEST:: SOT 5209 SOS 3484 HAS SOPS 3484 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3221.484
AT ITER 75 NEW BEST:: SOT 5196 SOS 3458 HAS SOPS 3458 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3194.458
AT ITER 76 NEW BEST:: SOT 5185 SOS 3447 HAS SOPS 3447 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3183.447
AT ITER 78 NEW BEST:: SOT 5184 SOS 3412 HAS SOPS 3412 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3162.412
AT ITER 80 NEW BEST:: SOT 5183 SOS 3411 HAS SOPS 3411 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3161.411
AT ITER 81 NEW BEST:: SOT 5170 SOS 3405 HAS SOPS 3405 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3155.405
AT ITER 85 NEW BEST:: SOT 5138 SOS 3346 HAS SOPS 3346 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3108.346
AT ITER 89 NEW BEST:: SOT 5109 SOS 3298 HAS SOPS 3298 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3074.298
AT ITER 90 NEW BEST:: SOT 5109 SOS 3297 HAS SOPS 3297 HAS SOUS 3069 HAS SOUPS 3069 WITH SCORE 3072.297
AT ITER 94 NEW BEST:: SOT 5091 SOS 3270 HAS SOPS 3270 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3045.27
AT ITER 96 NEW BEST:: SOT 5089 SOS 3268 HAS SOPS 3268 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3043.268
AT ITER 97 NEW BEST:: SOT 5046 SOS 3213 HAS SOPS 3213 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2981.213
AT ITER 101 NEW BEST:: SOT 5023 SOS 3208 HAS SOPS 3208 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2963.208
AT ITER 111 NEW BEST:: SOT 5023 SOS 3185 HAS SOPS 3185 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2953.185
AT ITER 112 NEW BEST:: SOT 5013 SOS 3175 HAS SOPS 3175 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2940.175
AT ITER 121 NEW BEST:: SOT 5017 SOS 3238 HAS SOPS 3238 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2936.238
AT ITER 122 NEW BEST:: SOT 5018 SOS 3227 HAS SOPS 3227 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2925.227
AT ITER 123 NEW BEST:: SOT 5017 SOS 3225 HAS SOPS 3225 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2923.225
AT ITER 128 NEW BEST:: SOT 5011 SOS 3213 HAS SOPS 3213 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2911.213
AT ITER 133 NEW BEST:: SOT 5008 SOS 3210 HAS SOPS 3210 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2908.21
AT ITER 136 NEW BEST:: SOT 5006 SOS 3221 HAS SOPS 3221 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2889.221
AT ITER 138 NEW BEST:: SOT 4993 SOS 3208 HAS SOPS 3208 HAS SOUS 2873 HAS SOUPS 2873 WITH SCORE 2876.208
AT ITER 141 NEW BEST:: SOT 4987 SOS 3176 HAS SOPS 3176 HAS SOUS 2803 HAS SOUPS 2803 WITH SCORE 2806.176
AT ITER 144 NEW BEST:: SOT 4958 SOS 3129 HAS SOPS 3129 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2751.129
AT ITER 149 NEW BEST:: SOT 4906 SOS 2961 HAS SOPS 2961 HAS SOUS 2672 HAS SOUPS 2672 WITH SCORE 2674.961
AT ITER 154 NEW BEST:: SOT 4904 SOS 2955 HAS SOPS 2955 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2668.955
AT ITER 157 NEW BEST:: SOT 4904 SOS 2949 HAS SOPS 2949 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2668.949
AT ITER 158 NEW BEST:: SOT 4902 SOS 2941 HAS SOPS 2941 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2662.941
AT ITER 160 NEW BEST:: SOT 4868 SOS 2885 HAS SOPS 2885 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2616.885
AT ITER 164 NEW BEST:: SOT 4850 SOS 2840 HAS SOPS 2840 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2583.84
AT ITER 165 NEW BEST:: SOT 4835 SOS 2793 HAS SOPS 2793 HAS SOUS 2551 HAS SOUPS 2551 WITH SCORE 2553.793
AT ITER 170 NEW BEST:: SOT 4834 SOS 2793 HAS SOPS 2793 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2550.793
AT ITER 172 NEW BEST:: SOT 4827 SOS 2786 HAS SOPS 2786 HAS SOUS 2541 HAS SOUPS 2541 WITH SCORE 2543.786
AT ITER 175 NEW BEST:: SOT 4827 SOS 2784 HAS SOPS 2784 HAS SOUS 2541 HAS SOUPS 2541 WITH SCORE 2543.784
AT ITER 176 NEW BEST:: SOT 4816 SOS 2778 HAS SOPS 2778 HAS SOUS 2535 HAS SOUPS 2535 WITH SCORE 2537.778
AT ITER 180 NEW BEST:: SOT 4790 SOS 2758 HAS SOPS 2758 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2526.758
AT ITER 181 NEW BEST:: SOT 4783 SOS 2751 HAS SOPS 2751 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2519.751
AT ITER 193 NEW BEST:: SOT 4742 SOS 2698 HAS SOPS 2698 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.698
AT ITER 198 NEW BEST:: SOT 4739 SOS 2687 HAS SOPS 2687 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.687
AT ITER 200 NEW BEST:: SOT 4741 SOS 2689 HAS SOPS 2689 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2454.689
AT ITER 208 NEW BEST:: SOT 4741 SOS 2665 HAS SOPS 2665 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2453.665
AT ITER 223 NEW BEST:: SOT 4733 SOS 2657 HAS SOPS 2657 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2445.657
AT ITER 233 NEW BEST:: SOT 4781 SOS 2645 HAS SOPS 2645 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2433.645
AT ITER 243 NEW BEST:: SOT 4757 SOS 2609 HAS SOPS 2609 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2397.609
AT ITER 250 NEW BEST:: SOT 4752 SOS 2601 HAS SOPS 2601 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2389.601
AT ITER 277 NEW BEST:: SOT 4752 SOS 2618 HAS SOPS 2618 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2386.618
AT ITER 278 NEW BEST:: SOT 4745 SOS 2611 HAS SOPS 2611 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2386.611
AT ITER 279 NEW BEST:: SOT 4737 SOS 2593 HAS SOPS 2593 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.593
AT ITER 282 NEW BEST:: SOT 4735 SOS 2587 HAS SOPS 2587 HAS SOUS 2371 HAS SOUPS 2371 WITH SCORE 2373.587
AT ITER 289 NEW BEST:: SOT 4735 SOS 2586 HAS SOPS 2586 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.586
AT ITER 291 NEW BEST:: SOT 4731 SOS 2582 HAS SOPS 2582 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2363.582
AT ITER 300 NEW BEST:: SOT 4720 SOS 2573 HAS SOPS 2573 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2351.573
AT ITER 307 NEW BEST:: SOT 4720 SOS 2573 HAS SOPS 2573 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2334.573
AT ITER 311 NEW BEST:: SOT 4703 SOS 2562 HAS SOPS 2562 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.562
AT ITER 322 NEW BEST:: SOT 4687 SOS 2534 HAS SOPS 2534 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.534
AT ITER 324 NEW BEST:: SOT 4686 SOS 2533 HAS SOPS 2533 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.533
AT ITER 333 NEW BEST:: SOT 4709 SOS 2550 HAS SOPS 2550 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.55
AT ITER 338 NEW BEST:: SOT 4724 SOS 2519 HAS SOPS 2519 HAS SOUS 2260 HAS SOUPS 2260 WITH SCORE 2262.519
AT ITER 355 NEW BEST:: SOT 4689 SOS 2534 HAS SOPS 2534 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2252.534
AT ITER 368 NEW BEST:: SOT 4687 SOS 2530 HAS SOPS 2530 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2248.53
AT ITER 375 NEW BEST:: SOT 4685 SOS 2472 HAS SOPS 2472 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.472
AT ITER 381 NEW BEST:: SOT 4654 SOS 2419 HAS SOPS 2419 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.419
AT ITER 384 NEW BEST:: SOT 4655 SOS 2416 HAS SOPS 2416 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2193.416
AT ITER 393 NEW BEST:: SOT 4655 SOS 2412 HAS SOPS 2412 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2193.412
AT ITER 399 NEW BEST:: SOT 4655 SOS 2400 HAS SOPS 2400 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2181.4
AT ITER 400 NEW BEST:: SOT 4655 SOS 2399 HAS SOPS 2399 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2180.399
AT ITER 403 NEW BEST:: SOT 4650 SOS 2390 HAS SOPS 2390 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2171.39
AT ITER 410 NEW BEST:: SOT 4647 SOS 2381 HAS SOPS 2381 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2165.381
AT ITER 413 NEW BEST:: SOT 4643 SOS 2377 HAS SOPS 2377 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.377
AT ITER 417 NEW BEST:: SOT 4605 SOS 2339 HAS SOPS 2339 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2123.339
AT ITER 426 NEW BEST:: SOT 4586 SOS 2320 HAS SOPS 2320 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2104.32
AT ITER 431 NEW BEST:: SOT 4554 SOS 2296 HAS SOPS 2296 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2080.296
AT ITER 444 NEW BEST:: SOT 4552 SOS 2293 HAS SOPS 2293 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2077.293
AT ITER 447 NEW BEST:: SOT 4553 SOS 2291 HAS SOPS 2291 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.291
AT ITER 459 NEW BEST:: SOT 4553 SOS 2276 HAS SOPS 2276 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2061.276
AT ITER 466 NEW BEST:: SOT 4553 SOS 2276 HAS SOPS 2276 HAS SOUS 2057 HAS SOUPS 2057 WITH SCORE 2059.276
AT ITER 469 NEW BEST:: SOT 4569 SOS 2278 HAS SOPS 2278 HAS SOUS 2047 HAS SOUPS 2047 WITH SCORE 2049.278
AT ITER 474 NEW BEST:: SOT 4567 SOS 2276 HAS SOPS 2276 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2045.276
AT ITER 478 NEW BEST:: SOT 4562 SOS 2272 HAS SOPS 2272 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2041.272
AT ITER 480 NEW BEST:: SOT 4562 SOS 2271 HAS SOPS 2271 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.271
AT ITER 491 NEW BEST:: SOT 4565 SOS 2277 HAS SOPS 2277 HAS SOUS 2033 HAS SOUPS 2033 WITH SCORE 2035.277
AT ITER 503 NEW BEST:: SOT 4550 SOS 2251 HAS SOPS 2251 HAS SOUS 2007 HAS SOUPS 2007 WITH SCORE 2009.251
AT ITER 515 NEW BEST:: SOT 4549 SOS 2235 HAS SOPS 2235 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1996.235
AT ITER 518 NEW BEST:: SOT 4535 SOS 2217 HAS SOPS 2217 HAS SOUS 1976 HAS SOUPS 1976 WITH SCORE 1978.217
AT ITER 530 NEW BEST:: SOT 4485 SOS 2196 HAS SOPS 2196 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1967.196
AT ITER 531 NEW BEST:: SOT 4490 SOS 2182 HAS SOPS 2182 HAS SOUS 1951 HAS SOUPS 1951 WITH SCORE 1953.182
AT ITER 544 NEW BEST:: SOT 4487 SOS 2195 HAS SOPS 2195 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.195
AT ITER 561 NEW BEST:: SOT 4485 SOS 2187 HAS SOPS 2187 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.187
AT ITER 564 NEW BEST:: SOT 4485 SOS 2186 HAS SOPS 2186 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.186
AT ITER 577 NEW BEST:: SOT 4470 SOS 2170 HAS SOPS 2170 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1940.17
AT ITER 583 NEW BEST:: SOT 4470 SOS 2166 HAS SOPS 2166 HAS SOUS 1934 HAS SOUPS 1934 WITH SCORE 1936.166
AT ITER 591 NEW BEST:: SOT 4469 SOS 2159 HAS SOPS 2159 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.159
AT ITER 600 NEW BEST:: SOT 4473 SOS 2143 HAS SOPS 2143 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1927.143
AT ITER 602 NEW BEST:: SOT 4468 SOS 2123 HAS SOPS 2123 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1912.123
AT ITER 617 NEW BEST:: SOT 4448 SOS 2120 HAS SOPS 2120 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1897.12
AT ITER 621 NEW BEST:: SOT 4452 SOS 2110 HAS SOPS 2110 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1891.11
AT ITER 642 NEW BEST:: SOT 4448 SOS 2106 HAS SOPS 2106 HAS SOUS 1885 HAS SOUPS 1885 WITH SCORE 1887.106
AT ITER 645 NEW BEST:: SOT 4447 SOS 2098 HAS SOPS 2098 HAS SOUS 1883 HAS SOUPS 1883 WITH SCORE 1885.098
AT ITER 666 NEW BEST:: SOT 4445 SOS 2097 HAS SOPS 2097 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1884.097
AT ITER 675 NEW BEST:: SOT 4430 SOS 2069 HAS SOPS 2069 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1856.069
AT ITER 676 NEW BEST:: SOT 4411 SOS 2064 HAS SOPS 2064 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1855.064
AT ITER 682 NEW BEST:: SOT 4399 SOS 2052 HAS SOPS 2052 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.052
AT ITER 691 NEW BEST:: SOT 4399 SOS 2051 HAS SOPS 2051 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1846.051
AT ITER 696 NEW BEST:: SOT 4397 SOS 2041 HAS SOPS 2041 HAS SOUS 1836 HAS SOUPS 1836 WITH SCORE 1838.041
AT ITER 708 NEW BEST:: SOT 4374 SOS 2018 HAS SOPS 2018 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1834.018
AT ITER 712 NEW BEST:: SOT 4371 SOS 2002 HAS SOPS 2002 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1828.002
AT ITER 728 NEW BEST:: SOT 4371 SOS 2002 HAS SOPS 2002 HAS SOUS 1813 HAS SOUPS 1813 WITH SCORE 1815.002
AT ITER 736 NEW BEST:: SOT 4375 SOS 1988 HAS SOPS 1988 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1790.988
AT ITER 739 NEW BEST:: SOT 4387 SOS 2000 HAS SOPS 2000 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.0
AT ITER 741 NEW BEST:: SOT 4373 SOS 1963 HAS SOPS 1963 HAS SOUS 1770 HAS SOUPS 1770 WITH SCORE 1771.963
AT ITER 756 NEW BEST:: SOT 4370 SOS 1952 HAS SOPS 1952 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1768.952
AT ITER 757 NEW BEST:: SOT 4370 SOS 1948 HAS SOPS 1948 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1764.948
AT ITER 763 NEW BEST:: SOT 4366 SOS 1932 HAS SOPS 1932 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1756.932
AT ITER 771 NEW BEST:: SOT 4358 SOS 1915 HAS SOPS 1915 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1739.915
AT ITER 784 NEW BEST:: SOT 4355 SOS 1912 HAS SOPS 1912 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1736.912
AT ITER 804 NEW BEST:: SOT 4352 SOS 1909 HAS SOPS 1909 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1733.909
AT ITER 806 NEW BEST:: SOT 4334 SOS 1875 HAS SOPS 1875 HAS SOUS 1692 HAS SOUPS 1692 WITH SCORE 1693.875
AT ITER 841 NEW BEST:: SOT 4314 SOS 1849 HAS SOPS 1849 HAS SOUS 1666 HAS SOUPS 1666 WITH SCORE 1667.849
AT ITER 854 NEW BEST:: SOT 4314 SOS 1843 HAS SOPS 1843 HAS SOUS 1660 HAS SOUPS 1660 WITH SCORE 1661.843
AT ITER 857 NEW BEST:: SOT 4312 SOS 1841 HAS SOPS 1841 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1658.841
AT ITER 875 NEW BEST:: SOT 4304 SOS 1830 HAS SOPS 1830 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1632.83
AT ITER 921 NEW BEST:: SOT 4302 SOS 1794 HAS SOPS 1794 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1626.794
AT ITER 926 NEW BEST:: SOT 4300 SOS 1791 HAS SOPS 1791 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1623.791
AT ITER 927 NEW BEST:: SOT 4299 SOS 1790 HAS SOPS 1790 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1622.79
AT ITER 933 NEW BEST:: SOT 4295 SOS 1786 HAS SOPS 1786 HAS SOUS 1615 HAS SOUPS 1615 WITH SCORE 1616.786
AT ITER 941 NEW BEST:: SOT 4292 SOS 1778 HAS SOPS 1778 HAS SOUS 1606 HAS SOUPS 1606 WITH SCORE 1607.778
AT ITER 952 NEW BEST:: SOT 4286 SOS 1751 HAS SOPS 1751 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1581.751
AT ITER 953 NEW BEST:: SOT 4282 SOS 1747 HAS SOPS 1747 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1577.747
AT ITER 1006 NEW BEST:: SOT 4281 SOS 1742 HAS SOPS 1742 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1571.742
AT ITER 1010 NEW BEST:: SOT 4272 SOS 1729 HAS SOPS 1729 HAS SOUS 1557 HAS SOUPS 1557 WITH SCORE 1558.729
AT ITER 1043 NEW BEST:: SOT 4272 SOS 1737 HAS SOPS 1737 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1552.737
AT ITER 1078 NEW BEST:: SOT 4269 SOS 1733 HAS SOPS 1733 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1548.733
AT ITER 1089 NEW BEST:: SOT 4271 SOS 1723 HAS SOPS 1723 HAS SOUS 1540 HAS SOUPS 1540 WITH SCORE 1541.723
AT ITER 1091 NEW BEST:: SOT 4266 SOS 1709 HAS SOPS 1709 HAS SOUS 1531 HAS SOUPS 1531 WITH SCORE 1532.709
AT ITER 1106 NEW BEST:: SOT 4265 SOS 1704 HAS SOPS 1704 HAS SOUS 1526 HAS SOUPS 1526 WITH SCORE 1527.704
AT ITER 1115 NEW BEST:: SOT 4259 SOS 1698 HAS SOPS 1698 HAS SOUS 1523 HAS SOUPS 1523 WITH SCORE 1524.698
AT ITER 1168 NEW BEST:: SOT 4257 SOS 1688 HAS SOPS 1688 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1516.688
AT ITER 1169 NEW BEST:: SOT 4245 SOS 1676 HAS SOPS 1676 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1504.676
AT ITER 1172 NEW BEST:: SOT 4237 SOS 1656 HAS SOPS 1656 HAS SOUS 1489 HAS SOUPS 1489 WITH SCORE 1490.656
AT ITER 1182 NEW BEST:: SOT 4238 SOS 1651 HAS SOPS 1651 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1487.651
AT ITER 1223 NEW BEST:: SOT 4235 SOS 1648 HAS SOPS 1648 HAS SOUS 1483 HAS SOUPS 1483 WITH SCORE 1484.648
AT ITER 1250 NEW BEST:: SOT 4230 SOS 1643 HAS SOPS 1643 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1478.643
AT ITER 1261 NEW BEST:: SOT 4230 SOS 1638 HAS SOPS 1638 HAS SOUS 1472 HAS SOUPS 1472 WITH SCORE 1473.638
AT ITER 1275 NEW BEST:: SOT 4221 SOS 1613 HAS SOPS 1613 HAS SOUS 1453 HAS SOUPS 1453 WITH SCORE 1454.613
AT ITER 1316 NEW BEST:: SOT 4220 SOS 1610 HAS SOPS 1610 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1453.61
AT ITER 1323 NEW BEST:: SOT 4226 SOS 1593 HAS SOPS 1593 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1437.593
AT ITER 1507 NEW BEST:: SOT 4220 SOS 1587 HAS SOPS 1587 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1433.587
AT ITER 1550 NEW BEST:: SOT 4217 SOS 1584 HAS SOPS 1584 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1430.584
AT ITER 1559 NEW BEST:: SOT 4208 SOS 1567 HAS SOPS 1567 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1415.567
AT ITER 1571 NEW BEST:: SOT 4204 SOS 1569 HAS SOPS 1569 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1413.569
AT ITER 1601 NEW BEST:: SOT 4204 SOS 1572 HAS SOPS 1572 HAS SOUS 1404 HAS SOUPS 1404 WITH SCORE 1405.572
AT ITER 1609 NEW BEST:: SOT 4203 SOS 1568 HAS SOPS 1568 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1401.568
AT ITER 1612 NEW BEST:: SOT 4204 SOS 1570 HAS SOPS 1570 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1399.57
AT ITER 1778 NEW BEST:: SOT 4203 SOS 1554 HAS SOPS 1554 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1387.554
AT ITER 1789 NEW BEST:: SOT 4199 SOS 1547 HAS SOPS 1547 HAS SOUS 1379 HAS SOUPS 1379 WITH SCORE 1380.547
AT ITER 1791 NEW BEST:: SOT 4196 SOS 1536 HAS SOPS 1536 HAS SOUS 1372 HAS SOUPS 1372 WITH SCORE 1373.536
AT ITER 1802 NEW BEST:: SOT 4204 SOS 1532 HAS SOPS 1532 HAS SOUS 1368 HAS SOUPS 1368 WITH SCORE 1369.532
AT ITER 1840 NEW BEST:: SOT 4203 SOS 1530 HAS SOPS 1530 HAS SOUS 1366 HAS SOUPS 1366 WITH SCORE 1367.53
AT ITER 1880 NEW BEST:: SOT 4202 SOS 1528 HAS SOPS 1528 HAS SOUS 1364 HAS SOUPS 1364 WITH SCORE 1365.528
AT ITER 1902 NEW BEST:: SOT 4199 SOS 1522 HAS SOPS 1522 HAS SOUS 1357 HAS SOUPS 1357 WITH SCORE 1358.522
AT ITER 1916 NEW BEST:: SOT 4199 SOS 1521 HAS SOPS 1521 HAS SOUS 1357 HAS SOUPS 1357 WITH SCORE 1358.521
AT ITER 1955 NEW BEST:: SOT 4197 SOS 1517 HAS SOPS 1517 HAS SOUS 1353 HAS SOUPS 1353 WITH SCORE 1354.517
AT ITER 1973 NEW BEST:: SOT 4196 SOS 1515 HAS SOPS 1515 HAS SOUS 1351 HAS SOUPS 1351 WITH SCORE 1352.515
AT ITER 2009 NEW BEST:: SOT 4194 SOS 1513 HAS SOPS 1513 HAS SOUS 1349 HAS SOUPS 1349 WITH SCORE 1350.513
AT ITER 2012 NEW BEST:: SOT 4190 SOS 1507 HAS SOPS 1507 HAS SOUS 1343 HAS SOUPS 1343 WITH SCORE 1344.507
AT ITER 2025 NEW BEST:: SOT 4179 SOS 1496 HAS SOPS 1496 HAS SOUS 1343 HAS SOUPS 1343 WITH SCORE 1344.496
AT ITER 2026 NEW BEST:: SOT 4178 SOS 1494 HAS SOPS 1494 HAS SOUS 1341 HAS SOUPS 1341 WITH SCORE 1342.494
AT ITER 2127 NEW BEST:: SOT 4167 SOS 1480 HAS SOPS 1480 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1332.48
AT ITER 2177 NEW BEST:: SOT 4166 SOS 1477 HAS SOPS 1477 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1329.477
AT ITER 2215 NEW BEST:: SOT 4166 SOS 1472 HAS SOPS 1472 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1329.472
AT ITER 2218 NEW BEST:: SOT 4184 SOS 1486 HAS SOPS 1486 HAS SOUS 1326 HAS SOUPS 1326 WITH SCORE 1327.486
AT ITER 2236 NEW BEST:: SOT 4184 SOS 1471 HAS SOPS 1471 HAS SOUS 1326 HAS SOUPS 1326 WITH SCORE 1327.471
AT ITER 2243 NEW BEST:: SOT 4176 SOS 1463 HAS SOPS 1463 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1313.463
AT ITER 2246 NEW BEST:: SOT 4175 SOS 1461 HAS SOPS 1461 HAS SOUS 1311 HAS SOUPS 1311 WITH SCORE 1312.461
AT ITER 2263 NEW BEST:: SOT 4175 SOS 1452 HAS SOPS 1452 HAS SOUS 1305 HAS SOUPS 1305 WITH SCORE 1306.452
AT ITER 2421 NEW BEST:: SOT 4175 SOS 1437 HAS SOPS 1437 HAS SOUS 1302 HAS SOUPS 1302 WITH SCORE 1303.437
AT ITER 2432 NEW BEST:: SOT 4174 SOS 1435 HAS SOPS 1435 HAS SOUS 1300 HAS SOUPS 1300 WITH SCORE 1301.435
AT ITER 2552 NEW BEST:: SOT 4172 SOS 1425 HAS SOPS 1425 HAS SOUS 1294 HAS SOUPS 1294 WITH SCORE 1295.425
AT ITER 2635 NEW BEST:: SOT 4170 SOS 1422 HAS SOPS 1422 HAS SOUS 1291 HAS SOUPS 1291 WITH SCORE 1292.422
AT ITER 2693 NEW BEST:: SOT 4170 SOS 1420 HAS SOPS 1420 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1290.42
AT ITER 2719 NEW BEST:: SOT 4167 SOS 1417 HAS SOPS 1417 HAS SOUS 1287 HAS SOUPS 1287 WITH SCORE 1288.417
AT ITER 2746 NEW BEST:: SOT 4174 SOS 1420 HAS SOPS 1420 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1287.42
AT ITER 2808 NEW BEST:: SOT 4174 SOS 1419 HAS SOPS 1419 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1287.419
AT ITER 2831 NEW BEST:: SOT 4173 SOS 1417 HAS SOPS 1417 HAS SOUS 1284 HAS SOUPS 1284 WITH SCORE 1285.417
AT ITER 2847 NEW BEST:: SOT 4169 SOS 1405 HAS SOPS 1405 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1277.405
AT ITER 2869 NEW BEST:: SOT 4168 SOS 1403 HAS SOPS 1403 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.403
AT ITER 2882 NEW BEST:: SOT 4164 SOS 1395 HAS SOPS 1395 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1267.395
AT ITER 2908 NEW BEST:: SOT 4159 SOS 1389 HAS SOPS 1389 HAS SOUS 1261 HAS SOUPS 1261 WITH SCORE 1262.389
AT ITER 2981 NEW BEST:: SOT 4157 SOS 1386 HAS SOPS 1386 HAS SOUS 1258 HAS SOUPS 1258 WITH SCORE 1259.386
AT ITER 3029 NEW BEST:: SOT 4157 SOS 1384 HAS SOPS 1384 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1257.384
AT ITER 3293 NEW BEST:: SOT 4155 SOS 1381 HAS SOPS 1381 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1254.381
AT ITER 3431 NEW BEST:: SOT 4157 SOS 1379 HAS SOPS 1379 HAS SOUS 1251 HAS SOUPS 1251 WITH SCORE 1252.379
AT ITER 3563 NEW BEST:: SOT 4149 SOS 1372 HAS SOPS 1372 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1245.372
AT ITER 3592 NEW BEST:: SOT 4147 SOS 1370 HAS SOPS 1370 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1245.37
AT ITER 3595 NEW BEST:: SOT 4147 SOS 1372 HAS SOPS 1372 HAS SOUS 1240 HAS SOUPS 1240 WITH SCORE 1241.372
AT ITER 3646 NEW BEST:: SOT 4146 SOS 1368 HAS SOPS 1368 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1237.368
AT ITER 3726 NEW BEST:: SOT 4145 SOS 1367 HAS SOPS 1367 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.367
AT ITER 3739 NEW BEST:: SOT 4141 SOS 1363 HAS SOPS 1363 HAS SOUS 1230 HAS SOUPS 1230 WITH SCORE 1231.363
AT ITER 4002 NEW BEST:: SOT 4140 SOS 1361 HAS SOPS 1361 HAS SOUS 1228 HAS SOUPS 1228 WITH SCORE 1229.361
AT ITER 4014 NEW BEST:: SOT 4143 SOS 1360 HAS SOPS 1360 HAS SOUS 1228 HAS SOUPS 1228 WITH SCORE 1229.36
AT ITER 4033 NEW BEST:: SOT 4143 SOS 1362 HAS SOPS 1362 HAS SOUS 1223 HAS SOUPS 1223 WITH SCORE 1224.362
AT ITER 4152 NEW BEST:: SOT 4141 SOS 1362 HAS SOPS 1362 HAS SOUS 1221 HAS SOUPS 1221 WITH SCORE 1222.362
AT ITER 4168 NEW BEST:: SOT 4141 SOS 1361 HAS SOPS 1361 HAS SOUS 1220 HAS SOUPS 1220 WITH SCORE 1221.361
AT ITER 4184 NEW BEST:: SOT 4139 SOS 1359 HAS SOPS 1359 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1217.359
AT ITER 4188 NEW BEST:: SOT 4139 SOS 1358 HAS SOPS 1358 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1217.358
AT ITER 4213 NEW BEST:: SOT 4138 SOS 1354 HAS SOPS 1354 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1217.354
AT ITER 4219 NEW BEST:: SOT 4136 SOS 1353 HAS SOPS 1353 HAS SOUS 1215 HAS SOUPS 1215 WITH SCORE 1216.353
AT ITER 4479 NEW BEST:: SOT 4135 SOS 1351 HAS SOPS 1351 HAS SOUS 1213 HAS SOUPS 1213 WITH SCORE 1214.351
AT ITER 4665 NEW BEST:: SOT 4134 SOS 1348 HAS SOPS 1348 HAS SOUS 1211 HAS SOUPS 1211 WITH SCORE 1212.348
AT ITER 4879 NEW BEST:: SOT 4133 SOS 1345 HAS SOPS 1345 HAS SOUS 1209 HAS SOUPS 1209 WITH SCORE 1210.345
AT ITER 4977 NEW BEST:: SOT 4132 SOS 1343 HAS SOPS 1343 HAS SOUS 1207 HAS SOUPS 1207 WITH SCORE 1208.343
AT ITER 5122 NEW BEST:: SOT 4134 SOS 1342 HAS SOPS 1342 HAS SOUS 1206 HAS SOUPS 1206 WITH SCORE 1207.342
AT ITER 5225 NEW BEST:: SOT 4129 SOS 1341 HAS SOPS 1341 HAS SOUS 1205 HAS SOUPS 1205 WITH SCORE 1206.341
AT ITER 5555 NEW BEST:: SOT 4126 SOS 1340 HAS SOPS 1340 HAS SOUS 1204 HAS SOUPS 1204 WITH SCORE 1205.34
AT ITER 5650 NEW BEST:: SOT 4125 SOS 1338 HAS SOPS 1338 HAS SOUS 1202 HAS SOUPS 1202 WITH SCORE 1203.338
AT ITER 5661 NEW BEST:: SOT 4119 SOS 1340 HAS SOPS 1340 HAS SOUS 1201 HAS SOUPS 1201 WITH SCORE 1202.34
AT ITER 5768 NEW BEST:: SOT 4118 SOS 1339 HAS SOPS 1339 HAS SOUS 1200 HAS SOUPS 1200 WITH SCORE 1201.339
AT ITER 5938 NEW BEST:: SOT 4116 SOS 1338 HAS SOPS 1338 HAS SOUS 1198 HAS SOUPS 1198 WITH SCORE 1199.338
AT ITER 5941 NEW BEST:: SOT 4116 SOS 1336 HAS SOPS 1336 HAS SOUS 1197 HAS SOUPS 1197 WITH SCORE 1198.336
AT ITER 5958 NEW BEST:: SOT 4119 SOS 1331 HAS SOPS 1331 HAS SOUS 1195 HAS SOUPS 1195 WITH SCORE 1196.331
AT ITER 6356 NEW BEST:: SOT 4117 SOS 1331 HAS SOPS 1331 HAS SOUS 1193 HAS SOUPS 1193 WITH SCORE 1194.331
AT ITER 6538 NEW BEST:: SOT 4117 SOS 1334 HAS SOPS 1334 HAS SOUS 1190 HAS SOUPS 1190 WITH SCORE 1191.334
AT ITER 6542 NEW BEST:: SOT 4114 SOS 1329 HAS SOPS 1329 HAS SOUS 1186 HAS SOUPS 1186 WITH SCORE 1187.329
AT ITER 7076 NEW BEST:: SOT 4115 SOS 1324 HAS SOPS 1324 HAS SOUS 1183 HAS SOUPS 1183 WITH SCORE 1184.324
AT ITER 7087 NEW BEST:: SOT 4119 SOS 1322 HAS SOPS 1322 HAS SOUS 1181 HAS SOUPS 1181 WITH SCORE 1182.322
AT ITER 7432 NEW BEST:: SOT 4116 SOS 1321 HAS SOPS 1321 HAS SOUS 1180 HAS SOUPS 1180 WITH SCORE 1181.321
AT ITER 7549 NEW BEST:: SOT 4116 SOS 1320 HAS SOPS 1320 HAS SOUS 1179 HAS SOUPS 1179 WITH SCORE 1180.32
AT ITER 7626 NEW BEST:: SOT 4115 SOS 1318 HAS SOPS 1318 HAS SOUS 1177 HAS SOUPS 1177 WITH SCORE 1178.318
AT ITER 8342 NEW BEST:: SOT 4114 SOS 1317 HAS SOPS 1317 HAS SOUS 1177 HAS SOUPS 1177 WITH SCORE 1178.317
AT ITER 8385 NEW BEST:: SOT 4110 SOS 1312 HAS SOPS 1312 HAS SOUS 1173 HAS SOUPS 1173 WITH SCORE 1174.312
AT ITER 9647 NEW BEST:: SOT 4107 SOS 1308 HAS SOPS 1308 HAS SOUS 1169 HAS SOUPS 1169 WITH SCORE 1170.308
AT ITER 9858 NEW BEST:: SOT 4105 SOS 1309 HAS SOPS 1309 HAS SOUS 1166 HAS SOUPS 1166 WITH SCORE 1167.309
AT ITER 9887 NEW BEST:: SOT 4102 SOS 1308 HAS SOPS 1308 HAS SOUS 1163 HAS SOUPS 1163 WITH SCORE 1164.308
STATE_SPACE STATES 214748364800001 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 46 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 4456028569600001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590439228036

--------------------
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="ShieldIIPt-PT-005A"
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 ShieldIIPt-PT-005A, 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-159033469200288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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