About the Execution of smart for NoC3x3-PT-7A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15768.320 | 3600000.00 | 3600049.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500428.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-7A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500428
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 3.6K Apr 8 15:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 15:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Apr 6 20:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Apr 6 20:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 6 04:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 6 04:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 355K Mar 24 05:37 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 NoC3x3-PT-7A-CTLFireability-00
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-01
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-02
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-03
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-04
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-05
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-06
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-07
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-08
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-09
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-10
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-11
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-12
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-13
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-14
FORMULA_NAME NoC3x3-PT-7A-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589642912609
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 7A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 801 places, 1544 transitions, 4519 arcs.
AT ITER 0 NEW BEST:: SOT 855360 SOS 611194 HAS SOPS 610234 HAS SOUS 425035 HAS SOUPS 424383 WITH SCORE 424994.194
AT ITER 2 NEW BEST:: SOT 855360 SOS 611288 HAS SOPS 610409 HAS SOUS 424914 HAS SOUPS 424303 WITH SCORE 424914.288
AT ITER 7 NEW BEST:: SOT 855157 SOS 610882 HAS SOPS 610003 HAS SOUS 424305 HAS SOUPS 423694 WITH SCORE 424304.882
AT ITER 11 NEW BEST:: SOT 850605 SOS 608797 HAS SOPS 607918 HAS SOUS 420192 HAS SOUPS 419581 WITH SCORE 420189.797
AT ITER 12 NEW BEST:: SOT 850091 SOS 609664 HAS SOPS 608785 HAS SOUS 418602 HAS SOUPS 417991 WITH SCORE 418600.664
AT ITER 16 NEW BEST:: SOT 850372 SOS 609631 HAS SOPS 608752 HAS SOUS 418103 HAS SOUPS 417492 WITH SCORE 418101.631
AT ITER 17 NEW BEST:: SOT 850751 SOS 610389 HAS SOPS 609510 HAS SOUS 418015 HAS SOUPS 417404 WITH SCORE 418014.389
AT ITER 18 NEW BEST:: SOT 850937 SOS 608776 HAS SOPS 607897 HAS SOUS 417764 HAS SOUPS 417153 WITH SCORE 417761.776
AT ITER 21 NEW BEST:: SOT 850815 SOS 608521 HAS SOPS 607642 HAS SOUS 416869 HAS SOUPS 416258 WITH SCORE 416866.521
AT ITER 24 NEW BEST:: SOT 849704 SOS 607204 HAS SOPS 606325 HAS SOUS 415318 HAS SOUPS 414707 WITH SCORE 415314.204
AT ITER 26 NEW BEST:: SOT 849416 SOS 607203 HAS SOPS 606324 HAS SOUS 415098 HAS SOUPS 414487 WITH SCORE 415094.203
AT ITER 28 NEW BEST:: SOT 849413 SOS 607200 HAS SOPS 606321 HAS SOUS 415092 HAS SOUPS 414481 WITH SCORE 415088.2
AT ITER 31 NEW BEST:: SOT 849243 SOS 604888 HAS SOPS 604009 HAS SOUS 414538 HAS SOUPS 413927 WITH SCORE 414531.888
AT ITER 33 NEW BEST:: SOT 849612 SOS 605192 HAS SOPS 604313 HAS SOUS 414477 HAS SOUPS 413866 WITH SCORE 414471.192
AT ITER 34 NEW BEST:: SOT 849518 SOS 605098 HAS SOPS 604219 HAS SOUS 414475 HAS SOUPS 413864 WITH SCORE 414469.098
AT ITER 35 NEW BEST:: SOT 848927 SOS 603921 HAS SOPS 603042 HAS SOUS 413497 HAS SOUPS 412886 WITH SCORE 413489.921
AT ITER 38 NEW BEST:: SOT 849557 SOS 604582 HAS SOPS 603703 HAS SOUS 413481 HAS SOUPS 412870 WITH SCORE 413474.582
AT ITER 40 NEW BEST:: SOT 847390 SOS 602089 HAS SOPS 601210 HAS SOUS 410520 HAS SOUPS 409909 WITH SCORE 410511.089
AT ITER 41 NEW BEST:: SOT 847290 SOS 601889 HAS SOPS 601010 HAS SOUS 410490 HAS SOUPS 409879 WITH SCORE 410480.889
AT ITER 42 NEW BEST:: SOT 844344 SOS 599084 HAS SOPS 598205 HAS SOUS 407406 HAS SOUPS 406795 WITH SCORE 407394.084
AT ITER 45 NEW BEST:: SOT 844344 SOS 598628 HAS SOPS 597749 HAS SOUS 407355 HAS SOUPS 406744 WITH SCORE 407342.628
AT ITER 46 NEW BEST:: SOT 844224 SOS 598508 HAS SOPS 597629 HAS SOUS 407350 HAS SOUPS 406739 WITH SCORE 407337.508
AT ITER 47 NEW BEST:: SOT 842492 SOS 596776 HAS SOPS 595897 HAS SOUS 405618 HAS SOUPS 405007 WITH SCORE 405603.776
AT ITER 50 NEW BEST:: SOT 842581 SOS 596509 HAS SOPS 595630 HAS SOUS 405529 HAS SOUPS 404918 WITH SCORE 405514.509
AT ITER 54 NEW BEST:: SOT 842468 SOS 596170 HAS SOPS 595291 HAS SOUS 405303 HAS SOUPS 404692 WITH SCORE 405288.17
AT ITER 55 NEW BEST:: SOT 842348 SOS 595386 HAS SOPS 594507 HAS SOUS 405183 HAS SOUPS 404572 WITH SCORE 405167.386
AT ITER 59 NEW BEST:: SOT 842581 SOS 595584 HAS SOPS 594705 HAS SOUS 405169 HAS SOUPS 404558 WITH SCORE 405153.584
AT ITER 60 NEW BEST:: SOT 842580 SOS 595582 HAS SOPS 594703 HAS SOUS 405167 HAS SOUPS 404556 WITH SCORE 405151.582
AT ITER 61 NEW BEST:: SOT 842540 SOS 595096 HAS SOPS 594217 HAS SOUS 404878 HAS SOUPS 404267 WITH SCORE 404862.096
AT ITER 64 NEW BEST:: SOT 842470 SOS 595334 HAS SOPS 594466 HAS SOUS 404512 HAS SOUPS 403912 WITH SCORE 404507.334
AT ITER 65 NEW BEST:: SOT 842451 SOS 595257 HAS SOPS 594356 HAS SOUS 404512 HAS SOUPS 403879 WITH SCORE 404474.257
AT ITER 66 NEW BEST:: SOT 842421 SOS 595171 HAS SOPS 594206 HAS SOUS 404482 HAS SOUPS 403785 WITH SCORE 404380.171
AT ITER 68 NEW BEST:: SOT 842296 SOS 594780 HAS SOPS 593815 HAS SOUS 403825 HAS SOUPS 403128 WITH SCORE 403722.78
AT ITER 71 NEW BEST:: SOT 841851 SOS 594177 HAS SOPS 593212 HAS SOUS 402964 HAS SOUPS 402267 WITH SCORE 402861.177
AT ITER 75 NEW BEST:: SOT 842344 SOS 593405 HAS SOPS 592440 HAS SOUS 402237 HAS SOUPS 401540 WITH SCORE 402133.405
AT ITER 76 NEW BEST:: SOT 842343 SOS 593254 HAS SOPS 592289 HAS SOUS 401992 HAS SOUPS 401295 WITH SCORE 401888.254
AT ITER 84 NEW BEST:: SOT 842356 SOS 593432 HAS SOPS 592467 HAS SOUS 401950 HAS SOUPS 401253 WITH SCORE 401846.432
AT ITER 87 NEW BEST:: SOT 842699 SOS 592395 HAS SOPS 591059 HAS SOUS 402146 HAS SOUPS 401116 WITH SCORE 401708.395
AT ITER 91 NEW BEST:: SOT 842533 SOS 591897 HAS SOPS 590561 HAS SOUS 401733 HAS SOUPS 400703 WITH SCORE 401294.897
AT ITER 92 NEW BEST:: SOT 841881 SOS 591002 HAS SOPS 589666 HAS SOUS 399910 HAS SOUPS 398880 WITH SCORE 399471.002
AT ITER 96 NEW BEST:: SOT 841253 SOS 590771 HAS SOPS 589435 HAS SOUS 399691 HAS SOUPS 398661 WITH SCORE 399251.771
AT ITER 97 NEW BEST:: SOT 841267 SOS 591021 HAS SOPS 589837 HAS SOUS 399328 HAS SOUPS 398426 WITH SCORE 399017.021
AT ITER 98 NEW BEST:: SOT 841177 SOS 590911 HAS SOPS 589522 HAS SOUS 399328 HAS SOUPS 398221 WITH SCORE 398811.911
AT ITER 99 NEW BEST:: SOT 841326 SOS 590671 HAS SOPS 589282 HAS SOUS 399230 HAS SOUPS 398123 WITH SCORE 398713.671
AT ITER 100 NEW BEST:: SOT 840903 SOS 589395 HAS SOPS 588006 HAS SOUS 399167 HAS SOUPS 398060 WITH SCORE 398649.395
AT ITER 102 NEW BEST:: SOT 840579 SOS 588377 HAS SOPS 586988 HAS SOUS 398606 HAS SOUPS 397499 WITH SCORE 398087.377
AT ITER 106 NEW BEST:: SOT 840299 SOS 587303 HAS SOPS 585914 HAS SOUS 397921 HAS SOUPS 396814 WITH SCORE 397401.303
AT ITER 107 NEW BEST:: SOT 839246 SOS 585521 HAS SOPS 584132 HAS SOUS 396625 HAS SOUPS 395518 WITH SCORE 396103.521
AT ITER 108 NEW BEST:: SOT 839103 SOS 585448 HAS SOPS 584059 HAS SOUS 396621 HAS SOUPS 395514 WITH SCORE 396099.448
AT ITER 109 NEW BEST:: SOT 840589 SOS 585765 HAS SOPS 583958 HAS SOUS 395259 HAS SOUPS 393852 WITH SCORE 394437.765
AT ITER 110 NEW BEST:: SOT 840256 SOS 585129 HAS SOPS 583322 HAS SOUS 395001 HAS SOUPS 393594 WITH SCORE 394179.129
AT ITER 113 NEW BEST:: SOT 839474 SOS 584220 HAS SOPS 582263 HAS SOUS 395097 HAS SOUPS 393540 WITH SCORE 394124.22
AT ITER 114 NEW BEST:: SOT 839474 SOS 584220 HAS SOPS 582263 HAS SOUS 395095 HAS SOUPS 393538 WITH SCORE 394122.22
AT ITER 116 NEW BEST:: SOT 839010 SOS 584219 HAS SOPS 582262 HAS SOUS 394779 HAS SOUPS 393222 WITH SCORE 393806.219
AT ITER 118 NEW BEST:: SOT 839010 SOS 584219 HAS SOPS 582262 HAS SOUS 394475 HAS SOUPS 392918 WITH SCORE 393502.219
AT ITER 119 NEW BEST:: SOT 838816 SOS 584025 HAS SOPS 582068 HAS SOUS 394473 HAS SOUPS 392916 WITH SCORE 393500.025
AT ITER 120 NEW BEST:: SOT 839613 SOS 584211 HAS SOPS 582254 HAS SOUS 394147 HAS SOUPS 392590 WITH SCORE 393174.211
AT ITER 124 NEW BEST:: SOT 840083 SOS 584345 HAS SOPS 582388 HAS SOUS 393992 HAS SOUPS 392435 WITH SCORE 393019.345
AT ITER 125 NEW BEST:: SOT 840037 SOS 584299 HAS SOPS 582342 HAS SOUS 393992 HAS SOUPS 392435 WITH SCORE 393019.299
AT ITER 127 NEW BEST:: SOT 839333 SOS 583344 HAS SOPS 581387 HAS SOUS 393599 HAS SOUPS 392042 WITH SCORE 392625.344
AT ITER 130 NEW BEST:: SOT 836588 SOS 581478 HAS SOPS 579521 HAS SOUS 391026 HAS SOUPS 389469 WITH SCORE 390050.478
AT ITER 136 NEW BEST:: SOT 836150 SOS 580634 HAS SOPS 577624 HAS SOUS 390516 HAS SOUPS 387906 WITH SCORE 388486.634
AT ITER 143 NEW BEST:: SOT 835687 SOS 579651 HAS SOPS 576641 HAS SOUS 390347 HAS SOUPS 387737 WITH SCORE 388316.651
AT ITER 144 NEW BEST:: SOT 835108 SOS 579072 HAS SOPS 576062 HAS SOUS 389768 HAS SOUPS 387158 WITH SCORE 387737.072
AT ITER 146 NEW BEST:: SOT 833448 SOS 577062 HAS SOPS 574052 HAS SOUS 387515 HAS SOUPS 384905 WITH SCORE 385482.062
AT ITER 149 NEW BEST:: SOT 833919 SOS 576577 HAS SOPS 573695 HAS SOUS 387316 HAS SOUPS 384834 WITH SCORE 385410.577
AT ITER 151 NEW BEST:: SOT 833291 SOS 575834 HAS SOPS 572952 HAS SOUS 386789 HAS SOUPS 384307 WITH SCORE 384882.834
AT ITER 152 NEW BEST:: SOT 833291 SOS 575984 HAS SOPS 573102 HAS SOUS 386785 HAS SOUPS 384303 WITH SCORE 384878.984
AT ITER 153 NEW BEST:: SOT 832930 SOS 575623 HAS SOPS 572741 HAS SOUS 386424 HAS SOUPS 383942 WITH SCORE 384517.623
AT ITER 155 NEW BEST:: SOT 832708 SOS 573621 HAS SOPS 570739 HAS SOUS 385791 HAS SOUPS 383309 WITH SCORE 383882.621
AT ITER 157 NEW BEST:: SOT 833029 SOS 571853 HAS SOPS 568971 HAS SOUS 385465 HAS SOUPS 382983 WITH SCORE 383554.853
AT ITER 160 NEW BEST:: SOT 832350 SOS 570826 HAS SOPS 567944 HAS SOUS 384670 HAS SOUPS 382188 WITH SCORE 382758.826
AT ITER 163 NEW BEST:: SOT 832252 SOS 570663 HAS SOPS 567781 HAS SOUS 384569 HAS SOUPS 382087 WITH SCORE 382657.663
AT ITER 166 NEW BEST:: SOT 832139 SOS 570312 HAS SOPS 567480 HAS SOUS 383857 HAS SOUPS 381425 WITH SCORE 381995.312
AT ITER 167 NEW BEST:: SOT 829782 SOS 570935 HAS SOPS 568103 HAS SOUS 380897 HAS SOUPS 378465 WITH SCORE 379035.935
AT ITER 168 NEW BEST:: SOT 829346 SOS 570537 HAS SOPS 567705 HAS SOUS 380692 HAS SOUPS 378260 WITH SCORE 378830.537
AT ITER 169 NEW BEST:: SOT 827100 SOS 568198 HAS SOPS 565366 HAS SOUS 377999 HAS SOUPS 375567 WITH SCORE 376135.198
AT ITER 171 NEW BEST:: SOT 827024 SOS 568122 HAS SOPS 565290 HAS SOUS 377998 HAS SOUPS 375566 WITH SCORE 376134.122
AT ITER 175 NEW BEST:: SOT 826788 SOS 567886 HAS SOPS 565054 HAS SOUS 377945 HAS SOUPS 375513 WITH SCORE 376080.886
AT ITER 176 NEW BEST:: SOT 826756 SOS 567854 HAS SOPS 565022 HAS SOUS 377923 HAS SOUPS 375491 WITH SCORE 376058.854
AT ITER 177 NEW BEST:: SOT 826780 SOS 568090 HAS SOPS 565258 HAS SOUS 377918 HAS SOUPS 375486 WITH SCORE 376054.09
AT ITER 181 NEW BEST:: SOT 826614 SOS 567592 HAS SOPS 564760 HAS SOUS 377420 HAS SOUPS 374988 WITH SCORE 375555.592
AT ITER 182 NEW BEST:: SOT 826560 SOS 567568 HAS SOPS 564736 HAS SOUS 377155 HAS SOUPS 374723 WITH SCORE 375290.568
AT ITER 185 NEW BEST:: SOT 826476 SOS 567526 HAS SOPS 564694 HAS SOUS 377134 HAS SOUPS 374702 WITH SCORE 375269.526
AT ITER 189 NEW BEST:: SOT 825511 SOS 566901 HAS SOPS 564069 HAS SOUS 376820 HAS SOUPS 374388 WITH SCORE 374954.901
AT ITER 194 NEW BEST:: SOT 825511 SOS 566726 HAS SOPS 563894 HAS SOUS 376819 HAS SOUPS 374387 WITH SCORE 374953.726
AT ITER 195 NEW BEST:: SOT 824601 SOS 565229 HAS SOPS 562397 HAS SOUS 376503 HAS SOUPS 374071 WITH SCORE 374636.229
AT ITER 196 NEW BEST:: SOT 825101 SOS 564760 HAS SOPS 561928 HAS SOUS 376349 HAS SOUPS 373917 WITH SCORE 374481.76
AT ITER 198 NEW BEST:: SOT 824871 SOS 564346 HAS SOPS 561514 HAS SOUS 375935 HAS SOUPS 373503 WITH SCORE 374067.346
AT ITER 199 NEW BEST:: SOT 824386 SOS 563861 HAS SOPS 561029 HAS SOUS 375277 HAS SOUPS 372845 WITH SCORE 373408.861
AT ITER 200 NEW BEST:: SOT 823704 SOS 562898 HAS SOPS 560066 HAS SOUS 375091 HAS SOUPS 372659 WITH SCORE 373221.898
AT ITER 203 NEW BEST:: SOT 823304 SOS 562630 HAS SOPS 559798 HAS SOUS 374955 HAS SOUPS 372523 WITH SCORE 373085.63
AT ITER 204 NEW BEST:: SOT 822848 SOS 561945 HAS SOPS 559113 HAS SOUS 374725 HAS SOUPS 372293 WITH SCORE 372854.945
AT ITER 209 NEW BEST:: SOT 822528 SOS 561728 HAS SOPS 558896 HAS SOUS 374228 HAS SOUPS 371796 WITH SCORE 372357.728
AT ITER 211 NEW BEST:: SOT 822254 SOS 561511 HAS SOPS 558679 HAS SOUS 373897 HAS SOUPS 371465 WITH SCORE 372026.511
AT ITER 213 NEW BEST:: SOT 822254 SOS 561171 HAS SOPS 558339 HAS SOUS 373811 HAS SOUPS 371379 WITH SCORE 371940.171
AT ITER 214 NEW BEST:: SOT 822613 SOS 560220 HAS SOPS 557388 HAS SOUS 373567 HAS SOUPS 371135 WITH SCORE 371695.22
AT ITER 218 NEW BEST:: SOT 822385 SOS 558831 HAS SOPS 555999 HAS SOUS 373372 HAS SOUPS 370940 WITH SCORE 371498.831
AT ITER 219 NEW BEST:: SOT 821754 SOS 556763 HAS SOPS 553931 HAS SOUS 372218 HAS SOUPS 369786 WITH SCORE 370342.763
AT ITER 220 NEW BEST:: SOT 820895 SOS 555476 HAS SOPS 552644 HAS SOUS 370494 HAS SOUPS 368062 WITH SCORE 368617.476
AT ITER 225 NEW BEST:: SOT 819576 SOS 554157 HAS SOPS 551325 HAS SOUS 369173 HAS SOUPS 366741 WITH SCORE 367295.157
AT ITER 229 NEW BEST:: SOT 819576 SOS 554127 HAS SOPS 551295 HAS SOUS 369173 HAS SOUPS 366741 WITH SCORE 367295.127
AT ITER 230 NEW BEST:: SOT 819313 SOS 553254 HAS SOPS 550422 HAS SOUS 368848 HAS SOUPS 366416 WITH SCORE 366969.254
AT ITER 231 NEW BEST:: SOT 819277 SOS 553218 HAS SOPS 550386 HAS SOUS 368848 HAS SOUPS 366416 WITH SCORE 366969.218
AT ITER 233 NEW BEST:: SOT 819277 SOS 552940 HAS SOPS 550108 HAS SOUS 368140 HAS SOUPS 365708 WITH SCORE 366260.94
AT ITER 235 NEW BEST:: SOT 819276 SOS 553066 HAS SOPS 550234 HAS SOUS 368138 HAS SOUPS 365706 WITH SCORE 366259.066
AT ITER 237 NEW BEST:: SOT 819216 SOS 552946 HAS SOPS 550114 HAS SOUS 368078 HAS SOUPS 365646 WITH SCORE 366198.946
AT ITER 240 NEW BEST:: SOT 819246 SOS 552853 HAS SOPS 550021 HAS SOUS 368061 HAS SOUPS 365629 WITH SCORE 366181.853
AT ITER 251 NEW BEST:: SOT 819159 SOS 552889 HAS SOPS 550057 HAS SOUS 367983 HAS SOUPS 365551 WITH SCORE 366103.889
AT ITER 252 NEW BEST:: SOT 819015 SOS 552745 HAS SOPS 549913 HAS SOUS 367983 HAS SOUPS 365551 WITH SCORE 366103.745
AT ITER 253 NEW BEST:: SOT 818799 SOS 551810 HAS SOPS 548978 HAS SOUS 367536 HAS SOUPS 365104 WITH SCORE 365655.81
AT ITER 255 NEW BEST:: SOT 818762 SOS 551656 HAS SOPS 548824 HAS SOUS 367194 HAS SOUPS 364762 WITH SCORE 365313.656
AT ITER 260 NEW BEST:: SOT 816433 SOS 550472 HAS SOPS 547640 HAS SOUS 364806 HAS SOUPS 362374 WITH SCORE 362924.472
AT ITER 261 NEW BEST:: SOT 816371 SOS 550410 HAS SOPS 547578 HAS SOUS 364741 HAS SOUPS 362309 WITH SCORE 362859.41
AT ITER 266 NEW BEST:: SOT 814616 SOS 547023 HAS SOPS 544191 HAS SOUS 361900 HAS SOUPS 359468 WITH SCORE 360015.023
AT ITER 271 NEW BEST:: SOT 810391 SOS 545323 HAS SOPS 542491 HAS SOUS 358772 HAS SOUPS 356340 WITH SCORE 356885.323
AT ITER 273 NEW BEST:: SOT 810605 SOS 544895 HAS SOPS 542063 HAS SOUS 358772 HAS SOUPS 356340 WITH SCORE 356884.895
AT ITER 277 NEW BEST:: SOT 810796 SOS 543030 HAS SOPS 540198 HAS SOUS 358379 HAS SOUPS 355947 WITH SCORE 356490.03
AT ITER 278 NEW BEST:: SOT 810412 SOS 542446 HAS SOPS 539614 HAS SOUS 358146 HAS SOUPS 355714 WITH SCORE 356256.446
AT ITER 279 NEW BEST:: SOT 810412 SOS 542478 HAS SOPS 539670 HAS SOUS 358130 HAS SOUPS 355706 WITH SCORE 356248.478
AT ITER 286 NEW BEST:: SOT 809881 SOS 541065 HAS SOPS 538257 HAS SOUS 357388 HAS SOUPS 354964 WITH SCORE 355505.065
AT ITER 288 NEW BEST:: SOT 809881 SOS 540927 HAS SOPS 538135 HAS SOUS 357287 HAS SOUPS 354829 WITH SCORE 355369.927
AT ITER 289 NEW BEST:: SOT 809880 SOS 540925 HAS SOPS 538133 HAS SOUS 357216 HAS SOUPS 354758 WITH SCORE 355298.925
AT ITER 290 NEW BEST:: SOT 810575 SOS 538303 HAS SOPS 535511 HAS SOUS 356756 HAS SOUPS 354298 WITH SCORE 354836.303
AT ITER 299 NEW BEST:: SOT 810289 SOS 537626 HAS SOPS 534834 HAS SOUS 355657 HAS SOUPS 353199 WITH SCORE 353736.626
AT ITER 301 NEW BEST:: SOT 809161 SOS 537492 HAS SOPS 534700 HAS SOUS 355380 HAS SOUPS 352922 WITH SCORE 353459.492
AT ITER 305 NEW BEST:: SOT 809094 SOS 537561 HAS SOPS 534769 HAS SOUS 355313 HAS SOUPS 352855 WITH SCORE 353392.561
AT ITER 306 NEW BEST:: SOT 809581 SOS 536474 HAS SOPS 533682 HAS SOUS 355237 HAS SOUPS 352779 WITH SCORE 353315.474
AT ITER 307 NEW BEST:: SOT 809075 SOS 535227 HAS SOPS 532435 HAS SOUS 354724 HAS SOUPS 352266 WITH SCORE 352801.227
AT ITER 309 NEW BEST:: SOT 806207 SOS 532401 HAS SOPS 529609 HAS SOUS 352043 HAS SOUPS 349585 WITH SCORE 350117.401
AT ITER 312 NEW BEST:: SOT 805446 SOS 531134 HAS SOPS 528342 HAS SOUS 351912 HAS SOUPS 349454 WITH SCORE 349985.134
AT ITER 313 NEW BEST:: SOT 803500 SOS 529113 HAS SOPS 526321 HAS SOUS 349983 HAS SOUPS 347525 WITH SCORE 348054.113
AT ITER 315 NEW BEST:: SOT 803537 SOS 529394 HAS SOPS 526602 HAS SOUS 349873 HAS SOUPS 347415 WITH SCORE 347944.394
AT ITER 316 NEW BEST:: SOT 803412 SOS 529214 HAS SOPS 526422 HAS SOUS 349672 HAS SOUPS 347214 WITH SCORE 347743.214
AT ITER 323 NEW BEST:: SOT 803412 SOS 529484 HAS SOPS 526692 HAS SOUS 349582 HAS SOUPS 347124 WITH SCORE 347653.484
AT ITER 326 NEW BEST:: SOT 803465 SOS 529590 HAS SOPS 526639 HAS SOUS 349476 HAS SOUPS 347018 WITH SCORE 347547.59
AT ITER 330 NEW BEST:: SOT 803424 SOS 529664 HAS SOPS 526713 HAS SOUS 349391 HAS SOUPS 346933 WITH SCORE 347462.664
AT ITER 331 NEW BEST:: SOT 804303 SOS 528793 HAS SOPS 525842 HAS SOUS 349035 HAS SOUPS 346577 WITH SCORE 347105.793
AT ITER 339 NEW BEST:: SOT 803996 SOS 529406 HAS SOPS 526455 HAS SOUS 348491 HAS SOUPS 346033 WITH SCORE 346562.406
AT ITER 344 NEW BEST:: SOT 803773 SOS 528792 HAS SOPS 525841 HAS SOUS 348294 HAS SOUPS 345836 WITH SCORE 346364.792
AT ITER 345 NEW BEST:: SOT 803647 SOS 528214 HAS SOPS 525263 HAS SOUS 348004 HAS SOUPS 345546 WITH SCORE 346074.214
AT ITER 349 NEW BEST:: SOT 804659 SOS 527888 HAS SOPS 524937 HAS SOUS 347173 HAS SOUPS 344715 WITH SCORE 345242.888
AT ITER 350 NEW BEST:: SOT 805107 SOS 527922 HAS SOPS 524971 HAS SOUS 346967 HAS SOUPS 344509 WITH SCORE 345036.922
AT ITER 352 NEW BEST:: SOT 805006 SOS 528663 HAS SOPS 525712 HAS SOUS 346268 HAS SOUPS 343810 WITH SCORE 344338.663
AT ITER 353 NEW BEST:: SOT 805483 SOS 527375 HAS SOPS 524424 HAS SOUS 346238 HAS SOUPS 343780 WITH SCORE 344307.375
AT ITER 354 NEW BEST:: SOT 800976 SOS 522415 HAS SOPS 519464 HAS SOUS 341786 HAS SOUPS 339328 WITH SCORE 339850.415
AT ITER 355 NEW BEST:: SOT 800976 SOS 522427 HAS SOPS 519476 HAS SOUS 341774 HAS SOUPS 339316 WITH SCORE 339838.427
AT ITER 360 NEW BEST:: SOT 801108 SOS 522427 HAS SOPS 519476 HAS SOUS 341640 HAS SOUPS 339182 WITH SCORE 339704.427
AT ITER 370 NEW BEST:: SOT 800880 SOS 524544 HAS SOPS 521743 HAS SOUS 340886 HAS SOUPS 338578 WITH SCORE 339102.544
AT ITER 373 NEW BEST:: SOT 801500 SOS 524648 HAS SOPS 521847 HAS SOUS 340691 HAS SOUPS 338383 WITH SCORE 338907.648
AT ITER 375 NEW BEST:: SOT 800963 SOS 524111 HAS SOPS 521310 HAS SOUS 340154 HAS SOUPS 337846 WITH SCORE 338370.111
AT ITER 377 NEW BEST:: SOT 800276 SOS 523995 HAS SOPS 521194 HAS SOUS 340051 HAS SOUPS 337743 WITH SCORE 338266.995
AT ITER 378 NEW BEST:: SOT 800303 SOS 524022 HAS SOPS 521221 HAS SOUS 340000 HAS SOUPS 337692 WITH SCORE 338216.022
AT ITER 386 NEW BEST:: SOT 800461 SOS 522327 HAS SOPS 519526 HAS SOUS 339341 HAS SOUPS 337033 WITH SCORE 337555.327
AT ITER 387 NEW BEST:: SOT 800375 SOS 521356 HAS SOPS 518555 HAS SOUS 339157 HAS SOUPS 336849 WITH SCORE 337370.356
AT ITER 390 NEW BEST:: SOT 800417 SOS 521356 HAS SOPS 518555 HAS SOUS 339115 HAS SOUPS 336807 WITH SCORE 337328.356
AT ITER 393 NEW BEST:: SOT 799242 SOS 520181 HAS SOPS 517380 HAS SOUS 337938 HAS SOUPS 335630 WITH SCORE 336150.181
AT ITER 394 NEW BEST:: SOT 799372 SOS 520720 HAS SOPS 517974 HAS SOUS 337686 HAS SOUPS 335433 WITH SCORE 335953.72
AT ITER 395 NEW BEST:: SOT 798761 SOS 519213 HAS SOPS 516467 HAS SOUS 337597 HAS SOUPS 335344 WITH SCORE 335863.213
AT ITER 396 NEW BEST:: SOT 798497 SOS 518634 HAS SOPS 515888 HAS SOUS 337289 HAS SOUPS 335036 WITH SCORE 335554.634
AT ITER 397 NEW BEST:: SOT 797145 SOS 519019 HAS SOPS 516273 HAS SOUS 336198 HAS SOUPS 333945 WITH SCORE 334464.019
AT ITER 399 NEW BEST:: SOT 795865 SOS 518442 HAS SOPS 515696 HAS SOUS 335086 HAS SOUPS 332833 WITH SCORE 333351.442
AT ITER 400 NEW BEST:: SOT 795865 SOS 518449 HAS SOPS 515705 HAS SOUS 335083 HAS SOUPS 332831 WITH SCORE 333349.449
AT ITER 404 NEW BEST:: SOT 795403 SOS 517930 HAS SOPS 515186 HAS SOUS 334831 HAS SOUPS 332579 WITH SCORE 333096.93
AT ITER 405 NEW BEST:: SOT 794169 SOS 516696 HAS SOPS 513952 HAS SOUS 333597 HAS SOUPS 331345 WITH SCORE 331861.696
AT ITER 409 NEW BEST:: SOT 794378 SOS 519780 HAS SOPS 517036 HAS SOUS 333437 HAS SOUPS 331185 WITH SCORE 331704.78
AT ITER 410 NEW BEST:: SOT 794296 SOS 519447 HAS SOPS 516703 HAS SOUS 333230 HAS SOUPS 330978 WITH SCORE 331497.447
AT ITER 411 NEW BEST:: SOT 793788 SOS 520943 HAS SOPS 518199 HAS SOUS 332563 HAS SOUPS 330311 WITH SCORE 330831.943
AT ITER 416 NEW BEST:: SOT 794095 SOS 521098 HAS SOPS 517675 HAS SOUS 332801 HAS SOUPS 329870 WITH SCORE 330391.098
AT ITER 421 NEW BEST:: SOT 795467 SOS 522445 HAS SOPS 519022 HAS SOUS 332326 HAS SOUPS 329395 WITH SCORE 329917.445
AT ITER 423 NEW BEST:: SOT 795506 SOS 522221 HAS SOPS 518798 HAS SOUS 332063 HAS SOUPS 329132 WITH SCORE 329654.221
AT ITER 424 NEW BEST:: SOT 795172 SOS 521887 HAS SOPS 518356 HAS SOUS 331502 HAS SOUPS 328463 WITH SCORE 328984.887
AT ITER 427 NEW BEST:: SOT 794548 SOS 521732 HAS SOPS 518201 HAS SOUS 330679 HAS SOUPS 327640 WITH SCORE 328161.732
AT ITER 431 NEW BEST:: SOT 794537 SOS 521430 HAS SOPS 517899 HAS SOUS 330426 HAS SOUPS 327387 WITH SCORE 327908.43
AT ITER 433 NEW BEST:: SOT 794438 SOS 521181 HAS SOPS 517650 HAS SOUS 330277 HAS SOUPS 327238 WITH SCORE 327759.181
AT ITER 434 NEW BEST:: SOT 794379 SOS 521122 HAS SOPS 517591 HAS SOUS 330275 HAS SOUPS 327236 WITH SCORE 327757.122
AT ITER 435 NEW BEST:: SOT 794235 SOS 519866 HAS SOPS 516335 HAS SOUS 329917 HAS SOUPS 326878 WITH SCORE 327397.866
AT ITER 439 NEW BEST:: SOT 794175 SOS 519716 HAS SOPS 516185 HAS SOUS 329857 HAS SOUPS 326818 WITH SCORE 327337.716
AT ITER 440 NEW BEST:: SOT 794147 SOS 519688 HAS SOPS 516157 HAS SOUS 329801 HAS SOUPS 326762 WITH SCORE 327281.688
AT ITER 443 NEW BEST:: SOT 794147 SOS 519688 HAS SOPS 516157 HAS SOUS 329731 HAS SOUPS 326692 WITH SCORE 327211.688
AT ITER 445 NEW BEST:: SOT 794035 SOS 519576 HAS SOPS 516045 HAS SOUS 329618 HAS SOUPS 326579 WITH SCORE 327098.576
AT ITER 446 NEW BEST:: SOT 793927 SOS 519508 HAS SOPS 515977 HAS SOUS 329582 HAS SOUPS 326543 WITH SCORE 327062.508
AT ITER 449 NEW BEST:: SOT 794621 SOS 520898 HAS SOPS 517367 HAS SOUS 329328 HAS SOUPS 326289 WITH SCORE 326809.898
AT ITER 460 NEW BEST:: SOT 794274 SOS 519470 HAS SOPS 515939 HAS SOUS 328164 HAS SOUPS 325125 WITH SCORE 325644.47
AT ITER 463 NEW BEST:: SOT 794244 SOS 519474 HAS SOPS 515943 HAS SOUS 328125 HAS SOUPS 325086 WITH SCORE 325605.474
AT ITER 466 NEW BEST:: SOT 794552 SOS 519527 HAS SOPS 515996 HAS SOUS 328058 HAS SOUPS 325019 WITH SCORE 325538.527
AT ITER 468 NEW BEST:: SOT 794857 SOS 519924 HAS SOPS 516393 HAS SOUS 328024 HAS SOUPS 324985 WITH SCORE 325504.924
AT ITER 470 NEW BEST:: SOT 794897 SOS 519897 HAS SOPS 516366 HAS SOUS 327908 HAS SOUPS 324869 WITH SCORE 325388.897
AT ITER 471 NEW BEST:: SOT 795018 SOS 519655 HAS SOPS 516124 HAS SOUS 327699 HAS SOUPS 324660 WITH SCORE 325179.655
AT ITER 474 NEW BEST:: SOT 793907 SOS 518342 HAS SOPS 515862 HAS SOUS 326511 HAS SOUPS 324488 WITH SCORE 325006.342
AT ITER 475 NEW BEST:: SOT 792054 SOS 516538 HAS SOPS 514058 HAS SOUS 324379 HAS SOUPS 322356 WITH SCORE 322872.538
AT ITER 477 NEW BEST:: SOT 792054 SOS 515932 HAS SOPS 513452 HAS SOUS 324379 HAS SOUPS 322356 WITH SCORE 322871.932
AT ITER 484 NEW BEST:: SOT 789662 SOS 513409 HAS SOPS 510929 HAS SOUS 322115 HAS SOUPS 320092 WITH SCORE 320605.409
AT ITER 485 NEW BEST:: SOT 789193 SOS 512696 HAS SOPS 510837 HAS SOUS 321281 HAS SOUPS 319749 WITH SCORE 320261.696
AT ITER 490 NEW BEST:: SOT 789193 SOS 512602 HAS SOPS 510743 HAS SOUS 321187 HAS SOUPS 319655 WITH SCORE 320167.602
AT ITER 492 NEW BEST:: SOT 789075 SOS 511910 HAS SOPS 510051 HAS SOUS 320696 HAS SOUPS 319164 WITH SCORE 319675.91
AT ITER 494 NEW BEST:: SOT 788367 SOS 510140 HAS SOPS 508281 HAS SOUS 319988 HAS SOUPS 318456 WITH SCORE 318966.14
AT ITER 496 NEW BEST:: SOT 788035 SOS 509634 HAS SOPS 507775 HAS SOUS 319853 HAS SOUPS 318321 WITH SCORE 318830.634
AT ITER 498 NEW BEST:: SOT 787900 SOS 509499 HAS SOPS 507640 HAS SOUS 319679 HAS SOUPS 318147 WITH SCORE 318656.499
AT ITER 504 NEW BEST:: SOT 787900 SOS 509499 HAS SOPS 507640 HAS SOUS 319393 HAS SOUPS 317861 WITH SCORE 318370.499
AT ITER 506 NEW BEST:: SOT 788124 SOS 508197 HAS SOPS 506338 HAS SOUS 318715 HAS SOUPS 317183 WITH SCORE 317691.197
AT ITER 507 NEW BEST:: SOT 786877 SOS 506978 HAS SOPS 505119 HAS SOUS 317602 HAS SOUPS 316070 WITH SCORE 316576.978
AT ITER 516 NEW BEST:: SOT 786831 SOS 506886 HAS SOPS 505027 HAS SOUS 317556 HAS SOUPS 316024 WITH SCORE 316530.886
AT ITER 517 NEW BEST:: SOT 785629 SOS 505563 HAS SOPS 503704 HAS SOUS 315913 HAS SOUPS 314381 WITH SCORE 314886.563
AT ITER 518 NEW BEST:: SOT 785524 SOS 504815 HAS SOPS 502956 HAS SOUS 315611 HAS SOUPS 314079 WITH SCORE 314583.815
AT ITER 520 NEW BEST:: SOT 785185 SOS 504871 HAS SOPS 502839 HAS SOUS 315633 HAS SOUPS 313928 WITH SCORE 314432.871
AT ITER 521 NEW BEST:: SOT 785199 SOS 504549 HAS SOPS 502784 HAS SOUS 315136 HAS SOUPS 313566 WITH SCORE 314070.549
AT ITER 523 NEW BEST:: SOT 785187 SOS 504513 HAS SOPS 502748 HAS SOUS 315124 HAS SOUPS 313554 WITH SCORE 314058.513
AT ITER 524 NEW BEST:: SOT 785307 SOS 504753 HAS SOPS 502988 HAS SOUS 315004 HAS SOUPS 313434 WITH SCORE 313938.753
AT ITER 525 NEW BEST:: SOT 785243 SOS 502482 HAS SOPS 500717 HAS SOUS 314924 HAS SOUPS 313354 WITH SCORE 313856.482
AT ITER 533 NEW BEST:: SOT 785106 SOS 502457 HAS SOPS 500692 HAS SOUS 314910 HAS SOUPS 313340 WITH SCORE 313842.457
AT ITER 534 NEW BEST:: SOT 785399 SOS 502322 HAS SOPS 499742 HAS SOUS 314875 HAS SOUPS 312525 WITH SCORE 313027.322
AT ITER 537 NEW BEST:: SOT 785475 SOS 502502 HAS SOPS 499922 HAS SOUS 314863 HAS SOUPS 312513 WITH SCORE 313015.502
AT ITER 540 NEW BEST:: SOT 785339 SOS 502055 HAS SOPS 499475 HAS SOUS 313868 HAS SOUPS 311518 WITH SCORE 312020.055
AT ITER 542 NEW BEST:: SOT 784944 SOS 501660 HAS SOPS 499080 HAS SOUS 313463 HAS SOUPS 311113 WITH SCORE 311614.66
AT ITER 549 NEW BEST:: SOT 784704 SOS 500414 HAS SOPS 497834 HAS SOUS 313015 HAS SOUPS 310665 WITH SCORE 311165.414
AT ITER 550 NEW BEST:: SOT 784960 SOS 500670 HAS SOPS 498090 HAS SOUS 312987 HAS SOUPS 310637 WITH SCORE 311137.67
AT ITER 558 NEW BEST:: SOT 785215 SOS 500723 HAS SOPS 498143 HAS SOUS 312714 HAS SOUPS 310364 WITH SCORE 310864.723
AT ITER 562 NEW BEST:: SOT 785365 SOS 500841 HAS SOPS 498261 HAS SOUS 312682 HAS SOUPS 310332 WITH SCORE 310832.841
AT ITER 563 NEW BEST:: SOT 785349 SOS 500918 HAS SOPS 498338 HAS SOUS 312479 HAS SOUPS 310129 WITH SCORE 310629.918
AT ITER 566 NEW BEST:: SOT 784928 SOS 499621 HAS SOPS 497041 HAS SOUS 311877 HAS SOUPS 309527 WITH SCORE 310026.621
AT ITER 570 NEW BEST:: SOT 784777 SOS 498714 HAS SOPS 496134 HAS SOUS 311321 HAS SOUPS 308971 WITH SCORE 309469.714
AT ITER 576 NEW BEST:: SOT 784844 SOS 499020 HAS SOPS 496239 HAS SOUS 311407 HAS SOUPS 308856 WITH SCORE 309355.02
AT ITER 578 NEW BEST:: SOT 785123 SOS 498882 HAS SOPS 496101 HAS SOUS 311229 HAS SOUPS 308678 WITH SCORE 309176.882
AT ITER 580 NEW BEST:: SOT 785009 SOS 498571 HAS SOPS 495790 HAS SOUS 311122 HAS SOUPS 308571 WITH SCORE 309069.571
AT ITER 584 NEW BEST:: SOT 784847 SOS 497754 HAS SOPS 494735 HAS SOUS 310742 HAS SOUPS 308191 WITH SCORE 308688.754
AT ITER 587 NEW BEST:: SOT 784575 SOS 497482 HAS SOPS 494463 HAS SOUS 310402 HAS SOUPS 307851 WITH SCORE 308348.482
AT ITER 588 NEW BEST:: SOT 784437 SOS 497298 HAS SOPS 494279 HAS SOUS 310402 HAS SOUPS 307851 WITH SCORE 308348.298
AT ITER 600 NEW BEST:: SOT 784291 SOS 497213 HAS SOPS 494194 HAS SOUS 310387 HAS SOUPS 307836 WITH SCORE 308333.213
AT ITER 602 NEW BEST:: SOT 784278 SOS 496565 HAS SOPS 493546 HAS SOUS 309953 HAS SOUPS 307402 WITH SCORE 307898.565
AT ITER 604 NEW BEST:: SOT 782865 SOS 495717 HAS SOPS 492698 HAS SOUS 309224 HAS SOUPS 306673 WITH SCORE 307168.717
AT ITER 608 NEW BEST:: SOT 783852 SOS 494554 HAS SOPS 491535 HAS SOUS 308928 HAS SOUPS 306377 WITH SCORE 306871.554
AT ITER 610 NEW BEST:: SOT 782594 SOS 494105 HAS SOPS 491086 HAS SOUS 307861 HAS SOUPS 305310 WITH SCORE 305804.105
AT ITER 612 NEW BEST:: SOT 782558 SOS 494105 HAS SOPS 491086 HAS SOUS 307860 HAS SOUPS 305309 WITH SCORE 305803.105
AT ITER 616 NEW BEST:: SOT 782558 SOS 494013 HAS SOPS 490994 HAS SOUS 307814 HAS SOUPS 305263 WITH SCORE 305757.013
AT ITER 620 NEW BEST:: SOT 782266 SOS 493246 HAS SOPS 490032 HAS SOUS 307752 HAS SOUPS 305201 WITH SCORE 305694.246
AT ITER 626 NEW BEST:: SOT 782266 SOS 493186 HAS SOPS 489972 HAS SOUS 307690 HAS SOUPS 305139 WITH SCORE 305632.186
AT ITER 627 NEW BEST:: SOT 782319 SOS 492807 HAS SOPS 489593 HAS SOUS 307409 HAS SOUPS 304858 WITH SCORE 305350.807
AT ITER 628 NEW BEST:: SOT 781463 SOS 491166 HAS SOPS 487952 HAS SOUS 306163 HAS SOUPS 303612 WITH SCORE 304103.166
AT ITER 635 NEW BEST:: SOT 781408 SOS 491111 HAS SOPS 487897 HAS SOUS 306108 HAS SOUPS 303557 WITH SCORE 304048.111
AT ITER 638 NEW BEST:: SOT 781394 SOS 491097 HAS SOPS 487883 HAS SOUS 306094 HAS SOUPS 303543 WITH SCORE 304034.097
AT ITER 639 NEW BEST:: SOT 781230 SOS 492897 HAS SOPS 489683 HAS SOUS 305949 HAS SOUPS 303398 WITH SCORE 303890.897
AT ITER 640 NEW BEST:: SOT 780747 SOS 492196 HAS SOPS 488982 HAS SOUS 305664 HAS SOUPS 303113 WITH SCORE 303605.196
AT ITER 643 NEW BEST:: SOT 780752 SOS 491901 HAS SOPS 488687 HAS SOUS 305067 HAS SOUPS 302516 WITH SCORE 303007.901
AT ITER 645 NEW BEST:: SOT 781161 SOS 492416 HAS SOPS 489202 HAS SOUS 304994 HAS SOUPS 302443 WITH SCORE 302935.416
AT ITER 648 NEW BEST:: SOT 781161 SOS 492416 HAS SOPS 489202 HAS SOUS 304897 HAS SOUPS 302346 WITH SCORE 302838.416
AT ITER 650 NEW BEST:: SOT 781256 SOS 491418 HAS SOPS 488204 HAS SOUS 304894 HAS SOUPS 302343 WITH SCORE 302834.418
AT ITER 651 NEW BEST:: SOT 781054 SOS 490913 HAS SOPS 487699 HAS SOUS 304692 HAS SOUPS 302141 WITH SCORE 302631.913
AT ITER 656 NEW BEST:: SOT 780828 SOS 490470 HAS SOPS 487256 HAS SOUS 304223 HAS SOUPS 301672 WITH SCORE 302162.47
AT ITER 657 NEW BEST:: SOT 780031 SOS 489816 HAS SOPS 486602 HAS SOUS 304051 HAS SOUPS 301500 WITH SCORE 301989.816
AT ITER 658 NEW BEST:: SOT 780049 SOS 489773 HAS SOPS 486559 HAS SOUS 303965 HAS SOUPS 301414 WITH SCORE 301903.773
AT ITER 661 NEW BEST:: SOT 779883 SOS 489358 HAS SOPS 486144 HAS SOUS 303799 HAS SOUPS 301248 WITH SCORE 301737.358
AT ITER 669 NEW BEST:: SOT 779863 SOS 489338 HAS SOPS 486124 HAS SOUS 303769 HAS SOUPS 301218 WITH SCORE 301707.338
AT ITER 672 NEW BEST:: SOT 779568 SOS 489185 HAS SOPS 485971 HAS SOUS 303593 HAS SOUPS 301042 WITH SCORE 301531.185
AT ITER 673 NEW BEST:: SOT 779467 SOS 489183 HAS SOPS 485969 HAS SOUS 303542 HAS SOUPS 300991 WITH SCORE 301480.183
AT ITER 674 NEW BEST:: SOT 778928 SOS 488697 HAS SOPS 485483 HAS SOUS 303181 HAS SOUPS 300630 WITH SCORE 301118.697
AT ITER 677 NEW BEST:: SOT 779053 SOS 488098 HAS SOPS 484884 HAS SOUS 302661 HAS SOUPS 300110 WITH SCORE 300598.098
AT ITER 679 NEW BEST:: SOT 778349 SOS 487487 HAS SOPS 484273 HAS SOUS 301965 HAS SOUPS 299414 WITH SCORE 299901.487
AT ITER 685 NEW BEST:: SOT 778344 SOS 487552 HAS SOPS 484338 HAS SOUS 301960 HAS SOUPS 299409 WITH SCORE 299896.552
AT ITER 687 NEW BEST:: SOT 776888 SOS 486657 HAS SOPS 483443 HAS SOUS 300280 HAS SOUPS 297729 WITH SCORE 298215.657
AT ITER 688 NEW BEST:: SOT 776997 SOS 486224 HAS SOPS 483010 HAS SOUS 299848 HAS SOUPS 297297 WITH SCORE 297783.224
AT ITER 695 NEW BEST:: SOT 777012 SOS 486006 HAS SOPS 482792 HAS SOUS 299724 HAS SOUPS 297173 WITH SCORE 297659.006
AT ITER 699 NEW BEST:: SOT 777012 SOS 485314 HAS SOPS 482100 HAS SOUS 299724 HAS SOUPS 297173 WITH SCORE 297658.314
AT ITER 701 NEW BEST:: SOT 776936 SOS 485162 HAS SOPS 481948 HAS SOUS 299722 HAS SOUPS 297171 WITH SCORE 297656.162
AT ITER 703 NEW BEST:: SOT 776815 SOS 485000 HAS SOPS 481786 HAS SOUS 299602 HAS SOUPS 297051 WITH SCORE 297536.0
AT ITER 707 NEW BEST:: SOT 776815 SOS 485000 HAS SOPS 481786 HAS SOUS 299594 HAS SOUPS 297043 WITH SCORE 297528.0
AT ITER 708 NEW BEST:: SOT 776688 SOS 484747 HAS SOPS 481674 HAS SOUS 299296 HAS SOUPS 296886 WITH SCORE 297370.747
AT ITER 717 NEW BEST:: SOT 776337 SOS 484606 HAS SOPS 481533 HAS SOUS 299162 HAS SOUPS 296752 WITH SCORE 297236.606
AT ITER 718 NEW BEST:: SOT 776229 SOS 484498 HAS SOPS 481425 HAS SOUS 298982 HAS SOUPS 296572 WITH SCORE 297056.498
AT ITER 722 NEW BEST:: SOT 776188 SOS 484496 HAS SOPS 481423 HAS SOUS 298974 HAS SOUPS 296564 WITH SCORE 297048.496
AT ITER 725 NEW BEST:: SOT 776791 SOS 482815 HAS SOPS 479742 HAS SOUS 298651 HAS SOUPS 296241 WITH SCORE 296723.815
AT ITER 728 NEW BEST:: SOT 776744 SOS 482674 HAS SOPS 479601 HAS SOUS 298482 HAS SOUPS 296072 WITH SCORE 296554.674
AT ITER 731 NEW BEST:: SOT 775771 SOS 481952 HAS SOPS 478879 HAS SOUS 297866 HAS SOUPS 295456 WITH SCORE 295937.952
AT ITER 732 NEW BEST:: SOT 775850 SOS 481523 HAS SOPS 478450 HAS SOUS 297740 HAS SOUPS 295330 WITH SCORE 295811.523
AT ITER 734 NEW BEST:: SOT 775627 SOS 480684 HAS SOPS 477611 HAS SOUS 297710 HAS SOUPS 295300 WITH SCORE 295780.684
AT ITER 735 NEW BEST:: SOT 775107 SOS 479026 HAS SOPS 475953 HAS SOUS 297268 HAS SOUPS 294858 WITH SCORE 295337.026
AT ITER 736 NEW BEST:: SOT 775584 SOS 478995 HAS SOPS 475922 HAS SOUS 296922 HAS SOUPS 294512 WITH SCORE 294990.995
AT ITER 737 NEW BEST:: SOT 775604 SOS 479035 HAS SOPS 475962 HAS SOUS 296902 HAS SOUPS 294492 WITH SCORE 294971.035
AT ITER 742 NEW BEST:: SOT 775340 SOS 478480 HAS SOPS 475407 HAS SOUS 296616 HAS SOUPS 294206 WITH SCORE 294684.48
AT ITER 745 NEW BEST:: SOT 775809 SOS 478031 HAS SOPS 474958 HAS SOUS 296517 HAS SOUPS 294107 WITH SCORE 294585.031
AT ITER 749 NEW BEST:: SOT 775825 SOS 478047 HAS SOPS 474974 HAS SOUS 296318 HAS SOUPS 293908 WITH SCORE 294386.047
AT ITER 753 NEW BEST:: SOT 776052 SOS 478443 HAS SOPS 475081 HAS SOUS 296486 HAS SOUPS 293787 WITH SCORE 294265.443
AT ITER 754 NEW BEST:: SOT 773045 SOS 476475 HAS SOPS 473402 HAS SOUS 293626 HAS SOUPS 291216 WITH SCORE 291692.475
AT ITER 755 NEW BEST:: SOT 773499 SOS 476574 HAS SOPS 473843 HAS SOUS 293141 HAS SOUPS 291024 WITH SCORE 291500.574
AT ITER 756 NEW BEST:: SOT 773499 SOS 476574 HAS SOPS 473843 HAS SOUS 293037 HAS SOUPS 290920 WITH SCORE 291396.574
AT ITER 758 NEW BEST:: SOT 773357 SOS 476432 HAS SOPS 473701 HAS SOUS 292773 HAS SOUPS 290656 WITH SCORE 291132.432
AT ITER 769 NEW BEST:: SOT 773156 SOS 476454 HAS SOPS 473723 HAS SOUS 292691 HAS SOUPS 290574 WITH SCORE 291050.454
AT ITER 771 NEW BEST:: SOT 773122 SOS 476369 HAS SOPS 473638 HAS SOUS 292606 HAS SOUPS 290489 WITH SCORE 290965.369
AT ITER 774 NEW BEST:: SOT 773122 SOS 475439 HAS SOPS 472708 HAS SOUS 292505 HAS SOUPS 290388 WITH SCORE 290863.439
AT ITER 776 NEW BEST:: SOT 772976 SOS 475220 HAS SOPS 472489 HAS SOUS 292432 HAS SOUPS 290315 WITH SCORE 290790.22
AT ITER 781 NEW BEST:: SOT 772723 SOS 474028 HAS SOPS 471379 HAS SOUS 292325 HAS SOUPS 290208 WITH SCORE 290682.028
AT ITER 786 NEW BEST:: SOT 772723 SOS 473874 HAS SOPS 471225 HAS SOUS 292296 HAS SOUPS 290179 WITH SCORE 290652.874
AT ITER 788 NEW BEST:: SOT 772924 SOS 474075 HAS SOPS 471426 HAS SOUS 292095 HAS SOUPS 289978 WITH SCORE 290452.075
AT ITER 793 NEW BEST:: SOT 773203 SOS 473849 HAS SOPS 471200 HAS SOUS 291898 HAS SOUPS 289781 WITH SCORE 290254.849
AT ITER 794 NEW BEST:: SOT 772998 SOS 473562 HAS SOPS 470913 HAS SOUS 291311 HAS SOUPS 289194 WITH SCORE 289667.562
AT ITER 795 NEW BEST:: SOT 772879 SOS 473302 HAS SOPS 470653 HAS SOUS 291192 HAS SOUPS 289075 WITH SCORE 289548.302
AT ITER 800 NEW BEST:: SOT 772879 SOS 473204 HAS SOPS 470555 HAS SOUS 291191 HAS SOUPS 289074 WITH SCORE 289547.204
AT ITER 801 NEW BEST:: SOT 772371 SOS 472696 HAS SOPS 470047 HAS SOUS 290936 HAS SOUPS 288819 WITH SCORE 289291.696
AT ITER 802 NEW BEST:: SOT 772356 SOS 472681 HAS SOPS 470032 HAS SOUS 290935 HAS SOUPS 288818 WITH SCORE 289290.681
AT ITER 804 NEW BEST:: SOT 772277 SOS 472523 HAS SOPS 469874 HAS SOUS 290779 HAS SOUPS 288662 WITH SCORE 289134.523
AT ITER 808 NEW BEST:: SOT 772104 SOS 473034 HAS SOPS 470385 HAS SOUS 290607 HAS SOUPS 288490 WITH SCORE 288963.034
AT ITER 815 NEW BEST:: SOT 772061 SOS 472948 HAS SOPS 470299 HAS SOUS 290487 HAS SOUPS 288370 WITH SCORE 288842.948
AT ITER 818 NEW BEST:: SOT 769789 SOS 472638 HAS SOPS 469989 HAS SOUS 287846 HAS SOUPS 285729 WITH SCORE 286201.638
AT ITER 819 NEW BEST:: SOT 769789 SOS 472594 HAS SOPS 469945 HAS SOUS 287758 HAS SOUPS 285641 WITH SCORE 286113.594
AT ITER 823 NEW BEST:: SOT 769478 SOS 470832 HAS SOPS 468183 HAS SOUS 287585 HAS SOUPS 285468 WITH SCORE 285938.832
AT ITER 824 NEW BEST:: SOT 768961 SOS 470888 HAS SOPS 468151 HAS SOUS 286761 HAS SOUPS 284644 WITH SCORE 285114.888
AT ITER 829 NEW BEST:: SOT 768988 SOS 470915 HAS SOPS 468178 HAS SOUS 286350 HAS SOUPS 284233 WITH SCORE 284703.915
AT ITER 832 NEW BEST:: SOT 768988 SOS 470867 HAS SOPS 468130 HAS SOUS 286348 HAS SOUPS 284231 WITH SCORE 284701.867
AT ITER 833 NEW BEST:: SOT 768921 SOS 470800 HAS SOPS 468063 HAS SOUS 286281 HAS SOUPS 284164 WITH SCORE 284634.8
AT ITER 834 NEW BEST:: SOT 767214 SOS 469962 HAS SOPS 467225 HAS SOUS 284824 HAS SOUPS 282707 WITH SCORE 283176.962
AT ITER 835 NEW BEST:: SOT 767596 SOS 468573 HAS SOPS 465836 HAS SOUS 284481 HAS SOUPS 282364 WITH SCORE 282832.573
AT ITER 839 NEW BEST:: SOT 768419 SOS 469110 HAS SOPS 466373 HAS SOUS 284171 HAS SOUPS 282054 WITH SCORE 282523.11
AT ITER 840 NEW BEST:: SOT 767891 SOS 468582 HAS SOPS 465845 HAS SOUS 283383 HAS SOUPS 281266 WITH SCORE 281734.582
AT ITER 847 NEW BEST:: SOT 767936 SOS 468304 HAS SOPS 465567 HAS SOUS 283164 HAS SOUPS 281047 WITH SCORE 281515.304
AT ITER 859 NEW BEST:: SOT 767722 SOS 468078 HAS SOPS 465341 HAS SOUS 283110 HAS SOUPS 280993 WITH SCORE 281461.078
AT ITER 860 NEW BEST:: SOT 767437 SOS 467603 HAS SOPS 464866 HAS SOUS 282823 HAS SOUPS 280706 WITH SCORE 281173.603
AT ITER 862 NEW BEST:: SOT 767326 SOS 466715 HAS SOPS 463978 HAS SOUS 282598 HAS SOUPS 280481 WITH SCORE 280947.715
AT ITER 871 NEW BEST:: SOT 765461 SOS 465562 HAS SOPS 462915 HAS SOUS 281280 HAS SOUPS 279253 WITH SCORE 279718.562
AT ITER 873 NEW BEST:: SOT 765564 SOS 465665 HAS SOPS 463018 HAS SOUS 281222 HAS SOUPS 279195 WITH SCORE 279660.665
AT ITER 875 NEW BEST:: SOT 765482 SOS 465609 HAS SOPS 462962 HAS SOUS 281162 HAS SOUPS 279135 WITH SCORE 279600.609
AT ITER 876 NEW BEST:: SOT 762159 SOS 462372 HAS SOPS 459725 HAS SOUS 277802 HAS SOUPS 275775 WITH SCORE 276237.372
AT ITER 877 NEW BEST:: SOT 762076 SOS 462486 HAS SOPS 459839 HAS SOUS 277753 HAS SOUPS 275726 WITH SCORE 276188.486
AT ITER 881 NEW BEST:: SOT 762008 SOS 462476 HAS SOPS 459829 HAS SOUS 277622 HAS SOUPS 275595 WITH SCORE 276057.476
AT ITER 888 NEW BEST:: SOT 761987 SOS 462226 HAS SOPS 459579 HAS SOUS 277497 HAS SOUPS 275470 WITH SCORE 275932.226
AT ITER 889 NEW BEST:: SOT 761952 SOS 462191 HAS SOPS 459544 HAS SOUS 277458 HAS SOUPS 275431 WITH SCORE 275893.191
AT ITER 891 NEW BEST:: SOT 761780 SOS 461971 HAS SOPS 459476 HAS SOUS 277114 HAS SOUPS 275215 WITH SCORE 275676.971
AT ITER 893 NEW BEST:: SOT 761612 SOS 461803 HAS SOPS 459308 HAS SOUS 276946 HAS SOUPS 275047 WITH SCORE 275508.803
AT ITER 894 NEW BEST:: SOT 761842 SOS 460989 HAS SOPS 458494 HAS SOUS 276754 HAS SOUPS 274855 WITH SCORE 275315.989
AT ITER 903 NEW BEST:: SOT 761849 SOS 461010 HAS SOPS 458515 HAS SOUS 276747 HAS SOUPS 274848 WITH SCORE 275309.01
AT ITER 904 NEW BEST:: SOT 761258 SOS 460573 HAS SOPS 458078 HAS SOUS 276667 HAS SOUPS 274768 WITH SCORE 275228.573
AT ITER 907 NEW BEST:: SOT 761035 SOS 459246 HAS SOPS 456751 HAS SOUS 276538 HAS SOUPS 274639 WITH SCORE 275098.246
AT ITER 908 NEW BEST:: SOT 760753 SOS 458724 HAS SOPS 456229 HAS SOUS 276264 HAS SOUPS 274365 WITH SCORE 274823.724
AT ITER 914 NEW BEST:: SOT 760774 SOS 458661 HAS SOPS 456166 HAS SOUS 276222 HAS SOUPS 274323 WITH SCORE 274781.661
AT ITER 915 NEW BEST:: SOT 760781 SOS 458432 HAS SOPS 455914 HAS SOUS 276186 HAS SOUPS 274264 WITH SCORE 274722.432
AT ITER 918 NEW BEST:: SOT 760599 SOS 458249 HAS SOPS 455731 HAS SOUS 276163 HAS SOUPS 274241 WITH SCORE 274699.249
AT ITER 924 NEW BEST:: SOT 760580 SOS 458211 HAS SOPS 455693 HAS SOUS 276149 HAS SOUPS 274227 WITH SCORE 274685.211
AT ITER 928 NEW BEST:: SOT 760681 SOS 457774 HAS SOPS 455256 HAS SOUS 275653 HAS SOUPS 273731 WITH SCORE 274188.774
AT ITER 938 NEW BEST:: SOT 760731 SOS 459416 HAS SOPS 456898 HAS SOUS 275241 HAS SOUPS 273319 WITH SCORE 273778.416
AT ITER 940 NEW BEST:: SOT 760725 SOS 459340 HAS SOPS 456822 HAS SOUS 275165 HAS SOUPS 273243 WITH SCORE 273702.34
AT ITER 941 NEW BEST:: SOT 760860 SOS 458665 HAS SOPS 456147 HAS SOUS 275118 HAS SOUPS 273196 WITH SCORE 273654.665
AT ITER 942 NEW BEST:: SOT 760860 SOS 458655 HAS SOPS 456137 HAS SOUS 275054 HAS SOUPS 273132 WITH SCORE 273590.655
AT ITER 947 NEW BEST:: SOT 760996 SOS 458665 HAS SOPS 456147 HAS SOUS 274994 HAS SOUPS 273072 WITH SCORE 273530.665
AT ITER 950 NEW BEST:: SOT 761207 SOS 458470 HAS SOPS 455952 HAS SOUS 274393 HAS SOUPS 272471 WITH SCORE 272929.47
AT ITER 954 NEW BEST:: SOT 760858 SOS 458325 HAS SOPS 455807 HAS SOUS 274123 HAS SOUPS 272201 WITH SCORE 272659.325
AT ITER 956 NEW BEST:: SOT 760416 SOS 458096 HAS SOPS 455578 HAS SOUS 273633 HAS SOUPS 271711 WITH SCORE 272169.096
AT ITER 957 NEW BEST:: SOT 760509 SOS 458253 HAS SOPS 455735 HAS SOUS 273202 HAS SOUPS 271280 WITH SCORE 271738.253
AT ITER 958 NEW BEST:: SOT 759975 SOS 457896 HAS SOPS 455378 HAS SOUS 273024 HAS SOUPS 271102 WITH SCORE 271559.896
AT ITER 959 NEW BEST:: SOT 759688 SOS 458606 HAS SOPS 456088 HAS SOUS 272767 HAS SOUPS 270845 WITH SCORE 271303.606
AT ITER 964 NEW BEST:: SOT 756625 SOS 455756 HAS SOPS 453238 HAS SOUS 270010 HAS SOUPS 268088 WITH SCORE 268543.756
AT ITER 967 NEW BEST:: SOT 756679 SOS 455735 HAS SOPS 453217 HAS SOUS 269989 HAS SOUPS 268067 WITH SCORE 268522.735
AT ITER 969 NEW BEST:: SOT 757041 SOS 455895 HAS SOPS 453377 HAS SOUS 269838 HAS SOUPS 267916 WITH SCORE 268371.895
AT ITER 970 NEW BEST:: SOT 757399 SOS 455481 HAS SOPS 452963 HAS SOUS 269520 HAS SOUPS 267598 WITH SCORE 268053.481
AT ITER 971 NEW BEST:: SOT 756857 SOS 454883 HAS SOPS 452365 HAS SOUS 269080 HAS SOUPS 267158 WITH SCORE 267612.883
AT ITER 975 NEW BEST:: SOT 756395 SOS 454649 HAS SOPS 452131 HAS SOUS 269051 HAS SOUPS 267129 WITH SCORE 267583.649
AT ITER 980 NEW BEST:: SOT 755271 SOS 453580 HAS SOPS 451062 HAS SOUS 267742 HAS SOUPS 265820 WITH SCORE 266273.58
AT ITER 982 NEW BEST:: SOT 755087 SOS 453396 HAS SOPS 450878 HAS SOUS 267456 HAS SOUPS 265534 WITH SCORE 265987.396
AT ITER 983 NEW BEST:: SOT 754793 SOS 452312 HAS SOPS 449794 HAS SOUS 266988 HAS SOUPS 265066 WITH SCORE 265518.312
AT ITER 988 NEW BEST:: SOT 753260 SOS 450842 HAS SOPS 448324 HAS SOUS 265578 HAS SOUPS 263656 WITH SCORE 264106.842
AT ITER 994 NEW BEST:: SOT 753165 SOS 450747 HAS SOPS 448229 HAS SOUS 265400 HAS SOUPS 263478 WITH SCORE 263928.747
AT ITER 996 NEW BEST:: SOT 751942 SOS 449623 HAS SOPS 447105 HAS SOUS 264108 HAS SOUPS 262186 WITH SCORE 262635.623
AT ITER 998 NEW BEST:: SOT 752036 SOS 450275 HAS SOPS 447757 HAS SOUS 263978 HAS SOUPS 262056 WITH SCORE 262506.275
AT ITER 1002 NEW BEST:: SOT 752036 SOS 450275 HAS SOPS 447757 HAS SOUS 263938 HAS SOUPS 262016 WITH SCORE 262466.275
AT ITER 1003 NEW BEST:: SOT 752192 SOS 450353 HAS SOPS 447835 HAS SOUS 263934 HAS SOUPS 262012 WITH SCORE 262462.353
AT ITER 1006 NEW BEST:: SOT 752558 SOS 450569 HAS SOPS 448051 HAS SOUS 263929 HAS SOUPS 262007 WITH SCORE 262457.569
AT ITER 1007 NEW BEST:: SOT 752501 SOS 450152 HAS SOPS 447634 HAS SOUS 263714 HAS SOUPS 261792 WITH SCORE 262242.152
AT ITER 1008 NEW BEST:: SOT 752477 SOS 450134 HAS SOPS 447616 HAS SOUS 263714 HAS SOUPS 261792 WITH SCORE 262242.134
AT ITER 1014 NEW BEST:: SOT 752282 SOS 449898 HAS SOPS 447399 HAS SOUS 263343 HAS SOUPS 261440 WITH SCORE 261889.898
AT ITER 1016 NEW BEST:: SOT 752363 SOS 449910 HAS SOPS 447411 HAS SOUS 263319 HAS SOUPS 261416 WITH SCORE 261865.91
AT ITER 1018 NEW BEST:: SOT 752594 SOS 449077 HAS SOPS 446578 HAS SOUS 263116 HAS SOUPS 261213 WITH SCORE 261662.077
AT ITER 1019 NEW BEST:: SOT 752575 SOS 449058 HAS SOPS 446559 HAS SOUS 263111 HAS SOUPS 261208 WITH SCORE 261657.058
AT ITER 1021 NEW BEST:: SOT 751759 SOS 445443 HAS SOPS 442944 HAS SOUS 261952 HAS SOUPS 260049 WITH SCORE 260494.443
AT ITER 1022 NEW BEST:: SOT 752851 SOS 443885 HAS SOPS 441386 HAS SOUS 261950 HAS SOUPS 260047 WITH SCORE 260490.885
AT ITER 1023 NEW BEST:: SOT 752851 SOS 443860 HAS SOPS 441361 HAS SOUS 261950 HAS SOUPS 260047 WITH SCORE 260490.86
AT ITER 1025 NEW BEST:: SOT 752133 SOS 443732 HAS SOPS 441233 HAS SOUS 261427 HAS SOUPS 259524 WITH SCORE 259967.732
AT ITER 1026 NEW BEST:: SOT 752063 SOS 443515 HAS SOPS 441016 HAS SOUS 261360 HAS SOUPS 259457 WITH SCORE 259900.515
AT ITER 1029 NEW BEST:: SOT 752035 SOS 443327 HAS SOPS 440754 HAS SOUS 261273 HAS SOUPS 259296 WITH SCORE 259739.327
AT ITER 1031 NEW BEST:: SOT 751555 SOS 442731 HAS SOPS 440158 HAS SOUS 261183 HAS SOUPS 259206 WITH SCORE 259648.731
AT ITER 1034 NEW BEST:: SOT 751342 SOS 442305 HAS SOPS 439732 HAS SOUS 261124 HAS SOUPS 259147 WITH SCORE 259589.305
AT ITER 1037 NEW BEST:: SOT 751330 SOS 442275 HAS SOPS 439708 HAS SOUS 261106 HAS SOUPS 259135 WITH SCORE 259577.275
AT ITER 1041 NEW BEST:: SOT 750501 SOS 442444 HAS SOPS 439877 HAS SOUS 260487 HAS SOUPS 258516 WITH SCORE 258958.444
AT ITER 1045 NEW BEST:: SOT 750346 SOS 442780 HAS SOPS 440213 HAS SOUS 260378 HAS SOUPS 258407 WITH SCORE 258849.78
AT ITER 1046 NEW BEST:: SOT 750193 SOS 442525 HAS SOPS 439958 HAS SOUS 260276 HAS SOUPS 258305 WITH SCORE 258747.525
AT ITER 1049 NEW BEST:: SOT 749654 SOS 441986 HAS SOPS 439419 HAS SOUS 259629 HAS SOUPS 257658 WITH SCORE 258099.986
AT ITER 1054 NEW BEST:: SOT 749654 SOS 441850 HAS SOPS 439283 HAS SOUS 259357 HAS SOUPS 257386 WITH SCORE 257827.85
AT ITER 1055 NEW BEST:: SOT 749455 SOS 440994 HAS SOPS 438427 HAS SOUS 259148 HAS SOUPS 257177 WITH SCORE 257617.994
AT ITER 1058 NEW BEST:: SOT 749359 SOS 440898 HAS SOPS 438331 HAS SOUS 259052 HAS SOUPS 257081 WITH SCORE 257521.898
AT ITER 1062 NEW BEST:: SOT 749349 SOS 440888 HAS SOPS 438321 HAS SOUS 259022 HAS SOUPS 257051 WITH SCORE 257491.888
AT ITER 1070 NEW BEST:: SOT 748821 SOS 440504 HAS SOPS 437937 HAS SOUS 258638 HAS SOUPS 256667 WITH SCORE 257107.504
AT ITER 1079 NEW BEST:: SOT 748707 SOS 440330 HAS SOPS 437763 HAS SOUS 258578 HAS SOUPS 256607 WITH SCORE 257047.33
AT ITER 1083 NEW BEST:: SOT 748670 SOS 440188 HAS SOPS 437524 HAS SOUS 258539 HAS SOUPS 256473 WITH SCORE 256913.188
AT ITER 1084 NEW BEST:: SOT 748492 SOS 440558 HAS SOPS 437894 HAS SOUS 258505 HAS SOUPS 256439 WITH SCORE 256879.558
AT ITER 1090 NEW BEST:: SOT 748468 SOS 440534 HAS SOPS 437870 HAS SOUS 258481 HAS SOUPS 256415 WITH SCORE 256855.534
AT ITER 1098 NEW BEST:: SOT 748335 SOS 440534 HAS SOPS 437870 HAS SOUS 258479 HAS SOUPS 256413 WITH SCORE 256853.534
AT ITER 1099 NEW BEST:: SOT 748284 SOS 440126 HAS SOPS 437462 HAS SOUS 258411 HAS SOUPS 256345 WITH SCORE 256785.126
AT ITER 1111 NEW BEST:: SOT 747980 SOS 439764 HAS SOPS 437100 HAS SOUS 258152 HAS SOUPS 256086 WITH SCORE 256525.764
AT ITER 1112 NEW BEST:: SOT 747980 SOS 439764 HAS SOPS 437100 HAS SOUS 257971 HAS SOUPS 255905 WITH SCORE 256344.764
AT ITER 1114 NEW BEST:: SOT 748904 SOS 438521 HAS SOPS 435857 HAS SOUS 257510 HAS SOUPS 255444 WITH SCORE 255882.521
AT ITER 1120 NEW BEST:: SOT 748381 SOS 437475 HAS SOPS 434811 HAS SOUS 256429 HAS SOUPS 254363 WITH SCORE 254800.475
AT ITER 1124 NEW BEST:: SOT 748485 SOS 437207 HAS SOPS 434543 HAS SOUS 256051 HAS SOUPS 253985 WITH SCORE 254422.207
AT ITER 1127 NEW BEST:: SOT 748447 SOS 438141 HAS SOPS 435477 HAS SOUS 255680 HAS SOUPS 253614 WITH SCORE 254052.141
AT ITER 1137 NEW BEST:: SOT 748447 SOS 438456 HAS SOPS 435792 HAS SOUS 255590 HAS SOUPS 253524 WITH SCORE 253962.456
AT ITER 1140 NEW BEST:: SOT 748359 SOS 438368 HAS SOPS 435704 HAS SOUS 255584 HAS SOUPS 253518 WITH SCORE 253956.368
AT ITER 1153 NEW BEST:: SOT 748647 SOS 438570 HAS SOPS 435906 HAS SOUS 255280 HAS SOUPS 253214 WITH SCORE 253652.57
AT ITER 1154 NEW BEST:: SOT 748519 SOS 438485 HAS SOPS 435821 HAS SOUS 255167 HAS SOUPS 253101 WITH SCORE 253539.485
AT ITER 1157 NEW BEST:: SOT 748433 SOS 438409 HAS SOPS 435745 HAS SOUS 255101 HAS SOUPS 253035 WITH SCORE 253473.409
AT ITER 1161 NEW BEST:: SOT 748549 SOS 438467 HAS SOPS 435803 HAS SOUS 255095 HAS SOUPS 253029 WITH SCORE 253467.467
AT ITER 1163 NEW BEST:: SOT 748542 SOS 438458 HAS SOPS 435801 HAS SOUS 255081 HAS SOUPS 253022 WITH SCORE 253460.458
AT ITER 1175 NEW BEST:: SOT 748092 SOS 437631 HAS SOPS 434974 HAS SOUS 253910 HAS SOUPS 251851 WITH SCORE 252288.631
AT ITER 1177 NEW BEST:: SOT 747670 SOS 437009 HAS SOPS 434352 HAS SOUS 253561 HAS SOUPS 251502 WITH SCORE 251939.009
AT ITER 1178 NEW BEST:: SOT 747670 SOS 437009 HAS SOPS 434352 HAS SOUS 253560 HAS SOUPS 251501 WITH SCORE 251938.009
AT ITER 1179 NEW BEST:: SOT 746956 SOS 435805 HAS SOPS 433148 HAS SOUS 252835 HAS SOUPS 250776 WITH SCORE 251211.805
AT ITER 1188 NEW BEST:: SOT 746989 SOS 435950 HAS SOPS 433293 HAS SOUS 252812 HAS SOUPS 250753 WITH SCORE 251188.95
AT ITER 1192 NEW BEST:: SOT 746653 SOS 435630 HAS SOPS 432973 HAS SOUS 252439 HAS SOUPS 250380 WITH SCORE 250815.63
AT ITER 1194 NEW BEST:: SOT 746436 SOS 435568 HAS SOPS 432911 HAS SOUS 252284 HAS SOUPS 250225 WITH SCORE 250660.568
AT ITER 1196 NEW BEST:: SOT 746479 SOS 435170 HAS SOPS 432513 HAS SOUS 251977 HAS SOUPS 249918 WITH SCORE 250353.17
AT ITER 1200 NEW BEST:: SOT 745982 SOS 433970 HAS SOPS 431925 HAS SOUS 250637 HAS SOUPS 248930 WITH SCORE 249363.97
AT ITER 1202 NEW BEST:: SOT 745704 SOS 433245 HAS SOPS 431200 HAS SOUS 250506 HAS SOUPS 248799 WITH SCORE 249232.245
AT ITER 1205 NEW BEST:: SOT 745668 SOS 433209 HAS SOPS 431164 HAS SOUS 250452 HAS SOUPS 248745 WITH SCORE 249178.209
AT ITER 1209 NEW BEST:: SOT 745968 SOS 433211 HAS SOPS 431166 HAS SOUS 250368 HAS SOUPS 248661 WITH SCORE 249094.211
AT ITER 1211 NEW BEST:: SOT 745966 SOS 433209 HAS SOPS 431164 HAS SOUS 250366 HAS SOUPS 248659 WITH SCORE 249092.209
AT ITER 1215 NEW BEST:: SOT 745853 SOS 432141 HAS SOPS 430096 HAS SOUS 249606 HAS SOUPS 247899 WITH SCORE 248331.141
AT ITER 1221 NEW BEST:: SOT 745730 SOS 431295 HAS SOPS 429250 HAS SOUS 249483 HAS SOUPS 247776 WITH SCORE 248207.295
AT ITER 1223 NEW BEST:: SOT 745664 SOS 431253 HAS SOPS 429208 HAS SOUS 249483 HAS SOUPS 247776 WITH SCORE 248207.253
AT ITER 1227 NEW BEST:: SOT 745538 SOS 431150 HAS SOPS 429105 HAS SOUS 249415 HAS SOUPS 247708 WITH SCORE 248139.15
AT ITER 1228 NEW BEST:: SOT 745616 SOS 430858 HAS SOPS 428949 HAS SOUS 249279 HAS SOUPS 247658 WITH SCORE 248088.858
AT ITER 1230 NEW BEST:: SOT 745151 SOS 430471 HAS SOPS 428562 HAS SOUS 248712 HAS SOUPS 247091 WITH SCORE 247521.471
AT ITER 1241 NEW BEST:: SOT 745136 SOS 430456 HAS SOPS 428547 HAS SOUS 248682 HAS SOUPS 247061 WITH SCORE 247491.456
AT ITER 1248 NEW BEST:: SOT 745120 SOS 430426 HAS SOPS 428517 HAS SOUS 248666 HAS SOUPS 247045 WITH SCORE 247475.426
AT ITER 1249 NEW BEST:: SOT 745149 SOS 430387 HAS SOPS 428478 HAS SOUS 248556 HAS SOUPS 246935 WITH SCORE 247365.387
AT ITER 1251 NEW BEST:: SOT 745122 SOS 430342 HAS SOPS 428433 HAS SOUS 248528 HAS SOUPS 246907 WITH SCORE 247337.342
AT ITER 1252 NEW BEST:: SOT 744999 SOS 430219 HAS SOPS 428310 HAS SOUS 248519 HAS SOUPS 246898 WITH SCORE 247328.219
AT ITER 1262 NEW BEST:: SOT 744957 SOS 429890 HAS SOPS 427981 HAS SOUS 247817 HAS SOUPS 246196 WITH SCORE 246625.89
AT ITER 1265 NEW BEST:: SOT 744516 SOS 431337 HAS SOPS 429428 HAS SOUS 247177 HAS SOUPS 245556 WITH SCORE 245987.337
AT ITER 1266 NEW BEST:: SOT 744905 SOS 430595 HAS SOPS 428686 HAS SOUS 246781 HAS SOUPS 245160 WITH SCORE 245590.595
AT ITER 1271 NEW BEST:: SOT 744849 SOS 430539 HAS SOPS 428630 HAS SOUS 246781 HAS SOUPS 245160 WITH SCORE 245590.539
AT ITER 1272 NEW BEST:: SOT 744872 SOS 430515 HAS SOPS 428575 HAS SOUS 246736 HAS SOUPS 245115 WITH SCORE 245545.515
AT ITER 1273 NEW BEST:: SOT 744429 SOS 429826 HAS SOPS 427886 HAS SOUS 246581 HAS SOUPS 244960 WITH SCORE 245389.826
AT ITER 1276 NEW BEST:: SOT 744276 SOS 429397 HAS SOPS 427457 HAS SOUS 246549 HAS SOUPS 244928 WITH SCORE 245357.397
AT ITER 1278 NEW BEST:: SOT 744276 SOS 429367 HAS SOPS 427427 HAS SOUS 246549 HAS SOUPS 244928 WITH SCORE 245357.367
AT ITER 1281 NEW BEST:: SOT 744411 SOS 429365 HAS SOPS 427425 HAS SOUS 246480 HAS SOUPS 244859 WITH SCORE 245288.365
AT ITER 1286 NEW BEST:: SOT 743698 SOS 429025 HAS SOPS 427085 HAS SOUS 246266 HAS SOUPS 244645 WITH SCORE 245074.025
AT ITER 1288 NEW BEST:: SOT 743604 SOS 428931 HAS SOPS 426991 HAS SOUS 246219 HAS SOUPS 244598 WITH SCORE 245026.931
AT ITER 1301 NEW BEST:: SOT 743569 SOS 428896 HAS SOPS 426956 HAS SOUS 246191 HAS SOUPS 244570 WITH SCORE 244998.896
AT ITER 1309 NEW BEST:: SOT 743873 SOS 429996 HAS SOPS 428139 HAS SOUS 246065 HAS SOUPS 244527 WITH SCORE 244956.996
AT ITER 1311 NEW BEST:: SOT 743604 SOS 429697 HAS SOPS 427840 HAS SOUS 245507 HAS SOUPS 243969 WITH SCORE 244398.697
AT ITER 1320 NEW BEST:: SOT 743604 SOS 429247 HAS SOPS 427390 HAS SOUS 245507 HAS SOUPS 243969 WITH SCORE 244398.247
AT ITER 1322 NEW BEST:: SOT 743570 SOS 429027 HAS SOPS 427170 HAS SOUS 245461 HAS SOUPS 243923 WITH SCORE 244352.027
AT ITER 1323 NEW BEST:: SOT 743444 SOS 427780 HAS SOPS 425874 HAS SOUS 245296 HAS SOUPS 243758 WITH SCORE 244185.78
AT ITER 1328 NEW BEST:: SOT 743492 SOS 427893 HAS SOPS 426047 HAS SOUS 245204 HAS SOUPS 243726 WITH SCORE 244153.893
AT ITER 1330 NEW BEST:: SOT 744293 SOS 428009 HAS SOPS 426163 HAS SOUS 245019 HAS SOUPS 243541 WITH SCORE 243969.009
AT ITER 1344 NEW BEST:: SOT 744293 SOS 427894 HAS SOPS 426048 HAS SOUS 245019 HAS SOUPS 243541 WITH SCORE 243968.894
AT ITER 1346 NEW BEST:: SOT 744687 SOS 427942 HAS SOPS 426096 HAS SOUS 244942 HAS SOUPS 243464 WITH SCORE 243891.942
AT ITER 1351 NEW BEST:: SOT 744280 SOS 427677 HAS SOPS 425831 HAS SOUS 244861 HAS SOUPS 243383 WITH SCORE 243810.677
AT ITER 1352 NEW BEST:: SOT 744214 SOS 429076 HAS SOPS 427230 HAS SOUS 244795 HAS SOUPS 243317 WITH SCORE 243746.076
AT ITER 1382 NEW BEST:: SOT 744175 SOS 429035 HAS SOPS 427189 HAS SOUS 244673 HAS SOUPS 243195 WITH SCORE 243624.035
AT ITER 1388 NEW BEST:: SOT 743993 SOS 429515 HAS SOPS 427669 HAS SOUS 244611 HAS SOUPS 243133 WITH SCORE 243562.515
AT ITER 1397 NEW BEST:: SOT 744283 SOS 429663 HAS SOPS 427817 HAS SOUS 243866 HAS SOUPS 242388 WITH SCORE 242817.663
AT ITER 1400 NEW BEST:: SOT 744211 SOS 430285 HAS SOPS 428439 HAS SOUS 243794 HAS SOUPS 242316 WITH SCORE 242746.285
AT ITER 1402 NEW BEST:: SOT 743987 SOS 430273 HAS SOPS 428427 HAS SOUS 243706 HAS SOUPS 242228 WITH SCORE 242658.273
AT ITER 1405 NEW BEST:: SOT 743982 SOS 430210 HAS SOPS 428335 HAS SOUS 243701 HAS SOUPS 242194 WITH SCORE 242624.21
AT ITER 1407 NEW BEST:: SOT 743732 SOS 429960 HAS SOPS 428085 HAS SOUS 243590 HAS SOUPS 242083 WITH SCORE 242512.96
AT ITER 1408 NEW BEST:: SOT 743996 SOS 429685 HAS SOPS 427810 HAS SOUS 243267 HAS SOUPS 241760 WITH SCORE 242189.685
AT ITER 1409 NEW BEST:: SOT 743969 SOS 429870 HAS SOPS 427995 HAS SOUS 243205 HAS SOUPS 241698 WITH SCORE 242127.87
AT ITER 1418 NEW BEST:: SOT 743821 SOS 429722 HAS SOPS 427847 HAS SOUS 242825 HAS SOUPS 241318 WITH SCORE 241747.722
AT ITER 1419 NEW BEST:: SOT 743631 SOS 429463 HAS SOPS 427588 HAS SOUS 242497 HAS SOUPS 240990 WITH SCORE 241419.463
AT ITER 1422 NEW BEST:: SOT 743366 SOS 429745 HAS SOPS 427870 HAS SOUS 242389 HAS SOUPS 240882 WITH SCORE 241311.745
AT ITER 1424 NEW BEST:: SOT 743214 SOS 429343 HAS SOPS 427468 HAS SOUS 242122 HAS SOUPS 240615 WITH SCORE 241044.343
AT ITER 1426 NEW BEST:: SOT 743020 SOS 430430 HAS SOPS 428555 HAS SOUS 241758 HAS SOUPS 240251 WITH SCORE 240681.43
AT ITER 1440 NEW BEST:: SOT 742992 SOS 430402 HAS SOPS 428527 HAS SOUS 241693 HAS SOUPS 240186 WITH SCORE 240616.402
AT ITER 1442 NEW BEST:: SOT 742679 SOS 430175 HAS SOPS 428300 HAS SOUS 241671 HAS SOUPS 240164 WITH SCORE 240594.175
AT ITER 1448 NEW BEST:: SOT 742412 SOS 433152 HAS SOPS 431277 HAS SOUS 241382 HAS SOUPS 239875 WITH SCORE 240308.152
AT ITER 1452 NEW BEST:: SOT 742319 SOS 432828 HAS SOPS 430953 HAS SOUS 241331 HAS SOUPS 239824 WITH SCORE 240256.828
AT ITER 1461 NEW BEST:: SOT 741846 SOS 431813 HAS SOPS 429938 HAS SOUS 241107 HAS SOUPS 239600 WITH SCORE 240031.813
AT ITER 1472 NEW BEST:: SOT 741474 SOS 431441 HAS SOPS 429566 HAS SOUS 240731 HAS SOUPS 239224 WITH SCORE 239655.441
AT ITER 1473 NEW BEST:: SOT 741474 SOS 431441 HAS SOPS 429566 HAS SOUS 240727 HAS SOUPS 239220 WITH SCORE 239651.441
AT ITER 1476 NEW BEST:: SOT 740294 SOS 434282 HAS SOPS 432654 HAS SOUS 239896 HAS SOUPS 238636 WITH SCORE 239070.282
AT ITER 1484 NEW BEST:: SOT 740601 SOS 433798 HAS SOPS 432170 HAS SOUS 239463 HAS SOUPS 238203 WITH SCORE 238636.798
AT ITER 1488 NEW BEST:: SOT 740018 SOS 432843 HAS SOPS 431215 HAS SOUS 238712 HAS SOUPS 237452 WITH SCORE 237884.843
AT ITER 1491 NEW BEST:: SOT 739637 SOS 432081 HAS SOPS 430453 HAS SOUS 238437 HAS SOUPS 237177 WITH SCORE 237609.081
AT ITER 1496 NEW BEST:: SOT 739479 SOS 431664 HAS SOPS 430036 HAS SOUS 238207 HAS SOUPS 236947 WITH SCORE 237378.664
AT ITER 1499 NEW BEST:: SOT 739427 SOS 431612 HAS SOPS 429984 HAS SOUS 238186 HAS SOUPS 236926 WITH SCORE 237357.612
AT ITER 1500 NEW BEST:: SOT 739349 SOS 432560 HAS SOPS 430932 HAS SOUS 238055 HAS SOUPS 236795 WITH SCORE 237227.56
AT ITER 1502 NEW BEST:: SOT 739588 SOS 432478 HAS SOPS 430850 HAS SOUS 237687 HAS SOUPS 236427 WITH SCORE 236859.478
AT ITER 1507 NEW BEST:: SOT 739122 SOS 432363 HAS SOPS 430735 HAS SOUS 237658 HAS SOUPS 236398 WITH SCORE 236830.363
AT ITER 1519 NEW BEST:: SOT 738802 SOS 432003 HAS SOPS 430375 HAS SOUS 237218 HAS SOUPS 235958 WITH SCORE 236390.003
AT ITER 1527 NEW BEST:: SOT 738842 SOS 432043 HAS SOPS 430415 HAS SOUS 237103 HAS SOUPS 235843 WITH SCORE 236275.043
AT ITER 1530 NEW BEST:: SOT 738874 SOS 432168 HAS SOPS 430622 HAS SOUS 237053 HAS SOUPS 235834 WITH SCORE 236266.168
AT ITER 1533 NEW BEST:: SOT 738964 SOS 432258 HAS SOPS 430712 HAS SOUS 236984 HAS SOUPS 235765 WITH SCORE 236197.258
AT ITER 1537 NEW BEST:: SOT 738916 SOS 432152 HAS SOPS 430607 HAS SOUS 236698 HAS SOUPS 235480 WITH SCORE 235912.152
AT ITER 1544 NEW BEST:: SOT 738951 SOS 430851 HAS SOPS 429306 HAS SOUS 236171 HAS SOUPS 234953 WITH SCORE 235383.851
AT ITER 1545 NEW BEST:: SOT 737850 SOS 427200 HAS SOPS 425655 HAS SOUS 235004 HAS SOUPS 233786 WITH SCORE 234213.2
AT ITER 1548 NEW BEST:: SOT 737985 SOS 427234 HAS SOPS 425689 HAS SOUS 234773 HAS SOUPS 233555 WITH SCORE 233982.234
AT ITER 1549 NEW BEST:: SOT 737618 SOS 426800 HAS SOPS 425255 HAS SOUS 234064 HAS SOUPS 232846 WITH SCORE 233272.8
AT ITER 1556 NEW BEST:: SOT 737780 SOS 426488 HAS SOPS 424943 HAS SOUS 233906 HAS SOUPS 232688 WITH SCORE 233114.488
AT ITER 1559 NEW BEST:: SOT 736212 SOS 423764 HAS SOPS 422219 HAS SOUS 233031 HAS SOUPS 231813 WITH SCORE 232236.764
AT ITER 1561 NEW BEST:: SOT 736545 SOS 423195 HAS SOPS 421650 HAS SOUS 232799 HAS SOUPS 231581 WITH SCORE 232004.195
AT ITER 1566 NEW BEST:: SOT 736395 SOS 423195 HAS SOPS 421650 HAS SOUS 232724 HAS SOUPS 231506 WITH SCORE 231929.195
AT ITER 1568 NEW BEST:: SOT 736482 SOS 423236 HAS SOPS 421691 HAS SOUS 232681 HAS SOUPS 231463 WITH SCORE 231886.236
AT ITER 1575 NEW BEST:: SOT 736532 SOS 423186 HAS SOPS 421641 HAS SOUS 232656 HAS SOUPS 231438 WITH SCORE 231861.186
AT ITER 1577 NEW BEST:: SOT 736952 SOS 424026 HAS SOPS 422481 HAS SOUS 232268 HAS SOUPS 231050 WITH SCORE 231474.026
AT ITER 1584 NEW BEST:: SOT 736969 SOS 424043 HAS SOPS 422498 HAS SOUS 231976 HAS SOUPS 230758 WITH SCORE 231182.043
AT ITER 1587 NEW BEST:: SOT 737303 SOS 424141 HAS SOPS 422596 HAS SOUS 231600 HAS SOUPS 230382 WITH SCORE 230806.141
AT ITER 1589 NEW BEST:: SOT 737337 SOS 424307 HAS SOPS 422762 HAS SOUS 231536 HAS SOUPS 230318 WITH SCORE 230742.307
AT ITER 1594 NEW BEST:: SOT 737337 SOS 424307 HAS SOPS 422762 HAS SOUS 231437 HAS SOUPS 230219 WITH SCORE 230643.307
AT ITER 1598 NEW BEST:: SOT 737439 SOS 424047 HAS SOPS 422502 HAS SOUS 231238 HAS SOUPS 230020 WITH SCORE 230444.047
AT ITER 1603 NEW BEST:: SOT 736826 SOS 424068 HAS SOPS 422523 HAS SOUS 231221 HAS SOUPS 230003 WITH SCORE 230427.068
AT ITER 1608 NEW BEST:: SOT 736976 SOS 424022 HAS SOPS 422477 HAS SOUS 231146 HAS SOUPS 229928 WITH SCORE 230352.022
AT ITER 1610 NEW BEST:: SOT 737016 SOS 424855 HAS SOPS 423310 HAS SOUS 231057 HAS SOUPS 229839 WITH SCORE 230263.855
AT ITER 1621 NEW BEST:: SOT 736867 SOS 424595 HAS SOPS 423050 HAS SOUS 230854 HAS SOUPS 229636 WITH SCORE 230060.595
AT ITER 1628 NEW BEST:: SOT 736739 SOS 424582 HAS SOPS 423037 HAS SOUS 230836 HAS SOUPS 229618 WITH SCORE 230042.582
AT ITER 1631 NEW BEST:: SOT 736715 SOS 424877 HAS SOPS 423332 HAS SOUS 230812 HAS SOUPS 229594 WITH SCORE 230018.877
AT ITER 1639 NEW BEST:: SOT 736407 SOS 424032 HAS SOPS 422487 HAS SOUS 230384 HAS SOUPS 229166 WITH SCORE 229590.032
AT ITER 1643 NEW BEST:: SOT 736407 SOS 424032 HAS SOPS 422487 HAS SOUS 230197 HAS SOUPS 228979 WITH SCORE 229403.032
AT ITER 1658 NEW BEST:: SOT 736428 SOS 423972 HAS SOPS 422427 HAS SOUS 230056 HAS SOUPS 228838 WITH SCORE 229261.972
AT ITER 1662 NEW BEST:: SOT 736250 SOS 423049 HAS SOPS 421504 HAS SOUS 229793 HAS SOUPS 228575 WITH SCORE 228998.049
AT ITER 1665 NEW BEST:: SOT 736226 SOS 423001 HAS SOPS 421432 HAS SOUS 229793 HAS SOUPS 228563 WITH SCORE 228986.001
AT ITER 1669 NEW BEST:: SOT 736271 SOS 423001 HAS SOPS 421432 HAS SOUS 229748 HAS SOUPS 228518 WITH SCORE 228941.001
AT ITER 1677 NEW BEST:: SOT 737536 SOS 422913 HAS SOPS 421344 HAS SOUS 229094 HAS SOUPS 227864 WITH SCORE 228286.913
AT ITER 1679 NEW BEST:: SOT 737020 SOS 422540 HAS SOPS 420971 HAS SOUS 228628 HAS SOUPS 227398 WITH SCORE 227820.54
AT ITER 1680 NEW BEST:: SOT 736909 SOS 422455 HAS SOPS 420886 HAS SOUS 228563 HAS SOUPS 227333 WITH SCORE 227755.455
AT ITER 1682 NEW BEST:: SOT 738247 SOS 423003 HAS SOPS 421434 HAS SOUS 228390 HAS SOUPS 227160 WITH SCORE 227583.003
AT ITER 1683 NEW BEST:: SOT 737845 SOS 421875 HAS SOPS 420306 HAS SOUS 228385 HAS SOUPS 227155 WITH SCORE 227576.875
AT ITER 1693 NEW BEST:: SOT 737527 SOS 420494 HAS SOPS 418925 HAS SOUS 227742 HAS SOUPS 226512 WITH SCORE 226932.494
AT ITER 1696 NEW BEST:: SOT 737325 SOS 420296 HAS SOPS 418727 HAS SOUS 227723 HAS SOUPS 226493 WITH SCORE 226913.296
AT ITER 1697 NEW BEST:: SOT 737324 SOS 420294 HAS SOPS 418725 HAS SOUS 227712 HAS SOUPS 226482 WITH SCORE 226902.294
AT ITER 1698 NEW BEST:: SOT 737318 SOS 420264 HAS SOPS 418695 HAS SOUS 227694 HAS SOUPS 226464 WITH SCORE 226884.264
AT ITER 1701 NEW BEST:: SOT 737358 SOS 419922 HAS SOPS 418353 HAS SOUS 227150 HAS SOUPS 225920 WITH SCORE 226339.922
AT ITER 1702 NEW BEST:: SOT 737395 SOS 419595 HAS SOPS 418026 HAS SOUS 227129 HAS SOUPS 225899 WITH SCORE 226318.595
AT ITER 1704 NEW BEST:: SOT 737450 SOS 419644 HAS SOPS 418075 HAS SOUS 227127 HAS SOUPS 225897 WITH SCORE 226316.644
AT ITER 1710 NEW BEST:: SOT 737422 SOS 419545 HAS SOPS 418032 HAS SOUS 227043 HAS SOUPS 225841 WITH SCORE 226260.545
AT ITER 1711 NEW BEST:: SOT 737356 SOS 419479 HAS SOPS 417966 HAS SOUS 226972 HAS SOUPS 225770 WITH SCORE 226189.479
AT ITER 1712 NEW BEST:: SOT 737215 SOS 419056 HAS SOPS 417543 HAS SOUS 226902 HAS SOUPS 225700 WITH SCORE 226119.056
AT ITER 1724 NEW BEST:: SOT 737356 SOS 418908 HAS SOPS 417395 HAS SOUS 226902 HAS SOUPS 225700 WITH SCORE 226118.908
AT ITER 1742 NEW BEST:: SOT 737324 SOS 418723 HAS SOPS 417210 HAS SOUS 226887 HAS SOUPS 225685 WITH SCORE 226103.723
AT ITER 1747 NEW BEST:: SOT 737237 SOS 418636 HAS SOPS 417123 HAS SOUS 226781 HAS SOUPS 225579 WITH SCORE 225997.636
AT ITER 1774 NEW BEST:: SOT 737212 SOS 417842 HAS SOPS 416329 HAS SOUS 226728 HAS SOUPS 225526 WITH SCORE 225943.842
AT ITER 1777 NEW BEST:: SOT 737163 SOS 417793 HAS SOPS 416280 HAS SOUS 226679 HAS SOUPS 225477 WITH SCORE 225894.793
AT ITER 1778 NEW BEST:: SOT 737156 SOS 415952 HAS SOPS 414439 HAS SOUS 225917 HAS SOUPS 224715 WITH SCORE 225130.952
AT ITER 1784 NEW BEST:: SOT 737032 SOS 415120 HAS SOPS 413607 HAS SOUS 225669 HAS SOUPS 224467 WITH SCORE 224882.12
AT ITER 1789 NEW BEST:: SOT 736836 SOS 414930 HAS SOPS 413417 HAS SOUS 225663 HAS SOUPS 224461 WITH SCORE 224875.93
AT ITER 1793 NEW BEST:: SOT 736223 SOS 413176 HAS SOPS 411663 HAS SOUS 225251 HAS SOUPS 224049 WITH SCORE 224462.176
AT ITER 1797 NEW BEST:: SOT 736257 SOS 412278 HAS SOPS 410765 HAS SOUS 225100 HAS SOUPS 223898 WITH SCORE 224310.278
AT ITER 1804 NEW BEST:: SOT 736133 SOS 412402 HAS SOPS 410889 HAS SOUS 224976 HAS SOUPS 223774 WITH SCORE 224186.402
AT ITER 1807 NEW BEST:: SOT 735906 SOS 411917 HAS SOPS 410404 HAS SOUS 224713 HAS SOUPS 223511 WITH SCORE 223922.917
AT ITER 1816 NEW BEST:: SOT 735858 SOS 411773 HAS SOPS 410260 HAS SOUS 224713 HAS SOUPS 223511 WITH SCORE 223922.773
AT ITER 1817 NEW BEST:: SOT 735850 SOS 410567 HAS SOPS 408825 HAS SOUS 224177 HAS SOUPS 222746 WITH SCORE 223156.567
AT ITER 1819 NEW BEST:: SOT 735706 SOS 410423 HAS SOPS 408681 HAS SOUS 224033 HAS SOUPS 222602 WITH SCORE 223012.423
AT ITER 1820 NEW BEST:: SOT 735665 SOS 410300 HAS SOPS 408558 HAS SOUS 223910 HAS SOUPS 222479 WITH SCORE 222889.3
AT ITER 1821 NEW BEST:: SOT 735039 SOS 409445 HAS SOPS 407703 HAS SOUS 223393 HAS SOUPS 221962 WITH SCORE 222371.445
AT ITER 1822 NEW BEST:: SOT 734783 SOS 408933 HAS SOPS 407191 HAS SOUS 222664 HAS SOUPS 221233 WITH SCORE 221641.933
AT ITER 1825 NEW BEST:: SOT 734880 SOS 409030 HAS SOPS 407288 HAS SOUS 222567 HAS SOUPS 221136 WITH SCORE 221545.03
AT ITER 1832 NEW BEST:: SOT 734374 SOS 408760 HAS SOPS 407018 HAS SOUS 222299 HAS SOUPS 220868 WITH SCORE 221276.76
AT ITER 1836 NEW BEST:: SOT 734432 SOS 408440 HAS SOPS 406698 HAS SOUS 221565 HAS SOUPS 220134 WITH SCORE 220542.44
AT ITER 1837 NEW BEST:: SOT 734058 SOS 407692 HAS SOPS 405950 HAS SOUS 221353 HAS SOUPS 219922 WITH SCORE 220329.692
AT ITER 1842 NEW BEST:: SOT 733739 SOS 407708 HAS SOPS 405966 HAS SOUS 221234 HAS SOUPS 219803 WITH SCORE 220210.708
AT ITER 1857 NEW BEST:: SOT 733439 SOS 407275 HAS SOPS 405533 HAS SOUS 221084 HAS SOUPS 219653 WITH SCORE 220060.275
AT ITER 1860 NEW BEST:: SOT 734027 SOS 407768 HAS SOPS 406026 HAS SOUS 221000 HAS SOUPS 219569 WITH SCORE 219976.768
AT ITER 1866 NEW BEST:: SOT 734152 SOS 408323 HAS SOPS 406581 HAS SOUS 220933 HAS SOUPS 219502 WITH SCORE 219910.323
AT ITER 1868 NEW BEST:: SOT 734527 SOS 408710 HAS SOPS 406777 HAS SOUS 221085 HAS SOUPS 219475 WITH SCORE 219883.71
AT ITER 1887 NEW BEST:: SOT 734280 SOS 407384 HAS SOPS 405451 HAS SOUS 220904 HAS SOUPS 219294 WITH SCORE 219701.384
AT ITER 1891 NEW BEST:: SOT 733978 SOS 407412 HAS SOPS 405479 HAS SOUS 220787 HAS SOUPS 219177 WITH SCORE 219584.412
AT ITER 1892 NEW BEST:: SOT 733592 SOS 407219 HAS SOPS 405286 HAS SOUS 220684 HAS SOUPS 219074 WITH SCORE 219481.219
AT ITER 1900 NEW BEST:: SOT 733001 SOS 406807 HAS SOPS 404874 HAS SOUS 220188 HAS SOUPS 218578 WITH SCORE 218984.807
AT ITER 1901 NEW BEST:: SOT 732625 SOS 406233 HAS SOPS 404300 HAS SOUS 219555 HAS SOUPS 217945 WITH SCORE 218351.233
AT ITER 1906 NEW BEST:: SOT 732189 SOS 406725 HAS SOPS 404792 HAS SOUS 219327 HAS SOUPS 217717 WITH SCORE 218123.725
AT ITER 1909 NEW BEST:: SOT 732177 SOS 406677 HAS SOPS 404744 HAS SOUS 219315 HAS SOUPS 217705 WITH SCORE 218111.677
AT ITER 1912 NEW BEST:: SOT 731756 SOS 405945 HAS SOPS 404012 HAS SOUS 218983 HAS SOUPS 217373 WITH SCORE 217778.945
AT ITER 1914 NEW BEST:: SOT 731440 SOS 404741 HAS SOPS 402808 HAS SOUS 218615 HAS SOUPS 217005 WITH SCORE 217409.741
AT ITER 1917 NEW BEST:: SOT 731481 SOS 405692 HAS SOPS 403759 HAS SOUS 218551 HAS SOUPS 216941 WITH SCORE 217346.692
AT ITER 1918 NEW BEST:: SOT 731502 SOS 405521 HAS SOPS 403588 HAS SOUS 218543 HAS SOUPS 216933 WITH SCORE 217338.521
AT ITER 1926 NEW BEST:: SOT 731245 SOS 405264 HAS SOPS 403331 HAS SOUS 218238 HAS SOUPS 216628 WITH SCORE 217033.264
AT ITER 1927 NEW BEST:: SOT 730956 SOS 404677 HAS SOPS 402744 HAS SOUS 217561 HAS SOUPS 215951 WITH SCORE 216355.677
AT ITER 1931 NEW BEST:: SOT 730572 SOS 404316 HAS SOPS 402383 HAS SOUS 217427 HAS SOUPS 215817 WITH SCORE 216221.316
AT ITER 1933 NEW BEST:: SOT 730477 SOS 404221 HAS SOPS 402288 HAS SOUS 217332 HAS SOUPS 215722 WITH SCORE 216126.221
AT ITER 1934 NEW BEST:: SOT 730533 SOS 404228 HAS SOPS 402295 HAS SOUS 217301 HAS SOUPS 215691 WITH SCORE 216095.228
AT ITER 1952 NEW BEST:: SOT 730502 SOS 404197 HAS SOPS 402264 HAS SOUS 217301 HAS SOUPS 215691 WITH SCORE 216095.197
AT ITER 1953 NEW BEST:: SOT 730290 SOS 403330 HAS SOPS 401484 HAS SOUS 216982 HAS SOUPS 215459 WITH SCORE 215862.33
AT ITER 1957 NEW BEST:: SOT 730089 SOS 402928 HAS SOPS 401082 HAS SOUS 216682 HAS SOUPS 215159 WITH SCORE 215561.928
AT ITER 1960 NEW BEST:: SOT 730087 SOS 402926 HAS SOPS 401080 HAS SOUS 216679 HAS SOUPS 215156 WITH SCORE 215558.926
AT ITER 1962 NEW BEST:: SOT 730087 SOS 402857 HAS SOPS 401011 HAS SOUS 216656 HAS SOUPS 215133 WITH SCORE 215535.857
AT ITER 1966 NEW BEST:: SOT 730064 SOS 402834 HAS SOPS 400988 HAS SOUS 216610 HAS SOUPS 215087 WITH SCORE 215489.834
AT ITER 1973 NEW BEST:: SOT 730064 SOS 402822 HAS SOPS 400976 HAS SOUS 216598 HAS SOUPS 215075 WITH SCORE 215477.822
AT ITER 1974 NEW BEST:: SOT 730064 SOS 402653 HAS SOPS 400807 HAS SOUS 216598 HAS SOUPS 215075 WITH SCORE 215477.653
AT ITER 1986 NEW BEST:: SOT 729776 SOS 402370 HAS SOPS 400524 HAS SOUS 216445 HAS SOUPS 214922 WITH SCORE 215324.37
AT ITER 1987 NEW BEST:: SOT 729362 SOS 401749 HAS SOPS 399973 HAS SOUS 216009 HAS SOUPS 214514 WITH SCORE 214915.749
AT ITER 1990 NEW BEST:: SOT 729347 SOS 401719 HAS SOPS 399943 HAS SOUS 215993 HAS SOUPS 214498 WITH SCORE 214899.719
AT ITER 2013 NEW BEST:: SOT 730048 SOS 401750 HAS SOPS 399974 HAS SOUS 215767 HAS SOUPS 214272 WITH SCORE 214673.75
AT ITER 2015 NEW BEST:: SOT 730097 SOS 401770 HAS SOPS 399916 HAS SOUS 215761 HAS SOUPS 214227 WITH SCORE 214628.77
AT ITER 2021 NEW BEST:: SOT 730085 SOS 401734 HAS SOPS 399880 HAS SOUS 215725 HAS SOUPS 214191 WITH SCORE 214592.734
AT ITER 2025 NEW BEST:: SOT 730085 SOS 401734 HAS SOPS 399880 HAS SOUS 215529 HAS SOUPS 213995 WITH SCORE 214396.734
AT ITER 2033 NEW BEST:: SOT 730085 SOS 401549 HAS SOPS 399695 HAS SOUS 215529 HAS SOUPS 213995 WITH SCORE 214396.549
AT ITER 2035 NEW BEST:: SOT 729905 SOS 401248 HAS SOPS 399394 HAS SOUS 215352 HAS SOUPS 213818 WITH SCORE 214219.248
AT ITER 2038 NEW BEST:: SOT 729180 SOS 400284 HAS SOPS 398430 HAS SOUS 214438 HAS SOUPS 212904 WITH SCORE 213304.284
AT ITER 2045 NEW BEST:: SOT 729215 SOS 400394 HAS SOPS 398540 HAS SOUS 214282 HAS SOUPS 212748 WITH SCORE 213148.394
AT ITER 2056 NEW BEST:: SOT 729745 SOS 400699 HAS SOPS 398845 HAS SOUS 214126 HAS SOUPS 212592 WITH SCORE 212992.699
AT ITER 2067 NEW BEST:: SOT 729426 SOS 399883 HAS SOPS 398029 HAS SOUS 213697 HAS SOUPS 212163 WITH SCORE 212562.883
AT ITER 2086 NEW BEST:: SOT 729412 SOS 399869 HAS SOPS 398015 HAS SOUS 213694 HAS SOUPS 212160 WITH SCORE 212559.869
AT ITER 2089 NEW BEST:: SOT 729402 SOS 400118 HAS SOPS 398264 HAS SOUS 213647 HAS SOUPS 212113 WITH SCORE 212513.118
AT ITER 2090 NEW BEST:: SOT 729136 SOS 399915 HAS SOPS 398061 HAS SOUS 213503 HAS SOUPS 211969 WITH SCORE 212368.915
AT ITER 2104 NEW BEST:: SOT 729136 SOS 399915 HAS SOPS 398061 HAS SOUS 213440 HAS SOUPS 211906 WITH SCORE 212305.915
AT ITER 2110 NEW BEST:: SOT 728974 SOS 399202 HAS SOPS 397348 HAS SOUS 213352 HAS SOUPS 211818 WITH SCORE 212217.202
AT ITER 2116 NEW BEST:: SOT 728974 SOS 399370 HAS SOPS 397516 HAS SOUS 213236 HAS SOUPS 211702 WITH SCORE 212101.37
AT ITER 2120 NEW BEST:: SOT 728984 SOS 399282 HAS SOPS 397428 HAS SOUS 213200 HAS SOUPS 211666 WITH SCORE 212065.282
AT ITER 2133 NEW BEST:: SOT 728699 SOS 397794 HAS SOPS 395940 HAS SOUS 213129 HAS SOUPS 211595 WITH SCORE 211992.794
AT ITER 2136 NEW BEST:: SOT 728806 SOS 397855 HAS SOPS 396001 HAS SOUS 213047 HAS SOUPS 211513 WITH SCORE 211910.855
AT ITER 2137 NEW BEST:: SOT 728798 SOS 397847 HAS SOPS 395993 HAS SOUS 213039 HAS SOUPS 211505 WITH SCORE 211902.847
AT ITER 2143 NEW BEST:: SOT 728253 SOS 396999 HAS SOPS 395145 HAS SOUS 212484 HAS SOUPS 210950 WITH SCORE 211346.999
AT ITER 2156 NEW BEST:: SOT 728187 SOS 396603 HAS SOPS 394749 HAS SOUS 212418 HAS SOUPS 210884 WITH SCORE 211280.603
AT ITER 2159 NEW BEST:: SOT 728209 SOS 396241 HAS SOPS 394387 HAS SOUS 212390 HAS SOUPS 210856 WITH SCORE 211252.241
AT ITER 2162 NEW BEST:: SOT 728191 SOS 396349 HAS SOPS 394495 HAS SOUS 212372 HAS SOUPS 210838 WITH SCORE 211234.349
AT ITER 2178 NEW BEST:: SOT 728188 SOS 396346 HAS SOPS 394492 HAS SOUS 212369 HAS SOUPS 210835 WITH SCORE 211231.346
AT ITER 2185 NEW BEST:: SOT 728357 SOS 396760 HAS SOPS 394967 HAS SOUS 212294 HAS SOUPS 210821 WITH SCORE 211217.76
AT ITER 2191 NEW BEST:: SOT 728299 SOS 396702 HAS SOPS 394909 HAS SOUS 212236 HAS SOUPS 210763 WITH SCORE 211159.702
AT ITER 2192 NEW BEST:: SOT 727382 SOS 395075 HAS SOPS 393282 HAS SOUS 211514 HAS SOUPS 210041 WITH SCORE 210436.075
AT ITER 2193 NEW BEST:: SOT 726937 SOS 394630 HAS SOPS 392837 HAS SOUS 210942 HAS SOUPS 209469 WITH SCORE 209863.63
AT ITER 2200 NEW BEST:: SOT 726349 SOS 393733 HAS SOPS 391940 HAS SOUS 210606 HAS SOUPS 209133 WITH SCORE 209526.733
AT ITER 2210 NEW BEST:: SOT 726265 SOS 393677 HAS SOPS 391884 HAS SOUS 210561 HAS SOUPS 209088 WITH SCORE 209481.677
AT ITER 2221 NEW BEST:: SOT 726264 SOS 393411 HAS SOPS 391618 HAS SOUS 210554 HAS SOUPS 209081 WITH SCORE 209474.411
AT ITER 2222 NEW BEST:: SOT 726234 SOS 393381 HAS SOPS 391588 HAS SOUS 210524 HAS SOUPS 209051 WITH SCORE 209444.381
AT ITER 2231 NEW BEST:: SOT 726205 SOS 393323 HAS SOPS 391530 HAS SOUS 210474 HAS SOUPS 209001 WITH SCORE 209394.323
AT ITER 2236 NEW BEST:: SOT 726192 SOS 392752 HAS SOPS 390951 HAS SOUS 210414 HAS SOUPS 208941 WITH SCORE 209333.752
AT ITER 2251 NEW BEST:: SOT 726166 SOS 392726 HAS SOPS 390925 HAS SOUS 210414 HAS SOUPS 208941 WITH SCORE 209333.726
AT ITER 2253 NEW BEST:: SOT 726177 SOS 392737 HAS SOPS 390936 HAS SOUS 210329 HAS SOUPS 208856 WITH SCORE 209248.737
AT ITER 2254 NEW BEST:: SOT 726049 SOS 392609 HAS SOPS 390808 HAS SOUS 210149 HAS SOUPS 208676 WITH SCORE 209068.609
AT ITER 2256 NEW BEST:: SOT 725866 SOS 391806 HAS SOPS 390005 HAS SOUS 209745 HAS SOUPS 208272 WITH SCORE 208663.806
AT ITER 2268 NEW BEST:: SOT 725849 SOS 391634 HAS SOPS 389833 HAS SOUS 209274 HAS SOUPS 207801 WITH SCORE 208192.634
AT ITER 2274 NEW BEST:: SOT 725836 SOS 391517 HAS SOPS 389716 HAS SOUS 209261 HAS SOUPS 207788 WITH SCORE 208179.517
AT ITER 2279 NEW BEST:: SOT 725836 SOS 391517 HAS SOPS 389716 HAS SOUS 209163 HAS SOUPS 207690 WITH SCORE 208081.517
AT ITER 2287 NEW BEST:: SOT 725726 SOS 391381 HAS SOPS 389580 HAS SOUS 209063 HAS SOUPS 207590 WITH SCORE 207981.381
AT ITER 2293 NEW BEST:: SOT 725740 SOS 391388 HAS SOPS 389587 HAS SOUS 209056 HAS SOUPS 207583 WITH SCORE 207974.388
AT ITER 2299 NEW BEST:: SOT 725808 SOS 391500 HAS SOPS 389699 HAS SOUS 209050 HAS SOUPS 207577 WITH SCORE 207968.5
AT ITER 2307 NEW BEST:: SOT 725790 SOS 391482 HAS SOPS 389681 HAS SOUS 209032 HAS SOUPS 207559 WITH SCORE 207950.482
AT ITER 2309 NEW BEST:: SOT 725795 SOS 390071 HAS SOPS 388270 HAS SOUS 208496 HAS SOUPS 207023 WITH SCORE 207413.071
AT ITER 2310 NEW BEST:: SOT 725854 SOS 390130 HAS SOPS 388329 HAS SOUS 208491 HAS SOUPS 207018 WITH SCORE 207408.13
AT ITER 2313 NEW BEST:: SOT 725896 SOS 390046 HAS SOPS 388245 HAS SOUS 208491 HAS SOUPS 207018 WITH SCORE 207408.046
AT ITER 2321 NEW BEST:: SOT 725812 SOS 389962 HAS SOPS 388161 HAS SOUS 208491 HAS SOUPS 207018 WITH SCORE 207407.962
AT ITER 2326 NEW BEST:: SOT 725791 SOS 389955 HAS SOPS 388154 HAS SOUS 208484 HAS SOUPS 207011 WITH SCORE 207400.955
AT ITER 2332 NEW BEST:: SOT 724686 SOS 393241 HAS SOPS 391440 HAS SOUS 208447 HAS SOUPS 206974 WITH SCORE 207367.241
AT ITER 2338 NEW BEST:: SOT 725232 SOS 393460 HAS SOPS 391659 HAS SOUS 208440 HAS SOUPS 206967 WITH SCORE 207360.46
AT ITER 2344 NEW BEST:: SOT 725127 SOS 393250 HAS SOPS 391449 HAS SOUS 208377 HAS SOUPS 206904 WITH SCORE 207297.25
AT ITER 2360 NEW BEST:: SOT 725104 SOS 393044 HAS SOPS 391243 HAS SOUS 208331 HAS SOUPS 206858 WITH SCORE 207251.044
AT ITER 2363 NEW BEST:: SOT 725104 SOS 393036 HAS SOPS 391235 HAS SOUS 208323 HAS SOUPS 206850 WITH SCORE 207243.036
AT ITER 2364 NEW BEST:: SOT 725082 SOS 392872 HAS SOPS 391071 HAS SOUS 208323 HAS SOUPS 206850 WITH SCORE 207242.872
AT ITER 2366 NEW BEST:: SOT 725078 SOS 393038 HAS SOPS 391237 HAS SOUS 208298 HAS SOUPS 206825 WITH SCORE 207218.038
AT ITER 2372 NEW BEST:: SOT 725058 SOS 392978 HAS SOPS 391197 HAS SOUS 208258 HAS SOUPS 206795 WITH SCORE 207187.978
AT ITER 2373 NEW BEST:: SOT 724812 SOS 392055 HAS SOPS 390274 HAS SOUS 207947 HAS SOUPS 206484 WITH SCORE 206876.055
AT ITER 2374 NEW BEST:: SOT 724570 SOS 392019 HAS SOPS 390238 HAS SOUS 207923 HAS SOUPS 206460 WITH SCORE 206852.019
AT ITER 2379 NEW BEST:: SOT 724223 SOS 391672 HAS SOPS 389891 HAS SOUS 207610 HAS SOUPS 206147 WITH SCORE 206538.672
AT ITER 2385 NEW BEST:: SOT 723993 SOS 392078 HAS SOPS 390297 HAS SOUS 206875 HAS SOUPS 205412 WITH SCORE 205804.078
AT ITER 2389 NEW BEST:: SOT 723925 SOS 391925 HAS SOPS 390144 HAS SOUS 206824 HAS SOUPS 205361 WITH SCORE 205752.925
AT ITER 2391 NEW BEST:: SOT 723961 SOS 391308 HAS SOPS 389527 HAS SOUS 206764 HAS SOUPS 205301 WITH SCORE 205692.308
AT ITER 2392 NEW BEST:: SOT 723987 SOS 391270 HAS SOPS 389489 HAS SOUS 206709 HAS SOUPS 205246 WITH SCORE 205637.27
AT ITER 2401 NEW BEST:: SOT 723871 SOS 391183 HAS SOPS 389402 HAS SOUS 206696 HAS SOUPS 205233 WITH SCORE 205624.183
AT ITER 2403 NEW BEST:: SOT 723911 SOS 391192 HAS SOPS 389411 HAS SOUS 206688 HAS SOUPS 205225 WITH SCORE 205616.192
AT ITER 2405 NEW BEST:: SOT 724128 SOS 391244 HAS SOPS 389463 HAS SOUS 206409 HAS SOUPS 204946 WITH SCORE 205337.244
AT ITER 2416 NEW BEST:: SOT 724006 SOS 391122 HAS SOPS 389341 HAS SOUS 206336 HAS SOUPS 204873 WITH SCORE 205264.122
AT ITER 2423 NEW BEST:: SOT 724006 SOS 392618 HAS SOPS 390837 HAS SOUS 206296 HAS SOUPS 204833 WITH SCORE 205225.618
AT ITER 2429 NEW BEST:: SOT 723988 SOS 392592 HAS SOPS 390811 HAS SOUS 206258 HAS SOUPS 204795 WITH SCORE 205187.592
AT ITER 2430 NEW BEST:: SOT 724166 SOS 392332 HAS SOPS 390551 HAS SOUS 205560 HAS SOUPS 204097 WITH SCORE 204489.332
AT ITER 2435 NEW BEST:: SOT 723980 SOS 391960 HAS SOPS 390179 HAS SOUS 205434 HAS SOUPS 203971 WITH SCORE 204362.96
AT ITER 2441 NEW BEST:: SOT 723896 SOS 391876 HAS SOPS 390095 HAS SOUS 205392 HAS SOUPS 203929 WITH SCORE 204320.876
AT ITER 2442 NEW BEST:: SOT 724029 SOS 391905 HAS SOPS 390286 HAS SOUS 205173 HAS SOUPS 203872 WITH SCORE 204263.905
AT ITER 2443 NEW BEST:: SOT 723860 SOS 391542 HAS SOPS 389923 HAS SOUS 205144 HAS SOUPS 203843 WITH SCORE 204234.542
AT ITER 2445 NEW BEST:: SOT 723587 SOS 390937 HAS SOPS 389318 HAS SOUS 204708 HAS SOUPS 203407 WITH SCORE 203797.937
AT ITER 2452 NEW BEST:: SOT 723473 SOS 390823 HAS SOPS 389204 HAS SOUS 204632 HAS SOUPS 203331 WITH SCORE 203721.823
AT ITER 2454 NEW BEST:: SOT 723605 SOS 390955 HAS SOPS 389336 HAS SOUS 204599 HAS SOUPS 203298 WITH SCORE 203688.955
AT ITER 2455 NEW BEST:: SOT 723552 SOS 390902 HAS SOPS 389283 HAS SOUS 204546 HAS SOUPS 203245 WITH SCORE 203635.902
AT ITER 2466 NEW BEST:: SOT 723712 SOS 390846 HAS SOPS 389227 HAS SOUS 204115 HAS SOUPS 202814 WITH SCORE 203204.846
AT ITER 2468 NEW BEST:: SOT 723688 SOS 390822 HAS SOPS 389203 HAS SOUS 204083 HAS SOUPS 202782 WITH SCORE 203172.822
AT ITER 2470 NEW BEST:: SOT 723674 SOS 389764 HAS SOPS 388145 HAS SOUS 203995 HAS SOUPS 202694 WITH SCORE 203083.764
AT ITER 2473 NEW BEST:: SOT 723674 SOS 389632 HAS SOPS 388013 HAS SOUS 203976 HAS SOUPS 202675 WITH SCORE 203064.632
AT ITER 2476 NEW BEST:: SOT 723514 SOS 389519 HAS SOPS 387900 HAS SOUS 203691 HAS SOUPS 202390 WITH SCORE 202779.519
AT ITER 2478 NEW BEST:: SOT 723494 SOS 389499 HAS SOPS 387880 HAS SOUS 203537 HAS SOUPS 202236 WITH SCORE 202625.499
AT ITER 2479 NEW BEST:: SOT 723390 SOS 389291 HAS SOPS 387672 HAS SOUS 203399 HAS SOUPS 202098 WITH SCORE 202487.291
AT ITER 2483 NEW BEST:: SOT 723180 SOS 386209 HAS SOPS 384590 HAS SOUS 203164 HAS SOUPS 201863 WITH SCORE 202249.209
AT ITER 2486 NEW BEST:: SOT 723260 SOS 385682 HAS SOPS 384063 HAS SOUS 203090 HAS SOUPS 201789 WITH SCORE 202174.682
AT ITER 2491 NEW BEST:: SOT 723260 SOS 386317 HAS SOPS 384698 HAS SOUS 202970 HAS SOUPS 201669 WITH SCORE 202055.317
AT ITER 2497 NEW BEST:: SOT 723521 SOS 386427 HAS SOPS 384808 HAS SOUS 202445 HAS SOUPS 201144 WITH SCORE 201530.427
AT ITER 2509 NEW BEST:: SOT 723521 SOS 386425 HAS SOPS 384806 HAS SOUS 202441 HAS SOUPS 201140 WITH SCORE 201526.425
AT ITER 2514 NEW BEST:: SOT 723465 SOS 385946 HAS SOPS 384327 HAS SOUS 202089 HAS SOUPS 200788 WITH SCORE 201173.946
AT ITER 2515 NEW BEST:: SOT 723354 SOS 385829 HAS SOPS 384210 HAS SOUS 201971 HAS SOUPS 200670 WITH SCORE 201055.829
AT ITER 2517 NEW BEST:: SOT 723477 SOS 385547 HAS SOPS 383928 HAS SOUS 201594 HAS SOUPS 200293 WITH SCORE 200678.547
AT ITER 2525 NEW BEST:: SOT 723448 SOS 385489 HAS SOPS 383870 HAS SOUS 201489 HAS SOUPS 200188 WITH SCORE 200573.489
AT ITER 2536 NEW BEST:: SOT 723113 SOS 385924 HAS SOPS 384305 HAS SOUS 201126 HAS SOUPS 199825 WITH SCORE 200210.924
AT ITER 2550 NEW BEST:: SOT 723046 SOS 385857 HAS SOPS 384238 HAS SOUS 200925 HAS SOUPS 199624 WITH SCORE 200009.857
AT ITER 2557 NEW BEST:: SOT 723075 SOS 385886 HAS SOPS 384267 HAS SOUS 200905 HAS SOUPS 199604 WITH SCORE 199989.886
AT ITER 2560 NEW BEST:: SOT 723131 SOS 385824 HAS SOPS 384205 HAS SOUS 200879 HAS SOUPS 199578 WITH SCORE 199963.824
AT ITER 2576 NEW BEST:: SOT 723241 SOS 386061 HAS SOPS 384200 HAS SOUS 200981 HAS SOUPS 199566 WITH SCORE 199952.061
AT ITER 2585 NEW BEST:: SOT 723119 SOS 385923 HAS SOPS 384062 HAS SOUS 200865 HAS SOUPS 199450 WITH SCORE 199835.923
AT ITER 2589 NEW BEST:: SOT 723075 SOS 385857 HAS SOPS 383996 HAS SOUS 200777 HAS SOUPS 199362 WITH SCORE 199747.857
AT ITER 2592 NEW BEST:: SOT 723025 SOS 385807 HAS SOPS 383946 HAS SOUS 200757 HAS SOUPS 199342 WITH SCORE 199727.807
AT ITER 2603 NEW BEST:: SOT 721754 SOS 385848 HAS SOPS 383987 HAS SOUS 199642 HAS SOUPS 198227 WITH SCORE 198612.848
AT ITER 2622 NEW BEST:: SOT 721410 SOS 385504 HAS SOPS 383643 HAS SOUS 199286 HAS SOUPS 197871 WITH SCORE 198256.504
AT ITER 2623 NEW BEST:: SOT 721452 SOS 385546 HAS SOPS 383517 HAS SOUS 199286 HAS SOUPS 197703 WITH SCORE 198088.546
AT ITER 2628 NEW BEST:: SOT 721492 SOS 384976 HAS SOPS 382947 HAS SOUS 199239 HAS SOUPS 197656 WITH SCORE 198040.976
AT ITER 2632 NEW BEST:: SOT 721818 SOS 384732 HAS SOPS 382703 HAS SOUS 199182 HAS SOUPS 197599 WITH SCORE 197983.732
AT ITER 2634 NEW BEST:: SOT 721818 SOS 384732 HAS SOPS 382703 HAS SOUS 199160 HAS SOUPS 197577 WITH SCORE 197961.732
AT ITER 2636 NEW BEST:: SOT 721741 SOS 384655 HAS SOPS 382626 HAS SOUS 198967 HAS SOUPS 197384 WITH SCORE 197768.655
AT ITER 2641 NEW BEST:: SOT 721492 SOS 384157 HAS SOPS 382128 HAS SOUS 198920 HAS SOUPS 197337 WITH SCORE 197721.157
AT ITER 2648 NEW BEST:: SOT 720673 SOS 383715 HAS SOPS 381686 HAS SOUS 198321 HAS SOUPS 196738 WITH SCORE 197121.715
AT ITER 2655 NEW BEST:: SOT 720725 SOS 383751 HAS SOPS 381722 HAS SOUS 198290 HAS SOUPS 196707 WITH SCORE 197090.751
AT ITER 2656 NEW BEST:: SOT 720376 SOS 383268 HAS SOPS 381239 HAS SOUS 198101 HAS SOUPS 196518 WITH SCORE 196901.268
AT ITER 2657 NEW BEST:: SOT 718992 SOS 381884 HAS SOPS 379855 HAS SOUS 196429 HAS SOUPS 194846 WITH SCORE 195227.884
AT ITER 2658 NEW BEST:: SOT 718717 SOS 381706 HAS SOPS 379677 HAS SOUS 196348 HAS SOUPS 194765 WITH SCORE 195146.706
AT ITER 2677 NEW BEST:: SOT 718695 SOS 381629 HAS SOPS 379600 HAS SOUS 196293 HAS SOUPS 194710 WITH SCORE 195091.629
AT ITER 2678 NEW BEST:: SOT 718679 SOS 381613 HAS SOPS 379584 HAS SOUS 196237 HAS SOUPS 194654 WITH SCORE 195035.613
AT ITER 2688 NEW BEST:: SOT 718931 SOS 381468 HAS SOPS 379439 HAS SOUS 196237 HAS SOUPS 194654 WITH SCORE 195035.468
AT ITER 2695 NEW BEST:: SOT 718245 SOS 381042 HAS SOPS 379013 HAS SOUS 196051 HAS SOUPS 194468 WITH SCORE 194849.042
AT ITER 2710 NEW BEST:: SOT 718117 SOS 380556 HAS SOPS 378527 HAS SOUS 195986 HAS SOUPS 194403 WITH SCORE 194783.556
AT ITER 2720 NEW BEST:: SOT 718117 SOS 380556 HAS SOPS 378527 HAS SOUS 195953 HAS SOUPS 194370 WITH SCORE 194750.556
AT ITER 2727 NEW BEST:: SOT 718117 SOS 380492 HAS SOPS 378463 HAS SOUS 195890 HAS SOUPS 194307 WITH SCORE 194687.492
AT ITER 2743 NEW BEST:: SOT 718101 SOS 380476 HAS SOPS 378447 HAS SOUS 195874 HAS SOUPS 194291 WITH SCORE 194671.476
AT ITER 2745 NEW BEST:: SOT 717975 SOS 380098 HAS SOPS 378069 HAS SOUS 195370 HAS SOUPS 193787 WITH SCORE 194167.098
AT ITER 2748 NEW BEST:: SOT 717925 SOS 379973 HAS SOPS 377944 HAS SOUS 195295 HAS SOUPS 193712 WITH SCORE 194091.973
AT ITER 2749 NEW BEST:: SOT 717529 SOS 379596 HAS SOPS 377567 HAS SOUS 194815 HAS SOUPS 193232 WITH SCORE 193611.596
AT ITER 2754 NEW BEST:: SOT 717595 SOS 379649 HAS SOPS 377620 HAS SOUS 194755 HAS SOUPS 193172 WITH SCORE 193551.649
AT ITER 2771 NEW BEST:: SOT 716334 SOS 380102 HAS SOPS 378073 HAS SOUS 194170 HAS SOUPS 192587 WITH SCORE 192967.102
AT ITER 2778 NEW BEST:: SOT 715994 SOS 379324 HAS SOPS 377295 HAS SOUS 193687 HAS SOUPS 192104 WITH SCORE 192483.324
AT ITER 2781 NEW BEST:: SOT 715841 SOS 378861 HAS SOPS 376956 HAS SOUS 193593 HAS SOUPS 192072 WITH SCORE 192450.861
AT ITER 2784 NEW BEST:: SOT 715581 SOS 378487 HAS SOPS 376582 HAS SOUS 193456 HAS SOUPS 191935 WITH SCORE 192313.487
AT ITER 2786 NEW BEST:: SOT 715432 SOS 377028 HAS SOPS 375123 HAS SOUS 193342 HAS SOUPS 191821 WITH SCORE 192198.028
AT ITER 2787 NEW BEST:: SOT 715334 SOS 376832 HAS SOPS 374839 HAS SOUS 193244 HAS SOUPS 191635 WITH SCORE 192011.832
AT ITER 2790 NEW BEST:: SOT 715430 SOS 376866 HAS SOPS 374873 HAS SOUS 193233 HAS SOUPS 191624 WITH SCORE 192000.866
AT ITER 2805 NEW BEST:: SOT 715464 SOS 376640 HAS SOPS 374647 HAS SOUS 192973 HAS SOUPS 191364 WITH SCORE 191740.64
AT ITER 2807 NEW BEST:: SOT 715393 SOS 376574 HAS SOPS 374581 HAS SOUS 192935 HAS SOUPS 191326 WITH SCORE 191702.574
AT ITER 2812 NEW BEST:: SOT 715398 SOS 376545 HAS SOPS 374552 HAS SOUS 192872 HAS SOUPS 191263 WITH SCORE 191639.545
AT ITER 2816 NEW BEST:: SOT 715143 SOS 375889 HAS SOPS 373896 HAS SOUS 192617 HAS SOUPS 191008 WITH SCORE 191383.889
AT ITER 2822 NEW BEST:: SOT 715010 SOS 375781 HAS SOPS 373788 HAS SOUS 192613 HAS SOUPS 191004 WITH SCORE 191379.781
AT ITER 2835 NEW BEST:: SOT 715329 SOS 375496 HAS SOPS 373503 HAS SOUS 192169 HAS SOUPS 190560 WITH SCORE 190935.496
AT ITER 2837 NEW BEST:: SOT 715133 SOS 375300 HAS SOPS 373307 HAS SOUS 191919 HAS SOUPS 190310 WITH SCORE 190685.3
AT ITER 2838 NEW BEST:: SOT 714828 SOS 374578 HAS SOPS 372585 HAS SOUS 190976 HAS SOUPS 189367 WITH SCORE 189741.578
AT ITER 2839 NEW BEST:: SOT 714758 SOS 374560 HAS SOPS 372567 HAS SOUS 190886 HAS SOUPS 189277 WITH SCORE 189651.56
AT ITER 2840 NEW BEST:: SOT 714418 SOS 374211 HAS SOPS 372218 HAS SOUS 190428 HAS SOUPS 188819 WITH SCORE 189193.211
AT ITER 2841 NEW BEST:: SOT 714175 SOS 376205 HAS SOPS 374212 HAS SOUS 190124 HAS SOUPS 188515 WITH SCORE 188891.205
AT ITER 2847 NEW BEST:: SOT 714119 SOS 377075 HAS SOPS 375171 HAS SOUS 189810 HAS SOUPS 188248 WITH SCORE 188625.075
AT ITER 2863 NEW BEST:: SOT 714091 SOS 376795 HAS SOPS 374891 HAS SOUS 189810 HAS SOUPS 188248 WITH SCORE 188624.795
AT ITER 2867 NEW BEST:: SOT 713975 SOS 376689 HAS SOPS 374785 HAS SOUS 189788 HAS SOUPS 188226 WITH SCORE 188602.689
AT ITER 2870 NEW BEST:: SOT 713095 SOS 375768 HAS SOPS 373864 HAS SOUS 189141 HAS SOUPS 187579 WITH SCORE 187954.768
AT ITER 2876 NEW BEST:: SOT 713044 SOS 375628 HAS SOPS 373724 HAS SOUS 189090 HAS SOUPS 187528 WITH SCORE 187903.628
AT ITER 2881 NEW BEST:: SOT 712978 SOS 375620 HAS SOPS 373716 HAS SOUS 189078 HAS SOUPS 187516 WITH SCORE 187891.62
AT ITER 2886 NEW BEST:: SOT 713553 SOS 376014 HAS SOPS 374110 HAS SOUS 189077 HAS SOUPS 187515 WITH SCORE 187891.014
AT ITER 2891 NEW BEST:: SOT 712868 SOS 373061 HAS SOPS 371157 HAS SOUS 188365 HAS SOUPS 186803 WITH SCORE 187176.061
AT ITER 2892 NEW BEST:: SOT 713023 SOS 373026 HAS SOPS 371122 HAS SOUS 188282 HAS SOUPS 186720 WITH SCORE 187093.026
AT ITER 2901 NEW BEST:: SOT 713023 SOS 373026 HAS SOPS 371122 HAS SOUS 188232 HAS SOUPS 186670 WITH SCORE 187043.026
AT ITER 2936 NEW BEST:: SOT 712799 SOS 372578 HAS SOPS 370674 HAS SOUS 187431 HAS SOUPS 185869 WITH SCORE 186241.578
AT ITER 2941 NEW BEST:: SOT 712642 SOS 372380 HAS SOPS 370476 HAS SOUS 187279 HAS SOUPS 185717 WITH SCORE 186089.38
AT ITER 2942 NEW BEST:: SOT 712592 SOS 372294 HAS SOPS 370390 HAS SOUS 187204 HAS SOUPS 185642 WITH SCORE 186014.294
AT ITER 2949 NEW BEST:: SOT 712521 SOS 372223 HAS SOPS 370319 HAS SOUS 187081 HAS SOUPS 185519 WITH SCORE 185891.223
AT ITER 2950 NEW BEST:: SOT 712713 SOS 371892 HAS SOPS 369988 HAS SOUS 187042 HAS SOUPS 185480 WITH SCORE 185851.892
AT ITER 2954 NEW BEST:: SOT 712717 SOS 371888 HAS SOPS 369984 HAS SOUS 187042 HAS SOUPS 185480 WITH SCORE 185851.888
AT ITER 2957 NEW BEST:: SOT 712743 SOS 371872 HAS SOPS 369968 HAS SOUS 187037 HAS SOUPS 185475 WITH SCORE 185846.872
AT ITER 2958 NEW BEST:: SOT 712792 SOS 371474 HAS SOPS 369570 HAS SOUS 187037 HAS SOUPS 185475 WITH SCORE 185846.474
AT ITER 2965 NEW BEST:: SOT 712780 SOS 371438 HAS SOPS 369534 HAS SOUS 187037 HAS SOUPS 185475 WITH SCORE 185846.438
AT ITER 2967 NEW BEST:: SOT 713044 SOS 370496 HAS SOPS 368592 HAS SOUS 186895 HAS SOUPS 185333 WITH SCORE 185703.496
AT ITER 2970 NEW BEST:: SOT 712884 SOS 370486 HAS SOPS 368582 HAS SOUS 186869 HAS SOUPS 185307 WITH SCORE 185677.486
AT ITER 2972 NEW BEST:: SOT 712521 SOS 370514 HAS SOPS 368610 HAS SOUS 186540 HAS SOUPS 184978 WITH SCORE 185348.514
AT ITER 2976 NEW BEST:: SOT 712374 SOS 369908 HAS SOPS 368004 HAS SOUS 186332 HAS SOUPS 184770 WITH SCORE 185139.908
AT ITER 3016 NEW BEST:: SOT 712360 SOS 369894 HAS SOPS 367990 HAS SOUS 186266 HAS SOUPS 184704 WITH SCORE 185073.894
AT ITER 3040 NEW BEST:: SOT 712368 SOS 369686 HAS SOPS 367782 HAS SOUS 186220 HAS SOUPS 184658 WITH SCORE 185027.686
AT ITER 3057 NEW BEST:: SOT 712068 SOS 369572 HAS SOPS 367668 HAS SOUS 186007 HAS SOUPS 184445 WITH SCORE 184814.572
AT ITER 3074 NEW BEST:: SOT 712096 SOS 369600 HAS SOPS 367696 HAS SOUS 185998 HAS SOUPS 184436 WITH SCORE 184805.6
AT ITER 3077 NEW BEST:: SOT 712099 SOS 370469 HAS SOPS 368565 HAS SOUS 185780 HAS SOUPS 184218 WITH SCORE 184588.469
AT ITER 3079 NEW BEST:: SOT 711958 SOS 370328 HAS SOPS 368424 HAS SOUS 185681 HAS SOUPS 184119 WITH SCORE 184489.328
AT ITER 3100 NEW BEST:: SOT 711751 SOS 371999 HAS SOPS 370095 HAS SOUS 185355 HAS SOUPS 183793 WITH SCORE 184164.999
AT ITER 3123 NEW BEST:: SOT 711997 SOS 370855 HAS SOPS 368951 HAS SOUS 184868 HAS SOUPS 183306 WITH SCORE 183676.855
AT ITER 3124 NEW BEST:: SOT 711780 SOS 370830 HAS SOPS 368926 HAS SOUS 184841 HAS SOUPS 183279 WITH SCORE 183649.83
AT ITER 3133 NEW BEST:: SOT 711780 SOS 370830 HAS SOPS 368926 HAS SOUS 184610 HAS SOUPS 183048 WITH SCORE 183418.83
AT ITER 3134 NEW BEST:: SOT 711791 SOS 370819 HAS SOPS 368915 HAS SOUS 184599 HAS SOUPS 183037 WITH SCORE 183407.819
AT ITER 3155 NEW BEST:: SOT 711695 SOS 370659 HAS SOPS 368755 HAS SOUS 184456 HAS SOUPS 182894 WITH SCORE 183264.659
AT ITER 3193 NEW BEST:: SOT 711703 SOS 370679 HAS SOPS 368775 HAS SOUS 184433 HAS SOUPS 182871 WITH SCORE 183241.679
AT ITER 3197 NEW BEST:: SOT 711703 SOS 370607 HAS SOPS 368703 HAS SOUS 184433 HAS SOUPS 182871 WITH SCORE 183241.607
AT ITER 3202 NEW BEST:: SOT 711285 SOS 370153 HAS SOPS 368249 HAS SOUS 183612 HAS SOUPS 182050 WITH SCORE 182420.153
AT ITER 3211 NEW BEST:: SOT 711269 SOS 370053 HAS SOPS 368149 HAS SOUS 183596 HAS SOUPS 182034 WITH SCORE 182404.053
AT ITER 3212 NEW BEST:: SOT 710837 SOS 369191 HAS SOPS 367287 HAS SOUS 183535 HAS SOUPS 181973 WITH SCORE 182342.191
AT ITER 3222 NEW BEST:: SOT 710765 SOS 368516 HAS SOPS 366612 HAS SOUS 183440 HAS SOUPS 181878 WITH SCORE 182246.516
AT ITER 3225 NEW BEST:: SOT 710559 SOS 368310 HAS SOPS 366406 HAS SOUS 183151 HAS SOUPS 181589 WITH SCORE 181957.31
AT ITER 3229 NEW BEST:: SOT 710643 SOS 368067 HAS SOPS 366163 HAS SOUS 182916 HAS SOUPS 181354 WITH SCORE 181722.067
AT ITER 3240 NEW BEST:: SOT 710661 SOS 368180 HAS SOPS 366276 HAS SOUS 182915 HAS SOUPS 181353 WITH SCORE 181721.18
AT ITER 3241 NEW BEST:: SOT 710613 SOS 368132 HAS SOPS 366228 HAS SOUS 182605 HAS SOUPS 181043 WITH SCORE 181411.132
AT ITER 3249 NEW BEST:: SOT 710587 SOS 368106 HAS SOPS 366202 HAS SOUS 182533 HAS SOUPS 180971 WITH SCORE 181339.106
AT ITER 3253 NEW BEST:: SOT 710629 SOS 368107 HAS SOPS 366203 HAS SOUS 182503 HAS SOUPS 180941 WITH SCORE 181309.107
AT ITER 3267 NEW BEST:: SOT 710507 SOS 367669 HAS SOPS 365765 HAS SOUS 182205 HAS SOUPS 180643 WITH SCORE 181010.669
AT ITER 3268 NEW BEST:: SOT 710485 SOS 367581 HAS SOPS 365677 HAS SOUS 182194 HAS SOUPS 180632 WITH SCORE 180999.581
AT ITER 3288 NEW BEST:: SOT 710521 SOS 367617 HAS SOPS 365713 HAS SOUS 182174 HAS SOUPS 180612 WITH SCORE 180979.617
AT ITER 3291 NEW BEST:: SOT 710702 SOS 367715 HAS SOPS 365811 HAS SOUS 182036 HAS SOUPS 180474 WITH SCORE 180841.715
AT ITER 3293 NEW BEST:: SOT 710567 SOS 367181 HAS SOPS 365277 HAS SOUS 181995 HAS SOUPS 180433 WITH SCORE 180800.181
AT ITER 3294 NEW BEST:: SOT 710111 SOS 366808 HAS SOPS 364904 HAS SOUS 181938 HAS SOUPS 180376 WITH SCORE 180742.808
AT ITER 3295 NEW BEST:: SOT 710129 SOS 366720 HAS SOPS 364816 HAS SOUS 181916 HAS SOUPS 180354 WITH SCORE 180720.72
AT ITER 3316 NEW BEST:: SOT 710083 SOS 366651 HAS SOPS 364747 HAS SOUS 181893 HAS SOUPS 180331 WITH SCORE 180697.651
AT ITER 3317 NEW BEST:: SOT 710083 SOS 366625 HAS SOPS 364721 HAS SOUS 181867 HAS SOUPS 180305 WITH SCORE 180671.625
AT ITER 3320 NEW BEST:: SOT 710041 SOS 366709 HAS SOPS 364805 HAS SOUS 181825 HAS SOUPS 180263 WITH SCORE 180629.709
AT ITER 3334 NEW BEST:: SOT 709895 SOS 366563 HAS SOPS 364659 HAS SOUS 181724 HAS SOUPS 180162 WITH SCORE 180528.563
AT ITER 3341 NEW BEST:: SOT 709864 SOS 366483 HAS SOPS 364579 HAS SOUS 181648 HAS SOUPS 180086 WITH SCORE 180452.483
AT ITER 3363 NEW BEST:: SOT 709864 SOS 366610 HAS SOPS 364706 HAS SOUS 181565 HAS SOUPS 180003 WITH SCORE 180369.61
AT ITER 3366 NEW BEST:: SOT 709850 SOS 366533 HAS SOPS 364629 HAS SOUS 181551 HAS SOUPS 179989 WITH SCORE 180355.533
AT ITER 3368 NEW BEST:: SOT 709655 SOS 366693 HAS SOPS 364797 HAS SOUS 181532 HAS SOUPS 179970 WITH SCORE 180336.693
AT ITER 3388 NEW BEST:: SOT 709495 SOS 366563 HAS SOPS 364667 HAS SOUS 181460 HAS SOUPS 179898 WITH SCORE 180264.563
AT ITER 3400 NEW BEST:: SOT 709718 SOS 367282 HAS SOPS 365386 HAS SOUS 181410 HAS SOUPS 179848 WITH SCORE 180215.282
AT ITER 3401 NEW BEST:: SOT 709471 SOS 366896 HAS SOPS 365000 HAS SOUS 181014 HAS SOUPS 179452 WITH SCORE 179818.896
AT ITER 3410 NEW BEST:: SOT 709069 SOS 366494 HAS SOPS 364598 HAS SOUS 180867 HAS SOUPS 179305 WITH SCORE 179671.494
AT ITER 3418 NEW BEST:: SOT 708990 SOS 366555 HAS SOPS 364662 HAS SOUS 180859 HAS SOUPS 179300 WITH SCORE 179666.555
AT ITER 3422 NEW BEST:: SOT 708950 SOS 366515 HAS SOPS 364622 HAS SOUS 180809 HAS SOUPS 179250 WITH SCORE 179616.515
AT ITER 3429 NEW BEST:: SOT 709062 SOS 366571 HAS SOPS 364678 HAS SOUS 180753 HAS SOUPS 179194 WITH SCORE 179560.571
AT ITER 3430 NEW BEST:: SOT 709086 SOS 366595 HAS SOPS 364702 HAS SOUS 180738 HAS SOUPS 179179 WITH SCORE 179545.595
AT ITER 3433 NEW BEST:: SOT 709069 SOS 366509 HAS SOPS 364616 HAS SOUS 180705 HAS SOUPS 179146 WITH SCORE 179512.509
AT ITER 3447 NEW BEST:: SOT 709082 SOS 366132 HAS SOPS 364239 HAS SOUS 180682 HAS SOUPS 179123 WITH SCORE 179489.132
AT ITER 3463 NEW BEST:: SOT 709175 SOS 366188 HAS SOPS 364295 HAS SOUS 180664 HAS SOUPS 179105 WITH SCORE 179471.188
AT ITER 3464 NEW BEST:: SOT 709052 SOS 365942 HAS SOPS 364049 HAS SOUS 180418 HAS SOUPS 178859 WITH SCORE 179224.942
AT ITER 3466 NEW BEST:: SOT 708896 SOS 365507 HAS SOPS 363614 HAS SOUS 180169 HAS SOUPS 178610 WITH SCORE 178975.507
AT ITER 3475 NEW BEST:: SOT 708930 SOS 365541 HAS SOPS 363648 HAS SOUS 180152 HAS SOUPS 178593 WITH SCORE 178958.541
AT ITER 3482 NEW BEST:: SOT 708863 SOS 365474 HAS SOPS 363581 HAS SOUS 180028 HAS SOUPS 178469 WITH SCORE 178834.474
AT ITER 3501 NEW BEST:: SOT 708735 SOS 365496 HAS SOPS 363603 HAS SOUS 179927 HAS SOUPS 178368 WITH SCORE 178733.496
AT ITER 3511 NEW BEST:: SOT 708710 SOS 365463 HAS SOPS 363570 HAS SOUS 179894 HAS SOUPS 178335 WITH SCORE 178700.463
AT ITER 3512 NEW BEST:: SOT 708490 SOS 365269 HAS SOPS 363376 HAS SOUS 179831 HAS SOUPS 178272 WITH SCORE 178637.269
AT ITER 3520 NEW BEST:: SOT 708799 SOS 365318 HAS SOPS 363425 HAS SOUS 179823 HAS SOUPS 178264 WITH SCORE 178629.318
AT ITER 3527 NEW BEST:: SOT 708787 SOS 365306 HAS SOPS 363413 HAS SOUS 179661 HAS SOUPS 178102 WITH SCORE 178467.306
AT ITER 3563 NEW BEST:: SOT 708612 SOS 365301 HAS SOPS 363408 HAS SOUS 179656 HAS SOUPS 178097 WITH SCORE 178462.301
AT ITER 3567 NEW BEST:: SOT 708631 SOS 364597 HAS SOPS 362704 HAS SOUS 179617 HAS SOUPS 178058 WITH SCORE 178422.597
AT ITER 3569 NEW BEST:: SOT 708543 SOS 364653 HAS SOPS 362760 HAS SOUS 179573 HAS SOUPS 178014 WITH SCORE 178378.653
AT ITER 3587 NEW BEST:: SOT 707774 SOS 363884 HAS SOPS 361991 HAS SOUS 178944 HAS SOUPS 177385 WITH SCORE 177748.884
AT ITER 3594 NEW BEST:: SOT 707672 SOS 363782 HAS SOPS 361889 HAS SOUS 178842 HAS SOUPS 177283 WITH SCORE 177646.782
AT ITER 3597 NEW BEST:: SOT 707405 SOS 363515 HAS SOPS 361622 HAS SOUS 178575 HAS SOUPS 177016 WITH SCORE 177379.515
AT ITER 3598 NEW BEST:: SOT 707385 SOS 363415 HAS SOPS 361522 HAS SOUS 178575 HAS SOUPS 177016 WITH SCORE 177379.415
AT ITER 3610 NEW BEST:: SOT 707355 SOS 363355 HAS SOPS 361462 HAS SOUS 178545 HAS SOUPS 176986 WITH SCORE 177349.355
AT ITER 3611 NEW BEST:: SOT 707920 SOS 363871 HAS SOPS 361631 HAS SOUS 178108 HAS SOUPS 176202 WITH SCORE 176565.871
AT ITER 3618 NEW BEST:: SOT 707875 SOS 363864 HAS SOPS 361624 HAS SOUS 177978 HAS SOUPS 176072 WITH SCORE 176435.864
AT ITER 3624 NEW BEST:: SOT 708031 SOS 363942 HAS SOPS 361702 HAS SOUS 177900 HAS SOUPS 175994 WITH SCORE 176357.942
AT ITER 3630 NEW BEST:: SOT 707778 SOS 363436 HAS SOPS 361196 HAS SOUS 177792 HAS SOUPS 175886 WITH SCORE 176249.436
AT ITER 3638 NEW BEST:: SOT 707833 SOS 363356 HAS SOPS 361116 HAS SOUS 177767 HAS SOUPS 175861 WITH SCORE 176224.356
AT ITER 3639 NEW BEST:: SOT 707755 SOS 363278 HAS SOPS 361038 HAS SOUS 177711 HAS SOUPS 175805 WITH SCORE 176168.278
AT ITER 3644 NEW BEST:: SOT 707937 SOS 363064 HAS SOPS 361154 HAS SOUS 177135 HAS SOUPS 175447 WITH SCORE 175810.064
AT ITER 3652 NEW BEST:: SOT 707821 SOS 362955 HAS SOPS 361045 HAS SOUS 177103 HAS SOUPS 175415 WITH SCORE 175777.955
AT ITER 3654 NEW BEST:: SOT 707632 SOS 362429 HAS SOPS 360519 HAS SOUS 176960 HAS SOUPS 175272 WITH SCORE 175634.429
AT ITER 3664 NEW BEST:: SOT 707571 SOS 362054 HAS SOPS 360144 HAS SOUS 176830 HAS SOUPS 175142 WITH SCORE 175504.054
AT ITER 3679 NEW BEST:: SOT 707608 SOS 362087 HAS SOPS 360177 HAS SOUS 176774 HAS SOUPS 175086 WITH SCORE 175448.087
AT ITER 3688 NEW BEST:: SOT 707727 SOS 361954 HAS SOPS 359932 HAS SOUS 176671 HAS SOUPS 174983 WITH SCORE 175344.954
AT ITER 3696 NEW BEST:: SOT 707373 SOS 361423 HAS SOPS 359401 HAS SOUS 176317 HAS SOUPS 174629 WITH SCORE 174990.423
AT ITER 3710 NEW BEST:: SOT 707085 SOS 361387 HAS SOPS 359365 HAS SOUS 176089 HAS SOUPS 174401 WITH SCORE 174762.387
AT ITER 3711 NEW BEST:: SOT 706843 SOS 361182 HAS SOPS 359160 HAS SOUS 175982 HAS SOUPS 174294 WITH SCORE 174655.182
AT ITER 3717 NEW BEST:: SOT 706776 SOS 361117 HAS SOPS 359095 HAS SOUS 175942 HAS SOUPS 174254 WITH SCORE 174615.117
AT ITER 3726 NEW BEST:: SOT 706303 SOS 360654 HAS SOPS 358632 HAS SOUS 175434 HAS SOUPS 173746 WITH SCORE 174106.654
AT ITER 3731 NEW BEST:: SOT 706268 SOS 360619 HAS SOPS 358597 HAS SOUS 175399 HAS SOUPS 173711 WITH SCORE 174071.619
AT ITER 3733 NEW BEST:: SOT 706258 SOS 360609 HAS SOPS 358587 HAS SOUS 175379 HAS SOUPS 173691 WITH SCORE 174051.609
AT ITER 3744 NEW BEST:: SOT 706270 SOS 360301 HAS SOPS 358279 HAS SOUS 175282 HAS SOUPS 173594 WITH SCORE 173954.301
AT ITER 3746 NEW BEST:: SOT 706357 SOS 360319 HAS SOPS 358297 HAS SOUS 175265 HAS SOUPS 173577 WITH SCORE 173937.319
AT ITER 3757 NEW BEST:: SOT 706561 SOS 360105 HAS SOPS 358083 HAS SOUS 175046 HAS SOUPS 173358 WITH SCORE 173718.105
AT ITER 3762 NEW BEST:: SOT 706396 SOS 359940 HAS SOPS 357918 HAS SOUS 174716 HAS SOUPS 173028 WITH SCORE 173387.94
AT ITER 3768 NEW BEST:: SOT 705845 SOS 359959 HAS SOPS 357937 HAS SOUS 174405 HAS SOUPS 172717 WITH SCORE 173076.959
AT ITER 3777 NEW BEST:: SOT 705237 SOS 359579 HAS SOPS 357557 HAS SOUS 174329 HAS SOUPS 172641 WITH SCORE 173000.579
AT ITER 3803 NEW BEST:: SOT 705198 SOS 359553 HAS SOPS 357531 HAS SOUS 174316 HAS SOUPS 172628 WITH SCORE 172987.553
AT ITER 3810 NEW BEST:: SOT 705198 SOS 359597 HAS SOPS 357575 HAS SOUS 174294 HAS SOUPS 172606 WITH SCORE 172965.597
AT ITER 3858 NEW BEST:: SOT 705023 SOS 359114 HAS SOPS 357092 HAS SOUS 174215 HAS SOUPS 172527 WITH SCORE 172886.114
AT ITER 3861 NEW BEST:: SOT 704974 SOS 359029 HAS SOPS 357007 HAS SOUS 174098 HAS SOUPS 172410 WITH SCORE 172769.029
AT ITER 3869 NEW BEST:: SOT 704973 SOS 359028 HAS SOPS 357006 HAS SOUS 174097 HAS SOUPS 172409 WITH SCORE 172768.028
AT ITER 3873 NEW BEST:: SOT 704952 SOS 359014 HAS SOPS 356992 HAS SOUS 174069 HAS SOUPS 172381 WITH SCORE 172740.014
AT ITER 3875 NEW BEST:: SOT 704938 SOS 358965 HAS SOPS 356943 HAS SOUS 174062 HAS SOUPS 172374 WITH SCORE 172732.965
AT ITER 3883 NEW BEST:: SOT 704877 SOS 358599 HAS SOPS 356577 HAS SOUS 173926 HAS SOUPS 172238 WITH SCORE 172596.599
AT ITER 3912 NEW BEST:: SOT 704895 SOS 358563 HAS SOPS 356541 HAS SOUS 173890 HAS SOUPS 172202 WITH SCORE 172560.563
AT ITER 3924 NEW BEST:: SOT 704801 SOS 358469 HAS SOPS 356447 HAS SOUS 173826 HAS SOUPS 172138 WITH SCORE 172496.469
AT ITER 3928 NEW BEST:: SOT 704744 SOS 358358 HAS SOPS 356336 HAS SOUS 173676 HAS SOUPS 171988 WITH SCORE 172346.358
AT ITER 3931 NEW BEST:: SOT 704429 SOS 357980 HAS SOPS 355958 HAS SOUS 173464 HAS SOUPS 171776 WITH SCORE 172133.98
AT ITER 3938 NEW BEST:: SOT 704413 SOS 358052 HAS SOPS 356030 HAS SOUS 173454 HAS SOUPS 171766 WITH SCORE 172124.052
AT ITER 3946 NEW BEST:: SOT 704490 SOS 358471 HAS SOPS 356449 HAS SOUS 173405 HAS SOUPS 171717 WITH SCORE 172075.471
AT ITER 3966 NEW BEST:: SOT 704475 SOS 358456 HAS SOPS 356434 HAS SOUS 173382 HAS SOUPS 171694 WITH SCORE 172052.456
AT ITER 3973 NEW BEST:: SOT 704516 SOS 358333 HAS SOPS 356311 HAS SOUS 173382 HAS SOUPS 171694 WITH SCORE 172052.333
AT ITER 3983 NEW BEST:: SOT 704476 SOS 358186 HAS SOPS 356164 HAS SOUS 173296 HAS SOUPS 171608 WITH SCORE 171966.186
AT ITER 3984 NEW BEST:: SOT 704543 SOS 358226 HAS SOPS 356204 HAS SOUS 173265 HAS SOUPS 171577 WITH SCORE 171935.226
AT ITER 3992 NEW BEST:: SOT 704591 SOS 358237 HAS SOPS 356215 HAS SOUS 173239 HAS SOUPS 171551 WITH SCORE 171909.237
AT ITER 3998 NEW BEST:: SOT 704541 SOS 358187 HAS SOPS 356165 HAS SOUS 173139 HAS SOUPS 171451 WITH SCORE 171809.187
AT ITER 4001 NEW BEST:: SOT 704014 SOS 358000 HAS SOPS 355978 HAS SOUS 172978 HAS SOUPS 171290 WITH SCORE 171648.0
AT ITER 4010 NEW BEST:: SOT 704012 SOS 357998 HAS SOPS 355976 HAS SOUS 172957 HAS SOUPS 171269 WITH SCORE 171626.998
AT ITER 4016 NEW BEST:: SOT 703680 SOS 356481 HAS SOPS 354459 HAS SOUS 172586 HAS SOUPS 170898 WITH SCORE 171254.481
AT ITER 4017 NEW BEST:: SOT 703658 SOS 356470 HAS SOPS 354448 HAS SOUS 172542 HAS SOUPS 170854 WITH SCORE 171210.47
AT ITER 4018 NEW BEST:: SOT 703632 SOS 356444 HAS SOPS 354422 HAS SOUS 172477 HAS SOUPS 170789 WITH SCORE 171145.444
AT ITER 4020 NEW BEST:: SOT 703420 SOS 356232 HAS SOPS 354210 HAS SOUS 172385 HAS SOUPS 170697 WITH SCORE 171053.232
AT ITER 4021 NEW BEST:: SOT 703376 SOS 357160 HAS SOPS 355138 HAS SOUS 172330 HAS SOUPS 170642 WITH SCORE 170999.16
AT ITER 4033 NEW BEST:: SOT 703243 SOS 356769 HAS SOPS 354747 HAS SOUS 172136 HAS SOUPS 170448 WITH SCORE 170804.769
AT ITER 4042 NEW BEST:: SOT 703249 SOS 356763 HAS SOPS 354741 HAS SOUS 172130 HAS SOUPS 170442 WITH SCORE 170798.763
AT ITER 4043 NEW BEST:: SOT 703197 SOS 356670 HAS SOPS 354648 HAS SOUS 172104 HAS SOUPS 170416 WITH SCORE 170772.67
AT ITER 4054 NEW BEST:: SOT 702760 SOS 355413 HAS SOPS 353391 HAS SOUS 171343 HAS SOUPS 169655 WITH SCORE 170010.413
AT ITER 4062 NEW BEST:: SOT 702713 SOS 354853 HAS SOPS 352831 HAS SOUS 171274 HAS SOUPS 169586 WITH SCORE 169940.853
AT ITER 4070 NEW BEST:: SOT 702713 SOS 354771 HAS SOPS 352749 HAS SOUS 171168 HAS SOUPS 169480 WITH SCORE 169834.771
AT ITER 4075 NEW BEST:: SOT 702359 SOS 354417 HAS SOPS 352395 HAS SOUS 171161 HAS SOUPS 169473 WITH SCORE 169827.417
AT ITER 4093 NEW BEST:: SOT 702418 SOS 354422 HAS SOPS 352400 HAS SOUS 171080 HAS SOUPS 169392 WITH SCORE 169746.422
AT ITER 4104 NEW BEST:: SOT 702417 SOS 354421 HAS SOPS 352399 HAS SOUS 171077 HAS SOUPS 169389 WITH SCORE 169743.421
AT ITER 4139 NEW BEST:: SOT 702361 SOS 354403 HAS SOPS 352381 HAS SOUS 170985 HAS SOUPS 169297 WITH SCORE 169651.403
AT ITER 4160 NEW BEST:: SOT 702345 SOS 354379 HAS SOPS 352357 HAS SOUS 170977 HAS SOUPS 169289 WITH SCORE 169643.379
AT ITER 4163 NEW BEST:: SOT 702317 SOS 354351 HAS SOPS 352329 HAS SOUS 170949 HAS SOUPS 169261 WITH SCORE 169615.351
AT ITER 4178 NEW BEST:: SOT 702317 SOS 354351 HAS SOPS 352329 HAS SOUS 170870 HAS SOUPS 169182 WITH SCORE 169536.351
AT ITER 4181 NEW BEST:: SOT 702222 SOS 354256 HAS SOPS 352234 HAS SOUS 170666 HAS SOUPS 168978 WITH SCORE 169332.256
AT ITER 4183 NEW BEST:: SOT 702216 SOS 354247 HAS SOPS 352225 HAS SOUS 170660 HAS SOUPS 168972 WITH SCORE 169326.247
AT ITER 4184 NEW BEST:: SOT 702231 SOS 354262 HAS SOPS 352240 HAS SOUS 170282 HAS SOUPS 168594 WITH SCORE 168948.262
AT ITER 4195 NEW BEST:: SOT 701875 SOS 351615 HAS SOPS 349570 HAS SOUS 170112 HAS SOUPS 168401 WITH SCORE 168752.615
AT ITER 4197 NEW BEST:: SOT 701611 SOS 351431 HAS SOPS 349386 HAS SOUS 169936 HAS SOUPS 168225 WITH SCORE 168576.431
AT ITER 4198 NEW BEST:: SOT 701308 SOS 351165 HAS SOPS 349120 HAS SOUS 169651 HAS SOUPS 167940 WITH SCORE 168291.165
AT ITER 4207 NEW BEST:: SOT 701324 SOS 351077 HAS SOPS 349032 HAS SOUS 169640 HAS SOUPS 167929 WITH SCORE 168280.077
AT ITER 4209 NEW BEST:: SOT 701554 SOS 350847 HAS SOPS 348802 HAS SOUS 169312 HAS SOUPS 167601 WITH SCORE 167951.847
AT ITER 4212 NEW BEST:: SOT 701790 SOS 350871 HAS SOPS 348826 HAS SOUS 169292 HAS SOUPS 167581 WITH SCORE 167931.871
AT ITER 4225 NEW BEST:: SOT 701961 SOS 350738 HAS SOPS 348693 HAS SOUS 169286 HAS SOUPS 167575 WITH SCORE 167925.738
AT ITER 4232 NEW BEST:: SOT 701714 SOS 351137 HAS SOPS 349242 HAS SOUS 168952 HAS SOUPS 167391 WITH SCORE 167742.137
AT ITER 4239 NEW BEST:: SOT 702176 SOS 347647 HAS SOPS 345752 HAS SOUS 168675 HAS SOUPS 167114 WITH SCORE 167461.647
AT ITER 4262 NEW BEST:: SOT 702152 SOS 347930 HAS SOPS 346035 HAS SOUS 168211 HAS SOUPS 166650 WITH SCORE 166997.93
AT ITER 4277 NEW BEST:: SOT 702152 SOS 347930 HAS SOPS 346035 HAS SOUS 168200 HAS SOUPS 166639 WITH SCORE 166986.93
AT ITER 4291 NEW BEST:: SOT 702065 SOS 347843 HAS SOPS 345948 HAS SOUS 168200 HAS SOUPS 166639 WITH SCORE 166986.843
AT ITER 4296 NEW BEST:: SOT 701749 SOS 346377 HAS SOPS 344482 HAS SOUS 167558 HAS SOUPS 165997 WITH SCORE 166343.377
AT ITER 4303 NEW BEST:: SOT 701943 SOS 346571 HAS SOPS 344676 HAS SOUS 167545 HAS SOUPS 165984 WITH SCORE 166330.571
AT ITER 4307 NEW BEST:: SOT 701889 SOS 346419 HAS SOPS 344524 HAS SOUS 167491 HAS SOUPS 165930 WITH SCORE 166276.419
AT ITER 4319 NEW BEST:: SOT 701741 SOS 346271 HAS SOPS 344376 HAS SOUS 167208 HAS SOUPS 165647 WITH SCORE 165993.271
AT ITER 4325 NEW BEST:: SOT 701749 SOS 346027 HAS SOPS 344132 HAS SOUS 167036 HAS SOUPS 165475 WITH SCORE 165821.027
AT ITER 4330 NEW BEST:: SOT 701749 SOS 346024 HAS SOPS 344129 HAS SOUS 167036 HAS SOUPS 165475 WITH SCORE 165821.024
AT ITER 4345 NEW BEST:: SOT 701748 SOS 346022 HAS SOPS 344127 HAS SOUS 167034 HAS SOUPS 165473 WITH SCORE 165819.022
AT ITER 4353 NEW BEST:: SOT 701736 SOS 346010 HAS SOPS 344115 HAS SOUS 166962 HAS SOUPS 165401 WITH SCORE 165747.01
AT ITER 4363 NEW BEST:: SOT 701748 SOS 346108 HAS SOPS 344213 HAS SOUS 166924 HAS SOUPS 165363 WITH SCORE 165709.108
AT ITER 4371 NEW BEST:: SOT 701748 SOS 345760 HAS SOPS 343865 HAS SOUS 166924 HAS SOUPS 165363 WITH SCORE 165708.76
AT ITER 4379 NEW BEST:: SOT 701704 SOS 345672 HAS SOPS 343777 HAS SOUS 166835 HAS SOUPS 165274 WITH SCORE 165619.672
AT ITER 4384 NEW BEST:: SOT 701615 SOS 345583 HAS SOPS 343688 HAS SOUS 166679 HAS SOUPS 165118 WITH SCORE 165463.583
AT ITER 4397 NEW BEST:: SOT 701581 SOS 345443 HAS SOPS 343548 HAS SOUS 166530 HAS SOUPS 164969 WITH SCORE 165314.443
AT ITER 4400 NEW BEST:: SOT 701704 SOS 345566 HAS SOPS 343671 HAS SOUS 166489 HAS SOUPS 164928 WITH SCORE 165273.566
AT ITER 4401 NEW BEST:: SOT 701536 SOS 344718 HAS SOPS 342823 HAS SOUS 166185 HAS SOUPS 164624 WITH SCORE 164968.718
AT ITER 4405 NEW BEST:: SOT 701429 SOS 344579 HAS SOPS 342684 HAS SOUS 166030 HAS SOUPS 164469 WITH SCORE 164813.579
AT ITER 4410 NEW BEST:: SOT 701987 SOS 344771 HAS SOPS 342876 HAS SOUS 166015 HAS SOUPS 164454 WITH SCORE 164798.771
AT ITER 4420 NEW BEST:: SOT 701987 SOS 344576 HAS SOPS 342681 HAS SOUS 166015 HAS SOUPS 164454 WITH SCORE 164798.576
AT ITER 4422 NEW BEST:: SOT 701987 SOS 344576 HAS SOPS 342681 HAS SOUS 165817 HAS SOUPS 164256 WITH SCORE 164600.576
AT ITER 4436 NEW BEST:: SOT 702237 SOS 344241 HAS SOPS 342346 HAS SOUS 165633 HAS SOUPS 164072 WITH SCORE 164416.241
AT ITER 4444 NEW BEST:: SOT 702189 SOS 344313 HAS SOPS 342418 HAS SOUS 165561 HAS SOUPS 164000 WITH SCORE 164344.313
AT ITER 4454 NEW BEST:: SOT 702117 SOS 344321 HAS SOPS 342426 HAS SOUS 165527 HAS SOUPS 163966 WITH SCORE 164310.321
AT ITER 4472 NEW BEST:: SOT 701535 SOS 343739 HAS SOPS 341844 HAS SOUS 165081 HAS SOUPS 163520 WITH SCORE 163863.739
AT ITER 4478 NEW BEST:: SOT 701340 SOS 343847 HAS SOPS 341952 HAS SOUS 164918 HAS SOUPS 163357 WITH SCORE 163700.847
AT ITER 4489 NEW BEST:: SOT 701340 SOS 343741 HAS SOPS 341846 HAS SOUS 164918 HAS SOUPS 163357 WITH SCORE 163700.741
AT ITER 4513 NEW BEST:: SOT 701340 SOS 342489 HAS SOPS 340594 HAS SOUS 164856 HAS SOUPS 163295 WITH SCORE 163637.489
AT ITER 4515 NEW BEST:: SOT 701141 SOS 342337 HAS SOPS 340442 HAS SOUS 164805 HAS SOUPS 163244 WITH SCORE 163586.337
AT ITER 4534 NEW BEST:: SOT 700999 SOS 341763 HAS SOPS 339868 HAS SOUS 164594 HAS SOUPS 163033 WITH SCORE 163374.763
AT ITER 4546 NEW BEST:: SOT 700904 SOS 341926 HAS SOPS 340031 HAS SOUS 164241 HAS SOUPS 162680 WITH SCORE 163021.926
AT ITER 4558 NEW BEST:: SOT 699747 SOS 340839 HAS SOPS 338944 HAS SOUS 164100 HAS SOUPS 162539 WITH SCORE 162879.839
AT ITER 4565 NEW BEST:: SOT 699720 SOS 340830 HAS SOPS 338935 HAS SOUS 164091 HAS SOUPS 162530 WITH SCORE 162870.83
AT ITER 4567 NEW BEST:: SOT 699172 SOS 340282 HAS SOPS 338387 HAS SOUS 163680 HAS SOUPS 162119 WITH SCORE 162459.282
AT ITER 4577 NEW BEST:: SOT 698904 SOS 340301 HAS SOPS 338406 HAS SOUS 163588 HAS SOUPS 162027 WITH SCORE 162367.301
AT ITER 4580 NEW BEST:: SOT 698866 SOS 340263 HAS SOPS 338368 HAS SOUS 163550 HAS SOUPS 161989 WITH SCORE 162329.263
AT ITER 4592 NEW BEST:: SOT 698861 SOS 340238 HAS SOPS 338343 HAS SOUS 163535 HAS SOUPS 161974 WITH SCORE 162314.238
AT ITER 4599 NEW BEST:: SOT 698849 SOS 339778 HAS SOPS 337883 HAS SOUS 163531 HAS SOUPS 161970 WITH SCORE 162309.778
AT ITER 4601 NEW BEST:: SOT 698780 SOS 339750 HAS SOPS 337861 HAS SOUS 163485 HAS SOUPS 161930 WITH SCORE 162269.75
AT ITER 4604 NEW BEST:: SOT 698790 SOS 339252 HAS SOPS 337363 HAS SOUS 163406 HAS SOUPS 161851 WITH SCORE 162190.252
AT ITER 4635 NEW BEST:: SOT 698730 SOS 338940 HAS SOPS 337051 HAS SOUS 163376 HAS SOUPS 161821 WITH SCORE 162159.94
AT ITER 4648 NEW BEST:: SOT 698768 SOS 338886 HAS SOPS 336997 HAS SOUS 163322 HAS SOUPS 161767 WITH SCORE 162105.886
AT ITER 4651 NEW BEST:: SOT 698660 SOS 338290 HAS SOPS 336401 HAS SOUS 163175 HAS SOUPS 161620 WITH SCORE 161958.29
AT ITER 4659 NEW BEST:: SOT 698654 SOS 338284 HAS SOPS 336395 HAS SOUS 163169 HAS SOUPS 161614 WITH SCORE 161952.284
AT ITER 4667 NEW BEST:: SOT 698600 SOS 338230 HAS SOPS 336341 HAS SOUS 163061 HAS SOUPS 161506 WITH SCORE 161844.23
AT ITER 4687 NEW BEST:: SOT 698305 SOS 337935 HAS SOPS 336046 HAS SOUS 162665 HAS SOUPS 161110 WITH SCORE 161447.935
AT ITER 4692 NEW BEST:: SOT 698305 SOS 337919 HAS SOPS 336030 HAS SOUS 162665 HAS SOUPS 161110 WITH SCORE 161447.919
AT ITER 4697 NEW BEST:: SOT 698450 SOS 337815 HAS SOPS 335926 HAS SOUS 162649 HAS SOUPS 161094 WITH SCORE 161431.815
AT ITER 4720 NEW BEST:: SOT 698312 SOS 337815 HAS SOPS 335926 HAS SOUS 162511 HAS SOUPS 160956 WITH SCORE 161293.815
AT ITER 4724 NEW BEST:: SOT 698230 SOS 337277 HAS SOPS 335388 HAS SOUS 162139 HAS SOUPS 160584 WITH SCORE 160921.277
AT ITER 4736 NEW BEST:: SOT 698157 SOS 337306 HAS SOPS 335417 HAS SOUS 162038 HAS SOUPS 160483 WITH SCORE 160820.306
AT ITER 4751 NEW BEST:: SOT 698157 SOS 337306 HAS SOPS 335417 HAS SOUS 162022 HAS SOUPS 160467 WITH SCORE 160804.306
AT ITER 4757 NEW BEST:: SOT 697822 SOS 336626 HAS SOPS 334737 HAS SOUS 161744 HAS SOUPS 160189 WITH SCORE 160525.626
AT ITER 4767 NEW BEST:: SOT 697857 SOS 336603 HAS SOPS 334714 HAS SOUS 161683 HAS SOUPS 160128 WITH SCORE 160464.603
AT ITER 4769 NEW BEST:: SOT 697787 SOS 336522 HAS SOPS 334669 HAS SOUS 161537 HAS SOUPS 160018 WITH SCORE 160354.522
AT ITER 4793 NEW BEST:: SOT 697946 SOS 336252 HAS SOPS 334399 HAS SOUS 161307 HAS SOUPS 159788 WITH SCORE 160124.252
AT ITER 4801 NEW BEST:: SOT 697946 SOS 336252 HAS SOPS 334399 HAS SOUS 161288 HAS SOUPS 159769 WITH SCORE 160105.252
AT ITER 4805 NEW BEST:: SOT 697771 SOS 335963 HAS SOPS 334110 HAS SOUS 161118 HAS SOUPS 159599 WITH SCORE 159934.963
AT ITER 4834 NEW BEST:: SOT 697567 SOS 336152 HAS SOPS 334299 HAS SOUS 160931 HAS SOUPS 159412 WITH SCORE 159748.152
AT ITER 4842 NEW BEST:: SOT 697552 SOS 336147 HAS SOPS 334294 HAS SOUS 160916 HAS SOUPS 159397 WITH SCORE 159733.147
AT ITER 4848 NEW BEST:: SOT 697528 SOS 336123 HAS SOPS 334270 HAS SOUS 160893 HAS SOUPS 159374 WITH SCORE 159710.123
AT ITER 4858 NEW BEST:: SOT 697517 SOS 335956 HAS SOPS 334103 HAS SOUS 160893 HAS SOUPS 159374 WITH SCORE 159709.956
AT ITER 4865 NEW BEST:: SOT 697514 SOS 335579 HAS SOPS 333726 HAS SOUS 160846 HAS SOUPS 159327 WITH SCORE 159662.579
AT ITER 4867 NEW BEST:: SOT 697514 SOS 334543 HAS SOPS 332690 HAS SOUS 160532 HAS SOUPS 159013 WITH SCORE 159347.543
AT ITER 4871 NEW BEST:: SOT 697024 SOS 334053 HAS SOPS 332200 HAS SOUS 159792 HAS SOUPS 158273 WITH SCORE 158607.053
AT ITER 4888 NEW BEST:: SOT 697054 SOS 334053 HAS SOPS 332200 HAS SOUS 159777 HAS SOUPS 158258 WITH SCORE 158592.053
AT ITER 4916 NEW BEST:: SOT 697065 SOS 334083 HAS SOPS 332230 HAS SOUS 159769 HAS SOUPS 158250 WITH SCORE 158584.083
AT ITER 4917 NEW BEST:: SOT 697079 SOS 334088 HAS SOPS 332235 HAS SOUS 159765 HAS SOUPS 158246 WITH SCORE 158580.088
AT ITER 4931 NEW BEST:: SOT 697068 SOS 334066 HAS SOPS 332213 HAS SOUS 159754 HAS SOUPS 158235 WITH SCORE 158569.066
AT ITER 4958 NEW BEST:: SOT 697044 SOS 333985 HAS SOPS 332132 HAS SOUS 159735 HAS SOUPS 158216 WITH SCORE 158549.985
AT ITER 4965 NEW BEST:: SOT 696972 SOS 333913 HAS SOPS 332060 HAS SOUS 159720 HAS SOUPS 158201 WITH SCORE 158534.913
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-7A-CTLFireability-00 ( ( (! ((potential((tk(P192)>=1))))) & (EU( (! ((potential((tk(P746)>=1) & (tk(P795)>=1))))) , ( ((potential((tk(P168)>=1)))) & ((potential((tk(P471)>=1) & (tk(P517)>=1)))) ) )) ) | (AG( (AU( ((potential((tk(P126)>=1)))) , ((potential((tk(P50)>=1)))) )))) )
PROPERTY: NoC3x3-PT-7A-CTLFireability-01 (EF( ( ( (! ( ((potential((tk(P81)>=1) & (tk(P130)>=1)))) & ((potential((tk(P41)>=1)))) )) & (! (! ((potential((tk(P515)>=1)))))) ) | ( ( (! ((potential((tk(P134)>=1))))) | ((potential((tk(P320)>=1)))) ) & (EF( ((potential((tk(P627)>=1)))))) ) )))
PROPERTY: NoC3x3-PT-7A-CTLFireability-02 ( (AX( (AX( (! ((potential((tk(P353)>=1) & (tk(P411)>=1))))))))) & (AG( (EX( (! ((potential((tk(P655)>=1) & (tk(P688)>=1))))))))) )
PROPERTY: NoC3x3-PT-7A-CTLFireability-03 (AU( ((potential((tk(P388)>=1)))) , (EF( ( ((potential((tk(P314)>=1)))) | ((potential((tk(P478)>=1) & (tk(P500)>=1)))) ))) ))
PROPERTY: NoC3x3-PT-7A-CTLFireability-04 (AU( (! ( ( ((potential((tk(P420)>=1)))) & ((potential((tk(P115)>=1) & (tk(P374)>=1)))) ) | ( ((potential((tk(P255)>=1) & (tk(P304)>=1)))) & ((potential((tk(P2)>=1) & (tk(P69)>=1)))) ) )) , ( (EF( ((potential((tk(P584)>=1)))))) & (! ( ((potential((tk(P141)>=1)))) | ((potential((tk(P563)>=1)))) )) ) ))
PROPERTY: NoC3x3-PT-7A-CTLFireability-05 (EG( (EF( ((potential((tk(P591)>=1))))))))
PROPERTY: NoC3x3-PT-7A-CTLFireability-06 (! (! (! ( (EF( ((potential((tk(P248)>=1) & (tk(P300)>=1)))))) & (EF( ((potential((tk(P442)>=1)))))) ))))
PROPERTY: NoC3x3-PT-7A-CTLFireability-07 ( ( (! ( (EG( ((potential((tk(P774)>=1)))))) | (EX( ((potential((tk(P639)>=1) & (tk(P670)>=1)))))) )) & ((potential((tk(P715)>=1)))) ) | (AG( (EX( (! ((potential((tk(P44)>=1))))))))) )
PROPERTY: NoC3x3-PT-7A-CTLFireability-08 ( (EF( ( (! ((potential((tk(P206)>=1))))) | ( ( ((potential((tk(P86)>=1) & (tk(P227)>=1)))) & ((potential((tk(P650)>=1) & (tk(P676)>=1)))) ) | ( ((potential((tk(P72)>=1)))) | ((potential((tk(P643)>=1) & (tk(P692)>=1)))) ) ) ))) & (EF( (EF( ((potential((tk(P351)>=1) & (tk(P404)>=1)))))))) )
PROPERTY: NoC3x3-PT-7A-CTLFireability-09 (EF( (AX( (AX( ((potential((tk(P126)>=1))))))))))
PROPERTY: NoC3x3-PT-7A-CTLFireability-10 (EU( (! ( ((potential((tk(P74)>=1) & (tk(P168)>=1)))) | ( ((potential((tk(P346)>=1) & (tk(P425)>=1)))) | ((potential((tk(P32)>=1)))) ) )) , (AG( ( ((potential((tk(P85)>=1) & (tk(P100)>=1)))) & ((potential((tk(P737)>=1)))) ))) ))
PROPERTY: NoC3x3-PT-7A-CTLFireability-11 ( (! (EF( ( ( ((potential((tk(P100)>=1)))) & ((potential((tk(P355)>=1) & (tk(P469)>=1)))) ) & ( ((potential((tk(P73)>=1)))) & ((potential((tk(P118)>=1)))) ) )))) | (AF( (! (! ((potential((tk(P120)>=1)))))))) )
PROPERTY: NoC3x3-PT-7A-CTLFireability-12 ( (EF( (EU( ((potential((tk(P121)>=1)))) , ((potential((tk(P182)>=1) & (tk(P224)>=1)))) )))) | (EG( ((potential((tk(P748)>=1) & (tk(P755)>=1)))))) )
PROPERTY: NoC3x3-PT-7A-CTLFireability-13 (! (EF( (EF( ((potential((tk(P285)>=1)))))))))
PROPERTY: NoC3x3-PT-7A-CTLFireability-14 ( (EF( (EU( ((potential((tk(P471)>=1) & (tk(P517)>=1)))) , ((potential((tk(P26)>=1)))) )))) | (EG( ((potential((tk(P217)>=1)))))) )
PROPERTY: NoC3x3-PT-7A-CTLFireability-15 (EU( (EF( ( ((potential((tk(P288)>=1) & (tk(P577)>=1)))) | ((potential((tk(P487)>=1) & (tk(P504)>=1)))) ))) , ((potential((tk(P637)>=1)))) ))
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="NoC3x3-PT-7A"
export BK_EXAMINATION="CTLFireability"
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 NoC3x3-PT-7A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250500428"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-7A.tgz
mv NoC3x3-PT-7A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;