Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r131-smll-167819407700464.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DoubleExponent-PT-003, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407700464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 7.4K Feb 26 13:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 13:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 13:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 13:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 13:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Feb 26 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 13:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 50K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679912632328

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=DoubleExponent-PT-003
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleExponent (PT), instance 003
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: 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 2 NEW BEST:: SOT 13802 SOS 4028 HAS SOPS 4028 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3842.028
AT ITER 9 NEW BEST:: SOT 13795 SOS 4028 HAS SOPS 4028 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3835.028
AT ITER 16 NEW BEST:: SOT 13793 SOS 4028 HAS SOPS 4028 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3834.028
AT ITER 36 NEW BEST:: SOT 13793 SOS 4019 HAS SOPS 4019 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3834.019
AT ITER 38 NEW BEST:: SOT 13810 SOS 4033 HAS SOPS 4033 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3831.033
AT ITER 40 NEW BEST:: SOT 13776 SOS 3998 HAS SOPS 3998 HAS SOUS 3792 HAS SOUPS 3792 WITH SCORE 3795.998
AT ITER 41 NEW BEST:: SOT 13755 SOS 3955 HAS SOPS 3955 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3793.955
AT ITER 53 NEW BEST:: SOT 13744 SOS 3947 HAS SOPS 3947 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3785.947
AT ITER 60 NEW BEST:: SOT 13743 SOS 3945 HAS SOPS 3945 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3783.945
AT ITER 91 NEW BEST:: SOT 13733 SOS 3925 HAS SOPS 3925 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3763.925
AT ITER 92 NEW BEST:: SOT 13746 SOS 3897 HAS SOPS 3897 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3755.897
AT ITER 103 NEW BEST:: SOT 13726 SOS 3862 HAS SOPS 3862 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3718.862
AT ITER 105 NEW BEST:: SOT 13743 SOS 3831 HAS SOPS 3831 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3699.831
AT ITER 124 NEW BEST:: SOT 13750 SOS 3845 HAS SOPS 3845 HAS SOUS 3691 HAS SOUPS 3691 WITH SCORE 3694.845
AT ITER 143 NEW BEST:: SOT 13754 SOS 3839 HAS SOPS 3839 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3688.839
AT ITER 156 NEW BEST:: SOT 13744 SOS 3839 HAS SOPS 3839 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3678.839
AT ITER 167 NEW BEST:: SOT 13710 SOS 3812 HAS SOPS 3812 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3651.812
AT ITER 168 NEW BEST:: SOT 13717 SOS 3810 HAS SOPS 3810 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3649.81
AT ITER 179 NEW BEST:: SOT 13715 SOS 3780 HAS SOPS 3780 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3619.78
AT ITER 241 NEW BEST:: SOT 13686 SOS 3760 HAS SOPS 3760 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3599.76
AT ITER 246 NEW BEST:: SOT 13688 SOS 3762 HAS SOPS 3762 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3592.762
AT ITER 247 NEW BEST:: SOT 13671 SOS 3736 HAS SOPS 3736 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3566.736
AT ITER 249 NEW BEST:: SOT 13667 SOS 3748 HAS SOPS 3748 HAS SOUS 3539 HAS SOUPS 3539 WITH SCORE 3542.748
AT ITER 251 NEW BEST:: SOT 13647 SOS 3728 HAS SOPS 3728 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3532.728
AT ITER 261 NEW BEST:: SOT 13659 SOS 3725 HAS SOPS 3725 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3529.725
AT ITER 270 NEW BEST:: SOT 13672 SOS 3723 HAS SOPS 3723 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3527.723
AT ITER 288 NEW BEST:: SOT 13665 SOS 3716 HAS SOPS 3716 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3527.716
AT ITER 305 NEW BEST:: SOT 13657 SOS 3699 HAS SOPS 3699 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3502.699
AT ITER 322 NEW BEST:: SOT 13643 SOS 3690 HAS SOPS 3690 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3493.69
AT ITER 349 NEW BEST:: SOT 13643 SOS 3642 HAS SOPS 3642 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3469.642
AT ITER 352 NEW BEST:: SOT 13642 SOS 3640 HAS SOPS 3640 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3466.64
AT ITER 388 NEW BEST:: SOT 13642 SOS 3613 HAS SOPS 3613 HAS SOUS 3445 HAS SOUPS 3445 WITH SCORE 3448.613
AT ITER 390 NEW BEST:: SOT 13639 SOS 3613 HAS SOPS 3613 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3445.613
AT ITER 412 NEW BEST:: SOT 13609 SOS 3596 HAS SOPS 3596 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3428.596
AT ITER 413 NEW BEST:: SOT 13616 SOS 3589 HAS SOPS 3589 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3419.589
AT ITER 423 NEW BEST:: SOT 13610 SOS 3577 HAS SOPS 3577 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3407.577
AT ITER 454 NEW BEST:: SOT 13606 SOS 3563 HAS SOPS 3563 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3401.563
AT ITER 457 NEW BEST:: SOT 13598 SOS 3549 HAS SOPS 3549 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3387.549
AT ITER 460 NEW BEST:: SOT 13591 SOS 3544 HAS SOPS 3544 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3382.544
AT ITER 470 NEW BEST:: SOT 13590 SOS 3543 HAS SOPS 3543 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.543
AT ITER 529 NEW BEST:: SOT 13587 SOS 3541 HAS SOPS 3541 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3379.541
AT ITER 532 NEW BEST:: SOT 13540 SOS 3493 HAS SOPS 3493 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3329.493
AT ITER 533 NEW BEST:: SOT 13559 SOS 3509 HAS SOPS 3509 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.509
AT ITER 536 NEW BEST:: SOT 13558 SOS 3489 HAS SOPS 3489 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3313.489
AT ITER 547 NEW BEST:: SOT 13549 SOS 3477 HAS SOPS 3477 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3301.477
AT ITER 561 NEW BEST:: SOT 13549 SOS 3479 HAS SOPS 3479 HAS SOUS 3289 HAS SOUPS 3289 WITH SCORE 3292.479
AT ITER 575 NEW BEST:: SOT 13548 SOS 3478 HAS SOPS 3478 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3291.478
AT ITER 629 NEW BEST:: SOT 13546 SOS 3475 HAS SOPS 3475 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.475
AT ITER 642 NEW BEST:: SOT 13540 SOS 3463 HAS SOPS 3463 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3268.463
AT ITER 680 NEW BEST:: SOT 13540 SOS 3450 HAS SOPS 3450 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.45
AT ITER 684 NEW BEST:: SOT 13540 SOS 3441 HAS SOPS 3441 HAS SOUS 3245 HAS SOUPS 3245 WITH SCORE 3248.441
AT ITER 687 NEW BEST:: SOT 13539 SOS 3438 HAS SOPS 3438 HAS SOUS 3243 HAS SOUPS 3243 WITH SCORE 3246.438
AT ITER 693 NEW BEST:: SOT 13518 SOS 3427 HAS SOPS 3427 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3235.427
AT ITER 695 NEW BEST:: SOT 13509 SOS 3407 HAS SOPS 3407 HAS SOUS 3221 HAS SOUPS 3221 WITH SCORE 3224.407
AT ITER 738 NEW BEST:: SOT 13482 SOS 3382 HAS SOPS 3382 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3193.382
AT ITER 754 NEW BEST:: SOT 13483 SOS 3383 HAS SOPS 3383 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3182.383
AT ITER 762 NEW BEST:: SOT 13471 SOS 3372 HAS SOPS 3372 HAS SOUS 3167 HAS SOUPS 3167 WITH SCORE 3170.372
AT ITER 765 NEW BEST:: SOT 13466 SOS 3354 HAS SOPS 3354 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.354
AT ITER 770 NEW BEST:: SOT 13481 SOS 3417 HAS SOPS 3417 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3150.417
AT ITER 786 NEW BEST:: SOT 13481 SOS 3415 HAS SOPS 3415 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.415
AT ITER 787 NEW BEST:: SOT 13480 SOS 3409 HAS SOPS 3409 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3143.409
AT ITER 822 NEW BEST:: SOT 13480 SOS 3409 HAS SOPS 3409 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3142.409
AT ITER 827 NEW BEST:: SOT 13498 SOS 3382 HAS SOPS 3382 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3142.382
AT ITER 830 NEW BEST:: SOT 13504 SOS 3374 HAS SOPS 3374 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3139.374
AT ITER 843 NEW BEST:: SOT 13502 SOS 3347 HAS SOPS 3347 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3127.347
AT ITER 847 NEW BEST:: SOT 13502 SOS 3362 HAS SOPS 3362 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3102.362
AT ITER 859 NEW BEST:: SOT 13501 SOS 3346 HAS SOPS 3346 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3100.346
AT ITER 887 NEW BEST:: SOT 13505 SOS 3345 HAS SOPS 3345 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3099.345
AT ITER 929 NEW BEST:: SOT 13466 SOS 3367 HAS SOPS 3367 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.367
AT ITER 949 NEW BEST:: SOT 13458 SOS 3351 HAS SOPS 3351 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3057.351
AT ITER 975 NEW BEST:: SOT 13448 SOS 3351 HAS SOPS 3351 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3052.351
AT ITER 999 NEW BEST:: SOT 13456 SOS 3358 HAS SOPS 3358 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3045.358
AT ITER 1036 NEW BEST:: SOT 13453 SOS 3355 HAS SOPS 3355 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3043.355
AT ITER 1090 NEW BEST:: SOT 13465 SOS 3351 HAS SOPS 3351 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3025.351
AT ITER 1094 NEW BEST:: SOT 13462 SOS 3345 HAS SOPS 3345 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3022.345
AT ITER 1099 NEW BEST:: SOT 13460 SOS 3340 HAS SOPS 3340 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.34
AT ITER 1107 NEW BEST:: SOT 13473 SOS 3309 HAS SOPS 3309 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3010.309
AT ITER 1127 NEW BEST:: SOT 13472 SOS 3307 HAS SOPS 3307 HAS SOUS 3005 HAS SOUPS 3005 WITH SCORE 3008.307
AT ITER 1138 NEW BEST:: SOT 13472 SOS 3306 HAS SOPS 3306 HAS SOUS 3005 HAS SOUPS 3005 WITH SCORE 3008.306
AT ITER 1178 NEW BEST:: SOT 13455 SOS 3238 HAS SOPS 3238 HAS SOUS 2971 HAS SOUPS 2971 WITH SCORE 2974.238
AT ITER 1195 NEW BEST:: SOT 13448 SOS 3228 HAS SOPS 3228 HAS SOUS 2961 HAS SOUPS 2961 WITH SCORE 2964.228
AT ITER 1207 NEW BEST:: SOT 13447 SOS 3216 HAS SOPS 3216 HAS SOUS 2957 HAS SOUPS 2957 WITH SCORE 2960.216
AT ITER 1246 NEW BEST:: SOT 13434 SOS 3213 HAS SOPS 3213 HAS SOUS 2949 HAS SOUPS 2949 WITH SCORE 2952.213
AT ITER 1254 NEW BEST:: SOT 13424 SOS 3203 HAS SOPS 3203 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2947.203
AT ITER 1271 NEW BEST:: SOT 13423 SOS 3198 HAS SOPS 3198 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2946.198
AT ITER 1277 NEW BEST:: SOT 13389 SOS 3181 HAS SOPS 3181 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2904.181
AT ITER 1297 NEW BEST:: SOT 13389 SOS 3179 HAS SOPS 3179 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.179
AT ITER 1307 NEW BEST:: SOT 13385 SOS 3171 HAS SOPS 3171 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2894.171
AT ITER 1317 NEW BEST:: SOT 13394 SOS 3157 HAS SOPS 3157 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2886.157
AT ITER 1342 NEW BEST:: SOT 13381 SOS 3144 HAS SOPS 3144 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2873.144
AT ITER 1361 NEW BEST:: SOT 13379 SOS 3143 HAS SOPS 3143 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2872.143
AT ITER 1371 NEW BEST:: SOT 13379 SOS 3141 HAS SOPS 3141 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2870.141
AT ITER 1397 NEW BEST:: SOT 13376 SOS 3139 HAS SOPS 3139 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2867.139
AT ITER 1430 NEW BEST:: SOT 13372 SOS 3135 HAS SOPS 3135 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2863.135
AT ITER 1445 NEW BEST:: SOT 13378 SOS 3122 HAS SOPS 3122 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2858.122
AT ITER 1464 NEW BEST:: SOT 13378 SOS 3120 HAS SOPS 3120 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2858.12
AT ITER 1511 NEW BEST:: SOT 13378 SOS 3115 HAS SOPS 3115 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2853.115
AT ITER 1540 NEW BEST:: SOT 13370 SOS 3109 HAS SOPS 3109 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2835.109
AT ITER 1564 NEW BEST:: SOT 13377 SOS 3106 HAS SOPS 3106 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.106
AT ITER 1569 NEW BEST:: SOT 13377 SOS 3102 HAS SOPS 3102 HAS SOUS 2828 HAS SOUPS 2828 WITH SCORE 2831.102
AT ITER 1573 NEW BEST:: SOT 13377 SOS 3101 HAS SOPS 3101 HAS SOUS 2827 HAS SOUPS 2827 WITH SCORE 2830.101
AT ITER 1627 NEW BEST:: SOT 13363 SOS 3076 HAS SOPS 3076 HAS SOUS 2817 HAS SOUPS 2817 WITH SCORE 2820.076
AT ITER 1647 NEW BEST:: SOT 13363 SOS 3092 HAS SOPS 3092 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2815.092
AT ITER 1680 NEW BEST:: SOT 13363 SOS 3089 HAS SOPS 3089 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2815.089
AT ITER 1681 NEW BEST:: SOT 13358 SOS 3085 HAS SOPS 3085 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2811.085
AT ITER 1693 NEW BEST:: SOT 13360 SOS 3076 HAS SOPS 3076 HAS SOUS 2803 HAS SOUPS 2803 WITH SCORE 2806.076
AT ITER 1721 NEW BEST:: SOT 13348 SOS 3056 HAS SOPS 3056 HAS SOUS 2778 HAS SOUPS 2778 WITH SCORE 2781.056
AT ITER 1741 NEW BEST:: SOT 13345 SOS 3056 HAS SOPS 3056 HAS SOUS 2777 HAS SOUPS 2777 WITH SCORE 2780.056
AT ITER 1763 NEW BEST:: SOT 13336 SOS 3047 HAS SOPS 3047 HAS SOUS 2761 HAS SOUPS 2761 WITH SCORE 2764.047
AT ITER 1848 NEW BEST:: SOT 13317 SOS 3016 HAS SOPS 3016 HAS SOUS 2730 HAS SOUPS 2730 WITH SCORE 2733.016
AT ITER 1903 NEW BEST:: SOT 13316 SOS 3015 HAS SOPS 3015 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2731.015
AT ITER 1910 NEW BEST:: SOT 13312 SOS 3016 HAS SOPS 3016 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2727.016
AT ITER 1921 NEW BEST:: SOT 13312 SOS 2997 HAS SOPS 2997 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2726.997
AT ITER 1971 NEW BEST:: SOT 13297 SOS 2976 HAS SOPS 2976 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2710.976
AT ITER 1988 NEW BEST:: SOT 13303 SOS 2956 HAS SOPS 2956 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2690.956
AT ITER 2016 NEW BEST:: SOT 13305 SOS 2955 HAS SOPS 2955 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2689.955
AT ITER 2063 NEW BEST:: SOT 13308 SOS 2949 HAS SOPS 2949 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2680.949
AT ITER 2075 NEW BEST:: SOT 13306 SOS 2939 HAS SOPS 2939 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2670.939
AT ITER 2160 NEW BEST:: SOT 13307 SOS 2939 HAS SOPS 2939 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2660.939
AT ITER 2166 NEW BEST:: SOT 13306 SOS 2938 HAS SOPS 2938 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2658.938
AT ITER 2169 NEW BEST:: SOT 13306 SOS 2928 HAS SOPS 2928 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2658.928
AT ITER 2179 NEW BEST:: SOT 13306 SOS 2925 HAS SOPS 2925 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2658.925
AT ITER 2189 NEW BEST:: SOT 13303 SOS 2932 HAS SOPS 2932 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2652.932
AT ITER 2247 NEW BEST:: SOT 13303 SOS 2931 HAS SOPS 2931 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2652.931
AT ITER 2256 NEW BEST:: SOT 13302 SOS 2931 HAS SOPS 2931 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2649.931
AT ITER 2340 NEW BEST:: SOT 13319 SOS 2925 HAS SOPS 2925 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2641.925
AT ITER 2363 NEW BEST:: SOT 13319 SOS 2918 HAS SOPS 2918 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.918
AT ITER 2367 NEW BEST:: SOT 13317 SOS 2913 HAS SOPS 2913 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2630.913
AT ITER 2382 NEW BEST:: SOT 13317 SOS 2912 HAS SOPS 2912 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2629.912
AT ITER 2394 NEW BEST:: SOT 13315 SOS 2886 HAS SOPS 2886 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2625.886
AT ITER 2403 NEW BEST:: SOT 13316 SOS 2874 HAS SOPS 2874 HAS SOUS 2611 HAS SOUPS 2611 WITH SCORE 2613.874
AT ITER 2419 NEW BEST:: SOT 13316 SOS 2872 HAS SOPS 2872 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2611.872
AT ITER 2451 NEW BEST:: SOT 13312 SOS 2866 HAS SOPS 2866 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2609.866
AT ITER 2574 NEW BEST:: SOT 13308 SOS 2858 HAS SOPS 2858 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2605.858
AT ITER 2582 NEW BEST:: SOT 13307 SOS 2857 HAS SOPS 2857 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2603.857
AT ITER 2612 NEW BEST:: SOT 13306 SOS 2856 HAS SOPS 2856 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2602.856
AT ITER 2643 NEW BEST:: SOT 13301 SOS 2847 HAS SOPS 2847 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.847
AT ITER 2674 NEW BEST:: SOT 13292 SOS 2844 HAS SOPS 2844 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2592.844
AT ITER 2693 NEW BEST:: SOT 13290 SOS 2836 HAS SOPS 2836 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2588.836
AT ITER 2700 NEW BEST:: SOT 13290 SOS 2833 HAS SOPS 2833 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2588.833
AT ITER 2716 NEW BEST:: SOT 13290 SOS 2801 HAS SOPS 2801 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2568.801
AT ITER 2737 NEW BEST:: SOT 13288 SOS 2797 HAS SOPS 2797 HAS SOUS 2564 HAS SOUPS 2564 WITH SCORE 2566.797
AT ITER 2754 NEW BEST:: SOT 13290 SOS 2799 HAS SOPS 2799 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2564.799
AT ITER 2755 NEW BEST:: SOT 13279 SOS 2777 HAS SOPS 2777 HAS SOUS 2540 HAS SOUPS 2540 WITH SCORE 2542.777
AT ITER 2757 NEW BEST:: SOT 13274 SOS 2763 HAS SOPS 2763 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2532.763
AT ITER 2841 NEW BEST:: SOT 13273 SOS 2759 HAS SOPS 2759 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2524.759
AT ITER 2852 NEW BEST:: SOT 13270 SOS 2756 HAS SOPS 2756 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2518.756
AT ITER 2869 NEW BEST:: SOT 13249 SOS 2731 HAS SOPS 2731 HAS SOUS 2491 HAS SOUPS 2491 WITH SCORE 2493.731
AT ITER 2892 NEW BEST:: SOT 13248 SOS 2738 HAS SOPS 2738 HAS SOUS 2489 HAS SOUPS 2489 WITH SCORE 2491.738
AT ITER 2928 NEW BEST:: SOT 13249 SOS 2742 HAS SOPS 2742 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2490.742
AT ITER 2931 NEW BEST:: SOT 13249 SOS 2742 HAS SOPS 2742 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2488.742
AT ITER 2939 NEW BEST:: SOT 13247 SOS 2737 HAS SOPS 2737 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2483.737
AT ITER 2955 NEW BEST:: SOT 13246 SOS 2733 HAS SOPS 2733 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2476.733
AT ITER 3032 NEW BEST:: SOT 13245 SOS 2732 HAS SOPS 2732 HAS SOUS 2473 HAS SOUPS 2473 WITH SCORE 2475.732
AT ITER 3052 NEW BEST:: SOT 13244 SOS 2731 HAS SOPS 2731 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2474.731
AT ITER 3072 NEW BEST:: SOT 13244 SOS 2729 HAS SOPS 2729 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.729
AT ITER 3075 NEW BEST:: SOT 13236 SOS 2726 HAS SOPS 2726 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.726
AT ITER 3122 NEW BEST:: SOT 13234 SOS 2728 HAS SOPS 2728 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2471.728
AT ITER 3127 NEW BEST:: SOT 13224 SOS 2716 HAS SOPS 2716 HAS SOUS 2459 HAS SOUPS 2459 WITH SCORE 2461.716
AT ITER 3135 NEW BEST:: SOT 13219 SOS 2694 HAS SOPS 2694 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.694
AT ITER 3136 NEW BEST:: SOT 13219 SOS 2690 HAS SOPS 2690 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.69
AT ITER 3202 NEW BEST:: SOT 13218 SOS 2689 HAS SOPS 2689 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2456.689
AT ITER 3211 NEW BEST:: SOT 13218 SOS 2688 HAS SOPS 2688 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.688
AT ITER 3224 NEW BEST:: SOT 13218 SOS 2672 HAS SOPS 2672 HAS SOUS 2445 HAS SOUPS 2445 WITH SCORE 2447.672
AT ITER 3266 NEW BEST:: SOT 13222 SOS 2667 HAS SOPS 2667 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2444.667
AT ITER 3290 NEW BEST:: SOT 13222 SOS 2666 HAS SOPS 2666 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2443.666
AT ITER 3314 NEW BEST:: SOT 13221 SOS 2665 HAS SOPS 2665 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2442.665
AT ITER 3349 NEW BEST:: SOT 13221 SOS 2663 HAS SOPS 2663 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2440.663
AT ITER 3361 NEW BEST:: SOT 13218 SOS 2657 HAS SOPS 2657 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2435.657
AT ITER 3451 NEW BEST:: SOT 13218 SOS 2656 HAS SOPS 2656 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2434.656
AT ITER 3463 NEW BEST:: SOT 13213 SOS 2655 HAS SOPS 2655 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2433.655
AT ITER 3516 NEW BEST:: SOT 13210 SOS 2645 HAS SOPS 2645 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.645
AT ITER 3600 NEW BEST:: SOT 13203 SOS 2650 HAS SOPS 2650 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.65
AT ITER 3652 NEW BEST:: SOT 13202 SOS 2646 HAS SOPS 2646 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.646
AT ITER 3717 NEW BEST:: SOT 13197 SOS 2642 HAS SOPS 2642 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2416.642
AT ITER 3741 NEW BEST:: SOT 13192 SOS 2640 HAS SOPS 2640 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2416.64
AT ITER 3750 NEW BEST:: SOT 13191 SOS 2639 HAS SOPS 2639 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2415.639
AT ITER 3751 NEW BEST:: SOT 13191 SOS 2638 HAS SOPS 2638 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2414.638
AT ITER 3800 NEW BEST:: SOT 13190 SOS 2630 HAS SOPS 2630 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2413.63
AT ITER 3896 NEW BEST:: SOT 13189 SOS 2626 HAS SOPS 2626 HAS SOUS 2410 HAS SOUPS 2410 WITH SCORE 2412.626
AT ITER 4159 NEW BEST:: SOT 13189 SOS 2613 HAS SOPS 2613 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.613
AT ITER 4225 NEW BEST:: SOT 13185 SOS 2613 HAS SOPS 2613 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2395.613
AT ITER 4274 NEW BEST:: SOT 13190 SOS 2616 HAS SOPS 2616 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2389.616
AT ITER 4347 NEW BEST:: SOT 13188 SOS 2629 HAS SOPS 2629 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2386.629
AT ITER 4361 NEW BEST:: SOT 13181 SOS 2637 HAS SOPS 2637 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2379.637
AT ITER 4372 NEW BEST:: SOT 13177 SOS 2636 HAS SOPS 2636 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2377.636
AT ITER 4394 NEW BEST:: SOT 13167 SOS 2625 HAS SOPS 2625 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.625
AT ITER 4453 NEW BEST:: SOT 13146 SOS 2626 HAS SOPS 2626 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2355.626
AT ITER 4471 NEW BEST:: SOT 13132 SOS 2612 HAS SOPS 2612 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.612
AT ITER 4500 NEW BEST:: SOT 13136 SOS 2610 HAS SOPS 2610 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.61
AT ITER 4664 NEW BEST:: SOT 13130 SOS 2598 HAS SOPS 2598 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.598
AT ITER 4717 NEW BEST:: SOT 13128 SOS 2593 HAS SOPS 2593 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.593
AT ITER 4741 NEW BEST:: SOT 13128 SOS 2591 HAS SOPS 2591 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2330.591
AT ITER 4764 NEW BEST:: SOT 13124 SOS 2587 HAS SOPS 2587 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2326.587
AT ITER 4777 NEW BEST:: SOT 13126 SOS 2590 HAS SOPS 2590 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2325.59
AT ITER 4917 NEW BEST:: SOT 13126 SOS 2589 HAS SOPS 2589 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.589
AT ITER 4973 NEW BEST:: SOT 13126 SOS 2586 HAS SOPS 2586 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2321.586
AT ITER 4976 NEW BEST:: SOT 13125 SOS 2585 HAS SOPS 2585 HAS SOUS 2318 HAS SOUPS 2318 WITH SCORE 2320.585
AT ITER 5018 NEW BEST:: SOT 13125 SOS 2584 HAS SOPS 2584 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.584
AT ITER 5043 NEW BEST:: SOT 13126 SOS 2579 HAS SOPS 2579 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.579
AT ITER 5065 NEW BEST:: SOT 13127 SOS 2578 HAS SOPS 2578 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.578
AT ITER 5115 NEW BEST:: SOT 13125 SOS 2578 HAS SOPS 2578 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.578
AT ITER 5193 NEW BEST:: SOT 13124 SOS 2583 HAS SOPS 2583 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.583
AT ITER 5265 NEW BEST:: SOT 13124 SOS 2579 HAS SOPS 2579 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2305.579
AT ITER 5296 NEW BEST:: SOT 13123 SOS 2577 HAS SOPS 2577 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2303.577
AT ITER 5329 NEW BEST:: SOT 13121 SOS 2575 HAS SOPS 2575 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2301.575
AT ITER 5335 NEW BEST:: SOT 13121 SOS 2574 HAS SOPS 2574 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.574
AT ITER 5372 NEW BEST:: SOT 13127 SOS 2573 HAS SOPS 2573 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2297.573
AT ITER 5386 NEW BEST:: SOT 13127 SOS 2564 HAS SOPS 2564 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2292.564
AT ITER 5390 NEW BEST:: SOT 13124 SOS 2557 HAS SOPS 2557 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.557
AT ITER 5484 NEW BEST:: SOT 13122 SOS 2558 HAS SOPS 2558 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2275.558
AT ITER 5536 NEW BEST:: SOT 13120 SOS 2556 HAS SOPS 2556 HAS SOUS 2271 HAS SOUPS 2271 WITH SCORE 2273.556
AT ITER 5593 NEW BEST:: SOT 13108 SOS 2542 HAS SOPS 2542 HAS SOUS 2257 HAS SOUPS 2257 WITH SCORE 2259.542
AT ITER 5603 NEW BEST:: SOT 13108 SOS 2542 HAS SOPS 2542 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2256.542
AT ITER 5690 NEW BEST:: SOT 13104 SOS 2538 HAS SOPS 2538 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2253.538
AT ITER 5719 NEW BEST:: SOT 13106 SOS 2540 HAS SOPS 2540 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2252.54
AT ITER 5790 NEW BEST:: SOT 13101 SOS 2539 HAS SOPS 2539 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.539
AT ITER 5795 NEW BEST:: SOT 13087 SOS 2513 HAS SOPS 2513 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.513
AT ITER 5864 NEW BEST:: SOT 13087 SOS 2513 HAS SOPS 2513 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.513
AT ITER 5973 NEW BEST:: SOT 13089 SOS 2511 HAS SOPS 2511 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.511
AT ITER 6054 NEW BEST:: SOT 13088 SOS 2509 HAS SOPS 2509 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.509
AT ITER 6064 NEW BEST:: SOT 13088 SOS 2504 HAS SOPS 2504 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.504
AT ITER 6080 NEW BEST:: SOT 13084 SOS 2504 HAS SOPS 2504 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2236.504
AT ITER 6086 NEW BEST:: SOT 13084 SOS 2503 HAS SOPS 2503 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2235.503
AT ITER 6189 NEW BEST:: SOT 13084 SOS 2495 HAS SOPS 2495 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2233.495
AT ITER 6237 NEW BEST:: SOT 13084 SOS 2494 HAS SOPS 2494 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2232.494
AT ITER 6253 NEW BEST:: SOT 13083 SOS 2486 HAS SOPS 2486 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2230.486
AT ITER 6293 NEW BEST:: SOT 13079 SOS 2482 HAS SOPS 2482 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2226.482
AT ITER 6311 NEW BEST:: SOT 13078 SOS 2482 HAS SOPS 2482 HAS SOUS 2222 HAS SOUPS 2222 WITH SCORE 2224.482
AT ITER 6433 NEW BEST:: SOT 13078 SOS 2490 HAS SOPS 2490 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.49
AT ITER 6438 NEW BEST:: SOT 13075 SOS 2495 HAS SOPS 2495 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2217.495
AT ITER 6549 NEW BEST:: SOT 13072 SOS 2493 HAS SOPS 2493 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2214.493
AT ITER 6764 NEW BEST:: SOT 13071 SOS 2475 HAS SOPS 2475 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.475
AT ITER 6802 NEW BEST:: SOT 13071 SOS 2474 HAS SOPS 2474 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2212.474
AT ITER 6896 NEW BEST:: SOT 13068 SOS 2465 HAS SOPS 2465 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.465
AT ITER 7088 NEW BEST:: SOT 13067 SOS 2464 HAS SOPS 2464 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2204.464
AT ITER 7095 NEW BEST:: SOT 13065 SOS 2456 HAS SOPS 2456 HAS SOUS 2198 HAS SOUPS 2198 WITH SCORE 2200.456
AT ITER 7126 NEW BEST:: SOT 13058 SOS 2463 HAS SOPS 2463 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2193.463
AT ITER 7147 NEW BEST:: SOT 13058 SOS 2442 HAS SOPS 2442 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.442
AT ITER 7279 NEW BEST:: SOT 13057 SOS 2441 HAS SOPS 2441 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2179.441
AT ITER 7394 NEW BEST:: SOT 13053 SOS 2439 HAS SOPS 2439 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.439
AT ITER 7398 NEW BEST:: SOT 13052 SOS 2434 HAS SOPS 2434 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2174.434
AT ITER 7464 NEW BEST:: SOT 13057 SOS 2429 HAS SOPS 2429 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2174.429
AT ITER 7475 NEW BEST:: SOT 13055 SOS 2422 HAS SOPS 2422 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2167.422
AT ITER 7507 NEW BEST:: SOT 13055 SOS 2419 HAS SOPS 2419 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2167.419
AT ITER 7525 NEW BEST:: SOT 13053 SOS 2418 HAS SOPS 2418 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2165.418
AT ITER 7532 NEW BEST:: SOT 13053 SOS 2418 HAS SOPS 2418 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2164.418
AT ITER 7764 NEW BEST:: SOT 13051 SOS 2423 HAS SOPS 2423 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.423
AT ITER 7787 NEW BEST:: SOT 13049 SOS 2421 HAS SOPS 2421 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.421
AT ITER 7970 NEW BEST:: SOT 13046 SOS 2419 HAS SOPS 2419 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2158.419
AT ITER 8005 NEW BEST:: SOT 13034 SOS 2407 HAS SOPS 2407 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2148.407
AT ITER 8008 NEW BEST:: SOT 13034 SOS 2397 HAS SOPS 2397 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.397
AT ITER 8046 NEW BEST:: SOT 13034 SOS 2395 HAS SOPS 2395 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.395
AT ITER 8308 NEW BEST:: SOT 13024 SOS 2386 HAS SOPS 2386 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2138.386
AT ITER 8367 NEW BEST:: SOT 13024 SOS 2385 HAS SOPS 2385 HAS SOUS 2135 HAS SOUPS 2135 WITH SCORE 2137.385
AT ITER 8383 NEW BEST:: SOT 13026 SOS 2384 HAS SOPS 2384 HAS SOUS 2134 HAS SOUPS 2134 WITH SCORE 2136.384
AT ITER 8471 NEW BEST:: SOT 13024 SOS 2380 HAS SOPS 2380 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2132.38
AT ITER 8661 NEW BEST:: SOT 13023 SOS 2379 HAS SOPS 2379 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.379
AT ITER 8683 NEW BEST:: SOT 13023 SOS 2369 HAS SOPS 2369 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2128.369
AT ITER 8807 NEW BEST:: SOT 13024 SOS 2361 HAS SOPS 2361 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.361
AT ITER 8968 NEW BEST:: SOT 13024 SOS 2362 HAS SOPS 2362 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2125.362
AT ITER 9072 NEW BEST:: SOT 13014 SOS 2368 HAS SOPS 2368 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.368
AT ITER 9167 NEW BEST:: SOT 13012 SOS 2366 HAS SOPS 2366 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.366
AT ITER 9390 NEW BEST:: SOT 13012 SOS 2365 HAS SOPS 2365 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.365
AT ITER 9508 NEW BEST:: SOT 13008 SOS 2363 HAS SOPS 2363 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.363
AT ITER 9520 NEW BEST:: SOT 13007 SOS 2362 HAS SOPS 2362 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.362
AT ITER 9572 NEW BEST:: SOT 13007 SOS 2358 HAS SOPS 2358 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.358
AT ITER 9679 NEW BEST:: SOT 13003 SOS 2357 HAS SOPS 2357 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.357
AT ITER 9683 NEW BEST:: SOT 13001 SOS 2350 HAS SOPS 2350 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2112.35
AT ITER 9718 NEW BEST:: SOT 13001 SOS 2346 HAS SOPS 2346 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2110.346
AT ITER 9906 NEW BEST:: SOT 13000 SOS 2344 HAS SOPS 2344 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2108.344
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 1679912745292

--------------------
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"
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 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 r131-smll-167819407700464"
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 ;