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.r451-smll-167912643300304.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 SmartHome-PT-19, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643300304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 668K
-rw-r--r-- 1 mcc users 6.0K Feb 26 05:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 05:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 05:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 05:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 05:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 26 05:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 05:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 05:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 181K Mar 5 18:23 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 1679218331889

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=SmartHome-PT-19
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 19
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: 741 places, 809 transitions, 1844 arcs.
AT ITER 0 NEW BEST:: SOT 353547 SOS 78692 HAS SOPS 78692 HAS SOUS 77052 HAS SOUPS 77052 WITH SCORE 77130.692
AT ITER 3 NEW BEST:: SOT 353522 SOS 78683 HAS SOPS 78683 HAS SOUS 77037 HAS SOUPS 77037 WITH SCORE 77115.683
AT ITER 14 NEW BEST:: SOT 353434 SOS 78595 HAS SOPS 78595 HAS SOUS 76949 HAS SOUPS 76949 WITH SCORE 77027.595
AT ITER 33 NEW BEST:: SOT 353431 SOS 78589 HAS SOPS 78589 HAS SOUS 76920 HAS SOUPS 76920 WITH SCORE 76998.589
AT ITER 39 NEW BEST:: SOT 353001 SOS 78208 HAS SOPS 78208 HAS SOUS 76512 HAS SOUPS 76512 WITH SCORE 76590.208
AT ITER 48 NEW BEST:: SOT 353033 SOS 78114 HAS SOPS 78114 HAS SOUS 76422 HAS SOUPS 76422 WITH SCORE 76500.114
AT ITER 63 NEW BEST:: SOT 352817 SOS 77792 HAS SOPS 77792 HAS SOUS 76096 HAS SOUPS 76096 WITH SCORE 76173.792
AT ITER 65 NEW BEST:: SOT 352739 SOS 77636 HAS SOPS 77636 HAS SOUS 75940 HAS SOUPS 75940 WITH SCORE 76017.636
AT ITER 76 NEW BEST:: SOT 352689 SOS 77688 HAS SOPS 77688 HAS SOUS 75894 HAS SOUPS 75894 WITH SCORE 75971.688
AT ITER 105 NEW BEST:: SOT 352688 SOS 77686 HAS SOPS 77686 HAS SOUS 75892 HAS SOUPS 75892 WITH SCORE 75969.686
AT ITER 107 NEW BEST:: SOT 352133 SOS 79796 HAS SOPS 79796 HAS SOUS 75667 HAS SOUPS 75667 WITH SCORE 75746.796
AT ITER 114 NEW BEST:: SOT 351988 SOS 79609 HAS SOPS 79609 HAS SOUS 75458 HAS SOUPS 75458 WITH SCORE 75537.609
AT ITER 121 NEW BEST:: SOT 351912 SOS 79457 HAS SOPS 79457 HAS SOUS 75248 HAS SOUPS 75248 WITH SCORE 75327.457
AT ITER 131 NEW BEST:: SOT 351841 SOS 79315 HAS SOPS 79315 HAS SOUS 75106 HAS SOUPS 75106 WITH SCORE 75185.315
AT ITER 135 NEW BEST:: SOT 351886 SOS 79282 HAS SOPS 79282 HAS SOUS 74988 HAS SOUPS 74988 WITH SCORE 75067.282
AT ITER 140 NEW BEST:: SOT 351904 SOS 79318 HAS SOPS 79318 HAS SOUS 74934 HAS SOUPS 74934 WITH SCORE 75013.318
AT ITER 141 NEW BEST:: SOT 351860 SOS 79264 HAS SOPS 79264 HAS SOUS 74855 HAS SOUPS 74855 WITH SCORE 74934.264
AT ITER 148 NEW BEST:: SOT 351873 SOS 79251 HAS SOPS 79251 HAS SOUS 74842 HAS SOUPS 74842 WITH SCORE 74921.251
AT ITER 150 NEW BEST:: SOT 351875 SOS 79131 HAS SOPS 79131 HAS SOUS 74722 HAS SOUPS 74722 WITH SCORE 74801.131
AT ITER 155 NEW BEST:: SOT 351768 SOS 78870 HAS SOPS 78870 HAS SOUS 74542 HAS SOUPS 74542 WITH SCORE 74620.87
AT ITER 162 NEW BEST:: SOT 351739 SOS 78812 HAS SOPS 78812 HAS SOUS 74484 HAS SOUPS 74484 WITH SCORE 74562.812
AT ITER 165 NEW BEST:: SOT 351735 SOS 78804 HAS SOPS 78804 HAS SOUS 74476 HAS SOUPS 74476 WITH SCORE 74554.804
AT ITER 174 NEW BEST:: SOT 351720 SOS 78789 HAS SOPS 78789 HAS SOUS 74461 HAS SOUPS 74461 WITH SCORE 74539.789
AT ITER 191 NEW BEST:: SOT 351688 SOS 78725 HAS SOPS 78725 HAS SOUS 74325 HAS SOUPS 74325 WITH SCORE 74403.725
AT ITER 192 NEW BEST:: SOT 351713 SOS 78769 HAS SOPS 78769 HAS SOUS 74324 HAS SOUPS 74324 WITH SCORE 74402.769
AT ITER 198 NEW BEST:: SOT 351731 SOS 78753 HAS SOPS 78753 HAS SOUS 74296 HAS SOUPS 74296 WITH SCORE 74374.753
AT ITER 200 NEW BEST:: SOT 351748 SOS 78741 HAS SOPS 78741 HAS SOUS 74284 HAS SOUPS 74284 WITH SCORE 74362.741
AT ITER 202 NEW BEST:: SOT 351713 SOS 78671 HAS SOPS 78671 HAS SOUS 74249 HAS SOUPS 74249 WITH SCORE 74327.671
AT ITER 211 NEW BEST:: SOT 351709 SOS 78666 HAS SOPS 78666 HAS SOUS 74244 HAS SOUPS 74244 WITH SCORE 74322.666
AT ITER 212 NEW BEST:: SOT 351674 SOS 78141 HAS SOPS 78141 HAS SOUS 74174 HAS SOUPS 74174 WITH SCORE 74252.141
AT ITER 237 NEW BEST:: SOT 351709 SOS 78106 HAS SOPS 78106 HAS SOUS 74139 HAS SOUPS 74139 WITH SCORE 74217.106
AT ITER 238 NEW BEST:: SOT 351709 SOS 78104 HAS SOPS 78104 HAS SOUS 74138 HAS SOUPS 74138 WITH SCORE 74216.104
AT ITER 247 NEW BEST:: SOT 351688 SOS 78062 HAS SOPS 78062 HAS SOUS 74096 HAS SOUPS 74096 WITH SCORE 74174.062
AT ITER 248 NEW BEST:: SOT 351621 SOS 78048 HAS SOPS 78048 HAS SOUS 74082 HAS SOUPS 74082 WITH SCORE 74160.048
AT ITER 253 NEW BEST:: SOT 351452 SOS 77775 HAS SOPS 77775 HAS SOUS 73738 HAS SOUPS 73738 WITH SCORE 73815.775
AT ITER 255 NEW BEST:: SOT 350636 SOS 78045 HAS SOPS 78045 HAS SOUS 73137 HAS SOUPS 73137 WITH SCORE 73215.045
AT ITER 261 NEW BEST:: SOT 349427 SOS 76983 HAS SOPS 76983 HAS SOUS 71982 HAS SOUPS 71982 WITH SCORE 72058.983
AT ITER 264 NEW BEST:: SOT 349352 SOS 75267 HAS SOPS 75267 HAS SOUS 71797 HAS SOUPS 71797 WITH SCORE 71872.267
AT ITER 269 NEW BEST:: SOT 348925 SOS 78252 HAS SOPS 78252 HAS SOUS 71793 HAS SOUPS 71793 WITH SCORE 71871.252
AT ITER 270 NEW BEST:: SOT 348925 SOS 78248 HAS SOPS 78248 HAS SOUS 71788 HAS SOUPS 71788 WITH SCORE 71866.248
AT ITER 273 NEW BEST:: SOT 348251 SOS 80855 HAS SOPS 80855 HAS SOUS 71514 HAS SOUPS 71514 WITH SCORE 71594.855
AT ITER 284 NEW BEST:: SOT 348245 SOS 80854 HAS SOPS 80854 HAS SOUS 71513 HAS SOUPS 71513 WITH SCORE 71593.854
AT ITER 299 NEW BEST:: SOT 348245 SOS 80781 HAS SOPS 80781 HAS SOUS 71440 HAS SOUPS 71440 WITH SCORE 71520.781
AT ITER 315 NEW BEST:: SOT 348245 SOS 80710 HAS SOPS 80710 HAS SOUS 71369 HAS SOUPS 71369 WITH SCORE 71449.71
AT ITER 316 NEW BEST:: SOT 348096 SOS 80561 HAS SOPS 80561 HAS SOUS 71369 HAS SOUPS 71369 WITH SCORE 71449.561
AT ITER 318 NEW BEST:: SOT 348096 SOS 80561 HAS SOPS 80561 HAS SOUS 71368 HAS SOUPS 71368 WITH SCORE 71448.561
AT ITER 342 NEW BEST:: SOT 347900 SOS 80541 HAS SOPS 80541 HAS SOUS 71327 HAS SOUPS 71327 WITH SCORE 71407.541
AT ITER 347 NEW BEST:: SOT 347775 SOS 80416 HAS SOPS 80416 HAS SOUS 71253 HAS SOUPS 71253 WITH SCORE 71333.416
AT ITER 356 NEW BEST:: SOT 347707 SOS 80280 HAS SOPS 80280 HAS SOUS 71185 HAS SOUPS 71185 WITH SCORE 71265.28
AT ITER 361 NEW BEST:: SOT 347937 SOS 80140 HAS SOPS 80140 HAS SOUS 71045 HAS SOUPS 71045 WITH SCORE 71125.14
AT ITER 362 NEW BEST:: SOT 347926 SOS 80118 HAS SOPS 80118 HAS SOUS 71023 HAS SOUPS 71023 WITH SCORE 71103.118
AT ITER 364 NEW BEST:: SOT 347919 SOS 80104 HAS SOPS 80104 HAS SOUS 71015 HAS SOUPS 71015 WITH SCORE 71095.104
AT ITER 368 NEW BEST:: SOT 347897 SOS 80046 HAS SOPS 80046 HAS SOUS 70993 HAS SOUPS 70993 WITH SCORE 71073.046
AT ITER 385 NEW BEST:: SOT 347863 SOS 81256 HAS SOPS 81256 HAS SOUS 70984 HAS SOUPS 70984 WITH SCORE 71065.256
AT ITER 410 NEW BEST:: SOT 347817 SOS 81064 HAS SOPS 81064 HAS SOUS 70869 HAS SOUPS 70869 WITH SCORE 70950.064
AT ITER 421 NEW BEST:: SOT 347785 SOS 81016 HAS SOPS 81016 HAS SOUS 70821 HAS SOUPS 70821 WITH SCORE 70902.016
AT ITER 444 NEW BEST:: SOT 347787 SOS 81020 HAS SOPS 81020 HAS SOUS 70772 HAS SOUPS 70772 WITH SCORE 70853.02
AT ITER 445 NEW BEST:: SOT 347757 SOS 80960 HAS SOPS 80960 HAS SOUS 70742 HAS SOUPS 70742 WITH SCORE 70822.96
AT ITER 459 NEW BEST:: SOT 347729 SOS 80920 HAS SOPS 80920 HAS SOUS 70702 HAS SOUPS 70702 WITH SCORE 70782.92
AT ITER 489 NEW BEST:: SOT 347505 SOS 80545 HAS SOPS 80545 HAS SOUS 70392 HAS SOUPS 70392 WITH SCORE 70472.545
AT ITER 495 NEW BEST:: SOT 347468 SOS 80471 HAS SOPS 80471 HAS SOUS 70318 HAS SOUPS 70318 WITH SCORE 70398.471
AT ITER 500 NEW BEST:: SOT 347285 SOS 80303 HAS SOPS 80303 HAS SOUS 70234 HAS SOUPS 70234 WITH SCORE 70314.303
AT ITER 504 NEW BEST:: SOT 345709 SOS 78966 HAS SOPS 78966 HAS SOUS 68674 HAS SOUPS 68674 WITH SCORE 68752.966
AT ITER 520 NEW BEST:: SOT 345696 SOS 78953 HAS SOPS 78953 HAS SOUS 68661 HAS SOUPS 68661 WITH SCORE 68739.953
AT ITER 524 NEW BEST:: SOT 345696 SOS 78937 HAS SOPS 78937 HAS SOUS 68645 HAS SOUPS 68645 WITH SCORE 68723.937
AT ITER 534 NEW BEST:: SOT 345433 SOS 78688 HAS SOPS 78688 HAS SOUS 68367 HAS SOUPS 68367 WITH SCORE 68445.688
AT ITER 554 NEW BEST:: SOT 344528 SOS 80221 HAS SOPS 80221 HAS SOUS 67741 HAS SOUPS 67741 WITH SCORE 67821.221
AT ITER 572 NEW BEST:: SOT 344459 SOS 80152 HAS SOPS 80152 HAS SOUS 67741 HAS SOUPS 67741 WITH SCORE 67821.152
AT ITER 601 NEW BEST:: SOT 344407 SOS 80048 HAS SOPS 80048 HAS SOUS 67689 HAS SOUPS 67689 WITH SCORE 67769.048
AT ITER 630 NEW BEST:: SOT 344401 SOS 80036 HAS SOPS 80036 HAS SOUS 67626 HAS SOUPS 67626 WITH SCORE 67706.036
AT ITER 640 NEW BEST:: SOT 344336 SOS 79946 HAS SOPS 79946 HAS SOUS 67576 HAS SOUPS 67576 WITH SCORE 67655.946
AT ITER 650 NEW BEST:: SOT 344169 SOS 79897 HAS SOPS 79897 HAS SOUS 67514 HAS SOUPS 67514 WITH SCORE 67593.897
AT ITER 659 NEW BEST:: SOT 344163 SOS 79888 HAS SOPS 79888 HAS SOUS 67505 HAS SOUPS 67505 WITH SCORE 67584.888
AT ITER 670 NEW BEST:: SOT 344204 SOS 79762 HAS SOPS 79762 HAS SOUS 67379 HAS SOUPS 67379 WITH SCORE 67458.762
AT ITER 679 NEW BEST:: SOT 344181 SOS 79743 HAS SOPS 79743 HAS SOUS 67360 HAS SOUPS 67360 WITH SCORE 67439.743
AT ITER 694 NEW BEST:: SOT 344179 SOS 79739 HAS SOPS 79739 HAS SOUS 67356 HAS SOUPS 67356 WITH SCORE 67435.739
AT ITER 698 NEW BEST:: SOT 344018 SOS 79417 HAS SOPS 79417 HAS SOUS 67291 HAS SOUPS 67291 WITH SCORE 67370.417
AT ITER 715 NEW BEST:: SOT 344018 SOS 79417 HAS SOPS 79417 HAS SOUS 67287 HAS SOUPS 67287 WITH SCORE 67366.417
AT ITER 719 NEW BEST:: SOT 343915 SOS 79336 HAS SOPS 79336 HAS SOUS 67206 HAS SOUPS 67206 WITH SCORE 67285.336
AT ITER 762 NEW BEST:: SOT 343913 SOS 79334 HAS SOPS 79334 HAS SOUS 67204 HAS SOUPS 67204 WITH SCORE 67283.334
AT ITER 769 NEW BEST:: SOT 343844 SOS 79265 HAS SOPS 79265 HAS SOUS 67066 HAS SOUPS 67066 WITH SCORE 67145.265
AT ITER 772 NEW BEST:: SOT 343804 SOS 79110 HAS SOPS 79110 HAS SOUS 66964 HAS SOUPS 66964 WITH SCORE 67043.11
AT ITER 773 NEW BEST:: SOT 343732 SOS 79038 HAS SOPS 79038 HAS SOUS 66892 HAS SOUPS 66892 WITH SCORE 66971.038
AT ITER 774 NEW BEST:: SOT 343547 SOS 78793 HAS SOPS 78793 HAS SOUS 66707 HAS SOUPS 66707 WITH SCORE 66785.793
AT ITER 779 NEW BEST:: SOT 343505 SOS 78751 HAS SOPS 78751 HAS SOUS 66665 HAS SOUPS 66665 WITH SCORE 66743.751
AT ITER 791 NEW BEST:: SOT 343482 SOS 78705 HAS SOPS 78705 HAS SOUS 66619 HAS SOUPS 66619 WITH SCORE 66697.705
AT ITER 815 NEW BEST:: SOT 343490 SOS 78701 HAS SOPS 78701 HAS SOUS 66614 HAS SOUPS 66614 WITH SCORE 66692.701
AT ITER 821 NEW BEST:: SOT 343468 SOS 78682 HAS SOPS 78682 HAS SOUS 66592 HAS SOUPS 66592 WITH SCORE 66670.682
AT ITER 847 NEW BEST:: SOT 342761 SOS 78722 HAS SOPS 78722 HAS SOUS 65982 HAS SOUPS 65982 WITH SCORE 66060.722
AT ITER 857 NEW BEST:: SOT 342761 SOS 78697 HAS SOPS 78697 HAS SOUS 65970 HAS SOUPS 65970 WITH SCORE 66048.697
AT ITER 861 NEW BEST:: SOT 342661 SOS 78516 HAS SOPS 78516 HAS SOUS 65789 HAS SOUPS 65789 WITH SCORE 65867.516
AT ITER 862 NEW BEST:: SOT 342595 SOS 78384 HAS SOPS 78384 HAS SOUS 65608 HAS SOUPS 65608 WITH SCORE 65686.384
AT ITER 877 NEW BEST:: SOT 342592 SOS 78378 HAS SOPS 78378 HAS SOUS 65605 HAS SOUPS 65605 WITH SCORE 65683.378
AT ITER 880 NEW BEST:: SOT 342364 SOS 79266 HAS SOPS 79266 HAS SOUS 65504 HAS SOUPS 65504 WITH SCORE 65583.266
AT ITER 890 NEW BEST:: SOT 342361 SOS 79260 HAS SOPS 79260 HAS SOUS 65498 HAS SOUPS 65498 WITH SCORE 65577.26
AT ITER 895 NEW BEST:: SOT 342403 SOS 79415 HAS SOPS 79415 HAS SOUS 65454 HAS SOUPS 65454 WITH SCORE 65533.415
AT ITER 898 NEW BEST:: SOT 342562 SOS 79351 HAS SOPS 79351 HAS SOUS 65390 HAS SOUPS 65390 WITH SCORE 65469.351
AT ITER 914 NEW BEST:: SOT 342646 SOS 79375 HAS SOPS 79375 HAS SOUS 65305 HAS SOUPS 65305 WITH SCORE 65384.375
AT ITER 928 NEW BEST:: SOT 342637 SOS 79357 HAS SOPS 79357 HAS SOUS 65287 HAS SOUPS 65287 WITH SCORE 65366.357
AT ITER 930 NEW BEST:: SOT 342538 SOS 79265 HAS SOPS 79265 HAS SOUS 65195 HAS SOUPS 65195 WITH SCORE 65274.265
AT ITER 945 NEW BEST:: SOT 342509 SOS 79236 HAS SOPS 79236 HAS SOUS 65174 HAS SOUPS 65174 WITH SCORE 65253.236
AT ITER 965 NEW BEST:: SOT 342453 SOS 79180 HAS SOPS 79180 HAS SOUS 65118 HAS SOUPS 65118 WITH SCORE 65197.18
AT ITER 966 NEW BEST:: SOT 342453 SOS 79176 HAS SOPS 79176 HAS SOUS 65114 HAS SOUPS 65114 WITH SCORE 65193.176
AT ITER 969 NEW BEST:: SOT 342453 SOS 79175 HAS SOPS 79175 HAS SOUS 65113 HAS SOUPS 65113 WITH SCORE 65192.175
AT ITER 996 NEW BEST:: SOT 342438 SOS 79160 HAS SOPS 79160 HAS SOUS 65112 HAS SOUPS 65112 WITH SCORE 65191.16
AT ITER 1002 NEW BEST:: SOT 342443 SOS 79159 HAS SOPS 79159 HAS SOUS 65106 HAS SOUPS 65106 WITH SCORE 65185.159
AT ITER 1006 NEW BEST:: SOT 342394 SOS 79149 HAS SOPS 79149 HAS SOUS 65096 HAS SOUPS 65096 WITH SCORE 65175.149
AT ITER 1008 NEW BEST:: SOT 342366 SOS 79093 HAS SOPS 79093 HAS SOUS 65068 HAS SOUPS 65068 WITH SCORE 65147.093
AT ITER 1010 NEW BEST:: SOT 342336 SOS 79050 HAS SOPS 79050 HAS SOUS 65025 HAS SOUPS 65025 WITH SCORE 65104.05
AT ITER 1042 NEW BEST:: SOT 342330 SOS 79026 HAS SOPS 79026 HAS SOUS 65013 HAS SOUPS 65013 WITH SCORE 65092.026
AT ITER 1069 NEW BEST:: SOT 342297 SOS 78993 HAS SOPS 78993 HAS SOUS 64956 HAS SOUPS 64956 WITH SCORE 65034.993
AT ITER 1077 NEW BEST:: SOT 342252 SOS 78948 HAS SOPS 78948 HAS SOUS 64843 HAS SOUPS 64843 WITH SCORE 64921.948
AT ITER 1086 NEW BEST:: SOT 342157 SOS 78853 HAS SOPS 78853 HAS SOUS 64653 HAS SOUPS 64653 WITH SCORE 64731.853
AT ITER 1093 NEW BEST:: SOT 342136 SOS 78811 HAS SOPS 78811 HAS SOUS 64632 HAS SOUPS 64632 WITH SCORE 64710.811
AT ITER 1099 NEW BEST:: SOT 342135 SOS 78809 HAS SOPS 78809 HAS SOUS 64630 HAS SOUPS 64630 WITH SCORE 64708.809
AT ITER 1100 NEW BEST:: SOT 342135 SOS 78802 HAS SOPS 78802 HAS SOUS 64623 HAS SOUPS 64623 WITH SCORE 64701.802
AT ITER 1104 NEW BEST:: SOT 342067 SOS 78666 HAS SOPS 78666 HAS SOUS 64603 HAS SOUPS 64603 WITH SCORE 64681.666
AT ITER 1105 NEW BEST:: SOT 341455 SOS 78200 HAS SOPS 78200 HAS SOUS 64051 HAS SOUPS 64051 WITH SCORE 64129.2
AT ITER 1109 NEW BEST:: SOT 340934 SOS 81346 HAS SOPS 81346 HAS SOUS 64043 HAS SOUPS 64043 WITH SCORE 64124.346
AT ITER 1125 NEW BEST:: SOT 340893 SOS 79738 HAS SOPS 79738 HAS SOUS 63919 HAS SOUPS 63919 WITH SCORE 63998.738
AT ITER 1162 NEW BEST:: SOT 340887 SOS 79726 HAS SOPS 79726 HAS SOUS 63907 HAS SOUPS 63907 WITH SCORE 63986.726
AT ITER 1166 NEW BEST:: SOT 340788 SOS 79627 HAS SOPS 79627 HAS SOUS 63807 HAS SOUPS 63807 WITH SCORE 63886.627
AT ITER 1182 NEW BEST:: SOT 340789 SOS 79496 HAS SOPS 79496 HAS SOUS 63747 HAS SOUPS 63747 WITH SCORE 63826.496
AT ITER 1184 NEW BEST:: SOT 340779 SOS 79486 HAS SOPS 79486 HAS SOUS 63737 HAS SOUPS 63737 WITH SCORE 63816.486
AT ITER 1220 NEW BEST:: SOT 340734 SOS 78121 HAS SOPS 78121 HAS SOUS 63581 HAS SOUPS 63581 WITH SCORE 63659.121
AT ITER 1232 NEW BEST:: SOT 340690 SOS 78113 HAS SOPS 78113 HAS SOUS 63539 HAS SOUPS 63539 WITH SCORE 63617.113
AT ITER 1237 NEW BEST:: SOT 340550 SOS 78093 HAS SOPS 78093 HAS SOUS 63439 HAS SOUPS 63439 WITH SCORE 63517.093
AT ITER 1253 NEW BEST:: SOT 340285 SOS 77853 HAS SOPS 77853 HAS SOUS 63174 HAS SOUPS 63174 WITH SCORE 63251.853
AT ITER 1259 NEW BEST:: SOT 339958 SOS 79384 HAS SOPS 79384 HAS SOUS 63081 HAS SOUPS 63081 WITH SCORE 63160.384
AT ITER 1286 NEW BEST:: SOT 339968 SOS 79350 HAS SOPS 79350 HAS SOUS 62982 HAS SOUPS 62982 WITH SCORE 63061.35
AT ITER 1298 NEW BEST:: SOT 339955 SOS 79324 HAS SOPS 79324 HAS SOUS 62956 HAS SOUPS 62956 WITH SCORE 63035.324
AT ITER 1332 NEW BEST:: SOT 339813 SOS 79110 HAS SOPS 79110 HAS SOUS 62814 HAS SOUPS 62814 WITH SCORE 62893.11
AT ITER 1335 NEW BEST:: SOT 339659 SOS 78920 HAS SOPS 78920 HAS SOUS 62671 HAS SOUPS 62671 WITH SCORE 62749.92
AT ITER 1346 NEW BEST:: SOT 339656 SOS 78914 HAS SOPS 78914 HAS SOUS 62665 HAS SOUPS 62665 WITH SCORE 62743.914
AT ITER 1356 NEW BEST:: SOT 339636 SOS 78874 HAS SOPS 78874 HAS SOUS 62572 HAS SOUPS 62572 WITH SCORE 62650.874
AT ITER 1369 NEW BEST:: SOT 339636 SOS 78777 HAS SOPS 78777 HAS SOUS 62572 HAS SOUPS 62572 WITH SCORE 62650.777
AT ITER 1407 NEW BEST:: SOT 339590 SOS 78685 HAS SOPS 78685 HAS SOUS 62480 HAS SOUPS 62480 WITH SCORE 62558.685
AT ITER 1412 NEW BEST:: SOT 339590 SOS 78673 HAS SOPS 78673 HAS SOUS 62468 HAS SOUPS 62468 WITH SCORE 62546.673
AT ITER 1417 NEW BEST:: SOT 339564 SOS 78621 HAS SOPS 78621 HAS SOUS 62416 HAS SOUPS 62416 WITH SCORE 62494.621
AT ITER 1419 NEW BEST:: SOT 339564 SOS 78565 HAS SOPS 78565 HAS SOUS 62360 HAS SOUPS 62360 WITH SCORE 62438.565
AT ITER 1428 NEW BEST:: SOT 339499 SOS 78565 HAS SOPS 78565 HAS SOUS 62348 HAS SOUPS 62348 WITH SCORE 62426.565
AT ITER 1432 NEW BEST:: SOT 339487 SOS 78541 HAS SOPS 78541 HAS SOUS 62336 HAS SOUPS 62336 WITH SCORE 62414.541
AT ITER 1447 NEW BEST:: SOT 339472 SOS 78544 HAS SOPS 78544 HAS SOUS 62331 HAS SOUPS 62331 WITH SCORE 62409.544
AT ITER 1462 NEW BEST:: SOT 339479 SOS 78538 HAS SOPS 78538 HAS SOUS 62328 HAS SOUPS 62328 WITH SCORE 62406.538
AT ITER 1465 NEW BEST:: SOT 339472 SOS 78524 HAS SOPS 78524 HAS SOUS 62314 HAS SOUPS 62314 WITH SCORE 62392.524
AT ITER 1468 NEW BEST:: SOT 339110 SOS 79088 HAS SOPS 79088 HAS SOUS 62144 HAS SOUPS 62144 WITH SCORE 62223.088
AT ITER 1470 NEW BEST:: SOT 339054 SOS 79032 HAS SOPS 79032 HAS SOUS 62088 HAS SOUPS 62088 WITH SCORE 62167.032
AT ITER 1490 NEW BEST:: SOT 339050 SOS 79024 HAS SOPS 79024 HAS SOUS 62080 HAS SOUPS 62080 WITH SCORE 62159.024
AT ITER 1500 NEW BEST:: SOT 339024 SOS 78972 HAS SOPS 78972 HAS SOUS 62062 HAS SOUPS 62062 WITH SCORE 62140.972
AT ITER 1503 NEW BEST:: SOT 339028 SOS 78976 HAS SOPS 78976 HAS SOUS 62053 HAS SOUPS 62053 WITH SCORE 62131.976
AT ITER 1504 NEW BEST:: SOT 339005 SOS 78953 HAS SOPS 78953 HAS SOUS 62030 HAS SOUPS 62030 WITH SCORE 62108.953
AT ITER 1505 NEW BEST:: SOT 338953 SOS 78687 HAS SOPS 78687 HAS SOUS 61891 HAS SOUPS 61891 WITH SCORE 61969.687
AT ITER 1514 NEW BEST:: SOT 338904 SOS 78638 HAS SOPS 78638 HAS SOUS 61842 HAS SOUPS 61842 WITH SCORE 61920.638
AT ITER 1523 NEW BEST:: SOT 338860 SOS 78594 HAS SOPS 78594 HAS SOUS 61798 HAS SOUPS 61798 WITH SCORE 61876.594
AT ITER 1527 NEW BEST:: SOT 338833 SOS 78540 HAS SOPS 78540 HAS SOUS 61744 HAS SOUPS 61744 WITH SCORE 61822.54
AT ITER 1529 NEW BEST:: SOT 338695 SOS 78444 HAS SOPS 78444 HAS SOUS 61620 HAS SOUPS 61620 WITH SCORE 61698.444
AT ITER 1530 NEW BEST:: SOT 338695 SOS 78400 HAS SOPS 78400 HAS SOUS 61604 HAS SOUPS 61604 WITH SCORE 61682.4
AT ITER 1562 NEW BEST:: SOT 338638 SOS 78286 HAS SOPS 78286 HAS SOUS 61490 HAS SOUPS 61490 WITH SCORE 61568.286
AT ITER 1582 NEW BEST:: SOT 338689 SOS 78195 HAS SOPS 78195 HAS SOUS 61427 HAS SOUPS 61427 WITH SCORE 61505.195
AT ITER 1587 NEW BEST:: SOT 338657 SOS 78163 HAS SOPS 78163 HAS SOUS 61395 HAS SOUPS 61395 WITH SCORE 61473.163
AT ITER 1603 NEW BEST:: SOT 338657 SOS 77421 HAS SOPS 77421 HAS SOUS 61395 HAS SOUPS 61395 WITH SCORE 61472.421
AT ITER 1622 NEW BEST:: SOT 338482 SOS 77246 HAS SOPS 77246 HAS SOUS 61395 HAS SOUPS 61395 WITH SCORE 61472.246
AT ITER 1634 NEW BEST:: SOT 338439 SOS 77218 HAS SOPS 77218 HAS SOUS 61367 HAS SOUPS 61367 WITH SCORE 61444.218
AT ITER 1637 NEW BEST:: SOT 338494 SOS 76668 HAS SOPS 76668 HAS SOUS 61353 HAS SOUPS 61353 WITH SCORE 61429.668
AT ITER 1638 NEW BEST:: SOT 338421 SOS 76619 HAS SOPS 76619 HAS SOUS 61304 HAS SOUPS 61304 WITH SCORE 61380.619
AT ITER 1660 NEW BEST:: SOT 338484 SOS 76657 HAS SOPS 76657 HAS SOUS 61289 HAS SOUPS 61289 WITH SCORE 61365.657
AT ITER 1665 NEW BEST:: SOT 338453 SOS 76595 HAS SOPS 76595 HAS SOUS 61228 HAS SOUPS 61228 WITH SCORE 61304.595
AT ITER 1666 NEW BEST:: SOT 338401 SOS 76491 HAS SOPS 76491 HAS SOUS 61150 HAS SOUPS 61150 WITH SCORE 61226.491
AT ITER 1670 NEW BEST:: SOT 338401 SOS 76448 HAS SOPS 76448 HAS SOUS 61124 HAS SOUPS 61124 WITH SCORE 61200.448
AT ITER 1674 NEW BEST:: SOT 338359 SOS 76364 HAS SOPS 76364 HAS SOUS 61061 HAS SOUPS 61061 WITH SCORE 61137.364
AT ITER 1710 NEW BEST:: SOT 338352 SOS 76379 HAS SOPS 76379 HAS SOUS 61032 HAS SOUPS 61032 WITH SCORE 61108.379
AT ITER 1712 NEW BEST:: SOT 337495 SOS 77210 HAS SOPS 77210 HAS SOUS 60473 HAS SOUPS 60473 WITH SCORE 60550.21
AT ITER 1740 NEW BEST:: SOT 337492 SOS 77207 HAS SOPS 77207 HAS SOUS 60470 HAS SOUPS 60470 WITH SCORE 60547.207
AT ITER 1741 NEW BEST:: SOT 337434 SOS 77124 HAS SOPS 77124 HAS SOUS 60419 HAS SOUPS 60419 WITH SCORE 60496.124
AT ITER 1747 NEW BEST:: SOT 337406 SOS 77096 HAS SOPS 77096 HAS SOUS 60391 HAS SOUPS 60391 WITH SCORE 60468.096
AT ITER 1754 NEW BEST:: SOT 337419 SOS 77122 HAS SOPS 77122 HAS SOUS 60336 HAS SOUPS 60336 WITH SCORE 60413.122
AT ITER 1760 NEW BEST:: SOT 337479 SOS 77068 HAS SOPS 77068 HAS SOUS 60335 HAS SOUPS 60335 WITH SCORE 60412.068
AT ITER 1768 NEW BEST:: SOT 337450 SOS 77011 HAS SOPS 77011 HAS SOUS 60278 HAS SOUPS 60278 WITH SCORE 60355.011
AT ITER 1773 NEW BEST:: SOT 337450 SOS 77011 HAS SOPS 77011 HAS SOUS 60259 HAS SOUPS 60259 WITH SCORE 60336.011
AT ITER 1775 NEW BEST:: SOT 337450 SOS 77011 HAS SOPS 77011 HAS SOUS 60249 HAS SOUPS 60249 WITH SCORE 60326.011
AT ITER 1785 NEW BEST:: SOT 337449 SOS 77132 HAS SOPS 77132 HAS SOUS 60232 HAS SOUPS 60232 WITH SCORE 60309.132
AT ITER 1798 NEW BEST:: SOT 337441 SOS 77124 HAS SOPS 77124 HAS SOUS 60232 HAS SOUPS 60232 WITH SCORE 60309.124
AT ITER 1856 NEW BEST:: SOT 337441 SOS 77103 HAS SOPS 77103 HAS SOUS 60211 HAS SOUPS 60211 WITH SCORE 60288.103
AT ITER 1868 NEW BEST:: SOT 337425 SOS 77071 HAS SOPS 77071 HAS SOUS 60195 HAS SOUPS 60195 WITH SCORE 60272.071
AT ITER 1893 NEW BEST:: SOT 337425 SOS 77044 HAS SOPS 77044 HAS SOUS 60168 HAS SOUPS 60168 WITH SCORE 60245.044
AT ITER 1915 NEW BEST:: SOT 337401 SOS 76996 HAS SOPS 76996 HAS SOUS 60120 HAS SOUPS 60120 WITH SCORE 60196.996
AT ITER 1938 NEW BEST:: SOT 337063 SOS 77883 HAS SOPS 77883 HAS SOUS 59897 HAS SOUPS 59897 WITH SCORE 59974.883
AT ITER 1986 NEW BEST:: SOT 337040 SOS 77757 HAS SOPS 77757 HAS SOUS 59794 HAS SOUPS 59794 WITH SCORE 59871.757
AT ITER 1987 NEW BEST:: SOT 336938 SOS 77655 HAS SOPS 77655 HAS SOUS 59749 HAS SOUPS 59749 WITH SCORE 59826.655
AT ITER 1998 NEW BEST:: SOT 336922 SOS 77623 HAS SOPS 77623 HAS SOUS 59717 HAS SOUPS 59717 WITH SCORE 59794.623
AT ITER 2000 NEW BEST:: SOT 336935 SOS 77513 HAS SOPS 77513 HAS SOUS 59675 HAS SOUPS 59675 WITH SCORE 59752.513
AT ITER 2003 NEW BEST:: SOT 336925 SOS 77493 HAS SOPS 77493 HAS SOUS 59655 HAS SOUPS 59655 WITH SCORE 59732.493
AT ITER 2005 NEW BEST:: SOT 336841 SOS 77325 HAS SOPS 77325 HAS SOUS 59584 HAS SOUPS 59584 WITH SCORE 59661.325
AT ITER 2009 NEW BEST:: SOT 336835 SOS 77313 HAS SOPS 77313 HAS SOUS 59578 HAS SOUPS 59578 WITH SCORE 59655.313
AT ITER 2015 NEW BEST:: SOT 336745 SOS 77303 HAS SOPS 77303 HAS SOUS 59568 HAS SOUPS 59568 WITH SCORE 59645.303
AT ITER 2021 NEW BEST:: SOT 336623 SOS 77059 HAS SOPS 77059 HAS SOUS 59478 HAS SOUPS 59478 WITH SCORE 59555.059
AT ITER 2046 NEW BEST:: SOT 336587 SOS 76987 HAS SOPS 76987 HAS SOUS 59454 HAS SOUPS 59454 WITH SCORE 59530.987
AT ITER 2050 NEW BEST:: SOT 336465 SOS 76743 HAS SOPS 76743 HAS SOUS 59332 HAS SOUPS 59332 WITH SCORE 59408.743
AT ITER 2055 NEW BEST:: SOT 336473 SOS 76731 HAS SOPS 76731 HAS SOUS 59320 HAS SOUPS 59320 WITH SCORE 59396.731
AT ITER 2060 NEW BEST:: SOT 336468 SOS 76716 HAS SOPS 76716 HAS SOUS 59310 HAS SOUPS 59310 WITH SCORE 59386.716
AT ITER 2062 NEW BEST:: SOT 336551 SOS 76408 HAS SOPS 76408 HAS SOUS 59240 HAS SOUPS 59240 WITH SCORE 59316.408
AT ITER 2084 NEW BEST:: SOT 336339 SOS 76196 HAS SOPS 76196 HAS SOUS 59028 HAS SOUPS 59028 WITH SCORE 59104.196
AT ITER 2097 NEW BEST:: SOT 336338 SOS 76194 HAS SOPS 76194 HAS SOUS 59026 HAS SOUPS 59026 WITH SCORE 59102.194
AT ITER 2100 NEW BEST:: SOT 336261 SOS 76040 HAS SOPS 76040 HAS SOUS 58906 HAS SOUPS 58906 WITH SCORE 58982.04
AT ITER 2120 NEW BEST:: SOT 336261 SOS 75992 HAS SOPS 75992 HAS SOUS 58858 HAS SOUPS 58858 WITH SCORE 58933.992
AT ITER 2133 NEW BEST:: SOT 336311 SOS 75740 HAS SOPS 75740 HAS SOUS 58858 HAS SOUPS 58858 WITH SCORE 58933.74
AT ITER 2153 NEW BEST:: SOT 336258 SOS 75739 HAS SOPS 75739 HAS SOUS 58840 HAS SOUPS 58840 WITH SCORE 58915.739
AT ITER 2173 NEW BEST:: SOT 336255 SOS 75701 HAS SOPS 75701 HAS SOUS 58834 HAS SOUPS 58834 WITH SCORE 58909.701
AT ITER 2176 NEW BEST:: SOT 336075 SOS 75457 HAS SOPS 75457 HAS SOUS 58654 HAS SOUPS 58654 WITH SCORE 58729.457
AT ITER 2182 NEW BEST:: SOT 336074 SOS 75366 HAS SOPS 75366 HAS SOUS 58652 HAS SOUPS 58652 WITH SCORE 58727.366
AT ITER 2183 NEW BEST:: SOT 336095 SOS 75334 HAS SOPS 75334 HAS SOUS 58620 HAS SOUPS 58620 WITH SCORE 58695.334
AT ITER 2199 NEW BEST:: SOT 336065 SOS 75274 HAS SOPS 75274 HAS SOUS 58590 HAS SOUPS 58590 WITH SCORE 58665.274
AT ITER 2206 NEW BEST:: SOT 335996 SOS 75136 HAS SOPS 75136 HAS SOUS 58452 HAS SOUPS 58452 WITH SCORE 58527.136
AT ITER 2228 NEW BEST:: SOT 335986 SOS 75118 HAS SOPS 75118 HAS SOUS 58434 HAS SOUPS 58434 WITH SCORE 58509.118
AT ITER 2240 NEW BEST:: SOT 335930 SOS 75006 HAS SOPS 75006 HAS SOUS 58393 HAS SOUPS 58393 WITH SCORE 58468.006
AT ITER 2253 NEW BEST:: SOT 335858 SOS 74787 HAS SOPS 74787 HAS SOUS 58246 HAS SOUPS 58246 WITH SCORE 58320.787
AT ITER 2254 NEW BEST:: SOT 335766 SOS 74603 HAS SOPS 74603 HAS SOUS 58073 HAS SOUPS 58073 WITH SCORE 58147.603
AT ITER 2280 NEW BEST:: SOT 335757 SOS 74585 HAS SOPS 74585 HAS SOUS 57987 HAS SOUPS 57987 WITH SCORE 58061.585
AT ITER 2283 NEW BEST:: SOT 335701 SOS 74501 HAS SOPS 74501 HAS SOUS 57903 HAS SOUPS 57903 WITH SCORE 57977.501
AT ITER 2306 NEW BEST:: SOT 335628 SOS 74428 HAS SOPS 74428 HAS SOUS 57826 HAS SOUPS 57826 WITH SCORE 57900.428
AT ITER 2316 NEW BEST:: SOT 335625 SOS 74422 HAS SOPS 74422 HAS SOUS 57820 HAS SOUPS 57820 WITH SCORE 57894.422
AT ITER 2328 NEW BEST:: SOT 335556 SOS 74396 HAS SOPS 74396 HAS SOUS 57804 HAS SOUPS 57804 WITH SCORE 57878.396
AT ITER 2361 NEW BEST:: SOT 335557 SOS 74387 HAS SOPS 74387 HAS SOUS 57795 HAS SOUPS 57795 WITH SCORE 57869.387
AT ITER 2365 NEW BEST:: SOT 335556 SOS 74372 HAS SOPS 74372 HAS SOUS 57780 HAS SOUPS 57780 WITH SCORE 57854.372
AT ITER 2378 NEW BEST:: SOT 335155 SOS 75592 HAS SOPS 75592 HAS SOUS 57685 HAS SOUPS 57685 WITH SCORE 57760.592
AT ITER 2389 NEW BEST:: SOT 335155 SOS 75592 HAS SOPS 75592 HAS SOUS 57660 HAS SOUPS 57660 WITH SCORE 57735.592
AT ITER 2390 NEW BEST:: SOT 335142 SOS 75589 HAS SOPS 75589 HAS SOUS 57647 HAS SOUPS 57647 WITH SCORE 57722.589
AT ITER 2391 NEW BEST:: SOT 335121 SOS 75547 HAS SOPS 75547 HAS SOUS 57637 HAS SOUPS 57637 WITH SCORE 57712.547
AT ITER 2395 NEW BEST:: SOT 335121 SOS 75379 HAS SOPS 75379 HAS SOUS 57637 HAS SOUPS 57637 WITH SCORE 57712.379
AT ITER 2406 NEW BEST:: SOT 335121 SOS 75466 HAS SOPS 75466 HAS SOUS 57604 HAS SOUPS 57604 WITH SCORE 57679.466
AT ITER 2408 NEW BEST:: SOT 335121 SOS 75461 HAS SOPS 75461 HAS SOUS 57599 HAS SOUPS 57599 WITH SCORE 57674.461
AT ITER 2459 NEW BEST:: SOT 335095 SOS 75409 HAS SOPS 75409 HAS SOUS 57547 HAS SOUPS 57547 WITH SCORE 57622.409
AT ITER 2469 NEW BEST:: SOT 335041 SOS 75625 HAS SOPS 75625 HAS SOUS 57493 HAS SOUPS 57493 WITH SCORE 57568.625
AT ITER 2492 NEW BEST:: SOT 335041 SOS 75625 HAS SOPS 75625 HAS SOUS 57486 HAS SOUPS 57486 WITH SCORE 57561.625
AT ITER 2503 NEW BEST:: SOT 334981 SOS 75505 HAS SOPS 75505 HAS SOUS 57434 HAS SOUPS 57434 WITH SCORE 57509.505
AT ITER 2508 NEW BEST:: SOT 334705 SOS 76409 HAS SOPS 76409 HAS SOUS 57270 HAS SOUPS 57270 WITH SCORE 57346.409
AT ITER 2516 NEW BEST:: SOT 334709 SOS 76388 HAS SOPS 76388 HAS SOUS 57249 HAS SOUPS 57249 WITH SCORE 57325.388
AT ITER 2524 NEW BEST:: SOT 334735 SOS 76440 HAS SOPS 76440 HAS SOUS 57231 HAS SOUPS 57231 WITH SCORE 57307.44
AT ITER 2550 NEW BEST:: SOT 334682 SOS 76373 HAS SOPS 76373 HAS SOUS 57217 HAS SOUPS 57217 WITH SCORE 57293.373
AT ITER 2564 NEW BEST:: SOT 334685 SOS 76319 HAS SOPS 76319 HAS SOUS 57213 HAS SOUPS 57213 WITH SCORE 57289.319
AT ITER 2569 NEW BEST:: SOT 334674 SOS 76297 HAS SOPS 76297 HAS SOUS 57189 HAS SOUPS 57189 WITH SCORE 57265.297
AT ITER 2598 NEW BEST:: SOT 334737 SOS 76262 HAS SOPS 76262 HAS SOUS 57169 HAS SOUPS 57169 WITH SCORE 57245.262
AT ITER 2605 NEW BEST:: SOT 334675 SOS 76200 HAS SOPS 76200 HAS SOUS 57148 HAS SOUPS 57148 WITH SCORE 57224.2
AT ITER 2640 NEW BEST:: SOT 334671 SOS 76192 HAS SOPS 76192 HAS SOUS 57140 HAS SOUPS 57140 WITH SCORE 57216.192
AT ITER 2645 NEW BEST:: SOT 334626 SOS 76102 HAS SOPS 76102 HAS SOUS 57107 HAS SOUPS 57107 WITH SCORE 57183.102
AT ITER 2656 NEW BEST:: SOT 334461 SOS 75831 HAS SOPS 75831 HAS SOUS 56910 HAS SOUPS 56910 WITH SCORE 56985.831
AT ITER 2660 NEW BEST:: SOT 334492 SOS 75742 HAS SOPS 75742 HAS SOUS 56821 HAS SOUPS 56821 WITH SCORE 56896.742
AT ITER 2670 NEW BEST:: SOT 334479 SOS 75716 HAS SOPS 75716 HAS SOUS 56795 HAS SOUPS 56795 WITH SCORE 56870.716
AT ITER 2681 NEW BEST:: SOT 334136 SOS 77158 HAS SOPS 77158 HAS SOUS 56764 HAS SOUPS 56764 WITH SCORE 56841.158
AT ITER 2692 NEW BEST:: SOT 334017 SOS 77267 HAS SOPS 77267 HAS SOUS 56561 HAS SOUPS 56561 WITH SCORE 56638.267
AT ITER 2725 NEW BEST:: SOT 333994 SOS 77244 HAS SOPS 77244 HAS SOUS 56561 HAS SOUPS 56561 WITH SCORE 56638.244
AT ITER 2730 NEW BEST:: SOT 333984 SOS 77251 HAS SOPS 77251 HAS SOUS 56560 HAS SOUPS 56560 WITH SCORE 56637.251
AT ITER 2744 NEW BEST:: SOT 333990 SOS 77257 HAS SOPS 77257 HAS SOUS 56558 HAS SOUPS 56558 WITH SCORE 56635.257
AT ITER 2746 NEW BEST:: SOT 333955 SOS 77187 HAS SOPS 77187 HAS SOUS 56488 HAS SOUPS 56488 WITH SCORE 56565.187
AT ITER 2772 NEW BEST:: SOT 333979 SOS 77196 HAS SOPS 77196 HAS SOUS 56473 HAS SOUPS 56473 WITH SCORE 56550.196
AT ITER 2809 NEW BEST:: SOT 333979 SOS 77150 HAS SOPS 77150 HAS SOUS 56427 HAS SOUPS 56427 WITH SCORE 56504.15
AT ITER 2815 NEW BEST:: SOT 333990 SOS 77132 HAS SOPS 77132 HAS SOUS 56409 HAS SOUPS 56409 WITH SCORE 56486.132
AT ITER 2818 NEW BEST:: SOT 333961 SOS 77074 HAS SOPS 77074 HAS SOUS 56345 HAS SOUPS 56345 WITH SCORE 56422.074
AT ITER 2832 NEW BEST:: SOT 333958 SOS 77071 HAS SOPS 77071 HAS SOUS 56342 HAS SOUPS 56342 WITH SCORE 56419.071
AT ITER 2930 NEW BEST:: SOT 333928 SOS 76856 HAS SOPS 76856 HAS SOUS 56130 HAS SOUPS 56130 WITH SCORE 56206.856
AT ITER 2934 NEW BEST:: SOT 333907 SOS 76814 HAS SOPS 76814 HAS SOUS 56088 HAS SOUPS 56088 WITH SCORE 56164.814
AT ITER 2946 NEW BEST:: SOT 333882 SOS 76789 HAS SOPS 76789 HAS SOUS 56063 HAS SOUPS 56063 WITH SCORE 56139.789
AT ITER 2949 NEW BEST:: SOT 333882 SOS 76787 HAS SOPS 76787 HAS SOUS 56061 HAS SOUPS 56061 WITH SCORE 56137.787
AT ITER 2950 NEW BEST:: SOT 333823 SOS 76669 HAS SOPS 76669 HAS SOUS 56002 HAS SOUPS 56002 WITH SCORE 56078.669
AT ITER 2956 NEW BEST:: SOT 333831 SOS 76685 HAS SOPS 76685 HAS SOUS 55968 HAS SOUPS 55968 WITH SCORE 56044.685
AT ITER 2974 NEW BEST:: SOT 333813 SOS 76667 HAS SOPS 76667 HAS SOUS 55932 HAS SOUPS 55932 WITH SCORE 56008.667
AT ITER 3053 NEW BEST:: SOT 333756 SOS 76622 HAS SOPS 76622 HAS SOUS 55818 HAS SOUPS 55818 WITH SCORE 55894.622
AT ITER 3055 NEW BEST:: SOT 333854 SOS 76692 HAS SOPS 76692 HAS SOUS 55762 HAS SOUPS 55762 WITH SCORE 55838.692
AT ITER 3060 NEW BEST:: SOT 333797 SOS 76635 HAS SOPS 76635 HAS SOUS 55730 HAS SOUPS 55730 WITH SCORE 55806.635
AT ITER 3069 NEW BEST:: SOT 333712 SOS 76465 HAS SOPS 76465 HAS SOUS 55684 HAS SOUPS 55684 WITH SCORE 55760.465
AT ITER 3085 NEW BEST:: SOT 333704 SOS 75916 HAS SOPS 75916 HAS SOUS 55628 HAS SOUPS 55628 WITH SCORE 55703.916
AT ITER 3189 NEW BEST:: SOT 333639 SOS 75829 HAS SOPS 75829 HAS SOUS 55584 HAS SOUPS 55584 WITH SCORE 55659.829
AT ITER 3218 NEW BEST:: SOT 333765 SOS 75918 HAS SOPS 75918 HAS SOUS 55581 HAS SOUPS 55581 WITH SCORE 55656.918
AT ITER 3231 NEW BEST:: SOT 333030 SOS 77939 HAS SOPS 77939 HAS SOUS 55072 HAS SOUPS 55072 WITH SCORE 55149.939
AT ITER 3241 NEW BEST:: SOT 332996 SOS 77905 HAS SOPS 77905 HAS SOUS 55072 HAS SOUPS 55072 WITH SCORE 55149.905
AT ITER 3249 NEW BEST:: SOT 332988 SOS 77980 HAS SOPS 77980 HAS SOUS 55071 HAS SOUPS 55071 WITH SCORE 55148.98
AT ITER 3255 NEW BEST:: SOT 333081 SOS 77746 HAS SOPS 77746 HAS SOUS 54954 HAS SOUPS 54954 WITH SCORE 55031.746
AT ITER 3272 NEW BEST:: SOT 333090 SOS 77580 HAS SOPS 77580 HAS SOUS 54874 HAS SOUPS 54874 WITH SCORE 54951.58
AT ITER 3295 NEW BEST:: SOT 333090 SOS 77575 HAS SOPS 77575 HAS SOUS 54869 HAS SOUPS 54869 WITH SCORE 54946.575
AT ITER 3302 NEW BEST:: SOT 333089 SOS 77574 HAS SOPS 77574 HAS SOUS 54869 HAS SOUPS 54869 WITH SCORE 54946.574
AT ITER 3305 NEW BEST:: SOT 333031 SOS 77470 HAS SOPS 77470 HAS SOUS 54822 HAS SOUPS 54822 WITH SCORE 54899.47
AT ITER 3307 NEW BEST:: SOT 332967 SOS 77454 HAS SOPS 77454 HAS SOUS 54806 HAS SOUPS 54806 WITH SCORE 54883.454
AT ITER 3327 NEW BEST:: SOT 332881 SOS 77282 HAS SOPS 77282 HAS SOUS 54720 HAS SOUPS 54720 WITH SCORE 54797.282
AT ITER 3354 NEW BEST:: SOT 332870 SOS 77271 HAS SOPS 77271 HAS SOUS 54720 HAS SOUPS 54720 WITH SCORE 54797.271
AT ITER 3357 NEW BEST:: SOT 332951 SOS 77349 HAS SOPS 77349 HAS SOUS 54717 HAS SOUPS 54717 WITH SCORE 54794.349
AT ITER 3368 NEW BEST:: SOT 333088 SOS 77485 HAS SOPS 77485 HAS SOUS 54715 HAS SOUPS 54715 WITH SCORE 54792.485
AT ITER 3376 NEW BEST:: SOT 332957 SOS 77254 HAS SOPS 77254 HAS SOUS 54672 HAS SOUPS 54672 WITH SCORE 54749.254
AT ITER 3384 NEW BEST:: SOT 332945 SOS 77207 HAS SOPS 77207 HAS SOUS 54648 HAS SOUPS 54648 WITH SCORE 54725.207
AT ITER 3386 NEW BEST:: SOT 332955 SOS 77229 HAS SOPS 77229 HAS SOUS 54632 HAS SOUPS 54632 WITH SCORE 54709.229
AT ITER 3423 NEW BEST:: SOT 332949 SOS 77217 HAS SOPS 77217 HAS SOUS 54626 HAS SOUPS 54626 WITH SCORE 54703.217
AT ITER 3448 NEW BEST:: SOT 332903 SOS 77172 HAS SOPS 77172 HAS SOUS 54580 HAS SOUPS 54580 WITH SCORE 54657.172
AT ITER 3451 NEW BEST:: SOT 332838 SOS 77042 HAS SOPS 77042 HAS SOUS 54527 HAS SOUPS 54527 WITH SCORE 54604.042
AT ITER 3468 NEW BEST:: SOT 332764 SOS 76931 HAS SOPS 76931 HAS SOUS 54453 HAS SOUPS 54453 WITH SCORE 54529.931
AT ITER 3477 NEW BEST:: SOT 332549 SOS 76859 HAS SOPS 76859 HAS SOUS 54406 HAS SOUPS 54406 WITH SCORE 54482.859
AT ITER 3487 NEW BEST:: SOT 332477 SOS 76761 HAS SOPS 76761 HAS SOUS 54387 HAS SOUPS 54387 WITH SCORE 54463.761
AT ITER 3489 NEW BEST:: SOT 332465 SOS 76749 HAS SOPS 76749 HAS SOUS 54381 HAS SOUPS 54381 WITH SCORE 54457.749
AT ITER 3495 NEW BEST:: SOT 332465 SOS 76658 HAS SOPS 76658 HAS SOUS 54290 HAS SOUPS 54290 WITH SCORE 54366.658
AT ITER 3519 NEW BEST:: SOT 332465 SOS 76572 HAS SOPS 76572 HAS SOUS 54290 HAS SOUPS 54290 WITH SCORE 54366.572
AT ITER 3531 NEW BEST:: SOT 332425 SOS 76570 HAS SOPS 76570 HAS SOUS 54288 HAS SOUPS 54288 WITH SCORE 54364.57
AT ITER 3538 NEW BEST:: SOT 332413 SOS 76546 HAS SOPS 76546 HAS SOUS 54264 HAS SOUPS 54264 WITH SCORE 54340.546
AT ITER 3573 NEW BEST:: SOT 332405 SOS 76538 HAS SOPS 76538 HAS SOUS 54256 HAS SOUPS 54256 WITH SCORE 54332.538
AT ITER 3587 NEW BEST:: SOT 332384 SOS 76517 HAS SOPS 76517 HAS SOUS 54235 HAS SOUPS 54235 WITH SCORE 54311.517
AT ITER 3604 NEW BEST:: SOT 332380 SOS 76513 HAS SOPS 76513 HAS SOUS 54231 HAS SOUPS 54231 WITH SCORE 54307.513
AT ITER 3613 NEW BEST:: SOT 332340 SOS 76433 HAS SOPS 76433 HAS SOUS 54210 HAS SOUPS 54210 WITH SCORE 54286.433
AT ITER 3628 NEW BEST:: SOT 332295 SOS 76343 HAS SOPS 76343 HAS SOUS 54165 HAS SOUPS 54165 WITH SCORE 54241.343
AT ITER 3637 NEW BEST:: SOT 332278 SOS 76423 HAS SOPS 76423 HAS SOUS 54131 HAS SOUPS 54131 WITH SCORE 54207.423
AT ITER 3641 NEW BEST:: SOT 332283 SOS 76297 HAS SOPS 76297 HAS SOUS 54104 HAS SOUPS 54104 WITH SCORE 54180.297
AT ITER 3662 NEW BEST:: SOT 332261 SOS 76275 HAS SOPS 76275 HAS SOUS 54100 HAS SOUPS 54100 WITH SCORE 54176.275
AT ITER 3688 NEW BEST:: SOT 332261 SOS 76267 HAS SOPS 76267 HAS SOUS 54100 HAS SOUPS 54100 WITH SCORE 54176.267
AT ITER 3690 NEW BEST:: SOT 332151 SOS 76176 HAS SOPS 76176 HAS SOUS 54087 HAS SOUPS 54087 WITH SCORE 54163.176
AT ITER 3696 NEW BEST:: SOT 332077 SOS 76102 HAS SOPS 76102 HAS SOUS 54013 HAS SOUPS 54013 WITH SCORE 54089.102
AT ITER 3705 NEW BEST:: SOT 332071 SOS 76095 HAS SOPS 76095 HAS SOUS 54010 HAS SOUPS 54010 WITH SCORE 54086.095
AT ITER 3710 NEW BEST:: SOT 332024 SOS 76048 HAS SOPS 76048 HAS SOUS 54004 HAS SOUPS 54004 WITH SCORE 54080.048
AT ITER 3722 NEW BEST:: SOT 332022 SOS 76044 HAS SOPS 76044 HAS SOUS 54000 HAS SOUPS 54000 WITH SCORE 54076.044
AT ITER 3764 NEW BEST:: SOT 331975 SOS 75950 HAS SOPS 75950 HAS SOUS 53953 HAS SOUPS 53953 WITH SCORE 54028.95
AT ITER 3770 NEW BEST:: SOT 331943 SOS 75918 HAS SOPS 75918 HAS SOUS 53950 HAS SOUPS 53950 WITH SCORE 54025.918
AT ITER 3801 NEW BEST:: SOT 331942 SOS 75907 HAS SOPS 75907 HAS SOUS 53939 HAS SOUPS 53939 WITH SCORE 54014.907
AT ITER 3826 NEW BEST:: SOT 332249 SOS 76214 HAS SOPS 76214 HAS SOUS 53936 HAS SOUPS 53936 WITH SCORE 54012.214
AT ITER 3829 NEW BEST:: SOT 332229 SOS 76032 HAS SOPS 76032 HAS SOUS 53804 HAS SOUPS 53804 WITH SCORE 53880.032
AT ITER 3838 NEW BEST:: SOT 332229 SOS 75946 HAS SOPS 75946 HAS SOUS 53718 HAS SOUPS 53718 WITH SCORE 53793.946
AT ITER 3842 NEW BEST:: SOT 332205 SOS 75899 HAS SOPS 75899 HAS SOUS 53671 HAS SOUPS 53671 WITH SCORE 53746.899
AT ITER 3851 NEW BEST:: SOT 332167 SOS 75861 HAS SOPS 75861 HAS SOUS 53671 HAS SOUPS 53671 WITH SCORE 53746.861
AT ITER 3853 NEW BEST:: SOT 332167 SOS 75861 HAS SOPS 75861 HAS SOUS 53655 HAS SOUPS 53655 WITH SCORE 53730.861
AT ITER 3859 NEW BEST:: SOT 332167 SOS 75861 HAS SOPS 75861 HAS SOUS 53642 HAS SOUPS 53642 WITH SCORE 53717.861
AT ITER 3869 NEW BEST:: SOT 332167 SOS 75817 HAS SOPS 75817 HAS SOUS 53598 HAS SOUPS 53598 WITH SCORE 53673.817
AT ITER 3870 NEW BEST:: SOT 332152 SOS 75784 HAS SOPS 75784 HAS SOUS 53568 HAS SOUPS 53568 WITH SCORE 53643.784
AT ITER 3873 NEW BEST:: SOT 332147 SOS 75763 HAS SOPS 75763 HAS SOUS 53562 HAS SOUPS 53562 WITH SCORE 53637.763
AT ITER 3879 NEW BEST:: SOT 332124 SOS 75717 HAS SOPS 75717 HAS SOUS 53539 HAS SOUPS 53539 WITH SCORE 53614.717
AT ITER 3909 NEW BEST:: SOT 332124 SOS 75701 HAS SOPS 75701 HAS SOUS 53523 HAS SOUPS 53523 WITH SCORE 53598.701
AT ITER 3916 NEW BEST:: SOT 332161 SOS 75731 HAS SOPS 75731 HAS SOUS 53519 HAS SOUPS 53519 WITH SCORE 53594.731
AT ITER 3951 NEW BEST:: SOT 332081 SOS 75711 HAS SOPS 75711 HAS SOUS 53419 HAS SOUPS 53419 WITH SCORE 53494.711
AT ITER 3952 NEW BEST:: SOT 332079 SOS 75661 HAS SOPS 75661 HAS SOUS 53371 HAS SOUPS 53371 WITH SCORE 53446.661
AT ITER 3962 NEW BEST:: SOT 331924 SOS 75351 HAS SOPS 75351 HAS SOUS 53216 HAS SOUPS 53216 WITH SCORE 53291.351
AT ITER 3966 NEW BEST:: SOT 331924 SOS 74278 HAS SOPS 74278 HAS SOUS 53141 HAS SOUPS 53141 WITH SCORE 53215.278
AT ITER 3970 NEW BEST:: SOT 331924 SOS 74278 HAS SOPS 74278 HAS SOUS 53085 HAS SOUPS 53085 WITH SCORE 53159.278
AT ITER 3982 NEW BEST:: SOT 331771 SOS 74061 HAS SOPS 74061 HAS SOUS 52868 HAS SOUPS 52868 WITH SCORE 52942.061
AT ITER 3983 NEW BEST:: SOT 331759 SOS 74049 HAS SOPS 74049 HAS SOUS 52856 HAS SOUPS 52856 WITH SCORE 52930.049
AT ITER 3997 NEW BEST:: SOT 331759 SOS 74049 HAS SOPS 74049 HAS SOUS 52818 HAS SOUPS 52818 WITH SCORE 52892.049
AT ITER 4002 NEW BEST:: SOT 331674 SOS 73879 HAS SOPS 73879 HAS SOUS 52733 HAS SOUPS 52733 WITH SCORE 52806.879
AT ITER 4006 NEW BEST:: SOT 331630 SOS 73791 HAS SOPS 73791 HAS SOUS 52689 HAS SOUPS 52689 WITH SCORE 52762.791
AT ITER 4012 NEW BEST:: SOT 331560 SOS 73732 HAS SOPS 73732 HAS SOUS 52628 HAS SOUPS 52628 WITH SCORE 52701.732
AT ITER 4013 NEW BEST:: SOT 331572 SOS 73574 HAS SOPS 73574 HAS SOUS 52593 HAS SOUPS 52593 WITH SCORE 52666.574
AT ITER 4017 NEW BEST:: SOT 331530 SOS 73494 HAS SOPS 73494 HAS SOUS 52512 HAS SOUPS 52512 WITH SCORE 52585.494
AT ITER 4027 NEW BEST:: SOT 331524 SOS 73473 HAS SOPS 73473 HAS SOUS 52500 HAS SOUPS 52500 WITH SCORE 52573.473
AT ITER 4031 NEW BEST:: SOT 331503 SOS 73426 HAS SOPS 73426 HAS SOUS 52479 HAS SOUPS 52479 WITH SCORE 52552.426
AT ITER 4034 NEW BEST:: SOT 331475 SOS 73370 HAS SOPS 73370 HAS SOUS 52451 HAS SOUPS 52451 WITH SCORE 52524.37
AT ITER 4078 NEW BEST:: SOT 331369 SOS 73158 HAS SOPS 73158 HAS SOUS 52345 HAS SOUPS 52345 WITH SCORE 52418.158
AT ITER 4080 NEW BEST:: SOT 331369 SOS 73117 HAS SOPS 73117 HAS SOUS 52304 HAS SOUPS 52304 WITH SCORE 52377.117
AT ITER 4088 NEW BEST:: SOT 331261 SOS 73009 HAS SOPS 73009 HAS SOUS 52304 HAS SOUPS 52304 WITH SCORE 52377.009
AT ITER 4089 NEW BEST:: SOT 331261 SOS 73009 HAS SOPS 73009 HAS SOUS 52284 HAS SOUPS 52284 WITH SCORE 52357.009
AT ITER 4094 NEW BEST:: SOT 331258 SOS 73006 HAS SOPS 73006 HAS SOUS 52281 HAS SOUPS 52281 WITH SCORE 52354.006
AT ITER 4096 NEW BEST:: SOT 331178 SOS 72846 HAS SOPS 72846 HAS SOUS 52201 HAS SOUPS 52201 WITH SCORE 52273.846
AT ITER 4108 NEW BEST:: SOT 331208 SOS 72770 HAS SOPS 72770 HAS SOUS 52125 HAS SOUPS 52125 WITH SCORE 52197.77
AT ITER 4135 NEW BEST:: SOT 331343 SOS 72739 HAS SOPS 72739 HAS SOUS 52101 HAS SOUPS 52101 WITH SCORE 52173.739
AT ITER 4165 NEW BEST:: SOT 331217 SOS 72722 HAS SOPS 72722 HAS SOUS 52084 HAS SOUPS 52084 WITH SCORE 52156.722
AT ITER 4200 NEW BEST:: SOT 331205 SOS 72710 HAS SOPS 72710 HAS SOUS 52084 HAS SOUPS 52084 WITH SCORE 52156.71
AT ITER 4218 NEW BEST:: SOT 331185 SOS 72436 HAS SOPS 72436 HAS SOUS 51810 HAS SOUPS 51810 WITH SCORE 51882.436
AT ITER 4238 NEW BEST:: SOT 331185 SOS 72436 HAS SOPS 72436 HAS SOUS 51769 HAS SOUPS 51769 WITH SCORE 51841.436
AT ITER 4245 NEW BEST:: SOT 331116 SOS 72144 HAS SOPS 72144 HAS SOUS 51615 HAS SOUPS 51615 WITH SCORE 51687.144
AT ITER 4246 NEW BEST:: SOT 331116 SOS 72129 HAS SOPS 72129 HAS SOUS 51600 HAS SOUPS 51600 WITH SCORE 51672.129
AT ITER 4253 NEW BEST:: SOT 331116 SOS 72129 HAS SOPS 72129 HAS SOUS 51593 HAS SOUPS 51593 WITH SCORE 51665.129
AT ITER 4265 NEW BEST:: SOT 331104 SOS 72105 HAS SOPS 72105 HAS SOUS 51569 HAS SOUPS 51569 WITH SCORE 51641.105
AT ITER 4276 NEW BEST:: SOT 331087 SOS 72088 HAS SOPS 72088 HAS SOUS 51552 HAS SOUPS 51552 WITH SCORE 51624.088
AT ITER 4277 NEW BEST:: SOT 331087 SOS 72037 HAS SOPS 72037 HAS SOUS 51501 HAS SOUPS 51501 WITH SCORE 51573.037
AT ITER 4301 NEW BEST:: SOT 331066 SOS 72016 HAS SOPS 72016 HAS SOUS 51475 HAS SOUPS 51475 WITH SCORE 51547.016
AT ITER 4317 NEW BEST:: SOT 330953 SOS 71968 HAS SOPS 71968 HAS SOUS 51443 HAS SOUPS 51443 WITH SCORE 51514.968
AT ITER 4330 NEW BEST:: SOT 330926 SOS 71927 HAS SOPS 71927 HAS SOUS 51402 HAS SOUPS 51402 WITH SCORE 51473.927
AT ITER 4390 NEW BEST:: SOT 330904 SOS 71905 HAS SOPS 71905 HAS SOUS 51391 HAS SOUPS 51391 WITH SCORE 51462.905
AT ITER 4407 NEW BEST:: SOT 330904 SOS 71872 HAS SOPS 71872 HAS SOUS 51358 HAS SOUPS 51358 WITH SCORE 51429.872
AT ITER 4455 NEW BEST:: SOT 330883 SOS 71830 HAS SOPS 71830 HAS SOUS 51329 HAS SOUPS 51329 WITH SCORE 51400.83
AT ITER 4474 NEW BEST:: SOT 330882 SOS 71828 HAS SOPS 71828 HAS SOUS 51327 HAS SOUPS 51327 WITH SCORE 51398.828
AT ITER 4480 NEW BEST:: SOT 330878 SOS 71824 HAS SOPS 71824 HAS SOUS 51323 HAS SOUPS 51323 WITH SCORE 51394.824
AT ITER 4525 NEW BEST:: SOT 330920 SOS 71800 HAS SOPS 71800 HAS SOUS 51299 HAS SOUPS 51299 WITH SCORE 51370.8
AT ITER 4548 NEW BEST:: SOT 330916 SOS 71935 HAS SOPS 71935 HAS SOUS 51295 HAS SOUPS 51295 WITH SCORE 51366.935
AT ITER 4553 NEW BEST:: SOT 330916 SOS 71903 HAS SOPS 71903 HAS SOUS 51295 HAS SOUPS 51295 WITH SCORE 51366.903
AT ITER 4559 NEW BEST:: SOT 330851 SOS 71879 HAS SOPS 71879 HAS SOUS 51271 HAS SOUPS 51271 WITH SCORE 51342.879
AT ITER 4585 NEW BEST:: SOT 330851 SOS 71879 HAS SOPS 71879 HAS SOUS 51259 HAS SOUPS 51259 WITH SCORE 51330.879
AT ITER 4595 NEW BEST:: SOT 330829 SOS 71835 HAS SOPS 71835 HAS SOUS 51236 HAS SOUPS 51236 WITH SCORE 51307.835
AT ITER 4611 NEW BEST:: SOT 330779 SOS 71785 HAS SOPS 71785 HAS SOUS 51224 HAS SOUPS 51224 WITH SCORE 51295.785
AT ITER 4622 NEW BEST:: SOT 330777 SOS 71781 HAS SOPS 71781 HAS SOUS 51222 HAS SOUPS 51222 WITH SCORE 51293.781
AT ITER 4627 NEW BEST:: SOT 330895 SOS 71705 HAS SOPS 71705 HAS SOUS 51137 HAS SOUPS 51137 WITH SCORE 51208.705
AT ITER 4648 NEW BEST:: SOT 330828 SOS 71657 HAS SOPS 71657 HAS SOUS 51104 HAS SOUPS 51104 WITH SCORE 51175.657
AT ITER 4657 NEW BEST:: SOT 330744 SOS 72271 HAS SOPS 72271 HAS SOUS 51078 HAS SOUPS 51078 WITH SCORE 51150.271
AT ITER 4660 NEW BEST:: SOT 330727 SOS 72237 HAS SOPS 72237 HAS SOUS 51044 HAS SOUPS 51044 WITH SCORE 51116.237
AT ITER 4674 NEW BEST:: SOT 330724 SOS 72231 HAS SOPS 72231 HAS SOUS 51038 HAS SOUPS 51038 WITH SCORE 51110.231
AT ITER 4684 NEW BEST:: SOT 330720 SOS 72214 HAS SOPS 72214 HAS SOUS 51021 HAS SOUPS 51021 WITH SCORE 51093.214
AT ITER 4699 NEW BEST:: SOT 330594 SOS 72084 HAS SOPS 72084 HAS SOUS 50957 HAS SOUPS 50957 WITH SCORE 51029.084
AT ITER 4716 NEW BEST:: SOT 330591 SOS 72081 HAS SOPS 72081 HAS SOUS 50955 HAS SOUPS 50955 WITH SCORE 51027.081
AT ITER 4733 NEW BEST:: SOT 330590 SOS 72062 HAS SOPS 72062 HAS SOUS 50932 HAS SOUPS 50932 WITH SCORE 51004.062
AT ITER 4745 NEW BEST:: SOT 330585 SOS 72052 HAS SOPS 72052 HAS SOUS 50922 HAS SOUPS 50922 WITH SCORE 50994.052
AT ITER 4755 NEW BEST:: SOT 330732 SOS 72126 HAS SOPS 72126 HAS SOUS 50855 HAS SOUPS 50855 WITH SCORE 50927.126
AT ITER 4780 NEW BEST:: SOT 330732 SOS 72046 HAS SOPS 72046 HAS SOUS 50775 HAS SOUPS 50775 WITH SCORE 50847.046
AT ITER 4790 NEW BEST:: SOT 330678 SOS 72046 HAS SOPS 72046 HAS SOUS 50740 HAS SOUPS 50740 WITH SCORE 50812.046
AT ITER 4791 NEW BEST:: SOT 330676 SOS 72042 HAS SOPS 72042 HAS SOUS 50736 HAS SOUPS 50736 WITH SCORE 50808.042
AT ITER 4811 NEW BEST:: SOT 330676 SOS 72033 HAS SOPS 72033 HAS SOUS 50727 HAS SOUPS 50727 WITH SCORE 50799.033
AT ITER 4843 NEW BEST:: SOT 330791 SOS 71905 HAS SOPS 71905 HAS SOUS 50665 HAS SOUPS 50665 WITH SCORE 50736.905
AT ITER 4852 NEW BEST:: SOT 330758 SOS 71839 HAS SOPS 71839 HAS SOUS 50665 HAS SOUPS 50665 WITH SCORE 50736.839
AT ITER 4872 NEW BEST:: SOT 330752 SOS 71833 HAS SOPS 71833 HAS SOUS 50665 HAS SOUPS 50665 WITH SCORE 50736.833
AT ITER 4875 NEW BEST:: SOT 330718 SOS 71799 HAS SOPS 71799 HAS SOUS 50665 HAS SOUPS 50665 WITH SCORE 50736.799
AT ITER 4879 NEW BEST:: SOT 330609 SOS 71581 HAS SOPS 71581 HAS SOUS 50556 HAS SOUPS 50556 WITH SCORE 50627.581
AT ITER 4914 NEW BEST:: SOT 330513 SOS 71483 HAS SOPS 71483 HAS SOUS 50460 HAS SOUPS 50460 WITH SCORE 50531.483
AT ITER 4927 NEW BEST:: SOT 330406 SOS 71396 HAS SOPS 71396 HAS SOUS 50458 HAS SOUPS 50458 WITH SCORE 50529.396
AT ITER 4939 NEW BEST:: SOT 330406 SOS 71234 HAS SOPS 71234 HAS SOUS 50458 HAS SOUPS 50458 WITH SCORE 50529.234
AT ITER 4997 NEW BEST:: SOT 330327 SOS 71076 HAS SOPS 71076 HAS SOUS 50379 HAS SOUPS 50379 WITH SCORE 50450.076
AT ITER 5004 NEW BEST:: SOT 330318 SOS 71058 HAS SOPS 71058 HAS SOUS 50370 HAS SOUPS 50370 WITH SCORE 50441.058
AT ITER 5008 NEW BEST:: SOT 330330 SOS 71015 HAS SOPS 71015 HAS SOUS 50349 HAS SOUPS 50349 WITH SCORE 50420.015
AT ITER 5041 NEW BEST:: SOT 330289 SOS 70988 HAS SOPS 70988 HAS SOUS 50322 HAS SOUPS 50322 WITH SCORE 50392.988
AT ITER 5044 NEW BEST:: SOT 330288 SOS 70987 HAS SOPS 70987 HAS SOUS 50321 HAS SOUPS 50321 WITH SCORE 50391.987
AT ITER 5072 NEW BEST:: SOT 330365 SOS 70984 HAS SOPS 70984 HAS SOUS 50318 HAS SOUPS 50318 WITH SCORE 50388.984
AT ITER 5091 NEW BEST:: SOT 330351 SOS 71047 HAS SOPS 71047 HAS SOUS 50311 HAS SOUPS 50311 WITH SCORE 50382.047
AT ITER 5100 NEW BEST:: SOT 330347 SOS 71041 HAS SOPS 71041 HAS SOUS 50305 HAS SOUPS 50305 WITH SCORE 50376.041
AT ITER 5107 NEW BEST:: SOT 330322 SOS 71016 HAS SOPS 71016 HAS SOUS 50280 HAS SOUPS 50280 WITH SCORE 50351.016
AT ITER 5115 NEW BEST:: SOT 330321 SOS 71014 HAS SOPS 71014 HAS SOUS 50279 HAS SOUPS 50279 WITH SCORE 50350.014
AT ITER 5121 NEW BEST:: SOT 330313 SOS 70998 HAS SOPS 70998 HAS SOUS 50271 HAS SOUPS 50271 WITH SCORE 50341.998
AT ITER 5140 NEW BEST:: SOT 330313 SOS 70991 HAS SOPS 70991 HAS SOUS 50264 HAS SOUPS 50264 WITH SCORE 50334.991
AT ITER 5146 NEW BEST:: SOT 330311 SOS 70987 HAS SOPS 70987 HAS SOUS 50260 HAS SOUPS 50260 WITH SCORE 50330.987
AT ITER 5150 NEW BEST:: SOT 330334 SOS 71010 HAS SOPS 71010 HAS SOUS 50249 HAS SOUPS 50249 WITH SCORE 50320.01
AT ITER 5158 NEW BEST:: SOT 330230 SOS 70802 HAS SOPS 70802 HAS SOUS 50228 HAS SOUPS 50228 WITH SCORE 50298.802
AT ITER 5167 NEW BEST:: SOT 330208 SOS 70780 HAS SOPS 70780 HAS SOUS 50228 HAS SOUPS 50228 WITH SCORE 50298.78
AT ITER 5170 NEW BEST:: SOT 330195 SOS 70754 HAS SOPS 70754 HAS SOUS 50202 HAS SOUPS 50202 WITH SCORE 50272.754
AT ITER 5192 NEW BEST:: SOT 330106 SOS 70271 HAS SOPS 70271 HAS SOUS 49905 HAS SOUPS 49905 WITH SCORE 49975.271
AT ITER 5201 NEW BEST:: SOT 330049 SOS 70157 HAS SOPS 70157 HAS SOUS 49827 HAS SOUPS 49827 WITH SCORE 49897.157
AT ITER 5225 NEW BEST:: SOT 330049 SOS 70157 HAS SOPS 70157 HAS SOUS 49810 HAS SOUPS 49810 WITH SCORE 49880.157
AT ITER 5236 NEW BEST:: SOT 330031 SOS 70120 HAS SOPS 70120 HAS SOUS 49792 HAS SOUPS 49792 WITH SCORE 49862.12
AT ITER 5242 NEW BEST:: SOT 330105 SOS 70268 HAS SOPS 70268 HAS SOUS 49768 HAS SOUPS 49768 WITH SCORE 49838.268
AT ITER 5262 NEW BEST:: SOT 330091 SOS 70292 HAS SOPS 70292 HAS SOUS 49754 HAS SOUPS 49754 WITH SCORE 49824.292
AT ITER 5268 NEW BEST:: SOT 330087 SOS 70292 HAS SOPS 70292 HAS SOUS 49750 HAS SOUPS 49750 WITH SCORE 49820.292
AT ITER 5312 NEW BEST:: SOT 330039 SOS 70196 HAS SOPS 70196 HAS SOUS 49677 HAS SOUPS 49677 WITH SCORE 49747.196
AT ITER 5320 NEW BEST:: SOT 329998 SOS 70101 HAS SOPS 70101 HAS SOUS 49582 HAS SOUPS 49582 WITH SCORE 49652.101
AT ITER 5328 NEW BEST:: SOT 329959 SOS 70023 HAS SOPS 70023 HAS SOUS 49543 HAS SOUPS 49543 WITH SCORE 49613.023
AT ITER 5344 NEW BEST:: SOT 329971 SOS 70035 HAS SOPS 70035 HAS SOUS 49486 HAS SOUPS 49486 WITH SCORE 49556.035
AT ITER 5345 NEW BEST:: SOT 329966 SOS 70055 HAS SOPS 70055 HAS SOUS 49481 HAS SOUPS 49481 WITH SCORE 49551.055
AT ITER 5374 NEW BEST:: SOT 329931 SOS 70020 HAS SOPS 70020 HAS SOUS 49453 HAS SOUPS 49453 WITH SCORE 49523.02
AT ITER 5392 NEW BEST:: SOT 329946 SOS 70046 HAS SOPS 70046 HAS SOUS 49423 HAS SOUPS 49423 WITH SCORE 49493.046
AT ITER 5395 NEW BEST:: SOT 329841 SOS 69836 HAS SOPS 69836 HAS SOUS 49294 HAS SOUPS 49294 WITH SCORE 49363.836
AT ITER 5415 NEW BEST:: SOT 329762 SOS 69555 HAS SOPS 69555 HAS SOUS 49208 HAS SOUPS 49208 WITH SCORE 49277.555
AT ITER 5418 NEW BEST:: SOT 329829 SOS 69622 HAS SOPS 69622 HAS SOUS 49196 HAS SOUPS 49196 WITH SCORE 49265.622
AT ITER 5426 NEW BEST:: SOT 329810 SOS 69584 HAS SOPS 69584 HAS SOUS 49196 HAS SOUPS 49196 WITH SCORE 49265.584
AT ITER 5427 NEW BEST:: SOT 329810 SOS 69527 HAS SOPS 69527 HAS SOUS 49185 HAS SOUPS 49185 WITH SCORE 49254.527
AT ITER 5438 NEW BEST:: SOT 329865 SOS 69559 HAS SOPS 69559 HAS SOUS 49178 HAS SOUPS 49178 WITH SCORE 49247.559
AT ITER 5458 NEW BEST:: SOT 329865 SOS 69559 HAS SOPS 69559 HAS SOUS 49152 HAS SOUPS 49152 WITH SCORE 49221.559
AT ITER 5503 NEW BEST:: SOT 329865 SOS 69536 HAS SOPS 69536 HAS SOUS 49149 HAS SOUPS 49149 WITH SCORE 49218.536
AT ITER 5545 NEW BEST:: SOT 329750 SOS 70062 HAS SOPS 70062 HAS SOUS 49070 HAS SOUPS 49070 WITH SCORE 49140.062
AT ITER 5549 NEW BEST:: SOT 329728 SOS 70018 HAS SOPS 70018 HAS SOUS 49026 HAS SOUPS 49026 WITH SCORE 49096.018
AT ITER 5589 NEW BEST:: SOT 329728 SOS 69976 HAS SOPS 69976 HAS SOUS 48984 HAS SOUPS 48984 WITH SCORE 49053.976
AT ITER 5648 NEW BEST:: SOT 329737 SOS 69967 HAS SOPS 69967 HAS SOUS 48984 HAS SOUPS 48984 WITH SCORE 49053.967
AT ITER 5654 NEW BEST:: SOT 329629 SOS 69859 HAS SOPS 69859 HAS SOUS 48929 HAS SOUPS 48929 WITH SCORE 48998.859
AT ITER 5657 NEW BEST:: SOT 329573 SOS 69747 HAS SOPS 69747 HAS SOUS 48920 HAS SOUPS 48920 WITH SCORE 48989.747
AT ITER 5682 NEW BEST:: SOT 329530 SOS 69685 HAS SOPS 69685 HAS SOUS 48858 HAS SOUPS 48858 WITH SCORE 48927.685
AT ITER 5723 NEW BEST:: SOT 329525 SOS 69680 HAS SOPS 69680 HAS SOUS 48853 HAS SOUPS 48853 WITH SCORE 48922.68
AT ITER 5732 NEW BEST:: SOT 329147 SOS 69302 HAS SOPS 69302 HAS SOUS 48747 HAS SOUPS 48747 WITH SCORE 48816.302
AT ITER 5762 NEW BEST:: SOT 329139 SOS 69286 HAS SOPS 69286 HAS SOUS 48739 HAS SOUPS 48739 WITH SCORE 48808.286
AT ITER 5764 NEW BEST:: SOT 329077 SOS 69224 HAS SOPS 69224 HAS SOUS 48739 HAS SOUPS 48739 WITH SCORE 48808.224
AT ITER 5809 NEW BEST:: SOT 328982 SOS 69034 HAS SOPS 69034 HAS SOUS 48644 HAS SOUPS 48644 WITH SCORE 48713.034
AT ITER 5818 NEW BEST:: SOT 328982 SOS 69010 HAS SOPS 69010 HAS SOUS 48620 HAS SOUPS 48620 WITH SCORE 48689.01
AT ITER 5819 NEW BEST:: SOT 328969 SOS 68997 HAS SOPS 68997 HAS SOUS 48607 HAS SOUPS 48607 WITH SCORE 48675.997
AT ITER 5829 NEW BEST:: SOT 328943 SOS 68902 HAS SOPS 68902 HAS SOUS 48581 HAS SOUPS 48581 WITH SCORE 48649.902
AT ITER 5832 NEW BEST:: SOT 328796 SOS 69385 HAS SOPS 69385 HAS SOUS 48561 HAS SOUPS 48561 WITH SCORE 48630.385
AT ITER 5876 NEW BEST:: SOT 328782 SOS 69377 HAS SOPS 69377 HAS SOUS 48553 HAS SOUPS 48553 WITH SCORE 48622.377
AT ITER 5877 NEW BEST:: SOT 328795 SOS 69450 HAS SOPS 69450 HAS SOUS 48546 HAS SOUPS 48546 WITH SCORE 48615.45
AT ITER 5916 NEW BEST:: SOT 328736 SOS 69380 HAS SOPS 69380 HAS SOUS 48524 HAS SOUPS 48524 WITH SCORE 48593.38
AT ITER 5934 NEW BEST:: SOT 328774 SOS 69360 HAS SOPS 69360 HAS SOUS 48504 HAS SOUPS 48504 WITH SCORE 48573.36
AT ITER 5946 NEW BEST:: SOT 328774 SOS 69360 HAS SOPS 69360 HAS SOUS 48482 HAS SOUPS 48482 WITH SCORE 48551.36
AT ITER 5957 NEW BEST:: SOT 328859 SOS 69381 HAS SOPS 69381 HAS SOUS 48450 HAS SOUPS 48450 WITH SCORE 48519.381
AT ITER 5966 NEW BEST:: SOT 328816 SOS 69348 HAS SOPS 69348 HAS SOUS 48390 HAS SOUPS 48390 WITH SCORE 48459.348
AT ITER 5995 NEW BEST:: SOT 328708 SOS 69232 HAS SOPS 69232 HAS SOUS 48328 HAS SOUPS 48328 WITH SCORE 48397.232
AT ITER 6058 NEW BEST:: SOT 328699 SOS 69223 HAS SOPS 69223 HAS SOUS 48319 HAS SOUPS 48319 WITH SCORE 48388.223
AT ITER 6079 NEW BEST:: SOT 328655 SOS 69178 HAS SOPS 69178 HAS SOUS 48317 HAS SOUPS 48317 WITH SCORE 48386.178
AT ITER 6088 NEW BEST:: SOT 328663 SOS 69186 HAS SOPS 69186 HAS SOUS 48316 HAS SOUPS 48316 WITH SCORE 48385.186
AT ITER 6100 NEW BEST:: SOT 328641 SOS 69142 HAS SOPS 69142 HAS SOUS 48272 HAS SOUPS 48272 WITH SCORE 48341.142
AT ITER 6107 NEW BEST:: SOT 328617 SOS 69094 HAS SOPS 69094 HAS SOUS 48224 HAS SOUPS 48224 WITH SCORE 48293.094
AT ITER 6135 NEW BEST:: SOT 328674 SOS 69164 HAS SOPS 69164 HAS SOUS 48189 HAS SOUPS 48189 WITH SCORE 48258.164
AT ITER 6152 NEW BEST:: SOT 328638 SOS 69308 HAS SOPS 69308 HAS SOUS 48153 HAS SOUPS 48153 WITH SCORE 48222.308
AT ITER 6156 NEW BEST:: SOT 328638 SOS 69308 HAS SOPS 69308 HAS SOUS 48151 HAS SOUPS 48151 WITH SCORE 48220.308
AT ITER 6167 NEW BEST:: SOT 328620 SOS 69272 HAS SOPS 69272 HAS SOUS 48115 HAS SOUPS 48115 WITH SCORE 48184.272
AT ITER 6188 NEW BEST:: SOT 328619 SOS 69269 HAS SOPS 69269 HAS SOUS 48112 HAS SOUPS 48112 WITH SCORE 48181.269
AT ITER 6193 NEW BEST:: SOT 328604 SOS 69248 HAS SOPS 69248 HAS SOUS 48091 HAS SOUPS 48091 WITH SCORE 48160.248
AT ITER 6228 NEW BEST:: SOT 328576 SOS 69206 HAS SOPS 69206 HAS SOUS 48063 HAS SOUPS 48063 WITH SCORE 48132.206
AT ITER 6244 NEW BEST:: SOT 328535 SOS 69124 HAS SOPS 69124 HAS SOUS 48016 HAS SOUPS 48016 WITH SCORE 48085.124
AT ITER 6260 NEW BEST:: SOT 328515 SOS 69104 HAS SOPS 69104 HAS SOUS 48000 HAS SOUPS 48000 WITH SCORE 48069.104
AT ITER 6267 NEW BEST:: SOT 328502 SOS 69078 HAS SOPS 69078 HAS SOUS 47987 HAS SOUPS 47987 WITH SCORE 48056.078
AT ITER 6279 NEW BEST:: SOT 328485 SOS 69044 HAS SOPS 69044 HAS SOUS 47953 HAS SOUPS 47953 WITH SCORE 48022.044
AT ITER 6318 NEW BEST:: SOT 328463 SOS 69000 HAS SOPS 69000 HAS SOUS 47915 HAS SOUPS 47915 WITH SCORE 47984.0
AT ITER 6320 NEW BEST:: SOT 328463 SOS 68979 HAS SOPS 68979 HAS SOUS 47915 HAS SOUPS 47915 WITH SCORE 47983.979
AT ITER 6338 NEW BEST:: SOT 328417 SOS 68887 HAS SOPS 68887 HAS SOUS 47868 HAS SOUPS 47868 WITH SCORE 47936.887
AT ITER 6347 NEW BEST:: SOT 328456 SOS 68905 HAS SOPS 68905 HAS SOUS 47863 HAS SOUPS 47863 WITH SCORE 47931.905
AT ITER 6351 NEW BEST:: SOT 328446 SOS 68908 HAS SOPS 68908 HAS SOUS 47826 HAS SOUPS 47826 WITH SCORE 47894.908
AT ITER 6356 NEW BEST:: SOT 328445 SOS 68906 HAS SOPS 68906 HAS SOUS 47824 HAS SOUPS 47824 WITH SCORE 47892.906
AT ITER 6362 NEW BEST:: SOT 328280 SOS 69864 HAS SOPS 69864 HAS SOUS 47793 HAS SOUPS 47793 WITH SCORE 47862.864
AT ITER 6395 NEW BEST:: SOT 328266 SOS 69844 HAS SOPS 69844 HAS SOUS 47773 HAS SOUPS 47773 WITH SCORE 47842.844
AT ITER 6417 NEW BEST:: SOT 328266 SOS 69844 HAS SOPS 69844 HAS SOUS 47753 HAS SOUPS 47753 WITH SCORE 47822.844
AT ITER 6421 NEW BEST:: SOT 328103 SOS 69491 HAS SOPS 69491 HAS SOUS 47510 HAS SOUPS 47510 WITH SCORE 47579.491
AT ITER 6449 NEW BEST:: SOT 328079 SOS 69476 HAS SOPS 69476 HAS SOUS 47490 HAS SOUPS 47490 WITH SCORE 47559.476
AT ITER 6458 NEW BEST:: SOT 328068 SOS 69433 HAS SOPS 69433 HAS SOUS 47479 HAS SOUPS 47479 WITH SCORE 47548.433
AT ITER 6475 NEW BEST:: SOT 328035 SOS 69433 HAS SOPS 69433 HAS SOUS 47475 HAS SOUPS 47475 WITH SCORE 47544.433
AT ITER 6499 NEW BEST:: SOT 328031 SOS 69429 HAS SOPS 69429 HAS SOUS 47471 HAS SOUPS 47471 WITH SCORE 47540.429
AT ITER 6516 NEW BEST:: SOT 327991 SOS 69349 HAS SOPS 69349 HAS SOUS 47448 HAS SOUPS 47448 WITH SCORE 47517.349
AT ITER 6539 NEW BEST:: SOT 327967 SOS 69301 HAS SOPS 69301 HAS SOUS 47423 HAS SOUPS 47423 WITH SCORE 47492.301
AT ITER 6540 NEW BEST:: SOT 327815 SOS 69101 HAS SOPS 69101 HAS SOUS 47400 HAS SOUPS 47400 WITH SCORE 47469.101
AT ITER 6541 NEW BEST:: SOT 327895 SOS 69075 HAS SOPS 69075 HAS SOUS 47374 HAS SOUPS 47374 WITH SCORE 47443.075
AT ITER 6542 NEW BEST:: SOT 327895 SOS 68973 HAS SOPS 68973 HAS SOUS 47346 HAS SOUPS 47346 WITH SCORE 47414.973
AT ITER 6568 NEW BEST:: SOT 327892 SOS 68970 HAS SOPS 68970 HAS SOUS 47343 HAS SOUPS 47343 WITH SCORE 47411.97
AT ITER 6587 NEW BEST:: SOT 327855 SOS 68896 HAS SOPS 68896 HAS SOUS 47303 HAS SOUPS 47303 WITH SCORE 47371.896
AT ITER 6588 NEW BEST:: SOT 327838 SOS 68891 HAS SOPS 68891 HAS SOUS 47241 HAS SOUPS 47241 WITH SCORE 47309.891
AT ITER 6623 NEW BEST:: SOT 327838 SOS 68889 HAS SOPS 68889 HAS SOUS 47241 HAS SOUPS 47241 WITH SCORE 47309.889
AT ITER 6665 NEW BEST:: SOT 327838 SOS 68888 HAS SOPS 68888 HAS SOUS 47241 HAS SOUPS 47241 WITH SCORE 47309.888
AT ITER 6669 NEW BEST:: SOT 327828 SOS 68883 HAS SOPS 68883 HAS SOUS 47236 HAS SOUPS 47236 WITH SCORE 47304.883
AT ITER 6673 NEW BEST:: SOT 327796 SOS 68804 HAS SOPS 68804 HAS SOUS 47172 HAS SOUPS 47172 WITH SCORE 47240.804
AT ITER 6700 NEW BEST:: SOT 327724 SOS 68672 HAS SOPS 68672 HAS SOUS 47160 HAS SOUPS 47160 WITH SCORE 47228.672
AT ITER 6708 NEW BEST:: SOT 327811 SOS 68759 HAS SOPS 68759 HAS SOUS 47147 HAS SOUPS 47147 WITH SCORE 47215.759
AT ITER 6740 NEW BEST:: SOT 327802 SOS 68750 HAS SOPS 68750 HAS SOUS 47138 HAS SOUPS 47138 WITH SCORE 47206.75
AT ITER 6751 NEW BEST:: SOT 327802 SOS 68708 HAS SOPS 68708 HAS SOUS 47096 HAS SOUPS 47096 WITH SCORE 47164.708
AT ITER 6771 NEW BEST:: SOT 327802 SOS 68704 HAS SOPS 68704 HAS SOUS 47092 HAS SOUPS 47092 WITH SCORE 47160.704
AT ITER 6772 NEW BEST:: SOT 327843 SOS 68704 HAS SOPS 68704 HAS SOUS 47088 HAS SOUPS 47088 WITH SCORE 47156.704
AT ITER 6794 NEW BEST:: SOT 327683 SOS 68537 HAS SOPS 68537 HAS SOUS 47044 HAS SOUPS 47044 WITH SCORE 47112.537
AT ITER 6799 NEW BEST:: SOT 327694 SOS 68258 HAS SOPS 68258 HAS SOUS 46999 HAS SOUPS 46999 WITH SCORE 47067.258
AT ITER 6840 NEW BEST:: SOT 327648 SOS 68474 HAS SOPS 68474 HAS SOUS 46990 HAS SOUPS 46990 WITH SCORE 47058.474
AT ITER 6874 NEW BEST:: SOT 327664 SOS 68465 HAS SOPS 68465 HAS SOUS 46976 HAS SOUPS 46976 WITH SCORE 47044.465
AT ITER 6878 NEW BEST:: SOT 327689 SOS 68490 HAS SOPS 68490 HAS SOUS 46970 HAS SOUPS 46970 WITH SCORE 47038.49
AT ITER 6884 NEW BEST:: SOT 327638 SOS 68439 HAS SOPS 68439 HAS SOUS 46919 HAS SOUPS 46919 WITH SCORE 46987.439
AT ITER 6892 NEW BEST:: SOT 327647 SOS 68424 HAS SOPS 68424 HAS SOUS 46904 HAS SOUPS 46904 WITH SCORE 46972.424
AT ITER 6919 NEW BEST:: SOT 327645 SOS 68420 HAS SOPS 68420 HAS SOUS 46900 HAS SOUPS 46900 WITH SCORE 46968.42
AT ITER 6920 NEW BEST:: SOT 327711 SOS 68424 HAS SOPS 68424 HAS SOUS 46809 HAS SOUPS 46809 WITH SCORE 46877.424
AT ITER 6945 NEW BEST:: SOT 327711 SOS 68412 HAS SOPS 68412 HAS SOUS 46797 HAS SOUPS 46797 WITH SCORE 46865.412
AT ITER 6947 NEW BEST:: SOT 327632 SOS 68162 HAS SOPS 68162 HAS SOUS 46732 HAS SOUPS 46732 WITH SCORE 46800.162
AT ITER 6954 NEW BEST:: SOT 327602 SOS 68117 HAS SOPS 68117 HAS SOUS 46717 HAS SOUPS 46717 WITH SCORE 46785.117
AT ITER 6955 NEW BEST:: SOT 327600 SOS 68113 HAS SOPS 68113 HAS SOUS 46713 HAS SOUPS 46713 WITH SCORE 46781.113
AT ITER 6967 NEW BEST:: SOT 327523 SOS 68036 HAS SOPS 68036 HAS SOUS 46685 HAS SOUPS 46685 WITH SCORE 46753.036
AT ITER 6978 NEW BEST:: SOT 327499 SOS 67988 HAS SOPS 67988 HAS SOUS 46637 HAS SOUPS 46637 WITH SCORE 46704.988
AT ITER 7010 NEW BEST:: SOT 327458 SOS 67903 HAS SOPS 67903 HAS SOUS 46552 HAS SOUPS 46552 WITH SCORE 46619.903
AT ITER 7011 NEW BEST:: SOT 327458 SOS 67903 HAS SOPS 67903 HAS SOUS 46550 HAS SOUPS 46550 WITH SCORE 46617.903
AT ITER 7037 NEW BEST:: SOT 327458 SOS 67896 HAS SOPS 67896 HAS SOUS 46550 HAS SOUPS 46550 WITH SCORE 46617.896
AT ITER 7050 NEW BEST:: SOT 327425 SOS 67830 HAS SOPS 67830 HAS SOUS 46484 HAS SOUPS 46484 WITH SCORE 46551.83
AT ITER 7055 NEW BEST:: SOT 327419 SOS 67818 HAS SOPS 67818 HAS SOUS 46472 HAS SOUPS 46472 WITH SCORE 46539.818
AT ITER 7076 NEW BEST:: SOT 327419 SOS 67816 HAS SOPS 67816 HAS SOUS 46470 HAS SOUPS 46470 WITH SCORE 46537.816
AT ITER 7077 NEW BEST:: SOT 327429 SOS 67680 HAS SOPS 67680 HAS SOUS 46436 HAS SOUPS 46436 WITH SCORE 46503.68
AT ITER 7081 NEW BEST:: SOT 327435 SOS 67696 HAS SOPS 67696 HAS SOUS 46432 HAS SOUPS 46432 WITH SCORE 46499.696
AT ITER 7097 NEW BEST:: SOT 327435 SOS 67651 HAS SOPS 67651 HAS SOUS 46432 HAS SOUPS 46432 WITH SCORE 46499.651
AT ITER 7110 NEW BEST:: SOT 327421 SOS 67556 HAS SOPS 67556 HAS SOUS 46337 HAS SOUPS 46337 WITH SCORE 46404.556
AT ITER 7130 NEW BEST:: SOT 327348 SOS 67410 HAS SOPS 67410 HAS SOUS 46191 HAS SOUPS 46191 WITH SCORE 46258.41
AT ITER 7172 NEW BEST:: SOT 327387 SOS 67340 HAS SOPS 67340 HAS SOUS 46121 HAS SOUPS 46121 WITH SCORE 46188.34
AT ITER 7232 NEW BEST:: SOT 327387 SOS 67296 HAS SOPS 67296 HAS SOUS 46121 HAS SOUPS 46121 WITH SCORE 46188.296
AT ITER 7234 NEW BEST:: SOT 327387 SOS 67296 HAS SOPS 67296 HAS SOUS 46055 HAS SOUPS 46055 WITH SCORE 46122.296
AT ITER 7249 NEW BEST:: SOT 327308 SOS 67738 HAS SOPS 67738 HAS SOUS 46026 HAS SOUPS 46026 WITH SCORE 46093.738
AT ITER 7270 NEW BEST:: SOT 327306 SOS 67734 HAS SOPS 67734 HAS SOUS 46024 HAS SOUPS 46024 WITH SCORE 46091.734
AT ITER 7294 NEW BEST:: SOT 327299 SOS 67708 HAS SOPS 67708 HAS SOUS 46010 HAS SOUPS 46010 WITH SCORE 46077.708
AT ITER 7330 NEW BEST:: SOT 327282 SOS 67691 HAS SOPS 67691 HAS SOUS 46002 HAS SOUPS 46002 WITH SCORE 46069.691
AT ITER 7350 NEW BEST:: SOT 327240 SOS 67651 HAS SOPS 67651 HAS SOUS 45962 HAS SOUPS 45962 WITH SCORE 46029.651
AT ITER 7361 NEW BEST:: SOT 327207 SOS 67945 HAS SOPS 67945 HAS SOUS 45956 HAS SOUPS 45956 WITH SCORE 46023.945
AT ITER 7395 NEW BEST:: SOT 327207 SOS 67848 HAS SOPS 67848 HAS SOUS 45918 HAS SOUPS 45918 WITH SCORE 45985.848
AT ITER 7403 NEW BEST:: SOT 327195 SOS 67836 HAS SOPS 67836 HAS SOUS 45912 HAS SOUPS 45912 WITH SCORE 45979.836
AT ITER 7431 NEW BEST:: SOT 327189 SOS 67824 HAS SOPS 67824 HAS SOUS 45900 HAS SOUPS 45900 WITH SCORE 45967.824
AT ITER 7452 NEW BEST:: SOT 327094 SOS 67729 HAS SOPS 67729 HAS SOUS 45841 HAS SOUPS 45841 WITH SCORE 45908.729
AT ITER 7472 NEW BEST:: SOT 327094 SOS 67729 HAS SOPS 67729 HAS SOUS 45784 HAS SOUPS 45784 WITH SCORE 45851.729
AT ITER 7478 NEW BEST:: SOT 327133 SOS 67635 HAS SOPS 67635 HAS SOUS 45690 HAS SOUPS 45690 WITH SCORE 45757.635
AT ITER 7521 NEW BEST:: SOT 327191 SOS 67060 HAS SOPS 67060 HAS SOUS 45683 HAS SOUPS 45683 WITH SCORE 45750.06
AT ITER 7560 NEW BEST:: SOT 327173 SOS 67052 HAS SOPS 67052 HAS SOUS 45668 HAS SOUPS 45668 WITH SCORE 45735.052
AT ITER 7606 NEW BEST:: SOT 327147 SOS 66947 HAS SOPS 66947 HAS SOUS 45589 HAS SOUPS 45589 WITH SCORE 45655.947
AT ITER 7615 NEW BEST:: SOT 327146 SOS 66945 HAS SOPS 66945 HAS SOUS 45581 HAS SOUPS 45581 WITH SCORE 45647.945
AT ITER 7640 NEW BEST:: SOT 327130 SOS 66913 HAS SOPS 66913 HAS SOUS 45549 HAS SOUPS 45549 WITH SCORE 45615.913
AT ITER 7660 NEW BEST:: SOT 327123 SOS 66899 HAS SOPS 66899 HAS SOUS 45542 HAS SOUPS 45542 WITH SCORE 45608.899
AT ITER 7723 NEW BEST:: SOT 327035 SOS 66723 HAS SOPS 66723 HAS SOUS 45415 HAS SOUPS 45415 WITH SCORE 45481.723
AT ITER 7727 NEW BEST:: SOT 327026 SOS 66714 HAS SOPS 66714 HAS SOUS 45415 HAS SOUPS 45415 WITH SCORE 45481.714
AT ITER 7763 NEW BEST:: SOT 327019 SOS 66700 HAS SOPS 66700 HAS SOUS 45401 HAS SOUPS 45401 WITH SCORE 45467.7
AT ITER 7777 NEW BEST:: SOT 326981 SOS 66624 HAS SOPS 66624 HAS SOUS 45363 HAS SOUPS 45363 WITH SCORE 45429.624
AT ITER 7843 NEW BEST:: SOT 326928 SOS 66518 HAS SOPS 66518 HAS SOUS 45330 HAS SOUPS 45330 WITH SCORE 45396.518
AT ITER 7865 NEW BEST:: SOT 326885 SOS 66475 HAS SOPS 66475 HAS SOUS 45287 HAS SOUPS 45287 WITH SCORE 45353.475
AT ITER 7871 NEW BEST:: SOT 326881 SOS 66463 HAS SOPS 66463 HAS SOUS 45279 HAS SOUPS 45279 WITH SCORE 45345.463
AT ITER 7878 NEW BEST:: SOT 326823 SOS 66376 HAS SOPS 66376 HAS SOUS 45221 HAS SOUPS 45221 WITH SCORE 45287.376
AT ITER 7903 NEW BEST:: SOT 326896 SOS 66449 HAS SOPS 66449 HAS SOUS 45212 HAS SOUPS 45212 WITH SCORE 45278.449
AT ITER 7964 NEW BEST:: SOT 326894 SOS 66445 HAS SOPS 66445 HAS SOUS 45208 HAS SOUPS 45208 WITH SCORE 45274.445
AT ITER 7972 NEW BEST:: SOT 326676 SOS 66118 HAS SOPS 66118 HAS SOUS 45099 HAS SOUPS 45099 WITH SCORE 45165.118
AT ITER 7984 NEW BEST:: SOT 326657 SOS 66080 HAS SOPS 66080 HAS SOUS 45061 HAS SOUPS 45061 WITH SCORE 45127.08
AT ITER 7987 NEW BEST:: SOT 326695 SOS 65995 HAS SOPS 65995 HAS SOUS 45028 HAS SOUPS 45028 WITH SCORE 45093.995
AT ITER 8017 NEW BEST:: SOT 326695 SOS 65987 HAS SOPS 65987 HAS SOUS 45020 HAS SOUPS 45020 WITH SCORE 45085.987
AT ITER 8088 NEW BEST:: SOT 326689 SOS 65975 HAS SOPS 65975 HAS SOUS 45008 HAS SOUPS 45008 WITH SCORE 45073.975
AT ITER 8107 NEW BEST:: SOT 326639 SOS 65900 HAS SOPS 65900 HAS SOUS 44933 HAS SOUPS 44933 WITH SCORE 44998.9
AT ITER 8123 NEW BEST:: SOT 326618 SOS 65860 HAS SOPS 65860 HAS SOUS 44893 HAS SOUPS 44893 WITH SCORE 44958.86
AT ITER 8127 NEW BEST:: SOT 326732 SOS 65985 HAS SOPS 65985 HAS SOUS 44891 HAS SOUPS 44891 WITH SCORE 44956.985
AT ITER 8128 NEW BEST:: SOT 326726 SOS 65969 HAS SOPS 65969 HAS SOUS 44875 HAS SOUPS 44875 WITH SCORE 44940.969
AT ITER 8139 NEW BEST:: SOT 326725 SOS 65972 HAS SOPS 65972 HAS SOUS 44874 HAS SOUPS 44874 WITH SCORE 44939.972
AT ITER 8178 NEW BEST:: SOT 326721 SOS 65971 HAS SOPS 65971 HAS SOUS 44873 HAS SOUPS 44873 WITH SCORE 44938.971
AT ITER 8182 NEW BEST:: SOT 326699 SOS 65927 HAS SOPS 65927 HAS SOUS 44870 HAS SOUPS 44870 WITH SCORE 44935.927
AT ITER 8212 NEW BEST:: SOT 326685 SOS 65899 HAS SOPS 65899 HAS SOUS 44842 HAS SOUPS 44842 WITH SCORE 44907.899
AT ITER 8227 NEW BEST:: SOT 326681 SOS 65891 HAS SOPS 65891 HAS SOUS 44834 HAS SOUPS 44834 WITH SCORE 44899.891
AT ITER 8241 NEW BEST:: SOT 326665 SOS 65867 HAS SOPS 65867 HAS SOUS 44810 HAS SOUPS 44810 WITH SCORE 44875.867
AT ITER 8268 NEW BEST:: SOT 326665 SOS 65866 HAS SOPS 65866 HAS SOUS 44809 HAS SOUPS 44809 WITH SCORE 44874.866
AT ITER 8305 NEW BEST:: SOT 326660 SOS 65856 HAS SOPS 65856 HAS SOUS 44799 HAS SOUPS 44799 WITH SCORE 44864.856
AT ITER 8309 NEW BEST:: SOT 326701 SOS 65851 HAS SOPS 65851 HAS SOUS 44785 HAS SOUPS 44785 WITH SCORE 44850.851
AT ITER 8311 NEW BEST:: SOT 326681 SOS 65811 HAS SOPS 65811 HAS SOUS 44784 HAS SOUPS 44784 WITH SCORE 44849.811
AT ITER 8328 NEW BEST:: SOT 326655 SOS 65954 HAS SOPS 65954 HAS SOUS 44771 HAS SOUPS 44771 WITH SCORE 44836.954
AT ITER 8347 NEW BEST:: SOT 326655 SOS 65920 HAS SOPS 65920 HAS SOUS 44771 HAS SOUPS 44771 WITH SCORE 44836.92
AT ITER 8381 NEW BEST:: SOT 326639 SOS 65852 HAS SOPS 65852 HAS SOUS 44755 HAS SOUPS 44755 WITH SCORE 44820.852
AT ITER 8391 NEW BEST:: SOT 326639 SOS 65842 HAS SOPS 65842 HAS SOUS 44755 HAS SOUPS 44755 WITH SCORE 44820.842
AT ITER 8412 NEW BEST:: SOT 326639 SOS 65833 HAS SOPS 65833 HAS SOUS 44746 HAS SOUPS 44746 WITH SCORE 44811.833
AT ITER 8455 NEW BEST:: SOT 326678 SOS 65911 HAS SOPS 65911 HAS SOUS 44694 HAS SOUPS 44694 WITH SCORE 44759.911
AT ITER 8484 NEW BEST:: SOT 326678 SOS 65911 HAS SOPS 65911 HAS SOUS 44676 HAS SOUPS 44676 WITH SCORE 44741.911
AT ITER 8561 NEW BEST:: SOT 326677 SOS 65910 HAS SOPS 65910 HAS SOUS 44674 HAS SOUPS 44674 WITH SCORE 44739.91
AT ITER 8619 NEW BEST:: SOT 326667 SOS 65900 HAS SOPS 65900 HAS SOUS 44670 HAS SOUPS 44670 WITH SCORE 44735.9
AT ITER 8620 NEW BEST:: SOT 326666 SOS 65898 HAS SOPS 65898 HAS SOUS 44668 HAS SOUPS 44668 WITH SCORE 44733.898
AT ITER 8638 NEW BEST:: SOT 326481 SOS 65816 HAS SOPS 65816 HAS SOUS 44627 HAS SOUPS 44627 WITH SCORE 44692.816
AT ITER 8652 NEW BEST:: SOT 326410 SOS 65733 HAS SOPS 65733 HAS SOUS 44556 HAS SOUPS 44556 WITH SCORE 44621.733
AT ITER 8696 NEW BEST:: SOT 326390 SOS 65693 HAS SOPS 65693 HAS SOUS 44556 HAS SOUPS 44556 WITH SCORE 44621.693
AT ITER 8751 NEW BEST:: SOT 326389 SOS 65691 HAS SOPS 65691 HAS SOUS 44554 HAS SOUPS 44554 WITH SCORE 44619.691
AT ITER 8775 NEW BEST:: SOT 326384 SOS 65686 HAS SOPS 65686 HAS SOUS 44549 HAS SOUPS 44549 WITH SCORE 44614.686
AT ITER 8782 NEW BEST:: SOT 326384 SOS 65680 HAS SOPS 65680 HAS SOUS 44543 HAS SOUPS 44543 WITH SCORE 44608.68
AT ITER 8810 NEW BEST:: SOT 326384 SOS 65654 HAS SOPS 65654 HAS SOUS 44491 HAS SOUPS 44491 WITH SCORE 44556.654
AT ITER 8847 NEW BEST:: SOT 326355 SOS 65596 HAS SOPS 65596 HAS SOUS 44443 HAS SOUPS 44443 WITH SCORE 44508.596
AT ITER 8852 NEW BEST:: SOT 326337 SOS 65560 HAS SOPS 65560 HAS SOUS 44420 HAS SOUPS 44420 WITH SCORE 44485.56
AT ITER 8875 NEW BEST:: SOT 326264 SOS 65414 HAS SOPS 65414 HAS SOUS 44347 HAS SOUPS 44347 WITH SCORE 44412.414
AT ITER 8895 NEW BEST:: SOT 326264 SOS 65408 HAS SOPS 65408 HAS SOUS 44341 HAS SOUPS 44341 WITH SCORE 44406.408
AT ITER 8921 NEW BEST:: SOT 326204 SOS 65348 HAS SOPS 65348 HAS SOUS 44341 HAS SOUPS 44341 WITH SCORE 44406.348
AT ITER 8924 NEW BEST:: SOT 326215 SOS 65320 HAS SOPS 65320 HAS SOUS 44310 HAS SOUPS 44310 WITH SCORE 44375.32
AT ITER 8935 NEW BEST:: SOT 326198 SOS 65303 HAS SOPS 65303 HAS SOUS 44310 HAS SOUPS 44310 WITH SCORE 44375.303
AT ITER 8944 NEW BEST:: SOT 326196 SOS 65299 HAS SOPS 65299 HAS SOUS 44308 HAS SOUPS 44308 WITH SCORE 44373.299
AT ITER 8948 NEW BEST:: SOT 326196 SOS 65276 HAS SOPS 65276 HAS SOUS 44285 HAS SOUPS 44285 WITH SCORE 44350.276
AT ITER 8954 NEW BEST:: SOT 326144 SOS 65224 HAS SOPS 65224 HAS SOUS 44194 HAS SOUPS 44194 WITH SCORE 44259.224
AT ITER 9049 NEW BEST:: SOT 326144 SOS 65080 HAS SOPS 65080 HAS SOUS 44186 HAS SOUPS 44186 WITH SCORE 44251.08
AT ITER 9051 NEW BEST:: SOT 326125 SOS 65080 HAS SOPS 65080 HAS SOUS 44167 HAS SOUPS 44167 WITH SCORE 44232.08
AT ITER 9103 NEW BEST:: SOT 326108 SOS 65046 HAS SOPS 65046 HAS SOUS 44150 HAS SOUPS 44150 WITH SCORE 44215.046
AT ITER 9118 NEW BEST:: SOT 326097 SOS 65036 HAS SOPS 65036 HAS SOUS 44144 HAS SOUPS 44144 WITH SCORE 44209.036
AT ITER 9126 NEW BEST:: SOT 326034 SOS 64910 HAS SOPS 64910 HAS SOUS 44029 HAS SOUPS 44029 WITH SCORE 44093.91
AT ITER 9143 NEW BEST:: SOT 326004 SOS 64850 HAS SOPS 64850 HAS SOUS 43965 HAS SOUPS 43965 WITH SCORE 44029.85
AT ITER 9157 NEW BEST:: SOT 325999 SOS 64905 HAS SOPS 64905 HAS SOUS 43960 HAS SOUPS 43960 WITH SCORE 44024.905
AT ITER 9159 NEW BEST:: SOT 325987 SOS 64881 HAS SOPS 64881 HAS SOUS 43936 HAS SOUPS 43936 WITH SCORE 44000.881
AT ITER 9176 NEW BEST:: SOT 325965 SOS 64803 HAS SOPS 64803 HAS SOUS 43929 HAS SOUPS 43929 WITH SCORE 43993.803
AT ITER 9180 NEW BEST:: SOT 325868 SOS 64780 HAS SOPS 64780 HAS SOUS 43847 HAS SOUPS 43847 WITH SCORE 43911.78
AT ITER 9240 NEW BEST:: SOT 325885 SOS 64709 HAS SOPS 64709 HAS SOUS 43840 HAS SOUPS 43840 WITH SCORE 43904.709
AT ITER 9277 NEW BEST:: SOT 325929 SOS 64753 HAS SOPS 64753 HAS SOUS 43836 HAS SOUPS 43836 WITH SCORE 43900.753
AT ITER 9313 NEW BEST:: SOT 325929 SOS 64753 HAS SOPS 64753 HAS SOUS 43832 HAS SOUPS 43832 WITH SCORE 43896.753
AT ITER 9352 NEW BEST:: SOT 325929 SOS 64675 HAS SOPS 64675 HAS SOUS 43754 HAS SOUPS 43754 WITH SCORE 43818.675
AT ITER 9395 NEW BEST:: SOT 325899 SOS 64624 HAS SOPS 64624 HAS SOUS 43723 HAS SOUPS 43723 WITH SCORE 43787.624
AT ITER 9449 NEW BEST:: SOT 325796 SOS 64488 HAS SOPS 64488 HAS SOUS 43645 HAS SOUPS 43645 WITH SCORE 43709.488
AT ITER 9450 NEW BEST:: SOT 325684 SOS 64435 HAS SOPS 64435 HAS SOUS 43593 HAS SOUPS 43593 WITH SCORE 43657.435
AT ITER 9457 NEW BEST:: SOT 325673 SOS 64428 HAS SOPS 64428 HAS SOUS 43586 HAS SOUPS 43586 WITH SCORE 43650.428
AT ITER 9480 NEW BEST:: SOT 325575 SOS 64345 HAS SOPS 64345 HAS SOUS 43567 HAS SOUPS 43567 WITH SCORE 43631.345
AT ITER 9485 NEW BEST:: SOT 325575 SOS 64341 HAS SOPS 64341 HAS SOUS 43563 HAS SOUPS 43563 WITH SCORE 43627.341
AT ITER 9501 NEW BEST:: SOT 325583 SOS 64357 HAS SOPS 64357 HAS SOUS 43525 HAS SOUPS 43525 WITH SCORE 43589.357
AT ITER 9555 NEW BEST:: SOT 325583 SOS 64357 HAS SOPS 64357 HAS SOUS 43503 HAS SOUPS 43503 WITH SCORE 43567.357
AT ITER 9614 NEW BEST:: SOT 325528 SOS 64351 HAS SOPS 64351 HAS SOUS 43497 HAS SOUPS 43497 WITH SCORE 43561.351
AT ITER 9672 NEW BEST:: SOT 325491 SOS 64322 HAS SOPS 64322 HAS SOUS 43468 HAS SOUPS 43468 WITH SCORE 43532.322
AT ITER 9688 NEW BEST:: SOT 325436 SOS 64241 HAS SOPS 64241 HAS SOUS 43439 HAS SOUPS 43439 WITH SCORE 43503.241
AT ITER 9691 NEW BEST:: SOT 325433 SOS 64238 HAS SOPS 64238 HAS SOUS 43439 HAS SOUPS 43439 WITH SCORE 43503.238
AT ITER 9694 NEW BEST:: SOT 325464 SOS 64219 HAS SOPS 64219 HAS SOUS 43422 HAS SOUPS 43422 WITH SCORE 43486.219
AT ITER 9705 NEW BEST:: SOT 325464 SOS 64218 HAS SOPS 64218 HAS SOUS 43421 HAS SOUPS 43421 WITH SCORE 43485.218
AT ITER 9778 NEW BEST:: SOT 325464 SOS 64207 HAS SOPS 64207 HAS SOUS 43421 HAS SOUPS 43421 WITH SCORE 43485.207
AT ITER 9782 NEW BEST:: SOT 325456 SOS 64199 HAS SOPS 64199 HAS SOUS 43413 HAS SOUPS 43413 WITH SCORE 43477.199
AT ITER 9804 NEW BEST:: SOT 325414 SOS 64187 HAS SOPS 64187 HAS SOUS 43369 HAS SOUPS 43369 WITH SCORE 43433.187
AT ITER 9868 NEW BEST:: SOT 325343 SOS 65440 HAS SOPS 65440 HAS SOUS 43353 HAS SOUPS 43353 WITH SCORE 43418.44
AT ITER 9869 NEW BEST:: SOT 325323 SOS 65476 HAS SOPS 65476 HAS SOUS 43352 HAS SOUPS 43352 WITH SCORE 43417.476
AT ITER 9883 NEW BEST:: SOT 325247 SOS 65428 HAS SOPS 65428 HAS SOUS 43350 HAS SOUPS 43350 WITH SCORE 43415.428
AT ITER 9896 NEW BEST:: SOT 325247 SOS 65428 HAS SOPS 65428 HAS SOUS 43343 HAS SOUPS 43343 WITH SCORE 43408.428
AT ITER 9970 NEW BEST:: SOT 325209 SOS 65352 HAS SOPS 65352 HAS SOUS 43320 HAS SOUPS 43320 WITH SCORE 43385.352
AT ITER 9997 NEW BEST:: SOT 325301 SOS 65448 HAS SOPS 65448 HAS SOUS 43318 HAS SOUPS 43318 WITH SCORE 43383.448
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6018668 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151696 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="SmartHome-PT-19"
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 SmartHome-PT-19, 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 r451-smll-167912643300304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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