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-167819407600432.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 DiscoveryGPU-PT-15a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407600432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 7.1K Feb 25 13:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 13:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 13:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 13:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 13:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 162K Feb 25 13:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 13:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 13:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 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 53K 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 1679908656244

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=DiscoveryGPU-PT-15a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 15a
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, 211 transitions, 678 arcs.
AT ITER 0 NEW BEST:: SOT 23730 SOS 11796 HAS SOPS 11796 HAS SOUS 11715 HAS SOUPS 11715 WITH SCORE 11726.796
AT ITER 4 NEW BEST:: SOT 23729 SOS 11855 HAS SOPS 11855 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11725.855
AT ITER 10 NEW BEST:: SOT 23803 SOS 11927 HAS SOPS 11927 HAS SOUS 11713 HAS SOUPS 11713 WITH SCORE 11724.927
AT ITER 11 NEW BEST:: SOT 23802 SOS 11959 HAS SOPS 11959 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11693.959
AT ITER 23 NEW BEST:: SOT 23843 SOS 11959 HAS SOPS 11959 HAS SOUS 11641 HAS SOUPS 11641 WITH SCORE 11652.959
AT ITER 37 NEW BEST:: SOT 23843 SOS 11958 HAS SOPS 11958 HAS SOUS 11640 HAS SOUPS 11640 WITH SCORE 11651.958
AT ITER 38 NEW BEST:: SOT 23843 SOS 11954 HAS SOPS 11954 HAS SOUS 11640 HAS SOUPS 11640 WITH SCORE 11651.954
AT ITER 39 NEW BEST:: SOT 23846 SOS 11954 HAS SOPS 11954 HAS SOUS 11638 HAS SOUPS 11638 WITH SCORE 11649.954
AT ITER 40 NEW BEST:: SOT 21585 SOS 10980 HAS SOPS 9714 HAS SOUS 9619 HAS SOUPS 9526 WITH SCORE 9536.98
AT ITER 42 NEW BEST:: SOT 21585 SOS 10937 HAS SOPS 9671 HAS SOUS 9576 HAS SOUPS 9483 WITH SCORE 9493.937
AT ITER 43 NEW BEST:: SOT 21585 SOS 10930 HAS SOPS 9664 HAS SOUS 9562 HAS SOUPS 9469 WITH SCORE 9479.93
AT ITER 44 NEW BEST:: SOT 21600 SOS 10899 HAS SOPS 9633 HAS SOUS 9516 HAS SOUPS 9423 WITH SCORE 9433.899
AT ITER 55 NEW BEST:: SOT 18188 SOS 9021 HAS SOPS 6219 HAS SOUS 6335 HAS SOUPS 6170 WITH SCORE 6179.021
AT ITER 65 NEW BEST:: SOT 18187 SOS 9020 HAS SOPS 6167 HAS SOUS 6286 HAS SOUPS 6118 WITH SCORE 6127.02
AT ITER 66 NEW BEST:: SOT 18117 SOS 8959 HAS SOPS 6047 HAS SOUS 6150 HAS SOUPS 5982 WITH SCORE 5990.959
AT ITER 67 NEW BEST:: SOT 18120 SOS 8939 HAS SOPS 5964 HAS SOUS 6067 HAS SOUPS 5899 WITH SCORE 5907.939
AT ITER 68 NEW BEST:: SOT 18120 SOS 8939 HAS SOPS 5939 HAS SOUS 6045 HAS SOUPS 5874 WITH SCORE 5882.939
AT ITER 70 NEW BEST:: SOT 18112 SOS 8920 HAS SOPS 5912 HAS SOUS 6018 HAS SOUPS 5847 WITH SCORE 5855.92
AT ITER 74 NEW BEST:: SOT 18247 SOS 9027 HAS SOPS 5913 HAS SOUS 6038 HAS SOUPS 5839 WITH SCORE 5848.027
AT ITER 84 NEW BEST:: SOT 18238 SOS 9009 HAS SOPS 5895 HAS SOUS 6020 HAS SOUPS 5821 WITH SCORE 5830.009
AT ITER 91 NEW BEST:: SOT 18212 SOS 9041 HAS SOPS 5843 HAS SOUS 5971 HAS SOUPS 5772 WITH SCORE 5781.041
AT ITER 97 NEW BEST:: SOT 18163 SOS 8992 HAS SOPS 5794 HAS SOUS 5922 HAS SOUPS 5723 WITH SCORE 5731.992
AT ITER 103 NEW BEST:: SOT 18162 SOS 8991 HAS SOPS 5779 HAS SOUS 5907 HAS SOUPS 5708 WITH SCORE 5716.991
AT ITER 111 NEW BEST:: SOT 18160 SOS 8988 HAS SOPS 5775 HAS SOUS 5903 HAS SOUPS 5704 WITH SCORE 5712.988
AT ITER 116 NEW BEST:: SOT 18136 SOS 8963 HAS SOPS 5727 HAS SOUS 5855 HAS SOUPS 5656 WITH SCORE 5664.963
AT ITER 128 NEW BEST:: SOT 18069 SOS 8963 HAS SOPS 5660 HAS SOUS 5788 HAS SOUPS 5589 WITH SCORE 5597.963
AT ITER 129 NEW BEST:: SOT 18062 SOS 8938 HAS SOPS 5646 HAS SOUS 5771 HAS SOUPS 5575 WITH SCORE 5583.938
AT ITER 130 NEW BEST:: SOT 18075 SOS 8891 HAS SOPS 5611 HAS SOUS 5736 HAS SOUPS 5540 WITH SCORE 5548.891
AT ITER 137 NEW BEST:: SOT 18072 SOS 8870 HAS SOPS 5583 HAS SOUS 5726 HAS SOUPS 5530 WITH SCORE 5538.87
AT ITER 141 NEW BEST:: SOT 18057 SOS 8787 HAS SOPS 5357 HAS SOUS 5500 HAS SOUPS 5304 WITH SCORE 5312.787
AT ITER 153 NEW BEST:: SOT 18056 SOS 8786 HAS SOPS 5327 HAS SOUS 5470 HAS SOUPS 5274 WITH SCORE 5282.786
AT ITER 159 NEW BEST:: SOT 17984 SOS 8714 HAS SOPS 5183 HAS SOUS 5332 HAS SOUPS 5130 WITH SCORE 5138.714
AT ITER 160 NEW BEST:: SOT 17850 SOS 8471 HAS SOPS 4806 HAS SOUS 4963 HAS SOUPS 4761 WITH SCORE 4769.471
AT ITER 162 NEW BEST:: SOT 17842 SOS 8443 HAS SOPS 4755 HAS SOUS 4912 HAS SOUPS 4710 WITH SCORE 4718.443
AT ITER 184 NEW BEST:: SOT 17842 SOS 8423 HAS SOPS 4715 HAS SOUS 4872 HAS SOUPS 4670 WITH SCORE 4678.423
AT ITER 214 NEW BEST:: SOT 17841 SOS 8420 HAS SOPS 4712 HAS SOUS 4871 HAS SOUPS 4669 WITH SCORE 4677.42
AT ITER 216 NEW BEST:: SOT 17880 SOS 8378 HAS SOPS 4707 HAS SOUS 4866 HAS SOUPS 4664 WITH SCORE 4672.378
AT ITER 226 NEW BEST:: SOT 17824 SOS 9315 HAS SOPS 4651 HAS SOUS 4865 HAS SOUPS 4636 WITH SCORE 4645.315
AT ITER 229 NEW BEST:: SOT 17811 SOS 9302 HAS SOPS 4625 HAS SOUS 4839 HAS SOUPS 4610 WITH SCORE 4619.302
AT ITER 244 NEW BEST:: SOT 17809 SOS 9325 HAS SOPS 4621 HAS SOUS 4835 HAS SOUPS 4606 WITH SCORE 4615.325
AT ITER 265 NEW BEST:: SOT 17807 SOS 9349 HAS SOPS 4617 HAS SOUS 4831 HAS SOUPS 4602 WITH SCORE 4611.349
AT ITER 275 NEW BEST:: SOT 17803 SOS 9345 HAS SOPS 4609 HAS SOUS 4823 HAS SOUPS 4594 WITH SCORE 4603.345
AT ITER 281 NEW BEST:: SOT 17803 SOS 9342 HAS SOPS 4606 HAS SOUS 4820 HAS SOUPS 4591 WITH SCORE 4600.342
AT ITER 316 NEW BEST:: SOT 17784 SOS 9342 HAS SOPS 4587 HAS SOUS 4801 HAS SOUPS 4572 WITH SCORE 4581.342
AT ITER 317 NEW BEST:: SOT 17793 SOS 9331 HAS SOPS 4560 HAS SOUS 4774 HAS SOUPS 4545 WITH SCORE 4554.331
AT ITER 338 NEW BEST:: SOT 17858 SOS 9349 HAS SOPS 4549 HAS SOUS 4763 HAS SOUPS 4534 WITH SCORE 4543.349
AT ITER 346 NEW BEST:: SOT 17858 SOS 9349 HAS SOPS 4521 HAS SOUS 4735 HAS SOUPS 4506 WITH SCORE 4515.349
AT ITER 349 NEW BEST:: SOT 17847 SOS 9358 HAS SOPS 4509 HAS SOUS 4713 HAS SOUPS 4484 WITH SCORE 4493.358
AT ITER 360 NEW BEST:: SOT 17924 SOS 9350 HAS SOPS 4493 HAS SOUS 4697 HAS SOUPS 4468 WITH SCORE 4477.35
AT ITER 363 NEW BEST:: SOT 17924 SOS 9350 HAS SOPS 4488 HAS SOUS 4692 HAS SOUPS 4463 WITH SCORE 4472.35
AT ITER 365 NEW BEST:: SOT 17921 SOS 9336 HAS SOPS 4482 HAS SOUS 4686 HAS SOUPS 4457 WITH SCORE 4466.336
AT ITER 367 NEW BEST:: SOT 17840 SOS 9345 HAS SOPS 4410 HAS SOUS 4614 HAS SOUPS 4385 WITH SCORE 4394.345
AT ITER 376 NEW BEST:: SOT 17799 SOS 9318 HAS SOPS 4375 HAS SOUS 4579 HAS SOUPS 4350 WITH SCORE 4359.318
AT ITER 393 NEW BEST:: SOT 17793 SOS 9312 HAS SOPS 4363 HAS SOUS 4568 HAS SOUPS 4338 WITH SCORE 4347.312
AT ITER 423 NEW BEST:: SOT 17776 SOS 9270 HAS SOPS 4263 HAS SOUS 4471 HAS SOUPS 4238 WITH SCORE 4247.27
AT ITER 435 NEW BEST:: SOT 17781 SOS 9243 HAS SOPS 4204 HAS SOUS 4412 HAS SOUPS 4179 WITH SCORE 4188.243
AT ITER 444 NEW BEST:: SOT 17724 SOS 9186 HAS SOPS 4144 HAS SOUS 4352 HAS SOUPS 4119 WITH SCORE 4128.186
AT ITER 470 NEW BEST:: SOT 17718 SOS 9189 HAS SOPS 4140 HAS SOUS 4348 HAS SOUPS 4115 WITH SCORE 4124.189
AT ITER 478 NEW BEST:: SOT 17638 SOS 9176 HAS SOPS 4100 HAS SOUS 4308 HAS SOUPS 4075 WITH SCORE 4084.176
AT ITER 480 NEW BEST:: SOT 17639 SOS 9169 HAS SOPS 4085 HAS SOUS 4293 HAS SOUPS 4060 WITH SCORE 4069.169
AT ITER 481 NEW BEST:: SOT 17636 SOS 9169 HAS SOPS 4082 HAS SOUS 4290 HAS SOUPS 4057 WITH SCORE 4066.169
AT ITER 483 NEW BEST:: SOT 17660 SOS 9184 HAS SOPS 4080 HAS SOUS 4288 HAS SOUPS 4055 WITH SCORE 4064.184
AT ITER 496 NEW BEST:: SOT 17609 SOS 9133 HAS SOPS 4002 HAS SOUS 4210 HAS SOUPS 3977 WITH SCORE 3986.133
AT ITER 498 NEW BEST:: SOT 17607 SOS 9168 HAS SOPS 3998 HAS SOUS 4206 HAS SOUPS 3973 WITH SCORE 3982.168
AT ITER 510 NEW BEST:: SOT 17589 SOS 9132 HAS SOPS 3944 HAS SOUS 4152 HAS SOUPS 3919 WITH SCORE 3928.132
AT ITER 512 NEW BEST:: SOT 17576 SOS 9119 HAS SOPS 3918 HAS SOUS 4126 HAS SOUPS 3893 WITH SCORE 3902.119
AT ITER 522 NEW BEST:: SOT 17590 SOS 9118 HAS SOPS 3916 HAS SOUS 4124 HAS SOUPS 3891 WITH SCORE 3900.118
AT ITER 528 NEW BEST:: SOT 17504 SOS 9069 HAS SOPS 3881 HAS SOUS 4089 HAS SOUPS 3856 WITH SCORE 3865.069
AT ITER 534 NEW BEST:: SOT 17507 SOS 9066 HAS SOPS 3881 HAS SOUS 4086 HAS SOUPS 3856 WITH SCORE 3865.066
AT ITER 566 NEW BEST:: SOT 17507 SOS 9066 HAS SOPS 3876 HAS SOUS 4081 HAS SOUPS 3851 WITH SCORE 3860.066
AT ITER 568 NEW BEST:: SOT 17498 SOS 9057 HAS SOPS 3864 HAS SOUS 4069 HAS SOUPS 3839 WITH SCORE 3848.057
AT ITER 573 NEW BEST:: SOT 17612 SOS 9078 HAS SOPS 3813 HAS SOUS 4018 HAS SOUPS 3788 WITH SCORE 3797.078
AT ITER 577 NEW BEST:: SOT 17587 SOS 9053 HAS SOPS 3794 HAS SOUS 3999 HAS SOUPS 3769 WITH SCORE 3778.053
AT ITER 594 NEW BEST:: SOT 17575 SOS 9027 HAS SOPS 3768 HAS SOUS 3973 HAS SOUPS 3743 WITH SCORE 3752.027
AT ITER 596 NEW BEST:: SOT 17564 SOS 9016 HAS SOPS 3768 HAS SOUS 3962 HAS SOUPS 3743 WITH SCORE 3752.016
AT ITER 601 NEW BEST:: SOT 17562 SOS 9014 HAS SOPS 3764 HAS SOUS 3958 HAS SOUPS 3739 WITH SCORE 3748.014
AT ITER 611 NEW BEST:: SOT 17573 SOS 9025 HAS SOPS 3762 HAS SOUS 3956 HAS SOUPS 3737 WITH SCORE 3746.025
AT ITER 623 NEW BEST:: SOT 17571 SOS 9001 HAS SOPS 3758 HAS SOUS 3952 HAS SOUPS 3733 WITH SCORE 3742.001
AT ITER 656 NEW BEST:: SOT 17601 SOS 9011 HAS SOPS 3748 HAS SOUS 3942 HAS SOUPS 3723 WITH SCORE 3732.011
AT ITER 667 NEW BEST:: SOT 17597 SOS 9005 HAS SOPS 3740 HAS SOUS 3934 HAS SOUPS 3715 WITH SCORE 3724.005
AT ITER 743 NEW BEST:: SOT 17645 SOS 8992 HAS SOPS 3714 HAS SOUS 3908 HAS SOUPS 3689 WITH SCORE 3697.992
AT ITER 769 NEW BEST:: SOT 17644 SOS 8991 HAS SOPS 3713 HAS SOUS 3907 HAS SOUPS 3688 WITH SCORE 3696.991
AT ITER 776 NEW BEST:: SOT 17641 SOS 8988 HAS SOPS 3707 HAS SOUS 3901 HAS SOUPS 3682 WITH SCORE 3690.988
AT ITER 780 NEW BEST:: SOT 17639 SOS 8985 HAS SOPS 3703 HAS SOUS 3897 HAS SOUPS 3678 WITH SCORE 3686.985
AT ITER 783 NEW BEST:: SOT 17637 SOS 8985 HAS SOPS 3701 HAS SOUS 3895 HAS SOUPS 3676 WITH SCORE 3684.985
AT ITER 785 NEW BEST:: SOT 17674 SOS 8998 HAS SOPS 3683 HAS SOUS 3877 HAS SOUPS 3658 WITH SCORE 3666.998
AT ITER 789 NEW BEST:: SOT 17672 SOS 8996 HAS SOPS 3679 HAS SOUS 3873 HAS SOUPS 3654 WITH SCORE 3662.996
AT ITER 827 NEW BEST:: SOT 17672 SOS 8995 HAS SOPS 3679 HAS SOUS 3872 HAS SOUPS 3654 WITH SCORE 3662.995
AT ITER 836 NEW BEST:: SOT 17672 SOS 8978 HAS SOPS 3645 HAS SOUS 3838 HAS SOUPS 3620 WITH SCORE 3628.978
AT ITER 856 NEW BEST:: SOT 17671 SOS 8977 HAS SOPS 3643 HAS SOUS 3836 HAS SOUPS 3618 WITH SCORE 3626.977
AT ITER 860 NEW BEST:: SOT 17695 SOS 8920 HAS SOPS 3553 HAS SOUS 3746 HAS SOUPS 3528 WITH SCORE 3536.92
AT ITER 885 NEW BEST:: SOT 17679 SOS 8914 HAS SOPS 3521 HAS SOUS 3714 HAS SOUPS 3496 WITH SCORE 3504.914
AT ITER 893 NEW BEST:: SOT 17661 SOS 8896 HAS SOPS 3485 HAS SOUS 3684 HAS SOUPS 3460 WITH SCORE 3468.896
AT ITER 927 NEW BEST:: SOT 17661 SOS 8895 HAS SOPS 3485 HAS SOUS 3684 HAS SOUPS 3460 WITH SCORE 3468.895
AT ITER 943 NEW BEST:: SOT 17647 SOS 8892 HAS SOPS 3468 HAS SOUS 3667 HAS SOUPS 3443 WITH SCORE 3451.892
AT ITER 948 NEW BEST:: SOT 17577 SOS 8822 HAS SOPS 3364 HAS SOUS 3563 HAS SOUPS 3339 WITH SCORE 3347.822
AT ITER 971 NEW BEST:: SOT 17578 SOS 8816 HAS SOPS 3359 HAS SOUS 3559 HAS SOUPS 3335 WITH SCORE 3343.816
AT ITER 972 NEW BEST:: SOT 17572 SOS 8813 HAS SOPS 3347 HAS SOUS 3547 HAS SOUPS 3323 WITH SCORE 3331.813
AT ITER 982 NEW BEST:: SOT 17559 SOS 8800 HAS SOPS 3344 HAS SOUS 3544 HAS SOUPS 3320 WITH SCORE 3328.8
AT ITER 1002 NEW BEST:: SOT 17578 SOS 8801 HAS SOPS 3342 HAS SOUS 3542 HAS SOUPS 3318 WITH SCORE 3326.801
AT ITER 1038 NEW BEST:: SOT 17286 SOS 11451 HAS SOPS 2988 HAS SOUS 3253 HAS SOUPS 2987 WITH SCORE 2998.451
AT ITER 1060 NEW BEST:: SOT 17274 SOS 11451 HAS SOPS 2976 HAS SOUS 3241 HAS SOUPS 2975 WITH SCORE 2986.451
AT ITER 1088 NEW BEST:: SOT 17224 SOS 11440 HAS SOPS 2954 HAS SOUS 3219 HAS SOUPS 2953 WITH SCORE 2964.44
AT ITER 1104 NEW BEST:: SOT 17134 SOS 11430 HAS SOPS 2934 HAS SOUS 3199 HAS SOUPS 2933 WITH SCORE 2944.43
AT ITER 1114 NEW BEST:: SOT 17134 SOS 11427 HAS SOPS 2934 HAS SOUS 3199 HAS SOUPS 2933 WITH SCORE 2944.427
AT ITER 1125 NEW BEST:: SOT 17110 SOS 11422 HAS SOPS 2924 HAS SOUS 3189 HAS SOUPS 2923 WITH SCORE 2934.422
AT ITER 1135 NEW BEST:: SOT 17155 SOS 11466 HAS SOPS 2920 HAS SOUS 3185 HAS SOUPS 2919 WITH SCORE 2930.466
AT ITER 1146 NEW BEST:: SOT 17155 SOS 11466 HAS SOPS 2917 HAS SOUS 3182 HAS SOUPS 2916 WITH SCORE 2927.466
AT ITER 1232 NEW BEST:: SOT 17123 SOS 11434 HAS SOPS 2853 HAS SOUS 3118 HAS SOUPS 2852 WITH SCORE 2863.434
AT ITER 1236 NEW BEST:: SOT 17150 SOS 11437 HAS SOPS 2835 HAS SOUS 3100 HAS SOUPS 2834 WITH SCORE 2845.437
AT ITER 1278 NEW BEST:: SOT 17165 SOS 11436 HAS SOPS 2805 HAS SOUS 3070 HAS SOUPS 2804 WITH SCORE 2815.436
AT ITER 1280 NEW BEST:: SOT 17165 SOS 11436 HAS SOPS 2800 HAS SOUS 3065 HAS SOUPS 2799 WITH SCORE 2810.436
AT ITER 1313 NEW BEST:: SOT 17169 SOS 11440 HAS SOPS 2791 HAS SOUS 3056 HAS SOUPS 2790 WITH SCORE 2801.44
AT ITER 1315 NEW BEST:: SOT 17147 SOS 11407 HAS SOPS 2747 HAS SOUS 3012 HAS SOUPS 2746 WITH SCORE 2757.407
AT ITER 1338 NEW BEST:: SOT 17180 SOS 11406 HAS SOPS 2745 HAS SOUS 3010 HAS SOUPS 2744 WITH SCORE 2755.406
AT ITER 1389 NEW BEST:: SOT 17170 SOS 11415 HAS SOPS 2745 HAS SOUS 3009 HAS SOUPS 2743 WITH SCORE 2754.415
AT ITER 1425 NEW BEST:: SOT 17156 SOS 11401 HAS SOPS 2717 HAS SOUS 2981 HAS SOUPS 2715 WITH SCORE 2726.401
AT ITER 1438 NEW BEST:: SOT 17141 SOS 11386 HAS SOPS 2702 HAS SOUS 2966 HAS SOUPS 2700 WITH SCORE 2711.386
AT ITER 1478 NEW BEST:: SOT 17120 SOS 11392 HAS SOPS 2687 HAS SOUS 2962 HAS SOUPS 2685 WITH SCORE 2696.392
AT ITER 1500 NEW BEST:: SOT 17110 SOS 11382 HAS SOPS 2681 HAS SOUS 2956 HAS SOUPS 2679 WITH SCORE 2690.382
AT ITER 1564 NEW BEST:: SOT 17113 SOS 11383 HAS SOPS 2679 HAS SOUS 2954 HAS SOUPS 2677 WITH SCORE 2688.383
AT ITER 1589 NEW BEST:: SOT 17100 SOS 11349 HAS SOPS 2632 HAS SOUS 2907 HAS SOUPS 2630 WITH SCORE 2641.349
AT ITER 1599 NEW BEST:: SOT 17140 SOS 11356 HAS SOPS 2613 HAS SOUS 2888 HAS SOUPS 2611 WITH SCORE 2622.356
AT ITER 1628 NEW BEST:: SOT 17138 SOS 11362 HAS SOPS 2609 HAS SOUS 2884 HAS SOUPS 2607 WITH SCORE 2618.362
AT ITER 1644 NEW BEST:: SOT 17104 SOS 11328 HAS SOPS 2541 HAS SOUS 2819 HAS SOUPS 2539 WITH SCORE 2550.328
AT ITER 1655 NEW BEST:: SOT 17113 SOS 11336 HAS SOPS 2537 HAS SOUS 2815 HAS SOUPS 2535 WITH SCORE 2546.336
AT ITER 1656 NEW BEST:: SOT 17109 SOS 11332 HAS SOPS 2529 HAS SOUS 2807 HAS SOUPS 2527 WITH SCORE 2538.332
AT ITER 1660 NEW BEST:: SOT 17107 SOS 11330 HAS SOPS 2525 HAS SOUS 2803 HAS SOUPS 2523 WITH SCORE 2534.33
AT ITER 1665 NEW BEST:: SOT 17097 SOS 11320 HAS SOPS 2505 HAS SOUS 2783 HAS SOUPS 2503 WITH SCORE 2514.32
AT ITER 1669 NEW BEST:: SOT 17062 SOS 11352 HAS SOPS 2502 HAS SOUS 2780 HAS SOUPS 2500 WITH SCORE 2511.352
AT ITER 1676 NEW BEST:: SOT 17059 SOS 11346 HAS SOPS 2496 HAS SOUS 2774 HAS SOUPS 2494 WITH SCORE 2505.346
AT ITER 1682 NEW BEST:: SOT 17059 SOS 11338 HAS SOPS 2496 HAS SOUS 2774 HAS SOUPS 2494 WITH SCORE 2505.338
AT ITER 1715 NEW BEST:: SOT 17056 SOS 11329 HAS SOPS 2484 HAS SOUS 2762 HAS SOUPS 2482 WITH SCORE 2493.329
AT ITER 1733 NEW BEST:: SOT 17055 SOS 11320 HAS SOPS 2469 HAS SOUS 2747 HAS SOUPS 2467 WITH SCORE 2478.32
AT ITER 1737 NEW BEST:: SOT 17054 SOS 11317 HAS SOPS 2464 HAS SOUS 2742 HAS SOUPS 2462 WITH SCORE 2473.317
AT ITER 1758 NEW BEST:: SOT 17040 SOS 11302 HAS SOPS 2436 HAS SOUS 2714 HAS SOUPS 2434 WITH SCORE 2445.302
AT ITER 1791 NEW BEST:: SOT 17038 SOS 11300 HAS SOPS 2432 HAS SOUS 2710 HAS SOUPS 2430 WITH SCORE 2441.3
AT ITER 1908 NEW BEST:: SOT 17040 SOS 11296 HAS SOPS 2430 HAS SOUS 2708 HAS SOUPS 2428 WITH SCORE 2439.296
AT ITER 1924 NEW BEST:: SOT 17046 SOS 11301 HAS SOPS 2426 HAS SOUS 2704 HAS SOUPS 2424 WITH SCORE 2435.301
AT ITER 1934 NEW BEST:: SOT 17041 SOS 11303 HAS SOPS 2423 HAS SOUS 2701 HAS SOUPS 2421 WITH SCORE 2432.303
AT ITER 1994 NEW BEST:: SOT 17021 SOS 11314 HAS SOPS 2414 HAS SOUS 2692 HAS SOUPS 2412 WITH SCORE 2423.314
AT ITER 2041 NEW BEST:: SOT 17018 SOS 11307 HAS SOPS 2402 HAS SOUS 2680 HAS SOUPS 2400 WITH SCORE 2411.307
AT ITER 2074 NEW BEST:: SOT 17018 SOS 11299 HAS SOPS 2386 HAS SOUS 2664 HAS SOUPS 2384 WITH SCORE 2395.299
AT ITER 2080 NEW BEST:: SOT 17015 SOS 11295 HAS SOPS 2380 HAS SOUS 2658 HAS SOUPS 2378 WITH SCORE 2389.295
AT ITER 2081 NEW BEST:: SOT 17005 SOS 11290 HAS SOPS 2370 HAS SOUS 2648 HAS SOUPS 2368 WITH SCORE 2379.29
AT ITER 2095 NEW BEST:: SOT 17007 SOS 11289 HAS SOPS 2370 HAS SOUS 2648 HAS SOUPS 2368 WITH SCORE 2379.289
AT ITER 2173 NEW BEST:: SOT 16999 SOS 11281 HAS SOPS 2354 HAS SOUS 2632 HAS SOUPS 2352 WITH SCORE 2363.281
AT ITER 2177 NEW BEST:: SOT 16989 SOS 11274 HAS SOPS 2347 HAS SOUS 2625 HAS SOUPS 2345 WITH SCORE 2356.274
AT ITER 2209 NEW BEST:: SOT 16986 SOS 11268 HAS SOPS 2341 HAS SOUS 2619 HAS SOUPS 2339 WITH SCORE 2350.268
AT ITER 2242 NEW BEST:: SOT 16973 SOS 11244 HAS SOPS 2315 HAS SOUS 2593 HAS SOUPS 2313 WITH SCORE 2324.244
AT ITER 2246 NEW BEST:: SOT 16970 SOS 11242 HAS SOPS 2311 HAS SOUS 2589 HAS SOUPS 2309 WITH SCORE 2320.242
AT ITER 2248 NEW BEST:: SOT 16914 SOS 11186 HAS SOPS 2300 HAS SOUS 2578 HAS SOUPS 2298 WITH SCORE 2309.186
AT ITER 2259 NEW BEST:: SOT 16908 SOS 11177 HAS SOPS 2288 HAS SOUS 2566 HAS SOUPS 2286 WITH SCORE 2297.177
AT ITER 2262 NEW BEST:: SOT 16900 SOS 11161 HAS SOPS 2264 HAS SOUS 2542 HAS SOUPS 2262 WITH SCORE 2273.161
AT ITER 2348 NEW BEST:: SOT 16900 SOS 11158 HAS SOPS 2256 HAS SOUS 2534 HAS SOUPS 2254 WITH SCORE 2265.158
AT ITER 2378 NEW BEST:: SOT 16888 SOS 11135 HAS SOPS 2232 HAS SOUS 2510 HAS SOUPS 2230 WITH SCORE 2241.135
AT ITER 2415 NEW BEST:: SOT 16880 SOS 11127 HAS SOPS 2216 HAS SOUS 2498 HAS SOUPS 2214 WITH SCORE 2225.127
AT ITER 2418 NEW BEST:: SOT 16896 SOS 11136 HAS SOPS 2206 HAS SOUS 2491 HAS SOUPS 2204 WITH SCORE 2215.136
AT ITER 2460 NEW BEST:: SOT 16919 SOS 11142 HAS SOPS 2201 HAS SOUS 2486 HAS SOUPS 2199 WITH SCORE 2210.142
AT ITER 2474 NEW BEST:: SOT 16918 SOS 11141 HAS SOPS 2199 HAS SOUS 2484 HAS SOUPS 2197 WITH SCORE 2208.141
AT ITER 2498 NEW BEST:: SOT 16883 SOS 11106 HAS SOPS 2164 HAS SOUS 2449 HAS SOUPS 2162 WITH SCORE 2173.106
AT ITER 2501 NEW BEST:: SOT 16874 SOS 11097 HAS SOPS 2146 HAS SOUS 2431 HAS SOUPS 2144 WITH SCORE 2155.097
AT ITER 2503 NEW BEST:: SOT 16874 SOS 11087 HAS SOPS 2136 HAS SOUS 2421 HAS SOUPS 2134 WITH SCORE 2145.087
AT ITER 2510 NEW BEST:: SOT 16916 SOS 11085 HAS SOPS 2132 HAS SOUS 2417 HAS SOUPS 2130 WITH SCORE 2141.085
AT ITER 2537 NEW BEST:: SOT 16910 SOS 11079 HAS SOPS 2120 HAS SOUS 2405 HAS SOUPS 2118 WITH SCORE 2129.079
AT ITER 2583 NEW BEST:: SOT 16908 SOS 11079 HAS SOPS 2118 HAS SOUS 2403 HAS SOUPS 2116 WITH SCORE 2127.079
AT ITER 2623 NEW BEST:: SOT 16908 SOS 11079 HAS SOPS 2113 HAS SOUS 2398 HAS SOUPS 2111 WITH SCORE 2122.079
AT ITER 2646 NEW BEST:: SOT 16907 SOS 11078 HAS SOPS 2111 HAS SOUS 2396 HAS SOUPS 2109 WITH SCORE 2120.078
AT ITER 2657 NEW BEST:: SOT 16847 SOS 11048 HAS SOPS 2081 HAS SOUS 2366 HAS SOUPS 2079 WITH SCORE 2090.048
AT ITER 2686 NEW BEST:: SOT 16845 SOS 11047 HAS SOPS 2079 HAS SOUS 2364 HAS SOUPS 2077 WITH SCORE 2088.047
AT ITER 2707 NEW BEST:: SOT 16848 SOS 11050 HAS SOPS 2078 HAS SOUS 2363 HAS SOUPS 2076 WITH SCORE 2087.05
AT ITER 2747 NEW BEST:: SOT 16852 SOS 11050 HAS SOPS 2074 HAS SOUS 2359 HAS SOUPS 2072 WITH SCORE 2083.05
AT ITER 2878 NEW BEST:: SOT 16854 SOS 11052 HAS SOPS 2064 HAS SOUS 2349 HAS SOUPS 2062 WITH SCORE 2073.052
AT ITER 2941 NEW BEST:: SOT 16845 SOS 10840 HAS SOPS 2060 HAS SOUS 2335 HAS SOUPS 2053 WITH SCORE 2063.84
AT ITER 3033 NEW BEST:: SOT 16849 SOS 10844 HAS SOPS 2059 HAS SOUS 2334 HAS SOUPS 2052 WITH SCORE 2062.844
AT ITER 3180 NEW BEST:: SOT 16835 SOS 10832 HAS SOPS 2055 HAS SOUS 2331 HAS SOUPS 2049 WITH SCORE 2059.832
AT ITER 3229 NEW BEST:: SOT 16870 SOS 10829 HAS SOPS 2046 HAS SOUS 2322 HAS SOUPS 2040 WITH SCORE 2050.829
AT ITER 3259 NEW BEST:: SOT 16868 SOS 10828 HAS SOPS 2044 HAS SOUS 2320 HAS SOUPS 2038 WITH SCORE 2048.828
AT ITER 3327 NEW BEST:: SOT 16878 SOS 10835 HAS SOPS 2042 HAS SOUS 2318 HAS SOUPS 2036 WITH SCORE 2046.835
AT ITER 3361 NEW BEST:: SOT 16878 SOS 10834 HAS SOPS 2042 HAS SOUS 2318 HAS SOUPS 2036 WITH SCORE 2046.834
AT ITER 3396 NEW BEST:: SOT 16878 SOS 10828 HAS SOPS 2030 HAS SOUS 2306 HAS SOUPS 2024 WITH SCORE 2034.828
AT ITER 3419 NEW BEST:: SOT 16857 SOS 10807 HAS SOPS 1988 HAS SOUS 2264 HAS SOUPS 1982 WITH SCORE 1992.807
AT ITER 3426 NEW BEST:: SOT 16855 SOS 10811 HAS SOPS 1984 HAS SOUS 2260 HAS SOUPS 1978 WITH SCORE 1988.811
AT ITER 3435 NEW BEST:: SOT 16880 SOS 10822 HAS SOPS 1981 HAS SOUS 2257 HAS SOUPS 1975 WITH SCORE 1985.822
AT ITER 3476 NEW BEST:: SOT 16882 SOS 10817 HAS SOPS 1978 HAS SOUS 2254 HAS SOUPS 1972 WITH SCORE 1982.817
AT ITER 3493 NEW BEST:: SOT 16879 SOS 10811 HAS SOPS 1967 HAS SOUS 2246 HAS SOUPS 1961 WITH SCORE 1971.811
AT ITER 3552 NEW BEST:: SOT 16880 SOS 10812 HAS SOPS 1960 HAS SOUS 2239 HAS SOUPS 1954 WITH SCORE 1964.812
AT ITER 3572 NEW BEST:: SOT 16883 SOS 10807 HAS SOPS 1957 HAS SOUS 2236 HAS SOUPS 1951 WITH SCORE 1961.807
AT ITER 3592 NEW BEST:: SOT 16877 SOS 10805 HAS SOPS 1953 HAS SOUS 2232 HAS SOUPS 1947 WITH SCORE 1957.805
AT ITER 3599 NEW BEST:: SOT 16875 SOS 10803 HAS SOPS 1951 HAS SOUS 2230 HAS SOUPS 1945 WITH SCORE 1955.803
AT ITER 3600 NEW BEST:: SOT 16853 SOS 10795 HAS SOPS 1935 HAS SOUS 2214 HAS SOUPS 1929 WITH SCORE 1939.795
AT ITER 3608 NEW BEST:: SOT 16851 SOS 10792 HAS SOPS 1931 HAS SOUS 2210 HAS SOUPS 1925 WITH SCORE 1935.792
AT ITER 3657 NEW BEST:: SOT 16848 SOS 10778 HAS SOPS 1914 HAS SOUS 2193 HAS SOUPS 1908 WITH SCORE 1918.778
AT ITER 3718 NEW BEST:: SOT 16831 SOS 10756 HAS SOPS 1880 HAS SOUS 2159 HAS SOUPS 1874 WITH SCORE 1884.756
AT ITER 3726 NEW BEST:: SOT 16831 SOS 10756 HAS SOPS 1877 HAS SOUS 2156 HAS SOUPS 1871 WITH SCORE 1881.756
AT ITER 3739 NEW BEST:: SOT 16830 SOS 10754 HAS SOPS 1875 HAS SOUS 2154 HAS SOUPS 1869 WITH SCORE 1879.754
AT ITER 3810 NEW BEST:: SOT 16829 SOS 10752 HAS SOPS 1873 HAS SOUS 2153 HAS SOUPS 1868 WITH SCORE 1878.752
AT ITER 3893 NEW BEST:: SOT 16830 SOS 10755 HAS SOPS 1873 HAS SOUS 2151 HAS SOUPS 1866 WITH SCORE 1876.755
AT ITER 3969 NEW BEST:: SOT 16830 SOS 10754 HAS SOPS 1871 HAS SOUS 2149 HAS SOUPS 1864 WITH SCORE 1874.754
AT ITER 4000 NEW BEST:: SOT 16826 SOS 10752 HAS SOPS 1863 HAS SOUS 2141 HAS SOUPS 1856 WITH SCORE 1866.752
AT ITER 4111 NEW BEST:: SOT 16824 SOS 10750 HAS SOPS 1859 HAS SOUS 2137 HAS SOUPS 1852 WITH SCORE 1862.75
AT ITER 4141 NEW BEST:: SOT 16824 SOS 10749 HAS SOPS 1855 HAS SOUS 2133 HAS SOUPS 1848 WITH SCORE 1858.749
AT ITER 4241 NEW BEST:: SOT 16821 SOS 10747 HAS SOPS 1854 HAS SOUS 2132 HAS SOUPS 1847 WITH SCORE 1857.747
AT ITER 4431 NEW BEST:: SOT 16817 SOS 10742 HAS SOPS 1846 HAS SOUS 2124 HAS SOUPS 1839 WITH SCORE 1849.742
AT ITER 4500 NEW BEST:: SOT 16816 SOS 10740 HAS SOPS 1842 HAS SOUS 2119 HAS SOUPS 1835 WITH SCORE 1845.74
AT ITER 4519 NEW BEST:: SOT 16815 SOS 10738 HAS SOPS 1840 HAS SOUS 2118 HAS SOUPS 1834 WITH SCORE 1844.738
AT ITER 4548 NEW BEST:: SOT 16816 SOS 10739 HAS SOPS 1836 HAS SOUS 2117 HAS SOUPS 1833 WITH SCORE 1843.739
AT ITER 4608 NEW BEST:: SOT 16812 SOS 10733 HAS SOPS 1828 HAS SOUS 2109 HAS SOUPS 1825 WITH SCORE 1835.733
AT ITER 4674 NEW BEST:: SOT 16791 SOS 10721 HAS SOPS 1804 HAS SOUS 2085 HAS SOUPS 1801 WITH SCORE 1811.721
AT ITER 4697 NEW BEST:: SOT 16790 SOS 10722 HAS SOPS 1802 HAS SOUS 2083 HAS SOUPS 1799 WITH SCORE 1809.722
AT ITER 4699 NEW BEST:: SOT 16782 SOS 10722 HAS SOPS 1794 HAS SOUS 2075 HAS SOUPS 1791 WITH SCORE 1801.722
AT ITER 4710 NEW BEST:: SOT 16792 SOS 10717 HAS SOPS 1784 HAS SOUS 2065 HAS SOUPS 1781 WITH SCORE 1791.717
AT ITER 4716 NEW BEST:: SOT 16790 SOS 10716 HAS SOPS 1784 HAS SOUS 2065 HAS SOUPS 1781 WITH SCORE 1791.716
AT ITER 4743 NEW BEST:: SOT 16812 SOS 10714 HAS SOPS 1780 HAS SOUS 2061 HAS SOUPS 1777 WITH SCORE 1787.714
AT ITER 4872 NEW BEST:: SOT 16819 SOS 10721 HAS SOPS 1772 HAS SOUS 2053 HAS SOUPS 1769 WITH SCORE 1779.721
AT ITER 5025 NEW BEST:: SOT 16821 SOS 10716 HAS SOPS 1768 HAS SOUS 2049 HAS SOUPS 1765 WITH SCORE 1775.716
AT ITER 5101 NEW BEST:: SOT 16820 SOS 10715 HAS SOPS 1766 HAS SOUS 2047 HAS SOUPS 1763 WITH SCORE 1773.715
AT ITER 5123 NEW BEST:: SOT 16800 SOS 10705 HAS SOPS 1766 HAS SOUS 2047 HAS SOUPS 1763 WITH SCORE 1773.705
AT ITER 5204 NEW BEST:: SOT 16801 SOS 10706 HAS SOPS 1763 HAS SOUS 2044 HAS SOUPS 1760 WITH SCORE 1770.706
AT ITER 5208 NEW BEST:: SOT 16792 SOS 10702 HAS SOPS 1754 HAS SOUS 2035 HAS SOUPS 1751 WITH SCORE 1761.702
AT ITER 5228 NEW BEST:: SOT 16801 SOS 10708 HAS SOPS 1729 HAS SOUS 2010 HAS SOUPS 1726 WITH SCORE 1736.708
AT ITER 5266 NEW BEST:: SOT 16808 SOS 10715 HAS SOPS 1726 HAS SOUS 2011 HAS SOUPS 1723 WITH SCORE 1733.715
AT ITER 5270 NEW BEST:: SOT 16821 SOS 10714 HAS SOPS 1724 HAS SOUS 2009 HAS SOUPS 1721 WITH SCORE 1731.714
AT ITER 5365 NEW BEST:: SOT 16823 SOS 10716 HAS SOPS 1722 HAS SOUS 2007 HAS SOUPS 1719 WITH SCORE 1729.716
AT ITER 5407 NEW BEST:: SOT 16828 SOS 10716 HAS SOPS 1717 HAS SOUS 2002 HAS SOUPS 1714 WITH SCORE 1724.716
AT ITER 5451 NEW BEST:: SOT 16838 SOS 10713 HAS SOPS 1698 HAS SOUS 1983 HAS SOUPS 1695 WITH SCORE 1705.713
AT ITER 5535 NEW BEST:: SOT 16833 SOS 10705 HAS SOPS 1688 HAS SOUS 1973 HAS SOUPS 1685 WITH SCORE 1695.705
AT ITER 5669 NEW BEST:: SOT 16866 SOS 10702 HAS SOPS 1682 HAS SOUS 1967 HAS SOUPS 1679 WITH SCORE 1689.702
AT ITER 5748 NEW BEST:: SOT 16863 SOS 10699 HAS SOPS 1679 HAS SOUS 1964 HAS SOUPS 1676 WITH SCORE 1686.699
AT ITER 5799 NEW BEST:: SOT 16861 SOS 10699 HAS SOPS 1677 HAS SOUS 1962 HAS SOUPS 1674 WITH SCORE 1684.699
AT ITER 5815 NEW BEST:: SOT 16857 SOS 10697 HAS SOPS 1677 HAS SOUS 1962 HAS SOUPS 1674 WITH SCORE 1684.697
AT ITER 5995 NEW BEST:: SOT 16855 SOS 10694 HAS SOPS 1673 HAS SOUS 1958 HAS SOUPS 1670 WITH SCORE 1680.694
AT ITER 6044 NEW BEST:: SOT 16854 SOS 10692 HAS SOPS 1670 HAS SOUS 1955 HAS SOUPS 1667 WITH SCORE 1677.692
AT ITER 6166 NEW BEST:: SOT 16854 SOS 10692 HAS SOPS 1638 HAS SOUS 1923 HAS SOUPS 1635 WITH SCORE 1645.692
AT ITER 6202 NEW BEST:: SOT 16853 SOS 10690 HAS SOPS 1635 HAS SOUS 1920 HAS SOUPS 1632 WITH SCORE 1642.69
AT ITER 6413 NEW BEST:: SOT 16855 SOS 10690 HAS SOPS 1633 HAS SOUS 1918 HAS SOUPS 1630 WITH SCORE 1640.69
AT ITER 6436 NEW BEST:: SOT 16853 SOS 10692 HAS SOPS 1629 HAS SOUS 1914 HAS SOUPS 1626 WITH SCORE 1636.692
AT ITER 6469 NEW BEST:: SOT 16840 SOS 10679 HAS SOPS 1624 HAS SOUS 1909 HAS SOUPS 1621 WITH SCORE 1631.679
AT ITER 6546 NEW BEST:: SOT 16835 SOS 10679 HAS SOPS 1619 HAS SOUS 1904 HAS SOUPS 1616 WITH SCORE 1626.679
AT ITER 6558 NEW BEST:: SOT 16835 SOS 10843 HAS SOPS 1611 HAS SOUS 1900 HAS SOUPS 1608 WITH SCORE 1618.843
AT ITER 6677 NEW BEST:: SOT 16835 SOS 10843 HAS SOPS 1609 HAS SOUS 1898 HAS SOUPS 1606 WITH SCORE 1616.843
AT ITER 6808 NEW BEST:: SOT 16774 SOS 10831 HAS SOPS 1585 HAS SOUS 1874 HAS SOUPS 1582 WITH SCORE 1592.831
AT ITER 6815 NEW BEST:: SOT 16754 SOS 10835 HAS SOPS 1569 HAS SOUS 1858 HAS SOUPS 1566 WITH SCORE 1576.835
AT ITER 6848 NEW BEST:: SOT 16763 SOS 10844 HAS SOPS 1548 HAS SOUS 1837 HAS SOUPS 1545 WITH SCORE 1555.844
AT ITER 6896 NEW BEST:: SOT 16761 SOS 10836 HAS SOPS 1532 HAS SOUS 1821 HAS SOUPS 1529 WITH SCORE 1539.836
AT ITER 6925 NEW BEST:: SOT 16759 SOS 10833 HAS SOPS 1528 HAS SOUS 1817 HAS SOUPS 1525 WITH SCORE 1535.833
AT ITER 6968 NEW BEST:: SOT 16760 SOS 10833 HAS SOPS 1524 HAS SOUS 1813 HAS SOUPS 1521 WITH SCORE 1531.833
AT ITER 7047 NEW BEST:: SOT 16762 SOS 10834 HAS SOPS 1520 HAS SOUS 1809 HAS SOUPS 1517 WITH SCORE 1527.834
AT ITER 7048 NEW BEST:: SOT 16761 SOS 10834 HAS SOPS 1518 HAS SOUS 1807 HAS SOUPS 1515 WITH SCORE 1525.834
AT ITER 7164 NEW BEST:: SOT 16751 SOS 10824 HAS SOPS 1498 HAS SOUS 1787 HAS SOUPS 1495 WITH SCORE 1505.824
AT ITER 7317 NEW BEST:: SOT 16751 SOS 10823 HAS SOPS 1497 HAS SOUS 1786 HAS SOUPS 1494 WITH SCORE 1504.823
AT ITER 7637 NEW BEST:: SOT 16746 SOS 10821 HAS SOPS 1493 HAS SOUS 1782 HAS SOUPS 1490 WITH SCORE 1500.821
AT ITER 7710 NEW BEST:: SOT 16742 SOS 10815 HAS SOPS 1485 HAS SOUS 1774 HAS SOUPS 1482 WITH SCORE 1492.815
AT ITER 7740 NEW BEST:: SOT 16743 SOS 10815 HAS SOPS 1484 HAS SOUS 1773 HAS SOUPS 1481 WITH SCORE 1491.815
AT ITER 7858 NEW BEST:: SOT 16741 SOS 10813 HAS SOPS 1484 HAS SOUS 1773 HAS SOUPS 1481 WITH SCORE 1491.813
AT ITER 8000 NEW BEST:: SOT 16736 SOS 10808 HAS SOPS 1484 HAS SOUS 1769 HAS SOUPS 1481 WITH SCORE 1491.808
AT ITER 8051 NEW BEST:: SOT 16727 SOS 10800 HAS SOPS 1470 HAS SOUS 1755 HAS SOUPS 1467 WITH SCORE 1477.8
AT ITER 8196 NEW BEST:: SOT 16723 SOS 10796 HAS SOPS 1466 HAS SOUS 1751 HAS SOUPS 1463 WITH SCORE 1473.796
AT ITER 8269 NEW BEST:: SOT 16723 SOS 10795 HAS SOPS 1466 HAS SOUS 1751 HAS SOUPS 1463 WITH SCORE 1473.795
AT ITER 8436 NEW BEST:: SOT 16719 SOS 10791 HAS SOPS 1466 HAS SOUS 1751 HAS SOUPS 1463 WITH SCORE 1473.791
AT ITER 8463 NEW BEST:: SOT 16717 SOS 10790 HAS SOPS 1462 HAS SOUS 1747 HAS SOUPS 1459 WITH SCORE 1469.79
AT ITER 8553 NEW BEST:: SOT 16715 SOS 10787 HAS SOPS 1458 HAS SOUS 1743 HAS SOUPS 1455 WITH SCORE 1465.787
AT ITER 8568 NEW BEST:: SOT 16708 SOS 10786 HAS SOPS 1458 HAS SOUS 1743 HAS SOUPS 1455 WITH SCORE 1465.786
AT ITER 8793 NEW BEST:: SOT 16708 SOS 10782 HAS SOPS 1454 HAS SOUS 1739 HAS SOUPS 1451 WITH SCORE 1461.782
AT ITER 9076 NEW BEST:: SOT 16706 SOS 10781 HAS SOPS 1452 HAS SOUS 1737 HAS SOUPS 1449 WITH SCORE 1459.781
AT ITER 9352 NEW BEST:: SOT 16696 SOS 10776 HAS SOPS 1442 HAS SOUS 1727 HAS SOUPS 1439 WITH SCORE 1449.776
AT ITER 9410 NEW BEST:: SOT 16695 SOS 10771 HAS SOPS 1440 HAS SOUS 1725 HAS SOUPS 1437 WITH SCORE 1447.771
AT ITER 9412 NEW BEST:: SOT 16693 SOS 10772 HAS SOPS 1436 HAS SOUS 1721 HAS SOUPS 1433 WITH SCORE 1443.772
AT ITER 9586 NEW BEST:: SOT 16707 SOS 10785 HAS SOPS 1432 HAS SOUS 1717 HAS SOUPS 1429 WITH SCORE 1439.785
AT ITER 9702 NEW BEST:: SOT 16718 SOS 10784 HAS SOPS 1430 HAS SOUS 1715 HAS SOUPS 1427 WITH SCORE 1437.784
AT ITER 9788 NEW BEST:: SOT 16717 SOS 10783 HAS SOPS 1428 HAS SOUS 1713 HAS SOUPS 1425 WITH SCORE 1435.783
AT ITER 9816 NEW BEST:: SOT 16711 SOS 10780 HAS SOPS 1420 HAS SOUS 1705 HAS SOUPS 1417 WITH SCORE 1427.78
AT ITER 9859 NEW BEST:: SOT 16705 SOS 10774 HAS SOPS 1408 HAS SOUS 1693 HAS SOUPS 1405 WITH SCORE 1415.774
STATE_SPACE STATES 4177248169415652 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 17 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 79747465052480611 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679908668746

--------------------
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="DiscoveryGPU-PT-15a"
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 DiscoveryGPU-PT-15a, 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-167819407600432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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