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-158961250600480.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-1, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250600480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 3.8K Apr 13 14:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K 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 3.8K Apr 13 12:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 13 12:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 13 14:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 13 14:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Apr 13 14:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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 1589644691631

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 1
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 27794 SOS 6070 HAS SOPS 5685 HAS SOUS 5563 HAS SOUPS 5288 WITH SCORE 5294.07
AT ITER 8 NEW BEST:: SOT 27791 SOS 6067 HAS SOPS 5682 HAS SOUS 5560 HAS SOUPS 5285 WITH SCORE 5291.067
AT ITER 15 NEW BEST:: SOT 27783 SOS 6066 HAS SOPS 5681 HAS SOUS 5559 HAS SOUPS 5284 WITH SCORE 5290.066
AT ITER 30 NEW BEST:: SOT 27806 SOS 6055 HAS SOPS 5592 HAS SOUS 5562 HAS SOUPS 5248 WITH SCORE 5254.055
AT ITER 52 NEW BEST:: SOT 27791 SOS 6028 HAS SOPS 5577 HAS SOUS 5534 HAS SOUPS 5223 WITH SCORE 5229.028
AT ITER 62 NEW BEST:: SOT 27781 SOS 6033 HAS SOPS 5567 HAS SOUS 5539 HAS SOUPS 5213 WITH SCORE 5219.033
AT ITER 68 NEW BEST:: SOT 27781 SOS 6022 HAS SOPS 5556 HAS SOUS 5528 HAS SOUPS 5202 WITH SCORE 5208.022
AT ITER 80 NEW BEST:: SOT 27735 SOS 5956 HAS SOPS 5537 HAS SOUS 5487 HAS SOUPS 5183 WITH SCORE 5188.956
AT ITER 108 NEW BEST:: SOT 27725 SOS 5946 HAS SOPS 5517 HAS SOUS 5483 HAS SOUPS 5169 WITH SCORE 5174.946
AT ITER 116 NEW BEST:: SOT 27725 SOS 5941 HAS SOPS 5512 HAS SOUS 5478 HAS SOUPS 5164 WITH SCORE 5169.941
AT ITER 132 NEW BEST:: SOT 27709 SOS 5909 HAS SOPS 5464 HAS SOUS 5446 HAS SOUPS 5116 WITH SCORE 5121.909
AT ITER 161 NEW BEST:: SOT 27747 SOS 5928 HAS SOPS 5418 HAS SOUS 5459 HAS SOUPS 5103 WITH SCORE 5108.928
AT ITER 189 NEW BEST:: SOT 27739 SOS 5920 HAS SOPS 5402 HAS SOUS 5451 HAS SOUPS 5095 WITH SCORE 5100.92
AT ITER 194 NEW BEST:: SOT 27730 SOS 5911 HAS SOPS 5384 HAS SOUS 5448 HAS SOUPS 5083 WITH SCORE 5088.911
AT ITER 197 NEW BEST:: SOT 27737 SOS 5902 HAS SOPS 5382 HAS SOUS 5434 HAS SOUPS 5081 WITH SCORE 5086.902
AT ITER 203 NEW BEST:: SOT 27712 SOS 5870 HAS SOPS 5325 HAS SOUS 5383 HAS SOUPS 5024 WITH SCORE 5029.87
AT ITER 213 NEW BEST:: SOT 27709 SOS 5867 HAS SOPS 5319 HAS SOUS 5374 HAS SOUPS 5015 WITH SCORE 5020.867
AT ITER 216 NEW BEST:: SOT 27692 SOS 5837 HAS SOPS 5299 HAS SOUS 5344 HAS SOUPS 4995 WITH SCORE 5000.837
AT ITER 253 NEW BEST:: SOT 27674 SOS 5831 HAS SOPS 5275 HAS SOUS 5326 HAS SOUPS 4971 WITH SCORE 4976.831
AT ITER 263 NEW BEST:: SOT 27668 SOS 5841 HAS SOPS 5282 HAS SOUS 5325 HAS SOUPS 4970 WITH SCORE 4975.841
AT ITER 270 NEW BEST:: SOT 27632 SOS 5805 HAS SOPS 5240 HAS SOUS 5286 HAS SOUPS 4928 WITH SCORE 4933.805
AT ITER 299 NEW BEST:: SOT 27632 SOS 5813 HAS SOPS 5240 HAS SOUS 5284 HAS SOUPS 4926 WITH SCORE 4931.813
AT ITER 345 NEW BEST:: SOT 27632 SOS 5807 HAS SOPS 5234 HAS SOUS 5278 HAS SOUPS 4920 WITH SCORE 4925.807
AT ITER 351 NEW BEST:: SOT 27632 SOS 5789 HAS SOPS 5209 HAS SOUS 5274 HAS SOUPS 4909 WITH SCORE 4914.789
AT ITER 395 NEW BEST:: SOT 27628 SOS 5777 HAS SOPS 5197 HAS SOUS 5262 HAS SOUPS 4897 WITH SCORE 4902.777
AT ITER 418 NEW BEST:: SOT 27627 SOS 5776 HAS SOPS 5199 HAS SOUS 5261 HAS SOUPS 4897 WITH SCORE 4902.776
AT ITER 428 NEW BEST:: SOT 27619 SOS 5721 HAS SOPS 5172 HAS SOUS 5240 HAS SOUPS 4890 WITH SCORE 4895.721
AT ITER 429 NEW BEST:: SOT 27603 SOS 5717 HAS SOPS 5172 HAS SOUS 5240 HAS SOUPS 4890 WITH SCORE 4895.717
AT ITER 455 NEW BEST:: SOT 27578 SOS 5720 HAS SOPS 5175 HAS SOUS 5225 HAS SOUPS 4875 WITH SCORE 4880.72
AT ITER 463 NEW BEST:: SOT 27573 SOS 5708 HAS SOPS 5158 HAS SOUS 5213 HAS SOUPS 4858 WITH SCORE 4863.708
AT ITER 490 NEW BEST:: SOT 27549 SOS 5687 HAS SOPS 5110 HAS SOUS 5190 HAS SOUPS 4810 WITH SCORE 4815.687
AT ITER 557 NEW BEST:: SOT 27533 SOS 5664 HAS SOPS 5071 HAS SOUS 5168 HAS SOUPS 4787 WITH SCORE 4792.664
AT ITER 582 NEW BEST:: SOT 27527 SOS 5662 HAS SOPS 5070 HAS SOUS 5166 HAS SOUPS 4786 WITH SCORE 4791.662
AT ITER 605 NEW BEST:: SOT 27527 SOS 5655 HAS SOPS 5063 HAS SOUS 5160 HAS SOUPS 4780 WITH SCORE 4785.655
AT ITER 633 NEW BEST:: SOT 27528 SOS 5657 HAS SOPS 5056 HAS SOUS 5162 HAS SOUPS 4773 WITH SCORE 4778.657
AT ITER 635 NEW BEST:: SOT 27519 SOS 5652 HAS SOPS 5042 HAS SOUS 5157 HAS SOUPS 4759 WITH SCORE 4764.652
AT ITER 670 NEW BEST:: SOT 27519 SOS 5643 HAS SOPS 5042 HAS SOUS 5148 HAS SOUPS 4759 WITH SCORE 4764.643
AT ITER 683 NEW BEST:: SOT 27517 SOS 5641 HAS SOPS 5040 HAS SOUS 5146 HAS SOUPS 4757 WITH SCORE 4762.641
AT ITER 687 NEW BEST:: SOT 27517 SOS 5615 HAS SOPS 5025 HAS SOUS 5131 HAS SOUPS 4752 WITH SCORE 4757.615
AT ITER 712 NEW BEST:: SOT 27517 SOS 5613 HAS SOPS 5025 HAS SOUS 5129 HAS SOUPS 4752 WITH SCORE 4757.613
AT ITER 741 NEW BEST:: SOT 27486 SOS 5624 HAS SOPS 5021 HAS SOUS 5117 HAS SOUPS 4732 WITH SCORE 4737.624
AT ITER 779 NEW BEST:: SOT 27496 SOS 5610 HAS SOPS 5007 HAS SOUS 5103 HAS SOUPS 4718 WITH SCORE 4723.61
AT ITER 801 NEW BEST:: SOT 27490 SOS 5605 HAS SOPS 4995 HAS SOUS 5090 HAS SOUPS 4705 WITH SCORE 4710.605
AT ITER 815 NEW BEST:: SOT 27477 SOS 5610 HAS SOPS 4985 HAS SOUS 5093 HAS SOUPS 4694 WITH SCORE 4699.61
AT ITER 835 NEW BEST:: SOT 27425 SOS 5859 HAS SOPS 5234 HAS SOUS 5067 HAS SOUPS 4668 WITH SCORE 4673.859
AT ITER 848 NEW BEST:: SOT 27425 SOS 5855 HAS SOPS 5230 HAS SOUS 5063 HAS SOUPS 4664 WITH SCORE 4669.855
AT ITER 895 NEW BEST:: SOT 27425 SOS 5793 HAS SOPS 5170 HAS SOUS 5060 HAS SOUPS 4661 WITH SCORE 4666.793
AT ITER 907 NEW BEST:: SOT 27423 SOS 5791 HAS SOPS 5166 HAS SOUS 5056 HAS SOUPS 4657 WITH SCORE 4662.791
AT ITER 910 NEW BEST:: SOT 27416 SOS 5793 HAS SOPS 5162 HAS SOUS 5052 HAS SOUPS 4653 WITH SCORE 4658.793
AT ITER 932 NEW BEST:: SOT 27410 SOS 5782 HAS SOPS 5150 HAS SOUS 5040 HAS SOUPS 4641 WITH SCORE 4646.782
AT ITER 979 NEW BEST:: SOT 27408 SOS 5780 HAS SOPS 5148 HAS SOUS 5038 HAS SOUPS 4639 WITH SCORE 4644.78
AT ITER 982 NEW BEST:: SOT 27405 SOS 5761 HAS SOPS 5136 HAS SOUS 5018 HAS SOUPS 4627 WITH SCORE 4632.761
AT ITER 998 NEW BEST:: SOT 27404 SOS 5760 HAS SOPS 5134 HAS SOUS 5017 HAS SOUPS 4625 WITH SCORE 4630.76
AT ITER 1044 NEW BEST:: SOT 27386 SOS 5747 HAS SOPS 5121 HAS SOUS 4998 HAS SOUPS 4606 WITH SCORE 4611.747
AT ITER 1111 NEW BEST:: SOT 27290 SOS 5977 HAS SOPS 5178 HAS SOUS 4902 HAS SOUPS 4492 WITH SCORE 4497.977
AT ITER 1116 NEW BEST:: SOT 27290 SOS 5973 HAS SOPS 5178 HAS SOUS 4898 HAS SOUPS 4492 WITH SCORE 4497.973
AT ITER 1121 NEW BEST:: SOT 27284 SOS 5961 HAS SOPS 5166 HAS SOUS 4886 HAS SOUPS 4480 WITH SCORE 4485.961
AT ITER 1153 NEW BEST:: SOT 27284 SOS 5965 HAS SOPS 5170 HAS SOUS 4881 HAS SOUPS 4475 WITH SCORE 4480.965
AT ITER 1173 NEW BEST:: SOT 27285 SOS 5966 HAS SOPS 5171 HAS SOUS 4877 HAS SOUPS 4471 WITH SCORE 4476.966
AT ITER 1195 NEW BEST:: SOT 27273 SOS 5954 HAS SOPS 5159 HAS SOUS 4877 HAS SOUPS 4471 WITH SCORE 4476.954
AT ITER 1271 NEW BEST:: SOT 27273 SOS 5945 HAS SOPS 5150 HAS SOUS 4868 HAS SOUPS 4462 WITH SCORE 4467.945
AT ITER 1355 NEW BEST:: SOT 27273 SOS 5944 HAS SOPS 5149 HAS SOUS 4867 HAS SOUPS 4461 WITH SCORE 4466.944
AT ITER 1378 NEW BEST:: SOT 27273 SOS 5948 HAS SOPS 5148 HAS SOUS 4871 HAS SOUPS 4460 WITH SCORE 4465.948
AT ITER 1449 NEW BEST:: SOT 27252 SOS 5921 HAS SOPS 5142 HAS SOUS 4844 HAS SOUPS 4454 WITH SCORE 4459.921
AT ITER 1459 NEW BEST:: SOT 27248 SOS 5912 HAS SOPS 5133 HAS SOUS 4835 HAS SOUPS 4445 WITH SCORE 4450.912
AT ITER 1461 NEW BEST:: SOT 27242 SOS 5912 HAS SOPS 5127 HAS SOUS 4835 HAS SOUPS 4439 WITH SCORE 4444.912
AT ITER 1476 NEW BEST:: SOT 27242 SOS 5909 HAS SOPS 5125 HAS SOUS 4835 HAS SOUPS 4439 WITH SCORE 4444.909
AT ITER 1494 NEW BEST:: SOT 27237 SOS 5897 HAS SOPS 5113 HAS SOUS 4823 HAS SOUPS 4427 WITH SCORE 4432.897
AT ITER 1543 NEW BEST:: SOT 27263 SOS 5569 HAS SOPS 4898 HAS SOUS 4795 HAS SOUPS 4415 WITH SCORE 4420.569
AT ITER 1552 NEW BEST:: SOT 27254 SOS 5550 HAS SOPS 4882 HAS SOUS 4782 HAS SOUPS 4403 WITH SCORE 4408.55
AT ITER 1563 NEW BEST:: SOT 27247 SOS 5543 HAS SOPS 4875 HAS SOUS 4775 HAS SOUPS 4396 WITH SCORE 4401.543
AT ITER 1593 NEW BEST:: SOT 27236 SOS 5532 HAS SOPS 4859 HAS SOUS 4764 HAS SOUPS 4380 WITH SCORE 4385.532
AT ITER 1594 NEW BEST:: SOT 27233 SOS 5525 HAS SOPS 4853 HAS SOUS 4757 HAS SOUPS 4374 WITH SCORE 4379.525
AT ITER 1610 NEW BEST:: SOT 27232 SOS 5523 HAS SOPS 4851 HAS SOUS 4754 HAS SOUPS 4371 WITH SCORE 4376.523
AT ITER 1623 NEW BEST:: SOT 27237 SOS 5478 HAS SOPS 4857 HAS SOUS 4740 HAS SOUPS 4366 WITH SCORE 4371.478
AT ITER 1642 NEW BEST:: SOT 27237 SOS 5465 HAS SOPS 4839 HAS SOUS 4737 HAS SOUPS 4358 WITH SCORE 4363.465
AT ITER 1706 NEW BEST:: SOT 27234 SOS 5462 HAS SOPS 4836 HAS SOUS 4730 HAS SOUPS 4351 WITH SCORE 4356.462
AT ITER 1713 NEW BEST:: SOT 27238 SOS 5479 HAS SOPS 4833 HAS SOUS 4747 HAS SOUPS 4348 WITH SCORE 4353.479
AT ITER 1749 NEW BEST:: SOT 27211 SOS 5422 HAS SOPS 4806 HAS SOUS 4722 HAS SOUPS 4333 WITH SCORE 4338.422
AT ITER 1762 NEW BEST:: SOT 27210 SOS 5421 HAS SOPS 4806 HAS SOUS 4721 HAS SOUPS 4333 WITH SCORE 4338.421
AT ITER 1797 NEW BEST:: SOT 27199 SOS 5400 HAS SOPS 4785 HAS SOUS 4709 HAS SOUPS 4321 WITH SCORE 4326.4
AT ITER 1838 NEW BEST:: SOT 27196 SOS 5392 HAS SOPS 4779 HAS SOUS 4701 HAS SOUPS 4315 WITH SCORE 4320.392
AT ITER 1847 NEW BEST:: SOT 27169 SOS 5395 HAS SOPS 4782 HAS SOUS 4681 HAS SOUPS 4295 WITH SCORE 4300.395
AT ITER 1852 NEW BEST:: SOT 27156 SOS 5395 HAS SOPS 4782 HAS SOUS 4677 HAS SOUPS 4291 WITH SCORE 4296.395
AT ITER 1862 NEW BEST:: SOT 27150 SOS 5389 HAS SOPS 4803 HAS SOUS 4676 HAS SOUPS 4290 WITH SCORE 4295.389
AT ITER 1947 NEW BEST:: SOT 27150 SOS 5389 HAS SOPS 4803 HAS SOUS 4675 HAS SOUPS 4289 WITH SCORE 4294.389
AT ITER 1954 NEW BEST:: SOT 27149 SOS 5388 HAS SOPS 4802 HAS SOUS 4674 HAS SOUPS 4288 WITH SCORE 4293.388
AT ITER 1978 NEW BEST:: SOT 27151 SOS 5382 HAS SOPS 4788 HAS SOUS 4675 HAS SOUPS 4281 WITH SCORE 4286.382
AT ITER 1993 NEW BEST:: SOT 27123 SOS 5339 HAS SOPS 4745 HAS SOUS 4647 HAS SOUPS 4253 WITH SCORE 4258.339
AT ITER 2033 NEW BEST:: SOT 27102 SOS 5302 HAS SOPS 4708 HAS SOUS 4612 HAS SOUPS 4218 WITH SCORE 4223.302
AT ITER 2052 NEW BEST:: SOT 27108 SOS 5308 HAS SOPS 4714 HAS SOUS 4608 HAS SOUPS 4214 WITH SCORE 4219.308
AT ITER 2056 NEW BEST:: SOT 27095 SOS 5295 HAS SOPS 4701 HAS SOUS 4593 HAS SOUPS 4197 WITH SCORE 4202.295
AT ITER 2059 NEW BEST:: SOT 27095 SOS 5267 HAS SOPS 4691 HAS SOUS 4566 HAS SOUPS 4170 WITH SCORE 4175.267
AT ITER 2087 NEW BEST:: SOT 27094 SOS 5261 HAS SOPS 4686 HAS SOUS 4563 HAS SOUPS 4167 WITH SCORE 4172.261
AT ITER 2141 NEW BEST:: SOT 27048 SOS 5234 HAS SOPS 4659 HAS SOUS 4536 HAS SOUPS 4140 WITH SCORE 4145.234
AT ITER 2148 NEW BEST:: SOT 27046 SOS 5230 HAS SOPS 4654 HAS SOUS 4531 HAS SOUPS 4135 WITH SCORE 4140.23
AT ITER 2156 NEW BEST:: SOT 27046 SOS 5219 HAS SOPS 4648 HAS SOUS 4529 HAS SOUPS 4135 WITH SCORE 4140.219
AT ITER 2176 NEW BEST:: SOT 27045 SOS 5218 HAS SOPS 4647 HAS SOUS 4524 HAS SOUPS 4130 WITH SCORE 4135.218
AT ITER 2190 NEW BEST:: SOT 27043 SOS 5217 HAS SOPS 4646 HAS SOUS 4523 HAS SOUPS 4129 WITH SCORE 4134.217
AT ITER 2196 NEW BEST:: SOT 27067 SOS 5164 HAS SOPS 4639 HAS SOUS 4516 HAS SOUPS 4120 WITH SCORE 4125.164
AT ITER 2271 NEW BEST:: SOT 27055 SOS 5160 HAS SOPS 4641 HAS SOUS 4499 HAS SOUPS 4103 WITH SCORE 4108.16
AT ITER 2276 NEW BEST:: SOT 27044 SOS 5139 HAS SOPS 4627 HAS SOUS 4487 HAS SOUPS 4091 WITH SCORE 4096.139
AT ITER 2312 NEW BEST:: SOT 27042 SOS 5131 HAS SOPS 4619 HAS SOUS 4483 HAS SOUPS 4087 WITH SCORE 4092.131
AT ITER 2376 NEW BEST:: SOT 27038 SOS 5121 HAS SOPS 4605 HAS SOUS 4459 HAS SOUPS 4065 WITH SCORE 4070.121
AT ITER 2441 NEW BEST:: SOT 27030 SOS 5113 HAS SOPS 4597 HAS SOUS 4451 HAS SOUPS 4057 WITH SCORE 4062.113
AT ITER 2478 NEW BEST:: SOT 27017 SOS 5101 HAS SOPS 4579 HAS SOUS 4439 HAS SOUPS 4039 WITH SCORE 4044.101
AT ITER 2481 NEW BEST:: SOT 27015 SOS 5099 HAS SOPS 4575 HAS SOUS 4439 HAS SOUPS 4037 WITH SCORE 4042.099
AT ITER 2511 NEW BEST:: SOT 27013 SOS 5097 HAS SOPS 4573 HAS SOUS 4437 HAS SOUPS 4035 WITH SCORE 4040.097
AT ITER 2547 NEW BEST:: SOT 27024 SOS 5117 HAS SOPS 4587 HAS SOUS 4431 HAS SOUPS 4029 WITH SCORE 4034.117
AT ITER 2617 NEW BEST:: SOT 27018 SOS 5114 HAS SOPS 4584 HAS SOUS 4428 HAS SOUPS 4026 WITH SCORE 4031.114
AT ITER 2655 NEW BEST:: SOT 27017 SOS 5113 HAS SOPS 4583 HAS SOUS 4427 HAS SOUPS 4025 WITH SCORE 4030.113
AT ITER 2671 NEW BEST:: SOT 27015 SOS 5111 HAS SOPS 4581 HAS SOUS 4410 HAS SOUPS 4008 WITH SCORE 4013.111
AT ITER 2714 NEW BEST:: SOT 27019 SOS 5115 HAS SOPS 4585 HAS SOUS 4409 HAS SOUPS 4007 WITH SCORE 4012.115
AT ITER 2724 NEW BEST:: SOT 27019 SOS 5111 HAS SOPS 4585 HAS SOUS 4405 HAS SOUPS 4007 WITH SCORE 4012.111
AT ITER 2817 NEW BEST:: SOT 27014 SOS 5101 HAS SOPS 4568 HAS SOUS 4394 HAS SOUPS 3989 WITH SCORE 3994.101
AT ITER 2825 NEW BEST:: SOT 27028 SOS 5101 HAS SOPS 4543 HAS SOUS 4374 HAS SOUPS 3969 WITH SCORE 3974.101
AT ITER 2848 NEW BEST:: SOT 27026 SOS 5099 HAS SOPS 4541 HAS SOUS 4372 HAS SOUPS 3967 WITH SCORE 3972.099
AT ITER 2856 NEW BEST:: SOT 27023 SOS 5096 HAS SOPS 4535 HAS SOUS 4367 HAS SOUPS 3962 WITH SCORE 3967.096
AT ITER 2883 NEW BEST:: SOT 27022 SOS 5095 HAS SOPS 4533 HAS SOUS 4366 HAS SOUPS 3960 WITH SCORE 3965.095
AT ITER 2908 NEW BEST:: SOT 27021 SOS 5092 HAS SOPS 4531 HAS SOUS 4363 HAS SOUPS 3958 WITH SCORE 3963.092
AT ITER 2952 NEW BEST:: SOT 27024 SOS 5081 HAS SOPS 4525 HAS SOUS 4360 HAS SOUPS 3957 WITH SCORE 3962.081
AT ITER 2987 NEW BEST:: SOT 27022 SOS 5075 HAS SOPS 4519 HAS SOUS 4354 HAS SOUPS 3951 WITH SCORE 3956.075
AT ITER 3020 NEW BEST:: SOT 27019 SOS 5028 HAS SOPS 4498 HAS SOUS 4339 HAS SOUPS 3937 WITH SCORE 3942.028
AT ITER 3032 NEW BEST:: SOT 27018 SOS 5027 HAS SOPS 4497 HAS SOUS 4338 HAS SOUPS 3936 WITH SCORE 3941.027
AT ITER 3072 NEW BEST:: SOT 27016 SOS 5024 HAS SOPS 4497 HAS SOUS 4335 HAS SOUPS 3936 WITH SCORE 3941.024
AT ITER 3085 NEW BEST:: SOT 27018 SOS 5022 HAS SOPS 4495 HAS SOUS 4335 HAS SOUPS 3936 WITH SCORE 3941.022
AT ITER 3143 NEW BEST:: SOT 27017 SOS 5021 HAS SOPS 4494 HAS SOUS 4334 HAS SOUPS 3935 WITH SCORE 3940.021
AT ITER 3151 NEW BEST:: SOT 26987 SOS 4991 HAS SOPS 4479 HAS SOUS 4315 HAS SOUPS 3921 WITH SCORE 3925.991
AT ITER 3175 NEW BEST:: SOT 26986 SOS 4985 HAS SOPS 4473 HAS SOUS 4314 HAS SOUPS 3920 WITH SCORE 3924.985
AT ITER 3190 NEW BEST:: SOT 26984 SOS 4982 HAS SOPS 4470 HAS SOUS 4311 HAS SOUPS 3917 WITH SCORE 3921.982
AT ITER 3253 NEW BEST:: SOT 26983 SOS 4981 HAS SOPS 4469 HAS SOUS 4309 HAS SOUPS 3915 WITH SCORE 3919.981
AT ITER 3270 NEW BEST:: SOT 26983 SOS 4981 HAS SOPS 4469 HAS SOUS 4308 HAS SOUPS 3914 WITH SCORE 3918.981
AT ITER 3278 NEW BEST:: SOT 26980 SOS 4978 HAS SOPS 4466 HAS SOUS 4305 HAS SOUPS 3911 WITH SCORE 3915.978
AT ITER 3291 NEW BEST:: SOT 26977 SOS 4975 HAS SOPS 4469 HAS SOUS 4305 HAS SOUPS 3911 WITH SCORE 3915.975
AT ITER 3338 NEW BEST:: SOT 26989 SOS 4978 HAS SOPS 4457 HAS SOUS 4309 HAS SOUPS 3900 WITH SCORE 3904.978
AT ITER 3395 NEW BEST:: SOT 26988 SOS 4976 HAS SOPS 4455 HAS SOUS 4306 HAS SOUPS 3897 WITH SCORE 3901.976
AT ITER 3436 NEW BEST:: SOT 26966 SOS 4927 HAS SOPS 4433 HAS SOUS 4257 HAS SOUPS 3875 WITH SCORE 3879.927
AT ITER 3504 NEW BEST:: SOT 26963 SOS 4921 HAS SOPS 4427 HAS SOUS 4251 HAS SOUPS 3869 WITH SCORE 3873.921
AT ITER 3543 NEW BEST:: SOT 26956 SOS 4914 HAS SOPS 4420 HAS SOUS 4244 HAS SOUPS 3862 WITH SCORE 3866.914
AT ITER 3565 NEW BEST:: SOT 26955 SOS 4913 HAS SOPS 4419 HAS SOUS 4243 HAS SOUPS 3861 WITH SCORE 3865.913
AT ITER 3603 NEW BEST:: SOT 26955 SOS 4913 HAS SOPS 4416 HAS SOUS 4243 HAS SOUPS 3858 WITH SCORE 3862.913
AT ITER 3780 NEW BEST:: SOT 26950 SOS 4906 HAS SOPS 4409 HAS SOUS 4236 HAS SOUPS 3851 WITH SCORE 3855.906
AT ITER 3782 NEW BEST:: SOT 26950 SOS 4906 HAS SOPS 4409 HAS SOUS 4230 HAS SOUPS 3845 WITH SCORE 3849.906
AT ITER 3869 NEW BEST:: SOT 26950 SOS 4903 HAS SOPS 4409 HAS SOUS 4227 HAS SOUPS 3845 WITH SCORE 3849.903
AT ITER 3895 NEW BEST:: SOT 26929 SOS 4867 HAS SOPS 4393 HAS SOUS 4191 HAS SOUPS 3829 WITH SCORE 3833.867
AT ITER 3962 NEW BEST:: SOT 26918 SOS 4859 HAS SOPS 4385 HAS SOUS 4182 HAS SOUPS 3820 WITH SCORE 3824.859
AT ITER 3963 NEW BEST:: SOT 26918 SOS 4855 HAS SOPS 4383 HAS SOUS 4182 HAS SOUPS 3820 WITH SCORE 3824.855
AT ITER 4046 NEW BEST:: SOT 26930 SOS 4785 HAS SOPS 4338 HAS SOUS 4155 HAS SOUPS 3789 WITH SCORE 3793.785
AT ITER 4108 NEW BEST:: SOT 26927 SOS 4782 HAS SOPS 4335 HAS SOUS 4152 HAS SOUPS 3786 WITH SCORE 3790.782
AT ITER 4165 NEW BEST:: SOT 26925 SOS 4780 HAS SOPS 4333 HAS SOUS 4150 HAS SOUPS 3784 WITH SCORE 3788.78
AT ITER 4221 NEW BEST:: SOT 26925 SOS 4779 HAS SOPS 4332 HAS SOUS 4149 HAS SOUPS 3783 WITH SCORE 3787.779
AT ITER 4244 NEW BEST:: SOT 26924 SOS 4778 HAS SOPS 4331 HAS SOUS 4148 HAS SOUPS 3782 WITH SCORE 3786.778
AT ITER 4326 NEW BEST:: SOT 26923 SOS 4776 HAS SOPS 4329 HAS SOUS 4146 HAS SOUPS 3780 WITH SCORE 3784.776
AT ITER 4355 NEW BEST:: SOT 26916 SOS 4769 HAS SOPS 4322 HAS SOUS 4139 HAS SOUPS 3773 WITH SCORE 3777.769
AT ITER 4372 NEW BEST:: SOT 26910 SOS 4767 HAS SOPS 4320 HAS SOUS 4137 HAS SOUPS 3771 WITH SCORE 3775.767
AT ITER 4381 NEW BEST:: SOT 26910 SOS 4759 HAS SOPS 4320 HAS SOUS 4129 HAS SOUPS 3771 WITH SCORE 3775.759
AT ITER 4387 NEW BEST:: SOT 26909 SOS 4758 HAS SOPS 4319 HAS SOUS 4128 HAS SOUPS 3770 WITH SCORE 3774.758
AT ITER 4426 NEW BEST:: SOT 26908 SOS 4756 HAS SOPS 4318 HAS SOUS 4126 HAS SOUPS 3769 WITH SCORE 3773.756
AT ITER 4441 NEW BEST:: SOT 26906 SOS 4763 HAS SOPS 4316 HAS SOUS 4133 HAS SOUPS 3767 WITH SCORE 3771.763
AT ITER 4467 NEW BEST:: SOT 26892 SOS 4757 HAS SOPS 4326 HAS SOUS 4106 HAS SOUPS 3754 WITH SCORE 3758.757
AT ITER 4479 NEW BEST:: SOT 26892 SOS 4747 HAS SOPS 4326 HAS SOUS 4096 HAS SOUPS 3754 WITH SCORE 3758.747
AT ITER 4500 NEW BEST:: SOT 26897 SOS 4719 HAS SOPS 4302 HAS SOUS 4089 HAS SOUPS 3750 WITH SCORE 3754.719
AT ITER 4516 NEW BEST:: SOT 26904 SOS 4719 HAS SOPS 4298 HAS SOUS 4093 HAS SOUPS 3749 WITH SCORE 3753.719
AT ITER 4517 NEW BEST:: SOT 26898 SOS 4705 HAS SOPS 4278 HAS SOUS 4074 HAS SOUPS 3729 WITH SCORE 3733.705
AT ITER 4538 NEW BEST:: SOT 26888 SOS 4694 HAS SOPS 4267 HAS SOUS 4049 HAS SOUPS 3704 WITH SCORE 3708.694
AT ITER 4549 NEW BEST:: SOT 26888 SOS 4694 HAS SOPS 4261 HAS SOUS 4049 HAS SOUPS 3698 WITH SCORE 3702.694
AT ITER 4552 NEW BEST:: SOT 26888 SOS 4688 HAS SOPS 4255 HAS SOUS 4043 HAS SOUPS 3692 WITH SCORE 3696.688
AT ITER 4706 NEW BEST:: SOT 26881 SOS 4675 HAS SOPS 4242 HAS SOUS 4030 HAS SOUPS 3679 WITH SCORE 3683.675
AT ITER 4720 NEW BEST:: SOT 26877 SOS 4668 HAS SOPS 4235 HAS SOUS 4024 HAS SOUPS 3673 WITH SCORE 3677.668
AT ITER 4820 NEW BEST:: SOT 26879 SOS 4634 HAS SOPS 4219 HAS SOUS 4000 HAS SOUPS 3657 WITH SCORE 3661.634
AT ITER 4839 NEW BEST:: SOT 26874 SOS 4623 HAS SOPS 4209 HAS SOUS 3989 HAS SOUPS 3647 WITH SCORE 3651.623
AT ITER 4889 NEW BEST:: SOT 26871 SOS 4617 HAS SOPS 4203 HAS SOUS 3985 HAS SOUPS 3643 WITH SCORE 3647.617
AT ITER 4950 NEW BEST:: SOT 26869 SOS 4615 HAS SOPS 4201 HAS SOUS 3983 HAS SOUPS 3641 WITH SCORE 3645.615
AT ITER 5077 NEW BEST:: SOT 26854 SOS 4604 HAS SOPS 4190 HAS SOUS 3968 HAS SOUPS 3626 WITH SCORE 3630.604
AT ITER 5111 NEW BEST:: SOT 26854 SOS 4602 HAS SOPS 4188 HAS SOUS 3966 HAS SOUPS 3624 WITH SCORE 3628.602
AT ITER 5226 NEW BEST:: SOT 26851 SOS 4599 HAS SOPS 4185 HAS SOUS 3964 HAS SOUPS 3622 WITH SCORE 3626.599
AT ITER 5298 NEW BEST:: SOT 26842 SOS 4590 HAS SOPS 4181 HAS SOUS 3959 HAS SOUPS 3615 WITH SCORE 3619.59
AT ITER 5327 NEW BEST:: SOT 26849 SOS 4599 HAS SOPS 4190 HAS SOUS 3958 HAS SOUPS 3614 WITH SCORE 3618.599
AT ITER 5336 NEW BEST:: SOT 26841 SOS 4589 HAS SOPS 4180 HAS SOUS 3948 HAS SOUPS 3604 WITH SCORE 3608.589
AT ITER 5401 NEW BEST:: SOT 26837 SOS 4587 HAS SOPS 4178 HAS SOUS 3945 HAS SOUPS 3602 WITH SCORE 3606.587
AT ITER 5419 NEW BEST:: SOT 26835 SOS 4581 HAS SOPS 4171 HAS SOUS 3936 HAS SOUPS 3593 WITH SCORE 3597.581
AT ITER 5449 NEW BEST:: SOT 26837 SOS 4585 HAS SOPS 4170 HAS SOUS 3940 HAS SOUPS 3592 WITH SCORE 3596.585
AT ITER 5512 NEW BEST:: SOT 26837 SOS 4534 HAS SOPS 4119 HAS SOUS 3937 HAS SOUPS 3589 WITH SCORE 3593.534
AT ITER 5546 NEW BEST:: SOT 26836 SOS 4533 HAS SOPS 4118 HAS SOUS 3937 HAS SOUPS 3589 WITH SCORE 3593.533
AT ITER 5580 NEW BEST:: SOT 26834 SOS 4563 HAS SOPS 4148 HAS SOUS 3935 HAS SOUPS 3587 WITH SCORE 3591.563
AT ITER 5706 NEW BEST:: SOT 26834 SOS 4558 HAS SOPS 4143 HAS SOUS 3935 HAS SOUPS 3587 WITH SCORE 3591.558
AT ITER 5710 NEW BEST:: SOT 26829 SOS 4543 HAS SOPS 4128 HAS SOUS 3920 HAS SOUPS 3572 WITH SCORE 3576.543
AT ITER 5729 NEW BEST:: SOT 26829 SOS 4544 HAS SOPS 4127 HAS SOUS 3921 HAS SOUPS 3571 WITH SCORE 3575.544
AT ITER 5848 NEW BEST:: SOT 26826 SOS 4541 HAS SOPS 4125 HAS SOUS 3918 HAS SOUPS 3569 WITH SCORE 3573.541
AT ITER 5976 NEW BEST:: SOT 26826 SOS 4536 HAS SOPS 4125 HAS SOUS 3916 HAS SOUPS 3567 WITH SCORE 3571.536
AT ITER 6003 NEW BEST:: SOT 26826 SOS 4527 HAS SOPS 4119 HAS SOUS 3907 HAS SOUPS 3561 WITH SCORE 3565.527
AT ITER 6067 NEW BEST:: SOT 26831 SOS 4532 HAS SOPS 4107 HAS SOUS 3898 HAS SOUPS 3552 WITH SCORE 3556.532
AT ITER 6176 NEW BEST:: SOT 26833 SOS 4527 HAS SOPS 4103 HAS SOUS 3893 HAS SOUPS 3548 WITH SCORE 3552.527
AT ITER 6228 NEW BEST:: SOT 26834 SOS 4528 HAS SOPS 4102 HAS SOUS 3894 HAS SOUPS 3547 WITH SCORE 3551.528
AT ITER 6299 NEW BEST:: SOT 26830 SOS 4520 HAS SOPS 4085 HAS SOUS 3890 HAS SOUPS 3543 WITH SCORE 3547.52
AT ITER 6310 NEW BEST:: SOT 26821 SOS 4524 HAS SOPS 4080 HAS SOUS 3893 HAS SOUPS 3537 WITH SCORE 3541.524
AT ITER 6327 NEW BEST:: SOT 26816 SOS 4528 HAS SOPS 4075 HAS SOUS 3897 HAS SOUPS 3532 WITH SCORE 3536.528
AT ITER 6639 NEW BEST:: SOT 26808 SOS 4520 HAS SOPS 4067 HAS SOUS 3889 HAS SOUPS 3524 WITH SCORE 3528.52
AT ITER 6700 NEW BEST:: SOT 26807 SOS 4519 HAS SOPS 4067 HAS SOUS 3888 HAS SOUPS 3524 WITH SCORE 3528.519
AT ITER 6707 NEW BEST:: SOT 26811 SOS 4515 HAS SOPS 4067 HAS SOUS 3884 HAS SOUPS 3524 WITH SCORE 3528.515
AT ITER 6743 NEW BEST:: SOT 26811 SOS 4505 HAS SOPS 4067 HAS SOUS 3874 HAS SOUPS 3524 WITH SCORE 3528.505
AT ITER 6752 NEW BEST:: SOT 26814 SOS 4508 HAS SOPS 4058 HAS SOUS 3864 HAS SOUPS 3515 WITH SCORE 3519.508
AT ITER 6789 NEW BEST:: SOT 26810 SOS 4504 HAS SOPS 4052 HAS SOUS 3858 HAS SOUPS 3509 WITH SCORE 3513.504
AT ITER 6869 NEW BEST:: SOT 26804 SOS 4498 HAS SOPS 4046 HAS SOUS 3853 HAS SOUPS 3504 WITH SCORE 3508.498
AT ITER 6881 NEW BEST:: SOT 26804 SOS 4497 HAS SOPS 4045 HAS SOUS 3852 HAS SOUPS 3503 WITH SCORE 3507.497
AT ITER 6893 NEW BEST:: SOT 26799 SOS 4492 HAS SOPS 4035 HAS SOUS 3842 HAS SOUPS 3493 WITH SCORE 3497.492
AT ITER 6932 NEW BEST:: SOT 26796 SOS 4481 HAS SOPS 4024 HAS SOUS 3836 HAS SOUPS 3487 WITH SCORE 3491.481
AT ITER 6973 NEW BEST:: SOT 26794 SOS 4479 HAS SOPS 4019 HAS SOUS 3831 HAS SOUPS 3482 WITH SCORE 3486.479
AT ITER 7075 NEW BEST:: SOT 26779 SOS 4453 HAS SOPS 3998 HAS SOUS 3805 HAS SOUPS 3461 WITH SCORE 3465.453
AT ITER 7191 NEW BEST:: SOT 26775 SOS 4460 HAS SOPS 4005 HAS SOUS 3802 HAS SOUPS 3458 WITH SCORE 3462.46
AT ITER 7215 NEW BEST:: SOT 26774 SOS 4458 HAS SOPS 4003 HAS SOUS 3800 HAS SOUPS 3456 WITH SCORE 3460.458
AT ITER 7247 NEW BEST:: SOT 26774 SOS 4458 HAS SOPS 4001 HAS SOUS 3800 HAS SOUPS 3454 WITH SCORE 3458.458
AT ITER 7267 NEW BEST:: SOT 26766 SOS 4450 HAS SOPS 3996 HAS SOUS 3795 HAS SOUPS 3449 WITH SCORE 3453.45
AT ITER 7320 NEW BEST:: SOT 26779 SOS 4449 HAS SOPS 3995 HAS SOUS 3794 HAS SOUPS 3448 WITH SCORE 3452.449
AT ITER 7410 NEW BEST:: SOT 26774 SOS 4437 HAS SOPS 3980 HAS SOUS 3782 HAS SOUPS 3433 WITH SCORE 3437.437
AT ITER 7453 NEW BEST:: SOT 26781 SOS 4410 HAS SOPS 3957 HAS SOUS 3776 HAS SOUPS 3427 WITH SCORE 3431.41
AT ITER 7529 NEW BEST:: SOT 26781 SOS 4405 HAS SOPS 3954 HAS SOUS 3771 HAS SOUPS 3424 WITH SCORE 3428.405
AT ITER 7669 NEW BEST:: SOT 26772 SOS 4396 HAS SOPS 3945 HAS SOUS 3762 HAS SOUPS 3415 WITH SCORE 3419.396
AT ITER 7820 NEW BEST:: SOT 26772 SOS 4384 HAS SOPS 3933 HAS SOUS 3762 HAS SOUPS 3415 WITH SCORE 3419.384
AT ITER 7824 NEW BEST:: SOT 26772 SOS 4385 HAS SOPS 3933 HAS SOUS 3762 HAS SOUPS 3414 WITH SCORE 3418.385
AT ITER 8038 NEW BEST:: SOT 26767 SOS 4380 HAS SOPS 3928 HAS SOUS 3757 HAS SOUPS 3409 WITH SCORE 3413.38
AT ITER 8041 NEW BEST:: SOT 26752 SOS 4368 HAS SOPS 3916 HAS SOUS 3749 HAS SOUPS 3401 WITH SCORE 3405.368
AT ITER 8126 NEW BEST:: SOT 26753 SOS 4364 HAS SOPS 3915 HAS SOUS 3745 HAS SOUPS 3400 WITH SCORE 3404.364
AT ITER 8153 NEW BEST:: SOT 26743 SOS 4354 HAS SOPS 3907 HAS SOUS 3737 HAS SOUPS 3387 WITH SCORE 3391.354
AT ITER 8179 NEW BEST:: SOT 26742 SOS 4351 HAS SOPS 3905 HAS SOUS 3734 HAS SOUPS 3385 WITH SCORE 3389.351
AT ITER 8201 NEW BEST:: SOT 26743 SOS 4326 HAS SOPS 3892 HAS SOUS 3707 HAS SOUPS 3370 WITH SCORE 3374.326
AT ITER 8289 NEW BEST:: SOT 26743 SOS 4322 HAS SOPS 3888 HAS SOUS 3703 HAS SOUPS 3366 WITH SCORE 3370.322
AT ITER 8348 NEW BEST:: SOT 26741 SOS 4314 HAS SOPS 3874 HAS SOUS 3697 HAS SOUPS 3354 WITH SCORE 3358.314
AT ITER 8355 NEW BEST:: SOT 26739 SOS 4313 HAS SOPS 3873 HAS SOUS 3688 HAS SOUPS 3345 WITH SCORE 3349.313
AT ITER 8366 NEW BEST:: SOT 26737 SOS 4311 HAS SOPS 3871 HAS SOUS 3686 HAS SOUPS 3343 WITH SCORE 3347.311
AT ITER 8410 NEW BEST:: SOT 26730 SOS 4298 HAS SOPS 3864 HAS SOUS 3674 HAS SOUPS 3337 WITH SCORE 3341.298
AT ITER 8456 NEW BEST:: SOT 26717 SOS 4285 HAS SOPS 3851 HAS SOUS 3672 HAS SOUPS 3335 WITH SCORE 3339.285
AT ITER 8499 NEW BEST:: SOT 26710 SOS 4283 HAS SOPS 3850 HAS SOUS 3670 HAS SOUPS 3334 WITH SCORE 3338.283
AT ITER 8522 NEW BEST:: SOT 26709 SOS 4281 HAS SOPS 3848 HAS SOUS 3668 HAS SOUPS 3332 WITH SCORE 3336.281
AT ITER 8552 NEW BEST:: SOT 26706 SOS 4276 HAS SOPS 3843 HAS SOUS 3663 HAS SOUPS 3327 WITH SCORE 3331.276
AT ITER 8557 NEW BEST:: SOT 26702 SOS 4276 HAS SOPS 3843 HAS SOUS 3655 HAS SOUPS 3319 WITH SCORE 3323.276
AT ITER 8690 NEW BEST:: SOT 26691 SOS 4283 HAS SOPS 3832 HAS SOUS 3647 HAS SOUPS 3308 WITH SCORE 3312.283
AT ITER 8700 NEW BEST:: SOT 26686 SOS 4269 HAS SOPS 3827 HAS SOUS 3633 HAS SOUPS 3303 WITH SCORE 3307.269
AT ITER 8754 NEW BEST:: SOT 26673 SOS 4256 HAS SOPS 3814 HAS SOUS 3620 HAS SOUPS 3290 WITH SCORE 3294.256
AT ITER 8798 NEW BEST:: SOT 26673 SOS 4256 HAS SOPS 3812 HAS SOUS 3620 HAS SOUPS 3288 WITH SCORE 3292.256
AT ITER 8882 NEW BEST:: SOT 26671 SOS 4252 HAS SOPS 3808 HAS SOUS 3616 HAS SOUPS 3284 WITH SCORE 3288.252
AT ITER 8912 NEW BEST:: SOT 26671 SOS 4249 HAS SOPS 3805 HAS SOUS 3613 HAS SOUPS 3281 WITH SCORE 3285.249
AT ITER 8944 NEW BEST:: SOT 26663 SOS 4238 HAS SOPS 3803 HAS SOUS 3602 HAS SOUPS 3279 WITH SCORE 3283.238
AT ITER 8946 NEW BEST:: SOT 26663 SOS 4237 HAS SOPS 3802 HAS SOUS 3601 HAS SOUPS 3278 WITH SCORE 3282.237
AT ITER 8965 NEW BEST:: SOT 26661 SOS 4235 HAS SOPS 3800 HAS SOUS 3597 HAS SOUPS 3274 WITH SCORE 3278.235
AT ITER 9342 NEW BEST:: SOT 26661 SOS 4234 HAS SOPS 3800 HAS SOUS 3596 HAS SOUPS 3274 WITH SCORE 3278.234
AT ITER 9394 NEW BEST:: SOT 26661 SOS 4232 HAS SOPS 3798 HAS SOUS 3596 HAS SOUPS 3274 WITH SCORE 3278.232
AT ITER 9548 NEW BEST:: SOT 26650 SOS 4264 HAS SOPS 3830 HAS SOUS 3587 HAS SOUPS 3265 WITH SCORE 3269.264
AT ITER 9552 NEW BEST:: SOT 26638 SOS 4244 HAS SOPS 3814 HAS SOUS 3567 HAS SOUPS 3249 WITH SCORE 3253.244
AT ITER 9560 NEW BEST:: SOT 26638 SOS 4244 HAS SOPS 3814 HAS SOUS 3566 HAS SOUPS 3248 WITH SCORE 3252.244
AT ITER 9610 NEW BEST:: SOT 26637 SOS 4241 HAS SOPS 3811 HAS SOUS 3564 HAS SOUPS 3246 WITH SCORE 3250.241
AT ITER 9825 NEW BEST:: SOT 26632 SOS 4235 HAS SOPS 3808 HAS SOUS 3558 HAS SOUPS 3243 WITH SCORE 3247.235
AT ITER 9842 NEW BEST:: SOT 26629 SOS 4234 HAS SOPS 3804 HAS SOUS 3554 HAS SOUPS 3236 WITH SCORE 3240.234
AT ITER 9895 NEW BEST:: SOT 26629 SOS 4232 HAS SOPS 3803 HAS SOUS 3552 HAS SOUPS 3235 WITH SCORE 3239.232
AT ITER 9939 NEW BEST:: SOT 26631 SOS 4234 HAS SOPS 3802 HAS SOUS 3554 HAS SOUPS 3234 WITH SCORE 3238.234
STATE_SPACE STATES 25632 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 96722 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589644702255

--------------------
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-1"
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-1, 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-158961250600480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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