Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470401083.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVt-PT-100A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470401083
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 3.5K May 14 03:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 03:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 21:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 21:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 10:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 10:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 273K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590457536094

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 100A
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: 803 places, 803 transitions, 3406 arcs.
AT ITER 0 NEW BEST:: SOT 504661 SOS 366465 HAS SOPS 366465 HAS SOUS 344729 HAS SOUPS 344729 WITH SCORE 345095.465
AT ITER 1 NEW BEST:: SOT 504371 SOS 366338 HAS SOPS 366338 HAS SOUS 344482 HAS SOUPS 344482 WITH SCORE 344848.338
AT ITER 3 NEW BEST:: SOT 504046 SOS 365562 HAS SOPS 365562 HAS SOUS 343923 HAS SOUPS 343923 WITH SCORE 344288.562
AT ITER 9 NEW BEST:: SOT 503802 SOS 365111 HAS SOPS 365111 HAS SOUS 343440 HAS SOUPS 343440 WITH SCORE 343805.111
AT ITER 10 NEW BEST:: SOT 503456 SOS 364209 HAS SOPS 364209 HAS SOUS 342952 HAS SOUPS 342952 WITH SCORE 343316.209
AT ITER 11 NEW BEST:: SOT 503179 SOS 363658 HAS SOPS 363658 HAS SOUS 342401 HAS SOUPS 342401 WITH SCORE 342764.658
AT ITER 12 NEW BEST:: SOT 502614 SOS 362861 HAS SOPS 362861 HAS SOUS 341771 HAS SOUPS 341771 WITH SCORE 342133.861
AT ITER 13 NEW BEST:: SOT 502521 SOS 362675 HAS SOPS 362675 HAS SOUS 341492 HAS SOUPS 341492 WITH SCORE 341854.675
AT ITER 17 NEW BEST:: SOT 502134 SOS 361897 HAS SOPS 361897 HAS SOUS 340716 HAS SOUPS 340716 WITH SCORE 341077.897
AT ITER 18 NEW BEST:: SOT 502128 SOS 361735 HAS SOPS 361735 HAS SOUS 340576 HAS SOUPS 340576 WITH SCORE 340937.735
AT ITER 19 NEW BEST:: SOT 502010 SOS 361585 HAS SOPS 361585 HAS SOUS 340416 HAS SOUPS 340416 WITH SCORE 340777.585
AT ITER 20 NEW BEST:: SOT 501914 SOS 361396 HAS SOPS 361396 HAS SOUS 340134 HAS SOUPS 340134 WITH SCORE 340495.396
AT ITER 22 NEW BEST:: SOT 501552 SOS 360673 HAS SOPS 360673 HAS SOUS 339411 HAS SOUPS 339411 WITH SCORE 339771.673
AT ITER 23 NEW BEST:: SOT 501415 SOS 360305 HAS SOPS 360305 HAS SOUS 338903 HAS SOUPS 338903 WITH SCORE 339263.305
AT ITER 26 NEW BEST:: SOT 501083 SOS 359397 HAS SOPS 359397 HAS SOUS 338220 HAS SOUPS 338220 WITH SCORE 338579.397
AT ITER 27 NEW BEST:: SOT 501083 SOS 359336 HAS SOPS 359336 HAS SOUS 338159 HAS SOUPS 338159 WITH SCORE 338518.336
AT ITER 30 NEW BEST:: SOT 500909 SOS 358988 HAS SOPS 358988 HAS SOUS 337637 HAS SOUPS 337637 WITH SCORE 337995.988
AT ITER 33 NEW BEST:: SOT 500556 SOS 358233 HAS SOPS 358233 HAS SOUS 336903 HAS SOUPS 336903 WITH SCORE 337261.233
AT ITER 34 NEW BEST:: SOT 500553 SOS 358230 HAS SOPS 358230 HAS SOUS 336900 HAS SOUPS 336900 WITH SCORE 337258.23
AT ITER 35 NEW BEST:: SOT 500295 SOS 357972 HAS SOPS 357972 HAS SOUS 336900 HAS SOUPS 336900 WITH SCORE 337257.972
AT ITER 38 NEW BEST:: SOT 500292 SOS 357969 HAS SOPS 357969 HAS SOUS 336897 HAS SOUPS 336897 WITH SCORE 337254.969
AT ITER 46 NEW BEST:: SOT 499976 SOS 357342 HAS SOPS 357342 HAS SOUS 336272 HAS SOUPS 336272 WITH SCORE 336629.342
AT ITER 50 NEW BEST:: SOT 499973 SOS 357339 HAS SOPS 357339 HAS SOUS 336269 HAS SOUPS 336269 WITH SCORE 336626.339
AT ITER 51 NEW BEST:: SOT 499834 SOS 357200 HAS SOPS 357200 HAS SOUS 336130 HAS SOUPS 336130 WITH SCORE 336487.2
AT ITER 53 NEW BEST:: SOT 499479 SOS 356504 HAS SOPS 356504 HAS SOUS 335653 HAS SOUPS 335653 WITH SCORE 336009.504
AT ITER 54 NEW BEST:: SOT 499382 SOS 356217 HAS SOPS 356217 HAS SOUS 335579 HAS SOUPS 335579 WITH SCORE 335935.217
AT ITER 55 NEW BEST:: SOT 499395 SOS 356063 HAS SOPS 356063 HAS SOUS 335432 HAS SOUPS 335432 WITH SCORE 335788.063
AT ITER 56 NEW BEST:: SOT 499144 SOS 355708 HAS SOPS 355708 HAS SOUS 335097 HAS SOUPS 335097 WITH SCORE 335452.708
AT ITER 57 NEW BEST:: SOT 498879 SOS 354963 HAS SOPS 354963 HAS SOUS 334304 HAS SOUPS 334304 WITH SCORE 334658.963
AT ITER 59 NEW BEST:: SOT 498879 SOS 354983 HAS SOPS 354983 HAS SOUS 334295 HAS SOUPS 334295 WITH SCORE 334649.983
AT ITER 61 NEW BEST:: SOT 498472 SOS 353959 HAS SOPS 353959 HAS SOUS 333511 HAS SOUPS 333511 WITH SCORE 333864.959
AT ITER 62 NEW BEST:: SOT 498156 SOS 353328 HAS SOPS 353328 HAS SOUS 332652 HAS SOUPS 332652 WITH SCORE 333005.328
AT ITER 64 NEW BEST:: SOT 497989 SOS 353051 HAS SOPS 353051 HAS SOUS 332324 HAS SOUPS 332324 WITH SCORE 332677.051
AT ITER 66 NEW BEST:: SOT 497986 SOS 353048 HAS SOPS 353048 HAS SOUS 332321 HAS SOUPS 332321 WITH SCORE 332674.048
AT ITER 68 NEW BEST:: SOT 497986 SOS 353047 HAS SOPS 353047 HAS SOUS 332321 HAS SOUPS 332321 WITH SCORE 332674.047
AT ITER 71 NEW BEST:: SOT 497677 SOS 352426 HAS SOPS 352426 HAS SOUS 331880 HAS SOUPS 331880 WITH SCORE 332232.426
AT ITER 72 NEW BEST:: SOT 497652 SOS 352401 HAS SOPS 352401 HAS SOUS 331855 HAS SOUPS 331855 WITH SCORE 332207.401
AT ITER 75 NEW BEST:: SOT 497430 SOS 351958 HAS SOPS 351958 HAS SOUS 331191 HAS SOUPS 331191 WITH SCORE 331542.958
AT ITER 77 NEW BEST:: SOT 497082 SOS 351280 HAS SOPS 351280 HAS SOUS 330698 HAS SOUPS 330698 WITH SCORE 331049.28
AT ITER 79 NEW BEST:: SOT 496913 SOS 350942 HAS SOPS 350942 HAS SOUS 330191 HAS SOUPS 330191 WITH SCORE 330541.942
AT ITER 80 NEW BEST:: SOT 496123 SOS 349764 HAS SOPS 349764 HAS SOUS 328866 HAS SOUPS 328866 WITH SCORE 329215.764
AT ITER 84 NEW BEST:: SOT 495817 SOS 348939 HAS SOPS 348939 HAS SOUS 327950 HAS SOUPS 327950 WITH SCORE 328298.939
AT ITER 85 NEW BEST:: SOT 495558 SOS 348427 HAS SOPS 348427 HAS SOUS 327438 HAS SOUPS 327438 WITH SCORE 327786.427
AT ITER 86 NEW BEST:: SOT 495483 SOS 348200 HAS SOPS 348200 HAS SOUS 327112 HAS SOUPS 327112 WITH SCORE 327460.2
AT ITER 87 NEW BEST:: SOT 495535 SOS 348400 HAS SOPS 348400 HAS SOUS 327024 HAS SOUPS 327024 WITH SCORE 327372.4
AT ITER 88 NEW BEST:: SOT 495080 SOS 347670 HAS SOPS 347670 HAS SOUS 326074 HAS SOUPS 326074 WITH SCORE 326421.67
AT ITER 91 NEW BEST:: SOT 494961 SOS 347433 HAS SOPS 347433 HAS SOUS 325719 HAS SOUPS 325719 WITH SCORE 326066.433
AT ITER 94 NEW BEST:: SOT 494559 SOS 346598 HAS SOPS 346598 HAS SOUS 325301 HAS SOUPS 325301 WITH SCORE 325647.598
AT ITER 98 NEW BEST:: SOT 494382 SOS 346186 HAS SOPS 346186 HAS SOUS 324950 HAS SOUPS 324950 WITH SCORE 325296.186
AT ITER 106 NEW BEST:: SOT 494357 SOS 346064 HAS SOPS 346064 HAS SOUS 324870 HAS SOUPS 324870 WITH SCORE 325216.064
AT ITER 107 NEW BEST:: SOT 494196 SOS 345778 HAS SOPS 345778 HAS SOUS 324719 HAS SOUPS 324719 WITH SCORE 325064.778
AT ITER 110 NEW BEST:: SOT 494140 SOS 345453 HAS SOPS 345453 HAS SOUS 324652 HAS SOUPS 324652 WITH SCORE 324997.453
AT ITER 111 NEW BEST:: SOT 494140 SOS 345453 HAS SOPS 345453 HAS SOUS 324609 HAS SOUPS 324609 WITH SCORE 324954.453
AT ITER 112 NEW BEST:: SOT 493825 SOS 344595 HAS SOPS 344595 HAS SOUS 323976 HAS SOUPS 323976 WITH SCORE 324320.595
AT ITER 117 NEW BEST:: SOT 493825 SOS 344587 HAS SOPS 344587 HAS SOUS 323976 HAS SOUPS 323976 WITH SCORE 324320.587
AT ITER 120 NEW BEST:: SOT 493837 SOS 344710 HAS SOPS 344710 HAS SOUS 323961 HAS SOUPS 323961 WITH SCORE 324305.71
AT ITER 125 NEW BEST:: SOT 493837 SOS 344828 HAS SOPS 344828 HAS SOUS 323711 HAS SOUPS 323711 WITH SCORE 324055.828
AT ITER 126 NEW BEST:: SOT 493477 SOS 344111 HAS SOPS 344111 HAS SOUS 322994 HAS SOUPS 322994 WITH SCORE 323338.111
AT ITER 128 NEW BEST:: SOT 493504 SOS 343957 HAS SOPS 343957 HAS SOUS 322916 HAS SOUPS 322916 WITH SCORE 323259.957
AT ITER 129 NEW BEST:: SOT 493466 SOS 343881 HAS SOPS 343881 HAS SOUS 322840 HAS SOUPS 322840 WITH SCORE 323183.881
AT ITER 130 NEW BEST:: SOT 493273 SOS 343496 HAS SOPS 343496 HAS SOUS 322263 HAS SOUPS 322263 WITH SCORE 322606.496
AT ITER 132 NEW BEST:: SOT 493270 SOS 343493 HAS SOPS 343493 HAS SOUS 322042 HAS SOUPS 322042 WITH SCORE 322385.493
AT ITER 134 NEW BEST:: SOT 492964 SOS 342884 HAS SOPS 342884 HAS SOUS 321207 HAS SOUPS 321207 WITH SCORE 321549.884
AT ITER 135 NEW BEST:: SOT 492907 SOS 342810 HAS SOPS 342810 HAS SOUS 321197 HAS SOUPS 321197 WITH SCORE 321539.81
AT ITER 137 NEW BEST:: SOT 492264 SOS 341642 HAS SOPS 341642 HAS SOUS 320303 HAS SOUPS 320303 WITH SCORE 320644.642
AT ITER 138 NEW BEST:: SOT 491727 SOS 340748 HAS SOPS 340748 HAS SOUS 319275 HAS SOUPS 319275 WITH SCORE 319615.748
AT ITER 141 NEW BEST:: SOT 491421 SOS 340280 HAS SOPS 340280 HAS SOUS 318956 HAS SOUPS 318956 WITH SCORE 319296.28
AT ITER 145 NEW BEST:: SOT 490655 SOS 339120 HAS SOPS 339120 HAS SOUS 317608 HAS SOUPS 317608 WITH SCORE 317947.12
AT ITER 146 NEW BEST:: SOT 490337 SOS 338487 HAS SOPS 338487 HAS SOUS 316730 HAS SOUPS 316730 WITH SCORE 317068.487
AT ITER 156 NEW BEST:: SOT 489987 SOS 337531 HAS SOPS 337531 HAS SOUS 315914 HAS SOUPS 315914 WITH SCORE 316251.531
AT ITER 161 NEW BEST:: SOT 489815 SOS 337187 HAS SOPS 337187 HAS SOUS 315398 HAS SOUPS 315398 WITH SCORE 315735.187
AT ITER 164 NEW BEST:: SOT 489754 SOS 336926 HAS SOPS 336926 HAS SOUS 315164 HAS SOUPS 315164 WITH SCORE 315500.926
AT ITER 165 NEW BEST:: SOT 489102 SOS 335586 HAS SOPS 335586 HAS SOUS 314260 HAS SOUPS 314260 WITH SCORE 314595.586
AT ITER 168 NEW BEST:: SOT 488822 SOS 334740 HAS SOPS 334740 HAS SOUS 313279 HAS SOUPS 313279 WITH SCORE 313613.74
AT ITER 171 NEW BEST:: SOT 488735 SOS 334653 HAS SOPS 334653 HAS SOUS 313192 HAS SOUPS 313192 WITH SCORE 313526.653
AT ITER 172 NEW BEST:: SOT 488732 SOS 334650 HAS SOPS 334650 HAS SOUS 313189 HAS SOUPS 313189 WITH SCORE 313523.65
AT ITER 173 NEW BEST:: SOT 488572 SOS 334490 HAS SOPS 334490 HAS SOUS 313029 HAS SOUPS 313029 WITH SCORE 313363.49
AT ITER 174 NEW BEST:: SOT 488462 SOS 334401 HAS SOPS 334401 HAS SOUS 312919 HAS SOUPS 312919 WITH SCORE 313253.401
AT ITER 175 NEW BEST:: SOT 488105 SOS 333684 HAS SOPS 333684 HAS SOUS 312356 HAS SOUPS 312356 WITH SCORE 312689.684
AT ITER 177 NEW BEST:: SOT 487656 SOS 332871 HAS SOPS 332871 HAS SOUS 311630 HAS SOUPS 311630 WITH SCORE 311962.871
AT ITER 178 NEW BEST:: SOT 487824 SOS 332996 HAS SOPS 332996 HAS SOUS 311525 HAS SOUPS 311525 WITH SCORE 311857.996
AT ITER 179 NEW BEST:: SOT 487154 SOS 331938 HAS SOPS 331938 HAS SOUS 310180 HAS SOUPS 310180 WITH SCORE 310511.938
AT ITER 182 NEW BEST:: SOT 486908 SOS 331446 HAS SOPS 331446 HAS SOUS 309688 HAS SOUPS 309688 WITH SCORE 310019.446
AT ITER 183 NEW BEST:: SOT 486564 SOS 330758 HAS SOPS 330758 HAS SOUS 309000 HAS SOUPS 309000 WITH SCORE 309330.758
AT ITER 184 NEW BEST:: SOT 486564 SOS 330830 HAS SOPS 330830 HAS SOUS 308926 HAS SOUPS 308926 WITH SCORE 309256.83
AT ITER 188 NEW BEST:: SOT 486314 SOS 330330 HAS SOPS 330330 HAS SOUS 308176 HAS SOUPS 308176 WITH SCORE 308506.33
AT ITER 189 NEW BEST:: SOT 485519 SOS 329535 HAS SOPS 329535 HAS SOUS 307337 HAS SOUPS 307337 WITH SCORE 307666.535
AT ITER 190 NEW BEST:: SOT 485407 SOS 329205 HAS SOPS 329205 HAS SOUS 307007 HAS SOUPS 307007 WITH SCORE 307336.205
AT ITER 191 NEW BEST:: SOT 485099 SOS 328794 HAS SOPS 328794 HAS SOUS 306454 HAS SOUPS 306454 WITH SCORE 306782.794
AT ITER 193 NEW BEST:: SOT 484599 SOS 327898 HAS SOPS 327898 HAS SOUS 305165 HAS SOUPS 305165 WITH SCORE 305492.898
AT ITER 194 NEW BEST:: SOT 484574 SOS 327948 HAS SOPS 327948 HAS SOUS 305115 HAS SOUPS 305115 WITH SCORE 305442.948
AT ITER 196 NEW BEST:: SOT 484570 SOS 327944 HAS SOPS 327944 HAS SOUS 305111 HAS SOUPS 305111 WITH SCORE 305438.944
AT ITER 203 NEW BEST:: SOT 484209 SOS 327222 HAS SOPS 327222 HAS SOUS 304622 HAS SOUPS 304622 WITH SCORE 304949.222
AT ITER 206 NEW BEST:: SOT 484165 SOS 327134 HAS SOPS 327134 HAS SOUS 304490 HAS SOUPS 304490 WITH SCORE 304817.134
AT ITER 207 NEW BEST:: SOT 484040 SOS 326901 HAS SOPS 326901 HAS SOUS 304149 HAS SOUPS 304149 WITH SCORE 304475.901
AT ITER 209 NEW BEST:: SOT 484040 SOS 326901 HAS SOPS 326901 HAS SOUS 304015 HAS SOUPS 304015 WITH SCORE 304341.901
AT ITER 210 NEW BEST:: SOT 483443 SOS 326028 HAS SOPS 326028 HAS SOUS 302870 HAS SOUPS 302870 WITH SCORE 303196.028
AT ITER 212 NEW BEST:: SOT 483439 SOS 326024 HAS SOPS 326024 HAS SOUS 302866 HAS SOUPS 302866 WITH SCORE 303192.024
AT ITER 214 NEW BEST:: SOT 483428 SOS 325713 HAS SOPS 325713 HAS SOUS 302845 HAS SOUPS 302845 WITH SCORE 303170.713
AT ITER 217 NEW BEST:: SOT 483333 SOS 325525 HAS SOPS 325525 HAS SOUS 302836 HAS SOUPS 302836 WITH SCORE 303161.525
AT ITER 218 NEW BEST:: SOT 482985 SOS 324581 HAS SOPS 324581 HAS SOUS 301758 HAS SOUPS 301758 WITH SCORE 302082.581
AT ITER 221 NEW BEST:: SOT 482983 SOS 324577 HAS SOPS 324577 HAS SOUS 301754 HAS SOUPS 301754 WITH SCORE 302078.577
AT ITER 224 NEW BEST:: SOT 482756 SOS 324123 HAS SOPS 324123 HAS SOUS 301301 HAS SOUPS 301301 WITH SCORE 301625.123
AT ITER 225 NEW BEST:: SOT 482703 SOS 324014 HAS SOPS 324014 HAS SOUS 301245 HAS SOUPS 301245 WITH SCORE 301569.014
AT ITER 227 NEW BEST:: SOT 482411 SOS 323431 HAS SOPS 323431 HAS SOUS 300662 HAS SOUPS 300662 WITH SCORE 300985.431
AT ITER 229 NEW BEST:: SOT 481538 SOS 322211 HAS SOPS 322211 HAS SOUS 299195 HAS SOUPS 299195 WITH SCORE 299517.211
AT ITER 232 NEW BEST:: SOT 481430 SOS 321847 HAS SOPS 321847 HAS SOUS 298954 HAS SOUPS 298954 WITH SCORE 299275.847
AT ITER 234 NEW BEST:: SOT 481351 SOS 321608 HAS SOPS 321608 HAS SOUS 298793 HAS SOUPS 298793 WITH SCORE 299114.608
AT ITER 235 NEW BEST:: SOT 481237 SOS 321277 HAS SOPS 321277 HAS SOUS 298641 HAS SOUPS 298641 WITH SCORE 298962.277
AT ITER 236 NEW BEST:: SOT 481237 SOS 321291 HAS SOPS 321291 HAS SOUS 298543 HAS SOUPS 298543 WITH SCORE 298864.291
AT ITER 237 NEW BEST:: SOT 480893 SOS 320741 HAS SOPS 320741 HAS SOUS 298122 HAS SOUPS 298122 WITH SCORE 298442.741
AT ITER 239 NEW BEST:: SOT 480328 SOS 319616 HAS SOPS 319616 HAS SOUS 296986 HAS SOUPS 296986 WITH SCORE 297305.616
AT ITER 243 NEW BEST:: SOT 480110 SOS 319012 HAS SOPS 319012 HAS SOUS 296550 HAS SOUPS 296550 WITH SCORE 296869.012
AT ITER 244 NEW BEST:: SOT 479746 SOS 318288 HAS SOPS 318288 HAS SOUS 295826 HAS SOUPS 295826 WITH SCORE 296144.288
AT ITER 246 NEW BEST:: SOT 479706 SOS 318309 HAS SOPS 318309 HAS SOUS 295630 HAS SOUPS 295630 WITH SCORE 295948.309
AT ITER 247 NEW BEST:: SOT 479501 SOS 318017 HAS SOPS 318017 HAS SOUS 295387 HAS SOUPS 295387 WITH SCORE 295705.017
AT ITER 249 NEW BEST:: SOT 479501 SOS 318017 HAS SOPS 318017 HAS SOUS 295189 HAS SOUPS 295189 WITH SCORE 295507.017
AT ITER 250 NEW BEST:: SOT 478798 SOS 316963 HAS SOPS 316963 HAS SOUS 294187 HAS SOUPS 294187 WITH SCORE 294503.963
AT ITER 259 NEW BEST:: SOT 478530 SOS 316429 HAS SOPS 316429 HAS SOUS 293716 HAS SOUPS 293716 WITH SCORE 294032.429
AT ITER 260 NEW BEST:: SOT 477809 SOS 315290 HAS SOPS 315290 HAS SOUS 292662 HAS SOUPS 292662 WITH SCORE 292977.29
AT ITER 261 NEW BEST:: SOT 477700 SOS 315007 HAS SOPS 315007 HAS SOUS 292379 HAS SOUPS 292379 WITH SCORE 292694.007
AT ITER 265 NEW BEST:: SOT 477518 SOS 314610 HAS SOPS 314610 HAS SOUS 291920 HAS SOUPS 291920 WITH SCORE 292234.61
AT ITER 267 NEW BEST:: SOT 477254 SOS 314084 HAS SOPS 314084 HAS SOUS 291211 HAS SOUPS 291211 WITH SCORE 291525.084
AT ITER 268 NEW BEST:: SOT 477122 SOS 313908 HAS SOPS 313908 HAS SOUS 290863 HAS SOUPS 290863 WITH SCORE 291176.908
AT ITER 272 NEW BEST:: SOT 477044 SOS 313791 HAS SOPS 313791 HAS SOUS 290746 HAS SOUPS 290746 WITH SCORE 291059.791
AT ITER 274 NEW BEST:: SOT 477043 SOS 313790 HAS SOPS 313790 HAS SOUS 290745 HAS SOUPS 290745 WITH SCORE 291058.79
AT ITER 280 NEW BEST:: SOT 477032 SOS 313771 HAS SOPS 313771 HAS SOUS 290720 HAS SOUPS 290720 WITH SCORE 291033.771
AT ITER 281 NEW BEST:: SOT 477032 SOS 313767 HAS SOPS 313767 HAS SOUS 290718 HAS SOUPS 290718 WITH SCORE 291031.767
AT ITER 282 NEW BEST:: SOT 476821 SOS 313343 HAS SOPS 313343 HAS SOUS 290084 HAS SOUPS 290084 WITH SCORE 290397.343
AT ITER 289 NEW BEST:: SOT 476496 SOS 312689 HAS SOPS 312689 HAS SOUS 289671 HAS SOUPS 289671 WITH SCORE 289983.689
AT ITER 290 NEW BEST:: SOT 476495 SOS 312688 HAS SOPS 312688 HAS SOUS 289474 HAS SOUPS 289474 WITH SCORE 289786.688
AT ITER 291 NEW BEST:: SOT 475928 SOS 311832 HAS SOPS 311832 HAS SOUS 288759 HAS SOUPS 288759 WITH SCORE 289070.832
AT ITER 292 NEW BEST:: SOT 475927 SOS 311831 HAS SOPS 311831 HAS SOUS 288758 HAS SOUPS 288758 WITH SCORE 289069.831
AT ITER 294 NEW BEST:: SOT 475927 SOS 311906 HAS SOPS 311906 HAS SOUS 288408 HAS SOUPS 288408 WITH SCORE 288719.906
AT ITER 296 NEW BEST:: SOT 475844 SOS 311477 HAS SOPS 311477 HAS SOUS 288208 HAS SOUPS 288208 WITH SCORE 288519.477
AT ITER 297 NEW BEST:: SOT 475575 SOS 311134 HAS SOPS 311134 HAS SOUS 287791 HAS SOUPS 287791 WITH SCORE 288102.134
AT ITER 299 NEW BEST:: SOT 475571 SOS 311130 HAS SOPS 311130 HAS SOUS 287787 HAS SOUPS 287787 WITH SCORE 288098.13
AT ITER 300 NEW BEST:: SOT 475498 SOS 311057 HAS SOPS 311057 HAS SOUS 287714 HAS SOUPS 287714 WITH SCORE 288025.057
AT ITER 301 NEW BEST:: SOT 475603 SOS 310652 HAS SOPS 310652 HAS SOUS 287526 HAS SOUPS 287526 WITH SCORE 287836.652
AT ITER 302 NEW BEST:: SOT 475383 SOS 310432 HAS SOPS 310432 HAS SOUS 287306 HAS SOUPS 287306 WITH SCORE 287616.432
AT ITER 305 NEW BEST:: SOT 475181 SOS 310027 HAS SOPS 310027 HAS SOUS 286963 HAS SOUPS 286963 WITH SCORE 287273.027
AT ITER 306 NEW BEST:: SOT 475177 SOS 310023 HAS SOPS 310023 HAS SOUS 286959 HAS SOUPS 286959 WITH SCORE 287269.023
AT ITER 307 NEW BEST:: SOT 474596 SOS 309043 HAS SOPS 309043 HAS SOUS 285748 HAS SOUPS 285748 WITH SCORE 286057.043
AT ITER 308 NEW BEST:: SOT 474578 SOS 309025 HAS SOPS 309025 HAS SOUS 285730 HAS SOUPS 285730 WITH SCORE 286039.025
AT ITER 312 NEW BEST:: SOT 474394 SOS 308841 HAS SOPS 308841 HAS SOUS 285484 HAS SOUPS 285484 WITH SCORE 285792.841
AT ITER 314 NEW BEST:: SOT 474019 SOS 307940 HAS SOPS 307940 HAS SOUS 284620 HAS SOUPS 284620 WITH SCORE 284927.94
AT ITER 319 NEW BEST:: SOT 474018 SOS 307939 HAS SOPS 307939 HAS SOUS 284619 HAS SOUPS 284619 WITH SCORE 284926.939
AT ITER 322 NEW BEST:: SOT 473766 SOS 307436 HAS SOPS 307436 HAS SOUS 284116 HAS SOUPS 284116 WITH SCORE 284423.436
AT ITER 325 NEW BEST:: SOT 473704 SOS 307374 HAS SOPS 307374 HAS SOUS 284054 HAS SOUPS 284054 WITH SCORE 284361.374
AT ITER 326 NEW BEST:: SOT 472939 SOS 306353 HAS SOPS 306353 HAS SOUS 282777 HAS SOUPS 282777 WITH SCORE 283083.353
AT ITER 327 NEW BEST:: SOT 472776 SOS 306289 HAS SOPS 306289 HAS SOUS 282671 HAS SOUPS 282671 WITH SCORE 282977.289
AT ITER 328 NEW BEST:: SOT 472762 SOS 306268 HAS SOPS 306268 HAS SOUS 282650 HAS SOUPS 282650 WITH SCORE 282956.268
AT ITER 329 NEW BEST:: SOT 472585 SOS 306175 HAS SOPS 306175 HAS SOUS 282227 HAS SOUPS 282227 WITH SCORE 282533.175
AT ITER 331 NEW BEST:: SOT 472555 SOS 305960 HAS SOPS 305960 HAS SOUS 282122 HAS SOUPS 282122 WITH SCORE 282427.96
AT ITER 332 NEW BEST:: SOT 472549 SOS 305942 HAS SOPS 305942 HAS SOUS 282104 HAS SOUPS 282104 WITH SCORE 282409.942
AT ITER 334 NEW BEST:: SOT 472403 SOS 305796 HAS SOPS 305796 HAS SOUS 281958 HAS SOUPS 281958 WITH SCORE 282263.796
AT ITER 342 NEW BEST:: SOT 472010 SOS 304839 HAS SOPS 304839 HAS SOUS 281285 HAS SOUPS 281285 WITH SCORE 281589.839
AT ITER 344 NEW BEST:: SOT 471365 SOS 303929 HAS SOPS 303929 HAS SOUS 280354 HAS SOUPS 280354 WITH SCORE 280657.929
AT ITER 345 NEW BEST:: SOT 471165 SOS 303729 HAS SOPS 303729 HAS SOUS 280154 HAS SOUPS 280154 WITH SCORE 280457.729
AT ITER 347 NEW BEST:: SOT 470905 SOS 302864 HAS SOPS 302864 HAS SOUS 279572 HAS SOUPS 279572 WITH SCORE 279874.864
AT ITER 349 NEW BEST:: SOT 470336 SOS 301548 HAS SOPS 301548 HAS SOUS 278245 HAS SOUPS 278245 WITH SCORE 278546.548
AT ITER 351 NEW BEST:: SOT 470155 SOS 301210 HAS SOPS 301210 HAS SOUS 277772 HAS SOUPS 277772 WITH SCORE 278073.21
AT ITER 352 NEW BEST:: SOT 469897 SOS 300937 HAS SOPS 300937 HAS SOUS 277318 HAS SOUPS 277318 WITH SCORE 277618.937
AT ITER 353 NEW BEST:: SOT 469601 SOS 299751 HAS SOPS 299751 HAS SOUS 276426 HAS SOUPS 276426 WITH SCORE 276725.751
AT ITER 356 NEW BEST:: SOT 469633 SOS 299879 HAS SOPS 299879 HAS SOUS 276411 HAS SOUPS 276411 WITH SCORE 276710.879
AT ITER 357 NEW BEST:: SOT 469537 SOS 299687 HAS SOPS 299687 HAS SOUS 276123 HAS SOUPS 276123 WITH SCORE 276422.687
AT ITER 358 NEW BEST:: SOT 468891 SOS 298753 HAS SOPS 298753 HAS SOUS 275228 HAS SOUPS 275228 WITH SCORE 275526.753
AT ITER 361 NEW BEST:: SOT 468829 SOS 298629 HAS SOPS 298629 HAS SOUS 275042 HAS SOUPS 275042 WITH SCORE 275340.629
AT ITER 362 NEW BEST:: SOT 468829 SOS 298553 HAS SOPS 298553 HAS SOUS 274959 HAS SOUPS 274959 WITH SCORE 275257.553
AT ITER 367 NEW BEST:: SOT 468586 SOS 298067 HAS SOPS 298067 HAS SOUS 274252 HAS SOUPS 274252 WITH SCORE 274550.067
AT ITER 368 NEW BEST:: SOT 468446 SOS 297832 HAS SOPS 297832 HAS SOUS 274046 HAS SOUPS 274046 WITH SCORE 274343.832
AT ITER 369 NEW BEST:: SOT 468381 SOS 297723 HAS SOPS 297723 HAS SOUS 273937 HAS SOUPS 273937 WITH SCORE 274234.723
AT ITER 370 NEW BEST:: SOT 468377 SOS 297719 HAS SOPS 297719 HAS SOUS 273933 HAS SOUPS 273933 WITH SCORE 274230.719
AT ITER 372 NEW BEST:: SOT 468377 SOS 297944 HAS SOPS 297944 HAS SOUS 273796 HAS SOUPS 273796 WITH SCORE 274093.944
AT ITER 378 NEW BEST:: SOT 467895 SOS 297207 HAS SOPS 297207 HAS SOUS 273034 HAS SOUPS 273034 WITH SCORE 273331.207
AT ITER 380 NEW BEST:: SOT 467603 SOS 296626 HAS SOPS 296626 HAS SOUS 272349 HAS SOUPS 272349 WITH SCORE 272645.626
AT ITER 383 NEW BEST:: SOT 467562 SOS 296585 HAS SOPS 296585 HAS SOUS 272308 HAS SOUPS 272308 WITH SCORE 272604.585
AT ITER 384 NEW BEST:: SOT 467562 SOS 296576 HAS SOPS 296576 HAS SOUS 272299 HAS SOUPS 272299 WITH SCORE 272595.576
AT ITER 389 NEW BEST:: SOT 467311 SOS 296112 HAS SOPS 296112 HAS SOUS 271866 HAS SOUPS 271866 WITH SCORE 272162.112
AT ITER 395 NEW BEST:: SOT 467120 SOS 295921 HAS SOPS 295921 HAS SOUS 271675 HAS SOUPS 271675 WITH SCORE 271970.921
AT ITER 402 NEW BEST:: SOT 466889 SOS 295454 HAS SOPS 295454 HAS SOUS 271441 HAS SOUPS 271441 WITH SCORE 271736.454
AT ITER 407 NEW BEST:: SOT 466861 SOS 295398 HAS SOPS 295398 HAS SOUS 271357 HAS SOUPS 271357 WITH SCORE 271652.398
AT ITER 408 NEW BEST:: SOT 466707 SOS 294899 HAS SOPS 294899 HAS SOUS 270616 HAS SOUPS 270616 WITH SCORE 270910.899
AT ITER 409 NEW BEST:: SOT 466707 SOS 294899 HAS SOPS 294899 HAS SOUS 270612 HAS SOUPS 270612 WITH SCORE 270906.899
AT ITER 411 NEW BEST:: SOT 466750 SOS 295126 HAS SOPS 295126 HAS SOUS 270202 HAS SOUPS 270202 WITH SCORE 270497.126
AT ITER 412 NEW BEST:: SOT 466750 SOS 295251 HAS SOPS 295251 HAS SOUS 270072 HAS SOUPS 270072 WITH SCORE 270367.251
AT ITER 414 NEW BEST:: SOT 466739 SOS 295252 HAS SOPS 295252 HAS SOUS 270063 HAS SOUPS 270063 WITH SCORE 270358.252
AT ITER 415 NEW BEST:: SOT 466573 SOS 294924 HAS SOPS 294924 HAS SOUS 269573 HAS SOUPS 269573 WITH SCORE 269867.924
AT ITER 416 NEW BEST:: SOT 466499 SOS 294759 HAS SOPS 294759 HAS SOUS 269408 HAS SOUPS 269408 WITH SCORE 269702.759
AT ITER 419 NEW BEST:: SOT 466498 SOS 294758 HAS SOPS 294758 HAS SOUS 269407 HAS SOUPS 269407 WITH SCORE 269701.758
AT ITER 420 NEW BEST:: SOT 466445 SOS 294652 HAS SOPS 294652 HAS SOUS 269301 HAS SOUPS 269301 WITH SCORE 269595.652
AT ITER 423 NEW BEST:: SOT 466438 SOS 294617 HAS SOPS 294617 HAS SOUS 269287 HAS SOUPS 269287 WITH SCORE 269581.617
AT ITER 424 NEW BEST:: SOT 466363 SOS 294529 HAS SOPS 294529 HAS SOUS 269200 HAS SOUPS 269200 WITH SCORE 269494.529
AT ITER 425 NEW BEST:: SOT 466217 SOS 294241 HAS SOPS 294241 HAS SOUS 268981 HAS SOUPS 268981 WITH SCORE 269275.241
AT ITER 426 NEW BEST:: SOT 466084 SOS 294449 HAS SOPS 294449 HAS SOUS 268945 HAS SOUPS 268945 WITH SCORE 269239.449
AT ITER 428 NEW BEST:: SOT 466056 SOS 294421 HAS SOPS 294421 HAS SOUS 268917 HAS SOUPS 268917 WITH SCORE 269211.421
AT ITER 432 NEW BEST:: SOT 466056 SOS 294504 HAS SOPS 294504 HAS SOUS 268813 HAS SOUPS 268813 WITH SCORE 269107.504
AT ITER 434 NEW BEST:: SOT 465864 SOS 294120 HAS SOPS 294120 HAS SOUS 268429 HAS SOUPS 268429 WITH SCORE 268723.12
AT ITER 439 NEW BEST:: SOT 465864 SOS 294120 HAS SOPS 294120 HAS SOUS 268307 HAS SOUPS 268307 WITH SCORE 268601.12
AT ITER 444 NEW BEST:: SOT 465210 SOS 293081 HAS SOPS 293081 HAS SOUS 267265 HAS SOUPS 267265 WITH SCORE 267558.081
AT ITER 446 NEW BEST:: SOT 464842 SOS 292317 HAS SOPS 292317 HAS SOUS 266580 HAS SOUPS 266580 WITH SCORE 266872.317
AT ITER 453 NEW BEST:: SOT 464640 SOS 291557 HAS SOPS 291557 HAS SOUS 265822 HAS SOUPS 265822 WITH SCORE 266113.557
AT ITER 454 NEW BEST:: SOT 464634 SOS 291551 HAS SOPS 291551 HAS SOUS 265594 HAS SOUPS 265594 WITH SCORE 265885.551
AT ITER 458 NEW BEST:: SOT 464406 SOS 291095 HAS SOPS 291095 HAS SOUS 265276 HAS SOUPS 265276 WITH SCORE 265567.095
AT ITER 459 NEW BEST:: SOT 464404 SOS 290973 HAS SOPS 290973 HAS SOUS 264801 HAS SOUPS 264801 WITH SCORE 265091.973
AT ITER 463 NEW BEST:: SOT 464477 SOS 291240 HAS SOPS 291240 HAS SOUS 264627 HAS SOUPS 264627 WITH SCORE 264918.24
AT ITER 464 NEW BEST:: SOT 464293 SOS 291056 HAS SOPS 291056 HAS SOUS 264443 HAS SOUPS 264443 WITH SCORE 264734.056
AT ITER 466 NEW BEST:: SOT 464090 SOS 290366 HAS SOPS 290366 HAS SOUS 264015 HAS SOUPS 264015 WITH SCORE 264305.366
AT ITER 468 NEW BEST:: SOT 464090 SOS 290366 HAS SOPS 290366 HAS SOUS 263920 HAS SOUPS 263920 WITH SCORE 264210.366
AT ITER 472 NEW BEST:: SOT 463689 SOS 289194 HAS SOPS 289194 HAS SOUS 262824 HAS SOUPS 262824 WITH SCORE 263113.194
AT ITER 475 NEW BEST:: SOT 463585 SOS 289036 HAS SOPS 289036 HAS SOUS 262612 HAS SOUPS 262612 WITH SCORE 262901.036
AT ITER 478 NEW BEST:: SOT 463494 SOS 288835 HAS SOPS 288835 HAS SOUS 261824 HAS SOUPS 261824 WITH SCORE 262112.835
AT ITER 487 NEW BEST:: SOT 463274 SOS 288604 HAS SOPS 288604 HAS SOUS 261582 HAS SOUPS 261582 WITH SCORE 261870.604
AT ITER 489 NEW BEST:: SOT 462994 SOS 288212 HAS SOPS 288212 HAS SOUS 261190 HAS SOUPS 261190 WITH SCORE 261478.212
AT ITER 494 NEW BEST:: SOT 462649 SOS 287671 HAS SOPS 287671 HAS SOUS 260770 HAS SOUPS 260770 WITH SCORE 261057.671
AT ITER 495 NEW BEST:: SOT 461937 SOS 285891 HAS SOPS 285891 HAS SOUS 259402 HAS SOUPS 259402 WITH SCORE 259687.891
AT ITER 498 NEW BEST:: SOT 461836 SOS 285669 HAS SOPS 285669 HAS SOUS 259059 HAS SOUPS 259059 WITH SCORE 259344.669
AT ITER 499 NEW BEST:: SOT 461587 SOS 285337 HAS SOPS 285337 HAS SOUS 258748 HAS SOUPS 258748 WITH SCORE 259033.337
AT ITER 503 NEW BEST:: SOT 461687 SOS 285437 HAS SOPS 285437 HAS SOUS 258675 HAS SOUPS 258675 WITH SCORE 258960.437
AT ITER 504 NEW BEST:: SOT 461620 SOS 285387 HAS SOPS 285387 HAS SOUS 258636 HAS SOUPS 258636 WITH SCORE 258921.387
AT ITER 512 NEW BEST:: SOT 461589 SOS 286096 HAS SOPS 286096 HAS SOUS 258607 HAS SOUPS 258607 WITH SCORE 258893.096
AT ITER 515 NEW BEST:: SOT 461457 SOS 285898 HAS SOPS 285898 HAS SOUS 258409 HAS SOUPS 258409 WITH SCORE 258694.898
AT ITER 521 NEW BEST:: SOT 461121 SOS 284901 HAS SOPS 284901 HAS SOUS 257722 HAS SOUPS 257722 WITH SCORE 258006.901
AT ITER 523 NEW BEST:: SOT 461121 SOS 284896 HAS SOPS 284896 HAS SOUS 257572 HAS SOUPS 257572 WITH SCORE 257856.896
AT ITER 524 NEW BEST:: SOT 460701 SOS 284386 HAS SOPS 284386 HAS SOUS 257261 HAS SOUPS 257261 WITH SCORE 257545.386
AT ITER 526 NEW BEST:: SOT 460670 SOS 284236 HAS SOPS 284236 HAS SOUS 257215 HAS SOUPS 257215 WITH SCORE 257499.236
AT ITER 533 NEW BEST:: SOT 460072 SOS 283450 HAS SOPS 283450 HAS SOUS 256421 HAS SOUPS 256421 WITH SCORE 256704.45
AT ITER 534 NEW BEST:: SOT 459923 SOS 283099 HAS SOPS 283099 HAS SOUS 256070 HAS SOUPS 256070 WITH SCORE 256353.099
AT ITER 536 NEW BEST:: SOT 459815 SOS 282855 HAS SOPS 282855 HAS SOUS 255840 HAS SOUPS 255840 WITH SCORE 256122.855
AT ITER 539 NEW BEST:: SOT 459779 SOS 282902 HAS SOPS 282902 HAS SOUS 255838 HAS SOUPS 255838 WITH SCORE 256120.902
AT ITER 549 NEW BEST:: SOT 459779 SOS 282898 HAS SOPS 282898 HAS SOUS 255837 HAS SOUPS 255837 WITH SCORE 256119.898
AT ITER 551 NEW BEST:: SOT 459750 SOS 282815 HAS SOPS 282815 HAS SOUS 255754 HAS SOUPS 255754 WITH SCORE 256036.815
AT ITER 554 NEW BEST:: SOT 459534 SOS 282486 HAS SOPS 282486 HAS SOUS 255326 HAS SOUPS 255326 WITH SCORE 255608.486
AT ITER 555 NEW BEST:: SOT 459534 SOS 282289 HAS SOPS 282289 HAS SOUS 255326 HAS SOUPS 255326 WITH SCORE 255608.289
AT ITER 559 NEW BEST:: SOT 458720 SOS 280873 HAS SOPS 280873 HAS SOUS 254239 HAS SOUPS 254239 WITH SCORE 254519.873
AT ITER 561 NEW BEST:: SOT 458126 SOS 280081 HAS SOPS 280081 HAS SOUS 253435 HAS SOUPS 253435 WITH SCORE 253715.081
AT ITER 566 NEW BEST:: SOT 457940 SOS 279251 HAS SOPS 279251 HAS SOUS 252902 HAS SOUPS 252902 WITH SCORE 253181.251
AT ITER 567 NEW BEST:: SOT 457531 SOS 278554 HAS SOPS 278554 HAS SOUS 252124 HAS SOUPS 252124 WITH SCORE 252402.554
AT ITER 569 NEW BEST:: SOT 457331 SOS 278154 HAS SOPS 278154 HAS SOUS 251836 HAS SOUPS 251836 WITH SCORE 252114.154
AT ITER 572 NEW BEST:: SOT 457331 SOS 278090 HAS SOPS 278090 HAS SOUS 251770 HAS SOUPS 251770 WITH SCORE 252048.09
AT ITER 573 NEW BEST:: SOT 456781 SOS 277179 HAS SOPS 277179 HAS SOUS 250859 HAS SOUPS 250859 WITH SCORE 251136.179
AT ITER 575 NEW BEST:: SOT 456838 SOS 277140 HAS SOPS 277140 HAS SOUS 250820 HAS SOUPS 250820 WITH SCORE 251097.14
AT ITER 576 NEW BEST:: SOT 456663 SOS 276965 HAS SOPS 276965 HAS SOUS 250550 HAS SOUPS 250550 WITH SCORE 250826.965
AT ITER 581 NEW BEST:: SOT 456304 SOS 275885 HAS SOPS 275885 HAS SOUS 249352 HAS SOUPS 249352 WITH SCORE 249627.885
AT ITER 588 NEW BEST:: SOT 456272 SOS 275829 HAS SOPS 275829 HAS SOUS 249296 HAS SOUPS 249296 WITH SCORE 249571.829
AT ITER 593 NEW BEST:: SOT 455871 SOS 274843 HAS SOPS 274843 HAS SOUS 248473 HAS SOUPS 248473 WITH SCORE 248747.843
AT ITER 597 NEW BEST:: SOT 455677 SOS 274457 HAS SOPS 274457 HAS SOUS 248145 HAS SOUPS 248145 WITH SCORE 248419.457
AT ITER 598 NEW BEST:: SOT 455621 SOS 274373 HAS SOPS 274373 HAS SOUS 248048 HAS SOUPS 248048 WITH SCORE 248322.373
AT ITER 599 NEW BEST:: SOT 455644 SOS 274257 HAS SOPS 274257 HAS SOUS 247932 HAS SOUPS 247932 WITH SCORE 248206.257
AT ITER 600 NEW BEST:: SOT 455462 SOS 274075 HAS SOPS 274075 HAS SOUS 247919 HAS SOUPS 247919 WITH SCORE 248193.075
AT ITER 603 NEW BEST:: SOT 455517 SOS 274024 HAS SOPS 274024 HAS SOUS 247868 HAS SOUPS 247868 WITH SCORE 248142.024
AT ITER 605 NEW BEST:: SOT 455517 SOS 274544 HAS SOPS 274544 HAS SOUS 247816 HAS SOUPS 247816 WITH SCORE 248090.544
AT ITER 610 NEW BEST:: SOT 455319 SOS 273920 HAS SOPS 273920 HAS SOUS 247471 HAS SOUPS 247471 WITH SCORE 247744.92
AT ITER 614 NEW BEST:: SOT 455319 SOS 273950 HAS SOPS 273950 HAS SOUS 247441 HAS SOUPS 247441 WITH SCORE 247714.95
AT ITER 619 NEW BEST:: SOT 455154 SOS 273695 HAS SOPS 273695 HAS SOUS 247185 HAS SOUPS 247185 WITH SCORE 247458.695
AT ITER 628 NEW BEST:: SOT 454962 SOS 273503 HAS SOPS 273503 HAS SOUS 246824 HAS SOUPS 246824 WITH SCORE 247097.503
AT ITER 637 NEW BEST:: SOT 454961 SOS 273502 HAS SOPS 273502 HAS SOUS 246823 HAS SOUPS 246823 WITH SCORE 247096.502
AT ITER 643 NEW BEST:: SOT 454961 SOS 273288 HAS SOPS 273288 HAS SOUS 246597 HAS SOUPS 246597 WITH SCORE 246870.288
AT ITER 645 NEW BEST:: SOT 454867 SOS 273060 HAS SOPS 273060 HAS SOUS 246289 HAS SOUPS 246289 WITH SCORE 246562.06
AT ITER 649 NEW BEST:: SOT 454690 SOS 272916 HAS SOPS 272916 HAS SOUS 246137 HAS SOUPS 246137 WITH SCORE 246409.916
AT ITER 655 NEW BEST:: SOT 454637 SOS 272676 HAS SOPS 272676 HAS SOUS 245920 HAS SOUPS 245920 WITH SCORE 246192.676
AT ITER 659 NEW BEST:: SOT 454510 SOS 272355 HAS SOPS 272355 HAS SOUS 245405 HAS SOUPS 245405 WITH SCORE 245677.355
AT ITER 661 NEW BEST:: SOT 454481 SOS 272326 HAS SOPS 272326 HAS SOUS 245376 HAS SOUPS 245376 WITH SCORE 245648.326
AT ITER 663 NEW BEST:: SOT 454382 SOS 272063 HAS SOPS 272063 HAS SOUS 245079 HAS SOUPS 245079 WITH SCORE 245351.063
AT ITER 665 NEW BEST:: SOT 454323 SOS 271913 HAS SOPS 271913 HAS SOUS 244904 HAS SOUPS 244904 WITH SCORE 245175.913
AT ITER 666 NEW BEST:: SOT 454378 SOS 272192 HAS SOPS 272192 HAS SOUS 244900 HAS SOUPS 244900 WITH SCORE 245172.192
AT ITER 667 NEW BEST:: SOT 454014 SOS 271645 HAS SOPS 271645 HAS SOUS 244329 HAS SOUPS 244329 WITH SCORE 244600.645
AT ITER 668 NEW BEST:: SOT 453927 SOS 271398 HAS SOPS 271398 HAS SOUS 244117 HAS SOUPS 244117 WITH SCORE 244388.398
AT ITER 671 NEW BEST:: SOT 453800 SOS 271271 HAS SOPS 271271 HAS SOUS 243990 HAS SOUPS 243990 WITH SCORE 244261.271
AT ITER 676 NEW BEST:: SOT 453690 SOS 271137 HAS SOPS 271137 HAS SOUS 243350 HAS SOUPS 243350 WITH SCORE 243621.137
AT ITER 680 NEW BEST:: SOT 453663 SOS 271101 HAS SOPS 271101 HAS SOUS 243314 HAS SOUPS 243314 WITH SCORE 243585.101
AT ITER 683 NEW BEST:: SOT 453342 SOS 270459 HAS SOPS 270459 HAS SOUS 242847 HAS SOUPS 242847 WITH SCORE 243117.459
AT ITER 689 NEW BEST:: SOT 452962 SOS 269519 HAS SOPS 269519 HAS SOUS 241931 HAS SOUPS 241931 WITH SCORE 242200.519
AT ITER 695 NEW BEST:: SOT 452906 SOS 269457 HAS SOPS 269457 HAS SOUS 241931 HAS SOUPS 241931 WITH SCORE 242200.457
AT ITER 696 NEW BEST:: SOT 452906 SOS 269455 HAS SOPS 269455 HAS SOUS 241927 HAS SOUPS 241927 WITH SCORE 242196.455
AT ITER 707 NEW BEST:: SOT 452725 SOS 268907 HAS SOPS 268907 HAS SOUS 241555 HAS SOUPS 241555 WITH SCORE 241823.907
AT ITER 708 NEW BEST:: SOT 452725 SOS 268670 HAS SOPS 268670 HAS SOUS 241475 HAS SOUPS 241475 WITH SCORE 241743.67
AT ITER 711 NEW BEST:: SOT 452725 SOS 268749 HAS SOPS 268749 HAS SOUS 241396 HAS SOUPS 241396 WITH SCORE 241664.749
AT ITER 712 NEW BEST:: SOT 452725 SOS 268672 HAS SOPS 268672 HAS SOUS 241248 HAS SOUPS 241248 WITH SCORE 241516.672
AT ITER 717 NEW BEST:: SOT 452907 SOS 268720 HAS SOPS 268720 HAS SOUS 241189 HAS SOUPS 241189 WITH SCORE 241457.72
AT ITER 725 NEW BEST:: SOT 452829 SOS 268603 HAS SOPS 268603 HAS SOUS 241033 HAS SOUPS 241033 WITH SCORE 241301.603
AT ITER 731 NEW BEST:: SOT 452649 SOS 268248 HAS SOPS 268248 HAS SOUS 240661 HAS SOUPS 240661 WITH SCORE 240929.248
AT ITER 732 NEW BEST:: SOT 452649 SOS 268218 HAS SOPS 268218 HAS SOUS 240050 HAS SOUPS 240050 WITH SCORE 240318.218
AT ITER 755 NEW BEST:: SOT 452649 SOS 268657 HAS SOPS 268657 HAS SOUS 240045 HAS SOUPS 240045 WITH SCORE 240313.657
AT ITER 756 NEW BEST:: SOT 452643 SOS 268466 HAS SOPS 268466 HAS SOUS 239945 HAS SOUPS 239945 WITH SCORE 240213.466
AT ITER 759 NEW BEST:: SOT 452196 SOS 267096 HAS SOPS 267096 HAS SOUS 239022 HAS SOUPS 239022 WITH SCORE 239289.096
AT ITER 761 NEW BEST:: SOT 451923 SOS 266659 HAS SOPS 266659 HAS SOUS 238747 HAS SOUPS 238747 WITH SCORE 239013.659
AT ITER 766 NEW BEST:: SOT 451683 SOS 266253 HAS SOPS 266253 HAS SOUS 238341 HAS SOUPS 238341 WITH SCORE 238607.253
AT ITER 768 NEW BEST:: SOT 451650 SOS 266220 HAS SOPS 266220 HAS SOUS 238308 HAS SOUPS 238308 WITH SCORE 238574.22
AT ITER 775 NEW BEST:: SOT 451630 SOS 265920 HAS SOPS 265920 HAS SOUS 238242 HAS SOUPS 238242 WITH SCORE 238507.92
AT ITER 776 NEW BEST:: SOT 451307 SOS 265318 HAS SOPS 265318 HAS SOUS 237640 HAS SOUPS 237640 WITH SCORE 237905.318
AT ITER 777 NEW BEST:: SOT 451129 SOS 264657 HAS SOPS 264657 HAS SOUS 237109 HAS SOUPS 237109 WITH SCORE 237373.657
AT ITER 780 NEW BEST:: SOT 451099 SOS 264597 HAS SOPS 264597 HAS SOUS 237019 HAS SOUPS 237019 WITH SCORE 237283.597
AT ITER 785 NEW BEST:: SOT 451099 SOS 264878 HAS SOPS 264878 HAS SOUS 236925 HAS SOUPS 236925 WITH SCORE 237189.878
AT ITER 788 NEW BEST:: SOT 450736 SOS 264091 HAS SOPS 264091 HAS SOUS 236138 HAS SOUPS 236138 WITH SCORE 236402.091
AT ITER 790 NEW BEST:: SOT 450544 SOS 263560 HAS SOPS 263560 HAS SOUS 235850 HAS SOUPS 235850 WITH SCORE 236113.56
AT ITER 793 NEW BEST:: SOT 450528 SOS 263536 HAS SOPS 263536 HAS SOUS 235826 HAS SOUPS 235826 WITH SCORE 236089.536
AT ITER 794 NEW BEST:: SOT 450230 SOS 263126 HAS SOPS 263126 HAS SOUS 235408 HAS SOUPS 235408 WITH SCORE 235671.126
AT ITER 795 NEW BEST:: SOT 450187 SOS 263043 HAS SOPS 263043 HAS SOUS 235285 HAS SOUPS 235285 WITH SCORE 235548.043
AT ITER 799 NEW BEST:: SOT 450156 SOS 262981 HAS SOPS 262981 HAS SOUS 235192 HAS SOUPS 235192 WITH SCORE 235454.981
AT ITER 802 NEW BEST:: SOT 449767 SOS 262487 HAS SOPS 262487 HAS SOUS 234698 HAS SOUPS 234698 WITH SCORE 234960.487
AT ITER 804 NEW BEST:: SOT 449671 SOS 262314 HAS SOPS 262314 HAS SOUS 234502 HAS SOUPS 234502 WITH SCORE 234764.314
AT ITER 806 NEW BEST:: SOT 449148 SOS 260820 HAS SOPS 260820 HAS SOUS 233500 HAS SOUPS 233500 WITH SCORE 233760.82
AT ITER 814 NEW BEST:: SOT 449006 SOS 260673 HAS SOPS 260673 HAS SOUS 233247 HAS SOUPS 233247 WITH SCORE 233507.673
AT ITER 816 NEW BEST:: SOT 448972 SOS 260546 HAS SOPS 260546 HAS SOUS 233114 HAS SOUPS 233114 WITH SCORE 233374.546
AT ITER 817 NEW BEST:: SOT 448972 SOS 260644 HAS SOPS 260644 HAS SOUS 233013 HAS SOUPS 233013 WITH SCORE 233273.644
AT ITER 820 NEW BEST:: SOT 449112 SOS 260929 HAS SOPS 260929 HAS SOUS 232971 HAS SOUPS 232971 WITH SCORE 233231.929
AT ITER 821 NEW BEST:: SOT 449112 SOS 260834 HAS SOPS 260834 HAS SOUS 232695 HAS SOUPS 232695 WITH SCORE 232955.834
AT ITER 823 NEW BEST:: SOT 448597 SOS 259460 HAS SOPS 259460 HAS SOUS 231349 HAS SOUPS 231349 WITH SCORE 231608.46
AT ITER 829 NEW BEST:: SOT 448593 SOS 259456 HAS SOPS 259456 HAS SOUS 231271 HAS SOUPS 231271 WITH SCORE 231530.456
AT ITER 833 NEW BEST:: SOT 448556 SOS 259347 HAS SOPS 259347 HAS SOUS 231198 HAS SOUPS 231198 WITH SCORE 231457.347
AT ITER 837 NEW BEST:: SOT 448307 SOS 259098 HAS SOPS 259098 HAS SOUS 230996 HAS SOUPS 230996 WITH SCORE 231255.098
AT ITER 839 NEW BEST:: SOT 447783 SOS 258124 HAS SOPS 258124 HAS SOUS 229733 HAS SOUPS 229733 WITH SCORE 229991.124
AT ITER 846 NEW BEST:: SOT 447442 SOS 257558 HAS SOPS 257558 HAS SOUS 229345 HAS SOUPS 229345 WITH SCORE 229602.558
AT ITER 855 NEW BEST:: SOT 447442 SOS 257558 HAS SOPS 257558 HAS SOUS 229283 HAS SOUPS 229283 WITH SCORE 229540.558
AT ITER 856 NEW BEST:: SOT 447415 SOS 257384 HAS SOPS 257384 HAS SOUS 229216 HAS SOUPS 229216 WITH SCORE 229473.384
AT ITER 860 NEW BEST:: SOT 447157 SOS 257137 HAS SOPS 257137 HAS SOUS 228980 HAS SOUPS 228980 WITH SCORE 229237.137
AT ITER 862 NEW BEST:: SOT 447124 SOS 256870 HAS SOPS 256870 HAS SOUS 228848 HAS SOUPS 228848 WITH SCORE 229104.87
AT ITER 866 NEW BEST:: SOT 447134 SOS 256630 HAS SOPS 256630 HAS SOUS 228792 HAS SOUPS 228792 WITH SCORE 229048.63
AT ITER 870 NEW BEST:: SOT 447134 SOS 256503 HAS SOPS 256503 HAS SOUS 228791 HAS SOUPS 228791 WITH SCORE 229047.503
AT ITER 872 NEW BEST:: SOT 447014 SOS 256394 HAS SOPS 256394 HAS SOUS 228686 HAS SOUPS 228686 WITH SCORE 228942.394
AT ITER 875 NEW BEST:: SOT 446716 SOS 255997 HAS SOPS 255997 HAS SOUS 228334 HAS SOUPS 228334 WITH SCORE 228589.997
AT ITER 877 NEW BEST:: SOT 446626 SOS 255796 HAS SOPS 255796 HAS SOUS 227931 HAS SOUPS 227931 WITH SCORE 228186.796
AT ITER 887 NEW BEST:: SOT 446485 SOS 255565 HAS SOPS 255565 HAS SOUS 227827 HAS SOUPS 227827 WITH SCORE 228082.565
AT ITER 891 NEW BEST:: SOT 446466 SOS 255533 HAS SOPS 255533 HAS SOUS 227795 HAS SOUPS 227795 WITH SCORE 228050.533
AT ITER 897 NEW BEST:: SOT 446060 SOS 254923 HAS SOPS 254923 HAS SOUS 226971 HAS SOUPS 226971 WITH SCORE 227225.923
AT ITER 900 NEW BEST:: SOT 446046 SOS 254486 HAS SOPS 254486 HAS SOUS 226872 HAS SOUPS 226872 WITH SCORE 227126.486
AT ITER 907 NEW BEST:: SOT 445655 SOS 253942 HAS SOPS 253942 HAS SOUS 226280 HAS SOUPS 226280 WITH SCORE 226533.942
AT ITER 913 NEW BEST:: SOT 445409 SOS 253345 HAS SOPS 253345 HAS SOUS 225874 HAS SOUPS 225874 WITH SCORE 226127.345
AT ITER 919 NEW BEST:: SOT 445385 SOS 253261 HAS SOPS 253261 HAS SOUS 225760 HAS SOUPS 225760 WITH SCORE 226013.261
AT ITER 923 NEW BEST:: SOT 445218 SOS 252927 HAS SOPS 252927 HAS SOUS 225426 HAS SOUPS 225426 WITH SCORE 225678.927
AT ITER 924 NEW BEST:: SOT 445218 SOS 252881 HAS SOPS 252881 HAS SOUS 225410 HAS SOUPS 225410 WITH SCORE 225662.881
AT ITER 925 NEW BEST:: SOT 445201 SOS 252864 HAS SOPS 252864 HAS SOUS 225393 HAS SOUPS 225393 WITH SCORE 225645.864
AT ITER 932 NEW BEST:: SOT 444941 SOS 252295 HAS SOPS 252295 HAS SOUS 224754 HAS SOUPS 224754 WITH SCORE 225006.295
AT ITER 934 NEW BEST:: SOT 444872 SOS 252114 HAS SOPS 252114 HAS SOUS 224372 HAS SOUPS 224372 WITH SCORE 224624.114
AT ITER 935 NEW BEST:: SOT 444840 SOS 251986 HAS SOPS 251986 HAS SOUS 224308 HAS SOUPS 224308 WITH SCORE 224559.986
AT ITER 940 NEW BEST:: SOT 444787 SOS 251904 HAS SOPS 251904 HAS SOUS 224293 HAS SOUPS 224293 WITH SCORE 224544.904
AT ITER 944 NEW BEST:: SOT 444568 SOS 251488 HAS SOPS 251488 HAS SOUS 223837 HAS SOUPS 223837 WITH SCORE 224088.488
AT ITER 945 NEW BEST:: SOT 444755 SOS 251787 HAS SOPS 251787 HAS SOUS 223818 HAS SOUPS 223818 WITH SCORE 224069.787
AT ITER 951 NEW BEST:: SOT 444707 SOS 251691 HAS SOPS 251691 HAS SOUS 223768 HAS SOUPS 223768 WITH SCORE 224019.691
AT ITER 957 NEW BEST:: SOT 444539 SOS 251467 HAS SOPS 251467 HAS SOUS 223342 HAS SOUPS 223342 WITH SCORE 223593.467
AT ITER 958 NEW BEST:: SOT 444539 SOS 251476 HAS SOPS 251476 HAS SOUS 223339 HAS SOUPS 223339 WITH SCORE 223590.476
AT ITER 961 NEW BEST:: SOT 444621 SOS 251397 HAS SOPS 251397 HAS SOUS 223255 HAS SOUPS 223255 WITH SCORE 223506.397
AT ITER 963 NEW BEST:: SOT 444606 SOS 251382 HAS SOPS 251382 HAS SOUS 223240 HAS SOUPS 223240 WITH SCORE 223491.382
AT ITER 964 NEW BEST:: SOT 444567 SOS 251310 HAS SOPS 251310 HAS SOUS 223168 HAS SOUPS 223168 WITH SCORE 223419.31
AT ITER 970 NEW BEST:: SOT 444527 SOS 251254 HAS SOPS 251254 HAS SOUS 223133 HAS SOUPS 223133 WITH SCORE 223384.254
AT ITER 974 NEW BEST:: SOT 444569 SOS 251017 HAS SOPS 251017 HAS SOUS 223133 HAS SOUPS 223133 WITH SCORE 223384.017
AT ITER 976 NEW BEST:: SOT 444483 SOS 250784 HAS SOPS 250784 HAS SOUS 223004 HAS SOUPS 223004 WITH SCORE 223254.784
AT ITER 977 NEW BEST:: SOT 444453 SOS 250664 HAS SOPS 250664 HAS SOUS 222896 HAS SOUPS 222896 WITH SCORE 223146.664
AT ITER 985 NEW BEST:: SOT 444226 SOS 250158 HAS SOPS 250158 HAS SOUS 222781 HAS SOUPS 222781 WITH SCORE 223031.158
AT ITER 991 NEW BEST:: SOT 444226 SOS 250179 HAS SOPS 250179 HAS SOUS 222761 HAS SOUPS 222761 WITH SCORE 223011.179
AT ITER 992 NEW BEST:: SOT 444192 SOS 250128 HAS SOPS 250128 HAS SOUS 222692 HAS SOUPS 222692 WITH SCORE 222942.128
AT ITER 996 NEW BEST:: SOT 444044 SOS 249980 HAS SOPS 249980 HAS SOUS 222544 HAS SOUPS 222544 WITH SCORE 222793.98
AT ITER 999 NEW BEST:: SOT 443910 SOS 249834 HAS SOPS 249834 HAS SOUS 222276 HAS SOUPS 222276 WITH SCORE 222525.834
AT ITER 1001 NEW BEST:: SOT 443716 SOS 249437 HAS SOPS 249437 HAS SOUS 222199 HAS SOUPS 222199 WITH SCORE 222448.437
AT ITER 1004 NEW BEST:: SOT 443715 SOS 249435 HAS SOPS 249435 HAS SOUS 222198 HAS SOUPS 222198 WITH SCORE 222447.435
AT ITER 1006 NEW BEST:: SOT 443427 SOS 248796 HAS SOPS 248796 HAS SOUS 221579 HAS SOUPS 221579 WITH SCORE 221827.796
AT ITER 1007 NEW BEST:: SOT 443219 SOS 248470 HAS SOPS 248470 HAS SOUS 221382 HAS SOUPS 221382 WITH SCORE 221630.47
AT ITER 1008 NEW BEST:: SOT 443163 SOS 248431 HAS SOPS 248431 HAS SOUS 221344 HAS SOUPS 221344 WITH SCORE 221592.431
AT ITER 1011 NEW BEST:: SOT 443220 SOS 248590 HAS SOPS 248590 HAS SOUS 221323 HAS SOUPS 221323 WITH SCORE 221571.59
AT ITER 1015 NEW BEST:: SOT 442753 SOS 247940 HAS SOPS 247940 HAS SOUS 220772 HAS SOUPS 220772 WITH SCORE 221019.94
AT ITER 1016 NEW BEST:: SOT 442380 SOS 246932 HAS SOPS 246932 HAS SOUS 220163 HAS SOUPS 220163 WITH SCORE 220409.932
AT ITER 1025 NEW BEST:: SOT 442424 SOS 247093 HAS SOPS 247093 HAS SOUS 219964 HAS SOUPS 219964 WITH SCORE 220211.093
AT ITER 1028 NEW BEST:: SOT 442418 SOS 247087 HAS SOPS 247087 HAS SOUS 219958 HAS SOUPS 219958 WITH SCORE 220205.087
AT ITER 1035 NEW BEST:: SOT 441998 SOS 246513 HAS SOPS 246513 HAS SOUS 219384 HAS SOUPS 219384 WITH SCORE 219630.513
AT ITER 1041 NEW BEST:: SOT 441998 SOS 246513 HAS SOPS 246513 HAS SOUS 219355 HAS SOUPS 219355 WITH SCORE 219601.513
AT ITER 1047 NEW BEST:: SOT 441917 SOS 246405 HAS SOPS 246405 HAS SOUS 219247 HAS SOUPS 219247 WITH SCORE 219493.405
AT ITER 1050 NEW BEST:: SOT 441893 SOS 246345 HAS SOPS 246345 HAS SOUS 219208 HAS SOUPS 219208 WITH SCORE 219454.345
AT ITER 1051 NEW BEST:: SOT 441678 SOS 246008 HAS SOPS 246008 HAS SOUS 218883 HAS SOUPS 218883 WITH SCORE 219129.008
AT ITER 1060 NEW BEST:: SOT 441603 SOS 245908 HAS SOPS 245908 HAS SOUS 218783 HAS SOUPS 218783 WITH SCORE 219028.908
AT ITER 1066 NEW BEST:: SOT 441603 SOS 245896 HAS SOPS 245896 HAS SOUS 218771 HAS SOUPS 218771 WITH SCORE 219016.896
AT ITER 1073 NEW BEST:: SOT 441362 SOS 245172 HAS SOPS 245172 HAS SOUS 217937 HAS SOUPS 217937 WITH SCORE 218182.172
AT ITER 1078 NEW BEST:: SOT 441166 SOS 244878 HAS SOPS 244878 HAS SOUS 217643 HAS SOUPS 217643 WITH SCORE 217887.878
AT ITER 1080 NEW BEST:: SOT 441172 SOS 244786 HAS SOPS 244786 HAS SOUS 217543 HAS SOUPS 217543 WITH SCORE 217787.786
AT ITER 1082 NEW BEST:: SOT 441150 SOS 244709 HAS SOPS 244709 HAS SOUS 217466 HAS SOUPS 217466 WITH SCORE 217710.709
AT ITER 1083 NEW BEST:: SOT 440970 SOS 244505 HAS SOPS 244505 HAS SOUS 216765 HAS SOUPS 216765 WITH SCORE 217009.505
AT ITER 1085 NEW BEST:: SOT 440783 SOS 243891 HAS SOPS 243891 HAS SOUS 216534 HAS SOUPS 216534 WITH SCORE 216777.891
AT ITER 1086 NEW BEST:: SOT 440532 SOS 243726 HAS SOPS 243726 HAS SOUS 216409 HAS SOUPS 216409 WITH SCORE 216652.726
AT ITER 1087 NEW BEST:: SOT 440513 SOS 243688 HAS SOPS 243688 HAS SOUS 216390 HAS SOUPS 216390 WITH SCORE 216633.688
AT ITER 1089 NEW BEST:: SOT 439950 SOS 242251 HAS SOPS 242251 HAS SOUS 215262 HAS SOUPS 215262 WITH SCORE 215504.251
AT ITER 1091 NEW BEST:: SOT 439950 SOS 242050 HAS SOPS 242050 HAS SOUS 215145 HAS SOUPS 215145 WITH SCORE 215387.05
AT ITER 1092 NEW BEST:: SOT 439936 SOS 242008 HAS SOPS 242008 HAS SOUS 215124 HAS SOUPS 215124 WITH SCORE 215366.008
AT ITER 1093 NEW BEST:: SOT 439936 SOS 242006 HAS SOPS 242006 HAS SOUS 215123 HAS SOUPS 215123 WITH SCORE 215365.006
AT ITER 1094 NEW BEST:: SOT 439861 SOS 241706 HAS SOPS 241706 HAS SOUS 214973 HAS SOUPS 214973 WITH SCORE 215214.706
AT ITER 1106 NEW BEST:: SOT 439778 SOS 241302 HAS SOPS 241302 HAS SOUS 214790 HAS SOUPS 214790 WITH SCORE 215031.302
AT ITER 1107 NEW BEST:: SOT 439826 SOS 241284 HAS SOPS 241284 HAS SOUS 214772 HAS SOUPS 214772 WITH SCORE 215013.284
AT ITER 1110 NEW BEST:: SOT 439749 SOS 241227 HAS SOPS 241227 HAS SOUS 214715 HAS SOUPS 214715 WITH SCORE 214956.227
AT ITER 1117 NEW BEST:: SOT 439726 SOS 241209 HAS SOPS 241209 HAS SOUS 214697 HAS SOUPS 214697 WITH SCORE 214938.209
AT ITER 1124 NEW BEST:: SOT 439726 SOS 241159 HAS SOPS 241159 HAS SOUS 214650 HAS SOUPS 214650 WITH SCORE 214891.159
AT ITER 1127 NEW BEST:: SOT 439726 SOS 241067 HAS SOPS 241067 HAS SOUS 214650 HAS SOUPS 214650 WITH SCORE 214891.067
AT ITER 1133 NEW BEST:: SOT 439784 SOS 241125 HAS SOPS 241125 HAS SOUS 214491 HAS SOUPS 214491 WITH SCORE 214732.125
AT ITER 1135 NEW BEST:: SOT 439691 SOS 240901 HAS SOPS 240901 HAS SOUS 214368 HAS SOUPS 214368 WITH SCORE 214608.901
AT ITER 1142 NEW BEST:: SOT 439424 SOS 240463 HAS SOPS 240463 HAS SOUS 214095 HAS SOUPS 214095 WITH SCORE 214335.463
AT ITER 1152 NEW BEST:: SOT 439176 SOS 239654 HAS SOPS 239654 HAS SOUS 213798 HAS SOUPS 213798 WITH SCORE 214037.654
AT ITER 1157 NEW BEST:: SOT 439091 SOS 239526 HAS SOPS 239526 HAS SOUS 213627 HAS SOUPS 213627 WITH SCORE 213866.526
AT ITER 1166 NEW BEST:: SOT 439040 SOS 239443 HAS SOPS 239443 HAS SOUS 213542 HAS SOUPS 213542 WITH SCORE 213781.443
AT ITER 1168 NEW BEST:: SOT 438932 SOS 239149 HAS SOPS 239149 HAS SOUS 213356 HAS SOUPS 213356 WITH SCORE 213595.149
AT ITER 1169 NEW BEST:: SOT 438894 SOS 239073 HAS SOPS 239073 HAS SOUS 213280 HAS SOUPS 213280 WITH SCORE 213519.073
AT ITER 1171 NEW BEST:: SOT 438878 SOS 238993 HAS SOPS 238993 HAS SOUS 213248 HAS SOUPS 213248 WITH SCORE 213486.993
AT ITER 1185 NEW BEST:: SOT 438842 SOS 238957 HAS SOPS 238957 HAS SOUS 213211 HAS SOUPS 213211 WITH SCORE 213449.957
AT ITER 1191 NEW BEST:: SOT 438826 SOS 238893 HAS SOPS 238893 HAS SOUS 213179 HAS SOUPS 213179 WITH SCORE 213417.893
AT ITER 1195 NEW BEST:: SOT 438604 SOS 237546 HAS SOPS 237546 HAS SOUS 212611 HAS SOUPS 212611 WITH SCORE 212848.546
AT ITER 1215 NEW BEST:: SOT 438527 SOS 237469 HAS SOPS 237469 HAS SOUS 212534 HAS SOUPS 212534 WITH SCORE 212771.469
AT ITER 1220 NEW BEST:: SOT 438212 SOS 236845 HAS SOPS 236845 HAS SOUS 211910 HAS SOUPS 211910 WITH SCORE 212146.845
AT ITER 1221 NEW BEST:: SOT 438000 SOS 236527 HAS SOPS 236527 HAS SOUS 211592 HAS SOUPS 211592 WITH SCORE 211828.527
AT ITER 1230 NEW BEST:: SOT 437813 SOS 235871 HAS SOPS 235871 HAS SOUS 211487 HAS SOUPS 211487 WITH SCORE 211722.871
AT ITER 1231 NEW BEST:: SOT 437511 SOS 235472 HAS SOPS 235472 HAS SOUS 211105 HAS SOUPS 211105 WITH SCORE 211340.472
AT ITER 1236 NEW BEST:: SOT 437511 SOS 235451 HAS SOPS 235451 HAS SOUS 211084 HAS SOUPS 211084 WITH SCORE 211319.451
AT ITER 1238 NEW BEST:: SOT 437467 SOS 235407 HAS SOPS 235407 HAS SOUS 211040 HAS SOUPS 211040 WITH SCORE 211275.407
AT ITER 1243 NEW BEST:: SOT 437295 SOS 234945 HAS SOPS 234945 HAS SOUS 210736 HAS SOUPS 210736 WITH SCORE 210970.945
AT ITER 1246 NEW BEST:: SOT 437161 SOS 234677 HAS SOPS 234677 HAS SOUS 210571 HAS SOUPS 210571 WITH SCORE 210805.677
AT ITER 1256 NEW BEST:: SOT 437071 SOS 234541 HAS SOPS 234541 HAS SOUS 210435 HAS SOUPS 210435 WITH SCORE 210669.541
AT ITER 1263 NEW BEST:: SOT 436774 SOS 234180 HAS SOPS 234180 HAS SOUS 210126 HAS SOUPS 210126 WITH SCORE 210360.18
AT ITER 1265 NEW BEST:: SOT 436492 SOS 233609 HAS SOPS 233609 HAS SOUS 209502 HAS SOUPS 209502 WITH SCORE 209735.609
AT ITER 1272 NEW BEST:: SOT 436515 SOS 233591 HAS SOPS 233591 HAS SOUS 209469 HAS SOUPS 209469 WITH SCORE 209702.591
AT ITER 1278 NEW BEST:: SOT 436383 SOS 233261 HAS SOPS 233261 HAS SOUS 209205 HAS SOUPS 209205 WITH SCORE 209438.261
AT ITER 1280 NEW BEST:: SOT 436309 SOS 233043 HAS SOPS 233043 HAS SOUS 209002 HAS SOUPS 209002 WITH SCORE 209235.043
AT ITER 1288 NEW BEST:: SOT 436282 SOS 232998 HAS SOPS 232998 HAS SOUS 208966 HAS SOUPS 208966 WITH SCORE 209198.998
AT ITER 1290 NEW BEST:: SOT 435790 SOS 231205 HAS SOPS 231205 HAS SOUS 207742 HAS SOUPS 207742 WITH SCORE 207973.205
AT ITER 1293 NEW BEST:: SOT 435606 SOS 230950 HAS SOPS 230950 HAS SOUS 207530 HAS SOUPS 207530 WITH SCORE 207760.95
AT ITER 1298 NEW BEST:: SOT 434801 SOS 229838 HAS SOPS 229838 HAS SOUS 206418 HAS SOUPS 206418 WITH SCORE 206647.838
AT ITER 1299 NEW BEST:: SOT 434768 SOS 229794 HAS SOPS 229794 HAS SOUS 206374 HAS SOUPS 206374 WITH SCORE 206603.794
AT ITER 1308 NEW BEST:: SOT 434601 SOS 229609 HAS SOPS 229609 HAS SOUS 206171 HAS SOUPS 206171 WITH SCORE 206400.609
AT ITER 1330 NEW BEST:: SOT 434384 SOS 229392 HAS SOPS 229392 HAS SOUS 205954 HAS SOUPS 205954 WITH SCORE 206183.392
AT ITER 1331 NEW BEST:: SOT 434384 SOS 229392 HAS SOPS 229392 HAS SOUS 205922 HAS SOUPS 205922 WITH SCORE 206151.392
AT ITER 1336 NEW BEST:: SOT 434150 SOS 228947 HAS SOPS 228947 HAS SOUS 205477 HAS SOUPS 205477 WITH SCORE 205705.947
AT ITER 1343 NEW BEST:: SOT 434150 SOS 228929 HAS SOPS 228929 HAS SOUS 205295 HAS SOUPS 205295 WITH SCORE 205523.929
AT ITER 1358 NEW BEST:: SOT 434244 SOS 228674 HAS SOPS 228674 HAS SOUS 205162 HAS SOUPS 205162 WITH SCORE 205390.674
AT ITER 1361 NEW BEST:: SOT 434204 SOS 228634 HAS SOPS 228634 HAS SOUS 205122 HAS SOUPS 205122 WITH SCORE 205350.634
AT ITER 1364 NEW BEST:: SOT 433994 SOS 228376 HAS SOPS 228376 HAS SOUS 204803 HAS SOUPS 204803 WITH SCORE 205031.376
AT ITER 1368 NEW BEST:: SOT 434081 SOS 228612 HAS SOPS 228612 HAS SOUS 204317 HAS SOUPS 204317 WITH SCORE 204545.612
AT ITER 1369 NEW BEST:: SOT 434051 SOS 228577 HAS SOPS 228577 HAS SOUS 204282 HAS SOUPS 204282 WITH SCORE 204510.577
AT ITER 1370 NEW BEST:: SOT 433786 SOS 228418 HAS SOPS 228418 HAS SOUS 204100 HAS SOUPS 204100 WITH SCORE 204328.418
AT ITER 1371 NEW BEST:: SOT 433780 SOS 228412 HAS SOPS 228412 HAS SOUS 203729 HAS SOUPS 203729 WITH SCORE 203957.412
AT ITER 1376 NEW BEST:: SOT 433751 SOS 228383 HAS SOPS 228383 HAS SOUS 203700 HAS SOUPS 203700 WITH SCORE 203928.383
AT ITER 1386 NEW BEST:: SOT 433747 SOS 228290 HAS SOPS 228290 HAS SOUS 203607 HAS SOUPS 203607 WITH SCORE 203835.29
AT ITER 1390 NEW BEST:: SOT 433658 SOS 227874 HAS SOPS 227874 HAS SOUS 203374 HAS SOUPS 203374 WITH SCORE 203601.874
AT ITER 1392 NEW BEST:: SOT 433446 SOS 227662 HAS SOPS 227662 HAS SOUS 203271 HAS SOUPS 203271 WITH SCORE 203498.662
AT ITER 1394 NEW BEST:: SOT 433429 SOS 227610 HAS SOPS 227610 HAS SOUS 203219 HAS SOUPS 203219 WITH SCORE 203446.61
AT ITER 1397 NEW BEST:: SOT 433432 SOS 227914 HAS SOPS 227914 HAS SOUS 203030 HAS SOUPS 203030 WITH SCORE 203257.914
AT ITER 1401 NEW BEST:: SOT 433429 SOS 227899 HAS SOPS 227899 HAS SOUS 203024 HAS SOUPS 203024 WITH SCORE 203251.899
AT ITER 1402 NEW BEST:: SOT 433294 SOS 227722 HAS SOPS 227722 HAS SOUS 202803 HAS SOUPS 202803 WITH SCORE 203030.722
AT ITER 1407 NEW BEST:: SOT 433248 SOS 227864 HAS SOPS 227864 HAS SOUS 202688 HAS SOUPS 202688 WITH SCORE 202915.864
AT ITER 1414 NEW BEST:: SOT 433020 SOS 227410 HAS SOPS 227410 HAS SOUS 202408 HAS SOUPS 202408 WITH SCORE 202635.41
AT ITER 1426 NEW BEST:: SOT 432981 SOS 227215 HAS SOPS 227215 HAS SOUS 202330 HAS SOUPS 202330 WITH SCORE 202557.215
AT ITER 1430 NEW BEST:: SOT 432769 SOS 226833 HAS SOPS 226833 HAS SOUS 202020 HAS SOUPS 202020 WITH SCORE 202246.833
AT ITER 1435 NEW BEST:: SOT 432763 SOS 226762 HAS SOPS 226762 HAS SOUS 201781 HAS SOUPS 201781 WITH SCORE 202007.762
AT ITER 1447 NEW BEST:: SOT 432571 SOS 226070 HAS SOPS 226070 HAS SOUS 201013 HAS SOUPS 201013 WITH SCORE 201239.07
AT ITER 1448 NEW BEST:: SOT 432540 SOS 226039 HAS SOPS 226039 HAS SOUS 200982 HAS SOUPS 200982 WITH SCORE 201208.039
AT ITER 1453 NEW BEST:: SOT 432191 SOS 225668 HAS SOPS 225668 HAS SOUS 200686 HAS SOUPS 200686 WITH SCORE 200911.668
AT ITER 1455 NEW BEST:: SOT 432155 SOS 225614 HAS SOPS 225614 HAS SOUS 200596 HAS SOUPS 200596 WITH SCORE 200821.614
AT ITER 1457 NEW BEST:: SOT 432153 SOS 225537 HAS SOPS 225537 HAS SOUS 200519 HAS SOUPS 200519 WITH SCORE 200744.537
AT ITER 1462 NEW BEST:: SOT 431886 SOS 225098 HAS SOPS 225098 HAS SOUS 200080 HAS SOUPS 200080 WITH SCORE 200305.098
AT ITER 1476 NEW BEST:: SOT 431758 SOS 224895 HAS SOPS 224895 HAS SOUS 199888 HAS SOUPS 199888 WITH SCORE 200112.895
AT ITER 1477 NEW BEST:: SOT 431758 SOS 224903 HAS SOPS 224903 HAS SOUS 199885 HAS SOUPS 199885 WITH SCORE 200109.903
AT ITER 1481 NEW BEST:: SOT 431545 SOS 224549 HAS SOPS 224549 HAS SOUS 199601 HAS SOUPS 199601 WITH SCORE 199825.549
AT ITER 1492 NEW BEST:: SOT 430952 SOS 223615 HAS SOPS 223615 HAS SOUS 198855 HAS SOUPS 198855 WITH SCORE 199078.615
AT ITER 1501 NEW BEST:: SOT 430948 SOS 223603 HAS SOPS 223603 HAS SOUS 198843 HAS SOUPS 198843 WITH SCORE 199066.603
AT ITER 1508 NEW BEST:: SOT 430857 SOS 223450 HAS SOPS 223450 HAS SOUS 198690 HAS SOUPS 198690 WITH SCORE 198913.45
AT ITER 1512 NEW BEST:: SOT 430820 SOS 223479 HAS SOPS 223479 HAS SOUS 198475 HAS SOUPS 198475 WITH SCORE 198698.479
AT ITER 1523 NEW BEST:: SOT 430708 SOS 223257 HAS SOPS 223257 HAS SOUS 198289 HAS SOUPS 198289 WITH SCORE 198512.257
AT ITER 1527 NEW BEST:: SOT 430708 SOS 222978 HAS SOPS 222978 HAS SOUS 198041 HAS SOUPS 198041 WITH SCORE 198263.978
AT ITER 1529 NEW BEST:: SOT 430273 SOS 221920 HAS SOPS 221920 HAS SOUS 197388 HAS SOUPS 197388 WITH SCORE 197609.92
AT ITER 1534 NEW BEST:: SOT 430130 SOS 221895 HAS SOPS 221895 HAS SOUS 197223 HAS SOUPS 197223 WITH SCORE 197444.895
AT ITER 1538 NEW BEST:: SOT 430302 SOS 222067 HAS SOPS 222067 HAS SOUS 197092 HAS SOUPS 197092 WITH SCORE 197314.067
AT ITER 1548 NEW BEST:: SOT 430381 SOS 222089 HAS SOPS 222089 HAS SOUS 196943 HAS SOUPS 196943 WITH SCORE 197165.089
AT ITER 1559 NEW BEST:: SOT 430145 SOS 221830 HAS SOPS 221830 HAS SOUS 196684 HAS SOUPS 196684 WITH SCORE 196905.83
AT ITER 1562 NEW BEST:: SOT 429549 SOS 221085 HAS SOPS 221085 HAS SOUS 195939 HAS SOUPS 195939 WITH SCORE 196160.085
AT ITER 1568 NEW BEST:: SOT 429226 SOS 220305 HAS SOPS 220305 HAS SOUS 195560 HAS SOUPS 195560 WITH SCORE 195780.305
AT ITER 1572 NEW BEST:: SOT 428886 SOS 219625 HAS SOPS 219625 HAS SOUS 194998 HAS SOUPS 194998 WITH SCORE 195217.625
AT ITER 1573 NEW BEST:: SOT 428572 SOS 219311 HAS SOPS 219311 HAS SOUS 194476 HAS SOUPS 194476 WITH SCORE 194695.311
AT ITER 1579 NEW BEST:: SOT 428548 SOS 219221 HAS SOPS 219221 HAS SOUS 194325 HAS SOUPS 194325 WITH SCORE 194544.221
AT ITER 1582 NEW BEST:: SOT 428533 SOS 219161 HAS SOPS 219161 HAS SOUS 194270 HAS SOUPS 194270 WITH SCORE 194489.161
AT ITER 1587 NEW BEST:: SOT 428506 SOS 219245 HAS SOPS 219245 HAS SOUS 194238 HAS SOUPS 194238 WITH SCORE 194457.245
AT ITER 1589 NEW BEST:: SOT 428421 SOS 218866 HAS SOPS 218866 HAS SOUS 193928 HAS SOUPS 193928 WITH SCORE 194146.866
AT ITER 1592 NEW BEST:: SOT 428303 SOS 218532 HAS SOPS 218532 HAS SOUS 193695 HAS SOUPS 193695 WITH SCORE 193913.532
AT ITER 1599 NEW BEST:: SOT 427908 SOS 217540 HAS SOPS 217540 HAS SOUS 193101 HAS SOUPS 193101 WITH SCORE 193318.54
AT ITER 1609 NEW BEST:: SOT 427908 SOS 217540 HAS SOPS 217540 HAS SOUS 193082 HAS SOUPS 193082 WITH SCORE 193299.54
AT ITER 1610 NEW BEST:: SOT 427900 SOS 217528 HAS SOPS 217528 HAS SOUS 193070 HAS SOUPS 193070 WITH SCORE 193287.528
AT ITER 1615 NEW BEST:: SOT 427820 SOS 217408 HAS SOPS 217408 HAS SOUS 192950 HAS SOUPS 192950 WITH SCORE 193167.408
AT ITER 1619 NEW BEST:: SOT 427708 SOS 217222 HAS SOPS 217222 HAS SOUS 192732 HAS SOUPS 192732 WITH SCORE 192949.222
AT ITER 1620 NEW BEST:: SOT 427496 SOS 217459 HAS SOPS 217459 HAS SOUS 192233 HAS SOUPS 192233 WITH SCORE 192450.459
AT ITER 1628 NEW BEST:: SOT 427456 SOS 217344 HAS SOPS 217344 HAS SOUS 192155 HAS SOUPS 192155 WITH SCORE 192372.344
AT ITER 1632 NEW BEST:: SOT 427452 SOS 217024 HAS SOPS 217024 HAS SOUS 192052 HAS SOUPS 192052 WITH SCORE 192269.024
AT ITER 1640 NEW BEST:: SOT 427199 SOS 216219 HAS SOPS 216219 HAS SOUS 191661 HAS SOUPS 191661 WITH SCORE 191877.219
AT ITER 1644 NEW BEST:: SOT 427100 SOS 215897 HAS SOPS 215897 HAS SOUS 191529 HAS SOUPS 191529 WITH SCORE 191744.897
AT ITER 1645 NEW BEST:: SOT 426904 SOS 215652 HAS SOPS 215652 HAS SOUS 191193 HAS SOUPS 191193 WITH SCORE 191408.652
AT ITER 1646 NEW BEST:: SOT 426691 SOS 215411 HAS SOPS 215411 HAS SOUS 190930 HAS SOUPS 190930 WITH SCORE 191145.411
AT ITER 1662 NEW BEST:: SOT 426691 SOS 215389 HAS SOPS 215389 HAS SOUS 190899 HAS SOUPS 190899 WITH SCORE 191114.389
AT ITER 1663 NEW BEST:: SOT 426509 SOS 215078 HAS SOPS 215078 HAS SOUS 190641 HAS SOUPS 190641 WITH SCORE 190856.078
AT ITER 1665 NEW BEST:: SOT 426418 SOS 214987 HAS SOPS 214987 HAS SOUS 190550 HAS SOUPS 190550 WITH SCORE 190764.987
AT ITER 1668 NEW BEST:: SOT 425947 SOS 214005 HAS SOPS 214005 HAS SOUS 189772 HAS SOUPS 189772 WITH SCORE 189986.005
AT ITER 1673 NEW BEST:: SOT 425675 SOS 213428 HAS SOPS 213428 HAS SOUS 189643 HAS SOUPS 189643 WITH SCORE 189856.428
AT ITER 1677 NEW BEST:: SOT 425463 SOS 213135 HAS SOPS 213135 HAS SOUS 189350 HAS SOUPS 189350 WITH SCORE 189563.135
AT ITER 1691 NEW BEST:: SOT 425389 SOS 213024 HAS SOPS 213024 HAS SOUS 189239 HAS SOUPS 189239 WITH SCORE 189452.024
AT ITER 1692 NEW BEST:: SOT 425028 SOS 212546 HAS SOPS 212546 HAS SOUS 188791 HAS SOUPS 188791 WITH SCORE 189003.546
AT ITER 1698 NEW BEST:: SOT 424830 SOS 212181 HAS SOPS 212181 HAS SOUS 188386 HAS SOUPS 188386 WITH SCORE 188598.181
AT ITER 1699 NEW BEST:: SOT 424553 SOS 211844 HAS SOPS 211844 HAS SOUS 187945 HAS SOUPS 187945 WITH SCORE 188156.844
AT ITER 1706 NEW BEST:: SOT 424461 SOS 211619 HAS SOPS 211619 HAS SOUS 187664 HAS SOUPS 187664 WITH SCORE 187875.619
AT ITER 1718 NEW BEST:: SOT 424393 SOS 211483 HAS SOPS 211483 HAS SOUS 187528 HAS SOUPS 187528 WITH SCORE 187739.483
AT ITER 1733 NEW BEST:: SOT 424393 SOS 211483 HAS SOPS 211483 HAS SOUS 187516 HAS SOUPS 187516 WITH SCORE 187727.483
AT ITER 1735 NEW BEST:: SOT 424120 SOS 211170 HAS SOPS 211170 HAS SOUS 186755 HAS SOUPS 186755 WITH SCORE 186966.17
AT ITER 1749 NEW BEST:: SOT 423889 SOS 210646 HAS SOPS 210646 HAS SOUS 186486 HAS SOUPS 186486 WITH SCORE 186696.646
AT ITER 1751 NEW BEST:: SOT 423383 SOS 209948 HAS SOPS 209948 HAS SOUS 185768 HAS SOUPS 185768 WITH SCORE 185977.948
AT ITER 1753 NEW BEST:: SOT 423345 SOS 209891 HAS SOPS 209891 HAS SOUS 185711 HAS SOUPS 185711 WITH SCORE 185920.891
AT ITER 1760 NEW BEST:: SOT 423337 SOS 209885 HAS SOPS 209885 HAS SOUS 185705 HAS SOUPS 185705 WITH SCORE 185914.885
AT ITER 1763 NEW BEST:: SOT 423319 SOS 209867 HAS SOPS 209867 HAS SOUS 185673 HAS SOUPS 185673 WITH SCORE 185882.867
AT ITER 1775 NEW BEST:: SOT 423311 SOS 209855 HAS SOPS 209855 HAS SOUS 185661 HAS SOUPS 185661 WITH SCORE 185870.855
AT ITER 1776 NEW BEST:: SOT 423290 SOS 209830 HAS SOPS 209830 HAS SOUS 185652 HAS SOUPS 185652 WITH SCORE 185861.83
AT ITER 1783 NEW BEST:: SOT 423085 SOS 209482 HAS SOPS 209482 HAS SOUS 185304 HAS SOUPS 185304 WITH SCORE 185513.482
AT ITER 1792 NEW BEST:: SOT 423064 SOS 209454 HAS SOPS 209454 HAS SOUS 185269 HAS SOUPS 185269 WITH SCORE 185478.454
AT ITER 1798 NEW BEST:: SOT 423064 SOS 209454 HAS SOPS 209454 HAS SOUS 185254 HAS SOUPS 185254 WITH SCORE 185463.454
AT ITER 1803 NEW BEST:: SOT 422652 SOS 208339 HAS SOPS 208339 HAS SOUS 184408 HAS SOUPS 184408 WITH SCORE 184616.339
AT ITER 1804 NEW BEST:: SOT 422354 SOS 207548 HAS SOPS 207548 HAS SOUS 183797 HAS SOUPS 183797 WITH SCORE 184004.548
AT ITER 1809 NEW BEST:: SOT 422345 SOS 207530 HAS SOPS 207530 HAS SOUS 183788 HAS SOUPS 183788 WITH SCORE 183995.53
AT ITER 1822 NEW BEST:: SOT 422315 SOS 207500 HAS SOPS 207500 HAS SOUS 183758 HAS SOUPS 183758 WITH SCORE 183965.5
AT ITER 1832 NEW BEST:: SOT 422255 SOS 207347 HAS SOPS 207347 HAS SOUS 183605 HAS SOUPS 183605 WITH SCORE 183812.347
AT ITER 1835 NEW BEST:: SOT 422073 SOS 207074 HAS SOPS 207074 HAS SOUS 183332 HAS SOUPS 183332 WITH SCORE 183539.074
AT ITER 1857 NEW BEST:: SOT 421947 SOS 206792 HAS SOPS 206792 HAS SOUS 182879 HAS SOUPS 182879 WITH SCORE 183085.792
AT ITER 1874 NEW BEST:: SOT 421934 SOS 206766 HAS SOPS 206766 HAS SOUS 182853 HAS SOUPS 182853 WITH SCORE 183059.766
AT ITER 1878 NEW BEST:: SOT 421934 SOS 206771 HAS SOPS 206771 HAS SOUS 182848 HAS SOUPS 182848 WITH SCORE 183054.771
AT ITER 1881 NEW BEST:: SOT 421934 SOS 206834 HAS SOPS 206834 HAS SOUS 182811 HAS SOUPS 182811 WITH SCORE 183017.834
AT ITER 1891 NEW BEST:: SOT 421934 SOS 206834 HAS SOPS 206834 HAS SOUS 182798 HAS SOUPS 182798 WITH SCORE 183004.834
AT ITER 1904 NEW BEST:: SOT 421563 SOS 205931 HAS SOPS 205931 HAS SOUS 182375 HAS SOUPS 182375 WITH SCORE 182580.931
AT ITER 1906 NEW BEST:: SOT 421466 SOS 205834 HAS SOPS 205834 HAS SOUS 182240 HAS SOUPS 182240 WITH SCORE 182445.834
AT ITER 1922 NEW BEST:: SOT 421295 SOS 205552 HAS SOPS 205552 HAS SOUS 181930 HAS SOUPS 181930 WITH SCORE 182135.552
AT ITER 1927 NEW BEST:: SOT 421199 SOS 205424 HAS SOPS 205424 HAS SOUS 181802 HAS SOUPS 181802 WITH SCORE 182007.424
AT ITER 1929 NEW BEST:: SOT 421151 SOS 205150 HAS SOPS 205150 HAS SOUS 181754 HAS SOUPS 181754 WITH SCORE 181959.15
AT ITER 1930 NEW BEST:: SOT 421151 SOS 205150 HAS SOPS 205150 HAS SOUS 181716 HAS SOUPS 181716 WITH SCORE 181921.15
AT ITER 1933 NEW BEST:: SOT 420921 SOS 204826 HAS SOPS 204826 HAS SOUS 181360 HAS SOUPS 181360 WITH SCORE 181564.826
AT ITER 1934 NEW BEST:: SOT 420921 SOS 204968 HAS SOPS 204968 HAS SOUS 181347 HAS SOUPS 181347 WITH SCORE 181551.968
AT ITER 1939 NEW BEST:: SOT 420890 SOS 204937 HAS SOPS 204937 HAS SOUS 181316 HAS SOUPS 181316 WITH SCORE 181520.937
AT ITER 1944 NEW BEST:: SOT 420890 SOS 204870 HAS SOPS 204870 HAS SOUS 181249 HAS SOUPS 181249 WITH SCORE 181453.87
AT ITER 1950 NEW BEST:: SOT 420745 SOS 204147 HAS SOPS 204147 HAS SOUS 180848 HAS SOUPS 180848 WITH SCORE 181052.147
AT ITER 1951 NEW BEST:: SOT 420607 SOS 203895 HAS SOPS 203895 HAS SOUS 180596 HAS SOUPS 180596 WITH SCORE 180799.895
AT ITER 1953 NEW BEST:: SOT 420555 SOS 203825 HAS SOPS 203825 HAS SOUS 180485 HAS SOUPS 180485 WITH SCORE 180688.825
AT ITER 1954 NEW BEST:: SOT 420301 SOS 203283 HAS SOPS 203283 HAS SOUS 180142 HAS SOUPS 180142 WITH SCORE 180345.283
AT ITER 1963 NEW BEST:: SOT 420274 SOS 203256 HAS SOPS 203256 HAS SOUS 180142 HAS SOUPS 180142 WITH SCORE 180345.256
AT ITER 1969 NEW BEST:: SOT 420252 SOS 203204 HAS SOPS 203204 HAS SOUS 180023 HAS SOUPS 180023 WITH SCORE 180226.204
AT ITER 1973 NEW BEST:: SOT 420081 SOS 203027 HAS SOPS 203027 HAS SOUS 179840 HAS SOUPS 179840 WITH SCORE 180043.027
AT ITER 1987 NEW BEST:: SOT 420081 SOS 203022 HAS SOPS 203022 HAS SOUS 179839 HAS SOUPS 179839 WITH SCORE 180042.022
AT ITER 1993 NEW BEST:: SOT 420153 SOS 202724 HAS SOPS 202724 HAS SOUS 179804 HAS SOUPS 179804 WITH SCORE 180006.724
AT ITER 2007 NEW BEST:: SOT 420153 SOS 202755 HAS SOPS 202755 HAS SOUS 179738 HAS SOUPS 179738 WITH SCORE 179940.755
AT ITER 2009 NEW BEST:: SOT 419863 SOS 202318 HAS SOPS 202318 HAS SOUS 179301 HAS SOUPS 179301 WITH SCORE 179503.318
AT ITER 2010 NEW BEST:: SOT 419861 SOS 202287 HAS SOPS 202287 HAS SOUS 179270 HAS SOUPS 179270 WITH SCORE 179472.287
AT ITER 2017 NEW BEST:: SOT 419831 SOS 202197 HAS SOPS 202197 HAS SOUS 179139 HAS SOUPS 179139 WITH SCORE 179341.197
AT ITER 2018 NEW BEST:: SOT 419831 SOS 202197 HAS SOPS 202197 HAS SOUS 179133 HAS SOUPS 179133 WITH SCORE 179335.197
AT ITER 2028 NEW BEST:: SOT 419830 SOS 202193 HAS SOPS 202193 HAS SOUS 179124 HAS SOUPS 179124 WITH SCORE 179326.193
AT ITER 2029 NEW BEST:: SOT 419830 SOS 202307 HAS SOPS 202307 HAS SOUS 179112 HAS SOUPS 179112 WITH SCORE 179314.307
AT ITER 2030 NEW BEST:: SOT 419886 SOS 202231 HAS SOPS 202231 HAS SOUS 179005 HAS SOUPS 179005 WITH SCORE 179207.231
AT ITER 2031 NEW BEST:: SOT 419853 SOS 202123 HAS SOPS 202123 HAS SOUS 178952 HAS SOUPS 178952 WITH SCORE 179154.123
AT ITER 2034 NEW BEST:: SOT 419853 SOS 201821 HAS SOPS 201821 HAS SOUS 178864 HAS SOUPS 178864 WITH SCORE 179065.821
AT ITER 2039 NEW BEST:: SOT 419657 SOS 201655 HAS SOPS 201655 HAS SOUS 178848 HAS SOUPS 178848 WITH SCORE 179049.655
AT ITER 2045 NEW BEST:: SOT 419589 SOS 201488 HAS SOPS 201488 HAS SOUS 178674 HAS SOUPS 178674 WITH SCORE 178875.488
AT ITER 2047 NEW BEST:: SOT 419770 SOS 201673 HAS SOPS 201673 HAS SOUS 178542 HAS SOUPS 178542 WITH SCORE 178743.673
AT ITER 2048 NEW BEST:: SOT 419410 SOS 201178 HAS SOPS 201178 HAS SOUS 178101 HAS SOUPS 178101 WITH SCORE 178302.178
AT ITER 2051 NEW BEST:: SOT 419396 SOS 201164 HAS SOPS 201164 HAS SOUS 178087 HAS SOUPS 178087 WITH SCORE 178288.164
AT ITER 2075 NEW BEST:: SOT 419371 SOS 201132 HAS SOPS 201132 HAS SOUS 178045 HAS SOUPS 178045 WITH SCORE 178246.132
AT ITER 2085 NEW BEST:: SOT 419359 SOS 201102 HAS SOPS 201102 HAS SOUS 178021 HAS SOUPS 178021 WITH SCORE 178222.102
AT ITER 2088 NEW BEST:: SOT 419359 SOS 201090 HAS SOPS 201090 HAS SOUS 178021 HAS SOUPS 178021 WITH SCORE 178222.09
AT ITER 2090 NEW BEST:: SOT 419301 SOS 200988 HAS SOPS 200988 HAS SOUS 177897 HAS SOUPS 177897 WITH SCORE 178097.988
AT ITER 2094 NEW BEST:: SOT 419109 SOS 200608 HAS SOPS 200608 HAS SOUS 177517 HAS SOUPS 177517 WITH SCORE 177717.608
AT ITER 2095 NEW BEST:: SOT 418781 SOS 199555 HAS SOPS 199555 HAS SOUS 176775 HAS SOUPS 176775 WITH SCORE 176974.555
AT ITER 2097 NEW BEST:: SOT 418369 SOS 198829 HAS SOPS 198829 HAS SOUS 176056 HAS SOUPS 176056 WITH SCORE 176254.829
AT ITER 2099 NEW BEST:: SOT 418113 SOS 198445 HAS SOPS 198445 HAS SOUS 175736 HAS SOUPS 175736 WITH SCORE 175934.445
AT ITER 2100 NEW BEST:: SOT 418113 SOS 198552 HAS SOPS 198552 HAS SOUS 175576 HAS SOUPS 175576 WITH SCORE 175774.552
AT ITER 2107 NEW BEST:: SOT 418111 SOS 198464 HAS SOPS 198464 HAS SOUS 175570 HAS SOUPS 175570 WITH SCORE 175768.464
AT ITER 2113 NEW BEST:: SOT 417827 SOS 198038 HAS SOPS 198038 HAS SOUS 175115 HAS SOUPS 175115 WITH SCORE 175313.038
AT ITER 2116 NEW BEST:: SOT 417827 SOS 197459 HAS SOPS 197459 HAS SOUS 175028 HAS SOUPS 175028 WITH SCORE 175225.459
AT ITER 2124 NEW BEST:: SOT 417827 SOS 197522 HAS SOPS 197522 HAS SOUS 175012 HAS SOUPS 175012 WITH SCORE 175209.522
AT ITER 2126 NEW BEST:: SOT 417827 SOS 197522 HAS SOPS 197522 HAS SOUS 175009 HAS SOUPS 175009 WITH SCORE 175206.522
AT ITER 2136 NEW BEST:: SOT 417827 SOS 197294 HAS SOPS 197294 HAS SOUS 174925 HAS SOUPS 174925 WITH SCORE 175122.294
AT ITER 2170 NEW BEST:: SOT 417510 SOS 196660 HAS SOPS 196660 HAS SOUS 174547 HAS SOUPS 174547 WITH SCORE 174743.66
AT ITER 2172 NEW BEST:: SOT 417346 SOS 196430 HAS SOPS 196430 HAS SOUS 174406 HAS SOUPS 174406 WITH SCORE 174602.43
AT ITER 2173 NEW BEST:: SOT 417301 SOS 196230 HAS SOPS 196230 HAS SOUS 174277 HAS SOUPS 174277 WITH SCORE 174473.23
AT ITER 2177 NEW BEST:: SOT 417243 SOS 196172 HAS SOPS 196172 HAS SOUS 174219 HAS SOUPS 174219 WITH SCORE 174415.172
AT ITER 2178 NEW BEST:: SOT 416963 SOS 195770 HAS SOPS 195770 HAS SOUS 173795 HAS SOUPS 173795 WITH SCORE 173990.77
AT ITER 2180 NEW BEST:: SOT 416963 SOS 195721 HAS SOPS 195721 HAS SOUS 173746 HAS SOUPS 173746 WITH SCORE 173941.721
AT ITER 2185 NEW BEST:: SOT 416911 SOS 195424 HAS SOPS 195424 HAS SOUS 173600 HAS SOUPS 173600 WITH SCORE 173795.424
AT ITER 2187 NEW BEST:: SOT 416817 SOS 195238 HAS SOPS 195238 HAS SOUS 173506 HAS SOUPS 173506 WITH SCORE 173701.238
AT ITER 2199 NEW BEST:: SOT 416817 SOS 194994 HAS SOPS 194994 HAS SOUS 173262 HAS SOUPS 173262 WITH SCORE 173456.994
AT ITER 2205 NEW BEST:: SOT 416755 SOS 194870 HAS SOPS 194870 HAS SOUS 173169 HAS SOUPS 173169 WITH SCORE 173363.87
AT ITER 2207 NEW BEST:: SOT 416695 SOS 194614 HAS SOPS 194614 HAS SOUS 172994 HAS SOUPS 172994 WITH SCORE 173188.614
AT ITER 2210 NEW BEST:: SOT 416695 SOS 194475 HAS SOPS 194475 HAS SOUS 172800 HAS SOUPS 172800 WITH SCORE 172994.475
AT ITER 2211 NEW BEST:: SOT 416631 SOS 194185 HAS SOPS 194185 HAS SOUS 172608 HAS SOUPS 172608 WITH SCORE 172802.185
AT ITER 2213 NEW BEST:: SOT 416620 SOS 194141 HAS SOPS 194141 HAS SOUS 172571 HAS SOUPS 172571 WITH SCORE 172765.141
AT ITER 2221 NEW BEST:: SOT 416440 SOS 193901 HAS SOPS 193901 HAS SOUS 172331 HAS SOUPS 172331 WITH SCORE 172524.901
AT ITER 2228 NEW BEST:: SOT 416440 SOS 193704 HAS SOPS 193704 HAS SOUS 172134 HAS SOUPS 172134 WITH SCORE 172327.704
AT ITER 2230 NEW BEST:: SOT 416396 SOS 193488 HAS SOPS 193488 HAS SOUS 171983 HAS SOUPS 171983 WITH SCORE 172176.488
AT ITER 2231 NEW BEST:: SOT 416374 SOS 193029 HAS SOPS 193029 HAS SOUS 171912 HAS SOUPS 171912 WITH SCORE 172105.029
AT ITER 2238 NEW BEST:: SOT 416374 SOS 193029 HAS SOPS 193029 HAS SOUS 171865 HAS SOUPS 171865 WITH SCORE 172058.029
AT ITER 2240 NEW BEST:: SOT 416342 SOS 192933 HAS SOPS 192933 HAS SOUS 171801 HAS SOUPS 171801 WITH SCORE 171993.933
AT ITER 2245 NEW BEST:: SOT 416310 SOS 192837 HAS SOPS 192837 HAS SOUS 171769 HAS SOUPS 171769 WITH SCORE 171961.837
AT ITER 2253 NEW BEST:: SOT 416282 SOS 192809 HAS SOPS 192809 HAS SOUS 171604 HAS SOUPS 171604 WITH SCORE 171796.809
AT ITER 2273 NEW BEST:: SOT 416271 SOS 192069 HAS SOPS 192069 HAS SOUS 171336 HAS SOUPS 171336 WITH SCORE 171528.069
AT ITER 2276 NEW BEST:: SOT 416268 SOS 192065 HAS SOPS 192065 HAS SOUS 171332 HAS SOUPS 171332 WITH SCORE 171524.065
AT ITER 2282 NEW BEST:: SOT 416264 SOS 192061 HAS SOPS 192061 HAS SOUS 171328 HAS SOUPS 171328 WITH SCORE 171520.061
AT ITER 2285 NEW BEST:: SOT 416131 SOS 191850 HAS SOPS 191850 HAS SOUS 171148 HAS SOUPS 171148 WITH SCORE 171339.85
AT ITER 2303 NEW BEST:: SOT 416131 SOS 191752 HAS SOPS 191752 HAS SOUS 171139 HAS SOUPS 171139 WITH SCORE 171330.752
AT ITER 2306 NEW BEST:: SOT 416031 SOS 191639 HAS SOPS 191639 HAS SOUS 170783 HAS SOUPS 170783 WITH SCORE 170974.639
AT ITER 2326 NEW BEST:: SOT 416018 SOS 191613 HAS SOPS 191613 HAS SOUS 170757 HAS SOUPS 170757 WITH SCORE 170948.613
AT ITER 2338 NEW BEST:: SOT 415875 SOS 191499 HAS SOPS 191499 HAS SOUS 170672 HAS SOUPS 170672 WITH SCORE 170863.499
AT ITER 2339 NEW BEST:: SOT 415633 SOS 191221 HAS SOPS 191221 HAS SOUS 170293 HAS SOUPS 170293 WITH SCORE 170484.221
AT ITER 2340 NEW BEST:: SOT 415600 SOS 191140 HAS SOPS 191140 HAS SOUS 170212 HAS SOUPS 170212 WITH SCORE 170403.14
AT ITER 2347 NEW BEST:: SOT 415578 SOS 191062 HAS SOPS 191062 HAS SOUS 170164 HAS SOUPS 170164 WITH SCORE 170355.062
AT ITER 2348 NEW BEST:: SOT 415578 SOS 191004 HAS SOPS 191004 HAS SOUS 170164 HAS SOUPS 170164 WITH SCORE 170355.004
AT ITER 2357 NEW BEST:: SOT 415578 SOS 190919 HAS SOPS 190919 HAS SOUS 170079 HAS SOUPS 170079 WITH SCORE 170269.919
AT ITER 2358 NEW BEST:: SOT 415461 SOS 190802 HAS SOPS 190802 HAS SOUS 169923 HAS SOUPS 169923 WITH SCORE 170113.802
AT ITER 2372 NEW BEST:: SOT 415483 SOS 190728 HAS SOPS 190728 HAS SOUS 169851 HAS SOUPS 169851 WITH SCORE 170041.728
AT ITER 2389 NEW BEST:: SOT 415378 SOS 190588 HAS SOPS 190588 HAS SOUS 169711 HAS SOUPS 169711 WITH SCORE 169901.588
AT ITER 2394 NEW BEST:: SOT 415368 SOS 190568 HAS SOPS 190568 HAS SOUS 169691 HAS SOUPS 169691 WITH SCORE 169881.568
AT ITER 2397 NEW BEST:: SOT 415382 SOS 190543 HAS SOPS 190543 HAS SOUS 169666 HAS SOUPS 169666 WITH SCORE 169856.543
AT ITER 2407 NEW BEST:: SOT 415168 SOS 190321 HAS SOPS 190321 HAS SOUS 169437 HAS SOUPS 169437 WITH SCORE 169627.321
AT ITER 2415 NEW BEST:: SOT 415039 SOS 190110 HAS SOPS 190110 HAS SOUS 169183 HAS SOUPS 169183 WITH SCORE 169373.11
AT ITER 2416 NEW BEST:: SOT 415006 SOS 190011 HAS SOPS 190011 HAS SOUS 169139 HAS SOUPS 169139 WITH SCORE 169329.011
AT ITER 2422 NEW BEST:: SOT 414860 SOS 189743 HAS SOPS 189743 HAS SOUS 168990 HAS SOUPS 168990 WITH SCORE 169179.743
AT ITER 2427 NEW BEST:: SOT 414806 SOS 189932 HAS SOPS 189932 HAS SOUS 168968 HAS SOUPS 168968 WITH SCORE 169157.932
AT ITER 2428 NEW BEST:: SOT 414730 SOS 189818 HAS SOPS 189818 HAS SOUS 168816 HAS SOUPS 168816 WITH SCORE 169005.818
AT ITER 2429 NEW BEST:: SOT 414684 SOS 189726 HAS SOPS 189726 HAS SOUS 168770 HAS SOUPS 168770 WITH SCORE 168959.726
AT ITER 2438 NEW BEST:: SOT 414480 SOS 189168 HAS SOPS 189168 HAS SOUS 168250 HAS SOUPS 168250 WITH SCORE 168439.168
AT ITER 2444 NEW BEST:: SOT 414480 SOS 189225 HAS SOPS 189225 HAS SOUS 168183 HAS SOUPS 168183 WITH SCORE 168372.225
AT ITER 2450 NEW BEST:: SOT 414383 SOS 189128 HAS SOPS 189128 HAS SOUS 168086 HAS SOUPS 168086 WITH SCORE 168275.128
AT ITER 2462 NEW BEST:: SOT 414271 SOS 188855 HAS SOPS 188855 HAS SOUS 167969 HAS SOUPS 167969 WITH SCORE 168157.855
AT ITER 2472 NEW BEST:: SOT 414232 SOS 188738 HAS SOPS 188738 HAS SOUS 167852 HAS SOUPS 167852 WITH SCORE 168040.738
AT ITER 2474 NEW BEST:: SOT 414210 SOS 188668 HAS SOPS 188668 HAS SOUS 167823 HAS SOUPS 167823 WITH SCORE 168011.668
AT ITER 2486 NEW BEST:: SOT 413489 SOS 187568 HAS SOPS 187568 HAS SOUS 166866 HAS SOUPS 166866 WITH SCORE 167053.568
AT ITER 2487 NEW BEST:: SOT 413468 SOS 187540 HAS SOPS 187540 HAS SOUS 166838 HAS SOUPS 166838 WITH SCORE 167025.54
AT ITER 2503 NEW BEST:: SOT 413357 SOS 187369 HAS SOPS 187369 HAS SOUS 166638 HAS SOUPS 166638 WITH SCORE 166825.369
AT ITER 2510 NEW BEST:: SOT 413185 SOS 187008 HAS SOPS 187008 HAS SOUS 166235 HAS SOUPS 166235 WITH SCORE 166422.008
AT ITER 2517 NEW BEST:: SOT 412998 SOS 186716 HAS SOPS 186716 HAS SOUS 165943 HAS SOUPS 165943 WITH SCORE 166129.716
AT ITER 2537 NEW BEST:: SOT 412998 SOS 186610 HAS SOPS 186610 HAS SOUS 165837 HAS SOUPS 165837 WITH SCORE 166023.61
AT ITER 2539 NEW BEST:: SOT 412923 SOS 186510 HAS SOPS 186510 HAS SOUS 165737 HAS SOUPS 165737 WITH SCORE 165923.51
AT ITER 2543 NEW BEST:: SOT 412495 SOS 185390 HAS SOPS 185390 HAS SOUS 165004 HAS SOUPS 165004 WITH SCORE 165189.39
AT ITER 2545 NEW BEST:: SOT 412445 SOS 185290 HAS SOPS 185290 HAS SOUS 164938 HAS SOUPS 164938 WITH SCORE 165123.29
AT ITER 2554 NEW BEST:: SOT 412404 SOS 185085 HAS SOPS 185085 HAS SOUS 164856 HAS SOUPS 164856 WITH SCORE 165041.085
AT ITER 2563 NEW BEST:: SOT 411949 SOS 184431 HAS SOPS 184431 HAS SOUS 164366 HAS SOUPS 164366 WITH SCORE 164550.431
AT ITER 2575 NEW BEST:: SOT 411926 SOS 184226 HAS SOPS 184226 HAS SOUS 164286 HAS SOUPS 164286 WITH SCORE 164470.226
AT ITER 2580 NEW BEST:: SOT 411834 SOS 184138 HAS SOPS 184138 HAS SOUS 164198 HAS SOUPS 164198 WITH SCORE 164382.138
AT ITER 2581 NEW BEST:: SOT 411644 SOS 183853 HAS SOPS 183853 HAS SOUS 163902 HAS SOUPS 163902 WITH SCORE 164085.853
AT ITER 2585 NEW BEST:: SOT 411643 SOS 183852 HAS SOPS 183852 HAS SOUS 163865 HAS SOUPS 163865 WITH SCORE 164048.852
AT ITER 2588 NEW BEST:: SOT 411569 SOS 183734 HAS SOPS 183734 HAS SOUS 163744 HAS SOUPS 163744 WITH SCORE 163927.734
AT ITER 2613 NEW BEST:: SOT 411321 SOS 183368 HAS SOPS 183368 HAS SOUS 163366 HAS SOUPS 163366 WITH SCORE 163549.368
AT ITER 2627 NEW BEST:: SOT 411321 SOS 183342 HAS SOPS 183342 HAS SOUS 163340 HAS SOUPS 163340 WITH SCORE 163523.342
AT ITER 2631 NEW BEST:: SOT 411201 SOS 183490 HAS SOPS 183490 HAS SOUS 163100 HAS SOUPS 163100 WITH SCORE 163283.49
AT ITER 2635 NEW BEST:: SOT 411223 SOS 183512 HAS SOPS 183512 HAS SOUS 163077 HAS SOUPS 163077 WITH SCORE 163260.512
AT ITER 2637 NEW BEST:: SOT 411218 SOS 183461 HAS SOPS 183461 HAS SOUS 163067 HAS SOUPS 163067 WITH SCORE 163250.461
AT ITER 2664 NEW BEST:: SOT 411175 SOS 183408 HAS SOPS 183408 HAS SOUS 163014 HAS SOUPS 163014 WITH SCORE 163197.408
AT ITER 2682 NEW BEST:: SOT 411146 SOS 183337 HAS SOPS 183337 HAS SOUS 162921 HAS SOUPS 162921 WITH SCORE 163104.337
AT ITER 2683 NEW BEST:: SOT 411138 SOS 183321 HAS SOPS 183321 HAS SOUS 162897 HAS SOUPS 162897 WITH SCORE 163080.321
AT ITER 2698 NEW BEST:: SOT 411104 SOS 183285 HAS SOPS 183285 HAS SOUS 162861 HAS SOUPS 162861 WITH SCORE 163044.285
AT ITER 2703 NEW BEST:: SOT 411104 SOS 183284 HAS SOPS 183284 HAS SOUS 162859 HAS SOUPS 162859 WITH SCORE 163042.284
AT ITER 2704 NEW BEST:: SOT 411045 SOS 183245 HAS SOPS 183245 HAS SOUS 162856 HAS SOUPS 162856 WITH SCORE 163039.245
AT ITER 2706 NEW BEST:: SOT 410532 SOS 182390 HAS SOPS 182390 HAS SOUS 162157 HAS SOUPS 162157 WITH SCORE 162339.39
AT ITER 2713 NEW BEST:: SOT 410457 SOS 182100 HAS SOPS 182100 HAS SOUS 161872 HAS SOUPS 161872 WITH SCORE 162054.1
AT ITER 2714 NEW BEST:: SOT 410457 SOS 182098 HAS SOPS 182098 HAS SOUS 161457 HAS SOUPS 161457 WITH SCORE 161639.098
AT ITER 2715 NEW BEST:: SOT 410199 SOS 181783 HAS SOPS 181783 HAS SOUS 161167 HAS SOUPS 161167 WITH SCORE 161348.783
AT ITER 2735 NEW BEST:: SOT 409659 SOS 181007 HAS SOPS 181007 HAS SOUS 160407 HAS SOUPS 160407 WITH SCORE 160588.007
AT ITER 2746 NEW BEST:: SOT 409615 SOS 180948 HAS SOPS 180948 HAS SOUS 160348 HAS SOUPS 160348 WITH SCORE 160528.948
AT ITER 2748 NEW BEST:: SOT 409291 SOS 180516 HAS SOPS 180516 HAS SOUS 159916 HAS SOUPS 159916 WITH SCORE 160096.516
AT ITER 2752 NEW BEST:: SOT 409268 SOS 180665 HAS SOPS 180665 HAS SOUS 159903 HAS SOUPS 159903 WITH SCORE 160083.665
AT ITER 2754 NEW BEST:: SOT 408941 SOS 180243 HAS SOPS 180243 HAS SOUS 159461 HAS SOUPS 159461 WITH SCORE 159641.243
AT ITER 2757 NEW BEST:: SOT 408932 SOS 180151 HAS SOPS 180151 HAS SOUS 159429 HAS SOUPS 159429 WITH SCORE 159609.151
AT ITER 2763 NEW BEST:: SOT 408834 SOS 180041 HAS SOPS 180041 HAS SOUS 159359 HAS SOUPS 159359 WITH SCORE 159539.041
AT ITER 2768 NEW BEST:: SOT 408741 SOS 179799 HAS SOPS 179799 HAS SOUS 159038 HAS SOUPS 159038 WITH SCORE 159217.799
AT ITER 2769 NEW BEST:: SOT 408702 SOS 179685 HAS SOPS 179685 HAS SOUS 158923 HAS SOUPS 158923 WITH SCORE 159102.685
AT ITER 2775 NEW BEST:: SOT 408678 SOS 179613 HAS SOPS 179613 HAS SOUS 158875 HAS SOUPS 158875 WITH SCORE 159054.613
AT ITER 2785 NEW BEST:: SOT 408655 SOS 179590 HAS SOPS 179590 HAS SOUS 158852 HAS SOUPS 158852 WITH SCORE 159031.59
AT ITER 2804 NEW BEST:: SOT 408561 SOS 179449 HAS SOPS 179449 HAS SOUS 158711 HAS SOUPS 158711 WITH SCORE 158890.449
AT ITER 2805 NEW BEST:: SOT 408497 SOS 179398 HAS SOPS 179398 HAS SOUS 158660 HAS SOUPS 158660 WITH SCORE 158839.398
AT ITER 2808 NEW BEST:: SOT 408458 SOS 179374 HAS SOPS 179374 HAS SOUS 158636 HAS SOUPS 158636 WITH SCORE 158815.374
AT ITER 2813 NEW BEST:: SOT 408318 SOS 179209 HAS SOPS 179209 HAS SOUS 158251 HAS SOUPS 158251 WITH SCORE 158430.209
AT ITER 2815 NEW BEST:: SOT 408118 SOS 178943 HAS SOPS 178943 HAS SOUS 157940 HAS SOUPS 157940 WITH SCORE 158118.943
AT ITER 2818 NEW BEST:: SOT 408115 SOS 178931 HAS SOPS 178931 HAS SOUS 157931 HAS SOUPS 157931 WITH SCORE 158109.931
AT ITER 2835 NEW BEST:: SOT 408066 SOS 178882 HAS SOPS 178882 HAS SOUS 157833 HAS SOUPS 157833 WITH SCORE 158011.882
AT ITER 2849 NEW BEST:: SOT 408056 SOS 178843 HAS SOPS 178843 HAS SOUS 157794 HAS SOUPS 157794 WITH SCORE 157972.843
AT ITER 2850 NEW BEST:: SOT 407910 SOS 178478 HAS SOPS 178478 HAS SOUS 157552 HAS SOUPS 157552 WITH SCORE 157730.478
AT ITER 2857 NEW BEST:: SOT 407587 SOS 177944 HAS SOPS 177944 HAS SOUS 156783 HAS SOUPS 156783 WITH SCORE 156960.944
AT ITER 2860 NEW BEST:: SOT 407583 SOS 177940 HAS SOPS 177940 HAS SOUS 156779 HAS SOUPS 156779 WITH SCORE 156956.94
AT ITER 2862 NEW BEST:: SOT 407463 SOS 177820 HAS SOPS 177820 HAS SOUS 156659 HAS SOUPS 156659 WITH SCORE 156836.82
AT ITER 2871 NEW BEST:: SOT 407418 SOS 177730 HAS SOPS 177730 HAS SOUS 156524 HAS SOUPS 156524 WITH SCORE 156701.73
AT ITER 2876 NEW BEST:: SOT 407271 SOS 177548 HAS SOPS 177548 HAS SOUS 156457 HAS SOUPS 156457 WITH SCORE 156634.548
AT ITER 2893 NEW BEST:: SOT 407155 SOS 177329 HAS SOPS 177329 HAS SOUS 156124 HAS SOUPS 156124 WITH SCORE 156301.329
AT ITER 2895 NEW BEST:: SOT 407143 SOS 177317 HAS SOPS 177317 HAS SOUS 156112 HAS SOUPS 156112 WITH SCORE 156289.317
AT ITER 2909 NEW BEST:: SOT 407132 SOS 177291 HAS SOPS 177291 HAS SOUS 156104 HAS SOUPS 156104 WITH SCORE 156281.291
AT ITER 2913 NEW BEST:: SOT 406940 SOS 176599 HAS SOPS 176599 HAS SOUS 155684 HAS SOUPS 155684 WITH SCORE 155860.599
AT ITER 2922 NEW BEST:: SOT 406909 SOS 176579 HAS SOPS 176579 HAS SOUS 155570 HAS SOUPS 155570 WITH SCORE 155746.579
AT ITER 2924 NEW BEST:: SOT 406909 SOS 176615 HAS SOPS 176615 HAS SOUS 155557 HAS SOUPS 155557 WITH SCORE 155733.615
AT ITER 2932 NEW BEST:: SOT 406726 SOS 176367 HAS SOPS 176367 HAS SOUS 155268 HAS SOUPS 155268 WITH SCORE 155444.367
AT ITER 2936 NEW BEST:: SOT 406726 SOS 176360 HAS SOPS 176360 HAS SOUS 155268 HAS SOUPS 155268 WITH SCORE 155444.36
AT ITER 2942 NEW BEST:: SOT 406639 SOS 176209 HAS SOPS 176209 HAS SOUS 155190 HAS SOUPS 155190 WITH SCORE 155366.209
AT ITER 2946 NEW BEST:: SOT 406612 SOS 176182 HAS SOPS 176182 HAS SOUS 155163 HAS SOUPS 155163 WITH SCORE 155339.182
AT ITER 2949 NEW BEST:: SOT 406594 SOS 176164 HAS SOPS 176164 HAS SOUS 155145 HAS SOUPS 155145 WITH SCORE 155321.164
AT ITER 2950 NEW BEST:: SOT 406600 SOS 176087 HAS SOPS 176087 HAS SOUS 155007 HAS SOUPS 155007 WITH SCORE 155183.087
AT ITER 2956 NEW BEST:: SOT 406458 SOS 175945 HAS SOPS 175945 HAS SOUS 154686 HAS SOUPS 154686 WITH SCORE 154861.945
AT ITER 2957 NEW BEST:: SOT 406272 SOS 175697 HAS SOPS 175697 HAS SOUS 154322 HAS SOUPS 154322 WITH SCORE 154497.697
AT ITER 2958 NEW BEST:: SOT 406136 SOS 175508 HAS SOPS 175508 HAS SOUS 154133 HAS SOUPS 154133 WITH SCORE 154308.508
AT ITER 3012 NEW BEST:: SOT 406119 SOS 175491 HAS SOPS 175491 HAS SOUS 154072 HAS SOUPS 154072 WITH SCORE 154247.491
AT ITER 3013 NEW BEST:: SOT 406038 SOS 175402 HAS SOPS 175402 HAS SOUS 153983 HAS SOUPS 153983 WITH SCORE 154158.402
AT ITER 3022 NEW BEST:: SOT 405789 SOS 175153 HAS SOPS 175153 HAS SOUS 153601 HAS SOUPS 153601 WITH SCORE 153776.153
AT ITER 3026 NEW BEST:: SOT 405615 SOS 174911 HAS SOPS 174911 HAS SOUS 153360 HAS SOUPS 153360 WITH SCORE 153534.911
AT ITER 3042 NEW BEST:: SOT 405615 SOS 174911 HAS SOPS 174911 HAS SOUS 153317 HAS SOUPS 153317 WITH SCORE 153491.911
AT ITER 3048 NEW BEST:: SOT 405615 SOS 174907 HAS SOPS 174907 HAS SOUS 153301 HAS SOUPS 153301 WITH SCORE 153475.907
AT ITER 3077 NEW BEST:: SOT 405113 SOS 174091 HAS SOPS 174091 HAS SOUS 152343 HAS SOUPS 152343 WITH SCORE 152517.091
AT ITER 3091 NEW BEST:: SOT 405101 SOS 174078 HAS SOPS 174078 HAS SOUS 152330 HAS SOUPS 152330 WITH SCORE 152504.078
AT ITER 3095 NEW BEST:: SOT 405077 SOS 174054 HAS SOPS 174054 HAS SOUS 152306 HAS SOUPS 152306 WITH SCORE 152480.054
AT ITER 3100 NEW BEST:: SOT 404971 SOS 173948 HAS SOPS 173948 HAS SOUS 152147 HAS SOUPS 152147 WITH SCORE 152320.948
AT ITER 3103 NEW BEST:: SOT 404950 SOS 173885 HAS SOPS 173885 HAS SOUS 152078 HAS SOUPS 152078 WITH SCORE 152251.885
AT ITER 3120 NEW BEST:: SOT 404808 SOS 173344 HAS SOPS 173344 HAS SOUS 151762 HAS SOUPS 151762 WITH SCORE 151935.344
AT ITER 3128 NEW BEST:: SOT 404802 SOS 173314 HAS SOPS 173314 HAS SOUS 151744 HAS SOUPS 151744 WITH SCORE 151917.314
AT ITER 3134 NEW BEST:: SOT 404763 SOS 173169 HAS SOPS 173169 HAS SOUS 151731 HAS SOUPS 151731 WITH SCORE 151904.169
AT ITER 3135 NEW BEST:: SOT 404643 SOS 172989 HAS SOPS 172989 HAS SOUS 151582 HAS SOUPS 151582 WITH SCORE 151754.989
AT ITER 3159 NEW BEST:: SOT 404551 SOS 172945 HAS SOPS 172945 HAS SOUS 151467 HAS SOUPS 151467 WITH SCORE 151639.945
AT ITER 3184 NEW BEST:: SOT 404354 SOS 172664 HAS SOPS 172664 HAS SOUS 151133 HAS SOUPS 151133 WITH SCORE 151305.664
AT ITER 3189 NEW BEST:: SOT 404269 SOS 172384 HAS SOPS 172384 HAS SOUS 150878 HAS SOUPS 150878 WITH SCORE 151050.384
AT ITER 3191 NEW BEST:: SOT 404257 SOS 172361 HAS SOPS 172361 HAS SOUS 150855 HAS SOUPS 150855 WITH SCORE 151027.361
AT ITER 3199 NEW BEST:: SOT 404248 SOS 172325 HAS SOPS 172325 HAS SOUS 150828 HAS SOUPS 150828 WITH SCORE 151000.325
AT ITER 3202 NEW BEST:: SOT 404297 SOS 172374 HAS SOPS 172374 HAS SOUS 150822 HAS SOUPS 150822 WITH SCORE 150994.374
AT ITER 3204 NEW BEST:: SOT 404278 SOS 172279 HAS SOPS 172279 HAS SOUS 150784 HAS SOUPS 150784 WITH SCORE 150956.279
AT ITER 3207 NEW BEST:: SOT 404212 SOS 172321 HAS SOPS 172321 HAS SOUS 150726 HAS SOUPS 150726 WITH SCORE 150898.321
AT ITER 3215 NEW BEST:: SOT 403960 SOS 171779 HAS SOPS 171779 HAS SOUS 150282 HAS SOUPS 150282 WITH SCORE 150453.779
AT ITER 3226 NEW BEST:: SOT 403793 SOS 171482 HAS SOPS 171482 HAS SOUS 149985 HAS SOUPS 149985 WITH SCORE 150156.482
AT ITER 3228 NEW BEST:: SOT 403790 SOS 171479 HAS SOPS 171479 HAS SOUS 149985 HAS SOUPS 149985 WITH SCORE 150156.479
AT ITER 3237 NEW BEST:: SOT 403742 SOS 171339 HAS SOPS 171339 HAS SOUS 149846 HAS SOUPS 149846 WITH SCORE 150017.339
AT ITER 3248 NEW BEST:: SOT 403684 SOS 171218 HAS SOPS 171218 HAS SOUS 149759 HAS SOUPS 149759 WITH SCORE 149930.218
AT ITER 3259 NEW BEST:: SOT 403496 SOS 170936 HAS SOPS 170936 HAS SOUS 149477 HAS SOUPS 149477 WITH SCORE 149647.936
AT ITER 3261 NEW BEST:: SOT 403496 SOS 170900 HAS SOPS 170900 HAS SOUS 149477 HAS SOUPS 149477 WITH SCORE 149647.9
AT ITER 3267 NEW BEST:: SOT 403174 SOS 170461 HAS SOPS 170461 HAS SOUS 149038 HAS SOUPS 149038 WITH SCORE 149208.461
AT ITER 3269 NEW BEST:: SOT 403139 SOS 170361 HAS SOPS 170361 HAS SOUS 148938 HAS SOUPS 148938 WITH SCORE 149108.361
AT ITER 3288 NEW BEST:: SOT 403139 SOS 170121 HAS SOPS 170121 HAS SOUS 148924 HAS SOUPS 148924 WITH SCORE 149094.121
AT ITER 3290 NEW BEST:: SOT 403139 SOS 170091 HAS SOPS 170091 HAS SOUS 148909 HAS SOUPS 148909 WITH SCORE 149079.091
AT ITER 3292 NEW BEST:: SOT 403119 SOS 169998 HAS SOPS 169998 HAS SOUS 148862 HAS SOUPS 148862 WITH SCORE 149031.998
AT ITER 3296 NEW BEST:: SOT 403113 SOS 169996 HAS SOPS 169996 HAS SOUS 148857 HAS SOUPS 148857 WITH SCORE 149026.996
AT ITER 3308 NEW BEST:: SOT 402852 SOS 169663 HAS SOPS 169663 HAS SOUS 148528 HAS SOUPS 148528 WITH SCORE 148697.663
AT ITER 3309 NEW BEST:: SOT 402772 SOS 169520 HAS SOPS 169520 HAS SOUS 148385 HAS SOUPS 148385 WITH SCORE 148554.52
AT ITER 3310 NEW BEST:: SOT 402663 SOS 169411 HAS SOPS 169411 HAS SOUS 148330 HAS SOUPS 148330 WITH SCORE 148499.411
AT ITER 3314 NEW BEST:: SOT 402661 SOS 169439 HAS SOPS 169439 HAS SOUS 148314 HAS SOUPS 148314 WITH SCORE 148483.439
AT ITER 3331 NEW BEST:: SOT 402640 SOS 169190 HAS SOPS 169190 HAS SOUS 148260 HAS SOUPS 148260 WITH SCORE 148429.19
AT ITER 3337 NEW BEST:: SOT 402587 SOS 169026 HAS SOPS 169026 HAS SOUS 148098 HAS SOUPS 148098 WITH SCORE 148267.026
AT ITER 3343 NEW BEST:: SOT 402572 SOS 169011 HAS SOPS 169011 HAS SOUS 148083 HAS SOUPS 148083 WITH SCORE 148252.011
AT ITER 3346 NEW BEST:: SOT 402563 SOS 168984 HAS SOPS 168984 HAS SOUS 148060 HAS SOUPS 148060 WITH SCORE 148228.984
AT ITER 3363 NEW BEST:: SOT 402563 SOS 168976 HAS SOPS 168976 HAS SOUS 148052 HAS SOUPS 148052 WITH SCORE 148220.976
AT ITER 3364 NEW BEST:: SOT 402459 SOS 168815 HAS SOPS 168815 HAS SOUS 147844 HAS SOUPS 147844 WITH SCORE 148012.815
AT ITER 3376 NEW BEST:: SOT 402456 SOS 168809 HAS SOPS 168809 HAS SOUS 147838 HAS SOUPS 147838 WITH SCORE 148006.809
AT ITER 3385 NEW BEST:: SOT 402450 SOS 168803 HAS SOPS 168803 HAS SOUS 147832 HAS SOUPS 147832 WITH SCORE 148000.803
AT ITER 3388 NEW BEST:: SOT 402404 SOS 168757 HAS SOPS 168757 HAS SOUS 147786 HAS SOUPS 147786 WITH SCORE 147954.757
AT ITER 3391 NEW BEST:: SOT 402260 SOS 168630 HAS SOPS 168630 HAS SOUS 147561 HAS SOUPS 147561 WITH SCORE 147729.63
AT ITER 3393 NEW BEST:: SOT 402212 SOS 168510 HAS SOPS 168510 HAS SOUS 147453 HAS SOUPS 147453 WITH SCORE 147621.51
AT ITER 3398 NEW BEST:: SOT 402103 SOS 168335 HAS SOPS 168335 HAS SOUS 147278 HAS SOUPS 147278 WITH SCORE 147446.335
AT ITER 3436 NEW BEST:: SOT 402061 SOS 168261 HAS SOPS 168261 HAS SOUS 147236 HAS SOUPS 147236 WITH SCORE 147404.261
AT ITER 3451 NEW BEST:: SOT 401820 SOS 167909 HAS SOPS 167909 HAS SOUS 147014 HAS SOUPS 147014 WITH SCORE 147181.909
AT ITER 3453 NEW BEST:: SOT 401740 SOS 167809 HAS SOPS 167809 HAS SOUS 146914 HAS SOUPS 146914 WITH SCORE 147081.809
AT ITER 3456 NEW BEST:: SOT 401680 SOS 167709 HAS SOPS 167709 HAS SOUS 146834 HAS SOUPS 146834 WITH SCORE 147001.709
AT ITER 3472 NEW BEST:: SOT 401674 SOS 167701 HAS SOPS 167701 HAS SOUS 146826 HAS SOUPS 146826 WITH SCORE 146993.701
AT ITER 3486 NEW BEST:: SOT 401455 SOS 167375 HAS SOPS 167375 HAS SOUS 146455 HAS SOUPS 146455 WITH SCORE 146622.375
AT ITER 3497 NEW BEST:: SOT 401439 SOS 167359 HAS SOPS 167359 HAS SOUS 146439 HAS SOUPS 146439 WITH SCORE 146606.359
AT ITER 3503 NEW BEST:: SOT 401423 SOS 167348 HAS SOPS 167348 HAS SOUS 146341 HAS SOUPS 146341 WITH SCORE 146508.348
AT ITER 3504 NEW BEST:: SOT 401274 SOS 166901 HAS SOPS 166901 HAS SOUS 145995 HAS SOUPS 145995 WITH SCORE 146161.901
AT ITER 3532 NEW BEST:: SOT 401220 SOS 166816 HAS SOPS 166816 HAS SOUS 145906 HAS SOUPS 145906 WITH SCORE 146072.816
AT ITER 3549 NEW BEST:: SOT 401243 SOS 166885 HAS SOPS 166885 HAS SOUS 145829 HAS SOUPS 145829 WITH SCORE 145995.885
AT ITER 3560 NEW BEST:: SOT 401102 SOS 166697 HAS SOPS 166697 HAS SOUS 145641 HAS SOUPS 145641 WITH SCORE 145807.697
AT ITER 3561 NEW BEST:: SOT 401001 SOS 166518 HAS SOPS 166518 HAS SOUS 145524 HAS SOUPS 145524 WITH SCORE 145690.518
AT ITER 3573 NEW BEST:: SOT 400959 SOS 166325 HAS SOPS 166325 HAS SOUS 145478 HAS SOUPS 145478 WITH SCORE 145644.325
AT ITER 3584 NEW BEST:: SOT 400984 SOS 166230 HAS SOPS 166230 HAS SOUS 145451 HAS SOUPS 145451 WITH SCORE 145617.23
AT ITER 3588 NEW BEST:: SOT 400846 SOS 166000 HAS SOPS 166000 HAS SOUS 145267 HAS SOUPS 145267 WITH SCORE 145433.0
AT ITER 3589 NEW BEST:: SOT 400573 SOS 165727 HAS SOPS 165727 HAS SOUS 145001 HAS SOUPS 145001 WITH SCORE 145166.727
AT ITER 3590 NEW BEST:: SOT 400402 SOS 165499 HAS SOPS 165499 HAS SOUS 144662 HAS SOUPS 144662 WITH SCORE 144827.499
AT ITER 3606 NEW BEST:: SOT 400352 SOS 165394 HAS SOPS 165394 HAS SOUS 144520 HAS SOUPS 144520 WITH SCORE 144685.394
AT ITER 3612 NEW BEST:: SOT 400247 SOS 165254 HAS SOPS 165254 HAS SOUS 144380 HAS SOUPS 144380 WITH SCORE 144545.254
AT ITER 3616 NEW BEST:: SOT 400247 SOS 165230 HAS SOPS 165230 HAS SOUS 144356 HAS SOUPS 144356 WITH SCORE 144521.23
AT ITER 3618 NEW BEST:: SOT 400233 SOS 165160 HAS SOPS 165160 HAS SOUS 144321 HAS SOUPS 144321 WITH SCORE 144486.16
AT ITER 3631 NEW BEST:: SOT 400178 SOS 165026 HAS SOPS 165026 HAS SOUS 144109 HAS SOUPS 144109 WITH SCORE 144274.026
AT ITER 3634 NEW BEST:: SOT 400104 SOS 164907 HAS SOPS 164907 HAS SOUS 143945 HAS SOUPS 143945 WITH SCORE 144109.907
AT ITER 3637 NEW BEST:: SOT 400060 SOS 164757 HAS SOPS 164757 HAS SOUS 143903 HAS SOUPS 143903 WITH SCORE 144067.757
AT ITER 3652 NEW BEST:: SOT 399958 SOS 164655 HAS SOPS 164655 HAS SOUS 143801 HAS SOUPS 143801 WITH SCORE 143965.655
AT ITER 3657 NEW BEST:: SOT 399869 SOS 164566 HAS SOPS 164566 HAS SOUS 143712 HAS SOUPS 143712 WITH SCORE 143876.566
AT ITER 3660 NEW BEST:: SOT 399805 SOS 164341 HAS SOPS 164341 HAS SOUS 143579 HAS SOUPS 143579 WITH SCORE 143743.341
AT ITER 3671 NEW BEST:: SOT 399795 SOS 164311 HAS SOPS 164311 HAS SOUS 143549 HAS SOUPS 143549 WITH SCORE 143713.311
AT ITER 3677 NEW BEST:: SOT 399335 SOS 163621 HAS SOPS 163621 HAS SOUS 142974 HAS SOUPS 142974 WITH SCORE 143137.621
AT ITER 3686 NEW BEST:: SOT 399349 SOS 163656 HAS SOPS 163656 HAS SOUS 142944 HAS SOUPS 142944 WITH SCORE 143107.656
AT ITER 3688 NEW BEST:: SOT 399338 SOS 163532 HAS SOPS 163532 HAS SOUS 142911 HAS SOUPS 142911 WITH SCORE 143074.532
AT ITER 3691 NEW BEST:: SOT 399246 SOS 163348 HAS SOPS 163348 HAS SOUS 142717 HAS SOUPS 142717 WITH SCORE 142880.348
AT ITER 3693 NEW BEST:: SOT 399246 SOS 163715 HAS SOPS 163715 HAS SOUS 142582 HAS SOUPS 142582 WITH SCORE 142745.715
AT ITER 3696 NEW BEST:: SOT 399272 SOS 163713 HAS SOPS 163713 HAS SOUS 142547 HAS SOUPS 142547 WITH SCORE 142710.713
AT ITER 3700 NEW BEST:: SOT 399243 SOS 163654 HAS SOPS 163654 HAS SOUS 142503 HAS SOUPS 142503 WITH SCORE 142666.654
AT ITER 3710 NEW BEST:: SOT 399285 SOS 163741 HAS SOPS 163741 HAS SOUS 142461 HAS SOUPS 142461 WITH SCORE 142624.741
AT ITER 3713 NEW BEST:: SOT 399229 SOS 163573 HAS SOPS 163573 HAS SOUS 142323 HAS SOUPS 142323 WITH SCORE 142486.573
AT ITER 3714 NEW BEST:: SOT 399160 SOS 163504 HAS SOPS 163504 HAS SOUS 142220 HAS SOUPS 142220 WITH SCORE 142383.504
AT ITER 3715 NEW BEST:: SOT 399025 SOS 163324 HAS SOPS 163324 HAS SOUS 142040 HAS SOUPS 142040 WITH SCORE 142203.324
AT ITER 3728 NEW BEST:: SOT 398924 SOS 162798 HAS SOPS 162798 HAS SOUS 141853 HAS SOUPS 141853 WITH SCORE 142015.798
AT ITER 3780 NEW BEST:: SOT 398912 SOS 162717 HAS SOPS 162717 HAS SOUS 141829 HAS SOUPS 141829 WITH SCORE 141991.717
AT ITER 3796 NEW BEST:: SOT 398851 SOS 162592 HAS SOPS 162592 HAS SOUS 141654 HAS SOUPS 141654 WITH SCORE 141816.592
AT ITER 3803 NEW BEST:: SOT 398851 SOS 162657 HAS SOPS 162657 HAS SOUS 141589 HAS SOUPS 141589 WITH SCORE 141751.657
AT ITER 3821 NEW BEST:: SOT 398791 SOS 162507 HAS SOPS 162507 HAS SOUS 141478 HAS SOUPS 141478 WITH SCORE 141640.507
AT ITER 3822 NEW BEST:: SOT 398731 SOS 162542 HAS SOPS 162542 HAS SOUS 141469 HAS SOUPS 141469 WITH SCORE 141631.542
AT ITER 3831 NEW BEST:: SOT 398731 SOS 162526 HAS SOPS 162526 HAS SOUS 141461 HAS SOUPS 141461 WITH SCORE 141623.526
AT ITER 3832 NEW BEST:: SOT 398633 SOS 162330 HAS SOPS 162330 HAS SOUS 141363 HAS SOUPS 141363 WITH SCORE 141525.33
AT ITER 3851 NEW BEST:: SOT 398432 SOS 162129 HAS SOPS 162129 HAS SOUS 141095 HAS SOUPS 141095 WITH SCORE 141257.129
AT ITER 3869 NEW BEST:: SOT 398418 SOS 162084 HAS SOPS 162084 HAS SOUS 141050 HAS SOUPS 141050 WITH SCORE 141212.084
AT ITER 3872 NEW BEST:: SOT 398402 SOS 162126 HAS SOPS 162126 HAS SOUS 141034 HAS SOUPS 141034 WITH SCORE 141196.126
AT ITER 3874 NEW BEST:: SOT 398360 SOS 162063 HAS SOPS 162063 HAS SOUS 140971 HAS SOUPS 140971 WITH SCORE 141133.063
AT ITER 3881 NEW BEST:: SOT 398336 SOS 162061 HAS SOPS 162061 HAS SOUS 140969 HAS SOUPS 140969 WITH SCORE 141131.061
AT ITER 3886 NEW BEST:: SOT 398288 SOS 161997 HAS SOPS 161997 HAS SOUS 140889 HAS SOUPS 140889 WITH SCORE 141050.997
AT ITER 3892 NEW BEST:: SOT 398254 SOS 161963 HAS SOPS 161963 HAS SOUS 140855 HAS SOUPS 140855 WITH SCORE 141016.963
AT ITER 3895 NEW BEST:: SOT 398217 SOS 161829 HAS SOPS 161829 HAS SOUS 140726 HAS SOUPS 140726 WITH SCORE 140887.829
AT ITER 3903 NEW BEST:: SOT 398146 SOS 161631 HAS SOPS 161631 HAS SOUS 140673 HAS SOUPS 140673 WITH SCORE 140834.631
AT ITER 3908 NEW BEST:: SOT 398146 SOS 161580 HAS SOPS 161580 HAS SOUS 140622 HAS SOUPS 140622 WITH SCORE 140783.58
AT ITER 3910 NEW BEST:: SOT 398117 SOS 161520 HAS SOPS 161520 HAS SOUS 140615 HAS SOUPS 140615 WITH SCORE 140776.52
AT ITER 3923 NEW BEST:: SOT 397898 SOS 161301 HAS SOPS 161301 HAS SOUS 140396 HAS SOUPS 140396 WITH SCORE 140557.301
AT ITER 3925 NEW BEST:: SOT 397836 SOS 160991 HAS SOPS 160991 HAS SOUS 140272 HAS SOUPS 140272 WITH SCORE 140432.991
AT ITER 3926 NEW BEST:: SOT 397787 SOS 160922 HAS SOPS 160922 HAS SOUS 140203 HAS SOUPS 140203 WITH SCORE 140363.922
AT ITER 3935 NEW BEST:: SOT 397723 SOS 160849 HAS SOPS 160849 HAS SOUS 140130 HAS SOUPS 140130 WITH SCORE 140290.849
AT ITER 3941 NEW BEST:: SOT 397717 SOS 160825 HAS SOPS 160825 HAS SOUS 140112 HAS SOUPS 140112 WITH SCORE 140272.825
AT ITER 3942 NEW BEST:: SOT 397717 SOS 160821 HAS SOPS 160821 HAS SOUS 140076 HAS SOUPS 140076 WITH SCORE 140236.821
AT ITER 3943 NEW BEST:: SOT 397572 SOS 160678 HAS SOPS 160678 HAS SOUS 139933 HAS SOUPS 139933 WITH SCORE 140093.678
AT ITER 3952 NEW BEST:: SOT 397571 SOS 160675 HAS SOPS 160675 HAS SOUS 139930 HAS SOUPS 139930 WITH SCORE 140090.675
AT ITER 3954 NEW BEST:: SOT 397525 SOS 160583 HAS SOPS 160583 HAS SOUS 139832 HAS SOUPS 139832 WITH SCORE 139992.583
AT ITER 3989 NEW BEST:: SOT 397721 SOS 160594 HAS SOPS 160594 HAS SOUS 139817 HAS SOUPS 139817 WITH SCORE 139977.594
AT ITER 3993 NEW BEST:: SOT 397721 SOS 160594 HAS SOPS 160594 HAS SOUS 139775 HAS SOUPS 139775 WITH SCORE 139935.594
AT ITER 4024 NEW BEST:: SOT 397721 SOS 160510 HAS SOPS 160510 HAS SOUS 139733 HAS SOUPS 139733 WITH SCORE 139893.51
AT ITER 4029 NEW BEST:: SOT 397721 SOS 160481 HAS SOPS 160481 HAS SOUS 139733 HAS SOUPS 139733 WITH SCORE 139893.481
AT ITER 4031 NEW BEST:: SOT 397721 SOS 160313 HAS SOPS 160313 HAS SOUS 139733 HAS SOUPS 139733 WITH SCORE 139893.313
AT ITER 4043 NEW BEST:: SOT 397721 SOS 160102 HAS SOPS 160102 HAS SOUS 139528 HAS SOUPS 139528 WITH SCORE 139688.102
AT ITER 4050 NEW BEST:: SOT 397638 SOS 160015 HAS SOPS 160015 HAS SOUS 139427 HAS SOUPS 139427 WITH SCORE 139587.015
AT ITER 4054 NEW BEST:: SOT 397587 SOS 159848 HAS SOPS 159848 HAS SOUS 139347 HAS SOUPS 139347 WITH SCORE 139506.848
AT ITER 4064 NEW BEST:: SOT 397562 SOS 159723 HAS SOPS 159723 HAS SOUS 139295 HAS SOUPS 139295 WITH SCORE 139454.723
AT ITER 4066 NEW BEST:: SOT 397514 SOS 159639 HAS SOPS 159639 HAS SOUS 139199 HAS SOUPS 139199 WITH SCORE 139358.639
AT ITER 4071 NEW BEST:: SOT 397450 SOS 159529 HAS SOPS 159529 HAS SOUS 139088 HAS SOUPS 139088 WITH SCORE 139247.529
AT ITER 4074 NEW BEST:: SOT 397394 SOS 159342 HAS SOPS 159342 HAS SOUS 138976 HAS SOUPS 138976 WITH SCORE 139135.342
AT ITER 4078 NEW BEST:: SOT 397188 SOS 159057 HAS SOPS 159057 HAS SOUS 138893 HAS SOUPS 138893 WITH SCORE 139052.057
AT ITER 4080 NEW BEST:: SOT 397085 SOS 158817 HAS SOPS 158817 HAS SOUS 138659 HAS SOUPS 138659 WITH SCORE 138817.817
AT ITER 4086 NEW BEST:: SOT 397007 SOS 158719 HAS SOPS 158719 HAS SOUS 138528 HAS SOUPS 138528 WITH SCORE 138686.719
AT ITER 4104 NEW BEST:: SOT 396978 SOS 158690 HAS SOPS 158690 HAS SOUS 138499 HAS SOUPS 138499 WITH SCORE 138657.69
AT ITER 4110 NEW BEST:: SOT 396939 SOS 158619 HAS SOPS 158619 HAS SOUS 138428 HAS SOUPS 138428 WITH SCORE 138586.619
AT ITER 4115 NEW BEST:: SOT 396930 SOS 158599 HAS SOPS 158599 HAS SOUS 138409 HAS SOUPS 138409 WITH SCORE 138567.599
AT ITER 4127 NEW BEST:: SOT 396867 SOS 158500 HAS SOPS 158500 HAS SOUS 138317 HAS SOUPS 138317 WITH SCORE 138475.5
AT ITER 4138 NEW BEST:: SOT 396846 SOS 158472 HAS SOPS 158472 HAS SOUS 138289 HAS SOUPS 138289 WITH SCORE 138447.472
AT ITER 4154 NEW BEST:: SOT 396822 SOS 158400 HAS SOPS 158400 HAS SOUS 138289 HAS SOUPS 138289 WITH SCORE 138447.4
AT ITER 4157 NEW BEST:: SOT 396642 SOS 158078 HAS SOPS 158078 HAS SOUS 138038 HAS SOUPS 138038 WITH SCORE 138196.078
AT ITER 4163 NEW BEST:: SOT 396674 SOS 158144 HAS SOPS 158144 HAS SOUS 138012 HAS SOUPS 138012 WITH SCORE 138170.144
AT ITER 4184 NEW BEST:: SOT 396705 SOS 158200 HAS SOPS 158200 HAS SOUS 137975 HAS SOUPS 137975 WITH SCORE 138133.2
AT ITER 4221 NEW BEST:: SOT 396583 SOS 157983 HAS SOPS 157983 HAS SOUS 137754 HAS SOUPS 137754 WITH SCORE 137911.983
AT ITER 4230 NEW BEST:: SOT 396583 SOS 157943 HAS SOPS 157943 HAS SOUS 137714 HAS SOUPS 137714 WITH SCORE 137871.943
AT ITER 4231 NEW BEST:: SOT 396510 SOS 157925 HAS SOPS 157925 HAS SOUS 137549 HAS SOUPS 137549 WITH SCORE 137706.925
AT ITER 4238 NEW BEST:: SOT 396510 SOS 157893 HAS SOPS 157893 HAS SOUS 137444 HAS SOUPS 137444 WITH SCORE 137601.893
AT ITER 4242 NEW BEST:: SOT 396346 SOS 157739 HAS SOPS 157739 HAS SOUS 137290 HAS SOUPS 137290 WITH SCORE 137447.739
AT ITER 4256 NEW BEST:: SOT 396278 SOS 157578 HAS SOPS 157578 HAS SOUS 137135 HAS SOUPS 137135 WITH SCORE 137292.578
AT ITER 4257 NEW BEST:: SOT 396266 SOS 157560 HAS SOPS 157560 HAS SOUS 137117 HAS SOUPS 137117 WITH SCORE 137274.56
AT ITER 4278 NEW BEST:: SOT 396257 SOS 157522 HAS SOPS 157522 HAS SOUS 137090 HAS SOUPS 137090 WITH SCORE 137247.522
AT ITER 4288 NEW BEST:: SOT 396256 SOS 157518 HAS SOPS 157518 HAS SOUS 137087 HAS SOUPS 137087 WITH SCORE 137244.518
AT ITER 4291 NEW BEST:: SOT 396453 SOS 157802 HAS SOPS 157802 HAS SOUS 137000 HAS SOUPS 137000 WITH SCORE 137157.802
AT ITER 4294 NEW BEST:: SOT 396430 SOS 157736 HAS SOPS 157736 HAS SOUS 136979 HAS SOUPS 136979 WITH SCORE 137136.736
AT ITER 4297 NEW BEST:: SOT 396430 SOS 157435 HAS SOPS 157435 HAS SOUS 136890 HAS SOUPS 136890 WITH SCORE 137047.435
AT ITER 4298 NEW BEST:: SOT 396366 SOS 157369 HAS SOPS 157369 HAS SOUS 136885 HAS SOUPS 136885 WITH SCORE 137042.369
AT ITER 4301 NEW BEST:: SOT 396356 SOS 157305 HAS SOPS 157305 HAS SOUS 136865 HAS SOUPS 136865 WITH SCORE 137022.305
AT ITER 4312 NEW BEST:: SOT 396353 SOS 157295 HAS SOPS 157295 HAS SOUS 136855 HAS SOUPS 136855 WITH SCORE 137012.295
AT ITER 4320 NEW BEST:: SOT 396329 SOS 157265 HAS SOPS 157265 HAS SOUS 136807 HAS SOUPS 136807 WITH SCORE 136964.265
AT ITER 4342 NEW BEST:: SOT 396329 SOS 157126 HAS SOPS 157126 HAS SOUS 136668 HAS SOUPS 136668 WITH SCORE 136825.126
AT ITER 4349 NEW BEST:: SOT 396224 SOS 156986 HAS SOPS 156986 HAS SOUS 136563 HAS SOUPS 136563 WITH SCORE 136719.986
AT ITER 4377 NEW BEST:: SOT 396224 SOS 156970 HAS SOPS 156970 HAS SOUS 136547 HAS SOUPS 136547 WITH SCORE 136703.97
AT ITER 4385 NEW BEST:: SOT 396182 SOS 156974 HAS SOPS 156974 HAS SOUS 136297 HAS SOUPS 136297 WITH SCORE 136453.974
AT ITER 4395 NEW BEST:: SOT 396177 SOS 156959 HAS SOPS 156959 HAS SOUS 136287 HAS SOUPS 136287 WITH SCORE 136443.959
AT ITER 4418 NEW BEST:: SOT 396070 SOS 156600 HAS SOPS 156600 HAS SOUS 136174 HAS SOUPS 136174 WITH SCORE 136330.6
AT ITER 4421 NEW BEST:: SOT 395992 SOS 156467 HAS SOPS 156467 HAS SOUS 136064 HAS SOUPS 136064 WITH SCORE 136220.467
AT ITER 4422 NEW BEST:: SOT 395953 SOS 156415 HAS SOPS 156415 HAS SOUS 136012 HAS SOUPS 136012 WITH SCORE 136168.415
AT ITER 4434 NEW BEST:: SOT 395900 SOS 156256 HAS SOPS 156256 HAS SOUS 135906 HAS SOUPS 135906 WITH SCORE 136062.256
AT ITER 4450 NEW BEST:: SOT 395856 SOS 156212 HAS SOPS 156212 HAS SOUS 135862 HAS SOUPS 135862 WITH SCORE 136018.212
AT ITER 4473 NEW BEST:: SOT 395671 SOS 155834 HAS SOPS 155834 HAS SOUS 135411 HAS SOUPS 135411 WITH SCORE 135566.834
AT ITER 4474 NEW BEST:: SOT 395625 SOS 155658 HAS SOPS 155658 HAS SOUS 135309 HAS SOUPS 135309 WITH SCORE 135464.658
AT ITER 4485 NEW BEST:: SOT 395622 SOS 155652 HAS SOPS 155652 HAS SOUS 135304 HAS SOUPS 135304 WITH SCORE 135459.652
AT ITER 4486 NEW BEST:: SOT 395641 SOS 155684 HAS SOPS 155684 HAS SOUS 135293 HAS SOUPS 135293 WITH SCORE 135448.684
AT ITER 4502 NEW BEST:: SOT 395500 SOS 155379 HAS SOPS 155379 HAS SOUS 134846 HAS SOUPS 134846 WITH SCORE 135001.379
AT ITER 4511 NEW BEST:: SOT 395377 SOS 155270 HAS SOPS 155270 HAS SOUS 134707 HAS SOUPS 134707 WITH SCORE 134862.27
AT ITER 4518 NEW BEST:: SOT 395256 SOS 155155 HAS SOPS 155155 HAS SOUS 134592 HAS SOUPS 134592 WITH SCORE 134747.155
AT ITER 4523 NEW BEST:: SOT 395002 SOS 154676 HAS SOPS 154676 HAS SOUS 134139 HAS SOUPS 134139 WITH SCORE 134293.676
AT ITER 4530 NEW BEST:: SOT 394964 SOS 154611 HAS SOPS 154611 HAS SOUS 134074 HAS SOUPS 134074 WITH SCORE 134228.611
AT ITER 4531 NEW BEST:: SOT 394469 SOS 153501 HAS SOPS 153501 HAS SOUS 133421 HAS SOUPS 133421 WITH SCORE 133574.501
AT ITER 4567 NEW BEST:: SOT 394465 SOS 153301 HAS SOPS 153301 HAS SOUS 133358 HAS SOUPS 133358 WITH SCORE 133511.301
AT ITER 4569 NEW BEST:: SOT 394529 SOS 153365 HAS SOPS 153365 HAS SOUS 133355 HAS SOUPS 133355 WITH SCORE 133508.365
AT ITER 4574 NEW BEST:: SOT 394520 SOS 153329 HAS SOPS 153329 HAS SOUS 133319 HAS SOUPS 133319 WITH SCORE 133472.329
AT ITER 4578 NEW BEST:: SOT 394498 SOS 153255 HAS SOPS 153255 HAS SOUS 133275 HAS SOUPS 133275 WITH SCORE 133428.255
AT ITER 4594 NEW BEST:: SOT 394269 SOS 153026 HAS SOPS 153026 HAS SOUS 133046 HAS SOUPS 133046 WITH SCORE 133199.026
AT ITER 4614 NEW BEST:: SOT 394251 SOS 152972 HAS SOPS 152972 HAS SOUS 132974 HAS SOUPS 132974 WITH SCORE 133126.972
AT ITER 4615 NEW BEST:: SOT 394179 SOS 152900 HAS SOPS 152900 HAS SOUS 132796 HAS SOUPS 132796 WITH SCORE 132948.9
AT ITER 4631 NEW BEST:: SOT 394136 SOS 152623 HAS SOPS 152623 HAS SOUS 132667 HAS SOUPS 132667 WITH SCORE 132819.623
AT ITER 4633 NEW BEST:: SOT 394096 SOS 152459 HAS SOPS 152459 HAS SOUS 132535 HAS SOUPS 132535 WITH SCORE 132687.459
AT ITER 4644 NEW BEST:: SOT 393822 SOS 151725 HAS SOPS 151725 HAS SOUS 132091 HAS SOUPS 132091 WITH SCORE 132242.725
AT ITER 4655 NEW BEST:: SOT 393622 SOS 151525 HAS SOPS 151525 HAS SOUS 131991 HAS SOUPS 131991 WITH SCORE 132142.525
AT ITER 4656 NEW BEST:: SOT 393559 SOS 151462 HAS SOPS 151462 HAS SOUS 131928 HAS SOUPS 131928 WITH SCORE 132079.462
AT ITER 4663 NEW BEST:: SOT 393517 SOS 151443 HAS SOPS 151443 HAS SOUS 131798 HAS SOUPS 131798 WITH SCORE 131949.443
AT ITER 4708 NEW BEST:: SOT 393509 SOS 151435 HAS SOPS 151435 HAS SOUS 131790 HAS SOUPS 131790 WITH SCORE 131941.435
AT ITER 4710 NEW BEST:: SOT 393495 SOS 151407 HAS SOPS 151407 HAS SOUS 131722 HAS SOUPS 131722 WITH SCORE 131873.407
AT ITER 4711 NEW BEST:: SOT 393503 SOS 151449 HAS SOPS 151449 HAS SOUS 131694 HAS SOUPS 131694 WITH SCORE 131845.449
AT ITER 4726 NEW BEST:: SOT 393383 SOS 151246 HAS SOPS 151246 HAS SOUS 131520 HAS SOUPS 131520 WITH SCORE 131671.246
AT ITER 4727 NEW BEST:: SOT 393364 SOS 151170 HAS SOPS 151170 HAS SOUS 131504 HAS SOUPS 131504 WITH SCORE 131655.17
AT ITER 4729 NEW BEST:: SOT 393323 SOS 151141 HAS SOPS 151141 HAS SOUS 131408 HAS SOUPS 131408 WITH SCORE 131559.141
AT ITER 4731 NEW BEST:: SOT 393319 SOS 151133 HAS SOPS 151133 HAS SOUS 131404 HAS SOUPS 131404 WITH SCORE 131555.133
AT ITER 4732 NEW BEST:: SOT 393169 SOS 150896 HAS SOPS 150896 HAS SOUS 131160 HAS SOUPS 131160 WITH SCORE 131310.896
AT ITER 4769 NEW BEST:: SOT 392968 SOS 150567 HAS SOPS 150567 HAS SOUS 130882 HAS SOUPS 130882 WITH SCORE 131032.567
AT ITER 4788 NEW BEST:: SOT 392914 SOS 150459 HAS SOPS 150459 HAS SOUS 130828 HAS SOUPS 130828 WITH SCORE 130978.459
AT ITER 4794 NEW BEST:: SOT 392859 SOS 150378 HAS SOPS 150378 HAS SOUS 130747 HAS SOUPS 130747 WITH SCORE 130897.378
AT ITER 4796 NEW BEST:: SOT 392819 SOS 150265 HAS SOPS 150265 HAS SOUS 130634 HAS SOUPS 130634 WITH SCORE 130784.265
AT ITER 4802 NEW BEST:: SOT 392725 SOS 149795 HAS SOPS 149795 HAS SOUS 130446 HAS SOUPS 130446 WITH SCORE 130595.795
AT ITER 4810 NEW BEST:: SOT 392675 SOS 149695 HAS SOPS 149695 HAS SOUS 130359 HAS SOUPS 130359 WITH SCORE 130508.695
AT ITER 4856 NEW BEST:: SOT 392574 SOS 149489 HAS SOPS 149489 HAS SOUS 130260 HAS SOUPS 130260 WITH SCORE 130409.489
AT ITER 4865 NEW BEST:: SOT 392585 SOS 149500 HAS SOPS 149500 HAS SOUS 130133 HAS SOUPS 130133 WITH SCORE 130282.5
AT ITER 4866 NEW BEST:: SOT 392378 SOS 149551 HAS SOPS 149551 HAS SOUS 129801 HAS SOUPS 129801 WITH SCORE 129950.551
AT ITER 4894 NEW BEST:: SOT 392320 SOS 149451 HAS SOPS 149451 HAS SOUS 129701 HAS SOUPS 129701 WITH SCORE 129850.451
AT ITER 4922 NEW BEST:: SOT 392307 SOS 149400 HAS SOPS 149400 HAS SOUS 129674 HAS SOUPS 129674 WITH SCORE 129823.4
AT ITER 4931 NEW BEST:: SOT 392282 SOS 149350 HAS SOPS 149350 HAS SOUS 129624 HAS SOUPS 129624 WITH SCORE 129773.35
AT ITER 4935 NEW BEST:: SOT 392194 SOS 149072 HAS SOPS 149072 HAS SOUS 129443 HAS SOUPS 129443 WITH SCORE 129592.072
AT ITER 4943 NEW BEST:: SOT 392133 SOS 148889 HAS SOPS 148889 HAS SOUS 129260 HAS SOUPS 129260 WITH SCORE 129408.889
AT ITER 4945 NEW BEST:: SOT 392101 SOS 148825 HAS SOPS 148825 HAS SOUS 129196 HAS SOUPS 129196 WITH SCORE 129344.825
AT ITER 4948 NEW BEST:: SOT 392097 SOS 148813 HAS SOPS 148813 HAS SOUS 129188 HAS SOUPS 129188 WITH SCORE 129336.813
AT ITER 4953 NEW BEST:: SOT 392025 SOS 148617 HAS SOPS 148617 HAS SOUS 129057 HAS SOUPS 129057 WITH SCORE 129205.617
AT ITER 4959 NEW BEST:: SOT 392025 SOS 148594 HAS SOPS 148594 HAS SOUS 128999 HAS SOUPS 128999 WITH SCORE 129147.594
AT ITER 4965 NEW BEST:: SOT 392013 SOS 148600 HAS SOPS 148600 HAS SOUS 128998 HAS SOUPS 128998 WITH SCORE 129146.6
AT ITER 4969 NEW BEST:: SOT 391971 SOS 148556 HAS SOPS 148556 HAS SOUS 128954 HAS SOUPS 128954 WITH SCORE 129102.556
AT ITER 4976 NEW BEST:: SOT 391971 SOS 148554 HAS SOPS 148554 HAS SOUS 128953 HAS SOUPS 128953 WITH SCORE 129101.554
AT ITER 4978 NEW BEST:: SOT 391828 SOS 148374 HAS SOPS 148374 HAS SOUS 128773 HAS SOUPS 128773 WITH SCORE 128921.374
AT ITER 4998 NEW BEST:: SOT 391748 SOS 148274 HAS SOPS 148274 HAS SOUS 128673 HAS SOUPS 128673 WITH SCORE 128821.274
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-00 (EF((EG( potential( (tk(P757)) <= (tk(P416)) )))))
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-01 (EF(( (EG( potential( ( 2 ) <= (tk(P73)) ))) & (AF(potential( (tk(P528)) <= (tk(P508)) ))) )))
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-02 (AG( (EF(( potential( (tk(P291)) <= (tk(P265)) ) | potential( (tk(P161)) <= (tk(P418)) ) )))))
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-03 ( ( (EG( ( potential( ( 3 ) <= (tk(P10)) ) | potential( (tk(P74)) <= (tk(P447)) ) ))) & ( ( (! potential( (tk(P285)) <= (tk(P451)) )) | ( potential( ( 2 ) <= (tk(P508)) ) | potential( (tk(P302)) <= (tk(P581)) ) ) ) | ( ( potential( ( 2 ) <= (tk(P217)) ) | potential( (tk(P461)) <= (tk(P55)) ) ) & ( potential( ( 3 ) <= (tk(P237)) ) & potential( (tk(P565)) <= (tk(P332)) ) ) ) ) ) & ( ( (! ( potential( ( 2 ) <= (tk(P470)) ) | potential( ( 3 ) <= (tk(P67)) ) )) & (EF(potential( ( 2 ) <= (tk(P650)) ))) ) | (EG( potential( ( 1 ) <= (tk(P124)) ))) ) )
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-04 ( ( (! ( ( potential( ( 2 ) <= (tk(P691)) ) & potential( ( 3 ) <= (tk(P384)) ) ) | ( potential( ( 1 ) <= (tk(P214)) ) | potential( ( 2 ) <= (tk(P433)) ) ) )) & (EF(potential( ( 3 ) <= (tk(P411)) ))) ) | (AG( (! potential( ( 3 ) <= (tk(P593)) )))) )
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-05 (EF((EF(potential( ( 2 ) <= (tk(P382)) )))))
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-06 (EU( potential( (tk(P125)) <= (tk(P659)) ),( (! potential( ( 3 ) <= (tk(P48)) )) & potential( ( 1 ) <= (tk(P442)) ) ) ))
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-07 (AU( ( (! potential( ( 1 ) <= (tk(P653)) )) & potential( ( 1 ) <= (tk(P582)) ) ),(EF(potential( ( 3 ) <= (tk(P390)) ))) ))
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-08 (AG( ( (EX( potential( ( 1 ) <= (tk(P343)) ))) | ( (! potential( (tk(P8)) <= (tk(P656)) )) | ( potential( (tk(P308)) <= (tk(P510)) ) | potential( ( 1 ) <= (tk(P635)) ) ) ) )))
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-09 (AU( potential( (tk(P763)) <= (tk(P101)) ),(AG( potential( (tk(P646)) <= (tk(P746)) ))) ))
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-10 (EX( (AG( ( potential( (tk(P626)) <= (tk(P278)) ) | potential( (tk(P549)) <= (tk(P150)) ) )))))
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-11 (AG( potential( (tk(P396)) <= (tk(P704)) )))
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-12 ( ( (! (AF(potential( (tk(P592)) <= (tk(P84)) )))) & ( potential( ( 2 ) <= (tk(P723)) ) | (AF(potential( ( 1 ) <= (tk(P547)) ))) ) ) | (EU( (! potential( ( 1 ) <= (tk(P450)) )),( potential( ( 2 ) <= (tk(P72)) ) | potential( ( 2 ) <= (tk(P799)) ) ) )) )
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-13 ( (AG( (! ( potential( ( 2 ) <= (tk(P379)) ) & potential( (tk(P530)) <= (tk(P508)) ) )))) & (! potential( ( 1 ) <= (tk(P769)) )) )
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-14 (! (EF((AG( potential( (tk(P224)) <= (tk(P699)) ))))))
PROPERTY: ShieldRVt-PT-100A-CTLCardinality-15 (! (EF((EX( potential( (tk(P225)) <= (tk(P426)) ))))))

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="ShieldRVt-PT-100A"
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 ShieldRVt-PT-100A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470401083"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVt-PT-100A.tgz
mv ShieldRVt-PT-100A 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 ;