Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922808000768.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 DoubleExponent-PT-003, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808000768
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 3.7K Mar 31 07:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 31 07:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 30 00:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 30 00:27 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:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 28 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 07:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 07:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 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 50K 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 1589365143101

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

Filename model.pnml
Petri model created: 163 places, 148 transitions, 417 arcs.
AT ITER 0 NEW BEST:: SOT 13802 SOS 4030 HAS SOPS 4030 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3843.03
AT ITER 47 NEW BEST:: SOT 13808 SOS 4035 HAS SOPS 4035 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3842.035
AT ITER 73 NEW BEST:: SOT 13816 SOS 4056 HAS SOPS 4056 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3823.056
AT ITER 95 NEW BEST:: SOT 13800 SOS 4032 HAS SOPS 4032 HAS SOUS 3795 HAS SOUPS 3795 WITH SCORE 3799.032
AT ITER 102 NEW BEST:: SOT 13789 SOS 4020 HAS SOPS 4020 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3787.02
AT ITER 103 NEW BEST:: SOT 13770 SOS 4000 HAS SOPS 4000 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3767.0
AT ITER 119 NEW BEST:: SOT 13771 SOS 3949 HAS SOPS 3949 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3737.949
AT ITER 133 NEW BEST:: SOT 13766 SOS 3882 HAS SOPS 3882 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3701.882
AT ITER 157 NEW BEST:: SOT 13765 SOS 3878 HAS SOPS 3878 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3700.878
AT ITER 163 NEW BEST:: SOT 13757 SOS 3836 HAS SOPS 3836 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3670.836
AT ITER 185 NEW BEST:: SOT 13757 SOS 3835 HAS SOPS 3835 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3664.835
AT ITER 197 NEW BEST:: SOT 13752 SOS 3823 HAS SOPS 3823 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3652.823
AT ITER 199 NEW BEST:: SOT 13750 SOS 3819 HAS SOPS 3819 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3650.819
AT ITER 200 NEW BEST:: SOT 13750 SOS 3814 HAS SOPS 3814 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3649.814
AT ITER 201 NEW BEST:: SOT 13745 SOS 3806 HAS SOPS 3806 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3641.806
AT ITER 210 NEW BEST:: SOT 13720 SOS 3789 HAS SOPS 3789 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3619.789
AT ITER 215 NEW BEST:: SOT 13714 SOS 3777 HAS SOPS 3777 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3610.777
AT ITER 227 NEW BEST:: SOT 13714 SOS 3773 HAS SOPS 3773 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3606.773
AT ITER 236 NEW BEST:: SOT 13704 SOS 3753 HAS SOPS 3753 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3583.753
AT ITER 254 NEW BEST:: SOT 13701 SOS 3750 HAS SOPS 3750 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3580.75
AT ITER 264 NEW BEST:: SOT 13701 SOS 3750 HAS SOPS 3750 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3575.75
AT ITER 269 NEW BEST:: SOT 13683 SOS 3736 HAS SOPS 3736 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3553.736
AT ITER 271 NEW BEST:: SOT 13679 SOS 3720 HAS SOPS 3720 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3541.72
AT ITER 285 NEW BEST:: SOT 13679 SOS 3698 HAS SOPS 3698 HAS SOUS 3527 HAS SOUPS 3527 WITH SCORE 3530.698
AT ITER 309 NEW BEST:: SOT 13676 SOS 3711 HAS SOPS 3711 HAS SOUS 3525 HAS SOUPS 3525 WITH SCORE 3528.711
AT ITER 325 NEW BEST:: SOT 13658 SOS 3686 HAS SOPS 3686 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3515.686
AT ITER 346 NEW BEST:: SOT 13645 SOS 3679 HAS SOPS 3679 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3508.679
AT ITER 352 NEW BEST:: SOT 13630 SOS 3664 HAS SOPS 3664 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3493.664
AT ITER 386 NEW BEST:: SOT 13630 SOS 3663 HAS SOPS 3663 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3491.663
AT ITER 387 NEW BEST:: SOT 13618 SOS 3644 HAS SOPS 3644 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3472.644
AT ITER 396 NEW BEST:: SOT 13598 SOS 3630 HAS SOPS 3630 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3452.63
AT ITER 416 NEW BEST:: SOT 13598 SOS 3619 HAS SOPS 3619 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3452.619
AT ITER 422 NEW BEST:: SOT 13597 SOS 3616 HAS SOPS 3616 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3449.616
AT ITER 458 NEW BEST:: SOT 13619 SOS 3659 HAS SOPS 3659 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3443.659
AT ITER 459 NEW BEST:: SOT 13601 SOS 3646 HAS SOPS 3646 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3431.646
AT ITER 473 NEW BEST:: SOT 13570 SOS 3620 HAS SOPS 3620 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3379.62
AT ITER 476 NEW BEST:: SOT 13563 SOS 3599 HAS SOPS 3599 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3368.599
AT ITER 487 NEW BEST:: SOT 13568 SOS 3598 HAS SOPS 3598 HAS SOUS 3364 HAS SOUPS 3364 WITH SCORE 3367.598
AT ITER 510 NEW BEST:: SOT 13559 SOS 3590 HAS SOPS 3590 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3342.59
AT ITER 520 NEW BEST:: SOT 13559 SOS 3584 HAS SOPS 3584 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3342.584
AT ITER 548 NEW BEST:: SOT 13551 SOS 3566 HAS SOPS 3566 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.566
AT ITER 558 NEW BEST:: SOT 13550 SOS 3519 HAS SOPS 3519 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3319.519
AT ITER 564 NEW BEST:: SOT 13545 SOS 3511 HAS SOPS 3511 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3311.511
AT ITER 577 NEW BEST:: SOT 13506 SOS 3485 HAS SOPS 3485 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3285.485
AT ITER 588 NEW BEST:: SOT 13511 SOS 3480 HAS SOPS 3480 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.48
AT ITER 602 NEW BEST:: SOT 13529 SOS 3466 HAS SOPS 3466 HAS SOUS 3263 HAS SOUPS 3263 WITH SCORE 3266.466
AT ITER 611 NEW BEST:: SOT 13533 SOS 3459 HAS SOPS 3459 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.459
AT ITER 626 NEW BEST:: SOT 13531 SOS 3457 HAS SOPS 3457 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3255.457
AT ITER 637 NEW BEST:: SOT 13532 SOS 3447 HAS SOPS 3447 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3245.447
AT ITER 667 NEW BEST:: SOT 13526 SOS 3438 HAS SOPS 3438 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3240.438
AT ITER 673 NEW BEST:: SOT 13530 SOS 3411 HAS SOPS 3411 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3213.411
AT ITER 730 NEW BEST:: SOT 13513 SOS 3392 HAS SOPS 3392 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3194.392
AT ITER 748 NEW BEST:: SOT 13517 SOS 3412 HAS SOPS 3412 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3193.412
AT ITER 762 NEW BEST:: SOT 13497 SOS 3426 HAS SOPS 3426 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3189.426
AT ITER 787 NEW BEST:: SOT 13487 SOS 3426 HAS SOPS 3426 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3182.426
AT ITER 793 NEW BEST:: SOT 13487 SOS 3417 HAS SOPS 3417 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3182.417
AT ITER 800 NEW BEST:: SOT 13486 SOS 3416 HAS SOPS 3416 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3181.416
AT ITER 825 NEW BEST:: SOT 13482 SOS 3410 HAS SOPS 3410 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3174.41
AT ITER 829 NEW BEST:: SOT 13482 SOS 3408 HAS SOPS 3408 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3173.408
AT ITER 846 NEW BEST:: SOT 13482 SOS 3394 HAS SOPS 3394 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3159.394
AT ITER 863 NEW BEST:: SOT 13482 SOS 3378 HAS SOPS 3378 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3158.378
AT ITER 874 NEW BEST:: SOT 13472 SOS 3358 HAS SOPS 3358 HAS SOUS 3135 HAS SOUPS 3135 WITH SCORE 3138.358
AT ITER 894 NEW BEST:: SOT 13467 SOS 3343 HAS SOPS 3343 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3114.343
AT ITER 902 NEW BEST:: SOT 13471 SOS 3334 HAS SOPS 3334 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3105.334
AT ITER 905 NEW BEST:: SOT 13470 SOS 3333 HAS SOPS 3333 HAS SOUS 3101 HAS SOUPS 3101 WITH SCORE 3104.333
AT ITER 906 NEW BEST:: SOT 13459 SOS 3311 HAS SOPS 3311 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3093.311
AT ITER 907 NEW BEST:: SOT 13448 SOS 3307 HAS SOPS 3307 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.307
AT ITER 912 NEW BEST:: SOT 13437 SOS 3296 HAS SOPS 3296 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3078.296
AT ITER 931 NEW BEST:: SOT 13435 SOS 3294 HAS SOPS 3294 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3076.294
AT ITER 953 NEW BEST:: SOT 13437 SOS 3291 HAS SOPS 3291 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3073.291
AT ITER 973 NEW BEST:: SOT 13438 SOS 3286 HAS SOPS 3286 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3068.286
AT ITER 977 NEW BEST:: SOT 13425 SOS 3245 HAS SOPS 3245 HAS SOUS 3035 HAS SOUPS 3035 WITH SCORE 3038.245
AT ITER 978 NEW BEST:: SOT 13425 SOS 3258 HAS SOPS 3258 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3035.258
AT ITER 1005 NEW BEST:: SOT 13416 SOS 3250 HAS SOPS 3250 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3027.25
AT ITER 1008 NEW BEST:: SOT 13413 SOS 3247 HAS SOPS 3247 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3024.247
AT ITER 1019 NEW BEST:: SOT 13413 SOS 3239 HAS SOPS 3239 HAS SOUS 3013 HAS SOUPS 3013 WITH SCORE 3016.239
AT ITER 1025 NEW BEST:: SOT 13406 SOS 3221 HAS SOPS 3221 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2995.221
AT ITER 1036 NEW BEST:: SOT 13405 SOS 3219 HAS SOPS 3219 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2993.219
AT ITER 1043 NEW BEST:: SOT 13418 SOS 3184 HAS SOPS 3184 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2982.184
AT ITER 1050 NEW BEST:: SOT 13418 SOS 3164 HAS SOPS 3164 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2972.164
AT ITER 1081 NEW BEST:: SOT 13405 SOS 3164 HAS SOPS 3164 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2959.164
AT ITER 1140 NEW BEST:: SOT 13402 SOS 3161 HAS SOPS 3161 HAS SOUS 2953 HAS SOUPS 2953 WITH SCORE 2956.161
AT ITER 1189 NEW BEST:: SOT 13410 SOS 3139 HAS SOPS 3139 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2930.139
AT ITER 1194 NEW BEST:: SOT 13401 SOS 3115 HAS SOPS 3115 HAS SOUS 2903 HAS SOUPS 2903 WITH SCORE 2906.115
AT ITER 1210 NEW BEST:: SOT 13401 SOS 3111 HAS SOPS 3111 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.111
AT ITER 1280 NEW BEST:: SOT 13400 SOS 3110 HAS SOPS 3110 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.11
AT ITER 1291 NEW BEST:: SOT 13391 SOS 3097 HAS SOPS 3097 HAS SOUS 2889 HAS SOUPS 2889 WITH SCORE 2892.097
AT ITER 1325 NEW BEST:: SOT 13391 SOS 3121 HAS SOPS 3121 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2890.121
AT ITER 1328 NEW BEST:: SOT 13390 SOS 3120 HAS SOPS 3120 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2889.12
AT ITER 1338 NEW BEST:: SOT 13386 SOS 3103 HAS SOPS 3103 HAS SOUS 2879 HAS SOUPS 2879 WITH SCORE 2882.103
AT ITER 1356 NEW BEST:: SOT 13386 SOS 3101 HAS SOPS 3101 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2880.101
AT ITER 1376 NEW BEST:: SOT 13375 SOS 3095 HAS SOPS 3095 HAS SOUS 2873 HAS SOUPS 2873 WITH SCORE 2876.095
AT ITER 1405 NEW BEST:: SOT 13375 SOS 3086 HAS SOPS 3086 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2862.086
AT ITER 1411 NEW BEST:: SOT 13362 SOS 3064 HAS SOPS 3064 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2856.064
AT ITER 1423 NEW BEST:: SOT 13359 SOS 3058 HAS SOPS 3058 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2853.058
AT ITER 1427 NEW BEST:: SOT 13367 SOS 3055 HAS SOPS 3055 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2850.055
AT ITER 1469 NEW BEST:: SOT 13363 SOS 3047 HAS SOPS 3047 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2844.047
AT ITER 1483 NEW BEST:: SOT 13363 SOS 3038 HAS SOPS 3038 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2844.038
AT ITER 1526 NEW BEST:: SOT 13362 SOS 3036 HAS SOPS 3036 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.036
AT ITER 1549 NEW BEST:: SOT 13363 SOS 3033 HAS SOPS 3033 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2836.033
AT ITER 1574 NEW BEST:: SOT 13360 SOS 3030 HAS SOPS 3030 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.03
AT ITER 1585 NEW BEST:: SOT 13354 SOS 3026 HAS SOPS 3026 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2829.026
AT ITER 1616 NEW BEST:: SOT 13354 SOS 3012 HAS SOPS 3012 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2822.012
AT ITER 1668 NEW BEST:: SOT 13353 SOS 3009 HAS SOPS 3009 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.009
AT ITER 1703 NEW BEST:: SOT 13353 SOS 3009 HAS SOPS 3009 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2816.009
AT ITER 1716 NEW BEST:: SOT 13358 SOS 2998 HAS SOPS 2998 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2809.998
AT ITER 1729 NEW BEST:: SOT 13357 SOS 2996 HAS SOPS 2996 HAS SOUS 2804 HAS SOUPS 2804 WITH SCORE 2806.996
AT ITER 1756 NEW BEST:: SOT 13353 SOS 2975 HAS SOPS 2975 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2800.975
AT ITER 1771 NEW BEST:: SOT 13353 SOS 2974 HAS SOPS 2974 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2799.974
AT ITER 1785 NEW BEST:: SOT 13326 SOS 2969 HAS SOPS 2969 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2784.969
AT ITER 1801 NEW BEST:: SOT 13326 SOS 2968 HAS SOPS 2968 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2783.968
AT ITER 1806 NEW BEST:: SOT 13326 SOS 2967 HAS SOPS 2967 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2783.967
AT ITER 1832 NEW BEST:: SOT 13298 SOS 2932 HAS SOPS 2932 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2748.932
AT ITER 1852 NEW BEST:: SOT 13301 SOS 2921 HAS SOPS 2921 HAS SOUS 2742 HAS SOUPS 2742 WITH SCORE 2744.921
AT ITER 1859 NEW BEST:: SOT 13295 SOS 2919 HAS SOPS 2919 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2742.919
AT ITER 1908 NEW BEST:: SOT 13293 SOS 2918 HAS SOPS 2918 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2740.918
AT ITER 2056 NEW BEST:: SOT 13291 SOS 2915 HAS SOPS 2915 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2737.915
AT ITER 2063 NEW BEST:: SOT 13284 SOS 2901 HAS SOPS 2901 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2716.901
AT ITER 2088 NEW BEST:: SOT 13282 SOS 2898 HAS SOPS 2898 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2713.898
AT ITER 2111 NEW BEST:: SOT 13300 SOS 2926 HAS SOPS 2926 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2712.926
AT ITER 2116 NEW BEST:: SOT 13300 SOS 2918 HAS SOPS 2918 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2711.918
AT ITER 2136 NEW BEST:: SOT 13326 SOS 2918 HAS SOPS 2918 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2698.918
AT ITER 2138 NEW BEST:: SOT 13325 SOS 2915 HAS SOPS 2915 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2694.915
AT ITER 2172 NEW BEST:: SOT 13321 SOS 2911 HAS SOPS 2911 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2690.911
AT ITER 2179 NEW BEST:: SOT 13319 SOS 2863 HAS SOPS 2863 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2680.863
AT ITER 2207 NEW BEST:: SOT 13318 SOS 2862 HAS SOPS 2862 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2679.862
AT ITER 2218 NEW BEST:: SOT 13321 SOS 2885 HAS SOPS 2885 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2678.885
AT ITER 2254 NEW BEST:: SOT 13321 SOS 2884 HAS SOPS 2884 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2677.884
AT ITER 2293 NEW BEST:: SOT 13317 SOS 2875 HAS SOPS 2875 HAS SOUS 2674 HAS SOUPS 2674 WITH SCORE 2676.875
AT ITER 2344 NEW BEST:: SOT 13317 SOS 2874 HAS SOPS 2874 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2675.874
AT ITER 2367 NEW BEST:: SOT 13317 SOS 2876 HAS SOPS 2876 HAS SOUS 2672 HAS SOUPS 2672 WITH SCORE 2674.876
AT ITER 2408 NEW BEST:: SOT 13313 SOS 2867 HAS SOPS 2867 HAS SOUS 2664 HAS SOUPS 2664 WITH SCORE 2666.867
AT ITER 2422 NEW BEST:: SOT 13317 SOS 2861 HAS SOPS 2861 HAS SOUS 2657 HAS SOUPS 2657 WITH SCORE 2659.861
AT ITER 2449 NEW BEST:: SOT 13316 SOS 2833 HAS SOPS 2833 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2639.833
AT ITER 2555 NEW BEST:: SOT 13314 SOS 2825 HAS SOPS 2825 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2635.825
AT ITER 2577 NEW BEST:: SOT 13313 SOS 2848 HAS SOPS 2848 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.848
AT ITER 2594 NEW BEST:: SOT 13303 SOS 2838 HAS SOPS 2838 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2618.838
AT ITER 2628 NEW BEST:: SOT 13300 SOS 2833 HAS SOPS 2833 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2612.833
AT ITER 2663 NEW BEST:: SOT 13299 SOS 2832 HAS SOPS 2832 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2608.832
AT ITER 2665 NEW BEST:: SOT 13299 SOS 2831 HAS SOPS 2831 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2607.831
AT ITER 2678 NEW BEST:: SOT 13303 SOS 2834 HAS SOPS 2834 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2601.834
AT ITER 2740 NEW BEST:: SOT 13307 SOS 2830 HAS SOPS 2830 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2597.83
AT ITER 2759 NEW BEST:: SOT 13270 SOS 2856 HAS SOPS 2856 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2583.856
AT ITER 2780 NEW BEST:: SOT 13283 SOS 2814 HAS SOPS 2814 HAS SOUS 2573 HAS SOUPS 2573 WITH SCORE 2575.814
AT ITER 2824 NEW BEST:: SOT 13281 SOS 2810 HAS SOPS 2810 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2572.81
AT ITER 2854 NEW BEST:: SOT 13253 SOS 2784 HAS SOPS 2784 HAS SOUS 2558 HAS SOUPS 2558 WITH SCORE 2560.784
AT ITER 2859 NEW BEST:: SOT 13251 SOS 2776 HAS SOPS 2776 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2552.776
AT ITER 2876 NEW BEST:: SOT 13251 SOS 2772 HAS SOPS 2772 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2550.772
AT ITER 2880 NEW BEST:: SOT 13240 SOS 2768 HAS SOPS 2768 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2546.768
AT ITER 2913 NEW BEST:: SOT 13236 SOS 2763 HAS SOPS 2763 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2541.763
AT ITER 2926 NEW BEST:: SOT 13231 SOS 2759 HAS SOPS 2759 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.759
AT ITER 2953 NEW BEST:: SOT 13225 SOS 2752 HAS SOPS 2752 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2529.752
AT ITER 2966 NEW BEST:: SOT 13225 SOS 2750 HAS SOPS 2750 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2527.75
AT ITER 2970 NEW BEST:: SOT 13235 SOS 2747 HAS SOPS 2747 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2519.747
AT ITER 3022 NEW BEST:: SOT 13233 SOS 2739 HAS SOPS 2739 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2498.739
AT ITER 3057 NEW BEST:: SOT 13231 SOS 2733 HAS SOPS 2733 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2492.733
AT ITER 3066 NEW BEST:: SOT 13231 SOS 2732 HAS SOPS 2732 HAS SOUS 2489 HAS SOUPS 2489 WITH SCORE 2491.732
AT ITER 3125 NEW BEST:: SOT 13223 SOS 2725 HAS SOPS 2725 HAS SOUS 2485 HAS SOUPS 2485 WITH SCORE 2487.725
AT ITER 3127 NEW BEST:: SOT 13222 SOS 2724 HAS SOPS 2724 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2485.724
AT ITER 3183 NEW BEST:: SOT 13218 SOS 2721 HAS SOPS 2721 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2482.721
AT ITER 3186 NEW BEST:: SOT 13216 SOS 2700 HAS SOPS 2700 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2477.7
AT ITER 3191 NEW BEST:: SOT 13211 SOS 2693 HAS SOPS 2693 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2470.693
AT ITER 3206 NEW BEST:: SOT 13205 SOS 2681 HAS SOPS 2681 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.681
AT ITER 3211 NEW BEST:: SOT 13205 SOS 2680 HAS SOPS 2680 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2457.68
AT ITER 3230 NEW BEST:: SOT 13199 SOS 2668 HAS SOPS 2668 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2451.668
AT ITER 3245 NEW BEST:: SOT 13199 SOS 2667 HAS SOPS 2667 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2451.667
AT ITER 3266 NEW BEST:: SOT 13199 SOS 2664 HAS SOPS 2664 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2446.664
AT ITER 3285 NEW BEST:: SOT 13199 SOS 2646 HAS SOPS 2646 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2445.646
AT ITER 3295 NEW BEST:: SOT 13188 SOS 2650 HAS SOPS 2650 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.65
AT ITER 3306 NEW BEST:: SOT 13188 SOS 2650 HAS SOPS 2650 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2436.65
AT ITER 3319 NEW BEST:: SOT 13182 SOS 2652 HAS SOPS 2652 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2433.652
AT ITER 3322 NEW BEST:: SOT 13185 SOS 2642 HAS SOPS 2642 HAS SOUS 2428 HAS SOUPS 2428 WITH SCORE 2430.642
AT ITER 3327 NEW BEST:: SOT 13179 SOS 2641 HAS SOPS 2641 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2424.641
AT ITER 3328 NEW BEST:: SOT 13178 SOS 2637 HAS SOPS 2637 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.637
AT ITER 3352 NEW BEST:: SOT 13176 SOS 2636 HAS SOPS 2636 HAS SOUS 2416 HAS SOUPS 2416 WITH SCORE 2418.636
AT ITER 3378 NEW BEST:: SOT 13171 SOS 2636 HAS SOPS 2636 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2416.636
AT ITER 3412 NEW BEST:: SOT 13163 SOS 2641 HAS SOPS 2641 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2415.641
AT ITER 3490 NEW BEST:: SOT 13159 SOS 2619 HAS SOPS 2619 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.619
AT ITER 3512 NEW BEST:: SOT 13160 SOS 2617 HAS SOPS 2617 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.617
AT ITER 3578 NEW BEST:: SOT 13161 SOS 2616 HAS SOPS 2616 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.616
AT ITER 3696 NEW BEST:: SOT 13159 SOS 2614 HAS SOPS 2614 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.614
AT ITER 3700 NEW BEST:: SOT 13150 SOS 2600 HAS SOPS 2600 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2390.6
AT ITER 3751 NEW BEST:: SOT 13146 SOS 2592 HAS SOPS 2592 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.592
AT ITER 3790 NEW BEST:: SOT 13144 SOS 2588 HAS SOPS 2588 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2378.588
AT ITER 3806 NEW BEST:: SOT 13147 SOS 2599 HAS SOPS 2599 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.599
AT ITER 3820 NEW BEST:: SOT 13149 SOS 2597 HAS SOPS 2597 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.597
AT ITER 3845 NEW BEST:: SOT 13149 SOS 2593 HAS SOPS 2593 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.593
AT ITER 3853 NEW BEST:: SOT 13148 SOS 2593 HAS SOPS 2593 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.593
AT ITER 3925 NEW BEST:: SOT 13148 SOS 2587 HAS SOPS 2587 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2369.587
AT ITER 3935 NEW BEST:: SOT 13144 SOS 2579 HAS SOPS 2579 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2357.579
AT ITER 3947 NEW BEST:: SOT 13144 SOS 2571 HAS SOPS 2571 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2353.571
AT ITER 3985 NEW BEST:: SOT 13142 SOS 2571 HAS SOPS 2571 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2352.571
AT ITER 4051 NEW BEST:: SOT 13130 SOS 2559 HAS SOPS 2559 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2333.559
AT ITER 4104 NEW BEST:: SOT 13128 SOS 2559 HAS SOPS 2559 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2331.559
AT ITER 4111 NEW BEST:: SOT 13128 SOS 2556 HAS SOPS 2556 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2330.556
AT ITER 4112 NEW BEST:: SOT 13125 SOS 2550 HAS SOPS 2550 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.55
AT ITER 4125 NEW BEST:: SOT 13123 SOS 2548 HAS SOPS 2548 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.548
AT ITER 4175 NEW BEST:: SOT 13123 SOS 2546 HAS SOPS 2546 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.546
AT ITER 4182 NEW BEST:: SOT 13116 SOS 2542 HAS SOPS 2542 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.542
AT ITER 4185 NEW BEST:: SOT 13114 SOS 2538 HAS SOPS 2538 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.538
AT ITER 4244 NEW BEST:: SOT 13114 SOS 2533 HAS SOPS 2533 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.533
AT ITER 4258 NEW BEST:: SOT 13114 SOS 2529 HAS SOPS 2529 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.529
AT ITER 4262 NEW BEST:: SOT 13115 SOS 2529 HAS SOPS 2529 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.529
AT ITER 4366 NEW BEST:: SOT 13110 SOS 2524 HAS SOPS 2524 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2308.524
AT ITER 4381 NEW BEST:: SOT 13108 SOS 2522 HAS SOPS 2522 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.522
AT ITER 4383 NEW BEST:: SOT 13108 SOS 2520 HAS SOPS 2520 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.52
AT ITER 4425 NEW BEST:: SOT 13119 SOS 2506 HAS SOPS 2506 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2303.506
AT ITER 4453 NEW BEST:: SOT 13123 SOS 2500 HAS SOPS 2500 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2297.5
AT ITER 4492 NEW BEST:: SOT 13122 SOS 2500 HAS SOPS 2500 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.5
AT ITER 4521 NEW BEST:: SOT 13119 SOS 2493 HAS SOPS 2493 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.493
AT ITER 4583 NEW BEST:: SOT 13122 SOS 2500 HAS SOPS 2500 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2290.5
AT ITER 4649 NEW BEST:: SOT 13122 SOS 2501 HAS SOPS 2501 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2285.501
AT ITER 4653 NEW BEST:: SOT 13119 SOS 2498 HAS SOPS 2498 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.498
AT ITER 4686 NEW BEST:: SOT 13117 SOS 2496 HAS SOPS 2496 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.496
AT ITER 4699 NEW BEST:: SOT 13112 SOS 2487 HAS SOPS 2487 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2269.487
AT ITER 4705 NEW BEST:: SOT 13109 SOS 2484 HAS SOPS 2484 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.484
AT ITER 4717 NEW BEST:: SOT 13107 SOS 2484 HAS SOPS 2484 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2265.484
AT ITER 4834 NEW BEST:: SOT 13104 SOS 2484 HAS SOPS 2484 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2263.484
AT ITER 4921 NEW BEST:: SOT 13101 SOS 2477 HAS SOPS 2477 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2249.477
AT ITER 4972 NEW BEST:: SOT 13098 SOS 2469 HAS SOPS 2469 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.469
AT ITER 5036 NEW BEST:: SOT 13100 SOS 2467 HAS SOPS 2467 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2244.467
AT ITER 5275 NEW BEST:: SOT 13100 SOS 2469 HAS SOPS 2469 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2242.469
AT ITER 5279 NEW BEST:: SOT 13100 SOS 2468 HAS SOPS 2468 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2241.468
AT ITER 5339 NEW BEST:: SOT 13100 SOS 2461 HAS SOPS 2461 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2241.461
AT ITER 5340 NEW BEST:: SOT 13100 SOS 2459 HAS SOPS 2459 HAS SOUS 2238 HAS SOUPS 2238 WITH SCORE 2240.459
AT ITER 5359 NEW BEST:: SOT 13098 SOS 2461 HAS SOPS 2461 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.461
AT ITER 5384 NEW BEST:: SOT 13105 SOS 2458 HAS SOPS 2458 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.458
AT ITER 5429 NEW BEST:: SOT 13102 SOS 2455 HAS SOPS 2455 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2236.455
AT ITER 5498 NEW BEST:: SOT 13099 SOS 2449 HAS SOPS 2449 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2230.449
AT ITER 5533 NEW BEST:: SOT 13089 SOS 2439 HAS SOPS 2439 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.439
AT ITER 5610 NEW BEST:: SOT 13102 SOS 2420 HAS SOPS 2420 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2218.42
AT ITER 5726 NEW BEST:: SOT 13103 SOS 2416 HAS SOPS 2416 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2216.416
AT ITER 5747 NEW BEST:: SOT 13102 SOS 2415 HAS SOPS 2415 HAS SOUS 2213 HAS SOUPS 2213 WITH SCORE 2215.415
AT ITER 5771 NEW BEST:: SOT 13102 SOS 2413 HAS SOPS 2413 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2211.413
AT ITER 5780 NEW BEST:: SOT 13102 SOS 2411 HAS SOPS 2411 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2211.411
AT ITER 5798 NEW BEST:: SOT 13096 SOS 2421 HAS SOPS 2421 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2209.421
AT ITER 5863 NEW BEST:: SOT 13087 SOS 2421 HAS SOPS 2421 HAS SOUS 2199 HAS SOUPS 2199 WITH SCORE 2201.421
AT ITER 5886 NEW BEST:: SOT 13085 SOS 2418 HAS SOPS 2418 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.418
AT ITER 5936 NEW BEST:: SOT 13077 SOS 2417 HAS SOPS 2417 HAS SOUS 2195 HAS SOUPS 2195 WITH SCORE 2197.417
AT ITER 5938 NEW BEST:: SOT 13077 SOS 2403 HAS SOPS 2403 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.403
AT ITER 6033 NEW BEST:: SOT 13075 SOS 2401 HAS SOPS 2401 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.401
AT ITER 6044 NEW BEST:: SOT 13075 SOS 2399 HAS SOPS 2399 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.399
AT ITER 6125 NEW BEST:: SOT 13075 SOS 2397 HAS SOPS 2397 HAS SOUS 2187 HAS SOUPS 2187 WITH SCORE 2189.397
AT ITER 6161 NEW BEST:: SOT 13074 SOS 2396 HAS SOPS 2396 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.396
AT ITER 6192 NEW BEST:: SOT 13074 SOS 2395 HAS SOPS 2395 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.395
AT ITER 6546 NEW BEST:: SOT 13058 SOS 2394 HAS SOPS 2394 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2187.394
AT ITER 6609 NEW BEST:: SOT 13058 SOS 2393 HAS SOPS 2393 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2186.393
AT ITER 6631 NEW BEST:: SOT 13058 SOS 2381 HAS SOPS 2381 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2180.381
AT ITER 6661 NEW BEST:: SOT 13053 SOS 2379 HAS SOPS 2379 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2178.379
AT ITER 6765 NEW BEST:: SOT 13048 SOS 2375 HAS SOPS 2375 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.375
AT ITER 6784 NEW BEST:: SOT 13045 SOS 2380 HAS SOPS 2380 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2176.38
AT ITER 6803 NEW BEST:: SOT 13043 SOS 2377 HAS SOPS 2377 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2172.377
AT ITER 6871 NEW BEST:: SOT 13042 SOS 2376 HAS SOPS 2376 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2171.376
AT ITER 6913 NEW BEST:: SOT 13036 SOS 2363 HAS SOPS 2363 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2158.363
AT ITER 6917 NEW BEST:: SOT 13035 SOS 2362 HAS SOPS 2362 HAS SOUS 2155 HAS SOUPS 2155 WITH SCORE 2157.362
AT ITER 6964 NEW BEST:: SOT 13030 SOS 2353 HAS SOPS 2353 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2148.353
AT ITER 7055 NEW BEST:: SOT 13030 SOS 2352 HAS SOPS 2352 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2148.352
AT ITER 7089 NEW BEST:: SOT 13031 SOS 2354 HAS SOPS 2354 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2146.354
AT ITER 7110 NEW BEST:: SOT 13031 SOS 2353 HAS SOPS 2353 HAS SOUS 2143 HAS SOUPS 2143 WITH SCORE 2145.353
AT ITER 7169 NEW BEST:: SOT 13022 SOS 2347 HAS SOPS 2347 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.347
AT ITER 7326 NEW BEST:: SOT 13019 SOS 2358 HAS SOPS 2358 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.358
AT ITER 7384 NEW BEST:: SOT 13018 SOS 2358 HAS SOPS 2358 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2141.358
AT ITER 7412 NEW BEST:: SOT 13015 SOS 2358 HAS SOPS 2358 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2135.358
AT ITER 7650 NEW BEST:: SOT 13034 SOS 2337 HAS SOPS 2337 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2133.337
AT ITER 7671 NEW BEST:: SOT 13032 SOS 2337 HAS SOPS 2337 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.337
AT ITER 7758 NEW BEST:: SOT 13032 SOS 2336 HAS SOPS 2336 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.336
AT ITER 7850 NEW BEST:: SOT 13031 SOS 2334 HAS SOPS 2334 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.334
AT ITER 7865 NEW BEST:: SOT 13032 SOS 2334 HAS SOPS 2334 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.334
AT ITER 7904 NEW BEST:: SOT 13032 SOS 2332 HAS SOPS 2332 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2125.332
AT ITER 7937 NEW BEST:: SOT 13032 SOS 2332 HAS SOPS 2332 HAS SOUS 2122 HAS SOUPS 2122 WITH SCORE 2124.332
AT ITER 8043 NEW BEST:: SOT 13026 SOS 2346 HAS SOPS 2346 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2123.346
AT ITER 8079 NEW BEST:: SOT 13025 SOS 2342 HAS SOPS 2342 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.342
AT ITER 8161 NEW BEST:: SOT 13035 SOS 2339 HAS SOPS 2339 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.339
AT ITER 8396 NEW BEST:: SOT 13034 SOS 2339 HAS SOPS 2339 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.339
AT ITER 8407 NEW BEST:: SOT 13034 SOS 2332 HAS SOPS 2332 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.332
AT ITER 8445 NEW BEST:: SOT 13034 SOS 2329 HAS SOPS 2329 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.329
AT ITER 8450 NEW BEST:: SOT 13034 SOS 2328 HAS SOPS 2328 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.328
AT ITER 8453 NEW BEST:: SOT 13034 SOS 2326 HAS SOPS 2326 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.326
AT ITER 8482 NEW BEST:: SOT 13035 SOS 2338 HAS SOPS 2338 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.338
AT ITER 8484 NEW BEST:: SOT 13039 SOS 2341 HAS SOPS 2341 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.341
AT ITER 8524 NEW BEST:: SOT 13031 SOS 2333 HAS SOPS 2333 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2099.333
AT ITER 8530 NEW BEST:: SOT 13023 SOS 2317 HAS SOPS 2317 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.317
AT ITER 8540 NEW BEST:: SOT 13024 SOS 2316 HAS SOPS 2316 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.316
AT ITER 8622 NEW BEST:: SOT 13024 SOS 2314 HAS SOPS 2314 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.314
AT ITER 8803 NEW BEST:: SOT 13024 SOS 2314 HAS SOPS 2314 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.314
AT ITER 8808 NEW BEST:: SOT 13024 SOS 2306 HAS SOPS 2306 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.306
AT ITER 9169 NEW BEST:: SOT 13023 SOS 2305 HAS SOPS 2305 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2093.305
AT ITER 9284 NEW BEST:: SOT 13021 SOS 2301 HAS SOPS 2301 HAS SOUS 2087 HAS SOUPS 2087 WITH SCORE 2089.301
AT ITER 9285 NEW BEST:: SOT 13008 SOS 2318 HAS SOPS 2318 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2088.318
AT ITER 9386 NEW BEST:: SOT 13008 SOS 2317 HAS SOPS 2317 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.317
AT ITER 9399 NEW BEST:: SOT 13006 SOS 2315 HAS SOPS 2315 HAS SOUS 2083 HAS SOUPS 2083 WITH SCORE 2085.315
AT ITER 9440 NEW BEST:: SOT 13004 SOS 2313 HAS SOPS 2313 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2083.313
AT ITER 9553 NEW BEST:: SOT 13004 SOS 2303 HAS SOPS 2303 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2078.303
AT ITER 9600 NEW BEST:: SOT 12998 SOS 2297 HAS SOPS 2297 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2072.297
AT ITER 9617 NEW BEST:: SOT 12997 SOS 2296 HAS SOPS 2296 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.296
AT ITER 9830 NEW BEST:: SOT 12997 SOS 2295 HAS SOPS 2295 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.295
STATE_SPACE STATES 2385072 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 256 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 841 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2385071 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589365185459

--------------------
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="DoubleExponent-PT-003"
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 DoubleExponent-PT-003, 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 r063-tajo-158922808000768"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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