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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 6.4K Feb 25 20:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 20:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 20:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 20:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 8.3K Feb 25 20:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 20:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 20:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 20:51 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 92K 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 1679067715534

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-005B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 005B
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: 393 places, 358 transitions, 896 arcs.
AT ITER 0 NEW BEST:: SOT 77150 SOS 20642 HAS SOPS 20642 HAS SOUS 19102 HAS SOUPS 19102 WITH SCORE 19122.642
AT ITER 8 NEW BEST:: SOT 77150 SOS 20598 HAS SOPS 20598 HAS SOUS 19090 HAS SOUPS 19090 WITH SCORE 19110.598
AT ITER 11 NEW BEST:: SOT 77117 SOS 20565 HAS SOPS 20565 HAS SOUS 19057 HAS SOUPS 19057 WITH SCORE 19077.565
AT ITER 27 NEW BEST:: SOT 77051 SOS 20564 HAS SOPS 20564 HAS SOUS 19056 HAS SOUPS 19056 WITH SCORE 19076.564
AT ITER 33 NEW BEST:: SOT 77028 SOS 20559 HAS SOPS 20559 HAS SOUS 19053 HAS SOUPS 19053 WITH SCORE 19073.559
AT ITER 48 NEW BEST:: SOT 77017 SOS 20551 HAS SOPS 20551 HAS SOUS 19045 HAS SOUPS 19045 WITH SCORE 19065.551
AT ITER 63 NEW BEST:: SOT 76967 SOS 20444 HAS SOPS 20444 HAS SOUS 18938 HAS SOUPS 18938 WITH SCORE 18958.444
AT ITER 74 NEW BEST:: SOT 76948 SOS 20416 HAS SOPS 20416 HAS SOUS 18865 HAS SOUPS 18865 WITH SCORE 18885.416
AT ITER 87 NEW BEST:: SOT 76943 SOS 20406 HAS SOPS 20406 HAS SOUS 18855 HAS SOUPS 18855 WITH SCORE 18875.406
AT ITER 99 NEW BEST:: SOT 76942 SOS 20388 HAS SOPS 20388 HAS SOUS 18853 HAS SOUPS 18853 WITH SCORE 18873.388
AT ITER 115 NEW BEST:: SOT 76902 SOS 20268 HAS SOPS 20268 HAS SOUS 18773 HAS SOUPS 18773 WITH SCORE 18793.268
AT ITER 121 NEW BEST:: SOT 76902 SOS 20268 HAS SOPS 20268 HAS SOUS 18727 HAS SOUPS 18727 WITH SCORE 18747.268
AT ITER 136 NEW BEST:: SOT 76875 SOS 20214 HAS SOPS 20214 HAS SOUS 18659 HAS SOUPS 18659 WITH SCORE 18679.214
AT ITER 137 NEW BEST:: SOT 76875 SOS 20214 HAS SOPS 20214 HAS SOUS 18586 HAS SOUPS 18586 WITH SCORE 18606.214
AT ITER 143 NEW BEST:: SOT 76873 SOS 20212 HAS SOPS 20212 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18604.212
AT ITER 145 NEW BEST:: SOT 76872 SOS 20210 HAS SOPS 20210 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18602.21
AT ITER 147 NEW BEST:: SOT 76848 SOS 20174 HAS SOPS 20174 HAS SOUS 18546 HAS SOUPS 18546 WITH SCORE 18566.174
AT ITER 155 NEW BEST:: SOT 76834 SOS 20146 HAS SOPS 20146 HAS SOUS 18532 HAS SOUPS 18532 WITH SCORE 18552.146
AT ITER 170 NEW BEST:: SOT 76799 SOS 20136 HAS SOPS 20136 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18542.136
AT ITER 180 NEW BEST:: SOT 76799 SOS 20089 HAS SOPS 20089 HAS SOUS 18475 HAS SOUPS 18475 WITH SCORE 18495.089
AT ITER 222 NEW BEST:: SOT 76778 SOS 20026 HAS SOPS 20026 HAS SOUS 18433 HAS SOUPS 18433 WITH SCORE 18453.026
AT ITER 230 NEW BEST:: SOT 76777 SOS 20025 HAS SOPS 20025 HAS SOUS 18432 HAS SOUPS 18432 WITH SCORE 18452.025
AT ITER 247 NEW BEST:: SOT 76705 SOS 19980 HAS SOPS 19980 HAS SOUS 18387 HAS SOUPS 18387 WITH SCORE 18406.98
AT ITER 249 NEW BEST:: SOT 76669 SOS 20065 HAS SOPS 20065 HAS SOUS 18374 HAS SOUPS 18374 WITH SCORE 18394.065
AT ITER 262 NEW BEST:: SOT 76625 SOS 19927 HAS SOPS 19927 HAS SOUS 18230 HAS SOUPS 18230 WITH SCORE 18249.927
AT ITER 265 NEW BEST:: SOT 76625 SOS 19897 HAS SOPS 19897 HAS SOUS 18213 HAS SOUPS 18213 WITH SCORE 18232.897
AT ITER 293 NEW BEST:: SOT 76573 SOS 19871 HAS SOPS 19871 HAS SOUS 18187 HAS SOUPS 18187 WITH SCORE 18206.871
AT ITER 297 NEW BEST:: SOT 76569 SOS 19866 HAS SOPS 19866 HAS SOUS 18182 HAS SOUPS 18182 WITH SCORE 18201.866
AT ITER 299 NEW BEST:: SOT 76530 SOS 19821 HAS SOPS 19821 HAS SOUS 18137 HAS SOUPS 18137 WITH SCORE 18156.821
AT ITER 323 NEW BEST:: SOT 76541 SOS 19843 HAS SOPS 19843 HAS SOUS 18110 HAS SOUPS 18110 WITH SCORE 18129.843
AT ITER 334 NEW BEST:: SOT 76548 SOS 19857 HAS SOPS 19857 HAS SOUS 18085 HAS SOUPS 18085 WITH SCORE 18104.857
AT ITER 335 NEW BEST:: SOT 76548 SOS 19817 HAS SOPS 19817 HAS SOUS 18045 HAS SOUPS 18045 WITH SCORE 18064.817
AT ITER 360 NEW BEST:: SOT 76549 SOS 19810 HAS SOPS 19810 HAS SOUS 18037 HAS SOUPS 18037 WITH SCORE 18056.81
AT ITER 395 NEW BEST:: SOT 76529 SOS 19724 HAS SOPS 19724 HAS SOUS 18014 HAS SOUPS 18014 WITH SCORE 18033.724
AT ITER 396 NEW BEST:: SOT 76529 SOS 19723 HAS SOPS 19723 HAS SOUS 18013 HAS SOUPS 18013 WITH SCORE 18032.723
AT ITER 422 NEW BEST:: SOT 76529 SOS 19679 HAS SOPS 19679 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18005.679
AT ITER 430 NEW BEST:: SOT 76491 SOS 19673 HAS SOPS 19673 HAS SOUS 17980 HAS SOUPS 17980 WITH SCORE 17999.673
AT ITER 436 NEW BEST:: SOT 76491 SOS 19673 HAS SOPS 19673 HAS SOUS 17977 HAS SOUPS 17977 WITH SCORE 17996.673
AT ITER 443 NEW BEST:: SOT 76468 SOS 19586 HAS SOPS 19586 HAS SOUS 17931 HAS SOUPS 17931 WITH SCORE 17950.586
AT ITER 450 NEW BEST:: SOT 76448 SOS 19565 HAS SOPS 19565 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17932.565
AT ITER 458 NEW BEST:: SOT 76450 SOS 19567 HAS SOPS 19567 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17930.567
AT ITER 469 NEW BEST:: SOT 76446 SOS 19559 HAS SOPS 19559 HAS SOUS 17903 HAS SOUPS 17903 WITH SCORE 17922.559
AT ITER 492 NEW BEST:: SOT 76484 SOS 19597 HAS SOPS 19597 HAS SOUS 17896 HAS SOUPS 17896 WITH SCORE 17915.597
AT ITER 494 NEW BEST:: SOT 76478 SOS 19586 HAS SOPS 19586 HAS SOUS 17885 HAS SOUPS 17885 WITH SCORE 17904.586
AT ITER 499 NEW BEST:: SOT 76473 SOS 19566 HAS SOPS 19566 HAS SOUS 17875 HAS SOUPS 17875 WITH SCORE 17894.566
AT ITER 504 NEW BEST:: SOT 76465 SOS 19560 HAS SOPS 19560 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17888.56
AT ITER 554 NEW BEST:: SOT 76447 SOS 19540 HAS SOPS 19540 HAS SOUS 17851 HAS SOUPS 17851 WITH SCORE 17870.54
AT ITER 584 NEW BEST:: SOT 76446 SOS 19523 HAS SOPS 19523 HAS SOUS 17839 HAS SOUPS 17839 WITH SCORE 17858.523
AT ITER 585 NEW BEST:: SOT 76455 SOS 19534 HAS SOPS 19534 HAS SOUS 17829 HAS SOUPS 17829 WITH SCORE 17848.534
AT ITER 589 NEW BEST:: SOT 76457 SOS 19486 HAS SOPS 19486 HAS SOUS 17781 HAS SOUPS 17781 WITH SCORE 17800.486
AT ITER 598 NEW BEST:: SOT 76427 SOS 19483 HAS SOPS 19483 HAS SOUS 17778 HAS SOUPS 17778 WITH SCORE 17797.483
AT ITER 612 NEW BEST:: SOT 76319 SOS 19243 HAS SOPS 19243 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17647.243
AT ITER 632 NEW BEST:: SOT 76301 SOS 19222 HAS SOPS 19222 HAS SOUS 17607 HAS SOUPS 17607 WITH SCORE 17626.222
AT ITER 666 NEW BEST:: SOT 76293 SOS 19198 HAS SOPS 19198 HAS SOUS 17591 HAS SOUPS 17591 WITH SCORE 17610.198
AT ITER 673 NEW BEST:: SOT 76293 SOS 19197 HAS SOPS 19197 HAS SOUS 17590 HAS SOUPS 17590 WITH SCORE 17609.197
AT ITER 680 NEW BEST:: SOT 76263 SOS 19137 HAS SOPS 19137 HAS SOUS 17513 HAS SOUPS 17513 WITH SCORE 17532.137
AT ITER 681 NEW BEST:: SOT 76242 SOS 19133 HAS SOPS 19133 HAS SOUS 17512 HAS SOUPS 17512 WITH SCORE 17531.133
AT ITER 728 NEW BEST:: SOT 76242 SOS 19122 HAS SOPS 19122 HAS SOUS 17501 HAS SOUPS 17501 WITH SCORE 17520.122
AT ITER 753 NEW BEST:: SOT 76206 SOS 19050 HAS SOPS 19050 HAS SOUS 17429 HAS SOUPS 17429 WITH SCORE 17448.05
AT ITER 770 NEW BEST:: SOT 76206 SOS 19048 HAS SOPS 19048 HAS SOUS 17427 HAS SOUPS 17427 WITH SCORE 17446.048
AT ITER 773 NEW BEST:: SOT 76206 SOS 19006 HAS SOPS 19006 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17425.006
AT ITER 782 NEW BEST:: SOT 76189 SOS 18975 HAS SOPS 18975 HAS SOUS 17375 HAS SOUPS 17375 WITH SCORE 17393.975
AT ITER 811 NEW BEST:: SOT 76188 SOS 18964 HAS SOPS 18964 HAS SOUS 17373 HAS SOUPS 17373 WITH SCORE 17391.964
AT ITER 812 NEW BEST:: SOT 76188 SOS 18953 HAS SOPS 18953 HAS SOUS 17362 HAS SOUPS 17362 WITH SCORE 17380.953
AT ITER 825 NEW BEST:: SOT 76188 SOS 18957 HAS SOPS 18957 HAS SOUS 17361 HAS SOUPS 17361 WITH SCORE 17379.957
AT ITER 866 NEW BEST:: SOT 76233 SOS 19010 HAS SOPS 19010 HAS SOUS 17350 HAS SOUPS 17350 WITH SCORE 17369.01
AT ITER 897 NEW BEST:: SOT 76233 SOS 18993 HAS SOPS 18993 HAS SOUS 17350 HAS SOUPS 17350 WITH SCORE 17368.993
AT ITER 921 NEW BEST:: SOT 76251 SOS 19002 HAS SOPS 19002 HAS SOUS 17343 HAS SOUPS 17343 WITH SCORE 17362.002
AT ITER 925 NEW BEST:: SOT 76280 SOS 18998 HAS SOPS 18998 HAS SOUS 17339 HAS SOUPS 17339 WITH SCORE 17357.998
AT ITER 941 NEW BEST:: SOT 76234 SOS 18875 HAS SOPS 18875 HAS SOUS 17216 HAS SOUPS 17216 WITH SCORE 17234.875
AT ITER 942 NEW BEST:: SOT 76252 SOS 18851 HAS SOPS 18851 HAS SOUS 17212 HAS SOUPS 17212 WITH SCORE 17230.851
AT ITER 948 NEW BEST:: SOT 76217 SOS 18781 HAS SOPS 18781 HAS SOUS 17177 HAS SOUPS 17177 WITH SCORE 17195.781
AT ITER 952 NEW BEST:: SOT 76217 SOS 18779 HAS SOPS 18779 HAS SOUS 17175 HAS SOUPS 17175 WITH SCORE 17193.779
AT ITER 959 NEW BEST:: SOT 76179 SOS 18773 HAS SOPS 18773 HAS SOUS 17169 HAS SOUPS 17169 WITH SCORE 17187.773
AT ITER 962 NEW BEST:: SOT 76171 SOS 18765 HAS SOPS 18765 HAS SOUS 17161 HAS SOUPS 17161 WITH SCORE 17179.765
AT ITER 978 NEW BEST:: SOT 76171 SOS 18760 HAS SOPS 18760 HAS SOUS 17156 HAS SOUPS 17156 WITH SCORE 17174.76
AT ITER 988 NEW BEST:: SOT 76156 SOS 18730 HAS SOPS 18730 HAS SOUS 17147 HAS SOUPS 17147 WITH SCORE 17165.73
AT ITER 1019 NEW BEST:: SOT 76146 SOS 18710 HAS SOPS 18710 HAS SOUS 17139 HAS SOUPS 17139 WITH SCORE 17157.71
AT ITER 1028 NEW BEST:: SOT 76141 SOS 18705 HAS SOPS 18705 HAS SOUS 17134 HAS SOUPS 17134 WITH SCORE 17152.705
AT ITER 1063 NEW BEST:: SOT 76103 SOS 18661 HAS SOPS 18661 HAS SOUS 17090 HAS SOUPS 17090 WITH SCORE 17108.661
AT ITER 1064 NEW BEST:: SOT 76098 SOS 18656 HAS SOPS 18656 HAS SOUS 17085 HAS SOUPS 17085 WITH SCORE 17103.656
AT ITER 1065 NEW BEST:: SOT 76019 SOS 18653 HAS SOPS 18653 HAS SOUS 17082 HAS SOUPS 17082 WITH SCORE 17100.653
AT ITER 1066 NEW BEST:: SOT 76012 SOS 18680 HAS SOPS 18680 HAS SOUS 17081 HAS SOUPS 17081 WITH SCORE 17099.68
AT ITER 1075 NEW BEST:: SOT 76008 SOS 18672 HAS SOPS 18672 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17091.672
AT ITER 1086 NEW BEST:: SOT 76017 SOS 18646 HAS SOPS 18646 HAS SOUS 17047 HAS SOUPS 17047 WITH SCORE 17065.646
AT ITER 1088 NEW BEST:: SOT 75987 SOS 18604 HAS SOPS 18604 HAS SOUS 17039 HAS SOUPS 17039 WITH SCORE 17057.604
AT ITER 1097 NEW BEST:: SOT 75967 SOS 18584 HAS SOPS 18584 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17037.584
AT ITER 1099 NEW BEST:: SOT 75967 SOS 18566 HAS SOPS 18566 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17037.566
AT ITER 1111 NEW BEST:: SOT 75961 SOS 18554 HAS SOPS 18554 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17025.554
AT ITER 1147 NEW BEST:: SOT 75918 SOS 18466 HAS SOPS 18466 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16937.466
AT ITER 1200 NEW BEST:: SOT 75915 SOS 18438 HAS SOPS 18438 HAS SOUS 16891 HAS SOUPS 16891 WITH SCORE 16909.438
AT ITER 1209 NEW BEST:: SOT 75882 SOS 18404 HAS SOPS 18404 HAS SOUS 16868 HAS SOUPS 16868 WITH SCORE 16886.404
AT ITER 1222 NEW BEST:: SOT 75882 SOS 18394 HAS SOPS 18394 HAS SOUS 16868 HAS SOUPS 16868 WITH SCORE 16886.394
AT ITER 1238 NEW BEST:: SOT 75861 SOS 18377 HAS SOPS 18377 HAS SOUS 16851 HAS SOUPS 16851 WITH SCORE 16869.377
AT ITER 1283 NEW BEST:: SOT 75857 SOS 18373 HAS SOPS 18373 HAS SOUS 16847 HAS SOUPS 16847 WITH SCORE 16865.373
AT ITER 1294 NEW BEST:: SOT 75843 SOS 18348 HAS SOPS 18348 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16840.348
AT ITER 1301 NEW BEST:: SOT 75838 SOS 18337 HAS SOPS 18337 HAS SOUS 16811 HAS SOUPS 16811 WITH SCORE 16829.337
AT ITER 1326 NEW BEST:: SOT 75823 SOS 18309 HAS SOPS 18309 HAS SOUS 16804 HAS SOUPS 16804 WITH SCORE 16822.309
AT ITER 1327 NEW BEST:: SOT 75823 SOS 18304 HAS SOPS 18304 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16817.304
AT ITER 1359 NEW BEST:: SOT 75823 SOS 18292 HAS SOPS 18292 HAS SOUS 16784 HAS SOUPS 16784 WITH SCORE 16802.292
AT ITER 1361 NEW BEST:: SOT 75811 SOS 18280 HAS SOPS 18280 HAS SOUS 16772 HAS SOUPS 16772 WITH SCORE 16790.28
AT ITER 1367 NEW BEST:: SOT 75811 SOS 18280 HAS SOPS 18280 HAS SOUS 16766 HAS SOUPS 16766 WITH SCORE 16784.28
AT ITER 1368 NEW BEST:: SOT 75790 SOS 18238 HAS SOPS 18238 HAS SOUS 16701 HAS SOUPS 16701 WITH SCORE 16719.238
AT ITER 1383 NEW BEST:: SOT 75790 SOS 18250 HAS SOPS 18250 HAS SOUS 16689 HAS SOUPS 16689 WITH SCORE 16707.25
AT ITER 1403 NEW BEST:: SOT 75781 SOS 18231 HAS SOPS 18231 HAS SOUS 16670 HAS SOUPS 16670 WITH SCORE 16688.231
AT ITER 1426 NEW BEST:: SOT 75772 SOS 18231 HAS SOPS 18231 HAS SOUS 16661 HAS SOUPS 16661 WITH SCORE 16679.231
AT ITER 1466 NEW BEST:: SOT 75764 SOS 18199 HAS SOPS 18199 HAS SOUS 16653 HAS SOUPS 16653 WITH SCORE 16671.199
AT ITER 1492 NEW BEST:: SOT 75711 SOS 18146 HAS SOPS 18146 HAS SOUS 16600 HAS SOUPS 16600 WITH SCORE 16618.146
AT ITER 1502 NEW BEST:: SOT 75709 SOS 18177 HAS SOPS 18177 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16610.177
AT ITER 1503 NEW BEST:: SOT 75704 SOS 18163 HAS SOPS 18163 HAS SOUS 16587 HAS SOUPS 16587 WITH SCORE 16605.163
AT ITER 1510 NEW BEST:: SOT 75704 SOS 18155 HAS SOPS 18155 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16589.155
AT ITER 1514 NEW BEST:: SOT 75704 SOS 18139 HAS SOPS 18139 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16573.139
AT ITER 1538 NEW BEST:: SOT 75704 SOS 18111 HAS SOPS 18111 HAS SOUS 16547 HAS SOUPS 16547 WITH SCORE 16565.111
AT ITER 1590 NEW BEST:: SOT 75691 SOS 18085 HAS SOPS 18085 HAS SOUS 16465 HAS SOUPS 16465 WITH SCORE 16483.085
AT ITER 1602 NEW BEST:: SOT 75642 SOS 18065 HAS SOPS 18065 HAS SOUS 16445 HAS SOUPS 16445 WITH SCORE 16463.065
AT ITER 1626 NEW BEST:: SOT 75642 SOS 17991 HAS SOPS 17991 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16388.991
AT ITER 1632 NEW BEST:: SOT 75642 SOS 17871 HAS SOPS 17871 HAS SOUS 16311 HAS SOUPS 16311 WITH SCORE 16328.871
AT ITER 1647 NEW BEST:: SOT 75631 SOS 17860 HAS SOPS 17860 HAS SOUS 16300 HAS SOUPS 16300 WITH SCORE 16317.86
AT ITER 1675 NEW BEST:: SOT 75631 SOS 17849 HAS SOPS 17849 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16306.849
AT ITER 1683 NEW BEST:: SOT 75651 SOS 17869 HAS SOPS 17869 HAS SOUS 16267 HAS SOUPS 16267 WITH SCORE 16284.869
AT ITER 1687 NEW BEST:: SOT 75639 SOS 17845 HAS SOPS 17845 HAS SOUS 16243 HAS SOUPS 16243 WITH SCORE 16260.845
AT ITER 1785 NEW BEST:: SOT 75639 SOS 17803 HAS SOPS 17803 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16218.803
AT ITER 1896 NEW BEST:: SOT 75635 SOS 17777 HAS SOPS 17777 HAS SOUS 16175 HAS SOUPS 16175 WITH SCORE 16192.777
AT ITER 1913 NEW BEST:: SOT 75609 SOS 17717 HAS SOPS 17717 HAS SOUS 16115 HAS SOUPS 16115 WITH SCORE 16132.717
AT ITER 1917 NEW BEST:: SOT 75609 SOS 17701 HAS SOPS 17701 HAS SOUS 16099 HAS SOUPS 16099 WITH SCORE 16116.701
AT ITER 1931 NEW BEST:: SOT 75609 SOS 17678 HAS SOPS 17678 HAS SOUS 16076 HAS SOUPS 16076 WITH SCORE 16093.678
AT ITER 1954 NEW BEST:: SOT 75614 SOS 17669 HAS SOPS 17669 HAS SOUS 16067 HAS SOUPS 16067 WITH SCORE 16084.669
AT ITER 1992 NEW BEST:: SOT 75610 SOS 17650 HAS SOPS 17650 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16063.65
AT ITER 2007 NEW BEST:: SOT 75610 SOS 17646 HAS SOPS 17646 HAS SOUS 16042 HAS SOUPS 16042 WITH SCORE 16059.646
AT ITER 2030 NEW BEST:: SOT 75601 SOS 17628 HAS SOPS 17628 HAS SOUS 15988 HAS SOUPS 15988 WITH SCORE 16005.628
AT ITER 2049 NEW BEST:: SOT 75587 SOS 17600 HAS SOPS 17600 HAS SOUS 15966 HAS SOUPS 15966 WITH SCORE 15983.6
AT ITER 2064 NEW BEST:: SOT 75587 SOS 17577 HAS SOPS 17577 HAS SOUS 15943 HAS SOUPS 15943 WITH SCORE 15960.577
AT ITER 2108 NEW BEST:: SOT 75572 SOS 17562 HAS SOPS 17562 HAS SOUS 15928 HAS SOUPS 15928 WITH SCORE 15945.562
AT ITER 2145 NEW BEST:: SOT 75569 SOS 17553 HAS SOPS 17553 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15936.553
AT ITER 2173 NEW BEST:: SOT 75569 SOS 17548 HAS SOPS 17548 HAS SOUS 15914 HAS SOUPS 15914 WITH SCORE 15931.548
AT ITER 2185 NEW BEST:: SOT 75570 SOS 17562 HAS SOPS 17562 HAS SOUS 15909 HAS SOUPS 15909 WITH SCORE 15926.562
AT ITER 2235 NEW BEST:: SOT 75551 SOS 17524 HAS SOPS 17524 HAS SOUS 15881 HAS SOUPS 15881 WITH SCORE 15898.524
AT ITER 2239 NEW BEST:: SOT 75551 SOS 17517 HAS SOPS 17517 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15891.517
AT ITER 2270 NEW BEST:: SOT 75559 SOS 17488 HAS SOPS 17488 HAS SOUS 15868 HAS SOUPS 15868 WITH SCORE 15885.488
AT ITER 2308 NEW BEST:: SOT 75553 SOS 17472 HAS SOPS 17472 HAS SOUS 15858 HAS SOUPS 15858 WITH SCORE 15875.472
AT ITER 2334 NEW BEST:: SOT 75553 SOS 17456 HAS SOPS 17456 HAS SOUS 15842 HAS SOUPS 15842 WITH SCORE 15859.456
AT ITER 2354 NEW BEST:: SOT 75454 SOS 17217 HAS SOPS 17217 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15796.217
AT ITER 2362 NEW BEST:: SOT 75451 SOS 17214 HAS SOPS 17214 HAS SOUS 15776 HAS SOUPS 15776 WITH SCORE 15793.214
AT ITER 2396 NEW BEST:: SOT 75451 SOS 17203 HAS SOPS 17203 HAS SOUS 15765 HAS SOUPS 15765 WITH SCORE 15782.203
AT ITER 2397 NEW BEST:: SOT 75451 SOS 17188 HAS SOPS 17188 HAS SOUS 15761 HAS SOUPS 15761 WITH SCORE 15778.188
AT ITER 2406 NEW BEST:: SOT 75455 SOS 17192 HAS SOPS 17192 HAS SOUS 15746 HAS SOUPS 15746 WITH SCORE 15763.192
AT ITER 2417 NEW BEST:: SOT 75454 SOS 17150 HAS SOPS 17150 HAS SOUS 15719 HAS SOUPS 15719 WITH SCORE 15736.15
AT ITER 2422 NEW BEST:: SOT 75454 SOS 17138 HAS SOPS 17138 HAS SOUS 15707 HAS SOUPS 15707 WITH SCORE 15724.138
AT ITER 2493 NEW BEST:: SOT 75454 SOS 17128 HAS SOPS 17128 HAS SOUS 15697 HAS SOUPS 15697 WITH SCORE 15714.128
AT ITER 2523 NEW BEST:: SOT 75453 SOS 17082 HAS SOPS 17082 HAS SOUS 15689 HAS SOUPS 15689 WITH SCORE 15706.082
AT ITER 2534 NEW BEST:: SOT 75454 SOS 17081 HAS SOPS 17081 HAS SOUS 15689 HAS SOUPS 15689 WITH SCORE 15706.081
AT ITER 2550 NEW BEST:: SOT 75452 SOS 17062 HAS SOPS 17062 HAS SOUS 15661 HAS SOUPS 15661 WITH SCORE 15678.062
AT ITER 2581 NEW BEST:: SOT 75449 SOS 17059 HAS SOPS 17059 HAS SOUS 15658 HAS SOUPS 15658 WITH SCORE 15675.059
AT ITER 2627 NEW BEST:: SOT 75553 SOS 17097 HAS SOPS 17097 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15641.097
AT ITER 2635 NEW BEST:: SOT 75560 SOS 17133 HAS SOPS 17133 HAS SOUS 15620 HAS SOUPS 15620 WITH SCORE 15637.133
AT ITER 2684 NEW BEST:: SOT 75558 SOS 17137 HAS SOPS 17137 HAS SOUS 15618 HAS SOUPS 15618 WITH SCORE 15635.137
AT ITER 2710 NEW BEST:: SOT 75558 SOS 17123 HAS SOPS 17123 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15628.123
AT ITER 2714 NEW BEST:: SOT 75546 SOS 17118 HAS SOPS 17118 HAS SOUS 15606 HAS SOUPS 15606 WITH SCORE 15623.118
AT ITER 2782 NEW BEST:: SOT 75536 SOS 17112 HAS SOPS 17112 HAS SOUS 15596 HAS SOUPS 15596 WITH SCORE 15613.112
AT ITER 2796 NEW BEST:: SOT 75536 SOS 17080 HAS SOPS 17080 HAS SOUS 15568 HAS SOUPS 15568 WITH SCORE 15585.08
AT ITER 2802 NEW BEST:: SOT 75462 SOS 17044 HAS SOPS 17044 HAS SOUS 15502 HAS SOUPS 15502 WITH SCORE 15519.044
AT ITER 2838 NEW BEST:: SOT 75462 SOS 17042 HAS SOPS 17042 HAS SOUS 15500 HAS SOUPS 15500 WITH SCORE 15517.042
AT ITER 2859 NEW BEST:: SOT 75462 SOS 17039 HAS SOPS 17039 HAS SOUS 15497 HAS SOUPS 15497 WITH SCORE 15514.039
AT ITER 2863 NEW BEST:: SOT 75474 SOS 17031 HAS SOPS 17031 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15506.031
AT ITER 2887 NEW BEST:: SOT 75471 SOS 17017 HAS SOPS 17017 HAS SOUS 15486 HAS SOUPS 15486 WITH SCORE 15503.017
AT ITER 2902 NEW BEST:: SOT 75442 SOS 16988 HAS SOPS 16988 HAS SOUS 15486 HAS SOUPS 15486 WITH SCORE 15502.988
AT ITER 2984 NEW BEST:: SOT 75365 SOS 16913 HAS SOPS 16913 HAS SOUS 15411 HAS SOUPS 15411 WITH SCORE 15427.913
AT ITER 2992 NEW BEST:: SOT 75365 SOS 16912 HAS SOPS 16912 HAS SOUS 15410 HAS SOUPS 15410 WITH SCORE 15426.912
AT ITER 3080 NEW BEST:: SOT 75304 SOS 16818 HAS SOPS 16818 HAS SOUS 15316 HAS SOUPS 15316 WITH SCORE 15332.818
AT ITER 3102 NEW BEST:: SOT 75300 SOS 16788 HAS SOPS 16788 HAS SOUS 15312 HAS SOUPS 15312 WITH SCORE 15328.788
AT ITER 3143 NEW BEST:: SOT 75304 SOS 16734 HAS SOPS 16734 HAS SOUS 15260 HAS SOUPS 15260 WITH SCORE 15276.734
AT ITER 3144 NEW BEST:: SOT 75301 SOS 16734 HAS SOPS 16734 HAS SOUS 15257 HAS SOUPS 15257 WITH SCORE 15273.734
AT ITER 3145 NEW BEST:: SOT 75301 SOS 16758 HAS SOPS 16758 HAS SOUS 15255 HAS SOUPS 15255 WITH SCORE 15271.758
AT ITER 3147 NEW BEST:: SOT 75301 SOS 16771 HAS SOPS 16771 HAS SOUS 15253 HAS SOUPS 15253 WITH SCORE 15269.771
AT ITER 3161 NEW BEST:: SOT 75297 SOS 16763 HAS SOPS 16763 HAS SOUS 15249 HAS SOUPS 15249 WITH SCORE 15265.763
AT ITER 3176 NEW BEST:: SOT 75302 SOS 16749 HAS SOPS 16749 HAS SOUS 15235 HAS SOUPS 15235 WITH SCORE 15251.749
AT ITER 3210 NEW BEST:: SOT 75302 SOS 16717 HAS SOPS 16717 HAS SOUS 15235 HAS SOUPS 15235 WITH SCORE 15251.717
AT ITER 3217 NEW BEST:: SOT 75285 SOS 16678 HAS SOPS 16678 HAS SOUS 15196 HAS SOUPS 15196 WITH SCORE 15212.678
AT ITER 3237 NEW BEST:: SOT 75285 SOS 16678 HAS SOPS 16678 HAS SOUS 15171 HAS SOUPS 15171 WITH SCORE 15187.678
AT ITER 3249 NEW BEST:: SOT 75285 SOS 16666 HAS SOPS 16666 HAS SOUS 15159 HAS SOUPS 15159 WITH SCORE 15175.666
AT ITER 3251 NEW BEST:: SOT 75267 SOS 16629 HAS SOPS 16629 HAS SOUS 15122 HAS SOUPS 15122 WITH SCORE 15138.629
AT ITER 3266 NEW BEST:: SOT 75265 SOS 16659 HAS SOPS 16659 HAS SOUS 15091 HAS SOUPS 15091 WITH SCORE 15107.659
AT ITER 3340 NEW BEST:: SOT 75243 SOS 16626 HAS SOPS 16626 HAS SOUS 15058 HAS SOUPS 15058 WITH SCORE 15074.626
AT ITER 3382 NEW BEST:: SOT 75243 SOS 16617 HAS SOPS 16617 HAS SOUS 15049 HAS SOUPS 15049 WITH SCORE 15065.617
AT ITER 3398 NEW BEST:: SOT 75240 SOS 16614 HAS SOPS 16614 HAS SOUS 15046 HAS SOUPS 15046 WITH SCORE 15062.614
AT ITER 3437 NEW BEST:: SOT 75240 SOS 16614 HAS SOPS 16614 HAS SOUS 15013 HAS SOUPS 15013 WITH SCORE 15029.614
AT ITER 3475 NEW BEST:: SOT 75238 SOS 16612 HAS SOPS 16612 HAS SOUS 15011 HAS SOUPS 15011 WITH SCORE 15027.612
AT ITER 3480 NEW BEST:: SOT 75218 SOS 16585 HAS SOPS 16585 HAS SOUS 15004 HAS SOUPS 15004 WITH SCORE 15020.585
AT ITER 3526 NEW BEST:: SOT 75212 SOS 16567 HAS SOPS 16567 HAS SOUS 14992 HAS SOUPS 14992 WITH SCORE 15008.567
AT ITER 3553 NEW BEST:: SOT 75214 SOS 16563 HAS SOPS 16563 HAS SOUS 14988 HAS SOUPS 14988 WITH SCORE 15004.563
AT ITER 3554 NEW BEST:: SOT 75214 SOS 16562 HAS SOPS 16562 HAS SOUS 14987 HAS SOUPS 14987 WITH SCORE 15003.562
AT ITER 3574 NEW BEST:: SOT 75211 SOS 16559 HAS SOPS 16559 HAS SOUS 14984 HAS SOUPS 14984 WITH SCORE 15000.559
AT ITER 3648 NEW BEST:: SOT 75211 SOS 16540 HAS SOPS 16540 HAS SOUS 14965 HAS SOUPS 14965 WITH SCORE 14981.54
AT ITER 3702 NEW BEST:: SOT 75189 SOS 16521 HAS SOPS 16521 HAS SOUS 14946 HAS SOUPS 14946 WITH SCORE 14962.521
AT ITER 3734 NEW BEST:: SOT 75140 SOS 16445 HAS SOPS 16445 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14886.445
AT ITER 3743 NEW BEST:: SOT 75140 SOS 16445 HAS SOPS 16445 HAS SOUS 14852 HAS SOUPS 14852 WITH SCORE 14868.445
AT ITER 3746 NEW BEST:: SOT 75138 SOS 16443 HAS SOPS 16443 HAS SOUS 14850 HAS SOUPS 14850 WITH SCORE 14866.443
AT ITER 3749 NEW BEST:: SOT 75134 SOS 16435 HAS SOPS 16435 HAS SOUS 14826 HAS SOUPS 14826 WITH SCORE 14842.435
AT ITER 3799 NEW BEST:: SOT 75128 SOS 16431 HAS SOPS 16431 HAS SOUS 14822 HAS SOUPS 14822 WITH SCORE 14838.431
AT ITER 3820 NEW BEST:: SOT 75128 SOS 16426 HAS SOPS 16426 HAS SOUS 14817 HAS SOUPS 14817 WITH SCORE 14833.426
AT ITER 3856 NEW BEST:: SOT 75128 SOS 16423 HAS SOPS 16423 HAS SOUS 14817 HAS SOUPS 14817 WITH SCORE 14833.423
AT ITER 3977 NEW BEST:: SOT 75127 SOS 16419 HAS SOPS 16419 HAS SOUS 14813 HAS SOUPS 14813 WITH SCORE 14829.419
AT ITER 4005 NEW BEST:: SOT 75123 SOS 16423 HAS SOPS 16423 HAS SOUS 14809 HAS SOUPS 14809 WITH SCORE 14825.423
AT ITER 4012 NEW BEST:: SOT 75125 SOS 16425 HAS SOPS 16425 HAS SOUS 14808 HAS SOUPS 14808 WITH SCORE 14824.425
AT ITER 4032 NEW BEST:: SOT 75121 SOS 16421 HAS SOPS 16421 HAS SOUS 14804 HAS SOUPS 14804 WITH SCORE 14820.421
AT ITER 4050 NEW BEST:: SOT 75103 SOS 16385 HAS SOPS 16385 HAS SOUS 14776 HAS SOUPS 14776 WITH SCORE 14792.385
AT ITER 4058 NEW BEST:: SOT 75062 SOS 16350 HAS SOPS 16350 HAS SOUS 14768 HAS SOUPS 14768 WITH SCORE 14784.35
AT ITER 4100 NEW BEST:: SOT 75062 SOS 16325 HAS SOPS 16325 HAS SOUS 14743 HAS SOUPS 14743 WITH SCORE 14759.325
AT ITER 4127 NEW BEST:: SOT 75059 SOS 16319 HAS SOPS 16319 HAS SOUS 14737 HAS SOUPS 14737 WITH SCORE 14753.319
AT ITER 4142 NEW BEST:: SOT 75045 SOS 16305 HAS SOPS 16305 HAS SOUS 14723 HAS SOUPS 14723 WITH SCORE 14739.305
AT ITER 4179 NEW BEST:: SOT 75045 SOS 16295 HAS SOPS 16295 HAS SOUS 14723 HAS SOUPS 14723 WITH SCORE 14739.295
AT ITER 4189 NEW BEST:: SOT 75071 SOS 16256 HAS SOPS 16256 HAS SOUS 14717 HAS SOUPS 14717 WITH SCORE 14733.256
AT ITER 4215 NEW BEST:: SOT 75076 SOS 16252 HAS SOPS 16252 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14723.252
AT ITER 4240 NEW BEST:: SOT 75044 SOS 16213 HAS SOPS 16213 HAS SOUS 14687 HAS SOUPS 14687 WITH SCORE 14703.213
AT ITER 4253 NEW BEST:: SOT 75040 SOS 16210 HAS SOPS 16210 HAS SOUS 14684 HAS SOUPS 14684 WITH SCORE 14700.21
AT ITER 4270 NEW BEST:: SOT 75034 SOS 16198 HAS SOPS 16198 HAS SOUS 14672 HAS SOUPS 14672 WITH SCORE 14688.198
AT ITER 4357 NEW BEST:: SOT 75023 SOS 16154 HAS SOPS 16154 HAS SOUS 14639 HAS SOUPS 14639 WITH SCORE 14655.154
AT ITER 4362 NEW BEST:: SOT 75025 SOS 16150 HAS SOPS 16150 HAS SOUS 14639 HAS SOUPS 14639 WITH SCORE 14655.15
AT ITER 4429 NEW BEST:: SOT 75023 SOS 16144 HAS SOPS 16144 HAS SOUS 14633 HAS SOUPS 14633 WITH SCORE 14649.144
AT ITER 4435 NEW BEST:: SOT 75020 SOS 16138 HAS SOPS 16138 HAS SOUS 14629 HAS SOUPS 14629 WITH SCORE 14645.138
AT ITER 4449 NEW BEST:: SOT 75020 SOS 16133 HAS SOPS 16133 HAS SOUS 14624 HAS SOUPS 14624 WITH SCORE 14640.133
AT ITER 4458 NEW BEST:: SOT 75018 SOS 16120 HAS SOPS 16120 HAS SOUS 14611 HAS SOUPS 14611 WITH SCORE 14627.12
AT ITER 4497 NEW BEST:: SOT 75018 SOS 16120 HAS SOPS 16120 HAS SOUS 14605 HAS SOUPS 14605 WITH SCORE 14621.12
AT ITER 4503 NEW BEST:: SOT 75005 SOS 16142 HAS SOPS 16142 HAS SOUS 14604 HAS SOUPS 14604 WITH SCORE 14620.142
AT ITER 4538 NEW BEST:: SOT 75005 SOS 16131 HAS SOPS 16131 HAS SOUS 14604 HAS SOUPS 14604 WITH SCORE 14620.131
AT ITER 4660 NEW BEST:: SOT 74994 SOS 16140 HAS SOPS 16140 HAS SOUS 14593 HAS SOUPS 14593 WITH SCORE 14609.14
AT ITER 4672 NEW BEST:: SOT 74976 SOS 16123 HAS SOPS 16123 HAS SOUS 14576 HAS SOUPS 14576 WITH SCORE 14592.123
AT ITER 4702 NEW BEST:: SOT 74999 SOS 16215 HAS SOPS 16215 HAS SOUS 14552 HAS SOUPS 14552 WITH SCORE 14568.215
AT ITER 4704 NEW BEST:: SOT 74993 SOS 16209 HAS SOPS 16209 HAS SOUS 14546 HAS SOUPS 14546 WITH SCORE 14562.209
AT ITER 4708 NEW BEST:: SOT 74993 SOS 16207 HAS SOPS 16207 HAS SOUS 14544 HAS SOUPS 14544 WITH SCORE 14560.207
AT ITER 4729 NEW BEST:: SOT 74993 SOS 16203 HAS SOPS 16203 HAS SOUS 14540 HAS SOUPS 14540 WITH SCORE 14556.203
AT ITER 4730 NEW BEST:: SOT 74993 SOS 16205 HAS SOPS 16205 HAS SOUS 14539 HAS SOUPS 14539 WITH SCORE 14555.205
AT ITER 4792 NEW BEST:: SOT 74989 SOS 16197 HAS SOPS 16197 HAS SOUS 14531 HAS SOUPS 14531 WITH SCORE 14547.197
AT ITER 4810 NEW BEST:: SOT 74989 SOS 16196 HAS SOPS 16196 HAS SOUS 14530 HAS SOUPS 14530 WITH SCORE 14546.196
AT ITER 4830 NEW BEST:: SOT 74979 SOS 16207 HAS SOPS 16207 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14532.207
AT ITER 4853 NEW BEST:: SOT 74977 SOS 16214 HAS SOPS 16214 HAS SOUS 14514 HAS SOUPS 14514 WITH SCORE 14530.214
AT ITER 4964 NEW BEST:: SOT 74974 SOS 16222 HAS SOPS 16222 HAS SOUS 14504 HAS SOUPS 14504 WITH SCORE 14520.222
AT ITER 4974 NEW BEST:: SOT 74987 SOS 16219 HAS SOPS 16219 HAS SOUS 14501 HAS SOUPS 14501 WITH SCORE 14517.219
AT ITER 5009 NEW BEST:: SOT 74987 SOS 16219 HAS SOPS 16219 HAS SOUS 14493 HAS SOUPS 14493 WITH SCORE 14509.219
AT ITER 5068 NEW BEST:: SOT 74987 SOS 16215 HAS SOPS 16215 HAS SOUS 14489 HAS SOUPS 14489 WITH SCORE 14505.215
AT ITER 5078 NEW BEST:: SOT 74995 SOS 16204 HAS SOPS 16204 HAS SOUS 14478 HAS SOUPS 14478 WITH SCORE 14494.204
AT ITER 5112 NEW BEST:: SOT 74995 SOS 16204 HAS SOPS 16204 HAS SOUS 14435 HAS SOUPS 14435 WITH SCORE 14451.204
AT ITER 5128 NEW BEST:: SOT 74994 SOS 16203 HAS SOPS 16203 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14450.203
AT ITER 5162 NEW BEST:: SOT 74993 SOS 16201 HAS SOPS 16201 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14448.201
AT ITER 5197 NEW BEST:: SOT 74990 SOS 16193 HAS SOPS 16193 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14445.193
AT ITER 5198 NEW BEST:: SOT 74990 SOS 16145 HAS SOPS 16145 HAS SOUS 14428 HAS SOUPS 14428 WITH SCORE 14444.145
AT ITER 5202 NEW BEST:: SOT 74990 SOS 16137 HAS SOPS 16137 HAS SOUS 14424 HAS SOUPS 14424 WITH SCORE 14440.137
AT ITER 5213 NEW BEST:: SOT 74989 SOS 16134 HAS SOPS 16134 HAS SOUS 14421 HAS SOUPS 14421 WITH SCORE 14437.134
AT ITER 5228 NEW BEST:: SOT 74989 SOS 16133 HAS SOPS 16133 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14436.133
AT ITER 5229 NEW BEST:: SOT 74944 SOS 16126 HAS SOPS 16126 HAS SOUS 14413 HAS SOUPS 14413 WITH SCORE 14429.126
AT ITER 5273 NEW BEST:: SOT 74919 SOS 16076 HAS SOPS 16076 HAS SOUS 14359 HAS SOUPS 14359 WITH SCORE 14375.076
AT ITER 5282 NEW BEST:: SOT 74919 SOS 16036 HAS SOPS 16036 HAS SOUS 14351 HAS SOUPS 14351 WITH SCORE 14367.036
AT ITER 5321 NEW BEST:: SOT 74916 SOS 16025 HAS SOPS 16025 HAS SOUS 14340 HAS SOUPS 14340 WITH SCORE 14356.025
AT ITER 5350 NEW BEST:: SOT 74924 SOS 16029 HAS SOPS 16029 HAS SOUS 14336 HAS SOUPS 14336 WITH SCORE 14352.029
AT ITER 5398 NEW BEST:: SOT 74922 SOS 16028 HAS SOPS 16028 HAS SOUS 14334 HAS SOUPS 14334 WITH SCORE 14350.028
AT ITER 5422 NEW BEST:: SOT 74916 SOS 16022 HAS SOPS 16022 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14344.022
AT ITER 5440 NEW BEST:: SOT 74906 SOS 16040 HAS SOPS 16040 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14312.04
AT ITER 5491 NEW BEST:: SOT 74906 SOS 16037 HAS SOPS 16037 HAS SOUS 14293 HAS SOUPS 14293 WITH SCORE 14309.037
AT ITER 5509 NEW BEST:: SOT 74879 SOS 16012 HAS SOPS 16012 HAS SOUS 14274 HAS SOUPS 14274 WITH SCORE 14290.012
AT ITER 5522 NEW BEST:: SOT 74902 SOS 16037 HAS SOPS 16037 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14283.037
AT ITER 5554 NEW BEST:: SOT 74901 SOS 16027 HAS SOPS 16027 HAS SOUS 14265 HAS SOUPS 14265 WITH SCORE 14281.027
AT ITER 5555 NEW BEST:: SOT 74900 SOS 16025 HAS SOPS 16025 HAS SOUS 14264 HAS SOUPS 14264 WITH SCORE 14280.025
AT ITER 5587 NEW BEST:: SOT 74900 SOS 16014 HAS SOPS 16014 HAS SOUS 14264 HAS SOUPS 14264 WITH SCORE 14280.014
AT ITER 5604 NEW BEST:: SOT 74914 SOS 16008 HAS SOPS 16008 HAS SOUS 14258 HAS SOUPS 14258 WITH SCORE 14274.008
AT ITER 5632 NEW BEST:: SOT 74917 SOS 15999 HAS SOPS 15999 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14261.999
AT ITER 5652 NEW BEST:: SOT 74903 SOS 15956 HAS SOPS 15956 HAS SOUS 14214 HAS SOUPS 14214 WITH SCORE 14229.956
AT ITER 5680 NEW BEST:: SOT 74902 SOS 15948 HAS SOPS 15948 HAS SOUS 14210 HAS SOUPS 14210 WITH SCORE 14225.948
AT ITER 5712 NEW BEST:: SOT 74908 SOS 15926 HAS SOPS 15926 HAS SOUS 14196 HAS SOUPS 14196 WITH SCORE 14211.926
AT ITER 5719 NEW BEST:: SOT 74907 SOS 15915 HAS SOPS 15915 HAS SOUS 14190 HAS SOUPS 14190 WITH SCORE 14205.915
AT ITER 5727 NEW BEST:: SOT 74903 SOS 15935 HAS SOPS 15935 HAS SOUS 14186 HAS SOUPS 14186 WITH SCORE 14201.935
AT ITER 5730 NEW BEST:: SOT 74903 SOS 15921 HAS SOPS 15921 HAS SOUS 14176 HAS SOUPS 14176 WITH SCORE 14191.921
AT ITER 5766 NEW BEST:: SOT 74903 SOS 15916 HAS SOPS 15916 HAS SOUS 14176 HAS SOUPS 14176 WITH SCORE 14191.916
AT ITER 5824 NEW BEST:: SOT 74892 SOS 15881 HAS SOPS 15881 HAS SOUS 14141 HAS SOUPS 14141 WITH SCORE 14156.881
AT ITER 5837 NEW BEST:: SOT 74891 SOS 15880 HAS SOPS 15880 HAS SOUS 14140 HAS SOUPS 14140 WITH SCORE 14155.88
AT ITER 5846 NEW BEST:: SOT 74889 SOS 15850 HAS SOPS 15850 HAS SOUS 14126 HAS SOUPS 14126 WITH SCORE 14141.85
AT ITER 5858 NEW BEST:: SOT 74886 SOS 15844 HAS SOPS 15844 HAS SOUS 14120 HAS SOUPS 14120 WITH SCORE 14135.844
AT ITER 5869 NEW BEST:: SOT 74885 SOS 15836 HAS SOPS 15836 HAS SOUS 14112 HAS SOUPS 14112 WITH SCORE 14127.836
AT ITER 5909 NEW BEST:: SOT 74863 SOS 15814 HAS SOPS 15814 HAS SOUS 14112 HAS SOUPS 14112 WITH SCORE 14127.814
AT ITER 5912 NEW BEST:: SOT 74855 SOS 15806 HAS SOPS 15806 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14119.806
AT ITER 5986 NEW BEST:: SOT 74855 SOS 15828 HAS SOPS 15828 HAS SOUS 14102 HAS SOUPS 14102 WITH SCORE 14117.828
AT ITER 6018 NEW BEST:: SOT 74851 SOS 15784 HAS SOPS 15784 HAS SOUS 14091 HAS SOUPS 14091 WITH SCORE 14106.784
AT ITER 6020 NEW BEST:: SOT 74848 SOS 15781 HAS SOPS 15781 HAS SOUS 14091 HAS SOUPS 14091 WITH SCORE 14106.781
AT ITER 6046 NEW BEST:: SOT 74848 SOS 15780 HAS SOPS 15780 HAS SOUS 14090 HAS SOUPS 14090 WITH SCORE 14105.78
AT ITER 6063 NEW BEST:: SOT 74827 SOS 15759 HAS SOPS 15759 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14098.759
AT ITER 6138 NEW BEST:: SOT 74821 SOS 15751 HAS SOPS 15751 HAS SOUS 14079 HAS SOUPS 14079 WITH SCORE 14094.751
AT ITER 6167 NEW BEST:: SOT 74821 SOS 15748 HAS SOPS 15748 HAS SOUS 14076 HAS SOUPS 14076 WITH SCORE 14091.748
AT ITER 6168 NEW BEST:: SOT 74857 SOS 15674 HAS SOPS 15674 HAS SOUS 14067 HAS SOUPS 14067 WITH SCORE 14082.674
AT ITER 6262 NEW BEST:: SOT 74856 SOS 15672 HAS SOPS 15672 HAS SOUS 14066 HAS SOUPS 14066 WITH SCORE 14081.672
AT ITER 6289 NEW BEST:: SOT 74856 SOS 15640 HAS SOPS 15640 HAS SOUS 14050 HAS SOUPS 14050 WITH SCORE 14065.64
AT ITER 6298 NEW BEST:: SOT 74858 SOS 15645 HAS SOPS 15645 HAS SOUS 14045 HAS SOUPS 14045 WITH SCORE 14060.645
AT ITER 6331 NEW BEST:: SOT 74841 SOS 15582 HAS SOPS 15582 HAS SOUS 14018 HAS SOUPS 14018 WITH SCORE 14033.582
AT ITER 6354 NEW BEST:: SOT 74843 SOS 15567 HAS SOPS 15567 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14032.567
AT ITER 6359 NEW BEST:: SOT 74839 SOS 15500 HAS SOPS 15500 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14014.5
AT ITER 6375 NEW BEST:: SOT 74849 SOS 15459 HAS SOPS 15459 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14002.459
AT ITER 6411 NEW BEST:: SOT 74841 SOS 15459 HAS SOPS 15459 HAS SOUS 13979 HAS SOUPS 13979 WITH SCORE 13994.459
AT ITER 6457 NEW BEST:: SOT 74841 SOS 15451 HAS SOPS 15451 HAS SOUS 13971 HAS SOUPS 13971 WITH SCORE 13986.451
AT ITER 6489 NEW BEST:: SOT 74844 SOS 15430 HAS SOPS 15430 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13973.43
AT ITER 6506 NEW BEST:: SOT 74844 SOS 15428 HAS SOPS 15428 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13971.428
AT ITER 6511 NEW BEST:: SOT 74841 SOS 15423 HAS SOPS 15423 HAS SOUS 13948 HAS SOUPS 13948 WITH SCORE 13963.423
AT ITER 6532 NEW BEST:: SOT 74844 SOS 15445 HAS SOPS 15445 HAS SOUS 13938 HAS SOUPS 13938 WITH SCORE 13953.445
AT ITER 6562 NEW BEST:: SOT 74843 SOS 15444 HAS SOPS 15444 HAS SOUS 13937 HAS SOUPS 13937 WITH SCORE 13952.444
AT ITER 6590 NEW BEST:: SOT 74848 SOS 15437 HAS SOPS 15437 HAS SOUS 13930 HAS SOUPS 13930 WITH SCORE 13945.437
AT ITER 6638 NEW BEST:: SOT 74839 SOS 15419 HAS SOPS 15419 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13940.419
AT ITER 6738 NEW BEST:: SOT 74840 SOS 15406 HAS SOPS 15406 HAS SOUS 13921 HAS SOUPS 13921 WITH SCORE 13936.406
AT ITER 6755 NEW BEST:: SOT 74840 SOS 15386 HAS SOPS 15386 HAS SOUS 13918 HAS SOUPS 13918 WITH SCORE 13933.386
AT ITER 6804 NEW BEST:: SOT 74840 SOS 15386 HAS SOPS 15386 HAS SOUS 13908 HAS SOUPS 13908 WITH SCORE 13923.386
AT ITER 6806 NEW BEST:: SOT 74831 SOS 15377 HAS SOPS 15377 HAS SOUS 13899 HAS SOUPS 13899 WITH SCORE 13914.377
AT ITER 6843 NEW BEST:: SOT 74817 SOS 15357 HAS SOPS 15357 HAS SOUS 13886 HAS SOUPS 13886 WITH SCORE 13901.357
AT ITER 6847 NEW BEST:: SOT 74817 SOS 15324 HAS SOPS 15324 HAS SOUS 13853 HAS SOUPS 13853 WITH SCORE 13868.324
AT ITER 6863 NEW BEST:: SOT 74814 SOS 15318 HAS SOPS 15318 HAS SOUS 13847 HAS SOUPS 13847 WITH SCORE 13862.318
AT ITER 6932 NEW BEST:: SOT 74794 SOS 15304 HAS SOPS 15304 HAS SOUS 13827 HAS SOUPS 13827 WITH SCORE 13842.304
AT ITER 6940 NEW BEST:: SOT 74776 SOS 15288 HAS SOPS 15288 HAS SOUS 13811 HAS SOUPS 13811 WITH SCORE 13826.288
AT ITER 6976 NEW BEST:: SOT 74776 SOS 15260 HAS SOPS 15260 HAS SOUS 13810 HAS SOUPS 13810 WITH SCORE 13825.26
AT ITER 6984 NEW BEST:: SOT 74776 SOS 15256 HAS SOPS 15256 HAS SOUS 13806 HAS SOUPS 13806 WITH SCORE 13821.256
AT ITER 6994 NEW BEST:: SOT 74798 SOS 15253 HAS SOPS 15253 HAS SOUS 13803 HAS SOUPS 13803 WITH SCORE 13818.253
AT ITER 7011 NEW BEST:: SOT 74800 SOS 15251 HAS SOPS 15251 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13816.251
AT ITER 7037 NEW BEST:: SOT 74800 SOS 15250 HAS SOPS 15250 HAS SOUS 13800 HAS SOUPS 13800 WITH SCORE 13815.25
AT ITER 7048 NEW BEST:: SOT 74800 SOS 15243 HAS SOPS 15243 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13808.243
AT ITER 7100 NEW BEST:: SOT 74790 SOS 15223 HAS SOPS 15223 HAS SOUS 13787 HAS SOUPS 13787 WITH SCORE 13802.223
AT ITER 7101 NEW BEST:: SOT 74790 SOS 15227 HAS SOPS 15227 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13798.227
AT ITER 7170 NEW BEST:: SOT 74790 SOS 15226 HAS SOPS 15226 HAS SOUS 13782 HAS SOUPS 13782 WITH SCORE 13797.226
AT ITER 7190 NEW BEST:: SOT 74788 SOS 15222 HAS SOPS 15222 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13793.222
AT ITER 7208 NEW BEST:: SOT 74788 SOS 15219 HAS SOPS 15219 HAS SOUS 13775 HAS SOUPS 13775 WITH SCORE 13790.219
AT ITER 7232 NEW BEST:: SOT 74788 SOS 15219 HAS SOPS 15219 HAS SOUS 13768 HAS SOUPS 13768 WITH SCORE 13783.219
AT ITER 7257 NEW BEST:: SOT 74788 SOS 15217 HAS SOPS 15217 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13781.217
AT ITER 7263 NEW BEST:: SOT 74784 SOS 15210 HAS SOPS 15210 HAS SOUS 13759 HAS SOUPS 13759 WITH SCORE 13774.21
AT ITER 7335 NEW BEST:: SOT 74788 SOS 15213 HAS SOPS 15213 HAS SOUS 13757 HAS SOUPS 13757 WITH SCORE 13772.213
AT ITER 7352 NEW BEST:: SOT 74776 SOS 15176 HAS SOPS 15176 HAS SOUS 13741 HAS SOUPS 13741 WITH SCORE 13756.176
AT ITER 7447 NEW BEST:: SOT 74747 SOS 15154 HAS SOPS 15154 HAS SOUS 13719 HAS SOUPS 13719 WITH SCORE 13734.154
AT ITER 7507 NEW BEST:: SOT 74747 SOS 15154 HAS SOPS 15154 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13724.154
AT ITER 7548 NEW BEST:: SOT 74747 SOS 15110 HAS SOPS 15110 HAS SOUS 13665 HAS SOUPS 13665 WITH SCORE 13680.11
AT ITER 7592 NEW BEST:: SOT 74731 SOS 15057 HAS SOPS 15057 HAS SOUS 13628 HAS SOUPS 13628 WITH SCORE 13643.057
AT ITER 7600 NEW BEST:: SOT 74738 SOS 15099 HAS SOPS 15099 HAS SOUS 13626 HAS SOUPS 13626 WITH SCORE 13641.099
AT ITER 7613 NEW BEST:: SOT 74728 SOS 15088 HAS SOPS 15088 HAS SOUS 13615 HAS SOUPS 13615 WITH SCORE 13630.088
AT ITER 7626 NEW BEST:: SOT 74727 SOS 15085 HAS SOPS 15085 HAS SOUS 13614 HAS SOUPS 13614 WITH SCORE 13629.085
AT ITER 7659 NEW BEST:: SOT 74733 SOS 15022 HAS SOPS 15022 HAS SOUS 13583 HAS SOUPS 13583 WITH SCORE 13598.022
AT ITER 7664 NEW BEST:: SOT 74724 SOS 15012 HAS SOPS 15012 HAS SOUS 13583 HAS SOUPS 13583 WITH SCORE 13598.012
AT ITER 7684 NEW BEST:: SOT 74711 SOS 15001 HAS SOPS 15001 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13587.001
AT ITER 7685 NEW BEST:: SOT 74711 SOS 14994 HAS SOPS 14994 HAS SOUS 13565 HAS SOUPS 13565 WITH SCORE 13579.994
AT ITER 7693 NEW BEST:: SOT 74740 SOS 14963 HAS SOPS 14963 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13556.963
AT ITER 7710 NEW BEST:: SOT 74739 SOS 14962 HAS SOPS 14962 HAS SOUS 13541 HAS SOUPS 13541 WITH SCORE 13555.962
AT ITER 7712 NEW BEST:: SOT 74736 SOS 14995 HAS SOPS 14995 HAS SOUS 13536 HAS SOUPS 13536 WITH SCORE 13550.995
AT ITER 7835 NEW BEST:: SOT 74736 SOS 14991 HAS SOPS 14991 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13546.991
AT ITER 7861 NEW BEST:: SOT 74746 SOS 14998 HAS SOPS 14998 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13543.998
AT ITER 7869 NEW BEST:: SOT 74745 SOS 14979 HAS SOPS 14979 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13541.979
AT ITER 7884 NEW BEST:: SOT 74745 SOS 14955 HAS SOPS 14955 HAS SOUS 13503 HAS SOUPS 13503 WITH SCORE 13517.955
AT ITER 7947 NEW BEST:: SOT 74746 SOS 14953 HAS SOPS 14953 HAS SOUS 13501 HAS SOUPS 13501 WITH SCORE 13515.953
AT ITER 7988 NEW BEST:: SOT 74746 SOS 14951 HAS SOPS 14951 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13514.951
AT ITER 8018 NEW BEST:: SOT 74745 SOS 14949 HAS SOPS 14949 HAS SOUS 13497 HAS SOUPS 13497 WITH SCORE 13511.949
AT ITER 8055 NEW BEST:: SOT 74747 SOS 14948 HAS SOPS 14948 HAS SOUS 13493 HAS SOUPS 13493 WITH SCORE 13507.948
AT ITER 8178 NEW BEST:: SOT 74736 SOS 14937 HAS SOPS 14937 HAS SOUS 13493 HAS SOUPS 13493 WITH SCORE 13507.937
AT ITER 8206 NEW BEST:: SOT 74734 SOS 14935 HAS SOPS 14935 HAS SOUS 13492 HAS SOUPS 13492 WITH SCORE 13506.935
AT ITER 8239 NEW BEST:: SOT 74734 SOS 14932 HAS SOPS 14932 HAS SOUS 13489 HAS SOUPS 13489 WITH SCORE 13503.932
AT ITER 8292 NEW BEST:: SOT 74747 SOS 14919 HAS SOPS 14919 HAS SOUS 13476 HAS SOUPS 13476 WITH SCORE 13490.919
AT ITER 8293 NEW BEST:: SOT 74756 SOS 14913 HAS SOPS 14913 HAS SOUS 13475 HAS SOUPS 13475 WITH SCORE 13489.913
AT ITER 8323 NEW BEST:: SOT 74793 SOS 14955 HAS SOPS 14955 HAS SOUS 13472 HAS SOUPS 13472 WITH SCORE 13486.955
AT ITER 8374 NEW BEST:: SOT 74793 SOS 14964 HAS SOPS 14964 HAS SOUS 13463 HAS SOUPS 13463 WITH SCORE 13477.964
AT ITER 8383 NEW BEST:: SOT 74793 SOS 14956 HAS SOPS 14956 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13469.956
AT ITER 8410 NEW BEST:: SOT 74792 SOS 14952 HAS SOPS 14952 HAS SOUS 13451 HAS SOUPS 13451 WITH SCORE 13465.952
AT ITER 8436 NEW BEST:: SOT 74780 SOS 14928 HAS SOPS 14928 HAS SOUS 13438 HAS SOUPS 13438 WITH SCORE 13452.928
AT ITER 8457 NEW BEST:: SOT 74780 SOS 14927 HAS SOPS 14927 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13451.927
AT ITER 8497 NEW BEST:: SOT 74778 SOS 14923 HAS SOPS 14923 HAS SOUS 13433 HAS SOUPS 13433 WITH SCORE 13447.923
AT ITER 8524 NEW BEST:: SOT 74777 SOS 14920 HAS SOPS 14920 HAS SOUS 13431 HAS SOUPS 13431 WITH SCORE 13445.92
AT ITER 8535 NEW BEST:: SOT 74780 SOS 14917 HAS SOPS 14917 HAS SOUS 13428 HAS SOUPS 13428 WITH SCORE 13442.917
AT ITER 8556 NEW BEST:: SOT 74779 SOS 14910 HAS SOPS 14910 HAS SOUS 13423 HAS SOUPS 13423 WITH SCORE 13437.91
AT ITER 8558 NEW BEST:: SOT 74777 SOS 14899 HAS SOPS 14899 HAS SOUS 13412 HAS SOUPS 13412 WITH SCORE 13426.899
AT ITER 8586 NEW BEST:: SOT 74773 SOS 14893 HAS SOPS 14893 HAS SOUS 13408 HAS SOUPS 13408 WITH SCORE 13422.893
AT ITER 8605 NEW BEST:: SOT 74773 SOS 14885 HAS SOPS 14885 HAS SOUS 13400 HAS SOUPS 13400 WITH SCORE 13414.885
AT ITER 8670 NEW BEST:: SOT 74773 SOS 14878 HAS SOPS 14878 HAS SOUS 13393 HAS SOUPS 13393 WITH SCORE 13407.878
AT ITER 8714 NEW BEST:: SOT 74774 SOS 14877 HAS SOPS 14877 HAS SOUS 13391 HAS SOUPS 13391 WITH SCORE 13405.877
AT ITER 8738 NEW BEST:: SOT 74741 SOS 14835 HAS SOPS 14835 HAS SOUS 13375 HAS SOUPS 13375 WITH SCORE 13389.835
AT ITER 8782 NEW BEST:: SOT 74741 SOS 14831 HAS SOPS 14831 HAS SOUS 13371 HAS SOUPS 13371 WITH SCORE 13385.831
AT ITER 8837 NEW BEST:: SOT 74741 SOS 14829 HAS SOPS 14829 HAS SOUS 13371 HAS SOUPS 13371 WITH SCORE 13385.829
AT ITER 8898 NEW BEST:: SOT 74745 SOS 14828 HAS SOPS 14828 HAS SOUS 13362 HAS SOUPS 13362 WITH SCORE 13376.828
AT ITER 8947 NEW BEST:: SOT 74745 SOS 14824 HAS SOPS 14824 HAS SOUS 13358 HAS SOUPS 13358 WITH SCORE 13372.824
AT ITER 8948 NEW BEST:: SOT 74744 SOS 14832 HAS SOPS 14832 HAS SOUS 13356 HAS SOUPS 13356 WITH SCORE 13370.832
AT ITER 8987 NEW BEST:: SOT 74740 SOS 14818 HAS SOPS 14818 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13362.818
AT ITER 9066 NEW BEST:: SOT 74747 SOS 14814 HAS SOPS 14814 HAS SOUS 13344 HAS SOUPS 13344 WITH SCORE 13358.814
AT ITER 9079 NEW BEST:: SOT 74747 SOS 14788 HAS SOPS 14788 HAS SOUS 13325 HAS SOUPS 13325 WITH SCORE 13339.788
AT ITER 9081 NEW BEST:: SOT 74731 SOS 14724 HAS SOPS 14724 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13323.724
AT ITER 9133 NEW BEST:: SOT 74729 SOS 14720 HAS SOPS 14720 HAS SOUS 13307 HAS SOUPS 13307 WITH SCORE 13321.72
AT ITER 9149 NEW BEST:: SOT 74723 SOS 14708 HAS SOPS 14708 HAS SOUS 13295 HAS SOUPS 13295 WITH SCORE 13309.708
AT ITER 9176 NEW BEST:: SOT 74723 SOS 14712 HAS SOPS 14712 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13305.712
AT ITER 9192 NEW BEST:: SOT 74723 SOS 14704 HAS SOPS 14704 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13289.704
AT ITER 9211 NEW BEST:: SOT 74722 SOS 14705 HAS SOPS 14705 HAS SOUS 13273 HAS SOUPS 13273 WITH SCORE 13287.705
AT ITER 9279 NEW BEST:: SOT 74722 SOS 14699 HAS SOPS 14699 HAS SOUS 13273 HAS SOUPS 13273 WITH SCORE 13287.699
AT ITER 9545 NEW BEST:: SOT 74718 SOS 14695 HAS SOPS 14695 HAS SOUS 13269 HAS SOUPS 13269 WITH SCORE 13283.695
AT ITER 9660 NEW BEST:: SOT 74712 SOS 14690 HAS SOPS 14690 HAS SOUS 13264 HAS SOUPS 13264 WITH SCORE 13278.69
AT ITER 9679 NEW BEST:: SOT 74712 SOS 14677 HAS SOPS 14677 HAS SOUS 13251 HAS SOUPS 13251 WITH SCORE 13265.677
AT ITER 9699 NEW BEST:: SOT 74712 SOS 14667 HAS SOPS 14667 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13255.667
AT ITER 9703 NEW BEST:: SOT 74712 SOS 14653 HAS SOPS 14653 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13255.653
AT ITER 9717 NEW BEST:: SOT 74712 SOS 14648 HAS SOPS 14648 HAS SOUS 13236 HAS SOUPS 13236 WITH SCORE 13250.648
AT ITER 9770 NEW BEST:: SOT 74707 SOS 14615 HAS SOPS 14615 HAS SOUS 13220 HAS SOUPS 13220 WITH SCORE 13234.615
AT ITER 9843 NEW BEST:: SOT 74681 SOS 14589 HAS SOPS 14589 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13208.589
AT ITER 9910 NEW BEST:: SOT 74659 SOS 14510 HAS SOPS 14510 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13164.51
AT ITER 9950 NEW BEST:: SOT 74663 SOS 14506 HAS SOPS 14506 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13164.506
AT ITER 9969 NEW BEST:: SOT 74661 SOS 14504 HAS SOPS 14504 HAS SOUS 13148 HAS SOUPS 13148 WITH SCORE 13162.504
AT ITER 9973 NEW BEST:: SOT 74659 SOS 14500 HAS SOPS 14500 HAS SOUS 13144 HAS SOUPS 13144 WITH SCORE 13158.5
AT ITER 9998 NEW BEST:: SOT 74651 SOS 14484 HAS SOPS 14484 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13150.484
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8998412 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153436 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-005B"
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-005B, 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-167903712000608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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