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.r451-smll-167912643700568.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 StigmergyElection-PT-02b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643700568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 6.3K Feb 26 16:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 16:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 16:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 16:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 16:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 26 16:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 16:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 26 16:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 71K 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 1679317867279

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=StigmergyElection-PT-02b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (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: 291 places, 332 transitions, 734 arcs.
AT ITER 0 NEW BEST:: SOT 54333 SOS 10063 HAS SOPS 10063 HAS SOUS 9659 HAS SOUPS 9659 WITH SCORE 9669.063
AT ITER 14 NEW BEST:: SOT 54333 SOS 10119 HAS SOPS 10119 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9641.119
AT ITER 45 NEW BEST:: SOT 54333 SOS 10116 HAS SOPS 10116 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9641.116
AT ITER 65 NEW BEST:: SOT 54267 SOS 10098 HAS SOPS 10098 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9586.098
AT ITER 74 NEW BEST:: SOT 54154 SOS 10008 HAS SOPS 10008 HAS SOUS 9463 HAS SOUPS 9463 WITH SCORE 9473.008
AT ITER 87 NEW BEST:: SOT 54154 SOS 9990 HAS SOPS 9990 HAS SOUS 9463 HAS SOUPS 9463 WITH SCORE 9472.99
AT ITER 107 NEW BEST:: SOT 54153 SOS 10000 HAS SOPS 10000 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9471.0
AT ITER 108 NEW BEST:: SOT 54152 SOS 9998 HAS SOPS 9998 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9468.998
AT ITER 188 NEW BEST:: SOT 54151 SOS 9996 HAS SOPS 9996 HAS SOUS 9457 HAS SOUPS 9457 WITH SCORE 9466.996
AT ITER 215 NEW BEST:: SOT 54150 SOS 9994 HAS SOPS 9994 HAS SOUS 9455 HAS SOUPS 9455 WITH SCORE 9464.994
AT ITER 217 NEW BEST:: SOT 54136 SOS 9966 HAS SOPS 9966 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9436.966
AT ITER 221 NEW BEST:: SOT 54132 SOS 9958 HAS SOPS 9958 HAS SOUS 9422 HAS SOUPS 9422 WITH SCORE 9431.958
AT ITER 264 NEW BEST:: SOT 54116 SOS 9942 HAS SOPS 9942 HAS SOUS 9390 HAS SOUPS 9390 WITH SCORE 9399.942
AT ITER 283 NEW BEST:: SOT 54116 SOS 9937 HAS SOPS 9937 HAS SOUS 9390 HAS SOUPS 9390 WITH SCORE 9399.937
AT ITER 285 NEW BEST:: SOT 54116 SOS 9928 HAS SOPS 9928 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9390.928
AT ITER 296 NEW BEST:: SOT 54089 SOS 9901 HAS SOPS 9901 HAS SOUS 9354 HAS SOUPS 9354 WITH SCORE 9363.901
AT ITER 297 NEW BEST:: SOT 54081 SOS 9885 HAS SOPS 9885 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9347.885
AT ITER 301 NEW BEST:: SOT 54060 SOS 9843 HAS SOPS 9843 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9305.843
AT ITER 308 NEW BEST:: SOT 54046 SOS 9838 HAS SOPS 9838 HAS SOUS 9282 HAS SOUPS 9282 WITH SCORE 9291.838
AT ITER 336 NEW BEST:: SOT 54002 SOS 9750 HAS SOPS 9750 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9203.75
AT ITER 351 NEW BEST:: SOT 53995 SOS 9740 HAS SOPS 9740 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9198.74
AT ITER 392 NEW BEST:: SOT 53980 SOS 9710 HAS SOPS 9710 HAS SOUS 9159 HAS SOUPS 9159 WITH SCORE 9168.71
AT ITER 397 NEW BEST:: SOT 53979 SOS 9708 HAS SOPS 9708 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9166.708
AT ITER 448 NEW BEST:: SOT 53964 SOS 9678 HAS SOPS 9678 HAS SOUS 9127 HAS SOUPS 9127 WITH SCORE 9136.678
AT ITER 459 NEW BEST:: SOT 53935 SOS 9620 HAS SOPS 9620 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9078.62
AT ITER 474 NEW BEST:: SOT 53914 SOS 9578 HAS SOPS 9578 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9057.578
AT ITER 487 NEW BEST:: SOT 53903 SOS 9566 HAS SOPS 9566 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9045.566
AT ITER 591 NEW BEST:: SOT 53902 SOS 9564 HAS SOPS 9564 HAS SOUS 9034 HAS SOUPS 9034 WITH SCORE 9043.564
AT ITER 623 NEW BEST:: SOT 53892 SOS 9544 HAS SOPS 9544 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9023.544
AT ITER 639 NEW BEST:: SOT 53887 SOS 9539 HAS SOPS 9539 HAS SOUS 9009 HAS SOUPS 9009 WITH SCORE 9018.539
AT ITER 669 NEW BEST:: SOT 53886 SOS 9537 HAS SOPS 9537 HAS SOUS 9007 HAS SOUPS 9007 WITH SCORE 9016.537
AT ITER 697 NEW BEST:: SOT 53868 SOS 9519 HAS SOPS 9519 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 8998.519
AT ITER 714 NEW BEST:: SOT 53866 SOS 9513 HAS SOPS 9513 HAS SOUS 8987 HAS SOUPS 8987 WITH SCORE 8996.513
AT ITER 736 NEW BEST:: SOT 53865 SOS 9511 HAS SOPS 9511 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8994.511
AT ITER 738 NEW BEST:: SOT 53676 SOS 10296 HAS SOPS 10296 HAS SOUS 8855 HAS SOUPS 8855 WITH SCORE 8865.296
AT ITER 758 NEW BEST:: SOT 53667 SOS 10246 HAS SOPS 10246 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8847.246
AT ITER 760 NEW BEST:: SOT 53632 SOS 10188 HAS SOPS 10188 HAS SOUS 8802 HAS SOUPS 8802 WITH SCORE 8812.188
AT ITER 764 NEW BEST:: SOT 53632 SOS 10187 HAS SOPS 10187 HAS SOUS 8802 HAS SOUPS 8802 WITH SCORE 8812.187
AT ITER 826 NEW BEST:: SOT 53298 SOS 11930 HAS SOPS 11930 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8721.93
AT ITER 831 NEW BEST:: SOT 53283 SOS 11414 HAS SOPS 11414 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8691.414
AT ITER 859 NEW BEST:: SOT 53272 SOS 11392 HAS SOPS 11392 HAS SOUS 8669 HAS SOUPS 8669 WITH SCORE 8680.392
AT ITER 862 NEW BEST:: SOT 53258 SOS 11364 HAS SOPS 11364 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8678.364
AT ITER 893 NEW BEST:: SOT 53258 SOS 11292 HAS SOPS 11292 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8678.292
AT ITER 896 NEW BEST:: SOT 53249 SOS 11283 HAS SOPS 11283 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8678.283
AT ITER 947 NEW BEST:: SOT 53233 SOS 11259 HAS SOPS 11259 HAS SOUS 8651 HAS SOUPS 8651 WITH SCORE 8662.259
AT ITER 968 NEW BEST:: SOT 53245 SOS 10633 HAS SOPS 10633 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8652.633
AT ITER 977 NEW BEST:: SOT 53212 SOS 10567 HAS SOPS 10567 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8618.567
AT ITER 988 NEW BEST:: SOT 53212 SOS 10567 HAS SOPS 10567 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8610.567
AT ITER 1019 NEW BEST:: SOT 53203 SOS 10207 HAS SOPS 10207 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8582.207
AT ITER 1040 NEW BEST:: SOT 53202 SOS 10205 HAS SOPS 10205 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8580.205
AT ITER 1046 NEW BEST:: SOT 53198 SOS 10197 HAS SOPS 10197 HAS SOUS 8566 HAS SOUPS 8566 WITH SCORE 8576.197
AT ITER 1089 NEW BEST:: SOT 53180 SOS 10183 HAS SOPS 10183 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8572.183
AT ITER 1093 NEW BEST:: SOT 53180 SOS 10167 HAS SOPS 10167 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8556.167
AT ITER 1098 NEW BEST:: SOT 53174 SOS 10162 HAS SOPS 10162 HAS SOUS 8542 HAS SOUPS 8542 WITH SCORE 8552.162
AT ITER 1100 NEW BEST:: SOT 53172 SOS 10158 HAS SOPS 10158 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8548.158
AT ITER 1101 NEW BEST:: SOT 53181 SOS 10176 HAS SOPS 10176 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8545.176
AT ITER 1104 NEW BEST:: SOT 53198 SOS 10210 HAS SOPS 10210 HAS SOUS 8520 HAS SOUPS 8520 WITH SCORE 8530.21
AT ITER 1120 NEW BEST:: SOT 53192 SOS 10198 HAS SOPS 10198 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8518.198
AT ITER 1123 NEW BEST:: SOT 53191 SOS 10196 HAS SOPS 10196 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8516.196
AT ITER 1128 NEW BEST:: SOT 53173 SOS 10160 HAS SOPS 10160 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8505.16
AT ITER 1129 NEW BEST:: SOT 53127 SOS 10068 HAS SOPS 10068 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8475.068
AT ITER 1156 NEW BEST:: SOT 53120 SOS 10048 HAS SOPS 10048 HAS SOUS 8458 HAS SOUPS 8458 WITH SCORE 8468.048
AT ITER 1164 NEW BEST:: SOT 53119 SOS 10046 HAS SOPS 10046 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8466.046
AT ITER 1175 NEW BEST:: SOT 53103 SOS 10022 HAS SOPS 10022 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8442.022
AT ITER 1183 NEW BEST:: SOT 53103 SOS 10022 HAS SOPS 10022 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8441.022
AT ITER 1196 NEW BEST:: SOT 53102 SOS 9991 HAS SOPS 9991 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8423.991
AT ITER 1309 NEW BEST:: SOT 53115 SOS 9974 HAS SOPS 9974 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8420.974
AT ITER 1314 NEW BEST:: SOT 53115 SOS 9967 HAS SOPS 9967 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8420.967
AT ITER 1344 NEW BEST:: SOT 53115 SOS 9953 HAS SOPS 9953 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8420.953
AT ITER 1433 NEW BEST:: SOT 53094 SOS 9957 HAS SOPS 9957 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8412.957
AT ITER 1436 NEW BEST:: SOT 53067 SOS 9945 HAS SOPS 9945 HAS SOUS 8373 HAS SOUPS 8373 WITH SCORE 8382.945
AT ITER 1450 NEW BEST:: SOT 53064 SOS 9939 HAS SOPS 9939 HAS SOUS 8367 HAS SOUPS 8367 WITH SCORE 8376.939
AT ITER 1467 NEW BEST:: SOT 53065 SOS 9921 HAS SOPS 9921 HAS SOUS 8367 HAS SOUPS 8367 WITH SCORE 8376.921
AT ITER 1474 NEW BEST:: SOT 53055 SOS 9901 HAS SOPS 9901 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8356.901
AT ITER 1478 NEW BEST:: SOT 53041 SOS 9895 HAS SOPS 9895 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8347.895
AT ITER 1489 NEW BEST:: SOT 53025 SOS 9863 HAS SOPS 9863 HAS SOUS 8335 HAS SOUPS 8335 WITH SCORE 8344.863
AT ITER 1508 NEW BEST:: SOT 53024 SOS 9861 HAS SOPS 9861 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8342.861
AT ITER 1519 NEW BEST:: SOT 53019 SOS 9851 HAS SOPS 9851 HAS SOUS 8323 HAS SOUPS 8323 WITH SCORE 8332.851
AT ITER 1523 NEW BEST:: SOT 53007 SOS 9815 HAS SOPS 9815 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8320.815
AT ITER 1526 NEW BEST:: SOT 52983 SOS 9767 HAS SOPS 9767 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8272.767
AT ITER 1564 NEW BEST:: SOT 52968 SOS 9737 HAS SOPS 9737 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8242.737
AT ITER 1565 NEW BEST:: SOT 52971 SOS 9743 HAS SOPS 9743 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8232.743
AT ITER 1568 NEW BEST:: SOT 52967 SOS 9735 HAS SOPS 9735 HAS SOUS 8215 HAS SOUPS 8215 WITH SCORE 8224.735
AT ITER 1587 NEW BEST:: SOT 52936 SOS 9673 HAS SOPS 9673 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8193.673
AT ITER 1611 NEW BEST:: SOT 52931 SOS 9663 HAS SOPS 9663 HAS SOUS 8179 HAS SOUPS 8179 WITH SCORE 8188.663
AT ITER 1641 NEW BEST:: SOT 52911 SOS 9640 HAS SOPS 9640 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8151.64
AT ITER 1663 NEW BEST:: SOT 52882 SOS 9605 HAS SOPS 9605 HAS SOUS 8104 HAS SOUPS 8104 WITH SCORE 8113.605
AT ITER 1669 NEW BEST:: SOT 52882 SOS 9596 HAS SOPS 9596 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8104.596
AT ITER 1684 NEW BEST:: SOT 52879 SOS 9593 HAS SOPS 9593 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8101.593
AT ITER 1689 NEW BEST:: SOT 52885 SOS 9679 HAS SOPS 9679 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8084.679
AT ITER 1706 NEW BEST:: SOT 52884 SOS 9677 HAS SOPS 9677 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8082.677
AT ITER 1707 NEW BEST:: SOT 52875 SOS 9659 HAS SOPS 9659 HAS SOUS 8046 HAS SOUPS 8046 WITH SCORE 8055.659
AT ITER 1758 NEW BEST:: SOT 52864 SOS 9653 HAS SOPS 9653 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8049.653
AT ITER 1778 NEW BEST:: SOT 52861 SOS 9656 HAS SOPS 9656 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8046.656
AT ITER 1779 NEW BEST:: SOT 52861 SOS 9652 HAS SOPS 9652 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8042.652
AT ITER 1797 NEW BEST:: SOT 52861 SOS 9652 HAS SOPS 9652 HAS SOUS 8016 HAS SOUPS 8016 WITH SCORE 8025.652
AT ITER 1804 NEW BEST:: SOT 52856 SOS 9647 HAS SOPS 9647 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8024.647
AT ITER 1810 NEW BEST:: SOT 52856 SOS 9641 HAS SOPS 9641 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8024.641
AT ITER 1834 NEW BEST:: SOT 52860 SOS 9379 HAS SOPS 9379 HAS SOUS 8004 HAS SOUPS 8004 WITH SCORE 8013.379
AT ITER 1849 NEW BEST:: SOT 52860 SOS 9372 HAS SOPS 9372 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8007.372
AT ITER 1897 NEW BEST:: SOT 52859 SOS 9370 HAS SOPS 9370 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8005.37
AT ITER 1933 NEW BEST:: SOT 52847 SOS 9351 HAS SOPS 9351 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8005.351
AT ITER 1936 NEW BEST:: SOT 52730 SOS 9933 HAS SOPS 9933 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7961.933
AT ITER 1937 NEW BEST:: SOT 52729 SOS 9931 HAS SOPS 9931 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7959.931
AT ITER 1945 NEW BEST:: SOT 52711 SOS 9913 HAS SOPS 9913 HAS SOUS 7932 HAS SOUPS 7932 WITH SCORE 7941.913
AT ITER 1982 NEW BEST:: SOT 52698 SOS 9917 HAS SOPS 9917 HAS SOUS 7922 HAS SOUPS 7922 WITH SCORE 7931.917
AT ITER 1994 NEW BEST:: SOT 52698 SOS 9915 HAS SOPS 9915 HAS SOUS 7922 HAS SOUPS 7922 WITH SCORE 7931.915
AT ITER 2022 NEW BEST:: SOT 52698 SOS 9910 HAS SOPS 9910 HAS SOUS 7922 HAS SOUPS 7922 WITH SCORE 7931.91
AT ITER 2069 NEW BEST:: SOT 52693 SOS 9905 HAS SOPS 9905 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7921.905
AT ITER 2078 NEW BEST:: SOT 52688 SOS 9895 HAS SOPS 9895 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7911.895
AT ITER 2121 NEW BEST:: SOT 52677 SOS 9873 HAS SOPS 9873 HAS SOUS 7891 HAS SOUPS 7891 WITH SCORE 7900.873
AT ITER 2159 NEW BEST:: SOT 52677 SOS 9916 HAS SOPS 9916 HAS SOUS 7876 HAS SOUPS 7876 WITH SCORE 7885.916
AT ITER 2168 NEW BEST:: SOT 52688 SOS 9903 HAS SOPS 9903 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7877.903
AT ITER 2173 NEW BEST:: SOT 52680 SOS 9887 HAS SOPS 9887 HAS SOUS 7852 HAS SOUPS 7852 WITH SCORE 7861.887
AT ITER 2182 NEW BEST:: SOT 52672 SOS 10009 HAS SOPS 10009 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7860.009
AT ITER 2210 NEW BEST:: SOT 52618 SOS 9917 HAS SOPS 9917 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7830.917
AT ITER 2218 NEW BEST:: SOT 52600 SOS 9895 HAS SOPS 9895 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7808.895
AT ITER 2235 NEW BEST:: SOT 52589 SOS 9873 HAS SOPS 9873 HAS SOUS 7767 HAS SOUPS 7767 WITH SCORE 7776.873
AT ITER 2313 NEW BEST:: SOT 52541 SOS 9975 HAS SOPS 9975 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7761.975
AT ITER 2316 NEW BEST:: SOT 52516 SOS 9925 HAS SOPS 9925 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7736.925
AT ITER 2393 NEW BEST:: SOT 52516 SOS 9925 HAS SOPS 9925 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7699.925
AT ITER 2455 NEW BEST:: SOT 52523 SOS 9939 HAS SOPS 9939 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7697.939
AT ITER 2457 NEW BEST:: SOT 52513 SOS 9919 HAS SOPS 9919 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7693.919
AT ITER 2493 NEW BEST:: SOT 52500 SOS 9891 HAS SOPS 9891 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7690.891
AT ITER 2521 NEW BEST:: SOT 52501 SOS 9883 HAS SOPS 9883 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7682.883
AT ITER 2539 NEW BEST:: SOT 52497 SOS 9875 HAS SOPS 9875 HAS SOUS 7665 HAS SOUPS 7665 WITH SCORE 7674.875
AT ITER 2554 NEW BEST:: SOT 52494 SOS 9870 HAS SOPS 9870 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7670.87
AT ITER 2559 NEW BEST:: SOT 52489 SOS 9851 HAS SOPS 9851 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7656.851
AT ITER 2573 NEW BEST:: SOT 52463 SOS 9825 HAS SOPS 9825 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7644.825
AT ITER 2575 NEW BEST:: SOT 52457 SOS 9813 HAS SOPS 9813 HAS SOUS 7623 HAS SOUPS 7623 WITH SCORE 7632.813
AT ITER 2579 NEW BEST:: SOT 52457 SOS 9812 HAS SOPS 9812 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7630.812
AT ITER 2599 NEW BEST:: SOT 52450 SOS 9798 HAS SOPS 9798 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7616.798
AT ITER 2677 NEW BEST:: SOT 52450 SOS 9797 HAS SOPS 9797 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7616.797
AT ITER 2931 NEW BEST:: SOT 52422 SOS 9741 HAS SOPS 9741 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7592.741
AT ITER 3106 NEW BEST:: SOT 52410 SOS 9717 HAS SOPS 9717 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7575.717
AT ITER 3111 NEW BEST:: SOT 52391 SOS 9679 HAS SOPS 9679 HAS SOUS 7547 HAS SOUPS 7547 WITH SCORE 7556.679
AT ITER 3116 NEW BEST:: SOT 52391 SOS 9575 HAS SOPS 9575 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7546.575
AT ITER 3159 NEW BEST:: SOT 52388 SOS 9569 HAS SOPS 9569 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7540.569
AT ITER 3171 NEW BEST:: SOT 52380 SOS 9553 HAS SOPS 9553 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7532.553
AT ITER 3199 NEW BEST:: SOT 52369 SOS 9531 HAS SOPS 9531 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7517.531
AT ITER 3299 NEW BEST:: SOT 52369 SOS 9531 HAS SOPS 9531 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7516.531
AT ITER 3301 NEW BEST:: SOT 52366 SOS 9522 HAS SOPS 9522 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7515.522
AT ITER 3331 NEW BEST:: SOT 52353 SOS 9496 HAS SOPS 9496 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7489.496
AT ITER 3359 NEW BEST:: SOT 52351 SOS 9490 HAS SOPS 9490 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7483.49
AT ITER 3404 NEW BEST:: SOT 52339 SOS 9466 HAS SOPS 9466 HAS SOUS 7450 HAS SOUPS 7450 WITH SCORE 7459.466
AT ITER 3477 NEW BEST:: SOT 52342 SOS 9404 HAS SOPS 9404 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7454.404
AT ITER 3490 NEW BEST:: SOT 52339 SOS 9398 HAS SOPS 9398 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7451.398
AT ITER 3495 NEW BEST:: SOT 52338 SOS 9398 HAS SOPS 9398 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7449.398
AT ITER 3563 NEW BEST:: SOT 52315 SOS 9352 HAS SOPS 9352 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7430.352
AT ITER 3673 NEW BEST:: SOT 52316 SOS 9354 HAS SOPS 9354 HAS SOUS 7418 HAS SOUPS 7418 WITH SCORE 7427.354
AT ITER 3695 NEW BEST:: SOT 52312 SOS 9346 HAS SOPS 9346 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7419.346
AT ITER 3706 NEW BEST:: SOT 52310 SOS 9342 HAS SOPS 9342 HAS SOUS 7406 HAS SOUPS 7406 WITH SCORE 7415.342
AT ITER 3711 NEW BEST:: SOT 52307 SOS 9333 HAS SOPS 9333 HAS SOUS 7400 HAS SOUPS 7400 WITH SCORE 7409.333
AT ITER 3717 NEW BEST:: SOT 52301 SOS 9327 HAS SOPS 9327 HAS SOUS 7397 HAS SOUPS 7397 WITH SCORE 7406.327
AT ITER 3801 NEW BEST:: SOT 52298 SOS 9324 HAS SOPS 9324 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7403.324
AT ITER 3870 NEW BEST:: SOT 52296 SOS 9320 HAS SOPS 9320 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7399.32
AT ITER 3872 NEW BEST:: SOT 52291 SOS 9286 HAS SOPS 9286 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7389.286
AT ITER 3911 NEW BEST:: SOT 52291 SOS 9269 HAS SOPS 9269 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7389.269
AT ITER 4003 NEW BEST:: SOT 52275 SOS 9237 HAS SOPS 9237 HAS SOUS 7364 HAS SOUPS 7364 WITH SCORE 7373.237
AT ITER 4008 NEW BEST:: SOT 52275 SOS 9234 HAS SOPS 9234 HAS SOUS 7364 HAS SOUPS 7364 WITH SCORE 7373.234
AT ITER 4095 NEW BEST:: SOT 52260 SOS 9229 HAS SOPS 9229 HAS SOUS 7363 HAS SOUPS 7363 WITH SCORE 7372.229
AT ITER 4102 NEW BEST:: SOT 52247 SOS 9203 HAS SOPS 9203 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7346.203
AT ITER 4236 NEW BEST:: SOT 52245 SOS 9201 HAS SOPS 9201 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7344.201
AT ITER 4240 NEW BEST:: SOT 52243 SOS 9199 HAS SOPS 9199 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7342.199
AT ITER 4246 NEW BEST:: SOT 52242 SOS 9198 HAS SOPS 9198 HAS SOUS 7332 HAS SOUPS 7332 WITH SCORE 7341.198
AT ITER 4309 NEW BEST:: SOT 52242 SOS 9198 HAS SOPS 9198 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7340.198
AT ITER 4318 NEW BEST:: SOT 52235 SOS 9184 HAS SOPS 9184 HAS SOUS 7317 HAS SOUPS 7317 WITH SCORE 7326.184
AT ITER 4360 NEW BEST:: SOT 52233 SOS 9180 HAS SOPS 9180 HAS SOUS 7303 HAS SOUPS 7303 WITH SCORE 7312.18
AT ITER 4372 NEW BEST:: SOT 52231 SOS 9176 HAS SOPS 9176 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7300.176
AT ITER 4373 NEW BEST:: SOT 52212 SOS 9118 HAS SOPS 9118 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7281.118
AT ITER 4399 NEW BEST:: SOT 52209 SOS 9112 HAS SOPS 9112 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7266.112
AT ITER 4430 NEW BEST:: SOT 52185 SOS 9064 HAS SOPS 9064 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7220.064
AT ITER 4498 NEW BEST:: SOT 52182 SOS 9056 HAS SOPS 9056 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7209.056
AT ITER 4504 NEW BEST:: SOT 52172 SOS 9036 HAS SOPS 9036 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7199.036
AT ITER 4508 NEW BEST:: SOT 52160 SOS 9012 HAS SOPS 9012 HAS SOUS 7166 HAS SOUPS 7166 WITH SCORE 7175.012
AT ITER 4510 NEW BEST:: SOT 52153 SOS 8996 HAS SOPS 8996 HAS SOUS 7149 HAS SOUPS 7149 WITH SCORE 7157.996
AT ITER 4567 NEW BEST:: SOT 52153 SOS 8996 HAS SOPS 8996 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7156.996
AT ITER 4570 NEW BEST:: SOT 52154 SOS 8998 HAS SOPS 8998 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7153.998
AT ITER 4571 NEW BEST:: SOT 52152 SOS 8994 HAS SOPS 8994 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7152.994
AT ITER 4658 NEW BEST:: SOT 52153 SOS 8996 HAS SOPS 8996 HAS SOUS 7133 HAS SOUPS 7133 WITH SCORE 7141.996
AT ITER 4662 NEW BEST:: SOT 52160 SOS 8972 HAS SOPS 8972 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7129.972
AT ITER 4696 NEW BEST:: SOT 52152 SOS 8963 HAS SOPS 8963 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7119.963
AT ITER 4702 NEW BEST:: SOT 52150 SOS 8960 HAS SOPS 8960 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7116.96
AT ITER 4847 NEW BEST:: SOT 52147 SOS 8973 HAS SOPS 8973 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7111.973
AT ITER 4855 NEW BEST:: SOT 52142 SOS 8968 HAS SOPS 8968 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7106.968
AT ITER 4895 NEW BEST:: SOT 52139 SOS 8956 HAS SOPS 8956 HAS SOUS 7086 HAS SOUPS 7086 WITH SCORE 7094.956
AT ITER 4909 NEW BEST:: SOT 52139 SOS 8956 HAS SOPS 8956 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7067.956
AT ITER 4915 NEW BEST:: SOT 52137 SOS 8949 HAS SOPS 8949 HAS SOUS 7057 HAS SOUPS 7057 WITH SCORE 7065.949
AT ITER 4934 NEW BEST:: SOT 52132 SOS 8939 HAS SOPS 8939 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7057.939
AT ITER 4968 NEW BEST:: SOT 52118 SOS 8918 HAS SOPS 8918 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7036.918
AT ITER 4969 NEW BEST:: SOT 52104 SOS 8890 HAS SOPS 8890 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7008.89
AT ITER 4984 NEW BEST:: SOT 52104 SOS 8890 HAS SOPS 8890 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7007.89
AT ITER 5079 NEW BEST:: SOT 52096 SOS 8874 HAS SOPS 8874 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6991.874
AT ITER 5169 NEW BEST:: SOT 52070 SOS 8822 HAS SOPS 8822 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6979.822
AT ITER 5194 NEW BEST:: SOT 52061 SOS 8804 HAS SOPS 8804 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6961.804
AT ITER 5258 NEW BEST:: SOT 52063 SOS 8806 HAS SOPS 8806 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6957.806
AT ITER 5266 NEW BEST:: SOT 52061 SOS 8802 HAS SOPS 8802 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6953.802
AT ITER 5408 NEW BEST:: SOT 52055 SOS 8790 HAS SOPS 8790 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6941.79
AT ITER 5488 NEW BEST:: SOT 52038 SOS 8756 HAS SOPS 8756 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6932.756
AT ITER 5502 NEW BEST:: SOT 52034 SOS 8748 HAS SOPS 8748 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6931.748
AT ITER 5609 NEW BEST:: SOT 52022 SOS 8724 HAS SOPS 8724 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6920.724
AT ITER 5628 NEW BEST:: SOT 52022 SOS 8724 HAS SOPS 8724 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6917.724
AT ITER 5681 NEW BEST:: SOT 52027 SOS 8734 HAS SOPS 8734 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6894.734
AT ITER 5684 NEW BEST:: SOT 52023 SOS 8726 HAS SOPS 8726 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6890.726
AT ITER 5717 NEW BEST:: SOT 52022 SOS 8725 HAS SOPS 8725 HAS SOUS 6880 HAS SOUPS 6880 WITH SCORE 6888.725
AT ITER 5721 NEW BEST:: SOT 52021 SOS 8723 HAS SOPS 8723 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6886.723
AT ITER 5990 NEW BEST:: SOT 52018 SOS 8717 HAS SOPS 8717 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6880.717
AT ITER 6018 NEW BEST:: SOT 52016 SOS 8711 HAS SOPS 8711 HAS SOUS 6866 HAS SOUPS 6866 WITH SCORE 6874.711
AT ITER 6022 NEW BEST:: SOT 52016 SOS 8654 HAS SOPS 8654 HAS SOUS 6866 HAS SOUPS 6866 WITH SCORE 6874.654
AT ITER 6133 NEW BEST:: SOT 51990 SOS 8602 HAS SOPS 8602 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6850.602
AT ITER 6155 NEW BEST:: SOT 51990 SOS 8589 HAS SOPS 8589 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6850.589
AT ITER 6196 NEW BEST:: SOT 51988 SOS 8585 HAS SOPS 8585 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6846.585
AT ITER 6209 NEW BEST:: SOT 51983 SOS 8575 HAS SOPS 8575 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6836.575
AT ITER 6286 NEW BEST:: SOT 51982 SOS 8573 HAS SOPS 8573 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6834.573
AT ITER 6310 NEW BEST:: SOT 51979 SOS 8569 HAS SOPS 8569 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6830.569
AT ITER 6359 NEW BEST:: SOT 51974 SOS 8559 HAS SOPS 8559 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6826.559
AT ITER 6374 NEW BEST:: SOT 51970 SOS 8547 HAS SOPS 8547 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6814.547
AT ITER 6450 NEW BEST:: SOT 51942 SOS 8491 HAS SOPS 8491 HAS SOUS 6795 HAS SOUPS 6795 WITH SCORE 6803.491
AT ITER 6558 NEW BEST:: SOT 51939 SOS 8503 HAS SOPS 8503 HAS SOUS 6793 HAS SOUPS 6793 WITH SCORE 6801.503
AT ITER 6621 NEW BEST:: SOT 51932 SOS 8496 HAS SOPS 8496 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6794.496
AT ITER 6634 NEW BEST:: SOT 51907 SOS 8446 HAS SOPS 8446 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6772.446
AT ITER 6680 NEW BEST:: SOT 51890 SOS 8412 HAS SOPS 8412 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6738.412
AT ITER 6828 NEW BEST:: SOT 51888 SOS 8408 HAS SOPS 8408 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6736.408
AT ITER 6910 NEW BEST:: SOT 51887 SOS 8406 HAS SOPS 8406 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6734.406
AT ITER 6958 NEW BEST:: SOT 51873 SOS 8392 HAS SOPS 8392 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6717.392
AT ITER 6993 NEW BEST:: SOT 51872 SOS 8377 HAS SOPS 8377 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6715.377
AT ITER 7104 NEW BEST:: SOT 51872 SOS 8371 HAS SOPS 8371 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6715.371
AT ITER 7110 NEW BEST:: SOT 51872 SOS 8343 HAS SOPS 8343 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6715.343
AT ITER 7131 NEW BEST:: SOT 51885 SOS 8365 HAS SOPS 8365 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6687.365
AT ITER 7202 NEW BEST:: SOT 51877 SOS 8341 HAS SOPS 8341 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6677.341
AT ITER 7218 NEW BEST:: SOT 51876 SOS 8339 HAS SOPS 8339 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6676.339
AT ITER 7229 NEW BEST:: SOT 51877 SOS 8341 HAS SOPS 8341 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6668.341
AT ITER 7349 NEW BEST:: SOT 51875 SOS 8337 HAS SOPS 8337 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6664.337
AT ITER 7553 NEW BEST:: SOT 51874 SOS 8335 HAS SOPS 8335 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6663.335
AT ITER 7564 NEW BEST:: SOT 51871 SOS 8332 HAS SOPS 8332 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6663.332
AT ITER 7573 NEW BEST:: SOT 51868 SOS 8331 HAS SOPS 8331 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6662.331
AT ITER 7603 NEW BEST:: SOT 51830 SOS 8272 HAS SOPS 8272 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6624.272
AT ITER 7629 NEW BEST:: SOT 51824 SOS 8260 HAS SOPS 8260 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6618.26
AT ITER 7663 NEW BEST:: SOT 51822 SOS 8256 HAS SOPS 8256 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6614.256
AT ITER 7714 NEW BEST:: SOT 51822 SOS 8248 HAS SOPS 8248 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6614.248
AT ITER 7770 NEW BEST:: SOT 51822 SOS 8245 HAS SOPS 8245 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6611.245
AT ITER 7803 NEW BEST:: SOT 51816 SOS 8226 HAS SOPS 8226 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6611.226
AT ITER 7898 NEW BEST:: SOT 51817 SOS 8228 HAS SOPS 8228 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6609.228
AT ITER 7960 NEW BEST:: SOT 51815 SOS 8224 HAS SOPS 8224 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6605.224
AT ITER 8055 NEW BEST:: SOT 51813 SOS 8220 HAS SOPS 8220 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6601.22
AT ITER 8235 NEW BEST:: SOT 51805 SOS 8212 HAS SOPS 8212 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6593.212
AT ITER 8309 NEW BEST:: SOT 51805 SOS 8208 HAS SOPS 8208 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6593.208
AT ITER 8371 NEW BEST:: SOT 51804 SOS 8206 HAS SOPS 8206 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6591.206
AT ITER 8409 NEW BEST:: SOT 51802 SOS 8203 HAS SOPS 8203 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6588.203
AT ITER 8457 NEW BEST:: SOT 51790 SOS 8187 HAS SOPS 8187 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6572.187
AT ITER 8524 NEW BEST:: SOT 51794 SOS 8210 HAS SOPS 8210 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6565.21
AT ITER 8554 NEW BEST:: SOT 51794 SOS 8210 HAS SOPS 8210 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6564.21
AT ITER 8578 NEW BEST:: SOT 51791 SOS 8204 HAS SOPS 8204 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6558.204
AT ITER 8709 NEW BEST:: SOT 51787 SOS 8196 HAS SOPS 8196 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6550.196
AT ITER 8759 NEW BEST:: SOT 51787 SOS 8196 HAS SOPS 8196 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6549.196
AT ITER 8792 NEW BEST:: SOT 51784 SOS 8194 HAS SOPS 8194 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6545.194
AT ITER 8819 NEW BEST:: SOT 51778 SOS 8182 HAS SOPS 8182 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6539.182
AT ITER 8821 NEW BEST:: SOT 51761 SOS 8156 HAS SOPS 8156 HAS SOUS 6523 HAS SOUPS 6523 WITH SCORE 6531.156
AT ITER 8972 NEW BEST:: SOT 51761 SOS 8156 HAS SOPS 8156 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6529.156
AT ITER 8976 NEW BEST:: SOT 51760 SOS 8150 HAS SOPS 8150 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6527.15
AT ITER 8991 NEW BEST:: SOT 51754 SOS 8135 HAS SOPS 8135 HAS SOUS 6513 HAS SOUPS 6513 WITH SCORE 6521.135
AT ITER 9053 NEW BEST:: SOT 51754 SOS 8122 HAS SOPS 8122 HAS SOUS 6513 HAS SOUPS 6513 WITH SCORE 6521.122
AT ITER 9140 NEW BEST:: SOT 51753 SOS 8112 HAS SOPS 8112 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6518.112
AT ITER 9177 NEW BEST:: SOT 51750 SOS 8106 HAS SOPS 8106 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6515.106
AT ITER 9243 NEW BEST:: SOT 51746 SOS 8098 HAS SOPS 8098 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6507.098
AT ITER 9316 NEW BEST:: SOT 51745 SOS 8096 HAS SOPS 8096 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6505.096
AT ITER 9318 NEW BEST:: SOT 51737 SOS 8086 HAS SOPS 8086 HAS SOUS 6487 HAS SOUPS 6487 WITH SCORE 6495.086
AT ITER 9481 NEW BEST:: SOT 51736 SOS 8084 HAS SOPS 8084 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6493.084
AT ITER 9515 NEW BEST:: SOT 51730 SOS 8072 HAS SOPS 8072 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6481.072
AT ITER 9516 NEW BEST:: SOT 51720 SOS 8052 HAS SOPS 8052 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6461.052
AT ITER 9639 NEW BEST:: SOT 51718 SOS 8048 HAS SOPS 8048 HAS SOUS 6449 HAS SOUPS 6449 WITH SCORE 6457.048
AT ITER 9652 NEW BEST:: SOT 51709 SOS 8030 HAS SOPS 8030 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6448.03
AT ITER 9751 NEW BEST:: SOT 51707 SOS 8026 HAS SOPS 8026 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6444.026
AT ITER 9752 NEW BEST:: SOT 51701 SOS 8024 HAS SOPS 8024 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6440.024
AT ITER 9911 NEW BEST:: SOT 51673 SOS 8256 HAS SOPS 8256 HAS SOUS 6422 HAS SOUPS 6422 WITH SCORE 6430.256
AT ITER 9950 NEW BEST:: SOT 51670 SOS 8249 HAS SOPS 8249 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6425.249
STATE_SPACE STATES 216668 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 3 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 644026 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679317878497

--------------------
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="StigmergyElection-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 StigmergyElection-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 r451-smll-167912643700568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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