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.r163-tall-167838847800480.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 FlexibleBarrier-PT-08a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847800480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 412K
-rw-r--r-- 1 mcc users 7.6K Feb 25 12:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 12:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 12:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 12:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 12:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 12:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 12:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 12:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 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 64K 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 1678450978264

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=FlexibleBarrier-PT-08a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 08a
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: 99 places, 236 transitions, 985 arcs.
AT ITER 0 NEW BEST:: SOT 19254 SOS 15023 HAS SOPS 15023 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9597.023
AT ITER 2 NEW BEST:: SOT 19325 SOS 15023 HAS SOPS 15023 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9095.023
AT ITER 6 NEW BEST:: SOT 19340 SOS 14975 HAS SOPS 14975 HAS SOUS 9075 HAS SOUPS 9075 WITH SCORE 9089.975
AT ITER 7 NEW BEST:: SOT 19385 SOS 14962 HAS SOPS 14962 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8769.962
AT ITER 8 NEW BEST:: SOT 19385 SOS 14941 HAS SOPS 14941 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8769.941
AT ITER 9 NEW BEST:: SOT 19383 SOS 14852 HAS SOPS 14852 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8727.852
AT ITER 12 NEW BEST:: SOT 19398 SOS 14499 HAS SOPS 14499 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8096.499
AT ITER 13 NEW BEST:: SOT 19274 SOS 14379 HAS SOPS 14379 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8025.379
AT ITER 14 NEW BEST:: SOT 19153 SOS 14292 HAS SOPS 14292 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7792.292
AT ITER 15 NEW BEST:: SOT 19210 SOS 13644 HAS SOPS 13644 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7166.644
AT ITER 18 NEW BEST:: SOT 19177 SOS 13578 HAS SOPS 13578 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7166.578
AT ITER 22 NEW BEST:: SOT 19176 SOS 13573 HAS SOPS 13573 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7163.573
AT ITER 29 NEW BEST:: SOT 19285 SOS 13111 HAS SOPS 13111 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6919.111
AT ITER 32 NEW BEST:: SOT 19328 SOS 13150 HAS SOPS 13150 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6915.15
AT ITER 34 NEW BEST:: SOT 19328 SOS 13116 HAS SOPS 13116 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6899.116
AT ITER 38 NEW BEST:: SOT 19328 SOS 13107 HAS SOPS 13107 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6899.107
AT ITER 42 NEW BEST:: SOT 19392 SOS 13118 HAS SOPS 13118 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6852.118
AT ITER 43 NEW BEST:: SOT 19437 SOS 12925 HAS SOPS 12925 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6668.925
AT ITER 45 NEW BEST:: SOT 19437 SOS 12886 HAS SOPS 12886 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6668.886
AT ITER 48 NEW BEST:: SOT 19432 SOS 12864 HAS SOPS 12864 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6665.864
AT ITER 49 NEW BEST:: SOT 19452 SOS 12346 HAS SOPS 12346 HAS SOUS 6524 HAS SOUPS 6524 WITH SCORE 6536.346
AT ITER 51 NEW BEST:: SOT 19454 SOS 12051 HAS SOPS 12051 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6510.051
AT ITER 52 NEW BEST:: SOT 19481 SOS 11208 HAS SOPS 11208 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6450.208
AT ITER 54 NEW BEST:: SOT 19508 SOS 10969 HAS SOPS 10969 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6204.969
AT ITER 56 NEW BEST:: SOT 19535 SOS 10080 HAS SOPS 10080 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6122.08
AT ITER 59 NEW BEST:: SOT 19535 SOS 10060 HAS SOPS 10060 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6102.06
AT ITER 66 NEW BEST:: SOT 19492 SOS 9996 HAS SOPS 9996 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6059.996
AT ITER 68 NEW BEST:: SOT 19392 SOS 9898 HAS SOPS 9898 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6021.898
AT ITER 69 NEW BEST:: SOT 19392 SOS 9884 HAS SOPS 9884 HAS SOUS 5998 HAS SOUPS 5998 WITH SCORE 6007.884
AT ITER 72 NEW BEST:: SOT 19189 SOS 9729 HAS SOPS 9681 HAS SOUS 5904 HAS SOUPS 5896 WITH SCORE 5905.729
AT ITER 77 NEW BEST:: SOT 19187 SOS 9725 HAS SOPS 9677 HAS SOUS 5896 HAS SOUPS 5888 WITH SCORE 5897.725
AT ITER 80 NEW BEST:: SOT 19187 SOS 9724 HAS SOPS 9676 HAS SOUS 5895 HAS SOUPS 5887 WITH SCORE 5896.724
AT ITER 81 NEW BEST:: SOT 19110 SOS 9641 HAS SOPS 9593 HAS SOUS 5861 HAS SOUPS 5853 WITH SCORE 5862.641
AT ITER 84 NEW BEST:: SOT 19106 SOS 9565 HAS SOPS 9517 HAS SOUS 5825 HAS SOUPS 5817 WITH SCORE 5826.565
AT ITER 89 NEW BEST:: SOT 18078 SOS 9159 HAS SOPS 8328 HAS SOUS 4854 HAS SOUPS 4782 WITH SCORE 4791.159
AT ITER 91 NEW BEST:: SOT 18076 SOS 9155 HAS SOPS 8324 HAS SOUS 4852 HAS SOUPS 4780 WITH SCORE 4789.155
AT ITER 99 NEW BEST:: SOT 18075 SOS 8991 HAS SOPS 8230 HAS SOUS 4779 HAS SOUPS 4707 WITH SCORE 4715.991
AT ITER 100 NEW BEST:: SOT 18076 SOS 8992 HAS SOPS 8231 HAS SOUS 4778 HAS SOUPS 4706 WITH SCORE 4714.992
AT ITER 101 NEW BEST:: SOT 18091 SOS 8593 HAS SOPS 7850 HAS SOUS 4735 HAS SOUPS 4663 WITH SCORE 4671.593
AT ITER 102 NEW BEST:: SOT 18088 SOS 8590 HAS SOPS 7844 HAS SOUS 4732 HAS SOUPS 4657 WITH SCORE 4665.59
AT ITER 105 NEW BEST:: SOT 18109 SOS 8556 HAS SOPS 7831 HAS SOUS 4719 HAS SOUPS 4644 WITH SCORE 4652.556
AT ITER 109 NEW BEST:: SOT 18101 SOS 8552 HAS SOPS 7815 HAS SOUS 4699 HAS SOUPS 4624 WITH SCORE 4632.552
AT ITER 111 NEW BEST:: SOT 18085 SOS 8560 HAS SOPS 7746 HAS SOUS 4630 HAS SOUPS 4555 WITH SCORE 4563.56
AT ITER 112 NEW BEST:: SOT 18056 SOS 8507 HAS SOPS 7684 HAS SOUS 4608 HAS SOUPS 4533 WITH SCORE 4541.507
AT ITER 119 NEW BEST:: SOT 18056 SOS 8505 HAS SOPS 7682 HAS SOUS 4608 HAS SOUPS 4533 WITH SCORE 4541.505
AT ITER 120 NEW BEST:: SOT 18079 SOS 8458 HAS SOPS 7665 HAS SOUS 4598 HAS SOUPS 4523 WITH SCORE 4531.458
AT ITER 122 NEW BEST:: SOT 18070 SOS 8449 HAS SOPS 7656 HAS SOUS 4593 HAS SOUPS 4518 WITH SCORE 4526.449
AT ITER 123 NEW BEST:: SOT 18070 SOS 8449 HAS SOPS 7654 HAS SOUS 4591 HAS SOUPS 4516 WITH SCORE 4524.449
AT ITER 124 NEW BEST:: SOT 18064 SOS 8449 HAS SOPS 7648 HAS SOUS 4585 HAS SOUPS 4510 WITH SCORE 4518.449
AT ITER 130 NEW BEST:: SOT 17983 SOS 8368 HAS SOPS 7567 HAS SOUS 4540 HAS SOUPS 4465 WITH SCORE 4473.368
AT ITER 139 NEW BEST:: SOT 17966 SOS 8331 HAS SOPS 7503 HAS SOUS 4496 HAS SOUPS 4421 WITH SCORE 4429.331
AT ITER 144 NEW BEST:: SOT 17968 SOS 8297 HAS SOPS 7489 HAS SOUS 4496 HAS SOUPS 4421 WITH SCORE 4429.297
AT ITER 148 NEW BEST:: SOT 17955 SOS 8281 HAS SOPS 7463 HAS SOUS 4479 HAS SOUPS 4404 WITH SCORE 4412.281
AT ITER 151 NEW BEST:: SOT 17930 SOS 8181 HAS SOPS 7388 HAS SOUS 4454 HAS SOUPS 4379 WITH SCORE 4387.181
AT ITER 153 NEW BEST:: SOT 17925 SOS 8012 HAS SOPS 7228 HAS SOUS 4389 HAS SOUPS 4309 WITH SCORE 4317.012
AT ITER 161 NEW BEST:: SOT 17942 SOS 7898 HAS SOPS 7112 HAS SOUS 4324 HAS SOUPS 4244 WITH SCORE 4251.898
AT ITER 163 NEW BEST:: SOT 17943 SOS 7799 HAS SOPS 7038 HAS SOUS 4297 HAS SOUPS 4217 WITH SCORE 4224.799
AT ITER 168 NEW BEST:: SOT 17874 SOS 7730 HAS SOPS 6969 HAS SOUS 4260 HAS SOUPS 4180 WITH SCORE 4187.73
AT ITER 170 NEW BEST:: SOT 17874 SOS 7730 HAS SOPS 6969 HAS SOUS 4254 HAS SOUPS 4174 WITH SCORE 4181.73
AT ITER 171 NEW BEST:: SOT 17859 SOS 7736 HAS SOPS 6960 HAS SOUS 4245 HAS SOUPS 4165 WITH SCORE 4172.736
AT ITER 178 NEW BEST:: SOT 17855 SOS 7592 HAS SOPS 6846 HAS SOUS 4209 HAS SOUPS 4129 WITH SCORE 4136.592
AT ITER 180 NEW BEST:: SOT 17854 SOS 7590 HAS SOPS 6840 HAS SOUS 4194 HAS SOUPS 4114 WITH SCORE 4121.59
AT ITER 185 NEW BEST:: SOT 17836 SOS 7574 HAS SOPS 6826 HAS SOUS 4173 HAS SOUPS 4093 WITH SCORE 4100.574
AT ITER 187 NEW BEST:: SOT 17838 SOS 7449 HAS SOPS 6744 HAS SOUS 4145 HAS SOUPS 4065 WITH SCORE 4072.449
AT ITER 189 NEW BEST:: SOT 17811 SOS 7449 HAS SOPS 6715 HAS SOUS 4122 HAS SOUPS 4041 WITH SCORE 4048.449
AT ITER 201 NEW BEST:: SOT 17807 SOS 7768 HAS SOPS 6700 HAS SOUS 4121 HAS SOUPS 4029 WITH SCORE 4036.768
AT ITER 204 NEW BEST:: SOT 17805 SOS 7764 HAS SOPS 6696 HAS SOUS 4120 HAS SOUPS 4028 WITH SCORE 4035.764
AT ITER 205 NEW BEST:: SOT 17805 SOS 7762 HAS SOPS 6694 HAS SOUS 4119 HAS SOUPS 4027 WITH SCORE 4034.762
AT ITER 207 NEW BEST:: SOT 17790 SOS 7747 HAS SOPS 6680 HAS SOUS 4105 HAS SOUPS 4013 WITH SCORE 4020.747
AT ITER 209 NEW BEST:: SOT 17780 SOS 7709 HAS SOPS 6623 HAS SOUS 4041 HAS SOUPS 3949 WITH SCORE 3956.709
AT ITER 215 NEW BEST:: SOT 17778 SOS 7732 HAS SOPS 6632 HAS SOUS 4038 HAS SOUPS 3946 WITH SCORE 3953.732
AT ITER 236 NEW BEST:: SOT 17775 SOS 7720 HAS SOPS 6611 HAS SOUS 4021 HAS SOUPS 3929 WITH SCORE 3936.72
AT ITER 246 NEW BEST:: SOT 17768 SOS 7718 HAS SOPS 6603 HAS SOUS 4014 HAS SOUPS 3922 WITH SCORE 3929.718
AT ITER 252 NEW BEST:: SOT 17754 SOS 7177 HAS SOPS 6086 HAS SOUS 3974 HAS SOUPS 3882 WITH SCORE 3889.177
AT ITER 263 NEW BEST:: SOT 17751 SOS 7117 HAS SOPS 6026 HAS SOUS 3962 HAS SOUPS 3870 WITH SCORE 3877.117
AT ITER 270 NEW BEST:: SOT 17503 SOS 11642 HAS SOPS 5717 HAS SOUS 3817 HAS SOUPS 3668 WITH SCORE 3679.642
AT ITER 277 NEW BEST:: SOT 17308 SOS 11437 HAS SOPS 5554 HAS SOUS 3751 HAS SOUPS 3602 WITH SCORE 3613.437
AT ITER 278 NEW BEST:: SOT 17322 SOS 11446 HAS SOPS 5394 HAS SOUS 3562 HAS SOUPS 3413 WITH SCORE 3424.446
AT ITER 314 NEW BEST:: SOT 17311 SOS 11435 HAS SOPS 5372 HAS SOUS 3540 HAS SOUPS 3391 WITH SCORE 3402.435
AT ITER 316 NEW BEST:: SOT 17295 SOS 11424 HAS SOPS 5347 HAS SOUS 3524 HAS SOUPS 3375 WITH SCORE 3386.424
AT ITER 323 NEW BEST:: SOT 17322 SOS 11413 HAS SOPS 5325 HAS SOUS 3505 HAS SOUPS 3356 WITH SCORE 3367.413
AT ITER 332 NEW BEST:: SOT 17059 SOS 11138 HAS SOPS 5032 HAS SOUS 3339 HAS SOUPS 3190 WITH SCORE 3201.138
AT ITER 336 NEW BEST:: SOT 17015 SOS 11097 HAS SOPS 4968 HAS SOUS 3295 HAS SOUPS 3146 WITH SCORE 3157.097
AT ITER 339 NEW BEST:: SOT 16986 SOS 11075 HAS SOPS 4938 HAS SOUS 3274 HAS SOUPS 3125 WITH SCORE 3136.075
AT ITER 354 NEW BEST:: SOT 16985 SOS 11072 HAS SOPS 4935 HAS SOUS 3272 HAS SOUPS 3123 WITH SCORE 3134.072
AT ITER 357 NEW BEST:: SOT 16958 SOS 11042 HAS SOPS 4896 HAS SOUS 3249 HAS SOUPS 3100 WITH SCORE 3111.042
AT ITER 367 NEW BEST:: SOT 17036 SOS 11067 HAS SOPS 4861 HAS SOUS 3220 HAS SOUPS 3060 WITH SCORE 3071.067
AT ITER 369 NEW BEST:: SOT 17031 SOS 11024 HAS SOPS 4851 HAS SOUS 3214 HAS SOUPS 3054 WITH SCORE 3065.024
AT ITER 372 NEW BEST:: SOT 17024 SOS 11003 HAS SOPS 4837 HAS SOUS 3200 HAS SOUPS 3040 WITH SCORE 3051.003
AT ITER 373 NEW BEST:: SOT 17037 SOS 10979 HAS SOPS 4828 HAS SOUS 3198 HAS SOUPS 3038 WITH SCORE 3048.979
AT ITER 374 NEW BEST:: SOT 17018 SOS 10960 HAS SOPS 4809 HAS SOUS 3192 HAS SOUPS 3032 WITH SCORE 3042.96
AT ITER 392 NEW BEST:: SOT 17016 SOS 10959 HAS SOPS 4806 HAS SOUS 3189 HAS SOUPS 3029 WITH SCORE 3039.959
AT ITER 397 NEW BEST:: SOT 16995 SOS 10938 HAS SOPS 4764 HAS SOUS 3147 HAS SOUPS 2987 WITH SCORE 2997.938
AT ITER 400 NEW BEST:: SOT 16991 SOS 10934 HAS SOPS 4760 HAS SOUS 3143 HAS SOUPS 2983 WITH SCORE 2993.934
AT ITER 406 NEW BEST:: SOT 16959 SOS 10902 HAS SOPS 4720 HAS SOUS 3103 HAS SOUPS 2943 WITH SCORE 2953.902
AT ITER 411 NEW BEST:: SOT 16954 SOS 10892 HAS SOPS 4710 HAS SOUS 3098 HAS SOUPS 2938 WITH SCORE 2948.892
AT ITER 417 NEW BEST:: SOT 16897 SOS 10832 HAS SOPS 4670 HAS SOUS 3084 HAS SOUPS 2924 WITH SCORE 2934.832
AT ITER 427 NEW BEST:: SOT 16895 SOS 10836 HAS SOPS 4666 HAS SOUS 3074 HAS SOUPS 2914 WITH SCORE 2924.836
AT ITER 431 NEW BEST:: SOT 16894 SOS 10841 HAS SOPS 4671 HAS SOUS 3073 HAS SOUPS 2913 WITH SCORE 2923.841
AT ITER 447 NEW BEST:: SOT 16886 SOS 10818 HAS SOPS 4640 HAS SOUS 3042 HAS SOUPS 2882 WITH SCORE 2892.818
AT ITER 457 NEW BEST:: SOT 16892 SOS 10822 HAS SOPS 4642 HAS SOUS 3040 HAS SOUPS 2880 WITH SCORE 2890.822
AT ITER 485 NEW BEST:: SOT 16891 SOS 10821 HAS SOPS 4640 HAS SOUS 3039 HAS SOUPS 2879 WITH SCORE 2889.821
AT ITER 491 NEW BEST:: SOT 16886 SOS 10811 HAS SOPS 4625 HAS SOUS 3024 HAS SOUPS 2864 WITH SCORE 2874.811
AT ITER 494 NEW BEST:: SOT 16872 SOS 10804 HAS SOPS 4604 HAS SOUS 3003 HAS SOUPS 2843 WITH SCORE 2853.804
AT ITER 496 NEW BEST:: SOT 16866 SOS 10798 HAS SOPS 4597 HAS SOUS 2996 HAS SOUPS 2836 WITH SCORE 2846.798
AT ITER 506 NEW BEST:: SOT 16824 SOS 10791 HAS SOPS 4541 HAS SOUS 2932 HAS SOUPS 2772 WITH SCORE 2782.791
AT ITER 508 NEW BEST:: SOT 16819 SOS 10786 HAS SOPS 4531 HAS SOUS 2922 HAS SOUPS 2762 WITH SCORE 2772.786
AT ITER 521 NEW BEST:: SOT 16824 SOS 10784 HAS SOPS 4529 HAS SOUS 2917 HAS SOUPS 2757 WITH SCORE 2767.784
AT ITER 530 NEW BEST:: SOT 16822 SOS 10777 HAS SOPS 4517 HAS SOUS 2903 HAS SOUPS 2743 WITH SCORE 2753.777
AT ITER 543 NEW BEST:: SOT 16816 SOS 10777 HAS SOPS 4511 HAS SOUS 2901 HAS SOUPS 2741 WITH SCORE 2751.777
AT ITER 548 NEW BEST:: SOT 16817 SOS 10781 HAS SOPS 4510 HAS SOUS 2900 HAS SOUPS 2740 WITH SCORE 2750.781
AT ITER 552 NEW BEST:: SOT 16810 SOS 10774 HAS SOPS 4496 HAS SOUS 2886 HAS SOUPS 2726 WITH SCORE 2736.774
AT ITER 561 NEW BEST:: SOT 16807 SOS 10767 HAS SOPS 4490 HAS SOUS 2880 HAS SOUPS 2720 WITH SCORE 2730.767
AT ITER 569 NEW BEST:: SOT 16798 SOS 10765 HAS SOPS 4481 HAS SOUS 2871 HAS SOUPS 2711 WITH SCORE 2721.765
AT ITER 571 NEW BEST:: SOT 16818 SOS 10772 HAS SOPS 4491 HAS SOUS 2857 HAS SOUPS 2697 WITH SCORE 2707.772
AT ITER 593 NEW BEST:: SOT 16849 SOS 10810 HAS SOPS 4411 HAS SOUS 2846 HAS SOUPS 2686 WITH SCORE 2696.81
AT ITER 605 NEW BEST:: SOT 16770 SOS 10767 HAS SOPS 4347 HAS SOUS 2782 HAS SOUPS 2622 WITH SCORE 2632.767
AT ITER 613 NEW BEST:: SOT 16768 SOS 10750 HAS SOPS 4325 HAS SOUS 2766 HAS SOUPS 2606 WITH SCORE 2616.75
AT ITER 630 NEW BEST:: SOT 16672 SOS 10650 HAS SOPS 4221 HAS SOUS 2710 HAS SOUPS 2546 WITH SCORE 2556.65
AT ITER 642 NEW BEST:: SOT 16672 SOS 10628 HAS SOPS 4207 HAS SOUS 2704 HAS SOUPS 2540 WITH SCORE 2550.628
AT ITER 646 NEW BEST:: SOT 16665 SOS 10614 HAS SOPS 4193 HAS SOUS 2697 HAS SOUPS 2533 WITH SCORE 2543.614
AT ITER 649 NEW BEST:: SOT 16647 SOS 10595 HAS SOPS 4181 HAS SOUS 2683 HAS SOUPS 2519 WITH SCORE 2529.595
AT ITER 666 NEW BEST:: SOT 16644 SOS 10595 HAS SOPS 4178 HAS SOUS 2676 HAS SOUPS 2512 WITH SCORE 2522.595
AT ITER 670 NEW BEST:: SOT 16605 SOS 10563 HAS SOPS 4152 HAS SOUS 2649 HAS SOUPS 2485 WITH SCORE 2495.563
AT ITER 695 NEW BEST:: SOT 16605 SOS 10563 HAS SOPS 4119 HAS SOUS 2625 HAS SOUPS 2461 WITH SCORE 2471.563
AT ITER 705 NEW BEST:: SOT 16596 SOS 10551 HAS SOPS 4101 HAS SOUS 2610 HAS SOUPS 2446 WITH SCORE 2456.551
AT ITER 706 NEW BEST:: SOT 16596 SOS 10551 HAS SOPS 4075 HAS SOUS 2608 HAS SOUPS 2444 WITH SCORE 2454.551
AT ITER 729 NEW BEST:: SOT 16626 SOS 10576 HAS SOPS 4073 HAS SOUS 2568 HAS SOUPS 2404 WITH SCORE 2414.576
AT ITER 733 NEW BEST:: SOT 16621 SOS 10613 HAS SOPS 4085 HAS SOUS 2560 HAS SOUPS 2396 WITH SCORE 2406.613
AT ITER 769 NEW BEST:: SOT 16614 SOS 10596 HAS SOPS 4071 HAS SOUS 2546 HAS SOUPS 2382 WITH SCORE 2392.596
AT ITER 775 NEW BEST:: SOT 16611 SOS 10593 HAS SOPS 4068 HAS SOUS 2543 HAS SOUPS 2379 WITH SCORE 2389.593
AT ITER 798 NEW BEST:: SOT 16606 SOS 10581 HAS SOPS 4047 HAS SOUS 2522 HAS SOUPS 2358 WITH SCORE 2368.581
AT ITER 801 NEW BEST:: SOT 16608 SOS 10583 HAS SOPS 4051 HAS SOUS 2519 HAS SOUPS 2355 WITH SCORE 2365.583
AT ITER 805 NEW BEST:: SOT 16604 SOS 10576 HAS SOPS 4043 HAS SOUS 2514 HAS SOUPS 2350 WITH SCORE 2360.576
AT ITER 817 NEW BEST:: SOT 16610 SOS 11242 HAS SOPS 4043 HAS SOUS 2518 HAS SOUPS 2348 WITH SCORE 2359.242
AT ITER 826 NEW BEST:: SOT 16597 SOS 11223 HAS SOPS 4038 HAS SOUS 2513 HAS SOUPS 2343 WITH SCORE 2354.223
AT ITER 844 NEW BEST:: SOT 16597 SOS 11223 HAS SOPS 4037 HAS SOUS 2512 HAS SOUPS 2342 WITH SCORE 2353.223
AT ITER 845 NEW BEST:: SOT 16584 SOS 11212 HAS SOPS 4030 HAS SOUS 2502 HAS SOUPS 2332 WITH SCORE 2343.212
AT ITER 849 NEW BEST:: SOT 16583 SOS 11218 HAS SOPS 4028 HAS SOUS 2490 HAS SOUPS 2320 WITH SCORE 2331.218
AT ITER 860 NEW BEST:: SOT 16582 SOS 11291 HAS SOPS 4023 HAS SOUS 2489 HAS SOUPS 2317 WITH SCORE 2328.291
AT ITER 872 NEW BEST:: SOT 16578 SOS 11287 HAS SOPS 4017 HAS SOUS 2485 HAS SOUPS 2311 WITH SCORE 2322.287
AT ITER 874 NEW BEST:: SOT 16574 SOS 11274 HAS SOPS 4000 HAS SOUS 2471 HAS SOUPS 2297 WITH SCORE 2308.274
AT ITER 921 NEW BEST:: SOT 16567 SOS 11269 HAS SOPS 3994 HAS SOUS 2464 HAS SOUPS 2290 WITH SCORE 2301.269
AT ITER 926 NEW BEST:: SOT 16555 SOS 11246 HAS SOPS 3970 HAS SOUS 2462 HAS SOUPS 2288 WITH SCORE 2299.246
AT ITER 944 NEW BEST:: SOT 16541 SOS 11240 HAS SOPS 3951 HAS SOUS 2447 HAS SOUPS 2273 WITH SCORE 2284.24
AT ITER 947 NEW BEST:: SOT 16538 SOS 11227 HAS SOPS 3940 HAS SOUS 2441 HAS SOUPS 2267 WITH SCORE 2278.227
AT ITER 950 NEW BEST:: SOT 16538 SOS 11225 HAS SOPS 3938 HAS SOUS 2441 HAS SOUPS 2267 WITH SCORE 2278.225
AT ITER 952 NEW BEST:: SOT 16538 SOS 11221 HAS SOPS 3938 HAS SOUS 2441 HAS SOUPS 2267 WITH SCORE 2278.221
AT ITER 974 NEW BEST:: SOT 16537 SOS 11219 HAS SOPS 3935 HAS SOUS 2439 HAS SOUPS 2265 WITH SCORE 2276.219
AT ITER 984 NEW BEST:: SOT 16531 SOS 10883 HAS SOPS 3932 HAS SOUS 2433 HAS SOUPS 2262 WITH SCORE 2272.883
AT ITER 991 NEW BEST:: SOT 16520 SOS 10856 HAS SOPS 3905 HAS SOUS 2414 HAS SOUPS 2243 WITH SCORE 2253.856
AT ITER 1002 NEW BEST:: SOT 16518 SOS 10856 HAS SOPS 3903 HAS SOUS 2413 HAS SOUPS 2242 WITH SCORE 2252.856
AT ITER 1035 NEW BEST:: SOT 16513 SOS 10848 HAS SOPS 3899 HAS SOUS 2408 HAS SOUPS 2237 WITH SCORE 2247.848
AT ITER 1068 NEW BEST:: SOT 16514 SOS 10843 HAS SOPS 3891 HAS SOUS 2398 HAS SOUPS 2227 WITH SCORE 2237.843
AT ITER 1077 NEW BEST:: SOT 16514 SOS 10837 HAS SOPS 3885 HAS SOUS 2393 HAS SOUPS 2222 WITH SCORE 2232.837
AT ITER 1129 NEW BEST:: SOT 16514 SOS 10838 HAS SOPS 3885 HAS SOUS 2392 HAS SOUPS 2221 WITH SCORE 2231.838
AT ITER 1138 NEW BEST:: SOT 16509 SOS 10852 HAS SOPS 3884 HAS SOUS 2391 HAS SOUPS 2220 WITH SCORE 2230.852
AT ITER 1141 NEW BEST:: SOT 16522 SOS 12541 HAS SOPS 3881 HAS SOUS 2403 HAS SOUPS 2217 WITH SCORE 2229.541
AT ITER 1179 NEW BEST:: SOT 16517 SOS 12537 HAS SOPS 4053 HAS SOUS 2402 HAS SOUPS 2216 WITH SCORE 2228.537
AT ITER 1186 NEW BEST:: SOT 16529 SOS 12535 HAS SOPS 4064 HAS SOUS 2402 HAS SOUPS 2216 WITH SCORE 2228.535
AT ITER 1190 NEW BEST:: SOT 16518 SOS 12541 HAS SOPS 4056 HAS SOUS 2395 HAS SOUPS 2209 WITH SCORE 2221.541
AT ITER 1196 NEW BEST:: SOT 16496 SOS 12519 HAS SOPS 4012 HAS SOUS 2351 HAS SOUPS 2165 WITH SCORE 2177.519
AT ITER 1197 NEW BEST:: SOT 16489 SOS 12504 HAS SOPS 3998 HAS SOUS 2346 HAS SOUPS 2160 WITH SCORE 2172.504
AT ITER 1202 NEW BEST:: SOT 16490 SOS 12457 HAS SOPS 3928 HAS SOUS 2300 HAS SOUPS 2114 WITH SCORE 2126.457
AT ITER 1216 NEW BEST:: SOT 16486 SOS 12451 HAS SOPS 3764 HAS SOUS 2285 HAS SOUPS 2099 WITH SCORE 2111.451
AT ITER 1217 NEW BEST:: SOT 16481 SOS 12437 HAS SOPS 3754 HAS SOUS 2283 HAS SOUPS 2097 WITH SCORE 2109.437
AT ITER 1218 NEW BEST:: SOT 16480 SOS 12434 HAS SOPS 3752 HAS SOUS 2283 HAS SOUPS 2097 WITH SCORE 2109.434
AT ITER 1235 NEW BEST:: SOT 16469 SOS 12431 HAS SOPS 3738 HAS SOUS 2269 HAS SOUPS 2083 WITH SCORE 2095.431
AT ITER 1238 NEW BEST:: SOT 16464 SOS 12401 HAS SOPS 3713 HAS SOUS 2249 HAS SOUPS 2063 WITH SCORE 2075.401
AT ITER 1251 NEW BEST:: SOT 16453 SOS 12389 HAS SOPS 3755 HAS SOUS 2245 HAS SOUPS 2059 WITH SCORE 2071.389
AT ITER 1258 NEW BEST:: SOT 16451 SOS 12386 HAS SOPS 3751 HAS SOUS 2240 HAS SOUPS 2054 WITH SCORE 2066.386
AT ITER 1260 NEW BEST:: SOT 16449 SOS 12382 HAS SOPS 3747 HAS SOUS 2236 HAS SOUPS 2050 WITH SCORE 2062.382
AT ITER 1261 NEW BEST:: SOT 16458 SOS 12400 HAS SOPS 3740 HAS SOUS 2223 HAS SOUPS 2037 WITH SCORE 2049.4
AT ITER 1266 NEW BEST:: SOT 16431 SOS 12362 HAS SOPS 3651 HAS SOUS 2185 HAS SOUPS 1999 WITH SCORE 2011.362
AT ITER 1350 NEW BEST:: SOT 16429 SOS 12350 HAS SOPS 3641 HAS SOUS 2177 HAS SOUPS 1991 WITH SCORE 2003.35
AT ITER 1428 NEW BEST:: SOT 16425 SOS 12357 HAS SOPS 3633 HAS SOUS 2169 HAS SOUPS 1983 WITH SCORE 1995.357
AT ITER 1441 NEW BEST:: SOT 16422 SOS 12352 HAS SOPS 3627 HAS SOUS 2165 HAS SOUPS 1979 WITH SCORE 1991.352
AT ITER 1461 NEW BEST:: SOT 16422 SOS 12352 HAS SOPS 3618 HAS SOUS 2156 HAS SOUPS 1970 WITH SCORE 1982.352
AT ITER 1529 NEW BEST:: SOT 16427 SOS 12351 HAS SOPS 3570 HAS SOUS 2130 HAS SOUPS 1944 WITH SCORE 1956.351
AT ITER 1535 NEW BEST:: SOT 16425 SOS 12349 HAS SOPS 3566 HAS SOUS 2127 HAS SOUPS 1941 WITH SCORE 1953.349
AT ITER 1554 NEW BEST:: SOT 16424 SOS 12348 HAS SOPS 3564 HAS SOUS 2125 HAS SOUPS 1939 WITH SCORE 1951.348
AT ITER 1568 NEW BEST:: SOT 16422 SOS 12346 HAS SOPS 3562 HAS SOUS 2123 HAS SOUPS 1937 WITH SCORE 1949.346
AT ITER 1571 NEW BEST:: SOT 16419 SOS 12351 HAS SOPS 3556 HAS SOUS 2117 HAS SOUPS 1931 WITH SCORE 1943.351
AT ITER 1609 NEW BEST:: SOT 16425 SOS 12345 HAS SOPS 3552 HAS SOUS 2099 HAS SOUPS 1913 WITH SCORE 1925.345
AT ITER 1649 NEW BEST:: SOT 16401 SOS 12318 HAS SOPS 3665 HAS SOUS 2098 HAS SOUPS 1912 WITH SCORE 1924.318
AT ITER 1651 NEW BEST:: SOT 16399 SOS 12314 HAS SOPS 3661 HAS SOUS 2096 HAS SOUPS 1910 WITH SCORE 1922.314
AT ITER 1696 NEW BEST:: SOT 16398 SOS 12310 HAS SOPS 3659 HAS SOUS 2094 HAS SOUPS 1908 WITH SCORE 1920.31
AT ITER 1772 NEW BEST:: SOT 16380 SOS 12286 HAS SOPS 3687 HAS SOUS 2074 HAS SOUPS 1888 WITH SCORE 1900.286
AT ITER 1784 NEW BEST:: SOT 16375 SOS 12281 HAS SOPS 3684 HAS SOUS 2069 HAS SOUPS 1885 WITH SCORE 1897.281
AT ITER 1823 NEW BEST:: SOT 16369 SOS 12269 HAS SOPS 3678 HAS SOUS 2068 HAS SOUPS 1884 WITH SCORE 1896.269
AT ITER 1859 NEW BEST:: SOT 16369 SOS 12268 HAS SOPS 3677 HAS SOUS 2068 HAS SOUPS 1884 WITH SCORE 1896.268
AT ITER 1892 NEW BEST:: SOT 16369 SOS 12266 HAS SOPS 3675 HAS SOUS 2068 HAS SOUPS 1884 WITH SCORE 1896.266
AT ITER 1920 NEW BEST:: SOT 16370 SOS 12265 HAS SOPS 3675 HAS SOUS 2068 HAS SOUPS 1884 WITH SCORE 1896.265
AT ITER 1931 NEW BEST:: SOT 16369 SOS 12263 HAS SOPS 3673 HAS SOUS 2066 HAS SOUPS 1882 WITH SCORE 1894.263
AT ITER 1942 NEW BEST:: SOT 16365 SOS 12233 HAS SOPS 3652 HAS SOUS 2058 HAS SOUPS 1874 WITH SCORE 1886.233
AT ITER 1957 NEW BEST:: SOT 16365 SOS 12231 HAS SOPS 3650 HAS SOUS 2056 HAS SOUPS 1872 WITH SCORE 1884.231
AT ITER 1988 NEW BEST:: SOT 16368 SOS 12228 HAS SOPS 3651 HAS SOUS 2056 HAS SOUPS 1872 WITH SCORE 1884.228
AT ITER 2013 NEW BEST:: SOT 16365 SOS 12221 HAS SOPS 3645 HAS SOUS 2054 HAS SOUPS 1870 WITH SCORE 1882.221
AT ITER 2041 NEW BEST:: SOT 16363 SOS 12220 HAS SOPS 3642 HAS SOUS 2052 HAS SOUPS 1868 WITH SCORE 1880.22
AT ITER 2076 NEW BEST:: SOT 16361 SOS 12219 HAS SOPS 3640 HAS SOUS 2051 HAS SOUPS 1867 WITH SCORE 1879.219
AT ITER 2096 NEW BEST:: SOT 16361 SOS 12216 HAS SOPS 3634 HAS SOUS 2048 HAS SOUPS 1864 WITH SCORE 1876.216
AT ITER 2123 NEW BEST:: SOT 16360 SOS 12216 HAS SOPS 3632 HAS SOUS 2046 HAS SOUPS 1862 WITH SCORE 1874.216
AT ITER 2125 NEW BEST:: SOT 16359 SOS 12212 HAS SOPS 3630 HAS SOUS 2046 HAS SOUPS 1862 WITH SCORE 1874.212
AT ITER 2144 NEW BEST:: SOT 16334 SOS 12188 HAS SOPS 3607 HAS SOUS 2035 HAS SOUPS 1852 WITH SCORE 1864.188
AT ITER 2225 NEW BEST:: SOT 16331 SOS 12185 HAS SOPS 3601 HAS SOUS 2029 HAS SOUPS 1846 WITH SCORE 1858.185
AT ITER 2240 NEW BEST:: SOT 16332 SOS 12176 HAS SOPS 3594 HAS SOUS 2024 HAS SOUPS 1841 WITH SCORE 1853.176
AT ITER 2351 NEW BEST:: SOT 16323 SOS 12170 HAS SOPS 3658 HAS SOUS 2016 HAS SOUPS 1833 WITH SCORE 1845.17
AT ITER 2382 NEW BEST:: SOT 16322 SOS 12169 HAS SOPS 3656 HAS SOUS 2014 HAS SOUPS 1831 WITH SCORE 1843.169
AT ITER 2391 NEW BEST:: SOT 16317 SOS 12162 HAS SOPS 3648 HAS SOUS 2006 HAS SOUPS 1823 WITH SCORE 1835.162
AT ITER 2502 NEW BEST:: SOT 16316 SOS 12160 HAS SOPS 3646 HAS SOUS 2005 HAS SOUPS 1822 WITH SCORE 1834.16
AT ITER 2512 NEW BEST:: SOT 16314 SOS 12159 HAS SOPS 3643 HAS SOUS 2002 HAS SOUPS 1819 WITH SCORE 1831.159
AT ITER 2554 NEW BEST:: SOT 16304 SOS 12160 HAS SOPS 3637 HAS SOUS 2001 HAS SOUPS 1813 WITH SCORE 1825.16
AT ITER 2573 NEW BEST:: SOT 16302 SOS 12160 HAS SOPS 3635 HAS SOUS 1999 HAS SOUPS 1811 WITH SCORE 1823.16
AT ITER 2610 NEW BEST:: SOT 16307 SOS 12165 HAS SOPS 3631 HAS SOUS 1995 HAS SOUPS 1807 WITH SCORE 1819.165
AT ITER 2645 NEW BEST:: SOT 16303 SOS 12157 HAS SOPS 3623 HAS SOUS 1991 HAS SOUPS 1803 WITH SCORE 1815.157
AT ITER 2658 NEW BEST:: SOT 16302 SOS 12147 HAS SOPS 3615 HAS SOUS 1981 HAS SOUPS 1793 WITH SCORE 1805.147
AT ITER 2688 NEW BEST:: SOT 16302 SOS 12135 HAS SOPS 3602 HAS SOUS 1979 HAS SOUPS 1791 WITH SCORE 1803.135
AT ITER 2859 NEW BEST:: SOT 16304 SOS 12133 HAS SOPS 3603 HAS SOUS 1979 HAS SOUPS 1791 WITH SCORE 1803.133
AT ITER 2885 NEW BEST:: SOT 16303 SOS 12132 HAS SOPS 3603 HAS SOUS 1979 HAS SOUPS 1791 WITH SCORE 1803.132
AT ITER 2914 NEW BEST:: SOT 16302 SOS 12143 HAS SOPS 3607 HAS SOUS 1977 HAS SOUPS 1789 WITH SCORE 1801.143
AT ITER 2946 NEW BEST:: SOT 16300 SOS 12145 HAS SOPS 3608 HAS SOUS 1975 HAS SOUPS 1787 WITH SCORE 1799.145
AT ITER 2978 NEW BEST:: SOT 16300 SOS 12142 HAS SOPS 3608 HAS SOUS 1974 HAS SOUPS 1786 WITH SCORE 1798.142
AT ITER 3084 NEW BEST:: SOT 16298 SOS 12140 HAS SOPS 3606 HAS SOUS 1974 HAS SOUPS 1786 WITH SCORE 1798.14
AT ITER 3089 NEW BEST:: SOT 16297 SOS 12149 HAS SOPS 3604 HAS SOUS 1975 HAS SOUPS 1784 WITH SCORE 1796.149
AT ITER 3125 NEW BEST:: SOT 16298 SOS 12151 HAS SOPS 3606 HAS SOUS 1974 HAS SOUPS 1783 WITH SCORE 1795.151
AT ITER 3129 NEW BEST:: SOT 16293 SOS 12141 HAS SOPS 3596 HAS SOUS 1967 HAS SOUPS 1776 WITH SCORE 1788.141
AT ITER 3170 NEW BEST:: SOT 16291 SOS 12142 HAS SOPS 3592 HAS SOUS 1963 HAS SOUPS 1772 WITH SCORE 1784.142
AT ITER 3207 NEW BEST:: SOT 16287 SOS 12135 HAS SOPS 3584 HAS SOUS 1958 HAS SOUPS 1767 WITH SCORE 1779.135
AT ITER 3221 NEW BEST:: SOT 16287 SOS 12131 HAS SOPS 3581 HAS SOUS 1956 HAS SOUPS 1765 WITH SCORE 1777.131
AT ITER 3288 NEW BEST:: SOT 16287 SOS 12129 HAS SOPS 3579 HAS SOUS 1956 HAS SOUPS 1765 WITH SCORE 1777.129
AT ITER 3296 NEW BEST:: SOT 16287 SOS 12129 HAS SOPS 3578 HAS SOUS 1955 HAS SOUPS 1764 WITH SCORE 1776.129
AT ITER 3423 NEW BEST:: SOT 16284 SOS 12123 HAS SOPS 3569 HAS SOUS 1946 HAS SOUPS 1755 WITH SCORE 1767.123
AT ITER 3431 NEW BEST:: SOT 16277 SOS 12115 HAS SOPS 3563 HAS SOUS 1940 HAS SOUPS 1749 WITH SCORE 1761.115
AT ITER 3504 NEW BEST:: SOT 16278 SOS 12077 HAS SOPS 3565 HAS SOUS 1936 HAS SOUPS 1745 WITH SCORE 1757.077
AT ITER 3636 NEW BEST:: SOT 16275 SOS 12071 HAS SOPS 3559 HAS SOUS 1935 HAS SOUPS 1744 WITH SCORE 1756.071
AT ITER 3645 NEW BEST:: SOT 16274 SOS 12071 HAS SOPS 3558 HAS SOUS 1934 HAS SOUPS 1743 WITH SCORE 1755.071
AT ITER 3708 NEW BEST:: SOT 16272 SOS 12069 HAS SOPS 3556 HAS SOUS 1934 HAS SOUPS 1743 WITH SCORE 1755.069
AT ITER 3775 NEW BEST:: SOT 16268 SOS 12062 HAS SOPS 3548 HAS SOUS 1929 HAS SOUPS 1738 WITH SCORE 1750.062
AT ITER 3781 NEW BEST:: SOT 16268 SOS 12060 HAS SOPS 3546 HAS SOUS 1927 HAS SOUPS 1736 WITH SCORE 1748.06
AT ITER 3829 NEW BEST:: SOT 16269 SOS 12061 HAS SOPS 3543 HAS SOUS 1915 HAS SOUPS 1724 WITH SCORE 1736.061
AT ITER 3839 NEW BEST:: SOT 16267 SOS 12058 HAS SOPS 3539 HAS SOUS 1912 HAS SOUPS 1721 WITH SCORE 1733.058
AT ITER 3869 NEW BEST:: SOT 16267 SOS 12057 HAS SOPS 3539 HAS SOUS 1912 HAS SOUPS 1721 WITH SCORE 1733.057
AT ITER 3924 NEW BEST:: SOT 16265 SOS 12055 HAS SOPS 3536 HAS SOUS 1909 HAS SOUPS 1718 WITH SCORE 1730.055
AT ITER 3932 NEW BEST:: SOT 16265 SOS 12054 HAS SOPS 3536 HAS SOUS 1909 HAS SOUPS 1718 WITH SCORE 1730.054
AT ITER 3943 NEW BEST:: SOT 16277 SOS 12078 HAS SOPS 3560 HAS SOUS 1908 HAS SOUPS 1717 WITH SCORE 1729.078
AT ITER 4048 NEW BEST:: SOT 16270 SOS 12065 HAS SOPS 3546 HAS SOUS 1899 HAS SOUPS 1708 WITH SCORE 1720.065
AT ITER 4081 NEW BEST:: SOT 16261 SOS 12056 HAS SOPS 3537 HAS SOUS 1890 HAS SOUPS 1699 WITH SCORE 1711.056
AT ITER 4140 NEW BEST:: SOT 16258 SOS 12050 HAS SOPS 3531 HAS SOUS 1884 HAS SOUPS 1693 WITH SCORE 1705.05
AT ITER 4151 NEW BEST:: SOT 16256 SOS 12046 HAS SOPS 3527 HAS SOUS 1882 HAS SOUPS 1691 WITH SCORE 1703.046
AT ITER 4242 NEW BEST:: SOT 16258 SOS 12049 HAS SOPS 3527 HAS SOUS 1881 HAS SOUPS 1690 WITH SCORE 1702.049
AT ITER 4285 NEW BEST:: SOT 16236 SOS 12026 HAS SOPS 3505 HAS SOUS 1876 HAS SOUPS 1685 WITH SCORE 1697.026
AT ITER 4446 NEW BEST:: SOT 16235 SOS 12026 HAS SOPS 3504 HAS SOUS 1875 HAS SOUPS 1684 WITH SCORE 1696.026
AT ITER 4492 NEW BEST:: SOT 16227 SOS 12015 HAS SOPS 3491 HAS SOUS 1867 HAS SOUPS 1676 WITH SCORE 1688.015
AT ITER 4550 NEW BEST:: SOT 16226 SOS 12011 HAS SOPS 3489 HAS SOUS 1865 HAS SOUPS 1674 WITH SCORE 1686.011
AT ITER 4593 NEW BEST:: SOT 16225 SOS 12008 HAS SOPS 3485 HAS SOUS 1862 HAS SOUPS 1671 WITH SCORE 1683.008
AT ITER 4693 NEW BEST:: SOT 16217 SOS 12000 HAS SOPS 3496 HAS SOUS 1861 HAS SOUPS 1670 WITH SCORE 1682.0
AT ITER 4723 NEW BEST:: SOT 16214 SOS 11994 HAS SOPS 3490 HAS SOUS 1855 HAS SOUPS 1664 WITH SCORE 1675.994
AT ITER 4732 NEW BEST:: SOT 16212 SOS 11992 HAS SOPS 3486 HAS SOUS 1851 HAS SOUPS 1660 WITH SCORE 1671.992
AT ITER 4760 NEW BEST:: SOT 16211 SOS 11991 HAS SOPS 3484 HAS SOUS 1848 HAS SOUPS 1657 WITH SCORE 1668.991
AT ITER 5005 NEW BEST:: SOT 16211 SOS 11991 HAS SOPS 3484 HAS SOUS 1847 HAS SOUPS 1656 WITH SCORE 1667.991
AT ITER 5045 NEW BEST:: SOT 16212 SOS 11990 HAS SOPS 3482 HAS SOUS 1846 HAS SOUPS 1654 WITH SCORE 1665.99
AT ITER 5051 NEW BEST:: SOT 16213 SOS 11987 HAS SOPS 3479 HAS SOUS 1843 HAS SOUPS 1651 WITH SCORE 1662.987
AT ITER 5068 NEW BEST:: SOT 16213 SOS 11759 HAS SOPS 3479 HAS SOUS 1841 HAS SOUPS 1651 WITH SCORE 1662.759
AT ITER 5114 NEW BEST:: SOT 16212 SOS 11756 HAS SOPS 3475 HAS SOUS 1837 HAS SOUPS 1647 WITH SCORE 1658.756
AT ITER 5486 NEW BEST:: SOT 16210 SOS 11753 HAS SOPS 3471 HAS SOUS 1829 HAS SOUPS 1639 WITH SCORE 1650.753
AT ITER 5516 NEW BEST:: SOT 16210 SOS 11751 HAS SOPS 3470 HAS SOUS 1828 HAS SOUPS 1638 WITH SCORE 1649.751
AT ITER 5702 NEW BEST:: SOT 16208 SOS 11749 HAS SOPS 3468 HAS SOUS 1826 HAS SOUPS 1636 WITH SCORE 1647.749
AT ITER 5759 NEW BEST:: SOT 16210 SOS 11750 HAS SOPS 3468 HAS SOUS 1824 HAS SOUPS 1634 WITH SCORE 1645.75
AT ITER 5765 NEW BEST:: SOT 16210 SOS 11749 HAS SOPS 3467 HAS SOUS 1823 HAS SOUPS 1633 WITH SCORE 1644.749
AT ITER 5858 NEW BEST:: SOT 16209 SOS 11749 HAS SOPS 3466 HAS SOUS 1822 HAS SOUPS 1632 WITH SCORE 1643.749
AT ITER 5943 NEW BEST:: SOT 16207 SOS 11746 HAS SOPS 3462 HAS SOUS 1819 HAS SOUPS 1629 WITH SCORE 1640.746
AT ITER 5957 NEW BEST:: SOT 16207 SOS 11747 HAS SOPS 3462 HAS SOUS 1818 HAS SOUPS 1628 WITH SCORE 1639.747
AT ITER 6000 NEW BEST:: SOT 16204 SOS 11736 HAS SOPS 3446 HAS SOUS 1804 HAS SOUPS 1614 WITH SCORE 1625.736
AT ITER 6152 NEW BEST:: SOT 16204 SOS 11735 HAS SOPS 3444 HAS SOUS 1803 HAS SOUPS 1613 WITH SCORE 1624.735
AT ITER 6175 NEW BEST:: SOT 16205 SOS 11733 HAS SOPS 3442 HAS SOUS 1801 HAS SOUPS 1611 WITH SCORE 1622.733
AT ITER 6307 NEW BEST:: SOT 16203 SOS 11730 HAS SOPS 3439 HAS SOUS 1799 HAS SOUPS 1609 WITH SCORE 1620.73
AT ITER 6338 NEW BEST:: SOT 16202 SOS 11729 HAS SOPS 3437 HAS SOUS 1797 HAS SOUPS 1607 WITH SCORE 1618.729
AT ITER 6413 NEW BEST:: SOT 16201 SOS 11728 HAS SOPS 3437 HAS SOUS 1797 HAS SOUPS 1607 WITH SCORE 1618.728
AT ITER 6433 NEW BEST:: SOT 16201 SOS 11729 HAS SOPS 3437 HAS SOUS 1796 HAS SOUPS 1606 WITH SCORE 1617.729
AT ITER 6486 NEW BEST:: SOT 16202 SOS 11735 HAS SOPS 3439 HAS SOUS 1795 HAS SOUPS 1605 WITH SCORE 1616.735
AT ITER 6563 NEW BEST:: SOT 16202 SOS 11726 HAS SOPS 3439 HAS SOUS 1795 HAS SOUPS 1605 WITH SCORE 1616.726
AT ITER 6621 NEW BEST:: SOT 16200 SOS 11720 HAS SOPS 3435 HAS SOUS 1791 HAS SOUPS 1601 WITH SCORE 1612.72
AT ITER 6627 NEW BEST:: SOT 16198 SOS 11713 HAS SOPS 3431 HAS SOUS 1787 HAS SOUPS 1597 WITH SCORE 1608.713
AT ITER 6713 NEW BEST:: SOT 16198 SOS 11714 HAS SOPS 3431 HAS SOUS 1786 HAS SOUPS 1596 WITH SCORE 1607.714
AT ITER 6723 NEW BEST:: SOT 16197 SOS 11717 HAS SOPS 3435 HAS SOUS 1785 HAS SOUPS 1595 WITH SCORE 1606.717
AT ITER 6734 NEW BEST:: SOT 16178 SOS 11683 HAS SOPS 3397 HAS SOUS 1758 HAS SOUPS 1568 WITH SCORE 1579.683
AT ITER 6919 NEW BEST:: SOT 16176 SOS 11677 HAS SOPS 3391 HAS SOUS 1754 HAS SOUPS 1564 WITH SCORE 1575.677
AT ITER 6991 NEW BEST:: SOT 16175 SOS 11675 HAS SOPS 3389 HAS SOUS 1753 HAS SOUPS 1563 WITH SCORE 1574.675
AT ITER 6997 NEW BEST:: SOT 16171 SOS 11671 HAS SOPS 3385 HAS SOUS 1752 HAS SOUPS 1562 WITH SCORE 1573.671
AT ITER 7065 NEW BEST:: SOT 16169 SOS 11670 HAS SOPS 3384 HAS SOUS 1751 HAS SOUPS 1561 WITH SCORE 1572.67
AT ITER 7103 NEW BEST:: SOT 16168 SOS 11669 HAS SOPS 3383 HAS SOUS 1750 HAS SOUPS 1560 WITH SCORE 1571.669
AT ITER 7270 NEW BEST:: SOT 16167 SOS 11669 HAS SOPS 3381 HAS SOUS 1748 HAS SOUPS 1558 WITH SCORE 1569.669
AT ITER 7300 NEW BEST:: SOT 16166 SOS 11668 HAS SOPS 3379 HAS SOUS 1746 HAS SOUPS 1556 WITH SCORE 1567.668
AT ITER 7302 NEW BEST:: SOT 16166 SOS 11667 HAS SOPS 3379 HAS SOUS 1746 HAS SOUPS 1556 WITH SCORE 1567.667
AT ITER 7666 NEW BEST:: SOT 16166 SOS 11666 HAS SOPS 3378 HAS SOUS 1745 HAS SOUPS 1555 WITH SCORE 1566.666
AT ITER 7761 NEW BEST:: SOT 16166 SOS 11665 HAS SOPS 3378 HAS SOUS 1745 HAS SOUPS 1555 WITH SCORE 1566.665
AT ITER 8152 NEW BEST:: SOT 16161 SOS 11667 HAS SOPS 3372 HAS SOUS 1739 HAS SOUPS 1549 WITH SCORE 1560.667
AT ITER 8325 NEW BEST:: SOT 16160 SOS 11665 HAS SOPS 3370 HAS SOUS 1737 HAS SOUPS 1547 WITH SCORE 1558.665
AT ITER 8351 NEW BEST:: SOT 16160 SOS 11660 HAS SOPS 3370 HAS SOUS 1737 HAS SOUPS 1547 WITH SCORE 1558.66
AT ITER 8438 NEW BEST:: SOT 16158 SOS 11657 HAS SOPS 3366 HAS SOUS 1733 HAS SOUPS 1543 WITH SCORE 1554.657
AT ITER 8573 NEW BEST:: SOT 16162 SOS 11660 HAS SOPS 3360 HAS SOUS 1732 HAS SOUPS 1542 WITH SCORE 1553.66
AT ITER 8814 NEW BEST:: SOT 16154 SOS 11651 HAS SOPS 3371 HAS SOUS 1730 HAS SOUPS 1540 WITH SCORE 1551.651
AT ITER 8984 NEW BEST:: SOT 16153 SOS 11647 HAS SOPS 3366 HAS SOUS 1724 HAS SOUPS 1534 WITH SCORE 1545.647
AT ITER 9226 NEW BEST:: SOT 16151 SOS 11643 HAS SOPS 3360 HAS SOUS 1720 HAS SOUPS 1530 WITH SCORE 1541.643
AT ITER 9352 NEW BEST:: SOT 16148 SOS 11644 HAS SOPS 3358 HAS SOUS 1718 HAS SOUPS 1528 WITH SCORE 1539.644
AT ITER 9525 NEW BEST:: SOT 16148 SOS 11644 HAS SOPS 3357 HAS SOUS 1716 HAS SOUPS 1526 WITH SCORE 1537.644
STATE_SPACE STATES 429981697 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 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 5201584129 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678450998078

--------------------
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="FlexibleBarrier-PT-08a"
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 FlexibleBarrier-PT-08a, 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 r163-tall-167838847800480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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