Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469500440.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 ShieldPPPs-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469500440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 2.9K May 14 01:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 14 01:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 18:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 18:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.6K May 13 13:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 13:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 08:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 08:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 52K May 12 20:42 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 1590442908995

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

Filename model.pnml
Petri model created: 207 places, 192 transitions, 528 arcs.
AT ITER 0 NEW BEST:: SOT 22318 SOS 6563 HAS SOPS 6563 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5836.563
AT ITER 2 NEW BEST:: SOT 22324 SOS 6562 HAS SOPS 6562 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5835.562
AT ITER 5 NEW BEST:: SOT 22324 SOS 6561 HAS SOPS 6561 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5834.561
AT ITER 18 NEW BEST:: SOT 22312 SOS 6530 HAS SOPS 6530 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5810.53
AT ITER 25 NEW BEST:: SOT 22310 SOS 6512 HAS SOPS 6512 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5800.512
AT ITER 35 NEW BEST:: SOT 22293 SOS 6493 HAS SOPS 6493 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5800.493
AT ITER 43 NEW BEST:: SOT 22297 SOS 6488 HAS SOPS 6488 HAS SOUS 5789 HAS SOUPS 5789 WITH SCORE 5795.488
AT ITER 51 NEW BEST:: SOT 22304 SOS 6495 HAS SOPS 6495 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5792.495
AT ITER 82 NEW BEST:: SOT 22311 SOS 6506 HAS SOPS 6506 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5783.506
AT ITER 98 NEW BEST:: SOT 22317 SOS 6524 HAS SOPS 6524 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5777.524
AT ITER 105 NEW BEST:: SOT 22314 SOS 6532 HAS SOPS 6532 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5774.532
AT ITER 111 NEW BEST:: SOT 22287 SOS 6373 HAS SOPS 6373 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5707.373
AT ITER 167 NEW BEST:: SOT 22306 SOS 6410 HAS SOPS 6410 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5694.41
AT ITER 182 NEW BEST:: SOT 22304 SOS 6409 HAS SOPS 6409 HAS SOUS 5687 HAS SOUPS 5687 WITH SCORE 5693.409
AT ITER 206 NEW BEST:: SOT 22304 SOS 6408 HAS SOPS 6408 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5692.408
AT ITER 262 NEW BEST:: SOT 22273 SOS 6400 HAS SOPS 6400 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5643.4
AT ITER 285 NEW BEST:: SOT 22274 SOS 6298 HAS SOPS 6298 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5625.298
AT ITER 295 NEW BEST:: SOT 22274 SOS 6293 HAS SOPS 6293 HAS SOUS 5614 HAS SOUPS 5614 WITH SCORE 5620.293
AT ITER 301 NEW BEST:: SOT 22260 SOS 6340 HAS SOPS 6340 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5614.34
AT ITER 307 NEW BEST:: SOT 22261 SOS 6334 HAS SOPS 6334 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5608.334
AT ITER 325 NEW BEST:: SOT 22249 SOS 6335 HAS SOPS 6335 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5604.335
AT ITER 340 NEW BEST:: SOT 22217 SOS 6303 HAS SOPS 6303 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5572.303
AT ITER 358 NEW BEST:: SOT 22204 SOS 6301 HAS SOPS 6301 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5567.301
AT ITER 368 NEW BEST:: SOT 22204 SOS 6294 HAS SOPS 6294 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5560.294
AT ITER 384 NEW BEST:: SOT 22169 SOS 6259 HAS SOPS 6259 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5525.259
AT ITER 387 NEW BEST:: SOT 22156 SOS 6061 HAS SOPS 6061 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5481.061
AT ITER 398 NEW BEST:: SOT 22151 SOS 6066 HAS SOPS 6066 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5443.066
AT ITER 402 NEW BEST:: SOT 22152 SOS 6056 HAS SOPS 6056 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5442.056
AT ITER 449 NEW BEST:: SOT 22152 SOS 6044 HAS SOPS 6044 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5430.044
AT ITER 463 NEW BEST:: SOT 22147 SOS 6029 HAS SOPS 6029 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.029
AT ITER 466 NEW BEST:: SOT 22146 SOS 6008 HAS SOPS 6008 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.008
AT ITER 502 NEW BEST:: SOT 22131 SOS 5993 HAS SOPS 5993 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5398.993
AT ITER 521 NEW BEST:: SOT 22128 SOS 5981 HAS SOPS 5981 HAS SOUS 5389 HAS SOUPS 5389 WITH SCORE 5394.981
AT ITER 532 NEW BEST:: SOT 22096 SOS 5958 HAS SOPS 5958 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5371.958
AT ITER 536 NEW BEST:: SOT 22090 SOS 5951 HAS SOPS 5951 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5364.951
AT ITER 570 NEW BEST:: SOT 22071 SOS 5932 HAS SOPS 5932 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5345.932
AT ITER 651 NEW BEST:: SOT 22071 SOS 5930 HAS SOPS 5930 HAS SOUS 5338 HAS SOUPS 5338 WITH SCORE 5343.93
AT ITER 676 NEW BEST:: SOT 22072 SOS 5931 HAS SOPS 5931 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5342.931
AT ITER 684 NEW BEST:: SOT 22070 SOS 5930 HAS SOPS 5930 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5341.93
AT ITER 686 NEW BEST:: SOT 22061 SOS 5912 HAS SOPS 5912 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5339.912
AT ITER 694 NEW BEST:: SOT 22039 SOS 5891 HAS SOPS 5891 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5320.891
AT ITER 710 NEW BEST:: SOT 22054 SOS 5898 HAS SOPS 5898 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5312.898
AT ITER 719 NEW BEST:: SOT 22039 SOS 5896 HAS SOPS 5896 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5310.896
AT ITER 769 NEW BEST:: SOT 22037 SOS 5967 HAS SOPS 5967 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5282.967
AT ITER 780 NEW BEST:: SOT 22007 SOS 5907 HAS SOPS 5907 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5252.907
AT ITER 781 NEW BEST:: SOT 21989 SOS 5889 HAS SOPS 5889 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5234.889
AT ITER 788 NEW BEST:: SOT 21989 SOS 5887 HAS SOPS 5887 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5230.887
AT ITER 852 NEW BEST:: SOT 21988 SOS 5885 HAS SOPS 5885 HAS SOUS 5223 HAS SOUPS 5223 WITH SCORE 5228.885
AT ITER 861 NEW BEST:: SOT 21988 SOS 5881 HAS SOPS 5881 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5226.881
AT ITER 871 NEW BEST:: SOT 21965 SOS 5824 HAS SOPS 5824 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5192.824
AT ITER 873 NEW BEST:: SOT 21964 SOS 5828 HAS SOPS 5828 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5191.828
AT ITER 884 NEW BEST:: SOT 21957 SOS 5809 HAS SOPS 5809 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5184.809
AT ITER 899 NEW BEST:: SOT 21953 SOS 5778 HAS SOPS 5778 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5181.778
AT ITER 901 NEW BEST:: SOT 21944 SOS 5741 HAS SOPS 5741 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5161.741
AT ITER 918 NEW BEST:: SOT 21941 SOS 5741 HAS SOPS 5741 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5143.741
AT ITER 938 NEW BEST:: SOT 21946 SOS 5736 HAS SOPS 5736 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5143.736
AT ITER 948 NEW BEST:: SOT 21950 SOS 5731 HAS SOPS 5731 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5139.731
AT ITER 966 NEW BEST:: SOT 21950 SOS 5730 HAS SOPS 5730 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5138.73
AT ITER 973 NEW BEST:: SOT 21943 SOS 5709 HAS SOPS 5709 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5117.709
AT ITER 1019 NEW BEST:: SOT 21943 SOS 5696 HAS SOPS 5696 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5117.696
AT ITER 1083 NEW BEST:: SOT 21938 SOS 5683 HAS SOPS 5683 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5112.683
AT ITER 1087 NEW BEST:: SOT 21928 SOS 5666 HAS SOPS 5666 HAS SOUS 5090 HAS SOUPS 5090 WITH SCORE 5095.666
AT ITER 1102 NEW BEST:: SOT 21919 SOS 5666 HAS SOPS 5666 HAS SOUS 5086 HAS SOUPS 5086 WITH SCORE 5091.666
AT ITER 1103 NEW BEST:: SOT 21932 SOS 5685 HAS SOPS 5685 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5090.685
AT ITER 1107 NEW BEST:: SOT 21932 SOS 5683 HAS SOPS 5683 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5088.683
AT ITER 1122 NEW BEST:: SOT 21912 SOS 5644 HAS SOPS 5644 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5049.644
AT ITER 1125 NEW BEST:: SOT 21908 SOS 5644 HAS SOPS 5644 HAS SOUS 5040 HAS SOUPS 5040 WITH SCORE 5045.644
AT ITER 1148 NEW BEST:: SOT 21908 SOS 5636 HAS SOPS 5636 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5043.636
AT ITER 1156 NEW BEST:: SOT 21908 SOS 5633 HAS SOPS 5633 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5040.633
AT ITER 1159 NEW BEST:: SOT 21908 SOS 5632 HAS SOPS 5632 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5039.632
AT ITER 1185 NEW BEST:: SOT 21899 SOS 5611 HAS SOPS 5611 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5035.611
AT ITER 1225 NEW BEST:: SOT 21899 SOS 5607 HAS SOPS 5607 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5033.607
AT ITER 1231 NEW BEST:: SOT 21892 SOS 5604 HAS SOPS 5604 HAS SOUS 5025 HAS SOUPS 5025 WITH SCORE 5030.604
AT ITER 1239 NEW BEST:: SOT 21888 SOS 5612 HAS SOPS 5612 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5025.612
AT ITER 1277 NEW BEST:: SOT 21883 SOS 5602 HAS SOPS 5602 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5020.602
AT ITER 1306 NEW BEST:: SOT 21902 SOS 5623 HAS SOPS 5623 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5010.623
AT ITER 1327 NEW BEST:: SOT 21904 SOS 5579 HAS SOPS 5579 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5010.579
AT ITER 1343 NEW BEST:: SOT 21904 SOS 5575 HAS SOPS 5575 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5006.575
AT ITER 1345 NEW BEST:: SOT 21901 SOS 5563 HAS SOPS 5563 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4995.563
AT ITER 1399 NEW BEST:: SOT 21922 SOS 5545 HAS SOPS 5545 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 4994.545
AT ITER 1447 NEW BEST:: SOT 21917 SOS 5508 HAS SOPS 5508 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4985.508
AT ITER 1465 NEW BEST:: SOT 21908 SOS 5490 HAS SOPS 5490 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4976.49
AT ITER 1467 NEW BEST:: SOT 21897 SOS 5463 HAS SOPS 5463 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4972.463
AT ITER 1500 NEW BEST:: SOT 21894 SOS 5460 HAS SOPS 5460 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4969.46
AT ITER 1501 NEW BEST:: SOT 21885 SOS 5442 HAS SOPS 5442 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4957.442
AT ITER 1508 NEW BEST:: SOT 21882 SOS 5438 HAS SOPS 5438 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4954.438
AT ITER 1509 NEW BEST:: SOT 21871 SOS 5427 HAS SOPS 5427 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4943.427
AT ITER 1524 NEW BEST:: SOT 21871 SOS 5434 HAS SOPS 5434 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4942.434
AT ITER 1565 NEW BEST:: SOT 21867 SOS 5430 HAS SOPS 5430 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4941.43
AT ITER 1639 NEW BEST:: SOT 21867 SOS 5429 HAS SOPS 5429 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4940.429
AT ITER 1655 NEW BEST:: SOT 21857 SOS 5408 HAS SOPS 5408 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4915.408
AT ITER 1666 NEW BEST:: SOT 21831 SOS 5394 HAS SOPS 5394 HAS SOUS 4900 HAS SOUPS 4900 WITH SCORE 4905.394
AT ITER 1684 NEW BEST:: SOT 21829 SOS 5386 HAS SOPS 5386 HAS SOUS 4900 HAS SOUPS 4900 WITH SCORE 4905.386
AT ITER 1687 NEW BEST:: SOT 21826 SOS 5412 HAS SOPS 5412 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4902.412
AT ITER 1721 NEW BEST:: SOT 21826 SOS 5408 HAS SOPS 5408 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4898.408
AT ITER 1728 NEW BEST:: SOT 21824 SOS 5406 HAS SOPS 5406 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4896.406
AT ITER 1733 NEW BEST:: SOT 21845 SOS 5397 HAS SOPS 5397 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4888.397
AT ITER 1740 NEW BEST:: SOT 21856 SOS 5386 HAS SOPS 5386 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4888.386
AT ITER 1759 NEW BEST:: SOT 21850 SOS 5373 HAS SOPS 5373 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4881.373
AT ITER 1769 NEW BEST:: SOT 21849 SOS 5370 HAS SOPS 5370 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4878.37
AT ITER 1826 NEW BEST:: SOT 21837 SOS 5355 HAS SOPS 5355 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4859.355
AT ITER 1847 NEW BEST:: SOT 21828 SOS 5346 HAS SOPS 5346 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4850.346
AT ITER 1896 NEW BEST:: SOT 21824 SOS 5339 HAS SOPS 5339 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4836.339
AT ITER 1930 NEW BEST:: SOT 21828 SOS 5279 HAS SOPS 5279 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4772.279
AT ITER 1952 NEW BEST:: SOT 21828 SOS 5277 HAS SOPS 5277 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4772.277
AT ITER 2052 NEW BEST:: SOT 21824 SOS 5269 HAS SOPS 5269 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4766.269
AT ITER 2094 NEW BEST:: SOT 21824 SOS 5266 HAS SOPS 5266 HAS SOUS 4758 HAS SOUPS 4758 WITH SCORE 4763.266
AT ITER 2107 NEW BEST:: SOT 21824 SOS 5267 HAS SOPS 5267 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4760.267
AT ITER 2136 NEW BEST:: SOT 21838 SOS 5290 HAS SOPS 5290 HAS SOUS 4747 HAS SOUPS 4747 WITH SCORE 4752.29
AT ITER 2150 NEW BEST:: SOT 21825 SOS 5277 HAS SOPS 5277 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4739.277
AT ITER 2151 NEW BEST:: SOT 21829 SOS 5267 HAS SOPS 5267 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4729.267
AT ITER 2154 NEW BEST:: SOT 21819 SOS 5274 HAS SOPS 5274 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4719.274
AT ITER 2166 NEW BEST:: SOT 21819 SOS 5274 HAS SOPS 5274 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4717.274
AT ITER 2180 NEW BEST:: SOT 21813 SOS 5271 HAS SOPS 5271 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4714.271
AT ITER 2218 NEW BEST:: SOT 21809 SOS 5260 HAS SOPS 5260 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4703.26
AT ITER 2221 NEW BEST:: SOT 21828 SOS 5243 HAS SOPS 5243 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4698.243
AT ITER 2253 NEW BEST:: SOT 21828 SOS 5245 HAS SOPS 5245 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4692.245
AT ITER 2255 NEW BEST:: SOT 21834 SOS 5237 HAS SOPS 5237 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4678.237
AT ITER 2277 NEW BEST:: SOT 21838 SOS 5241 HAS SOPS 5241 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4674.241
AT ITER 2282 NEW BEST:: SOT 21841 SOS 5233 HAS SOPS 5233 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4663.233
AT ITER 2296 NEW BEST:: SOT 21843 SOS 5234 HAS SOPS 5234 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4657.234
AT ITER 2312 NEW BEST:: SOT 21843 SOS 5209 HAS SOPS 5209 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4651.209
AT ITER 2317 NEW BEST:: SOT 21838 SOS 5204 HAS SOPS 5204 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4646.204
AT ITER 2334 NEW BEST:: SOT 21833 SOS 5231 HAS SOPS 5231 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4637.231
AT ITER 2407 NEW BEST:: SOT 21817 SOS 5231 HAS SOPS 5231 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4629.231
AT ITER 2410 NEW BEST:: SOT 21821 SOS 5227 HAS SOPS 5227 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4628.227
AT ITER 2419 NEW BEST:: SOT 21816 SOS 5225 HAS SOPS 5225 HAS SOUS 4620 HAS SOUPS 4620 WITH SCORE 4625.225
AT ITER 2448 NEW BEST:: SOT 21813 SOS 5218 HAS SOPS 5218 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4621.218
AT ITER 2476 NEW BEST:: SOT 21810 SOS 5237 HAS SOPS 5237 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4613.237
AT ITER 2523 NEW BEST:: SOT 21810 SOS 5237 HAS SOPS 5237 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4606.237
AT ITER 2535 NEW BEST:: SOT 21810 SOS 5235 HAS SOPS 5235 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4604.235
AT ITER 2541 NEW BEST:: SOT 21807 SOS 5228 HAS SOPS 5228 HAS SOUS 4595 HAS SOUPS 4595 WITH SCORE 4600.228
AT ITER 2550 NEW BEST:: SOT 21810 SOS 5240 HAS SOPS 5240 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4552.24
AT ITER 2566 NEW BEST:: SOT 21806 SOS 5236 HAS SOPS 5236 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4552.236
AT ITER 2569 NEW BEST:: SOT 21786 SOS 5221 HAS SOPS 5221 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4547.221
AT ITER 2582 NEW BEST:: SOT 21790 SOS 5259 HAS SOPS 5259 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4539.259
AT ITER 2701 NEW BEST:: SOT 21790 SOS 5257 HAS SOPS 5257 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4537.257
AT ITER 2716 NEW BEST:: SOT 21780 SOS 5250 HAS SOPS 5250 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4533.25
AT ITER 2727 NEW BEST:: SOT 21779 SOS 5253 HAS SOPS 5253 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4532.253
AT ITER 2739 NEW BEST:: SOT 21771 SOS 5225 HAS SOPS 5225 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4512.225
AT ITER 2756 NEW BEST:: SOT 21767 SOS 5225 HAS SOPS 5225 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4504.225
AT ITER 2764 NEW BEST:: SOT 21767 SOS 5215 HAS SOPS 5215 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4504.215
AT ITER 2807 NEW BEST:: SOT 21767 SOS 5211 HAS SOPS 5211 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4504.211
AT ITER 2849 NEW BEST:: SOT 21749 SOS 5193 HAS SOPS 5193 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4486.193
AT ITER 2874 NEW BEST:: SOT 21705 SOS 5192 HAS SOPS 5192 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4485.192
AT ITER 2909 NEW BEST:: SOT 21703 SOS 5188 HAS SOPS 5188 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4485.188
AT ITER 2923 NEW BEST:: SOT 21700 SOS 5185 HAS SOPS 5185 HAS SOUS 4477 HAS SOUPS 4477 WITH SCORE 4482.185
AT ITER 2954 NEW BEST:: SOT 21709 SOS 5170 HAS SOPS 5170 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4475.17
AT ITER 2974 NEW BEST:: SOT 21699 SOS 5160 HAS SOPS 5160 HAS SOUS 4467 HAS SOUPS 4467 WITH SCORE 4472.16
AT ITER 2979 NEW BEST:: SOT 21684 SOS 5145 HAS SOPS 5145 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4457.145
AT ITER 2998 NEW BEST:: SOT 21643 SOS 5020 HAS SOPS 5020 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4395.02
AT ITER 3024 NEW BEST:: SOT 21621 SOS 4998 HAS SOPS 4998 HAS SOUS 4368 HAS SOUPS 4368 WITH SCORE 4372.998
AT ITER 3028 NEW BEST:: SOT 21620 SOS 4994 HAS SOPS 4994 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4371.994
AT ITER 3051 NEW BEST:: SOT 21619 SOS 4993 HAS SOPS 4993 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4370.993
AT ITER 3075 NEW BEST:: SOT 21615 SOS 4989 HAS SOPS 4989 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4366.989
AT ITER 3097 NEW BEST:: SOT 21615 SOS 4991 HAS SOPS 4991 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4363.991
AT ITER 3137 NEW BEST:: SOT 21613 SOS 4991 HAS SOPS 4991 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4361.991
AT ITER 3161 NEW BEST:: SOT 21615 SOS 4989 HAS SOPS 4989 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4359.989
AT ITER 3172 NEW BEST:: SOT 21611 SOS 4989 HAS SOPS 4989 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4356.989
AT ITER 3196 NEW BEST:: SOT 21611 SOS 4988 HAS SOPS 4988 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4355.988
AT ITER 3213 NEW BEST:: SOT 21600 SOS 4983 HAS SOPS 4983 HAS SOUS 4345 HAS SOUPS 4345 WITH SCORE 4349.983
AT ITER 3228 NEW BEST:: SOT 21600 SOS 4978 HAS SOPS 4978 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4346.978
AT ITER 3301 NEW BEST:: SOT 21598 SOS 4976 HAS SOPS 4976 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4344.976
AT ITER 3369 NEW BEST:: SOT 21592 SOS 4970 HAS SOPS 4970 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4338.97
AT ITER 3379 NEW BEST:: SOT 21592 SOS 4969 HAS SOPS 4969 HAS SOUS 4333 HAS SOUPS 4333 WITH SCORE 4337.969
AT ITER 3384 NEW BEST:: SOT 21590 SOS 4965 HAS SOPS 4965 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4335.965
AT ITER 3404 NEW BEST:: SOT 21590 SOS 4964 HAS SOPS 4964 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4334.964
AT ITER 3409 NEW BEST:: SOT 21590 SOS 4964 HAS SOPS 4964 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4331.964
AT ITER 3448 NEW BEST:: SOT 21591 SOS 4962 HAS SOPS 4962 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4329.962
AT ITER 3482 NEW BEST:: SOT 21592 SOS 4962 HAS SOPS 4962 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4328.962
AT ITER 3509 NEW BEST:: SOT 21581 SOS 4960 HAS SOPS 4960 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4326.96
AT ITER 3517 NEW BEST:: SOT 21577 SOS 4952 HAS SOPS 4952 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4314.952
AT ITER 3532 NEW BEST:: SOT 21574 SOS 4949 HAS SOPS 4949 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4314.949
AT ITER 3552 NEW BEST:: SOT 21570 SOS 4939 HAS SOPS 4939 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4313.939
AT ITER 3557 NEW BEST:: SOT 21566 SOS 4927 HAS SOPS 4927 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4307.927
AT ITER 3577 NEW BEST:: SOT 21566 SOS 4934 HAS SOPS 4934 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4306.934
AT ITER 3579 NEW BEST:: SOT 21552 SOS 4920 HAS SOPS 4920 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4292.92
AT ITER 3585 NEW BEST:: SOT 21553 SOS 4919 HAS SOPS 4919 HAS SOUS 4287 HAS SOUPS 4287 WITH SCORE 4291.919
AT ITER 3614 NEW BEST:: SOT 21553 SOS 4915 HAS SOPS 4915 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4289.915
AT ITER 3618 NEW BEST:: SOT 21553 SOS 4909 HAS SOPS 4909 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4283.909
AT ITER 3621 NEW BEST:: SOT 21552 SOS 4905 HAS SOPS 4905 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4280.905
AT ITER 3638 NEW BEST:: SOT 21551 SOS 4903 HAS SOPS 4903 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4278.903
AT ITER 3757 NEW BEST:: SOT 21548 SOS 4897 HAS SOPS 4897 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4269.897
AT ITER 3788 NEW BEST:: SOT 21540 SOS 4873 HAS SOPS 4873 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4257.873
AT ITER 3841 NEW BEST:: SOT 21537 SOS 4867 HAS SOPS 4867 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4254.867
AT ITER 3868 NEW BEST:: SOT 21537 SOS 4828 HAS SOPS 4828 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4243.828
AT ITER 3871 NEW BEST:: SOT 21537 SOS 4823 HAS SOPS 4823 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4238.823
AT ITER 3875 NEW BEST:: SOT 21537 SOS 4816 HAS SOPS 4816 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4231.816
AT ITER 4018 NEW BEST:: SOT 21540 SOS 4808 HAS SOPS 4808 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4223.808
AT ITER 4043 NEW BEST:: SOT 21540 SOS 4808 HAS SOPS 4808 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4215.808
AT ITER 4112 NEW BEST:: SOT 21536 SOS 4804 HAS SOPS 4804 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4211.804
AT ITER 4113 NEW BEST:: SOT 21536 SOS 4806 HAS SOPS 4806 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4209.806
AT ITER 4140 NEW BEST:: SOT 21538 SOS 4790 HAS SOPS 4790 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4193.79
AT ITER 4142 NEW BEST:: SOT 21536 SOS 4772 HAS SOPS 4772 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4183.772
AT ITER 4218 NEW BEST:: SOT 21536 SOS 4770 HAS SOPS 4770 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4181.77
AT ITER 4251 NEW BEST:: SOT 21520 SOS 4765 HAS SOPS 4765 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.765
AT ITER 4281 NEW BEST:: SOT 21515 SOS 4765 HAS SOPS 4765 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4166.765
AT ITER 4335 NEW BEST:: SOT 21514 SOS 4761 HAS SOPS 4761 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4165.761
AT ITER 4344 NEW BEST:: SOT 21509 SOS 4762 HAS SOPS 4762 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4163.762
AT ITER 4379 NEW BEST:: SOT 21498 SOS 4751 HAS SOPS 4751 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4152.751
AT ITER 4402 NEW BEST:: SOT 21498 SOS 4750 HAS SOPS 4750 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4151.75
AT ITER 4411 NEW BEST:: SOT 21498 SOS 4749 HAS SOPS 4749 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4150.749
AT ITER 4473 NEW BEST:: SOT 21494 SOS 4741 HAS SOPS 4741 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4146.741
AT ITER 4485 NEW BEST:: SOT 21494 SOS 4740 HAS SOPS 4740 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4145.74
AT ITER 4491 NEW BEST:: SOT 21494 SOS 4740 HAS SOPS 4740 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4141.74
AT ITER 4564 NEW BEST:: SOT 21494 SOS 4740 HAS SOPS 4740 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4139.74
AT ITER 4570 NEW BEST:: SOT 21491 SOS 4737 HAS SOPS 4737 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4136.737
AT ITER 4574 NEW BEST:: SOT 21491 SOS 4737 HAS SOPS 4737 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4134.737
AT ITER 4585 NEW BEST:: SOT 21490 SOS 4735 HAS SOPS 4735 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4132.735
AT ITER 4624 NEW BEST:: SOT 21485 SOS 4730 HAS SOPS 4730 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4127.73
AT ITER 4751 NEW BEST:: SOT 21491 SOS 4724 HAS SOPS 4724 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4127.724
AT ITER 4955 NEW BEST:: SOT 21481 SOS 4714 HAS SOPS 4714 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4117.714
AT ITER 4963 NEW BEST:: SOT 21476 SOS 4709 HAS SOPS 4709 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4112.709
AT ITER 4990 NEW BEST:: SOT 21474 SOS 4732 HAS SOPS 4732 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4110.732
AT ITER 5047 NEW BEST:: SOT 21474 SOS 4730 HAS SOPS 4730 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4108.73
AT ITER 5074 NEW BEST:: SOT 21496 SOS 4725 HAS SOPS 4725 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4103.725
AT ITER 5185 NEW BEST:: SOT 21483 SOS 4685 HAS SOPS 4685 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4085.685
AT ITER 5211 NEW BEST:: SOT 21480 SOS 4688 HAS SOPS 4688 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4082.688
AT ITER 5219 NEW BEST:: SOT 21478 SOS 4685 HAS SOPS 4685 HAS SOUS 4073 HAS SOUPS 4073 WITH SCORE 4077.685
AT ITER 5236 NEW BEST:: SOT 21476 SOS 4682 HAS SOPS 4682 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4075.682
AT ITER 5242 NEW BEST:: SOT 21483 SOS 4694 HAS SOPS 4694 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4074.694
AT ITER 5260 NEW BEST:: SOT 21483 SOS 4691 HAS SOPS 4691 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4071.691
AT ITER 5273 NEW BEST:: SOT 21483 SOS 4688 HAS SOPS 4688 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4069.688
AT ITER 5275 NEW BEST:: SOT 21479 SOS 4688 HAS SOPS 4688 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4065.688
AT ITER 5285 NEW BEST:: SOT 21463 SOS 4683 HAS SOPS 4683 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4057.683
AT ITER 5323 NEW BEST:: SOT 21463 SOS 4682 HAS SOPS 4682 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4057.682
AT ITER 5383 NEW BEST:: SOT 21458 SOS 4677 HAS SOPS 4677 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4052.677
AT ITER 5434 NEW BEST:: SOT 21458 SOS 4681 HAS SOPS 4681 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4048.681
AT ITER 5448 NEW BEST:: SOT 21458 SOS 4678 HAS SOPS 4678 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4048.678
AT ITER 5466 NEW BEST:: SOT 21457 SOS 4678 HAS SOPS 4678 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4047.678
AT ITER 5477 NEW BEST:: SOT 21457 SOS 4676 HAS SOPS 4676 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4045.676
AT ITER 5487 NEW BEST:: SOT 21449 SOS 4678 HAS SOPS 4678 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4037.678
AT ITER 5529 NEW BEST:: SOT 21449 SOS 4678 HAS SOPS 4678 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4035.678
AT ITER 5533 NEW BEST:: SOT 21447 SOS 4676 HAS SOPS 4676 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4032.676
AT ITER 5700 NEW BEST:: SOT 21446 SOS 4676 HAS SOPS 4676 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4029.676
AT ITER 5821 NEW BEST:: SOT 21444 SOS 4672 HAS SOPS 4672 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4025.672
AT ITER 5865 NEW BEST:: SOT 21432 SOS 4621 HAS SOPS 4621 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4004.621
AT ITER 5873 NEW BEST:: SOT 21407 SOS 4610 HAS SOPS 4610 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3986.61
AT ITER 5922 NEW BEST:: SOT 21408 SOS 4611 HAS SOPS 4611 HAS SOUS 3980 HAS SOUPS 3980 WITH SCORE 3984.611
AT ITER 5948 NEW BEST:: SOT 21406 SOS 4609 HAS SOPS 4609 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 3982.609
AT ITER 5996 NEW BEST:: SOT 21403 SOS 4609 HAS SOPS 4609 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3976.609
AT ITER 6073 NEW BEST:: SOT 21404 SOS 4608 HAS SOPS 4608 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3976.608
AT ITER 6101 NEW BEST:: SOT 21400 SOS 4623 HAS SOPS 4623 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3972.623
AT ITER 6110 NEW BEST:: SOT 21400 SOS 4615 HAS SOPS 4615 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3972.615
AT ITER 6368 NEW BEST:: SOT 21407 SOS 4608 HAS SOPS 4608 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3972.608
AT ITER 6372 NEW BEST:: SOT 21391 SOS 4585 HAS SOPS 4585 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3956.585
AT ITER 6431 NEW BEST:: SOT 21391 SOS 4583 HAS SOPS 4583 HAS SOUS 3951 HAS SOUPS 3951 WITH SCORE 3955.583
AT ITER 6448 NEW BEST:: SOT 21386 SOS 4563 HAS SOPS 4563 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3948.563
AT ITER 6508 NEW BEST:: SOT 21384 SOS 4560 HAS SOPS 4560 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3945.56
AT ITER 6565 NEW BEST:: SOT 21375 SOS 4565 HAS SOPS 4565 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3940.565
AT ITER 6612 NEW BEST:: SOT 21374 SOS 4564 HAS SOPS 4564 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3939.564
AT ITER 6640 NEW BEST:: SOT 21355 SOS 4562 HAS SOPS 4562 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3919.562
AT ITER 6697 NEW BEST:: SOT 21357 SOS 4565 HAS SOPS 4565 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3917.565
AT ITER 6796 NEW BEST:: SOT 21357 SOS 4564 HAS SOPS 4564 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3917.564
AT ITER 6880 NEW BEST:: SOT 21357 SOS 4556 HAS SOPS 4556 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3915.556
AT ITER 6922 NEW BEST:: SOT 21355 SOS 4555 HAS SOPS 4555 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3915.555
AT ITER 6983 NEW BEST:: SOT 21356 SOS 4552 HAS SOPS 4552 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3910.552
AT ITER 6993 NEW BEST:: SOT 21355 SOS 4553 HAS SOPS 4553 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3909.553
AT ITER 7151 NEW BEST:: SOT 21352 SOS 4544 HAS SOPS 4544 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3903.544
AT ITER 7192 NEW BEST:: SOT 21357 SOS 4542 HAS SOPS 4542 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.542
AT ITER 7257 NEW BEST:: SOT 21359 SOS 4541 HAS SOPS 4541 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3897.541
AT ITER 7271 NEW BEST:: SOT 21356 SOS 4544 HAS SOPS 4544 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3895.544
AT ITER 7307 NEW BEST:: SOT 21352 SOS 4540 HAS SOPS 4540 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3891.54
AT ITER 7335 NEW BEST:: SOT 21350 SOS 4531 HAS SOPS 4531 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3889.531
AT ITER 7441 NEW BEST:: SOT 21350 SOS 4528 HAS SOPS 4528 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.528
AT ITER 7454 NEW BEST:: SOT 21349 SOS 4518 HAS SOPS 4518 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3884.518
AT ITER 7506 NEW BEST:: SOT 21349 SOS 4374 HAS SOPS 4374 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3884.374
AT ITER 7619 NEW BEST:: SOT 21341 SOS 4358 HAS SOPS 4358 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3876.358
AT ITER 7652 NEW BEST:: SOT 21341 SOS 4356 HAS SOPS 4356 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.356
AT ITER 7757 NEW BEST:: SOT 21341 SOS 4353 HAS SOPS 4353 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3871.353
AT ITER 7922 NEW BEST:: SOT 21340 SOS 4352 HAS SOPS 4352 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3870.352
AT ITER 8042 NEW BEST:: SOT 21339 SOS 4351 HAS SOPS 4351 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3868.351
AT ITER 8080 NEW BEST:: SOT 21337 SOS 4349 HAS SOPS 4349 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3866.349
AT ITER 8224 NEW BEST:: SOT 21332 SOS 4339 HAS SOPS 4339 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3861.339
AT ITER 8267 NEW BEST:: SOT 21288 SOS 4297 HAS SOPS 4297 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3823.297
AT ITER 8295 NEW BEST:: SOT 21286 SOS 4295 HAS SOPS 4295 HAS SOUS 3817 HAS SOUPS 3817 WITH SCORE 3821.295
AT ITER 8342 NEW BEST:: SOT 21283 SOS 4298 HAS SOPS 4298 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3819.298
AT ITER 8349 NEW BEST:: SOT 21282 SOS 4291 HAS SOPS 4291 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3818.291
AT ITER 8413 NEW BEST:: SOT 21285 SOS 4279 HAS SOPS 4279 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3815.279
AT ITER 8529 NEW BEST:: SOT 21283 SOS 4271 HAS SOPS 4271 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3811.271
AT ITER 8558 NEW BEST:: SOT 21281 SOS 4268 HAS SOPS 4268 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3811.268
AT ITER 8669 NEW BEST:: SOT 21281 SOS 4267 HAS SOPS 4267 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3810.267
AT ITER 8685 NEW BEST:: SOT 21282 SOS 4266 HAS SOPS 4266 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.266
AT ITER 8846 NEW BEST:: SOT 21282 SOS 4261 HAS SOPS 4261 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.261
AT ITER 8918 NEW BEST:: SOT 21282 SOS 4260 HAS SOPS 4260 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3808.26
AT ITER 8922 NEW BEST:: SOT 21282 SOS 4258 HAS SOPS 4258 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3806.258
AT ITER 9150 NEW BEST:: SOT 21274 SOS 4237 HAS SOPS 4237 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3806.237
AT ITER 9214 NEW BEST:: SOT 21267 SOS 4214 HAS SOPS 4214 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3794.214
AT ITER 9282 NEW BEST:: SOT 21263 SOS 4214 HAS SOPS 4214 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3790.214
AT ITER 9410 NEW BEST:: SOT 21262 SOS 4214 HAS SOPS 4214 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3789.214
AT ITER 9487 NEW BEST:: SOT 21262 SOS 4211 HAS SOPS 4211 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3789.211
AT ITER 9489 NEW BEST:: SOT 21262 SOS 4206 HAS SOPS 4206 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3784.206
AT ITER 9510 NEW BEST:: SOT 21256 SOS 4199 HAS SOPS 4199 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3777.199
AT ITER 9539 NEW BEST:: SOT 21256 SOS 4188 HAS SOPS 4188 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3766.188
AT ITER 9559 NEW BEST:: SOT 21255 SOS 4185 HAS SOPS 4185 HAS SOUS 3761 HAS SOUPS 3761 WITH SCORE 3765.185
AT ITER 9610 NEW BEST:: SOT 21254 SOS 4183 HAS SOPS 4183 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3763.183
AT ITER 9678 NEW BEST:: SOT 21254 SOS 4184 HAS SOPS 4184 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3762.184
AT ITER 9713 NEW BEST:: SOT 21257 SOS 4178 HAS SOPS 4178 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3762.178
AT ITER 9752 NEW BEST:: SOT 21257 SOS 4162 HAS SOPS 4162 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3762.162
AT ITER 9884 NEW BEST:: SOT 21257 SOS 4161 HAS SOPS 4161 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3761.161
AT ITER 9963 NEW BEST:: SOT 21254 SOS 4159 HAS SOPS 4159 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3759.159
AT ITER 9969 NEW BEST:: SOT 21257 SOS 4156 HAS SOPS 4156 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3759.156
AT ITER 9972 NEW BEST:: SOT 21257 SOS 4142 HAS SOPS 4142 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3745.142

BK_TIME_CONFINEMENT_REACHED

--------------------
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="ShieldPPPs-PT-003B"
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 ShieldPPPs-PT-003B, 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 r207-tajo-159033469500440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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