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.r515-tall-167987241900040.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 Anderson-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987241900040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 5.5K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 17K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 170K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Mar 23 15:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Mar 23 15:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 606K Mar 26 22:42 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 1679873521975

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=Anderson-PT-08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 08
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: 401 places, 1328 transitions, 5088 arcs.
AT ITER 0 NEW BEST:: SOT 305734 SOS 193505 HAS SOPS 193505 HAS SOUS 64751 HAS SOUPS 64751 WITH SCORE 64944.505
AT ITER 3 NEW BEST:: SOT 305697 SOS 193179 HAS SOPS 193179 HAS SOUS 64714 HAS SOUPS 64714 WITH SCORE 64907.179
AT ITER 7 NEW BEST:: SOT 305582 SOS 193199 HAS SOPS 193199 HAS SOUS 64669 HAS SOUPS 64669 WITH SCORE 64862.199
AT ITER 17 NEW BEST:: SOT 305413 SOS 192315 HAS SOPS 192315 HAS SOUS 64418 HAS SOUPS 64418 WITH SCORE 64610.315
AT ITER 30 NEW BEST:: SOT 305339 SOS 191945 HAS SOPS 191945 HAS SOUS 64307 HAS SOUPS 64307 WITH SCORE 64498.945
AT ITER 35 NEW BEST:: SOT 305305 SOS 191775 HAS SOPS 191775 HAS SOUS 64256 HAS SOUPS 64256 WITH SCORE 64447.775
AT ITER 38 NEW BEST:: SOT 305165 SOS 191075 HAS SOPS 191075 HAS SOUS 64046 HAS SOUPS 64046 WITH SCORE 64237.075
AT ITER 40 NEW BEST:: SOT 305136 SOS 190819 HAS SOPS 190819 HAS SOUS 64005 HAS SOUPS 64005 WITH SCORE 64195.819
AT ITER 42 NEW BEST:: SOT 305159 SOS 190450 HAS SOPS 190450 HAS SOUS 63908 HAS SOUPS 63908 WITH SCORE 64098.45
AT ITER 65 NEW BEST:: SOT 305159 SOS 190416 HAS SOPS 190416 HAS SOUS 63874 HAS SOUPS 63874 WITH SCORE 64064.416
AT ITER 67 NEW BEST:: SOT 305159 SOS 190416 HAS SOPS 190416 HAS SOUS 63867 HAS SOUPS 63867 WITH SCORE 64057.416
AT ITER 75 NEW BEST:: SOT 305083 SOS 190036 HAS SOPS 190036 HAS SOUS 63753 HAS SOUPS 63753 WITH SCORE 63943.036
AT ITER 85 NEW BEST:: SOT 304775 SOS 189769 HAS SOPS 189769 HAS SOUS 63486 HAS SOUPS 63486 WITH SCORE 63675.769
AT ITER 93 NEW BEST:: SOT 304746 SOS 189308 HAS SOPS 189308 HAS SOUS 63338 HAS SOUPS 63338 WITH SCORE 63527.308
AT ITER 100 NEW BEST:: SOT 305449 SOS 189946 HAS SOPS 189946 HAS SOUS 63256 HAS SOUPS 63256 WITH SCORE 63445.946
AT ITER 107 NEW BEST:: SOT 305393 SOS 189666 HAS SOPS 189666 HAS SOUS 63172 HAS SOUPS 63172 WITH SCORE 63361.666
AT ITER 123 NEW BEST:: SOT 306406 SOS 190679 HAS SOPS 190679 HAS SOUS 63023 HAS SOUPS 63023 WITH SCORE 63213.679
AT ITER 125 NEW BEST:: SOT 306406 SOS 190657 HAS SOPS 190657 HAS SOUS 63023 HAS SOUPS 63023 WITH SCORE 63213.657
AT ITER 129 NEW BEST:: SOT 306283 SOS 189829 HAS SOPS 189829 HAS SOUS 62846 HAS SOUPS 62846 WITH SCORE 63035.829
AT ITER 134 NEW BEST:: SOT 306139 SOS 189109 HAS SOPS 189109 HAS SOUS 62630 HAS SOUPS 62630 WITH SCORE 62819.109
AT ITER 135 NEW BEST:: SOT 306132 SOS 189102 HAS SOPS 189102 HAS SOUS 62307 HAS SOUPS 62307 WITH SCORE 62496.102
AT ITER 146 NEW BEST:: SOT 306132 SOS 189102 HAS SOPS 189102 HAS SOUS 62306 HAS SOUPS 62306 WITH SCORE 62495.102
AT ITER 155 NEW BEST:: SOT 306140 SOS 187971 HAS SOPS 187971 HAS SOUS 62245 HAS SOUPS 62245 WITH SCORE 62432.971
AT ITER 166 NEW BEST:: SOT 305615 SOS 186924 HAS SOPS 186924 HAS SOUS 62210 HAS SOUPS 62210 WITH SCORE 62396.924
AT ITER 186 NEW BEST:: SOT 305186 SOS 186521 HAS SOPS 186521 HAS SOUS 61807 HAS SOUPS 61807 WITH SCORE 61993.521
AT ITER 191 NEW BEST:: SOT 306370 SOS 187705 HAS SOPS 187705 HAS SOUS 61759 HAS SOUPS 61759 WITH SCORE 61946.705
AT ITER 196 NEW BEST:: SOT 303491 SOS 196723 HAS SOPS 196626 HAS SOUS 59320 HAS SOUPS 59223 WITH SCORE 59419.723
AT ITER 204 NEW BEST:: SOT 303970 SOS 197202 HAS SOPS 197105 HAS SOUS 59197 HAS SOUPS 59100 WITH SCORE 59297.202
AT ITER 213 NEW BEST:: SOT 305518 SOS 198750 HAS SOPS 198653 HAS SOUS 59086 HAS SOUPS 58989 WITH SCORE 59187.75
AT ITER 214 NEW BEST:: SOT 305473 SOS 198438 HAS SOPS 198341 HAS SOUS 59033 HAS SOUPS 58936 WITH SCORE 59134.438
AT ITER 216 NEW BEST:: SOT 305395 SOS 198048 HAS SOPS 197951 HAS SOUS 58916 HAS SOUPS 58819 WITH SCORE 59017.048
AT ITER 236 NEW BEST:: SOT 305395 SOS 198048 HAS SOPS 197951 HAS SOUS 58908 HAS SOUPS 58811 WITH SCORE 59009.048
AT ITER 244 NEW BEST:: SOT 305392 SOS 198045 HAS SOPS 197948 HAS SOUS 58905 HAS SOUPS 58808 WITH SCORE 59006.045
AT ITER 269 NEW BEST:: SOT 305353 SOS 198006 HAS SOPS 197909 HAS SOUS 58831 HAS SOUPS 58734 WITH SCORE 58932.006
AT ITER 274 NEW BEST:: SOT 305287 SOS 197940 HAS SOPS 197843 HAS SOUS 58698 HAS SOUPS 58601 WITH SCORE 58798.94
AT ITER 277 NEW BEST:: SOT 305278 SOS 197931 HAS SOPS 197834 HAS SOUS 58689 HAS SOUPS 58592 WITH SCORE 58789.931
AT ITER 278 NEW BEST:: SOT 305278 SOS 197931 HAS SOPS 197834 HAS SOUS 58688 HAS SOUPS 58591 WITH SCORE 58788.931
AT ITER 280 NEW BEST:: SOT 306119 SOS 198772 HAS SOPS 198675 HAS SOUS 58600 HAS SOUPS 58503 WITH SCORE 58701.772
AT ITER 300 NEW BEST:: SOT 306146 SOS 198143 HAS SOPS 198046 HAS SOUS 58494 HAS SOUPS 58397 WITH SCORE 58595.143
AT ITER 305 NEW BEST:: SOT 306141 SOS 198133 HAS SOPS 198036 HAS SOUS 58489 HAS SOUPS 58392 WITH SCORE 58590.133
AT ITER 313 NEW BEST:: SOT 306123 SOS 198097 HAS SOPS 198000 HAS SOUS 58453 HAS SOUPS 58356 WITH SCORE 58554.097
AT ITER 317 NEW BEST:: SOT 305713 SOS 197796 HAS SOPS 197590 HAS SOUS 58240 HAS SOUPS 58120 WITH SCORE 58317.796
AT ITER 322 NEW BEST:: SOT 305677 SOS 197766 HAS SOPS 197554 HAS SOUS 58204 HAS SOUPS 58084 WITH SCORE 58281.766
AT ITER 324 NEW BEST:: SOT 305627 SOS 197716 HAS SOPS 197504 HAS SOUS 58146 HAS SOUPS 58026 WITH SCORE 58223.716
AT ITER 331 NEW BEST:: SOT 305609 SOS 197698 HAS SOPS 197486 HAS SOUS 58071 HAS SOUPS 57951 WITH SCORE 58148.698
AT ITER 334 NEW BEST:: SOT 305549 SOS 197314 HAS SOPS 197102 HAS SOUS 57995 HAS SOUPS 57875 WITH SCORE 58072.314
AT ITER 354 NEW BEST:: SOT 305494 SOS 197259 HAS SOPS 197047 HAS SOUS 57892 HAS SOUPS 57772 WITH SCORE 57969.259
AT ITER 379 NEW BEST:: SOT 305506 SOS 197271 HAS SOPS 197023 HAS SOUS 57910 HAS SOUPS 57760 WITH SCORE 57957.271
AT ITER 380 NEW BEST:: SOT 305545 SOS 197310 HAS SOPS 197062 HAS SOUS 57878 HAS SOUPS 57728 WITH SCORE 57925.31
AT ITER 386 NEW BEST:: SOT 305415 SOS 196564 HAS SOPS 196316 HAS SOUS 57687 HAS SOUPS 57537 WITH SCORE 57733.564
AT ITER 398 NEW BEST:: SOT 305403 SOS 196552 HAS SOPS 196304 HAS SOUS 57656 HAS SOUPS 57506 WITH SCORE 57702.552
AT ITER 399 NEW BEST:: SOT 305398 SOS 196547 HAS SOPS 196299 HAS SOUS 57607 HAS SOUPS 57457 WITH SCORE 57653.547
AT ITER 404 NEW BEST:: SOT 305398 SOS 195467 HAS SOPS 195219 HAS SOUS 57535 HAS SOUPS 57385 WITH SCORE 57580.467
AT ITER 411 NEW BEST:: SOT 305275 SOS 194669 HAS SOPS 194421 HAS SOUS 57358 HAS SOUPS 57208 WITH SCORE 57402.669
AT ITER 415 NEW BEST:: SOT 304995 SOS 194389 HAS SOPS 194141 HAS SOUS 57078 HAS SOUPS 56928 WITH SCORE 57122.389
AT ITER 416 NEW BEST:: SOT 304950 SOS 194344 HAS SOPS 194096 HAS SOUS 57019 HAS SOUPS 56869 WITH SCORE 57063.344
AT ITER 440 NEW BEST:: SOT 304842 SOS 194236 HAS SOPS 193988 HAS SOUS 56979 HAS SOUPS 56829 WITH SCORE 57023.236
AT ITER 444 NEW BEST:: SOT 304831 SOS 194148 HAS SOPS 193900 HAS SOUS 56968 HAS SOUPS 56818 WITH SCORE 57012.148
AT ITER 451 NEW BEST:: SOT 304810 SOS 194127 HAS SOPS 193879 HAS SOUS 56926 HAS SOUPS 56776 WITH SCORE 56970.127
AT ITER 462 NEW BEST:: SOT 304735 SOS 193694 HAS SOPS 193428 HAS SOUS 56730 HAS SOUPS 56562 WITH SCORE 56755.694
AT ITER 464 NEW BEST:: SOT 304735 SOS 193772 HAS SOPS 193506 HAS SOUS 56729 HAS SOUPS 56561 WITH SCORE 56754.772
AT ITER 470 NEW BEST:: SOT 304691 SOS 193842 HAS SOPS 193527 HAS SOUS 56697 HAS SOUPS 56498 WITH SCORE 56691.842
AT ITER 476 NEW BEST:: SOT 304678 SOS 193672 HAS SOPS 193357 HAS SOUS 56680 HAS SOUPS 56481 WITH SCORE 56674.672
AT ITER 485 NEW BEST:: SOT 304640 SOS 193320 HAS SOPS 193005 HAS SOUS 56626 HAS SOUPS 56427 WITH SCORE 56620.32
AT ITER 512 NEW BEST:: SOT 304618 SOS 193298 HAS SOPS 192983 HAS SOUS 56600 HAS SOUPS 56401 WITH SCORE 56594.298
AT ITER 525 NEW BEST:: SOT 304602 SOS 193050 HAS SOPS 192735 HAS SOUS 56584 HAS SOUPS 56385 WITH SCORE 56578.05
AT ITER 532 NEW BEST:: SOT 304591 SOS 193028 HAS SOPS 192713 HAS SOUS 56568 HAS SOUPS 56369 WITH SCORE 56562.028
AT ITER 538 NEW BEST:: SOT 304482 SOS 192952 HAS SOPS 192637 HAS SOUS 56478 HAS SOUPS 56279 WITH SCORE 56471.952
AT ITER 541 NEW BEST:: SOT 304703 SOS 193173 HAS SOPS 192858 HAS SOUS 56477 HAS SOUPS 56278 WITH SCORE 56471.173
AT ITER 548 NEW BEST:: SOT 304682 SOS 193131 HAS SOPS 192816 HAS SOUS 56435 HAS SOUPS 56236 WITH SCORE 56429.131
AT ITER 550 NEW BEST:: SOT 304670 SOS 193107 HAS SOPS 192792 HAS SOUS 56423 HAS SOUPS 56224 WITH SCORE 56417.107
AT ITER 555 NEW BEST:: SOT 304583 SOS 192948 HAS SOPS 192705 HAS SOUS 56178 HAS SOUPS 56051 WITH SCORE 56243.948
AT ITER 579 NEW BEST:: SOT 304919 SOS 193284 HAS SOPS 193041 HAS SOUS 56166 HAS SOUPS 56039 WITH SCORE 56232.284
AT ITER 580 NEW BEST:: SOT 304486 SOS 192851 HAS SOPS 192608 HAS SOUS 55725 HAS SOUPS 55598 WITH SCORE 55790.851
AT ITER 587 NEW BEST:: SOT 304520 SOS 192207 HAS SOPS 191964 HAS SOUS 55704 HAS SOUPS 55577 WITH SCORE 55769.207
AT ITER 597 NEW BEST:: SOT 304445 SOS 191727 HAS SOPS 191484 HAS SOUS 55596 HAS SOUPS 55469 WITH SCORE 55660.727
AT ITER 604 NEW BEST:: SOT 304393 SOS 191675 HAS SOPS 191432 HAS SOUS 55505 HAS SOUPS 55378 WITH SCORE 55569.675
AT ITER 606 NEW BEST:: SOT 304389 SOS 191671 HAS SOPS 191428 HAS SOUS 55501 HAS SOUPS 55374 WITH SCORE 55565.671
AT ITER 609 NEW BEST:: SOT 304382 SOS 191657 HAS SOPS 191414 HAS SOUS 55494 HAS SOUPS 55367 WITH SCORE 55558.657
AT ITER 613 NEW BEST:: SOT 304364 SOS 191621 HAS SOPS 191378 HAS SOUS 55478 HAS SOUPS 55351 WITH SCORE 55542.621
AT ITER 620 NEW BEST:: SOT 304337 SOS 191639 HAS SOPS 191324 HAS SOUS 55528 HAS SOUPS 55314 WITH SCORE 55505.639
AT ITER 621 NEW BEST:: SOT 304332 SOS 191634 HAS SOPS 191319 HAS SOUS 55518 HAS SOUPS 55304 WITH SCORE 55495.634
AT ITER 643 NEW BEST:: SOT 304303 SOS 190952 HAS SOPS 190637 HAS SOUS 55506 HAS SOUPS 55292 WITH SCORE 55482.952
AT ITER 649 NEW BEST:: SOT 304302 SOS 190951 HAS SOPS 190636 HAS SOUS 55506 HAS SOUPS 55292 WITH SCORE 55482.951
AT ITER 655 NEW BEST:: SOT 304365 SOS 190968 HAS SOPS 190575 HAS SOUS 55575 HAS SOUPS 55283 WITH SCORE 55473.968
AT ITER 668 NEW BEST:: SOT 304323 SOS 190320 HAS SOPS 189927 HAS SOUS 55496 HAS SOUPS 55204 WITH SCORE 55394.32
AT ITER 685 NEW BEST:: SOT 304269 SOS 190266 HAS SOPS 189873 HAS SOUS 55427 HAS SOUPS 55135 WITH SCORE 55325.266
AT ITER 687 NEW BEST:: SOT 304261 SOS 190258 HAS SOPS 189865 HAS SOUS 55418 HAS SOUPS 55126 WITH SCORE 55316.258
AT ITER 698 NEW BEST:: SOT 304240 SOS 190144 HAS SOPS 189751 HAS SOUS 55388 HAS SOUPS 55096 WITH SCORE 55286.144
AT ITER 710 NEW BEST:: SOT 304279 SOS 190219 HAS SOPS 189790 HAS SOUS 55349 HAS SOUPS 55051 WITH SCORE 55241.219
AT ITER 715 NEW BEST:: SOT 304277 SOS 189939 HAS SOPS 189510 HAS SOUS 55347 HAS SOUPS 55049 WITH SCORE 55238.939
AT ITER 717 NEW BEST:: SOT 304290 SOS 190199 HAS SOPS 189770 HAS SOUS 55341 HAS SOUPS 55043 WITH SCORE 55233.199
AT ITER 723 NEW BEST:: SOT 304245 SOS 189797 HAS SOPS 189368 HAS SOUS 55297 HAS SOUPS 54999 WITH SCORE 55188.797
AT ITER 725 NEW BEST:: SOT 304242 SOS 189791 HAS SOPS 189362 HAS SOUS 55291 HAS SOUPS 54993 WITH SCORE 55182.791
AT ITER 734 NEW BEST:: SOT 304185 SOS 189734 HAS SOPS 189248 HAS SOUS 55234 HAS SOUPS 54879 WITH SCORE 55068.734
AT ITER 735 NEW BEST:: SOT 304136 SOS 189636 HAS SOPS 189150 HAS SOUS 55185 HAS SOUPS 54830 WITH SCORE 55019.636
AT ITER 752 NEW BEST:: SOT 304136 SOS 189546 HAS SOPS 189060 HAS SOUS 55179 HAS SOUPS 54824 WITH SCORE 55013.546
AT ITER 755 NEW BEST:: SOT 304123 SOS 189533 HAS SOPS 189047 HAS SOUS 55153 HAS SOUPS 54798 WITH SCORE 54987.533
AT ITER 793 NEW BEST:: SOT 303815 SOS 189225 HAS SOPS 188739 HAS SOUS 55153 HAS SOUPS 54798 WITH SCORE 54987.225
AT ITER 794 NEW BEST:: SOT 303807 SOS 189209 HAS SOPS 188723 HAS SOUS 55145 HAS SOUPS 54790 WITH SCORE 54979.209
AT ITER 816 NEW BEST:: SOT 302813 SOS 188215 HAS SOPS 187729 HAS SOUS 55145 HAS SOUPS 54790 WITH SCORE 54978.215
AT ITER 839 NEW BEST:: SOT 302751 SOS 188153 HAS SOPS 187667 HAS SOUS 55023 HAS SOUPS 54668 WITH SCORE 54856.153
AT ITER 847 NEW BEST:: SOT 302748 SOS 188147 HAS SOPS 187661 HAS SOUS 55017 HAS SOUPS 54662 WITH SCORE 54850.147
AT ITER 850 NEW BEST:: SOT 302738 SOS 188137 HAS SOPS 187656 HAS SOUS 55007 HAS SOUPS 54657 WITH SCORE 54845.137
AT ITER 864 NEW BEST:: SOT 302665 SOS 187991 HAS SOPS 187510 HAS SOUS 54931 HAS SOUPS 54581 WITH SCORE 54768.991
AT ITER 873 NEW BEST:: SOT 302741 SOS 188067 HAS SOPS 187586 HAS SOUS 54917 HAS SOUPS 54567 WITH SCORE 54755.067
AT ITER 876 NEW BEST:: SOT 302708 SOS 188042 HAS SOPS 187586 HAS SOUS 54884 HAS SOUPS 54534 WITH SCORE 54722.042
AT ITER 888 NEW BEST:: SOT 302693 SOS 188027 HAS SOPS 187571 HAS SOUS 54854 HAS SOUPS 54504 WITH SCORE 54692.027
AT ITER 891 NEW BEST:: SOT 302642 SOS 187643 HAS SOPS 187187 HAS SOUS 54791 HAS SOUPS 54441 WITH SCORE 54628.643
AT ITER 892 NEW BEST:: SOT 302649 SOS 187657 HAS SOPS 187201 HAS SOUS 54784 HAS SOUPS 54434 WITH SCORE 54621.657
AT ITER 929 NEW BEST:: SOT 302638 SOS 187646 HAS SOPS 187190 HAS SOUS 54768 HAS SOUPS 54418 WITH SCORE 54605.646
AT ITER 941 NEW BEST:: SOT 302638 SOS 187646 HAS SOPS 187190 HAS SOUS 54767 HAS SOUPS 54417 WITH SCORE 54604.646
AT ITER 943 NEW BEST:: SOT 302605 SOS 187613 HAS SOPS 187157 HAS SOUS 54701 HAS SOUPS 54351 WITH SCORE 54538.613
AT ITER 944 NEW BEST:: SOT 302311 SOS 187319 HAS SOPS 186863 HAS SOUS 54701 HAS SOUPS 54351 WITH SCORE 54538.319
AT ITER 961 NEW BEST:: SOT 302284 SOS 187292 HAS SOPS 186836 HAS SOUS 54647 HAS SOUPS 54297 WITH SCORE 54484.292
AT ITER 966 NEW BEST:: SOT 302271 SOS 187279 HAS SOPS 186823 HAS SOUS 54621 HAS SOUPS 54271 WITH SCORE 54458.279
AT ITER 985 NEW BEST:: SOT 302215 SOS 187167 HAS SOPS 186711 HAS SOUS 54515 HAS SOUPS 54165 WITH SCORE 54352.167
AT ITER 991 NEW BEST:: SOT 302215 SOS 187127 HAS SOPS 186671 HAS SOUS 54510 HAS SOUPS 54160 WITH SCORE 54347.127
AT ITER 997 NEW BEST:: SOT 302106 SOS 186702 HAS SOPS 186246 HAS SOUS 54450 HAS SOUPS 54100 WITH SCORE 54286.702
AT ITER 1029 NEW BEST:: SOT 302075 SOS 186639 HAS SOPS 186183 HAS SOUS 54386 HAS SOUPS 54036 WITH SCORE 54222.639
AT ITER 1044 NEW BEST:: SOT 302029 SOS 186593 HAS SOPS 186137 HAS SOUS 54274 HAS SOUPS 53924 WITH SCORE 54110.593
AT ITER 1046 NEW BEST:: SOT 302029 SOS 186532 HAS SOPS 186076 HAS SOUS 54213 HAS SOUPS 53863 WITH SCORE 54049.532
AT ITER 1062 NEW BEST:: SOT 302015 SOS 186518 HAS SOPS 186062 HAS SOUS 54213 HAS SOUPS 53863 WITH SCORE 54049.518
AT ITER 1096 NEW BEST:: SOT 302184 SOS 186687 HAS SOPS 186231 HAS SOUS 54187 HAS SOUPS 53837 WITH SCORE 54023.687
AT ITER 1107 NEW BEST:: SOT 302181 SOS 186684 HAS SOPS 186228 HAS SOUS 54181 HAS SOUPS 53831 WITH SCORE 54017.684
AT ITER 1116 NEW BEST:: SOT 302153 SOS 186460 HAS SOPS 186004 HAS SOUS 54153 HAS SOUPS 53803 WITH SCORE 53989.46
AT ITER 1119 NEW BEST:: SOT 302153 SOS 186238 HAS SOPS 185782 HAS SOUS 54153 HAS SOUPS 53803 WITH SCORE 53989.238
AT ITER 1134 NEW BEST:: SOT 302348 SOS 186433 HAS SOPS 185977 HAS SOUS 54123 HAS SOUPS 53773 WITH SCORE 53959.433
AT ITER 1141 NEW BEST:: SOT 302306 SOS 186466 HAS SOPS 185686 HAS SOUS 54161 HAS SOUPS 53731 WITH SCORE 53917.466
AT ITER 1154 NEW BEST:: SOT 302286 SOS 186446 HAS SOPS 185666 HAS SOUS 54134 HAS SOUPS 53704 WITH SCORE 53890.446
AT ITER 1157 NEW BEST:: SOT 302260 SOS 186420 HAS SOPS 185640 HAS SOUS 54108 HAS SOUPS 53678 WITH SCORE 53864.42
AT ITER 1170 NEW BEST:: SOT 302162 SOS 186344 HAS SOPS 185537 HAS SOUS 54010 HAS SOUPS 53553 WITH SCORE 53739.344
AT ITER 1183 NEW BEST:: SOT 302152 SOS 186334 HAS SOPS 185527 HAS SOUS 53995 HAS SOUPS 53538 WITH SCORE 53724.334
AT ITER 1190 NEW BEST:: SOT 302132 SOS 186314 HAS SOPS 185507 HAS SOUS 53955 HAS SOUPS 53498 WITH SCORE 53684.314
AT ITER 1221 NEW BEST:: SOT 301981 SOS 184530 HAS SOPS 183723 HAS SOUS 53731 HAS SOUPS 53274 WITH SCORE 53458.53
AT ITER 1233 NEW BEST:: SOT 301981 SOS 184530 HAS SOPS 183723 HAS SOUS 53703 HAS SOUPS 53246 WITH SCORE 53430.53
AT ITER 1245 NEW BEST:: SOT 301967 SOS 184100 HAS SOPS 183293 HAS SOUS 53689 HAS SOUPS 53232 WITH SCORE 53416.1
AT ITER 1256 NEW BEST:: SOT 301949 SOS 184064 HAS SOPS 183275 HAS SOUS 53635 HAS SOUPS 53196 WITH SCORE 53380.064
AT ITER 1279 NEW BEST:: SOT 301788 SOS 183827 HAS SOPS 182953 HAS SOUS 53457 HAS SOUPS 52933 WITH SCORE 53116.827
AT ITER 1285 NEW BEST:: SOT 301785 SOS 183824 HAS SOPS 182950 HAS SOUS 53429 HAS SOUPS 52905 WITH SCORE 53088.824
AT ITER 1289 NEW BEST:: SOT 301782 SOS 183836 HAS SOPS 182962 HAS SOUS 53423 HAS SOUPS 52899 WITH SCORE 53082.836
AT ITER 1317 NEW BEST:: SOT 301756 SOS 183810 HAS SOPS 182939 HAS SOUS 53371 HAS SOUPS 52847 WITH SCORE 53030.81
AT ITER 1337 NEW BEST:: SOT 302863 SOS 184917 HAS SOPS 184046 HAS SOUS 53289 HAS SOUPS 52765 WITH SCORE 52949.917
AT ITER 1341 NEW BEST:: SOT 302792 SOS 184846 HAS SOPS 183975 HAS SOUS 53147 HAS SOUPS 52623 WITH SCORE 52807.846
AT ITER 1351 NEW BEST:: SOT 302725 SOS 184244 HAS SOPS 183373 HAS SOUS 53076 HAS SOUPS 52552 WITH SCORE 52736.244
AT ITER 1359 NEW BEST:: SOT 302725 SOS 183962 HAS SOPS 182983 HAS SOUS 53130 HAS SOUPS 52552 WITH SCORE 52735.962
AT ITER 1365 NEW BEST:: SOT 302634 SOS 184193 HAS SOPS 182820 HAS SOUS 53192 HAS SOUPS 52503 WITH SCORE 52687.193
AT ITER 1398 NEW BEST:: SOT 302588 SOS 183862 HAS SOPS 182512 HAS SOUS 53136 HAS SOUPS 52447 WITH SCORE 52630.862
AT ITER 1403 NEW BEST:: SOT 302584 SOS 183840 HAS SOPS 182492 HAS SOUS 53130 HAS SOUPS 52441 WITH SCORE 52624.84
AT ITER 1405 NEW BEST:: SOT 302510 SOS 183766 HAS SOPS 182418 HAS SOUS 53050 HAS SOUPS 52361 WITH SCORE 52544.766
AT ITER 1408 NEW BEST:: SOT 303669 SOS 184925 HAS SOPS 183577 HAS SOUS 52839 HAS SOUPS 52150 WITH SCORE 52334.925
AT ITER 1410 NEW BEST:: SOT 303669 SOS 184836 HAS SOPS 183498 HAS SOUS 52839 HAS SOUPS 52150 WITH SCORE 52334.836
AT ITER 1416 NEW BEST:: SOT 303684 SOS 184774 HAS SOPS 183436 HAS SOUS 52813 HAS SOUPS 52124 WITH SCORE 52308.774
AT ITER 1418 NEW BEST:: SOT 303669 SOS 184642 HAS SOPS 183304 HAS SOUS 52799 HAS SOUPS 52110 WITH SCORE 52294.642
AT ITER 1455 NEW BEST:: SOT 303666 SOS 184639 HAS SOPS 183301 HAS SOUS 52793 HAS SOUPS 52104 WITH SCORE 52288.639
AT ITER 1456 NEW BEST:: SOT 303625 SOS 184598 HAS SOPS 183260 HAS SOUS 52711 HAS SOUPS 52022 WITH SCORE 52206.598
AT ITER 1458 NEW BEST:: SOT 303610 SOS 184583 HAS SOPS 183245 HAS SOUS 52696 HAS SOUPS 52007 WITH SCORE 52191.583
AT ITER 1497 NEW BEST:: SOT 303671 SOS 184649 HAS SOPS 183311 HAS SOUS 52682 HAS SOUPS 51993 WITH SCORE 52177.649
AT ITER 1508 NEW BEST:: SOT 303663 SOS 184641 HAS SOPS 183303 HAS SOUS 52666 HAS SOUPS 51977 WITH SCORE 52161.641
AT ITER 1509 NEW BEST:: SOT 303645 SOS 184623 HAS SOPS 183285 HAS SOUS 52630 HAS SOUPS 51941 WITH SCORE 52125.623
AT ITER 1523 NEW BEST:: SOT 303627 SOS 184101 HAS SOPS 182763 HAS SOUS 52612 HAS SOUPS 51923 WITH SCORE 52107.101
AT ITER 1542 NEW BEST:: SOT 303601 SOS 184049 HAS SOPS 182711 HAS SOUS 52560 HAS SOUPS 51871 WITH SCORE 52055.049
AT ITER 1544 NEW BEST:: SOT 303611 SOS 183981 HAS SOPS 182643 HAS SOUS 52405 HAS SOUPS 51716 WITH SCORE 51899.981
AT ITER 1559 NEW BEST:: SOT 303610 SOS 183980 HAS SOPS 182642 HAS SOUS 52404 HAS SOUPS 51715 WITH SCORE 51898.98
AT ITER 1563 NEW BEST:: SOT 303595 SOS 183965 HAS SOPS 182627 HAS SOUS 52404 HAS SOUPS 51715 WITH SCORE 51898.965
AT ITER 1586 NEW BEST:: SOT 303371 SOS 183741 HAS SOPS 182403 HAS SOUS 52358 HAS SOUPS 51669 WITH SCORE 51852.741
AT ITER 1589 NEW BEST:: SOT 303358 SOS 183728 HAS SOPS 182390 HAS SOUS 52332 HAS SOUPS 51643 WITH SCORE 51826.728
AT ITER 1607 NEW BEST:: SOT 303315 SOS 183685 HAS SOPS 182347 HAS SOUS 52289 HAS SOUPS 51600 WITH SCORE 51783.685
AT ITER 1610 NEW BEST:: SOT 303320 SOS 183599 HAS SOPS 182261 HAS SOUS 52282 HAS SOUPS 51593 WITH SCORE 51776.599
AT ITER 1627 NEW BEST:: SOT 303320 SOS 183545 HAS SOPS 182207 HAS SOUS 52282 HAS SOUPS 51593 WITH SCORE 51776.545
AT ITER 1643 NEW BEST:: SOT 303299 SOS 183503 HAS SOPS 182165 HAS SOUS 52261 HAS SOUPS 51572 WITH SCORE 51755.503
AT ITER 1644 NEW BEST:: SOT 303295 SOS 183499 HAS SOPS 182161 HAS SOUS 52253 HAS SOUPS 51564 WITH SCORE 51747.499
AT ITER 1649 NEW BEST:: SOT 303294 SOS 183497 HAS SOPS 182159 HAS SOUS 52252 HAS SOUPS 51563 WITH SCORE 51746.497
AT ITER 1661 NEW BEST:: SOT 303252 SOS 183455 HAS SOPS 182117 HAS SOUS 52190 HAS SOUPS 51501 WITH SCORE 51684.455
AT ITER 1687 NEW BEST:: SOT 303223 SOS 183279 HAS SOPS 181941 HAS SOUS 52077 HAS SOUPS 51388 WITH SCORE 51571.279
AT ITER 1691 NEW BEST:: SOT 303223 SOS 183279 HAS SOPS 181941 HAS SOUS 52072 HAS SOUPS 51383 WITH SCORE 51566.279
AT ITER 1698 NEW BEST:: SOT 303185 SOS 183231 HAS SOPS 181865 HAS SOUS 51823 HAS SOUPS 51134 WITH SCORE 51317.231
AT ITER 1704 NEW BEST:: SOT 303151 SOS 183211 HAS SOPS 181797 HAS SOUS 51818 HAS SOUPS 51066 WITH SCORE 51249.211
AT ITER 1711 NEW BEST:: SOT 303129 SOS 183167 HAS SOPS 181753 HAS SOUS 51786 HAS SOUPS 51034 WITH SCORE 51217.167
AT ITER 1742 NEW BEST:: SOT 303112 SOS 183150 HAS SOPS 181736 HAS SOUS 51771 HAS SOUPS 51019 WITH SCORE 51202.15
AT ITER 1744 NEW BEST:: SOT 303111 SOS 183185 HAS SOPS 181771 HAS SOUS 51767 HAS SOUPS 51015 WITH SCORE 51198.185
AT ITER 1755 NEW BEST:: SOT 303100 SOS 183174 HAS SOPS 181760 HAS SOUS 51745 HAS SOUPS 50993 WITH SCORE 51176.174
AT ITER 1758 NEW BEST:: SOT 303099 SOS 183173 HAS SOPS 181759 HAS SOUS 51743 HAS SOUPS 50991 WITH SCORE 51174.173
AT ITER 1768 NEW BEST:: SOT 303099 SOS 183131 HAS SOPS 181717 HAS SOUS 51743 HAS SOUPS 50991 WITH SCORE 51174.131
AT ITER 1790 NEW BEST:: SOT 303023 SOS 182545 HAS SOPS 181193 HAS SOUS 51644 HAS SOUPS 50892 WITH SCORE 51074.545
AT ITER 1794 NEW BEST:: SOT 302999 SOS 182521 HAS SOPS 181169 HAS SOUS 51596 HAS SOUPS 50844 WITH SCORE 51026.521
AT ITER 1799 NEW BEST:: SOT 302999 SOS 182472 HAS SOPS 181120 HAS SOUS 51596 HAS SOUPS 50844 WITH SCORE 51026.472
AT ITER 1809 NEW BEST:: SOT 302999 SOS 182036 HAS SOPS 180882 HAS SOUS 51562 HAS SOUPS 50844 WITH SCORE 51026.036
AT ITER 1833 NEW BEST:: SOT 302974 SOS 182011 HAS SOPS 180884 HAS SOUS 51512 HAS SOUPS 50821 WITH SCORE 51003.011
AT ITER 1837 NEW BEST:: SOT 302237 SOS 181274 HAS SOPS 180147 HAS SOUS 51410 HAS SOUPS 50719 WITH SCORE 50900.274
AT ITER 1878 NEW BEST:: SOT 302134 SOS 181565 HAS SOPS 180438 HAS SOUS 51395 HAS SOUPS 50704 WITH SCORE 50885.565
AT ITER 1880 NEW BEST:: SOT 302129 SOS 181538 HAS SOPS 180411 HAS SOUS 51390 HAS SOUPS 50699 WITH SCORE 50880.538
AT ITER 1887 NEW BEST:: SOT 302123 SOS 181526 HAS SOPS 180399 HAS SOUS 51384 HAS SOUPS 50693 WITH SCORE 50874.526
AT ITER 1889 NEW BEST:: SOT 302076 SOS 181060 HAS SOPS 179933 HAS SOUS 51340 HAS SOUPS 50649 WITH SCORE 50830.06
AT ITER 1893 NEW BEST:: SOT 302076 SOS 180696 HAS SOPS 179569 HAS SOUS 51340 HAS SOUPS 50649 WITH SCORE 50829.696
AT ITER 1894 NEW BEST:: SOT 302076 SOS 180682 HAS SOPS 179555 HAS SOUS 51340 HAS SOUPS 50649 WITH SCORE 50829.682
AT ITER 1904 NEW BEST:: SOT 302015 SOS 180560 HAS SOPS 179433 HAS SOUS 51279 HAS SOUPS 50588 WITH SCORE 50768.56
AT ITER 1909 NEW BEST:: SOT 301990 SOS 180510 HAS SOPS 179383 HAS SOUS 51229 HAS SOUPS 50538 WITH SCORE 50718.51
AT ITER 1910 NEW BEST:: SOT 301977 SOS 180497 HAS SOPS 179370 HAS SOUS 51203 HAS SOUPS 50512 WITH SCORE 50692.497
AT ITER 1912 NEW BEST:: SOT 301968 SOS 180488 HAS SOPS 179361 HAS SOUS 51194 HAS SOUPS 50503 WITH SCORE 50683.488
AT ITER 1916 NEW BEST:: SOT 301967 SOS 180486 HAS SOPS 179359 HAS SOUS 51192 HAS SOUPS 50501 WITH SCORE 50681.486
AT ITER 1921 NEW BEST:: SOT 301962 SOS 180436 HAS SOPS 179309 HAS SOUS 51167 HAS SOUPS 50476 WITH SCORE 50656.436
AT ITER 1942 NEW BEST:: SOT 301958 SOS 180432 HAS SOPS 179305 HAS SOUS 51159 HAS SOUPS 50468 WITH SCORE 50648.432
AT ITER 1944 NEW BEST:: SOT 301944 SOS 180418 HAS SOPS 179291 HAS SOUS 51131 HAS SOUPS 50440 WITH SCORE 50620.418
AT ITER 1960 NEW BEST:: SOT 301899 SOS 179985 HAS SOPS 178907 HAS SOUS 51090 HAS SOUPS 50399 WITH SCORE 50578.985
AT ITER 1966 NEW BEST:: SOT 301906 SOS 179917 HAS SOPS 178839 HAS SOUS 51022 HAS SOUPS 50331 WITH SCORE 50510.917
AT ITER 1984 NEW BEST:: SOT 301913 SOS 179656 HAS SOPS 178720 HAS SOUS 50913 HAS SOUPS 50268 WITH SCORE 50447.656
AT ITER 2004 NEW BEST:: SOT 301921 SOS 179652 HAS SOPS 178716 HAS SOUS 50904 HAS SOUPS 50259 WITH SCORE 50438.652
AT ITER 2017 NEW BEST:: SOT 301921 SOS 179230 HAS SOPS 178391 HAS SOUS 50879 HAS SOUPS 50259 WITH SCORE 50438.23
AT ITER 2020 NEW BEST:: SOT 301725 SOS 179322 HAS SOPS 178483 HAS SOUS 50856 HAS SOUPS 50236 WITH SCORE 50415.322
AT ITER 2027 NEW BEST:: SOT 301711 SOS 179308 HAS SOPS 178469 HAS SOUS 50842 HAS SOUPS 50222 WITH SCORE 50401.308
AT ITER 2034 NEW BEST:: SOT 301709 SOS 179304 HAS SOPS 178465 HAS SOUS 50838 HAS SOUPS 50218 WITH SCORE 50397.304
AT ITER 2036 NEW BEST:: SOT 301724 SOS 179319 HAS SOPS 178414 HAS SOUS 50868 HAS SOUPS 50182 WITH SCORE 50361.319
AT ITER 2037 NEW BEST:: SOT 301653 SOS 179260 HAS SOPS 178355 HAS SOUS 50786 HAS SOUPS 50100 WITH SCORE 50279.26
AT ITER 2053 NEW BEST:: SOT 301555 SOS 178957 HAS SOPS 178159 HAS SOUS 50483 HAS SOUPS 49904 WITH SCORE 50082.957
AT ITER 2055 NEW BEST:: SOT 301539 SOS 178925 HAS SOPS 178127 HAS SOUS 50451 HAS SOUPS 49872 WITH SCORE 50050.925
AT ITER 2057 NEW BEST:: SOT 301539 SOS 178889 HAS SOPS 178091 HAS SOUS 50451 HAS SOUPS 49872 WITH SCORE 50050.889
AT ITER 2092 NEW BEST:: SOT 301564 SOS 178133 HAS SOPS 177335 HAS SOUS 50419 HAS SOUPS 49840 WITH SCORE 50018.133
AT ITER 2102 NEW BEST:: SOT 301561 SOS 178055 HAS SOPS 177257 HAS SOUS 50416 HAS SOUPS 49837 WITH SCORE 50015.055
AT ITER 2113 NEW BEST:: SOT 301515 SOS 177963 HAS SOPS 177165 HAS SOUS 50324 HAS SOUPS 49745 WITH SCORE 49922.963
AT ITER 2119 NEW BEST:: SOT 301688 SOS 178149 HAS SOPS 177351 HAS SOUS 50302 HAS SOUPS 49723 WITH SCORE 49901.149
AT ITER 2127 NEW BEST:: SOT 301688 SOS 178077 HAS SOPS 177279 HAS SOUS 50302 HAS SOUPS 49723 WITH SCORE 49901.077
AT ITER 2145 NEW BEST:: SOT 301685 SOS 177939 HAS SOPS 177141 HAS SOUS 50299 HAS SOUPS 49720 WITH SCORE 49897.939
AT ITER 2151 NEW BEST:: SOT 301683 SOS 177935 HAS SOPS 177137 HAS SOUS 50296 HAS SOUPS 49717 WITH SCORE 49894.935
AT ITER 2168 NEW BEST:: SOT 301639 SOS 177607 HAS SOPS 176809 HAS SOUS 50217 HAS SOUPS 49638 WITH SCORE 49815.607
AT ITER 2178 NEW BEST:: SOT 301639 SOS 177579 HAS SOPS 176781 HAS SOUS 50189 HAS SOUPS 49610 WITH SCORE 49787.579
AT ITER 2185 NEW BEST:: SOT 301614 SOS 177554 HAS SOPS 176756 HAS SOUS 50140 HAS SOUPS 49561 WITH SCORE 49738.554
AT ITER 2216 NEW BEST:: SOT 301607 SOS 177911 HAS SOPS 177102 HAS SOUS 50135 HAS SOUPS 49556 WITH SCORE 49733.911
AT ITER 2254 NEW BEST:: SOT 301565 SOS 177383 HAS SOPS 176574 HAS SOUS 50093 HAS SOUPS 49514 WITH SCORE 49691.383
AT ITER 2270 NEW BEST:: SOT 301551 SOS 177355 HAS SOPS 176546 HAS SOUS 50078 HAS SOUPS 49499 WITH SCORE 49676.355
AT ITER 2272 NEW BEST:: SOT 301547 SOS 177347 HAS SOPS 176538 HAS SOUS 50070 HAS SOUPS 49491 WITH SCORE 49668.347
AT ITER 2311 NEW BEST:: SOT 301563 SOS 177354 HAS SOPS 176545 HAS SOUS 50015 HAS SOUPS 49436 WITH SCORE 49613.354
AT ITER 2322 NEW BEST:: SOT 301970 SOS 177761 HAS SOPS 176961 HAS SOUS 49955 HAS SOUPS 49376 WITH SCORE 49553.761
AT ITER 2327 NEW BEST:: SOT 301935 SOS 177403 HAS SOPS 176603 HAS SOUS 49914 HAS SOUPS 49335 WITH SCORE 49512.403
AT ITER 2334 NEW BEST:: SOT 301932 SOS 177397 HAS SOPS 176597 HAS SOUS 49905 HAS SOUPS 49326 WITH SCORE 49503.397
AT ITER 2338 NEW BEST:: SOT 301927 SOS 177392 HAS SOPS 176592 HAS SOUS 49895 HAS SOUPS 49316 WITH SCORE 49493.392
AT ITER 2353 NEW BEST:: SOT 301918 SOS 177446 HAS SOPS 176646 HAS SOUS 49886 HAS SOUPS 49307 WITH SCORE 49484.446
AT ITER 2363 NEW BEST:: SOT 301918 SOS 177446 HAS SOPS 176646 HAS SOUS 49870 HAS SOUPS 49291 WITH SCORE 49468.446
AT ITER 2381 NEW BEST:: SOT 301918 SOS 177438 HAS SOPS 176638 HAS SOUS 49869 HAS SOUPS 49290 WITH SCORE 49467.438
AT ITER 2391 NEW BEST:: SOT 301903 SOS 177423 HAS SOPS 176623 HAS SOUS 49850 HAS SOUPS 49271 WITH SCORE 49448.423
AT ITER 2414 NEW BEST:: SOT 301907 SOS 177427 HAS SOPS 176617 HAS SOUS 49856 HAS SOUPS 49267 WITH SCORE 49444.427
AT ITER 2443 NEW BEST:: SOT 302021 SOS 177541 HAS SOPS 176731 HAS SOUS 49835 HAS SOUPS 49246 WITH SCORE 49423.541
AT ITER 2460 NEW BEST:: SOT 302035 SOS 177555 HAS SOPS 176745 HAS SOUS 49815 HAS SOUPS 49226 WITH SCORE 49403.555
AT ITER 2463 NEW BEST:: SOT 302028 SOS 177541 HAS SOPS 176731 HAS SOUS 49801 HAS SOUPS 49212 WITH SCORE 49389.541
AT ITER 2472 NEW BEST:: SOT 302025 SOS 177523 HAS SOPS 176713 HAS SOUS 49797 HAS SOUPS 49208 WITH SCORE 49385.523
AT ITER 2479 NEW BEST:: SOT 302077 SOS 177575 HAS SOPS 176765 HAS SOUS 49789 HAS SOUPS 49200 WITH SCORE 49377.575
AT ITER 2480 NEW BEST:: SOT 302024 SOS 177522 HAS SOPS 176703 HAS SOUS 49664 HAS SOUPS 49075 WITH SCORE 49252.522
AT ITER 2516 NEW BEST:: SOT 302024 SOS 177510 HAS SOPS 176691 HAS SOUS 49658 HAS SOUPS 49069 WITH SCORE 49246.51
AT ITER 2520 NEW BEST:: SOT 302014 SOS 177498 HAS SOPS 176691 HAS SOUS 49636 HAS SOUPS 49049 WITH SCORE 49226.498
AT ITER 2527 NEW BEST:: SOT 301995 SOS 177479 HAS SOPS 176672 HAS SOUS 49617 HAS SOUPS 49030 WITH SCORE 49207.479
AT ITER 2551 NEW BEST:: SOT 301986 SOS 177470 HAS SOPS 176663 HAS SOUS 49608 HAS SOUPS 49021 WITH SCORE 49198.47
AT ITER 2560 NEW BEST:: SOT 301979 SOS 177456 HAS SOPS 176649 HAS SOUS 49594 HAS SOUPS 49007 WITH SCORE 49184.456
AT ITER 2573 NEW BEST:: SOT 301967 SOS 177416 HAS SOPS 176609 HAS SOUS 49582 HAS SOUPS 48995 WITH SCORE 49172.416
AT ITER 2600 NEW BEST:: SOT 301959 SOS 177400 HAS SOPS 176593 HAS SOUS 49578 HAS SOUPS 48991 WITH SCORE 49168.4
AT ITER 2612 NEW BEST:: SOT 301903 SOS 177288 HAS SOPS 176481 HAS SOUS 49466 HAS SOUPS 48879 WITH SCORE 49056.288
AT ITER 2654 NEW BEST:: SOT 301890 SOS 177454 HAS SOPS 176647 HAS SOUS 49464 HAS SOUPS 48877 WITH SCORE 49054.454
AT ITER 2665 NEW BEST:: SOT 301614 SOS 177178 HAS SOPS 176371 HAS SOUS 49290 HAS SOUPS 48703 WITH SCORE 48880.178
AT ITER 2682 NEW BEST:: SOT 301556 SOS 177018 HAS SOPS 176211 HAS SOUS 49210 HAS SOUPS 48623 WITH SCORE 48800.018
AT ITER 2695 NEW BEST:: SOT 301537 SOS 176866 HAS SOPS 176059 HAS SOUS 49191 HAS SOUPS 48604 WITH SCORE 48780.866
AT ITER 2703 NEW BEST:: SOT 301521 SOS 176827 HAS SOPS 176020 HAS SOUS 49175 HAS SOUPS 48588 WITH SCORE 48764.827
AT ITER 2724 NEW BEST:: SOT 301521 SOS 176771 HAS SOPS 175964 HAS SOUS 49168 HAS SOUPS 48581 WITH SCORE 48757.771
AT ITER 2745 NEW BEST:: SOT 301513 SOS 177001 HAS SOPS 176194 HAS SOUS 49160 HAS SOUPS 48573 WITH SCORE 48750.001
AT ITER 2753 NEW BEST:: SOT 301325 SOS 176768 HAS SOPS 175976 HAS SOUS 48991 HAS SOUPS 48404 WITH SCORE 48580.768
AT ITER 2756 NEW BEST:: SOT 301295 SOS 176738 HAS SOPS 175946 HAS SOUS 48975 HAS SOUPS 48388 WITH SCORE 48564.738
AT ITER 2786 NEW BEST:: SOT 301383 SOS 176826 HAS SOPS 176034 HAS SOUS 48958 HAS SOUPS 48371 WITH SCORE 48547.826
AT ITER 2790 NEW BEST:: SOT 301243 SOS 176531 HAS SOPS 175739 HAS SOUS 48752 HAS SOUPS 48165 WITH SCORE 48341.531
AT ITER 2807 NEW BEST:: SOT 301165 SOS 177319 HAS SOPS 176527 HAS SOUS 48714 HAS SOUPS 48127 WITH SCORE 48304.319
AT ITER 2830 NEW BEST:: SOT 301156 SOS 177301 HAS SOPS 176509 HAS SOUS 48696 HAS SOUPS 48109 WITH SCORE 48286.301
AT ITER 2841 NEW BEST:: SOT 301156 SOS 177301 HAS SOPS 176509 HAS SOUS 48694 HAS SOUPS 48107 WITH SCORE 48284.301
AT ITER 2851 NEW BEST:: SOT 301140 SOS 177285 HAS SOPS 176493 HAS SOUS 48662 HAS SOUPS 48075 WITH SCORE 48252.285
AT ITER 2876 NEW BEST:: SOT 301108 SOS 177253 HAS SOPS 176477 HAS SOUS 48646 HAS SOUPS 48059 WITH SCORE 48236.253
AT ITER 2884 NEW BEST:: SOT 301091 SOS 176979 HAS SOPS 176203 HAS SOUS 48629 HAS SOUPS 48042 WITH SCORE 48218.979
AT ITER 2887 NEW BEST:: SOT 301091 SOS 176929 HAS SOPS 176153 HAS SOUS 48628 HAS SOUPS 48041 WITH SCORE 48217.929
AT ITER 2889 NEW BEST:: SOT 301081 SOS 177207 HAS SOPS 176427 HAS SOUS 48604 HAS SOUPS 48017 WITH SCORE 48194.207
AT ITER 2940 NEW BEST:: SOT 301006 SOS 176420 HAS SOPS 175640 HAS SOUS 48559 HAS SOUPS 47972 WITH SCORE 48148.42
AT ITER 2944 NEW BEST:: SOT 301018 SOS 176432 HAS SOPS 175652 HAS SOUS 48544 HAS SOUPS 47957 WITH SCORE 48133.432
AT ITER 2947 NEW BEST:: SOT 301030 SOS 176476 HAS SOPS 175696 HAS SOUS 48482 HAS SOUPS 47895 WITH SCORE 48071.476
AT ITER 2948 NEW BEST:: SOT 301030 SOS 176476 HAS SOPS 175696 HAS SOUS 48472 HAS SOUPS 47885 WITH SCORE 48061.476
AT ITER 2949 NEW BEST:: SOT 301030 SOS 176686 HAS SOPS 175906 HAS SOUS 48465 HAS SOUPS 47878 WITH SCORE 48054.686
AT ITER 2959 NEW BEST:: SOT 301030 SOS 176428 HAS SOPS 175648 HAS SOUS 48465 HAS SOUPS 47878 WITH SCORE 48054.428
AT ITER 2993 NEW BEST:: SOT 301000 SOS 176398 HAS SOPS 175618 HAS SOUS 48405 HAS SOUPS 47818 WITH SCORE 47994.398
AT ITER 2998 NEW BEST:: SOT 301003 SOS 176614 HAS SOPS 175834 HAS SOUS 48390 HAS SOUPS 47803 WITH SCORE 47979.614
AT ITER 3016 NEW BEST:: SOT 300983 SOS 176562 HAS SOPS 175782 HAS SOUS 48362 HAS SOUPS 47775 WITH SCORE 47951.562
AT ITER 3075 NEW BEST:: SOT 300981 SOS 177075 HAS SOPS 176295 HAS SOUS 48360 HAS SOUPS 47773 WITH SCORE 47950.075
AT ITER 3088 NEW BEST:: SOT 300969 SOS 177441 HAS SOPS 176661 HAS SOUS 48310 HAS SOUPS 47723 WITH SCORE 47900.441
AT ITER 3110 NEW BEST:: SOT 300960 SOS 177432 HAS SOPS 176652 HAS SOUS 48301 HAS SOUPS 47714 WITH SCORE 47891.432
AT ITER 3143 NEW BEST:: SOT 300948 SOS 177359 HAS SOPS 176586 HAS SOUS 48284 HAS SOUPS 47697 WITH SCORE 47874.359
AT ITER 3144 NEW BEST:: SOT 300942 SOS 177307 HAS SOPS 176538 HAS SOUS 48272 HAS SOUPS 47685 WITH SCORE 47862.307
AT ITER 3153 NEW BEST:: SOT 300940 SOS 177303 HAS SOPS 176534 HAS SOUS 48268 HAS SOUPS 47681 WITH SCORE 47858.303
AT ITER 3174 NEW BEST:: SOT 300893 SOS 177256 HAS SOPS 176487 HAS SOUS 48166 HAS SOUPS 47579 WITH SCORE 47756.256
AT ITER 3184 NEW BEST:: SOT 300867 SOS 176937 HAS SOPS 176168 HAS SOUS 48114 HAS SOUPS 47527 WITH SCORE 47703.937
AT ITER 3202 NEW BEST:: SOT 300885 SOS 176957 HAS SOPS 176188 HAS SOUS 48104 HAS SOUPS 47517 WITH SCORE 47693.957
AT ITER 3209 NEW BEST:: SOT 300885 SOS 176439 HAS SOPS 175670 HAS SOUS 48104 HAS SOUPS 47517 WITH SCORE 47693.439
AT ITER 3269 NEW BEST:: SOT 300869 SOS 176407 HAS SOPS 175638 HAS SOUS 48083 HAS SOUPS 47496 WITH SCORE 47672.407
AT ITER 3281 NEW BEST:: SOT 300867 SOS 176405 HAS SOPS 175636 HAS SOUS 48079 HAS SOUPS 47492 WITH SCORE 47668.405
AT ITER 3293 NEW BEST:: SOT 300851 SOS 176389 HAS SOPS 175620 HAS SOUS 48047 HAS SOUPS 47460 WITH SCORE 47636.389
AT ITER 3350 NEW BEST:: SOT 300829 SOS 176378 HAS SOPS 175609 HAS SOUS 48014 HAS SOUPS 47427 WITH SCORE 47603.378
AT ITER 3355 NEW BEST:: SOT 300680 SOS 176219 HAS SOPS 175450 HAS SOUS 48005 HAS SOUPS 47418 WITH SCORE 47594.219
AT ITER 3357 NEW BEST:: SOT 300679 SOS 176275 HAS SOPS 175484 HAS SOUS 48004 HAS SOUPS 47395 WITH SCORE 47571.275
AT ITER 3417 NEW BEST:: SOT 300646 SOS 176419 HAS SOPS 175628 HAS SOUS 47971 HAS SOUPS 47362 WITH SCORE 47538.419
AT ITER 3422 NEW BEST:: SOT 300606 SOS 176411 HAS SOPS 175620 HAS SOUS 47911 HAS SOUPS 47302 WITH SCORE 47478.411
AT ITER 3428 NEW BEST:: SOT 300575 SOS 176309 HAS SOPS 175518 HAS SOUS 47866 HAS SOUPS 47257 WITH SCORE 47433.309
AT ITER 3446 NEW BEST:: SOT 300570 SOS 176304 HAS SOPS 175513 HAS SOUS 47863 HAS SOUPS 47254 WITH SCORE 47430.304
AT ITER 3465 NEW BEST:: SOT 300568 SOS 176288 HAS SOPS 175497 HAS SOUS 47859 HAS SOUPS 47250 WITH SCORE 47426.288
AT ITER 3468 NEW BEST:: SOT 300568 SOS 176258 HAS SOPS 175467 HAS SOUS 47859 HAS SOUPS 47250 WITH SCORE 47426.258
AT ITER 3480 NEW BEST:: SOT 300274 SOS 175943 HAS SOPS 175131 HAS SOUS 47880 HAS SOUPS 47250 WITH SCORE 47425.943
AT ITER 3569 NEW BEST:: SOT 300273 SOS 175942 HAS SOPS 175130 HAS SOUS 47878 HAS SOUPS 47248 WITH SCORE 47423.942
AT ITER 3572 NEW BEST:: SOT 300273 SOS 175910 HAS SOPS 175098 HAS SOUS 47878 HAS SOUPS 47248 WITH SCORE 47423.91
AT ITER 3617 NEW BEST:: SOT 300272 SOS 175909 HAS SOPS 175097 HAS SOUS 47876 HAS SOUPS 47246 WITH SCORE 47421.909
AT ITER 3660 NEW BEST:: SOT 300257 SOS 175894 HAS SOPS 175082 HAS SOUS 47855 HAS SOUPS 47225 WITH SCORE 47400.894
AT ITER 3663 NEW BEST:: SOT 300253 SOS 175890 HAS SOPS 175078 HAS SOUS 47847 HAS SOUPS 47217 WITH SCORE 47392.89
AT ITER 3735 NEW BEST:: SOT 300398 SOS 176035 HAS SOPS 175223 HAS SOUS 47831 HAS SOUPS 47201 WITH SCORE 47377.035
AT ITER 3776 NEW BEST:: SOT 300330 SOS 175971 HAS SOPS 175159 HAS SOUS 47767 HAS SOUPS 47137 WITH SCORE 47312.971
AT ITER 3822 NEW BEST:: SOT 300330 SOS 175852 HAS SOPS 175068 HAS SOUS 47760 HAS SOUPS 47137 WITH SCORE 47312.852
AT ITER 3838 NEW BEST:: SOT 300329 SOS 175868 HAS SOPS 175084 HAS SOUS 47759 HAS SOUPS 47136 WITH SCORE 47311.868
AT ITER 3906 NEW BEST:: SOT 300329 SOS 175756 HAS SOPS 174972 HAS SOUS 47759 HAS SOUPS 47136 WITH SCORE 47311.756
AT ITER 3921 NEW BEST:: SOT 300317 SOS 175804 HAS SOPS 175020 HAS SOUS 47742 HAS SOUPS 47119 WITH SCORE 47294.804
AT ITER 4007 NEW BEST:: SOT 300307 SOS 175794 HAS SOPS 175010 HAS SOUS 47735 HAS SOUPS 47112 WITH SCORE 47287.794
AT ITER 4015 NEW BEST:: SOT 300306 SOS 175793 HAS SOPS 175009 HAS SOUS 47733 HAS SOUPS 47110 WITH SCORE 47285.793
AT ITER 4068 NEW BEST:: SOT 300292 SOS 175796 HAS SOPS 174995 HAS SOUS 47736 HAS SOUPS 47096 WITH SCORE 47271.796
AT ITER 4079 NEW BEST:: SOT 300296 SOS 175794 HAS SOPS 174993 HAS SOUS 47734 HAS SOUPS 47094 WITH SCORE 47269.794
AT ITER 4105 NEW BEST:: SOT 300288 SOS 175790 HAS SOPS 174985 HAS SOUS 47734 HAS SOUPS 47090 WITH SCORE 47265.79
AT ITER 4139 NEW BEST:: SOT 300266 SOS 175779 HAS SOPS 174974 HAS SOUS 47712 HAS SOUPS 47068 WITH SCORE 47243.779
AT ITER 4182 NEW BEST:: SOT 300266 SOS 175779 HAS SOPS 174974 HAS SOUS 47709 HAS SOUPS 47065 WITH SCORE 47240.779
AT ITER 4237 NEW BEST:: SOT 300224 SOS 175655 HAS SOPS 174850 HAS SOUS 47621 HAS SOUPS 46977 WITH SCORE 47152.655
AT ITER 4240 NEW BEST:: SOT 300213 SOS 175633 HAS SOPS 174828 HAS SOUS 47610 HAS SOUPS 46966 WITH SCORE 47141.633
AT ITER 4281 NEW BEST:: SOT 300358 SOS 175792 HAS SOPS 174987 HAS SOUS 47559 HAS SOUPS 46915 WITH SCORE 47090.792
AT ITER 4323 NEW BEST:: SOT 300356 SOS 175790 HAS SOPS 174985 HAS SOUS 47555 HAS SOUPS 46911 WITH SCORE 47086.79
AT ITER 4346 NEW BEST:: SOT 300350 SOS 175784 HAS SOPS 174979 HAS SOUS 47555 HAS SOUPS 46911 WITH SCORE 47086.784
AT ITER 4365 NEW BEST:: SOT 300343 SOS 175777 HAS SOPS 174972 HAS SOUS 47548 HAS SOUPS 46904 WITH SCORE 47079.777
AT ITER 4373 NEW BEST:: SOT 300340 SOS 175774 HAS SOPS 174969 HAS SOUS 47544 HAS SOUPS 46900 WITH SCORE 47075.774
AT ITER 4379 NEW BEST:: SOT 300334 SOS 175768 HAS SOPS 174963 HAS SOUS 47532 HAS SOUPS 46888 WITH SCORE 47063.768
AT ITER 4398 NEW BEST:: SOT 300334 SOS 175766 HAS SOPS 174961 HAS SOUS 47530 HAS SOUPS 46886 WITH SCORE 47061.766
AT ITER 4429 NEW BEST:: SOT 300329 SOS 175756 HAS SOPS 174951 HAS SOUS 47520 HAS SOUPS 46876 WITH SCORE 47051.756
AT ITER 4437 NEW BEST:: SOT 300300 SOS 175727 HAS SOPS 174922 HAS SOUS 47462 HAS SOUPS 46818 WITH SCORE 46993.727
AT ITER 4442 NEW BEST:: SOT 300300 SOS 175727 HAS SOPS 174922 HAS SOUS 47457 HAS SOUPS 46813 WITH SCORE 46988.727
AT ITER 4461 NEW BEST:: SOT 300299 SOS 175725 HAS SOPS 174920 HAS SOUS 47455 HAS SOUPS 46811 WITH SCORE 46986.725
AT ITER 4477 NEW BEST:: SOT 300299 SOS 175719 HAS SOPS 174914 HAS SOUS 47455 HAS SOUPS 46811 WITH SCORE 46986.719
AT ITER 4492 NEW BEST:: SOT 300323 SOS 175743 HAS SOPS 174938 HAS SOUS 47449 HAS SOUPS 46805 WITH SCORE 46980.743
AT ITER 4510 NEW BEST:: SOT 300743 SOS 176198 HAS SOPS 175393 HAS SOUS 47379 HAS SOUPS 46735 WITH SCORE 46911.198
AT ITER 4513 NEW BEST:: SOT 300716 SOS 175955 HAS SOPS 175150 HAS SOUS 47352 HAS SOUPS 46708 WITH SCORE 46883.955
AT ITER 4521 NEW BEST:: SOT 300696 SOS 175895 HAS SOPS 175150 HAS SOUS 47292 HAS SOUPS 46668 WITH SCORE 46843.895
AT ITER 4542 NEW BEST:: SOT 300696 SOS 175895 HAS SOPS 175150 HAS SOUS 47253 HAS SOUPS 46629 WITH SCORE 46804.895
AT ITER 4617 NEW BEST:: SOT 300696 SOS 175891 HAS SOPS 175150 HAS SOUS 47249 HAS SOUPS 46627 WITH SCORE 46802.891
AT ITER 4658 NEW BEST:: SOT 300690 SOS 175600 HAS SOPS 174892 HAS SOUS 47243 HAS SOUPS 46621 WITH SCORE 46796.6
AT ITER 4664 NEW BEST:: SOT 300637 SOS 175567 HAS SOPS 174786 HAS SOUS 47253 HAS SOUPS 46558 WITH SCORE 46733.567
AT ITER 4688 NEW BEST:: SOT 300606 SOS 175543 HAS SOPS 174800 HAS SOUS 47213 HAS SOUPS 46556 WITH SCORE 46731.543
AT ITER 4699 NEW BEST:: SOT 300575 SOS 175481 HAS SOPS 174738 HAS SOUS 47193 HAS SOUPS 46536 WITH SCORE 46711.481
AT ITER 4776 NEW BEST:: SOT 300557 SOS 175463 HAS SOPS 174714 HAS SOUS 47187 HAS SOUPS 46524 WITH SCORE 46699.463
AT ITER 4809 NEW BEST:: SOT 300557 SOS 175457 HAS SOPS 174714 HAS SOUS 47181 HAS SOUPS 46524 WITH SCORE 46699.457
AT ITER 4832 NEW BEST:: SOT 300550 SOS 175439 HAS SOPS 174696 HAS SOUS 47176 HAS SOUPS 46519 WITH SCORE 46694.439
AT ITER 4863 NEW BEST:: SOT 300548 SOS 175437 HAS SOPS 174694 HAS SOUS 47174 HAS SOUPS 46517 WITH SCORE 46692.437
AT ITER 4866 NEW BEST:: SOT 300541 SOS 175423 HAS SOPS 174680 HAS SOUS 47160 HAS SOUPS 46503 WITH SCORE 46678.423
AT ITER 4868 NEW BEST:: SOT 300539 SOS 175431 HAS SOPS 174688 HAS SOUS 47156 HAS SOUPS 46499 WITH SCORE 46674.431
AT ITER 4878 NEW BEST:: SOT 300549 SOS 175811 HAS SOPS 175068 HAS SOUS 47152 HAS SOUPS 46495 WITH SCORE 46670.811
AT ITER 4898 NEW BEST:: SOT 300541 SOS 175835 HAS SOPS 175092 HAS SOUS 47144 HAS SOUPS 46487 WITH SCORE 46662.835
AT ITER 4902 NEW BEST:: SOT 300550 SOS 175853 HAS SOPS 175110 HAS SOUS 47138 HAS SOUPS 46481 WITH SCORE 46656.853
AT ITER 4922 NEW BEST:: SOT 300515 SOS 176199 HAS SOPS 175456 HAS SOUS 47127 HAS SOUPS 46470 WITH SCORE 46646.199
AT ITER 4946 NEW BEST:: SOT 300514 SOS 176197 HAS SOPS 175454 HAS SOUS 47088 HAS SOUPS 46431 WITH SCORE 46607.197
AT ITER 4951 NEW BEST:: SOT 300514 SOS 175573 HAS SOPS 174830 HAS SOUS 47088 HAS SOUPS 46431 WITH SCORE 46606.573
AT ITER 5009 NEW BEST:: SOT 300511 SOS 175570 HAS SOPS 174827 HAS SOUS 47082 HAS SOUPS 46425 WITH SCORE 46600.57
AT ITER 5072 NEW BEST:: SOT 300509 SOS 175530 HAS SOPS 174787 HAS SOUS 47080 HAS SOUPS 46423 WITH SCORE 46598.53
AT ITER 5088 NEW BEST:: SOT 300507 SOS 175528 HAS SOPS 174785 HAS SOUS 47076 HAS SOUPS 46419 WITH SCORE 46594.528
AT ITER 5097 NEW BEST:: SOT 300497 SOS 175517 HAS SOPS 174774 HAS SOUS 47067 HAS SOUPS 46410 WITH SCORE 46585.517
AT ITER 5105 NEW BEST:: SOT 300477 SOS 175477 HAS SOPS 174734 HAS SOUS 47027 HAS SOUPS 46370 WITH SCORE 46545.477
AT ITER 5108 NEW BEST:: SOT 300473 SOS 175473 HAS SOPS 174730 HAS SOUS 47019 HAS SOUPS 46362 WITH SCORE 46537.473
AT ITER 5111 NEW BEST:: SOT 300481 SOS 175669 HAS SOPS 174926 HAS SOUS 47011 HAS SOUPS 46354 WITH SCORE 46529.669
AT ITER 5114 NEW BEST:: SOT 300514 SOS 175702 HAS SOPS 174911 HAS SOUS 47052 HAS SOUPS 46347 WITH SCORE 46522.702
AT ITER 5122 NEW BEST:: SOT 300510 SOS 175670 HAS SOPS 174907 HAS SOUS 46995 HAS SOUPS 46313 WITH SCORE 46488.67
AT ITER 5127 NEW BEST:: SOT 300503 SOS 175415 HAS SOPS 174652 HAS SOUS 46980 HAS SOUPS 46298 WITH SCORE 46473.415
AT ITER 5135 NEW BEST:: SOT 300461 SOS 175367 HAS SOPS 174604 HAS SOUS 46965 HAS SOUPS 46283 WITH SCORE 46458.367
AT ITER 5145 NEW BEST:: SOT 300373 SOS 175195 HAS SOPS 174432 HAS SOUS 46750 HAS SOUPS 46068 WITH SCORE 46243.195
AT ITER 5158 NEW BEST:: SOT 300371 SOS 175193 HAS SOPS 174430 HAS SOUS 46746 HAS SOUPS 46064 WITH SCORE 46239.193
AT ITER 5168 NEW BEST:: SOT 300301 SOS 175109 HAS SOPS 174346 HAS SOUS 46613 HAS SOUPS 45931 WITH SCORE 46106.109
AT ITER 5205 NEW BEST:: SOT 300300 SOS 175851 HAS SOPS 174832 HAS SOUS 46693 HAS SOUPS 45930 WITH SCORE 46105.851
AT ITER 5221 NEW BEST:: SOT 300299 SOS 175849 HAS SOPS 174830 HAS SOUS 46691 HAS SOUPS 45928 WITH SCORE 46103.849
AT ITER 5258 NEW BEST:: SOT 300265 SOS 175679 HAS SOPS 174660 HAS SOUS 46640 HAS SOUPS 45877 WITH SCORE 46052.679
AT ITER 5285 NEW BEST:: SOT 300265 SOS 175591 HAS SOPS 174572 HAS SOUS 46629 HAS SOUPS 45866 WITH SCORE 46041.591
AT ITER 5293 NEW BEST:: SOT 300265 SOS 175588 HAS SOPS 174572 HAS SOUS 46629 HAS SOUPS 45866 WITH SCORE 46041.588
AT ITER 5318 NEW BEST:: SOT 300206 SOS 175038 HAS SOPS 174022 HAS SOUS 46578 HAS SOUPS 45815 WITH SCORE 45990.038
AT ITER 5319 NEW BEST:: SOT 300156 SOS 175005 HAS SOPS 173972 HAS SOUS 46595 HAS SOUPS 45815 WITH SCORE 45990.005
AT ITER 5322 NEW BEST:: SOT 300156 SOS 174994 HAS SOPS 173925 HAS SOUS 46548 HAS SOUPS 45768 WITH SCORE 45942.994
AT ITER 5342 NEW BEST:: SOT 300143 SOS 174981 HAS SOPS 173912 HAS SOUS 46522 HAS SOUPS 45742 WITH SCORE 45916.981
AT ITER 5364 NEW BEST:: SOT 300123 SOS 174961 HAS SOPS 173892 HAS SOUS 46502 HAS SOUPS 45722 WITH SCORE 45896.961
AT ITER 5431 NEW BEST:: SOT 300048 SOS 175403 HAS SOPS 174334 HAS SOUS 46479 HAS SOUPS 45699 WITH SCORE 45874.403
AT ITER 5464 NEW BEST:: SOT 299922 SOS 175277 HAS SOPS 174208 HAS SOUS 46479 HAS SOUPS 45699 WITH SCORE 45874.277
AT ITER 5472 NEW BEST:: SOT 299893 SOS 175240 HAS SOPS 174150 HAS SOUS 46450 HAS SOUPS 45649 WITH SCORE 45824.24
AT ITER 5485 NEW BEST:: SOT 299852 SOS 175079 HAS SOPS 173989 HAS SOUS 46394 HAS SOUPS 45593 WITH SCORE 45768.079
AT ITER 5551 NEW BEST:: SOT 299842 SOS 175305 HAS SOPS 174215 HAS SOUS 46373 HAS SOUPS 45572 WITH SCORE 45747.305
AT ITER 5587 NEW BEST:: SOT 299842 SOS 174794 HAS SOPS 173704 HAS SOUS 46373 HAS SOUPS 45572 WITH SCORE 45746.794
AT ITER 5588 NEW BEST:: SOT 299869 SOS 174803 HAS SOPS 173692 HAS SOUS 46383 HAS SOUPS 45561 WITH SCORE 45735.803
AT ITER 5659 NEW BEST:: SOT 299869 SOS 174755 HAS SOPS 173644 HAS SOUS 46383 HAS SOUPS 45561 WITH SCORE 45735.755
AT ITER 5668 NEW BEST:: SOT 299864 SOS 174750 HAS SOPS 173639 HAS SOUS 46373 HAS SOUPS 45551 WITH SCORE 45725.75
AT ITER 5684 NEW BEST:: SOT 299861 SOS 174729 HAS SOPS 173636 HAS SOUS 46345 HAS SOUPS 45532 WITH SCORE 45706.729
AT ITER 5724 NEW BEST:: SOT 299861 SOS 174699 HAS SOPS 173615 HAS SOUS 46339 HAS SOUPS 45529 WITH SCORE 45703.699
AT ITER 5737 NEW BEST:: SOT 299859 SOS 174697 HAS SOPS 173613 HAS SOUS 46335 HAS SOUPS 45525 WITH SCORE 45699.697
AT ITER 5738 NEW BEST:: SOT 299832 SOS 174321 HAS SOPS 173283 HAS SOUS 46298 HAS SOUPS 45488 WITH SCORE 45662.321
AT ITER 5760 NEW BEST:: SOT 299829 SOS 174318 HAS SOPS 173283 HAS SOUS 46295 HAS SOUPS 45485 WITH SCORE 45659.318
AT ITER 5781 NEW BEST:: SOT 299827 SOS 174316 HAS SOPS 173281 HAS SOUS 46291 HAS SOUPS 45481 WITH SCORE 45655.316
AT ITER 5811 NEW BEST:: SOT 299821 SOS 174484 HAS SOPS 173449 HAS SOUS 46281 HAS SOUPS 45471 WITH SCORE 45645.484
AT ITER 5904 NEW BEST:: SOT 299815 SOS 174472 HAS SOPS 173437 HAS SOUS 46269 HAS SOUPS 45459 WITH SCORE 45633.472
AT ITER 5914 NEW BEST:: SOT 299815 SOS 174460 HAS SOPS 173425 HAS SOUS 46269 HAS SOUPS 45459 WITH SCORE 45633.46
AT ITER 5924 NEW BEST:: SOT 299811 SOS 174446 HAS SOPS 173406 HAS SOUS 46262 HAS SOUPS 45447 WITH SCORE 45621.446
AT ITER 5926 NEW BEST:: SOT 299757 SOS 175321 HAS SOPS 174028 HAS SOUS 46306 HAS SOUPS 45437 WITH SCORE 45612.321
AT ITER 5947 NEW BEST:: SOT 299717 SOS 175233 HAS SOPS 173940 HAS SOUS 46229 HAS SOUPS 45360 WITH SCORE 45535.233
AT ITER 5965 NEW BEST:: SOT 299716 SOS 175231 HAS SOPS 173938 HAS SOUS 46220 HAS SOUPS 45351 WITH SCORE 45526.231
AT ITER 5978 NEW BEST:: SOT 299716 SOS 175140 HAS SOPS 173860 HAS SOUS 46220 HAS SOUPS 45351 WITH SCORE 45526.14
AT ITER 5987 NEW BEST:: SOT 299716 SOS 174996 HAS SOPS 173716 HAS SOUS 46213 HAS SOUPS 45344 WITH SCORE 45518.996
AT ITER 6047 NEW BEST:: SOT 299714 SOS 174992 HAS SOPS 173712 HAS SOUS 46209 HAS SOUPS 45340 WITH SCORE 45514.992
AT ITER 6057 NEW BEST:: SOT 299695 SOS 174973 HAS SOPS 173693 HAS SOUS 46171 HAS SOUPS 45302 WITH SCORE 45476.973
AT ITER 6058 NEW BEST:: SOT 299693 SOS 174971 HAS SOPS 173691 HAS SOUS 46167 HAS SOUPS 45298 WITH SCORE 45472.971
AT ITER 6099 NEW BEST:: SOT 299675 SOS 174960 HAS SOPS 173673 HAS SOUS 46168 HAS SOUPS 45292 WITH SCORE 45466.96
AT ITER 6155 NEW BEST:: SOT 299639 SOS 173967 HAS SOPS 172785 HAS SOUS 46119 HAS SOUPS 45243 WITH SCORE 45416.967
AT ITER 6221 NEW BEST:: SOT 299639 SOS 173961 HAS SOPS 172779 HAS SOUS 46119 HAS SOUPS 45243 WITH SCORE 45416.961
AT ITER 6249 NEW BEST:: SOT 299917 SOS 174239 HAS SOPS 173057 HAS SOUS 46060 HAS SOUPS 45184 WITH SCORE 45358.239
AT ITER 6274 NEW BEST:: SOT 299910 SOS 174225 HAS SOPS 173043 HAS SOUS 46056 HAS SOUPS 45180 WITH SCORE 45354.225
AT ITER 6292 NEW BEST:: SOT 299908 SOS 174223 HAS SOPS 173041 HAS SOUS 46054 HAS SOUPS 45178 WITH SCORE 45352.223
AT ITER 6340 NEW BEST:: SOT 299852 SOS 174167 HAS SOPS 172985 HAS SOUS 46054 HAS SOUPS 45178 WITH SCORE 45352.167
AT ITER 6352 NEW BEST:: SOT 299776 SOS 174123 HAS SOPS 172965 HAS SOUS 45989 HAS SOUPS 45113 WITH SCORE 45287.123
AT ITER 6364 NEW BEST:: SOT 299764 SOS 174099 HAS SOPS 172941 HAS SOUS 45965 HAS SOUPS 45089 WITH SCORE 45263.099
AT ITER 6473 NEW BEST:: SOT 299737 SOS 173821 HAS SOPS 172663 HAS SOUS 45910 HAS SOUPS 45034 WITH SCORE 45207.821
AT ITER 6476 NEW BEST:: SOT 299767 SOS 173807 HAS SOPS 172627 HAS SOUS 45908 HAS SOUPS 45032 WITH SCORE 45205.807
AT ITER 6630 NEW BEST:: SOT 299962 SOS 174002 HAS SOPS 172822 HAS SOUS 45878 HAS SOUPS 45002 WITH SCORE 45176.002
AT ITER 6672 NEW BEST:: SOT 299946 SOS 173886 HAS SOPS 172706 HAS SOUS 45856 HAS SOUPS 44980 WITH SCORE 45153.886
AT ITER 6679 NEW BEST:: SOT 299959 SOS 173899 HAS SOPS 172719 HAS SOUS 45854 HAS SOUPS 44978 WITH SCORE 45151.899
AT ITER 6730 NEW BEST:: SOT 299951 SOS 173971 HAS SOPS 172791 HAS SOUS 45841 HAS SOUPS 44965 WITH SCORE 45138.971
AT ITER 6763 NEW BEST:: SOT 299950 SOS 174011 HAS SOPS 172831 HAS SOUS 45833 HAS SOUPS 44957 WITH SCORE 45131.011
AT ITER 6764 NEW BEST:: SOT 299931 SOS 173859 HAS SOPS 172679 HAS SOUS 45814 HAS SOUPS 44938 WITH SCORE 45111.859
AT ITER 6775 NEW BEST:: SOT 299924 SOS 173911 HAS SOPS 172731 HAS SOUS 45800 HAS SOUPS 44924 WITH SCORE 45097.911
AT ITER 6814 NEW BEST:: SOT 299890 SOS 174395 HAS SOPS 173215 HAS SOUS 45797 HAS SOUPS 44921 WITH SCORE 45095.395
AT ITER 6851 NEW BEST:: SOT 299852 SOS 174320 HAS SOPS 173139 HAS SOUS 45733 HAS SOUPS 44856 WITH SCORE 45030.32
AT ITER 6878 NEW BEST:: SOT 299852 SOS 174320 HAS SOPS 173139 HAS SOUS 45731 HAS SOUPS 44854 WITH SCORE 45028.32
AT ITER 6915 NEW BEST:: SOT 299852 SOS 174221 HAS SOPS 173040 HAS SOUS 45720 HAS SOUPS 44843 WITH SCORE 45017.221
AT ITER 6918 NEW BEST:: SOT 299854 SOS 174223 HAS SOPS 173042 HAS SOUS 45709 HAS SOUPS 44832 WITH SCORE 45006.223
AT ITER 6937 NEW BEST:: SOT 299854 SOS 174223 HAS SOPS 173042 HAS SOUS 45700 HAS SOUPS 44823 WITH SCORE 44997.223
AT ITER 7022 NEW BEST:: SOT 299828 SOS 174197 HAS SOPS 173016 HAS SOUS 45679 HAS SOUPS 44802 WITH SCORE 44976.197
AT ITER 7064 NEW BEST:: SOT 299828 SOS 173809 HAS SOPS 172799 HAS SOUS 45617 HAS SOUPS 44771 WITH SCORE 44944.809
AT ITER 7071 NEW BEST:: SOT 299832 SOS 171138 HAS SOPS 170128 HAS SOUS 45594 HAS SOUPS 44748 WITH SCORE 44919.138
AT ITER 7076 NEW BEST:: SOT 299832 SOS 171138 HAS SOPS 170128 HAS SOUS 45572 HAS SOUPS 44726 WITH SCORE 44897.138
AT ITER 7096 NEW BEST:: SOT 299832 SOS 171042 HAS SOPS 170032 HAS SOUS 45572 HAS SOUPS 44726 WITH SCORE 44897.042
AT ITER 7120 NEW BEST:: SOT 299827 SOS 170745 HAS SOPS 169736 HAS SOUS 45567 HAS SOUPS 44721 WITH SCORE 44891.745
AT ITER 7243 NEW BEST:: SOT 299823 SOS 170737 HAS SOPS 169728 HAS SOUS 45563 HAS SOUPS 44717 WITH SCORE 44887.737
AT ITER 7248 NEW BEST:: SOT 299655 SOS 170569 HAS SOPS 169560 HAS SOUS 45560 HAS SOUPS 44714 WITH SCORE 44884.569
AT ITER 7251 NEW BEST:: SOT 299655 SOS 170521 HAS SOPS 169512 HAS SOUS 45560 HAS SOUPS 44714 WITH SCORE 44884.521
AT ITER 7258 NEW BEST:: SOT 299643 SOS 170497 HAS SOPS 169488 HAS SOUS 45556 HAS SOUPS 44710 WITH SCORE 44880.497
AT ITER 7287 NEW BEST:: SOT 299562 SOS 170431 HAS SOPS 169317 HAS SOUS 45590 HAS SOUPS 44639 WITH SCORE 44809.431
AT ITER 7299 NEW BEST:: SOT 299525 SOS 169957 HAS SOPS 168921 HAS SOUS 45507 HAS SOUPS 44602 WITH SCORE 44771.957
AT ITER 7397 NEW BEST:: SOT 299533 SOS 169829 HAS SOPS 168793 HAS SOUS 45477 HAS SOUPS 44572 WITH SCORE 44741.829
AT ITER 7474 NEW BEST:: SOT 299501 SOS 174413 HAS SOPS 173377 HAS SOUS 45465 HAS SOUPS 44560 WITH SCORE 44734.413
AT ITER 7565 NEW BEST:: SOT 299473 SOS 174385 HAS SOPS 173349 HAS SOUS 45465 HAS SOUPS 44560 WITH SCORE 44734.385
AT ITER 7644 NEW BEST:: SOT 299525 SOS 174441 HAS SOPS 173405 HAS SOUS 45457 HAS SOUPS 44552 WITH SCORE 44726.441
AT ITER 7673 NEW BEST:: SOT 299515 SOS 174379 HAS SOPS 173343 HAS SOUS 45443 HAS SOUPS 44538 WITH SCORE 44712.379
AT ITER 7711 NEW BEST:: SOT 299512 SOS 174376 HAS SOPS 173340 HAS SOUS 45437 HAS SOUPS 44532 WITH SCORE 44706.376
AT ITER 7735 NEW BEST:: SOT 299499 SOS 174348 HAS SOPS 173312 HAS SOUS 45426 HAS SOUPS 44521 WITH SCORE 44695.348
AT ITER 7800 NEW BEST:: SOT 299499 SOS 174336 HAS SOPS 173300 HAS SOUS 45414 HAS SOUPS 44509 WITH SCORE 44683.336
AT ITER 7846 NEW BEST:: SOT 299491 SOS 174328 HAS SOPS 173292 HAS SOUS 45414 HAS SOUPS 44509 WITH SCORE 44683.328
AT ITER 7920 NEW BEST:: SOT 299487 SOS 174344 HAS SOPS 173308 HAS SOUS 45406 HAS SOUPS 44501 WITH SCORE 44675.344
AT ITER 7954 NEW BEST:: SOT 299483 SOS 174340 HAS SOPS 173304 HAS SOUS 45398 HAS SOUPS 44493 WITH SCORE 44667.34
AT ITER 7955 NEW BEST:: SOT 299483 SOS 174338 HAS SOPS 173304 HAS SOUS 45396 HAS SOUPS 44493 WITH SCORE 44667.338
AT ITER 7971 NEW BEST:: SOT 299501 SOS 174340 HAS SOPS 173278 HAS SOUS 45408 HAS SOUPS 44477 WITH SCORE 44651.34
AT ITER 8050 NEW BEST:: SOT 299498 SOS 174337 HAS SOPS 173275 HAS SOUS 45402 HAS SOUPS 44471 WITH SCORE 44645.337
AT ITER 8056 NEW BEST:: SOT 299496 SOS 174355 HAS SOPS 173285 HAS SOUS 45402 HAS SOUPS 44469 WITH SCORE 44643.355
AT ITER 8064 NEW BEST:: SOT 299494 SOS 174353 HAS SOPS 173283 HAS SOUS 45398 HAS SOUPS 44465 WITH SCORE 44639.353
AT ITER 8072 NEW BEST:: SOT 299489 SOS 174348 HAS SOPS 173278 HAS SOUS 45388 HAS SOUPS 44455 WITH SCORE 44629.348
AT ITER 8111 NEW BEST:: SOT 299485 SOS 174340 HAS SOPS 173270 HAS SOUS 45380 HAS SOUPS 44447 WITH SCORE 44621.34
AT ITER 8193 NEW BEST:: SOT 299469 SOS 174404 HAS SOPS 173334 HAS SOUS 45354 HAS SOUPS 44421 WITH SCORE 44595.404
AT ITER 8235 NEW BEST:: SOT 299465 SOS 174262 HAS SOPS 173192 HAS SOUS 45352 HAS SOUPS 44419 WITH SCORE 44593.262
AT ITER 8270 NEW BEST:: SOT 299462 SOS 174259 HAS SOPS 173189 HAS SOUS 45352 HAS SOUPS 44419 WITH SCORE 44593.259
AT ITER 8317 NEW BEST:: SOT 299453 SOS 174664 HAS SOPS 173416 HAS SOUS 45378 HAS SOUPS 44410 WITH SCORE 44584.664
AT ITER 8384 NEW BEST:: SOT 299451 SOS 174662 HAS SOPS 173414 HAS SOUS 45374 HAS SOUPS 44406 WITH SCORE 44580.662
AT ITER 8448 NEW BEST:: SOT 299420 SOS 174600 HAS SOPS 173352 HAS SOUS 45343 HAS SOUPS 44375 WITH SCORE 44549.6
AT ITER 8469 NEW BEST:: SOT 299410 SOS 174576 HAS SOPS 173328 HAS SOUS 45333 HAS SOUPS 44365 WITH SCORE 44539.576
AT ITER 8501 NEW BEST:: SOT 299249 SOS 174536 HAS SOPS 173359 HAS SOUS 45226 HAS SOUPS 44307 WITH SCORE 44481.536
AT ITER 8564 NEW BEST:: SOT 299234 SOS 174536 HAS SOPS 173359 HAS SOUS 45211 HAS SOUPS 44292 WITH SCORE 44466.536
AT ITER 8579 NEW BEST:: SOT 298889 SOS 174122 HAS SOPS 172945 HAS SOUS 45188 HAS SOUPS 44269 WITH SCORE 44443.122
AT ITER 8635 NEW BEST:: SOT 298878 SOS 174100 HAS SOPS 172923 HAS SOUS 45167 HAS SOUPS 44248 WITH SCORE 44422.1
AT ITER 8672 NEW BEST:: SOT 298878 SOS 174092 HAS SOPS 172923 HAS SOUS 45159 HAS SOUPS 44248 WITH SCORE 44422.092
AT ITER 8684 NEW BEST:: SOT 298877 SOS 174091 HAS SOPS 172922 HAS SOUS 45157 HAS SOUPS 44246 WITH SCORE 44420.091
AT ITER 8753 NEW BEST:: SOT 298872 SOS 174049 HAS SOPS 172872 HAS SOUS 45157 HAS SOUPS 44241 WITH SCORE 44415.049
AT ITER 8759 NEW BEST:: SOT 298864 SOS 174023 HAS SOPS 172846 HAS SOUS 45144 HAS SOUPS 44228 WITH SCORE 44402.023
AT ITER 8762 NEW BEST:: SOT 298854 SOS 174013 HAS SOPS 172846 HAS SOUS 45134 HAS SOUPS 44228 WITH SCORE 44402.013
AT ITER 8794 NEW BEST:: SOT 298852 SOS 174009 HAS SOPS 172842 HAS SOUS 45132 HAS SOUPS 44226 WITH SCORE 44400.009
AT ITER 8804 NEW BEST:: SOT 298834 SOS 173865 HAS SOPS 172698 HAS SOUS 45114 HAS SOUPS 44208 WITH SCORE 44381.865
AT ITER 8813 NEW BEST:: SOT 298826 SOS 173905 HAS SOPS 172730 HAS SOUS 45106 HAS SOUPS 44200 WITH SCORE 44373.905
AT ITER 8823 NEW BEST:: SOT 298823 SOS 173899 HAS SOPS 172724 HAS SOUS 45100 HAS SOUPS 44194 WITH SCORE 44367.899
AT ITER 8838 NEW BEST:: SOT 298791 SOS 174458 HAS SOPS 173260 HAS SOUS 45068 HAS SOUPS 44162 WITH SCORE 44336.458
AT ITER 8845 NEW BEST:: SOT 298787 SOS 174454 HAS SOPS 173256 HAS SOUS 45064 HAS SOUPS 44158 WITH SCORE 44332.454
AT ITER 8865 NEW BEST:: SOT 298777 SOS 174364 HAS SOPS 173166 HAS SOUS 45044 HAS SOUPS 44138 WITH SCORE 44312.364
AT ITER 8931 NEW BEST:: SOT 298771 SOS 174358 HAS SOPS 173160 HAS SOUS 45030 HAS SOUPS 44124 WITH SCORE 44298.358
AT ITER 8965 NEW BEST:: SOT 298758 SOS 174410 HAS SOPS 173212 HAS SOUS 45015 HAS SOUPS 44109 WITH SCORE 44283.41
AT ITER 8989 NEW BEST:: SOT 298746 SOS 174386 HAS SOPS 173188 HAS SOUS 45003 HAS SOUPS 44097 WITH SCORE 44271.386
AT ITER 8993 NEW BEST:: SOT 298738 SOS 174454 HAS SOPS 173256 HAS SOUS 44981 HAS SOUPS 44075 WITH SCORE 44249.454
AT ITER 9005 NEW BEST:: SOT 298735 SOS 174451 HAS SOPS 173253 HAS SOUS 44976 HAS SOUPS 44070 WITH SCORE 44244.451
AT ITER 9135 NEW BEST:: SOT 298735 SOS 174443 HAS SOPS 173245 HAS SOUS 44975 HAS SOUPS 44069 WITH SCORE 44243.443
AT ITER 9148 NEW BEST:: SOT 298735 SOS 174419 HAS SOPS 173221 HAS SOUS 44975 HAS SOUPS 44069 WITH SCORE 44243.419
AT ITER 9154 NEW BEST:: SOT 298707 SOS 174603 HAS SOPS 173405 HAS SOUS 44953 HAS SOUPS 44047 WITH SCORE 44221.603
AT ITER 9343 NEW BEST:: SOT 298699 SOS 174601 HAS SOPS 173403 HAS SOUS 44951 HAS SOUPS 44045 WITH SCORE 44219.601
AT ITER 9361 NEW BEST:: SOT 298699 SOS 174590 HAS SOPS 173392 HAS SOUS 44951 HAS SOUPS 44045 WITH SCORE 44219.59
AT ITER 9378 NEW BEST:: SOT 298905 SOS 174796 HAS SOPS 173598 HAS SOUS 44902 HAS SOUPS 43996 WITH SCORE 44170.796
AT ITER 9381 NEW BEST:: SOT 298881 SOS 174772 HAS SOPS 173574 HAS SOUS 44878 HAS SOUPS 43972 WITH SCORE 44146.772
AT ITER 9445 NEW BEST:: SOT 298881 SOS 174684 HAS SOPS 173486 HAS SOUS 44878 HAS SOUPS 43972 WITH SCORE 44146.684
AT ITER 9462 NEW BEST:: SOT 298869 SOS 174660 HAS SOPS 173462 HAS SOUS 44866 HAS SOUPS 43960 WITH SCORE 44134.66
AT ITER 9501 NEW BEST:: SOT 298862 SOS 174653 HAS SOPS 173455 HAS SOUS 44859 HAS SOUPS 43953 WITH SCORE 44127.653
AT ITER 9506 NEW BEST:: SOT 298862 SOS 174634 HAS SOPS 173442 HAS SOUS 44858 HAS SOUPS 43953 WITH SCORE 44127.634
AT ITER 9531 NEW BEST:: SOT 298861 SOS 174626 HAS SOPS 173434 HAS SOUS 44857 HAS SOUPS 43952 WITH SCORE 44126.626
AT ITER 9612 NEW BEST:: SOT 298861 SOS 174405 HAS SOPS 173213 HAS SOUS 44857 HAS SOUPS 43952 WITH SCORE 44126.405
AT ITER 9684 NEW BEST:: SOT 298849 SOS 174400 HAS SOPS 173201 HAS SOUS 44852 HAS SOUPS 43940 WITH SCORE 44114.4
AT ITER 9726 NEW BEST:: SOT 298847 SOS 174396 HAS SOPS 173197 HAS SOUS 44848 HAS SOUPS 43936 WITH SCORE 44110.396
AT ITER 9751 NEW BEST:: SOT 298825 SOS 174363 HAS SOPS 173164 HAS SOUS 44815 HAS SOUPS 43903 WITH SCORE 44077.363
AT ITER 9911 NEW BEST:: SOT 298823 SOS 174361 HAS SOPS 173162 HAS SOUS 44813 HAS SOUPS 43901 WITH SCORE 44075.361
AT ITER 9921 NEW BEST:: SOT 298801 SOS 174236 HAS SOPS 173040 HAS SOUS 44782 HAS SOUPS 43870 WITH SCORE 44044.236
AT ITER 9980 NEW BEST:: SOT 298919 SOS 174354 HAS SOPS 173158 HAS SOUS 44765 HAS SOUPS 43853 WITH SCORE 44027.354
AT ITER 9991 NEW BEST:: SOT 298910 SOS 174345 HAS SOPS 173140 HAS SOUS 44756 HAS SOUPS 43835 WITH SCORE 44009.345
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 575748 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16145592 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="Anderson-PT-08"
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 Anderson-PT-08, 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 r515-tall-167987241900040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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