About the Execution of smart for ShieldRVs-PT-050A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.230 | 3600000.00 | 3600030.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 '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470100891.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVs-PT-050A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470100891
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 3.0K May 14 02:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 02:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 19:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 19:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 14:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 14:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 09:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 09:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 320K May 12 20:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-00
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-01
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-02
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-03
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-04
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-05
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-06
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-07
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-08
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-09
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-10
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-11
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-12
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-13
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-14
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1590453860118
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 050A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 703 places, 953 transitions, 4600 arcs.
AT ITER 0 NEW BEST:: SOT 503418 SOS 431527 HAS SOPS 431527 HAS SOUS 350205 HAS SOUPS 350205 WITH SCORE 350636.527
AT ITER 4 NEW BEST:: SOT 503485 SOS 431078 HAS SOPS 431078 HAS SOUS 350032 HAS SOUPS 350032 WITH SCORE 350463.078
AT ITER 6 NEW BEST:: SOT 503419 SOS 431012 HAS SOPS 431012 HAS SOUS 349966 HAS SOUPS 349966 WITH SCORE 350397.012
AT ITER 8 NEW BEST:: SOT 503344 SOS 430712 HAS SOPS 430712 HAS SOUS 349516 HAS SOUPS 349516 WITH SCORE 349946.712
AT ITER 9 NEW BEST:: SOT 503409 SOS 430194 HAS SOPS 430194 HAS SOUS 349110 HAS SOUPS 349110 WITH SCORE 349540.194
AT ITER 11 NEW BEST:: SOT 503142 SOS 428787 HAS SOPS 428787 HAS SOUS 347640 HAS SOUPS 347640 WITH SCORE 348068.787
AT ITER 12 NEW BEST:: SOT 502969 SOS 428753 HAS SOPS 428753 HAS SOUS 347606 HAS SOUPS 347606 WITH SCORE 348034.753
AT ITER 13 NEW BEST:: SOT 503121 SOS 428564 HAS SOPS 428564 HAS SOUS 347515 HAS SOUPS 347515 WITH SCORE 347943.564
AT ITER 15 NEW BEST:: SOT 502981 SOS 428423 HAS SOPS 428423 HAS SOUS 347373 HAS SOUPS 347373 WITH SCORE 347801.423
AT ITER 17 NEW BEST:: SOT 502729 SOS 427389 HAS SOPS 427389 HAS SOUS 346427 HAS SOUPS 346427 WITH SCORE 346854.389
AT ITER 18 NEW BEST:: SOT 502636 SOS 426562 HAS SOPS 426562 HAS SOUS 346172 HAS SOUPS 346172 WITH SCORE 346598.562
AT ITER 21 NEW BEST:: SOT 502636 SOS 426604 HAS SOPS 426604 HAS SOUS 346146 HAS SOUPS 346146 WITH SCORE 346572.604
AT ITER 24 NEW BEST:: SOT 502556 SOS 425282 HAS SOPS 425282 HAS SOUS 345131 HAS SOUPS 345131 WITH SCORE 345556.282
AT ITER 25 NEW BEST:: SOT 502447 SOS 424337 HAS SOPS 424337 HAS SOUS 344368 HAS SOUPS 344368 WITH SCORE 344792.337
AT ITER 26 NEW BEST:: SOT 502370 SOS 423586 HAS SOPS 423586 HAS SOUS 343889 HAS SOUPS 343889 WITH SCORE 344312.586
AT ITER 27 NEW BEST:: SOT 502505 SOS 423264 HAS SOPS 423264 HAS SOUS 343210 HAS SOUPS 343210 WITH SCORE 343633.264
AT ITER 28 NEW BEST:: SOT 502183 SOS 422942 HAS SOPS 422942 HAS SOUS 342923 HAS SOUPS 342923 WITH SCORE 343345.942
AT ITER 31 NEW BEST:: SOT 502181 SOS 422940 HAS SOPS 422940 HAS SOUS 342919 HAS SOUPS 342919 WITH SCORE 343341.94
AT ITER 33 NEW BEST:: SOT 501973 SOS 422732 HAS SOPS 422732 HAS SOUS 342711 HAS SOUPS 342711 WITH SCORE 343133.732
AT ITER 36 NEW BEST:: SOT 501889 SOS 422248 HAS SOPS 422248 HAS SOUS 342363 HAS SOUPS 342363 WITH SCORE 342785.248
AT ITER 37 NEW BEST:: SOT 501887 SOS 422246 HAS SOPS 422246 HAS SOUS 342361 HAS SOUPS 342361 WITH SCORE 342783.246
AT ITER 40 NEW BEST:: SOT 502308 SOS 421894 HAS SOPS 421894 HAS SOUS 341981 HAS SOUPS 341981 WITH SCORE 342402.894
AT ITER 43 NEW BEST:: SOT 502304 SOS 421890 HAS SOPS 421890 HAS SOUS 341977 HAS SOUPS 341977 WITH SCORE 342398.89
AT ITER 46 NEW BEST:: SOT 502304 SOS 421691 HAS SOPS 421691 HAS SOUS 341899 HAS SOUPS 341899 WITH SCORE 342320.691
AT ITER 50 NEW BEST:: SOT 502311 SOS 420524 HAS SOPS 420524 HAS SOUS 340035 HAS SOUPS 340035 WITH SCORE 340455.524
AT ITER 60 NEW BEST:: SOT 502372 SOS 419873 HAS SOPS 419873 HAS SOUS 339418 HAS SOUPS 339418 WITH SCORE 339837.873
AT ITER 61 NEW BEST:: SOT 502372 SOS 419872 HAS SOPS 419872 HAS SOUS 339416 HAS SOUPS 339416 WITH SCORE 339835.872
AT ITER 63 NEW BEST:: SOT 502372 SOS 419483 HAS SOPS 419483 HAS SOUS 338831 HAS SOUPS 338831 WITH SCORE 339250.483
AT ITER 65 NEW BEST:: SOT 502380 SOS 418900 HAS SOPS 418900 HAS SOUS 338343 HAS SOUPS 338343 WITH SCORE 338761.9
AT ITER 67 NEW BEST:: SOT 502089 SOS 417689 HAS SOPS 417689 HAS SOUS 337474 HAS SOUPS 337474 WITH SCORE 337891.689
AT ITER 72 NEW BEST:: SOT 502018 SOS 417192 HAS SOPS 417192 HAS SOUS 337047 HAS SOUPS 337047 WITH SCORE 337464.192
AT ITER 73 NEW BEST:: SOT 502346 SOS 416856 HAS SOPS 416856 HAS SOUS 336366 HAS SOUPS 336366 WITH SCORE 336782.856
AT ITER 76 NEW BEST:: SOT 502814 SOS 416727 HAS SOPS 416727 HAS SOUS 335646 HAS SOUPS 335646 WITH SCORE 336062.727
AT ITER 77 NEW BEST:: SOT 502496 SOS 416409 HAS SOPS 416409 HAS SOUS 335327 HAS SOUPS 335327 WITH SCORE 335743.409
AT ITER 78 NEW BEST:: SOT 502242 SOS 414204 HAS SOPS 414204 HAS SOUS 333074 HAS SOUPS 333074 WITH SCORE 333488.204
AT ITER 82 NEW BEST:: SOT 502366 SOS 413791 HAS SOPS 413791 HAS SOUS 332307 HAS SOUPS 332307 WITH SCORE 332720.791
AT ITER 83 NEW BEST:: SOT 502360 SOS 413328 HAS SOPS 413328 HAS SOUS 332066 HAS SOUPS 332066 WITH SCORE 332479.328
AT ITER 84 NEW BEST:: SOT 501966 SOS 412693 HAS SOPS 412693 HAS SOUS 331429 HAS SOUPS 331429 WITH SCORE 331841.693
AT ITER 86 NEW BEST:: SOT 501569 SOS 412296 HAS SOPS 412296 HAS SOUS 331032 HAS SOUPS 331032 WITH SCORE 331444.296
AT ITER 87 NEW BEST:: SOT 501351 SOS 412078 HAS SOPS 412078 HAS SOUS 330814 HAS SOUPS 330814 WITH SCORE 331226.078
AT ITER 89 NEW BEST:: SOT 501510 SOS 411420 HAS SOPS 411420 HAS SOUS 329849 HAS SOUPS 329849 WITH SCORE 330260.42
AT ITER 90 NEW BEST:: SOT 501364 SOS 410836 HAS SOPS 410836 HAS SOUS 329255 HAS SOUPS 329255 WITH SCORE 329665.836
AT ITER 92 NEW BEST:: SOT 501353 SOS 410825 HAS SOPS 410825 HAS SOUS 329218 HAS SOUPS 329218 WITH SCORE 329628.825
AT ITER 95 NEW BEST:: SOT 501220 SOS 410186 HAS SOPS 410186 HAS SOUS 328327 HAS SOUPS 328327 WITH SCORE 328737.186
AT ITER 97 NEW BEST:: SOT 501076 SOS 410042 HAS SOPS 410042 HAS SOUS 327975 HAS SOUPS 327975 WITH SCORE 328385.042
AT ITER 98 NEW BEST:: SOT 501565 SOS 410114 HAS SOPS 410114 HAS SOUS 327796 HAS SOUPS 327796 WITH SCORE 328206.114
AT ITER 99 NEW BEST:: SOT 501360 SOS 408017 HAS SOPS 408017 HAS SOUS 325673 HAS SOUPS 325673 WITH SCORE 326081.017
AT ITER 100 NEW BEST:: SOT 501358 SOS 408015 HAS SOPS 408015 HAS SOUS 325671 HAS SOUPS 325671 WITH SCORE 326079.015
AT ITER 103 NEW BEST:: SOT 500986 SOS 407643 HAS SOPS 407643 HAS SOUS 325297 HAS SOUPS 325297 WITH SCORE 325704.643
AT ITER 104 NEW BEST:: SOT 500857 SOS 406927 HAS SOPS 406927 HAS SOUS 324743 HAS SOUPS 324743 WITH SCORE 325149.927
AT ITER 106 NEW BEST:: SOT 500575 SOS 405628 HAS SOPS 405628 HAS SOUS 323812 HAS SOUPS 323812 WITH SCORE 324217.628
AT ITER 107 NEW BEST:: SOT 500602 SOS 405607 HAS SOPS 405607 HAS SOUS 323791 HAS SOUPS 323791 WITH SCORE 324196.607
AT ITER 109 NEW BEST:: SOT 500003 SOS 405006 HAS SOPS 405006 HAS SOUS 323188 HAS SOUPS 323188 WITH SCORE 323593.006
AT ITER 110 NEW BEST:: SOT 500001 SOS 405004 HAS SOPS 405004 HAS SOUS 323187 HAS SOUPS 323187 WITH SCORE 323592.004
AT ITER 114 NEW BEST:: SOT 500001 SOS 404655 HAS SOPS 404655 HAS SOUS 322982 HAS SOUPS 322982 WITH SCORE 323386.655
AT ITER 115 NEW BEST:: SOT 499399 SOS 404053 HAS SOPS 404053 HAS SOUS 322380 HAS SOUPS 322380 WITH SCORE 322784.053
AT ITER 117 NEW BEST:: SOT 499354 SOS 403964 HAS SOPS 403964 HAS SOUS 322290 HAS SOUPS 322290 WITH SCORE 322693.964
AT ITER 119 NEW BEST:: SOT 499417 SOS 404022 HAS SOPS 404022 HAS SOUS 322251 HAS SOUPS 322251 WITH SCORE 322655.022
AT ITER 120 NEW BEST:: SOT 498973 SOS 403578 HAS SOPS 403578 HAS SOUS 321807 HAS SOUPS 321807 WITH SCORE 322210.578
AT ITER 121 NEW BEST:: SOT 499391 SOS 402738 HAS SOPS 402738 HAS SOUS 320709 HAS SOUPS 320709 WITH SCORE 321111.738
AT ITER 122 NEW BEST:: SOT 499364 SOS 402711 HAS SOPS 402711 HAS SOUS 320681 HAS SOUPS 320681 WITH SCORE 321083.711
AT ITER 125 NEW BEST:: SOT 499071 SOS 402418 HAS SOPS 402418 HAS SOUS 320388 HAS SOUPS 320388 WITH SCORE 320790.418
AT ITER 128 NEW BEST:: SOT 498834 SOS 401466 HAS SOPS 401466 HAS SOUS 318941 HAS SOUPS 318941 WITH SCORE 319342.466
AT ITER 129 NEW BEST:: SOT 498834 SOS 401696 HAS SOPS 401696 HAS SOUS 318803 HAS SOUPS 318803 WITH SCORE 319204.696
AT ITER 130 NEW BEST:: SOT 498834 SOS 401022 HAS SOPS 401022 HAS SOUS 318290 HAS SOUPS 318290 WITH SCORE 318691.022
AT ITER 131 NEW BEST:: SOT 498714 SOS 400745 HAS SOPS 400745 HAS SOUS 318010 HAS SOUPS 318010 WITH SCORE 318410.745
AT ITER 132 NEW BEST:: SOT 498714 SOS 399892 HAS SOPS 399892 HAS SOUS 317111 HAS SOUPS 317111 WITH SCORE 317510.892
AT ITER 133 NEW BEST:: SOT 498523 SOS 398981 HAS SOPS 398981 HAS SOUS 316448 HAS SOUPS 316448 WITH SCORE 316846.981
AT ITER 134 NEW BEST:: SOT 498440 SOS 398898 HAS SOPS 398898 HAS SOUS 316365 HAS SOUPS 316365 WITH SCORE 316763.898
AT ITER 136 NEW BEST:: SOT 498440 SOS 398332 HAS SOPS 398332 HAS SOUS 315747 HAS SOUPS 315747 WITH SCORE 316145.332
AT ITER 137 NEW BEST:: SOT 498325 SOS 398216 HAS SOPS 398216 HAS SOUS 315630 HAS SOUPS 315630 WITH SCORE 316028.216
AT ITER 140 NEW BEST:: SOT 497952 SOS 397842 HAS SOPS 397842 HAS SOUS 315255 HAS SOUPS 315255 WITH SCORE 315652.842
AT ITER 141 NEW BEST:: SOT 498548 SOS 398234 HAS SOPS 398234 HAS SOUS 314892 HAS SOUPS 314892 WITH SCORE 315290.234
AT ITER 144 NEW BEST:: SOT 498546 SOS 398230 HAS SOPS 398230 HAS SOUS 314879 HAS SOUPS 314879 WITH SCORE 315277.23
AT ITER 147 NEW BEST:: SOT 498546 SOS 397359 HAS SOPS 397359 HAS SOUS 314415 HAS SOUPS 314415 WITH SCORE 314812.359
AT ITER 149 NEW BEST:: SOT 498500 SOS 397083 HAS SOPS 397083 HAS SOUS 314138 HAS SOUPS 314138 WITH SCORE 314535.083
AT ITER 151 NEW BEST:: SOT 498487 SOS 396918 HAS SOPS 396918 HAS SOUS 314069 HAS SOUPS 314069 WITH SCORE 314465.918
AT ITER 152 NEW BEST:: SOT 497868 SOS 396002 HAS SOPS 396002 HAS SOUS 313151 HAS SOUPS 313151 WITH SCORE 313547.002
AT ITER 154 NEW BEST:: SOT 497751 SOS 395441 HAS SOPS 395441 HAS SOUS 312902 HAS SOUPS 312902 WITH SCORE 313297.441
AT ITER 159 NEW BEST:: SOT 497659 SOS 395349 HAS SOPS 395349 HAS SOUS 312810 HAS SOUPS 312810 WITH SCORE 313205.349
AT ITER 162 NEW BEST:: SOT 497652 SOS 395321 HAS SOPS 395321 HAS SOUS 312767 HAS SOUPS 312767 WITH SCORE 313162.321
AT ITER 163 NEW BEST:: SOT 497408 SOS 394382 HAS SOPS 394382 HAS SOUS 311606 HAS SOUPS 311606 WITH SCORE 312000.382
AT ITER 164 NEW BEST:: SOT 497292 SOS 394001 HAS SOPS 394001 HAS SOUS 310840 HAS SOUPS 310840 WITH SCORE 311234.001
AT ITER 171 NEW BEST:: SOT 496894 SOS 393603 HAS SOPS 393603 HAS SOUS 310442 HAS SOUPS 310442 WITH SCORE 310835.603
AT ITER 172 NEW BEST:: SOT 496894 SOS 393440 HAS SOPS 393440 HAS SOUS 310277 HAS SOUPS 310277 WITH SCORE 310670.44
AT ITER 173 NEW BEST:: SOT 496596 SOS 393142 HAS SOPS 393142 HAS SOUS 309978 HAS SOUPS 309978 WITH SCORE 310371.142
AT ITER 174 NEW BEST:: SOT 496319 SOS 392446 HAS SOPS 392446 HAS SOUS 309276 HAS SOUPS 309276 WITH SCORE 309668.446
AT ITER 178 NEW BEST:: SOT 495867 SOS 391994 HAS SOPS 391994 HAS SOUS 308823 HAS SOUPS 308823 WITH SCORE 309214.994
AT ITER 184 NEW BEST:: SOT 494922 SOS 391049 HAS SOPS 391049 HAS SOUS 307878 HAS SOUPS 307878 WITH SCORE 308269.049
AT ITER 189 NEW BEST:: SOT 494922 SOS 390878 HAS SOPS 390878 HAS SOUS 307740 HAS SOUPS 307740 WITH SCORE 308130.878
AT ITER 190 NEW BEST:: SOT 494861 SOS 390817 HAS SOPS 390817 HAS SOUS 307679 HAS SOUPS 307679 WITH SCORE 308069.817
AT ITER 197 NEW BEST:: SOT 494668 SOS 390624 HAS SOPS 390624 HAS SOUS 307486 HAS SOUPS 307486 WITH SCORE 307876.624
AT ITER 199 NEW BEST:: SOT 494529 SOS 389234 HAS SOPS 389234 HAS SOUS 306377 HAS SOUPS 306377 WITH SCORE 306766.234
AT ITER 202 NEW BEST:: SOT 494306 SOS 388949 HAS SOPS 388949 HAS SOUS 306116 HAS SOUPS 306116 WITH SCORE 306504.949
AT ITER 204 NEW BEST:: SOT 493978 SOS 388621 HAS SOPS 388621 HAS SOUS 305787 HAS SOUPS 305787 WITH SCORE 306175.621
AT ITER 205 NEW BEST:: SOT 493776 SOS 388223 HAS SOPS 388223 HAS SOUS 305786 HAS SOUPS 305786 WITH SCORE 306174.223
AT ITER 208 NEW BEST:: SOT 493609 SOS 387313 HAS SOPS 387313 HAS SOUS 304824 HAS SOUPS 304824 WITH SCORE 305211.313
AT ITER 212 NEW BEST:: SOT 493639 SOS 386868 HAS SOPS 386868 HAS SOUS 304759 HAS SOUPS 304759 WITH SCORE 305145.868
AT ITER 213 NEW BEST:: SOT 493660 SOS 386976 HAS SOPS 386976 HAS SOUS 304752 HAS SOUPS 304752 WITH SCORE 305138.976
AT ITER 214 NEW BEST:: SOT 493373 SOS 386689 HAS SOPS 386689 HAS SOUS 304456 HAS SOUPS 304456 WITH SCORE 304842.689
AT ITER 217 NEW BEST:: SOT 493555 SOS 386551 HAS SOPS 386551 HAS SOUS 304233 HAS SOUPS 304233 WITH SCORE 304619.551
AT ITER 219 NEW BEST:: SOT 493451 SOS 385502 HAS SOPS 385502 HAS SOUS 303665 HAS SOUPS 303665 WITH SCORE 304050.502
AT ITER 222 NEW BEST:: SOT 493357 SOS 385408 HAS SOPS 385408 HAS SOUS 303571 HAS SOUPS 303571 WITH SCORE 303956.408
AT ITER 225 NEW BEST:: SOT 493357 SOS 384838 HAS SOPS 384838 HAS SOUS 303532 HAS SOUPS 303532 WITH SCORE 303916.838
AT ITER 242 NEW BEST:: SOT 493332 SOS 384813 HAS SOPS 384813 HAS SOUS 303507 HAS SOUPS 303507 WITH SCORE 303891.813
AT ITER 243 NEW BEST:: SOT 493175 SOS 383411 HAS SOPS 383411 HAS SOUS 302988 HAS SOUPS 302988 WITH SCORE 303371.411
AT ITER 246 NEW BEST:: SOT 492783 SOS 383019 HAS SOPS 383019 HAS SOUS 302594 HAS SOUPS 302594 WITH SCORE 302977.019
AT ITER 249 NEW BEST:: SOT 492699 SOS 382599 HAS SOPS 382599 HAS SOUS 302258 HAS SOUPS 302258 WITH SCORE 302640.599
AT ITER 250 NEW BEST:: SOT 491864 SOS 380721 HAS SOPS 380721 HAS SOUS 299956 HAS SOUPS 299956 WITH SCORE 300336.721
AT ITER 257 NEW BEST:: SOT 491580 SOS 379383 HAS SOPS 379383 HAS SOUS 299070 HAS SOUPS 299070 WITH SCORE 299449.383
AT ITER 258 NEW BEST:: SOT 491491 SOS 378134 HAS SOPS 378134 HAS SOUS 298527 HAS SOUPS 298527 WITH SCORE 298905.134
AT ITER 263 NEW BEST:: SOT 491378 SOS 377826 HAS SOPS 377826 HAS SOUS 298253 HAS SOUPS 298253 WITH SCORE 298630.826
AT ITER 264 NEW BEST:: SOT 491364 SOS 377812 HAS SOPS 377812 HAS SOUS 298239 HAS SOUPS 298239 WITH SCORE 298616.812
AT ITER 267 NEW BEST:: SOT 491319 SOS 377767 HAS SOPS 377767 HAS SOUS 298194 HAS SOUPS 298194 WITH SCORE 298571.767
AT ITER 268 NEW BEST:: SOT 491407 SOS 377590 HAS SOPS 377590 HAS SOUS 297945 HAS SOUPS 297945 WITH SCORE 298322.59
AT ITER 269 NEW BEST:: SOT 491473 SOS 377799 HAS SOPS 377799 HAS SOUS 297874 HAS SOUPS 297874 WITH SCORE 298251.799
AT ITER 271 NEW BEST:: SOT 491371 SOS 377163 HAS SOPS 377163 HAS SOUS 297160 HAS SOUPS 297160 WITH SCORE 297537.163
AT ITER 275 NEW BEST:: SOT 491318 SOS 377274 HAS SOPS 377274 HAS SOUS 297156 HAS SOUPS 297156 WITH SCORE 297533.274
AT ITER 276 NEW BEST:: SOT 491270 SOS 377226 HAS SOPS 377226 HAS SOUS 297108 HAS SOUPS 297108 WITH SCORE 297485.226
AT ITER 278 NEW BEST:: SOT 491253 SOS 377158 HAS SOPS 377158 HAS SOUS 297040 HAS SOUPS 297040 WITH SCORE 297417.158
AT ITER 279 NEW BEST:: SOT 490941 SOS 375910 HAS SOPS 375910 HAS SOUS 295793 HAS SOUPS 295793 WITH SCORE 296168.91
AT ITER 280 NEW BEST:: SOT 490946 SOS 375915 HAS SOPS 375915 HAS SOUS 295503 HAS SOUPS 295503 WITH SCORE 295878.915
AT ITER 282 NEW BEST:: SOT 490946 SOS 375899 HAS SOPS 375899 HAS SOUS 295313 HAS SOUPS 295313 WITH SCORE 295688.899
AT ITER 286 NEW BEST:: SOT 491083 SOS 375937 HAS SOPS 375937 HAS SOUS 295235 HAS SOUPS 295235 WITH SCORE 295610.937
AT ITER 290 NEW BEST:: SOT 491240 SOS 375991 HAS SOPS 375991 HAS SOUS 295141 HAS SOUPS 295141 WITH SCORE 295516.991
AT ITER 291 NEW BEST:: SOT 491195 SOS 375946 HAS SOPS 375946 HAS SOUS 295111 HAS SOUPS 295111 WITH SCORE 295486.946
AT ITER 292 NEW BEST:: SOT 491055 SOS 375803 HAS SOPS 375803 HAS SOUS 295105 HAS SOUPS 295105 WITH SCORE 295480.803
AT ITER 293 NEW BEST:: SOT 490577 SOS 375325 HAS SOPS 375325 HAS SOUS 294624 HAS SOUPS 294624 WITH SCORE 294999.325
AT ITER 296 NEW BEST:: SOT 490475 SOS 375223 HAS SOPS 375223 HAS SOUS 294522 HAS SOUPS 294522 WITH SCORE 294897.223
AT ITER 299 NEW BEST:: SOT 490275 SOS 374719 HAS SOPS 374719 HAS SOUS 293803 HAS SOUPS 293803 WITH SCORE 294177.719
AT ITER 300 NEW BEST:: SOT 489891 SOS 374335 HAS SOPS 374335 HAS SOUS 293419 HAS SOUPS 293419 WITH SCORE 293793.335
AT ITER 301 NEW BEST:: SOT 489891 SOS 374335 HAS SOPS 374335 HAS SOUS 293101 HAS SOUPS 293101 WITH SCORE 293475.335
AT ITER 305 NEW BEST:: SOT 489891 SOS 374335 HAS SOPS 374335 HAS SOUS 293041 HAS SOUPS 293041 WITH SCORE 293415.335
AT ITER 306 NEW BEST:: SOT 489726 SOS 374170 HAS SOPS 374170 HAS SOUS 292876 HAS SOUPS 292876 WITH SCORE 293250.17
AT ITER 310 NEW BEST:: SOT 489949 SOS 373896 HAS SOPS 373896 HAS SOUS 292875 HAS SOUPS 292875 WITH SCORE 293248.896
AT ITER 312 NEW BEST:: SOT 489555 SOS 373502 HAS SOPS 373502 HAS SOUS 292480 HAS SOUPS 292480 WITH SCORE 292853.502
AT ITER 313 NEW BEST:: SOT 489370 SOS 372506 HAS SOPS 372506 HAS SOUS 291674 HAS SOUPS 291674 WITH SCORE 292046.506
AT ITER 315 NEW BEST:: SOT 489349 SOS 372244 HAS SOPS 372244 HAS SOUS 291409 HAS SOUPS 291409 WITH SCORE 291781.244
AT ITER 316 NEW BEST:: SOT 489183 SOS 371372 HAS SOPS 371372 HAS SOUS 290976 HAS SOUPS 290976 WITH SCORE 291347.372
AT ITER 317 NEW BEST:: SOT 489123 SOS 371312 HAS SOPS 371312 HAS SOUS 290915 HAS SOUPS 290915 WITH SCORE 291286.312
AT ITER 318 NEW BEST:: SOT 489011 SOS 370406 HAS SOPS 370406 HAS SOUS 290525 HAS SOUPS 290525 WITH SCORE 290895.406
AT ITER 320 NEW BEST:: SOT 489011 SOS 370330 HAS SOPS 370330 HAS SOUS 290435 HAS SOUPS 290435 WITH SCORE 290805.33
AT ITER 323 NEW BEST:: SOT 489051 SOS 370662 HAS SOPS 370662 HAS SOUS 290072 HAS SOUPS 290072 WITH SCORE 290442.662
AT ITER 328 NEW BEST:: SOT 488875 SOS 370486 HAS SOPS 370486 HAS SOUS 289896 HAS SOUPS 289896 WITH SCORE 290266.486
AT ITER 329 NEW BEST:: SOT 488806 SOS 370417 HAS SOPS 370417 HAS SOUS 289827 HAS SOUPS 289827 WITH SCORE 290197.417
AT ITER 333 NEW BEST:: SOT 488806 SOS 370292 HAS SOPS 370292 HAS SOUS 289777 HAS SOUPS 289777 WITH SCORE 290147.292
AT ITER 334 NEW BEST:: SOT 488708 SOS 369995 HAS SOPS 369995 HAS SOUS 289437 HAS SOUPS 289437 WITH SCORE 289806.995
AT ITER 335 NEW BEST:: SOT 488677 SOS 368100 HAS SOPS 368100 HAS SOUS 288191 HAS SOUPS 288191 WITH SCORE 288559.1
AT ITER 337 NEW BEST:: SOT 488665 SOS 368022 HAS SOPS 368022 HAS SOUS 288156 HAS SOUPS 288156 WITH SCORE 288524.022
AT ITER 347 NEW BEST:: SOT 488595 SOS 367822 HAS SOPS 367822 HAS SOUS 288073 HAS SOUPS 288073 WITH SCORE 288440.822
AT ITER 348 NEW BEST:: SOT 488595 SOS 367813 HAS SOPS 367813 HAS SOUS 288069 HAS SOUPS 288069 WITH SCORE 288436.813
AT ITER 351 NEW BEST:: SOT 488595 SOS 367503 HAS SOPS 367503 HAS SOUS 287702 HAS SOUPS 287702 WITH SCORE 288069.503
AT ITER 355 NEW BEST:: SOT 488476 SOS 366836 HAS SOPS 366836 HAS SOUS 287091 HAS SOUPS 287091 WITH SCORE 287457.836
AT ITER 358 NEW BEST:: SOT 489299 SOS 368214 HAS SOPS 368214 HAS SOUS 287039 HAS SOUPS 287039 WITH SCORE 287407.214
AT ITER 359 NEW BEST:: SOT 489236 SOS 368025 HAS SOPS 368025 HAS SOUS 286787 HAS SOUPS 286787 WITH SCORE 287155.025
AT ITER 360 NEW BEST:: SOT 489118 SOS 367904 HAS SOPS 367904 HAS SOUS 286660 HAS SOUPS 286660 WITH SCORE 287027.904
AT ITER 367 NEW BEST:: SOT 489044 SOS 367830 HAS SOPS 367830 HAS SOUS 286586 HAS SOUPS 286586 WITH SCORE 286953.83
AT ITER 375 NEW BEST:: SOT 488959 SOS 367490 HAS SOPS 367490 HAS SOUS 286274 HAS SOUPS 286274 WITH SCORE 286641.49
AT ITER 378 NEW BEST:: SOT 488804 SOS 366729 HAS SOPS 366729 HAS SOUS 286122 HAS SOUPS 286122 WITH SCORE 286488.729
AT ITER 380 NEW BEST:: SOT 488912 SOS 366820 HAS SOPS 366820 HAS SOUS 286098 HAS SOUPS 286098 WITH SCORE 286464.82
AT ITER 381 NEW BEST:: SOT 488764 SOS 366668 HAS SOPS 366668 HAS SOUS 285940 HAS SOUPS 285940 WITH SCORE 286306.668
AT ITER 383 NEW BEST:: SOT 488737 SOS 366659 HAS SOPS 366659 HAS SOUS 285902 HAS SOUPS 285902 WITH SCORE 286268.659
AT ITER 385 NEW BEST:: SOT 488752 SOS 366119 HAS SOPS 366119 HAS SOUS 285400 HAS SOUPS 285400 WITH SCORE 285766.119
AT ITER 386 NEW BEST:: SOT 488743 SOS 366471 HAS SOPS 366471 HAS SOUS 284739 HAS SOUPS 284739 WITH SCORE 285105.471
AT ITER 387 NEW BEST:: SOT 488702 SOS 365903 HAS SOPS 365903 HAS SOUS 284266 HAS SOUPS 284266 WITH SCORE 284631.903
AT ITER 388 NEW BEST:: SOT 488894 SOS 365840 HAS SOPS 365840 HAS SOUS 283821 HAS SOUPS 283821 WITH SCORE 284186.84
AT ITER 389 NEW BEST:: SOT 488824 SOS 365770 HAS SOPS 365770 HAS SOUS 283712 HAS SOUPS 283712 WITH SCORE 284077.77
AT ITER 390 NEW BEST:: SOT 488856 SOS 365802 HAS SOPS 365802 HAS SOUS 283586 HAS SOUPS 283586 WITH SCORE 283951.802
AT ITER 395 NEW BEST:: SOT 488892 SOS 365345 HAS SOPS 365345 HAS SOUS 283151 HAS SOUPS 283151 WITH SCORE 283516.345
AT ITER 398 NEW BEST:: SOT 489236 SOS 365009 HAS SOPS 365009 HAS SOUS 282495 HAS SOUPS 282495 WITH SCORE 282860.009
AT ITER 403 NEW BEST:: SOT 488956 SOS 364281 HAS SOPS 364281 HAS SOUS 282449 HAS SOUPS 282449 WITH SCORE 282813.281
AT ITER 404 NEW BEST:: SOT 488226 SOS 361816 HAS SOPS 361816 HAS SOUS 280749 HAS SOUPS 280749 WITH SCORE 281110.816
AT ITER 408 NEW BEST:: SOT 488177 SOS 361174 HAS SOPS 361174 HAS SOUS 280489 HAS SOUPS 280489 WITH SCORE 280850.174
AT ITER 412 NEW BEST:: SOT 487015 SOS 359969 HAS SOPS 359969 HAS SOUS 279284 HAS SOUPS 279284 WITH SCORE 279643.969
AT ITER 414 NEW BEST:: SOT 487007 SOS 359538 HAS SOPS 359538 HAS SOUS 279174 HAS SOUPS 279174 WITH SCORE 279533.538
AT ITER 415 NEW BEST:: SOT 487041 SOS 358496 HAS SOPS 358496 HAS SOUS 279161 HAS SOUPS 279161 WITH SCORE 279519.496
AT ITER 422 NEW BEST:: SOT 487024 SOS 358122 HAS SOPS 358122 HAS SOUS 279018 HAS SOUPS 279018 WITH SCORE 279376.122
AT ITER 426 NEW BEST:: SOT 486774 SOS 356520 HAS SOPS 356520 HAS SOUS 278132 HAS SOUPS 278132 WITH SCORE 278488.52
AT ITER 431 NEW BEST:: SOT 486671 SOS 356005 HAS SOPS 356005 HAS SOUS 277617 HAS SOUPS 277617 WITH SCORE 277973.005
AT ITER 433 NEW BEST:: SOT 486719 SOS 355993 HAS SOPS 355993 HAS SOUS 277616 HAS SOUPS 277616 WITH SCORE 277971.993
AT ITER 440 NEW BEST:: SOT 486627 SOS 355901 HAS SOPS 355901 HAS SOUS 277524 HAS SOUPS 277524 WITH SCORE 277879.901
AT ITER 442 NEW BEST:: SOT 486578 SOS 355803 HAS SOPS 355803 HAS SOUS 277426 HAS SOUPS 277426 WITH SCORE 277781.803
AT ITER 443 NEW BEST:: SOT 486523 SOS 355565 HAS SOPS 355565 HAS SOUS 277255 HAS SOUPS 277255 WITH SCORE 277610.565
AT ITER 445 NEW BEST:: SOT 486489 SOS 355549 HAS SOPS 355549 HAS SOUS 277077 HAS SOUPS 277077 WITH SCORE 277432.549
AT ITER 449 NEW BEST:: SOT 486016 SOS 355030 HAS SOPS 355030 HAS SOUS 276558 HAS SOUPS 276558 WITH SCORE 276913.03
AT ITER 454 NEW BEST:: SOT 485863 SOS 354799 HAS SOPS 354799 HAS SOUS 276351 HAS SOUPS 276351 WITH SCORE 276705.799
AT ITER 456 NEW BEST:: SOT 485660 SOS 354498 HAS SOPS 354498 HAS SOUS 276036 HAS SOUPS 276036 WITH SCORE 276390.498
AT ITER 468 NEW BEST:: SOT 485871 SOS 353751 HAS SOPS 353751 HAS SOUS 275954 HAS SOUPS 275954 WITH SCORE 276307.751
AT ITER 469 NEW BEST:: SOT 485798 SOS 353419 HAS SOPS 353419 HAS SOUS 275859 HAS SOUPS 275859 WITH SCORE 276212.419
AT ITER 473 NEW BEST:: SOT 485562 SOS 352311 HAS SOPS 352311 HAS SOUS 275582 HAS SOUPS 275582 WITH SCORE 275934.311
AT ITER 475 NEW BEST:: SOT 485027 SOS 351773 HAS SOPS 351773 HAS SOUS 275041 HAS SOUPS 275041 WITH SCORE 275392.773
AT ITER 477 NEW BEST:: SOT 485025 SOS 351637 HAS SOPS 351637 HAS SOUS 274901 HAS SOUPS 274901 WITH SCORE 275252.637
AT ITER 478 NEW BEST:: SOT 485004 SOS 351518 HAS SOPS 351518 HAS SOUS 274620 HAS SOUPS 274620 WITH SCORE 274971.518
AT ITER 482 NEW BEST:: SOT 485085 SOS 351480 HAS SOPS 351480 HAS SOUS 274458 HAS SOUPS 274458 WITH SCORE 274809.48
AT ITER 483 NEW BEST:: SOT 484861 SOS 351203 HAS SOPS 351203 HAS SOUS 274265 HAS SOUPS 274265 WITH SCORE 274616.203
AT ITER 492 NEW BEST:: SOT 484701 SOS 351043 HAS SOPS 351043 HAS SOUS 274105 HAS SOUPS 274105 WITH SCORE 274456.043
AT ITER 495 NEW BEST:: SOT 484352 SOS 350694 HAS SOPS 350694 HAS SOUS 273756 HAS SOUPS 273756 WITH SCORE 274106.694
AT ITER 500 NEW BEST:: SOT 484352 SOS 349786 HAS SOPS 349786 HAS SOUS 272848 HAS SOUPS 272848 WITH SCORE 273197.786
AT ITER 501 NEW BEST:: SOT 484352 SOS 349772 HAS SOPS 349772 HAS SOUS 272780 HAS SOUPS 272780 WITH SCORE 273129.772
AT ITER 502 NEW BEST:: SOT 484231 SOS 349404 HAS SOPS 349404 HAS SOUS 272474 HAS SOUPS 272474 WITH SCORE 272823.404
AT ITER 503 NEW BEST:: SOT 484203 SOS 347298 HAS SOPS 347298 HAS SOUS 271330 HAS SOUPS 271330 WITH SCORE 271677.298
AT ITER 504 NEW BEST:: SOT 484144 SOS 347239 HAS SOPS 347239 HAS SOUS 271271 HAS SOUPS 271271 WITH SCORE 271618.239
AT ITER 506 NEW BEST:: SOT 484184 SOS 347119 HAS SOPS 347119 HAS SOUS 271191 HAS SOUPS 271191 WITH SCORE 271538.119
AT ITER 510 NEW BEST:: SOT 484438 SOS 347361 HAS SOPS 347361 HAS SOUS 271156 HAS SOUPS 271156 WITH SCORE 271503.361
AT ITER 512 NEW BEST:: SOT 484613 SOS 346956 HAS SOPS 346956 HAS SOUS 271103 HAS SOUPS 271103 WITH SCORE 271449.956
AT ITER 513 NEW BEST:: SOT 484490 SOS 346742 HAS SOPS 346742 HAS SOUS 270958 HAS SOUPS 270958 WITH SCORE 271304.742
AT ITER 516 NEW BEST:: SOT 484491 SOS 346698 HAS SOPS 346698 HAS SOUS 270910 HAS SOUPS 270910 WITH SCORE 271256.698
AT ITER 521 NEW BEST:: SOT 484132 SOS 346339 HAS SOPS 346339 HAS SOUS 270551 HAS SOUPS 270551 WITH SCORE 270897.339
AT ITER 523 NEW BEST:: SOT 483711 SOS 345671 HAS SOPS 345671 HAS SOUS 269943 HAS SOUPS 269943 WITH SCORE 270288.671
AT ITER 524 NEW BEST:: SOT 483577 SOS 345537 HAS SOPS 345537 HAS SOUS 269809 HAS SOUPS 269809 WITH SCORE 270154.537
AT ITER 526 NEW BEST:: SOT 483558 SOS 345423 HAS SOPS 345423 HAS SOUS 269733 HAS SOUPS 269733 WITH SCORE 270078.423
AT ITER 528 NEW BEST:: SOT 483237 SOS 345102 HAS SOPS 345102 HAS SOUS 269412 HAS SOUPS 269412 WITH SCORE 269757.102
AT ITER 529 NEW BEST:: SOT 483237 SOS 345100 HAS SOPS 345100 HAS SOUS 269337 HAS SOUPS 269337 WITH SCORE 269682.1
AT ITER 532 NEW BEST:: SOT 483132 SOS 344952 HAS SOPS 344952 HAS SOUS 269189 HAS SOUPS 269189 WITH SCORE 269533.952
AT ITER 533 NEW BEST:: SOT 483128 SOS 345072 HAS SOPS 345072 HAS SOUS 269157 HAS SOUPS 269157 WITH SCORE 269502.072
AT ITER 541 NEW BEST:: SOT 482978 SOS 344927 HAS SOPS 344927 HAS SOUS 269017 HAS SOUPS 269017 WITH SCORE 269361.927
AT ITER 543 NEW BEST:: SOT 482934 SOS 344859 HAS SOPS 344859 HAS SOUS 268949 HAS SOUPS 268949 WITH SCORE 269293.859
AT ITER 547 NEW BEST:: SOT 482092 SOS 343614 HAS SOPS 343614 HAS SOUS 267740 HAS SOUPS 267740 WITH SCORE 268083.614
AT ITER 549 NEW BEST:: SOT 482020 SOS 343279 HAS SOPS 343279 HAS SOUS 267474 HAS SOUPS 267474 WITH SCORE 267817.279
AT ITER 552 NEW BEST:: SOT 482020 SOS 343168 HAS SOPS 343168 HAS SOUS 267453 HAS SOUPS 267453 WITH SCORE 267796.168
AT ITER 553 NEW BEST:: SOT 482018 SOS 343165 HAS SOPS 343165 HAS SOUS 267446 HAS SOUPS 267446 WITH SCORE 267789.165
AT ITER 555 NEW BEST:: SOT 481889 SOS 343073 HAS SOPS 343073 HAS SOUS 267204 HAS SOUPS 267204 WITH SCORE 267547.073
AT ITER 556 NEW BEST:: SOT 481977 SOS 342819 HAS SOPS 342819 HAS SOUS 266940 HAS SOUPS 266940 WITH SCORE 267282.819
AT ITER 561 NEW BEST:: SOT 481756 SOS 342732 HAS SOPS 342732 HAS SOUS 266855 HAS SOUPS 266855 WITH SCORE 267197.732
AT ITER 562 NEW BEST:: SOT 481630 SOS 341682 HAS SOPS 341682 HAS SOUS 266508 HAS SOUPS 266508 WITH SCORE 266849.682
AT ITER 564 NEW BEST:: SOT 481637 SOS 341388 HAS SOPS 341388 HAS SOUS 266366 HAS SOUPS 266366 WITH SCORE 266707.388
AT ITER 565 NEW BEST:: SOT 481629 SOS 341374 HAS SOPS 341374 HAS SOUS 266352 HAS SOUPS 266352 WITH SCORE 266693.374
AT ITER 566 NEW BEST:: SOT 481629 SOS 341374 HAS SOPS 341374 HAS SOUS 266238 HAS SOUPS 266238 WITH SCORE 266579.374
AT ITER 568 NEW BEST:: SOT 481604 SOS 341289 HAS SOPS 341289 HAS SOUS 266198 HAS SOUPS 266198 WITH SCORE 266539.289
AT ITER 570 NEW BEST:: SOT 481733 SOS 341118 HAS SOPS 341118 HAS SOUS 265612 HAS SOUPS 265612 WITH SCORE 265953.118
AT ITER 574 NEW BEST:: SOT 482158 SOS 341510 HAS SOPS 341510 HAS SOUS 265511 HAS SOUPS 265511 WITH SCORE 265852.51
AT ITER 576 NEW BEST:: SOT 482088 SOS 341394 HAS SOPS 341394 HAS SOUS 265262 HAS SOUPS 265262 WITH SCORE 265603.394
AT ITER 577 NEW BEST:: SOT 481885 SOS 341191 HAS SOPS 341191 HAS SOUS 265261 HAS SOUPS 265261 WITH SCORE 265602.191
AT ITER 582 NEW BEST:: SOT 481885 SOS 341123 HAS SOPS 341123 HAS SOUS 265159 HAS SOUPS 265159 WITH SCORE 265500.123
AT ITER 583 NEW BEST:: SOT 482078 SOS 340772 HAS SOPS 340772 HAS SOUS 264661 HAS SOUPS 264661 WITH SCORE 265001.772
AT ITER 584 NEW BEST:: SOT 482035 SOS 339819 HAS SOPS 339819 HAS SOUS 264366 HAS SOUPS 264366 WITH SCORE 264705.819
AT ITER 590 NEW BEST:: SOT 482064 SOS 339574 HAS SOPS 339574 HAS SOUS 264345 HAS SOUPS 264345 WITH SCORE 264684.574
AT ITER 593 NEW BEST:: SOT 482066 SOS 339330 HAS SOPS 339330 HAS SOUS 264303 HAS SOUPS 264303 WITH SCORE 264642.33
AT ITER 596 NEW BEST:: SOT 481951 SOS 338325 HAS SOPS 338325 HAS SOUS 264011 HAS SOUPS 264011 WITH SCORE 264349.325
AT ITER 597 NEW BEST:: SOT 481810 SOS 337913 HAS SOPS 337913 HAS SOUS 263270 HAS SOUPS 263270 WITH SCORE 263607.913
AT ITER 599 NEW BEST:: SOT 481513 SOS 337856 HAS SOPS 337856 HAS SOUS 262757 HAS SOUPS 262757 WITH SCORE 263094.856
AT ITER 600 NEW BEST:: SOT 481411 SOS 337746 HAS SOPS 337746 HAS SOUS 262639 HAS SOUPS 262639 WITH SCORE 262976.746
AT ITER 601 NEW BEST:: SOT 481411 SOS 337694 HAS SOPS 337694 HAS SOUS 262548 HAS SOUPS 262548 WITH SCORE 262885.694
AT ITER 602 NEW BEST:: SOT 481300 SOS 337583 HAS SOPS 337583 HAS SOUS 262437 HAS SOUPS 262437 WITH SCORE 262774.583
AT ITER 609 NEW BEST:: SOT 481672 SOS 337293 HAS SOPS 337293 HAS SOUS 262394 HAS SOUPS 262394 WITH SCORE 262731.293
AT ITER 612 NEW BEST:: SOT 481394 SOS 337015 HAS SOPS 337015 HAS SOUS 262116 HAS SOUPS 262116 WITH SCORE 262453.015
AT ITER 613 NEW BEST:: SOT 482185 SOS 337295 HAS SOPS 337295 HAS SOUS 262030 HAS SOUPS 262030 WITH SCORE 262367.295
AT ITER 616 NEW BEST:: SOT 482164 SOS 337247 HAS SOPS 337247 HAS SOUS 261981 HAS SOUPS 261981 WITH SCORE 262318.247
AT ITER 623 NEW BEST:: SOT 482151 SOS 337220 HAS SOPS 337220 HAS SOUS 261954 HAS SOUPS 261954 WITH SCORE 262291.22
AT ITER 625 NEW BEST:: SOT 482090 SOS 337097 HAS SOPS 337097 HAS SOUS 261829 HAS SOUPS 261829 WITH SCORE 262166.097
AT ITER 632 NEW BEST:: SOT 481357 SOS 335706 HAS SOPS 335706 HAS SOUS 261443 HAS SOUPS 261443 WITH SCORE 261778.706
AT ITER 635 NEW BEST:: SOT 481416 SOS 335480 HAS SOPS 335480 HAS SOUS 261345 HAS SOUPS 261345 WITH SCORE 261680.48
AT ITER 640 NEW BEST:: SOT 480863 SOS 334707 HAS SOPS 334707 HAS SOUS 260497 HAS SOUPS 260497 WITH SCORE 260831.707
AT ITER 643 NEW BEST:: SOT 480887 SOS 334580 HAS SOPS 334580 HAS SOUS 260388 HAS SOUPS 260388 WITH SCORE 260722.58
AT ITER 644 NEW BEST:: SOT 480887 SOS 334570 HAS SOPS 334570 HAS SOUS 260368 HAS SOUPS 260368 WITH SCORE 260702.57
AT ITER 648 NEW BEST:: SOT 480887 SOS 335806 HAS SOPS 335806 HAS SOUS 260284 HAS SOUPS 260284 WITH SCORE 260619.806
AT ITER 650 NEW BEST:: SOT 480887 SOS 335681 HAS SOPS 335681 HAS SOUS 260156 HAS SOUPS 260156 WITH SCORE 260491.681
AT ITER 655 NEW BEST:: SOT 480991 SOS 335923 HAS SOPS 335923 HAS SOUS 259890 HAS SOUPS 259890 WITH SCORE 260225.923
AT ITER 663 NEW BEST:: SOT 480991 SOS 335923 HAS SOPS 335923 HAS SOUS 259736 HAS SOUPS 259736 WITH SCORE 260071.923
AT ITER 672 NEW BEST:: SOT 481063 SOS 335923 HAS SOPS 335923 HAS SOUS 259727 HAS SOUPS 259727 WITH SCORE 260062.923
AT ITER 675 NEW BEST:: SOT 481092 SOS 335952 HAS SOPS 335952 HAS SOUS 259658 HAS SOUPS 259658 WITH SCORE 259993.952
AT ITER 680 NEW BEST:: SOT 481061 SOS 335952 HAS SOPS 335952 HAS SOUS 259565 HAS SOUPS 259565 WITH SCORE 259900.952
AT ITER 683 NEW BEST:: SOT 481204 SOS 336023 HAS SOPS 336023 HAS SOUS 259441 HAS SOUPS 259441 WITH SCORE 259777.023
AT ITER 685 NEW BEST:: SOT 481149 SOS 336378 HAS SOPS 336378 HAS SOUS 259438 HAS SOUPS 259438 WITH SCORE 259774.378
AT ITER 686 NEW BEST:: SOT 480972 SOS 334317 HAS SOPS 334317 HAS SOUS 258907 HAS SOUPS 258907 WITH SCORE 259241.317
AT ITER 687 NEW BEST:: SOT 480972 SOS 334311 HAS SOPS 334311 HAS SOUS 258883 HAS SOUPS 258883 WITH SCORE 259217.311
AT ITER 688 NEW BEST:: SOT 480933 SOS 334361 HAS SOPS 334361 HAS SOUS 258768 HAS SOUPS 258768 WITH SCORE 259102.361
AT ITER 694 NEW BEST:: SOT 480772 SOS 334361 HAS SOPS 334361 HAS SOUS 258764 HAS SOUPS 258764 WITH SCORE 259098.361
AT ITER 695 NEW BEST:: SOT 480714 SOS 334242 HAS SOPS 334242 HAS SOUS 258645 HAS SOUPS 258645 WITH SCORE 258979.242
AT ITER 700 NEW BEST:: SOT 480600 SOS 334128 HAS SOPS 334128 HAS SOUS 258474 HAS SOUPS 258474 WITH SCORE 258808.128
AT ITER 702 NEW BEST:: SOT 480230 SOS 333350 HAS SOPS 333350 HAS SOUS 257802 HAS SOUPS 257802 WITH SCORE 258135.35
AT ITER 704 NEW BEST:: SOT 479868 SOS 332988 HAS SOPS 332988 HAS SOUS 257438 HAS SOUPS 257438 WITH SCORE 257770.988
AT ITER 705 NEW BEST:: SOT 479793 SOS 332538 HAS SOPS 332538 HAS SOUS 257129 HAS SOUPS 257129 WITH SCORE 257461.538
AT ITER 709 NEW BEST:: SOT 479730 SOS 332402 HAS SOPS 332402 HAS SOUS 256981 HAS SOUPS 256981 WITH SCORE 257313.402
AT ITER 720 NEW BEST:: SOT 479730 SOS 331376 HAS SOPS 331376 HAS SOUS 256693 HAS SOUPS 256693 WITH SCORE 257024.376
AT ITER 721 NEW BEST:: SOT 479698 SOS 331344 HAS SOPS 331344 HAS SOUS 256645 HAS SOUPS 256645 WITH SCORE 256976.344
AT ITER 724 NEW BEST:: SOT 479349 SOS 330996 HAS SOPS 330996 HAS SOUS 256391 HAS SOUPS 256391 WITH SCORE 256721.996
AT ITER 728 NEW BEST:: SOT 479388 SOS 331150 HAS SOPS 331150 HAS SOUS 256275 HAS SOUPS 256275 WITH SCORE 256606.15
AT ITER 733 NEW BEST:: SOT 479185 SOS 330779 HAS SOPS 330779 HAS SOUS 255859 HAS SOUPS 255859 WITH SCORE 256189.779
AT ITER 736 NEW BEST:: SOT 479050 SOS 329922 HAS SOPS 329922 HAS SOUS 255626 HAS SOUPS 255626 WITH SCORE 255955.922
AT ITER 738 NEW BEST:: SOT 478669 SOS 329541 HAS SOPS 329541 HAS SOUS 255230 HAS SOUPS 255230 WITH SCORE 255559.541
AT ITER 746 NEW BEST:: SOT 478610 SOS 328916 HAS SOPS 328916 HAS SOUS 254643 HAS SOUPS 254643 WITH SCORE 254971.916
AT ITER 749 NEW BEST:: SOT 478158 SOS 328203 HAS SOPS 328203 HAS SOUS 253154 HAS SOUPS 253154 WITH SCORE 253482.203
AT ITER 750 NEW BEST:: SOT 477884 SOS 327923 HAS SOPS 327923 HAS SOUS 252874 HAS SOUPS 252874 WITH SCORE 253201.923
AT ITER 755 NEW BEST:: SOT 477903 SOS 327942 HAS SOPS 327942 HAS SOUS 252868 HAS SOUPS 252868 WITH SCORE 253195.942
AT ITER 756 NEW BEST:: SOT 477790 SOS 327829 HAS SOPS 327829 HAS SOUS 252670 HAS SOUPS 252670 WITH SCORE 252997.829
AT ITER 758 NEW BEST:: SOT 477677 SOS 327716 HAS SOPS 327716 HAS SOUS 252557 HAS SOUPS 252557 WITH SCORE 252884.716
AT ITER 759 NEW BEST:: SOT 477655 SOS 327694 HAS SOPS 327694 HAS SOUS 252535 HAS SOUPS 252535 WITH SCORE 252862.694
AT ITER 765 NEW BEST:: SOT 477590 SOS 326896 HAS SOPS 326896 HAS SOUS 252406 HAS SOUPS 252406 WITH SCORE 252732.896
AT ITER 775 NEW BEST:: SOT 477473 SOS 326779 HAS SOPS 326779 HAS SOUS 252261 HAS SOUPS 252261 WITH SCORE 252587.779
AT ITER 776 NEW BEST:: SOT 476449 SOS 325668 HAS SOPS 325668 HAS SOUS 250985 HAS SOUPS 250985 WITH SCORE 251310.668
AT ITER 777 NEW BEST:: SOT 476409 SOS 325654 HAS SOPS 325654 HAS SOUS 250832 HAS SOUPS 250832 WITH SCORE 251157.654
AT ITER 778 NEW BEST:: SOT 476246 SOS 325491 HAS SOPS 325491 HAS SOUS 250669 HAS SOUPS 250669 WITH SCORE 250994.491
AT ITER 782 NEW BEST:: SOT 476246 SOS 324782 HAS SOPS 324782 HAS SOUS 250512 HAS SOUPS 250512 WITH SCORE 250836.782
AT ITER 788 NEW BEST:: SOT 476212 SOS 323673 HAS SOPS 323673 HAS SOUS 249220 HAS SOUPS 249220 WITH SCORE 249543.673
AT ITER 789 NEW BEST:: SOT 476181 SOS 323652 HAS SOPS 323652 HAS SOUS 249164 HAS SOUPS 249164 WITH SCORE 249487.652
AT ITER 790 NEW BEST:: SOT 476172 SOS 323643 HAS SOPS 323643 HAS SOUS 249155 HAS SOUPS 249155 WITH SCORE 249478.643
AT ITER 794 NEW BEST:: SOT 476128 SOS 323599 HAS SOPS 323599 HAS SOUS 249109 HAS SOUPS 249109 WITH SCORE 249432.599
AT ITER 798 NEW BEST:: SOT 475746 SOS 323175 HAS SOPS 323175 HAS SOUS 248685 HAS SOUPS 248685 WITH SCORE 249008.175
AT ITER 803 NEW BEST:: SOT 475846 SOS 323011 HAS SOPS 323011 HAS SOUS 248622 HAS SOUPS 248622 WITH SCORE 248945.011
AT ITER 810 NEW BEST:: SOT 475846 SOS 323019 HAS SOPS 323019 HAS SOUS 248614 HAS SOUPS 248614 WITH SCORE 248937.019
AT ITER 811 NEW BEST:: SOT 475676 SOS 322349 HAS SOPS 322349 HAS SOUS 248313 HAS SOUPS 248313 WITH SCORE 248635.349
AT ITER 812 NEW BEST:: SOT 475676 SOS 322371 HAS SOPS 322371 HAS SOUS 248306 HAS SOUPS 248306 WITH SCORE 248628.371
AT ITER 819 NEW BEST:: SOT 475696 SOS 322367 HAS SOPS 322367 HAS SOUS 248306 HAS SOUPS 248306 WITH SCORE 248628.367
AT ITER 821 NEW BEST:: SOT 475809 SOS 322367 HAS SOPS 322367 HAS SOUS 248215 HAS SOUPS 248215 WITH SCORE 248537.367
AT ITER 829 NEW BEST:: SOT 475733 SOS 322279 HAS SOPS 322279 HAS SOUS 248038 HAS SOUPS 248038 WITH SCORE 248360.279
AT ITER 830 NEW BEST:: SOT 475655 SOS 322201 HAS SOPS 322201 HAS SOUS 247960 HAS SOUPS 247960 WITH SCORE 248282.201
AT ITER 833 NEW BEST:: SOT 475675 SOS 322240 HAS SOPS 322240 HAS SOUS 247488 HAS SOUPS 247488 WITH SCORE 247810.24
AT ITER 837 NEW BEST:: SOT 475356 SOS 321655 HAS SOPS 321655 HAS SOUS 245974 HAS SOUPS 245974 WITH SCORE 246295.655
AT ITER 844 NEW BEST:: SOT 475159 SOS 321365 HAS SOPS 321365 HAS SOUS 245723 HAS SOUPS 245723 WITH SCORE 246044.365
AT ITER 851 NEW BEST:: SOT 475107 SOS 321313 HAS SOPS 321313 HAS SOUS 245671 HAS SOUPS 245671 WITH SCORE 245992.313
AT ITER 854 NEW BEST:: SOT 475095 SOS 321294 HAS SOPS 321294 HAS SOUS 245572 HAS SOUPS 245572 WITH SCORE 245893.294
AT ITER 855 NEW BEST:: SOT 475014 SOS 321024 HAS SOPS 321024 HAS SOUS 245437 HAS SOUPS 245437 WITH SCORE 245758.024
AT ITER 866 NEW BEST:: SOT 474918 SOS 320928 HAS SOPS 320928 HAS SOUS 245341 HAS SOUPS 245341 WITH SCORE 245661.928
AT ITER 869 NEW BEST:: SOT 474918 SOS 320254 HAS SOPS 320254 HAS SOUS 244845 HAS SOUPS 244845 WITH SCORE 245165.254
AT ITER 870 NEW BEST:: SOT 473835 SOS 318889 HAS SOPS 318889 HAS SOUS 243188 HAS SOUPS 243188 WITH SCORE 243506.889
AT ITER 882 NEW BEST:: SOT 473643 SOS 317185 HAS SOPS 317185 HAS SOUS 242829 HAS SOUPS 242829 WITH SCORE 243146.185
AT ITER 887 NEW BEST:: SOT 473419 SOS 316981 HAS SOPS 316981 HAS SOUS 242659 HAS SOUPS 242659 WITH SCORE 242975.981
AT ITER 896 NEW BEST:: SOT 473012 SOS 316319 HAS SOPS 316319 HAS SOUS 242400 HAS SOUPS 242400 WITH SCORE 242716.319
AT ITER 904 NEW BEST:: SOT 472880 SOS 315796 HAS SOPS 315796 HAS SOUS 242193 HAS SOUPS 242193 WITH SCORE 242508.796
AT ITER 905 NEW BEST:: SOT 472907 SOS 315369 HAS SOPS 315369 HAS SOUS 241694 HAS SOUPS 241694 WITH SCORE 242009.369
AT ITER 921 NEW BEST:: SOT 472907 SOS 315237 HAS SOPS 315237 HAS SOUS 241668 HAS SOUPS 241668 WITH SCORE 241983.237
AT ITER 924 NEW BEST:: SOT 472329 SOS 314286 HAS SOPS 314286 HAS SOUS 240373 HAS SOUPS 240373 WITH SCORE 240687.286
AT ITER 932 NEW BEST:: SOT 471811 SOS 313866 HAS SOPS 313866 HAS SOUS 240012 HAS SOUPS 240012 WITH SCORE 240325.866
AT ITER 944 NEW BEST:: SOT 471480 SOS 313222 HAS SOPS 313222 HAS SOUS 239547 HAS SOUPS 239547 WITH SCORE 239860.222
AT ITER 945 NEW BEST:: SOT 471468 SOS 313210 HAS SOPS 313210 HAS SOUS 239535 HAS SOUPS 239535 WITH SCORE 239848.21
AT ITER 947 NEW BEST:: SOT 471401 SOS 313107 HAS SOPS 313107 HAS SOUS 239297 HAS SOUPS 239297 WITH SCORE 239610.107
AT ITER 951 NEW BEST:: SOT 471049 SOS 311681 HAS SOPS 311681 HAS SOUS 237811 HAS SOUPS 237811 WITH SCORE 238122.681
AT ITER 952 NEW BEST:: SOT 471020 SOS 311665 HAS SOPS 311665 HAS SOUS 237762 HAS SOUPS 237762 WITH SCORE 238073.665
AT ITER 957 NEW BEST:: SOT 471015 SOS 311852 HAS SOPS 311852 HAS SOUS 237752 HAS SOUPS 237752 WITH SCORE 238063.852
AT ITER 958 NEW BEST:: SOT 471015 SOS 311605 HAS SOPS 311605 HAS SOUS 237384 HAS SOUPS 237384 WITH SCORE 237695.605
AT ITER 959 NEW BEST:: SOT 471023 SOS 311598 HAS SOPS 311598 HAS SOUS 237377 HAS SOUPS 237377 WITH SCORE 237688.598
AT ITER 960 NEW BEST:: SOT 470933 SOS 311216 HAS SOPS 311216 HAS SOUS 236987 HAS SOUPS 236987 WITH SCORE 237298.216
AT ITER 964 NEW BEST:: SOT 470832 SOS 311086 HAS SOPS 311086 HAS SOUS 236849 HAS SOUPS 236849 WITH SCORE 237160.086
AT ITER 965 NEW BEST:: SOT 470592 SOS 311161 HAS SOPS 311161 HAS SOUS 236781 HAS SOUPS 236781 WITH SCORE 237092.161
AT ITER 966 NEW BEST:: SOT 470296 SOS 310671 HAS SOPS 310671 HAS SOUS 235876 HAS SOUPS 235876 WITH SCORE 236186.671
AT ITER 968 NEW BEST:: SOT 470294 SOS 310687 HAS SOPS 310687 HAS SOUS 235871 HAS SOUPS 235871 WITH SCORE 236181.687
AT ITER 971 NEW BEST:: SOT 470030 SOS 310423 HAS SOPS 310423 HAS SOUS 235475 HAS SOUPS 235475 WITH SCORE 235785.423
AT ITER 972 NEW BEST:: SOT 470030 SOS 309134 HAS SOPS 309134 HAS SOUS 234910 HAS SOUPS 234910 WITH SCORE 235219.134
AT ITER 974 NEW BEST:: SOT 469991 SOS 309095 HAS SOPS 309095 HAS SOUS 234871 HAS SOUPS 234871 WITH SCORE 235180.095
AT ITER 976 NEW BEST:: SOT 469991 SOS 308903 HAS SOPS 308903 HAS SOUS 234660 HAS SOUPS 234660 WITH SCORE 234968.903
AT ITER 977 NEW BEST:: SOT 470111 SOS 308825 HAS SOPS 308825 HAS SOUS 234151 HAS SOUPS 234151 WITH SCORE 234459.825
AT ITER 979 NEW BEST:: SOT 470044 SOS 308577 HAS SOPS 308577 HAS SOUS 233753 HAS SOUPS 233753 WITH SCORE 234061.577
AT ITER 980 NEW BEST:: SOT 469941 SOS 308474 HAS SOPS 308474 HAS SOUS 233650 HAS SOUPS 233650 WITH SCORE 233958.474
AT ITER 981 NEW BEST:: SOT 470364 SOS 308672 HAS SOPS 308672 HAS SOUS 233066 HAS SOUPS 233066 WITH SCORE 233374.672
AT ITER 982 NEW BEST:: SOT 470364 SOS 308809 HAS SOPS 308809 HAS SOUS 232983 HAS SOUPS 232983 WITH SCORE 233291.809
AT ITER 983 NEW BEST:: SOT 470138 SOS 308583 HAS SOPS 308583 HAS SOUS 232757 HAS SOUPS 232757 WITH SCORE 233065.583
AT ITER 996 NEW BEST:: SOT 469878 SOS 307082 HAS SOPS 307082 HAS SOUS 231943 HAS SOUPS 231943 WITH SCORE 232250.082
AT ITER 1002 NEW BEST:: SOT 469878 SOS 307022 HAS SOPS 307022 HAS SOUS 231912 HAS SOUPS 231912 WITH SCORE 232219.022
AT ITER 1008 NEW BEST:: SOT 469845 SOS 307000 HAS SOPS 307000 HAS SOUS 231890 HAS SOUPS 231890 WITH SCORE 232197.0
AT ITER 1015 NEW BEST:: SOT 469378 SOS 306536 HAS SOPS 306536 HAS SOUS 231382 HAS SOUPS 231382 WITH SCORE 231688.536
AT ITER 1016 NEW BEST:: SOT 469574 SOS 306164 HAS SOPS 306164 HAS SOUS 231162 HAS SOUPS 231162 WITH SCORE 231468.164
AT ITER 1017 NEW BEST:: SOT 469538 SOS 306167 HAS SOPS 306167 HAS SOUS 231135 HAS SOUPS 231135 WITH SCORE 231441.167
AT ITER 1022 NEW BEST:: SOT 469425 SOS 305132 HAS SOPS 305132 HAS SOUS 230856 HAS SOUPS 230856 WITH SCORE 231161.132
AT ITER 1031 NEW BEST:: SOT 469349 SOS 305018 HAS SOPS 305018 HAS SOUS 230628 HAS SOUPS 230628 WITH SCORE 230933.018
AT ITER 1032 NEW BEST:: SOT 469366 SOS 305137 HAS SOPS 305137 HAS SOUS 230557 HAS SOUPS 230557 WITH SCORE 230862.137
AT ITER 1050 NEW BEST:: SOT 469366 SOS 304546 HAS SOPS 304546 HAS SOUS 230463 HAS SOUPS 230463 WITH SCORE 230767.546
AT ITER 1053 NEW BEST:: SOT 469236 SOS 304254 HAS SOPS 304254 HAS SOUS 230265 HAS SOUPS 230265 WITH SCORE 230569.254
AT ITER 1062 NEW BEST:: SOT 469118 SOS 304076 HAS SOPS 304076 HAS SOUS 230081 HAS SOUPS 230081 WITH SCORE 230385.076
AT ITER 1064 NEW BEST:: SOT 468904 SOS 303862 HAS SOPS 303862 HAS SOUS 229693 HAS SOUPS 229693 WITH SCORE 229996.862
AT ITER 1072 NEW BEST:: SOT 468931 SOS 303889 HAS SOPS 303889 HAS SOUS 229691 HAS SOUPS 229691 WITH SCORE 229994.889
AT ITER 1073 NEW BEST:: SOT 468925 SOS 303883 HAS SOPS 303883 HAS SOUS 229684 HAS SOUPS 229684 WITH SCORE 229987.883
AT ITER 1079 NEW BEST:: SOT 469427 SOS 304052 HAS SOPS 304052 HAS SOUS 229537 HAS SOUPS 229537 WITH SCORE 229841.052
AT ITER 1084 NEW BEST:: SOT 469304 SOS 303929 HAS SOPS 303929 HAS SOUS 229414 HAS SOUPS 229414 WITH SCORE 229717.929
AT ITER 1086 NEW BEST:: SOT 469314 SOS 303925 HAS SOPS 303925 HAS SOUS 229398 HAS SOUPS 229398 WITH SCORE 229701.925
AT ITER 1088 NEW BEST:: SOT 469065 SOS 303595 HAS SOPS 303595 HAS SOUS 228984 HAS SOUPS 228984 WITH SCORE 229287.595
AT ITER 1091 NEW BEST:: SOT 469002 SOS 303532 HAS SOPS 303532 HAS SOUS 228799 HAS SOUPS 228799 WITH SCORE 229102.532
AT ITER 1100 NEW BEST:: SOT 469007 SOS 303168 HAS SOPS 303168 HAS SOUS 228350 HAS SOUPS 228350 WITH SCORE 228653.168
AT ITER 1101 NEW BEST:: SOT 468884 SOS 303045 HAS SOPS 303045 HAS SOUS 228227 HAS SOUPS 228227 WITH SCORE 228530.045
AT ITER 1103 NEW BEST:: SOT 468877 SOS 303038 HAS SOPS 303038 HAS SOUS 228220 HAS SOUPS 228220 WITH SCORE 228523.038
AT ITER 1108 NEW BEST:: SOT 468877 SOS 303078 HAS SOPS 303078 HAS SOUS 228140 HAS SOUPS 228140 WITH SCORE 228443.078
AT ITER 1112 NEW BEST:: SOT 468794 SOS 302978 HAS SOPS 302978 HAS SOUS 228014 HAS SOUPS 228014 WITH SCORE 228316.978
AT ITER 1115 NEW BEST:: SOT 469069 SOS 300637 HAS SOPS 300637 HAS SOUS 227048 HAS SOUPS 227048 WITH SCORE 227348.637
AT ITER 1120 NEW BEST:: SOT 468924 SOS 299936 HAS SOPS 299936 HAS SOUS 226583 HAS SOUPS 226583 WITH SCORE 226882.936
AT ITER 1124 NEW BEST:: SOT 468775 SOS 299558 HAS SOPS 299558 HAS SOUS 226262 HAS SOUPS 226262 WITH SCORE 226561.558
AT ITER 1132 NEW BEST:: SOT 468611 SOS 299394 HAS SOPS 299394 HAS SOUS 226098 HAS SOUPS 226098 WITH SCORE 226397.394
AT ITER 1133 NEW BEST:: SOT 468561 SOS 299177 HAS SOPS 299177 HAS SOUS 225818 HAS SOUPS 225818 WITH SCORE 226117.177
AT ITER 1142 NEW BEST:: SOT 468487 SOS 299027 HAS SOPS 299027 HAS SOUS 225640 HAS SOUPS 225640 WITH SCORE 225939.027
AT ITER 1146 NEW BEST:: SOT 468195 SOS 298693 HAS SOPS 298693 HAS SOUS 225306 HAS SOUPS 225306 WITH SCORE 225604.693
AT ITER 1151 NEW BEST:: SOT 468186 SOS 298681 HAS SOPS 298681 HAS SOUS 225294 HAS SOUPS 225294 WITH SCORE 225592.681
AT ITER 1156 NEW BEST:: SOT 468038 SOS 298537 HAS SOPS 298537 HAS SOUS 225253 HAS SOUPS 225253 WITH SCORE 225551.537
AT ITER 1160 NEW BEST:: SOT 467996 SOS 298974 HAS SOPS 298974 HAS SOUS 224605 HAS SOUPS 224605 WITH SCORE 224903.974
AT ITER 1161 NEW BEST:: SOT 467961 SOS 298799 HAS SOPS 298799 HAS SOUS 224534 HAS SOUPS 224534 WITH SCORE 224832.799
AT ITER 1162 NEW BEST:: SOT 467497 SOS 298362 HAS SOPS 298362 HAS SOUS 224091 HAS SOUPS 224091 WITH SCORE 224389.362
AT ITER 1173 NEW BEST:: SOT 467497 SOS 298362 HAS SOPS 298362 HAS SOUS 224064 HAS SOUPS 224064 WITH SCORE 224362.362
AT ITER 1175 NEW BEST:: SOT 467071 SOS 297911 HAS SOPS 297911 HAS SOUS 223514 HAS SOUPS 223514 WITH SCORE 223811.911
AT ITER 1184 NEW BEST:: SOT 466529 SOS 297395 HAS SOPS 297395 HAS SOUS 223024 HAS SOUPS 223024 WITH SCORE 223321.395
AT ITER 1188 NEW BEST:: SOT 466529 SOS 296999 HAS SOPS 296999 HAS SOUS 222934 HAS SOUPS 222934 WITH SCORE 223230.999
AT ITER 1189 NEW BEST:: SOT 466508 SOS 296915 HAS SOPS 296915 HAS SOUS 222913 HAS SOUPS 222913 WITH SCORE 223209.915
AT ITER 1202 NEW BEST:: SOT 466197 SOS 295257 HAS SOPS 295257 HAS SOUS 222164 HAS SOUPS 222164 WITH SCORE 222459.257
AT ITER 1205 NEW BEST:: SOT 466150 SOS 295020 HAS SOPS 295020 HAS SOUS 222070 HAS SOUPS 222070 WITH SCORE 222365.02
AT ITER 1206 NEW BEST:: SOT 466015 SOS 294885 HAS SOPS 294885 HAS SOUS 221988 HAS SOUPS 221988 WITH SCORE 222282.885
AT ITER 1207 NEW BEST:: SOT 466068 SOS 295259 HAS SOPS 295259 HAS SOUS 221982 HAS SOUPS 221982 WITH SCORE 222277.259
AT ITER 1209 NEW BEST:: SOT 465947 SOS 295138 HAS SOPS 295138 HAS SOUS 221498 HAS SOUPS 221498 WITH SCORE 221793.138
AT ITER 1210 NEW BEST:: SOT 465603 SOS 293946 HAS SOPS 293946 HAS SOUS 221377 HAS SOUPS 221377 WITH SCORE 221670.946
AT ITER 1219 NEW BEST:: SOT 465614 SOS 293890 HAS SOPS 293890 HAS SOUS 221364 HAS SOUPS 221364 WITH SCORE 221657.89
AT ITER 1222 NEW BEST:: SOT 465613 SOS 293889 HAS SOPS 293889 HAS SOUS 221362 HAS SOUPS 221362 WITH SCORE 221655.889
AT ITER 1223 NEW BEST:: SOT 465613 SOS 293908 HAS SOPS 293908 HAS SOUS 221322 HAS SOUPS 221322 WITH SCORE 221615.908
AT ITER 1228 NEW BEST:: SOT 465549 SOS 293801 HAS SOPS 293801 HAS SOUS 221077 HAS SOUPS 221077 WITH SCORE 221370.801
AT ITER 1233 NEW BEST:: SOT 465230 SOS 293457 HAS SOPS 293457 HAS SOUS 220262 HAS SOUPS 220262 WITH SCORE 220555.457
AT ITER 1242 NEW BEST:: SOT 465472 SOS 293498 HAS SOPS 293498 HAS SOUS 220011 HAS SOUPS 220011 WITH SCORE 220304.498
AT ITER 1243 NEW BEST:: SOT 465458 SOS 293484 HAS SOPS 293484 HAS SOUS 219923 HAS SOUPS 219923 WITH SCORE 220216.484
AT ITER 1247 NEW BEST:: SOT 465627 SOS 293698 HAS SOPS 293698 HAS SOUS 219773 HAS SOUPS 219773 WITH SCORE 220066.698
AT ITER 1250 NEW BEST:: SOT 465553 SOS 293513 HAS SOPS 293513 HAS SOUS 219625 HAS SOUPS 219625 WITH SCORE 219918.513
AT ITER 1255 NEW BEST:: SOT 465238 SOS 293246 HAS SOPS 293246 HAS SOUS 219360 HAS SOUPS 219360 WITH SCORE 219653.246
AT ITER 1257 NEW BEST:: SOT 465252 SOS 292671 HAS SOPS 292671 HAS SOUS 219028 HAS SOUPS 219028 WITH SCORE 219320.671
AT ITER 1262 NEW BEST:: SOT 465208 SOS 292596 HAS SOPS 292596 HAS SOUS 218953 HAS SOUPS 218953 WITH SCORE 219245.596
AT ITER 1268 NEW BEST:: SOT 465201 SOS 292569 HAS SOPS 292569 HAS SOUS 218950 HAS SOUPS 218950 WITH SCORE 219242.569
AT ITER 1270 NEW BEST:: SOT 465263 SOS 292461 HAS SOPS 292461 HAS SOUS 218866 HAS SOUPS 218866 WITH SCORE 219158.461
AT ITER 1273 NEW BEST:: SOT 464974 SOS 291393 HAS SOPS 291393 HAS SOUS 217905 HAS SOUPS 217905 WITH SCORE 218196.393
AT ITER 1276 NEW BEST:: SOT 464680 SOS 290833 HAS SOPS 290833 HAS SOUS 217528 HAS SOUPS 217528 WITH SCORE 217818.833
AT ITER 1277 NEW BEST:: SOT 464680 SOS 290863 HAS SOPS 290863 HAS SOUS 217516 HAS SOUPS 217516 WITH SCORE 217806.863
AT ITER 1279 NEW BEST:: SOT 464586 SOS 290769 HAS SOPS 290769 HAS SOUS 217508 HAS SOUPS 217508 WITH SCORE 217798.769
AT ITER 1282 NEW BEST:: SOT 464563 SOS 290746 HAS SOPS 290746 HAS SOUS 217485 HAS SOUPS 217485 WITH SCORE 217775.746
AT ITER 1285 NEW BEST:: SOT 464450 SOS 290516 HAS SOPS 290516 HAS SOUS 217000 HAS SOUPS 217000 WITH SCORE 217290.516
AT ITER 1301 NEW BEST:: SOT 464308 SOS 290364 HAS SOPS 290364 HAS SOUS 216933 HAS SOUPS 216933 WITH SCORE 217223.364
AT ITER 1309 NEW BEST:: SOT 464130 SOS 290056 HAS SOPS 290056 HAS SOUS 216669 HAS SOUPS 216669 WITH SCORE 216959.056
AT ITER 1317 NEW BEST:: SOT 464072 SOS 289690 HAS SOPS 289690 HAS SOUS 216344 HAS SOUPS 216344 WITH SCORE 216633.69
AT ITER 1319 NEW BEST:: SOT 463946 SOS 289154 HAS SOPS 289154 HAS SOUS 215980 HAS SOUPS 215980 WITH SCORE 216269.154
AT ITER 1320 NEW BEST:: SOT 463946 SOS 289098 HAS SOPS 289098 HAS SOUS 215980 HAS SOUPS 215980 WITH SCORE 216269.098
AT ITER 1326 NEW BEST:: SOT 463912 SOS 289064 HAS SOPS 289064 HAS SOUS 215781 HAS SOUPS 215781 WITH SCORE 216070.064
AT ITER 1330 NEW BEST:: SOT 463701 SOS 288034 HAS SOPS 288034 HAS SOUS 215469 HAS SOUPS 215469 WITH SCORE 215757.034
AT ITER 1339 NEW BEST:: SOT 463695 SOS 288006 HAS SOPS 288006 HAS SOUS 215443 HAS SOUPS 215443 WITH SCORE 215731.006
AT ITER 1340 NEW BEST:: SOT 463639 SOS 287950 HAS SOPS 287950 HAS SOUS 215299 HAS SOUPS 215299 WITH SCORE 215586.95
AT ITER 1344 NEW BEST:: SOT 463285 SOS 287596 HAS SOPS 287596 HAS SOUS 214945 HAS SOUPS 214945 WITH SCORE 215232.596
AT ITER 1345 NEW BEST:: SOT 463285 SOS 287600 HAS SOPS 287600 HAS SOUS 214943 HAS SOUPS 214943 WITH SCORE 215230.6
AT ITER 1350 NEW BEST:: SOT 462538 SOS 286838 HAS SOPS 286838 HAS SOUS 214329 HAS SOUPS 214329 WITH SCORE 214615.838
AT ITER 1353 NEW BEST:: SOT 462484 SOS 286784 HAS SOPS 286784 HAS SOUS 214280 HAS SOUPS 214280 WITH SCORE 214566.784
AT ITER 1354 NEW BEST:: SOT 462206 SOS 286462 HAS SOPS 286462 HAS SOUS 214266 HAS SOUPS 214266 WITH SCORE 214552.462
AT ITER 1355 NEW BEST:: SOT 462076 SOS 285452 HAS SOPS 285452 HAS SOUS 213991 HAS SOUPS 213991 WITH SCORE 214276.452
AT ITER 1365 NEW BEST:: SOT 462070 SOS 285446 HAS SOPS 285446 HAS SOUS 213991 HAS SOUPS 213991 WITH SCORE 214276.446
AT ITER 1366 NEW BEST:: SOT 461856 SOS 285182 HAS SOPS 285182 HAS SOUS 213677 HAS SOUPS 213677 WITH SCORE 213962.182
AT ITER 1373 NEW BEST:: SOT 461980 SOS 285140 HAS SOPS 285140 HAS SOUS 213623 HAS SOUPS 213623 WITH SCORE 213908.14
AT ITER 1377 NEW BEST:: SOT 461889 SOS 284971 HAS SOPS 284971 HAS SOUS 213444 HAS SOUPS 213444 WITH SCORE 213728.971
AT ITER 1379 NEW BEST:: SOT 461889 SOS 284905 HAS SOPS 284905 HAS SOUS 213353 HAS SOUPS 213353 WITH SCORE 213637.905
AT ITER 1381 NEW BEST:: SOT 461875 SOS 284891 HAS SOPS 284891 HAS SOUS 213339 HAS SOUPS 213339 WITH SCORE 213623.891
AT ITER 1384 NEW BEST:: SOT 462123 SOS 285445 HAS SOPS 285445 HAS SOUS 213120 HAS SOUPS 213120 WITH SCORE 213405.445
AT ITER 1387 NEW BEST:: SOT 462147 SOS 284859 HAS SOPS 284859 HAS SOUS 212950 HAS SOUPS 212950 WITH SCORE 213234.859
AT ITER 1391 NEW BEST:: SOT 462115 SOS 284705 HAS SOPS 284705 HAS SOUS 212703 HAS SOUPS 212703 WITH SCORE 212987.705
AT ITER 1404 NEW BEST:: SOT 461406 SOS 282937 HAS SOPS 282937 HAS SOUS 211925 HAS SOUPS 211925 WITH SCORE 212207.937
AT ITER 1405 NEW BEST:: SOT 461406 SOS 282797 HAS SOPS 282797 HAS SOUS 211925 HAS SOUPS 211925 WITH SCORE 212207.797
AT ITER 1409 NEW BEST:: SOT 461330 SOS 281732 HAS SOPS 281732 HAS SOUS 211164 HAS SOUPS 211164 WITH SCORE 211445.732
AT ITER 1412 NEW BEST:: SOT 461330 SOS 281194 HAS SOPS 281194 HAS SOUS 210812 HAS SOUPS 210812 WITH SCORE 211093.194
AT ITER 1416 NEW BEST:: SOT 461329 SOS 281193 HAS SOPS 281193 HAS SOUS 210811 HAS SOUPS 210811 WITH SCORE 211092.193
AT ITER 1421 NEW BEST:: SOT 460799 SOS 280663 HAS SOPS 280663 HAS SOUS 210281 HAS SOUPS 210281 WITH SCORE 210561.663
AT ITER 1431 NEW BEST:: SOT 460799 SOS 280911 HAS SOPS 280911 HAS SOUS 210262 HAS SOUPS 210262 WITH SCORE 210542.911
AT ITER 1433 NEW BEST:: SOT 460708 SOS 280694 HAS SOPS 280694 HAS SOUS 210114 HAS SOUPS 210114 WITH SCORE 210394.694
AT ITER 1437 NEW BEST:: SOT 460715 SOS 280688 HAS SOPS 280688 HAS SOUS 210108 HAS SOUPS 210108 WITH SCORE 210388.688
AT ITER 1440 NEW BEST:: SOT 461235 SOS 281388 HAS SOPS 281388 HAS SOUS 210084 HAS SOUPS 210084 WITH SCORE 210365.388
AT ITER 1442 NEW BEST:: SOT 461195 SOS 281348 HAS SOPS 281348 HAS SOUS 210022 HAS SOUPS 210022 WITH SCORE 210303.348
AT ITER 1445 NEW BEST:: SOT 461186 SOS 281339 HAS SOPS 281339 HAS SOUS 210016 HAS SOUPS 210016 WITH SCORE 210297.339
AT ITER 1451 NEW BEST:: SOT 461186 SOS 281153 HAS SOPS 281153 HAS SOUS 209923 HAS SOUPS 209923 WITH SCORE 210204.153
AT ITER 1452 NEW BEST:: SOT 461092 SOS 281057 HAS SOPS 281057 HAS SOUS 209815 HAS SOUPS 209815 WITH SCORE 210096.057
AT ITER 1464 NEW BEST:: SOT 461220 SOS 281117 HAS SOPS 281117 HAS SOUS 209799 HAS SOUPS 209799 WITH SCORE 210080.117
AT ITER 1465 NEW BEST:: SOT 460976 SOS 280873 HAS SOPS 280873 HAS SOUS 209555 HAS SOUPS 209555 WITH SCORE 209835.873
AT ITER 1468 NEW BEST:: SOT 460998 SOS 280861 HAS SOPS 280861 HAS SOUS 209502 HAS SOUPS 209502 WITH SCORE 209782.861
AT ITER 1472 NEW BEST:: SOT 460998 SOS 280882 HAS SOPS 280882 HAS SOUS 209474 HAS SOUPS 209474 WITH SCORE 209754.882
AT ITER 1476 NEW BEST:: SOT 460770 SOS 280362 HAS SOPS 280362 HAS SOUS 208516 HAS SOUPS 208516 WITH SCORE 208796.362
AT ITER 1479 NEW BEST:: SOT 460732 SOS 280296 HAS SOPS 280296 HAS SOUS 208408 HAS SOUPS 208408 WITH SCORE 208688.296
AT ITER 1482 NEW BEST:: SOT 460425 SOS 279580 HAS SOPS 279580 HAS SOUS 207752 HAS SOUPS 207752 WITH SCORE 208031.58
AT ITER 1483 NEW BEST:: SOT 460375 SOS 279304 HAS SOPS 279304 HAS SOUS 207678 HAS SOUPS 207678 WITH SCORE 207957.304
AT ITER 1486 NEW BEST:: SOT 460326 SOS 279015 HAS SOPS 279015 HAS SOUS 207389 HAS SOUPS 207389 WITH SCORE 207668.015
AT ITER 1488 NEW BEST:: SOT 460195 SOS 278746 HAS SOPS 278746 HAS SOUS 206523 HAS SOUPS 206523 WITH SCORE 206801.746
AT ITER 1498 NEW BEST:: SOT 460195 SOS 278802 HAS SOPS 278802 HAS SOUS 206495 HAS SOUPS 206495 WITH SCORE 206773.802
AT ITER 1502 NEW BEST:: SOT 460195 SOS 278802 HAS SOPS 278802 HAS SOUS 206452 HAS SOUPS 206452 WITH SCORE 206730.802
AT ITER 1512 NEW BEST:: SOT 460173 SOS 278780 HAS SOPS 278780 HAS SOUS 206430 HAS SOUPS 206430 WITH SCORE 206708.78
AT ITER 1521 NEW BEST:: SOT 460173 SOS 278764 HAS SOPS 278764 HAS SOUS 206351 HAS SOUPS 206351 WITH SCORE 206629.764
AT ITER 1526 NEW BEST:: SOT 458630 SOS 276002 HAS SOPS 276002 HAS SOUS 204126 HAS SOUPS 204126 WITH SCORE 204402.002
AT ITER 1531 NEW BEST:: SOT 458177 SOS 275088 HAS SOPS 275088 HAS SOUS 203127 HAS SOUPS 203127 WITH SCORE 203402.088
AT ITER 1537 NEW BEST:: SOT 456851 SOS 273620 HAS SOPS 273620 HAS SOUS 201746 HAS SOUPS 201746 WITH SCORE 202019.62
AT ITER 1538 NEW BEST:: SOT 456828 SOS 273574 HAS SOPS 273574 HAS SOUS 201619 HAS SOUPS 201619 WITH SCORE 201892.574
AT ITER 1545 NEW BEST:: SOT 456778 SOS 273524 HAS SOPS 273524 HAS SOUS 201569 HAS SOUPS 201569 WITH SCORE 201842.524
AT ITER 1549 NEW BEST:: SOT 456687 SOS 273506 HAS SOPS 273506 HAS SOUS 201551 HAS SOUPS 201551 WITH SCORE 201824.506
AT ITER 1557 NEW BEST:: SOT 456363 SOS 273153 HAS SOPS 273153 HAS SOUS 200652 HAS SOUPS 200652 WITH SCORE 200925.153
AT ITER 1559 NEW BEST:: SOT 456074 SOS 272864 HAS SOPS 272864 HAS SOUS 200363 HAS SOUPS 200363 WITH SCORE 200635.864
AT ITER 1566 NEW BEST:: SOT 455862 SOS 272164 HAS SOPS 272164 HAS SOUS 200278 HAS SOUPS 200278 WITH SCORE 200550.164
AT ITER 1573 NEW BEST:: SOT 455618 SOS 271852 HAS SOPS 271852 HAS SOUS 199564 HAS SOUPS 199564 WITH SCORE 199835.852
AT ITER 1574 NEW BEST:: SOT 455598 SOS 271716 HAS SOPS 271716 HAS SOUS 199428 HAS SOUPS 199428 WITH SCORE 199699.716
AT ITER 1585 NEW BEST:: SOT 455562 SOS 271636 HAS SOPS 271636 HAS SOUS 199382 HAS SOUPS 199382 WITH SCORE 199653.636
AT ITER 1594 NEW BEST:: SOT 455376 SOS 271229 HAS SOPS 271229 HAS SOUS 199175 HAS SOUPS 199175 WITH SCORE 199446.229
AT ITER 1596 NEW BEST:: SOT 455236 SOS 271089 HAS SOPS 271089 HAS SOUS 199035 HAS SOUPS 199035 WITH SCORE 199306.089
AT ITER 1605 NEW BEST:: SOT 454342 SOS 269915 HAS SOPS 269915 HAS SOUS 198068 HAS SOUPS 198068 WITH SCORE 198337.915
AT ITER 1616 NEW BEST:: SOT 454349 SOS 269863 HAS SOPS 269863 HAS SOUS 197707 HAS SOUPS 197707 WITH SCORE 197976.863
AT ITER 1618 NEW BEST:: SOT 454045 SOS 269630 HAS SOPS 269630 HAS SOUS 197462 HAS SOUPS 197462 WITH SCORE 197731.63
AT ITER 1619 NEW BEST:: SOT 453911 SOS 269496 HAS SOPS 269496 HAS SOUS 197328 HAS SOUPS 197328 WITH SCORE 197597.496
AT ITER 1633 NEW BEST:: SOT 453646 SOS 269178 HAS SOPS 269178 HAS SOUS 197010 HAS SOUPS 197010 WITH SCORE 197279.178
AT ITER 1634 NEW BEST:: SOT 453595 SOS 269107 HAS SOPS 269107 HAS SOUS 196939 HAS SOUPS 196939 WITH SCORE 197208.107
AT ITER 1637 NEW BEST:: SOT 453595 SOS 269105 HAS SOPS 269105 HAS SOUS 196937 HAS SOUPS 196937 WITH SCORE 197206.105
AT ITER 1639 NEW BEST:: SOT 453595 SOS 269039 HAS SOPS 269039 HAS SOUS 196607 HAS SOUPS 196607 WITH SCORE 196876.039
AT ITER 1641 NEW BEST:: SOT 453595 SOS 269901 HAS SOPS 269901 HAS SOUS 196340 HAS SOUPS 196340 WITH SCORE 196609.901
AT ITER 1650 NEW BEST:: SOT 453342 SOS 269524 HAS SOPS 269524 HAS SOUS 195963 HAS SOUPS 195963 WITH SCORE 196232.524
AT ITER 1655 NEW BEST:: SOT 453403 SOS 269496 HAS SOPS 269496 HAS SOUS 195957 HAS SOUPS 195957 WITH SCORE 196226.496
AT ITER 1666 NEW BEST:: SOT 453176 SOS 268775 HAS SOPS 268775 HAS SOUS 195866 HAS SOUPS 195866 WITH SCORE 196134.775
AT ITER 1670 NEW BEST:: SOT 453113 SOS 268712 HAS SOPS 268712 HAS SOUS 195803 HAS SOUPS 195803 WITH SCORE 196071.712
AT ITER 1677 NEW BEST:: SOT 453071 SOS 268670 HAS SOPS 268670 HAS SOUS 195761 HAS SOUPS 195761 WITH SCORE 196029.67
AT ITER 1681 NEW BEST:: SOT 452943 SOS 268542 HAS SOPS 268542 HAS SOUS 195589 HAS SOUPS 195589 WITH SCORE 195857.542
AT ITER 1687 NEW BEST:: SOT 453036 SOS 268926 HAS SOPS 268926 HAS SOUS 195497 HAS SOUPS 195497 WITH SCORE 195765.926
AT ITER 1691 NEW BEST:: SOT 452991 SOS 268896 HAS SOPS 268896 HAS SOUS 195248 HAS SOUPS 195248 WITH SCORE 195516.896
AT ITER 1701 NEW BEST:: SOT 452648 SOS 268075 HAS SOPS 268075 HAS SOUS 194380 HAS SOUPS 194380 WITH SCORE 194648.075
AT ITER 1703 NEW BEST:: SOT 452648 SOS 267919 HAS SOPS 267919 HAS SOUS 194314 HAS SOUPS 194314 WITH SCORE 194581.919
AT ITER 1713 NEW BEST:: SOT 452744 SOS 267876 HAS SOPS 267876 HAS SOUS 193983 HAS SOUPS 193983 WITH SCORE 194250.876
AT ITER 1728 NEW BEST:: SOT 452744 SOS 268292 HAS SOPS 268292 HAS SOUS 193777 HAS SOUPS 193777 WITH SCORE 194045.292
AT ITER 1738 NEW BEST:: SOT 453028 SOS 268571 HAS SOPS 268571 HAS SOUS 193653 HAS SOUPS 193653 WITH SCORE 193921.571
AT ITER 1744 NEW BEST:: SOT 452491 SOS 267908 HAS SOPS 267908 HAS SOUS 193123 HAS SOUPS 193123 WITH SCORE 193390.908
AT ITER 1749 NEW BEST:: SOT 452486 SOS 267903 HAS SOPS 267903 HAS SOUS 193118 HAS SOUPS 193118 WITH SCORE 193385.903
AT ITER 1753 NEW BEST:: SOT 452486 SOS 267825 HAS SOPS 267825 HAS SOUS 193079 HAS SOUPS 193079 WITH SCORE 193346.825
AT ITER 1755 NEW BEST:: SOT 452180 SOS 267568 HAS SOPS 267568 HAS SOUS 192866 HAS SOUPS 192866 WITH SCORE 193133.568
AT ITER 1761 NEW BEST:: SOT 451770 SOS 266772 HAS SOPS 266772 HAS SOUS 192256 HAS SOUPS 192256 WITH SCORE 192522.772
AT ITER 1765 NEW BEST:: SOT 451810 SOS 266722 HAS SOPS 266722 HAS SOUS 192244 HAS SOUPS 192244 WITH SCORE 192510.722
AT ITER 1780 NEW BEST:: SOT 451810 SOS 266048 HAS SOPS 266048 HAS SOUS 191944 HAS SOUPS 191944 WITH SCORE 192210.048
AT ITER 1790 NEW BEST:: SOT 452002 SOS 264041 HAS SOPS 264041 HAS SOUS 191658 HAS SOUPS 191658 WITH SCORE 191922.041
AT ITER 1800 NEW BEST:: SOT 451955 SOS 263957 HAS SOPS 263957 HAS SOUS 191520 HAS SOUPS 191520 WITH SCORE 191783.957
AT ITER 1804 NEW BEST:: SOT 451897 SOS 263899 HAS SOPS 263899 HAS SOUS 191462 HAS SOUPS 191462 WITH SCORE 191725.899
AT ITER 1818 NEW BEST:: SOT 451885 SOS 263887 HAS SOPS 263887 HAS SOUS 191450 HAS SOUPS 191450 WITH SCORE 191713.887
AT ITER 1826 NEW BEST:: SOT 451716 SOS 263213 HAS SOPS 263213 HAS SOUS 191369 HAS SOUPS 191369 WITH SCORE 191632.213
AT ITER 1831 NEW BEST:: SOT 451676 SOS 262969 HAS SOPS 262969 HAS SOUS 191180 HAS SOUPS 191180 WITH SCORE 191442.969
AT ITER 1836 NEW BEST:: SOT 451263 SOS 261806 HAS SOPS 261806 HAS SOUS 190577 HAS SOUPS 190577 WITH SCORE 190838.806
AT ITER 1841 NEW BEST:: SOT 451167 SOS 261574 HAS SOPS 261574 HAS SOUS 190352 HAS SOUPS 190352 WITH SCORE 190613.574
AT ITER 1842 NEW BEST:: SOT 451167 SOS 261574 HAS SOPS 261574 HAS SOUS 190322 HAS SOUPS 190322 WITH SCORE 190583.574
AT ITER 1844 NEW BEST:: SOT 451081 SOS 261509 HAS SOPS 261509 HAS SOUS 190257 HAS SOUPS 190257 WITH SCORE 190518.509
AT ITER 1855 NEW BEST:: SOT 451049 SOS 261457 HAS SOPS 261457 HAS SOUS 190145 HAS SOUPS 190145 WITH SCORE 190406.457
AT ITER 1857 NEW BEST:: SOT 450900 SOS 261285 HAS SOPS 261285 HAS SOUS 189949 HAS SOUPS 189949 WITH SCORE 190210.285
AT ITER 1865 NEW BEST:: SOT 450936 SOS 261287 HAS SOPS 261287 HAS SOUS 189912 HAS SOUPS 189912 WITH SCORE 190173.287
AT ITER 1866 NEW BEST:: SOT 450804 SOS 260684 HAS SOPS 260684 HAS SOUS 189644 HAS SOUPS 189644 WITH SCORE 189904.684
AT ITER 1875 NEW BEST:: SOT 450452 SOS 259830 HAS SOPS 259830 HAS SOUS 189268 HAS SOUPS 189268 WITH SCORE 189527.83
AT ITER 1883 NEW BEST:: SOT 450415 SOS 259869 HAS SOPS 259869 HAS SOUS 189264 HAS SOUPS 189264 WITH SCORE 189523.869
AT ITER 1895 NEW BEST:: SOT 450414 SOS 259866 HAS SOPS 259866 HAS SOUS 189259 HAS SOUPS 189259 WITH SCORE 189518.866
AT ITER 1897 NEW BEST:: SOT 449930 SOS 259382 HAS SOPS 259382 HAS SOUS 188695 HAS SOUPS 188695 WITH SCORE 188954.382
AT ITER 1910 NEW BEST:: SOT 449824 SOS 259276 HAS SOPS 259276 HAS SOUS 188477 HAS SOUPS 188477 WITH SCORE 188736.276
AT ITER 1917 NEW BEST:: SOT 449768 SOS 259220 HAS SOPS 259220 HAS SOUS 188381 HAS SOUPS 188381 WITH SCORE 188640.22
AT ITER 1920 NEW BEST:: SOT 449586 SOS 257903 HAS SOPS 257903 HAS SOUS 187946 HAS SOUPS 187946 WITH SCORE 188203.903
AT ITER 1921 NEW BEST:: SOT 449368 SOS 257685 HAS SOPS 257685 HAS SOUS 187666 HAS SOUPS 187666 WITH SCORE 187923.685
AT ITER 1922 NEW BEST:: SOT 448991 SOS 256918 HAS SOPS 256918 HAS SOUS 187631 HAS SOUPS 187631 WITH SCORE 187887.918
AT ITER 1926 NEW BEST:: SOT 448945 SOS 256798 HAS SOPS 256798 HAS SOUS 187453 HAS SOUPS 187453 WITH SCORE 187709.798
AT ITER 1930 NEW BEST:: SOT 448943 SOS 256605 HAS SOPS 256605 HAS SOUS 187392 HAS SOUPS 187392 WITH SCORE 187648.605
AT ITER 1938 NEW BEST:: SOT 448872 SOS 256019 HAS SOPS 256019 HAS SOUS 187319 HAS SOUPS 187319 WITH SCORE 187575.019
AT ITER 1941 NEW BEST:: SOT 448819 SOS 255697 HAS SOPS 255697 HAS SOUS 187128 HAS SOUPS 187128 WITH SCORE 187383.697
AT ITER 1942 NEW BEST:: SOT 448807 SOS 255673 HAS SOPS 255673 HAS SOUS 187104 HAS SOUPS 187104 WITH SCORE 187359.673
AT ITER 1944 NEW BEST:: SOT 448790 SOS 255562 HAS SOPS 255562 HAS SOUS 186985 HAS SOUPS 186985 WITH SCORE 187240.562
AT ITER 1951 NEW BEST:: SOT 448725 SOS 255287 HAS SOPS 255287 HAS SOUS 186932 HAS SOUPS 186932 WITH SCORE 187187.287
AT ITER 1952 NEW BEST:: SOT 448614 SOS 255139 HAS SOPS 255139 HAS SOUS 186784 HAS SOUPS 186784 WITH SCORE 187039.139
AT ITER 1954 NEW BEST:: SOT 448745 SOS 255202 HAS SOPS 255202 HAS SOUS 186718 HAS SOUPS 186718 WITH SCORE 186973.202
AT ITER 1957 NEW BEST:: SOT 448881 SOS 255066 HAS SOPS 255066 HAS SOUS 186632 HAS SOUPS 186632 WITH SCORE 186887.066
AT ITER 1967 NEW BEST:: SOT 448411 SOS 254581 HAS SOPS 254581 HAS SOUS 186147 HAS SOUPS 186147 WITH SCORE 186401.581
AT ITER 1971 NEW BEST:: SOT 448393 SOS 254101 HAS SOPS 254101 HAS SOUS 186063 HAS SOUPS 186063 WITH SCORE 186317.101
AT ITER 1973 NEW BEST:: SOT 448204 SOS 253345 HAS SOPS 253345 HAS SOUS 185685 HAS SOUPS 185685 WITH SCORE 185938.345
AT ITER 1982 NEW BEST:: SOT 448046 SOS 253197 HAS SOPS 253197 HAS SOUS 185637 HAS SOUPS 185637 WITH SCORE 185890.197
AT ITER 1987 NEW BEST:: SOT 447687 SOS 252838 HAS SOPS 252838 HAS SOUS 185278 HAS SOUPS 185278 WITH SCORE 185530.838
AT ITER 1992 NEW BEST:: SOT 447604 SOS 252113 HAS SOPS 252113 HAS SOUS 185120 HAS SOUPS 185120 WITH SCORE 185372.113
AT ITER 1998 NEW BEST:: SOT 447531 SOS 252045 HAS SOPS 252045 HAS SOUS 184858 HAS SOUPS 184858 WITH SCORE 185110.045
AT ITER 2001 NEW BEST:: SOT 447532 SOS 252050 HAS SOPS 252050 HAS SOUS 184857 HAS SOUPS 184857 WITH SCORE 185109.05
AT ITER 2016 NEW BEST:: SOT 447669 SOS 251560 HAS SOPS 251560 HAS SOUS 184503 HAS SOUPS 184503 WITH SCORE 184754.56
AT ITER 2024 NEW BEST:: SOT 447600 SOS 251491 HAS SOPS 251491 HAS SOUS 184434 HAS SOUPS 184434 WITH SCORE 184685.491
AT ITER 2028 NEW BEST:: SOT 447550 SOS 251441 HAS SOPS 251441 HAS SOUS 184384 HAS SOUPS 184384 WITH SCORE 184635.441
AT ITER 2044 NEW BEST:: SOT 447468 SOS 251240 HAS SOPS 251240 HAS SOUS 184263 HAS SOUPS 184263 WITH SCORE 184514.24
AT ITER 2050 NEW BEST:: SOT 447468 SOS 251221 HAS SOPS 251221 HAS SOUS 184244 HAS SOUPS 184244 WITH SCORE 184495.221
AT ITER 2058 NEW BEST:: SOT 447475 SOS 251228 HAS SOPS 251228 HAS SOUS 184237 HAS SOUPS 184237 WITH SCORE 184488.228
AT ITER 2063 NEW BEST:: SOT 447179 SOS 250930 HAS SOPS 250930 HAS SOUS 183790 HAS SOUPS 183790 WITH SCORE 184040.93
AT ITER 2068 NEW BEST:: SOT 446614 SOS 249160 HAS SOPS 249160 HAS SOUS 182682 HAS SOUPS 182682 WITH SCORE 182931.16
AT ITER 2080 NEW BEST:: SOT 446379 SOS 248878 HAS SOPS 248878 HAS SOUS 182400 HAS SOUPS 182400 WITH SCORE 182648.878
AT ITER 2087 NEW BEST:: SOT 446119 SOS 248757 HAS SOPS 248757 HAS SOUS 182206 HAS SOUPS 182206 WITH SCORE 182454.757
AT ITER 2094 NEW BEST:: SOT 446119 SOS 248750 HAS SOPS 248750 HAS SOUS 182195 HAS SOUPS 182195 WITH SCORE 182443.75
AT ITER 2098 NEW BEST:: SOT 446093 SOS 248678 HAS SOPS 248678 HAS SOUS 182060 HAS SOUPS 182060 WITH SCORE 182308.678
AT ITER 2099 NEW BEST:: SOT 446042 SOS 248576 HAS SOPS 248576 HAS SOUS 181941 HAS SOUPS 181941 WITH SCORE 182189.576
AT ITER 2109 NEW BEST:: SOT 446027 SOS 248546 HAS SOPS 248546 HAS SOUS 181898 HAS SOUPS 181898 WITH SCORE 182146.546
AT ITER 2123 NEW BEST:: SOT 446235 SOS 248733 HAS SOPS 248733 HAS SOUS 181761 HAS SOUPS 181761 WITH SCORE 182009.733
AT ITER 2127 NEW BEST:: SOT 446252 SOS 248354 HAS SOPS 248354 HAS SOUS 181738 HAS SOUPS 181738 WITH SCORE 181986.354
AT ITER 2139 NEW BEST:: SOT 446252 SOS 248352 HAS SOPS 248352 HAS SOUS 181709 HAS SOUPS 181709 WITH SCORE 181957.352
AT ITER 2145 NEW BEST:: SOT 446252 SOS 248317 HAS SOPS 248317 HAS SOUS 181688 HAS SOUPS 181688 WITH SCORE 181936.317
AT ITER 2156 NEW BEST:: SOT 446218 SOS 248283 HAS SOPS 248283 HAS SOUS 181655 HAS SOUPS 181655 WITH SCORE 181903.283
AT ITER 2161 NEW BEST:: SOT 446139 SOS 248204 HAS SOPS 248204 HAS SOUS 181576 HAS SOUPS 181576 WITH SCORE 181824.204
AT ITER 2168 NEW BEST:: SOT 445279 SOS 245549 HAS SOPS 245549 HAS SOUS 180218 HAS SOUPS 180218 WITH SCORE 180463.549
AT ITER 2169 NEW BEST:: SOT 445279 SOS 245531 HAS SOPS 245531 HAS SOUS 180218 HAS SOUPS 180218 WITH SCORE 180463.531
AT ITER 2174 NEW BEST:: SOT 445179 SOS 245483 HAS SOPS 245483 HAS SOUS 180014 HAS SOUPS 180014 WITH SCORE 180259.483
AT ITER 2188 NEW BEST:: SOT 445231 SOS 245535 HAS SOPS 245535 HAS SOUS 180009 HAS SOUPS 180009 WITH SCORE 180254.535
AT ITER 2203 NEW BEST:: SOT 445231 SOS 245535 HAS SOPS 245535 HAS SOUS 180005 HAS SOUPS 180005 WITH SCORE 180250.535
AT ITER 2206 NEW BEST:: SOT 445205 SOS 245509 HAS SOPS 245509 HAS SOUS 179979 HAS SOUPS 179979 WITH SCORE 180224.509
AT ITER 2213 NEW BEST:: SOT 445037 SOS 245341 HAS SOPS 245341 HAS SOUS 179811 HAS SOUPS 179811 WITH SCORE 180056.341
AT ITER 2220 NEW BEST:: SOT 444951 SOS 245255 HAS SOPS 245255 HAS SOUS 179725 HAS SOUPS 179725 WITH SCORE 179970.255
AT ITER 2223 NEW BEST:: SOT 444903 SOS 245191 HAS SOPS 245191 HAS SOUS 179597 HAS SOUPS 179597 WITH SCORE 179842.191
AT ITER 2232 NEW BEST:: SOT 444851 SOS 245129 HAS SOPS 245129 HAS SOUS 179464 HAS SOUPS 179464 WITH SCORE 179709.129
AT ITER 2235 NEW BEST:: SOT 444851 SOS 245445 HAS SOPS 245445 HAS SOUS 179071 HAS SOUPS 179071 WITH SCORE 179316.445
AT ITER 2245 NEW BEST:: SOT 444565 SOS 245159 HAS SOPS 245159 HAS SOUS 178785 HAS SOUPS 178785 WITH SCORE 179030.159
AT ITER 2253 NEW BEST:: SOT 444350 SOS 244965 HAS SOPS 244965 HAS SOUS 178592 HAS SOUPS 178592 WITH SCORE 178836.965
AT ITER 2254 NEW BEST:: SOT 444350 SOS 244563 HAS SOPS 244563 HAS SOUS 177365 HAS SOUPS 177365 WITH SCORE 177609.563
AT ITER 2257 NEW BEST:: SOT 444350 SOS 244468 HAS SOPS 244468 HAS SOUS 177122 HAS SOUPS 177122 WITH SCORE 177366.468
AT ITER 2258 NEW BEST:: SOT 443995 SOS 243823 HAS SOPS 243823 HAS SOUS 176602 HAS SOUPS 176602 WITH SCORE 176845.823
AT ITER 2259 NEW BEST:: SOT 443931 SOS 243759 HAS SOPS 243759 HAS SOUS 176572 HAS SOUPS 176572 WITH SCORE 176815.759
AT ITER 2272 NEW BEST:: SOT 443914 SOS 243568 HAS SOPS 243568 HAS SOUS 176500 HAS SOUPS 176500 WITH SCORE 176743.568
AT ITER 2273 NEW BEST:: SOT 443734 SOS 243417 HAS SOPS 243417 HAS SOUS 176349 HAS SOUPS 176349 WITH SCORE 176592.417
AT ITER 2296 NEW BEST:: SOT 443727 SOS 243375 HAS SOPS 243375 HAS SOUS 176334 HAS SOUPS 176334 WITH SCORE 176577.375
AT ITER 2299 NEW BEST:: SOT 443430 SOS 243074 HAS SOPS 243074 HAS SOUS 176035 HAS SOUPS 176035 WITH SCORE 176278.074
AT ITER 2306 NEW BEST:: SOT 443398 SOS 243042 HAS SOPS 243042 HAS SOUS 176003 HAS SOUPS 176003 WITH SCORE 176246.042
AT ITER 2315 NEW BEST:: SOT 443394 SOS 243038 HAS SOPS 243038 HAS SOUS 175991 HAS SOUPS 175991 WITH SCORE 176234.038
AT ITER 2319 NEW BEST:: SOT 443379 SOS 242980 HAS SOPS 242980 HAS SOUS 175986 HAS SOUPS 175986 WITH SCORE 176228.98
AT ITER 2323 NEW BEST:: SOT 443368 SOS 242969 HAS SOPS 242969 HAS SOUS 175975 HAS SOUPS 175975 WITH SCORE 176217.969
AT ITER 2325 NEW BEST:: SOT 443209 SOS 242672 HAS SOPS 242672 HAS SOUS 175677 HAS SOUPS 175677 WITH SCORE 175919.672
AT ITER 2343 NEW BEST:: SOT 443209 SOS 243789 HAS SOPS 243789 HAS SOUS 175669 HAS SOUPS 175669 WITH SCORE 175912.789
AT ITER 2348 NEW BEST:: SOT 443029 SOS 243609 HAS SOPS 243609 HAS SOUS 175427 HAS SOUPS 175427 WITH SCORE 175670.609
AT ITER 2352 NEW BEST:: SOT 443083 SOS 243604 HAS SOPS 243604 HAS SOUS 175374 HAS SOUPS 175374 WITH SCORE 175617.604
AT ITER 2354 NEW BEST:: SOT 443051 SOS 243165 HAS SOPS 243165 HAS SOUS 174907 HAS SOUPS 174907 WITH SCORE 175150.165
AT ITER 2356 NEW BEST:: SOT 443051 SOS 243169 HAS SOPS 243169 HAS SOUS 174905 HAS SOUPS 174905 WITH SCORE 175148.169
AT ITER 2363 NEW BEST:: SOT 443036 SOS 242899 HAS SOPS 242899 HAS SOUS 174454 HAS SOUPS 174454 WITH SCORE 174696.899
AT ITER 2367 NEW BEST:: SOT 442948 SOS 242914 HAS SOPS 242914 HAS SOUS 174357 HAS SOUPS 174357 WITH SCORE 174599.914
AT ITER 2370 NEW BEST:: SOT 443050 SOS 243322 HAS SOPS 243322 HAS SOUS 174323 HAS SOUPS 174323 WITH SCORE 174566.322
AT ITER 2377 NEW BEST:: SOT 443108 SOS 243035 HAS SOPS 243035 HAS SOUS 174323 HAS SOUPS 174323 WITH SCORE 174566.035
AT ITER 2378 NEW BEST:: SOT 442373 SOS 242076 HAS SOPS 242076 HAS SOUS 173439 HAS SOUPS 173439 WITH SCORE 173681.076
AT ITER 2381 NEW BEST:: SOT 442387 SOS 242024 HAS SOPS 242024 HAS SOUS 173356 HAS SOUPS 173356 WITH SCORE 173598.024
AT ITER 2385 NEW BEST:: SOT 442381 SOS 242012 HAS SOPS 242012 HAS SOUS 173342 HAS SOUPS 173342 WITH SCORE 173584.012
AT ITER 2396 NEW BEST:: SOT 442268 SOS 241698 HAS SOPS 241698 HAS SOUS 172996 HAS SOUPS 172996 WITH SCORE 173237.698
AT ITER 2399 NEW BEST:: SOT 442101 SOS 239996 HAS SOPS 239996 HAS SOUS 172238 HAS SOUPS 172238 WITH SCORE 172477.996
AT ITER 2400 NEW BEST:: SOT 441950 SOS 239651 HAS SOPS 239651 HAS SOUS 171665 HAS SOUPS 171665 WITH SCORE 171904.651
AT ITER 2405 NEW BEST:: SOT 441711 SOS 239411 HAS SOPS 239411 HAS SOUS 171420 HAS SOUPS 171420 WITH SCORE 171659.411
AT ITER 2413 NEW BEST:: SOT 441420 SOS 239120 HAS SOPS 239120 HAS SOUS 171129 HAS SOUPS 171129 WITH SCORE 171368.12
AT ITER 2434 NEW BEST:: SOT 441426 SOS 239121 HAS SOPS 239121 HAS SOUS 171123 HAS SOUPS 171123 WITH SCORE 171362.121
AT ITER 2451 NEW BEST:: SOT 441392 SOS 239087 HAS SOPS 239087 HAS SOUS 171089 HAS SOUPS 171089 WITH SCORE 171328.087
AT ITER 2453 NEW BEST:: SOT 441161 SOS 238094 HAS SOPS 238094 HAS SOUS 171051 HAS SOUPS 171051 WITH SCORE 171289.094
AT ITER 2457 NEW BEST:: SOT 441206 SOS 238058 HAS SOPS 238058 HAS SOUS 171022 HAS SOUPS 171022 WITH SCORE 171260.058
AT ITER 2458 NEW BEST:: SOT 439514 SOS 236481 HAS SOPS 236481 HAS SOUS 169257 HAS SOUPS 169257 WITH SCORE 169493.481
AT ITER 2471 NEW BEST:: SOT 439485 SOS 236218 HAS SOPS 236218 HAS SOUS 169089 HAS SOUPS 169089 WITH SCORE 169325.218
AT ITER 2472 NEW BEST:: SOT 439465 SOS 236202 HAS SOPS 236202 HAS SOUS 169073 HAS SOUPS 169073 WITH SCORE 169309.202
AT ITER 2476 NEW BEST:: SOT 439406 SOS 235906 HAS SOPS 235906 HAS SOUS 168855 HAS SOUPS 168855 WITH SCORE 169090.906
AT ITER 2482 NEW BEST:: SOT 439406 SOS 235519 HAS SOPS 235519 HAS SOUS 168301 HAS SOUPS 168301 WITH SCORE 168536.519
AT ITER 2488 NEW BEST:: SOT 439380 SOS 235493 HAS SOPS 235493 HAS SOUS 168275 HAS SOUPS 168275 WITH SCORE 168510.493
AT ITER 2494 NEW BEST:: SOT 439380 SOS 235493 HAS SOPS 235493 HAS SOUS 168269 HAS SOUPS 168269 WITH SCORE 168504.493
AT ITER 2495 NEW BEST:: SOT 439380 SOS 235455 HAS SOPS 235455 HAS SOUS 168269 HAS SOUPS 168269 WITH SCORE 168504.455
AT ITER 2506 NEW BEST:: SOT 439022 SOS 235097 HAS SOPS 235097 HAS SOUS 167867 HAS SOUPS 167867 WITH SCORE 168102.097
AT ITER 2518 NEW BEST:: SOT 438990 SOS 235065 HAS SOPS 235065 HAS SOUS 167835 HAS SOUPS 167835 WITH SCORE 168070.065
AT ITER 2526 NEW BEST:: SOT 439025 SOS 235028 HAS SOPS 235028 HAS SOUS 167762 HAS SOUPS 167762 WITH SCORE 167997.028
AT ITER 2527 NEW BEST:: SOT 438995 SOS 235009 HAS SOPS 235009 HAS SOUS 167751 HAS SOUPS 167751 WITH SCORE 167986.009
AT ITER 2529 NEW BEST:: SOT 439169 SOS 234967 HAS SOPS 234967 HAS SOUS 167469 HAS SOUPS 167469 WITH SCORE 167703.967
AT ITER 2531 NEW BEST:: SOT 438760 SOS 234558 HAS SOPS 234558 HAS SOUS 167188 HAS SOUPS 167188 WITH SCORE 167422.558
AT ITER 2533 NEW BEST:: SOT 438539 SOS 234217 HAS SOPS 234217 HAS SOUS 166836 HAS SOUPS 166836 WITH SCORE 167070.217
AT ITER 2540 NEW BEST:: SOT 438453 SOS 234045 HAS SOPS 234045 HAS SOUS 166614 HAS SOUPS 166614 WITH SCORE 166848.045
AT ITER 2552 NEW BEST:: SOT 438233 SOS 232871 HAS SOPS 232871 HAS SOUS 166263 HAS SOUPS 166263 WITH SCORE 166495.871
AT ITER 2561 NEW BEST:: SOT 438145 SOS 232783 HAS SOPS 232783 HAS SOUS 166160 HAS SOUPS 166160 WITH SCORE 166392.783
AT ITER 2562 NEW BEST:: SOT 437991 SOS 232629 HAS SOPS 232629 HAS SOUS 165994 HAS SOUPS 165994 WITH SCORE 166226.629
AT ITER 2571 NEW BEST:: SOT 437819 SOS 232524 HAS SOPS 232524 HAS SOUS 165889 HAS SOUPS 165889 WITH SCORE 166121.524
AT ITER 2575 NEW BEST:: SOT 437738 SOS 232463 HAS SOPS 232463 HAS SOUS 165776 HAS SOUPS 165776 WITH SCORE 166008.463
AT ITER 2600 NEW BEST:: SOT 437615 SOS 232097 HAS SOPS 232097 HAS SOUS 165601 HAS SOUPS 165601 WITH SCORE 165833.097
AT ITER 2602 NEW BEST:: SOT 437615 SOS 232063 HAS SOPS 232063 HAS SOUS 165589 HAS SOUPS 165589 WITH SCORE 165821.063
AT ITER 2617 NEW BEST:: SOT 437612 SOS 231508 HAS SOPS 231508 HAS SOUS 165344 HAS SOUPS 165344 WITH SCORE 165575.508
AT ITER 2619 NEW BEST:: SOT 437436 SOS 231332 HAS SOPS 231332 HAS SOUS 165168 HAS SOUPS 165168 WITH SCORE 165399.332
AT ITER 2624 NEW BEST:: SOT 436878 SOS 230771 HAS SOPS 230771 HAS SOUS 164535 HAS SOUPS 164535 WITH SCORE 164765.771
AT ITER 2629 NEW BEST:: SOT 436586 SOS 230479 HAS SOPS 230479 HAS SOUS 164092 HAS SOUPS 164092 WITH SCORE 164322.479
AT ITER 2645 NEW BEST:: SOT 436565 SOS 230446 HAS SOPS 230446 HAS SOUS 164059 HAS SOUPS 164059 WITH SCORE 164289.446
AT ITER 2653 NEW BEST:: SOT 436787 SOS 230467 HAS SOPS 230467 HAS SOUS 163964 HAS SOUPS 163964 WITH SCORE 164194.467
AT ITER 2663 NEW BEST:: SOT 436787 SOS 230460 HAS SOPS 230460 HAS SOUS 163957 HAS SOUPS 163957 WITH SCORE 164187.46
AT ITER 2669 NEW BEST:: SOT 436629 SOS 230292 HAS SOPS 230292 HAS SOUS 163659 HAS SOUPS 163659 WITH SCORE 163889.292
AT ITER 2680 NEW BEST:: SOT 436338 SOS 230027 HAS SOPS 230027 HAS SOUS 163420 HAS SOUPS 163420 WITH SCORE 163650.027
AT ITER 2683 NEW BEST:: SOT 436426 SOS 229831 HAS SOPS 229831 HAS SOUS 163300 HAS SOUPS 163300 WITH SCORE 163529.831
AT ITER 2695 NEW BEST:: SOT 436451 SOS 229829 HAS SOPS 229829 HAS SOUS 163298 HAS SOUPS 163298 WITH SCORE 163527.829
AT ITER 2698 NEW BEST:: SOT 436450 SOS 229798 HAS SOPS 229798 HAS SOUS 163142 HAS SOUPS 163142 WITH SCORE 163371.798
AT ITER 2699 NEW BEST:: SOT 436450 SOS 229798 HAS SOPS 229798 HAS SOUS 163082 HAS SOUPS 163082 WITH SCORE 163311.798
AT ITER 2701 NEW BEST:: SOT 436534 SOS 229862 HAS SOPS 229862 HAS SOUS 163062 HAS SOUPS 163062 WITH SCORE 163291.862
AT ITER 2714 NEW BEST:: SOT 436534 SOS 229805 HAS SOPS 229805 HAS SOUS 163011 HAS SOUPS 163011 WITH SCORE 163240.805
AT ITER 2719 NEW BEST:: SOT 436554 SOS 229792 HAS SOPS 229792 HAS SOUS 162998 HAS SOUPS 162998 WITH SCORE 163227.792
AT ITER 2729 NEW BEST:: SOT 436582 SOS 229557 HAS SOPS 229557 HAS SOUS 162462 HAS SOUPS 162462 WITH SCORE 162691.557
AT ITER 2748 NEW BEST:: SOT 436484 SOS 229348 HAS SOPS 229348 HAS SOUS 161854 HAS SOUPS 161854 WITH SCORE 162083.348
AT ITER 2758 NEW BEST:: SOT 436419 SOS 229283 HAS SOPS 229283 HAS SOUS 161797 HAS SOUPS 161797 WITH SCORE 162026.283
AT ITER 2772 NEW BEST:: SOT 436133 SOS 228555 HAS SOPS 228555 HAS SOUS 161021 HAS SOUPS 161021 WITH SCORE 161249.555
AT ITER 2775 NEW BEST:: SOT 435940 SOS 228070 HAS SOPS 228070 HAS SOUS 160485 HAS SOUPS 160485 WITH SCORE 160713.07
AT ITER 2783 NEW BEST:: SOT 436006 SOS 227851 HAS SOPS 227851 HAS SOUS 160396 HAS SOUPS 160396 WITH SCORE 160623.851
AT ITER 2784 NEW BEST:: SOT 436006 SOS 227749 HAS SOPS 227749 HAS SOUS 160368 HAS SOUPS 160368 WITH SCORE 160595.749
AT ITER 2788 NEW BEST:: SOT 436052 SOS 227360 HAS SOPS 227360 HAS SOUS 160258 HAS SOUPS 160258 WITH SCORE 160485.36
AT ITER 2789 NEW BEST:: SOT 436052 SOS 227087 HAS SOPS 227087 HAS SOUS 160076 HAS SOUPS 160076 WITH SCORE 160303.087
AT ITER 2793 NEW BEST:: SOT 436031 SOS 227087 HAS SOPS 227087 HAS SOUS 160013 HAS SOUPS 160013 WITH SCORE 160240.087
AT ITER 2806 NEW BEST:: SOT 435841 SOS 226835 HAS SOPS 226835 HAS SOUS 159742 HAS SOUPS 159742 WITH SCORE 159968.835
AT ITER 2809 NEW BEST:: SOT 435803 SOS 226778 HAS SOPS 226778 HAS SOUS 159633 HAS SOUPS 159633 WITH SCORE 159859.778
AT ITER 2810 NEW BEST:: SOT 435760 SOS 226793 HAS SOPS 226793 HAS SOUS 159473 HAS SOUPS 159473 WITH SCORE 159699.793
AT ITER 2815 NEW BEST:: SOT 435719 SOS 226671 HAS SOPS 226671 HAS SOUS 159407 HAS SOUPS 159407 WITH SCORE 159633.671
AT ITER 2819 NEW BEST:: SOT 435619 SOS 226434 HAS SOPS 226434 HAS SOUS 158914 HAS SOUPS 158914 WITH SCORE 159140.434
AT ITER 2821 NEW BEST:: SOT 435539 SOS 226354 HAS SOPS 226354 HAS SOUS 158834 HAS SOUPS 158834 WITH SCORE 159060.354
AT ITER 2825 NEW BEST:: SOT 435660 SOS 225287 HAS SOPS 225287 HAS SOUS 158801 HAS SOUPS 158801 WITH SCORE 159026.287
AT ITER 2831 NEW BEST:: SOT 435468 SOS 224798 HAS SOPS 224798 HAS SOUS 158351 HAS SOUPS 158351 WITH SCORE 158575.798
AT ITER 2840 NEW BEST:: SOT 435257 SOS 224587 HAS SOPS 224587 HAS SOUS 158140 HAS SOUPS 158140 WITH SCORE 158364.587
AT ITER 2843 NEW BEST:: SOT 435340 SOS 224649 HAS SOPS 224649 HAS SOUS 158081 HAS SOUPS 158081 WITH SCORE 158305.649
AT ITER 2862 NEW BEST:: SOT 435180 SOS 224430 HAS SOPS 224430 HAS SOUS 157695 HAS SOUPS 157695 WITH SCORE 157919.43
AT ITER 2863 NEW BEST:: SOT 435165 SOS 224436 HAS SOPS 224436 HAS SOUS 157680 HAS SOUPS 157680 WITH SCORE 157904.436
AT ITER 2878 NEW BEST:: SOT 435164 SOS 224435 HAS SOPS 224435 HAS SOUS 157680 HAS SOUPS 157680 WITH SCORE 157904.435
AT ITER 2891 NEW BEST:: SOT 435164 SOS 224408 HAS SOPS 224408 HAS SOUS 157680 HAS SOUPS 157680 WITH SCORE 157904.408
AT ITER 2892 NEW BEST:: SOT 435164 SOS 224388 HAS SOPS 224388 HAS SOUS 157680 HAS SOUPS 157680 WITH SCORE 157904.388
AT ITER 2893 NEW BEST:: SOT 434754 SOS 223978 HAS SOPS 223978 HAS SOUS 157270 HAS SOUPS 157270 WITH SCORE 157493.978
AT ITER 2896 NEW BEST:: SOT 434584 SOS 223740 HAS SOPS 223740 HAS SOUS 156930 HAS SOUPS 156930 WITH SCORE 157153.74
AT ITER 2904 NEW BEST:: SOT 434564 SOS 223720 HAS SOPS 223720 HAS SOUS 156897 HAS SOUPS 156897 WITH SCORE 157120.72
AT ITER 2913 NEW BEST:: SOT 434564 SOS 223532 HAS SOPS 223532 HAS SOUS 156871 HAS SOUPS 156871 WITH SCORE 157094.532
AT ITER 2918 NEW BEST:: SOT 434564 SOS 223552 HAS SOPS 223552 HAS SOUS 156863 HAS SOUPS 156863 WITH SCORE 157086.552
AT ITER 2920 NEW BEST:: SOT 434564 SOS 223425 HAS SOPS 223425 HAS SOUS 156856 HAS SOUPS 156856 WITH SCORE 157079.425
AT ITER 2923 NEW BEST:: SOT 434524 SOS 223385 HAS SOPS 223385 HAS SOUS 156816 HAS SOUPS 156816 WITH SCORE 157039.385
AT ITER 2936 NEW BEST:: SOT 434339 SOS 223163 HAS SOPS 223163 HAS SOUS 156594 HAS SOUPS 156594 WITH SCORE 156817.163
AT ITER 2945 NEW BEST:: SOT 434333 SOS 223155 HAS SOPS 223155 HAS SOUS 156586 HAS SOUPS 156586 WITH SCORE 156809.155
AT ITER 2955 NEW BEST:: SOT 434331 SOS 222126 HAS SOPS 222126 HAS SOUS 156543 HAS SOUPS 156543 WITH SCORE 156765.126
AT ITER 2959 NEW BEST:: SOT 434091 SOS 221886 HAS SOPS 221886 HAS SOUS 156243 HAS SOUPS 156243 WITH SCORE 156464.886
AT ITER 2972 NEW BEST:: SOT 434090 SOS 221883 HAS SOPS 221883 HAS SOUS 156240 HAS SOUPS 156240 WITH SCORE 156461.883
AT ITER 2973 NEW BEST:: SOT 434090 SOS 221877 HAS SOPS 221877 HAS SOUS 156222 HAS SOUPS 156222 WITH SCORE 156443.877
AT ITER 2978 NEW BEST:: SOT 434090 SOS 221732 HAS SOPS 221732 HAS SOUS 156164 HAS SOUPS 156164 WITH SCORE 156385.732
AT ITER 2989 NEW BEST:: SOT 434040 SOS 220224 HAS SOPS 220224 HAS SOUS 155733 HAS SOUPS 155733 WITH SCORE 155953.224
AT ITER 2993 NEW BEST:: SOT 434004 SOS 220116 HAS SOPS 220116 HAS SOUS 155698 HAS SOUPS 155698 WITH SCORE 155918.116
AT ITER 3000 NEW BEST:: SOT 433616 SOS 219616 HAS SOPS 219616 HAS SOUS 154999 HAS SOUPS 154999 WITH SCORE 155218.616
AT ITER 3002 NEW BEST:: SOT 433467 SOS 219459 HAS SOPS 219459 HAS SOUS 154751 HAS SOUPS 154751 WITH SCORE 154970.459
AT ITER 3008 NEW BEST:: SOT 433064 SOS 218526 HAS SOPS 218526 HAS SOUS 154182 HAS SOUPS 154182 WITH SCORE 154400.526
AT ITER 3021 NEW BEST:: SOT 433027 SOS 218391 HAS SOPS 218391 HAS SOUS 154079 HAS SOUPS 154079 WITH SCORE 154297.391
AT ITER 3030 NEW BEST:: SOT 433027 SOS 218136 HAS SOPS 218136 HAS SOUS 154072 HAS SOUPS 154072 WITH SCORE 154290.136
AT ITER 3040 NEW BEST:: SOT 433030 SOS 218156 HAS SOPS 218156 HAS SOUS 154064 HAS SOUPS 154064 WITH SCORE 154282.156
AT ITER 3049 NEW BEST:: SOT 432575 SOS 217124 HAS SOPS 217124 HAS SOUS 153583 HAS SOUPS 153583 WITH SCORE 153800.124
AT ITER 3054 NEW BEST:: SOT 432648 SOS 217078 HAS SOPS 217078 HAS SOUS 153528 HAS SOUPS 153528 WITH SCORE 153745.078
AT ITER 3057 NEW BEST:: SOT 432569 SOS 216946 HAS SOPS 216946 HAS SOUS 153337 HAS SOUPS 153337 WITH SCORE 153553.946
AT ITER 3058 NEW BEST:: SOT 432516 SOS 216730 HAS SOPS 216730 HAS SOUS 153010 HAS SOUPS 153010 WITH SCORE 153226.73
AT ITER 3061 NEW BEST:: SOT 432516 SOS 216648 HAS SOPS 216648 HAS SOUS 152952 HAS SOUPS 152952 WITH SCORE 153168.648
AT ITER 3073 NEW BEST:: SOT 432309 SOS 215874 HAS SOPS 215874 HAS SOUS 152804 HAS SOUPS 152804 WITH SCORE 153019.874
AT ITER 3076 NEW BEST:: SOT 432182 SOS 215775 HAS SOPS 215775 HAS SOUS 152753 HAS SOUPS 152753 WITH SCORE 152968.775
AT ITER 3078 NEW BEST:: SOT 432059 SOS 215652 HAS SOPS 215652 HAS SOUS 152629 HAS SOUPS 152629 WITH SCORE 152844.652
AT ITER 3108 NEW BEST:: SOT 431929 SOS 215522 HAS SOPS 215522 HAS SOUS 152499 HAS SOUPS 152499 WITH SCORE 152714.522
AT ITER 3118 NEW BEST:: SOT 431923 SOS 215502 HAS SOPS 215502 HAS SOUS 152441 HAS SOUPS 152441 WITH SCORE 152656.502
AT ITER 3119 NEW BEST:: SOT 431783 SOS 215291 HAS SOPS 215291 HAS SOUS 152274 HAS SOUPS 152274 WITH SCORE 152489.291
AT ITER 3130 NEW BEST:: SOT 431795 SOS 214624 HAS SOPS 214624 HAS SOUS 152187 HAS SOUPS 152187 WITH SCORE 152401.624
AT ITER 3142 NEW BEST:: SOT 431782 SOS 214605 HAS SOPS 214605 HAS SOUS 152168 HAS SOUPS 152168 WITH SCORE 152382.605
AT ITER 3149 NEW BEST:: SOT 431743 SOS 214287 HAS SOPS 214287 HAS SOUS 152070 HAS SOUPS 152070 WITH SCORE 152284.287
AT ITER 3151 NEW BEST:: SOT 431717 SOS 214105 HAS SOPS 214105 HAS SOUS 151981 HAS SOUPS 151981 WITH SCORE 152195.105
AT ITER 3156 NEW BEST:: SOT 431615 SOS 213900 HAS SOPS 213900 HAS SOUS 151783 HAS SOUPS 151783 WITH SCORE 151996.9
AT ITER 3159 NEW BEST:: SOT 431575 SOS 213860 HAS SOPS 213860 HAS SOUS 151743 HAS SOUPS 151743 WITH SCORE 151956.86
AT ITER 3161 NEW BEST:: SOT 431575 SOS 213832 HAS SOPS 213832 HAS SOUS 151709 HAS SOUPS 151709 WITH SCORE 151922.832
AT ITER 3167 NEW BEST:: SOT 431575 SOS 214061 HAS SOPS 214061 HAS SOUS 151635 HAS SOUPS 151635 WITH SCORE 151849.061
AT ITER 3172 NEW BEST:: SOT 431471 SOS 213957 HAS SOPS 213957 HAS SOUS 151531 HAS SOUPS 151531 WITH SCORE 151744.957
AT ITER 3175 NEW BEST:: SOT 431409 SOS 213909 HAS SOPS 213909 HAS SOUS 151396 HAS SOUPS 151396 WITH SCORE 151609.909
AT ITER 3186 NEW BEST:: SOT 431203 SOS 213703 HAS SOPS 213703 HAS SOUS 151086 HAS SOUPS 151086 WITH SCORE 151299.703
AT ITER 3208 NEW BEST:: SOT 431203 SOS 213627 HAS SOPS 213627 HAS SOUS 151086 HAS SOUPS 151086 WITH SCORE 151299.627
AT ITER 3214 NEW BEST:: SOT 431203 SOS 213345 HAS SOPS 213345 HAS SOUS 151019 HAS SOUPS 151019 WITH SCORE 151232.345
AT ITER 3220 NEW BEST:: SOT 431215 SOS 213204 HAS SOPS 213204 HAS SOUS 150815 HAS SOUPS 150815 WITH SCORE 151028.204
AT ITER 3222 NEW BEST:: SOT 431215 SOS 213128 HAS SOPS 213128 HAS SOUS 150787 HAS SOUPS 150787 WITH SCORE 151000.128
AT ITER 3226 NEW BEST:: SOT 431186 SOS 213012 HAS SOPS 213012 HAS SOUS 150700 HAS SOUPS 150700 WITH SCORE 150913.012
AT ITER 3234 NEW BEST:: SOT 430720 SOS 212546 HAS SOPS 212546 HAS SOUS 150234 HAS SOUPS 150234 WITH SCORE 150446.546
AT ITER 3235 NEW BEST:: SOT 430684 SOS 212419 HAS SOPS 212419 HAS SOUS 150193 HAS SOUPS 150193 WITH SCORE 150405.419
AT ITER 3236 NEW BEST:: SOT 430632 SOS 212303 HAS SOPS 212303 HAS SOUS 150057 HAS SOUPS 150057 WITH SCORE 150269.303
AT ITER 3249 NEW BEST:: SOT 430615 SOS 212303 HAS SOPS 212303 HAS SOUS 149989 HAS SOUPS 149989 WITH SCORE 150201.303
AT ITER 3256 NEW BEST:: SOT 430462 SOS 212150 HAS SOPS 212150 HAS SOUS 149836 HAS SOUPS 149836 WITH SCORE 150048.15
AT ITER 3264 NEW BEST:: SOT 430450 SOS 212126 HAS SOPS 212126 HAS SOUS 149812 HAS SOUPS 149812 WITH SCORE 150024.126
AT ITER 3269 NEW BEST:: SOT 430454 SOS 212114 HAS SOPS 212114 HAS SOUS 149800 HAS SOUPS 149800 WITH SCORE 150012.114
AT ITER 3296 NEW BEST:: SOT 430431 SOS 211748 HAS SOPS 211748 HAS SOUS 149766 HAS SOUPS 149766 WITH SCORE 149977.748
AT ITER 3299 NEW BEST:: SOT 430431 SOS 212174 HAS SOPS 212174 HAS SOUS 149737 HAS SOUPS 149737 WITH SCORE 149949.174
AT ITER 3307 NEW BEST:: SOT 430422 SOS 212174 HAS SOPS 212174 HAS SOUS 149728 HAS SOUPS 149728 WITH SCORE 149940.174
AT ITER 3308 NEW BEST:: SOT 430412 SOS 212164 HAS SOPS 212164 HAS SOUS 149718 HAS SOUPS 149718 WITH SCORE 149930.164
AT ITER 3309 NEW BEST:: SOT 429948 SOS 211616 HAS SOPS 211616 HAS SOUS 148977 HAS SOUPS 148977 WITH SCORE 149188.616
AT ITER 3310 NEW BEST:: SOT 429859 SOS 211494 HAS SOPS 211494 HAS SOUS 148826 HAS SOUPS 148826 WITH SCORE 149037.494
AT ITER 3330 NEW BEST:: SOT 429770 SOS 210878 HAS SOPS 210878 HAS SOUS 148775 HAS SOUPS 148775 WITH SCORE 148985.878
AT ITER 3331 NEW BEST:: SOT 429770 SOS 210878 HAS SOPS 210878 HAS SOUS 148763 HAS SOUPS 148763 WITH SCORE 148973.878
AT ITER 3334 NEW BEST:: SOT 429770 SOS 211246 HAS SOPS 211246 HAS SOUS 148687 HAS SOUPS 148687 WITH SCORE 148898.246
AT ITER 3339 NEW BEST:: SOT 429764 SOS 211240 HAS SOPS 211240 HAS SOUS 148681 HAS SOUPS 148681 WITH SCORE 148892.24
AT ITER 3340 NEW BEST:: SOT 429716 SOS 211715 HAS SOPS 211715 HAS SOUS 148530 HAS SOUPS 148530 WITH SCORE 148741.715
AT ITER 3347 NEW BEST:: SOT 429755 SOS 211748 HAS SOPS 211748 HAS SOUS 148415 HAS SOUPS 148415 WITH SCORE 148626.748
AT ITER 3348 NEW BEST:: SOT 429377 SOS 211899 HAS SOPS 211899 HAS SOUS 148373 HAS SOUPS 148373 WITH SCORE 148584.899
AT ITER 3363 NEW BEST:: SOT 429321 SOS 211759 HAS SOPS 211759 HAS SOUS 148295 HAS SOUPS 148295 WITH SCORE 148506.759
AT ITER 3375 NEW BEST:: SOT 429242 SOS 211562 HAS SOPS 211562 HAS SOUS 147836 HAS SOUPS 147836 WITH SCORE 148047.562
AT ITER 3396 NEW BEST:: SOT 429232 SOS 211170 HAS SOPS 211170 HAS SOUS 147733 HAS SOUPS 147733 WITH SCORE 147944.17
AT ITER 3397 NEW BEST:: SOT 429298 SOS 211219 HAS SOPS 211219 HAS SOUS 147664 HAS SOUPS 147664 WITH SCORE 147875.219
AT ITER 3401 NEW BEST:: SOT 429298 SOS 211019 HAS SOPS 211019 HAS SOUS 147596 HAS SOUPS 147596 WITH SCORE 147807.019
AT ITER 3408 NEW BEST:: SOT 429294 SOS 210927 HAS SOPS 210927 HAS SOUS 147550 HAS SOUPS 147550 WITH SCORE 147760.927
AT ITER 3418 NEW BEST:: SOT 429444 SOS 211009 HAS SOPS 211009 HAS SOUS 147381 HAS SOUPS 147381 WITH SCORE 147592.009
AT ITER 3430 NEW BEST:: SOT 429382 SOS 210871 HAS SOPS 210871 HAS SOUS 147297 HAS SOUPS 147297 WITH SCORE 147507.871
AT ITER 3433 NEW BEST:: SOT 429338 SOS 210870 HAS SOPS 210870 HAS SOUS 147184 HAS SOUPS 147184 WITH SCORE 147394.87
AT ITER 3434 NEW BEST:: SOT 429292 SOS 210318 HAS SOPS 210318 HAS SOUS 147099 HAS SOUPS 147099 WITH SCORE 147309.318
AT ITER 3446 NEW BEST:: SOT 429290 SOS 210314 HAS SOPS 210314 HAS SOUS 147090 HAS SOUPS 147090 WITH SCORE 147300.314
AT ITER 3461 NEW BEST:: SOT 429266 SOS 210282 HAS SOPS 210282 HAS SOUS 147026 HAS SOUPS 147026 WITH SCORE 147236.282
AT ITER 3463 NEW BEST:: SOT 429145 SOS 210278 HAS SOPS 210278 HAS SOUS 147001 HAS SOUPS 147001 WITH SCORE 147211.278
AT ITER 3475 NEW BEST:: SOT 429192 SOS 210005 HAS SOPS 210005 HAS SOUS 146902 HAS SOUPS 146902 WITH SCORE 147112.005
AT ITER 3476 NEW BEST:: SOT 429270 SOS 210059 HAS SOPS 210059 HAS SOUS 146801 HAS SOUPS 146801 WITH SCORE 147011.059
AT ITER 3497 NEW BEST:: SOT 429166 SOS 210265 HAS SOPS 210265 HAS SOUS 146619 HAS SOUPS 146619 WITH SCORE 146829.265
AT ITER 3501 NEW BEST:: SOT 429166 SOS 209957 HAS SOPS 209957 HAS SOUS 146563 HAS SOUPS 146563 WITH SCORE 146772.957
AT ITER 3533 NEW BEST:: SOT 429124 SOS 209891 HAS SOPS 209891 HAS SOUS 146483 HAS SOUPS 146483 WITH SCORE 146692.891
AT ITER 3560 NEW BEST:: SOT 429066 SOS 209833 HAS SOPS 209833 HAS SOUS 146399 HAS SOUPS 146399 WITH SCORE 146608.833
AT ITER 3561 NEW BEST:: SOT 429066 SOS 209833 HAS SOPS 209833 HAS SOUS 146379 HAS SOUPS 146379 WITH SCORE 146588.833
AT ITER 3570 NEW BEST:: SOT 428995 SOS 209749 HAS SOPS 209749 HAS SOUS 146240 HAS SOUPS 146240 WITH SCORE 146449.749
AT ITER 3576 NEW BEST:: SOT 429012 SOS 209668 HAS SOPS 209668 HAS SOUS 146224 HAS SOUPS 146224 WITH SCORE 146433.668
AT ITER 3591 NEW BEST:: SOT 429398 SOS 210542 HAS SOPS 210542 HAS SOUS 146167 HAS SOUPS 146167 WITH SCORE 146377.542
AT ITER 3596 NEW BEST:: SOT 429371 SOS 210469 HAS SOPS 210469 HAS SOUS 146134 HAS SOUPS 146134 WITH SCORE 146344.469
AT ITER 3608 NEW BEST:: SOT 429172 SOS 210212 HAS SOPS 210212 HAS SOUS 145824 HAS SOUPS 145824 WITH SCORE 146034.212
AT ITER 3615 NEW BEST:: SOT 429203 SOS 210330 HAS SOPS 210330 HAS SOUS 145792 HAS SOUPS 145792 WITH SCORE 146002.33
AT ITER 3629 NEW BEST:: SOT 429220 SOS 210279 HAS SOPS 210279 HAS SOUS 145779 HAS SOUPS 145779 WITH SCORE 145989.279
AT ITER 3635 NEW BEST:: SOT 429220 SOS 209973 HAS SOPS 209973 HAS SOUS 145768 HAS SOUPS 145768 WITH SCORE 145977.973
AT ITER 3654 NEW BEST:: SOT 429190 SOS 209963 HAS SOPS 209963 HAS SOUS 145752 HAS SOUPS 145752 WITH SCORE 145961.963
AT ITER 3657 NEW BEST:: SOT 429190 SOS 209955 HAS SOPS 209955 HAS SOUS 145720 HAS SOUPS 145720 WITH SCORE 145929.955
AT ITER 3667 NEW BEST:: SOT 429354 SOS 210064 HAS SOPS 210064 HAS SOUS 145717 HAS SOUPS 145717 WITH SCORE 145927.064
AT ITER 3669 NEW BEST:: SOT 429135 SOS 209845 HAS SOPS 209845 HAS SOUS 145498 HAS SOUPS 145498 WITH SCORE 145707.845
AT ITER 3670 NEW BEST:: SOT 429121 SOS 209831 HAS SOPS 209831 HAS SOUS 145484 HAS SOUPS 145484 WITH SCORE 145693.831
AT ITER 3676 NEW BEST:: SOT 428373 SOS 208885 HAS SOPS 208885 HAS SOUS 144669 HAS SOUPS 144669 WITH SCORE 144877.885
AT ITER 3677 NEW BEST:: SOT 427619 SOS 207786 HAS SOPS 207786 HAS SOUS 143714 HAS SOUPS 143714 WITH SCORE 143921.786
AT ITER 3681 NEW BEST:: SOT 427610 SOS 207759 HAS SOPS 207759 HAS SOUS 143705 HAS SOUPS 143705 WITH SCORE 143912.759
AT ITER 3685 NEW BEST:: SOT 427143 SOS 207292 HAS SOPS 207292 HAS SOUS 143238 HAS SOUPS 143238 WITH SCORE 143445.292
AT ITER 3692 NEW BEST:: SOT 427125 SOS 207256 HAS SOPS 207256 HAS SOUS 143202 HAS SOUPS 143202 WITH SCORE 143409.256
AT ITER 3708 NEW BEST:: SOT 427082 SOS 207330 HAS SOPS 207330 HAS SOUS 143161 HAS SOUPS 143161 WITH SCORE 143368.33
AT ITER 3712 NEW BEST:: SOT 427068 SOS 207316 HAS SOPS 207316 HAS SOUS 143147 HAS SOUPS 143147 WITH SCORE 143354.316
AT ITER 3714 NEW BEST:: SOT 427012 SOS 207260 HAS SOPS 207260 HAS SOUS 143063 HAS SOUPS 143063 WITH SCORE 143270.26
AT ITER 3723 NEW BEST:: SOT 426936 SOS 207184 HAS SOPS 207184 HAS SOUS 142944 HAS SOUPS 142944 WITH SCORE 143151.184
AT ITER 3724 NEW BEST:: SOT 426909 SOS 207139 HAS SOPS 207139 HAS SOUS 142908 HAS SOUPS 142908 WITH SCORE 143115.139
AT ITER 3741 NEW BEST:: SOT 426909 SOS 207134 HAS SOPS 207134 HAS SOUS 142907 HAS SOUPS 142907 WITH SCORE 143114.134
AT ITER 3745 NEW BEST:: SOT 426341 SOS 205986 HAS SOPS 205986 HAS SOUS 142137 HAS SOUPS 142137 WITH SCORE 142342.986
AT ITER 3760 NEW BEST:: SOT 426275 SOS 205590 HAS SOPS 205590 HAS SOUS 141939 HAS SOUPS 141939 WITH SCORE 142144.59
AT ITER 3763 NEW BEST:: SOT 426275 SOS 203929 HAS SOPS 203929 HAS SOUS 141513 HAS SOUPS 141513 WITH SCORE 141716.929
AT ITER 3771 NEW BEST:: SOT 426162 SOS 203681 HAS SOPS 203681 HAS SOUS 141310 HAS SOUPS 141310 WITH SCORE 141513.681
AT ITER 3772 NEW BEST:: SOT 426153 SOS 203612 HAS SOPS 203612 HAS SOUS 141277 HAS SOUPS 141277 WITH SCORE 141480.612
AT ITER 3786 NEW BEST:: SOT 426019 SOS 203478 HAS SOPS 203478 HAS SOUS 141061 HAS SOUPS 141061 WITH SCORE 141264.478
AT ITER 3789 NEW BEST:: SOT 425995 SOS 203454 HAS SOPS 203454 HAS SOUS 141037 HAS SOUPS 141037 WITH SCORE 141240.454
AT ITER 3790 NEW BEST:: SOT 425861 SOS 203132 HAS SOPS 203132 HAS SOUS 140904 HAS SOUPS 140904 WITH SCORE 141107.132
AT ITER 3799 NEW BEST:: SOT 425175 SOS 202446 HAS SOPS 202446 HAS SOUS 140265 HAS SOUPS 140265 WITH SCORE 140467.446
AT ITER 3803 NEW BEST:: SOT 425160 SOS 202474 HAS SOPS 202474 HAS SOUS 140076 HAS SOUPS 140076 WITH SCORE 140278.474
AT ITER 3817 NEW BEST:: SOT 425231 SOS 202642 HAS SOPS 202642 HAS SOUS 140065 HAS SOUPS 140065 WITH SCORE 140267.642
AT ITER 3819 NEW BEST:: SOT 425235 SOS 202637 HAS SOPS 202637 HAS SOUS 140060 HAS SOUPS 140060 WITH SCORE 140262.637
AT ITER 3822 NEW BEST:: SOT 425235 SOS 202437 HAS SOPS 202437 HAS SOUS 140046 HAS SOUPS 140046 WITH SCORE 140248.437
AT ITER 3823 NEW BEST:: SOT 425097 SOS 202293 HAS SOPS 202293 HAS SOUS 139851 HAS SOUPS 139851 WITH SCORE 140053.293
AT ITER 3828 NEW BEST:: SOT 425054 SOS 202216 HAS SOPS 202216 HAS SOUS 139613 HAS SOUPS 139613 WITH SCORE 139815.216
AT ITER 3855 NEW BEST:: SOT 425054 SOS 202226 HAS SOPS 202226 HAS SOUS 139605 HAS SOUPS 139605 WITH SCORE 139807.226
AT ITER 3864 NEW BEST:: SOT 424897 SOS 202069 HAS SOPS 202069 HAS SOUS 139408 HAS SOUPS 139408 WITH SCORE 139610.069
AT ITER 3870 NEW BEST:: SOT 424690 SOS 200504 HAS SOPS 200504 HAS SOUS 139028 HAS SOUPS 139028 WITH SCORE 139228.504
AT ITER 3882 NEW BEST:: SOT 424733 SOS 200131 HAS SOPS 200131 HAS SOUS 138988 HAS SOUPS 138988 WITH SCORE 139188.131
AT ITER 3885 NEW BEST:: SOT 424572 SOS 199647 HAS SOPS 199647 HAS SOUS 138846 HAS SOUPS 138846 WITH SCORE 139045.647
AT ITER 3908 NEW BEST:: SOT 424551 SOS 199605 HAS SOPS 199605 HAS SOUS 138804 HAS SOUPS 138804 WITH SCORE 139003.605
AT ITER 3911 NEW BEST:: SOT 423535 SOS 198209 HAS SOPS 198209 HAS SOUS 137231 HAS SOUPS 137231 WITH SCORE 137429.209
AT ITER 3914 NEW BEST:: SOT 423284 SOS 197763 HAS SOPS 197763 HAS SOUS 136865 HAS SOUPS 136865 WITH SCORE 137062.763
AT ITER 3919 NEW BEST:: SOT 423284 SOS 197589 HAS SOPS 197589 HAS SOUS 136859 HAS SOUPS 136859 WITH SCORE 137056.589
AT ITER 3924 NEW BEST:: SOT 423097 SOS 197402 HAS SOPS 197402 HAS SOUS 136672 HAS SOUPS 136672 WITH SCORE 136869.402
AT ITER 3939 NEW BEST:: SOT 423075 SOS 197402 HAS SOPS 197402 HAS SOUS 136606 HAS SOUPS 136606 WITH SCORE 136803.402
AT ITER 3950 NEW BEST:: SOT 423075 SOS 197395 HAS SOPS 197395 HAS SOUS 136595 HAS SOUPS 136595 WITH SCORE 136792.395
AT ITER 3956 NEW BEST:: SOT 423075 SOS 197394 HAS SOPS 197394 HAS SOUS 136588 HAS SOUPS 136588 WITH SCORE 136785.394
AT ITER 3981 NEW BEST:: SOT 423050 SOS 197397 HAS SOPS 197397 HAS SOUS 136502 HAS SOUPS 136502 WITH SCORE 136699.397
AT ITER 3984 NEW BEST:: SOT 422984 SOS 197312 HAS SOPS 197312 HAS SOUS 136387 HAS SOUPS 136387 WITH SCORE 136584.312
AT ITER 3987 NEW BEST:: SOT 422902 SOS 197130 HAS SOPS 197130 HAS SOUS 136295 HAS SOUPS 136295 WITH SCORE 136492.13
AT ITER 3989 NEW BEST:: SOT 422775 SOS 196938 HAS SOPS 196938 HAS SOUS 136035 HAS SOUPS 136035 WITH SCORE 136231.938
AT ITER 3995 NEW BEST:: SOT 422809 SOS 196948 HAS SOPS 196948 HAS SOUS 136007 HAS SOUPS 136007 WITH SCORE 136203.948
AT ITER 3996 NEW BEST:: SOT 422789 SOS 196898 HAS SOPS 196898 HAS SOUS 135977 HAS SOUPS 135977 WITH SCORE 136173.898
AT ITER 4005 NEW BEST:: SOT 422743 SOS 196768 HAS SOPS 196768 HAS SOUS 135885 HAS SOUPS 135885 WITH SCORE 136081.768
AT ITER 4013 NEW BEST:: SOT 422743 SOS 196684 HAS SOPS 196684 HAS SOUS 135857 HAS SOUPS 135857 WITH SCORE 136053.684
AT ITER 4020 NEW BEST:: SOT 422713 SOS 196674 HAS SOPS 196674 HAS SOUS 135830 HAS SOUPS 135830 WITH SCORE 136026.674
AT ITER 4028 NEW BEST:: SOT 422408 SOS 196290 HAS SOPS 196290 HAS SOUS 135454 HAS SOUPS 135454 WITH SCORE 135650.29
AT ITER 4051 NEW BEST:: SOT 422390 SOS 196203 HAS SOPS 196203 HAS SOUS 135415 HAS SOUPS 135415 WITH SCORE 135611.203
AT ITER 4052 NEW BEST:: SOT 422451 SOS 195928 HAS SOPS 195928 HAS SOUS 135314 HAS SOUPS 135314 WITH SCORE 135509.928
AT ITER 4068 NEW BEST:: SOT 421945 SOS 194884 HAS SOPS 194884 HAS SOUS 134556 HAS SOUPS 134556 WITH SCORE 134750.884
AT ITER 4073 NEW BEST:: SOT 422037 SOS 194976 HAS SOPS 194976 HAS SOUS 134550 HAS SOUPS 134550 WITH SCORE 134744.976
AT ITER 4076 NEW BEST:: SOT 422037 SOS 194931 HAS SOPS 194931 HAS SOUS 134550 HAS SOUPS 134550 WITH SCORE 134744.931
AT ITER 4080 NEW BEST:: SOT 422037 SOS 194798 HAS SOPS 194798 HAS SOUS 134498 HAS SOUPS 134498 WITH SCORE 134692.798
AT ITER 4096 NEW BEST:: SOT 421979 SOS 194591 HAS SOPS 194591 HAS SOUS 134346 HAS SOUPS 134346 WITH SCORE 134540.591
AT ITER 4124 NEW BEST:: SOT 421962 SOS 194574 HAS SOPS 194574 HAS SOUS 134296 HAS SOUPS 134296 WITH SCORE 134490.574
AT ITER 4125 NEW BEST:: SOT 421962 SOS 194571 HAS SOPS 194571 HAS SOUS 134296 HAS SOUPS 134296 WITH SCORE 134490.571
AT ITER 4126 NEW BEST:: SOT 421871 SOS 194448 HAS SOPS 194448 HAS SOUS 134150 HAS SOUPS 134150 WITH SCORE 134344.448
AT ITER 4132 NEW BEST:: SOT 421905 SOS 194369 HAS SOPS 194369 HAS SOUS 134148 HAS SOUPS 134148 WITH SCORE 134342.369
AT ITER 4135 NEW BEST:: SOT 421775 SOS 194365 HAS SOPS 194365 HAS SOUS 134136 HAS SOUPS 134136 WITH SCORE 134330.365
AT ITER 4142 NEW BEST:: SOT 421786 SOS 194350 HAS SOPS 194350 HAS SOUS 134121 HAS SOUPS 134121 WITH SCORE 134315.35
AT ITER 4143 NEW BEST:: SOT 421759 SOS 194196 HAS SOPS 194196 HAS SOUS 133967 HAS SOUPS 133967 WITH SCORE 134161.196
AT ITER 4151 NEW BEST:: SOT 421560 SOS 193997 HAS SOPS 193997 HAS SOUS 133663 HAS SOUPS 133663 WITH SCORE 133856.997
AT ITER 4155 NEW BEST:: SOT 421560 SOS 193981 HAS SOPS 193981 HAS SOUS 133663 HAS SOUPS 133663 WITH SCORE 133856.981
AT ITER 4163 NEW BEST:: SOT 421537 SOS 193958 HAS SOPS 193958 HAS SOUS 133640 HAS SOUPS 133640 WITH SCORE 133833.958
AT ITER 4167 NEW BEST:: SOT 421470 SOS 194286 HAS SOPS 194286 HAS SOUS 133632 HAS SOUPS 133632 WITH SCORE 133826.286
AT ITER 4173 NEW BEST:: SOT 421438 SOS 194045 HAS SOPS 194045 HAS SOUS 133568 HAS SOUPS 133568 WITH SCORE 133762.045
AT ITER 4191 NEW BEST:: SOT 421420 SOS 194027 HAS SOPS 194027 HAS SOUS 133550 HAS SOUPS 133550 WITH SCORE 133744.027
AT ITER 4201 NEW BEST:: SOT 421374 SOS 194105 HAS SOPS 194105 HAS SOUS 133497 HAS SOUPS 133497 WITH SCORE 133691.105
AT ITER 4214 NEW BEST:: SOT 421335 SOS 193769 HAS SOPS 193769 HAS SOUS 133341 HAS SOUPS 133341 WITH SCORE 133534.769
AT ITER 4225 NEW BEST:: SOT 421022 SOS 193601 HAS SOPS 193601 HAS SOUS 133289 HAS SOUPS 133289 WITH SCORE 133482.601
AT ITER 4227 NEW BEST:: SOT 421022 SOS 193560 HAS SOPS 193560 HAS SOUS 133248 HAS SOUPS 133248 WITH SCORE 133441.56
AT ITER 4242 NEW BEST:: SOT 421022 SOS 193552 HAS SOPS 193552 HAS SOUS 133240 HAS SOUPS 133240 WITH SCORE 133433.552
AT ITER 4252 NEW BEST:: SOT 420901 SOS 193431 HAS SOPS 193431 HAS SOUS 133011 HAS SOUPS 133011 WITH SCORE 133204.431
AT ITER 4260 NEW BEST:: SOT 420890 SOS 193353 HAS SOPS 193353 HAS SOUS 132933 HAS SOUPS 132933 WITH SCORE 133126.353
AT ITER 4262 NEW BEST:: SOT 420828 SOS 193291 HAS SOPS 193291 HAS SOUS 132871 HAS SOUPS 132871 WITH SCORE 133064.291
AT ITER 4265 NEW BEST:: SOT 420942 SOS 193427 HAS SOPS 193427 HAS SOUS 132860 HAS SOUPS 132860 WITH SCORE 133053.427
AT ITER 4275 NEW BEST:: SOT 420731 SOS 193286 HAS SOPS 193286 HAS SOUS 132649 HAS SOUPS 132649 WITH SCORE 132842.286
AT ITER 4279 NEW BEST:: SOT 420306 SOS 192864 HAS SOPS 192864 HAS SOUS 132501 HAS SOUPS 132501 WITH SCORE 132693.864
AT ITER 4295 NEW BEST:: SOT 420306 SOS 193512 HAS SOPS 193512 HAS SOUS 132411 HAS SOUPS 132411 WITH SCORE 132604.512
AT ITER 4300 NEW BEST:: SOT 420079 SOS 193478 HAS SOPS 193478 HAS SOUS 132343 HAS SOUPS 132343 WITH SCORE 132536.478
AT ITER 4304 NEW BEST:: SOT 420135 SOS 193514 HAS SOPS 193514 HAS SOUS 132342 HAS SOUPS 132342 WITH SCORE 132535.514
AT ITER 4306 NEW BEST:: SOT 420077 SOS 193456 HAS SOPS 193456 HAS SOUS 132283 HAS SOUPS 132283 WITH SCORE 132476.456
AT ITER 4307 NEW BEST:: SOT 420073 SOS 193448 HAS SOPS 193448 HAS SOUS 132275 HAS SOUPS 132275 WITH SCORE 132468.448
AT ITER 4316 NEW BEST:: SOT 420024 SOS 193468 HAS SOPS 193468 HAS SOUS 132177 HAS SOUPS 132177 WITH SCORE 132370.468
AT ITER 4320 NEW BEST:: SOT 420024 SOS 193448 HAS SOPS 193448 HAS SOUS 132177 HAS SOUPS 132177 WITH SCORE 132370.448
AT ITER 4326 NEW BEST:: SOT 419934 SOS 193358 HAS SOPS 193358 HAS SOUS 132062 HAS SOUPS 132062 WITH SCORE 132255.358
AT ITER 4331 NEW BEST:: SOT 419934 SOS 193382 HAS SOPS 193382 HAS SOUS 131965 HAS SOUPS 131965 WITH SCORE 132158.382
AT ITER 4333 NEW BEST:: SOT 419934 SOS 193379 HAS SOPS 193379 HAS SOUS 131874 HAS SOUPS 131874 WITH SCORE 132067.379
AT ITER 4340 NEW BEST:: SOT 420095 SOS 193419 HAS SOPS 193419 HAS SOUS 131831 HAS SOUPS 131831 WITH SCORE 132024.419
AT ITER 4354 NEW BEST:: SOT 420034 SOS 193359 HAS SOPS 193359 HAS SOUS 131771 HAS SOUPS 131771 WITH SCORE 131964.359
AT ITER 4358 NEW BEST:: SOT 420034 SOS 193329 HAS SOPS 193329 HAS SOUS 131759 HAS SOUPS 131759 WITH SCORE 131952.329
AT ITER 4364 NEW BEST:: SOT 420036 SOS 193324 HAS SOPS 193324 HAS SOUS 131734 HAS SOUPS 131734 WITH SCORE 131927.324
AT ITER 4365 NEW BEST:: SOT 419652 SOS 192940 HAS SOPS 192940 HAS SOUS 131350 HAS SOUPS 131350 WITH SCORE 131542.94
AT ITER 4366 NEW BEST:: SOT 419687 SOS 192802 HAS SOPS 192802 HAS SOUS 131227 HAS SOUPS 131227 WITH SCORE 131419.802
AT ITER 4369 NEW BEST:: SOT 419679 SOS 192743 HAS SOPS 192743 HAS SOUS 131123 HAS SOUPS 131123 WITH SCORE 131315.743
AT ITER 4380 NEW BEST:: SOT 419675 SOS 192735 HAS SOPS 192735 HAS SOUS 131114 HAS SOUPS 131114 WITH SCORE 131306.735
AT ITER 4382 NEW BEST:: SOT 419723 SOS 192799 HAS SOPS 192799 HAS SOUS 131022 HAS SOUPS 131022 WITH SCORE 131214.799
AT ITER 4407 NEW BEST:: SOT 419694 SOS 192233 HAS SOPS 192233 HAS SOUS 130863 HAS SOUPS 130863 WITH SCORE 131055.233
AT ITER 4408 NEW BEST:: SOT 419671 SOS 192210 HAS SOPS 192210 HAS SOUS 130817 HAS SOUPS 130817 WITH SCORE 131009.21
AT ITER 4416 NEW BEST:: SOT 419518 SOS 192094 HAS SOPS 192094 HAS SOUS 130813 HAS SOUPS 130813 WITH SCORE 131005.094
AT ITER 4419 NEW BEST:: SOT 419547 SOS 192181 HAS SOPS 192181 HAS SOUS 130757 HAS SOUPS 130757 WITH SCORE 130949.181
AT ITER 4423 NEW BEST:: SOT 419547 SOS 192173 HAS SOPS 192173 HAS SOUS 130757 HAS SOUPS 130757 WITH SCORE 130949.173
AT ITER 4445 NEW BEST:: SOT 419428 SOS 191743 HAS SOPS 191743 HAS SOUS 130331 HAS SOUPS 130331 WITH SCORE 130522.743
AT ITER 4449 NEW BEST:: SOT 419338 SOS 191686 HAS SOPS 191686 HAS SOUS 130272 HAS SOUPS 130272 WITH SCORE 130463.686
AT ITER 4452 NEW BEST:: SOT 419385 SOS 191725 HAS SOPS 191725 HAS SOUS 130221 HAS SOUPS 130221 WITH SCORE 130412.725
AT ITER 4464 NEW BEST:: SOT 419370 SOS 191643 HAS SOPS 191643 HAS SOUS 130173 HAS SOUPS 130173 WITH SCORE 130364.643
AT ITER 4484 NEW BEST:: SOT 419364 SOS 191637 HAS SOPS 191637 HAS SOUS 130165 HAS SOUPS 130165 WITH SCORE 130356.637
AT ITER 4489 NEW BEST:: SOT 419270 SOS 191543 HAS SOPS 191543 HAS SOUS 130121 HAS SOUPS 130121 WITH SCORE 130312.543
AT ITER 4492 NEW BEST:: SOT 419250 SOS 191523 HAS SOPS 191523 HAS SOUS 130101 HAS SOUPS 130101 WITH SCORE 130292.523
AT ITER 4493 NEW BEST:: SOT 419285 SOS 192035 HAS SOPS 192035 HAS SOUS 129923 HAS SOUPS 129923 WITH SCORE 130115.035
AT ITER 4500 NEW BEST:: SOT 419306 SOS 192056 HAS SOPS 192056 HAS SOUS 129911 HAS SOUPS 129911 WITH SCORE 130103.056
AT ITER 4501 NEW BEST:: SOT 419341 SOS 191870 HAS SOPS 191870 HAS SOUS 129585 HAS SOUPS 129585 WITH SCORE 129776.87
AT ITER 4514 NEW BEST:: SOT 419336 SOS 191865 HAS SOPS 191865 HAS SOUS 129557 HAS SOUPS 129557 WITH SCORE 129748.865
AT ITER 4536 NEW BEST:: SOT 419249 SOS 191508 HAS SOPS 191508 HAS SOUS 129451 HAS SOUPS 129451 WITH SCORE 129642.508
AT ITER 4541 NEW BEST:: SOT 418973 SOS 191232 HAS SOPS 191232 HAS SOUS 129082 HAS SOUPS 129082 WITH SCORE 129273.232
AT ITER 4554 NEW BEST:: SOT 418873 SOS 191165 HAS SOPS 191165 HAS SOUS 129015 HAS SOUPS 129015 WITH SCORE 129206.165
AT ITER 4571 NEW BEST:: SOT 418873 SOS 191144 HAS SOPS 191144 HAS SOUS 128962 HAS SOUPS 128962 WITH SCORE 129153.144
AT ITER 4579 NEW BEST:: SOT 418873 SOS 191470 HAS SOPS 191470 HAS SOUS 128742 HAS SOUPS 128742 WITH SCORE 128933.47
AT ITER 4584 NEW BEST:: SOT 418734 SOS 191331 HAS SOPS 191331 HAS SOUS 128473 HAS SOUPS 128473 WITH SCORE 128664.331
AT ITER 4594 NEW BEST:: SOT 418704 SOS 191291 HAS SOPS 191291 HAS SOUS 128433 HAS SOUPS 128433 WITH SCORE 128624.291
AT ITER 4607 NEW BEST:: SOT 418704 SOS 191248 HAS SOPS 191248 HAS SOUS 128358 HAS SOUPS 128358 WITH SCORE 128549.248
AT ITER 4610 NEW BEST:: SOT 418615 SOS 191024 HAS SOPS 191024 HAS SOUS 128161 HAS SOUPS 128161 WITH SCORE 128352.024
AT ITER 4620 NEW BEST:: SOT 418607 SOS 191016 HAS SOPS 191016 HAS SOUS 128161 HAS SOUPS 128161 WITH SCORE 128352.016
AT ITER 4649 NEW BEST:: SOT 418587 SOS 190936 HAS SOPS 190936 HAS SOUS 128111 HAS SOUPS 128111 WITH SCORE 128301.936
AT ITER 4657 NEW BEST:: SOT 418566 SOS 190826 HAS SOPS 190826 HAS SOUS 128053 HAS SOUPS 128053 WITH SCORE 128243.826
AT ITER 4699 NEW BEST:: SOT 418566 SOS 190826 HAS SOPS 190826 HAS SOUS 128037 HAS SOUPS 128037 WITH SCORE 128227.826
AT ITER 4703 NEW BEST:: SOT 418516 SOS 190776 HAS SOPS 190776 HAS SOUS 127987 HAS SOUPS 127987 WITH SCORE 128177.776
AT ITER 4705 NEW BEST:: SOT 418402 SOS 190586 HAS SOPS 190586 HAS SOUS 127835 HAS SOUPS 127835 WITH SCORE 128025.586
AT ITER 4710 NEW BEST:: SOT 418399 SOS 190565 HAS SOPS 190565 HAS SOUS 127832 HAS SOUPS 127832 WITH SCORE 128022.565
AT ITER 4724 NEW BEST:: SOT 418323 SOS 190423 HAS SOPS 190423 HAS SOUS 127421 HAS SOUPS 127421 WITH SCORE 127611.423
AT ITER 4728 NEW BEST:: SOT 418323 SOS 190429 HAS SOPS 190429 HAS SOUS 127409 HAS SOUPS 127409 WITH SCORE 127599.429
AT ITER 4734 NEW BEST:: SOT 418292 SOS 190398 HAS SOPS 190398 HAS SOUS 127362 HAS SOUPS 127362 WITH SCORE 127552.398
AT ITER 4735 NEW BEST:: SOT 418314 SOS 190370 HAS SOPS 190370 HAS SOUS 127340 HAS SOUPS 127340 WITH SCORE 127530.37
AT ITER 4748 NEW BEST:: SOT 418218 SOS 190407 HAS SOPS 190407 HAS SOUS 127096 HAS SOUPS 127096 WITH SCORE 127286.407
AT ITER 4750 NEW BEST:: SOT 418212 SOS 190401 HAS SOPS 190401 HAS SOUS 127090 HAS SOUPS 127090 WITH SCORE 127280.401
AT ITER 4752 NEW BEST:: SOT 418109 SOS 190298 HAS SOPS 190298 HAS SOUS 126987 HAS SOUPS 126987 WITH SCORE 127177.298
AT ITER 4761 NEW BEST:: SOT 418027 SOS 190216 HAS SOPS 190216 HAS SOUS 126905 HAS SOUPS 126905 WITH SCORE 127095.216
AT ITER 4765 NEW BEST:: SOT 417926 SOS 190253 HAS SOPS 190253 HAS SOUS 126864 HAS SOUPS 126864 WITH SCORE 127054.253
AT ITER 4779 NEW BEST:: SOT 417884 SOS 190104 HAS SOPS 190104 HAS SOUS 126835 HAS SOUPS 126835 WITH SCORE 127025.104
AT ITER 4780 NEW BEST:: SOT 417821 SOS 189999 HAS SOPS 189999 HAS SOUS 126646 HAS SOUPS 126646 WITH SCORE 126835.999
AT ITER 4792 NEW BEST:: SOT 417752 SOS 189930 HAS SOPS 189930 HAS SOUS 126577 HAS SOUPS 126577 WITH SCORE 126766.93
AT ITER 4799 NEW BEST:: SOT 417742 SOS 189920 HAS SOPS 189920 HAS SOUS 126572 HAS SOUPS 126572 WITH SCORE 126761.92
AT ITER 4801 NEW BEST:: SOT 417729 SOS 189907 HAS SOPS 189907 HAS SOUS 126559 HAS SOUPS 126559 WITH SCORE 126748.907
AT ITER 4806 NEW BEST:: SOT 417630 SOS 189799 HAS SOPS 189799 HAS SOUS 126451 HAS SOUPS 126451 WITH SCORE 126640.799
AT ITER 4831 NEW BEST:: SOT 417630 SOS 189796 HAS SOPS 189796 HAS SOUS 126445 HAS SOUPS 126445 WITH SCORE 126634.796
AT ITER 4834 NEW BEST:: SOT 417590 SOS 189756 HAS SOPS 189756 HAS SOUS 126405 HAS SOUPS 126405 WITH SCORE 126594.756
AT ITER 4857 NEW BEST:: SOT 417458 SOS 189748 HAS SOPS 189748 HAS SOUS 126344 HAS SOUPS 126344 WITH SCORE 126533.748
AT ITER 4866 NEW BEST:: SOT 417512 SOS 190168 HAS SOPS 190168 HAS SOUS 126203 HAS SOUPS 126203 WITH SCORE 126393.168
AT ITER 4867 NEW BEST:: SOT 417459 SOS 189904 HAS SOPS 189904 HAS SOUS 126070 HAS SOUPS 126070 WITH SCORE 126259.904
AT ITER 4871 NEW BEST:: SOT 417377 SOS 189868 HAS SOPS 189868 HAS SOUS 125953 HAS SOUPS 125953 WITH SCORE 126142.868
AT ITER 4879 NEW BEST:: SOT 417344 SOS 189856 HAS SOPS 189856 HAS SOUS 125941 HAS SOUPS 125941 WITH SCORE 126130.856
AT ITER 4885 NEW BEST:: SOT 417312 SOS 189824 HAS SOPS 189824 HAS SOUS 125895 HAS SOUPS 125895 WITH SCORE 126084.824
AT ITER 4890 NEW BEST:: SOT 417312 SOS 189784 HAS SOPS 189784 HAS SOUS 125855 HAS SOUPS 125855 WITH SCORE 126044.784
AT ITER 4892 NEW BEST:: SOT 417310 SOS 189780 HAS SOPS 189780 HAS SOUS 125851 HAS SOUPS 125851 WITH SCORE 126040.78
AT ITER 4893 NEW BEST:: SOT 417310 SOS 190020 HAS SOPS 190020 HAS SOUS 125803 HAS SOUPS 125803 WITH SCORE 125993.02
AT ITER 4895 NEW BEST:: SOT 417304 SOS 190014 HAS SOPS 190014 HAS SOUS 125797 HAS SOUPS 125797 WITH SCORE 125987.014
AT ITER 4898 NEW BEST:: SOT 417356 SOS 189860 HAS SOPS 189860 HAS SOUS 125377 HAS SOUPS 125377 WITH SCORE 125566.86
AT ITER 4902 NEW BEST:: SOT 417244 SOS 189733 HAS SOPS 189733 HAS SOUS 125250 HAS SOUPS 125250 WITH SCORE 125439.733
AT ITER 4906 NEW BEST:: SOT 417240 SOS 189729 HAS SOPS 189729 HAS SOUS 125245 HAS SOUPS 125245 WITH SCORE 125434.729
AT ITER 4910 NEW BEST:: SOT 417079 SOS 189501 HAS SOPS 189501 HAS SOUS 124946 HAS SOUPS 124946 WITH SCORE 125135.501
AT ITER 4912 NEW BEST:: SOT 417055 SOS 189469 HAS SOPS 189469 HAS SOUS 124914 HAS SOUPS 124914 WITH SCORE 125103.469
AT ITER 4918 NEW BEST:: SOT 417101 SOS 189713 HAS SOPS 189713 HAS SOUS 124911 HAS SOUPS 124911 WITH SCORE 125100.713
AT ITER 4921 NEW BEST:: SOT 417087 SOS 189699 HAS SOPS 189699 HAS SOUS 124897 HAS SOUPS 124897 WITH SCORE 125086.699
AT ITER 4952 NEW BEST:: SOT 417125 SOS 190001 HAS SOPS 190001 HAS SOUS 124704 HAS SOUPS 124704 WITH SCORE 124894.001
AT ITER 4966 NEW BEST:: SOT 417099 SOS 190004 HAS SOPS 190004 HAS SOUS 124698 HAS SOUPS 124698 WITH SCORE 124888.004
AT ITER 4968 NEW BEST:: SOT 416990 SOS 189462 HAS SOPS 189462 HAS SOUS 124316 HAS SOUPS 124316 WITH SCORE 124505.462
AT ITER 4981 NEW BEST:: SOT 416827 SOS 189176 HAS SOPS 189176 HAS SOUS 124071 HAS SOUPS 124071 WITH SCORE 124260.176
AT ITER 4998 NEW BEST:: SOT 416802 SOS 189002 HAS SOPS 189002 HAS SOUS 124039 HAS SOUPS 124039 WITH SCORE 124228.002
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-00 ( (! potential( (tk(P250)) <= (tk(P160)) )) | (AG( (! ( potential( (tk(P358)) <= (tk(P134)) ) & potential( ( 3 ) <= (tk(P206)) ) )))) )
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-01 (AU( potential( ( 2 ) <= (tk(P454)) ),(AG( potential( (tk(P252)) <= (tk(P8)) ))) ))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-02 (AG( (AF(potential( ( 2 ) <= (tk(P361)) )))))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-03 (EF(( (EF(potential( (tk(P180)) <= (tk(P244)) ))) & potential( ( 2 ) <= (tk(P243)) ) )))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-04 (! ( (EG( (! potential( ( 1 ) <= (tk(P614)) )))) & ( (AX( potential( (tk(P343)) <= (tk(P301)) ))) | potential( ( 2 ) <= (tk(P522)) ) ) ))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-05 (AX( (AF(potential( ( 2 ) <= (tk(P55)) )))))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-06 (! ( (AF((! potential( (tk(P175)) <= (tk(P642)) )))) & (AF(( potential( ( 3 ) <= (tk(P612)) ) & potential( ( 2 ) <= (tk(P512)) ) ))) ))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-07 (AF((! (EF(potential( (tk(P293)) <= (tk(P401)) ))))))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-08 (AG( ( ( ( potential( ( 1 ) <= (tk(P15)) ) | potential( (tk(P518)) <= (tk(P563)) ) ) & potential( ( 1 ) <= (tk(P547)) ) ) | (! ( potential( (tk(P426)) <= (tk(P405)) ) & potential( ( 2 ) <= (tk(P694)) ) )) )))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-09 (EU( potential( (tk(P204)) <= (tk(P337)) ),(EG( potential( (tk(P460)) <= (tk(P637)) ))) ))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-10 (EG( potential( (tk(P10)) <= (tk(P52)) )))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-11 ( (! potential( ( 1 ) <= (tk(P102)) )) & ( (! (EG( potential( (tk(P697)) <= (tk(P196)) )))) | ( (! ( potential( ( 1 ) <= (tk(P191)) ) & potential( ( 3 ) <= (tk(P78)) ) )) & ( ( potential( ( 3 ) <= (tk(P33)) ) & potential( ( 2 ) <= (tk(P297)) ) ) | ( potential( (tk(P327)) <= (tk(P356)) ) & potential( ( 3 ) <= (tk(P83)) ) ) ) ) ) )
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-12 (AG( potential( (tk(P575)) <= (tk(P82)) )))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-13 (AF(potential( ( 2 ) <= (tk(P615)) )))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-14 (AG( ( ( potential( (tk(P177)) <= (tk(P614)) ) & ( potential( (tk(P556)) <= (tk(P648)) ) & potential( (tk(P172)) <= (tk(P589)) ) ) ) | potential( (tk(P88)) <= (tk(P667)) ) )))
PROPERTY: ShieldRVs-PT-050A-CTLCardinality-15 (AG( (! (AG( potential( ( 1 ) <= (tk(P303)) ))))))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVs-PT-050A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldRVs-PT-050A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470100891"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-050A.tgz
mv ShieldRVs-PT-050A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;