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.r067-smll-167814394800432.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 CloudDeployment-PT-6a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394800432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 788K
-rw-r--r-- 1 mcc users 6.8K Feb 25 15:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 15:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 15:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 15:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 15:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K Feb 25 15:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 15:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 15:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 317K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678308343202

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=CloudDeployment-PT-6a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 6a
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: 221 places, 908 transitions, 5517 arcs.
AT ITER 0 NEW BEST:: SOT 157763 SOS 92225 HAS SOPS 86851 HAS SOUS 73439 HAS SOUPS 68768 WITH SCORE 68860.225
AT ITER 2 NEW BEST:: SOT 157748 SOS 92195 HAS SOPS 86845 HAS SOUS 73322 HAS SOUPS 68675 WITH SCORE 68767.195
AT ITER 3 NEW BEST:: SOT 157466 SOS 91692 HAS SOPS 86342 HAS SOUS 73186 HAS SOUPS 68539 WITH SCORE 68630.692
AT ITER 6 NEW BEST:: SOT 156895 SOS 93757 HAS SOPS 86076 HAS SOUS 72749 HAS SOUPS 68239 WITH SCORE 68332.757
AT ITER 8 NEW BEST:: SOT 156844 SOS 93808 HAS SOPS 86178 HAS SOUS 72530 HAS SOUPS 68071 WITH SCORE 68164.808
AT ITER 9 NEW BEST:: SOT 156852 SOS 93760 HAS SOPS 86130 HAS SOUS 72482 HAS SOUPS 68023 WITH SCORE 68116.76
AT ITER 12 NEW BEST:: SOT 156959 SOS 93974 HAS SOPS 86295 HAS SOUS 72462 HAS SOUPS 67954 WITH SCORE 68047.974
AT ITER 13 NEW BEST:: SOT 157137 SOS 94128 HAS SOPS 86538 HAS SOUS 72084 HAS SOUPS 67665 WITH SCORE 67759.128
AT ITER 16 NEW BEST:: SOT 156856 SOS 93871 HAS SOPS 86281 HAS SOUS 72064 HAS SOUPS 67645 WITH SCORE 67738.871
AT ITER 17 NEW BEST:: SOT 157139 SOS 93847 HAS SOPS 86257 HAS SOUS 71386 HAS SOUPS 66967 WITH SCORE 67060.847
AT ITER 21 NEW BEST:: SOT 157073 SOS 93780 HAS SOPS 86190 HAS SOUS 71319 HAS SOUPS 66900 WITH SCORE 66993.78
AT ITER 23 NEW BEST:: SOT 157734 SOS 94369 HAS SOPS 86840 HAS SOUS 70927 HAS SOUPS 66508 WITH SCORE 66602.369
AT ITER 24 NEW BEST:: SOT 157053 SOS 96213 HAS SOPS 86715 HAS SOUS 70474 HAS SOUPS 66371 WITH SCORE 66467.213
AT ITER 25 NEW BEST:: SOT 157053 SOS 96058 HAS SOPS 86652 HAS SOUS 67132 HAS SOUPS 63029 WITH SCORE 63125.058
AT ITER 29 NEW BEST:: SOT 157245 SOS 96345 HAS SOPS 87035 HAS SOUS 66891 HAS SOUPS 62884 WITH SCORE 62980.345
AT ITER 34 NEW BEST:: SOT 157051 SOS 98303 HAS SOPS 87049 HAS SOUS 66508 HAS SOUPS 62676 WITH SCORE 62774.303
AT ITER 37 NEW BEST:: SOT 157033 SOS 98249 HAS SOPS 87013 HAS SOUS 66436 HAS SOUPS 62622 WITH SCORE 62720.249
AT ITER 43 NEW BEST:: SOT 157089 SOS 98259 HAS SOPS 87051 HAS SOUS 66293 HAS SOUPS 62507 WITH SCORE 62605.259
AT ITER 49 NEW BEST:: SOT 157502 SOS 95675 HAS SOPS 87125 HAS SOUS 66476 HAS SOUPS 62475 WITH SCORE 62570.675
AT ITER 51 NEW BEST:: SOT 157974 SOS 96062 HAS SOPS 87613 HAS SOUS 66357 HAS SOUPS 62356 WITH SCORE 62452.062
AT ITER 52 NEW BEST:: SOT 158060 SOS 95989 HAS SOPS 87484 HAS SOUS 66185 HAS SOUPS 62141 WITH SCORE 62236.989
AT ITER 62 NEW BEST:: SOT 157944 SOS 95873 HAS SOPS 87397 HAS SOUS 66098 HAS SOUPS 62083 WITH SCORE 62178.873
AT ITER 63 NEW BEST:: SOT 157957 SOS 95886 HAS SOPS 87410 HAS SOUS 66048 HAS SOUPS 62033 WITH SCORE 62128.886
AT ITER 66 NEW BEST:: SOT 157970 SOS 95808 HAS SOPS 87332 HAS SOUS 65856 HAS SOUPS 61841 WITH SCORE 61936.808
AT ITER 68 NEW BEST:: SOT 157429 SOS 95449 HAS SOPS 86911 HAS SOUS 65452 HAS SOUPS 61420 WITH SCORE 61515.449
AT ITER 69 NEW BEST:: SOT 157810 SOS 95615 HAS SOPS 87226 HAS SOUS 64865 HAS SOUPS 60970 WITH SCORE 61065.615
AT ITER 70 NEW BEST:: SOT 157809 SOS 95334 HAS SOPS 87041 HAS SOUS 59564 HAS SOUPS 55669 WITH SCORE 55764.334
AT ITER 71 NEW BEST:: SOT 157809 SOS 95322 HAS SOPS 87029 HAS SOUS 59552 HAS SOUPS 55657 WITH SCORE 55752.322
AT ITER 72 NEW BEST:: SOT 157915 SOS 95481 HAS SOPS 87241 HAS SOUS 59446 HAS SOUPS 55604 WITH SCORE 55699.481
AT ITER 73 NEW BEST:: SOT 157755 SOS 95415 HAS SOPS 87175 HAS SOUS 59387 HAS SOUPS 55545 WITH SCORE 55640.415
AT ITER 80 NEW BEST:: SOT 157855 SOS 95353 HAS SOPS 87113 HAS SOUS 59305 HAS SOUPS 55463 WITH SCORE 55558.353
AT ITER 86 NEW BEST:: SOT 157736 SOS 95303 HAS SOPS 87110 HAS SOUS 59034 HAS SOUPS 55239 WITH SCORE 55334.303
AT ITER 87 NEW BEST:: SOT 158012 SOS 95980 HAS SOPS 87940 HAS SOUS 58765 HAS SOUPS 55128 WITH SCORE 55223.98
AT ITER 88 NEW BEST:: SOT 156117 SOS 94085 HAS SOPS 86045 HAS SOUS 56870 HAS SOUPS 53233 WITH SCORE 53327.085
AT ITER 91 NEW BEST:: SOT 155783 SOS 93729 HAS SOPS 85689 HAS SOUS 56514 HAS SOUPS 52877 WITH SCORE 52970.729
AT ITER 95 NEW BEST:: SOT 155579 SOS 93519 HAS SOPS 85359 HAS SOUS 56403 HAS SOUPS 52688 WITH SCORE 52781.519
AT ITER 96 NEW BEST:: SOT 155579 SOS 93519 HAS SOPS 85359 HAS SOUS 56145 HAS SOUPS 52430 WITH SCORE 52523.519
AT ITER 97 NEW BEST:: SOT 155899 SOS 93787 HAS SOPS 85745 HAS SOUS 55947 HAS SOUPS 52347 WITH SCORE 52440.787
AT ITER 98 NEW BEST:: SOT 156093 SOS 93911 HAS SOPS 85869 HAS SOUS 55698 HAS SOUPS 52098 WITH SCORE 52191.911
AT ITER 101 NEW BEST:: SOT 156093 SOS 94005 HAS SOPS 85868 HAS SOUS 55697 HAS SOUPS 52097 WITH SCORE 52191.005
AT ITER 104 NEW BEST:: SOT 156004 SOS 93916 HAS SOPS 85779 HAS SOUS 55608 HAS SOUPS 52008 WITH SCORE 52101.916
AT ITER 105 NEW BEST:: SOT 156179 SOS 94091 HAS SOPS 86129 HAS SOUS 55334 HAS SOUPS 51822 WITH SCORE 51916.091
AT ITER 109 NEW BEST:: SOT 156260 SOS 94153 HAS SOPS 86290 HAS SOUS 54980 HAS SOUPS 51561 WITH SCORE 51655.153
AT ITER 111 NEW BEST:: SOT 156255 SOS 89652 HAS SOPS 78775 HAS SOUS 55012 HAS SOUPS 51371 WITH SCORE 51460.652
AT ITER 117 NEW BEST:: SOT 156411 SOS 89704 HAS SOPS 79000 HAS SOUS 54756 HAS SOUPS 51202 WITH SCORE 51291.704
AT ITER 123 NEW BEST:: SOT 156411 SOS 88220 HAS SOPS 76955 HAS SOUS 54082 HAS SOUPS 50528 WITH SCORE 50616.22
AT ITER 124 NEW BEST:: SOT 156772 SOS 88339 HAS SOPS 77146 HAS SOUS 53803 HAS SOUPS 50266 WITH SCORE 50354.339
AT ITER 125 NEW BEST:: SOT 156869 SOS 88421 HAS SOPS 77228 HAS SOUS 53783 HAS SOUPS 50246 WITH SCORE 50334.421
AT ITER 127 NEW BEST:: SOT 156317 SOS 88079 HAS SOPS 76786 HAS SOUS 53340 HAS SOUPS 49804 WITH SCORE 49892.079
AT ITER 128 NEW BEST:: SOT 156310 SOS 88072 HAS SOPS 76779 HAS SOUS 53333 HAS SOUPS 49797 WITH SCORE 49885.072
AT ITER 129 NEW BEST:: SOT 156209 SOS 87993 HAS SOPS 76688 HAS SOUS 53140 HAS SOUPS 49604 WITH SCORE 49691.993
AT ITER 130 NEW BEST:: SOT 156197 SOS 87867 HAS SOPS 76528 HAS SOUS 52906 HAS SOUPS 49370 WITH SCORE 49457.867
AT ITER 134 NEW BEST:: SOT 156173 SOS 87855 HAS SOPS 76528 HAS SOUS 52894 HAS SOUPS 49370 WITH SCORE 49457.855
AT ITER 135 NEW BEST:: SOT 156119 SOS 87855 HAS SOPS 76528 HAS SOUS 52690 HAS SOUPS 49166 WITH SCORE 49253.855
AT ITER 136 NEW BEST:: SOT 156166 SOS 87855 HAS SOPS 76528 HAS SOUS 52680 HAS SOUPS 49156 WITH SCORE 49243.855
AT ITER 144 NEW BEST:: SOT 156332 SOS 88063 HAS SOPS 76819 HAS SOUS 52529 HAS SOUPS 49088 WITH SCORE 49176.063
AT ITER 147 NEW BEST:: SOT 156238 SOS 88016 HAS SOPS 76725 HAS SOUS 52555 HAS SOUPS 49067 WITH SCORE 49155.016
AT ITER 148 NEW BEST:: SOT 155979 SOS 87792 HAS SOPS 76412 HAS SOUS 52432 HAS SOUPS 48944 WITH SCORE 49031.792
AT ITER 149 NEW BEST:: SOT 155954 SOS 87785 HAS SOPS 76309 HAS SOUS 49242 HAS SOUPS 45669 WITH SCORE 45756.785
AT ITER 151 NEW BEST:: SOT 156168 SOS 87741 HAS SOPS 76388 HAS SOUS 48948 HAS SOUPS 45482 WITH SCORE 45569.741
AT ITER 155 NEW BEST:: SOT 156117 SOS 87690 HAS SOPS 76337 HAS SOUS 48885 HAS SOUPS 45419 WITH SCORE 45506.69
AT ITER 159 NEW BEST:: SOT 156384 SOS 87895 HAS SOPS 76700 HAS SOUS 48663 HAS SOUPS 45315 WITH SCORE 45402.895
AT ITER 163 NEW BEST:: SOT 156383 SOS 87893 HAS SOPS 76698 HAS SOUS 48663 HAS SOUPS 45315 WITH SCORE 45402.893
AT ITER 164 NEW BEST:: SOT 156357 SOS 87867 HAS SOPS 76672 HAS SOUS 48637 HAS SOUPS 45289 WITH SCORE 45376.867
AT ITER 169 NEW BEST:: SOT 156303 SOS 87840 HAS SOPS 76618 HAS SOUS 48629 HAS SOUPS 45254 WITH SCORE 45341.84
AT ITER 170 NEW BEST:: SOT 156590 SOS 88004 HAS SOPS 76895 HAS SOUS 48308 HAS SOUPS 45058 WITH SCORE 45146.004
AT ITER 174 NEW BEST:: SOT 156870 SOS 87892 HAS SOPS 76965 HAS SOUS 48094 HAS SOUPS 44871 WITH SCORE 44958.892
AT ITER 175 NEW BEST:: SOT 156777 SOS 87760 HAS SOPS 76833 HAS SOUS 47884 HAS SOUPS 44661 WITH SCORE 44748.76
AT ITER 179 NEW BEST:: SOT 156777 SOS 87606 HAS SOPS 77138 HAS SOUS 47879 HAS SOUPS 44661 WITH SCORE 44748.606
AT ITER 181 NEW BEST:: SOT 156774 SOS 87561 HAS SOPS 77090 HAS SOUS 47786 HAS SOUPS 44565 WITH SCORE 44652.561
AT ITER 186 NEW BEST:: SOT 156828 SOS 87579 HAS SOPS 77144 HAS SOUS 47764 HAS SOUPS 44552 WITH SCORE 44639.579
AT ITER 190 NEW BEST:: SOT 156850 SOS 87473 HAS SOPS 77053 HAS SOUS 47720 HAS SOUPS 44462 WITH SCORE 44549.473
AT ITER 192 NEW BEST:: SOT 156850 SOS 87504 HAS SOPS 77024 HAS SOUS 47692 HAS SOUPS 44449 WITH SCORE 44536.504
AT ITER 194 NEW BEST:: SOT 156814 SOS 87059 HAS SOPS 76579 HAS SOUS 47624 HAS SOUPS 44381 WITH SCORE 44468.059
AT ITER 196 NEW BEST:: SOT 156854 SOS 87139 HAS SOPS 76592 HAS SOUS 47586 HAS SOUPS 44347 WITH SCORE 44434.139
AT ITER 197 NEW BEST:: SOT 156804 SOS 86029 HAS SOPS 74991 HAS SOUS 47354 HAS SOUPS 44090 WITH SCORE 44176.029
AT ITER 201 NEW BEST:: SOT 156791 SOS 86055 HAS SOPS 74939 HAS SOUS 47360 HAS SOUPS 44083 WITH SCORE 44169.055
AT ITER 205 NEW BEST:: SOT 156879 SOS 85778 HAS SOPS 74662 HAS SOUS 47228 HAS SOUPS 43951 WITH SCORE 44036.778
AT ITER 206 NEW BEST:: SOT 156835 SOS 85711 HAS SOPS 74595 HAS SOUS 46920 HAS SOUPS 43643 WITH SCORE 43728.711
AT ITER 209 NEW BEST:: SOT 156655 SOS 85756 HAS SOPS 74640 HAS SOUS 46886 HAS SOUPS 43609 WITH SCORE 43694.756
AT ITER 219 NEW BEST:: SOT 156568 SOS 84196 HAS SOPS 72169 HAS SOUS 45183 HAS SOUPS 41821 WITH SCORE 41905.196
AT ITER 220 NEW BEST:: SOT 155357 SOS 86606 HAS SOPS 71865 HAS SOUS 44778 HAS SOUPS 41724 WITH SCORE 41810.606
AT ITER 221 NEW BEST:: SOT 155212 SOS 86453 HAS SOPS 71704 HAS SOUS 44739 HAS SOUPS 41671 WITH SCORE 41757.453
AT ITER 223 NEW BEST:: SOT 155175 SOS 86416 HAS SOPS 71667 HAS SOUS 44702 HAS SOUPS 41634 WITH SCORE 41720.416
AT ITER 225 NEW BEST:: SOT 155127 SOS 86374 HAS SOPS 71475 HAS SOUS 44689 HAS SOUPS 41542 WITH SCORE 41628.374
AT ITER 229 NEW BEST:: SOT 155594 SOS 86841 HAS SOPS 71935 HAS SOUS 42214 HAS SOUPS 39067 WITH SCORE 39153.841
AT ITER 233 NEW BEST:: SOT 155512 SOS 85770 HAS SOPS 70156 HAS SOUS 42145 HAS SOUPS 38941 WITH SCORE 39026.77
AT ITER 234 NEW BEST:: SOT 154247 SOS 85922 HAS SOPS 69392 HAS SOUS 41782 HAS SOUPS 38577 WITH SCORE 38662.922
AT ITER 237 NEW BEST:: SOT 153410 SOS 90203 HAS SOPS 69352 HAS SOUS 41462 HAS SOUPS 38448 WITH SCORE 38538.203
AT ITER 245 NEW BEST:: SOT 153501 SOS 90270 HAS SOPS 69419 HAS SOUS 41285 HAS SOUPS 38271 WITH SCORE 38361.27
AT ITER 247 NEW BEST:: SOT 153910 SOS 88291 HAS SOPS 63977 HAS SOUS 41446 HAS SOUPS 38053 WITH SCORE 38141.291
AT ITER 252 NEW BEST:: SOT 153891 SOS 88137 HAS SOPS 63823 HAS SOUS 41358 HAS SOUPS 37965 WITH SCORE 38053.137
AT ITER 253 NEW BEST:: SOT 151706 SOS 87731 HAS SOPS 63252 HAS SOUS 40655 HAS SOUPS 37538 WITH SCORE 37625.731
AT ITER 254 NEW BEST:: SOT 151574 SOS 87598 HAS SOPS 63119 HAS SOUS 40522 HAS SOUPS 37405 WITH SCORE 37492.598
AT ITER 259 NEW BEST:: SOT 151461 SOS 87163 HAS SOPS 62676 HAS SOUS 40401 HAS SOUPS 37209 WITH SCORE 37296.163
AT ITER 262 NEW BEST:: SOT 151401 SOS 87115 HAS SOPS 62628 HAS SOUS 40326 HAS SOUPS 37134 WITH SCORE 37221.115
AT ITER 263 NEW BEST:: SOT 151403 SOS 87117 HAS SOPS 62606 HAS SOUS 40288 HAS SOUPS 37096 WITH SCORE 37183.117
AT ITER 264 NEW BEST:: SOT 151400 SOS 87114 HAS SOPS 62603 HAS SOUS 40264 HAS SOUPS 37072 WITH SCORE 37159.114
AT ITER 265 NEW BEST:: SOT 151689 SOS 87175 HAS SOPS 62923 HAS SOUS 40113 HAS SOUPS 36946 WITH SCORE 37033.175
AT ITER 266 NEW BEST:: SOT 151914 SOS 87343 HAS SOPS 63091 HAS SOUS 39980 HAS SOUPS 36813 WITH SCORE 36900.343
AT ITER 269 NEW BEST:: SOT 150617 SOS 86812 HAS SOPS 62760 HAS SOUS 39583 HAS SOUPS 36428 WITH SCORE 36514.812
AT ITER 274 NEW BEST:: SOT 150726 SOS 86860 HAS SOPS 62930 HAS SOUS 39416 HAS SOUPS 36322 WITH SCORE 36408.86
AT ITER 275 NEW BEST:: SOT 150034 SOS 86298 HAS SOPS 62381 HAS SOUS 38908 HAS SOUPS 35814 WITH SCORE 35900.298
AT ITER 277 NEW BEST:: SOT 149771 SOS 86040 HAS SOPS 62500 HAS SOUS 38902 HAS SOUPS 35808 WITH SCORE 35894.04
AT ITER 278 NEW BEST:: SOT 149901 SOS 86044 HAS SOPS 62504 HAS SOUS 38893 HAS SOUPS 35799 WITH SCORE 35885.044
AT ITER 279 NEW BEST:: SOT 149891 SOS 86059 HAS SOPS 62484 HAS SOUS 38893 HAS SOUPS 35794 WITH SCORE 35880.059
AT ITER 283 NEW BEST:: SOT 149201 SOS 85930 HAS SOPS 62106 HAS SOUS 36183 HAS SOUPS 33032 WITH SCORE 33117.93
AT ITER 287 NEW BEST:: SOT 149101 SOS 85730 HAS SOPS 61906 HAS SOUS 36139 HAS SOUPS 32988 WITH SCORE 33073.73
AT ITER 290 NEW BEST:: SOT 146155 SOS 84263 HAS SOPS 60956 HAS SOUS 34781 HAS SOUPS 31851 WITH SCORE 31935.263
AT ITER 291 NEW BEST:: SOT 146131 SOS 84170 HAS SOPS 60571 HAS SOUS 34739 HAS SOUPS 31809 WITH SCORE 31893.17
AT ITER 293 NEW BEST:: SOT 145981 SOS 84052 HAS SOPS 60321 HAS SOUS 34609 HAS SOUPS 31616 WITH SCORE 31700.052
AT ITER 295 NEW BEST:: SOT 145947 SOS 83984 HAS SOPS 60253 HAS SOUS 34580 HAS SOUPS 31587 WITH SCORE 31670.984
AT ITER 298 NEW BEST:: SOT 145959 SOS 83995 HAS SOPS 60253 HAS SOUS 34540 HAS SOUPS 31548 WITH SCORE 31631.995
AT ITER 300 NEW BEST:: SOT 145879 SOS 83971 HAS SOPS 60269 HAS SOUS 34532 HAS SOUPS 31540 WITH SCORE 31623.971
AT ITER 301 NEW BEST:: SOT 145895 SOS 83877 HAS SOPS 60175 HAS SOUS 34444 HAS SOUPS 31452 WITH SCORE 31535.877
AT ITER 303 NEW BEST:: SOT 146378 SOS 84012 HAS SOPS 60380 HAS SOUS 34428 HAS SOUPS 31449 WITH SCORE 31533.012
AT ITER 304 NEW BEST:: SOT 146449 SOS 84146 HAS SOPS 60500 HAS SOUS 34210 HAS SOUPS 31231 WITH SCORE 31315.146
AT ITER 307 NEW BEST:: SOT 146443 SOS 84140 HAS SOPS 60494 HAS SOUS 34204 HAS SOUPS 31225 WITH SCORE 31309.14
AT ITER 311 NEW BEST:: SOT 146416 SOS 84113 HAS SOPS 60441 HAS SOUS 33837 HAS SOUPS 30858 WITH SCORE 30942.113
AT ITER 313 NEW BEST:: SOT 146416 SOS 84005 HAS SOPS 60297 HAS SOUS 33729 HAS SOUPS 30750 WITH SCORE 30834.005
AT ITER 315 NEW BEST:: SOT 146217 SOS 83908 HAS SOPS 60232 HAS SOUS 33724 HAS SOUPS 30745 WITH SCORE 30828.908
AT ITER 316 NEW BEST:: SOT 146207 SOS 83898 HAS SOPS 60222 HAS SOUS 33660 HAS SOUPS 30681 WITH SCORE 30764.898
AT ITER 321 NEW BEST:: SOT 146272 SOS 83747 HAS SOPS 60109 HAS SOUS 33657 HAS SOUPS 30678 WITH SCORE 30761.747
AT ITER 326 NEW BEST:: SOT 146501 SOS 83590 HAS SOPS 60133 HAS SOUS 33520 HAS SOUPS 30587 WITH SCORE 30670.59
AT ITER 327 NEW BEST:: SOT 146341 SOS 83360 HAS SOPS 59959 HAS SOUS 33455 HAS SOUPS 30503 WITH SCORE 30586.36
AT ITER 330 NEW BEST:: SOT 146803 SOS 83462 HAS SOPS 60223 HAS SOUS 33294 HAS SOUPS 30394 WITH SCORE 30477.462
AT ITER 336 NEW BEST:: SOT 145278 SOS 86530 HAS SOPS 59669 HAS SOUS 33148 HAS SOUPS 29959 WITH SCORE 30045.53
AT ITER 337 NEW BEST:: SOT 145361 SOS 86516 HAS SOPS 59655 HAS SOUS 33111 HAS SOUPS 29922 WITH SCORE 30008.516
AT ITER 342 NEW BEST:: SOT 145341 SOS 86496 HAS SOPS 59637 HAS SOUS 33107 HAS SOUPS 29918 WITH SCORE 30004.496
AT ITER 343 NEW BEST:: SOT 145341 SOS 86381 HAS SOPS 59621 HAS SOUS 33078 HAS SOUPS 29905 WITH SCORE 29991.381
AT ITER 344 NEW BEST:: SOT 145384 SOS 86424 HAS SOPS 59621 HAS SOUS 32955 HAS SOUPS 29824 WITH SCORE 29910.424
AT ITER 347 NEW BEST:: SOT 145400 SOS 84692 HAS SOPS 48342 HAS SOUS 32676 HAS SOUPS 28339 WITH SCORE 28423.692
AT ITER 348 NEW BEST:: SOT 144500 SOS 86732 HAS SOPS 48407 HAS SOUS 32530 HAS SOUPS 28254 WITH SCORE 28340.732
AT ITER 354 NEW BEST:: SOT 144500 SOS 86714 HAS SOPS 48395 HAS SOUS 32512 HAS SOUPS 28242 WITH SCORE 28328.714
AT ITER 360 NEW BEST:: SOT 144498 SOS 86652 HAS SOPS 47919 HAS SOUS 32506 HAS SOUPS 28170 WITH SCORE 28256.652
AT ITER 362 NEW BEST:: SOT 144516 SOS 86619 HAS SOPS 47921 HAS SOUS 32505 HAS SOUPS 28170 WITH SCORE 28256.619
AT ITER 368 NEW BEST:: SOT 141208 SOS 87435 HAS SOPS 48025 HAS SOUS 31857 HAS SOUPS 27599 WITH SCORE 27686.435
AT ITER 369 NEW BEST:: SOT 141245 SOS 87644 HAS SOPS 47991 HAS SOUS 31857 HAS SOUPS 27598 WITH SCORE 27685.644
AT ITER 371 NEW BEST:: SOT 140755 SOS 87154 HAS SOPS 47501 HAS SOUS 31324 HAS SOUPS 27065 WITH SCORE 27152.154
AT ITER 372 NEW BEST:: SOT 141125 SOS 87254 HAS SOPS 47501 HAS SOUS 31294 HAS SOUPS 27049 WITH SCORE 27136.254
AT ITER 373 NEW BEST:: SOT 141119 SOS 87242 HAS SOPS 47489 HAS SOUS 31294 HAS SOUPS 27049 WITH SCORE 27136.242
AT ITER 374 NEW BEST:: SOT 141016 SOS 87136 HAS SOPS 47243 HAS SOUS 31052 HAS SOUPS 26800 WITH SCORE 26887.136
AT ITER 376 NEW BEST:: SOT 141442 SOS 87562 HAS SOPS 47669 HAS SOUS 30909 HAS SOUPS 26657 WITH SCORE 26744.562
AT ITER 386 NEW BEST:: SOT 141463 SOS 87499 HAS SOPS 47480 HAS SOUS 30888 HAS SOUPS 26636 WITH SCORE 26723.499
AT ITER 395 NEW BEST:: SOT 141459 SOS 87469 HAS SOPS 47454 HAS SOUS 30879 HAS SOUPS 26623 WITH SCORE 26710.469
AT ITER 396 NEW BEST:: SOT 141325 SOS 87342 HAS SOPS 47332 HAS SOUS 30793 HAS SOUPS 26537 WITH SCORE 26624.342
AT ITER 397 NEW BEST:: SOT 141307 SOS 87348 HAS SOPS 47362 HAS SOUS 30808 HAS SOUPS 26512 WITH SCORE 26599.348
AT ITER 398 NEW BEST:: SOT 140777 SOS 86800 HAS SOPS 46883 HAS SOUS 30394 HAS SOUPS 26150 WITH SCORE 26236.8
AT ITER 418 NEW BEST:: SOT 140681 SOS 86718 HAS SOPS 46795 HAS SOUS 30386 HAS SOUPS 26103 WITH SCORE 26189.718
AT ITER 419 NEW BEST:: SOT 140671 SOS 86708 HAS SOPS 46840 HAS SOUS 30381 HAS SOUPS 26098 WITH SCORE 26184.708
AT ITER 429 NEW BEST:: SOT 140671 SOS 86704 HAS SOPS 46836 HAS SOUS 30381 HAS SOUPS 26098 WITH SCORE 26184.704
AT ITER 430 NEW BEST:: SOT 141569 SOS 84358 HAS SOPS 46836 HAS SOUS 30265 HAS SOUPS 26067 WITH SCORE 26151.358
AT ITER 436 NEW BEST:: SOT 141398 SOS 84001 HAS SOPS 46500 HAS SOUS 30010 HAS SOUPS 25812 WITH SCORE 25896.001
AT ITER 439 NEW BEST:: SOT 141338 SOS 83761 HAS SOPS 46260 HAS SOUS 29905 HAS SOUPS 25707 WITH SCORE 25790.761
AT ITER 455 NEW BEST:: SOT 141690 SOS 83999 HAS SOPS 46460 HAS SOUS 29801 HAS SOUPS 25651 WITH SCORE 25734.999
AT ITER 456 NEW BEST:: SOT 141682 SOS 83990 HAS SOPS 46430 HAS SOUS 29791 HAS SOUPS 25634 WITH SCORE 25717.99
AT ITER 459 NEW BEST:: SOT 141582 SOS 83922 HAS SOPS 46362 HAS SOUS 29767 HAS SOUPS 25589 WITH SCORE 25672.922
AT ITER 460 NEW BEST:: SOT 141585 SOS 83925 HAS SOPS 46365 HAS SOUS 29746 HAS SOUPS 25572 WITH SCORE 25655.925
AT ITER 469 NEW BEST:: SOT 141832 SOS 84054 HAS SOPS 46494 HAS SOUS 29715 HAS SOUPS 25556 WITH SCORE 25640.054
AT ITER 470 NEW BEST:: SOT 141436 SOS 83658 HAS SOPS 46098 HAS SOUS 29654 HAS SOUPS 25452 WITH SCORE 25535.658
AT ITER 481 NEW BEST:: SOT 141543 SOS 83905 HAS SOPS 46107 HAS SOUS 29600 HAS SOUPS 25363 WITH SCORE 25446.905
AT ITER 491 NEW BEST:: SOT 141264 SOS 86548 HAS SOPS 46017 HAS SOUS 29626 HAS SOUPS 25304 WITH SCORE 25390.548
AT ITER 498 NEW BEST:: SOT 141248 SOS 86511 HAS SOPS 45980 HAS SOUS 29597 HAS SOUPS 25275 WITH SCORE 25361.511
AT ITER 502 NEW BEST:: SOT 141226 SOS 86580 HAS SOPS 46007 HAS SOUS 29592 HAS SOUPS 25270 WITH SCORE 25356.58
AT ITER 504 NEW BEST:: SOT 141244 SOS 86465 HAS SOPS 46007 HAS SOUS 29611 HAS SOUPS 25270 WITH SCORE 25356.465
AT ITER 508 NEW BEST:: SOT 141318 SOS 86534 HAS SOPS 46076 HAS SOUS 29585 HAS SOUPS 25244 WITH SCORE 25330.534
AT ITER 509 NEW BEST:: SOT 141383 SOS 86384 HAS SOPS 46026 HAS SOUS 29530 HAS SOUPS 25209 WITH SCORE 25295.384
AT ITER 510 NEW BEST:: SOT 141331 SOS 86332 HAS SOPS 45943 HAS SOUS 29216 HAS SOUPS 24895 WITH SCORE 24981.332
AT ITER 513 NEW BEST:: SOT 140204 SOS 85205 HAS SOPS 45320 HAS SOUS 28546 HAS SOUPS 24272 WITH SCORE 24357.205
AT ITER 515 NEW BEST:: SOT 139985 SOS 84986 HAS SOPS 45105 HAS SOUS 28443 HAS SOUPS 24165 WITH SCORE 24249.986
AT ITER 522 NEW BEST:: SOT 140077 SOS 84880 HAS SOPS 44993 HAS SOUS 28436 HAS SOUPS 24158 WITH SCORE 24242.88
AT ITER 526 NEW BEST:: SOT 140050 SOS 84204 HAS SOPS 43110 HAS SOUS 27482 HAS SOUPS 23204 WITH SCORE 23288.204
AT ITER 528 NEW BEST:: SOT 139804 SOS 84042 HAS SOPS 43019 HAS SOUS 27069 HAS SOUPS 22781 WITH SCORE 22865.042
AT ITER 535 NEW BEST:: SOT 139805 SOS 84036 HAS SOPS 43005 HAS SOUS 27068 HAS SOUPS 22772 WITH SCORE 22856.036
AT ITER 536 NEW BEST:: SOT 140666 SOS 84584 HAS SOPS 41492 HAS SOUS 24352 HAS SOUPS 20007 WITH SCORE 20091.584
AT ITER 541 NEW BEST:: SOT 140437 SOS 85398 HAS SOPS 41670 HAS SOUS 24450 HAS SOUPS 19999 WITH SCORE 20084.398
AT ITER 572 NEW BEST:: SOT 140309 SOS 85104 HAS SOPS 41377 HAS SOUS 24289 HAS SOUPS 19838 WITH SCORE 19923.104
AT ITER 573 NEW BEST:: SOT 140306 SOS 85025 HAS SOPS 41371 HAS SOUS 24245 HAS SOUPS 19799 WITH SCORE 19884.025
AT ITER 574 NEW BEST:: SOT 140315 SOS 85016 HAS SOPS 41362 HAS SOUS 24236 HAS SOUPS 19790 WITH SCORE 19875.016
AT ITER 581 NEW BEST:: SOT 138553 SOS 83355 HAS SOPS 40669 HAS SOUS 23312 HAS SOUPS 19043 WITH SCORE 19126.355
AT ITER 592 NEW BEST:: SOT 138551 SOS 83353 HAS SOPS 40665 HAS SOUS 23308 HAS SOUPS 19039 WITH SCORE 19122.353
AT ITER 599 NEW BEST:: SOT 139013 SOS 83759 HAS SOPS 41013 HAS SOUS 23148 HAS SOUPS 18971 WITH SCORE 19054.759
AT ITER 620 NEW BEST:: SOT 139054 SOS 83730 HAS SOPS 40984 HAS SOUS 23094 HAS SOUPS 18917 WITH SCORE 19000.73
AT ITER 623 NEW BEST:: SOT 139039 SOS 83675 HAS SOPS 40939 HAS SOUS 23099 HAS SOUPS 18917 WITH SCORE 19000.675
AT ITER 629 NEW BEST:: SOT 139019 SOS 83855 HAS SOPS 41119 HAS SOUS 23059 HAS SOUPS 18877 WITH SCORE 18960.855
AT ITER 632 NEW BEST:: SOT 138991 SOS 83709 HAS SOPS 41001 HAS SOUS 23001 HAS SOUPS 18819 WITH SCORE 18902.709
AT ITER 635 NEW BEST:: SOT 138933 SOS 83796 HAS SOPS 40885 HAS SOUS 22943 HAS SOUPS 18732 WITH SCORE 18815.796
AT ITER 639 NEW BEST:: SOT 138897 SOS 83784 HAS SOPS 40945 HAS SOUS 22943 HAS SOUPS 18732 WITH SCORE 18815.784
AT ITER 642 NEW BEST:: SOT 138742 SOS 83537 HAS SOPS 40698 HAS SOUS 22616 HAS SOUPS 18405 WITH SCORE 18488.537
AT ITER 648 NEW BEST:: SOT 139352 SOS 84147 HAS SOPS 41321 HAS SOUS 22512 HAS SOUPS 18301 WITH SCORE 18385.147
AT ITER 650 NEW BEST:: SOT 139176 SOS 84054 HAS SOPS 41274 HAS SOUS 22502 HAS SOUPS 18254 WITH SCORE 18338.054
AT ITER 670 NEW BEST:: SOT 139223 SOS 84071 HAS SOPS 41286 HAS SOUS 22493 HAS SOUPS 18245 WITH SCORE 18329.071
AT ITER 674 NEW BEST:: SOT 139360 SOS 84019 HAS SOPS 41349 HAS SOUS 22368 HAS SOUPS 18195 WITH SCORE 18279.019
AT ITER 676 NEW BEST:: SOT 139357 SOS 84016 HAS SOPS 41346 HAS SOUS 22353 HAS SOUPS 18180 WITH SCORE 18264.016
AT ITER 678 NEW BEST:: SOT 137678 SOS 82337 HAS SOPS 39667 HAS SOUS 22290 HAS SOUPS 18117 WITH SCORE 18199.337
AT ITER 683 NEW BEST:: SOT 137391 SOS 82091 HAS SOPS 39451 HAS SOUS 22186 HAS SOUPS 17960 WITH SCORE 18042.091
AT ITER 696 NEW BEST:: SOT 137558 SOS 81714 HAS SOPS 39426 HAS SOUS 22128 HAS SOUPS 17935 WITH SCORE 18016.714
AT ITER 709 NEW BEST:: SOT 137505 SOS 81658 HAS SOPS 39355 HAS SOUS 22083 HAS SOUPS 17891 WITH SCORE 17972.658
AT ITER 716 NEW BEST:: SOT 137023 SOS 84044 HAS SOPS 39184 HAS SOUS 22153 HAS SOUPS 17758 WITH SCORE 17842.044
AT ITER 719 NEW BEST:: SOT 136970 SOS 83991 HAS SOPS 39130 HAS SOUS 22147 HAS SOUPS 17752 WITH SCORE 17835.991
AT ITER 731 NEW BEST:: SOT 136976 SOS 83981 HAS SOPS 39130 HAS SOUS 22130 HAS SOUPS 17735 WITH SCORE 17818.981
AT ITER 757 NEW BEST:: SOT 136972 SOS 83953 HAS SOPS 39078 HAS SOUS 22118 HAS SOUPS 17723 WITH SCORE 17806.953
AT ITER 760 NEW BEST:: SOT 136778 SOS 83847 HAS SOPS 39068 HAS SOUS 22144 HAS SOUPS 17694 WITH SCORE 17777.847
AT ITER 763 NEW BEST:: SOT 136888 SOS 83868 HAS SOPS 39052 HAS SOUS 22111 HAS SOUPS 17661 WITH SCORE 17744.868
AT ITER 766 NEW BEST:: SOT 136844 SOS 83824 HAS SOPS 39004 HAS SOUS 22067 HAS SOUPS 17613 WITH SCORE 17696.824
AT ITER 768 NEW BEST:: SOT 136844 SOS 83806 HAS SOPS 38995 HAS SOUS 22067 HAS SOUPS 17613 WITH SCORE 17696.806
AT ITER 783 NEW BEST:: SOT 136842 SOS 83815 HAS SOPS 39003 HAS SOUS 22064 HAS SOUPS 17610 WITH SCORE 17693.815
AT ITER 785 NEW BEST:: SOT 136621 SOS 83633 HAS SOPS 38821 HAS SOUS 21965 HAS SOUPS 17511 WITH SCORE 17594.633
AT ITER 790 NEW BEST:: SOT 136690 SOS 83663 HAS SOPS 38824 HAS SOUS 21905 HAS SOUPS 17469 WITH SCORE 17552.663
AT ITER 801 NEW BEST:: SOT 136690 SOS 83660 HAS SOPS 38823 HAS SOUS 21905 HAS SOUPS 17469 WITH SCORE 17552.66
AT ITER 802 NEW BEST:: SOT 136540 SOS 83510 HAS SOPS 38673 HAS SOUS 21635 HAS SOUPS 17199 WITH SCORE 17282.51
AT ITER 812 NEW BEST:: SOT 136536 SOS 83506 HAS SOPS 38647 HAS SOUS 21633 HAS SOUPS 17195 WITH SCORE 17278.506
AT ITER 818 NEW BEST:: SOT 136526 SOS 83466 HAS SOPS 38587 HAS SOUS 21623 HAS SOUPS 17180 WITH SCORE 17263.466
AT ITER 821 NEW BEST:: SOT 136503 SOS 83427 HAS SOPS 38548 HAS SOUS 21548 HAS SOUPS 17105 WITH SCORE 17188.427
AT ITER 823 NEW BEST:: SOT 136638 SOS 81821 HAS SOPS 38548 HAS SOUS 21441 HAS SOUPS 17073 WITH SCORE 17154.821
AT ITER 830 NEW BEST:: SOT 136689 SOS 81715 HAS SOPS 38522 HAS SOUS 21434 HAS SOUPS 17066 WITH SCORE 17147.715
AT ITER 831 NEW BEST:: SOT 136686 SOS 81712 HAS SOPS 38516 HAS SOUS 21428 HAS SOUPS 17060 WITH SCORE 17141.712
AT ITER 837 NEW BEST:: SOT 136674 SOS 81576 HAS SOPS 38420 HAS SOUS 21332 HAS SOUPS 16964 WITH SCORE 17045.576
AT ITER 854 NEW BEST:: SOT 136630 SOS 81488 HAS SOPS 38232 HAS SOUS 21344 HAS SOUPS 16945 WITH SCORE 17026.488
AT ITER 857 NEW BEST:: SOT 136630 SOS 81530 HAS SOPS 38148 HAS SOUS 21281 HAS SOUPS 16861 WITH SCORE 16942.53
AT ITER 888 NEW BEST:: SOT 136576 SOS 81476 HAS SOPS 38094 HAS SOUS 21281 HAS SOUPS 16861 WITH SCORE 16942.476
AT ITER 899 NEW BEST:: SOT 136562 SOS 81502 HAS SOPS 38120 HAS SOUS 21221 HAS SOUPS 16801 WITH SCORE 16882.502
AT ITER 902 NEW BEST:: SOT 136465 SOS 83831 HAS SOPS 38081 HAS SOUS 21230 HAS SOUPS 16781 WITH SCORE 16864.831
AT ITER 910 NEW BEST:: SOT 136513 SOS 83434 HAS SOPS 38069 HAS SOUS 21146 HAS SOUPS 16745 WITH SCORE 16828.434
AT ITER 916 NEW BEST:: SOT 136142 SOS 83352 HAS SOPS 37853 HAS SOUS 21090 HAS SOUPS 16646 WITH SCORE 16729.352
AT ITER 920 NEW BEST:: SOT 135783 SOS 83905 HAS SOPS 37781 HAS SOUS 21169 HAS SOUPS 16636 WITH SCORE 16719.905
AT ITER 944 NEW BEST:: SOT 135779 SOS 83909 HAS SOPS 37761 HAS SOUS 21143 HAS SOUPS 16610 WITH SCORE 16693.909
AT ITER 945 NEW BEST:: SOT 135776 SOS 83909 HAS SOPS 37761 HAS SOUS 21137 HAS SOUPS 16604 WITH SCORE 16687.909
AT ITER 947 NEW BEST:: SOT 135636 SOS 83784 HAS SOPS 37725 HAS SOUS 21101 HAS SOUPS 16568 WITH SCORE 16651.784
AT ITER 949 NEW BEST:: SOT 135566 SOS 83684 HAS SOPS 37659 HAS SOUS 21096 HAS SOUPS 16563 WITH SCORE 16646.684
AT ITER 956 NEW BEST:: SOT 135529 SOS 83642 HAS SOPS 37605 HAS SOUS 21114 HAS SOUPS 16527 WITH SCORE 16610.642
AT ITER 961 NEW BEST:: SOT 135145 SOS 83815 HAS SOPS 37367 HAS SOUS 21102 HAS SOUPS 16373 WITH SCORE 16456.815
AT ITER 968 NEW BEST:: SOT 135118 SOS 83500 HAS SOPS 34694 HAS SOUS 21084 HAS SOUPS 16023 WITH SCORE 16106.5
AT ITER 969 NEW BEST:: SOT 135110 SOS 83418 HAS SOPS 34618 HAS SOUS 21068 HAS SOUPS 16001 WITH SCORE 16084.418
AT ITER 981 NEW BEST:: SOT 134914 SOS 83315 HAS SOPS 34490 HAS SOUS 21044 HAS SOUPS 15889 WITH SCORE 15972.315
AT ITER 993 NEW BEST:: SOT 134946 SOS 83200 HAS SOPS 34265 HAS SOUS 21032 HAS SOUPS 15877 WITH SCORE 15960.2
AT ITER 994 NEW BEST:: SOT 134919 SOS 83173 HAS SOPS 34265 HAS SOUS 21032 HAS SOUPS 15877 WITH SCORE 15960.173
AT ITER 995 NEW BEST:: SOT 134907 SOS 83179 HAS SOPS 34241 HAS SOUS 21050 HAS SOUPS 15867 WITH SCORE 15950.179
AT ITER 1002 NEW BEST:: SOT 134851 SOS 83220 HAS SOPS 34231 HAS SOUS 21048 HAS SOUPS 15865 WITH SCORE 15948.22
AT ITER 1021 NEW BEST:: SOT 134806 SOS 83177 HAS SOPS 34186 HAS SOUS 21048 HAS SOUPS 15859 WITH SCORE 15942.177
AT ITER 1022 NEW BEST:: SOT 135657 SOS 83558 HAS SOPS 34196 HAS SOUS 21022 HAS SOUPS 15833 WITH SCORE 15916.558
AT ITER 1023 NEW BEST:: SOT 135364 SOS 83300 HAS SOPS 33977 HAS SOUS 21004 HAS SOUPS 15815 WITH SCORE 15898.3
AT ITER 1036 NEW BEST:: SOT 135268 SOS 82810 HAS SOPS 33588 HAS SOUS 20963 HAS SOUPS 15774 WITH SCORE 15856.81
AT ITER 1045 NEW BEST:: SOT 135265 SOS 82774 HAS SOPS 33289 HAS SOUS 20956 HAS SOUPS 15729 WITH SCORE 15811.774
AT ITER 1047 NEW BEST:: SOT 135148 SOS 82501 HAS SOPS 33016 HAS SOUS 20825 HAS SOUPS 15598 WITH SCORE 15680.501
AT ITER 1050 NEW BEST:: SOT 135063 SOS 82652 HAS SOPS 32936 HAS SOUS 20914 HAS SOUPS 15558 WITH SCORE 15640.652
AT ITER 1051 NEW BEST:: SOT 135027 SOS 82634 HAS SOPS 32918 HAS SOUS 20905 HAS SOUPS 15549 WITH SCORE 15631.634
AT ITER 1056 NEW BEST:: SOT 135003 SOS 82809 HAS SOPS 32918 HAS SOUS 20900 HAS SOUPS 15544 WITH SCORE 15626.809
AT ITER 1058 NEW BEST:: SOT 135003 SOS 82797 HAS SOPS 32888 HAS SOUS 20891 HAS SOUPS 15535 WITH SCORE 15617.797
AT ITER 1061 NEW BEST:: SOT 134963 SOS 82742 HAS SOPS 32846 HAS SOUS 20852 HAS SOUPS 15509 WITH SCORE 15591.742
AT ITER 1077 NEW BEST:: SOT 134885 SOS 82782 HAS SOPS 32970 HAS SOUS 20841 HAS SOUPS 15498 WITH SCORE 15580.782
AT ITER 1081 NEW BEST:: SOT 134867 SOS 82760 HAS SOPS 32958 HAS SOUS 20839 HAS SOUPS 15496 WITH SCORE 15578.76
AT ITER 1082 NEW BEST:: SOT 134229 SOS 82300 HAS SOPS 32517 HAS SOUS 20804 HAS SOUPS 15351 WITH SCORE 15433.3
AT ITER 1087 NEW BEST:: SOT 134129 SOS 82200 HAS SOPS 32417 HAS SOUS 20729 HAS SOUPS 15281 WITH SCORE 15363.2
AT ITER 1090 NEW BEST:: SOT 134103 SOS 82174 HAS SOPS 32391 HAS SOUS 20742 HAS SOUPS 15281 WITH SCORE 15363.174
AT ITER 1126 NEW BEST:: SOT 134097 SOS 82166 HAS SOPS 32381 HAS SOUS 20738 HAS SOUPS 15277 WITH SCORE 15359.166
AT ITER 1128 NEW BEST:: SOT 134333 SOS 77272 HAS SOPS 32219 HAS SOUS 20553 HAS SOUPS 15202 WITH SCORE 15279.272
AT ITER 1129 NEW BEST:: SOT 134238 SOS 77260 HAS SOPS 32203 HAS SOUS 20526 HAS SOUPS 15159 WITH SCORE 15236.26
AT ITER 1137 NEW BEST:: SOT 134255 SOS 77429 HAS SOPS 32183 HAS SOUS 20543 HAS SOUPS 15149 WITH SCORE 15226.429
AT ITER 1145 NEW BEST:: SOT 134183 SOS 77396 HAS SOPS 32130 HAS SOUS 20529 HAS SOUPS 15122 WITH SCORE 15199.396
AT ITER 1149 NEW BEST:: SOT 134200 SOS 77502 HAS SOPS 32176 HAS SOUS 20515 HAS SOUPS 15116 WITH SCORE 15193.502
AT ITER 1154 NEW BEST:: SOT 134188 SOS 77490 HAS SOPS 32174 HAS SOUS 20477 HAS SOUPS 15078 WITH SCORE 15155.49
AT ITER 1163 NEW BEST:: SOT 134155 SOS 77471 HAS SOPS 32169 HAS SOUS 20437 HAS SOUPS 15043 WITH SCORE 15120.471
AT ITER 1166 NEW BEST:: SOT 134155 SOS 77459 HAS SOPS 32157 HAS SOUS 20437 HAS SOUPS 15043 WITH SCORE 15120.459
AT ITER 1176 NEW BEST:: SOT 134157 SOS 77372 HAS SOPS 32070 HAS SOUS 20427 HAS SOUPS 15033 WITH SCORE 15110.372
AT ITER 1181 NEW BEST:: SOT 134171 SOS 77406 HAS SOPS 32050 HAS SOUS 20421 HAS SOUPS 15027 WITH SCORE 15104.406
AT ITER 1183 NEW BEST:: SOT 134147 SOS 77390 HAS SOPS 32010 HAS SOUS 20397 HAS SOUPS 14995 WITH SCORE 15072.39
AT ITER 1190 NEW BEST:: SOT 134184 SOS 77408 HAS SOPS 32028 HAS SOUS 20346 HAS SOUPS 14944 WITH SCORE 15021.408
AT ITER 1197 NEW BEST:: SOT 134033 SOS 77263 HAS SOPS 31991 HAS SOUS 20291 HAS SOUPS 14893 WITH SCORE 14970.263
AT ITER 1202 NEW BEST:: SOT 132042 SOS 80328 HAS SOPS 31924 HAS SOUS 20289 HAS SOUPS 14862 WITH SCORE 14942.328
AT ITER 1210 NEW BEST:: SOT 131977 SOS 80211 HAS SOPS 31807 HAS SOUS 20211 HAS SOUPS 14784 WITH SCORE 14864.211
AT ITER 1213 NEW BEST:: SOT 131980 SOS 80205 HAS SOPS 31807 HAS SOUS 20211 HAS SOUPS 14784 WITH SCORE 14864.205
AT ITER 1218 NEW BEST:: SOT 132088 SOS 79999 HAS SOPS 31803 HAS SOUS 20155 HAS SOUPS 14769 WITH SCORE 14848.999
AT ITER 1219 NEW BEST:: SOT 132089 SOS 79994 HAS SOPS 31805 HAS SOUS 20154 HAS SOUPS 14769 WITH SCORE 14848.994
AT ITER 1220 NEW BEST:: SOT 132074 SOS 79979 HAS SOPS 31790 HAS SOUS 20139 HAS SOUPS 14754 WITH SCORE 14833.979
AT ITER 1224 NEW BEST:: SOT 132067 SOS 79915 HAS SOPS 31775 HAS SOUS 20117 HAS SOUPS 14739 WITH SCORE 14818.915
AT ITER 1233 NEW BEST:: SOT 131673 SOS 79621 HAS SOPS 31481 HAS SOUS 20043 HAS SOUPS 14664 WITH SCORE 14743.621
AT ITER 1240 NEW BEST:: SOT 131699 SOS 79235 HAS SOPS 31293 HAS SOUS 19959 HAS SOUPS 14610 WITH SCORE 14689.235
AT ITER 1264 NEW BEST:: SOT 131721 SOS 79159 HAS SOPS 31217 HAS SOUS 19934 HAS SOUPS 14585 WITH SCORE 14664.159
AT ITER 1271 NEW BEST:: SOT 131532 SOS 79257 HAS SOPS 31199 HAS SOUS 19901 HAS SOUPS 14561 WITH SCORE 14640.257
AT ITER 1272 NEW BEST:: SOT 131418 SOS 79255 HAS SOPS 31057 HAS SOUS 19859 HAS SOUPS 14480 WITH SCORE 14559.255
AT ITER 1286 NEW BEST:: SOT 131678 SOS 79421 HAS SOPS 31259 HAS SOUS 19819 HAS SOUPS 14463 WITH SCORE 14542.421
AT ITER 1295 NEW BEST:: SOT 131498 SOS 79330 HAS SOPS 31247 HAS SOUS 19843 HAS SOUPS 14456 WITH SCORE 14535.33
AT ITER 1298 NEW BEST:: SOT 131467 SOS 79299 HAS SOPS 31247 HAS SOUS 19843 HAS SOUPS 14456 WITH SCORE 14535.299
AT ITER 1303 NEW BEST:: SOT 131426 SOS 79318 HAS SOPS 31243 HAS SOUS 19830 HAS SOUPS 14443 WITH SCORE 14522.318
AT ITER 1304 NEW BEST:: SOT 131426 SOS 79306 HAS SOPS 31232 HAS SOUS 19830 HAS SOUPS 14443 WITH SCORE 14522.306
AT ITER 1312 NEW BEST:: SOT 131425 SOS 79802 HAS SOPS 31233 HAS SOUS 19827 HAS SOUPS 14440 WITH SCORE 14519.802
AT ITER 1321 NEW BEST:: SOT 131476 SOS 79845 HAS SOPS 31035 HAS SOUS 19820 HAS SOUPS 14408 WITH SCORE 14487.845
AT ITER 1340 NEW BEST:: SOT 130018 SOS 78387 HAS SOPS 29577 HAS SOUS 19722 HAS SOUPS 14310 WITH SCORE 14388.387
AT ITER 1345 NEW BEST:: SOT 130014 SOS 78379 HAS SOPS 29571 HAS SOUS 19720 HAS SOUPS 14308 WITH SCORE 14386.379
AT ITER 1346 NEW BEST:: SOT 129989 SOS 78354 HAS SOPS 29546 HAS SOUS 19690 HAS SOUPS 14283 WITH SCORE 14361.354
AT ITER 1354 NEW BEST:: SOT 130036 SOS 78350 HAS SOPS 29510 HAS SOUS 19675 HAS SOUPS 14268 WITH SCORE 14346.35
AT ITER 1357 NEW BEST:: SOT 130071 SOS 78240 HAS SOPS 29406 HAS SOUS 19600 HAS SOUPS 14193 WITH SCORE 14271.24
AT ITER 1371 NEW BEST:: SOT 130052 SOS 78232 HAS SOPS 29379 HAS SOUS 19573 HAS SOUPS 14166 WITH SCORE 14244.232
AT ITER 1390 NEW BEST:: SOT 129998 SOS 78185 HAS SOPS 29327 HAS SOUS 19521 HAS SOUPS 14114 WITH SCORE 14192.185
AT ITER 1391 NEW BEST:: SOT 130017 SOS 78193 HAS SOPS 29347 HAS SOUS 19519 HAS SOUPS 14112 WITH SCORE 14190.193
AT ITER 1407 NEW BEST:: SOT 130005 SOS 78181 HAS SOPS 29333 HAS SOUS 19505 HAS SOUPS 14098 WITH SCORE 14176.181
AT ITER 1410 NEW BEST:: SOT 130004 SOS 79725 HAS SOPS 30734 HAS SOUS 19503 HAS SOUPS 14096 WITH SCORE 14175.725
AT ITER 1412 NEW BEST:: SOT 129836 SOS 79581 HAS SOPS 30590 HAS SOUS 19461 HAS SOUPS 14054 WITH SCORE 14133.581
AT ITER 1413 NEW BEST:: SOT 129814 SOS 79476 HAS SOPS 30619 HAS SOUS 19309 HAS SOUPS 13987 WITH SCORE 14066.476
AT ITER 1430 NEW BEST:: SOT 129728 SOS 79268 HAS SOPS 30447 HAS SOUS 19239 HAS SOUPS 13882 WITH SCORE 13961.268
AT ITER 1445 NEW BEST:: SOT 129603 SOS 79086 HAS SOPS 30341 HAS SOUS 19096 HAS SOUPS 13739 WITH SCORE 13818.086
AT ITER 1448 NEW BEST:: SOT 129667 SOS 79150 HAS SOPS 30381 HAS SOUS 19036 HAS SOUPS 13655 WITH SCORE 13734.15
AT ITER 1453 NEW BEST:: SOT 129662 SOS 79365 HAS SOPS 30281 HAS SOUS 19064 HAS SOUPS 13638 WITH SCORE 13717.365
AT ITER 1458 NEW BEST:: SOT 129572 SOS 79281 HAS SOPS 30269 HAS SOUS 19064 HAS SOUPS 13632 WITH SCORE 13711.281
AT ITER 1466 NEW BEST:: SOT 129511 SOS 79238 HAS SOPS 30267 HAS SOUS 19054 HAS SOUPS 13630 WITH SCORE 13709.238
AT ITER 1469 NEW BEST:: SOT 129517 SOS 79244 HAS SOPS 30259 HAS SOUS 19052 HAS SOUPS 13628 WITH SCORE 13707.244
AT ITER 1474 NEW BEST:: SOT 129510 SOS 79153 HAS SOPS 30175 HAS SOUS 19052 HAS SOUPS 13621 WITH SCORE 13700.153
AT ITER 1479 NEW BEST:: SOT 129212 SOS 78902 HAS SOPS 29924 HAS SOUS 18963 HAS SOUPS 13505 WITH SCORE 13583.902
AT ITER 1495 NEW BEST:: SOT 129173 SOS 78710 HAS SOPS 29899 HAS SOUS 18953 HAS SOUPS 13495 WITH SCORE 13573.71
AT ITER 1504 NEW BEST:: SOT 129171 SOS 78716 HAS SOPS 29890 HAS SOUS 18949 HAS SOUPS 13491 WITH SCORE 13569.716
AT ITER 1531 NEW BEST:: SOT 129172 SOS 78489 HAS SOPS 29686 HAS SOUS 18943 HAS SOUPS 13476 WITH SCORE 13554.489
AT ITER 1563 NEW BEST:: SOT 129188 SOS 78479 HAS SOPS 29686 HAS SOUS 18925 HAS SOUPS 13462 WITH SCORE 13540.479
AT ITER 1567 NEW BEST:: SOT 125931 SOS 82129 HAS SOPS 29117 HAS SOUS 18750 HAS SOUPS 13362 WITH SCORE 13444.129
AT ITER 1579 NEW BEST:: SOT 125907 SOS 82105 HAS SOPS 29093 HAS SOUS 18702 HAS SOUPS 13314 WITH SCORE 13396.105
AT ITER 1581 NEW BEST:: SOT 125963 SOS 82089 HAS SOPS 29077 HAS SOUS 18692 HAS SOUPS 13304 WITH SCORE 13386.089
AT ITER 1582 NEW BEST:: SOT 125910 SOS 82175 HAS SOPS 28895 HAS SOUS 18645 HAS SOUPS 13222 WITH SCORE 13304.175
AT ITER 1587 NEW BEST:: SOT 125826 SOS 83372 HAS SOPS 28915 HAS SOUS 18657 HAS SOUPS 13205 WITH SCORE 13288.372
AT ITER 1593 NEW BEST:: SOT 125897 SOS 83344 HAS SOPS 28930 HAS SOUS 18636 HAS SOUPS 13204 WITH SCORE 13287.344
AT ITER 1599 NEW BEST:: SOT 125949 SOS 83403 HAS SOPS 28989 HAS SOUS 18631 HAS SOUPS 13199 WITH SCORE 13282.403
AT ITER 1600 NEW BEST:: SOT 125949 SOS 83331 HAS SOPS 28809 HAS SOUS 18631 HAS SOUPS 13199 WITH SCORE 13282.331
AT ITER 1609 NEW BEST:: SOT 125903 SOS 83331 HAS SOPS 28809 HAS SOUS 18630 HAS SOUPS 13198 WITH SCORE 13281.331
AT ITER 1626 NEW BEST:: SOT 125807 SOS 83235 HAS SOPS 28737 HAS SOUS 18536 HAS SOUPS 13106 WITH SCORE 13189.235
AT ITER 1631 NEW BEST:: SOT 125853 SOS 83327 HAS SOPS 28734 HAS SOUS 18390 HAS SOUPS 13055 WITH SCORE 13138.327
AT ITER 1636 NEW BEST:: SOT 125864 SOS 83411 HAS SOPS 28756 HAS SOUS 18328 HAS SOUPS 12993 WITH SCORE 13076.411
AT ITER 1641 NEW BEST:: SOT 125864 SOS 83387 HAS SOPS 28744 HAS SOUS 18316 HAS SOUPS 12981 WITH SCORE 13064.387
AT ITER 1658 NEW BEST:: SOT 125846 SOS 83371 HAS SOPS 28730 HAS SOUS 18313 HAS SOUPS 12978 WITH SCORE 13061.371
AT ITER 1663 NEW BEST:: SOT 125844 SOS 83369 HAS SOPS 28726 HAS SOUS 18309 HAS SOUPS 12974 WITH SCORE 13057.369
AT ITER 1665 NEW BEST:: SOT 125833 SOS 83310 HAS SOPS 28691 HAS SOUS 18289 HAS SOUPS 12954 WITH SCORE 13037.31
AT ITER 1676 NEW BEST:: SOT 125834 SOS 83308 HAS SOPS 28690 HAS SOUS 18290 HAS SOUPS 12954 WITH SCORE 13037.308
AT ITER 1686 NEW BEST:: SOT 125838 SOS 83276 HAS SOPS 28642 HAS SOUS 18302 HAS SOUPS 12942 WITH SCORE 13025.276
AT ITER 1687 NEW BEST:: SOT 125822 SOS 83244 HAS SOPS 28610 HAS SOUS 18286 HAS SOUPS 12926 WITH SCORE 13009.244
AT ITER 1705 NEW BEST:: SOT 125818 SOS 83259 HAS SOPS 28602 HAS SOUS 18278 HAS SOUPS 12918 WITH SCORE 13001.259
AT ITER 1717 NEW BEST:: SOT 125812 SOS 83113 HAS SOPS 28462 HAS SOUS 18199 HAS SOUPS 12839 WITH SCORE 12922.113
AT ITER 1754 NEW BEST:: SOT 125757 SOS 82871 HAS SOPS 28396 HAS SOUS 18166 HAS SOUPS 12806 WITH SCORE 12888.871
AT ITER 1756 NEW BEST:: SOT 125757 SOS 82873 HAS SOPS 28396 HAS SOUS 18165 HAS SOUPS 12805 WITH SCORE 12887.873
AT ITER 1760 NEW BEST:: SOT 125752 SOS 82868 HAS SOPS 28373 HAS SOUS 18142 HAS SOUPS 12782 WITH SCORE 12864.868
AT ITER 1786 NEW BEST:: SOT 125746 SOS 82884 HAS SOPS 28375 HAS SOUS 18139 HAS SOUPS 12772 WITH SCORE 12854.884
AT ITER 1791 NEW BEST:: SOT 125747 SOS 82882 HAS SOPS 28371 HAS SOUS 18140 HAS SOUPS 12772 WITH SCORE 12854.882
AT ITER 1803 NEW BEST:: SOT 125745 SOS 82881 HAS SOPS 28368 HAS SOUS 18138 HAS SOUPS 12769 WITH SCORE 12851.881
AT ITER 1807 NEW BEST:: SOT 125692 SOS 82881 HAS SOPS 28340 HAS SOUS 18118 HAS SOUPS 12749 WITH SCORE 12831.881
AT ITER 1824 NEW BEST:: SOT 125692 SOS 82856 HAS SOPS 28315 HAS SOUS 18111 HAS SOUPS 12742 WITH SCORE 12824.856
AT ITER 1826 NEW BEST:: SOT 125646 SOS 82900 HAS SOPS 28281 HAS SOUS 18113 HAS SOUPS 12731 WITH SCORE 12813.9
AT ITER 1831 NEW BEST:: SOT 125610 SOS 82876 HAS SOPS 28257 HAS SOUS 18117 HAS SOUPS 12719 WITH SCORE 12801.876
AT ITER 1837 NEW BEST:: SOT 125613 SOS 82873 HAS SOPS 28257 HAS SOUS 18115 HAS SOUPS 12717 WITH SCORE 12799.873
AT ITER 1843 NEW BEST:: SOT 125412 SOS 83009 HAS SOPS 27737 HAS SOUS 18144 HAS SOUPS 12670 WITH SCORE 12753.009
AT ITER 1863 NEW BEST:: SOT 125400 SOS 83065 HAS SOPS 27681 HAS SOUS 18148 HAS SOUPS 12658 WITH SCORE 12741.065
AT ITER 1877 NEW BEST:: SOT 125407 SOS 83033 HAS SOPS 27649 HAS SOUS 18136 HAS SOUPS 12646 WITH SCORE 12729.033
AT ITER 1882 NEW BEST:: SOT 125419 SOS 82429 HAS SOPS 27638 HAS SOUS 18131 HAS SOUPS 12635 WITH SCORE 12717.429
AT ITER 1912 NEW BEST:: SOT 125440 SOS 82471 HAS SOPS 27697 HAS SOUS 18083 HAS SOUPS 12618 WITH SCORE 12700.471
AT ITER 1914 NEW BEST:: SOT 124238 SOS 81269 HAS SOPS 26495 HAS SOUS 18067 HAS SOUPS 12602 WITH SCORE 12683.269
AT ITER 1919 NEW BEST:: SOT 124216 SOS 81247 HAS SOPS 26473 HAS SOUS 18058 HAS SOUPS 12593 WITH SCORE 12674.247
AT ITER 1933 NEW BEST:: SOT 124172 SOS 81235 HAS SOPS 26469 HAS SOUS 18054 HAS SOUPS 12585 WITH SCORE 12666.235
AT ITER 1947 NEW BEST:: SOT 123963 SOS 81016 HAS SOPS 26292 HAS SOUS 18011 HAS SOUPS 12568 WITH SCORE 12649.016
AT ITER 1948 NEW BEST:: SOT 123964 SOS 81018 HAS SOPS 26294 HAS SOUS 18007 HAS SOUPS 12564 WITH SCORE 12645.018
AT ITER 1950 NEW BEST:: SOT 123931 SOS 80985 HAS SOPS 26278 HAS SOUS 17991 HAS SOUPS 12548 WITH SCORE 12628.985
AT ITER 1951 NEW BEST:: SOT 123723 SOS 80905 HAS SOPS 26230 HAS SOUS 17975 HAS SOUPS 12500 WITH SCORE 12580.905
AT ITER 1955 NEW BEST:: SOT 123735 SOS 80895 HAS SOPS 26209 HAS SOUS 17991 HAS SOUPS 12500 WITH SCORE 12580.895
AT ITER 1964 NEW BEST:: SOT 122715 SOS 79853 HAS SOPS 25145 HAS SOUS 17594 HAS SOUPS 12081 WITH SCORE 12160.853
AT ITER 1971 NEW BEST:: SOT 122690 SOS 79850 HAS SOPS 25129 HAS SOUS 17600 HAS SOUPS 12070 WITH SCORE 12149.85
AT ITER 1972 NEW BEST:: SOT 122706 SOS 79802 HAS SOPS 25081 HAS SOUS 17576 HAS SOUPS 12046 WITH SCORE 12125.802
AT ITER 1974 NEW BEST:: SOT 123395 SOS 80514 HAS SOPS 25793 HAS SOUS 17569 HAS SOUPS 12039 WITH SCORE 12119.514
AT ITER 1978 NEW BEST:: SOT 122324 SOS 83450 HAS SOPS 25730 HAS SOUS 17584 HAS SOUPS 11994 WITH SCORE 12077.45
AT ITER 2001 NEW BEST:: SOT 122323 SOS 83084 HAS SOPS 25476 HAS SOUS 17564 HAS SOUPS 11974 WITH SCORE 12057.084
AT ITER 2006 NEW BEST:: SOT 122311 SOS 83078 HAS SOPS 25472 HAS SOUS 17562 HAS SOUPS 11971 WITH SCORE 12054.078
AT ITER 2008 NEW BEST:: SOT 122321 SOS 83064 HAS SOPS 25460 HAS SOUS 17548 HAS SOUPS 11965 WITH SCORE 12048.064
AT ITER 2069 NEW BEST:: SOT 122275 SOS 83018 HAS SOPS 25414 HAS SOUS 17520 HAS SOUPS 11937 WITH SCORE 12020.018
AT ITER 2083 NEW BEST:: SOT 122223 SOS 82935 HAS SOPS 25339 HAS SOUS 17494 HAS SOUPS 11911 WITH SCORE 11993.935
AT ITER 2102 NEW BEST:: SOT 122219 SOS 82924 HAS SOPS 25328 HAS SOUS 17488 HAS SOUPS 11905 WITH SCORE 11987.924
AT ITER 2119 NEW BEST:: SOT 122219 SOS 82924 HAS SOPS 25330 HAS SOUS 17478 HAS SOUPS 11895 WITH SCORE 11977.924
AT ITER 2131 NEW BEST:: SOT 122192 SOS 82897 HAS SOPS 25303 HAS SOUS 17469 HAS SOUPS 11877 WITH SCORE 11959.897
AT ITER 2132 NEW BEST:: SOT 122190 SOS 82868 HAS SOPS 25269 HAS SOUS 17452 HAS SOUPS 11865 WITH SCORE 11947.868
AT ITER 2142 NEW BEST:: SOT 122332 SOS 83022 HAS SOPS 25423 HAS SOUS 17310 HAS SOUPS 11723 WITH SCORE 11806.022
AT ITER 2145 NEW BEST:: SOT 122330 SOS 83015 HAS SOPS 25419 HAS SOUS 17310 HAS SOUPS 11723 WITH SCORE 11806.015
AT ITER 2175 NEW BEST:: SOT 122276 SOS 82981 HAS SOPS 25385 HAS SOUS 17256 HAS SOUPS 11666 WITH SCORE 11748.981
AT ITER 2176 NEW BEST:: SOT 122252 SOS 82969 HAS SOPS 25349 HAS SOUS 17221 HAS SOUPS 11630 WITH SCORE 11712.969
AT ITER 2186 NEW BEST:: SOT 122249 SOS 82973 HAS SOPS 25353 HAS SOUS 17209 HAS SOUPS 11618 WITH SCORE 11700.973
AT ITER 2202 NEW BEST:: SOT 122228 SOS 82953 HAS SOPS 25311 HAS SOUS 17199 HAS SOUPS 11608 WITH SCORE 11690.953
AT ITER 2203 NEW BEST:: SOT 122220 SOS 82882 HAS SOPS 25290 HAS SOUS 17178 HAS SOUPS 11587 WITH SCORE 11669.882
AT ITER 2226 NEW BEST:: SOT 122228 SOS 82874 HAS SOPS 25282 HAS SOUS 17168 HAS SOUPS 11577 WITH SCORE 11659.874
AT ITER 2246 NEW BEST:: SOT 122116 SOS 82990 HAS SOPS 25268 HAS SOUS 17190 HAS SOUPS 11570 WITH SCORE 11652.99
AT ITER 2258 NEW BEST:: SOT 122140 SOS 82942 HAS SOPS 25220 HAS SOUS 17166 HAS SOUPS 11546 WITH SCORE 11628.942
AT ITER 2264 NEW BEST:: SOT 122138 SOS 82938 HAS SOPS 25219 HAS SOUS 17165 HAS SOUPS 11545 WITH SCORE 11627.938
AT ITER 2282 NEW BEST:: SOT 122128 SOS 82918 HAS SOPS 25199 HAS SOUS 17155 HAS SOUPS 11535 WITH SCORE 11617.918
AT ITER 2301 NEW BEST:: SOT 122086 SOS 82876 HAS SOPS 25150 HAS SOUS 17106 HAS SOUPS 11486 WITH SCORE 11568.876
AT ITER 2373 NEW BEST:: SOT 122036 SOS 82826 HAS SOPS 25075 HAS SOUS 17032 HAS SOUPS 11412 WITH SCORE 11494.826
AT ITER 2374 NEW BEST:: SOT 121415 SOS 83675 HAS SOPS 25050 HAS SOUS 17153 HAS SOUPS 11390 WITH SCORE 11473.675
AT ITER 2379 NEW BEST:: SOT 121418 SOS 83675 HAS SOPS 25044 HAS SOUS 17161 HAS SOUPS 11389 WITH SCORE 11472.675
AT ITER 2389 NEW BEST:: SOT 121424 SOS 83671 HAS SOPS 25040 HAS SOUS 17151 HAS SOUPS 11383 WITH SCORE 11466.671
AT ITER 2391 NEW BEST:: SOT 121398 SOS 83645 HAS SOPS 24988 HAS SOUS 17099 HAS SOUPS 11331 WITH SCORE 11414.645
AT ITER 2398 NEW BEST:: SOT 121382 SOS 83782 HAS SOPS 24956 HAS SOUS 17118 HAS SOUPS 11324 WITH SCORE 11407.782
AT ITER 2400 NEW BEST:: SOT 121379 SOS 83779 HAS SOPS 24953 HAS SOUS 17115 HAS SOUPS 11321 WITH SCORE 11404.779
AT ITER 2403 NEW BEST:: SOT 121362 SOS 83822 HAS SOPS 24959 HAS SOUS 17107 HAS SOUPS 11308 WITH SCORE 11391.822
AT ITER 2411 NEW BEST:: SOT 121372 SOS 83812 HAS SOPS 24959 HAS SOUS 17097 HAS SOUPS 11308 WITH SCORE 11391.812
AT ITER 2422 NEW BEST:: SOT 121378 SOS 83842 HAS SOPS 24971 HAS SOUS 17067 HAS SOUPS 11296 WITH SCORE 11379.842
AT ITER 2423 NEW BEST:: SOT 121378 SOS 83752 HAS SOPS 24973 HAS SOUS 17066 HAS SOUPS 11296 WITH SCORE 11379.752
AT ITER 2424 NEW BEST:: SOT 121368 SOS 83747 HAS SOPS 24963 HAS SOUS 17066 HAS SOUPS 11296 WITH SCORE 11379.747
AT ITER 2430 NEW BEST:: SOT 121366 SOS 83745 HAS SOPS 24959 HAS SOUS 17062 HAS SOUPS 11292 WITH SCORE 11375.745
AT ITER 2473 NEW BEST:: SOT 121187 SOS 83653 HAS SOPS 24954 HAS SOUS 17143 HAS SOUPS 11292 WITH SCORE 11375.653
AT ITER 2479 NEW BEST:: SOT 121185 SOS 83650 HAS SOPS 24950 HAS SOUS 17140 HAS SOUPS 11289 WITH SCORE 11372.65
AT ITER 2487 NEW BEST:: SOT 120766 SOS 86224 HAS SOPS 24972 HAS SOUS 17124 HAS SOUPS 11273 WITH SCORE 11359.224
AT ITER 2507 NEW BEST:: SOT 120762 SOS 86212 HAS SOPS 24960 HAS SOUS 17120 HAS SOUPS 11269 WITH SCORE 11355.212
AT ITER 2524 NEW BEST:: SOT 120761 SOS 86210 HAS SOPS 24958 HAS SOUS 17112 HAS SOUPS 11261 WITH SCORE 11347.21
AT ITER 2533 NEW BEST:: SOT 120725 SOS 86138 HAS SOPS 24886 HAS SOUS 17071 HAS SOUPS 11220 WITH SCORE 11306.138
AT ITER 2538 NEW BEST:: SOT 120724 SOS 86086 HAS SOPS 24884 HAS SOUS 17060 HAS SOUPS 11216 WITH SCORE 11302.086
AT ITER 2543 NEW BEST:: SOT 120791 SOS 86153 HAS SOPS 24844 HAS SOUS 17082 HAS SOUPS 11176 WITH SCORE 11262.153
AT ITER 2577 NEW BEST:: SOT 120784 SOS 86167 HAS SOPS 24844 HAS SOUS 17075 HAS SOUPS 11169 WITH SCORE 11255.167
AT ITER 2584 NEW BEST:: SOT 120774 SOS 86057 HAS SOPS 24860 HAS SOUS 17047 HAS SOUPS 11159 WITH SCORE 11245.057
AT ITER 2585 NEW BEST:: SOT 120768 SOS 86055 HAS SOPS 24860 HAS SOUS 17049 HAS SOUPS 11159 WITH SCORE 11245.055
AT ITER 2595 NEW BEST:: SOT 120768 SOS 86045 HAS SOPS 24852 HAS SOUS 17042 HAS SOUPS 11154 WITH SCORE 11240.045
AT ITER 2611 NEW BEST:: SOT 120746 SOS 86019 HAS SOPS 24826 HAS SOUS 17047 HAS SOUPS 11150 WITH SCORE 11236.019
AT ITER 2622 NEW BEST:: SOT 120789 SOS 86050 HAS SOPS 24823 HAS SOUS 16989 HAS SOUPS 11109 WITH SCORE 11195.05
AT ITER 2624 NEW BEST:: SOT 120744 SOS 86005 HAS SOPS 24763 HAS SOUS 16945 HAS SOUPS 11065 WITH SCORE 11151.005
AT ITER 2692 NEW BEST:: SOT 120741 SOS 86001 HAS SOPS 24760 HAS SOUS 16938 HAS SOUPS 11057 WITH SCORE 11143.001
AT ITER 2700 NEW BEST:: SOT 120745 SOS 85993 HAS SOPS 24752 HAS SOUS 16930 HAS SOUPS 11053 WITH SCORE 11138.993
AT ITER 2710 NEW BEST:: SOT 120726 SOS 85895 HAS SOPS 24714 HAS SOUS 16921 HAS SOUPS 11044 WITH SCORE 11129.895
AT ITER 2723 NEW BEST:: SOT 120694 SOS 85879 HAS SOPS 24698 HAS SOUS 16905 HAS SOUPS 11028 WITH SCORE 11113.879
AT ITER 2757 NEW BEST:: SOT 120696 SOS 85883 HAS SOPS 24671 HAS SOUS 16849 HAS SOUPS 11003 WITH SCORE 11088.883
AT ITER 2777 NEW BEST:: SOT 120687 SOS 85865 HAS SOPS 24653 HAS SOUS 16849 HAS SOUPS 11003 WITH SCORE 11088.865
AT ITER 2781 NEW BEST:: SOT 120515 SOS 85693 HAS SOPS 24481 HAS SOUS 16677 HAS SOUPS 10831 WITH SCORE 10916.693
AT ITER 2789 NEW BEST:: SOT 120149 SOS 86383 HAS SOPS 24423 HAS SOUS 16714 HAS SOUPS 10791 WITH SCORE 10877.383
AT ITER 2792 NEW BEST:: SOT 120129 SOS 86353 HAS SOPS 24283 HAS SOUS 16714 HAS SOUPS 10781 WITH SCORE 10867.353
AT ITER 2794 NEW BEST:: SOT 120177 SOS 86373 HAS SOPS 24683 HAS SOUS 16668 HAS SOUPS 10773 WITH SCORE 10859.373
AT ITER 2796 NEW BEST:: SOT 120176 SOS 86370 HAS SOPS 24681 HAS SOUS 16667 HAS SOUPS 10772 WITH SCORE 10858.37
AT ITER 2803 NEW BEST:: SOT 120160 SOS 86354 HAS SOPS 24665 HAS SOUS 16651 HAS SOUPS 10756 WITH SCORE 10842.354
AT ITER 2845 NEW BEST:: SOT 120143 SOS 86354 HAS SOPS 24665 HAS SOUS 16651 HAS SOUPS 10739 WITH SCORE 10825.354
AT ITER 2849 NEW BEST:: SOT 120103 SOS 86314 HAS SOPS 24633 HAS SOUS 16628 HAS SOUPS 10723 WITH SCORE 10809.314
AT ITER 2886 NEW BEST:: SOT 120094 SOS 86296 HAS SOPS 24585 HAS SOUS 16614 HAS SOUPS 10709 WITH SCORE 10795.296
AT ITER 2905 NEW BEST:: SOT 120088 SOS 86292 HAS SOPS 24579 HAS SOUS 16612 HAS SOUPS 10707 WITH SCORE 10793.292
AT ITER 2920 NEW BEST:: SOT 120066 SOS 86273 HAS SOPS 24530 HAS SOUS 16590 HAS SOUPS 10685 WITH SCORE 10771.273
AT ITER 2921 NEW BEST:: SOT 120059 SOS 86266 HAS SOPS 24516 HAS SOUS 16583 HAS SOUPS 10671 WITH SCORE 10757.266
AT ITER 2931 NEW BEST:: SOT 120083 SOS 86263 HAS SOPS 24520 HAS SOUS 16560 HAS SOUPS 10659 WITH SCORE 10745.263
AT ITER 3000 NEW BEST:: SOT 120113 SOS 86278 HAS SOPS 24520 HAS SOUS 16530 HAS SOUPS 10644 WITH SCORE 10730.278
AT ITER 3034 NEW BEST:: SOT 119726 SOS 85955 HAS SOPS 24197 HAS SOUS 16329 HAS SOUPS 10428 WITH SCORE 10513.955
AT ITER 3045 NEW BEST:: SOT 119726 SOS 85957 HAS SOPS 24200 HAS SOUS 16325 HAS SOUPS 10424 WITH SCORE 10509.957
AT ITER 3048 NEW BEST:: SOT 119684 SOS 85873 HAS SOPS 24164 HAS SOUS 16245 HAS SOUPS 10344 WITH SCORE 10429.873
AT ITER 3067 NEW BEST:: SOT 119666 SOS 85853 HAS SOPS 24147 HAS SOUS 16214 HAS SOUPS 10321 WITH SCORE 10406.853
AT ITER 3104 NEW BEST:: SOT 119680 SOS 85781 HAS SOPS 24074 HAS SOUS 16184 HAS SOUPS 10291 WITH SCORE 10376.781
AT ITER 3111 NEW BEST:: SOT 119650 SOS 85750 HAS SOPS 24049 HAS SOUS 16151 HAS SOUPS 10264 WITH SCORE 10349.75
AT ITER 3140 NEW BEST:: SOT 119663 SOS 85750 HAS SOPS 24049 HAS SOUS 16143 HAS SOUPS 10256 WITH SCORE 10341.75
AT ITER 3150 NEW BEST:: SOT 119636 SOS 85723 HAS SOPS 24034 HAS SOUS 16154 HAS SOUPS 10254 WITH SCORE 10339.723
AT ITER 3164 NEW BEST:: SOT 119566 SOS 85653 HAS SOPS 24034 HAS SOUS 16154 HAS SOUPS 10254 WITH SCORE 10339.653
AT ITER 3192 NEW BEST:: SOT 119571 SOS 85651 HAS SOPS 24038 HAS SOUS 16154 HAS SOUPS 10254 WITH SCORE 10339.651
AT ITER 3218 NEW BEST:: SOT 119572 SOS 85644 HAS SOPS 24038 HAS SOUS 16152 HAS SOUPS 10253 WITH SCORE 10338.644
AT ITER 3245 NEW BEST:: SOT 119661 SOS 85898 HAS SOPS 24216 HAS SOUS 16063 HAS SOUPS 10240 WITH SCORE 10325.898
AT ITER 3246 NEW BEST:: SOT 119647 SOS 85888 HAS SOPS 24206 HAS SOUS 16066 HAS SOUPS 10234 WITH SCORE 10319.888
AT ITER 3293 NEW BEST:: SOT 119642 SOS 85883 HAS SOPS 24196 HAS SOUS 16057 HAS SOUPS 10224 WITH SCORE 10309.883
AT ITER 3296 NEW BEST:: SOT 119845 SOS 86101 HAS SOPS 24414 HAS SOUS 15994 HAS SOUPS 10161 WITH SCORE 10247.101
AT ITER 3345 NEW BEST:: SOT 119887 SOS 86143 HAS SOPS 24410 HAS SOUS 16007 HAS SOUPS 10157 WITH SCORE 10243.143
AT ITER 3365 NEW BEST:: SOT 119905 SOS 85875 HAS SOPS 24401 HAS SOUS 15974 HAS SOUPS 10140 WITH SCORE 10225.875
AT ITER 3414 NEW BEST:: SOT 119890 SOS 85861 HAS SOPS 24379 HAS SOUS 15955 HAS SOUPS 10121 WITH SCORE 10206.861
AT ITER 3415 NEW BEST:: SOT 119910 SOS 85806 HAS SOPS 24313 HAS SOUS 15896 HAS SOUPS 10062 WITH SCORE 10147.806
AT ITER 3417 NEW BEST:: SOT 119873 SOS 85763 HAS SOPS 24297 HAS SOUS 15916 HAS SOUPS 10053 WITH SCORE 10138.763
AT ITER 3420 NEW BEST:: SOT 119725 SOS 85615 HAS SOPS 24146 HAS SOUS 15830 HAS SOUPS 9967 WITH SCORE 10052.615
AT ITER 3433 NEW BEST:: SOT 119576 SOS 85615 HAS SOPS 23718 HAS SOUS 15866 HAS SOUPS 9961 WITH SCORE 10046.615
AT ITER 3435 NEW BEST:: SOT 119575 SOS 85614 HAS SOPS 23717 HAS SOUS 15832 HAS SOUPS 9926 WITH SCORE 10011.614
AT ITER 3471 NEW BEST:: SOT 119566 SOS 85599 HAS SOPS 22500 HAS SOUS 15824 HAS SOUPS 9725 WITH SCORE 9810.599
AT ITER 3496 NEW BEST:: SOT 119558 SOS 85593 HAS SOPS 22484 HAS SOUS 15808 HAS SOUPS 9709 WITH SCORE 9794.593
AT ITER 3521 NEW BEST:: SOT 119535 SOS 85582 HAS SOPS 22452 HAS SOUS 15818 HAS SOUPS 9696 WITH SCORE 9781.582
AT ITER 3524 NEW BEST:: SOT 119523 SOS 85624 HAS SOPS 22386 HAS SOUS 15818 HAS SOUPS 9690 WITH SCORE 9775.624
AT ITER 3525 NEW BEST:: SOT 119503 SOS 85604 HAS SOPS 22386 HAS SOUS 15818 HAS SOUPS 9690 WITH SCORE 9775.604
AT ITER 3529 NEW BEST:: SOT 119462 SOS 85638 HAS SOPS 22362 HAS SOUS 15799 HAS SOUPS 9671 WITH SCORE 9756.638
AT ITER 3541 NEW BEST:: SOT 119446 SOS 85622 HAS SOPS 22362 HAS SOUS 15783 HAS SOUPS 9671 WITH SCORE 9756.622
AT ITER 3552 NEW BEST:: SOT 119443 SOS 85640 HAS SOPS 22352 HAS SOUS 15775 HAS SOUPS 9659 WITH SCORE 9744.64
AT ITER 3556 NEW BEST:: SOT 119191 SOS 86308 HAS SOPS 22351 HAS SOUS 15822 HAS SOUPS 9658 WITH SCORE 9744.308
AT ITER 3578 NEW BEST:: SOT 119180 SOS 86249 HAS SOPS 22305 HAS SOUS 15800 HAS SOUPS 9636 WITH SCORE 9722.249
AT ITER 3581 NEW BEST:: SOT 119180 SOS 86242 HAS SOPS 22305 HAS SOUS 15792 HAS SOUPS 9621 WITH SCORE 9707.242
AT ITER 3583 NEW BEST:: SOT 119146 SOS 86214 HAS SOPS 22269 HAS SOUS 15770 HAS SOUPS 9591 WITH SCORE 9677.214
AT ITER 3584 NEW BEST:: SOT 119009 SOS 86104 HAS SOPS 21619 HAS SOUS 15834 HAS SOUPS 9573 WITH SCORE 9659.104
AT ITER 3592 NEW BEST:: SOT 118990 SOS 86066 HAS SOPS 21581 HAS SOUS 15796 HAS SOUPS 9535 WITH SCORE 9621.066
AT ITER 3616 NEW BEST:: SOT 118545 SOS 85950 HAS SOPS 21549 HAS SOUS 15835 HAS SOUPS 9489 WITH SCORE 9574.95
AT ITER 3617 NEW BEST:: SOT 118493 SOS 85901 HAS SOPS 21489 HAS SOUS 15779 HAS SOUPS 9422 WITH SCORE 9507.901
AT ITER 3678 NEW BEST:: SOT 118444 SOS 85903 HAS SOPS 21479 HAS SOUS 15774 HAS SOUPS 9412 WITH SCORE 9497.903
AT ITER 3685 NEW BEST:: SOT 118526 SOS 85905 HAS SOPS 21481 HAS SOUS 15690 HAS SOUPS 9382 WITH SCORE 9467.905
AT ITER 3731 NEW BEST:: SOT 118419 SOS 85794 HAS SOPS 21533 HAS SOUS 15588 HAS SOUPS 9347 WITH SCORE 9432.794
AT ITER 3742 NEW BEST:: SOT 118386 SOS 85761 HAS SOPS 21490 HAS SOUS 15573 HAS SOUPS 9322 WITH SCORE 9407.761
AT ITER 3743 NEW BEST:: SOT 118313 SOS 85657 HAS SOPS 21407 HAS SOUS 15543 HAS SOUPS 9271 WITH SCORE 9356.657
AT ITER 3755 NEW BEST:: SOT 118298 SOS 85663 HAS SOPS 21406 HAS SOUS 15531 HAS SOUPS 9261 WITH SCORE 9346.663
AT ITER 3779 NEW BEST:: SOT 118293 SOS 85653 HAS SOPS 21398 HAS SOUS 15528 HAS SOUPS 9258 WITH SCORE 9343.653
AT ITER 3809 NEW BEST:: SOT 117958 SOS 86727 HAS SOPS 21382 HAS SOUS 15528 HAS SOUPS 9242 WITH SCORE 9328.727
AT ITER 3879 NEW BEST:: SOT 117940 SOS 86637 HAS SOPS 21310 HAS SOUS 15492 HAS SOUPS 9206 WITH SCORE 9292.637
AT ITER 3888 NEW BEST:: SOT 117458 SOS 86215 HAS SOPS 21293 HAS SOUS 15404 HAS SOUPS 9191 WITH SCORE 9277.215
AT ITER 3896 NEW BEST:: SOT 117454 SOS 86213 HAS SOPS 21293 HAS SOUS 15402 HAS SOUPS 9190 WITH SCORE 9276.213
AT ITER 3897 NEW BEST:: SOT 117420 SOS 86091 HAS SOPS 21269 HAS SOUS 15378 HAS SOUPS 9166 WITH SCORE 9252.091
AT ITER 3903 NEW BEST:: SOT 117411 SOS 86073 HAS SOPS 21237 HAS SOUS 15393 HAS SOUPS 9153 WITH SCORE 9239.073
AT ITER 3916 NEW BEST:: SOT 117375 SOS 86001 HAS SOPS 21165 HAS SOUS 15354 HAS SOUPS 9114 WITH SCORE 9200.001
AT ITER 3919 NEW BEST:: SOT 117297 SOS 85993 HAS SOPS 21153 HAS SOUS 15369 HAS SOUPS 9106 WITH SCORE 9191.993
AT ITER 3955 NEW BEST:: SOT 116897 SOS 85761 HAS SOPS 21151 HAS SOUS 15358 HAS SOUPS 9104 WITH SCORE 9189.761
AT ITER 3981 NEW BEST:: SOT 116894 SOS 85758 HAS SOPS 21145 HAS SOUS 15355 HAS SOUPS 9098 WITH SCORE 9183.758
AT ITER 3989 NEW BEST:: SOT 116847 SOS 85711 HAS SOPS 21145 HAS SOUS 15355 HAS SOUPS 9098 WITH SCORE 9183.711
AT ITER 4003 NEW BEST:: SOT 116847 SOS 85699 HAS SOPS 21133 HAS SOUS 15355 HAS SOUPS 9098 WITH SCORE 9183.699
AT ITER 4009 NEW BEST:: SOT 116850 SOS 85700 HAS SOPS 21105 HAS SOUS 15343 HAS SOUPS 9086 WITH SCORE 9171.7
AT ITER 4023 NEW BEST:: SOT 116857 SOS 85639 HAS SOPS 21069 HAS SOUS 15313 HAS SOUPS 9056 WITH SCORE 9141.639
AT ITER 4030 NEW BEST:: SOT 116391 SOS 85463 HAS SOPS 21043 HAS SOUS 15344 HAS SOUPS 9050 WITH SCORE 9135.463
AT ITER 4105 NEW BEST:: SOT 116395 SOS 85486 HAS SOPS 21034 HAS SOUS 15317 HAS SOUPS 9023 WITH SCORE 9108.486
AT ITER 4108 NEW BEST:: SOT 116364 SOS 85393 HAS SOPS 20972 HAS SOUS 15347 HAS SOUPS 9023 WITH SCORE 9108.393
AT ITER 4123 NEW BEST:: SOT 116376 SOS 85399 HAS SOPS 20972 HAS SOUS 15341 HAS SOUPS 9011 WITH SCORE 9096.399
AT ITER 4149 NEW BEST:: SOT 116274 SOS 85297 HAS SOPS 20833 HAS SOUS 15324 HAS SOUPS 8992 WITH SCORE 9077.297
AT ITER 4161 NEW BEST:: SOT 116270 SOS 85282 HAS SOPS 20822 HAS SOUS 15318 HAS SOUPS 8986 WITH SCORE 9071.282
AT ITER 4177 NEW BEST:: SOT 116277 SOS 85281 HAS SOPS 20818 HAS SOUS 15316 HAS SOUPS 8984 WITH SCORE 9069.281
AT ITER 4181 NEW BEST:: SOT 116273 SOS 85268 HAS SOPS 20813 HAS SOUS 15312 HAS SOUPS 8981 WITH SCORE 9066.268
AT ITER 4193 NEW BEST:: SOT 116272 SOS 85267 HAS SOPS 20822 HAS SOUS 15310 HAS SOUPS 8979 WITH SCORE 9064.267
AT ITER 4214 NEW BEST:: SOT 116270 SOS 85265 HAS SOPS 20820 HAS SOUS 15308 HAS SOUPS 8977 WITH SCORE 9062.265
AT ITER 4217 NEW BEST:: SOT 116246 SOS 85229 HAS SOPS 20796 HAS SOUS 15308 HAS SOUPS 8965 WITH SCORE 9050.229
AT ITER 4220 NEW BEST:: SOT 116291 SOS 85274 HAS SOPS 20770 HAS SOUS 15282 HAS SOUPS 8939 WITH SCORE 9024.274
AT ITER 4231 NEW BEST:: SOT 116316 SOS 85303 HAS SOPS 20778 HAS SOUS 15292 HAS SOUPS 8930 WITH SCORE 9015.303
AT ITER 4251 NEW BEST:: SOT 116336 SOS 85283 HAS SOPS 20738 HAS SOUS 15232 HAS SOUPS 8890 WITH SCORE 8975.283
AT ITER 4307 NEW BEST:: SOT 116334 SOS 85282 HAS SOPS 20737 HAS SOUS 15231 HAS SOUPS 8890 WITH SCORE 8975.282
AT ITER 4323 NEW BEST:: SOT 116274 SOS 85222 HAS SOPS 20689 HAS SOUS 15183 HAS SOUPS 8854 WITH SCORE 8939.222
AT ITER 4359 NEW BEST:: SOT 116264 SOS 85218 HAS SOPS 20637 HAS SOUS 15181 HAS SOUPS 8852 WITH SCORE 8937.218
AT ITER 4360 NEW BEST:: SOT 116269 SOS 85217 HAS SOPS 20647 HAS SOUS 15156 HAS SOUPS 8849 WITH SCORE 8934.217
AT ITER 4373 NEW BEST:: SOT 116106 SOS 85539 HAS SOPS 20637 HAS SOUS 15165 HAS SOUPS 8839 WITH SCORE 8924.539
AT ITER 4406 NEW BEST:: SOT 116103 SOS 85523 HAS SOPS 20635 HAS SOUS 15160 HAS SOUPS 8836 WITH SCORE 8921.523
AT ITER 4435 NEW BEST:: SOT 116078 SOS 85545 HAS SOPS 20621 HAS SOUS 15142 HAS SOUPS 8818 WITH SCORE 8903.545
AT ITER 4436 NEW BEST:: SOT 116122 SOS 85589 HAS SOPS 20666 HAS SOUS 15132 HAS SOUPS 8808 WITH SCORE 8893.589
AT ITER 4442 NEW BEST:: SOT 116117 SOS 85583 HAS SOPS 20660 HAS SOUS 15129 HAS SOUPS 8805 WITH SCORE 8890.583
AT ITER 4460 NEW BEST:: SOT 116117 SOS 85567 HAS SOPS 20652 HAS SOUS 15129 HAS SOUPS 8805 WITH SCORE 8890.567
AT ITER 4477 NEW BEST:: SOT 116148 SOS 85565 HAS SOPS 20650 HAS SOUS 15129 HAS SOUPS 8805 WITH SCORE 8890.565
AT ITER 4511 NEW BEST:: SOT 116228 SOS 85623 HAS SOPS 21269 HAS SOUS 15072 HAS SOUPS 8798 WITH SCORE 8883.623
AT ITER 4514 NEW BEST:: SOT 116220 SOS 85622 HAS SOPS 21268 HAS SOUS 15045 HAS SOUPS 8771 WITH SCORE 8856.622
AT ITER 4539 NEW BEST:: SOT 116210 SOS 85612 HAS SOPS 21378 HAS SOUS 15045 HAS SOUPS 8771 WITH SCORE 8856.612
AT ITER 4640 NEW BEST:: SOT 116177 SOS 85578 HAS SOPS 21344 HAS SOUS 15033 HAS SOUPS 8743 WITH SCORE 8828.578
AT ITER 4685 NEW BEST:: SOT 116177 SOS 85592 HAS SOPS 21372 HAS SOUS 15002 HAS SOUPS 8726 WITH SCORE 8811.592
AT ITER 4703 NEW BEST:: SOT 115971 SOS 85386 HAS SOPS 21166 HAS SOUS 14976 HAS SOUPS 8700 WITH SCORE 8785.386
AT ITER 4704 NEW BEST:: SOT 115978 SOS 85379 HAS SOPS 21166 HAS SOUS 14962 HAS SOUPS 8693 WITH SCORE 8778.379
AT ITER 4732 NEW BEST:: SOT 116505 SOS 85497 HAS SOPS 21100 HAS SOUS 14971 HAS SOUPS 8692 WITH SCORE 8777.497
AT ITER 4763 NEW BEST:: SOT 116501 SOS 85457 HAS SOPS 21074 HAS SOUS 14963 HAS SOUPS 8684 WITH SCORE 8769.457
AT ITER 4807 NEW BEST:: SOT 116425 SOS 85381 HAS SOPS 21050 HAS SOUS 14934 HAS SOUPS 8655 WITH SCORE 8740.381
AT ITER 4836 NEW BEST:: SOT 116422 SOS 85378 HAS SOPS 21044 HAS SOUS 14932 HAS SOUPS 8649 WITH SCORE 8734.378
AT ITER 4848 NEW BEST:: SOT 116420 SOS 85404 HAS SOPS 21042 HAS SOUS 14930 HAS SOUPS 8643 WITH SCORE 8728.404
AT ITER 4850 NEW BEST:: SOT 116376 SOS 85351 HAS SOPS 21043 HAS SOUS 14904 HAS SOUPS 8638 WITH SCORE 8723.351
AT ITER 4922 NEW BEST:: SOT 116395 SOS 85287 HAS SOPS 21043 HAS SOUS 14906 HAS SOUPS 8638 WITH SCORE 8723.287
AT ITER 4928 NEW BEST:: SOT 116401 SOS 85277 HAS SOPS 21037 HAS SOUS 14898 HAS SOUPS 8630 WITH SCORE 8715.277
AT ITER 4948 NEW BEST:: SOT 116469 SOS 85104 HAS SOPS 21075 HAS SOUS 14797 HAS SOUPS 8600 WITH SCORE 8685.104
AT ITER 4963 NEW BEST:: SOT 116447 SOS 85096 HAS SOPS 21067 HAS SOUS 14719 HAS SOUPS 8522 WITH SCORE 8607.096
AT ITER 5084 NEW BEST:: SOT 116423 SOS 85086 HAS SOPS 21057 HAS SOUS 14673 HAS SOUPS 8476 WITH SCORE 8561.086
AT ITER 5089 NEW BEST:: SOT 115876 SOS 84539 HAS SOPS 20510 HAS SOUS 14514 HAS SOUPS 8317 WITH SCORE 8401.539
AT ITER 5110 NEW BEST:: SOT 115843 SOS 84506 HAS SOPS 20488 HAS SOUS 14497 HAS SOUPS 8308 WITH SCORE 8392.506
AT ITER 5123 NEW BEST:: SOT 115834 SOS 84497 HAS SOPS 20470 HAS SOUS 14482 HAS SOUPS 8281 WITH SCORE 8365.497
AT ITER 5141 NEW BEST:: SOT 115813 SOS 84443 HAS SOPS 20457 HAS SOUS 14478 HAS SOUPS 8277 WITH SCORE 8361.443
AT ITER 5166 NEW BEST:: SOT 115812 SOS 84434 HAS SOPS 20455 HAS SOUS 14475 HAS SOUPS 8274 WITH SCORE 8358.434
AT ITER 5169 NEW BEST:: SOT 115812 SOS 84434 HAS SOPS 20451 HAS SOUS 14467 HAS SOUPS 8270 WITH SCORE 8354.434
AT ITER 5188 NEW BEST:: SOT 115928 SOS 84198 HAS SOPS 20431 HAS SOUS 14436 HAS SOUPS 8257 WITH SCORE 8341.198
AT ITER 5194 NEW BEST:: SOT 115908 SOS 84216 HAS SOPS 20446 HAS SOUS 14433 HAS SOUPS 8254 WITH SCORE 8338.216
AT ITER 5212 NEW BEST:: SOT 115901 SOS 84217 HAS SOPS 20432 HAS SOUS 14426 HAS SOUPS 8247 WITH SCORE 8331.217
AT ITER 5215 NEW BEST:: SOT 115865 SOS 84145 HAS SOPS 20369 HAS SOUS 14399 HAS SOUPS 8211 WITH SCORE 8295.145
AT ITER 5407 NEW BEST:: SOT 115853 SOS 84133 HAS SOPS 20359 HAS SOUS 14375 HAS SOUPS 8189 WITH SCORE 8273.133
AT ITER 5414 NEW BEST:: SOT 115962 SOS 84234 HAS SOPS 20405 HAS SOUS 14368 HAS SOUPS 8182 WITH SCORE 8266.234
AT ITER 5432 NEW BEST:: SOT 115953 SOS 84244 HAS SOPS 20423 HAS SOUS 14363 HAS SOUPS 8177 WITH SCORE 8261.244
AT ITER 5463 NEW BEST:: SOT 115946 SOS 84230 HAS SOPS 20409 HAS SOUS 14353 HAS SOUPS 8167 WITH SCORE 8251.23
AT ITER 5486 NEW BEST:: SOT 115978 SOS 84237 HAS SOPS 20397 HAS SOUS 14315 HAS SOUPS 8148 WITH SCORE 8232.237
AT ITER 5537 NEW BEST:: SOT 116010 SOS 84265 HAS SOPS 20396 HAS SOUS 14317 HAS SOUPS 8147 WITH SCORE 8231.265
AT ITER 5587 NEW BEST:: SOT 116008 SOS 84263 HAS SOPS 20418 HAS SOUS 14317 HAS SOUPS 8147 WITH SCORE 8231.263
AT ITER 5639 NEW BEST:: SOT 115969 SOS 84211 HAS SOPS 20223 HAS SOUS 14298 HAS SOUPS 8115 WITH SCORE 8199.211
AT ITER 5671 NEW BEST:: SOT 115970 SOS 84212 HAS SOPS 19926 HAS SOUS 14299 HAS SOUPS 8065 WITH SCORE 8149.212
AT ITER 5760 NEW BEST:: SOT 115962 SOS 84204 HAS SOPS 19910 HAS SOUS 14283 HAS SOUPS 8049 WITH SCORE 8133.204
AT ITER 5869 NEW BEST:: SOT 115958 SOS 83943 HAS SOPS 19904 HAS SOUS 14281 HAS SOUPS 8047 WITH SCORE 8130.943
AT ITER 5884 NEW BEST:: SOT 116199 SOS 84045 HAS SOPS 20006 HAS SOUS 14271 HAS SOUPS 8044 WITH SCORE 8128.045
AT ITER 5945 NEW BEST:: SOT 116294 SOS 84035 HAS SOPS 19986 HAS SOUS 14268 HAS SOUPS 8041 WITH SCORE 8125.035
AT ITER 5953 NEW BEST:: SOT 116494 SOS 84185 HAS SOPS 20136 HAS SOUS 14267 HAS SOUPS 8040 WITH SCORE 8124.185
AT ITER 5956 NEW BEST:: SOT 116399 SOS 84180 HAS SOPS 20126 HAS SOUS 14257 HAS SOUPS 8030 WITH SCORE 8114.18
AT ITER 5965 NEW BEST:: SOT 116393 SOS 84174 HAS SOPS 20120 HAS SOUS 14245 HAS SOUPS 8018 WITH SCORE 8102.174
AT ITER 5988 NEW BEST:: SOT 116383 SOS 84164 HAS SOPS 20108 HAS SOUS 14231 HAS SOUPS 8004 WITH SCORE 8088.164
AT ITER 6135 NEW BEST:: SOT 116393 SOS 84187 HAS SOPS 20090 HAS SOUS 14226 HAS SOUPS 7999 WITH SCORE 8083.187
AT ITER 6168 NEW BEST:: SOT 116432 SOS 84161 HAS SOPS 20038 HAS SOUS 14200 HAS SOUPS 7986 WITH SCORE 8070.161
AT ITER 6188 NEW BEST:: SOT 116420 SOS 84149 HAS SOPS 20014 HAS SOUS 14176 HAS SOUPS 7962 WITH SCORE 8046.149
AT ITER 6327 NEW BEST:: SOT 116420 SOS 84145 HAS SOPS 20012 HAS SOUS 14176 HAS SOUPS 7962 WITH SCORE 8046.145
AT ITER 6382 NEW BEST:: SOT 116411 SOS 84144 HAS SOPS 19993 HAS SOUS 14176 HAS SOUPS 7944 WITH SCORE 8028.144
AT ITER 6397 NEW BEST:: SOT 116415 SOS 84132 HAS SOPS 19981 HAS SOUS 14176 HAS SOUPS 7944 WITH SCORE 8028.132
AT ITER 6403 NEW BEST:: SOT 116401 SOS 84088 HAS SOPS 19951 HAS SOUS 14181 HAS SOUPS 7932 WITH SCORE 8016.088
AT ITER 6500 NEW BEST:: SOT 116399 SOS 84082 HAS SOPS 19945 HAS SOUS 14171 HAS SOUPS 7922 WITH SCORE 8006.082
AT ITER 6510 NEW BEST:: SOT 116400 SOS 84081 HAS SOPS 19941 HAS SOUS 14168 HAS SOUPS 7919 WITH SCORE 8003.081
AT ITER 6525 NEW BEST:: SOT 116265 SOS 83946 HAS SOPS 19806 HAS SOUS 14153 HAS SOUPS 7904 WITH SCORE 7987.946
AT ITER 6529 NEW BEST:: SOT 116307 SOS 83988 HAS SOPS 19796 HAS SOUS 14143 HAS SOUPS 7894 WITH SCORE 7977.988
AT ITER 6536 NEW BEST:: SOT 116310 SOS 83985 HAS SOPS 19829 HAS SOUS 14143 HAS SOUPS 7894 WITH SCORE 7977.985
AT ITER 6550 NEW BEST:: SOT 115490 SOS 83744 HAS SOPS 19829 HAS SOUS 14210 HAS SOUPS 7894 WITH SCORE 7977.744
AT ITER 6563 NEW BEST:: SOT 115485 SOS 83734 HAS SOPS 19819 HAS SOUS 14206 HAS SOUPS 7890 WITH SCORE 7973.734
AT ITER 6585 NEW BEST:: SOT 115404 SOS 83653 HAS SOPS 19742 HAS SOUS 14115 HAS SOUPS 7813 WITH SCORE 7896.653
AT ITER 6599 NEW BEST:: SOT 115392 SOS 83593 HAS SOPS 19694 HAS SOUS 14091 HAS SOUPS 7789 WITH SCORE 7872.593
AT ITER 6673 NEW BEST:: SOT 115272 SOS 83543 HAS SOPS 19654 HAS SOUS 14092 HAS SOUPS 7769 WITH SCORE 7852.543
AT ITER 6753 NEW BEST:: SOT 115357 SOS 83431 HAS SOPS 19654 HAS SOUS 14094 HAS SOUPS 7769 WITH SCORE 7852.431
AT ITER 6772 NEW BEST:: SOT 115374 SOS 83445 HAS SOPS 19668 HAS SOUS 14081 HAS SOUPS 7756 WITH SCORE 7839.445
AT ITER 6828 NEW BEST:: SOT 115440 SOS 83247 HAS SOPS 19668 HAS SOUS 14078 HAS SOUPS 7756 WITH SCORE 7839.247
AT ITER 6904 NEW BEST:: SOT 115464 SOS 83238 HAS SOPS 19659 HAS SOUS 14069 HAS SOUPS 7750 WITH SCORE 7833.238
AT ITER 6934 NEW BEST:: SOT 115461 SOS 83232 HAS SOPS 19641 HAS SOUS 14065 HAS SOUPS 7746 WITH SCORE 7829.232
AT ITER 6948 NEW BEST:: SOT 115460 SOS 83224 HAS SOPS 19639 HAS SOUS 14063 HAS SOUPS 7744 WITH SCORE 7827.224
AT ITER 6976 NEW BEST:: SOT 115456 SOS 83220 HAS SOPS 19635 HAS SOUS 14059 HAS SOUPS 7740 WITH SCORE 7823.22
AT ITER 6991 NEW BEST:: SOT 115448 SOS 83189 HAS SOPS 19574 HAS SOUS 14045 HAS SOUPS 7726 WITH SCORE 7809.189
AT ITER 7025 NEW BEST:: SOT 115442 SOS 83177 HAS SOPS 19562 HAS SOUS 14035 HAS SOUPS 7716 WITH SCORE 7799.177
AT ITER 7077 NEW BEST:: SOT 115446 SOS 83179 HAS SOPS 19564 HAS SOUS 14034 HAS SOUPS 7715 WITH SCORE 7798.179
AT ITER 7098 NEW BEST:: SOT 115446 SOS 83173 HAS SOPS 19564 HAS SOUS 14015 HAS SOUPS 7708 WITH SCORE 7791.173
AT ITER 7100 NEW BEST:: SOT 115433 SOS 83147 HAS SOPS 19549 HAS SOUS 14023 HAS SOUPS 7705 WITH SCORE 7788.147
AT ITER 7162 NEW BEST:: SOT 115419 SOS 83143 HAS SOPS 19537 HAS SOUS 14016 HAS SOUPS 7698 WITH SCORE 7781.143
AT ITER 7197 NEW BEST:: SOT 115420 SOS 83142 HAS SOPS 19537 HAS SOUS 14015 HAS SOUPS 7697 WITH SCORE 7780.142
AT ITER 7259 NEW BEST:: SOT 115415 SOS 83142 HAS SOPS 19537 HAS SOUS 14014 HAS SOUPS 7696 WITH SCORE 7779.142
AT ITER 7384 NEW BEST:: SOT 115416 SOS 83144 HAS SOPS 19538 HAS SOUS 14012 HAS SOUPS 7695 WITH SCORE 7778.144
AT ITER 7397 NEW BEST:: SOT 115415 SOS 83141 HAS SOPS 19535 HAS SOUS 14011 HAS SOUPS 7694 WITH SCORE 7777.141
AT ITER 7402 NEW BEST:: SOT 115410 SOS 83138 HAS SOPS 19533 HAS SOUS 14013 HAS SOUPS 7694 WITH SCORE 7777.138
AT ITER 7465 NEW BEST:: SOT 115428 SOS 83134 HAS SOPS 19513 HAS SOUS 13998 HAS SOUPS 7687 WITH SCORE 7770.134
AT ITER 7493 NEW BEST:: SOT 115428 SOS 83130 HAS SOPS 19505 HAS SOUS 13992 HAS SOUPS 7681 WITH SCORE 7764.13
AT ITER 7494 NEW BEST:: SOT 115436 SOS 83128 HAS SOPS 19503 HAS SOUS 13982 HAS SOUPS 7680 WITH SCORE 7763.128
AT ITER 7529 NEW BEST:: SOT 115475 SOS 82661 HAS SOPS 19503 HAS SOUS 13968 HAS SOUPS 7680 WITH SCORE 7762.661
AT ITER 7558 NEW BEST:: SOT 115475 SOS 82668 HAS SOPS 19503 HAS SOUS 13961 HAS SOUPS 7673 WITH SCORE 7755.668
AT ITER 7627 NEW BEST:: SOT 115470 SOS 82658 HAS SOPS 19500 HAS SOUS 13958 HAS SOUPS 7670 WITH SCORE 7752.658
AT ITER 7640 NEW BEST:: SOT 115396 SOS 82611 HAS SOPS 19469 HAS SOUS 13926 HAS SOUPS 7666 WITH SCORE 7748.611
AT ITER 7800 NEW BEST:: SOT 115390 SOS 82609 HAS SOPS 19467 HAS SOUS 13924 HAS SOUPS 7664 WITH SCORE 7746.609
AT ITER 7828 NEW BEST:: SOT 115417 SOS 82632 HAS SOPS 19489 HAS SOUS 13915 HAS SOUPS 7658 WITH SCORE 7740.632
AT ITER 7878 NEW BEST:: SOT 115405 SOS 82608 HAS SOPS 19465 HAS SOUS 13901 HAS SOUPS 7644 WITH SCORE 7726.608
AT ITER 7988 NEW BEST:: SOT 115385 SOS 82578 HAS SOPS 19465 HAS SOUS 13901 HAS SOUPS 7644 WITH SCORE 7726.578
AT ITER 8019 NEW BEST:: SOT 115339 SOS 82532 HAS SOPS 19419 HAS SOUS 13849 HAS SOUPS 7592 WITH SCORE 7674.532
AT ITER 8047 NEW BEST:: SOT 115337 SOS 82527 HAS SOPS 19414 HAS SOUS 13846 HAS SOUPS 7589 WITH SCORE 7671.527
AT ITER 8175 NEW BEST:: SOT 115331 SOS 82518 HAS SOPS 19405 HAS SOUS 13843 HAS SOUPS 7586 WITH SCORE 7668.518
AT ITER 8352 NEW BEST:: SOT 115319 SOS 82506 HAS SOPS 19405 HAS SOUS 13843 HAS SOUPS 7586 WITH SCORE 7668.506
AT ITER 8353 NEW BEST:: SOT 115318 SOS 82506 HAS SOPS 19405 HAS SOUS 13843 HAS SOUPS 7585 WITH SCORE 7667.506
AT ITER 8361 NEW BEST:: SOT 115310 SOS 82502 HAS SOPS 19353 HAS SOUS 13839 HAS SOUPS 7581 WITH SCORE 7663.502
AT ITER 8383 NEW BEST:: SOT 115304 SOS 82490 HAS SOPS 19346 HAS SOUS 13841 HAS SOUPS 7578 WITH SCORE 7660.49
AT ITER 8406 NEW BEST:: SOT 115300 SOS 82486 HAS SOPS 19338 HAS SOUS 13833 HAS SOUPS 7566 WITH SCORE 7648.486
AT ITER 8423 NEW BEST:: SOT 115300 SOS 82465 HAS SOPS 19317 HAS SOUS 13826 HAS SOUPS 7559 WITH SCORE 7641.465
AT ITER 8486 NEW BEST:: SOT 115296 SOS 82457 HAS SOPS 19311 HAS SOUS 13816 HAS SOUPS 7553 WITH SCORE 7635.457
AT ITER 8516 NEW BEST:: SOT 115287 SOS 82448 HAS SOPS 18602 HAS SOUS 13798 HAS SOUPS 7535 WITH SCORE 7617.448
AT ITER 8563 NEW BEST:: SOT 115281 SOS 82442 HAS SOPS 18596 HAS SOUS 13789 HAS SOUPS 7529 WITH SCORE 7611.442
AT ITER 8613 NEW BEST:: SOT 115296 SOS 82417 HAS SOPS 18596 HAS SOUS 13787 HAS SOUPS 7529 WITH SCORE 7611.417
AT ITER 8797 NEW BEST:: SOT 115287 SOS 82419 HAS SOPS 18550 HAS SOUS 13788 HAS SOUPS 7526 WITH SCORE 7608.419
AT ITER 8798 NEW BEST:: SOT 115277 SOS 82409 HAS SOPS 18545 HAS SOUS 13793 HAS SOUPS 7526 WITH SCORE 7608.409
AT ITER 8886 NEW BEST:: SOT 115278 SOS 82407 HAS SOPS 18543 HAS SOUS 13791 HAS SOUPS 7525 WITH SCORE 7607.407
AT ITER 9066 NEW BEST:: SOT 115294 SOS 82342 HAS SOPS 18543 HAS SOUS 13790 HAS SOUPS 7525 WITH SCORE 7607.342
AT ITER 9075 NEW BEST:: SOT 115300 SOS 82354 HAS SOPS 18555 HAS SOUS 13776 HAS SOUPS 7522 WITH SCORE 7604.354
AT ITER 9115 NEW BEST:: SOT 115295 SOS 82354 HAS SOPS 18557 HAS SOUS 13766 HAS SOUPS 7512 WITH SCORE 7594.354
AT ITER 9178 NEW BEST:: SOT 115295 SOS 82348 HAS SOPS 18551 HAS SOUS 13763 HAS SOUPS 7509 WITH SCORE 7591.348
AT ITER 9190 NEW BEST:: SOT 115308 SOS 82292 HAS SOPS 18551 HAS SOUS 13759 HAS SOUPS 7509 WITH SCORE 7591.292
AT ITER 9224 NEW BEST:: SOT 115308 SOS 82292 HAS SOPS 18551 HAS SOUS 13758 HAS SOUPS 7508 WITH SCORE 7590.292
AT ITER 9258 NEW BEST:: SOT 115318 SOS 82302 HAS SOPS 18556 HAS SOUS 13748 HAS SOUPS 7503 WITH SCORE 7585.302
AT ITER 9394 NEW BEST:: SOT 115316 SOS 82294 HAS SOPS 18552 HAS SOUS 13752 HAS SOUPS 7503 WITH SCORE 7585.294
AT ITER 9420 NEW BEST:: SOT 115316 SOS 82294 HAS SOPS 18548 HAS SOUS 13748 HAS SOUPS 7499 WITH SCORE 7581.294
AT ITER 9479 NEW BEST:: SOT 115310 SOS 82288 HAS SOPS 18542 HAS SOUS 13744 HAS SOUPS 7495 WITH SCORE 7577.288
AT ITER 9517 NEW BEST:: SOT 115301 SOS 82282 HAS SOPS 18557 HAS SOUS 13738 HAS SOUPS 7495 WITH SCORE 7577.282
AT ITER 9578 NEW BEST:: SOT 115295 SOS 82270 HAS SOPS 18545 HAS SOUS 13738 HAS SOUPS 7492 WITH SCORE 7574.27
AT ITER 9625 NEW BEST:: SOT 115299 SOS 82256 HAS SOPS 18663 HAS SOUS 13736 HAS SOUPS 7490 WITH SCORE 7572.256
AT ITER 9627 NEW BEST:: SOT 115296 SOS 82237 HAS SOPS 18644 HAS SOUS 13734 HAS SOUPS 7475 WITH SCORE 7557.237
AT ITER 9677 NEW BEST:: SOT 115294 SOS 82233 HAS SOPS 18630 HAS SOUS 13723 HAS SOUPS 7474 WITH SCORE 7556.233
AT ITER 9695 NEW BEST:: SOT 115294 SOS 82228 HAS SOPS 18584 HAS SOUS 13717 HAS SOUPS 7468 WITH SCORE 7550.228
AT ITER 9769 NEW BEST:: SOT 115245 SOS 82179 HAS SOPS 18584 HAS SOUS 13710 HAS SOUPS 7468 WITH SCORE 7550.179
AT ITER 9856 NEW BEST:: SOT 115243 SOS 82178 HAS SOPS 18582 HAS SOUS 13709 HAS SOUPS 7466 WITH SCORE 7548.178
AT ITER 9984 NEW BEST:: SOT 115247 SOS 82161 HAS SOPS 18560 HAS SOUS 13701 HAS SOUPS 7458 WITH SCORE 7540.161
STATE_SPACE STATES 8304696129 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 25 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1338192019337 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678308439855

--------------------
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="CloudDeployment-PT-6a"
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 CloudDeployment-PT-6a, 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 r067-smll-167814394800432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6a.tgz
mv CloudDeployment-PT-6a 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 ;