Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470100875.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVs-PT-040A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470100875
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.4K May 14 02:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 02:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 19:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 19:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 14:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 09:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 09:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 256K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-00
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-01
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-02
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-03
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-04
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-05
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-06
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-07
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-08
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-09
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-10
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-11
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-12
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-13
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-14
FORMULA_NAME ShieldRVs-PT-040A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590453762163

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 040A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 563 places, 763 transitions, 3680 arcs.
AT ITER 0 NEW BEST:: SOT 322742 SOS 276836 HAS SOPS 276836 HAS SOUS 224624 HAS SOUPS 224624 WITH SCORE 224900.836
AT ITER 4 NEW BEST:: SOT 322593 SOS 275879 HAS SOPS 275879 HAS SOUS 223591 HAS SOUPS 223591 WITH SCORE 223866.879
AT ITER 6 NEW BEST:: SOT 322522 SOS 275808 HAS SOPS 275808 HAS SOUS 223520 HAS SOUPS 223520 WITH SCORE 223795.808
AT ITER 9 NEW BEST:: SOT 322495 SOS 275029 HAS SOPS 275029 HAS SOUS 222160 HAS SOUPS 222160 WITH SCORE 222435.029
AT ITER 11 NEW BEST:: SOT 322829 SOS 274368 HAS SOPS 274368 HAS SOUS 221430 HAS SOUPS 221430 WITH SCORE 221704.368
AT ITER 14 NEW BEST:: SOT 322627 SOS 273489 HAS SOPS 273489 HAS SOUS 220538 HAS SOUPS 220538 WITH SCORE 220811.489
AT ITER 15 NEW BEST:: SOT 322423 SOS 272400 HAS SOPS 272400 HAS SOUS 219245 HAS SOUPS 219245 WITH SCORE 219517.4
AT ITER 16 NEW BEST:: SOT 322397 SOS 272374 HAS SOPS 272374 HAS SOUS 219219 HAS SOUPS 219219 WITH SCORE 219491.374
AT ITER 21 NEW BEST:: SOT 322210 SOS 272185 HAS SOPS 272185 HAS SOUS 219028 HAS SOUPS 219028 WITH SCORE 219300.185
AT ITER 24 NEW BEST:: SOT 322200 SOS 272135 HAS SOPS 272135 HAS SOUS 218957 HAS SOUPS 218957 WITH SCORE 219229.135
AT ITER 25 NEW BEST:: SOT 322200 SOS 270983 HAS SOPS 270983 HAS SOUS 218614 HAS SOUPS 218614 WITH SCORE 218884.983
AT ITER 26 NEW BEST:: SOT 322147 SOS 270497 HAS SOPS 270497 HAS SOUS 218273 HAS SOUPS 218273 WITH SCORE 218543.497
AT ITER 27 NEW BEST:: SOT 322032 SOS 269706 HAS SOPS 269706 HAS SOUS 217486 HAS SOUPS 217486 WITH SCORE 217755.706
AT ITER 29 NEW BEST:: SOT 321798 SOS 268770 HAS SOPS 268770 HAS SOUS 216081 HAS SOUPS 216081 WITH SCORE 216349.77
AT ITER 32 NEW BEST:: SOT 322052 SOS 268419 HAS SOPS 268419 HAS SOUS 215130 HAS SOUPS 215130 WITH SCORE 215398.419
AT ITER 34 NEW BEST:: SOT 321868 SOS 268096 HAS SOPS 268096 HAS SOUS 214975 HAS SOUPS 214975 WITH SCORE 215243.096
AT ITER 36 NEW BEST:: SOT 321987 SOS 266922 HAS SOPS 266922 HAS SOUS 213816 HAS SOUPS 213816 WITH SCORE 214082.922
AT ITER 37 NEW BEST:: SOT 321986 SOS 266684 HAS SOPS 266684 HAS SOUS 213692 HAS SOUPS 213692 WITH SCORE 213958.684
AT ITER 38 NEW BEST:: SOT 321842 SOS 266540 HAS SOPS 266540 HAS SOUS 213548 HAS SOUPS 213548 WITH SCORE 213814.54
AT ITER 42 NEW BEST:: SOT 322181 SOS 266326 HAS SOPS 266326 HAS SOUS 213228 HAS SOUPS 213228 WITH SCORE 213494.326
AT ITER 44 NEW BEST:: SOT 322040 SOS 264911 HAS SOPS 264911 HAS SOUS 212217 HAS SOUPS 212217 WITH SCORE 212481.911
AT ITER 45 NEW BEST:: SOT 322040 SOS 264383 HAS SOPS 264383 HAS SOUS 211697 HAS SOUPS 211697 WITH SCORE 211961.383
AT ITER 48 NEW BEST:: SOT 321840 SOS 263783 HAS SOPS 263783 HAS SOUS 210896 HAS SOUPS 210896 WITH SCORE 211159.783
AT ITER 54 NEW BEST:: SOT 321593 SOS 263536 HAS SOPS 263536 HAS SOUS 210649 HAS SOUPS 210649 WITH SCORE 210912.536
AT ITER 56 NEW BEST:: SOT 321610 SOS 263563 HAS SOPS 263563 HAS SOUS 210565 HAS SOUPS 210565 WITH SCORE 210828.563
AT ITER 60 NEW BEST:: SOT 321395 SOS 263348 HAS SOPS 263348 HAS SOUS 210348 HAS SOUPS 210348 WITH SCORE 210611.348
AT ITER 61 NEW BEST:: SOT 321395 SOS 263283 HAS SOPS 263283 HAS SOUS 210309 HAS SOUPS 210309 WITH SCORE 210572.283
AT ITER 63 NEW BEST:: SOT 321332 SOS 263230 HAS SOPS 263230 HAS SOUS 210275 HAS SOUPS 210275 WITH SCORE 210538.23
AT ITER 68 NEW BEST:: SOT 321311 SOS 263134 HAS SOPS 263134 HAS SOUS 210169 HAS SOUPS 210169 WITH SCORE 210432.134
AT ITER 70 NEW BEST:: SOT 321250 SOS 263073 HAS SOPS 263073 HAS SOUS 210048 HAS SOUPS 210048 WITH SCORE 210311.073
AT ITER 72 NEW BEST:: SOT 321196 SOS 262641 HAS SOPS 262641 HAS SOUS 209603 HAS SOUPS 209603 WITH SCORE 209865.641
AT ITER 76 NEW BEST:: SOT 321422 SOS 262457 HAS SOPS 262457 HAS SOUS 209244 HAS SOUPS 209244 WITH SCORE 209506.457
AT ITER 80 NEW BEST:: SOT 321183 SOS 262218 HAS SOPS 262218 HAS SOUS 208999 HAS SOUPS 208999 WITH SCORE 209261.218
AT ITER 83 NEW BEST:: SOT 321171 SOS 262213 HAS SOPS 262213 HAS SOUS 208996 HAS SOUPS 208996 WITH SCORE 209258.213
AT ITER 84 NEW BEST:: SOT 321165 SOS 262189 HAS SOPS 262189 HAS SOUS 208966 HAS SOUPS 208966 WITH SCORE 209228.189
AT ITER 87 NEW BEST:: SOT 321165 SOS 262269 HAS SOPS 262269 HAS SOUS 208922 HAS SOUPS 208922 WITH SCORE 209184.269
AT ITER 90 NEW BEST:: SOT 321160 SOS 262186 HAS SOPS 262186 HAS SOUS 208840 HAS SOUPS 208840 WITH SCORE 209102.186
AT ITER 92 NEW BEST:: SOT 321041 SOS 262063 HAS SOPS 262063 HAS SOUS 208696 HAS SOUPS 208696 WITH SCORE 208958.063
AT ITER 93 NEW BEST:: SOT 320866 SOS 261278 HAS SOPS 261278 HAS SOUS 207999 HAS SOUPS 207999 WITH SCORE 208260.278
AT ITER 94 NEW BEST:: SOT 320866 SOS 261018 HAS SOPS 261018 HAS SOUS 207910 HAS SOUPS 207910 WITH SCORE 208171.018
AT ITER 95 NEW BEST:: SOT 320863 SOS 261014 HAS SOPS 261014 HAS SOUS 207905 HAS SOUPS 207905 WITH SCORE 208166.014
AT ITER 97 NEW BEST:: SOT 320523 SOS 259185 HAS SOPS 259185 HAS SOUS 206303 HAS SOUPS 206303 WITH SCORE 206562.185
AT ITER 98 NEW BEST:: SOT 320106 SOS 258807 HAS SOPS 258807 HAS SOUS 205839 HAS SOUPS 205839 WITH SCORE 206097.807
AT ITER 105 NEW BEST:: SOT 319918 SOS 257003 HAS SOPS 257003 HAS SOUS 204477 HAS SOUPS 204477 WITH SCORE 204734.003
AT ITER 106 NEW BEST:: SOT 319684 SOS 256800 HAS SOPS 256800 HAS SOUS 204305 HAS SOUPS 204305 WITH SCORE 204561.8
AT ITER 109 NEW BEST:: SOT 319684 SOS 256834 HAS SOPS 256834 HAS SOUS 204284 HAS SOUPS 204284 WITH SCORE 204540.834
AT ITER 111 NEW BEST:: SOT 319684 SOS 256871 HAS SOPS 256871 HAS SOUS 204255 HAS SOUPS 204255 WITH SCORE 204511.871
AT ITER 116 NEW BEST:: SOT 319604 SOS 256774 HAS SOPS 256774 HAS SOUS 204141 HAS SOUPS 204141 WITH SCORE 204397.774
AT ITER 119 NEW BEST:: SOT 319502 SOS 256672 HAS SOPS 256672 HAS SOUS 204038 HAS SOUPS 204038 WITH SCORE 204294.672
AT ITER 120 NEW BEST:: SOT 319389 SOS 256036 HAS SOPS 256036 HAS SOUS 203561 HAS SOUPS 203561 WITH SCORE 203817.036
AT ITER 123 NEW BEST:: SOT 319355 SOS 255821 HAS SOPS 255821 HAS SOUS 203392 HAS SOUPS 203392 WITH SCORE 203647.821
AT ITER 126 NEW BEST:: SOT 319280 SOS 255742 HAS SOPS 255742 HAS SOUS 203315 HAS SOUPS 203315 WITH SCORE 203570.742
AT ITER 127 NEW BEST:: SOT 318988 SOS 255358 HAS SOPS 255358 HAS SOUS 202931 HAS SOUPS 202931 WITH SCORE 203186.358
AT ITER 128 NEW BEST:: SOT 318775 SOS 254396 HAS SOPS 254396 HAS SOUS 201225 HAS SOUPS 201225 WITH SCORE 201479.396
AT ITER 129 NEW BEST:: SOT 318152 SOS 253773 HAS SOPS 253773 HAS SOUS 200602 HAS SOUPS 200602 WITH SCORE 200855.773
AT ITER 130 NEW BEST:: SOT 318152 SOS 253769 HAS SOPS 253769 HAS SOUS 200559 HAS SOUPS 200559 WITH SCORE 200812.769
AT ITER 131 NEW BEST:: SOT 318591 SOS 254101 HAS SOPS 254101 HAS SOUS 200490 HAS SOUPS 200490 WITH SCORE 200744.101
AT ITER 132 NEW BEST:: SOT 318548 SOS 253775 HAS SOPS 253775 HAS SOUS 200212 HAS SOUPS 200212 WITH SCORE 200465.775
AT ITER 135 NEW BEST:: SOT 318687 SOS 253512 HAS SOPS 253512 HAS SOUS 200067 HAS SOUPS 200067 WITH SCORE 200320.512
AT ITER 138 NEW BEST:: SOT 318662 SOS 253378 HAS SOPS 253378 HAS SOUS 199847 HAS SOUPS 199847 WITH SCORE 200100.378
AT ITER 147 NEW BEST:: SOT 318593 SOS 253309 HAS SOPS 253309 HAS SOUS 199778 HAS SOUPS 199778 WITH SCORE 200031.309
AT ITER 149 NEW BEST:: SOT 318103 SOS 252760 HAS SOPS 252760 HAS SOUS 199183 HAS SOUPS 199183 WITH SCORE 199435.76
AT ITER 150 NEW BEST:: SOT 318031 SOS 252688 HAS SOPS 252688 HAS SOUS 199111 HAS SOUPS 199111 WITH SCORE 199363.688
AT ITER 154 NEW BEST:: SOT 318031 SOS 253037 HAS SOPS 253037 HAS SOUS 199096 HAS SOUPS 199096 WITH SCORE 199349.037
AT ITER 155 NEW BEST:: SOT 318031 SOS 252987 HAS SOPS 252987 HAS SOUS 199088 HAS SOUPS 199088 WITH SCORE 199340.987
AT ITER 158 NEW BEST:: SOT 317873 SOS 252653 HAS SOPS 252653 HAS SOUS 198791 HAS SOUPS 198791 WITH SCORE 199043.653
AT ITER 161 NEW BEST:: SOT 317869 SOS 252589 HAS SOPS 252589 HAS SOUS 198725 HAS SOUPS 198725 WITH SCORE 198977.589
AT ITER 164 NEW BEST:: SOT 317869 SOS 252410 HAS SOPS 252410 HAS SOUS 198666 HAS SOUPS 198666 WITH SCORE 198918.41
AT ITER 167 NEW BEST:: SOT 317804 SOS 252282 HAS SOPS 252282 HAS SOUS 198534 HAS SOUPS 198534 WITH SCORE 198786.282
AT ITER 168 NEW BEST:: SOT 317684 SOS 252018 HAS SOPS 252018 HAS SOUS 198266 HAS SOUPS 198266 WITH SCORE 198518.018
AT ITER 173 NEW BEST:: SOT 317684 SOS 251775 HAS SOPS 251775 HAS SOUS 197574 HAS SOUPS 197574 WITH SCORE 197825.775
AT ITER 180 NEW BEST:: SOT 317515 SOS 251606 HAS SOPS 251606 HAS SOUS 197405 HAS SOUPS 197405 WITH SCORE 197656.606
AT ITER 181 NEW BEST:: SOT 317318 SOS 250664 HAS SOPS 250664 HAS SOUS 196960 HAS SOUPS 196960 WITH SCORE 197210.664
AT ITER 183 NEW BEST:: SOT 317472 SOS 250319 HAS SOPS 250319 HAS SOUS 196582 HAS SOUPS 196582 WITH SCORE 196832.319
AT ITER 184 NEW BEST:: SOT 317331 SOS 249530 HAS SOPS 249530 HAS SOUS 196024 HAS SOUPS 196024 WITH SCORE 196273.53
AT ITER 187 NEW BEST:: SOT 317218 SOS 249244 HAS SOPS 249244 HAS SOUS 195701 HAS SOUPS 195701 WITH SCORE 195950.244
AT ITER 195 NEW BEST:: SOT 317212 SOS 249214 HAS SOPS 249214 HAS SOUS 195659 HAS SOUPS 195659 WITH SCORE 195908.214
AT ITER 197 NEW BEST:: SOT 317064 SOS 248474 HAS SOPS 248474 HAS SOUS 195510 HAS SOUPS 195510 WITH SCORE 195758.474
AT ITER 198 NEW BEST:: SOT 317057 SOS 248453 HAS SOPS 248453 HAS SOUS 195481 HAS SOUPS 195481 WITH SCORE 195729.453
AT ITER 199 NEW BEST:: SOT 316682 SOS 248108 HAS SOPS 248108 HAS SOUS 195166 HAS SOUPS 195166 WITH SCORE 195414.108
AT ITER 200 NEW BEST:: SOT 316682 SOS 247134 HAS SOPS 247134 HAS SOUS 194408 HAS SOUPS 194408 WITH SCORE 194655.134
AT ITER 206 NEW BEST:: SOT 316489 SOS 245721 HAS SOPS 245721 HAS SOUS 193517 HAS SOUPS 193517 WITH SCORE 193762.721
AT ITER 208 NEW BEST:: SOT 316489 SOS 245713 HAS SOPS 245713 HAS SOUS 193505 HAS SOUPS 193505 WITH SCORE 193750.713
AT ITER 210 NEW BEST:: SOT 316316 SOS 245537 HAS SOPS 245537 HAS SOUS 193326 HAS SOUPS 193326 WITH SCORE 193571.537
AT ITER 213 NEW BEST:: SOT 316250 SOS 245471 HAS SOPS 245471 HAS SOUS 193260 HAS SOUPS 193260 WITH SCORE 193505.471
AT ITER 214 NEW BEST:: SOT 316405 SOS 244916 HAS SOPS 244916 HAS SOUS 192807 HAS SOUPS 192807 WITH SCORE 193051.916
AT ITER 216 NEW BEST:: SOT 316396 SOS 244907 HAS SOPS 244907 HAS SOUS 192798 HAS SOUPS 192798 WITH SCORE 193042.907
AT ITER 217 NEW BEST:: SOT 316560 SOS 244083 HAS SOPS 244083 HAS SOUS 192377 HAS SOUPS 192377 WITH SCORE 192621.083
AT ITER 218 NEW BEST:: SOT 317037 SOS 243535 HAS SOPS 243535 HAS SOUS 191813 HAS SOUPS 191813 WITH SCORE 192056.535
AT ITER 219 NEW BEST:: SOT 316700 SOS 243063 HAS SOPS 243063 HAS SOUS 191408 HAS SOUPS 191408 WITH SCORE 191651.063
AT ITER 220 NEW BEST:: SOT 316738 SOS 241691 HAS SOPS 241691 HAS SOUS 191258 HAS SOUPS 191258 WITH SCORE 191499.691
AT ITER 227 NEW BEST:: SOT 316659 SOS 241318 HAS SOPS 241318 HAS SOUS 190986 HAS SOUPS 190986 WITH SCORE 191227.318
AT ITER 229 NEW BEST:: SOT 316651 SOS 241306 HAS SOPS 241306 HAS SOUS 190985 HAS SOUPS 190985 WITH SCORE 191226.306
AT ITER 230 NEW BEST:: SOT 316523 SOS 239859 HAS SOPS 239859 HAS SOUS 190421 HAS SOUPS 190421 WITH SCORE 190660.859
AT ITER 232 NEW BEST:: SOT 316430 SOS 239766 HAS SOPS 239766 HAS SOUS 190328 HAS SOUPS 190328 WITH SCORE 190567.766
AT ITER 234 NEW BEST:: SOT 316364 SOS 238740 HAS SOPS 238740 HAS SOUS 190321 HAS SOUPS 190321 WITH SCORE 190559.74
AT ITER 238 NEW BEST:: SOT 316520 SOS 239167 HAS SOPS 239167 HAS SOUS 190188 HAS SOUPS 190188 WITH SCORE 190427.167
AT ITER 239 NEW BEST:: SOT 316512 SOS 238515 HAS SOPS 238515 HAS SOUS 189734 HAS SOUPS 189734 WITH SCORE 189972.515
AT ITER 242 NEW BEST:: SOT 316529 SOS 238532 HAS SOPS 238532 HAS SOUS 189659 HAS SOUPS 189659 WITH SCORE 189897.532
AT ITER 246 NEW BEST:: SOT 316438 SOS 238485 HAS SOPS 238485 HAS SOUS 189605 HAS SOUPS 189605 WITH SCORE 189843.485
AT ITER 248 NEW BEST:: SOT 316388 SOS 238010 HAS SOPS 238010 HAS SOUS 189097 HAS SOUPS 189097 WITH SCORE 189335.01
AT ITER 249 NEW BEST:: SOT 316290 SOS 237814 HAS SOPS 237814 HAS SOUS 188742 HAS SOUPS 188742 WITH SCORE 188979.814
AT ITER 250 NEW BEST:: SOT 316255 SOS 237639 HAS SOPS 237639 HAS SOUS 188587 HAS SOUPS 188587 WITH SCORE 188824.639
AT ITER 266 NEW BEST:: SOT 316131 SOS 237354 HAS SOPS 237354 HAS SOUS 188302 HAS SOUPS 188302 WITH SCORE 188539.354
AT ITER 271 NEW BEST:: SOT 316044 SOS 237267 HAS SOPS 237267 HAS SOUS 188297 HAS SOUPS 188297 WITH SCORE 188534.267
AT ITER 276 NEW BEST:: SOT 315966 SOS 237189 HAS SOPS 237189 HAS SOUS 188218 HAS SOUPS 188218 WITH SCORE 188455.189
AT ITER 290 NEW BEST:: SOT 315904 SOS 236060 HAS SOPS 236060 HAS SOUS 186851 HAS SOUPS 186851 WITH SCORE 187087.06
AT ITER 297 NEW BEST:: SOT 315708 SOS 235864 HAS SOPS 235864 HAS SOUS 186654 HAS SOUPS 186654 WITH SCORE 186889.864
AT ITER 299 NEW BEST:: SOT 315558 SOS 235494 HAS SOPS 235494 HAS SOUS 186415 HAS SOUPS 186415 WITH SCORE 186650.494
AT ITER 300 NEW BEST:: SOT 315558 SOS 235368 HAS SOPS 235368 HAS SOUS 186048 HAS SOUPS 186048 WITH SCORE 186283.368
AT ITER 301 NEW BEST:: SOT 315442 SOS 235019 HAS SOPS 235019 HAS SOUS 185699 HAS SOUPS 185699 WITH SCORE 185934.019
AT ITER 307 NEW BEST:: SOT 315302 SOS 234835 HAS SOPS 234835 HAS SOUS 185515 HAS SOUPS 185515 WITH SCORE 185749.835
AT ITER 309 NEW BEST:: SOT 315246 SOS 234779 HAS SOPS 234779 HAS SOUS 185458 HAS SOUPS 185458 WITH SCORE 185692.779
AT ITER 312 NEW BEST:: SOT 315467 SOS 233915 HAS SOPS 233915 HAS SOUS 185153 HAS SOUPS 185153 WITH SCORE 185386.915
AT ITER 321 NEW BEST:: SOT 315301 SOS 232898 HAS SOPS 232898 HAS SOUS 184605 HAS SOUPS 184605 WITH SCORE 184837.898
AT ITER 324 NEW BEST:: SOT 315058 SOS 232639 HAS SOPS 232639 HAS SOUS 184348 HAS SOUPS 184348 WITH SCORE 184580.639
AT ITER 326 NEW BEST:: SOT 315010 SOS 232545 HAS SOPS 232545 HAS SOUS 184205 HAS SOUPS 184205 WITH SCORE 184437.545
AT ITER 327 NEW BEST:: SOT 314995 SOS 232824 HAS SOPS 232824 HAS SOUS 184089 HAS SOUPS 184089 WITH SCORE 184321.824
AT ITER 331 NEW BEST:: SOT 314841 SOS 232576 HAS SOPS 232576 HAS SOUS 183922 HAS SOUPS 183922 WITH SCORE 184154.576
AT ITER 333 NEW BEST:: SOT 314715 SOS 231706 HAS SOPS 231706 HAS SOUS 183733 HAS SOUPS 183733 WITH SCORE 183964.706
AT ITER 334 NEW BEST:: SOT 314727 SOS 231743 HAS SOPS 231743 HAS SOUS 183686 HAS SOUPS 183686 WITH SCORE 183917.743
AT ITER 336 NEW BEST:: SOT 314718 SOS 231743 HAS SOPS 231743 HAS SOUS 183676 HAS SOUPS 183676 WITH SCORE 183907.743
AT ITER 339 NEW BEST:: SOT 314728 SOS 231718 HAS SOPS 231718 HAS SOUS 183574 HAS SOUPS 183574 WITH SCORE 183805.718
AT ITER 342 NEW BEST:: SOT 314674 SOS 231664 HAS SOPS 231664 HAS SOUS 183531 HAS SOUPS 183531 WITH SCORE 183762.664
AT ITER 344 NEW BEST:: SOT 314947 SOS 231375 HAS SOPS 231375 HAS SOUS 182741 HAS SOUPS 182741 WITH SCORE 182972.375
AT ITER 347 NEW BEST:: SOT 314721 SOS 231302 HAS SOPS 231302 HAS SOUS 182668 HAS SOUPS 182668 WITH SCORE 182899.302
AT ITER 349 NEW BEST:: SOT 314594 SOS 230595 HAS SOPS 230595 HAS SOUS 182558 HAS SOUPS 182558 WITH SCORE 182788.595
AT ITER 352 NEW BEST:: SOT 314266 SOS 230218 HAS SOPS 230218 HAS SOUS 182017 HAS SOUPS 182017 WITH SCORE 182247.218
AT ITER 353 NEW BEST:: SOT 314266 SOS 229969 HAS SOPS 229969 HAS SOUS 181825 HAS SOUPS 181825 WITH SCORE 182054.969
AT ITER 355 NEW BEST:: SOT 314142 SOS 229775 HAS SOPS 229775 HAS SOUS 181636 HAS SOUPS 181636 WITH SCORE 181865.775
AT ITER 364 NEW BEST:: SOT 313954 SOS 229596 HAS SOPS 229596 HAS SOUS 181473 HAS SOUPS 181473 WITH SCORE 181702.596
AT ITER 366 NEW BEST:: SOT 313954 SOS 229552 HAS SOPS 229552 HAS SOUS 181421 HAS SOUPS 181421 WITH SCORE 181650.552
AT ITER 368 NEW BEST:: SOT 313640 SOS 229238 HAS SOPS 229238 HAS SOUS 181107 HAS SOUPS 181107 WITH SCORE 181336.238
AT ITER 369 NEW BEST:: SOT 313737 SOS 229364 HAS SOPS 229364 HAS SOUS 180781 HAS SOUPS 180781 WITH SCORE 181010.364
AT ITER 372 NEW BEST:: SOT 313737 SOS 229199 HAS SOPS 229199 HAS SOUS 180763 HAS SOUPS 180763 WITH SCORE 180992.199
AT ITER 374 NEW BEST:: SOT 313861 SOS 229068 HAS SOPS 229068 HAS SOUS 180381 HAS SOUPS 180381 WITH SCORE 180610.068
AT ITER 375 NEW BEST:: SOT 314549 SOS 228725 HAS SOPS 228725 HAS SOUS 180124 HAS SOUPS 180124 WITH SCORE 180352.725
AT ITER 379 NEW BEST:: SOT 314545 SOS 228516 HAS SOPS 228516 HAS SOUS 179924 HAS SOUPS 179924 WITH SCORE 180152.516
AT ITER 382 NEW BEST:: SOT 314542 SOS 228512 HAS SOPS 228512 HAS SOUS 179920 HAS SOUPS 179920 WITH SCORE 180148.512
AT ITER 385 NEW BEST:: SOT 314031 SOS 228001 HAS SOPS 228001 HAS SOUS 179409 HAS SOUPS 179409 WITH SCORE 179637.001
AT ITER 386 NEW BEST:: SOT 314086 SOS 227413 HAS SOPS 227413 HAS SOUS 179071 HAS SOUPS 179071 WITH SCORE 179298.413
AT ITER 387 NEW BEST:: SOT 314030 SOS 227297 HAS SOPS 227297 HAS SOUS 178847 HAS SOUPS 178847 WITH SCORE 179074.297
AT ITER 392 NEW BEST:: SOT 314030 SOS 226858 HAS SOPS 226858 HAS SOUS 178807 HAS SOUPS 178807 WITH SCORE 179033.858
AT ITER 395 NEW BEST:: SOT 313945 SOS 226634 HAS SOPS 226634 HAS SOUS 178413 HAS SOUPS 178413 WITH SCORE 178639.634
AT ITER 397 NEW BEST:: SOT 313661 SOS 226341 HAS SOPS 226341 HAS SOUS 178120 HAS SOUPS 178120 WITH SCORE 178346.341
AT ITER 398 NEW BEST:: SOT 313569 SOS 226356 HAS SOPS 226356 HAS SOUS 177886 HAS SOUPS 177886 WITH SCORE 178112.356
AT ITER 402 NEW BEST:: SOT 313531 SOS 226140 HAS SOPS 226140 HAS SOUS 177698 HAS SOUPS 177698 WITH SCORE 177924.14
AT ITER 407 NEW BEST:: SOT 313621 SOS 226335 HAS SOPS 226335 HAS SOUS 177697 HAS SOUPS 177697 WITH SCORE 177923.335
AT ITER 410 NEW BEST:: SOT 313121 SOS 225703 HAS SOPS 225703 HAS SOUS 176804 HAS SOUPS 176804 WITH SCORE 177029.703
AT ITER 416 NEW BEST:: SOT 312979 SOS 225561 HAS SOPS 225561 HAS SOUS 176662 HAS SOUPS 176662 WITH SCORE 176887.561
AT ITER 419 NEW BEST:: SOT 312633 SOS 224944 HAS SOPS 224944 HAS SOUS 176091 HAS SOUPS 176091 WITH SCORE 176315.944
AT ITER 421 NEW BEST:: SOT 312633 SOS 224980 HAS SOPS 224980 HAS SOUS 176079 HAS SOUPS 176079 WITH SCORE 176303.98
AT ITER 423 NEW BEST:: SOT 312452 SOS 224799 HAS SOPS 224799 HAS SOUS 175898 HAS SOUPS 175898 WITH SCORE 176122.799
AT ITER 433 NEW BEST:: SOT 312452 SOS 224864 HAS SOPS 224864 HAS SOUS 175307 HAS SOUPS 175307 WITH SCORE 175531.864
AT ITER 434 NEW BEST:: SOT 312445 SOS 224965 HAS SOPS 224965 HAS SOUS 175256 HAS SOUPS 175256 WITH SCORE 175480.965
AT ITER 446 NEW BEST:: SOT 312090 SOS 224610 HAS SOPS 224610 HAS SOUS 174900 HAS SOUPS 174900 WITH SCORE 175124.61
AT ITER 451 NEW BEST:: SOT 312018 SOS 223899 HAS SOPS 223899 HAS SOUS 174538 HAS SOUPS 174538 WITH SCORE 174761.899
AT ITER 453 NEW BEST:: SOT 312054 SOS 223907 HAS SOPS 223907 HAS SOUS 174500 HAS SOUPS 174500 WITH SCORE 174723.907
AT ITER 457 NEW BEST:: SOT 311992 SOS 223845 HAS SOPS 223845 HAS SOUS 174438 HAS SOUPS 174438 WITH SCORE 174661.845
AT ITER 465 NEW BEST:: SOT 311712 SOS 222678 HAS SOPS 222678 HAS SOUS 173279 HAS SOUPS 173279 WITH SCORE 173501.678
AT ITER 470 NEW BEST:: SOT 311544 SOS 222510 HAS SOPS 222510 HAS SOUS 173064 HAS SOUPS 173064 WITH SCORE 173286.51
AT ITER 477 NEW BEST:: SOT 311076 SOS 222042 HAS SOPS 222042 HAS SOUS 172594 HAS SOUPS 172594 WITH SCORE 172816.042
AT ITER 482 NEW BEST:: SOT 310974 SOS 221863 HAS SOPS 221863 HAS SOUS 172411 HAS SOUPS 172411 WITH SCORE 172632.863
AT ITER 487 NEW BEST:: SOT 311004 SOS 221893 HAS SOPS 221893 HAS SOUS 172105 HAS SOUPS 172105 WITH SCORE 172326.893
AT ITER 490 NEW BEST:: SOT 311004 SOS 221888 HAS SOPS 221888 HAS SOUS 172062 HAS SOUPS 172062 WITH SCORE 172283.888
AT ITER 492 NEW BEST:: SOT 310983 SOS 221867 HAS SOPS 221867 HAS SOUS 172041 HAS SOUPS 172041 WITH SCORE 172262.867
AT ITER 496 NEW BEST:: SOT 310881 SOS 221764 HAS SOPS 221764 HAS SOUS 171937 HAS SOUPS 171937 WITH SCORE 172158.764
AT ITER 500 NEW BEST:: SOT 310857 SOS 221724 HAS SOPS 221724 HAS SOUS 171897 HAS SOUPS 171897 WITH SCORE 172118.724
AT ITER 502 NEW BEST:: SOT 310857 SOS 220906 HAS SOPS 220906 HAS SOUS 171702 HAS SOUPS 171702 WITH SCORE 171922.906
AT ITER 522 NEW BEST:: SOT 310245 SOS 220026 HAS SOPS 220026 HAS SOUS 170908 HAS SOUPS 170908 WITH SCORE 171128.026
AT ITER 525 NEW BEST:: SOT 310262 SOS 219899 HAS SOPS 219899 HAS SOUS 170905 HAS SOUPS 170905 WITH SCORE 171124.899
AT ITER 534 NEW BEST:: SOT 310262 SOS 219755 HAS SOPS 219755 HAS SOUS 170833 HAS SOUPS 170833 WITH SCORE 171052.755
AT ITER 536 NEW BEST:: SOT 310199 SOS 219637 HAS SOPS 219637 HAS SOUS 170715 HAS SOUPS 170715 WITH SCORE 170934.637
AT ITER 537 NEW BEST:: SOT 309957 SOS 219409 HAS SOPS 219409 HAS SOUS 170515 HAS SOUPS 170515 WITH SCORE 170734.409
AT ITER 538 NEW BEST:: SOT 309739 SOS 219191 HAS SOPS 219191 HAS SOUS 170297 HAS SOUPS 170297 WITH SCORE 170516.191
AT ITER 545 NEW BEST:: SOT 309673 SOS 218880 HAS SOPS 218880 HAS SOUS 170269 HAS SOUPS 170269 WITH SCORE 170487.88
AT ITER 547 NEW BEST:: SOT 309539 SOS 218612 HAS SOPS 218612 HAS SOUS 169867 HAS SOUPS 169867 WITH SCORE 170085.612
AT ITER 550 NEW BEST:: SOT 309420 SOS 218434 HAS SOPS 218434 HAS SOUS 169667 HAS SOUPS 169667 WITH SCORE 169885.434
AT ITER 554 NEW BEST:: SOT 309404 SOS 218418 HAS SOPS 218418 HAS SOUS 169651 HAS SOUPS 169651 WITH SCORE 169869.418
AT ITER 555 NEW BEST:: SOT 309404 SOS 218237 HAS SOPS 218237 HAS SOUS 169568 HAS SOUPS 169568 WITH SCORE 169786.237
AT ITER 568 NEW BEST:: SOT 309177 SOS 217574 HAS SOPS 217574 HAS SOUS 169159 HAS SOUPS 169159 WITH SCORE 169376.574
AT ITER 569 NEW BEST:: SOT 309205 SOS 217666 HAS SOPS 217666 HAS SOUS 169144 HAS SOUPS 169144 WITH SCORE 169361.666
AT ITER 570 NEW BEST:: SOT 309438 SOS 218172 HAS SOPS 218172 HAS SOUS 169047 HAS SOUPS 169047 WITH SCORE 169265.172
AT ITER 571 NEW BEST:: SOT 309036 SOS 218068 HAS SOPS 218068 HAS SOUS 168945 HAS SOUPS 168945 WITH SCORE 169163.068
AT ITER 577 NEW BEST:: SOT 308834 SOS 217824 HAS SOPS 217824 HAS SOUS 168664 HAS SOUPS 168664 WITH SCORE 168881.824
AT ITER 580 NEW BEST:: SOT 308644 SOS 216969 HAS SOPS 216969 HAS SOUS 168382 HAS SOUPS 168382 WITH SCORE 168598.969
AT ITER 583 NEW BEST:: SOT 308658 SOS 216928 HAS SOPS 216928 HAS SOUS 168341 HAS SOUPS 168341 WITH SCORE 168557.928
AT ITER 592 NEW BEST:: SOT 308658 SOS 216907 HAS SOPS 216907 HAS SOUS 168333 HAS SOUPS 168333 WITH SCORE 168549.907
AT ITER 594 NEW BEST:: SOT 308485 SOS 216762 HAS SOPS 216762 HAS SOUS 168311 HAS SOUPS 168311 WITH SCORE 168527.762
AT ITER 596 NEW BEST:: SOT 308436 SOS 216713 HAS SOPS 216713 HAS SOUS 168262 HAS SOUPS 168262 WITH SCORE 168478.713
AT ITER 597 NEW BEST:: SOT 308236 SOS 216381 HAS SOPS 216381 HAS SOUS 167442 HAS SOUPS 167442 WITH SCORE 167658.381
AT ITER 598 NEW BEST:: SOT 308193 SOS 216335 HAS SOPS 216335 HAS SOUS 167387 HAS SOUPS 167387 WITH SCORE 167603.335
AT ITER 599 NEW BEST:: SOT 307759 SOS 215860 HAS SOPS 215860 HAS SOUS 166909 HAS SOUPS 166909 WITH SCORE 167124.86
AT ITER 606 NEW BEST:: SOT 307357 SOS 215263 HAS SOPS 215263 HAS SOUS 166178 HAS SOUPS 166178 WITH SCORE 166393.263
AT ITER 610 NEW BEST:: SOT 307389 SOS 215261 HAS SOPS 215261 HAS SOUS 165741 HAS SOUPS 165741 WITH SCORE 165956.261
AT ITER 611 NEW BEST:: SOT 307164 SOS 215019 HAS SOPS 215019 HAS SOUS 165496 HAS SOUPS 165496 WITH SCORE 165711.019
AT ITER 614 NEW BEST:: SOT 306993 SOS 214995 HAS SOPS 214995 HAS SOUS 165374 HAS SOUPS 165374 WITH SCORE 165588.995
AT ITER 620 NEW BEST:: SOT 307095 SOS 214730 HAS SOPS 214730 HAS SOUS 164943 HAS SOUPS 164943 WITH SCORE 165157.73
AT ITER 621 NEW BEST:: SOT 307027 SOS 213790 HAS SOPS 213790 HAS SOUS 164424 HAS SOUPS 164424 WITH SCORE 164637.79
AT ITER 626 NEW BEST:: SOT 306875 SOS 213693 HAS SOPS 213693 HAS SOUS 164039 HAS SOUPS 164039 WITH SCORE 164252.693
AT ITER 631 NEW BEST:: SOT 306841 SOS 213597 HAS SOPS 213597 HAS SOUS 163949 HAS SOUPS 163949 WITH SCORE 164162.597
AT ITER 633 NEW BEST:: SOT 306760 SOS 213530 HAS SOPS 213530 HAS SOUS 163882 HAS SOUPS 163882 WITH SCORE 164095.53
AT ITER 634 NEW BEST:: SOT 306744 SOS 213615 HAS SOPS 213615 HAS SOUS 163874 HAS SOUPS 163874 WITH SCORE 164087.615
AT ITER 635 NEW BEST:: SOT 306744 SOS 213136 HAS SOPS 213136 HAS SOUS 163442 HAS SOUPS 163442 WITH SCORE 163655.136
AT ITER 636 NEW BEST:: SOT 306720 SOS 213121 HAS SOPS 213121 HAS SOUS 163373 HAS SOUPS 163373 WITH SCORE 163586.121
AT ITER 642 NEW BEST:: SOT 306705 SOS 213035 HAS SOPS 213035 HAS SOUS 163358 HAS SOUPS 163358 WITH SCORE 163571.035
AT ITER 645 NEW BEST:: SOT 306635 SOS 212962 HAS SOPS 212962 HAS SOUS 163260 HAS SOUPS 163260 WITH SCORE 163472.962
AT ITER 647 NEW BEST:: SOT 306201 SOS 211396 HAS SOPS 211396 HAS SOUS 162559 HAS SOUPS 162559 WITH SCORE 162770.396
AT ITER 649 NEW BEST:: SOT 306197 SOS 211392 HAS SOPS 211392 HAS SOUS 162559 HAS SOUPS 162559 WITH SCORE 162770.392
AT ITER 653 NEW BEST:: SOT 306197 SOS 211747 HAS SOPS 211747 HAS SOUS 161876 HAS SOUPS 161876 WITH SCORE 162087.747
AT ITER 658 NEW BEST:: SOT 305330 SOS 210804 HAS SOPS 210804 HAS SOUS 160935 HAS SOUPS 160935 WITH SCORE 161145.804
AT ITER 659 NEW BEST:: SOT 305174 SOS 210104 HAS SOPS 210104 HAS SOUS 160686 HAS SOUPS 160686 WITH SCORE 160896.104
AT ITER 665 NEW BEST:: SOT 305155 SOS 210085 HAS SOPS 210085 HAS SOUS 160667 HAS SOUPS 160667 WITH SCORE 160877.085
AT ITER 669 NEW BEST:: SOT 305032 SOS 209957 HAS SOPS 209957 HAS SOUS 160499 HAS SOUPS 160499 WITH SCORE 160708.957
AT ITER 670 NEW BEST:: SOT 304973 SOS 209386 HAS SOPS 209386 HAS SOUS 160035 HAS SOUPS 160035 WITH SCORE 160244.386
AT ITER 671 NEW BEST:: SOT 304923 SOS 209286 HAS SOPS 209286 HAS SOUS 159985 HAS SOUPS 159985 WITH SCORE 160194.286
AT ITER 674 NEW BEST:: SOT 304499 SOS 208132 HAS SOPS 208132 HAS SOUS 158825 HAS SOUPS 158825 WITH SCORE 159033.132
AT ITER 679 NEW BEST:: SOT 304038 SOS 207969 HAS SOPS 207969 HAS SOUS 158640 HAS SOUPS 158640 WITH SCORE 158847.969
AT ITER 680 NEW BEST:: SOT 304089 SOS 206825 HAS SOPS 206825 HAS SOUS 158252 HAS SOUPS 158252 WITH SCORE 158458.825
AT ITER 685 NEW BEST:: SOT 303949 SOS 206685 HAS SOPS 206685 HAS SOUS 158112 HAS SOUPS 158112 WITH SCORE 158318.685
AT ITER 687 NEW BEST:: SOT 303827 SOS 206563 HAS SOPS 206563 HAS SOUS 157990 HAS SOUPS 157990 WITH SCORE 158196.563
AT ITER 688 NEW BEST:: SOT 303528 SOS 206256 HAS SOPS 206256 HAS SOUS 157710 HAS SOUPS 157710 WITH SCORE 157916.256
AT ITER 698 NEW BEST:: SOT 303571 SOS 206155 HAS SOPS 206155 HAS SOUS 157660 HAS SOUPS 157660 WITH SCORE 157866.155
AT ITER 699 NEW BEST:: SOT 303479 SOS 205949 HAS SOPS 205949 HAS SOUS 157085 HAS SOUPS 157085 WITH SCORE 157290.949
AT ITER 702 NEW BEST:: SOT 303473 SOS 205935 HAS SOPS 205935 HAS SOUS 157069 HAS SOUPS 157069 WITH SCORE 157274.935
AT ITER 704 NEW BEST:: SOT 303036 SOS 205630 HAS SOPS 205630 HAS SOUS 156785 HAS SOUPS 156785 WITH SCORE 156990.63
AT ITER 709 NEW BEST:: SOT 302975 SOS 205658 HAS SOPS 205658 HAS SOUS 156701 HAS SOUPS 156701 WITH SCORE 156906.658
AT ITER 717 NEW BEST:: SOT 302541 SOS 205224 HAS SOPS 205224 HAS SOUS 156332 HAS SOUPS 156332 WITH SCORE 156537.224
AT ITER 719 NEW BEST:: SOT 302490 SOS 205163 HAS SOPS 205163 HAS SOUS 156190 HAS SOUPS 156190 WITH SCORE 156395.163
AT ITER 733 NEW BEST:: SOT 302490 SOS 205167 HAS SOPS 205167 HAS SOUS 156186 HAS SOUPS 156186 WITH SCORE 156391.167
AT ITER 738 NEW BEST:: SOT 302309 SOS 204986 HAS SOPS 204986 HAS SOUS 156078 HAS SOUPS 156078 WITH SCORE 156282.986
AT ITER 742 NEW BEST:: SOT 302226 SOS 204900 HAS SOPS 204900 HAS SOUS 155911 HAS SOUPS 155911 WITH SCORE 156115.9
AT ITER 745 NEW BEST:: SOT 301966 SOS 204640 HAS SOPS 204640 HAS SOUS 155651 HAS SOUPS 155651 WITH SCORE 155855.64
AT ITER 750 NEW BEST:: SOT 301888 SOS 204496 HAS SOPS 204496 HAS SOUS 155424 HAS SOUPS 155424 WITH SCORE 155628.496
AT ITER 756 NEW BEST:: SOT 301831 SOS 204046 HAS SOPS 204046 HAS SOUS 155072 HAS SOUPS 155072 WITH SCORE 155276.046
AT ITER 757 NEW BEST:: SOT 301490 SOS 203639 HAS SOPS 203639 HAS SOUS 154665 HAS SOUPS 154665 WITH SCORE 154868.639
AT ITER 762 NEW BEST:: SOT 301370 SOS 203518 HAS SOPS 203518 HAS SOUS 154393 HAS SOUPS 154393 WITH SCORE 154596.518
AT ITER 769 NEW BEST:: SOT 301297 SOS 203445 HAS SOPS 203445 HAS SOUS 154392 HAS SOUPS 154392 WITH SCORE 154595.445
AT ITER 774 NEW BEST:: SOT 301356 SOS 203292 HAS SOPS 203292 HAS SOUS 154379 HAS SOUPS 154379 WITH SCORE 154582.292
AT ITER 778 NEW BEST:: SOT 301356 SOS 203266 HAS SOPS 203266 HAS SOUS 154300 HAS SOUPS 154300 WITH SCORE 154503.266
AT ITER 786 NEW BEST:: SOT 301279 SOS 203189 HAS SOPS 203189 HAS SOUS 154223 HAS SOUPS 154223 WITH SCORE 154426.189
AT ITER 787 NEW BEST:: SOT 300705 SOS 202685 HAS SOPS 202685 HAS SOUS 153829 HAS SOUPS 153829 WITH SCORE 154031.685
AT ITER 788 NEW BEST:: SOT 300631 SOS 202580 HAS SOPS 202580 HAS SOUS 153673 HAS SOUPS 153673 WITH SCORE 153875.58
AT ITER 790 NEW BEST:: SOT 300631 SOS 202437 HAS SOPS 202437 HAS SOUS 153253 HAS SOUPS 153253 WITH SCORE 153455.437
AT ITER 796 NEW BEST:: SOT 300276 SOS 201668 HAS SOPS 201668 HAS SOUS 152756 HAS SOUPS 152756 WITH SCORE 152957.668
AT ITER 805 NEW BEST:: SOT 300205 SOS 201597 HAS SOPS 201597 HAS SOUS 152685 HAS SOUPS 152685 WITH SCORE 152886.597
AT ITER 806 NEW BEST:: SOT 300178 SOS 201570 HAS SOPS 201570 HAS SOUS 152657 HAS SOUPS 152657 WITH SCORE 152858.57
AT ITER 818 NEW BEST:: SOT 300154 SOS 201561 HAS SOPS 201561 HAS SOUS 152630 HAS SOUPS 152630 WITH SCORE 152831.561
AT ITER 821 NEW BEST:: SOT 300901 SOS 201274 HAS SOPS 201274 HAS SOUS 152270 HAS SOUPS 152270 WITH SCORE 152471.274
AT ITER 826 NEW BEST:: SOT 300840 SOS 201053 HAS SOPS 201053 HAS SOUS 152107 HAS SOUPS 152107 WITH SCORE 152308.053
AT ITER 828 NEW BEST:: SOT 300389 SOS 200201 HAS SOPS 200201 HAS SOUS 151633 HAS SOUPS 151633 WITH SCORE 151833.201
AT ITER 829 NEW BEST:: SOT 300389 SOS 200348 HAS SOPS 200348 HAS SOUS 151563 HAS SOUPS 151563 WITH SCORE 151763.348
AT ITER 830 NEW BEST:: SOT 300389 SOS 200348 HAS SOPS 200348 HAS SOUS 151535 HAS SOUPS 151535 WITH SCORE 151735.348
AT ITER 833 NEW BEST:: SOT 300377 SOS 200336 HAS SOPS 200336 HAS SOUS 151523 HAS SOUPS 151523 WITH SCORE 151723.336
AT ITER 848 NEW BEST:: SOT 300340 SOS 200353 HAS SOPS 200353 HAS SOUS 151486 HAS SOUPS 151486 WITH SCORE 151686.353
AT ITER 867 NEW BEST:: SOT 300211 SOS 199376 HAS SOPS 199376 HAS SOUS 151250 HAS SOUPS 151250 WITH SCORE 151449.376
AT ITER 869 NEW BEST:: SOT 300307 SOS 198708 HAS SOPS 198708 HAS SOUS 150317 HAS SOUPS 150317 WITH SCORE 150515.708
AT ITER 887 NEW BEST:: SOT 300200 SOS 198604 HAS SOPS 198604 HAS SOUS 150047 HAS SOUPS 150047 WITH SCORE 150245.604
AT ITER 888 NEW BEST:: SOT 300193 SOS 198597 HAS SOPS 198597 HAS SOUS 150040 HAS SOUPS 150040 WITH SCORE 150238.597
AT ITER 894 NEW BEST:: SOT 300114 SOS 198350 HAS SOPS 198350 HAS SOUS 149962 HAS SOUPS 149962 WITH SCORE 150160.35
AT ITER 898 NEW BEST:: SOT 300097 SOS 198333 HAS SOPS 198333 HAS SOUS 149961 HAS SOUPS 149961 WITH SCORE 150159.333
AT ITER 901 NEW BEST:: SOT 300085 SOS 198211 HAS SOPS 198211 HAS SOUS 149894 HAS SOUPS 149894 WITH SCORE 150092.211
AT ITER 904 NEW BEST:: SOT 300020 SOS 197936 HAS SOPS 197936 HAS SOUS 149638 HAS SOUPS 149638 WITH SCORE 149835.936
AT ITER 917 NEW BEST:: SOT 299802 SOS 197718 HAS SOPS 197718 HAS SOUS 149487 HAS SOUPS 149487 WITH SCORE 149684.718
AT ITER 922 NEW BEST:: SOT 299802 SOS 197942 HAS SOPS 197942 HAS SOUS 149111 HAS SOUPS 149111 WITH SCORE 149308.942
AT ITER 926 NEW BEST:: SOT 299802 SOS 197930 HAS SOPS 197930 HAS SOUS 149099 HAS SOUPS 149099 WITH SCORE 149296.93
AT ITER 927 NEW BEST:: SOT 299699 SOS 198050 HAS SOPS 198050 HAS SOUS 149035 HAS SOUPS 149035 WITH SCORE 149233.05
AT ITER 932 NEW BEST:: SOT 299699 SOS 198023 HAS SOPS 198023 HAS SOUS 149035 HAS SOUPS 149035 WITH SCORE 149233.023
AT ITER 935 NEW BEST:: SOT 299689 SOS 197742 HAS SOPS 197742 HAS SOUS 148856 HAS SOUPS 148856 WITH SCORE 149053.742
AT ITER 942 NEW BEST:: SOT 299552 SOS 197099 HAS SOPS 197099 HAS SOUS 148824 HAS SOUPS 148824 WITH SCORE 149021.099
AT ITER 943 NEW BEST:: SOT 299499 SOS 196883 HAS SOPS 196883 HAS SOUS 148616 HAS SOUPS 148616 WITH SCORE 148812.883
AT ITER 944 NEW BEST:: SOT 299486 SOS 196870 HAS SOPS 196870 HAS SOUS 148549 HAS SOUPS 148549 WITH SCORE 148745.87
AT ITER 945 NEW BEST:: SOT 299392 SOS 196782 HAS SOPS 196782 HAS SOUS 148455 HAS SOUPS 148455 WITH SCORE 148651.782
AT ITER 948 NEW BEST:: SOT 299392 SOS 196818 HAS SOPS 196818 HAS SOUS 148419 HAS SOUPS 148419 WITH SCORE 148615.818
AT ITER 952 NEW BEST:: SOT 299412 SOS 196797 HAS SOPS 196797 HAS SOUS 148386 HAS SOUPS 148386 WITH SCORE 148582.797
AT ITER 961 NEW BEST:: SOT 299275 SOS 195766 HAS SOPS 195766 HAS SOUS 147576 HAS SOUPS 147576 WITH SCORE 147771.766
AT ITER 963 NEW BEST:: SOT 299012 SOS 195503 HAS SOPS 195503 HAS SOUS 147313 HAS SOUPS 147313 WITH SCORE 147508.503
AT ITER 965 NEW BEST:: SOT 299012 SOS 195487 HAS SOPS 195487 HAS SOUS 147305 HAS SOUPS 147305 WITH SCORE 147500.487
AT ITER 969 NEW BEST:: SOT 298948 SOS 195423 HAS SOPS 195423 HAS SOUS 147241 HAS SOUPS 147241 WITH SCORE 147436.423
AT ITER 971 NEW BEST:: SOT 298948 SOS 195185 HAS SOPS 195185 HAS SOUS 147101 HAS SOUPS 147101 WITH SCORE 147296.185
AT ITER 972 NEW BEST:: SOT 298906 SOS 195143 HAS SOPS 195143 HAS SOUS 147059 HAS SOUPS 147059 WITH SCORE 147254.143
AT ITER 973 NEW BEST:: SOT 298860 SOS 195097 HAS SOPS 195097 HAS SOUS 146944 HAS SOUPS 146944 WITH SCORE 147139.097
AT ITER 974 NEW BEST:: SOT 298315 SOS 194511 HAS SOPS 194511 HAS SOUS 146354 HAS SOUPS 146354 WITH SCORE 146548.511
AT ITER 977 NEW BEST:: SOT 298179 SOS 194375 HAS SOPS 194375 HAS SOUS 146218 HAS SOUPS 146218 WITH SCORE 146412.375
AT ITER 982 NEW BEST:: SOT 298183 SOS 194301 HAS SOPS 194301 HAS SOUS 146218 HAS SOUPS 146218 WITH SCORE 146412.301
AT ITER 984 NEW BEST:: SOT 297753 SOS 193408 HAS SOPS 193408 HAS SOUS 145475 HAS SOUPS 145475 WITH SCORE 145668.408
AT ITER 987 NEW BEST:: SOT 297554 SOS 193209 HAS SOPS 193209 HAS SOUS 145276 HAS SOUPS 145276 WITH SCORE 145469.209
AT ITER 993 NEW BEST:: SOT 297512 SOS 193167 HAS SOPS 193167 HAS SOUS 145187 HAS SOUPS 145187 WITH SCORE 145380.167
AT ITER 1009 NEW BEST:: SOT 297280 SOS 192887 HAS SOPS 192887 HAS SOUS 144855 HAS SOUPS 144855 WITH SCORE 145047.887
AT ITER 1011 NEW BEST:: SOT 297356 SOS 192575 HAS SOPS 192575 HAS SOUS 144847 HAS SOUPS 144847 WITH SCORE 145039.575
AT ITER 1016 NEW BEST:: SOT 297356 SOS 192217 HAS SOPS 192217 HAS SOUS 144807 HAS SOUPS 144807 WITH SCORE 144999.217
AT ITER 1023 NEW BEST:: SOT 297348 SOS 192162 HAS SOPS 192162 HAS SOUS 144752 HAS SOUPS 144752 WITH SCORE 144944.162
AT ITER 1026 NEW BEST:: SOT 297348 SOS 191639 HAS SOPS 191639 HAS SOUS 144746 HAS SOUPS 144746 WITH SCORE 144937.639
AT ITER 1028 NEW BEST:: SOT 297398 SOS 191689 HAS SOPS 191689 HAS SOUS 144724 HAS SOUPS 144724 WITH SCORE 144915.689
AT ITER 1029 NEW BEST:: SOT 297249 SOS 191073 HAS SOPS 191073 HAS SOUS 144440 HAS SOUPS 144440 WITH SCORE 144631.073
AT ITER 1031 NEW BEST:: SOT 297301 SOS 191124 HAS SOPS 191124 HAS SOUS 144435 HAS SOUPS 144435 WITH SCORE 144626.124
AT ITER 1036 NEW BEST:: SOT 297106 SOS 190276 HAS SOPS 190276 HAS SOUS 144086 HAS SOUPS 144086 WITH SCORE 144276.276
AT ITER 1038 NEW BEST:: SOT 297036 SOS 190206 HAS SOPS 190206 HAS SOUS 144016 HAS SOUPS 144016 WITH SCORE 144206.206
AT ITER 1042 NEW BEST:: SOT 297030 SOS 190230 HAS SOPS 190230 HAS SOUS 143908 HAS SOUPS 143908 WITH SCORE 144098.23
AT ITER 1044 NEW BEST:: SOT 296454 SOS 189627 HAS SOPS 189627 HAS SOUS 143098 HAS SOUPS 143098 WITH SCORE 143287.627
AT ITER 1046 NEW BEST:: SOT 296436 SOS 189281 HAS SOPS 189281 HAS SOUS 142901 HAS SOUPS 142901 WITH SCORE 143090.281
AT ITER 1056 NEW BEST:: SOT 296336 SOS 189181 HAS SOPS 189181 HAS SOUS 142783 HAS SOUPS 142783 WITH SCORE 142972.181
AT ITER 1062 NEW BEST:: SOT 296353 SOS 189326 HAS SOPS 189326 HAS SOUS 142780 HAS SOUPS 142780 WITH SCORE 142969.326
AT ITER 1064 NEW BEST:: SOT 295919 SOS 188720 HAS SOPS 188720 HAS SOUS 142174 HAS SOUPS 142174 WITH SCORE 142362.72
AT ITER 1065 NEW BEST:: SOT 295919 SOS 188720 HAS SOPS 188720 HAS SOUS 142112 HAS SOUPS 142112 WITH SCORE 142300.72
AT ITER 1070 NEW BEST:: SOT 295753 SOS 188122 HAS SOPS 188122 HAS SOUS 141659 HAS SOUPS 141659 WITH SCORE 141847.122
AT ITER 1072 NEW BEST:: SOT 295474 SOS 187691 HAS SOPS 187691 HAS SOUS 141179 HAS SOUPS 141179 WITH SCORE 141366.691
AT ITER 1075 NEW BEST:: SOT 295460 SOS 187316 HAS SOPS 187316 HAS SOUS 140858 HAS SOUPS 140858 WITH SCORE 141045.316
AT ITER 1078 NEW BEST:: SOT 295422 SOS 187202 HAS SOPS 187202 HAS SOUS 140706 HAS SOUPS 140706 WITH SCORE 140893.202
AT ITER 1086 NEW BEST:: SOT 295420 SOS 187196 HAS SOPS 187196 HAS SOUS 140704 HAS SOUPS 140704 WITH SCORE 140891.196
AT ITER 1093 NEW BEST:: SOT 295324 SOS 186908 HAS SOPS 186908 HAS SOUS 140528 HAS SOUPS 140528 WITH SCORE 140714.908
AT ITER 1102 NEW BEST:: SOT 295324 SOS 186444 HAS SOPS 186444 HAS SOUS 140148 HAS SOUPS 140148 WITH SCORE 140334.444
AT ITER 1110 NEW BEST:: SOT 295322 SOS 186433 HAS SOPS 186433 HAS SOUS 140137 HAS SOUPS 140137 WITH SCORE 140323.433
AT ITER 1116 NEW BEST:: SOT 295322 SOS 186495 HAS SOPS 186495 HAS SOUS 140106 HAS SOUPS 140106 WITH SCORE 140292.495
AT ITER 1121 NEW BEST:: SOT 295226 SOS 186381 HAS SOPS 186381 HAS SOUS 140045 HAS SOUPS 140045 WITH SCORE 140231.381
AT ITER 1124 NEW BEST:: SOT 295251 SOS 186421 HAS SOPS 186421 HAS SOUS 140028 HAS SOUPS 140028 WITH SCORE 140214.421
AT ITER 1125 NEW BEST:: SOT 295263 SOS 186433 HAS SOPS 186433 HAS SOUS 139990 HAS SOUPS 139990 WITH SCORE 140176.433
AT ITER 1128 NEW BEST:: SOT 295165 SOS 186237 HAS SOPS 186237 HAS SOUS 139845 HAS SOUPS 139845 WITH SCORE 140031.237
AT ITER 1130 NEW BEST:: SOT 295078 SOS 186150 HAS SOPS 186150 HAS SOUS 139643 HAS SOUPS 139643 WITH SCORE 139829.15
AT ITER 1132 NEW BEST:: SOT 295078 SOS 186130 HAS SOPS 186130 HAS SOUS 139643 HAS SOUPS 139643 WITH SCORE 139829.13
AT ITER 1133 NEW BEST:: SOT 295155 SOS 186207 HAS SOPS 186207 HAS SOUS 139584 HAS SOUPS 139584 WITH SCORE 139770.207
AT ITER 1141 NEW BEST:: SOT 295034 SOS 184203 HAS SOPS 184203 HAS SOUS 139522 HAS SOUPS 139522 WITH SCORE 139706.203
AT ITER 1145 NEW BEST:: SOT 295139 SOS 183328 HAS SOPS 183328 HAS SOUS 139363 HAS SOUPS 139363 WITH SCORE 139546.328
AT ITER 1150 NEW BEST:: SOT 295090 SOS 183279 HAS SOPS 183279 HAS SOUS 139314 HAS SOUPS 139314 WITH SCORE 139497.279
AT ITER 1151 NEW BEST:: SOT 294919 SOS 183108 HAS SOPS 183108 HAS SOUS 139143 HAS SOUPS 139143 WITH SCORE 139326.108
AT ITER 1159 NEW BEST:: SOT 294768 SOS 182781 HAS SOPS 182781 HAS SOUS 138718 HAS SOUPS 138718 WITH SCORE 138900.781
AT ITER 1163 NEW BEST:: SOT 294635 SOS 182576 HAS SOPS 182576 HAS SOUS 138513 HAS SOUPS 138513 WITH SCORE 138695.576
AT ITER 1165 NEW BEST:: SOT 294277 SOS 181108 HAS SOPS 181108 HAS SOUS 137498 HAS SOUPS 137498 WITH SCORE 137679.108
AT ITER 1167 NEW BEST:: SOT 294272 SOS 181103 HAS SOPS 181103 HAS SOUS 137493 HAS SOUPS 137493 WITH SCORE 137674.103
AT ITER 1186 NEW BEST:: SOT 294431 SOS 181247 HAS SOPS 181247 HAS SOUS 137444 HAS SOUPS 137444 WITH SCORE 137625.247
AT ITER 1188 NEW BEST:: SOT 294418 SOS 181234 HAS SOPS 181234 HAS SOUS 137431 HAS SOUPS 137431 WITH SCORE 137612.234
AT ITER 1190 NEW BEST:: SOT 294418 SOS 181144 HAS SOPS 181144 HAS SOUS 137395 HAS SOUPS 137395 WITH SCORE 137576.144
AT ITER 1191 NEW BEST:: SOT 294310 SOS 180986 HAS SOPS 180986 HAS SOUS 137333 HAS SOUPS 137333 WITH SCORE 137513.986
AT ITER 1193 NEW BEST:: SOT 293644 SOS 179282 HAS SOPS 179282 HAS SOUS 136333 HAS SOUPS 136333 WITH SCORE 136512.282
AT ITER 1194 NEW BEST:: SOT 293619 SOS 179136 HAS SOPS 179136 HAS SOUS 136305 HAS SOUPS 136305 WITH SCORE 136484.136
AT ITER 1197 NEW BEST:: SOT 293717 SOS 179117 HAS SOPS 179117 HAS SOUS 136286 HAS SOUPS 136286 WITH SCORE 136465.117
AT ITER 1208 NEW BEST:: SOT 293705 SOS 179067 HAS SOPS 179067 HAS SOUS 136236 HAS SOUPS 136236 WITH SCORE 136415.067
AT ITER 1215 NEW BEST:: SOT 293812 SOS 177002 HAS SOPS 177002 HAS SOUS 134917 HAS SOUPS 134917 WITH SCORE 135094.002
AT ITER 1216 NEW BEST:: SOT 293794 SOS 176984 HAS SOPS 176984 HAS SOUS 134902 HAS SOUPS 134902 WITH SCORE 135078.984
AT ITER 1220 NEW BEST:: SOT 293794 SOS 176984 HAS SOPS 176984 HAS SOUS 134821 HAS SOUPS 134821 WITH SCORE 134997.984
AT ITER 1225 NEW BEST:: SOT 293770 SOS 176971 HAS SOPS 176971 HAS SOUS 134819 HAS SOUPS 134819 WITH SCORE 134995.971
AT ITER 1227 NEW BEST:: SOT 293755 SOS 176956 HAS SOPS 176956 HAS SOUS 134804 HAS SOUPS 134804 WITH SCORE 134980.956
AT ITER 1231 NEW BEST:: SOT 293755 SOS 176956 HAS SOPS 176956 HAS SOUS 134792 HAS SOUPS 134792 WITH SCORE 134968.956
AT ITER 1232 NEW BEST:: SOT 293715 SOS 176893 HAS SOPS 176893 HAS SOUS 134506 HAS SOUPS 134506 WITH SCORE 134682.893
AT ITER 1236 NEW BEST:: SOT 293721 SOS 176803 HAS SOPS 176803 HAS SOUS 134435 HAS SOUPS 134435 WITH SCORE 134611.803
AT ITER 1237 NEW BEST:: SOT 293721 SOS 176792 HAS SOPS 176792 HAS SOUS 134412 HAS SOUPS 134412 WITH SCORE 134588.792
AT ITER 1238 NEW BEST:: SOT 293704 SOS 176715 HAS SOPS 176715 HAS SOUS 134301 HAS SOUPS 134301 WITH SCORE 134477.715
AT ITER 1239 NEW BEST:: SOT 293700 SOS 176704 HAS SOPS 176704 HAS SOUS 134292 HAS SOUPS 134292 WITH SCORE 134468.704
AT ITER 1243 NEW BEST:: SOT 293625 SOS 176629 HAS SOPS 176629 HAS SOUS 134217 HAS SOUPS 134217 WITH SCORE 134393.629
AT ITER 1248 NEW BEST:: SOT 293362 SOS 176302 HAS SOPS 176302 HAS SOUS 133922 HAS SOUPS 133922 WITH SCORE 134098.302
AT ITER 1255 NEW BEST:: SOT 293046 SOS 175210 HAS SOPS 175210 HAS SOUS 133738 HAS SOUPS 133738 WITH SCORE 133913.21
AT ITER 1263 NEW BEST:: SOT 293003 SOS 175104 HAS SOPS 175104 HAS SOUS 133647 HAS SOUPS 133647 WITH SCORE 133822.104
AT ITER 1265 NEW BEST:: SOT 292785 SOS 174049 HAS SOPS 174049 HAS SOUS 133335 HAS SOUPS 133335 WITH SCORE 133509.049
AT ITER 1267 NEW BEST:: SOT 292785 SOS 173962 HAS SOPS 173962 HAS SOUS 133325 HAS SOUPS 133325 WITH SCORE 133498.962
AT ITER 1269 NEW BEST:: SOT 292558 SOS 173729 HAS SOPS 173729 HAS SOUS 133095 HAS SOUPS 133095 WITH SCORE 133268.729
AT ITER 1270 NEW BEST:: SOT 292451 SOS 173562 HAS SOPS 173562 HAS SOUS 132884 HAS SOUPS 132884 WITH SCORE 133057.562
AT ITER 1279 NEW BEST:: SOT 292419 SOS 173498 HAS SOPS 173498 HAS SOUS 132812 HAS SOUPS 132812 WITH SCORE 132985.498
AT ITER 1282 NEW BEST:: SOT 292450 SOS 173288 HAS SOPS 173288 HAS SOUS 132739 HAS SOUPS 132739 WITH SCORE 132912.288
AT ITER 1285 NEW BEST:: SOT 292517 SOS 172960 HAS SOPS 172960 HAS SOUS 132592 HAS SOUPS 132592 WITH SCORE 132764.96
AT ITER 1290 NEW BEST:: SOT 292517 SOS 172832 HAS SOPS 172832 HAS SOUS 132541 HAS SOUPS 132541 WITH SCORE 132713.832
AT ITER 1292 NEW BEST:: SOT 292099 SOS 171469 HAS SOPS 171469 HAS SOUS 131396 HAS SOUPS 131396 WITH SCORE 131567.469
AT ITER 1296 NEW BEST:: SOT 292077 SOS 171447 HAS SOPS 171447 HAS SOUS 131327 HAS SOUPS 131327 WITH SCORE 131498.447
AT ITER 1297 NEW BEST:: SOT 291539 SOS 170909 HAS SOPS 170909 HAS SOUS 130789 HAS SOUPS 130789 WITH SCORE 130959.909
AT ITER 1300 NEW BEST:: SOT 291544 SOS 170836 HAS SOPS 170836 HAS SOUS 130724 HAS SOUPS 130724 WITH SCORE 130894.836
AT ITER 1302 NEW BEST:: SOT 291539 SOS 170670 HAS SOPS 170670 HAS SOUS 130580 HAS SOUPS 130580 WITH SCORE 130750.67
AT ITER 1304 NEW BEST:: SOT 291463 SOS 170502 HAS SOPS 170502 HAS SOUS 130481 HAS SOUPS 130481 WITH SCORE 130651.502
AT ITER 1306 NEW BEST:: SOT 291463 SOS 170170 HAS SOPS 170170 HAS SOUS 130435 HAS SOUPS 130435 WITH SCORE 130605.17
AT ITER 1309 NEW BEST:: SOT 291018 SOS 169785 HAS SOPS 169785 HAS SOUS 130007 HAS SOUPS 130007 WITH SCORE 130176.785
AT ITER 1312 NEW BEST:: SOT 290986 SOS 169752 HAS SOPS 169752 HAS SOUS 129958 HAS SOUPS 129958 WITH SCORE 130127.752
AT ITER 1314 NEW BEST:: SOT 290912 SOS 169301 HAS SOPS 169301 HAS SOUS 129646 HAS SOUPS 129646 WITH SCORE 129815.301
AT ITER 1327 NEW BEST:: SOT 290872 SOS 169532 HAS SOPS 169532 HAS SOUS 129350 HAS SOUPS 129350 WITH SCORE 129519.532
AT ITER 1329 NEW BEST:: SOT 290382 SOS 169042 HAS SOPS 169042 HAS SOUS 128860 HAS SOUPS 128860 WITH SCORE 129029.042
AT ITER 1339 NEW BEST:: SOT 290414 SOS 169161 HAS SOPS 169161 HAS SOUS 128856 HAS SOUPS 128856 WITH SCORE 129025.161
AT ITER 1340 NEW BEST:: SOT 290321 SOS 168828 HAS SOPS 168828 HAS SOUS 128682 HAS SOUPS 128682 WITH SCORE 128850.828
AT ITER 1359 NEW BEST:: SOT 290276 SOS 168724 HAS SOPS 168724 HAS SOUS 128621 HAS SOUPS 128621 WITH SCORE 128789.724
AT ITER 1363 NEW BEST:: SOT 290192 SOS 167936 HAS SOPS 167936 HAS SOUS 128356 HAS SOUPS 128356 WITH SCORE 128523.936
AT ITER 1370 NEW BEST:: SOT 290026 SOS 167770 HAS SOPS 167770 HAS SOUS 128190 HAS SOUPS 128190 WITH SCORE 128357.77
AT ITER 1378 NEW BEST:: SOT 289989 SOS 167308 HAS SOPS 167308 HAS SOUS 127983 HAS SOUPS 127983 WITH SCORE 128150.308
AT ITER 1383 NEW BEST:: SOT 289989 SOS 167197 HAS SOPS 167197 HAS SOUS 127940 HAS SOUPS 127940 WITH SCORE 128107.197
AT ITER 1385 NEW BEST:: SOT 290055 SOS 167237 HAS SOPS 167237 HAS SOUS 127830 HAS SOUPS 127830 WITH SCORE 127997.237
AT ITER 1391 NEW BEST:: SOT 289451 SOS 166606 HAS SOPS 166606 HAS SOUS 127163 HAS SOUPS 127163 WITH SCORE 127329.606
AT ITER 1405 NEW BEST:: SOT 289361 SOS 166447 HAS SOPS 166447 HAS SOUS 126649 HAS SOUPS 126649 WITH SCORE 126815.447
AT ITER 1414 NEW BEST:: SOT 289340 SOS 166363 HAS SOPS 166363 HAS SOUS 126565 HAS SOUPS 126565 WITH SCORE 126731.363
AT ITER 1416 NEW BEST:: SOT 289138 SOS 166161 HAS SOPS 166161 HAS SOUS 126336 HAS SOUPS 126336 WITH SCORE 126502.161
AT ITER 1418 NEW BEST:: SOT 289138 SOS 165690 HAS SOPS 165690 HAS SOUS 125453 HAS SOUPS 125453 WITH SCORE 125618.69
AT ITER 1433 NEW BEST:: SOT 289116 SOS 165668 HAS SOPS 165668 HAS SOUS 125431 HAS SOUPS 125431 WITH SCORE 125596.668
AT ITER 1434 NEW BEST:: SOT 289041 SOS 165593 HAS SOPS 165593 HAS SOUS 125356 HAS SOUPS 125356 WITH SCORE 125521.593
AT ITER 1435 NEW BEST:: SOT 289053 SOS 165587 HAS SOPS 165587 HAS SOUS 125219 HAS SOUPS 125219 WITH SCORE 125384.587
AT ITER 1439 NEW BEST:: SOT 289053 SOS 165578 HAS SOPS 165578 HAS SOUS 125207 HAS SOUPS 125207 WITH SCORE 125372.578
AT ITER 1442 NEW BEST:: SOT 288660 SOS 164486 HAS SOPS 164486 HAS SOUS 124627 HAS SOUPS 124627 WITH SCORE 124791.486
AT ITER 1450 NEW BEST:: SOT 288557 SOS 164248 HAS SOPS 164248 HAS SOUS 124326 HAS SOUPS 124326 WITH SCORE 124490.248
AT ITER 1461 NEW BEST:: SOT 288662 SOS 164574 HAS SOPS 164574 HAS SOUS 124241 HAS SOUPS 124241 WITH SCORE 124405.574
AT ITER 1464 NEW BEST:: SOT 288517 SOS 164531 HAS SOPS 164531 HAS SOUS 124086 HAS SOUPS 124086 WITH SCORE 124250.531
AT ITER 1466 NEW BEST:: SOT 288595 SOS 164842 HAS SOPS 164842 HAS SOUS 123866 HAS SOUPS 123866 WITH SCORE 124030.842
AT ITER 1472 NEW BEST:: SOT 288609 SOS 164945 HAS SOPS 164945 HAS SOUS 123641 HAS SOUPS 123641 WITH SCORE 123805.945
AT ITER 1476 NEW BEST:: SOT 288616 SOS 164952 HAS SOPS 164952 HAS SOUS 123628 HAS SOUPS 123628 WITH SCORE 123792.952
AT ITER 1478 NEW BEST:: SOT 288636 SOS 164785 HAS SOPS 164785 HAS SOUS 123522 HAS SOUPS 123522 WITH SCORE 123686.785
AT ITER 1479 NEW BEST:: SOT 288588 SOS 164713 HAS SOPS 164713 HAS SOUS 123450 HAS SOUPS 123450 WITH SCORE 123614.713
AT ITER 1483 NEW BEST:: SOT 288334 SOS 164391 HAS SOPS 164391 HAS SOUS 123106 HAS SOUPS 123106 WITH SCORE 123270.391
AT ITER 1487 NEW BEST:: SOT 288116 SOS 164141 HAS SOPS 164141 HAS SOUS 122856 HAS SOUPS 122856 WITH SCORE 123020.141
AT ITER 1489 NEW BEST:: SOT 287935 SOS 163934 HAS SOPS 163934 HAS SOUS 122615 HAS SOUPS 122615 WITH SCORE 122778.934
AT ITER 1491 NEW BEST:: SOT 287393 SOS 163371 HAS SOPS 163371 HAS SOUS 122154 HAS SOUPS 122154 WITH SCORE 122317.371
AT ITER 1499 NEW BEST:: SOT 287100 SOS 163266 HAS SOPS 163266 HAS SOUS 122067 HAS SOUPS 122067 WITH SCORE 122230.266
AT ITER 1507 NEW BEST:: SOT 287098 SOS 163258 HAS SOPS 163258 HAS SOUS 122067 HAS SOUPS 122067 WITH SCORE 122230.258
AT ITER 1516 NEW BEST:: SOT 287163 SOS 163394 HAS SOPS 163394 HAS SOUS 121966 HAS SOUPS 121966 WITH SCORE 122129.394
AT ITER 1522 NEW BEST:: SOT 287163 SOS 163269 HAS SOPS 163269 HAS SOUS 121798 HAS SOUPS 121798 WITH SCORE 121961.269
AT ITER 1524 NEW BEST:: SOT 287107 SOS 163213 HAS SOPS 163213 HAS SOUS 121685 HAS SOUPS 121685 WITH SCORE 121848.213
AT ITER 1526 NEW BEST:: SOT 287444 SOS 162768 HAS SOPS 162768 HAS SOUS 121635 HAS SOUPS 121635 WITH SCORE 121797.768
AT ITER 1529 NEW BEST:: SOT 287445 SOS 162970 HAS SOPS 162970 HAS SOUS 121589 HAS SOUPS 121589 WITH SCORE 121751.97
AT ITER 1548 NEW BEST:: SOT 287365 SOS 162890 HAS SOPS 162890 HAS SOUS 121509 HAS SOUPS 121509 WITH SCORE 121671.89
AT ITER 1549 NEW BEST:: SOT 287338 SOS 162460 HAS SOPS 162460 HAS SOUS 121231 HAS SOUPS 121231 WITH SCORE 121393.46
AT ITER 1560 NEW BEST:: SOT 287338 SOS 162430 HAS SOPS 162430 HAS SOUS 121220 HAS SOUPS 121220 WITH SCORE 121382.43
AT ITER 1563 NEW BEST:: SOT 287320 SOS 162412 HAS SOPS 162412 HAS SOUS 121197 HAS SOUPS 121197 WITH SCORE 121359.412
AT ITER 1566 NEW BEST:: SOT 287186 SOS 162262 HAS SOPS 162262 HAS SOUS 120996 HAS SOUPS 120996 WITH SCORE 121158.262
AT ITER 1567 NEW BEST:: SOT 287469 SOS 161459 HAS SOPS 161459 HAS SOUS 120671 HAS SOUPS 120671 WITH SCORE 120832.459
AT ITER 1570 NEW BEST:: SOT 287786 SOS 160873 HAS SOPS 160873 HAS SOUS 120410 HAS SOUPS 120410 WITH SCORE 120570.873
AT ITER 1575 NEW BEST:: SOT 287635 SOS 160340 HAS SOPS 160340 HAS SOUS 120097 HAS SOUPS 120097 WITH SCORE 120257.34
AT ITER 1579 NEW BEST:: SOT 287635 SOS 160053 HAS SOPS 160053 HAS SOUS 119990 HAS SOUPS 119990 WITH SCORE 120150.053
AT ITER 1585 NEW BEST:: SOT 287404 SOS 159656 HAS SOPS 159656 HAS SOUS 119495 HAS SOUPS 119495 WITH SCORE 119654.656
AT ITER 1589 NEW BEST:: SOT 287404 SOS 159683 HAS SOPS 159683 HAS SOUS 119443 HAS SOUPS 119443 WITH SCORE 119602.683
AT ITER 1604 NEW BEST:: SOT 287380 SOS 159643 HAS SOPS 159643 HAS SOUS 119395 HAS SOUPS 119395 WITH SCORE 119554.643
AT ITER 1612 NEW BEST:: SOT 287332 SOS 159595 HAS SOPS 159595 HAS SOUS 119347 HAS SOUPS 119347 WITH SCORE 119506.595
AT ITER 1614 NEW BEST:: SOT 287125 SOS 159258 HAS SOPS 159258 HAS SOUS 118862 HAS SOUPS 118862 WITH SCORE 119021.258
AT ITER 1624 NEW BEST:: SOT 286952 SOS 159085 HAS SOPS 159085 HAS SOUS 118689 HAS SOUPS 118689 WITH SCORE 118848.085
AT ITER 1631 NEW BEST:: SOT 286966 SOS 159099 HAS SOPS 159099 HAS SOUS 118675 HAS SOUPS 118675 WITH SCORE 118834.099
AT ITER 1635 NEW BEST:: SOT 286920 SOS 159015 HAS SOPS 159015 HAS SOUS 118591 HAS SOUPS 118591 WITH SCORE 118750.015
AT ITER 1639 NEW BEST:: SOT 286678 SOS 159554 HAS SOPS 159554 HAS SOUS 118313 HAS SOUPS 118313 WITH SCORE 118472.554
AT ITER 1649 NEW BEST:: SOT 286615 SOS 159600 HAS SOPS 159600 HAS SOUS 118102 HAS SOUPS 118102 WITH SCORE 118261.6
AT ITER 1662 NEW BEST:: SOT 286615 SOS 159635 HAS SOPS 159635 HAS SOUS 118087 HAS SOUPS 118087 WITH SCORE 118246.635
AT ITER 1683 NEW BEST:: SOT 286314 SOS 159152 HAS SOPS 159152 HAS SOUS 117716 HAS SOUPS 117716 WITH SCORE 117875.152
AT ITER 1690 NEW BEST:: SOT 286343 SOS 159181 HAS SOPS 159181 HAS SOUS 117663 HAS SOUPS 117663 WITH SCORE 117822.181
AT ITER 1697 NEW BEST:: SOT 286553 SOS 159233 HAS SOPS 159233 HAS SOUS 117624 HAS SOUPS 117624 WITH SCORE 117783.233
AT ITER 1701 NEW BEST:: SOT 286602 SOS 159032 HAS SOPS 159032 HAS SOUS 117456 HAS SOUPS 117456 WITH SCORE 117615.032
AT ITER 1712 NEW BEST:: SOT 286417 SOS 158766 HAS SOPS 158766 HAS SOUS 117208 HAS SOUPS 117208 WITH SCORE 117366.766
AT ITER 1716 NEW BEST:: SOT 285982 SOS 158258 HAS SOPS 158258 HAS SOUS 116783 HAS SOUPS 116783 WITH SCORE 116941.258
AT ITER 1719 NEW BEST:: SOT 285982 SOS 158177 HAS SOPS 158177 HAS SOUS 116750 HAS SOUPS 116750 WITH SCORE 116908.177
AT ITER 1724 NEW BEST:: SOT 286001 SOS 158196 HAS SOPS 158196 HAS SOUS 116644 HAS SOUPS 116644 WITH SCORE 116802.196
AT ITER 1725 NEW BEST:: SOT 285909 SOS 158104 HAS SOPS 158104 HAS SOUS 116552 HAS SOUPS 116552 WITH SCORE 116710.104
AT ITER 1751 NEW BEST:: SOT 285882 SOS 158077 HAS SOPS 158077 HAS SOUS 116495 HAS SOUPS 116495 WITH SCORE 116653.077
AT ITER 1763 NEW BEST:: SOT 285844 SOS 157777 HAS SOPS 157777 HAS SOUS 116495 HAS SOUPS 116495 WITH SCORE 116652.777
AT ITER 1764 NEW BEST:: SOT 285839 SOS 157777 HAS SOPS 157777 HAS SOUS 116490 HAS SOUPS 116490 WITH SCORE 116647.777
AT ITER 1765 NEW BEST:: SOT 285751 SOS 157689 HAS SOPS 157689 HAS SOUS 116402 HAS SOUPS 116402 WITH SCORE 116559.689
AT ITER 1766 NEW BEST:: SOT 285856 SOS 157701 HAS SOPS 157701 HAS SOUS 116379 HAS SOUPS 116379 WITH SCORE 116536.701
AT ITER 1767 NEW BEST:: SOT 285793 SOS 157465 HAS SOPS 157465 HAS SOUS 116248 HAS SOUPS 116248 WITH SCORE 116405.465
AT ITER 1773 NEW BEST:: SOT 285757 SOS 157429 HAS SOPS 157429 HAS SOUS 116212 HAS SOUPS 116212 WITH SCORE 116369.429
AT ITER 1784 NEW BEST:: SOT 284990 SOS 155110 HAS SOPS 155110 HAS SOUS 115013 HAS SOUPS 115013 WITH SCORE 115168.11
AT ITER 1790 NEW BEST:: SOT 284960 SOS 154994 HAS SOPS 154994 HAS SOUS 114951 HAS SOUPS 114951 WITH SCORE 115105.994
AT ITER 1795 NEW BEST:: SOT 284713 SOS 154637 HAS SOPS 154637 HAS SOUS 114498 HAS SOUPS 114498 WITH SCORE 114652.637
AT ITER 1797 NEW BEST:: SOT 284634 SOS 154428 HAS SOPS 154428 HAS SOUS 114236 HAS SOUPS 114236 WITH SCORE 114390.428
AT ITER 1801 NEW BEST:: SOT 284301 SOS 154045 HAS SOPS 154045 HAS SOUS 113592 HAS SOUPS 113592 WITH SCORE 113746.045
AT ITER 1806 NEW BEST:: SOT 283734 SOS 153478 HAS SOPS 153478 HAS SOUS 113024 HAS SOUPS 113024 WITH SCORE 113177.478
AT ITER 1812 NEW BEST:: SOT 283714 SOS 154008 HAS SOPS 154008 HAS SOUS 112967 HAS SOUPS 112967 WITH SCORE 113121.008
AT ITER 1813 NEW BEST:: SOT 283714 SOS 153988 HAS SOPS 153988 HAS SOUS 112947 HAS SOUPS 112947 WITH SCORE 113100.988
AT ITER 1818 NEW BEST:: SOT 283696 SOS 154044 HAS SOPS 154044 HAS SOUS 112435 HAS SOUPS 112435 WITH SCORE 112589.044
AT ITER 1822 NEW BEST:: SOT 283696 SOS 153987 HAS SOPS 153987 HAS SOUS 112300 HAS SOUPS 112300 WITH SCORE 112453.987
AT ITER 1852 NEW BEST:: SOT 283696 SOS 154147 HAS SOPS 154147 HAS SOUS 112184 HAS SOUPS 112184 WITH SCORE 112338.147
AT ITER 1884 NEW BEST:: SOT 283645 SOS 153772 HAS SOPS 153772 HAS SOUS 112081 HAS SOUPS 112081 WITH SCORE 112234.772
AT ITER 1885 NEW BEST:: SOT 283559 SOS 153601 HAS SOPS 153601 HAS SOUS 111919 HAS SOUPS 111919 WITH SCORE 112072.601
AT ITER 1886 NEW BEST:: SOT 282874 SOS 152635 HAS SOPS 152635 HAS SOUS 111136 HAS SOUPS 111136 WITH SCORE 111288.635
AT ITER 1894 NEW BEST:: SOT 282794 SOS 152523 HAS SOPS 152523 HAS SOUS 111024 HAS SOUPS 111024 WITH SCORE 111176.523
AT ITER 1901 NEW BEST:: SOT 282794 SOS 152442 HAS SOPS 152442 HAS SOUS 110902 HAS SOUPS 110902 WITH SCORE 111054.442
AT ITER 1902 NEW BEST:: SOT 282849 SOS 152544 HAS SOPS 152544 HAS SOUS 110835 HAS SOUPS 110835 WITH SCORE 110987.544
AT ITER 1906 NEW BEST:: SOT 282782 SOS 152163 HAS SOPS 152163 HAS SOUS 110587 HAS SOUPS 110587 WITH SCORE 110739.163
AT ITER 1913 NEW BEST:: SOT 282594 SOS 151975 HAS SOPS 151975 HAS SOUS 110399 HAS SOUPS 110399 WITH SCORE 110550.975
AT ITER 1917 NEW BEST:: SOT 282560 SOS 151881 HAS SOPS 151881 HAS SOUS 110341 HAS SOUPS 110341 WITH SCORE 110492.881
AT ITER 1919 NEW BEST:: SOT 282494 SOS 151716 HAS SOPS 151716 HAS SOUS 110143 HAS SOUPS 110143 WITH SCORE 110294.716
AT ITER 1924 NEW BEST:: SOT 282562 SOS 151722 HAS SOPS 151722 HAS SOUS 110081 HAS SOUPS 110081 WITH SCORE 110232.722
AT ITER 1941 NEW BEST:: SOT 282527 SOS 151687 HAS SOPS 151687 HAS SOUS 110046 HAS SOUPS 110046 WITH SCORE 110197.687
AT ITER 1943 NEW BEST:: SOT 282470 SOS 151630 HAS SOPS 151630 HAS SOUS 109873 HAS SOUPS 109873 WITH SCORE 110024.63
AT ITER 1951 NEW BEST:: SOT 282454 SOS 151572 HAS SOPS 151572 HAS SOUS 109819 HAS SOUPS 109819 WITH SCORE 109970.572
AT ITER 1969 NEW BEST:: SOT 282447 SOS 151565 HAS SOPS 151565 HAS SOUS 109804 HAS SOUPS 109804 WITH SCORE 109955.565
AT ITER 1974 NEW BEST:: SOT 282399 SOS 151501 HAS SOPS 151501 HAS SOUS 109756 HAS SOUPS 109756 WITH SCORE 109907.501
AT ITER 1980 NEW BEST:: SOT 282394 SOS 151688 HAS SOPS 151688 HAS SOUS 109607 HAS SOUPS 109607 WITH SCORE 109758.688
AT ITER 1981 NEW BEST:: SOT 282622 SOS 152000 HAS SOPS 152000 HAS SOUS 109486 HAS SOUPS 109486 WITH SCORE 109638.0
AT ITER 1983 NEW BEST:: SOT 282616 SOS 151988 HAS SOPS 151988 HAS SOUS 109480 HAS SOUPS 109480 WITH SCORE 109631.988
AT ITER 1985 NEW BEST:: SOT 282598 SOS 151916 HAS SOPS 151916 HAS SOUS 109375 HAS SOUPS 109375 WITH SCORE 109526.916
AT ITER 1992 NEW BEST:: SOT 282598 SOS 151871 HAS SOPS 151871 HAS SOUS 109112 HAS SOUPS 109112 WITH SCORE 109263.871
AT ITER 1993 NEW BEST:: SOT 281918 SOS 150688 HAS SOPS 150688 HAS SOUS 108070 HAS SOUPS 108070 WITH SCORE 108220.688
AT ITER 1994 NEW BEST:: SOT 281610 SOS 150256 HAS SOPS 150256 HAS SOUS 107736 HAS SOUPS 107736 WITH SCORE 107886.256
AT ITER 2004 NEW BEST:: SOT 281237 SOS 149783 HAS SOPS 149783 HAS SOUS 107212 HAS SOUPS 107212 WITH SCORE 107361.783
AT ITER 2010 NEW BEST:: SOT 281237 SOS 149783 HAS SOPS 149783 HAS SOUS 107170 HAS SOUPS 107170 WITH SCORE 107319.783
AT ITER 2021 NEW BEST:: SOT 281051 SOS 149073 HAS SOPS 149073 HAS SOUS 106982 HAS SOUPS 106982 WITH SCORE 107131.073
AT ITER 2024 NEW BEST:: SOT 280878 SOS 148853 HAS SOPS 148853 HAS SOUS 106762 HAS SOUPS 106762 WITH SCORE 106910.853
AT ITER 2030 NEW BEST:: SOT 280876 SOS 148648 HAS SOPS 148648 HAS SOUS 106707 HAS SOUPS 106707 WITH SCORE 106855.648
AT ITER 2040 NEW BEST:: SOT 280916 SOS 148656 HAS SOPS 148656 HAS SOUS 106705 HAS SOUPS 106705 WITH SCORE 106853.656
AT ITER 2044 NEW BEST:: SOT 280717 SOS 148439 HAS SOPS 148439 HAS SOUS 106466 HAS SOUPS 106466 WITH SCORE 106614.439
AT ITER 2059 NEW BEST:: SOT 280733 SOS 148682 HAS SOPS 148682 HAS SOUS 106280 HAS SOUPS 106280 WITH SCORE 106428.682
AT ITER 2066 NEW BEST:: SOT 280740 SOS 148453 HAS SOPS 148453 HAS SOUS 105992 HAS SOUPS 105992 WITH SCORE 106140.453
AT ITER 2082 NEW BEST:: SOT 280651 SOS 148276 HAS SOPS 148276 HAS SOUS 105727 HAS SOUPS 105727 WITH SCORE 105875.276
AT ITER 2096 NEW BEST:: SOT 280534 SOS 148081 HAS SOPS 148081 HAS SOUS 105433 HAS SOUPS 105433 WITH SCORE 105581.081
AT ITER 2107 NEW BEST:: SOT 280574 SOS 148335 HAS SOPS 148335 HAS SOUS 105381 HAS SOUPS 105381 WITH SCORE 105529.335
AT ITER 2119 NEW BEST:: SOT 280356 SOS 148060 HAS SOPS 148060 HAS SOUS 105206 HAS SOUPS 105206 WITH SCORE 105354.06
AT ITER 2120 NEW BEST:: SOT 279895 SOS 147447 HAS SOPS 147447 HAS SOUS 104637 HAS SOUPS 104637 WITH SCORE 104784.447
AT ITER 2123 NEW BEST:: SOT 279848 SOS 147328 HAS SOPS 147328 HAS SOUS 104566 HAS SOUPS 104566 WITH SCORE 104713.328
AT ITER 2125 NEW BEST:: SOT 279518 SOS 147130 HAS SOPS 147130 HAS SOUS 104356 HAS SOUPS 104356 WITH SCORE 104503.13
AT ITER 2136 NEW BEST:: SOT 279476 SOS 147050 HAS SOPS 147050 HAS SOUS 104274 HAS SOUPS 104274 WITH SCORE 104421.05
AT ITER 2144 NEW BEST:: SOT 279476 SOS 146903 HAS SOPS 146903 HAS SOUS 104232 HAS SOUPS 104232 WITH SCORE 104378.903
AT ITER 2148 NEW BEST:: SOT 279372 SOS 146782 HAS SOPS 146782 HAS SOUS 104109 HAS SOUPS 104109 WITH SCORE 104255.782
AT ITER 2155 NEW BEST:: SOT 279330 SOS 146488 HAS SOPS 146488 HAS SOUS 103973 HAS SOUPS 103973 WITH SCORE 104119.488
AT ITER 2156 NEW BEST:: SOT 279148 SOS 146028 HAS SOPS 146028 HAS SOUS 103537 HAS SOUPS 103537 WITH SCORE 103683.028
AT ITER 2161 NEW BEST:: SOT 279148 SOS 146080 HAS SOPS 146080 HAS SOUS 103340 HAS SOUPS 103340 WITH SCORE 103486.08
AT ITER 2176 NEW BEST:: SOT 279022 SOS 145954 HAS SOPS 145954 HAS SOUS 103190 HAS SOUPS 103190 WITH SCORE 103335.954
AT ITER 2180 NEW BEST:: SOT 278757 SOS 145580 HAS SOPS 145580 HAS SOUS 102663 HAS SOUPS 102663 WITH SCORE 102808.58
AT ITER 2182 NEW BEST:: SOT 278737 SOS 145560 HAS SOPS 145560 HAS SOUS 102643 HAS SOUPS 102643 WITH SCORE 102788.56
AT ITER 2196 NEW BEST:: SOT 278710 SOS 145505 HAS SOPS 145505 HAS SOUS 102457 HAS SOUPS 102457 WITH SCORE 102602.505
AT ITER 2201 NEW BEST:: SOT 278667 SOS 145462 HAS SOPS 145462 HAS SOUS 102414 HAS SOUPS 102414 WITH SCORE 102559.462
AT ITER 2205 NEW BEST:: SOT 278631 SOS 145322 HAS SOPS 145322 HAS SOUS 102251 HAS SOUPS 102251 WITH SCORE 102396.322
AT ITER 2207 NEW BEST:: SOT 278416 SOS 144483 HAS SOPS 144483 HAS SOUS 101924 HAS SOUPS 101924 WITH SCORE 102068.483
AT ITER 2209 NEW BEST:: SOT 278416 SOS 144588 HAS SOPS 144588 HAS SOUS 101894 HAS SOUPS 101894 WITH SCORE 102038.588
AT ITER 2210 NEW BEST:: SOT 278416 SOS 145066 HAS SOPS 145066 HAS SOUS 101803 HAS SOUPS 101803 WITH SCORE 101948.066
AT ITER 2237 NEW BEST:: SOT 278318 SOS 144705 HAS SOPS 144705 HAS SOUS 101362 HAS SOUPS 101362 WITH SCORE 101506.705
AT ITER 2249 NEW BEST:: SOT 278302 SOS 144679 HAS SOPS 144679 HAS SOUS 101344 HAS SOUPS 101344 WITH SCORE 101488.679
AT ITER 2250 NEW BEST:: SOT 278320 SOS 144697 HAS SOPS 144697 HAS SOUS 101309 HAS SOUPS 101309 WITH SCORE 101453.697
AT ITER 2253 NEW BEST:: SOT 278280 SOS 144657 HAS SOPS 144657 HAS SOUS 101261 HAS SOUPS 101261 WITH SCORE 101405.657
AT ITER 2256 NEW BEST:: SOT 278273 SOS 144650 HAS SOPS 144650 HAS SOUS 101254 HAS SOUPS 101254 WITH SCORE 101398.65
AT ITER 2258 NEW BEST:: SOT 278258 SOS 144620 HAS SOPS 144620 HAS SOUS 101212 HAS SOUPS 101212 WITH SCORE 101356.62
AT ITER 2266 NEW BEST:: SOT 278267 SOS 144568 HAS SOPS 144568 HAS SOUS 101099 HAS SOUPS 101099 WITH SCORE 101243.568
AT ITER 2288 NEW BEST:: SOT 278267 SOS 144403 HAS SOPS 144403 HAS SOUS 101044 HAS SOUPS 101044 WITH SCORE 101188.403
AT ITER 2294 NEW BEST:: SOT 278192 SOS 144152 HAS SOPS 144152 HAS SOUS 101016 HAS SOUPS 101016 WITH SCORE 101160.152
AT ITER 2302 NEW BEST:: SOT 278193 SOS 144099 HAS SOPS 144099 HAS SOUS 100996 HAS SOUPS 100996 WITH SCORE 101140.099
AT ITER 2307 NEW BEST:: SOT 278154 SOS 143926 HAS SOPS 143926 HAS SOUS 100859 HAS SOUPS 100859 WITH SCORE 101002.926
AT ITER 2337 NEW BEST:: SOT 278148 SOS 143923 HAS SOPS 143923 HAS SOUS 100859 HAS SOUPS 100859 WITH SCORE 101002.923
AT ITER 2351 NEW BEST:: SOT 278158 SOS 144125 HAS SOPS 144125 HAS SOUS 100813 HAS SOUPS 100813 WITH SCORE 100957.125
AT ITER 2353 NEW BEST:: SOT 278135 SOS 144010 HAS SOPS 144010 HAS SOUS 100755 HAS SOUPS 100755 WITH SCORE 100899.01
AT ITER 2356 NEW BEST:: SOT 278129 SOS 143937 HAS SOPS 143937 HAS SOUS 100609 HAS SOUPS 100609 WITH SCORE 100752.937
AT ITER 2365 NEW BEST:: SOT 278117 SOS 143889 HAS SOPS 143889 HAS SOUS 100597 HAS SOUPS 100597 WITH SCORE 100740.889
AT ITER 2366 NEW BEST:: SOT 277982 SOS 143754 HAS SOPS 143754 HAS SOUS 100462 HAS SOUPS 100462 WITH SCORE 100605.754
AT ITER 2371 NEW BEST:: SOT 277982 SOS 143746 HAS SOPS 143746 HAS SOUS 100462 HAS SOUPS 100462 WITH SCORE 100605.746
AT ITER 2372 NEW BEST:: SOT 277725 SOS 143401 HAS SOPS 143401 HAS SOUS 99834 HAS SOUPS 99834 WITH SCORE 99977.401
AT ITER 2373 NEW BEST:: SOT 277734 SOS 143346 HAS SOPS 143346 HAS SOUS 99713 HAS SOUPS 99713 WITH SCORE 99856.346
AT ITER 2382 NEW BEST:: SOT 277779 SOS 143374 HAS SOPS 143374 HAS SOUS 99659 HAS SOUPS 99659 WITH SCORE 99802.374
AT ITER 2385 NEW BEST:: SOT 277743 SOS 143318 HAS SOPS 143318 HAS SOUS 99623 HAS SOUPS 99623 WITH SCORE 99766.318
AT ITER 2390 NEW BEST:: SOT 277689 SOS 143264 HAS SOPS 143264 HAS SOUS 99569 HAS SOUPS 99569 WITH SCORE 99712.264
AT ITER 2398 NEW BEST:: SOT 277719 SOS 143099 HAS SOPS 143099 HAS SOUS 99388 HAS SOUPS 99388 WITH SCORE 99531.099
AT ITER 2404 NEW BEST:: SOT 277709 SOS 143089 HAS SOPS 143089 HAS SOUS 99378 HAS SOUPS 99378 WITH SCORE 99521.089
AT ITER 2410 NEW BEST:: SOT 277715 SOS 143017 HAS SOPS 143017 HAS SOUS 99038 HAS SOUPS 99038 WITH SCORE 99181.017
AT ITER 2413 NEW BEST:: SOT 277680 SOS 143061 HAS SOPS 143061 HAS SOUS 98936 HAS SOUPS 98936 WITH SCORE 99079.061
AT ITER 2414 NEW BEST:: SOT 277670 SOS 142991 HAS SOPS 142991 HAS SOUS 98906 HAS SOUPS 98906 WITH SCORE 99048.991
AT ITER 2420 NEW BEST:: SOT 277588 SOS 142909 HAS SOPS 142909 HAS SOUS 98822 HAS SOUPS 98822 WITH SCORE 98964.909
AT ITER 2421 NEW BEST:: SOT 277571 SOS 143047 HAS SOPS 143047 HAS SOUS 98800 HAS SOUPS 98800 WITH SCORE 98943.047
AT ITER 2422 NEW BEST:: SOT 277511 SOS 142995 HAS SOPS 142995 HAS SOUS 98794 HAS SOUPS 98794 WITH SCORE 98936.995
AT ITER 2431 NEW BEST:: SOT 277454 SOS 142830 HAS SOPS 142830 HAS SOUS 98763 HAS SOUPS 98763 WITH SCORE 98905.83
AT ITER 2435 NEW BEST:: SOT 277454 SOS 142912 HAS SOPS 142912 HAS SOUS 98697 HAS SOUPS 98697 WITH SCORE 98839.912
AT ITER 2439 NEW BEST:: SOT 277461 SOS 142927 HAS SOPS 142927 HAS SOUS 98692 HAS SOUPS 98692 WITH SCORE 98834.927
AT ITER 2440 NEW BEST:: SOT 277427 SOS 142926 HAS SOPS 142926 HAS SOUS 98672 HAS SOUPS 98672 WITH SCORE 98814.926
AT ITER 2443 NEW BEST:: SOT 277429 SOS 142866 HAS SOPS 142866 HAS SOUS 98571 HAS SOUPS 98571 WITH SCORE 98713.866
AT ITER 2447 NEW BEST:: SOT 277393 SOS 142801 HAS SOPS 142801 HAS SOUS 98515 HAS SOUPS 98515 WITH SCORE 98657.801
AT ITER 2453 NEW BEST:: SOT 277321 SOS 142657 HAS SOPS 142657 HAS SOUS 98335 HAS SOUPS 98335 WITH SCORE 98477.657
AT ITER 2454 NEW BEST:: SOT 277398 SOS 142714 HAS SOPS 142714 HAS SOUS 98254 HAS SOUPS 98254 WITH SCORE 98396.714
AT ITER 2456 NEW BEST:: SOT 277353 SOS 142641 HAS SOPS 142641 HAS SOUS 98192 HAS SOUPS 98192 WITH SCORE 98334.641
AT ITER 2473 NEW BEST:: SOT 277350 SOS 142641 HAS SOPS 142641 HAS SOUS 98190 HAS SOUPS 98190 WITH SCORE 98332.641
AT ITER 2476 NEW BEST:: SOT 277367 SOS 142245 HAS SOPS 142245 HAS SOUS 98147 HAS SOUPS 98147 WITH SCORE 98289.245
AT ITER 2479 NEW BEST:: SOT 277364 SOS 142239 HAS SOPS 142239 HAS SOUS 98138 HAS SOUPS 98138 WITH SCORE 98280.239
AT ITER 2483 NEW BEST:: SOT 277364 SOS 141582 HAS SOPS 141582 HAS SOUS 97898 HAS SOUPS 97898 WITH SCORE 98039.582
AT ITER 2491 NEW BEST:: SOT 277268 SOS 141102 HAS SOPS 141102 HAS SOUS 97706 HAS SOUPS 97706 WITH SCORE 97847.102
AT ITER 2492 NEW BEST:: SOT 276990 SOS 140824 HAS SOPS 140824 HAS SOUS 97428 HAS SOUPS 97428 WITH SCORE 97568.824
AT ITER 2506 NEW BEST:: SOT 276948 SOS 140730 HAS SOPS 140730 HAS SOUS 97385 HAS SOUPS 97385 WITH SCORE 97525.73
AT ITER 2507 NEW BEST:: SOT 276948 SOS 140707 HAS SOPS 140707 HAS SOUS 97362 HAS SOUPS 97362 WITH SCORE 97502.707
AT ITER 2508 NEW BEST:: SOT 277075 SOS 140677 HAS SOPS 140677 HAS SOUS 97182 HAS SOUPS 97182 WITH SCORE 97322.677
AT ITER 2511 NEW BEST:: SOT 276981 SOS 140583 HAS SOPS 140583 HAS SOUS 97088 HAS SOUPS 97088 WITH SCORE 97228.583
AT ITER 2513 NEW BEST:: SOT 276937 SOS 140454 HAS SOPS 140454 HAS SOUS 97030 HAS SOUPS 97030 WITH SCORE 97170.454
AT ITER 2514 NEW BEST:: SOT 276662 SOS 139972 HAS SOPS 139972 HAS SOUS 96548 HAS SOUPS 96548 WITH SCORE 96687.972
AT ITER 2515 NEW BEST:: SOT 276662 SOS 139977 HAS SOPS 139977 HAS SOUS 96533 HAS SOUPS 96533 WITH SCORE 96672.977
AT ITER 2520 NEW BEST:: SOT 276653 SOS 140144 HAS SOPS 140144 HAS SOUS 96457 HAS SOUPS 96457 WITH SCORE 96597.144
AT ITER 2521 NEW BEST:: SOT 276560 SOS 140012 HAS SOPS 140012 HAS SOUS 96325 HAS SOUPS 96325 WITH SCORE 96465.012
AT ITER 2525 NEW BEST:: SOT 275974 SOS 138969 HAS SOPS 138969 HAS SOUS 95335 HAS SOUPS 95335 WITH SCORE 95473.969
AT ITER 2533 NEW BEST:: SOT 275832 SOS 138852 HAS SOPS 138852 HAS SOUS 95204 HAS SOUPS 95204 WITH SCORE 95342.852
AT ITER 2539 NEW BEST:: SOT 275832 SOS 138085 HAS SOPS 138085 HAS SOUS 95100 HAS SOUPS 95100 WITH SCORE 95238.085
AT ITER 2546 NEW BEST:: SOT 275796 SOS 137938 HAS SOPS 137938 HAS SOUS 94996 HAS SOUPS 94996 WITH SCORE 95133.938
AT ITER 2548 NEW BEST:: SOT 274876 SOS 137582 HAS SOPS 137582 HAS SOUS 94549 HAS SOUPS 94549 WITH SCORE 94686.582
AT ITER 2549 NEW BEST:: SOT 274742 SOS 137461 HAS SOPS 137461 HAS SOUS 94482 HAS SOUPS 94482 WITH SCORE 94619.461
AT ITER 2587 NEW BEST:: SOT 274742 SOS 137453 HAS SOPS 137453 HAS SOUS 94440 HAS SOUPS 94440 WITH SCORE 94577.453
AT ITER 2600 NEW BEST:: SOT 274650 SOS 137410 HAS SOPS 137410 HAS SOUS 94406 HAS SOUPS 94406 WITH SCORE 94543.41
AT ITER 2605 NEW BEST:: SOT 274552 SOS 137358 HAS SOPS 137358 HAS SOUS 94326 HAS SOUPS 94326 WITH SCORE 94463.358
AT ITER 2615 NEW BEST:: SOT 274519 SOS 137301 HAS SOPS 137301 HAS SOUS 94277 HAS SOUPS 94277 WITH SCORE 94414.301
AT ITER 2620 NEW BEST:: SOT 274519 SOS 137084 HAS SOPS 137084 HAS SOUS 93897 HAS SOUPS 93897 WITH SCORE 94034.084
AT ITER 2622 NEW BEST:: SOT 274508 SOS 136884 HAS SOPS 136884 HAS SOUS 93789 HAS SOUPS 93789 WITH SCORE 93925.884
AT ITER 2623 NEW BEST:: SOT 274108 SOS 136129 HAS SOPS 136129 HAS SOUS 93200 HAS SOUPS 93200 WITH SCORE 93336.129
AT ITER 2624 NEW BEST:: SOT 274112 SOS 136117 HAS SOPS 136117 HAS SOUS 93188 HAS SOUPS 93188 WITH SCORE 93324.117
AT ITER 2632 NEW BEST:: SOT 274059 SOS 135911 HAS SOPS 135911 HAS SOUS 93026 HAS SOUPS 93026 WITH SCORE 93161.911
AT ITER 2634 NEW BEST:: SOT 274108 SOS 135785 HAS SOPS 135785 HAS SOUS 92854 HAS SOUPS 92854 WITH SCORE 92989.785
AT ITER 2639 NEW BEST:: SOT 274062 SOS 135785 HAS SOPS 135785 HAS SOUS 92808 HAS SOUPS 92808 WITH SCORE 92943.785
AT ITER 2640 NEW BEST:: SOT 274051 SOS 135774 HAS SOPS 135774 HAS SOUS 92800 HAS SOUPS 92800 WITH SCORE 92935.774
AT ITER 2644 NEW BEST:: SOT 274051 SOS 135545 HAS SOPS 135545 HAS SOUS 92728 HAS SOUPS 92728 WITH SCORE 92863.545
AT ITER 2650 NEW BEST:: SOT 274032 SOS 135466 HAS SOPS 135466 HAS SOUS 92628 HAS SOUPS 92628 WITH SCORE 92763.466
AT ITER 2656 NEW BEST:: SOT 273875 SOS 135309 HAS SOPS 135309 HAS SOUS 92471 HAS SOUPS 92471 WITH SCORE 92606.309
AT ITER 2660 NEW BEST:: SOT 273826 SOS 135290 HAS SOPS 135290 HAS SOUS 92342 HAS SOUPS 92342 WITH SCORE 92477.29
AT ITER 2667 NEW BEST:: SOT 273826 SOS 135206 HAS SOPS 135206 HAS SOUS 92236 HAS SOUPS 92236 WITH SCORE 92371.206
AT ITER 2674 NEW BEST:: SOT 273787 SOS 135167 HAS SOPS 135167 HAS SOUS 92204 HAS SOUPS 92204 WITH SCORE 92339.167
AT ITER 2682 NEW BEST:: SOT 273771 SOS 135147 HAS SOPS 135147 HAS SOUS 92184 HAS SOUPS 92184 WITH SCORE 92319.147
AT ITER 2685 NEW BEST:: SOT 273645 SOS 134185 HAS SOPS 134185 HAS SOUS 91953 HAS SOUPS 91953 WITH SCORE 92087.185
AT ITER 2693 NEW BEST:: SOT 273639 SOS 134173 HAS SOPS 134173 HAS SOUS 91941 HAS SOUPS 91941 WITH SCORE 92075.173
AT ITER 2694 NEW BEST:: SOT 273596 SOS 134120 HAS SOPS 134120 HAS SOUS 91768 HAS SOUPS 91768 WITH SCORE 91902.12
AT ITER 2696 NEW BEST:: SOT 273596 SOS 133959 HAS SOPS 133959 HAS SOUS 91624 HAS SOUPS 91624 WITH SCORE 91757.959
AT ITER 2697 NEW BEST:: SOT 273549 SOS 133867 HAS SOPS 133867 HAS SOUS 91480 HAS SOUPS 91480 WITH SCORE 91613.867
AT ITER 2702 NEW BEST:: SOT 273524 SOS 133890 HAS SOPS 133890 HAS SOUS 91449 HAS SOUPS 91449 WITH SCORE 91582.89
AT ITER 2712 NEW BEST:: SOT 273442 SOS 133565 HAS SOPS 133565 HAS SOUS 91353 HAS SOUPS 91353 WITH SCORE 91486.565
AT ITER 2720 NEW BEST:: SOT 273442 SOS 133355 HAS SOPS 133355 HAS SOUS 91318 HAS SOUPS 91318 WITH SCORE 91451.355
AT ITER 2723 NEW BEST:: SOT 273484 SOS 133327 HAS SOPS 133327 HAS SOUS 91316 HAS SOUPS 91316 WITH SCORE 91449.327
AT ITER 2732 NEW BEST:: SOT 273424 SOS 133122 HAS SOPS 133122 HAS SOUS 91197 HAS SOUPS 91197 WITH SCORE 91330.122
AT ITER 2741 NEW BEST:: SOT 273277 SOS 132913 HAS SOPS 132913 HAS SOUS 91010 HAS SOUPS 91010 WITH SCORE 91142.913
AT ITER 2745 NEW BEST:: SOT 273277 SOS 132857 HAS SOPS 132857 HAS SOUS 90996 HAS SOUPS 90996 WITH SCORE 91128.857
AT ITER 2766 NEW BEST:: SOT 273213 SOS 132807 HAS SOPS 132807 HAS SOUS 90928 HAS SOUPS 90928 WITH SCORE 91060.807
AT ITER 2767 NEW BEST:: SOT 273084 SOS 132594 HAS SOPS 132594 HAS SOUS 90675 HAS SOUPS 90675 WITH SCORE 90807.594
AT ITER 2769 NEW BEST:: SOT 272983 SOS 132233 HAS SOPS 132233 HAS SOUS 90519 HAS SOUPS 90519 WITH SCORE 90651.233
AT ITER 2778 NEW BEST:: SOT 272983 SOS 132233 HAS SOPS 132233 HAS SOUS 90498 HAS SOUPS 90498 WITH SCORE 90630.233
AT ITER 2788 NEW BEST:: SOT 272550 SOS 131310 HAS SOPS 131310 HAS SOUS 90329 HAS SOUPS 90329 WITH SCORE 90460.31
AT ITER 2798 NEW BEST:: SOT 272550 SOS 131420 HAS SOPS 131420 HAS SOUS 90315 HAS SOUPS 90315 WITH SCORE 90446.42
AT ITER 2803 NEW BEST:: SOT 272219 SOS 131089 HAS SOPS 131089 HAS SOUS 89984 HAS SOUPS 89984 WITH SCORE 90115.089
AT ITER 2811 NEW BEST:: SOT 272201 SOS 130955 HAS SOPS 130955 HAS SOUS 89908 HAS SOUPS 89908 WITH SCORE 90038.955
AT ITER 2814 NEW BEST:: SOT 272212 SOS 131262 HAS SOPS 131262 HAS SOUS 89892 HAS SOUPS 89892 WITH SCORE 90023.262
AT ITER 2818 NEW BEST:: SOT 272166 SOS 131321 HAS SOPS 131321 HAS SOUS 89620 HAS SOUPS 89620 WITH SCORE 89751.321
AT ITER 2820 NEW BEST:: SOT 272130 SOS 131285 HAS SOPS 131285 HAS SOUS 89572 HAS SOUPS 89572 WITH SCORE 89703.285
AT ITER 2840 NEW BEST:: SOT 272130 SOS 131285 HAS SOPS 131285 HAS SOUS 89568 HAS SOUPS 89568 WITH SCORE 89699.285
AT ITER 2841 NEW BEST:: SOT 271997 SOS 131172 HAS SOPS 131172 HAS SOUS 89455 HAS SOUPS 89455 WITH SCORE 89586.172
AT ITER 2852 NEW BEST:: SOT 271985 SOS 131142 HAS SOPS 131142 HAS SOUS 89413 HAS SOUPS 89413 WITH SCORE 89544.142
AT ITER 2853 NEW BEST:: SOT 271985 SOS 131248 HAS SOPS 131248 HAS SOUS 89307 HAS SOUPS 89307 WITH SCORE 89438.248
AT ITER 2882 NEW BEST:: SOT 271945 SOS 131168 HAS SOPS 131168 HAS SOUS 88927 HAS SOUPS 88927 WITH SCORE 89058.168
AT ITER 2884 NEW BEST:: SOT 271945 SOS 131183 HAS SOPS 131183 HAS SOUS 88922 HAS SOUPS 88922 WITH SCORE 89053.183
AT ITER 2889 NEW BEST:: SOT 271945 SOS 131142 HAS SOPS 131142 HAS SOUS 88913 HAS SOUPS 88913 WITH SCORE 89044.142
AT ITER 2891 NEW BEST:: SOT 271933 SOS 131130 HAS SOPS 131130 HAS SOUS 88905 HAS SOUPS 88905 WITH SCORE 89036.13
AT ITER 2898 NEW BEST:: SOT 271976 SOS 130968 HAS SOPS 130968 HAS SOUS 88757 HAS SOUPS 88757 WITH SCORE 88887.968
AT ITER 2899 NEW BEST:: SOT 271976 SOS 130897 HAS SOPS 130897 HAS SOUS 88694 HAS SOUPS 88694 WITH SCORE 88824.897
AT ITER 2911 NEW BEST:: SOT 271874 SOS 131091 HAS SOPS 131091 HAS SOUS 88605 HAS SOUPS 88605 WITH SCORE 88736.091
AT ITER 2922 NEW BEST:: SOT 271874 SOS 130871 HAS SOPS 130871 HAS SOUS 88291 HAS SOUPS 88291 WITH SCORE 88421.871
AT ITER 2927 NEW BEST:: SOT 271699 SOS 130696 HAS SOPS 130696 HAS SOUS 88116 HAS SOUPS 88116 WITH SCORE 88246.696
AT ITER 2940 NEW BEST:: SOT 271699 SOS 130644 HAS SOPS 130644 HAS SOUS 88113 HAS SOUPS 88113 WITH SCORE 88243.644
AT ITER 2942 NEW BEST:: SOT 271660 SOS 130605 HAS SOPS 130605 HAS SOUS 88084 HAS SOUPS 88084 WITH SCORE 88214.605
AT ITER 2964 NEW BEST:: SOT 271454 SOS 130347 HAS SOPS 130347 HAS SOUS 87822 HAS SOUPS 87822 WITH SCORE 87952.347
AT ITER 2981 NEW BEST:: SOT 271368 SOS 130229 HAS SOPS 130229 HAS SOUS 87703 HAS SOUPS 87703 WITH SCORE 87833.229
AT ITER 2982 NEW BEST:: SOT 271284 SOS 130109 HAS SOPS 130109 HAS SOUS 87583 HAS SOUPS 87583 WITH SCORE 87713.109
AT ITER 2985 NEW BEST:: SOT 271274 SOS 130093 HAS SOPS 130093 HAS SOUS 87532 HAS SOUPS 87532 WITH SCORE 87662.093
AT ITER 2995 NEW BEST:: SOT 271274 SOS 130045 HAS SOPS 130045 HAS SOUS 87532 HAS SOUPS 87532 WITH SCORE 87662.045
AT ITER 3016 NEW BEST:: SOT 271003 SOS 128559 HAS SOPS 128559 HAS SOUS 87162 HAS SOUPS 87162 WITH SCORE 87290.559
AT ITER 3037 NEW BEST:: SOT 271003 SOS 128539 HAS SOPS 128539 HAS SOUS 87132 HAS SOUPS 87132 WITH SCORE 87260.539
AT ITER 3039 NEW BEST:: SOT 270999 SOS 128535 HAS SOPS 128535 HAS SOUS 87120 HAS SOUPS 87120 WITH SCORE 87248.535
AT ITER 3041 NEW BEST:: SOT 270962 SOS 128430 HAS SOPS 128430 HAS SOUS 87074 HAS SOUPS 87074 WITH SCORE 87202.43
AT ITER 3043 NEW BEST:: SOT 270940 SOS 128408 HAS SOPS 128408 HAS SOUS 87053 HAS SOUPS 87053 WITH SCORE 87181.408
AT ITER 3044 NEW BEST:: SOT 270759 SOS 128064 HAS SOPS 128064 HAS SOUS 86825 HAS SOUPS 86825 WITH SCORE 86953.064
AT ITER 3045 NEW BEST:: SOT 270752 SOS 127944 HAS SOPS 127944 HAS SOUS 86811 HAS SOUPS 86811 WITH SCORE 86938.944
AT ITER 3047 NEW BEST:: SOT 270748 SOS 127928 HAS SOPS 127928 HAS SOUS 86803 HAS SOUPS 86803 WITH SCORE 86930.928
AT ITER 3051 NEW BEST:: SOT 270691 SOS 127871 HAS SOPS 127871 HAS SOUS 86746 HAS SOUPS 86746 WITH SCORE 86873.871
AT ITER 3065 NEW BEST:: SOT 270579 SOS 127779 HAS SOPS 127779 HAS SOUS 86637 HAS SOUPS 86637 WITH SCORE 86764.779
AT ITER 3092 NEW BEST:: SOT 270518 SOS 127351 HAS SOPS 127351 HAS SOUS 86512 HAS SOUPS 86512 WITH SCORE 86639.351
AT ITER 3100 NEW BEST:: SOT 270522 SOS 127614 HAS SOPS 127614 HAS SOUS 86485 HAS SOUPS 86485 WITH SCORE 86612.614
AT ITER 3141 NEW BEST:: SOT 270522 SOS 127643 HAS SOPS 127643 HAS SOUS 86466 HAS SOUPS 86466 WITH SCORE 86593.643
AT ITER 3160 NEW BEST:: SOT 270503 SOS 127562 HAS SOPS 127562 HAS SOUS 86303 HAS SOUPS 86303 WITH SCORE 86430.562
AT ITER 3170 NEW BEST:: SOT 270758 SOS 127352 HAS SOPS 127352 HAS SOUS 85989 HAS SOUPS 85989 WITH SCORE 86116.352
AT ITER 3184 NEW BEST:: SOT 270716 SOS 127296 HAS SOPS 127296 HAS SOUS 85933 HAS SOUPS 85933 WITH SCORE 86060.296
AT ITER 3187 NEW BEST:: SOT 270665 SOS 127245 HAS SOPS 127245 HAS SOUS 85882 HAS SOUPS 85882 WITH SCORE 86009.245
AT ITER 3216 NEW BEST:: SOT 270637 SOS 127148 HAS SOPS 127148 HAS SOUS 85869 HAS SOUPS 85869 WITH SCORE 85996.148
AT ITER 3240 NEW BEST:: SOT 270642 SOS 127102 HAS SOPS 127102 HAS SOUS 85841 HAS SOUPS 85841 WITH SCORE 85968.102
AT ITER 3249 NEW BEST:: SOT 270597 SOS 127057 HAS SOPS 127057 HAS SOUS 85796 HAS SOUPS 85796 WITH SCORE 85923.057
AT ITER 3275 NEW BEST:: SOT 270485 SOS 126911 HAS SOPS 126911 HAS SOUS 85526 HAS SOUPS 85526 WITH SCORE 85652.911
AT ITER 3280 NEW BEST:: SOT 270389 SOS 126653 HAS SOPS 126653 HAS SOUS 85248 HAS SOUPS 85248 WITH SCORE 85374.653
AT ITER 3281 NEW BEST:: SOT 270389 SOS 126653 HAS SOPS 126653 HAS SOUS 85120 HAS SOUPS 85120 WITH SCORE 85246.653
AT ITER 3285 NEW BEST:: SOT 270214 SOS 125474 HAS SOPS 125474 HAS SOUS 84861 HAS SOUPS 84861 WITH SCORE 84986.474
AT ITER 3297 NEW BEST:: SOT 270062 SOS 125355 HAS SOPS 125355 HAS SOUS 84724 HAS SOUPS 84724 WITH SCORE 84849.355
AT ITER 3334 NEW BEST:: SOT 270166 SOS 125399 HAS SOPS 125399 HAS SOUS 84672 HAS SOUPS 84672 WITH SCORE 84797.399
AT ITER 3341 NEW BEST:: SOT 270056 SOS 125176 HAS SOPS 125176 HAS SOUS 84434 HAS SOUPS 84434 WITH SCORE 84559.176
AT ITER 3345 NEW BEST:: SOT 270035 SOS 125155 HAS SOPS 125155 HAS SOUS 84413 HAS SOUPS 84413 WITH SCORE 84538.155
AT ITER 3361 NEW BEST:: SOT 270029 SOS 125149 HAS SOPS 125149 HAS SOUS 84407 HAS SOUPS 84407 WITH SCORE 84532.149
AT ITER 3365 NEW BEST:: SOT 269086 SOS 123896 HAS SOPS 123896 HAS SOUS 83317 HAS SOUPS 83317 WITH SCORE 83440.896
AT ITER 3371 NEW BEST:: SOT 269066 SOS 123856 HAS SOPS 123856 HAS SOUS 83277 HAS SOUPS 83277 WITH SCORE 83400.856
AT ITER 3387 NEW BEST:: SOT 269060 SOS 123780 HAS SOPS 123780 HAS SOUS 83271 HAS SOUPS 83271 WITH SCORE 83394.78
AT ITER 3392 NEW BEST:: SOT 269244 SOS 123943 HAS SOPS 123943 HAS SOUS 83265 HAS SOUPS 83265 WITH SCORE 83388.943
AT ITER 3432 NEW BEST:: SOT 269185 SOS 123356 HAS SOPS 123356 HAS SOUS 83006 HAS SOUPS 83006 WITH SCORE 83129.356
AT ITER 3433 NEW BEST:: SOT 269181 SOS 123352 HAS SOPS 123352 HAS SOUS 83002 HAS SOUPS 83002 WITH SCORE 83125.352
AT ITER 3461 NEW BEST:: SOT 269080 SOS 123344 HAS SOPS 123344 HAS SOUS 82951 HAS SOUPS 82951 WITH SCORE 83074.344
AT ITER 3467 NEW BEST:: SOT 268999 SOS 123308 HAS SOPS 123308 HAS SOUS 82929 HAS SOUPS 82929 WITH SCORE 83052.308
AT ITER 3471 NEW BEST:: SOT 268999 SOS 123208 HAS SOPS 123208 HAS SOUS 82853 HAS SOUPS 82853 WITH SCORE 82976.208
AT ITER 3485 NEW BEST:: SOT 268888 SOS 123040 HAS SOPS 123040 HAS SOUS 82746 HAS SOUPS 82746 WITH SCORE 82869.04
AT ITER 3494 NEW BEST:: SOT 268888 SOS 123208 HAS SOPS 123208 HAS SOUS 82690 HAS SOUPS 82690 WITH SCORE 82813.208
AT ITER 3498 NEW BEST:: SOT 268854 SOS 123098 HAS SOPS 123098 HAS SOUS 82596 HAS SOUPS 82596 WITH SCORE 82719.098
AT ITER 3503 NEW BEST:: SOT 268854 SOS 122894 HAS SOPS 122894 HAS SOUS 82542 HAS SOUPS 82542 WITH SCORE 82664.894
AT ITER 3510 NEW BEST:: SOT 268819 SOS 122859 HAS SOPS 122859 HAS SOUS 82492 HAS SOUPS 82492 WITH SCORE 82614.859
AT ITER 3522 NEW BEST:: SOT 268801 SOS 122791 HAS SOPS 122791 HAS SOUS 82428 HAS SOUPS 82428 WITH SCORE 82550.791
AT ITER 3528 NEW BEST:: SOT 268798 SOS 122776 HAS SOPS 122776 HAS SOUS 82416 HAS SOUPS 82416 WITH SCORE 82538.776
AT ITER 3535 NEW BEST:: SOT 268616 SOS 122361 HAS SOPS 122361 HAS SOUS 82318 HAS SOUPS 82318 WITH SCORE 82440.361
AT ITER 3548 NEW BEST:: SOT 268572 SOS 122317 HAS SOPS 122317 HAS SOUS 82263 HAS SOUPS 82263 WITH SCORE 82385.317
AT ITER 3572 NEW BEST:: SOT 268508 SOS 121241 HAS SOPS 121241 HAS SOUS 81924 HAS SOUPS 81924 WITH SCORE 82045.241
AT ITER 3586 NEW BEST:: SOT 268560 SOS 121501 HAS SOPS 121501 HAS SOUS 81918 HAS SOUPS 81918 WITH SCORE 82039.501
AT ITER 3604 NEW BEST:: SOT 268560 SOS 121503 HAS SOPS 121503 HAS SOUS 81688 HAS SOUPS 81688 WITH SCORE 81809.503
AT ITER 3617 NEW BEST:: SOT 268548 SOS 121488 HAS SOPS 121488 HAS SOUS 81673 HAS SOUPS 81673 WITH SCORE 81794.488
AT ITER 3619 NEW BEST:: SOT 268548 SOS 121448 HAS SOPS 121448 HAS SOUS 81657 HAS SOUPS 81657 WITH SCORE 81778.448
AT ITER 3620 NEW BEST:: SOT 268107 SOS 121106 HAS SOPS 121106 HAS SOUS 81253 HAS SOUPS 81253 WITH SCORE 81374.106
AT ITER 3626 NEW BEST:: SOT 268019 SOS 121026 HAS SOPS 121026 HAS SOUS 81173 HAS SOUPS 81173 WITH SCORE 81294.026
AT ITER 3628 NEW BEST:: SOT 268019 SOS 120574 HAS SOPS 120574 HAS SOUS 80800 HAS SOUPS 80800 WITH SCORE 80920.574
AT ITER 3643 NEW BEST:: SOT 267990 SOS 120577 HAS SOPS 120577 HAS SOUS 80797 HAS SOUPS 80797 WITH SCORE 80917.577
AT ITER 3659 NEW BEST:: SOT 267714 SOS 119997 HAS SOPS 119997 HAS SOUS 80303 HAS SOUPS 80303 WITH SCORE 80422.997
AT ITER 3683 NEW BEST:: SOT 267634 SOS 119862 HAS SOPS 119862 HAS SOUS 80168 HAS SOUPS 80168 WITH SCORE 80287.862
AT ITER 3684 NEW BEST:: SOT 267634 SOS 119977 HAS SOPS 119977 HAS SOUS 80163 HAS SOUPS 80163 WITH SCORE 80282.977
AT ITER 3700 NEW BEST:: SOT 267634 SOS 119886 HAS SOPS 119886 HAS SOUS 80068 HAS SOUPS 80068 WITH SCORE 80187.886
AT ITER 3702 NEW BEST:: SOT 267634 SOS 119688 HAS SOPS 119688 HAS SOUS 80021 HAS SOUPS 80021 WITH SCORE 80140.688
AT ITER 3707 NEW BEST:: SOT 267629 SOS 119681 HAS SOPS 119681 HAS SOUS 79984 HAS SOUPS 79984 WITH SCORE 80103.681
AT ITER 3731 NEW BEST:: SOT 267650 SOS 119984 HAS SOPS 119984 HAS SOUS 79876 HAS SOUPS 79876 WITH SCORE 79995.984
AT ITER 3737 NEW BEST:: SOT 267615 SOS 119918 HAS SOPS 119918 HAS SOUS 79837 HAS SOUPS 79837 WITH SCORE 79956.918
AT ITER 3743 NEW BEST:: SOT 267603 SOS 119952 HAS SOPS 119952 HAS SOUS 79807 HAS SOUPS 79807 WITH SCORE 79926.952
AT ITER 3753 NEW BEST:: SOT 267574 SOS 119918 HAS SOPS 119918 HAS SOUS 79773 HAS SOUPS 79773 WITH SCORE 79892.918
AT ITER 3754 NEW BEST:: SOT 267467 SOS 119811 HAS SOPS 119811 HAS SOUS 79666 HAS SOUPS 79666 WITH SCORE 79785.811
AT ITER 3755 NEW BEST:: SOT 267366 SOS 119710 HAS SOPS 119710 HAS SOUS 79565 HAS SOUPS 79565 WITH SCORE 79684.71
AT ITER 3765 NEW BEST:: SOT 267366 SOS 119623 HAS SOPS 119623 HAS SOUS 79539 HAS SOUPS 79539 WITH SCORE 79658.623
AT ITER 3769 NEW BEST:: SOT 267337 SOS 119592 HAS SOPS 119592 HAS SOUS 79288 HAS SOUPS 79288 WITH SCORE 79407.592
AT ITER 3794 NEW BEST:: SOT 267304 SOS 119424 HAS SOPS 119424 HAS SOUS 79231 HAS SOUPS 79231 WITH SCORE 79350.424
AT ITER 3807 NEW BEST:: SOT 267304 SOS 119390 HAS SOPS 119390 HAS SOUS 79146 HAS SOUPS 79146 WITH SCORE 79265.39
AT ITER 3811 NEW BEST:: SOT 267317 SOS 119341 HAS SOPS 119341 HAS SOUS 79090 HAS SOUPS 79090 WITH SCORE 79209.341
AT ITER 3832 NEW BEST:: SOT 267291 SOS 119313 HAS SOPS 119313 HAS SOUS 79058 HAS SOUPS 79058 WITH SCORE 79177.313
AT ITER 3835 NEW BEST:: SOT 267276 SOS 119298 HAS SOPS 119298 HAS SOUS 79038 HAS SOUPS 79038 WITH SCORE 79157.298
AT ITER 3839 NEW BEST:: SOT 267300 SOS 119322 HAS SOPS 119322 HAS SOUS 78999 HAS SOUPS 78999 WITH SCORE 79118.322
AT ITER 3843 NEW BEST:: SOT 267140 SOS 119162 HAS SOPS 119162 HAS SOUS 78839 HAS SOUPS 78839 WITH SCORE 78958.162
AT ITER 3844 NEW BEST:: SOT 267128 SOS 119150 HAS SOPS 119150 HAS SOUS 78821 HAS SOUPS 78821 WITH SCORE 78940.15
AT ITER 3845 NEW BEST:: SOT 267102 SOS 119124 HAS SOPS 119124 HAS SOUS 78766 HAS SOUPS 78766 WITH SCORE 78885.124
AT ITER 3852 NEW BEST:: SOT 267057 SOS 119034 HAS SOPS 119034 HAS SOUS 78676 HAS SOUPS 78676 WITH SCORE 78795.034
AT ITER 3854 NEW BEST:: SOT 267051 SOS 118934 HAS SOPS 118934 HAS SOUS 78657 HAS SOUPS 78657 WITH SCORE 78775.934
AT ITER 3858 NEW BEST:: SOT 267051 SOS 118924 HAS SOPS 118924 HAS SOUS 78647 HAS SOUPS 78647 WITH SCORE 78765.924
AT ITER 3863 NEW BEST:: SOT 267105 SOS 118842 HAS SOPS 118842 HAS SOUS 78642 HAS SOUPS 78642 WITH SCORE 78760.842
AT ITER 3868 NEW BEST:: SOT 267105 SOS 118777 HAS SOPS 118777 HAS SOUS 78622 HAS SOUPS 78622 WITH SCORE 78740.777
AT ITER 3880 NEW BEST:: SOT 267100 SOS 118796 HAS SOPS 118796 HAS SOUS 78618 HAS SOUPS 78618 WITH SCORE 78736.796
AT ITER 3901 NEW BEST:: SOT 266940 SOS 118650 HAS SOPS 118650 HAS SOUS 78373 HAS SOUPS 78373 WITH SCORE 78491.65
AT ITER 3903 NEW BEST:: SOT 266940 SOS 118668 HAS SOPS 118668 HAS SOUS 78369 HAS SOUPS 78369 WITH SCORE 78487.668
AT ITER 3905 NEW BEST:: SOT 266940 SOS 118658 HAS SOPS 118658 HAS SOUS 78319 HAS SOUPS 78319 WITH SCORE 78437.658
AT ITER 3908 NEW BEST:: SOT 266851 SOS 118526 HAS SOPS 118526 HAS SOUS 78127 HAS SOUPS 78127 WITH SCORE 78245.526
AT ITER 3916 NEW BEST:: SOT 266739 SOS 118403 HAS SOPS 118403 HAS SOUS 77899 HAS SOUPS 77899 WITH SCORE 78017.403
AT ITER 3929 NEW BEST:: SOT 266731 SOS 118395 HAS SOPS 118395 HAS SOUS 77891 HAS SOUPS 77891 WITH SCORE 78009.395
AT ITER 3950 NEW BEST:: SOT 266649 SOS 118074 HAS SOPS 118074 HAS SOUS 77784 HAS SOUPS 77784 WITH SCORE 77902.074
AT ITER 3952 NEW BEST:: SOT 266649 SOS 118108 HAS SOPS 118108 HAS SOUS 77763 HAS SOUPS 77763 WITH SCORE 77881.108
AT ITER 3966 NEW BEST:: SOT 266603 SOS 117944 HAS SOPS 117944 HAS SOUS 77706 HAS SOUPS 77706 WITH SCORE 77823.944
AT ITER 3982 NEW BEST:: SOT 266641 SOS 117790 HAS SOPS 117790 HAS SOUS 77646 HAS SOUPS 77646 WITH SCORE 77763.79
AT ITER 3984 NEW BEST:: SOT 266641 SOS 117134 HAS SOPS 117134 HAS SOUS 77483 HAS SOUPS 77483 WITH SCORE 77600.134
AT ITER 3989 NEW BEST:: SOT 266524 SOS 116975 HAS SOPS 116975 HAS SOUS 77324 HAS SOUPS 77324 WITH SCORE 77440.975
AT ITER 3993 NEW BEST:: SOT 266482 SOS 116809 HAS SOPS 116809 HAS SOUS 77272 HAS SOUPS 77272 WITH SCORE 77388.809
AT ITER 4004 NEW BEST:: SOT 266420 SOS 116780 HAS SOPS 116780 HAS SOUS 77229 HAS SOUPS 77229 WITH SCORE 77345.78
AT ITER 4006 NEW BEST:: SOT 266367 SOS 116690 HAS SOPS 116690 HAS SOUS 77151 HAS SOUPS 77151 WITH SCORE 77267.69
AT ITER 4019 NEW BEST:: SOT 266294 SOS 116617 HAS SOPS 116617 HAS SOUS 77053 HAS SOUPS 77053 WITH SCORE 77169.617
AT ITER 4027 NEW BEST:: SOT 265955 SOS 116100 HAS SOPS 116100 HAS SOUS 76648 HAS SOUPS 76648 WITH SCORE 76764.1
AT ITER 4044 NEW BEST:: SOT 265864 SOS 116020 HAS SOPS 116020 HAS SOUS 76603 HAS SOUPS 76603 WITH SCORE 76719.02
AT ITER 4048 NEW BEST:: SOT 265793 SOS 115627 HAS SOPS 115627 HAS SOUS 76404 HAS SOUPS 76404 WITH SCORE 76519.627
AT ITER 4054 NEW BEST:: SOT 265723 SOS 115557 HAS SOPS 115557 HAS SOUS 76230 HAS SOUPS 76230 WITH SCORE 76345.557
AT ITER 4082 NEW BEST:: SOT 265589 SOS 115349 HAS SOPS 115349 HAS SOUS 76049 HAS SOUPS 76049 WITH SCORE 76164.349
AT ITER 4110 NEW BEST:: SOT 265581 SOS 115242 HAS SOPS 115242 HAS SOUS 75928 HAS SOUPS 75928 WITH SCORE 76043.242
AT ITER 4131 NEW BEST:: SOT 265573 SOS 115234 HAS SOPS 115234 HAS SOUS 75904 HAS SOUPS 75904 WITH SCORE 76019.234
AT ITER 4132 NEW BEST:: SOT 265487 SOS 115185 HAS SOPS 115185 HAS SOUS 75855 HAS SOUPS 75855 WITH SCORE 75970.185
AT ITER 4134 NEW BEST:: SOT 265413 SOS 115001 HAS SOPS 115001 HAS SOUS 75813 HAS SOUPS 75813 WITH SCORE 75928.001
AT ITER 4156 NEW BEST:: SOT 265370 SOS 115035 HAS SOPS 115035 HAS SOUS 75756 HAS SOUPS 75756 WITH SCORE 75871.035
AT ITER 4158 NEW BEST:: SOT 265370 SOS 114737 HAS SOPS 114737 HAS SOUS 75726 HAS SOUPS 75726 WITH SCORE 75840.737
AT ITER 4163 NEW BEST:: SOT 265370 SOS 114722 HAS SOPS 114722 HAS SOUS 75666 HAS SOUPS 75666 WITH SCORE 75780.722
AT ITER 4179 NEW BEST:: SOT 265370 SOS 114680 HAS SOPS 114680 HAS SOUS 75652 HAS SOUPS 75652 WITH SCORE 75766.68
AT ITER 4180 NEW BEST:: SOT 265355 SOS 114653 HAS SOPS 114653 HAS SOUS 75634 HAS SOUPS 75634 WITH SCORE 75748.653
AT ITER 4192 NEW BEST:: SOT 265245 SOS 114545 HAS SOPS 114545 HAS SOUS 75526 HAS SOUPS 75526 WITH SCORE 75640.545
AT ITER 4204 NEW BEST:: SOT 265255 SOS 114555 HAS SOPS 114555 HAS SOUS 75516 HAS SOUPS 75516 WITH SCORE 75630.555
AT ITER 4210 NEW BEST:: SOT 265267 SOS 114545 HAS SOPS 114545 HAS SOUS 75461 HAS SOUPS 75461 WITH SCORE 75575.545
AT ITER 4218 NEW BEST:: SOT 265231 SOS 114487 HAS SOPS 114487 HAS SOUS 75371 HAS SOUPS 75371 WITH SCORE 75485.487
AT ITER 4223 NEW BEST:: SOT 265231 SOS 114393 HAS SOPS 114393 HAS SOUS 75371 HAS SOUPS 75371 WITH SCORE 75485.393
AT ITER 4229 NEW BEST:: SOT 265223 SOS 114321 HAS SOPS 114321 HAS SOUS 75355 HAS SOUPS 75355 WITH SCORE 75469.321
AT ITER 4235 NEW BEST:: SOT 265197 SOS 114269 HAS SOPS 114269 HAS SOUS 75234 HAS SOUPS 75234 WITH SCORE 75348.269
AT ITER 4244 NEW BEST:: SOT 265227 SOS 114263 HAS SOPS 114263 HAS SOUS 75230 HAS SOUPS 75230 WITH SCORE 75344.263
AT ITER 4245 NEW BEST:: SOT 265109 SOS 114159 HAS SOPS 114159 HAS SOUS 75131 HAS SOUPS 75131 WITH SCORE 75245.159
AT ITER 4247 NEW BEST:: SOT 265149 SOS 114156 HAS SOPS 114156 HAS SOUS 75107 HAS SOUPS 75107 WITH SCORE 75221.156
AT ITER 4248 NEW BEST:: SOT 265159 SOS 114162 HAS SOPS 114162 HAS SOUS 75098 HAS SOUPS 75098 WITH SCORE 75212.162
AT ITER 4253 NEW BEST:: SOT 265087 SOS 114078 HAS SOPS 114078 HAS SOUS 75014 HAS SOUPS 75014 WITH SCORE 75128.078
AT ITER 4260 NEW BEST:: SOT 265053 SOS 113846 HAS SOPS 113846 HAS SOUS 74798 HAS SOUPS 74798 WITH SCORE 74911.846
AT ITER 4269 NEW BEST:: SOT 264815 SOS 113564 HAS SOPS 113564 HAS SOUS 74524 HAS SOUPS 74524 WITH SCORE 74637.564
AT ITER 4271 NEW BEST:: SOT 264775 SOS 113616 HAS SOPS 113616 HAS SOUS 74464 HAS SOUPS 74464 WITH SCORE 74577.616
AT ITER 4278 NEW BEST:: SOT 264767 SOS 113608 HAS SOPS 113608 HAS SOUS 74452 HAS SOUPS 74452 WITH SCORE 74565.608
AT ITER 4279 NEW BEST:: SOT 264751 SOS 113592 HAS SOPS 113592 HAS SOUS 74415 HAS SOUPS 74415 WITH SCORE 74528.592
AT ITER 4294 NEW BEST:: SOT 264721 SOS 113418 HAS SOPS 113418 HAS SOUS 74301 HAS SOUPS 74301 WITH SCORE 74414.418
AT ITER 4332 NEW BEST:: SOT 264594 SOS 113127 HAS SOPS 113127 HAS SOUS 74149 HAS SOUPS 74149 WITH SCORE 74262.127
AT ITER 4346 NEW BEST:: SOT 264439 SOS 113153 HAS SOPS 113153 HAS SOUS 74017 HAS SOUPS 74017 WITH SCORE 74130.153
AT ITER 4347 NEW BEST:: SOT 264356 SOS 113002 HAS SOPS 113002 HAS SOUS 73907 HAS SOUPS 73907 WITH SCORE 74020.002
AT ITER 4356 NEW BEST:: SOT 264344 SOS 112990 HAS SOPS 112990 HAS SOUS 73895 HAS SOUPS 73895 WITH SCORE 74007.99
AT ITER 4368 NEW BEST:: SOT 264351 SOS 113001 HAS SOPS 113001 HAS SOUS 73886 HAS SOUPS 73886 WITH SCORE 73999.001
AT ITER 4378 NEW BEST:: SOT 264357 SOS 112951 HAS SOPS 112951 HAS SOUS 73793 HAS SOUPS 73793 WITH SCORE 73905.951
AT ITER 4393 NEW BEST:: SOT 264347 SOS 112881 HAS SOPS 112881 HAS SOUS 73773 HAS SOUPS 73773 WITH SCORE 73885.881
AT ITER 4432 NEW BEST:: SOT 264344 SOS 112878 HAS SOPS 112878 HAS SOUS 73770 HAS SOUPS 73770 WITH SCORE 73882.878
AT ITER 4436 NEW BEST:: SOT 264333 SOS 112855 HAS SOPS 112855 HAS SOUS 73750 HAS SOUPS 73750 WITH SCORE 73862.855
AT ITER 4443 NEW BEST:: SOT 264364 SOS 112765 HAS SOPS 112765 HAS SOUS 73640 HAS SOUPS 73640 WITH SCORE 73752.765
AT ITER 4463 NEW BEST:: SOT 264140 SOS 112520 HAS SOPS 112520 HAS SOUS 73414 HAS SOUPS 73414 WITH SCORE 73526.52
AT ITER 4475 NEW BEST:: SOT 264109 SOS 112365 HAS SOPS 112365 HAS SOUS 73347 HAS SOUPS 73347 WITH SCORE 73459.365
AT ITER 4483 NEW BEST:: SOT 264099 SOS 111952 HAS SOPS 111952 HAS SOUS 73234 HAS SOUPS 73234 WITH SCORE 73345.952
AT ITER 4487 NEW BEST:: SOT 264099 SOS 111931 HAS SOPS 111931 HAS SOUS 73214 HAS SOUPS 73214 WITH SCORE 73325.931
AT ITER 4491 NEW BEST:: SOT 264058 SOS 111890 HAS SOPS 111890 HAS SOUS 73173 HAS SOUPS 73173 WITH SCORE 73284.89
AT ITER 4503 NEW BEST:: SOT 264066 SOS 111449 HAS SOPS 111449 HAS SOUS 73005 HAS SOUPS 73005 WITH SCORE 73116.449
AT ITER 4518 NEW BEST:: SOT 264066 SOS 111441 HAS SOPS 111441 HAS SOUS 72997 HAS SOUPS 72997 WITH SCORE 73108.441
AT ITER 4644 NEW BEST:: SOT 263879 SOS 111189 HAS SOPS 111189 HAS SOUS 72880 HAS SOUPS 72880 WITH SCORE 72991.189
AT ITER 4654 NEW BEST:: SOT 263877 SOS 111187 HAS SOPS 111187 HAS SOUS 72878 HAS SOUPS 72878 WITH SCORE 72989.187
AT ITER 4690 NEW BEST:: SOT 263873 SOS 111179 HAS SOPS 111179 HAS SOUS 72878 HAS SOUPS 72878 WITH SCORE 72989.179
AT ITER 4695 NEW BEST:: SOT 263884 SOS 111190 HAS SOPS 111190 HAS SOUS 72828 HAS SOUPS 72828 WITH SCORE 72939.19
AT ITER 4720 NEW BEST:: SOT 263868 SOS 111150 HAS SOPS 111150 HAS SOUS 72800 HAS SOUPS 72800 WITH SCORE 72911.15
AT ITER 4764 NEW BEST:: SOT 263876 SOS 111153 HAS SOPS 111153 HAS SOUS 72683 HAS SOUPS 72683 WITH SCORE 72794.153
AT ITER 4777 NEW BEST:: SOT 263739 SOS 110818 HAS SOPS 110818 HAS SOUS 72529 HAS SOUPS 72529 WITH SCORE 72639.818
AT ITER 4785 NEW BEST:: SOT 263739 SOS 110836 HAS SOPS 110836 HAS SOUS 72484 HAS SOUPS 72484 WITH SCORE 72594.836
AT ITER 4794 NEW BEST:: SOT 263724 SOS 110848 HAS SOPS 110848 HAS SOUS 72371 HAS SOUPS 72371 WITH SCORE 72481.848
AT ITER 4801 NEW BEST:: SOT 263724 SOS 110898 HAS SOPS 110898 HAS SOUS 72328 HAS SOUPS 72328 WITH SCORE 72438.898
AT ITER 4806 NEW BEST:: SOT 263724 SOS 110898 HAS SOPS 110898 HAS SOUS 72318 HAS SOUPS 72318 WITH SCORE 72428.898
AT ITER 4841 NEW BEST:: SOT 263718 SOS 110556 HAS SOPS 110556 HAS SOUS 72256 HAS SOUPS 72256 WITH SCORE 72366.556
AT ITER 4851 NEW BEST:: SOT 263713 SOS 110517 HAS SOPS 110517 HAS SOUS 72237 HAS SOUPS 72237 WITH SCORE 72347.517
AT ITER 4873 NEW BEST:: SOT 263720 SOS 110550 HAS SOPS 110550 HAS SOUS 72187 HAS SOUPS 72187 WITH SCORE 72297.55
AT ITER 4885 NEW BEST:: SOT 263669 SOS 110299 HAS SOPS 110299 HAS SOUS 72128 HAS SOUPS 72128 WITH SCORE 72238.299
AT ITER 4903 NEW BEST:: SOT 263259 SOS 109889 HAS SOPS 109889 HAS SOUS 70992 HAS SOUPS 70992 WITH SCORE 71101.889
AT ITER 4913 NEW BEST:: SOT 263249 SOS 109879 HAS SOPS 109879 HAS SOUS 70952 HAS SOUPS 70952 WITH SCORE 71061.879
AT ITER 4928 NEW BEST:: SOT 263110 SOS 109624 HAS SOPS 109624 HAS SOUS 70547 HAS SOUPS 70547 WITH SCORE 70656.624
AT ITER 4932 NEW BEST:: SOT 263077 SOS 109483 HAS SOPS 109483 HAS SOUS 70482 HAS SOUPS 70482 WITH SCORE 70591.483
AT ITER 4943 NEW BEST:: SOT 263051 SOS 109181 HAS SOPS 109181 HAS SOUS 70359 HAS SOUPS 70359 WITH SCORE 70468.181
AT ITER 4979 NEW BEST:: SOT 263048 SOS 109178 HAS SOPS 109178 HAS SOUS 70356 HAS SOUPS 70356 WITH SCORE 70465.178
AT ITER 4982 NEW BEST:: SOT 263048 SOS 109040 HAS SOPS 109040 HAS SOUS 70241 HAS SOUPS 70241 WITH SCORE 70350.04
AT ITER 4995 NEW BEST:: SOT 262935 SOS 108854 HAS SOPS 108854 HAS SOUS 70055 HAS SOUPS 70055 WITH SCORE 70163.854
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-00 (EU( (! ( potential( (tk(P335)) <= (tk(P322)) ) & potential( ( 2 ) <= (tk(P12)) ) )),(AX( potential( ( 2 ) <= (tk(P384)) ))) ))
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-01 (! (AF(( potential( ( 3 ) <= (tk(P481)) ) | ( potential( ( 1 ) <= (tk(P347)) ) & potential( (tk(P32)) <= (tk(P312)) ) ) ))))
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-02 (AF(( (! ( potential( ( 2 ) <= (tk(P478)) ) | potential( ( 3 ) <= (tk(P514)) ) )) & (! (! potential( ( 3 ) <= (tk(P50)) ))) )))
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-03 ( (EU( ( potential( (tk(P107)) <= (tk(P226)) ) & potential( (tk(P294)) <= (tk(P349)) ) ),potential( ( 1 ) <= (tk(P214)) ) )) | (AU( ( potential( (tk(P299)) <= (tk(P494)) ) | potential( (tk(P18)) <= (tk(P379)) ) ),potential( ( 3 ) <= (tk(P218)) ) )) )
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-04 ( (EF(( potential( ( 2 ) <= (tk(P331)) ) & ( potential( (tk(P195)) <= (tk(P402)) ) & potential( (tk(P218)) <= (tk(P161)) ) ) ))) | ( ( (EX( potential( (tk(P419)) <= (tk(P379)) ))) | ( ( potential( ( 2 ) <= (tk(P489)) ) | potential( ( 1 ) <= (tk(P218)) ) ) & (! potential( (tk(P509)) <= (tk(P292)) )) ) ) | (AG( potential( (tk(P342)) <= (tk(P496)) ))) ) )
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-05 ( (AU( potential( (tk(P373)) <= (tk(P291)) ),( potential( ( 3 ) <= (tk(P361)) ) & potential( (tk(P142)) <= (tk(P47)) ) ) )) | (AF(potential( ( 2 ) <= (tk(P86)) ))) )
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-06 (AF(( (! (! potential( ( 1 ) <= (tk(P220)) ))) & potential( (tk(P170)) <= (tk(P478)) ) )))
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-07 (EG( ( (EG( potential( (tk(P113)) <= (tk(P517)) ))) | (! ( potential( ( 3 ) <= (tk(P361)) ) & potential( ( 3 ) <= (tk(P70)) ) )) )))
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-08 (! (AF(potential( ( 1 ) <= (tk(P340)) ))))
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-09 (! (AF(( ( potential( ( 1 ) <= (tk(P281)) ) & potential( ( 3 ) <= (tk(P361)) ) ) | ( potential( (tk(P183)) <= (tk(P477)) ) & potential( ( 3 ) <= (tk(P318)) ) ) ))))
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-10 (! (EG( (! ( potential( ( 3 ) <= (tk(P169)) ) & potential( ( 1 ) <= (tk(P236)) ) )))))
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-11 ( (EF((AG( potential( (tk(P422)) <= (tk(P106)) ))))) & (AF(( potential( (tk(P211)) <= (tk(P253)) ) | (! potential( ( 3 ) <= (tk(P362)) )) ))) )
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-12 (AF((! potential( (tk(P95)) <= (tk(P205)) ))))
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-13 (EG( (AF((! potential( (tk(P191)) <= (tk(P261)) ))))))
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-14 (EF((AG( potential( (tk(P59)) <= (tk(P76)) )))))
PROPERTY: ShieldRVs-PT-040A-CTLCardinality-15 (EU( potential( (tk(P261)) <= (tk(P401)) ),( potential( (tk(P307)) <= (tk(P475)) ) & ( potential( (tk(P153)) <= (tk(P95)) ) & potential( ( 1 ) <= (tk(P210)) ) ) ) ))

BK_TIME_CONFINEMENT_REACHED

--------------------
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="ShieldRVs-PT-040A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldRVs-PT-040A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470100875"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-040A.tgz
mv ShieldRVs-PT-040A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;