Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508600499.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is AutoFlight-PT-48a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600499
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 3.9K Mar 25 23:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 25 23:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 18:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 18:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K Mar 25 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 25 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 11:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 11:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 309K 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 AutoFlight-PT-48a-CTLCardinality-00
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-01
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-02
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-03
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-04
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-05
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-06
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-07
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-08
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-09
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-10
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-11
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-12
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-13
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-14
FORMULA_NAME AutoFlight-PT-48a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589183549998

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

GOT IT HERE. BS
Petri model created: 1127 places, 1113 transitions, 3458 arcs.
AT ITER 0 NEW BEST:: SOT 892915 SOS 533052 HAS SOPS 533052 HAS SOUS 368967 HAS SOUPS 368967 WITH SCORE 369500.052
AT ITER 1 NEW BEST:: SOT 890072 SOS 530608 HAS SOPS 530608 HAS SOUS 367116 HAS SOUPS 367116 WITH SCORE 367646.608
AT ITER 2 NEW BEST:: SOT 888384 SOS 527623 HAS SOPS 527623 HAS SOUS 365351 HAS SOUPS 365351 WITH SCORE 365878.623
AT ITER 5 NEW BEST:: SOT 887346 SOS 526466 HAS SOPS 525536 HAS SOUS 364053 HAS SOUPS 363757 WITH SCORE 364283.466
AT ITER 7 NEW BEST:: SOT 887346 SOS 526663 HAS SOPS 525181 HAS SOUS 363974 HAS SOUPS 363540 WITH SCORE 364066.663
AT ITER 8 NEW BEST:: SOT 886812 SOS 526129 HAS SOPS 524647 HAS SOUS 363477 HAS SOUPS 363043 WITH SCORE 363569.129
AT ITER 11 NEW BEST:: SOT 886812 SOS 525861 HAS SOPS 524379 HAS SOUS 363359 HAS SOUPS 362925 WITH SCORE 363450.861
AT ITER 13 NEW BEST:: SOT 886812 SOS 525217 HAS SOPS 524055 HAS SOUS 363358 HAS SOUPS 362924 WITH SCORE 363449.217
AT ITER 16 NEW BEST:: SOT 886812 SOS 524820 HAS SOPS 523658 HAS SOUS 363357 HAS SOUPS 362923 WITH SCORE 363447.82
AT ITER 19 NEW BEST:: SOT 886544 SOS 524552 HAS SOPS 523390 HAS SOUS 363022 HAS SOUPS 362588 WITH SCORE 363112.552
AT ITER 24 NEW BEST:: SOT 885950 SOS 523958 HAS SOPS 522796 HAS SOUS 362626 HAS SOUPS 362192 WITH SCORE 362715.958
AT ITER 26 NEW BEST:: SOT 885048 SOS 523174 HAS SOPS 521893 HAS SOUS 361789 HAS SOUPS 361289 WITH SCORE 361812.174
AT ITER 30 NEW BEST:: SOT 884190 SOS 522064 HAS SOPS 519678 HAS SOUS 360566 HAS SOUPS 359643 WITH SCORE 360165.064
AT ITER 31 NEW BEST:: SOT 883594 SOS 520026 HAS SOPS 517640 HAS SOUS 359720 HAS SOUPS 358797 WITH SCORE 359317.026
AT ITER 32 NEW BEST:: SOT 883224 SOS 519656 HAS SOPS 517270 HAS SOUS 359350 HAS SOUPS 358427 WITH SCORE 358946.656
AT ITER 35 NEW BEST:: SOT 882696 SOS 519573 HAS SOPS 516741 HAS SOUS 359002 HAS SOUPS 357898 WITH SCORE 358417.573
AT ITER 39 NEW BEST:: SOT 882439 SOS 519316 HAS SOPS 516484 HAS SOUS 358745 HAS SOUPS 357641 WITH SCORE 358160.316
AT ITER 41 NEW BEST:: SOT 882439 SOS 518367 HAS SOPS 515535 HAS SOUS 358233 HAS SOUPS 357129 WITH SCORE 357647.367
AT ITER 43 NEW BEST:: SOT 882326 SOS 516979 HAS SOPS 514147 HAS SOUS 357598 HAS SOUPS 356494 WITH SCORE 357010.979
AT ITER 44 NEW BEST:: SOT 882326 SOS 516978 HAS SOPS 514146 HAS SOUS 357597 HAS SOUPS 356493 WITH SCORE 357009.978
AT ITER 49 NEW BEST:: SOT 881785 SOS 515177 HAS SOPS 512345 HAS SOUS 356337 HAS SOUPS 355233 WITH SCORE 355748.177
AT ITER 53 NEW BEST:: SOT 880086 SOS 512465 HAS SOPS 509633 HAS SOUS 354219 HAS SOUPS 353115 WITH SCORE 353627.465
AT ITER 54 NEW BEST:: SOT 879796 SOS 510550 HAS SOPS 507718 HAS SOUS 353227 HAS SOUPS 352123 WITH SCORE 352633.55
AT ITER 57 NEW BEST:: SOT 879564 SOS 510318 HAS SOPS 507486 HAS SOUS 352995 HAS SOUPS 351891 WITH SCORE 352401.318
AT ITER 59 NEW BEST:: SOT 879564 SOS 510317 HAS SOPS 507485 HAS SOUS 352994 HAS SOUPS 351890 WITH SCORE 352400.317
AT ITER 65 NEW BEST:: SOT 879564 SOS 510316 HAS SOPS 507484 HAS SOUS 352993 HAS SOUPS 351889 WITH SCORE 352399.316
AT ITER 67 NEW BEST:: SOT 879564 SOS 510315 HAS SOPS 507483 HAS SOUS 352992 HAS SOUPS 351888 WITH SCORE 352398.315
AT ITER 74 NEW BEST:: SOT 879308 SOS 508700 HAS SOPS 505795 HAS SOUS 351825 HAS SOUPS 350648 WITH SCORE 351156.7
AT ITER 75 NEW BEST:: SOT 877135 SOS 506526 HAS SOPS 503621 HAS SOUS 350099 HAS SOUPS 348922 WITH SCORE 349428.526
AT ITER 76 NEW BEST:: SOT 877135 SOS 505912 HAS SOPS 503007 HAS SOUS 350099 HAS SOUPS 348922 WITH SCORE 349427.912
AT ITER 81 NEW BEST:: SOT 877083 SOS 506131 HAS SOPS 502954 HAS SOUS 350318 HAS SOUPS 348869 WITH SCORE 349375.131
AT ITER 82 NEW BEST:: SOT 874272 SOS 501797 HAS SOPS 498620 HAS SOUS 347778 HAS SOUPS 346329 WITH SCORE 346830.797
AT ITER 83 NEW BEST:: SOT 873233 SOS 500117 HAS SOPS 496015 HAS SOUS 346080 HAS SOUPS 344276 WITH SCORE 344776.117
AT ITER 84 NEW BEST:: SOT 872484 SOS 499367 HAS SOPS 495265 HAS SOUS 345688 HAS SOUPS 343884 WITH SCORE 344383.367
AT ITER 88 NEW BEST:: SOT 871964 SOS 498847 HAS SOPS 494745 HAS SOUS 345180 HAS SOUPS 343376 WITH SCORE 343874.847
AT ITER 95 NEW BEST:: SOT 869153 SOS 494931 HAS SOPS 490829 HAS SOUS 342827 HAS SOUPS 341023 WITH SCORE 341517.931
AT ITER 97 NEW BEST:: SOT 868519 SOS 493793 HAS SOPS 489691 HAS SOUS 342201 HAS SOUPS 340397 WITH SCORE 340890.793
AT ITER 99 NEW BEST:: SOT 867337 SOS 492611 HAS SOPS 488509 HAS SOUS 341413 HAS SOUPS 339609 WITH SCORE 340101.611
AT ITER 105 NEW BEST:: SOT 866557 SOS 491831 HAS SOPS 487729 HAS SOUS 340763 HAS SOUPS 338959 WITH SCORE 339450.831
AT ITER 106 NEW BEST:: SOT 866557 SOS 491101 HAS SOPS 486999 HAS SOUS 340501 HAS SOUPS 338697 WITH SCORE 339188.101
AT ITER 108 NEW BEST:: SOT 866127 SOS 490707 HAS SOPS 486569 HAS SOUS 339524 HAS SOUPS 337684 WITH SCORE 338174.707
AT ITER 111 NEW BEST:: SOT 864304 SOS 489366 HAS SOPS 485228 HAS SOUS 339226 HAS SOUPS 337386 WITH SCORE 337875.366
AT ITER 112 NEW BEST:: SOT 863285 SOS 488347 HAS SOPS 484209 HAS SOUS 338747 HAS SOUPS 336907 WITH SCORE 337395.347
AT ITER 115 NEW BEST:: SOT 860720 SOS 484260 HAS SOPS 480122 HAS SOUS 336328 HAS SOUPS 334488 WITH SCORE 334972.26
AT ITER 116 NEW BEST:: SOT 859100 SOS 482681 HAS SOPS 478543 HAS SOUS 335301 HAS SOUPS 333461 WITH SCORE 333943.681
AT ITER 123 NEW BEST:: SOT 859099 SOS 481391 HAS SOPS 477253 HAS SOUS 334491 HAS SOUPS 332651 WITH SCORE 333132.391
AT ITER 125 NEW BEST:: SOT 858065 SOS 481099 HAS SOPS 476219 HAS SOUS 333706 HAS SOUPS 331617 WITH SCORE 332098.099
AT ITER 127 NEW BEST:: SOT 857251 SOS 480598 HAS SOPS 475718 HAS SOUS 333323 HAS SOUPS 331234 WITH SCORE 331714.598
AT ITER 128 NEW BEST:: SOT 856501 SOS 480169 HAS SOPS 473383 HAS SOUS 332199 HAS SOUPS 329564 WITH SCORE 330044.169
AT ITER 129 NEW BEST:: SOT 855524 SOS 479361 HAS SOPS 472406 HAS SOUS 331313 HAS SOUPS 328587 WITH SCORE 329066.361
AT ITER 134 NEW BEST:: SOT 855326 SOS 477546 HAS SOPS 470591 HAS SOUS 331128 HAS SOUPS 328402 WITH SCORE 328879.546
AT ITER 136 NEW BEST:: SOT 855326 SOS 476613 HAS SOPS 469658 HAS SOUS 330540 HAS SOUPS 327814 WITH SCORE 328290.613
AT ITER 138 NEW BEST:: SOT 855326 SOS 476330 HAS SOPS 469375 HAS SOUS 330539 HAS SOUPS 327813 WITH SCORE 328289.33
AT ITER 142 NEW BEST:: SOT 855093 SOS 476097 HAS SOPS 469142 HAS SOUS 330306 HAS SOUPS 327580 WITH SCORE 328056.097
AT ITER 143 NEW BEST:: SOT 854020 SOS 475024 HAS SOPS 468069 HAS SOUS 329647 HAS SOUPS 326921 WITH SCORE 327396.024
AT ITER 149 NEW BEST:: SOT 851334 SOS 472338 HAS SOPS 465383 HAS SOUS 327941 HAS SOUPS 325215 WITH SCORE 325687.338
AT ITER 154 NEW BEST:: SOT 848660 SOS 469028 HAS SOPS 462073 HAS SOUS 325460 HAS SOUPS 322734 WITH SCORE 323203.028
AT ITER 156 NEW BEST:: SOT 848660 SOS 468482 HAS SOPS 461527 HAS SOUS 325157 HAS SOUPS 322431 WITH SCORE 322899.482
AT ITER 159 NEW BEST:: SOT 846999 SOS 466821 HAS SOPS 459866 HAS SOUS 324182 HAS SOUPS 321456 WITH SCORE 321922.821
AT ITER 161 NEW BEST:: SOT 846999 SOS 466820 HAS SOPS 459865 HAS SOUS 324083 HAS SOUPS 321357 WITH SCORE 321823.82
AT ITER 164 NEW BEST:: SOT 846998 SOS 466208 HAS SOPS 459253 HAS SOUS 323945 HAS SOUPS 321219 WITH SCORE 321685.208
AT ITER 165 NEW BEST:: SOT 845774 SOS 464984 HAS SOPS 458029 HAS SOUS 322721 HAS SOUPS 319995 WITH SCORE 320459.984
AT ITER 170 NEW BEST:: SOT 846158 SOS 466816 HAS SOPS 457922 HAS SOUS 323171 HAS SOUPS 319891 WITH SCORE 320357.816
AT ITER 171 NEW BEST:: SOT 845519 SOS 466177 HAS SOPS 457283 HAS SOUS 322911 HAS SOUPS 319631 WITH SCORE 320097.177
AT ITER 172 NEW BEST:: SOT 843941 SOS 464599 HAS SOPS 455705 HAS SOUS 321333 HAS SOUPS 318053 WITH SCORE 318517.599
AT ITER 173 NEW BEST:: SOT 843530 SOS 464201 HAS SOPS 455293 HAS SOUS 320934 HAS SOUPS 317641 WITH SCORE 318105.201
AT ITER 183 NEW BEST:: SOT 841984 SOS 462654 HAS SOPS 453746 HAS SOUS 320117 HAS SOUPS 316824 WITH SCORE 317286.654
AT ITER 191 NEW BEST:: SOT 841655 SOS 462325 HAS SOPS 453416 HAS SOUS 320116 HAS SOUPS 316822 WITH SCORE 317284.325
AT ITER 193 NEW BEST:: SOT 841655 SOS 462624 HAS SOPS 453415 HAS SOUS 320115 HAS SOUPS 316821 WITH SCORE 317283.624
AT ITER 194 NEW BEST:: SOT 839775 SOS 460744 HAS SOPS 451535 HAS SOUS 318775 HAS SOUPS 315481 WITH SCORE 315941.744
AT ITER 195 NEW BEST:: SOT 839774 SOS 460359 HAS SOPS 451203 HAS SOUS 318773 HAS SOUPS 315479 WITH SCORE 315939.359
AT ITER 197 NEW BEST:: SOT 839814 SOS 460135 HAS SOPS 450979 HAS SOUS 318549 HAS SOUPS 315255 WITH SCORE 315715.135
AT ITER 200 NEW BEST:: SOT 839014 SOS 459334 HAS SOPS 450178 HAS SOUS 318131 HAS SOUPS 314837 WITH SCORE 315296.334
AT ITER 201 NEW BEST:: SOT 838791 SOS 459110 HAS SOPS 449954 HAS SOUS 318067 HAS SOUPS 314773 WITH SCORE 315232.11
AT ITER 206 NEW BEST:: SOT 838409 SOS 458630 HAS SOPS 449474 HAS SOUS 317756 HAS SOUPS 314462 WITH SCORE 314920.63
AT ITER 207 NEW BEST:: SOT 838409 SOS 458629 HAS SOPS 449473 HAS SOUS 317755 HAS SOUPS 314461 WITH SCORE 314919.629
AT ITER 209 NEW BEST:: SOT 838409 SOS 458134 HAS SOPS 448978 HAS SOUS 317601 HAS SOUPS 314307 WITH SCORE 314765.134
AT ITER 217 NEW BEST:: SOT 837286 SOS 457929 HAS SOPS 448773 HAS SOUS 317232 HAS SOUPS 313938 WITH SCORE 314395.929
AT ITER 219 NEW BEST:: SOT 837286 SOS 457775 HAS SOPS 448619 HAS SOUS 317078 HAS SOUPS 313784 WITH SCORE 314241.775
AT ITER 220 NEW BEST:: SOT 836420 SOS 456909 HAS SOPS 447753 HAS SOUS 316456 HAS SOUPS 313162 WITH SCORE 313618.909
AT ITER 221 NEW BEST:: SOT 836420 SOS 456236 HAS SOPS 447080 HAS SOUS 316094 HAS SOUPS 312800 WITH SCORE 313256.236
AT ITER 223 NEW BEST:: SOT 834461 SOS 453939 HAS SOPS 444783 HAS SOUS 314839 HAS SOUPS 311545 WITH SCORE 311998.939
AT ITER 226 NEW BEST:: SOT 834415 SOS 452461 HAS SOPS 442770 HAS SOUS 313999 HAS SOUPS 310170 WITH SCORE 310622.461
AT ITER 227 NEW BEST:: SOT 833360 SOS 451355 HAS SOPS 441664 HAS SOUS 313249 HAS SOUPS 309420 WITH SCORE 309871.355
AT ITER 228 NEW BEST:: SOT 833077 SOS 451071 HAS SOPS 441380 HAS SOUS 312819 HAS SOUPS 308990 WITH SCORE 309441.071
AT ITER 233 NEW BEST:: SOT 833077 SOS 451169 HAS SOPS 441478 HAS SOUS 312818 HAS SOUPS 308989 WITH SCORE 309440.169
AT ITER 234 NEW BEST:: SOT 833086 SOS 449530 HAS SOPS 439839 HAS SOUS 312360 HAS SOUPS 308531 WITH SCORE 308980.53
AT ITER 240 NEW BEST:: SOT 832196 SOS 447818 HAS SOPS 438127 HAS SOUS 311444 HAS SOUPS 307615 WITH SCORE 308062.818
AT ITER 241 NEW BEST:: SOT 832196 SOS 447361 HAS SOPS 437670 HAS SOUS 311369 HAS SOUPS 307540 WITH SCORE 307987.361
AT ITER 245 NEW BEST:: SOT 832195 SOS 447094 HAS SOPS 437476 HAS SOUS 311198 HAS SOUPS 307442 WITH SCORE 307889.094
AT ITER 248 NEW BEST:: SOT 832171 SOS 447069 HAS SOPS 437451 HAS SOUS 311173 HAS SOUPS 307417 WITH SCORE 307864.069
AT ITER 251 NEW BEST:: SOT 831416 SOS 446669 HAS SOPS 437015 HAS SOUS 310773 HAS SOUPS 306981 WITH SCORE 307427.669
AT ITER 253 NEW BEST:: SOT 829432 SOS 444487 HAS SOPS 434833 HAS SOUS 309159 HAS SOUPS 305367 WITH SCORE 305811.487
AT ITER 254 NEW BEST:: SOT 829432 SOS 443823 HAS SOPS 434469 HAS SOUS 309159 HAS SOUPS 305367 WITH SCORE 305810.823
AT ITER 259 NEW BEST:: SOT 826832 SOS 441223 HAS SOPS 431869 HAS SOUS 307038 HAS SOUPS 303246 WITH SCORE 303687.223
AT ITER 260 NEW BEST:: SOT 826151 SOS 439803 HAS SOPS 430449 HAS SOUS 306214 HAS SOUPS 302422 WITH SCORE 302861.803
AT ITER 264 NEW BEST:: SOT 826042 SOS 439646 HAS SOPS 430292 HAS SOUS 306057 HAS SOUPS 302265 WITH SCORE 302704.646
AT ITER 265 NEW BEST:: SOT 826042 SOS 439139 HAS SOPS 429785 HAS SOUS 306052 HAS SOUPS 302260 WITH SCORE 302699.139
AT ITER 266 NEW BEST:: SOT 826539 SOS 440647 HAS SOPS 430282 HAS SOUS 306343 HAS SOUPS 302172 WITH SCORE 302612.647
AT ITER 269 NEW BEST:: SOT 826539 SOS 440403 HAS SOPS 430038 HAS SOUS 306342 HAS SOUPS 302171 WITH SCORE 302611.403
AT ITER 270 NEW BEST:: SOT 826539 SOS 440402 HAS SOPS 430037 HAS SOUS 306341 HAS SOUPS 302170 WITH SCORE 302610.402
AT ITER 271 NEW BEST:: SOT 826538 SOS 440527 HAS SOPS 430198 HAS SOUS 306140 HAS SOUPS 302005 WITH SCORE 302445.527
AT ITER 273 NEW BEST:: SOT 826353 SOS 440342 HAS SOPS 430013 HAS SOUS 306048 HAS SOUPS 301913 WITH SCORE 302353.342
AT ITER 279 NEW BEST:: SOT 825538 SOS 439527 HAS SOPS 429198 HAS SOUS 305559 HAS SOUPS 301424 WITH SCORE 301863.527
AT ITER 280 NEW BEST:: SOT 824190 SOS 438179 HAS SOPS 427849 HAS SOUS 304856 HAS SOUPS 300721 WITH SCORE 301159.179
AT ITER 281 NEW BEST:: SOT 823938 SOS 437926 HAS SOPS 427596 HAS SOUS 304603 HAS SOUPS 300468 WITH SCORE 300905.926
AT ITER 284 NEW BEST:: SOT 823938 SOS 437875 HAS SOPS 427545 HAS SOUS 304603 HAS SOUPS 300468 WITH SCORE 300905.875
AT ITER 286 NEW BEST:: SOT 823967 SOS 437904 HAS SOPS 427574 HAS SOUS 304583 HAS SOUPS 300448 WITH SCORE 300885.904
AT ITER 287 NEW BEST:: SOT 823572 SOS 437509 HAS SOPS 427179 HAS SOUS 304406 HAS SOUPS 300271 WITH SCORE 300708.509
AT ITER 289 NEW BEST:: SOT 823617 SOS 437411 HAS SOPS 427081 HAS SOUS 304313 HAS SOUPS 300178 WITH SCORE 300615.411
AT ITER 290 NEW BEST:: SOT 823520 SOS 437314 HAS SOPS 426984 HAS SOUS 304302 HAS SOUPS 300167 WITH SCORE 300604.314
AT ITER 291 NEW BEST:: SOT 821298 SOS 434748 HAS SOPS 424418 HAS SOUS 302805 HAS SOUPS 298670 WITH SCORE 299104.748
AT ITER 293 NEW BEST:: SOT 821249 SOS 433459 HAS SOPS 423129 HAS SOUS 302057 HAS SOUPS 297922 WITH SCORE 298355.459
AT ITER 295 NEW BEST:: SOT 819138 SOS 431348 HAS SOPS 421018 HAS SOUS 300402 HAS SOUPS 296267 WITH SCORE 296698.348
AT ITER 296 NEW BEST:: SOT 818952 SOS 431348 HAS SOPS 421018 HAS SOUS 300309 HAS SOUPS 296174 WITH SCORE 296605.348
AT ITER 302 NEW BEST:: SOT 818832 SOS 431228 HAS SOPS 420898 HAS SOUS 300260 HAS SOUPS 296125 WITH SCORE 296556.228
AT ITER 308 NEW BEST:: SOT 818056 SOS 430281 HAS SOPS 419951 HAS SOUS 299925 HAS SOUPS 295790 WITH SCORE 296220.281
AT ITER 309 NEW BEST:: SOT 817735 SOS 429960 HAS SOPS 419630 HAS SOUS 299604 HAS SOUPS 295469 WITH SCORE 295898.96
AT ITER 311 NEW BEST:: SOT 817735 SOS 429920 HAS SOPS 419590 HAS SOUS 299564 HAS SOUPS 295429 WITH SCORE 295858.92
AT ITER 315 NEW BEST:: SOT 817735 SOS 429678 HAS SOPS 419348 HAS SOUS 299322 HAS SOUPS 295187 WITH SCORE 295616.678
AT ITER 316 NEW BEST:: SOT 816981 SOS 428924 HAS SOPS 418594 HAS SOUS 298708 HAS SOUPS 294573 WITH SCORE 295001.924
AT ITER 322 NEW BEST:: SOT 816981 SOS 428318 HAS SOPS 417988 HAS SOUS 298364 HAS SOUPS 294229 WITH SCORE 294657.318
AT ITER 323 NEW BEST:: SOT 816448 SOS 427785 HAS SOPS 417455 HAS SOUS 298030 HAS SOUPS 293895 WITH SCORE 294322.785
AT ITER 329 NEW BEST:: SOT 816448 SOS 427196 HAS SOPS 416866 HAS SOUS 297645 HAS SOUPS 293510 WITH SCORE 293937.196
AT ITER 330 NEW BEST:: SOT 816448 SOS 426908 HAS SOPS 416578 HAS SOUS 297581 HAS SOUPS 293446 WITH SCORE 293872.908
AT ITER 331 NEW BEST:: SOT 816002 SOS 426462 HAS SOPS 416132 HAS SOUS 297329 HAS SOUPS 293194 WITH SCORE 293620.462
AT ITER 333 NEW BEST:: SOT 814361 SOS 424134 HAS SOPS 413804 HAS SOUS 295916 HAS SOUPS 291781 WITH SCORE 292205.134
AT ITER 334 NEW BEST:: SOT 812550 SOS 421736 HAS SOPS 411406 HAS SOUS 294710 HAS SOUPS 290575 WITH SCORE 290996.736
AT ITER 336 NEW BEST:: SOT 811222 SOS 420408 HAS SOPS 410078 HAS SOUS 294046 HAS SOUPS 289911 WITH SCORE 290331.408
AT ITER 337 NEW BEST:: SOT 811113 SOS 418887 HAS SOPS 408422 HAS SOUS 292929 HAS SOUPS 288659 WITH SCORE 289077.887
AT ITER 342 NEW BEST:: SOT 811113 SOS 418797 HAS SOPS 408287 HAS SOUS 292884 HAS SOUPS 288569 WITH SCORE 288987.797
AT ITER 348 NEW BEST:: SOT 811113 SOS 417375 HAS SOPS 406865 HAS SOUS 292590 HAS SOUPS 288275 WITH SCORE 288692.375
AT ITER 350 NEW BEST:: SOT 810241 SOS 416041 HAS SOPS 405531 HAS SOUS 291856 HAS SOUPS 287541 WITH SCORE 287957.041
AT ITER 352 NEW BEST:: SOT 810199 SOS 415957 HAS SOPS 405447 HAS SOUS 291814 HAS SOUPS 287499 WITH SCORE 287914.957
AT ITER 354 NEW BEST:: SOT 808764 SOS 414521 HAS SOPS 404011 HAS SOUS 290902 HAS SOUPS 286587 WITH SCORE 287001.521
AT ITER 362 NEW BEST:: SOT 808764 SOS 413588 HAS SOPS 403078 HAS SOUS 290723 HAS SOUPS 286408 WITH SCORE 286821.588
AT ITER 365 NEW BEST:: SOT 808554 SOS 413378 HAS SOPS 402868 HAS SOUS 290723 HAS SOUPS 286408 WITH SCORE 286821.378
AT ITER 366 NEW BEST:: SOT 808554 SOS 412922 HAS SOPS 402412 HAS SOUS 290722 HAS SOUPS 286407 WITH SCORE 286819.922
AT ITER 378 NEW BEST:: SOT 808424 SOS 412792 HAS SOPS 402282 HAS SOUS 290592 HAS SOUPS 286277 WITH SCORE 286689.792
AT ITER 380 NEW BEST:: SOT 808357 SOS 412529 HAS SOPS 402019 HAS SOUS 290396 HAS SOUPS 286081 WITH SCORE 286493.529
AT ITER 382 NEW BEST:: SOT 808357 SOS 412271 HAS SOPS 401761 HAS SOUS 290396 HAS SOUPS 286081 WITH SCORE 286493.271
AT ITER 394 NEW BEST:: SOT 808520 SOS 411399 HAS SOPS 400889 HAS SOUS 290061 HAS SOUPS 285746 WITH SCORE 286157.399
AT ITER 399 NEW BEST:: SOT 808948 SOS 411249 HAS SOPS 400739 HAS SOUS 290044 HAS SOUPS 285729 WITH SCORE 286140.249
AT ITER 403 NEW BEST:: SOT 808619 SOS 409791 HAS SOPS 399281 HAS SOUS 289024 HAS SOUPS 284709 WITH SCORE 285118.791
AT ITER 404 NEW BEST:: SOT 808406 SOS 409578 HAS SOPS 399068 HAS SOUS 288931 HAS SOUPS 284616 WITH SCORE 285025.578
AT ITER 406 NEW BEST:: SOT 808397 SOS 408985 HAS SOPS 398475 HAS SOUS 288922 HAS SOUPS 284607 WITH SCORE 285015.985
AT ITER 408 NEW BEST:: SOT 808307 SOS 408895 HAS SOPS 398385 HAS SOUS 288832 HAS SOUPS 284517 WITH SCORE 284925.895
AT ITER 414 NEW BEST:: SOT 808306 SOS 407774 HAS SOPS 397264 HAS SOUS 288193 HAS SOUPS 283878 WITH SCORE 284285.774
AT ITER 415 NEW BEST:: SOT 807930 SOS 406815 HAS SOPS 396305 HAS SOUS 287610 HAS SOUPS 283295 WITH SCORE 283701.815
AT ITER 418 NEW BEST:: SOT 807730 SOS 406614 HAS SOPS 396104 HAS SOUS 287489 HAS SOUPS 283174 WITH SCORE 283580.614
AT ITER 420 NEW BEST:: SOT 807159 SOS 406042 HAS SOPS 395532 HAS SOUS 287291 HAS SOUPS 282976 WITH SCORE 283382.042
AT ITER 421 NEW BEST:: SOT 806986 SOS 405695 HAS SOPS 395185 HAS SOUS 286944 HAS SOUPS 282629 WITH SCORE 283034.695
AT ITER 422 NEW BEST:: SOT 806986 SOS 405215 HAS SOPS 394705 HAS SOUS 286624 HAS SOUPS 282309 WITH SCORE 282714.215
AT ITER 423 NEW BEST:: SOT 806658 SOS 403548 HAS SOPS 392924 HAS SOUS 285416 HAS SOUPS 280987 WITH SCORE 281390.548
AT ITER 427 NEW BEST:: SOT 806523 SOS 403141 HAS SOPS 392789 HAS SOUS 285009 HAS SOUPS 280852 WITH SCORE 281255.141
AT ITER 428 NEW BEST:: SOT 805971 SOS 402588 HAS SOPS 392236 HAS SOUS 284640 HAS SOUPS 280483 WITH SCORE 280885.588
AT ITER 435 NEW BEST:: SOT 805946 SOS 402020 HAS SOPS 391901 HAS SOUS 284563 HAS SOUPS 280406 WITH SCORE 280808.02
AT ITER 436 NEW BEST:: SOT 805329 SOS 401758 HAS SOPS 391283 HAS SOUS 284103 HAS SOUPS 279788 WITH SCORE 280189.758
AT ITER 438 NEW BEST:: SOT 805303 SOS 401732 HAS SOPS 391257 HAS SOUS 284077 HAS SOUPS 279762 WITH SCORE 280163.732
AT ITER 440 NEW BEST:: SOT 805278 SOS 401707 HAS SOPS 391232 HAS SOUS 284077 HAS SOUPS 279762 WITH SCORE 280163.707
AT ITER 442 NEW BEST:: SOT 804899 SOS 400349 HAS SOPS 389874 HAS SOUS 283477 HAS SOUPS 279162 WITH SCORE 279562.349
AT ITER 444 NEW BEST:: SOT 804590 SOS 399539 HAS SOPS 389064 HAS SOUS 282938 HAS SOUPS 278623 WITH SCORE 279022.539
AT ITER 448 NEW BEST:: SOT 804478 SOS 399427 HAS SOPS 388952 HAS SOUS 282826 HAS SOUPS 278511 WITH SCORE 278910.427
AT ITER 449 NEW BEST:: SOT 804677 SOS 399128 HAS SOPS 388653 HAS SOUS 282627 HAS SOUPS 278312 WITH SCORE 278711.128
AT ITER 451 NEW BEST:: SOT 804538 SOS 398568 HAS SOPS 388093 HAS SOUS 282206 HAS SOUPS 277891 WITH SCORE 278289.568
AT ITER 452 NEW BEST:: SOT 804538 SOS 398555 HAS SOPS 388080 HAS SOUS 282199 HAS SOUPS 277884 WITH SCORE 278282.555
AT ITER 453 NEW BEST:: SOT 804724 SOS 397894 HAS SOPS 386908 HAS SOUS 281996 HAS SOUPS 277170 WITH SCORE 277567.894
AT ITER 454 NEW BEST:: SOT 804491 SOS 397428 HAS SOPS 386442 HAS SOUS 281868 HAS SOUPS 277042 WITH SCORE 277439.428
AT ITER 475 NEW BEST:: SOT 804531 SOS 397371 HAS SOPS 386385 HAS SOUS 281811 HAS SOUPS 276985 WITH SCORE 277382.371
AT ITER 476 NEW BEST:: SOT 804366 SOS 397206 HAS SOPS 386220 HAS SOUS 281646 HAS SOUPS 276820 WITH SCORE 277217.206
AT ITER 478 NEW BEST:: SOT 803414 SOS 396838 HAS SOPS 385268 HAS SOUS 280931 HAS SOUPS 275868 WITH SCORE 276264.838
AT ITER 479 NEW BEST:: SOT 803391 SOS 396815 HAS SOPS 385245 HAS SOUS 280908 HAS SOUPS 275845 WITH SCORE 276241.815
AT ITER 484 NEW BEST:: SOT 802939 SOS 396137 HAS SOPS 384567 HAS SOUS 280343 HAS SOUPS 275280 WITH SCORE 275676.137
AT ITER 485 NEW BEST:: SOT 802939 SOS 396044 HAS SOPS 384474 HAS SOUS 280342 HAS SOUPS 275279 WITH SCORE 275675.044
AT ITER 487 NEW BEST:: SOT 802939 SOS 395692 HAS SOPS 384122 HAS SOUS 280202 HAS SOUPS 275139 WITH SCORE 275534.692
AT ITER 488 NEW BEST:: SOT 802868 SOS 395621 HAS SOPS 384051 HAS SOUS 280060 HAS SOUPS 274997 WITH SCORE 275392.621
AT ITER 490 NEW BEST:: SOT 802228 SOS 394981 HAS SOPS 383411 HAS SOUS 279548 HAS SOUPS 274485 WITH SCORE 274879.981
AT ITER 495 NEW BEST:: SOT 800258 SOS 392121 HAS SOPS 380551 HAS SOUS 277931 HAS SOUPS 272868 WITH SCORE 273260.121
AT ITER 496 NEW BEST:: SOT 799818 SOS 391681 HAS SOPS 380111 HAS SOUS 277579 HAS SOUPS 272516 WITH SCORE 272907.681
AT ITER 497 NEW BEST:: SOT 799818 SOS 391382 HAS SOPS 379812 HAS SOUS 277387 HAS SOUPS 272324 WITH SCORE 272715.382
AT ITER 499 NEW BEST:: SOT 799946 SOS 391510 HAS SOPS 379939 HAS SOUS 277275 HAS SOUPS 272211 WITH SCORE 272602.51
AT ITER 501 NEW BEST:: SOT 799954 SOS 391392 HAS SOPS 379493 HAS SOUS 277006 HAS SOUPS 271765 WITH SCORE 272156.392
AT ITER 504 NEW BEST:: SOT 799919 SOS 391252 HAS SOPS 379353 HAS SOUS 276936 HAS SOUPS 271695 WITH SCORE 272086.252
AT ITER 507 NEW BEST:: SOT 799882 SOS 391154 HAS SOPS 379255 HAS SOUS 276875 HAS SOUPS 271634 WITH SCORE 272025.154
AT ITER 509 NEW BEST:: SOT 799882 SOS 391143 HAS SOPS 379244 HAS SOUS 276864 HAS SOUPS 271623 WITH SCORE 272014.143
AT ITER 514 NEW BEST:: SOT 798708 SOS 388665 HAS SOPS 376766 HAS SOUS 275480 HAS SOUPS 270239 WITH SCORE 270627.665
AT ITER 518 NEW BEST:: SOT 798708 SOS 388665 HAS SOPS 376766 HAS SOUS 275252 HAS SOUPS 270011 WITH SCORE 270399.665
AT ITER 521 NEW BEST:: SOT 797631 SOS 387588 HAS SOPS 375689 HAS SOUS 274713 HAS SOUPS 269472 WITH SCORE 269859.588
AT ITER 531 NEW BEST:: SOT 797000 SOS 385843 HAS SOPS 373944 HAS SOUS 272968 HAS SOUPS 267727 WITH SCORE 268112.843
AT ITER 533 NEW BEST:: SOT 796786 SOS 385415 HAS SOPS 373516 HAS SOUS 272647 HAS SOUPS 267406 WITH SCORE 267791.415
AT ITER 536 NEW BEST:: SOT 796804 SOS 384973 HAS SOPS 373074 HAS SOUS 272311 HAS SOUPS 267070 WITH SCORE 267454.973
AT ITER 551 NEW BEST:: SOT 796804 SOS 384363 HAS SOPS 372464 HAS SOUS 272221 HAS SOUPS 266980 WITH SCORE 267364.363
AT ITER 552 NEW BEST:: SOT 795823 SOS 383414 HAS SOPS 371515 HAS SOUS 271737 HAS SOUPS 266496 WITH SCORE 266879.414
AT ITER 562 NEW BEST:: SOT 795977 SOS 384086 HAS SOPS 371669 HAS SOUS 272190 HAS SOUPS 266431 WITH SCORE 266815.086
AT ITER 568 NEW BEST:: SOT 795807 SOS 382731 HAS SOPS 370039 HAS SOUS 271453 HAS SOUPS 265419 WITH SCORE 265801.731
AT ITER 574 NEW BEST:: SOT 794509 SOS 380508 HAS SOPS 367816 HAS SOUS 270096 HAS SOUPS 264062 WITH SCORE 264442.508
AT ITER 578 NEW BEST:: SOT 794420 SOS 379811 HAS SOPS 367119 HAS SOUS 269672 HAS SOUPS 263638 WITH SCORE 264017.811
AT ITER 592 NEW BEST:: SOT 793071 SOS 378461 HAS SOPS 365769 HAS SOUS 268874 HAS SOUPS 262840 WITH SCORE 263218.461
AT ITER 599 NEW BEST:: SOT 792817 SOS 378185 HAS SOPS 365493 HAS SOUS 268033 HAS SOUPS 261999 WITH SCORE 262377.185
AT ITER 600 NEW BEST:: SOT 792814 SOS 376691 HAS SOPS 363999 HAS SOUS 267427 HAS SOUPS 261393 WITH SCORE 261769.691
AT ITER 606 NEW BEST:: SOT 792814 SOS 376316 HAS SOPS 363624 HAS SOUS 267427 HAS SOUPS 261393 WITH SCORE 261769.316
AT ITER 607 NEW BEST:: SOT 792883 SOS 376305 HAS SOPS 363613 HAS SOUS 267416 HAS SOUPS 261382 WITH SCORE 261758.305
AT ITER 611 NEW BEST:: SOT 792883 SOS 376305 HAS SOPS 363613 HAS SOUS 267386 HAS SOUPS 261352 WITH SCORE 261728.305
AT ITER 613 NEW BEST:: SOT 792442 SOS 376053 HAS SOPS 363361 HAS SOUS 267134 HAS SOUPS 261100 WITH SCORE 261476.053
AT ITER 617 NEW BEST:: SOT 792442 SOS 375711 HAS SOPS 363019 HAS SOUS 267134 HAS SOUPS 261100 WITH SCORE 261475.711
AT ITER 623 NEW BEST:: SOT 792246 SOS 375310 HAS SOPS 362609 HAS SOUS 267138 HAS SOUPS 261096 WITH SCORE 261471.31
AT ITER 632 NEW BEST:: SOT 791655 SOS 374718 HAS SOPS 362017 HAS SOUS 266846 HAS SOUPS 260804 WITH SCORE 261178.718
AT ITER 635 NEW BEST:: SOT 791548 SOS 374611 HAS SOPS 361910 HAS SOUS 266739 HAS SOUPS 260697 WITH SCORE 261071.611
AT ITER 648 NEW BEST:: SOT 791548 SOS 374294 HAS SOPS 361593 HAS SOUS 266738 HAS SOUPS 260696 WITH SCORE 261070.294
AT ITER 655 NEW BEST:: SOT 791448 SOS 374194 HAS SOPS 361493 HAS SOUS 266638 HAS SOUPS 260596 WITH SCORE 260970.194
AT ITER 660 NEW BEST:: SOT 791426 SOS 374172 HAS SOPS 361470 HAS SOUS 266636 HAS SOUPS 260594 WITH SCORE 260968.172
AT ITER 676 NEW BEST:: SOT 790440 SOS 373963 HAS SOPS 361261 HAS SOUS 266014 HAS SOUPS 259972 WITH SCORE 260345.963
AT ITER 685 NEW BEST:: SOT 788736 SOS 371709 HAS SOPS 359007 HAS SOUS 264799 HAS SOUPS 258757 WITH SCORE 259128.709
AT ITER 694 NEW BEST:: SOT 788171 SOS 371649 HAS SOPS 358947 HAS SOUS 264775 HAS SOUPS 258733 WITH SCORE 259104.649
AT ITER 705 NEW BEST:: SOT 788211 SOS 371574 HAS SOPS 358872 HAS SOUS 264700 HAS SOUPS 258658 WITH SCORE 259029.574
AT ITER 706 NEW BEST:: SOT 788901 SOS 371463 HAS SOPS 358761 HAS SOUS 264625 HAS SOUPS 258583 WITH SCORE 258954.463
AT ITER 707 NEW BEST:: SOT 788079 SOS 370681 HAS SOPS 357979 HAS SOUS 263999 HAS SOUPS 257957 WITH SCORE 258327.681
AT ITER 708 NEW BEST:: SOT 788055 SOS 370631 HAS SOPS 357929 HAS SOUS 263973 HAS SOUPS 257931 WITH SCORE 258301.631
AT ITER 710 NEW BEST:: SOT 788027 SOS 370603 HAS SOPS 357901 HAS SOUS 263945 HAS SOUPS 257903 WITH SCORE 258273.603
AT ITER 711 NEW BEST:: SOT 788027 SOS 370235 HAS SOPS 357533 HAS SOUS 263836 HAS SOUPS 257794 WITH SCORE 258164.235
AT ITER 715 NEW BEST:: SOT 786730 SOS 369918 HAS SOPS 357216 HAS SOUS 263193 HAS SOUPS 257151 WITH SCORE 257520.918
AT ITER 716 NEW BEST:: SOT 784665 SOS 367853 HAS SOPS 355151 HAS SOUS 261599 HAS SOUPS 255557 WITH SCORE 255924.853
AT ITER 733 NEW BEST:: SOT 784665 SOS 367759 HAS SOPS 355057 HAS SOUS 261552 HAS SOUPS 255510 WITH SCORE 255877.759
AT ITER 737 NEW BEST:: SOT 783006 SOS 366284 HAS SOPS 353582 HAS SOUS 260661 HAS SOUPS 254619 WITH SCORE 254985.284
AT ITER 748 NEW BEST:: SOT 782895 SOS 366566 HAS SOPS 352565 HAS SOUS 260350 HAS SOUPS 253955 WITH SCORE 254321.566
AT ITER 754 NEW BEST:: SOT 782879 SOS 366550 HAS SOPS 352549 HAS SOUS 260334 HAS SOUPS 253939 WITH SCORE 254305.55
AT ITER 759 NEW BEST:: SOT 782879 SOS 366798 HAS SOPS 351805 HAS SOUS 260086 HAS SOUPS 253443 WITH SCORE 253809.798
AT ITER 762 NEW BEST:: SOT 783363 SOS 368469 HAS SOPS 352289 HAS SOUS 260360 HAS SOUPS 253347 WITH SCORE 253715.469
AT ITER 774 NEW BEST:: SOT 783253 SOS 368131 HAS SOPS 351951 HAS SOUS 260134 HAS SOUPS 253121 WITH SCORE 253489.131
AT ITER 783 NEW BEST:: SOT 783132 SOS 367236 HAS SOPS 351056 HAS SOUS 259559 HAS SOUPS 252546 WITH SCORE 252913.236
AT ITER 790 NEW BEST:: SOT 783198 SOS 367133 HAS SOPS 350953 HAS SOUS 259450 HAS SOUPS 252437 WITH SCORE 252804.133
AT ITER 792 NEW BEST:: SOT 783197 SOS 367089 HAS SOPS 350951 HAS SOUS 259448 HAS SOUPS 252435 WITH SCORE 252802.089
AT ITER 801 NEW BEST:: SOT 783052 SOS 366944 HAS SOPS 350806 HAS SOUS 259303 HAS SOUPS 252290 WITH SCORE 252656.944
AT ITER 805 NEW BEST:: SOT 782382 SOS 365481 HAS SOPS 349343 HAS SOUS 258602 HAS SOUPS 251589 WITH SCORE 251954.481
AT ITER 816 NEW BEST:: SOT 782126 SOS 364853 HAS SOPS 348769 HAS SOUS 258284 HAS SOUPS 251271 WITH SCORE 251635.853
AT ITER 817 NEW BEST:: SOT 782008 SOS 363851 HAS SOPS 347767 HAS SOUS 257518 HAS SOUPS 250505 WITH SCORE 250868.851
AT ITER 820 NEW BEST:: SOT 781566 SOS 363409 HAS SOPS 347325 HAS SOUS 257076 HAS SOUPS 250063 WITH SCORE 250426.409
AT ITER 829 NEW BEST:: SOT 781482 SOS 363324 HAS SOPS 347240 HAS SOUS 256949 HAS SOUPS 249936 WITH SCORE 250299.324
AT ITER 836 NEW BEST:: SOT 781426 SOS 363240 HAS SOPS 347156 HAS SOUS 256893 HAS SOUPS 249880 WITH SCORE 250243.24
AT ITER 837 NEW BEST:: SOT 781180 SOS 362994 HAS SOPS 346910 HAS SOUS 256647 HAS SOUPS 249634 WITH SCORE 249996.994
AT ITER 839 NEW BEST:: SOT 780946 SOS 362857 HAS SOPS 346773 HAS SOUS 256314 HAS SOUPS 249301 WITH SCORE 249663.857
AT ITER 840 NEW BEST:: SOT 780560 SOS 361932 HAS SOPS 345848 HAS SOUS 255595 HAS SOUPS 248582 WITH SCORE 248943.932
AT ITER 845 NEW BEST:: SOT 780560 SOS 361606 HAS SOPS 345522 HAS SOUS 255595 HAS SOUPS 248582 WITH SCORE 248943.606
AT ITER 850 NEW BEST:: SOT 780560 SOS 361606 HAS SOPS 345522 HAS SOUS 255184 HAS SOUPS 248171 WITH SCORE 248532.606
AT ITER 854 NEW BEST:: SOT 780428 SOS 361550 HAS SOPS 345466 HAS SOUS 255151 HAS SOUPS 248138 WITH SCORE 248499.55
AT ITER 857 NEW BEST:: SOT 780397 SOS 361519 HAS SOPS 345434 HAS SOUS 255147 HAS SOUPS 248133 WITH SCORE 248494.519
AT ITER 861 NEW BEST:: SOT 780397 SOS 361367 HAS SOPS 345282 HAS SOUS 255088 HAS SOUPS 248074 WITH SCORE 248435.367
AT ITER 867 NEW BEST:: SOT 780334 SOS 361155 HAS SOPS 344327 HAS SOUS 254879 HAS SOUPS 247481 WITH SCORE 247842.155
AT ITER 870 NEW BEST:: SOT 780321 SOS 361141 HAS SOPS 344313 HAS SOUS 254878 HAS SOUPS 247480 WITH SCORE 247841.141
AT ITER 878 NEW BEST:: SOT 780542 SOS 361362 HAS SOPS 344534 HAS SOUS 254659 HAS SOUPS 247261 WITH SCORE 247622.362
AT ITER 879 NEW BEST:: SOT 780515 SOS 361046 HAS SOPS 344218 HAS SOUS 254605 HAS SOUPS 247207 WITH SCORE 247568.046
AT ITER 891 NEW BEST:: SOT 779836 SOS 360367 HAS SOPS 343539 HAS SOUS 254198 HAS SOUPS 246800 WITH SCORE 247160.367
AT ITER 894 NEW BEST:: SOT 779168 SOS 359699 HAS SOPS 342871 HAS SOUS 253864 HAS SOUPS 246466 WITH SCORE 246825.699
AT ITER 901 NEW BEST:: SOT 779147 SOS 359678 HAS SOPS 342850 HAS SOUS 253843 HAS SOUPS 246445 WITH SCORE 246804.678
AT ITER 902 NEW BEST:: SOT 779106 SOS 359637 HAS SOPS 342809 HAS SOUS 253802 HAS SOUPS 246404 WITH SCORE 246763.637
AT ITER 903 NEW BEST:: SOT 779106 SOS 359636 HAS SOPS 342808 HAS SOUS 253801 HAS SOUPS 246403 WITH SCORE 246762.636
AT ITER 911 NEW BEST:: SOT 779106 SOS 359090 HAS SOPS 342262 HAS SOUS 253801 HAS SOUPS 246403 WITH SCORE 246762.09
AT ITER 914 NEW BEST:: SOT 778494 SOS 358991 HAS SOPS 342163 HAS SOUS 253573 HAS SOUPS 246175 WITH SCORE 246533.991
AT ITER 917 NEW BEST:: SOT 778251 SOS 358504 HAS SOPS 341676 HAS SOUS 253329 HAS SOUPS 245931 WITH SCORE 246289.504
AT ITER 918 NEW BEST:: SOT 778113 SOS 358302 HAS SOPS 341474 HAS SOUS 253127 HAS SOUPS 245729 WITH SCORE 246087.302
AT ITER 923 NEW BEST:: SOT 778113 SOS 357792 HAS SOPS 340964 HAS SOUS 252872 HAS SOUPS 245474 WITH SCORE 245831.792
AT ITER 930 NEW BEST:: SOT 778113 SOS 357792 HAS SOPS 340964 HAS SOUS 252783 HAS SOUPS 245385 WITH SCORE 245742.792
AT ITER 933 NEW BEST:: SOT 778113 SOS 357792 HAS SOPS 340964 HAS SOUS 252749 HAS SOUPS 245351 WITH SCORE 245708.792
AT ITER 940 NEW BEST:: SOT 777304 SOS 356545 HAS SOPS 339717 HAS SOUS 251947 HAS SOUPS 244549 WITH SCORE 244905.545
AT ITER 942 NEW BEST:: SOT 777591 SOS 355597 HAS SOPS 338769 HAS SOUS 251630 HAS SOUPS 244232 WITH SCORE 244587.597
AT ITER 950 NEW BEST:: SOT 777591 SOS 355749 HAS SOPS 338921 HAS SOUS 251560 HAS SOUPS 244162 WITH SCORE 244517.749
AT ITER 955 NEW BEST:: SOT 777262 SOS 355273 HAS SOPS 338445 HAS SOUS 251231 HAS SOUPS 243833 WITH SCORE 244188.273
AT ITER 957 NEW BEST:: SOT 776978 SOS 355363 HAS SOPS 338535 HAS SOUS 250947 HAS SOUPS 243549 WITH SCORE 243904.363
AT ITER 959 NEW BEST:: SOT 776936 SOS 355498 HAS SOPS 338670 HAS SOUS 250905 HAS SOUPS 243507 WITH SCORE 243862.498
AT ITER 960 NEW BEST:: SOT 776628 SOS 354975 HAS SOPS 338147 HAS SOUS 250382 HAS SOUPS 242984 WITH SCORE 243338.975
AT ITER 965 NEW BEST:: SOT 774591 SOS 352938 HAS SOPS 336110 HAS SOUS 249161 HAS SOUPS 241763 WITH SCORE 242115.938
AT ITER 969 NEW BEST:: SOT 774333 SOS 352576 HAS SOPS 335748 HAS SOUS 248903 HAS SOUPS 241505 WITH SCORE 241857.576
AT ITER 973 NEW BEST:: SOT 774333 SOS 350576 HAS SOPS 333748 HAS SOUS 248903 HAS SOUPS 241505 WITH SCORE 241855.576
AT ITER 976 NEW BEST:: SOT 773679 SOS 348208 HAS SOPS 331380 HAS SOUS 247883 HAS SOUPS 240485 WITH SCORE 240833.208
AT ITER 985 NEW BEST:: SOT 773450 SOS 347978 HAS SOPS 331191 HAS SOUS 247653 HAS SOUPS 240296 WITH SCORE 240643.978
AT ITER 987 NEW BEST:: SOT 773328 SOS 347901 HAS SOPS 331114 HAS SOUS 247576 HAS SOUPS 240219 WITH SCORE 240566.901
AT ITER 988 NEW BEST:: SOT 773195 SOS 347768 HAS SOPS 330980 HAS SOUS 247508 HAS SOUPS 240151 WITH SCORE 240498.768
AT ITER 989 NEW BEST:: SOT 773170 SOS 347743 HAS SOPS 330955 HAS SOUS 247483 HAS SOUPS 240126 WITH SCORE 240473.743
AT ITER 992 NEW BEST:: SOT 773170 SOS 348026 HAS SOPS 331238 HAS SOUS 247368 HAS SOUPS 240011 WITH SCORE 240359.026
AT ITER 997 NEW BEST:: SOT 773157 SOS 347952 HAS SOPS 331164 HAS SOUS 247339 HAS SOUPS 239982 WITH SCORE 240329.952
AT ITER 999 NEW BEST:: SOT 773157 SOS 347091 HAS SOPS 330303 HAS SOUS 246953 HAS SOUPS 239596 WITH SCORE 239943.091
AT ITER 1000 NEW BEST:: SOT 772880 SOS 346822 HAS SOPS 330025 HAS SOUS 246684 HAS SOUPS 239318 WITH SCORE 239664.822
AT ITER 1001 NEW BEST:: SOT 772758 SOS 346700 HAS SOPS 329903 HAS SOUS 246635 HAS SOUPS 239269 WITH SCORE 239615.7
AT ITER 1003 NEW BEST:: SOT 773055 SOS 345897 HAS SOPS 328461 HAS SOUS 246345 HAS SOUPS 238340 WITH SCORE 238685.897
AT ITER 1009 NEW BEST:: SOT 772705 SOS 345546 HAS SOPS 328110 HAS SOUS 245994 HAS SOUPS 237989 WITH SCORE 238334.546
AT ITER 1012 NEW BEST:: SOT 770285 SOS 343126 HAS SOPS 325690 HAS SOUS 244438 HAS SOUPS 236433 WITH SCORE 236776.126
AT ITER 1013 NEW BEST:: SOT 769519 SOS 342784 HAS SOPS 325348 HAS SOUS 243910 HAS SOUPS 235905 WITH SCORE 236247.784
AT ITER 1015 NEW BEST:: SOT 769462 SOS 342727 HAS SOPS 325291 HAS SOUS 243853 HAS SOUPS 235848 WITH SCORE 236190.727
AT ITER 1018 NEW BEST:: SOT 769462 SOS 342085 HAS SOPS 324649 HAS SOUS 243853 HAS SOUPS 235848 WITH SCORE 236190.085
AT ITER 1022 NEW BEST:: SOT 769536 SOS 340805 HAS SOPS 323369 HAS SOUS 243175 HAS SOUPS 235170 WITH SCORE 235510.805
AT ITER 1023 NEW BEST:: SOT 769274 SOS 340601 HAS SOPS 323164 HAS SOUS 243150 HAS SOUPS 235144 WITH SCORE 235484.601
AT ITER 1030 NEW BEST:: SOT 768472 SOS 339798 HAS SOPS 322361 HAS SOUS 242917 HAS SOUPS 234911 WITH SCORE 235250.798
AT ITER 1034 NEW BEST:: SOT 768218 SOS 339290 HAS SOPS 321853 HAS SOUS 242663 HAS SOUPS 234657 WITH SCORE 234996.29
AT ITER 1036 NEW BEST:: SOT 768218 SOS 339116 HAS SOPS 321679 HAS SOUS 242489 HAS SOUPS 234483 WITH SCORE 234822.116
AT ITER 1039 NEW BEST:: SOT 767936 SOS 338729 HAS SOPS 321292 HAS SOUS 242172 HAS SOUPS 234166 WITH SCORE 234504.729
AT ITER 1045 NEW BEST:: SOT 767904 SOS 338802 HAS SOPS 321365 HAS SOUS 242139 HAS SOUPS 234133 WITH SCORE 234471.802
AT ITER 1048 NEW BEST:: SOT 768087 SOS 338601 HAS SOPS 321164 HAS SOUS 241938 HAS SOUPS 233932 WITH SCORE 234270.601
AT ITER 1051 NEW BEST:: SOT 768872 SOS 338672 HAS SOPS 321235 HAS SOUS 241801 HAS SOUPS 233795 WITH SCORE 234133.672
AT ITER 1054 NEW BEST:: SOT 767534 SOS 335596 HAS SOPS 318159 HAS SOUS 239995 HAS SOUPS 231989 WITH SCORE 232324.596
AT ITER 1057 NEW BEST:: SOT 767356 SOS 335418 HAS SOPS 317981 HAS SOUS 239567 HAS SOUPS 231561 WITH SCORE 231896.418
AT ITER 1058 NEW BEST:: SOT 767292 SOS 335354 HAS SOPS 317917 HAS SOUS 239503 HAS SOUPS 231497 WITH SCORE 231832.354
AT ITER 1060 NEW BEST:: SOT 767291 SOS 335516 HAS SOPS 318079 HAS SOUS 239502 HAS SOUPS 231496 WITH SCORE 231831.516
AT ITER 1068 NEW BEST:: SOT 767276 SOS 335500 HAS SOPS 318063 HAS SOUS 239486 HAS SOUPS 231480 WITH SCORE 231815.5
AT ITER 1073 NEW BEST:: SOT 767276 SOS 335500 HAS SOPS 318063 HAS SOUS 239440 HAS SOUPS 231434 WITH SCORE 231769.5
AT ITER 1080 NEW BEST:: SOT 767276 SOS 335051 HAS SOPS 317614 HAS SOUS 239341 HAS SOUPS 231335 WITH SCORE 231670.051
AT ITER 1083 NEW BEST:: SOT 767106 SOS 334880 HAS SOPS 317443 HAS SOUS 239243 HAS SOUPS 231237 WITH SCORE 231571.88
AT ITER 1085 NEW BEST:: SOT 766779 SOS 333860 HAS SOPS 316423 HAS SOUS 238637 HAS SOUPS 230631 WITH SCORE 230964.86
AT ITER 1087 NEW BEST:: SOT 766497 SOS 333296 HAS SOPS 315859 HAS SOUS 238355 HAS SOUPS 230349 WITH SCORE 230682.296
AT ITER 1089 NEW BEST:: SOT 766306 SOS 333105 HAS SOPS 315668 HAS SOUS 237668 HAS SOUPS 229662 WITH SCORE 229995.105
AT ITER 1094 NEW BEST:: SOT 766619 SOS 333929 HAS SOPS 315801 HAS SOUS 237921 HAS SOUPS 229541 WITH SCORE 229874.929
AT ITER 1095 NEW BEST:: SOT 766578 SOS 333383 HAS SOPS 315306 HAS SOUS 237788 HAS SOUPS 229459 WITH SCORE 229792.383
AT ITER 1096 NEW BEST:: SOT 766149 SOS 333372 HAS SOPS 315295 HAS SOUS 237775 HAS SOUPS 229446 WITH SCORE 229779.372
AT ITER 1108 NEW BEST:: SOT 765932 SOS 333155 HAS SOPS 315078 HAS SOUS 237665 HAS SOUPS 229336 WITH SCORE 229669.155
AT ITER 1111 NEW BEST:: SOT 765834 SOS 333064 HAS SOPS 314979 HAS SOUS 237574 HAS SOUPS 229237 WITH SCORE 229570.064
AT ITER 1114 NEW BEST:: SOT 765722 SOS 332974 HAS SOPS 314889 HAS SOUS 237484 HAS SOUPS 229147 WITH SCORE 229479.974
AT ITER 1119 NEW BEST:: SOT 765722 SOS 333080 HAS SOPS 314888 HAS SOUS 237590 HAS SOUPS 229146 WITH SCORE 229479.08
AT ITER 1123 NEW BEST:: SOT 765722 SOS 333080 HAS SOPS 314888 HAS SOUS 237538 HAS SOUPS 229094 WITH SCORE 229427.08
AT ITER 1125 NEW BEST:: SOT 765674 SOS 332920 HAS SOPS 314566 HAS SOUS 237378 HAS SOUPS 228772 WITH SCORE 229104.92
AT ITER 1130 NEW BEST:: SOT 765674 SOS 333224 HAS SOPS 314870 HAS SOUS 237288 HAS SOUPS 228682 WITH SCORE 229015.224
AT ITER 1156 NEW BEST:: SOT 765726 SOS 333670 HAS SOPS 315316 HAS SOUS 237195 HAS SOUPS 228589 WITH SCORE 228922.67
AT ITER 1161 NEW BEST:: SOT 765267 SOS 333398 HAS SOPS 315020 HAS SOUS 236923 HAS SOUPS 228293 WITH SCORE 228626.398
AT ITER 1167 NEW BEST:: SOT 765267 SOS 332606 HAS SOPS 314228 HAS SOUS 236681 HAS SOUPS 228051 WITH SCORE 228383.606
AT ITER 1172 NEW BEST:: SOT 765162 SOS 332341 HAS SOPS 313963 HAS SOUS 236441 HAS SOUPS 227811 WITH SCORE 228143.341
AT ITER 1175 NEW BEST:: SOT 765129 SOS 332286 HAS SOPS 313908 HAS SOUS 236408 HAS SOUPS 227778 WITH SCORE 228110.286
AT ITER 1179 NEW BEST:: SOT 764711 SOS 331868 HAS SOPS 313490 HAS SOUS 235990 HAS SOUPS 227360 WITH SCORE 227691.868
AT ITER 1190 NEW BEST:: SOT 764163 SOS 330779 HAS SOPS 312401 HAS SOUS 235097 HAS SOUPS 226467 WITH SCORE 226797.779
AT ITER 1192 NEW BEST:: SOT 764162 SOS 330748 HAS SOPS 312370 HAS SOUS 235077 HAS SOUPS 226447 WITH SCORE 226777.748
AT ITER 1197 NEW BEST:: SOT 764156 SOS 330736 HAS SOPS 312358 HAS SOUS 235065 HAS SOUPS 226435 WITH SCORE 226765.736
AT ITER 1203 NEW BEST:: SOT 764144 SOS 330724 HAS SOPS 312346 HAS SOUS 235053 HAS SOUPS 226423 WITH SCORE 226753.724
AT ITER 1208 NEW BEST:: SOT 764209 SOS 330831 HAS SOPS 312453 HAS SOUS 234765 HAS SOUPS 226135 WITH SCORE 226465.831
AT ITER 1227 NEW BEST:: SOT 764089 SOS 330711 HAS SOPS 312333 HAS SOUS 234612 HAS SOUPS 225982 WITH SCORE 226312.711
AT ITER 1236 NEW BEST:: SOT 764015 SOS 330578 HAS SOPS 312200 HAS SOUS 234501 HAS SOUPS 225871 WITH SCORE 226201.578
AT ITER 1243 NEW BEST:: SOT 763199 SOS 329858 HAS SOPS 311479 HAS SOUS 234171 HAS SOUPS 225540 WITH SCORE 225869.858
AT ITER 1245 NEW BEST:: SOT 763199 SOS 329833 HAS SOPS 311454 HAS SOUS 233650 HAS SOUPS 225019 WITH SCORE 225348.833
AT ITER 1277 NEW BEST:: SOT 763037 SOS 329185 HAS SOPS 311454 HAS SOUS 233488 HAS SOUPS 225019 WITH SCORE 225348.185
AT ITER 1278 NEW BEST:: SOT 761915 SOS 328063 HAS SOPS 310332 HAS SOUS 232978 HAS SOUPS 224509 WITH SCORE 224837.063
AT ITER 1279 NEW BEST:: SOT 761220 SOS 327368 HAS SOPS 309637 HAS SOUS 232629 HAS SOUPS 224160 WITH SCORE 224487.368
AT ITER 1294 NEW BEST:: SOT 761203 SOS 327334 HAS SOPS 309603 HAS SOUS 232595 HAS SOUPS 224126 WITH SCORE 224453.334
AT ITER 1302 NEW BEST:: SOT 760263 SOS 326394 HAS SOPS 308663 HAS SOUS 232269 HAS SOUPS 223800 WITH SCORE 224126.394
AT ITER 1308 NEW BEST:: SOT 760069 SOS 326200 HAS SOPS 308469 HAS SOUS 232172 HAS SOUPS 223703 WITH SCORE 224029.2
AT ITER 1313 NEW BEST:: SOT 760053 SOS 326160 HAS SOPS 308429 HAS SOUS 232148 HAS SOUPS 223679 WITH SCORE 224005.16
AT ITER 1326 NEW BEST:: SOT 760052 SOS 326089 HAS SOPS 308427 HAS SOUS 232146 HAS SOUPS 223677 WITH SCORE 224003.089
AT ITER 1332 NEW BEST:: SOT 759878 SOS 327488 HAS SOPS 309693 HAS SOUS 232240 HAS SOUPS 223638 WITH SCORE 223965.488
AT ITER 1336 NEW BEST:: SOT 759665 SOS 326991 HAS SOPS 309196 HAS SOUS 232027 HAS SOUPS 223425 WITH SCORE 223751.991
AT ITER 1342 NEW BEST:: SOT 759905 SOS 326504 HAS SOPS 308709 HAS SOUS 231917 HAS SOUPS 223315 WITH SCORE 223641.504
AT ITER 1344 NEW BEST:: SOT 760060 SOS 326441 HAS SOPS 308646 HAS SOUS 231878 HAS SOUPS 223276 WITH SCORE 223602.441
AT ITER 1362 NEW BEST:: SOT 760110 SOS 326419 HAS SOPS 308624 HAS SOUS 231869 HAS SOUPS 223267 WITH SCORE 223593.419
AT ITER 1364 NEW BEST:: SOT 759635 SOS 326390 HAS SOPS 308117 HAS SOUS 231634 HAS SOUPS 222760 WITH SCORE 223086.39
AT ITER 1370 NEW BEST:: SOT 759609 SOS 326363 HAS SOPS 307818 HAS SOUS 231607 HAS SOUPS 222461 WITH SCORE 222787.363
AT ITER 1375 NEW BEST:: SOT 758674 SOS 325510 HAS SOPS 306965 HAS SOUS 231196 HAS SOUPS 222050 WITH SCORE 222375.51
AT ITER 1383 NEW BEST:: SOT 758604 SOS 325370 HAS SOPS 306825 HAS SOUS 230986 HAS SOUPS 221840 WITH SCORE 222165.37
AT ITER 1385 NEW BEST:: SOT 758604 SOS 325320 HAS SOPS 306775 HAS SOUS 230979 HAS SOUPS 221833 WITH SCORE 222158.32
AT ITER 1386 NEW BEST:: SOT 758596 SOS 325312 HAS SOPS 306767 HAS SOUS 230551 HAS SOUPS 221405 WITH SCORE 221730.312
AT ITER 1387 NEW BEST:: SOT 758736 SOS 325452 HAS SOPS 306621 HAS SOUS 230576 HAS SOUPS 221259 WITH SCORE 221584.452
AT ITER 1391 NEW BEST:: SOT 758736 SOS 325452 HAS SOPS 306621 HAS SOUS 230524 HAS SOUPS 221207 WITH SCORE 221532.452
AT ITER 1396 NEW BEST:: SOT 758568 SOS 325100 HAS SOPS 306269 HAS SOUS 230298 HAS SOUPS 220981 WITH SCORE 221306.1
AT ITER 1411 NEW BEST:: SOT 758516 SOS 325102 HAS SOPS 306073 HAS SOUS 230300 HAS SOUPS 220785 WITH SCORE 221110.102
AT ITER 1427 NEW BEST:: SOT 758318 SOS 324607 HAS SOPS 305578 HAS SOUS 230065 HAS SOUPS 220550 WITH SCORE 220874.607
AT ITER 1433 NEW BEST:: SOT 758317 SOS 324177 HAS SOPS 305148 HAS SOUS 229635 HAS SOUPS 220120 WITH SCORE 220444.177
AT ITER 1439 NEW BEST:: SOT 758206 SOS 323945 HAS SOPS 304916 HAS SOUS 229403 HAS SOUPS 219888 WITH SCORE 220211.945
AT ITER 1440 NEW BEST:: SOT 758054 SOS 323792 HAS SOPS 304763 HAS SOUS 229174 HAS SOUPS 219659 WITH SCORE 219982.792
AT ITER 1445 NEW BEST:: SOT 757804 SOS 322973 HAS SOPS 303944 HAS SOUS 228785 HAS SOUPS 219270 WITH SCORE 219592.973
AT ITER 1454 NEW BEST:: SOT 756401 SOS 321137 HAS SOPS 302086 HAS SOUS 227547 HAS SOUPS 218032 WITH SCORE 218353.137
AT ITER 1456 NEW BEST:: SOT 756444 SOS 320834 HAS SOPS 301783 HAS SOUS 227523 HAS SOUPS 218008 WITH SCORE 218328.834
AT ITER 1460 NEW BEST:: SOT 756081 SOS 320471 HAS SOPS 301420 HAS SOUS 226963 HAS SOUPS 217448 WITH SCORE 217768.471
AT ITER 1471 NEW BEST:: SOT 756081 SOS 320097 HAS SOPS 301046 HAS SOUS 226776 HAS SOUPS 217261 WITH SCORE 217581.097
AT ITER 1482 NEW BEST:: SOT 755829 SOS 319812 HAS SOPS 300748 HAS SOUS 226491 HAS SOUPS 216963 WITH SCORE 217282.812
AT ITER 1485 NEW BEST:: SOT 755829 SOS 319811 HAS SOPS 300747 HAS SOUS 226490 HAS SOUPS 216962 WITH SCORE 217281.811
AT ITER 1488 NEW BEST:: SOT 755780 SOS 319666 HAS SOPS 300602 HAS SOUS 226345 HAS SOUPS 216817 WITH SCORE 217136.666
AT ITER 1501 NEW BEST:: SOT 755410 SOS 318926 HAS SOPS 299862 HAS SOUS 225235 HAS SOUPS 215707 WITH SCORE 216025.926
AT ITER 1505 NEW BEST:: SOT 755358 SOS 318874 HAS SOPS 299810 HAS SOUS 225183 HAS SOUPS 215655 WITH SCORE 215973.874
AT ITER 1510 NEW BEST:: SOT 755339 SOS 318855 HAS SOPS 299791 HAS SOUS 225164 HAS SOUPS 215636 WITH SCORE 215954.855
AT ITER 1511 NEW BEST:: SOT 755339 SOS 318828 HAS SOPS 299764 HAS SOUS 225164 HAS SOUPS 215636 WITH SCORE 215954.828
AT ITER 1519 NEW BEST:: SOT 755095 SOS 317590 HAS SOPS 298526 HAS SOUS 224468 HAS SOUPS 214940 WITH SCORE 215257.59
AT ITER 1533 NEW BEST:: SOT 755034 SOS 317529 HAS SOPS 298465 HAS SOUS 224407 HAS SOUPS 214879 WITH SCORE 215196.529
AT ITER 1534 NEW BEST:: SOT 750044 SOS 312539 HAS SOPS 293475 HAS SOUS 219146 HAS SOUPS 209618 WITH SCORE 209930.539
AT ITER 1535 NEW BEST:: SOT 749677 SOS 312172 HAS SOPS 293108 HAS SOUS 218399 HAS SOUPS 208871 WITH SCORE 209183.172
AT ITER 1537 NEW BEST:: SOT 749724 SOS 312579 HAS SOPS 293216 HAS SOUS 218251 HAS SOUPS 208723 WITH SCORE 209035.579
AT ITER 1541 NEW BEST:: SOT 749719 SOS 312569 HAS SOPS 293211 HAS SOUS 218241 HAS SOUPS 208718 WITH SCORE 209030.569
AT ITER 1542 NEW BEST:: SOT 749596 SOS 312338 HAS SOPS 292980 HAS SOUS 218010 HAS SOUPS 208487 WITH SCORE 208799.338
AT ITER 1563 NEW BEST:: SOT 749596 SOS 312432 HAS SOPS 293074 HAS SOUS 217932 HAS SOUPS 208409 WITH SCORE 208721.432
AT ITER 1571 NEW BEST:: SOT 749318 SOS 312107 HAS SOPS 292749 HAS SOUS 217885 HAS SOUPS 208362 WITH SCORE 208674.107
AT ITER 1581 NEW BEST:: SOT 749187 SOS 312046 HAS SOPS 292688 HAS SOUS 217872 HAS SOUPS 208349 WITH SCORE 208661.046
AT ITER 1587 NEW BEST:: SOT 749337 SOS 311194 HAS SOPS 291836 HAS SOUS 217279 HAS SOUPS 207756 WITH SCORE 208067.194
AT ITER 1591 NEW BEST:: SOT 749244 SOS 311101 HAS SOPS 291743 HAS SOUS 217186 HAS SOUPS 207663 WITH SCORE 207974.101
AT ITER 1600 NEW BEST:: SOT 748830 SOS 310426 HAS SOPS 291068 HAS SOUS 216805 HAS SOUPS 207282 WITH SCORE 207592.426
AT ITER 1601 NEW BEST:: SOT 748830 SOS 310708 HAS SOPS 291068 HAS SOUS 216743 HAS SOUPS 207126 WITH SCORE 207436.708
AT ITER 1604 NEW BEST:: SOT 748826 SOS 310704 HAS SOPS 291064 HAS SOUS 216739 HAS SOUPS 207122 WITH SCORE 207432.704
AT ITER 1613 NEW BEST:: SOT 748826 SOS 311083 HAS SOPS 290171 HAS SOUS 216482 HAS SOUPS 206547 WITH SCORE 206858.083
AT ITER 1619 NEW BEST:: SOT 749006 SOS 310552 HAS SOPS 289640 HAS SOUS 216220 HAS SOUPS 206285 WITH SCORE 206595.552
AT ITER 1620 NEW BEST:: SOT 749080 SOS 310478 HAS SOPS 289566 HAS SOUS 216146 HAS SOUPS 206211 WITH SCORE 206521.478
AT ITER 1626 NEW BEST:: SOT 748936 SOS 310181 HAS SOPS 289278 HAS SOUS 215993 HAS SOUPS 206067 WITH SCORE 206377.181
AT ITER 1630 NEW BEST:: SOT 748938 SOS 310183 HAS SOPS 289280 HAS SOUS 215877 HAS SOUPS 205951 WITH SCORE 206261.183
AT ITER 1636 NEW BEST:: SOT 748938 SOS 309693 HAS SOPS 288790 HAS SOUS 215713 HAS SOUPS 205787 WITH SCORE 206096.693
AT ITER 1639 NEW BEST:: SOT 748937 SOS 308997 HAS SOPS 288274 HAS SOUS 215274 HAS SOUPS 205528 WITH SCORE 205836.997
AT ITER 1644 NEW BEST:: SOT 748932 SOS 308992 HAS SOPS 288269 HAS SOUS 215269 HAS SOUPS 205523 WITH SCORE 205831.992
AT ITER 1646 NEW BEST:: SOT 748932 SOS 308913 HAS SOPS 288190 HAS SOUS 215268 HAS SOUPS 205522 WITH SCORE 205830.913
AT ITER 1651 NEW BEST:: SOT 748932 SOS 308799 HAS SOPS 288076 HAS SOUS 215154 HAS SOUPS 205408 WITH SCORE 205716.799
AT ITER 1652 NEW BEST:: SOT 748860 SOS 308645 HAS SOPS 287922 HAS SOUS 215082 HAS SOUPS 205336 WITH SCORE 205644.645
AT ITER 1655 NEW BEST:: SOT 748312 SOS 308302 HAS SOPS 287373 HAS SOUS 214648 HAS SOUPS 204787 WITH SCORE 205095.302
AT ITER 1661 NEW BEST:: SOT 748182 SOS 308130 HAS SOPS 287242 HAS SOUS 214606 HAS SOUPS 204656 WITH SCORE 204964.13
AT ITER 1674 NEW BEST:: SOT 748120 SOS 308067 HAS SOPS 287062 HAS SOUS 214543 HAS SOUPS 204476 WITH SCORE 204784.067
AT ITER 1688 NEW BEST:: SOT 748023 SOS 307778 HAS SOPS 286773 HAS SOUS 214350 HAS SOUPS 204283 WITH SCORE 204590.778
AT ITER 1694 NEW BEST:: SOT 747185 SOS 306757 HAS SOPS 285752 HAS SOUS 213959 HAS SOUPS 203892 WITH SCORE 204198.757
AT ITER 1712 NEW BEST:: SOT 746930 SOS 306693 HAS SOPS 285497 HAS SOUS 213826 HAS SOUPS 203637 WITH SCORE 203943.693
AT ITER 1716 NEW BEST:: SOT 746924 SOS 306817 HAS SOPS 285621 HAS SOUS 213684 HAS SOUPS 203495 WITH SCORE 203801.817
AT ITER 1720 NEW BEST:: SOT 746076 SOS 305646 HAS SOPS 284178 HAS SOUS 212564 HAS SOUPS 202375 WITH SCORE 202680.646
AT ITER 1722 NEW BEST:: SOT 746018 SOS 305501 HAS SOPS 284033 HAS SOUS 212477 HAS SOUPS 202288 WITH SCORE 202593.501
AT ITER 1734 NEW BEST:: SOT 746041 SOS 305385 HAS SOPS 283917 HAS SOUS 212361 HAS SOUPS 202172 WITH SCORE 202477.385
AT ITER 1739 NEW BEST:: SOT 745969 SOS 305241 HAS SOPS 283773 HAS SOUS 212253 HAS SOUPS 202064 WITH SCORE 202369.241
AT ITER 1742 NEW BEST:: SOT 745969 SOS 305155 HAS SOPS 283687 HAS SOUS 212208 HAS SOUPS 202019 WITH SCORE 202324.155
AT ITER 1745 NEW BEST:: SOT 745912 SOS 305278 HAS SOPS 283595 HAS SOUS 212331 HAS SOUPS 201927 WITH SCORE 202232.278
AT ITER 1746 NEW BEST:: SOT 745859 SOS 305225 HAS SOPS 283542 HAS SOUS 212205 HAS SOUPS 201801 WITH SCORE 202106.225
AT ITER 1752 NEW BEST:: SOT 745770 SOS 305379 HAS SOPS 283448 HAS SOUS 212359 HAS SOUPS 201707 WITH SCORE 202012.379
AT ITER 1755 NEW BEST:: SOT 745735 SOS 305344 HAS SOPS 283413 HAS SOUS 212359 HAS SOUPS 201707 WITH SCORE 202012.344
AT ITER 1758 NEW BEST:: SOT 745735 SOS 304781 HAS SOPS 282850 HAS SOUS 212164 HAS SOUPS 201512 WITH SCORE 201816.781
AT ITER 1767 NEW BEST:: SOT 745735 SOS 304799 HAS SOPS 282622 HAS SOUS 211968 HAS SOUPS 201316 WITH SCORE 201620.799
AT ITER 1776 NEW BEST:: SOT 745326 SOS 304728 HAS SOPS 282551 HAS SOUS 211805 HAS SOUPS 201153 WITH SCORE 201457.728
AT ITER 1777 NEW BEST:: SOT 745320 SOS 304722 HAS SOPS 282545 HAS SOUS 211799 HAS SOUPS 201147 WITH SCORE 201451.722
AT ITER 1778 NEW BEST:: SOT 745408 SOS 304634 HAS SOPS 282457 HAS SOUS 211711 HAS SOUPS 201059 WITH SCORE 201363.634
AT ITER 1780 NEW BEST:: SOT 744751 SOS 303760 HAS SOPS 281458 HAS SOUS 211119 HAS SOUPS 200414 WITH SCORE 200717.76
AT ITER 1785 NEW BEST:: SOT 744454 SOS 303119 HAS SOPS 280817 HAS SOUS 210661 HAS SOUPS 199956 WITH SCORE 200259.119
AT ITER 1787 NEW BEST:: SOT 744454 SOS 303118 HAS SOPS 280816 HAS SOUS 210499 HAS SOUPS 199794 WITH SCORE 200097.118
AT ITER 1788 NEW BEST:: SOT 744453 SOS 302367 HAS SOPS 280564 HAS SOUS 210497 HAS SOUPS 199792 WITH SCORE 200094.367
AT ITER 1790 NEW BEST:: SOT 744443 SOS 302414 HAS SOPS 280553 HAS SOUS 210486 HAS SOUPS 199781 WITH SCORE 200083.414
AT ITER 1792 NEW BEST:: SOT 744442 SOS 302413 HAS SOPS 280735 HAS SOUS 210484 HAS SOUPS 199779 WITH SCORE 200081.413
AT ITER 1795 NEW BEST:: SOT 744346 SOS 302413 HAS SOPS 280639 HAS SOUS 210460 HAS SOUPS 199683 WITH SCORE 199985.413
AT ITER 1798 NEW BEST:: SOT 743707 SOS 302894 HAS SOPS 281120 HAS SOUS 210224 HAS SOUPS 199447 WITH SCORE 199749.894
AT ITER 1802 NEW BEST:: SOT 743035 SOS 302627 HAS SOPS 280853 HAS SOUS 209418 HAS SOUPS 198641 WITH SCORE 198943.627
AT ITER 1806 NEW BEST:: SOT 743000 SOS 302083 HAS SOPS 280309 HAS SOUS 208874 HAS SOUPS 198097 WITH SCORE 198399.083
AT ITER 1807 NEW BEST:: SOT 742625 SOS 301708 HAS SOPS 279934 HAS SOUS 208499 HAS SOUPS 197722 WITH SCORE 198023.708
AT ITER 1818 NEW BEST:: SOT 742662 SOS 301809 HAS SOPS 279971 HAS SOUS 208485 HAS SOUPS 197644 WITH SCORE 197945.809
AT ITER 1820 NEW BEST:: SOT 742662 SOS 301535 HAS SOPS 279697 HAS SOUS 208348 HAS SOUPS 197507 WITH SCORE 197808.535
AT ITER 1823 NEW BEST:: SOT 742642 SOS 301515 HAS SOPS 279677 HAS SOUS 208342 HAS SOUPS 197501 WITH SCORE 197802.515
AT ITER 1827 NEW BEST:: SOT 742238 SOS 301111 HAS SOPS 279273 HAS SOUS 208039 HAS SOUPS 197198 WITH SCORE 197499.111
AT ITER 1828 NEW BEST:: SOT 742159 SOS 301032 HAS SOPS 279194 HAS SOUS 207960 HAS SOUPS 197119 WITH SCORE 197420.032
AT ITER 1832 NEW BEST:: SOT 742012 SOS 300788 HAS SOPS 278950 HAS SOUS 207863 HAS SOUPS 197022 WITH SCORE 197322.788
AT ITER 1839 NEW BEST:: SOT 740895 SOS 299670 HAS SOPS 277832 HAS SOUS 207155 HAS SOUPS 196314 WITH SCORE 196613.67
AT ITER 1856 NEW BEST:: SOT 740714 SOS 299727 HAS SOPS 277889 HAS SOUS 206974 HAS SOUPS 196133 WITH SCORE 196432.727
AT ITER 1857 NEW BEST:: SOT 739428 SOS 298526 HAS SOPS 276688 HAS SOUS 206416 HAS SOUPS 195575 WITH SCORE 195873.526
AT ITER 1864 NEW BEST:: SOT 739428 SOS 298367 HAS SOPS 276688 HAS SOUS 206575 HAS SOUPS 195575 WITH SCORE 195873.367
AT ITER 1875 NEW BEST:: SOT 739428 SOS 298359 HAS SOPS 276680 HAS SOUS 206567 HAS SOUPS 195567 WITH SCORE 195865.359
AT ITER 1876 NEW BEST:: SOT 739428 SOS 297976 HAS SOPS 276297 HAS SOUS 206436 HAS SOUPS 195436 WITH SCORE 195733.976
AT ITER 1882 NEW BEST:: SOT 739502 SOS 297798 HAS SOPS 276119 HAS SOUS 206365 HAS SOUPS 195365 WITH SCORE 195662.798
AT ITER 1902 NEW BEST:: SOT 739440 SOS 297751 HAS SOPS 276072 HAS SOUS 206303 HAS SOUPS 195303 WITH SCORE 195600.751
AT ITER 1914 NEW BEST:: SOT 739236 SOS 297713 HAS SOPS 276034 HAS SOUS 206227 HAS SOUPS 195227 WITH SCORE 195524.713
AT ITER 1916 NEW BEST:: SOT 738798 SOS 297209 HAS SOPS 275530 HAS SOUS 205565 HAS SOUPS 194565 WITH SCORE 194862.209
AT ITER 1918 NEW BEST:: SOT 738534 SOS 296153 HAS SOPS 274474 HAS SOUS 205429 HAS SOUPS 194429 WITH SCORE 194725.153
AT ITER 1925 NEW BEST:: SOT 738461 SOS 296080 HAS SOPS 274401 HAS SOUS 205356 HAS SOUPS 194356 WITH SCORE 194652.08
AT ITER 1932 NEW BEST:: SOT 738140 SOS 295544 HAS SOPS 274080 HAS SOUS 204820 HAS SOUPS 194035 WITH SCORE 194330.544
AT ITER 1939 NEW BEST:: SOT 737527 SOS 294908 HAS SOPS 273444 HAS SOUS 204678 HAS SOUPS 193893 WITH SCORE 194187.908
AT ITER 1941 NEW BEST:: SOT 737527 SOS 294722 HAS SOPS 273258 HAS SOUS 204585 HAS SOUPS 193800 WITH SCORE 194094.722
AT ITER 1945 NEW BEST:: SOT 737627 SOS 294622 HAS SOPS 273158 HAS SOUS 204585 HAS SOUPS 193800 WITH SCORE 194094.622
AT ITER 1951 NEW BEST:: SOT 737514 SOS 294509 HAS SOPS 273045 HAS SOUS 204472 HAS SOUPS 193687 WITH SCORE 193981.509
AT ITER 1956 NEW BEST:: SOT 737514 SOS 294927 HAS SOPS 272863 HAS SOUS 204426 HAS SOUPS 193491 WITH SCORE 193785.927
AT ITER 1965 NEW BEST:: SOT 737619 SOS 295059 HAS SOPS 272995 HAS SOUS 204352 HAS SOUPS 193417 WITH SCORE 193712.059
AT ITER 1980 NEW BEST:: SOT 737524 SOS 294923 HAS SOPS 272859 HAS SOUS 204216 HAS SOUPS 193281 WITH SCORE 193575.923
AT ITER 1981 NEW BEST:: SOT 737550 SOS 294906 HAS SOPS 272842 HAS SOUS 204199 HAS SOUPS 193264 WITH SCORE 193558.906
AT ITER 1986 NEW BEST:: SOT 737476 SOS 294832 HAS SOPS 272768 HAS SOUS 204125 HAS SOUPS 193190 WITH SCORE 193484.832
AT ITER 1990 NEW BEST:: SOT 737296 SOS 294652 HAS SOPS 272588 HAS SOUS 203945 HAS SOUPS 193010 WITH SCORE 193304.652
AT ITER 1992 NEW BEST:: SOT 737076 SOS 294485 HAS SOPS 272368 HAS SOUS 203778 HAS SOUPS 192790 WITH SCORE 193084.485
AT ITER 1994 NEW BEST:: SOT 737076 SOS 294269 HAS SOPS 272152 HAS SOUS 203670 HAS SOUPS 192682 WITH SCORE 192976.269
AT ITER 2000 NEW BEST:: SOT 737504 SOS 293871 HAS SOPS 271754 HAS SOUS 203272 HAS SOUPS 192284 WITH SCORE 192577.871
AT ITER 2001 NEW BEST:: SOT 737579 SOS 293163 HAS SOPS 271046 HAS SOUS 202797 HAS SOUPS 191809 WITH SCORE 192102.163
AT ITER 2005 NEW BEST:: SOT 737610 SOS 291516 HAS SOPS 269399 HAS SOUS 201976 HAS SOUPS 190988 WITH SCORE 191279.516
AT ITER 2012 NEW BEST:: SOT 737564 SOS 291470 HAS SOPS 269353 HAS SOUS 201884 HAS SOUPS 190896 WITH SCORE 191187.47
AT ITER 2015 NEW BEST:: SOT 737564 SOS 291464 HAS SOPS 269347 HAS SOUS 201881 HAS SOUPS 190893 WITH SCORE 191184.464
AT ITER 2016 NEW BEST:: SOT 737391 SOS 291231 HAS SOPS 269114 HAS SOUS 201708 HAS SOUPS 190720 WITH SCORE 191011.231
AT ITER 2025 NEW BEST:: SOT 737212 SOS 290711 HAS SOPS 268734 HAS SOUS 201647 HAS SOUPS 190659 WITH SCORE 190949.711
AT ITER 2031 NEW BEST:: SOT 736910 SOS 289431 HAS SOPS 267454 HAS SOUS 200367 HAS SOUPS 189379 WITH SCORE 189668.431
AT ITER 2033 NEW BEST:: SOT 736950 SOS 289330 HAS SOPS 267353 HAS SOUS 200266 HAS SOUPS 189278 WITH SCORE 189567.33
AT ITER 2035 NEW BEST:: SOT 736934 SOS 289298 HAS SOPS 267321 HAS SOUS 200234 HAS SOUPS 189246 WITH SCORE 189535.298
AT ITER 2074 NEW BEST:: SOT 736568 SOS 288932 HAS SOPS 266955 HAS SOUS 200227 HAS SOUPS 189239 WITH SCORE 189527.932
AT ITER 2075 NEW BEST:: SOT 736548 SOS 288872 HAS SOPS 266895 HAS SOUS 200187 HAS SOUPS 189199 WITH SCORE 189487.872
AT ITER 2078 NEW BEST:: SOT 736416 SOS 289067 HAS SOPS 266829 HAS SOUS 200009 HAS SOUPS 189021 WITH SCORE 189310.067
AT ITER 2079 NEW BEST:: SOT 736115 SOS 288270 HAS SOPS 266032 HAS SOUS 199460 HAS SOUPS 188472 WITH SCORE 188760.27
AT ITER 2085 NEW BEST:: SOT 736115 SOS 288268 HAS SOPS 266030 HAS SOUS 199440 HAS SOUPS 188452 WITH SCORE 188740.268
AT ITER 2087 NEW BEST:: SOT 736084 SOS 288237 HAS SOPS 265955 HAS SOUS 199409 HAS SOUPS 188377 WITH SCORE 188665.237
AT ITER 2089 NEW BEST:: SOT 736057 SOS 288187 HAS SOPS 265904 HAS SOUS 199503 HAS SOUPS 188326 WITH SCORE 188614.187
AT ITER 2091 NEW BEST:: SOT 736448 SOS 287940 HAS SOPS 265657 HAS SOUS 199416 HAS SOUPS 188239 WITH SCORE 188526.94
AT ITER 2094 NEW BEST:: SOT 736596 SOS 288088 HAS SOPS 265805 HAS SOUS 199346 HAS SOUPS 188169 WITH SCORE 188457.088
AT ITER 2102 NEW BEST:: SOT 736668 SOS 288160 HAS SOPS 265877 HAS SOUS 198907 HAS SOUPS 187730 WITH SCORE 188018.16
AT ITER 2120 NEW BEST:: SOT 736668 SOS 288074 HAS SOPS 265791 HAS SOUS 198864 HAS SOUPS 187687 WITH SCORE 187975.074
AT ITER 2131 NEW BEST:: SOT 736522 SOS 287645 HAS SOPS 265332 HAS SOUS 198409 HAS SOUPS 187228 WITH SCORE 187515.645
AT ITER 2132 NEW BEST:: SOT 736239 SOS 287361 HAS SOPS 265048 HAS SOUS 198226 HAS SOUPS 187045 WITH SCORE 187332.361
AT ITER 2136 NEW BEST:: SOT 736065 SOS 286848 HAS SOPS 264587 HAS SOUS 197780 HAS SOUPS 186599 WITH SCORE 186885.848
AT ITER 2143 NEW BEST:: SOT 735825 SOS 286488 HAS SOPS 264227 HAS SOUS 197420 HAS SOUPS 186239 WITH SCORE 186525.488
AT ITER 2144 NEW BEST:: SOT 735878 SOS 286449 HAS SOPS 264188 HAS SOUS 197381 HAS SOUPS 186200 WITH SCORE 186486.449
AT ITER 2160 NEW BEST:: SOT 735765 SOS 286442 HAS SOPS 264181 HAS SOUS 197186 HAS SOUPS 186005 WITH SCORE 186291.442
AT ITER 2172 NEW BEST:: SOT 735751 SOS 286428 HAS SOPS 264167 HAS SOUS 197179 HAS SOUPS 185998 WITH SCORE 186284.428
AT ITER 2173 NEW BEST:: SOT 735751 SOS 286427 HAS SOPS 264166 HAS SOUS 197178 HAS SOUPS 185997 WITH SCORE 186283.427
AT ITER 2188 NEW BEST:: SOT 735751 SOS 286390 HAS SOPS 264129 HAS SOUS 197141 HAS SOUPS 185960 WITH SCORE 186246.39
AT ITER 2194 NEW BEST:: SOT 735347 SOS 285872 HAS SOPS 263611 HAS SOUS 196901 HAS SOUPS 185720 WITH SCORE 186005.872
AT ITER 2206 NEW BEST:: SOT 735238 SOS 285558 HAS SOPS 263287 HAS SOUS 196837 HAS SOUPS 185646 WITH SCORE 185931.558
AT ITER 2209 NEW BEST:: SOT 735169 SOS 285355 HAS SOPS 263084 HAS SOUS 196768 HAS SOUPS 185577 WITH SCORE 185862.355
AT ITER 2210 NEW BEST:: SOT 734894 SOS 285273 HAS SOPS 262945 HAS SOUS 196686 HAS SOUPS 185438 WITH SCORE 185723.273
AT ITER 2217 NEW BEST:: SOT 735135 SOS 285484 HAS SOPS 262608 HAS SOUS 196883 HAS SOUPS 185087 WITH SCORE 185372.484
AT ITER 2221 NEW BEST:: SOT 734704 SOS 284622 HAS SOPS 262177 HAS SOUS 196021 HAS SOUPS 184656 WITH SCORE 184940.622
AT ITER 2223 NEW BEST:: SOT 734308 SOS 284204 HAS SOPS 262115 HAS SOUS 195643 HAS SOUPS 184634 WITH SCORE 184918.204
AT ITER 2227 NEW BEST:: SOT 734308 SOS 284114 HAS SOPS 262025 HAS SOUS 195553 HAS SOUPS 184544 WITH SCORE 184828.114
AT ITER 2233 NEW BEST:: SOT 734082 SOS 283904 HAS SOPS 261764 HAS SOUS 195181 HAS SOUPS 184134 WITH SCORE 184417.904
AT ITER 2245 NEW BEST:: SOT 734082 SOS 283916 HAS SOPS 261776 HAS SOUS 195077 HAS SOUPS 184030 WITH SCORE 184313.916
AT ITER 2258 NEW BEST:: SOT 733802 SOS 283636 HAS SOPS 261496 HAS SOUS 194896 HAS SOUPS 183849 WITH SCORE 184132.636
AT ITER 2260 NEW BEST:: SOT 733869 SOS 282861 HAS SOPS 260721 HAS SOUS 194498 HAS SOUPS 183451 WITH SCORE 183733.861
AT ITER 2267 NEW BEST:: SOT 733410 SOS 282654 HAS SOPS 260369 HAS SOUS 194376 HAS SOUPS 183329 WITH SCORE 183611.654
AT ITER 2270 NEW BEST:: SOT 733173 SOS 282417 HAS SOPS 260369 HAS SOUS 194139 HAS SOUPS 183329 WITH SCORE 183611.417
AT ITER 2273 NEW BEST:: SOT 732953 SOS 281944 HAS SOPS 259896 HAS SOUS 193886 HAS SOUPS 183076 WITH SCORE 183357.944
AT ITER 2277 NEW BEST:: SOT 733089 SOS 282080 HAS SOPS 259852 HAS SOUS 194022 HAS SOUPS 183032 WITH SCORE 183314.08
AT ITER 2281 NEW BEST:: SOT 733023 SOS 282013 HAS SOPS 259785 HAS SOUS 193977 HAS SOUPS 182987 WITH SCORE 183269.013
AT ITER 2289 NEW BEST:: SOT 733152 SOS 282082 HAS SOPS 259854 HAS SOUS 193975 HAS SOUPS 182985 WITH SCORE 183267.082
AT ITER 2302 NEW BEST:: SOT 732922 SOS 281904 HAS SOPS 259676 HAS SOUS 193853 HAS SOUPS 182863 WITH SCORE 183144.904
AT ITER 2304 NEW BEST:: SOT 732922 SOS 281904 HAS SOPS 259676 HAS SOUS 193762 HAS SOUPS 182772 WITH SCORE 183053.904
AT ITER 2305 NEW BEST:: SOT 732882 SOS 281864 HAS SOPS 259636 HAS SOUS 193682 HAS SOUPS 182692 WITH SCORE 182973.864
AT ITER 2316 NEW BEST:: SOT 732809 SOS 281629 HAS SOPS 259401 HAS SOUS 193524 HAS SOUPS 182534 WITH SCORE 182815.629
AT ITER 2320 NEW BEST:: SOT 732809 SOS 281179 HAS SOPS 259101 HAS SOUS 193374 HAS SOUPS 182384 WITH SCORE 182665.179
AT ITER 2322 NEW BEST:: SOT 732816 SOS 281185 HAS SOPS 259107 HAS SOUS 193259 HAS SOUPS 182269 WITH SCORE 182550.185
AT ITER 2337 NEW BEST:: SOT 732613 SOS 280982 HAS SOPS 258904 HAS SOUS 193149 HAS SOUPS 182159 WITH SCORE 182439.982
AT ITER 2338 NEW BEST:: SOT 732569 SOS 280938 HAS SOPS 258860 HAS SOUS 193127 HAS SOUPS 182137 WITH SCORE 182417.938
AT ITER 2340 NEW BEST:: SOT 732483 SOS 280852 HAS SOPS 258774 HAS SOUS 193041 HAS SOUPS 182051 WITH SCORE 182331.852
AT ITER 2343 NEW BEST:: SOT 732337 SOS 280683 HAS SOPS 258482 HAS SOUS 192872 HAS SOUPS 181759 WITH SCORE 182039.683
AT ITER 2348 NEW BEST:: SOT 732282 SOS 280627 HAS SOPS 258426 HAS SOUS 192801 HAS SOUPS 181688 WITH SCORE 181968.627
AT ITER 2351 NEW BEST:: SOT 732169 SOS 280488 HAS SOPS 258287 HAS SOUS 192692 HAS SOUPS 181579 WITH SCORE 181859.488
AT ITER 2355 NEW BEST:: SOT 732181 SOS 280132 HAS SOPS 257931 HAS SOUS 192483 HAS SOUPS 181370 WITH SCORE 181650.132
AT ITER 2375 NEW BEST:: SOT 732322 SOS 282180 HAS SOPS 258072 HAS SOUS 192624 HAS SOUPS 180908 WITH SCORE 181190.18
AT ITER 2377 NEW BEST:: SOT 732297 SOS 282155 HAS SOPS 258047 HAS SOUS 192599 HAS SOUPS 180883 WITH SCORE 181165.155
AT ITER 2379 NEW BEST:: SOT 732166 SOS 281868 HAS SOPS 257760 HAS SOUS 192535 HAS SOUPS 180819 WITH SCORE 181100.868
AT ITER 2384 NEW BEST:: SOT 732352 SOS 281764 HAS SOPS 257656 HAS SOUS 192431 HAS SOUPS 180715 WITH SCORE 180996.764
AT ITER 2385 NEW BEST:: SOT 732125 SOS 282694 HAS SOPS 258586 HAS SOUS 192427 HAS SOUPS 180711 WITH SCORE 180993.694
AT ITER 2388 NEW BEST:: SOT 732035 SOS 282604 HAS SOPS 258496 HAS SOUS 192382 HAS SOUPS 180666 WITH SCORE 180948.604
AT ITER 2391 NEW BEST:: SOT 731439 SOS 282827 HAS SOPS 258266 HAS SOUS 192361 HAS SOUPS 180512 WITH SCORE 180794.827
AT ITER 2394 NEW BEST:: SOT 731663 SOS 283144 HAS SOPS 258490 HAS SOUS 192385 HAS SOUPS 180443 WITH SCORE 180726.144
AT ITER 2395 NEW BEST:: SOT 731414 SOS 282501 HAS SOPS 257890 HAS SOUS 192142 HAS SOUPS 180200 WITH SCORE 180482.501
AT ITER 2400 NEW BEST:: SOT 731240 SOS 282327 HAS SOPS 257716 HAS SOUS 192055 HAS SOUPS 180113 WITH SCORE 180395.327
AT ITER 2402 NEW BEST:: SOT 731239 SOS 282326 HAS SOPS 257478 HAS SOUS 192119 HAS SOUPS 180111 WITH SCORE 180393.326
AT ITER 2409 NEW BEST:: SOT 731524 SOS 283063 HAS SOPS 258215 HAS SOUS 191773 HAS SOUPS 179765 WITH SCORE 180048.063
AT ITER 2415 NEW BEST:: SOT 731367 SOS 282742 HAS SOPS 257894 HAS SOUS 191429 HAS SOUPS 179421 WITH SCORE 179703.742
AT ITER 2418 NEW BEST:: SOT 731195 SOS 282570 HAS SOPS 257722 HAS SOUS 191343 HAS SOUPS 179335 WITH SCORE 179617.57
AT ITER 2430 NEW BEST:: SOT 731167 SOS 282528 HAS SOPS 257680 HAS SOUS 191301 HAS SOUPS 179293 WITH SCORE 179575.528
AT ITER 2436 NEW BEST:: SOT 731155 SOS 282601 HAS SOPS 257660 HAS SOUS 191196 HAS SOUPS 179188 WITH SCORE 179470.601
AT ITER 2440 NEW BEST:: SOT 731119 SOS 282636 HAS SOPS 257636 HAS SOUS 191254 HAS SOUPS 179187 WITH SCORE 179469.636
AT ITER 2450 NEW BEST:: SOT 730293 SOS 282232 HAS SOPS 257232 HAS SOUS 191032 HAS SOUPS 178965 WITH SCORE 179247.232
AT ITER 2466 NEW BEST:: SOT 730293 SOS 282143 HAS SOPS 257232 HAS SOUS 190943 HAS SOUPS 178965 WITH SCORE 179247.143
AT ITER 2470 NEW BEST:: SOT 730155 SOS 282005 HAS SOPS 257050 HAS SOUS 190936 HAS SOUPS 178783 WITH SCORE 179065.005
AT ITER 2482 NEW BEST:: SOT 729990 SOS 281945 HAS SOPS 256990 HAS SOUS 190876 HAS SOUPS 178723 WITH SCORE 179004.945
AT ITER 2483 NEW BEST:: SOT 729835 SOS 281790 HAS SOPS 256835 HAS SOUS 190721 HAS SOUPS 178568 WITH SCORE 178849.79
AT ITER 2488 NEW BEST:: SOT 729823 SOS 281668 HAS SOPS 256713 HAS SOUS 190611 HAS SOUPS 178458 WITH SCORE 178739.668
AT ITER 2491 NEW BEST:: SOT 729755 SOS 281600 HAS SOPS 256645 HAS SOUS 190543 HAS SOUPS 178390 WITH SCORE 178671.6
AT ITER 2517 NEW BEST:: SOT 729522 SOS 281367 HAS SOPS 256412 HAS SOUS 190541 HAS SOUPS 178388 WITH SCORE 178669.367
AT ITER 2527 NEW BEST:: SOT 729152 SOS 280882 HAS SOPS 255708 HAS SOUS 190056 HAS SOUPS 177684 WITH SCORE 177964.882
AT ITER 2539 NEW BEST:: SOT 729006 SOS 280717 HAS SOPS 255522 HAS SOUS 189870 HAS SOUPS 177498 WITH SCORE 177778.717
AT ITER 2541 NEW BEST:: SOT 729006 SOS 280709 HAS SOPS 255514 HAS SOUS 189862 HAS SOUPS 177490 WITH SCORE 177770.709
AT ITER 2551 NEW BEST:: SOT 729006 SOS 280709 HAS SOPS 255514 HAS SOUS 189840 HAS SOUPS 177468 WITH SCORE 177748.709
AT ITER 2564 NEW BEST:: SOT 728938 SOS 280751 HAS SOPS 255378 HAS SOUS 189772 HAS SOUPS 177311 WITH SCORE 177591.751
AT ITER 2570 NEW BEST:: SOT 728923 SOS 280596 HAS SOPS 255223 HAS SOUS 189617 HAS SOUPS 177156 WITH SCORE 177436.596
AT ITER 2586 NEW BEST:: SOT 728814 SOS 279855 HAS SOPS 254482 HAS SOUS 189155 HAS SOUPS 176694 WITH SCORE 176973.855
AT ITER 2595 NEW BEST:: SOT 728998 SOS 279837 HAS SOPS 254390 HAS SOUS 189137 HAS SOUPS 176602 WITH SCORE 176881.837
AT ITER 2608 NEW BEST:: SOT 728941 SOS 279764 HAS SOPS 254317 HAS SOUS 189102 HAS SOUPS 176567 WITH SCORE 176846.764
AT ITER 2609 NEW BEST:: SOT 728705 SOS 279528 HAS SOPS 254081 HAS SOUS 188630 HAS SOUPS 176095 WITH SCORE 176374.528
AT ITER 2614 NEW BEST:: SOT 728702 SOS 279525 HAS SOPS 254078 HAS SOUS 188627 HAS SOUPS 176092 WITH SCORE 176371.525
AT ITER 2623 NEW BEST:: SOT 728765 SOS 279475 HAS SOPS 254008 HAS SOUS 188557 HAS SOUPS 176022 WITH SCORE 176301.475
AT ITER 2630 NEW BEST:: SOT 728852 SOS 279374 HAS SOPS 253907 HAS SOUS 188537 HAS SOUPS 176002 WITH SCORE 176281.374
AT ITER 2642 NEW BEST:: SOT 728441 SOS 278548 HAS SOPS 253496 HAS SOUS 187711 HAS SOUPS 175591 WITH SCORE 175869.548
AT ITER 2653 NEW BEST:: SOT 728176 SOS 278283 HAS SOPS 253182 HAS SOUS 187541 HAS SOUPS 175421 WITH SCORE 175699.283
AT ITER 2670 NEW BEST:: SOT 728016 SOS 278024 HAS SOPS 252878 HAS SOUS 187333 HAS SOUPS 175117 WITH SCORE 175395.024
AT ITER 2675 NEW BEST:: SOT 728010 SOS 278031 HAS SOPS 252885 HAS SOUS 187330 HAS SOUPS 175114 WITH SCORE 175392.031
AT ITER 2697 NEW BEST:: SOT 727849 SOS 276784 HAS SOPS 251638 HAS SOUS 186866 HAS SOUPS 174650 WITH SCORE 174926.784
AT ITER 2722 NEW BEST:: SOT 727933 SOS 276658 HAS SOPS 251512 HAS SOUS 186817 HAS SOUPS 174601 WITH SCORE 174877.658
AT ITER 2733 NEW BEST:: SOT 727922 SOS 276647 HAS SOPS 251501 HAS SOUS 186795 HAS SOUPS 174579 WITH SCORE 174855.647
AT ITER 2743 NEW BEST:: SOT 727788 SOS 276093 HAS SOPS 251129 HAS SOUS 186729 HAS SOUPS 174513 WITH SCORE 174789.093
AT ITER 2747 NEW BEST:: SOT 727967 SOS 275920 HAS SOPS 250771 HAS SOUS 186559 HAS SOUPS 174158 WITH SCORE 174433.92
AT ITER 2750 NEW BEST:: SOT 727960 SOS 275913 HAS SOPS 250764 HAS SOUS 186545 HAS SOUPS 174144 WITH SCORE 174419.913
AT ITER 2751 NEW BEST:: SOT 727933 SOS 275843 HAS SOPS 250694 HAS SOUS 186502 HAS SOUPS 174101 WITH SCORE 174376.843
AT ITER 2753 NEW BEST:: SOT 727516 SOS 275399 HAS SOPS 250250 HAS SOUS 186475 HAS SOUPS 174074 WITH SCORE 174349.399
AT ITER 2754 NEW BEST:: SOT 727443 SOS 275253 HAS SOPS 250104 HAS SOUS 186329 HAS SOUPS 173928 WITH SCORE 174203.253
AT ITER 2755 NEW BEST:: SOT 727267 SOS 275002 HAS SOPS 249853 HAS SOUS 186078 HAS SOUPS 173677 WITH SCORE 173952.002
AT ITER 2785 NEW BEST:: SOT 727262 SOS 275002 HAS SOPS 249848 HAS SOUS 186078 HAS SOUPS 173672 WITH SCORE 173947.002
AT ITER 2793 NEW BEST:: SOT 727271 SOS 274923 HAS SOPS 249769 HAS SOUS 186040 HAS SOUPS 173634 WITH SCORE 173908.923
AT ITER 2822 NEW BEST:: SOT 727271 SOS 274813 HAS SOPS 249769 HAS SOUS 186040 HAS SOUPS 173634 WITH SCORE 173908.813
AT ITER 2840 NEW BEST:: SOT 727264 SOS 274779 HAS SOPS 249735 HAS SOUS 185997 HAS SOUPS 173591 WITH SCORE 173865.779
AT ITER 2841 NEW BEST:: SOT 727244 SOS 274759 HAS SOPS 249715 HAS SOUS 185997 HAS SOUPS 173591 WITH SCORE 173865.759
AT ITER 2846 NEW BEST:: SOT 727238 SOS 274753 HAS SOPS 249709 HAS SOUS 185991 HAS SOUPS 173585 WITH SCORE 173859.753
AT ITER 2851 NEW BEST:: SOT 727236 SOS 274751 HAS SOPS 249707 HAS SOUS 185987 HAS SOUPS 173581 WITH SCORE 173855.751
AT ITER 2852 NEW BEST:: SOT 727226 SOS 274741 HAS SOPS 249687 HAS SOUS 185967 HAS SOUPS 173561 WITH SCORE 173835.741
AT ITER 2858 NEW BEST:: SOT 727192 SOS 274807 HAS SOPS 249753 HAS SOUS 185933 HAS SOUPS 173527 WITH SCORE 173801.807
AT ITER 2861 NEW BEST:: SOT 727191 SOS 274806 HAS SOPS 249751 HAS SOUS 185931 HAS SOUPS 173525 WITH SCORE 173799.806
AT ITER 2862 NEW BEST:: SOT 727189 SOS 274804 HAS SOPS 249749 HAS SOUS 185931 HAS SOUPS 173525 WITH SCORE 173799.804
AT ITER 2866 NEW BEST:: SOT 727080 SOS 275060 HAS SOPS 249640 HAS SOUS 186033 HAS SOUPS 173416 WITH SCORE 173691.06
AT ITER 2879 NEW BEST:: SOT 727080 SOS 275048 HAS SOPS 249628 HAS SOUS 186027 HAS SOUPS 173410 WITH SCORE 173685.048
AT ITER 2898 NEW BEST:: SOT 727080 SOS 276310 HAS SOPS 249628 HAS SOUS 185710 HAS SOUPS 172776 WITH SCORE 173052.31
AT ITER 2900 NEW BEST:: SOT 727160 SOS 275000 HAS SOPS 248318 HAS SOUS 185471 HAS SOUPS 172537 WITH SCORE 172812.0
AT ITER 2905 NEW BEST:: SOT 727073 SOS 274913 HAS SOPS 248231 HAS SOUS 185384 HAS SOUPS 172450 WITH SCORE 172724.913
AT ITER 2932 NEW BEST:: SOT 726879 SOS 274718 HAS SOPS 247940 HAS SOUS 185189 HAS SOUPS 172159 WITH SCORE 172433.718
AT ITER 2936 NEW BEST:: SOT 726950 SOS 274800 HAS SOPS 247789 HAS SOUS 185197 HAS SOUPS 172008 WITH SCORE 172282.8
AT ITER 2938 NEW BEST:: SOT 727005 SOS 274784 HAS SOPS 247773 HAS SOUS 185188 HAS SOUPS 171999 WITH SCORE 172273.784
AT ITER 2939 NEW BEST:: SOT 726993 SOS 274748 HAS SOPS 247761 HAS SOUS 185176 HAS SOUPS 171993 WITH SCORE 172267.748
AT ITER 2942 NEW BEST:: SOT 726985 SOS 274740 HAS SOPS 247618 HAS SOUS 185295 HAS SOUPS 171977 WITH SCORE 172251.74
AT ITER 2948 NEW BEST:: SOT 726661 SOS 274367 HAS SOPS 247245 HAS SOUS 185041 HAS SOUPS 171723 WITH SCORE 171997.367
AT ITER 2952 NEW BEST:: SOT 726661 SOS 274341 HAS SOPS 247219 HAS SOUS 185015 HAS SOUPS 171697 WITH SCORE 171971.341
AT ITER 2975 NEW BEST:: SOT 726583 SOS 274263 HAS SOPS 247096 HAS SOUS 184937 HAS SOUPS 171619 WITH SCORE 171893.263
AT ITER 2983 NEW BEST:: SOT 726428 SOS 274081 HAS SOPS 247022 HAS SOUS 184863 HAS SOUPS 171545 WITH SCORE 171819.081
AT ITER 2984 NEW BEST:: SOT 726428 SOS 273653 HAS SOPS 247022 HAS SOUS 184735 HAS SOUPS 171545 WITH SCORE 171818.653
AT ITER 3000 NEW BEST:: SOT 726428 SOS 273612 HAS SOPS 246981 HAS SOUS 184709 HAS SOUPS 171519 WITH SCORE 171792.612
AT ITER 3004 NEW BEST:: SOT 726428 SOS 273618 HAS SOPS 246975 HAS SOUS 184706 HAS SOUPS 171513 WITH SCORE 171786.618
AT ITER 3009 NEW BEST:: SOT 726428 SOS 273744 HAS SOPS 246849 HAS SOUS 184643 HAS SOUPS 171387 WITH SCORE 171660.744
AT ITER 3047 NEW BEST:: SOT 726477 SOS 273731 HAS SOPS 246836 HAS SOUS 184630 HAS SOUPS 171374 WITH SCORE 171647.731
AT ITER 3050 NEW BEST:: SOT 726477 SOS 273097 HAS SOPS 246202 HAS SOUS 184320 HAS SOUPS 171064 WITH SCORE 171337.097
AT ITER 3052 NEW BEST:: SOT 726477 SOS 273369 HAS SOPS 246474 HAS SOUS 184310 HAS SOUPS 171054 WITH SCORE 171327.369
AT ITER 3053 NEW BEST:: SOT 726491 SOS 273639 HAS SOPS 246744 HAS SOUS 184095 HAS SOUPS 170839 WITH SCORE 171112.639
AT ITER 3064 NEW BEST:: SOT 726503 SOS 273651 HAS SOPS 246756 HAS SOUS 184058 HAS SOUPS 170802 WITH SCORE 171075.651
AT ITER 3073 NEW BEST:: SOT 724974 SOS 272048 HAS SOPS 245153 HAS SOUS 183010 HAS SOUPS 169754 WITH SCORE 170026.048
AT ITER 3088 NEW BEST:: SOT 724284 SOS 271358 HAS SOPS 244463 HAS SOUS 182260 HAS SOUPS 169004 WITH SCORE 169275.358
AT ITER 3091 NEW BEST:: SOT 724084 SOS 271065 HAS SOPS 244079 HAS SOUS 181889 HAS SOUPS 168620 WITH SCORE 168891.065
AT ITER 3107 NEW BEST:: SOT 724084 SOS 270857 HAS SOPS 243871 HAS SOUS 181721 HAS SOUPS 168452 WITH SCORE 168722.857
AT ITER 3119 NEW BEST:: SOT 724045 SOS 270792 HAS SOPS 243806 HAS SOUS 181682 HAS SOUPS 168413 WITH SCORE 168683.792
AT ITER 3122 NEW BEST:: SOT 724087 SOS 270844 HAS SOPS 243768 HAS SOUS 181644 HAS SOUPS 168375 WITH SCORE 168645.844
AT ITER 3128 NEW BEST:: SOT 724044 SOS 270942 HAS SOPS 243810 HAS SOUS 181521 HAS SOUPS 168252 WITH SCORE 168522.942
AT ITER 3133 NEW BEST:: SOT 723697 SOS 270448 HAS SOPS 243234 HAS SOUS 181055 HAS SOUPS 167704 WITH SCORE 167974.448
AT ITER 3136 NEW BEST:: SOT 723674 SOS 270775 HAS SOPS 243188 HAS SOUS 180978 HAS SOUPS 167585 WITH SCORE 167855.775
AT ITER 3142 NEW BEST:: SOT 723792 SOS 270531 HAS SOPS 242944 HAS SOUS 180969 HAS SOUPS 167576 WITH SCORE 167846.531
AT ITER 3167 NEW BEST:: SOT 723812 SOS 271402 HAS SOPS 242721 HAS SOUS 181232 HAS SOUPS 167353 WITH SCORE 167624.402
AT ITER 3169 NEW BEST:: SOT 723707 SOS 271719 HAS SOPS 243038 HAS SOUS 181225 HAS SOUPS 167346 WITH SCORE 167617.719
AT ITER 3170 NEW BEST:: SOT 723704 SOS 271716 HAS SOPS 242988 HAS SOUS 181181 HAS SOUPS 167296 WITH SCORE 167567.716
AT ITER 3178 NEW BEST:: SOT 723492 SOS 271404 HAS SOPS 242733 HAS SOUS 180926 HAS SOUPS 167041 WITH SCORE 167312.404
AT ITER 3181 NEW BEST:: SOT 723478 SOS 271299 HAS SOPS 242628 HAS SOUS 180821 HAS SOUPS 166936 WITH SCORE 167207.299
AT ITER 3193 NEW BEST:: SOT 723745 SOS 271659 HAS SOPS 242895 HAS SOUS 180710 HAS SOUPS 166732 WITH SCORE 167003.659
AT ITER 3200 NEW BEST:: SOT 723744 SOS 271854 HAS SOPS 242893 HAS SOUS 180905 HAS SOUPS 166730 WITH SCORE 167001.854
AT ITER 3206 NEW BEST:: SOT 723744 SOS 271808 HAS SOPS 242847 HAS SOUS 180859 HAS SOUPS 166684 WITH SCORE 166955.808
AT ITER 3223 NEW BEST:: SOT 723522 SOS 271201 HAS SOPS 242824 HAS SOUS 180836 HAS SOUPS 166661 WITH SCORE 166932.201
AT ITER 3226 NEW BEST:: SOT 723616 SOS 273100 HAS SOPS 242805 HAS SOUS 181469 HAS SOUPS 166642 WITH SCORE 166915.1
AT ITER 3231 NEW BEST:: SOT 723612 SOS 273077 HAS SOPS 242782 HAS SOUS 181461 HAS SOUPS 166634 WITH SCORE 166907.077
AT ITER 3250 NEW BEST:: SOT 723538 SOS 248464 HAS SOPS 218169 HAS SOUS 181350 HAS SOUPS 166523 WITH SCORE 166771.464
AT ITER 3255 NEW BEST:: SOT 723476 SOS 248402 HAS SOPS 218107 HAS SOUS 181319 HAS SOUPS 166492 WITH SCORE 166740.402
AT ITER 3278 NEW BEST:: SOT 723859 SOS 249386 HAS SOPS 218003 HAS SOUS 181493 HAS SOUPS 166303 WITH SCORE 166552.386
AT ITER 3283 NEW BEST:: SOT 723859 SOS 249303 HAS SOPS 217933 HAS SOUS 181445 HAS SOUPS 166268 WITH SCORE 166517.303
AT ITER 3296 NEW BEST:: SOT 723469 SOS 249020 HAS SOPS 217650 HAS SOUS 181340 HAS SOUPS 166163 WITH SCORE 166412.02
AT ITER 3313 NEW BEST:: SOT 723525 SOS 249005 HAS SOPS 217635 HAS SOUS 181248 HAS SOUPS 166071 WITH SCORE 166320.005
AT ITER 3314 NEW BEST:: SOT 723479 SOS 248973 HAS SOPS 217563 HAS SOUS 181268 HAS SOUPS 166051 WITH SCORE 166299.973
AT ITER 3321 NEW BEST:: SOT 723467 SOS 249168 HAS SOPS 217441 HAS SOUS 181256 HAS SOUPS 165929 WITH SCORE 166178.168
AT ITER 3322 NEW BEST:: SOT 723434 SOS 248857 HAS SOPS 217130 HAS SOUS 180945 HAS SOUPS 165618 WITH SCORE 165866.857
AT ITER 3334 NEW BEST:: SOT 723123 SOS 248474 HAS SOPS 216843 HAS SOUS 180562 HAS SOUPS 165331 WITH SCORE 165579.474
AT ITER 3336 NEW BEST:: SOT 723123 SOS 248474 HAS SOPS 216789 HAS SOUS 180544 HAS SOUPS 165295 WITH SCORE 165543.474
AT ITER 3340 NEW BEST:: SOT 722876 SOS 247533 HAS SOPS 215848 HAS SOUS 180285 HAS SOUPS 165036 WITH SCORE 165283.533
AT ITER 3343 NEW BEST:: SOT 722857 SOS 247495 HAS SOPS 215810 HAS SOUS 180247 HAS SOUPS 164998 WITH SCORE 165245.495
AT ITER 3354 NEW BEST:: SOT 722753 SOS 247391 HAS SOPS 215706 HAS SOUS 180143 HAS SOUPS 164894 WITH SCORE 165141.391
AT ITER 3362 NEW BEST:: SOT 722622 SOS 247131 HAS SOPS 215446 HAS SOUS 180014 HAS SOUPS 164765 WITH SCORE 165012.131
AT ITER 3363 NEW BEST:: SOT 722622 SOS 246569 HAS SOPS 215127 HAS SOUS 179938 HAS SOUPS 164689 WITH SCORE 164935.569
AT ITER 3374 NEW BEST:: SOT 721932 SOS 246002 HAS SOPS 214560 HAS SOUS 179685 HAS SOUPS 164436 WITH SCORE 164682.002
AT ITER 3378 NEW BEST:: SOT 721927 SOS 245943 HAS SOPS 214523 HAS SOUS 179653 HAS SOUPS 164426 WITH SCORE 164671.943
AT ITER 3388 NEW BEST:: SOT 721927 SOS 245943 HAS SOPS 214292 HAS SOUS 179653 HAS SOUPS 164195 WITH SCORE 164440.943
AT ITER 3389 NEW BEST:: SOT 721927 SOS 246517 HAS SOPS 214005 HAS SOUS 179653 HAS SOUPS 163908 WITH SCORE 164154.517
AT ITER 3395 NEW BEST:: SOT 721910 SOS 246500 HAS SOPS 213971 HAS SOUS 179636 HAS SOUPS 163874 WITH SCORE 164120.5
AT ITER 3404 NEW BEST:: SOT 721852 SOS 246466 HAS SOPS 213937 HAS SOUS 179549 HAS SOUPS 163787 WITH SCORE 164033.466
AT ITER 3411 NEW BEST:: SOT 720996 SOS 246166 HAS SOPS 213637 HAS SOUS 179400 HAS SOUPS 163638 WITH SCORE 163884.166
AT ITER 3432 NEW BEST:: SOT 721088 SOS 246120 HAS SOPS 213637 HAS SOUS 179354 HAS SOUPS 163638 WITH SCORE 163884.12
AT ITER 3436 NEW BEST:: SOT 720521 SOS 245795 HAS SOPS 213312 HAS SOUS 179079 HAS SOUPS 163363 WITH SCORE 163608.795
AT ITER 3439 NEW BEST:: SOT 720529 SOS 245811 HAS SOPS 213328 HAS SOUS 179068 HAS SOUPS 163352 WITH SCORE 163597.811
AT ITER 3440 NEW BEST:: SOT 720487 SOS 245769 HAS SOPS 213286 HAS SOUS 179026 HAS SOUPS 163310 WITH SCORE 163555.769
AT ITER 3455 NEW BEST:: SOT 720602 SOS 245606 HAS SOPS 213123 HAS SOUS 178863 HAS SOUPS 163147 WITH SCORE 163392.606
AT ITER 3464 NEW BEST:: SOT 720557 SOS 245561 HAS SOPS 213078 HAS SOUS 178773 HAS SOUPS 163057 WITH SCORE 163302.561
AT ITER 3465 NEW BEST:: SOT 720384 SOS 245388 HAS SOPS 212905 HAS SOUS 178111 HAS SOUPS 162395 WITH SCORE 162640.388
AT ITER 3472 NEW BEST:: SOT 720057 SOS 244634 HAS SOPS 212158 HAS SOUS 177531 HAS SOUPS 161815 WITH SCORE 162059.634
AT ITER 3473 NEW BEST:: SOT 720018 SOS 244525 HAS SOPS 211977 HAS SOUS 177370 HAS SOUPS 161634 WITH SCORE 161878.525
AT ITER 3500 NEW BEST:: SOT 720017 SOS 244477 HAS SOPS 211953 HAS SOUS 177322 HAS SOUPS 161610 WITH SCORE 161854.477
AT ITER 3501 NEW BEST:: SOT 719989 SOS 244395 HAS SOPS 211871 HAS SOUS 177282 HAS SOUPS 161570 WITH SCORE 161814.395
AT ITER 3504 NEW BEST:: SOT 720021 SOS 244361 HAS SOPS 211869 HAS SOUS 177280 HAS SOUPS 161568 WITH SCORE 161812.361
AT ITER 3508 NEW BEST:: SOT 720021 SOS 244223 HAS SOPS 211731 HAS SOUS 177142 HAS SOUPS 161430 WITH SCORE 161674.223
AT ITER 3525 NEW BEST:: SOT 719914 SOS 244060 HAS SOPS 211568 HAS SOUS 176928 HAS SOUPS 161216 WITH SCORE 161460.06
AT ITER 3540 NEW BEST:: SOT 719906 SOS 244052 HAS SOPS 211560 HAS SOUS 176928 HAS SOUPS 161216 WITH SCORE 161460.052
AT ITER 3542 NEW BEST:: SOT 719723 SOS 243709 HAS SOPS 211217 HAS SOUS 176768 HAS SOUPS 161056 WITH SCORE 161299.709
AT ITER 3551 NEW BEST:: SOT 719760 SOS 248425 HAS SOPS 215933 HAS SOUS 176763 HAS SOUPS 161051 WITH SCORE 161299.425
AT ITER 3553 NEW BEST:: SOT 719688 SOS 248281 HAS SOPS 215789 HAS SOUS 176659 HAS SOUPS 160947 WITH SCORE 161195.281
AT ITER 3563 NEW BEST:: SOT 719688 SOS 247810 HAS SOPS 215318 HAS SOUS 176505 HAS SOUPS 160793 WITH SCORE 161040.81
AT ITER 3568 NEW BEST:: SOT 719739 SOS 247706 HAS SOPS 215214 HAS SOUS 176401 HAS SOUPS 160689 WITH SCORE 160936.706
AT ITER 3569 NEW BEST:: SOT 719694 SOS 247639 HAS SOPS 215138 HAS SOUS 176334 HAS SOUPS 160613 WITH SCORE 160860.639
AT ITER 3571 NEW BEST:: SOT 719723 SOS 247624 HAS SOPS 215123 HAS SOUS 176319 HAS SOUPS 160598 WITH SCORE 160845.624
AT ITER 3583 NEW BEST:: SOT 719692 SOS 247500 HAS SOPS 214999 HAS SOUS 176257 HAS SOUPS 160536 WITH SCORE 160783.5
AT ITER 3589 NEW BEST:: SOT 719692 SOS 247464 HAS SOPS 214963 HAS SOUS 176221 HAS SOUPS 160500 WITH SCORE 160747.464
AT ITER 3591 NEW BEST:: SOT 719677 SOS 247325 HAS SOPS 214824 HAS SOUS 176082 HAS SOUPS 160361 WITH SCORE 160608.325
AT ITER 3594 NEW BEST:: SOT 719274 SOS 246856 HAS SOPS 213274 HAS SOUS 175441 HAS SOUPS 159339 WITH SCORE 159585.856
AT ITER 3602 NEW BEST:: SOT 719249 SOS 246670 HAS SOPS 213088 HAS SOUS 175381 HAS SOUPS 159279 WITH SCORE 159525.67
AT ITER 3607 NEW BEST:: SOT 719220 SOS 246641 HAS SOPS 213059 HAS SOUS 175381 HAS SOUPS 159279 WITH SCORE 159525.641
AT ITER 3612 NEW BEST:: SOT 719187 SOS 246608 HAS SOPS 212955 HAS SOUS 175315 HAS SOUPS 159213 WITH SCORE 159459.608
AT ITER 3622 NEW BEST:: SOT 719187 SOS 246613 HAS SOPS 212884 HAS SOUS 175244 HAS SOUPS 159142 WITH SCORE 159388.613
AT ITER 3625 NEW BEST:: SOT 718940 SOS 246366 HAS SOPS 212637 HAS SOUS 175042 HAS SOUPS 158940 WITH SCORE 159186.366
AT ITER 3631 NEW BEST:: SOT 718116 SOS 245625 HAS SOPS 211896 HAS SOUS 174876 HAS SOUPS 158774 WITH SCORE 159019.625
AT ITER 3632 NEW BEST:: SOT 718116 SOS 245537 HAS SOPS 211852 HAS SOUS 174876 HAS SOUPS 158774 WITH SCORE 159019.537
AT ITER 3633 NEW BEST:: SOT 718017 SOS 245438 HAS SOPS 211654 HAS SOUS 174777 HAS SOUPS 158576 WITH SCORE 158821.438
AT ITER 3639 NEW BEST:: SOT 718199 SOS 246279 HAS SOPS 211802 HAS SOUS 174959 HAS SOUPS 158527 WITH SCORE 158773.279
AT ITER 3643 NEW BEST:: SOT 718189 SOS 246269 HAS SOPS 211765 HAS SOUS 174960 HAS SOUPS 158490 WITH SCORE 158736.269
AT ITER 3647 NEW BEST:: SOT 718315 SOS 246629 HAS SOPS 211873 HAS SOUS 174968 HAS SOUPS 158429 WITH SCORE 158675.629
AT ITER 3651 NEW BEST:: SOT 718294 SOS 246124 HAS SOPS 211368 HAS SOUS 174848 HAS SOUPS 158309 WITH SCORE 158555.124
AT ITER 3654 NEW BEST:: SOT 718271 SOS 246101 HAS SOPS 211345 HAS SOUS 174825 HAS SOUPS 158286 WITH SCORE 158532.101
AT ITER 3687 NEW BEST:: SOT 718238 SOS 246097 HAS SOPS 211341 HAS SOUS 174821 HAS SOUPS 158282 WITH SCORE 158528.097
AT ITER 3700 NEW BEST:: SOT 718453 SOS 246651 HAS SOPS 210937 HAS SOUS 175098 HAS SOUPS 157878 WITH SCORE 158124.651
AT ITER 3712 NEW BEST:: SOT 718417 SOS 246633 HAS SOPS 210883 HAS SOUS 175080 HAS SOUPS 157824 WITH SCORE 158070.633
AT ITER 3714 NEW BEST:: SOT 718431 SOS 246683 HAS SOPS 210861 HAS SOUS 175094 HAS SOUPS 157802 WITH SCORE 158048.683
AT ITER 3717 NEW BEST:: SOT 718307 SOS 246535 HAS SOPS 210713 HAS SOUS 175008 HAS SOUPS 157716 WITH SCORE 157962.535
AT ITER 3742 NEW BEST:: SOT 718409 SOS 246469 HAS SOPS 210647 HAS SOUS 174942 HAS SOUPS 157650 WITH SCORE 157896.469
AT ITER 3746 NEW BEST:: SOT 718364 SOS 246068 HAS SOPS 210246 HAS SOUS 174743 HAS SOUPS 157451 WITH SCORE 157697.068
AT ITER 3749 NEW BEST:: SOT 717944 SOS 245824 HAS SOPS 210002 HAS SOUS 174499 HAS SOUPS 157207 WITH SCORE 157452.824
AT ITER 3753 NEW BEST:: SOT 717939 SOS 245667 HAS SOPS 209783 HAS SOUS 174204 HAS SOUPS 156850 WITH SCORE 157095.667
AT ITER 3762 NEW BEST:: SOT 717891 SOS 245571 HAS SOPS 209735 HAS SOUS 174156 HAS SOUPS 156850 WITH SCORE 157095.571
AT ITER 3771 NEW BEST:: SOT 717875 SOS 245531 HAS SOPS 209695 HAS SOUS 174132 HAS SOUPS 156826 WITH SCORE 157071.531
AT ITER 3772 NEW BEST:: SOT 717875 SOS 245512 HAS SOPS 209676 HAS SOUS 174132 HAS SOUPS 156826 WITH SCORE 157071.512
AT ITER 3778 NEW BEST:: SOT 717787 SOS 246024 HAS SOPS 209324 HAS SOUS 174045 HAS SOUPS 156336 WITH SCORE 156582.024
AT ITER 3782 NEW BEST:: SOT 717774 SOS 245998 HAS SOPS 209298 HAS SOUS 174019 HAS SOUPS 156310 WITH SCORE 156555.998
AT ITER 3783 NEW BEST:: SOT 717774 SOS 245992 HAS SOPS 209292 HAS SOUS 174013 HAS SOUPS 156304 WITH SCORE 156549.992
AT ITER 3788 NEW BEST:: SOT 717774 SOS 246030 HAS SOPS 209330 HAS SOUS 173975 HAS SOUPS 156266 WITH SCORE 156512.03
AT ITER 3791 NEW BEST:: SOT 717760 SOS 245978 HAS SOPS 209278 HAS SOUS 173937 HAS SOUPS 156228 WITH SCORE 156473.978
AT ITER 3795 NEW BEST:: SOT 717645 SOS 246090 HAS SOPS 209246 HAS SOUS 174049 HAS SOUPS 156196 WITH SCORE 156442.09
AT ITER 3815 NEW BEST:: SOT 717413 SOS 245858 HAS SOPS 209014 HAS SOUS 174049 HAS SOUPS 156196 WITH SCORE 156441.858
AT ITER 3821 NEW BEST:: SOT 717772 SOS 247528 HAS SOPS 209119 HAS SOUS 174453 HAS SOUPS 156177 WITH SCORE 156424.528
AT ITER 3835 NEW BEST:: SOT 717673 SOS 247463 HAS SOPS 209054 HAS SOUS 174388 HAS SOUPS 156112 WITH SCORE 156359.463
AT ITER 3845 NEW BEST:: SOT 717661 SOS 247321 HAS SOPS 208912 HAS SOUS 174340 HAS SOUPS 156064 WITH SCORE 156311.321
AT ITER 3847 NEW BEST:: SOT 717646 SOS 247296 HAS SOPS 208887 HAS SOUS 174325 HAS SOUPS 156049 WITH SCORE 156296.296
AT ITER 3857 NEW BEST:: SOT 717528 SOS 247178 HAS SOPS 208710 HAS SOUS 174207 HAS SOUPS 155931 WITH SCORE 156178.178
AT ITER 3858 NEW BEST:: SOT 717592 SOS 247298 HAS SOPS 208830 HAS SOUS 174177 HAS SOUPS 155901 WITH SCORE 156148.298
AT ITER 3864 NEW BEST:: SOT 717552 SOS 247231 HAS SOPS 208763 HAS SOUS 174110 HAS SOUPS 155834 WITH SCORE 156081.231
AT ITER 3877 NEW BEST:: SOT 717410 SOS 247092 HAS SOPS 208734 HAS SOUS 174081 HAS SOUPS 155805 WITH SCORE 156052.092
AT ITER 3887 NEW BEST:: SOT 717028 SOS 246598 HAS SOPS 208240 HAS SOUS 173778 HAS SOUPS 155502 WITH SCORE 155748.598
AT ITER 3895 NEW BEST:: SOT 716904 SOS 246595 HAS SOPS 208237 HAS SOUS 173775 HAS SOUPS 155499 WITH SCORE 155745.595
AT ITER 3922 NEW BEST:: SOT 716980 SOS 246351 HAS SOPS 207993 HAS SOUS 173615 HAS SOUPS 155339 WITH SCORE 155585.351
AT ITER 3934 NEW BEST:: SOT 716925 SOS 246836 HAS SOPS 207456 HAS SOUS 173482 HAS SOUPS 154802 WITH SCORE 155048.836
AT ITER 3935 NEW BEST:: SOT 716909 SOS 246844 HAS SOPS 207448 HAS SOUS 173474 HAS SOUPS 154794 WITH SCORE 155040.844
AT ITER 3944 NEW BEST:: SOT 716951 SOS 246769 HAS SOPS 207373 HAS SOUS 173405 HAS SOUPS 154725 WITH SCORE 154971.769
AT ITER 3947 NEW BEST:: SOT 716951 SOS 246769 HAS SOPS 207335 HAS SOUS 173405 HAS SOUPS 154687 WITH SCORE 154933.769
AT ITER 3961 NEW BEST:: SOT 716903 SOS 246606 HAS SOPS 207172 HAS SOUS 173242 HAS SOUPS 154524 WITH SCORE 154770.606
AT ITER 3971 NEW BEST:: SOT 716846 SOS 247525 HAS SOPS 207048 HAS SOUS 173376 HAS SOUPS 154356 WITH SCORE 154603.525
AT ITER 3974 NEW BEST:: SOT 716826 SOS 247475 HAS SOPS 207028 HAS SOUS 173356 HAS SOUPS 154346 WITH SCORE 154593.475
AT ITER 3997 NEW BEST:: SOT 716781 SOS 247386 HAS SOPS 206982 HAS SOUS 173267 HAS SOUPS 154300 WITH SCORE 154547.386
AT ITER 4011 NEW BEST:: SOT 717642 SOS 247992 HAS SOPS 207318 HAS SOUS 173478 HAS SOUPS 154241 WITH SCORE 154488.992
AT ITER 4013 NEW BEST:: SOT 717550 SOS 247900 HAS SOPS 207101 HAS SOUS 173294 HAS SOUPS 153932 WITH SCORE 154179.9
AT ITER 4023 NEW BEST:: SOT 717503 SOS 247915 HAS SOPS 207054 HAS SOUS 173294 HAS SOUPS 153885 WITH SCORE 154132.915
AT ITER 4032 NEW BEST:: SOT 717250 SOS 247412 HAS SOPS 206564 HAS SOUS 172804 HAS SOUPS 153395 WITH SCORE 153642.412
AT ITER 4037 NEW BEST:: SOT 716893 SOS 247055 HAS SOPS 206207 HAS SOUS 172646 HAS SOUPS 153237 WITH SCORE 153484.055
AT ITER 4046 NEW BEST:: SOT 717377 SOS 247020 HAS SOPS 206172 HAS SOUS 172510 HAS SOUPS 153101 WITH SCORE 153348.02
AT ITER 4057 NEW BEST:: SOT 717572 SOS 248084 HAS SOPS 205877 HAS SOUS 172741 HAS SOUPS 152806 WITH SCORE 153054.084
AT ITER 4059 NEW BEST:: SOT 717474 SOS 247888 HAS SOPS 205681 HAS SOUS 172594 HAS SOUPS 152659 WITH SCORE 152906.888
AT ITER 4061 NEW BEST:: SOT 717410 SOS 247824 HAS SOPS 205617 HAS SOUS 172594 HAS SOUPS 152659 WITH SCORE 152906.824
AT ITER 4062 NEW BEST:: SOT 717373 SOS 247787 HAS SOPS 205580 HAS SOUS 172557 HAS SOUPS 152622 WITH SCORE 152869.787
AT ITER 4063 NEW BEST:: SOT 717255 SOS 247669 HAS SOPS 205462 HAS SOUS 172439 HAS SOUPS 152504 WITH SCORE 152751.669
AT ITER 4065 NEW BEST:: SOT 717113 SOS 247456 HAS SOPS 205249 HAS SOUS 172226 HAS SOUPS 152291 WITH SCORE 152538.456
AT ITER 4068 NEW BEST:: SOT 717137 SOS 247480 HAS SOPS 205273 HAS SOUS 172174 HAS SOUPS 152239 WITH SCORE 152486.48
AT ITER 4073 NEW BEST:: SOT 717017 SOS 247000 HAS SOPS 204793 HAS SOUS 171828 HAS SOUPS 151893 WITH SCORE 152140.0
AT ITER 4091 NEW BEST:: SOT 716824 SOS 246744 HAS SOPS 204537 HAS SOUS 171475 HAS SOUPS 151540 WITH SCORE 151786.744
AT ITER 4092 NEW BEST:: SOT 715938 SOS 245721 HAS SOPS 203514 HAS SOUS 170865 HAS SOUPS 150930 WITH SCORE 151175.721
AT ITER 4097 NEW BEST:: SOT 715912 SOS 245643 HAS SOPS 203436 HAS SOUS 170813 HAS SOUPS 150878 WITH SCORE 151123.643
AT ITER 4098 NEW BEST:: SOT 715899 SOS 245630 HAS SOPS 203423 HAS SOUS 170790 HAS SOUPS 150855 WITH SCORE 151100.63
AT ITER 4103 NEW BEST:: SOT 715840 SOS 245571 HAS SOPS 203364 HAS SOUS 170672 HAS SOUPS 150737 WITH SCORE 150982.571
AT ITER 4109 NEW BEST:: SOT 715840 SOS 245571 HAS SOPS 203364 HAS SOUS 170586 HAS SOUPS 150651 WITH SCORE 150896.571
AT ITER 4131 NEW BEST:: SOT 716007 SOS 245563 HAS SOPS 203356 HAS SOUS 170578 HAS SOUPS 150643 WITH SCORE 150888.563
AT ITER 4136 NEW BEST:: SOT 716014 SOS 245570 HAS SOPS 203363 HAS SOUS 170536 HAS SOUPS 150601 WITH SCORE 150846.57
AT ITER 4137 NEW BEST:: SOT 716014 SOS 245370 HAS SOPS 203363 HAS SOUS 170336 HAS SOUPS 150601 WITH SCORE 150846.37
AT ITER 4145 NEW BEST:: SOT 715924 SOS 245313 HAS SOPS 203242 HAS SOUS 170385 HAS SOUPS 150586 WITH SCORE 150831.313
AT ITER 4164 NEW BEST:: SOT 716001 SOS 245421 HAS SOPS 203229 HAS SOUS 170462 HAS SOUPS 150542 WITH SCORE 150787.421
AT ITER 4178 NEW BEST:: SOT 715966 SOS 245351 HAS SOPS 203159 HAS SOUS 170427 HAS SOUPS 150507 WITH SCORE 150752.351
AT ITER 4182 NEW BEST:: SOT 715830 SOS 245215 HAS SOPS 202989 HAS SOUS 170359 HAS SOUPS 150439 WITH SCORE 150684.215
AT ITER 4186 NEW BEST:: SOT 715715 SOS 245211 HAS SOPS 202831 HAS SOUS 170211 HAS SOUPS 150291 WITH SCORE 150536.211
AT ITER 4199 NEW BEST:: SOT 715831 SOS 245600 HAS SOPS 202824 HAS SOUS 170286 HAS SOUPS 150267 WITH SCORE 150512.6
AT ITER 4236 NEW BEST:: SOT 715807 SOS 245276 HAS SOPS 202500 HAS SOUS 170159 HAS SOUPS 150140 WITH SCORE 150385.276
AT ITER 4239 NEW BEST:: SOT 716317 SOS 245382 HAS SOPS 202606 HAS SOUS 170158 HAS SOUPS 150139 WITH SCORE 150384.382
AT ITER 4247 NEW BEST:: SOT 716256 SOS 245321 HAS SOPS 202545 HAS SOUS 170097 HAS SOUPS 150078 WITH SCORE 150323.321
AT ITER 4248 NEW BEST:: SOT 716315 SOS 245311 HAS SOPS 202282 HAS SOUS 170087 HAS SOUPS 149815 WITH SCORE 150060.311
AT ITER 4251 NEW BEST:: SOT 716315 SOS 245213 HAS SOPS 202184 HAS SOUS 170087 HAS SOUPS 149815 WITH SCORE 150060.213
AT ITER 4259 NEW BEST:: SOT 716219 SOS 245117 HAS SOPS 202088 HAS SOUS 170039 HAS SOUPS 149767 WITH SCORE 150012.117
AT ITER 4268 NEW BEST:: SOT 716146 SOS 244934 HAS SOPS 201959 HAS SOUS 169910 HAS SOUPS 149638 WITH SCORE 149882.934
AT ITER 4281 NEW BEST:: SOT 716148 SOS 244985 HAS SOPS 201865 HAS SOUS 169865 HAS SOUPS 149544 WITH SCORE 149788.985
AT ITER 4282 NEW BEST:: SOT 716051 SOS 244888 HAS SOPS 201689 HAS SOUS 169774 HAS SOUPS 149374 WITH SCORE 149618.888
AT ITER 4286 NEW BEST:: SOT 716297 SOS 245134 HAS SOPS 201935 HAS SOUS 169677 HAS SOUPS 149277 WITH SCORE 149522.134
AT ITER 4308 NEW BEST:: SOT 716297 SOS 244714 HAS SOPS 201596 HAS SOUS 169641 HAS SOUPS 149241 WITH SCORE 149485.714
AT ITER 4314 NEW BEST:: SOT 716279 SOS 244660 HAS SOPS 201560 HAS SOUS 169605 HAS SOUPS 149223 WITH SCORE 149467.66
AT ITER 4352 NEW BEST:: SOT 716473 SOS 244724 HAS SOPS 201624 HAS SOUS 169410 HAS SOUPS 149028 WITH SCORE 149272.724
AT ITER 4388 NEW BEST:: SOT 716415 SOS 244808 HAS SOPS 201508 HAS SOUS 169452 HAS SOUPS 148870 WITH SCORE 149114.808
AT ITER 4395 NEW BEST:: SOT 716047 SOS 244072 HAS SOPS 200772 HAS SOUS 169040 HAS SOUPS 148458 WITH SCORE 148702.072
AT ITER 4397 NEW BEST:: SOT 716047 SOS 243924 HAS SOPS 200624 HAS SOUS 168981 HAS SOUPS 148399 WITH SCORE 148642.924
AT ITER 4401 NEW BEST:: SOT 715980 SOS 244006 HAS SOPS 200706 HAS SOUS 168914 HAS SOUPS 148332 WITH SCORE 148576.006
AT ITER 4427 NEW BEST:: SOT 715980 SOS 243970 HAS SOPS 200670 HAS SOUS 168914 HAS SOUPS 148332 WITH SCORE 148575.97
AT ITER 4431 NEW BEST:: SOT 715955 SOS 244034 HAS SOPS 200836 HAS SOUS 168862 HAS SOUPS 148184 WITH SCORE 148428.034
AT ITER 4440 NEW BEST:: SOT 716124 SOS 244955 HAS SOPS 200780 HAS SOUS 169014 HAS SOUPS 148128 WITH SCORE 148372.955
AT ITER 4465 NEW BEST:: SOT 716124 SOS 245066 HAS SOPS 200706 HAS SOUS 168977 HAS SOUPS 148054 WITH SCORE 148299.066
AT ITER 4512 NEW BEST:: SOT 716037 SOS 245149 HAS SOPS 200789 HAS SOUS 168953 HAS SOUPS 148030 WITH SCORE 148275.149
AT ITER 4514 NEW BEST:: SOT 716020 SOS 245236 HAS SOPS 200564 HAS SOUS 168832 HAS SOUPS 147805 WITH SCORE 148050.236
AT ITER 4515 NEW BEST:: SOT 715645 SOS 245273 HAS SOPS 200189 HAS SOUS 168457 HAS SOUPS 147430 WITH SCORE 147675.273
AT ITER 4552 NEW BEST:: SOT 715645 SOS 245396 HAS SOPS 200092 HAS SOUS 168415 HAS SOUPS 147333 WITH SCORE 147578.396
AT ITER 4572 NEW BEST:: SOT 715540 SOS 245219 HAS SOPS 199915 HAS SOUS 168277 HAS SOUPS 147195 WITH SCORE 147440.219
AT ITER 4582 NEW BEST:: SOT 715270 SOS 244861 HAS SOPS 199557 HAS SOUS 167919 HAS SOUPS 146837 WITH SCORE 147081.861
AT ITER 4585 NEW BEST:: SOT 715232 SOS 244823 HAS SOPS 199291 HAS SOUS 167843 HAS SOUPS 146761 WITH SCORE 147005.823
AT ITER 4586 NEW BEST:: SOT 715174 SOS 244765 HAS SOPS 199233 HAS SOUS 167785 HAS SOUPS 146703 WITH SCORE 146947.765
AT ITER 4593 NEW BEST:: SOT 714968 SOS 244571 HAS SOPS 199060 HAS SOUS 167683 HAS SOUPS 146622 WITH SCORE 146866.571
AT ITER 4595 NEW BEST:: SOT 715050 SOS 244516 HAS SOPS 199005 HAS SOUS 167628 HAS SOUPS 146567 WITH SCORE 146811.516
AT ITER 4596 NEW BEST:: SOT 715091 SOS 244557 HAS SOPS 199046 HAS SOUS 167585 HAS SOUPS 146524 WITH SCORE 146768.557
AT ITER 4603 NEW BEST:: SOT 714986 SOS 244346 HAS SOPS 198941 HAS SOUS 167374 HAS SOUPS 146419 WITH SCORE 146663.346
AT ITER 4606 NEW BEST:: SOT 714985 SOS 244195 HAS SOPS 198889 HAS SOUS 167372 HAS SOUPS 146417 WITH SCORE 146661.195
AT ITER 4628 NEW BEST:: SOT 714985 SOS 244143 HAS SOPS 198837 HAS SOUS 167372 HAS SOUPS 146417 WITH SCORE 146661.143
AT ITER 4633 NEW BEST:: SOT 714984 SOS 244142 HAS SOPS 198835 HAS SOUS 167370 HAS SOUPS 146415 WITH SCORE 146659.142
AT ITER 4641 NEW BEST:: SOT 714933 SOS 243898 HAS SOPS 198673 HAS SOUS 167341 HAS SOUPS 146386 WITH SCORE 146629.898
AT ITER 4644 NEW BEST:: SOT 714860 SOS 243953 HAS SOPS 198728 HAS SOUS 167183 HAS SOUPS 146228 WITH SCORE 146471.953
AT ITER 4647 NEW BEST:: SOT 714695 SOS 244035 HAS SOPS 198377 HAS SOUS 166997 HAS SOUPS 145877 WITH SCORE 146121.035
AT ITER 4662 NEW BEST:: SOT 714551 SOS 243891 HAS SOPS 198233 HAS SOUS 166811 HAS SOUPS 145691 WITH SCORE 145934.891
AT ITER 4666 NEW BEST:: SOT 714551 SOS 243816 HAS SOPS 198158 HAS SOUS 166811 HAS SOUPS 145691 WITH SCORE 145934.816
AT ITER 4668 NEW BEST:: SOT 714540 SOS 244928 HAS SOPS 197832 HAS SOUS 166883 HAS SOUPS 145365 WITH SCORE 145609.928
AT ITER 4679 NEW BEST:: SOT 714444 SOS 244832 HAS SOPS 197736 HAS SOUS 166787 HAS SOUPS 145269 WITH SCORE 145513.832
AT ITER 4692 NEW BEST:: SOT 714444 SOS 245025 HAS SOPS 197929 HAS SOUS 166594 HAS SOUPS 145076 WITH SCORE 145321.025
AT ITER 4706 NEW BEST:: SOT 714444 SOS 245025 HAS SOPS 197929 HAS SOUS 166462 HAS SOUPS 144944 WITH SCORE 145189.025
AT ITER 4708 NEW BEST:: SOT 714314 SOS 244765 HAS SOPS 197669 HAS SOUS 166332 HAS SOUPS 144814 WITH SCORE 145058.765
AT ITER 4737 NEW BEST:: SOT 713977 SOS 243501 HAS SOPS 197332 HAS SOUS 165686 HAS SOUPS 144477 WITH SCORE 144720.501
AT ITER 4741 NEW BEST:: SOT 713977 SOS 243402 HAS SOPS 197332 HAS SOUS 165653 HAS SOUPS 144477 WITH SCORE 144720.402
AT ITER 4743 NEW BEST:: SOT 713905 SOS 243330 HAS SOPS 197260 HAS SOUS 165581 HAS SOUPS 144405 WITH SCORE 144648.33
AT ITER 4747 NEW BEST:: SOT 713838 SOS 243481 HAS SOPS 197411 HAS SOUS 165517 HAS SOUPS 144341 WITH SCORE 144584.481
AT ITER 4751 NEW BEST:: SOT 713930 SOS 243425 HAS SOPS 197355 HAS SOUS 165461 HAS SOUPS 144285 WITH SCORE 144528.425
AT ITER 4766 NEW BEST:: SOT 713761 SOS 243183 HAS SOPS 197113 HAS SOUS 165269 HAS SOUPS 144093 WITH SCORE 144336.183
AT ITER 4778 NEW BEST:: SOT 713826 SOS 243240 HAS SOPS 197170 HAS SOUS 165181 HAS SOUPS 144005 WITH SCORE 144248.24
AT ITER 4782 NEW BEST:: SOT 713826 SOS 243483 HAS SOPS 197413 HAS SOUS 165126 HAS SOUPS 143950 WITH SCORE 144193.483
AT ITER 4810 NEW BEST:: SOT 713924 SOS 243616 HAS SOPS 197546 HAS SOUS 165095 HAS SOUPS 143919 WITH SCORE 144162.616
AT ITER 4836 NEW BEST:: SOT 713923 SOS 243351 HAS SOPS 197456 HAS SOUS 165093 HAS SOUPS 143917 WITH SCORE 144160.351
AT ITER 4851 NEW BEST:: SOT 713759 SOS 243104 HAS SOPS 197209 HAS SOUS 164928 HAS SOUPS 143752 WITH SCORE 143995.104
AT ITER 4864 NEW BEST:: SOT 713759 SOS 242640 HAS SOPS 196351 HAS SOUS 164858 HAS SOUPS 143288 WITH SCORE 143530.64
AT ITER 4881 NEW BEST:: SOT 713759 SOS 242406 HAS SOPS 196039 HAS SOUS 164780 HAS SOUPS 143132 WITH SCORE 143374.406
AT ITER 4886 NEW BEST:: SOT 713581 SOS 242820 HAS SOPS 195861 HAS SOUS 164602 HAS SOUPS 142954 WITH SCORE 143196.82
AT ITER 4887 NEW BEST:: SOT 713891 SOS 243269 HAS SOPS 195955 HAS SOUS 164840 HAS SOUPS 142929 WITH SCORE 143172.269
AT ITER 4903 NEW BEST:: SOT 713871 SOS 243249 HAS SOPS 195887 HAS SOUS 164820 HAS SOUPS 142861 WITH SCORE 143104.249
AT ITER 4910 NEW BEST:: SOT 713960 SOS 243463 HAS SOPS 196101 HAS SOUS 164773 HAS SOUPS 142814 WITH SCORE 143057.463
AT ITER 4914 NEW BEST:: SOT 713960 SOS 243214 HAS SOPS 195726 HAS SOUS 164398 HAS SOUPS 142439 WITH SCORE 142682.214
AT ITER 4925 NEW BEST:: SOT 713996 SOS 243104 HAS SOPS 194927 HAS SOUS 164288 HAS SOUPS 141640 WITH SCORE 141883.104
AT ITER 4955 NEW BEST:: SOT 713676 SOS 242548 HAS SOPS 194631 HAS SOUS 164033 HAS SOUPS 141450 WITH SCORE 141692.548
AT ITER 4968 NEW BEST:: SOT 713657 SOS 242528 HAS SOPS 194684 HAS SOUS 164014 HAS SOUPS 141431 WITH SCORE 141673.528
AT ITER 4974 NEW BEST:: SOT 713656 SOS 242629 HAS SOPS 194784 HAS SOUS 164013 HAS SOUPS 141429 WITH SCORE 141671.629
AT ITER 4989 NEW BEST:: SOT 713656 SOS 242645 HAS SOPS 194736 HAS SOUS 163997 HAS SOUPS 141397 WITH SCORE 141639.645
AT ITER 4992 NEW BEST:: SOT 713655 SOS 242642 HAS SOPS 194733 HAS SOUS 163995 HAS SOUPS 141395 WITH SCORE 141637.642
AT ITER 4999 NEW BEST:: SOT 713553 SOS 242657 HAS SOPS 194698 HAS SOUS 163982 HAS SOUPS 141382 WITH SCORE 141624.657
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: AutoFlight-PT-48a-CTLCardinality-00 (EX( (AG( ( potential( (tk(P1063)) <= (tk(P66)) ) | potential( ( 2 ) <= (tk(P439)) ) )))))
PROPERTY: AutoFlight-PT-48a-CTLCardinality-01 ( (AU( potential( (tk(P118)) <= (tk(P237)) ),( potential( ( 3 ) <= (tk(P156)) ) | potential( ( 2 ) <= (tk(P704)) ) ) )) | potential( ( 2 ) <= (tk(P969)) ) )
PROPERTY: AutoFlight-PT-48a-CTLCardinality-02 (AU( (EF(potential( ( 3 ) <= (tk(P6)) ))),( (! potential( (tk(P397)) <= (tk(P988)) )) | ( potential( ( 1 ) <= (tk(P218)) ) & potential( ( 3 ) <= (tk(P776)) ) ) ) ))
PROPERTY: AutoFlight-PT-48a-CTLCardinality-03 (AG( (AF(( potential( (tk(P224)) <= (tk(P615)) ) | potential( ( 1 ) <= (tk(P347)) ) )))))
PROPERTY: AutoFlight-PT-48a-CTLCardinality-04 ( (EG( ( (! potential( ( 1 ) <= (tk(P672)) )) | ( potential( ( 3 ) <= (tk(P598)) ) | potential( (tk(P971)) <= (tk(P51)) ) ) ))) & potential( (tk(P631)) <= (tk(P116)) ) )
PROPERTY: AutoFlight-PT-48a-CTLCardinality-05 ( (AU( (! potential( (tk(P555)) <= (tk(P576)) )),(! potential( ( 3 ) <= (tk(P672)) )) )) & ( (AG( ( potential( ( 1 ) <= (tk(P759)) ) | potential( ( 2 ) <= (tk(P357)) ) ))) | (EG( ( potential( (tk(P559)) <= (tk(P205)) ) & potential( (tk(P549)) <= (tk(P265)) ) ))) ) )
PROPERTY: AutoFlight-PT-48a-CTLCardinality-06 ( (! (EG( ( potential( (tk(P998)) <= (tk(P585)) ) | potential( (tk(P730)) <= (tk(P606)) ) )))) & (! (EF(potential( ( 2 ) <= (tk(P172)) )))) )
PROPERTY: AutoFlight-PT-48a-CTLCardinality-07 (EU( (AG( potential( (tk(P362)) <= (tk(P158)) ))),( (! potential( (tk(P810)) <= (tk(P394)) )) | ( potential( (tk(P661)) <= (tk(P901)) ) & potential( ( 1 ) <= (tk(P857)) ) ) ) ))
PROPERTY: AutoFlight-PT-48a-CTLCardinality-08 (AF(potential( ( 3 ) <= (tk(P453)) )))
PROPERTY: AutoFlight-PT-48a-CTLCardinality-09 (EG( (EF(( potential( ( 3 ) <= (tk(P1087)) ) | potential( (tk(P423)) <= (tk(P1085)) ) )))))
PROPERTY: AutoFlight-PT-48a-CTLCardinality-10 (! ( (AF((! potential( (tk(P314)) <= (tk(P621)) )))) | ( (! ( potential( (tk(P111)) <= (tk(P397)) ) & potential( (tk(P980)) <= (tk(P828)) ) )) | ( ( potential( (tk(P448)) <= (tk(P929)) ) | potential( (tk(P736)) <= (tk(P884)) ) ) & potential( ( 2 ) <= (tk(P570)) ) ) ) ))
PROPERTY: AutoFlight-PT-48a-CTLCardinality-11 (EF((AU( potential( (tk(P1108)) <= (tk(P101)) ),potential( ( 2 ) <= (tk(P385)) ) ))))
PROPERTY: AutoFlight-PT-48a-CTLCardinality-12 ( (EU( ( potential( ( 1 ) <= (tk(P470)) ) & potential( ( 3 ) <= (tk(P719)) ) ),( potential( ( 1 ) <= (tk(P625)) ) & potential( (tk(P174)) <= (tk(P235)) ) ) )) | (AF(( potential( ( 1 ) <= (tk(P491)) ) | ( potential( ( 1 ) <= (tk(P973)) ) & potential( ( 3 ) <= (tk(P290)) ) ) ))) )
PROPERTY: AutoFlight-PT-48a-CTLCardinality-13 ( (EU( ( potential( ( 1 ) <= (tk(P807)) ) | potential( (tk(P380)) <= (tk(P228)) ) ),( potential( ( 3 ) <= (tk(P357)) ) & potential( (tk(P579)) <= (tk(P978)) ) ) )) | ( potential( ( 3 ) <= (tk(P708)) ) | (! ( potential( (tk(P99)) <= (tk(P233)) ) | ( potential( (tk(P543)) <= (tk(P909)) ) & potential( (tk(P1127)) <= (tk(P385)) ) ) )) ) )
PROPERTY: AutoFlight-PT-48a-CTLCardinality-14 ( (! potential( ( 3 ) <= (tk(P387)) )) & (AX( (AF(potential( ( 3 ) <= (tk(P677)) ))))) )
PROPERTY: AutoFlight-PT-48a-CTLCardinality-15 (AG( (EU( potential( (tk(P80)) <= (tk(P711)) ),potential( (tk(P441)) <= (tk(P713)) ) ))))

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is AutoFlight-PT-48a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508600499"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-48a.tgz
mv AutoFlight-PT-48a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;