Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972400296.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-08a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.3K Apr 4 18:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 4 18:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 4 06:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 06:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 3 21:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 3 13:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 3 13:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 64K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589405508808

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 08a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 5 NEW BEST:: SOT 19137 SOS 14887 HAS SOPS 14887 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9504.887
AT ITER 8 NEW BEST:: SOT 19037 SOS 14766 HAS SOPS 14766 HAS SOUS 9160 HAS SOUPS 9160 WITH SCORE 9174.766
AT ITER 9 NEW BEST:: SOT 19029 SOS 14758 HAS SOPS 14758 HAS SOUS 9152 HAS SOUPS 9152 WITH SCORE 9166.758
AT ITER 10 NEW BEST:: SOT 19031 SOS 14667 HAS SOPS 14667 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9077.667
AT ITER 14 NEW BEST:: SOT 19049 SOS 14598 HAS SOPS 14598 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8448.598
AT ITER 15 NEW BEST:: SOT 19063 SOS 14626 HAS SOPS 14626 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8445.626
AT ITER 17 NEW BEST:: SOT 19087 SOS 14506 HAS SOPS 14506 HAS SOUS 8215 HAS SOUPS 8215 WITH SCORE 8229.506
AT ITER 20 NEW BEST:: SOT 18524 SOS 14622 HAS SOPS 13943 HAS SOUS 7738 HAS SOUPS 7698 WITH SCORE 7712.622
AT ITER 21 NEW BEST:: SOT 18486 SOS 14540 HAS SOPS 13823 HAS SOUS 7634 HAS SOUPS 7578 WITH SCORE 7592.54
AT ITER 22 NEW BEST:: SOT 18484 SOS 14122 HAS SOPS 13466 HAS SOUS 7146 HAS SOUPS 7106 WITH SCORE 7120.122
AT ITER 24 NEW BEST:: SOT 18484 SOS 14114 HAS SOPS 13458 HAS SOUS 7138 HAS SOUPS 7098 WITH SCORE 7112.114
AT ITER 25 NEW BEST:: SOT 18478 SOS 14074 HAS SOPS 13412 HAS SOUS 7111 HAS SOUPS 7052 WITH SCORE 7066.074
AT ITER 31 NEW BEST:: SOT 18477 SOS 14064 HAS SOPS 13402 HAS SOUS 7110 HAS SOUPS 7051 WITH SCORE 7065.064
AT ITER 34 NEW BEST:: SOT 18481 SOS 14062 HAS SOPS 13341 HAS SOUS 7052 HAS SOUPS 6990 WITH SCORE 7004.062
AT ITER 38 NEW BEST:: SOT 18482 SOS 14065 HAS SOPS 13343 HAS SOUS 7051 HAS SOUPS 6989 WITH SCORE 7003.065
AT ITER 40 NEW BEST:: SOT 18485 SOS 14032 HAS SOPS 13313 HAS SOUS 7018 HAS SOUPS 6956 WITH SCORE 6970.032
AT ITER 43 NEW BEST:: SOT 18243 SOS 13553 HAS SOPS 12829 HAS SOUS 6851 HAS SOUPS 6784 WITH SCORE 6797.553
AT ITER 49 NEW BEST:: SOT 18158 SOS 13287 HAS SOPS 12563 HAS SOUS 6718 HAS SOUPS 6651 WITH SCORE 6664.287
AT ITER 50 NEW BEST:: SOT 18124 SOS 13219 HAS SOPS 12473 HAS SOUS 6628 HAS SOUPS 6561 WITH SCORE 6574.219
AT ITER 51 NEW BEST:: SOT 18013 SOS 13122 HAS SOPS 12362 HAS SOUS 6603 HAS SOUPS 6536 WITH SCORE 6549.122
AT ITER 52 NEW BEST:: SOT 18008 SOS 13118 HAS SOPS 12359 HAS SOUS 6592 HAS SOUPS 6526 WITH SCORE 6539.118
AT ITER 54 NEW BEST:: SOT 18008 SOS 13093 HAS SOPS 12334 HAS SOUS 6567 HAS SOUPS 6501 WITH SCORE 6514.093
AT ITER 55 NEW BEST:: SOT 18008 SOS 13043 HAS SOPS 12308 HAS SOUS 6543 HAS SOUPS 6477 WITH SCORE 6490.043
AT ITER 61 NEW BEST:: SOT 18006 SOS 13030 HAS SOPS 12304 HAS SOUS 6533 HAS SOUPS 6467 WITH SCORE 6480.03
AT ITER 62 NEW BEST:: SOT 18061 SOS 13126 HAS SOPS 12400 HAS SOUS 6520 HAS SOUPS 6454 WITH SCORE 6467.126
AT ITER 67 NEW BEST:: SOT 18077 SOS 12826 HAS SOPS 12119 HAS SOUS 6405 HAS SOUPS 6339 WITH SCORE 6351.826
AT ITER 72 NEW BEST:: SOT 17968 SOS 12717 HAS SOPS 12010 HAS SOUS 6352 HAS SOUPS 6286 WITH SCORE 6298.717
AT ITER 73 NEW BEST:: SOT 17913 SOS 12613 HAS SOPS 11885 HAS SOUS 6248 HAS SOUPS 6182 WITH SCORE 6194.613
AT ITER 74 NEW BEST:: SOT 17913 SOS 12601 HAS SOPS 11877 HAS SOUS 6217 HAS SOUPS 6154 WITH SCORE 6166.601
AT ITER 76 NEW BEST:: SOT 17892 SOS 12561 HAS SOPS 11826 HAS SOUS 6180 HAS SOUPS 6117 WITH SCORE 6129.561
AT ITER 78 NEW BEST:: SOT 17912 SOS 11935 HAS SOPS 11220 HAS SOUS 5982 HAS SOUPS 5919 WITH SCORE 5930.935
AT ITER 80 NEW BEST:: SOT 17912 SOS 11930 HAS SOPS 11215 HAS SOUS 5977 HAS SOUPS 5914 WITH SCORE 5925.93
AT ITER 83 NEW BEST:: SOT 17912 SOS 11930 HAS SOPS 11215 HAS SOUS 5973 HAS SOUPS 5910 WITH SCORE 5921.93
AT ITER 86 NEW BEST:: SOT 17909 SOS 11944 HAS SOPS 11201 HAS SOUS 5963 HAS SOUPS 5893 WITH SCORE 5904.944
AT ITER 89 NEW BEST:: SOT 17909 SOS 11808 HAS SOPS 11065 HAS SOUS 5953 HAS SOUPS 5883 WITH SCORE 5894.808
AT ITER 93 NEW BEST:: SOT 17911 SOS 11774 HAS SOPS 11031 HAS SOUS 5924 HAS SOUPS 5854 WITH SCORE 5865.774
AT ITER 94 NEW BEST:: SOT 17911 SOS 11738 HAS SOPS 10995 HAS SOUS 5888 HAS SOUPS 5818 WITH SCORE 5829.738
AT ITER 101 NEW BEST:: SOT 17910 SOS 11735 HAS SOPS 10992 HAS SOUS 5885 HAS SOUPS 5815 WITH SCORE 5826.735
AT ITER 106 NEW BEST:: SOT 17923 SOS 11746 HAS SOPS 10985 HAS SOUS 5878 HAS SOUPS 5808 WITH SCORE 5819.746
AT ITER 108 NEW BEST:: SOT 17916 SOS 11699 HAS SOPS 10932 HAS SOUS 5825 HAS SOUPS 5755 WITH SCORE 5766.699
AT ITER 110 NEW BEST:: SOT 17897 SOS 11547 HAS SOPS 10780 HAS SOUS 5527 HAS SOUPS 5457 WITH SCORE 5468.547
AT ITER 111 NEW BEST:: SOT 17945 SOS 11371 HAS SOPS 10630 HAS SOUS 5524 HAS SOUPS 5454 WITH SCORE 5465.371
AT ITER 116 NEW BEST:: SOT 17937 SOS 11358 HAS SOPS 10614 HAS SOUS 5508 HAS SOUPS 5438 WITH SCORE 5449.358
AT ITER 122 NEW BEST:: SOT 17910 SOS 11263 HAS SOPS 10487 HAS SOUS 5455 HAS SOUPS 5385 WITH SCORE 5396.263
AT ITER 125 NEW BEST:: SOT 17883 SOS 10878 HAS SOPS 10109 HAS SOUS 5055 HAS SOUPS 4985 WITH SCORE 4995.878
AT ITER 127 NEW BEST:: SOT 17883 SOS 10830 HAS SOPS 10069 HAS SOUS 4967 HAS SOUPS 4897 WITH SCORE 4907.83
AT ITER 129 NEW BEST:: SOT 17671 SOS 10634 HAS SOPS 9857 HAS SOUS 4862 HAS SOUPS 4784 WITH SCORE 4794.634
AT ITER 132 NEW BEST:: SOT 17681 SOS 10639 HAS SOPS 9840 HAS SOUS 4844 HAS SOUPS 4766 WITH SCORE 4776.639
AT ITER 134 NEW BEST:: SOT 17675 SOS 10621 HAS SOPS 9822 HAS SOUS 4826 HAS SOUPS 4748 WITH SCORE 4758.621
AT ITER 137 NEW BEST:: SOT 17675 SOS 10569 HAS SOPS 9770 HAS SOUS 4826 HAS SOUPS 4748 WITH SCORE 4758.569
AT ITER 138 NEW BEST:: SOT 17692 SOS 10538 HAS SOPS 9775 HAS SOUS 4826 HAS SOUPS 4748 WITH SCORE 4758.538
AT ITER 141 NEW BEST:: SOT 17700 SOS 10509 HAS SOPS 9705 HAS SOUS 4757 HAS SOUPS 4679 WITH SCORE 4689.509
AT ITER 145 NEW BEST:: SOT 17697 SOS 10507 HAS SOPS 9699 HAS SOUS 4751 HAS SOUPS 4673 WITH SCORE 4683.507
AT ITER 150 NEW BEST:: SOT 17518 SOS 10309 HAS SOPS 9501 HAS SOUS 4648 HAS SOUPS 4570 WITH SCORE 4580.309
AT ITER 155 NEW BEST:: SOT 17171 SOS 10239 HAS SOPS 9145 HAS SOUS 4555 HAS SOUPS 4454 WITH SCORE 4464.239
AT ITER 158 NEW BEST:: SOT 17181 SOS 9981 HAS SOPS 8889 HAS SOUS 4529 HAS SOUPS 4428 WITH SCORE 4437.981
AT ITER 164 NEW BEST:: SOT 17043 SOS 9837 HAS SOPS 8745 HAS SOUS 4444 HAS SOUPS 4343 WITH SCORE 4352.837
AT ITER 182 NEW BEST:: SOT 16861 SOS 9659 HAS SOPS 8597 HAS SOUS 4379 HAS SOUPS 4278 WITH SCORE 4287.659
AT ITER 184 NEW BEST:: SOT 16853 SOS 9613 HAS SOPS 8539 HAS SOUS 4342 HAS SOUPS 4241 WITH SCORE 4250.613
AT ITER 185 NEW BEST:: SOT 17282 SOS 9723 HAS SOPS 8411 HAS SOUS 4171 HAS SOUPS 4070 WITH SCORE 4079.723
AT ITER 186 NEW BEST:: SOT 17348 SOS 9749 HAS SOPS 8437 HAS SOUS 4149 HAS SOUPS 4048 WITH SCORE 4057.749
AT ITER 188 NEW BEST:: SOT 17339 SOS 9747 HAS SOPS 8426 HAS SOUS 4145 HAS SOUPS 4044 WITH SCORE 4053.747
AT ITER 199 NEW BEST:: SOT 17317 SOS 9725 HAS SOPS 8404 HAS SOUS 4123 HAS SOUPS 4022 WITH SCORE 4031.725
AT ITER 210 NEW BEST:: SOT 17273 SOS 9625 HAS SOPS 8285 HAS SOUS 4032 HAS SOUPS 3931 WITH SCORE 3940.625
AT ITER 212 NEW BEST:: SOT 17271 SOS 9621 HAS SOPS 8278 HAS SOUS 4022 HAS SOUPS 3921 WITH SCORE 3930.621
AT ITER 213 NEW BEST:: SOT 17268 SOS 9561 HAS SOPS 8218 HAS SOUS 4004 HAS SOUPS 3903 WITH SCORE 3912.561
AT ITER 214 NEW BEST:: SOT 17268 SOS 9400 HAS SOPS 8064 HAS SOUS 3976 HAS SOUPS 3875 WITH SCORE 3884.4
AT ITER 216 NEW BEST:: SOT 17177 SOS 9309 HAS SOPS 7973 HAS SOUS 3930 HAS SOUPS 3829 WITH SCORE 3838.309
AT ITER 218 NEW BEST:: SOT 17173 SOS 9245 HAS SOPS 7935 HAS SOUS 3924 HAS SOUPS 3823 WITH SCORE 3832.245
AT ITER 226 NEW BEST:: SOT 17187 SOS 8979 HAS SOPS 7677 HAS SOUS 3920 HAS SOUPS 3819 WITH SCORE 3827.979
AT ITER 231 NEW BEST:: SOT 17177 SOS 8949 HAS SOPS 7647 HAS SOUS 3880 HAS SOUPS 3779 WITH SCORE 3787.949
AT ITER 232 NEW BEST:: SOT 17148 SOS 8931 HAS SOPS 7609 HAS SOUS 3842 HAS SOUPS 3741 WITH SCORE 3749.931
AT ITER 238 NEW BEST:: SOT 17140 SOS 8923 HAS SOPS 7601 HAS SOUS 3834 HAS SOUPS 3733 WITH SCORE 3741.923
AT ITER 243 NEW BEST:: SOT 17125 SOS 8893 HAS SOPS 7571 HAS SOUS 3831 HAS SOUPS 3730 WITH SCORE 3738.893
AT ITER 249 NEW BEST:: SOT 17125 SOS 8901 HAS SOPS 7571 HAS SOUS 3830 HAS SOUPS 3729 WITH SCORE 3737.901
AT ITER 268 NEW BEST:: SOT 17122 SOS 8900 HAS SOPS 7570 HAS SOUS 3827 HAS SOUPS 3726 WITH SCORE 3734.9
AT ITER 269 NEW BEST:: SOT 17122 SOS 8869 HAS SOPS 7548 HAS SOUS 3814 HAS SOUPS 3713 WITH SCORE 3721.869
AT ITER 281 NEW BEST:: SOT 17096 SOS 8843 HAS SOPS 7548 HAS SOUS 3814 HAS SOUPS 3713 WITH SCORE 3721.843
AT ITER 283 NEW BEST:: SOT 17065 SOS 9019 HAS SOPS 7492 HAS SOUS 3787 HAS SOUPS 3678 WITH SCORE 3687.019
AT ITER 300 NEW BEST:: SOT 17061 SOS 8647 HAS SOPS 7120 HAS SOUS 3773 HAS SOUPS 3664 WITH SCORE 3672.647
AT ITER 302 NEW BEST:: SOT 16936 SOS 8516 HAS SOPS 6989 HAS SOUS 3706 HAS SOUPS 3597 WITH SCORE 3605.516
AT ITER 303 NEW BEST:: SOT 16932 SOS 8418 HAS SOPS 6927 HAS SOUS 3685 HAS SOUPS 3576 WITH SCORE 3584.418
AT ITER 306 NEW BEST:: SOT 16819 SOS 12645 HAS SOPS 6722 HAS SOUS 3701 HAS SOUPS 3537 WITH SCORE 3549.645
AT ITER 308 NEW BEST:: SOT 16894 SOS 12671 HAS SOPS 6401 HAS SOUS 3577 HAS SOUPS 3413 WITH SCORE 3425.671
AT ITER 336 NEW BEST:: SOT 16897 SOS 12671 HAS SOPS 6374 HAS SOUS 3553 HAS SOUPS 3389 WITH SCORE 3401.671
AT ITER 338 NEW BEST:: SOT 16901 SOS 12675 HAS SOPS 6294 HAS SOUS 3549 HAS SOUPS 3385 WITH SCORE 3397.675
AT ITER 344 NEW BEST:: SOT 16909 SOS 12689 HAS SOPS 6178 HAS SOUS 3535 HAS SOUPS 3371 WITH SCORE 3383.689
AT ITER 345 NEW BEST:: SOT 16923 SOS 12604 HAS SOPS 6122 HAS SOUS 3502 HAS SOUPS 3338 WITH SCORE 3350.604
AT ITER 356 NEW BEST:: SOT 16974 SOS 12642 HAS SOPS 6109 HAS SOUS 3479 HAS SOUPS 3315 WITH SCORE 3327.642
AT ITER 363 NEW BEST:: SOT 16957 SOS 12613 HAS SOPS 6075 HAS SOUS 3452 HAS SOUPS 3288 WITH SCORE 3300.613
AT ITER 371 NEW BEST:: SOT 16940 SOS 12596 HAS SOPS 6041 HAS SOUS 3418 HAS SOUPS 3254 WITH SCORE 3266.596
AT ITER 375 NEW BEST:: SOT 16892 SOS 12540 HAS SOPS 6093 HAS SOUS 3417 HAS SOUPS 3253 WITH SCORE 3265.54
AT ITER 379 NEW BEST:: SOT 16877 SOS 12503 HAS SOPS 6063 HAS SOUS 3387 HAS SOUPS 3223 WITH SCORE 3235.503
AT ITER 393 NEW BEST:: SOT 16867 SOS 12485 HAS SOPS 6043 HAS SOUS 3367 HAS SOUPS 3203 WITH SCORE 3215.485
AT ITER 402 NEW BEST:: SOT 16857 SOS 12465 HAS SOPS 6013 HAS SOUS 3347 HAS SOUPS 3183 WITH SCORE 3195.465
AT ITER 406 NEW BEST:: SOT 16835 SOS 12438 HAS SOPS 5986 HAS SOUS 3317 HAS SOUPS 3153 WITH SCORE 3165.438
AT ITER 408 NEW BEST:: SOT 16800 SOS 12397 HAS SOPS 5938 HAS SOUS 3282 HAS SOUPS 3118 WITH SCORE 3130.397
AT ITER 441 NEW BEST:: SOT 16798 SOS 12609 HAS SOPS 5919 HAS SOUS 3288 HAS SOUPS 3117 WITH SCORE 3129.609
AT ITER 442 NEW BEST:: SOT 16803 SOS 12619 HAS SOPS 5929 HAS SOUS 3282 HAS SOUPS 3111 WITH SCORE 3123.619
AT ITER 444 NEW BEST:: SOT 16664 SOS 12471 HAS SOPS 5775 HAS SOUS 3181 HAS SOUPS 3010 WITH SCORE 3022.471
AT ITER 465 NEW BEST:: SOT 16586 SOS 12393 HAS SOPS 5697 HAS SOUS 3145 HAS SOUPS 2974 WITH SCORE 2986.393
AT ITER 470 NEW BEST:: SOT 16587 SOS 12422 HAS SOPS 5699 HAS SOUS 3100 HAS SOUPS 2929 WITH SCORE 2941.422
AT ITER 505 NEW BEST:: SOT 16586 SOS 12419 HAS SOPS 5696 HAS SOUS 3098 HAS SOUPS 2927 WITH SCORE 2939.419
AT ITER 512 NEW BEST:: SOT 16604 SOS 12371 HAS SOPS 5671 HAS SOUS 3084 HAS SOUPS 2913 WITH SCORE 2925.371
AT ITER 513 NEW BEST:: SOT 16587 SOS 12287 HAS SOPS 5602 HAS SOUS 3050 HAS SOUPS 2879 WITH SCORE 2891.287
AT ITER 516 NEW BEST:: SOT 16591 SOS 12279 HAS SOPS 5598 HAS SOUS 3046 HAS SOUPS 2875 WITH SCORE 2887.279
AT ITER 521 NEW BEST:: SOT 16585 SOS 12266 HAS SOPS 5581 HAS SOUS 3029 HAS SOUPS 2858 WITH SCORE 2870.266
AT ITER 522 NEW BEST:: SOT 16585 SOS 12250 HAS SOPS 5573 HAS SOUS 3029 HAS SOUPS 2858 WITH SCORE 2870.25
AT ITER 525 NEW BEST:: SOT 16581 SOS 12255 HAS SOPS 5569 HAS SOUS 3020 HAS SOUPS 2849 WITH SCORE 2861.255
AT ITER 530 NEW BEST:: SOT 16555 SOS 12243 HAS SOPS 5535 HAS SOUS 3008 HAS SOUPS 2832 WITH SCORE 2844.243
AT ITER 538 NEW BEST:: SOT 16555 SOS 12238 HAS SOPS 5530 HAS SOUS 2998 HAS SOUPS 2822 WITH SCORE 2834.238
AT ITER 569 NEW BEST:: SOT 16546 SOS 12234 HAS SOPS 5517 HAS SOUS 2987 HAS SOUPS 2811 WITH SCORE 2823.234
AT ITER 583 NEW BEST:: SOT 16540 SOS 12222 HAS SOPS 5505 HAS SOUS 2968 HAS SOUPS 2792 WITH SCORE 2804.222
AT ITER 588 NEW BEST:: SOT 16537 SOS 12216 HAS SOPS 5471 HAS SOUS 2946 HAS SOUPS 2770 WITH SCORE 2782.216
AT ITER 592 NEW BEST:: SOT 16461 SOS 12149 HAS SOPS 5404 HAS SOUS 2918 HAS SOUPS 2742 WITH SCORE 2754.149
AT ITER 634 NEW BEST:: SOT 16459 SOS 12139 HAS SOPS 5386 HAS SOUS 2908 HAS SOUPS 2732 WITH SCORE 2744.139
AT ITER 651 NEW BEST:: SOT 16455 SOS 12109 HAS SOPS 5359 HAS SOUS 2879 HAS SOUPS 2708 WITH SCORE 2720.109
AT ITER 658 NEW BEST:: SOT 16451 SOS 12098 HAS SOPS 5351 HAS SOUS 2875 HAS SOUPS 2704 WITH SCORE 2716.098
AT ITER 666 NEW BEST:: SOT 16451 SOS 12096 HAS SOPS 5349 HAS SOUS 2871 HAS SOUPS 2700 WITH SCORE 2712.096
AT ITER 681 NEW BEST:: SOT 16426 SOS 12071 HAS SOPS 5325 HAS SOUS 2859 HAS SOUPS 2689 WITH SCORE 2701.071
AT ITER 682 NEW BEST:: SOT 16421 SOS 12066 HAS SOPS 5320 HAS SOUS 2854 HAS SOUPS 2684 WITH SCORE 2696.066
AT ITER 691 NEW BEST:: SOT 16499 SOS 12130 HAS SOPS 5124 HAS SOUS 2849 HAS SOUPS 2679 WITH SCORE 2691.13
AT ITER 716 NEW BEST:: SOT 16499 SOS 12132 HAS SOPS 5124 HAS SOUS 2845 HAS SOUPS 2675 WITH SCORE 2687.132
AT ITER 728 NEW BEST:: SOT 16496 SOS 12129 HAS SOPS 5118 HAS SOUS 2839 HAS SOUPS 2669 WITH SCORE 2681.129
AT ITER 730 NEW BEST:: SOT 16490 SOS 12141 HAS SOPS 5125 HAS SOUS 2836 HAS SOUPS 2661 WITH SCORE 2673.141
AT ITER 740 NEW BEST:: SOT 16486 SOS 12137 HAS SOPS 5117 HAS SOUS 2828 HAS SOUPS 2653 WITH SCORE 2665.137
AT ITER 741 NEW BEST:: SOT 16481 SOS 12122 HAS SOPS 5102 HAS SOUS 2818 HAS SOUPS 2643 WITH SCORE 2655.122
AT ITER 743 NEW BEST:: SOT 16477 SOS 12118 HAS SOPS 5098 HAS SOUS 2814 HAS SOUPS 2639 WITH SCORE 2651.118
AT ITER 746 NEW BEST:: SOT 16477 SOS 12339 HAS SOPS 5088 HAS SOUS 2812 HAS SOUPS 2631 WITH SCORE 2643.339
AT ITER 763 NEW BEST:: SOT 16486 SOS 12357 HAS SOPS 5106 HAS SOUS 2808 HAS SOUPS 2627 WITH SCORE 2639.357
AT ITER 784 NEW BEST:: SOT 16471 SOS 12357 HAS SOPS 5090 HAS SOUS 2791 HAS SOUPS 2610 WITH SCORE 2622.357
AT ITER 789 NEW BEST:: SOT 16469 SOS 12355 HAS SOPS 5086 HAS SOUS 2783 HAS SOUPS 2602 WITH SCORE 2614.355
AT ITER 790 NEW BEST:: SOT 16456 SOS 12333 HAS SOPS 5060 HAS SOUS 2765 HAS SOUPS 2584 WITH SCORE 2596.333
AT ITER 808 NEW BEST:: SOT 16456 SOS 12329 HAS SOPS 5056 HAS SOUS 2761 HAS SOUPS 2580 WITH SCORE 2592.329
AT ITER 829 NEW BEST:: SOT 16455 SOS 12328 HAS SOPS 5054 HAS SOUS 2759 HAS SOUPS 2578 WITH SCORE 2590.328
AT ITER 840 NEW BEST:: SOT 16448 SOS 12317 HAS SOPS 5040 HAS SOUS 2748 HAS SOUPS 2567 WITH SCORE 2579.317
AT ITER 847 NEW BEST:: SOT 16373 SOS 12251 HAS SOPS 4976 HAS SOUS 2728 HAS SOUPS 2547 WITH SCORE 2559.251
AT ITER 908 NEW BEST:: SOT 16373 SOS 12246 HAS SOPS 4976 HAS SOUS 2728 HAS SOUPS 2547 WITH SCORE 2559.246
AT ITER 929 NEW BEST:: SOT 16332 SOS 12204 HAS SOPS 4934 HAS SOUS 2711 HAS SOUPS 2530 WITH SCORE 2542.204
AT ITER 944 NEW BEST:: SOT 16299 SOS 12171 HAS SOPS 4901 HAS SOUS 2696 HAS SOUPS 2515 WITH SCORE 2527.171
AT ITER 971 NEW BEST:: SOT 16296 SOS 12171 HAS SOPS 4898 HAS SOUS 2693 HAS SOUPS 2512 WITH SCORE 2524.171
AT ITER 976 NEW BEST:: SOT 16282 SOS 12171 HAS SOPS 4884 HAS SOUS 2683 HAS SOUPS 2502 WITH SCORE 2514.171
AT ITER 987 NEW BEST:: SOT 16281 SOS 12169 HAS SOPS 4882 HAS SOUS 2681 HAS SOUPS 2500 WITH SCORE 2512.169
AT ITER 997 NEW BEST:: SOT 16280 SOS 12167 HAS SOPS 4880 HAS SOUS 2679 HAS SOUPS 2498 WITH SCORE 2510.167
AT ITER 1008 NEW BEST:: SOT 16280 SOS 12164 HAS SOPS 4877 HAS SOUS 2676 HAS SOUPS 2495 WITH SCORE 2507.164
AT ITER 1023 NEW BEST:: SOT 16255 SOS 12138 HAS SOPS 4743 HAS SOUS 2633 HAS SOUPS 2452 WITH SCORE 2464.138
AT ITER 1032 NEW BEST:: SOT 16251 SOS 12104 HAS SOPS 4715 HAS SOUS 2615 HAS SOUPS 2434 WITH SCORE 2446.104
AT ITER 1098 NEW BEST:: SOT 16240 SOS 12109 HAS SOPS 4702 HAS SOUS 2604 HAS SOUPS 2423 WITH SCORE 2435.109
AT ITER 1125 NEW BEST:: SOT 16236 SOS 12103 HAS SOPS 4694 HAS SOUS 2598 HAS SOUPS 2417 WITH SCORE 2429.103
AT ITER 1134 NEW BEST:: SOT 16235 SOS 12102 HAS SOPS 4693 HAS SOUS 2598 HAS SOUPS 2417 WITH SCORE 2429.102
AT ITER 1162 NEW BEST:: SOT 16240 SOS 12123 HAS SOPS 4703 HAS SOUS 2593 HAS SOUPS 2412 WITH SCORE 2424.123
AT ITER 1178 NEW BEST:: SOT 16241 SOS 12118 HAS SOPS 4699 HAS SOUS 2589 HAS SOUPS 2408 WITH SCORE 2420.118
AT ITER 1212 NEW BEST:: SOT 16240 SOS 12115 HAS SOPS 4694 HAS SOUS 2586 HAS SOUPS 2405 WITH SCORE 2417.115
AT ITER 1259 NEW BEST:: SOT 16236 SOS 12111 HAS SOPS 4688 HAS SOUS 2580 HAS SOUPS 2399 WITH SCORE 2411.111
AT ITER 1281 NEW BEST:: SOT 16221 SOS 12084 HAS SOPS 4658 HAS SOUS 2564 HAS SOUPS 2381 WITH SCORE 2393.084
AT ITER 1326 NEW BEST:: SOT 16227 SOS 12075 HAS SOPS 4650 HAS SOUS 2554 HAS SOUPS 2371 WITH SCORE 2383.075
AT ITER 1331 NEW BEST:: SOT 16227 SOS 12071 HAS SOPS 4646 HAS SOUS 2554 HAS SOUPS 2371 WITH SCORE 2383.071
AT ITER 1338 NEW BEST:: SOT 16217 SOS 12055 HAS SOPS 4626 HAS SOUS 2548 HAS SOUPS 2365 WITH SCORE 2377.055
AT ITER 1344 NEW BEST:: SOT 16214 SOS 12052 HAS SOPS 4620 HAS SOUS 2542 HAS SOUPS 2359 WITH SCORE 2371.052
AT ITER 1351 NEW BEST:: SOT 16213 SOS 12052 HAS SOPS 4619 HAS SOUS 2541 HAS SOUPS 2358 WITH SCORE 2370.052
AT ITER 1475 NEW BEST:: SOT 16209 SOS 12048 HAS SOPS 4615 HAS SOUS 2540 HAS SOUPS 2357 WITH SCORE 2369.048
AT ITER 1476 NEW BEST:: SOT 16207 SOS 12045 HAS SOPS 4611 HAS SOUS 2537 HAS SOUPS 2354 WITH SCORE 2366.045
AT ITER 1505 NEW BEST:: SOT 16207 SOS 12045 HAS SOPS 4611 HAS SOUS 2535 HAS SOUPS 2352 WITH SCORE 2364.045
AT ITER 1507 NEW BEST:: SOT 16199 SOS 12037 HAS SOPS 4603 HAS SOUS 2519 HAS SOUPS 2336 WITH SCORE 2348.037
AT ITER 1512 NEW BEST:: SOT 16195 SOS 12033 HAS SOPS 4598 HAS SOUS 2515 HAS SOUPS 2331 WITH SCORE 2343.033
AT ITER 1574 NEW BEST:: SOT 16195 SOS 12034 HAS SOPS 4598 HAS SOUS 2514 HAS SOUPS 2330 WITH SCORE 2342.034
AT ITER 1575 NEW BEST:: SOT 16179 SOS 12021 HAS SOPS 4581 HAS SOUS 2506 HAS SOUPS 2322 WITH SCORE 2334.021
AT ITER 1586 NEW BEST:: SOT 16179 SOS 12016 HAS SOPS 4576 HAS SOUS 2506 HAS SOUPS 2322 WITH SCORE 2334.016
AT ITER 1592 NEW BEST:: SOT 16174 SOS 12014 HAS SOPS 4572 HAS SOUS 2502 HAS SOUPS 2318 WITH SCORE 2330.014
AT ITER 1604 NEW BEST:: SOT 16157 SOS 12016 HAS SOPS 4563 HAS SOUS 2489 HAS SOUPS 2305 WITH SCORE 2317.016
AT ITER 1614 NEW BEST:: SOT 16143 SOS 11999 HAS SOPS 4545 HAS SOUS 2474 HAS SOUPS 2290 WITH SCORE 2301.999
AT ITER 1639 NEW BEST:: SOT 16138 SOS 11994 HAS SOPS 4665 HAS SOUS 2474 HAS SOUPS 2290 WITH SCORE 2301.994
AT ITER 1641 NEW BEST:: SOT 16125 SOS 11976 HAS SOPS 4639 HAS SOUS 2453 HAS SOUPS 2269 WITH SCORE 2280.976
AT ITER 1681 NEW BEST:: SOT 16121 SOS 11971 HAS SOPS 4631 HAS SOUS 2448 HAS SOUPS 2264 WITH SCORE 2275.971
AT ITER 1704 NEW BEST:: SOT 16108 SOS 11947 HAS SOPS 4605 HAS SOUS 2430 HAS SOUPS 2249 WITH SCORE 2260.947
AT ITER 1717 NEW BEST:: SOT 16106 SOS 11943 HAS SOPS 4601 HAS SOUS 2429 HAS SOUPS 2248 WITH SCORE 2259.943
AT ITER 1741 NEW BEST:: SOT 16105 SOS 11942 HAS SOPS 4600 HAS SOUS 2428 HAS SOUPS 2247 WITH SCORE 2258.942
AT ITER 1746 NEW BEST:: SOT 16105 SOS 11940 HAS SOPS 4598 HAS SOUS 2426 HAS SOUPS 2245 WITH SCORE 2256.94
AT ITER 1754 NEW BEST:: SOT 16091 SOS 11926 HAS SOPS 4584 HAS SOUS 2417 HAS SOUPS 2236 WITH SCORE 2247.926
AT ITER 1757 NEW BEST:: SOT 16093 SOS 11923 HAS SOPS 4583 HAS SOUS 2416 HAS SOUPS 2235 WITH SCORE 2246.923
AT ITER 1766 NEW BEST:: SOT 16077 SOS 11923 HAS SOPS 4578 HAS SOUS 2416 HAS SOUPS 2230 WITH SCORE 2241.923
AT ITER 1810 NEW BEST:: SOT 16075 SOS 11920 HAS SOPS 4574 HAS SOUS 2413 HAS SOUPS 2226 WITH SCORE 2237.92
AT ITER 1828 NEW BEST:: SOT 16074 SOS 11919 HAS SOPS 4572 HAS SOUS 2411 HAS SOUPS 2224 WITH SCORE 2235.919
AT ITER 1858 NEW BEST:: SOT 16068 SOS 11919 HAS SOPS 4567 HAS SOUS 2406 HAS SOUPS 2219 WITH SCORE 2230.919
AT ITER 1865 NEW BEST:: SOT 16069 SOS 11918 HAS SOPS 4567 HAS SOUS 2406 HAS SOUPS 2219 WITH SCORE 2230.918
AT ITER 1930 NEW BEST:: SOT 16069 SOS 11888 HAS SOPS 4552 HAS SOUS 2406 HAS SOUPS 2219 WITH SCORE 2230.888
AT ITER 1934 NEW BEST:: SOT 16064 SOS 11886 HAS SOPS 4545 HAS SOUS 2399 HAS SOUPS 2212 WITH SCORE 2223.886
AT ITER 2008 NEW BEST:: SOT 16052 SOS 11877 HAS SOPS 4533 HAS SOUS 2396 HAS SOUPS 2209 WITH SCORE 2220.877
AT ITER 2010 NEW BEST:: SOT 16043 SOS 11889 HAS SOPS 4530 HAS SOUS 2395 HAS SOUPS 2208 WITH SCORE 2219.889
AT ITER 2019 NEW BEST:: SOT 16048 SOS 11889 HAS SOPS 4530 HAS SOUS 2390 HAS SOUPS 2203 WITH SCORE 2214.889
AT ITER 2020 NEW BEST:: SOT 16044 SOS 11889 HAS SOPS 4528 HAS SOUS 2387 HAS SOUPS 2200 WITH SCORE 2211.889
AT ITER 2023 NEW BEST:: SOT 16038 SOS 11870 HAS SOPS 4516 HAS SOUS 2380 HAS SOUPS 2193 WITH SCORE 2204.87
AT ITER 2031 NEW BEST:: SOT 16024 SOS 11856 HAS SOPS 4495 HAS SOUS 2359 HAS SOUPS 2172 WITH SCORE 2183.856
AT ITER 2046 NEW BEST:: SOT 16021 SOS 11853 HAS SOPS 4489 HAS SOUS 2353 HAS SOUPS 2166 WITH SCORE 2177.853
AT ITER 2062 NEW BEST:: SOT 16020 SOS 11854 HAS SOPS 4487 HAS SOUS 2349 HAS SOUPS 2162 WITH SCORE 2173.854
AT ITER 2096 NEW BEST:: SOT 16016 SOS 11844 HAS SOPS 4479 HAS SOUS 2336 HAS SOUPS 2149 WITH SCORE 2160.844
AT ITER 2103 NEW BEST:: SOT 16014 SOS 11840 HAS SOPS 4475 HAS SOUS 2331 HAS SOUPS 2144 WITH SCORE 2155.84
AT ITER 2104 NEW BEST:: SOT 15933 SOS 11750 HAS SOPS 4415 HAS SOUS 2312 HAS SOUPS 2125 WITH SCORE 2136.75
AT ITER 2117 NEW BEST:: SOT 15933 SOS 11759 HAS SOPS 4415 HAS SOUS 2304 HAS SOUPS 2117 WITH SCORE 2128.759
AT ITER 2128 NEW BEST:: SOT 15903 SOS 11730 HAS SOPS 4387 HAS SOUS 2290 HAS SOUPS 2103 WITH SCORE 2114.73
AT ITER 2141 NEW BEST:: SOT 15904 SOS 11730 HAS SOPS 4387 HAS SOUS 2288 HAS SOUPS 2101 WITH SCORE 2112.73
AT ITER 2165 NEW BEST:: SOT 15891 SOS 11718 HAS SOPS 4375 HAS SOUS 2276 HAS SOUPS 2089 WITH SCORE 2100.718
AT ITER 2167 NEW BEST:: SOT 15888 SOS 11715 HAS SOPS 4372 HAS SOUS 2275 HAS SOUPS 2088 WITH SCORE 2099.715
AT ITER 2188 NEW BEST:: SOT 15888 SOS 11713 HAS SOPS 4372 HAS SOUS 2274 HAS SOUPS 2087 WITH SCORE 2098.713
AT ITER 2296 NEW BEST:: SOT 15902 SOS 11725 HAS SOPS 4372 HAS SOUS 2272 HAS SOUPS 2085 WITH SCORE 2096.725
AT ITER 2297 NEW BEST:: SOT 15901 SOS 11724 HAS SOPS 4370 HAS SOUS 2270 HAS SOUPS 2083 WITH SCORE 2094.724
AT ITER 2327 NEW BEST:: SOT 15898 SOS 11710 HAS SOPS 4364 HAS SOUS 2264 HAS SOUPS 2077 WITH SCORE 2088.71
AT ITER 2336 NEW BEST:: SOT 15897 SOS 11700 HAS SOPS 4353 HAS SOUS 2253 HAS SOUPS 2066 WITH SCORE 2077.7
AT ITER 2345 NEW BEST:: SOT 15883 SOS 11688 HAS SOPS 4342 HAS SOUS 2244 HAS SOUPS 2057 WITH SCORE 2068.688
AT ITER 2369 NEW BEST:: SOT 15880 SOS 11684 HAS SOPS 4336 HAS SOUS 2238 HAS SOUPS 2051 WITH SCORE 2062.684
AT ITER 2448 NEW BEST:: SOT 15875 SOS 11681 HAS SOPS 4330 HAS SOUS 2232 HAS SOUPS 2045 WITH SCORE 2056.681
AT ITER 2449 NEW BEST:: SOT 15846 SOS 11660 HAS SOPS 4297 HAS SOUS 2205 HAS SOUPS 2018 WITH SCORE 2029.66
AT ITER 2500 NEW BEST:: SOT 15845 SOS 11659 HAS SOPS 4295 HAS SOUS 2203 HAS SOUPS 2016 WITH SCORE 2027.659
AT ITER 2501 NEW BEST:: SOT 15844 SOS 11665 HAS SOPS 4293 HAS SOUS 2201 HAS SOUPS 2014 WITH SCORE 2025.665
AT ITER 2509 NEW BEST:: SOT 15842 SOS 11663 HAS SOPS 4289 HAS SOUS 2197 HAS SOUPS 2010 WITH SCORE 2021.663
AT ITER 2511 NEW BEST:: SOT 15841 SOS 11662 HAS SOPS 4288 HAS SOUS 2196 HAS SOUPS 2009 WITH SCORE 2020.662
AT ITER 2521 NEW BEST:: SOT 15841 SOS 11652 HAS SOPS 4278 HAS SOUS 2186 HAS SOUPS 1999 WITH SCORE 2010.652
AT ITER 2522 NEW BEST:: SOT 15842 SOS 11651 HAS SOPS 4277 HAS SOUS 2182 HAS SOUPS 1995 WITH SCORE 2006.651
AT ITER 2532 NEW BEST:: SOT 15832 SOS 11660 HAS SOPS 4257 HAS SOUS 2162 HAS SOUPS 1975 WITH SCORE 1986.66
AT ITER 2605 NEW BEST:: SOT 15823 SOS 11651 HAS SOPS 4246 HAS SOUS 2158 HAS SOUPS 1971 WITH SCORE 1982.651
AT ITER 2630 NEW BEST:: SOT 15821 SOS 11649 HAS SOPS 4243 HAS SOUS 2156 HAS SOUPS 1969 WITH SCORE 1980.649
AT ITER 2686 NEW BEST:: SOT 15828 SOS 11615 HAS SOPS 4211 HAS SOUS 2124 HAS SOUPS 1937 WITH SCORE 1948.615
AT ITER 2741 NEW BEST:: SOT 15827 SOS 11614 HAS SOPS 4209 HAS SOUS 2122 HAS SOUPS 1935 WITH SCORE 1946.614
AT ITER 2759 NEW BEST:: SOT 15826 SOS 11614 HAS SOPS 4208 HAS SOUS 2121 HAS SOUPS 1934 WITH SCORE 1945.614
AT ITER 2783 NEW BEST:: SOT 15830 SOS 11617 HAS SOPS 4210 HAS SOUS 2120 HAS SOUPS 1933 WITH SCORE 1944.617
AT ITER 2796 NEW BEST:: SOT 15830 SOS 11616 HAS SOPS 4210 HAS SOUS 2120 HAS SOUPS 1933 WITH SCORE 1944.616
AT ITER 2871 NEW BEST:: SOT 15844 SOS 11627 HAS SOPS 4204 HAS SOUS 2119 HAS SOUPS 1932 WITH SCORE 1943.627
AT ITER 2875 NEW BEST:: SOT 15834 SOS 11620 HAS SOPS 4194 HAS SOUS 2109 HAS SOUPS 1922 WITH SCORE 1933.62
AT ITER 2925 NEW BEST:: SOT 15838 SOS 11618 HAS SOPS 4197 HAS SOUS 2109 HAS SOUPS 1922 WITH SCORE 1933.618
AT ITER 2946 NEW BEST:: SOT 15834 SOS 11612 HAS SOPS 4193 HAS SOUS 2109 HAS SOUPS 1922 WITH SCORE 1933.612
AT ITER 2970 NEW BEST:: SOT 15834 SOS 11608 HAS SOPS 4191 HAS SOUS 2109 HAS SOUPS 1922 WITH SCORE 1933.608
AT ITER 3057 NEW BEST:: SOT 15836 SOS 11598 HAS SOPS 4184 HAS SOUS 2099 HAS SOUPS 1912 WITH SCORE 1923.598
AT ITER 3072 NEW BEST:: SOT 15834 SOS 11596 HAS SOPS 4180 HAS SOUS 2095 HAS SOUPS 1908 WITH SCORE 1919.596
AT ITER 3111 NEW BEST:: SOT 15830 SOS 11588 HAS SOPS 4172 HAS SOUS 2087 HAS SOUPS 1900 WITH SCORE 1911.588
AT ITER 3167 NEW BEST:: SOT 15829 SOS 11587 HAS SOPS 4170 HAS SOUS 2086 HAS SOUPS 1899 WITH SCORE 1910.587
AT ITER 3196 NEW BEST:: SOT 15829 SOS 11584 HAS SOPS 4170 HAS SOUS 2086 HAS SOUPS 1899 WITH SCORE 1910.584
AT ITER 3224 NEW BEST:: SOT 15827 SOS 11582 HAS SOPS 4166 HAS SOUS 2082 HAS SOUPS 1895 WITH SCORE 1906.582
AT ITER 3226 NEW BEST:: SOT 15827 SOS 11580 HAS SOPS 4166 HAS SOUS 2082 HAS SOUPS 1895 WITH SCORE 1906.58
AT ITER 3382 NEW BEST:: SOT 15826 SOS 11570 HAS SOPS 4164 HAS SOUS 2080 HAS SOUPS 1893 WITH SCORE 1904.57
AT ITER 3402 NEW BEST:: SOT 15825 SOS 11568 HAS SOPS 4161 HAS SOUS 2077 HAS SOUPS 1890 WITH SCORE 1901.568
AT ITER 3427 NEW BEST:: SOT 15824 SOS 11567 HAS SOPS 4160 HAS SOUS 2076 HAS SOUPS 1889 WITH SCORE 1900.567
AT ITER 3456 NEW BEST:: SOT 15821 SOS 11561 HAS SOPS 4154 HAS SOUS 2074 HAS SOUPS 1887 WITH SCORE 1898.561
AT ITER 3466 NEW BEST:: SOT 15817 SOS 11559 HAS SOPS 4150 HAS SOUS 2070 HAS SOUPS 1883 WITH SCORE 1894.559
AT ITER 3485 NEW BEST:: SOT 15815 SOS 11555 HAS SOPS 4146 HAS SOUS 2068 HAS SOUPS 1881 WITH SCORE 1892.555
AT ITER 3499 NEW BEST:: SOT 15814 SOS 11553 HAS SOPS 4143 HAS SOUS 2066 HAS SOUPS 1878 WITH SCORE 1889.553
AT ITER 3513 NEW BEST:: SOT 15812 SOS 11547 HAS SOPS 4139 HAS SOUS 2065 HAS SOUPS 1877 WITH SCORE 1888.547
AT ITER 3568 NEW BEST:: SOT 15811 SOS 11544 HAS SOPS 4137 HAS SOUS 2064 HAS SOUPS 1876 WITH SCORE 1887.544
AT ITER 3591 NEW BEST:: SOT 15807 SOS 11532 HAS SOPS 4129 HAS SOUS 2064 HAS SOUPS 1876 WITH SCORE 1887.532
AT ITER 3592 NEW BEST:: SOT 15807 SOS 11530 HAS SOPS 4128 HAS SOUS 2063 HAS SOUPS 1875 WITH SCORE 1886.53
AT ITER 3613 NEW BEST:: SOT 15805 SOS 11525 HAS SOPS 4121 HAS SOUS 2056 HAS SOUPS 1868 WITH SCORE 1879.525
AT ITER 3614 NEW BEST:: SOT 15802 SOS 11520 HAS SOPS 4115 HAS SOUS 2050 HAS SOUPS 1862 WITH SCORE 1873.52
AT ITER 3625 NEW BEST:: SOT 15797 SOS 11515 HAS SOPS 4107 HAS SOUS 2043 HAS SOUPS 1855 WITH SCORE 1866.515
AT ITER 3661 NEW BEST:: SOT 15793 SOS 11515 HAS SOPS 4103 HAS SOUS 2040 HAS SOUPS 1852 WITH SCORE 1863.515
AT ITER 3663 NEW BEST:: SOT 15799 SOS 11519 HAS SOPS 4085 HAS SOUS 2038 HAS SOUPS 1850 WITH SCORE 1861.519
AT ITER 3700 NEW BEST:: SOT 15798 SOS 11519 HAS SOPS 4084 HAS SOUS 2037 HAS SOUPS 1849 WITH SCORE 1860.519
AT ITER 3774 NEW BEST:: SOT 15795 SOS 11512 HAS SOPS 4078 HAS SOUS 2032 HAS SOUPS 1844 WITH SCORE 1855.512
AT ITER 3822 NEW BEST:: SOT 15801 SOS 11518 HAS SOPS 4083 HAS SOUS 2031 HAS SOUPS 1843 WITH SCORE 1854.518
AT ITER 3865 NEW BEST:: SOT 15801 SOS 11516 HAS SOPS 4083 HAS SOUS 2031 HAS SOUPS 1843 WITH SCORE 1854.516
AT ITER 3873 NEW BEST:: SOT 15800 SOS 11514 HAS SOPS 4059 HAS SOUS 2026 HAS SOUPS 1838 WITH SCORE 1849.514
AT ITER 3909 NEW BEST:: SOT 15803 SOS 11509 HAS SOPS 4059 HAS SOUS 2025 HAS SOUPS 1837 WITH SCORE 1848.509
AT ITER 3940 NEW BEST:: SOT 15799 SOS 11505 HAS SOPS 4051 HAS SOUS 2017 HAS SOUPS 1829 WITH SCORE 1840.505
AT ITER 3983 NEW BEST:: SOT 15795 SOS 11508 HAS SOPS 4050 HAS SOUS 2016 HAS SOUPS 1828 WITH SCORE 1839.508
AT ITER 4047 NEW BEST:: SOT 15803 SOS 11513 HAS SOPS 4019 HAS SOUS 2005 HAS SOUPS 1817 WITH SCORE 1828.513
AT ITER 4066 NEW BEST:: SOT 15800 SOS 11512 HAS SOPS 4017 HAS SOUS 2003 HAS SOUPS 1815 WITH SCORE 1826.512
AT ITER 4071 NEW BEST:: SOT 15796 SOS 11508 HAS SOPS 4012 HAS SOUS 1998 HAS SOUPS 1810 WITH SCORE 1821.508
AT ITER 4106 NEW BEST:: SOT 15795 SOS 11505 HAS SOPS 4010 HAS SOUS 1996 HAS SOUPS 1808 WITH SCORE 1819.505
AT ITER 4214 NEW BEST:: SOT 15796 SOS 11499 HAS SOPS 4007 HAS SOUS 1995 HAS SOUPS 1807 WITH SCORE 1818.499
AT ITER 4218 NEW BEST:: SOT 15796 SOS 11496 HAS SOPS 4004 HAS SOUS 1992 HAS SOUPS 1804 WITH SCORE 1815.496
AT ITER 4302 NEW BEST:: SOT 15796 SOS 11491 HAS SOPS 4004 HAS SOUS 1990 HAS SOUPS 1802 WITH SCORE 1813.491
AT ITER 4329 NEW BEST:: SOT 15796 SOS 11489 HAS SOPS 4002 HAS SOUS 1987 HAS SOUPS 1799 WITH SCORE 1810.489
AT ITER 4347 NEW BEST:: SOT 15793 SOS 11483 HAS SOPS 3996 HAS SOUS 1983 HAS SOUPS 1795 WITH SCORE 1806.483
AT ITER 4410 NEW BEST:: SOT 15792 SOS 11471 HAS SOPS 3987 HAS SOUS 1977 HAS SOUPS 1789 WITH SCORE 1800.471
AT ITER 4415 NEW BEST:: SOT 15792 SOS 11470 HAS SOPS 3986 HAS SOUS 1976 HAS SOUPS 1788 WITH SCORE 1799.47
AT ITER 4416 NEW BEST:: SOT 15792 SOS 11459 HAS SOPS 3975 HAS SOUS 1965 HAS SOUPS 1777 WITH SCORE 1788.459
AT ITER 4434 NEW BEST:: SOT 15797 SOS 11475 HAS SOPS 3985 HAS SOUS 1964 HAS SOUPS 1776 WITH SCORE 1787.475
AT ITER 4468 NEW BEST:: SOT 15796 SOS 11474 HAS SOPS 3984 HAS SOUS 1963 HAS SOUPS 1775 WITH SCORE 1786.474
AT ITER 4554 NEW BEST:: SOT 15797 SOS 11474 HAS SOPS 3960 HAS SOUS 1956 HAS SOUPS 1768 WITH SCORE 1779.474
AT ITER 4574 NEW BEST:: SOT 15797 SOS 11473 HAS SOPS 3960 HAS SOUS 1956 HAS SOUPS 1768 WITH SCORE 1779.473
AT ITER 4576 NEW BEST:: SOT 15797 SOS 11473 HAS SOPS 3960 HAS SOUS 1955 HAS SOUPS 1767 WITH SCORE 1778.473
AT ITER 4583 NEW BEST:: SOT 15760 SOS 11437 HAS SOPS 3930 HAS SOUS 1947 HAS SOUPS 1759 WITH SCORE 1770.437
AT ITER 4596 NEW BEST:: SOT 15760 SOS 11439 HAS SOPS 3930 HAS SOUS 1945 HAS SOUPS 1757 WITH SCORE 1768.439
AT ITER 4643 NEW BEST:: SOT 15775 SOS 11454 HAS SOPS 3936 HAS SOUS 1943 HAS SOUPS 1755 WITH SCORE 1766.454
AT ITER 4667 NEW BEST:: SOT 15776 SOS 11455 HAS SOPS 3932 HAS SOUS 1939 HAS SOUPS 1751 WITH SCORE 1762.455
AT ITER 4713 NEW BEST:: SOT 15777 SOS 11463 HAS SOPS 3934 HAS SOUS 1938 HAS SOUPS 1750 WITH SCORE 1761.463
AT ITER 4735 NEW BEST:: SOT 15777 SOS 11445 HAS SOPS 3934 HAS SOUS 1938 HAS SOUPS 1750 WITH SCORE 1761.445
AT ITER 4748 NEW BEST:: SOT 15760 SOS 11428 HAS SOPS 3926 HAS SOUS 1930 HAS SOUPS 1742 WITH SCORE 1753.428
AT ITER 4783 NEW BEST:: SOT 15752 SOS 11415 HAS SOPS 3910 HAS SOUS 1920 HAS SOUPS 1732 WITH SCORE 1743.415
AT ITER 4862 NEW BEST:: SOT 15752 SOS 11412 HAS SOPS 3908 HAS SOUS 1919 HAS SOUPS 1731 WITH SCORE 1742.412
AT ITER 4867 NEW BEST:: SOT 15748 SOS 11408 HAS SOPS 3903 HAS SOUS 1915 HAS SOUPS 1727 WITH SCORE 1738.408
AT ITER 4909 NEW BEST:: SOT 15748 SOS 11406 HAS SOPS 3903 HAS SOUS 1915 HAS SOUPS 1727 WITH SCORE 1738.406
AT ITER 5035 NEW BEST:: SOT 15748 SOS 11405 HAS SOPS 3902 HAS SOUS 1914 HAS SOUPS 1726 WITH SCORE 1737.405
AT ITER 5182 NEW BEST:: SOT 15746 SOS 11401 HAS SOPS 3898 HAS SOUS 1910 HAS SOUPS 1722 WITH SCORE 1733.401
AT ITER 5341 NEW BEST:: SOT 15745 SOS 11397 HAS SOPS 3892 HAS SOUS 1904 HAS SOUPS 1716 WITH SCORE 1727.397
AT ITER 5343 NEW BEST:: SOT 15749 SOS 11385 HAS SOPS 3885 HAS SOUS 1898 HAS SOUPS 1710 WITH SCORE 1721.385
AT ITER 5357 NEW BEST:: SOT 15747 SOS 11382 HAS SOPS 3881 HAS SOUS 1894 HAS SOUPS 1706 WITH SCORE 1717.382
AT ITER 5398 NEW BEST:: SOT 15747 SOS 11342 HAS SOPS 3881 HAS SOUS 1893 HAS SOUPS 1706 WITH SCORE 1717.342
AT ITER 5468 NEW BEST:: SOT 15747 SOS 11346 HAS SOPS 3881 HAS SOUS 1889 HAS SOUPS 1702 WITH SCORE 1713.346
AT ITER 5598 NEW BEST:: SOT 15743 SOS 11334 HAS SOPS 3873 HAS SOUS 1880 HAS SOUPS 1693 WITH SCORE 1704.334
AT ITER 5627 NEW BEST:: SOT 15741 SOS 11332 HAS SOPS 3870 HAS SOUS 1877 HAS SOUPS 1690 WITH SCORE 1701.332
AT ITER 6094 NEW BEST:: SOT 15740 SOS 11330 HAS SOPS 3868 HAS SOUS 1876 HAS SOUPS 1689 WITH SCORE 1700.33
AT ITER 6118 NEW BEST:: SOT 15738 SOS 11325 HAS SOPS 3862 HAS SOUS 1871 HAS SOUPS 1684 WITH SCORE 1695.325
AT ITER 6159 NEW BEST:: SOT 15732 SOS 11315 HAS SOPS 3850 HAS SOUS 1863 HAS SOUPS 1676 WITH SCORE 1687.315
AT ITER 6395 NEW BEST:: SOT 15732 SOS 11303 HAS SOPS 3844 HAS SOUS 1863 HAS SOUPS 1676 WITH SCORE 1687.303
AT ITER 6582 NEW BEST:: SOT 15731 SOS 11302 HAS SOPS 3843 HAS SOUS 1862 HAS SOUPS 1675 WITH SCORE 1686.302
AT ITER 6613 NEW BEST:: SOT 15728 SOS 11298 HAS SOPS 3837 HAS SOUS 1856 HAS SOUPS 1669 WITH SCORE 1680.298
AT ITER 6681 NEW BEST:: SOT 15727 SOS 11297 HAS SOPS 3836 HAS SOUS 1856 HAS SOUPS 1669 WITH SCORE 1680.297
AT ITER 6736 NEW BEST:: SOT 15726 SOS 11295 HAS SOPS 3834 HAS SOUS 1854 HAS SOUPS 1667 WITH SCORE 1678.295
AT ITER 6881 NEW BEST:: SOT 15723 SOS 11291 HAS SOPS 3828 HAS SOUS 1849 HAS SOUPS 1662 WITH SCORE 1673.291
AT ITER 7066 NEW BEST:: SOT 15723 SOS 11291 HAS SOPS 3827 HAS SOUS 1848 HAS SOUPS 1661 WITH SCORE 1672.291
AT ITER 7107 NEW BEST:: SOT 15720 SOS 11292 HAS SOPS 3825 HAS SOUS 1846 HAS SOUPS 1659 WITH SCORE 1670.292
AT ITER 7143 NEW BEST:: SOT 15720 SOS 11291 HAS SOPS 3824 HAS SOUS 1845 HAS SOUPS 1658 WITH SCORE 1669.291
AT ITER 7200 NEW BEST:: SOT 15718 SOS 11292 HAS SOPS 3822 HAS SOUS 1842 HAS SOUPS 1655 WITH SCORE 1666.292
AT ITER 7763 NEW BEST:: SOT 15714 SOS 11286 HAS SOPS 3815 HAS SOUS 1836 HAS SOUPS 1649 WITH SCORE 1660.286
AT ITER 8000 NEW BEST:: SOT 15711 SOS 11281 HAS SOPS 3815 HAS SOUS 1836 HAS SOUPS 1649 WITH SCORE 1660.281
AT ITER 8054 NEW BEST:: SOT 15711 SOS 11283 HAS SOPS 3815 HAS SOUS 1835 HAS SOUPS 1648 WITH SCORE 1659.283
AT ITER 8122 NEW BEST:: SOT 15730 SOS 11302 HAS SOPS 3829 HAS SOUS 1833 HAS SOUPS 1646 WITH SCORE 1657.302
AT ITER 8123 NEW BEST:: SOT 15726 SOS 11298 HAS SOPS 3821 HAS SOUS 1825 HAS SOUPS 1638 WITH SCORE 1649.298
AT ITER 8406 NEW BEST:: SOT 15723 SOS 11295 HAS SOPS 3818 HAS SOUS 1822 HAS SOUPS 1635 WITH SCORE 1646.295
AT ITER 8517 NEW BEST:: SOT 15722 SOS 11293 HAS SOPS 3816 HAS SOUS 1821 HAS SOUPS 1634 WITH SCORE 1645.293
AT ITER 8557 NEW BEST:: SOT 15720 SOS 11292 HAS SOPS 3813 HAS SOUS 1818 HAS SOUPS 1631 WITH SCORE 1642.292
AT ITER 8584 NEW BEST:: SOT 15720 SOS 11293 HAS SOPS 3813 HAS SOUS 1817 HAS SOUPS 1630 WITH SCORE 1641.293
AT ITER 9035 NEW BEST:: SOT 15717 SOS 11288 HAS SOPS 3807 HAS SOUS 1813 HAS SOUPS 1626 WITH SCORE 1637.288
AT ITER 9193 NEW BEST:: SOT 15716 SOS 11287 HAS SOPS 3805 HAS SOUS 1812 HAS SOUPS 1625 WITH SCORE 1636.287
AT ITER 9253 NEW BEST:: SOT 15715 SOS 11286 HAS SOPS 3803 HAS SOUS 1810 HAS SOUPS 1623 WITH SCORE 1634.286
AT ITER 9543 NEW BEST:: SOT 15714 SOS 11286 HAS SOPS 3801 HAS SOUS 1808 HAS SOUPS 1621 WITH SCORE 1632.286
AT ITER 9605 NEW BEST:: SOT 15714 SOS 11284 HAS SOPS 3800 HAS SOUS 1807 HAS SOUPS 1620 WITH SCORE 1631.284
AT ITER 9695 NEW BEST:: SOT 15714 SOS 11283 HAS SOPS 3799 HAS SOUS 1807 HAS SOUPS 1620 WITH SCORE 1631.283
AT ITER 9865 NEW BEST:: SOT 15713 SOS 11282 HAS SOPS 3799 HAS SOUS 1807 HAS SOUPS 1620 WITH SCORE 1631.282
AT ITER 9901 NEW BEST:: SOT 15716 SOS 11284 HAS SOPS 3800 HAS SOUS 1806 HAS SOUPS 1619 WITH SCORE 1630.284
AT ITER 9981 NEW BEST:: SOT 15711 SOS 11274 HAS SOPS 3790 HAS SOUS 1797 HAS SOUPS 1610 WITH SCORE 1621.274
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 1589405531569

--------------------
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is 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 r078-smll-158922972400296"
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 ;