Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590300024.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ASLink-PT-01b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590300024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 688K
-rw-r--r-- 1 mcc users 7.1K Feb 26 13:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 13:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 13:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 13:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 13:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 13:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 13:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 13:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 293K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678469049176

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-01b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 01b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 846 places, 1148 transitions, 3624 arcs.
AT ITER 0 NEW BEST:: SOT 592042 SOS 207952 HAS SOPS 207952 HAS SOUS 160350 HAS SOUPS 160350 WITH SCORE 160557.952
AT ITER 4 NEW BEST:: SOT 591881 SOS 207644 HAS SOPS 207644 HAS SOUS 160042 HAS SOUPS 160042 WITH SCORE 160249.644
AT ITER 6 NEW BEST:: SOT 591840 SOS 207603 HAS SOPS 207603 HAS SOUS 160001 HAS SOUPS 160001 WITH SCORE 160208.603
AT ITER 17 NEW BEST:: SOT 591760 SOS 207495 HAS SOPS 207495 HAS SOUS 159973 HAS SOUPS 159973 WITH SCORE 160180.495
AT ITER 18 NEW BEST:: SOT 591708 SOS 207348 HAS SOPS 207348 HAS SOUS 159867 HAS SOUPS 159867 WITH SCORE 160074.348
AT ITER 25 NEW BEST:: SOT 591715 SOS 206966 HAS SOPS 206966 HAS SOUS 159822 HAS SOUPS 159822 WITH SCORE 160028.966
AT ITER 33 NEW BEST:: SOT 591689 SOS 206701 HAS SOPS 206701 HAS SOUS 159809 HAS SOUPS 159809 WITH SCORE 160015.701
AT ITER 39 NEW BEST:: SOT 591058 SOS 207361 HAS SOPS 207361 HAS SOUS 159492 HAS SOUPS 159492 WITH SCORE 159699.361
AT ITER 44 NEW BEST:: SOT 590796 SOS 207358 HAS SOPS 207358 HAS SOUS 159409 HAS SOUPS 159409 WITH SCORE 159616.358
AT ITER 48 NEW BEST:: SOT 590648 SOS 207138 HAS SOPS 207138 HAS SOUS 159185 HAS SOUPS 159185 WITH SCORE 159392.138
AT ITER 57 NEW BEST:: SOT 587626 SOS 206484 HAS SOPS 206484 HAS SOUS 156412 HAS SOUPS 156412 WITH SCORE 156618.484
AT ITER 58 NEW BEST:: SOT 587580 SOS 206351 HAS SOPS 206351 HAS SOUS 156334 HAS SOUPS 156334 WITH SCORE 156540.351
AT ITER 60 NEW BEST:: SOT 587474 SOS 205994 HAS SOPS 205994 HAS SOUS 156222 HAS SOUPS 156222 WITH SCORE 156427.994
AT ITER 61 NEW BEST:: SOT 587435 SOS 205955 HAS SOPS 205955 HAS SOUS 156183 HAS SOUPS 156183 WITH SCORE 156388.955
AT ITER 65 NEW BEST:: SOT 587275 SOS 205686 HAS SOPS 205686 HAS SOUS 156094 HAS SOUPS 156094 WITH SCORE 156299.686
AT ITER 67 NEW BEST:: SOT 587255 SOS 205635 HAS SOPS 205635 HAS SOUS 156062 HAS SOUPS 156062 WITH SCORE 156267.635
AT ITER 69 NEW BEST:: SOT 587138 SOS 205368 HAS SOPS 205368 HAS SOUS 155941 HAS SOUPS 155941 WITH SCORE 156146.368
AT ITER 95 NEW BEST:: SOT 587138 SOS 204822 HAS SOPS 204822 HAS SOUS 155939 HAS SOUPS 155939 WITH SCORE 156143.822
AT ITER 97 NEW BEST:: SOT 587116 SOS 204800 HAS SOPS 204800 HAS SOUS 155939 HAS SOUPS 155939 WITH SCORE 156143.8
AT ITER 100 NEW BEST:: SOT 587036 SOS 204688 HAS SOPS 204688 HAS SOUS 155779 HAS SOUPS 155779 WITH SCORE 155983.688
AT ITER 106 NEW BEST:: SOT 587021 SOS 204613 HAS SOPS 204613 HAS SOUS 155747 HAS SOUPS 155747 WITH SCORE 155951.613
AT ITER 117 NEW BEST:: SOT 586542 SOS 204004 HAS SOPS 204004 HAS SOUS 155138 HAS SOUPS 155138 WITH SCORE 155342.004
AT ITER 128 NEW BEST:: SOT 586331 SOS 203761 HAS SOPS 203761 HAS SOUS 155001 HAS SOUPS 155001 WITH SCORE 155204.761
AT ITER 129 NEW BEST:: SOT 586149 SOS 203629 HAS SOPS 203629 HAS SOUS 154908 HAS SOUPS 154908 WITH SCORE 155111.629
AT ITER 135 NEW BEST:: SOT 586069 SOS 203549 HAS SOPS 203549 HAS SOUS 154824 HAS SOUPS 154824 WITH SCORE 155027.549
AT ITER 143 NEW BEST:: SOT 585971 SOS 203353 HAS SOPS 203353 HAS SOUS 154726 HAS SOUPS 154726 WITH SCORE 154929.353
AT ITER 154 NEW BEST:: SOT 585942 SOS 203081 HAS SOPS 203081 HAS SOUS 154475 HAS SOUPS 154475 WITH SCORE 154678.081
AT ITER 173 NEW BEST:: SOT 585942 SOS 202978 HAS SOPS 202978 HAS SOUS 154372 HAS SOUPS 154372 WITH SCORE 154574.978
AT ITER 190 NEW BEST:: SOT 585942 SOS 202967 HAS SOPS 202967 HAS SOUS 154361 HAS SOUPS 154361 WITH SCORE 154563.967
AT ITER 202 NEW BEST:: SOT 585893 SOS 202918 HAS SOPS 202918 HAS SOUS 154310 HAS SOUPS 154310 WITH SCORE 154512.918
AT ITER 214 NEW BEST:: SOT 585692 SOS 202265 HAS SOPS 202265 HAS SOUS 151658 HAS SOUPS 151658 WITH SCORE 151860.265
AT ITER 225 NEW BEST:: SOT 584783 SOS 202258 HAS SOPS 202258 HAS SOUS 151039 HAS SOUPS 151039 WITH SCORE 151241.258
AT ITER 227 NEW BEST:: SOT 584540 SOS 202015 HAS SOPS 202015 HAS SOUS 150833 HAS SOUPS 150833 WITH SCORE 151035.015
AT ITER 236 NEW BEST:: SOT 584540 SOS 202103 HAS SOPS 202103 HAS SOUS 150749 HAS SOUPS 150749 WITH SCORE 150951.103
AT ITER 238 NEW BEST:: SOT 584516 SOS 201922 HAS SOPS 201922 HAS SOUS 150528 HAS SOUPS 150528 WITH SCORE 150729.922
AT ITER 240 NEW BEST:: SOT 584516 SOS 201907 HAS SOPS 201907 HAS SOUS 150513 HAS SOUPS 150513 WITH SCORE 150714.907
AT ITER 246 NEW BEST:: SOT 584516 SOS 201866 HAS SOPS 201866 HAS SOUS 150513 HAS SOUPS 150513 WITH SCORE 150714.866
AT ITER 249 NEW BEST:: SOT 584516 SOS 201846 HAS SOPS 201846 HAS SOUS 150511 HAS SOUPS 150511 WITH SCORE 150712.846
AT ITER 256 NEW BEST:: SOT 584508 SOS 201838 HAS SOPS 201838 HAS SOUS 150503 HAS SOUPS 150503 WITH SCORE 150704.838
AT ITER 258 NEW BEST:: SOT 584440 SOS 202198 HAS SOPS 202198 HAS SOUS 150414 HAS SOUPS 150414 WITH SCORE 150616.198
AT ITER 268 NEW BEST:: SOT 584440 SOS 202058 HAS SOPS 202058 HAS SOUS 150414 HAS SOUPS 150414 WITH SCORE 150616.058
AT ITER 279 NEW BEST:: SOT 584428 SOS 202046 HAS SOPS 202046 HAS SOUS 150402 HAS SOUPS 150402 WITH SCORE 150604.046
AT ITER 289 NEW BEST:: SOT 584392 SOS 201825 HAS SOPS 201825 HAS SOUS 150327 HAS SOUPS 150327 WITH SCORE 150528.825
AT ITER 292 NEW BEST:: SOT 583739 SOS 202242 HAS SOPS 202242 HAS SOUS 150041 HAS SOUPS 150041 WITH SCORE 150243.242
AT ITER 300 NEW BEST:: SOT 583739 SOS 202242 HAS SOPS 202242 HAS SOUS 150033 HAS SOUPS 150033 WITH SCORE 150235.242
AT ITER 306 NEW BEST:: SOT 582676 SOS 201327 HAS SOPS 201327 HAS SOUS 149086 HAS SOUPS 149086 WITH SCORE 149287.327
AT ITER 318 NEW BEST:: SOT 582676 SOS 201293 HAS SOPS 201293 HAS SOUS 149079 HAS SOUPS 149079 WITH SCORE 149280.293
AT ITER 319 NEW BEST:: SOT 582654 SOS 201096 HAS SOPS 201096 HAS SOUS 149006 HAS SOUPS 149006 WITH SCORE 149207.096
AT ITER 320 NEW BEST:: SOT 582374 SOS 200898 HAS SOPS 200898 HAS SOUS 148882 HAS SOUPS 148882 WITH SCORE 149082.898
AT ITER 321 NEW BEST:: SOT 582467 SOS 200783 HAS SOPS 200783 HAS SOUS 148870 HAS SOUPS 148870 WITH SCORE 149070.783
AT ITER 327 NEW BEST:: SOT 582411 SOS 200622 HAS SOPS 200622 HAS SOUS 148800 HAS SOUPS 148800 WITH SCORE 149000.622
AT ITER 332 NEW BEST:: SOT 582411 SOS 200579 HAS SOPS 200579 HAS SOUS 148757 HAS SOUPS 148757 WITH SCORE 148957.579
AT ITER 352 NEW BEST:: SOT 582356 SOS 200432 HAS SOPS 200432 HAS SOUS 148643 HAS SOUPS 148643 WITH SCORE 148843.432
AT ITER 366 NEW BEST:: SOT 582438 SOS 200406 HAS SOPS 200406 HAS SOUS 148617 HAS SOUPS 148617 WITH SCORE 148817.406
AT ITER 367 NEW BEST:: SOT 582438 SOS 200435 HAS SOPS 200435 HAS SOUS 148565 HAS SOUPS 148565 WITH SCORE 148765.435
AT ITER 376 NEW BEST:: SOT 582438 SOS 200378 HAS SOPS 200378 HAS SOUS 148508 HAS SOUPS 148508 WITH SCORE 148708.378
AT ITER 381 NEW BEST:: SOT 582300 SOS 200219 HAS SOPS 200219 HAS SOUS 148440 HAS SOUPS 148440 WITH SCORE 148640.219
AT ITER 395 NEW BEST:: SOT 581993 SOS 199946 HAS SOPS 199946 HAS SOUS 148183 HAS SOUPS 148183 WITH SCORE 148382.946
AT ITER 406 NEW BEST:: SOT 581919 SOS 199798 HAS SOPS 199798 HAS SOUS 148035 HAS SOUPS 148035 WITH SCORE 148234.798
AT ITER 423 NEW BEST:: SOT 581878 SOS 199705 HAS SOPS 199705 HAS SOUS 147942 HAS SOUPS 147942 WITH SCORE 148141.705
AT ITER 446 NEW BEST:: SOT 581844 SOS 199459 HAS SOPS 199459 HAS SOUS 147453 HAS SOUPS 147453 WITH SCORE 147652.459
AT ITER 450 NEW BEST:: SOT 581812 SOS 199395 HAS SOPS 199395 HAS SOUS 147389 HAS SOUPS 147389 WITH SCORE 147588.395
AT ITER 453 NEW BEST:: SOT 581766 SOS 199347 HAS SOPS 199347 HAS SOUS 147295 HAS SOUPS 147295 WITH SCORE 147494.347
AT ITER 455 NEW BEST:: SOT 581766 SOS 199347 HAS SOPS 199347 HAS SOUS 147195 HAS SOUPS 147195 WITH SCORE 147394.347
AT ITER 468 NEW BEST:: SOT 581732 SOS 199166 HAS SOPS 199166 HAS SOUS 147153 HAS SOUPS 147153 WITH SCORE 147352.166
AT ITER 480 NEW BEST:: SOT 581706 SOS 198979 HAS SOPS 198979 HAS SOUS 147077 HAS SOUPS 147077 WITH SCORE 147275.979
AT ITER 484 NEW BEST:: SOT 581479 SOS 198785 HAS SOPS 198785 HAS SOUS 147001 HAS SOUPS 147001 WITH SCORE 147199.785
AT ITER 487 NEW BEST:: SOT 581455 SOS 198520 HAS SOPS 198520 HAS SOUS 146932 HAS SOUPS 146932 WITH SCORE 147130.52
AT ITER 489 NEW BEST:: SOT 581426 SOS 198462 HAS SOPS 198462 HAS SOUS 146873 HAS SOUPS 146873 WITH SCORE 147071.462
AT ITER 491 NEW BEST:: SOT 581247 SOS 198346 HAS SOPS 198346 HAS SOUS 146639 HAS SOUPS 146639 WITH SCORE 146837.346
AT ITER 503 NEW BEST:: SOT 581145 SOS 198244 HAS SOPS 198244 HAS SOUS 146333 HAS SOUPS 146333 WITH SCORE 146531.244
AT ITER 506 NEW BEST:: SOT 581164 SOS 198189 HAS SOPS 198189 HAS SOUS 146278 HAS SOUPS 146278 WITH SCORE 146476.189
AT ITER 512 NEW BEST:: SOT 581112 SOS 198137 HAS SOPS 198137 HAS SOUS 146168 HAS SOUPS 146168 WITH SCORE 146366.137
AT ITER 514 NEW BEST:: SOT 581096 SOS 197769 HAS SOPS 197769 HAS SOUS 143284 HAS SOUPS 143284 WITH SCORE 143481.769
AT ITER 525 NEW BEST:: SOT 581100 SOS 197777 HAS SOPS 197777 HAS SOUS 143209 HAS SOUPS 143209 WITH SCORE 143406.777
AT ITER 528 NEW BEST:: SOT 581100 SOS 197769 HAS SOPS 197769 HAS SOUS 143201 HAS SOUPS 143201 WITH SCORE 143398.769
AT ITER 535 NEW BEST:: SOT 581042 SOS 197711 HAS SOPS 197711 HAS SOUS 143143 HAS SOUPS 143143 WITH SCORE 143340.711
AT ITER 539 NEW BEST:: SOT 580859 SOS 197528 HAS SOPS 197528 HAS SOUS 142960 HAS SOUPS 142960 WITH SCORE 143157.528
AT ITER 553 NEW BEST:: SOT 580778 SOS 197414 HAS SOPS 197414 HAS SOUS 142846 HAS SOUPS 142846 WITH SCORE 143043.414
AT ITER 567 NEW BEST:: SOT 580516 SOS 197264 HAS SOPS 197264 HAS SOUS 142690 HAS SOUPS 142690 WITH SCORE 142887.264
AT ITER 577 NEW BEST:: SOT 580204 SOS 197333 HAS SOPS 197333 HAS SOUS 142430 HAS SOUPS 142430 WITH SCORE 142627.333
AT ITER 586 NEW BEST:: SOT 580155 SOS 197782 HAS SOPS 197782 HAS SOUS 142392 HAS SOUPS 142392 WITH SCORE 142589.782
AT ITER 592 NEW BEST:: SOT 580155 SOS 197713 HAS SOPS 197713 HAS SOUS 142391 HAS SOUPS 142391 WITH SCORE 142588.713
AT ITER 611 NEW BEST:: SOT 580147 SOS 197642 HAS SOPS 197642 HAS SOUS 142324 HAS SOUPS 142324 WITH SCORE 142521.642
AT ITER 613 NEW BEST:: SOT 580031 SOS 197526 HAS SOPS 197526 HAS SOUS 142208 HAS SOUPS 142208 WITH SCORE 142405.526
AT ITER 623 NEW BEST:: SOT 579931 SOS 197408 HAS SOPS 197408 HAS SOUS 142007 HAS SOUPS 142007 WITH SCORE 142204.408
AT ITER 639 NEW BEST:: SOT 579793 SOS 197409 HAS SOPS 197409 HAS SOUS 141918 HAS SOUPS 141918 WITH SCORE 142115.409
AT ITER 643 NEW BEST:: SOT 579768 SOS 197147 HAS SOPS 197147 HAS SOUS 141561 HAS SOUPS 141561 WITH SCORE 141758.147
AT ITER 654 NEW BEST:: SOT 579679 SOS 197147 HAS SOPS 197147 HAS SOUS 141472 HAS SOUPS 141472 WITH SCORE 141669.147
AT ITER 658 NEW BEST:: SOT 579644 SOS 197127 HAS SOPS 197127 HAS SOUS 141452 HAS SOUPS 141452 WITH SCORE 141649.127
AT ITER 659 NEW BEST:: SOT 579644 SOS 197364 HAS SOPS 197364 HAS SOUS 141442 HAS SOUPS 141442 WITH SCORE 141639.364
AT ITER 662 NEW BEST:: SOT 579603 SOS 197282 HAS SOPS 197282 HAS SOUS 141360 HAS SOUPS 141360 WITH SCORE 141557.282
AT ITER 664 NEW BEST:: SOT 579582 SOS 197240 HAS SOPS 197240 HAS SOUS 141333 HAS SOUPS 141333 WITH SCORE 141530.24
AT ITER 669 NEW BEST:: SOT 578906 SOS 196564 HAS SOPS 196564 HAS SOUS 141300 HAS SOUPS 141300 WITH SCORE 141496.564
AT ITER 673 NEW BEST:: SOT 578843 SOS 196419 HAS SOPS 196419 HAS SOUS 141125 HAS SOUPS 141125 WITH SCORE 141321.419
AT ITER 682 NEW BEST:: SOT 578843 SOS 196403 HAS SOPS 196403 HAS SOUS 141125 HAS SOUPS 141125 WITH SCORE 141321.403
AT ITER 685 NEW BEST:: SOT 578840 SOS 196430 HAS SOPS 196430 HAS SOUS 141122 HAS SOUPS 141122 WITH SCORE 141318.43
AT ITER 688 NEW BEST:: SOT 577989 SOS 198136 HAS SOPS 198136 HAS SOUS 140808 HAS SOUPS 140808 WITH SCORE 141006.136
AT ITER 699 NEW BEST:: SOT 577896 SOS 197905 HAS SOPS 197905 HAS SOUS 140715 HAS SOUPS 140715 WITH SCORE 140912.905
AT ITER 701 NEW BEST:: SOT 577841 SOS 197651 HAS SOPS 197651 HAS SOUS 139946 HAS SOUPS 139946 WITH SCORE 140143.651
AT ITER 723 NEW BEST:: SOT 577774 SOS 197561 HAS SOPS 197561 HAS SOUS 139789 HAS SOUPS 139789 WITH SCORE 139986.561
AT ITER 729 NEW BEST:: SOT 577193 SOS 196980 HAS SOPS 196980 HAS SOUS 139208 HAS SOUPS 139208 WITH SCORE 139404.98
AT ITER 749 NEW BEST:: SOT 577068 SOS 198088 HAS SOPS 198088 HAS SOUS 139185 HAS SOUPS 139185 WITH SCORE 139383.088
AT ITER 751 NEW BEST:: SOT 577067 SOS 198086 HAS SOPS 198086 HAS SOUS 139183 HAS SOUPS 139183 WITH SCORE 139381.086
AT ITER 769 NEW BEST:: SOT 576968 SOS 198074 HAS SOPS 198074 HAS SOUS 139123 HAS SOUPS 139123 WITH SCORE 139321.074
AT ITER 780 NEW BEST:: SOT 576886 SOS 197526 HAS SOPS 197526 HAS SOUS 138823 HAS SOUPS 138823 WITH SCORE 139020.526
AT ITER 782 NEW BEST:: SOT 576854 SOS 197339 HAS SOPS 197339 HAS SOUS 138634 HAS SOUPS 138634 WITH SCORE 138831.339
AT ITER 798 NEW BEST:: SOT 576847 SOS 197312 HAS SOPS 197312 HAS SOUS 138627 HAS SOUPS 138627 WITH SCORE 138824.312
AT ITER 800 NEW BEST:: SOT 576687 SOS 197444 HAS SOPS 197444 HAS SOUS 138621 HAS SOUPS 138621 WITH SCORE 138818.444
AT ITER 804 NEW BEST:: SOT 576466 SOS 197285 HAS SOPS 197285 HAS SOUS 138437 HAS SOUPS 138437 WITH SCORE 138634.285
AT ITER 825 NEW BEST:: SOT 576303 SOS 195488 HAS SOPS 195488 HAS SOUS 138111 HAS SOUPS 138111 WITH SCORE 138306.488
AT ITER 843 NEW BEST:: SOT 576249 SOS 195374 HAS SOPS 195374 HAS SOUS 137997 HAS SOUPS 137997 WITH SCORE 138192.374
AT ITER 851 NEW BEST:: SOT 576276 SOS 195264 HAS SOPS 195264 HAS SOUS 137978 HAS SOUPS 137978 WITH SCORE 138173.264
AT ITER 854 NEW BEST:: SOT 576204 SOS 195092 HAS SOPS 195092 HAS SOUS 137881 HAS SOUPS 137881 WITH SCORE 138076.092
AT ITER 863 NEW BEST:: SOT 576203 SOS 194952 HAS SOPS 194952 HAS SOUS 137879 HAS SOUPS 137879 WITH SCORE 138073.952
AT ITER 867 NEW BEST:: SOT 576203 SOS 194944 HAS SOPS 194944 HAS SOUS 137871 HAS SOUPS 137871 WITH SCORE 138065.944
AT ITER 871 NEW BEST:: SOT 575721 SOS 194555 HAS SOPS 194555 HAS SOUS 137482 HAS SOUPS 137482 WITH SCORE 137676.555
AT ITER 885 NEW BEST:: SOT 575738 SOS 194396 HAS SOPS 194396 HAS SOUS 137482 HAS SOUPS 137482 WITH SCORE 137676.396
AT ITER 912 NEW BEST:: SOT 575672 SOS 194372 HAS SOPS 194372 HAS SOUS 137452 HAS SOUPS 137452 WITH SCORE 137646.372
AT ITER 921 NEW BEST:: SOT 575657 SOS 194327 HAS SOPS 194327 HAS SOUS 137407 HAS SOUPS 137407 WITH SCORE 137601.327
AT ITER 924 NEW BEST:: SOT 575623 SOS 194259 HAS SOPS 194259 HAS SOUS 137339 HAS SOUPS 137339 WITH SCORE 137533.259
AT ITER 970 NEW BEST:: SOT 575315 SOS 193951 HAS SOPS 193951 HAS SOUS 137031 HAS SOUPS 137031 WITH SCORE 137224.951
AT ITER 990 NEW BEST:: SOT 575310 SOS 193806 HAS SOPS 193806 HAS SOUS 137019 HAS SOUPS 137019 WITH SCORE 137212.806
AT ITER 1000 NEW BEST:: SOT 575289 SOS 193829 HAS SOPS 193829 HAS SOUS 136998 HAS SOUPS 136998 WITH SCORE 137191.829
AT ITER 1007 NEW BEST:: SOT 575287 SOS 193825 HAS SOPS 193825 HAS SOUS 136994 HAS SOUPS 136994 WITH SCORE 137187.825
AT ITER 1010 NEW BEST:: SOT 575287 SOS 193808 HAS SOPS 193808 HAS SOUS 136994 HAS SOUPS 136994 WITH SCORE 137187.808
AT ITER 1012 NEW BEST:: SOT 575244 SOS 194082 HAS SOPS 194082 HAS SOUS 136906 HAS SOUPS 136906 WITH SCORE 137100.082
AT ITER 1023 NEW BEST:: SOT 575219 SOS 194057 HAS SOPS 194057 HAS SOUS 136881 HAS SOUPS 136881 WITH SCORE 137075.057
AT ITER 1041 NEW BEST:: SOT 575219 SOS 193977 HAS SOPS 193977 HAS SOUS 136801 HAS SOUPS 136801 WITH SCORE 136994.977
AT ITER 1043 NEW BEST:: SOT 575217 SOS 193975 HAS SOPS 193975 HAS SOUS 136799 HAS SOUPS 136799 WITH SCORE 136992.975
AT ITER 1050 NEW BEST:: SOT 575139 SOS 193858 HAS SOPS 193858 HAS SOUS 136799 HAS SOUPS 136799 WITH SCORE 136992.858
AT ITER 1054 NEW BEST:: SOT 574513 SOS 193276 HAS SOPS 193276 HAS SOUS 136789 HAS SOUPS 136789 WITH SCORE 136982.276
AT ITER 1063 NEW BEST:: SOT 574476 SOS 193202 HAS SOPS 193202 HAS SOUS 136715 HAS SOUPS 136715 WITH SCORE 136908.202
AT ITER 1074 NEW BEST:: SOT 574475 SOS 193201 HAS SOPS 193201 HAS SOUS 136713 HAS SOUPS 136713 WITH SCORE 136906.201
AT ITER 1078 NEW BEST:: SOT 574475 SOS 192885 HAS SOPS 192885 HAS SOUS 135329 HAS SOUPS 135329 WITH SCORE 135521.885
AT ITER 1083 NEW BEST:: SOT 574434 SOS 192870 HAS SOPS 192870 HAS SOUS 135247 HAS SOUPS 135247 WITH SCORE 135439.87
AT ITER 1093 NEW BEST:: SOT 574181 SOS 193310 HAS SOPS 193310 HAS SOUS 135064 HAS SOUPS 135064 WITH SCORE 135257.31
AT ITER 1104 NEW BEST:: SOT 572786 SOS 191859 HAS SOPS 191859 HAS SOUS 133769 HAS SOUPS 133769 WITH SCORE 133960.859
AT ITER 1122 NEW BEST:: SOT 572658 SOS 191667 HAS SOPS 191667 HAS SOUS 133577 HAS SOUPS 133577 WITH SCORE 133768.667
AT ITER 1124 NEW BEST:: SOT 572625 SOS 191544 HAS SOPS 191544 HAS SOUS 133509 HAS SOUPS 133509 WITH SCORE 133700.544
AT ITER 1128 NEW BEST:: SOT 572611 SOS 191530 HAS SOPS 191530 HAS SOUS 133507 HAS SOUPS 133507 WITH SCORE 133698.53
AT ITER 1131 NEW BEST:: SOT 572474 SOS 191265 HAS SOPS 191265 HAS SOUS 130764 HAS SOUPS 130764 WITH SCORE 130955.265
AT ITER 1142 NEW BEST:: SOT 572474 SOS 191238 HAS SOPS 191238 HAS SOUS 130756 HAS SOUPS 130756 WITH SCORE 130947.238
AT ITER 1159 NEW BEST:: SOT 572423 SOS 190984 HAS SOPS 190984 HAS SOUS 130502 HAS SOUPS 130502 WITH SCORE 130692.984
AT ITER 1164 NEW BEST:: SOT 572331 SOS 190900 HAS SOPS 190900 HAS SOUS 130496 HAS SOUPS 130496 WITH SCORE 130686.9
AT ITER 1186 NEW BEST:: SOT 572331 SOS 190809 HAS SOPS 190809 HAS SOUS 130496 HAS SOUPS 130496 WITH SCORE 130686.809
AT ITER 1203 NEW BEST:: SOT 572319 SOS 190797 HAS SOPS 190797 HAS SOUS 130480 HAS SOUPS 130480 WITH SCORE 130670.797
AT ITER 1213 NEW BEST:: SOT 572314 SOS 190782 HAS SOPS 190782 HAS SOUS 130465 HAS SOUPS 130465 WITH SCORE 130655.782
AT ITER 1216 NEW BEST:: SOT 572280 SOS 191419 HAS SOPS 191419 HAS SOUS 130418 HAS SOUPS 130418 WITH SCORE 130609.419
AT ITER 1231 NEW BEST:: SOT 572112 SOS 191251 HAS SOPS 191251 HAS SOUS 130250 HAS SOUPS 130250 WITH SCORE 130441.251
AT ITER 1235 NEW BEST:: SOT 572112 SOS 191139 HAS SOPS 191139 HAS SOUS 128682 HAS SOUPS 128682 WITH SCORE 128873.139
AT ITER 1248 NEW BEST:: SOT 571632 SOS 190723 HAS SOPS 190723 HAS SOUS 128650 HAS SOUPS 128650 WITH SCORE 128840.723
AT ITER 1250 NEW BEST:: SOT 571186 SOS 190429 HAS SOPS 190429 HAS SOUS 128216 HAS SOUPS 128216 WITH SCORE 128406.429
AT ITER 1256 NEW BEST:: SOT 571663 SOS 191086 HAS SOPS 191086 HAS SOUS 128137 HAS SOUPS 128137 WITH SCORE 128328.086
AT ITER 1259 NEW BEST:: SOT 570611 SOS 190772 HAS SOPS 190772 HAS SOUS 127226 HAS SOUPS 127226 WITH SCORE 127416.772
AT ITER 1264 NEW BEST:: SOT 570611 SOS 190797 HAS SOPS 190797 HAS SOUS 127222 HAS SOUPS 127222 WITH SCORE 127412.797
AT ITER 1266 NEW BEST:: SOT 570633 SOS 190748 HAS SOPS 190748 HAS SOUS 127115 HAS SOUPS 127115 WITH SCORE 127305.748
AT ITER 1274 NEW BEST:: SOT 570576 SOS 190634 HAS SOPS 190634 HAS SOUS 127034 HAS SOUPS 127034 WITH SCORE 127224.634
AT ITER 1281 NEW BEST:: SOT 570549 SOS 190553 HAS SOPS 190553 HAS SOUS 126980 HAS SOUPS 126980 WITH SCORE 127170.553
AT ITER 1285 NEW BEST:: SOT 570548 SOS 190552 HAS SOPS 190552 HAS SOUS 126978 HAS SOUPS 126978 WITH SCORE 127168.552
AT ITER 1286 NEW BEST:: SOT 570548 SOS 190531 HAS SOPS 190531 HAS SOUS 126978 HAS SOUPS 126978 WITH SCORE 127168.531
AT ITER 1342 NEW BEST:: SOT 570472 SOS 190247 HAS SOPS 190247 HAS SOUS 126945 HAS SOUPS 126945 WITH SCORE 127135.247
AT ITER 1351 NEW BEST:: SOT 570536 SOS 190446 HAS SOPS 190446 HAS SOUS 126929 HAS SOUPS 126929 WITH SCORE 127119.446
AT ITER 1353 NEW BEST:: SOT 570516 SOS 190444 HAS SOPS 190444 HAS SOUS 126899 HAS SOUPS 126899 WITH SCORE 127089.444
AT ITER 1359 NEW BEST:: SOT 570530 SOS 190443 HAS SOPS 190443 HAS SOUS 126771 HAS SOUPS 126771 WITH SCORE 126961.443
AT ITER 1367 NEW BEST:: SOT 570530 SOS 190442 HAS SOPS 190442 HAS SOUS 126770 HAS SOUPS 126770 WITH SCORE 126960.442
AT ITER 1380 NEW BEST:: SOT 570400 SOS 190248 HAS SOPS 190248 HAS SOUS 126660 HAS SOUPS 126660 WITH SCORE 126850.248
AT ITER 1411 NEW BEST:: SOT 570318 SOS 190259 HAS SOPS 190259 HAS SOUS 126496 HAS SOUPS 126496 WITH SCORE 126686.259
AT ITER 1415 NEW BEST:: SOT 570308 SOS 190172 HAS SOPS 190172 HAS SOUS 126476 HAS SOUPS 126476 WITH SCORE 126666.172
AT ITER 1420 NEW BEST:: SOT 570210 SOS 190215 HAS SOPS 190215 HAS SOUS 126401 HAS SOUPS 126401 WITH SCORE 126591.215
AT ITER 1430 NEW BEST:: SOT 570205 SOS 190205 HAS SOPS 190205 HAS SOUS 126391 HAS SOUPS 126391 WITH SCORE 126581.205
AT ITER 1436 NEW BEST:: SOT 570196 SOS 190199 HAS SOPS 190199 HAS SOUS 126382 HAS SOUPS 126382 WITH SCORE 126572.199
AT ITER 1441 NEW BEST:: SOT 570183 SOS 190174 HAS SOPS 190174 HAS SOUS 126357 HAS SOUPS 126357 WITH SCORE 126547.174
AT ITER 1447 NEW BEST:: SOT 570164 SOS 190162 HAS SOPS 190162 HAS SOUS 126345 HAS SOUPS 126345 WITH SCORE 126535.162
AT ITER 1460 NEW BEST:: SOT 570020 SOS 189966 HAS SOPS 189966 HAS SOUS 126146 HAS SOUPS 126146 WITH SCORE 126335.966
AT ITER 1477 NEW BEST:: SOT 569828 SOS 189831 HAS SOPS 189831 HAS SOUS 126011 HAS SOUPS 126011 WITH SCORE 126200.831
AT ITER 1514 NEW BEST:: SOT 569828 SOS 189335 HAS SOPS 189335 HAS SOUS 125845 HAS SOUPS 125845 WITH SCORE 126034.335
AT ITER 1519 NEW BEST:: SOT 569763 SOS 189205 HAS SOPS 189205 HAS SOUS 125752 HAS SOUPS 125752 WITH SCORE 125941.205
AT ITER 1522 NEW BEST:: SOT 569762 SOS 189204 HAS SOPS 189204 HAS SOUS 125750 HAS SOUPS 125750 WITH SCORE 125939.204
AT ITER 1529 NEW BEST:: SOT 569762 SOS 189150 HAS SOPS 189150 HAS SOUS 125696 HAS SOUPS 125696 WITH SCORE 125885.15
AT ITER 1531 NEW BEST:: SOT 569749 SOS 189015 HAS SOPS 189015 HAS SOUS 125670 HAS SOUPS 125670 WITH SCORE 125859.015
AT ITER 1540 NEW BEST:: SOT 569690 SOS 189072 HAS SOPS 189072 HAS SOUS 125461 HAS SOUPS 125461 WITH SCORE 125650.072
AT ITER 1544 NEW BEST:: SOT 569644 SOS 188468 HAS SOPS 188468 HAS SOUS 125358 HAS SOUPS 125358 WITH SCORE 125546.468
AT ITER 1554 NEW BEST:: SOT 569641 SOS 188462 HAS SOPS 188462 HAS SOUS 125352 HAS SOUPS 125352 WITH SCORE 125540.462
AT ITER 1580 NEW BEST:: SOT 569660 SOS 188451 HAS SOPS 188451 HAS SOUS 125341 HAS SOUPS 125341 WITH SCORE 125529.451
AT ITER 1584 NEW BEST:: SOT 569668 SOS 188442 HAS SOPS 188442 HAS SOUS 125332 HAS SOUPS 125332 WITH SCORE 125520.442
AT ITER 1587 NEW BEST:: SOT 569533 SOS 188316 HAS SOPS 188316 HAS SOUS 125314 HAS SOUPS 125314 WITH SCORE 125502.316
AT ITER 1606 NEW BEST:: SOT 569533 SOS 188314 HAS SOPS 188314 HAS SOUS 125312 HAS SOUPS 125312 WITH SCORE 125500.314
AT ITER 1627 NEW BEST:: SOT 569407 SOS 188000 HAS SOPS 188000 HAS SOUS 125171 HAS SOUPS 125171 WITH SCORE 125359.0
AT ITER 1641 NEW BEST:: SOT 569133 SOS 188197 HAS SOPS 188197 HAS SOUS 124808 HAS SOUPS 124808 WITH SCORE 124996.197
AT ITER 1642 NEW BEST:: SOT 569101 SOS 188064 HAS SOPS 188064 HAS SOUS 124673 HAS SOUPS 124673 WITH SCORE 124861.064
AT ITER 1654 NEW BEST:: SOT 568949 SOS 188086 HAS SOPS 188086 HAS SOUS 124622 HAS SOUPS 124622 WITH SCORE 124810.086
AT ITER 1655 NEW BEST:: SOT 568949 SOS 188066 HAS SOPS 188066 HAS SOUS 124602 HAS SOUPS 124602 WITH SCORE 124790.066
AT ITER 1660 NEW BEST:: SOT 568975 SOS 188092 HAS SOPS 188092 HAS SOUS 124582 HAS SOUPS 124582 WITH SCORE 124770.092
AT ITER 1663 NEW BEST:: SOT 568947 SOS 187977 HAS SOPS 187977 HAS SOUS 124526 HAS SOUPS 124526 WITH SCORE 124713.977
AT ITER 1666 NEW BEST:: SOT 568947 SOS 187892 HAS SOPS 187892 HAS SOUS 124526 HAS SOUPS 124526 WITH SCORE 124713.892
AT ITER 1667 NEW BEST:: SOT 568939 SOS 187862 HAS SOPS 187862 HAS SOUS 124493 HAS SOUPS 124493 WITH SCORE 124680.862
AT ITER 1669 NEW BEST:: SOT 568972 SOS 187841 HAS SOPS 187841 HAS SOUS 124472 HAS SOUPS 124472 WITH SCORE 124659.841
AT ITER 1693 NEW BEST:: SOT 568942 SOS 187811 HAS SOPS 187811 HAS SOUS 124412 HAS SOUPS 124412 WITH SCORE 124599.811
AT ITER 1702 NEW BEST:: SOT 568928 SOS 187645 HAS SOPS 187645 HAS SOUS 124384 HAS SOUPS 124384 WITH SCORE 124571.645
AT ITER 1714 NEW BEST:: SOT 568847 SOS 187563 HAS SOPS 187563 HAS SOUS 124381 HAS SOUPS 124381 WITH SCORE 124568.563
AT ITER 1717 NEW BEST:: SOT 568744 SOS 187357 HAS SOPS 187357 HAS SOUS 124175 HAS SOUPS 124175 WITH SCORE 124362.357
AT ITER 1737 NEW BEST:: SOT 568583 SOS 187195 HAS SOPS 187195 HAS SOUS 124013 HAS SOUPS 124013 WITH SCORE 124200.195
AT ITER 1766 NEW BEST:: SOT 568583 SOS 187175 HAS SOPS 187175 HAS SOUS 123993 HAS SOUPS 123993 WITH SCORE 124180.175
AT ITER 1808 NEW BEST:: SOT 568511 SOS 187031 HAS SOPS 187031 HAS SOUS 123926 HAS SOUPS 123926 WITH SCORE 124113.031
AT ITER 1824 NEW BEST:: SOT 568485 SOS 186979 HAS SOPS 186979 HAS SOUS 123900 HAS SOUPS 123900 WITH SCORE 124086.979
AT ITER 1835 NEW BEST:: SOT 568485 SOS 186979 HAS SOPS 186979 HAS SOUS 123899 HAS SOUPS 123899 WITH SCORE 124085.979
AT ITER 1846 NEW BEST:: SOT 568443 SOS 186937 HAS SOPS 186937 HAS SOUS 123857 HAS SOUPS 123857 WITH SCORE 124043.937
AT ITER 1859 NEW BEST:: SOT 568412 SOS 186884 HAS SOPS 186884 HAS SOUS 123804 HAS SOUPS 123804 WITH SCORE 123990.884
AT ITER 1885 NEW BEST:: SOT 568373 SOS 186845 HAS SOPS 186845 HAS SOUS 123769 HAS SOUPS 123769 WITH SCORE 123955.845
AT ITER 1894 NEW BEST:: SOT 568356 SOS 186822 HAS SOPS 186822 HAS SOUS 123746 HAS SOUPS 123746 WITH SCORE 123932.822
AT ITER 1906 NEW BEST:: SOT 568402 SOS 186742 HAS SOPS 186742 HAS SOUS 123746 HAS SOUPS 123746 WITH SCORE 123932.742
AT ITER 1913 NEW BEST:: SOT 568403 SOS 186736 HAS SOPS 186736 HAS SOUS 123740 HAS SOUPS 123740 WITH SCORE 123926.736
AT ITER 1915 NEW BEST:: SOT 568885 SOS 187263 HAS SOPS 187263 HAS SOUS 123531 HAS SOUPS 123531 WITH SCORE 123718.263
AT ITER 1954 NEW BEST:: SOT 568787 SOS 186910 HAS SOPS 186910 HAS SOUS 123415 HAS SOUPS 123415 WITH SCORE 123601.91
AT ITER 1956 NEW BEST:: SOT 568693 SOS 186816 HAS SOPS 186816 HAS SOUS 123039 HAS SOUPS 123039 WITH SCORE 123225.816
AT ITER 1961 NEW BEST:: SOT 568699 SOS 186812 HAS SOPS 186812 HAS SOUS 123035 HAS SOUPS 123035 WITH SCORE 123221.812
AT ITER 1978 NEW BEST:: SOT 568699 SOS 186726 HAS SOPS 186726 HAS SOUS 122988 HAS SOUPS 122988 WITH SCORE 123174.726
AT ITER 1980 NEW BEST:: SOT 567639 SOS 186164 HAS SOPS 186164 HAS SOUS 122026 HAS SOUPS 122026 WITH SCORE 122212.164
AT ITER 1989 NEW BEST:: SOT 567471 SOS 186092 HAS SOPS 186092 HAS SOUS 121882 HAS SOUPS 121882 WITH SCORE 122068.092
AT ITER 2066 NEW BEST:: SOT 567456 SOS 186077 HAS SOPS 186077 HAS SOUS 121852 HAS SOUPS 121852 WITH SCORE 122038.077
AT ITER 2075 NEW BEST:: SOT 567411 SOS 185902 HAS SOPS 185902 HAS SOUS 121706 HAS SOUPS 121706 WITH SCORE 121891.902
AT ITER 2081 NEW BEST:: SOT 567334 SOS 185869 HAS SOPS 185869 HAS SOUS 121673 HAS SOUPS 121673 WITH SCORE 121858.869
AT ITER 2084 NEW BEST:: SOT 567321 SOS 185830 HAS SOPS 185830 HAS SOUS 121634 HAS SOUPS 121634 WITH SCORE 121819.83
AT ITER 2094 NEW BEST:: SOT 567220 SOS 185984 HAS SOPS 185984 HAS SOUS 121598 HAS SOUPS 121598 WITH SCORE 121783.984
AT ITER 2101 NEW BEST:: SOT 566903 SOS 185743 HAS SOPS 185743 HAS SOUS 121319 HAS SOUPS 121319 WITH SCORE 121504.743
AT ITER 2102 NEW BEST:: SOT 566751 SOS 185591 HAS SOPS 185591 HAS SOUS 121015 HAS SOUPS 121015 WITH SCORE 121200.591
AT ITER 2113 NEW BEST:: SOT 566637 SOS 185578 HAS SOPS 185578 HAS SOUS 120942 HAS SOUPS 120942 WITH SCORE 121127.578
AT ITER 2116 NEW BEST:: SOT 566637 SOS 185569 HAS SOPS 185569 HAS SOUS 120933 HAS SOUPS 120933 WITH SCORE 121118.569
AT ITER 2132 NEW BEST:: SOT 566684 SOS 185514 HAS SOPS 185514 HAS SOUS 120747 HAS SOUPS 120747 WITH SCORE 120932.514
AT ITER 2133 NEW BEST:: SOT 566684 SOS 185513 HAS SOPS 185513 HAS SOUS 120746 HAS SOUPS 120746 WITH SCORE 120931.513
AT ITER 2143 NEW BEST:: SOT 566659 SOS 185463 HAS SOPS 185463 HAS SOUS 120696 HAS SOUPS 120696 WITH SCORE 120881.463
AT ITER 2154 NEW BEST:: SOT 566642 SOS 185429 HAS SOPS 185429 HAS SOUS 120679 HAS SOUPS 120679 WITH SCORE 120864.429
AT ITER 2209 NEW BEST:: SOT 566640 SOS 185427 HAS SOPS 185427 HAS SOUS 120676 HAS SOUPS 120676 WITH SCORE 120861.427
AT ITER 2224 NEW BEST:: SOT 566633 SOS 185265 HAS SOPS 185265 HAS SOUS 120624 HAS SOUPS 120624 WITH SCORE 120809.265
AT ITER 2226 NEW BEST:: SOT 566551 SOS 185288 HAS SOPS 185288 HAS SOUS 120572 HAS SOUPS 120572 WITH SCORE 120757.288
AT ITER 2232 NEW BEST:: SOT 566551 SOS 185280 HAS SOPS 185280 HAS SOUS 120572 HAS SOUPS 120572 WITH SCORE 120757.28
AT ITER 2269 NEW BEST:: SOT 566501 SOS 185180 HAS SOPS 185180 HAS SOUS 120472 HAS SOUPS 120472 WITH SCORE 120657.18
AT ITER 2274 NEW BEST:: SOT 566422 SOS 185097 HAS SOPS 185097 HAS SOUS 120389 HAS SOUPS 120389 WITH SCORE 120574.097
AT ITER 2280 NEW BEST:: SOT 566385 SOS 185021 HAS SOPS 185021 HAS SOUS 120351 HAS SOUPS 120351 WITH SCORE 120536.021
AT ITER 2287 NEW BEST:: SOT 566281 SOS 184943 HAS SOPS 184943 HAS SOUS 120273 HAS SOUPS 120273 WITH SCORE 120457.943
AT ITER 2296 NEW BEST:: SOT 566255 SOS 184889 HAS SOPS 184889 HAS SOUS 120219 HAS SOUPS 120219 WITH SCORE 120403.889
AT ITER 2297 NEW BEST:: SOT 566254 SOS 184856 HAS SOPS 184856 HAS SOUS 120217 HAS SOUPS 120217 WITH SCORE 120401.856
AT ITER 2305 NEW BEST:: SOT 566253 SOS 184854 HAS SOPS 184854 HAS SOUS 120216 HAS SOUPS 120216 WITH SCORE 120400.854
AT ITER 2313 NEW BEST:: SOT 566269 SOS 184754 HAS SOPS 184754 HAS SOUS 120209 HAS SOUPS 120209 WITH SCORE 120393.754
AT ITER 2321 NEW BEST:: SOT 566268 SOS 184651 HAS SOPS 184651 HAS SOUS 120168 HAS SOUPS 120168 WITH SCORE 120352.651
AT ITER 2330 NEW BEST:: SOT 566158 SOS 184672 HAS SOPS 184672 HAS SOUS 120086 HAS SOUPS 120086 WITH SCORE 120270.672
AT ITER 2346 NEW BEST:: SOT 566398 SOS 185001 HAS SOPS 185001 HAS SOUS 119679 HAS SOUPS 119679 WITH SCORE 119864.001
AT ITER 2348 NEW BEST:: SOT 566334 SOS 184728 HAS SOPS 184728 HAS SOUS 119551 HAS SOUPS 119551 WITH SCORE 119735.728
AT ITER 2373 NEW BEST:: SOT 566273 SOS 184398 HAS SOPS 184398 HAS SOUS 119429 HAS SOUPS 119429 WITH SCORE 119613.398
AT ITER 2386 NEW BEST:: SOT 566270 SOS 184392 HAS SOPS 184392 HAS SOUS 119423 HAS SOUPS 119423 WITH SCORE 119607.392
AT ITER 2400 NEW BEST:: SOT 566270 SOS 184340 HAS SOPS 184340 HAS SOUS 119423 HAS SOUPS 119423 WITH SCORE 119607.34
AT ITER 2443 NEW BEST:: SOT 566270 SOS 184325 HAS SOPS 184325 HAS SOUS 119423 HAS SOUPS 119423 WITH SCORE 119607.325
AT ITER 2449 NEW BEST:: SOT 565674 SOS 183872 HAS SOPS 183872 HAS SOUS 118970 HAS SOUPS 118970 WITH SCORE 119153.872
AT ITER 2455 NEW BEST:: SOT 565585 SOS 183673 HAS SOPS 183673 HAS SOUS 117410 HAS SOUPS 117410 WITH SCORE 117593.673
AT ITER 2460 NEW BEST:: SOT 565540 SOS 183581 HAS SOPS 183581 HAS SOUS 117280 HAS SOUPS 117280 WITH SCORE 117463.581
AT ITER 2512 NEW BEST:: SOT 565537 SOS 183578 HAS SOPS 183578 HAS SOUS 117276 HAS SOUPS 117276 WITH SCORE 117459.578
AT ITER 2518 NEW BEST:: SOT 565435 SOS 183374 HAS SOPS 183374 HAS SOUS 117072 HAS SOUPS 117072 WITH SCORE 117255.374
AT ITER 2548 NEW BEST:: SOT 565415 SOS 183394 HAS SOPS 183394 HAS SOUS 117071 HAS SOUPS 117071 WITH SCORE 117254.394
AT ITER 2564 NEW BEST:: SOT 565282 SOS 183242 HAS SOPS 183242 HAS SOUS 116760 HAS SOUPS 116760 WITH SCORE 116943.242
AT ITER 2574 NEW BEST:: SOT 565260 SOS 183198 HAS SOPS 183198 HAS SOUS 116716 HAS SOUPS 116716 WITH SCORE 116899.198
AT ITER 2588 NEW BEST:: SOT 565249 SOS 183121 HAS SOPS 183121 HAS SOUS 116672 HAS SOUPS 116672 WITH SCORE 116855.121
AT ITER 2596 NEW BEST:: SOT 565113 SOS 182830 HAS SOPS 182830 HAS SOUS 116515 HAS SOUPS 116515 WITH SCORE 116697.83
AT ITER 2608 NEW BEST:: SOT 564510 SOS 182303 HAS SOPS 182303 HAS SOUS 115935 HAS SOUPS 115935 WITH SCORE 116117.303
AT ITER 2620 NEW BEST:: SOT 564510 SOS 182299 HAS SOPS 182299 HAS SOUS 115931 HAS SOUPS 115931 WITH SCORE 116113.299
AT ITER 2650 NEW BEST:: SOT 564345 SOS 182091 HAS SOPS 182091 HAS SOUS 115812 HAS SOUPS 115812 WITH SCORE 115994.091
AT ITER 2657 NEW BEST:: SOT 564265 SOS 181929 HAS SOPS 181929 HAS SOUS 115731 HAS SOUPS 115731 WITH SCORE 115912.929
AT ITER 2678 NEW BEST:: SOT 564300 SOS 181904 HAS SOPS 181904 HAS SOUS 115706 HAS SOUPS 115706 WITH SCORE 115887.904
AT ITER 2680 NEW BEST:: SOT 564300 SOS 181963 HAS SOPS 181963 HAS SOUS 115701 HAS SOUPS 115701 WITH SCORE 115882.963
AT ITER 2698 NEW BEST:: SOT 564306 SOS 181853 HAS SOPS 181853 HAS SOUS 115591 HAS SOUPS 115591 WITH SCORE 115772.853
AT ITER 2751 NEW BEST:: SOT 564262 SOS 181809 HAS SOPS 181809 HAS SOUS 115483 HAS SOUPS 115483 WITH SCORE 115664.809
AT ITER 2759 NEW BEST:: SOT 564153 SOS 181746 HAS SOPS 181746 HAS SOUS 115476 HAS SOUPS 115476 WITH SCORE 115657.746
AT ITER 2762 NEW BEST:: SOT 564147 SOS 181791 HAS SOPS 181791 HAS SOUS 115468 HAS SOUPS 115468 WITH SCORE 115649.791
AT ITER 2782 NEW BEST:: SOT 564119 SOS 181763 HAS SOPS 181763 HAS SOUS 115440 HAS SOUPS 115440 WITH SCORE 115621.763
AT ITER 2803 NEW BEST:: SOT 564117 SOS 181759 HAS SOPS 181759 HAS SOUS 115436 HAS SOUPS 115436 WITH SCORE 115617.759
AT ITER 2806 NEW BEST:: SOT 563862 SOS 181521 HAS SOPS 181521 HAS SOUS 115419 HAS SOUPS 115419 WITH SCORE 115600.521
AT ITER 2823 NEW BEST:: SOT 563862 SOS 181517 HAS SOPS 181517 HAS SOUS 115415 HAS SOUPS 115415 WITH SCORE 115596.517
AT ITER 2839 NEW BEST:: SOT 563781 SOS 181434 HAS SOPS 181434 HAS SOUS 115332 HAS SOUPS 115332 WITH SCORE 115513.434
AT ITER 2866 NEW BEST:: SOT 563828 SOS 181188 HAS SOPS 181188 HAS SOUS 112301 HAS SOUPS 112301 WITH SCORE 112482.188
AT ITER 2868 NEW BEST:: SOT 563794 SOS 181167 HAS SOPS 181167 HAS SOUS 112227 HAS SOUPS 112227 WITH SCORE 112408.167
AT ITER 2902 NEW BEST:: SOT 563778 SOS 181135 HAS SOPS 181135 HAS SOUS 112195 HAS SOUPS 112195 WITH SCORE 112376.135
AT ITER 2907 NEW BEST:: SOT 563755 SOS 181112 HAS SOPS 181112 HAS SOUS 112172 HAS SOUPS 112172 WITH SCORE 112353.112
AT ITER 2948 NEW BEST:: SOT 563755 SOS 181099 HAS SOPS 181099 HAS SOUS 112159 HAS SOUPS 112159 WITH SCORE 112340.099
AT ITER 2961 NEW BEST:: SOT 563465 SOS 180903 HAS SOPS 180903 HAS SOUS 111963 HAS SOUPS 111963 WITH SCORE 112143.903
AT ITER 2963 NEW BEST:: SOT 563331 SOS 180815 HAS SOPS 180815 HAS SOUS 111874 HAS SOUPS 111874 WITH SCORE 112054.815
AT ITER 2997 NEW BEST:: SOT 563362 SOS 180846 HAS SOPS 180846 HAS SOUS 111868 HAS SOUPS 111868 WITH SCORE 112048.846
AT ITER 3000 NEW BEST:: SOT 563362 SOS 180841 HAS SOPS 180841 HAS SOUS 111863 HAS SOUPS 111863 WITH SCORE 112043.841
AT ITER 3006 NEW BEST:: SOT 563290 SOS 180738 HAS SOPS 180738 HAS SOUS 111760 HAS SOUPS 111760 WITH SCORE 111940.738
AT ITER 3009 NEW BEST:: SOT 563277 SOS 180440 HAS SOPS 180440 HAS SOUS 111734 HAS SOUPS 111734 WITH SCORE 111914.44
AT ITER 3014 NEW BEST:: SOT 563272 SOS 180435 HAS SOPS 180435 HAS SOUS 111711 HAS SOUPS 111711 WITH SCORE 111891.435
AT ITER 3020 NEW BEST:: SOT 563219 SOS 180212 HAS SOPS 180212 HAS SOUS 111657 HAS SOUPS 111657 WITH SCORE 111837.212
AT ITER 3036 NEW BEST:: SOT 563173 SOS 180199 HAS SOPS 180199 HAS SOUS 111611 HAS SOUPS 111611 WITH SCORE 111791.199
AT ITER 3038 NEW BEST:: SOT 563172 SOS 180198 HAS SOPS 180198 HAS SOUS 111611 HAS SOUPS 111611 WITH SCORE 111791.198
AT ITER 3051 NEW BEST:: SOT 563161 SOS 180189 HAS SOPS 180189 HAS SOUS 111589 HAS SOUPS 111589 WITH SCORE 111769.189
AT ITER 3068 NEW BEST:: SOT 562261 SOS 178830 HAS SOPS 178830 HAS SOUS 111448 HAS SOUPS 111448 WITH SCORE 111626.83
AT ITER 3077 NEW BEST:: SOT 562290 SOS 178907 HAS SOPS 178907 HAS SOUS 111071 HAS SOUPS 111071 WITH SCORE 111249.907
AT ITER 3078 NEW BEST:: SOT 562258 SOS 178854 HAS SOPS 178854 HAS SOUS 111044 HAS SOUPS 111044 WITH SCORE 111222.854
AT ITER 3118 NEW BEST:: SOT 562258 SOS 178806 HAS SOPS 178806 HAS SOUS 111034 HAS SOUPS 111034 WITH SCORE 111212.806
AT ITER 3127 NEW BEST:: SOT 562162 SOS 178765 HAS SOPS 178765 HAS SOUS 110979 HAS SOUPS 110979 WITH SCORE 111157.765
AT ITER 3133 NEW BEST:: SOT 562161 SOS 178764 HAS SOPS 178764 HAS SOUS 110978 HAS SOUPS 110978 WITH SCORE 111156.764
AT ITER 3159 NEW BEST:: SOT 562161 SOS 178764 HAS SOPS 178764 HAS SOUS 110963 HAS SOUPS 110963 WITH SCORE 111141.764
AT ITER 3181 NEW BEST:: SOT 562161 SOS 178694 HAS SOPS 178694 HAS SOUS 110963 HAS SOUPS 110963 WITH SCORE 111141.694
AT ITER 3211 NEW BEST:: SOT 562080 SOS 178613 HAS SOPS 178613 HAS SOUS 110882 HAS SOUPS 110882 WITH SCORE 111060.613
AT ITER 3220 NEW BEST:: SOT 562062 SOS 178583 HAS SOPS 178583 HAS SOUS 110852 HAS SOUPS 110852 WITH SCORE 111030.583
AT ITER 3227 NEW BEST:: SOT 561865 SOS 178159 HAS SOPS 178159 HAS SOUS 110823 HAS SOUPS 110823 WITH SCORE 111001.159
AT ITER 3256 NEW BEST:: SOT 561858 SOS 178106 HAS SOPS 178106 HAS SOUS 110770 HAS SOUPS 110770 WITH SCORE 110948.106
AT ITER 3264 NEW BEST:: SOT 561864 SOS 178088 HAS SOPS 178088 HAS SOUS 110745 HAS SOUPS 110745 WITH SCORE 110923.088
AT ITER 3278 NEW BEST:: SOT 561863 SOS 178061 HAS SOPS 178061 HAS SOUS 110718 HAS SOUPS 110718 WITH SCORE 110896.061
AT ITER 3286 NEW BEST:: SOT 561852 SOS 178576 HAS SOPS 178576 HAS SOUS 110701 HAS SOUPS 110701 WITH SCORE 110879.576
AT ITER 3317 NEW BEST:: SOT 561596 SOS 178597 HAS SOPS 178597 HAS SOUS 110569 HAS SOUPS 110569 WITH SCORE 110747.597
AT ITER 3329 NEW BEST:: SOT 561596 SOS 178597 HAS SOPS 178597 HAS SOUS 110502 HAS SOUPS 110502 WITH SCORE 110680.597
AT ITER 3333 NEW BEST:: SOT 561596 SOS 178437 HAS SOPS 178437 HAS SOUS 110502 HAS SOUPS 110502 WITH SCORE 110680.437
AT ITER 3343 NEW BEST:: SOT 561596 SOS 178427 HAS SOPS 178427 HAS SOUS 110492 HAS SOUPS 110492 WITH SCORE 110670.427
AT ITER 3363 NEW BEST:: SOT 561535 SOS 178366 HAS SOPS 178366 HAS SOUS 110297 HAS SOUPS 110297 WITH SCORE 110475.366
AT ITER 3366 NEW BEST:: SOT 561582 SOS 178242 HAS SOPS 178242 HAS SOUS 110173 HAS SOUPS 110173 WITH SCORE 110351.242
AT ITER 3379 NEW BEST:: SOT 561581 SOS 178239 HAS SOPS 178239 HAS SOUS 110170 HAS SOUPS 110170 WITH SCORE 110348.239
AT ITER 3401 NEW BEST:: SOT 561491 SOS 178101 HAS SOPS 178101 HAS SOUS 109990 HAS SOUPS 109990 WITH SCORE 110168.101
AT ITER 3408 NEW BEST:: SOT 561471 SOS 178038 HAS SOPS 178038 HAS SOUS 109970 HAS SOUPS 109970 WITH SCORE 110148.038
AT ITER 3410 NEW BEST:: SOT 561386 SOS 177878 HAS SOPS 177878 HAS SOUS 109885 HAS SOUPS 109885 WITH SCORE 110062.878
AT ITER 3430 NEW BEST:: SOT 561348 SOS 177821 HAS SOPS 177821 HAS SOUS 109828 HAS SOUPS 109828 WITH SCORE 110005.821
AT ITER 3434 NEW BEST:: SOT 561339 SOS 177820 HAS SOPS 177820 HAS SOUS 109827 HAS SOUPS 109827 WITH SCORE 110004.82
AT ITER 3443 NEW BEST:: SOT 561521 SOS 177907 HAS SOPS 177907 HAS SOUS 109649 HAS SOUPS 109649 WITH SCORE 109826.907
AT ITER 3450 NEW BEST:: SOT 561473 SOS 177823 HAS SOPS 177823 HAS SOUS 109565 HAS SOUPS 109565 WITH SCORE 109742.823
AT ITER 3461 NEW BEST:: SOT 561473 SOS 177776 HAS SOPS 177776 HAS SOUS 109565 HAS SOUPS 109565 WITH SCORE 109742.776
AT ITER 3466 NEW BEST:: SOT 561214 SOS 179345 HAS SOPS 179345 HAS SOUS 109460 HAS SOUPS 109460 WITH SCORE 109639.345
AT ITER 3470 NEW BEST:: SOT 560479 SOS 178610 HAS SOPS 178610 HAS SOUS 108725 HAS SOUPS 108725 WITH SCORE 108903.61
AT ITER 3497 NEW BEST:: SOT 560445 SOS 178542 HAS SOPS 178542 HAS SOUS 108657 HAS SOUPS 108657 WITH SCORE 108835.542
AT ITER 3515 NEW BEST:: SOT 560387 SOS 178466 HAS SOPS 178466 HAS SOUS 108581 HAS SOUPS 108581 WITH SCORE 108759.466
AT ITER 3538 NEW BEST:: SOT 560350 SOS 178429 HAS SOPS 178429 HAS SOUS 108507 HAS SOUPS 108507 WITH SCORE 108685.429
AT ITER 3562 NEW BEST:: SOT 560330 SOS 178429 HAS SOPS 178429 HAS SOUS 108487 HAS SOUPS 108487 WITH SCORE 108665.429
AT ITER 3565 NEW BEST:: SOT 560303 SOS 178376 HAS SOPS 178376 HAS SOUS 108407 HAS SOUPS 108407 WITH SCORE 108585.376
AT ITER 3591 NEW BEST:: SOT 560360 SOS 178357 HAS SOPS 178357 HAS SOUS 108365 HAS SOUPS 108365 WITH SCORE 108543.357
AT ITER 3592 NEW BEST:: SOT 560309 SOS 178316 HAS SOPS 178316 HAS SOUS 108304 HAS SOUPS 108304 WITH SCORE 108482.316
AT ITER 3603 NEW BEST:: SOT 560169 SOS 179168 HAS SOPS 179168 HAS SOUS 108214 HAS SOUPS 108214 WITH SCORE 108393.168
AT ITER 3618 NEW BEST:: SOT 560151 SOS 179150 HAS SOPS 179150 HAS SOUS 108196 HAS SOUPS 108196 WITH SCORE 108375.15
AT ITER 3628 NEW BEST:: SOT 559946 SOS 178740 HAS SOPS 178740 HAS SOUS 108153 HAS SOUPS 108153 WITH SCORE 108331.74
AT ITER 3681 NEW BEST:: SOT 559891 SOS 178948 HAS SOPS 178948 HAS SOUS 107995 HAS SOUPS 107995 WITH SCORE 108173.948
AT ITER 3685 NEW BEST:: SOT 559886 SOS 178943 HAS SOPS 178943 HAS SOUS 107990 HAS SOUPS 107990 WITH SCORE 108168.943
AT ITER 3690 NEW BEST:: SOT 559823 SOS 179054 HAS SOPS 179054 HAS SOUS 107927 HAS SOUPS 107927 WITH SCORE 108106.054
AT ITER 3712 NEW BEST:: SOT 559822 SOS 179016 HAS SOPS 179016 HAS SOUS 107902 HAS SOUPS 107902 WITH SCORE 108081.016
AT ITER 3722 NEW BEST:: SOT 559771 SOS 178965 HAS SOPS 178965 HAS SOUS 107802 HAS SOUPS 107802 WITH SCORE 107980.965
AT ITER 3729 NEW BEST:: SOT 559692 SOS 178886 HAS SOPS 178886 HAS SOUS 107723 HAS SOUPS 107723 WITH SCORE 107901.886
AT ITER 3748 NEW BEST:: SOT 559673 SOS 178848 HAS SOPS 178848 HAS SOUS 107550 HAS SOUPS 107550 WITH SCORE 107728.848
AT ITER 3763 NEW BEST:: SOT 559564 SOS 178877 HAS SOPS 178877 HAS SOUS 107495 HAS SOUPS 107495 WITH SCORE 107673.877
AT ITER 3771 NEW BEST:: SOT 559534 SOS 178847 HAS SOPS 178847 HAS SOUS 107435 HAS SOUPS 107435 WITH SCORE 107613.847
AT ITER 3772 NEW BEST:: SOT 559511 SOS 178774 HAS SOPS 178774 HAS SOUS 107389 HAS SOUPS 107389 WITH SCORE 107567.774
AT ITER 3802 NEW BEST:: SOT 559500 SOS 178740 HAS SOPS 178740 HAS SOUS 107367 HAS SOUPS 107367 WITH SCORE 107545.74
AT ITER 3867 NEW BEST:: SOT 559466 SOS 178672 HAS SOPS 178672 HAS SOUS 107299 HAS SOUPS 107299 WITH SCORE 107477.672
AT ITER 3884 NEW BEST:: SOT 559428 SOS 178596 HAS SOPS 178596 HAS SOUS 107223 HAS SOUPS 107223 WITH SCORE 107401.596
AT ITER 3885 NEW BEST:: SOT 559325 SOS 178336 HAS SOPS 178336 HAS SOUS 107033 HAS SOUPS 107033 WITH SCORE 107211.336
AT ITER 3891 NEW BEST:: SOT 559289 SOS 178224 HAS SOPS 178224 HAS SOUS 107028 HAS SOUPS 107028 WITH SCORE 107206.224
AT ITER 3903 NEW BEST:: SOT 559220 SOS 178155 HAS SOPS 178155 HAS SOUS 106936 HAS SOUPS 106936 WITH SCORE 107114.155
AT ITER 3915 NEW BEST:: SOT 559143 SOS 178001 HAS SOPS 178001 HAS SOUS 106782 HAS SOUPS 106782 WITH SCORE 106960.001
AT ITER 3939 NEW BEST:: SOT 559124 SOS 177957 HAS SOPS 177957 HAS SOUS 106744 HAS SOUPS 106744 WITH SCORE 106921.957
AT ITER 4013 NEW BEST:: SOT 559089 SOS 177922 HAS SOPS 177922 HAS SOUS 106709 HAS SOUPS 106709 WITH SCORE 106886.922
AT ITER 4040 NEW BEST:: SOT 559087 SOS 177833 HAS SOPS 177833 HAS SOUS 106668 HAS SOUPS 106668 WITH SCORE 106845.833
AT ITER 4072 NEW BEST:: SOT 559124 SOS 177907 HAS SOPS 177907 HAS SOUS 106662 HAS SOUPS 106662 WITH SCORE 106839.907
AT ITER 4074 NEW BEST:: SOT 559124 SOS 177900 HAS SOPS 177900 HAS SOUS 106662 HAS SOUPS 106662 WITH SCORE 106839.9
AT ITER 4090 NEW BEST:: SOT 559124 SOS 177885 HAS SOPS 177885 HAS SOUS 106662 HAS SOUPS 106662 WITH SCORE 106839.885
AT ITER 4135 NEW BEST:: SOT 559046 SOS 177807 HAS SOPS 177807 HAS SOUS 106584 HAS SOUPS 106584 WITH SCORE 106761.807
AT ITER 4158 NEW BEST:: SOT 559021 SOS 177681 HAS SOPS 177681 HAS SOUS 106458 HAS SOUPS 106458 WITH SCORE 106635.681
AT ITER 4171 NEW BEST:: SOT 559009 SOS 177669 HAS SOPS 177669 HAS SOUS 106446 HAS SOUPS 106446 WITH SCORE 106623.669
AT ITER 4181 NEW BEST:: SOT 558986 SOS 177742 HAS SOPS 177742 HAS SOUS 106400 HAS SOUPS 106400 WITH SCORE 106577.742
AT ITER 4211 NEW BEST:: SOT 558731 SOS 177504 HAS SOPS 177504 HAS SOUS 106383 HAS SOUPS 106383 WITH SCORE 106560.504
AT ITER 4228 NEW BEST:: SOT 558721 SOS 177484 HAS SOPS 177484 HAS SOUS 106363 HAS SOUPS 106363 WITH SCORE 106540.484
AT ITER 4231 NEW BEST:: SOT 558574 SOS 177444 HAS SOPS 177444 HAS SOUS 106302 HAS SOUPS 106302 WITH SCORE 106479.444
AT ITER 4233 NEW BEST:: SOT 558574 SOS 177412 HAS SOPS 177412 HAS SOUS 106270 HAS SOUPS 106270 WITH SCORE 106447.412
AT ITER 4245 NEW BEST:: SOT 558458 SOS 177353 HAS SOPS 177353 HAS SOUS 106211 HAS SOUPS 106211 WITH SCORE 106388.353
AT ITER 4262 NEW BEST:: SOT 558458 SOS 177325 HAS SOPS 177325 HAS SOUS 106183 HAS SOUPS 106183 WITH SCORE 106360.325
AT ITER 4264 NEW BEST:: SOT 558491 SOS 177316 HAS SOPS 177316 HAS SOUS 106174 HAS SOUPS 106174 WITH SCORE 106351.316
AT ITER 4268 NEW BEST:: SOT 558372 SOS 178092 HAS SOPS 178092 HAS SOUS 106150 HAS SOUPS 106150 WITH SCORE 106328.092
AT ITER 4335 NEW BEST:: SOT 558363 SOS 178020 HAS SOPS 178020 HAS SOUS 106123 HAS SOUPS 106123 WITH SCORE 106301.02
AT ITER 4345 NEW BEST:: SOT 558363 SOS 177942 HAS SOPS 177942 HAS SOUS 106123 HAS SOUPS 106123 WITH SCORE 106300.942
AT ITER 4350 NEW BEST:: SOT 558278 SOS 177856 HAS SOPS 177856 HAS SOUS 106037 HAS SOUPS 106037 WITH SCORE 106214.856
AT ITER 4356 NEW BEST:: SOT 558241 SOS 177706 HAS SOPS 177706 HAS SOUS 105848 HAS SOUPS 105848 WITH SCORE 106025.706
AT ITER 4363 NEW BEST:: SOT 558136 SOS 177566 HAS SOPS 177566 HAS SOUS 105708 HAS SOUPS 105708 WITH SCORE 105885.566
AT ITER 4445 NEW BEST:: SOT 558136 SOS 177565 HAS SOPS 177565 HAS SOUS 105708 HAS SOUPS 105708 WITH SCORE 105885.565
AT ITER 4448 NEW BEST:: SOT 558063 SOS 177492 HAS SOPS 177492 HAS SOUS 105635 HAS SOUPS 105635 WITH SCORE 105812.492
AT ITER 4459 NEW BEST:: SOT 557909 SOS 178473 HAS SOPS 178473 HAS SOUS 105489 HAS SOUPS 105489 WITH SCORE 105667.473
AT ITER 4506 NEW BEST:: SOT 556935 SOS 178385 HAS SOPS 178385 HAS SOUS 104638 HAS SOUPS 104638 WITH SCORE 104816.385
AT ITER 4519 NEW BEST:: SOT 556935 SOS 178383 HAS SOPS 178383 HAS SOUS 104636 HAS SOUPS 104636 WITH SCORE 104814.383
AT ITER 4541 NEW BEST:: SOT 556935 SOS 178361 HAS SOPS 178361 HAS SOUS 104636 HAS SOUPS 104636 WITH SCORE 104814.361
AT ITER 4557 NEW BEST:: SOT 556857 SOS 178283 HAS SOPS 178283 HAS SOUS 104558 HAS SOUPS 104558 WITH SCORE 104736.283
AT ITER 4558 NEW BEST:: SOT 556857 SOS 178271 HAS SOPS 178271 HAS SOUS 104546 HAS SOUPS 104546 WITH SCORE 104724.271
AT ITER 4562 NEW BEST:: SOT 556883 SOS 178304 HAS SOPS 178304 HAS SOUS 104522 HAS SOUPS 104522 WITH SCORE 104700.304
AT ITER 4563 NEW BEST:: SOT 556883 SOS 178293 HAS SOPS 178293 HAS SOUS 104445 HAS SOUPS 104445 WITH SCORE 104623.293
AT ITER 4577 NEW BEST:: SOT 556883 SOS 178200 HAS SOPS 178200 HAS SOUS 104445 HAS SOUPS 104445 WITH SCORE 104623.2
AT ITER 4601 NEW BEST:: SOT 556883 SOS 178175 HAS SOPS 178175 HAS SOUS 104445 HAS SOUPS 104445 WITH SCORE 104623.175
AT ITER 4603 NEW BEST:: SOT 556882 SOS 178174 HAS SOPS 178174 HAS SOUS 104443 HAS SOUPS 104443 WITH SCORE 104621.174
AT ITER 4644 NEW BEST:: SOT 556847 SOS 177528 HAS SOPS 177528 HAS SOUS 104378 HAS SOUPS 104378 WITH SCORE 104555.528
AT ITER 4655 NEW BEST:: SOT 556847 SOS 176072 HAS SOPS 176072 HAS SOUS 104378 HAS SOUPS 104378 WITH SCORE 104554.072
AT ITER 4678 NEW BEST:: SOT 556830 SOS 176038 HAS SOPS 176038 HAS SOUS 104344 HAS SOUPS 104344 WITH SCORE 104520.038
AT ITER 4690 NEW BEST:: SOT 556805 SOS 175991 HAS SOPS 175991 HAS SOUS 104297 HAS SOUPS 104297 WITH SCORE 104472.991
AT ITER 4707 NEW BEST:: SOT 556782 SOS 175964 HAS SOPS 175964 HAS SOUS 104273 HAS SOUPS 104273 WITH SCORE 104448.964
AT ITER 4712 NEW BEST:: SOT 556797 SOS 175928 HAS SOPS 175928 HAS SOUS 104237 HAS SOUPS 104237 WITH SCORE 104412.928
AT ITER 4735 NEW BEST:: SOT 556781 SOS 175912 HAS SOPS 175912 HAS SOUS 104221 HAS SOUPS 104221 WITH SCORE 104396.912
AT ITER 4766 NEW BEST:: SOT 556751 SOS 175820 HAS SOPS 175820 HAS SOUS 104099 HAS SOUPS 104099 WITH SCORE 104274.82
AT ITER 4772 NEW BEST:: SOT 556700 SOS 175623 HAS SOPS 175623 HAS SOUS 104085 HAS SOUPS 104085 WITH SCORE 104260.623
AT ITER 4832 NEW BEST:: SOT 556663 SOS 175565 HAS SOPS 175565 HAS SOUS 104048 HAS SOUPS 104048 WITH SCORE 104223.565
AT ITER 4854 NEW BEST:: SOT 556633 SOS 175465 HAS SOPS 175465 HAS SOUS 103948 HAS SOUPS 103948 WITH SCORE 104123.465
AT ITER 4860 NEW BEST:: SOT 556633 SOS 175483 HAS SOPS 175483 HAS SOUS 103924 HAS SOUPS 103924 WITH SCORE 104099.483
AT ITER 4900 NEW BEST:: SOT 556633 SOS 175434 HAS SOPS 175434 HAS SOUS 103875 HAS SOUPS 103875 WITH SCORE 104050.434
AT ITER 4930 NEW BEST:: SOT 556633 SOS 175419 HAS SOPS 175419 HAS SOUS 103875 HAS SOUPS 103875 WITH SCORE 104050.419
AT ITER 4933 NEW BEST:: SOT 556632 SOS 175173 HAS SOPS 175173 HAS SOUS 103835 HAS SOUPS 103835 WITH SCORE 104010.173
AT ITER 4938 NEW BEST:: SOT 556602 SOS 175128 HAS SOPS 175128 HAS SOUS 103790 HAS SOUPS 103790 WITH SCORE 103965.128
AT ITER 4995 NEW BEST:: SOT 556602 SOS 175072 HAS SOPS 175072 HAS SOUS 103790 HAS SOUPS 103790 WITH SCORE 103965.072
AT ITER 5005 NEW BEST:: SOT 556602 SOS 175052 HAS SOPS 175052 HAS SOUS 103770 HAS SOUPS 103770 WITH SCORE 103945.052
AT ITER 5010 NEW BEST:: SOT 556503 SOS 174938 HAS SOPS 174938 HAS SOUS 103736 HAS SOUPS 103736 WITH SCORE 103910.938
AT ITER 5012 NEW BEST:: SOT 556501 SOS 174934 HAS SOPS 174934 HAS SOUS 103732 HAS SOUPS 103732 WITH SCORE 103906.934
AT ITER 5028 NEW BEST:: SOT 556500 SOS 174929 HAS SOPS 174929 HAS SOUS 103727 HAS SOUPS 103727 WITH SCORE 103901.929
AT ITER 5032 NEW BEST:: SOT 556490 SOS 174906 HAS SOPS 174906 HAS SOUS 103704 HAS SOUPS 103704 WITH SCORE 103878.906
AT ITER 5038 NEW BEST:: SOT 556484 SOS 174890 HAS SOPS 174890 HAS SOUS 103692 HAS SOUPS 103692 WITH SCORE 103866.89
AT ITER 5046 NEW BEST:: SOT 556504 SOS 173811 HAS SOPS 173811 HAS SOUS 103580 HAS SOUPS 103580 WITH SCORE 103753.811
AT ITER 5061 NEW BEST:: SOT 556475 SOS 173710 HAS SOPS 173710 HAS SOUS 103524 HAS SOUPS 103524 WITH SCORE 103697.71
AT ITER 5072 NEW BEST:: SOT 556452 SOS 173687 HAS SOPS 173687 HAS SOUS 103501 HAS SOUPS 103501 WITH SCORE 103674.687
AT ITER 5075 NEW BEST:: SOT 556451 SOS 173566 HAS SOPS 173566 HAS SOUS 103499 HAS SOUPS 103499 WITH SCORE 103672.566
AT ITER 5105 NEW BEST:: SOT 556410 SOS 173455 HAS SOPS 173455 HAS SOUS 103415 HAS SOUPS 103415 WITH SCORE 103588.455
AT ITER 5113 NEW BEST:: SOT 556402 SOS 173451 HAS SOPS 173451 HAS SOUS 103399 HAS SOUPS 103399 WITH SCORE 103572.451
AT ITER 5166 NEW BEST:: SOT 556402 SOS 173414 HAS SOPS 173414 HAS SOUS 103399 HAS SOUPS 103399 WITH SCORE 103572.414
AT ITER 5171 NEW BEST:: SOT 556383 SOS 173394 HAS SOPS 173394 HAS SOUS 103379 HAS SOUPS 103379 WITH SCORE 103552.394
AT ITER 5182 NEW BEST:: SOT 556355 SOS 173297 HAS SOPS 173297 HAS SOUS 103351 HAS SOUPS 103351 WITH SCORE 103524.297
AT ITER 5223 NEW BEST:: SOT 556341 SOS 173208 HAS SOPS 173208 HAS SOUS 103323 HAS SOUPS 103323 WITH SCORE 103496.208
AT ITER 5249 NEW BEST:: SOT 556263 SOS 171660 HAS SOPS 171660 HAS SOUS 103105 HAS SOUPS 103105 WITH SCORE 103276.66
AT ITER 5253 NEW BEST:: SOT 556256 SOS 171646 HAS SOPS 171646 HAS SOUS 103091 HAS SOUPS 103091 WITH SCORE 103262.646
AT ITER 5254 NEW BEST:: SOT 556391 SOS 171710 HAS SOPS 171710 HAS SOUS 102993 HAS SOUPS 102993 WITH SCORE 103164.71
AT ITER 5276 NEW BEST:: SOT 556331 SOS 171636 HAS SOPS 171636 HAS SOUS 102924 HAS SOUPS 102924 WITH SCORE 103095.636
AT ITER 5292 NEW BEST:: SOT 556301 SOS 171576 HAS SOPS 171576 HAS SOUS 102864 HAS SOUPS 102864 WITH SCORE 103035.576
AT ITER 5310 NEW BEST:: SOT 556301 SOS 171566 HAS SOPS 171566 HAS SOUS 102864 HAS SOUPS 102864 WITH SCORE 103035.566
AT ITER 5341 NEW BEST:: SOT 556285 SOS 171534 HAS SOPS 171534 HAS SOUS 102725 HAS SOUPS 102725 WITH SCORE 102896.534
AT ITER 5347 NEW BEST:: SOT 556268 SOS 171500 HAS SOPS 171500 HAS SOUS 102691 HAS SOUPS 102691 WITH SCORE 102862.5
AT ITER 5365 NEW BEST:: SOT 556268 SOS 171496 HAS SOPS 171496 HAS SOUS 102627 HAS SOUPS 102627 WITH SCORE 102798.496
AT ITER 5372 NEW BEST:: SOT 556298 SOS 171540 HAS SOPS 171540 HAS SOUS 102623 HAS SOUPS 102623 WITH SCORE 102794.54
AT ITER 5399 NEW BEST:: SOT 556296 SOS 171500 HAS SOPS 171500 HAS SOUS 102603 HAS SOUPS 102603 WITH SCORE 102774.5
AT ITER 5410 NEW BEST:: SOT 556275 SOS 171172 HAS SOPS 171172 HAS SOUS 102520 HAS SOUPS 102520 WITH SCORE 102691.172
AT ITER 5423 NEW BEST:: SOT 556242 SOS 171289 HAS SOPS 171289 HAS SOUS 102511 HAS SOUPS 102511 WITH SCORE 102682.289
AT ITER 5431 NEW BEST:: SOT 556242 SOS 170450 HAS SOPS 170450 HAS SOUS 102489 HAS SOUPS 102489 WITH SCORE 102659.45
AT ITER 5443 NEW BEST:: SOT 556218 SOS 170426 HAS SOPS 170426 HAS SOUS 102465 HAS SOUPS 102465 WITH SCORE 102635.426
AT ITER 5474 NEW BEST:: SOT 556180 SOS 170388 HAS SOPS 170388 HAS SOUS 102427 HAS SOUPS 102427 WITH SCORE 102597.388
AT ITER 5486 NEW BEST:: SOT 556180 SOS 169980 HAS SOPS 169980 HAS SOUS 102304 HAS SOUPS 102304 WITH SCORE 102473.98
AT ITER 5502 NEW BEST:: SOT 556071 SOS 169960 HAS SOPS 169960 HAS SOUS 102284 HAS SOUPS 102284 WITH SCORE 102453.96
AT ITER 5521 NEW BEST:: SOT 556025 SOS 169915 HAS SOPS 169915 HAS SOUS 102239 HAS SOUPS 102239 WITH SCORE 102408.915
AT ITER 5524 NEW BEST:: SOT 556113 SOS 169902 HAS SOPS 169902 HAS SOUS 102226 HAS SOUPS 102226 WITH SCORE 102395.902
AT ITER 5525 NEW BEST:: SOT 556105 SOS 169874 HAS SOPS 169874 HAS SOUS 102198 HAS SOUPS 102198 WITH SCORE 102367.874
AT ITER 5534 NEW BEST:: SOT 555992 SOS 169744 HAS SOPS 169744 HAS SOUS 102085 HAS SOUPS 102085 WITH SCORE 102254.744
AT ITER 5544 NEW BEST:: SOT 555970 SOS 169718 HAS SOPS 169718 HAS SOUS 102059 HAS SOUPS 102059 WITH SCORE 102228.718
AT ITER 5581 NEW BEST:: SOT 555877 SOS 169463 HAS SOPS 169463 HAS SOUS 101830 HAS SOUPS 101830 WITH SCORE 101999.463
AT ITER 5588 NEW BEST:: SOT 555806 SOS 169321 HAS SOPS 169321 HAS SOUS 101759 HAS SOUPS 101759 WITH SCORE 101928.321
AT ITER 5589 NEW BEST:: SOT 555805 SOS 169319 HAS SOPS 169319 HAS SOUS 101757 HAS SOUPS 101757 WITH SCORE 101926.319
AT ITER 5602 NEW BEST:: SOT 555681 SOS 169110 HAS SOPS 169110 HAS SOUS 101548 HAS SOUPS 101548 WITH SCORE 101717.11
AT ITER 5636 NEW BEST:: SOT 555675 SOS 169146 HAS SOPS 169146 HAS SOUS 101540 HAS SOUPS 101540 WITH SCORE 101709.146
AT ITER 5658 NEW BEST:: SOT 555511 SOS 168948 HAS SOPS 168948 HAS SOUS 101342 HAS SOUPS 101342 WITH SCORE 101510.948
AT ITER 5674 NEW BEST:: SOT 555479 SOS 168884 HAS SOPS 168884 HAS SOUS 101278 HAS SOUPS 101278 WITH SCORE 101446.884
AT ITER 5681 NEW BEST:: SOT 555275 SOS 169547 HAS SOPS 169547 HAS SOUS 101128 HAS SOUPS 101128 WITH SCORE 101297.547
AT ITER 5694 NEW BEST:: SOT 555185 SOS 169247 HAS SOPS 169247 HAS SOUS 101065 HAS SOUPS 101065 WITH SCORE 101234.247
AT ITER 5744 NEW BEST:: SOT 555185 SOS 169247 HAS SOPS 169247 HAS SOUS 101054 HAS SOUPS 101054 WITH SCORE 101223.247
AT ITER 5750 NEW BEST:: SOT 555173 SOS 169235 HAS SOPS 169235 HAS SOUS 101036 HAS SOUPS 101036 WITH SCORE 101205.235
AT ITER 5757 NEW BEST:: SOT 555126 SOS 169137 HAS SOPS 169137 HAS SOUS 100938 HAS SOUPS 100938 WITH SCORE 101107.137
AT ITER 5781 NEW BEST:: SOT 555120 SOS 169119 HAS SOPS 169119 HAS SOUS 100920 HAS SOUPS 100920 WITH SCORE 101089.119
AT ITER 5798 NEW BEST:: SOT 555120 SOS 169031 HAS SOPS 169031 HAS SOUS 100832 HAS SOUPS 100832 WITH SCORE 101001.031
AT ITER 5850 NEW BEST:: SOT 555075 SOS 168917 HAS SOPS 168917 HAS SOUS 100742 HAS SOUPS 100742 WITH SCORE 100910.917
AT ITER 5858 NEW BEST:: SOT 555063 SOS 168864 HAS SOPS 168864 HAS SOUS 100718 HAS SOUPS 100718 WITH SCORE 100886.864
AT ITER 5865 NEW BEST:: SOT 555063 SOS 168844 HAS SOPS 168844 HAS SOUS 100698 HAS SOUPS 100698 WITH SCORE 100866.844
AT ITER 5894 NEW BEST:: SOT 555063 SOS 168815 HAS SOPS 168815 HAS SOUS 100669 HAS SOUPS 100669 WITH SCORE 100837.815
AT ITER 5896 NEW BEST:: SOT 554986 SOS 168738 HAS SOPS 168738 HAS SOUS 100592 HAS SOUPS 100592 WITH SCORE 100760.738
AT ITER 5900 NEW BEST:: SOT 554566 SOS 168979 HAS SOPS 168979 HAS SOUS 100385 HAS SOUPS 100385 WITH SCORE 100553.979
AT ITER 5906 NEW BEST:: SOT 554637 SOS 168624 HAS SOPS 168624 HAS SOUS 100385 HAS SOUPS 100385 WITH SCORE 100553.624
AT ITER 5925 NEW BEST:: SOT 554170 SOS 168127 HAS SOPS 168127 HAS SOUS 100044 HAS SOUPS 100044 WITH SCORE 100212.127
AT ITER 5937 NEW BEST:: SOT 554167 SOS 168124 HAS SOPS 168124 HAS SOUS 100041 HAS SOUPS 100041 WITH SCORE 100209.124
AT ITER 5945 NEW BEST:: SOT 554166 SOS 168122 HAS SOPS 168122 HAS SOUS 100039 HAS SOUPS 100039 WITH SCORE 100207.122
AT ITER 5946 NEW BEST:: SOT 554134 SOS 168058 HAS SOPS 168058 HAS SOUS 99975 HAS SOUPS 99975 WITH SCORE 100143.058
AT ITER 5970 NEW BEST:: SOT 553930 SOS 167714 HAS SOPS 167714 HAS SOUS 99820 HAS SOUPS 99820 WITH SCORE 99987.714
AT ITER 5995 NEW BEST:: SOT 553930 SOS 167707 HAS SOPS 167707 HAS SOUS 99817 HAS SOUPS 99817 WITH SCORE 99984.707
AT ITER 5996 NEW BEST:: SOT 553911 SOS 167405 HAS SOPS 167405 HAS SOUS 99761 HAS SOUPS 99761 WITH SCORE 99928.405
AT ITER 6020 NEW BEST:: SOT 553886 SOS 167380 HAS SOPS 167380 HAS SOUS 99757 HAS SOUPS 99757 WITH SCORE 99924.38
AT ITER 6067 NEW BEST:: SOT 553847 SOS 167302 HAS SOPS 167302 HAS SOUS 99679 HAS SOUPS 99679 WITH SCORE 99846.302
AT ITER 6102 NEW BEST:: SOT 553606 SOS 167582 HAS SOPS 167582 HAS SOUS 99602 HAS SOUPS 99602 WITH SCORE 99769.582
AT ITER 6162 NEW BEST:: SOT 553555 SOS 166427 HAS SOPS 166427 HAS SOUS 99509 HAS SOUPS 99509 WITH SCORE 99675.427
AT ITER 6234 NEW BEST:: SOT 553132 SOS 165990 HAS SOPS 165990 HAS SOUS 99328 HAS SOUPS 99328 WITH SCORE 99493.99
AT ITER 6235 NEW BEST:: SOT 552935 SOS 165744 HAS SOPS 165744 HAS SOUS 99082 HAS SOUPS 99082 WITH SCORE 99247.744
AT ITER 6239 NEW BEST:: SOT 552774 SOS 165421 HAS SOPS 165421 HAS SOUS 98948 HAS SOUPS 98948 WITH SCORE 99113.421
AT ITER 6241 NEW BEST:: SOT 552770 SOS 165289 HAS SOPS 165289 HAS SOUS 98836 HAS SOUPS 98836 WITH SCORE 99001.289
AT ITER 6274 NEW BEST:: SOT 552759 SOS 165133 HAS SOPS 165133 HAS SOUS 98814 HAS SOUPS 98814 WITH SCORE 98979.133
AT ITER 6279 NEW BEST:: SOT 552757 SOS 165283 HAS SOPS 165283 HAS SOUS 98809 HAS SOUPS 98809 WITH SCORE 98974.283
AT ITER 6330 NEW BEST:: SOT 552757 SOS 165281 HAS SOPS 165281 HAS SOUS 98807 HAS SOUPS 98807 WITH SCORE 98972.281
AT ITER 6338 NEW BEST:: SOT 552757 SOS 165253 HAS SOPS 165253 HAS SOUS 98807 HAS SOUPS 98807 WITH SCORE 98972.253
AT ITER 6346 NEW BEST:: SOT 552738 SOS 165135 HAS SOPS 165135 HAS SOUS 98747 HAS SOUPS 98747 WITH SCORE 98912.135
AT ITER 6354 NEW BEST:: SOT 552719 SOS 165108 HAS SOPS 165108 HAS SOUS 98720 HAS SOUPS 98720 WITH SCORE 98885.108
AT ITER 6392 NEW BEST:: SOT 552624 SOS 164946 HAS SOPS 164946 HAS SOUS 98657 HAS SOUPS 98657 WITH SCORE 98821.946
AT ITER 6425 NEW BEST:: SOT 552624 SOS 164874 HAS SOPS 164874 HAS SOUS 98585 HAS SOUPS 98585 WITH SCORE 98749.874
AT ITER 6438 NEW BEST:: SOT 552562 SOS 164628 HAS SOPS 164628 HAS SOUS 98490 HAS SOUPS 98490 WITH SCORE 98654.628
AT ITER 6490 NEW BEST:: SOT 552561 SOS 164626 HAS SOPS 164626 HAS SOUS 98488 HAS SOUPS 98488 WITH SCORE 98652.626
AT ITER 6521 NEW BEST:: SOT 552625 SOS 164690 HAS SOPS 164690 HAS SOUS 98462 HAS SOUPS 98462 WITH SCORE 98626.69
AT ITER 6571 NEW BEST:: SOT 552620 SOS 164685 HAS SOPS 164685 HAS SOUS 98457 HAS SOUPS 98457 WITH SCORE 98621.685
AT ITER 6613 NEW BEST:: SOT 552594 SOS 164680 HAS SOPS 164680 HAS SOUS 98452 HAS SOUPS 98452 WITH SCORE 98616.68
AT ITER 6621 NEW BEST:: SOT 552594 SOS 164872 HAS SOPS 164872 HAS SOUS 98445 HAS SOUPS 98445 WITH SCORE 98609.872
AT ITER 6627 NEW BEST:: SOT 552594 SOS 164871 HAS SOPS 164871 HAS SOUS 98444 HAS SOUPS 98444 WITH SCORE 98608.871
AT ITER 6630 NEW BEST:: SOT 552594 SOS 164858 HAS SOPS 164858 HAS SOUS 98443 HAS SOUPS 98443 WITH SCORE 98607.858
AT ITER 6639 NEW BEST:: SOT 552496 SOS 164729 HAS SOPS 164729 HAS SOUS 98348 HAS SOUPS 98348 WITH SCORE 98512.729
AT ITER 6648 NEW BEST:: SOT 552463 SOS 164696 HAS SOPS 164696 HAS SOUS 98256 HAS SOUPS 98256 WITH SCORE 98420.696
AT ITER 6654 NEW BEST:: SOT 552463 SOS 164623 HAS SOPS 164623 HAS SOUS 98183 HAS SOUPS 98183 WITH SCORE 98347.623
AT ITER 6682 NEW BEST:: SOT 552459 SOS 164619 HAS SOPS 164619 HAS SOUS 98179 HAS SOUPS 98179 WITH SCORE 98343.619
AT ITER 6757 NEW BEST:: SOT 552436 SOS 164595 HAS SOPS 164595 HAS SOUS 98155 HAS SOUPS 98155 WITH SCORE 98319.595
AT ITER 6761 NEW BEST:: SOT 552252 SOS 164319 HAS SOPS 164319 HAS SOUS 97879 HAS SOUPS 97879 WITH SCORE 98043.319
AT ITER 6765 NEW BEST:: SOT 552174 SOS 164255 HAS SOPS 164255 HAS SOUS 97807 HAS SOUPS 97807 WITH SCORE 97971.255
AT ITER 6774 NEW BEST:: SOT 552114 SOS 164195 HAS SOPS 164195 HAS SOUS 97747 HAS SOUPS 97747 WITH SCORE 97911.195
AT ITER 6787 NEW BEST:: SOT 552119 SOS 164165 HAS SOPS 164165 HAS SOUS 97717 HAS SOUPS 97717 WITH SCORE 97881.165
AT ITER 6797 NEW BEST:: SOT 552119 SOS 163955 HAS SOPS 163955 HAS SOUS 97717 HAS SOUPS 97717 WITH SCORE 97880.955
AT ITER 6806 NEW BEST:: SOT 552065 SOS 163894 HAS SOPS 163894 HAS SOUS 97656 HAS SOUPS 97656 WITH SCORE 97819.894
AT ITER 6838 NEW BEST:: SOT 552036 SOS 163783 HAS SOPS 163783 HAS SOUS 97566 HAS SOUPS 97566 WITH SCORE 97729.783
AT ITER 6843 NEW BEST:: SOT 552024 SOS 163771 HAS SOPS 163771 HAS SOUS 97554 HAS SOUPS 97554 WITH SCORE 97717.771
AT ITER 6854 NEW BEST:: SOT 552029 SOS 163746 HAS SOPS 163746 HAS SOUS 97554 HAS SOUPS 97554 WITH SCORE 97717.746
AT ITER 6859 NEW BEST:: SOT 552099 SOS 163708 HAS SOPS 163708 HAS SOUS 97516 HAS SOUPS 97516 WITH SCORE 97679.708
AT ITER 6860 NEW BEST:: SOT 552012 SOS 163450 HAS SOPS 163450 HAS SOUS 97258 HAS SOUPS 97258 WITH SCORE 97421.45
AT ITER 6918 NEW BEST:: SOT 552012 SOS 163443 HAS SOPS 163443 HAS SOUS 97251 HAS SOUPS 97251 WITH SCORE 97414.443
AT ITER 6930 NEW BEST:: SOT 551935 SOS 164089 HAS SOPS 164089 HAS SOUS 97197 HAS SOUPS 97197 WITH SCORE 97361.089
AT ITER 6932 NEW BEST:: SOT 551861 SOS 164015 HAS SOPS 164015 HAS SOUS 97123 HAS SOUPS 97123 WITH SCORE 97287.015
AT ITER 6939 NEW BEST:: SOT 551980 SOS 163995 HAS SOPS 163995 HAS SOUS 97120 HAS SOUPS 97120 WITH SCORE 97283.995
AT ITER 6983 NEW BEST:: SOT 551973 SOS 163988 HAS SOPS 163988 HAS SOUS 97106 HAS SOUPS 97106 WITH SCORE 97269.988
AT ITER 6997 NEW BEST:: SOT 551987 SOS 163996 HAS SOPS 163996 HAS SOUS 97102 HAS SOUPS 97102 WITH SCORE 97265.996
AT ITER 7024 NEW BEST:: SOT 551948 SOS 163982 HAS SOPS 163982 HAS SOUS 97088 HAS SOUPS 97088 WITH SCORE 97251.982
AT ITER 7025 NEW BEST:: SOT 551984 SOS 164054 HAS SOPS 164054 HAS SOUS 97066 HAS SOUPS 97066 WITH SCORE 97230.054
AT ITER 7026 NEW BEST:: SOT 551754 SOS 163813 HAS SOPS 163813 HAS SOUS 96889 HAS SOUPS 96889 WITH SCORE 97052.813
AT ITER 7053 NEW BEST:: SOT 551753 SOS 163451 HAS SOPS 163451 HAS SOUS 96842 HAS SOUPS 96842 WITH SCORE 97005.451
AT ITER 7070 NEW BEST:: SOT 551749 SOS 163447 HAS SOPS 163447 HAS SOUS 96838 HAS SOUPS 96838 WITH SCORE 97001.447
AT ITER 7090 NEW BEST:: SOT 551738 SOS 163436 HAS SOPS 163436 HAS SOUS 96816 HAS SOUPS 96816 WITH SCORE 96979.436
AT ITER 7106 NEW BEST:: SOT 551738 SOS 163434 HAS SOPS 163434 HAS SOUS 96814 HAS SOUPS 96814 WITH SCORE 96977.434
AT ITER 7127 NEW BEST:: SOT 551730 SOS 163410 HAS SOPS 163410 HAS SOUS 96790 HAS SOUPS 96790 WITH SCORE 96953.41
AT ITER 7130 NEW BEST:: SOT 551658 SOS 163555 HAS SOPS 163555 HAS SOUS 96703 HAS SOUPS 96703 WITH SCORE 96866.555
AT ITER 7162 NEW BEST:: SOT 550574 SOS 162734 HAS SOPS 162734 HAS SOUS 96635 HAS SOUPS 96635 WITH SCORE 96797.734
AT ITER 7182 NEW BEST:: SOT 550574 SOS 162719 HAS SOPS 162719 HAS SOUS 96603 HAS SOUPS 96603 WITH SCORE 96765.719
AT ITER 7187 NEW BEST:: SOT 550562 SOS 162695 HAS SOPS 162695 HAS SOUS 96579 HAS SOUPS 96579 WITH SCORE 96741.695
AT ITER 7191 NEW BEST:: SOT 550562 SOS 162644 HAS SOPS 162644 HAS SOUS 96528 HAS SOUPS 96528 WITH SCORE 96690.644
AT ITER 7214 NEW BEST:: SOT 550569 SOS 162652 HAS SOPS 162652 HAS SOUS 96426 HAS SOUPS 96426 WITH SCORE 96588.652
AT ITER 7215 NEW BEST:: SOT 550446 SOS 162528 HAS SOPS 162528 HAS SOUS 96302 HAS SOUPS 96302 WITH SCORE 96464.528
AT ITER 7231 NEW BEST:: SOT 550446 SOS 162522 HAS SOPS 162522 HAS SOUS 96302 HAS SOUPS 96302 WITH SCORE 96464.522
AT ITER 7257 NEW BEST:: SOT 550437 SOS 162422 HAS SOPS 162422 HAS SOUS 96293 HAS SOUPS 96293 WITH SCORE 96455.422
AT ITER 7267 NEW BEST:: SOT 550465 SOS 162338 HAS SOPS 162338 HAS SOUS 96293 HAS SOUPS 96293 WITH SCORE 96455.338
AT ITER 7268 NEW BEST:: SOT 550461 SOS 162388 HAS SOPS 162388 HAS SOUS 96262 HAS SOUPS 96262 WITH SCORE 96424.388
AT ITER 7269 NEW BEST:: SOT 550461 SOS 162317 HAS SOPS 162317 HAS SOUS 96191 HAS SOUPS 96191 WITH SCORE 96353.317
AT ITER 7276 NEW BEST:: SOT 550458 SOS 162311 HAS SOPS 162311 HAS SOUS 96185 HAS SOUPS 96185 WITH SCORE 96347.311
AT ITER 7301 NEW BEST:: SOT 550448 SOS 162296 HAS SOPS 162296 HAS SOUS 96170 HAS SOUPS 96170 WITH SCORE 96332.296
AT ITER 7304 NEW BEST:: SOT 550340 SOS 162223 HAS SOPS 162223 HAS SOUS 96104 HAS SOUPS 96104 WITH SCORE 96266.223
AT ITER 7319 NEW BEST:: SOT 550212 SOS 162452 HAS SOPS 162452 HAS SOUS 96085 HAS SOUPS 96085 WITH SCORE 96247.452
AT ITER 7327 NEW BEST:: SOT 550207 SOS 162452 HAS SOPS 162452 HAS SOUS 96080 HAS SOUPS 96080 WITH SCORE 96242.452
AT ITER 7336 NEW BEST:: SOT 550188 SOS 162451 HAS SOPS 162451 HAS SOUS 96079 HAS SOUPS 96079 WITH SCORE 96241.451
AT ITER 7360 NEW BEST:: SOT 550184 SOS 162623 HAS SOPS 162623 HAS SOUS 96071 HAS SOUPS 96071 WITH SCORE 96233.623
AT ITER 7384 NEW BEST:: SOT 550177 SOS 162619 HAS SOPS 162619 HAS SOUS 96018 HAS SOUPS 96018 WITH SCORE 96180.619
AT ITER 7416 NEW BEST:: SOT 550169 SOS 162611 HAS SOPS 162611 HAS SOUS 96010 HAS SOUPS 96010 WITH SCORE 96172.611
AT ITER 7447 NEW BEST:: SOT 550174 SOS 162683 HAS SOPS 162683 HAS SOUS 95994 HAS SOUPS 95994 WITH SCORE 96156.683
AT ITER 7451 NEW BEST:: SOT 550117 SOS 163328 HAS SOPS 163328 HAS SOUS 95969 HAS SOUPS 95969 WITH SCORE 96132.328
AT ITER 7456 NEW BEST:: SOT 550105 SOS 163304 HAS SOPS 163304 HAS SOUS 95945 HAS SOUPS 95945 WITH SCORE 96108.304
AT ITER 7475 NEW BEST:: SOT 550114 SOS 163297 HAS SOPS 163297 HAS SOUS 95938 HAS SOUPS 95938 WITH SCORE 96101.297
AT ITER 7482 NEW BEST:: SOT 550107 SOS 163283 HAS SOPS 163283 HAS SOUS 95924 HAS SOUPS 95924 WITH SCORE 96087.283
AT ITER 7510 NEW BEST:: SOT 550102 SOS 163273 HAS SOPS 163273 HAS SOUS 95914 HAS SOUPS 95914 WITH SCORE 96077.273
AT ITER 7511 NEW BEST:: SOT 549944 SOS 162957 HAS SOPS 162957 HAS SOUS 95756 HAS SOUPS 95756 WITH SCORE 95918.957
AT ITER 7519 NEW BEST:: SOT 549881 SOS 162721 HAS SOPS 162721 HAS SOUS 95643 HAS SOUPS 95643 WITH SCORE 95805.721
AT ITER 7528 NEW BEST:: SOT 549881 SOS 162720 HAS SOPS 162720 HAS SOUS 95642 HAS SOUPS 95642 WITH SCORE 95804.72
AT ITER 7530 NEW BEST:: SOT 549854 SOS 162396 HAS SOPS 162396 HAS SOUS 95601 HAS SOUPS 95601 WITH SCORE 95763.396
AT ITER 7531 NEW BEST:: SOT 549839 SOS 162339 HAS SOPS 162339 HAS SOUS 95590 HAS SOUPS 95590 WITH SCORE 95752.339
AT ITER 7541 NEW BEST:: SOT 549828 SOS 162317 HAS SOPS 162317 HAS SOUS 95568 HAS SOUPS 95568 WITH SCORE 95730.317
AT ITER 7557 NEW BEST:: SOT 549828 SOS 162307 HAS SOPS 162307 HAS SOUS 95564 HAS SOUPS 95564 WITH SCORE 95726.307
AT ITER 7587 NEW BEST:: SOT 549804 SOS 162299 HAS SOPS 162299 HAS SOUS 95540 HAS SOUPS 95540 WITH SCORE 95702.299
AT ITER 7614 NEW BEST:: SOT 549773 SOS 162237 HAS SOPS 162237 HAS SOUS 95478 HAS SOUPS 95478 WITH SCORE 95640.237
AT ITER 7616 NEW BEST:: SOT 549791 SOS 161561 HAS SOPS 161561 HAS SOUS 95407 HAS SOUPS 95407 WITH SCORE 95568.561
AT ITER 7649 NEW BEST:: SOT 549771 SOS 161557 HAS SOPS 161557 HAS SOUS 95403 HAS SOUPS 95403 WITH SCORE 95564.557
AT ITER 7656 NEW BEST:: SOT 549696 SOS 160957 HAS SOPS 160957 HAS SOUS 95253 HAS SOUPS 95253 WITH SCORE 95413.957
AT ITER 7670 NEW BEST:: SOT 549651 SOS 160867 HAS SOPS 160867 HAS SOUS 95208 HAS SOUPS 95208 WITH SCORE 95368.867
AT ITER 7689 NEW BEST:: SOT 549591 SOS 160560 HAS SOPS 160560 HAS SOUS 95071 HAS SOUPS 95071 WITH SCORE 95231.56
AT ITER 7711 NEW BEST:: SOT 549591 SOS 160674 HAS SOPS 160674 HAS SOUS 95052 HAS SOUPS 95052 WITH SCORE 95212.674
AT ITER 7742 NEW BEST:: SOT 549485 SOS 160416 HAS SOPS 160416 HAS SOUS 94927 HAS SOUPS 94927 WITH SCORE 95087.416
AT ITER 7743 NEW BEST:: SOT 549404 SOS 160302 HAS SOPS 160302 HAS SOUS 94765 HAS SOUPS 94765 WITH SCORE 94925.302
AT ITER 7765 NEW BEST:: SOT 549370 SOS 160262 HAS SOPS 160262 HAS SOUS 94725 HAS SOUPS 94725 WITH SCORE 94885.262
AT ITER 7768 NEW BEST:: SOT 549341 SOS 160128 HAS SOPS 160128 HAS SOUS 94696 HAS SOUPS 94696 WITH SCORE 94856.128
AT ITER 7787 NEW BEST:: SOT 549337 SOS 160078 HAS SOPS 160078 HAS SOUS 94669 HAS SOUPS 94669 WITH SCORE 94829.078
AT ITER 7795 NEW BEST:: SOT 549215 SOS 160279 HAS SOPS 160279 HAS SOUS 94616 HAS SOUPS 94616 WITH SCORE 94776.279
AT ITER 7825 NEW BEST:: SOT 548855 SOS 159966 HAS SOPS 159966 HAS SOUS 94376 HAS SOUPS 94376 WITH SCORE 94535.966
AT ITER 7826 NEW BEST:: SOT 548855 SOS 159942 HAS SOPS 159942 HAS SOUS 94376 HAS SOUPS 94376 WITH SCORE 94535.942
AT ITER 7845 NEW BEST:: SOT 548855 SOS 159937 HAS SOPS 159937 HAS SOUS 94376 HAS SOUPS 94376 WITH SCORE 94535.937
AT ITER 7849 NEW BEST:: SOT 548801 SOS 159400 HAS SOPS 159400 HAS SOUS 94246 HAS SOUPS 94246 WITH SCORE 94405.4
AT ITER 7850 NEW BEST:: SOT 548780 SOS 159232 HAS SOPS 159232 HAS SOUS 94183 HAS SOUPS 94183 WITH SCORE 94342.232
AT ITER 7891 NEW BEST:: SOT 548781 SOS 159211 HAS SOPS 159211 HAS SOUS 94179 HAS SOUPS 94179 WITH SCORE 94338.211
AT ITER 7932 NEW BEST:: SOT 548727 SOS 159155 HAS SOPS 159155 HAS SOUS 94123 HAS SOUPS 94123 WITH SCORE 94282.155
AT ITER 7943 NEW BEST:: SOT 548688 SOS 159172 HAS SOPS 159172 HAS SOUS 94106 HAS SOUPS 94106 WITH SCORE 94265.172
AT ITER 7962 NEW BEST:: SOT 548688 SOS 159145 HAS SOPS 159145 HAS SOUS 94106 HAS SOUPS 94106 WITH SCORE 94265.145
AT ITER 7981 NEW BEST:: SOT 548546 SOS 158858 HAS SOPS 158858 HAS SOUS 93964 HAS SOUPS 93964 WITH SCORE 94122.858
AT ITER 7991 NEW BEST:: SOT 548488 SOS 158802 HAS SOPS 158802 HAS SOUS 93943 HAS SOUPS 93943 WITH SCORE 94101.802
AT ITER 8002 NEW BEST:: SOT 548487 SOS 158800 HAS SOPS 158800 HAS SOUS 93941 HAS SOUPS 93941 WITH SCORE 94099.8
AT ITER 8003 NEW BEST:: SOT 548467 SOS 158419 HAS SOPS 158419 HAS SOUS 93818 HAS SOUPS 93818 WITH SCORE 93976.419
AT ITER 8016 NEW BEST:: SOT 548411 SOS 158419 HAS SOPS 158419 HAS SOUS 93762 HAS SOUPS 93762 WITH SCORE 93920.419
AT ITER 8087 NEW BEST:: SOT 548402 SOS 158401 HAS SOPS 158401 HAS SOUS 93744 HAS SOUPS 93744 WITH SCORE 93902.401
AT ITER 8094 NEW BEST:: SOT 548374 SOS 158345 HAS SOPS 158345 HAS SOUS 93688 HAS SOUPS 93688 WITH SCORE 93846.345
AT ITER 8095 NEW BEST:: SOT 548374 SOS 158207 HAS SOPS 158207 HAS SOUS 93665 HAS SOUPS 93665 WITH SCORE 93823.207
AT ITER 8125 NEW BEST:: SOT 548374 SOS 158207 HAS SOPS 158207 HAS SOUS 93607 HAS SOUPS 93607 WITH SCORE 93765.207
AT ITER 8131 NEW BEST:: SOT 548373 SOS 158188 HAS SOPS 158188 HAS SOUS 93588 HAS SOUPS 93588 WITH SCORE 93746.188
AT ITER 8135 NEW BEST:: SOT 548371 SOS 158071 HAS SOPS 158071 HAS SOUS 93493 HAS SOUPS 93493 WITH SCORE 93651.071
AT ITER 8188 NEW BEST:: SOT 548371 SOS 158048 HAS SOPS 158048 HAS SOUS 93493 HAS SOUPS 93493 WITH SCORE 93651.048
AT ITER 8197 NEW BEST:: SOT 548412 SOS 156628 HAS SOPS 156628 HAS SOUS 93435 HAS SOUPS 93435 WITH SCORE 93591.628
AT ITER 8206 NEW BEST:: SOT 548412 SOS 156548 HAS SOPS 156548 HAS SOUS 93355 HAS SOUPS 93355 WITH SCORE 93511.548
AT ITER 8217 NEW BEST:: SOT 548412 SOS 158415 HAS SOPS 158415 HAS SOUS 93349 HAS SOUPS 93349 WITH SCORE 93507.415
AT ITER 8221 NEW BEST:: SOT 548361 SOS 158415 HAS SOPS 158415 HAS SOUS 93298 HAS SOUPS 93298 WITH SCORE 93456.415
AT ITER 8222 NEW BEST:: SOT 548361 SOS 158360 HAS SOPS 158360 HAS SOUS 93243 HAS SOUPS 93243 WITH SCORE 93401.36
AT ITER 8228 NEW BEST:: SOT 548321 SOS 158661 HAS SOPS 158661 HAS SOUS 93190 HAS SOUPS 93190 WITH SCORE 93348.661
AT ITER 8268 NEW BEST:: SOT 548319 SOS 158659 HAS SOPS 158659 HAS SOUS 93188 HAS SOUPS 93188 WITH SCORE 93346.659
AT ITER 8298 NEW BEST:: SOT 548315 SOS 158598 HAS SOPS 158598 HAS SOUS 93127 HAS SOUPS 93127 WITH SCORE 93285.598
AT ITER 8359 NEW BEST:: SOT 548306 SOS 158444 HAS SOPS 158444 HAS SOUS 93109 HAS SOUPS 93109 WITH SCORE 93267.444
AT ITER 8370 NEW BEST:: SOT 548306 SOS 158413 HAS SOPS 158413 HAS SOUS 93088 HAS SOUPS 93088 WITH SCORE 93246.413
AT ITER 8403 NEW BEST:: SOT 548306 SOS 158363 HAS SOPS 158363 HAS SOUS 93038 HAS SOUPS 93038 WITH SCORE 93196.363
AT ITER 8418 NEW BEST:: SOT 548294 SOS 158315 HAS SOPS 158315 HAS SOUS 93026 HAS SOUPS 93026 WITH SCORE 93184.315
AT ITER 8424 NEW BEST:: SOT 548188 SOS 158557 HAS SOPS 158557 HAS SOUS 92870 HAS SOUPS 92870 WITH SCORE 93028.557
AT ITER 8440 NEW BEST:: SOT 548149 SOS 158375 HAS SOPS 158375 HAS SOUS 92792 HAS SOUPS 92792 WITH SCORE 92950.375
AT ITER 8442 NEW BEST:: SOT 548145 SOS 158367 HAS SOPS 158367 HAS SOUS 92784 HAS SOUPS 92784 WITH SCORE 92942.367
AT ITER 8449 NEW BEST:: SOT 548144 SOS 158365 HAS SOPS 158365 HAS SOUS 92782 HAS SOUPS 92782 WITH SCORE 92940.365
AT ITER 8483 NEW BEST:: SOT 548051 SOS 158277 HAS SOPS 158277 HAS SOUS 92724 HAS SOUPS 92724 WITH SCORE 92882.277
AT ITER 8491 NEW BEST:: SOT 548050 SOS 158275 HAS SOPS 158275 HAS SOUS 92723 HAS SOUPS 92723 WITH SCORE 92881.275
AT ITER 8511 NEW BEST:: SOT 548035 SOS 158160 HAS SOPS 158160 HAS SOUS 92693 HAS SOUPS 92693 WITH SCORE 92851.16
AT ITER 8546 NEW BEST:: SOT 548024 SOS 158138 HAS SOPS 158138 HAS SOUS 92671 HAS SOUPS 92671 WITH SCORE 92829.138
AT ITER 8588 NEW BEST:: SOT 548023 SOS 158095 HAS SOPS 158095 HAS SOUS 92628 HAS SOUPS 92628 WITH SCORE 92786.095
AT ITER 8626 NEW BEST:: SOT 548018 SOS 158090 HAS SOPS 158090 HAS SOUS 92623 HAS SOUPS 92623 WITH SCORE 92781.09
AT ITER 8638 NEW BEST:: SOT 548020 SOS 158036 HAS SOPS 158036 HAS SOUS 92577 HAS SOUPS 92577 WITH SCORE 92735.036
AT ITER 8639 NEW BEST:: SOT 548020 SOS 158035 HAS SOPS 158035 HAS SOUS 92576 HAS SOUPS 92576 WITH SCORE 92734.035
AT ITER 8674 NEW BEST:: SOT 548019 SOS 158033 HAS SOPS 158033 HAS SOUS 92574 HAS SOUPS 92574 WITH SCORE 92732.033
AT ITER 8677 NEW BEST:: SOT 548019 SOS 157931 HAS SOPS 157931 HAS SOUS 92574 HAS SOUPS 92574 WITH SCORE 92731.931
AT ITER 8691 NEW BEST:: SOT 548013 SOS 157498 HAS SOPS 157498 HAS SOUS 92485 HAS SOUPS 92485 WITH SCORE 92642.498
AT ITER 8704 NEW BEST:: SOT 547976 SOS 157429 HAS SOPS 157429 HAS SOUS 92416 HAS SOUPS 92416 WITH SCORE 92573.429
AT ITER 8717 NEW BEST:: SOT 547930 SOS 157328 HAS SOPS 157328 HAS SOUS 92377 HAS SOUPS 92377 WITH SCORE 92534.328
AT ITER 8743 NEW BEST:: SOT 547890 SOS 157288 HAS SOPS 157288 HAS SOUS 92337 HAS SOUPS 92337 WITH SCORE 92494.288
AT ITER 8759 NEW BEST:: SOT 547821 SOS 157052 HAS SOPS 157052 HAS SOUS 92199 HAS SOUPS 92199 WITH SCORE 92356.052
AT ITER 8772 NEW BEST:: SOT 547790 SOS 157021 HAS SOPS 157021 HAS SOUS 92168 HAS SOUPS 92168 WITH SCORE 92325.021
AT ITER 8784 NEW BEST:: SOT 547806 SOS 156888 HAS SOPS 156888 HAS SOUS 92160 HAS SOUPS 92160 WITH SCORE 92316.888
AT ITER 8803 NEW BEST:: SOT 547806 SOS 156897 HAS SOPS 156897 HAS SOUS 92159 HAS SOUPS 92159 WITH SCORE 92315.897
AT ITER 8811 NEW BEST:: SOT 547810 SOS 156877 HAS SOPS 156877 HAS SOUS 92156 HAS SOUPS 92156 WITH SCORE 92312.877
AT ITER 8819 NEW BEST:: SOT 547810 SOS 156874 HAS SOPS 156874 HAS SOUS 92153 HAS SOUPS 92153 WITH SCORE 92309.874
AT ITER 8849 NEW BEST:: SOT 547786 SOS 156850 HAS SOPS 156850 HAS SOUS 92129 HAS SOUPS 92129 WITH SCORE 92285.85
AT ITER 8865 NEW BEST:: SOT 547688 SOS 157021 HAS SOPS 157021 HAS SOUS 92120 HAS SOUPS 92120 WITH SCORE 92277.021
AT ITER 8871 NEW BEST:: SOT 547673 SOS 157014 HAS SOPS 157014 HAS SOUS 92090 HAS SOUPS 92090 WITH SCORE 92247.014
AT ITER 8920 NEW BEST:: SOT 547672 SOS 157013 HAS SOPS 157013 HAS SOUS 92075 HAS SOUPS 92075 WITH SCORE 92232.013
AT ITER 8933 NEW BEST:: SOT 547672 SOS 156990 HAS SOPS 156990 HAS SOUS 92052 HAS SOUPS 92052 WITH SCORE 92208.99
AT ITER 8942 NEW BEST:: SOT 547637 SOS 156832 HAS SOPS 156832 HAS SOUS 91982 HAS SOUPS 91982 WITH SCORE 92138.832
AT ITER 8943 NEW BEST:: SOT 547556 SOS 156670 HAS SOPS 156670 HAS SOUS 91889 HAS SOUPS 91889 WITH SCORE 92045.67
AT ITER 8987 NEW BEST:: SOT 547556 SOS 156674 HAS SOPS 156674 HAS SOUS 91637 HAS SOUPS 91637 WITH SCORE 91793.674
AT ITER 8988 NEW BEST:: SOT 547548 SOS 156575 HAS SOPS 156575 HAS SOUS 91571 HAS SOUPS 91571 WITH SCORE 91727.575
AT ITER 9017 NEW BEST:: SOT 547542 SOS 156575 HAS SOPS 156575 HAS SOUS 91568 HAS SOUPS 91568 WITH SCORE 91724.575
AT ITER 9027 NEW BEST:: SOT 547521 SOS 156569 HAS SOPS 156569 HAS SOUS 91562 HAS SOUPS 91562 WITH SCORE 91718.569
AT ITER 9039 NEW BEST:: SOT 547518 SOS 156566 HAS SOPS 156566 HAS SOUS 91559 HAS SOUPS 91559 WITH SCORE 91715.566
AT ITER 9040 NEW BEST:: SOT 547513 SOS 156561 HAS SOPS 156561 HAS SOUS 91554 HAS SOUPS 91554 WITH SCORE 91710.561
AT ITER 9058 NEW BEST:: SOT 547513 SOS 156555 HAS SOPS 156555 HAS SOUS 91548 HAS SOUPS 91548 WITH SCORE 91704.555
AT ITER 9062 NEW BEST:: SOT 547504 SOS 156528 HAS SOPS 156528 HAS SOUS 91521 HAS SOUPS 91521 WITH SCORE 91677.528
AT ITER 9072 NEW BEST:: SOT 547496 SOS 156512 HAS SOPS 156512 HAS SOUS 91505 HAS SOUPS 91505 WITH SCORE 91661.512
AT ITER 9078 NEW BEST:: SOT 547487 SOS 156494 HAS SOPS 156494 HAS SOUS 91487 HAS SOUPS 91487 WITH SCORE 91643.494
AT ITER 9116 NEW BEST:: SOT 547487 SOS 156453 HAS SOPS 156453 HAS SOUS 91446 HAS SOUPS 91446 WITH SCORE 91602.453
AT ITER 9133 NEW BEST:: SOT 547474 SOS 156440 HAS SOPS 156440 HAS SOUS 91420 HAS SOUPS 91420 WITH SCORE 91576.44
AT ITER 9140 NEW BEST:: SOT 547472 SOS 156438 HAS SOPS 156438 HAS SOUS 91416 HAS SOUPS 91416 WITH SCORE 91572.438
AT ITER 9150 NEW BEST:: SOT 547487 SOS 156400 HAS SOPS 156400 HAS SOUS 91405 HAS SOUPS 91405 WITH SCORE 91561.4
AT ITER 9156 NEW BEST:: SOT 547397 SOS 156278 HAS SOPS 156278 HAS SOUS 91283 HAS SOUPS 91283 WITH SCORE 91439.278
AT ITER 9160 NEW BEST:: SOT 547344 SOS 156590 HAS SOPS 156590 HAS SOUS 91275 HAS SOUPS 91275 WITH SCORE 91431.59
AT ITER 9201 NEW BEST:: SOT 547328 SOS 156572 HAS SOPS 156572 HAS SOUS 91257 HAS SOUPS 91257 WITH SCORE 91413.572
AT ITER 9230 NEW BEST:: SOT 547275 SOS 156497 HAS SOPS 156497 HAS SOUS 91254 HAS SOUPS 91254 WITH SCORE 91410.497
AT ITER 9237 NEW BEST:: SOT 547220 SOS 156398 HAS SOPS 156398 HAS SOUS 91155 HAS SOUPS 91155 WITH SCORE 91311.398
AT ITER 9240 NEW BEST:: SOT 547220 SOS 156380 HAS SOPS 156380 HAS SOUS 91155 HAS SOUPS 91155 WITH SCORE 91311.38
AT ITER 9296 NEW BEST:: SOT 547117 SOS 156174 HAS SOPS 156174 HAS SOUS 90949 HAS SOUPS 90949 WITH SCORE 91105.174
AT ITER 9301 NEW BEST:: SOT 547100 SOS 156140 HAS SOPS 156140 HAS SOUS 90915 HAS SOUPS 90915 WITH SCORE 91071.14
AT ITER 9333 NEW BEST:: SOT 547069 SOS 156091 HAS SOPS 156091 HAS SOUS 90866 HAS SOUPS 90866 WITH SCORE 91022.091
AT ITER 9342 NEW BEST:: SOT 546987 SOS 155915 HAS SOPS 155915 HAS SOUS 90690 HAS SOUPS 90690 WITH SCORE 90845.915
AT ITER 9343 NEW BEST:: SOT 546948 SOS 155960 HAS SOPS 155960 HAS SOUS 90612 HAS SOUPS 90612 WITH SCORE 90767.96
AT ITER 9346 NEW BEST:: SOT 546932 SOS 156024 HAS SOPS 156024 HAS SOUS 90596 HAS SOUPS 90596 WITH SCORE 90752.024
AT ITER 9362 NEW BEST:: SOT 546939 SOS 156038 HAS SOPS 156038 HAS SOUS 90538 HAS SOUPS 90538 WITH SCORE 90694.038
AT ITER 9393 NEW BEST:: SOT 546926 SOS 155880 HAS SOPS 155880 HAS SOUS 90446 HAS SOUPS 90446 WITH SCORE 90601.88
AT ITER 9404 NEW BEST:: SOT 546915 SOS 155858 HAS SOPS 155858 HAS SOUS 90424 HAS SOUPS 90424 WITH SCORE 90579.858
AT ITER 9410 NEW BEST:: SOT 546912 SOS 155858 HAS SOPS 155858 HAS SOUS 90421 HAS SOUPS 90421 WITH SCORE 90576.858
AT ITER 9479 NEW BEST:: SOT 546929 SOS 155754 HAS SOPS 155754 HAS SOUS 90371 HAS SOUPS 90371 WITH SCORE 90526.754
AT ITER 9562 NEW BEST:: SOT 546892 SOS 155660 HAS SOPS 155660 HAS SOUS 90277 HAS SOUPS 90277 WITH SCORE 90432.66
AT ITER 9636 NEW BEST:: SOT 546816 SOS 155572 HAS SOPS 155572 HAS SOUS 90189 HAS SOUPS 90189 WITH SCORE 90344.572
AT ITER 9637 NEW BEST:: SOT 546832 SOS 155482 HAS SOPS 155482 HAS SOUS 90099 HAS SOUPS 90099 WITH SCORE 90254.482
AT ITER 9656 NEW BEST:: SOT 546832 SOS 155456 HAS SOPS 155456 HAS SOUS 90073 HAS SOUPS 90073 WITH SCORE 90228.456
AT ITER 9659 NEW BEST:: SOT 546855 SOS 155449 HAS SOPS 155449 HAS SOUS 90066 HAS SOUPS 90066 WITH SCORE 90221.449
AT ITER 9668 NEW BEST:: SOT 546852 SOS 155443 HAS SOPS 155443 HAS SOUS 90061 HAS SOUPS 90061 WITH SCORE 90216.443
AT ITER 9688 NEW BEST:: SOT 546852 SOS 155405 HAS SOPS 155405 HAS SOUS 90061 HAS SOUPS 90061 WITH SCORE 90216.405
AT ITER 9689 NEW BEST:: SOT 546848 SOS 155397 HAS SOPS 155397 HAS SOUS 90053 HAS SOUPS 90053 WITH SCORE 90208.397
AT ITER 9693 NEW BEST:: SOT 546795 SOS 155326 HAS SOPS 155326 HAS SOUS 90035 HAS SOUPS 90035 WITH SCORE 90190.326
AT ITER 9697 NEW BEST:: SOT 546780 SOS 155191 HAS SOPS 155191 HAS SOUS 89990 HAS SOUPS 89990 WITH SCORE 90145.191
AT ITER 9752 NEW BEST:: SOT 546768 SOS 155162 HAS SOPS 155162 HAS SOUS 89927 HAS SOUPS 89927 WITH SCORE 90082.162
AT ITER 9757 NEW BEST:: SOT 546768 SOS 155157 HAS SOPS 155157 HAS SOUS 89922 HAS SOUPS 89922 WITH SCORE 90077.157
AT ITER 9772 NEW BEST:: SOT 546768 SOS 155124 HAS SOPS 155124 HAS SOUS 89889 HAS SOUPS 89889 WITH SCORE 90044.124
AT ITER 9839 NEW BEST:: SOT 546738 SOS 155124 HAS SOPS 155124 HAS SOUS 89844 HAS SOUPS 89844 WITH SCORE 89999.124
AT ITER 9856 NEW BEST:: SOT 546722 SOS 155028 HAS SOPS 155028 HAS SOUS 89784 HAS SOUPS 89784 WITH SCORE 89939.028
AT ITER 9859 NEW BEST:: SOT 546706 SOS 155012 HAS SOPS 155012 HAS SOUS 89768 HAS SOUPS 89768 WITH SCORE 89923.012
AT ITER 9864 NEW BEST:: SOT 546706 SOS 154929 HAS SOPS 154929 HAS SOUS 89768 HAS SOUPS 89768 WITH SCORE 89922.929
AT ITER 9900 NEW BEST:: SOT 546688 SOS 154893 HAS SOPS 154893 HAS SOUS 89732 HAS SOUPS 89732 WITH SCORE 89886.893
AT ITER 9939 NEW BEST:: SOT 546691 SOS 154861 HAS SOPS 154861 HAS SOUS 89700 HAS SOUPS 89700 WITH SCORE 89854.861
AT ITER 9944 NEW BEST:: SOT 546497 SOS 154502 HAS SOPS 154502 HAS SOUS 89495 HAS SOUPS 89495 WITH SCORE 89649.502
AT ITER 9963 NEW BEST:: SOT 546485 SOS 154502 HAS SOPS 154502 HAS SOUS 89483 HAS SOUPS 89483 WITH SCORE 89637.502
AT ITER 9988 NEW BEST:: SOT 546484 SOS 154470 HAS SOPS 154470 HAS SOUS 89451 HAS SOUPS 89451 WITH SCORE 89605.47
AT ITER 9997 NEW BEST:: SOT 546477 SOS 154463 HAS SOPS 154463 HAS SOUS 89437 HAS SOUPS 89437 WITH SCORE 89591.463
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11120956 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153660 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="ASLink-PT-01b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is ASLink-PT-01b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590300024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-01b.tgz
mv ASLink-PT-01b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;