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.r011-oct2-167813600200424.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 smartxred
Input is AutoFlight-PT-04a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600200424
=====================================================================

--------------------
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 1678735400550

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutoFlight-PT-04a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:23:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:23:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:23:23] [INFO ] Load time of PNML (sax parser for PT used): 56 ms
[2023-03-13 19:23:23] [INFO ] Transformed 107 places.
[2023-03-13 19:23:23] [INFO ] Transformed 105 transitions.
[2023-03-13 19:23:23] [INFO ] Found NUPN structural information;
[2023-03-13 19:23:23] [INFO ] Parsed PT model containing 107 places and 105 transitions and 340 arcs in 143 ms.
[2023-03-13 19:23:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 107 places, 105 transitions and 340 arcs took 4 ms.
Total runtime 179 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 04a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 1 NEW BEST:: SOT 8667 SOS 6100 HAS SOPS 6042 HAS SOUS 4349 HAS SOUPS 4325 WITH SCORE 4331.1
AT ITER 2 NEW BEST:: SOT 8623 SOS 5968 HAS SOPS 5910 HAS SOUS 4261 HAS SOUPS 4237 WITH SCORE 4242.968
AT ITER 3 NEW BEST:: SOT 8405 SOS 5775 HAS SOPS 5717 HAS SOUS 4137 HAS SOUPS 4113 WITH SCORE 4118.775
AT ITER 11 NEW BEST:: SOT 8382 SOS 5768 HAS SOPS 5715 HAS SOUS 4135 HAS SOUPS 4111 WITH SCORE 4116.768
AT ITER 12 NEW BEST:: SOT 8377 SOS 5714 HAS SOPS 5661 HAS SOUS 4108 HAS SOUPS 4084 WITH SCORE 4089.714
AT ITER 13 NEW BEST:: SOT 8299 SOS 5694 HAS SOPS 5463 HAS SOUS 4030 HAS SOUPS 3952 WITH SCORE 3957.694
AT ITER 14 NEW BEST:: SOT 8158 SOS 5618 HAS SOPS 5387 HAS SOUS 4023 HAS SOUPS 3945 WITH SCORE 3950.618
AT ITER 15 NEW BEST:: SOT 8157 SOS 5503 HAS SOPS 5272 HAS SOUS 3965 HAS SOUPS 3887 WITH SCORE 3892.503
AT ITER 16 NEW BEST:: SOT 8137 SOS 5483 HAS SOPS 5252 HAS SOUS 3945 HAS SOUPS 3867 WITH SCORE 3872.483
AT ITER 17 NEW BEST:: SOT 8105 SOS 5461 HAS SOPS 5249 HAS SOUS 3942 HAS SOUPS 3864 WITH SCORE 3869.461
AT ITER 19 NEW BEST:: SOT 8104 SOS 5460 HAS SOPS 5277 HAS SOUS 3940 HAS SOUPS 3862 WITH SCORE 3867.46
AT ITER 20 NEW BEST:: SOT 8104 SOS 5423 HAS SOPS 5240 HAS SOUS 3930 HAS SOUPS 3852 WITH SCORE 3857.423
AT ITER 21 NEW BEST:: SOT 8104 SOS 5372 HAS SOPS 5189 HAS SOUS 3913 HAS SOUPS 3835 WITH SCORE 3840.372
AT ITER 22 NEW BEST:: SOT 8068 SOS 5336 HAS SOPS 5153 HAS SOUS 3889 HAS SOUPS 3811 WITH SCORE 3816.336
AT ITER 25 NEW BEST:: SOT 7963 SOS 5231 HAS SOPS 5048 HAS SOUS 3836 HAS SOUPS 3758 WITH SCORE 3763.231
AT ITER 27 NEW BEST:: SOT 7962 SOS 5159 HAS SOPS 4986 HAS SOUS 3834 HAS SOUPS 3756 WITH SCORE 3761.159
AT ITER 33 NEW BEST:: SOT 7965 SOS 5168 HAS SOPS 4959 HAS SOUS 3843 HAS SOUPS 3729 WITH SCORE 3734.168
AT ITER 35 NEW BEST:: SOT 7962 SOS 5173 HAS SOPS 4964 HAS SOUS 3834 HAS SOUPS 3720 WITH SCORE 3725.173
AT ITER 45 NEW BEST:: SOT 7953 SOS 5196 HAS SOPS 4954 HAS SOUS 3857 HAS SOUPS 3710 WITH SCORE 3715.196
AT ITER 46 NEW BEST:: SOT 7952 SOS 5113 HAS SOPS 4898 HAS SOUS 3829 HAS SOUPS 3682 WITH SCORE 3687.113
AT ITER 48 NEW BEST:: SOT 7960 SOS 5090 HAS SOPS 4846 HAS SOUS 3777 HAS SOUPS 3630 WITH SCORE 3635.09
AT ITER 51 NEW BEST:: SOT 7954 SOS 5084 HAS SOPS 4840 HAS SOUS 3771 HAS SOUPS 3624 WITH SCORE 3629.084
AT ITER 56 NEW BEST:: SOT 7954 SOS 4694 HAS SOPS 4450 HAS SOUS 3711 HAS SOUPS 3564 WITH SCORE 3568.694
AT ITER 59 NEW BEST:: SOT 7899 SOS 4489 HAS SOPS 4245 HAS SOUS 3561 HAS SOUPS 3414 WITH SCORE 3418.489
AT ITER 61 NEW BEST:: SOT 7900 SOS 4484 HAS SOPS 4241 HAS SOUS 3556 HAS SOUPS 3410 WITH SCORE 3414.484
AT ITER 68 NEW BEST:: SOT 7937 SOS 4438 HAS SOPS 4195 HAS SOUS 3519 HAS SOUPS 3373 WITH SCORE 3377.438
AT ITER 70 NEW BEST:: SOT 7894 SOS 4395 HAS SOPS 4151 HAS SOUS 3510 HAS SOUPS 3364 WITH SCORE 3368.395
AT ITER 73 NEW BEST:: SOT 7917 SOS 4400 HAS SOPS 4156 HAS SOUS 3508 HAS SOUPS 3362 WITH SCORE 3366.4
AT ITER 74 NEW BEST:: SOT 7916 SOS 4398 HAS SOPS 4154 HAS SOUS 3507 HAS SOUPS 3361 WITH SCORE 3365.398
AT ITER 77 NEW BEST:: SOT 7893 SOS 4375 HAS SOPS 4124 HAS SOUS 3484 HAS SOUPS 3331 WITH SCORE 3335.375
AT ITER 80 NEW BEST:: SOT 7866 SOS 4254 HAS SOPS 4011 HAS SOUS 3410 HAS SOUPS 3257 WITH SCORE 3261.254
AT ITER 81 NEW BEST:: SOT 7862 SOS 4298 HAS SOPS 3977 HAS SOUS 3408 HAS SOUPS 3223 WITH SCORE 3227.298
AT ITER 84 NEW BEST:: SOT 7863 SOS 4213 HAS SOPS 3892 HAS SOUS 3357 HAS SOUPS 3172 WITH SCORE 3176.213
AT ITER 87 NEW BEST:: SOT 7877 SOS 4193 HAS SOPS 3878 HAS SOUS 3339 HAS SOUPS 3154 WITH SCORE 3158.193
AT ITER 88 NEW BEST:: SOT 7808 SOS 4199 HAS SOPS 3884 HAS SOUS 3320 HAS SOUPS 3135 WITH SCORE 3139.199
AT ITER 96 NEW BEST:: SOT 7792 SOS 4199 HAS SOPS 3884 HAS SOUS 3316 HAS SOUPS 3131 WITH SCORE 3135.199
AT ITER 98 NEW BEST:: SOT 7776 SOS 4151 HAS SOPS 3868 HAS SOUS 3295 HAS SOUPS 3115 WITH SCORE 3119.151
AT ITER 99 NEW BEST:: SOT 7767 SOS 4139 HAS SOPS 3855 HAS SOUS 3283 HAS SOUPS 3102 WITH SCORE 3106.139
AT ITER 105 NEW BEST:: SOT 7767 SOS 4103 HAS SOPS 3819 HAS SOUS 3277 HAS SOUPS 3096 WITH SCORE 3100.103
AT ITER 112 NEW BEST:: SOT 7703 SOS 4039 HAS SOPS 3774 HAS SOUS 3232 HAS SOUPS 3051 WITH SCORE 3055.039
AT ITER 114 NEW BEST:: SOT 7702 SOS 4038 HAS SOPS 3773 HAS SOUS 3232 HAS SOUPS 3051 WITH SCORE 3055.038
AT ITER 117 NEW BEST:: SOT 7619 SOS 3955 HAS SOPS 3689 HAS SOUS 3187 HAS SOUPS 3005 WITH SCORE 3008.955
AT ITER 123 NEW BEST:: SOT 7611 SOS 3946 HAS SOPS 3665 HAS SOUS 3165 HAS SOUPS 2981 WITH SCORE 2984.946
AT ITER 128 NEW BEST:: SOT 7619 SOS 3938 HAS SOPS 3665 HAS SOUS 3165 HAS SOUPS 2981 WITH SCORE 2984.938
AT ITER 129 NEW BEST:: SOT 7594 SOS 3897 HAS SOPS 3646 HAS SOUS 3146 HAS SOUPS 2962 WITH SCORE 2965.897
AT ITER 134 NEW BEST:: SOT 7588 SOS 3923 HAS SOPS 3634 HAS SOUS 3144 HAS SOUPS 2950 WITH SCORE 2953.923
AT ITER 136 NEW BEST:: SOT 7586 SOS 3920 HAS SOPS 3631 HAS SOUS 3142 HAS SOUPS 2948 WITH SCORE 2951.92
AT ITER 139 NEW BEST:: SOT 7442 SOS 3740 HAS SOPS 3451 HAS SOUS 3029 HAS SOUPS 2835 WITH SCORE 2838.74
AT ITER 151 NEW BEST:: SOT 7442 SOS 3697 HAS SOPS 3394 HAS SOUS 3005 HAS SOUPS 2797 WITH SCORE 2800.697
AT ITER 152 NEW BEST:: SOT 7484 SOS 3849 HAS SOPS 3378 HAS SOUS 3054 HAS SOUPS 2786 WITH SCORE 2789.849
AT ITER 155 NEW BEST:: SOT 7470 SOS 3821 HAS SOPS 3364 HAS SOUS 3040 HAS SOUPS 2779 WITH SCORE 2782.821
AT ITER 156 NEW BEST:: SOT 7450 SOS 3733 HAS SOPS 3299 HAS SOUS 3006 HAS SOUPS 2745 WITH SCORE 2748.733
AT ITER 161 NEW BEST:: SOT 7430 SOS 3653 HAS SOPS 3219 HAS SOUS 2959 HAS SOUPS 2698 WITH SCORE 2701.653
AT ITER 164 NEW BEST:: SOT 7411 SOS 3616 HAS SOPS 3200 HAS SOUS 2940 HAS SOUPS 2679 WITH SCORE 2682.616
AT ITER 165 NEW BEST:: SOT 7426 SOS 3642 HAS SOPS 3192 HAS SOUS 2958 HAS SOUPS 2671 WITH SCORE 2674.642
AT ITER 168 NEW BEST:: SOT 7423 SOS 3650 HAS SOPS 3186 HAS SOUS 2953 HAS SOUPS 2665 WITH SCORE 2668.65
AT ITER 172 NEW BEST:: SOT 7389 SOS 3680 HAS SOPS 3216 HAS SOUS 2947 HAS SOUPS 2659 WITH SCORE 2662.68
AT ITER 176 NEW BEST:: SOT 7385 SOS 3672 HAS SOPS 3208 HAS SOUS 2941 HAS SOUPS 2653 WITH SCORE 2656.672
AT ITER 177 NEW BEST:: SOT 7375 SOS 3656 HAS SOPS 3192 HAS SOUS 2922 HAS SOUPS 2634 WITH SCORE 2637.656
AT ITER 182 NEW BEST:: SOT 7375 SOS 3634 HAS SOPS 3170 HAS SOUS 2892 HAS SOUPS 2604 WITH SCORE 2607.634
AT ITER 183 NEW BEST:: SOT 7331 SOS 3568 HAS SOPS 3104 HAS SOUS 2848 HAS SOUPS 2560 WITH SCORE 2563.568
AT ITER 186 NEW BEST:: SOT 7263 SOS 3470 HAS SOPS 3042 HAS SOUS 2782 HAS SOUPS 2530 WITH SCORE 2533.47
AT ITER 187 NEW BEST:: SOT 7211 SOS 3374 HAS SOPS 2946 HAS SOUS 2730 HAS SOUPS 2478 WITH SCORE 2481.374
AT ITER 208 NEW BEST:: SOT 7183 SOS 3368 HAS SOPS 2940 HAS SOUS 2705 HAS SOUPS 2453 WITH SCORE 2456.368
AT ITER 211 NEW BEST:: SOT 7170 SOS 3391 HAS SOPS 2942 HAS SOUS 2720 HAS SOUPS 2447 WITH SCORE 2450.391
AT ITER 217 NEW BEST:: SOT 7150 SOS 3371 HAS SOPS 2915 HAS SOUS 2713 HAS SOUPS 2433 WITH SCORE 2436.371
AT ITER 219 NEW BEST:: SOT 7131 SOS 3370 HAS SOPS 2914 HAS SOUS 2712 HAS SOUPS 2432 WITH SCORE 2435.37
AT ITER 232 NEW BEST:: SOT 7122 SOS 3358 HAS SOPS 2902 HAS SOUS 2706 HAS SOUPS 2426 WITH SCORE 2429.358
AT ITER 233 NEW BEST:: SOT 6942 SOS 3102 HAS SOPS 2646 HAS SOUS 2552 HAS SOUPS 2272 WITH SCORE 2275.102
AT ITER 251 NEW BEST:: SOT 6936 SOS 3084 HAS SOPS 2634 HAS SOUS 2540 HAS SOUPS 2266 WITH SCORE 2269.084
AT ITER 258 NEW BEST:: SOT 6928 SOS 3076 HAS SOPS 2626 HAS SOUS 2540 HAS SOUPS 2266 WITH SCORE 2269.076
AT ITER 260 NEW BEST:: SOT 6926 SOS 3074 HAS SOPS 2624 HAS SOUS 2540 HAS SOUPS 2266 WITH SCORE 2269.074
AT ITER 267 NEW BEST:: SOT 6926 SOS 3074 HAS SOPS 2624 HAS SOUS 2539 HAS SOUPS 2265 WITH SCORE 2268.074
AT ITER 268 NEW BEST:: SOT 6893 SOS 3061 HAS SOPS 2611 HAS SOUS 2528 HAS SOUPS 2254 WITH SCORE 2257.061
AT ITER 272 NEW BEST:: SOT 6893 SOS 3061 HAS SOPS 2611 HAS SOUS 2525 HAS SOUPS 2251 WITH SCORE 2254.061
AT ITER 274 NEW BEST:: SOT 6893 SOS 3045 HAS SOPS 2595 HAS SOUS 2525 HAS SOUPS 2251 WITH SCORE 2254.045
AT ITER 287 NEW BEST:: SOT 6894 SOS 3023 HAS SOPS 2578 HAS SOUS 2531 HAS SOUPS 2234 WITH SCORE 2237.023
AT ITER 291 NEW BEST:: SOT 6886 SOS 3040 HAS SOPS 2595 HAS SOUS 2523 HAS SOUPS 2226 WITH SCORE 2229.04
AT ITER 296 NEW BEST:: SOT 6879 SOS 3017 HAS SOPS 2588 HAS SOUS 2516 HAS SOUPS 2219 WITH SCORE 2222.017
AT ITER 299 NEW BEST:: SOT 6861 SOS 3004 HAS SOPS 2575 HAS SOUS 2513 HAS SOUPS 2216 WITH SCORE 2219.004
AT ITER 303 NEW BEST:: SOT 6861 SOS 3026 HAS SOPS 2564 HAS SOUS 2513 HAS SOUPS 2205 WITH SCORE 2208.026
AT ITER 306 NEW BEST:: SOT 6798 SOS 2963 HAS SOPS 2498 HAS SOUS 2507 HAS SOUPS 2199 WITH SCORE 2201.963
AT ITER 307 NEW BEST:: SOT 6777 SOS 2944 HAS SOPS 2498 HAS SOUS 2488 HAS SOUPS 2199 WITH SCORE 2201.944
AT ITER 316 NEW BEST:: SOT 6777 SOS 2941 HAS SOPS 2498 HAS SOUS 2488 HAS SOUPS 2199 WITH SCORE 2201.941
AT ITER 321 NEW BEST:: SOT 6752 SOS 2889 HAS SOPS 2446 HAS SOUS 2436 HAS SOUPS 2147 WITH SCORE 2149.889
AT ITER 324 NEW BEST:: SOT 6752 SOS 2888 HAS SOPS 2446 HAS SOUS 2435 HAS SOUPS 2147 WITH SCORE 2149.888
AT ITER 326 NEW BEST:: SOT 6748 SOS 2884 HAS SOPS 2442 HAS SOUS 2433 HAS SOUPS 2145 WITH SCORE 2147.884
AT ITER 329 NEW BEST:: SOT 6731 SOS 2867 HAS SOPS 2408 HAS SOUS 2416 HAS SOUPS 2111 WITH SCORE 2113.867
AT ITER 344 NEW BEST:: SOT 6727 SOS 2873 HAS SOPS 2406 HAS SOUS 2410 HAS SOUPS 2105 WITH SCORE 2107.873
AT ITER 346 NEW BEST:: SOT 6733 SOS 2877 HAS SOPS 2410 HAS SOUS 2400 HAS SOUPS 2095 WITH SCORE 2097.877
AT ITER 352 NEW BEST:: SOT 6734 SOS 2878 HAS SOPS 2405 HAS SOUS 2395 HAS SOUPS 2090 WITH SCORE 2092.878
AT ITER 377 NEW BEST:: SOT 6732 SOS 2876 HAS SOPS 2405 HAS SOUS 2393 HAS SOUPS 2090 WITH SCORE 2092.876
AT ITER 380 NEW BEST:: SOT 6729 SOS 2871 HAS SOPS 2400 HAS SOUS 2390 HAS SOUPS 2087 WITH SCORE 2089.871
AT ITER 402 NEW BEST:: SOT 6724 SOS 2856 HAS SOPS 2385 HAS SOUS 2385 HAS SOUPS 2082 WITH SCORE 2084.856
AT ITER 430 NEW BEST:: SOT 6724 SOS 2849 HAS SOPS 2378 HAS SOUS 2378 HAS SOUPS 2075 WITH SCORE 2077.849
AT ITER 435 NEW BEST:: SOT 6734 SOS 2850 HAS SOPS 2366 HAS SOUS 2382 HAS SOUPS 2066 WITH SCORE 2068.85
AT ITER 457 NEW BEST:: SOT 6734 SOS 2842 HAS SOPS 2358 HAS SOUS 2382 HAS SOUPS 2066 WITH SCORE 2068.842
AT ITER 463 NEW BEST:: SOT 6709 SOS 2806 HAS SOPS 2311 HAS SOUS 2369 HAS SOUPS 2053 WITH SCORE 2055.806
AT ITER 472 NEW BEST:: SOT 6708 SOS 2804 HAS SOPS 2309 HAS SOUS 2368 HAS SOUPS 2052 WITH SCORE 2054.804
AT ITER 478 NEW BEST:: SOT 6686 SOS 2782 HAS SOPS 2287 HAS SOUS 2346 HAS SOUPS 2030 WITH SCORE 2032.782
AT ITER 480 NEW BEST:: SOT 6678 SOS 2770 HAS SOPS 2271 HAS SOUS 2334 HAS SOUPS 2018 WITH SCORE 2020.77
AT ITER 493 NEW BEST:: SOT 6649 SOS 2718 HAS SOPS 2219 HAS SOUS 2282 HAS SOUPS 1966 WITH SCORE 1968.718
AT ITER 498 NEW BEST:: SOT 6645 SOS 2714 HAS SOPS 2215 HAS SOUS 2278 HAS SOUPS 1962 WITH SCORE 1964.714
AT ITER 507 NEW BEST:: SOT 6619 SOS 2676 HAS SOPS 2177 HAS SOUS 2257 HAS SOUPS 1941 WITH SCORE 1943.676
AT ITER 509 NEW BEST:: SOT 6612 SOS 2672 HAS SOPS 2158 HAS SOUS 2238 HAS SOUPS 1922 WITH SCORE 1924.672
AT ITER 516 NEW BEST:: SOT 6610 SOS 2668 HAS SOPS 2154 HAS SOUS 2234 HAS SOUPS 1918 WITH SCORE 1920.668
AT ITER 525 NEW BEST:: SOT 6605 SOS 2660 HAS SOPS 2146 HAS SOUS 2226 HAS SOUPS 1910 WITH SCORE 1912.66
AT ITER 528 NEW BEST:: SOT 6605 SOS 2616 HAS SOPS 2102 HAS SOUS 2225 HAS SOUPS 1909 WITH SCORE 1911.616
AT ITER 532 NEW BEST:: SOT 6603 SOS 2600 HAS SOPS 2086 HAS SOUS 2209 HAS SOUPS 1893 WITH SCORE 1895.6
AT ITER 559 NEW BEST:: SOT 6603 SOS 2590 HAS SOPS 2076 HAS SOUS 2204 HAS SOUPS 1888 WITH SCORE 1890.59
AT ITER 561 NEW BEST:: SOT 6589 SOS 2579 HAS SOPS 2065 HAS SOUS 2199 HAS SOUPS 1883 WITH SCORE 1885.579
AT ITER 563 NEW BEST:: SOT 6580 SOS 2581 HAS SOPS 2058 HAS SOUS 2192 HAS SOUPS 1876 WITH SCORE 1878.581
AT ITER 567 NEW BEST:: SOT 6572 SOS 2587 HAS SOPS 2059 HAS SOUS 2189 HAS SOUPS 1873 WITH SCORE 1875.587
AT ITER 583 NEW BEST:: SOT 6565 SOS 2569 HAS SOPS 2041 HAS SOUS 2171 HAS SOUPS 1855 WITH SCORE 1857.569
AT ITER 589 NEW BEST:: SOT 6572 SOS 2576 HAS SOPS 2055 HAS SOUS 2157 HAS SOUPS 1841 WITH SCORE 1843.576
AT ITER 593 NEW BEST:: SOT 6572 SOS 2569 HAS SOPS 2048 HAS SOUS 2150 HAS SOUPS 1834 WITH SCORE 1836.569
AT ITER 597 NEW BEST:: SOT 6572 SOS 2574 HAS SOPS 2053 HAS SOUS 2141 HAS SOUPS 1825 WITH SCORE 1827.574
AT ITER 599 NEW BEST:: SOT 6564 SOS 2566 HAS SOPS 2045 HAS SOUS 2133 HAS SOUPS 1817 WITH SCORE 1819.566
AT ITER 601 NEW BEST:: SOT 6550 SOS 2547 HAS SOPS 2040 HAS SOUS 2114 HAS SOUPS 1812 WITH SCORE 1814.547
AT ITER 603 NEW BEST:: SOT 6550 SOS 2522 HAS SOPS 2040 HAS SOUS 2089 HAS SOUPS 1812 WITH SCORE 1814.522
AT ITER 612 NEW BEST:: SOT 6540 SOS 2513 HAS SOPS 2040 HAS SOUS 2089 HAS SOUPS 1812 WITH SCORE 1814.513
AT ITER 624 NEW BEST:: SOT 6539 SOS 2510 HAS SOPS 2037 HAS SOUS 2087 HAS SOUPS 1810 WITH SCORE 1812.51
AT ITER 625 NEW BEST:: SOT 6536 SOS 2500 HAS SOPS 2027 HAS SOUS 2084 HAS SOUPS 1807 WITH SCORE 1809.5
AT ITER 687 NEW BEST:: SOT 6548 SOS 2507 HAS SOPS 2023 HAS SOUS 2092 HAS SOUPS 1804 WITH SCORE 1806.507
AT ITER 690 NEW BEST:: SOT 6547 SOS 2503 HAS SOPS 2020 HAS SOUS 2090 HAS SOUPS 1802 WITH SCORE 1804.503
AT ITER 716 NEW BEST:: SOT 6540 SOS 2493 HAS SOPS 2010 HAS SOUS 2087 HAS SOUPS 1799 WITH SCORE 1801.493
AT ITER 720 NEW BEST:: SOT 6524 SOS 2491 HAS SOPS 1997 HAS SOUS 2085 HAS SOUPS 1786 WITH SCORE 1788.491
AT ITER 741 NEW BEST:: SOT 6524 SOS 2483 HAS SOPS 1997 HAS SOUS 2085 HAS SOUPS 1786 WITH SCORE 1788.483
AT ITER 758 NEW BEST:: SOT 6542 SOS 2474 HAS SOPS 1986 HAS SOUS 2076 HAS SOUPS 1775 WITH SCORE 1777.474
AT ITER 771 NEW BEST:: SOT 6539 SOS 2471 HAS SOPS 1983 HAS SOUS 2073 HAS SOUPS 1772 WITH SCORE 1774.471
AT ITER 776 NEW BEST:: SOT 6538 SOS 2469 HAS SOPS 1982 HAS SOUS 2071 HAS SOUPS 1771 WITH SCORE 1773.469
AT ITER 781 NEW BEST:: SOT 6538 SOS 2477 HAS SOPS 1979 HAS SOUS 2071 HAS SOUPS 1768 WITH SCORE 1770.477
AT ITER 785 NEW BEST:: SOT 6540 SOS 2479 HAS SOPS 1974 HAS SOUS 2066 HAS SOUPS 1763 WITH SCORE 1765.479
AT ITER 801 NEW BEST:: SOT 6531 SOS 2458 HAS SOPS 1953 HAS SOUS 2039 HAS SOUPS 1736 WITH SCORE 1738.458
AT ITER 835 NEW BEST:: SOT 6523 SOS 2450 HAS SOPS 1937 HAS SOUS 2031 HAS SOUPS 1720 WITH SCORE 1722.45
AT ITER 836 NEW BEST:: SOT 6517 SOS 2439 HAS SOPS 1936 HAS SOUS 2020 HAS SOUPS 1719 WITH SCORE 1721.439
AT ITER 842 NEW BEST:: SOT 6533 SOS 2455 HAS SOPS 1935 HAS SOUS 2036 HAS SOUPS 1718 WITH SCORE 1720.455
AT ITER 855 NEW BEST:: SOT 6523 SOS 2451 HAS SOPS 1920 HAS SOUS 2032 HAS SOUPS 1703 WITH SCORE 1705.451
AT ITER 857 NEW BEST:: SOT 6488 SOS 2381 HAS SOPS 1850 HAS SOUS 1997 HAS SOUPS 1668 WITH SCORE 1670.381
AT ITER 879 NEW BEST:: SOT 6484 SOS 2369 HAS SOPS 1838 HAS SOUS 1985 HAS SOUPS 1656 WITH SCORE 1658.369
AT ITER 882 NEW BEST:: SOT 6484 SOS 2367 HAS SOPS 1838 HAS SOUS 1985 HAS SOUPS 1656 WITH SCORE 1658.367
AT ITER 886 NEW BEST:: SOT 6484 SOS 2365 HAS SOPS 1838 HAS SOUS 1983 HAS SOUPS 1656 WITH SCORE 1658.365
AT ITER 905 NEW BEST:: SOT 6476 SOS 2357 HAS SOPS 1826 HAS SOUS 1975 HAS SOUPS 1648 WITH SCORE 1650.357
AT ITER 906 NEW BEST:: SOT 6469 SOS 2346 HAS SOPS 1805 HAS SOUS 1968 HAS SOUPS 1632 WITH SCORE 1634.346
AT ITER 909 NEW BEST:: SOT 6453 SOS 2274 HAS SOPS 1752 HAS SOUS 1934 HAS SOUPS 1598 WITH SCORE 1600.274
AT ITER 923 NEW BEST:: SOT 6452 SOS 2272 HAS SOPS 1751 HAS SOUS 1932 HAS SOUPS 1597 WITH SCORE 1599.272
AT ITER 929 NEW BEST:: SOT 6450 SOS 2264 HAS SOPS 1745 HAS SOUS 1926 HAS SOUPS 1593 WITH SCORE 1595.264
AT ITER 938 NEW BEST:: SOT 6445 SOS 2251 HAS SOPS 1738 HAS SOUS 1913 HAS SOUPS 1586 WITH SCORE 1588.251
AT ITER 975 NEW BEST:: SOT 6445 SOS 2251 HAS SOPS 1729 HAS SOUS 1913 HAS SOUPS 1577 WITH SCORE 1579.251
AT ITER 982 NEW BEST:: SOT 6433 SOS 2239 HAS SOPS 1717 HAS SOUS 1905 HAS SOUPS 1569 WITH SCORE 1571.239
AT ITER 984 NEW BEST:: SOT 6438 SOS 2237 HAS SOPS 1715 HAS SOUS 1903 HAS SOUPS 1567 WITH SCORE 1569.237
AT ITER 990 NEW BEST:: SOT 6422 SOS 2213 HAS SOPS 1707 HAS SOUS 1895 HAS SOUPS 1559 WITH SCORE 1561.213
AT ITER 993 NEW BEST:: SOT 6416 SOS 2207 HAS SOPS 1701 HAS SOUS 1889 HAS SOUPS 1553 WITH SCORE 1555.207
AT ITER 1008 NEW BEST:: SOT 6414 SOS 2217 HAS SOPS 1699 HAS SOUS 1883 HAS SOUPS 1547 WITH SCORE 1549.217
AT ITER 1013 NEW BEST:: SOT 6414 SOS 2214 HAS SOPS 1699 HAS SOUS 1883 HAS SOUPS 1547 WITH SCORE 1549.214
AT ITER 1043 NEW BEST:: SOT 6409 SOS 2202 HAS SOPS 1687 HAS SOUS 1878 HAS SOUPS 1542 WITH SCORE 1544.202
AT ITER 1120 NEW BEST:: SOT 6400 SOS 2180 HAS SOPS 1665 HAS SOUS 1865 HAS SOUPS 1529 WITH SCORE 1531.18
AT ITER 1190 NEW BEST:: SOT 6393 SOS 2168 HAS SOPS 1653 HAS SOUS 1853 HAS SOUPS 1517 WITH SCORE 1519.168
AT ITER 1216 NEW BEST:: SOT 6395 SOS 2169 HAS SOPS 1654 HAS SOUS 1848 HAS SOUPS 1512 WITH SCORE 1514.169
AT ITER 1221 NEW BEST:: SOT 6395 SOS 2149 HAS SOPS 1654 HAS SOUS 1843 HAS SOUPS 1512 WITH SCORE 1514.149
AT ITER 1281 NEW BEST:: SOT 6393 SOS 2144 HAS SOPS 1649 HAS SOUS 1840 HAS SOUPS 1509 WITH SCORE 1511.144
AT ITER 1285 NEW BEST:: SOT 6391 SOS 2131 HAS SOPS 1636 HAS SOUS 1835 HAS SOUPS 1504 WITH SCORE 1506.131
AT ITER 1300 NEW BEST:: SOT 6388 SOS 2125 HAS SOPS 1633 HAS SOUS 1832 HAS SOUPS 1501 WITH SCORE 1503.125
AT ITER 1323 NEW BEST:: SOT 6388 SOS 2124 HAS SOPS 1632 HAS SOUS 1831 HAS SOUPS 1500 WITH SCORE 1502.124
AT ITER 1369 NEW BEST:: SOT 6374 SOS 2118 HAS SOPS 1626 HAS SOUS 1825 HAS SOUPS 1494 WITH SCORE 1496.118
AT ITER 1400 NEW BEST:: SOT 6369 SOS 2113 HAS SOPS 1621 HAS SOUS 1820 HAS SOUPS 1489 WITH SCORE 1491.113
AT ITER 1407 NEW BEST:: SOT 6360 SOS 2095 HAS SOPS 1621 HAS SOUS 1811 HAS SOUPS 1489 WITH SCORE 1491.095
AT ITER 1456 NEW BEST:: SOT 6314 SOS 2016 HAS SOPS 1597 HAS SOUS 1741 HAS SOUPS 1465 WITH SCORE 1467.016
AT ITER 1495 NEW BEST:: SOT 6306 SOS 2000 HAS SOPS 1581 HAS SOUS 1725 HAS SOUPS 1449 WITH SCORE 1451.0
AT ITER 1498 NEW BEST:: SOT 6306 SOS 1999 HAS SOPS 1580 HAS SOUS 1725 HAS SOUPS 1449 WITH SCORE 1450.999
AT ITER 1500 NEW BEST:: SOT 6310 SOS 2006 HAS SOPS 1587 HAS SOUS 1718 HAS SOUPS 1442 WITH SCORE 1444.006
AT ITER 1518 NEW BEST:: SOT 6310 SOS 2002 HAS SOPS 1587 HAS SOUS 1714 HAS SOUPS 1442 WITH SCORE 1444.002
AT ITER 1535 NEW BEST:: SOT 6313 SOS 2012 HAS SOPS 1586 HAS SOUS 1720 HAS SOUPS 1441 WITH SCORE 1443.012
AT ITER 1542 NEW BEST:: SOT 6305 SOS 2010 HAS SOPS 1584 HAS SOUS 1720 HAS SOUPS 1441 WITH SCORE 1443.01
AT ITER 1543 NEW BEST:: SOT 6302 SOS 2007 HAS SOPS 1581 HAS SOUS 1717 HAS SOUPS 1438 WITH SCORE 1440.007
AT ITER 1546 NEW BEST:: SOT 6312 SOS 2006 HAS SOPS 1580 HAS SOUS 1712 HAS SOUPS 1433 WITH SCORE 1435.006
AT ITER 1560 NEW BEST:: SOT 6313 SOS 2039 HAS SOPS 1569 HAS SOUS 1718 HAS SOUPS 1422 WITH SCORE 1424.039
AT ITER 1591 NEW BEST:: SOT 6312 SOS 2038 HAS SOPS 1568 HAS SOUS 1717 HAS SOUPS 1421 WITH SCORE 1423.038
AT ITER 1595 NEW BEST:: SOT 6305 SOS 2022 HAS SOPS 1569 HAS SOUS 1715 HAS SOUPS 1419 WITH SCORE 1421.022
AT ITER 1648 NEW BEST:: SOT 6293 SOS 1998 HAS SOPS 1545 HAS SOUS 1707 HAS SOUPS 1411 WITH SCORE 1412.998
AT ITER 1651 NEW BEST:: SOT 6296 SOS 1989 HAS SOPS 1536 HAS SOUS 1701 HAS SOUPS 1405 WITH SCORE 1406.989
AT ITER 1664 NEW BEST:: SOT 6286 SOS 1979 HAS SOPS 1526 HAS SOUS 1698 HAS SOUPS 1402 WITH SCORE 1403.979
AT ITER 1671 NEW BEST:: SOT 6286 SOS 1975 HAS SOPS 1522 HAS SOUS 1696 HAS SOUPS 1400 WITH SCORE 1401.975
AT ITER 1687 NEW BEST:: SOT 6287 SOS 1974 HAS SOPS 1521 HAS SOUS 1695 HAS SOUPS 1399 WITH SCORE 1400.974
AT ITER 1704 NEW BEST:: SOT 6297 SOS 1972 HAS SOPS 1519 HAS SOUS 1694 HAS SOUPS 1398 WITH SCORE 1399.972
AT ITER 1755 NEW BEST:: SOT 6292 SOS 1968 HAS SOPS 1515 HAS SOUS 1690 HAS SOUPS 1394 WITH SCORE 1395.968
AT ITER 1836 NEW BEST:: SOT 6281 SOS 1954 HAS SOPS 1515 HAS SOUS 1690 HAS SOUPS 1394 WITH SCORE 1395.954
AT ITER 1857 NEW BEST:: SOT 6281 SOS 1942 HAS SOPS 1503 HAS SOUS 1688 HAS SOUPS 1392 WITH SCORE 1393.942
AT ITER 1878 NEW BEST:: SOT 6273 SOS 1940 HAS SOPS 1501 HAS SOUS 1686 HAS SOUPS 1390 WITH SCORE 1391.94
AT ITER 1895 NEW BEST:: SOT 6272 SOS 1927 HAS SOPS 1491 HAS SOUS 1684 HAS SOUPS 1388 WITH SCORE 1389.927
AT ITER 1915 NEW BEST:: SOT 6269 SOS 1922 HAS SOPS 1486 HAS SOUS 1679 HAS SOUPS 1383 WITH SCORE 1384.922
AT ITER 1926 NEW BEST:: SOT 6273 SOS 1920 HAS SOPS 1484 HAS SOUS 1677 HAS SOUPS 1381 WITH SCORE 1382.92
AT ITER 1993 NEW BEST:: SOT 6263 SOS 1912 HAS SOPS 1484 HAS SOUS 1677 HAS SOUPS 1381 WITH SCORE 1382.912
AT ITER 2022 NEW BEST:: SOT 6265 SOS 1920 HAS SOPS 1484 HAS SOUS 1678 HAS SOUPS 1380 WITH SCORE 1381.92
AT ITER 2030 NEW BEST:: SOT 6271 SOS 1919 HAS SOPS 1483 HAS SOUS 1677 HAS SOUPS 1379 WITH SCORE 1380.919
AT ITER 2032 NEW BEST:: SOT 6271 SOS 1915 HAS SOPS 1483 HAS SOUS 1673 HAS SOUPS 1379 WITH SCORE 1380.915
AT ITER 2080 NEW BEST:: SOT 6269 SOS 1911 HAS SOPS 1479 HAS SOUS 1669 HAS SOUPS 1375 WITH SCORE 1376.911
AT ITER 2100 NEW BEST:: SOT 6266 SOS 1899 HAS SOPS 1467 HAS SOUS 1660 HAS SOUPS 1366 WITH SCORE 1367.899
AT ITER 2112 NEW BEST:: SOT 6278 SOS 1911 HAS SOPS 1479 HAS SOUS 1658 HAS SOUPS 1364 WITH SCORE 1365.911
AT ITER 2130 NEW BEST:: SOT 6273 SOS 1898 HAS SOPS 1469 HAS SOUS 1648 HAS SOUPS 1354 WITH SCORE 1355.898
AT ITER 2142 NEW BEST:: SOT 6276 SOS 1897 HAS SOPS 1468 HAS SOUS 1648 HAS SOUPS 1354 WITH SCORE 1355.897
AT ITER 2145 NEW BEST:: SOT 6276 SOS 1891 HAS SOPS 1465 HAS SOUS 1637 HAS SOUPS 1343 WITH SCORE 1344.891
AT ITER 2168 NEW BEST:: SOT 6266 SOS 1881 HAS SOPS 1455 HAS SOUS 1627 HAS SOUPS 1333 WITH SCORE 1334.881
AT ITER 2205 NEW BEST:: SOT 6263 SOS 1900 HAS SOPS 1420 HAS SOUS 1610 HAS SOUPS 1298 WITH SCORE 1299.9
AT ITER 2227 NEW BEST:: SOT 6262 SOS 1899 HAS SOPS 1418 HAS SOUS 1608 HAS SOUPS 1296 WITH SCORE 1297.899
AT ITER 2282 NEW BEST:: SOT 6262 SOS 1898 HAS SOPS 1417 HAS SOUS 1607 HAS SOUPS 1295 WITH SCORE 1296.898
AT ITER 2289 NEW BEST:: SOT 6262 SOS 1901 HAS SOPS 1416 HAS SOUS 1607 HAS SOUPS 1294 WITH SCORE 1295.901
AT ITER 2298 NEW BEST:: SOT 6246 SOS 1887 HAS SOPS 1402 HAS SOUS 1592 HAS SOUPS 1279 WITH SCORE 1280.887
AT ITER 2374 NEW BEST:: SOT 6248 SOS 1896 HAS SOPS 1398 HAS SOUS 1601 HAS SOUPS 1275 WITH SCORE 1276.896
AT ITER 2376 NEW BEST:: SOT 6247 SOS 1905 HAS SOPS 1396 HAS SOUS 1599 HAS SOUPS 1273 WITH SCORE 1274.905
AT ITER 2394 NEW BEST:: SOT 6229 SOS 1869 HAS SOPS 1396 HAS SOUS 1581 HAS SOUPS 1273 WITH SCORE 1274.869
AT ITER 2451 NEW BEST:: SOT 6230 SOS 1869 HAS SOPS 1396 HAS SOUS 1577 HAS SOUPS 1269 WITH SCORE 1270.869
AT ITER 2474 NEW BEST:: SOT 6229 SOS 1868 HAS SOPS 1394 HAS SOUS 1575 HAS SOUPS 1267 WITH SCORE 1268.868
AT ITER 2500 NEW BEST:: SOT 6239 SOS 1871 HAS SOPS 1397 HAS SOUS 1573 HAS SOUPS 1265 WITH SCORE 1266.871
AT ITER 2508 NEW BEST:: SOT 6238 SOS 1865 HAS SOPS 1391 HAS SOUS 1570 HAS SOUPS 1262 WITH SCORE 1263.865
AT ITER 2515 NEW BEST:: SOT 6234 SOS 1861 HAS SOPS 1383 HAS SOUS 1568 HAS SOUPS 1260 WITH SCORE 1261.861
AT ITER 2517 NEW BEST:: SOT 6234 SOS 1858 HAS SOPS 1380 HAS SOUS 1568 HAS SOUPS 1260 WITH SCORE 1261.858
AT ITER 2610 NEW BEST:: SOT 6240 SOS 1864 HAS SOPS 1379 HAS SOUS 1574 HAS SOUPS 1259 WITH SCORE 1260.864
AT ITER 2619 NEW BEST:: SOT 6239 SOS 1865 HAS SOPS 1378 HAS SOUS 1575 HAS SOUPS 1258 WITH SCORE 1259.865
AT ITER 2638 NEW BEST:: SOT 6237 SOS 1865 HAS SOPS 1376 HAS SOUS 1575 HAS SOUPS 1256 WITH SCORE 1257.865
AT ITER 2651 NEW BEST:: SOT 6222 SOS 1842 HAS SOPS 1353 HAS SOUS 1562 HAS SOUPS 1243 WITH SCORE 1244.842
AT ITER 2694 NEW BEST:: SOT 6221 SOS 1841 HAS SOPS 1352 HAS SOUS 1562 HAS SOUPS 1243 WITH SCORE 1244.841
AT ITER 2756 NEW BEST:: SOT 6219 SOS 1837 HAS SOPS 1348 HAS SOUS 1558 HAS SOUPS 1239 WITH SCORE 1240.837
AT ITER 2826 NEW BEST:: SOT 6217 SOS 1831 HAS SOPS 1342 HAS SOUS 1554 HAS SOUPS 1235 WITH SCORE 1236.831
AT ITER 2911 NEW BEST:: SOT 6216 SOS 1830 HAS SOPS 1341 HAS SOUS 1552 HAS SOUPS 1233 WITH SCORE 1234.83
AT ITER 2965 NEW BEST:: SOT 6216 SOS 1822 HAS SOPS 1341 HAS SOUS 1544 HAS SOUPS 1233 WITH SCORE 1234.822
AT ITER 3035 NEW BEST:: SOT 6216 SOS 1798 HAS SOPS 1341 HAS SOUS 1544 HAS SOUPS 1233 WITH SCORE 1234.798
AT ITER 3063 NEW BEST:: SOT 6215 SOS 1793 HAS SOPS 1336 HAS SOUS 1544 HAS SOUPS 1233 WITH SCORE 1234.793
AT ITER 3095 NEW BEST:: SOT 6216 SOS 1792 HAS SOPS 1335 HAS SOUS 1544 HAS SOUPS 1233 WITH SCORE 1234.792
AT ITER 3219 NEW BEST:: SOT 6214 SOS 1779 HAS SOPS 1324 HAS SOUS 1540 HAS SOUPS 1229 WITH SCORE 1230.779
AT ITER 3384 NEW BEST:: SOT 6202 SOS 1767 HAS SOPS 1324 HAS SOUS 1528 HAS SOUPS 1229 WITH SCORE 1230.767
AT ITER 3535 NEW BEST:: SOT 6202 SOS 1767 HAS SOPS 1319 HAS SOUS 1529 HAS SOUPS 1225 WITH SCORE 1226.767
AT ITER 3633 NEW BEST:: SOT 6201 SOS 1769 HAS SOPS 1314 HAS SOUS 1524 HAS SOUPS 1220 WITH SCORE 1221.769
AT ITER 3640 NEW BEST:: SOT 6200 SOS 1767 HAS SOPS 1312 HAS SOUS 1523 HAS SOUPS 1219 WITH SCORE 1220.767
AT ITER 3669 NEW BEST:: SOT 6198 SOS 1765 HAS SOPS 1310 HAS SOUS 1522 HAS SOUPS 1218 WITH SCORE 1219.765
AT ITER 3670 NEW BEST:: SOT 6194 SOS 1759 HAS SOPS 1304 HAS SOUS 1518 HAS SOUPS 1214 WITH SCORE 1215.759
AT ITER 3689 NEW BEST:: SOT 6192 SOS 1756 HAS SOPS 1301 HAS SOUS 1515 HAS SOUPS 1211 WITH SCORE 1212.756
AT ITER 3863 NEW BEST:: SOT 6190 SOS 1753 HAS SOPS 1298 HAS SOUS 1512 HAS SOUPS 1208 WITH SCORE 1209.753
AT ITER 3882 NEW BEST:: SOT 6192 SOS 1746 HAS SOPS 1291 HAS SOUS 1509 HAS SOUPS 1205 WITH SCORE 1206.746
AT ITER 3987 NEW BEST:: SOT 6191 SOS 1741 HAS SOPS 1291 HAS SOUS 1507 HAS SOUPS 1205 WITH SCORE 1206.741
AT ITER 4100 NEW BEST:: SOT 6196 SOS 1734 HAS SOPS 1288 HAS SOUS 1503 HAS SOUPS 1205 WITH SCORE 1206.734
AT ITER 4125 NEW BEST:: SOT 6200 SOS 1731 HAS SOPS 1285 HAS SOUS 1503 HAS SOUPS 1205 WITH SCORE 1206.731
AT ITER 4180 NEW BEST:: SOT 6204 SOS 1732 HAS SOPS 1284 HAS SOUS 1504 HAS SOUPS 1204 WITH SCORE 1205.732
AT ITER 4185 NEW BEST:: SOT 6203 SOS 1731 HAS SOPS 1282 HAS SOUS 1502 HAS SOUPS 1202 WITH SCORE 1203.731
AT ITER 4204 NEW BEST:: SOT 6203 SOS 1728 HAS SOPS 1279 HAS SOUS 1500 HAS SOUPS 1200 WITH SCORE 1201.728
AT ITER 4207 NEW BEST:: SOT 6202 SOS 1726 HAS SOPS 1277 HAS SOUS 1499 HAS SOUPS 1199 WITH SCORE 1200.726
AT ITER 4248 NEW BEST:: SOT 6200 SOS 1723 HAS SOPS 1273 HAS SOUS 1495 HAS SOUPS 1195 WITH SCORE 1196.723
AT ITER 4349 NEW BEST:: SOT 6200 SOS 1726 HAS SOPS 1274 HAS SOUS 1496 HAS SOUPS 1194 WITH SCORE 1195.726
AT ITER 4391 NEW BEST:: SOT 6197 SOS 1725 HAS SOPS 1273 HAS SOUS 1495 HAS SOUPS 1193 WITH SCORE 1194.725
AT ITER 4401 NEW BEST:: SOT 6197 SOS 1727 HAS SOPS 1272 HAS SOUS 1495 HAS SOUPS 1192 WITH SCORE 1193.727
AT ITER 4413 NEW BEST:: SOT 6197 SOS 1713 HAS SOPS 1250 HAS SOUS 1489 HAS SOUPS 1178 WITH SCORE 1179.713
AT ITER 4708 NEW BEST:: SOT 6197 SOS 1713 HAS SOPS 1249 HAS SOUS 1488 HAS SOUPS 1177 WITH SCORE 1178.713
AT ITER 4816 NEW BEST:: SOT 6196 SOS 1712 HAS SOPS 1248 HAS SOUS 1488 HAS SOUPS 1177 WITH SCORE 1178.712
AT ITER 4828 NEW BEST:: SOT 6195 SOS 1709 HAS SOPS 1248 HAS SOUS 1487 HAS SOUPS 1177 WITH SCORE 1178.709
AT ITER 5036 NEW BEST:: SOT 6187 SOS 1700 HAS SOPS 1242 HAS SOUS 1481 HAS SOUPS 1171 WITH SCORE 1172.7
AT ITER 5095 NEW BEST:: SOT 6184 SOS 1697 HAS SOPS 1242 HAS SOUS 1478 HAS SOUPS 1171 WITH SCORE 1172.697
AT ITER 5129 NEW BEST:: SOT 6180 SOS 1696 HAS SOPS 1241 HAS SOUS 1478 HAS SOUPS 1171 WITH SCORE 1172.696
AT ITER 5393 NEW BEST:: SOT 6179 SOS 1690 HAS SOPS 1236 HAS SOUS 1476 HAS SOUPS 1169 WITH SCORE 1170.69
AT ITER 5557 NEW BEST:: SOT 6179 SOS 1688 HAS SOPS 1236 HAS SOUS 1474 HAS SOUPS 1169 WITH SCORE 1170.688
AT ITER 5643 NEW BEST:: SOT 6179 SOS 1679 HAS SOPS 1236 HAS SOUS 1471 HAS SOUPS 1169 WITH SCORE 1170.679
AT ITER 6017 NEW BEST:: SOT 6180 SOS 1682 HAS SOPS 1235 HAS SOUS 1472 HAS SOUPS 1168 WITH SCORE 1169.682
AT ITER 6023 NEW BEST:: SOT 6182 SOS 1688 HAS SOPS 1233 HAS SOUS 1473 HAS SOUPS 1166 WITH SCORE 1167.688
AT ITER 6056 NEW BEST:: SOT 6180 SOS 1685 HAS SOPS 1230 HAS SOUS 1470 HAS SOUPS 1163 WITH SCORE 1164.685
AT ITER 6105 NEW BEST:: SOT 6174 SOS 1679 HAS SOPS 1230 HAS SOUS 1464 HAS SOUPS 1163 WITH SCORE 1164.679
AT ITER 6258 NEW BEST:: SOT 6168 SOS 1682 HAS SOPS 1233 HAS SOUS 1463 HAS SOUPS 1162 WITH SCORE 1163.682
AT ITER 6383 NEW BEST:: SOT 6166 SOS 1674 HAS SOPS 1233 HAS SOUS 1459 HAS SOUPS 1162 WITH SCORE 1163.674
AT ITER 6395 NEW BEST:: SOT 6165 SOS 1673 HAS SOPS 1231 HAS SOUS 1458 HAS SOUPS 1160 WITH SCORE 1161.673
AT ITER 6399 NEW BEST:: SOT 6162 SOS 1672 HAS SOPS 1230 HAS SOUS 1457 HAS SOUPS 1159 WITH SCORE 1160.672
AT ITER 6544 NEW BEST:: SOT 6162 SOS 1670 HAS SOPS 1230 HAS SOUS 1457 HAS SOUPS 1159 WITH SCORE 1160.67
AT ITER 6755 NEW BEST:: SOT 6156 SOS 1679 HAS SOPS 1227 HAS SOUS 1466 HAS SOUPS 1156 WITH SCORE 1157.679
AT ITER 6810 NEW BEST:: SOT 6154 SOS 1677 HAS SOPS 1225 HAS SOUS 1464 HAS SOUPS 1154 WITH SCORE 1155.677
AT ITER 7052 NEW BEST:: SOT 6154 SOS 1676 HAS SOPS 1224 HAS SOUS 1463 HAS SOUPS 1153 WITH SCORE 1154.676
AT ITER 7228 NEW BEST:: SOT 6150 SOS 1674 HAS SOPS 1222 HAS SOUS 1463 HAS SOUPS 1153 WITH SCORE 1154.674
AT ITER 7310 NEW BEST:: SOT 6152 SOS 1677 HAS SOPS 1221 HAS SOUS 1466 HAS SOUPS 1152 WITH SCORE 1153.677
AT ITER 7318 NEW BEST:: SOT 6152 SOS 1676 HAS SOPS 1221 HAS SOUS 1465 HAS SOUPS 1152 WITH SCORE 1153.676
AT ITER 7336 NEW BEST:: SOT 6148 SOS 1674 HAS SOPS 1219 HAS SOUS 1462 HAS SOUPS 1149 WITH SCORE 1150.674
AT ITER 7469 NEW BEST:: SOT 6146 SOS 1668 HAS SOPS 1213 HAS SOUS 1458 HAS SOUPS 1145 WITH SCORE 1146.668
AT ITER 7685 NEW BEST:: SOT 6146 SOS 1667 HAS SOPS 1212 HAS SOUS 1457 HAS SOUPS 1144 WITH SCORE 1145.667
AT ITER 7854 NEW BEST:: SOT 6143 SOS 1647 HAS SOPS 1210 HAS SOUS 1450 HAS SOUPS 1142 WITH SCORE 1143.647
AT ITER 8004 NEW BEST:: SOT 6141 SOS 1641 HAS SOPS 1210 HAS SOUS 1448 HAS SOUPS 1142 WITH SCORE 1143.641
AT ITER 8242 NEW BEST:: SOT 6141 SOS 1639 HAS SOPS 1208 HAS SOUS 1447 HAS SOUPS 1141 WITH SCORE 1142.639
AT ITER 8420 NEW BEST:: SOT 6139 SOS 1637 HAS SOPS 1202 HAS SOUS 1445 HAS SOUPS 1135 WITH SCORE 1136.637
AT ITER 8482 NEW BEST:: SOT 6137 SOS 1631 HAS SOPS 1196 HAS SOUS 1439 HAS SOUPS 1129 WITH SCORE 1130.631
AT ITER 8661 NEW BEST:: SOT 6137 SOS 1630 HAS SOPS 1195 HAS SOUS 1437 HAS SOUPS 1127 WITH SCORE 1128.63
AT ITER 8717 NEW BEST:: SOT 6137 SOS 1629 HAS SOPS 1194 HAS SOUS 1436 HAS SOUPS 1126 WITH SCORE 1127.629
AT ITER 8737 NEW BEST:: SOT 6136 SOS 1628 HAS SOPS 1193 HAS SOUS 1435 HAS SOUPS 1125 WITH SCORE 1126.628
AT ITER 8995 NEW BEST:: SOT 6136 SOS 1610 HAS SOPS 1193 HAS SOUS 1417 HAS SOUPS 1125 WITH SCORE 1126.61
AT ITER 9463 NEW BEST:: SOT 6128 SOS 1605 HAS SOPS 1188 HAS SOUS 1414 HAS SOUPS 1122 WITH SCORE 1123.605
AT ITER 9468 NEW BEST:: SOT 6124 SOS 1599 HAS SOPS 1181 HAS SOUS 1410 HAS SOUPS 1117 WITH SCORE 1118.599
AT ITER 9574 NEW BEST:: SOT 6124 SOS 1563 HAS SOPS 1181 HAS SOUS 1374 HAS SOUPS 1117 WITH SCORE 1118.563
AT ITER 9613 NEW BEST:: SOT 6123 SOS 1562 HAS SOPS 1179 HAS SOUS 1372 HAS SOUPS 1115 WITH SCORE 1116.562
AT ITER 9684 NEW BEST:: SOT 6123 SOS 1560 HAS SOPS 1177 HAS SOUS 1372 HAS SOUPS 1115 WITH SCORE 1116.56
AT ITER 9711 NEW BEST:: SOT 6120 SOS 1544 HAS SOPS 1171 HAS SOUS 1366 HAS SOUPS 1109 WITH SCORE 1110.544
AT ITER 9732 NEW BEST:: SOT 6120 SOS 1543 HAS SOPS 1170 HAS SOUS 1365 HAS SOUPS 1108 WITH SCORE 1109.543
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 1678735406055

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r011-oct2-167813600200424"
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 ;