Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.0K Mar 25 23:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 23:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 14:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 14:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 10:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 48K 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 1589135997675

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

Filename model.pnml
Petri model created: 206 places, 204 transitions, 478 arcs.
AT ITER 0 NEW BEST:: SOT 22978 SOS 6136 HAS SOPS 6136 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.136
AT ITER 24 NEW BEST:: SOT 22973 SOS 6129 HAS SOPS 6129 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5551.129
AT ITER 39 NEW BEST:: SOT 22973 SOS 6122 HAS SOPS 6122 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5544.122
AT ITER 46 NEW BEST:: SOT 22971 SOS 6107 HAS SOPS 6107 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5540.107
AT ITER 51 NEW BEST:: SOT 22957 SOS 6093 HAS SOPS 6093 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5526.093
AT ITER 64 NEW BEST:: SOT 22941 SOS 6093 HAS SOPS 6093 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5494.093
AT ITER 78 NEW BEST:: SOT 22982 SOS 6137 HAS SOPS 6137 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5493.137
AT ITER 87 NEW BEST:: SOT 22982 SOS 6131 HAS SOPS 6131 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5489.131
AT ITER 92 NEW BEST:: SOT 22952 SOS 6070 HAS SOPS 6070 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5458.07
AT ITER 108 NEW BEST:: SOT 22951 SOS 6068 HAS SOPS 6068 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5456.068
AT ITER 134 NEW BEST:: SOT 22948 SOS 6062 HAS SOPS 6062 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5450.062
AT ITER 135 NEW BEST:: SOT 22943 SOS 6055 HAS SOPS 6055 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5443.055
AT ITER 152 NEW BEST:: SOT 22943 SOS 6044 HAS SOPS 6044 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5432.044
AT ITER 162 NEW BEST:: SOT 22936 SOS 6051 HAS SOPS 6051 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5425.051
AT ITER 177 NEW BEST:: SOT 22930 SOS 5950 HAS SOPS 5950 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5393.95
AT ITER 190 NEW BEST:: SOT 22930 SOS 5933 HAS SOPS 5933 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5376.933
AT ITER 198 NEW BEST:: SOT 22930 SOS 5920 HAS SOPS 5920 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5363.92
AT ITER 203 NEW BEST:: SOT 22919 SOS 5886 HAS SOPS 5886 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5340.886
AT ITER 204 NEW BEST:: SOT 22919 SOS 5919 HAS SOPS 5919 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5329.919
AT ITER 205 NEW BEST:: SOT 22919 SOS 5911 HAS SOPS 5911 HAS SOUS 5316 HAS SOUPS 5316 WITH SCORE 5321.911
AT ITER 216 NEW BEST:: SOT 22919 SOS 5908 HAS SOPS 5908 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5320.908
AT ITER 219 NEW BEST:: SOT 22927 SOS 5900 HAS SOPS 5900 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5312.9
AT ITER 220 NEW BEST:: SOT 22922 SOS 5891 HAS SOPS 5891 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5307.891
AT ITER 221 NEW BEST:: SOT 22922 SOS 5891 HAS SOPS 5891 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5293.891
AT ITER 226 NEW BEST:: SOT 22902 SOS 5856 HAS SOPS 5856 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5258.856
AT ITER 232 NEW BEST:: SOT 22903 SOS 5853 HAS SOPS 5853 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5255.853
AT ITER 247 NEW BEST:: SOT 22903 SOS 5853 HAS SOPS 5853 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5247.853
AT ITER 252 NEW BEST:: SOT 22886 SOS 5791 HAS SOPS 5791 HAS SOUS 5197 HAS SOUPS 5197 WITH SCORE 5202.791
AT ITER 254 NEW BEST:: SOT 22874 SOS 5767 HAS SOPS 5767 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5178.767
AT ITER 256 NEW BEST:: SOT 22828 SOS 5744 HAS SOPS 5744 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5155.744
AT ITER 273 NEW BEST:: SOT 22828 SOS 5741 HAS SOPS 5741 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5155.741
AT ITER 287 NEW BEST:: SOT 22828 SOS 5734 HAS SOPS 5734 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5148.734
AT ITER 289 NEW BEST:: SOT 22828 SOS 5724 HAS SOPS 5724 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5138.724
AT ITER 301 NEW BEST:: SOT 22826 SOS 5723 HAS SOPS 5723 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5136.723
AT ITER 315 NEW BEST:: SOT 22825 SOS 5721 HAS SOPS 5721 HAS SOUS 5129 HAS SOUPS 5129 WITH SCORE 5134.721
AT ITER 341 NEW BEST:: SOT 22820 SOS 5717 HAS SOPS 5717 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5130.717
AT ITER 344 NEW BEST:: SOT 22841 SOS 5750 HAS SOPS 5750 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5129.75
AT ITER 358 NEW BEST:: SOT 22841 SOS 5746 HAS SOPS 5746 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5125.746
AT ITER 376 NEW BEST:: SOT 22825 SOS 5746 HAS SOPS 5746 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5117.746
AT ITER 380 NEW BEST:: SOT 22826 SOS 5734 HAS SOPS 5734 HAS SOUS 5100 HAS SOUPS 5100 WITH SCORE 5105.734
AT ITER 382 NEW BEST:: SOT 22826 SOS 5727 HAS SOPS 5727 HAS SOUS 5100 HAS SOUPS 5100 WITH SCORE 5105.727
AT ITER 411 NEW BEST:: SOT 22832 SOS 5726 HAS SOPS 5726 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5104.726
AT ITER 451 NEW BEST:: SOT 22832 SOS 5722 HAS SOPS 5722 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5104.722
AT ITER 477 NEW BEST:: SOT 22833 SOS 5709 HAS SOPS 5709 HAS SOUS 5086 HAS SOUPS 5086 WITH SCORE 5091.709
AT ITER 498 NEW BEST:: SOT 22833 SOS 5688 HAS SOPS 5688 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5070.688
AT ITER 543 NEW BEST:: SOT 22823 SOS 5675 HAS SOPS 5675 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5057.675
AT ITER 548 NEW BEST:: SOT 22817 SOS 5663 HAS SOPS 5663 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5057.663
AT ITER 549 NEW BEST:: SOT 22816 SOS 5628 HAS SOPS 5628 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5049.628
AT ITER 551 NEW BEST:: SOT 22795 SOS 5591 HAS SOPS 5591 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5038.591
AT ITER 573 NEW BEST:: SOT 22794 SOS 5647 HAS SOPS 5647 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5036.647
AT ITER 594 NEW BEST:: SOT 22788 SOS 5635 HAS SOPS 5635 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5024.635
AT ITER 610 NEW BEST:: SOT 22788 SOS 5635 HAS SOPS 5635 HAS SOUS 5002 HAS SOUPS 5002 WITH SCORE 5007.635
AT ITER 617 NEW BEST:: SOT 22788 SOS 5632 HAS SOPS 5632 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5004.632
AT ITER 629 NEW BEST:: SOT 22778 SOS 5582 HAS SOPS 5582 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4984.582
AT ITER 634 NEW BEST:: SOT 22765 SOS 5569 HAS SOPS 5569 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4971.569
AT ITER 635 NEW BEST:: SOT 22718 SOS 5548 HAS SOPS 5548 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4898.548
AT ITER 645 NEW BEST:: SOT 22688 SOS 5495 HAS SOPS 5495 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4867.495
AT ITER 648 NEW BEST:: SOT 22678 SOS 5465 HAS SOPS 5465 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4847.465
AT ITER 652 NEW BEST:: SOT 22676 SOS 5461 HAS SOPS 5461 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4843.461
AT ITER 660 NEW BEST:: SOT 22672 SOS 5459 HAS SOPS 5459 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4841.459
AT ITER 696 NEW BEST:: SOT 22671 SOS 5485 HAS SOPS 5485 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4839.485
AT ITER 703 NEW BEST:: SOT 22671 SOS 5479 HAS SOPS 5479 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4833.479
AT ITER 715 NEW BEST:: SOT 22670 SOS 5477 HAS SOPS 5477 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4831.477
AT ITER 720 NEW BEST:: SOT 22669 SOS 5470 HAS SOPS 5470 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4824.47
AT ITER 751 NEW BEST:: SOT 22660 SOS 5458 HAS SOPS 5458 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4812.458
AT ITER 793 NEW BEST:: SOT 22660 SOS 5435 HAS SOPS 5435 HAS SOUS 4784 HAS SOUPS 4784 WITH SCORE 4789.435
AT ITER 796 NEW BEST:: SOT 22635 SOS 5392 HAS SOPS 5392 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4771.392
AT ITER 810 NEW BEST:: SOT 22635 SOS 5356 HAS SOPS 5356 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4735.356
AT ITER 836 NEW BEST:: SOT 22632 SOS 5350 HAS SOPS 5350 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4728.35
AT ITER 840 NEW BEST:: SOT 22624 SOS 5345 HAS SOPS 5345 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4723.345
AT ITER 844 NEW BEST:: SOT 22612 SOS 5321 HAS SOPS 5321 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4701.321
AT ITER 848 NEW BEST:: SOT 22599 SOS 5282 HAS SOPS 5282 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4688.282
AT ITER 862 NEW BEST:: SOT 22595 SOS 5238 HAS SOPS 5238 HAS SOUS 4647 HAS SOUPS 4647 WITH SCORE 4652.238
AT ITER 882 NEW BEST:: SOT 22623 SOS 5279 HAS SOPS 5279 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4651.279
AT ITER 887 NEW BEST:: SOT 22621 SOS 5271 HAS SOPS 5271 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4612.271
AT ITER 897 NEW BEST:: SOT 22608 SOS 5252 HAS SOPS 5252 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4593.252
AT ITER 919 NEW BEST:: SOT 22606 SOS 5276 HAS SOPS 5276 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4589.276
AT ITER 946 NEW BEST:: SOT 22602 SOS 5268 HAS SOPS 5268 HAS SOUS 4580 HAS SOUPS 4580 WITH SCORE 4585.268
AT ITER 975 NEW BEST:: SOT 22600 SOS 5267 HAS SOPS 5267 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4584.267
AT ITER 978 NEW BEST:: SOT 22620 SOS 5292 HAS SOPS 5292 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4583.292
AT ITER 1010 NEW BEST:: SOT 22620 SOS 5291 HAS SOPS 5291 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4582.291
AT ITER 1019 NEW BEST:: SOT 22620 SOS 5288 HAS SOPS 5288 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4579.288
AT ITER 1020 NEW BEST:: SOT 22620 SOS 5272 HAS SOPS 5272 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4557.272
AT ITER 1027 NEW BEST:: SOT 22620 SOS 5266 HAS SOPS 5266 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4550.266
AT ITER 1093 NEW BEST:: SOT 22612 SOS 5229 HAS SOPS 5229 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4545.229
AT ITER 1106 NEW BEST:: SOT 22626 SOS 5263 HAS SOPS 5263 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4517.263
AT ITER 1108 NEW BEST:: SOT 22622 SOS 5255 HAS SOPS 5255 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4517.255
AT ITER 1127 NEW BEST:: SOT 22620 SOS 5236 HAS SOPS 5236 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4514.236
AT ITER 1186 NEW BEST:: SOT 22616 SOS 5228 HAS SOPS 5228 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4506.228
AT ITER 1188 NEW BEST:: SOT 22609 SOS 5221 HAS SOPS 5221 HAS SOUS 4494 HAS SOUPS 4494 WITH SCORE 4499.221
AT ITER 1189 NEW BEST:: SOT 22609 SOS 5141 HAS SOPS 5141 HAS SOUS 4494 HAS SOUPS 4494 WITH SCORE 4499.141
AT ITER 1205 NEW BEST:: SOT 22614 SOS 5115 HAS SOPS 5115 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4481.115
AT ITER 1208 NEW BEST:: SOT 22611 SOS 5112 HAS SOPS 5112 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4478.112
AT ITER 1231 NEW BEST:: SOT 22622 SOS 5108 HAS SOPS 5108 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4474.108
AT ITER 1261 NEW BEST:: SOT 22613 SOS 5094 HAS SOPS 5094 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4460.094
AT ITER 1284 NEW BEST:: SOT 22598 SOS 5106 HAS SOPS 5106 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4456.106
AT ITER 1337 NEW BEST:: SOT 22598 SOS 5104 HAS SOPS 5104 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4454.104
AT ITER 1344 NEW BEST:: SOT 22616 SOS 5086 HAS SOPS 5086 HAS SOUS 4433 HAS SOUPS 4433 WITH SCORE 4438.086
AT ITER 1362 NEW BEST:: SOT 22596 SOS 5040 HAS SOPS 5040 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4432.04
AT ITER 1365 NEW BEST:: SOT 22596 SOS 5039 HAS SOPS 5039 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4431.039
AT ITER 1412 NEW BEST:: SOT 22588 SOS 5031 HAS SOPS 5031 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4423.031
AT ITER 1419 NEW BEST:: SOT 22580 SOS 5023 HAS SOPS 5023 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4415.023
AT ITER 1430 NEW BEST:: SOT 22577 SOS 5013 HAS SOPS 5013 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4408.013
AT ITER 1457 NEW BEST:: SOT 22576 SOS 5011 HAS SOPS 5011 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4406.011
AT ITER 1477 NEW BEST:: SOT 22567 SOS 4974 HAS SOPS 4974 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4385.974
AT ITER 1503 NEW BEST:: SOT 22567 SOS 4973 HAS SOPS 4973 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4384.973
AT ITER 1547 NEW BEST:: SOT 22566 SOS 4968 HAS SOPS 4968 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4380.968
AT ITER 1562 NEW BEST:: SOT 22555 SOS 4851 HAS SOPS 4851 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4358.851
AT ITER 1596 NEW BEST:: SOT 22553 SOS 4843 HAS SOPS 4843 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4350.843
AT ITER 1613 NEW BEST:: SOT 22562 SOS 4837 HAS SOPS 4837 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4344.837
AT ITER 1621 NEW BEST:: SOT 22546 SOS 4821 HAS SOPS 4821 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4328.821
AT ITER 1623 NEW BEST:: SOT 22546 SOS 4812 HAS SOPS 4812 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4325.812
AT ITER 1629 NEW BEST:: SOT 22546 SOS 4784 HAS SOPS 4784 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4299.784
AT ITER 1635 NEW BEST:: SOT 22538 SOS 4768 HAS SOPS 4768 HAS SOUS 4287 HAS SOUPS 4287 WITH SCORE 4291.768
AT ITER 1639 NEW BEST:: SOT 22535 SOS 4760 HAS SOPS 4760 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4286.76
AT ITER 1641 NEW BEST:: SOT 22535 SOS 4712 HAS SOPS 4712 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4286.712
AT ITER 1660 NEW BEST:: SOT 22535 SOS 4708 HAS SOPS 4708 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4282.708
AT ITER 1680 NEW BEST:: SOT 22532 SOS 4701 HAS SOPS 4701 HAS SOUS 4271 HAS SOUPS 4271 WITH SCORE 4275.701
AT ITER 1689 NEW BEST:: SOT 22531 SOS 4690 HAS SOPS 4690 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4264.69
AT ITER 1698 NEW BEST:: SOT 22541 SOS 4710 HAS SOPS 4710 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4257.71
AT ITER 1714 NEW BEST:: SOT 22528 SOS 4706 HAS SOPS 4706 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4248.706
AT ITER 1725 NEW BEST:: SOT 22524 SOS 4698 HAS SOPS 4698 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4240.698
AT ITER 1730 NEW BEST:: SOT 22524 SOS 4682 HAS SOPS 4682 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4240.682
AT ITER 1756 NEW BEST:: SOT 22506 SOS 4661 HAS SOPS 4661 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4202.661
AT ITER 1763 NEW BEST:: SOT 22506 SOS 4656 HAS SOPS 4656 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4197.656
AT ITER 1768 NEW BEST:: SOT 22505 SOS 4654 HAS SOPS 4654 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4195.654
AT ITER 1777 NEW BEST:: SOT 22502 SOS 4648 HAS SOPS 4648 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4189.648
AT ITER 1779 NEW BEST:: SOT 22502 SOS 4639 HAS SOPS 4639 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4186.639
AT ITER 1809 NEW BEST:: SOT 22502 SOS 4639 HAS SOPS 4639 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4185.639
AT ITER 1813 NEW BEST:: SOT 22502 SOS 4639 HAS SOPS 4639 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4155.639
AT ITER 1856 NEW BEST:: SOT 22499 SOS 4636 HAS SOPS 4636 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4152.636
AT ITER 1882 NEW BEST:: SOT 22503 SOS 4615 HAS SOPS 4615 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4136.615
AT ITER 1930 NEW BEST:: SOT 22507 SOS 4611 HAS SOPS 4611 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4136.611
AT ITER 1937 NEW BEST:: SOT 22514 SOS 4605 HAS SOPS 4605 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4130.605
AT ITER 1941 NEW BEST:: SOT 22514 SOS 4604 HAS SOPS 4604 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4129.604
AT ITER 1943 NEW BEST:: SOT 22514 SOS 4550 HAS SOPS 4550 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4075.55
AT ITER 1949 NEW BEST:: SOT 22515 SOS 4552 HAS SOPS 4552 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4074.552
AT ITER 1965 NEW BEST:: SOT 22515 SOS 4549 HAS SOPS 4549 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4071.549
AT ITER 2001 NEW BEST:: SOT 22513 SOS 4545 HAS SOPS 4545 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4069.545
AT ITER 2009 NEW BEST:: SOT 22513 SOS 4546 HAS SOPS 4546 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4068.546
AT ITER 2055 NEW BEST:: SOT 22513 SOS 4541 HAS SOPS 4541 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4068.541
AT ITER 2091 NEW BEST:: SOT 22502 SOS 4505 HAS SOPS 4505 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4060.505
AT ITER 2104 NEW BEST:: SOT 22502 SOS 4507 HAS SOPS 4507 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4059.507
AT ITER 2127 NEW BEST:: SOT 22500 SOS 4501 HAS SOPS 4501 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4053.501
AT ITER 2157 NEW BEST:: SOT 22498 SOS 4499 HAS SOPS 4499 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4051.499
AT ITER 2158 NEW BEST:: SOT 22497 SOS 4497 HAS SOPS 4497 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4049.497
AT ITER 2241 NEW BEST:: SOT 22494 SOS 4449 HAS SOPS 4449 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4001.449
AT ITER 2242 NEW BEST:: SOT 22495 SOS 4431 HAS SOPS 4431 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 3998.431
AT ITER 2251 NEW BEST:: SOT 22489 SOS 4430 HAS SOPS 4430 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 3997.43
AT ITER 2256 NEW BEST:: SOT 22496 SOS 4428 HAS SOPS 4428 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3995.428
AT ITER 2274 NEW BEST:: SOT 22500 SOS 4427 HAS SOPS 4427 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3994.427
AT ITER 2336 NEW BEST:: SOT 22498 SOS 4425 HAS SOPS 4425 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3992.425
AT ITER 2345 NEW BEST:: SOT 22461 SOS 4420 HAS SOPS 4420 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3976.42
AT ITER 2359 NEW BEST:: SOT 22456 SOS 4444 HAS SOPS 4444 HAS SOUS 3963 HAS SOUPS 3963 WITH SCORE 3967.444
AT ITER 2397 NEW BEST:: SOT 22445 SOS 4436 HAS SOPS 4436 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3959.436
AT ITER 2398 NEW BEST:: SOT 22435 SOS 4423 HAS SOPS 4423 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3946.423
AT ITER 2405 NEW BEST:: SOT 22428 SOS 4421 HAS SOPS 4421 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3944.421
AT ITER 2407 NEW BEST:: SOT 22420 SOS 4416 HAS SOPS 4416 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3939.416
AT ITER 2434 NEW BEST:: SOT 22415 SOS 4411 HAS SOPS 4411 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3934.411
AT ITER 2509 NEW BEST:: SOT 22418 SOS 4417 HAS SOPS 4417 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3924.417
AT ITER 2519 NEW BEST:: SOT 22416 SOS 4395 HAS SOPS 4395 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3902.395
AT ITER 2571 NEW BEST:: SOT 22418 SOS 4408 HAS SOPS 4408 HAS SOUS 3886 HAS SOUPS 3886 WITH SCORE 3890.408
AT ITER 2605 NEW BEST:: SOT 22423 SOS 4407 HAS SOPS 4407 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3889.407
AT ITER 2610 NEW BEST:: SOT 22418 SOS 4387 HAS SOPS 4387 HAS SOUS 3875 HAS SOUPS 3875 WITH SCORE 3879.387
AT ITER 2613 NEW BEST:: SOT 22419 SOS 4386 HAS SOPS 4386 HAS SOUS 3874 HAS SOUPS 3874 WITH SCORE 3878.386
AT ITER 2630 NEW BEST:: SOT 22417 SOS 4384 HAS SOPS 4384 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3876.384
AT ITER 2651 NEW BEST:: SOT 22415 SOS 4380 HAS SOPS 4380 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.38
AT ITER 2682 NEW BEST:: SOT 22415 SOS 4377 HAS SOPS 4377 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3871.377
AT ITER 2718 NEW BEST:: SOT 22409 SOS 4366 HAS SOPS 4366 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3866.366
AT ITER 2879 NEW BEST:: SOT 22407 SOS 4362 HAS SOPS 4362 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3862.362
AT ITER 2894 NEW BEST:: SOT 22402 SOS 4346 HAS SOPS 4346 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3851.346
AT ITER 2959 NEW BEST:: SOT 22402 SOS 4330 HAS SOPS 4330 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3839.33
AT ITER 2978 NEW BEST:: SOT 22394 SOS 4314 HAS SOPS 4314 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3823.314
AT ITER 2980 NEW BEST:: SOT 22401 SOS 4309 HAS SOPS 4309 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3818.309
AT ITER 3072 NEW BEST:: SOT 22403 SOS 4307 HAS SOPS 4307 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3816.307
AT ITER 3077 NEW BEST:: SOT 22395 SOS 4299 HAS SOPS 4299 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3812.299
AT ITER 3136 NEW BEST:: SOT 22394 SOS 4297 HAS SOPS 4297 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3810.297
AT ITER 3143 NEW BEST:: SOT 22392 SOS 4293 HAS SOPS 4293 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3806.293
AT ITER 3186 NEW BEST:: SOT 22392 SOS 4269 HAS SOPS 4269 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3806.269
AT ITER 3219 NEW BEST:: SOT 22393 SOS 4263 HAS SOPS 4263 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3805.263
AT ITER 3235 NEW BEST:: SOT 22392 SOS 4262 HAS SOPS 4262 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3804.262
AT ITER 3267 NEW BEST:: SOT 22388 SOS 4254 HAS SOPS 4254 HAS SOUS 3792 HAS SOUPS 3792 WITH SCORE 3796.254
AT ITER 3279 NEW BEST:: SOT 22387 SOS 4252 HAS SOPS 4252 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3794.252
AT ITER 3315 NEW BEST:: SOT 22389 SOS 4249 HAS SOPS 4249 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3791.249
AT ITER 3378 NEW BEST:: SOT 22389 SOS 4234 HAS SOPS 4234 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3776.234
AT ITER 3383 NEW BEST:: SOT 22386 SOS 4228 HAS SOPS 4228 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3770.228
AT ITER 3488 NEW BEST:: SOT 22385 SOS 4226 HAS SOPS 4226 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3768.226
AT ITER 3501 NEW BEST:: SOT 22385 SOS 4220 HAS SOPS 4220 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3768.22
AT ITER 3535 NEW BEST:: SOT 22385 SOS 4204 HAS SOPS 4204 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3752.204
AT ITER 3536 NEW BEST:: SOT 22385 SOS 4195 HAS SOPS 4195 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3752.195
AT ITER 3592 NEW BEST:: SOT 22383 SOS 4193 HAS SOPS 4193 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.193
AT ITER 3671 NEW BEST:: SOT 22385 SOS 4161 HAS SOPS 4161 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3718.161
AT ITER 3892 NEW BEST:: SOT 22381 SOS 4153 HAS SOPS 4153 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3714.153
AT ITER 3909 NEW BEST:: SOT 22381 SOS 4140 HAS SOPS 4140 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3714.14
AT ITER 4064 NEW BEST:: SOT 22388 SOS 4138 HAS SOPS 4138 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3712.138
AT ITER 4149 NEW BEST:: SOT 22388 SOS 4128 HAS SOPS 4128 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3702.128
AT ITER 4167 NEW BEST:: SOT 22379 SOS 4134 HAS SOPS 4134 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3691.134
AT ITER 4186 NEW BEST:: SOT 22379 SOS 4124 HAS SOPS 4124 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3682.124
AT ITER 4205 NEW BEST:: SOT 22376 SOS 4118 HAS SOPS 4118 HAS SOUS 3672 HAS SOUPS 3672 WITH SCORE 3676.118
AT ITER 4385 NEW BEST:: SOT 22373 SOS 4114 HAS SOPS 4114 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3672.114
AT ITER 4415 NEW BEST:: SOT 22372 SOS 4112 HAS SOPS 4112 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3671.112
AT ITER 4714 NEW BEST:: SOT 22372 SOS 4108 HAS SOPS 4108 HAS SOUS 3663 HAS SOUPS 3663 WITH SCORE 3667.108
AT ITER 4726 NEW BEST:: SOT 22369 SOS 4102 HAS SOPS 4102 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3664.102
AT ITER 4742 NEW BEST:: SOT 22368 SOS 4112 HAS SOPS 4112 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3663.112
AT ITER 4783 NEW BEST:: SOT 22367 SOS 4111 HAS SOPS 4111 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3662.111
AT ITER 4807 NEW BEST:: SOT 22362 SOS 4106 HAS SOPS 4106 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3657.106
AT ITER 4818 NEW BEST:: SOT 22362 SOS 4102 HAS SOPS 4102 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3653.102
AT ITER 4826 NEW BEST:: SOT 22357 SOS 4097 HAS SOPS 4097 HAS SOUS 3645 HAS SOUPS 3645 WITH SCORE 3649.097
AT ITER 4903 NEW BEST:: SOT 22358 SOS 4065 HAS SOPS 4065 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3624.065
AT ITER 4907 NEW BEST:: SOT 22358 SOS 4061 HAS SOPS 4061 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3624.061
AT ITER 4947 NEW BEST:: SOT 22358 SOS 4043 HAS SOPS 4043 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3624.043
AT ITER 5022 NEW BEST:: SOT 22368 SOS 4047 HAS SOPS 4047 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3614.047
AT ITER 5168 NEW BEST:: SOT 22366 SOS 4043 HAS SOPS 4043 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3610.043
AT ITER 5197 NEW BEST:: SOT 22365 SOS 4041 HAS SOPS 4041 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3604.041
AT ITER 5266 NEW BEST:: SOT 22365 SOS 4039 HAS SOPS 4039 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3602.039
AT ITER 5329 NEW BEST:: SOT 22364 SOS 4026 HAS SOPS 4026 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3600.026
AT ITER 5422 NEW BEST:: SOT 22363 SOS 4026 HAS SOPS 4026 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3598.026
AT ITER 5435 NEW BEST:: SOT 22356 SOS 4005 HAS SOPS 4005 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3589.005
AT ITER 5506 NEW BEST:: SOT 22356 SOS 3986 HAS SOPS 3986 HAS SOUS 3579 HAS SOUPS 3579 WITH SCORE 3582.986
AT ITER 5572 NEW BEST:: SOT 22356 SOS 3984 HAS SOPS 3984 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3576.984
AT ITER 5579 NEW BEST:: SOT 22356 SOS 3980 HAS SOPS 3980 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3572.98
AT ITER 5711 NEW BEST:: SOT 22355 SOS 3976 HAS SOPS 3976 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3571.976
AT ITER 5716 NEW BEST:: SOT 22359 SOS 3966 HAS SOPS 3966 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3561.966
AT ITER 5762 NEW BEST:: SOT 22358 SOS 3964 HAS SOPS 3964 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3559.964
AT ITER 5887 NEW BEST:: SOT 22356 SOS 3956 HAS SOPS 3956 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3555.956
AT ITER 5894 NEW BEST:: SOT 22355 SOS 3954 HAS SOPS 3954 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3555.954
AT ITER 5919 NEW BEST:: SOT 22355 SOS 3953 HAS SOPS 3953 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3555.953
AT ITER 5930 NEW BEST:: SOT 22358 SOS 3956 HAS SOPS 3956 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3549.956
AT ITER 6036 NEW BEST:: SOT 22358 SOS 3947 HAS SOPS 3947 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3549.947
AT ITER 6042 NEW BEST:: SOT 22358 SOS 3941 HAS SOPS 3941 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3543.941
AT ITER 6105 NEW BEST:: SOT 22354 SOS 3937 HAS SOPS 3937 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3539.937
AT ITER 6117 NEW BEST:: SOT 22348 SOS 3925 HAS SOPS 3925 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3527.925
AT ITER 6172 NEW BEST:: SOT 22345 SOS 3922 HAS SOPS 3922 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3524.922
AT ITER 6230 NEW BEST:: SOT 22340 SOS 3912 HAS SOPS 3912 HAS SOUS 3511 HAS SOUPS 3511 WITH SCORE 3514.912
AT ITER 6258 NEW BEST:: SOT 22336 SOS 3916 HAS SOPS 3916 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3510.916
AT ITER 6318 NEW BEST:: SOT 22335 SOS 3914 HAS SOPS 3914 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3508.914
AT ITER 6420 NEW BEST:: SOT 22335 SOS 3914 HAS SOPS 3914 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3503.914
AT ITER 6465 NEW BEST:: SOT 22333 SOS 3910 HAS SOPS 3910 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3503.91
AT ITER 6515 NEW BEST:: SOT 22333 SOS 3908 HAS SOPS 3908 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3503.908
AT ITER 6552 NEW BEST:: SOT 22334 SOS 3904 HAS SOPS 3904 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3499.904
AT ITER 6755 NEW BEST:: SOT 22324 SOS 3884 HAS SOPS 3884 HAS SOUS 3485 HAS SOUPS 3485 WITH SCORE 3488.884
AT ITER 7011 NEW BEST:: SOT 22323 SOS 3881 HAS SOPS 3881 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3486.881
AT ITER 7086 NEW BEST:: SOT 22325 SOS 3880 HAS SOPS 3880 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3485.88
AT ITER 7138 NEW BEST:: SOT 22323 SOS 3878 HAS SOPS 3878 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3484.878
AT ITER 7141 NEW BEST:: SOT 22322 SOS 3876 HAS SOPS 3876 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3482.876
AT ITER 7172 NEW BEST:: SOT 22322 SOS 3864 HAS SOPS 3864 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3477.864
AT ITER 7218 NEW BEST:: SOT 22322 SOS 3864 HAS SOPS 3864 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3474.864
AT ITER 7238 NEW BEST:: SOT 22320 SOS 3860 HAS SOPS 3860 HAS SOUS 3470 HAS SOUPS 3470 WITH SCORE 3473.86
AT ITER 7255 NEW BEST:: SOT 22320 SOS 3856 HAS SOPS 3856 HAS SOUS 3470 HAS SOUPS 3470 WITH SCORE 3473.856
AT ITER 7298 NEW BEST:: SOT 22320 SOS 3855 HAS SOPS 3855 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3472.855
AT ITER 7343 NEW BEST:: SOT 22310 SOS 3845 HAS SOPS 3845 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3462.845
AT ITER 7387 NEW BEST:: SOT 22310 SOS 3845 HAS SOPS 3845 HAS SOUS 3456 HAS SOUPS 3456 WITH SCORE 3459.845
AT ITER 7500 NEW BEST:: SOT 22303 SOS 3843 HAS SOPS 3843 HAS SOUS 3454 HAS SOUPS 3454 WITH SCORE 3457.843
AT ITER 7592 NEW BEST:: SOT 22305 SOS 3824 HAS SOPS 3824 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3444.824
AT ITER 7601 NEW BEST:: SOT 22305 SOS 3823 HAS SOPS 3823 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3443.823
AT ITER 7683 NEW BEST:: SOT 22306 SOS 3822 HAS SOPS 3822 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3442.822
AT ITER 7729 NEW BEST:: SOT 22306 SOS 3815 HAS SOPS 3815 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3435.815
AT ITER 7822 NEW BEST:: SOT 22307 SOS 3811 HAS SOPS 3811 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3431.811
AT ITER 7905 NEW BEST:: SOT 22298 SOS 3802 HAS SOPS 3802 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3422.802
AT ITER 7926 NEW BEST:: SOT 22297 SOS 3802 HAS SOPS 3802 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3420.802
AT ITER 7993 NEW BEST:: SOT 22293 SOS 3786 HAS SOPS 3786 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3416.786
AT ITER 8066 NEW BEST:: SOT 22293 SOS 3786 HAS SOPS 3786 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3414.786
AT ITER 8127 NEW BEST:: SOT 22293 SOS 3783 HAS SOPS 3783 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3411.783
AT ITER 8244 NEW BEST:: SOT 22292 SOS 3781 HAS SOPS 3781 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3410.781
AT ITER 8488 NEW BEST:: SOT 22290 SOS 3779 HAS SOPS 3779 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3410.779
AT ITER 8498 NEW BEST:: SOT 22290 SOS 3771 HAS SOPS 3771 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3402.771
AT ITER 8531 NEW BEST:: SOT 22286 SOS 3767 HAS SOPS 3767 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3402.767
AT ITER 8735 NEW BEST:: SOT 22286 SOS 3763 HAS SOPS 3763 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3402.763
AT ITER 8749 NEW BEST:: SOT 22285 SOS 3760 HAS SOPS 3760 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3401.76
AT ITER 8808 NEW BEST:: SOT 22285 SOS 3749 HAS SOPS 3749 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3401.749
AT ITER 8827 NEW BEST:: SOT 22284 SOS 3747 HAS SOPS 3747 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3399.747
AT ITER 8851 NEW BEST:: SOT 22280 SOS 3731 HAS SOPS 3731 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3391.731
AT ITER 8872 NEW BEST:: SOT 22280 SOS 3714 HAS SOPS 3714 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3391.714
AT ITER 8993 NEW BEST:: SOT 22281 SOS 3704 HAS SOPS 3704 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3389.704
AT ITER 8994 NEW BEST:: SOT 22277 SOS 3691 HAS SOPS 3691 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3376.691
AT ITER 9054 NEW BEST:: SOT 22278 SOS 3680 HAS SOPS 3680 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3365.68
AT ITER 9085 NEW BEST:: SOT 22277 SOS 3681 HAS SOPS 3681 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3364.681
AT ITER 9166 NEW BEST:: SOT 22274 SOS 3678 HAS SOPS 3678 HAS SOUS 3358 HAS SOUPS 3358 WITH SCORE 3361.678
AT ITER 9240 NEW BEST:: SOT 22273 SOS 3690 HAS SOPS 3690 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3360.69
AT ITER 9264 NEW BEST:: SOT 22270 SOS 3684 HAS SOPS 3684 HAS SOUS 3351 HAS SOUPS 3351 WITH SCORE 3354.684
AT ITER 9305 NEW BEST:: SOT 22270 SOS 3668 HAS SOPS 3668 HAS SOUS 3351 HAS SOUPS 3351 WITH SCORE 3354.668
AT ITER 9390 NEW BEST:: SOT 22267 SOS 3665 HAS SOPS 3665 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3351.665
AT ITER 9397 NEW BEST:: SOT 22271 SOS 3664 HAS SOPS 3664 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3351.664
AT ITER 9595 NEW BEST:: SOT 22257 SOS 3636 HAS SOPS 3636 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3335.636
AT ITER 9609 NEW BEST:: SOT 22260 SOS 3633 HAS SOPS 3633 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3335.633
AT ITER 9665 NEW BEST:: SOT 22260 SOS 3632 HAS SOPS 3632 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3335.632
AT ITER 9692 NEW BEST:: SOT 22257 SOS 3626 HAS SOPS 3626 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3329.626
AT ITER 9803 NEW BEST:: SOT 22256 SOS 3625 HAS SOPS 3625 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3329.625
AT ITER 9871 NEW BEST:: SOT 22255 SOS 3607 HAS SOPS 3607 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3325.607
AT ITER 9912 NEW BEST:: SOT 22252 SOS 3601 HAS SOPS 3601 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3319.601
AT ITER 9973 NEW BEST:: SOT 22251 SOS 3599 HAS SOPS 3599 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3317.599
STATE_SPACE STATES 16154516414537 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 15 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 203513071987459 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589136045752

--------------------
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="AutoFlight-PT-02b"
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 AutoFlight-PT-02b, 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 r003-smll-158897508500393"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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