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.r387-oct2-167903712000576.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 ShieldPPPt-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903712000576
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 404K
-rw-r--r-- 1 mcc users 4.9K Feb 25 21:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 25 21:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 21:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 21:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 21:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 21:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 21:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 21:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 56K Mar 5 18:23 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 1679067686149

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=ShieldPPPt-PT-003B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 003B
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: 237 places, 216 transitions, 540 arcs.
AT ITER 0 NEW BEST:: SOT 28201 SOS 8313 HAS SOPS 8313 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7690.313
AT ITER 1 NEW BEST:: SOT 28209 SOS 8310 HAS SOPS 8310 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7690.31
AT ITER 29 NEW BEST:: SOT 28209 SOS 8305 HAS SOPS 8305 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7685.305
AT ITER 41 NEW BEST:: SOT 28209 SOS 8283 HAS SOPS 8283 HAS SOUS 7655 HAS SOUPS 7655 WITH SCORE 7663.283
AT ITER 49 NEW BEST:: SOT 28209 SOS 8271 HAS SOPS 8271 HAS SOUS 7643 HAS SOUPS 7643 WITH SCORE 7651.271
AT ITER 53 NEW BEST:: SOT 28209 SOS 8261 HAS SOPS 8261 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7641.261
AT ITER 54 NEW BEST:: SOT 28189 SOS 8255 HAS SOPS 8255 HAS SOUS 7627 HAS SOUPS 7627 WITH SCORE 7635.255
AT ITER 58 NEW BEST:: SOT 28188 SOS 8186 HAS SOPS 8186 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7596.186
AT ITER 59 NEW BEST:: SOT 28178 SOS 8166 HAS SOPS 8166 HAS SOUS 7549 HAS SOUPS 7549 WITH SCORE 7557.166
AT ITER 86 NEW BEST:: SOT 28153 SOS 8116 HAS SOPS 8116 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7507.116
AT ITER 90 NEW BEST:: SOT 28120 SOS 8094 HAS SOPS 8094 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7485.094
AT ITER 94 NEW BEST:: SOT 28101 SOS 8075 HAS SOPS 8075 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7466.075
AT ITER 103 NEW BEST:: SOT 28105 SOS 7989 HAS SOPS 7989 HAS SOUS 7427 HAS SOUPS 7427 WITH SCORE 7434.989
AT ITER 106 NEW BEST:: SOT 28086 SOS 7976 HAS SOPS 7976 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7421.976
AT ITER 122 NEW BEST:: SOT 28052 SOS 7942 HAS SOPS 7942 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7387.942
AT ITER 132 NEW BEST:: SOT 28051 SOS 7925 HAS SOPS 7925 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7385.925
AT ITER 136 NEW BEST:: SOT 28047 SOS 7917 HAS SOPS 7917 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7379.917
AT ITER 143 NEW BEST:: SOT 28029 SOS 7848 HAS SOPS 7848 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7334.848
AT ITER 184 NEW BEST:: SOT 28028 SOS 7831 HAS SOPS 7831 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7332.831
AT ITER 199 NEW BEST:: SOT 27990 SOS 7746 HAS SOPS 7746 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7247.746
AT ITER 200 NEW BEST:: SOT 28000 SOS 7746 HAS SOPS 7746 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7237.746
AT ITER 224 NEW BEST:: SOT 27947 SOS 7674 HAS SOPS 7674 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7165.674
AT ITER 249 NEW BEST:: SOT 27929 SOS 7654 HAS SOPS 7654 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7147.654
AT ITER 257 NEW BEST:: SOT 27924 SOS 7649 HAS SOPS 7649 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7142.649
AT ITER 264 NEW BEST:: SOT 27924 SOS 7621 HAS SOPS 7621 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7114.621
AT ITER 291 NEW BEST:: SOT 27924 SOS 7618 HAS SOPS 7618 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7108.618
AT ITER 293 NEW BEST:: SOT 27920 SOS 7614 HAS SOPS 7614 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7104.614
AT ITER 315 NEW BEST:: SOT 27920 SOS 7590 HAS SOPS 7590 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7056.59
AT ITER 329 NEW BEST:: SOT 27916 SOS 7582 HAS SOPS 7582 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7044.582
AT ITER 341 NEW BEST:: SOT 27916 SOS 7574 HAS SOPS 7574 HAS SOUS 7029 HAS SOUPS 7029 WITH SCORE 7036.574
AT ITER 369 NEW BEST:: SOT 27917 SOS 7553 HAS SOPS 7553 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7021.553
AT ITER 387 NEW BEST:: SOT 27917 SOS 7524 HAS SOPS 7524 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7021.524
AT ITER 388 NEW BEST:: SOT 27916 SOS 7526 HAS SOPS 7526 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7019.526
AT ITER 396 NEW BEST:: SOT 27916 SOS 7502 HAS SOPS 7502 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6995.502
AT ITER 398 NEW BEST:: SOT 27895 SOS 7508 HAS SOPS 7508 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6976.508
AT ITER 408 NEW BEST:: SOT 27895 SOS 7503 HAS SOPS 7503 HAS SOUS 6964 HAS SOUPS 6964 WITH SCORE 6971.503
AT ITER 414 NEW BEST:: SOT 27887 SOS 7487 HAS SOPS 7487 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6955.487
AT ITER 415 NEW BEST:: SOT 27880 SOS 7480 HAS SOPS 7480 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6948.48
AT ITER 419 NEW BEST:: SOT 27869 SOS 7475 HAS SOPS 7475 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6943.475
AT ITER 426 NEW BEST:: SOT 27869 SOS 7465 HAS SOPS 7465 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6933.465
AT ITER 429 NEW BEST:: SOT 27869 SOS 7464 HAS SOPS 7464 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6932.464
AT ITER 434 NEW BEST:: SOT 27841 SOS 7452 HAS SOPS 7452 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6920.452
AT ITER 522 NEW BEST:: SOT 27847 SOS 7429 HAS SOPS 7429 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6891.429
AT ITER 524 NEW BEST:: SOT 27840 SOS 7433 HAS SOPS 7433 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6884.433
AT ITER 539 NEW BEST:: SOT 27835 SOS 7401 HAS SOPS 7401 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6857.401
AT ITER 586 NEW BEST:: SOT 27827 SOS 7383 HAS SOPS 7383 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6839.383
AT ITER 605 NEW BEST:: SOT 27823 SOS 7375 HAS SOPS 7375 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6834.375
AT ITER 635 NEW BEST:: SOT 27805 SOS 7305 HAS SOPS 7305 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6764.305
AT ITER 677 NEW BEST:: SOT 27808 SOS 7312 HAS SOPS 7312 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6742.312
AT ITER 685 NEW BEST:: SOT 27792 SOS 7264 HAS SOPS 7264 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6694.264
AT ITER 686 NEW BEST:: SOT 27777 SOS 7252 HAS SOPS 7252 HAS SOUS 6672 HAS SOUPS 6672 WITH SCORE 6679.252
AT ITER 696 NEW BEST:: SOT 27776 SOS 7231 HAS SOPS 7231 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6658.231
AT ITER 726 NEW BEST:: SOT 27778 SOS 7217 HAS SOPS 7217 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6644.217
AT ITER 730 NEW BEST:: SOT 27777 SOS 7213 HAS SOPS 7213 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6642.213
AT ITER 732 NEW BEST:: SOT 27808 SOS 7232 HAS SOPS 7232 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6636.232
AT ITER 740 NEW BEST:: SOT 27825 SOS 7230 HAS SOPS 7230 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6634.23
AT ITER 779 NEW BEST:: SOT 27821 SOS 7210 HAS SOPS 7210 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6618.21
AT ITER 793 NEW BEST:: SOT 27819 SOS 7209 HAS SOPS 7209 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6616.209
AT ITER 798 NEW BEST:: SOT 27814 SOS 7199 HAS SOPS 7199 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6606.199
AT ITER 840 NEW BEST:: SOT 27809 SOS 7187 HAS SOPS 7187 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6600.187
AT ITER 893 NEW BEST:: SOT 27809 SOS 7187 HAS SOPS 7187 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6597.187
AT ITER 895 NEW BEST:: SOT 27805 SOS 7179 HAS SOPS 7179 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6589.179
AT ITER 912 NEW BEST:: SOT 27809 SOS 7187 HAS SOPS 7187 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6586.187
AT ITER 959 NEW BEST:: SOT 27809 SOS 7185 HAS SOPS 7185 HAS SOUS 6577 HAS SOUPS 6577 WITH SCORE 6584.185
AT ITER 976 NEW BEST:: SOT 27773 SOS 7167 HAS SOPS 7167 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6557.167
AT ITER 986 NEW BEST:: SOT 27772 SOS 7165 HAS SOPS 7165 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6555.165
AT ITER 999 NEW BEST:: SOT 27772 SOS 7162 HAS SOPS 7162 HAS SOUS 6545 HAS SOUPS 6545 WITH SCORE 6552.162
AT ITER 1010 NEW BEST:: SOT 27765 SOS 7146 HAS SOPS 7146 HAS SOUS 6524 HAS SOUPS 6524 WITH SCORE 6531.146
AT ITER 1040 NEW BEST:: SOT 27787 SOS 7224 HAS SOPS 7224 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6529.224
AT ITER 1098 NEW BEST:: SOT 27763 SOS 7168 HAS SOPS 7168 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6501.168
AT ITER 1164 NEW BEST:: SOT 27763 SOS 7169 HAS SOPS 7169 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.169
AT ITER 1208 NEW BEST:: SOT 27751 SOS 7151 HAS SOPS 7151 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6481.151
AT ITER 1227 NEW BEST:: SOT 27744 SOS 7144 HAS SOPS 7144 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6463.144
AT ITER 1232 NEW BEST:: SOT 27740 SOS 7140 HAS SOPS 7140 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6459.14
AT ITER 1242 NEW BEST:: SOT 27740 SOS 7163 HAS SOPS 7163 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6453.163
AT ITER 1268 NEW BEST:: SOT 27722 SOS 7127 HAS SOPS 7127 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6417.127
AT ITER 1275 NEW BEST:: SOT 27719 SOS 7114 HAS SOPS 7114 HAS SOUS 6397 HAS SOUPS 6397 WITH SCORE 6404.114
AT ITER 1279 NEW BEST:: SOT 27719 SOS 7110 HAS SOPS 7110 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6400.11
AT ITER 1298 NEW BEST:: SOT 27718 SOS 7108 HAS SOPS 7108 HAS SOUS 6391 HAS SOUPS 6391 WITH SCORE 6398.108
AT ITER 1311 NEW BEST:: SOT 27710 SOS 7080 HAS SOPS 7080 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6382.08
AT ITER 1321 NEW BEST:: SOT 27706 SOS 7072 HAS SOPS 7072 HAS SOUS 6367 HAS SOUPS 6367 WITH SCORE 6374.072
AT ITER 1363 NEW BEST:: SOT 27685 SOS 7050 HAS SOPS 7050 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6352.05
AT ITER 1390 NEW BEST:: SOT 27675 SOS 7031 HAS SOPS 7031 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6333.031
AT ITER 1435 NEW BEST:: SOT 27671 SOS 7030 HAS SOPS 7030 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6332.03
AT ITER 1444 NEW BEST:: SOT 27671 SOS 7029 HAS SOPS 7029 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6331.029
AT ITER 1468 NEW BEST:: SOT 27650 SOS 7011 HAS SOPS 7011 HAS SOUS 6302 HAS SOUPS 6302 WITH SCORE 6309.011
AT ITER 1498 NEW BEST:: SOT 27627 SOS 6942 HAS SOPS 6942 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6262.942
AT ITER 1508 NEW BEST:: SOT 27627 SOS 6942 HAS SOPS 6942 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6260.942
AT ITER 1554 NEW BEST:: SOT 27621 SOS 6922 HAS SOPS 6922 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6240.922
AT ITER 1570 NEW BEST:: SOT 27621 SOS 6907 HAS SOPS 6907 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6225.907
AT ITER 1582 NEW BEST:: SOT 27616 SOS 6895 HAS SOPS 6895 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6213.895
AT ITER 1609 NEW BEST:: SOT 27599 SOS 6861 HAS SOPS 6861 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6195.861
AT ITER 1649 NEW BEST:: SOT 27614 SOS 6848 HAS SOPS 6848 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6182.848
AT ITER 1665 NEW BEST:: SOT 27606 SOS 6808 HAS SOPS 6808 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6166.808
AT ITER 1747 NEW BEST:: SOT 27604 SOS 6806 HAS SOPS 6806 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6164.806
AT ITER 1779 NEW BEST:: SOT 27601 SOS 6794 HAS SOPS 6794 HAS SOUS 6148 HAS SOUPS 6148 WITH SCORE 6154.794
AT ITER 1782 NEW BEST:: SOT 27604 SOS 6790 HAS SOPS 6790 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6150.79
AT ITER 1787 NEW BEST:: SOT 27615 SOS 6799 HAS SOPS 6799 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6135.799
AT ITER 1801 NEW BEST:: SOT 27610 SOS 6781 HAS SOPS 6781 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6125.781
AT ITER 1816 NEW BEST:: SOT 27610 SOS 6776 HAS SOPS 6776 HAS SOUS 6114 HAS SOUPS 6114 WITH SCORE 6120.776
AT ITER 1823 NEW BEST:: SOT 27610 SOS 6774 HAS SOPS 6774 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6118.774
AT ITER 1876 NEW BEST:: SOT 27612 SOS 6764 HAS SOPS 6764 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6108.764
AT ITER 1901 NEW BEST:: SOT 27602 SOS 6742 HAS SOPS 6742 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6096.742
AT ITER 1946 NEW BEST:: SOT 27581 SOS 6700 HAS SOPS 6700 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6057.7
AT ITER 1948 NEW BEST:: SOT 27581 SOS 6699 HAS SOPS 6699 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6056.699
AT ITER 1955 NEW BEST:: SOT 27581 SOS 6695 HAS SOPS 6695 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6052.695
AT ITER 1961 NEW BEST:: SOT 27577 SOS 6680 HAS SOPS 6680 HAS SOUS 6031 HAS SOUPS 6031 WITH SCORE 6037.68
AT ITER 1991 NEW BEST:: SOT 27576 SOS 6674 HAS SOPS 6674 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6035.674
AT ITER 2016 NEW BEST:: SOT 27563 SOS 6670 HAS SOPS 6670 HAS SOUS 6025 HAS SOUPS 6025 WITH SCORE 6031.67
AT ITER 2018 NEW BEST:: SOT 27547 SOS 6663 HAS SOPS 6663 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6016.663
AT ITER 2030 NEW BEST:: SOT 27547 SOS 6662 HAS SOPS 6662 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6015.662
AT ITER 2105 NEW BEST:: SOT 27547 SOS 6646 HAS SOPS 6646 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6015.646
AT ITER 2112 NEW BEST:: SOT 27539 SOS 6638 HAS SOPS 6638 HAS SOUS 6001 HAS SOUPS 6001 WITH SCORE 6007.638
AT ITER 2132 NEW BEST:: SOT 27554 SOS 6653 HAS SOPS 6653 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6002.653
AT ITER 2154 NEW BEST:: SOT 27559 SOS 6662 HAS SOPS 6662 HAS SOUS 5995 HAS SOUPS 5995 WITH SCORE 6001.662
AT ITER 2197 NEW BEST:: SOT 27546 SOS 6636 HAS SOPS 6636 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5988.636
AT ITER 2266 NEW BEST:: SOT 27546 SOS 6634 HAS SOPS 6634 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5987.634
AT ITER 2279 NEW BEST:: SOT 27546 SOS 6627 HAS SOPS 6627 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5979.627
AT ITER 2338 NEW BEST:: SOT 27542 SOS 6592 HAS SOPS 6592 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5971.592
AT ITER 2339 NEW BEST:: SOT 27535 SOS 6593 HAS SOPS 6593 HAS SOUS 5957 HAS SOUPS 5957 WITH SCORE 5963.593
AT ITER 2345 NEW BEST:: SOT 27535 SOS 6588 HAS SOPS 6588 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5958.588
AT ITER 2351 NEW BEST:: SOT 27543 SOS 6545 HAS SOPS 6545 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5950.545
AT ITER 2367 NEW BEST:: SOT 27534 SOS 6527 HAS SOPS 6527 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5941.527
AT ITER 2376 NEW BEST:: SOT 27534 SOS 6525 HAS SOPS 6525 HAS SOUS 5931 HAS SOUPS 5931 WITH SCORE 5937.525
AT ITER 2520 NEW BEST:: SOT 27539 SOS 6503 HAS SOPS 6503 HAS SOUS 5909 HAS SOUPS 5909 WITH SCORE 5915.503
AT ITER 2547 NEW BEST:: SOT 27519 SOS 6495 HAS SOPS 6495 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5907.495
AT ITER 2557 NEW BEST:: SOT 27519 SOS 6486 HAS SOPS 6486 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5907.486
AT ITER 2605 NEW BEST:: SOT 27507 SOS 6477 HAS SOPS 6477 HAS SOUS 5890 HAS SOUPS 5890 WITH SCORE 5896.477
AT ITER 2759 NEW BEST:: SOT 27502 SOS 6467 HAS SOPS 6467 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5890.467
AT ITER 2766 NEW BEST:: SOT 27502 SOS 6465 HAS SOPS 6465 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5888.465
AT ITER 2769 NEW BEST:: SOT 27501 SOS 6464 HAS SOPS 6464 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5887.464
AT ITER 2771 NEW BEST:: SOT 27507 SOS 6476 HAS SOPS 6476 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5877.476
AT ITER 2822 NEW BEST:: SOT 27507 SOS 6476 HAS SOPS 6476 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5875.476
AT ITER 2827 NEW BEST:: SOT 27469 SOS 6475 HAS SOPS 6475 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5874.475
AT ITER 2835 NEW BEST:: SOT 27473 SOS 6455 HAS SOPS 6455 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5866.455
AT ITER 2837 NEW BEST:: SOT 27472 SOS 6454 HAS SOPS 6454 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5865.454
AT ITER 2865 NEW BEST:: SOT 27472 SOS 6450 HAS SOPS 6450 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5861.45
AT ITER 2923 NEW BEST:: SOT 27474 SOS 6433 HAS SOPS 6433 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5860.433
AT ITER 2948 NEW BEST:: SOT 27469 SOS 6423 HAS SOPS 6423 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5850.423
AT ITER 2950 NEW BEST:: SOT 27469 SOS 6423 HAS SOPS 6423 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5849.423
AT ITER 2986 NEW BEST:: SOT 27469 SOS 6419 HAS SOPS 6419 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5847.419
AT ITER 3020 NEW BEST:: SOT 27471 SOS 6418 HAS SOPS 6418 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5847.418
AT ITER 3027 NEW BEST:: SOT 27462 SOS 6413 HAS SOPS 6413 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5842.413
AT ITER 3094 NEW BEST:: SOT 27467 SOS 6410 HAS SOPS 6410 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5835.41
AT ITER 3131 NEW BEST:: SOT 27467 SOS 6382 HAS SOPS 6382 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5835.382
AT ITER 3162 NEW BEST:: SOT 27472 SOS 6370 HAS SOPS 6370 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5826.37
AT ITER 3175 NEW BEST:: SOT 27490 SOS 6362 HAS SOPS 6362 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5818.362
AT ITER 3185 NEW BEST:: SOT 27490 SOS 6357 HAS SOPS 6357 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5813.357
AT ITER 3215 NEW BEST:: SOT 27492 SOS 6377 HAS SOPS 6377 HAS SOUS 5806 HAS SOUPS 5806 WITH SCORE 5812.377
AT ITER 3258 NEW BEST:: SOT 27488 SOS 6369 HAS SOPS 6369 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5804.369
AT ITER 3280 NEW BEST:: SOT 27486 SOS 6362 HAS SOPS 6362 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5798.362
AT ITER 3303 NEW BEST:: SOT 27498 SOS 6350 HAS SOPS 6350 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5798.35
AT ITER 3337 NEW BEST:: SOT 27498 SOS 6349 HAS SOPS 6349 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5797.349
AT ITER 3339 NEW BEST:: SOT 27498 SOS 6348 HAS SOPS 6348 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5796.348
AT ITER 3345 NEW BEST:: SOT 27498 SOS 6321 HAS SOPS 6321 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5794.321
AT ITER 3351 NEW BEST:: SOT 27498 SOS 6318 HAS SOPS 6318 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5791.318
AT ITER 3365 NEW BEST:: SOT 27498 SOS 6317 HAS SOPS 6317 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5790.317
AT ITER 3404 NEW BEST:: SOT 27503 SOS 6316 HAS SOPS 6316 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5789.316
AT ITER 3421 NEW BEST:: SOT 27503 SOS 6309 HAS SOPS 6309 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5782.309
AT ITER 3431 NEW BEST:: SOT 27503 SOS 6297 HAS SOPS 6297 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5782.297
AT ITER 3453 NEW BEST:: SOT 27491 SOS 6298 HAS SOPS 6298 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5777.298
AT ITER 3566 NEW BEST:: SOT 27489 SOS 6292 HAS SOPS 6292 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5775.292
AT ITER 3648 NEW BEST:: SOT 27489 SOS 6289 HAS SOPS 6289 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5775.289
AT ITER 3654 NEW BEST:: SOT 27522 SOS 6286 HAS SOPS 6286 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5772.286
AT ITER 3657 NEW BEST:: SOT 27510 SOS 6259 HAS SOPS 6259 HAS SOUS 5739 HAS SOUPS 5739 WITH SCORE 5745.259
AT ITER 3667 NEW BEST:: SOT 27510 SOS 6246 HAS SOPS 6246 HAS SOUS 5739 HAS SOUPS 5739 WITH SCORE 5745.246
AT ITER 3703 NEW BEST:: SOT 27505 SOS 6236 HAS SOPS 6236 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5740.236
AT ITER 3814 NEW BEST:: SOT 27511 SOS 6239 HAS SOPS 6239 HAS SOUS 5731 HAS SOUPS 5731 WITH SCORE 5737.239
AT ITER 3908 NEW BEST:: SOT 27508 SOS 6232 HAS SOPS 6232 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5732.232
AT ITER 3923 NEW BEST:: SOT 27493 SOS 6212 HAS SOPS 6212 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5712.212
AT ITER 3939 NEW BEST:: SOT 27486 SOS 6199 HAS SOPS 6199 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5699.199
AT ITER 3992 NEW BEST:: SOT 27486 SOS 6198 HAS SOPS 6198 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5698.198
AT ITER 4015 NEW BEST:: SOT 27483 SOS 6190 HAS SOPS 6190 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5690.19
AT ITER 4045 NEW BEST:: SOT 27479 SOS 6187 HAS SOPS 6187 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5686.187
AT ITER 4046 NEW BEST:: SOT 27479 SOS 6185 HAS SOPS 6185 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5686.185
AT ITER 4054 NEW BEST:: SOT 27479 SOS 6171 HAS SOPS 6171 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.171
AT ITER 4059 NEW BEST:: SOT 27479 SOS 6168 HAS SOPS 6168 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.168
AT ITER 4093 NEW BEST:: SOT 27498 SOS 6162 HAS SOPS 6162 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5683.162
AT ITER 4228 NEW BEST:: SOT 27493 SOS 6161 HAS SOPS 6161 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5682.161
AT ITER 4389 NEW BEST:: SOT 27492 SOS 6155 HAS SOPS 6155 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5676.155
AT ITER 4410 NEW BEST:: SOT 27490 SOS 6151 HAS SOPS 6151 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5672.151
AT ITER 4435 NEW BEST:: SOT 27485 SOS 6134 HAS SOPS 6134 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5667.134
AT ITER 4464 NEW BEST:: SOT 27485 SOS 6168 HAS SOPS 6168 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5656.168
AT ITER 4506 NEW BEST:: SOT 27476 SOS 6159 HAS SOPS 6159 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5647.159
AT ITER 4531 NEW BEST:: SOT 27471 SOS 6148 HAS SOPS 6148 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5632.148
AT ITER 4551 NEW BEST:: SOT 27463 SOS 6140 HAS SOPS 6140 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.14
AT ITER 4554 NEW BEST:: SOT 27464 SOS 6139 HAS SOPS 6139 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5623.139
AT ITER 4569 NEW BEST:: SOT 27464 SOS 6117 HAS SOPS 6117 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5623.117
AT ITER 4577 NEW BEST:: SOT 27471 SOS 6110 HAS SOPS 6110 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.11
AT ITER 4586 NEW BEST:: SOT 27470 SOS 6109 HAS SOPS 6109 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5615.109
AT ITER 4616 NEW BEST:: SOT 27470 SOS 6109 HAS SOPS 6109 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5614.109
AT ITER 4629 NEW BEST:: SOT 27463 SOS 6102 HAS SOPS 6102 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5614.102
AT ITER 4675 NEW BEST:: SOT 27452 SOS 6101 HAS SOPS 6101 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5613.101
AT ITER 4703 NEW BEST:: SOT 27446 SOS 6090 HAS SOPS 6090 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5602.09
AT ITER 4763 NEW BEST:: SOT 27443 SOS 6095 HAS SOPS 6095 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5598.095
AT ITER 4800 NEW BEST:: SOT 27446 SOS 6091 HAS SOPS 6091 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5594.091
AT ITER 4808 NEW BEST:: SOT 27444 SOS 6089 HAS SOPS 6089 HAS SOUS 5586 HAS SOUPS 5586 WITH SCORE 5592.089
AT ITER 4837 NEW BEST:: SOT 27439 SOS 6048 HAS SOPS 6048 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5581.048
AT ITER 4852 NEW BEST:: SOT 27438 SOS 6041 HAS SOPS 6041 HAS SOUS 5573 HAS SOUPS 5573 WITH SCORE 5579.041
AT ITER 4881 NEW BEST:: SOT 27438 SOS 6040 HAS SOPS 6040 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5578.04
AT ITER 5010 NEW BEST:: SOT 27435 SOS 6037 HAS SOPS 6037 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.037
AT ITER 5037 NEW BEST:: SOT 27435 SOS 6035 HAS SOPS 6035 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5573.035
AT ITER 5046 NEW BEST:: SOT 27434 SOS 6034 HAS SOPS 6034 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5572.034
AT ITER 5047 NEW BEST:: SOT 27415 SOS 5996 HAS SOPS 5996 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5552.996
AT ITER 5134 NEW BEST:: SOT 27414 SOS 5997 HAS SOPS 5997 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5551.997
AT ITER 5223 NEW BEST:: SOT 27413 SOS 5996 HAS SOPS 5996 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5550.996
AT ITER 5246 NEW BEST:: SOT 27413 SOS 5994 HAS SOPS 5994 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5548.994
AT ITER 5268 NEW BEST:: SOT 27413 SOS 5996 HAS SOPS 5996 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5546.996
AT ITER 5308 NEW BEST:: SOT 27409 SOS 5973 HAS SOPS 5973 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5523.973
AT ITER 5347 NEW BEST:: SOT 27408 SOS 5968 HAS SOPS 5968 HAS SOUS 5515 HAS SOUPS 5515 WITH SCORE 5520.968
AT ITER 5360 NEW BEST:: SOT 27408 SOS 5961 HAS SOPS 5961 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5513.961
AT ITER 5584 NEW BEST:: SOT 27408 SOS 5960 HAS SOPS 5960 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5512.96
AT ITER 5628 NEW BEST:: SOT 27406 SOS 5958 HAS SOPS 5958 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5510.958
AT ITER 5722 NEW BEST:: SOT 27414 SOS 5946 HAS SOPS 5946 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5505.946
AT ITER 5764 NEW BEST:: SOT 27414 SOS 5939 HAS SOPS 5939 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5499.939
AT ITER 5776 NEW BEST:: SOT 27413 SOS 5907 HAS SOPS 5907 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5495.907
AT ITER 5780 NEW BEST:: SOT 27412 SOS 5904 HAS SOPS 5904 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5493.904
AT ITER 5805 NEW BEST:: SOT 27412 SOS 5903 HAS SOPS 5903 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5492.903
AT ITER 5806 NEW BEST:: SOT 27395 SOS 5886 HAS SOPS 5886 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5475.886
AT ITER 5952 NEW BEST:: SOT 27395 SOS 5885 HAS SOPS 5885 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5473.885
AT ITER 5955 NEW BEST:: SOT 27394 SOS 5883 HAS SOPS 5883 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5472.883
AT ITER 5996 NEW BEST:: SOT 27393 SOS 5881 HAS SOPS 5881 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5470.881
AT ITER 6039 NEW BEST:: SOT 27394 SOS 5878 HAS SOPS 5878 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5467.878
AT ITER 6056 NEW BEST:: SOT 27392 SOS 5876 HAS SOPS 5876 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5465.876
AT ITER 6196 NEW BEST:: SOT 27398 SOS 5871 HAS SOPS 5871 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5448.871
AT ITER 6208 NEW BEST:: SOT 27393 SOS 5861 HAS SOPS 5861 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5438.861
AT ITER 6226 NEW BEST:: SOT 27393 SOS 5856 HAS SOPS 5856 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5433.856
AT ITER 6254 NEW BEST:: SOT 27389 SOS 5851 HAS SOPS 5851 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5431.851
AT ITER 6299 NEW BEST:: SOT 27390 SOS 5848 HAS SOPS 5848 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5428.848
AT ITER 6309 NEW BEST:: SOT 27367 SOS 5834 HAS SOPS 5834 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5414.834
AT ITER 6316 NEW BEST:: SOT 27384 SOS 5819 HAS SOPS 5819 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5414.819
AT ITER 6317 NEW BEST:: SOT 27387 SOS 5819 HAS SOPS 5819 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5411.819
AT ITER 6375 NEW BEST:: SOT 27382 SOS 5792 HAS SOPS 5792 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5389.792
AT ITER 6446 NEW BEST:: SOT 27397 SOS 5807 HAS SOPS 5807 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5387.807
AT ITER 6472 NEW BEST:: SOT 27397 SOS 5807 HAS SOPS 5807 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5385.807
AT ITER 6483 NEW BEST:: SOT 27407 SOS 5795 HAS SOPS 5795 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5384.795
AT ITER 6570 NEW BEST:: SOT 27395 SOS 5757 HAS SOPS 5757 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5358.757
AT ITER 6605 NEW BEST:: SOT 27394 SOS 5758 HAS SOPS 5758 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5356.758
AT ITER 6686 NEW BEST:: SOT 27402 SOS 5754 HAS SOPS 5754 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5352.754
AT ITER 6735 NEW BEST:: SOT 27395 SOS 5747 HAS SOPS 5747 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5345.747
AT ITER 6778 NEW BEST:: SOT 27393 SOS 5743 HAS SOPS 5743 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5341.743
AT ITER 6805 NEW BEST:: SOT 27395 SOS 5728 HAS SOPS 5728 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5341.728
AT ITER 6833 NEW BEST:: SOT 27398 SOS 5727 HAS SOPS 5727 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5340.727
AT ITER 6912 NEW BEST:: SOT 27396 SOS 5725 HAS SOPS 5725 HAS SOUS 5333 HAS SOUPS 5333 WITH SCORE 5338.725
AT ITER 7029 NEW BEST:: SOT 27398 SOS 5718 HAS SOPS 5718 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5332.718
AT ITER 7058 NEW BEST:: SOT 27398 SOS 5707 HAS SOPS 5707 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5331.707
AT ITER 7100 NEW BEST:: SOT 27397 SOS 5703 HAS SOPS 5703 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5330.703
AT ITER 7142 NEW BEST:: SOT 27394 SOS 5700 HAS SOPS 5700 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5327.7
AT ITER 7169 NEW BEST:: SOT 27393 SOS 5697 HAS SOPS 5697 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5324.697
AT ITER 7224 NEW BEST:: SOT 27393 SOS 5672 HAS SOPS 5672 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5324.672
AT ITER 7277 NEW BEST:: SOT 27390 SOS 5670 HAS SOPS 5670 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5322.67
AT ITER 7297 NEW BEST:: SOT 27390 SOS 5654 HAS SOPS 5654 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5311.654
AT ITER 7358 NEW BEST:: SOT 27390 SOS 5653 HAS SOPS 5653 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5310.653
AT ITER 7381 NEW BEST:: SOT 27387 SOS 5651 HAS SOPS 5651 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5308.651
AT ITER 7402 NEW BEST:: SOT 27387 SOS 5651 HAS SOPS 5651 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5306.651
AT ITER 7413 NEW BEST:: SOT 27389 SOS 5648 HAS SOPS 5648 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5303.648
AT ITER 7525 NEW BEST:: SOT 27402 SOS 5700 HAS SOPS 5700 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5296.7
AT ITER 7526 NEW BEST:: SOT 27398 SOS 5696 HAS SOPS 5696 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5292.696
AT ITER 7548 NEW BEST:: SOT 27398 SOS 5694 HAS SOPS 5694 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5291.694
AT ITER 7551 NEW BEST:: SOT 27379 SOS 5672 HAS SOPS 5672 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5276.672
AT ITER 7552 NEW BEST:: SOT 27370 SOS 5669 HAS SOPS 5669 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5273.669
AT ITER 7571 NEW BEST:: SOT 27368 SOS 5667 HAS SOPS 5667 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5271.667
AT ITER 7587 NEW BEST:: SOT 27364 SOS 5666 HAS SOPS 5666 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5270.666
AT ITER 7686 NEW BEST:: SOT 27365 SOS 5667 HAS SOPS 5667 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5266.667
AT ITER 7746 NEW BEST:: SOT 27376 SOS 5672 HAS SOPS 5672 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5261.672
AT ITER 7756 NEW BEST:: SOT 27378 SOS 5658 HAS SOPS 5658 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5254.658
AT ITER 7768 NEW BEST:: SOT 27378 SOS 5656 HAS SOPS 5656 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5253.656
AT ITER 7789 NEW BEST:: SOT 27370 SOS 5651 HAS SOPS 5651 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5248.651
AT ITER 7933 NEW BEST:: SOT 27367 SOS 5636 HAS SOPS 5636 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5242.636
AT ITER 7946 NEW BEST:: SOT 27355 SOS 5629 HAS SOPS 5629 HAS SOUS 5230 HAS SOUPS 5230 WITH SCORE 5235.629
AT ITER 8107 NEW BEST:: SOT 27334 SOS 5621 HAS SOPS 5621 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5227.621
AT ITER 8130 NEW BEST:: SOT 27332 SOS 5617 HAS SOPS 5617 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5225.617
AT ITER 8169 NEW BEST:: SOT 27332 SOS 5610 HAS SOPS 5610 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5218.61
AT ITER 8245 NEW BEST:: SOT 27332 SOS 5603 HAS SOPS 5603 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5211.603
AT ITER 8257 NEW BEST:: SOT 27324 SOS 5618 HAS SOPS 5618 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5203.618
AT ITER 8280 NEW BEST:: SOT 27322 SOS 5616 HAS SOPS 5616 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5201.616
AT ITER 8282 NEW BEST:: SOT 27318 SOS 5612 HAS SOPS 5612 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5197.612
AT ITER 8289 NEW BEST:: SOT 27327 SOS 5607 HAS SOPS 5607 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5197.607
AT ITER 8334 NEW BEST:: SOT 27327 SOS 5604 HAS SOPS 5604 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5197.604
AT ITER 8357 NEW BEST:: SOT 27326 SOS 5603 HAS SOPS 5603 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5196.603
AT ITER 8563 NEW BEST:: SOT 27314 SOS 5622 HAS SOPS 5622 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5184.622
AT ITER 8572 NEW BEST:: SOT 27313 SOS 5620 HAS SOPS 5620 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5179.62
AT ITER 8579 NEW BEST:: SOT 27308 SOS 5610 HAS SOPS 5610 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5169.61
AT ITER 8648 NEW BEST:: SOT 27308 SOS 5610 HAS SOPS 5610 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5164.61
AT ITER 8660 NEW BEST:: SOT 27300 SOS 5581 HAS SOPS 5581 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5156.581
AT ITER 8666 NEW BEST:: SOT 27288 SOS 5583 HAS SOPS 5583 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5147.583
AT ITER 8691 NEW BEST:: SOT 27285 SOS 5577 HAS SOPS 5577 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5144.577
AT ITER 8707 NEW BEST:: SOT 27286 SOS 5569 HAS SOPS 5569 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5139.569
AT ITER 8756 NEW BEST:: SOT 27284 SOS 5568 HAS SOPS 5568 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5137.568
AT ITER 8770 NEW BEST:: SOT 27284 SOS 5567 HAS SOPS 5567 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5137.567
AT ITER 8802 NEW BEST:: SOT 27277 SOS 5554 HAS SOPS 5554 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5130.554
AT ITER 8833 NEW BEST:: SOT 27276 SOS 5552 HAS SOPS 5552 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5128.552
AT ITER 8857 NEW BEST:: SOT 27273 SOS 5546 HAS SOPS 5546 HAS SOUS 5117 HAS SOUPS 5117 WITH SCORE 5122.546
AT ITER 8872 NEW BEST:: SOT 27273 SOS 5538 HAS SOPS 5538 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5114.538
AT ITER 8902 NEW BEST:: SOT 27273 SOS 5536 HAS SOPS 5536 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5112.536
AT ITER 8939 NEW BEST:: SOT 27272 SOS 5535 HAS SOPS 5535 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5111.535
AT ITER 8960 NEW BEST:: SOT 27232 SOS 5551 HAS SOPS 5551 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5104.551
AT ITER 8962 NEW BEST:: SOT 27232 SOS 5549 HAS SOPS 5549 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5102.549
AT ITER 9041 NEW BEST:: SOT 27232 SOS 5538 HAS SOPS 5538 HAS SOUS 5086 HAS SOUPS 5086 WITH SCORE 5091.538
AT ITER 9150 NEW BEST:: SOT 27230 SOS 5536 HAS SOPS 5536 HAS SOUS 5086 HAS SOUPS 5086 WITH SCORE 5091.536
AT ITER 9193 NEW BEST:: SOT 27230 SOS 5535 HAS SOPS 5535 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5090.535
AT ITER 9198 NEW BEST:: SOT 27234 SOS 5531 HAS SOPS 5531 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5084.531
AT ITER 9240 NEW BEST:: SOT 27222 SOS 5515 HAS SOPS 5515 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5080.515
AT ITER 9248 NEW BEST:: SOT 27222 SOS 5515 HAS SOPS 5515 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5079.515
AT ITER 9289 NEW BEST:: SOT 27219 SOS 5512 HAS SOPS 5512 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5076.512
AT ITER 9442 NEW BEST:: SOT 27232 SOS 5508 HAS SOPS 5508 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5072.508
AT ITER 9456 NEW BEST:: SOT 27226 SOS 5502 HAS SOPS 5502 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5072.502
AT ITER 9586 NEW BEST:: SOT 27226 SOS 5498 HAS SOPS 5498 HAS SOUS 5063 HAS SOUPS 5063 WITH SCORE 5068.498
AT ITER 9655 NEW BEST:: SOT 27223 SOS 5486 HAS SOPS 5486 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5065.486
AT ITER 9753 NEW BEST:: SOT 27223 SOS 5484 HAS SOPS 5484 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5065.484
AT ITER 9777 NEW BEST:: SOT 27216 SOS 5477 HAS SOPS 5477 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5058.477
AT ITER 9798 NEW BEST:: SOT 27213 SOS 5465 HAS SOPS 5465 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5049.465
AT ITER 9882 NEW BEST:: SOT 27211 SOS 5461 HAS SOPS 5461 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5047.461
AT ITER 9887 NEW BEST:: SOT 27208 SOS 5458 HAS SOPS 5458 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5041.458
AT ITER 9890 NEW BEST:: SOT 27207 SOS 5455 HAS SOPS 5455 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5040.455
AT ITER 9926 NEW BEST:: SOT 27189 SOS 5443 HAS SOPS 5443 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5028.443
AT ITER 9995 NEW BEST:: SOT 27179 SOS 5433 HAS SOPS 5433 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5013.433
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7438348 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150652 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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="ShieldPPPt-PT-003B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 ShieldPPPt-PT-003B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r387-oct2-167903712000576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-003B.tgz
mv ShieldPPPt-PT-003B execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;