Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250600496.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ParamProductionCell-PT-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250600496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 4.9K Apr 13 14:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 13 14:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 13 14:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 13 14:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Apr 13 12:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 13 12:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K Apr 13 14:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 13 14:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 13 14:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 13 14:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 13 14:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 13 14:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 174K 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 1589644812490

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

Filename model.pnml
Petri model created: 231 places, 202 transitions, 846 arcs.
AT ITER 0 NEW BEST:: SOT 27791 SOS 6065 HAS SOPS 5680 HAS SOUS 5558 HAS SOUPS 5283 WITH SCORE 5289.065
AT ITER 26 NEW BEST:: SOT 27784 SOS 6063 HAS SOPS 5680 HAS SOUS 5556 HAS SOUPS 5283 WITH SCORE 5289.063
AT ITER 45 NEW BEST:: SOT 27781 SOS 6068 HAS SOPS 5677 HAS SOUS 5561 HAS SOUPS 5280 WITH SCORE 5286.068
AT ITER 70 NEW BEST:: SOT 27773 SOS 6052 HAS SOPS 5653 HAS SOUS 5553 HAS SOUPS 5264 WITH SCORE 5270.052
AT ITER 112 NEW BEST:: SOT 27776 SOS 6031 HAS SOPS 5563 HAS SOUS 5559 HAS SOUPS 5230 WITH SCORE 5236.031
AT ITER 136 NEW BEST:: SOT 27772 SOS 6012 HAS SOPS 5552 HAS SOUS 5559 HAS SOUPS 5230 WITH SCORE 5236.012
AT ITER 161 NEW BEST:: SOT 27758 SOS 5994 HAS SOPS 5548 HAS SOUS 5541 HAS SOUPS 5226 WITH SCORE 5231.994
AT ITER 163 NEW BEST:: SOT 27732 SOS 5978 HAS SOPS 5497 HAS SOUS 5511 HAS SOUPS 5175 WITH SCORE 5180.978
AT ITER 175 NEW BEST:: SOT 27717 SOS 5947 HAS SOPS 5451 HAS SOUS 5480 HAS SOUPS 5129 WITH SCORE 5134.947
AT ITER 185 NEW BEST:: SOT 27702 SOS 5917 HAS SOPS 5406 HAS SOUS 5454 HAS SOUPS 5099 WITH SCORE 5104.917
AT ITER 187 NEW BEST:: SOT 27697 SOS 5916 HAS SOPS 5385 HAS SOUS 5460 HAS SOUPS 5085 WITH SCORE 5090.916
AT ITER 216 NEW BEST:: SOT 27647 SOS 5922 HAS SOPS 5391 HAS SOUS 5419 HAS SOUPS 5044 WITH SCORE 5049.922
AT ITER 220 NEW BEST:: SOT 27647 SOS 5920 HAS SOPS 5389 HAS SOUS 5418 HAS SOUPS 5043 WITH SCORE 5048.92
AT ITER 233 NEW BEST:: SOT 27644 SOS 5933 HAS SOPS 5386 HAS SOUS 5410 HAS SOUPS 5028 WITH SCORE 5033.933
AT ITER 250 NEW BEST:: SOT 27644 SOS 5930 HAS SOPS 5383 HAS SOUS 5407 HAS SOUPS 5025 WITH SCORE 5030.93
AT ITER 277 NEW BEST:: SOT 27595 SOS 6680 HAS SOPS 6126 HAS SOUS 5397 HAS SOUPS 5015 WITH SCORE 5021.68
AT ITER 303 NEW BEST:: SOT 27627 SOS 6649 HAS SOPS 6017 HAS SOUS 5373 HAS SOUPS 4991 WITH SCORE 4997.649
AT ITER 311 NEW BEST:: SOT 27627 SOS 6649 HAS SOPS 6008 HAS SOUS 5373 HAS SOUPS 4982 WITH SCORE 4988.649
AT ITER 317 NEW BEST:: SOT 27627 SOS 6639 HAS SOPS 5998 HAS SOUS 5363 HAS SOUPS 4972 WITH SCORE 4978.639
AT ITER 325 NEW BEST:: SOT 27661 SOS 6634 HAS SOPS 5939 HAS SOUS 5359 HAS SOUPS 4963 WITH SCORE 4969.634
AT ITER 342 NEW BEST:: SOT 27661 SOS 6611 HAS SOPS 5919 HAS SOUS 5367 HAS SOUPS 4963 WITH SCORE 4969.611
AT ITER 378 NEW BEST:: SOT 27665 SOS 6601 HAS SOPS 5909 HAS SOUS 5364 HAS SOUPS 4957 WITH SCORE 4963.601
AT ITER 396 NEW BEST:: SOT 27665 SOS 6601 HAS SOPS 5899 HAS SOUS 5350 HAS SOUPS 4940 WITH SCORE 4946.601
AT ITER 397 NEW BEST:: SOT 27657 SOS 6586 HAS SOPS 5883 HAS SOUS 5339 HAS SOUPS 4928 WITH SCORE 4934.586
AT ITER 414 NEW BEST:: SOT 27664 SOS 6593 HAS SOPS 5855 HAS SOUS 5335 HAS SOUPS 4923 WITH SCORE 4929.593
AT ITER 431 NEW BEST:: SOT 27646 SOS 6614 HAS SOPS 5847 HAS SOUS 5310 HAS SOUPS 4898 WITH SCORE 4904.614
AT ITER 448 NEW BEST:: SOT 27640 SOS 6598 HAS SOPS 5843 HAS SOUS 5298 HAS SOUPS 4888 WITH SCORE 4894.598
AT ITER 463 NEW BEST:: SOT 27635 SOS 6586 HAS SOPS 5831 HAS SOUS 5286 HAS SOUPS 4876 WITH SCORE 4882.586
AT ITER 479 NEW BEST:: SOT 27623 SOS 6552 HAS SOPS 5804 HAS SOUS 5252 HAS SOUPS 4849 WITH SCORE 4855.552
AT ITER 485 NEW BEST:: SOT 27553 SOS 6482 HAS SOPS 5716 HAS SOUS 5172 HAS SOUPS 4761 WITH SCORE 4767.482
AT ITER 502 NEW BEST:: SOT 27550 SOS 6480 HAS SOPS 5714 HAS SOUS 5170 HAS SOUPS 4759 WITH SCORE 4765.48
AT ITER 503 NEW BEST:: SOT 27540 SOS 6470 HAS SOPS 5704 HAS SOUS 5160 HAS SOUPS 4749 WITH SCORE 4755.47
AT ITER 542 NEW BEST:: SOT 27532 SOS 6470 HAS SOPS 5696 HAS SOUS 5144 HAS SOUPS 4733 WITH SCORE 4739.47
AT ITER 549 NEW BEST:: SOT 27525 SOS 6459 HAS SOPS 5678 HAS SOUS 5133 HAS SOUPS 4715 WITH SCORE 4721.459
AT ITER 589 NEW BEST:: SOT 27517 SOS 6451 HAS SOPS 5663 HAS SOUS 5118 HAS SOUPS 4700 WITH SCORE 4706.451
AT ITER 600 NEW BEST:: SOT 27500 SOS 6434 HAS SOPS 5629 HAS SOUS 5086 HAS SOUPS 4666 WITH SCORE 4672.434
AT ITER 661 NEW BEST:: SOT 27489 SOS 6423 HAS SOPS 5637 HAS SOUS 5084 HAS SOUPS 4664 WITH SCORE 4670.423
AT ITER 671 NEW BEST:: SOT 27459 SOS 6404 HAS SOPS 5618 HAS SOUS 5065 HAS SOUPS 4645 WITH SCORE 4651.404
AT ITER 672 NEW BEST:: SOT 27450 SOS 6401 HAS SOPS 5606 HAS SOUS 5062 HAS SOUPS 4633 WITH SCORE 4639.401
AT ITER 687 NEW BEST:: SOT 27448 SOS 6398 HAS SOPS 5602 HAS SOUS 5059 HAS SOUPS 4629 WITH SCORE 4635.398
AT ITER 691 NEW BEST:: SOT 27456 SOS 6417 HAS SOPS 5600 HAS SOUS 5078 HAS SOUPS 4627 WITH SCORE 4633.417
AT ITER 716 NEW BEST:: SOT 27460 SOS 6437 HAS SOPS 5598 HAS SOUS 5098 HAS SOUPS 4625 WITH SCORE 4631.437
AT ITER 725 NEW BEST:: SOT 27455 SOS 6431 HAS SOPS 5582 HAS SOUS 5092 HAS SOUPS 4609 WITH SCORE 4615.431
AT ITER 764 NEW BEST:: SOT 27450 SOS 6423 HAS SOPS 5574 HAS SOUS 5084 HAS SOUPS 4601 WITH SCORE 4607.423
AT ITER 781 NEW BEST:: SOT 27448 SOS 6421 HAS SOPS 5570 HAS SOUS 5080 HAS SOUPS 4597 WITH SCORE 4603.421
AT ITER 785 NEW BEST:: SOT 27448 SOS 6417 HAS SOPS 5568 HAS SOUS 5079 HAS SOUPS 4597 WITH SCORE 4603.417
AT ITER 904 NEW BEST:: SOT 27447 SOS 6416 HAS SOPS 5566 HAS SOUS 5078 HAS SOUPS 4596 WITH SCORE 4602.416
AT ITER 906 NEW BEST:: SOT 27442 SOS 6369 HAS SOPS 5523 HAS SOUS 5075 HAS SOUPS 4593 WITH SCORE 4599.369
AT ITER 951 NEW BEST:: SOT 27442 SOS 6365 HAS SOPS 5519 HAS SOUS 5071 HAS SOUPS 4589 WITH SCORE 4595.365
AT ITER 988 NEW BEST:: SOT 27435 SOS 6354 HAS SOPS 5508 HAS SOUS 5060 HAS SOUPS 4578 WITH SCORE 4584.354
AT ITER 1024 NEW BEST:: SOT 27431 SOS 6348 HAS SOPS 5502 HAS SOUS 5054 HAS SOUPS 4572 WITH SCORE 4578.348
AT ITER 1061 NEW BEST:: SOT 27426 SOS 6347 HAS SOPS 5502 HAS SOUS 5053 HAS SOUPS 4572 WITH SCORE 4578.347
AT ITER 1072 NEW BEST:: SOT 27343 SOS 6246 HAS SOPS 5401 HAS SOUS 5003 HAS SOUPS 4522 WITH SCORE 4528.246
AT ITER 1084 NEW BEST:: SOT 27330 SOS 6246 HAS SOPS 5388 HAS SOUS 4977 HAS SOUPS 4496 WITH SCORE 4502.246
AT ITER 1099 NEW BEST:: SOT 27316 SOS 6234 HAS SOPS 5376 HAS SOUS 4975 HAS SOUPS 4494 WITH SCORE 4500.234
AT ITER 1116 NEW BEST:: SOT 27291 SOS 6209 HAS SOPS 5345 HAS SOUS 4944 HAS SOUPS 4463 WITH SCORE 4469.209
AT ITER 1134 NEW BEST:: SOT 27291 SOS 6209 HAS SOPS 5344 HAS SOUS 4944 HAS SOUPS 4462 WITH SCORE 4468.209
AT ITER 1160 NEW BEST:: SOT 27286 SOS 6204 HAS SOPS 5339 HAS SOUS 4935 HAS SOUPS 4453 WITH SCORE 4459.204
AT ITER 1179 NEW BEST:: SOT 27285 SOS 6202 HAS SOPS 5337 HAS SOUS 4933 HAS SOUPS 4451 WITH SCORE 4457.202
AT ITER 1184 NEW BEST:: SOT 27280 SOS 6185 HAS SOPS 5325 HAS SOUS 4916 HAS SOUPS 4439 WITH SCORE 4445.185
AT ITER 1193 NEW BEST:: SOT 27280 SOS 6185 HAS SOPS 5322 HAS SOUS 4916 HAS SOUPS 4436 WITH SCORE 4442.185
AT ITER 1263 NEW BEST:: SOT 27277 SOS 6182 HAS SOPS 5319 HAS SOUS 4908 HAS SOUPS 4428 WITH SCORE 4434.182
AT ITER 1265 NEW BEST:: SOT 27298 SOS 6203 HAS SOPS 5340 HAS SOUS 4907 HAS SOUPS 4427 WITH SCORE 4433.203
AT ITER 1280 NEW BEST:: SOT 27305 SOS 6210 HAS SOPS 5333 HAS SOUS 4900 HAS SOUPS 4420 WITH SCORE 4426.21
AT ITER 1300 NEW BEST:: SOT 27303 SOS 6202 HAS SOPS 5327 HAS SOUS 4891 HAS SOUPS 4414 WITH SCORE 4420.202
AT ITER 1301 NEW BEST:: SOT 27301 SOS 6200 HAS SOPS 5323 HAS SOUS 4887 HAS SOUPS 4410 WITH SCORE 4416.2
AT ITER 1337 NEW BEST:: SOT 27293 SOS 6190 HAS SOPS 5313 HAS SOUS 4877 HAS SOUPS 4400 WITH SCORE 4406.19
AT ITER 1388 NEW BEST:: SOT 27282 SOS 6169 HAS SOPS 5301 HAS SOUS 4856 HAS SOUPS 4388 WITH SCORE 4394.169
AT ITER 1416 NEW BEST:: SOT 27278 SOS 6165 HAS SOPS 5297 HAS SOUS 4852 HAS SOUPS 4384 WITH SCORE 4390.165
AT ITER 1420 NEW BEST:: SOT 27269 SOS 6158 HAS SOPS 5282 HAS SOUS 4845 HAS SOUPS 4369 WITH SCORE 4375.158
AT ITER 1447 NEW BEST:: SOT 27265 SOS 6154 HAS SOPS 5274 HAS SOUS 4837 HAS SOUPS 4361 WITH SCORE 4367.154
AT ITER 1463 NEW BEST:: SOT 27266 SOS 6156 HAS SOPS 5270 HAS SOUS 4839 HAS SOUPS 4357 WITH SCORE 4363.156
AT ITER 1474 NEW BEST:: SOT 27266 SOS 6155 HAS SOPS 5269 HAS SOUS 4838 HAS SOUPS 4356 WITH SCORE 4362.155
AT ITER 1483 NEW BEST:: SOT 27265 SOS 6146 HAS SOPS 5260 HAS SOUS 4829 HAS SOUPS 4347 WITH SCORE 4353.146
AT ITER 1507 NEW BEST:: SOT 27257 SOS 6138 HAS SOPS 5268 HAS SOUS 4829 HAS SOUPS 4347 WITH SCORE 4353.138
AT ITER 1509 NEW BEST:: SOT 27256 SOS 6137 HAS SOPS 5266 HAS SOUS 4827 HAS SOUPS 4344 WITH SCORE 4350.137
AT ITER 1529 NEW BEST:: SOT 27256 SOS 6135 HAS SOPS 5264 HAS SOUS 4826 HAS SOUPS 4343 WITH SCORE 4349.135
AT ITER 1539 NEW BEST:: SOT 27252 SOS 6127 HAS SOPS 5249 HAS SOUS 4821 HAS SOUPS 4333 WITH SCORE 4339.127
AT ITER 1597 NEW BEST:: SOT 27243 SOS 6118 HAS SOPS 5258 HAS SOUS 4821 HAS SOUPS 4333 WITH SCORE 4339.118
AT ITER 1605 NEW BEST:: SOT 27227 SOS 6084 HAS SOPS 5237 HAS SOUS 4787 HAS SOUPS 4312 WITH SCORE 4318.084
AT ITER 1631 NEW BEST:: SOT 27226 SOS 6081 HAS SOPS 5234 HAS SOUS 4784 HAS SOUPS 4309 WITH SCORE 4315.081
AT ITER 1713 NEW BEST:: SOT 27226 SOS 6064 HAS SOPS 5227 HAS SOUS 4771 HAS SOUPS 4304 WITH SCORE 4310.064
AT ITER 1729 NEW BEST:: SOT 27194 SOS 6032 HAS SOPS 5225 HAS SOUS 4737 HAS SOUPS 4274 WITH SCORE 4280.032
AT ITER 1744 NEW BEST:: SOT 27192 SOS 6030 HAS SOPS 5223 HAS SOUS 4735 HAS SOUPS 4272 WITH SCORE 4278.03
AT ITER 1745 NEW BEST:: SOT 27185 SOS 6028 HAS SOPS 5221 HAS SOUS 4733 HAS SOUPS 4270 WITH SCORE 4276.028
AT ITER 1769 NEW BEST:: SOT 27189 SOS 6000 HAS SOPS 5193 HAS SOUS 4724 HAS SOUPS 4261 WITH SCORE 4267.0
AT ITER 1795 NEW BEST:: SOT 27187 SOS 5995 HAS SOPS 5188 HAS SOUS 4719 HAS SOUPS 4256 WITH SCORE 4261.995
AT ITER 1811 NEW BEST:: SOT 27187 SOS 5993 HAS SOPS 5187 HAS SOUS 4717 HAS SOUPS 4255 WITH SCORE 4260.993
AT ITER 1832 NEW BEST:: SOT 27185 SOS 5989 HAS SOPS 5185 HAS SOUS 4713 HAS SOUPS 4253 WITH SCORE 4258.989
AT ITER 1851 NEW BEST:: SOT 27192 SOS 5986 HAS SOPS 5182 HAS SOUS 4710 HAS SOUPS 4250 WITH SCORE 4255.986
AT ITER 1862 NEW BEST:: SOT 27195 SOS 5989 HAS SOPS 5178 HAS SOUS 4709 HAS SOUPS 4249 WITH SCORE 4254.989
AT ITER 1875 NEW BEST:: SOT 27194 SOS 5984 HAS SOPS 5173 HAS SOUS 4704 HAS SOUPS 4244 WITH SCORE 4249.984
AT ITER 1915 NEW BEST:: SOT 27191 SOS 5978 HAS SOPS 5170 HAS SOUS 4698 HAS SOUPS 4241 WITH SCORE 4246.978
AT ITER 1976 NEW BEST:: SOT 27194 SOS 5977 HAS SOPS 5169 HAS SOUS 4697 HAS SOUPS 4240 WITH SCORE 4245.977
AT ITER 1977 NEW BEST:: SOT 27194 SOS 5974 HAS SOPS 5166 HAS SOUS 4694 HAS SOUPS 4237 WITH SCORE 4242.974
AT ITER 2063 NEW BEST:: SOT 27193 SOS 5952 HAS SOPS 5165 HAS SOUS 4672 HAS SOUPS 4236 WITH SCORE 4241.952
AT ITER 2068 NEW BEST:: SOT 27188 SOS 5947 HAS SOPS 5146 HAS SOUS 4659 HAS SOUPS 4223 WITH SCORE 4228.947
AT ITER 2104 NEW BEST:: SOT 27188 SOS 5944 HAS SOPS 5143 HAS SOUS 4656 HAS SOUPS 4220 WITH SCORE 4225.944
AT ITER 2129 NEW BEST:: SOT 27183 SOS 5923 HAS SOPS 5136 HAS SOUS 4628 HAS SOUPS 4213 WITH SCORE 4218.923
AT ITER 2237 NEW BEST:: SOT 27176 SOS 5916 HAS SOPS 5122 HAS SOUS 4628 HAS SOUPS 4206 WITH SCORE 4211.916
AT ITER 2279 NEW BEST:: SOT 27176 SOS 5919 HAS SOPS 5120 HAS SOUS 4631 HAS SOUPS 4204 WITH SCORE 4209.919
AT ITER 2361 NEW BEST:: SOT 27176 SOS 5916 HAS SOPS 5117 HAS SOUS 4628 HAS SOUPS 4201 WITH SCORE 4206.916
AT ITER 2382 NEW BEST:: SOT 27184 SOS 5925 HAS SOPS 5124 HAS SOUS 4619 HAS SOUPS 4192 WITH SCORE 4197.925
AT ITER 2460 NEW BEST:: SOT 27166 SOS 5903 HAS SOPS 5102 HAS SOUS 4597 HAS SOUPS 4170 WITH SCORE 4175.903
AT ITER 2482 NEW BEST:: SOT 27163 SOS 5899 HAS SOPS 5098 HAS SOUS 4593 HAS SOUPS 4166 WITH SCORE 4171.899
AT ITER 2507 NEW BEST:: SOT 27163 SOS 5899 HAS SOPS 5092 HAS SOUS 4587 HAS SOUPS 4160 WITH SCORE 4165.899
AT ITER 2522 NEW BEST:: SOT 27163 SOS 5899 HAS SOPS 5084 HAS SOUS 4587 HAS SOUPS 4152 WITH SCORE 4157.899
AT ITER 2629 NEW BEST:: SOT 27163 SOS 5899 HAS SOPS 5075 HAS SOUS 4575 HAS SOUPS 4137 WITH SCORE 4142.899
AT ITER 2632 NEW BEST:: SOT 27161 SOS 5901 HAS SOPS 5077 HAS SOUS 4571 HAS SOUPS 4133 WITH SCORE 4138.901
AT ITER 2689 NEW BEST:: SOT 27147 SOS 5879 HAS SOPS 5041 HAS SOUS 4543 HAS SOUPS 4105 WITH SCORE 4110.879
AT ITER 2701 NEW BEST:: SOT 27146 SOS 5877 HAS SOPS 5039 HAS SOUS 4541 HAS SOUPS 4103 WITH SCORE 4108.877
AT ITER 2712 NEW BEST:: SOT 27141 SOS 5872 HAS SOPS 5029 HAS SOUS 4533 HAS SOUPS 4095 WITH SCORE 4100.872
AT ITER 2738 NEW BEST:: SOT 27140 SOS 5868 HAS SOPS 5027 HAS SOUS 4529 HAS SOUPS 4093 WITH SCORE 4098.868
AT ITER 2791 NEW BEST:: SOT 27145 SOS 5820 HAS SOPS 5004 HAS SOUS 4517 HAS SOUPS 4088 WITH SCORE 4093.82
AT ITER 2801 NEW BEST:: SOT 27137 SOS 5798 HAS SOPS 4982 HAS SOUS 4481 HAS SOUPS 4066 WITH SCORE 4071.798
AT ITER 2853 NEW BEST:: SOT 27132 SOS 5793 HAS SOPS 4969 HAS SOUS 4480 HAS SOUPS 4057 WITH SCORE 4062.793
AT ITER 2885 NEW BEST:: SOT 27132 SOS 5791 HAS SOPS 4967 HAS SOUS 4476 HAS SOUPS 4053 WITH SCORE 4058.791
AT ITER 2991 NEW BEST:: SOT 27128 SOS 5788 HAS SOPS 4964 HAS SOUS 4473 HAS SOUPS 4050 WITH SCORE 4055.788
AT ITER 2992 NEW BEST:: SOT 27125 SOS 5785 HAS SOPS 4960 HAS SOUS 4469 HAS SOUPS 4046 WITH SCORE 4051.785
AT ITER 3035 NEW BEST:: SOT 27125 SOS 5785 HAS SOPS 4956 HAS SOUS 4461 HAS SOUPS 4038 WITH SCORE 4043.785
AT ITER 3047 NEW BEST:: SOT 27125 SOS 5804 HAS SOPS 4975 HAS SOUS 4459 HAS SOUPS 4036 WITH SCORE 4041.804
AT ITER 3066 NEW BEST:: SOT 27123 SOS 5802 HAS SOPS 4965 HAS SOUS 4454 HAS SOUPS 4031 WITH SCORE 4036.802
AT ITER 3067 NEW BEST:: SOT 27120 SOS 5782 HAS SOPS 4962 HAS SOUS 4448 HAS SOUPS 4028 WITH SCORE 4033.782
AT ITER 3092 NEW BEST:: SOT 27118 SOS 5780 HAS SOPS 4964 HAS SOUS 4444 HAS SOUPS 4024 WITH SCORE 4029.78
AT ITER 3119 NEW BEST:: SOT 27099 SOS 5749 HAS SOPS 4933 HAS SOUS 4413 HAS SOUPS 3993 WITH SCORE 3998.749
AT ITER 3120 NEW BEST:: SOT 27100 SOS 5669 HAS SOPS 4927 HAS SOUS 4378 HAS SOUPS 3975 WITH SCORE 3980.669
AT ITER 3175 NEW BEST:: SOT 27101 SOS 5669 HAS SOPS 4923 HAS SOUS 4364 HAS SOUPS 3961 WITH SCORE 3966.669
AT ITER 3179 NEW BEST:: SOT 27097 SOS 5665 HAS SOPS 4933 HAS SOUS 4361 HAS SOUPS 3959 WITH SCORE 3964.665
AT ITER 3243 NEW BEST:: SOT 27071 SOS 5288 HAS SOPS 4556 HAS SOUS 4331 HAS SOUPS 3929 WITH SCORE 3934.288
AT ITER 3260 NEW BEST:: SOT 27066 SOS 5283 HAS SOPS 4551 HAS SOUS 4321 HAS SOUPS 3919 WITH SCORE 3924.283
AT ITER 3264 NEW BEST:: SOT 27061 SOS 5307 HAS SOPS 4538 HAS SOUS 4315 HAS SOUPS 3905 WITH SCORE 3910.307
AT ITER 3342 NEW BEST:: SOT 27061 SOS 5303 HAS SOPS 4534 HAS SOUS 4311 HAS SOUPS 3901 WITH SCORE 3906.303
AT ITER 3408 NEW BEST:: SOT 27060 SOS 5300 HAS SOPS 4531 HAS SOUS 4308 HAS SOUPS 3898 WITH SCORE 3903.3
AT ITER 3409 NEW BEST:: SOT 27067 SOS 5255 HAS SOPS 4526 HAS SOUS 4293 HAS SOUPS 3887 WITH SCORE 3892.255
AT ITER 3414 NEW BEST:: SOT 27067 SOS 5242 HAS SOPS 4526 HAS SOUS 4292 HAS SOUPS 3887 WITH SCORE 3892.242
AT ITER 3501 NEW BEST:: SOT 27071 SOS 5200 HAS SOPS 4484 HAS SOUS 4282 HAS SOUPS 3877 WITH SCORE 3882.2
AT ITER 3549 NEW BEST:: SOT 27063 SOS 5196 HAS SOPS 4480 HAS SOUS 4278 HAS SOUPS 3873 WITH SCORE 3878.196
AT ITER 3723 NEW BEST:: SOT 27047 SOS 5175 HAS SOPS 4459 HAS SOUS 4257 HAS SOUPS 3852 WITH SCORE 3857.175
AT ITER 3787 NEW BEST:: SOT 27024 SOS 5191 HAS SOPS 4475 HAS SOUS 4250 HAS SOUPS 3845 WITH SCORE 3850.191
AT ITER 3799 NEW BEST:: SOT 27017 SOS 5184 HAS SOPS 4468 HAS SOUS 4236 HAS SOUPS 3831 WITH SCORE 3836.184
AT ITER 3805 NEW BEST:: SOT 27017 SOS 5177 HAS SOPS 4461 HAS SOUS 4229 HAS SOUPS 3824 WITH SCORE 3829.177
AT ITER 3890 NEW BEST:: SOT 27017 SOS 5176 HAS SOPS 4461 HAS SOUS 4228 HAS SOUPS 3824 WITH SCORE 3829.176
AT ITER 3958 NEW BEST:: SOT 27014 SOS 5173 HAS SOPS 4458 HAS SOUS 4225 HAS SOUPS 3821 WITH SCORE 3826.173
AT ITER 3962 NEW BEST:: SOT 27010 SOS 5169 HAS SOPS 4457 HAS SOUS 4224 HAS SOUPS 3820 WITH SCORE 3825.169
AT ITER 3981 NEW BEST:: SOT 27009 SOS 5167 HAS SOPS 4455 HAS SOUS 4222 HAS SOUPS 3818 WITH SCORE 3823.167
AT ITER 4000 NEW BEST:: SOT 27008 SOS 5166 HAS SOPS 4454 HAS SOUS 4221 HAS SOUPS 3817 WITH SCORE 3822.166
AT ITER 4009 NEW BEST:: SOT 27004 SOS 5171 HAS SOPS 4459 HAS SOUS 4217 HAS SOUPS 3813 WITH SCORE 3818.171
AT ITER 4037 NEW BEST:: SOT 27004 SOS 5160 HAS SOPS 4448 HAS SOUS 4213 HAS SOUPS 3809 WITH SCORE 3814.16
AT ITER 4044 NEW BEST:: SOT 27004 SOS 5176 HAS SOPS 4456 HAS SOUS 4219 HAS SOUPS 3807 WITH SCORE 3812.176
AT ITER 4054 NEW BEST:: SOT 26997 SOS 5167 HAS SOPS 4447 HAS SOUS 4210 HAS SOUPS 3798 WITH SCORE 3803.167
AT ITER 4072 NEW BEST:: SOT 26985 SOS 5128 HAS SOPS 4408 HAS SOUS 4186 HAS SOUPS 3774 WITH SCORE 3779.128
AT ITER 4074 NEW BEST:: SOT 26985 SOS 5046 HAS SOPS 4370 HAS SOUS 4163 HAS SOUPS 3773 WITH SCORE 3778.046
AT ITER 4222 NEW BEST:: SOT 26985 SOS 5028 HAS SOPS 4360 HAS SOUS 4161 HAS SOUPS 3771 WITH SCORE 3776.028
AT ITER 4238 NEW BEST:: SOT 26984 SOS 5029 HAS SOPS 4360 HAS SOUS 4161 HAS SOUPS 3770 WITH SCORE 3775.029
AT ITER 4281 NEW BEST:: SOT 26977 SOS 4969 HAS SOPS 4319 HAS SOUS 4155 HAS SOUPS 3765 WITH SCORE 3769.969
AT ITER 4484 NEW BEST:: SOT 26973 SOS 4965 HAS SOPS 4319 HAS SOUS 4151 HAS SOUPS 3765 WITH SCORE 3769.965
AT ITER 4496 NEW BEST:: SOT 26967 SOS 4942 HAS SOPS 4307 HAS SOUS 4138 HAS SOUPS 3763 WITH SCORE 3767.942
AT ITER 4526 NEW BEST:: SOT 26967 SOS 4941 HAS SOPS 4306 HAS SOUS 4137 HAS SOUPS 3762 WITH SCORE 3766.941
AT ITER 4528 NEW BEST:: SOT 26955 SOS 4915 HAS SOPS 4280 HAS SOUS 4104 HAS SOUPS 3729 WITH SCORE 3733.915
AT ITER 4663 NEW BEST:: SOT 26956 SOS 4900 HAS SOPS 4278 HAS SOUS 4089 HAS SOUPS 3727 WITH SCORE 3731.9
AT ITER 4690 NEW BEST:: SOT 26952 SOS 4896 HAS SOPS 4274 HAS SOUS 4085 HAS SOUPS 3723 WITH SCORE 3727.896
AT ITER 4748 NEW BEST:: SOT 26947 SOS 4892 HAS SOPS 4270 HAS SOUS 4081 HAS SOUPS 3719 WITH SCORE 3723.892
AT ITER 4755 NEW BEST:: SOT 26942 SOS 4886 HAS SOPS 4264 HAS SOUS 4075 HAS SOUPS 3713 WITH SCORE 3717.886
AT ITER 4809 NEW BEST:: SOT 26942 SOS 4882 HAS SOPS 4248 HAS SOUS 4071 HAS SOUPS 3697 WITH SCORE 3701.882
AT ITER 4810 NEW BEST:: SOT 26918 SOS 4858 HAS SOPS 4224 HAS SOUS 4047 HAS SOUPS 3673 WITH SCORE 3677.858
AT ITER 4839 NEW BEST:: SOT 26914 SOS 4855 HAS SOPS 4220 HAS SOUS 4045 HAS SOUPS 3670 WITH SCORE 3674.855
AT ITER 4847 NEW BEST:: SOT 26909 SOS 4850 HAS SOPS 4215 HAS SOUS 4041 HAS SOUPS 3666 WITH SCORE 3670.85
AT ITER 4857 NEW BEST:: SOT 26907 SOS 4849 HAS SOPS 4214 HAS SOUS 4039 HAS SOUPS 3664 WITH SCORE 3668.849
AT ITER 4917 NEW BEST:: SOT 26897 SOS 4839 HAS SOPS 4204 HAS SOUS 4019 HAS SOUPS 3644 WITH SCORE 3648.839
AT ITER 4933 NEW BEST:: SOT 26898 SOS 4837 HAS SOPS 4198 HAS SOUS 4022 HAS SOUPS 3643 WITH SCORE 3647.837
AT ITER 4967 NEW BEST:: SOT 26898 SOS 4822 HAS SOPS 4196 HAS SOUS 4017 HAS SOUPS 3639 WITH SCORE 3643.822
AT ITER 4975 NEW BEST:: SOT 26899 SOS 4834 HAS SOPS 4197 HAS SOUS 4018 HAS SOUPS 3638 WITH SCORE 3642.834
AT ITER 4985 NEW BEST:: SOT 26899 SOS 4812 HAS SOPS 4189 HAS SOUS 4013 HAS SOUPS 3638 WITH SCORE 3642.812
AT ITER 5109 NEW BEST:: SOT 26900 SOS 4811 HAS SOPS 4188 HAS SOUS 4012 HAS SOUPS 3637 WITH SCORE 3641.811
AT ITER 5155 NEW BEST:: SOT 26886 SOS 4800 HAS SOPS 4177 HAS SOUS 4005 HAS SOUPS 3630 WITH SCORE 3634.8
AT ITER 5158 NEW BEST:: SOT 26885 SOS 4828 HAS SOPS 4223 HAS SOUS 3984 HAS SOUPS 3627 WITH SCORE 3631.828
AT ITER 5235 NEW BEST:: SOT 26885 SOS 4824 HAS SOPS 4219 HAS SOUS 3980 HAS SOUPS 3623 WITH SCORE 3627.824
AT ITER 5238 NEW BEST:: SOT 26884 SOS 4821 HAS SOPS 4217 HAS SOUS 3977 HAS SOUPS 3621 WITH SCORE 3625.821
AT ITER 5258 NEW BEST:: SOT 26884 SOS 4821 HAS SOPS 4216 HAS SOUS 3976 HAS SOUPS 3620 WITH SCORE 3624.821
AT ITER 5291 NEW BEST:: SOT 26870 SOS 4807 HAS SOPS 4200 HAS SOUS 3956 HAS SOUPS 3598 WITH SCORE 3602.807
AT ITER 5327 NEW BEST:: SOT 26874 SOS 4756 HAS SOPS 4149 HAS SOUS 3944 HAS SOUPS 3586 WITH SCORE 3590.756
AT ITER 5350 NEW BEST:: SOT 26874 SOS 4754 HAS SOPS 4149 HAS SOUS 3942 HAS SOUPS 3586 WITH SCORE 3590.754
AT ITER 5418 NEW BEST:: SOT 26870 SOS 4749 HAS SOPS 4144 HAS SOUS 3937 HAS SOUPS 3581 WITH SCORE 3585.749
AT ITER 5422 NEW BEST:: SOT 26881 SOS 4734 HAS SOPS 4117 HAS SOUS 3922 HAS SOUPS 3554 WITH SCORE 3558.734
AT ITER 5440 NEW BEST:: SOT 26883 SOS 4733 HAS SOPS 4110 HAS SOUS 3924 HAS SOUPS 3550 WITH SCORE 3554.733
AT ITER 5463 NEW BEST:: SOT 26887 SOS 4721 HAS SOPS 4116 HAS SOUS 3898 HAS SOUPS 3532 WITH SCORE 3536.721
AT ITER 5669 NEW BEST:: SOT 26883 SOS 4713 HAS SOPS 4108 HAS SOUS 3893 HAS SOUPS 3527 WITH SCORE 3531.713
AT ITER 5712 NEW BEST:: SOT 26883 SOS 4715 HAS SOPS 4107 HAS SOUS 3895 HAS SOUPS 3526 WITH SCORE 3530.715
AT ITER 5800 NEW BEST:: SOT 26883 SOS 4711 HAS SOPS 4105 HAS SOUS 3891 HAS SOUPS 3524 WITH SCORE 3528.711
AT ITER 5818 NEW BEST:: SOT 26883 SOS 4708 HAS SOPS 4102 HAS SOUS 3888 HAS SOUPS 3521 WITH SCORE 3525.708
AT ITER 5855 NEW BEST:: SOT 26882 SOS 4707 HAS SOPS 4101 HAS SOUS 3887 HAS SOUPS 3520 WITH SCORE 3524.707
AT ITER 5973 NEW BEST:: SOT 26854 SOS 4685 HAS SOPS 4074 HAS SOUS 3865 HAS SOUPS 3493 WITH SCORE 3497.685
AT ITER 5993 NEW BEST:: SOT 26859 SOS 4680 HAS SOPS 4061 HAS SOUS 3860 HAS SOUPS 3480 WITH SCORE 3484.68
AT ITER 6021 NEW BEST:: SOT 26858 SOS 4679 HAS SOPS 4060 HAS SOUS 3859 HAS SOUPS 3479 WITH SCORE 3483.679
AT ITER 6025 NEW BEST:: SOT 26856 SOS 4678 HAS SOPS 4059 HAS SOUS 3858 HAS SOUPS 3478 WITH SCORE 3482.678
AT ITER 6055 NEW BEST:: SOT 26854 SOS 4676 HAS SOPS 4055 HAS SOUS 3856 HAS SOUPS 3474 WITH SCORE 3478.676
AT ITER 6057 NEW BEST:: SOT 26845 SOS 4671 HAS SOPS 4050 HAS SOUS 3851 HAS SOUPS 3469 WITH SCORE 3473.671
AT ITER 6102 NEW BEST:: SOT 26843 SOS 4669 HAS SOPS 4048 HAS SOUS 3849 HAS SOUPS 3467 WITH SCORE 3471.669
AT ITER 6195 NEW BEST:: SOT 26841 SOS 4667 HAS SOPS 4048 HAS SOUS 3847 HAS SOUPS 3467 WITH SCORE 3471.667
AT ITER 6227 NEW BEST:: SOT 26837 SOS 4661 HAS SOPS 4042 HAS SOUS 3841 HAS SOUPS 3461 WITH SCORE 3465.661
AT ITER 6305 NEW BEST:: SOT 26837 SOS 4651 HAS SOPS 4032 HAS SOUS 3831 HAS SOUPS 3451 WITH SCORE 3455.651
AT ITER 6321 NEW BEST:: SOT 26842 SOS 4648 HAS SOPS 4030 HAS SOUS 3828 HAS SOUPS 3449 WITH SCORE 3453.648
AT ITER 6325 NEW BEST:: SOT 26841 SOS 4647 HAS SOPS 4030 HAS SOUS 3827 HAS SOUPS 3449 WITH SCORE 3453.647
AT ITER 6403 NEW BEST:: SOT 26839 SOS 4645 HAS SOPS 4028 HAS SOUS 3825 HAS SOUPS 3447 WITH SCORE 3451.645
AT ITER 6480 NEW BEST:: SOT 26835 SOS 4638 HAS SOPS 4021 HAS SOUS 3818 HAS SOUPS 3440 WITH SCORE 3444.638
AT ITER 6510 NEW BEST:: SOT 26834 SOS 4637 HAS SOPS 4019 HAS SOUS 3817 HAS SOUPS 3438 WITH SCORE 3442.637
AT ITER 6627 NEW BEST:: SOT 26834 SOS 4634 HAS SOPS 4016 HAS SOUS 3814 HAS SOUPS 3435 WITH SCORE 3439.634
AT ITER 6717 NEW BEST:: SOT 26832 SOS 4624 HAS SOPS 4006 HAS SOUS 3804 HAS SOUPS 3425 WITH SCORE 3429.624
AT ITER 6724 NEW BEST:: SOT 26832 SOS 4617 HAS SOPS 3999 HAS SOUS 3797 HAS SOUPS 3418 WITH SCORE 3422.617
AT ITER 6794 NEW BEST:: SOT 26826 SOS 4611 HAS SOPS 3997 HAS SOUS 3791 HAS SOUPS 3416 WITH SCORE 3420.611
AT ITER 6805 NEW BEST:: SOT 26824 SOS 4607 HAS SOPS 3995 HAS SOUS 3787 HAS SOUPS 3414 WITH SCORE 3418.607
AT ITER 6929 NEW BEST:: SOT 26817 SOS 4593 HAS SOPS 3981 HAS SOUS 3773 HAS SOUPS 3400 WITH SCORE 3404.593
AT ITER 6982 NEW BEST:: SOT 26817 SOS 4589 HAS SOPS 3982 HAS SOUS 3768 HAS SOUPS 3400 WITH SCORE 3404.589
AT ITER 7061 NEW BEST:: SOT 26817 SOS 4587 HAS SOPS 3981 HAS SOUS 3766 HAS SOUPS 3399 WITH SCORE 3403.587
AT ITER 7070 NEW BEST:: SOT 26817 SOS 4588 HAS SOPS 3980 HAS SOUS 3767 HAS SOUPS 3398 WITH SCORE 3402.588
AT ITER 7089 NEW BEST:: SOT 26817 SOS 4582 HAS SOPS 3968 HAS SOUS 3761 HAS SOUPS 3386 WITH SCORE 3390.582
AT ITER 7156 NEW BEST:: SOT 26815 SOS 4580 HAS SOPS 3964 HAS SOUS 3761 HAS SOUPS 3384 WITH SCORE 3388.58
AT ITER 7169 NEW BEST:: SOT 26814 SOS 4590 HAS SOPS 3963 HAS SOUS 3761 HAS SOUPS 3382 WITH SCORE 3386.59
AT ITER 7229 NEW BEST:: SOT 26808 SOS 4567 HAS SOPS 3952 HAS SOUS 3738 HAS SOUPS 3371 WITH SCORE 3375.567
AT ITER 7232 NEW BEST:: SOT 26807 SOS 4562 HAS SOPS 3951 HAS SOUS 3733 HAS SOUPS 3370 WITH SCORE 3374.562
AT ITER 7282 NEW BEST:: SOT 26798 SOS 4550 HAS SOPS 3939 HAS SOUS 3721 HAS SOUPS 3358 WITH SCORE 3362.55
AT ITER 7463 NEW BEST:: SOT 26796 SOS 4546 HAS SOPS 3935 HAS SOUS 3717 HAS SOUPS 3354 WITH SCORE 3358.546
AT ITER 7484 NEW BEST:: SOT 26796 SOS 4544 HAS SOPS 3933 HAS SOUS 3715 HAS SOUPS 3352 WITH SCORE 3356.544
AT ITER 7534 NEW BEST:: SOT 26796 SOS 4544 HAS SOPS 3933 HAS SOUS 3714 HAS SOUPS 3351 WITH SCORE 3355.544
AT ITER 7676 NEW BEST:: SOT 26796 SOS 4544 HAS SOPS 3932 HAS SOUS 3713 HAS SOUPS 3350 WITH SCORE 3354.544
AT ITER 7699 NEW BEST:: SOT 26795 SOS 4543 HAS SOPS 3929 HAS SOUS 3712 HAS SOUPS 3347 WITH SCORE 3351.543
AT ITER 7771 NEW BEST:: SOT 26789 SOS 4421 HAS SOPS 3807 HAS SOUS 3698 HAS SOUPS 3333 WITH SCORE 3337.421
AT ITER 7794 NEW BEST:: SOT 26786 SOS 4418 HAS SOPS 3804 HAS SOUS 3695 HAS SOUPS 3330 WITH SCORE 3334.418
AT ITER 7811 NEW BEST:: SOT 26786 SOS 4416 HAS SOPS 3802 HAS SOUS 3693 HAS SOUPS 3328 WITH SCORE 3332.416
AT ITER 7841 NEW BEST:: SOT 26795 SOS 4425 HAS SOPS 3791 HAS SOUS 3692 HAS SOUPS 3327 WITH SCORE 3331.425
AT ITER 7872 NEW BEST:: SOT 26795 SOS 4423 HAS SOPS 3789 HAS SOUS 3690 HAS SOUPS 3325 WITH SCORE 3329.423
AT ITER 8002 NEW BEST:: SOT 26792 SOS 4422 HAS SOPS 3787 HAS SOUS 3688 HAS SOUPS 3323 WITH SCORE 3327.422
AT ITER 8115 NEW BEST:: SOT 26782 SOS 4414 HAS SOPS 3779 HAS SOUS 3684 HAS SOUPS 3319 WITH SCORE 3323.414
AT ITER 8172 NEW BEST:: SOT 26782 SOS 4411 HAS SOPS 3776 HAS SOUS 3681 HAS SOUPS 3316 WITH SCORE 3320.411
AT ITER 8174 NEW BEST:: SOT 26782 SOS 4402 HAS SOPS 3776 HAS SOUS 3680 HAS SOUPS 3316 WITH SCORE 3320.402
AT ITER 8282 NEW BEST:: SOT 26782 SOS 4402 HAS SOPS 3774 HAS SOUS 3680 HAS SOUPS 3314 WITH SCORE 3318.402
AT ITER 8318 NEW BEST:: SOT 26781 SOS 4401 HAS SOPS 3769 HAS SOUS 3678 HAS SOUPS 3312 WITH SCORE 3316.401
AT ITER 8332 NEW BEST:: SOT 26781 SOS 4393 HAS SOPS 3765 HAS SOUS 3670 HAS SOUPS 3308 WITH SCORE 3312.393
AT ITER 8388 NEW BEST:: SOT 26788 SOS 4364 HAS SOPS 3736 HAS SOUS 3653 HAS SOUPS 3291 WITH SCORE 3295.364
AT ITER 8462 NEW BEST:: SOT 26780 SOS 4356 HAS SOPS 3736 HAS SOUS 3652 HAS SOUPS 3290 WITH SCORE 3294.356
AT ITER 8477 NEW BEST:: SOT 26775 SOS 4350 HAS SOPS 3730 HAS SOUS 3646 HAS SOUPS 3284 WITH SCORE 3288.35
AT ITER 8613 NEW BEST:: SOT 26767 SOS 4338 HAS SOPS 3718 HAS SOUS 3634 HAS SOUPS 3272 WITH SCORE 3276.338
AT ITER 8807 NEW BEST:: SOT 26767 SOS 4337 HAS SOPS 3717 HAS SOUS 3633 HAS SOUPS 3271 WITH SCORE 3275.337
AT ITER 8857 NEW BEST:: SOT 26767 SOS 4335 HAS SOPS 3717 HAS SOUS 3631 HAS SOUPS 3271 WITH SCORE 3275.335
AT ITER 8926 NEW BEST:: SOT 26766 SOS 4334 HAS SOPS 3715 HAS SOUS 3630 HAS SOUPS 3269 WITH SCORE 3273.334
AT ITER 9062 NEW BEST:: SOT 26765 SOS 4317 HAS SOPS 3704 HAS SOUS 3621 HAS SOUPS 3259 WITH SCORE 3263.317
AT ITER 9077 NEW BEST:: SOT 26765 SOS 4312 HAS SOPS 3702 HAS SOUS 3616 HAS SOUPS 3257 WITH SCORE 3261.312
AT ITER 9279 NEW BEST:: SOT 26769 SOS 4306 HAS SOPS 3696 HAS SOUS 3610 HAS SOUPS 3251 WITH SCORE 3255.306
AT ITER 9440 NEW BEST:: SOT 26752 SOS 4298 HAS SOPS 3686 HAS SOUS 3600 HAS SOUPS 3239 WITH SCORE 3243.298
AT ITER 9494 NEW BEST:: SOT 26752 SOS 4298 HAS SOPS 3686 HAS SOUS 3599 HAS SOUPS 3238 WITH SCORE 3242.298
AT ITER 9517 NEW BEST:: SOT 26752 SOS 4297 HAS SOPS 3686 HAS SOUS 3597 HAS SOUPS 3237 WITH SCORE 3241.297
AT ITER 9619 NEW BEST:: SOT 26748 SOS 4295 HAS SOPS 3684 HAS SOUS 3595 HAS SOUPS 3235 WITH SCORE 3239.295
AT ITER 9666 NEW BEST:: SOT 26747 SOS 4294 HAS SOPS 3682 HAS SOUS 3594 HAS SOUPS 3233 WITH SCORE 3237.294
AT ITER 9693 NEW BEST:: SOT 26747 SOS 4294 HAS SOPS 3682 HAS SOUS 3593 HAS SOUPS 3232 WITH SCORE 3236.294
AT ITER 9787 NEW BEST:: SOT 26744 SOS 4292 HAS SOPS 3680 HAS SOUS 3591 HAS SOUPS 3230 WITH SCORE 3234.292
AT ITER 9837 NEW BEST:: SOT 26748 SOS 4240 HAS SOPS 3664 HAS SOUS 3581 HAS SOUPS 3221 WITH SCORE 3225.24
AT ITER 9919 NEW BEST:: SOT 26752 SOS 4257 HAS SOPS 3665 HAS SOUS 3592 HAS SOUPS 3219 WITH SCORE 3223.257
AT ITER 9930 NEW BEST:: SOT 26752 SOS 4254 HAS SOPS 3663 HAS SOUS 3589 HAS SOUPS 3217 WITH SCORE 3221.254
AT ITER 9973 NEW BEST:: SOT 26745 SOS 4203 HAS SOPS 3655 HAS SOUS 3573 HAS SOUPS 3207 WITH SCORE 3211.203
STATE_SPACE STATES 1465206 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 36 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 5922650 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589644826944

--------------------
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="ParamProductionCell-PT-3"
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 ParamProductionCell-PT-3, 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 r108-csrt-158961250600496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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