Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250100163.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NQueens-PT-25, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100163
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 684K
-rw-r--r-- 1 mcc users 3.5K Apr 8 13:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 13:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 7 16:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 7 16:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 6 19:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 6 19:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 6 02:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 6 02:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 516K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589637843555

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 25
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: 775 places, 625 transitions, 3125 arcs.
AT ITER 0 NEW BEST:: SOT 414790 SOS 261816 HAS SOPS 261816 HAS SOUS 218099 HAS SOUPS 218099 WITH SCORE 218360.816
AT ITER 3 NEW BEST:: SOT 414790 SOS 261792 HAS SOPS 261792 HAS SOUS 218099 HAS SOUPS 218099 WITH SCORE 218360.792
AT ITER 8 NEW BEST:: SOT 414535 SOS 263955 HAS SOPS 263955 HAS SOUS 217859 HAS SOUPS 217859 WITH SCORE 218122.955
AT ITER 9 NEW BEST:: SOT 414535 SOS 263905 HAS SOPS 263905 HAS SOUS 217859 HAS SOUPS 217859 WITH SCORE 218122.905
AT ITER 11 NEW BEST:: SOT 414535 SOS 263810 HAS SOPS 263810 HAS SOUS 217859 HAS SOUPS 217859 WITH SCORE 218122.81
AT ITER 14 NEW BEST:: SOT 414466 SOS 263737 HAS SOPS 263737 HAS SOUS 217782 HAS SOUPS 217782 WITH SCORE 218045.737
AT ITER 15 NEW BEST:: SOT 414289 SOS 263674 HAS SOPS 263674 HAS SOUS 217628 HAS SOUPS 217628 WITH SCORE 217891.674
AT ITER 22 NEW BEST:: SOT 414289 SOS 263528 HAS SOPS 263528 HAS SOUS 217628 HAS SOUPS 217628 WITH SCORE 217891.528
AT ITER 24 NEW BEST:: SOT 414009 SOS 264541 HAS SOPS 264541 HAS SOUS 217350 HAS SOUPS 217350 WITH SCORE 217614.541
AT ITER 32 NEW BEST:: SOT 414009 SOS 258936 HAS SOPS 258936 HAS SOUS 217350 HAS SOUPS 217350 WITH SCORE 217608.936
AT ITER 33 NEW BEST:: SOT 414009 SOS 258848 HAS SOPS 258848 HAS SOUS 217350 HAS SOUPS 217350 WITH SCORE 217608.848
AT ITER 39 NEW BEST:: SOT 414009 SOS 258832 HAS SOPS 258832 HAS SOUS 217350 HAS SOUPS 217350 WITH SCORE 217608.832
AT ITER 40 NEW BEST:: SOT 414009 SOS 258650 HAS SOPS 258650 HAS SOUS 217350 HAS SOUPS 217350 WITH SCORE 217608.65
AT ITER 41 NEW BEST:: SOT 413766 SOS 258566 HAS SOPS 258566 HAS SOUS 217106 HAS SOUPS 217106 WITH SCORE 217364.566
AT ITER 43 NEW BEST:: SOT 413766 SOS 258620 HAS SOPS 258620 HAS SOUS 217077 HAS SOUPS 217077 WITH SCORE 217335.62
AT ITER 45 NEW BEST:: SOT 413766 SOS 258508 HAS SOPS 258508 HAS SOUS 217077 HAS SOUPS 217077 WITH SCORE 217335.508
AT ITER 48 NEW BEST:: SOT 413535 SOS 258330 HAS SOPS 258330 HAS SOUS 216837 HAS SOUPS 216837 WITH SCORE 217095.33
AT ITER 56 NEW BEST:: SOT 413212 SOS 258064 HAS SOPS 258064 HAS SOUS 216571 HAS SOUPS 216571 WITH SCORE 216829.064
AT ITER 57 NEW BEST:: SOT 413212 SOS 257963 HAS SOPS 257963 HAS SOUS 216571 HAS SOUPS 216571 WITH SCORE 216828.963
AT ITER 60 NEW BEST:: SOT 412693 SOS 257477 HAS SOPS 257477 HAS SOUS 216046 HAS SOUPS 216046 WITH SCORE 216303.477
AT ITER 75 NEW BEST:: SOT 412541 SOS 262993 HAS SOPS 262993 HAS SOUS 215897 HAS SOUPS 215897 WITH SCORE 216159.993
AT ITER 76 NEW BEST:: SOT 412541 SOS 262819 HAS SOPS 262819 HAS SOUS 215897 HAS SOUPS 215897 WITH SCORE 216159.819
AT ITER 79 NEW BEST:: SOT 412541 SOS 262552 HAS SOPS 262552 HAS SOUS 215897 HAS SOUPS 215897 WITH SCORE 216159.552
AT ITER 83 NEW BEST:: SOT 412541 SOS 262413 HAS SOPS 262413 HAS SOUS 215877 HAS SOUPS 215877 WITH SCORE 216139.413
AT ITER 84 NEW BEST:: SOT 412327 SOS 262211 HAS SOPS 262211 HAS SOUS 215663 HAS SOUPS 215663 WITH SCORE 215925.211
AT ITER 90 NEW BEST:: SOT 411888 SOS 261774 HAS SOPS 261774 HAS SOUS 215455 HAS SOUPS 215455 WITH SCORE 215716.774
AT ITER 93 NEW BEST:: SOT 411813 SOS 261877 HAS SOPS 261877 HAS SOUS 215393 HAS SOUPS 215393 WITH SCORE 215654.877
AT ITER 95 NEW BEST:: SOT 411759 SOS 261823 HAS SOPS 261823 HAS SOUS 215339 HAS SOUPS 215339 WITH SCORE 215600.823
AT ITER 97 NEW BEST:: SOT 411428 SOS 262308 HAS SOPS 262308 HAS SOUS 215023 HAS SOUPS 215023 WITH SCORE 215285.308
AT ITER 99 NEW BEST:: SOT 411428 SOS 262083 HAS SOPS 262083 HAS SOUS 215001 HAS SOUPS 215001 WITH SCORE 215263.083
AT ITER 108 NEW BEST:: SOT 411428 SOS 261681 HAS SOPS 261681 HAS SOUS 214966 HAS SOUPS 214966 WITH SCORE 215227.681
AT ITER 112 NEW BEST:: SOT 411428 SOS 259784 HAS SOPS 259784 HAS SOUS 214966 HAS SOUPS 214966 WITH SCORE 215225.784
AT ITER 118 NEW BEST:: SOT 411125 SOS 260411 HAS SOPS 260411 HAS SOUS 214729 HAS SOUPS 214729 WITH SCORE 214989.411
AT ITER 126 NEW BEST:: SOT 411095 SOS 260779 HAS SOPS 260779 HAS SOUS 214723 HAS SOUPS 214723 WITH SCORE 214983.779
AT ITER 127 NEW BEST:: SOT 410859 SOS 260904 HAS SOPS 260904 HAS SOUS 214472 HAS SOUPS 214472 WITH SCORE 214732.904
AT ITER 130 NEW BEST:: SOT 410362 SOS 260438 HAS SOPS 260438 HAS SOUS 214006 HAS SOUPS 214006 WITH SCORE 214266.438
AT ITER 138 NEW BEST:: SOT 410362 SOS 255290 HAS SOPS 255290 HAS SOUS 214006 HAS SOUPS 214006 WITH SCORE 214261.29
AT ITER 141 NEW BEST:: SOT 410362 SOS 255187 HAS SOPS 255187 HAS SOUS 214006 HAS SOUPS 214006 WITH SCORE 214261.187
AT ITER 144 NEW BEST:: SOT 410362 SOS 255166 HAS SOPS 255166 HAS SOUS 214006 HAS SOUPS 214006 WITH SCORE 214261.166
AT ITER 146 NEW BEST:: SOT 410344 SOS 255148 HAS SOPS 255148 HAS SOUS 213988 HAS SOUPS 213988 WITH SCORE 214243.148
AT ITER 161 NEW BEST:: SOT 410344 SOS 254996 HAS SOPS 254996 HAS SOUS 213988 HAS SOUPS 213988 WITH SCORE 214242.996
AT ITER 165 NEW BEST:: SOT 410250 SOS 255278 HAS SOPS 255278 HAS SOUS 213942 HAS SOUPS 213942 WITH SCORE 214197.278
AT ITER 169 NEW BEST:: SOT 409947 SOS 255057 HAS SOPS 255057 HAS SOUS 213676 HAS SOUPS 213676 WITH SCORE 213931.057
AT ITER 175 NEW BEST:: SOT 409914 SOS 255108 HAS SOPS 255108 HAS SOUS 213667 HAS SOUPS 213667 WITH SCORE 213922.108
AT ITER 181 NEW BEST:: SOT 409914 SOS 255109 HAS SOPS 255109 HAS SOUS 213666 HAS SOUPS 213666 WITH SCORE 213921.109
AT ITER 190 NEW BEST:: SOT 409914 SOS 255098 HAS SOPS 255098 HAS SOUS 213666 HAS SOUPS 213666 WITH SCORE 213921.098
AT ITER 199 NEW BEST:: SOT 409914 SOS 254898 HAS SOPS 254898 HAS SOUS 213666 HAS SOUPS 213666 WITH SCORE 213920.898
AT ITER 202 NEW BEST:: SOT 409914 SOS 254794 HAS SOPS 254794 HAS SOUS 213666 HAS SOUPS 213666 WITH SCORE 213920.794
AT ITER 208 NEW BEST:: SOT 409535 SOS 254720 HAS SOPS 254720 HAS SOUS 213549 HAS SOUPS 213549 WITH SCORE 213803.72
AT ITER 209 NEW BEST:: SOT 409535 SOS 254584 HAS SOPS 254584 HAS SOUS 213549 HAS SOUPS 213549 WITH SCORE 213803.584
AT ITER 210 NEW BEST:: SOT 409535 SOS 254254 HAS SOPS 254254 HAS SOUS 213549 HAS SOUPS 213549 WITH SCORE 213803.254
AT ITER 220 NEW BEST:: SOT 409357 SOS 256478 HAS SOPS 256478 HAS SOUS 213499 HAS SOUPS 213499 WITH SCORE 213755.478
AT ITER 222 NEW BEST:: SOT 409254 SOS 256365 HAS SOPS 256365 HAS SOUS 213386 HAS SOUPS 213386 WITH SCORE 213642.365
AT ITER 227 NEW BEST:: SOT 408904 SOS 256250 HAS SOPS 256250 HAS SOUS 213041 HAS SOUPS 213041 WITH SCORE 213297.25
AT ITER 228 NEW BEST:: SOT 408904 SOS 255923 HAS SOPS 255923 HAS SOUS 213041 HAS SOUPS 213041 WITH SCORE 213296.923
AT ITER 240 NEW BEST:: SOT 408904 SOS 255644 HAS SOPS 255644 HAS SOUS 213041 HAS SOUPS 213041 WITH SCORE 213296.644
AT ITER 243 NEW BEST:: SOT 408904 SOS 255583 HAS SOPS 255583 HAS SOUS 213041 HAS SOUPS 213041 WITH SCORE 213296.583
AT ITER 249 NEW BEST:: SOT 408902 SOS 255488 HAS SOPS 255488 HAS SOUS 213000 HAS SOUPS 213000 WITH SCORE 213255.488
AT ITER 254 NEW BEST:: SOT 408468 SOS 256969 HAS SOPS 256969 HAS SOUS 212837 HAS SOUPS 212837 WITH SCORE 213093.969
AT ITER 258 NEW BEST:: SOT 408218 SOS 257684 HAS SOPS 257684 HAS SOUS 212826 HAS SOUPS 212826 WITH SCORE 213083.684
AT ITER 260 NEW BEST:: SOT 408218 SOS 257528 HAS SOPS 257528 HAS SOUS 212804 HAS SOUPS 212804 WITH SCORE 213061.528
AT ITER 264 NEW BEST:: SOT 408322 SOS 257632 HAS SOPS 257632 HAS SOUS 212707 HAS SOUPS 212707 WITH SCORE 212964.632
AT ITER 269 NEW BEST:: SOT 408322 SOS 257505 HAS SOPS 257505 HAS SOUS 212707 HAS SOUPS 212707 WITH SCORE 212964.505
AT ITER 271 NEW BEST:: SOT 408322 SOS 257382 HAS SOPS 257382 HAS SOUS 212707 HAS SOUPS 212707 WITH SCORE 212964.382
AT ITER 272 NEW BEST:: SOT 408322 SOS 254810 HAS SOPS 254810 HAS SOUS 212707 HAS SOUPS 212707 WITH SCORE 212961.81
AT ITER 282 NEW BEST:: SOT 408322 SOS 254683 HAS SOPS 254683 HAS SOUS 212707 HAS SOUPS 212707 WITH SCORE 212961.683
AT ITER 286 NEW BEST:: SOT 408322 SOS 254665 HAS SOPS 254665 HAS SOUS 212707 HAS SOUPS 212707 WITH SCORE 212961.665
AT ITER 290 NEW BEST:: SOT 408322 SOS 254662 HAS SOPS 254662 HAS SOUS 212707 HAS SOUPS 212707 WITH SCORE 212961.662
AT ITER 291 NEW BEST:: SOT 408322 SOS 254385 HAS SOPS 254385 HAS SOUS 212707 HAS SOUPS 212707 WITH SCORE 212961.385
AT ITER 296 NEW BEST:: SOT 408322 SOS 254346 HAS SOPS 254346 HAS SOUS 212707 HAS SOUPS 212707 WITH SCORE 212961.346
AT ITER 297 NEW BEST:: SOT 408322 SOS 254084 HAS SOPS 254084 HAS SOUS 212707 HAS SOUPS 212707 WITH SCORE 212961.084
AT ITER 299 NEW BEST:: SOT 408322 SOS 253962 HAS SOPS 253962 HAS SOUS 212707 HAS SOUPS 212707 WITH SCORE 212960.962
AT ITER 300 NEW BEST:: SOT 408322 SOS 253556 HAS SOPS 253556 HAS SOUS 212641 HAS SOUPS 212641 WITH SCORE 212894.556
AT ITER 302 NEW BEST:: SOT 408191 SOS 253401 HAS SOPS 253401 HAS SOUS 212577 HAS SOUPS 212577 WITH SCORE 212830.401
AT ITER 303 NEW BEST:: SOT 408191 SOS 253329 HAS SOPS 253329 HAS SOUS 212577 HAS SOUPS 212577 WITH SCORE 212830.329
AT ITER 306 NEW BEST:: SOT 408191 SOS 253318 HAS SOPS 253318 HAS SOUS 212577 HAS SOUPS 212577 WITH SCORE 212830.318
AT ITER 311 NEW BEST:: SOT 407785 SOS 253801 HAS SOPS 253801 HAS SOUS 212254 HAS SOUPS 212254 WITH SCORE 212507.801
AT ITER 317 NEW BEST:: SOT 407785 SOS 253529 HAS SOPS 253529 HAS SOUS 212254 HAS SOUPS 212254 WITH SCORE 212507.529
AT ITER 319 NEW BEST:: SOT 407785 SOS 253127 HAS SOPS 253127 HAS SOUS 212254 HAS SOUPS 212254 WITH SCORE 212507.127
AT ITER 323 NEW BEST:: SOT 407780 SOS 253122 HAS SOPS 253122 HAS SOUS 212245 HAS SOUPS 212245 WITH SCORE 212498.122
AT ITER 328 NEW BEST:: SOT 407780 SOS 253122 HAS SOPS 253122 HAS SOUS 212223 HAS SOUPS 212223 WITH SCORE 212476.122
AT ITER 338 NEW BEST:: SOT 407780 SOS 253033 HAS SOPS 253033 HAS SOUS 212223 HAS SOUPS 212223 WITH SCORE 212476.033
AT ITER 339 NEW BEST:: SOT 407780 SOS 253028 HAS SOPS 253028 HAS SOUS 212223 HAS SOUPS 212223 WITH SCORE 212476.028
AT ITER 345 NEW BEST:: SOT 407780 SOS 253031 HAS SOPS 253031 HAS SOUS 212218 HAS SOUPS 212218 WITH SCORE 212471.031
AT ITER 362 NEW BEST:: SOT 407780 SOS 252991 HAS SOPS 252991 HAS SOUS 212218 HAS SOUPS 212218 WITH SCORE 212470.991
AT ITER 372 NEW BEST:: SOT 407780 SOS 252235 HAS SOPS 252235 HAS SOUS 212218 HAS SOUPS 212218 WITH SCORE 212470.235
AT ITER 375 NEW BEST:: SOT 407780 SOS 252157 HAS SOPS 252157 HAS SOUS 212218 HAS SOUPS 212218 WITH SCORE 212470.157
AT ITER 387 NEW BEST:: SOT 407780 SOS 249580 HAS SOPS 249580 HAS SOUS 212218 HAS SOUPS 212218 WITH SCORE 212467.58
AT ITER 389 NEW BEST:: SOT 407542 SOS 249997 HAS SOPS 249997 HAS SOUS 212194 HAS SOUPS 212194 WITH SCORE 212443.997
AT ITER 395 NEW BEST:: SOT 407542 SOS 249967 HAS SOPS 249967 HAS SOUS 212194 HAS SOUPS 212194 WITH SCORE 212443.967
AT ITER 396 NEW BEST:: SOT 407542 SOS 249683 HAS SOPS 249683 HAS SOUS 212194 HAS SOUPS 212194 WITH SCORE 212443.683
AT ITER 402 NEW BEST:: SOT 407542 SOS 248164 HAS SOPS 248164 HAS SOUS 212194 HAS SOUPS 212194 WITH SCORE 212442.164
AT ITER 405 NEW BEST:: SOT 407542 SOS 248117 HAS SOPS 248117 HAS SOUS 212194 HAS SOUPS 212194 WITH SCORE 212442.117
AT ITER 406 NEW BEST:: SOT 407479 SOS 248070 HAS SOPS 248070 HAS SOUS 212147 HAS SOUPS 212147 WITH SCORE 212395.07
AT ITER 409 NEW BEST:: SOT 407479 SOS 248052 HAS SOPS 248052 HAS SOUS 212147 HAS SOUPS 212147 WITH SCORE 212395.052
AT ITER 410 NEW BEST:: SOT 407082 SOS 248429 HAS SOPS 248429 HAS SOUS 211955 HAS SOUPS 211955 WITH SCORE 212203.429
AT ITER 417 NEW BEST:: SOT 407082 SOS 245570 HAS SOPS 245570 HAS SOUS 211955 HAS SOUPS 211955 WITH SCORE 212200.57
AT ITER 421 NEW BEST:: SOT 407082 SOS 245559 HAS SOPS 245559 HAS SOUS 211955 HAS SOUPS 211955 WITH SCORE 212200.559
AT ITER 425 NEW BEST:: SOT 407082 SOS 241723 HAS SOPS 241723 HAS SOUS 211906 HAS SOUPS 211906 WITH SCORE 212147.723
AT ITER 426 NEW BEST:: SOT 407082 SOS 241558 HAS SOPS 241558 HAS SOUS 211906 HAS SOUPS 211906 WITH SCORE 212147.558
AT ITER 436 NEW BEST:: SOT 406888 SOS 241375 HAS SOPS 241375 HAS SOUS 211706 HAS SOUPS 211706 WITH SCORE 211947.375
AT ITER 439 NEW BEST:: SOT 406888 SOS 241334 HAS SOPS 241334 HAS SOUS 211706 HAS SOUPS 211706 WITH SCORE 211947.334
AT ITER 446 NEW BEST:: SOT 406888 SOS 241241 HAS SOPS 241241 HAS SOUS 211706 HAS SOUPS 211706 WITH SCORE 211947.241
AT ITER 447 NEW BEST:: SOT 406888 SOS 241230 HAS SOPS 241230 HAS SOUS 211706 HAS SOUPS 211706 WITH SCORE 211947.23
AT ITER 448 NEW BEST:: SOT 406888 SOS 241637 HAS SOPS 241637 HAS SOUS 211682 HAS SOUPS 211682 WITH SCORE 211923.637
AT ITER 455 NEW BEST:: SOT 406466 SOS 241653 HAS SOPS 241653 HAS SOUS 211286 HAS SOUPS 211286 WITH SCORE 211527.653
AT ITER 461 NEW BEST:: SOT 406402 SOS 241921 HAS SOPS 241921 HAS SOUS 211254 HAS SOUPS 211254 WITH SCORE 211495.921
AT ITER 465 NEW BEST:: SOT 406402 SOS 241833 HAS SOPS 241833 HAS SOUS 211254 HAS SOUPS 211254 WITH SCORE 211495.833
AT ITER 466 NEW BEST:: SOT 406402 SOS 241525 HAS SOPS 241525 HAS SOUS 211254 HAS SOUPS 211254 WITH SCORE 211495.525
AT ITER 470 NEW BEST:: SOT 406453 SOS 241575 HAS SOPS 241575 HAS SOUS 211182 HAS SOUPS 211182 WITH SCORE 211423.575
AT ITER 473 NEW BEST:: SOT 406591 SOS 241713 HAS SOPS 241713 HAS SOUS 210775 HAS SOUPS 210775 WITH SCORE 211016.713
AT ITER 475 NEW BEST:: SOT 406591 SOS 241692 HAS SOPS 241692 HAS SOUS 210775 HAS SOUPS 210775 WITH SCORE 211016.692
AT ITER 476 NEW BEST:: SOT 406646 SOS 241586 HAS SOPS 241586 HAS SOUS 210661 HAS SOUPS 210661 WITH SCORE 210902.586
AT ITER 477 NEW BEST:: SOT 406616 SOS 241602 HAS SOPS 241602 HAS SOUS 210648 HAS SOUPS 210648 WITH SCORE 210889.602
AT ITER 481 NEW BEST:: SOT 406616 SOS 240434 HAS SOPS 240434 HAS SOUS 210648 HAS SOUPS 210648 WITH SCORE 210888.434
AT ITER 483 NEW BEST:: SOT 406616 SOS 240272 HAS SOPS 240272 HAS SOUS 210563 HAS SOUPS 210563 WITH SCORE 210803.272
AT ITER 484 NEW BEST:: SOT 406616 SOS 240253 HAS SOPS 240253 HAS SOUS 210544 HAS SOUPS 210544 WITH SCORE 210784.253
AT ITER 490 NEW BEST:: SOT 406616 SOS 240051 HAS SOPS 240051 HAS SOUS 210519 HAS SOUPS 210519 WITH SCORE 210759.051
AT ITER 497 NEW BEST:: SOT 406616 SOS 240019 HAS SOPS 240019 HAS SOUS 210519 HAS SOUPS 210519 WITH SCORE 210759.019
AT ITER 500 NEW BEST:: SOT 406298 SOS 240579 HAS SOPS 240579 HAS SOUS 210397 HAS SOUPS 210397 WITH SCORE 210637.579
AT ITER 501 NEW BEST:: SOT 406298 SOS 240389 HAS SOPS 240389 HAS SOUS 210397 HAS SOUPS 210397 WITH SCORE 210637.389
AT ITER 502 NEW BEST:: SOT 406298 SOS 240325 HAS SOPS 240325 HAS SOUS 210397 HAS SOUPS 210397 WITH SCORE 210637.325
AT ITER 506 NEW BEST:: SOT 406254 SOS 240545 HAS SOPS 240545 HAS SOUS 210353 HAS SOUPS 210353 WITH SCORE 210593.545
AT ITER 507 NEW BEST:: SOT 406254 SOS 239510 HAS SOPS 239510 HAS SOUS 210353 HAS SOUPS 210353 WITH SCORE 210592.51
AT ITER 508 NEW BEST:: SOT 406170 SOS 239401 HAS SOPS 239401 HAS SOUS 210244 HAS SOUPS 210244 WITH SCORE 210483.401
AT ITER 511 NEW BEST:: SOT 406170 SOS 239368 HAS SOPS 239368 HAS SOUS 210216 HAS SOUPS 210216 WITH SCORE 210455.368
AT ITER 513 NEW BEST:: SOT 406170 SOS 238435 HAS SOPS 238435 HAS SOUS 210216 HAS SOUPS 210216 WITH SCORE 210454.435
AT ITER 514 NEW BEST:: SOT 406170 SOS 238414 HAS SOPS 238414 HAS SOUS 210216 HAS SOUPS 210216 WITH SCORE 210454.414
AT ITER 519 NEW BEST:: SOT 406073 SOS 238537 HAS SOPS 238537 HAS SOUS 210144 HAS SOUPS 210144 WITH SCORE 210382.537
AT ITER 520 NEW BEST:: SOT 406073 SOS 238476 HAS SOPS 238476 HAS SOUS 210144 HAS SOUPS 210144 WITH SCORE 210382.476
AT ITER 521 NEW BEST:: SOT 406005 SOS 238209 HAS SOPS 238209 HAS SOUS 209984 HAS SOUPS 209984 WITH SCORE 210222.209
AT ITER 522 NEW BEST:: SOT 406105 SOS 238154 HAS SOPS 238154 HAS SOUS 209966 HAS SOUPS 209966 WITH SCORE 210204.154
AT ITER 526 NEW BEST:: SOT 405874 SOS 237921 HAS SOPS 237921 HAS SOUS 209882 HAS SOUPS 209882 WITH SCORE 210119.921
AT ITER 546 NEW BEST:: SOT 405874 SOS 237850 HAS SOPS 237850 HAS SOUS 209882 HAS SOUPS 209882 WITH SCORE 210119.85
AT ITER 550 NEW BEST:: SOT 405845 SOS 237971 HAS SOPS 237971 HAS SOUS 209854 HAS SOUPS 209854 WITH SCORE 210091.971
AT ITER 557 NEW BEST:: SOT 405845 SOS 237894 HAS SOPS 237894 HAS SOUS 209854 HAS SOUPS 209854 WITH SCORE 210091.894
AT ITER 571 NEW BEST:: SOT 405845 SOS 237794 HAS SOPS 237794 HAS SOUS 209854 HAS SOUPS 209854 WITH SCORE 210091.794
AT ITER 578 NEW BEST:: SOT 405845 SOS 237688 HAS SOPS 237688 HAS SOUS 209833 HAS SOUPS 209833 WITH SCORE 210070.688
AT ITER 588 NEW BEST:: SOT 405410 SOS 237795 HAS SOPS 237795 HAS SOUS 209478 HAS SOUPS 209478 WITH SCORE 209715.795
AT ITER 591 NEW BEST:: SOT 405410 SOS 236556 HAS SOPS 236556 HAS SOUS 209456 HAS SOUPS 209456 WITH SCORE 209692.556
AT ITER 597 NEW BEST:: SOT 405410 SOS 236425 HAS SOPS 236425 HAS SOUS 209456 HAS SOUPS 209456 WITH SCORE 209692.425
AT ITER 600 NEW BEST:: SOT 405394 SOS 236409 HAS SOPS 236409 HAS SOUS 209441 HAS SOUPS 209441 WITH SCORE 209677.409
AT ITER 603 NEW BEST:: SOT 405394 SOS 236278 HAS SOPS 236278 HAS SOUS 209441 HAS SOUPS 209441 WITH SCORE 209677.278
AT ITER 607 NEW BEST:: SOT 405485 SOS 236317 HAS SOPS 236317 HAS SOUS 209367 HAS SOUPS 209367 WITH SCORE 209603.317
AT ITER 611 NEW BEST:: SOT 405112 SOS 237090 HAS SOPS 237090 HAS SOUS 209143 HAS SOUPS 209143 WITH SCORE 209380.09
AT ITER 622 NEW BEST:: SOT 405112 SOS 236688 HAS SOPS 236688 HAS SOUS 209104 HAS SOUPS 209104 WITH SCORE 209340.688
AT ITER 626 NEW BEST:: SOT 405112 SOS 236684 HAS SOPS 236684 HAS SOUS 209104 HAS SOUPS 209104 WITH SCORE 209340.684
AT ITER 640 NEW BEST:: SOT 405017 SOS 236629 HAS SOPS 236629 HAS SOUS 209041 HAS SOUPS 209041 WITH SCORE 209277.629
AT ITER 641 NEW BEST:: SOT 405017 SOS 236332 HAS SOPS 236332 HAS SOUS 209041 HAS SOUPS 209041 WITH SCORE 209277.332
AT ITER 648 NEW BEST:: SOT 405017 SOS 236231 HAS SOPS 236231 HAS SOUS 209037 HAS SOUPS 209037 WITH SCORE 209273.231
AT ITER 652 NEW BEST:: SOT 405017 SOS 235910 HAS SOPS 235910 HAS SOUS 209037 HAS SOUPS 209037 WITH SCORE 209272.91
AT ITER 654 NEW BEST:: SOT 405077 SOS 235814 HAS SOPS 235814 HAS SOUS 208904 HAS SOUPS 208904 WITH SCORE 209139.814
AT ITER 659 NEW BEST:: SOT 405077 SOS 235741 HAS SOPS 235741 HAS SOUS 208904 HAS SOUPS 208904 WITH SCORE 209139.741
AT ITER 660 NEW BEST:: SOT 404879 SOS 235526 HAS SOPS 235526 HAS SOUS 208761 HAS SOUPS 208761 WITH SCORE 208996.526
AT ITER 665 NEW BEST:: SOT 404879 SOS 235496 HAS SOPS 235496 HAS SOUS 208761 HAS SOUPS 208761 WITH SCORE 208996.496
AT ITER 667 NEW BEST:: SOT 404879 SOS 235404 HAS SOPS 235404 HAS SOUS 208761 HAS SOUPS 208761 WITH SCORE 208996.404
AT ITER 673 NEW BEST:: SOT 404879 SOS 235341 HAS SOPS 235341 HAS SOUS 208732 HAS SOUPS 208732 WITH SCORE 208967.341
AT ITER 677 NEW BEST:: SOT 404879 SOS 235341 HAS SOPS 235341 HAS SOUS 208670 HAS SOUPS 208670 WITH SCORE 208905.341
AT ITER 679 NEW BEST:: SOT 404879 SOS 235325 HAS SOPS 235325 HAS SOUS 208670 HAS SOUPS 208670 WITH SCORE 208905.325
AT ITER 684 NEW BEST:: SOT 404845 SOS 235267 HAS SOPS 235267 HAS SOUS 208620 HAS SOUPS 208620 WITH SCORE 208855.267
AT ITER 694 NEW BEST:: SOT 404845 SOS 235167 HAS SOPS 235167 HAS SOUS 208620 HAS SOUPS 208620 WITH SCORE 208855.167
AT ITER 701 NEW BEST:: SOT 404845 SOS 235003 HAS SOPS 235003 HAS SOUS 208572 HAS SOUPS 208572 WITH SCORE 208807.003
AT ITER 703 NEW BEST:: SOT 404837 SOS 235044 HAS SOPS 235044 HAS SOUS 208453 HAS SOUPS 208453 WITH SCORE 208688.044
AT ITER 705 NEW BEST:: SOT 404969 SOS 234984 HAS SOPS 234984 HAS SOUS 208339 HAS SOUPS 208339 WITH SCORE 208573.984
AT ITER 709 NEW BEST:: SOT 404969 SOS 234963 HAS SOPS 234963 HAS SOUS 208337 HAS SOUPS 208337 WITH SCORE 208571.963
AT ITER 712 NEW BEST:: SOT 404969 SOS 233222 HAS SOPS 233222 HAS SOUS 208318 HAS SOUPS 208318 WITH SCORE 208551.222
AT ITER 716 NEW BEST:: SOT 404969 SOS 233216 HAS SOPS 233216 HAS SOUS 208318 HAS SOUPS 208318 WITH SCORE 208551.216
AT ITER 718 NEW BEST:: SOT 405046 SOS 233041 HAS SOPS 233041 HAS SOUS 208318 HAS SOUPS 208318 WITH SCORE 208551.041
AT ITER 722 NEW BEST:: SOT 405046 SOS 232959 HAS SOPS 232959 HAS SOUS 208318 HAS SOUPS 208318 WITH SCORE 208550.959
AT ITER 732 NEW BEST:: SOT 405046 SOS 232788 HAS SOPS 232788 HAS SOUS 208318 HAS SOUPS 208318 WITH SCORE 208550.788
AT ITER 733 NEW BEST:: SOT 405046 SOS 232759 HAS SOPS 232759 HAS SOUS 208318 HAS SOUPS 208318 WITH SCORE 208550.759
AT ITER 745 NEW BEST:: SOT 405046 SOS 232616 HAS SOPS 232616 HAS SOUS 208318 HAS SOUPS 208318 WITH SCORE 208550.616
AT ITER 759 NEW BEST:: SOT 405046 SOS 232606 HAS SOPS 232606 HAS SOUS 208318 HAS SOUPS 208318 WITH SCORE 208550.606
AT ITER 761 NEW BEST:: SOT 405046 SOS 232537 HAS SOPS 232537 HAS SOUS 208318 HAS SOUPS 208318 WITH SCORE 208550.537
AT ITER 762 NEW BEST:: SOT 405046 SOS 232468 HAS SOPS 232468 HAS SOUS 208318 HAS SOUPS 208318 WITH SCORE 208550.468
AT ITER 766 NEW BEST:: SOT 404981 SOS 232404 HAS SOPS 232404 HAS SOUS 208275 HAS SOUPS 208275 WITH SCORE 208507.404
AT ITER 778 NEW BEST:: SOT 404942 SOS 232234 HAS SOPS 232234 HAS SOUS 208217 HAS SOUPS 208217 WITH SCORE 208449.234
AT ITER 781 NEW BEST:: SOT 404942 SOS 231421 HAS SOPS 231421 HAS SOUS 208217 HAS SOUPS 208217 WITH SCORE 208448.421
AT ITER 784 NEW BEST:: SOT 404942 SOS 231107 HAS SOPS 231107 HAS SOUS 208217 HAS SOUPS 208217 WITH SCORE 208448.107
AT ITER 787 NEW BEST:: SOT 404942 SOS 231162 HAS SOPS 231162 HAS SOUS 208215 HAS SOUPS 208215 WITH SCORE 208446.162
AT ITER 788 NEW BEST:: SOT 404942 SOS 230939 HAS SOPS 230939 HAS SOUS 208215 HAS SOUPS 208215 WITH SCORE 208445.939
AT ITER 797 NEW BEST:: SOT 404926 SOS 230880 HAS SOPS 230880 HAS SOUS 208134 HAS SOUPS 208134 WITH SCORE 208364.88
AT ITER 819 NEW BEST:: SOT 404872 SOS 230841 HAS SOPS 230841 HAS SOUS 208111 HAS SOUPS 208111 WITH SCORE 208341.841
AT ITER 831 NEW BEST:: SOT 404872 SOS 230763 HAS SOPS 230763 HAS SOUS 208067 HAS SOUPS 208067 WITH SCORE 208297.763
AT ITER 837 NEW BEST:: SOT 404872 SOS 230825 HAS SOPS 230825 HAS SOUS 208046 HAS SOUPS 208046 WITH SCORE 208276.825
AT ITER 842 NEW BEST:: SOT 404872 SOS 230816 HAS SOPS 230816 HAS SOUS 208046 HAS SOUPS 208046 WITH SCORE 208276.816
AT ITER 846 NEW BEST:: SOT 404872 SOS 230800 HAS SOPS 230800 HAS SOUS 208046 HAS SOUPS 208046 WITH SCORE 208276.8
AT ITER 848 NEW BEST:: SOT 404872 SOS 230894 HAS SOPS 230894 HAS SOUS 208041 HAS SOUPS 208041 WITH SCORE 208271.894
AT ITER 851 NEW BEST:: SOT 404662 SOS 230740 HAS SOPS 230740 HAS SOUS 207885 HAS SOUPS 207885 WITH SCORE 208115.74
AT ITER 859 NEW BEST:: SOT 404411 SOS 230626 HAS SOPS 230626 HAS SOUS 207765 HAS SOUPS 207765 WITH SCORE 207995.626
AT ITER 860 NEW BEST:: SOT 404411 SOS 230512 HAS SOPS 230512 HAS SOUS 207765 HAS SOUPS 207765 WITH SCORE 207995.512
AT ITER 864 NEW BEST:: SOT 404411 SOS 230482 HAS SOPS 230482 HAS SOUS 207765 HAS SOUPS 207765 WITH SCORE 207995.482
AT ITER 867 NEW BEST:: SOT 404411 SOS 230414 HAS SOPS 230414 HAS SOUS 207765 HAS SOUPS 207765 WITH SCORE 207995.414
AT ITER 873 NEW BEST:: SOT 404411 SOS 230259 HAS SOPS 230259 HAS SOUS 207765 HAS SOUPS 207765 WITH SCORE 207995.259
AT ITER 878 NEW BEST:: SOT 404411 SOS 230214 HAS SOPS 230214 HAS SOUS 207765 HAS SOUPS 207765 WITH SCORE 207995.214
AT ITER 885 NEW BEST:: SOT 404431 SOS 230234 HAS SOPS 230234 HAS SOUS 207762 HAS SOUPS 207762 WITH SCORE 207992.234
AT ITER 891 NEW BEST:: SOT 404431 SOS 230153 HAS SOPS 230153 HAS SOUS 207762 HAS SOUPS 207762 WITH SCORE 207992.153
AT ITER 892 NEW BEST:: SOT 404517 SOS 230078 HAS SOPS 230078 HAS SOUS 207680 HAS SOUPS 207680 WITH SCORE 207910.078
AT ITER 901 NEW BEST:: SOT 404517 SOS 230067 HAS SOPS 230067 HAS SOUS 207680 HAS SOUPS 207680 WITH SCORE 207910.067
AT ITER 907 NEW BEST:: SOT 404656 SOS 230553 HAS SOPS 230553 HAS SOUS 207621 HAS SOUPS 207621 WITH SCORE 207851.553
AT ITER 909 NEW BEST:: SOT 404656 SOS 230514 HAS SOPS 230514 HAS SOUS 207621 HAS SOUPS 207621 WITH SCORE 207851.514
AT ITER 911 NEW BEST:: SOT 404656 SOS 230500 HAS SOPS 230500 HAS SOUS 207621 HAS SOUPS 207621 WITH SCORE 207851.5
AT ITER 914 NEW BEST:: SOT 404656 SOS 230469 HAS SOPS 230469 HAS SOUS 207569 HAS SOUPS 207569 WITH SCORE 207799.469
AT ITER 921 NEW BEST:: SOT 404656 SOS 230331 HAS SOPS 230331 HAS SOUS 207557 HAS SOUPS 207557 WITH SCORE 207787.331
AT ITER 930 NEW BEST:: SOT 404656 SOS 230238 HAS SOPS 230238 HAS SOUS 207557 HAS SOUPS 207557 WITH SCORE 207787.238
AT ITER 931 NEW BEST:: SOT 404656 SOS 230052 HAS SOPS 230052 HAS SOUS 207557 HAS SOUPS 207557 WITH SCORE 207787.052
AT ITER 935 NEW BEST:: SOT 404656 SOS 229907 HAS SOPS 229907 HAS SOUS 207557 HAS SOUPS 207557 WITH SCORE 207786.907
AT ITER 941 NEW BEST:: SOT 404580 SOS 230523 HAS SOPS 230523 HAS SOUS 207492 HAS SOUPS 207492 WITH SCORE 207722.523
AT ITER 942 NEW BEST:: SOT 404580 SOS 230504 HAS SOPS 230504 HAS SOUS 207492 HAS SOUPS 207492 WITH SCORE 207722.504
AT ITER 946 NEW BEST:: SOT 404113 SOS 230147 HAS SOPS 230147 HAS SOUS 207076 HAS SOUPS 207076 WITH SCORE 207306.147
AT ITER 951 NEW BEST:: SOT 404070 SOS 229895 HAS SOPS 229895 HAS SOUS 206984 HAS SOUPS 206984 WITH SCORE 207213.895
AT ITER 959 NEW BEST:: SOT 404070 SOS 229924 HAS SOPS 229924 HAS SOUS 206906 HAS SOUPS 206906 WITH SCORE 207135.924
AT ITER 973 NEW BEST:: SOT 404151 SOS 229936 HAS SOPS 229936 HAS SOUS 206879 HAS SOUPS 206879 WITH SCORE 207108.936
AT ITER 978 NEW BEST:: SOT 404151 SOS 229907 HAS SOPS 229907 HAS SOUS 206879 HAS SOUPS 206879 WITH SCORE 207108.907
AT ITER 980 NEW BEST:: SOT 404151 SOS 229887 HAS SOPS 229887 HAS SOUS 206879 HAS SOUPS 206879 WITH SCORE 207108.887
AT ITER 981 NEW BEST:: SOT 404151 SOS 229770 HAS SOPS 229770 HAS SOUS 206879 HAS SOUPS 206879 WITH SCORE 207108.77
AT ITER 983 NEW BEST:: SOT 404151 SOS 229620 HAS SOPS 229620 HAS SOUS 206879 HAS SOUPS 206879 WITH SCORE 207108.62
AT ITER 988 NEW BEST:: SOT 403967 SOS 230035 HAS SOPS 230035 HAS SOUS 206719 HAS SOUPS 206719 WITH SCORE 206949.035
AT ITER 999 NEW BEST:: SOT 403967 SOS 229952 HAS SOPS 229952 HAS SOUS 206675 HAS SOUPS 206675 WITH SCORE 206904.952
AT ITER 1000 NEW BEST:: SOT 403772 SOS 230656 HAS SOPS 230656 HAS SOUS 206589 HAS SOUPS 206589 WITH SCORE 206819.656
AT ITER 1033 NEW BEST:: SOT 403772 SOS 230614 HAS SOPS 230614 HAS SOUS 206589 HAS SOUPS 206589 WITH SCORE 206819.614
AT ITER 1036 NEW BEST:: SOT 403772 SOS 230592 HAS SOPS 230592 HAS SOUS 206589 HAS SOUPS 206589 WITH SCORE 206819.592
AT ITER 1047 NEW BEST:: SOT 403772 SOS 230537 HAS SOPS 230537 HAS SOUS 206589 HAS SOUPS 206589 WITH SCORE 206819.537
AT ITER 1049 NEW BEST:: SOT 403772 SOS 230330 HAS SOPS 230330 HAS SOUS 206589 HAS SOUPS 206589 WITH SCORE 206819.33
AT ITER 1072 NEW BEST:: SOT 403772 SOS 230187 HAS SOPS 230187 HAS SOUS 206589 HAS SOUPS 206589 WITH SCORE 206819.187
AT ITER 1077 NEW BEST:: SOT 403772 SOS 229992 HAS SOPS 229992 HAS SOUS 206589 HAS SOUPS 206589 WITH SCORE 206818.992
AT ITER 1086 NEW BEST:: SOT 403785 SOS 226147 HAS SOPS 226147 HAS SOUS 206525 HAS SOUPS 206525 WITH SCORE 206751.147
AT ITER 1087 NEW BEST:: SOT 403785 SOS 226120 HAS SOPS 226120 HAS SOUS 206475 HAS SOUPS 206475 WITH SCORE 206701.12
AT ITER 1088 NEW BEST:: SOT 403785 SOS 226112 HAS SOPS 226112 HAS SOUS 206475 HAS SOUPS 206475 WITH SCORE 206701.112
AT ITER 1093 NEW BEST:: SOT 403785 SOS 226022 HAS SOPS 226022 HAS SOUS 206475 HAS SOUPS 206475 WITH SCORE 206701.022
AT ITER 1096 NEW BEST:: SOT 403785 SOS 225968 HAS SOPS 225968 HAS SOUS 206475 HAS SOUPS 206475 WITH SCORE 206700.968
AT ITER 1097 NEW BEST:: SOT 403785 SOS 225855 HAS SOPS 225855 HAS SOUS 206432 HAS SOUPS 206432 WITH SCORE 206657.855
AT ITER 1104 NEW BEST:: SOT 403751 SOS 225844 HAS SOPS 225844 HAS SOUS 206361 HAS SOUPS 206361 WITH SCORE 206586.844
AT ITER 1106 NEW BEST:: SOT 403625 SOS 228527 HAS SOPS 228527 HAS SOUS 206328 HAS SOUPS 206328 WITH SCORE 206556.527
AT ITER 1108 NEW BEST:: SOT 403625 SOS 228298 HAS SOPS 228298 HAS SOUS 206328 HAS SOUPS 206328 WITH SCORE 206556.298
AT ITER 1109 NEW BEST:: SOT 403625 SOS 228463 HAS SOPS 228463 HAS SOUS 206294 HAS SOUPS 206294 WITH SCORE 206522.463
AT ITER 1113 NEW BEST:: SOT 403625 SOS 228313 HAS SOPS 228313 HAS SOUS 206290 HAS SOUPS 206290 WITH SCORE 206518.313
AT ITER 1115 NEW BEST:: SOT 403432 SOS 228097 HAS SOPS 228097 HAS SOUS 206050 HAS SOUPS 206050 WITH SCORE 206278.097
AT ITER 1118 NEW BEST:: SOT 403432 SOS 228020 HAS SOPS 228020 HAS SOUS 206050 HAS SOUPS 206050 WITH SCORE 206278.02
AT ITER 1130 NEW BEST:: SOT 403333 SOS 229253 HAS SOPS 229253 HAS SOUS 206026 HAS SOUPS 206026 WITH SCORE 206255.253
AT ITER 1144 NEW BEST:: SOT 403333 SOS 229295 HAS SOPS 229295 HAS SOUS 205994 HAS SOUPS 205994 WITH SCORE 206223.295
AT ITER 1146 NEW BEST:: SOT 403317 SOS 229316 HAS SOPS 229316 HAS SOUS 205980 HAS SOUPS 205980 WITH SCORE 206209.316
AT ITER 1148 NEW BEST:: SOT 403317 SOS 229316 HAS SOPS 229316 HAS SOUS 205963 HAS SOUPS 205963 WITH SCORE 206192.316
AT ITER 1152 NEW BEST:: SOT 403317 SOS 229174 HAS SOPS 229174 HAS SOUS 205963 HAS SOUPS 205963 WITH SCORE 206192.174
AT ITER 1157 NEW BEST:: SOT 403317 SOS 229168 HAS SOPS 229168 HAS SOUS 205963 HAS SOUPS 205963 WITH SCORE 206192.168
AT ITER 1159 NEW BEST:: SOT 403317 SOS 229168 HAS SOPS 229168 HAS SOUS 205895 HAS SOUPS 205895 WITH SCORE 206124.168
AT ITER 1161 NEW BEST:: SOT 403317 SOS 229139 HAS SOPS 229139 HAS SOUS 205895 HAS SOUPS 205895 WITH SCORE 206124.139
AT ITER 1162 NEW BEST:: SOT 403317 SOS 228682 HAS SOPS 228682 HAS SOUS 205895 HAS SOUPS 205895 WITH SCORE 206123.682
AT ITER 1163 NEW BEST:: SOT 403317 SOS 228512 HAS SOPS 228512 HAS SOUS 205895 HAS SOUPS 205895 WITH SCORE 206123.512
AT ITER 1164 NEW BEST:: SOT 403317 SOS 228493 HAS SOPS 228493 HAS SOUS 205895 HAS SOUPS 205895 WITH SCORE 206123.493
AT ITER 1165 NEW BEST:: SOT 403317 SOS 228481 HAS SOPS 228481 HAS SOUS 205878 HAS SOUPS 205878 WITH SCORE 206106.481
AT ITER 1167 NEW BEST:: SOT 403317 SOS 228355 HAS SOPS 228355 HAS SOUS 205878 HAS SOUPS 205878 WITH SCORE 206106.355
AT ITER 1169 NEW BEST:: SOT 403317 SOS 228357 HAS SOPS 228357 HAS SOUS 205834 HAS SOUPS 205834 WITH SCORE 206062.357
AT ITER 1173 NEW BEST:: SOT 403282 SOS 228489 HAS SOPS 228489 HAS SOUS 205809 HAS SOUPS 205809 WITH SCORE 206037.489
AT ITER 1178 NEW BEST:: SOT 403297 SOS 226189 HAS SOPS 226189 HAS SOUS 205735 HAS SOUPS 205735 WITH SCORE 205961.189
AT ITER 1186 NEW BEST:: SOT 403297 SOS 226183 HAS SOPS 226183 HAS SOUS 205735 HAS SOUPS 205735 WITH SCORE 205961.183
AT ITER 1187 NEW BEST:: SOT 403270 SOS 226156 HAS SOPS 226156 HAS SOUS 205705 HAS SOUPS 205705 WITH SCORE 205931.156
AT ITER 1188 NEW BEST:: SOT 403270 SOS 226137 HAS SOPS 226137 HAS SOUS 205698 HAS SOUPS 205698 WITH SCORE 205924.137
AT ITER 1190 NEW BEST:: SOT 402997 SOS 225995 HAS SOPS 225995 HAS SOUS 205538 HAS SOUPS 205538 WITH SCORE 205763.995
AT ITER 1191 NEW BEST:: SOT 402997 SOS 225720 HAS SOPS 225720 HAS SOUS 205538 HAS SOUPS 205538 WITH SCORE 205763.72
AT ITER 1199 NEW BEST:: SOT 402997 SOS 225638 HAS SOPS 225638 HAS SOUS 205503 HAS SOUPS 205503 WITH SCORE 205728.638
AT ITER 1217 NEW BEST:: SOT 401822 SOS 226349 HAS SOPS 226349 HAS SOUS 204963 HAS SOUPS 204963 WITH SCORE 205189.349
AT ITER 1221 NEW BEST:: SOT 401822 SOS 226199 HAS SOPS 226199 HAS SOUS 204959 HAS SOUPS 204959 WITH SCORE 205185.199
AT ITER 1246 NEW BEST:: SOT 401605 SOS 225987 HAS SOPS 225987 HAS SOUS 204858 HAS SOUPS 204858 WITH SCORE 205083.987
AT ITER 1254 NEW BEST:: SOT 401605 SOS 225705 HAS SOPS 225705 HAS SOUS 204858 HAS SOUPS 204858 WITH SCORE 205083.705
AT ITER 1261 NEW BEST:: SOT 401694 SOS 225860 HAS SOPS 225860 HAS SOUS 204792 HAS SOUPS 204792 WITH SCORE 205017.86
AT ITER 1266 NEW BEST:: SOT 401694 SOS 225800 HAS SOPS 225800 HAS SOUS 204792 HAS SOUPS 204792 WITH SCORE 205017.8
AT ITER 1269 NEW BEST:: SOT 401668 SOS 225728 HAS SOPS 225728 HAS SOUS 204719 HAS SOUPS 204719 WITH SCORE 204944.728
AT ITER 1275 NEW BEST:: SOT 401379 SOS 225466 HAS SOPS 225466 HAS SOUS 204549 HAS SOUPS 204549 WITH SCORE 204774.466
AT ITER 1281 NEW BEST:: SOT 401379 SOS 225443 HAS SOPS 225443 HAS SOUS 204526 HAS SOUPS 204526 WITH SCORE 204751.443
AT ITER 1289 NEW BEST:: SOT 401379 SOS 224386 HAS SOPS 224386 HAS SOUS 204458 HAS SOUPS 204458 WITH SCORE 204682.386
AT ITER 1291 NEW BEST:: SOT 401298 SOS 224305 HAS SOPS 224305 HAS SOUS 204382 HAS SOUPS 204382 WITH SCORE 204606.305
AT ITER 1298 NEW BEST:: SOT 401298 SOS 224199 HAS SOPS 224199 HAS SOUS 204373 HAS SOUPS 204373 WITH SCORE 204597.199
AT ITER 1299 NEW BEST:: SOT 401298 SOS 224079 HAS SOPS 224079 HAS SOUS 204373 HAS SOUPS 204373 WITH SCORE 204597.079
AT ITER 1305 NEW BEST:: SOT 401298 SOS 223882 HAS SOPS 223882 HAS SOUS 204373 HAS SOUPS 204373 WITH SCORE 204596.882
AT ITER 1307 NEW BEST:: SOT 401312 SOS 223850 HAS SOPS 223850 HAS SOUS 204345 HAS SOUPS 204345 WITH SCORE 204568.85
AT ITER 1317 NEW BEST:: SOT 401238 SOS 223727 HAS SOPS 223727 HAS SOUS 204253 HAS SOUPS 204253 WITH SCORE 204476.727
AT ITER 1322 NEW BEST:: SOT 401206 SOS 223576 HAS SOPS 223576 HAS SOUS 204233 HAS SOUPS 204233 WITH SCORE 204456.576
AT ITER 1326 NEW BEST:: SOT 400728 SOS 226518 HAS SOPS 226518 HAS SOUS 204138 HAS SOUPS 204138 WITH SCORE 204364.518
AT ITER 1331 NEW BEST:: SOT 400728 SOS 225636 HAS SOPS 225636 HAS SOUS 204110 HAS SOUPS 204110 WITH SCORE 204335.636
AT ITER 1342 NEW BEST:: SOT 400728 SOS 225591 HAS SOPS 225591 HAS SOUS 204110 HAS SOUPS 204110 WITH SCORE 204335.591
AT ITER 1350 NEW BEST:: SOT 400717 SOS 225580 HAS SOPS 225580 HAS SOUS 204099 HAS SOUPS 204099 WITH SCORE 204324.58
AT ITER 1356 NEW BEST:: SOT 400717 SOS 225563 HAS SOPS 225563 HAS SOUS 204099 HAS SOUPS 204099 WITH SCORE 204324.563
AT ITER 1363 NEW BEST:: SOT 400717 SOS 225554 HAS SOPS 225554 HAS SOUS 204099 HAS SOUPS 204099 WITH SCORE 204324.554
AT ITER 1373 NEW BEST:: SOT 400717 SOS 225260 HAS SOPS 225260 HAS SOUS 204099 HAS SOUPS 204099 WITH SCORE 204324.26
AT ITER 1385 NEW BEST:: SOT 400357 SOS 225533 HAS SOPS 225533 HAS SOUS 203725 HAS SOUPS 203725 WITH SCORE 203950.533
AT ITER 1387 NEW BEST:: SOT 400357 SOS 225525 HAS SOPS 225525 HAS SOUS 203717 HAS SOUPS 203717 WITH SCORE 203942.525
AT ITER 1393 NEW BEST:: SOT 400357 SOS 225401 HAS SOPS 225401 HAS SOUS 203626 HAS SOUPS 203626 WITH SCORE 203851.401
AT ITER 1395 NEW BEST:: SOT 400351 SOS 225588 HAS SOPS 225588 HAS SOUS 203611 HAS SOUPS 203611 WITH SCORE 203836.588
AT ITER 1399 NEW BEST:: SOT 400351 SOS 225557 HAS SOPS 225557 HAS SOUS 203611 HAS SOUPS 203611 WITH SCORE 203836.557
AT ITER 1404 NEW BEST:: SOT 400351 SOS 225557 HAS SOPS 225557 HAS SOUS 203602 HAS SOUPS 203602 WITH SCORE 203827.557
AT ITER 1411 NEW BEST:: SOT 400351 SOS 225547 HAS SOPS 225547 HAS SOUS 203602 HAS SOUPS 203602 WITH SCORE 203827.547
AT ITER 1416 NEW BEST:: SOT 400065 SOS 228706 HAS SOPS 228706 HAS SOUS 203375 HAS SOUPS 203375 WITH SCORE 203603.706
AT ITER 1420 NEW BEST:: SOT 399617 SOS 228292 HAS SOPS 228292 HAS SOUS 203053 HAS SOUPS 203053 WITH SCORE 203281.292
AT ITER 1421 NEW BEST:: SOT 399095 SOS 227845 HAS SOPS 227845 HAS SOUS 202535 HAS SOUPS 202535 WITH SCORE 202762.845
AT ITER 1423 NEW BEST:: SOT 399081 SOS 227747 HAS SOPS 227747 HAS SOUS 202459 HAS SOUPS 202459 WITH SCORE 202686.747
AT ITER 1427 NEW BEST:: SOT 399081 SOS 227323 HAS SOPS 227323 HAS SOUS 202459 HAS SOUPS 202459 WITH SCORE 202686.323
AT ITER 1429 NEW BEST:: SOT 399081 SOS 227323 HAS SOPS 227323 HAS SOUS 202379 HAS SOUPS 202379 WITH SCORE 202606.323
AT ITER 1432 NEW BEST:: SOT 398759 SOS 227054 HAS SOPS 227054 HAS SOUS 202242 HAS SOUPS 202242 WITH SCORE 202469.054
AT ITER 1434 NEW BEST:: SOT 398426 SOS 226856 HAS SOPS 226856 HAS SOUS 202044 HAS SOUPS 202044 WITH SCORE 202270.856
AT ITER 1444 NEW BEST:: SOT 398603 SOS 224788 HAS SOPS 224788 HAS SOUS 201853 HAS SOUPS 201853 WITH SCORE 202077.788
AT ITER 1451 NEW BEST:: SOT 398603 SOS 224591 HAS SOPS 224591 HAS SOUS 201853 HAS SOUPS 201853 WITH SCORE 202077.591
AT ITER 1452 NEW BEST:: SOT 398603 SOS 224174 HAS SOPS 224174 HAS SOUS 201853 HAS SOUPS 201853 WITH SCORE 202077.174
AT ITER 1458 NEW BEST:: SOT 398603 SOS 224104 HAS SOPS 224104 HAS SOUS 201853 HAS SOUPS 201853 WITH SCORE 202077.104
AT ITER 1461 NEW BEST:: SOT 398603 SOS 223940 HAS SOPS 223940 HAS SOUS 201853 HAS SOUPS 201853 WITH SCORE 202076.94
AT ITER 1468 NEW BEST:: SOT 398603 SOS 224198 HAS SOPS 224198 HAS SOUS 201838 HAS SOUPS 201838 WITH SCORE 202062.198
AT ITER 1472 NEW BEST:: SOT 398603 SOS 224178 HAS SOPS 224178 HAS SOUS 201838 HAS SOUPS 201838 WITH SCORE 202062.178
AT ITER 1474 NEW BEST:: SOT 398603 SOS 224131 HAS SOPS 224131 HAS SOUS 201838 HAS SOUPS 201838 WITH SCORE 202062.131
AT ITER 1477 NEW BEST:: SOT 398599 SOS 224684 HAS SOPS 224684 HAS SOUS 201837 HAS SOUPS 201837 WITH SCORE 202061.684
AT ITER 1483 NEW BEST:: SOT 398599 SOS 224684 HAS SOPS 224684 HAS SOUS 201828 HAS SOUPS 201828 WITH SCORE 202052.684
AT ITER 1489 NEW BEST:: SOT 398594 SOS 224879 HAS SOPS 224879 HAS SOUS 201809 HAS SOUPS 201809 WITH SCORE 202033.879
AT ITER 1501 NEW BEST:: SOT 398229 SOS 224734 HAS SOPS 224734 HAS SOUS 201582 HAS SOUPS 201582 WITH SCORE 201806.734
AT ITER 1532 NEW BEST:: SOT 398355 SOS 224481 HAS SOPS 224481 HAS SOUS 201316 HAS SOUPS 201316 WITH SCORE 201540.481
AT ITER 1556 NEW BEST:: SOT 397959 SOS 224308 HAS SOPS 224308 HAS SOUS 201147 HAS SOUPS 201147 WITH SCORE 201371.308
AT ITER 1567 NEW BEST:: SOT 397592 SOS 223980 HAS SOPS 223980 HAS SOUS 200834 HAS SOUPS 200834 WITH SCORE 201057.98
AT ITER 1568 NEW BEST:: SOT 397592 SOS 223897 HAS SOPS 223897 HAS SOUS 200798 HAS SOUPS 200798 WITH SCORE 201021.897
AT ITER 1574 NEW BEST:: SOT 397592 SOS 223869 HAS SOPS 223869 HAS SOUS 200709 HAS SOUPS 200709 WITH SCORE 200932.869
AT ITER 1596 NEW BEST:: SOT 397271 SOS 223622 HAS SOPS 223622 HAS SOUS 200528 HAS SOUPS 200528 WITH SCORE 200751.622
AT ITER 1597 NEW BEST:: SOT 397271 SOS 223622 HAS SOPS 223622 HAS SOUS 200505 HAS SOUPS 200505 WITH SCORE 200728.622
AT ITER 1620 NEW BEST:: SOT 397271 SOS 223617 HAS SOPS 223617 HAS SOUS 200505 HAS SOUPS 200505 WITH SCORE 200728.617
AT ITER 1623 NEW BEST:: SOT 397375 SOS 223545 HAS SOPS 223545 HAS SOUS 200416 HAS SOUPS 200416 WITH SCORE 200639.545
AT ITER 1626 NEW BEST:: SOT 397375 SOS 223543 HAS SOPS 223543 HAS SOUS 200416 HAS SOUPS 200416 WITH SCORE 200639.543
AT ITER 1630 NEW BEST:: SOT 397375 SOS 223546 HAS SOPS 223546 HAS SOUS 200402 HAS SOUPS 200402 WITH SCORE 200625.546
AT ITER 1631 NEW BEST:: SOT 397339 SOS 223510 HAS SOPS 223510 HAS SOUS 200288 HAS SOUPS 200288 WITH SCORE 200511.51
AT ITER 1633 NEW BEST:: SOT 397339 SOS 223376 HAS SOPS 223376 HAS SOUS 200288 HAS SOUPS 200288 WITH SCORE 200511.376
AT ITER 1639 NEW BEST:: SOT 397339 SOS 223276 HAS SOPS 223276 HAS SOUS 200262 HAS SOUPS 200262 WITH SCORE 200485.276
AT ITER 1640 NEW BEST:: SOT 397339 SOS 223248 HAS SOPS 223248 HAS SOUS 200261 HAS SOUPS 200261 WITH SCORE 200484.248
AT ITER 1646 NEW BEST:: SOT 397335 SOS 223388 HAS SOPS 223388 HAS SOUS 200197 HAS SOUPS 200197 WITH SCORE 200420.388
AT ITER 1674 NEW BEST:: SOT 397335 SOS 223207 HAS SOPS 223207 HAS SOUS 200197 HAS SOUPS 200197 WITH SCORE 200420.207
AT ITER 1696 NEW BEST:: SOT 397332 SOS 223204 HAS SOPS 223204 HAS SOUS 200186 HAS SOUPS 200186 WITH SCORE 200409.204
AT ITER 1704 NEW BEST:: SOT 397326 SOS 223197 HAS SOPS 223197 HAS SOUS 200168 HAS SOUPS 200168 WITH SCORE 200391.197
AT ITER 1708 NEW BEST:: SOT 397219 SOS 223501 HAS SOPS 223501 HAS SOUS 200142 HAS SOUPS 200142 WITH SCORE 200365.501
AT ITER 1717 NEW BEST:: SOT 397171 SOS 223441 HAS SOPS 223441 HAS SOUS 200047 HAS SOUPS 200047 WITH SCORE 200270.441
AT ITER 1726 NEW BEST:: SOT 397170 SOS 223393 HAS SOPS 223393 HAS SOUS 199961 HAS SOUPS 199961 WITH SCORE 200184.393
AT ITER 1735 NEW BEST:: SOT 397170 SOS 223330 HAS SOPS 223330 HAS SOUS 199898 HAS SOUPS 199898 WITH SCORE 200121.33
AT ITER 1739 NEW BEST:: SOT 397170 SOS 223251 HAS SOPS 223251 HAS SOUS 199898 HAS SOUPS 199898 WITH SCORE 200121.251
AT ITER 1740 NEW BEST:: SOT 397170 SOS 223037 HAS SOPS 223037 HAS SOUS 199898 HAS SOUPS 199898 WITH SCORE 200121.037
AT ITER 1745 NEW BEST:: SOT 397170 SOS 223027 HAS SOPS 223027 HAS SOUS 199898 HAS SOUPS 199898 WITH SCORE 200121.027
AT ITER 1749 NEW BEST:: SOT 397170 SOS 222980 HAS SOPS 222980 HAS SOUS 199876 HAS SOUPS 199876 WITH SCORE 200098.98
AT ITER 1753 NEW BEST:: SOT 397171 SOS 222981 HAS SOPS 222981 HAS SOUS 199874 HAS SOUPS 199874 WITH SCORE 200096.981
AT ITER 1758 NEW BEST:: SOT 397156 SOS 223055 HAS SOPS 223055 HAS SOUS 199865 HAS SOUPS 199865 WITH SCORE 200088.055
AT ITER 1766 NEW BEST:: SOT 396701 SOS 224013 HAS SOPS 224013 HAS SOUS 199829 HAS SOUPS 199829 WITH SCORE 200053.013
AT ITER 1779 NEW BEST:: SOT 396701 SOS 223866 HAS SOPS 223866 HAS SOUS 199740 HAS SOUPS 199740 WITH SCORE 199963.866
AT ITER 1780 NEW BEST:: SOT 396509 SOS 223687 HAS SOPS 223687 HAS SOUS 199444 HAS SOUPS 199444 WITH SCORE 199667.687
AT ITER 1798 NEW BEST:: SOT 396509 SOS 223677 HAS SOPS 223677 HAS SOUS 199444 HAS SOUPS 199444 WITH SCORE 199667.677
AT ITER 1800 NEW BEST:: SOT 396509 SOS 223651 HAS SOPS 223651 HAS SOUS 199444 HAS SOUPS 199444 WITH SCORE 199667.651
AT ITER 1801 NEW BEST:: SOT 394911 SOS 222775 HAS SOPS 222775 HAS SOUS 198593 HAS SOUPS 198593 WITH SCORE 198815.775
AT ITER 1802 NEW BEST:: SOT 394911 SOS 222725 HAS SOPS 222725 HAS SOUS 198561 HAS SOUPS 198561 WITH SCORE 198783.725
AT ITER 1810 NEW BEST:: SOT 394879 SOS 222693 HAS SOPS 222693 HAS SOUS 198455 HAS SOUPS 198455 WITH SCORE 198677.693
AT ITER 1813 NEW BEST:: SOT 394849 SOS 222612 HAS SOPS 222612 HAS SOUS 198356 HAS SOUPS 198356 WITH SCORE 198578.612
AT ITER 1815 NEW BEST:: SOT 394849 SOS 222484 HAS SOPS 222484 HAS SOUS 198356 HAS SOUPS 198356 WITH SCORE 198578.484
AT ITER 1818 NEW BEST:: SOT 394824 SOS 222459 HAS SOPS 222459 HAS SOUS 198331 HAS SOUPS 198331 WITH SCORE 198553.459
AT ITER 1822 NEW BEST:: SOT 394790 SOS 222425 HAS SOPS 222425 HAS SOUS 198297 HAS SOUPS 198297 WITH SCORE 198519.425
AT ITER 1828 NEW BEST:: SOT 394790 SOS 223178 HAS SOPS 223178 HAS SOUS 198292 HAS SOUPS 198292 WITH SCORE 198515.178
AT ITER 1840 NEW BEST:: SOT 394420 SOS 222994 HAS SOPS 222994 HAS SOUS 198189 HAS SOUPS 198189 WITH SCORE 198411.994
AT ITER 1841 NEW BEST:: SOT 394420 SOS 222818 HAS SOPS 222818 HAS SOUS 198189 HAS SOUPS 198189 WITH SCORE 198411.818
AT ITER 1842 NEW BEST:: SOT 394420 SOS 222741 HAS SOPS 222741 HAS SOUS 198147 HAS SOUPS 198147 WITH SCORE 198369.741
AT ITER 1847 NEW BEST:: SOT 394420 SOS 222738 HAS SOPS 222738 HAS SOUS 198147 HAS SOUPS 198147 WITH SCORE 198369.738
AT ITER 1877 NEW BEST:: SOT 394420 SOS 222459 HAS SOPS 222459 HAS SOUS 198144 HAS SOUPS 198144 WITH SCORE 198366.459
AT ITER 1890 NEW BEST:: SOT 394420 SOS 222808 HAS SOPS 222808 HAS SOUS 198082 HAS SOUPS 198082 WITH SCORE 198304.808
AT ITER 1898 NEW BEST:: SOT 394420 SOS 222807 HAS SOPS 222807 HAS SOUS 198082 HAS SOUPS 198082 WITH SCORE 198304.807
AT ITER 1903 NEW BEST:: SOT 394408 SOS 222867 HAS SOPS 222867 HAS SOUS 198046 HAS SOUPS 198046 WITH SCORE 198268.867
AT ITER 1904 NEW BEST:: SOT 394134 SOS 222602 HAS SOPS 222602 HAS SOUS 197985 HAS SOUPS 197985 WITH SCORE 198207.602
AT ITER 1905 NEW BEST:: SOT 394134 SOS 222207 HAS SOPS 222207 HAS SOUS 197945 HAS SOUPS 197945 WITH SCORE 198167.207
AT ITER 1906 NEW BEST:: SOT 394110 SOS 222183 HAS SOPS 222183 HAS SOUS 197921 HAS SOUPS 197921 WITH SCORE 198143.183
AT ITER 1909 NEW BEST:: SOT 393819 SOS 221881 HAS SOPS 221881 HAS SOUS 197676 HAS SOUPS 197676 WITH SCORE 197897.881
AT ITER 1910 NEW BEST:: SOT 393819 SOS 221836 HAS SOPS 221836 HAS SOUS 197612 HAS SOUPS 197612 WITH SCORE 197833.836
AT ITER 1929 NEW BEST:: SOT 393840 SOS 221850 HAS SOPS 221850 HAS SOUS 197555 HAS SOUPS 197555 WITH SCORE 197776.85
AT ITER 1934 NEW BEST:: SOT 393840 SOS 221816 HAS SOPS 221816 HAS SOUS 197555 HAS SOUPS 197555 WITH SCORE 197776.816
AT ITER 1943 NEW BEST:: SOT 393661 SOS 221678 HAS SOPS 221678 HAS SOUS 197436 HAS SOUPS 197436 WITH SCORE 197657.678
AT ITER 1944 NEW BEST:: SOT 393661 SOS 221615 HAS SOPS 221615 HAS SOUS 197436 HAS SOUPS 197436 WITH SCORE 197657.615
AT ITER 1948 NEW BEST:: SOT 393661 SOS 221578 HAS SOPS 221578 HAS SOUS 197436 HAS SOUPS 197436 WITH SCORE 197657.578
AT ITER 1951 NEW BEST:: SOT 393661 SOS 221559 HAS SOPS 221559 HAS SOUS 197436 HAS SOUPS 197436 WITH SCORE 197657.559
AT ITER 1952 NEW BEST:: SOT 393661 SOS 221465 HAS SOPS 221465 HAS SOUS 197436 HAS SOUPS 197436 WITH SCORE 197657.465
AT ITER 1959 NEW BEST:: SOT 393403 SOS 221363 HAS SOPS 221363 HAS SOUS 197352 HAS SOUPS 197352 WITH SCORE 197573.363
AT ITER 1960 NEW BEST:: SOT 393370 SOS 221239 HAS SOPS 221239 HAS SOUS 197265 HAS SOUPS 197265 WITH SCORE 197486.239
AT ITER 1966 NEW BEST:: SOT 393370 SOS 221234 HAS SOPS 221234 HAS SOUS 197260 HAS SOUPS 197260 WITH SCORE 197481.234
AT ITER 1969 NEW BEST:: SOT 393365 SOS 221294 HAS SOPS 221294 HAS SOUS 197223 HAS SOUPS 197223 WITH SCORE 197444.294
AT ITER 1972 NEW BEST:: SOT 393365 SOS 221290 HAS SOPS 221290 HAS SOUS 197223 HAS SOUPS 197223 WITH SCORE 197444.29
AT ITER 1974 NEW BEST:: SOT 393371 SOS 221296 HAS SOPS 221296 HAS SOUS 197121 HAS SOUPS 197121 WITH SCORE 197342.296
AT ITER 1975 NEW BEST:: SOT 393382 SOS 221537 HAS SOPS 221537 HAS SOUS 197102 HAS SOUPS 197102 WITH SCORE 197323.537
AT ITER 1982 NEW BEST:: SOT 393382 SOS 221510 HAS SOPS 221510 HAS SOUS 197102 HAS SOUPS 197102 WITH SCORE 197323.51
AT ITER 1984 NEW BEST:: SOT 393421 SOS 221517 HAS SOPS 221517 HAS SOUS 197078 HAS SOUPS 197078 WITH SCORE 197299.517
AT ITER 1999 NEW BEST:: SOT 393421 SOS 221508 HAS SOPS 221508 HAS SOUS 197078 HAS SOUPS 197078 WITH SCORE 197299.508
AT ITER 2011 NEW BEST:: SOT 393421 SOS 221331 HAS SOPS 221331 HAS SOUS 197078 HAS SOUPS 197078 WITH SCORE 197299.331
AT ITER 2014 NEW BEST:: SOT 393421 SOS 221244 HAS SOPS 221244 HAS SOUS 197074 HAS SOUPS 197074 WITH SCORE 197295.244
AT ITER 2020 NEW BEST:: SOT 393421 SOS 221178 HAS SOPS 221178 HAS SOUS 197064 HAS SOUPS 197064 WITH SCORE 197285.178
AT ITER 2021 NEW BEST:: SOT 392946 SOS 220830 HAS SOPS 220830 HAS SOUS 197039 HAS SOUPS 197039 WITH SCORE 197259.83
AT ITER 2027 NEW BEST:: SOT 392946 SOS 220802 HAS SOPS 220802 HAS SOUS 197039 HAS SOUPS 197039 WITH SCORE 197259.802
AT ITER 2031 NEW BEST:: SOT 392904 SOS 220662 HAS SOPS 220662 HAS SOUS 197004 HAS SOUPS 197004 WITH SCORE 197224.662
AT ITER 2035 NEW BEST:: SOT 392954 SOS 220569 HAS SOPS 220569 HAS SOUS 196970 HAS SOUPS 196970 WITH SCORE 197190.569
AT ITER 2038 NEW BEST:: SOT 392954 SOS 220659 HAS SOPS 220659 HAS SOUS 196934 HAS SOUPS 196934 WITH SCORE 197154.659
AT ITER 2042 NEW BEST:: SOT 392954 SOS 220657 HAS SOPS 220657 HAS SOUS 196932 HAS SOUPS 196932 WITH SCORE 197152.657
AT ITER 2043 NEW BEST:: SOT 392954 SOS 220627 HAS SOPS 220627 HAS SOUS 196912 HAS SOUPS 196912 WITH SCORE 197132.627
AT ITER 2047 NEW BEST:: SOT 392954 SOS 220616 HAS SOPS 220616 HAS SOUS 196797 HAS SOUPS 196797 WITH SCORE 197017.616
AT ITER 2058 NEW BEST:: SOT 392931 SOS 220456 HAS SOPS 220456 HAS SOUS 196717 HAS SOUPS 196717 WITH SCORE 196937.456
AT ITER 2065 NEW BEST:: SOT 392663 SOS 220223 HAS SOPS 220223 HAS SOUS 196533 HAS SOUPS 196533 WITH SCORE 196753.223
AT ITER 2069 NEW BEST:: SOT 392270 SOS 220026 HAS SOPS 220026 HAS SOUS 196189 HAS SOUPS 196189 WITH SCORE 196409.026
AT ITER 2081 NEW BEST:: SOT 392237 SOS 219818 HAS SOPS 219818 HAS SOUS 195998 HAS SOUPS 195998 WITH SCORE 196217.818
AT ITER 2087 NEW BEST:: SOT 392237 SOS 219847 HAS SOPS 219847 HAS SOUS 195986 HAS SOUPS 195986 WITH SCORE 196205.847
AT ITER 2088 NEW BEST:: SOT 392123 SOS 219733 HAS SOPS 219733 HAS SOUS 195872 HAS SOUPS 195872 WITH SCORE 196091.733
AT ITER 2091 NEW BEST:: SOT 392123 SOS 219381 HAS SOPS 219381 HAS SOUS 195872 HAS SOUPS 195872 WITH SCORE 196091.381
AT ITER 2106 NEW BEST:: SOT 392123 SOS 219229 HAS SOPS 219229 HAS SOUS 195872 HAS SOUPS 195872 WITH SCORE 196091.229
AT ITER 2107 NEW BEST:: SOT 391882 SOS 219238 HAS SOPS 219238 HAS SOUS 195829 HAS SOUPS 195829 WITH SCORE 196048.238
AT ITER 2109 NEW BEST:: SOT 391882 SOS 219119 HAS SOPS 219119 HAS SOUS 195829 HAS SOUPS 195829 WITH SCORE 196048.119
AT ITER 2110 NEW BEST:: SOT 391882 SOS 218227 HAS SOPS 218227 HAS SOUS 195763 HAS SOUPS 195763 WITH SCORE 195981.227
AT ITER 2135 NEW BEST:: SOT 391882 SOS 217503 HAS SOPS 217503 HAS SOUS 195763 HAS SOUPS 195763 WITH SCORE 195980.503
AT ITER 2145 NEW BEST:: SOT 391818 SOS 217439 HAS SOPS 217439 HAS SOUS 195699 HAS SOUPS 195699 WITH SCORE 195916.439
AT ITER 2146 NEW BEST:: SOT 391818 SOS 217171 HAS SOPS 217171 HAS SOUS 195699 HAS SOUPS 195699 WITH SCORE 195916.171
AT ITER 2159 NEW BEST:: SOT 391818 SOS 217185 HAS SOPS 217185 HAS SOUS 195645 HAS SOUPS 195645 WITH SCORE 195862.185
AT ITER 2167 NEW BEST:: SOT 391818 SOS 217090 HAS SOPS 217090 HAS SOUS 195645 HAS SOUPS 195645 WITH SCORE 195862.09
AT ITER 2172 NEW BEST:: SOT 391966 SOS 216699 HAS SOPS 216699 HAS SOUS 195631 HAS SOUPS 195631 WITH SCORE 195847.699
AT ITER 2179 NEW BEST:: SOT 391966 SOS 216240 HAS SOPS 216240 HAS SOUS 195591 HAS SOUPS 195591 WITH SCORE 195807.24
AT ITER 2190 NEW BEST:: SOT 391966 SOS 216139 HAS SOPS 216139 HAS SOUS 195591 HAS SOUPS 195591 WITH SCORE 195807.139
AT ITER 2195 NEW BEST:: SOT 391966 SOS 216048 HAS SOPS 216048 HAS SOUS 195591 HAS SOUPS 195591 WITH SCORE 195807.048
AT ITER 2208 NEW BEST:: SOT 391966 SOS 215936 HAS SOPS 215936 HAS SOUS 195591 HAS SOUPS 195591 WITH SCORE 195806.936
AT ITER 2209 NEW BEST:: SOT 391966 SOS 215930 HAS SOPS 215930 HAS SOUS 195591 HAS SOUPS 195591 WITH SCORE 195806.93
AT ITER 2213 NEW BEST:: SOT 391966 SOS 215875 HAS SOPS 215875 HAS SOUS 195591 HAS SOUPS 195591 WITH SCORE 195806.875
AT ITER 2216 NEW BEST:: SOT 392097 SOS 215844 HAS SOPS 215844 HAS SOUS 195527 HAS SOUPS 195527 WITH SCORE 195742.844
AT ITER 2224 NEW BEST:: SOT 392097 SOS 215607 HAS SOPS 215607 HAS SOUS 195527 HAS SOUPS 195527 WITH SCORE 195742.607
AT ITER 2229 NEW BEST:: SOT 392097 SOS 215594 HAS SOPS 215594 HAS SOUS 195499 HAS SOUPS 195499 WITH SCORE 195714.594
AT ITER 2234 NEW BEST:: SOT 392097 SOS 215654 HAS SOPS 215654 HAS SOUS 195460 HAS SOUPS 195460 WITH SCORE 195675.654
AT ITER 2237 NEW BEST:: SOT 392097 SOS 215564 HAS SOPS 215564 HAS SOUS 195460 HAS SOUPS 195460 WITH SCORE 195675.564
AT ITER 2244 NEW BEST:: SOT 391825 SOS 219654 HAS SOPS 219654 HAS SOUS 195406 HAS SOUPS 195406 WITH SCORE 195625.654
AT ITER 2258 NEW BEST:: SOT 391656 SOS 219485 HAS SOPS 219485 HAS SOUS 195307 HAS SOUPS 195307 WITH SCORE 195526.485
AT ITER 2263 NEW BEST:: SOT 391656 SOS 219325 HAS SOPS 219325 HAS SOUS 195307 HAS SOUPS 195307 WITH SCORE 195526.325
AT ITER 2265 NEW BEST:: SOT 391656 SOS 219235 HAS SOPS 219235 HAS SOUS 195307 HAS SOUPS 195307 WITH SCORE 195526.235
AT ITER 2277 NEW BEST:: SOT 390919 SOS 218557 HAS SOPS 218557 HAS SOUS 194873 HAS SOUPS 194873 WITH SCORE 195091.557
AT ITER 2287 NEW BEST:: SOT 390919 SOS 218300 HAS SOPS 218300 HAS SOUS 194873 HAS SOUPS 194873 WITH SCORE 195091.3
AT ITER 2288 NEW BEST:: SOT 390919 SOS 218239 HAS SOPS 218239 HAS SOUS 194813 HAS SOUPS 194813 WITH SCORE 195031.239
AT ITER 2298 NEW BEST:: SOT 390919 SOS 218222 HAS SOPS 218222 HAS SOUS 194813 HAS SOUPS 194813 WITH SCORE 195031.222
AT ITER 2303 NEW BEST:: SOT 390919 SOS 218106 HAS SOPS 218106 HAS SOUS 194810 HAS SOUPS 194810 WITH SCORE 195028.106
AT ITER 2315 NEW BEST:: SOT 390919 SOS 218027 HAS SOPS 218027 HAS SOUS 194810 HAS SOUPS 194810 WITH SCORE 195028.027
AT ITER 2316 NEW BEST:: SOT 390919 SOS 217939 HAS SOPS 217939 HAS SOUS 194810 HAS SOUPS 194810 WITH SCORE 195027.939
AT ITER 2322 NEW BEST:: SOT 390855 SOS 217875 HAS SOPS 217875 HAS SOUS 194720 HAS SOUPS 194720 WITH SCORE 194937.875
AT ITER 2326 NEW BEST:: SOT 390843 SOS 217875 HAS SOPS 217875 HAS SOUS 194695 HAS SOUPS 194695 WITH SCORE 194912.875
AT ITER 2330 NEW BEST:: SOT 390837 SOS 217897 HAS SOPS 217897 HAS SOUS 194689 HAS SOUPS 194689 WITH SCORE 194906.897
AT ITER 2331 NEW BEST:: SOT 390837 SOS 217978 HAS SOPS 217978 HAS SOUS 194675 HAS SOUPS 194675 WITH SCORE 194892.978
AT ITER 2332 NEW BEST:: SOT 390806 SOS 217774 HAS SOPS 217774 HAS SOUS 194641 HAS SOUPS 194641 WITH SCORE 194858.774
AT ITER 2334 NEW BEST:: SOT 390806 SOS 217766 HAS SOPS 217766 HAS SOUS 194641 HAS SOUPS 194641 WITH SCORE 194858.766
AT ITER 2335 NEW BEST:: SOT 390806 SOS 217673 HAS SOPS 217673 HAS SOUS 194641 HAS SOUPS 194641 WITH SCORE 194858.673
AT ITER 2336 NEW BEST:: SOT 390806 SOS 217612 HAS SOPS 217612 HAS SOUS 194641 HAS SOUPS 194641 WITH SCORE 194858.612
AT ITER 2356 NEW BEST:: SOT 390869 SOS 217550 HAS SOPS 217550 HAS SOUS 194579 HAS SOUPS 194579 WITH SCORE 194796.55
AT ITER 2360 NEW BEST:: SOT 390833 SOS 217514 HAS SOPS 217514 HAS SOUS 194543 HAS SOUPS 194543 WITH SCORE 194760.514
AT ITER 2361 NEW BEST:: SOT 390794 SOS 217393 HAS SOPS 217393 HAS SOUS 194422 HAS SOUPS 194422 WITH SCORE 194639.393
AT ITER 2367 NEW BEST:: SOT 390794 SOS 217289 HAS SOPS 217289 HAS SOUS 194422 HAS SOUPS 194422 WITH SCORE 194639.289
AT ITER 2371 NEW BEST:: SOT 390794 SOS 217156 HAS SOPS 217156 HAS SOUS 194351 HAS SOUPS 194351 WITH SCORE 194568.156
AT ITER 2373 NEW BEST:: SOT 390781 SOS 217143 HAS SOPS 217143 HAS SOUS 194338 HAS SOUPS 194338 WITH SCORE 194555.143
AT ITER 2380 NEW BEST:: SOT 390779 SOS 217137 HAS SOPS 217137 HAS SOUS 194328 HAS SOUPS 194328 WITH SCORE 194545.137
AT ITER 2382 NEW BEST:: SOT 390779 SOS 217073 HAS SOPS 217073 HAS SOUS 194328 HAS SOUPS 194328 WITH SCORE 194545.073
AT ITER 2385 NEW BEST:: SOT 390779 SOS 217059 HAS SOPS 217059 HAS SOUS 194328 HAS SOUPS 194328 WITH SCORE 194545.059
AT ITER 2388 NEW BEST:: SOT 390313 SOS 217266 HAS SOPS 217266 HAS SOUS 194269 HAS SOUPS 194269 WITH SCORE 194486.266
AT ITER 2407 NEW BEST:: SOT 390278 SOS 217231 HAS SOPS 217231 HAS SOUS 194250 HAS SOUPS 194250 WITH SCORE 194467.231
AT ITER 2410 NEW BEST:: SOT 390264 SOS 217206 HAS SOPS 217206 HAS SOUS 194220 HAS SOUPS 194220 WITH SCORE 194437.206
AT ITER 2419 NEW BEST:: SOT 390256 SOS 217314 HAS SOPS 217314 HAS SOUS 194214 HAS SOUPS 194214 WITH SCORE 194431.314
AT ITER 2426 NEW BEST:: SOT 390256 SOS 217087 HAS SOPS 217087 HAS SOUS 194214 HAS SOUPS 194214 WITH SCORE 194431.087
AT ITER 2445 NEW BEST:: SOT 390266 SOS 217077 HAS SOPS 217077 HAS SOUS 194204 HAS SOUPS 194204 WITH SCORE 194421.077
AT ITER 2460 NEW BEST:: SOT 390266 SOS 217103 HAS SOPS 217103 HAS SOUS 194197 HAS SOUPS 194197 WITH SCORE 194414.103
AT ITER 2471 NEW BEST:: SOT 390266 SOS 216928 HAS SOPS 216928 HAS SOUS 194187 HAS SOUPS 194187 WITH SCORE 194403.928
AT ITER 2475 NEW BEST:: SOT 390249 SOS 216900 HAS SOPS 216900 HAS SOUS 194089 HAS SOUPS 194089 WITH SCORE 194305.9
AT ITER 2488 NEW BEST:: SOT 390249 SOS 216895 HAS SOPS 216895 HAS SOUS 194089 HAS SOUPS 194089 WITH SCORE 194305.895
AT ITER 2492 NEW BEST:: SOT 390217 SOS 216863 HAS SOPS 216863 HAS SOUS 194057 HAS SOUPS 194057 WITH SCORE 194273.863
AT ITER 2504 NEW BEST:: SOT 390217 SOS 216861 HAS SOPS 216861 HAS SOUS 194057 HAS SOUPS 194057 WITH SCORE 194273.861
AT ITER 2511 NEW BEST:: SOT 390226 SOS 216886 HAS SOPS 216886 HAS SOUS 194045 HAS SOUPS 194045 WITH SCORE 194261.886
AT ITER 2536 NEW BEST:: SOT 390226 SOS 216998 HAS SOPS 216998 HAS SOUS 194044 HAS SOUPS 194044 WITH SCORE 194260.998
AT ITER 2547 NEW BEST:: SOT 389265 SOS 217356 HAS SOPS 217356 HAS SOUS 193670 HAS SOUPS 193670 WITH SCORE 193887.356
AT ITER 2551 NEW BEST:: SOT 389265 SOS 217356 HAS SOPS 217356 HAS SOUS 193660 HAS SOUPS 193660 WITH SCORE 193877.356
AT ITER 2558 NEW BEST:: SOT 388711 SOS 216866 HAS SOPS 216866 HAS SOUS 193302 HAS SOUPS 193302 WITH SCORE 193518.866
AT ITER 2561 NEW BEST:: SOT 388711 SOS 216792 HAS SOPS 216792 HAS SOUS 193302 HAS SOUPS 193302 WITH SCORE 193518.792
AT ITER 2567 NEW BEST:: SOT 388705 SOS 216786 HAS SOPS 216786 HAS SOUS 193296 HAS SOUPS 193296 WITH SCORE 193512.786
AT ITER 2581 NEW BEST:: SOT 388705 SOS 216630 HAS SOPS 216630 HAS SOUS 193296 HAS SOUPS 193296 WITH SCORE 193512.63
AT ITER 2589 NEW BEST:: SOT 388661 SOS 216586 HAS SOPS 216586 HAS SOUS 193241 HAS SOUPS 193241 WITH SCORE 193457.586
AT ITER 2598 NEW BEST:: SOT 388661 SOS 216621 HAS SOPS 216621 HAS SOUS 193211 HAS SOUPS 193211 WITH SCORE 193427.621
AT ITER 2599 NEW BEST:: SOT 388661 SOS 216581 HAS SOPS 216581 HAS SOUS 193211 HAS SOUPS 193211 WITH SCORE 193427.581
AT ITER 2610 NEW BEST:: SOT 388661 SOS 216552 HAS SOPS 216552 HAS SOUS 193177 HAS SOUPS 193177 WITH SCORE 193393.552
AT ITER 2613 NEW BEST:: SOT 388559 SOS 216450 HAS SOPS 216450 HAS SOUS 192970 HAS SOUPS 192970 WITH SCORE 193186.45
AT ITER 2625 NEW BEST:: SOT 388559 SOS 216430 HAS SOPS 216430 HAS SOUS 192898 HAS SOUPS 192898 WITH SCORE 193114.43
AT ITER 2627 NEW BEST:: SOT 388559 SOS 216304 HAS SOPS 216304 HAS SOUS 192869 HAS SOUPS 192869 WITH SCORE 193085.304
AT ITER 2633 NEW BEST:: SOT 388559 SOS 216486 HAS SOPS 216486 HAS SOUS 192835 HAS SOUPS 192835 WITH SCORE 193051.486
AT ITER 2635 NEW BEST:: SOT 388559 SOS 216482 HAS SOPS 216482 HAS SOUS 192835 HAS SOUPS 192835 WITH SCORE 193051.482
AT ITER 2640 NEW BEST:: SOT 388417 SOS 216312 HAS SOPS 216312 HAS SOUS 192742 HAS SOUPS 192742 WITH SCORE 192958.312
AT ITER 2645 NEW BEST:: SOT 388417 SOS 216234 HAS SOPS 216234 HAS SOUS 192736 HAS SOUPS 192736 WITH SCORE 192952.234
AT ITER 2646 NEW BEST:: SOT 388417 SOS 216373 HAS SOPS 216373 HAS SOUS 192677 HAS SOUPS 192677 WITH SCORE 192893.373
AT ITER 2648 NEW BEST:: SOT 388417 SOS 216389 HAS SOPS 216389 HAS SOUS 192657 HAS SOUPS 192657 WITH SCORE 192873.389
AT ITER 2652 NEW BEST:: SOT 388382 SOS 216354 HAS SOPS 216354 HAS SOUS 192622 HAS SOUPS 192622 WITH SCORE 192838.354
AT ITER 2666 NEW BEST:: SOT 388382 SOS 216268 HAS SOPS 216268 HAS SOUS 192622 HAS SOUPS 192622 WITH SCORE 192838.268
AT ITER 2667 NEW BEST:: SOT 388316 SOS 216242 HAS SOPS 216242 HAS SOUS 192549 HAS SOUPS 192549 WITH SCORE 192765.242
AT ITER 2668 NEW BEST:: SOT 388316 SOS 215909 HAS SOPS 215909 HAS SOUS 192502 HAS SOUPS 192502 WITH SCORE 192717.909
AT ITER 2676 NEW BEST:: SOT 388316 SOS 215863 HAS SOPS 215863 HAS SOUS 192502 HAS SOUPS 192502 WITH SCORE 192717.863
AT ITER 2682 NEW BEST:: SOT 388316 SOS 215705 HAS SOPS 215705 HAS SOUS 192443 HAS SOUPS 192443 WITH SCORE 192658.705
AT ITER 2687 NEW BEST:: SOT 388316 SOS 212471 HAS SOPS 212471 HAS SOUS 192418 HAS SOUPS 192418 WITH SCORE 192630.471
AT ITER 2695 NEW BEST:: SOT 388316 SOS 212460 HAS SOPS 212460 HAS SOUS 192418 HAS SOUPS 192418 WITH SCORE 192630.46
AT ITER 2699 NEW BEST:: SOT 388316 SOS 212313 HAS SOPS 212313 HAS SOUS 192355 HAS SOUPS 192355 WITH SCORE 192567.313
AT ITER 2703 NEW BEST:: SOT 388316 SOS 212234 HAS SOPS 212234 HAS SOUS 192355 HAS SOUPS 192355 WITH SCORE 192567.234
AT ITER 2706 NEW BEST:: SOT 388316 SOS 212048 HAS SOPS 212048 HAS SOUS 192248 HAS SOUPS 192248 WITH SCORE 192460.048
AT ITER 2716 NEW BEST:: SOT 388291 SOS 212023 HAS SOPS 212023 HAS SOUS 192223 HAS SOUPS 192223 WITH SCORE 192435.023
AT ITER 2730 NEW BEST:: SOT 388291 SOS 212003 HAS SOPS 212003 HAS SOUS 192223 HAS SOUPS 192223 WITH SCORE 192435.003
AT ITER 2731 NEW BEST:: SOT 387625 SOS 211337 HAS SOPS 211337 HAS SOUS 191567 HAS SOUPS 191567 WITH SCORE 191778.337
AT ITER 2732 NEW BEST:: SOT 387625 SOS 211258 HAS SOPS 211258 HAS SOUS 191567 HAS SOUPS 191567 WITH SCORE 191778.258
AT ITER 2735 NEW BEST:: SOT 387708 SOS 211192 HAS SOPS 211192 HAS SOUS 191544 HAS SOUPS 191544 WITH SCORE 191755.192
AT ITER 2749 NEW BEST:: SOT 387092 SOS 215334 HAS SOPS 215334 HAS SOUS 191342 HAS SOUPS 191342 WITH SCORE 191557.334
AT ITER 2752 NEW BEST:: SOT 387092 SOS 215622 HAS SOPS 215622 HAS SOUS 191258 HAS SOUPS 191258 WITH SCORE 191473.622
AT ITER 2756 NEW BEST:: SOT 387090 SOS 215778 HAS SOPS 215778 HAS SOUS 191256 HAS SOUPS 191256 WITH SCORE 191471.778
AT ITER 2757 NEW BEST:: SOT 387090 SOS 215778 HAS SOPS 215778 HAS SOUS 191249 HAS SOUPS 191249 WITH SCORE 191464.778
AT ITER 2762 NEW BEST:: SOT 387090 SOS 215765 HAS SOPS 215765 HAS SOUS 191249 HAS SOUPS 191249 WITH SCORE 191464.765
AT ITER 2764 NEW BEST:: SOT 387090 SOS 215703 HAS SOPS 215703 HAS SOUS 191249 HAS SOUPS 191249 WITH SCORE 191464.703
AT ITER 2767 NEW BEST:: SOT 387090 SOS 215660 HAS SOPS 215660 HAS SOUS 191215 HAS SOUPS 191215 WITH SCORE 191430.66
AT ITER 2769 NEW BEST:: SOT 387090 SOS 215635 HAS SOPS 215635 HAS SOUS 191215 HAS SOUPS 191215 WITH SCORE 191430.635
AT ITER 2780 NEW BEST:: SOT 387097 SOS 215699 HAS SOPS 215699 HAS SOUS 191212 HAS SOUPS 191212 WITH SCORE 191427.699
AT ITER 2789 NEW BEST:: SOT 387033 SOS 215588 HAS SOPS 215588 HAS SOUS 191145 HAS SOUPS 191145 WITH SCORE 191360.588
AT ITER 2795 NEW BEST:: SOT 387033 SOS 215525 HAS SOPS 215525 HAS SOUS 191082 HAS SOUPS 191082 WITH SCORE 191297.525
AT ITER 2797 NEW BEST:: SOT 386990 SOS 215467 HAS SOPS 215467 HAS SOUS 191024 HAS SOUPS 191024 WITH SCORE 191239.467
AT ITER 2799 NEW BEST:: SOT 386990 SOS 215329 HAS SOPS 215329 HAS SOUS 191024 HAS SOUPS 191024 WITH SCORE 191239.329
AT ITER 2801 NEW BEST:: SOT 386990 SOS 215274 HAS SOPS 215274 HAS SOUS 191024 HAS SOUPS 191024 WITH SCORE 191239.274
AT ITER 2808 NEW BEST:: SOT 386923 SOS 214953 HAS SOPS 214953 HAS SOUS 190685 HAS SOUPS 190685 WITH SCORE 190899.953
AT ITER 2832 NEW BEST:: SOT 386965 SOS 215055 HAS SOPS 215055 HAS SOUS 190676 HAS SOUPS 190676 WITH SCORE 190891.055
AT ITER 2842 NEW BEST:: SOT 386965 SOS 215200 HAS SOPS 215200 HAS SOUS 190630 HAS SOUPS 190630 WITH SCORE 190845.2
AT ITER 2864 NEW BEST:: SOT 386965 SOS 215283 HAS SOPS 215283 HAS SOUS 190608 HAS SOUPS 190608 WITH SCORE 190823.283
AT ITER 2865 NEW BEST:: SOT 386965 SOS 215216 HAS SOPS 215216 HAS SOUS 190608 HAS SOUPS 190608 WITH SCORE 190823.216
AT ITER 2882 NEW BEST:: SOT 386965 SOS 215190 HAS SOPS 215190 HAS SOUS 190608 HAS SOUPS 190608 WITH SCORE 190823.19
AT ITER 2885 NEW BEST:: SOT 386747 SOS 214972 HAS SOPS 214972 HAS SOUS 190435 HAS SOUPS 190435 WITH SCORE 190649.972
AT ITER 2905 NEW BEST:: SOT 386747 SOS 214850 HAS SOPS 214850 HAS SOUS 190404 HAS SOUPS 190404 WITH SCORE 190618.85
AT ITER 2912 NEW BEST:: SOT 386747 SOS 214966 HAS SOPS 214966 HAS SOUS 190369 HAS SOUPS 190369 WITH SCORE 190583.966
AT ITER 2913 NEW BEST:: SOT 386722 SOS 214941 HAS SOPS 214941 HAS SOUS 190344 HAS SOUPS 190344 WITH SCORE 190558.941
AT ITER 2920 NEW BEST:: SOT 386722 SOS 214923 HAS SOPS 214923 HAS SOUS 190344 HAS SOUPS 190344 WITH SCORE 190558.923
AT ITER 2923 NEW BEST:: SOT 386722 SOS 214908 HAS SOPS 214908 HAS SOUS 190344 HAS SOUPS 190344 WITH SCORE 190558.908
AT ITER 2924 NEW BEST:: SOT 386722 SOS 214896 HAS SOPS 214896 HAS SOUS 190344 HAS SOUPS 190344 WITH SCORE 190558.896
AT ITER 2928 NEW BEST:: SOT 386722 SOS 214896 HAS SOPS 214896 HAS SOUS 190333 HAS SOUPS 190333 WITH SCORE 190547.896
AT ITER 2932 NEW BEST:: SOT 386722 SOS 214621 HAS SOPS 214621 HAS SOUS 190333 HAS SOUPS 190333 WITH SCORE 190547.621
AT ITER 2933 NEW BEST:: SOT 386722 SOS 214398 HAS SOPS 214398 HAS SOUS 190333 HAS SOUPS 190333 WITH SCORE 190547.398
AT ITER 2955 NEW BEST:: SOT 386646 SOS 214259 HAS SOPS 214259 HAS SOUS 190265 HAS SOUPS 190265 WITH SCORE 190479.259
AT ITER 2959 NEW BEST:: SOT 385976 SOS 218576 HAS SOPS 218576 HAS SOUS 190258 HAS SOUPS 190258 WITH SCORE 190476.576
AT ITER 2977 NEW BEST:: SOT 385984 SOS 218560 HAS SOPS 218560 HAS SOUS 190258 HAS SOUPS 190258 WITH SCORE 190476.56
AT ITER 2978 NEW BEST:: SOT 385984 SOS 218553 HAS SOPS 218553 HAS SOUS 190258 HAS SOUPS 190258 WITH SCORE 190476.553
AT ITER 2991 NEW BEST:: SOT 385884 SOS 218468 HAS SOPS 218468 HAS SOUS 190173 HAS SOUPS 190173 WITH SCORE 190391.468
AT ITER 3014 NEW BEST:: SOT 385884 SOS 218449 HAS SOPS 218449 HAS SOUS 190173 HAS SOUPS 190173 WITH SCORE 190391.449
AT ITER 3016 NEW BEST:: SOT 385046 SOS 218438 HAS SOPS 218438 HAS SOUS 190063 HAS SOUPS 190063 WITH SCORE 190281.438
AT ITER 3020 NEW BEST:: SOT 385046 SOS 218014 HAS SOPS 218014 HAS SOUS 190063 HAS SOUPS 190063 WITH SCORE 190281.014
AT ITER 3029 NEW BEST:: SOT 385046 SOS 217933 HAS SOPS 217933 HAS SOUS 189982 HAS SOUPS 189982 WITH SCORE 190199.933
AT ITER 3039 NEW BEST:: SOT 385026 SOS 217965 HAS SOPS 217965 HAS SOUS 189946 HAS SOUPS 189946 WITH SCORE 190163.965
AT ITER 3046 NEW BEST:: SOT 385026 SOS 217837 HAS SOPS 217837 HAS SOUS 189946 HAS SOUPS 189946 WITH SCORE 190163.837
AT ITER 3058 NEW BEST:: SOT 385026 SOS 217789 HAS SOPS 217789 HAS SOUS 189946 HAS SOUPS 189946 WITH SCORE 190163.789
AT ITER 3062 NEW BEST:: SOT 385026 SOS 218136 HAS SOPS 218136 HAS SOUS 189940 HAS SOUPS 189940 WITH SCORE 190158.136
AT ITER 3065 NEW BEST:: SOT 385026 SOS 218124 HAS SOPS 218124 HAS SOUS 189940 HAS SOUPS 189940 WITH SCORE 190158.124
AT ITER 3080 NEW BEST:: SOT 385026 SOS 217960 HAS SOPS 217960 HAS SOUS 189928 HAS SOUPS 189928 WITH SCORE 190145.96
AT ITER 3096 NEW BEST:: SOT 385026 SOS 217931 HAS SOPS 217931 HAS SOUS 189928 HAS SOUPS 189928 WITH SCORE 190145.931
AT ITER 3100 NEW BEST:: SOT 385026 SOS 217911 HAS SOPS 217911 HAS SOUS 189928 HAS SOUPS 189928 WITH SCORE 190145.911
AT ITER 3103 NEW BEST:: SOT 385026 SOS 216910 HAS SOPS 216910 HAS SOUS 189785 HAS SOUPS 189785 WITH SCORE 190001.91
AT ITER 3109 NEW BEST:: SOT 385026 SOS 216834 HAS SOPS 216834 HAS SOUS 189785 HAS SOUPS 189785 WITH SCORE 190001.834
AT ITER 3114 NEW BEST:: SOT 385026 SOS 216830 HAS SOPS 216830 HAS SOUS 189785 HAS SOUPS 189785 WITH SCORE 190001.83
AT ITER 3116 NEW BEST:: SOT 385026 SOS 216704 HAS SOPS 216704 HAS SOUS 189785 HAS SOUPS 189785 WITH SCORE 190001.704
AT ITER 3119 NEW BEST:: SOT 385026 SOS 216776 HAS SOPS 216776 HAS SOUS 189728 HAS SOUPS 189728 WITH SCORE 189944.776
AT ITER 3128 NEW BEST:: SOT 385024 SOS 216774 HAS SOPS 216774 HAS SOUS 189726 HAS SOUPS 189726 WITH SCORE 189942.774
AT ITER 3137 NEW BEST:: SOT 384976 SOS 216736 HAS SOPS 216736 HAS SOUS 189718 HAS SOUPS 189718 WITH SCORE 189934.736
AT ITER 3157 NEW BEST:: SOT 384973 SOS 216733 HAS SOPS 216733 HAS SOUS 189715 HAS SOUPS 189715 WITH SCORE 189931.733
AT ITER 3168 NEW BEST:: SOT 384973 SOS 216547 HAS SOPS 216547 HAS SOUS 189715 HAS SOUPS 189715 WITH SCORE 189931.547
AT ITER 3173 NEW BEST:: SOT 384962 SOS 216398 HAS SOPS 216398 HAS SOUS 189653 HAS SOUPS 189653 WITH SCORE 189869.398
AT ITER 3177 NEW BEST:: SOT 384979 SOS 216249 HAS SOPS 216249 HAS SOUS 189496 HAS SOUPS 189496 WITH SCORE 189712.249
AT ITER 3180 NEW BEST:: SOT 384916 SOS 216265 HAS SOPS 216265 HAS SOUS 189414 HAS SOUPS 189414 WITH SCORE 189630.265
AT ITER 3182 NEW BEST:: SOT 384520 SOS 215970 HAS SOPS 215970 HAS SOUS 189387 HAS SOUPS 189387 WITH SCORE 189602.97
AT ITER 3186 NEW BEST:: SOT 384520 SOS 215966 HAS SOPS 215966 HAS SOUS 189383 HAS SOUPS 189383 WITH SCORE 189598.966
AT ITER 3194 NEW BEST:: SOT 384366 SOS 216055 HAS SOPS 216055 HAS SOUS 189357 HAS SOUPS 189357 WITH SCORE 189573.055
AT ITER 3199 NEW BEST:: SOT 384363 SOS 216052 HAS SOPS 216052 HAS SOUS 189221 HAS SOUPS 189221 WITH SCORE 189437.052
AT ITER 3205 NEW BEST:: SOT 384281 SOS 215901 HAS SOPS 215901 HAS SOUS 189064 HAS SOUPS 189064 WITH SCORE 189279.901
AT ITER 3223 NEW BEST:: SOT 384246 SOS 215866 HAS SOPS 215866 HAS SOUS 189025 HAS SOUPS 189025 WITH SCORE 189240.866
AT ITER 3225 NEW BEST:: SOT 384246 SOS 215797 HAS SOPS 215797 HAS SOUS 189025 HAS SOUPS 189025 WITH SCORE 189240.797
AT ITER 3236 NEW BEST:: SOT 384122 SOS 215690 HAS SOPS 215690 HAS SOUS 188931 HAS SOUPS 188931 WITH SCORE 189146.69
AT ITER 3244 NEW BEST:: SOT 384105 SOS 215673 HAS SOPS 215673 HAS SOUS 188914 HAS SOUPS 188914 WITH SCORE 189129.673
AT ITER 3248 NEW BEST:: SOT 384105 SOS 215517 HAS SOPS 215517 HAS SOUS 188689 HAS SOUPS 188689 WITH SCORE 188904.517
AT ITER 3257 NEW BEST:: SOT 384105 SOS 215538 HAS SOPS 215538 HAS SOUS 188656 HAS SOUPS 188656 WITH SCORE 188871.538
AT ITER 3259 NEW BEST:: SOT 384123 SOS 214903 HAS SOPS 214903 HAS SOUS 188656 HAS SOUPS 188656 WITH SCORE 188870.903
AT ITER 3266 NEW BEST:: SOT 383958 SOS 214881 HAS SOPS 214881 HAS SOUS 188580 HAS SOUPS 188580 WITH SCORE 188794.881
AT ITER 3271 NEW BEST:: SOT 383958 SOS 214932 HAS SOPS 214932 HAS SOUS 188528 HAS SOUPS 188528 WITH SCORE 188742.932
AT ITER 3305 NEW BEST:: SOT 383958 SOS 214911 HAS SOPS 214911 HAS SOUS 188507 HAS SOUPS 188507 WITH SCORE 188721.911
AT ITER 3316 NEW BEST:: SOT 383926 SOS 214879 HAS SOPS 214879 HAS SOUS 188475 HAS SOUPS 188475 WITH SCORE 188689.879
AT ITER 3326 NEW BEST:: SOT 383926 SOS 214681 HAS SOPS 214681 HAS SOUS 188448 HAS SOUPS 188448 WITH SCORE 188662.681
AT ITER 3327 NEW BEST:: SOT 383937 SOS 214610 HAS SOPS 214610 HAS SOUS 188439 HAS SOUPS 188439 WITH SCORE 188653.61
AT ITER 3358 NEW BEST:: SOT 383937 SOS 214404 HAS SOPS 214404 HAS SOUS 188439 HAS SOUPS 188439 WITH SCORE 188653.404
AT ITER 3368 NEW BEST:: SOT 383937 SOS 214397 HAS SOPS 214397 HAS SOUS 188439 HAS SOUPS 188439 WITH SCORE 188653.397
AT ITER 3372 NEW BEST:: SOT 383935 SOS 214395 HAS SOPS 214395 HAS SOUS 188393 HAS SOUPS 188393 WITH SCORE 188607.395
AT ITER 3380 NEW BEST:: SOT 383935 SOS 214502 HAS SOPS 214502 HAS SOUS 188388 HAS SOUPS 188388 WITH SCORE 188602.502
AT ITER 3382 NEW BEST:: SOT 383935 SOS 214497 HAS SOPS 214497 HAS SOUS 188383 HAS SOUPS 188383 WITH SCORE 188597.497
AT ITER 3393 NEW BEST:: SOT 383969 SOS 214531 HAS SOPS 214531 HAS SOUS 188370 HAS SOUPS 188370 WITH SCORE 188584.531
AT ITER 3402 NEW BEST:: SOT 383958 SOS 214356 HAS SOPS 214356 HAS SOUS 188302 HAS SOUPS 188302 WITH SCORE 188516.356
AT ITER 3414 NEW BEST:: SOT 383958 SOS 214316 HAS SOPS 214316 HAS SOUS 188253 HAS SOUPS 188253 WITH SCORE 188467.316
AT ITER 3418 NEW BEST:: SOT 383958 SOS 214306 HAS SOPS 214306 HAS SOUS 188253 HAS SOUPS 188253 WITH SCORE 188467.306
AT ITER 3422 NEW BEST:: SOT 383929 SOS 214277 HAS SOPS 214277 HAS SOUS 188224 HAS SOUPS 188224 WITH SCORE 188438.277
AT ITER 3428 NEW BEST:: SOT 383929 SOS 214268 HAS SOPS 214268 HAS SOUS 188215 HAS SOUPS 188215 WITH SCORE 188429.268
AT ITER 3431 NEW BEST:: SOT 384115 SOS 214282 HAS SOPS 214282 HAS SOUS 188143 HAS SOUPS 188143 WITH SCORE 188357.282
AT ITER 3444 NEW BEST:: SOT 384115 SOS 214252 HAS SOPS 214252 HAS SOUS 188143 HAS SOUPS 188143 WITH SCORE 188357.252
AT ITER 3450 NEW BEST:: SOT 383044 SOS 213181 HAS SOPS 213181 HAS SOUS 187072 HAS SOUPS 187072 WITH SCORE 187285.181
AT ITER 3469 NEW BEST:: SOT 383033 SOS 213170 HAS SOPS 213170 HAS SOUS 187043 HAS SOUPS 187043 WITH SCORE 187256.17
AT ITER 3472 NEW BEST:: SOT 383033 SOS 213069 HAS SOPS 213069 HAS SOUS 187043 HAS SOUPS 187043 WITH SCORE 187256.069
AT ITER 3477 NEW BEST:: SOT 383033 SOS 213043 HAS SOPS 213043 HAS SOUS 186991 HAS SOUPS 186991 WITH SCORE 187204.043
AT ITER 3483 NEW BEST:: SOT 383033 SOS 212979 HAS SOPS 212979 HAS SOUS 186991 HAS SOUPS 186991 WITH SCORE 187203.979
AT ITER 3494 NEW BEST:: SOT 383033 SOS 212968 HAS SOPS 212968 HAS SOUS 186991 HAS SOUPS 186991 WITH SCORE 187203.968
AT ITER 3502 NEW BEST:: SOT 382960 SOS 212964 HAS SOPS 212964 HAS SOUS 186869 HAS SOUPS 186869 WITH SCORE 187081.964
AT ITER 3504 NEW BEST:: SOT 383002 SOS 212974 HAS SOPS 212974 HAS SOUS 186858 HAS SOUPS 186858 WITH SCORE 187070.974
AT ITER 3505 NEW BEST:: SOT 383002 SOS 213113 HAS SOPS 213113 HAS SOUS 186814 HAS SOUPS 186814 WITH SCORE 187027.113
AT ITER 3508 NEW BEST:: SOT 382727 SOS 212838 HAS SOPS 212838 HAS SOUS 186565 HAS SOUPS 186565 WITH SCORE 186777.838
AT ITER 3536 NEW BEST:: SOT 382165 SOS 212508 HAS SOPS 212508 HAS SOUS 186403 HAS SOUPS 186403 WITH SCORE 186615.508
AT ITER 3542 NEW BEST:: SOT 382141 SOS 212484 HAS SOPS 212484 HAS SOUS 186379 HAS SOUPS 186379 WITH SCORE 186591.484
AT ITER 3543 NEW BEST:: SOT 382141 SOS 212381 HAS SOPS 212381 HAS SOUS 186379 HAS SOUPS 186379 WITH SCORE 186591.381
AT ITER 3557 NEW BEST:: SOT 382099 SOS 212339 HAS SOPS 212339 HAS SOUS 186326 HAS SOUPS 186326 WITH SCORE 186538.339
AT ITER 3560 NEW BEST:: SOT 382099 SOS 212075 HAS SOPS 212075 HAS SOUS 186326 HAS SOUPS 186326 WITH SCORE 186538.075
AT ITER 3564 NEW BEST:: SOT 382099 SOS 212064 HAS SOPS 212064 HAS SOUS 186326 HAS SOUPS 186326 WITH SCORE 186538.064
AT ITER 3580 NEW BEST:: SOT 382122 SOS 212057 HAS SOPS 212057 HAS SOUS 186277 HAS SOUPS 186277 WITH SCORE 186489.057
AT ITER 3586 NEW BEST:: SOT 382122 SOS 211955 HAS SOPS 211955 HAS SOUS 186277 HAS SOUPS 186277 WITH SCORE 186488.955
AT ITER 3608 NEW BEST:: SOT 382087 SOS 211920 HAS SOPS 211920 HAS SOUS 186242 HAS SOUPS 186242 WITH SCORE 186453.92
AT ITER 3609 NEW BEST:: SOT 382027 SOS 211833 HAS SOPS 211833 HAS SOUS 186131 HAS SOUPS 186131 WITH SCORE 186342.833
AT ITER 3616 NEW BEST:: SOT 382027 SOS 211833 HAS SOPS 211833 HAS SOUS 186114 HAS SOUPS 186114 WITH SCORE 186325.833
AT ITER 3619 NEW BEST:: SOT 381561 SOS 211391 HAS SOPS 211391 HAS SOUS 185789 HAS SOUPS 185789 WITH SCORE 186000.391
AT ITER 3626 NEW BEST:: SOT 381561 SOS 211371 HAS SOPS 211371 HAS SOUS 185789 HAS SOUPS 185789 WITH SCORE 186000.371
AT ITER 3634 NEW BEST:: SOT 381561 SOS 211297 HAS SOPS 211297 HAS SOUS 185789 HAS SOUPS 185789 WITH SCORE 186000.297
AT ITER 3638 NEW BEST:: SOT 381561 SOS 211275 HAS SOPS 211275 HAS SOUS 185789 HAS SOUPS 185789 WITH SCORE 186000.275
AT ITER 3653 NEW BEST:: SOT 381453 SOS 211185 HAS SOPS 211185 HAS SOUS 185744 HAS SOUPS 185744 WITH SCORE 185955.185
AT ITER 3654 NEW BEST:: SOT 381453 SOS 211176 HAS SOPS 211176 HAS SOUS 185744 HAS SOUPS 185744 WITH SCORE 185955.176
AT ITER 3655 NEW BEST:: SOT 381453 SOS 210296 HAS SOPS 210296 HAS SOUS 185429 HAS SOUPS 185429 WITH SCORE 185639.296
AT ITER 3659 NEW BEST:: SOT 381453 SOS 210296 HAS SOPS 210296 HAS SOUS 185426 HAS SOUPS 185426 WITH SCORE 185636.296
AT ITER 3661 NEW BEST:: SOT 381453 SOS 210274 HAS SOPS 210274 HAS SOUS 185426 HAS SOUPS 185426 WITH SCORE 185636.274
AT ITER 3671 NEW BEST:: SOT 381453 SOS 210171 HAS SOPS 210171 HAS SOUS 185417 HAS SOUPS 185417 WITH SCORE 185627.171
AT ITER 3672 NEW BEST:: SOT 381453 SOS 210011 HAS SOPS 210011 HAS SOUS 185417 HAS SOUPS 185417 WITH SCORE 185627.011
AT ITER 3673 NEW BEST:: SOT 381453 SOS 209992 HAS SOPS 209992 HAS SOUS 185417 HAS SOUPS 185417 WITH SCORE 185626.992
AT ITER 3675 NEW BEST:: SOT 381453 SOS 209968 HAS SOPS 209968 HAS SOUS 185417 HAS SOUPS 185417 WITH SCORE 185626.968
AT ITER 3677 NEW BEST:: SOT 381453 SOS 209896 HAS SOPS 209896 HAS SOUS 185417 HAS SOUPS 185417 WITH SCORE 185626.896
AT ITER 3707 NEW BEST:: SOT 381418 SOS 209861 HAS SOPS 209861 HAS SOUS 185396 HAS SOUPS 185396 WITH SCORE 185605.861
AT ITER 3710 NEW BEST:: SOT 381418 SOS 209861 HAS SOPS 209861 HAS SOUS 185387 HAS SOUPS 185387 WITH SCORE 185596.861
AT ITER 3719 NEW BEST:: SOT 381418 SOS 209861 HAS SOPS 209861 HAS SOUS 185377 HAS SOUPS 185377 WITH SCORE 185586.861
AT ITER 3734 NEW BEST:: SOT 381418 SOS 209854 HAS SOPS 209854 HAS SOUS 185377 HAS SOUPS 185377 WITH SCORE 185586.854
AT ITER 3737 NEW BEST:: SOT 381418 SOS 209814 HAS SOPS 209814 HAS SOUS 185377 HAS SOUPS 185377 WITH SCORE 185586.814
AT ITER 3743 NEW BEST:: SOT 381418 SOS 209805 HAS SOPS 209805 HAS SOUS 185377 HAS SOUPS 185377 WITH SCORE 185586.805
AT ITER 3757 NEW BEST:: SOT 380857 SOS 209377 HAS SOPS 209377 HAS SOUS 185259 HAS SOUPS 185259 WITH SCORE 185468.377
AT ITER 3758 NEW BEST:: SOT 380857 SOS 209368 HAS SOPS 209368 HAS SOUS 185259 HAS SOUPS 185259 WITH SCORE 185468.368
AT ITER 3761 NEW BEST:: SOT 380857 SOS 210459 HAS SOPS 210459 HAS SOUS 185250 HAS SOUPS 185250 WITH SCORE 185460.459
AT ITER 3791 NEW BEST:: SOT 380857 SOS 209642 HAS SOPS 209642 HAS SOUS 185250 HAS SOUPS 185250 WITH SCORE 185459.642
AT ITER 3795 NEW BEST:: SOT 380857 SOS 209595 HAS SOPS 209595 HAS SOUS 185250 HAS SOUPS 185250 WITH SCORE 185459.595
AT ITER 3800 NEW BEST:: SOT 380861 SOS 209593 HAS SOPS 209593 HAS SOUS 185242 HAS SOUPS 185242 WITH SCORE 185451.593
AT ITER 3803 NEW BEST:: SOT 380908 SOS 209541 HAS SOPS 209541 HAS SOUS 185211 HAS SOUPS 185211 WITH SCORE 185420.541
AT ITER 3807 NEW BEST:: SOT 380908 SOS 209663 HAS SOPS 209663 HAS SOUS 185206 HAS SOUPS 185206 WITH SCORE 185415.663
AT ITER 3811 NEW BEST:: SOT 380629 SOS 209384 HAS SOPS 209384 HAS SOUS 184950 HAS SOUPS 184950 WITH SCORE 185159.384
AT ITER 3819 NEW BEST:: SOT 380629 SOS 209361 HAS SOPS 209361 HAS SOUS 184950 HAS SOUPS 184950 WITH SCORE 185159.361
AT ITER 3822 NEW BEST:: SOT 380629 SOS 209357 HAS SOPS 209357 HAS SOUS 184950 HAS SOUPS 184950 WITH SCORE 185159.357
AT ITER 3825 NEW BEST:: SOT 380629 SOS 209172 HAS SOPS 209172 HAS SOUS 184950 HAS SOUPS 184950 WITH SCORE 185159.172
AT ITER 3838 NEW BEST:: SOT 380629 SOS 209145 HAS SOPS 209145 HAS SOUS 184884 HAS SOUPS 184884 WITH SCORE 185093.145
AT ITER 3839 NEW BEST:: SOT 380629 SOS 209064 HAS SOPS 209064 HAS SOUS 184884 HAS SOUPS 184884 WITH SCORE 185093.064
AT ITER 3846 NEW BEST:: SOT 380633 SOS 209090 HAS SOPS 209090 HAS SOUS 184860 HAS SOUPS 184860 WITH SCORE 185069.09
AT ITER 3850 NEW BEST:: SOT 380633 SOS 209078 HAS SOPS 209078 HAS SOUS 184848 HAS SOUPS 184848 WITH SCORE 185057.078
AT ITER 3871 NEW BEST:: SOT 380616 SOS 208967 HAS SOPS 208967 HAS SOUS 184736 HAS SOUPS 184736 WITH SCORE 184944.967
AT ITER 3873 NEW BEST:: SOT 380520 SOS 208971 HAS SOPS 208971 HAS SOUS 184712 HAS SOUPS 184712 WITH SCORE 184920.971
AT ITER 3875 NEW BEST:: SOT 380520 SOS 208971 HAS SOPS 208971 HAS SOUS 184680 HAS SOUPS 184680 WITH SCORE 184888.971
AT ITER 3878 NEW BEST:: SOT 380392 SOS 209117 HAS SOPS 209117 HAS SOUS 184670 HAS SOUPS 184670 WITH SCORE 184879.117
AT ITER 3883 NEW BEST:: SOT 380393 SOS 209118 HAS SOPS 209118 HAS SOUS 184665 HAS SOUPS 184665 WITH SCORE 184874.118
AT ITER 3887 NEW BEST:: SOT 380363 SOS 209033 HAS SOPS 209033 HAS SOUS 184642 HAS SOUPS 184642 WITH SCORE 184851.033
AT ITER 3893 NEW BEST:: SOT 380346 SOS 208968 HAS SOPS 208968 HAS SOUS 184613 HAS SOUPS 184613 WITH SCORE 184821.968
AT ITER 3900 NEW BEST:: SOT 380346 SOS 208916 HAS SOPS 208916 HAS SOUS 184613 HAS SOUPS 184613 WITH SCORE 184821.916
AT ITER 3906 NEW BEST:: SOT 380317 SOS 208887 HAS SOPS 208887 HAS SOUS 184584 HAS SOUPS 184584 WITH SCORE 184792.887
AT ITER 3907 NEW BEST:: SOT 380312 SOS 208882 HAS SOPS 208882 HAS SOUS 184579 HAS SOUPS 184579 WITH SCORE 184787.882
AT ITER 3918 NEW BEST:: SOT 380091 SOS 208784 HAS SOPS 208784 HAS SOUS 184499 HAS SOUPS 184499 WITH SCORE 184707.784
AT ITER 3919 NEW BEST:: SOT 380033 SOS 208825 HAS SOPS 208825 HAS SOUS 184366 HAS SOUPS 184366 WITH SCORE 184574.825
AT ITER 3931 NEW BEST:: SOT 380033 SOS 208754 HAS SOPS 208754 HAS SOUS 184295 HAS SOUPS 184295 WITH SCORE 184503.754
AT ITER 3932 NEW BEST:: SOT 380017 SOS 208624 HAS SOPS 208624 HAS SOUS 184179 HAS SOUPS 184179 WITH SCORE 184387.624
AT ITER 3936 NEW BEST:: SOT 380017 SOS 208615 HAS SOPS 208615 HAS SOUS 184179 HAS SOUPS 184179 WITH SCORE 184387.615
AT ITER 3953 NEW BEST:: SOT 380017 SOS 208305 HAS SOPS 208305 HAS SOUS 184179 HAS SOUPS 184179 WITH SCORE 184387.305
AT ITER 3972 NEW BEST:: SOT 380023 SOS 208126 HAS SOPS 208126 HAS SOUS 184163 HAS SOUPS 184163 WITH SCORE 184371.126
AT ITER 3973 NEW BEST:: SOT 380023 SOS 208081 HAS SOPS 208081 HAS SOUS 184163 HAS SOUPS 184163 WITH SCORE 184371.081
AT ITER 3975 NEW BEST:: SOT 379963 SOS 208500 HAS SOPS 208500 HAS SOUS 184127 HAS SOUPS 184127 WITH SCORE 184335.5
AT ITER 3989 NEW BEST:: SOT 379926 SOS 208491 HAS SOPS 208491 HAS SOUS 184123 HAS SOUPS 184123 WITH SCORE 184331.491
AT ITER 3996 NEW BEST:: SOT 379926 SOS 208489 HAS SOPS 208489 HAS SOUS 184122 HAS SOUPS 184122 WITH SCORE 184330.489
AT ITER 4010 NEW BEST:: SOT 379926 SOS 208460 HAS SOPS 208460 HAS SOUS 184122 HAS SOUPS 184122 WITH SCORE 184330.46
AT ITER 4011 NEW BEST:: SOT 379926 SOS 208445 HAS SOPS 208445 HAS SOUS 184122 HAS SOUPS 184122 WITH SCORE 184330.445
AT ITER 4014 NEW BEST:: SOT 379933 SOS 208363 HAS SOPS 208363 HAS SOUS 184122 HAS SOUPS 184122 WITH SCORE 184330.363
AT ITER 4023 NEW BEST:: SOT 379933 SOS 208032 HAS SOPS 208032 HAS SOUS 184122 HAS SOUPS 184122 WITH SCORE 184330.032
AT ITER 4025 NEW BEST:: SOT 380004 SOS 207933 HAS SOPS 207933 HAS SOUS 184073 HAS SOUPS 184073 WITH SCORE 184280.933
AT ITER 4030 NEW BEST:: SOT 379899 SOS 207816 HAS SOPS 207816 HAS SOUS 183903 HAS SOUPS 183903 WITH SCORE 184110.816
AT ITER 4052 NEW BEST:: SOT 379899 SOS 207449 HAS SOPS 207449 HAS SOUS 183903 HAS SOUPS 183903 WITH SCORE 184110.449
AT ITER 4053 NEW BEST:: SOT 379899 SOS 207423 HAS SOPS 207423 HAS SOUS 183903 HAS SOUPS 183903 WITH SCORE 184110.423
AT ITER 4055 NEW BEST:: SOT 379883 SOS 207407 HAS SOPS 207407 HAS SOUS 183859 HAS SOUPS 183859 WITH SCORE 184066.407
AT ITER 4056 NEW BEST:: SOT 379883 SOS 207376 HAS SOPS 207376 HAS SOUS 183859 HAS SOUPS 183859 WITH SCORE 184066.376
AT ITER 4062 NEW BEST:: SOT 379912 SOS 207289 HAS SOPS 207289 HAS SOUS 183843 HAS SOUPS 183843 WITH SCORE 184050.289
AT ITER 4065 NEW BEST:: SOT 379912 SOS 207320 HAS SOPS 207320 HAS SOUS 183838 HAS SOUPS 183838 WITH SCORE 184045.32
AT ITER 4067 NEW BEST:: SOT 379912 SOS 207270 HAS SOPS 207270 HAS SOUS 183838 HAS SOUPS 183838 WITH SCORE 184045.27
AT ITER 4068 NEW BEST:: SOT 379852 SOS 207210 HAS SOPS 207210 HAS SOUS 183778 HAS SOUPS 183778 WITH SCORE 183985.21
AT ITER 4074 NEW BEST:: SOT 379852 SOS 207125 HAS SOPS 207125 HAS SOUS 183778 HAS SOUPS 183778 WITH SCORE 183985.125
AT ITER 4080 NEW BEST:: SOT 379852 SOS 207051 HAS SOPS 207051 HAS SOUS 183778 HAS SOUPS 183778 WITH SCORE 183985.051
AT ITER 4097 NEW BEST:: SOT 379919 SOS 206833 HAS SOPS 206833 HAS SOUS 183746 HAS SOUPS 183746 WITH SCORE 183952.833
AT ITER 4101 NEW BEST:: SOT 379919 SOS 206817 HAS SOPS 206817 HAS SOUS 183746 HAS SOUPS 183746 WITH SCORE 183952.817
AT ITER 4102 NEW BEST:: SOT 379902 SOS 206759 HAS SOPS 206759 HAS SOUS 183638 HAS SOUPS 183638 WITH SCORE 183844.759
AT ITER 4120 NEW BEST:: SOT 379902 SOS 205009 HAS SOPS 205009 HAS SOUS 183638 HAS SOUPS 183638 WITH SCORE 183843.009
AT ITER 4135 NEW BEST:: SOT 379902 SOS 205435 HAS SOPS 205435 HAS SOUS 183620 HAS SOUPS 183620 WITH SCORE 183825.435
AT ITER 4150 NEW BEST:: SOT 379899 SOS 205359 HAS SOPS 205359 HAS SOUS 183604 HAS SOUPS 183604 WITH SCORE 183809.359
AT ITER 4181 NEW BEST:: SOT 379843 SOS 205365 HAS SOPS 205365 HAS SOUS 183570 HAS SOUPS 183570 WITH SCORE 183775.365
AT ITER 4204 NEW BEST:: SOT 379853 SOS 205597 HAS SOPS 205597 HAS SOUS 183527 HAS SOUPS 183527 WITH SCORE 183732.597
AT ITER 4217 NEW BEST:: SOT 379853 SOS 205568 HAS SOPS 205568 HAS SOUS 183514 HAS SOUPS 183514 WITH SCORE 183719.568
AT ITER 4238 NEW BEST:: SOT 379853 SOS 205549 HAS SOPS 205549 HAS SOUS 183495 HAS SOUPS 183495 WITH SCORE 183700.549
AT ITER 4246 NEW BEST:: SOT 379853 SOS 205423 HAS SOPS 205423 HAS SOUS 183495 HAS SOUPS 183495 WITH SCORE 183700.423
AT ITER 4251 NEW BEST:: SOT 379853 SOS 205423 HAS SOPS 205423 HAS SOUS 183460 HAS SOUPS 183460 WITH SCORE 183665.423
AT ITER 4253 NEW BEST:: SOT 379965 SOS 205535 HAS SOPS 205535 HAS SOUS 183395 HAS SOUPS 183395 WITH SCORE 183600.535
AT ITER 4255 NEW BEST:: SOT 379965 SOS 205491 HAS SOPS 205491 HAS SOUS 183351 HAS SOUPS 183351 WITH SCORE 183556.491
AT ITER 4259 NEW BEST:: SOT 379975 SOS 205501 HAS SOPS 205501 HAS SOUS 183311 HAS SOUPS 183311 WITH SCORE 183516.501
AT ITER 4271 NEW BEST:: SOT 379975 SOS 205494 HAS SOPS 205494 HAS SOUS 183311 HAS SOUPS 183311 WITH SCORE 183516.494
AT ITER 4278 NEW BEST:: SOT 379975 SOS 205453 HAS SOPS 205453 HAS SOUS 183311 HAS SOUPS 183311 WITH SCORE 183516.453
AT ITER 4295 NEW BEST:: SOT 379975 SOS 205401 HAS SOPS 205401 HAS SOUS 183241 HAS SOUPS 183241 WITH SCORE 183446.401
AT ITER 4305 NEW BEST:: SOT 379932 SOS 205308 HAS SOPS 205308 HAS SOUS 183163 HAS SOUPS 183163 WITH SCORE 183368.308
AT ITER 4309 NEW BEST:: SOT 379979 SOS 205334 HAS SOPS 205334 HAS SOUS 183157 HAS SOUPS 183157 WITH SCORE 183362.334
AT ITER 4316 NEW BEST:: SOT 379979 SOS 205320 HAS SOPS 205320 HAS SOUS 183157 HAS SOUPS 183157 WITH SCORE 183362.32
AT ITER 4326 NEW BEST:: SOT 379979 SOS 205017 HAS SOPS 205017 HAS SOUS 183157 HAS SOUPS 183157 WITH SCORE 183362.017
AT ITER 4327 NEW BEST:: SOT 380011 SOS 205069 HAS SOPS 205069 HAS SOUS 183139 HAS SOUPS 183139 WITH SCORE 183344.069
AT ITER 4332 NEW BEST:: SOT 379993 SOS 205303 HAS SOPS 205303 HAS SOUS 183121 HAS SOUPS 183121 WITH SCORE 183326.303
AT ITER 4336 NEW BEST:: SOT 380057 SOS 205367 HAS SOPS 205367 HAS SOUS 183109 HAS SOUPS 183109 WITH SCORE 183314.367
AT ITER 4342 NEW BEST:: SOT 380057 SOS 204917 HAS SOPS 204917 HAS SOUS 183109 HAS SOUPS 183109 WITH SCORE 183313.917
AT ITER 4351 NEW BEST:: SOT 380053 SOS 204913 HAS SOPS 204913 HAS SOUS 183105 HAS SOUPS 183105 WITH SCORE 183309.913
AT ITER 4354 NEW BEST:: SOT 380053 SOS 204886 HAS SOPS 204886 HAS SOUS 183105 HAS SOUPS 183105 WITH SCORE 183309.886
AT ITER 4357 NEW BEST:: SOT 380053 SOS 204868 HAS SOPS 204868 HAS SOUS 182992 HAS SOUPS 182992 WITH SCORE 183196.868
AT ITER 4361 NEW BEST:: SOT 380053 SOS 204858 HAS SOPS 204858 HAS SOUS 182982 HAS SOUPS 182982 WITH SCORE 183186.858
AT ITER 4367 NEW BEST:: SOT 380053 SOS 204796 HAS SOPS 204796 HAS SOUS 182982 HAS SOUPS 182982 WITH SCORE 183186.796
AT ITER 4371 NEW BEST:: SOT 380053 SOS 204819 HAS SOPS 204819 HAS SOUS 182966 HAS SOUPS 182966 WITH SCORE 183170.819
AT ITER 4378 NEW BEST:: SOT 380045 SOS 204482 HAS SOPS 204482 HAS SOUS 182930 HAS SOUPS 182930 WITH SCORE 183134.482
AT ITER 4403 NEW BEST:: SOT 379177 SOS 206875 HAS SOPS 206875 HAS SOUS 182873 HAS SOUPS 182873 WITH SCORE 183079.875
AT ITER 4432 NEW BEST:: SOT 379177 SOS 206870 HAS SOPS 206870 HAS SOUS 182873 HAS SOUPS 182873 WITH SCORE 183079.87
AT ITER 4435 NEW BEST:: SOT 379177 SOS 206766 HAS SOPS 206766 HAS SOUS 182873 HAS SOUPS 182873 WITH SCORE 183079.766
AT ITER 4442 NEW BEST:: SOT 379112 SOS 206715 HAS SOPS 206715 HAS SOUS 182765 HAS SOUPS 182765 WITH SCORE 182971.715
AT ITER 4455 NEW BEST:: SOT 379112 SOS 206685 HAS SOPS 206685 HAS SOUS 182735 HAS SOUPS 182735 WITH SCORE 182941.685
AT ITER 4456 NEW BEST:: SOT 379202 SOS 206641 HAS SOPS 206641 HAS SOUS 182728 HAS SOUPS 182728 WITH SCORE 182934.641
AT ITER 4465 NEW BEST:: SOT 379202 SOS 206545 HAS SOPS 206545 HAS SOUS 182728 HAS SOUPS 182728 WITH SCORE 182934.545
AT ITER 4476 NEW BEST:: SOT 379202 SOS 206712 HAS SOPS 206712 HAS SOUS 182615 HAS SOUPS 182615 WITH SCORE 182821.712
AT ITER 4492 NEW BEST:: SOT 379202 SOS 206708 HAS SOPS 206708 HAS SOUS 182607 HAS SOUPS 182607 WITH SCORE 182813.708
AT ITER 4493 NEW BEST:: SOT 379110 SOS 206619 HAS SOPS 206619 HAS SOUS 182548 HAS SOUPS 182548 WITH SCORE 182754.619
AT ITER 4496 NEW BEST:: SOT 378609 SOS 206569 HAS SOPS 206569 HAS SOUS 182310 HAS SOUPS 182310 WITH SCORE 182516.569
AT ITER 4513 NEW BEST:: SOT 378609 SOS 206402 HAS SOPS 206402 HAS SOUS 182276 HAS SOUPS 182276 WITH SCORE 182482.402
AT ITER 4516 NEW BEST:: SOT 378579 SOS 206372 HAS SOPS 206372 HAS SOUS 182246 HAS SOUPS 182246 WITH SCORE 182452.372
AT ITER 4519 NEW BEST:: SOT 378552 SOS 206345 HAS SOPS 206345 HAS SOUS 182219 HAS SOUPS 182219 WITH SCORE 182425.345
AT ITER 4536 NEW BEST:: SOT 378552 SOS 206010 HAS SOPS 206010 HAS SOUS 182219 HAS SOUPS 182219 WITH SCORE 182425.01
AT ITER 4549 NEW BEST:: SOT 378529 SOS 205987 HAS SOPS 205987 HAS SOUS 182196 HAS SOUPS 182196 WITH SCORE 182401.987
AT ITER 4564 NEW BEST:: SOT 378529 SOS 205952 HAS SOPS 205952 HAS SOUS 182196 HAS SOUPS 182196 WITH SCORE 182401.952
AT ITER 4573 NEW BEST:: SOT 378463 SOS 205754 HAS SOPS 205754 HAS SOUS 182137 HAS SOUPS 182137 WITH SCORE 182342.754
AT ITER 4580 NEW BEST:: SOT 378464 SOS 205835 HAS SOPS 205835 HAS SOUS 182135 HAS SOUPS 182135 WITH SCORE 182340.835
AT ITER 4592 NEW BEST:: SOT 378428 SOS 205799 HAS SOPS 205799 HAS SOUS 182085 HAS SOUPS 182085 WITH SCORE 182290.799
AT ITER 4613 NEW BEST:: SOT 378389 SOS 205722 HAS SOPS 205722 HAS SOUS 182043 HAS SOUPS 182043 WITH SCORE 182248.722
AT ITER 4615 NEW BEST:: SOT 378378 SOS 205584 HAS SOPS 205584 HAS SOUS 181985 HAS SOUPS 181985 WITH SCORE 182190.584
AT ITER 4640 NEW BEST:: SOT 378378 SOS 205683 HAS SOPS 205683 HAS SOUS 181948 HAS SOUPS 181948 WITH SCORE 182153.683
AT ITER 4642 NEW BEST:: SOT 378370 SOS 205675 HAS SOPS 205675 HAS SOUS 181940 HAS SOUPS 181940 WITH SCORE 182145.675
AT ITER 4656 NEW BEST:: SOT 378370 SOS 205568 HAS SOPS 205568 HAS SOUS 181940 HAS SOUPS 181940 WITH SCORE 182145.568
AT ITER 4668 NEW BEST:: SOT 378370 SOS 205459 HAS SOPS 205459 HAS SOUS 181940 HAS SOUPS 181940 WITH SCORE 182145.459
AT ITER 4672 NEW BEST:: SOT 378349 SOS 205438 HAS SOPS 205438 HAS SOUS 181911 HAS SOUPS 181911 WITH SCORE 182116.438
AT ITER 4676 NEW BEST:: SOT 378349 SOS 205397 HAS SOPS 205397 HAS SOUS 181867 HAS SOUPS 181867 WITH SCORE 182072.397
AT ITER 4695 NEW BEST:: SOT 377755 SOS 204892 HAS SOPS 204892 HAS SOUS 181772 HAS SOUPS 181772 WITH SCORE 181976.892
AT ITER 4706 NEW BEST:: SOT 377755 SOS 204787 HAS SOPS 204787 HAS SOUS 181696 HAS SOUPS 181696 WITH SCORE 181900.787
AT ITER 4711 NEW BEST:: SOT 377746 SOS 204778 HAS SOPS 204778 HAS SOUS 181687 HAS SOUPS 181687 WITH SCORE 181891.778
AT ITER 4719 NEW BEST:: SOT 377708 SOS 204740 HAS SOPS 204740 HAS SOUS 181672 HAS SOUPS 181672 WITH SCORE 181876.74
AT ITER 4720 NEW BEST:: SOT 377708 SOS 204736 HAS SOPS 204736 HAS SOUS 181654 HAS SOUPS 181654 WITH SCORE 181858.736
AT ITER 4740 NEW BEST:: SOT 377700 SOS 204728 HAS SOPS 204728 HAS SOUS 181646 HAS SOUPS 181646 WITH SCORE 181850.728
AT ITER 4742 NEW BEST:: SOT 377692 SOS 204720 HAS SOPS 204720 HAS SOUS 181641 HAS SOUPS 181641 WITH SCORE 181845.72
AT ITER 4744 NEW BEST:: SOT 377692 SOS 204707 HAS SOPS 204707 HAS SOUS 181628 HAS SOUPS 181628 WITH SCORE 181832.707
AT ITER 4752 NEW BEST:: SOT 377625 SOS 204762 HAS SOPS 204762 HAS SOUS 181612 HAS SOUPS 181612 WITH SCORE 181816.762
AT ITER 4753 NEW BEST:: SOT 377625 SOS 204618 HAS SOPS 204618 HAS SOUS 181612 HAS SOUPS 181612 WITH SCORE 181816.618
AT ITER 4759 NEW BEST:: SOT 377625 SOS 204613 HAS SOPS 204613 HAS SOUS 181612 HAS SOUPS 181612 WITH SCORE 181816.613
AT ITER 4764 NEW BEST:: SOT 377625 SOS 204647 HAS SOPS 204647 HAS SOUS 181570 HAS SOUPS 181570 WITH SCORE 181774.647
AT ITER 4795 NEW BEST:: SOT 377635 SOS 204657 HAS SOPS 204657 HAS SOUS 181558 HAS SOUPS 181558 WITH SCORE 181762.657
AT ITER 4804 NEW BEST:: SOT 377720 SOS 204226 HAS SOPS 204226 HAS SOUS 181495 HAS SOUPS 181495 WITH SCORE 181699.226
AT ITER 4816 NEW BEST:: SOT 377752 SOS 204108 HAS SOPS 204108 HAS SOUS 181469 HAS SOUPS 181469 WITH SCORE 181673.108
AT ITER 4833 NEW BEST:: SOT 377746 SOS 204102 HAS SOPS 204102 HAS SOUS 181463 HAS SOUPS 181463 WITH SCORE 181667.102
AT ITER 4837 NEW BEST:: SOT 377746 SOS 204094 HAS SOPS 204094 HAS SOUS 181463 HAS SOUPS 181463 WITH SCORE 181667.094
AT ITER 4848 NEW BEST:: SOT 377739 SOS 204087 HAS SOPS 204087 HAS SOUS 181456 HAS SOUPS 181456 WITH SCORE 181660.087
AT ITER 4862 NEW BEST:: SOT 377710 SOS 204058 HAS SOPS 204058 HAS SOUS 181401 HAS SOUPS 181401 WITH SCORE 181605.058
AT ITER 4865 NEW BEST:: SOT 377709 SOS 203993 HAS SOPS 203993 HAS SOUS 181395 HAS SOUPS 181395 WITH SCORE 181598.993
AT ITER 4867 NEW BEST:: SOT 377709 SOS 203893 HAS SOPS 203893 HAS SOUS 181395 HAS SOUPS 181395 WITH SCORE 181598.893
AT ITER 4869 NEW BEST:: SOT 377661 SOS 203845 HAS SOPS 203845 HAS SOUS 181347 HAS SOUPS 181347 WITH SCORE 181550.845
AT ITER 4870 NEW BEST:: SOT 377076 SOS 203583 HAS SOPS 203583 HAS SOUS 181135 HAS SOUPS 181135 WITH SCORE 181338.583
AT ITER 4876 NEW BEST:: SOT 377078 SOS 203585 HAS SOPS 203585 HAS SOUS 181099 HAS SOUPS 181099 WITH SCORE 181302.585
AT ITER 4885 NEW BEST:: SOT 377060 SOS 203567 HAS SOPS 203567 HAS SOUS 181081 HAS SOUPS 181081 WITH SCORE 181284.567
AT ITER 4886 NEW BEST:: SOT 377060 SOS 203526 HAS SOPS 203526 HAS SOUS 181081 HAS SOUPS 181081 WITH SCORE 181284.526
AT ITER 4890 NEW BEST:: SOT 377060 SOS 203479 HAS SOPS 203479 HAS SOUS 181081 HAS SOUPS 181081 WITH SCORE 181284.479
AT ITER 4898 NEW BEST:: SOT 377060 SOS 203466 HAS SOPS 203466 HAS SOUS 181081 HAS SOUPS 181081 WITH SCORE 181284.466
AT ITER 4900 NEW BEST:: SOT 377099 SOS 203384 HAS SOPS 203384 HAS SOUS 181028 HAS SOUPS 181028 WITH SCORE 181231.384
AT ITER 4907 NEW BEST:: SOT 377056 SOS 203341 HAS SOPS 203341 HAS SOUS 180985 HAS SOUPS 180985 WITH SCORE 181188.341
AT ITER 4917 NEW BEST:: SOT 377056 SOS 203225 HAS SOPS 203225 HAS SOUS 180869 HAS SOUPS 180869 WITH SCORE 181072.225
AT ITER 4923 NEW BEST:: SOT 377056 SOS 203282 HAS SOPS 203282 HAS SOUS 180851 HAS SOUPS 180851 WITH SCORE 181054.282
AT ITER 4924 NEW BEST:: SOT 377055 SOS 203279 HAS SOPS 203279 HAS SOUS 180784 HAS SOUPS 180784 WITH SCORE 180987.279
AT ITER 4925 NEW BEST:: SOT 377055 SOS 203251 HAS SOPS 203251 HAS SOUS 180784 HAS SOUPS 180784 WITH SCORE 180987.251
AT ITER 4951 NEW BEST:: SOT 377030 SOS 203226 HAS SOPS 203226 HAS SOUS 180759 HAS SOUPS 180759 WITH SCORE 180962.226
AT ITER 4963 NEW BEST:: SOT 377030 SOS 203175 HAS SOPS 203175 HAS SOUS 180670 HAS SOUPS 180670 WITH SCORE 180873.175
AT ITER 4967 NEW BEST:: SOT 377030 SOS 203243 HAS SOPS 203243 HAS SOUS 180661 HAS SOUPS 180661 WITH SCORE 180864.243
AT ITER 4993 NEW BEST:: SOT 376829 SOS 203042 HAS SOPS 203042 HAS SOUS 180460 HAS SOUPS 180460 WITH SCORE 180663.042
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NQueens-PT-25-CTLCardinality-00 (AG( (AU( potential( (tk(P636)) <= (tk(P707)) ),potential( (tk(P226)) <= (tk(P409)) ) ))))
PROPERTY: NQueens-PT-25-CTLCardinality-01 (AG( (AU( potential( (tk(P594)) <= (tk(P672)) ),potential( (tk(P449)) <= (tk(P223)) ) ))))
PROPERTY: NQueens-PT-25-CTLCardinality-02 (EG( (EX( ( potential( (tk(P286)) <= (tk(P377)) ) | potential( ( 2 ) <= (tk(P133)) ) )))))
PROPERTY: NQueens-PT-25-CTLCardinality-03 (AF((AX( ( potential( ( 2 ) <= (tk(P595)) ) & potential( ( 3 ) <= (tk(P125)) ) )))))
PROPERTY: NQueens-PT-25-CTLCardinality-04 ( (AU( (! potential( ( 2 ) <= (tk(P491)) )),(! potential( (tk(P696)) <= (tk(P722)) )) )) | potential( ( 2 ) <= (tk(P65)) ) )
PROPERTY: NQueens-PT-25-CTLCardinality-05 ( (! ( potential( (tk(P690)) <= (tk(P406)) ) | ( ( potential( (tk(P698)) <= (tk(P16)) ) & potential( ( 2 ) <= (tk(P21)) ) ) | (! potential( (tk(P481)) <= (tk(P77)) )) ) )) & ( (AU( potential( ( 3 ) <= (tk(P16)) ),potential( (tk(P421)) <= (tk(P328)) ) )) & (EG( (! potential( ( 3 ) <= (tk(P404)) )))) ) )
PROPERTY: NQueens-PT-25-CTLCardinality-06 (EX( (EG( (! potential( ( 2 ) <= (tk(P451)) ))))))
PROPERTY: NQueens-PT-25-CTLCardinality-07 ( (EF(( (! potential( ( 3 ) <= (tk(P389)) )) & ( potential( ( 1 ) <= (tk(P758)) ) & potential( ( 3 ) <= (tk(P363)) ) ) ))) & (EF((EX( potential( ( 2 ) <= (tk(P623)) ))))) )
PROPERTY: NQueens-PT-25-CTLCardinality-08 (AF((! ( potential( (tk(P360)) <= (tk(P48)) ) | ( potential( (tk(P113)) <= (tk(P35)) ) & potential( ( 1 ) <= (tk(P433)) ) ) ))))
PROPERTY: NQueens-PT-25-CTLCardinality-09 ( (EF(( (! potential( (tk(P736)) <= (tk(P156)) )) & ( potential( (tk(P19)) <= (tk(P87)) ) & potential( ( 3 ) <= (tk(P761)) ) ) ))) & potential( (tk(P129)) <= (tk(P672)) ) )
PROPERTY: NQueens-PT-25-CTLCardinality-10 (EU( potential( (tk(P512)) <= (tk(P322)) ),(! ( potential( ( 1 ) <= (tk(P678)) ) | potential( (tk(P253)) <= (tk(P263)) ) )) ))
PROPERTY: NQueens-PT-25-CTLCardinality-11 (EG( potential( (tk(P421)) <= (tk(P494)) )))
PROPERTY: NQueens-PT-25-CTLCardinality-12 (EG( (EF(potential( ( 1 ) <= (tk(P226)) )))))
PROPERTY: NQueens-PT-25-CTLCardinality-13 ( (! (AU( potential( (tk(P540)) <= (tk(P54)) ),potential( (tk(P638)) <= (tk(P654)) ) ))) | (EF((AG( potential( (tk(P554)) <= (tk(P650)) ))))) )
PROPERTY: NQueens-PT-25-CTLCardinality-14 (AG( ( ( potential( (tk(P259)) <= (tk(P727)) ) | (! potential( (tk(P666)) <= (tk(P558)) )) ) | ( (! potential( ( 2 ) <= (tk(P63)) )) | potential( ( 2 ) <= (tk(P733)) ) ) )))
PROPERTY: NQueens-PT-25-CTLCardinality-15 ( ( (EX( potential( (tk(P223)) <= (tk(P746)) ))) & ( (AX( potential( ( 3 ) <= (tk(P423)) ))) & (AG( potential( (tk(P99)) <= (tk(P312)) ))) ) ) | (! ( ( potential( ( 2 ) <= (tk(P40)) ) & (! potential( (tk(P737)) <= (tk(P464)) )) ) | (AF(potential( ( 2 ) <= (tk(P275)) ))) )) )

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="NQueens-PT-25"
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 NQueens-PT-25, 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 r108-csrt-158961250100163"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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