Execution Chart

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

Trace from the execution

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

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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589637844437

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 25
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 775 places, 625 transitions, 3125 arcs.
AT ITER 0 NEW BEST:: SOT 414790 SOS 261816 HAS SOPS 261816 HAS SOUS 218099 HAS SOUPS 218099 WITH SCORE 218360.816
AT ITER 1 NEW BEST:: SOT 414790 SOS 261666 HAS SOPS 261666 HAS SOUS 218099 HAS SOUPS 218099 WITH SCORE 218360.666
AT ITER 4 NEW BEST:: SOT 414790 SOS 261503 HAS SOPS 261503 HAS SOUS 218099 HAS SOUPS 218099 WITH SCORE 218360.503
AT ITER 9 NEW BEST:: SOT 414905 SOS 261295 HAS SOPS 261295 HAS SOUS 217874 HAS SOUPS 217874 WITH SCORE 218135.295
AT ITER 10 NEW BEST:: SOT 414423 SOS 260977 HAS SOPS 260977 HAS SOUS 217520 HAS SOUPS 217520 WITH SCORE 217780.977
AT ITER 12 NEW BEST:: SOT 414138 SOS 261971 HAS SOPS 261971 HAS SOUS 217295 HAS SOUPS 217295 WITH SCORE 217556.971
AT ITER 20 NEW BEST:: SOT 414018 SOS 266059 HAS SOPS 266059 HAS SOUS 217187 HAS SOUPS 217187 WITH SCORE 217453.059
AT ITER 23 NEW BEST:: SOT 413648 SOS 265824 HAS SOPS 265824 HAS SOUS 216820 HAS SOUPS 216820 WITH SCORE 217085.824
AT ITER 27 NEW BEST:: SOT 413648 SOS 265792 HAS SOPS 265792 HAS SOUS 216820 HAS SOUPS 216820 WITH SCORE 217085.792
AT ITER 28 NEW BEST:: SOT 413648 SOS 265677 HAS SOPS 265677 HAS SOUS 216797 HAS SOUPS 216797 WITH SCORE 217062.677
AT ITER 35 NEW BEST:: SOT 413648 SOS 261985 HAS SOPS 261985 HAS SOUS 216797 HAS SOUPS 216797 WITH SCORE 217058.985
AT ITER 39 NEW BEST:: SOT 413380 SOS 261925 HAS SOPS 261925 HAS SOUS 216606 HAS SOUPS 216606 WITH SCORE 216867.925
AT ITER 41 NEW BEST:: SOT 413162 SOS 263930 HAS SOPS 263930 HAS SOUS 216416 HAS SOUPS 216416 WITH SCORE 216679.93
AT ITER 46 NEW BEST:: SOT 413162 SOS 263817 HAS SOPS 263817 HAS SOUS 216416 HAS SOUPS 216416 WITH SCORE 216679.817
AT ITER 57 NEW BEST:: SOT 413054 SOS 265251 HAS SOPS 265251 HAS SOUS 216361 HAS SOUPS 216361 WITH SCORE 216626.251
AT ITER 59 NEW BEST:: SOT 413054 SOS 264871 HAS SOPS 264871 HAS SOUS 216361 HAS SOUPS 216361 WITH SCORE 216625.871
AT ITER 60 NEW BEST:: SOT 413054 SOS 264793 HAS SOPS 264793 HAS SOUS 216361 HAS SOUPS 216361 WITH SCORE 216625.793
AT ITER 62 NEW BEST:: SOT 413054 SOS 264500 HAS SOPS 264500 HAS SOUS 216361 HAS SOUPS 216361 WITH SCORE 216625.5
AT ITER 63 NEW BEST:: SOT 413054 SOS 260951 HAS SOPS 260951 HAS SOUS 216361 HAS SOUPS 216361 WITH SCORE 216621.951
AT ITER 64 NEW BEST:: SOT 413054 SOS 260812 HAS SOPS 260812 HAS SOUS 216361 HAS SOUPS 216361 WITH SCORE 216621.812
AT ITER 65 NEW BEST:: SOT 413054 SOS 259314 HAS SOPS 259314 HAS SOUS 216361 HAS SOUPS 216361 WITH SCORE 216620.314
AT ITER 71 NEW BEST:: SOT 412828 SOS 259238 HAS SOPS 259238 HAS SOUS 216241 HAS SOUPS 216241 WITH SCORE 216500.238
AT ITER 77 NEW BEST:: SOT 412828 SOS 259190 HAS SOPS 259190 HAS SOUS 216241 HAS SOUPS 216241 WITH SCORE 216500.19
AT ITER 78 NEW BEST:: SOT 412828 SOS 258737 HAS SOPS 258737 HAS SOUS 216241 HAS SOUPS 216241 WITH SCORE 216499.737
AT ITER 79 NEW BEST:: SOT 412828 SOS 258374 HAS SOPS 258374 HAS SOUS 216241 HAS SOUPS 216241 WITH SCORE 216499.374
AT ITER 83 NEW BEST:: SOT 412828 SOS 258157 HAS SOPS 258157 HAS SOUS 216241 HAS SOUPS 216241 WITH SCORE 216499.157
AT ITER 88 NEW BEST:: SOT 412828 SOS 258087 HAS SOPS 258087 HAS SOUS 216241 HAS SOUPS 216241 WITH SCORE 216499.087
AT ITER 98 NEW BEST:: SOT 412828 SOS 258020 HAS SOPS 258020 HAS SOUS 216241 HAS SOUPS 216241 WITH SCORE 216499.02
AT ITER 102 NEW BEST:: SOT 412331 SOS 257967 HAS SOPS 257967 HAS SOUS 215751 HAS SOUPS 215751 WITH SCORE 216008.967
AT ITER 106 NEW BEST:: SOT 412300 SOS 257915 HAS SOPS 257915 HAS SOUS 215741 HAS SOUPS 215741 WITH SCORE 215998.915
AT ITER 107 NEW BEST:: SOT 412300 SOS 257810 HAS SOPS 257810 HAS SOUS 215741 HAS SOUPS 215741 WITH SCORE 215998.81
AT ITER 111 NEW BEST:: SOT 412300 SOS 257804 HAS SOPS 257804 HAS SOUS 215741 HAS SOUPS 215741 WITH SCORE 215998.804
AT ITER 112 NEW BEST:: SOT 412300 SOS 256597 HAS SOPS 256597 HAS SOUS 215741 HAS SOUPS 215741 WITH SCORE 215997.597
AT ITER 115 NEW BEST:: SOT 412300 SOS 256532 HAS SOPS 256532 HAS SOUS 215741 HAS SOUPS 215741 WITH SCORE 215997.532
AT ITER 132 NEW BEST:: SOT 412300 SOS 256262 HAS SOPS 256262 HAS SOUS 215741 HAS SOUPS 215741 WITH SCORE 215997.262
AT ITER 136 NEW BEST:: SOT 412300 SOS 256252 HAS SOPS 256252 HAS SOUS 215741 HAS SOUPS 215741 WITH SCORE 215997.252
AT ITER 141 NEW BEST:: SOT 412300 SOS 255432 HAS SOPS 255432 HAS SOUS 215741 HAS SOUPS 215741 WITH SCORE 215996.432
AT ITER 143 NEW BEST:: SOT 411812 SOS 255393 HAS SOPS 255393 HAS SOUS 215279 HAS SOUPS 215279 WITH SCORE 215534.393
AT ITER 150 NEW BEST:: SOT 411812 SOS 255304 HAS SOPS 255304 HAS SOUS 215279 HAS SOUPS 215279 WITH SCORE 215534.304
AT ITER 151 NEW BEST:: SOT 411920 SOS 255334 HAS SOPS 255334 HAS SOUS 215271 HAS SOUPS 215271 WITH SCORE 215526.334
AT ITER 153 NEW BEST:: SOT 411863 SOS 255210 HAS SOPS 255210 HAS SOUS 215181 HAS SOUPS 215181 WITH SCORE 215436.21
AT ITER 156 NEW BEST:: SOT 411863 SOS 254964 HAS SOPS 254964 HAS SOUS 215181 HAS SOUPS 215181 WITH SCORE 215435.964
AT ITER 157 NEW BEST:: SOT 411532 SOS 254610 HAS SOPS 254610 HAS SOUS 214820 HAS SOUPS 214820 WITH SCORE 215074.61
AT ITER 160 NEW BEST:: SOT 411532 SOS 254541 HAS SOPS 254541 HAS SOUS 214820 HAS SOUPS 214820 WITH SCORE 215074.541
AT ITER 161 NEW BEST:: SOT 411396 SOS 254533 HAS SOPS 254533 HAS SOUS 214753 HAS SOUPS 214753 WITH SCORE 215007.533
AT ITER 176 NEW BEST:: SOT 411286 SOS 254495 HAS SOPS 254495 HAS SOUS 214659 HAS SOUPS 214659 WITH SCORE 214913.495
AT ITER 177 NEW BEST:: SOT 411190 SOS 254662 HAS SOPS 254662 HAS SOUS 214580 HAS SOUPS 214580 WITH SCORE 214834.662
AT ITER 178 NEW BEST:: SOT 411190 SOS 254586 HAS SOPS 254586 HAS SOUS 214580 HAS SOUPS 214580 WITH SCORE 214834.586
AT ITER 179 NEW BEST:: SOT 411168 SOS 254518 HAS SOPS 254518 HAS SOUS 214477 HAS SOUPS 214477 WITH SCORE 214731.518
AT ITER 182 NEW BEST:: SOT 411168 SOS 254441 HAS SOPS 254441 HAS SOUS 214477 HAS SOUPS 214477 WITH SCORE 214731.441
AT ITER 185 NEW BEST:: SOT 411168 SOS 254354 HAS SOPS 254354 HAS SOUS 214477 HAS SOUPS 214477 WITH SCORE 214731.354
AT ITER 201 NEW BEST:: SOT 411058 SOS 254620 HAS SOPS 254620 HAS SOUS 214401 HAS SOUPS 214401 WITH SCORE 214655.62
AT ITER 205 NEW BEST:: SOT 410666 SOS 254600 HAS SOPS 254600 HAS SOUS 214131 HAS SOUPS 214131 WITH SCORE 214385.6
AT ITER 221 NEW BEST:: SOT 410666 SOS 254577 HAS SOPS 254577 HAS SOUS 214131 HAS SOUPS 214131 WITH SCORE 214385.577
AT ITER 223 NEW BEST:: SOT 410666 SOS 254558 HAS SOPS 254558 HAS SOUS 214131 HAS SOUPS 214131 WITH SCORE 214385.558
AT ITER 224 NEW BEST:: SOT 410666 SOS 254358 HAS SOPS 254358 HAS SOUS 214087 HAS SOUPS 214087 WITH SCORE 214341.358
AT ITER 229 NEW BEST:: SOT 410666 SOS 254247 HAS SOPS 254247 HAS SOUS 214087 HAS SOUPS 214087 WITH SCORE 214341.247
AT ITER 231 NEW BEST:: SOT 410640 SOS 254222 HAS SOPS 254222 HAS SOUS 214070 HAS SOUPS 214070 WITH SCORE 214324.222
AT ITER 233 NEW BEST:: SOT 410640 SOS 253823 HAS SOPS 253823 HAS SOUS 214070 HAS SOUPS 214070 WITH SCORE 214323.823
AT ITER 241 NEW BEST:: SOT 410640 SOS 253487 HAS SOPS 253487 HAS SOUS 214070 HAS SOUPS 214070 WITH SCORE 214323.487
AT ITER 242 NEW BEST:: SOT 410461 SOS 253350 HAS SOPS 253350 HAS SOUS 213931 HAS SOUPS 213931 WITH SCORE 214184.35
AT ITER 243 NEW BEST:: SOT 410484 SOS 253189 HAS SOPS 253189 HAS SOUS 213905 HAS SOUPS 213905 WITH SCORE 214158.189
AT ITER 245 NEW BEST:: SOT 410484 SOS 253019 HAS SOPS 253019 HAS SOUS 213905 HAS SOUPS 213905 WITH SCORE 214158.019
AT ITER 254 NEW BEST:: SOT 410242 SOS 254410 HAS SOPS 254410 HAS SOUS 213750 HAS SOUPS 213750 WITH SCORE 214004.41
AT ITER 258 NEW BEST:: SOT 410242 SOS 254275 HAS SOPS 254275 HAS SOUS 213750 HAS SOUPS 213750 WITH SCORE 214004.275
AT ITER 269 NEW BEST:: SOT 410040 SOS 254191 HAS SOPS 254191 HAS SOUS 213568 HAS SOUPS 213568 WITH SCORE 213822.191
AT ITER 275 NEW BEST:: SOT 410040 SOS 254112 HAS SOPS 254112 HAS SOUS 213568 HAS SOUPS 213568 WITH SCORE 213822.112
AT ITER 276 NEW BEST:: SOT 410040 SOS 253864 HAS SOPS 253864 HAS SOUS 213568 HAS SOUPS 213568 WITH SCORE 213821.864
AT ITER 279 NEW BEST:: SOT 409929 SOS 255142 HAS SOPS 255142 HAS SOUS 213497 HAS SOUPS 213497 WITH SCORE 213752.142
AT ITER 283 NEW BEST:: SOT 409756 SOS 256016 HAS SOPS 256016 HAS SOUS 213469 HAS SOUPS 213469 WITH SCORE 213725.016
AT ITER 287 NEW BEST:: SOT 409725 SOS 255985 HAS SOPS 255985 HAS SOUS 213442 HAS SOUPS 213442 WITH SCORE 213697.985
AT ITER 288 NEW BEST:: SOT 409525 SOS 255704 HAS SOPS 255704 HAS SOUS 213140 HAS SOUPS 213140 WITH SCORE 213395.704
AT ITER 289 NEW BEST:: SOT 409525 SOS 255704 HAS SOPS 255704 HAS SOUS 213137 HAS SOUPS 213137 WITH SCORE 213392.704
AT ITER 290 NEW BEST:: SOT 409525 SOS 255388 HAS SOPS 255388 HAS SOUS 213137 HAS SOUPS 213137 WITH SCORE 213392.388
AT ITER 291 NEW BEST:: SOT 409259 SOS 255317 HAS SOPS 255317 HAS SOUS 212977 HAS SOUPS 212977 WITH SCORE 213232.317
AT ITER 292 NEW BEST:: SOT 409100 SOS 256986 HAS SOPS 256986 HAS SOUS 212907 HAS SOUPS 212907 WITH SCORE 213163.986
AT ITER 294 NEW BEST:: SOT 409100 SOS 256864 HAS SOPS 256864 HAS SOUS 212907 HAS SOUPS 212907 WITH SCORE 213163.864
AT ITER 302 NEW BEST:: SOT 409100 SOS 256688 HAS SOPS 256688 HAS SOUS 212869 HAS SOUPS 212869 WITH SCORE 213125.688
AT ITER 307 NEW BEST:: SOT 409100 SOS 256614 HAS SOPS 256614 HAS SOUS 212869 HAS SOUPS 212869 WITH SCORE 213125.614
AT ITER 310 NEW BEST:: SOT 408805 SOS 256343 HAS SOPS 256343 HAS SOUS 212637 HAS SOUPS 212637 WITH SCORE 212893.343
AT ITER 312 NEW BEST:: SOT 408892 SOS 256281 HAS SOPS 256281 HAS SOUS 212533 HAS SOUPS 212533 WITH SCORE 212789.281
AT ITER 313 NEW BEST:: SOT 408892 SOS 256267 HAS SOPS 256267 HAS SOUS 212533 HAS SOUPS 212533 WITH SCORE 212789.267
AT ITER 314 NEW BEST:: SOT 408892 SOS 255973 HAS SOPS 255973 HAS SOUS 212533 HAS SOUPS 212533 WITH SCORE 212788.973
AT ITER 315 NEW BEST:: SOT 408892 SOS 255942 HAS SOPS 255942 HAS SOUS 212533 HAS SOUPS 212533 WITH SCORE 212788.942
AT ITER 329 NEW BEST:: SOT 408892 SOS 255799 HAS SOPS 255799 HAS SOUS 212533 HAS SOUPS 212533 WITH SCORE 212788.799
AT ITER 330 NEW BEST:: SOT 408892 SOS 255613 HAS SOPS 255613 HAS SOUS 212533 HAS SOUPS 212533 WITH SCORE 212788.613
AT ITER 336 NEW BEST:: SOT 408842 SOS 255218 HAS SOPS 255218 HAS SOUS 212365 HAS SOUPS 212365 WITH SCORE 212620.218
AT ITER 345 NEW BEST:: SOT 408541 SOS 255211 HAS SOPS 255211 HAS SOUS 212248 HAS SOUPS 212248 WITH SCORE 212503.211
AT ITER 348 NEW BEST:: SOT 408541 SOS 255206 HAS SOPS 255206 HAS SOUS 212248 HAS SOUPS 212248 WITH SCORE 212503.206
AT ITER 354 NEW BEST:: SOT 408534 SOS 255148 HAS SOPS 255148 HAS SOUS 212203 HAS SOUPS 212203 WITH SCORE 212458.148
AT ITER 355 NEW BEST:: SOT 408064 SOS 254625 HAS SOPS 254625 HAS SOUS 211948 HAS SOUPS 211948 WITH SCORE 212202.625
AT ITER 362 NEW BEST:: SOT 408226 SOS 254535 HAS SOPS 254535 HAS SOUS 211835 HAS SOUPS 211835 WITH SCORE 212089.535
AT ITER 368 NEW BEST:: SOT 408226 SOS 254435 HAS SOPS 254435 HAS SOUS 211835 HAS SOUPS 211835 WITH SCORE 212089.435
AT ITER 371 NEW BEST:: SOT 408226 SOS 254411 HAS SOPS 254411 HAS SOUS 211835 HAS SOUPS 211835 WITH SCORE 212089.411
AT ITER 375 NEW BEST:: SOT 408226 SOS 254343 HAS SOPS 254343 HAS SOUS 211835 HAS SOUPS 211835 WITH SCORE 212089.343
AT ITER 377 NEW BEST:: SOT 408226 SOS 254181 HAS SOPS 254181 HAS SOUS 211835 HAS SOUPS 211835 WITH SCORE 212089.181
AT ITER 383 NEW BEST:: SOT 408226 SOS 254057 HAS SOPS 254057 HAS SOUS 211835 HAS SOUPS 211835 WITH SCORE 212089.057
AT ITER 384 NEW BEST:: SOT 408226 SOS 253880 HAS SOPS 253880 HAS SOUS 211835 HAS SOUPS 211835 WITH SCORE 212088.88
AT ITER 385 NEW BEST:: SOT 408303 SOS 253688 HAS SOPS 253688 HAS SOUS 211833 HAS SOUPS 211833 WITH SCORE 212086.688
AT ITER 391 NEW BEST:: SOT 407541 SOS 253016 HAS SOPS 253016 HAS SOUS 211161 HAS SOUPS 211161 WITH SCORE 211414.016
AT ITER 399 NEW BEST:: SOT 407541 SOS 252853 HAS SOPS 252853 HAS SOUS 211161 HAS SOUPS 211161 WITH SCORE 211413.853
AT ITER 402 NEW BEST:: SOT 407546 SOS 252834 HAS SOPS 252834 HAS SOUS 211126 HAS SOUPS 211126 WITH SCORE 211378.834
AT ITER 405 NEW BEST:: SOT 407208 SOS 252952 HAS SOPS 252952 HAS SOUS 210937 HAS SOUPS 210937 WITH SCORE 211189.952
AT ITER 413 NEW BEST:: SOT 407208 SOS 252765 HAS SOPS 252765 HAS SOUS 210937 HAS SOUPS 210937 WITH SCORE 211189.765
AT ITER 425 NEW BEST:: SOT 407208 SOS 252609 HAS SOPS 252609 HAS SOUS 210937 HAS SOUPS 210937 WITH SCORE 211189.609
AT ITER 428 NEW BEST:: SOT 407208 SOS 252437 HAS SOPS 252437 HAS SOUS 210937 HAS SOUPS 210937 WITH SCORE 211189.437
AT ITER 433 NEW BEST:: SOT 407208 SOS 252231 HAS SOPS 252231 HAS SOUS 210641 HAS SOUPS 210641 WITH SCORE 210893.231
AT ITER 436 NEW BEST:: SOT 407208 SOS 252120 HAS SOPS 252120 HAS SOUS 210641 HAS SOUPS 210641 WITH SCORE 210893.12
AT ITER 439 NEW BEST:: SOT 407208 SOS 252119 HAS SOPS 252119 HAS SOUS 210641 HAS SOUPS 210641 WITH SCORE 210893.119
AT ITER 443 NEW BEST:: SOT 407208 SOS 251991 HAS SOPS 251991 HAS SOUS 210641 HAS SOUPS 210641 WITH SCORE 210892.991
AT ITER 447 NEW BEST:: SOT 407177 SOS 251750 HAS SOPS 251750 HAS SOUS 210589 HAS SOUPS 210589 WITH SCORE 210840.75
AT ITER 453 NEW BEST:: SOT 406734 SOS 251616 HAS SOPS 251616 HAS SOUS 210457 HAS SOUPS 210457 WITH SCORE 210708.616
AT ITER 454 NEW BEST:: SOT 406734 SOS 251285 HAS SOPS 251285 HAS SOUS 210457 HAS SOUPS 210457 WITH SCORE 210708.285
AT ITER 455 NEW BEST:: SOT 406723 SOS 251310 HAS SOPS 251310 HAS SOUS 210456 HAS SOUPS 210456 WITH SCORE 210707.31
AT ITER 458 NEW BEST:: SOT 406723 SOS 251180 HAS SOPS 251180 HAS SOUS 210456 HAS SOUPS 210456 WITH SCORE 210707.18
AT ITER 459 NEW BEST:: SOT 406620 SOS 251894 HAS SOPS 251894 HAS SOUS 210399 HAS SOUPS 210399 WITH SCORE 210650.894
AT ITER 465 NEW BEST:: SOT 406620 SOS 251863 HAS SOPS 251863 HAS SOUS 210399 HAS SOUPS 210399 WITH SCORE 210650.863
AT ITER 471 NEW BEST:: SOT 406620 SOS 251661 HAS SOPS 251661 HAS SOUS 210399 HAS SOUPS 210399 WITH SCORE 210650.661
AT ITER 479 NEW BEST:: SOT 406620 SOS 251643 HAS SOPS 251643 HAS SOUS 210399 HAS SOUPS 210399 WITH SCORE 210650.643
AT ITER 480 NEW BEST:: SOT 406695 SOS 251400 HAS SOPS 251400 HAS SOUS 210146 HAS SOUPS 210146 WITH SCORE 210397.4
AT ITER 492 NEW BEST:: SOT 406695 SOS 251397 HAS SOPS 251397 HAS SOUS 210146 HAS SOUPS 210146 WITH SCORE 210397.397
AT ITER 499 NEW BEST:: SOT 406618 SOS 251195 HAS SOPS 251195 HAS SOUS 210018 HAS SOUPS 210018 WITH SCORE 210269.195
AT ITER 502 NEW BEST:: SOT 406618 SOS 251131 HAS SOPS 251131 HAS SOUS 209981 HAS SOUPS 209981 WITH SCORE 210232.131
AT ITER 504 NEW BEST:: SOT 406618 SOS 249646 HAS SOPS 249646 HAS SOUS 209981 HAS SOUPS 209981 WITH SCORE 210230.646
AT ITER 507 NEW BEST:: SOT 406618 SOS 249308 HAS SOPS 249308 HAS SOUS 209959 HAS SOUPS 209959 WITH SCORE 210208.308
AT ITER 509 NEW BEST:: SOT 406572 SOS 249262 HAS SOPS 249262 HAS SOUS 209913 HAS SOUPS 209913 WITH SCORE 210162.262
AT ITER 514 NEW BEST:: SOT 406565 SOS 249255 HAS SOPS 249255 HAS SOUS 209888 HAS SOUPS 209888 WITH SCORE 210137.255
AT ITER 517 NEW BEST:: SOT 406561 SOS 249251 HAS SOPS 249251 HAS SOUS 209884 HAS SOUPS 209884 WITH SCORE 210133.251
AT ITER 519 NEW BEST:: SOT 406561 SOS 248786 HAS SOPS 248786 HAS SOUS 209884 HAS SOUPS 209884 WITH SCORE 210132.786
AT ITER 522 NEW BEST:: SOT 406531 SOS 248756 HAS SOPS 248756 HAS SOUS 209854 HAS SOUPS 209854 WITH SCORE 210102.756
AT ITER 527 NEW BEST:: SOT 406531 SOS 248466 HAS SOPS 248466 HAS SOUS 209854 HAS SOUPS 209854 WITH SCORE 210102.466
AT ITER 531 NEW BEST:: SOT 406539 SOS 248198 HAS SOPS 248198 HAS SOUS 209846 HAS SOUPS 209846 WITH SCORE 210094.198
AT ITER 545 NEW BEST:: SOT 406539 SOS 248169 HAS SOPS 248169 HAS SOUS 209846 HAS SOUPS 209846 WITH SCORE 210094.169
AT ITER 547 NEW BEST:: SOT 406539 SOS 248083 HAS SOPS 248083 HAS SOUS 209827 HAS SOUPS 209827 WITH SCORE 210075.083
AT ITER 548 NEW BEST:: SOT 406539 SOS 247935 HAS SOPS 247935 HAS SOUS 209827 HAS SOUPS 209827 WITH SCORE 210074.935
AT ITER 552 NEW BEST:: SOT 406210 SOS 248280 HAS SOPS 248280 HAS SOUS 209677 HAS SOUPS 209677 WITH SCORE 209925.28
AT ITER 556 NEW BEST:: SOT 406202 SOS 248182 HAS SOPS 248182 HAS SOUS 209646 HAS SOUPS 209646 WITH SCORE 209894.182
AT ITER 565 NEW BEST:: SOT 406202 SOS 248090 HAS SOPS 248090 HAS SOUS 209646 HAS SOUPS 209646 WITH SCORE 209894.09
AT ITER 567 NEW BEST:: SOT 405918 SOS 247993 HAS SOPS 247993 HAS SOUS 209549 HAS SOUPS 209549 WITH SCORE 209796.993
AT ITER 576 NEW BEST:: SOT 405561 SOS 251828 HAS SOPS 251828 HAS SOUS 209324 HAS SOUPS 209324 WITH SCORE 209575.828
AT ITER 581 NEW BEST:: SOT 405561 SOS 251790 HAS SOPS 251790 HAS SOUS 209324 HAS SOUPS 209324 WITH SCORE 209575.79
AT ITER 582 NEW BEST:: SOT 405561 SOS 251784 HAS SOPS 251784 HAS SOUS 209318 HAS SOUPS 209318 WITH SCORE 209569.784
AT ITER 584 NEW BEST:: SOT 405561 SOS 251629 HAS SOPS 251629 HAS SOUS 209318 HAS SOUPS 209318 WITH SCORE 209569.629
AT ITER 588 NEW BEST:: SOT 405561 SOS 251560 HAS SOPS 251560 HAS SOUS 209318 HAS SOUPS 209318 WITH SCORE 209569.56
AT ITER 590 NEW BEST:: SOT 405561 SOS 251426 HAS SOPS 251426 HAS SOUS 209318 HAS SOUPS 209318 WITH SCORE 209569.426
AT ITER 592 NEW BEST:: SOT 405561 SOS 251404 HAS SOPS 251404 HAS SOUS 209318 HAS SOUPS 209318 WITH SCORE 209569.404
AT ITER 595 NEW BEST:: SOT 405561 SOS 251363 HAS SOPS 251363 HAS SOUS 209318 HAS SOUPS 209318 WITH SCORE 209569.363
AT ITER 596 NEW BEST:: SOT 405561 SOS 251102 HAS SOPS 251102 HAS SOUS 209290 HAS SOUPS 209290 WITH SCORE 209541.102
AT ITER 600 NEW BEST:: SOT 405522 SOS 251063 HAS SOPS 251063 HAS SOUS 209106 HAS SOUPS 209106 WITH SCORE 209357.063
AT ITER 601 NEW BEST:: SOT 405522 SOS 248094 HAS SOPS 248094 HAS SOUS 209106 HAS SOUPS 209106 WITH SCORE 209354.094
AT ITER 603 NEW BEST:: SOT 405522 SOS 247969 HAS SOPS 247969 HAS SOUS 209106 HAS SOUPS 209106 WITH SCORE 209353.969
AT ITER 605 NEW BEST:: SOT 405522 SOS 247863 HAS SOPS 247863 HAS SOUS 209106 HAS SOUPS 209106 WITH SCORE 209353.863
AT ITER 607 NEW BEST:: SOT 405087 SOS 247459 HAS SOPS 247459 HAS SOUS 208735 HAS SOUPS 208735 WITH SCORE 208982.459
AT ITER 609 NEW BEST:: SOT 405087 SOS 242417 HAS SOPS 242417 HAS SOUS 208724 HAS SOUPS 208724 WITH SCORE 208966.417
AT ITER 612 NEW BEST:: SOT 405074 SOS 242205 HAS SOPS 242205 HAS SOUS 208687 HAS SOUPS 208687 WITH SCORE 208929.205
AT ITER 618 NEW BEST:: SOT 405065 SOS 242131 HAS SOPS 242131 HAS SOUS 208613 HAS SOUPS 208613 WITH SCORE 208855.131
AT ITER 619 NEW BEST:: SOT 405010 SOS 242326 HAS SOPS 242326 HAS SOUS 208558 HAS SOUPS 208558 WITH SCORE 208800.326
AT ITER 621 NEW BEST:: SOT 405010 SOS 242200 HAS SOPS 242200 HAS SOUS 208558 HAS SOUPS 208558 WITH SCORE 208800.2
AT ITER 622 NEW BEST:: SOT 405010 SOS 242178 HAS SOPS 242178 HAS SOUS 208558 HAS SOUPS 208558 WITH SCORE 208800.178
AT ITER 626 NEW BEST:: SOT 405010 SOS 242159 HAS SOPS 242159 HAS SOUS 208558 HAS SOUPS 208558 WITH SCORE 208800.159
AT ITER 627 NEW BEST:: SOT 404813 SOS 242469 HAS SOPS 242469 HAS SOUS 208385 HAS SOUPS 208385 WITH SCORE 208627.469
AT ITER 630 NEW BEST:: SOT 404813 SOS 242421 HAS SOPS 242421 HAS SOUS 208385 HAS SOUPS 208385 WITH SCORE 208627.421
AT ITER 631 NEW BEST:: SOT 404813 SOS 242283 HAS SOPS 242283 HAS SOUS 208385 HAS SOUPS 208385 WITH SCORE 208627.283
AT ITER 643 NEW BEST:: SOT 404813 SOS 241416 HAS SOPS 241416 HAS SOUS 208385 HAS SOUPS 208385 WITH SCORE 208626.416
AT ITER 645 NEW BEST:: SOT 404685 SOS 241771 HAS SOPS 241771 HAS SOUS 208347 HAS SOUPS 208347 WITH SCORE 208588.771
AT ITER 646 NEW BEST:: SOT 404685 SOS 241645 HAS SOPS 241645 HAS SOUS 208302 HAS SOUPS 208302 WITH SCORE 208543.645
AT ITER 655 NEW BEST:: SOT 404713 SOS 241634 HAS SOPS 241634 HAS SOUS 208296 HAS SOUPS 208296 WITH SCORE 208537.634
AT ITER 656 NEW BEST:: SOT 404713 SOS 241568 HAS SOPS 241568 HAS SOUS 208296 HAS SOUPS 208296 WITH SCORE 208537.568
AT ITER 665 NEW BEST:: SOT 404713 SOS 241485 HAS SOPS 241485 HAS SOUS 208296 HAS SOUPS 208296 WITH SCORE 208537.485
AT ITER 670 NEW BEST:: SOT 404713 SOS 241312 HAS SOPS 241312 HAS SOUS 208280 HAS SOUPS 208280 WITH SCORE 208521.312
AT ITER 672 NEW BEST:: SOT 404374 SOS 241040 HAS SOPS 241040 HAS SOUS 207975 HAS SOUPS 207975 WITH SCORE 208216.04
AT ITER 678 NEW BEST:: SOT 404179 SOS 242074 HAS SOPS 242074 HAS SOUS 207917 HAS SOUPS 207917 WITH SCORE 208159.074
AT ITER 682 NEW BEST:: SOT 404179 SOS 241984 HAS SOPS 241984 HAS SOUS 207917 HAS SOUPS 207917 WITH SCORE 208158.984
AT ITER 683 NEW BEST:: SOT 403914 SOS 242617 HAS SOPS 242617 HAS SOUS 207903 HAS SOUPS 207903 WITH SCORE 208145.617
AT ITER 685 NEW BEST:: SOT 403914 SOS 242342 HAS SOPS 242342 HAS SOUS 207881 HAS SOUPS 207881 WITH SCORE 208123.342
AT ITER 689 NEW BEST:: SOT 403914 SOS 242179 HAS SOPS 242179 HAS SOUS 207830 HAS SOUPS 207830 WITH SCORE 208072.179
AT ITER 692 NEW BEST:: SOT 403901 SOS 241910 HAS SOPS 241910 HAS SOUS 207802 HAS SOUPS 207802 WITH SCORE 208043.91
AT ITER 698 NEW BEST:: SOT 403871 SOS 241924 HAS SOPS 241924 HAS SOUS 207774 HAS SOUPS 207774 WITH SCORE 208015.924
AT ITER 704 NEW BEST:: SOT 403871 SOS 241770 HAS SOPS 241770 HAS SOUS 207774 HAS SOUPS 207774 WITH SCORE 208015.77
AT ITER 708 NEW BEST:: SOT 403755 SOS 241608 HAS SOPS 241608 HAS SOUS 207694 HAS SOUPS 207694 WITH SCORE 207935.608
AT ITER 709 NEW BEST:: SOT 403755 SOS 241322 HAS SOPS 241322 HAS SOUS 207694 HAS SOUPS 207694 WITH SCORE 207935.322
AT ITER 710 NEW BEST:: SOT 403764 SOS 241331 HAS SOPS 241331 HAS SOUS 207688 HAS SOUPS 207688 WITH SCORE 207929.331
AT ITER 711 NEW BEST:: SOT 403705 SOS 241098 HAS SOPS 241098 HAS SOUS 207624 HAS SOUPS 207624 WITH SCORE 207865.098
AT ITER 715 NEW BEST:: SOT 403705 SOS 241059 HAS SOPS 241059 HAS SOUS 207624 HAS SOUPS 207624 WITH SCORE 207865.059
AT ITER 726 NEW BEST:: SOT 403705 SOS 240997 HAS SOPS 240997 HAS SOUS 207624 HAS SOUPS 207624 WITH SCORE 207864.997
AT ITER 729 NEW BEST:: SOT 403705 SOS 240871 HAS SOPS 240871 HAS SOUS 207624 HAS SOUPS 207624 WITH SCORE 207864.871
AT ITER 733 NEW BEST:: SOT 403705 SOS 240859 HAS SOPS 240859 HAS SOUS 207624 HAS SOUPS 207624 WITH SCORE 207864.859
AT ITER 753 NEW BEST:: SOT 403705 SOS 235947 HAS SOPS 235947 HAS SOUS 207555 HAS SOUPS 207555 WITH SCORE 207790.947
AT ITER 760 NEW BEST:: SOT 403705 SOS 235749 HAS SOPS 235749 HAS SOUS 207555 HAS SOUPS 207555 WITH SCORE 207790.749
AT ITER 761 NEW BEST:: SOT 403199 SOS 235243 HAS SOPS 235243 HAS SOUS 207049 HAS SOUPS 207049 WITH SCORE 207284.243
AT ITER 762 NEW BEST:: SOT 403199 SOS 235226 HAS SOPS 235226 HAS SOUS 207049 HAS SOUPS 207049 WITH SCORE 207284.226
AT ITER 764 NEW BEST:: SOT 403199 SOS 235002 HAS SOPS 235002 HAS SOUS 207049 HAS SOUPS 207049 WITH SCORE 207284.002
AT ITER 768 NEW BEST:: SOT 403042 SOS 235839 HAS SOPS 235839 HAS SOUS 206976 HAS SOUPS 206976 WITH SCORE 207211.839
AT ITER 788 NEW BEST:: SOT 403042 SOS 235795 HAS SOPS 235795 HAS SOUS 206976 HAS SOUPS 206976 WITH SCORE 207211.795
AT ITER 791 NEW BEST:: SOT 403042 SOS 235766 HAS SOPS 235766 HAS SOUS 206976 HAS SOUPS 206976 WITH SCORE 207211.766
AT ITER 803 NEW BEST:: SOT 403042 SOS 235752 HAS SOPS 235752 HAS SOUS 206976 HAS SOUPS 206976 WITH SCORE 207211.752
AT ITER 804 NEW BEST:: SOT 402398 SOS 236133 HAS SOPS 236133 HAS SOUS 206855 HAS SOUPS 206855 WITH SCORE 207091.133
AT ITER 813 NEW BEST:: SOT 402398 SOS 235302 HAS SOPS 235302 HAS SOUS 206855 HAS SOUPS 206855 WITH SCORE 207090.302
AT ITER 817 NEW BEST:: SOT 402398 SOS 235284 HAS SOPS 235284 HAS SOUS 206837 HAS SOUPS 206837 WITH SCORE 207072.284
AT ITER 830 NEW BEST:: SOT 402185 SOS 235142 HAS SOPS 235142 HAS SOUS 206650 HAS SOUPS 206650 WITH SCORE 206885.142
AT ITER 834 NEW BEST:: SOT 402185 SOS 234990 HAS SOPS 234990 HAS SOUS 206640 HAS SOUPS 206640 WITH SCORE 206874.99
AT ITER 840 NEW BEST:: SOT 402185 SOS 234867 HAS SOPS 234867 HAS SOUS 206640 HAS SOUPS 206640 WITH SCORE 206874.867
AT ITER 850 NEW BEST:: SOT 402185 SOS 234724 HAS SOPS 234724 HAS SOUS 206640 HAS SOUPS 206640 WITH SCORE 206874.724
AT ITER 856 NEW BEST:: SOT 402185 SOS 234684 HAS SOPS 234684 HAS SOUS 206640 HAS SOUPS 206640 WITH SCORE 206874.684
AT ITER 859 NEW BEST:: SOT 402185 SOS 234477 HAS SOPS 234477 HAS SOUS 206640 HAS SOUPS 206640 WITH SCORE 206874.477
AT ITER 860 NEW BEST:: SOT 402185 SOS 234402 HAS SOPS 234402 HAS SOUS 206640 HAS SOUPS 206640 WITH SCORE 206874.402
AT ITER 863 NEW BEST:: SOT 402185 SOS 234249 HAS SOPS 234249 HAS SOUS 206640 HAS SOUPS 206640 WITH SCORE 206874.249
AT ITER 866 NEW BEST:: SOT 402185 SOS 234222 HAS SOPS 234222 HAS SOUS 206640 HAS SOUPS 206640 WITH SCORE 206874.222
AT ITER 869 NEW BEST:: SOT 402185 SOS 233987 HAS SOPS 233987 HAS SOUS 206640 HAS SOUPS 206640 WITH SCORE 206873.987
AT ITER 872 NEW BEST:: SOT 402151 SOS 233963 HAS SOPS 233963 HAS SOUS 206600 HAS SOUPS 206600 WITH SCORE 206833.963
AT ITER 878 NEW BEST:: SOT 402148 SOS 233960 HAS SOPS 233960 HAS SOUS 206597 HAS SOUPS 206597 WITH SCORE 206830.96
AT ITER 880 NEW BEST:: SOT 402148 SOS 233932 HAS SOPS 233932 HAS SOUS 206597 HAS SOUPS 206597 WITH SCORE 206830.932
AT ITER 886 NEW BEST:: SOT 402148 SOS 233882 HAS SOPS 233882 HAS SOUS 206597 HAS SOUPS 206597 WITH SCORE 206830.882
AT ITER 891 NEW BEST:: SOT 402127 SOS 233861 HAS SOPS 233861 HAS SOUS 206575 HAS SOUPS 206575 WITH SCORE 206808.861
AT ITER 895 NEW BEST:: SOT 402127 SOS 233084 HAS SOPS 233084 HAS SOUS 206067 HAS SOUPS 206067 WITH SCORE 206300.084
AT ITER 908 NEW BEST:: SOT 402116 SOS 233049 HAS SOPS 233049 HAS SOUS 206027 HAS SOUPS 206027 WITH SCORE 206260.049
AT ITER 910 NEW BEST:: SOT 402120 SOS 233053 HAS SOPS 233053 HAS SOUS 205976 HAS SOUPS 205976 WITH SCORE 206209.053
AT ITER 911 NEW BEST:: SOT 402120 SOS 233034 HAS SOPS 233034 HAS SOUS 205976 HAS SOUPS 205976 WITH SCORE 206209.034
AT ITER 912 NEW BEST:: SOT 402120 SOS 232987 HAS SOPS 232987 HAS SOUS 205963 HAS SOUPS 205963 WITH SCORE 206195.987
AT ITER 913 NEW BEST:: SOT 402120 SOS 232981 HAS SOPS 232981 HAS SOUS 205963 HAS SOUPS 205963 WITH SCORE 206195.981
AT ITER 914 NEW BEST:: SOT 402120 SOS 232788 HAS SOPS 232788 HAS SOUS 205963 HAS SOUPS 205963 WITH SCORE 206195.788
AT ITER 916 NEW BEST:: SOT 402120 SOS 232743 HAS SOPS 232743 HAS SOUS 205963 HAS SOUPS 205963 WITH SCORE 206195.743
AT ITER 918 NEW BEST:: SOT 402120 SOS 232574 HAS SOPS 232574 HAS SOUS 205963 HAS SOUPS 205963 WITH SCORE 206195.574
AT ITER 919 NEW BEST:: SOT 402120 SOS 230891 HAS SOPS 230891 HAS SOUS 205963 HAS SOUPS 205963 WITH SCORE 206193.891
AT ITER 923 NEW BEST:: SOT 402120 SOS 230560 HAS SOPS 230560 HAS SOUS 205963 HAS SOUPS 205963 WITH SCORE 206193.56
AT ITER 925 NEW BEST:: SOT 402126 SOS 230565 HAS SOPS 230565 HAS SOUS 205953 HAS SOUPS 205953 WITH SCORE 206183.565
AT ITER 933 NEW BEST:: SOT 402126 SOS 230502 HAS SOPS 230502 HAS SOUS 205953 HAS SOUPS 205953 WITH SCORE 206183.502
AT ITER 934 NEW BEST:: SOT 402126 SOS 230407 HAS SOPS 230407 HAS SOUS 205953 HAS SOUPS 205953 WITH SCORE 206183.407
AT ITER 942 NEW BEST:: SOT 402126 SOS 230261 HAS SOPS 230261 HAS SOUS 205895 HAS SOUPS 205895 WITH SCORE 206125.261
AT ITER 946 NEW BEST:: SOT 402001 SOS 230672 HAS SOPS 230672 HAS SOUS 205802 HAS SOUPS 205802 WITH SCORE 206032.672
AT ITER 948 NEW BEST:: SOT 402001 SOS 230479 HAS SOPS 230479 HAS SOUS 205802 HAS SOUPS 205802 WITH SCORE 206032.479
AT ITER 952 NEW BEST:: SOT 402001 SOS 230428 HAS SOPS 230428 HAS SOUS 205802 HAS SOUPS 205802 WITH SCORE 206032.428
AT ITER 953 NEW BEST:: SOT 402001 SOS 230250 HAS SOPS 230250 HAS SOUS 205802 HAS SOUPS 205802 WITH SCORE 206032.25
AT ITER 960 NEW BEST:: SOT 402001 SOS 229316 HAS SOPS 229316 HAS SOUS 205802 HAS SOUPS 205802 WITH SCORE 206031.316
AT ITER 963 NEW BEST:: SOT 402001 SOS 229116 HAS SOPS 229116 HAS SOUS 205714 HAS SOUPS 205714 WITH SCORE 205943.116
AT ITER 966 NEW BEST:: SOT 402001 SOS 229071 HAS SOPS 229071 HAS SOUS 205714 HAS SOUPS 205714 WITH SCORE 205943.071
AT ITER 970 NEW BEST:: SOT 401914 SOS 228989 HAS SOPS 228989 HAS SOUS 205663 HAS SOUPS 205663 WITH SCORE 205891.989
AT ITER 974 NEW BEST:: SOT 401914 SOS 228901 HAS SOPS 228901 HAS SOUS 205603 HAS SOUPS 205603 WITH SCORE 205831.901
AT ITER 978 NEW BEST:: SOT 401940 SOS 227565 HAS SOPS 227565 HAS SOUS 205598 HAS SOUPS 205598 WITH SCORE 205825.565
AT ITER 982 NEW BEST:: SOT 401940 SOS 227589 HAS SOPS 227589 HAS SOUS 205574 HAS SOUPS 205574 WITH SCORE 205801.589
AT ITER 985 NEW BEST:: SOT 401940 SOS 227209 HAS SOPS 227209 HAS SOUS 205574 HAS SOUPS 205574 WITH SCORE 205801.209
AT ITER 990 NEW BEST:: SOT 401940 SOS 227150 HAS SOPS 227150 HAS SOUS 205515 HAS SOUPS 205515 WITH SCORE 205742.15
AT ITER 993 NEW BEST:: SOT 401907 SOS 227103 HAS SOPS 227103 HAS SOUS 205463 HAS SOUPS 205463 WITH SCORE 205690.103
AT ITER 1008 NEW BEST:: SOT 401907 SOS 227029 HAS SOPS 227029 HAS SOUS 205463 HAS SOUPS 205463 WITH SCORE 205690.029
AT ITER 1011 NEW BEST:: SOT 401907 SOS 226432 HAS SOPS 226432 HAS SOUS 205463 HAS SOUPS 205463 WITH SCORE 205689.432
AT ITER 1024 NEW BEST:: SOT 401907 SOS 226394 HAS SOPS 226394 HAS SOUS 205463 HAS SOUPS 205463 WITH SCORE 205689.394
AT ITER 1032 NEW BEST:: SOT 401907 SOS 226307 HAS SOPS 226307 HAS SOUS 205463 HAS SOUPS 205463 WITH SCORE 205689.307
AT ITER 1035 NEW BEST:: SOT 401688 SOS 226616 HAS SOPS 226616 HAS SOUS 205322 HAS SOUPS 205322 WITH SCORE 205548.616
AT ITER 1037 NEW BEST:: SOT 401688 SOS 226201 HAS SOPS 226201 HAS SOUS 205315 HAS SOUPS 205315 WITH SCORE 205541.201
AT ITER 1042 NEW BEST:: SOT 401688 SOS 226188 HAS SOPS 226188 HAS SOUS 205315 HAS SOUPS 205315 WITH SCORE 205541.188
AT ITER 1046 NEW BEST:: SOT 401688 SOS 226072 HAS SOPS 226072 HAS SOUS 205315 HAS SOUPS 205315 WITH SCORE 205541.072
AT ITER 1048 NEW BEST:: SOT 401688 SOS 226008 HAS SOPS 226008 HAS SOUS 205256 HAS SOUPS 205256 WITH SCORE 205482.008
AT ITER 1050 NEW BEST:: SOT 401688 SOS 225924 HAS SOPS 225924 HAS SOUS 205172 HAS SOUPS 205172 WITH SCORE 205397.924
AT ITER 1053 NEW BEST:: SOT 401688 SOS 224514 HAS SOPS 224514 HAS SOUS 205172 HAS SOUPS 205172 WITH SCORE 205396.514
AT ITER 1064 NEW BEST:: SOT 401688 SOS 224784 HAS SOPS 224784 HAS SOUS 205159 HAS SOUPS 205159 WITH SCORE 205383.784
AT ITER 1067 NEW BEST:: SOT 401325 SOS 225348 HAS SOPS 225348 HAS SOUS 204995 HAS SOUPS 204995 WITH SCORE 205220.348
AT ITER 1069 NEW BEST:: SOT 401325 SOS 225123 HAS SOPS 225123 HAS SOUS 204995 HAS SOUPS 204995 WITH SCORE 205220.123
AT ITER 1077 NEW BEST:: SOT 401327 SOS 225115 HAS SOPS 225115 HAS SOUS 204977 HAS SOUPS 204977 WITH SCORE 205202.115
AT ITER 1078 NEW BEST:: SOT 401327 SOS 224963 HAS SOPS 224963 HAS SOUS 204938 HAS SOUPS 204938 WITH SCORE 205162.963
AT ITER 1099 NEW BEST:: SOT 401327 SOS 224891 HAS SOPS 224891 HAS SOUS 204938 HAS SOUPS 204938 WITH SCORE 205162.891
AT ITER 1100 NEW BEST:: SOT 401327 SOS 224865 HAS SOPS 224865 HAS SOUS 204938 HAS SOUPS 204938 WITH SCORE 205162.865
AT ITER 1103 NEW BEST:: SOT 401327 SOS 224733 HAS SOPS 224733 HAS SOUS 204930 HAS SOUPS 204930 WITH SCORE 205154.733
AT ITER 1104 NEW BEST:: SOT 401316 SOS 224722 HAS SOPS 224722 HAS SOUS 204919 HAS SOUPS 204919 WITH SCORE 205143.722
AT ITER 1106 NEW BEST:: SOT 401316 SOS 224649 HAS SOPS 224649 HAS SOUS 204919 HAS SOUPS 204919 WITH SCORE 205143.649
AT ITER 1110 NEW BEST:: SOT 401051 SOS 224550 HAS SOPS 224550 HAS SOUS 204788 HAS SOUPS 204788 WITH SCORE 205012.55
AT ITER 1111 NEW BEST:: SOT 401030 SOS 224151 HAS SOPS 224151 HAS SOUS 204729 HAS SOUPS 204729 WITH SCORE 204953.151
AT ITER 1112 NEW BEST:: SOT 401030 SOS 224067 HAS SOPS 224067 HAS SOUS 204682 HAS SOUPS 204682 WITH SCORE 204906.067
AT ITER 1116 NEW BEST:: SOT 401037 SOS 224036 HAS SOPS 224036 HAS SOUS 204655 HAS SOUPS 204655 WITH SCORE 204879.036
AT ITER 1117 NEW BEST:: SOT 401037 SOS 223840 HAS SOPS 223840 HAS SOUS 204655 HAS SOUPS 204655 WITH SCORE 204878.84
AT ITER 1118 NEW BEST:: SOT 401037 SOS 223787 HAS SOPS 223787 HAS SOUS 204602 HAS SOUPS 204602 WITH SCORE 204825.787
AT ITER 1123 NEW BEST:: SOT 401037 SOS 223783 HAS SOPS 223783 HAS SOUS 204602 HAS SOUPS 204602 WITH SCORE 204825.783
AT ITER 1124 NEW BEST:: SOT 401037 SOS 223545 HAS SOPS 223545 HAS SOUS 204561 HAS SOUPS 204561 WITH SCORE 204784.545
AT ITER 1127 NEW BEST:: SOT 401037 SOS 223470 HAS SOPS 223470 HAS SOUS 204561 HAS SOUPS 204561 WITH SCORE 204784.47
AT ITER 1141 NEW BEST:: SOT 401027 SOS 223470 HAS SOPS 223470 HAS SOUS 204442 HAS SOUPS 204442 WITH SCORE 204665.47
AT ITER 1142 NEW BEST:: SOT 401027 SOS 223645 HAS SOPS 223645 HAS SOUS 204440 HAS SOUPS 204440 WITH SCORE 204663.645
AT ITER 1149 NEW BEST:: SOT 401027 SOS 223485 HAS SOPS 223485 HAS SOUS 204440 HAS SOUPS 204440 WITH SCORE 204663.485
AT ITER 1152 NEW BEST:: SOT 401027 SOS 223485 HAS SOPS 223485 HAS SOUS 204379 HAS SOUPS 204379 WITH SCORE 204602.485
AT ITER 1156 NEW BEST:: SOT 401027 SOS 223485 HAS SOPS 223485 HAS SOUS 204284 HAS SOUPS 204284 WITH SCORE 204507.485
AT ITER 1162 NEW BEST:: SOT 401027 SOS 223423 HAS SOPS 223423 HAS SOUS 204284 HAS SOUPS 204284 WITH SCORE 204507.423
AT ITER 1164 NEW BEST:: SOT 401027 SOS 223370 HAS SOPS 223370 HAS SOUS 204284 HAS SOUPS 204284 WITH SCORE 204507.37
AT ITER 1169 NEW BEST:: SOT 401027 SOS 223058 HAS SOPS 223058 HAS SOUS 204284 HAS SOUPS 204284 WITH SCORE 204507.058
AT ITER 1172 NEW BEST:: SOT 401027 SOS 222632 HAS SOPS 222632 HAS SOUS 204284 HAS SOUPS 204284 WITH SCORE 204506.632
AT ITER 1173 NEW BEST:: SOT 401001 SOS 222591 HAS SOPS 222591 HAS SOUS 204257 HAS SOUPS 204257 WITH SCORE 204479.591
AT ITER 1177 NEW BEST:: SOT 401033 SOS 222382 HAS SOPS 222382 HAS SOUS 204199 HAS SOUPS 204199 WITH SCORE 204421.382
AT ITER 1180 NEW BEST:: SOT 401033 SOS 221679 HAS SOPS 221679 HAS SOUS 204199 HAS SOUPS 204199 WITH SCORE 204420.679
AT ITER 1181 NEW BEST:: SOT 400582 SOS 222369 HAS SOPS 222369 HAS SOUS 203925 HAS SOUPS 203925 WITH SCORE 204147.369
AT ITER 1200 NEW BEST:: SOT 399674 SOS 227087 HAS SOPS 227087 HAS SOUS 203863 HAS SOUPS 203863 WITH SCORE 204090.087
AT ITER 1203 NEW BEST:: SOT 399674 SOS 226968 HAS SOPS 226968 HAS SOUS 203863 HAS SOUPS 203863 WITH SCORE 204089.968
AT ITER 1204 NEW BEST:: SOT 399674 SOS 226899 HAS SOPS 226899 HAS SOUS 203863 HAS SOUPS 203863 WITH SCORE 204089.899
AT ITER 1215 NEW BEST:: SOT 399797 SOS 227016 HAS SOPS 227016 HAS SOUS 203858 HAS SOUPS 203858 WITH SCORE 204085.016
AT ITER 1234 NEW BEST:: SOT 399522 SOS 227353 HAS SOPS 227353 HAS SOUS 203712 HAS SOUPS 203712 WITH SCORE 203939.353
AT ITER 1235 NEW BEST:: SOT 399522 SOS 227346 HAS SOPS 227346 HAS SOUS 203669 HAS SOUPS 203669 WITH SCORE 203896.346
AT ITER 1246 NEW BEST:: SOT 399522 SOS 227147 HAS SOPS 227147 HAS SOUS 203669 HAS SOUPS 203669 WITH SCORE 203896.147
AT ITER 1249 NEW BEST:: SOT 399281 SOS 228208 HAS SOPS 228208 HAS SOUS 203559 HAS SOUPS 203559 WITH SCORE 203787.208
AT ITER 1258 NEW BEST:: SOT 399281 SOS 228108 HAS SOPS 228108 HAS SOUS 203559 HAS SOUPS 203559 WITH SCORE 203787.108
AT ITER 1259 NEW BEST:: SOT 399281 SOS 228002 HAS SOPS 228002 HAS SOUS 203559 HAS SOUPS 203559 WITH SCORE 203787.002
AT ITER 1267 NEW BEST:: SOT 398693 SOS 227414 HAS SOPS 227414 HAS SOUS 202971 HAS SOUPS 202971 WITH SCORE 203198.414
AT ITER 1268 NEW BEST:: SOT 398693 SOS 227410 HAS SOPS 227410 HAS SOUS 202967 HAS SOUPS 202967 WITH SCORE 203194.41
AT ITER 1269 NEW BEST:: SOT 398660 SOS 227377 HAS SOPS 227377 HAS SOUS 202934 HAS SOUPS 202934 WITH SCORE 203161.377
AT ITER 1271 NEW BEST:: SOT 398660 SOS 227267 HAS SOPS 227267 HAS SOUS 202934 HAS SOUPS 202934 WITH SCORE 203161.267
AT ITER 1281 NEW BEST:: SOT 398660 SOS 227238 HAS SOPS 227238 HAS SOUS 202934 HAS SOUPS 202934 WITH SCORE 203161.238
AT ITER 1285 NEW BEST:: SOT 398660 SOS 227107 HAS SOPS 227107 HAS SOUS 202934 HAS SOUPS 202934 WITH SCORE 203161.107
AT ITER 1286 NEW BEST:: SOT 398660 SOS 227024 HAS SOPS 227024 HAS SOUS 202934 HAS SOUPS 202934 WITH SCORE 203161.024
AT ITER 1290 NEW BEST:: SOT 398660 SOS 226978 HAS SOPS 226978 HAS SOUS 202901 HAS SOUPS 202901 WITH SCORE 203127.978
AT ITER 1298 NEW BEST:: SOT 398660 SOS 226913 HAS SOPS 226913 HAS SOUS 202863 HAS SOUPS 202863 WITH SCORE 203089.913
AT ITER 1300 NEW BEST:: SOT 398666 SOS 226892 HAS SOPS 226892 HAS SOUS 202859 HAS SOUPS 202859 WITH SCORE 203085.892
AT ITER 1301 NEW BEST:: SOT 398666 SOS 226880 HAS SOPS 226880 HAS SOUS 202859 HAS SOUPS 202859 WITH SCORE 203085.88
AT ITER 1303 NEW BEST:: SOT 398666 SOS 226642 HAS SOPS 226642 HAS SOUS 202858 HAS SOUPS 202858 WITH SCORE 203084.642
AT ITER 1310 NEW BEST:: SOT 398666 SOS 226628 HAS SOPS 226628 HAS SOUS 202858 HAS SOUPS 202858 WITH SCORE 203084.628
AT ITER 1318 NEW BEST:: SOT 398298 SOS 226851 HAS SOPS 226851 HAS SOUS 202703 HAS SOUPS 202703 WITH SCORE 202929.851
AT ITER 1329 NEW BEST:: SOT 398276 SOS 226437 HAS SOPS 226437 HAS SOUS 202668 HAS SOUPS 202668 WITH SCORE 202894.437
AT ITER 1334 NEW BEST:: SOT 398276 SOS 226286 HAS SOPS 226286 HAS SOUS 202639 HAS SOUPS 202639 WITH SCORE 202865.286
AT ITER 1338 NEW BEST:: SOT 398276 SOS 226160 HAS SOPS 226160 HAS SOUS 202639 HAS SOUPS 202639 WITH SCORE 202865.16
AT ITER 1340 NEW BEST:: SOT 398276 SOS 225324 HAS SOPS 225324 HAS SOUS 202549 HAS SOUPS 202549 WITH SCORE 202774.324
AT ITER 1343 NEW BEST:: SOT 398276 SOS 225300 HAS SOPS 225300 HAS SOUS 202549 HAS SOUPS 202549 WITH SCORE 202774.3
AT ITER 1345 NEW BEST:: SOT 398296 SOS 225300 HAS SOPS 225300 HAS SOUS 202529 HAS SOUPS 202529 WITH SCORE 202754.3
AT ITER 1347 NEW BEST:: SOT 398266 SOS 225270 HAS SOPS 225270 HAS SOUS 202337 HAS SOUPS 202337 WITH SCORE 202562.27
AT ITER 1355 NEW BEST:: SOT 398266 SOS 225211 HAS SOPS 225211 HAS SOUS 202297 HAS SOUPS 202297 WITH SCORE 202522.211
AT ITER 1359 NEW BEST:: SOT 398274 SOS 225325 HAS SOPS 225325 HAS SOUS 202295 HAS SOUPS 202295 WITH SCORE 202520.325
AT ITER 1360 NEW BEST:: SOT 398274 SOS 225289 HAS SOPS 225289 HAS SOUS 202294 HAS SOUPS 202294 WITH SCORE 202519.289
AT ITER 1361 NEW BEST:: SOT 398260 SOS 225230 HAS SOPS 225230 HAS SOUS 202293 HAS SOUPS 202293 WITH SCORE 202518.23
AT ITER 1367 NEW BEST:: SOT 397823 SOS 225298 HAS SOPS 225298 HAS SOUS 202111 HAS SOUPS 202111 WITH SCORE 202336.298
AT ITER 1378 NEW BEST:: SOT 397823 SOS 225246 HAS SOPS 225246 HAS SOUS 202102 HAS SOUPS 202102 WITH SCORE 202327.246
AT ITER 1391 NEW BEST:: SOT 397823 SOS 224451 HAS SOPS 224451 HAS SOUS 201954 HAS SOUPS 201954 WITH SCORE 202178.451
AT ITER 1415 NEW BEST:: SOT 397823 SOS 223634 HAS SOPS 223634 HAS SOUS 201954 HAS SOUPS 201954 WITH SCORE 202177.634
AT ITER 1416 NEW BEST:: SOT 397829 SOS 223513 HAS SOPS 223513 HAS SOUS 201947 HAS SOUPS 201947 WITH SCORE 202170.513
AT ITER 1417 NEW BEST:: SOT 397829 SOS 222118 HAS SOPS 222118 HAS SOUS 201812 HAS SOUPS 201812 WITH SCORE 202034.118
AT ITER 1429 NEW BEST:: SOT 397829 SOS 222003 HAS SOPS 222003 HAS SOUS 201774 HAS SOUPS 201774 WITH SCORE 201996.003
AT ITER 1433 NEW BEST:: SOT 397788 SOS 221611 HAS SOPS 221611 HAS SOUS 201728 HAS SOUPS 201728 WITH SCORE 201949.611
AT ITER 1436 NEW BEST:: SOT 397788 SOS 221541 HAS SOPS 221541 HAS SOUS 201728 HAS SOUPS 201728 WITH SCORE 201949.541
AT ITER 1443 NEW BEST:: SOT 397363 SOS 221292 HAS SOPS 221292 HAS SOUS 201513 HAS SOUPS 201513 WITH SCORE 201734.292
AT ITER 1446 NEW BEST:: SOT 397363 SOS 221435 HAS SOPS 221435 HAS SOUS 201497 HAS SOUPS 201497 WITH SCORE 201718.435
AT ITER 1447 NEW BEST:: SOT 397363 SOS 221344 HAS SOPS 221344 HAS SOUS 201497 HAS SOUPS 201497 WITH SCORE 201718.344
AT ITER 1459 NEW BEST:: SOT 397372 SOS 221090 HAS SOPS 221090 HAS SOUS 201361 HAS SOUPS 201361 WITH SCORE 201582.09
AT ITER 1461 NEW BEST:: SOT 397456 SOS 221080 HAS SOPS 221080 HAS SOUS 201265 HAS SOUPS 201265 WITH SCORE 201486.08
AT ITER 1465 NEW BEST:: SOT 397424 SOS 221048 HAS SOPS 221048 HAS SOUS 201209 HAS SOUPS 201209 WITH SCORE 201430.048
AT ITER 1469 NEW BEST:: SOT 397424 SOS 221025 HAS SOPS 221025 HAS SOUS 201186 HAS SOUPS 201186 WITH SCORE 201407.025
AT ITER 1475 NEW BEST:: SOT 397424 SOS 220911 HAS SOPS 220911 HAS SOUS 201186 HAS SOUPS 201186 WITH SCORE 201406.911
AT ITER 1477 NEW BEST:: SOT 397424 SOS 220840 HAS SOPS 220840 HAS SOUS 201186 HAS SOUPS 201186 WITH SCORE 201406.84
AT ITER 1479 NEW BEST:: SOT 397398 SOS 220757 HAS SOPS 220757 HAS SOUS 201136 HAS SOUPS 201136 WITH SCORE 201356.757
AT ITER 1485 NEW BEST:: SOT 397398 SOS 220623 HAS SOPS 220623 HAS SOUS 201136 HAS SOUPS 201136 WITH SCORE 201356.623
AT ITER 1487 NEW BEST:: SOT 397398 SOS 220512 HAS SOPS 220512 HAS SOUS 201136 HAS SOUPS 201136 WITH SCORE 201356.512
AT ITER 1494 NEW BEST:: SOT 397398 SOS 220462 HAS SOPS 220462 HAS SOUS 201136 HAS SOUPS 201136 WITH SCORE 201356.462
AT ITER 1495 NEW BEST:: SOT 397398 SOS 220352 HAS SOPS 220352 HAS SOUS 201124 HAS SOUPS 201124 WITH SCORE 201344.352
AT ITER 1499 NEW BEST:: SOT 397398 SOS 220363 HAS SOPS 220363 HAS SOUS 201121 HAS SOUPS 201121 WITH SCORE 201341.363
AT ITER 1501 NEW BEST:: SOT 397398 SOS 220269 HAS SOPS 220269 HAS SOUS 201121 HAS SOUPS 201121 WITH SCORE 201341.269
AT ITER 1505 NEW BEST:: SOT 396952 SOS 219973 HAS SOPS 219973 HAS SOUS 200800 HAS SOUPS 200800 WITH SCORE 201019.973
AT ITER 1509 NEW BEST:: SOT 396952 SOS 219970 HAS SOPS 219970 HAS SOUS 200800 HAS SOUPS 200800 WITH SCORE 201019.97
AT ITER 1521 NEW BEST:: SOT 396956 SOS 219985 HAS SOPS 219985 HAS SOUS 200797 HAS SOUPS 200797 WITH SCORE 201016.985
AT ITER 1523 NEW BEST:: SOT 396956 SOS 219969 HAS SOPS 219969 HAS SOUS 200783 HAS SOUPS 200783 WITH SCORE 201002.969
AT ITER 1526 NEW BEST:: SOT 396956 SOS 219833 HAS SOPS 219833 HAS SOUS 200746 HAS SOUPS 200746 WITH SCORE 200965.833
AT ITER 1541 NEW BEST:: SOT 396956 SOS 219823 HAS SOPS 219823 HAS SOUS 200746 HAS SOUPS 200746 WITH SCORE 200965.823
AT ITER 1551 NEW BEST:: SOT 396954 SOS 219773 HAS SOPS 219773 HAS SOUS 200743 HAS SOUPS 200743 WITH SCORE 200962.773
AT ITER 1555 NEW BEST:: SOT 396935 SOS 219701 HAS SOPS 219701 HAS SOUS 200670 HAS SOUPS 200670 WITH SCORE 200889.701
AT ITER 1561 NEW BEST:: SOT 396935 SOS 219644 HAS SOPS 219644 HAS SOUS 200670 HAS SOUPS 200670 WITH SCORE 200889.644
AT ITER 1570 NEW BEST:: SOT 396935 SOS 219630 HAS SOPS 219630 HAS SOUS 200656 HAS SOUPS 200656 WITH SCORE 200875.63
AT ITER 1575 NEW BEST:: SOT 396935 SOS 219518 HAS SOPS 219518 HAS SOUS 200544 HAS SOUPS 200544 WITH SCORE 200763.518
AT ITER 1579 NEW BEST:: SOT 396935 SOS 219480 HAS SOPS 219480 HAS SOUS 200544 HAS SOUPS 200544 WITH SCORE 200763.48
AT ITER 1581 NEW BEST:: SOT 396939 SOS 219469 HAS SOPS 219469 HAS SOUS 200516 HAS SOUPS 200516 WITH SCORE 200735.469
AT ITER 1582 NEW BEST:: SOT 396939 SOS 219369 HAS SOPS 219369 HAS SOUS 200516 HAS SOUPS 200516 WITH SCORE 200735.369
AT ITER 1590 NEW BEST:: SOT 396939 SOS 219255 HAS SOPS 219255 HAS SOUS 200516 HAS SOUPS 200516 WITH SCORE 200735.255
AT ITER 1593 NEW BEST:: SOT 396939 SOS 219119 HAS SOPS 219119 HAS SOUS 200506 HAS SOUPS 200506 WITH SCORE 200725.119
AT ITER 1599 NEW BEST:: SOT 396494 SOS 218712 HAS SOPS 218712 HAS SOUS 200097 HAS SOUPS 200097 WITH SCORE 200315.712
AT ITER 1606 NEW BEST:: SOT 396143 SOS 218335 HAS SOPS 218335 HAS SOUS 199770 HAS SOUPS 199770 WITH SCORE 199988.335
AT ITER 1611 NEW BEST:: SOT 395931 SOS 218421 HAS SOPS 218421 HAS SOUS 199731 HAS SOUPS 199731 WITH SCORE 199949.421
AT ITER 1639 NEW BEST:: SOT 395931 SOS 218417 HAS SOPS 218417 HAS SOUS 199704 HAS SOUPS 199704 WITH SCORE 199922.417
AT ITER 1646 NEW BEST:: SOT 395927 SOS 218412 HAS SOPS 218412 HAS SOUS 199699 HAS SOUPS 199699 WITH SCORE 199917.412
AT ITER 1651 NEW BEST:: SOT 395926 SOS 218588 HAS SOPS 218588 HAS SOUS 199698 HAS SOUPS 199698 WITH SCORE 199916.588
AT ITER 1652 NEW BEST:: SOT 395926 SOS 218483 HAS SOPS 218483 HAS SOUS 199698 HAS SOUPS 199698 WITH SCORE 199916.483
AT ITER 1659 NEW BEST:: SOT 395926 SOS 218339 HAS SOPS 218339 HAS SOUS 199698 HAS SOUPS 199698 WITH SCORE 199916.339
AT ITER 1660 NEW BEST:: SOT 395926 SOS 218224 HAS SOPS 218224 HAS SOUS 199698 HAS SOUPS 199698 WITH SCORE 199916.224
AT ITER 1668 NEW BEST:: SOT 395917 SOS 218400 HAS SOPS 218400 HAS SOUS 199689 HAS SOUPS 199689 WITH SCORE 199907.4
AT ITER 1669 NEW BEST:: SOT 395912 SOS 218385 HAS SOPS 218385 HAS SOUS 199682 HAS SOUPS 199682 WITH SCORE 199900.385
AT ITER 1673 NEW BEST:: SOT 395900 SOS 218273 HAS SOPS 218273 HAS SOUS 199588 HAS SOUPS 199588 WITH SCORE 199806.273
AT ITER 1674 NEW BEST:: SOT 395900 SOS 217853 HAS SOPS 217853 HAS SOUS 199588 HAS SOUPS 199588 WITH SCORE 199805.853
AT ITER 1683 NEW BEST:: SOT 395503 SOS 217442 HAS SOPS 217442 HAS SOUS 199407 HAS SOUPS 199407 WITH SCORE 199624.442
AT ITER 1685 NEW BEST:: SOT 395473 SOS 217412 HAS SOPS 217412 HAS SOUS 199377 HAS SOUPS 199377 WITH SCORE 199594.412
AT ITER 1687 NEW BEST:: SOT 395473 SOS 217228 HAS SOPS 217228 HAS SOUS 199274 HAS SOUPS 199274 WITH SCORE 199491.228
AT ITER 1690 NEW BEST:: SOT 395473 SOS 217174 HAS SOPS 217174 HAS SOUS 199274 HAS SOUPS 199274 WITH SCORE 199491.174
AT ITER 1715 NEW BEST:: SOT 395473 SOS 217173 HAS SOPS 217173 HAS SOUS 199273 HAS SOUPS 199273 WITH SCORE 199490.173
AT ITER 1716 NEW BEST:: SOT 395470 SOS 217170 HAS SOPS 217170 HAS SOUS 199235 HAS SOUPS 199235 WITH SCORE 199452.17
AT ITER 1725 NEW BEST:: SOT 395007 SOS 218406 HAS SOPS 218406 HAS SOUS 198986 HAS SOUPS 198986 WITH SCORE 199204.406
AT ITER 1730 NEW BEST:: SOT 395007 SOS 218258 HAS SOPS 218258 HAS SOUS 198986 HAS SOUPS 198986 WITH SCORE 199204.258
AT ITER 1735 NEW BEST:: SOT 394872 SOS 218129 HAS SOPS 218129 HAS SOUS 198847 HAS SOUPS 198847 WITH SCORE 199065.129
AT ITER 1744 NEW BEST:: SOT 394872 SOS 218117 HAS SOPS 218117 HAS SOUS 198847 HAS SOUPS 198847 WITH SCORE 199065.117
AT ITER 1747 NEW BEST:: SOT 394872 SOS 218072 HAS SOPS 218072 HAS SOUS 198832 HAS SOUPS 198832 WITH SCORE 199050.072
AT ITER 1758 NEW BEST:: SOT 394872 SOS 217960 HAS SOPS 217960 HAS SOUS 198781 HAS SOUPS 198781 WITH SCORE 198998.96
AT ITER 1761 NEW BEST:: SOT 394872 SOS 217956 HAS SOPS 217956 HAS SOUS 198781 HAS SOUPS 198781 WITH SCORE 198998.956
AT ITER 1770 NEW BEST:: SOT 394872 SOS 217837 HAS SOPS 217837 HAS SOUS 198781 HAS SOUPS 198781 WITH SCORE 198998.837
AT ITER 1771 NEW BEST:: SOT 394862 SOS 217739 HAS SOPS 217739 HAS SOUS 198733 HAS SOUPS 198733 WITH SCORE 198950.739
AT ITER 1773 NEW BEST:: SOT 394862 SOS 217645 HAS SOPS 217645 HAS SOUS 198733 HAS SOUPS 198733 WITH SCORE 198950.645
AT ITER 1776 NEW BEST:: SOT 394862 SOS 217791 HAS SOPS 217791 HAS SOUS 198653 HAS SOUPS 198653 WITH SCORE 198870.791
AT ITER 1779 NEW BEST:: SOT 394862 SOS 217603 HAS SOPS 217603 HAS SOUS 198653 HAS SOUPS 198653 WITH SCORE 198870.603
AT ITER 1781 NEW BEST:: SOT 394776 SOS 217435 HAS SOPS 217435 HAS SOUS 198482 HAS SOUPS 198482 WITH SCORE 198699.435
AT ITER 1783 NEW BEST:: SOT 394765 SOS 217565 HAS SOPS 217565 HAS SOUS 198464 HAS SOUPS 198464 WITH SCORE 198681.565
AT ITER 1789 NEW BEST:: SOT 394353 SOS 217202 HAS SOPS 217202 HAS SOUS 198180 HAS SOUPS 198180 WITH SCORE 198397.202
AT ITER 1796 NEW BEST:: SOT 394353 SOS 217145 HAS SOPS 217145 HAS SOUS 198158 HAS SOUPS 198158 WITH SCORE 198375.145
AT ITER 1802 NEW BEST:: SOT 394353 SOS 216935 HAS SOPS 216935 HAS SOUS 198116 HAS SOUPS 198116 WITH SCORE 198332.935
AT ITER 1810 NEW BEST:: SOT 394350 SOS 216691 HAS SOPS 216691 HAS SOUS 198036 HAS SOUPS 198036 WITH SCORE 198252.691
AT ITER 1814 NEW BEST:: SOT 393977 SOS 216402 HAS SOPS 216402 HAS SOUS 197948 HAS SOUPS 197948 WITH SCORE 198164.402
AT ITER 1825 NEW BEST:: SOT 393958 SOS 216302 HAS SOPS 216302 HAS SOUS 197915 HAS SOUPS 197915 WITH SCORE 198131.302
AT ITER 1846 NEW BEST:: SOT 393576 SOS 216244 HAS SOPS 216244 HAS SOUS 197645 HAS SOUPS 197645 WITH SCORE 197861.244
AT ITER 1849 NEW BEST:: SOT 393576 SOS 216232 HAS SOPS 216232 HAS SOUS 197645 HAS SOUPS 197645 WITH SCORE 197861.232
AT ITER 1850 NEW BEST:: SOT 393576 SOS 216094 HAS SOPS 216094 HAS SOUS 197645 HAS SOUPS 197645 WITH SCORE 197861.094
AT ITER 1866 NEW BEST:: SOT 393227 SOS 215933 HAS SOPS 215933 HAS SOUS 197400 HAS SOUPS 197400 WITH SCORE 197615.933
AT ITER 1869 NEW BEST:: SOT 393227 SOS 215581 HAS SOPS 215581 HAS SOUS 197400 HAS SOUPS 197400 WITH SCORE 197615.581
AT ITER 1873 NEW BEST:: SOT 393227 SOS 215542 HAS SOPS 215542 HAS SOUS 197400 HAS SOUPS 197400 WITH SCORE 197615.542
AT ITER 1876 NEW BEST:: SOT 393227 SOS 215011 HAS SOPS 215011 HAS SOUS 197400 HAS SOUPS 197400 WITH SCORE 197615.011
AT ITER 1880 NEW BEST:: SOT 393227 SOS 215067 HAS SOPS 215067 HAS SOUS 197399 HAS SOUPS 197399 WITH SCORE 197614.067
AT ITER 1885 NEW BEST:: SOT 392933 SOS 214806 HAS SOPS 214806 HAS SOUS 197153 HAS SOUPS 197153 WITH SCORE 197367.806
AT ITER 1888 NEW BEST:: SOT 392996 SOS 214706 HAS SOPS 214706 HAS SOUS 197153 HAS SOUPS 197153 WITH SCORE 197367.706
AT ITER 1901 NEW BEST:: SOT 392996 SOS 214650 HAS SOPS 214650 HAS SOUS 197153 HAS SOUPS 197153 WITH SCORE 197367.65
AT ITER 1926 NEW BEST:: SOT 392996 SOS 214632 HAS SOPS 214632 HAS SOUS 197153 HAS SOUPS 197153 WITH SCORE 197367.632
AT ITER 1928 NEW BEST:: SOT 392996 SOS 214538 HAS SOPS 214538 HAS SOUS 197153 HAS SOUPS 197153 WITH SCORE 197367.538
AT ITER 1941 NEW BEST:: SOT 392785 SOS 214392 HAS SOPS 214392 HAS SOUS 197035 HAS SOUPS 197035 WITH SCORE 197249.392
AT ITER 1957 NEW BEST:: SOT 392197 SOS 213898 HAS SOPS 213898 HAS SOUS 196587 HAS SOUPS 196587 WITH SCORE 196800.898
AT ITER 1965 NEW BEST:: SOT 392285 SOS 213896 HAS SOPS 213896 HAS SOUS 196555 HAS SOUPS 196555 WITH SCORE 196768.896
AT ITER 1966 NEW BEST:: SOT 392074 SOS 213851 HAS SOPS 213851 HAS SOUS 196382 HAS SOUPS 196382 WITH SCORE 196595.851
AT ITER 1972 NEW BEST:: SOT 392074 SOS 213799 HAS SOPS 213799 HAS SOUS 196382 HAS SOUPS 196382 WITH SCORE 196595.799
AT ITER 1973 NEW BEST:: SOT 392064 SOS 213786 HAS SOPS 213786 HAS SOUS 196364 HAS SOUPS 196364 WITH SCORE 196577.786
AT ITER 1977 NEW BEST:: SOT 391854 SOS 213624 HAS SOPS 213624 HAS SOUS 196186 HAS SOUPS 196186 WITH SCORE 196399.624
AT ITER 1981 NEW BEST:: SOT 391391 SOS 213170 HAS SOPS 213170 HAS SOUS 195890 HAS SOUPS 195890 WITH SCORE 196103.17
AT ITER 1985 NEW BEST:: SOT 391391 SOS 213034 HAS SOPS 213034 HAS SOUS 195890 HAS SOUPS 195890 WITH SCORE 196103.034
AT ITER 1986 NEW BEST:: SOT 391137 SOS 212812 HAS SOPS 212812 HAS SOUS 195663 HAS SOUPS 195663 WITH SCORE 195875.812
AT ITER 1995 NEW BEST:: SOT 390986 SOS 212753 HAS SOPS 212753 HAS SOUS 195533 HAS SOUPS 195533 WITH SCORE 195745.753
AT ITER 1997 NEW BEST:: SOT 390962 SOS 212957 HAS SOPS 212957 HAS SOUS 195384 HAS SOUPS 195384 WITH SCORE 195596.957
AT ITER 2039 NEW BEST:: SOT 390241 SOS 213364 HAS SOPS 213364 HAS SOUS 194895 HAS SOUPS 194895 WITH SCORE 195108.364
AT ITER 2074 NEW BEST:: SOT 390241 SOS 213373 HAS SOPS 213373 HAS SOUS 194849 HAS SOUPS 194849 WITH SCORE 195062.373
AT ITER 2087 NEW BEST:: SOT 390272 SOS 209284 HAS SOPS 209284 HAS SOUS 194499 HAS SOUPS 194499 WITH SCORE 194708.284
AT ITER 2088 NEW BEST:: SOT 390272 SOS 209145 HAS SOPS 209145 HAS SOUS 194499 HAS SOUPS 194499 WITH SCORE 194708.145
AT ITER 2091 NEW BEST:: SOT 390272 SOS 209111 HAS SOPS 209111 HAS SOUS 194476 HAS SOUPS 194476 WITH SCORE 194685.111
AT ITER 2093 NEW BEST:: SOT 390220 SOS 209059 HAS SOPS 209059 HAS SOUS 194424 HAS SOUPS 194424 WITH SCORE 194633.059
AT ITER 2101 NEW BEST:: SOT 389716 SOS 208709 HAS SOPS 208709 HAS SOUS 194234 HAS SOUPS 194234 WITH SCORE 194442.709
AT ITER 2104 NEW BEST:: SOT 389622 SOS 208622 HAS SOPS 208622 HAS SOUS 194155 HAS SOUPS 194155 WITH SCORE 194363.622
AT ITER 2108 NEW BEST:: SOT 389622 SOS 208417 HAS SOPS 208417 HAS SOUS 194149 HAS SOUPS 194149 WITH SCORE 194357.417
AT ITER 2119 NEW BEST:: SOT 389622 SOS 208374 HAS SOPS 208374 HAS SOUS 194149 HAS SOUPS 194149 WITH SCORE 194357.374
AT ITER 2125 NEW BEST:: SOT 389579 SOS 208331 HAS SOPS 208331 HAS SOUS 194106 HAS SOUPS 194106 WITH SCORE 194314.331
AT ITER 2132 NEW BEST:: SOT 389583 SOS 208333 HAS SOPS 208333 HAS SOUS 194105 HAS SOUPS 194105 WITH SCORE 194313.333
AT ITER 2134 NEW BEST:: SOT 389018 SOS 208148 HAS SOPS 208148 HAS SOUS 193912 HAS SOUPS 193912 WITH SCORE 194120.148
AT ITER 2136 NEW BEST:: SOT 388952 SOS 208102 HAS SOPS 208102 HAS SOUS 193885 HAS SOUPS 193885 WITH SCORE 194093.102
AT ITER 2137 NEW BEST:: SOT 388354 SOS 208556 HAS SOPS 208556 HAS SOUS 193511 HAS SOUPS 193511 WITH SCORE 193719.556
AT ITER 2140 NEW BEST:: SOT 388354 SOS 208487 HAS SOPS 208487 HAS SOUS 193511 HAS SOUPS 193511 WITH SCORE 193719.487
AT ITER 2147 NEW BEST:: SOT 388354 SOS 208469 HAS SOPS 208469 HAS SOUS 193511 HAS SOUPS 193511 WITH SCORE 193719.469
AT ITER 2169 NEW BEST:: SOT 388295 SOS 208410 HAS SOPS 208410 HAS SOUS 193468 HAS SOUPS 193468 WITH SCORE 193676.41
AT ITER 2203 NEW BEST:: SOT 388295 SOS 208382 HAS SOPS 208382 HAS SOUS 193468 HAS SOUPS 193468 WITH SCORE 193676.382
AT ITER 2204 NEW BEST:: SOT 388295 SOS 207792 HAS SOPS 207792 HAS SOUS 193457 HAS SOUPS 193457 WITH SCORE 193664.792
AT ITER 2205 NEW BEST:: SOT 388295 SOS 207789 HAS SOPS 207789 HAS SOUS 193457 HAS SOUPS 193457 WITH SCORE 193664.789
AT ITER 2210 NEW BEST:: SOT 388295 SOS 207745 HAS SOPS 207745 HAS SOUS 193448 HAS SOUPS 193448 WITH SCORE 193655.745
AT ITER 2215 NEW BEST:: SOT 388295 SOS 207719 HAS SOPS 207719 HAS SOUS 193448 HAS SOUPS 193448 WITH SCORE 193655.719
AT ITER 2219 NEW BEST:: SOT 388295 SOS 207605 HAS SOPS 207605 HAS SOUS 193448 HAS SOUPS 193448 WITH SCORE 193655.605
AT ITER 2221 NEW BEST:: SOT 388295 SOS 207596 HAS SOPS 207596 HAS SOUS 193439 HAS SOUPS 193439 WITH SCORE 193646.596
AT ITER 2225 NEW BEST:: SOT 388295 SOS 207596 HAS SOPS 207596 HAS SOUS 193433 HAS SOUPS 193433 WITH SCORE 193640.596
AT ITER 2233 NEW BEST:: SOT 388295 SOS 207487 HAS SOPS 207487 HAS SOUS 193433 HAS SOUPS 193433 WITH SCORE 193640.487
AT ITER 2241 NEW BEST:: SOT 387924 SOS 210642 HAS SOPS 210642 HAS SOUS 193293 HAS SOUPS 193293 WITH SCORE 193503.642
AT ITER 2245 NEW BEST:: SOT 387924 SOS 210621 HAS SOPS 210621 HAS SOUS 193244 HAS SOUPS 193244 WITH SCORE 193454.621
AT ITER 2253 NEW BEST:: SOT 388021 SOS 209378 HAS SOPS 209378 HAS SOUS 193187 HAS SOUPS 193187 WITH SCORE 193396.378
AT ITER 2258 NEW BEST:: SOT 387908 SOS 213922 HAS SOPS 213922 HAS SOUS 193133 HAS SOUPS 193133 WITH SCORE 193346.922
AT ITER 2260 NEW BEST:: SOT 387922 SOS 213594 HAS SOPS 213594 HAS SOUS 193025 HAS SOUPS 193025 WITH SCORE 193238.594
AT ITER 2267 NEW BEST:: SOT 387922 SOS 213586 HAS SOPS 213586 HAS SOUS 193025 HAS SOUPS 193025 WITH SCORE 193238.586
AT ITER 2279 NEW BEST:: SOT 387930 SOS 213594 HAS SOPS 213594 HAS SOUS 192936 HAS SOUPS 192936 WITH SCORE 193149.594
AT ITER 2280 NEW BEST:: SOT 387930 SOS 213567 HAS SOPS 213567 HAS SOUS 192936 HAS SOUPS 192936 WITH SCORE 193149.567
AT ITER 2294 NEW BEST:: SOT 387910 SOS 213408 HAS SOPS 213408 HAS SOUS 192841 HAS SOUPS 192841 WITH SCORE 193054.408
AT ITER 2299 NEW BEST:: SOT 387918 SOS 213345 HAS SOPS 213345 HAS SOUS 192770 HAS SOUPS 192770 WITH SCORE 192983.345
AT ITER 2316 NEW BEST:: SOT 387918 SOS 213248 HAS SOPS 213248 HAS SOUS 192669 HAS SOUPS 192669 WITH SCORE 192882.248
AT ITER 2322 NEW BEST:: SOT 387918 SOS 213139 HAS SOPS 213139 HAS SOUS 192669 HAS SOUPS 192669 WITH SCORE 192882.139
AT ITER 2323 NEW BEST:: SOT 387915 SOS 213136 HAS SOPS 213136 HAS SOUS 192666 HAS SOUPS 192666 WITH SCORE 192879.136
AT ITER 2335 NEW BEST:: SOT 387915 SOS 213113 HAS SOPS 213113 HAS SOUS 192666 HAS SOUPS 192666 WITH SCORE 192879.113
AT ITER 2353 NEW BEST:: SOT 387915 SOS 213111 HAS SOPS 213111 HAS SOUS 192666 HAS SOUPS 192666 WITH SCORE 192879.111
AT ITER 2362 NEW BEST:: SOT 387956 SOS 213117 HAS SOPS 213117 HAS SOUS 192663 HAS SOUPS 192663 WITH SCORE 192876.117
AT ITER 2368 NEW BEST:: SOT 387956 SOS 213028 HAS SOPS 213028 HAS SOUS 192663 HAS SOUPS 192663 WITH SCORE 192876.028
AT ITER 2372 NEW BEST:: SOT 387820 SOS 213315 HAS SOPS 213315 HAS SOUS 192561 HAS SOUPS 192561 WITH SCORE 192774.315
AT ITER 2382 NEW BEST:: SOT 387820 SOS 213218 HAS SOPS 213218 HAS SOUS 192561 HAS SOUPS 192561 WITH SCORE 192774.218
AT ITER 2389 NEW BEST:: SOT 387820 SOS 213359 HAS SOPS 213359 HAS SOUS 192550 HAS SOUPS 192550 WITH SCORE 192763.359
AT ITER 2397 NEW BEST:: SOT 387747 SOS 213871 HAS SOPS 213871 HAS SOUS 192547 HAS SOUPS 192547 WITH SCORE 192760.871
AT ITER 2402 NEW BEST:: SOT 387747 SOS 213868 HAS SOPS 213868 HAS SOUS 192547 HAS SOUPS 192547 WITH SCORE 192760.868
AT ITER 2405 NEW BEST:: SOT 387758 SOS 213753 HAS SOPS 213753 HAS SOUS 192522 HAS SOUPS 192522 WITH SCORE 192735.753
AT ITER 2415 NEW BEST:: SOT 387752 SOS 213747 HAS SOPS 213747 HAS SOUS 192516 HAS SOUPS 192516 WITH SCORE 192729.747
AT ITER 2423 NEW BEST:: SOT 387736 SOS 213692 HAS SOPS 213692 HAS SOUS 192508 HAS SOUPS 192508 WITH SCORE 192721.692
AT ITER 2442 NEW BEST:: SOT 387736 SOS 213673 HAS SOPS 213673 HAS SOUS 192442 HAS SOUPS 192442 WITH SCORE 192655.673
AT ITER 2452 NEW BEST:: SOT 387812 SOS 213741 HAS SOPS 213741 HAS SOUS 192409 HAS SOUPS 192409 WITH SCORE 192622.741
AT ITER 2459 NEW BEST:: SOT 387797 SOS 214726 HAS SOPS 214726 HAS SOUS 192394 HAS SOUPS 192394 WITH SCORE 192608.726
AT ITER 2463 NEW BEST:: SOT 387874 SOS 209897 HAS SOPS 209897 HAS SOUS 192359 HAS SOUPS 192359 WITH SCORE 192568.897
AT ITER 2467 NEW BEST:: SOT 387874 SOS 209820 HAS SOPS 209820 HAS SOUS 192359 HAS SOUPS 192359 WITH SCORE 192568.82
AT ITER 2474 NEW BEST:: SOT 387962 SOS 209491 HAS SOPS 209491 HAS SOUS 192014 HAS SOUPS 192014 WITH SCORE 192223.491
AT ITER 2479 NEW BEST:: SOT 387962 SOS 209491 HAS SOPS 209491 HAS SOUS 192006 HAS SOUPS 192006 WITH SCORE 192215.491
AT ITER 2480 NEW BEST:: SOT 387962 SOS 209445 HAS SOPS 209445 HAS SOUS 192006 HAS SOUPS 192006 WITH SCORE 192215.445
AT ITER 2485 NEW BEST:: SOT 387962 SOS 209377 HAS SOPS 209377 HAS SOUS 191955 HAS SOUPS 191955 WITH SCORE 192164.377
AT ITER 2502 NEW BEST:: SOT 387941 SOS 209413 HAS SOPS 209413 HAS SOUS 191877 HAS SOUPS 191877 WITH SCORE 192086.413
AT ITER 2503 NEW BEST:: SOT 387433 SOS 209130 HAS SOPS 209130 HAS SOUS 191531 HAS SOUPS 191531 WITH SCORE 191740.13
AT ITER 2504 NEW BEST:: SOT 387433 SOS 209001 HAS SOPS 209001 HAS SOUS 191531 HAS SOUPS 191531 WITH SCORE 191740.001
AT ITER 2505 NEW BEST:: SOT 387451 SOS 208980 HAS SOPS 208980 HAS SOUS 191480 HAS SOUPS 191480 WITH SCORE 191688.98
AT ITER 2514 NEW BEST:: SOT 386674 SOS 208230 HAS SOPS 208230 HAS SOUS 191087 HAS SOUPS 191087 WITH SCORE 191295.23
AT ITER 2518 NEW BEST:: SOT 386674 SOS 208163 HAS SOPS 208163 HAS SOUS 191087 HAS SOUPS 191087 WITH SCORE 191295.163
AT ITER 2523 NEW BEST:: SOT 386263 SOS 208108 HAS SOPS 208108 HAS SOUS 190783 HAS SOUPS 190783 WITH SCORE 190991.108
AT ITER 2528 NEW BEST:: SOT 386295 SOS 208092 HAS SOPS 208092 HAS SOUS 190770 HAS SOUPS 190770 WITH SCORE 190978.092
AT ITER 2537 NEW BEST:: SOT 386295 SOS 208044 HAS SOPS 208044 HAS SOUS 190770 HAS SOUPS 190770 WITH SCORE 190978.044
AT ITER 2539 NEW BEST:: SOT 386295 SOS 208009 HAS SOPS 208009 HAS SOUS 190770 HAS SOUPS 190770 WITH SCORE 190978.009
AT ITER 2550 NEW BEST:: SOT 385885 SOS 208120 HAS SOPS 208120 HAS SOUS 190594 HAS SOUPS 190594 WITH SCORE 190802.12
AT ITER 2556 NEW BEST:: SOT 385794 SOS 208031 HAS SOPS 208031 HAS SOUS 190464 HAS SOUPS 190464 WITH SCORE 190672.031
AT ITER 2558 NEW BEST:: SOT 385794 SOS 208070 HAS SOPS 208070 HAS SOUS 190433 HAS SOUPS 190433 WITH SCORE 190641.07
AT ITER 2573 NEW BEST:: SOT 385778 SOS 208147 HAS SOPS 208147 HAS SOUS 190389 HAS SOUPS 190389 WITH SCORE 190597.147
AT ITER 2574 NEW BEST:: SOT 385774 SOS 208143 HAS SOPS 208143 HAS SOUS 190385 HAS SOUPS 190385 WITH SCORE 190593.143
AT ITER 2581 NEW BEST:: SOT 385831 SOS 208166 HAS SOPS 208166 HAS SOUS 190379 HAS SOUPS 190379 WITH SCORE 190587.166
AT ITER 2583 NEW BEST:: SOT 385831 SOS 208126 HAS SOPS 208126 HAS SOUS 190379 HAS SOUPS 190379 WITH SCORE 190587.126
AT ITER 2593 NEW BEST:: SOT 385833 SOS 208128 HAS SOPS 208128 HAS SOUS 190312 HAS SOUPS 190312 WITH SCORE 190520.128
AT ITER 2616 NEW BEST:: SOT 385813 SOS 208092 HAS SOPS 208092 HAS SOUS 190261 HAS SOUPS 190261 WITH SCORE 190469.092
AT ITER 2618 NEW BEST:: SOT 385802 SOS 208146 HAS SOPS 208146 HAS SOUS 190257 HAS SOUPS 190257 WITH SCORE 190465.146
AT ITER 2623 NEW BEST:: SOT 385802 SOS 208117 HAS SOPS 208117 HAS SOUS 190257 HAS SOUPS 190257 WITH SCORE 190465.117
AT ITER 2631 NEW BEST:: SOT 385802 SOS 208117 HAS SOPS 208117 HAS SOUS 190228 HAS SOUPS 190228 WITH SCORE 190436.117
AT ITER 2633 NEW BEST:: SOT 385168 SOS 208108 HAS SOPS 208108 HAS SOUS 189988 HAS SOUPS 189988 WITH SCORE 190196.108
AT ITER 2638 NEW BEST:: SOT 385168 SOS 208088 HAS SOPS 208088 HAS SOUS 189988 HAS SOUPS 189988 WITH SCORE 190196.088
AT ITER 2652 NEW BEST:: SOT 385168 SOS 208044 HAS SOPS 208044 HAS SOUS 189988 HAS SOUPS 189988 WITH SCORE 190196.044
AT ITER 2655 NEW BEST:: SOT 385136 SOS 207991 HAS SOPS 207991 HAS SOUS 189927 HAS SOUPS 189927 WITH SCORE 190134.991
AT ITER 2661 NEW BEST:: SOT 385136 SOS 207984 HAS SOPS 207984 HAS SOUS 189927 HAS SOUPS 189927 WITH SCORE 190134.984
AT ITER 2665 NEW BEST:: SOT 385136 SOS 207972 HAS SOPS 207972 HAS SOUS 189914 HAS SOUPS 189914 WITH SCORE 190121.972
AT ITER 2666 NEW BEST:: SOT 385142 SOS 207928 HAS SOPS 207928 HAS SOUS 189910 HAS SOUPS 189910 WITH SCORE 190117.928
AT ITER 2680 NEW BEST:: SOT 385142 SOS 207859 HAS SOPS 207859 HAS SOUS 189908 HAS SOUPS 189908 WITH SCORE 190115.859
AT ITER 2699 NEW BEST:: SOT 385142 SOS 207791 HAS SOPS 207791 HAS SOUS 189895 HAS SOUPS 189895 WITH SCORE 190102.791
AT ITER 2709 NEW BEST:: SOT 385142 SOS 207766 HAS SOPS 207766 HAS SOUS 189887 HAS SOUPS 189887 WITH SCORE 190094.766
AT ITER 2736 NEW BEST:: SOT 384537 SOS 207169 HAS SOPS 207169 HAS SOUS 189445 HAS SOUPS 189445 WITH SCORE 189652.169
AT ITER 2748 NEW BEST:: SOT 384537 SOS 207777 HAS SOPS 207777 HAS SOUS 189421 HAS SOUPS 189421 WITH SCORE 189628.777
AT ITER 2752 NEW BEST:: SOT 384054 SOS 207495 HAS SOPS 207495 HAS SOUS 189278 HAS SOUPS 189278 WITH SCORE 189485.495
AT ITER 2764 NEW BEST:: SOT 384055 SOS 207496 HAS SOPS 207496 HAS SOUS 189248 HAS SOUPS 189248 WITH SCORE 189455.496
AT ITER 2776 NEW BEST:: SOT 383934 SOS 207426 HAS SOPS 207426 HAS SOUS 189247 HAS SOUPS 189247 WITH SCORE 189454.426
AT ITER 2787 NEW BEST:: SOT 383935 SOS 207564 HAS SOPS 207564 HAS SOUS 189206 HAS SOUPS 189206 WITH SCORE 189413.564
AT ITER 2791 NEW BEST:: SOT 383935 SOS 207451 HAS SOPS 207451 HAS SOUS 189206 HAS SOUPS 189206 WITH SCORE 189413.451
AT ITER 2829 NEW BEST:: SOT 383935 SOS 207437 HAS SOPS 207437 HAS SOUS 189206 HAS SOUPS 189206 WITH SCORE 189413.437
AT ITER 2830 NEW BEST:: SOT 383899 SOS 207596 HAS SOPS 207596 HAS SOUS 189169 HAS SOUPS 189169 WITH SCORE 189376.596
AT ITER 2833 NEW BEST:: SOT 383881 SOS 207578 HAS SOPS 207578 HAS SOUS 189151 HAS SOUPS 189151 WITH SCORE 189358.578
AT ITER 2834 NEW BEST:: SOT 383881 SOS 207577 HAS SOPS 207577 HAS SOUS 189151 HAS SOUPS 189151 WITH SCORE 189358.577
AT ITER 2853 NEW BEST:: SOT 383881 SOS 207570 HAS SOPS 207570 HAS SOUS 189138 HAS SOUPS 189138 WITH SCORE 189345.57
AT ITER 2854 NEW BEST:: SOT 383881 SOS 207539 HAS SOPS 207539 HAS SOUS 189107 HAS SOUPS 189107 WITH SCORE 189314.539
AT ITER 2861 NEW BEST:: SOT 383860 SOS 207428 HAS SOPS 207428 HAS SOUS 189014 HAS SOUPS 189014 WITH SCORE 189221.428
AT ITER 2864 NEW BEST:: SOT 383860 SOS 207138 HAS SOPS 207138 HAS SOUS 189014 HAS SOUPS 189014 WITH SCORE 189221.138
AT ITER 2866 NEW BEST:: SOT 383860 SOS 207101 HAS SOPS 207101 HAS SOUS 189014 HAS SOUPS 189014 WITH SCORE 189221.101
AT ITER 2881 NEW BEST:: SOT 383860 SOS 207077 HAS SOPS 207077 HAS SOUS 189014 HAS SOUPS 189014 WITH SCORE 189221.077
AT ITER 2884 NEW BEST:: SOT 383371 SOS 208074 HAS SOPS 208074 HAS SOUS 188801 HAS SOUPS 188801 WITH SCORE 189009.074
AT ITER 2902 NEW BEST:: SOT 383371 SOS 208065 HAS SOPS 208065 HAS SOUS 188801 HAS SOUPS 188801 WITH SCORE 189009.065
AT ITER 2910 NEW BEST:: SOT 383371 SOS 207785 HAS SOPS 207785 HAS SOUS 188801 HAS SOUPS 188801 WITH SCORE 189008.785
AT ITER 2920 NEW BEST:: SOT 383371 SOS 207847 HAS SOPS 207847 HAS SOUS 188798 HAS SOUPS 188798 WITH SCORE 189005.847
AT ITER 2930 NEW BEST:: SOT 383371 SOS 207774 HAS SOPS 207774 HAS SOUS 188798 HAS SOUPS 188798 WITH SCORE 189005.774
AT ITER 2931 NEW BEST:: SOT 383371 SOS 207641 HAS SOPS 207641 HAS SOUS 188798 HAS SOUPS 188798 WITH SCORE 189005.641
AT ITER 2945 NEW BEST:: SOT 383361 SOS 207481 HAS SOPS 207481 HAS SOUS 188715 HAS SOUPS 188715 WITH SCORE 188922.481
AT ITER 2946 NEW BEST:: SOT 383254 SOS 207468 HAS SOPS 207468 HAS SOUS 188653 HAS SOUPS 188653 WITH SCORE 188860.468
AT ITER 2948 NEW BEST:: SOT 383252 SOS 207429 HAS SOPS 207429 HAS SOUS 188632 HAS SOUPS 188632 WITH SCORE 188839.429
AT ITER 2958 NEW BEST:: SOT 383252 SOS 207383 HAS SOPS 207383 HAS SOUS 188632 HAS SOUPS 188632 WITH SCORE 188839.383
AT ITER 2963 NEW BEST:: SOT 383252 SOS 207424 HAS SOPS 207424 HAS SOUS 188615 HAS SOUPS 188615 WITH SCORE 188822.424
AT ITER 2968 NEW BEST:: SOT 383252 SOS 207375 HAS SOPS 207375 HAS SOUS 188615 HAS SOUPS 188615 WITH SCORE 188822.375
AT ITER 2971 NEW BEST:: SOT 383304 SOS 204134 HAS SOPS 204134 HAS SOUS 188373 HAS SOUPS 188373 WITH SCORE 188577.134
AT ITER 2973 NEW BEST:: SOT 383171 SOS 204001 HAS SOPS 204001 HAS SOUS 188243 HAS SOUPS 188243 WITH SCORE 188447.001
AT ITER 2985 NEW BEST:: SOT 383171 SOS 203951 HAS SOPS 203951 HAS SOUS 188193 HAS SOUPS 188193 WITH SCORE 188396.951
AT ITER 2994 NEW BEST:: SOT 383171 SOS 203937 HAS SOPS 203937 HAS SOUS 188193 HAS SOUPS 188193 WITH SCORE 188396.937
AT ITER 2998 NEW BEST:: SOT 383171 SOS 203874 HAS SOPS 203874 HAS SOUS 188193 HAS SOUPS 188193 WITH SCORE 188396.874
AT ITER 3003 NEW BEST:: SOT 382917 SOS 203683 HAS SOPS 203683 HAS SOUS 187976 HAS SOUPS 187976 WITH SCORE 188179.683
AT ITER 3005 NEW BEST:: SOT 382917 SOS 203554 HAS SOPS 203554 HAS SOUS 187847 HAS SOUPS 187847 WITH SCORE 188050.554
AT ITER 3006 NEW BEST:: SOT 382917 SOS 203492 HAS SOPS 203492 HAS SOUS 187847 HAS SOUPS 187847 WITH SCORE 188050.492
AT ITER 3010 NEW BEST:: SOT 382917 SOS 203451 HAS SOPS 203451 HAS SOUS 187847 HAS SOUPS 187847 WITH SCORE 188050.451
AT ITER 3013 NEW BEST:: SOT 382917 SOS 203322 HAS SOPS 203322 HAS SOUS 187846 HAS SOUPS 187846 WITH SCORE 188049.322
AT ITER 3025 NEW BEST:: SOT 382917 SOS 203254 HAS SOPS 203254 HAS SOUS 187846 HAS SOUPS 187846 WITH SCORE 188049.254
AT ITER 3028 NEW BEST:: SOT 382917 SOS 203196 HAS SOPS 203196 HAS SOUS 187846 HAS SOUPS 187846 WITH SCORE 188049.196
AT ITER 3029 NEW BEST:: SOT 382902 SOS 203112 HAS SOPS 203112 HAS SOUS 187769 HAS SOUPS 187769 WITH SCORE 187972.112
AT ITER 3043 NEW BEST:: SOT 382536 SOS 203491 HAS SOPS 203491 HAS SOUS 187558 HAS SOUPS 187558 WITH SCORE 187761.491
AT ITER 3046 NEW BEST:: SOT 382536 SOS 203479 HAS SOPS 203479 HAS SOUS 187558 HAS SOUPS 187558 WITH SCORE 187761.479
AT ITER 3057 NEW BEST:: SOT 382536 SOS 203408 HAS SOPS 203408 HAS SOUS 187558 HAS SOUPS 187558 WITH SCORE 187761.408
AT ITER 3066 NEW BEST:: SOT 382536 SOS 203326 HAS SOPS 203326 HAS SOUS 187535 HAS SOUPS 187535 WITH SCORE 187738.326
AT ITER 3080 NEW BEST:: SOT 382536 SOS 203283 HAS SOPS 203283 HAS SOUS 187535 HAS SOUPS 187535 WITH SCORE 187738.283
AT ITER 3084 NEW BEST:: SOT 382538 SOS 203364 HAS SOPS 203364 HAS SOUS 187510 HAS SOUPS 187510 WITH SCORE 187713.364
AT ITER 3085 NEW BEST:: SOT 382538 SOS 203298 HAS SOPS 203298 HAS SOUS 187510 HAS SOUPS 187510 WITH SCORE 187713.298
AT ITER 3092 NEW BEST:: SOT 382499 SOS 203206 HAS SOPS 203206 HAS SOUS 187394 HAS SOUPS 187394 WITH SCORE 187597.206
AT ITER 3112 NEW BEST:: SOT 382531 SOS 203141 HAS SOPS 203141 HAS SOUS 187323 HAS SOUPS 187323 WITH SCORE 187526.141
AT ITER 3113 NEW BEST:: SOT 382526 SOS 203136 HAS SOPS 203136 HAS SOUS 187318 HAS SOUPS 187318 WITH SCORE 187521.136
AT ITER 3119 NEW BEST:: SOT 382593 SOS 202983 HAS SOPS 202983 HAS SOUS 187277 HAS SOUPS 187277 WITH SCORE 187479.983
AT ITER 3122 NEW BEST:: SOT 382602 SOS 202882 HAS SOPS 202882 HAS SOUS 187254 HAS SOUPS 187254 WITH SCORE 187456.882
AT ITER 3132 NEW BEST:: SOT 382602 SOS 202801 HAS SOPS 202801 HAS SOUS 187173 HAS SOUPS 187173 WITH SCORE 187375.801
AT ITER 3142 NEW BEST:: SOT 382602 SOS 202865 HAS SOPS 202865 HAS SOUS 187023 HAS SOUPS 187023 WITH SCORE 187225.865
AT ITER 3159 NEW BEST:: SOT 382602 SOS 202608 HAS SOPS 202608 HAS SOUS 186926 HAS SOUPS 186926 WITH SCORE 187128.608
AT ITER 3160 NEW BEST:: SOT 382603 SOS 202731 HAS SOPS 202731 HAS SOUS 186897 HAS SOUPS 186897 WITH SCORE 187099.731
AT ITER 3161 NEW BEST:: SOT 382568 SOS 202519 HAS SOPS 202519 HAS SOUS 186857 HAS SOUPS 186857 WITH SCORE 187059.519
AT ITER 3177 NEW BEST:: SOT 382568 SOS 202276 HAS SOPS 202276 HAS SOUS 186761 HAS SOUPS 186761 WITH SCORE 186963.276
AT ITER 3178 NEW BEST:: SOT 382540 SOS 202232 HAS SOPS 202232 HAS SOUS 186733 HAS SOUPS 186733 WITH SCORE 186935.232
AT ITER 3179 NEW BEST:: SOT 382540 SOS 201209 HAS SOPS 201209 HAS SOUS 186715 HAS SOUPS 186715 WITH SCORE 186916.209
AT ITER 3180 NEW BEST:: SOT 382547 SOS 201216 HAS SOPS 201216 HAS SOUS 186712 HAS SOUPS 186712 WITH SCORE 186913.216
AT ITER 3181 NEW BEST:: SOT 382547 SOS 201202 HAS SOPS 201202 HAS SOUS 186698 HAS SOUPS 186698 WITH SCORE 186899.202
AT ITER 3182 NEW BEST:: SOT 382547 SOS 201193 HAS SOPS 201193 HAS SOUS 186692 HAS SOUPS 186692 WITH SCORE 186893.193
AT ITER 3192 NEW BEST:: SOT 382547 SOS 201063 HAS SOPS 201063 HAS SOUS 186689 HAS SOUPS 186689 WITH SCORE 186890.063
AT ITER 3198 NEW BEST:: SOT 382538 SOS 200907 HAS SOPS 200907 HAS SOUS 186631 HAS SOUPS 186631 WITH SCORE 186831.907
AT ITER 3199 NEW BEST:: SOT 382561 SOS 200808 HAS SOPS 200808 HAS SOUS 186621 HAS SOUPS 186621 WITH SCORE 186821.808
AT ITER 3219 NEW BEST:: SOT 382561 SOS 200684 HAS SOPS 200684 HAS SOUS 186621 HAS SOUPS 186621 WITH SCORE 186821.684
AT ITER 3225 NEW BEST:: SOT 382561 SOS 200632 HAS SOPS 200632 HAS SOUS 186605 HAS SOUPS 186605 WITH SCORE 186805.632
AT ITER 3229 NEW BEST:: SOT 382276 SOS 201843 HAS SOPS 201843 HAS SOUS 186511 HAS SOUPS 186511 WITH SCORE 186712.843
AT ITER 3234 NEW BEST:: SOT 382276 SOS 201822 HAS SOPS 201822 HAS SOUS 186511 HAS SOUPS 186511 WITH SCORE 186712.822
AT ITER 3252 NEW BEST:: SOT 382276 SOS 201798 HAS SOPS 201798 HAS SOUS 186511 HAS SOUPS 186511 WITH SCORE 186712.798
AT ITER 3254 NEW BEST:: SOT 382276 SOS 201825 HAS SOPS 201825 HAS SOUS 186477 HAS SOUPS 186477 WITH SCORE 186678.825
AT ITER 3266 NEW BEST:: SOT 382276 SOS 201773 HAS SOPS 201773 HAS SOUS 186344 HAS SOUPS 186344 WITH SCORE 186545.773
AT ITER 3267 NEW BEST:: SOT 382276 SOS 203119 HAS SOPS 203119 HAS SOUS 186341 HAS SOUPS 186341 WITH SCORE 186544.119
AT ITER 3279 NEW BEST:: SOT 382261 SOS 203197 HAS SOPS 203197 HAS SOUS 186309 HAS SOUPS 186309 WITH SCORE 186512.197
AT ITER 3280 NEW BEST:: SOT 382228 SOS 203006 HAS SOPS 203006 HAS SOUS 186287 HAS SOUPS 186287 WITH SCORE 186490.006
AT ITER 3289 NEW BEST:: SOT 382250 SOS 202854 HAS SOPS 202854 HAS SOUS 186238 HAS SOUPS 186238 WITH SCORE 186440.854
AT ITER 3300 NEW BEST:: SOT 382250 SOS 202655 HAS SOPS 202655 HAS SOUS 186238 HAS SOUPS 186238 WITH SCORE 186440.655
AT ITER 3304 NEW BEST:: SOT 382227 SOS 202469 HAS SOPS 202469 HAS SOUS 186214 HAS SOUPS 186214 WITH SCORE 186416.469
AT ITER 3307 NEW BEST:: SOT 382259 SOS 202199 HAS SOPS 202199 HAS SOUS 186202 HAS SOUPS 186202 WITH SCORE 186404.199
AT ITER 3310 NEW BEST:: SOT 382179 SOS 202259 HAS SOPS 202259 HAS SOUS 186157 HAS SOUPS 186157 WITH SCORE 186359.259
AT ITER 3315 NEW BEST:: SOT 382179 SOS 202247 HAS SOPS 202247 HAS SOUS 186157 HAS SOUPS 186157 WITH SCORE 186359.247
AT ITER 3325 NEW BEST:: SOT 382114 SOS 202182 HAS SOPS 202182 HAS SOUS 186089 HAS SOUPS 186089 WITH SCORE 186291.182
AT ITER 3328 NEW BEST:: SOT 381551 SOS 201820 HAS SOPS 201820 HAS SOUS 185947 HAS SOUPS 185947 WITH SCORE 186148.82
AT ITER 3337 NEW BEST:: SOT 381551 SOS 201730 HAS SOPS 201730 HAS SOUS 185906 HAS SOUPS 185906 WITH SCORE 186107.73
AT ITER 3342 NEW BEST:: SOT 381551 SOS 201684 HAS SOPS 201684 HAS SOUS 185799 HAS SOUPS 185799 WITH SCORE 186000.684
AT ITER 3358 NEW BEST:: SOT 381551 SOS 201652 HAS SOPS 201652 HAS SOUS 185792 HAS SOUPS 185792 WITH SCORE 185993.652
AT ITER 3361 NEW BEST:: SOT 381581 SOS 201682 HAS SOPS 201682 HAS SOUS 185786 HAS SOUPS 185786 WITH SCORE 185987.682
AT ITER 3364 NEW BEST:: SOT 381527 SOS 201628 HAS SOPS 201628 HAS SOUS 185733 HAS SOUPS 185733 WITH SCORE 185934.628
AT ITER 3392 NEW BEST:: SOT 381527 SOS 201628 HAS SOPS 201628 HAS SOUS 185725 HAS SOUPS 185725 WITH SCORE 185926.628
AT ITER 3394 NEW BEST:: SOT 381527 SOS 201623 HAS SOPS 201623 HAS SOUS 185720 HAS SOUPS 185720 WITH SCORE 185921.623
AT ITER 3396 NEW BEST:: SOT 381527 SOS 201570 HAS SOPS 201570 HAS SOUS 185720 HAS SOUPS 185720 WITH SCORE 185921.57
AT ITER 3397 NEW BEST:: SOT 381518 SOS 201574 HAS SOPS 201574 HAS SOUS 185692 HAS SOUPS 185692 WITH SCORE 185893.574
AT ITER 3400 NEW BEST:: SOT 381506 SOS 201562 HAS SOPS 201562 HAS SOUS 185680 HAS SOUPS 185680 WITH SCORE 185881.562
AT ITER 3403 NEW BEST:: SOT 381506 SOS 201514 HAS SOPS 201514 HAS SOUS 185657 HAS SOUPS 185657 WITH SCORE 185858.514
AT ITER 3407 NEW BEST:: SOT 381506 SOS 201433 HAS SOPS 201433 HAS SOUS 185657 HAS SOUPS 185657 WITH SCORE 185858.433
AT ITER 3408 NEW BEST:: SOT 381451 SOS 201378 HAS SOPS 201378 HAS SOUS 185632 HAS SOUPS 185632 WITH SCORE 185833.378
AT ITER 3428 NEW BEST:: SOT 381281 SOS 201254 HAS SOPS 201254 HAS SOUS 185579 HAS SOUPS 185579 WITH SCORE 185780.254
AT ITER 3437 NEW BEST:: SOT 381281 SOS 201396 HAS SOPS 201396 HAS SOUS 185543 HAS SOUPS 185543 WITH SCORE 185744.396
AT ITER 3439 NEW BEST:: SOT 381281 SOS 201395 HAS SOPS 201395 HAS SOUS 185543 HAS SOUPS 185543 WITH SCORE 185744.395
AT ITER 3448 NEW BEST:: SOT 381281 SOS 201387 HAS SOPS 201387 HAS SOUS 185543 HAS SOUPS 185543 WITH SCORE 185744.387
AT ITER 3450 NEW BEST:: SOT 381182 SOS 201288 HAS SOPS 201288 HAS SOUS 185405 HAS SOUPS 185405 WITH SCORE 185606.288
AT ITER 3476 NEW BEST:: SOT 381044 SOS 201114 HAS SOPS 201114 HAS SOUS 185198 HAS SOUPS 185198 WITH SCORE 185399.114
AT ITER 3477 NEW BEST:: SOT 380991 SOS 201075 HAS SOPS 201075 HAS SOUS 185163 HAS SOUPS 185163 WITH SCORE 185364.075
AT ITER 3501 NEW BEST:: SOT 381006 SOS 201121 HAS SOPS 201121 HAS SOUS 185162 HAS SOUPS 185162 WITH SCORE 185363.121
AT ITER 3503 NEW BEST:: SOT 381007 SOS 201184 HAS SOPS 201184 HAS SOUS 185156 HAS SOUPS 185156 WITH SCORE 185357.184
AT ITER 3509 NEW BEST:: SOT 381007 SOS 199992 HAS SOPS 199992 HAS SOUS 185156 HAS SOUPS 185156 WITH SCORE 185355.992
AT ITER 3512 NEW BEST:: SOT 381007 SOS 199937 HAS SOPS 199937 HAS SOUS 185101 HAS SOUPS 185101 WITH SCORE 185300.937
AT ITER 3514 NEW BEST:: SOT 381007 SOS 199849 HAS SOPS 199849 HAS SOUS 185089 HAS SOUPS 185089 WITH SCORE 185288.849
AT ITER 3526 NEW BEST:: SOT 381007 SOS 199775 HAS SOPS 199775 HAS SOUS 185089 HAS SOUPS 185089 WITH SCORE 185288.775
AT ITER 3531 NEW BEST:: SOT 381007 SOS 199868 HAS SOPS 199868 HAS SOUS 185085 HAS SOUPS 185085 WITH SCORE 185284.868
AT ITER 3533 NEW BEST:: SOT 381004 SOS 199865 HAS SOPS 199865 HAS SOUS 185055 HAS SOUPS 185055 WITH SCORE 185254.865
AT ITER 3534 NEW BEST:: SOT 380224 SOS 201155 HAS SOPS 201155 HAS SOUS 184501 HAS SOUPS 184501 WITH SCORE 184702.155
AT ITER 3540 NEW BEST:: SOT 380224 SOS 201211 HAS SOPS 201211 HAS SOUS 184495 HAS SOUPS 184495 WITH SCORE 184696.211
AT ITER 3541 NEW BEST:: SOT 380224 SOS 201155 HAS SOPS 201155 HAS SOUS 184495 HAS SOUPS 184495 WITH SCORE 184696.155
AT ITER 3543 NEW BEST:: SOT 380224 SOS 201088 HAS SOPS 201088 HAS SOUS 184487 HAS SOUPS 184487 WITH SCORE 184688.088
AT ITER 3549 NEW BEST:: SOT 380224 SOS 201057 HAS SOPS 201057 HAS SOUS 184456 HAS SOUPS 184456 WITH SCORE 184657.057
AT ITER 3555 NEW BEST:: SOT 380224 SOS 200962 HAS SOPS 200962 HAS SOUS 184456 HAS SOUPS 184456 WITH SCORE 184656.962
AT ITER 3559 NEW BEST:: SOT 380191 SOS 200939 HAS SOPS 200939 HAS SOUS 184433 HAS SOUPS 184433 WITH SCORE 184633.939
AT ITER 3562 NEW BEST:: SOT 380191 SOS 200934 HAS SOPS 200934 HAS SOUS 184433 HAS SOUPS 184433 WITH SCORE 184633.934
AT ITER 3585 NEW BEST:: SOT 380191 SOS 200859 HAS SOPS 200859 HAS SOUS 184433 HAS SOUPS 184433 WITH SCORE 184633.859
AT ITER 3587 NEW BEST:: SOT 380191 SOS 200849 HAS SOPS 200849 HAS SOUS 184430 HAS SOUPS 184430 WITH SCORE 184630.849
AT ITER 3592 NEW BEST:: SOT 380191 SOS 200813 HAS SOPS 200813 HAS SOUS 184430 HAS SOUPS 184430 WITH SCORE 184630.813
AT ITER 3618 NEW BEST:: SOT 380191 SOS 200610 HAS SOPS 200610 HAS SOUS 184430 HAS SOUPS 184430 WITH SCORE 184630.61
AT ITER 3624 NEW BEST:: SOT 380191 SOS 200567 HAS SOPS 200567 HAS SOUS 184430 HAS SOUPS 184430 WITH SCORE 184630.567
AT ITER 3632 NEW BEST:: SOT 380191 SOS 200438 HAS SOPS 200438 HAS SOUS 184430 HAS SOUPS 184430 WITH SCORE 184630.438
AT ITER 3637 NEW BEST:: SOT 380176 SOS 200349 HAS SOPS 200349 HAS SOUS 184397 HAS SOUPS 184397 WITH SCORE 184597.349
AT ITER 3647 NEW BEST:: SOT 380176 SOS 200328 HAS SOPS 200328 HAS SOUS 184397 HAS SOUPS 184397 WITH SCORE 184597.328
AT ITER 3653 NEW BEST:: SOT 380176 SOS 200387 HAS SOPS 200387 HAS SOUS 184373 HAS SOUPS 184373 WITH SCORE 184573.387
AT ITER 3673 NEW BEST:: SOT 380148 SOS 200359 HAS SOPS 200359 HAS SOUS 184356 HAS SOUPS 184356 WITH SCORE 184556.359
AT ITER 3693 NEW BEST:: SOT 380148 SOS 200345 HAS SOPS 200345 HAS SOUS 184335 HAS SOUPS 184335 WITH SCORE 184535.345
AT ITER 3703 NEW BEST:: SOT 380148 SOS 200365 HAS SOPS 200365 HAS SOUS 184325 HAS SOUPS 184325 WITH SCORE 184525.365
AT ITER 3713 NEW BEST:: SOT 380148 SOS 200317 HAS SOPS 200317 HAS SOUS 184325 HAS SOUPS 184325 WITH SCORE 184525.317
AT ITER 3718 NEW BEST:: SOT 380148 SOS 200257 HAS SOPS 200257 HAS SOUS 184325 HAS SOUPS 184325 WITH SCORE 184525.257
AT ITER 3721 NEW BEST:: SOT 379361 SOS 203152 HAS SOPS 203152 HAS SOUS 184243 HAS SOUPS 184243 WITH SCORE 184446.152
AT ITER 3727 NEW BEST:: SOT 379361 SOS 203119 HAS SOPS 203119 HAS SOUS 184239 HAS SOUPS 184239 WITH SCORE 184442.119
AT ITER 3734 NEW BEST:: SOT 379361 SOS 203017 HAS SOPS 203017 HAS SOUS 184223 HAS SOUPS 184223 WITH SCORE 184426.017
AT ITER 3737 NEW BEST:: SOT 379361 SOS 203002 HAS SOPS 203002 HAS SOUS 184208 HAS SOUPS 184208 WITH SCORE 184411.002
AT ITER 3739 NEW BEST:: SOT 378438 SOS 202220 HAS SOPS 202220 HAS SOUS 183849 HAS SOUPS 183849 WITH SCORE 184051.22
AT ITER 3740 NEW BEST:: SOT 378416 SOS 202209 HAS SOPS 202209 HAS SOUS 183845 HAS SOUPS 183845 WITH SCORE 184047.209
AT ITER 3759 NEW BEST:: SOT 378253 SOS 202056 HAS SOPS 202056 HAS SOUS 183779 HAS SOUPS 183779 WITH SCORE 183981.056
AT ITER 3763 NEW BEST:: SOT 378253 SOS 202025 HAS SOPS 202025 HAS SOUS 183748 HAS SOUPS 183748 WITH SCORE 183950.025
AT ITER 3771 NEW BEST:: SOT 378253 SOS 202012 HAS SOPS 202012 HAS SOUS 183748 HAS SOUPS 183748 WITH SCORE 183950.012
AT ITER 3776 NEW BEST:: SOT 378253 SOS 201980 HAS SOPS 201980 HAS SOUS 183748 HAS SOUPS 183748 WITH SCORE 183949.98
AT ITER 3777 NEW BEST:: SOT 378253 SOS 201980 HAS SOPS 201980 HAS SOUS 183705 HAS SOUPS 183705 WITH SCORE 183906.98
AT ITER 3778 NEW BEST:: SOT 378145 SOS 201956 HAS SOPS 201956 HAS SOUS 183579 HAS SOUPS 183579 WITH SCORE 183780.956
AT ITER 3782 NEW BEST:: SOT 378145 SOS 201882 HAS SOPS 201882 HAS SOUS 183579 HAS SOUPS 183579 WITH SCORE 183780.882
AT ITER 3795 NEW BEST:: SOT 378145 SOS 202597 HAS SOPS 202597 HAS SOUS 183551 HAS SOUPS 183551 WITH SCORE 183753.597
AT ITER 3805 NEW BEST:: SOT 378145 SOS 202504 HAS SOPS 202504 HAS SOUS 183551 HAS SOUPS 183551 WITH SCORE 183753.504
AT ITER 3815 NEW BEST:: SOT 378117 SOS 202476 HAS SOPS 202476 HAS SOUS 183500 HAS SOUPS 183500 WITH SCORE 183702.476
AT ITER 3817 NEW BEST:: SOT 378117 SOS 202337 HAS SOPS 202337 HAS SOUS 183500 HAS SOUPS 183500 WITH SCORE 183702.337
AT ITER 3825 NEW BEST:: SOT 378026 SOS 202228 HAS SOPS 202228 HAS SOUS 183493 HAS SOUPS 183493 WITH SCORE 183695.228
AT ITER 3842 NEW BEST:: SOT 377981 SOS 202094 HAS SOPS 202094 HAS SOUS 183283 HAS SOUPS 183283 WITH SCORE 183485.094
AT ITER 3845 NEW BEST:: SOT 377902 SOS 201963 HAS SOPS 201963 HAS SOUS 183187 HAS SOUPS 183187 WITH SCORE 183388.963
AT ITER 3846 NEW BEST:: SOT 377902 SOS 201958 HAS SOPS 201958 HAS SOUS 183187 HAS SOUPS 183187 WITH SCORE 183388.958
AT ITER 3854 NEW BEST:: SOT 377894 SOS 201950 HAS SOPS 201950 HAS SOUS 183179 HAS SOUPS 183179 WITH SCORE 183380.95
AT ITER 3866 NEW BEST:: SOT 377894 SOS 201912 HAS SOPS 201912 HAS SOUS 183179 HAS SOUPS 183179 WITH SCORE 183380.912
AT ITER 3872 NEW BEST:: SOT 377907 SOS 201925 HAS SOPS 201925 HAS SOUS 183160 HAS SOUPS 183160 WITH SCORE 183361.925
AT ITER 3893 NEW BEST:: SOT 377907 SOS 201712 HAS SOPS 201712 HAS SOUS 183160 HAS SOUPS 183160 WITH SCORE 183361.712
AT ITER 3900 NEW BEST:: SOT 377906 SOS 201783 HAS SOPS 201783 HAS SOUS 183159 HAS SOUPS 183159 WITH SCORE 183360.783
AT ITER 3920 NEW BEST:: SOT 377865 SOS 201778 HAS SOPS 201778 HAS SOUS 183128 HAS SOUPS 183128 WITH SCORE 183329.778
AT ITER 3921 NEW BEST:: SOT 377865 SOS 201764 HAS SOPS 201764 HAS SOUS 183114 HAS SOUPS 183114 WITH SCORE 183315.764
AT ITER 3926 NEW BEST:: SOT 377865 SOS 201692 HAS SOPS 201692 HAS SOUS 183042 HAS SOUPS 183042 WITH SCORE 183243.692
AT ITER 3935 NEW BEST:: SOT 377865 SOS 201685 HAS SOPS 201685 HAS SOUS 183035 HAS SOUPS 183035 WITH SCORE 183236.685
AT ITER 3939 NEW BEST:: SOT 377865 SOS 201679 HAS SOPS 201679 HAS SOUS 183035 HAS SOUPS 183035 WITH SCORE 183236.679
AT ITER 3941 NEW BEST:: SOT 377841 SOS 201655 HAS SOPS 201655 HAS SOUS 183017 HAS SOUPS 183017 WITH SCORE 183218.655
AT ITER 3942 NEW BEST:: SOT 377841 SOS 201641 HAS SOPS 201641 HAS SOUS 183017 HAS SOUPS 183017 WITH SCORE 183218.641
AT ITER 3943 NEW BEST:: SOT 377815 SOS 201615 HAS SOPS 201615 HAS SOUS 182991 HAS SOUPS 182991 WITH SCORE 183192.615
AT ITER 3945 NEW BEST:: SOT 377815 SOS 201605 HAS SOPS 201605 HAS SOUS 182991 HAS SOUPS 182991 WITH SCORE 183192.605
AT ITER 3961 NEW BEST:: SOT 377805 SOS 201525 HAS SOPS 201525 HAS SOUS 182969 HAS SOUPS 182969 WITH SCORE 183170.525
AT ITER 3963 NEW BEST:: SOT 377805 SOS 201511 HAS SOPS 201511 HAS SOUS 182961 HAS SOUPS 182961 WITH SCORE 183162.511
AT ITER 3982 NEW BEST:: SOT 377805 SOS 201480 HAS SOPS 201480 HAS SOUS 182931 HAS SOUPS 182931 WITH SCORE 183132.48
AT ITER 4001 NEW BEST:: SOT 377770 SOS 201519 HAS SOPS 201519 HAS SOUS 182910 HAS SOUPS 182910 WITH SCORE 183111.519
AT ITER 4017 NEW BEST:: SOT 377770 SOS 201511 HAS SOPS 201511 HAS SOUS 182910 HAS SOUPS 182910 WITH SCORE 183111.511
AT ITER 4022 NEW BEST:: SOT 377770 SOS 201511 HAS SOPS 201511 HAS SOUS 182902 HAS SOUPS 182902 WITH SCORE 183103.511
AT ITER 4033 NEW BEST:: SOT 377190 SOS 201347 HAS SOPS 201347 HAS SOUS 182775 HAS SOUPS 182775 WITH SCORE 182976.347
AT ITER 4037 NEW BEST:: SOT 377023 SOS 203219 HAS SOPS 203219 HAS SOUS 182772 HAS SOUPS 182772 WITH SCORE 182975.219
AT ITER 4050 NEW BEST:: SOT 376978 SOS 203174 HAS SOPS 203174 HAS SOUS 182729 HAS SOUPS 182729 WITH SCORE 182932.174
AT ITER 4053 NEW BEST:: SOT 376920 SOS 203255 HAS SOPS 203255 HAS SOUS 182671 HAS SOUPS 182671 WITH SCORE 182874.255
AT ITER 4060 NEW BEST:: SOT 376766 SOS 203123 HAS SOPS 203123 HAS SOUS 182633 HAS SOUPS 182633 WITH SCORE 182836.123
AT ITER 4066 NEW BEST:: SOT 376747 SOS 203078 HAS SOPS 203078 HAS SOUS 182629 HAS SOUPS 182629 WITH SCORE 182832.078
AT ITER 4071 NEW BEST:: SOT 376585 SOS 202916 HAS SOPS 202916 HAS SOUS 182467 HAS SOUPS 182467 WITH SCORE 182669.916
AT ITER 4078 NEW BEST:: SOT 376585 SOS 202892 HAS SOPS 202892 HAS SOUS 182443 HAS SOUPS 182443 WITH SCORE 182645.892
AT ITER 4082 NEW BEST:: SOT 376585 SOS 202821 HAS SOPS 202821 HAS SOUS 182443 HAS SOUPS 182443 WITH SCORE 182645.821
AT ITER 4092 NEW BEST:: SOT 376599 SOS 202807 HAS SOPS 202807 HAS SOUS 182439 HAS SOUPS 182439 WITH SCORE 182641.807
AT ITER 4109 NEW BEST:: SOT 376599 SOS 202702 HAS SOPS 202702 HAS SOUS 182439 HAS SOUPS 182439 WITH SCORE 182641.702
AT ITER 4160 NEW BEST:: SOT 376595 SOS 202698 HAS SOPS 202698 HAS SOUS 182435 HAS SOUPS 182435 WITH SCORE 182637.698
AT ITER 4166 NEW BEST:: SOT 376595 SOS 202592 HAS SOPS 202592 HAS SOUS 182396 HAS SOUPS 182396 WITH SCORE 182598.592
AT ITER 4172 NEW BEST:: SOT 376639 SOS 202503 HAS SOPS 202503 HAS SOUS 182391 HAS SOUPS 182391 WITH SCORE 182593.503
AT ITER 4191 NEW BEST:: SOT 376619 SOS 202458 HAS SOPS 202458 HAS SOUS 182375 HAS SOUPS 182375 WITH SCORE 182577.458
AT ITER 4201 NEW BEST:: SOT 376127 SOS 202858 HAS SOPS 202858 HAS SOUS 182190 HAS SOUPS 182190 WITH SCORE 182392.858
AT ITER 4211 NEW BEST:: SOT 376119 SOS 202933 HAS SOPS 202933 HAS SOUS 182180 HAS SOUPS 182180 WITH SCORE 182382.933
AT ITER 4214 NEW BEST:: SOT 375992 SOS 202811 HAS SOPS 202811 HAS SOUS 182123 HAS SOUPS 182123 WITH SCORE 182325.811
AT ITER 4215 NEW BEST:: SOT 376003 SOS 202720 HAS SOPS 202720 HAS SOUS 182118 HAS SOUPS 182118 WITH SCORE 182320.72
AT ITER 4220 NEW BEST:: SOT 375984 SOS 202678 HAS SOPS 202678 HAS SOUS 182041 HAS SOUPS 182041 WITH SCORE 182243.678
AT ITER 4222 NEW BEST:: SOT 375955 SOS 202757 HAS SOPS 202757 HAS SOUS 182031 HAS SOUPS 182031 WITH SCORE 182233.757
AT ITER 4225 NEW BEST:: SOT 375948 SOS 202772 HAS SOPS 202772 HAS SOUS 182030 HAS SOUPS 182030 WITH SCORE 182232.772
AT ITER 4229 NEW BEST:: SOT 375948 SOS 202747 HAS SOPS 202747 HAS SOUS 182030 HAS SOUPS 182030 WITH SCORE 182232.747
AT ITER 4230 NEW BEST:: SOT 375948 SOS 202684 HAS SOPS 202684 HAS SOUS 182030 HAS SOUPS 182030 WITH SCORE 182232.684
AT ITER 4232 NEW BEST:: SOT 375948 SOS 200431 HAS SOPS 200431 HAS SOUS 181970 HAS SOUPS 181970 WITH SCORE 182170.431
AT ITER 4236 NEW BEST:: SOT 375948 SOS 200423 HAS SOPS 200423 HAS SOUS 181970 HAS SOUPS 181970 WITH SCORE 182170.423
AT ITER 4239 NEW BEST:: SOT 375876 SOS 200351 HAS SOPS 200351 HAS SOUS 181957 HAS SOUPS 181957 WITH SCORE 182157.351
AT ITER 4248 NEW BEST:: SOT 375876 SOS 200345 HAS SOPS 200345 HAS SOUS 181951 HAS SOUPS 181951 WITH SCORE 182151.345
AT ITER 4249 NEW BEST:: SOT 375876 SOS 200266 HAS SOPS 200266 HAS SOUS 181951 HAS SOUPS 181951 WITH SCORE 182151.266
AT ITER 4276 NEW BEST:: SOT 375876 SOS 199944 HAS SOPS 199944 HAS SOUS 181929 HAS SOUPS 181929 WITH SCORE 182128.944
AT ITER 4281 NEW BEST:: SOT 375788 SOS 199856 HAS SOPS 199856 HAS SOUS 181841 HAS SOUPS 181841 WITH SCORE 182040.856
AT ITER 4283 NEW BEST:: SOT 375788 SOS 199829 HAS SOPS 199829 HAS SOUS 181841 HAS SOUPS 181841 WITH SCORE 182040.829
AT ITER 4284 NEW BEST:: SOT 375788 SOS 199712 HAS SOPS 199712 HAS SOUS 181830 HAS SOUPS 181830 WITH SCORE 182029.712
AT ITER 4304 NEW BEST:: SOT 375522 SOS 199455 HAS SOPS 199455 HAS SOUS 181613 HAS SOUPS 181613 WITH SCORE 181812.455
AT ITER 4313 NEW BEST:: SOT 375522 SOS 199363 HAS SOPS 199363 HAS SOUS 181613 HAS SOUPS 181613 WITH SCORE 181812.363
AT ITER 4319 NEW BEST:: SOT 375479 SOS 199292 HAS SOPS 199292 HAS SOUS 181526 HAS SOUPS 181526 WITH SCORE 181725.292
AT ITER 4343 NEW BEST:: SOT 375479 SOS 199288 HAS SOPS 199288 HAS SOUS 181526 HAS SOUPS 181526 WITH SCORE 181725.288
AT ITER 4357 NEW BEST:: SOT 375479 SOS 199237 HAS SOPS 199237 HAS SOUS 181526 HAS SOUPS 181526 WITH SCORE 181725.237
AT ITER 4368 NEW BEST:: SOT 375479 SOS 199227 HAS SOPS 199227 HAS SOUS 181526 HAS SOUPS 181526 WITH SCORE 181725.227
AT ITER 4375 NEW BEST:: SOT 375479 SOS 199168 HAS SOPS 199168 HAS SOUS 181526 HAS SOUPS 181526 WITH SCORE 181725.168
AT ITER 4384 NEW BEST:: SOT 375479 SOS 199233 HAS SOPS 199233 HAS SOUS 181518 HAS SOUPS 181518 WITH SCORE 181717.233
AT ITER 4387 NEW BEST:: SOT 375479 SOS 199233 HAS SOPS 199233 HAS SOUS 181500 HAS SOUPS 181500 WITH SCORE 181699.233
AT ITER 4402 NEW BEST:: SOT 374570 SOS 201144 HAS SOPS 201144 HAS SOUS 181472 HAS SOUPS 181472 WITH SCORE 181673.144
AT ITER 4405 NEW BEST:: SOT 374570 SOS 201134 HAS SOPS 201134 HAS SOUS 181462 HAS SOUPS 181462 WITH SCORE 181663.134
AT ITER 4419 NEW BEST:: SOT 374566 SOS 201313 HAS SOPS 201313 HAS SOUS 181431 HAS SOUPS 181431 WITH SCORE 181632.313
AT ITER 4421 NEW BEST:: SOT 374562 SOS 201309 HAS SOPS 201309 HAS SOUS 181428 HAS SOUPS 181428 WITH SCORE 181629.309
AT ITER 4425 NEW BEST:: SOT 374562 SOS 201306 HAS SOPS 201306 HAS SOUS 181428 HAS SOUPS 181428 WITH SCORE 181629.306
AT ITER 4428 NEW BEST:: SOT 374562 SOS 201230 HAS SOPS 201230 HAS SOUS 181424 HAS SOUPS 181424 WITH SCORE 181625.23
AT ITER 4444 NEW BEST:: SOT 374543 SOS 201211 HAS SOPS 201211 HAS SOUS 181405 HAS SOUPS 181405 WITH SCORE 181606.211
AT ITER 4461 NEW BEST:: SOT 374543 SOS 201210 HAS SOPS 201210 HAS SOUS 181405 HAS SOUPS 181405 WITH SCORE 181606.21
AT ITER 4477 NEW BEST:: SOT 374543 SOS 201179 HAS SOPS 201179 HAS SOUS 181405 HAS SOUPS 181405 WITH SCORE 181606.179
AT ITER 4481 NEW BEST:: SOT 374543 SOS 201123 HAS SOPS 201123 HAS SOUS 181405 HAS SOUPS 181405 WITH SCORE 181606.123
AT ITER 4483 NEW BEST:: SOT 374543 SOS 201100 HAS SOPS 201100 HAS SOUS 181399 HAS SOUPS 181399 WITH SCORE 181600.1
AT ITER 4485 NEW BEST:: SOT 374528 SOS 201160 HAS SOPS 201160 HAS SOUS 181384 HAS SOUPS 181384 WITH SCORE 181585.16
AT ITER 4490 NEW BEST:: SOT 374511 SOS 201143 HAS SOPS 201143 HAS SOUS 181367 HAS SOUPS 181367 WITH SCORE 181568.143
AT ITER 4491 NEW BEST:: SOT 374473 SOS 201105 HAS SOPS 201105 HAS SOUS 181329 HAS SOUPS 181329 WITH SCORE 181530.105
AT ITER 4495 NEW BEST:: SOT 374202 SOS 203243 HAS SOPS 203243 HAS SOUS 181187 HAS SOUPS 181187 WITH SCORE 181390.243
AT ITER 4496 NEW BEST:: SOT 374269 SOS 203343 HAS SOPS 203343 HAS SOUS 181181 HAS SOUPS 181181 WITH SCORE 181384.343
AT ITER 4503 NEW BEST:: SOT 374224 SOS 203276 HAS SOPS 203276 HAS SOUS 181092 HAS SOUPS 181092 WITH SCORE 181295.276
AT ITER 4504 NEW BEST:: SOT 374224 SOS 203126 HAS SOPS 203126 HAS SOUS 181009 HAS SOUPS 181009 WITH SCORE 181212.126
AT ITER 4512 NEW BEST:: SOT 374208 SOS 203122 HAS SOPS 203122 HAS SOUS 180998 HAS SOUPS 180998 WITH SCORE 181201.122
AT ITER 4535 NEW BEST:: SOT 374204 SOS 203118 HAS SOPS 203118 HAS SOUS 180994 HAS SOUPS 180994 WITH SCORE 181197.118
AT ITER 4536 NEW BEST:: SOT 374204 SOS 202371 HAS SOPS 202371 HAS SOUS 180931 HAS SOUPS 180931 WITH SCORE 181133.371
AT ITER 4542 NEW BEST:: SOT 374157 SOS 202286 HAS SOPS 202286 HAS SOUS 180869 HAS SOUPS 180869 WITH SCORE 181071.286
AT ITER 4547 NEW BEST:: SOT 374157 SOS 202126 HAS SOPS 202126 HAS SOUS 180869 HAS SOUPS 180869 WITH SCORE 181071.126
AT ITER 4548 NEW BEST:: SOT 374157 SOS 201994 HAS SOPS 201994 HAS SOUS 180869 HAS SOUPS 180869 WITH SCORE 181070.994
AT ITER 4564 NEW BEST:: SOT 374157 SOS 201877 HAS SOPS 201877 HAS SOUS 180869 HAS SOUPS 180869 WITH SCORE 181070.877
AT ITER 4565 NEW BEST:: SOT 374157 SOS 201794 HAS SOPS 201794 HAS SOUS 180869 HAS SOUPS 180869 WITH SCORE 181070.794
AT ITER 4572 NEW BEST:: SOT 374140 SOS 201777 HAS SOPS 201777 HAS SOUS 180852 HAS SOUPS 180852 WITH SCORE 181053.777
AT ITER 4574 NEW BEST:: SOT 374140 SOS 201822 HAS SOPS 201822 HAS SOUS 180841 HAS SOUPS 180841 WITH SCORE 181042.822
AT ITER 4578 NEW BEST:: SOT 374130 SOS 201600 HAS SOPS 201600 HAS SOUS 180794 HAS SOUPS 180794 WITH SCORE 180995.6
AT ITER 4583 NEW BEST:: SOT 374146 SOS 201407 HAS SOPS 201407 HAS SOUS 180780 HAS SOUPS 180780 WITH SCORE 180981.407
AT ITER 4602 NEW BEST:: SOT 374236 SOS 201415 HAS SOPS 201415 HAS SOUS 180731 HAS SOUPS 180731 WITH SCORE 180932.415
AT ITER 4603 NEW BEST:: SOT 374230 SOS 201395 HAS SOPS 201395 HAS SOUS 180710 HAS SOUPS 180710 WITH SCORE 180911.395
AT ITER 4605 NEW BEST:: SOT 374230 SOS 201340 HAS SOPS 201340 HAS SOUS 180710 HAS SOUPS 180710 WITH SCORE 180911.34
AT ITER 4613 NEW BEST:: SOT 374230 SOS 201302 HAS SOPS 201302 HAS SOUS 180710 HAS SOUPS 180710 WITH SCORE 180911.302
AT ITER 4615 NEW BEST:: SOT 374230 SOS 201158 HAS SOPS 201158 HAS SOUS 180710 HAS SOUPS 180710 WITH SCORE 180911.158
AT ITER 4618 NEW BEST:: SOT 374189 SOS 201110 HAS SOPS 201110 HAS SOUS 180699 HAS SOUPS 180699 WITH SCORE 180900.11
AT ITER 4619 NEW BEST:: SOT 374189 SOS 200925 HAS SOPS 200925 HAS SOUS 180687 HAS SOUPS 180687 WITH SCORE 180887.925
AT ITER 4622 NEW BEST:: SOT 374189 SOS 200914 HAS SOPS 200914 HAS SOUS 180687 HAS SOUPS 180687 WITH SCORE 180887.914
AT ITER 4637 NEW BEST:: SOT 374189 SOS 200869 HAS SOPS 200869 HAS SOUS 180642 HAS SOUPS 180642 WITH SCORE 180842.869
AT ITER 4649 NEW BEST:: SOT 374167 SOS 200628 HAS SOPS 200628 HAS SOUS 180611 HAS SOUPS 180611 WITH SCORE 180811.628
AT ITER 4656 NEW BEST:: SOT 374167 SOS 200680 HAS SOPS 200680 HAS SOUS 180607 HAS SOUPS 180607 WITH SCORE 180807.68
AT ITER 4668 NEW BEST:: SOT 374167 SOS 200636 HAS SOPS 200636 HAS SOUS 180594 HAS SOUPS 180594 WITH SCORE 180794.636
AT ITER 4669 NEW BEST:: SOT 374167 SOS 200636 HAS SOPS 200636 HAS SOUS 180585 HAS SOUPS 180585 WITH SCORE 180785.636
AT ITER 4686 NEW BEST:: SOT 374167 SOS 200011 HAS SOPS 200011 HAS SOUS 180579 HAS SOUPS 180579 WITH SCORE 180779.011
AT ITER 4703 NEW BEST:: SOT 374167 SOS 200011 HAS SOPS 200011 HAS SOUS 180547 HAS SOUPS 180547 WITH SCORE 180747.011
AT ITER 4705 NEW BEST:: SOT 374167 SOS 199968 HAS SOPS 199968 HAS SOUS 180547 HAS SOUPS 180547 WITH SCORE 180746.968
AT ITER 4708 NEW BEST:: SOT 374167 SOS 199895 HAS SOPS 199895 HAS SOUS 180547 HAS SOUPS 180547 WITH SCORE 180746.895
AT ITER 4731 NEW BEST:: SOT 374097 SOS 199825 HAS SOPS 199825 HAS SOUS 180502 HAS SOUPS 180502 WITH SCORE 180701.825
AT ITER 4736 NEW BEST:: SOT 374097 SOS 199823 HAS SOPS 199823 HAS SOUS 180502 HAS SOUPS 180502 WITH SCORE 180701.823
AT ITER 4759 NEW BEST:: SOT 374097 SOS 199806 HAS SOPS 199806 HAS SOUS 180500 HAS SOUPS 180500 WITH SCORE 180699.806
AT ITER 4766 NEW BEST:: SOT 374097 SOS 199774 HAS SOPS 199774 HAS SOUS 180500 HAS SOUPS 180500 WITH SCORE 180699.774
AT ITER 4775 NEW BEST:: SOT 374097 SOS 199760 HAS SOPS 199760 HAS SOUS 180474 HAS SOUPS 180474 WITH SCORE 180673.76
AT ITER 4778 NEW BEST:: SOT 374070 SOS 199485 HAS SOPS 199485 HAS SOUS 180415 HAS SOUPS 180415 WITH SCORE 180614.485
AT ITER 4781 NEW BEST:: SOT 374070 SOS 199412 HAS SOPS 199412 HAS SOUS 180387 HAS SOUPS 180387 WITH SCORE 180586.412
AT ITER 4802 NEW BEST:: SOT 374123 SOS 198987 HAS SOPS 198987 HAS SOUS 180280 HAS SOUPS 180280 WITH SCORE 180478.987
AT ITER 4815 NEW BEST:: SOT 374123 SOS 198957 HAS SOPS 198957 HAS SOUS 180250 HAS SOUPS 180250 WITH SCORE 180448.957
AT ITER 4821 NEW BEST:: SOT 374063 SOS 199184 HAS SOPS 199184 HAS SOUS 180227 HAS SOUPS 180227 WITH SCORE 180426.184
AT ITER 4839 NEW BEST:: SOT 374063 SOS 199053 HAS SOPS 199053 HAS SOUS 180227 HAS SOUPS 180227 WITH SCORE 180426.053
AT ITER 4841 NEW BEST:: SOT 373630 SOS 198823 HAS SOPS 198823 HAS SOUS 180023 HAS SOUPS 180023 WITH SCORE 180221.823
AT ITER 4850 NEW BEST:: SOT 373630 SOS 198746 HAS SOPS 198746 HAS SOUS 179946 HAS SOUPS 179946 WITH SCORE 180144.746
AT ITER 4852 NEW BEST:: SOT 373613 SOS 198729 HAS SOPS 198729 HAS SOUS 179929 HAS SOUPS 179929 WITH SCORE 180127.729
AT ITER 4872 NEW BEST:: SOT 373613 SOS 198766 HAS SOPS 198766 HAS SOUS 179860 HAS SOUPS 179860 WITH SCORE 180058.766
AT ITER 4875 NEW BEST:: SOT 373613 SOS 198724 HAS SOPS 198724 HAS SOUS 179860 HAS SOUPS 179860 WITH SCORE 180058.724
AT ITER 4879 NEW BEST:: SOT 373613 SOS 198607 HAS SOPS 198607 HAS SOUS 179860 HAS SOUPS 179860 WITH SCORE 180058.607
AT ITER 4895 NEW BEST:: SOT 373324 SOS 198395 HAS SOPS 198395 HAS SOUS 179650 HAS SOUPS 179650 WITH SCORE 179848.395
AT ITER 4903 NEW BEST:: SOT 372894 SOS 198123 HAS SOPS 198123 HAS SOUS 179414 HAS SOUPS 179414 WITH SCORE 179612.123
AT ITER 4904 NEW BEST:: SOT 372882 SOS 198111 HAS SOPS 198111 HAS SOUS 179402 HAS SOUPS 179402 WITH SCORE 179600.111
AT ITER 4907 NEW BEST:: SOT 372882 SOS 198088 HAS SOPS 198088 HAS SOUS 179402 HAS SOUPS 179402 WITH SCORE 179600.088
AT ITER 4922 NEW BEST:: SOT 372649 SOS 197855 HAS SOPS 197855 HAS SOUS 179181 HAS SOUPS 179181 WITH SCORE 179378.855
AT ITER 4923 NEW BEST:: SOT 372649 SOS 197793 HAS SOPS 197793 HAS SOUS 179181 HAS SOUPS 179181 WITH SCORE 179378.793
AT ITER 4928 NEW BEST:: SOT 372649 SOS 197779 HAS SOPS 197779 HAS SOUS 179181 HAS SOUPS 179181 WITH SCORE 179378.779
AT ITER 4934 NEW BEST:: SOT 372648 SOS 197793 HAS SOPS 197793 HAS SOUS 179085 HAS SOUPS 179085 WITH SCORE 179282.793
AT ITER 4945 NEW BEST:: SOT 372696 SOS 197829 HAS SOPS 197829 HAS SOUS 179083 HAS SOUPS 179083 WITH SCORE 179280.829
AT ITER 4962 NEW BEST:: SOT 372696 SOS 197823 HAS SOPS 197823 HAS SOUS 179083 HAS SOUPS 179083 WITH SCORE 179280.823
AT ITER 4977 NEW BEST:: SOT 372678 SOS 197919 HAS SOPS 197919 HAS SOUS 179067 HAS SOUPS 179067 WITH SCORE 179264.919
AT ITER 4978 NEW BEST:: SOT 372678 SOS 197875 HAS SOPS 197875 HAS SOUS 179067 HAS SOUPS 179067 WITH SCORE 179264.875
AT ITER 4984 NEW BEST:: SOT 372609 SOS 197817 HAS SOPS 197817 HAS SOUS 179007 HAS SOUPS 179007 WITH SCORE 179204.817
AT ITER 4986 NEW BEST:: SOT 372609 SOS 197791 HAS SOPS 197791 HAS SOUS 178981 HAS SOUPS 178981 WITH SCORE 179178.791
AT ITER 4994 NEW BEST:: SOT 372609 SOS 197695 HAS SOPS 197695 HAS SOUS 178949 HAS SOUPS 178949 WITH SCORE 179146.695
AT ITER 4995 NEW BEST:: SOT 372609 SOS 197611 HAS SOPS 197611 HAS SOUS 178949 HAS SOUPS 178949 WITH SCORE 179146.611
AT ITER 4997 NEW BEST:: SOT 372583 SOS 197753 HAS SOPS 197753 HAS SOUS 178921 HAS SOUPS 178921 WITH SCORE 179118.753
AT ITER 4999 NEW BEST:: SOT 372583 SOS 197776 HAS SOPS 197776 HAS SOUS 178878 HAS SOUPS 178878 WITH SCORE 179075.776
Bounds file is: CTLFireability.xml
PROPERTY: NQueens-PT-25-CTLFireability-00 (AF( (! ( ( ((potential((tk(P656)>=1) & (tk(P703)>=1) & (tk(P740)>=1) & (tk(P634)>=1)))) & ( ((potential((tk(P668)>=1) & (tk(P701)>=1) & (tk(P762)>=1) & (tk(P644)>=1)))) & ((potential((tk(P662)>=1) & (tk(P693)>=1) & (tk(P742)>=1) & (tk(P630)>=1)))) ) ) & (EG( ((potential((tk(P673)>=1) & (tk(P679)>=1) & (tk(P750)>=1) & (tk(P627)>=1)))))) ))))
PROPERTY: NQueens-PT-25-CTLFireability-01 (EX( (EG( ( ( ((potential((tk(P661)>=1) & (tk(P700)>=1) & (tk(P747)>=1) & (tk(P636)>=1)))) | ((potential((tk(P672)>=1) & (tk(P696)>=1) & (tk(P765)>=1) & (tk(P643)>=1)))) ) & (! ((potential((tk(P651)>=1) & (tk(P704)>=1) & (tk(P731)>=1) & (tk(P630)>=1))))) )))))
PROPERTY: NQueens-PT-25-CTLFireability-02 (EG( (AX( (EF( ((potential((tk(P655)>=1) & (tk(P717)>=1) & (tk(P752)>=1) & (tk(P647)>=1))))))))))
PROPERTY: NQueens-PT-25-CTLFireability-03 (! (! (AF( (! ((potential((tk(P667)>=1) & (tk(P684)>=1) & (tk(P743)>=1) & (tk(P626)>=1)))))))))
PROPERTY: NQueens-PT-25-CTLFireability-04 (EG( (! ( (! ((potential((tk(P656)>=1) & (tk(P701)>=1) & (tk(P738)>=1) & (tk(P632)>=1))))) & ( ((potential((tk(P671)>=1) & (tk(P683)>=1) & (tk(P750)>=1) & (tk(P629)>=1)))) | (! ((potential((tk(P661)>=1) & (tk(P690)>=1) & (tk(P737)>=1) & (tk(P626)>=1))))) ) ))))
PROPERTY: NQueens-PT-25-CTLFireability-05 ( (EX( ( (AX( ((potential((tk(P667)>=1) & (tk(P684)>=1) & (tk(P743)>=1) & (tk(P626)>=1)))))) & (AG( ((potential((tk(P669)>=1) & (tk(P689)>=1) & (tk(P752)>=1) & (tk(P633)>=1)))))) ))) & ( (AU( ( ((potential((tk(P651)>=1) & (tk(P708)>=1) & (tk(P735)>=1) & (tk(P634)>=1)))) | ((potential((tk(P657)>=1) & (tk(P697)>=1) & (tk(P736)>=1) & (tk(P629)>=1)))) ) , (! ((potential((tk(P658)>=1) & (tk(P697)>=1) & (tk(P738)>=1) & (tk(P630)>=1))))) )) | ((potential((tk(P658)>=1) & (tk(P710)>=1) & (tk(P751)>=1) & (tk(P643)>=1)))) ) )
PROPERTY: NQueens-PT-25-CTLFireability-06 ( (AU( (AG( ((potential((tk(P653)>=1) & (tk(P711)>=1) & (tk(P742)>=1) & (tk(P639)>=1)))))) , (EG( ((potential((tk(P674)>=1) & (tk(P698)>=1) & (tk(P771)>=1) & (tk(P647)>=1)))))) )) & ( ((potential((tk(P662)>=1) & (tk(P692)>=1) & (tk(P741)>=1) & (tk(P629)>=1)))) | (AU( ( ((potential((tk(P675)>=1) & (tk(P677)>=1) & (tk(P752)>=1) & (tk(P627)>=1)))) | ((potential((tk(P665)>=1) & (tk(P698)>=1) & (tk(P753)>=1) & (tk(P638)>=1)))) ) , (! ((potential((tk(P669)>=1) & (tk(P684)>=1) & (tk(P747)>=1) & (tk(P628)>=1))))) )) ) )
PROPERTY: NQueens-PT-25-CTLFireability-07 (! (AX( ( ( ( ((potential((tk(P668)>=1) & (tk(P706)>=1) & (tk(P767)>=1) & (tk(P649)>=1)))) | ((potential((tk(P671)>=1) & (tk(P694)>=1) & (tk(P761)>=1) & (tk(P640)>=1)))) ) | ( ((potential((tk(P668)>=1) & (tk(P690)>=1) & (tk(P751)>=1) & (tk(P633)>=1)))) & ((potential((tk(P667)>=1) & (tk(P687)>=1) & (tk(P746)>=1) & (tk(P629)>=1)))) ) ) | (EX( ((potential((tk(P659)>=1) & (tk(P702)>=1) & (tk(P745)>=1) & (tk(P636)>=1)))))) ))))
PROPERTY: NQueens-PT-25-CTLFireability-08 (EU( ((potential((tk(P655)>=1) & (tk(P701)>=1) & (tk(P736)>=1) & (tk(P631)>=1)))) , (AG( (! ((potential((tk(P652)>=1) & (tk(P703)>=1) & (tk(P732)>=1) & (tk(P630)>=1))))))) ))
PROPERTY: NQueens-PT-25-CTLFireability-09 ( ( ( ( ((potential((tk(P675)>=1) & (tk(P679)>=1) & (tk(P754)>=1) & (tk(P629)>=1)))) & (EG( ((potential((tk(P670)>=1) & (tk(P691)>=1) & (tk(P756)>=1) & (tk(P636)>=1)))))) ) & (AF( ( ((potential((tk(P673)>=1) & (tk(P699)>=1) & (tk(P770)>=1) & (tk(P647)>=1)))) | ((potential((tk(P653)>=1) & (tk(P705)>=1) & (tk(P736)>=1) & (tk(P633)>=1)))) ))) ) & (AG( ( ((potential((tk(P657)>=1) & (tk(P708)>=1) & (tk(P747)>=1) & (tk(P640)>=1)))) | ( ((potential((tk(P659)>=1) & (tk(P716)>=1) & (tk(P759)>=1) & (tk(P650)>=1)))) & ((potential((tk(P663)>=1) & (tk(P707)>=1) & (tk(P758)>=1) & (tk(P645)>=1)))) ) ))) ) | (AU( (AF( ((potential((tk(P651)>=1) & (tk(P706)>=1) & (tk(P733)>=1) & (tk(P632)>=1)))))) , ( ((potential((tk(P652)>=1) & (tk(P708)>=1) & (tk(P737)>=1) & (tk(P635)>=1)))) & (! ((potential((tk(P674)>=1) & (tk(P684)>=1) & (tk(P757)>=1) & (tk(P633)>=1))))) ) )) )
PROPERTY: NQueens-PT-25-CTLFireability-10 ( (EU( ( ( ((potential((tk(P672)>=1) & (tk(P684)>=1) & (tk(P753)>=1) & (tk(P631)>=1)))) | ((potential((tk(P665)>=1) & (tk(P709)>=1) & (tk(P764)>=1) & (tk(P649)>=1)))) ) & (! ((potential((tk(P663)>=1) & (tk(P696)>=1) & (tk(P747)>=1) & (tk(P634)>=1))))) ) , ( ((potential((tk(P659)>=1) & (tk(P712)>=1) & (tk(P755)>=1) & (tk(P646)>=1)))) | (! ((potential((tk(P668)>=1) & (tk(P694)>=1) & (tk(P755)>=1) & (tk(P637)>=1))))) ) )) & (EG( (! (AG( ((potential((tk(P659)>=1) & (tk(P698)>=1) & (tk(P741)>=1) & (tk(P632)>=1))))))))) )
PROPERTY: NQueens-PT-25-CTLFireability-11 (AX( ( ( ( ( ((potential((tk(P670)>=1) & (tk(P690)>=1) & (tk(P755)>=1) & (tk(P635)>=1)))) | ((potential((tk(P653)>=1) & (tk(P699)>=1) & (tk(P730)>=1) & (tk(P627)>=1)))) ) & ( ((potential((tk(P673)>=1) & (tk(P683)>=1) & (tk(P754)>=1) & (tk(P631)>=1)))) | ((potential((tk(P669)>=1) & (tk(P693)>=1) & (tk(P756)>=1) & (tk(P637)>=1)))) ) ) & ( ( ((potential((tk(P667)>=1) & (tk(P699)>=1) & (tk(P758)>=1) & (tk(P641)>=1)))) | ((potential((tk(P662)>=1) & (tk(P697)>=1) & (tk(P746)>=1) & (tk(P634)>=1)))) ) | (! ((potential((tk(P658)>=1) & (tk(P708)>=1) & (tk(P749)>=1) & (tk(P641)>=1))))) ) ) | (AX( ( ((potential((tk(P660)>=1) & (tk(P703)>=1) & (tk(P748)>=1) & (tk(P638)>=1)))) | ((potential((tk(P657)>=1) & (tk(P704)>=1) & (tk(P743)>=1) & (tk(P636)>=1)))) ))) )))
PROPERTY: NQueens-PT-25-CTLFireability-12 (! (EG( (AU( ((potential((tk(P663)>=1) & (tk(P690)>=1) & (tk(P741)>=1) & (tk(P628)>=1)))) , ((potential((tk(P654)>=1) & (tk(P700)>=1) & (tk(P733)>=1) & (tk(P629)>=1)))) )))))
PROPERTY: NQueens-PT-25-CTLFireability-13 ( (EF( (EG( ( ((potential((tk(P658)>=1) & (tk(P699)>=1) & (tk(P740)>=1) & (tk(P632)>=1)))) | ((potential((tk(P663)>=1) & (tk(P688)>=1) & (tk(P739)>=1) & (tk(P626)>=1)))) ))))) & ((potential((tk(P661)>=1) & (tk(P714)>=1) & (tk(P761)>=1) & (tk(P650)>=1)))) )
PROPERTY: NQueens-PT-25-CTLFireability-14 (AU( ( (EX( ((potential((tk(P663)>=1) & (tk(P691)>=1) & (tk(P742)>=1) & (tk(P629)>=1)))))) & ((potential((tk(P675)>=1) & (tk(P679)>=1) & (tk(P754)>=1) & (tk(P629)>=1)))) ) , (EG( ((potential((tk(P661)>=1) & (tk(P696)>=1) & (tk(P743)>=1) & (tk(P632)>=1)))))) ))
PROPERTY: NQueens-PT-25-CTLFireability-15 ( (! (EF( (EG( ((potential((tk(P660)>=1) & (tk(P712)>=1) & (tk(P757)>=1) & (tk(P647)>=1))))))))) | (AU( (! ( ((potential((tk(P657)>=1) & (tk(P707)>=1) & (tk(P746)>=1) & (tk(P639)>=1)))) & ((potential((tk(P669)>=1) & (tk(P689)>=1) & (tk(P752)>=1) & (tk(P633)>=1)))) )) , (! ( ((potential((tk(P672)>=1) & (tk(P689)>=1) & (tk(P758)>=1) & (tk(P636)>=1)))) | ((potential((tk(P670)>=1) & (tk(P686)>=1) & (tk(P751)>=1) & (tk(P631)>=1)))) )) )) )

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NQueens-PT-25"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is NQueens-PT-25, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250100164"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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