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-159033469500456.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-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469500456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.4K May 14 01:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 01:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 18:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 18:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K 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 2.0K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.1K May 13 13:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K 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 69K 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 1590442915100

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

Filename model.pnml
Petri model created: 275 places, 255 transitions, 702 arcs.
AT ITER 0 NEW BEST:: SOT 39299 SOS 11352 HAS SOPS 11352 HAS SOUS 10131 HAS SOUPS 10131 WITH SCORE 10142.352
AT ITER 18 NEW BEST:: SOT 39275 SOS 11307 HAS SOPS 11307 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10089.307
AT ITER 23 NEW BEST:: SOT 39275 SOS 11297 HAS SOPS 11297 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10079.297
AT ITER 35 NEW BEST:: SOT 39253 SOS 11296 HAS SOPS 11296 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10076.296
AT ITER 50 NEW BEST:: SOT 39214 SOS 11268 HAS SOPS 11268 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10003.268
AT ITER 51 NEW BEST:: SOT 39206 SOS 11259 HAS SOPS 11259 HAS SOUS 9969 HAS SOUPS 9969 WITH SCORE 9980.259
AT ITER 77 NEW BEST:: SOT 39187 SOS 11017 HAS SOPS 11017 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9886.017
AT ITER 87 NEW BEST:: SOT 39179 SOS 10942 HAS SOPS 10942 HAS SOUS 9808 HAS SOUPS 9808 WITH SCORE 9818.942
AT ITER 103 NEW BEST:: SOT 39165 SOS 10930 HAS SOPS 10930 HAS SOUS 9766 HAS SOUPS 9766 WITH SCORE 9776.93
AT ITER 117 NEW BEST:: SOT 39165 SOS 10934 HAS SOPS 10934 HAS SOUS 9765 HAS SOUPS 9765 WITH SCORE 9775.934
AT ITER 118 NEW BEST:: SOT 39169 SOS 10924 HAS SOPS 10924 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9773.924
AT ITER 124 NEW BEST:: SOT 39187 SOS 10934 HAS SOPS 10934 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9771.934
AT ITER 134 NEW BEST:: SOT 39168 SOS 10930 HAS SOPS 10930 HAS SOUS 9757 HAS SOUPS 9757 WITH SCORE 9767.93
AT ITER 140 NEW BEST:: SOT 39154 SOS 10913 HAS SOPS 10913 HAS SOUS 9739 HAS SOUPS 9739 WITH SCORE 9749.913
AT ITER 179 NEW BEST:: SOT 39135 SOS 10857 HAS SOPS 10857 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9720.857
AT ITER 182 NEW BEST:: SOT 39135 SOS 10847 HAS SOPS 10847 HAS SOUS 9700 HAS SOUPS 9700 WITH SCORE 9710.847
AT ITER 219 NEW BEST:: SOT 39109 SOS 10836 HAS SOPS 10836 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9692.836
AT ITER 237 NEW BEST:: SOT 39097 SOS 10826 HAS SOPS 10826 HAS SOUS 9672 HAS SOUPS 9672 WITH SCORE 9682.826
AT ITER 256 NEW BEST:: SOT 39068 SOS 10807 HAS SOPS 10807 HAS SOUS 9643 HAS SOUPS 9643 WITH SCORE 9653.807
AT ITER 329 NEW BEST:: SOT 39066 SOS 10796 HAS SOPS 10796 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9651.796
AT ITER 344 NEW BEST:: SOT 39130 SOS 10732 HAS SOPS 10732 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9645.732
AT ITER 346 NEW BEST:: SOT 39130 SOS 10730 HAS SOPS 10730 HAS SOUS 9633 HAS SOUPS 9633 WITH SCORE 9643.73
AT ITER 359 NEW BEST:: SOT 39130 SOS 10720 HAS SOPS 10720 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9638.72
AT ITER 364 NEW BEST:: SOT 39104 SOS 10708 HAS SOPS 10708 HAS SOUS 9607 HAS SOUPS 9607 WITH SCORE 9617.708
AT ITER 379 NEW BEST:: SOT 39099 SOS 10707 HAS SOPS 10707 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9616.707
AT ITER 391 NEW BEST:: SOT 39075 SOS 10683 HAS SOPS 10683 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9592.683
AT ITER 393 NEW BEST:: SOT 39099 SOS 10734 HAS SOPS 10734 HAS SOUS 9579 HAS SOUPS 9579 WITH SCORE 9589.734
AT ITER 404 NEW BEST:: SOT 39098 SOS 10732 HAS SOPS 10732 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9587.732
AT ITER 412 NEW BEST:: SOT 39098 SOS 10728 HAS SOPS 10728 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9583.728
AT ITER 425 NEW BEST:: SOT 39071 SOS 10767 HAS SOPS 10767 HAS SOUS 9558 HAS SOUPS 9558 WITH SCORE 9568.767
AT ITER 426 NEW BEST:: SOT 39083 SOS 10766 HAS SOPS 10766 HAS SOUS 9557 HAS SOUPS 9557 WITH SCORE 9567.766
AT ITER 440 NEW BEST:: SOT 39070 SOS 10636 HAS SOPS 10636 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9554.636
AT ITER 450 NEW BEST:: SOT 39052 SOS 10607 HAS SOPS 10607 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9535.607
AT ITER 464 NEW BEST:: SOT 39052 SOS 10597 HAS SOPS 10597 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9535.597
AT ITER 480 NEW BEST:: SOT 39040 SOS 10582 HAS SOPS 10582 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9520.582
AT ITER 508 NEW BEST:: SOT 39019 SOS 10581 HAS SOPS 10581 HAS SOUS 9509 HAS SOUPS 9509 WITH SCORE 9519.581
AT ITER 514 NEW BEST:: SOT 38991 SOS 10529 HAS SOPS 10529 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9471.529
AT ITER 517 NEW BEST:: SOT 38984 SOS 10522 HAS SOPS 10522 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9471.522
AT ITER 520 NEW BEST:: SOT 38977 SOS 10515 HAS SOPS 10515 HAS SOUS 9454 HAS SOUPS 9454 WITH SCORE 9464.515
AT ITER 541 NEW BEST:: SOT 38941 SOS 10461 HAS SOPS 10461 HAS SOUS 9418 HAS SOUPS 9418 WITH SCORE 9428.461
AT ITER 574 NEW BEST:: SOT 38978 SOS 10459 HAS SOPS 10459 HAS SOUS 9415 HAS SOUPS 9415 WITH SCORE 9425.459
AT ITER 579 NEW BEST:: SOT 38977 SOS 10476 HAS SOPS 10476 HAS SOUS 9413 HAS SOUPS 9413 WITH SCORE 9423.476
AT ITER 589 NEW BEST:: SOT 38977 SOS 10431 HAS SOPS 10431 HAS SOUS 9411 HAS SOUPS 9411 WITH SCORE 9421.431
AT ITER 615 NEW BEST:: SOT 38967 SOS 10421 HAS SOPS 10421 HAS SOUS 9401 HAS SOUPS 9401 WITH SCORE 9411.421
AT ITER 619 NEW BEST:: SOT 38948 SOS 10364 HAS SOPS 10364 HAS SOUS 9344 HAS SOUPS 9344 WITH SCORE 9354.364
AT ITER 634 NEW BEST:: SOT 38948 SOS 10337 HAS SOPS 10337 HAS SOUS 9344 HAS SOUPS 9344 WITH SCORE 9354.337
AT ITER 638 NEW BEST:: SOT 38940 SOS 10337 HAS SOPS 10337 HAS SOUS 9336 HAS SOUPS 9336 WITH SCORE 9346.337
AT ITER 661 NEW BEST:: SOT 38940 SOS 10336 HAS SOPS 10336 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9345.336
AT ITER 691 NEW BEST:: SOT 38938 SOS 10334 HAS SOPS 10334 HAS SOUS 9333 HAS SOUPS 9333 WITH SCORE 9343.334
AT ITER 707 NEW BEST:: SOT 38938 SOS 10322 HAS SOPS 10322 HAS SOUS 9321 HAS SOUPS 9321 WITH SCORE 9331.322
AT ITER 712 NEW BEST:: SOT 38901 SOS 10233 HAS SOPS 10233 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9259.233
AT ITER 723 NEW BEST:: SOT 38893 SOS 10212 HAS SOPS 10212 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9238.212
AT ITER 750 NEW BEST:: SOT 38899 SOS 10209 HAS SOPS 10209 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9234.209
AT ITER 794 NEW BEST:: SOT 38899 SOS 10208 HAS SOPS 10208 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9233.208
AT ITER 828 NEW BEST:: SOT 38850 SOS 10181 HAS SOPS 10181 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9154.181
AT ITER 831 NEW BEST:: SOT 38847 SOS 10165 HAS SOPS 10165 HAS SOUS 9131 HAS SOUPS 9131 WITH SCORE 9141.165
AT ITER 843 NEW BEST:: SOT 38835 SOS 10147 HAS SOPS 10147 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9123.147
AT ITER 848 NEW BEST:: SOT 38813 SOS 10147 HAS SOPS 10147 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9101.147
AT ITER 849 NEW BEST:: SOT 38813 SOS 10113 HAS SOPS 10113 HAS SOUS 9057 HAS SOUPS 9057 WITH SCORE 9067.113
AT ITER 858 NEW BEST:: SOT 38789 SOS 10083 HAS SOPS 10083 HAS SOUS 9018 HAS SOUPS 9018 WITH SCORE 9028.083
AT ITER 867 NEW BEST:: SOT 38748 SOS 10075 HAS SOPS 10075 HAS SOUS 8977 HAS SOUPS 8977 WITH SCORE 8987.075
AT ITER 874 NEW BEST:: SOT 38748 SOS 10075 HAS SOPS 10075 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8978.075
AT ITER 940 NEW BEST:: SOT 38724 SOS 10071 HAS SOPS 10071 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8974.071
AT ITER 1021 NEW BEST:: SOT 38724 SOS 10019 HAS SOPS 10019 HAS SOUS 8945 HAS SOUPS 8945 WITH SCORE 8955.019
AT ITER 1036 NEW BEST:: SOT 38735 SOS 10007 HAS SOPS 10007 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8943.007
AT ITER 1067 NEW BEST:: SOT 38695 SOS 9991 HAS SOPS 9991 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8926.991
AT ITER 1070 NEW BEST:: SOT 38704 SOS 10035 HAS SOPS 10035 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8915.035
AT ITER 1151 NEW BEST:: SOT 38709 SOS 10030 HAS SOPS 10030 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8915.03
AT ITER 1155 NEW BEST:: SOT 38710 SOS 10029 HAS SOPS 10029 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8915.029
AT ITER 1158 NEW BEST:: SOT 38712 SOS 9997 HAS SOPS 9997 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8914.997
AT ITER 1161 NEW BEST:: SOT 38704 SOS 9996 HAS SOPS 9996 HAS SOUS 8904 HAS SOUPS 8904 WITH SCORE 8913.996
AT ITER 1195 NEW BEST:: SOT 38704 SOS 9937 HAS SOPS 9937 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8884.937
AT ITER 1207 NEW BEST:: SOT 38709 SOS 9938 HAS SOPS 9938 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8880.938
AT ITER 1209 NEW BEST:: SOT 38702 SOS 9924 HAS SOPS 9924 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8880.924
AT ITER 1224 NEW BEST:: SOT 38701 SOS 9924 HAS SOPS 9924 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8879.924
AT ITER 1267 NEW BEST:: SOT 38727 SOS 9936 HAS SOPS 9936 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8853.936
AT ITER 1297 NEW BEST:: SOT 38727 SOS 9930 HAS SOPS 9930 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8853.93
AT ITER 1301 NEW BEST:: SOT 38691 SOS 9917 HAS SOPS 9917 HAS SOUS 8831 HAS SOUPS 8831 WITH SCORE 8840.917
AT ITER 1310 NEW BEST:: SOT 38688 SOS 9918 HAS SOPS 9918 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8839.918
AT ITER 1340 NEW BEST:: SOT 38687 SOS 9917 HAS SOPS 9917 HAS SOUS 8829 HAS SOUPS 8829 WITH SCORE 8838.917
AT ITER 1367 NEW BEST:: SOT 38687 SOS 9900 HAS SOPS 9900 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8821.9
AT ITER 1428 NEW BEST:: SOT 38668 SOS 9881 HAS SOPS 9881 HAS SOUS 8793 HAS SOUPS 8793 WITH SCORE 8802.881
AT ITER 1454 NEW BEST:: SOT 38674 SOS 9897 HAS SOPS 9897 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8795.897
AT ITER 1456 NEW BEST:: SOT 38663 SOS 9897 HAS SOPS 9897 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8784.897
AT ITER 1496 NEW BEST:: SOT 38662 SOS 9901 HAS SOPS 9901 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8783.901
AT ITER 1507 NEW BEST:: SOT 38657 SOS 9888 HAS SOPS 9888 HAS SOUS 8770 HAS SOUPS 8770 WITH SCORE 8779.888
AT ITER 1523 NEW BEST:: SOT 38650 SOS 9874 HAS SOPS 9874 HAS SOUS 8763 HAS SOUPS 8763 WITH SCORE 8772.874
AT ITER 1525 NEW BEST:: SOT 38646 SOS 9870 HAS SOPS 9870 HAS SOUS 8759 HAS SOUPS 8759 WITH SCORE 8768.87
AT ITER 1548 NEW BEST:: SOT 38642 SOS 9864 HAS SOPS 9864 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8762.864
AT ITER 1573 NEW BEST:: SOT 38642 SOS 9861 HAS SOPS 9861 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8762.861
AT ITER 1588 NEW BEST:: SOT 38635 SOS 9855 HAS SOPS 9855 HAS SOUS 8746 HAS SOUPS 8746 WITH SCORE 8755.855
AT ITER 1599 NEW BEST:: SOT 38619 SOS 9823 HAS SOPS 9823 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8739.823
AT ITER 1642 NEW BEST:: SOT 38619 SOS 9821 HAS SOPS 9821 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8737.821
AT ITER 1653 NEW BEST:: SOT 38605 SOS 9793 HAS SOPS 9793 HAS SOUS 8700 HAS SOUPS 8700 WITH SCORE 8709.793
AT ITER 1655 NEW BEST:: SOT 38603 SOS 9791 HAS SOPS 9791 HAS SOUS 8698 HAS SOUPS 8698 WITH SCORE 8707.791
AT ITER 1657 NEW BEST:: SOT 38536 SOS 9732 HAS SOPS 9732 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8640.732
AT ITER 1676 NEW BEST:: SOT 38530 SOS 9719 HAS SOPS 9719 HAS SOUS 8603 HAS SOUPS 8603 WITH SCORE 8612.719
AT ITER 1678 NEW BEST:: SOT 38524 SOS 9704 HAS SOPS 9704 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8597.704
AT ITER 1713 NEW BEST:: SOT 38525 SOS 9598 HAS SOPS 9598 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8581.598
AT ITER 1756 NEW BEST:: SOT 38504 SOS 9586 HAS SOPS 9586 HAS SOUS 8544 HAS SOUPS 8544 WITH SCORE 8553.586
AT ITER 1796 NEW BEST:: SOT 38499 SOS 9573 HAS SOPS 9573 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8548.573
AT ITER 1800 NEW BEST:: SOT 38499 SOS 9583 HAS SOPS 9583 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8544.583
AT ITER 1803 NEW BEST:: SOT 38499 SOS 9581 HAS SOPS 9581 HAS SOUS 8533 HAS SOUPS 8533 WITH SCORE 8542.581
AT ITER 1819 NEW BEST:: SOT 38482 SOS 9567 HAS SOPS 9567 HAS SOUS 8520 HAS SOUPS 8520 WITH SCORE 8529.567
AT ITER 1864 NEW BEST:: SOT 38482 SOS 9503 HAS SOPS 9503 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8513.503
AT ITER 1872 NEW BEST:: SOT 38472 SOS 9495 HAS SOPS 9495 HAS SOUS 8496 HAS SOUPS 8496 WITH SCORE 8505.495
AT ITER 1877 NEW BEST:: SOT 38506 SOS 9554 HAS SOPS 9554 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8495.554
AT ITER 1885 NEW BEST:: SOT 38482 SOS 9520 HAS SOPS 9520 HAS SOUS 8472 HAS SOUPS 8472 WITH SCORE 8481.52
AT ITER 1888 NEW BEST:: SOT 38471 SOS 9452 HAS SOPS 9452 HAS SOUS 8438 HAS SOUPS 8438 WITH SCORE 8447.452
AT ITER 1908 NEW BEST:: SOT 38461 SOS 9432 HAS SOPS 9432 HAS SOUS 8436 HAS SOUPS 8436 WITH SCORE 8445.432
AT ITER 1919 NEW BEST:: SOT 38444 SOS 9415 HAS SOPS 9415 HAS SOUS 8419 HAS SOUPS 8419 WITH SCORE 8428.415
AT ITER 1922 NEW BEST:: SOT 38431 SOS 9407 HAS SOPS 9407 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8420.407
AT ITER 1945 NEW BEST:: SOT 38429 SOS 9370 HAS SOPS 9370 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8411.37
AT ITER 1948 NEW BEST:: SOT 38429 SOS 9370 HAS SOPS 9370 HAS SOUS 8389 HAS SOUPS 8389 WITH SCORE 8398.37
AT ITER 1952 NEW BEST:: SOT 38434 SOS 9324 HAS SOPS 9324 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8394.324
AT ITER 1958 NEW BEST:: SOT 38418 SOS 9314 HAS SOPS 9314 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8378.314
AT ITER 1962 NEW BEST:: SOT 38398 SOS 9304 HAS SOPS 9304 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8368.304
AT ITER 1974 NEW BEST:: SOT 38398 SOS 9298 HAS SOPS 9298 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8365.298
AT ITER 1992 NEW BEST:: SOT 38393 SOS 9289 HAS SOPS 9289 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8350.289
AT ITER 2047 NEW BEST:: SOT 38393 SOS 9281 HAS SOPS 9281 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8342.281
AT ITER 2068 NEW BEST:: SOT 38388 SOS 9276 HAS SOPS 9276 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8337.276
AT ITER 2086 NEW BEST:: SOT 38399 SOS 9291 HAS SOPS 9291 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8326.291
AT ITER 2100 NEW BEST:: SOT 38399 SOS 9286 HAS SOPS 9286 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8321.286
AT ITER 2139 NEW BEST:: SOT 38397 SOS 9282 HAS SOPS 9282 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8317.282
AT ITER 2140 NEW BEST:: SOT 38380 SOS 9258 HAS SOPS 9258 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8300.258
AT ITER 2155 NEW BEST:: SOT 38380 SOS 9258 HAS SOPS 9258 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8294.258
AT ITER 2185 NEW BEST:: SOT 38372 SOS 9253 HAS SOPS 9253 HAS SOUS 8255 HAS SOUPS 8255 WITH SCORE 8264.253
AT ITER 2214 NEW BEST:: SOT 38372 SOS 9250 HAS SOPS 9250 HAS SOUS 8255 HAS SOUPS 8255 WITH SCORE 8264.25
AT ITER 2230 NEW BEST:: SOT 38361 SOS 9228 HAS SOPS 9228 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8259.228
AT ITER 2231 NEW BEST:: SOT 38361 SOS 9225 HAS SOPS 9225 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8256.225
AT ITER 2233 NEW BEST:: SOT 38365 SOS 9219 HAS SOPS 9219 HAS SOUS 8241 HAS SOUPS 8241 WITH SCORE 8250.219
AT ITER 2241 NEW BEST:: SOT 38365 SOS 9217 HAS SOPS 9217 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8248.217
AT ITER 2254 NEW BEST:: SOT 38371 SOS 9223 HAS SOPS 9223 HAS SOUS 8234 HAS SOUPS 8234 WITH SCORE 8243.223
AT ITER 2261 NEW BEST:: SOT 38371 SOS 9217 HAS SOPS 9217 HAS SOUS 8234 HAS SOUPS 8234 WITH SCORE 8243.217
AT ITER 2296 NEW BEST:: SOT 38371 SOS 9215 HAS SOPS 9215 HAS SOUS 8232 HAS SOUPS 8232 WITH SCORE 8241.215
AT ITER 2304 NEW BEST:: SOT 38366 SOS 9205 HAS SOPS 9205 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8231.205
AT ITER 2330 NEW BEST:: SOT 38366 SOS 9203 HAS SOPS 9203 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8231.203
AT ITER 2374 NEW BEST:: SOT 38372 SOS 9199 HAS SOPS 9199 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8227.199
AT ITER 2382 NEW BEST:: SOT 38371 SOS 9198 HAS SOPS 9198 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8226.198
AT ITER 2403 NEW BEST:: SOT 38357 SOS 9165 HAS SOPS 9165 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8211.165
AT ITER 2466 NEW BEST:: SOT 38354 SOS 9175 HAS SOPS 9175 HAS SOUS 8199 HAS SOUPS 8199 WITH SCORE 8208.175
AT ITER 2481 NEW BEST:: SOT 38354 SOS 9151 HAS SOPS 9151 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8203.151
AT ITER 2505 NEW BEST:: SOT 38354 SOS 9113 HAS SOPS 9113 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8203.113
AT ITER 2547 NEW BEST:: SOT 38316 SOS 9070 HAS SOPS 9070 HAS SOUS 8172 HAS SOUPS 8172 WITH SCORE 8181.07
AT ITER 2613 NEW BEST:: SOT 38316 SOS 9066 HAS SOPS 9066 HAS SOUS 8172 HAS SOUPS 8172 WITH SCORE 8181.066
AT ITER 2614 NEW BEST:: SOT 38316 SOS 9061 HAS SOPS 9061 HAS SOUS 8167 HAS SOUPS 8167 WITH SCORE 8176.061
AT ITER 2692 NEW BEST:: SOT 38316 SOS 9048 HAS SOPS 9048 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8167.048
AT ITER 2731 NEW BEST:: SOT 38316 SOS 9048 HAS SOPS 9048 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8163.048
AT ITER 2753 NEW BEST:: SOT 38316 SOS 9096 HAS SOPS 9096 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8135.096
AT ITER 2756 NEW BEST:: SOT 38315 SOS 9106 HAS SOPS 9106 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8123.106
AT ITER 2785 NEW BEST:: SOT 38309 SOS 9094 HAS SOPS 9094 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8111.094
AT ITER 2786 NEW BEST:: SOT 38308 SOS 9091 HAS SOPS 9091 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8109.091
AT ITER 2851 NEW BEST:: SOT 38298 SOS 9074 HAS SOPS 9074 HAS SOUS 8086 HAS SOUPS 8086 WITH SCORE 8095.074
AT ITER 2897 NEW BEST:: SOT 38298 SOS 9072 HAS SOPS 9072 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8093.072
AT ITER 2904 NEW BEST:: SOT 38295 SOS 9066 HAS SOPS 9066 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8090.066
AT ITER 2911 NEW BEST:: SOT 38288 SOS 9059 HAS SOPS 9059 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8083.059
AT ITER 2917 NEW BEST:: SOT 38280 SOS 9035 HAS SOPS 9035 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8071.035
AT ITER 2918 NEW BEST:: SOT 38274 SOS 9024 HAS SOPS 9024 HAS SOUS 8046 HAS SOUPS 8046 WITH SCORE 8055.024
AT ITER 2938 NEW BEST:: SOT 38274 SOS 9024 HAS SOPS 9024 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8053.024
AT ITER 2994 NEW BEST:: SOT 38274 SOS 9023 HAS SOPS 9023 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8052.023
AT ITER 3037 NEW BEST:: SOT 38274 SOS 9009 HAS SOPS 9009 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8035.009
AT ITER 3051 NEW BEST:: SOT 38272 SOS 9007 HAS SOPS 9007 HAS SOUS 8022 HAS SOUPS 8022 WITH SCORE 8031.007
AT ITER 3119 NEW BEST:: SOT 38271 SOS 8994 HAS SOPS 8994 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8023.994
AT ITER 3124 NEW BEST:: SOT 38272 SOS 8991 HAS SOPS 8991 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8019.991
AT ITER 3132 NEW BEST:: SOT 38277 SOS 9026 HAS SOPS 9026 HAS SOUS 7980 HAS SOUPS 7980 WITH SCORE 7989.026
AT ITER 3171 NEW BEST:: SOT 38277 SOS 9025 HAS SOPS 9025 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7980.025
AT ITER 3181 NEW BEST:: SOT 38277 SOS 9021 HAS SOPS 9021 HAS SOUS 7969 HAS SOUPS 7969 WITH SCORE 7978.021
AT ITER 3195 NEW BEST:: SOT 38296 SOS 9017 HAS SOPS 9017 HAS SOUS 7969 HAS SOUPS 7969 WITH SCORE 7978.017
AT ITER 3261 NEW BEST:: SOT 38293 SOS 8995 HAS SOPS 8995 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7974.995
AT ITER 3331 NEW BEST:: SOT 38293 SOS 8993 HAS SOPS 8993 HAS SOUS 7964 HAS SOUPS 7964 WITH SCORE 7972.993
AT ITER 3361 NEW BEST:: SOT 38288 SOS 8983 HAS SOPS 8983 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7967.983
AT ITER 3436 NEW BEST:: SOT 38285 SOS 8980 HAS SOPS 8980 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7964.98
AT ITER 3447 NEW BEST:: SOT 38284 SOS 8969 HAS SOPS 8969 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7963.969
AT ITER 3454 NEW BEST:: SOT 38283 SOS 8964 HAS SOPS 8964 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7958.964
AT ITER 3546 NEW BEST:: SOT 38292 SOS 8975 HAS SOPS 8975 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7955.975
AT ITER 3609 NEW BEST:: SOT 38294 SOS 8978 HAS SOPS 8978 HAS SOUS 7945 HAS SOUPS 7945 WITH SCORE 7953.978
AT ITER 3639 NEW BEST:: SOT 38292 SOS 8972 HAS SOPS 8972 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7951.972
AT ITER 3679 NEW BEST:: SOT 38292 SOS 8970 HAS SOPS 8970 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7951.97
AT ITER 3684 NEW BEST:: SOT 38300 SOS 8968 HAS SOPS 8968 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7949.968
AT ITER 3692 NEW BEST:: SOT 38298 SOS 8967 HAS SOPS 8967 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7948.967
AT ITER 3727 NEW BEST:: SOT 38285 SOS 8949 HAS SOPS 8949 HAS SOUS 7922 HAS SOUPS 7922 WITH SCORE 7930.949
AT ITER 3729 NEW BEST:: SOT 38277 SOS 8937 HAS SOPS 8937 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7918.937
AT ITER 3747 NEW BEST:: SOT 38279 SOS 8973 HAS SOPS 8973 HAS SOUS 7874 HAS SOUPS 7874 WITH SCORE 7882.973
AT ITER 3782 NEW BEST:: SOT 38275 SOS 8969 HAS SOPS 8969 HAS SOUS 7866 HAS SOUPS 7866 WITH SCORE 7874.969
AT ITER 3797 NEW BEST:: SOT 38272 SOS 8891 HAS SOPS 8891 HAS SOUS 7860 HAS SOUPS 7860 WITH SCORE 7868.891
AT ITER 3814 NEW BEST:: SOT 38269 SOS 8890 HAS SOPS 8890 HAS SOUS 7859 HAS SOUPS 7859 WITH SCORE 7867.89
AT ITER 3826 NEW BEST:: SOT 38269 SOS 8882 HAS SOPS 8882 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7848.882
AT ITER 3866 NEW BEST:: SOT 38248 SOS 8879 HAS SOPS 8879 HAS SOUS 7832 HAS SOUPS 7832 WITH SCORE 7840.879
AT ITER 3870 NEW BEST:: SOT 38248 SOS 8867 HAS SOPS 8867 HAS SOUS 7825 HAS SOUPS 7825 WITH SCORE 7833.867
AT ITER 3900 NEW BEST:: SOT 38236 SOS 8872 HAS SOPS 8872 HAS SOUS 7822 HAS SOUPS 7822 WITH SCORE 7830.872
AT ITER 3977 NEW BEST:: SOT 38233 SOS 8864 HAS SOPS 8864 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7822.864
AT ITER 4000 NEW BEST:: SOT 38230 SOS 8861 HAS SOPS 8861 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7819.861
AT ITER 4077 NEW BEST:: SOT 38218 SOS 8825 HAS SOPS 8825 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7795.825
AT ITER 4111 NEW BEST:: SOT 38210 SOS 8825 HAS SOPS 8825 HAS SOUS 7779 HAS SOUPS 7779 WITH SCORE 7787.825
AT ITER 4180 NEW BEST:: SOT 38210 SOS 8814 HAS SOPS 8814 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7774.814
AT ITER 4221 NEW BEST:: SOT 38209 SOS 8813 HAS SOPS 8813 HAS SOUS 7765 HAS SOUPS 7765 WITH SCORE 7773.813
AT ITER 4312 NEW BEST:: SOT 38202 SOS 8806 HAS SOPS 8806 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7752.806
AT ITER 4318 NEW BEST:: SOT 38215 SOS 8806 HAS SOPS 8806 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7750.806
AT ITER 4334 NEW BEST:: SOT 38218 SOS 8836 HAS SOPS 8836 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7744.836
AT ITER 4358 NEW BEST:: SOT 38220 SOS 8829 HAS SOPS 8829 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7737.829
AT ITER 4368 NEW BEST:: SOT 38214 SOS 8824 HAS SOPS 8824 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7732.824
AT ITER 4459 NEW BEST:: SOT 38213 SOS 8822 HAS SOPS 8822 HAS SOUS 7722 HAS SOUPS 7722 WITH SCORE 7730.822
AT ITER 4480 NEW BEST:: SOT 38213 SOS 8818 HAS SOPS 8818 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7726.818
AT ITER 4506 NEW BEST:: SOT 38211 SOS 8817 HAS SOPS 8817 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7724.817
AT ITER 4538 NEW BEST:: SOT 38211 SOS 8814 HAS SOPS 8814 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7724.814
AT ITER 4581 NEW BEST:: SOT 38222 SOS 8849 HAS SOPS 8849 HAS SOUS 7708 HAS SOUPS 7708 WITH SCORE 7716.849
AT ITER 4588 NEW BEST:: SOT 38209 SOS 8845 HAS SOPS 8845 HAS SOUS 7704 HAS SOUPS 7704 WITH SCORE 7712.845
AT ITER 4637 NEW BEST:: SOT 38206 SOS 8843 HAS SOPS 8843 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7710.843
AT ITER 4649 NEW BEST:: SOT 38206 SOS 8843 HAS SOPS 8843 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7703.843
AT ITER 4656 NEW BEST:: SOT 38204 SOS 8837 HAS SOPS 8837 HAS SOUS 7692 HAS SOUPS 7692 WITH SCORE 7700.837
AT ITER 4666 NEW BEST:: SOT 38200 SOS 8832 HAS SOPS 8832 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7695.832
AT ITER 4672 NEW BEST:: SOT 38198 SOS 8830 HAS SOPS 8830 HAS SOUS 7685 HAS SOUPS 7685 WITH SCORE 7693.83
AT ITER 4680 NEW BEST:: SOT 38198 SOS 8826 HAS SOPS 8826 HAS SOUS 7685 HAS SOUPS 7685 WITH SCORE 7693.826
AT ITER 4754 NEW BEST:: SOT 38197 SOS 8825 HAS SOPS 8825 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7692.825
AT ITER 4777 NEW BEST:: SOT 38190 SOS 8815 HAS SOPS 8815 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7682.815
AT ITER 4805 NEW BEST:: SOT 38189 SOS 8813 HAS SOPS 8813 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7681.813
AT ITER 4827 NEW BEST:: SOT 38180 SOS 8815 HAS SOPS 8815 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7672.815
AT ITER 4828 NEW BEST:: SOT 38157 SOS 8792 HAS SOPS 8792 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7649.792
AT ITER 4903 NEW BEST:: SOT 38157 SOS 8791 HAS SOPS 8791 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7649.791
AT ITER 4922 NEW BEST:: SOT 38144 SOS 8778 HAS SOPS 8778 HAS SOUS 7628 HAS SOUPS 7628 WITH SCORE 7636.778
AT ITER 4942 NEW BEST:: SOT 38140 SOS 8774 HAS SOPS 8774 HAS SOUS 7624 HAS SOUPS 7624 WITH SCORE 7632.774
AT ITER 4954 NEW BEST:: SOT 38139 SOS 8773 HAS SOPS 8773 HAS SOUS 7623 HAS SOUPS 7623 WITH SCORE 7631.773
AT ITER 4958 NEW BEST:: SOT 38136 SOS 8765 HAS SOPS 8765 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7630.765
AT ITER 5000 NEW BEST:: SOT 38138 SOS 8748 HAS SOPS 8748 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7624.748
AT ITER 5007 NEW BEST:: SOT 38122 SOS 8689 HAS SOPS 8689 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7615.689
AT ITER 5022 NEW BEST:: SOT 38128 SOS 8689 HAS SOPS 8689 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7610.689
AT ITER 5041 NEW BEST:: SOT 38148 SOS 8738 HAS SOPS 8738 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7609.738
AT ITER 5083 NEW BEST:: SOT 38149 SOS 8729 HAS SOPS 8729 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7600.729
AT ITER 5095 NEW BEST:: SOT 38141 SOS 8721 HAS SOPS 8721 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7588.721
AT ITER 5106 NEW BEST:: SOT 38146 SOS 8717 HAS SOPS 8717 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7584.717
AT ITER 5161 NEW BEST:: SOT 38202 SOS 8627 HAS SOPS 8627 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7577.627
AT ITER 5189 NEW BEST:: SOT 38194 SOS 8611 HAS SOPS 8611 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7569.611
AT ITER 5208 NEW BEST:: SOT 38190 SOS 8603 HAS SOPS 8603 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7561.603
AT ITER 5242 NEW BEST:: SOT 38182 SOS 8602 HAS SOPS 8602 HAS SOUS 7552 HAS SOUPS 7552 WITH SCORE 7560.602
AT ITER 5250 NEW BEST:: SOT 38181 SOS 8601 HAS SOPS 8601 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7558.601
AT ITER 5302 NEW BEST:: SOT 38180 SOS 8587 HAS SOPS 8587 HAS SOUS 7548 HAS SOUPS 7548 WITH SCORE 7556.587
AT ITER 5336 NEW BEST:: SOT 38175 SOS 8582 HAS SOPS 8582 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7551.582
AT ITER 5354 NEW BEST:: SOT 38175 SOS 8581 HAS SOPS 8581 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7551.581
AT ITER 5358 NEW BEST:: SOT 38167 SOS 8568 HAS SOPS 8568 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7543.568
AT ITER 5389 NEW BEST:: SOT 38170 SOS 8571 HAS SOPS 8571 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7532.571
AT ITER 5395 NEW BEST:: SOT 38169 SOS 8569 HAS SOPS 8569 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7530.569
AT ITER 5407 NEW BEST:: SOT 38169 SOS 8566 HAS SOPS 8566 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7530.566
AT ITER 5422 NEW BEST:: SOT 38164 SOS 8560 HAS SOPS 8560 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7524.56
AT ITER 5440 NEW BEST:: SOT 38159 SOS 8560 HAS SOPS 8560 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7519.56
AT ITER 5443 NEW BEST:: SOT 38143 SOS 8561 HAS SOPS 8561 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7514.561
AT ITER 5459 NEW BEST:: SOT 38142 SOS 8494 HAS SOPS 8494 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7495.494
AT ITER 5499 NEW BEST:: SOT 38141 SOS 8469 HAS SOPS 8469 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7488.469
AT ITER 5562 NEW BEST:: SOT 38142 SOS 8468 HAS SOPS 8468 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7487.468
AT ITER 5563 NEW BEST:: SOT 38130 SOS 8503 HAS SOPS 8503 HAS SOUS 7463 HAS SOUPS 7463 WITH SCORE 7471.503
AT ITER 5582 NEW BEST:: SOT 38109 SOS 8492 HAS SOPS 8492 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7466.492
AT ITER 5609 NEW BEST:: SOT 38115 SOS 8378 HAS SOPS 8378 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7456.378
AT ITER 5658 NEW BEST:: SOT 38114 SOS 8377 HAS SOPS 8377 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7454.377
AT ITER 5680 NEW BEST:: SOT 38108 SOS 8369 HAS SOPS 8369 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7446.369
AT ITER 5688 NEW BEST:: SOT 38108 SOS 8363 HAS SOPS 8363 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7441.363
AT ITER 5779 NEW BEST:: SOT 38094 SOS 8354 HAS SOPS 8354 HAS SOUS 7424 HAS SOUPS 7424 WITH SCORE 7432.354
AT ITER 5846 NEW BEST:: SOT 38093 SOS 8356 HAS SOPS 8356 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.356
AT ITER 5861 NEW BEST:: SOT 38070 SOS 8336 HAS SOPS 8336 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7409.336
AT ITER 5969 NEW BEST:: SOT 38065 SOS 8326 HAS SOPS 8326 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7404.326
AT ITER 5991 NEW BEST:: SOT 38056 SOS 8299 HAS SOPS 8299 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7386.299
AT ITER 5993 NEW BEST:: SOT 38053 SOS 8289 HAS SOPS 8289 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7376.289
AT ITER 6089 NEW BEST:: SOT 38058 SOS 8288 HAS SOPS 8288 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7370.288
AT ITER 6095 NEW BEST:: SOT 38058 SOS 8288 HAS SOPS 8288 HAS SOUS 7358 HAS SOUPS 7358 WITH SCORE 7366.288
AT ITER 6096 NEW BEST:: SOT 38056 SOS 8265 HAS SOPS 8265 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7341.265
AT ITER 6097 NEW BEST:: SOT 38056 SOS 8263 HAS SOPS 8263 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7339.263
AT ITER 6098 NEW BEST:: SOT 38051 SOS 8257 HAS SOPS 8257 HAS SOUS 7323 HAS SOUPS 7323 WITH SCORE 7331.257
AT ITER 6107 NEW BEST:: SOT 38043 SOS 8257 HAS SOPS 8257 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7323.257
AT ITER 6115 NEW BEST:: SOT 38039 SOS 8253 HAS SOPS 8253 HAS SOUS 7311 HAS SOUPS 7311 WITH SCORE 7319.253
AT ITER 6181 NEW BEST:: SOT 38037 SOS 8251 HAS SOPS 8251 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7317.251
AT ITER 6203 NEW BEST:: SOT 38036 SOS 8243 HAS SOPS 8243 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7315.243
AT ITER 6237 NEW BEST:: SOT 38030 SOS 8237 HAS SOPS 8237 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7315.237
AT ITER 6244 NEW BEST:: SOT 38034 SOS 8243 HAS SOPS 8243 HAS SOUS 7305 HAS SOUPS 7305 WITH SCORE 7313.243
AT ITER 6254 NEW BEST:: SOT 38041 SOS 8217 HAS SOPS 8217 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7304.217
AT ITER 6281 NEW BEST:: SOT 38041 SOS 8214 HAS SOPS 8214 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7301.214
AT ITER 6394 NEW BEST:: SOT 38041 SOS 8207 HAS SOPS 8207 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7294.207
AT ITER 6439 NEW BEST:: SOT 38040 SOS 8253 HAS SOPS 8253 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7293.253
AT ITER 6472 NEW BEST:: SOT 38040 SOS 8261 HAS SOPS 8261 HAS SOUS 7283 HAS SOUPS 7283 WITH SCORE 7291.261
AT ITER 6475 NEW BEST:: SOT 38038 SOS 8258 HAS SOPS 8258 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7289.258
AT ITER 6492 NEW BEST:: SOT 38037 SOS 8251 HAS SOPS 8251 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7287.251
AT ITER 6519 NEW BEST:: SOT 38038 SOS 8249 HAS SOPS 8249 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7286.249
AT ITER 6523 NEW BEST:: SOT 38038 SOS 8251 HAS SOPS 8251 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7282.251
AT ITER 6527 NEW BEST:: SOT 38042 SOS 8244 HAS SOPS 8244 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7282.244
AT ITER 6608 NEW BEST:: SOT 38042 SOS 8243 HAS SOPS 8243 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7281.243
AT ITER 6617 NEW BEST:: SOT 38035 SOS 8235 HAS SOPS 8235 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7273.235
AT ITER 6665 NEW BEST:: SOT 38027 SOS 8222 HAS SOPS 8222 HAS SOUS 7247 HAS SOUPS 7247 WITH SCORE 7255.222
AT ITER 6738 NEW BEST:: SOT 38020 SOS 8211 HAS SOPS 8211 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7244.211
AT ITER 6747 NEW BEST:: SOT 38017 SOS 8209 HAS SOPS 8209 HAS SOUS 7234 HAS SOUPS 7234 WITH SCORE 7242.209
AT ITER 6771 NEW BEST:: SOT 38017 SOS 8208 HAS SOPS 8208 HAS SOUS 7234 HAS SOUPS 7234 WITH SCORE 7242.208
AT ITER 6785 NEW BEST:: SOT 38017 SOS 8192 HAS SOPS 8192 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7226.192
AT ITER 6801 NEW BEST:: SOT 38012 SOS 8182 HAS SOPS 8182 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7216.182
AT ITER 6865 NEW BEST:: SOT 38011 SOS 8180 HAS SOPS 8180 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7215.18
AT ITER 6932 NEW BEST:: SOT 38007 SOS 8179 HAS SOPS 8179 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7214.179
AT ITER 6965 NEW BEST:: SOT 38011 SOS 8183 HAS SOPS 8183 HAS SOUS 7204 HAS SOUPS 7204 WITH SCORE 7212.183
AT ITER 7121 NEW BEST:: SOT 38010 SOS 8181 HAS SOPS 8181 HAS SOUS 7202 HAS SOUPS 7202 WITH SCORE 7210.181
AT ITER 7182 NEW BEST:: SOT 38010 SOS 8179 HAS SOPS 8179 HAS SOUS 7202 HAS SOUPS 7202 WITH SCORE 7210.179
AT ITER 7234 NEW BEST:: SOT 38008 SOS 8187 HAS SOPS 8187 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7208.187
AT ITER 7236 NEW BEST:: SOT 38008 SOS 8181 HAS SOPS 8181 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7202.181
AT ITER 7270 NEW BEST:: SOT 38008 SOS 8177 HAS SOPS 8177 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7198.177
AT ITER 7307 NEW BEST:: SOT 38005 SOS 8174 HAS SOPS 8174 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7195.174
AT ITER 7353 NEW BEST:: SOT 38003 SOS 8172 HAS SOPS 8172 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7195.172
AT ITER 7466 NEW BEST:: SOT 38001 SOS 8170 HAS SOPS 8170 HAS SOUS 7185 HAS SOUPS 7185 WITH SCORE 7193.17
AT ITER 7480 NEW BEST:: SOT 38000 SOS 8170 HAS SOPS 8170 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7192.17
AT ITER 7488 NEW BEST:: SOT 38000 SOS 8168 HAS SOPS 8168 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7187.168
AT ITER 7494 NEW BEST:: SOT 38000 SOS 8160 HAS SOPS 8160 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7179.16
AT ITER 7527 NEW BEST:: SOT 37976 SOS 8178 HAS SOPS 8178 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7175.178
AT ITER 7572 NEW BEST:: SOT 37976 SOS 8176 HAS SOPS 8176 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7173.176
AT ITER 7653 NEW BEST:: SOT 37972 SOS 8181 HAS SOPS 8181 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7169.181
AT ITER 7682 NEW BEST:: SOT 37965 SOS 8174 HAS SOPS 8174 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7169.174
AT ITER 7705 NEW BEST:: SOT 37957 SOS 8166 HAS SOPS 8166 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7161.166
AT ITER 7718 NEW BEST:: SOT 37957 SOS 8145 HAS SOPS 8145 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7140.145
AT ITER 7728 NEW BEST:: SOT 37955 SOS 8143 HAS SOPS 8143 HAS SOUS 7130 HAS SOUPS 7130 WITH SCORE 7138.143
AT ITER 7777 NEW BEST:: SOT 37953 SOS 8139 HAS SOPS 8139 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7134.139
AT ITER 7790 NEW BEST:: SOT 37953 SOS 8138 HAS SOPS 8138 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7133.138
AT ITER 7849 NEW BEST:: SOT 37953 SOS 8134 HAS SOPS 8134 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7129.134
AT ITER 7927 NEW BEST:: SOT 37953 SOS 8131 HAS SOPS 8131 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7119.131
AT ITER 7984 NEW BEST:: SOT 37948 SOS 8124 HAS SOPS 8124 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7114.124
AT ITER 8036 NEW BEST:: SOT 37949 SOS 8120 HAS SOPS 8120 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7110.12
AT ITER 8067 NEW BEST:: SOT 37949 SOS 8119 HAS SOPS 8119 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7109.119
AT ITER 8207 NEW BEST:: SOT 37963 SOS 8133 HAS SOPS 8133 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7102.133
AT ITER 8220 NEW BEST:: SOT 37954 SOS 8089 HAS SOPS 8089 HAS SOUS 7085 HAS SOUPS 7085 WITH SCORE 7093.089
AT ITER 8314 NEW BEST:: SOT 37950 SOS 8082 HAS SOPS 8082 HAS SOUS 7085 HAS SOUPS 7085 WITH SCORE 7093.082
AT ITER 8329 NEW BEST:: SOT 37948 SOS 8078 HAS SOPS 8078 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7091.078
AT ITER 8406 NEW BEST:: SOT 37945 SOS 8075 HAS SOPS 8075 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7088.075
AT ITER 8413 NEW BEST:: SOT 37942 SOS 8036 HAS SOPS 8036 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7076.036
AT ITER 8426 NEW BEST:: SOT 37941 SOS 8034 HAS SOPS 8034 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7075.034
AT ITER 8491 NEW BEST:: SOT 37937 SOS 8018 HAS SOPS 8018 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7067.018
AT ITER 8505 NEW BEST:: SOT 37915 SOS 8000 HAS SOPS 8000 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7052.0
AT ITER 8529 NEW BEST:: SOT 37913 SOS 7994 HAS SOPS 7994 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7045.994
AT ITER 8563 NEW BEST:: SOT 37913 SOS 7987 HAS SOPS 7987 HAS SOUS 7031 HAS SOUPS 7031 WITH SCORE 7038.987
AT ITER 8713 NEW BEST:: SOT 37907 SOS 7974 HAS SOPS 7974 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7025.974
AT ITER 8765 NEW BEST:: SOT 37907 SOS 7970 HAS SOPS 7970 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7025.97
AT ITER 8922 NEW BEST:: SOT 37906 SOS 7968 HAS SOPS 7968 HAS SOUS 7017 HAS SOUPS 7017 WITH SCORE 7024.968
AT ITER 9031 NEW BEST:: SOT 37908 SOS 7961 HAS SOPS 7961 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7022.961
AT ITER 9080 NEW BEST:: SOT 37919 SOS 7957 HAS SOPS 7957 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7018.957
AT ITER 9258 NEW BEST:: SOT 37913 SOS 7948 HAS SOPS 7948 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7013.948
AT ITER 9276 NEW BEST:: SOT 37913 SOS 7880 HAS SOPS 7880 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7013.88
AT ITER 9306 NEW BEST:: SOT 37923 SOS 7714 HAS SOPS 7714 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7007.714
AT ITER 9349 NEW BEST:: SOT 37921 SOS 7712 HAS SOPS 7712 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7005.712
AT ITER 9404 NEW BEST:: SOT 37928 SOS 7707 HAS SOPS 7707 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7000.707
AT ITER 9490 NEW BEST:: SOT 37927 SOS 7706 HAS SOPS 7706 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 6999.706
AT ITER 9505 NEW BEST:: SOT 37930 SOS 7702 HAS SOPS 7702 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6995.702
AT ITER 9541 NEW BEST:: SOT 37928 SOS 7701 HAS SOPS 7701 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6994.701
AT ITER 9547 NEW BEST:: SOT 37929 SOS 7691 HAS SOPS 7691 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6992.691
AT ITER 9566 NEW BEST:: SOT 37916 SOS 7697 HAS SOPS 7697 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6989.697
AT ITER 9597 NEW BEST:: SOT 37914 SOS 7695 HAS SOPS 7695 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6987.695
AT ITER 9664 NEW BEST:: SOT 37914 SOS 7693 HAS SOPS 7693 HAS SOUS 6979 HAS SOUPS 6979 WITH SCORE 6986.693
AT ITER 9678 NEW BEST:: SOT 37914 SOS 7688 HAS SOPS 7688 HAS SOUS 6974 HAS SOUPS 6974 WITH SCORE 6981.688
AT ITER 9761 NEW BEST:: SOT 37920 SOS 7675 HAS SOPS 7675 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6977.675
AT ITER 9855 NEW BEST:: SOT 37916 SOS 7701 HAS SOPS 7701 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6967.701
AT ITER 9902 NEW BEST:: SOT 37915 SOS 7699 HAS SOPS 7699 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6965.699
AT ITER 9927 NEW BEST:: SOT 37914 SOS 7699 HAS SOPS 7699 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6964.699
AT ITER 9962 NEW BEST:: SOT 37912 SOS 7695 HAS SOPS 7695 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6962.695
AT ITER 9971 NEW BEST:: SOT 37900 SOS 7708 HAS SOPS 7708 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6957.708
AT ITER 9980 NEW BEST:: SOT 37901 SOS 7705 HAS SOPS 7705 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6954.705

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

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