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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 784K
-rw-r--r-- 1 mcc users 6.4K Feb 25 15:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 15:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 15:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 16:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 16:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 16:08 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 420K 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 1678312838200

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-7a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 7a
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: 264 places, 1174 transitions, 7331 arcs.
AT ITER 0 NEW BEST:: SOT 247899 SOS 145437 HAS SOPS 137733 HAS SOUS 116467 HAS SOUPS 109891 WITH SCORE 110036.437
AT ITER 12 NEW BEST:: SOT 247891 SOS 145421 HAS SOPS 137717 HAS SOUS 116443 HAS SOUPS 109867 WITH SCORE 110012.421
AT ITER 19 NEW BEST:: SOT 248069 SOS 145777 HAS SOPS 137999 HAS SOUS 116368 HAS SOUPS 109718 WITH SCORE 109863.777
AT ITER 22 NEW BEST:: SOT 248069 SOS 145713 HAS SOPS 137935 HAS SOUS 116272 HAS SOUPS 109622 WITH SCORE 109767.713
AT ITER 23 NEW BEST:: SOT 248200 SOS 145791 HAS SOPS 138013 HAS SOUS 116257 HAS SOUPS 109607 WITH SCORE 109752.791
AT ITER 28 NEW BEST:: SOT 248416 SOS 146105 HAS SOPS 138444 HAS SOUS 116092 HAS SOUPS 109559 WITH SCORE 109705.105
AT ITER 33 NEW BEST:: SOT 249145 SOS 146642 HAS SOPS 138981 HAS SOUS 115644 HAS SOUPS 109111 WITH SCORE 109257.642
AT ITER 34 NEW BEST:: SOT 249395 SOS 146718 HAS SOPS 139182 HAS SOUS 114816 HAS SOUPS 108408 WITH SCORE 108554.718
AT ITER 35 NEW BEST:: SOT 248591 SOS 149712 HAS SOPS 139097 HAS SOUS 114414 HAS SOUPS 108393 WITH SCORE 108542.712
AT ITER 37 NEW BEST:: SOT 249833 SOS 150816 HAS SOPS 140201 HAS SOUS 113894 HAS SOUPS 107873 WITH SCORE 108023.816
AT ITER 39 NEW BEST:: SOT 249982 SOS 151063 HAS SOPS 140448 HAS SOUS 113846 HAS SOUPS 107825 WITH SCORE 107976.063
AT ITER 41 NEW BEST:: SOT 249982 SOS 151002 HAS SOPS 140387 HAS SOUS 113785 HAS SOUPS 107764 WITH SCORE 107915.002
AT ITER 42 NEW BEST:: SOT 249982 SOS 151002 HAS SOPS 140387 HAS SOUS 113778 HAS SOUPS 107757 WITH SCORE 107908.002
AT ITER 53 NEW BEST:: SOT 249982 SOS 151001 HAS SOPS 140386 HAS SOUS 113777 HAS SOUPS 107756 WITH SCORE 107907.001
AT ITER 56 NEW BEST:: SOT 249982 SOS 151001 HAS SOPS 140386 HAS SOUS 113752 HAS SOUPS 107731 WITH SCORE 107882.001
AT ITER 59 NEW BEST:: SOT 249958 SOS 150893 HAS SOPS 140278 HAS SOUS 113546 HAS SOUPS 107525 WITH SCORE 107675.893
AT ITER 65 NEW BEST:: SOT 249393 SOS 154207 HAS SOPS 139930 HAS SOUS 112822 HAS SOUPS 106765 WITH SCORE 106919.207
AT ITER 73 NEW BEST:: SOT 249649 SOS 154522 HAS SOPS 140373 HAS SOUS 112668 HAS SOUPS 106739 WITH SCORE 106893.522
AT ITER 75 NEW BEST:: SOT 249607 SOS 154479 HAS SOPS 140330 HAS SOUS 112625 HAS SOUPS 106696 WITH SCORE 106850.479
AT ITER 76 NEW BEST:: SOT 249788 SOS 154289 HAS SOPS 140140 HAS SOUS 112241 HAS SOUPS 106312 WITH SCORE 106466.289
AT ITER 77 NEW BEST:: SOT 250105 SOS 154531 HAS SOPS 140527 HAS SOUS 111584 HAS SOUPS 105728 WITH SCORE 105882.531
AT ITER 79 NEW BEST:: SOT 249163 SOS 153950 HAS SOPS 139852 HAS SOUS 111084 HAS SOUPS 105235 WITH SCORE 105388.95
AT ITER 80 NEW BEST:: SOT 249100 SOS 153897 HAS SOPS 139852 HAS SOUS 111021 HAS SOUPS 105235 WITH SCORE 105388.897
AT ITER 84 NEW BEST:: SOT 249356 SOS 153782 HAS SOPS 139865 HAS SOUS 109986 HAS SOUPS 104328 WITH SCORE 104481.782
AT ITER 85 NEW BEST:: SOT 249321 SOS 153660 HAS SOPS 139743 HAS SOUS 109864 HAS SOUPS 104206 WITH SCORE 104359.66
AT ITER 86 NEW BEST:: SOT 249289 SOS 153620 HAS SOPS 139711 HAS SOUS 109840 HAS SOUPS 104182 WITH SCORE 104335.62
AT ITER 87 NEW BEST:: SOT 249633 SOS 153696 HAS SOPS 139711 HAS SOUS 109230 HAS SOUPS 103572 WITH SCORE 103725.696
AT ITER 93 NEW BEST:: SOT 249588 SOS 153181 HAS SOPS 139681 HAS SOUS 109065 HAS SOUPS 103422 WITH SCORE 103575.181
AT ITER 94 NEW BEST:: SOT 249169 SOS 152763 HAS SOPS 139403 HAS SOUS 108628 HAS SOUPS 103125 WITH SCORE 103277.763
AT ITER 102 NEW BEST:: SOT 249253 SOS 152904 HAS SOPS 139708 HAS SOUS 107465 HAS SOUPS 102131 WITH SCORE 102283.904
AT ITER 103 NEW BEST:: SOT 249550 SOS 150785 HAS SOPS 140173 HAS SOUS 107192 HAS SOUPS 101880 WITH SCORE 102030.785
AT ITER 104 NEW BEST:: SOT 249825 SOS 150943 HAS SOPS 140467 HAS SOUS 106339 HAS SOUPS 101163 WITH SCORE 101313.943
AT ITER 105 NEW BEST:: SOT 250101 SOS 151081 HAS SOPS 140743 HAS SOUS 105403 HAS SOUPS 100365 WITH SCORE 100516.081
AT ITER 106 NEW BEST:: SOT 250408 SOS 151244 HAS SOPS 140906 HAS SOUS 105114 HAS SOUPS 100076 WITH SCORE 100227.244
AT ITER 110 NEW BEST:: SOT 250408 SOS 151242 HAS SOPS 140904 HAS SOUS 105112 HAS SOUPS 100074 WITH SCORE 100225.242
AT ITER 111 NEW BEST:: SOT 250355 SOS 151197 HAS SOPS 140859 HAS SOUS 105067 HAS SOUPS 100029 WITH SCORE 100180.197
AT ITER 112 NEW BEST:: SOT 250837 SOS 151473 HAS SOPS 141295 HAS SOUS 104017 HAS SOUPS 99148 WITH SCORE 99299.473
AT ITER 116 NEW BEST:: SOT 250801 SOS 151325 HAS SOPS 141147 HAS SOUS 103907 HAS SOUPS 99038 WITH SCORE 99189.325
AT ITER 118 NEW BEST:: SOT 251054 SOS 151342 HAS SOPS 141164 HAS SOUS 103394 HAS SOUPS 98525 WITH SCORE 98676.342
AT ITER 120 NEW BEST:: SOT 251759 SOS 151757 HAS SOPS 141579 HAS SOUS 103269 HAS SOUPS 98400 WITH SCORE 98551.757
AT ITER 122 NEW BEST:: SOT 251756 SOS 151754 HAS SOPS 141579 HAS SOUS 103266 HAS SOUPS 98400 WITH SCORE 98551.754
AT ITER 125 NEW BEST:: SOT 251756 SOS 151757 HAS SOPS 141579 HAS SOUS 103251 HAS SOUPS 98385 WITH SCORE 98536.757
AT ITER 129 NEW BEST:: SOT 251769 SOS 151600 HAS SOPS 141422 HAS SOUS 102713 HAS SOUPS 97847 WITH SCORE 97998.6
AT ITER 131 NEW BEST:: SOT 251842 SOS 151242 HAS SOPS 141232 HAS SOUS 101167 HAS SOUPS 96469 WITH SCORE 96620.242
AT ITER 139 NEW BEST:: SOT 251640 SOS 151533 HAS SOPS 141129 HAS SOUS 101031 HAS SOUPS 96366 WITH SCORE 96517.533
AT ITER 140 NEW BEST:: SOT 251864 SOS 151851 HAS SOPS 141577 HAS SOUS 100583 HAS SOUPS 96030 WITH SCORE 96181.851
AT ITER 143 NEW BEST:: SOT 250727 SOS 153263 HAS SOPS 140920 HAS SOUS 100057 HAS SOUPS 95548 WITH SCORE 95701.263
AT ITER 147 NEW BEST:: SOT 246485 SOS 152939 HAS SOPS 138182 HAS SOUS 97300 HAS SOUPS 93164 WITH SCORE 93316.939
AT ITER 148 NEW BEST:: SOT 246845 SOS 152898 HAS SOPS 138182 HAS SOUS 96578 HAS SOUPS 92442 WITH SCORE 92594.898
AT ITER 149 NEW BEST:: SOT 246819 SOS 152894 HAS SOPS 138110 HAS SOUS 96501 HAS SOUPS 92365 WITH SCORE 92517.894
AT ITER 150 NEW BEST:: SOT 246792 SOS 152813 HAS SOPS 138029 HAS SOUS 96474 HAS SOUPS 92338 WITH SCORE 92490.813
AT ITER 154 NEW BEST:: SOT 246794 SOS 152813 HAS SOPS 138031 HAS SOUS 96458 HAS SOUPS 92324 WITH SCORE 92476.813
AT ITER 155 NEW BEST:: SOT 246622 SOS 152355 HAS SOPS 137573 HAS SOUS 96198 HAS SOUPS 92064 WITH SCORE 92216.355
AT ITER 157 NEW BEST:: SOT 246728 SOS 152620 HAS SOPS 137838 HAS SOUS 96052 HAS SOUPS 91918 WITH SCORE 92070.62
AT ITER 158 NEW BEST:: SOT 246825 SOS 152523 HAS SOPS 137741 HAS SOUS 95955 HAS SOUPS 91821 WITH SCORE 91973.523
AT ITER 160 NEW BEST:: SOT 246995 SOS 152456 HAS SOPS 137725 HAS SOUS 95694 HAS SOUPS 91560 WITH SCORE 91712.456
AT ITER 163 NEW BEST:: SOT 247021 SOS 152391 HAS SOPS 137660 HAS SOUS 95480 HAS SOUPS 91346 WITH SCORE 91498.391
AT ITER 164 NEW BEST:: SOT 246131 SOS 151583 HAS SOPS 136852 HAS SOUS 95176 HAS SOUPS 91042 WITH SCORE 91193.583
AT ITER 165 NEW BEST:: SOT 246102 SOS 151459 HAS SOPS 136695 HAS SOUS 94952 HAS SOUPS 90818 WITH SCORE 90969.459
AT ITER 166 NEW BEST:: SOT 246384 SOS 151740 HAS SOPS 137117 HAS SOUS 94170 HAS SOUPS 90177 WITH SCORE 90328.74
AT ITER 167 NEW BEST:: SOT 246412 SOS 151775 HAS SOPS 137152 HAS SOUS 94156 HAS SOUPS 90163 WITH SCORE 90314.775
AT ITER 168 NEW BEST:: SOT 246412 SOS 151665 HAS SOPS 137042 HAS SOUS 94156 HAS SOUPS 90163 WITH SCORE 90314.665
AT ITER 173 NEW BEST:: SOT 246415 SOS 151620 HAS SOPS 136997 HAS SOUS 94012 HAS SOUPS 90019 WITH SCORE 90170.62
AT ITER 175 NEW BEST:: SOT 246389 SOS 151728 HAS SOPS 137125 HAS SOUS 93890 HAS SOUPS 89923 WITH SCORE 90074.728
AT ITER 178 NEW BEST:: SOT 246382 SOS 151721 HAS SOPS 137123 HAS SOUS 93888 HAS SOUPS 89921 WITH SCORE 90072.721
AT ITER 180 NEW BEST:: SOT 246568 SOS 151814 HAS SOPS 137309 HAS SOUS 93337 HAS SOUPS 89463 WITH SCORE 89614.814
AT ITER 185 NEW BEST:: SOT 246451 SOS 151552 HAS SOPS 137053 HAS SOUS 92938 HAS SOUPS 89065 WITH SCORE 89216.552
AT ITER 188 NEW BEST:: SOT 246441 SOS 151532 HAS SOPS 137126 HAS SOUS 92284 HAS SOUPS 88504 WITH SCORE 88655.532
AT ITER 189 NEW BEST:: SOT 246481 SOS 151528 HAS SOPS 137122 HAS SOUS 91912 HAS SOUPS 88132 WITH SCORE 88283.528
AT ITER 190 NEW BEST:: SOT 246197 SOS 151274 HAS SOPS 136868 HAS SOUS 91824 HAS SOUPS 88044 WITH SCORE 88195.274
AT ITER 191 NEW BEST:: SOT 246380 SOS 151199 HAS SOPS 136931 HAS SOUS 90762 HAS SOUPS 87120 WITH SCORE 87271.199
AT ITER 207 NEW BEST:: SOT 246437 SOS 151199 HAS SOPS 136931 HAS SOUS 90595 HAS SOUPS 86953 WITH SCORE 87104.199
AT ITER 216 NEW BEST:: SOT 246634 SOS 151197 HAS SOPS 136924 HAS SOUS 89162 HAS SOUPS 85520 WITH SCORE 85671.197
AT ITER 224 NEW BEST:: SOT 246709 SOS 151395 HAS SOPS 137074 HAS SOUS 89060 HAS SOUPS 85394 WITH SCORE 85545.395
AT ITER 228 NEW BEST:: SOT 246757 SOS 151353 HAS SOPS 137032 HAS SOUS 89060 HAS SOUPS 85394 WITH SCORE 85545.353
AT ITER 231 NEW BEST:: SOT 246844 SOS 151334 HAS SOPS 136938 HAS SOUS 89012 HAS SOUPS 85320 WITH SCORE 85471.334
AT ITER 235 NEW BEST:: SOT 245467 SOS 150819 HAS SOPS 136208 HAS SOUS 88759 HAS SOUPS 85092 WITH SCORE 85242.819
AT ITER 237 NEW BEST:: SOT 245512 SOS 150834 HAS SOPS 136223 HAS SOUS 88744 HAS SOUPS 85077 WITH SCORE 85227.834
AT ITER 246 NEW BEST:: SOT 245512 SOS 150766 HAS SOPS 136155 HAS SOUS 88710 HAS SOUPS 85043 WITH SCORE 85193.766
AT ITER 247 NEW BEST:: SOT 245697 SOS 150507 HAS SOPS 136030 HAS SOUS 87233 HAS SOUPS 83710 WITH SCORE 83860.507
AT ITER 248 NEW BEST:: SOT 245926 SOS 150724 HAS SOPS 136328 HAS SOUS 86619 HAS SOUPS 83177 WITH SCORE 83327.724
AT ITER 251 NEW BEST:: SOT 245926 SOS 150666 HAS SOPS 136270 HAS SOUS 86561 HAS SOUPS 83119 WITH SCORE 83269.666
AT ITER 258 NEW BEST:: SOT 245977 SOS 150664 HAS SOPS 136268 HAS SOUS 86561 HAS SOUPS 83119 WITH SCORE 83269.664
AT ITER 259 NEW BEST:: SOT 246035 SOS 150641 HAS SOPS 136208 HAS SOUS 86501 HAS SOUPS 83059 WITH SCORE 83209.641
AT ITER 262 NEW BEST:: SOT 246143 SOS 150695 HAS SOPS 136316 HAS SOUS 86227 HAS SOUPS 82839 WITH SCORE 82989.695
AT ITER 264 NEW BEST:: SOT 245796 SOS 150349 HAS SOPS 135970 HAS SOUS 85885 HAS SOUPS 82497 WITH SCORE 82647.349
AT ITER 265 NEW BEST:: SOT 245836 SOS 149863 HAS SOPS 135484 HAS SOUS 85741 HAS SOUPS 82353 WITH SCORE 82502.863
AT ITER 266 NEW BEST:: SOT 246034 SOS 149815 HAS SOPS 135547 HAS SOUS 84885 HAS SOUPS 81608 WITH SCORE 81757.815
AT ITER 273 NEW BEST:: SOT 246017 SOS 149824 HAS SOPS 135542 HAS SOUS 84878 HAS SOUPS 81603 WITH SCORE 81752.824
AT ITER 278 NEW BEST:: SOT 245779 SOS 149615 HAS SOPS 135333 HAS SOUS 84731 HAS SOUPS 81456 WITH SCORE 81605.615
AT ITER 283 NEW BEST:: SOT 246131 SOS 149967 HAS SOPS 135685 HAS SOUS 84278 HAS SOUPS 81003 WITH SCORE 81152.967
AT ITER 285 NEW BEST:: SOT 246183 SOS 150026 HAS SOPS 135770 HAS SOUS 84148 HAS SOUPS 80899 WITH SCORE 81049.026
AT ITER 288 NEW BEST:: SOT 246231 SOS 149744 HAS SOPS 135424 HAS SOUS 84110 HAS SOUPS 80861 WITH SCORE 81010.744
AT ITER 290 NEW BEST:: SOT 246836 SOS 149974 HAS SOPS 135654 HAS SOUS 83472 HAS SOUPS 80223 WITH SCORE 80372.974
AT ITER 296 NEW BEST:: SOT 246866 SOS 149812 HAS SOPS 135492 HAS SOUS 83154 HAS SOUPS 79905 WITH SCORE 80054.812
AT ITER 298 NEW BEST:: SOT 247856 SOS 150687 HAS SOPS 136367 HAS SOUS 83074 HAS SOUPS 79825 WITH SCORE 79975.687
AT ITER 299 NEW BEST:: SOT 247856 SOS 150523 HAS SOPS 136203 HAS SOUS 83074 HAS SOUPS 79825 WITH SCORE 79975.523
AT ITER 300 NEW BEST:: SOT 248031 SOS 150679 HAS SOPS 136359 HAS SOUS 79757 HAS SOUPS 76508 WITH SCORE 76658.679
AT ITER 304 NEW BEST:: SOT 248145 SOS 150730 HAS SOPS 136497 HAS SOUS 79706 HAS SOUPS 76457 WITH SCORE 76607.73
AT ITER 306 NEW BEST:: SOT 247901 SOS 150539 HAS SOPS 136253 HAS SOUS 79630 HAS SOUPS 76357 WITH SCORE 76507.539
AT ITER 308 NEW BEST:: SOT 248039 SOS 150302 HAS SOPS 136016 HAS SOUS 79517 HAS SOUPS 76244 WITH SCORE 76394.302
AT ITER 314 NEW BEST:: SOT 248762 SOS 149173 HAS SOPS 136052 HAS SOUS 78606 HAS SOUPS 75209 WITH SCORE 75358.173
AT ITER 316 NEW BEST:: SOT 248071 SOS 148476 HAS SOPS 135311 HAS SOUS 73930 HAS SOUPS 70533 WITH SCORE 70681.476
AT ITER 324 NEW BEST:: SOT 247998 SOS 148403 HAS SOPS 135238 HAS SOUS 73857 HAS SOUPS 70460 WITH SCORE 70608.403
AT ITER 326 NEW BEST:: SOT 247986 SOS 148282 HAS SOPS 135127 HAS SOUS 73741 HAS SOUPS 70344 WITH SCORE 70492.282
AT ITER 328 NEW BEST:: SOT 248149 SOS 147976 HAS SOPS 134821 HAS SOUS 73602 HAS SOUPS 70205 WITH SCORE 70352.976
AT ITER 329 NEW BEST:: SOT 248149 SOS 147874 HAS SOPS 134719 HAS SOUS 73500 HAS SOUPS 70103 WITH SCORE 70250.874
AT ITER 330 NEW BEST:: SOT 248496 SOS 147685 HAS SOPS 134530 HAS SOUS 73467 HAS SOUPS 70070 WITH SCORE 70217.685
AT ITER 337 NEW BEST:: SOT 247917 SOS 147678 HAS SOPS 134523 HAS SOUS 70247 HAS SOUPS 66850 WITH SCORE 66997.678
AT ITER 348 NEW BEST:: SOT 248107 SOS 147506 HAS SOPS 134509 HAS SOUS 69963 HAS SOUPS 66724 WITH SCORE 66871.506
AT ITER 350 NEW BEST:: SOT 248611 SOS 147975 HAS SOPS 135138 HAS SOUS 69445 HAS SOUPS 66341 WITH SCORE 66488.975
AT ITER 351 NEW BEST:: SOT 248397 SOS 147782 HAS SOPS 134992 HAS SOUS 69351 HAS SOUPS 66294 WITH SCORE 66441.782
AT ITER 356 NEW BEST:: SOT 248450 SOS 147759 HAS SOPS 134968 HAS SOUS 69333 HAS SOUPS 66276 WITH SCORE 66423.759
AT ITER 364 NEW BEST:: SOT 249286 SOS 148094 HAS SOPS 135352 HAS SOUS 68878 HAS SOUPS 65821 WITH SCORE 65969.094
AT ITER 365 NEW BEST:: SOT 246370 SOS 146489 HAS SOPS 132779 HAS SOUS 66874 HAS SOUPS 63764 WITH SCORE 63910.489
AT ITER 371 NEW BEST:: SOT 246545 SOS 146528 HAS SOPS 132925 HAS SOUS 66482 HAS SOUPS 63474 WITH SCORE 63620.528
AT ITER 372 NEW BEST:: SOT 246658 SOS 146506 HAS SOPS 132903 HAS SOUS 66402 HAS SOUPS 63394 WITH SCORE 63540.506
AT ITER 377 NEW BEST:: SOT 246783 SOS 146608 HAS SOPS 133111 HAS SOUS 66309 HAS SOUPS 63343 WITH SCORE 63489.608
AT ITER 378 NEW BEST:: SOT 246768 SOS 146600 HAS SOPS 133108 HAS SOUS 66306 HAS SOUPS 63340 WITH SCORE 63486.6
AT ITER 383 NEW BEST:: SOT 246844 SOS 146556 HAS SOPS 133090 HAS SOUS 66210 HAS SOUPS 63244 WITH SCORE 63390.556
AT ITER 385 NEW BEST:: SOT 247436 SOS 147303 HAS SOPS 133828 HAS SOUS 61173 HAS SOUPS 58207 WITH SCORE 58354.303
AT ITER 386 NEW BEST:: SOT 247436 SOS 147308 HAS SOPS 133838 HAS SOUS 61158 HAS SOUPS 58197 WITH SCORE 58344.308
AT ITER 392 NEW BEST:: SOT 246904 SOS 146840 HAS SOPS 133316 HAS SOUS 60851 HAS SOUPS 57890 WITH SCORE 58036.84
AT ITER 401 NEW BEST:: SOT 246742 SOS 146602 HAS SOPS 133078 HAS SOUS 60709 HAS SOUPS 57748 WITH SCORE 57894.602
AT ITER 402 NEW BEST:: SOT 246762 SOS 146602 HAS SOPS 133088 HAS SOUS 60679 HAS SOUPS 57728 WITH SCORE 57874.602
AT ITER 403 NEW BEST:: SOT 246875 SOS 146715 HAS SOPS 133088 HAS SOUS 60787 HAS SOUPS 57723 WITH SCORE 57869.715
AT ITER 404 NEW BEST:: SOT 243523 SOS 147391 HAS SOPS 131400 HAS SOUS 59339 HAS SOUPS 56357 WITH SCORE 56504.391
AT ITER 407 NEW BEST:: SOT 243323 SOS 147295 HAS SOPS 131304 HAS SOUS 59320 HAS SOUPS 56338 WITH SCORE 56485.295
AT ITER 408 NEW BEST:: SOT 243309 SOS 147280 HAS SOPS 131293 HAS SOUS 59309 HAS SOUPS 56327 WITH SCORE 56474.28
AT ITER 409 NEW BEST:: SOT 243217 SOS 147168 HAS SOPS 131214 HAS SOUS 59230 HAS SOUPS 56248 WITH SCORE 56395.168
AT ITER 415 NEW BEST:: SOT 243282 SOS 147419 HAS SOPS 131465 HAS SOUS 59191 HAS SOUPS 56209 WITH SCORE 56356.419
AT ITER 419 NEW BEST:: SOT 243142 SOS 147265 HAS SOPS 131045 HAS SOUS 59237 HAS SOUPS 56185 WITH SCORE 56332.265
AT ITER 422 NEW BEST:: SOT 243204 SOS 147237 HAS SOPS 130979 HAS SOUS 59240 HAS SOUPS 56150 WITH SCORE 56297.237
AT ITER 429 NEW BEST:: SOT 243136 SOS 147147 HAS SOPS 130855 HAS SOUS 59119 HAS SOUPS 55995 WITH SCORE 56142.147
AT ITER 430 NEW BEST:: SOT 243160 SOS 147161 HAS SOPS 130903 HAS SOUS 59026 HAS SOUPS 55936 WITH SCORE 56083.161
AT ITER 431 NEW BEST:: SOT 243413 SOS 147233 HAS SOPS 130975 HAS SOUS 58853 HAS SOUPS 55763 WITH SCORE 55910.233
AT ITER 437 NEW BEST:: SOT 243413 SOS 147492 HAS SOPS 131234 HAS SOUS 58806 HAS SOUPS 55716 WITH SCORE 55863.492
AT ITER 443 NEW BEST:: SOT 243429 SOS 147500 HAS SOPS 131250 HAS SOUS 58790 HAS SOUPS 55708 WITH SCORE 55855.5
AT ITER 451 NEW BEST:: SOT 243429 SOS 146933 HAS SOPS 130676 HAS SOUS 58789 HAS SOUPS 55707 WITH SCORE 55853.933
AT ITER 453 NEW BEST:: SOT 243429 SOS 146883 HAS SOPS 130626 HAS SOUS 58789 HAS SOUPS 55707 WITH SCORE 55853.883
AT ITER 454 NEW BEST:: SOT 243160 SOS 146552 HAS SOPS 130138 HAS SOUS 58918 HAS SOUPS 55680 WITH SCORE 55826.552
AT ITER 458 NEW BEST:: SOT 243155 SOS 146542 HAS SOPS 130128 HAS SOUS 58816 HAS SOUPS 55578 WITH SCORE 55724.542
AT ITER 463 NEW BEST:: SOT 242524 SOS 146624 HAS SOPS 129590 HAS SOUS 58041 HAS SOUPS 54800 WITH SCORE 54946.624
AT ITER 465 NEW BEST:: SOT 242616 SOS 146716 HAS SOPS 129682 HAS SOUS 57901 HAS SOUPS 54660 WITH SCORE 54806.716
AT ITER 472 NEW BEST:: SOT 242249 SOS 146771 HAS SOPS 129764 HAS SOUS 54954 HAS SOUPS 51713 WITH SCORE 51859.771
AT ITER 474 NEW BEST:: SOT 242226 SOS 146725 HAS SOPS 129668 HAS SOUS 54958 HAS SOUPS 51646 WITH SCORE 51792.725
AT ITER 475 NEW BEST:: SOT 242226 SOS 146737 HAS SOPS 129652 HAS SOUS 54946 HAS SOUPS 51622 WITH SCORE 51768.737
AT ITER 477 NEW BEST:: SOT 242480 SOS 146801 HAS SOPS 129716 HAS SOUS 54852 HAS SOUPS 51528 WITH SCORE 51674.801
AT ITER 478 NEW BEST:: SOT 242522 SOS 146822 HAS SOPS 129737 HAS SOUS 54831 HAS SOUPS 51507 WITH SCORE 51653.822
AT ITER 481 NEW BEST:: SOT 242522 SOS 146764 HAS SOPS 129660 HAS SOUS 54754 HAS SOUPS 51430 WITH SCORE 51576.764
AT ITER 482 NEW BEST:: SOT 242560 SOS 146750 HAS SOPS 129616 HAS SOUS 54766 HAS SOUPS 51412 WITH SCORE 51558.75
AT ITER 484 NEW BEST:: SOT 242481 SOS 146664 HAS SOPS 129525 HAS SOUS 54675 HAS SOUPS 51321 WITH SCORE 51467.664
AT ITER 488 NEW BEST:: SOT 242429 SOS 146524 HAS SOPS 129332 HAS SOUS 54625 HAS SOUPS 51271 WITH SCORE 51417.524
AT ITER 489 NEW BEST:: SOT 242225 SOS 146499 HAS SOPS 129047 HAS SOUS 54727 HAS SOUPS 51268 WITH SCORE 51414.499
AT ITER 491 NEW BEST:: SOT 237341 SOS 145045 HAS SOPS 126823 HAS SOUS 52333 HAS SOUPS 49331 WITH SCORE 49476.045
AT ITER 495 NEW BEST:: SOT 237341 SOS 144983 HAS SOPS 126761 HAS SOUS 52302 HAS SOUPS 49300 WITH SCORE 49444.983
AT ITER 496 NEW BEST:: SOT 237341 SOS 144875 HAS SOPS 126653 HAS SOUS 52248 HAS SOUPS 49246 WITH SCORE 49390.875
AT ITER 498 NEW BEST:: SOT 237341 SOS 144864 HAS SOPS 126642 HAS SOUS 52237 HAS SOUPS 49235 WITH SCORE 49379.864
AT ITER 499 NEW BEST:: SOT 237471 SOS 144590 HAS SOPS 126368 HAS SOUS 51405 HAS SOUPS 48403 WITH SCORE 48547.59
AT ITER 501 NEW BEST:: SOT 237467 SOS 144580 HAS SOPS 126378 HAS SOUS 51400 HAS SOUPS 48398 WITH SCORE 48542.58
AT ITER 502 NEW BEST:: SOT 237609 SOS 144448 HAS SOPS 126520 HAS SOUS 51282 HAS SOUPS 48351 WITH SCORE 48495.448
AT ITER 506 NEW BEST:: SOT 237507 SOS 144419 HAS SOPS 126149 HAS SOUS 51416 HAS SOUPS 48318 WITH SCORE 48462.419
AT ITER 510 NEW BEST:: SOT 237487 SOS 144403 HAS SOPS 126117 HAS SOUS 51402 HAS SOUPS 48304 WITH SCORE 48448.403
AT ITER 513 NEW BEST:: SOT 238643 SOS 143085 HAS SOPS 126190 HAS SOUS 51222 HAS SOUPS 48088 WITH SCORE 48231.085
AT ITER 523 NEW BEST:: SOT 238872 SOS 143224 HAS SOPS 126252 HAS SOUS 51154 HAS SOUPS 47954 WITH SCORE 48097.224
AT ITER 524 NEW BEST:: SOT 238993 SOS 143325 HAS SOPS 126416 HAS SOUS 51098 HAS SOUPS 47941 WITH SCORE 48084.325
AT ITER 526 NEW BEST:: SOT 238899 SOS 143277 HAS SOPS 126321 HAS SOUS 51120 HAS SOUPS 47916 WITH SCORE 48059.277
AT ITER 530 NEW BEST:: SOT 238561 SOS 142943 HAS SOPS 125852 HAS SOUS 51208 HAS SOUPS 47856 WITH SCORE 47998.943
AT ITER 538 NEW BEST:: SOT 238398 SOS 142788 HAS SOPS 125697 HAS SOUS 51118 HAS SOUPS 47766 WITH SCORE 47908.788
AT ITER 546 NEW BEST:: SOT 238089 SOS 142350 HAS SOPS 125330 HAS SOUS 50641 HAS SOUPS 47313 WITH SCORE 47455.35
AT ITER 547 NEW BEST:: SOT 238383 SOS 142341 HAS SOPS 125321 HAS SOUS 50634 HAS SOUPS 47306 WITH SCORE 47448.341
AT ITER 551 NEW BEST:: SOT 238263 SOS 142220 HAS SOPS 124854 HAS SOUS 50591 HAS SOUPS 47145 WITH SCORE 47287.22
AT ITER 552 NEW BEST:: SOT 238236 SOS 142193 HAS SOPS 124827 HAS SOUS 50564 HAS SOUPS 47118 WITH SCORE 47260.193
AT ITER 554 NEW BEST:: SOT 238248 SOS 142193 HAS SOPS 124827 HAS SOUS 50558 HAS SOUPS 47112 WITH SCORE 47254.193
AT ITER 556 NEW BEST:: SOT 238245 SOS 142101 HAS SOPS 124735 HAS SOUS 50439 HAS SOUPS 46993 WITH SCORE 47135.101
AT ITER 561 NEW BEST:: SOT 238499 SOS 142226 HAS SOPS 124865 HAS SOUS 50412 HAS SOUPS 46966 WITH SCORE 47108.226
AT ITER 566 NEW BEST:: SOT 238543 SOS 142270 HAS SOPS 124931 HAS SOUS 50368 HAS SOUPS 46944 WITH SCORE 47086.27
AT ITER 570 NEW BEST:: SOT 238534 SOS 142233 HAS SOPS 124875 HAS SOUS 50312 HAS SOUPS 46888 WITH SCORE 47030.233
AT ITER 571 NEW BEST:: SOT 238534 SOS 142260 HAS SOPS 124874 HAS SOUS 50229 HAS SOUPS 46805 WITH SCORE 46947.26
AT ITER 574 NEW BEST:: SOT 238583 SOS 142211 HAS SOPS 124825 HAS SOUS 50180 HAS SOUPS 46756 WITH SCORE 46898.211
AT ITER 575 NEW BEST:: SOT 239481 SOS 143239 HAS SOPS 125853 HAS SOUS 46612 HAS SOUPS 43188 WITH SCORE 43331.239
AT ITER 579 NEW BEST:: SOT 239421 SOS 143179 HAS SOPS 125793 HAS SOUS 46564 HAS SOUPS 43140 WITH SCORE 43283.179
AT ITER 581 NEW BEST:: SOT 238953 SOS 145186 HAS SOPS 125495 HAS SOUS 46311 HAS SOUPS 42876 WITH SCORE 43021.186
AT ITER 585 NEW BEST:: SOT 238551 SOS 145387 HAS SOPS 125750 HAS SOUS 46268 HAS SOUPS 42833 WITH SCORE 42978.387
AT ITER 596 NEW BEST:: SOT 238550 SOS 145385 HAS SOPS 125748 HAS SOUS 46267 HAS SOUPS 42832 WITH SCORE 42977.385
AT ITER 597 NEW BEST:: SOT 238520 SOS 145443 HAS SOPS 125806 HAS SOUS 46225 HAS SOUPS 42790 WITH SCORE 42935.443
AT ITER 605 NEW BEST:: SOT 238627 SOS 145350 HAS SOPS 125713 HAS SOUS 46175 HAS SOUPS 42740 WITH SCORE 42885.35
AT ITER 610 NEW BEST:: SOT 238846 SOS 145447 HAS SOPS 125810 HAS SOUS 46065 HAS SOUPS 42630 WITH SCORE 42775.447
AT ITER 615 NEW BEST:: SOT 238852 SOS 145425 HAS SOPS 125807 HAS SOUS 46043 HAS SOUPS 42608 WITH SCORE 42753.425
AT ITER 617 NEW BEST:: SOT 238600 SOS 145045 HAS SOPS 125264 HAS SOUS 45672 HAS SOUPS 42153 WITH SCORE 42298.045
AT ITER 620 NEW BEST:: SOT 238620 SOS 145027 HAS SOPS 125230 HAS SOUS 45581 HAS SOUPS 42062 WITH SCORE 42207.027
AT ITER 627 NEW BEST:: SOT 238472 SOS 145327 HAS SOPS 125613 HAS SOUS 45473 HAS SOUPS 41954 WITH SCORE 42099.327
AT ITER 629 NEW BEST:: SOT 238464 SOS 145311 HAS SOPS 125601 HAS SOUS 45465 HAS SOUPS 41950 WITH SCORE 42095.311
AT ITER 634 NEW BEST:: SOT 238200 SOS 144885 HAS SOPS 125175 HAS SOUS 45439 HAS SOUPS 41924 WITH SCORE 42068.885
AT ITER 637 NEW BEST:: SOT 233155 SOS 147996 HAS SOPS 123378 HAS SOUS 43669 HAS SOUPS 40574 WITH SCORE 40721.996
AT ITER 649 NEW BEST:: SOT 232599 SOS 147440 HAS SOPS 122822 HAS SOUS 43113 HAS SOUPS 40018 WITH SCORE 40165.44
AT ITER 661 NEW BEST:: SOT 232597 SOS 147436 HAS SOPS 122818 HAS SOUS 43112 HAS SOUPS 40017 WITH SCORE 40164.436
AT ITER 666 NEW BEST:: SOT 232607 SOS 147416 HAS SOPS 122798 HAS SOUS 43082 HAS SOUPS 39987 WITH SCORE 40134.416
AT ITER 667 NEW BEST:: SOT 232646 SOS 147488 HAS SOPS 122973 HAS SOUS 42853 HAS SOUPS 39906 WITH SCORE 40053.488
AT ITER 671 NEW BEST:: SOT 232600 SOS 148162 HAS SOPS 122868 HAS SOUS 42818 HAS SOUPS 39801 WITH SCORE 39949.162
AT ITER 672 NEW BEST:: SOT 232299 SOS 147917 HAS SOPS 122555 HAS SOUS 42709 HAS SOUPS 39636 WITH SCORE 39783.917
AT ITER 681 NEW BEST:: SOT 232367 SOS 147907 HAS SOPS 122518 HAS SOUS 42672 HAS SOUPS 39599 WITH SCORE 39746.907
AT ITER 683 NEW BEST:: SOT 232288 SOS 147428 HAS SOPS 122745 HAS SOUS 42459 HAS SOUPS 39492 WITH SCORE 39639.428
AT ITER 684 NEW BEST:: SOT 233871 SOS 148977 HAS SOPS 124277 HAS SOUS 41900 HAS SOUPS 38933 WITH SCORE 39081.977
AT ITER 685 NEW BEST:: SOT 233862 SOS 148959 HAS SOPS 124259 HAS SOUS 41891 HAS SOUPS 38924 WITH SCORE 39072.959
AT ITER 688 NEW BEST:: SOT 233862 SOS 148929 HAS SOPS 124238 HAS SOUS 41870 HAS SOUPS 38903 WITH SCORE 39051.929
AT ITER 690 NEW BEST:: SOT 233549 SOS 148725 HAS SOPS 123942 HAS SOUS 41816 HAS SOUPS 38849 WITH SCORE 38997.725
AT ITER 699 NEW BEST:: SOT 233291 SOS 148400 HAS SOPS 123617 HAS SOUS 41478 HAS SOUPS 38511 WITH SCORE 38659.4
AT ITER 705 NEW BEST:: SOT 233087 SOS 148248 HAS SOPS 123307 HAS SOUS 41388 HAS SOUPS 38312 WITH SCORE 38460.248
AT ITER 710 NEW BEST:: SOT 233089 SOS 148231 HAS SOPS 123307 HAS SOUS 41264 HAS SOUPS 38207 WITH SCORE 38355.231
AT ITER 712 NEW BEST:: SOT 232931 SOS 147999 HAS SOPS 123075 HAS SOUS 41052 HAS SOUPS 37995 WITH SCORE 38142.999
AT ITER 730 NEW BEST:: SOT 232951 SOS 148004 HAS SOPS 123045 HAS SOUS 41042 HAS SOUPS 37950 WITH SCORE 38098.004
AT ITER 737 NEW BEST:: SOT 232951 SOS 147990 HAS SOPS 123031 HAS SOUS 41028 HAS SOUPS 37936 WITH SCORE 38083.99
AT ITER 752 NEW BEST:: SOT 232812 SOS 147655 HAS SOPS 122622 HAS SOUS 40593 HAS SOUPS 37501 WITH SCORE 37648.655
AT ITER 756 NEW BEST:: SOT 232842 SOS 147554 HAS SOPS 122373 HAS SOUS 40433 HAS SOUPS 37331 WITH SCORE 37478.554
AT ITER 757 NEW BEST:: SOT 232796 SOS 147508 HAS SOPS 122327 HAS SOUS 40433 HAS SOUPS 37331 WITH SCORE 37478.508
AT ITER 770 NEW BEST:: SOT 231466 SOS 146320 HAS SOPS 121614 HAS SOUS 40047 HAS SOUPS 36933 WITH SCORE 37079.32
AT ITER 772 NEW BEST:: SOT 231445 SOS 146299 HAS SOPS 121614 HAS SOUS 40047 HAS SOUPS 36933 WITH SCORE 37079.299
AT ITER 778 NEW BEST:: SOT 231447 SOS 146301 HAS SOPS 121616 HAS SOUS 40044 HAS SOUPS 36930 WITH SCORE 37076.301
AT ITER 800 NEW BEST:: SOT 231476 SOS 145783 HAS SOPS 121588 HAS SOUS 39902 HAS SOUPS 36788 WITH SCORE 36933.783
AT ITER 807 NEW BEST:: SOT 231611 SOS 145737 HAS SOPS 121542 HAS SOUS 39872 HAS SOUPS 36758 WITH SCORE 36903.737
AT ITER 814 NEW BEST:: SOT 231341 SOS 145666 HAS SOPS 121471 HAS SOUS 39750 HAS SOUPS 36636 WITH SCORE 36781.666
AT ITER 822 NEW BEST:: SOT 231341 SOS 145618 HAS SOPS 121423 HAS SOUS 39702 HAS SOUPS 36588 WITH SCORE 36733.618
AT ITER 836 NEW BEST:: SOT 230655 SOS 144726 HAS SOPS 120531 HAS SOUS 38727 HAS SOUPS 35613 WITH SCORE 35757.726
AT ITER 845 NEW BEST:: SOT 230655 SOS 144724 HAS SOPS 120529 HAS SOUS 38725 HAS SOUPS 35611 WITH SCORE 35755.724
AT ITER 847 NEW BEST:: SOT 230588 SOS 144416 HAS SOPS 120187 HAS SOUS 38619 HAS SOUPS 35505 WITH SCORE 35649.416
AT ITER 849 NEW BEST:: SOT 230613 SOS 144424 HAS SOPS 120203 HAS SOUS 38584 HAS SOUPS 35470 WITH SCORE 35614.424
AT ITER 852 NEW BEST:: SOT 230704 SOS 144201 HAS SOPS 119895 HAS SOUS 38443 HAS SOUPS 35329 WITH SCORE 35473.201
AT ITER 853 NEW BEST:: SOT 230729 SOS 144155 HAS SOPS 119769 HAS SOUS 38400 HAS SOUPS 35279 WITH SCORE 35423.155
AT ITER 866 NEW BEST:: SOT 230729 SOS 144147 HAS SOPS 119761 HAS SOUS 38396 HAS SOUPS 35275 WITH SCORE 35419.147
AT ITER 871 NEW BEST:: SOT 230833 SOS 144249 HAS SOPS 119852 HAS SOUS 38365 HAS SOUPS 35246 WITH SCORE 35390.249
AT ITER 874 NEW BEST:: SOT 230777 SOS 144197 HAS SOPS 119795 HAS SOUS 38308 HAS SOUPS 35189 WITH SCORE 35333.197
AT ITER 878 NEW BEST:: SOT 230753 SOS 144179 HAS SOPS 119777 HAS SOUS 38296 HAS SOUPS 35177 WITH SCORE 35321.179
AT ITER 881 NEW BEST:: SOT 230753 SOS 144139 HAS SOPS 119737 HAS SOUS 38296 HAS SOUPS 35177 WITH SCORE 35321.139
AT ITER 884 NEW BEST:: SOT 230753 SOS 143957 HAS SOPS 119520 HAS SOUS 38212 HAS SOUPS 35093 WITH SCORE 35236.957
AT ITER 887 NEW BEST:: SOT 230708 SOS 143912 HAS SOPS 119460 HAS SOUS 38152 HAS SOUPS 35033 WITH SCORE 35176.912
AT ITER 889 NEW BEST:: SOT 230647 SOS 144050 HAS SOPS 119598 HAS SOUS 38115 HAS SOUPS 34996 WITH SCORE 35140.05
AT ITER 895 NEW BEST:: SOT 230618 SOS 143963 HAS SOPS 119511 HAS SOUS 38115 HAS SOUPS 34996 WITH SCORE 35139.963
AT ITER 903 NEW BEST:: SOT 230625 SOS 143775 HAS SOPS 119176 HAS SOUS 38008 HAS SOUPS 34833 WITH SCORE 34976.775
AT ITER 904 NEW BEST:: SOT 230612 SOS 143874 HAS SOPS 118984 HAS SOUS 38040 HAS SOUPS 34798 WITH SCORE 34941.874
AT ITER 920 NEW BEST:: SOT 230607 SOS 143611 HAS SOPS 118721 HAS SOUS 37949 HAS SOUPS 34707 WITH SCORE 34850.611
AT ITER 928 NEW BEST:: SOT 230587 SOS 143550 HAS SOPS 118660 HAS SOUS 37883 HAS SOUPS 34641 WITH SCORE 34784.55
AT ITER 933 NEW BEST:: SOT 230581 SOS 143529 HAS SOPS 118633 HAS SOUS 37880 HAS SOUPS 34635 WITH SCORE 34778.529
AT ITER 941 NEW BEST:: SOT 231368 SOS 144338 HAS SOPS 119442 HAS SOUS 37641 HAS SOUPS 34396 WITH SCORE 34540.338
AT ITER 945 NEW BEST:: SOT 231367 SOS 144153 HAS SOPS 119318 HAS SOUS 37577 HAS SOUPS 34332 WITH SCORE 34476.153
AT ITER 951 NEW BEST:: SOT 231367 SOS 144135 HAS SOPS 119291 HAS SOUS 37578 HAS SOUPS 34324 WITH SCORE 34468.135
AT ITER 960 NEW BEST:: SOT 230908 SOS 144137 HAS SOPS 119345 HAS SOUS 37338 HAS SOUPS 34084 WITH SCORE 34228.137
AT ITER 966 NEW BEST:: SOT 230935 SOS 144063 HAS SOPS 119303 HAS SOUS 37268 HAS SOUPS 34046 WITH SCORE 34190.063
AT ITER 986 NEW BEST:: SOT 230834 SOS 143959 HAS SOPS 119199 HAS SOUS 37215 HAS SOUPS 33993 WITH SCORE 34136.959
AT ITER 990 NEW BEST:: SOT 230600 SOS 143976 HAS SOPS 119258 HAS SOUS 37049 HAS SOUPS 33827 WITH SCORE 33970.976
AT ITER 998 NEW BEST:: SOT 230508 SOS 143700 HAS SOPS 118958 HAS SOUS 37049 HAS SOUPS 33827 WITH SCORE 33970.7
AT ITER 1009 NEW BEST:: SOT 230529 SOS 143703 HAS SOPS 118943 HAS SOUS 36915 HAS SOUPS 33691 WITH SCORE 33834.703
AT ITER 1012 NEW BEST:: SOT 230476 SOS 143600 HAS SOPS 118837 HAS SOUS 36809 HAS SOUPS 33585 WITH SCORE 33728.6
AT ITER 1014 NEW BEST:: SOT 230476 SOS 143568 HAS SOPS 118805 HAS SOUS 36809 HAS SOUPS 33585 WITH SCORE 33728.568
AT ITER 1024 NEW BEST:: SOT 230458 SOS 143514 HAS SOPS 118870 HAS SOUS 36809 HAS SOUPS 33585 WITH SCORE 33728.514
AT ITER 1027 NEW BEST:: SOT 228152 SOS 141663 HAS SOPS 118027 HAS SOUS 36028 HAS SOUPS 32842 WITH SCORE 32983.663
AT ITER 1032 NEW BEST:: SOT 228150 SOS 141661 HAS SOPS 118025 HAS SOUS 36026 HAS SOUPS 32840 WITH SCORE 32981.661
AT ITER 1038 NEW BEST:: SOT 228155 SOS 141651 HAS SOPS 118020 HAS SOUS 36026 HAS SOUPS 32840 WITH SCORE 32981.651
AT ITER 1045 NEW BEST:: SOT 228155 SOS 141376 HAS SOPS 117720 HAS SOUS 35877 HAS SOUPS 32691 WITH SCORE 32832.376
AT ITER 1052 NEW BEST:: SOT 228293 SOS 140784 HAS SOPS 117128 HAS SOUS 35584 HAS SOUPS 32398 WITH SCORE 32538.784
AT ITER 1054 NEW BEST:: SOT 228246 SOS 140966 HAS SOPS 117190 HAS SOUS 35577 HAS SOUPS 32384 WITH SCORE 32524.966
AT ITER 1074 NEW BEST:: SOT 228298 SOS 140864 HAS SOPS 117058 HAS SOUS 35367 HAS SOUPS 32174 WITH SCORE 32314.864
AT ITER 1079 NEW BEST:: SOT 228275 SOS 140841 HAS SOPS 117035 HAS SOUS 35321 HAS SOUPS 32128 WITH SCORE 32268.841
AT ITER 1081 NEW BEST:: SOT 228275 SOS 140757 HAS SOPS 117047 HAS SOUS 35309 HAS SOUPS 32128 WITH SCORE 32268.757
AT ITER 1085 NEW BEST:: SOT 228259 SOS 140844 HAS SOPS 116876 HAS SOUS 35296 HAS SOUPS 32095 WITH SCORE 32235.844
AT ITER 1092 NEW BEST:: SOT 228347 SOS 140920 HAS SOPS 116920 HAS SOUS 35268 HAS SOUPS 32067 WITH SCORE 32207.92
AT ITER 1093 NEW BEST:: SOT 228445 SOS 141116 HAS SOPS 117116 HAS SOUS 35256 HAS SOUPS 32055 WITH SCORE 32196.116
AT ITER 1094 NEW BEST:: SOT 228357 SOS 141135 HAS SOPS 117064 HAS SOUS 35251 HAS SOUPS 32021 WITH SCORE 32162.135
AT ITER 1096 NEW BEST:: SOT 228357 SOS 141127 HAS SOPS 117056 HAS SOUS 35247 HAS SOUPS 32017 WITH SCORE 32158.127
AT ITER 1098 NEW BEST:: SOT 228347 SOS 141107 HAS SOPS 117036 HAS SOUS 35217 HAS SOUPS 31987 WITH SCORE 32128.107
AT ITER 1102 NEW BEST:: SOT 228309 SOS 141011 HAS SOPS 116940 HAS SOUS 35161 HAS SOUPS 31931 WITH SCORE 32072.011
AT ITER 1111 NEW BEST:: SOT 228011 SOS 140756 HAS SOPS 116670 HAS SOUS 34961 HAS SOUPS 31731 WITH SCORE 31871.756
AT ITER 1123 NEW BEST:: SOT 227972 SOS 140678 HAS SOPS 116545 HAS SOUS 34935 HAS SOUPS 31653 WITH SCORE 31793.678
AT ITER 1127 NEW BEST:: SOT 227971 SOS 140617 HAS SOPS 116513 HAS SOUS 34933 HAS SOUPS 31651 WITH SCORE 31791.617
AT ITER 1132 NEW BEST:: SOT 227982 SOS 140598 HAS SOPS 116491 HAS SOUS 34891 HAS SOUPS 31609 WITH SCORE 31749.598
AT ITER 1137 NEW BEST:: SOT 227904 SOS 140485 HAS SOPS 116458 HAS SOUS 34831 HAS SOUPS 31589 WITH SCORE 31729.485
AT ITER 1143 NEW BEST:: SOT 227880 SOS 140525 HAS SOPS 116454 HAS SOUS 34823 HAS SOUPS 31585 WITH SCORE 31725.525
AT ITER 1144 NEW BEST:: SOT 227859 SOS 140504 HAS SOPS 116433 HAS SOUS 34802 HAS SOUPS 31564 WITH SCORE 31704.504
AT ITER 1150 NEW BEST:: SOT 227817 SOS 140424 HAS SOPS 116617 HAS SOUS 34647 HAS SOUPS 31416 WITH SCORE 31556.424
AT ITER 1173 NEW BEST:: SOT 229489 SOS 142096 HAS SOPS 118327 HAS SOUS 34361 HAS SOUPS 31130 WITH SCORE 31272.096
AT ITER 1185 NEW BEST:: SOT 229436 SOS 142052 HAS SOPS 118316 HAS SOUS 34359 HAS SOUPS 31122 WITH SCORE 31264.052
AT ITER 1203 NEW BEST:: SOT 229429 SOS 142012 HAS SOPS 118276 HAS SOUS 34352 HAS SOUPS 31115 WITH SCORE 31257.012
AT ITER 1214 NEW BEST:: SOT 229429 SOS 141860 HAS SOPS 118094 HAS SOUS 34289 HAS SOUPS 31052 WITH SCORE 31193.86
AT ITER 1217 NEW BEST:: SOT 229359 SOS 141496 HAS SOPS 117752 HAS SOUS 34283 HAS SOUPS 31022 WITH SCORE 31163.496
AT ITER 1223 NEW BEST:: SOT 229268 SOS 141314 HAS SOPS 117570 HAS SOUS 34250 HAS SOUPS 30989 WITH SCORE 31130.314
AT ITER 1231 NEW BEST:: SOT 229269 SOS 141215 HAS SOPS 117472 HAS SOUS 34200 HAS SOUPS 30939 WITH SCORE 31080.215
AT ITER 1240 NEW BEST:: SOT 229271 SOS 141216 HAS SOPS 117473 HAS SOUS 34199 HAS SOUPS 30938 WITH SCORE 31079.216
AT ITER 1242 NEW BEST:: SOT 229366 SOS 141251 HAS SOPS 117453 HAS SOUS 34010 HAS SOUPS 30749 WITH SCORE 30890.251
AT ITER 1251 NEW BEST:: SOT 229352 SOS 141141 HAS SOPS 117377 HAS SOUS 33982 HAS SOUPS 30721 WITH SCORE 30862.141
AT ITER 1261 NEW BEST:: SOT 229414 SOS 141117 HAS SOPS 117353 HAS SOUS 33958 HAS SOUPS 30697 WITH SCORE 30838.117
AT ITER 1275 NEW BEST:: SOT 228948 SOS 141049 HAS SOPS 117315 HAS SOUS 33879 HAS SOUPS 30637 WITH SCORE 30778.049
AT ITER 1276 NEW BEST:: SOT 228311 SOS 140494 HAS SOPS 116699 HAS SOUS 33833 HAS SOUPS 30498 WITH SCORE 30638.494
AT ITER 1291 NEW BEST:: SOT 228239 SOS 140558 HAS SOPS 116675 HAS SOUS 33825 HAS SOUPS 30474 WITH SCORE 30614.558
AT ITER 1300 NEW BEST:: SOT 228222 SOS 140560 HAS SOPS 116677 HAS SOUS 33811 HAS SOUPS 30460 WITH SCORE 30600.56
AT ITER 1314 NEW BEST:: SOT 228267 SOS 140600 HAS SOPS 116877 HAS SOUS 33702 HAS SOUPS 30362 WITH SCORE 30502.6
AT ITER 1324 NEW BEST:: SOT 228267 SOS 140558 HAS SOPS 116856 HAS SOUS 33681 HAS SOUPS 30341 WITH SCORE 30481.558
AT ITER 1326 NEW BEST:: SOT 228354 SOS 137999 HAS SOPS 116848 HAS SOUS 33666 HAS SOUPS 30294 WITH SCORE 30431.999
AT ITER 1338 NEW BEST:: SOT 228346 SOS 137959 HAS SOPS 116808 HAS SOUS 33634 HAS SOUPS 30262 WITH SCORE 30399.959
AT ITER 1344 NEW BEST:: SOT 228315 SOS 137884 HAS SOPS 116705 HAS SOUS 33573 HAS SOUPS 30201 WITH SCORE 30338.884
AT ITER 1351 NEW BEST:: SOT 228315 SOS 137825 HAS SOPS 116618 HAS SOUS 33515 HAS SOUPS 30143 WITH SCORE 30280.825
AT ITER 1363 NEW BEST:: SOT 228275 SOS 137750 HAS SOPS 116511 HAS SOUS 33450 HAS SOUPS 30078 WITH SCORE 30215.75
AT ITER 1364 NEW BEST:: SOT 228278 SOS 137729 HAS SOPS 116499 HAS SOUS 33417 HAS SOUPS 30054 WITH SCORE 30191.729
AT ITER 1366 NEW BEST:: SOT 228302 SOS 137711 HAS SOPS 116459 HAS SOUS 33423 HAS SOUPS 30038 WITH SCORE 30175.711
AT ITER 1367 NEW BEST:: SOT 228295 SOS 137704 HAS SOPS 116445 HAS SOUS 33416 HAS SOUPS 30024 WITH SCORE 30161.704
AT ITER 1368 NEW BEST:: SOT 228275 SOS 137684 HAS SOPS 116424 HAS SOUS 33395 HAS SOUPS 30003 WITH SCORE 30140.684
AT ITER 1375 NEW BEST:: SOT 228269 SOS 135402 HAS SOPS 113695 HAS SOUS 33368 HAS SOUPS 29957 WITH SCORE 30092.402
AT ITER 1383 NEW BEST:: SOT 228155 SOS 135309 HAS SOPS 113671 HAS SOUS 33299 HAS SOUPS 29915 WITH SCORE 30050.309
AT ITER 1388 NEW BEST:: SOT 228011 SOS 134927 HAS SOPS 113335 HAS SOUS 33096 HAS SOUPS 29712 WITH SCORE 29846.927
AT ITER 1408 NEW BEST:: SOT 228006 SOS 134821 HAS SOPS 113357 HAS SOUS 33075 HAS SOUPS 29707 WITH SCORE 29841.821
AT ITER 1413 NEW BEST:: SOT 227963 SOS 134740 HAS SOPS 113270 HAS SOUS 32962 HAS SOUPS 29614 WITH SCORE 29748.74
AT ITER 1421 NEW BEST:: SOT 227879 SOS 134640 HAS SOPS 113186 HAS SOUS 32915 HAS SOUPS 29567 WITH SCORE 29701.64
AT ITER 1428 NEW BEST:: SOT 228021 SOS 134680 HAS SOPS 113260 HAS SOUS 32838 HAS SOUPS 29514 WITH SCORE 29648.68
AT ITER 1430 NEW BEST:: SOT 228021 SOS 134654 HAS SOPS 113234 HAS SOUS 32828 HAS SOUPS 29504 WITH SCORE 29638.654
AT ITER 1441 NEW BEST:: SOT 227966 SOS 134588 HAS SOPS 113168 HAS SOUS 32817 HAS SOUPS 29493 WITH SCORE 29627.588
AT ITER 1452 NEW BEST:: SOT 227986 SOS 134619 HAS SOPS 113190 HAS SOUS 32814 HAS SOUPS 29490 WITH SCORE 29624.619
AT ITER 1453 NEW BEST:: SOT 227978 SOS 134603 HAS SOPS 113174 HAS SOUS 32814 HAS SOUPS 29490 WITH SCORE 29624.603
AT ITER 1470 NEW BEST:: SOT 227976 SOS 134601 HAS SOPS 113170 HAS SOUS 32809 HAS SOUPS 29486 WITH SCORE 29620.601
AT ITER 1475 NEW BEST:: SOT 227938 SOS 134258 HAS SOPS 112916 HAS SOUS 32613 HAS SOUPS 29290 WITH SCORE 29424.258
AT ITER 1481 NEW BEST:: SOT 227932 SOS 134246 HAS SOPS 112904 HAS SOUS 32605 HAS SOUPS 29282 WITH SCORE 29416.246
AT ITER 1484 NEW BEST:: SOT 227859 SOS 134158 HAS SOPS 112834 HAS SOUS 32547 HAS SOUPS 29230 WITH SCORE 29364.158
AT ITER 1489 NEW BEST:: SOT 227897 SOS 134036 HAS SOPS 112765 HAS SOUS 32209 HAS SOUPS 28892 WITH SCORE 29026.036
AT ITER 1500 NEW BEST:: SOT 227783 SOS 133974 HAS SOPS 112735 HAS SOUS 32067 HAS SOUPS 28750 WITH SCORE 28883.974
AT ITER 1509 NEW BEST:: SOT 227751 SOS 133942 HAS SOPS 112703 HAS SOUS 32019 HAS SOUPS 28702 WITH SCORE 28835.942
AT ITER 1525 NEW BEST:: SOT 227719 SOS 133914 HAS SOPS 112675 HAS SOUS 31998 HAS SOUPS 28681 WITH SCORE 28814.914
AT ITER 1529 NEW BEST:: SOT 227580 SOS 134301 HAS SOPS 112646 HAS SOUS 32023 HAS SOUPS 28677 WITH SCORE 28811.301
AT ITER 1535 NEW BEST:: SOT 227663 SOS 134569 HAS SOPS 113098 HAS SOUS 31994 HAS SOUPS 28661 WITH SCORE 28795.569
AT ITER 1547 NEW BEST:: SOT 227720 SOS 134470 HAS SOPS 112815 HAS SOUS 31987 HAS SOUPS 28641 WITH SCORE 28775.47
AT ITER 1551 NEW BEST:: SOT 227685 SOS 134475 HAS SOPS 112793 HAS SOUS 31843 HAS SOUPS 28521 WITH SCORE 28655.475
AT ITER 1552 NEW BEST:: SOT 227671 SOS 134440 HAS SOPS 112751 HAS SOUS 31829 HAS SOUPS 28500 WITH SCORE 28634.44
AT ITER 1553 NEW BEST:: SOT 227671 SOS 134512 HAS SOPS 112727 HAS SOUS 31829 HAS SOUPS 28488 WITH SCORE 28622.512
AT ITER 1567 NEW BEST:: SOT 227628 SOS 134469 HAS SOPS 112725 HAS SOUS 31827 HAS SOUPS 28486 WITH SCORE 28620.469
AT ITER 1574 NEW BEST:: SOT 227762 SOS 134481 HAS SOPS 112737 HAS SOUS 31786 HAS SOUPS 28445 WITH SCORE 28579.481
AT ITER 1583 NEW BEST:: SOT 227808 SOS 134344 HAS SOPS 112786 HAS SOUS 31756 HAS SOUPS 28440 WITH SCORE 28574.344
AT ITER 1593 NEW BEST:: SOT 227808 SOS 134324 HAS SOPS 112736 HAS SOUS 31706 HAS SOUPS 28390 WITH SCORE 28524.324
AT ITER 1605 NEW BEST:: SOT 227801 SOS 134401 HAS SOPS 112722 HAS SOUS 31692 HAS SOUPS 28376 WITH SCORE 28510.401
AT ITER 1611 NEW BEST:: SOT 227820 SOS 134271 HAS SOPS 112726 HAS SOUS 31673 HAS SOUPS 28363 WITH SCORE 28497.271
AT ITER 1614 NEW BEST:: SOT 227784 SOS 134277 HAS SOPS 112723 HAS SOUS 31631 HAS SOUPS 28321 WITH SCORE 28455.277
AT ITER 1626 NEW BEST:: SOT 227790 SOS 134236 HAS SOPS 112578 HAS SOUS 31627 HAS SOUPS 28265 WITH SCORE 28399.236
AT ITER 1639 NEW BEST:: SOT 227790 SOS 134204 HAS SOPS 112554 HAS SOUS 31595 HAS SOUPS 28241 WITH SCORE 28375.204
AT ITER 1651 NEW BEST:: SOT 227792 SOS 134204 HAS SOPS 112554 HAS SOUS 31593 HAS SOUPS 28239 WITH SCORE 28373.204
AT ITER 1657 NEW BEST:: SOT 227902 SOS 134117 HAS SOPS 112467 HAS SOUS 31555 HAS SOUPS 28201 WITH SCORE 28335.117
AT ITER 1659 NEW BEST:: SOT 227714 SOS 133929 HAS SOPS 112343 HAS SOUS 31422 HAS SOUPS 28073 WITH SCORE 28206.929
AT ITER 1662 NEW BEST:: SOT 227642 SOS 134074 HAS SOPS 112282 HAS SOUS 31452 HAS SOUPS 28058 WITH SCORE 28192.074
AT ITER 1665 NEW BEST:: SOT 227591 SOS 134266 HAS SOPS 112779 HAS SOUS 31415 HAS SOUPS 28046 WITH SCORE 28180.266
AT ITER 1670 NEW BEST:: SOT 227727 SOS 134185 HAS SOPS 112777 HAS SOUS 31315 HAS SOUPS 27946 WITH SCORE 28080.185
AT ITER 1708 NEW BEST:: SOT 227727 SOS 134177 HAS SOPS 112761 HAS SOUS 31259 HAS SOUPS 27890 WITH SCORE 28024.177
AT ITER 1714 NEW BEST:: SOT 227727 SOS 134101 HAS SOPS 112685 HAS SOUS 31183 HAS SOUPS 27814 WITH SCORE 27948.101
AT ITER 1728 NEW BEST:: SOT 227725 SOS 134099 HAS SOPS 112683 HAS SOUS 31183 HAS SOUPS 27814 WITH SCORE 27948.099
AT ITER 1734 NEW BEST:: SOT 227761 SOS 134031 HAS SOPS 112580 HAS SOUS 31195 HAS SOUPS 27791 WITH SCORE 27925.031
AT ITER 1742 NEW BEST:: SOT 227761 SOS 134049 HAS SOPS 112598 HAS SOUS 31189 HAS SOUPS 27785 WITH SCORE 27919.049
AT ITER 1771 NEW BEST:: SOT 227671 SOS 133876 HAS SOPS 112418 HAS SOUS 31188 HAS SOUPS 27784 WITH SCORE 27917.876
AT ITER 1784 NEW BEST:: SOT 227665 SOS 133864 HAS SOPS 112406 HAS SOUS 31188 HAS SOUPS 27784 WITH SCORE 27917.864
AT ITER 1806 NEW BEST:: SOT 227645 SOS 133833 HAS SOPS 112375 HAS SOUS 31180 HAS SOUPS 27776 WITH SCORE 27909.833
AT ITER 1810 NEW BEST:: SOT 227591 SOS 133748 HAS SOPS 112313 HAS SOUS 31103 HAS SOUPS 27722 WITH SCORE 27855.748
AT ITER 1816 NEW BEST:: SOT 227591 SOS 133684 HAS SOPS 112259 HAS SOUS 31049 HAS SOUPS 27668 WITH SCORE 27801.684
AT ITER 1823 NEW BEST:: SOT 227632 SOS 133679 HAS SOPS 112283 HAS SOUS 31025 HAS SOUPS 27644 WITH SCORE 27777.679
AT ITER 1826 NEW BEST:: SOT 227672 SOS 133663 HAS SOPS 112273 HAS SOUS 31019 HAS SOUPS 27638 WITH SCORE 27771.663
AT ITER 1830 NEW BEST:: SOT 227626 SOS 133605 HAS SOPS 112215 HAS SOUS 30981 HAS SOUPS 27600 WITH SCORE 27733.605
AT ITER 1843 NEW BEST:: SOT 227535 SOS 133260 HAS SOPS 111693 HAS SOUS 30922 HAS SOUPS 27534 WITH SCORE 27667.26
AT ITER 1846 NEW BEST:: SOT 227533 SOS 133256 HAS SOPS 111688 HAS SOUS 30918 HAS SOUPS 27530 WITH SCORE 27663.256
AT ITER 1856 NEW BEST:: SOT 227452 SOS 133422 HAS SOPS 111630 HAS SOUS 30944 HAS SOUPS 27525 WITH SCORE 27658.422
AT ITER 1872 NEW BEST:: SOT 227192 SOS 133318 HAS SOPS 111526 HAS SOUS 30932 HAS SOUPS 27513 WITH SCORE 27646.318
AT ITER 1876 NEW BEST:: SOT 227160 SOS 133244 HAS SOPS 111460 HAS SOUS 30866 HAS SOUPS 27447 WITH SCORE 27580.244
AT ITER 1885 NEW BEST:: SOT 227096 SOS 133168 HAS SOPS 111384 HAS SOUS 30829 HAS SOUPS 27410 WITH SCORE 27543.168
AT ITER 1887 NEW BEST:: SOT 226630 SOS 132754 HAS SOPS 111449 HAS SOUS 30679 HAS SOUPS 27233 WITH SCORE 27365.754
AT ITER 1893 NEW BEST:: SOT 226630 SOS 132712 HAS SOPS 111407 HAS SOUS 30665 HAS SOUPS 27219 WITH SCORE 27351.712
AT ITER 1906 NEW BEST:: SOT 226629 SOS 132709 HAS SOPS 111404 HAS SOUS 30663 HAS SOUPS 27217 WITH SCORE 27349.709
AT ITER 1918 NEW BEST:: SOT 226635 SOS 132685 HAS SOPS 111380 HAS SOUS 30651 HAS SOUPS 27205 WITH SCORE 27337.685
AT ITER 1928 NEW BEST:: SOT 226618 SOS 132739 HAS SOPS 111434 HAS SOUS 30650 HAS SOUPS 27204 WITH SCORE 27336.739
AT ITER 1933 NEW BEST:: SOT 226606 SOS 132705 HAS SOPS 111400 HAS SOUS 30594 HAS SOUPS 27148 WITH SCORE 27280.705
AT ITER 1953 NEW BEST:: SOT 226612 SOS 132711 HAS SOPS 111304 HAS SOUS 30586 HAS SOUPS 27136 WITH SCORE 27268.711
AT ITER 1956 NEW BEST:: SOT 226322 SOS 132622 HAS SOPS 111207 HAS SOUS 30475 HAS SOUPS 27025 WITH SCORE 27157.622
AT ITER 1961 NEW BEST:: SOT 226310 SOS 132598 HAS SOPS 111180 HAS SOUS 30436 HAS SOUPS 26989 WITH SCORE 27121.598
AT ITER 1965 NEW BEST:: SOT 226304 SOS 132589 HAS SOPS 111171 HAS SOUS 30430 HAS SOUPS 26983 WITH SCORE 27115.589
AT ITER 1969 NEW BEST:: SOT 226297 SOS 132568 HAS SOPS 111164 HAS SOUS 30423 HAS SOUPS 26983 WITH SCORE 27115.568
AT ITER 1971 NEW BEST:: SOT 226392 SOS 132574 HAS SOPS 111279 HAS SOUS 30303 HAS SOUPS 26938 WITH SCORE 27070.574
AT ITER 1972 NEW BEST:: SOT 226462 SOS 132598 HAS SOPS 111274 HAS SOUS 30260 HAS SOUPS 26895 WITH SCORE 27027.598
AT ITER 1987 NEW BEST:: SOT 226189 SOS 132482 HAS SOPS 111284 HAS SOUS 30240 HAS SOUPS 26895 WITH SCORE 27027.482
AT ITER 1988 NEW BEST:: SOT 225928 SOS 132069 HAS SOPS 110854 HAS SOUS 29814 HAS SOUPS 26469 WITH SCORE 26601.069
AT ITER 1992 NEW BEST:: SOT 225523 SOS 131859 HAS SOPS 110800 HAS SOUS 29721 HAS SOUPS 26402 WITH SCORE 26533.859
AT ITER 1994 NEW BEST:: SOT 225523 SOS 131838 HAS SOPS 110779 HAS SOUS 29712 HAS SOUPS 26393 WITH SCORE 26524.838
AT ITER 2004 NEW BEST:: SOT 225519 SOS 131834 HAS SOPS 110775 HAS SOUS 29712 HAS SOUPS 26393 WITH SCORE 26524.834
AT ITER 2013 NEW BEST:: SOT 225511 SOS 131833 HAS SOPS 110768 HAS SOUS 29708 HAS SOUPS 26389 WITH SCORE 26520.833
AT ITER 2021 NEW BEST:: SOT 225508 SOS 131830 HAS SOPS 110766 HAS SOUS 29708 HAS SOUPS 26389 WITH SCORE 26520.83
AT ITER 2058 NEW BEST:: SOT 225555 SOS 131840 HAS SOPS 110776 HAS SOUS 29705 HAS SOUPS 26386 WITH SCORE 26517.84
AT ITER 2062 NEW BEST:: SOT 225543 SOS 131859 HAS SOPS 110695 HAS SOUS 29678 HAS SOUPS 26359 WITH SCORE 26490.859
AT ITER 2068 NEW BEST:: SOT 225536 SOS 131845 HAS SOPS 110696 HAS SOUS 29672 HAS SOUPS 26353 WITH SCORE 26484.845
AT ITER 2073 NEW BEST:: SOT 225578 SOS 131838 HAS SOPS 110696 HAS SOUS 29631 HAS SOUPS 26312 WITH SCORE 26443.838
AT ITER 2086 NEW BEST:: SOT 225604 SOS 131614 HAS SOPS 110672 HAS SOUS 29538 HAS SOUPS 26258 WITH SCORE 26389.614
AT ITER 2113 NEW BEST:: SOT 226699 SOS 132730 HAS SOPS 111767 HAS SOUS 29541 HAS SOUPS 26240 WITH SCORE 26372.73
AT ITER 2124 NEW BEST:: SOT 226634 SOS 132665 HAS SOPS 111731 HAS SOUS 29511 HAS SOUPS 26214 WITH SCORE 26346.665
AT ITER 2133 NEW BEST:: SOT 226635 SOS 132627 HAS SOPS 111683 HAS SOUS 29512 HAS SOUPS 26205 WITH SCORE 26337.627
AT ITER 2141 NEW BEST:: SOT 226556 SOS 132365 HAS SOPS 111421 HAS SOUS 29499 HAS SOUPS 26192 WITH SCORE 26324.365
AT ITER 2146 NEW BEST:: SOT 226298 SOS 132151 HAS SOPS 111169 HAS SOUS 29407 HAS SOUPS 26100 WITH SCORE 26232.151
AT ITER 2155 NEW BEST:: SOT 226252 SOS 132105 HAS SOPS 111169 HAS SOUS 29315 HAS SOUPS 26054 WITH SCORE 26186.105
AT ITER 2156 NEW BEST:: SOT 225322 SOS 131239 HAS SOPS 110895 HAS SOUS 28882 HAS SOUPS 25780 WITH SCORE 25911.239
AT ITER 2157 NEW BEST:: SOT 225242 SOS 131273 HAS SOPS 110907 HAS SOUS 28774 HAS SOUPS 25631 WITH SCORE 25762.273
AT ITER 2166 NEW BEST:: SOT 224637 SOS 130696 HAS SOPS 110848 HAS SOUS 28614 HAS SOUPS 25558 WITH SCORE 25688.696
AT ITER 2172 NEW BEST:: SOT 224630 SOS 130720 HAS SOPS 111094 HAS SOUS 28582 HAS SOUPS 25533 WITH SCORE 25663.72
AT ITER 2174 NEW BEST:: SOT 224573 SOS 130667 HAS SOPS 111079 HAS SOUS 28549 HAS SOUPS 25500 WITH SCORE 25630.667
AT ITER 2186 NEW BEST:: SOT 224499 SOS 130624 HAS SOPS 111036 HAS SOUS 28531 HAS SOUPS 25482 WITH SCORE 25612.624
AT ITER 2189 NEW BEST:: SOT 224581 SOS 130771 HAS SOPS 111163 HAS SOUS 28518 HAS SOUPS 25469 WITH SCORE 25599.771
AT ITER 2198 NEW BEST:: SOT 224653 SOS 130783 HAS SOPS 111175 HAS SOUS 28473 HAS SOUPS 25424 WITH SCORE 25554.783
AT ITER 2203 NEW BEST:: SOT 224653 SOS 130796 HAS SOPS 111188 HAS SOUS 28470 HAS SOUPS 25421 WITH SCORE 25551.796
AT ITER 2214 NEW BEST:: SOT 224647 SOS 130794 HAS SOPS 111186 HAS SOUS 28466 HAS SOUPS 25417 WITH SCORE 25547.794
AT ITER 2243 NEW BEST:: SOT 224673 SOS 130768 HAS SOPS 111160 HAS SOUS 28427 HAS SOUPS 25378 WITH SCORE 25508.768
AT ITER 2244 NEW BEST:: SOT 224643 SOS 130794 HAS SOPS 111186 HAS SOUS 28380 HAS SOUPS 25331 WITH SCORE 25461.794
AT ITER 2245 NEW BEST:: SOT 224235 SOS 130893 HAS SOPS 111051 HAS SOUS 28365 HAS SOUPS 25310 WITH SCORE 25440.893
AT ITER 2267 NEW BEST:: SOT 224378 SOS 130713 HAS SOPS 110946 HAS SOUS 28304 HAS SOUPS 25249 WITH SCORE 25379.713
AT ITER 2271 NEW BEST:: SOT 224747 SOS 130528 HAS SOPS 110999 HAS SOUS 28298 HAS SOUPS 25249 WITH SCORE 25379.528
AT ITER 2277 NEW BEST:: SOT 224194 SOS 130504 HAS SOPS 110952 HAS SOUS 28220 HAS SOUPS 25217 WITH SCORE 25347.504
AT ITER 2280 NEW BEST:: SOT 224173 SOS 130476 HAS SOPS 110931 HAS SOUS 28213 HAS SOUPS 25210 WITH SCORE 25340.476
AT ITER 2297 NEW BEST:: SOT 224154 SOS 130446 HAS SOPS 110901 HAS SOUS 28150 HAS SOUPS 25147 WITH SCORE 25277.446
AT ITER 2302 NEW BEST:: SOT 223056 SOS 130988 HAS SOPS 110620 HAS SOUS 28249 HAS SOUPS 25142 WITH SCORE 25272.988
AT ITER 2344 NEW BEST:: SOT 221419 SOS 129349 HAS SOPS 108935 HAS SOUS 27812 HAS SOUPS 24705 WITH SCORE 24834.349
AT ITER 2353 NEW BEST:: SOT 221421 SOS 129273 HAS SOPS 108859 HAS SOUS 27774 HAS SOUPS 24667 WITH SCORE 24796.273
AT ITER 2361 NEW BEST:: SOT 221543 SOS 129181 HAS SOPS 108767 HAS SOUS 27728 HAS SOUPS 24621 WITH SCORE 24750.181
AT ITER 2416 NEW BEST:: SOT 221514 SOS 129117 HAS SOPS 108730 HAS SOUS 27691 HAS SOUPS 24584 WITH SCORE 24713.117
AT ITER 2428 NEW BEST:: SOT 221437 SOS 129101 HAS SOPS 108714 HAS SOUS 27673 HAS SOUPS 24566 WITH SCORE 24695.101
AT ITER 2435 NEW BEST:: SOT 221425 SOS 129071 HAS SOPS 108675 HAS SOUS 27636 HAS SOUPS 24529 WITH SCORE 24658.071
AT ITER 2436 NEW BEST:: SOT 221418 SOS 129064 HAS SOPS 108668 HAS SOUS 27599 HAS SOUPS 24492 WITH SCORE 24621.064
AT ITER 2444 NEW BEST:: SOT 221400 SOS 129046 HAS SOPS 108608 HAS SOUS 27587 HAS SOUPS 24474 WITH SCORE 24603.046
AT ITER 2461 NEW BEST:: SOT 221359 SOS 129005 HAS SOPS 108574 HAS SOUS 27546 HAS SOUPS 24440 WITH SCORE 24569.005
AT ITER 2475 NEW BEST:: SOT 221338 SOS 129011 HAS SOPS 108580 HAS SOUS 27543 HAS SOUPS 24437 WITH SCORE 24566.011
AT ITER 2478 NEW BEST:: SOT 221318 SOS 129001 HAS SOPS 108510 HAS SOUS 27543 HAS SOUPS 24437 WITH SCORE 24566.001
AT ITER 2486 NEW BEST:: SOT 221183 SOS 128731 HAS SOPS 108330 HAS SOUS 27286 HAS SOUPS 24225 WITH SCORE 24353.731
AT ITER 2505 NEW BEST:: SOT 221155 SOS 128681 HAS SOPS 108280 HAS SOUS 27256 HAS SOUPS 24195 WITH SCORE 24323.681
AT ITER 2574 NEW BEST:: SOT 221155 SOS 128728 HAS SOPS 108278 HAS SOUS 27254 HAS SOUPS 24193 WITH SCORE 24321.728
AT ITER 2576 NEW BEST:: SOT 221155 SOS 128679 HAS SOPS 108278 HAS SOUS 27254 HAS SOUPS 24193 WITH SCORE 24321.679
AT ITER 2585 NEW BEST:: SOT 221155 SOS 128659 HAS SOPS 108268 HAS SOUS 27244 HAS SOUPS 24183 WITH SCORE 24311.659
AT ITER 2610 NEW BEST:: SOT 221155 SOS 128632 HAS SOPS 108250 HAS SOUS 27217 HAS SOUPS 24165 WITH SCORE 24293.632
AT ITER 2612 NEW BEST:: SOT 221149 SOS 128583 HAS SOPS 108208 HAS SOUS 27187 HAS SOUPS 24135 WITH SCORE 24263.583
AT ITER 2632 NEW BEST:: SOT 221009 SOS 128539 HAS SOPS 108093 HAS SOUS 27108 HAS SOUPS 24056 WITH SCORE 24184.539
AT ITER 2644 NEW BEST:: SOT 220836 SOS 128314 HAS SOPS 107894 HAS SOUS 27032 HAS SOUPS 23984 WITH SCORE 24112.314
AT ITER 2664 NEW BEST:: SOT 220904 SOS 128318 HAS SOPS 107962 HAS SOUS 26972 HAS SOUPS 23956 WITH SCORE 24084.318
AT ITER 2691 NEW BEST:: SOT 220930 SOS 127207 HAS SOPS 106641 HAS SOUS 26942 HAS SOUPS 23920 WITH SCORE 24047.207
AT ITER 2707 NEW BEST:: SOT 220938 SOS 127235 HAS SOPS 106657 HAS SOUS 26926 HAS SOUPS 23904 WITH SCORE 24031.235
AT ITER 2711 NEW BEST:: SOT 220804 SOS 127154 HAS SOPS 106561 HAS SOUS 26904 HAS SOUPS 23862 WITH SCORE 23989.154
AT ITER 2716 NEW BEST:: SOT 221932 SOS 126428 HAS SOPS 106779 HAS SOUS 26602 HAS SOUPS 23656 WITH SCORE 23782.428
AT ITER 2717 NEW BEST:: SOT 222254 SOS 126750 HAS SOPS 107094 HAS SOUS 26541 HAS SOUPS 23600 WITH SCORE 23726.75
AT ITER 2720 NEW BEST:: SOT 222208 SOS 126730 HAS SOPS 107087 HAS SOUS 26538 HAS SOUPS 23597 WITH SCORE 23723.73
AT ITER 2723 NEW BEST:: SOT 222139 SOS 126661 HAS SOPS 106995 HAS SOUS 26469 HAS SOUPS 23505 WITH SCORE 23631.661
AT ITER 2735 NEW BEST:: SOT 222126 SOS 126502 HAS SOPS 106887 HAS SOUS 26407 HAS SOUPS 23443 WITH SCORE 23569.502
AT ITER 2749 NEW BEST:: SOT 222007 SOS 126414 HAS SOPS 106799 HAS SOUS 26326 HAS SOUPS 23362 WITH SCORE 23488.414
AT ITER 2765 NEW BEST:: SOT 221999 SOS 126406 HAS SOPS 106799 HAS SOUS 26316 HAS SOUPS 23360 WITH SCORE 23486.406
AT ITER 2768 NEW BEST:: SOT 221935 SOS 126342 HAS SOPS 106735 HAS SOUS 26311 HAS SOUPS 23355 WITH SCORE 23481.342
AT ITER 2770 NEW BEST:: SOT 221933 SOS 126340 HAS SOPS 106731 HAS SOUS 26311 HAS SOUPS 23353 WITH SCORE 23479.34
AT ITER 2781 NEW BEST:: SOT 221946 SOS 126449 HAS SOPS 106794 HAS SOUS 26227 HAS SOUPS 23269 WITH SCORE 23395.449
AT ITER 2792 NEW BEST:: SOT 221908 SOS 126373 HAS SOPS 106764 HAS SOUS 26195 HAS SOUPS 23255 WITH SCORE 23381.373
AT ITER 2795 NEW BEST:: SOT 221746 SOS 117619 HAS SOPS 95144 HAS SOUS 25935 HAS SOUPS 22828 WITH SCORE 22945.619
AT ITER 2799 NEW BEST:: SOT 221746 SOS 117562 HAS SOPS 95087 HAS SOUS 25878 HAS SOUPS 22771 WITH SCORE 22888.562
AT ITER 2801 NEW BEST:: SOT 221730 SOS 117570 HAS SOPS 95087 HAS SOUS 25862 HAS SOUPS 22755 WITH SCORE 22872.57
AT ITER 2838 NEW BEST:: SOT 221722 SOS 117482 HAS SOPS 94999 HAS SOUS 25838 HAS SOUPS 22731 WITH SCORE 22848.482
AT ITER 2844 NEW BEST:: SOT 221710 SOS 117470 HAS SOPS 95020 HAS SOUS 25819 HAS SOUPS 22715 WITH SCORE 22832.47
AT ITER 2881 NEW BEST:: SOT 221691 SOS 117432 HAS SOPS 95001 HAS SOUS 25803 HAS SOUPS 22699 WITH SCORE 22816.432
AT ITER 2903 NEW BEST:: SOT 221692 SOS 117366 HAS SOPS 94935 HAS SOUS 25769 HAS SOUPS 22665 WITH SCORE 22782.366
AT ITER 2919 NEW BEST:: SOT 221675 SOS 117338 HAS SOPS 94890 HAS SOUS 25724 HAS SOUPS 22620 WITH SCORE 22737.338
AT ITER 2956 NEW BEST:: SOT 221661 SOS 117352 HAS SOPS 94843 HAS SOUS 25678 HAS SOUPS 22573 WITH SCORE 22690.352
AT ITER 2966 NEW BEST:: SOT 221657 SOS 117346 HAS SOPS 94837 HAS SOUS 25674 HAS SOUPS 22569 WITH SCORE 22686.346
AT ITER 2972 NEW BEST:: SOT 221624 SOS 117104 HAS SOPS 94782 HAS SOUS 25610 HAS SOUPS 22525 WITH SCORE 22642.104
AT ITER 2985 NEW BEST:: SOT 221586 SOS 117215 HAS SOPS 94706 HAS SOUS 25646 HAS SOUPS 22514 WITH SCORE 22631.215
AT ITER 3023 NEW BEST:: SOT 221339 SOS 117279 HAS SOPS 94614 HAS SOUS 25672 HAS SOUPS 22495 WITH SCORE 22612.279
AT ITER 3031 NEW BEST:: SOT 221253 SOS 117552 HAS SOPS 94543 HAS SOUS 25644 HAS SOUPS 22424 WITH SCORE 22541.552
AT ITER 3047 NEW BEST:: SOT 221257 SOS 117524 HAS SOPS 94515 HAS SOUS 25624 HAS SOUPS 22404 WITH SCORE 22521.524
AT ITER 3093 NEW BEST:: SOT 221272 SOS 117502 HAS SOPS 94545 HAS SOUS 25591 HAS SOUPS 22397 WITH SCORE 22514.502
AT ITER 3097 NEW BEST:: SOT 221338 SOS 117532 HAS SOPS 94545 HAS SOUS 25585 HAS SOUPS 22387 WITH SCORE 22504.532
AT ITER 3101 NEW BEST:: SOT 221448 SOS 117636 HAS SOPS 94497 HAS SOUS 25537 HAS SOUPS 22339 WITH SCORE 22456.636
AT ITER 3102 NEW BEST:: SOT 221438 SOS 117616 HAS SOPS 94468 HAS SOUS 25522 HAS SOUPS 22315 WITH SCORE 22432.616
AT ITER 3104 NEW BEST:: SOT 221366 SOS 117537 HAS SOPS 94394 HAS SOUS 25438 HAS SOUPS 22236 WITH SCORE 22353.537
AT ITER 3115 NEW BEST:: SOT 221324 SOS 107445 HAS SOPS 76081 HAS SOUS 25056 HAS SOUPS 21228 WITH SCORE 21335.445
AT ITER 3117 NEW BEST:: SOT 221553 SOS 107464 HAS SOPS 76177 HAS SOUS 24936 HAS SOUPS 21168 WITH SCORE 21275.464
AT ITER 3120 NEW BEST:: SOT 220701 SOS 107326 HAS SOPS 75939 HAS SOUS 24968 HAS SOUPS 21153 WITH SCORE 21260.326
AT ITER 3125 NEW BEST:: SOT 220691 SOS 107326 HAS SOPS 75939 HAS SOUS 24963 HAS SOUPS 21148 WITH SCORE 21255.326
AT ITER 3133 NEW BEST:: SOT 220639 SOS 107341 HAS SOPS 75937 HAS SOUS 24953 HAS SOUPS 21138 WITH SCORE 21245.341
AT ITER 3141 NEW BEST:: SOT 220534 SOS 107122 HAS SOPS 75670 HAS SOUS 24920 HAS SOUPS 21072 WITH SCORE 21179.122
AT ITER 3144 NEW BEST:: SOT 220413 SOS 106986 HAS SOPS 75578 HAS SOUS 24784 HAS SOUPS 20949 WITH SCORE 21055.986
AT ITER 3151 NEW BEST:: SOT 220413 SOS 106979 HAS SOPS 75568 HAS SOUS 24774 HAS SOUPS 20939 WITH SCORE 21045.979
AT ITER 3157 NEW BEST:: SOT 220525 SOS 106981 HAS SOPS 75612 HAS SOUS 24708 HAS SOUPS 20873 WITH SCORE 20979.981
AT ITER 3185 NEW BEST:: SOT 220508 SOS 106947 HAS SOPS 75585 HAS SOUS 24692 HAS SOUPS 20857 WITH SCORE 20963.947
AT ITER 3187 NEW BEST:: SOT 220484 SOS 106923 HAS SOPS 75561 HAS SOUS 24676 HAS SOUPS 20841 WITH SCORE 20947.923
AT ITER 3205 NEW BEST:: SOT 220492 SOS 106919 HAS SOPS 75557 HAS SOUS 24676 HAS SOUPS 20841 WITH SCORE 20947.919
AT ITER 3220 NEW BEST:: SOT 220464 SOS 106903 HAS SOPS 75533 HAS SOUS 24644 HAS SOUPS 20809 WITH SCORE 20915.903
AT ITER 3273 NEW BEST:: SOT 220470 SOS 106838 HAS SOPS 75479 HAS SOUS 24617 HAS SOUPS 20782 WITH SCORE 20888.838
AT ITER 3283 NEW BEST:: SOT 220468 SOS 106836 HAS SOPS 75475 HAS SOUS 24615 HAS SOUPS 20778 WITH SCORE 20884.836
AT ITER 3296 NEW BEST:: SOT 220405 SOS 106780 HAS SOPS 75426 HAS SOUS 24601 HAS SOUPS 20771 WITH SCORE 20877.78
AT ITER 3324 NEW BEST:: SOT 220404 SOS 106778 HAS SOPS 75424 HAS SOUS 24601 HAS SOUPS 20771 WITH SCORE 20877.778
AT ITER 3326 NEW BEST:: SOT 220392 SOS 106766 HAS SOPS 75412 HAS SOUS 24589 HAS SOUPS 20759 WITH SCORE 20865.766
AT ITER 3327 NEW BEST:: SOT 220412 SOS 106781 HAS SOPS 75438 HAS SOUS 24577 HAS SOUPS 20758 WITH SCORE 20864.781
AT ITER 3338 NEW BEST:: SOT 220433 SOS 106761 HAS SOPS 75408 HAS SOUS 24549 HAS SOUPS 20730 WITH SCORE 20836.761
AT ITER 3356 NEW BEST:: SOT 220405 SOS 106697 HAS SOPS 75312 HAS SOUS 24453 HAS SOUPS 20634 WITH SCORE 20740.697
AT ITER 3375 NEW BEST:: SOT 220405 SOS 106697 HAS SOPS 75301 HAS SOUS 24441 HAS SOUPS 20632 WITH SCORE 20738.697
AT ITER 3403 NEW BEST:: SOT 219388 SOS 105927 HAS SOPS 75315 HAS SOUS 24369 HAS SOUPS 20605 WITH SCORE 20710.927
AT ITER 3408 NEW BEST:: SOT 219434 SOS 105937 HAS SOPS 75313 HAS SOUS 24359 HAS SOUPS 20599 WITH SCORE 20704.937
AT ITER 3421 NEW BEST:: SOT 219428 SOS 105937 HAS SOPS 75309 HAS SOUS 24354 HAS SOUPS 20594 WITH SCORE 20699.937
AT ITER 3428 NEW BEST:: SOT 219428 SOS 105937 HAS SOPS 75298 HAS SOUS 24291 HAS SOUPS 20531 WITH SCORE 20636.937
AT ITER 3447 NEW BEST:: SOT 219425 SOS 105874 HAS SOPS 75235 HAS SOUS 24264 HAS SOUPS 20504 WITH SCORE 20609.874
AT ITER 3448 NEW BEST:: SOT 219384 SOS 105771 HAS SOPS 75132 HAS SOUS 24161 HAS SOUPS 20401 WITH SCORE 20506.771
AT ITER 3468 NEW BEST:: SOT 219384 SOS 105751 HAS SOPS 75112 HAS SOUS 24151 HAS SOUPS 20391 WITH SCORE 20496.751
AT ITER 3481 NEW BEST:: SOT 219385 SOS 98000 HAS SOPS 50210 HAS SOUS 23955 HAS SOUPS 18376 WITH SCORE 18474.0
AT ITER 3484 NEW BEST:: SOT 219385 SOS 97944 HAS SOPS 50154 HAS SOUS 23927 HAS SOUPS 18348 WITH SCORE 18445.944
AT ITER 3488 NEW BEST:: SOT 219385 SOS 97920 HAS SOPS 50130 HAS SOUS 23903 HAS SOUPS 18324 WITH SCORE 18421.92
AT ITER 3500 NEW BEST:: SOT 219356 SOS 97906 HAS SOPS 50193 HAS SOUS 23884 HAS SOUPS 18316 WITH SCORE 18413.906
AT ITER 3504 NEW BEST:: SOT 219338 SOS 97926 HAS SOPS 50149 HAS SOUS 23878 HAS SOUPS 18302 WITH SCORE 18399.926
AT ITER 3558 NEW BEST:: SOT 219338 SOS 97847 HAS SOPS 50070 HAS SOUS 23761 HAS SOUPS 18185 WITH SCORE 18282.847
AT ITER 3581 NEW BEST:: SOT 219341 SOS 97844 HAS SOPS 50070 HAS SOUS 23755 HAS SOUPS 18182 WITH SCORE 18279.844
AT ITER 3605 NEW BEST:: SOT 219318 SOS 97666 HAS SOPS 50028 HAS SOUS 23696 HAS SOUPS 18140 WITH SCORE 18237.666
AT ITER 3607 NEW BEST:: SOT 219324 SOS 97678 HAS SOPS 50040 HAS SOUS 23690 HAS SOUPS 18134 WITH SCORE 18231.678
AT ITER 3611 NEW BEST:: SOT 219384 SOS 97668 HAS SOPS 50037 HAS SOUS 23679 HAS SOUPS 18123 WITH SCORE 18220.668
AT ITER 3615 NEW BEST:: SOT 219373 SOS 97623 HAS SOPS 49992 HAS SOUS 23634 HAS SOUPS 18078 WITH SCORE 18175.623
AT ITER 3637 NEW BEST:: SOT 219353 SOS 97484 HAS SOPS 49853 HAS SOUS 23530 HAS SOUPS 17974 WITH SCORE 18071.484
AT ITER 3655 NEW BEST:: SOT 219357 SOS 97716 HAS SOPS 49862 HAS SOUS 23584 HAS SOUPS 17964 WITH SCORE 18061.716
AT ITER 3668 NEW BEST:: SOT 219314 SOS 97812 HAS SOPS 49820 HAS SOUS 23481 HAS SOUPS 17841 WITH SCORE 17938.812
AT ITER 3676 NEW BEST:: SOT 219204 SOS 97772 HAS SOPS 49747 HAS SOUS 23496 HAS SOUPS 17823 WITH SCORE 17920.772
AT ITER 3685 NEW BEST:: SOT 219204 SOS 97580 HAS SOPS 49723 HAS SOUS 23451 HAS SOUPS 17799 WITH SCORE 17896.58
AT ITER 3744 NEW BEST:: SOT 219166 SOS 97658 HAS SOPS 49697 HAS SOUS 23467 HAS SOUPS 17765 WITH SCORE 17862.658
AT ITER 3766 NEW BEST:: SOT 219125 SOS 97644 HAS SOPS 49666 HAS SOUS 23464 HAS SOUPS 17762 WITH SCORE 17859.644
AT ITER 3772 NEW BEST:: SOT 219129 SOS 97642 HAS SOPS 49664 HAS SOUS 23464 HAS SOUPS 17762 WITH SCORE 17859.642
AT ITER 3783 NEW BEST:: SOT 219129 SOS 97630 HAS SOPS 49652 HAS SOUS 23452 HAS SOUPS 17750 WITH SCORE 17847.63
AT ITER 3788 NEW BEST:: SOT 219124 SOS 97620 HAS SOPS 49647 HAS SOUS 23447 HAS SOUPS 17745 WITH SCORE 17842.62
AT ITER 3800 NEW BEST:: SOT 219092 SOS 97604 HAS SOPS 49631 HAS SOUS 23438 HAS SOUPS 17736 WITH SCORE 17833.604
AT ITER 3810 NEW BEST:: SOT 219092 SOS 97601 HAS SOPS 49630 HAS SOUS 23437 HAS SOUPS 17736 WITH SCORE 17833.601
AT ITER 3815 NEW BEST:: SOT 219073 SOS 97619 HAS SOPS 49592 HAS SOUS 23428 HAS SOUPS 17719 WITH SCORE 17816.619
AT ITER 3843 NEW BEST:: SOT 219082 SOS 97616 HAS SOPS 49589 HAS SOUS 23425 HAS SOUPS 17716 WITH SCORE 17813.616
AT ITER 3872 NEW BEST:: SOT 219078 SOS 97608 HAS SOPS 49581 HAS SOUS 23417 HAS SOUPS 17708 WITH SCORE 17805.608
AT ITER 3878 NEW BEST:: SOT 219078 SOS 97568 HAS SOPS 49541 HAS SOUS 23397 HAS SOUPS 17688 WITH SCORE 17785.568
AT ITER 3898 NEW BEST:: SOT 219078 SOS 97578 HAS SOPS 49505 HAS SOUS 23361 HAS SOUPS 17652 WITH SCORE 17749.578
AT ITER 3904 NEW BEST:: SOT 219073 SOS 97604 HAS SOPS 49503 HAS SOUS 23364 HAS SOUPS 17651 WITH SCORE 17748.604
AT ITER 3916 NEW BEST:: SOT 219328 SOS 97545 HAS SOPS 49622 HAS SOUS 23324 HAS SOUPS 17628 WITH SCORE 17725.545
AT ITER 3928 NEW BEST:: SOT 218107 SOS 97413 HAS SOPS 49556 HAS SOUS 23245 HAS SOUPS 17564 WITH SCORE 17661.413
AT ITER 3980 NEW BEST:: SOT 217999 SOS 97371 HAS SOPS 49496 HAS SOUS 23191 HAS SOUPS 17504 WITH SCORE 17601.371
AT ITER 3986 NEW BEST:: SOT 217999 SOS 97389 HAS SOPS 49523 HAS SOUS 23173 HAS SOUPS 17495 WITH SCORE 17592.389
AT ITER 3995 NEW BEST:: SOT 218015 SOS 97397 HAS SOPS 49531 HAS SOUS 23165 HAS SOUPS 17487 WITH SCORE 17584.397
AT ITER 4007 NEW BEST:: SOT 218016 SOS 97244 HAS SOPS 49455 HAS SOUS 23089 HAS SOUPS 17411 WITH SCORE 17508.244
AT ITER 4009 NEW BEST:: SOT 217623 SOS 96861 HAS SOPS 49072 HAS SOUS 23018 HAS SOUPS 17340 WITH SCORE 17436.861
AT ITER 4011 NEW BEST:: SOT 217613 SOS 96851 HAS SOPS 49062 HAS SOUS 23013 HAS SOUPS 17335 WITH SCORE 17431.851
AT ITER 4014 NEW BEST:: SOT 217603 SOS 96999 HAS SOPS 49126 HAS SOUS 23015 HAS SOUPS 17325 WITH SCORE 17421.999
AT ITER 4048 NEW BEST:: SOT 217602 SOS 96998 HAS SOPS 49123 HAS SOUS 23012 HAS SOUPS 17322 WITH SCORE 17418.998
AT ITER 4054 NEW BEST:: SOT 217565 SOS 97000 HAS SOPS 49114 HAS SOUS 23013 HAS SOUPS 17313 WITH SCORE 17410.0
AT ITER 4061 NEW BEST:: SOT 217567 SOS 97002 HAS SOPS 49116 HAS SOUS 23013 HAS SOUPS 17312 WITH SCORE 17409.002
AT ITER 4099 NEW BEST:: SOT 217623 SOS 96794 HAS SOPS 49128 HAS SOUS 23009 HAS SOUPS 17312 WITH SCORE 17408.794
AT ITER 4124 NEW BEST:: SOT 217606 SOS 96790 HAS SOPS 49124 HAS SOUS 22987 HAS SOUPS 17290 WITH SCORE 17386.79
AT ITER 4136 NEW BEST:: SOT 217635 SOS 96718 HAS SOPS 49137 HAS SOUS 22973 HAS SOUPS 17279 WITH SCORE 17375.718
AT ITER 4151 NEW BEST:: SOT 217631 SOS 96746 HAS SOPS 49117 HAS SOUS 22959 HAS SOUPS 17259 WITH SCORE 17355.746
AT ITER 4177 NEW BEST:: SOT 217694 SOS 96791 HAS SOPS 49144 HAS SOUS 22937 HAS SOUPS 17237 WITH SCORE 17333.791
AT ITER 4188 NEW BEST:: SOT 217697 SOS 96769 HAS SOPS 49125 HAS SOUS 22933 HAS SOUPS 17233 WITH SCORE 17329.769
AT ITER 4219 NEW BEST:: SOT 217710 SOS 96635 HAS SOPS 49119 HAS SOUS 22910 HAS SOUPS 17226 WITH SCORE 17322.635
AT ITER 4226 NEW BEST:: SOT 217706 SOS 96603 HAS SOPS 49123 HAS SOUS 22910 HAS SOUPS 17226 WITH SCORE 17322.603
AT ITER 4239 NEW BEST:: SOT 217684 SOS 96581 HAS SOPS 49101 HAS SOUS 22910 HAS SOUPS 17215 WITH SCORE 17311.581
AT ITER 4266 NEW BEST:: SOT 217684 SOS 96578 HAS SOPS 49098 HAS SOUS 22904 HAS SOUPS 17212 WITH SCORE 17308.578
AT ITER 4272 NEW BEST:: SOT 217669 SOS 96603 HAS SOPS 49088 HAS SOUS 22894 HAS SOUPS 17197 WITH SCORE 17293.603
AT ITER 4296 NEW BEST:: SOT 217677 SOS 96611 HAS SOPS 49088 HAS SOUS 22874 HAS SOUPS 17177 WITH SCORE 17273.611
AT ITER 4300 NEW BEST:: SOT 217594 SOS 96588 HAS SOPS 49072 HAS SOUS 22874 HAS SOUPS 17158 WITH SCORE 17254.588
AT ITER 4316 NEW BEST:: SOT 217604 SOS 96561 HAS SOPS 49066 HAS SOUS 22869 HAS SOUPS 17153 WITH SCORE 17249.561
AT ITER 4337 NEW BEST:: SOT 217602 SOS 96550 HAS SOPS 49055 HAS SOUS 22867 HAS SOUPS 17151 WITH SCORE 17247.55
AT ITER 4343 NEW BEST:: SOT 217428 SOS 96414 HAS SOPS 49026 HAS SOUS 22838 HAS SOUPS 17138 WITH SCORE 17234.414
AT ITER 4361 NEW BEST:: SOT 217210 SOS 96801 HAS SOPS 48980 HAS SOUS 22876 HAS SOUPS 17117 WITH SCORE 17213.801
AT ITER 4444 NEW BEST:: SOT 217245 SOS 96695 HAS SOPS 48986 HAS SOUS 22853 HAS SOUPS 17110 WITH SCORE 17206.695
AT ITER 4505 NEW BEST:: SOT 217219 SOS 96652 HAS SOPS 48952 HAS SOUS 22821 HAS SOUPS 17078 WITH SCORE 17174.652
AT ITER 4537 NEW BEST:: SOT 217235 SOS 96646 HAS SOPS 48946 HAS SOUS 22789 HAS SOUPS 17046 WITH SCORE 17142.646
AT ITER 4607 NEW BEST:: SOT 217232 SOS 96642 HAS SOPS 48942 HAS SOUS 22788 HAS SOUPS 17045 WITH SCORE 17141.642
AT ITER 4615 NEW BEST:: SOT 217202 SOS 96594 HAS SOPS 48894 HAS SOUS 22740 HAS SOUPS 16997 WITH SCORE 17093.594
AT ITER 4630 NEW BEST:: SOT 217210 SOS 96522 HAS SOPS 48878 HAS SOUS 22724 HAS SOUPS 16989 WITH SCORE 17085.522
AT ITER 4652 NEW BEST:: SOT 217211 SOS 96578 HAS SOPS 48862 HAS SOUS 22730 HAS SOUPS 16986 WITH SCORE 17082.578
AT ITER 4661 NEW BEST:: SOT 217211 SOS 96551 HAS SOPS 48859 HAS SOUS 22724 HAS SOUPS 16983 WITH SCORE 17079.551
AT ITER 4682 NEW BEST:: SOT 216656 SOS 96065 HAS SOPS 48754 HAS SOUS 22676 HAS SOUPS 16935 WITH SCORE 17031.065
AT ITER 4701 NEW BEST:: SOT 216651 SOS 96048 HAS SOPS 48737 HAS SOUS 22668 HAS SOUPS 16927 WITH SCORE 17023.048
AT ITER 4707 NEW BEST:: SOT 216640 SOS 96037 HAS SOPS 48726 HAS SOUS 22668 HAS SOUPS 16927 WITH SCORE 17023.037
AT ITER 4756 NEW BEST:: SOT 216563 SOS 96270 HAS SOPS 48735 HAS SOUS 22696 HAS SOUPS 16923 WITH SCORE 17019.27
AT ITER 4820 NEW BEST:: SOT 216554 SOS 96260 HAS SOPS 48726 HAS SOUS 22693 HAS SOUPS 16917 WITH SCORE 17013.26
AT ITER 4848 NEW BEST:: SOT 216537 SOS 96192 HAS SOPS 48692 HAS SOUS 22659 HAS SOUPS 16900 WITH SCORE 16996.192
AT ITER 4870 NEW BEST:: SOT 216533 SOS 96208 HAS SOPS 48708 HAS SOUS 22657 HAS SOUPS 16898 WITH SCORE 16994.208
AT ITER 4909 NEW BEST:: SOT 216518 SOS 96193 HAS SOPS 48684 HAS SOUS 22628 HAS SOUPS 16864 WITH SCORE 16960.193
AT ITER 4918 NEW BEST:: SOT 216520 SOS 96190 HAS SOPS 48681 HAS SOUS 22622 HAS SOUPS 16859 WITH SCORE 16955.19
AT ITER 4920 NEW BEST:: SOT 216525 SOS 96248 HAS SOPS 48675 HAS SOUS 22613 HAS SOUPS 16842 WITH SCORE 16938.248
AT ITER 4936 NEW BEST:: SOT 216476 SOS 96225 HAS SOPS 48637 HAS SOUS 22595 HAS SOUPS 16809 WITH SCORE 16905.225
AT ITER 4950 NEW BEST:: SOT 216475 SOS 96250 HAS SOPS 48637 HAS SOUS 22595 HAS SOUPS 16808 WITH SCORE 16904.25
AT ITER 4962 NEW BEST:: SOT 216475 SOS 96087 HAS SOPS 48474 HAS SOUS 22588 HAS SOUPS 16801 WITH SCORE 16897.087
AT ITER 4971 NEW BEST:: SOT 216666 SOS 95881 HAS SOPS 48461 HAS SOUS 22581 HAS SOUPS 16800 WITH SCORE 16895.881
AT ITER 5013 NEW BEST:: SOT 216463 SOS 96000 HAS SOPS 48407 HAS SOUS 22505 HAS SOUPS 16683 WITH SCORE 16779.0
AT ITER 5031 NEW BEST:: SOT 216404 SOS 95952 HAS SOPS 48359 HAS SOUS 22500 HAS SOUPS 16678 WITH SCORE 16773.952
AT ITER 5047 NEW BEST:: SOT 216370 SOS 96036 HAS SOPS 48291 HAS SOUS 22493 HAS SOUPS 16652 WITH SCORE 16748.036
AT ITER 5071 NEW BEST:: SOT 216354 SOS 96012 HAS SOPS 48271 HAS SOUS 22481 HAS SOUPS 16636 WITH SCORE 16732.012
AT ITER 5116 NEW BEST:: SOT 216337 SOS 96111 HAS SOPS 48237 HAS SOUS 22485 HAS SOUPS 16621 WITH SCORE 16717.111
AT ITER 5122 NEW BEST:: SOT 216334 SOS 96070 HAS SOPS 48231 HAS SOUS 22467 HAS SOUPS 16608 WITH SCORE 16704.07
AT ITER 5125 NEW BEST:: SOT 216334 SOS 96068 HAS SOPS 48228 HAS SOUS 22468 HAS SOUPS 16608 WITH SCORE 16704.068
AT ITER 5133 NEW BEST:: SOT 216303 SOS 96046 HAS SOPS 48212 HAS SOUS 22460 HAS SOUPS 16607 WITH SCORE 16703.046
AT ITER 5190 NEW BEST:: SOT 216313 SOS 95966 HAS SOPS 48212 HAS SOUS 22440 HAS SOUPS 16597 WITH SCORE 16692.966
AT ITER 5217 NEW BEST:: SOT 216265 SOS 95796 HAS SOPS 48042 HAS SOUS 22416 HAS SOUPS 16573 WITH SCORE 16668.796
AT ITER 5255 NEW BEST:: SOT 216232 SOS 95763 HAS SOPS 48009 HAS SOUS 22398 HAS SOUPS 16555 WITH SCORE 16650.763
AT ITER 5273 NEW BEST:: SOT 216268 SOS 95795 HAS SOPS 48041 HAS SOUS 22394 HAS SOUPS 16551 WITH SCORE 16646.795
AT ITER 5280 NEW BEST:: SOT 216241 SOS 95768 HAS SOPS 47996 HAS SOUS 22367 HAS SOUPS 16515 WITH SCORE 16610.768
AT ITER 5303 NEW BEST:: SOT 216238 SOS 95765 HAS SOPS 47993 HAS SOUS 22367 HAS SOUPS 16515 WITH SCORE 16610.765
AT ITER 5324 NEW BEST:: SOT 216247 SOS 95699 HAS SOPS 47959 HAS SOUS 22333 HAS SOUPS 16481 WITH SCORE 16576.699
AT ITER 5328 NEW BEST:: SOT 216265 SOS 95703 HAS SOPS 47969 HAS SOUS 22325 HAS SOUPS 16479 WITH SCORE 16574.703
AT ITER 5390 NEW BEST:: SOT 216262 SOS 95699 HAS SOPS 47954 HAS SOUS 22323 HAS SOUPS 16477 WITH SCORE 16572.699
AT ITER 5418 NEW BEST:: SOT 216262 SOS 95689 HAS SOPS 47952 HAS SOUS 22320 HAS SOUPS 16475 WITH SCORE 16570.689
AT ITER 5446 NEW BEST:: SOT 216238 SOS 95745 HAS SOPS 47952 HAS SOUS 22320 HAS SOUPS 16467 WITH SCORE 16562.745
AT ITER 5470 NEW BEST:: SOT 216235 SOS 95736 HAS SOPS 47943 HAS SOUS 22320 HAS SOUPS 16467 WITH SCORE 16562.736
AT ITER 5479 NEW BEST:: SOT 216236 SOS 95731 HAS SOPS 47940 HAS SOUS 22308 HAS SOUPS 16458 WITH SCORE 16553.731
AT ITER 5483 NEW BEST:: SOT 216203 SOS 95704 HAS SOPS 47913 HAS SOUS 22300 HAS SOUPS 16450 WITH SCORE 16545.704
AT ITER 5521 NEW BEST:: SOT 216199 SOS 95685 HAS SOPS 47905 HAS SOUS 22292 HAS SOUPS 16442 WITH SCORE 16537.685
AT ITER 5543 NEW BEST:: SOT 216176 SOS 95786 HAS SOPS 47859 HAS SOUS 22291 HAS SOUPS 16420 WITH SCORE 16515.786
AT ITER 5571 NEW BEST:: SOT 216237 SOS 95831 HAS SOPS 47848 HAS SOUS 22284 HAS SOUPS 16409 WITH SCORE 16504.831
AT ITER 5586 NEW BEST:: SOT 216231 SOS 95805 HAS SOPS 47840 HAS SOUS 22274 HAS SOUPS 16401 WITH SCORE 16496.805
AT ITER 5593 NEW BEST:: SOT 216225 SOS 95790 HAS SOPS 47825 HAS SOUS 22259 HAS SOUPS 16386 WITH SCORE 16481.79
AT ITER 5643 NEW BEST:: SOT 216215 SOS 95797 HAS SOPS 47802 HAS SOUS 22252 HAS SOUPS 16376 WITH SCORE 16471.797
AT ITER 5702 NEW BEST:: SOT 217385 SOS 96331 HAS SOPS 47802 HAS SOUS 22274 HAS SOUPS 16374 WITH SCORE 16470.331
AT ITER 5711 NEW BEST:: SOT 217441 SOS 96324 HAS SOPS 47795 HAS SOUS 22255 HAS SOUPS 16355 WITH SCORE 16451.324
AT ITER 5732 NEW BEST:: SOT 217439 SOS 96318 HAS SOPS 47789 HAS SOUS 22247 HAS SOUPS 16347 WITH SCORE 16443.318
AT ITER 5780 NEW BEST:: SOT 217433 SOS 96330 HAS SOPS 47801 HAS SOUS 22219 HAS SOUPS 16319 WITH SCORE 16415.33
AT ITER 5882 NEW BEST:: SOT 217426 SOS 96323 HAS SOPS 47801 HAS SOUS 22219 HAS SOUPS 16319 WITH SCORE 16415.323
AT ITER 5907 NEW BEST:: SOT 217448 SOS 96299 HAS SOPS 47450 HAS SOUS 22261 HAS SOUPS 16317 WITH SCORE 16413.299
AT ITER 5909 NEW BEST:: SOT 216617 SOS 95468 HAS SOPS 46628 HAS SOUS 22261 HAS SOUPS 16296 WITH SCORE 16391.468
AT ITER 5921 NEW BEST:: SOT 216615 SOS 95409 HAS SOPS 46569 HAS SOUS 22255 HAS SOUPS 16290 WITH SCORE 16385.409
AT ITER 5949 NEW BEST:: SOT 216616 SOS 95410 HAS SOPS 46568 HAS SOUS 22249 HAS SOUPS 16284 WITH SCORE 16379.41
AT ITER 5966 NEW BEST:: SOT 216591 SOS 95385 HAS SOPS 46542 HAS SOUS 22224 HAS SOUPS 16258 WITH SCORE 16353.385
AT ITER 5984 NEW BEST:: SOT 216557 SOS 95386 HAS SOPS 46543 HAS SOUS 22220 HAS SOUPS 16254 WITH SCORE 16349.386
AT ITER 5993 NEW BEST:: SOT 216576 SOS 95362 HAS SOPS 46550 HAS SOUS 22213 HAS SOUPS 16247 WITH SCORE 16342.362
AT ITER 6040 NEW BEST:: SOT 216541 SOS 95332 HAS SOPS 46520 HAS SOUS 22201 HAS SOUPS 16222 WITH SCORE 16317.332
AT ITER 6055 NEW BEST:: SOT 216546 SOS 95279 HAS SOPS 46523 HAS SOUS 22192 HAS SOUPS 16220 WITH SCORE 16315.279
AT ITER 6073 NEW BEST:: SOT 216549 SOS 95285 HAS SOPS 46529 HAS SOUS 22191 HAS SOUPS 16219 WITH SCORE 16314.285
AT ITER 6091 NEW BEST:: SOT 216551 SOS 95287 HAS SOPS 46530 HAS SOUS 22190 HAS SOUPS 16218 WITH SCORE 16313.287
AT ITER 6092 NEW BEST:: SOT 216915 SOS 95665 HAS SOPS 46901 HAS SOUS 22162 HAS SOUPS 16190 WITH SCORE 16285.665
AT ITER 6160 NEW BEST:: SOT 216870 SOS 95639 HAS SOPS 46874 HAS SOUS 22157 HAS SOUPS 16185 WITH SCORE 16280.639
AT ITER 6179 NEW BEST:: SOT 216863 SOS 95218 HAS SOPS 43110 HAS SOUS 22125 HAS SOUPS 15752 WITH SCORE 15847.218
AT ITER 6181 NEW BEST:: SOT 216864 SOS 95209 HAS SOPS 43109 HAS SOUS 22123 HAS SOUPS 15751 WITH SCORE 15846.209
AT ITER 6187 NEW BEST:: SOT 216877 SOS 95207 HAS SOPS 43093 HAS SOUS 22115 HAS SOUPS 15750 WITH SCORE 15845.207
AT ITER 6189 NEW BEST:: SOT 216876 SOS 95205 HAS SOPS 43091 HAS SOUS 22115 HAS SOUPS 15750 WITH SCORE 15845.205
AT ITER 6223 NEW BEST:: SOT 216875 SOS 95201 HAS SOPS 43087 HAS SOUS 22110 HAS SOUPS 15745 WITH SCORE 15840.201
AT ITER 6248 NEW BEST:: SOT 216873 SOS 95199 HAS SOPS 43083 HAS SOUS 22106 HAS SOUPS 15741 WITH SCORE 15836.199
AT ITER 6262 NEW BEST:: SOT 216825 SOS 95759 HAS SOPS 42973 HAS SOUS 22136 HAS SOUPS 15731 WITH SCORE 15826.759
AT ITER 6279 NEW BEST:: SOT 216839 SOS 95748 HAS SOPS 42962 HAS SOUS 22129 HAS SOUPS 15724 WITH SCORE 15819.748
AT ITER 6295 NEW BEST:: SOT 216833 SOS 95742 HAS SOPS 42956 HAS SOUS 22123 HAS SOUPS 15718 WITH SCORE 15813.742
AT ITER 6410 NEW BEST:: SOT 216831 SOS 95739 HAS SOPS 42952 HAS SOUS 22119 HAS SOUPS 15714 WITH SCORE 15809.739
AT ITER 6447 NEW BEST:: SOT 216824 SOS 95680 HAS SOPS 42933 HAS SOUS 22108 HAS SOUPS 15708 WITH SCORE 15803.68
AT ITER 6474 NEW BEST:: SOT 216828 SOS 95688 HAS SOPS 42941 HAS SOUS 22101 HAS SOUPS 15701 WITH SCORE 15796.688
AT ITER 6484 NEW BEST:: SOT 216820 SOS 95681 HAS SOPS 42933 HAS SOUS 22099 HAS SOUPS 15699 WITH SCORE 15794.681
AT ITER 6504 NEW BEST:: SOT 216820 SOS 95609 HAS SOPS 42861 HAS SOUS 22091 HAS SOUPS 15691 WITH SCORE 15786.609
AT ITER 6540 NEW BEST:: SOT 216820 SOS 95537 HAS SOPS 42861 HAS SOUS 22082 HAS SOUPS 15691 WITH SCORE 15786.537
AT ITER 6563 NEW BEST:: SOT 216800 SOS 95517 HAS SOPS 42821 HAS SOUS 22050 HAS SOUPS 15659 WITH SCORE 15754.517
AT ITER 6572 NEW BEST:: SOT 216788 SOS 95509 HAS SOPS 42809 HAS SOUS 22046 HAS SOUPS 15655 WITH SCORE 15750.509
AT ITER 6575 NEW BEST:: SOT 216743 SOS 95558 HAS SOPS 42745 HAS SOUS 22018 HAS SOUPS 15604 WITH SCORE 15699.558
AT ITER 6596 NEW BEST:: SOT 216755 SOS 95515 HAS SOPS 42702 HAS SOUS 22011 HAS SOUPS 15597 WITH SCORE 15692.515
AT ITER 6647 NEW BEST:: SOT 216756 SOS 95509 HAS SOPS 42696 HAS SOUS 22011 HAS SOUPS 15597 WITH SCORE 15692.509
AT ITER 6705 NEW BEST:: SOT 216770 SOS 95453 HAS SOPS 42649 HAS SOUS 21983 HAS SOUPS 15569 WITH SCORE 15664.453
AT ITER 6734 NEW BEST:: SOT 216759 SOS 95445 HAS SOPS 42641 HAS SOUS 21985 HAS SOUPS 15564 WITH SCORE 15659.445
AT ITER 6798 NEW BEST:: SOT 216695 SOS 95381 HAS SOPS 42585 HAS SOUS 21963 HAS SOUPS 15550 WITH SCORE 15645.381
AT ITER 6836 NEW BEST:: SOT 216701 SOS 95375 HAS SOPS 42579 HAS SOUS 21951 HAS SOUPS 15538 WITH SCORE 15633.375
AT ITER 6844 NEW BEST:: SOT 216700 SOS 95380 HAS SOPS 42580 HAS SOUS 21945 HAS SOUPS 15532 WITH SCORE 15627.38
AT ITER 6912 NEW BEST:: SOT 216676 SOS 95380 HAS SOPS 42580 HAS SOUS 21929 HAS SOUPS 15516 WITH SCORE 15611.38
AT ITER 6918 NEW BEST:: SOT 216676 SOS 95370 HAS SOPS 42578 HAS SOUS 21926 HAS SOUPS 15514 WITH SCORE 15609.37
AT ITER 6987 NEW BEST:: SOT 216642 SOS 95522 HAS SOPS 42554 HAS SOUS 21931 HAS SOUPS 15497 WITH SCORE 15592.522
AT ITER 7039 NEW BEST:: SOT 216642 SOS 95489 HAS SOPS 42542 HAS SOUS 21928 HAS SOUPS 15494 WITH SCORE 15589.489
AT ITER 7043 NEW BEST:: SOT 216530 SOS 95377 HAS SOPS 42430 HAS SOUS 21873 HAS SOUPS 15439 WITH SCORE 15534.377
AT ITER 7087 NEW BEST:: SOT 216530 SOS 95391 HAS SOPS 42428 HAS SOUS 21869 HAS SOUPS 15433 WITH SCORE 15528.391
AT ITER 7123 NEW BEST:: SOT 216512 SOS 95361 HAS SOPS 42392 HAS SOUS 21845 HAS SOUPS 15410 WITH SCORE 15505.361
AT ITER 7201 NEW BEST:: SOT 216503 SOS 95341 HAS SOPS 42374 HAS SOUS 21827 HAS SOUPS 15392 WITH SCORE 15487.341
AT ITER 7218 NEW BEST:: SOT 216509 SOS 95371 HAS SOPS 42368 HAS SOUS 21820 HAS SOUPS 15385 WITH SCORE 15480.371
AT ITER 7230 NEW BEST:: SOT 216619 SOS 95201 HAS SOPS 42361 HAS SOUS 21778 HAS SOUPS 15366 WITH SCORE 15461.201
AT ITER 7267 NEW BEST:: SOT 216610 SOS 95183 HAS SOPS 42343 HAS SOUS 21768 HAS SOUPS 15356 WITH SCORE 15451.183
AT ITER 7363 NEW BEST:: SOT 216607 SOS 95175 HAS SOPS 42338 HAS SOUS 21763 HAS SOUPS 15352 WITH SCORE 15447.175
AT ITER 7393 NEW BEST:: SOT 216604 SOS 95173 HAS SOPS 42336 HAS SOUS 21762 HAS SOUPS 15351 WITH SCORE 15446.173
AT ITER 7407 NEW BEST:: SOT 216587 SOS 95259 HAS SOPS 42326 HAS SOUS 21771 HAS SOUPS 15348 WITH SCORE 15443.259
AT ITER 7418 NEW BEST:: SOT 216579 SOS 95259 HAS SOPS 42262 HAS SOUS 21767 HAS SOUPS 15336 WITH SCORE 15431.259
AT ITER 7471 NEW BEST:: SOT 216563 SOS 95247 HAS SOPS 42250 HAS SOUS 21768 HAS SOUPS 15317 WITH SCORE 15412.247
AT ITER 7473 NEW BEST:: SOT 216539 SOS 95223 HAS SOPS 42226 HAS SOUS 21752 HAS SOUPS 15301 WITH SCORE 15396.223
AT ITER 7490 NEW BEST:: SOT 216583 SOS 95239 HAS SOPS 42242 HAS SOUS 21751 HAS SOUPS 15300 WITH SCORE 15395.239
AT ITER 7531 NEW BEST:: SOT 216584 SOS 95223 HAS SOPS 42234 HAS SOUS 21739 HAS SOUPS 15292 WITH SCORE 15387.223
AT ITER 7555 NEW BEST:: SOT 216587 SOS 95199 HAS SOPS 42234 HAS SOUS 21733 HAS SOUPS 15289 WITH SCORE 15384.199
AT ITER 7587 NEW BEST:: SOT 216570 SOS 95182 HAS SOPS 42216 HAS SOUS 21729 HAS SOUPS 15285 WITH SCORE 15380.182
AT ITER 7631 NEW BEST:: SOT 216566 SOS 95209 HAS SOPS 42211 HAS SOUS 21732 HAS SOUPS 15284 WITH SCORE 15379.209
AT ITER 7655 NEW BEST:: SOT 216627 SOS 95260 HAS SOPS 42206 HAS SOUS 21733 HAS SOUPS 15279 WITH SCORE 15374.26
AT ITER 7680 NEW BEST:: SOT 216963 SOS 95605 HAS SOPS 42545 HAS SOUS 21731 HAS SOUPS 15277 WITH SCORE 15372.605
AT ITER 7760 NEW BEST:: SOT 216931 SOS 95006 HAS SOPS 37201 HAS SOUS 21684 HAS SOUPS 14624 WITH SCORE 14719.006
AT ITER 7768 NEW BEST:: SOT 216915 SOS 95004 HAS SOPS 37189 HAS SOUS 21682 HAS SOUPS 14612 WITH SCORE 14707.004
AT ITER 7788 NEW BEST:: SOT 216888 SOS 94982 HAS SOPS 37158 HAS SOUS 21678 HAS SOUPS 14608 WITH SCORE 14702.982
AT ITER 7845 NEW BEST:: SOT 216885 SOS 94977 HAS SOPS 37153 HAS SOUS 21673 HAS SOUPS 14603 WITH SCORE 14697.977
AT ITER 7874 NEW BEST:: SOT 216901 SOS 94970 HAS SOPS 37146 HAS SOUS 21667 HAS SOUPS 14597 WITH SCORE 14691.97
AT ITER 7885 NEW BEST:: SOT 216901 SOS 95006 HAS SOPS 37134 HAS SOUS 21670 HAS SOUPS 14594 WITH SCORE 14689.006
AT ITER 7887 NEW BEST:: SOT 216884 SOS 95032 HAS SOPS 37108 HAS SOUS 21669 HAS SOUPS 14586 WITH SCORE 14681.032
AT ITER 7896 NEW BEST:: SOT 216884 SOS 95027 HAS SOPS 37108 HAS SOUS 21664 HAS SOUPS 14581 WITH SCORE 14676.027
AT ITER 7941 NEW BEST:: SOT 216875 SOS 94820 HAS SOPS 37108 HAS SOUS 21655 HAS SOUPS 14569 WITH SCORE 14663.82
AT ITER 7999 NEW BEST:: SOT 216901 SOS 94796 HAS SOPS 37084 HAS SOUS 21646 HAS SOUPS 14560 WITH SCORE 14654.796
AT ITER 8006 NEW BEST:: SOT 216910 SOS 94802 HAS SOPS 37082 HAS SOUS 21635 HAS SOUPS 14557 WITH SCORE 14651.802
AT ITER 8061 NEW BEST:: SOT 216885 SOS 94779 HAS SOPS 37030 HAS SOUS 21622 HAS SOUPS 14539 WITH SCORE 14633.779
AT ITER 8134 NEW BEST:: SOT 216885 SOS 94781 HAS SOPS 37032 HAS SOUS 21620 HAS SOUPS 14537 WITH SCORE 14631.781
AT ITER 8138 NEW BEST:: SOT 216877 SOS 94733 HAS SOPS 37008 HAS SOUS 21596 HAS SOUPS 14521 WITH SCORE 14615.733
AT ITER 8151 NEW BEST:: SOT 216876 SOS 94733 HAS SOPS 37000 HAS SOUS 21596 HAS SOUPS 14520 WITH SCORE 14614.733
AT ITER 8158 NEW BEST:: SOT 216872 SOS 94725 HAS SOPS 36992 HAS SOUS 21590 HAS SOUPS 14514 WITH SCORE 14608.725
AT ITER 8220 NEW BEST:: SOT 216822 SOS 94679 HAS SOPS 36937 HAS SOUS 21593 HAS SOUPS 14508 WITH SCORE 14602.679
AT ITER 8236 NEW BEST:: SOT 216828 SOS 94641 HAS SOPS 36921 HAS SOUS 21568 HAS SOUPS 14494 WITH SCORE 14588.641
AT ITER 8340 NEW BEST:: SOT 216828 SOS 94632 HAS SOPS 36912 HAS SOUS 21559 HAS SOUPS 14485 WITH SCORE 14579.632
AT ITER 8345 NEW BEST:: SOT 216829 SOS 94629 HAS SOPS 36881 HAS SOUS 21553 HAS SOUPS 14479 WITH SCORE 14573.629
AT ITER 8408 NEW BEST:: SOT 216779 SOS 94565 HAS SOPS 36835 HAS SOUS 21534 HAS SOUPS 14449 WITH SCORE 14543.565
AT ITER 8465 NEW BEST:: SOT 216779 SOS 94373 HAS SOPS 36643 HAS SOUS 21486 HAS SOUPS 14401 WITH SCORE 14495.373
AT ITER 8468 NEW BEST:: SOT 216780 SOS 94374 HAS SOPS 36635 HAS SOUS 21485 HAS SOUPS 14393 WITH SCORE 14487.374
AT ITER 8496 NEW BEST:: SOT 216776 SOS 94378 HAS SOPS 36635 HAS SOUS 21481 HAS SOUPS 14389 WITH SCORE 14483.378
AT ITER 8571 NEW BEST:: SOT 216709 SOS 94419 HAS SOPS 36632 HAS SOUS 21471 HAS SOUPS 14382 WITH SCORE 14476.419
AT ITER 8659 NEW BEST:: SOT 216692 SOS 94409 HAS SOPS 36490 HAS SOUS 21454 HAS SOUPS 14365 WITH SCORE 14459.409
AT ITER 8667 NEW BEST:: SOT 216690 SOS 94405 HAS SOPS 36486 HAS SOUS 21452 HAS SOUPS 14363 WITH SCORE 14457.405
AT ITER 8726 NEW BEST:: SOT 216679 SOS 94446 HAS SOPS 36478 HAS SOUS 21455 HAS SOUPS 14359 WITH SCORE 14453.446
AT ITER 8733 NEW BEST:: SOT 216684 SOS 94476 HAS SOPS 36508 HAS SOUS 21452 HAS SOUPS 14356 WITH SCORE 14450.476
AT ITER 8817 NEW BEST:: SOT 216681 SOS 94467 HAS SOPS 36510 HAS SOUS 21444 HAS SOUPS 14348 WITH SCORE 14442.467
AT ITER 8833 NEW BEST:: SOT 216693 SOS 94383 HAS SOPS 36514 HAS SOUS 21433 HAS SOUPS 14348 WITH SCORE 14442.383
AT ITER 8944 NEW BEST:: SOT 216676 SOS 94357 HAS SOPS 36487 HAS SOUS 21406 HAS SOUPS 14321 WITH SCORE 14415.357
AT ITER 8980 NEW BEST:: SOT 216897 SOS 94431 HAS SOPS 34718 HAS SOUS 21614 HAS SOUPS 14309 WITH SCORE 14403.431
AT ITER 8990 NEW BEST:: SOT 216908 SOS 94418 HAS SOPS 34705 HAS SOUS 21614 HAS SOUPS 14309 WITH SCORE 14403.418
AT ITER 9001 NEW BEST:: SOT 216910 SOS 94398 HAS SOPS 34706 HAS SOUS 21610 HAS SOUPS 14308 WITH SCORE 14402.398
AT ITER 9087 NEW BEST:: SOT 216950 SOS 94424 HAS SOPS 34732 HAS SOUS 21585 HAS SOUPS 14290 WITH SCORE 14384.424
AT ITER 9104 NEW BEST:: SOT 216960 SOS 94354 HAS SOPS 34734 HAS SOUS 21573 HAS SOUPS 14287 WITH SCORE 14381.354
AT ITER 9144 NEW BEST:: SOT 216940 SOS 94364 HAS SOPS 34754 HAS SOUS 21560 HAS SOUPS 14274 WITH SCORE 14368.364
AT ITER 9157 NEW BEST:: SOT 216937 SOS 94361 HAS SOPS 34754 HAS SOUS 21554 HAS SOUPS 14271 WITH SCORE 14365.361
AT ITER 9202 NEW BEST:: SOT 216892 SOS 94339 HAS SOPS 34754 HAS SOUS 21569 HAS SOUPS 14271 WITH SCORE 14365.339
AT ITER 9291 NEW BEST:: SOT 216919 SOS 94366 HAS SOPS 34769 HAS SOUS 21570 HAS SOUPS 14267 WITH SCORE 14361.366
AT ITER 9383 NEW BEST:: SOT 216924 SOS 94324 HAS SOPS 34755 HAS SOUS 21563 HAS SOUPS 14264 WITH SCORE 14358.324
AT ITER 9385 NEW BEST:: SOT 216928 SOS 94324 HAS SOPS 34751 HAS SOUS 21557 HAS SOUPS 14260 WITH SCORE 14354.324
AT ITER 9527 NEW BEST:: SOT 216744 SOS 94134 HAS SOPS 34561 HAS SOUS 21361 HAS SOUPS 14064 WITH SCORE 14158.134
AT ITER 9530 NEW BEST:: SOT 216777 SOS 94105 HAS SOPS 34519 HAS SOUS 21331 HAS SOUPS 14048 WITH SCORE 14142.105
AT ITER 9639 NEW BEST:: SOT 216644 SOS 94116 HAS SOPS 34517 HAS SOUS 21323 HAS SOUPS 14046 WITH SCORE 14140.116
AT ITER 9685 NEW BEST:: SOT 216644 SOS 94086 HAS SOPS 34527 HAS SOUS 21318 HAS SOUPS 14046 WITH SCORE 14140.086
AT ITER 9692 NEW BEST:: SOT 216644 SOS 94082 HAS SOPS 34523 HAS SOUS 21318 HAS SOUPS 14046 WITH SCORE 14140.082
AT ITER 9719 NEW BEST:: SOT 216644 SOS 94056 HAS SOPS 34487 HAS SOUS 21308 HAS SOUPS 14036 WITH SCORE 14130.056
AT ITER 9755 NEW BEST:: SOT 216638 SOS 94074 HAS SOPS 34481 HAS SOUS 21308 HAS SOUPS 14033 WITH SCORE 14127.074
AT ITER 9758 NEW BEST:: SOT 216648 SOS 94014 HAS SOPS 34473 HAS SOUS 21295 HAS SOUPS 14021 WITH SCORE 14115.014
AT ITER 9768 NEW BEST:: SOT 216640 SOS 94084 HAS SOPS 34468 HAS SOUS 21293 HAS SOUPS 14016 WITH SCORE 14110.084
AT ITER 9798 NEW BEST:: SOT 216637 SOS 94081 HAS SOPS 34464 HAS SOUS 21290 HAS SOUPS 14012 WITH SCORE 14106.081
AT ITER 9825 NEW BEST:: SOT 216599 SOS 94043 HAS SOPS 34410 HAS SOUS 21236 HAS SOUPS 13958 WITH SCORE 14052.043
AT ITER 9826 NEW BEST:: SOT 216597 SOS 94040 HAS SOPS 34407 HAS SOUS 21234 HAS SOUPS 13956 WITH SCORE 14050.04
AT ITER 9857 NEW BEST:: SOT 216597 SOS 94035 HAS SOPS 34394 HAS SOUS 21234 HAS SOUPS 13955 WITH SCORE 14049.035
AT ITER 9875 NEW BEST:: SOT 216597 SOS 94029 HAS SOPS 34372 HAS SOUS 21232 HAS SOUPS 13951 WITH SCORE 14045.029
AT ITER 9878 NEW BEST:: SOT 216506 SOS 94013 HAS SOPS 34354 HAS SOUS 21254 HAS SOUPS 13950 WITH SCORE 14044.013
AT ITER 9887 NEW BEST:: SOT 216497 SOS 94023 HAS SOPS 34332 HAS SOUS 21247 HAS SOUPS 13939 WITH SCORE 14033.023
AT ITER 9919 NEW BEST:: SOT 216463 SOS 93996 HAS SOPS 33935 HAS SOUS 21245 HAS SOUPS 13893 WITH SCORE 13986.996
AT ITER 9954 NEW BEST:: SOT 216457 SOS 93990 HAS SOPS 33929 HAS SOUS 21239 HAS SOUPS 13887 WITH SCORE 13980.99
AT ITER 9968 NEW BEST:: SOT 216449 SOS 93978 HAS SOPS 33917 HAS SOUS 21211 HAS SOUPS 13859 WITH SCORE 13952.978
AT ITER 9988 NEW BEST:: SOT 216020 SOS 95015 HAS SOPS 33909 HAS SOUS 21278 HAS SOUPS 13851 WITH SCORE 13946.015
AT ITER 9995 NEW BEST:: SOT 215999 SOS 94970 HAS SOPS 33890 HAS SOUS 21223 HAS SOUPS 13809 WITH SCORE 13903.97

BK_STOP 1678315434647

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 369 Killed ${SMART}/smart ${INPUT_SM}

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

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