Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508500417.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 AutoFlight-PT-04a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508500417
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.2K Mar 25 23:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 23:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 18:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 14:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 14:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 10:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 10:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 29K Mar 24 05:37 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 1589143398834

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

Filename model.pnml
Petri model created: 107 places, 105 transitions, 340 arcs.
AT ITER 0 NEW BEST:: SOT 8729 SOS 6074 HAS SOPS 6074 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4363.074
AT ITER 2 NEW BEST:: SOT 8651 SOS 6137 HAS SOPS 6039 HAS SOUS 4318 HAS SOUPS 4284 WITH SCORE 4290.137
AT ITER 3 NEW BEST:: SOT 8651 SOS 6062 HAS SOPS 5964 HAS SOUS 4294 HAS SOUPS 4260 WITH SCORE 4266.062
AT ITER 6 NEW BEST:: SOT 8638 SOS 5906 HAS SOPS 5808 HAS SOUS 4264 HAS SOUPS 4230 WITH SCORE 4235.906
AT ITER 7 NEW BEST:: SOT 8553 SOS 5821 HAS SOPS 5723 HAS SOUS 4210 HAS SOUPS 4176 WITH SCORE 4181.821
AT ITER 8 NEW BEST:: SOT 8326 SOS 5594 HAS SOPS 5496 HAS SOUS 4067 HAS SOUPS 4033 WITH SCORE 4038.594
AT ITER 11 NEW BEST:: SOT 8071 SOS 5295 HAS SOPS 5197 HAS SOUS 3865 HAS SOUPS 3831 WITH SCORE 3836.295
AT ITER 13 NEW BEST:: SOT 8071 SOS 5294 HAS SOPS 5196 HAS SOUS 3864 HAS SOUPS 3830 WITH SCORE 3835.294
AT ITER 19 NEW BEST:: SOT 8082 SOS 5280 HAS SOPS 5182 HAS SOUS 3850 HAS SOUPS 3816 WITH SCORE 3821.28
AT ITER 21 NEW BEST:: SOT 8046 SOS 5225 HAS SOPS 5112 HAS SOUS 3807 HAS SOUPS 3763 WITH SCORE 3768.225
AT ITER 23 NEW BEST:: SOT 8046 SOS 5224 HAS SOPS 5111 HAS SOUS 3806 HAS SOUPS 3762 WITH SCORE 3767.224
AT ITER 24 NEW BEST:: SOT 8022 SOS 5164 HAS SOPS 5051 HAS SOUS 3792 HAS SOUPS 3748 WITH SCORE 3753.164
AT ITER 26 NEW BEST:: SOT 8076 SOS 5162 HAS SOPS 5049 HAS SOUS 3791 HAS SOUPS 3747 WITH SCORE 3752.162
AT ITER 28 NEW BEST:: SOT 8075 SOS 5160 HAS SOPS 5047 HAS SOUS 3789 HAS SOUPS 3745 WITH SCORE 3750.16
AT ITER 30 NEW BEST:: SOT 8066 SOS 5151 HAS SOPS 5038 HAS SOUS 3751 HAS SOUPS 3707 WITH SCORE 3712.151
AT ITER 31 NEW BEST:: SOT 8063 SOS 5148 HAS SOPS 5045 HAS SOUS 3743 HAS SOUPS 3704 WITH SCORE 3709.148
AT ITER 38 NEW BEST:: SOT 8063 SOS 4849 HAS SOPS 4746 HAS SOUS 3715 HAS SOUPS 3676 WITH SCORE 3680.849
AT ITER 39 NEW BEST:: SOT 7971 SOS 4829 HAS SOPS 4726 HAS SOUS 3666 HAS SOUPS 3627 WITH SCORE 3631.829
AT ITER 42 NEW BEST:: SOT 7890 SOS 4748 HAS SOPS 4645 HAS SOUS 3646 HAS SOUPS 3607 WITH SCORE 3611.748
AT ITER 43 NEW BEST:: SOT 7890 SOS 4747 HAS SOPS 4644 HAS SOUS 3645 HAS SOUPS 3606 WITH SCORE 3610.747
AT ITER 45 NEW BEST:: SOT 7880 SOS 4727 HAS SOPS 4624 HAS SOUS 3630 HAS SOUPS 3591 WITH SCORE 3595.727
AT ITER 47 NEW BEST:: SOT 7652 SOS 4499 HAS SOPS 4396 HAS SOUS 3469 HAS SOUPS 3430 WITH SCORE 3434.499
AT ITER 52 NEW BEST:: SOT 7646 SOS 4493 HAS SOPS 4390 HAS SOUS 3466 HAS SOUPS 3427 WITH SCORE 3431.493
AT ITER 57 NEW BEST:: SOT 7628 SOS 4475 HAS SOPS 4372 HAS SOUS 3448 HAS SOUPS 3409 WITH SCORE 3413.475
AT ITER 63 NEW BEST:: SOT 7628 SOS 4451 HAS SOPS 4348 HAS SOUS 3436 HAS SOUPS 3397 WITH SCORE 3401.451
AT ITER 64 NEW BEST:: SOT 7628 SOS 4451 HAS SOPS 4348 HAS SOUS 3425 HAS SOUPS 3386 WITH SCORE 3390.451
AT ITER 68 NEW BEST:: SOT 7640 SOS 4444 HAS SOPS 4341 HAS SOUS 3409 HAS SOUPS 3370 WITH SCORE 3374.444
AT ITER 72 NEW BEST:: SOT 7601 SOS 4405 HAS SOPS 4302 HAS SOUS 3388 HAS SOUPS 3349 WITH SCORE 3353.405
AT ITER 75 NEW BEST:: SOT 7601 SOS 4366 HAS SOPS 4263 HAS SOUS 3370 HAS SOUPS 3331 WITH SCORE 3335.366
AT ITER 80 NEW BEST:: SOT 7638 SOS 4442 HAS SOPS 4339 HAS SOUS 3366 HAS SOUPS 3327 WITH SCORE 3331.442
AT ITER 85 NEW BEST:: SOT 7590 SOS 4394 HAS SOPS 4291 HAS SOUS 3318 HAS SOUPS 3279 WITH SCORE 3283.394
AT ITER 86 NEW BEST:: SOT 7591 SOS 4391 HAS SOPS 4264 HAS SOUS 3308 HAS SOUPS 3255 WITH SCORE 3259.391
AT ITER 87 NEW BEST:: SOT 7622 SOS 4325 HAS SOPS 4198 HAS SOUS 3290 HAS SOUPS 3237 WITH SCORE 3241.325
AT ITER 93 NEW BEST:: SOT 7479 SOS 4173 HAS SOPS 4046 HAS SOUS 3246 HAS SOUPS 3193 WITH SCORE 3197.173
AT ITER 95 NEW BEST:: SOT 7474 SOS 4168 HAS SOPS 4034 HAS SOUS 3241 HAS SOUPS 3181 WITH SCORE 3185.168
AT ITER 104 NEW BEST:: SOT 7474 SOS 4175 HAS SOPS 4013 HAS SOUS 3234 HAS SOUPS 3167 WITH SCORE 3171.175
AT ITER 105 NEW BEST:: SOT 7449 SOS 4173 HAS SOPS 3880 HAS SOUS 3190 HAS SOUPS 3081 WITH SCORE 3085.173
AT ITER 107 NEW BEST:: SOT 7428 SOS 4257 HAS SOPS 3842 HAS SOUS 3158 HAS SOUPS 3009 WITH SCORE 3013.257
AT ITER 109 NEW BEST:: SOT 7287 SOS 4043 HAS SOPS 3628 HAS SOUS 3008 HAS SOUPS 2859 WITH SCORE 2863.043
AT ITER 112 NEW BEST:: SOT 7268 SOS 4038 HAS SOPS 3623 HAS SOUS 3005 HAS SOUPS 2856 WITH SCORE 2860.038
AT ITER 114 NEW BEST:: SOT 7267 SOS 4036 HAS SOPS 3621 HAS SOUS 3003 HAS SOUPS 2854 WITH SCORE 2858.036
AT ITER 117 NEW BEST:: SOT 7271 SOS 3996 HAS SOPS 3581 HAS SOUS 2984 HAS SOUPS 2835 WITH SCORE 2838.996
AT ITER 118 NEW BEST:: SOT 7247 SOS 4040 HAS SOPS 3625 HAS SOUS 2979 HAS SOUPS 2830 WITH SCORE 2834.04
AT ITER 120 NEW BEST:: SOT 7250 SOS 3956 HAS SOPS 3541 HAS SOUS 2957 HAS SOUPS 2808 WITH SCORE 2811.956
AT ITER 131 NEW BEST:: SOT 7158 SOS 3917 HAS SOPS 3502 HAS SOUS 2905 HAS SOUPS 2756 WITH SCORE 2759.917
AT ITER 146 NEW BEST:: SOT 7150 SOS 3909 HAS SOPS 3494 HAS SOUS 2897 HAS SOUPS 2748 WITH SCORE 2751.909
AT ITER 159 NEW BEST:: SOT 7124 SOS 3883 HAS SOPS 3467 HAS SOUS 2895 HAS SOUPS 2746 WITH SCORE 2749.883
AT ITER 162 NEW BEST:: SOT 7046 SOS 3805 HAS SOPS 3389 HAS SOUS 2872 HAS SOUPS 2723 WITH SCORE 2726.805
AT ITER 165 NEW BEST:: SOT 7011 SOS 3759 HAS SOPS 3343 HAS SOUS 2833 HAS SOUPS 2684 WITH SCORE 2687.759
AT ITER 171 NEW BEST:: SOT 7005 SOS 3753 HAS SOPS 3341 HAS SOUS 2831 HAS SOUPS 2682 WITH SCORE 2685.753
AT ITER 172 NEW BEST:: SOT 6971 SOS 3718 HAS SOPS 3306 HAS SOUS 2813 HAS SOUPS 2664 WITH SCORE 2667.718
AT ITER 174 NEW BEST:: SOT 6970 SOS 3702 HAS SOPS 3324 HAS SOUS 2811 HAS SOUPS 2662 WITH SCORE 2665.702
AT ITER 180 NEW BEST:: SOT 6901 SOS 3633 HAS SOPS 3255 HAS SOUS 2788 HAS SOUPS 2639 WITH SCORE 2642.633
AT ITER 182 NEW BEST:: SOT 6901 SOS 3655 HAS SOPS 3233 HAS SOUS 2790 HAS SOUPS 2630 WITH SCORE 2633.655
AT ITER 183 NEW BEST:: SOT 6899 SOS 3651 HAS SOPS 3229 HAS SOUS 2788 HAS SOUPS 2628 WITH SCORE 2631.651
AT ITER 189 NEW BEST:: SOT 6897 SOS 3676 HAS SOPS 3188 HAS SOUS 2814 HAS SOUPS 2588 WITH SCORE 2591.676
AT ITER 194 NEW BEST:: SOT 6943 SOS 3822 HAS SOPS 3190 HAS SOUS 2846 HAS SOUPS 2582 WITH SCORE 2585.822
AT ITER 199 NEW BEST:: SOT 6901 SOS 3765 HAS SOPS 3133 HAS SOUS 2819 HAS SOUPS 2555 WITH SCORE 2558.765
AT ITER 206 NEW BEST:: SOT 6901 SOS 3745 HAS SOPS 3113 HAS SOUS 2809 HAS SOUPS 2545 WITH SCORE 2548.745
AT ITER 210 NEW BEST:: SOT 6907 SOS 3751 HAS SOPS 3125 HAS SOUS 2788 HAS SOUPS 2524 WITH SCORE 2527.751
AT ITER 212 NEW BEST:: SOT 6906 SOS 3750 HAS SOPS 3123 HAS SOUS 2787 HAS SOUPS 2522 WITH SCORE 2525.75
AT ITER 220 NEW BEST:: SOT 6935 SOS 3779 HAS SOPS 3152 HAS SOUS 2775 HAS SOUPS 2510 WITH SCORE 2513.779
AT ITER 226 NEW BEST:: SOT 6904 SOS 3738 HAS SOPS 3111 HAS SOUS 2775 HAS SOUPS 2510 WITH SCORE 2513.738
AT ITER 229 NEW BEST:: SOT 6890 SOS 3664 HAS SOPS 3037 HAS SOUS 2741 HAS SOUPS 2476 WITH SCORE 2479.664
AT ITER 232 NEW BEST:: SOT 6887 SOS 3683 HAS SOPS 3056 HAS SOUS 2738 HAS SOUPS 2473 WITH SCORE 2476.683
AT ITER 233 NEW BEST:: SOT 6849 SOS 3648 HAS SOPS 2981 HAS SOUS 2757 HAS SOUPS 2472 WITH SCORE 2475.648
AT ITER 236 NEW BEST:: SOT 6836 SOS 3651 HAS SOPS 2965 HAS SOUS 2743 HAS SOUPS 2458 WITH SCORE 2461.651
AT ITER 237 NEW BEST:: SOT 6836 SOS 3635 HAS SOPS 2958 HAS SOUS 2731 HAS SOUPS 2455 WITH SCORE 2458.635
AT ITER 238 NEW BEST:: SOT 6835 SOS 3634 HAS SOPS 2956 HAS SOUS 2729 HAS SOUPS 2453 WITH SCORE 2456.634
AT ITER 239 NEW BEST:: SOT 6882 SOS 3597 HAS SOPS 2938 HAS SOUS 2705 HAS SOUPS 2448 WITH SCORE 2451.597
AT ITER 245 NEW BEST:: SOT 6881 SOS 3596 HAS SOPS 2936 HAS SOUS 2703 HAS SOUPS 2446 WITH SCORE 2449.596
AT ITER 252 NEW BEST:: SOT 6860 SOS 3558 HAS SOPS 2898 HAS SOUS 2664 HAS SOUPS 2407 WITH SCORE 2410.558
AT ITER 257 NEW BEST:: SOT 6858 SOS 3556 HAS SOPS 2896 HAS SOUS 2662 HAS SOUPS 2405 WITH SCORE 2408.556
AT ITER 261 NEW BEST:: SOT 6864 SOS 3565 HAS SOPS 2905 HAS SOUS 2661 HAS SOUPS 2404 WITH SCORE 2407.565
AT ITER 262 NEW BEST:: SOT 6793 SOS 3565 HAS SOPS 2905 HAS SOUS 2653 HAS SOUPS 2396 WITH SCORE 2399.565
AT ITER 263 NEW BEST:: SOT 6786 SOS 3546 HAS SOPS 2886 HAS SOUS 2639 HAS SOUPS 2382 WITH SCORE 2385.546
AT ITER 265 NEW BEST:: SOT 6785 SOS 3481 HAS SOPS 2885 HAS SOUS 2622 HAS SOUPS 2381 WITH SCORE 2384.481
AT ITER 269 NEW BEST:: SOT 6784 SOS 3479 HAS SOPS 2883 HAS SOUS 2619 HAS SOUPS 2378 WITH SCORE 2381.479
AT ITER 272 NEW BEST:: SOT 6781 SOS 3476 HAS SOPS 2874 HAS SOUS 2616 HAS SOUPS 2369 WITH SCORE 2372.476
AT ITER 275 NEW BEST:: SOT 6771 SOS 3439 HAS SOPS 2851 HAS SOUS 2605 HAS SOUPS 2358 WITH SCORE 2361.439
AT ITER 285 NEW BEST:: SOT 6770 SOS 3438 HAS SOPS 2849 HAS SOUS 2616 HAS SOUPS 2356 WITH SCORE 2359.438
AT ITER 290 NEW BEST:: SOT 6678 SOS 3307 HAS SOPS 2718 HAS SOUS 2503 HAS SOUPS 2243 WITH SCORE 2246.307
AT ITER 307 NEW BEST:: SOT 6656 SOS 3157 HAS SOPS 2696 HAS SOUS 2456 HAS SOUPS 2221 WITH SCORE 2224.157
AT ITER 313 NEW BEST:: SOT 6612 SOS 3099 HAS SOPS 2619 HAS SOUS 2398 HAS SOUPS 2144 WITH SCORE 2147.099
AT ITER 316 NEW BEST:: SOT 6612 SOS 3086 HAS SOPS 2590 HAS SOUS 2394 HAS SOUPS 2136 WITH SCORE 2139.086
AT ITER 322 NEW BEST:: SOT 6527 SOS 2982 HAS SOPS 2486 HAS SOUS 2309 HAS SOUPS 2051 WITH SCORE 2053.982
AT ITER 325 NEW BEST:: SOT 6523 SOS 2935 HAS SOPS 2439 HAS SOUS 2309 HAS SOUPS 2051 WITH SCORE 2053.935
AT ITER 326 NEW BEST:: SOT 6523 SOS 2948 HAS SOPS 2417 HAS SOUS 2298 HAS SOUPS 2029 WITH SCORE 2031.948
AT ITER 328 NEW BEST:: SOT 6515 SOS 2937 HAS SOPS 2406 HAS SOUS 2292 HAS SOUPS 2023 WITH SCORE 2025.937
AT ITER 331 NEW BEST:: SOT 6512 SOS 2934 HAS SOPS 2400 HAS SOUS 2289 HAS SOUPS 2017 WITH SCORE 2019.934
AT ITER 345 NEW BEST:: SOT 6496 SOS 2898 HAS SOPS 2368 HAS SOUS 2267 HAS SOUPS 1995 WITH SCORE 1997.898
AT ITER 350 NEW BEST:: SOT 6496 SOS 2898 HAS SOPS 2368 HAS SOUS 2266 HAS SOUPS 1994 WITH SCORE 1996.898
AT ITER 355 NEW BEST:: SOT 6516 SOS 3019 HAS SOPS 2368 HAS SOUS 2295 HAS SOUPS 1988 WITH SCORE 1991.019
AT ITER 356 NEW BEST:: SOT 6510 SOS 3013 HAS SOPS 2375 HAS SOUS 2297 HAS SOUPS 1976 WITH SCORE 1979.013
AT ITER 365 NEW BEST:: SOT 6510 SOS 3013 HAS SOPS 2360 HAS SOUS 2285 HAS SOUPS 1961 WITH SCORE 1964.013
AT ITER 376 NEW BEST:: SOT 6506 SOS 3009 HAS SOPS 2352 HAS SOUS 2277 HAS SOUPS 1953 WITH SCORE 1956.009
AT ITER 384 NEW BEST:: SOT 6491 SOS 2934 HAS SOPS 2352 HAS SOUS 2262 HAS SOUPS 1953 WITH SCORE 1955.934
AT ITER 404 NEW BEST:: SOT 6488 SOS 2919 HAS SOPS 2337 HAS SOUS 2247 HAS SOUPS 1938 WITH SCORE 1940.919
AT ITER 407 NEW BEST:: SOT 6474 SOS 2905 HAS SOPS 2323 HAS SOUS 2233 HAS SOUPS 1924 WITH SCORE 1926.905
AT ITER 410 NEW BEST:: SOT 6462 SOS 2881 HAS SOPS 2299 HAS SOUS 2215 HAS SOUPS 1906 WITH SCORE 1908.881
AT ITER 433 NEW BEST:: SOT 6458 SOS 2826 HAS SOPS 2264 HAS SOUS 2207 HAS SOUPS 1898 WITH SCORE 1900.826
AT ITER 454 NEW BEST:: SOT 6458 SOS 2795 HAS SOPS 2233 HAS SOUS 2177 HAS SOUPS 1868 WITH SCORE 1870.795
AT ITER 457 NEW BEST:: SOT 6439 SOS 2776 HAS SOPS 2214 HAS SOUS 2177 HAS SOUPS 1868 WITH SCORE 1870.776
AT ITER 463 NEW BEST:: SOT 6435 SOS 2716 HAS SOPS 2168 HAS SOUS 2173 HAS SOUPS 1864 WITH SCORE 1866.716
AT ITER 482 NEW BEST:: SOT 6439 SOS 2719 HAS SOPS 2175 HAS SOUS 2167 HAS SOUPS 1862 WITH SCORE 1864.719
AT ITER 484 NEW BEST:: SOT 6425 SOS 2705 HAS SOPS 2161 HAS SOUS 2153 HAS SOUPS 1848 WITH SCORE 1850.705
AT ITER 485 NEW BEST:: SOT 6418 SOS 2686 HAS SOPS 2142 HAS SOUS 2134 HAS SOUPS 1829 WITH SCORE 1831.686
AT ITER 509 NEW BEST:: SOT 6397 SOS 2664 HAS SOPS 2141 HAS SOUS 2112 HAS SOUPS 1828 WITH SCORE 1830.664
AT ITER 513 NEW BEST:: SOT 6390 SOS 2663 HAS SOPS 2127 HAS SOUS 2105 HAS SOUPS 1821 WITH SCORE 1823.663
AT ITER 515 NEW BEST:: SOT 6387 SOS 2649 HAS SOPS 2113 HAS SOUS 2102 HAS SOUPS 1818 WITH SCORE 1820.649
AT ITER 528 NEW BEST:: SOT 6385 SOS 2647 HAS SOPS 2111 HAS SOUS 2098 HAS SOUPS 1814 WITH SCORE 1816.647
AT ITER 534 NEW BEST:: SOT 6380 SOS 2642 HAS SOPS 2121 HAS SOUS 2089 HAS SOUPS 1805 WITH SCORE 1807.642
AT ITER 536 NEW BEST:: SOT 6380 SOS 2636 HAS SOPS 2115 HAS SOUS 2083 HAS SOUPS 1799 WITH SCORE 1801.636
AT ITER 539 NEW BEST:: SOT 6359 SOS 2601 HAS SOPS 2080 HAS SOUS 2048 HAS SOUPS 1764 WITH SCORE 1766.601
AT ITER 543 NEW BEST:: SOT 6354 SOS 2596 HAS SOPS 2075 HAS SOUS 2040 HAS SOUPS 1756 WITH SCORE 1758.596
AT ITER 548 NEW BEST:: SOT 6368 SOS 2610 HAS SOPS 2089 HAS SOUS 2030 HAS SOUPS 1746 WITH SCORE 1748.61
AT ITER 562 NEW BEST:: SOT 6367 SOS 2607 HAS SOPS 2086 HAS SOUS 2025 HAS SOUPS 1741 WITH SCORE 1743.607
AT ITER 567 NEW BEST:: SOT 6358 SOS 2598 HAS SOPS 2086 HAS SOUS 2022 HAS SOUPS 1741 WITH SCORE 1743.598
AT ITER 573 NEW BEST:: SOT 6354 SOS 2594 HAS SOPS 2082 HAS SOUS 2020 HAS SOUPS 1739 WITH SCORE 1741.594
AT ITER 576 NEW BEST:: SOT 6353 SOS 2594 HAS SOPS 2082 HAS SOUS 2018 HAS SOUPS 1737 WITH SCORE 1739.594
AT ITER 580 NEW BEST:: SOT 6350 SOS 2591 HAS SOPS 2079 HAS SOUS 2018 HAS SOUPS 1737 WITH SCORE 1739.591
AT ITER 588 NEW BEST:: SOT 6341 SOS 2556 HAS SOPS 2044 HAS SOUS 1996 HAS SOUPS 1715 WITH SCORE 1717.556
AT ITER 599 NEW BEST:: SOT 6348 SOS 2557 HAS SOPS 2048 HAS SOUS 1995 HAS SOUPS 1714 WITH SCORE 1716.557
AT ITER 622 NEW BEST:: SOT 6344 SOS 2545 HAS SOPS 2040 HAS SOUS 1991 HAS SOUPS 1710 WITH SCORE 1712.545
AT ITER 624 NEW BEST:: SOT 6345 SOS 2568 HAS SOPS 2030 HAS SOUS 2003 HAS SOUPS 1700 WITH SCORE 1702.568
AT ITER 646 NEW BEST:: SOT 6343 SOS 2566 HAS SOPS 2028 HAS SOUS 2001 HAS SOUPS 1698 WITH SCORE 1700.566
AT ITER 648 NEW BEST:: SOT 6335 SOS 2553 HAS SOPS 2015 HAS SOUS 2001 HAS SOUPS 1698 WITH SCORE 1700.553
AT ITER 662 NEW BEST:: SOT 6345 SOS 2546 HAS SOPS 2008 HAS SOUS 1994 HAS SOUPS 1691 WITH SCORE 1693.546
AT ITER 677 NEW BEST:: SOT 6341 SOS 2541 HAS SOPS 2003 HAS SOUS 1988 HAS SOUPS 1685 WITH SCORE 1687.541
AT ITER 682 NEW BEST:: SOT 6326 SOS 2519 HAS SOPS 1988 HAS SOUS 1975 HAS SOUPS 1679 WITH SCORE 1681.519
AT ITER 702 NEW BEST:: SOT 6320 SOS 2505 HAS SOPS 1982 HAS SOUS 1969 HAS SOUPS 1673 WITH SCORE 1675.505
AT ITER 704 NEW BEST:: SOT 6318 SOS 2485 HAS SOPS 1962 HAS SOUS 1958 HAS SOUPS 1662 WITH SCORE 1664.485
AT ITER 732 NEW BEST:: SOT 6311 SOS 2478 HAS SOPS 1957 HAS SOUS 1951 HAS SOUPS 1657 WITH SCORE 1659.478
AT ITER 735 NEW BEST:: SOT 6311 SOS 2460 HAS SOPS 1957 HAS SOUS 1944 HAS SOUPS 1657 WITH SCORE 1659.46
AT ITER 737 NEW BEST:: SOT 6309 SOS 2458 HAS SOPS 1955 HAS SOUS 1941 HAS SOUPS 1654 WITH SCORE 1656.458
AT ITER 739 NEW BEST:: SOT 6303 SOS 2400 HAS SOPS 1903 HAS SOUS 1929 HAS SOUPS 1642 WITH SCORE 1644.4
AT ITER 755 NEW BEST:: SOT 6303 SOS 2409 HAS SOPS 1900 HAS SOUS 1929 HAS SOUPS 1639 WITH SCORE 1641.409
AT ITER 773 NEW BEST:: SOT 6294 SOS 2393 HAS SOPS 1884 HAS SOUS 1918 HAS SOUPS 1628 WITH SCORE 1630.393
AT ITER 779 NEW BEST:: SOT 6296 SOS 2410 HAS SOPS 1883 HAS SOUS 1922 HAS SOUPS 1627 WITH SCORE 1629.41
AT ITER 787 NEW BEST:: SOT 6287 SOS 2401 HAS SOPS 1874 HAS SOUS 1913 HAS SOUPS 1618 WITH SCORE 1620.401
AT ITER 799 NEW BEST:: SOT 6285 SOS 2399 HAS SOPS 1872 HAS SOUS 1911 HAS SOUPS 1616 WITH SCORE 1618.399
AT ITER 809 NEW BEST:: SOT 6283 SOS 2391 HAS SOPS 1866 HAS SOUS 1907 HAS SOUPS 1612 WITH SCORE 1614.391
AT ITER 849 NEW BEST:: SOT 6283 SOS 2380 HAS SOPS 1866 HAS SOUS 1907 HAS SOUPS 1612 WITH SCORE 1614.38
AT ITER 865 NEW BEST:: SOT 6280 SOS 2377 HAS SOPS 1829 HAS SOUS 1902 HAS SOUPS 1601 WITH SCORE 1603.377
AT ITER 874 NEW BEST:: SOT 6279 SOS 2375 HAS SOPS 1827 HAS SOUS 1900 HAS SOUPS 1599 WITH SCORE 1601.375
AT ITER 882 NEW BEST:: SOT 6279 SOS 2374 HAS SOPS 1826 HAS SOUS 1899 HAS SOUPS 1598 WITH SCORE 1600.374
AT ITER 893 NEW BEST:: SOT 6275 SOS 2370 HAS SOPS 1818 HAS SOUS 1895 HAS SOUPS 1590 WITH SCORE 1592.37
AT ITER 939 NEW BEST:: SOT 6275 SOS 2371 HAS SOPS 1798 HAS SOUS 1889 HAS SOUPS 1577 WITH SCORE 1579.371
AT ITER 947 NEW BEST:: SOT 6275 SOS 2371 HAS SOPS 1797 HAS SOUS 1889 HAS SOUPS 1576 WITH SCORE 1578.371
AT ITER 960 NEW BEST:: SOT 6269 SOS 2372 HAS SOPS 1798 HAS SOUS 1883 HAS SOUPS 1570 WITH SCORE 1572.372
AT ITER 962 NEW BEST:: SOT 6269 SOS 2369 HAS SOPS 1798 HAS SOUS 1883 HAS SOUPS 1570 WITH SCORE 1572.369
AT ITER 982 NEW BEST:: SOT 6245 SOS 2345 HAS SOPS 1762 HAS SOUS 1859 HAS SOUPS 1546 WITH SCORE 1548.345
AT ITER 991 NEW BEST:: SOT 6244 SOS 2343 HAS SOPS 1760 HAS SOUS 1857 HAS SOUPS 1544 WITH SCORE 1546.343
AT ITER 1073 NEW BEST:: SOT 6235 SOS 2411 HAS SOPS 1751 HAS SOUS 1848 HAS SOUPS 1535 WITH SCORE 1537.411
AT ITER 1092 NEW BEST:: SOT 6235 SOS 2411 HAS SOPS 1751 HAS SOUS 1844 HAS SOUPS 1531 WITH SCORE 1533.411
AT ITER 1095 NEW BEST:: SOT 6209 SOS 2393 HAS SOPS 1714 HAS SOUS 1818 HAS SOUPS 1505 WITH SCORE 1507.393
AT ITER 1122 NEW BEST:: SOT 6209 SOS 2381 HAS SOPS 1713 HAS SOUS 1806 HAS SOUPS 1504 WITH SCORE 1506.381
AT ITER 1150 NEW BEST:: SOT 6209 SOS 2369 HAS SOPS 1701 HAS SOUS 1794 HAS SOUPS 1492 WITH SCORE 1494.369
AT ITER 1161 NEW BEST:: SOT 6206 SOS 2360 HAS SOPS 1692 HAS SOUS 1788 HAS SOUPS 1486 WITH SCORE 1488.36
AT ITER 1166 NEW BEST:: SOT 6210 SOS 2364 HAS SOPS 1696 HAS SOUS 1784 HAS SOUPS 1482 WITH SCORE 1484.364
AT ITER 1235 NEW BEST:: SOT 6206 SOS 2359 HAS SOPS 1691 HAS SOUS 1779 HAS SOUPS 1477 WITH SCORE 1479.359
AT ITER 1255 NEW BEST:: SOT 6250 SOS 2437 HAS SOPS 1689 HAS SOUS 1811 HAS SOUPS 1475 WITH SCORE 1477.437
AT ITER 1263 NEW BEST:: SOT 6256 SOS 2438 HAS SOPS 1693 HAS SOUS 1802 HAS SOUPS 1469 WITH SCORE 1471.438
AT ITER 1280 NEW BEST:: SOT 6256 SOS 2438 HAS SOPS 1692 HAS SOUS 1801 HAS SOUPS 1468 WITH SCORE 1470.438
AT ITER 1282 NEW BEST:: SOT 6254 SOS 2457 HAS SOPS 1688 HAS SOUS 1797 HAS SOUPS 1464 WITH SCORE 1466.457
AT ITER 1296 NEW BEST:: SOT 6251 SOS 2452 HAS SOPS 1682 HAS SOUS 1793 HAS SOUPS 1458 WITH SCORE 1460.452
AT ITER 1309 NEW BEST:: SOT 6251 SOS 2451 HAS SOPS 1681 HAS SOUS 1777 HAS SOUPS 1442 WITH SCORE 1444.451
AT ITER 1320 NEW BEST:: SOT 6249 SOS 2449 HAS SOPS 1681 HAS SOUS 1777 HAS SOUPS 1442 WITH SCORE 1444.449
AT ITER 1372 NEW BEST:: SOT 6249 SOS 2449 HAS SOPS 1679 HAS SOUS 1775 HAS SOUPS 1440 WITH SCORE 1442.449
AT ITER 1431 NEW BEST:: SOT 6249 SOS 2437 HAS SOPS 1667 HAS SOUS 1775 HAS SOUPS 1440 WITH SCORE 1442.437
AT ITER 1438 NEW BEST:: SOT 6233 SOS 2387 HAS SOPS 1653 HAS SOUS 1764 HAS SOUPS 1438 WITH SCORE 1440.387
AT ITER 1492 NEW BEST:: SOT 6231 SOS 2385 HAS SOPS 1651 HAS SOUS 1760 HAS SOUPS 1434 WITH SCORE 1436.385
AT ITER 1500 NEW BEST:: SOT 6231 SOS 2375 HAS SOPS 1651 HAS SOUS 1760 HAS SOUPS 1434 WITH SCORE 1436.375
AT ITER 1502 NEW BEST:: SOT 6230 SOS 2376 HAS SOPS 1650 HAS SOUS 1759 HAS SOUPS 1433 WITH SCORE 1435.376
AT ITER 1535 NEW BEST:: SOT 6195 SOS 2307 HAS SOPS 1650 HAS SOUS 1725 HAS SOUPS 1433 WITH SCORE 1435.307
AT ITER 1571 NEW BEST:: SOT 6195 SOS 2302 HAS SOPS 1637 HAS SOUS 1721 HAS SOUPS 1421 WITH SCORE 1423.302
AT ITER 1574 NEW BEST:: SOT 6195 SOS 2300 HAS SOPS 1635 HAS SOUS 1719 HAS SOUPS 1419 WITH SCORE 1421.3
AT ITER 1607 NEW BEST:: SOT 6194 SOS 2314 HAS SOPS 1649 HAS SOUS 1715 HAS SOUPS 1415 WITH SCORE 1417.314
AT ITER 1634 NEW BEST:: SOT 6190 SOS 2304 HAS SOPS 1639 HAS SOUS 1705 HAS SOUPS 1405 WITH SCORE 1407.304
AT ITER 1640 NEW BEST:: SOT 6186 SOS 2300 HAS SOPS 1635 HAS SOUS 1701 HAS SOUPS 1401 WITH SCORE 1403.3
AT ITER 1649 NEW BEST:: SOT 6186 SOS 2297 HAS SOPS 1632 HAS SOUS 1701 HAS SOUPS 1401 WITH SCORE 1403.297
AT ITER 1718 NEW BEST:: SOT 6186 SOS 2294 HAS SOPS 1629 HAS SOUS 1698 HAS SOUPS 1398 WITH SCORE 1400.294
AT ITER 1728 NEW BEST:: SOT 6188 SOS 2294 HAS SOPS 1629 HAS SOUS 1697 HAS SOUPS 1397 WITH SCORE 1399.294
AT ITER 1776 NEW BEST:: SOT 6178 SOS 2281 HAS SOPS 1624 HAS SOUS 1692 HAS SOUPS 1392 WITH SCORE 1394.281
AT ITER 1777 NEW BEST:: SOT 6174 SOS 2277 HAS SOPS 1620 HAS SOUS 1690 HAS SOUPS 1390 WITH SCORE 1392.277
AT ITER 1778 NEW BEST:: SOT 6174 SOS 2279 HAS SOPS 1619 HAS SOUS 1690 HAS SOUPS 1389 WITH SCORE 1391.279
AT ITER 1794 NEW BEST:: SOT 6192 SOS 2289 HAS SOPS 1629 HAS SOUS 1689 HAS SOUPS 1388 WITH SCORE 1390.289
AT ITER 1795 NEW BEST:: SOT 6186 SOS 2303 HAS SOPS 1621 HAS SOUS 1688 HAS SOUPS 1387 WITH SCORE 1389.303
AT ITER 1805 NEW BEST:: SOT 6182 SOS 2295 HAS SOPS 1613 HAS SOUS 1686 HAS SOUPS 1385 WITH SCORE 1387.295
AT ITER 1856 NEW BEST:: SOT 6178 SOS 2290 HAS SOPS 1613 HAS SOUS 1686 HAS SOUPS 1385 WITH SCORE 1387.29
AT ITER 1858 NEW BEST:: SOT 6179 SOS 2298 HAS SOPS 1603 HAS SOUS 1694 HAS SOUPS 1375 WITH SCORE 1377.298
AT ITER 1875 NEW BEST:: SOT 6177 SOS 2297 HAS SOPS 1602 HAS SOUS 1693 HAS SOUPS 1374 WITH SCORE 1376.297
AT ITER 1888 NEW BEST:: SOT 6177 SOS 2252 HAS SOPS 1602 HAS SOUS 1692 HAS SOUPS 1374 WITH SCORE 1376.252
AT ITER 1917 NEW BEST:: SOT 6176 SOS 2245 HAS SOPS 1596 HAS SOUS 1687 HAS SOUPS 1370 WITH SCORE 1372.245
AT ITER 2006 NEW BEST:: SOT 6182 SOS 2252 HAS SOPS 1588 HAS SOUS 1686 HAS SOUPS 1365 WITH SCORE 1367.252
AT ITER 2019 NEW BEST:: SOT 6178 SOS 2248 HAS SOPS 1584 HAS SOUS 1682 HAS SOUPS 1361 WITH SCORE 1363.248
AT ITER 2043 NEW BEST:: SOT 6177 SOS 2247 HAS SOPS 1583 HAS SOUS 1680 HAS SOUPS 1359 WITH SCORE 1361.247
AT ITER 2050 NEW BEST:: SOT 6177 SOS 2247 HAS SOPS 1559 HAS SOUS 1673 HAS SOUPS 1352 WITH SCORE 1354.247
AT ITER 2092 NEW BEST:: SOT 6175 SOS 2244 HAS SOPS 1554 HAS SOUS 1670 HAS SOUPS 1347 WITH SCORE 1349.244
AT ITER 2120 NEW BEST:: SOT 6175 SOS 2240 HAS SOPS 1554 HAS SOUS 1670 HAS SOUPS 1347 WITH SCORE 1349.24
AT ITER 2140 NEW BEST:: SOT 6174 SOS 2213 HAS SOPS 1527 HAS SOUS 1659 HAS SOUPS 1336 WITH SCORE 1338.213
AT ITER 2166 NEW BEST:: SOT 6173 SOS 2211 HAS SOPS 1525 HAS SOUS 1658 HAS SOUPS 1335 WITH SCORE 1337.211
AT ITER 2180 NEW BEST:: SOT 6172 SOS 2208 HAS SOPS 1522 HAS SOUS 1655 HAS SOUPS 1332 WITH SCORE 1334.208
AT ITER 2193 NEW BEST:: SOT 6172 SOS 2208 HAS SOPS 1517 HAS SOUS 1650 HAS SOUPS 1327 WITH SCORE 1329.208
AT ITER 2228 NEW BEST:: SOT 6167 SOS 2201 HAS SOPS 1516 HAS SOUS 1649 HAS SOUPS 1326 WITH SCORE 1328.201
AT ITER 2272 NEW BEST:: SOT 6163 SOS 2197 HAS SOPS 1516 HAS SOUS 1649 HAS SOUPS 1326 WITH SCORE 1328.197
AT ITER 2275 NEW BEST:: SOT 6163 SOS 2200 HAS SOPS 1515 HAS SOUS 1649 HAS SOUPS 1325 WITH SCORE 1327.2
AT ITER 2311 NEW BEST:: SOT 6174 SOS 2283 HAS SOPS 1512 HAS SOUS 1668 HAS SOUPS 1322 WITH SCORE 1324.283
AT ITER 2316 NEW BEST:: SOT 6163 SOS 2260 HAS SOPS 1507 HAS SOUS 1645 HAS SOUPS 1317 WITH SCORE 1319.26
AT ITER 2399 NEW BEST:: SOT 6162 SOS 2259 HAS SOPS 1506 HAS SOUS 1644 HAS SOUPS 1316 WITH SCORE 1318.259
AT ITER 2659 NEW BEST:: SOT 6160 SOS 2251 HAS SOPS 1498 HAS SOUS 1636 HAS SOUPS 1308 WITH SCORE 1310.251
AT ITER 2666 NEW BEST:: SOT 6162 SOS 2251 HAS SOPS 1498 HAS SOUS 1635 HAS SOUPS 1307 WITH SCORE 1309.251
AT ITER 2823 NEW BEST:: SOT 6162 SOS 2251 HAS SOPS 1497 HAS SOUS 1635 HAS SOUPS 1306 WITH SCORE 1308.251
AT ITER 2884 NEW BEST:: SOT 6133 SOS 2115 HAS SOPS 1497 HAS SOUS 1606 HAS SOUPS 1306 WITH SCORE 1308.115
AT ITER 2902 NEW BEST:: SOT 6131 SOS 2113 HAS SOPS 1497 HAS SOUS 1604 HAS SOUPS 1306 WITH SCORE 1308.113
AT ITER 2925 NEW BEST:: SOT 6130 SOS 2112 HAS SOPS 1496 HAS SOUS 1603 HAS SOUPS 1305 WITH SCORE 1307.112
AT ITER 2943 NEW BEST:: SOT 6130 SOS 2110 HAS SOPS 1492 HAS SOUS 1603 HAS SOUPS 1303 WITH SCORE 1305.11
AT ITER 3005 NEW BEST:: SOT 6130 SOS 2107 HAS SOPS 1492 HAS SOUS 1603 HAS SOUPS 1303 WITH SCORE 1305.107
AT ITER 3098 NEW BEST:: SOT 6128 SOS 2103 HAS SOPS 1492 HAS SOUS 1599 HAS SOUPS 1303 WITH SCORE 1305.103
AT ITER 3107 NEW BEST:: SOT 6124 SOS 2098 HAS SOPS 1488 HAS SOUS 1594 HAS SOUPS 1299 WITH SCORE 1301.098
AT ITER 3249 NEW BEST:: SOT 6123 SOS 2095 HAS SOPS 1486 HAS SOUS 1593 HAS SOUPS 1298 WITH SCORE 1300.095
AT ITER 3304 NEW BEST:: SOT 6123 SOS 2084 HAS SOPS 1478 HAS SOUS 1586 HAS SOUPS 1294 WITH SCORE 1296.084
AT ITER 3331 NEW BEST:: SOT 6119 SOS 2079 HAS SOPS 1472 HAS SOUS 1583 HAS SOUPS 1290 WITH SCORE 1292.079
AT ITER 3346 NEW BEST:: SOT 6119 SOS 2076 HAS SOPS 1471 HAS SOUS 1582 HAS SOUPS 1289 WITH SCORE 1291.076
AT ITER 3364 NEW BEST:: SOT 6119 SOS 2084 HAS SOPS 1468 HAS SOUS 1584 HAS SOUPS 1286 WITH SCORE 1288.084
AT ITER 3459 NEW BEST:: SOT 6116 SOS 2084 HAS SOPS 1466 HAS SOUS 1584 HAS SOUPS 1284 WITH SCORE 1286.084
AT ITER 3568 NEW BEST:: SOT 6115 SOS 2082 HAS SOPS 1464 HAS SOUS 1582 HAS SOUPS 1282 WITH SCORE 1284.082
AT ITER 3570 NEW BEST:: SOT 6115 SOS 2079 HAS SOPS 1464 HAS SOUS 1581 HAS SOUPS 1282 WITH SCORE 1284.079
AT ITER 3595 NEW BEST:: SOT 6115 SOS 2076 HAS SOPS 1464 HAS SOUS 1581 HAS SOUPS 1282 WITH SCORE 1284.076
AT ITER 3767 NEW BEST:: SOT 6114 SOS 2072 HAS SOPS 1462 HAS SOUS 1578 HAS SOUPS 1281 WITH SCORE 1283.072
AT ITER 4062 NEW BEST:: SOT 6115 SOS 2073 HAS SOPS 1447 HAS SOUS 1573 HAS SOUPS 1276 WITH SCORE 1278.073
AT ITER 4117 NEW BEST:: SOT 6116 SOS 2074 HAS SOPS 1448 HAS SOUS 1571 HAS SOUPS 1274 WITH SCORE 1276.074
AT ITER 4118 NEW BEST:: SOT 6116 SOS 2074 HAS SOPS 1447 HAS SOUS 1571 HAS SOUPS 1273 WITH SCORE 1275.074
AT ITER 4127 NEW BEST:: SOT 6116 SOS 2073 HAS SOPS 1446 HAS SOUS 1570 HAS SOUPS 1272 WITH SCORE 1274.073
AT ITER 4143 NEW BEST:: SOT 6115 SOS 2072 HAS SOPS 1444 HAS SOUS 1568 HAS SOUPS 1270 WITH SCORE 1272.072
AT ITER 4185 NEW BEST:: SOT 6112 SOS 2068 HAS SOPS 1444 HAS SOUS 1567 HAS SOUPS 1270 WITH SCORE 1272.068
AT ITER 4203 NEW BEST:: SOT 6112 SOS 2066 HAS SOPS 1444 HAS SOUS 1567 HAS SOUPS 1270 WITH SCORE 1272.066
AT ITER 4301 NEW BEST:: SOT 6120 SOS 2066 HAS SOPS 1444 HAS SOUS 1566 HAS SOUPS 1269 WITH SCORE 1271.066
AT ITER 4302 NEW BEST:: SOT 6122 SOS 2097 HAS SOPS 1439 HAS SOUS 1570 HAS SOUPS 1264 WITH SCORE 1266.097
AT ITER 4375 NEW BEST:: SOT 6124 SOS 2088 HAS SOPS 1430 HAS SOUS 1567 HAS SOUPS 1261 WITH SCORE 1263.088
AT ITER 4427 NEW BEST:: SOT 6123 SOS 2087 HAS SOPS 1429 HAS SOUS 1566 HAS SOUPS 1260 WITH SCORE 1262.087
AT ITER 4498 NEW BEST:: SOT 6123 SOS 2085 HAS SOPS 1427 HAS SOUS 1564 HAS SOUPS 1258 WITH SCORE 1260.085
AT ITER 4578 NEW BEST:: SOT 6119 SOS 2073 HAS SOPS 1427 HAS SOUS 1560 HAS SOUPS 1258 WITH SCORE 1260.073
AT ITER 4704 NEW BEST:: SOT 6118 SOS 2070 HAS SOPS 1427 HAS SOUS 1559 HAS SOUPS 1258 WITH SCORE 1260.07
AT ITER 4741 NEW BEST:: SOT 6152 SOS 2195 HAS SOPS 1426 HAS SOUS 1593 HAS SOUPS 1257 WITH SCORE 1259.195
AT ITER 4876 NEW BEST:: SOT 6152 SOS 2193 HAS SOPS 1426 HAS SOUS 1593 HAS SOUPS 1257 WITH SCORE 1259.193
AT ITER 4888 NEW BEST:: SOT 6152 SOS 2193 HAS SOPS 1426 HAS SOUS 1592 HAS SOUPS 1256 WITH SCORE 1258.193
AT ITER 4913 NEW BEST:: SOT 6136 SOS 2173 HAS SOPS 1422 HAS SOUS 1587 HAS SOUPS 1251 WITH SCORE 1253.173
AT ITER 4978 NEW BEST:: SOT 6133 SOS 2168 HAS SOPS 1420 HAS SOUS 1585 HAS SOUPS 1249 WITH SCORE 1251.168
AT ITER 5063 NEW BEST:: SOT 6130 SOS 2165 HAS SOPS 1420 HAS SOUS 1585 HAS SOUPS 1249 WITH SCORE 1251.165
AT ITER 5175 NEW BEST:: SOT 6128 SOS 2163 HAS SOPS 1418 HAS SOUS 1584 HAS SOUPS 1248 WITH SCORE 1250.163
AT ITER 5182 NEW BEST:: SOT 6126 SOS 2161 HAS SOPS 1418 HAS SOUS 1584 HAS SOUPS 1248 WITH SCORE 1250.161
AT ITER 5218 NEW BEST:: SOT 6122 SOS 2160 HAS SOPS 1417 HAS SOUS 1583 HAS SOUPS 1247 WITH SCORE 1249.16
AT ITER 5401 NEW BEST:: SOT 6122 SOS 2159 HAS SOPS 1416 HAS SOUS 1582 HAS SOUPS 1246 WITH SCORE 1248.159
AT ITER 5420 NEW BEST:: SOT 6122 SOS 2142 HAS SOPS 1399 HAS SOUS 1582 HAS SOUPS 1246 WITH SCORE 1248.142
AT ITER 5448 NEW BEST:: SOT 6108 SOS 2072 HAS SOPS 1399 HAS SOUS 1568 HAS SOUPS 1246 WITH SCORE 1248.072
AT ITER 5489 NEW BEST:: SOT 6107 SOS 2071 HAS SOPS 1398 HAS SOUS 1567 HAS SOUPS 1245 WITH SCORE 1247.071
AT ITER 5513 NEW BEST:: SOT 6113 SOS 2091 HAS SOPS 1398 HAS SOUS 1569 HAS SOUPS 1242 WITH SCORE 1244.091
AT ITER 5562 NEW BEST:: SOT 6113 SOS 2091 HAS SOPS 1397 HAS SOUS 1569 HAS SOUPS 1241 WITH SCORE 1243.091
AT ITER 5570 NEW BEST:: SOT 6113 SOS 2091 HAS SOPS 1396 HAS SOUS 1568 HAS SOUPS 1240 WITH SCORE 1242.091
AT ITER 5701 NEW BEST:: SOT 6113 SOS 2083 HAS SOPS 1396 HAS SOUS 1566 HAS SOUPS 1240 WITH SCORE 1242.083
AT ITER 5716 NEW BEST:: SOT 6109 SOS 2070 HAS SOPS 1395 HAS SOUS 1563 HAS SOUPS 1240 WITH SCORE 1242.07
AT ITER 5826 NEW BEST:: SOT 6105 SOS 2065 HAS SOPS 1397 HAS SOUS 1556 HAS SOUPS 1240 WITH SCORE 1242.065
AT ITER 5837 NEW BEST:: SOT 6105 SOS 2063 HAS SOPS 1395 HAS SOUS 1555 HAS SOUPS 1239 WITH SCORE 1241.063
AT ITER 5841 NEW BEST:: SOT 6106 SOS 2085 HAS SOPS 1393 HAS SOUS 1553 HAS SOUPS 1237 WITH SCORE 1239.085
AT ITER 6010 NEW BEST:: SOT 6106 SOS 2078 HAS SOPS 1386 HAS SOUS 1550 HAS SOUPS 1234 WITH SCORE 1236.078
AT ITER 6224 NEW BEST:: SOT 6110 SOS 2077 HAS SOPS 1385 HAS SOUS 1549 HAS SOUPS 1233 WITH SCORE 1235.077
AT ITER 6268 NEW BEST:: SOT 6109 SOS 2076 HAS SOPS 1385 HAS SOUS 1548 HAS SOUPS 1233 WITH SCORE 1235.076
AT ITER 6303 NEW BEST:: SOT 6109 SOS 2058 HAS SOPS 1385 HAS SOUS 1548 HAS SOUPS 1233 WITH SCORE 1235.058
AT ITER 6355 NEW BEST:: SOT 6105 SOS 2053 HAS SOPS 1384 HAS SOUS 1547 HAS SOUPS 1232 WITH SCORE 1234.053
AT ITER 6747 NEW BEST:: SOT 6106 SOS 2054 HAS SOPS 1380 HAS SOUS 1543 HAS SOUPS 1228 WITH SCORE 1230.054
AT ITER 6845 NEW BEST:: SOT 6100 SOS 2054 HAS SOPS 1380 HAS SOUS 1541 HAS SOUPS 1226 WITH SCORE 1228.054
AT ITER 7128 NEW BEST:: SOT 6099 SOS 2053 HAS SOPS 1379 HAS SOUS 1541 HAS SOUPS 1226 WITH SCORE 1228.053
AT ITER 7158 NEW BEST:: SOT 6097 SOS 2051 HAS SOPS 1377 HAS SOUS 1540 HAS SOUPS 1225 WITH SCORE 1227.051
AT ITER 7252 NEW BEST:: SOT 6095 SOS 2048 HAS SOPS 1377 HAS SOUS 1538 HAS SOUPS 1225 WITH SCORE 1227.048
AT ITER 7299 NEW BEST:: SOT 6094 SOS 2047 HAS SOPS 1375 HAS SOUS 1537 HAS SOUPS 1223 WITH SCORE 1225.047
AT ITER 7357 NEW BEST:: SOT 6092 SOS 2043 HAS SOPS 1371 HAS SOUS 1533 HAS SOUPS 1219 WITH SCORE 1221.043
AT ITER 7786 NEW BEST:: SOT 6090 SOS 2041 HAS SOPS 1369 HAS SOUS 1532 HAS SOUPS 1218 WITH SCORE 1220.041
AT ITER 8148 NEW BEST:: SOT 6089 SOS 2039 HAS SOPS 1367 HAS SOUS 1530 HAS SOUPS 1216 WITH SCORE 1218.039
AT ITER 8193 NEW BEST:: SOT 6086 SOS 2036 HAS SOPS 1364 HAS SOUS 1528 HAS SOUPS 1214 WITH SCORE 1216.036
AT ITER 8221 NEW BEST:: SOT 6086 SOS 2037 HAS SOPS 1363 HAS SOUS 1527 HAS SOUPS 1213 WITH SCORE 1215.037
AT ITER 8257 NEW BEST:: SOT 6086 SOS 2034 HAS SOPS 1360 HAS SOUS 1527 HAS SOUPS 1213 WITH SCORE 1215.034
AT ITER 8369 NEW BEST:: SOT 6085 SOS 2033 HAS SOPS 1360 HAS SOUS 1526 HAS SOUPS 1213 WITH SCORE 1215.033
AT ITER 8787 NEW BEST:: SOT 6084 SOS 2030 HAS SOPS 1360 HAS SOUS 1525 HAS SOUPS 1213 WITH SCORE 1215.03
AT ITER 9081 NEW BEST:: SOT 6084 SOS 2029 HAS SOPS 1360 HAS SOUS 1525 HAS SOUPS 1213 WITH SCORE 1215.029
AT ITER 9100 NEW BEST:: SOT 6084 SOS 2028 HAS SOPS 1359 HAS SOUS 1524 HAS SOUPS 1212 WITH SCORE 1214.028
AT ITER 9467 NEW BEST:: SOT 6083 SOS 2026 HAS SOPS 1357 HAS SOUS 1522 HAS SOUPS 1210 WITH SCORE 1212.026
AT ITER 9680 NEW BEST:: SOT 6083 SOS 2024 HAS SOPS 1374 HAS SOUS 1522 HAS SOUPS 1210 WITH SCORE 1212.024
AT ITER 9962 NEW BEST:: SOT 6082 SOS 2023 HAS SOPS 1374 HAS SOUS 1522 HAS SOUPS 1210 WITH SCORE 1212.023
STATE_SPACE STATES 3332017 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 27 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 50619169 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589143404902

--------------------
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="AutoFlight-PT-04a"
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 AutoFlight-PT-04a, 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 r003-smll-158897508500417"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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