Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590800400.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
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-oct2-167813590800400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 6.7K Feb 25 18:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 18:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 18:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 18:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 18:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 137K Feb 25 18:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 25 18:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 48K Mar 5 18:22 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 1678472870649

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutoFlight-PT-02b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 02b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/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 15 NEW BEST:: SOT 22971 SOS 6125 HAS SOPS 6125 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5549.125
AT ITER 21 NEW BEST:: SOT 22964 SOS 6085 HAS SOPS 6085 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5548.085
AT ITER 22 NEW BEST:: SOT 22958 SOS 6072 HAS SOPS 6072 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5533.072
AT ITER 29 NEW BEST:: SOT 22956 SOS 6090 HAS SOPS 6090 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5529.09
AT ITER 32 NEW BEST:: SOT 22956 SOS 6075 HAS SOPS 6075 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5508.075
AT ITER 34 NEW BEST:: SOT 22959 SOS 6071 HAS SOPS 6071 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5504.071
AT ITER 45 NEW BEST:: SOT 22948 SOS 6049 HAS SOPS 6049 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5493.049
AT ITER 46 NEW BEST:: SOT 22948 SOS 6033 HAS SOPS 6033 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5477.033
AT ITER 68 NEW BEST:: SOT 22948 SOS 6027 HAS SOPS 6027 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5474.027
AT ITER 79 NEW BEST:: SOT 22942 SOS 6026 HAS SOPS 6026 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5473.026
AT ITER 82 NEW BEST:: SOT 22940 SOS 6028 HAS SOPS 6028 HAS SOUS 5463 HAS SOUPS 5463 WITH SCORE 5469.028
AT ITER 119 NEW BEST:: SOT 22924 SOS 6012 HAS SOPS 6012 HAS SOUS 5447 HAS SOUPS 5447 WITH SCORE 5453.012
AT ITER 128 NEW BEST:: SOT 22924 SOS 6016 HAS SOPS 6016 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.016
AT ITER 136 NEW BEST:: SOT 22899 SOS 5966 HAS SOPS 5966 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5387.966
AT ITER 148 NEW BEST:: SOT 22898 SOS 5958 HAS SOPS 5958 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5379.958
AT ITER 157 NEW BEST:: SOT 22898 SOS 5942 HAS SOPS 5942 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5362.942
AT ITER 159 NEW BEST:: SOT 22896 SOS 5940 HAS SOPS 5940 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5360.94
AT ITER 165 NEW BEST:: SOT 22896 SOS 5940 HAS SOPS 5940 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5354.94
AT ITER 183 NEW BEST:: SOT 22896 SOS 5940 HAS SOPS 5940 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5353.94
AT ITER 203 NEW BEST:: SOT 22893 SOS 5844 HAS SOPS 5844 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5328.844
AT ITER 204 NEW BEST:: SOT 22895 SOS 5834 HAS SOPS 5834 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5325.834
AT ITER 205 NEW BEST:: SOT 22893 SOS 5823 HAS SOPS 5823 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5314.823
AT ITER 229 NEW BEST:: SOT 22889 SOS 5815 HAS SOPS 5815 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5314.815
AT ITER 243 NEW BEST:: SOT 22889 SOS 5801 HAS SOPS 5801 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5310.801
AT ITER 286 NEW BEST:: SOT 22888 SOS 5812 HAS SOPS 5812 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5308.812
AT ITER 290 NEW BEST:: SOT 22888 SOS 5807 HAS SOPS 5807 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5303.807
AT ITER 313 NEW BEST:: SOT 22884 SOS 5799 HAS SOPS 5799 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5295.799
AT ITER 335 NEW BEST:: SOT 22883 SOS 5798 HAS SOPS 5798 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5294.798
AT ITER 347 NEW BEST:: SOT 22869 SOS 5789 HAS SOPS 5789 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5285.789
AT ITER 350 NEW BEST:: SOT 22876 SOS 5771 HAS SOPS 5771 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5267.771
AT ITER 360 NEW BEST:: SOT 22874 SOS 5767 HAS SOPS 5767 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5263.767
AT ITER 369 NEW BEST:: SOT 22859 SOS 5750 HAS SOPS 5750 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5248.75
AT ITER 370 NEW BEST:: SOT 22843 SOS 5742 HAS SOPS 5742 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5240.742
AT ITER 379 NEW BEST:: SOT 22843 SOS 5742 HAS SOPS 5742 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5236.742
AT ITER 390 NEW BEST:: SOT 22830 SOS 5751 HAS SOPS 5751 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5231.751
AT ITER 393 NEW BEST:: SOT 22810 SOS 5787 HAS SOPS 5787 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5224.787
AT ITER 394 NEW BEST:: SOT 22802 SOS 5771 HAS SOPS 5771 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5208.771
AT ITER 402 NEW BEST:: SOT 22802 SOS 5741 HAS SOPS 5741 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5178.741
AT ITER 422 NEW BEST:: SOT 22755 SOS 5766 HAS SOPS 5766 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5156.766
AT ITER 429 NEW BEST:: SOT 22755 SOS 5743 HAS SOPS 5743 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5156.743
AT ITER 459 NEW BEST:: SOT 22756 SOS 5726 HAS SOPS 5726 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5139.726
AT ITER 469 NEW BEST:: SOT 22747 SOS 5704 HAS SOPS 5704 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5117.704
AT ITER 478 NEW BEST:: SOT 22747 SOS 5704 HAS SOPS 5704 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5112.704
AT ITER 479 NEW BEST:: SOT 22747 SOS 5679 HAS SOPS 5679 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5102.679
AT ITER 495 NEW BEST:: SOT 22708 SOS 5598 HAS SOPS 5598 HAS SOUS 5063 HAS SOUPS 5063 WITH SCORE 5068.598
AT ITER 508 NEW BEST:: SOT 22705 SOS 5592 HAS SOPS 5592 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5062.592
AT ITER 512 NEW BEST:: SOT 22711 SOS 5587 HAS SOPS 5587 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5057.587
AT ITER 514 NEW BEST:: SOT 22703 SOS 5601 HAS SOPS 5601 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5041.601
AT ITER 531 NEW BEST:: SOT 22703 SOS 5591 HAS SOPS 5591 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5036.591
AT ITER 532 NEW BEST:: SOT 22703 SOS 5591 HAS SOPS 5591 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5035.591
AT ITER 559 NEW BEST:: SOT 22702 SOS 5574 HAS SOPS 5574 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5023.574
AT ITER 589 NEW BEST:: SOT 22679 SOS 5570 HAS SOPS 5570 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5016.57
AT ITER 601 NEW BEST:: SOT 22679 SOS 5570 HAS SOPS 5570 HAS SOUS 5002 HAS SOUPS 5002 WITH SCORE 5007.57
AT ITER 605 NEW BEST:: SOT 22674 SOS 5568 HAS SOPS 5568 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 4997.568
AT ITER 625 NEW BEST:: SOT 22674 SOS 5564 HAS SOPS 5564 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4993.564
AT ITER 632 NEW BEST:: SOT 22674 SOS 5564 HAS SOPS 5564 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4992.564
AT ITER 638 NEW BEST:: SOT 22674 SOS 5562 HAS SOPS 5562 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4990.562
AT ITER 649 NEW BEST:: SOT 22667 SOS 5548 HAS SOPS 5548 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4976.548
AT ITER 683 NEW BEST:: SOT 22669 SOS 5565 HAS SOPS 5565 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4973.565
AT ITER 687 NEW BEST:: SOT 22681 SOS 5537 HAS SOPS 5537 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4970.537
AT ITER 707 NEW BEST:: SOT 22681 SOS 5501 HAS SOPS 5501 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4923.501
AT ITER 747 NEW BEST:: SOT 22678 SOS 5495 HAS SOPS 5495 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4917.495
AT ITER 771 NEW BEST:: SOT 22674 SOS 5487 HAS SOPS 5487 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4913.487
AT ITER 784 NEW BEST:: SOT 22674 SOS 5477 HAS SOPS 5477 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4903.477
AT ITER 790 NEW BEST:: SOT 22672 SOS 5507 HAS SOPS 5507 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4900.507
AT ITER 799 NEW BEST:: SOT 22671 SOS 5466 HAS SOPS 5466 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4859.466
AT ITER 801 NEW BEST:: SOT 22680 SOS 5457 HAS SOPS 5457 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4850.457
AT ITER 803 NEW BEST:: SOT 22680 SOS 5447 HAS SOPS 5447 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4840.447
AT ITER 810 NEW BEST:: SOT 22680 SOS 5443 HAS SOPS 5443 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4836.443
AT ITER 839 NEW BEST:: SOT 22680 SOS 5432 HAS SOPS 5432 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4825.432
AT ITER 842 NEW BEST:: SOT 22694 SOS 5418 HAS SOPS 5418 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4825.418
AT ITER 864 NEW BEST:: SOT 22668 SOS 5379 HAS SOPS 5379 HAS SOUS 4781 HAS SOUPS 4781 WITH SCORE 4786.379
AT ITER 866 NEW BEST:: SOT 22663 SOS 5252 HAS SOPS 5252 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4749.252
AT ITER 892 NEW BEST:: SOT 22662 SOS 5250 HAS SOPS 5250 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4731.25
AT ITER 893 NEW BEST:: SOT 22662 SOS 5240 HAS SOPS 5240 HAS SOUS 4716 HAS SOUPS 4716 WITH SCORE 4721.24
AT ITER 896 NEW BEST:: SOT 22667 SOS 5185 HAS SOPS 5185 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4711.185
AT ITER 941 NEW BEST:: SOT 22665 SOS 5191 HAS SOPS 5191 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4709.191
AT ITER 965 NEW BEST:: SOT 22659 SOS 5182 HAS SOPS 5182 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4703.182
AT ITER 969 NEW BEST:: SOT 22646 SOS 5158 HAS SOPS 5158 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4679.158
AT ITER 973 NEW BEST:: SOT 22628 SOS 5100 HAS SOPS 5100 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4621.1
AT ITER 986 NEW BEST:: SOT 22628 SOS 5082 HAS SOPS 5082 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4621.082
AT ITER 1021 NEW BEST:: SOT 22621 SOS 5080 HAS SOPS 5080 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4608.08
AT ITER 1022 NEW BEST:: SOT 22618 SOS 5062 HAS SOPS 5062 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4590.062
AT ITER 1040 NEW BEST:: SOT 22613 SOS 5051 HAS SOPS 5051 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4579.051
AT ITER 1041 NEW BEST:: SOT 22629 SOS 4956 HAS SOPS 4956 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4549.956
AT ITER 1068 NEW BEST:: SOT 22629 SOS 4955 HAS SOPS 4955 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4548.955
AT ITER 1082 NEW BEST:: SOT 22625 SOS 4947 HAS SOPS 4947 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4544.947
AT ITER 1083 NEW BEST:: SOT 22622 SOS 4944 HAS SOPS 4944 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4541.944
AT ITER 1089 NEW BEST:: SOT 22596 SOS 4944 HAS SOPS 4944 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4494.944
AT ITER 1092 NEW BEST:: SOT 22611 SOS 4933 HAS SOPS 4933 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4483.933
AT ITER 1103 NEW BEST:: SOT 22611 SOS 4922 HAS SOPS 4922 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4483.922
AT ITER 1141 NEW BEST:: SOT 22600 SOS 4880 HAS SOPS 4880 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4468.88
AT ITER 1162 NEW BEST:: SOT 22597 SOS 4874 HAS SOPS 4874 HAS SOUS 4447 HAS SOUPS 4447 WITH SCORE 4451.874
AT ITER 1195 NEW BEST:: SOT 22594 SOS 4871 HAS SOPS 4871 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4448.871
AT ITER 1220 NEW BEST:: SOT 22588 SOS 4865 HAS SOPS 4865 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4448.865
AT ITER 1232 NEW BEST:: SOT 22587 SOS 4841 HAS SOPS 4841 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4435.841
AT ITER 1253 NEW BEST:: SOT 22587 SOS 4841 HAS SOPS 4841 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4434.841
AT ITER 1259 NEW BEST:: SOT 22585 SOS 4838 HAS SOPS 4838 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4430.838
AT ITER 1333 NEW BEST:: SOT 22574 SOS 4802 HAS SOPS 4802 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4405.802
AT ITER 1335 NEW BEST:: SOT 22573 SOS 4801 HAS SOPS 4801 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4404.801
AT ITER 1365 NEW BEST:: SOT 22580 SOS 4791 HAS SOPS 4791 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4396.791
AT ITER 1378 NEW BEST:: SOT 22570 SOS 4781 HAS SOPS 4781 HAS SOUS 4382 HAS SOUPS 4382 WITH SCORE 4386.781
AT ITER 1414 NEW BEST:: SOT 22586 SOS 4790 HAS SOPS 4790 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4384.79
AT ITER 1434 NEW BEST:: SOT 22580 SOS 4784 HAS SOPS 4784 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4378.784
AT ITER 1464 NEW BEST:: SOT 22580 SOS 4781 HAS SOPS 4781 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4375.781
AT ITER 1471 NEW BEST:: SOT 22574 SOS 4769 HAS SOPS 4769 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4363.769
AT ITER 1482 NEW BEST:: SOT 22571 SOS 4763 HAS SOPS 4763 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4360.763
AT ITER 1506 NEW BEST:: SOT 22571 SOS 4745 HAS SOPS 4745 HAS SOUS 4338 HAS SOUPS 4338 WITH SCORE 4342.745
AT ITER 1508 NEW BEST:: SOT 22561 SOS 4735 HAS SOPS 4735 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4322.735
AT ITER 1510 NEW BEST:: SOT 22560 SOS 4733 HAS SOPS 4733 HAS SOUS 4316 HAS SOUPS 4316 WITH SCORE 4320.733
AT ITER 1547 NEW BEST:: SOT 22556 SOS 4720 HAS SOPS 4720 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4307.72
AT ITER 1549 NEW BEST:: SOT 22550 SOS 4709 HAS SOPS 4709 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4302.709
AT ITER 1555 NEW BEST:: SOT 22542 SOS 4693 HAS SOPS 4693 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4286.693
AT ITER 1587 NEW BEST:: SOT 22537 SOS 4692 HAS SOPS 4692 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4285.692
AT ITER 1593 NEW BEST:: SOT 22536 SOS 4691 HAS SOPS 4691 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4284.691
AT ITER 1632 NEW BEST:: SOT 22536 SOS 4676 HAS SOPS 4676 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4269.676
AT ITER 1676 NEW BEST:: SOT 22536 SOS 4666 HAS SOPS 4666 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4268.666
AT ITER 1692 NEW BEST:: SOT 22536 SOS 4630 HAS SOPS 4630 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4256.63
AT ITER 1693 NEW BEST:: SOT 22536 SOS 4623 HAS SOPS 4623 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4249.623
AT ITER 1745 NEW BEST:: SOT 22534 SOS 4619 HAS SOPS 4619 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4245.619
AT ITER 1788 NEW BEST:: SOT 22534 SOS 4609 HAS SOPS 4609 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4243.609
AT ITER 1793 NEW BEST:: SOT 22524 SOS 4600 HAS SOPS 4600 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4224.6
AT ITER 1828 NEW BEST:: SOT 22519 SOS 4588 HAS SOPS 4588 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4212.588
AT ITER 1860 NEW BEST:: SOT 22519 SOS 4581 HAS SOPS 4581 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4205.581
AT ITER 1867 NEW BEST:: SOT 22512 SOS 4557 HAS SOPS 4557 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4197.557
AT ITER 1876 NEW BEST:: SOT 22522 SOS 4554 HAS SOPS 4554 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4194.554
AT ITER 1899 NEW BEST:: SOT 22522 SOS 4554 HAS SOPS 4554 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4193.554
AT ITER 1900 NEW BEST:: SOT 22517 SOS 4544 HAS SOPS 4544 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4183.544
AT ITER 1913 NEW BEST:: SOT 22517 SOS 4540 HAS SOPS 4540 HAS SOUS 4175 HAS SOUPS 4175 WITH SCORE 4179.54
AT ITER 1919 NEW BEST:: SOT 22513 SOS 4532 HAS SOPS 4532 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4171.532
AT ITER 1924 NEW BEST:: SOT 22513 SOS 4509 HAS SOPS 4509 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4170.509
AT ITER 1993 NEW BEST:: SOT 22523 SOS 4481 HAS SOPS 4481 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4166.481
AT ITER 1994 NEW BEST:: SOT 22528 SOS 4476 HAS SOPS 4476 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4161.476
AT ITER 2033 NEW BEST:: SOT 22535 SOS 4475 HAS SOPS 4475 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4160.475
AT ITER 2097 NEW BEST:: SOT 22534 SOS 4473 HAS SOPS 4473 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4158.473
AT ITER 2121 NEW BEST:: SOT 22527 SOS 4467 HAS SOPS 4467 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4152.467
AT ITER 2194 NEW BEST:: SOT 22525 SOS 4466 HAS SOPS 4466 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4151.466
AT ITER 2229 NEW BEST:: SOT 22525 SOS 4461 HAS SOPS 4461 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4149.461
AT ITER 2243 NEW BEST:: SOT 22518 SOS 4450 HAS SOPS 4450 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4149.45
AT ITER 2273 NEW BEST:: SOT 22518 SOS 4449 HAS SOPS 4449 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4148.449
AT ITER 2280 NEW BEST:: SOT 22516 SOS 4460 HAS SOPS 4460 HAS SOUS 4140 HAS SOUPS 4140 WITH SCORE 4144.46
AT ITER 2282 NEW BEST:: SOT 22516 SOS 4458 HAS SOPS 4458 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4142.458
AT ITER 2305 NEW BEST:: SOT 22515 SOS 4457 HAS SOPS 4457 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4141.457
AT ITER 2329 NEW BEST:: SOT 22513 SOS 4455 HAS SOPS 4455 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4141.455
AT ITER 2355 NEW BEST:: SOT 22503 SOS 4474 HAS SOPS 4474 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4131.474
AT ITER 2368 NEW BEST:: SOT 22500 SOS 4473 HAS SOPS 4473 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4130.473
AT ITER 2383 NEW BEST:: SOT 22500 SOS 4466 HAS SOPS 4466 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4123.466
AT ITER 2408 NEW BEST:: SOT 22499 SOS 4486 HAS SOPS 4486 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4122.486
AT ITER 2421 NEW BEST:: SOT 22499 SOS 4485 HAS SOPS 4485 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4121.485
AT ITER 2490 NEW BEST:: SOT 22485 SOS 4471 HAS SOPS 4471 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4107.471
AT ITER 2540 NEW BEST:: SOT 22483 SOS 4473 HAS SOPS 4473 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4103.473
AT ITER 2553 NEW BEST:: SOT 22473 SOS 4438 HAS SOPS 4438 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4079.438
AT ITER 2599 NEW BEST:: SOT 22471 SOS 4410 HAS SOPS 4410 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4051.41
AT ITER 2605 NEW BEST:: SOT 22471 SOS 4408 HAS SOPS 4408 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4049.408
AT ITER 2610 NEW BEST:: SOT 22471 SOS 4407 HAS SOPS 4407 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4048.407
AT ITER 2659 NEW BEST:: SOT 22473 SOS 4393 HAS SOPS 4393 HAS SOUS 4030 HAS SOUPS 4030 WITH SCORE 4034.393
AT ITER 2696 NEW BEST:: SOT 22474 SOS 4445 HAS SOPS 4445 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4033.445
AT ITER 2718 NEW BEST:: SOT 22474 SOS 4443 HAS SOPS 4443 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4029.443
AT ITER 2740 NEW BEST:: SOT 22472 SOS 4436 HAS SOPS 4436 HAS SOUS 4022 HAS SOUPS 4022 WITH SCORE 4026.436
AT ITER 2755 NEW BEST:: SOT 22469 SOS 4430 HAS SOPS 4430 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4020.43
AT ITER 2777 NEW BEST:: SOT 22467 SOS 4426 HAS SOPS 4426 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4016.426
AT ITER 2796 NEW BEST:: SOT 22490 SOS 4396 HAS SOPS 4396 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4003.396
AT ITER 2804 NEW BEST:: SOT 22486 SOS 4388 HAS SOPS 4388 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3987.388
AT ITER 2818 NEW BEST:: SOT 22476 SOS 4352 HAS SOPS 4352 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3969.352
AT ITER 2864 NEW BEST:: SOT 22467 SOS 4322 HAS SOPS 4322 HAS SOUS 3957 HAS SOUPS 3957 WITH SCORE 3961.322
AT ITER 2881 NEW BEST:: SOT 22461 SOS 4315 HAS SOPS 4315 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3954.315
AT ITER 2910 NEW BEST:: SOT 22457 SOS 4312 HAS SOPS 4312 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3951.312
AT ITER 2915 NEW BEST:: SOT 22456 SOS 4310 HAS SOPS 4310 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3949.31
AT ITER 2967 NEW BEST:: SOT 22456 SOS 4302 HAS SOPS 4302 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3949.302
AT ITER 2995 NEW BEST:: SOT 22446 SOS 4295 HAS SOPS 4295 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3942.295
AT ITER 3014 NEW BEST:: SOT 22448 SOS 4290 HAS SOPS 4290 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3937.29
AT ITER 3037 NEW BEST:: SOT 22431 SOS 4280 HAS SOPS 4280 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3927.28
AT ITER 3087 NEW BEST:: SOT 22430 SOS 4278 HAS SOPS 4278 HAS SOUS 3921 HAS SOUPS 3921 WITH SCORE 3925.278
AT ITER 3104 NEW BEST:: SOT 22437 SOS 4281 HAS SOPS 4281 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3919.281
AT ITER 3144 NEW BEST:: SOT 22437 SOS 4279 HAS SOPS 4279 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3917.279
AT ITER 3158 NEW BEST:: SOT 22443 SOS 4276 HAS SOPS 4276 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3914.276
AT ITER 3160 NEW BEST:: SOT 22443 SOS 4273 HAS SOPS 4273 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3911.273
AT ITER 3181 NEW BEST:: SOT 22436 SOS 4267 HAS SOPS 4267 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3901.267
AT ITER 3283 NEW BEST:: SOT 22435 SOS 4265 HAS SOPS 4265 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3899.265
AT ITER 3339 NEW BEST:: SOT 22432 SOS 4259 HAS SOPS 4259 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3896.259
AT ITER 3351 NEW BEST:: SOT 22431 SOS 4257 HAS SOPS 4257 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3894.257
AT ITER 3355 NEW BEST:: SOT 22460 SOS 4285 HAS SOPS 4285 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3892.285
AT ITER 3388 NEW BEST:: SOT 22441 SOS 4276 HAS SOPS 4276 HAS SOUS 3875 HAS SOUPS 3875 WITH SCORE 3879.276
AT ITER 3418 NEW BEST:: SOT 22441 SOS 4274 HAS SOPS 4274 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3877.274
AT ITER 3451 NEW BEST:: SOT 22434 SOS 4251 HAS SOPS 4251 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3870.251
AT ITER 3534 NEW BEST:: SOT 22408 SOS 4251 HAS SOPS 4251 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3867.251
AT ITER 3559 NEW BEST:: SOT 22394 SOS 4220 HAS SOPS 4220 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3836.22
AT ITER 3589 NEW BEST:: SOT 22407 SOS 4212 HAS SOPS 4212 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3828.212
AT ITER 3638 NEW BEST:: SOT 22406 SOS 4210 HAS SOPS 4210 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3826.21
AT ITER 3726 NEW BEST:: SOT 22408 SOS 4212 HAS SOPS 4212 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3824.212
AT ITER 3729 NEW BEST:: SOT 22401 SOS 4177 HAS SOPS 4177 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3810.177
AT ITER 3779 NEW BEST:: SOT 22401 SOS 4169 HAS SOPS 4169 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3795.169
AT ITER 3787 NEW BEST:: SOT 22400 SOS 4167 HAS SOPS 4167 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3793.167
AT ITER 3822 NEW BEST:: SOT 22405 SOS 4162 HAS SOPS 4162 HAS SOUS 3784 HAS SOUPS 3784 WITH SCORE 3788.162
AT ITER 3832 NEW BEST:: SOT 22402 SOS 4156 HAS SOPS 4156 HAS SOUS 3781 HAS SOUPS 3781 WITH SCORE 3785.156
AT ITER 3835 NEW BEST:: SOT 22398 SOS 4142 HAS SOPS 4142 HAS SOUS 3767 HAS SOUPS 3767 WITH SCORE 3771.142
AT ITER 3861 NEW BEST:: SOT 22398 SOS 4089 HAS SOPS 4089 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3745.089
AT ITER 3886 NEW BEST:: SOT 22378 SOS 4069 HAS SOPS 4069 HAS SOUS 3721 HAS SOUPS 3721 WITH SCORE 3725.069
AT ITER 3943 NEW BEST:: SOT 22382 SOS 4071 HAS SOPS 4071 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3723.071
AT ITER 4004 NEW BEST:: SOT 22389 SOS 4090 HAS SOPS 4090 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3722.09
AT ITER 4049 NEW BEST:: SOT 22373 SOS 4050 HAS SOPS 4050 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3690.05
AT ITER 4095 NEW BEST:: SOT 22373 SOS 4048 HAS SOPS 4048 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3688.048
AT ITER 4101 NEW BEST:: SOT 22373 SOS 4046 HAS SOPS 4046 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3686.046
AT ITER 4136 NEW BEST:: SOT 22373 SOS 4046 HAS SOPS 4046 HAS SOUS 3679 HAS SOUPS 3679 WITH SCORE 3683.046
AT ITER 4163 NEW BEST:: SOT 22374 SOS 4048 HAS SOPS 4048 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3682.048
AT ITER 4202 NEW BEST:: SOT 22367 SOS 4018 HAS SOPS 4018 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3677.018
AT ITER 4206 NEW BEST:: SOT 22366 SOS 4016 HAS SOPS 4016 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3675.016
AT ITER 4255 NEW BEST:: SOT 22366 SOS 3998 HAS SOPS 3998 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3656.998
AT ITER 4433 NEW BEST:: SOT 22360 SOS 3986 HAS SOPS 3986 HAS SOUS 3650 HAS SOUPS 3650 WITH SCORE 3653.986
AT ITER 4448 NEW BEST:: SOT 22363 SOS 3989 HAS SOPS 3989 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3650.989
AT ITER 4579 NEW BEST:: SOT 22358 SOS 3999 HAS SOPS 3999 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3649.999
AT ITER 4616 NEW BEST:: SOT 22347 SOS 3977 HAS SOPS 3977 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3631.977
AT ITER 4634 NEW BEST:: SOT 22348 SOS 3978 HAS SOPS 3978 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3625.978
AT ITER 4641 NEW BEST:: SOT 22337 SOS 3959 HAS SOPS 3959 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3606.959
AT ITER 4646 NEW BEST:: SOT 22336 SOS 3957 HAS SOPS 3957 HAS SOUS 3601 HAS SOUPS 3601 WITH SCORE 3604.957
AT ITER 4655 NEW BEST:: SOT 22336 SOS 3957 HAS SOPS 3957 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3600.957
AT ITER 4668 NEW BEST:: SOT 22342 SOS 3966 HAS SOPS 3966 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3597.966
AT ITER 4710 NEW BEST:: SOT 22342 SOS 3959 HAS SOPS 3959 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3590.959
AT ITER 4731 NEW BEST:: SOT 22342 SOS 3955 HAS SOPS 3955 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3590.955
AT ITER 4751 NEW BEST:: SOT 22342 SOS 3953 HAS SOPS 3953 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3586.953
AT ITER 4753 NEW BEST:: SOT 22344 SOS 3950 HAS SOPS 3950 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3583.95
AT ITER 4853 NEW BEST:: SOT 22342 SOS 3946 HAS SOPS 3946 HAS SOUS 3576 HAS SOUPS 3576 WITH SCORE 3579.946
AT ITER 4910 NEW BEST:: SOT 22340 SOS 3944 HAS SOPS 3944 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3577.944
AT ITER 4973 NEW BEST:: SOT 22336 SOS 3931 HAS SOPS 3931 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3565.931
AT ITER 4990 NEW BEST:: SOT 22334 SOS 3924 HAS SOPS 3924 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3564.924
AT ITER 5019 NEW BEST:: SOT 22334 SOS 3924 HAS SOPS 3924 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3561.924
AT ITER 5091 NEW BEST:: SOT 22334 SOS 3922 HAS SOPS 3922 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3559.922
AT ITER 5095 NEW BEST:: SOT 22344 SOS 3927 HAS SOPS 3927 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3555.927
AT ITER 5110 NEW BEST:: SOT 22336 SOS 3895 HAS SOPS 3895 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3553.895
AT ITER 5134 NEW BEST:: SOT 22328 SOS 3887 HAS SOPS 3887 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3545.887
AT ITER 5177 NEW BEST:: SOT 22327 SOS 3885 HAS SOPS 3885 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3543.885
AT ITER 5237 NEW BEST:: SOT 22327 SOS 3883 HAS SOPS 3883 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3536.883
AT ITER 5252 NEW BEST:: SOT 22327 SOS 3878 HAS SOPS 3878 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3536.878
AT ITER 5270 NEW BEST:: SOT 22327 SOS 3878 HAS SOPS 3878 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3535.878
AT ITER 5308 NEW BEST:: SOT 22326 SOS 3899 HAS SOPS 3899 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3534.899
AT ITER 5340 NEW BEST:: SOT 22334 SOS 3905 HAS SOPS 3905 HAS SOUS 3520 HAS SOUPS 3520 WITH SCORE 3523.905
AT ITER 5348 NEW BEST:: SOT 22334 SOS 3897 HAS SOPS 3897 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3519.897
AT ITER 5420 NEW BEST:: SOT 22332 SOS 3893 HAS SOPS 3893 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3515.893
AT ITER 5430 NEW BEST:: SOT 22332 SOS 3893 HAS SOPS 3893 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3503.893
AT ITER 5545 NEW BEST:: SOT 22331 SOS 3891 HAS SOPS 3891 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3501.891
AT ITER 5590 NEW BEST:: SOT 22330 SOS 3889 HAS SOPS 3889 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3501.889
AT ITER 5608 NEW BEST:: SOT 22328 SOS 3885 HAS SOPS 3885 HAS SOUS 3497 HAS SOUPS 3497 WITH SCORE 3500.885
AT ITER 5620 NEW BEST:: SOT 22326 SOS 3877 HAS SOPS 3877 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3494.877
AT ITER 5644 NEW BEST:: SOT 22326 SOS 3867 HAS SOPS 3867 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3489.867
AT ITER 5711 NEW BEST:: SOT 22328 SOS 3857 HAS SOPS 3857 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3486.857
AT ITER 5728 NEW BEST:: SOT 22328 SOS 3853 HAS SOPS 3853 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3486.853
AT ITER 5752 NEW BEST:: SOT 22336 SOS 3851 HAS SOPS 3851 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3482.851
AT ITER 5811 NEW BEST:: SOT 22335 SOS 3849 HAS SOPS 3849 HAS SOUS 3477 HAS SOUPS 3477 WITH SCORE 3480.849
AT ITER 5825 NEW BEST:: SOT 22335 SOS 3848 HAS SOPS 3848 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3478.848
AT ITER 5859 NEW BEST:: SOT 22335 SOS 3845 HAS SOPS 3845 HAS SOUS 3467 HAS SOUPS 3467 WITH SCORE 3470.845
AT ITER 5988 NEW BEST:: SOT 22335 SOS 3839 HAS SOPS 3839 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3464.839
AT ITER 6004 NEW BEST:: SOT 22334 SOS 3908 HAS SOPS 3908 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3463.908
AT ITER 6106 NEW BEST:: SOT 22327 SOS 3894 HAS SOPS 3894 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3456.894
AT ITER 6123 NEW BEST:: SOT 22327 SOS 3829 HAS SOPS 3829 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3456.829
AT ITER 6152 NEW BEST:: SOT 22330 SOS 3835 HAS SOPS 3835 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3453.835
AT ITER 6182 NEW BEST:: SOT 22329 SOS 3833 HAS SOPS 3833 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3451.833
AT ITER 6225 NEW BEST:: SOT 22329 SOS 3832 HAS SOPS 3832 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3450.832
AT ITER 6265 NEW BEST:: SOT 22327 SOS 3828 HAS SOPS 3828 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3446.828
AT ITER 6267 NEW BEST:: SOT 22327 SOS 3823 HAS SOPS 3823 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3441.823
AT ITER 6279 NEW BEST:: SOT 22326 SOS 3823 HAS SOPS 3823 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3439.823
AT ITER 6301 NEW BEST:: SOT 22325 SOS 3821 HAS SOPS 3821 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3437.821
AT ITER 6320 NEW BEST:: SOT 22341 SOS 3847 HAS SOPS 3847 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3433.847
AT ITER 6352 NEW BEST:: SOT 22340 SOS 3845 HAS SOPS 3845 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3431.845
AT ITER 6390 NEW BEST:: SOT 22340 SOS 3836 HAS SOPS 3836 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3431.836
AT ITER 6516 NEW BEST:: SOT 22340 SOS 3831 HAS SOPS 3831 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3426.831
AT ITER 6519 NEW BEST:: SOT 22338 SOS 3829 HAS SOPS 3829 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3424.829
AT ITER 6542 NEW BEST:: SOT 22337 SOS 3827 HAS SOPS 3827 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3422.827
AT ITER 6604 NEW BEST:: SOT 22335 SOS 3825 HAS SOPS 3825 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3422.825
AT ITER 6672 NEW BEST:: SOT 22334 SOS 3824 HAS SOPS 3824 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3421.824
AT ITER 6691 NEW BEST:: SOT 22334 SOS 3823 HAS SOPS 3823 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3420.823
AT ITER 6827 NEW BEST:: SOT 22332 SOS 3821 HAS SOPS 3821 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3419.821
AT ITER 6848 NEW BEST:: SOT 22330 SOS 3819 HAS SOPS 3819 HAS SOUS 3414 HAS SOUPS 3414 WITH SCORE 3417.819
AT ITER 6868 NEW BEST:: SOT 22320 SOS 3786 HAS SOPS 3786 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3405.786
AT ITER 6952 NEW BEST:: SOT 22319 SOS 3786 HAS SOPS 3786 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3403.786
AT ITER 7052 NEW BEST:: SOT 22315 SOS 3798 HAS SOPS 3798 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3400.798
AT ITER 7071 NEW BEST:: SOT 22315 SOS 3793 HAS SOPS 3793 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3395.793
AT ITER 7160 NEW BEST:: SOT 22315 SOS 3790 HAS SOPS 3790 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3395.79
AT ITER 7189 NEW BEST:: SOT 22315 SOS 3760 HAS SOPS 3760 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3395.76
AT ITER 7226 NEW BEST:: SOT 22327 SOS 3818 HAS SOPS 3818 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3385.818
AT ITER 7235 NEW BEST:: SOT 22327 SOS 3818 HAS SOPS 3818 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.818
AT ITER 7249 NEW BEST:: SOT 22326 SOS 3816 HAS SOPS 3816 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.816
AT ITER 7545 NEW BEST:: SOT 22326 SOS 3815 HAS SOPS 3815 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3379.815
AT ITER 7582 NEW BEST:: SOT 22324 SOS 3811 HAS SOPS 3811 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3375.811
AT ITER 7678 NEW BEST:: SOT 22324 SOS 3810 HAS SOPS 3810 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3373.81
AT ITER 7751 NEW BEST:: SOT 22324 SOS 3809 HAS SOPS 3809 HAS SOUS 3369 HAS SOUPS 3369 WITH SCORE 3372.809
AT ITER 7861 NEW BEST:: SOT 22324 SOS 3807 HAS SOPS 3807 HAS SOUS 3369 HAS SOUPS 3369 WITH SCORE 3372.807
AT ITER 7891 NEW BEST:: SOT 22324 SOS 3806 HAS SOPS 3806 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3371.806
AT ITER 7902 NEW BEST:: SOT 22318 SOS 3801 HAS SOPS 3801 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3366.801
AT ITER 7993 NEW BEST:: SOT 22316 SOS 3797 HAS SOPS 3797 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3362.797
AT ITER 7998 NEW BEST:: SOT 22316 SOS 3795 HAS SOPS 3795 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3360.795
AT ITER 8169 NEW BEST:: SOT 22318 SOS 3789 HAS SOPS 3789 HAS SOUS 3351 HAS SOUPS 3351 WITH SCORE 3354.789
AT ITER 8203 NEW BEST:: SOT 22312 SOS 3761 HAS SOPS 3761 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3347.761
AT ITER 8208 NEW BEST:: SOT 22312 SOS 3755 HAS SOPS 3755 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3341.755
AT ITER 8305 NEW BEST:: SOT 22313 SOS 3757 HAS SOPS 3757 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.757
AT ITER 8315 NEW BEST:: SOT 22312 SOS 3746 HAS SOPS 3746 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3335.746
AT ITER 8507 NEW BEST:: SOT 22308 SOS 3738 HAS SOPS 3738 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3327.738
AT ITER 8512 NEW BEST:: SOT 22308 SOS 3737 HAS SOPS 3737 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3327.737
AT ITER 8654 NEW BEST:: SOT 22308 SOS 3731 HAS SOPS 3731 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3321.731
AT ITER 8875 NEW BEST:: SOT 22312 SOS 3727 HAS SOPS 3727 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3321.727
AT ITER 8891 NEW BEST:: SOT 22312 SOS 3712 HAS SOPS 3712 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3321.712
AT ITER 8930 NEW BEST:: SOT 22308 SOS 3710 HAS SOPS 3710 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3319.71
AT ITER 8941 NEW BEST:: SOT 22308 SOS 3690 HAS SOPS 3690 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3319.69
AT ITER 8947 NEW BEST:: SOT 22305 SOS 3688 HAS SOPS 3688 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3317.688
AT ITER 9239 NEW BEST:: SOT 22298 SOS 3684 HAS SOPS 3684 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3313.684
AT ITER 9440 NEW BEST:: SOT 22294 SOS 3676 HAS SOPS 3676 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3309.676
AT ITER 9515 NEW BEST:: SOT 22286 SOS 3668 HAS SOPS 3668 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3309.668
AT ITER 9657 NEW BEST:: SOT 22286 SOS 3667 HAS SOPS 3667 HAS SOUS 3305 HAS SOUPS 3305 WITH SCORE 3308.667
AT ITER 9703 NEW BEST:: SOT 22286 SOS 3667 HAS SOPS 3667 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3303.667
AT ITER 9724 NEW BEST:: SOT 22281 SOS 3662 HAS SOPS 3662 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3298.662
AT ITER 9822 NEW BEST:: SOT 22289 SOS 3660 HAS SOPS 3660 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.66
AT ITER 9879 NEW BEST:: SOT 22297 SOS 3676 HAS SOPS 3676 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3290.676
AT ITER 9902 NEW BEST:: SOT 22297 SOS 3647 HAS SOPS 3647 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3289.647
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 1678472924462

--------------------
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
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-oct2-167813590800400"
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 ;