Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973500224.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldRVt-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973500224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 6.5K Feb 25 22:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 22:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 22:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 22:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 22:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 25 22:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 22:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 25 22:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 36K Mar 5 18:23 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 1679088564955

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=ShieldRVt-PT-003B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 003B
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: 153 places, 153 transitions, 360 arcs.
AT ITER 0 NEW BEST:: SOT 12982 SOS 4327 HAS SOPS 4327 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3897.327
AT ITER 5 NEW BEST:: SOT 13004 SOS 4316 HAS SOPS 4316 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.316
AT ITER 11 NEW BEST:: SOT 12996 SOS 4281 HAS SOPS 4281 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3831.281
AT ITER 20 NEW BEST:: SOT 12996 SOS 4294 HAS SOPS 4294 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3830.294
AT ITER 29 NEW BEST:: SOT 12975 SOS 4252 HAS SOPS 4252 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3777.252
AT ITER 41 NEW BEST:: SOT 13002 SOS 4279 HAS SOPS 4279 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3747.279
AT ITER 54 NEW BEST:: SOT 12995 SOS 4254 HAS SOPS 4254 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3722.254
AT ITER 58 NEW BEST:: SOT 12995 SOS 4254 HAS SOPS 4254 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3719.254
AT ITER 65 NEW BEST:: SOT 12963 SOS 4238 HAS SOPS 4238 HAS SOUS 3699 HAS SOUPS 3699 WITH SCORE 3703.238
AT ITER 83 NEW BEST:: SOT 12990 SOS 4251 HAS SOPS 4251 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3692.251
AT ITER 84 NEW BEST:: SOT 13031 SOS 4309 HAS SOPS 4309 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3688.309
AT ITER 92 NEW BEST:: SOT 13031 SOS 4301 HAS SOPS 4301 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3680.301
AT ITER 96 NEW BEST:: SOT 13035 SOS 4300 HAS SOPS 4300 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3675.3
AT ITER 105 NEW BEST:: SOT 13009 SOS 4248 HAS SOPS 4248 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3645.248
AT ITER 150 NEW BEST:: SOT 13005 SOS 4246 HAS SOPS 4246 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3639.246
AT ITER 154 NEW BEST:: SOT 12986 SOS 4189 HAS SOPS 4189 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3582.189
AT ITER 211 NEW BEST:: SOT 12969 SOS 4182 HAS SOPS 4182 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3566.182
AT ITER 222 NEW BEST:: SOT 12992 SOS 4228 HAS SOPS 4228 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3565.228
AT ITER 229 NEW BEST:: SOT 12992 SOS 4228 HAS SOPS 4228 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3561.228
AT ITER 241 NEW BEST:: SOT 12958 SOS 4126 HAS SOPS 4126 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3493.126
AT ITER 249 NEW BEST:: SOT 12957 SOS 4111 HAS SOPS 4111 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3478.111
AT ITER 250 NEW BEST:: SOT 12974 SOS 4110 HAS SOPS 4110 HAS SOUS 3473 HAS SOUPS 3473 WITH SCORE 3477.11
AT ITER 256 NEW BEST:: SOT 12959 SOS 4080 HAS SOPS 4080 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3462.08
AT ITER 257 NEW BEST:: SOT 12959 SOS 4072 HAS SOPS 4072 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3462.072
AT ITER 265 NEW BEST:: SOT 12959 SOS 4069 HAS SOPS 4069 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3459.069
AT ITER 289 NEW BEST:: SOT 12938 SOS 4006 HAS SOPS 4006 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3401.006
AT ITER 314 NEW BEST:: SOT 12932 SOS 3998 HAS SOPS 3998 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3392.998
AT ITER 326 NEW BEST:: SOT 12935 SOS 3997 HAS SOPS 3997 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3391.997
AT ITER 340 NEW BEST:: SOT 12935 SOS 4026 HAS SOPS 4026 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3389.026
AT ITER 382 NEW BEST:: SOT 12949 SOS 4036 HAS SOPS 4036 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3388.036
AT ITER 388 NEW BEST:: SOT 12949 SOS 4050 HAS SOPS 4050 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3385.05
AT ITER 400 NEW BEST:: SOT 12948 SOS 4025 HAS SOPS 4025 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3383.025
AT ITER 401 NEW BEST:: SOT 12948 SOS 4023 HAS SOPS 4023 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3381.023
AT ITER 405 NEW BEST:: SOT 12948 SOS 4003 HAS SOPS 4003 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3381.003
AT ITER 453 NEW BEST:: SOT 12948 SOS 3996 HAS SOPS 3996 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3373.996
AT ITER 464 NEW BEST:: SOT 12948 SOS 3985 HAS SOPS 3985 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3373.985
AT ITER 479 NEW BEST:: SOT 12947 SOS 3982 HAS SOPS 3982 HAS SOUS 3369 HAS SOUPS 3369 WITH SCORE 3372.982
AT ITER 493 NEW BEST:: SOT 12947 SOS 3958 HAS SOPS 3958 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3364.958
AT ITER 516 NEW BEST:: SOT 12947 SOS 3958 HAS SOPS 3958 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3357.958
AT ITER 554 NEW BEST:: SOT 12953 SOS 3938 HAS SOPS 3938 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.938
AT ITER 560 NEW BEST:: SOT 12942 SOS 3894 HAS SOPS 3894 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.894
AT ITER 592 NEW BEST:: SOT 12935 SOS 3880 HAS SOPS 3880 HAS SOUS 3305 HAS SOUPS 3305 WITH SCORE 3308.88
AT ITER 601 NEW BEST:: SOT 12920 SOS 3836 HAS SOPS 3836 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3268.836
AT ITER 602 NEW BEST:: SOT 12924 SOS 3824 HAS SOPS 3824 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3251.824
AT ITER 612 NEW BEST:: SOT 12922 SOS 3820 HAS SOPS 3820 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3249.82
AT ITER 625 NEW BEST:: SOT 12905 SOS 3809 HAS SOPS 3809 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3214.809
AT ITER 626 NEW BEST:: SOT 12905 SOS 3803 HAS SOPS 3803 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3208.803
AT ITER 642 NEW BEST:: SOT 12905 SOS 3794 HAS SOPS 3794 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3199.794
AT ITER 649 NEW BEST:: SOT 12905 SOS 3796 HAS SOPS 3796 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3198.796
AT ITER 677 NEW BEST:: SOT 12902 SOS 3793 HAS SOPS 3793 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3195.793
AT ITER 679 NEW BEST:: SOT 12898 SOS 3767 HAS SOPS 3767 HAS SOUS 3167 HAS SOUPS 3167 WITH SCORE 3170.767
AT ITER 736 NEW BEST:: SOT 12908 SOS 3770 HAS SOPS 3770 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3169.77
AT ITER 788 NEW BEST:: SOT 12900 SOS 3754 HAS SOPS 3754 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.754
AT ITER 830 NEW BEST:: SOT 12907 SOS 3765 HAS SOPS 3765 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.765
AT ITER 859 NEW BEST:: SOT 12907 SOS 3759 HAS SOPS 3759 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.759
AT ITER 868 NEW BEST:: SOT 12888 SOS 3721 HAS SOPS 3721 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.721
AT ITER 870 NEW BEST:: SOT 12886 SOS 3713 HAS SOPS 3713 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3108.713
AT ITER 873 NEW BEST:: SOT 12876 SOS 3693 HAS SOPS 3693 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3102.693
AT ITER 883 NEW BEST:: SOT 12875 SOS 3698 HAS SOPS 3698 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3100.698
AT ITER 901 NEW BEST:: SOT 12875 SOS 3686 HAS SOPS 3686 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3096.686
AT ITER 903 NEW BEST:: SOT 12869 SOS 3657 HAS SOPS 3657 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3090.657
AT ITER 944 NEW BEST:: SOT 12859 SOS 3637 HAS SOPS 3637 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.637
AT ITER 998 NEW BEST:: SOT 12858 SOS 3634 HAS SOPS 3634 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.634
AT ITER 1008 NEW BEST:: SOT 12858 SOS 3633 HAS SOPS 3633 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.633
AT ITER 1080 NEW BEST:: SOT 12855 SOS 3611 HAS SOPS 3611 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.611
AT ITER 1091 NEW BEST:: SOT 12855 SOS 3614 HAS SOPS 3614 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3073.614
AT ITER 1111 NEW BEST:: SOT 12844 SOS 3581 HAS SOPS 3581 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3062.581
AT ITER 1114 NEW BEST:: SOT 12819 SOS 3504 HAS SOPS 3504 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3047.504
AT ITER 1176 NEW BEST:: SOT 12821 SOS 3482 HAS SOPS 3482 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3036.482
AT ITER 1194 NEW BEST:: SOT 12824 SOS 3480 HAS SOPS 3480 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3034.48
AT ITER 1198 NEW BEST:: SOT 12824 SOS 3479 HAS SOPS 3479 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3033.479
AT ITER 1229 NEW BEST:: SOT 12822 SOS 3473 HAS SOPS 3473 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3029.473
AT ITER 1237 NEW BEST:: SOT 12808 SOS 3489 HAS SOPS 3489 HAS SOUS 3025 HAS SOUPS 3025 WITH SCORE 3028.489
AT ITER 1258 NEW BEST:: SOT 12808 SOS 3489 HAS SOPS 3489 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3017.489
AT ITER 1304 NEW BEST:: SOT 12806 SOS 3483 HAS SOPS 3483 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.483
AT ITER 1358 NEW BEST:: SOT 12818 SOS 3482 HAS SOPS 3482 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.482
AT ITER 1373 NEW BEST:: SOT 12810 SOS 3477 HAS SOPS 3477 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3001.477
AT ITER 1374 NEW BEST:: SOT 12810 SOS 3482 HAS SOPS 3482 HAS SOUS 2994 HAS SOUPS 2994 WITH SCORE 2997.482
AT ITER 1385 NEW BEST:: SOT 12808 SOS 3478 HAS SOPS 3478 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.478
AT ITER 1421 NEW BEST:: SOT 12813 SOS 3462 HAS SOPS 3462 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.462
AT ITER 1470 NEW BEST:: SOT 12814 SOS 3462 HAS SOPS 3462 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2986.462
AT ITER 1542 NEW BEST:: SOT 12814 SOS 3458 HAS SOPS 3458 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2986.458
AT ITER 1556 NEW BEST:: SOT 12813 SOS 3455 HAS SOPS 3455 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2983.455
AT ITER 1567 NEW BEST:: SOT 12813 SOS 3455 HAS SOPS 3455 HAS SOUS 2971 HAS SOUPS 2971 WITH SCORE 2974.455
AT ITER 1594 NEW BEST:: SOT 12812 SOS 3439 HAS SOPS 3439 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2965.439
AT ITER 1644 NEW BEST:: SOT 12811 SOS 3437 HAS SOPS 3437 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2963.437
AT ITER 1646 NEW BEST:: SOT 12805 SOS 3425 HAS SOPS 3425 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2951.425
AT ITER 1656 NEW BEST:: SOT 12805 SOS 3423 HAS SOPS 3423 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2951.423
AT ITER 1663 NEW BEST:: SOT 12805 SOS 3419 HAS SOPS 3419 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2948.419
AT ITER 1675 NEW BEST:: SOT 12795 SOS 3409 HAS SOPS 3409 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2938.409
AT ITER 1703 NEW BEST:: SOT 12793 SOS 3379 HAS SOPS 3379 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2908.379
AT ITER 1721 NEW BEST:: SOT 12793 SOS 3369 HAS SOPS 3369 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2908.369
AT ITER 1726 NEW BEST:: SOT 12791 SOS 3365 HAS SOPS 3365 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2904.365
AT ITER 1793 NEW BEST:: SOT 12782 SOS 3359 HAS SOPS 3359 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.359
AT ITER 1800 NEW BEST:: SOT 12789 SOS 3373 HAS SOPS 3373 HAS SOUS 2889 HAS SOUPS 2889 WITH SCORE 2892.373
AT ITER 1821 NEW BEST:: SOT 12761 SOS 3317 HAS SOPS 3317 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2864.317
AT ITER 1864 NEW BEST:: SOT 12731 SOS 3181 HAS SOPS 3181 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2795.181
AT ITER 1873 NEW BEST:: SOT 12725 SOS 3159 HAS SOPS 3159 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2789.159
AT ITER 1878 NEW BEST:: SOT 12707 SOS 3169 HAS SOPS 3169 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2782.169
AT ITER 1898 NEW BEST:: SOT 12703 SOS 3151 HAS SOPS 3151 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.151
AT ITER 1917 NEW BEST:: SOT 12703 SOS 3147 HAS SOPS 3147 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.147
AT ITER 1941 NEW BEST:: SOT 12698 SOS 3153 HAS SOPS 3153 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.153
AT ITER 1948 NEW BEST:: SOT 12696 SOS 3147 HAS SOPS 3147 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.147
AT ITER 1954 NEW BEST:: SOT 12696 SOS 3147 HAS SOPS 3147 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2762.147
AT ITER 1965 NEW BEST:: SOT 12697 SOS 3145 HAS SOPS 3145 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.145
AT ITER 1995 NEW BEST:: SOT 12686 SOS 3123 HAS SOPS 3123 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2754.123
AT ITER 1998 NEW BEST:: SOT 12686 SOS 3105 HAS SOPS 3105 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2754.105
AT ITER 2017 NEW BEST:: SOT 12674 SOS 3102 HAS SOPS 3102 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2751.102
AT ITER 2044 NEW BEST:: SOT 12670 SOS 3090 HAS SOPS 3090 HAS SOUS 2744 HAS SOUPS 2744 WITH SCORE 2747.09
AT ITER 2080 NEW BEST:: SOT 12670 SOS 3090 HAS SOPS 3090 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2743.09
AT ITER 2138 NEW BEST:: SOT 12670 SOS 3083 HAS SOPS 3083 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2743.083
AT ITER 2166 NEW BEST:: SOT 12669 SOS 3081 HAS SOPS 3081 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2741.081
AT ITER 2176 NEW BEST:: SOT 12656 SOS 3079 HAS SOPS 3079 HAS SOUS 2731 HAS SOUPS 2731 WITH SCORE 2734.079
AT ITER 2190 NEW BEST:: SOT 12651 SOS 3083 HAS SOPS 3083 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2729.083
AT ITER 2266 NEW BEST:: SOT 12651 SOS 3078 HAS SOPS 3078 HAS SOUS 2723 HAS SOUPS 2723 WITH SCORE 2726.078
AT ITER 2296 NEW BEST:: SOT 12651 SOS 3078 HAS SOPS 3078 HAS SOUS 2720 HAS SOUPS 2720 WITH SCORE 2723.078
AT ITER 2302 NEW BEST:: SOT 12650 SOS 3077 HAS SOPS 3077 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2722.077
AT ITER 2313 NEW BEST:: SOT 12650 SOS 3075 HAS SOPS 3075 HAS SOUS 2717 HAS SOUPS 2717 WITH SCORE 2720.075
AT ITER 2339 NEW BEST:: SOT 12649 SOS 3080 HAS SOPS 3080 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2716.08
AT ITER 2360 NEW BEST:: SOT 12636 SOS 3046 HAS SOPS 3046 HAS SOUS 2700 HAS SOUPS 2700 WITH SCORE 2703.046
AT ITER 2381 NEW BEST:: SOT 12636 SOS 3045 HAS SOPS 3045 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2702.045
AT ITER 2473 NEW BEST:: SOT 12638 SOS 3033 HAS SOPS 3033 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2690.033
AT ITER 2474 NEW BEST:: SOT 12643 SOS 3031 HAS SOPS 3031 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2688.031
AT ITER 2480 NEW BEST:: SOT 12658 SOS 3014 HAS SOPS 3014 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2687.014
AT ITER 2483 NEW BEST:: SOT 12634 SOS 3051 HAS SOPS 3051 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2685.051
AT ITER 2506 NEW BEST:: SOT 12636 SOS 3050 HAS SOPS 3050 HAS SOUS 2681 HAS SOUPS 2681 WITH SCORE 2684.05
AT ITER 2510 NEW BEST:: SOT 12636 SOS 3055 HAS SOPS 3055 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2681.055
AT ITER 2524 NEW BEST:: SOT 12636 SOS 3025 HAS SOPS 3025 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2676.025
AT ITER 2560 NEW BEST:: SOT 12624 SOS 3028 HAS SOPS 3028 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2674.028
AT ITER 2626 NEW BEST:: SOT 12625 SOS 3020 HAS SOPS 3020 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2672.02
AT ITER 2628 NEW BEST:: SOT 12622 SOS 3016 HAS SOPS 3016 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2672.016
AT ITER 2696 NEW BEST:: SOT 12622 SOS 3015 HAS SOPS 3015 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2671.015
AT ITER 2707 NEW BEST:: SOT 12610 SOS 2995 HAS SOPS 2995 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2656.995
AT ITER 2713 NEW BEST:: SOT 12610 SOS 2978 HAS SOPS 2978 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2650.978
AT ITER 2721 NEW BEST:: SOT 12603 SOS 2964 HAS SOPS 2964 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2638.964
AT ITER 2760 NEW BEST:: SOT 12602 SOS 2964 HAS SOPS 2964 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2637.964
AT ITER 2762 NEW BEST:: SOT 12599 SOS 2958 HAS SOPS 2958 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2635.958
AT ITER 2773 NEW BEST:: SOT 12598 SOS 2957 HAS SOPS 2957 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.957
AT ITER 2778 NEW BEST:: SOT 12589 SOS 2952 HAS SOPS 2952 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2629.952
AT ITER 2783 NEW BEST:: SOT 12589 SOS 2951 HAS SOPS 2951 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2628.951
AT ITER 2807 NEW BEST:: SOT 12589 SOS 2943 HAS SOPS 2943 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2607.943
AT ITER 2835 NEW BEST:: SOT 12591 SOS 2947 HAS SOPS 2947 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2604.947
AT ITER 2848 NEW BEST:: SOT 12590 SOS 2951 HAS SOPS 2951 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2594.951
AT ITER 2852 NEW BEST:: SOT 12590 SOS 2942 HAS SOPS 2942 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2591.942
AT ITER 2890 NEW BEST:: SOT 12588 SOS 2940 HAS SOPS 2940 HAS SOUS 2587 HAS SOUPS 2587 WITH SCORE 2589.94
AT ITER 2956 NEW BEST:: SOT 12588 SOS 2936 HAS SOPS 2936 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2587.936
AT ITER 2962 NEW BEST:: SOT 12587 SOS 2934 HAS SOPS 2934 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2586.934
AT ITER 2993 NEW BEST:: SOT 12586 SOS 2920 HAS SOPS 2920 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2584.92
AT ITER 3023 NEW BEST:: SOT 12583 SOS 2919 HAS SOPS 2919 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2583.919
AT ITER 3128 NEW BEST:: SOT 12590 SOS 2932 HAS SOPS 2932 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2582.932
AT ITER 3183 NEW BEST:: SOT 12589 SOS 2930 HAS SOPS 2930 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2580.93
AT ITER 3187 NEW BEST:: SOT 12589 SOS 2920 HAS SOPS 2920 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2570.92
AT ITER 3208 NEW BEST:: SOT 12587 SOS 2920 HAS SOPS 2920 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2568.92
AT ITER 3217 NEW BEST:: SOT 12587 SOS 2918 HAS SOPS 2918 HAS SOUS 2564 HAS SOUPS 2564 WITH SCORE 2566.918
AT ITER 3234 NEW BEST:: SOT 12582 SOS 2908 HAS SOPS 2908 HAS SOUS 2559 HAS SOUPS 2559 WITH SCORE 2561.908
AT ITER 3246 NEW BEST:: SOT 12581 SOS 2906 HAS SOPS 2906 HAS SOUS 2558 HAS SOUPS 2558 WITH SCORE 2560.906
AT ITER 3270 NEW BEST:: SOT 12581 SOS 2905 HAS SOPS 2905 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2559.905
AT ITER 3352 NEW BEST:: SOT 12566 SOS 2890 HAS SOPS 2890 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2544.89
AT ITER 3408 NEW BEST:: SOT 12562 SOS 2902 HAS SOPS 2902 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2540.902
AT ITER 3416 NEW BEST:: SOT 12560 SOS 2898 HAS SOPS 2898 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2538.898
AT ITER 3421 NEW BEST:: SOT 12560 SOS 2896 HAS SOPS 2896 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.896
AT ITER 3480 NEW BEST:: SOT 12556 SOS 2895 HAS SOPS 2895 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2535.895
AT ITER 3499 NEW BEST:: SOT 12556 SOS 2893 HAS SOPS 2893 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2535.893
AT ITER 3534 NEW BEST:: SOT 12556 SOS 2885 HAS SOPS 2885 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2535.885
AT ITER 3546 NEW BEST:: SOT 12556 SOS 2885 HAS SOPS 2885 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2534.885
AT ITER 3588 NEW BEST:: SOT 12553 SOS 2879 HAS SOPS 2879 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2528.879
AT ITER 3616 NEW BEST:: SOT 12550 SOS 2876 HAS SOPS 2876 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2525.876
AT ITER 3618 NEW BEST:: SOT 12550 SOS 2876 HAS SOPS 2876 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2520.876
AT ITER 3635 NEW BEST:: SOT 12550 SOS 2875 HAS SOPS 2875 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2520.875
AT ITER 3673 NEW BEST:: SOT 12550 SOS 2852 HAS SOPS 2852 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2516.852
AT ITER 3680 NEW BEST:: SOT 12550 SOS 2851 HAS SOPS 2851 HAS SOUS 2513 HAS SOUPS 2513 WITH SCORE 2515.851
AT ITER 3724 NEW BEST:: SOT 12549 SOS 2856 HAS SOPS 2856 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2513.856
AT ITER 3743 NEW BEST:: SOT 12550 SOS 2856 HAS SOPS 2856 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2512.856
AT ITER 3811 NEW BEST:: SOT 12545 SOS 2854 HAS SOPS 2854 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2510.854
AT ITER 3822 NEW BEST:: SOT 12545 SOS 2850 HAS SOPS 2850 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2506.85
AT ITER 3867 NEW BEST:: SOT 12547 SOS 2851 HAS SOPS 2851 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2504.851
AT ITER 3895 NEW BEST:: SOT 12544 SOS 2845 HAS SOPS 2845 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2504.845
AT ITER 3954 NEW BEST:: SOT 12543 SOS 2834 HAS SOPS 2834 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2502.834
AT ITER 3981 NEW BEST:: SOT 12534 SOS 2816 HAS SOPS 2816 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2488.816
AT ITER 4090 NEW BEST:: SOT 12511 SOS 2809 HAS SOPS 2809 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2486.809
AT ITER 4174 NEW BEST:: SOT 12505 SOS 2797 HAS SOPS 2797 HAS SOUS 2478 HAS SOUPS 2478 WITH SCORE 2480.797
AT ITER 4212 NEW BEST:: SOT 12504 SOS 2787 HAS SOPS 2787 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2478.787
AT ITER 4242 NEW BEST:: SOT 12497 SOS 2773 HAS SOPS 2773 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2474.773
AT ITER 4246 NEW BEST:: SOT 12498 SOS 2772 HAS SOPS 2772 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.772
AT ITER 4276 NEW BEST:: SOT 12497 SOS 2776 HAS SOPS 2776 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2470.776
AT ITER 4299 NEW BEST:: SOT 12497 SOS 2771 HAS SOPS 2771 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2470.771
AT ITER 4304 NEW BEST:: SOT 12496 SOS 2772 HAS SOPS 2772 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2469.772
AT ITER 4309 NEW BEST:: SOT 12495 SOS 2771 HAS SOPS 2771 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2468.771
AT ITER 4320 NEW BEST:: SOT 12495 SOS 2770 HAS SOPS 2770 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2467.77
AT ITER 4360 NEW BEST:: SOT 12494 SOS 2768 HAS SOPS 2768 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2465.768
AT ITER 4416 NEW BEST:: SOT 12494 SOS 2763 HAS SOPS 2763 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2465.763
AT ITER 4436 NEW BEST:: SOT 12491 SOS 2772 HAS SOPS 2772 HAS SOUS 2462 HAS SOUPS 2462 WITH SCORE 2464.772
AT ITER 4489 NEW BEST:: SOT 12489 SOS 2769 HAS SOPS 2769 HAS SOUS 2459 HAS SOUPS 2459 WITH SCORE 2461.769
AT ITER 4497 NEW BEST:: SOT 12488 SOS 2767 HAS SOPS 2767 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.767
AT ITER 4661 NEW BEST:: SOT 12486 SOS 2781 HAS SOPS 2781 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.781
AT ITER 4665 NEW BEST:: SOT 12485 SOS 2781 HAS SOPS 2781 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2457.781
AT ITER 4800 NEW BEST:: SOT 12483 SOS 2777 HAS SOPS 2777 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2454.777
AT ITER 4808 NEW BEST:: SOT 12483 SOS 2771 HAS SOPS 2771 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2454.771
AT ITER 4818 NEW BEST:: SOT 12483 SOS 2766 HAS SOPS 2766 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2454.766
AT ITER 4828 NEW BEST:: SOT 12482 SOS 2766 HAS SOPS 2766 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2453.766
AT ITER 4832 NEW BEST:: SOT 12480 SOS 2763 HAS SOPS 2763 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2451.763
AT ITER 4867 NEW BEST:: SOT 12480 SOS 2762 HAS SOPS 2762 HAS SOUS 2448 HAS SOUPS 2448 WITH SCORE 2450.762
AT ITER 4871 NEW BEST:: SOT 12480 SOS 2744 HAS SOPS 2744 HAS SOUS 2439 HAS SOUPS 2439 WITH SCORE 2441.744
AT ITER 4880 NEW BEST:: SOT 12477 SOS 2738 HAS SOPS 2738 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2435.738
AT ITER 4893 NEW BEST:: SOT 12478 SOS 2761 HAS SOPS 2761 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2424.761
AT ITER 4936 NEW BEST:: SOT 12478 SOS 2758 HAS SOPS 2758 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.758
AT ITER 5028 NEW BEST:: SOT 12479 SOS 2757 HAS SOPS 2757 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.757
AT ITER 5056 NEW BEST:: SOT 12479 SOS 2752 HAS SOPS 2752 HAS SOUS 2416 HAS SOUPS 2416 WITH SCORE 2418.752
AT ITER 5255 NEW BEST:: SOT 12477 SOS 2751 HAS SOPS 2751 HAS SOUS 2415 HAS SOUPS 2415 WITH SCORE 2417.751
AT ITER 5281 NEW BEST:: SOT 12476 SOS 2751 HAS SOPS 2751 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2416.751
AT ITER 5294 NEW BEST:: SOT 12476 SOS 2749 HAS SOPS 2749 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2416.749
AT ITER 5303 NEW BEST:: SOT 12476 SOS 2742 HAS SOPS 2742 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.742
AT ITER 5326 NEW BEST:: SOT 12475 SOS 2740 HAS SOPS 2740 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.74
AT ITER 5346 NEW BEST:: SOT 12475 SOS 2738 HAS SOPS 2738 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.738
AT ITER 5379 NEW BEST:: SOT 12475 SOS 2734 HAS SOPS 2734 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2403.734
AT ITER 5442 NEW BEST:: SOT 12477 SOS 2730 HAS SOPS 2730 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2397.73
AT ITER 5493 NEW BEST:: SOT 12474 SOS 2729 HAS SOPS 2729 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.729
AT ITER 5559 NEW BEST:: SOT 12473 SOS 2730 HAS SOPS 2730 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2395.73
AT ITER 5626 NEW BEST:: SOT 12473 SOS 2726 HAS SOPS 2726 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2395.726
AT ITER 5629 NEW BEST:: SOT 12472 SOS 2724 HAS SOPS 2724 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2393.724
AT ITER 5646 NEW BEST:: SOT 12460 SOS 2706 HAS SOPS 2706 HAS SOUS 2379 HAS SOUPS 2379 WITH SCORE 2381.706
AT ITER 5653 NEW BEST:: SOT 12459 SOS 2705 HAS SOPS 2705 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2380.705
AT ITER 5658 NEW BEST:: SOT 12452 SOS 2681 HAS SOPS 2681 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2377.681
AT ITER 5689 NEW BEST:: SOT 12451 SOS 2676 HAS SOPS 2676 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.676
AT ITER 5721 NEW BEST:: SOT 12450 SOS 2676 HAS SOPS 2676 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2374.676
AT ITER 5789 NEW BEST:: SOT 12449 SOS 2680 HAS SOPS 2680 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2370.68
AT ITER 5810 NEW BEST:: SOT 12452 SOS 2671 HAS SOPS 2671 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2361.671
AT ITER 5968 NEW BEST:: SOT 12447 SOS 2661 HAS SOPS 2661 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2356.661
AT ITER 6028 NEW BEST:: SOT 12446 SOS 2653 HAS SOPS 2653 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2354.653
AT ITER 6035 NEW BEST:: SOT 12443 SOS 2648 HAS SOPS 2648 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2349.648
AT ITER 6043 NEW BEST:: SOT 12443 SOS 2650 HAS SOPS 2650 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.65
AT ITER 6068 NEW BEST:: SOT 12443 SOS 2645 HAS SOPS 2645 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2343.645
AT ITER 6070 NEW BEST:: SOT 12443 SOS 2639 HAS SOPS 2639 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2343.639
AT ITER 6178 NEW BEST:: SOT 12443 SOS 2630 HAS SOPS 2630 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.63
AT ITER 6217 NEW BEST:: SOT 12444 SOS 2628 HAS SOPS 2628 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.628
AT ITER 6263 NEW BEST:: SOT 12444 SOS 2622 HAS SOPS 2622 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2335.622
AT ITER 6307 NEW BEST:: SOT 12441 SOS 2619 HAS SOPS 2619 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2331.619
AT ITER 6333 NEW BEST:: SOT 12438 SOS 2616 HAS SOPS 2616 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2325.616
AT ITER 6334 NEW BEST:: SOT 12429 SOS 2605 HAS SOPS 2605 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.605
AT ITER 6460 NEW BEST:: SOT 12427 SOS 2598 HAS SOPS 2598 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.598
AT ITER 6533 NEW BEST:: SOT 12427 SOS 2597 HAS SOPS 2597 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.597
AT ITER 6682 NEW BEST:: SOT 12427 SOS 2594 HAS SOPS 2594 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.594
AT ITER 6694 NEW BEST:: SOT 12421 SOS 2590 HAS SOPS 2590 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.59
AT ITER 6713 NEW BEST:: SOT 12421 SOS 2596 HAS SOPS 2596 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2315.596
AT ITER 6773 NEW BEST:: SOT 12421 SOS 2596 HAS SOPS 2596 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.596
AT ITER 6785 NEW BEST:: SOT 12420 SOS 2595 HAS SOPS 2595 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.595
AT ITER 6802 NEW BEST:: SOT 12415 SOS 2590 HAS SOPS 2590 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.59
AT ITER 6833 NEW BEST:: SOT 12415 SOS 2588 HAS SOPS 2588 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.588
AT ITER 7133 NEW BEST:: SOT 12415 SOS 2569 HAS SOPS 2569 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2301.569
AT ITER 7216 NEW BEST:: SOT 12417 SOS 2580 HAS SOPS 2580 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2299.58
AT ITER 7315 NEW BEST:: SOT 12414 SOS 2551 HAS SOPS 2551 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2289.551
AT ITER 7331 NEW BEST:: SOT 12413 SOS 2550 HAS SOPS 2550 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2287.55
AT ITER 7352 NEW BEST:: SOT 12412 SOS 2548 HAS SOPS 2548 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2285.548
AT ITER 7453 NEW BEST:: SOT 12412 SOS 2535 HAS SOPS 2535 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2284.535
AT ITER 7459 NEW BEST:: SOT 12413 SOS 2518 HAS SOPS 2518 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2272.518
AT ITER 7539 NEW BEST:: SOT 12412 SOS 2518 HAS SOPS 2518 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2271.518
AT ITER 7574 NEW BEST:: SOT 12411 SOS 2516 HAS SOPS 2516 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2269.516
AT ITER 7625 NEW BEST:: SOT 12407 SOS 2508 HAS SOPS 2508 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2261.508
AT ITER 7671 NEW BEST:: SOT 12405 SOS 2504 HAS SOPS 2504 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2257.504
AT ITER 7674 NEW BEST:: SOT 12404 SOS 2502 HAS SOPS 2502 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2256.502
AT ITER 7716 NEW BEST:: SOT 12404 SOS 2489 HAS SOPS 2489 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2254.489
AT ITER 7814 NEW BEST:: SOT 12410 SOS 2501 HAS SOPS 2501 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.501
AT ITER 7830 NEW BEST:: SOT 12410 SOS 2499 HAS SOPS 2499 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.499
AT ITER 7885 NEW BEST:: SOT 12410 SOS 2498 HAS SOPS 2498 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2250.498
AT ITER 7944 NEW BEST:: SOT 12412 SOS 2495 HAS SOPS 2495 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2246.495
AT ITER 7963 NEW BEST:: SOT 12411 SOS 2493 HAS SOPS 2493 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.493
AT ITER 7983 NEW BEST:: SOT 12411 SOS 2491 HAS SOPS 2491 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.491
AT ITER 8097 NEW BEST:: SOT 12411 SOS 2495 HAS SOPS 2495 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2243.495
AT ITER 8127 NEW BEST:: SOT 12415 SOS 2481 HAS SOPS 2481 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.481
AT ITER 8139 NEW BEST:: SOT 12415 SOS 2479 HAS SOPS 2479 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.479
AT ITER 8255 NEW BEST:: SOT 12415 SOS 2469 HAS SOPS 2469 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2232.469
AT ITER 8260 NEW BEST:: SOT 12409 SOS 2451 HAS SOPS 2451 HAS SOUS 2229 HAS SOUPS 2229 WITH SCORE 2231.451
AT ITER 8294 NEW BEST:: SOT 12412 SOS 2450 HAS SOPS 2450 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2230.45
AT ITER 8460 NEW BEST:: SOT 12412 SOS 2449 HAS SOPS 2449 HAS SOUS 2227 HAS SOUPS 2227 WITH SCORE 2229.449
AT ITER 8483 NEW BEST:: SOT 12427 SOS 2466 HAS SOPS 2466 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2219.466
AT ITER 8490 NEW BEST:: SOT 12428 SOS 2468 HAS SOPS 2468 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2218.468
AT ITER 8527 NEW BEST:: SOT 12436 SOS 2464 HAS SOPS 2464 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2216.464
AT ITER 8534 NEW BEST:: SOT 12435 SOS 2462 HAS SOPS 2462 HAS SOUS 2213 HAS SOUPS 2213 WITH SCORE 2215.462
AT ITER 8585 NEW BEST:: SOT 12435 SOS 2464 HAS SOPS 2464 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.464
AT ITER 8635 NEW BEST:: SOT 12432 SOS 2466 HAS SOPS 2466 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2211.466
AT ITER 8642 NEW BEST:: SOT 12431 SOS 2466 HAS SOPS 2466 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.466
AT ITER 8783 NEW BEST:: SOT 12431 SOS 2456 HAS SOPS 2456 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2207.456
AT ITER 8797 NEW BEST:: SOT 12429 SOS 2452 HAS SOPS 2452 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2204.452
AT ITER 8894 NEW BEST:: SOT 12428 SOS 2451 HAS SOPS 2451 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2203.451
AT ITER 8900 NEW BEST:: SOT 12427 SOS 2451 HAS SOPS 2451 HAS SOUS 2200 HAS SOUPS 2200 WITH SCORE 2202.451
AT ITER 8955 NEW BEST:: SOT 12423 SOS 2443 HAS SOPS 2443 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.443
AT ITER 9008 NEW BEST:: SOT 12423 SOS 2442 HAS SOPS 2442 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.442
AT ITER 9046 NEW BEST:: SOT 12423 SOS 2439 HAS SOPS 2439 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.439
AT ITER 9159 NEW BEST:: SOT 12418 SOS 2440 HAS SOPS 2440 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.44
AT ITER 9186 NEW BEST:: SOT 12417 SOS 2438 HAS SOPS 2438 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2186.438
AT ITER 9278 NEW BEST:: SOT 12411 SOS 2430 HAS SOPS 2430 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2179.43
AT ITER 9336 NEW BEST:: SOT 12407 SOS 2422 HAS SOPS 2422 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2179.422
AT ITER 9394 NEW BEST:: SOT 12406 SOS 2420 HAS SOPS 2420 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.42
AT ITER 9464 NEW BEST:: SOT 12405 SOS 2423 HAS SOPS 2423 HAS SOUS 2173 HAS SOUPS 2173 WITH SCORE 2175.423
AT ITER 9511 NEW BEST:: SOT 12402 SOS 2417 HAS SOPS 2417 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2173.417
AT ITER 9595 NEW BEST:: SOT 12400 SOS 2413 HAS SOPS 2413 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2171.413
AT ITER 9702 NEW BEST:: SOT 12401 SOS 2411 HAS SOPS 2411 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.411
AT ITER 9785 NEW BEST:: SOT 12400 SOS 2410 HAS SOPS 2410 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.41
AT ITER 9901 NEW BEST:: SOT 12400 SOS 2407 HAS SOPS 2407 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.407
AT ITER 9956 NEW BEST:: SOT 12400 SOS 2406 HAS SOPS 2406 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2168.406
STATE_SPACE STATES 1226909246274 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 13 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 13618790532084 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679088701377

--------------------
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="ShieldRVt-PT-003B"
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 ShieldRVt-PT-003B, 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 r419-tajo-167905973500224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVt-PT-003B.tgz
mv ShieldRVt-PT-003B 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 ;