Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590800424.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is 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-oct2-167813590800424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 6.2K Feb 25 17:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 17:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 17:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 17:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 17:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 146K Feb 25 17:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 17:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 25 17:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 29K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678472893576

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutoFlight-PT-04a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 04a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 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 3 NEW BEST:: SOT 8729 SOS 5999 HAS SOPS 5999 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4313.999
AT ITER 4 NEW BEST:: SOT 8502 SOS 5810 HAS SOPS 5810 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4181.81
AT ITER 5 NEW BEST:: SOT 8317 SOS 5624 HAS SOPS 5624 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4063.624
AT ITER 8 NEW BEST:: SOT 8237 SOS 5514 HAS SOPS 5514 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4013.514
AT ITER 12 NEW BEST:: SOT 8017 SOS 5202 HAS SOPS 5202 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3843.202
AT ITER 13 NEW BEST:: SOT 8001 SOS 5200 HAS SOPS 5200 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3841.2
AT ITER 20 NEW BEST:: SOT 8001 SOS 5061 HAS SOPS 5061 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3754.061
AT ITER 21 NEW BEST:: SOT 7968 SOS 5028 HAS SOPS 5028 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3738.028
AT ITER 22 NEW BEST:: SOT 7978 SOS 5015 HAS SOPS 4988 HAS SOUS 3720 HAS SOUPS 3693 WITH SCORE 3698.015
AT ITER 24 NEW BEST:: SOT 7978 SOS 5034 HAS SOPS 4987 HAS SOUS 3719 HAS SOUPS 3672 WITH SCORE 3677.034
AT ITER 25 NEW BEST:: SOT 7965 SOS 5043 HAS SOPS 4974 HAS SOUS 3724 HAS SOUPS 3659 WITH SCORE 3664.043
AT ITER 28 NEW BEST:: SOT 7650 SOS 4535 HAS SOPS 4466 HAS SOUS 3423 HAS SOUPS 3358 WITH SCORE 3362.535
AT ITER 38 NEW BEST:: SOT 7598 SOS 4535 HAS SOPS 4466 HAS SOUS 3409 HAS SOUPS 3344 WITH SCORE 3348.535
AT ITER 40 NEW BEST:: SOT 7585 SOS 4486 HAS SOPS 4417 HAS SOUS 3399 HAS SOUPS 3334 WITH SCORE 3338.486
AT ITER 41 NEW BEST:: SOT 7573 SOS 4461 HAS SOPS 4373 HAS SOUS 3374 HAS SOUPS 3290 WITH SCORE 3294.461
AT ITER 48 NEW BEST:: SOT 7543 SOS 4431 HAS SOPS 4343 HAS SOUS 3344 HAS SOUPS 3260 WITH SCORE 3264.431
AT ITER 49 NEW BEST:: SOT 7543 SOS 4417 HAS SOPS 4329 HAS SOUS 3337 HAS SOUPS 3253 WITH SCORE 3257.417
AT ITER 52 NEW BEST:: SOT 7502 SOS 4375 HAS SOPS 4287 HAS SOUS 3304 HAS SOUPS 3220 WITH SCORE 3224.375
AT ITER 54 NEW BEST:: SOT 7471 SOS 4343 HAS SOPS 4255 HAS SOUS 3272 HAS SOUPS 3188 WITH SCORE 3192.343
AT ITER 55 NEW BEST:: SOT 7491 SOS 4343 HAS SOPS 4255 HAS SOUS 3267 HAS SOUPS 3183 WITH SCORE 3187.343
AT ITER 59 NEW BEST:: SOT 7480 SOS 4332 HAS SOPS 4232 HAS SOUS 3256 HAS SOUPS 3160 WITH SCORE 3164.332
AT ITER 60 NEW BEST:: SOT 7480 SOS 4302 HAS SOPS 4202 HAS SOUS 3241 HAS SOUPS 3145 WITH SCORE 3149.302
AT ITER 61 NEW BEST:: SOT 7480 SOS 4288 HAS SOPS 4188 HAS SOUS 3241 HAS SOUPS 3145 WITH SCORE 3149.288
AT ITER 64 NEW BEST:: SOT 7462 SOS 4294 HAS SOPS 4194 HAS SOUS 3212 HAS SOUPS 3116 WITH SCORE 3120.294
AT ITER 65 NEW BEST:: SOT 7400 SOS 4216 HAS SOPS 4083 HAS SOUS 3139 HAS SOUPS 3028 WITH SCORE 3032.216
AT ITER 67 NEW BEST:: SOT 7391 SOS 4207 HAS SOPS 4074 HAS SOUS 3138 HAS SOUPS 3027 WITH SCORE 3031.207
AT ITER 70 NEW BEST:: SOT 7387 SOS 4201 HAS SOPS 4068 HAS SOUS 3132 HAS SOUPS 3021 WITH SCORE 3025.201
AT ITER 75 NEW BEST:: SOT 7269 SOS 4080 HAS SOPS 3947 HAS SOUS 3066 HAS SOUPS 2955 WITH SCORE 2959.08
AT ITER 78 NEW BEST:: SOT 7242 SOS 4080 HAS SOPS 3947 HAS SOUS 3039 HAS SOUPS 2928 WITH SCORE 2932.08
AT ITER 81 NEW BEST:: SOT 7237 SOS 4075 HAS SOPS 3940 HAS SOUS 3037 HAS SOUPS 2924 WITH SCORE 2928.075
AT ITER 83 NEW BEST:: SOT 7171 SOS 3965 HAS SOPS 3830 HAS SOUS 2971 HAS SOUPS 2858 WITH SCORE 2861.965
AT ITER 90 NEW BEST:: SOT 7155 SOS 3949 HAS SOPS 3814 HAS SOUS 2932 HAS SOUPS 2819 WITH SCORE 2822.949
AT ITER 93 NEW BEST:: SOT 7116 SOS 3834 HAS SOPS 3699 HAS SOUS 2924 HAS SOUPS 2811 WITH SCORE 2814.834
AT ITER 94 NEW BEST:: SOT 7078 SOS 3848 HAS SOPS 3713 HAS SOUS 2848 HAS SOUPS 2735 WITH SCORE 2738.848
AT ITER 96 NEW BEST:: SOT 7078 SOS 3846 HAS SOPS 3711 HAS SOUS 2848 HAS SOUPS 2735 WITH SCORE 2738.846
AT ITER 99 NEW BEST:: SOT 7069 SOS 3888 HAS SOPS 3701 HAS SOUS 2863 HAS SOUPS 2725 WITH SCORE 2728.888
AT ITER 100 NEW BEST:: SOT 7066 SOS 3885 HAS SOPS 3695 HAS SOUS 2860 HAS SOUPS 2719 WITH SCORE 2722.885
AT ITER 103 NEW BEST:: SOT 7062 SOS 3881 HAS SOPS 3691 HAS SOUS 2856 HAS SOUPS 2715 WITH SCORE 2718.881
AT ITER 119 NEW BEST:: SOT 7062 SOS 3880 HAS SOPS 3690 HAS SOUS 2848 HAS SOUPS 2707 WITH SCORE 2710.88
AT ITER 121 NEW BEST:: SOT 7056 SOS 3874 HAS SOPS 3684 HAS SOUS 2848 HAS SOUPS 2707 WITH SCORE 2710.874
AT ITER 123 NEW BEST:: SOT 7054 SOS 3917 HAS SOPS 3682 HAS SOUS 2861 HAS SOUPS 2705 WITH SCORE 2708.917
AT ITER 133 NEW BEST:: SOT 7014 SOS 3917 HAS SOPS 3682 HAS SOUS 2841 HAS SOUPS 2685 WITH SCORE 2688.917
AT ITER 137 NEW BEST:: SOT 7014 SOS 3885 HAS SOPS 3650 HAS SOUS 2830 HAS SOUPS 2674 WITH SCORE 2677.885
AT ITER 140 NEW BEST:: SOT 7014 SOS 3883 HAS SOPS 3650 HAS SOUS 2828 HAS SOUPS 2674 WITH SCORE 2677.883
AT ITER 141 NEW BEST:: SOT 7011 SOS 3880 HAS SOPS 3647 HAS SOUS 2828 HAS SOUPS 2674 WITH SCORE 2677.88
AT ITER 143 NEW BEST:: SOT 7011 SOS 3895 HAS SOPS 3662 HAS SOUS 2827 HAS SOUPS 2673 WITH SCORE 2676.895
AT ITER 145 NEW BEST:: SOT 7019 SOS 3981 HAS SOPS 3642 HAS SOUS 2810 HAS SOUPS 2598 WITH SCORE 2601.981
AT ITER 152 NEW BEST:: SOT 7019 SOS 3882 HAS SOPS 3525 HAS SOUS 2768 HAS SOUPS 2538 WITH SCORE 2541.882
AT ITER 154 NEW BEST:: SOT 7018 SOS 3878 HAS SOPS 3521 HAS SOUS 2764 HAS SOUPS 2534 WITH SCORE 2537.878
AT ITER 156 NEW BEST:: SOT 6993 SOS 3811 HAS SOPS 3454 HAS SOUS 2739 HAS SOUPS 2509 WITH SCORE 2512.811
AT ITER 160 NEW BEST:: SOT 6993 SOS 3789 HAS SOPS 3432 HAS SOUS 2717 HAS SOUPS 2487 WITH SCORE 2490.789
AT ITER 166 NEW BEST:: SOT 6993 SOS 3780 HAS SOPS 3423 HAS SOUS 2717 HAS SOUPS 2487 WITH SCORE 2490.78
AT ITER 182 NEW BEST:: SOT 6947 SOS 3719 HAS SOPS 3362 HAS SOUS 2677 HAS SOUPS 2447 WITH SCORE 2450.719
AT ITER 186 NEW BEST:: SOT 6909 SOS 3680 HAS SOPS 3302 HAS SOUS 2625 HAS SOUPS 2395 WITH SCORE 2398.68
AT ITER 187 NEW BEST:: SOT 6750 SOS 3577 HAS SOPS 3312 HAS SOUS 2550 HAS SOUPS 2385 WITH SCORE 2388.577
AT ITER 195 NEW BEST:: SOT 6736 SOS 3563 HAS SOPS 3277 HAS SOUS 2536 HAS SOUPS 2371 WITH SCORE 2374.563
AT ITER 198 NEW BEST:: SOT 6700 SOS 3515 HAS SOPS 3229 HAS SOUS 2512 HAS SOUPS 2347 WITH SCORE 2350.515
AT ITER 200 NEW BEST:: SOT 6699 SOS 3513 HAS SOPS 3228 HAS SOUS 2510 HAS SOUPS 2346 WITH SCORE 2349.513
AT ITER 203 NEW BEST:: SOT 6711 SOS 3493 HAS SOPS 3208 HAS SOUS 2500 HAS SOUPS 2336 WITH SCORE 2339.493
AT ITER 206 NEW BEST:: SOT 6697 SOS 3457 HAS SOPS 3172 HAS SOUS 2467 HAS SOUPS 2303 WITH SCORE 2306.457
AT ITER 207 NEW BEST:: SOT 6697 SOS 3457 HAS SOPS 3172 HAS SOUS 2464 HAS SOUPS 2300 WITH SCORE 2303.457
AT ITER 208 NEW BEST:: SOT 6697 SOS 3485 HAS SOPS 3108 HAS SOUS 2448 HAS SOUPS 2260 WITH SCORE 2263.485
AT ITER 240 NEW BEST:: SOT 6685 SOS 3449 HAS SOPS 3072 HAS SOUS 2434 HAS SOUPS 2246 WITH SCORE 2249.449
AT ITER 241 NEW BEST:: SOT 6674 SOS 3424 HAS SOPS 3047 HAS SOUS 2420 HAS SOUPS 2232 WITH SCORE 2235.424
AT ITER 242 NEW BEST:: SOT 6674 SOS 3415 HAS SOPS 3038 HAS SOUS 2420 HAS SOUPS 2232 WITH SCORE 2235.415
AT ITER 248 NEW BEST:: SOT 6645 SOS 3386 HAS SOPS 3009 HAS SOUS 2406 HAS SOUPS 2218 WITH SCORE 2221.386
AT ITER 250 NEW BEST:: SOT 6640 SOS 3381 HAS SOPS 3004 HAS SOUS 2404 HAS SOUPS 2216 WITH SCORE 2219.381
AT ITER 252 NEW BEST:: SOT 6591 SOS 3308 HAS SOPS 2906 HAS SOUS 2308 HAS SOUPS 2118 WITH SCORE 2121.308
AT ITER 256 NEW BEST:: SOT 6516 SOS 3202 HAS SOPS 2900 HAS SOUS 2270 HAS SOUPS 2112 WITH SCORE 2115.202
AT ITER 258 NEW BEST:: SOT 6492 SOS 3178 HAS SOPS 2876 HAS SOUS 2246 HAS SOUPS 2088 WITH SCORE 2091.178
AT ITER 259 NEW BEST:: SOT 6488 SOS 3177 HAS SOPS 2871 HAS SOUS 2244 HAS SOUPS 2083 WITH SCORE 2086.177
AT ITER 267 NEW BEST:: SOT 6486 SOS 3175 HAS SOPS 2867 HAS SOUS 2242 HAS SOUPS 2079 WITH SCORE 2082.175
AT ITER 272 NEW BEST:: SOT 6459 SOS 3148 HAS SOPS 2840 HAS SOUS 2217 HAS SOUPS 2054 WITH SCORE 2057.148
AT ITER 278 NEW BEST:: SOT 6461 SOS 3150 HAS SOPS 2842 HAS SOUS 2211 HAS SOUPS 2048 WITH SCORE 2051.15
AT ITER 283 NEW BEST:: SOT 6474 SOS 3157 HAS SOPS 2866 HAS SOUS 2205 HAS SOUPS 2042 WITH SCORE 2045.157
AT ITER 292 NEW BEST:: SOT 6454 SOS 3129 HAS SOPS 2838 HAS SOUS 2193 HAS SOUPS 2030 WITH SCORE 2033.129
AT ITER 308 NEW BEST:: SOT 6452 SOS 3127 HAS SOPS 2836 HAS SOUS 2192 HAS SOUPS 2029 WITH SCORE 2032.127
AT ITER 316 NEW BEST:: SOT 6445 SOS 3113 HAS SOPS 2822 HAS SOUS 2185 HAS SOUPS 2022 WITH SCORE 2025.113
AT ITER 319 NEW BEST:: SOT 6445 SOS 3107 HAS SOPS 2816 HAS SOUS 2183 HAS SOUPS 2020 WITH SCORE 2023.107
AT ITER 320 NEW BEST:: SOT 6438 SOS 3100 HAS SOPS 2809 HAS SOUS 2181 HAS SOUPS 2018 WITH SCORE 2021.1
AT ITER 324 NEW BEST:: SOT 6437 SOS 3098 HAS SOPS 2807 HAS SOUS 2179 HAS SOUPS 2016 WITH SCORE 2019.098
AT ITER 330 NEW BEST:: SOT 6413 SOS 3067 HAS SOPS 2783 HAS SOUS 2148 HAS SOUPS 1992 WITH SCORE 1995.067
AT ITER 331 NEW BEST:: SOT 6405 SOS 3059 HAS SOPS 2775 HAS SOUS 2144 HAS SOUPS 1988 WITH SCORE 1991.059
AT ITER 332 NEW BEST:: SOT 6405 SOS 3030 HAS SOPS 2730 HAS SOUS 2143 HAS SOUPS 1983 WITH SCORE 1986.03
AT ITER 344 NEW BEST:: SOT 6403 SOS 3020 HAS SOPS 2720 HAS SOUS 2141 HAS SOUPS 1981 WITH SCORE 1984.02
AT ITER 385 NEW BEST:: SOT 6382 SOS 3027 HAS SOPS 2727 HAS SOUS 2125 HAS SOUPS 1965 WITH SCORE 1968.027
AT ITER 389 NEW BEST:: SOT 6382 SOS 3029 HAS SOPS 2729 HAS SOUS 2123 HAS SOUPS 1963 WITH SCORE 1966.029
AT ITER 395 NEW BEST:: SOT 6381 SOS 3027 HAS SOPS 2727 HAS SOUS 2121 HAS SOUPS 1961 WITH SCORE 1964.027
AT ITER 401 NEW BEST:: SOT 6393 SOS 3000 HAS SOPS 2700 HAS SOUS 2118 HAS SOUPS 1958 WITH SCORE 1961.0
AT ITER 427 NEW BEST:: SOT 6385 SOS 2992 HAS SOPS 2692 HAS SOUS 2110 HAS SOUPS 1950 WITH SCORE 1952.992
AT ITER 430 NEW BEST:: SOT 6377 SOS 2991 HAS SOPS 2691 HAS SOUS 2109 HAS SOUPS 1949 WITH SCORE 1951.991
AT ITER 435 NEW BEST:: SOT 6345 SOS 2959 HAS SOPS 2659 HAS SOUS 2094 HAS SOUPS 1934 WITH SCORE 1936.959
AT ITER 438 NEW BEST:: SOT 6343 SOS 2948 HAS SOPS 2655 HAS SOUS 2090 HAS SOUPS 1930 WITH SCORE 1932.948
AT ITER 442 NEW BEST:: SOT 6329 SOS 2925 HAS SOPS 2632 HAS SOUS 2081 HAS SOUPS 1921 WITH SCORE 1923.925
AT ITER 456 NEW BEST:: SOT 6326 SOS 2921 HAS SOPS 2631 HAS SOUS 2077 HAS SOUPS 1920 WITH SCORE 1922.921
AT ITER 464 NEW BEST:: SOT 6324 SOS 2919 HAS SOPS 2629 HAS SOUS 2075 HAS SOUPS 1918 WITH SCORE 1920.919
AT ITER 465 NEW BEST:: SOT 6323 SOS 2918 HAS SOPS 2628 HAS SOUS 2074 HAS SOUPS 1917 WITH SCORE 1919.918
AT ITER 475 NEW BEST:: SOT 6331 SOS 2931 HAS SOPS 2625 HAS SOUS 2076 HAS SOUPS 1914 WITH SCORE 1916.931
AT ITER 483 NEW BEST:: SOT 6329 SOS 2929 HAS SOPS 2623 HAS SOUS 2075 HAS SOUPS 1913 WITH SCORE 1915.929
AT ITER 506 NEW BEST:: SOT 6321 SOS 2943 HAS SOPS 2611 HAS SOUS 2075 HAS SOUPS 1901 WITH SCORE 1903.943
AT ITER 511 NEW BEST:: SOT 6319 SOS 2941 HAS SOPS 2607 HAS SOUS 2073 HAS SOUPS 1897 WITH SCORE 1899.941
AT ITER 526 NEW BEST:: SOT 6317 SOS 2939 HAS SOPS 2605 HAS SOUS 2073 HAS SOUPS 1897 WITH SCORE 1899.939
AT ITER 529 NEW BEST:: SOT 6308 SOS 2912 HAS SOPS 2596 HAS SOUS 2064 HAS SOUPS 1897 WITH SCORE 1899.912
AT ITER 535 NEW BEST:: SOT 6298 SOS 2896 HAS SOPS 2580 HAS SOUS 2054 HAS SOUPS 1887 WITH SCORE 1889.896
AT ITER 555 NEW BEST:: SOT 6294 SOS 2888 HAS SOPS 2572 HAS SOUS 2050 HAS SOUPS 1883 WITH SCORE 1885.888
AT ITER 563 NEW BEST:: SOT 6285 SOS 2861 HAS SOPS 2545 HAS SOUS 2032 HAS SOUPS 1865 WITH SCORE 1867.861
AT ITER 565 NEW BEST:: SOT 6285 SOS 2819 HAS SOPS 2503 HAS SOUS 2032 HAS SOUPS 1865 WITH SCORE 1867.819
AT ITER 572 NEW BEST:: SOT 6284 SOS 2815 HAS SOPS 2503 HAS SOUS 2030 HAS SOUPS 1865 WITH SCORE 1867.815
AT ITER 593 NEW BEST:: SOT 6282 SOS 2813 HAS SOPS 2501 HAS SOUS 2029 HAS SOUPS 1864 WITH SCORE 1866.813
AT ITER 613 NEW BEST:: SOT 6282 SOS 2837 HAS SOPS 2499 HAS SOUS 2039 HAS SOUPS 1862 WITH SCORE 1864.837
AT ITER 618 NEW BEST:: SOT 6280 SOS 2838 HAS SOPS 2500 HAS SOUS 2038 HAS SOUPS 1861 WITH SCORE 1863.838
AT ITER 623 NEW BEST:: SOT 6278 SOS 2836 HAS SOPS 2498 HAS SOUS 2037 HAS SOUPS 1854 WITH SCORE 1856.836
AT ITER 637 NEW BEST:: SOT 6267 SOS 2825 HAS SOPS 2494 HAS SOUS 2029 HAS SOUPS 1853 WITH SCORE 1855.825
AT ITER 643 NEW BEST:: SOT 6267 SOS 2824 HAS SOPS 2493 HAS SOUS 2028 HAS SOUPS 1852 WITH SCORE 1854.824
AT ITER 650 NEW BEST:: SOT 6261 SOS 2834 HAS SOPS 2503 HAS SOUS 2024 HAS SOUPS 1848 WITH SCORE 1850.834
AT ITER 654 NEW BEST:: SOT 6253 SOS 2832 HAS SOPS 2501 HAS SOUS 2022 HAS SOUPS 1846 WITH SCORE 1848.832
AT ITER 662 NEW BEST:: SOT 6251 SOS 2821 HAS SOPS 2490 HAS SOUS 2019 HAS SOUPS 1843 WITH SCORE 1845.821
AT ITER 663 NEW BEST:: SOT 6250 SOS 2820 HAS SOPS 2489 HAS SOUS 2018 HAS SOUPS 1842 WITH SCORE 1844.82
AT ITER 664 NEW BEST:: SOT 6240 SOS 2816 HAS SOPS 2485 HAS SOUS 2013 HAS SOUPS 1837 WITH SCORE 1839.816
AT ITER 680 NEW BEST:: SOT 6240 SOS 2810 HAS SOPS 2479 HAS SOUS 2011 HAS SOUPS 1835 WITH SCORE 1837.81
AT ITER 683 NEW BEST:: SOT 6240 SOS 2774 HAS SOPS 2479 HAS SOUS 2011 HAS SOUPS 1835 WITH SCORE 1837.774
AT ITER 698 NEW BEST:: SOT 6236 SOS 2770 HAS SOPS 2464 HAS SOUS 2006 HAS SOUPS 1828 WITH SCORE 1830.77
AT ITER 709 NEW BEST:: SOT 6211 SOS 2773 HAS SOPS 2414 HAS SOUS 1982 HAS SOUPS 1803 WITH SCORE 1805.773
AT ITER 710 NEW BEST:: SOT 6211 SOS 2741 HAS SOPS 2382 HAS SOUS 1965 HAS SOUPS 1786 WITH SCORE 1788.741
AT ITER 725 NEW BEST:: SOT 6199 SOS 2711 HAS SOPS 2352 HAS SOUS 1949 HAS SOUPS 1770 WITH SCORE 1772.711
AT ITER 726 NEW BEST:: SOT 6199 SOS 2664 HAS SOPS 2305 HAS SOUS 1928 HAS SOUPS 1749 WITH SCORE 1751.664
AT ITER 727 NEW BEST:: SOT 6231 SOS 2697 HAS SOPS 2314 HAS SOUS 1949 HAS SOUPS 1746 WITH SCORE 1748.697
AT ITER 731 NEW BEST:: SOT 6231 SOS 2694 HAS SOPS 2311 HAS SOUS 1943 HAS SOUPS 1740 WITH SCORE 1742.694
AT ITER 779 NEW BEST:: SOT 6227 SOS 2687 HAS SOPS 2304 HAS SOUS 1942 HAS SOUPS 1739 WITH SCORE 1741.687
AT ITER 782 NEW BEST:: SOT 6199 SOS 2574 HAS SOPS 2191 HAS SOUS 1930 HAS SOUPS 1727 WITH SCORE 1729.574
AT ITER 788 NEW BEST:: SOT 6203 SOS 2584 HAS SOPS 2201 HAS SOUS 1926 HAS SOUPS 1723 WITH SCORE 1725.584
AT ITER 805 NEW BEST:: SOT 6181 SOS 2504 HAS SOPS 2121 HAS SOUS 1914 HAS SOUPS 1711 WITH SCORE 1713.504
AT ITER 829 NEW BEST:: SOT 6181 SOS 2500 HAS SOPS 2117 HAS SOUS 1910 HAS SOUPS 1707 WITH SCORE 1709.5
AT ITER 843 NEW BEST:: SOT 6169 SOS 2470 HAS SOPS 2087 HAS SOUS 1890 HAS SOUPS 1687 WITH SCORE 1689.47
AT ITER 854 NEW BEST:: SOT 6168 SOS 2468 HAS SOPS 2085 HAS SOUS 1888 HAS SOUPS 1685 WITH SCORE 1687.468
AT ITER 878 NEW BEST:: SOT 6160 SOS 2457 HAS SOPS 2074 HAS SOUS 1882 HAS SOUPS 1679 WITH SCORE 1681.457
AT ITER 884 NEW BEST:: SOT 6159 SOS 2449 HAS SOPS 2059 HAS SOUS 1878 HAS SOUPS 1675 WITH SCORE 1677.449
AT ITER 920 NEW BEST:: SOT 6170 SOS 2537 HAS SOPS 2147 HAS SOUS 1871 HAS SOUPS 1668 WITH SCORE 1670.537
AT ITER 924 NEW BEST:: SOT 6188 SOS 2614 HAS SOPS 2144 HAS SOUS 1889 HAS SOUPS 1665 WITH SCORE 1667.614
AT ITER 931 NEW BEST:: SOT 6184 SOS 2610 HAS SOPS 2140 HAS SOUS 1889 HAS SOUPS 1665 WITH SCORE 1667.61
AT ITER 949 NEW BEST:: SOT 6172 SOS 2598 HAS SOPS 2122 HAS SOUS 1877 HAS SOUPS 1653 WITH SCORE 1655.598
AT ITER 955 NEW BEST:: SOT 6170 SOS 2596 HAS SOPS 2120 HAS SOUS 1877 HAS SOUPS 1653 WITH SCORE 1655.596
AT ITER 986 NEW BEST:: SOT 6169 SOS 2593 HAS SOPS 2117 HAS SOUS 1875 HAS SOUPS 1651 WITH SCORE 1653.593
AT ITER 993 NEW BEST:: SOT 6160 SOS 2584 HAS SOPS 2108 HAS SOUS 1866 HAS SOUPS 1642 WITH SCORE 1644.584
AT ITER 1008 NEW BEST:: SOT 6172 SOS 2596 HAS SOPS 2120 HAS SOUS 1864 HAS SOUPS 1640 WITH SCORE 1642.596
AT ITER 1107 NEW BEST:: SOT 6184 SOS 2608 HAS SOPS 2132 HAS SOUS 1862 HAS SOUPS 1638 WITH SCORE 1640.608
AT ITER 1123 NEW BEST:: SOT 6181 SOS 2605 HAS SOPS 2126 HAS SOUS 1858 HAS SOUPS 1632 WITH SCORE 1634.605
AT ITER 1133 NEW BEST:: SOT 6167 SOS 2578 HAS SOPS 2112 HAS SOUS 1831 HAS SOUPS 1618 WITH SCORE 1620.578
AT ITER 1157 NEW BEST:: SOT 6158 SOS 2542 HAS SOPS 2112 HAS SOUS 1822 HAS SOUPS 1618 WITH SCORE 1620.542
AT ITER 1189 NEW BEST:: SOT 6157 SOS 2541 HAS SOPS 2111 HAS SOUS 1821 HAS SOUPS 1617 WITH SCORE 1619.541
AT ITER 1244 NEW BEST:: SOT 6156 SOS 2534 HAS SOPS 2104 HAS SOUS 1818 HAS SOUPS 1614 WITH SCORE 1616.534
AT ITER 1298 NEW BEST:: SOT 6154 SOS 2531 HAS SOPS 2101 HAS SOUS 1816 HAS SOUPS 1612 WITH SCORE 1614.531
AT ITER 1313 NEW BEST:: SOT 6154 SOS 2523 HAS SOPS 2093 HAS SOUS 1816 HAS SOUPS 1612 WITH SCORE 1614.523
AT ITER 1319 NEW BEST:: SOT 6146 SOS 2527 HAS SOPS 2097 HAS SOUS 1812 HAS SOUPS 1608 WITH SCORE 1610.527
AT ITER 1330 NEW BEST:: SOT 6144 SOS 2525 HAS SOPS 2095 HAS SOUS 1810 HAS SOUPS 1606 WITH SCORE 1608.525
AT ITER 1382 NEW BEST:: SOT 6135 SOS 2498 HAS SOPS 2086 HAS SOUS 1790 HAS SOUPS 1597 WITH SCORE 1599.498
AT ITER 1387 NEW BEST:: SOT 6131 SOS 2494 HAS SOPS 2086 HAS SOUS 1790 HAS SOUPS 1597 WITH SCORE 1599.494
AT ITER 1394 NEW BEST:: SOT 6131 SOS 2493 HAS SOPS 2086 HAS SOUS 1790 HAS SOUPS 1597 WITH SCORE 1599.493
AT ITER 1395 NEW BEST:: SOT 6105 SOS 2466 HAS SOPS 2085 HAS SOUS 1763 HAS SOUPS 1596 WITH SCORE 1598.466
AT ITER 1418 NEW BEST:: SOT 6103 SOS 2485 HAS SOPS 2104 HAS SOUS 1762 HAS SOUPS 1595 WITH SCORE 1597.485
AT ITER 1457 NEW BEST:: SOT 6096 SOS 2454 HAS SOPS 2073 HAS SOUS 1740 HAS SOUPS 1573 WITH SCORE 1575.454
AT ITER 1462 NEW BEST:: SOT 6096 SOS 2377 HAS SOPS 2073 HAS SOUS 1739 HAS SOUPS 1573 WITH SCORE 1575.377
AT ITER 1469 NEW BEST:: SOT 6096 SOS 2377 HAS SOPS 2073 HAS SOUS 1737 HAS SOUPS 1571 WITH SCORE 1573.377
AT ITER 1515 NEW BEST:: SOT 6092 SOS 2373 HAS SOPS 2061 HAS SOUS 1729 HAS SOUPS 1563 WITH SCORE 1565.373
AT ITER 1533 NEW BEST:: SOT 6086 SOS 2379 HAS SOPS 2067 HAS SOUS 1726 HAS SOUPS 1560 WITH SCORE 1562.379
AT ITER 1534 NEW BEST:: SOT 6084 SOS 2377 HAS SOPS 2065 HAS SOUS 1725 HAS SOUPS 1559 WITH SCORE 1561.377
AT ITER 1546 NEW BEST:: SOT 6082 SOS 2378 HAS SOPS 2066 HAS SOUS 1724 HAS SOUPS 1558 WITH SCORE 1560.378
AT ITER 1579 NEW BEST:: SOT 6082 SOS 2378 HAS SOPS 2066 HAS SOUS 1720 HAS SOUPS 1554 WITH SCORE 1556.378
AT ITER 1586 NEW BEST:: SOT 6074 SOS 2366 HAS SOPS 2054 HAS SOUS 1712 HAS SOUPS 1546 WITH SCORE 1548.366
AT ITER 1620 NEW BEST:: SOT 6073 SOS 2368 HAS SOPS 2052 HAS SOUS 1710 HAS SOUPS 1544 WITH SCORE 1546.368
AT ITER 1661 NEW BEST:: SOT 6072 SOS 2360 HAS SOPS 2044 HAS SOUS 1702 HAS SOUPS 1536 WITH SCORE 1538.36
AT ITER 1686 NEW BEST:: SOT 6072 SOS 2359 HAS SOPS 2044 HAS SOUS 1702 HAS SOUPS 1536 WITH SCORE 1538.359
AT ITER 1735 NEW BEST:: SOT 6071 SOS 2358 HAS SOPS 2043 HAS SOUS 1701 HAS SOUPS 1535 WITH SCORE 1537.358
AT ITER 1740 NEW BEST:: SOT 6070 SOS 2357 HAS SOPS 2042 HAS SOUS 1700 HAS SOUPS 1534 WITH SCORE 1536.357
AT ITER 1746 NEW BEST:: SOT 6070 SOS 2349 HAS SOPS 2034 HAS SOUS 1700 HAS SOUPS 1534 WITH SCORE 1536.349
AT ITER 1775 NEW BEST:: SOT 6069 SOS 2348 HAS SOPS 2033 HAS SOUS 1700 HAS SOUPS 1534 WITH SCORE 1536.348
AT ITER 1859 NEW BEST:: SOT 6069 SOS 2344 HAS SOPS 2033 HAS SOUS 1700 HAS SOUPS 1534 WITH SCORE 1536.344
AT ITER 1911 NEW BEST:: SOT 6067 SOS 2301 HAS SOPS 2031 HAS SOUS 1682 HAS SOUPS 1532 WITH SCORE 1534.301
AT ITER 1949 NEW BEST:: SOT 6063 SOS 2297 HAS SOPS 2027 HAS SOUS 1678 HAS SOUPS 1528 WITH SCORE 1530.297
AT ITER 1975 NEW BEST:: SOT 6062 SOS 2296 HAS SOPS 2025 HAS SOUS 1678 HAS SOUPS 1526 WITH SCORE 1528.296
AT ITER 2008 NEW BEST:: SOT 6066 SOS 2315 HAS SOPS 2015 HAS SOUS 1682 HAS SOUPS 1516 WITH SCORE 1518.315
AT ITER 2025 NEW BEST:: SOT 6066 SOS 2292 HAS SOPS 1979 HAS SOUS 1689 HAS SOUPS 1510 WITH SCORE 1512.292
AT ITER 2069 NEW BEST:: SOT 6066 SOS 2270 HAS SOPS 1957 HAS SOUS 1687 HAS SOUPS 1508 WITH SCORE 1510.27
AT ITER 2108 NEW BEST:: SOT 6069 SOS 2252 HAS SOPS 1939 HAS SOUS 1686 HAS SOUPS 1507 WITH SCORE 1509.252
AT ITER 2257 NEW BEST:: SOT 6059 SOS 2154 HAS SOPS 1841 HAS SOUS 1677 HAS SOUPS 1498 WITH SCORE 1500.154
AT ITER 2267 NEW BEST:: SOT 6056 SOS 2151 HAS SOPS 1838 HAS SOUS 1676 HAS SOUPS 1497 WITH SCORE 1499.151
AT ITER 2279 NEW BEST:: SOT 6046 SOS 2140 HAS SOPS 1827 HAS SOUS 1665 HAS SOUPS 1486 WITH SCORE 1488.14
AT ITER 2542 NEW BEST:: SOT 6045 SOS 2139 HAS SOPS 1826 HAS SOUS 1665 HAS SOUPS 1486 WITH SCORE 1488.139
AT ITER 2592 NEW BEST:: SOT 6044 SOS 2138 HAS SOPS 1824 HAS SOUS 1662 HAS SOUPS 1483 WITH SCORE 1485.138
AT ITER 2598 NEW BEST:: SOT 6036 SOS 2119 HAS SOPS 1816 HAS SOUS 1643 HAS SOUPS 1475 WITH SCORE 1477.119
AT ITER 2627 NEW BEST:: SOT 6034 SOS 2117 HAS SOPS 1814 HAS SOUS 1641 HAS SOUPS 1473 WITH SCORE 1475.117
AT ITER 2649 NEW BEST:: SOT 6035 SOS 2118 HAS SOPS 1813 HAS SOUS 1642 HAS SOUPS 1472 WITH SCORE 1474.118
AT ITER 2706 NEW BEST:: SOT 6031 SOS 2112 HAS SOPS 1807 HAS SOUS 1641 HAS SOUPS 1471 WITH SCORE 1473.112
AT ITER 2778 NEW BEST:: SOT 6033 SOS 2111 HAS SOPS 1806 HAS SOUS 1640 HAS SOUPS 1470 WITH SCORE 1472.111
AT ITER 2785 NEW BEST:: SOT 6032 SOS 2110 HAS SOPS 1805 HAS SOUS 1639 HAS SOUPS 1469 WITH SCORE 1471.11
AT ITER 2853 NEW BEST:: SOT 6030 SOS 2108 HAS SOPS 1805 HAS SOUS 1637 HAS SOUPS 1469 WITH SCORE 1471.108
AT ITER 2869 NEW BEST:: SOT 6032 SOS 2102 HAS SOPS 1799 HAS SOUS 1635 HAS SOUPS 1467 WITH SCORE 1469.102
AT ITER 2901 NEW BEST:: SOT 6031 SOS 2100 HAS SOPS 1797 HAS SOUS 1633 HAS SOUPS 1465 WITH SCORE 1467.1
AT ITER 2942 NEW BEST:: SOT 6040 SOS 2111 HAS SOPS 1796 HAS SOUS 1639 HAS SOUPS 1464 WITH SCORE 1466.111
AT ITER 2947 NEW BEST:: SOT 6040 SOS 2099 HAS SOPS 1784 HAS SOUS 1629 HAS SOUPS 1454 WITH SCORE 1456.099
AT ITER 2969 NEW BEST:: SOT 6039 SOS 2094 HAS SOPS 1784 HAS SOUS 1627 HAS SOUPS 1454 WITH SCORE 1456.094
AT ITER 3002 NEW BEST:: SOT 6038 SOS 2091 HAS SOPS 1781 HAS SOUS 1625 HAS SOUPS 1452 WITH SCORE 1454.091
AT ITER 3347 NEW BEST:: SOT 6038 SOS 2089 HAS SOPS 1779 HAS SOUS 1623 HAS SOUPS 1450 WITH SCORE 1452.089
AT ITER 3357 NEW BEST:: SOT 6042 SOS 2085 HAS SOPS 1775 HAS SOUS 1621 HAS SOUPS 1448 WITH SCORE 1450.085
AT ITER 3396 NEW BEST:: SOT 6041 SOS 2088 HAS SOPS 1773 HAS SOUS 1621 HAS SOUPS 1446 WITH SCORE 1448.088
AT ITER 3404 NEW BEST:: SOT 6040 SOS 2083 HAS SOPS 1772 HAS SOUS 1619 HAS SOUPS 1445 WITH SCORE 1447.083
AT ITER 3548 NEW BEST:: SOT 6040 SOS 2083 HAS SOPS 1772 HAS SOUS 1617 HAS SOUPS 1443 WITH SCORE 1445.083
AT ITER 3554 NEW BEST:: SOT 6039 SOS 2071 HAS SOPS 1761 HAS SOUS 1614 HAS SOUPS 1441 WITH SCORE 1443.071
AT ITER 3572 NEW BEST:: SOT 6039 SOS 2065 HAS SOPS 1759 HAS SOUS 1604 HAS SOUPS 1435 WITH SCORE 1437.065
AT ITER 3614 NEW BEST:: SOT 6037 SOS 2061 HAS SOPS 1759 HAS SOUS 1600 HAS SOUPS 1435 WITH SCORE 1437.061
AT ITER 3688 NEW BEST:: SOT 6034 SOS 2047 HAS SOPS 1756 HAS SOUS 1586 HAS SOUPS 1432 WITH SCORE 1434.047
AT ITER 3710 NEW BEST:: SOT 6037 SOS 2050 HAS SOPS 1751 HAS SOUS 1587 HAS SOUPS 1427 WITH SCORE 1429.05
AT ITER 3730 NEW BEST:: SOT 6035 SOS 2048 HAS SOPS 1749 HAS SOUS 1583 HAS SOUPS 1423 WITH SCORE 1425.048
AT ITER 3793 NEW BEST:: SOT 6042 SOS 2052 HAS SOPS 1753 HAS SOUS 1577 HAS SOUPS 1417 WITH SCORE 1419.052
AT ITER 3839 NEW BEST:: SOT 6040 SOS 2056 HAS SOPS 1757 HAS SOUS 1576 HAS SOUPS 1416 WITH SCORE 1418.056
AT ITER 3881 NEW BEST:: SOT 6039 SOS 2055 HAS SOPS 1755 HAS SOUS 1574 HAS SOUPS 1414 WITH SCORE 1416.055
AT ITER 3934 NEW BEST:: SOT 6055 SOS 2035 HAS SOPS 1735 HAS SOUS 1572 HAS SOUPS 1412 WITH SCORE 1414.035
AT ITER 3962 NEW BEST:: SOT 6054 SOS 2034 HAS SOPS 1733 HAS SOUS 1575 HAS SOUPS 1410 WITH SCORE 1412.034
AT ITER 4002 NEW BEST:: SOT 6052 SOS 2026 HAS SOPS 1725 HAS SOUS 1574 HAS SOUPS 1409 WITH SCORE 1411.026
AT ITER 4062 NEW BEST:: SOT 6050 SOS 2022 HAS SOPS 1725 HAS SOUS 1572 HAS SOUPS 1409 WITH SCORE 1411.022
AT ITER 4082 NEW BEST:: SOT 6043 SOS 2018 HAS SOPS 1721 HAS SOUS 1570 HAS SOUPS 1407 WITH SCORE 1409.018
AT ITER 4095 NEW BEST:: SOT 6043 SOS 2017 HAS SOPS 1721 HAS SOUS 1570 HAS SOUPS 1407 WITH SCORE 1409.017
AT ITER 4388 NEW BEST:: SOT 6041 SOS 2017 HAS SOPS 1721 HAS SOUS 1569 HAS SOUPS 1406 WITH SCORE 1408.017
AT ITER 4413 NEW BEST:: SOT 6038 SOS 2014 HAS SOPS 1718 HAS SOUS 1563 HAS SOUPS 1400 WITH SCORE 1402.014
AT ITER 4440 NEW BEST:: SOT 6040 SOS 2030 HAS SOPS 1716 HAS SOUS 1571 HAS SOUPS 1398 WITH SCORE 1400.03
AT ITER 4607 NEW BEST:: SOT 6036 SOS 2026 HAS SOPS 1714 HAS SOUS 1567 HAS SOUPS 1396 WITH SCORE 1398.026
AT ITER 4669 NEW BEST:: SOT 6034 SOS 2022 HAS SOPS 1714 HAS SOUS 1565 HAS SOUPS 1396 WITH SCORE 1398.022
AT ITER 4705 NEW BEST:: SOT 6034 SOS 2021 HAS SOPS 1713 HAS SOUS 1564 HAS SOUPS 1395 WITH SCORE 1397.021
AT ITER 4746 NEW BEST:: SOT 6032 SOS 2011 HAS SOPS 1711 HAS SOUS 1559 HAS SOUPS 1393 WITH SCORE 1395.011
AT ITER 4760 NEW BEST:: SOT 6028 SOS 2005 HAS SOPS 1705 HAS SOUS 1555 HAS SOUPS 1389 WITH SCORE 1391.005
AT ITER 4766 NEW BEST:: SOT 6026 SOS 2003 HAS SOPS 1703 HAS SOUS 1555 HAS SOUPS 1389 WITH SCORE 1391.003
AT ITER 4817 NEW BEST:: SOT 6026 SOS 2003 HAS SOPS 1703 HAS SOUS 1553 HAS SOUPS 1387 WITH SCORE 1389.003
AT ITER 4876 NEW BEST:: SOT 6021 SOS 1979 HAS SOPS 1698 HAS SOUS 1548 HAS SOUPS 1387 WITH SCORE 1388.979
AT ITER 4879 NEW BEST:: SOT 6094 SOS 2358 HAS SOPS 1692 HAS SOUS 1622 HAS SOUPS 1381 WITH SCORE 1383.358
AT ITER 4943 NEW BEST:: SOT 6094 SOS 2357 HAS SOPS 1691 HAS SOUS 1621 HAS SOUPS 1380 WITH SCORE 1382.357
AT ITER 5105 NEW BEST:: SOT 6093 SOS 2356 HAS SOPS 1690 HAS SOUS 1620 HAS SOUPS 1379 WITH SCORE 1381.356
AT ITER 5110 NEW BEST:: SOT 6093 SOS 2301 HAS SOPS 1690 HAS SOUS 1620 HAS SOUPS 1379 WITH SCORE 1381.301
AT ITER 5197 NEW BEST:: SOT 6092 SOS 2302 HAS SOPS 1688 HAS SOUS 1617 HAS SOUPS 1377 WITH SCORE 1379.302
AT ITER 5212 NEW BEST:: SOT 6091 SOS 2296 HAS SOPS 1682 HAS SOUS 1615 HAS SOUPS 1375 WITH SCORE 1377.296
AT ITER 5359 NEW BEST:: SOT 6088 SOS 2293 HAS SOPS 1676 HAS SOUS 1609 HAS SOUPS 1369 WITH SCORE 1371.293
AT ITER 5542 NEW BEST:: SOT 6088 SOS 2255 HAS SOPS 1676 HAS SOUS 1609 HAS SOUPS 1369 WITH SCORE 1371.255
AT ITER 5578 NEW BEST:: SOT 6088 SOS 2187 HAS SOPS 1676 HAS SOUS 1609 HAS SOUPS 1369 WITH SCORE 1371.187
AT ITER 5650 NEW BEST:: SOT 6087 SOS 2184 HAS SOPS 1673 HAS SOUS 1607 HAS SOUPS 1367 WITH SCORE 1369.184
AT ITER 5683 NEW BEST:: SOT 6085 SOS 2182 HAS SOPS 1671 HAS SOUS 1605 HAS SOUPS 1365 WITH SCORE 1367.182
AT ITER 6069 NEW BEST:: SOT 6075 SOS 2171 HAS SOPS 1670 HAS SOUS 1594 HAS SOUPS 1364 WITH SCORE 1366.171
AT ITER 6163 NEW BEST:: SOT 6073 SOS 2161 HAS SOPS 1670 HAS SOUS 1592 HAS SOUPS 1364 WITH SCORE 1366.161
AT ITER 6259 NEW BEST:: SOT 6076 SOS 2161 HAS SOPS 1670 HAS SOUS 1591 HAS SOUPS 1363 WITH SCORE 1365.161
AT ITER 6391 NEW BEST:: SOT 6075 SOS 2160 HAS SOPS 1669 HAS SOUS 1591 HAS SOUPS 1363 WITH SCORE 1365.16
AT ITER 6780 NEW BEST:: SOT 6073 SOS 2158 HAS SOPS 1669 HAS SOUS 1589 HAS SOUPS 1363 WITH SCORE 1365.158
AT ITER 6851 NEW BEST:: SOT 6072 SOS 2152 HAS SOPS 1663 HAS SOUS 1587 HAS SOUPS 1361 WITH SCORE 1363.152
AT ITER 7002 NEW BEST:: SOT 6074 SOS 2165 HAS SOPS 1664 HAS SOUS 1588 HAS SOUPS 1359 WITH SCORE 1361.165
AT ITER 7547 NEW BEST:: SOT 6072 SOS 2163 HAS SOPS 1660 HAS SOUS 1586 HAS SOUPS 1355 WITH SCORE 1357.163
AT ITER 7589 NEW BEST:: SOT 6070 SOS 2162 HAS SOPS 1659 HAS SOUS 1584 HAS SOUPS 1353 WITH SCORE 1355.162
AT ITER 7689 NEW BEST:: SOT 6019 SOS 2009 HAS SOPS 1659 HAS SOUS 1533 HAS SOUPS 1353 WITH SCORE 1355.009
AT ITER 7727 NEW BEST:: SOT 6019 SOS 1989 HAS SOPS 1639 HAS SOUS 1530 HAS SOUPS 1350 WITH SCORE 1351.989
AT ITER 7959 NEW BEST:: SOT 6017 SOS 1981 HAS SOPS 1631 HAS SOUS 1527 HAS SOUPS 1347 WITH SCORE 1348.981
AT ITER 8023 NEW BEST:: SOT 6014 SOS 1978 HAS SOPS 1628 HAS SOUS 1524 HAS SOUPS 1344 WITH SCORE 1345.978
AT ITER 8161 NEW BEST:: SOT 6014 SOS 1951 HAS SOPS 1628 HAS SOUS 1515 HAS SOUPS 1344 WITH SCORE 1345.951
AT ITER 8177 NEW BEST:: SOT 6014 SOS 1948 HAS SOPS 1625 HAS SOUS 1515 HAS SOUPS 1344 WITH SCORE 1345.948
AT ITER 8341 NEW BEST:: SOT 6013 SOS 1942 HAS SOPS 1619 HAS SOUS 1513 HAS SOUPS 1342 WITH SCORE 1343.942
AT ITER 8483 NEW BEST:: SOT 6015 SOS 1938 HAS SOPS 1615 HAS SOUS 1512 HAS SOUPS 1341 WITH SCORE 1342.938
AT ITER 9002 NEW BEST:: SOT 6014 SOS 1937 HAS SOPS 1614 HAS SOUS 1511 HAS SOUPS 1340 WITH SCORE 1341.937
AT ITER 9126 NEW BEST:: SOT 6013 SOS 1936 HAS SOPS 1613 HAS SOUS 1510 HAS SOUPS 1339 WITH SCORE 1340.936
AT ITER 9141 NEW BEST:: SOT 6009 SOS 1932 HAS SOPS 1613 HAS SOUS 1506 HAS SOUPS 1339 WITH SCORE 1340.932
AT ITER 9169 NEW BEST:: SOT 6015 SOS 1930 HAS SOPS 1611 HAS SOUS 1506 HAS SOUPS 1339 WITH SCORE 1340.93
AT ITER 9379 NEW BEST:: SOT 6006 SOS 1919 HAS SOPS 1609 HAS SOUS 1494 HAS SOUPS 1336 WITH SCORE 1337.919
AT ITER 9659 NEW BEST:: SOT 6009 SOS 1923 HAS SOPS 1608 HAS SOUS 1498 HAS SOUPS 1335 WITH SCORE 1336.923
AT ITER 9762 NEW BEST:: SOT 6009 SOS 1920 HAS SOPS 1605 HAS SOUS 1498 HAS SOUPS 1335 WITH SCORE 1336.92
AT ITER 9913 NEW BEST:: SOT 6008 SOS 1919 HAS SOPS 1605 HAS SOUS 1497 HAS SOUPS 1335 WITH SCORE 1336.919
AT ITER 9976 NEW BEST:: SOT 6008 SOS 1905 HAS SOPS 1591 HAS SOUS 1497 HAS SOUPS 1335 WITH SCORE 1336.905
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 1678472897690

--------------------
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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-oct2-167813590800424"
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 ;