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-158897508500433.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-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508500433
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.4K Mar 25 23:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 23:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 15:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 15:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 10:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 10:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 36K 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 1589150743918

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

Filename model.pnml
Petri model created: 132 places, 130 transitions, 420 arcs.
AT ITER 0 NEW BEST:: SOT 13209 SOS 9331 HAS SOPS 9331 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6489.331
AT ITER 1 NEW BEST:: SOT 12981 SOS 9197 HAS SOPS 9197 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6345.197
AT ITER 4 NEW BEST:: SOT 12960 SOS 9176 HAS SOPS 9176 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6341.176
AT ITER 5 NEW BEST:: SOT 12960 SOS 8983 HAS SOPS 8983 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6216.983
AT ITER 11 NEW BEST:: SOT 12723 SOS 8837 HAS SOPS 8837 HAS SOUS 6182 HAS SOUPS 6182 WITH SCORE 6190.837
AT ITER 12 NEW BEST:: SOT 12723 SOS 8788 HAS SOPS 8788 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6189.788
AT ITER 14 NEW BEST:: SOT 12797 SOS 8649 HAS SOPS 8649 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6106.649
AT ITER 15 NEW BEST:: SOT 12493 SOS 8344 HAS SOPS 8344 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5923.344
AT ITER 16 NEW BEST:: SOT 12388 SOS 8238 HAS SOPS 8238 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5854.238
AT ITER 17 NEW BEST:: SOT 12298 SOS 8168 HAS SOPS 8168 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5784.168
AT ITER 18 NEW BEST:: SOT 12232 SOS 8091 HAS SOPS 8091 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5719.091
AT ITER 19 NEW BEST:: SOT 12232 SOS 8089 HAS SOPS 8089 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5717.089
AT ITER 22 NEW BEST:: SOT 12232 SOS 8040 HAS SOPS 8040 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5716.04
AT ITER 24 NEW BEST:: SOT 12204 SOS 8012 HAS SOPS 8012 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5688.012
AT ITER 26 NEW BEST:: SOT 12188 SOS 7972 HAS SOPS 7972 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5677.972
AT ITER 29 NEW BEST:: SOT 12069 SOS 7895 HAS SOPS 7852 HAS SOUS 5572 HAS SOUPS 5550 WITH SCORE 5557.895
AT ITER 34 NEW BEST:: SOT 12066 SOS 7920 HAS SOPS 7848 HAS SOUS 5585 HAS SOUPS 5546 WITH SCORE 5553.92
AT ITER 36 NEW BEST:: SOT 12066 SOS 7819 HAS SOPS 7747 HAS SOUS 5534 HAS SOUPS 5495 WITH SCORE 5502.819
AT ITER 37 NEW BEST:: SOT 12064 SOS 7814 HAS SOPS 7742 HAS SOUS 5531 HAS SOUPS 5492 WITH SCORE 5499.814
AT ITER 40 NEW BEST:: SOT 12090 SOS 7865 HAS SOPS 7793 HAS SOUS 5509 HAS SOUPS 5470 WITH SCORE 5477.865
AT ITER 41 NEW BEST:: SOT 12090 SOS 7213 HAS SOPS 7141 HAS SOUS 5504 HAS SOUPS 5465 WITH SCORE 5472.213
AT ITER 42 NEW BEST:: SOT 12020 SOS 7143 HAS SOPS 7071 HAS SOUS 5490 HAS SOUPS 5451 WITH SCORE 5458.143
AT ITER 45 NEW BEST:: SOT 11959 SOS 7082 HAS SOPS 7010 HAS SOUS 5429 HAS SOUPS 5390 WITH SCORE 5397.082
AT ITER 46 NEW BEST:: SOT 11889 SOS 7069 HAS SOPS 6891 HAS SOUS 5348 HAS SOUPS 5271 WITH SCORE 5278.069
AT ITER 49 NEW BEST:: SOT 11895 SOS 7022 HAS SOPS 6844 HAS SOUS 5346 HAS SOUPS 5269 WITH SCORE 5276.022
AT ITER 51 NEW BEST:: SOT 11861 SOS 6998 HAS SOPS 6837 HAS SOUS 5320 HAS SOUPS 5249 WITH SCORE 5255.998
AT ITER 53 NEW BEST:: SOT 11861 SOS 6845 HAS SOPS 6684 HAS SOUS 5236 HAS SOUPS 5165 WITH SCORE 5171.845
AT ITER 56 NEW BEST:: SOT 11813 SOS 6796 HAS SOPS 6635 HAS SOUS 5234 HAS SOUPS 5163 WITH SCORE 5169.796
AT ITER 58 NEW BEST:: SOT 11801 SOS 6759 HAS SOPS 6583 HAS SOUS 5210 HAS SOUPS 5124 WITH SCORE 5130.759
AT ITER 61 NEW BEST:: SOT 11762 SOS 6720 HAS SOPS 6544 HAS SOUS 5156 HAS SOUPS 5070 WITH SCORE 5076.72
AT ITER 64 NEW BEST:: SOT 11496 SOS 6486 HAS SOPS 6310 HAS SOUS 5027 HAS SOUPS 4941 WITH SCORE 4947.486
AT ITER 66 NEW BEST:: SOT 11480 SOS 6472 HAS SOPS 6296 HAS SOUS 5008 HAS SOUPS 4922 WITH SCORE 4928.472
AT ITER 80 NEW BEST:: SOT 11505 SOS 6497 HAS SOPS 6321 HAS SOUS 5007 HAS SOUPS 4921 WITH SCORE 4927.497
AT ITER 81 NEW BEST:: SOT 11476 SOS 6463 HAS SOPS 6277 HAS SOUS 4947 HAS SOUPS 4851 WITH SCORE 4857.463
AT ITER 89 NEW BEST:: SOT 11384 SOS 6421 HAS SOPS 6235 HAS SOUS 4891 HAS SOUPS 4795 WITH SCORE 4801.421
AT ITER 90 NEW BEST:: SOT 11384 SOS 6409 HAS SOPS 6223 HAS SOUS 4891 HAS SOUPS 4795 WITH SCORE 4801.409
AT ITER 95 NEW BEST:: SOT 11326 SOS 6351 HAS SOPS 6165 HAS SOUS 4869 HAS SOUPS 4773 WITH SCORE 4779.351
AT ITER 100 NEW BEST:: SOT 11280 SOS 6305 HAS SOPS 6119 HAS SOUS 4858 HAS SOUPS 4762 WITH SCORE 4768.305
AT ITER 101 NEW BEST:: SOT 11214 SOS 6172 HAS SOPS 6007 HAS SOUS 4746 HAS SOUPS 4650 WITH SCORE 4656.172
AT ITER 105 NEW BEST:: SOT 11194 SOS 6122 HAS SOPS 5957 HAS SOUS 4732 HAS SOUPS 4636 WITH SCORE 4642.122
AT ITER 106 NEW BEST:: SOT 11194 SOS 6089 HAS SOPS 5929 HAS SOUS 4718 HAS SOUPS 4622 WITH SCORE 4628.089
AT ITER 109 NEW BEST:: SOT 11143 SOS 5920 HAS SOPS 5760 HAS SOUS 4594 HAS SOUPS 4498 WITH SCORE 4503.92
AT ITER 111 NEW BEST:: SOT 11135 SOS 5776 HAS SOPS 5616 HAS SOUS 4520 HAS SOUPS 4424 WITH SCORE 4429.776
AT ITER 117 NEW BEST:: SOT 11171 SOS 5775 HAS SOPS 5608 HAS SOUS 4519 HAS SOUPS 4416 WITH SCORE 4421.775
AT ITER 119 NEW BEST:: SOT 11094 SOS 5698 HAS SOPS 5531 HAS SOUS 4482 HAS SOUPS 4379 WITH SCORE 4384.698
AT ITER 122 NEW BEST:: SOT 11127 SOS 5648 HAS SOPS 5418 HAS SOUS 4490 HAS SOUPS 4324 WITH SCORE 4329.648
AT ITER 126 NEW BEST:: SOT 11115 SOS 5636 HAS SOPS 5406 HAS SOUS 4477 HAS SOUPS 4311 WITH SCORE 4316.636
AT ITER 127 NEW BEST:: SOT 11091 SOS 5513 HAS SOPS 5309 HAS SOUS 4404 HAS SOUPS 4258 WITH SCORE 4263.513
AT ITER 129 NEW BEST:: SOT 11091 SOS 5504 HAS SOPS 5300 HAS SOUS 4395 HAS SOUPS 4249 WITH SCORE 4254.504
AT ITER 131 NEW BEST:: SOT 11067 SOS 5480 HAS SOPS 5276 HAS SOUS 4371 HAS SOUPS 4225 WITH SCORE 4230.48
AT ITER 135 NEW BEST:: SOT 11061 SOS 5465 HAS SOPS 5261 HAS SOUS 4362 HAS SOUPS 4216 WITH SCORE 4221.465
AT ITER 136 NEW BEST:: SOT 11060 SOS 5464 HAS SOPS 5260 HAS SOUS 4361 HAS SOUPS 4215 WITH SCORE 4220.464
AT ITER 137 NEW BEST:: SOT 11073 SOS 5338 HAS SOPS 5149 HAS SOUS 4352 HAS SOUPS 4206 WITH SCORE 4211.338
AT ITER 140 NEW BEST:: SOT 11072 SOS 5259 HAS SOPS 5097 HAS SOUS 4340 HAS SOUPS 4204 WITH SCORE 4209.259
AT ITER 142 NEW BEST:: SOT 10992 SOS 5179 HAS SOPS 5017 HAS SOUS 4309 HAS SOUPS 4173 WITH SCORE 4178.179
AT ITER 149 NEW BEST:: SOT 10758 SOS 5086 HAS SOPS 4896 HAS SOUS 4216 HAS SOUPS 4069 WITH SCORE 4074.086
AT ITER 158 NEW BEST:: SOT 10676 SOS 5001 HAS SOPS 4785 HAS SOUS 4106 HAS SOUPS 3933 WITH SCORE 3938.001
AT ITER 161 NEW BEST:: SOT 10642 SOS 4951 HAS SOPS 4682 HAS SOUS 4050 HAS SOUPS 3830 WITH SCORE 3834.951
AT ITER 162 NEW BEST:: SOT 10635 SOS 4944 HAS SOPS 4664 HAS SOUS 4047 HAS SOUPS 3816 WITH SCORE 3820.944
AT ITER 170 NEW BEST:: SOT 10635 SOS 4944 HAS SOPS 4664 HAS SOUS 4030 HAS SOUPS 3799 WITH SCORE 3803.944
AT ITER 174 NEW BEST:: SOT 10619 SOS 4975 HAS SOPS 4648 HAS SOUS 4043 HAS SOUPS 3783 WITH SCORE 3787.975
AT ITER 175 NEW BEST:: SOT 10619 SOS 4971 HAS SOPS 4644 HAS SOUS 4043 HAS SOUPS 3783 WITH SCORE 3787.971
AT ITER 176 NEW BEST:: SOT 10588 SOS 4926 HAS SOPS 4599 HAS SOUS 4028 HAS SOUPS 3768 WITH SCORE 3772.926
AT ITER 194 NEW BEST:: SOT 10584 SOS 4920 HAS SOPS 4595 HAS SOUS 4024 HAS SOUPS 3766 WITH SCORE 3770.92
AT ITER 207 NEW BEST:: SOT 10554 SOS 4948 HAS SOPS 4623 HAS SOUS 3994 HAS SOUPS 3736 WITH SCORE 3740.948
AT ITER 209 NEW BEST:: SOT 10548 SOS 4933 HAS SOPS 4617 HAS SOUS 3982 HAS SOUPS 3730 WITH SCORE 3734.933
AT ITER 210 NEW BEST:: SOT 10545 SOS 4911 HAS SOPS 4595 HAS SOUS 3960 HAS SOUPS 3708 WITH SCORE 3712.911
AT ITER 214 NEW BEST:: SOT 10545 SOS 4911 HAS SOPS 4594 HAS SOUS 3960 HAS SOUPS 3707 WITH SCORE 3711.911
AT ITER 217 NEW BEST:: SOT 10505 SOS 4883 HAS SOPS 4508 HAS SOUS 3903 HAS SOUPS 3621 WITH SCORE 3625.883
AT ITER 220 NEW BEST:: SOT 10484 SOS 4824 HAS SOPS 4487 HAS SOUS 3882 HAS SOUPS 3620 WITH SCORE 3624.824
AT ITER 225 NEW BEST:: SOT 10424 SOS 4782 HAS SOPS 4445 HAS SOUS 3853 HAS SOUPS 3591 WITH SCORE 3595.782
AT ITER 242 NEW BEST:: SOT 10390 SOS 4721 HAS SOPS 4377 HAS SOUS 3802 HAS SOUPS 3540 WITH SCORE 3544.721
AT ITER 255 NEW BEST:: SOT 10374 SOS 4576 HAS SOPS 4232 HAS SOUS 3751 HAS SOUPS 3489 WITH SCORE 3493.576
AT ITER 262 NEW BEST:: SOT 10428 SOS 4538 HAS SOPS 4182 HAS SOUS 3707 HAS SOUPS 3433 WITH SCORE 3437.538
AT ITER 265 NEW BEST:: SOT 10417 SOS 4457 HAS SOPS 4101 HAS SOUS 3695 HAS SOUPS 3421 WITH SCORE 3425.457
AT ITER 268 NEW BEST:: SOT 10416 SOS 4440 HAS SOPS 4084 HAS SOUS 3671 HAS SOUPS 3397 WITH SCORE 3401.44
AT ITER 270 NEW BEST:: SOT 10416 SOS 4440 HAS SOPS 4084 HAS SOUS 3667 HAS SOUPS 3393 WITH SCORE 3397.44
AT ITER 274 NEW BEST:: SOT 10410 SOS 4421 HAS SOPS 4072 HAS SOUS 3655 HAS SOUPS 3381 WITH SCORE 3385.421
AT ITER 276 NEW BEST:: SOT 10398 SOS 4409 HAS SOPS 4060 HAS SOUS 3649 HAS SOUPS 3375 WITH SCORE 3379.409
AT ITER 288 NEW BEST:: SOT 10394 SOS 4361 HAS SOPS 4012 HAS SOUS 3629 HAS SOUPS 3355 WITH SCORE 3359.361
AT ITER 310 NEW BEST:: SOT 10389 SOS 4210 HAS SOPS 3861 HAS SOUS 3602 HAS SOUPS 3328 WITH SCORE 3332.21
AT ITER 316 NEW BEST:: SOT 10384 SOS 4205 HAS SOPS 3878 HAS SOUS 3578 HAS SOUPS 3326 WITH SCORE 3330.205
AT ITER 327 NEW BEST:: SOT 10382 SOS 4203 HAS SOPS 3876 HAS SOUS 3576 HAS SOUPS 3324 WITH SCORE 3328.203
AT ITER 328 NEW BEST:: SOT 10381 SOS 4202 HAS SOPS 3866 HAS SOUS 3572 HAS SOUPS 3317 WITH SCORE 3321.202
AT ITER 334 NEW BEST:: SOT 10384 SOS 4238 HAS SOPS 3858 HAS SOUS 3578 HAS SOUPS 3309 WITH SCORE 3313.238
AT ITER 336 NEW BEST:: SOT 10384 SOS 4238 HAS SOPS 3852 HAS SOUS 3572 HAS SOUPS 3303 WITH SCORE 3307.238
AT ITER 340 NEW BEST:: SOT 10379 SOS 4192 HAS SOPS 3806 HAS SOUS 3563 HAS SOUPS 3294 WITH SCORE 3298.192
AT ITER 359 NEW BEST:: SOT 10359 SOS 4177 HAS SOPS 3784 HAS SOUS 3554 HAS SOUPS 3278 WITH SCORE 3282.177
AT ITER 366 NEW BEST:: SOT 10345 SOS 4163 HAS SOPS 3775 HAS SOUS 3546 HAS SOUPS 3269 WITH SCORE 3273.163
AT ITER 372 NEW BEST:: SOT 10323 SOS 4031 HAS SOPS 3691 HAS SOUS 3485 HAS SOUPS 3208 WITH SCORE 3212.031
AT ITER 375 NEW BEST:: SOT 10307 SOS 4015 HAS SOPS 3675 HAS SOUS 3469 HAS SOUPS 3192 WITH SCORE 3196.015
AT ITER 377 NEW BEST:: SOT 10319 SOS 4027 HAS SOPS 3667 HAS SOUS 3481 HAS SOUPS 3184 WITH SCORE 3188.027
AT ITER 387 NEW BEST:: SOT 10309 SOS 3998 HAS SOPS 3638 HAS SOUS 3452 HAS SOUPS 3155 WITH SCORE 3158.998
AT ITER 408 NEW BEST:: SOT 10309 SOS 3966 HAS SOPS 3606 HAS SOUS 3420 HAS SOUPS 3123 WITH SCORE 3126.966
AT ITER 409 NEW BEST:: SOT 10309 SOS 3964 HAS SOPS 3604 HAS SOUS 3418 HAS SOUPS 3121 WITH SCORE 3124.964
AT ITER 411 NEW BEST:: SOT 10277 SOS 3940 HAS SOPS 3580 HAS SOUS 3394 HAS SOUPS 3097 WITH SCORE 3100.94
AT ITER 413 NEW BEST:: SOT 10258 SOS 3932 HAS SOPS 3539 HAS SOUS 3386 HAS SOUPS 3056 WITH SCORE 3059.932
AT ITER 417 NEW BEST:: SOT 10259 SOS 3933 HAS SOPS 3538 HAS SOUS 3387 HAS SOUPS 3055 WITH SCORE 3058.933
AT ITER 418 NEW BEST:: SOT 10259 SOS 3936 HAS SOPS 3535 HAS SOUS 3390 HAS SOUPS 3052 WITH SCORE 3055.936
AT ITER 427 NEW BEST:: SOT 10249 SOS 3928 HAS SOPS 3527 HAS SOUS 3390 HAS SOUPS 3052 WITH SCORE 3055.928
AT ITER 432 NEW BEST:: SOT 10230 SOS 3909 HAS SOPS 3508 HAS SOUS 3381 HAS SOUPS 3043 WITH SCORE 3046.909
AT ITER 433 NEW BEST:: SOT 10230 SOS 3902 HAS SOPS 3494 HAS SOUS 3367 HAS SOUPS 3029 WITH SCORE 3032.902
AT ITER 436 NEW BEST:: SOT 10241 SOS 3843 HAS SOPS 3435 HAS SOUS 3324 HAS SOUPS 2986 WITH SCORE 2989.843
AT ITER 441 NEW BEST:: SOT 10249 SOS 3817 HAS SOPS 3427 HAS SOUS 3292 HAS SOUPS 2978 WITH SCORE 2981.817
AT ITER 445 NEW BEST:: SOT 10246 SOS 3814 HAS SOPS 3424 HAS SOUS 3286 HAS SOUPS 2972 WITH SCORE 2975.814
AT ITER 452 NEW BEST:: SOT 10243 SOS 3800 HAS SOPS 3410 HAS SOUS 3272 HAS SOUPS 2958 WITH SCORE 2961.8
AT ITER 467 NEW BEST:: SOT 10217 SOS 3774 HAS SOPS 3384 HAS SOUS 3246 HAS SOUPS 2932 WITH SCORE 2935.774
AT ITER 476 NEW BEST:: SOT 10217 SOS 3774 HAS SOPS 3372 HAS SOUS 3252 HAS SOUPS 2926 WITH SCORE 2929.774
AT ITER 488 NEW BEST:: SOT 10209 SOS 3770 HAS SOPS 3368 HAS SOUS 3248 HAS SOUPS 2922 WITH SCORE 2925.77
AT ITER 508 NEW BEST:: SOT 10209 SOS 3764 HAS SOPS 3362 HAS SOUS 3248 HAS SOUPS 2922 WITH SCORE 2925.764
AT ITER 523 NEW BEST:: SOT 10189 SOS 3768 HAS SOPS 3310 HAS SOUS 3228 HAS SOUPS 2871 WITH SCORE 2874.768
AT ITER 529 NEW BEST:: SOT 10171 SOS 3759 HAS SOPS 3301 HAS SOUS 3224 HAS SOUPS 2867 WITH SCORE 2870.759
AT ITER 530 NEW BEST:: SOT 10174 SOS 3762 HAS SOPS 3304 HAS SOUS 3223 HAS SOUPS 2866 WITH SCORE 2869.762
AT ITER 539 NEW BEST:: SOT 10114 SOS 3693 HAS SOPS 3235 HAS SOUS 3154 HAS SOUPS 2797 WITH SCORE 2800.693
AT ITER 544 NEW BEST:: SOT 10107 SOS 3686 HAS SOPS 3230 HAS SOUS 3147 HAS SOUPS 2792 WITH SCORE 2795.686
AT ITER 557 NEW BEST:: SOT 10084 SOS 3617 HAS SOPS 3161 HAS SOUS 3124 HAS SOUPS 2769 WITH SCORE 2772.617
AT ITER 563 NEW BEST:: SOT 10065 SOS 3598 HAS SOPS 3149 HAS SOUS 3105 HAS SOUPS 2757 WITH SCORE 2760.598
AT ITER 590 NEW BEST:: SOT 10050 SOS 3571 HAS SOPS 3131 HAS SOUS 3087 HAS SOUPS 2739 WITH SCORE 2742.571
AT ITER 604 NEW BEST:: SOT 10045 SOS 3565 HAS SOPS 3125 HAS SOUS 3081 HAS SOUPS 2733 WITH SCORE 2736.565
AT ITER 605 NEW BEST:: SOT 10057 SOS 3605 HAS SOPS 3123 HAS SOUS 3093 HAS SOUPS 2731 WITH SCORE 2734.605
AT ITER 617 NEW BEST:: SOT 10052 SOS 3602 HAS SOPS 3120 HAS SOUS 3090 HAS SOUPS 2728 WITH SCORE 2731.602
AT ITER 625 NEW BEST:: SOT 10030 SOS 3599 HAS SOPS 3117 HAS SOUS 3067 HAS SOUPS 2705 WITH SCORE 2708.599
AT ITER 627 NEW BEST:: SOT 10015 SOS 3598 HAS SOPS 3116 HAS SOUS 3055 HAS SOUPS 2693 WITH SCORE 2696.598
AT ITER 641 NEW BEST:: SOT 10006 SOS 3589 HAS SOPS 3105 HAS SOUS 3046 HAS SOUPS 2682 WITH SCORE 2685.589
AT ITER 655 NEW BEST:: SOT 9977 SOS 3562 HAS SOPS 3078 HAS SOUS 3017 HAS SOUPS 2653 WITH SCORE 2656.562
AT ITER 720 NEW BEST:: SOT 9977 SOS 3559 HAS SOPS 3075 HAS SOUS 3017 HAS SOUPS 2653 WITH SCORE 2656.559
AT ITER 726 NEW BEST:: SOT 9974 SOS 3552 HAS SOPS 3061 HAS SOUS 3010 HAS SOUPS 2639 WITH SCORE 2642.552
AT ITER 735 NEW BEST:: SOT 9962 SOS 3532 HAS SOPS 3041 HAS SOUS 2993 HAS SOUPS 2622 WITH SCORE 2625.532
AT ITER 759 NEW BEST:: SOT 9924 SOS 3498 HAS SOPS 3007 HAS SOUS 2980 HAS SOUPS 2609 WITH SCORE 2612.498
AT ITER 764 NEW BEST:: SOT 9917 SOS 3484 HAS SOPS 2993 HAS SOUS 2980 HAS SOUPS 2609 WITH SCORE 2612.484
AT ITER 779 NEW BEST:: SOT 9916 SOS 3540 HAS SOPS 2992 HAS SOUS 3036 HAS SOUPS 2608 WITH SCORE 2611.54
AT ITER 784 NEW BEST:: SOT 9916 SOS 3540 HAS SOPS 2992 HAS SOUS 3035 HAS SOUPS 2607 WITH SCORE 2610.54
AT ITER 789 NEW BEST:: SOT 9910 SOS 3532 HAS SOPS 2982 HAS SOUS 3026 HAS SOUPS 2598 WITH SCORE 2601.532
AT ITER 790 NEW BEST:: SOT 9896 SOS 3504 HAS SOPS 2954 HAS SOUS 3005 HAS SOUPS 2577 WITH SCORE 2580.504
AT ITER 840 NEW BEST:: SOT 9893 SOS 3501 HAS SOPS 2946 HAS SOUS 2987 HAS SOUPS 2554 WITH SCORE 2557.501
AT ITER 848 NEW BEST:: SOT 9892 SOS 3499 HAS SOPS 2944 HAS SOUS 2986 HAS SOUPS 2553 WITH SCORE 2556.499
AT ITER 867 NEW BEST:: SOT 9892 SOS 3496 HAS SOPS 2941 HAS SOUS 2983 HAS SOUPS 2550 WITH SCORE 2553.496
AT ITER 873 NEW BEST:: SOT 9887 SOS 3486 HAS SOPS 2931 HAS SOUS 2978 HAS SOUPS 2545 WITH SCORE 2548.486
AT ITER 886 NEW BEST:: SOT 9845 SOS 3424 HAS SOPS 2913 HAS SOUS 2916 HAS SOUPS 2527 WITH SCORE 2530.424
AT ITER 895 NEW BEST:: SOT 9851 SOS 3412 HAS SOPS 2907 HAS SOUS 2910 HAS SOUPS 2521 WITH SCORE 2524.412
AT ITER 912 NEW BEST:: SOT 9889 SOS 3401 HAS SOPS 2896 HAS SOUS 2899 HAS SOUPS 2510 WITH SCORE 2513.401
AT ITER 925 NEW BEST:: SOT 9887 SOS 3398 HAS SOPS 2893 HAS SOUS 2896 HAS SOUPS 2507 WITH SCORE 2510.398
AT ITER 930 NEW BEST:: SOT 9883 SOS 3394 HAS SOPS 2889 HAS SOUS 2892 HAS SOUPS 2503 WITH SCORE 2506.394
AT ITER 932 NEW BEST:: SOT 9883 SOS 3395 HAS SOPS 2886 HAS SOUS 2891 HAS SOUPS 2501 WITH SCORE 2504.395
AT ITER 972 NEW BEST:: SOT 9879 SOS 3385 HAS SOPS 2882 HAS SOUS 2887 HAS SOUPS 2499 WITH SCORE 2502.385
AT ITER 977 NEW BEST:: SOT 9876 SOS 3381 HAS SOPS 2879 HAS SOUS 2884 HAS SOUPS 2497 WITH SCORE 2500.381
AT ITER 983 NEW BEST:: SOT 9875 SOS 3377 HAS SOPS 2877 HAS SOUS 2881 HAS SOUPS 2495 WITH SCORE 2498.377
AT ITER 989 NEW BEST:: SOT 9844 SOS 3348 HAS SOPS 2848 HAS SOUS 2852 HAS SOUPS 2466 WITH SCORE 2469.348
AT ITER 990 NEW BEST:: SOT 9820 SOS 3300 HAS SOPS 2800 HAS SOUS 2828 HAS SOUPS 2442 WITH SCORE 2445.3
AT ITER 998 NEW BEST:: SOT 9819 SOS 3298 HAS SOPS 2798 HAS SOUS 2826 HAS SOUPS 2440 WITH SCORE 2443.298
AT ITER 1003 NEW BEST:: SOT 9812 SOS 3282 HAS SOPS 2799 HAS SOUS 2795 HAS SOUPS 2426 WITH SCORE 2429.282
AT ITER 1045 NEW BEST:: SOT 9810 SOS 3280 HAS SOPS 2797 HAS SOUS 2795 HAS SOUPS 2426 WITH SCORE 2429.28
AT ITER 1084 NEW BEST:: SOT 9795 SOS 3260 HAS SOPS 2780 HAS SOUS 2778 HAS SOUPS 2409 WITH SCORE 2412.26
AT ITER 1085 NEW BEST:: SOT 9794 SOS 3259 HAS SOPS 2779 HAS SOUS 2777 HAS SOUPS 2408 WITH SCORE 2411.259
AT ITER 1128 NEW BEST:: SOT 9793 SOS 3256 HAS SOPS 2776 HAS SOUS 2774 HAS SOUPS 2405 WITH SCORE 2408.256
AT ITER 1141 NEW BEST:: SOT 9783 SOS 3239 HAS SOPS 2759 HAS SOUS 2757 HAS SOUPS 2388 WITH SCORE 2391.239
AT ITER 1144 NEW BEST:: SOT 9784 SOS 3233 HAS SOPS 2753 HAS SOUS 2751 HAS SOUPS 2382 WITH SCORE 2385.233
AT ITER 1150 NEW BEST:: SOT 9790 SOS 3230 HAS SOPS 2753 HAS SOUS 2751 HAS SOUPS 2382 WITH SCORE 2385.23
AT ITER 1170 NEW BEST:: SOT 9777 SOS 3221 HAS SOPS 2727 HAS SOUS 2742 HAS SOUPS 2356 WITH SCORE 2359.221
AT ITER 1176 NEW BEST:: SOT 9776 SOS 3220 HAS SOPS 2726 HAS SOUS 2741 HAS SOUPS 2355 WITH SCORE 2358.22
AT ITER 1186 NEW BEST:: SOT 9776 SOS 3184 HAS SOPS 2672 HAS SOUS 2723 HAS SOUPS 2319 WITH SCORE 2322.184
AT ITER 1198 NEW BEST:: SOT 9775 SOS 3180 HAS SOPS 2668 HAS SOUS 2719 HAS SOUPS 2315 WITH SCORE 2318.18
AT ITER 1207 NEW BEST:: SOT 9774 SOS 3178 HAS SOPS 2666 HAS SOUS 2718 HAS SOUPS 2314 WITH SCORE 2317.178
AT ITER 1209 NEW BEST:: SOT 9772 SOS 3170 HAS SOPS 2658 HAS SOUS 2714 HAS SOUPS 2310 WITH SCORE 2313.17
AT ITER 1237 NEW BEST:: SOT 9766 SOS 3165 HAS SOPS 2653 HAS SOUS 2705 HAS SOUPS 2301 WITH SCORE 2304.165
AT ITER 1264 NEW BEST:: SOT 9750 SOS 3150 HAS SOPS 2643 HAS SOUS 2696 HAS SOUPS 2297 WITH SCORE 2300.15
AT ITER 1273 NEW BEST:: SOT 9730 SOS 3104 HAS SOPS 2597 HAS SOUS 2670 HAS SOUPS 2271 WITH SCORE 2274.104
AT ITER 1321 NEW BEST:: SOT 9735 SOS 3119 HAS SOPS 2592 HAS SOUS 2685 HAS SOUPS 2266 WITH SCORE 2269.119
AT ITER 1330 NEW BEST:: SOT 9737 SOS 3114 HAS SOPS 2587 HAS SOUS 2683 HAS SOUPS 2264 WITH SCORE 2267.114
AT ITER 1406 NEW BEST:: SOT 9735 SOS 3117 HAS SOPS 2570 HAS SOUS 2679 HAS SOUPS 2247 WITH SCORE 2250.117
AT ITER 1429 NEW BEST:: SOT 9705 SOS 3087 HAS SOPS 2540 HAS SOUS 2657 HAS SOUPS 2225 WITH SCORE 2228.087
AT ITER 1444 NEW BEST:: SOT 9674 SOS 3056 HAS SOPS 2540 HAS SOUS 2626 HAS SOUPS 2225 WITH SCORE 2228.056
AT ITER 1445 NEW BEST:: SOT 9678 SOS 3057 HAS SOPS 2538 HAS SOUS 2624 HAS SOUPS 2223 WITH SCORE 2226.057
AT ITER 1450 NEW BEST:: SOT 9677 SOS 3056 HAS SOPS 2537 HAS SOUS 2624 HAS SOUPS 2223 WITH SCORE 2226.056
AT ITER 1473 NEW BEST:: SOT 9673 SOS 3053 HAS SOPS 2534 HAS SOUS 2621 HAS SOUPS 2220 WITH SCORE 2223.053
AT ITER 1488 NEW BEST:: SOT 9669 SOS 3049 HAS SOPS 2530 HAS SOUS 2617 HAS SOUPS 2216 WITH SCORE 2219.049
AT ITER 1505 NEW BEST:: SOT 9664 SOS 3044 HAS SOPS 2516 HAS SOUS 2612 HAS SOUPS 2202 WITH SCORE 2205.044
AT ITER 1508 NEW BEST:: SOT 9661 SOS 3044 HAS SOPS 2514 HAS SOUS 2610 HAS SOUPS 2200 WITH SCORE 2203.044
AT ITER 1518 NEW BEST:: SOT 9660 SOS 3035 HAS SOPS 2505 HAS SOUS 2603 HAS SOUPS 2193 WITH SCORE 2196.035
AT ITER 1520 NEW BEST:: SOT 9660 SOS 3039 HAS SOPS 2504 HAS SOUS 2602 HAS SOUPS 2192 WITH SCORE 2195.039
AT ITER 1561 NEW BEST:: SOT 9639 SOS 3018 HAS SOPS 2462 HAS SOUS 2581 HAS SOUPS 2150 WITH SCORE 2153.018
AT ITER 1572 NEW BEST:: SOT 9638 SOS 3017 HAS SOPS 2461 HAS SOUS 2580 HAS SOUPS 2149 WITH SCORE 2152.017
AT ITER 1583 NEW BEST:: SOT 9639 SOS 3002 HAS SOPS 2453 HAS SOUS 2574 HAS SOUPS 2143 WITH SCORE 2146.002
AT ITER 1594 NEW BEST:: SOT 9649 SOS 3023 HAS SOPS 2436 HAS SOUS 2588 HAS SOUPS 2119 WITH SCORE 2122.023
AT ITER 1599 NEW BEST:: SOT 9645 SOS 3019 HAS SOPS 2432 HAS SOUS 2584 HAS SOUPS 2115 WITH SCORE 2118.019
AT ITER 1618 NEW BEST:: SOT 9645 SOS 3018 HAS SOPS 2431 HAS SOUS 2583 HAS SOUPS 2114 WITH SCORE 2117.018
AT ITER 1650 NEW BEST:: SOT 9643 SOS 3014 HAS SOPS 2427 HAS SOUS 2580 HAS SOUPS 2111 WITH SCORE 2114.014
AT ITER 1655 NEW BEST:: SOT 9639 SOS 3010 HAS SOPS 2423 HAS SOUS 2572 HAS SOUPS 2103 WITH SCORE 2106.01
AT ITER 1679 NEW BEST:: SOT 9634 SOS 3004 HAS SOPS 2419 HAS SOUS 2568 HAS SOUPS 2099 WITH SCORE 2102.004
AT ITER 1723 NEW BEST:: SOT 9632 SOS 3006 HAS SOPS 2421 HAS SOUS 2566 HAS SOUPS 2097 WITH SCORE 2100.006
AT ITER 1772 NEW BEST:: SOT 9650 SOS 3006 HAS SOPS 2421 HAS SOUS 2564 HAS SOUPS 2095 WITH SCORE 2098.006
AT ITER 1788 NEW BEST:: SOT 9648 SOS 3004 HAS SOPS 2419 HAS SOUS 2562 HAS SOUPS 2093 WITH SCORE 2096.004
AT ITER 1822 NEW BEST:: SOT 9638 SOS 2994 HAS SOPS 2417 HAS SOUS 2553 HAS SOUPS 2092 WITH SCORE 2094.994
AT ITER 1843 NEW BEST:: SOT 9635 SOS 2988 HAS SOPS 2411 HAS SOUS 2550 HAS SOUPS 2089 WITH SCORE 2091.988
AT ITER 1853 NEW BEST:: SOT 9616 SOS 2959 HAS SOPS 2400 HAS SOUS 2521 HAS SOUPS 2078 WITH SCORE 2080.959
AT ITER 1881 NEW BEST:: SOT 9612 SOS 2949 HAS SOPS 2390 HAS SOUS 2513 HAS SOUPS 2070 WITH SCORE 2072.949
AT ITER 1913 NEW BEST:: SOT 9602 SOS 2943 HAS SOPS 2376 HAS SOUS 2508 HAS SOUPS 2065 WITH SCORE 2067.943
AT ITER 1964 NEW BEST:: SOT 9596 SOS 2925 HAS SOPS 2364 HAS SOUS 2496 HAS SOUPS 2053 WITH SCORE 2055.925
AT ITER 2018 NEW BEST:: SOT 9586 SOS 2915 HAS SOPS 2364 HAS SOUS 2486 HAS SOUPS 2053 WITH SCORE 2055.915
AT ITER 2021 NEW BEST:: SOT 9583 SOS 2912 HAS SOPS 2363 HAS SOUS 2483 HAS SOUPS 2052 WITH SCORE 2054.912
AT ITER 2027 NEW BEST:: SOT 9577 SOS 2906 HAS SOPS 2361 HAS SOUS 2477 HAS SOUPS 2050 WITH SCORE 2052.906
AT ITER 2030 NEW BEST:: SOT 9575 SOS 2902 HAS SOPS 2357 HAS SOUS 2475 HAS SOUPS 2048 WITH SCORE 2050.902
AT ITER 2052 NEW BEST:: SOT 9580 SOS 2901 HAS SOPS 2359 HAS SOUS 2472 HAS SOUPS 2048 WITH SCORE 2050.901
AT ITER 2107 NEW BEST:: SOT 9556 SOS 2873 HAS SOPS 2351 HAS SOUS 2448 HAS SOUPS 2044 WITH SCORE 2046.873
AT ITER 2156 NEW BEST:: SOT 9556 SOS 2873 HAS SOPS 2348 HAS SOUS 2445 HAS SOUPS 2041 WITH SCORE 2043.873
AT ITER 2159 NEW BEST:: SOT 9554 SOS 2868 HAS SOPS 2343 HAS SOUS 2442 HAS SOUPS 2038 WITH SCORE 2040.868
AT ITER 2180 NEW BEST:: SOT 9553 SOS 2867 HAS SOPS 2342 HAS SOUS 2442 HAS SOUPS 2038 WITH SCORE 2040.867
AT ITER 2187 NEW BEST:: SOT 9552 SOS 2884 HAS SOPS 2359 HAS SOUS 2437 HAS SOUPS 2033 WITH SCORE 2035.884
AT ITER 2218 NEW BEST:: SOT 9550 SOS 2879 HAS SOPS 2354 HAS SOUS 2434 HAS SOUPS 2030 WITH SCORE 2032.879
AT ITER 2264 NEW BEST:: SOT 9550 SOS 2782 HAS SOPS 2257 HAS SOUS 2424 HAS SOUPS 2020 WITH SCORE 2022.782
AT ITER 2276 NEW BEST:: SOT 9549 SOS 2792 HAS SOPS 2255 HAS SOUS 2422 HAS SOUPS 2018 WITH SCORE 2020.792
AT ITER 2283 NEW BEST:: SOT 9549 SOS 2843 HAS SOPS 2252 HAS SOUS 2433 HAS SOUPS 2015 WITH SCORE 2017.843
AT ITER 2316 NEW BEST:: SOT 9548 SOS 2842 HAS SOPS 2251 HAS SOUS 2432 HAS SOUPS 2014 WITH SCORE 2016.842
AT ITER 2336 NEW BEST:: SOT 9561 SOS 2832 HAS SOPS 2251 HAS SOUS 2427 HAS SOUPS 2009 WITH SCORE 2011.832
AT ITER 2341 NEW BEST:: SOT 9559 SOS 2828 HAS SOPS 2247 HAS SOUS 2424 HAS SOUPS 2006 WITH SCORE 2008.828
AT ITER 2345 NEW BEST:: SOT 9561 SOS 2837 HAS SOPS 2240 HAS SOUS 2425 HAS SOUPS 2003 WITH SCORE 2005.837
AT ITER 2348 NEW BEST:: SOT 9559 SOS 2830 HAS SOPS 2236 HAS SOUS 2421 HAS SOUPS 1999 WITH SCORE 2001.83
AT ITER 2355 NEW BEST:: SOT 9551 SOS 2818 HAS SOPS 2224 HAS SOUS 2413 HAS SOUPS 1991 WITH SCORE 1993.818
AT ITER 2388 NEW BEST:: SOT 9550 SOS 2815 HAS SOPS 2221 HAS SOUS 2410 HAS SOUPS 1988 WITH SCORE 1990.815
AT ITER 2402 NEW BEST:: SOT 9555 SOS 2816 HAS SOPS 2226 HAS SOUS 2409 HAS SOUPS 1987 WITH SCORE 1989.816
AT ITER 2443 NEW BEST:: SOT 9544 SOS 2805 HAS SOPS 2215 HAS SOUS 2398 HAS SOUPS 1976 WITH SCORE 1978.805
AT ITER 2462 NEW BEST:: SOT 9539 SOS 2800 HAS SOPS 2210 HAS SOUS 2397 HAS SOUPS 1975 WITH SCORE 1977.8
AT ITER 2494 NEW BEST:: SOT 9525 SOS 2794 HAS SOPS 2204 HAS SOUS 2395 HAS SOUPS 1973 WITH SCORE 1975.794
AT ITER 2535 NEW BEST:: SOT 9523 SOS 2790 HAS SOPS 2200 HAS SOUS 2393 HAS SOUPS 1971 WITH SCORE 1973.79
AT ITER 2586 NEW BEST:: SOT 9521 SOS 2783 HAS SOPS 2193 HAS SOUS 2388 HAS SOUPS 1966 WITH SCORE 1968.783
AT ITER 2599 NEW BEST:: SOT 9515 SOS 2775 HAS SOPS 2185 HAS SOUS 2383 HAS SOUPS 1961 WITH SCORE 1963.775
AT ITER 2704 NEW BEST:: SOT 9515 SOS 2776 HAS SOPS 2182 HAS SOUS 2384 HAS SOUPS 1958 WITH SCORE 1960.776
AT ITER 2744 NEW BEST:: SOT 9513 SOS 2771 HAS SOPS 2178 HAS SOUS 2380 HAS SOUPS 1954 WITH SCORE 1956.771
AT ITER 2753 NEW BEST:: SOT 9513 SOS 2766 HAS SOPS 2178 HAS SOUS 2375 HAS SOUPS 1954 WITH SCORE 1956.766
AT ITER 2760 NEW BEST:: SOT 9515 SOS 2766 HAS SOPS 2178 HAS SOUS 2372 HAS SOUPS 1951 WITH SCORE 1953.766
AT ITER 2799 NEW BEST:: SOT 9515 SOS 2763 HAS SOPS 2175 HAS SOUS 2372 HAS SOUPS 1951 WITH SCORE 1953.763
AT ITER 2821 NEW BEST:: SOT 9505 SOS 2753 HAS SOPS 2169 HAS SOUS 2355 HAS SOUPS 1938 WITH SCORE 1940.753
AT ITER 2858 NEW BEST:: SOT 9500 SOS 2748 HAS SOPS 2164 HAS SOUS 2350 HAS SOUPS 1933 WITH SCORE 1935.748
AT ITER 2862 NEW BEST:: SOT 9499 SOS 2740 HAS SOPS 2164 HAS SOUS 2342 HAS SOUPS 1933 WITH SCORE 1935.74
AT ITER 2867 NEW BEST:: SOT 9498 SOS 2739 HAS SOPS 2163 HAS SOUS 2340 HAS SOUPS 1931 WITH SCORE 1933.739
AT ITER 2890 NEW BEST:: SOT 9498 SOS 2728 HAS SOPS 2163 HAS SOUS 2337 HAS SOUPS 1931 WITH SCORE 1933.728
AT ITER 2932 NEW BEST:: SOT 9496 SOS 2722 HAS SOPS 2159 HAS SOUS 2333 HAS SOUPS 1929 WITH SCORE 1931.722
AT ITER 2938 NEW BEST:: SOT 9494 SOS 2726 HAS SOPS 2163 HAS SOUS 2331 HAS SOUPS 1927 WITH SCORE 1929.726
AT ITER 2976 NEW BEST:: SOT 9504 SOS 2748 HAS SOPS 2173 HAS SOUS 2333 HAS SOUPS 1924 WITH SCORE 1926.748
AT ITER 2979 NEW BEST:: SOT 9509 SOS 2753 HAS SOPS 2166 HAS SOUS 2338 HAS SOUPS 1917 WITH SCORE 1919.753
AT ITER 3007 NEW BEST:: SOT 9528 SOS 2884 HAS SOPS 2154 HAS SOUS 2370 HAS SOUPS 1905 WITH SCORE 1907.884
AT ITER 3019 NEW BEST:: SOT 9517 SOS 2845 HAS SOPS 2132 HAS SOUS 2348 HAS SOUPS 1883 WITH SCORE 1885.845
AT ITER 3057 NEW BEST:: SOT 9515 SOS 2843 HAS SOPS 2130 HAS SOUS 2346 HAS SOUPS 1881 WITH SCORE 1883.843
AT ITER 3111 NEW BEST:: SOT 9530 SOS 2843 HAS SOPS 2130 HAS SOUS 2340 HAS SOUPS 1875 WITH SCORE 1877.843
AT ITER 3113 NEW BEST:: SOT 9527 SOS 2836 HAS SOPS 2123 HAS SOUS 2337 HAS SOUPS 1872 WITH SCORE 1874.836
AT ITER 3136 NEW BEST:: SOT 9518 SOS 2827 HAS SOPS 2114 HAS SOUS 2328 HAS SOUPS 1863 WITH SCORE 1865.827
AT ITER 3229 NEW BEST:: SOT 9519 SOS 2828 HAS SOPS 2111 HAS SOUS 2330 HAS SOUPS 1860 WITH SCORE 1862.828
AT ITER 3234 NEW BEST:: SOT 9509 SOS 2808 HAS SOPS 2091 HAS SOUS 2313 HAS SOUPS 1843 WITH SCORE 1845.808
AT ITER 3253 NEW BEST:: SOT 9494 SOS 2780 HAS SOPS 2086 HAS SOUS 2285 HAS SOUPS 1838 WITH SCORE 1840.78
AT ITER 3351 NEW BEST:: SOT 9496 SOS 2787 HAS SOPS 2085 HAS SOUS 2289 HAS SOUPS 1837 WITH SCORE 1839.787
AT ITER 3372 NEW BEST:: SOT 9495 SOS 2780 HAS SOPS 2080 HAS SOUS 2284 HAS SOUPS 1834 WITH SCORE 1836.78
AT ITER 3399 NEW BEST:: SOT 9495 SOS 2774 HAS SOPS 2080 HAS SOUS 2284 HAS SOUPS 1834 WITH SCORE 1836.774
AT ITER 3407 NEW BEST:: SOT 9503 SOS 2780 HAS SOPS 2046 HAS SOUS 2282 HAS SOUPS 1822 WITH SCORE 1824.78
AT ITER 3424 NEW BEST:: SOT 9503 SOS 2769 HAS SOPS 2035 HAS SOUS 2281 HAS SOUPS 1821 WITH SCORE 1823.769
AT ITER 3450 NEW BEST:: SOT 9503 SOS 2767 HAS SOPS 2033 HAS SOUS 2279 HAS SOUPS 1819 WITH SCORE 1821.767
AT ITER 3469 NEW BEST:: SOT 9494 SOS 2754 HAS SOPS 2024 HAS SOUS 2270 HAS SOUPS 1814 WITH SCORE 1816.754
AT ITER 3504 NEW BEST:: SOT 9491 SOS 2751 HAS SOPS 2021 HAS SOUS 2267 HAS SOUPS 1811 WITH SCORE 1813.751
AT ITER 3511 NEW BEST:: SOT 9491 SOS 2755 HAS SOPS 2021 HAS SOUS 2269 HAS SOUPS 1809 WITH SCORE 1811.755
AT ITER 3526 NEW BEST:: SOT 9491 SOS 2751 HAS SOPS 2021 HAS SOUS 2269 HAS SOUPS 1809 WITH SCORE 1811.751
AT ITER 3543 NEW BEST:: SOT 9491 SOS 2730 HAS SOPS 2021 HAS SOUS 2269 HAS SOUPS 1809 WITH SCORE 1811.73
AT ITER 3574 NEW BEST:: SOT 9490 SOS 2727 HAS SOPS 2018 HAS SOUS 2267 HAS SOUPS 1807 WITH SCORE 1809.727
AT ITER 3641 NEW BEST:: SOT 9493 SOS 2726 HAS SOPS 2017 HAS SOUS 2266 HAS SOUPS 1806 WITH SCORE 1808.726
AT ITER 3663 NEW BEST:: SOT 9493 SOS 2722 HAS SOPS 2013 HAS SOUS 2262 HAS SOUPS 1802 WITH SCORE 1804.722
AT ITER 3692 NEW BEST:: SOT 9492 SOS 2721 HAS SOPS 2013 HAS SOUS 2259 HAS SOUPS 1800 WITH SCORE 1802.721
AT ITER 3755 NEW BEST:: SOT 9480 SOS 2713 HAS SOPS 2013 HAS SOUS 2251 HAS SOUPS 1800 WITH SCORE 1802.713
AT ITER 3764 NEW BEST:: SOT 9460 SOS 2678 HAS SOPS 1998 HAS SOUS 2217 HAS SOUPS 1784 WITH SCORE 1786.678
AT ITER 3843 NEW BEST:: SOT 9454 SOS 2670 HAS SOPS 1996 HAS SOUS 2209 HAS SOUPS 1782 WITH SCORE 1784.67
AT ITER 3899 NEW BEST:: SOT 9454 SOS 2668 HAS SOPS 1994 HAS SOUS 2207 HAS SOUPS 1780 WITH SCORE 1782.668
AT ITER 3902 NEW BEST:: SOT 9466 SOS 2680 HAS SOPS 1997 HAS SOUS 2215 HAS SOUPS 1779 WITH SCORE 1781.68
AT ITER 3909 NEW BEST:: SOT 9448 SOS 2643 HAS SOPS 1995 HAS SOUS 2195 HAS SOUPS 1777 WITH SCORE 1779.643
AT ITER 3916 NEW BEST:: SOT 9446 SOS 2635 HAS SOPS 1995 HAS SOUS 2193 HAS SOUPS 1777 WITH SCORE 1779.635
AT ITER 3955 NEW BEST:: SOT 9446 SOS 2627 HAS SOPS 1987 HAS SOUS 2192 HAS SOUPS 1776 WITH SCORE 1778.627
AT ITER 3976 NEW BEST:: SOT 9440 SOS 2620 HAS SOPS 1969 HAS SOUS 2178 HAS SOUPS 1758 WITH SCORE 1760.62
AT ITER 4012 NEW BEST:: SOT 9436 SOS 2614 HAS SOPS 1963 HAS SOUS 2177 HAS SOUPS 1757 WITH SCORE 1759.614
AT ITER 4080 NEW BEST:: SOT 9433 SOS 2611 HAS SOPS 1957 HAS SOUS 2174 HAS SOUPS 1751 WITH SCORE 1753.611
AT ITER 4098 NEW BEST:: SOT 9436 SOS 2608 HAS SOPS 1955 HAS SOUS 2172 HAS SOUPS 1749 WITH SCORE 1751.608
AT ITER 4190 NEW BEST:: SOT 9437 SOS 2606 HAS SOPS 1956 HAS SOUS 2172 HAS SOUPS 1749 WITH SCORE 1751.606
AT ITER 4342 NEW BEST:: SOT 9441 SOS 2608 HAS SOPS 1954 HAS SOUS 2173 HAS SOUPS 1746 WITH SCORE 1748.608
AT ITER 4347 NEW BEST:: SOT 9443 SOS 2631 HAS SOPS 1950 HAS SOUS 2178 HAS SOUPS 1742 WITH SCORE 1744.631
AT ITER 4448 NEW BEST:: SOT 9439 SOS 2626 HAS SOPS 1945 HAS SOUS 2175 HAS SOUPS 1739 WITH SCORE 1741.626
AT ITER 4467 NEW BEST:: SOT 9435 SOS 2628 HAS SOPS 1947 HAS SOUS 2173 HAS SOUPS 1737 WITH SCORE 1739.628
AT ITER 4509 NEW BEST:: SOT 9435 SOS 2625 HAS SOPS 1947 HAS SOUS 2173 HAS SOUPS 1737 WITH SCORE 1739.625
AT ITER 4643 NEW BEST:: SOT 9435 SOS 2623 HAS SOPS 1945 HAS SOUS 2171 HAS SOUPS 1735 WITH SCORE 1737.623
AT ITER 4705 NEW BEST:: SOT 9435 SOS 2619 HAS SOPS 1941 HAS SOUS 2165 HAS SOUPS 1729 WITH SCORE 1731.619
AT ITER 4710 NEW BEST:: SOT 9435 SOS 2617 HAS SOPS 1941 HAS SOUS 2165 HAS SOUPS 1729 WITH SCORE 1731.617
AT ITER 4774 NEW BEST:: SOT 9422 SOS 2598 HAS SOPS 1935 HAS SOUS 2146 HAS SOUPS 1723 WITH SCORE 1725.598
AT ITER 4797 NEW BEST:: SOT 9419 SOS 2593 HAS SOPS 1930 HAS SOUS 2141 HAS SOUPS 1718 WITH SCORE 1720.593
AT ITER 4820 NEW BEST:: SOT 9418 SOS 2590 HAS SOPS 1927 HAS SOUS 2139 HAS SOUPS 1716 WITH SCORE 1718.59
AT ITER 4976 NEW BEST:: SOT 9417 SOS 2588 HAS SOPS 1925 HAS SOUS 2138 HAS SOUPS 1715 WITH SCORE 1717.588
AT ITER 5033 NEW BEST:: SOT 9415 SOS 2580 HAS SOPS 1922 HAS SOUS 2130 HAS SOUPS 1712 WITH SCORE 1714.58
AT ITER 5055 NEW BEST:: SOT 9414 SOS 2568 HAS SOPS 1922 HAS SOUS 2127 HAS SOUPS 1712 WITH SCORE 1714.568
AT ITER 5071 NEW BEST:: SOT 9416 SOS 2567 HAS SOPS 1918 HAS SOUS 2127 HAS SOUPS 1709 WITH SCORE 1711.567
AT ITER 5142 NEW BEST:: SOT 9416 SOS 2566 HAS SOPS 1917 HAS SOUS 2126 HAS SOUPS 1708 WITH SCORE 1710.566
AT ITER 5176 NEW BEST:: SOT 9416 SOS 2568 HAS SOPS 1911 HAS SOUS 2128 HAS SOUPS 1702 WITH SCORE 1704.568
AT ITER 5222 NEW BEST:: SOT 9408 SOS 2563 HAS SOPS 1906 HAS SOUS 2125 HAS SOUPS 1699 WITH SCORE 1701.563
AT ITER 5398 NEW BEST:: SOT 9407 SOS 2561 HAS SOPS 1906 HAS SOUS 2124 HAS SOUPS 1699 WITH SCORE 1701.561
AT ITER 5403 NEW BEST:: SOT 9403 SOS 2557 HAS SOPS 1902 HAS SOUS 2120 HAS SOUPS 1695 WITH SCORE 1697.557
AT ITER 5408 NEW BEST:: SOT 9404 SOS 2559 HAS SOPS 1904 HAS SOUS 2119 HAS SOUPS 1694 WITH SCORE 1696.559
AT ITER 5438 NEW BEST:: SOT 9403 SOS 2558 HAS SOPS 1904 HAS SOUS 2118 HAS SOUPS 1694 WITH SCORE 1696.558
AT ITER 5495 NEW BEST:: SOT 9402 SOS 2543 HAS SOPS 1903 HAS SOUS 2103 HAS SOUPS 1693 WITH SCORE 1695.543
AT ITER 5626 NEW BEST:: SOT 9402 SOS 2541 HAS SOPS 1901 HAS SOUS 2103 HAS SOUPS 1693 WITH SCORE 1695.541
AT ITER 6000 NEW BEST:: SOT 9399 SOS 2545 HAS SOPS 1905 HAS SOUS 2100 HAS SOUPS 1690 WITH SCORE 1692.545
AT ITER 6064 NEW BEST:: SOT 9405 SOS 2563 HAS SOPS 1911 HAS SOUS 2102 HAS SOUPS 1689 WITH SCORE 1691.563
AT ITER 6083 NEW BEST:: SOT 9403 SOS 2558 HAS SOPS 1906 HAS SOUS 2099 HAS SOUPS 1686 WITH SCORE 1688.558
AT ITER 6293 NEW BEST:: SOT 9403 SOS 2544 HAS SOPS 1906 HAS SOUS 2085 HAS SOUPS 1686 WITH SCORE 1688.544
AT ITER 6424 NEW BEST:: SOT 9402 SOS 2540 HAS SOPS 1906 HAS SOUS 2084 HAS SOUPS 1686 WITH SCORE 1688.54
AT ITER 6624 NEW BEST:: SOT 9406 SOS 2536 HAS SOPS 1902 HAS SOUS 2081 HAS SOUPS 1683 WITH SCORE 1685.536
AT ITER 6642 NEW BEST:: SOT 9401 SOS 2531 HAS SOPS 1902 HAS SOUS 2076 HAS SOUPS 1683 WITH SCORE 1685.531
AT ITER 6803 NEW BEST:: SOT 9401 SOS 2528 HAS SOPS 1902 HAS SOUS 2076 HAS SOUPS 1683 WITH SCORE 1685.528
AT ITER 6943 NEW BEST:: SOT 9399 SOS 2524 HAS SOPS 1898 HAS SOUS 2072 HAS SOUPS 1679 WITH SCORE 1681.524
AT ITER 7023 NEW BEST:: SOT 9398 SOS 2523 HAS SOPS 1897 HAS SOUS 2072 HAS SOUPS 1679 WITH SCORE 1681.523
AT ITER 7065 NEW BEST:: SOT 9396 SOS 2522 HAS SOPS 1896 HAS SOUS 2071 HAS SOUPS 1678 WITH SCORE 1680.522
AT ITER 7078 NEW BEST:: SOT 9398 SOS 2511 HAS SOPS 1885 HAS SOUS 2068 HAS SOUPS 1675 WITH SCORE 1677.511
AT ITER 7163 NEW BEST:: SOT 9398 SOS 2509 HAS SOPS 1885 HAS SOUS 2066 HAS SOUPS 1675 WITH SCORE 1677.509
AT ITER 7278 NEW BEST:: SOT 9372 SOS 2483 HAS SOPS 1885 HAS SOUS 2040 HAS SOUPS 1675 WITH SCORE 1677.483
AT ITER 7297 NEW BEST:: SOT 9372 SOS 2480 HAS SOPS 1884 HAS SOUS 2037 HAS SOUPS 1674 WITH SCORE 1676.48
AT ITER 7309 NEW BEST:: SOT 9372 SOS 2467 HAS SOPS 1884 HAS SOUS 2037 HAS SOUPS 1674 WITH SCORE 1676.467
AT ITER 7382 NEW BEST:: SOT 9369 SOS 2464 HAS SOPS 1881 HAS SOUS 2034 HAS SOUPS 1671 WITH SCORE 1673.464
AT ITER 7500 NEW BEST:: SOT 9329 SOS 2429 HAS SOPS 1881 HAS SOUS 1999 HAS SOUPS 1671 WITH SCORE 1673.429
AT ITER 7523 NEW BEST:: SOT 9327 SOS 2423 HAS SOPS 1881 HAS SOUS 1997 HAS SOUPS 1671 WITH SCORE 1673.423
AT ITER 7671 NEW BEST:: SOT 9326 SOS 2422 HAS SOPS 1879 HAS SOUS 1995 HAS SOUPS 1669 WITH SCORE 1671.422
AT ITER 7706 NEW BEST:: SOT 9326 SOS 2419 HAS SOPS 1879 HAS SOUS 1992 HAS SOUPS 1669 WITH SCORE 1671.419
AT ITER 7811 NEW BEST:: SOT 9316 SOS 2408 HAS SOPS 1879 HAS SOUS 1982 HAS SOUPS 1669 WITH SCORE 1671.408
AT ITER 7858 NEW BEST:: SOT 9313 SOS 2402 HAS SOPS 1873 HAS SOUS 1979 HAS SOUPS 1666 WITH SCORE 1668.402
AT ITER 7895 NEW BEST:: SOT 9319 SOS 2403 HAS SOPS 1871 HAS SOUS 1981 HAS SOUPS 1665 WITH SCORE 1667.403
AT ITER 7903 NEW BEST:: SOT 9318 SOS 2399 HAS SOPS 1871 HAS SOUS 1977 HAS SOUPS 1665 WITH SCORE 1667.399
AT ITER 7985 NEW BEST:: SOT 9314 SOS 2395 HAS SOPS 1871 HAS SOUS 1973 HAS SOUPS 1665 WITH SCORE 1667.395
AT ITER 7995 NEW BEST:: SOT 9314 SOS 2394 HAS SOPS 1871 HAS SOUS 1973 HAS SOUPS 1665 WITH SCORE 1667.394
AT ITER 8089 NEW BEST:: SOT 9314 SOS 2385 HAS SOPS 1871 HAS SOUS 1964 HAS SOUPS 1665 WITH SCORE 1667.385
AT ITER 8159 NEW BEST:: SOT 9316 SOS 2387 HAS SOPS 1870 HAS SOUS 1966 HAS SOUPS 1664 WITH SCORE 1666.387
AT ITER 8472 NEW BEST:: SOT 9316 SOS 2387 HAS SOPS 1869 HAS SOUS 1966 HAS SOUPS 1663 WITH SCORE 1665.387
AT ITER 8503 NEW BEST:: SOT 9315 SOS 2386 HAS SOPS 1867 HAS SOUS 1965 HAS SOUPS 1661 WITH SCORE 1663.386
AT ITER 8548 NEW BEST:: SOT 9314 SOS 2383 HAS SOPS 1864 HAS SOUS 1963 HAS SOUPS 1659 WITH SCORE 1661.383
AT ITER 8707 NEW BEST:: SOT 9310 SOS 2380 HAS SOPS 1855 HAS SOUS 1963 HAS SOUPS 1653 WITH SCORE 1655.38
AT ITER 8827 NEW BEST:: SOT 9309 SOS 2379 HAS SOPS 1853 HAS SOUS 1966 HAS SOUPS 1651 WITH SCORE 1653.379
AT ITER 8956 NEW BEST:: SOT 9307 SOS 2377 HAS SOPS 1851 HAS SOUS 1962 HAS SOUPS 1647 WITH SCORE 1649.377
AT ITER 9412 NEW BEST:: SOT 9307 SOS 2378 HAS SOPS 1849 HAS SOUS 1960 HAS SOUPS 1645 WITH SCORE 1647.378
AT ITER 9515 NEW BEST:: SOT 9307 SOS 2375 HAS SOPS 1849 HAS SOUS 1959 HAS SOUPS 1645 WITH SCORE 1647.375
AT ITER 9746 NEW BEST:: SOT 9307 SOS 2395 HAS SOPS 1847 HAS SOUS 1969 HAS SOUPS 1643 WITH SCORE 1645.395
AT ITER 9789 NEW BEST:: SOT 9306 SOS 2394 HAS SOPS 1846 HAS SOUS 1968 HAS SOUPS 1642 WITH SCORE 1644.394
AT ITER 9861 NEW BEST:: SOT 9306 SOS 2382 HAS SOPS 1834 HAS SOUS 1968 HAS SOUPS 1642 WITH SCORE 1644.382
AT ITER 9884 NEW BEST:: SOT 9302 SOS 2379 HAS SOPS 1831 HAS SOUS 1965 HAS SOUPS 1639 WITH SCORE 1641.379
STATE_SPACE STATES 68179969 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 33 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1286180209 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589150750652

--------------------
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-05a"
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-05a, 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-158897508500433"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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