About the Execution of smart for AutoFlight-PT-48a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15765.960 | 3600000.00 | 3600040.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508600500.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600500
=====================================================================
--------------------
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-CTLFireability-00
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-01
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-02
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-03
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-04
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-05
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-06
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-07
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-08
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-09
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-10
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-11
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-12
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-13
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-14
FORMULA_NAME AutoFlight-PT-48a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589183712719
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 48a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 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 3 NEW BEST:: SOT 892915 SOS 502675 HAS SOPS 502675 HAS SOUS 368966 HAS SOUPS 368966 WITH SCORE 369468.675
AT ITER 5 NEW BEST:: SOT 892915 SOS 501834 HAS SOPS 501834 HAS SOUS 368742 HAS SOUPS 368742 WITH SCORE 369243.834
AT ITER 9 NEW BEST:: SOT 893094 SOS 501107 HAS SOPS 501107 HAS SOUS 368468 HAS SOUPS 368468 WITH SCORE 368969.107
AT ITER 12 NEW BEST:: SOT 892965 SOS 500978 HAS SOPS 500978 HAS SOUS 368468 HAS SOUPS 368468 WITH SCORE 368968.978
AT ITER 13 NEW BEST:: SOT 891006 SOS 499018 HAS SOPS 499018 HAS SOUS 367202 HAS SOUPS 367202 WITH SCORE 367701.018
AT ITER 14 NEW BEST:: SOT 889488 SOS 497500 HAS SOPS 497500 HAS SOUS 366190 HAS SOUPS 366190 WITH SCORE 366687.5
AT ITER 17 NEW BEST:: SOT 888637 SOS 496601 HAS SOPS 496601 HAS SOUS 365829 HAS SOUPS 365829 WITH SCORE 366325.601
AT ITER 19 NEW BEST:: SOT 887775 SOS 496261 HAS SOPS 495739 HAS SOUS 365167 HAS SOUPS 364967 WITH SCORE 365463.261
AT ITER 20 NEW BEST:: SOT 887453 SOS 495818 HAS SOPS 495296 HAS SOUS 364424 HAS SOUPS 364224 WITH SCORE 364719.818
AT ITER 22 NEW BEST:: SOT 887453 SOS 495598 HAS SOPS 495076 HAS SOUS 364365 HAS SOUPS 364165 WITH SCORE 364660.598
AT ITER 23 NEW BEST:: SOT 887259 SOS 495403 HAS SOPS 494881 HAS SOUS 364364 HAS SOUPS 364164 WITH SCORE 364659.403
AT ITER 24 NEW BEST:: SOT 885719 SOS 494015 HAS SOPS 493493 HAS SOUS 363415 HAS SOUPS 363215 WITH SCORE 363709.015
AT ITER 31 NEW BEST:: SOT 885032 SOS 493383 HAS SOPS 492806 HAS SOUS 362768 HAS SOUPS 362528 WITH SCORE 363021.383
AT ITER 32 NEW BEST:: SOT 884577 SOS 492927 HAS SOPS 492350 HAS SOUS 362595 HAS SOUPS 362355 WITH SCORE 362847.927
AT ITER 33 NEW BEST:: SOT 884577 SOS 492668 HAS SOPS 492091 HAS SOUS 362465 HAS SOUPS 362225 WITH SCORE 362717.668
AT ITER 35 NEW BEST:: SOT 882890 SOS 489305 HAS SOPS 488728 HAS SOUS 360316 HAS SOUPS 360076 WITH SCORE 360565.305
AT ITER 38 NEW BEST:: SOT 882653 SOS 487488 HAS SOPS 486827 HAS SOUS 358960 HAS SOUPS 358636 WITH SCORE 359123.488
AT ITER 44 NEW BEST:: SOT 881411 SOS 486245 HAS SOPS 485584 HAS SOUS 358153 HAS SOUPS 357829 WITH SCORE 358315.245
AT ITER 47 NEW BEST:: SOT 880436 SOS 485269 HAS SOPS 484608 HAS SOUS 357582 HAS SOUPS 357258 WITH SCORE 357743.269
AT ITER 48 NEW BEST:: SOT 880436 SOS 484887 HAS SOPS 484226 HAS SOUS 357581 HAS SOUPS 357257 WITH SCORE 357741.887
AT ITER 52 NEW BEST:: SOT 880020 SOS 484471 HAS SOPS 483810 HAS SOUS 357327 HAS SOUPS 357003 WITH SCORE 357487.471
AT ITER 53 NEW BEST:: SOT 879154 SOS 483605 HAS SOPS 482944 HAS SOUS 356759 HAS SOUPS 356435 WITH SCORE 356918.605
AT ITER 55 NEW BEST:: SOT 879057 SOS 484422 HAS SOPS 482706 HAS SOUS 356555 HAS SOUPS 355898 WITH SCORE 356382.422
AT ITER 59 NEW BEST:: SOT 878838 SOS 484456 HAS SOPS 482740 HAS SOUS 356335 HAS SOUPS 355678 WITH SCORE 356162.456
AT ITER 60 NEW BEST:: SOT 878838 SOS 483969 HAS SOPS 482253 HAS SOUS 356133 HAS SOUPS 355476 WITH SCORE 355959.969
AT ITER 62 NEW BEST:: SOT 877622 SOS 482753 HAS SOPS 481037 HAS SOUS 355369 HAS SOUPS 354712 WITH SCORE 355194.753
AT ITER 63 NEW BEST:: SOT 877622 SOS 481546 HAS SOPS 479830 HAS SOUS 354607 HAS SOUPS 353950 WITH SCORE 354431.546
AT ITER 66 NEW BEST:: SOT 876467 SOS 480246 HAS SOPS 478530 HAS SOUS 353549 HAS SOUPS 352892 WITH SCORE 353372.246
AT ITER 67 NEW BEST:: SOT 876467 SOS 480245 HAS SOPS 478529 HAS SOUS 353548 HAS SOUPS 352891 WITH SCORE 353371.245
AT ITER 68 NEW BEST:: SOT 876063 SOS 479841 HAS SOPS 478125 HAS SOUS 353043 HAS SOUPS 352386 WITH SCORE 352865.841
AT ITER 69 NEW BEST:: SOT 876097 SOS 478647 HAS SOPS 476931 HAS SOUS 352565 HAS SOUPS 351908 WITH SCORE 352386.647
AT ITER 70 NEW BEST:: SOT 876204 SOS 478754 HAS SOPS 477038 HAS SOUS 352255 HAS SOUPS 351598 WITH SCORE 352076.754
AT ITER 71 NEW BEST:: SOT 876204 SOS 478199 HAS SOPS 476483 HAS SOUS 351994 HAS SOUPS 351337 WITH SCORE 351815.199
AT ITER 72 NEW BEST:: SOT 876169 SOS 478163 HAS SOPS 476447 HAS SOUS 351958 HAS SOUPS 351301 WITH SCORE 351779.163
AT ITER 77 NEW BEST:: SOT 875623 SOS 477617 HAS SOPS 475901 HAS SOUS 351814 HAS SOUPS 351157 WITH SCORE 351634.617
AT ITER 79 NEW BEST:: SOT 875623 SOS 477575 HAS SOPS 475859 HAS SOUS 351814 HAS SOUPS 351157 WITH SCORE 351634.575
AT ITER 81 NEW BEST:: SOT 874301 SOS 475043 HAS SOPS 473327 HAS SOUS 350492 HAS SOUPS 349835 WITH SCORE 350310.043
AT ITER 89 NEW BEST:: SOT 872297 SOS 473735 HAS SOPS 472019 HAS SOUS 349622 HAS SOUPS 348965 WITH SCORE 349438.735
AT ITER 91 NEW BEST:: SOT 870698 SOS 472020 HAS SOPS 470304 HAS SOUS 348023 HAS SOUPS 347366 WITH SCORE 347838.02
AT ITER 92 NEW BEST:: SOT 870698 SOS 471872 HAS SOPS 470156 HAS SOUS 348023 HAS SOUPS 347366 WITH SCORE 347837.872
AT ITER 94 NEW BEST:: SOT 870698 SOS 471161 HAS SOPS 469445 HAS SOUS 347570 HAS SOUPS 346913 WITH SCORE 347384.161
AT ITER 99 NEW BEST:: SOT 870698 SOS 470236 HAS SOPS 468520 HAS SOUS 347107 HAS SOUPS 346450 WITH SCORE 346920.236
AT ITER 101 NEW BEST:: SOT 868872 SOS 469499 HAS SOPS 467783 HAS SOUS 346656 HAS SOUPS 345999 WITH SCORE 346468.499
AT ITER 102 NEW BEST:: SOT 866141 SOS 466288 HAS SOPS 464572 HAS SOUS 344099 HAS SOUPS 343442 WITH SCORE 343908.288
AT ITER 105 NEW BEST:: SOT 865227 SOS 465373 HAS SOPS 463657 HAS SOUS 343337 HAS SOUPS 342680 WITH SCORE 343145.373
AT ITER 112 NEW BEST:: SOT 861953 SOS 460518 HAS SOPS 458802 HAS SOUS 340473 HAS SOUPS 339816 WITH SCORE 340276.518
AT ITER 115 NEW BEST:: SOT 861372 SOS 459057 HAS SOPS 457341 HAS SOUS 339892 HAS SOUPS 339235 WITH SCORE 339694.057
AT ITER 120 NEW BEST:: SOT 861034 SOS 458719 HAS SOPS 457003 HAS SOUS 339554 HAS SOUPS 338897 WITH SCORE 339355.719
AT ITER 122 NEW BEST:: SOT 861045 SOS 457812 HAS SOPS 456096 HAS SOUS 339212 HAS SOUPS 338555 WITH SCORE 339012.812
AT ITER 124 NEW BEST:: SOT 861045 SOS 457478 HAS SOPS 455762 HAS SOUS 339045 HAS SOUPS 338388 WITH SCORE 338845.478
AT ITER 125 NEW BEST:: SOT 860250 SOS 456492 HAS SOPS 454765 HAS SOUS 338059 HAS SOUPS 337391 WITH SCORE 337847.492
AT ITER 129 NEW BEST:: SOT 860250 SOS 455739 HAS SOPS 454012 HAS SOUS 337557 HAS SOUPS 336889 WITH SCORE 337344.739
AT ITER 132 NEW BEST:: SOT 858553 SOS 453862 HAS SOPS 452135 HAS SOUS 336435 HAS SOUPS 335767 WITH SCORE 336220.862
AT ITER 133 NEW BEST:: SOT 858349 SOS 453725 HAS SOPS 451998 HAS SOUS 336230 HAS SOUPS 335562 WITH SCORE 336015.725
AT ITER 136 NEW BEST:: SOT 857926 SOS 453385 HAS SOPS 451658 HAS SOUS 336229 HAS SOUPS 335561 WITH SCORE 336014.385
AT ITER 141 NEW BEST:: SOT 856930 SOS 451324 HAS SOPS 449597 HAS SOUS 335054 HAS SOUPS 334386 WITH SCORE 334837.324
AT ITER 142 NEW BEST:: SOT 856930 SOS 450537 HAS SOPS 448810 HAS SOUS 334729 HAS SOUPS 334061 WITH SCORE 334511.537
AT ITER 143 NEW BEST:: SOT 856894 SOS 450500 HAS SOPS 448773 HAS SOUS 334692 HAS SOUPS 334024 WITH SCORE 334474.5
AT ITER 144 NEW BEST:: SOT 856701 SOS 451122 HAS SOPS 448580 HAS SOUS 334772 HAS SOUPS 333831 WITH SCORE 334282.122
AT ITER 145 NEW BEST:: SOT 856701 SOS 451038 HAS SOPS 448496 HAS SOUS 334730 HAS SOUPS 333789 WITH SCORE 334240.038
AT ITER 146 NEW BEST:: SOT 856701 SOS 451037 HAS SOPS 448495 HAS SOUS 334729 HAS SOUPS 333788 WITH SCORE 334239.037
AT ITER 147 NEW BEST:: SOT 853764 SOS 446870 HAS SOPS 444328 HAS SOUS 331900 HAS SOUPS 330959 WITH SCORE 331405.87
AT ITER 150 NEW BEST:: SOT 853713 SOS 446818 HAS SOPS 444276 HAS SOUS 331848 HAS SOUPS 330907 WITH SCORE 331353.818
AT ITER 151 NEW BEST:: SOT 853712 SOS 446816 HAS SOPS 444274 HAS SOUS 331846 HAS SOUPS 330905 WITH SCORE 331351.816
AT ITER 152 NEW BEST:: SOT 853562 SOS 446666 HAS SOPS 444124 HAS SOUS 331696 HAS SOUPS 330755 WITH SCORE 331201.666
AT ITER 153 NEW BEST:: SOT 852875 SOS 446060 HAS SOPS 442107 HAS SOUS 330728 HAS SOUPS 329314 WITH SCORE 329760.06
AT ITER 158 NEW BEST:: SOT 849908 SOS 443093 HAS SOPS 439140 HAS SOUS 328803 HAS SOUPS 327389 WITH SCORE 327832.093
AT ITER 160 NEW BEST:: SOT 849546 SOS 442730 HAS SOPS 438777 HAS SOUS 328256 HAS SOUPS 326842 WITH SCORE 327284.73
AT ITER 165 NEW BEST:: SOT 848786 SOS 442688 HAS SOPS 438735 HAS SOUS 328214 HAS SOUPS 326800 WITH SCORE 327242.688
AT ITER 166 NEW BEST:: SOT 848673 SOS 442574 HAS SOPS 438621 HAS SOUS 328100 HAS SOUPS 326686 WITH SCORE 327128.574
AT ITER 170 NEW BEST:: SOT 848673 SOS 442573 HAS SOPS 438620 HAS SOUS 328099 HAS SOUPS 326685 WITH SCORE 327127.573
AT ITER 182 NEW BEST:: SOT 848604 SOS 442503 HAS SOPS 438550 HAS SOUS 328029 HAS SOUPS 326615 WITH SCORE 327057.503
AT ITER 183 NEW BEST:: SOT 847608 SOS 441411 HAS SOPS 437458 HAS SOUS 327299 HAS SOUPS 325885 WITH SCORE 326326.411
AT ITER 188 NEW BEST:: SOT 847608 SOS 440490 HAS SOPS 436537 HAS SOUS 326971 HAS SOUPS 325557 WITH SCORE 325997.49
AT ITER 193 NEW BEST:: SOT 846997 SOS 440082 HAS SOPS 435926 HAS SOUS 326468 HAS SOUPS 324946 WITH SCORE 325386.082
AT ITER 194 NEW BEST:: SOT 846841 SOS 439874 HAS SOPS 435718 HAS SOUS 326260 HAS SOUPS 324738 WITH SCORE 325177.874
AT ITER 196 NEW BEST:: SOT 844934 SOS 438296 HAS SOPS 434140 HAS SOUS 324986 HAS SOUPS 323464 WITH SCORE 323902.296
AT ITER 198 NEW BEST:: SOT 843689 SOS 435460 HAS SOPS 431304 HAS SOUS 323424 HAS SOUPS 321902 WITH SCORE 322337.46
AT ITER 205 NEW BEST:: SOT 843568 SOS 435339 HAS SOPS 431183 HAS SOUS 323424 HAS SOUPS 321902 WITH SCORE 322337.339
AT ITER 206 NEW BEST:: SOT 843568 SOS 434734 HAS SOPS 430578 HAS SOUS 323221 HAS SOUPS 321699 WITH SCORE 322133.734
AT ITER 208 NEW BEST:: SOT 843172 SOS 434338 HAS SOPS 430182 HAS SOUS 323148 HAS SOUPS 321626 WITH SCORE 322060.338
AT ITER 209 NEW BEST:: SOT 843172 SOS 434050 HAS SOPS 429894 HAS SOUS 323030 HAS SOUPS 321508 WITH SCORE 321942.05
AT ITER 213 NEW BEST:: SOT 842108 SOS 433562 HAS SOPS 429406 HAS SOUS 322263 HAS SOUPS 320741 WITH SCORE 321174.562
AT ITER 214 NEW BEST:: SOT 841787 SOS 433241 HAS SOPS 429085 HAS SOUS 321942 HAS SOUPS 320420 WITH SCORE 320853.241
AT ITER 215 NEW BEST:: SOT 841796 SOS 431874 HAS SOPS 427718 HAS SOUS 321242 HAS SOUPS 319720 WITH SCORE 320151.874
AT ITER 217 NEW BEST:: SOT 841796 SOS 430862 HAS SOPS 426706 HAS SOUS 320794 HAS SOUPS 319272 WITH SCORE 319702.862
AT ITER 221 NEW BEST:: SOT 839590 SOS 427691 HAS SOPS 423535 HAS SOUS 319042 HAS SOUPS 317520 WITH SCORE 317947.691
AT ITER 222 NEW BEST:: SOT 838348 SOS 426160 HAS SOPS 422004 HAS SOUS 317846 HAS SOUPS 316324 WITH SCORE 316750.16
AT ITER 223 NEW BEST:: SOT 838348 SOS 425038 HAS SOPS 420882 HAS SOUS 317139 HAS SOUPS 315617 WITH SCORE 316042.038
AT ITER 225 NEW BEST:: SOT 838348 SOS 424212 HAS SOPS 420056 HAS SOUS 316726 HAS SOUPS 315204 WITH SCORE 315628.212
AT ITER 227 NEW BEST:: SOT 838348 SOS 423949 HAS SOPS 419793 HAS SOUS 316725 HAS SOUPS 315203 WITH SCORE 315626.949
AT ITER 229 NEW BEST:: SOT 838348 SOS 424127 HAS SOPS 419971 HAS SOUS 316642 HAS SOUPS 315120 WITH SCORE 315544.127
AT ITER 232 NEW BEST:: SOT 838348 SOS 423388 HAS SOPS 419232 HAS SOUS 316456 HAS SOUPS 314934 WITH SCORE 315357.388
AT ITER 235 NEW BEST:: SOT 838465 SOS 422761 HAS SOPS 418134 HAS SOUS 316295 HAS SOUPS 314302 WITH SCORE 314724.761
AT ITER 236 NEW BEST:: SOT 838162 SOS 422482 HAS SOPS 417855 HAS SOUS 316295 HAS SOUPS 314302 WITH SCORE 314724.482
AT ITER 238 NEW BEST:: SOT 835530 SOS 418228 HAS SOPS 413601 HAS SOUS 313778 HAS SOUPS 311785 WITH SCORE 312203.228
AT ITER 245 NEW BEST:: SOT 835530 SOS 417525 HAS SOPS 412898 HAS SOUS 313460 HAS SOUPS 311467 WITH SCORE 311884.525
AT ITER 252 NEW BEST:: SOT 835617 SOS 416620 HAS SOPS 411544 HAS SOUS 313041 HAS SOUPS 310599 WITH SCORE 311015.62
AT ITER 255 NEW BEST:: SOT 835617 SOS 416613 HAS SOPS 411537 HAS SOUS 313041 HAS SOUPS 310599 WITH SCORE 311015.613
AT ITER 261 NEW BEST:: SOT 835443 SOS 416439 HAS SOPS 411363 HAS SOUS 312867 HAS SOUPS 310425 WITH SCORE 310841.439
AT ITER 263 NEW BEST:: SOT 833015 SOS 414010 HAS SOPS 408934 HAS SOUS 311466 HAS SOUPS 309024 WITH SCORE 309438.01
AT ITER 265 NEW BEST:: SOT 832642 SOS 414078 HAS SOPS 408561 HAS SOUS 311324 HAS SOUPS 308651 WITH SCORE 309065.078
AT ITER 267 NEW BEST:: SOT 832642 SOS 413407 HAS SOPS 407890 HAS SOUS 311089 HAS SOUPS 308416 WITH SCORE 308829.407
AT ITER 272 NEW BEST:: SOT 832537 SOS 412739 HAS SOPS 407222 HAS SOUS 310778 HAS SOUPS 308105 WITH SCORE 308517.739
AT ITER 274 NEW BEST:: SOT 832308 SOS 412936 HAS SOPS 406993 HAS SOUS 310719 HAS SOUPS 307876 WITH SCORE 308288.936
AT ITER 275 NEW BEST:: SOT 831904 SOS 412472 HAS SOPS 406488 HAS SOUS 309785 HAS SOUPS 306901 WITH SCORE 307313.472
AT ITER 281 NEW BEST:: SOT 831904 SOS 403340 HAS SOPS 397356 HAS SOUS 309784 HAS SOUPS 306900 WITH SCORE 307303.34
AT ITER 284 NEW BEST:: SOT 832063 SOS 401949 HAS SOPS 395864 HAS SOUS 309051 HAS SOUPS 306066 WITH SCORE 306467.949
AT ITER 288 NEW BEST:: SOT 831719 SOS 401561 HAS SOPS 395476 HAS SOUS 308663 HAS SOUPS 305678 WITH SCORE 306079.561
AT ITER 292 NEW BEST:: SOT 830964 SOS 400968 HAS SOPS 394882 HAS SOUS 308334 HAS SOUPS 305348 WITH SCORE 305748.968
AT ITER 295 NEW BEST:: SOT 830964 SOS 400367 HAS SOPS 394281 HAS SOUS 308023 HAS SOUPS 305037 WITH SCORE 305437.367
AT ITER 297 NEW BEST:: SOT 830660 SOS 400062 HAS SOPS 393976 HAS SOUS 307968 HAS SOUPS 304982 WITH SCORE 305382.062
AT ITER 298 NEW BEST:: SOT 830409 SOS 400614 HAS SOPS 393522 HAS SOUS 307778 HAS SOUPS 304528 WITH SCORE 304928.614
AT ITER 301 NEW BEST:: SOT 829183 SOS 399244 HAS SOPS 392152 HAS SOUS 307053 HAS SOUPS 303803 WITH SCORE 304202.244
AT ITER 307 NEW BEST:: SOT 829040 SOS 399134 HAS SOPS 391703 HAS SOUS 306674 HAS SOUPS 303085 WITH SCORE 303484.134
AT ITER 312 NEW BEST:: SOT 828299 SOS 398393 HAS SOPS 390962 HAS SOUS 306259 HAS SOUPS 302670 WITH SCORE 303068.393
AT ITER 318 NEW BEST:: SOT 828299 SOS 398233 HAS SOPS 390802 HAS SOUS 306258 HAS SOUPS 302669 WITH SCORE 303067.233
AT ITER 319 NEW BEST:: SOT 828033 SOS 397967 HAS SOPS 390536 HAS SOUS 306258 HAS SOUPS 302669 WITH SCORE 303066.967
AT ITER 325 NEW BEST:: SOT 827896 SOS 397830 HAS SOPS 390399 HAS SOUS 306121 HAS SOUPS 302532 WITH SCORE 302929.83
AT ITER 327 NEW BEST:: SOT 827896 SOS 397325 HAS SOPS 389894 HAS SOUS 305902 HAS SOUPS 302313 WITH SCORE 302710.325
AT ITER 329 NEW BEST:: SOT 827842 SOS 397271 HAS SOPS 389840 HAS SOUS 305807 HAS SOUPS 302218 WITH SCORE 302615.271
AT ITER 330 NEW BEST:: SOT 827567 SOS 395649 HAS SOPS 388218 HAS SOUS 304699 HAS SOUPS 301110 WITH SCORE 301505.649
AT ITER 333 NEW BEST:: SOT 827566 SOS 395583 HAS SOPS 388152 HAS SOUS 304633 HAS SOUPS 301044 WITH SCORE 301439.583
AT ITER 335 NEW BEST:: SOT 827581 SOS 395533 HAS SOPS 387865 HAS SOUS 304583 HAS SOUPS 300757 WITH SCORE 301152.533
AT ITER 339 NEW BEST:: SOT 827918 SOS 395034 HAS SOPS 387366 HAS SOUS 304389 HAS SOUPS 300563 WITH SCORE 300958.034
AT ITER 340 NEW BEST:: SOT 827763 SOS 394923 HAS SOPS 387363 HAS SOUS 304373 HAS SOUPS 300560 WITH SCORE 300954.923
AT ITER 343 NEW BEST:: SOT 828108 SOS 395057 HAS SOPS 387497 HAS SOUS 304293 HAS SOUPS 300480 WITH SCORE 300875.057
AT ITER 345 NEW BEST:: SOT 828106 SOS 394042 HAS SOPS 386482 HAS SOUS 303979 HAS SOUPS 300166 WITH SCORE 300560.042
AT ITER 346 NEW BEST:: SOT 828106 SOS 393760 HAS SOPS 386200 HAS SOUS 303838 HAS SOUPS 300025 WITH SCORE 300418.76
AT ITER 347 NEW BEST:: SOT 828106 SOS 393512 HAS SOPS 385952 HAS SOUS 303707 HAS SOUPS 299894 WITH SCORE 300287.512
AT ITER 353 NEW BEST:: SOT 828106 SOS 392318 HAS SOPS 384758 HAS SOUS 302980 HAS SOUPS 299167 WITH SCORE 299559.318
AT ITER 357 NEW BEST:: SOT 827902 SOS 392113 HAS SOPS 384553 HAS SOUS 302775 HAS SOUPS 298962 WITH SCORE 299354.113
AT ITER 358 NEW BEST:: SOT 828102 SOS 391097 HAS SOPS 383006 HAS SOUS 302325 HAS SOUPS 297981 WITH SCORE 298372.097
AT ITER 359 NEW BEST:: SOT 827823 SOS 390952 HAS SOPS 382956 HAS SOUS 302180 HAS SOUPS 297931 WITH SCORE 298321.952
AT ITER 360 NEW BEST:: SOT 826472 SOS 389365 HAS SOPS 381369 HAS SOUS 301058 HAS SOUPS 296809 WITH SCORE 297198.365
AT ITER 362 NEW BEST:: SOT 826472 SOS 388957 HAS SOPS 380961 HAS SOUS 301057 HAS SOUPS 296808 WITH SCORE 297196.957
AT ITER 363 NEW BEST:: SOT 826075 SOS 388560 HAS SOPS 380564 HAS SOUS 300880 HAS SOUPS 296631 WITH SCORE 297019.56
AT ITER 366 NEW BEST:: SOT 824087 SOS 387858 HAS SOPS 379862 HAS SOUS 300342 HAS SOUPS 296093 WITH SCORE 296480.858
AT ITER 367 NEW BEST:: SOT 822887 SOS 386657 HAS SOPS 378661 HAS SOUS 299621 HAS SOUPS 295372 WITH SCORE 295758.657
AT ITER 369 NEW BEST:: SOT 822883 SOS 383858 HAS SOPS 375862 HAS SOUS 299463 HAS SOUPS 295214 WITH SCORE 295597.858
AT ITER 373 NEW BEST:: SOT 822883 SOS 383797 HAS SOPS 375801 HAS SOUS 299462 HAS SOUPS 295213 WITH SCORE 295596.797
AT ITER 379 NEW BEST:: SOT 822883 SOS 382652 HAS SOPS 374656 HAS SOUS 298889 HAS SOUPS 294640 WITH SCORE 295022.652
AT ITER 382 NEW BEST:: SOT 822677 SOS 382098 HAS SOPS 374102 HAS SOUS 298147 HAS SOUPS 293898 WITH SCORE 294280.098
AT ITER 383 NEW BEST:: SOT 822677 SOS 381437 HAS SOPS 373441 HAS SOUS 297819 HAS SOUPS 293570 WITH SCORE 293951.437
AT ITER 386 NEW BEST:: SOT 822659 SOS 381392 HAS SOPS 373396 HAS SOUS 297810 HAS SOUPS 293561 WITH SCORE 293942.392
AT ITER 387 NEW BEST:: SOT 820483 SOS 378978 HAS SOPS 370982 HAS SOUS 296529 HAS SOUPS 292280 WITH SCORE 292658.978
AT ITER 396 NEW BEST:: SOT 820483 SOS 378874 HAS SOPS 370878 HAS SOUS 296477 HAS SOUPS 292228 WITH SCORE 292606.874
AT ITER 399 NEW BEST:: SOT 820479 SOS 378870 HAS SOPS 370874 HAS SOUS 296473 HAS SOUPS 292224 WITH SCORE 292602.87
AT ITER 407 NEW BEST:: SOT 820159 SOS 379086 HAS SOPS 370982 HAS SOUS 296547 HAS SOUPS 292190 WITH SCORE 292569.086
AT ITER 408 NEW BEST:: SOT 819934 SOS 378861 HAS SOPS 370757 HAS SOUS 296125 HAS SOUPS 291768 WITH SCORE 292146.861
AT ITER 410 NEW BEST:: SOT 819588 SOS 378054 HAS SOPS 369950 HAS SOUS 295331 HAS SOUPS 290974 WITH SCORE 291352.054
AT ITER 412 NEW BEST:: SOT 818770 SOS 377254 HAS SOPS 369131 HAS SOUS 294528 HAS SOUPS 290155 WITH SCORE 290532.254
AT ITER 427 NEW BEST:: SOT 818770 SOS 377096 HAS SOPS 368973 HAS SOUS 294527 HAS SOUPS 290154 WITH SCORE 290531.096
AT ITER 432 NEW BEST:: SOT 816706 SOS 374734 HAS SOPS 366611 HAS SOUS 293042 HAS SOUPS 288669 WITH SCORE 289043.734
AT ITER 435 NEW BEST:: SOT 816682 SOS 374710 HAS SOPS 366587 HAS SOUS 293018 HAS SOUPS 288645 WITH SCORE 289019.71
AT ITER 437 NEW BEST:: SOT 816647 SOS 374675 HAS SOPS 366552 HAS SOUS 292983 HAS SOUPS 288610 WITH SCORE 288984.675
AT ITER 439 NEW BEST:: SOT 816647 SOS 373938 HAS SOPS 365815 HAS SOUS 292669 HAS SOUPS 288296 WITH SCORE 288669.938
AT ITER 440 NEW BEST:: SOT 815190 SOS 372908 HAS SOPS 364785 HAS SOUS 292209 HAS SOUPS 287836 WITH SCORE 288208.908
AT ITER 441 NEW BEST:: SOT 814475 SOS 371766 HAS SOPS 362719 HAS SOUS 291177 HAS SOUPS 286343 WITH SCORE 286714.766
AT ITER 442 NEW BEST:: SOT 813881 SOS 370881 HAS SOPS 361877 HAS SOUS 290129 HAS SOUPS 285295 WITH SCORE 285665.881
AT ITER 443 NEW BEST:: SOT 812674 SOS 368241 HAS SOPS 359237 HAS SOUS 288621 HAS SOUPS 283787 WITH SCORE 284155.241
AT ITER 444 NEW BEST:: SOT 812151 SOS 367718 HAS SOPS 358714 HAS SOUS 288353 HAS SOUPS 283519 WITH SCORE 283886.718
AT ITER 449 NEW BEST:: SOT 811887 SOS 368356 HAS SOPS 358450 HAS SOUS 288436 HAS SOUPS 283255 WITH SCORE 283623.356
AT ITER 450 NEW BEST:: SOT 811886 SOS 367440 HAS SOPS 357534 HAS SOUS 288073 HAS SOUPS 282892 WITH SCORE 283259.44
AT ITER 455 NEW BEST:: SOT 811707 SOS 367260 HAS SOPS 357354 HAS SOUS 287893 HAS SOUPS 282712 WITH SCORE 283079.26
AT ITER 456 NEW BEST:: SOT 811648 SOS 367201 HAS SOPS 357295 HAS SOUS 287831 HAS SOUPS 282650 WITH SCORE 283017.201
AT ITER 458 NEW BEST:: SOT 811615 SOS 366666 HAS SOPS 356760 HAS SOUS 287578 HAS SOUPS 282397 WITH SCORE 282763.666
AT ITER 459 NEW BEST:: SOT 811594 SOS 366631 HAS SOPS 356725 HAS SOUS 287557 HAS SOUPS 282376 WITH SCORE 282742.631
AT ITER 466 NEW BEST:: SOT 811054 SOS 366741 HAS SOPS 356835 HAS SOUS 287545 HAS SOUPS 282364 WITH SCORE 282730.741
AT ITER 467 NEW BEST:: SOT 811054 SOS 366775 HAS SOPS 356834 HAS SOUS 287579 HAS SOUPS 282363 WITH SCORE 282729.775
AT ITER 475 NEW BEST:: SOT 811054 SOS 366479 HAS SOPS 356390 HAS SOUS 287431 HAS SOUPS 282067 WITH SCORE 282433.479
AT ITER 480 NEW BEST:: SOT 809402 SOS 365227 HAS SOPS 355138 HAS SOUS 286561 HAS SOUPS 281197 WITH SCORE 281562.227
AT ITER 490 NEW BEST:: SOT 808153 SOS 365121 HAS SOPS 355032 HAS SOUS 286347 HAS SOUPS 280983 WITH SCORE 281348.121
AT ITER 492 NEW BEST:: SOT 807085 SOS 362788 HAS SOPS 352699 HAS SOUS 285224 HAS SOUPS 279860 WITH SCORE 280222.788
AT ITER 493 NEW BEST:: SOT 806942 SOS 362644 HAS SOPS 352555 HAS SOUS 285080 HAS SOUPS 279716 WITH SCORE 280078.644
AT ITER 496 NEW BEST:: SOT 806533 SOS 361107 HAS SOPS 351018 HAS SOUS 284184 HAS SOUPS 278820 WITH SCORE 279181.107
AT ITER 502 NEW BEST:: SOT 806401 SOS 360909 HAS SOPS 350820 HAS SOUS 284052 HAS SOUPS 278688 WITH SCORE 279048.909
AT ITER 503 NEW BEST:: SOT 806401 SOS 360869 HAS SOPS 350780 HAS SOUS 284012 HAS SOUPS 278648 WITH SCORE 279008.869
AT ITER 505 NEW BEST:: SOT 805689 SOS 360559 HAS SOPS 348760 HAS SOUS 282514 HAS SOUPS 276628 WITH SCORE 276988.559
AT ITER 508 NEW BEST:: SOT 805441 SOS 359908 HAS SOPS 348109 HAS SOUS 281674 HAS SOUPS 275788 WITH SCORE 276147.908
AT ITER 509 NEW BEST:: SOT 805060 SOS 359511 HAS SOPS 347712 HAS SOUS 281373 HAS SOUPS 275487 WITH SCORE 275846.511
AT ITER 510 NEW BEST:: SOT 804765 SOS 358922 HAS SOPS 347416 HAS SOUS 281077 HAS SOUPS 275191 WITH SCORE 275549.922
AT ITER 511 NEW BEST:: SOT 804765 SOS 358555 HAS SOPS 347049 HAS SOUS 280935 HAS SOUPS 275049 WITH SCORE 275407.555
AT ITER 521 NEW BEST:: SOT 804241 SOS 358104 HAS SOPS 346183 HAS SOUS 280275 HAS SOUPS 274183 WITH SCORE 274541.104
AT ITER 522 NEW BEST:: SOT 804133 SOS 357996 HAS SOPS 346075 HAS SOUS 280167 HAS SOUPS 274075 WITH SCORE 274432.996
AT ITER 527 NEW BEST:: SOT 802849 SOS 356712 HAS SOPS 344791 HAS SOUS 279311 HAS SOUPS 273219 WITH SCORE 273575.712
AT ITER 529 NEW BEST:: SOT 802757 SOS 356619 HAS SOPS 344698 HAS SOUS 279302 HAS SOUPS 273210 WITH SCORE 273566.619
AT ITER 530 NEW BEST:: SOT 802565 SOS 356331 HAS SOPS 344506 HAS SOUS 279110 HAS SOUPS 273114 WITH SCORE 273470.331
AT ITER 535 NEW BEST:: SOT 802410 SOS 356176 HAS SOPS 344351 HAS SOUS 278955 HAS SOUPS 272959 WITH SCORE 273315.176
AT ITER 536 NEW BEST:: SOT 802346 SOS 355753 HAS SOPS 343928 HAS SOUS 278560 HAS SOUPS 272564 WITH SCORE 272919.753
AT ITER 539 NEW BEST:: SOT 802346 SOS 355327 HAS SOPS 343502 HAS SOUS 278339 HAS SOUPS 272343 WITH SCORE 272698.327
AT ITER 541 NEW BEST:: SOT 802346 SOS 355083 HAS SOPS 343258 HAS SOUS 278322 HAS SOUPS 272326 WITH SCORE 272681.083
AT ITER 543 NEW BEST:: SOT 802397 SOS 355705 HAS SOPS 341966 HAS SOUS 277952 HAS SOUPS 271299 WITH SCORE 271654.705
AT ITER 551 NEW BEST:: SOT 802072 SOS 355478 HAS SOPS 341739 HAS SOUS 277668 HAS SOUPS 271015 WITH SCORE 271370.478
AT ITER 552 NEW BEST:: SOT 802072 SOS 355086 HAS SOPS 341347 HAS SOUS 277613 HAS SOUPS 270960 WITH SCORE 271315.086
AT ITER 556 NEW BEST:: SOT 802072 SOS 354555 HAS SOPS 340816 HAS SOUS 277423 HAS SOUPS 270770 WITH SCORE 271124.555
AT ITER 557 NEW BEST:: SOT 801998 SOS 354343 HAS SOPS 340604 HAS SOUS 277206 HAS SOUPS 270553 WITH SCORE 270907.343
AT ITER 560 NEW BEST:: SOT 801998 SOS 354220 HAS SOPS 340481 HAS SOUS 277124 HAS SOUPS 270471 WITH SCORE 270825.22
AT ITER 566 NEW BEST:: SOT 801788 SOS 354010 HAS SOPS 340271 HAS SOUS 277123 HAS SOUPS 270470 WITH SCORE 270824.01
AT ITER 567 NEW BEST:: SOT 801155 SOS 353377 HAS SOPS 339638 HAS SOUS 276975 HAS SOUPS 270322 WITH SCORE 270675.377
AT ITER 570 NEW BEST:: SOT 800946 SOS 353168 HAS SOPS 339428 HAS SOUS 276765 HAS SOUPS 270112 WITH SCORE 270465.168
AT ITER 573 NEW BEST:: SOT 800946 SOS 353077 HAS SOPS 339337 HAS SOUS 276719 HAS SOUPS 270066 WITH SCORE 270419.077
AT ITER 574 NEW BEST:: SOT 800945 SOS 352708 HAS SOPS 338968 HAS SOUS 276350 HAS SOUPS 269697 WITH SCORE 270049.708
AT ITER 575 NEW BEST:: SOT 801024 SOS 352810 HAS SOPS 338930 HAS SOUS 276452 HAS SOUPS 269659 WITH SCORE 270011.81
AT ITER 578 NEW BEST:: SOT 798685 SOS 349896 HAS SOPS 336016 HAS SOUS 274394 HAS SOUPS 267601 WITH SCORE 267950.896
AT ITER 579 NEW BEST:: SOT 798459 SOS 349859 HAS SOPS 335979 HAS SOUS 274357 HAS SOUPS 267564 WITH SCORE 267913.859
AT ITER 583 NEW BEST:: SOT 798345 SOS 349745 HAS SOPS 335865 HAS SOUS 274357 HAS SOUPS 267564 WITH SCORE 267913.745
AT ITER 590 NEW BEST:: SOT 798240 SOS 349639 HAS SOPS 335759 HAS SOUS 274251 HAS SOUPS 267458 WITH SCORE 267807.639
AT ITER 594 NEW BEST:: SOT 797163 SOS 348562 HAS SOPS 334682 HAS SOUS 273712 HAS SOUPS 266919 WITH SCORE 267267.562
AT ITER 610 NEW BEST:: SOT 796991 SOS 348380 HAS SOPS 334500 HAS SOUS 273368 HAS SOUPS 266575 WITH SCORE 266923.38
AT ITER 617 NEW BEST:: SOT 796227 SOS 347616 HAS SOPS 333735 HAS SOUS 273269 HAS SOUPS 266476 WITH SCORE 266823.616
AT ITER 626 NEW BEST:: SOT 796227 SOS 347615 HAS SOPS 333734 HAS SOUS 273268 HAS SOUPS 266475 WITH SCORE 266822.615
AT ITER 632 NEW BEST:: SOT 796690 SOS 346607 HAS SOPS 332530 HAS SOUS 272700 HAS SOUPS 265711 WITH SCORE 266057.607
AT ITER 634 NEW BEST:: SOT 796615 SOS 346532 HAS SOPS 332380 HAS SOUS 272600 HAS SOUPS 265561 WITH SCORE 265907.532
AT ITER 637 NEW BEST:: SOT 796614 SOS 345949 HAS SOPS 331990 HAS SOUS 272379 HAS SOUPS 265365 WITH SCORE 265710.949
AT ITER 639 NEW BEST:: SOT 796634 SOS 345861 HAS SOPS 331902 HAS SOUS 272271 HAS SOUPS 265257 WITH SCORE 265602.861
AT ITER 643 NEW BEST:: SOT 796634 SOS 345351 HAS SOPS 331392 HAS SOUS 271931 HAS SOUPS 264917 WITH SCORE 265262.351
AT ITER 645 NEW BEST:: SOT 796634 SOS 345313 HAS SOPS 331354 HAS SOUS 271928 HAS SOUPS 264914 WITH SCORE 265259.313
AT ITER 647 NEW BEST:: SOT 796616 SOS 345448 HAS SOPS 331318 HAS SOUS 272039 HAS SOUPS 264878 WITH SCORE 265223.448
AT ITER 649 NEW BEST:: SOT 796648 SOS 345322 HAS SOPS 331192 HAS SOUS 271961 HAS SOUPS 264800 WITH SCORE 265145.322
AT ITER 656 NEW BEST:: SOT 796473 SOS 344364 HAS SOPS 330912 HAS SOUS 271373 HAS SOUPS 264454 WITH SCORE 264798.364
AT ITER 661 NEW BEST:: SOT 796131 SOS 344034 HAS SOPS 330582 HAS SOUS 271211 HAS SOUPS 264292 WITH SCORE 264636.034
AT ITER 676 NEW BEST:: SOT 795951 SOS 343809 HAS SOPS 330357 HAS SOUS 270986 HAS SOUPS 264067 WITH SCORE 264410.809
AT ITER 678 NEW BEST:: SOT 795558 SOS 343412 HAS SOPS 329960 HAS SOUS 270589 HAS SOUPS 263670 WITH SCORE 264013.412
AT ITER 684 NEW BEST:: SOT 795558 SOS 343252 HAS SOPS 329860 HAS SOUS 270589 HAS SOUPS 263670 WITH SCORE 264013.252
AT ITER 685 NEW BEST:: SOT 795138 SOS 342202 HAS SOPS 328810 HAS SOUS 269959 HAS SOUPS 263040 WITH SCORE 263382.202
AT ITER 686 NEW BEST:: SOT 795126 SOS 342190 HAS SOPS 328798 HAS SOUS 269959 HAS SOUPS 263040 WITH SCORE 263382.19
AT ITER 687 NEW BEST:: SOT 794821 SOS 341940 HAS SOPS 328188 HAS SOUS 269570 HAS SOUPS 262430 WITH SCORE 262771.94
AT ITER 691 NEW BEST:: SOT 794820 SOS 340997 HAS SOPS 327245 HAS SOUS 268969 HAS SOUPS 261829 WITH SCORE 262169.997
AT ITER 693 NEW BEST:: SOT 794549 SOS 339614 HAS SOPS 326551 HAS SOUS 268618 HAS SOUPS 261699 WITH SCORE 262038.614
AT ITER 699 NEW BEST:: SOT 794406 SOS 338393 HAS SOPS 325330 HAS SOUS 267701 HAS SOUPS 260782 WITH SCORE 261120.393
AT ITER 702 NEW BEST:: SOT 794430 SOS 338029 HAS SOPS 324966 HAS SOUS 267145 HAS SOUPS 260226 WITH SCORE 260564.029
AT ITER 704 NEW BEST:: SOT 794429 SOS 337653 HAS SOPS 324682 HAS SOUS 267143 HAS SOUPS 260224 WITH SCORE 260561.653
AT ITER 715 NEW BEST:: SOT 794420 SOS 337644 HAS SOPS 324673 HAS SOUS 267134 HAS SOUPS 260215 WITH SCORE 260552.644
AT ITER 717 NEW BEST:: SOT 793740 SOS 337120 HAS SOPS 324149 HAS SOUS 266910 HAS SOUPS 259991 WITH SCORE 260328.12
AT ITER 719 NEW BEST:: SOT 793740 SOS 337109 HAS SOPS 324138 HAS SOUS 266908 HAS SOUPS 259989 WITH SCORE 260326.109
AT ITER 720 NEW BEST:: SOT 793367 SOS 336653 HAS SOPS 323779 HAS SOUS 266452 HAS SOUPS 259630 WITH SCORE 259966.653
AT ITER 727 NEW BEST:: SOT 793367 SOS 336579 HAS SOPS 323705 HAS SOUS 266452 HAS SOUPS 259630 WITH SCORE 259966.579
AT ITER 731 NEW BEST:: SOT 793134 SOS 336375 HAS SOPS 323501 HAS SOUS 266437 HAS SOUPS 259615 WITH SCORE 259951.375
AT ITER 732 NEW BEST:: SOT 792561 SOS 335278 HAS SOPS 322404 HAS SOUS 265877 HAS SOUPS 259055 WITH SCORE 259390.278
AT ITER 737 NEW BEST:: SOT 791663 SOS 334268 HAS SOPS 321309 HAS SOUS 265261 HAS SOUPS 258354 WITH SCORE 258688.268
AT ITER 738 NEW BEST:: SOT 790772 SOS 333377 HAS SOPS 320418 HAS SOUS 264688 HAS SOUPS 257781 WITH SCORE 258114.377
AT ITER 743 NEW BEST:: SOT 790907 SOS 333366 HAS SOPS 320339 HAS SOUS 264677 HAS SOUPS 257702 WITH SCORE 258035.366
AT ITER 744 NEW BEST:: SOT 789835 SOS 332061 HAS SOPS 318873 HAS SOUS 263766 HAS SOUPS 256630 WITH SCORE 256962.061
AT ITER 747 NEW BEST:: SOT 789835 SOS 332000 HAS SOPS 318812 HAS SOUS 263705 HAS SOUPS 256569 WITH SCORE 256901.0
AT ITER 748 NEW BEST:: SOT 789835 SOS 331755 HAS SOPS 318567 HAS SOUS 263632 HAS SOUPS 256496 WITH SCORE 256827.755
AT ITER 750 NEW BEST:: SOT 789835 SOS 331807 HAS SOPS 318619 HAS SOUS 263529 HAS SOUPS 256393 WITH SCORE 256724.807
AT ITER 754 NEW BEST:: SOT 789678 SOS 331650 HAS SOPS 318619 HAS SOUS 263372 HAS SOUPS 256393 WITH SCORE 256724.65
AT ITER 760 NEW BEST:: SOT 789678 SOS 331360 HAS SOPS 318039 HAS SOUS 263372 HAS SOUPS 256103 WITH SCORE 256434.36
AT ITER 763 NEW BEST:: SOT 789340 SOS 331344 HAS SOPS 318023 HAS SOUS 263225 HAS SOUPS 255956 WITH SCORE 256287.344
AT ITER 769 NEW BEST:: SOT 788553 SOS 331475 HAS SOPS 316720 HAS SOUS 262291 HAS SOUPS 254594 WITH SCORE 254925.475
AT ITER 770 NEW BEST:: SOT 786856 SOS 329045 HAS SOPS 314290 HAS SOUS 260402 HAS SOUPS 252705 WITH SCORE 253034.045
AT ITER 771 NEW BEST:: SOT 786856 SOS 328422 HAS SOPS 313667 HAS SOUS 260013 HAS SOUPS 252316 WITH SCORE 252644.422
AT ITER 772 NEW BEST:: SOT 785918 SOS 328779 HAS SOPS 314024 HAS SOUS 259420 HAS SOUPS 251723 WITH SCORE 252051.779
AT ITER 778 NEW BEST:: SOT 785837 SOS 328455 HAS SOPS 313700 HAS SOUS 259177 HAS SOUPS 251480 WITH SCORE 251808.455
AT ITER 784 NEW BEST:: SOT 785978 SOS 327707 HAS SOPS 312952 HAS SOUS 259008 HAS SOUPS 251311 WITH SCORE 251638.707
AT ITER 785 NEW BEST:: SOT 785978 SOS 327392 HAS SOPS 312951 HAS SOUS 259007 HAS SOUPS 251310 WITH SCORE 251637.392
AT ITER 790 NEW BEST:: SOT 785478 SOS 326724 HAS SOPS 312283 HAS SOUS 258542 HAS SOUPS 250845 WITH SCORE 251171.724
AT ITER 793 NEW BEST:: SOT 785415 SOS 326395 HAS SOPS 311954 HAS SOUS 258213 HAS SOUPS 250516 WITH SCORE 250842.395
AT ITER 797 NEW BEST:: SOT 785418 SOS 326223 HAS SOPS 311640 HAS SOUS 257899 HAS SOUPS 250202 WITH SCORE 250528.223
AT ITER 806 NEW BEST:: SOT 784908 SOS 325406 HAS SOPS 310813 HAS SOUS 256876 HAS SOUPS 249169 WITH SCORE 249494.406
AT ITER 807 NEW BEST:: SOT 784908 SOS 324336 HAS SOPS 309743 HAS SOUS 256359 HAS SOUPS 248652 WITH SCORE 248976.336
AT ITER 820 NEW BEST:: SOT 784870 SOS 323875 HAS SOPS 309443 HAS SOUS 256148 HAS SOUPS 248602 WITH SCORE 248925.875
AT ITER 831 NEW BEST:: SOT 785087 SOS 323774 HAS SOPS 309342 HAS SOUS 255975 HAS SOUPS 248429 WITH SCORE 248752.774
AT ITER 833 NEW BEST:: SOT 784763 SOS 322735 HAS SOPS 308303 HAS SOUS 255313 HAS SOUPS 247767 WITH SCORE 248089.735
AT ITER 836 NEW BEST:: SOT 784437 SOS 322162 HAS SOPS 307730 HAS SOUS 254551 HAS SOUPS 247005 WITH SCORE 247327.162
AT ITER 837 NEW BEST:: SOT 783254 SOS 321261 HAS SOPS 306829 HAS SOUS 253893 HAS SOUPS 246347 WITH SCORE 246668.261
AT ITER 838 NEW BEST:: SOT 782061 SOS 320067 HAS SOPS 305635 HAS SOUS 253301 HAS SOUPS 245755 WITH SCORE 246075.067
AT ITER 846 NEW BEST:: SOT 781617 SOS 319622 HAS SOPS 305190 HAS SOUS 253129 HAS SOUPS 245583 WITH SCORE 245902.622
AT ITER 857 NEW BEST:: SOT 781528 SOS 319894 HAS SOPS 305462 HAS SOUS 253107 HAS SOUPS 245561 WITH SCORE 245880.894
AT ITER 859 NEW BEST:: SOT 781362 SOS 319455 HAS SOPS 305023 HAS SOUS 252834 HAS SOUPS 245288 WITH SCORE 245607.455
AT ITER 864 NEW BEST:: SOT 781024 SOS 319117 HAS SOPS 304684 HAS SOUS 252707 HAS SOUPS 245160 WITH SCORE 245479.117
AT ITER 866 NEW BEST:: SOT 781002 SOS 319062 HAS SOPS 304629 HAS SOUS 252696 HAS SOUPS 245149 WITH SCORE 245468.062
AT ITER 867 NEW BEST:: SOT 780937 SOS 318430 HAS SOPS 303997 HAS SOUS 252253 HAS SOUPS 244706 WITH SCORE 245024.43
AT ITER 872 NEW BEST:: SOT 780613 SOS 318106 HAS SOPS 303673 HAS SOUS 251938 HAS SOUPS 244391 WITH SCORE 244709.106
AT ITER 878 NEW BEST:: SOT 780456 SOS 317949 HAS SOPS 303515 HAS SOUS 251781 HAS SOUPS 244233 WITH SCORE 244550.949
AT ITER 888 NEW BEST:: SOT 780472 SOS 316609 HAS SOPS 302072 HAS SOUS 250888 HAS SOUPS 243237 WITH SCORE 243553.609
AT ITER 889 NEW BEST:: SOT 780463 SOS 316268 HAS SOPS 301731 HAS SOUS 250553 HAS SOUPS 242902 WITH SCORE 243218.268
AT ITER 895 NEW BEST:: SOT 780188 SOS 314972 HAS SOPS 300864 HAS SOUS 250329 HAS SOUPS 242704 WITH SCORE 243018.972
AT ITER 899 NEW BEST:: SOT 777653 SOS 312738 HAS SOPS 298630 HAS SOUS 248991 HAS SOUPS 241366 WITH SCORE 241678.738
AT ITER 903 NEW BEST:: SOT 777593 SOS 312588 HAS SOPS 298480 HAS SOUS 248961 HAS SOUPS 241336 WITH SCORE 241648.588
AT ITER 906 NEW BEST:: SOT 777470 SOS 312683 HAS SOPS 298379 HAS SOUS 249056 HAS SOUPS 241235 WITH SCORE 241547.683
AT ITER 912 NEW BEST:: SOT 777257 SOS 312262 HAS SOPS 297953 HAS SOUS 248935 HAS SOUPS 241110 WITH SCORE 241422.262
AT ITER 919 NEW BEST:: SOT 776584 SOS 311485 HAS SOPS 297176 HAS SOUS 248494 HAS SOUPS 240669 WITH SCORE 240980.485
AT ITER 927 NEW BEST:: SOT 776134 SOS 311277 HAS SOPS 296726 HAS SOUS 248171 HAS SOUPS 240219 WITH SCORE 240530.277
AT ITER 929 NEW BEST:: SOT 775270 SOS 309981 HAS SOPS 295862 HAS SOUS 247411 HAS SOUPS 239891 WITH SCORE 240200.981
AT ITER 930 NEW BEST:: SOT 775023 SOS 309591 HAS SOPS 295472 HAS SOUS 246836 HAS SOUPS 239316 WITH SCORE 239625.591
AT ITER 932 NEW BEST:: SOT 775124 SOS 309530 HAS SOPS 295411 HAS SOUS 246775 HAS SOUPS 239255 WITH SCORE 239564.53
AT ITER 936 NEW BEST:: SOT 774236 SOS 308589 HAS SOPS 294470 HAS SOUS 246158 HAS SOUPS 238638 WITH SCORE 238946.589
AT ITER 937 NEW BEST:: SOT 773286 SOS 307690 HAS SOPS 293571 HAS SOUS 245213 HAS SOUPS 237693 WITH SCORE 238000.69
AT ITER 942 NEW BEST:: SOT 773062 SOS 307130 HAS SOPS 293011 HAS SOUS 245101 HAS SOUPS 237581 WITH SCORE 237888.13
AT ITER 945 NEW BEST:: SOT 772504 SOS 306367 HAS SOPS 292248 HAS SOUS 244691 HAS SOUPS 237171 WITH SCORE 237477.367
AT ITER 952 NEW BEST:: SOT 772461 SOS 306247 HAS SOPS 292128 HAS SOUS 244555 HAS SOUPS 237035 WITH SCORE 237341.247
AT ITER 955 NEW BEST:: SOT 772393 SOS 306179 HAS SOPS 292060 HAS SOUS 244487 HAS SOUPS 236967 WITH SCORE 237273.179
AT ITER 970 NEW BEST:: SOT 772741 SOS 306545 HAS SOPS 291986 HAS SOUS 244840 HAS SOUPS 236893 WITH SCORE 237199.545
AT ITER 983 NEW BEST:: SOT 772740 SOS 306617 HAS SOPS 291935 HAS SOUS 244789 HAS SOUPS 236842 WITH SCORE 237148.617
AT ITER 984 NEW BEST:: SOT 772739 SOS 306641 HAS SOPS 291959 HAS SOUS 244788 HAS SOUPS 236841 WITH SCORE 237147.641
AT ITER 991 NEW BEST:: SOT 771950 SOS 305544 HAS SOPS 290923 HAS SOUS 243752 HAS SOUPS 235805 WITH SCORE 236110.544
AT ITER 993 NEW BEST:: SOT 771790 SOS 305144 HAS SOPS 290523 HAS SOUS 243592 HAS SOUPS 235645 WITH SCORE 235950.144
AT ITER 1002 NEW BEST:: SOT 771544 SOS 304349 HAS SOPS 289728 HAS SOUS 242797 HAS SOUPS 234850 WITH SCORE 235154.349
AT ITER 1003 NEW BEST:: SOT 769714 SOS 303420 HAS SOPS 288799 HAS SOUS 242586 HAS SOUPS 234639 WITH SCORE 234942.42
AT ITER 1007 NEW BEST:: SOT 769714 SOS 302994 HAS SOPS 288373 HAS SOUS 242302 HAS SOUPS 234355 WITH SCORE 234657.994
AT ITER 1009 NEW BEST:: SOT 769714 SOS 302390 HAS SOPS 287907 HAS SOUS 242146 HAS SOUPS 234199 WITH SCORE 234501.39
AT ITER 1015 NEW BEST:: SOT 769637 SOS 302236 HAS SOPS 287753 HAS SOUS 241992 HAS SOUPS 234045 WITH SCORE 234347.236
AT ITER 1018 NEW BEST:: SOT 769496 SOS 302095 HAS SOPS 287612 HAS SOUS 241945 HAS SOUPS 233998 WITH SCORE 234300.095
AT ITER 1023 NEW BEST:: SOT 769235 SOS 301834 HAS SOPS 287351 HAS SOUS 241684 HAS SOUPS 233737 WITH SCORE 234038.834
AT ITER 1027 NEW BEST:: SOT 769235 SOS 301771 HAS SOPS 287288 HAS SOUS 241621 HAS SOUPS 233674 WITH SCORE 233975.771
AT ITER 1031 NEW BEST:: SOT 769235 SOS 301626 HAS SOPS 287000 HAS SOUS 241353 HAS SOUPS 233406 WITH SCORE 233707.626
AT ITER 1039 NEW BEST:: SOT 769166 SOS 301451 HAS SOPS 286825 HAS SOUS 241194 HAS SOUPS 233247 WITH SCORE 233548.451
AT ITER 1044 NEW BEST:: SOT 768855 SOS 301139 HAS SOPS 286513 HAS SOUS 241136 HAS SOUPS 233189 WITH SCORE 233490.139
AT ITER 1046 NEW BEST:: SOT 768809 SOS 300808 HAS SOPS 286182 HAS SOUS 240924 HAS SOUPS 232977 WITH SCORE 233277.808
AT ITER 1049 NEW BEST:: SOT 768809 SOS 300842 HAS SOPS 286165 HAS SOUS 240924 HAS SOUPS 232960 WITH SCORE 233260.842
AT ITER 1051 NEW BEST:: SOT 768809 SOS 300452 HAS SOPS 285775 HAS SOUS 240900 HAS SOUPS 232936 WITH SCORE 233236.452
AT ITER 1054 NEW BEST:: SOT 768467 SOS 300324 HAS SOPS 285647 HAS SOUS 240672 HAS SOUPS 232708 WITH SCORE 233008.324
AT ITER 1058 NEW BEST:: SOT 768517 SOS 300265 HAS SOPS 285588 HAS SOUS 240613 HAS SOUPS 232649 WITH SCORE 232949.265
AT ITER 1061 NEW BEST:: SOT 768046 SOS 299592 HAS SOPS 284863 HAS SOUS 240194 HAS SOUPS 232178 WITH SCORE 232477.592
AT ITER 1062 NEW BEST:: SOT 767945 SOS 299490 HAS SOPS 284660 HAS SOUS 239991 HAS SOUPS 231975 WITH SCORE 232274.49
AT ITER 1066 NEW BEST:: SOT 767945 SOS 298869 HAS SOPS 284039 HAS SOUS 239718 HAS SOUPS 231702 WITH SCORE 232000.869
AT ITER 1073 NEW BEST:: SOT 767695 SOS 298883 HAS SOPS 283993 HAS SOUS 239732 HAS SOUPS 231656 WITH SCORE 231954.883
AT ITER 1093 NEW BEST:: SOT 767695 SOS 298829 HAS SOPS 283838 HAS SOUS 239577 HAS SOUPS 231501 WITH SCORE 231799.829
AT ITER 1094 NEW BEST:: SOT 765949 SOS 296672 HAS SOPS 281681 HAS SOUS 238154 HAS SOUPS 230078 WITH SCORE 230374.672
AT ITER 1095 NEW BEST:: SOT 765827 SOS 296922 HAS SOPS 281559 HAS SOUS 238314 HAS SOUPS 229956 WITH SCORE 230252.922
AT ITER 1101 NEW BEST:: SOT 765783 SOS 296878 HAS SOPS 281515 HAS SOUS 238270 HAS SOUPS 229912 WITH SCORE 230208.878
AT ITER 1103 NEW BEST:: SOT 765615 SOS 296710 HAS SOPS 281347 HAS SOUS 238102 HAS SOUPS 229744 WITH SCORE 230040.71
AT ITER 1107 NEW BEST:: SOT 765430 SOS 296372 HAS SOPS 281003 HAS SOUS 238045 HAS SOUPS 229685 WITH SCORE 229981.372
AT ITER 1109 NEW BEST:: SOT 765430 SOS 296321 HAS SOPS 280952 HAS SOUS 238045 HAS SOUPS 229685 WITH SCORE 229981.321
AT ITER 1110 NEW BEST:: SOT 765430 SOS 295868 HAS SOPS 280499 HAS SOUS 238045 HAS SOUPS 229685 WITH SCORE 229980.868
AT ITER 1111 NEW BEST:: SOT 765262 SOS 295470 HAS SOPS 280101 HAS SOUS 237759 HAS SOUPS 229399 WITH SCORE 229694.47
AT ITER 1120 NEW BEST:: SOT 765180 SOS 295432 HAS SOPS 280063 HAS SOUS 237751 HAS SOUPS 229391 WITH SCORE 229686.432
AT ITER 1122 NEW BEST:: SOT 765180 SOS 295492 HAS SOPS 280123 HAS SOUS 237716 HAS SOUPS 229356 WITH SCORE 229651.492
AT ITER 1124 NEW BEST:: SOT 765037 SOS 294918 HAS SOPS 279549 HAS SOUS 237155 HAS SOUPS 228795 WITH SCORE 229089.918
AT ITER 1133 NEW BEST:: SOT 764098 SOS 294685 HAS SOPS 279417 HAS SOUS 237053 HAS SOUPS 228794 WITH SCORE 229088.685
AT ITER 1137 NEW BEST:: SOT 763591 SOS 294078 HAS SOPS 278810 HAS SOUS 236799 HAS SOUPS 228540 WITH SCORE 228834.078
AT ITER 1139 NEW BEST:: SOT 763591 SOS 294078 HAS SOPS 278810 HAS SOUS 236735 HAS SOUPS 228476 WITH SCORE 228770.078
AT ITER 1141 NEW BEST:: SOT 763582 SOS 294069 HAS SOPS 278798 HAS SOUS 236726 HAS SOUPS 228464 WITH SCORE 228758.069
AT ITER 1147 NEW BEST:: SOT 763526 SOS 294013 HAS SOPS 278742 HAS SOUS 236670 HAS SOUPS 228408 WITH SCORE 228702.013
AT ITER 1157 NEW BEST:: SOT 763456 SOS 293873 HAS SOPS 278602 HAS SOUS 236565 HAS SOUPS 228303 WITH SCORE 228596.873
AT ITER 1159 NEW BEST:: SOT 763100 SOS 294474 HAS SOPS 278093 HAS SOUS 236487 HAS SOUPS 227794 WITH SCORE 228088.474
AT ITER 1165 NEW BEST:: SOT 762994 SOS 294222 HAS SOPS 277841 HAS SOUS 236363 HAS SOUPS 227670 WITH SCORE 227964.222
AT ITER 1172 NEW BEST:: SOT 762994 SOS 294168 HAS SOPS 277840 HAS SOUS 236349 HAS SOUPS 227669 WITH SCORE 227963.168
AT ITER 1187 NEW BEST:: SOT 762918 SOS 294108 HAS SOPS 277840 HAS SOUS 236289 HAS SOUPS 227669 WITH SCORE 227963.108
AT ITER 1198 NEW BEST:: SOT 762917 SOS 294107 HAS SOPS 277838 HAS SOUS 236287 HAS SOUPS 227667 WITH SCORE 227961.107
AT ITER 1204 NEW BEST:: SOT 762866 SOS 293801 HAS SOPS 277532 HAS SOUS 236185 HAS SOUPS 227565 WITH SCORE 227858.801
AT ITER 1208 NEW BEST:: SOT 763005 SOS 292726 HAS SOPS 276417 HAS SOUS 235120 HAS SOUPS 226460 WITH SCORE 226752.726
AT ITER 1211 NEW BEST:: SOT 762948 SOS 292669 HAS SOPS 276360 HAS SOUS 235063 HAS SOUPS 226403 WITH SCORE 226695.669
AT ITER 1215 NEW BEST:: SOT 762480 SOS 291798 HAS SOPS 275489 HAS SOUS 233992 HAS SOUPS 225332 WITH SCORE 225623.798
AT ITER 1216 NEW BEST:: SOT 762443 SOS 291723 HAS SOPS 275414 HAS SOUS 233917 HAS SOUPS 225257 WITH SCORE 225548.723
AT ITER 1217 NEW BEST:: SOT 762186 SOS 291005 HAS SOPS 274696 HAS SOUS 233457 HAS SOUPS 224797 WITH SCORE 225088.005
AT ITER 1229 NEW BEST:: SOT 762127 SOS 290946 HAS SOPS 274637 HAS SOUS 233398 HAS SOUPS 224738 WITH SCORE 225028.946
AT ITER 1232 NEW BEST:: SOT 761897 SOS 290577 HAS SOPS 274268 HAS SOUS 233029 HAS SOUPS 224369 WITH SCORE 224659.577
AT ITER 1236 NEW BEST:: SOT 761897 SOS 289963 HAS SOPS 273654 HAS SOUS 232855 HAS SOUPS 224195 WITH SCORE 224484.963
AT ITER 1238 NEW BEST:: SOT 761897 SOS 289963 HAS SOPS 273628 HAS SOUS 232855 HAS SOUPS 224169 WITH SCORE 224458.963
AT ITER 1239 NEW BEST:: SOT 761851 SOS 289917 HAS SOPS 273582 HAS SOUS 232763 HAS SOUPS 224077 WITH SCORE 224366.917
AT ITER 1242 NEW BEST:: SOT 761736 SOS 289007 HAS SOPS 272672 HAS SOUS 232738 HAS SOUPS 224052 WITH SCORE 224341.007
AT ITER 1245 NEW BEST:: SOT 761703 SOS 288823 HAS SOPS 272251 HAS SOUS 232520 HAS SOUPS 223597 WITH SCORE 223885.823
AT ITER 1251 NEW BEST:: SOT 761635 SOS 288548 HAS SOPS 271976 HAS SOUS 232416 HAS SOUPS 223493 WITH SCORE 223781.548
AT ITER 1252 NEW BEST:: SOT 761210 SOS 288475 HAS SOPS 271903 HAS SOUS 232343 HAS SOUPS 223420 WITH SCORE 223708.475
AT ITER 1256 NEW BEST:: SOT 760858 SOS 288123 HAS SOPS 271551 HAS SOUS 232205 HAS SOUPS 223282 WITH SCORE 223570.123
AT ITER 1263 NEW BEST:: SOT 760857 SOS 287710 HAS SOPS 271222 HAS SOUS 231979 HAS SOUPS 223140 WITH SCORE 223427.71
AT ITER 1265 NEW BEST:: SOT 760357 SOS 287697 HAS SOPS 271209 HAS SOUS 231966 HAS SOUPS 223127 WITH SCORE 223414.697
AT ITER 1267 NEW BEST:: SOT 760357 SOS 287752 HAS SOPS 271099 HAS SOUS 231911 HAS SOUPS 223017 WITH SCORE 223304.752
AT ITER 1270 NEW BEST:: SOT 760356 SOS 287734 HAS SOPS 271080 HAS SOUS 231893 HAS SOUPS 222998 WITH SCORE 223285.734
AT ITER 1274 NEW BEST:: SOT 760367 SOS 287269 HAS SOPS 270346 HAS SOUS 231221 HAS SOUPS 222057 WITH SCORE 222344.269
AT ITER 1277 NEW BEST:: SOT 760404 SOS 287317 HAS SOPS 270358 HAS SOUS 231038 HAS SOUPS 221838 WITH SCORE 222125.317
AT ITER 1280 NEW BEST:: SOT 760384 SOS 287297 HAS SOPS 270338 HAS SOUS 231038 HAS SOUPS 221838 WITH SCORE 222125.297
AT ITER 1281 NEW BEST:: SOT 760340 SOS 287211 HAS SOPS 270252 HAS SOUS 230996 HAS SOUPS 221796 WITH SCORE 222083.211
AT ITER 1286 NEW BEST:: SOT 760317 SOS 285146 HAS SOPS 268187 HAS SOUS 230587 HAS SOUPS 221387 WITH SCORE 221672.146
AT ITER 1289 NEW BEST:: SOT 760403 SOS 285312 HAS SOPS 268359 HAS SOUS 230545 HAS SOUPS 221347 WITH SCORE 221632.312
AT ITER 1290 NEW BEST:: SOT 760491 SOS 284992 HAS SOPS 268039 HAS SOUS 230360 HAS SOUPS 221162 WITH SCORE 221446.992
AT ITER 1309 NEW BEST:: SOT 760118 SOS 284648 HAS SOPS 267695 HAS SOUS 229970 HAS SOUPS 220772 WITH SCORE 221056.648
AT ITER 1311 NEW BEST:: SOT 760022 SOS 284504 HAS SOPS 267551 HAS SOUS 229874 HAS SOUPS 220676 WITH SCORE 220960.504
AT ITER 1330 NEW BEST:: SOT 760022 SOS 284314 HAS SOPS 267361 HAS SOUS 229684 HAS SOUPS 220486 WITH SCORE 220770.314
AT ITER 1334 NEW BEST:: SOT 760022 SOS 284462 HAS SOPS 267282 HAS SOUS 229605 HAS SOUPS 220407 WITH SCORE 220691.462
AT ITER 1335 NEW BEST:: SOT 759972 SOS 285009 HAS SOPS 267232 HAS SOUS 229805 HAS SOUPS 220357 WITH SCORE 220642.009
AT ITER 1344 NEW BEST:: SOT 759795 SOS 284639 HAS SOPS 266878 HAS SOUS 229435 HAS SOUPS 220003 WITH SCORE 220287.639
AT ITER 1345 NEW BEST:: SOT 759174 SOS 284552 HAS SOPS 266257 HAS SOUS 228997 HAS SOUPS 219382 WITH SCORE 219666.552
AT ITER 1349 NEW BEST:: SOT 759044 SOS 284162 HAS SOPS 266127 HAS SOUS 228880 HAS SOUPS 219330 WITH SCORE 219614.162
AT ITER 1356 NEW BEST:: SOT 758745 SOS 283862 HAS SOPS 265827 HAS SOUS 228580 HAS SOUPS 219030 WITH SCORE 219313.862
AT ITER 1357 NEW BEST:: SOT 758614 SOS 283580 HAS SOPS 265545 HAS SOUS 228167 HAS SOUPS 218617 WITH SCORE 218900.58
AT ITER 1360 NEW BEST:: SOT 757459 SOS 282090 HAS SOPS 264055 HAS SOUS 227125 HAS SOUPS 217575 WITH SCORE 217857.09
AT ITER 1362 NEW BEST:: SOT 757459 SOS 282089 HAS SOPS 264054 HAS SOUS 227124 HAS SOUPS 217574 WITH SCORE 217856.089
AT ITER 1369 NEW BEST:: SOT 757459 SOS 282069 HAS SOPS 264034 HAS SOUS 227104 HAS SOUPS 217554 WITH SCORE 217836.069
AT ITER 1373 NEW BEST:: SOT 757404 SOS 281965 HAS SOPS 263930 HAS SOUS 227000 HAS SOUPS 217450 WITH SCORE 217731.965
AT ITER 1385 NEW BEST:: SOT 757316 SOS 281789 HAS SOPS 263754 HAS SOUS 226946 HAS SOUPS 217396 WITH SCORE 217677.789
AT ITER 1390 NEW BEST:: SOT 756666 SOS 280814 HAS SOPS 262779 HAS SOUS 226296 HAS SOUPS 216746 WITH SCORE 217026.814
AT ITER 1393 NEW BEST:: SOT 756428 SOS 281294 HAS SOPS 262323 HAS SOUS 226253 HAS SOUPS 216290 WITH SCORE 216571.294
AT ITER 1397 NEW BEST:: SOT 756428 SOS 280976 HAS SOPS 262176 HAS SOUS 226253 HAS SOUPS 216290 WITH SCORE 216570.976
AT ITER 1403 NEW BEST:: SOT 756411 SOS 280975 HAS SOPS 262175 HAS SOUS 226252 HAS SOUPS 216289 WITH SCORE 216569.975
AT ITER 1405 NEW BEST:: SOT 756254 SOS 280818 HAS SOPS 262018 HAS SOUS 226095 HAS SOUPS 216132 WITH SCORE 216412.818
AT ITER 1414 NEW BEST:: SOT 756251 SOS 280813 HAS SOPS 262013 HAS SOUS 226092 HAS SOUPS 216129 WITH SCORE 216409.813
AT ITER 1415 NEW BEST:: SOT 755835 SOS 280343 HAS SOPS 261543 HAS SOUS 225572 HAS SOUPS 215609 WITH SCORE 215889.343
AT ITER 1419 NEW BEST:: SOT 755747 SOS 280021 HAS SOPS 261534 HAS SOUS 225563 HAS SOUPS 215600 WITH SCORE 215880.021
AT ITER 1420 NEW BEST:: SOT 755399 SOS 279468 HAS SOPS 260981 HAS SOUS 224996 HAS SOUPS 215033 WITH SCORE 215312.468
AT ITER 1425 NEW BEST:: SOT 755375 SOS 279444 HAS SOPS 260933 HAS SOUS 224972 HAS SOUPS 214985 WITH SCORE 215264.444
AT ITER 1434 NEW BEST:: SOT 755375 SOS 279240 HAS SOPS 260729 HAS SOUS 224948 HAS SOUPS 214961 WITH SCORE 215240.24
AT ITER 1441 NEW BEST:: SOT 755216 SOS 279081 HAS SOPS 260569 HAS SOUS 224946 HAS SOUPS 214959 WITH SCORE 215238.081
AT ITER 1457 NEW BEST:: SOT 755216 SOS 279140 HAS SOPS 260178 HAS SOUS 224855 HAS SOUPS 214718 WITH SCORE 214997.14
AT ITER 1462 NEW BEST:: SOT 755075 SOS 278999 HAS SOPS 260037 HAS SOUS 224714 HAS SOUPS 214577 WITH SCORE 214855.999
AT ITER 1469 NEW BEST:: SOT 754900 SOS 278615 HAS SOPS 259653 HAS SOUS 224538 HAS SOUPS 214401 WITH SCORE 214679.615
AT ITER 1485 NEW BEST:: SOT 754900 SOS 278581 HAS SOPS 259619 HAS SOUS 224521 HAS SOUPS 214384 WITH SCORE 214662.581
AT ITER 1489 NEW BEST:: SOT 754888 SOS 278417 HAS SOPS 259455 HAS SOUS 224497 HAS SOUPS 214360 WITH SCORE 214638.417
AT ITER 1492 NEW BEST:: SOT 754637 SOS 277997 HAS SOPS 259056 HAS SOUS 224098 HAS SOUPS 213961 WITH SCORE 214238.997
AT ITER 1494 NEW BEST:: SOT 754403 SOS 277763 HAS SOPS 258822 HAS SOUS 224020 HAS SOUPS 213883 WITH SCORE 214160.763
AT ITER 1497 NEW BEST:: SOT 754302 SOS 277559 HAS SOPS 258618 HAS SOUS 223965 HAS SOUPS 213828 WITH SCORE 214105.559
AT ITER 1501 NEW BEST:: SOT 753426 SOS 276683 HAS SOPS 257742 HAS SOUS 223451 HAS SOUPS 213314 WITH SCORE 213590.683
AT ITER 1509 NEW BEST:: SOT 753364 SOS 276437 HAS SOPS 257558 HAS SOUS 223391 HAS SOUPS 213254 WITH SCORE 213530.437
AT ITER 1513 NEW BEST:: SOT 753105 SOS 275761 HAS SOPS 256882 HAS SOUS 222529 HAS SOUPS 212392 WITH SCORE 212667.761
AT ITER 1524 NEW BEST:: SOT 753105 SOS 275293 HAS SOPS 256648 HAS SOUS 222529 HAS SOUPS 212392 WITH SCORE 212667.293
AT ITER 1527 NEW BEST:: SOT 753061 SOS 275249 HAS SOPS 256604 HAS SOUS 222485 HAS SOUPS 212348 WITH SCORE 212623.249
AT ITER 1533 NEW BEST:: SOT 752849 SOS 274837 HAS SOPS 256604 HAS SOUS 222273 HAS SOUPS 212348 WITH SCORE 212622.837
AT ITER 1538 NEW BEST:: SOT 752730 SOS 274545 HAS SOPS 256312 HAS SOUS 221981 HAS SOUPS 212056 WITH SCORE 212330.545
AT ITER 1540 NEW BEST:: SOT 752724 SOS 274536 HAS SOPS 256303 HAS SOUS 221975 HAS SOUPS 212050 WITH SCORE 212324.536
AT ITER 1558 NEW BEST:: SOT 752257 SOS 274270 HAS SOPS 256037 HAS SOUS 221709 HAS SOUPS 211784 WITH SCORE 212058.27
AT ITER 1562 NEW BEST:: SOT 752022 SOS 273830 HAS SOPS 255597 HAS SOUS 221269 HAS SOUPS 211344 WITH SCORE 211617.83
AT ITER 1579 NEW BEST:: SOT 751780 SOS 273733 HAS SOPS 255500 HAS SOUS 221172 HAS SOUPS 211247 WITH SCORE 211520.733
AT ITER 1581 NEW BEST:: SOT 751761 SOS 273676 HAS SOPS 255443 HAS SOUS 221153 HAS SOUPS 211228 WITH SCORE 211501.676
AT ITER 1592 NEW BEST:: SOT 751428 SOS 272938 HAS SOPS 254705 HAS SOUS 220685 HAS SOUPS 210760 WITH SCORE 211032.938
AT ITER 1593 NEW BEST:: SOT 751428 SOS 272935 HAS SOPS 254702 HAS SOUS 220682 HAS SOUPS 210757 WITH SCORE 211029.935
AT ITER 1596 NEW BEST:: SOT 751256 SOS 272801 HAS SOPS 254530 HAS SOUS 220548 HAS SOUPS 210585 WITH SCORE 210857.801
AT ITER 1597 NEW BEST:: SOT 751170 SOS 272586 HAS SOPS 254315 HAS SOUS 220462 HAS SOUPS 210499 WITH SCORE 210771.586
AT ITER 1598 NEW BEST:: SOT 751165 SOS 272576 HAS SOPS 254305 HAS SOUS 220452 HAS SOUPS 210489 WITH SCORE 210761.576
AT ITER 1605 NEW BEST:: SOT 751062 SOS 271729 HAS SOPS 253458 HAS SOUS 220207 HAS SOUPS 210244 WITH SCORE 210515.729
AT ITER 1607 NEW BEST:: SOT 751116 SOS 271168 HAS SOPS 252897 HAS SOUS 220016 HAS SOUPS 210053 WITH SCORE 210324.168
AT ITER 1612 NEW BEST:: SOT 751116 SOS 270971 HAS SOPS 252700 HAS SOUS 219976 HAS SOUPS 210013 WITH SCORE 210283.971
AT ITER 1615 NEW BEST:: SOT 751006 SOS 270655 HAS SOPS 252384 HAS SOUS 219643 HAS SOUPS 209680 WITH SCORE 209950.655
AT ITER 1617 NEW BEST:: SOT 750988 SOS 270625 HAS SOPS 252354 HAS SOUS 219625 HAS SOUPS 209662 WITH SCORE 209932.625
AT ITER 1619 NEW BEST:: SOT 750271 SOS 269224 HAS SOPS 250945 HAS SOUS 218570 HAS SOUPS 208599 WITH SCORE 208868.224
AT ITER 1629 NEW BEST:: SOT 749577 SOS 268952 HAS SOPS 250673 HAS SOUS 218355 HAS SOUPS 208384 WITH SCORE 208652.952
AT ITER 1646 NEW BEST:: SOT 749540 SOS 268915 HAS SOPS 250636 HAS SOUS 218355 HAS SOUPS 208384 WITH SCORE 208652.915
AT ITER 1656 NEW BEST:: SOT 749424 SOS 268799 HAS SOPS 250520 HAS SOUS 218297 HAS SOUPS 208326 WITH SCORE 208594.799
AT ITER 1657 NEW BEST:: SOT 748580 SOS 267955 HAS SOPS 249517 HAS SOUS 217771 HAS SOUPS 207641 WITH SCORE 207908.955
AT ITER 1665 NEW BEST:: SOT 749088 SOS 268000 HAS SOPS 249542 HAS SOUS 217427 HAS SOUPS 207277 WITH SCORE 207545.0
AT ITER 1668 NEW BEST:: SOT 749062 SOS 267974 HAS SOPS 249516 HAS SOUS 217427 HAS SOUPS 207277 WITH SCORE 207544.974
AT ITER 1673 NEW BEST:: SOT 747569 SOS 266481 HAS SOPS 248023 HAS SOUS 216450 HAS SOUPS 206300 WITH SCORE 206566.481
AT ITER 1675 NEW BEST:: SOT 747474 SOS 266020 HAS SOPS 247562 HAS SOUS 216064 HAS SOUPS 205914 WITH SCORE 206180.02
AT ITER 1688 NEW BEST:: SOT 747370 SOS 266018 HAS SOPS 247560 HAS SOUS 216012 HAS SOUPS 205862 WITH SCORE 206128.018
AT ITER 1694 NEW BEST:: SOT 747291 SOS 265921 HAS SOPS 247522 HAS SOUS 215915 HAS SOUPS 205824 WITH SCORE 206089.921
AT ITER 1700 NEW BEST:: SOT 747344 SOS 265902 HAS SOPS 247503 HAS SOUS 215896 HAS SOUPS 205805 WITH SCORE 206070.902
AT ITER 1706 NEW BEST:: SOT 747780 SOS 265952 HAS SOPS 247553 HAS SOUS 215880 HAS SOUPS 205789 WITH SCORE 206054.952
AT ITER 1710 NEW BEST:: SOT 747826 SOS 265722 HAS SOPS 247323 HAS SOUS 215648 HAS SOUPS 205557 WITH SCORE 205822.722
AT ITER 1719 NEW BEST:: SOT 746050 SOS 263862 HAS SOPS 245463 HAS SOUS 214258 HAS SOUPS 204167 WITH SCORE 204430.862
AT ITER 1723 NEW BEST:: SOT 746036 SOS 263841 HAS SOPS 245442 HAS SOUS 214230 HAS SOUPS 204139 WITH SCORE 204402.841
AT ITER 1724 NEW BEST:: SOT 745731 SOS 263296 HAS SOPS 244788 HAS SOUS 213685 HAS SOUPS 203485 WITH SCORE 203748.296
AT ITER 1726 NEW BEST:: SOT 744325 SOS 262448 HAS SOPS 243638 HAS SOUS 212592 HAS SOUPS 202392 WITH SCORE 202654.448
AT ITER 1727 NEW BEST:: SOT 744001 SOS 263261 HAS SOPS 243290 HAS SOUS 212613 HAS SOUPS 202040 WITH SCORE 202303.261
AT ITER 1741 NEW BEST:: SOT 743626 SOS 263412 HAS SOPS 242537 HAS SOUS 212224 HAS SOUPS 201241 WITH SCORE 201504.412
AT ITER 1743 NEW BEST:: SOT 743538 SOS 263324 HAS SOPS 242449 HAS SOUS 212224 HAS SOUPS 201241 WITH SCORE 201504.324
AT ITER 1776 NEW BEST:: SOT 742282 SOS 261423 HAS SOPS 240373 HAS SOUS 210911 HAS SOUPS 199761 WITH SCORE 200022.423
AT ITER 1780 NEW BEST:: SOT 742282 SOS 261016 HAS SOPS 239966 HAS SOUS 210440 HAS SOUPS 199290 WITH SCORE 199551.016
AT ITER 1791 NEW BEST:: SOT 742269 SOS 261003 HAS SOPS 239953 HAS SOUS 210427 HAS SOUPS 199277 WITH SCORE 199538.003
AT ITER 1796 NEW BEST:: SOT 742163 SOS 260897 HAS SOPS 239847 HAS SOUS 210230 HAS SOUPS 199080 WITH SCORE 199340.897
AT ITER 1799 NEW BEST:: SOT 742342 SOS 260718 HAS SOPS 239668 HAS SOUS 210230 HAS SOUPS 199080 WITH SCORE 199340.718
AT ITER 1802 NEW BEST:: SOT 742072 SOS 260445 HAS SOPS 239226 HAS SOUS 209922 HAS SOUPS 198772 WITH SCORE 199032.445
AT ITER 1803 NEW BEST:: SOT 741482 SOS 260575 HAS SOPS 238611 HAS SOUS 209629 HAS SOUPS 198157 WITH SCORE 198417.575
AT ITER 1804 NEW BEST:: SOT 741350 SOS 260326 HAS SOPS 238362 HAS SOUS 209458 HAS SOUPS 197986 WITH SCORE 198246.326
AT ITER 1807 NEW BEST:: SOT 741273 SOS 260249 HAS SOPS 238264 HAS SOUS 209388 HAS SOUPS 197916 WITH SCORE 198176.249
AT ITER 1809 NEW BEST:: SOT 741289 SOS 260222 HAS SOPS 238237 HAS SOUS 209340 HAS SOUPS 197868 WITH SCORE 198128.222
AT ITER 1813 NEW BEST:: SOT 741289 SOS 260058 HAS SOPS 238073 HAS SOUS 209323 HAS SOUPS 197851 WITH SCORE 198111.058
AT ITER 1814 NEW BEST:: SOT 741289 SOS 260058 HAS SOPS 238073 HAS SOUS 209310 HAS SOUPS 197838 WITH SCORE 198098.058
AT ITER 1815 NEW BEST:: SOT 740352 SOS 259121 HAS SOPS 237136 HAS SOUS 208373 HAS SOUPS 196901 WITH SCORE 197160.121
AT ITER 1817 NEW BEST:: SOT 740184 SOS 258953 HAS SOPS 236968 HAS SOUS 208247 HAS SOUPS 196775 WITH SCORE 197033.953
AT ITER 1822 NEW BEST:: SOT 739298 SOS 256508 HAS SOPS 234523 HAS SOUS 206433 HAS SOUPS 194961 WITH SCORE 195217.508
AT ITER 1823 NEW BEST:: SOT 739210 SOS 256332 HAS SOPS 234435 HAS SOUS 206367 HAS SOUPS 194917 WITH SCORE 195173.332
AT ITER 1829 NEW BEST:: SOT 739015 SOS 256026 HAS SOPS 234045 HAS SOUS 205977 HAS SOUPS 194527 WITH SCORE 194783.026
AT ITER 1831 NEW BEST:: SOT 739495 SOS 256522 HAS SOPS 234010 HAS SOUS 205957 HAS SOUPS 194507 WITH SCORE 194763.522
AT ITER 1837 NEW BEST:: SOT 739557 SOS 256645 HAS SOPS 234133 HAS SOUS 205892 HAS SOUPS 194442 WITH SCORE 194698.645
AT ITER 1841 NEW BEST:: SOT 739375 SOS 256240 HAS SOPS 233728 HAS SOUS 205487 HAS SOUPS 194037 WITH SCORE 194293.24
AT ITER 1844 NEW BEST:: SOT 739168 SOS 256033 HAS SOPS 233314 HAS SOUS 205280 HAS SOUPS 193623 WITH SCORE 193879.033
AT ITER 1845 NEW BEST:: SOT 739168 SOS 255930 HAS SOPS 233096 HAS SOUS 205177 HAS SOUPS 193405 WITH SCORE 193660.93
AT ITER 1846 NEW BEST:: SOT 739168 SOS 255604 HAS SOPS 232770 HAS SOUS 205161 HAS SOUPS 193389 WITH SCORE 193644.604
AT ITER 1858 NEW BEST:: SOT 739168 SOS 255368 HAS SOPS 232534 HAS SOUS 205117 HAS SOUPS 193345 WITH SCORE 193600.368
AT ITER 1859 NEW BEST:: SOT 739174 SOS 255693 HAS SOPS 231331 HAS SOUS 204720 HAS SOUPS 192523 WITH SCORE 192778.693
AT ITER 1861 NEW BEST:: SOT 739191 SOS 255672 HAS SOPS 231310 HAS SOUS 204700 HAS SOUPS 192503 WITH SCORE 192758.672
AT ITER 1888 NEW BEST:: SOT 739132 SOS 255606 HAS SOPS 231192 HAS SOUS 204653 HAS SOUPS 192385 WITH SCORE 192640.606
AT ITER 1900 NEW BEST:: SOT 738704 SOS 255515 HAS SOPS 231142 HAS SOUS 204612 HAS SOUPS 192385 WITH SCORE 192640.515
AT ITER 1917 NEW BEST:: SOT 738704 SOS 255375 HAS SOPS 231072 HAS SOUS 204542 HAS SOUPS 192385 WITH SCORE 192640.375
AT ITER 1922 NEW BEST:: SOT 738692 SOS 255459 HAS SOPS 231156 HAS SOUS 204524 HAS SOUPS 192367 WITH SCORE 192622.459
AT ITER 1926 NEW BEST:: SOT 738649 SOS 255405 HAS SOPS 231003 HAS SOUS 204427 HAS SOUPS 192214 WITH SCORE 192469.405
AT ITER 1936 NEW BEST:: SOT 738827 SOS 255494 HAS SOPS 230941 HAS SOUS 204507 HAS SOUPS 192143 WITH SCORE 192398.494
AT ITER 1940 NEW BEST:: SOT 738827 SOS 255220 HAS SOPS 230393 HAS SOUS 204507 HAS SOUPS 191869 WITH SCORE 192124.22
AT ITER 1948 NEW BEST:: SOT 738403 SOS 254822 HAS SOPS 229995 HAS SOUS 204493 HAS SOUPS 191855 WITH SCORE 192109.822
AT ITER 1950 NEW BEST:: SOT 738241 SOS 254498 HAS SOPS 229671 HAS SOUS 204331 HAS SOUPS 191693 WITH SCORE 191947.498
AT ITER 1968 NEW BEST:: SOT 738189 SOS 254368 HAS SOPS 229541 HAS SOUS 204253 HAS SOUPS 191615 WITH SCORE 191869.368
AT ITER 1969 NEW BEST:: SOT 737986 SOS 254165 HAS SOPS 229331 HAS SOUS 204043 HAS SOUPS 191405 WITH SCORE 191659.165
AT ITER 1973 NEW BEST:: SOT 737616 SOS 254116 HAS SOPS 228057 HAS SOUS 203078 HAS SOUPS 190077 WITH SCORE 190331.116
AT ITER 1976 NEW BEST:: SOT 737454 SOS 253954 HAS SOPS 227895 HAS SOUS 202916 HAS SOUPS 189915 WITH SCORE 190168.954
AT ITER 1994 NEW BEST:: SOT 737386 SOS 253871 HAS SOPS 227812 HAS SOUS 202780 HAS SOUPS 189779 WITH SCORE 190032.871
AT ITER 1995 NEW BEST:: SOT 737081 SOS 253650 HAS SOPS 227591 HAS SOUS 202634 HAS SOUPS 189633 WITH SCORE 189886.65
AT ITER 2001 NEW BEST:: SOT 737013 SOS 253514 HAS SOPS 227523 HAS SOUS 202555 HAS SOUPS 189565 WITH SCORE 189818.514
AT ITER 2004 NEW BEST:: SOT 736914 SOS 253035 HAS SOPS 227044 HAS SOUS 202281 HAS SOUPS 189291 WITH SCORE 189544.035
AT ITER 2007 NEW BEST:: SOT 736914 SOS 252980 HAS SOPS 226989 HAS SOUS 202281 HAS SOUPS 189291 WITH SCORE 189543.98
AT ITER 2010 NEW BEST:: SOT 736724 SOS 251668 HAS SOPS 225677 HAS SOUS 201360 HAS SOUPS 188370 WITH SCORE 188621.668
AT ITER 2015 NEW BEST:: SOT 736735 SOS 251675 HAS SOPS 225615 HAS SOUS 201386 HAS SOUPS 188327 WITH SCORE 188578.675
AT ITER 2018 NEW BEST:: SOT 736910 SOS 251850 HAS SOPS 225487 HAS SOUS 201423 HAS SOUPS 188199 WITH SCORE 188450.85
AT ITER 2032 NEW BEST:: SOT 736624 SOS 251503 HAS SOPS 224915 HAS SOUS 200851 HAS SOUPS 187627 WITH SCORE 187878.503
AT ITER 2042 NEW BEST:: SOT 735947 SOS 251387 HAS SOPS 224799 HAS SOUS 200654 HAS SOUPS 187430 WITH SCORE 187681.387
AT ITER 2058 NEW BEST:: SOT 735889 SOS 251329 HAS SOPS 224741 HAS SOUS 200626 HAS SOUPS 187402 WITH SCORE 187653.329
AT ITER 2062 NEW BEST:: SOT 735877 SOS 251188 HAS SOPS 224644 HAS SOUS 200571 HAS SOUPS 187347 WITH SCORE 187598.188
AT ITER 2085 NEW BEST:: SOT 735877 SOS 251292 HAS SOPS 224592 HAS SOUS 200571 HAS SOUPS 187295 WITH SCORE 187546.292
AT ITER 2095 NEW BEST:: SOT 735755 SOS 251015 HAS SOPS 224394 HAS SOUS 200373 HAS SOUPS 187097 WITH SCORE 187348.015
AT ITER 2100 NEW BEST:: SOT 735629 SOS 250826 HAS SOPS 224205 HAS SOUS 200310 HAS SOUPS 187034 WITH SCORE 187284.826
AT ITER 2111 NEW BEST:: SOT 735552 SOS 250779 HAS SOPS 224157 HAS SOUS 200290 HAS SOUPS 187014 WITH SCORE 187264.779
AT ITER 2117 NEW BEST:: SOT 735484 SOS 250690 HAS SOPS 224068 HAS SOUS 200269 HAS SOUPS 186993 WITH SCORE 187243.69
AT ITER 2118 NEW BEST:: SOT 735484 SOS 250548 HAS SOPS 223926 HAS SOUS 200209 HAS SOUPS 186933 WITH SCORE 187183.548
AT ITER 2132 NEW BEST:: SOT 735498 SOS 250534 HAS SOPS 223912 HAS SOUS 200195 HAS SOUPS 186919 WITH SCORE 187169.534
AT ITER 2135 NEW BEST:: SOT 735395 SOS 250431 HAS SOPS 223809 HAS SOUS 200181 HAS SOUPS 186905 WITH SCORE 187155.431
AT ITER 2173 NEW BEST:: SOT 735479 SOS 250730 HAS SOPS 223704 HAS SOUS 200260 HAS SOUPS 186832 WITH SCORE 187082.73
AT ITER 2195 NEW BEST:: SOT 735411 SOS 250662 HAS SOPS 223636 HAS SOUS 200192 HAS SOUPS 186764 WITH SCORE 187014.662
AT ITER 2198 NEW BEST:: SOT 735470 SOS 251030 HAS SOPS 223592 HAS SOUS 200251 HAS SOUPS 186720 WITH SCORE 186971.03
AT ITER 2200 NEW BEST:: SOT 735424 SOS 250938 HAS SOPS 223500 HAS SOUS 200159 HAS SOUPS 186628 WITH SCORE 186878.938
AT ITER 2220 NEW BEST:: SOT 734342 SOS 249885 HAS SOPS 222447 HAS SOUS 199513 HAS SOUPS 185982 WITH SCORE 186231.885
AT ITER 2236 NEW BEST:: SOT 734692 SOS 250472 HAS SOPS 222458 HAS SOUS 199620 HAS SOUPS 185945 WITH SCORE 186195.472
AT ITER 2240 NEW BEST:: SOT 734692 SOS 250244 HAS SOPS 222004 HAS SOUS 199166 HAS SOUPS 185491 WITH SCORE 185741.244
AT ITER 2245 NEW BEST:: SOT 734682 SOS 250234 HAS SOPS 221994 HAS SOUS 199165 HAS SOUPS 185490 WITH SCORE 185740.234
AT ITER 2248 NEW BEST:: SOT 733956 SOS 248820 HAS SOPS 220580 HAS SOUS 198477 HAS SOUPS 184802 WITH SCORE 185050.82
AT ITER 2265 NEW BEST:: SOT 733706 SOS 248648 HAS SOPS 220408 HAS SOUS 198271 HAS SOUPS 184596 WITH SCORE 184844.648
AT ITER 2270 NEW BEST:: SOT 733754 SOS 248670 HAS SOPS 220430 HAS SOUS 198261 HAS SOUPS 184586 WITH SCORE 184834.67
AT ITER 2271 NEW BEST:: SOT 733850 SOS 248378 HAS SOPS 219988 HAS SOUS 197819 HAS SOUPS 184144 WITH SCORE 184392.378
AT ITER 2273 NEW BEST:: SOT 733830 SOS 248244 HAS SOPS 219854 HAS SOUS 197761 HAS SOUPS 184086 WITH SCORE 184334.244
AT ITER 2279 NEW BEST:: SOT 733683 SOS 248097 HAS SOPS 219707 HAS SOUS 197663 HAS SOUPS 183988 WITH SCORE 184236.097
AT ITER 2288 NEW BEST:: SOT 733683 SOS 248179 HAS SOPS 219625 HAS SOUS 197634 HAS SOUPS 183918 WITH SCORE 184166.179
AT ITER 2290 NEW BEST:: SOT 733624 SOS 248099 HAS SOPS 219507 HAS SOUS 197554 HAS SOUPS 183800 WITH SCORE 184048.099
AT ITER 2298 NEW BEST:: SOT 733624 SOS 248108 HAS SOPS 219507 HAS SOUS 197554 HAS SOUPS 183791 WITH SCORE 184039.108
AT ITER 2328 NEW BEST:: SOT 733279 SOS 246343 HAS SOPS 219343 HAS SOUS 197035 HAS SOUPS 183690 WITH SCORE 183936.343
AT ITER 2335 NEW BEST:: SOT 733235 SOS 246206 HAS SOPS 219226 HAS SOUS 196898 HAS SOUPS 183573 WITH SCORE 183819.206
AT ITER 2346 NEW BEST:: SOT 733181 SOS 246098 HAS SOPS 219118 HAS SOUS 196844 HAS SOUPS 183519 WITH SCORE 183765.098
AT ITER 2349 NEW BEST:: SOT 733181 SOS 246229 HAS SOPS 219249 HAS SOUS 196779 HAS SOUPS 183454 WITH SCORE 183700.229
AT ITER 2359 NEW BEST:: SOT 732790 SOS 245838 HAS SOPS 218833 HAS SOUS 196607 HAS SOUPS 183282 WITH SCORE 183527.838
AT ITER 2380 NEW BEST:: SOT 732790 SOS 245730 HAS SOPS 218779 HAS SOUS 196553 HAS SOUPS 183282 WITH SCORE 183527.73
AT ITER 2385 NEW BEST:: SOT 732379 SOS 245355 HAS SOPS 218404 HAS SOUS 196178 HAS SOUPS 182907 WITH SCORE 183152.355
AT ITER 2392 NEW BEST:: SOT 732379 SOS 245503 HAS SOPS 218256 HAS SOUS 196104 HAS SOUPS 182759 WITH SCORE 183004.503
AT ITER 2406 NEW BEST:: SOT 732379 SOS 245494 HAS SOPS 218247 HAS SOUS 196095 HAS SOUPS 182750 WITH SCORE 182995.494
AT ITER 2407 NEW BEST:: SOT 732380 SOS 245495 HAS SOPS 218248 HAS SOUS 196088 HAS SOUPS 182743 WITH SCORE 182988.495
AT ITER 2417 NEW BEST:: SOT 732196 SOS 244939 HAS SOPS 217692 HAS SOUS 195716 HAS SOUPS 182371 WITH SCORE 182615.939
AT ITER 2422 NEW BEST:: SOT 732196 SOS 244590 HAS SOPS 217343 HAS SOUS 195545 HAS SOUPS 182200 WITH SCORE 182444.59
AT ITER 2441 NEW BEST:: SOT 732174 SOS 244557 HAS SOPS 217310 HAS SOUS 195523 HAS SOUPS 182178 WITH SCORE 182422.557
AT ITER 2458 NEW BEST:: SOT 732046 SOS 244432 HAS SOPS 217185 HAS SOUS 195398 HAS SOUPS 182053 WITH SCORE 182297.432
AT ITER 2461 NEW BEST:: SOT 732028 SOS 244786 HAS SOPS 216353 HAS SOUS 195293 HAS SOUPS 181593 WITH SCORE 181837.786
AT ITER 2462 NEW BEST:: SOT 732127 SOS 244972 HAS SOPS 216335 HAS SOUS 195288 HAS SOUPS 181575 WITH SCORE 181819.972
AT ITER 2466 NEW BEST:: SOT 732022 SOS 244830 HAS SOPS 216286 HAS SOUS 195239 HAS SOUPS 181526 WITH SCORE 181770.83
AT ITER 2477 NEW BEST:: SOT 732002 SOS 244810 HAS SOPS 216266 HAS SOUS 195219 HAS SOUPS 181506 WITH SCORE 181750.81
AT ITER 2484 NEW BEST:: SOT 731941 SOS 244284 HAS SOPS 215740 HAS SOUS 195028 HAS SOUPS 181315 WITH SCORE 181559.284
AT ITER 2495 NEW BEST:: SOT 731520 SOS 243320 HAS SOPS 214901 HAS SOUS 194090 HAS SOUPS 180377 WITH SCORE 180620.32
AT ITER 2497 NEW BEST:: SOT 731510 SOS 243300 HAS SOPS 214891 HAS SOUS 194080 HAS SOUPS 180367 WITH SCORE 180610.3
AT ITER 2502 NEW BEST:: SOT 731510 SOS 243094 HAS SOPS 214685 HAS SOUS 193977 HAS SOUPS 180264 WITH SCORE 180507.094
AT ITER 2505 NEW BEST:: SOT 731318 SOS 243019 HAS SOPS 214610 HAS SOUS 193902 HAS SOUPS 180189 WITH SCORE 180432.019
AT ITER 2509 NEW BEST:: SOT 731215 SOS 242989 HAS SOPS 214378 HAS SOUS 193769 HAS SOUPS 179960 WITH SCORE 180202.989
AT ITER 2513 NEW BEST:: SOT 731020 SOS 242430 HAS SOPS 213819 HAS SOUS 193210 HAS SOUPS 179401 WITH SCORE 179643.43
AT ITER 2537 NEW BEST:: SOT 731020 SOS 242429 HAS SOPS 213818 HAS SOUS 193209 HAS SOUPS 179400 WITH SCORE 179642.429
AT ITER 2538 NEW BEST:: SOT 730812 SOS 241882 HAS SOPS 212989 HAS SOUS 192796 HAS SOUPS 178779 WITH SCORE 179020.882
AT ITER 2549 NEW BEST:: SOT 730811 SOS 241371 HAS SOPS 212478 HAS SOUS 192540 HAS SOUPS 178523 WITH SCORE 178764.371
AT ITER 2550 NEW BEST:: SOT 730049 SOS 256220 HAS SOPS 227327 HAS SOUS 191759 HAS SOUPS 177742 WITH SCORE 177998.22
AT ITER 2554 NEW BEST:: SOT 729653 SOS 255658 HAS SOPS 226765 HAS SOUS 191363 HAS SOUPS 177346 WITH SCORE 177601.658
AT ITER 2555 NEW BEST:: SOT 729753 SOS 255484 HAS SOPS 226802 HAS SOUS 191311 HAS SOUPS 177294 WITH SCORE 177549.484
AT ITER 2559 NEW BEST:: SOT 729314 SOS 254922 HAS SOPS 226240 HAS SOUS 190926 HAS SOUPS 176909 WITH SCORE 177163.922
AT ITER 2562 NEW BEST:: SOT 729193 SOS 254801 HAS SOPS 226022 HAS SOUS 190781 HAS SOUPS 176667 WITH SCORE 176921.801
AT ITER 2566 NEW BEST:: SOT 728070 SOS 252995 HAS SOPS 224216 HAS SOUS 189606 HAS SOUPS 175492 WITH SCORE 175744.995
AT ITER 2572 NEW BEST:: SOT 727995 SOS 252920 HAS SOPS 224141 HAS SOUS 189531 HAS SOUPS 175417 WITH SCORE 175669.92
AT ITER 2582 NEW BEST:: SOT 727846 SOS 252458 HAS SOPS 223580 HAS SOUS 189313 HAS SOUPS 175100 WITH SCORE 175352.458
AT ITER 2596 NEW BEST:: SOT 727801 SOS 252413 HAS SOPS 223535 HAS SOUS 189277 HAS SOUPS 175064 WITH SCORE 175316.413
AT ITER 2600 NEW BEST:: SOT 727621 SOS 252143 HAS SOPS 223265 HAS SOUS 189007 HAS SOUPS 174794 WITH SCORE 175046.143
AT ITER 2602 NEW BEST:: SOT 727624 SOS 252146 HAS SOPS 223202 HAS SOUS 189029 HAS SOUPS 174750 WITH SCORE 175002.146
AT ITER 2616 NEW BEST:: SOT 727460 SOS 251818 HAS SOPS 223038 HAS SOUS 188865 HAS SOUPS 174586 WITH SCORE 174837.818
AT ITER 2622 NEW BEST:: SOT 727250 SOS 251617 HAS SOPS 222679 HAS SOUS 188603 HAS SOUPS 174166 WITH SCORE 174417.617
AT ITER 2627 NEW BEST:: SOT 727190 SOS 251383 HAS SOPS 222445 HAS SOUS 188525 HAS SOUPS 174088 WITH SCORE 174339.383
AT ITER 2628 NEW BEST:: SOT 725603 SOS 249954 HAS SOPS 221016 HAS SOUS 187628 HAS SOUPS 173191 WITH SCORE 173440.954
AT ITER 2635 NEW BEST:: SOT 724671 SOS 247996 HAS SOPS 220108 HAS SOUS 186715 HAS SOUPS 172682 WITH SCORE 172929.996
AT ITER 2636 NEW BEST:: SOT 724795 SOS 247816 HAS SOPS 219928 HAS SOUS 186584 HAS SOUPS 172551 WITH SCORE 172798.816
AT ITER 2665 NEW BEST:: SOT 724547 SOS 247320 HAS SOPS 219432 HAS SOUS 186332 HAS SOUPS 172299 WITH SCORE 172546.32
AT ITER 2672 NEW BEST:: SOT 724522 SOS 247270 HAS SOPS 219382 HAS SOUS 186307 HAS SOUPS 172274 WITH SCORE 172521.27
AT ITER 2677 NEW BEST:: SOT 724626 SOS 247374 HAS SOPS 219486 HAS SOUS 186060 HAS SOUPS 172027 WITH SCORE 172274.374
AT ITER 2681 NEW BEST:: SOT 724626 SOS 247226 HAS SOPS 219338 HAS SOUS 185862 HAS SOUPS 171829 WITH SCORE 172076.226
AT ITER 2682 NEW BEST:: SOT 724649 SOS 247307 HAS SOPS 219360 HAS SOUS 185907 HAS SOUPS 171815 WITH SCORE 172062.307
AT ITER 2694 NEW BEST:: SOT 724605 SOS 247241 HAS SOPS 219294 HAS SOUS 185863 HAS SOUPS 171771 WITH SCORE 172018.241
AT ITER 2695 NEW BEST:: SOT 724605 SOS 247015 HAS SOPS 219294 HAS SOUS 185863 HAS SOUPS 171771 WITH SCORE 172018.015
AT ITER 2697 NEW BEST:: SOT 724001 SOS 246411 HAS SOPS 218690 HAS SOUS 185622 HAS SOUPS 171530 WITH SCORE 171776.411
AT ITER 2699 NEW BEST:: SOT 724106 SOS 246516 HAS SOPS 218795 HAS SOUS 185514 HAS SOUPS 171422 WITH SCORE 171668.516
AT ITER 2706 NEW BEST:: SOT 724188 SOS 246598 HAS SOPS 218877 HAS SOUS 185446 HAS SOUPS 171354 WITH SCORE 171600.598
AT ITER 2720 NEW BEST:: SOT 724117 SOS 246484 HAS SOPS 218763 HAS SOUS 185332 HAS SOUPS 171240 WITH SCORE 171486.484
AT ITER 2724 NEW BEST:: SOT 723996 SOS 246363 HAS SOPS 218642 HAS SOUS 185211 HAS SOUPS 171119 WITH SCORE 171365.363
AT ITER 2742 NEW BEST:: SOT 724057 SOS 246345 HAS SOPS 218612 HAS SOUS 185181 HAS SOUPS 171089 WITH SCORE 171335.345
AT ITER 2744 NEW BEST:: SOT 724057 SOS 246781 HAS SOPS 218456 HAS SOUS 185173 HAS SOUPS 170933 WITH SCORE 171179.781
AT ITER 2752 NEW BEST:: SOT 724168 SOS 246708 HAS SOPS 218383 HAS SOUS 185038 HAS SOUPS 170798 WITH SCORE 171044.708
AT ITER 2755 NEW BEST:: SOT 724170 SOS 246563 HAS SOPS 218238 HAS SOUS 185033 HAS SOUPS 170793 WITH SCORE 171039.563
AT ITER 2757 NEW BEST:: SOT 724104 SOS 246429 HAS SOPS 218104 HAS SOUS 184965 HAS SOUPS 170725 WITH SCORE 170971.429
AT ITER 2768 NEW BEST:: SOT 724439 SOS 246582 HAS SOPS 218128 HAS SOUS 184769 HAS SOUPS 170400 WITH SCORE 170646.582
AT ITER 2774 NEW BEST:: SOT 724451 SOS 246531 HAS SOPS 217988 HAS SOUS 184667 HAS SOUPS 170260 WITH SCORE 170506.531
AT ITER 2775 NEW BEST:: SOT 724378 SOS 246477 HAS SOPS 217934 HAS SOUS 184613 HAS SOUPS 170206 WITH SCORE 170452.477
AT ITER 2776 NEW BEST:: SOT 724309 SOS 246339 HAS SOPS 217865 HAS SOUS 184488 HAS SOUPS 170137 WITH SCORE 170383.339
AT ITER 2787 NEW BEST:: SOT 724727 SOS 246617 HAS SOPS 217940 HAS SOUS 184646 HAS SOUPS 170092 WITH SCORE 170338.617
AT ITER 2788 NEW BEST:: SOT 724675 SOS 246674 HAS SOPS 217997 HAS SOUS 184542 HAS SOUPS 169988 WITH SCORE 170234.674
AT ITER 2797 NEW BEST:: SOT 724675 SOS 246472 HAS SOPS 217795 HAS SOUS 184477 HAS SOUPS 169923 WITH SCORE 170169.472
AT ITER 2802 NEW BEST:: SOT 724323 SOS 247371 HAS SOPS 217443 HAS SOUS 184574 HAS SOUPS 169571 WITH SCORE 169818.371
AT ITER 2803 NEW BEST:: SOT 724374 SOS 247620 HAS SOPS 217692 HAS SOUS 184404 HAS SOUPS 169401 WITH SCORE 169648.62
AT ITER 2805 NEW BEST:: SOT 723928 SOS 247174 HAS SOPS 217246 HAS SOUS 183958 HAS SOUPS 168955 WITH SCORE 169202.174
AT ITER 2810 NEW BEST:: SOT 723953 SOS 247123 HAS SOPS 217112 HAS SOUS 183869 HAS SOUPS 168821 WITH SCORE 169068.123
AT ITER 2811 NEW BEST:: SOT 723561 SOS 246788 HAS SOPS 216777 HAS SOUS 183684 HAS SOUPS 168636 WITH SCORE 168882.788
AT ITER 2812 NEW BEST:: SOT 723413 SOS 246752 HAS SOPS 216741 HAS SOUS 183641 HAS SOUPS 168593 WITH SCORE 168839.752
AT ITER 2820 NEW BEST:: SOT 723413 SOS 246532 HAS SOPS 216724 HAS SOUS 183421 HAS SOUPS 168576 WITH SCORE 168822.532
AT ITER 2823 NEW BEST:: SOT 723413 SOS 246413 HAS SOPS 216605 HAS SOUS 183421 HAS SOUPS 168576 WITH SCORE 168822.413
AT ITER 2825 NEW BEST:: SOT 723413 SOS 246856 HAS SOPS 216370 HAS SOUS 183405 HAS SOUPS 168341 WITH SCORE 168587.856
AT ITER 2828 NEW BEST:: SOT 723017 SOS 246411 HAS SOPS 215925 HAS SOUS 182960 HAS SOUPS 167896 WITH SCORE 168142.411
AT ITER 2830 NEW BEST:: SOT 722915 SOS 245473 HAS SOPS 214987 HAS SOUS 182770 HAS SOUPS 167706 WITH SCORE 167951.473
AT ITER 2831 NEW BEST:: SOT 722777 SOS 245335 HAS SOPS 214711 HAS SOUS 182632 HAS SOUPS 167430 WITH SCORE 167675.335
AT ITER 2838 NEW BEST:: SOT 722536 SOS 245629 HAS SOPS 215005 HAS SOUS 182538 HAS SOUPS 167336 WITH SCORE 167581.629
AT ITER 2865 NEW BEST:: SOT 722565 SOS 245524 HAS SOPS 214900 HAS SOUS 182452 HAS SOUPS 167250 WITH SCORE 167495.524
AT ITER 2867 NEW BEST:: SOT 722534 SOS 245493 HAS SOPS 214838 HAS SOUS 182421 HAS SOUPS 167188 WITH SCORE 167433.493
AT ITER 2875 NEW BEST:: SOT 722534 SOS 245529 HAS SOPS 214820 HAS SOUS 182427 HAS SOUPS 167170 WITH SCORE 167415.529
AT ITER 2921 NEW BEST:: SOT 722504 SOS 245515 HAS SOPS 214806 HAS SOUS 182389 HAS SOUPS 167132 WITH SCORE 167377.515
AT ITER 2942 NEW BEST:: SOT 722405 SOS 245332 HAS SOPS 214623 HAS SOUS 182276 HAS SOUPS 167019 WITH SCORE 167264.332
AT ITER 2945 NEW BEST:: SOT 722163 SOS 244431 HAS SOPS 213880 HAS SOUS 181689 HAS SOUPS 166590 WITH SCORE 166834.431
AT ITER 2951 NEW BEST:: SOT 721505 SOS 243773 HAS SOPS 213222 HAS SOUS 181367 HAS SOUPS 166268 WITH SCORE 166511.773
AT ITER 2959 NEW BEST:: SOT 721405 SOS 242863 HAS SOPS 212312 HAS SOUS 181167 HAS SOUPS 166068 WITH SCORE 166310.863
AT ITER 2983 NEW BEST:: SOT 721325 SOS 242783 HAS SOPS 212232 HAS SOUS 181167 HAS SOUPS 166068 WITH SCORE 166310.783
AT ITER 3015 NEW BEST:: SOT 721121 SOS 242593 HAS SOPS 212042 HAS SOUS 180963 HAS SOUPS 165864 WITH SCORE 166106.593
AT ITER 3017 NEW BEST:: SOT 721273 SOS 243692 HAS SOPS 211455 HAS SOUS 180863 HAS SOUPS 165277 WITH SCORE 165520.692
AT ITER 3023 NEW BEST:: SOT 720995 SOS 243232 HAS SOPS 210995 HAS SOUS 180125 HAS SOUPS 164539 WITH SCORE 164782.232
AT ITER 3024 NEW BEST:: SOT 720995 SOS 243199 HAS SOPS 210962 HAS SOUS 180092 HAS SOUPS 164506 WITH SCORE 164749.199
AT ITER 3025 NEW BEST:: SOT 720995 SOS 243181 HAS SOPS 210944 HAS SOUS 180083 HAS SOUPS 164497 WITH SCORE 164740.181
AT ITER 3035 NEW BEST:: SOT 720743 SOS 243067 HAS SOPS 210573 HAS SOUS 179803 HAS SOUPS 164190 WITH SCORE 164433.067
AT ITER 3047 NEW BEST:: SOT 720743 SOS 243047 HAS SOPS 210553 HAS SOUS 179803 HAS SOUPS 164190 WITH SCORE 164433.047
AT ITER 3050 NEW BEST:: SOT 720732 SOS 243013 HAS SOPS 210518 HAS SOUS 179769 HAS SOUPS 164155 WITH SCORE 164398.013
AT ITER 3053 NEW BEST:: SOT 720774 SOS 242837 HAS SOPS 210177 HAS SOUS 179729 HAS SOUPS 163950 WITH SCORE 164192.837
AT ITER 3059 NEW BEST:: SOT 721466 SOS 243433 HAS SOPS 210743 HAS SOUS 179516 HAS SOUPS 163707 WITH SCORE 163950.433
AT ITER 3062 NEW BEST:: SOT 721250 SOS 243278 HAS SOPS 210588 HAS SOUS 179378 HAS SOUPS 163569 WITH SCORE 163812.278
AT ITER 3076 NEW BEST:: SOT 721487 SOS 243145 HAS SOPS 210455 HAS SOUS 179071 HAS SOUPS 163262 WITH SCORE 163505.145
AT ITER 3077 NEW BEST:: SOT 720983 SOS 242514 HAS SOPS 209824 HAS SOUS 178615 HAS SOUPS 162806 WITH SCORE 163048.514
AT ITER 3080 NEW BEST:: SOT 720887 SOS 242128 HAS SOPS 209448 HAS SOUS 178359 HAS SOUPS 162560 WITH SCORE 162802.128
AT ITER 3082 NEW BEST:: SOT 721076 SOS 242516 HAS SOPS 209217 HAS SOUS 178480 HAS SOUPS 162442 WITH SCORE 162684.516
AT ITER 3096 NEW BEST:: SOT 721076 SOS 242424 HAS SOPS 209217 HAS SOUS 178474 HAS SOUPS 162442 WITH SCORE 162684.424
AT ITER 3097 NEW BEST:: SOT 721075 SOS 242416 HAS SOPS 209222 HAS SOUS 178459 HAS SOUPS 162440 WITH SCORE 162682.416
AT ITER 3110 NEW BEST:: SOT 721045 SOS 242423 HAS SOPS 209229 HAS SOUS 178442 HAS SOUPS 162423 WITH SCORE 162665.423
AT ITER 3118 NEW BEST:: SOT 721045 SOS 242076 HAS SOPS 209261 HAS SOUS 178442 HAS SOUPS 162423 WITH SCORE 162665.076
AT ITER 3119 NEW BEST:: SOT 720595 SOS 241626 HAS SOPS 208493 HAS SOUS 178384 HAS SOUPS 162290 WITH SCORE 162531.626
AT ITER 3139 NEW BEST:: SOT 720360 SOS 241422 HAS SOPS 208429 HAS SOUS 178320 HAS SOUPS 162226 WITH SCORE 162467.422
AT ITER 3155 NEW BEST:: SOT 720360 SOS 241064 HAS SOPS 208071 HAS SOUS 178141 HAS SOUPS 162047 WITH SCORE 162288.064
AT ITER 3161 NEW BEST:: SOT 720258 SOS 240961 HAS SOPS 207968 HAS SOUS 178132 HAS SOUPS 162038 WITH SCORE 162278.961
AT ITER 3171 NEW BEST:: SOT 720062 SOS 240765 HAS SOPS 207772 HAS SOUS 178069 HAS SOUPS 161975 WITH SCORE 162215.765
AT ITER 3193 NEW BEST:: SOT 720062 SOS 240764 HAS SOPS 207771 HAS SOUS 178068 HAS SOUPS 161974 WITH SCORE 162214.764
AT ITER 3202 NEW BEST:: SOT 720062 SOS 240764 HAS SOPS 207745 HAS SOUS 178068 HAS SOUPS 161948 WITH SCORE 162188.764
AT ITER 3215 NEW BEST:: SOT 719633 SOS 240757 HAS SOPS 207738 HAS SOUS 178055 HAS SOUPS 161935 WITH SCORE 162175.757
AT ITER 3216 NEW BEST:: SOT 719563 SOS 240687 HAS SOPS 207668 HAS SOUS 177985 HAS SOUPS 161865 WITH SCORE 162105.687
AT ITER 3221 NEW BEST:: SOT 719563 SOS 240386 HAS SOPS 207367 HAS SOUS 177882 HAS SOUPS 161762 WITH SCORE 162002.386
AT ITER 3224 NEW BEST:: SOT 719563 SOS 240384 HAS SOPS 207365 HAS SOUS 177880 HAS SOUPS 161760 WITH SCORE 162000.384
AT ITER 3226 NEW BEST:: SOT 719562 SOS 240421 HAS SOPS 207401 HAS SOUS 177879 HAS SOUPS 161758 WITH SCORE 161998.421
AT ITER 3237 NEW BEST:: SOT 719543 SOS 240420 HAS SOPS 207400 HAS SOUS 177878 HAS SOUPS 161757 WITH SCORE 161997.42
AT ITER 3242 NEW BEST:: SOT 719507 SOS 240312 HAS SOPS 207364 HAS SOUS 177842 HAS SOUPS 161739 WITH SCORE 161979.312
AT ITER 3253 NEW BEST:: SOT 719557 SOS 239830 HAS SOPS 206882 HAS SOUS 177805 HAS SOUPS 161702 WITH SCORE 161941.83
AT ITER 3258 NEW BEST:: SOT 719339 SOS 239607 HAS SOPS 206659 HAS SOUS 177478 HAS SOUPS 161375 WITH SCORE 161614.607
AT ITER 3270 NEW BEST:: SOT 719219 SOS 239426 HAS SOPS 206478 HAS SOUS 177417 HAS SOUPS 161314 WITH SCORE 161553.426
AT ITER 3291 NEW BEST:: SOT 719222 SOS 239375 HAS SOPS 206712 HAS SOUS 177076 HAS SOUPS 161258 WITH SCORE 161497.375
AT ITER 3292 NEW BEST:: SOT 719050 SOS 238859 HAS SOPS 206196 HAS SOUS 176904 HAS SOUPS 161086 WITH SCORE 161324.859
AT ITER 3304 NEW BEST:: SOT 718802 SOS 238322 HAS SOPS 205659 HAS SOUS 176554 HAS SOUPS 160736 WITH SCORE 160974.322
AT ITER 3309 NEW BEST:: SOT 718680 SOS 238251 HAS SOPS 205588 HAS SOUS 176430 HAS SOUPS 160612 WITH SCORE 160850.251
AT ITER 3320 NEW BEST:: SOT 718621 SOS 238100 HAS SOPS 205437 HAS SOUS 176279 HAS SOUPS 160461 WITH SCORE 160699.1
AT ITER 3328 NEW BEST:: SOT 718615 SOS 238094 HAS SOPS 205431 HAS SOUS 176276 HAS SOUPS 160458 WITH SCORE 160696.094
AT ITER 3332 NEW BEST:: SOT 718707 SOS 237897 HAS SOPS 205234 HAS SOUS 176238 HAS SOUPS 160420 WITH SCORE 160657.897
AT ITER 3334 NEW BEST:: SOT 718101 SOS 237056 HAS SOPS 204393 HAS SOUS 175797 HAS SOUPS 159979 WITH SCORE 160216.056
AT ITER 3344 NEW BEST:: SOT 718217 SOS 236973 HAS SOPS 204310 HAS SOUS 175714 HAS SOUPS 159896 WITH SCORE 160132.973
AT ITER 3353 NEW BEST:: SOT 718211 SOS 236967 HAS SOPS 204304 HAS SOUS 175702 HAS SOUPS 159884 WITH SCORE 160120.967
AT ITER 3368 NEW BEST:: SOT 718244 SOS 236847 HAS SOPS 204184 HAS SOUS 175522 HAS SOUPS 159704 WITH SCORE 159940.847
AT ITER 3373 NEW BEST:: SOT 717614 SOS 236577 HAS SOPS 203914 HAS SOUS 175251 HAS SOUPS 159433 WITH SCORE 159669.577
AT ITER 3378 NEW BEST:: SOT 717611 SOS 236559 HAS SOPS 203896 HAS SOUS 175242 HAS SOUPS 159424 WITH SCORE 159660.559
AT ITER 3381 NEW BEST:: SOT 717573 SOS 236913 HAS SOPS 203857 HAS SOUS 175452 HAS SOUPS 159385 WITH SCORE 159621.913
AT ITER 3413 NEW BEST:: SOT 717559 SOS 236899 HAS SOPS 203843 HAS SOUS 175443 HAS SOUPS 159376 WITH SCORE 159612.899
AT ITER 3432 NEW BEST:: SOT 717559 SOS 236803 HAS SOPS 203807 HAS SOUS 175407 HAS SOUPS 159340 WITH SCORE 159576.803
AT ITER 3434 NEW BEST:: SOT 717497 SOS 236741 HAS SOPS 203683 HAS SOUS 175345 HAS SOUPS 159216 WITH SCORE 159452.741
AT ITER 3447 NEW BEST:: SOT 717538 SOS 236723 HAS SOPS 203665 HAS SOUS 175327 HAS SOUPS 159198 WITH SCORE 159434.723
AT ITER 3448 NEW BEST:: SOT 717481 SOS 236994 HAS SOPS 203753 HAS SOUS 175270 HAS SOUPS 158958 WITH SCORE 159194.994
AT ITER 3479 NEW BEST:: SOT 717481 SOS 236973 HAS SOPS 203732 HAS SOUS 175270 HAS SOUPS 158958 WITH SCORE 159194.973
AT ITER 3514 NEW BEST:: SOT 717471 SOS 236953 HAS SOPS 203712 HAS SOUS 175255 HAS SOUPS 158943 WITH SCORE 159179.953
AT ITER 3529 NEW BEST:: SOT 717346 SOS 236828 HAS SOPS 203712 HAS SOUS 175144 HAS SOUPS 158943 WITH SCORE 159179.828
AT ITER 3532 NEW BEST:: SOT 717163 SOS 236153 HAS SOPS 203037 HAS SOUS 174715 HAS SOUPS 158514 WITH SCORE 158750.153
AT ITER 3540 NEW BEST:: SOT 717135 SOS 235860 HAS SOPS 202744 HAS SOUS 174384 HAS SOUPS 158183 WITH SCORE 158418.86
AT ITER 3548 NEW BEST:: SOT 717135 SOS 235832 HAS SOPS 202716 HAS SOUS 174356 HAS SOUPS 158155 WITH SCORE 158390.832
AT ITER 3566 NEW BEST:: SOT 717113 SOS 235810 HAS SOPS 202694 HAS SOUS 174334 HAS SOUPS 158133 WITH SCORE 158368.81
AT ITER 3604 NEW BEST:: SOT 717113 SOS 235767 HAS SOPS 202651 HAS SOUS 174291 HAS SOUPS 158090 WITH SCORE 158325.767
AT ITER 3605 NEW BEST:: SOT 717112 SOS 235694 HAS SOPS 202649 HAS SOUS 174263 HAS SOUPS 158088 WITH SCORE 158323.694
AT ITER 3616 NEW BEST:: SOT 717112 SOS 236034 HAS SOPS 202780 HAS SOUS 174440 HAS SOUPS 158085 WITH SCORE 158321.034
AT ITER 3620 NEW BEST:: SOT 717042 SOS 235964 HAS SOPS 202710 HAS SOUS 174370 HAS SOUPS 158015 WITH SCORE 158250.964
AT ITER 3621 NEW BEST:: SOT 716991 SOS 235789 HAS SOPS 202535 HAS SOUS 174319 HAS SOUPS 157964 WITH SCORE 158199.789
AT ITER 3630 NEW BEST:: SOT 716279 SOS 234588 HAS SOPS 201334 HAS SOUS 173522 HAS SOUPS 157167 WITH SCORE 157401.588
AT ITER 3637 NEW BEST:: SOT 715799 SOS 234108 HAS SOPS 200854 HAS SOUS 173133 HAS SOUPS 156778 WITH SCORE 157012.108
AT ITER 3661 NEW BEST:: SOT 715735 SOS 233948 HAS SOPS 200694 HAS SOUS 173037 HAS SOUPS 156682 WITH SCORE 156915.948
AT ITER 3665 NEW BEST:: SOT 715504 SOS 233716 HAS SOPS 200462 HAS SOUS 172805 HAS SOUPS 156450 WITH SCORE 156683.716
AT ITER 3666 NEW BEST:: SOT 715511 SOS 233909 HAS SOPS 200407 HAS SOUS 172812 HAS SOUPS 156395 WITH SCORE 156628.909
AT ITER 3684 NEW BEST:: SOT 715501 SOS 233899 HAS SOPS 200397 HAS SOUS 172792 HAS SOUPS 156375 WITH SCORE 156608.899
AT ITER 3687 NEW BEST:: SOT 715245 SOS 233838 HAS SOPS 200336 HAS SOUS 172707 HAS SOUPS 156290 WITH SCORE 156523.838
AT ITER 3690 NEW BEST:: SOT 715146 SOS 233509 HAS SOPS 200007 HAS SOUS 172581 HAS SOUPS 156164 WITH SCORE 156397.509
AT ITER 3698 NEW BEST:: SOT 715300 SOS 234556 HAS SOPS 199931 HAS SOUS 172796 HAS SOUPS 156088 WITH SCORE 156322.556
AT ITER 3699 NEW BEST:: SOT 715300 SOS 234430 HAS SOPS 199805 HAS SOUS 172779 HAS SOUPS 156071 WITH SCORE 156305.43
AT ITER 3708 NEW BEST:: SOT 714633 SOS 233893 HAS SOPS 199268 HAS SOUS 172371 HAS SOUPS 155663 WITH SCORE 155896.893
AT ITER 3711 NEW BEST:: SOT 714694 SOS 233620 HAS SOPS 198937 HAS SOUS 172205 HAS SOUPS 155439 WITH SCORE 155672.62
AT ITER 3725 NEW BEST:: SOT 714684 SOS 233620 HAS SOPS 198917 HAS SOUS 172185 HAS SOUPS 155419 WITH SCORE 155652.62
AT ITER 3733 NEW BEST:: SOT 714563 SOS 233546 HAS SOPS 198917 HAS SOUS 172185 HAS SOUPS 155419 WITH SCORE 155652.546
AT ITER 3745 NEW BEST:: SOT 714544 SOS 233527 HAS SOPS 198898 HAS SOUS 172166 HAS SOUPS 155400 WITH SCORE 155633.527
AT ITER 3763 NEW BEST:: SOT 714543 SOS 233525 HAS SOPS 198896 HAS SOUS 172164 HAS SOUPS 155398 WITH SCORE 155631.525
AT ITER 3771 NEW BEST:: SOT 713803 SOS 232785 HAS SOPS 198156 HAS SOUS 171849 HAS SOUPS 155083 WITH SCORE 155315.785
AT ITER 3780 NEW BEST:: SOT 713803 SOS 232816 HAS SOPS 198187 HAS SOUS 171848 HAS SOUPS 155082 WITH SCORE 155314.816
AT ITER 3781 NEW BEST:: SOT 713041 SOS 232600 HAS SOPS 197971 HAS SOUS 171394 HAS SOUPS 154628 WITH SCORE 154860.6
AT ITER 3787 NEW BEST:: SOT 712988 SOS 232547 HAS SOPS 197918 HAS SOUS 171294 HAS SOUPS 154528 WITH SCORE 154760.547
AT ITER 3789 NEW BEST:: SOT 712839 SOS 232398 HAS SOPS 197769 HAS SOUS 171145 HAS SOUPS 154379 WITH SCORE 154611.398
AT ITER 3790 NEW BEST:: SOT 712741 SOS 232202 HAS SOPS 197690 HAS SOUS 170989 HAS SOUPS 154300 WITH SCORE 154532.202
AT ITER 3793 NEW BEST:: SOT 712875 SOS 231903 HAS SOPS 197391 HAS SOUS 170926 HAS SOUPS 154237 WITH SCORE 154468.903
AT ITER 3805 NEW BEST:: SOT 712868 SOS 231896 HAS SOPS 197384 HAS SOUS 170926 HAS SOUPS 154237 WITH SCORE 154468.896
AT ITER 3815 NEW BEST:: SOT 712761 SOS 232835 HAS SOPS 197028 HAS SOUS 170873 HAS SOUPS 153776 WITH SCORE 154008.835
AT ITER 3823 NEW BEST:: SOT 712743 SOS 232801 HAS SOPS 196994 HAS SOUS 170839 HAS SOUPS 153742 WITH SCORE 153974.801
AT ITER 3829 NEW BEST:: SOT 712743 SOS 232636 HAS SOPS 196829 HAS SOUS 170674 HAS SOUPS 153577 WITH SCORE 153809.636
AT ITER 3838 NEW BEST:: SOT 712460 SOS 232503 HAS SOPS 196546 HAS SOUS 170433 HAS SOUPS 153294 WITH SCORE 153526.503
AT ITER 3848 NEW BEST:: SOT 712026 SOS 231893 HAS SOPS 196112 HAS SOUS 169823 HAS SOUPS 152860 WITH SCORE 153091.893
AT ITER 3870 NEW BEST:: SOT 712093 SOS 231960 HAS SOPS 196207 HAS SOUS 169769 HAS SOUPS 152834 WITH SCORE 153065.96
AT ITER 3886 NEW BEST:: SOT 712069 SOS 231936 HAS SOPS 196159 HAS SOUS 169721 HAS SOUPS 152786 WITH SCORE 153017.936
AT ITER 3890 NEW BEST:: SOT 711743 SOS 231610 HAS SOPS 195833 HAS SOUS 169442 HAS SOUPS 152507 WITH SCORE 152738.61
AT ITER 3912 NEW BEST:: SOT 711647 SOS 231520 HAS SOPS 195743 HAS SOUS 169352 HAS SOUPS 152417 WITH SCORE 152648.52
AT ITER 3914 NEW BEST:: SOT 711641 SOS 231514 HAS SOPS 195737 HAS SOUS 169340 HAS SOUPS 152405 WITH SCORE 152636.514
AT ITER 3917 NEW BEST:: SOT 711775 SOS 231968 HAS SOPS 195715 HAS SOUS 169422 HAS SOUPS 152368 WITH SCORE 152599.968
AT ITER 3921 NEW BEST:: SOT 711684 SOS 231568 HAS SOPS 195315 HAS SOUS 169162 HAS SOUPS 152108 WITH SCORE 152339.568
AT ITER 3942 NEW BEST:: SOT 711561 SOS 231445 HAS SOPS 195258 HAS SOUS 168877 HAS SOUPS 151889 WITH SCORE 152120.445
AT ITER 3954 NEW BEST:: SOT 711501 SOS 231395 HAS SOPS 195208 HAS SOUS 168787 HAS SOUPS 151799 WITH SCORE 152030.395
AT ITER 3966 NEW BEST:: SOT 711501 SOS 231307 HAS SOPS 195120 HAS SOUS 168787 HAS SOUPS 151799 WITH SCORE 152030.307
AT ITER 3971 NEW BEST:: SOT 711778 SOS 231773 HAS SOPS 195586 HAS SOUS 168737 HAS SOUPS 151749 WITH SCORE 151980.773
AT ITER 3982 NEW BEST:: SOT 711778 SOS 231720 HAS SOPS 195533 HAS SOUS 168737 HAS SOUPS 151749 WITH SCORE 151980.72
AT ITER 3992 NEW BEST:: SOT 711758 SOS 231700 HAS SOPS 195513 HAS SOUS 168717 HAS SOUPS 151729 WITH SCORE 151960.7
AT ITER 3997 NEW BEST:: SOT 711751 SOS 231826 HAS SOPS 195506 HAS SOUS 168719 HAS SOUPS 151722 WITH SCORE 151953.826
AT ITER 3999 NEW BEST:: SOT 711415 SOS 231964 HAS SOPS 195222 HAS SOUS 168586 HAS SOUPS 151589 WITH SCORE 151820.964
AT ITER 4000 NEW BEST:: SOT 711397 SOS 231946 HAS SOPS 195349 HAS SOUS 168405 HAS SOUPS 151553 WITH SCORE 151784.946
AT ITER 4015 NEW BEST:: SOT 711325 SOS 231874 HAS SOPS 195289 HAS SOUS 168254 HAS SOUPS 151409 WITH SCORE 151640.874
AT ITER 4027 NEW BEST:: SOT 711303 SOS 231852 HAS SOPS 195245 HAS SOUS 168232 HAS SOUPS 151365 WITH SCORE 151596.852
AT ITER 4038 NEW BEST:: SOT 711297 SOS 231846 HAS SOPS 195239 HAS SOUS 168226 HAS SOUPS 151359 WITH SCORE 151590.846
AT ITER 4040 NEW BEST:: SOT 711253 SOS 231643 HAS SOPS 195036 HAS SOUS 168128 HAS SOUPS 151261 WITH SCORE 151492.643
AT ITER 4049 NEW BEST:: SOT 711253 SOS 231515 HAS SOPS 195036 HAS SOUS 168228 HAS SOUPS 151261 WITH SCORE 151492.515
AT ITER 4055 NEW BEST:: SOT 711018 SOS 231271 HAS SOPS 194792 HAS SOUS 167945 HAS SOUPS 150978 WITH SCORE 151209.271
AT ITER 4071 NEW BEST:: SOT 709360 SOS 229613 HAS SOPS 193134 HAS SOUS 166287 HAS SOUPS 149320 WITH SCORE 149549.613
AT ITER 4102 NEW BEST:: SOT 709360 SOS 230243 HAS SOPS 192924 HAS SOUS 166287 HAS SOUPS 149110 WITH SCORE 149340.243
AT ITER 4106 NEW BEST:: SOT 709359 SOS 230170 HAS SOPS 192861 HAS SOUS 166214 HAS SOUPS 149047 WITH SCORE 149277.17
AT ITER 4115 NEW BEST:: SOT 709414 SOS 230239 HAS SOPS 192828 HAS SOUS 166283 HAS SOUPS 149014 WITH SCORE 149244.239
AT ITER 4139 NEW BEST:: SOT 709414 SOS 230213 HAS SOPS 192759 HAS SOUS 166214 HAS SOUPS 148945 WITH SCORE 149175.213
AT ITER 4142 NEW BEST:: SOT 709414 SOS 230149 HAS SOPS 192759 HAS SOUS 166198 HAS SOUPS 148945 WITH SCORE 149175.149
AT ITER 4160 NEW BEST:: SOT 709306 SOS 230041 HAS SOPS 192711 HAS SOUS 166096 HAS SOUPS 148897 WITH SCORE 149127.041
AT ITER 4166 NEW BEST:: SOT 709105 SOS 229380 HAS SOPS 192050 HAS SOUS 165898 HAS SOUPS 148699 WITH SCORE 148928.38
AT ITER 4189 NEW BEST:: SOT 709105 SOS 229378 HAS SOPS 192048 HAS SOUS 165896 HAS SOUPS 148697 WITH SCORE 148926.378
AT ITER 4191 NEW BEST:: SOT 709097 SOS 229362 HAS SOPS 192032 HAS SOUS 165892 HAS SOUPS 148693 WITH SCORE 148922.362
AT ITER 4193 NEW BEST:: SOT 709075 SOS 229310 HAS SOPS 191980 HAS SOUS 165840 HAS SOUPS 148641 WITH SCORE 148870.31
AT ITER 4205 NEW BEST:: SOT 709069 SOS 229304 HAS SOPS 191974 HAS SOUS 165760 HAS SOUPS 148561 WITH SCORE 148790.304
AT ITER 4221 NEW BEST:: SOT 708983 SOS 229348 HAS SOPS 192018 HAS SOUS 165751 HAS SOUPS 148552 WITH SCORE 148781.348
AT ITER 4223 NEW BEST:: SOT 708979 SOS 229344 HAS SOPS 192010 HAS SOUS 165743 HAS SOUPS 148544 WITH SCORE 148773.344
AT ITER 4225 NEW BEST:: SOT 708979 SOS 229391 HAS SOPS 191963 HAS SOUS 165696 HAS SOUPS 148497 WITH SCORE 148726.391
AT ITER 4229 NEW BEST:: SOT 708922 SOS 229199 HAS SOPS 191771 HAS SOUS 165504 HAS SOUPS 148305 WITH SCORE 148534.199
AT ITER 4232 NEW BEST:: SOT 708928 SOS 229205 HAS SOPS 191777 HAS SOUS 165400 HAS SOUPS 148201 WITH SCORE 148430.205
AT ITER 4255 NEW BEST:: SOT 709225 SOS 229236 HAS SOPS 191808 HAS SOUS 165069 HAS SOUPS 147870 WITH SCORE 148099.236
AT ITER 4257 NEW BEST:: SOT 709224 SOS 229235 HAS SOPS 191755 HAS SOUS 165119 HAS SOUPS 147868 WITH SCORE 148097.235
AT ITER 4275 NEW BEST:: SOT 709362 SOS 229269 HAS SOPS 191287 HAS SOUS 165251 HAS SOUPS 147813 WITH SCORE 148042.269
AT ITER 4277 NEW BEST:: SOT 708936 SOS 228530 HAS SOPS 191267 HAS SOUS 164696 HAS SOUPS 147793 WITH SCORE 148021.53
AT ITER 4291 NEW BEST:: SOT 708872 SOS 228526 HAS SOPS 191263 HAS SOUS 164692 HAS SOUPS 147789 WITH SCORE 148017.526
AT ITER 4305 NEW BEST:: SOT 708384 SOS 228487 HAS SOPS 191224 HAS SOUS 164653 HAS SOUPS 147750 WITH SCORE 147978.487
AT ITER 4317 NEW BEST:: SOT 708299 SOS 228402 HAS SOPS 191139 HAS SOUS 164498 HAS SOUPS 147595 WITH SCORE 147823.402
AT ITER 4319 NEW BEST:: SOT 708299 SOS 228644 HAS SOPS 191381 HAS SOUS 164347 HAS SOUPS 147444 WITH SCORE 147672.644
AT ITER 4330 NEW BEST:: SOT 708284 SOS 228624 HAS SOPS 191361 HAS SOUS 164327 HAS SOUPS 147424 WITH SCORE 147652.624
AT ITER 4339 NEW BEST:: SOT 708018 SOS 228452 HAS SOPS 191189 HAS SOUS 164151 HAS SOUPS 147248 WITH SCORE 147476.452
AT ITER 4341 NEW BEST:: SOT 707840 SOS 228195 HAS SOPS 191128 HAS SOUS 163894 HAS SOUPS 147187 WITH SCORE 147415.195
AT ITER 4348 NEW BEST:: SOT 707831 SOS 228183 HAS SOPS 191116 HAS SOUS 163885 HAS SOUPS 147178 WITH SCORE 147406.183
AT ITER 4371 NEW BEST:: SOT 707825 SOS 228168 HAS SOPS 191101 HAS SOUS 163876 HAS SOUPS 147169 WITH SCORE 147397.168
AT ITER 4378 NEW BEST:: SOT 707825 SOS 228294 HAS SOPS 190975 HAS SOUS 163813 HAS SOUPS 147043 WITH SCORE 147271.294
AT ITER 4382 NEW BEST:: SOT 707825 SOS 228230 HAS SOPS 190911 HAS SOUS 163781 HAS SOUPS 147011 WITH SCORE 147239.23
AT ITER 4384 NEW BEST:: SOT 707825 SOS 228107 HAS SOPS 190788 HAS SOUS 163740 HAS SOUPS 146970 WITH SCORE 147198.107
AT ITER 4388 NEW BEST:: SOT 707707 SOS 227989 HAS SOPS 190670 HAS SOUS 163681 HAS SOUPS 146911 WITH SCORE 147138.989
AT ITER 4392 NEW BEST:: SOT 707645 SOS 227958 HAS SOPS 190639 HAS SOUS 163619 HAS SOUPS 146849 WITH SCORE 147076.958
AT ITER 4424 NEW BEST:: SOT 707286 SOS 227599 HAS SOPS 190152 HAS SOUS 163496 HAS SOUPS 146667 WITH SCORE 146894.599
AT ITER 4426 NEW BEST:: SOT 706909 SOS 227274 HAS SOPS 189827 HAS SOUS 163171 HAS SOUPS 146342 WITH SCORE 146569.274
AT ITER 4427 NEW BEST:: SOT 707095 SOS 227460 HAS SOPS 190199 HAS SOUS 163140 HAS SOUPS 146311 WITH SCORE 146538.46
AT ITER 4456 NEW BEST:: SOT 707072 SOS 227194 HAS SOPS 189933 HAS SOUS 162918 HAS SOUPS 146089 WITH SCORE 146316.194
AT ITER 4461 NEW BEST:: SOT 706927 SOS 226561 HAS SOPS 189887 HAS SOUS 162750 HAS SOUPS 146043 WITH SCORE 146269.561
AT ITER 4468 NEW BEST:: SOT 706841 SOS 226252 HAS SOPS 189715 HAS SOUS 162578 HAS SOUPS 145871 WITH SCORE 146097.252
AT ITER 4472 NEW BEST:: SOT 706712 SOS 226123 HAS SOPS 189715 HAS SOUS 162449 HAS SOUPS 145871 WITH SCORE 146097.123
AT ITER 4494 NEW BEST:: SOT 706712 SOS 226083 HAS SOPS 189695 HAS SOUS 162449 HAS SOUPS 145871 WITH SCORE 146097.083
AT ITER 4501 NEW BEST:: SOT 706452 SOS 225709 HAS SOPS 189321 HAS SOUS 162224 HAS SOUPS 145646 WITH SCORE 145871.709
AT ITER 4503 NEW BEST:: SOT 706452 SOS 225418 HAS SOPS 189025 HAS SOUS 162040 HAS SOUPS 145457 WITH SCORE 145682.418
AT ITER 4511 NEW BEST:: SOT 706452 SOS 225444 HAS SOPS 188991 HAS SOUS 162026 HAS SOUPS 145423 WITH SCORE 145648.444
AT ITER 4530 NEW BEST:: SOT 706462 SOS 225440 HAS SOPS 188987 HAS SOUS 162005 HAS SOUPS 145402 WITH SCORE 145627.44
AT ITER 4554 NEW BEST:: SOT 706441 SOS 225229 HAS SOPS 188776 HAS SOUS 161984 HAS SOUPS 145381 WITH SCORE 145606.229
AT ITER 4585 NEW BEST:: SOT 706549 SOS 225110 HAS SOPS 188657 HAS SOUS 161865 HAS SOUPS 145262 WITH SCORE 145487.11
AT ITER 4612 NEW BEST:: SOT 706549 SOS 225416 HAS SOPS 188328 HAS SOUS 162171 HAS SOUPS 144933 WITH SCORE 145158.416
AT ITER 4616 NEW BEST:: SOT 706678 SOS 225380 HAS SOPS 188292 HAS SOUS 162135 HAS SOUPS 144897 WITH SCORE 145122.38
AT ITER 4634 NEW BEST:: SOT 706505 SOS 225127 HAS SOPS 188039 HAS SOUS 161962 HAS SOUPS 144724 WITH SCORE 144949.127
AT ITER 4637 NEW BEST:: SOT 706619 SOS 225241 HAS SOPS 188153 HAS SOUS 161956 HAS SOUPS 144718 WITH SCORE 144943.241
AT ITER 4641 NEW BEST:: SOT 706619 SOS 225199 HAS SOPS 188153 HAS SOUS 161914 HAS SOUPS 144718 WITH SCORE 144943.199
AT ITER 4646 NEW BEST:: SOT 706554 SOS 224970 HAS SOPS 188122 HAS SOUS 161755 HAS SOUPS 144634 WITH SCORE 144858.97
AT ITER 4655 NEW BEST:: SOT 706541 SOS 224957 HAS SOPS 188109 HAS SOUS 161742 HAS SOUPS 144621 WITH SCORE 144845.957
AT ITER 4656 NEW BEST:: SOT 706637 SOS 225056 HAS SOPS 187916 HAS SOUS 161841 HAS SOUPS 144428 WITH SCORE 144653.056
AT ITER 4661 NEW BEST:: SOT 706898 SOS 224993 HAS SOPS 187853 HAS SOUS 161748 HAS SOUPS 144335 WITH SCORE 144559.993
AT ITER 4681 NEW BEST:: SOT 706603 SOS 224578 HAS SOPS 187438 HAS SOUS 161311 HAS SOUPS 143898 WITH SCORE 144122.578
AT ITER 4688 NEW BEST:: SOT 705394 SOS 223531 HAS SOPS 186391 HAS SOUS 160539 HAS SOUPS 143126 WITH SCORE 143349.531
AT ITER 4693 NEW BEST:: SOT 705394 SOS 223371 HAS SOPS 186231 HAS SOUS 160379 HAS SOUPS 142966 WITH SCORE 143189.371
AT ITER 4697 NEW BEST:: SOT 705455 SOS 223866 HAS SOPS 186114 HAS SOUS 160440 HAS SOUPS 142849 WITH SCORE 143072.866
AT ITER 4709 NEW BEST:: SOT 705446 SOS 223857 HAS SOPS 186105 HAS SOUS 160345 HAS SOUPS 142754 WITH SCORE 142977.857
AT ITER 4724 NEW BEST:: SOT 705480 SOS 223893 HAS SOPS 186094 HAS SOUS 160372 HAS SOUPS 142734 WITH SCORE 142957.893
AT ITER 4740 NEW BEST:: SOT 705380 SOS 223761 HAS SOPS 185962 HAS SOUS 160272 HAS SOUPS 142634 WITH SCORE 142857.761
AT ITER 4742 NEW BEST:: SOT 705155 SOS 223666 HAS SOPS 185867 HAS SOUS 160177 HAS SOUPS 142539 WITH SCORE 142762.666
AT ITER 4750 NEW BEST:: SOT 705155 SOS 223666 HAS SOPS 185803 HAS SOUS 160177 HAS SOUPS 142475 WITH SCORE 142698.666
AT ITER 4753 NEW BEST:: SOT 705120 SOS 223548 HAS SOPS 185720 HAS SOUS 160129 HAS SOUPS 142427 WITH SCORE 142650.548
AT ITER 4765 NEW BEST:: SOT 705125 SOS 223552 HAS SOPS 185598 HAS SOUS 160133 HAS SOUPS 142305 WITH SCORE 142528.552
AT ITER 4772 NEW BEST:: SOT 704814 SOS 223241 HAS SOPS 184881 HAS SOUS 159638 HAS SOUPS 141588 WITH SCORE 141811.241
AT ITER 4777 NEW BEST:: SOT 704814 SOS 223220 HAS SOPS 184860 HAS SOUS 159624 HAS SOUPS 141574 WITH SCORE 141797.22
AT ITER 4782 NEW BEST:: SOT 704814 SOS 223374 HAS SOPS 184860 HAS SOUS 159547 HAS SOUPS 141497 WITH SCORE 141720.374
AT ITER 4788 NEW BEST:: SOT 704849 SOS 223339 HAS SOPS 184825 HAS SOUS 159512 HAS SOUPS 141462 WITH SCORE 141685.339
AT ITER 4806 NEW BEST:: SOT 704749 SOS 223239 HAS SOPS 184725 HAS SOUS 159349 HAS SOUPS 141299 WITH SCORE 141522.239
AT ITER 4821 NEW BEST:: SOT 704727 SOS 223245 HAS SOPS 184703 HAS SOUS 159355 HAS SOUPS 141277 WITH SCORE 141500.245
AT ITER 4842 NEW BEST:: SOT 704694 SOS 223191 HAS SOPS 184649 HAS SOUS 159301 HAS SOUPS 141223 WITH SCORE 141446.191
AT ITER 4860 NEW BEST:: SOT 704694 SOS 223183 HAS SOPS 184649 HAS SOUS 159293 HAS SOUPS 141223 WITH SCORE 141446.183
AT ITER 4871 NEW BEST:: SOT 704409 SOS 223105 HAS SOPS 184571 HAS SOUS 159183 HAS SOUPS 141113 WITH SCORE 141336.105
AT ITER 4874 NEW BEST:: SOT 704354 SOS 223006 HAS SOPS 184459 HAS SOUS 159058 HAS SOUPS 140975 WITH SCORE 141198.006
AT ITER 4879 NEW BEST:: SOT 704276 SOS 222928 HAS SOPS 184381 HAS SOUS 158980 HAS SOUPS 140897 WITH SCORE 141119.928
AT ITER 4880 NEW BEST:: SOT 704233 SOS 222885 HAS SOPS 184295 HAS SOUS 158894 HAS SOUPS 140811 WITH SCORE 141033.885
AT ITER 4887 NEW BEST:: SOT 703802 SOS 222777 HAS SOPS 184218 HAS SOUS 158847 HAS SOUPS 140795 WITH SCORE 141017.777
AT ITER 4889 NEW BEST:: SOT 703766 SOS 222669 HAS SOPS 184146 HAS SOUS 158775 HAS SOUPS 140759 WITH SCORE 140981.669
AT ITER 4892 NEW BEST:: SOT 703368 SOS 221762 HAS SOPS 183239 HAS SOUS 158637 HAS SOUPS 140621 WITH SCORE 140842.762
AT ITER 4894 NEW BEST:: SOT 703101 SOS 221495 HAS SOPS 182972 HAS SOUS 158459 HAS SOUPS 140443 WITH SCORE 140664.495
AT ITER 4904 NEW BEST:: SOT 703069 SOS 221947 HAS SOPS 182100 HAS SOUS 158297 HAS SOUPS 139926 WITH SCORE 140147.947
AT ITER 4905 NEW BEST:: SOT 702478 SOS 220260 HAS SOPS 181509 HAS SOUS 157706 HAS SOUPS 139609 WITH SCORE 139829.26
AT ITER 4921 NEW BEST:: SOT 702278 SOS 219585 HAS SOPS 180834 HAS SOUS 157235 HAS SOUPS 139138 WITH SCORE 139357.585
AT ITER 4926 NEW BEST:: SOT 702174 SOS 219481 HAS SOPS 180730 HAS SOUS 156870 HAS SOUPS 138773 WITH SCORE 138992.481
AT ITER 4931 NEW BEST:: SOT 702140 SOS 219481 HAS SOPS 180713 HAS SOUS 156870 HAS SOUPS 138756 WITH SCORE 138975.481
AT ITER 4945 NEW BEST:: SOT 702140 SOS 219481 HAS SOPS 180498 HAS SOUS 156870 HAS SOUPS 138541 WITH SCORE 138760.481
AT ITER 4963 NEW BEST:: SOT 702205 SOS 219546 HAS SOPS 180483 HAS SOUS 156935 HAS SOUPS 138526 WITH SCORE 138745.546
Bounds file is: CTLFireability.xml
PROPERTY: AutoFlight-PT-48a-CTLFireability-00 (EG( (AF( ( ((potential((tk(P435)>=1)))) & ( ((potential((tk(P285)>=1)))) & ((potential((tk(P552)>=1)))) ) )))))
PROPERTY: AutoFlight-PT-48a-CTLFireability-01 (AG( ( (EF( ( ((potential((tk(P1011)>=1) & (tk(P1126)>=1)))) | ((potential((tk(P1)>=1)))) ))) & (EG( (! ((potential((tk(P114)>=1) & (tk(P511)>=1))))))) )))
PROPERTY: AutoFlight-PT-48a-CTLFireability-02 (EF( ((potential((tk(P192)>=1))))))
PROPERTY: AutoFlight-PT-48a-CTLFireability-03 ( (EU( (! ( ((potential((tk(P624)>=1)))) & ((potential((tk(P291)>=1)))) )) , ((potential((tk(P175)>=1) & (tk(P1056)>=1)))) )) | (AX( (EU( ((potential((tk(P164)>=1)))) , ((potential((tk(P193)>=1) & (tk(P1073)>=1)))) )))) )
PROPERTY: AutoFlight-PT-48a-CTLFireability-04 ( (AF( ((potential((tk(P305)>=1) & (tk(P943)>=1)))))) & (AF( ((potential((tk(P241)>=1)))))) )
PROPERTY: AutoFlight-PT-48a-CTLFireability-05 (EX( (AG( ( (! ((potential((tk(P994)>=1) & (tk(P1127)>=1))))) | ( ((potential((tk(P101)>=1)))) & ((potential((tk(P175)>=1) & (tk(P1056)>=1)))) ) )))))
PROPERTY: AutoFlight-PT-48a-CTLFireability-06 ( ( ((potential((tk(P134)>=1) & (tk(P417)>=1)))) | ( (AU( ((potential((tk(P229)>=1) & (tk(P833)>=1)))) , ((potential((tk(P316)>=1) & (tk(P962)>=1)))) )) | (EG( (! ((potential((tk(P210)>=1) & (tk(P1086)>=1))))))) ) ) | (EU( ((potential((tk(P945)>=1) & (tk(P1126)>=1)))) , ( ((potential((tk(P151)>=1)))) | ( ((potential((tk(P303)>=1)))) | ((potential((tk(P159)>=1) & (tk(P737)>=1)))) ) ) )) )
PROPERTY: AutoFlight-PT-48a-CTLFireability-07 (EG( (! (AU( ((potential((tk(P155)>=1) & (tk(P712)>=1)))) , ((potential((tk(P457)>=1)))) )))))
PROPERTY: AutoFlight-PT-48a-CTLFireability-08 (AU( (EF( ((potential((tk(P225)>=1) & (tk(P808)>=1)))))) , (AU( ((potential((tk(P459)>=1)))) , ((potential((tk(P178)>=1)))) )) ))
PROPERTY: AutoFlight-PT-48a-CTLFireability-09 (AF( (! (AG( (! ((potential((tk(P1114)>=1) & (tk(P1127)>=1))))))))))
PROPERTY: AutoFlight-PT-48a-CTLFireability-10 (EX( (EF( (! (! ((potential((tk(P454)>=1))))))))))
PROPERTY: AutoFlight-PT-48a-CTLFireability-11 (! ( ( ( (AF( ((potential((tk(P103)>=1) & (tk(P729)>=1)))))) | (EG( ((potential((tk(P308)>=1) & (tk(P949)>=1)))))) ) | (! (! (! ((potential((tk(P155)>=1) & (tk(P664)>=1))))))) ) & ( (EF( ( ((potential((tk(P579)>=1)))) & ((potential((tk(P182)>=1)))) ))) | ( (EX( ((potential((tk(P6)>=1)))))) & ((potential((tk(P682)>=1)))) ) ) ))
PROPERTY: AutoFlight-PT-48a-CTLFireability-12 (AF( (EG( ((potential((tk(P1083)>=1) & (tk(P1126)>=1))))))))
PROPERTY: AutoFlight-PT-48a-CTLFireability-13 (AF( (EG( ((potential((tk(P160)>=1))))))))
PROPERTY: AutoFlight-PT-48a-CTLFireability-14 (AG( ( (AU( ((potential((tk(P169)>=1) & (tk(P666)>=1)))) , ((potential((tk(P549)>=1)))) )) | (EF( ( ((potential((tk(P211)>=1) & (tk(P610)>=1)))) | ((potential((tk(P365)>=1) & (tk(P1063)>=1)))) ))) )))
PROPERTY: AutoFlight-PT-48a-CTLFireability-15 ( (AF( ( (EF( ((potential((tk(P430)>=1)))))) | ((potential((tk(P796)>=1)))) ))) & (AF( ( ( (! ((potential((tk(P228)>=1))))) | ( ((potential((tk(P316)>=1) & (tk(P962)>=1)))) & ((potential((tk(P769)>=1)))) ) ) | (! ( ((potential((tk(P175)>=1)))) & ((potential((tk(P132)>=1)))) )) ))) )
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutoFlight-PT-48a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is AutoFlight-PT-48a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508600500"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;