Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508000017.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-01b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000017
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 293K Mar 24 05:37 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 1588986073958

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 01b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 846 places, 1148 transitions, 3624 arcs.
AT ITER 0 NEW BEST:: SOT 592042 SOS 207952 HAS SOPS 207952 HAS SOUS 160350 HAS SOUPS 160350 WITH SCORE 160557.952
AT ITER 5 NEW BEST:: SOT 592022 SOS 207932 HAS SOPS 207932 HAS SOUS 160330 HAS SOUPS 160330 WITH SCORE 160537.932
AT ITER 13 NEW BEST:: SOT 591413 SOS 207704 HAS SOPS 207704 HAS SOUS 159754 HAS SOUPS 159754 WITH SCORE 159961.704
AT ITER 18 NEW BEST:: SOT 590447 SOS 206899 HAS SOPS 206899 HAS SOUS 158949 HAS SOUPS 158949 WITH SCORE 159155.899
AT ITER 20 NEW BEST:: SOT 590446 SOS 206897 HAS SOPS 206897 HAS SOUS 158947 HAS SOUPS 158947 WITH SCORE 159153.897
AT ITER 21 NEW BEST:: SOT 590278 SOS 206729 HAS SOPS 206729 HAS SOUS 158779 HAS SOUPS 158779 WITH SCORE 158985.729
AT ITER 29 NEW BEST:: SOT 590245 SOS 206630 HAS SOPS 206630 HAS SOUS 158713 HAS SOUPS 158713 WITH SCORE 158919.63
AT ITER 41 NEW BEST:: SOT 590066 SOS 206440 HAS SOPS 206440 HAS SOUS 158523 HAS SOUPS 158523 WITH SCORE 158729.44
AT ITER 49 NEW BEST:: SOT 590034 SOS 206408 HAS SOPS 206408 HAS SOUS 158491 HAS SOUPS 158491 WITH SCORE 158697.408
AT ITER 54 NEW BEST:: SOT 589909 SOS 206201 HAS SOPS 206201 HAS SOUS 158351 HAS SOUPS 158351 WITH SCORE 158557.201
AT ITER 81 NEW BEST:: SOT 589684 SOS 206129 HAS SOPS 206129 HAS SOUS 158214 HAS SOUPS 158214 WITH SCORE 158420.129
AT ITER 92 NEW BEST:: SOT 589614 SOS 206057 HAS SOPS 206057 HAS SOUS 158143 HAS SOUPS 158143 WITH SCORE 158349.057
AT ITER 106 NEW BEST:: SOT 589614 SOS 206057 HAS SOPS 206057 HAS SOUS 158133 HAS SOUPS 158133 WITH SCORE 158339.057
AT ITER 107 NEW BEST:: SOT 589586 SOS 205979 HAS SOPS 205979 HAS SOUS 158083 HAS SOUPS 158083 WITH SCORE 158288.979
AT ITER 110 NEW BEST:: SOT 589519 SOS 205791 HAS SOPS 205791 HAS SOUS 158053 HAS SOUPS 158053 WITH SCORE 158258.791
AT ITER 115 NEW BEST:: SOT 589448 SOS 205520 HAS SOPS 205520 HAS SOUS 157765 HAS SOUPS 157765 WITH SCORE 157970.52
AT ITER 116 NEW BEST:: SOT 589285 SOS 205259 HAS SOPS 205259 HAS SOUS 157538 HAS SOUPS 157538 WITH SCORE 157743.259
AT ITER 134 NEW BEST:: SOT 588168 SOS 204538 HAS SOPS 204538 HAS SOUS 156353 HAS SOUPS 156353 WITH SCORE 156557.538
AT ITER 139 NEW BEST:: SOT 588183 SOS 204520 HAS SOPS 204520 HAS SOUS 156335 HAS SOUPS 156335 WITH SCORE 156539.52
AT ITER 152 NEW BEST:: SOT 588115 SOS 204300 HAS SOPS 204300 HAS SOUS 156087 HAS SOUPS 156087 WITH SCORE 156291.3
AT ITER 155 NEW BEST:: SOT 588060 SOS 204175 HAS SOPS 204175 HAS SOUS 156022 HAS SOUPS 156022 WITH SCORE 156226.175
AT ITER 158 NEW BEST:: SOT 587960 SOS 204075 HAS SOPS 204075 HAS SOUS 155921 HAS SOUPS 155921 WITH SCORE 156125.075
AT ITER 165 NEW BEST:: SOT 587899 SOS 203953 HAS SOPS 203953 HAS SOUS 155859 HAS SOUPS 155859 WITH SCORE 156062.953
AT ITER 167 NEW BEST:: SOT 587882 SOS 203957 HAS SOPS 203957 HAS SOUS 155825 HAS SOUPS 155825 WITH SCORE 156028.957
AT ITER 196 NEW BEST:: SOT 587882 SOS 203917 HAS SOPS 203917 HAS SOUS 155818 HAS SOUPS 155818 WITH SCORE 156021.917
AT ITER 198 NEW BEST:: SOT 586390 SOS 204266 HAS SOPS 204266 HAS SOUS 154829 HAS SOUPS 154829 WITH SCORE 155033.266
AT ITER 211 NEW BEST:: SOT 586139 SOS 204243 HAS SOPS 204243 HAS SOUS 154659 HAS SOUPS 154659 WITH SCORE 154863.243
AT ITER 234 NEW BEST:: SOT 586138 SOS 204241 HAS SOPS 204241 HAS SOUS 154657 HAS SOUPS 154657 WITH SCORE 154861.241
AT ITER 240 NEW BEST:: SOT 586134 SOS 204237 HAS SOPS 204237 HAS SOUS 154653 HAS SOUPS 154653 WITH SCORE 154857.237
AT ITER 249 NEW BEST:: SOT 586134 SOS 204222 HAS SOPS 204222 HAS SOUS 154638 HAS SOUPS 154638 WITH SCORE 154842.222
AT ITER 257 NEW BEST:: SOT 586034 SOS 204064 HAS SOPS 204064 HAS SOUS 154452 HAS SOUPS 154452 WITH SCORE 154656.064
AT ITER 260 NEW BEST:: SOT 585993 SOS 203974 HAS SOPS 203974 HAS SOUS 154402 HAS SOUPS 154402 WITH SCORE 154605.974
AT ITER 265 NEW BEST:: SOT 585918 SOS 203824 HAS SOPS 203824 HAS SOUS 154252 HAS SOUPS 154252 WITH SCORE 154455.824
AT ITER 268 NEW BEST:: SOT 585918 SOS 203816 HAS SOPS 203816 HAS SOUS 154244 HAS SOUPS 154244 WITH SCORE 154447.816
AT ITER 286 NEW BEST:: SOT 585482 SOS 203563 HAS SOPS 203563 HAS SOUS 153951 HAS SOUPS 153951 WITH SCORE 154154.563
AT ITER 296 NEW BEST:: SOT 585430 SOS 203511 HAS SOPS 203511 HAS SOUS 153898 HAS SOUPS 153898 WITH SCORE 154101.511
AT ITER 297 NEW BEST:: SOT 585430 SOS 203511 HAS SOPS 203511 HAS SOUS 153822 HAS SOUPS 153822 WITH SCORE 154025.511
AT ITER 306 NEW BEST:: SOT 585391 SOS 203640 HAS SOPS 203640 HAS SOUS 153705 HAS SOUPS 153705 WITH SCORE 153908.64
AT ITER 308 NEW BEST:: SOT 585340 SOS 203589 HAS SOPS 203589 HAS SOUS 153654 HAS SOUPS 153654 WITH SCORE 153857.589
AT ITER 325 NEW BEST:: SOT 585182 SOS 203318 HAS SOPS 203318 HAS SOUS 153367 HAS SOUPS 153367 WITH SCORE 153570.318
AT ITER 332 NEW BEST:: SOT 584078 SOS 202167 HAS SOPS 202167 HAS SOUS 152432 HAS SOUPS 152432 WITH SCORE 152634.167
AT ITER 336 NEW BEST:: SOT 583983 SOS 203311 HAS SOPS 203311 HAS SOUS 152225 HAS SOUPS 152225 WITH SCORE 152428.311
AT ITER 352 NEW BEST:: SOT 583980 SOS 203349 HAS SOPS 203349 HAS SOUS 152222 HAS SOUPS 152222 WITH SCORE 152425.349
AT ITER 355 NEW BEST:: SOT 583518 SOS 203115 HAS SOPS 203115 HAS SOUS 151898 HAS SOUPS 151898 WITH SCORE 152101.115
AT ITER 359 NEW BEST:: SOT 583364 SOS 203034 HAS SOPS 203034 HAS SOUS 151817 HAS SOUPS 151817 WITH SCORE 152020.034
AT ITER 376 NEW BEST:: SOT 583406 SOS 202873 HAS SOPS 202873 HAS SOUS 151788 HAS SOUPS 151788 WITH SCORE 151990.873
AT ITER 393 NEW BEST:: SOT 583401 SOS 202857 HAS SOPS 202857 HAS SOUS 151781 HAS SOUPS 151781 WITH SCORE 151983.857
AT ITER 404 NEW BEST:: SOT 583205 SOS 202801 HAS SOPS 202801 HAS SOUS 151613 HAS SOUPS 151613 WITH SCORE 151815.801
AT ITER 415 NEW BEST:: SOT 583117 SOS 202655 HAS SOPS 202655 HAS SOUS 151437 HAS SOUPS 151437 WITH SCORE 151639.655
AT ITER 422 NEW BEST:: SOT 582959 SOS 202321 HAS SOPS 202321 HAS SOUS 151224 HAS SOUPS 151224 WITH SCORE 151426.321
AT ITER 438 NEW BEST:: SOT 582905 SOS 202267 HAS SOPS 202267 HAS SOUS 151170 HAS SOUPS 151170 WITH SCORE 151372.267
AT ITER 457 NEW BEST:: SOT 582905 SOS 202229 HAS SOPS 202229 HAS SOUS 151170 HAS SOUPS 151170 WITH SCORE 151372.229
AT ITER 458 NEW BEST:: SOT 582898 SOS 202106 HAS SOPS 202106 HAS SOUS 151127 HAS SOUPS 151127 WITH SCORE 151329.106
AT ITER 487 NEW BEST:: SOT 582898 SOS 202080 HAS SOPS 202080 HAS SOUS 151101 HAS SOUPS 151101 WITH SCORE 151303.08
AT ITER 492 NEW BEST:: SOT 582714 SOS 201904 HAS SOPS 201904 HAS SOUS 150921 HAS SOUPS 150921 WITH SCORE 151122.904
AT ITER 498 NEW BEST:: SOT 582685 SOS 201817 HAS SOPS 201817 HAS SOUS 150862 HAS SOUPS 150862 WITH SCORE 151063.817
AT ITER 508 NEW BEST:: SOT 582692 SOS 201657 HAS SOPS 201657 HAS SOUS 150702 HAS SOUPS 150702 WITH SCORE 150903.657
AT ITER 510 NEW BEST:: SOT 582571 SOS 201772 HAS SOPS 201772 HAS SOUS 150608 HAS SOUPS 150608 WITH SCORE 150809.772
AT ITER 520 NEW BEST:: SOT 582542 SOS 201716 HAS SOPS 201716 HAS SOUS 150553 HAS SOUPS 150553 WITH SCORE 150754.716
AT ITER 529 NEW BEST:: SOT 582299 SOS 201520 HAS SOPS 201520 HAS SOUS 150357 HAS SOUPS 150357 WITH SCORE 150558.52
AT ITER 534 NEW BEST:: SOT 582285 SOS 201492 HAS SOPS 201492 HAS SOUS 150342 HAS SOUPS 150342 WITH SCORE 150543.492
AT ITER 535 NEW BEST:: SOT 581361 SOS 201664 HAS SOPS 201664 HAS SOUS 149555 HAS SOUPS 149555 WITH SCORE 149756.664
AT ITER 539 NEW BEST:: SOT 581353 SOS 201648 HAS SOPS 201648 HAS SOUS 149547 HAS SOUPS 149547 WITH SCORE 149748.648
AT ITER 551 NEW BEST:: SOT 581290 SOS 201598 HAS SOPS 201598 HAS SOUS 149497 HAS SOUPS 149497 WITH SCORE 149698.598
AT ITER 579 NEW BEST:: SOT 581290 SOS 201474 HAS SOPS 201474 HAS SOUS 149497 HAS SOUPS 149497 WITH SCORE 149698.474
AT ITER 586 NEW BEST:: SOT 581066 SOS 201093 HAS SOPS 201093 HAS SOUS 149273 HAS SOUPS 149273 WITH SCORE 149474.093
AT ITER 592 NEW BEST:: SOT 580960 SOS 200987 HAS SOPS 200987 HAS SOUS 149160 HAS SOUPS 149160 WITH SCORE 149360.987
AT ITER 629 NEW BEST:: SOT 580949 SOS 200899 HAS SOPS 200899 HAS SOUS 149061 HAS SOUPS 149061 WITH SCORE 149261.899
AT ITER 634 NEW BEST:: SOT 580905 SOS 200888 HAS SOPS 200888 HAS SOUS 149017 HAS SOUPS 149017 WITH SCORE 149217.888
AT ITER 636 NEW BEST:: SOT 580905 SOS 200864 HAS SOPS 200864 HAS SOUS 149017 HAS SOUPS 149017 WITH SCORE 149217.864
AT ITER 644 NEW BEST:: SOT 580904 SOS 200863 HAS SOPS 200863 HAS SOUS 149015 HAS SOUPS 149015 WITH SCORE 149215.863
AT ITER 645 NEW BEST:: SOT 580904 SOS 200836 HAS SOPS 200836 HAS SOUS 148988 HAS SOUPS 148988 WITH SCORE 149188.836
AT ITER 671 NEW BEST:: SOT 580564 SOS 201154 HAS SOPS 201154 HAS SOUS 148766 HAS SOUPS 148766 WITH SCORE 148967.154
AT ITER 710 NEW BEST:: SOT 580561 SOS 201109 HAS SOPS 201109 HAS SOUS 148757 HAS SOUPS 148757 WITH SCORE 148958.109
AT ITER 725 NEW BEST:: SOT 580519 SOS 201139 HAS SOPS 201139 HAS SOUS 148468 HAS SOUPS 148468 WITH SCORE 148669.139
AT ITER 726 NEW BEST:: SOT 580519 SOS 201133 HAS SOPS 201133 HAS SOUS 148467 HAS SOUPS 148467 WITH SCORE 148668.133
AT ITER 771 NEW BEST:: SOT 580260 SOS 200961 HAS SOPS 200961 HAS SOUS 148291 HAS SOUPS 148291 WITH SCORE 148491.961
AT ITER 773 NEW BEST:: SOT 580260 SOS 200945 HAS SOPS 200945 HAS SOUS 148290 HAS SOUPS 148290 WITH SCORE 148490.945
AT ITER 784 NEW BEST:: SOT 580258 SOS 200940 HAS SOPS 200940 HAS SOUS 148285 HAS SOUPS 148285 WITH SCORE 148485.94
AT ITER 796 NEW BEST:: SOT 580082 SOS 200704 HAS SOPS 200704 HAS SOUS 148108 HAS SOUPS 148108 WITH SCORE 148308.704
AT ITER 801 NEW BEST:: SOT 580051 SOS 200665 HAS SOPS 200665 HAS SOUS 148079 HAS SOUPS 148079 WITH SCORE 148279.665
AT ITER 808 NEW BEST:: SOT 579946 SOS 200350 HAS SOPS 200350 HAS SOUS 147764 HAS SOUPS 147764 WITH SCORE 147964.35
AT ITER 810 NEW BEST:: SOT 579576 SOS 200135 HAS SOPS 200135 HAS SOUS 147434 HAS SOUPS 147434 WITH SCORE 147634.135
AT ITER 818 NEW BEST:: SOT 579506 SOS 200139 HAS SOPS 200139 HAS SOUS 147363 HAS SOUPS 147363 WITH SCORE 147563.139
AT ITER 821 NEW BEST:: SOT 579494 SOS 200113 HAS SOPS 200113 HAS SOUS 147338 HAS SOUPS 147338 WITH SCORE 147538.113
AT ITER 827 NEW BEST:: SOT 579321 SOS 199905 HAS SOPS 199905 HAS SOUS 147112 HAS SOUPS 147112 WITH SCORE 147311.905
AT ITER 855 NEW BEST:: SOT 579214 SOS 199753 HAS SOPS 199753 HAS SOUS 147003 HAS SOUPS 147003 WITH SCORE 147202.753
AT ITER 862 NEW BEST:: SOT 579192 SOS 199740 HAS SOPS 199740 HAS SOUS 146990 HAS SOUPS 146990 WITH SCORE 147189.74
AT ITER 870 NEW BEST:: SOT 579109 SOS 199715 HAS SOPS 199715 HAS SOUS 146989 HAS SOUPS 146989 WITH SCORE 147188.715
AT ITER 872 NEW BEST:: SOT 579050 SOS 199599 HAS SOPS 199599 HAS SOUS 146948 HAS SOUPS 146948 WITH SCORE 147147.599
AT ITER 874 NEW BEST:: SOT 579094 SOS 199643 HAS SOPS 199643 HAS SOUS 146681 HAS SOUPS 146681 WITH SCORE 146880.643
AT ITER 885 NEW BEST:: SOT 579094 SOS 199589 HAS SOPS 199589 HAS SOUS 146621 HAS SOUPS 146621 WITH SCORE 146820.589
AT ITER 889 NEW BEST:: SOT 579055 SOS 199416 HAS SOPS 199416 HAS SOUS 146581 HAS SOUPS 146581 WITH SCORE 146780.416
AT ITER 900 NEW BEST:: SOT 578944 SOS 201095 HAS SOPS 201095 HAS SOUS 146342 HAS SOUPS 146342 WITH SCORE 146543.095
AT ITER 901 NEW BEST:: SOT 578943 SOS 200219 HAS SOPS 200219 HAS SOUS 146340 HAS SOUPS 146340 WITH SCORE 146540.219
AT ITER 906 NEW BEST:: SOT 578711 SOS 200127 HAS SOPS 200127 HAS SOUS 146108 HAS SOUPS 146108 WITH SCORE 146308.127
AT ITER 909 NEW BEST:: SOT 578710 SOS 200011 HAS SOPS 200011 HAS SOUS 146104 HAS SOUPS 146104 WITH SCORE 146304.011
AT ITER 944 NEW BEST:: SOT 578359 SOS 199865 HAS SOPS 199865 HAS SOUS 145914 HAS SOUPS 145914 WITH SCORE 146113.865
AT ITER 947 NEW BEST:: SOT 578385 SOS 199808 HAS SOPS 199808 HAS SOUS 145857 HAS SOUPS 145857 WITH SCORE 146056.808
AT ITER 952 NEW BEST:: SOT 578371 SOS 199780 HAS SOPS 199780 HAS SOUS 145843 HAS SOUPS 145843 WITH SCORE 146042.78
AT ITER 953 NEW BEST:: SOT 578191 SOS 199496 HAS SOPS 199496 HAS SOUS 145718 HAS SOUPS 145718 WITH SCORE 145917.496
AT ITER 963 NEW BEST:: SOT 578158 SOS 199463 HAS SOPS 199463 HAS SOUS 145681 HAS SOUPS 145681 WITH SCORE 145880.463
AT ITER 986 NEW BEST:: SOT 578100 SOS 199405 HAS SOPS 199405 HAS SOUS 145623 HAS SOUPS 145623 WITH SCORE 145822.405
AT ITER 1007 NEW BEST:: SOT 577971 SOS 199158 HAS SOPS 199158 HAS SOUS 145505 HAS SOUPS 145505 WITH SCORE 145704.158
AT ITER 1008 NEW BEST:: SOT 577961 SOS 199148 HAS SOPS 199148 HAS SOUS 145495 HAS SOUPS 145495 WITH SCORE 145694.148
AT ITER 1031 NEW BEST:: SOT 577889 SOS 198979 HAS SOPS 198979 HAS SOUS 145430 HAS SOUPS 145430 WITH SCORE 145628.979
AT ITER 1032 NEW BEST:: SOT 577889 SOS 198946 HAS SOPS 198946 HAS SOUS 145397 HAS SOUPS 145397 WITH SCORE 145595.946
AT ITER 1049 NEW BEST:: SOT 577868 SOS 198978 HAS SOPS 198978 HAS SOUS 145355 HAS SOUPS 145355 WITH SCORE 145553.978
AT ITER 1056 NEW BEST:: SOT 577878 SOS 198878 HAS SOPS 198878 HAS SOUS 145298 HAS SOUPS 145298 WITH SCORE 145496.878
AT ITER 1060 NEW BEST:: SOT 577878 SOS 198876 HAS SOPS 198876 HAS SOUS 145296 HAS SOUPS 145296 WITH SCORE 145494.876
AT ITER 1067 NEW BEST:: SOT 577895 SOS 198568 HAS SOPS 198568 HAS SOUS 145296 HAS SOUPS 145296 WITH SCORE 145494.568
AT ITER 1071 NEW BEST:: SOT 577778 SOS 198451 HAS SOPS 198451 HAS SOUS 145179 HAS SOUPS 145179 WITH SCORE 145377.451
AT ITER 1074 NEW BEST:: SOT 577735 SOS 197805 HAS SOPS 197805 HAS SOUS 145093 HAS SOUPS 145093 WITH SCORE 145290.805
AT ITER 1081 NEW BEST:: SOT 577593 SOS 197680 HAS SOPS 197680 HAS SOUS 144968 HAS SOUPS 144968 WITH SCORE 145165.68
AT ITER 1088 NEW BEST:: SOT 577576 SOS 197521 HAS SOPS 197521 HAS SOUS 144767 HAS SOUPS 144767 WITH SCORE 144964.521
AT ITER 1093 NEW BEST:: SOT 577575 SOS 197505 HAS SOPS 197505 HAS SOUS 144750 HAS SOUPS 144750 WITH SCORE 144947.505
AT ITER 1098 NEW BEST:: SOT 577515 SOS 197333 HAS SOPS 197333 HAS SOUS 144608 HAS SOUPS 144608 WITH SCORE 144805.333
AT ITER 1118 NEW BEST:: SOT 577483 SOS 197384 HAS SOPS 197384 HAS SOUS 144569 HAS SOUPS 144569 WITH SCORE 144766.384
AT ITER 1120 NEW BEST:: SOT 577483 SOS 197364 HAS SOPS 197364 HAS SOUS 144549 HAS SOUPS 144549 WITH SCORE 144746.364
AT ITER 1125 NEW BEST:: SOT 577428 SOS 197309 HAS SOPS 197309 HAS SOUS 144494 HAS SOUPS 144494 WITH SCORE 144691.309
AT ITER 1134 NEW BEST:: SOT 576678 SOS 196672 HAS SOPS 196672 HAS SOUS 143745 HAS SOUPS 143745 WITH SCORE 143941.672
AT ITER 1149 NEW BEST:: SOT 576753 SOS 196673 HAS SOPS 196673 HAS SOUS 143671 HAS SOUPS 143671 WITH SCORE 143867.673
AT ITER 1153 NEW BEST:: SOT 576708 SOS 196628 HAS SOPS 196628 HAS SOUS 143581 HAS SOUPS 143581 WITH SCORE 143777.628
AT ITER 1180 NEW BEST:: SOT 576685 SOS 196605 HAS SOPS 196605 HAS SOUS 143558 HAS SOUPS 143558 WITH SCORE 143754.605
AT ITER 1210 NEW BEST:: SOT 576653 SOS 196541 HAS SOPS 196541 HAS SOUS 143526 HAS SOUPS 143526 WITH SCORE 143722.541
AT ITER 1211 NEW BEST:: SOT 576555 SOS 196484 HAS SOPS 196484 HAS SOUS 143526 HAS SOUPS 143526 WITH SCORE 143722.484
AT ITER 1219 NEW BEST:: SOT 576489 SOS 196462 HAS SOPS 196462 HAS SOUS 143302 HAS SOUPS 143302 WITH SCORE 143498.462
AT ITER 1220 NEW BEST:: SOT 575397 SOS 195517 HAS SOPS 195517 HAS SOUS 142288 HAS SOUPS 142288 WITH SCORE 142483.517
AT ITER 1223 NEW BEST:: SOT 575397 SOS 195494 HAS SOPS 195494 HAS SOUS 142265 HAS SOUPS 142265 WITH SCORE 142460.494
AT ITER 1224 NEW BEST:: SOT 575347 SOS 195334 HAS SOPS 195334 HAS SOUS 142165 HAS SOUPS 142165 WITH SCORE 142360.334
AT ITER 1230 NEW BEST:: SOT 575323 SOS 195286 HAS SOPS 195286 HAS SOUS 142117 HAS SOUPS 142117 WITH SCORE 142312.286
AT ITER 1234 NEW BEST:: SOT 575277 SOS 195310 HAS SOPS 195310 HAS SOUS 141995 HAS SOUPS 141995 WITH SCORE 142190.31
AT ITER 1239 NEW BEST:: SOT 575277 SOS 195310 HAS SOPS 195310 HAS SOUS 141994 HAS SOUPS 141994 WITH SCORE 142189.31
AT ITER 1250 NEW BEST:: SOT 575082 SOS 194577 HAS SOPS 194577 HAS SOUS 141819 HAS SOUPS 141819 WITH SCORE 142013.577
AT ITER 1259 NEW BEST:: SOT 575056 SOS 194525 HAS SOPS 194525 HAS SOUS 141793 HAS SOUPS 141793 WITH SCORE 141987.525
AT ITER 1268 NEW BEST:: SOT 573815 SOS 195422 HAS SOPS 195422 HAS SOUS 140849 HAS SOUPS 140849 WITH SCORE 141044.422
AT ITER 1269 NEW BEST:: SOT 573777 SOS 194586 HAS SOPS 194586 HAS SOUS 140773 HAS SOUPS 140773 WITH SCORE 140967.586
AT ITER 1270 NEW BEST:: SOT 573774 SOS 194568 HAS SOPS 194568 HAS SOUS 140647 HAS SOUPS 140647 WITH SCORE 140841.568
AT ITER 1272 NEW BEST:: SOT 573716 SOS 193311 HAS SOPS 193311 HAS SOUS 140531 HAS SOUPS 140531 WITH SCORE 140724.311
AT ITER 1274 NEW BEST:: SOT 573650 SOS 193238 HAS SOPS 193238 HAS SOUS 140458 HAS SOUPS 140458 WITH SCORE 140651.238
AT ITER 1282 NEW BEST:: SOT 573421 SOS 193054 HAS SOPS 193054 HAS SOUS 140274 HAS SOUPS 140274 WITH SCORE 140467.054
AT ITER 1303 NEW BEST:: SOT 573288 SOS 192712 HAS SOPS 192712 HAS SOUS 140141 HAS SOUPS 140141 WITH SCORE 140333.712
AT ITER 1314 NEW BEST:: SOT 573288 SOS 192640 HAS SOPS 192640 HAS SOUS 140141 HAS SOUPS 140141 WITH SCORE 140333.64
AT ITER 1319 NEW BEST:: SOT 573208 SOS 192574 HAS SOPS 192574 HAS SOUS 140074 HAS SOUPS 140074 WITH SCORE 140266.574
AT ITER 1328 NEW BEST:: SOT 573168 SOS 192494 HAS SOPS 192494 HAS SOUS 140050 HAS SOUPS 140050 WITH SCORE 140242.494
AT ITER 1329 NEW BEST:: SOT 573067 SOS 192159 HAS SOPS 192159 HAS SOUS 139948 HAS SOUPS 139948 WITH SCORE 140140.159
AT ITER 1337 NEW BEST:: SOT 573159 SOS 192365 HAS SOPS 192365 HAS SOUS 139901 HAS SOUPS 139901 WITH SCORE 140093.365
AT ITER 1342 NEW BEST:: SOT 573248 SOS 191907 HAS SOPS 191907 HAS SOUS 139652 HAS SOUPS 139652 WITH SCORE 139843.907
AT ITER 1354 NEW BEST:: SOT 573231 SOS 191890 HAS SOPS 191890 HAS SOUS 139626 HAS SOUPS 139626 WITH SCORE 139817.89
AT ITER 1355 NEW BEST:: SOT 573217 SOS 191811 HAS SOPS 191811 HAS SOUS 139603 HAS SOUPS 139603 WITH SCORE 139794.811
AT ITER 1381 NEW BEST:: SOT 573217 SOS 191811 HAS SOPS 191811 HAS SOUS 139528 HAS SOUPS 139528 WITH SCORE 139719.811
AT ITER 1387 NEW BEST:: SOT 573217 SOS 191731 HAS SOPS 191731 HAS SOUS 139514 HAS SOUPS 139514 WITH SCORE 139705.731
AT ITER 1400 NEW BEST:: SOT 573217 SOS 191703 HAS SOPS 191703 HAS SOUS 139486 HAS SOUPS 139486 WITH SCORE 139677.703
AT ITER 1408 NEW BEST:: SOT 573079 SOS 191634 HAS SOPS 191634 HAS SOUS 139417 HAS SOUPS 139417 WITH SCORE 139608.634
AT ITER 1414 NEW BEST:: SOT 572737 SOS 191397 HAS SOPS 191397 HAS SOUS 139180 HAS SOUPS 139180 WITH SCORE 139371.397
AT ITER 1416 NEW BEST:: SOT 572848 SOS 191507 HAS SOPS 191507 HAS SOUS 139068 HAS SOUPS 139068 WITH SCORE 139259.507
AT ITER 1431 NEW BEST:: SOT 572848 SOS 191499 HAS SOPS 191499 HAS SOUS 139068 HAS SOUPS 139068 WITH SCORE 139259.499
AT ITER 1440 NEW BEST:: SOT 572723 SOS 191249 HAS SOPS 191249 HAS SOUS 138817 HAS SOUPS 138817 WITH SCORE 139008.249
AT ITER 1456 NEW BEST:: SOT 572691 SOS 191232 HAS SOPS 191232 HAS SOUS 138800 HAS SOUPS 138800 WITH SCORE 138991.232
AT ITER 1458 NEW BEST:: SOT 572674 SOS 191198 HAS SOPS 191198 HAS SOUS 138782 HAS SOUPS 138782 WITH SCORE 138973.198
AT ITER 1471 NEW BEST:: SOT 572625 SOS 191541 HAS SOPS 191541 HAS SOUS 138733 HAS SOUPS 138733 WITH SCORE 138924.541
AT ITER 1478 NEW BEST:: SOT 572625 SOS 191241 HAS SOPS 191241 HAS SOUS 138733 HAS SOUPS 138733 WITH SCORE 138924.241
AT ITER 1481 NEW BEST:: SOT 571929 SOS 190810 HAS SOPS 190810 HAS SOUS 138196 HAS SOUPS 138196 WITH SCORE 138386.81
AT ITER 1491 NEW BEST:: SOT 571920 SOS 190801 HAS SOPS 190801 HAS SOUS 138187 HAS SOUPS 138187 WITH SCORE 138377.801
AT ITER 1515 NEW BEST:: SOT 571882 SOS 190739 HAS SOPS 190739 HAS SOUS 138125 HAS SOUPS 138125 WITH SCORE 138315.739
AT ITER 1539 NEW BEST:: SOT 571693 SOS 190964 HAS SOPS 190964 HAS SOUS 138064 HAS SOUPS 138064 WITH SCORE 138254.964
AT ITER 1544 NEW BEST:: SOT 571538 SOS 190139 HAS SOPS 190139 HAS SOUS 135879 HAS SOUPS 135879 WITH SCORE 136069.139
AT ITER 1557 NEW BEST:: SOT 571632 SOS 190248 HAS SOPS 190248 HAS SOUS 135877 HAS SOUPS 135877 WITH SCORE 136067.248
AT ITER 1560 NEW BEST:: SOT 571631 SOS 190246 HAS SOPS 190246 HAS SOUS 135875 HAS SOUPS 135875 WITH SCORE 136065.246
AT ITER 1564 NEW BEST:: SOT 571596 SOS 190211 HAS SOPS 190211 HAS SOUS 135840 HAS SOUPS 135840 WITH SCORE 136030.211
AT ITER 1566 NEW BEST:: SOT 571535 SOS 190162 HAS SOPS 190162 HAS SOUS 135779 HAS SOUPS 135779 WITH SCORE 135969.162
AT ITER 1568 NEW BEST:: SOT 571438 SOS 189878 HAS SOPS 189878 HAS SOUS 135606 HAS SOUPS 135606 WITH SCORE 135795.878
AT ITER 1575 NEW BEST:: SOT 571366 SOS 189678 HAS SOPS 189678 HAS SOUS 135529 HAS SOUPS 135529 WITH SCORE 135718.678
AT ITER 1594 NEW BEST:: SOT 571355 SOS 189656 HAS SOPS 189656 HAS SOUS 135491 HAS SOUPS 135491 WITH SCORE 135680.656
AT ITER 1601 NEW BEST:: SOT 571044 SOS 189337 HAS SOPS 189337 HAS SOUS 135258 HAS SOUPS 135258 WITH SCORE 135447.337
AT ITER 1612 NEW BEST:: SOT 571044 SOS 189324 HAS SOPS 189324 HAS SOUS 135258 HAS SOUPS 135258 WITH SCORE 135447.324
AT ITER 1625 NEW BEST:: SOT 571044 SOS 188800 HAS SOPS 188800 HAS SOUS 132778 HAS SOUPS 132778 WITH SCORE 132966.8
AT ITER 1638 NEW BEST:: SOT 571038 SOS 188749 HAS SOPS 188749 HAS SOUS 132682 HAS SOUPS 132682 WITH SCORE 132870.749
AT ITER 1685 NEW BEST:: SOT 570980 SOS 188769 HAS SOPS 188769 HAS SOUS 132566 HAS SOUPS 132566 WITH SCORE 132754.769
AT ITER 1686 NEW BEST:: SOT 570980 SOS 188775 HAS SOPS 188775 HAS SOUS 132543 HAS SOUPS 132543 WITH SCORE 132731.775
AT ITER 1687 NEW BEST:: SOT 570939 SOS 188494 HAS SOPS 188494 HAS SOUS 132446 HAS SOUPS 132446 WITH SCORE 132634.494
AT ITER 1707 NEW BEST:: SOT 570723 SOS 188348 HAS SOPS 188348 HAS SOUS 132299 HAS SOUPS 132299 WITH SCORE 132487.348
AT ITER 1709 NEW BEST:: SOT 573039 SOS 190493 HAS SOPS 190493 HAS SOUS 132073 HAS SOUPS 132073 WITH SCORE 132263.493
AT ITER 1713 NEW BEST:: SOT 572999 SOS 190453 HAS SOPS 190453 HAS SOUS 132033 HAS SOUPS 132033 WITH SCORE 132223.453
AT ITER 1722 NEW BEST:: SOT 572984 SOS 190423 HAS SOPS 190423 HAS SOUS 132003 HAS SOUPS 132003 WITH SCORE 132193.423
AT ITER 1731 NEW BEST:: SOT 572967 SOS 190174 HAS SOPS 190174 HAS SOUS 131950 HAS SOUPS 131950 WITH SCORE 132140.174
AT ITER 1757 NEW BEST:: SOT 572518 SOS 191901 HAS SOPS 191901 HAS SOUS 131830 HAS SOUPS 131830 WITH SCORE 132021.901
AT ITER 1762 NEW BEST:: SOT 572396 SOS 191871 HAS SOPS 191871 HAS SOUS 131665 HAS SOUPS 131665 WITH SCORE 131856.871
AT ITER 1763 NEW BEST:: SOT 572325 SOS 192306 HAS SOPS 192306 HAS SOUS 130075 HAS SOUPS 130075 WITH SCORE 130267.306
AT ITER 1764 NEW BEST:: SOT 572283 SOS 192266 HAS SOPS 192266 HAS SOUS 130035 HAS SOUPS 130035 WITH SCORE 130227.266
AT ITER 1768 NEW BEST:: SOT 572247 SOS 192086 HAS SOPS 192086 HAS SOUS 129963 HAS SOUPS 129963 WITH SCORE 130155.086
AT ITER 1776 NEW BEST:: SOT 572213 SOS 191877 HAS SOPS 191877 HAS SOUS 129754 HAS SOUPS 129754 WITH SCORE 129945.877
AT ITER 1781 NEW BEST:: SOT 572212 SOS 191875 HAS SOPS 191875 HAS SOUS 129752 HAS SOUPS 129752 WITH SCORE 129943.875
AT ITER 1802 NEW BEST:: SOT 572212 SOS 191871 HAS SOPS 191871 HAS SOUS 129748 HAS SOUPS 129748 WITH SCORE 129939.871
AT ITER 1809 NEW BEST:: SOT 572194 SOS 191781 HAS SOPS 191781 HAS SOUS 129712 HAS SOUPS 129712 WITH SCORE 129903.781
AT ITER 1824 NEW BEST:: SOT 572061 SOS 191489 HAS SOPS 191489 HAS SOUS 129420 HAS SOUPS 129420 WITH SCORE 129611.489
AT ITER 1840 NEW BEST:: SOT 572029 SOS 191425 HAS SOPS 191425 HAS SOUS 129292 HAS SOUPS 129292 WITH SCORE 129483.425
AT ITER 1857 NEW BEST:: SOT 572159 SOS 191027 HAS SOPS 191027 HAS SOUS 129257 HAS SOUPS 129257 WITH SCORE 129448.027
AT ITER 1878 NEW BEST:: SOT 572133 SOS 190704 HAS SOPS 190704 HAS SOUS 129216 HAS SOUPS 129216 WITH SCORE 129406.704
AT ITER 1881 NEW BEST:: SOT 572137 SOS 190363 HAS SOPS 190363 HAS SOUS 129103 HAS SOUPS 129103 WITH SCORE 129293.363
AT ITER 1885 NEW BEST:: SOT 572129 SOS 190347 HAS SOPS 190347 HAS SOUS 129087 HAS SOUPS 129087 WITH SCORE 129277.347
AT ITER 1888 NEW BEST:: SOT 572037 SOS 190163 HAS SOPS 190163 HAS SOUS 128793 HAS SOUPS 128793 WITH SCORE 128983.163
AT ITER 1894 NEW BEST:: SOT 572016 SOS 190121 HAS SOPS 190121 HAS SOUS 128750 HAS SOUPS 128750 WITH SCORE 128940.121
AT ITER 1906 NEW BEST:: SOT 571909 SOS 189907 HAS SOPS 189907 HAS SOUS 128536 HAS SOUPS 128536 WITH SCORE 128725.907
AT ITER 1911 NEW BEST:: SOT 571909 SOS 189882 HAS SOPS 189882 HAS SOUS 128415 HAS SOUPS 128415 WITH SCORE 128604.882
AT ITER 1920 NEW BEST:: SOT 571859 SOS 189832 HAS SOPS 189832 HAS SOUS 128365 HAS SOUPS 128365 WITH SCORE 128554.832
AT ITER 1941 NEW BEST:: SOT 571809 SOS 189732 HAS SOPS 189732 HAS SOUS 128265 HAS SOUPS 128265 WITH SCORE 128454.732
AT ITER 1943 NEW BEST:: SOT 571816 SOS 189504 HAS SOPS 189504 HAS SOUS 128138 HAS SOUPS 128138 WITH SCORE 128327.504
AT ITER 1944 NEW BEST:: SOT 571641 SOS 189298 HAS SOPS 189298 HAS SOUS 127970 HAS SOUPS 127970 WITH SCORE 128159.298
AT ITER 1950 NEW BEST:: SOT 571406 SOS 189240 HAS SOPS 189240 HAS SOUS 127951 HAS SOUPS 127951 WITH SCORE 128140.24
AT ITER 1953 NEW BEST:: SOT 571305 SOS 189046 HAS SOPS 189046 HAS SOUS 127600 HAS SOUPS 127600 WITH SCORE 127789.046
AT ITER 1964 NEW BEST:: SOT 571229 SOS 189012 HAS SOPS 189012 HAS SOUS 127518 HAS SOUPS 127518 WITH SCORE 127707.012
AT ITER 2020 NEW BEST:: SOT 571229 SOS 189012 HAS SOPS 189012 HAS SOUS 127516 HAS SOUPS 127516 WITH SCORE 127705.012
AT ITER 2033 NEW BEST:: SOT 570957 SOS 188863 HAS SOPS 188863 HAS SOUS 127277 HAS SOUPS 127277 WITH SCORE 127465.863
AT ITER 2041 NEW BEST:: SOT 570945 SOS 188843 HAS SOPS 188843 HAS SOUS 127257 HAS SOUPS 127257 WITH SCORE 127445.843
AT ITER 2048 NEW BEST:: SOT 570773 SOS 188476 HAS SOPS 188476 HAS SOUS 126890 HAS SOUPS 126890 WITH SCORE 127078.476
AT ITER 2062 NEW BEST:: SOT 570773 SOS 188467 HAS SOPS 188467 HAS SOUS 126890 HAS SOUPS 126890 WITH SCORE 127078.467
AT ITER 2067 NEW BEST:: SOT 570773 SOS 188466 HAS SOPS 188466 HAS SOUS 126889 HAS SOUPS 126889 WITH SCORE 127077.466
AT ITER 2082 NEW BEST:: SOT 570757 SOS 188442 HAS SOPS 188442 HAS SOUS 126801 HAS SOUPS 126801 WITH SCORE 126989.442
AT ITER 2084 NEW BEST:: SOT 570682 SOS 188320 HAS SOPS 188320 HAS SOUS 126645 HAS SOUPS 126645 WITH SCORE 126833.32
AT ITER 2102 NEW BEST:: SOT 570682 SOS 188320 HAS SOPS 188320 HAS SOUS 126608 HAS SOUPS 126608 WITH SCORE 126796.32
AT ITER 2106 NEW BEST:: SOT 570635 SOS 188226 HAS SOPS 188226 HAS SOUS 126514 HAS SOUPS 126514 WITH SCORE 126702.226
AT ITER 2119 NEW BEST:: SOT 570633 SOS 188224 HAS SOPS 188224 HAS SOUS 126512 HAS SOUPS 126512 WITH SCORE 126700.224
AT ITER 2125 NEW BEST:: SOT 570615 SOS 188188 HAS SOPS 188188 HAS SOUS 126476 HAS SOUPS 126476 WITH SCORE 126664.188
AT ITER 2128 NEW BEST:: SOT 570615 SOS 188084 HAS SOPS 188084 HAS SOUS 126476 HAS SOUPS 126476 WITH SCORE 126664.084
AT ITER 2150 NEW BEST:: SOT 570442 SOS 187730 HAS SOPS 187730 HAS SOUS 126389 HAS SOUPS 126389 WITH SCORE 126576.73
AT ITER 2192 NEW BEST:: SOT 570368 SOS 187612 HAS SOPS 187612 HAS SOUS 126271 HAS SOUPS 126271 WITH SCORE 126458.612
AT ITER 2198 NEW BEST:: SOT 570366 SOS 187363 HAS SOPS 187363 HAS SOUS 126071 HAS SOUPS 126071 WITH SCORE 126258.363
AT ITER 2201 NEW BEST:: SOT 570315 SOS 187261 HAS SOPS 187261 HAS SOUS 125969 HAS SOUPS 125969 WITH SCORE 126156.261
AT ITER 2213 NEW BEST:: SOT 570315 SOS 187252 HAS SOPS 187252 HAS SOUS 125969 HAS SOUPS 125969 WITH SCORE 126156.252
AT ITER 2216 NEW BEST:: SOT 570297 SOS 187171 HAS SOPS 187171 HAS SOUS 125888 HAS SOUPS 125888 WITH SCORE 126075.171
AT ITER 2225 NEW BEST:: SOT 570206 SOS 186976 HAS SOPS 186976 HAS SOUS 125796 HAS SOUPS 125796 WITH SCORE 125982.976
AT ITER 2229 NEW BEST:: SOT 569945 SOS 186954 HAS SOPS 186954 HAS SOUS 125785 HAS SOUPS 125785 WITH SCORE 125971.954
AT ITER 2240 NEW BEST:: SOT 569924 SOS 186893 HAS SOPS 186893 HAS SOUS 125743 HAS SOUPS 125743 WITH SCORE 125929.893
AT ITER 2286 NEW BEST:: SOT 569924 SOS 186346 HAS SOPS 186346 HAS SOUS 125689 HAS SOUPS 125689 WITH SCORE 125875.346
AT ITER 2298 NEW BEST:: SOT 569924 SOS 186345 HAS SOPS 186345 HAS SOUS 125688 HAS SOUPS 125688 WITH SCORE 125874.345
AT ITER 2333 NEW BEST:: SOT 569913 SOS 186314 HAS SOPS 186314 HAS SOUS 125657 HAS SOUPS 125657 WITH SCORE 125843.314
AT ITER 2337 NEW BEST:: SOT 569850 SOS 186267 HAS SOPS 186267 HAS SOUS 125610 HAS SOUPS 125610 WITH SCORE 125796.267
AT ITER 2350 NEW BEST:: SOT 569823 SOS 186242 HAS SOPS 186242 HAS SOUS 125565 HAS SOUPS 125565 WITH SCORE 125751.242
AT ITER 2362 NEW BEST:: SOT 569821 SOS 186238 HAS SOPS 186238 HAS SOUS 125561 HAS SOUPS 125561 WITH SCORE 125747.238
AT ITER 2369 NEW BEST:: SOT 569815 SOS 186236 HAS SOPS 186236 HAS SOUS 125556 HAS SOUPS 125556 WITH SCORE 125742.236
AT ITER 2379 NEW BEST:: SOT 569815 SOS 186110 HAS SOPS 186110 HAS SOUS 125430 HAS SOUPS 125430 WITH SCORE 125616.11
AT ITER 2388 NEW BEST:: SOT 567823 SOS 184255 HAS SOPS 184255 HAS SOUS 123831 HAS SOUPS 123831 WITH SCORE 124015.255
AT ITER 2408 NEW BEST:: SOT 567740 SOS 184172 HAS SOPS 184172 HAS SOUS 123665 HAS SOUPS 123665 WITH SCORE 123849.172
AT ITER 2425 NEW BEST:: SOT 567644 SOS 183981 HAS SOPS 183981 HAS SOUS 123473 HAS SOUPS 123473 WITH SCORE 123656.981
AT ITER 2448 NEW BEST:: SOT 567644 SOS 183973 HAS SOPS 183973 HAS SOUS 123468 HAS SOUPS 123468 WITH SCORE 123651.973
AT ITER 2465 NEW BEST:: SOT 567467 SOS 184095 HAS SOPS 184095 HAS SOUS 123434 HAS SOUPS 123434 WITH SCORE 123618.095
AT ITER 2468 NEW BEST:: SOT 567378 SOS 183806 HAS SOPS 183806 HAS SOUS 123145 HAS SOUPS 123145 WITH SCORE 123328.806
AT ITER 2473 NEW BEST:: SOT 567429 SOS 183745 HAS SOPS 183745 HAS SOUS 123084 HAS SOUPS 123084 WITH SCORE 123267.745
AT ITER 2485 NEW BEST:: SOT 567423 SOS 183733 HAS SOPS 183733 HAS SOUS 123072 HAS SOUPS 123072 WITH SCORE 123255.733
AT ITER 2511 NEW BEST:: SOT 567423 SOS 183680 HAS SOPS 183680 HAS SOUS 123019 HAS SOUPS 123019 WITH SCORE 123202.68
AT ITER 2533 NEW BEST:: SOT 567550 SOS 182698 HAS SOPS 182698 HAS SOUS 123015 HAS SOUPS 123015 WITH SCORE 123197.698
AT ITER 2538 NEW BEST:: SOT 567550 SOS 182693 HAS SOPS 182693 HAS SOUS 123010 HAS SOUPS 123010 WITH SCORE 123192.693
AT ITER 2564 NEW BEST:: SOT 567550 SOS 182121 HAS SOPS 182121 HAS SOUS 122612 HAS SOUPS 122612 WITH SCORE 122794.121
AT ITER 2583 NEW BEST:: SOT 567501 SOS 181760 HAS SOPS 181760 HAS SOUS 122514 HAS SOUPS 122514 WITH SCORE 122695.76
AT ITER 2598 NEW BEST:: SOT 567480 SOS 181718 HAS SOPS 181718 HAS SOUS 122471 HAS SOUPS 122471 WITH SCORE 122652.718
AT ITER 2647 NEW BEST:: SOT 567362 SOS 181399 HAS SOPS 181399 HAS SOUS 122225 HAS SOUPS 122225 WITH SCORE 122406.399
AT ITER 2649 NEW BEST:: SOT 567254 SOS 181162 HAS SOPS 181162 HAS SOUS 122090 HAS SOUPS 122090 WITH SCORE 122271.162
AT ITER 2652 NEW BEST:: SOT 567078 SOS 180965 HAS SOPS 180965 HAS SOUS 121893 HAS SOUPS 121893 WITH SCORE 122073.965
AT ITER 2654 NEW BEST:: SOT 567078 SOS 180724 HAS SOPS 180724 HAS SOUS 121846 HAS SOUPS 121846 WITH SCORE 122026.724
AT ITER 2659 NEW BEST:: SOT 567031 SOS 180677 HAS SOPS 180677 HAS SOUS 121799 HAS SOUPS 121799 WITH SCORE 121979.677
AT ITER 2661 NEW BEST:: SOT 566824 SOS 180470 HAS SOPS 180470 HAS SOUS 121592 HAS SOUPS 121592 WITH SCORE 121772.47
AT ITER 2686 NEW BEST:: SOT 566824 SOS 180459 HAS SOPS 180459 HAS SOUS 121590 HAS SOUPS 121590 WITH SCORE 121770.459
AT ITER 2708 NEW BEST:: SOT 566801 SOS 180413 HAS SOPS 180413 HAS SOUS 121498 HAS SOUPS 121498 WITH SCORE 121678.413
AT ITER 2719 NEW BEST:: SOT 566590 SOS 180067 HAS SOPS 180067 HAS SOUS 121294 HAS SOUPS 121294 WITH SCORE 121474.067
AT ITER 2739 NEW BEST:: SOT 566567 SOS 180025 HAS SOPS 180025 HAS SOUS 121252 HAS SOUPS 121252 WITH SCORE 121432.025
AT ITER 2740 NEW BEST:: SOT 566555 SOS 180006 HAS SOPS 180006 HAS SOUS 121251 HAS SOUPS 121251 WITH SCORE 121431.006
AT ITER 2744 NEW BEST:: SOT 566508 SOS 179956 HAS SOPS 179956 HAS SOUS 121201 HAS SOUPS 121201 WITH SCORE 121380.956
AT ITER 2772 NEW BEST:: SOT 566508 SOS 179812 HAS SOPS 179812 HAS SOUS 121102 HAS SOUPS 121102 WITH SCORE 121281.812
AT ITER 2778 NEW BEST:: SOT 566331 SOS 179996 HAS SOPS 179996 HAS SOUS 121007 HAS SOUPS 121007 WITH SCORE 121186.996
AT ITER 2781 NEW BEST:: SOT 566320 SOS 179944 HAS SOPS 179944 HAS SOUS 120991 HAS SOUPS 120991 WITH SCORE 121170.944
AT ITER 2782 NEW BEST:: SOT 566320 SOS 179902 HAS SOPS 179902 HAS SOUS 120915 HAS SOUPS 120915 WITH SCORE 121094.902
AT ITER 2789 NEW BEST:: SOT 566277 SOS 178918 HAS SOPS 178918 HAS SOUS 120890 HAS SOUPS 120890 WITH SCORE 121068.918
AT ITER 2792 NEW BEST:: SOT 566272 SOS 178848 HAS SOPS 178848 HAS SOUS 120870 HAS SOUPS 120870 WITH SCORE 121048.848
AT ITER 2798 NEW BEST:: SOT 566343 SOS 178627 HAS SOPS 178627 HAS SOUS 118808 HAS SOUPS 118808 WITH SCORE 118986.627
AT ITER 2809 NEW BEST:: SOT 567239 SOS 179462 HAS SOPS 179462 HAS SOUS 118373 HAS SOUPS 118373 WITH SCORE 118552.462
AT ITER 2811 NEW BEST:: SOT 567156 SOS 179416 HAS SOPS 179416 HAS SOUS 118305 HAS SOUPS 118305 WITH SCORE 118484.416
AT ITER 2813 NEW BEST:: SOT 567093 SOS 179042 HAS SOPS 179042 HAS SOUS 118196 HAS SOUPS 118196 WITH SCORE 118375.042
AT ITER 2814 NEW BEST:: SOT 567620 SOS 179607 HAS SOPS 179607 HAS SOUS 118105 HAS SOUPS 118105 WITH SCORE 118284.607
AT ITER 2823 NEW BEST:: SOT 567620 SOS 179606 HAS SOPS 179606 HAS SOUS 118104 HAS SOUPS 118104 WITH SCORE 118283.606
AT ITER 2848 NEW BEST:: SOT 567491 SOS 179477 HAS SOPS 179477 HAS SOUS 117974 HAS SOUPS 117974 WITH SCORE 118153.477
AT ITER 2858 NEW BEST:: SOT 567397 SOS 178659 HAS SOPS 178659 HAS SOUS 117534 HAS SOUPS 117534 WITH SCORE 117712.659
AT ITER 2859 NEW BEST:: SOT 567314 SOS 178576 HAS SOPS 178576 HAS SOUS 117451 HAS SOUPS 117451 WITH SCORE 117629.576
AT ITER 2861 NEW BEST:: SOT 567265 SOS 178479 HAS SOPS 178479 HAS SOUS 117017 HAS SOUPS 117017 WITH SCORE 117195.479
AT ITER 2885 NEW BEST:: SOT 567275 SOS 178499 HAS SOPS 178499 HAS SOUS 117004 HAS SOUPS 117004 WITH SCORE 117182.499
AT ITER 2907 NEW BEST:: SOT 567136 SOS 178360 HAS SOPS 178360 HAS SOUS 116961 HAS SOUPS 116961 WITH SCORE 117139.36
AT ITER 2912 NEW BEST:: SOT 567053 SOS 178277 HAS SOPS 178277 HAS SOUS 116878 HAS SOUPS 116878 WITH SCORE 117056.277
AT ITER 2915 NEW BEST:: SOT 567235 SOS 178378 HAS SOPS 178378 HAS SOUS 116843 HAS SOUPS 116843 WITH SCORE 117021.378
AT ITER 2918 NEW BEST:: SOT 567144 SOS 178287 HAS SOPS 178287 HAS SOUS 116752 HAS SOUPS 116752 WITH SCORE 116930.287
AT ITER 2930 NEW BEST:: SOT 567129 SOS 178242 HAS SOPS 178242 HAS SOUS 116719 HAS SOUPS 116719 WITH SCORE 116897.242
AT ITER 2935 NEW BEST:: SOT 567122 SOS 178214 HAS SOPS 178214 HAS SOUS 116691 HAS SOUPS 116691 WITH SCORE 116869.214
AT ITER 2946 NEW BEST:: SOT 567045 SOS 178045 HAS SOPS 178045 HAS SOUS 116358 HAS SOUPS 116358 WITH SCORE 116536.045
AT ITER 2964 NEW BEST:: SOT 566857 SOS 177827 HAS SOPS 177827 HAS SOUS 116140 HAS SOUPS 116140 WITH SCORE 116317.827
AT ITER 3029 NEW BEST:: SOT 566851 SOS 177821 HAS SOPS 177821 HAS SOUS 116134 HAS SOUPS 116134 WITH SCORE 116311.821
AT ITER 3032 NEW BEST:: SOT 566835 SOS 177809 HAS SOPS 177809 HAS SOUS 116116 HAS SOUPS 116116 WITH SCORE 116293.809
AT ITER 3063 NEW BEST:: SOT 566835 SOS 177659 HAS SOPS 177659 HAS SOUS 115966 HAS SOUPS 115966 WITH SCORE 116143.659
AT ITER 3068 NEW BEST:: SOT 566713 SOS 177376 HAS SOPS 177376 HAS SOUS 115652 HAS SOUPS 115652 WITH SCORE 115829.376
AT ITER 3078 NEW BEST:: SOT 566713 SOS 177360 HAS SOPS 177360 HAS SOUS 115638 HAS SOUPS 115638 WITH SCORE 115815.36
AT ITER 3079 NEW BEST:: SOT 566712 SOS 177290 HAS SOPS 177290 HAS SOUS 115530 HAS SOUPS 115530 WITH SCORE 115707.29
AT ITER 3099 NEW BEST:: SOT 566719 SOS 177356 HAS SOPS 177356 HAS SOUS 115522 HAS SOUPS 115522 WITH SCORE 115699.356
AT ITER 3105 NEW BEST:: SOT 566700 SOS 177346 HAS SOPS 177346 HAS SOUS 115500 HAS SOUPS 115500 WITH SCORE 115677.346
AT ITER 3114 NEW BEST:: SOT 566662 SOS 177370 HAS SOPS 177370 HAS SOUS 115424 HAS SOUPS 115424 WITH SCORE 115601.37
AT ITER 3115 NEW BEST:: SOT 566649 SOS 177342 HAS SOPS 177342 HAS SOUS 115410 HAS SOUPS 115410 WITH SCORE 115587.342
AT ITER 3131 NEW BEST:: SOT 566649 SOS 177264 HAS SOPS 177264 HAS SOUS 115410 HAS SOUPS 115410 WITH SCORE 115587.264
AT ITER 3135 NEW BEST:: SOT 566596 SOS 177216 HAS SOPS 177216 HAS SOUS 115358 HAS SOUPS 115358 WITH SCORE 115535.216
AT ITER 3159 NEW BEST:: SOT 566576 SOS 177213 HAS SOPS 177213 HAS SOUS 115317 HAS SOUPS 115317 WITH SCORE 115494.213
AT ITER 3169 NEW BEST:: SOT 566559 SOS 177162 HAS SOPS 177162 HAS SOUS 115277 HAS SOUPS 115277 WITH SCORE 115454.162
AT ITER 3178 NEW BEST:: SOT 566484 SOS 177031 HAS SOPS 177031 HAS SOUS 115010 HAS SOUPS 115010 WITH SCORE 115187.031
AT ITER 3189 NEW BEST:: SOT 566480 SOS 177018 HAS SOPS 177018 HAS SOUS 114997 HAS SOUPS 114997 WITH SCORE 115174.018
AT ITER 3193 NEW BEST:: SOT 566457 SOS 176972 HAS SOPS 176972 HAS SOUS 114990 HAS SOUPS 114990 WITH SCORE 115166.972
AT ITER 3198 NEW BEST:: SOT 566459 SOS 176918 HAS SOPS 176918 HAS SOUS 114936 HAS SOUPS 114936 WITH SCORE 115112.918
AT ITER 3203 NEW BEST:: SOT 566411 SOS 176870 HAS SOPS 176870 HAS SOUS 114888 HAS SOUPS 114888 WITH SCORE 115064.87
AT ITER 3224 NEW BEST:: SOT 566411 SOS 176834 HAS SOPS 176834 HAS SOUS 114852 HAS SOUPS 114852 WITH SCORE 115028.834
AT ITER 3236 NEW BEST:: SOT 566411 SOS 176817 HAS SOPS 176817 HAS SOUS 114835 HAS SOUPS 114835 WITH SCORE 115011.817
AT ITER 3238 NEW BEST:: SOT 566410 SOS 176814 HAS SOPS 176814 HAS SOUS 114831 HAS SOUPS 114831 WITH SCORE 115007.814
AT ITER 3249 NEW BEST:: SOT 566409 SOS 176812 HAS SOPS 176812 HAS SOUS 114829 HAS SOUPS 114829 WITH SCORE 115005.812
AT ITER 3251 NEW BEST:: SOT 566382 SOS 176746 HAS SOPS 176746 HAS SOUS 114805 HAS SOUPS 114805 WITH SCORE 114981.746
AT ITER 3259 NEW BEST:: SOT 566310 SOS 176548 HAS SOPS 176548 HAS SOUS 114669 HAS SOUPS 114669 WITH SCORE 114845.548
AT ITER 3272 NEW BEST:: SOT 566266 SOS 176504 HAS SOPS 176504 HAS SOUS 114625 HAS SOUPS 114625 WITH SCORE 114801.504
AT ITER 3282 NEW BEST:: SOT 566310 SOS 176754 HAS SOPS 176754 HAS SOUS 114184 HAS SOUPS 114184 WITH SCORE 114360.754
AT ITER 3285 NEW BEST:: SOT 566310 SOS 176754 HAS SOPS 176754 HAS SOUS 114181 HAS SOUPS 114181 WITH SCORE 114357.754
AT ITER 3320 NEW BEST:: SOT 566293 SOS 176720 HAS SOPS 176720 HAS SOUS 114147 HAS SOUPS 114147 WITH SCORE 114323.72
AT ITER 3326 NEW BEST:: SOT 566217 SOS 176644 HAS SOPS 176644 HAS SOUS 114071 HAS SOUPS 114071 WITH SCORE 114247.644
AT ITER 3335 NEW BEST:: SOT 566217 SOS 176640 HAS SOPS 176640 HAS SOUS 114071 HAS SOUPS 114071 WITH SCORE 114247.64
AT ITER 3351 NEW BEST:: SOT 566207 SOS 176630 HAS SOPS 176630 HAS SOUS 114061 HAS SOUPS 114061 WITH SCORE 114237.63
AT ITER 3365 NEW BEST:: SOT 566121 SOS 176473 HAS SOPS 176473 HAS SOUS 113904 HAS SOUPS 113904 WITH SCORE 114080.473
AT ITER 3373 NEW BEST:: SOT 566115 SOS 176447 HAS SOPS 176447 HAS SOUS 113813 HAS SOUPS 113813 WITH SCORE 113989.447
AT ITER 3381 NEW BEST:: SOT 566087 SOS 176123 HAS SOPS 176123 HAS SOUS 113758 HAS SOUPS 113758 WITH SCORE 113934.123
AT ITER 3386 NEW BEST:: SOT 566001 SOS 175876 HAS SOPS 175876 HAS SOUS 113496 HAS SOUPS 113496 WITH SCORE 113671.876
AT ITER 3391 NEW BEST:: SOT 565645 SOS 175804 HAS SOPS 175804 HAS SOUS 113381 HAS SOUPS 113381 WITH SCORE 113556.804
AT ITER 3392 NEW BEST:: SOT 565661 SOS 175871 HAS SOPS 175871 HAS SOUS 113251 HAS SOUPS 113251 WITH SCORE 113426.871
AT ITER 3395 NEW BEST:: SOT 565639 SOS 175805 HAS SOPS 175805 HAS SOUS 113207 HAS SOUPS 113207 WITH SCORE 113382.805
AT ITER 3404 NEW BEST:: SOT 565618 SOS 175940 HAS SOPS 175940 HAS SOUS 113186 HAS SOUPS 113186 WITH SCORE 113361.94
AT ITER 3406 NEW BEST:: SOT 565632 SOS 175947 HAS SOPS 175947 HAS SOUS 113128 HAS SOUPS 113128 WITH SCORE 113303.947
AT ITER 3420 NEW BEST:: SOT 565614 SOS 175929 HAS SOPS 175929 HAS SOUS 113078 HAS SOUPS 113078 WITH SCORE 113253.929
AT ITER 3429 NEW BEST:: SOT 565737 SOS 175512 HAS SOPS 175512 HAS SOUS 113000 HAS SOUPS 113000 WITH SCORE 113175.512
AT ITER 3435 NEW BEST:: SOT 565737 SOS 175486 HAS SOPS 175486 HAS SOUS 112974 HAS SOUPS 112974 WITH SCORE 113149.486
AT ITER 3440 NEW BEST:: SOT 565702 SOS 175626 HAS SOPS 175626 HAS SOUS 112904 HAS SOUPS 112904 WITH SCORE 113079.626
AT ITER 3448 NEW BEST:: SOT 565687 SOS 175596 HAS SOPS 175596 HAS SOUS 112874 HAS SOUPS 112874 WITH SCORE 113049.596
AT ITER 3489 NEW BEST:: SOT 565648 SOS 175518 HAS SOPS 175518 HAS SOUS 112821 HAS SOUPS 112821 WITH SCORE 112996.518
AT ITER 3521 NEW BEST:: SOT 565757 SOS 175440 HAS SOPS 175440 HAS SOUS 112820 HAS SOUPS 112820 WITH SCORE 112995.44
AT ITER 3532 NEW BEST:: SOT 565757 SOS 175425 HAS SOPS 175425 HAS SOUS 112805 HAS SOUPS 112805 WITH SCORE 112980.425
AT ITER 3568 NEW BEST:: SOT 565648 SOS 175307 HAS SOPS 175307 HAS SOUS 112687 HAS SOUPS 112687 WITH SCORE 112862.307
AT ITER 3571 NEW BEST:: SOT 565377 SOS 175036 HAS SOPS 175036 HAS SOUS 112399 HAS SOUPS 112399 WITH SCORE 112574.036
AT ITER 3578 NEW BEST:: SOT 565377 SOS 175042 HAS SOPS 175042 HAS SOUS 112393 HAS SOUPS 112393 WITH SCORE 112568.042
AT ITER 3618 NEW BEST:: SOT 565377 SOS 174938 HAS SOPS 174938 HAS SOUS 112380 HAS SOUPS 112380 WITH SCORE 112554.938
AT ITER 3621 NEW BEST:: SOT 565326 SOS 174877 HAS SOPS 174877 HAS SOUS 112241 HAS SOUPS 112241 WITH SCORE 112415.877
AT ITER 3625 NEW BEST:: SOT 565256 SOS 174439 HAS SOPS 174439 HAS SOUS 112125 HAS SOUPS 112125 WITH SCORE 112299.439
AT ITER 3627 NEW BEST:: SOT 565246 SOS 174429 HAS SOPS 174429 HAS SOUS 112115 HAS SOUPS 112115 WITH SCORE 112289.429
AT ITER 3635 NEW BEST:: SOT 565242 SOS 174425 HAS SOPS 174425 HAS SOUS 112107 HAS SOUPS 112107 WITH SCORE 112281.425
AT ITER 3651 NEW BEST:: SOT 565236 SOS 174341 HAS SOPS 174341 HAS SOUS 112083 HAS SOUPS 112083 WITH SCORE 112257.341
AT ITER 3665 NEW BEST:: SOT 565236 SOS 174338 HAS SOPS 174338 HAS SOUS 112080 HAS SOUPS 112080 WITH SCORE 112254.338
AT ITER 3666 NEW BEST:: SOT 565236 SOS 174668 HAS SOPS 174668 HAS SOUS 112077 HAS SOUPS 112077 WITH SCORE 112251.668
AT ITER 3685 NEW BEST:: SOT 565236 SOS 174659 HAS SOPS 174659 HAS SOUS 112077 HAS SOUPS 112077 WITH SCORE 112251.659
AT ITER 3691 NEW BEST:: SOT 565213 SOS 174557 HAS SOPS 174557 HAS SOUS 112063 HAS SOUPS 112063 WITH SCORE 112237.557
AT ITER 3701 NEW BEST:: SOT 565172 SOS 174475 HAS SOPS 174475 HAS SOUS 112028 HAS SOUPS 112028 WITH SCORE 112202.475
AT ITER 3710 NEW BEST:: SOT 565172 SOS 174465 HAS SOPS 174465 HAS SOUS 112018 HAS SOUPS 112018 WITH SCORE 112192.465
AT ITER 3722 NEW BEST:: SOT 564914 SOS 174158 HAS SOPS 174158 HAS SOUS 111662 HAS SOUPS 111662 WITH SCORE 111836.158
AT ITER 3736 NEW BEST:: SOT 564910 SOS 174154 HAS SOPS 174154 HAS SOUS 111658 HAS SOUPS 111658 WITH SCORE 111832.154
AT ITER 3743 NEW BEST:: SOT 564877 SOS 174088 HAS SOPS 174088 HAS SOUS 111592 HAS SOUPS 111592 WITH SCORE 111766.088
AT ITER 3748 NEW BEST:: SOT 564856 SOS 174081 HAS SOPS 174081 HAS SOUS 111585 HAS SOUPS 111585 WITH SCORE 111759.081
AT ITER 3792 NEW BEST:: SOT 564854 SOS 174043 HAS SOPS 174043 HAS SOUS 111547 HAS SOUPS 111547 WITH SCORE 111721.043
AT ITER 3806 NEW BEST:: SOT 564717 SOS 173635 HAS SOPS 173635 HAS SOUS 111270 HAS SOUPS 111270 WITH SCORE 111443.635
AT ITER 3813 NEW BEST:: SOT 564717 SOS 173633 HAS SOPS 173633 HAS SOUS 111268 HAS SOUPS 111268 WITH SCORE 111441.633
AT ITER 3824 NEW BEST:: SOT 564717 SOS 173556 HAS SOPS 173556 HAS SOUS 111268 HAS SOUPS 111268 WITH SCORE 111441.556
AT ITER 3841 NEW BEST:: SOT 564365 SOS 173204 HAS SOPS 173204 HAS SOUS 110916 HAS SOUPS 110916 WITH SCORE 111089.204
AT ITER 3847 NEW BEST:: SOT 564365 SOS 173195 HAS SOPS 173195 HAS SOUS 110907 HAS SOUPS 110907 WITH SCORE 111080.195
AT ITER 3849 NEW BEST:: SOT 564365 SOS 173215 HAS SOPS 173215 HAS SOUS 110903 HAS SOUPS 110903 WITH SCORE 111076.215
AT ITER 3864 NEW BEST:: SOT 564274 SOS 173157 HAS SOPS 173157 HAS SOUS 110845 HAS SOUPS 110845 WITH SCORE 111018.157
AT ITER 3882 NEW BEST:: SOT 564281 SOS 173164 HAS SOPS 173164 HAS SOUS 110807 HAS SOUPS 110807 WITH SCORE 110980.164
AT ITER 3885 NEW BEST:: SOT 564258 SOS 173490 HAS SOPS 173490 HAS SOUS 110783 HAS SOUPS 110783 WITH SCORE 110956.49
AT ITER 3901 NEW BEST:: SOT 564272 SOS 173502 HAS SOPS 173502 HAS SOUS 110779 HAS SOUPS 110779 WITH SCORE 110952.502
AT ITER 3902 NEW BEST:: SOT 564030 SOS 171853 HAS SOPS 171853 HAS SOUS 108200 HAS SOUPS 108200 WITH SCORE 108371.853
AT ITER 3922 NEW BEST:: SOT 564029 SOS 171835 HAS SOPS 171835 HAS SOUS 108091 HAS SOUPS 108091 WITH SCORE 108262.835
AT ITER 3974 NEW BEST:: SOT 564095 SOS 171911 HAS SOPS 171911 HAS SOUS 107631 HAS SOUPS 107631 WITH SCORE 107802.911
AT ITER 4007 NEW BEST:: SOT 564095 SOS 171965 HAS SOPS 171965 HAS SOUS 107609 HAS SOUPS 107609 WITH SCORE 107780.965
AT ITER 4008 NEW BEST:: SOT 564105 SOS 171957 HAS SOPS 171957 HAS SOUS 107601 HAS SOUPS 107601 WITH SCORE 107772.957
AT ITER 4031 NEW BEST:: SOT 564105 SOS 171941 HAS SOPS 171941 HAS SOUS 107599 HAS SOUPS 107599 WITH SCORE 107770.941
AT ITER 4032 NEW BEST:: SOT 564560 SOS 172639 HAS SOPS 172639 HAS SOUS 107159 HAS SOUPS 107159 WITH SCORE 107331.639
AT ITER 4046 NEW BEST:: SOT 564590 SOS 172669 HAS SOPS 172669 HAS SOUS 107153 HAS SOUPS 107153 WITH SCORE 107325.669
AT ITER 4065 NEW BEST:: SOT 564555 SOS 172634 HAS SOPS 172634 HAS SOUS 107118 HAS SOUPS 107118 WITH SCORE 107290.634
AT ITER 4071 NEW BEST:: SOT 564577 SOS 172539 HAS SOPS 172539 HAS SOUS 107023 HAS SOUPS 107023 WITH SCORE 107195.539
AT ITER 4093 NEW BEST:: SOT 564572 SOS 172324 HAS SOPS 172324 HAS SOUS 106988 HAS SOUPS 106988 WITH SCORE 107160.324
AT ITER 4142 NEW BEST:: SOT 564530 SOS 172110 HAS SOPS 172110 HAS SOUS 106904 HAS SOUPS 106904 WITH SCORE 107076.11
AT ITER 4144 NEW BEST:: SOT 564520 SOS 172100 HAS SOPS 172100 HAS SOUS 106884 HAS SOUPS 106884 WITH SCORE 107056.1
AT ITER 4183 NEW BEST:: SOT 564355 SOS 171838 HAS SOPS 171838 HAS SOUS 106622 HAS SOUPS 106622 WITH SCORE 106793.838
AT ITER 4184 NEW BEST:: SOT 564294 SOS 171659 HAS SOPS 171659 HAS SOUS 106443 HAS SOUPS 106443 WITH SCORE 106614.659
AT ITER 4187 NEW BEST:: SOT 564107 SOS 171630 HAS SOPS 171630 HAS SOUS 106295 HAS SOUPS 106295 WITH SCORE 106466.63
AT ITER 4199 NEW BEST:: SOT 564110 SOS 171517 HAS SOPS 171517 HAS SOUS 106182 HAS SOUPS 106182 WITH SCORE 106353.517
AT ITER 4207 NEW BEST:: SOT 564090 SOS 171457 HAS SOPS 171457 HAS SOUS 106142 HAS SOUPS 106142 WITH SCORE 106313.457
AT ITER 4223 NEW BEST:: SOT 563959 SOS 171326 HAS SOPS 171326 HAS SOUS 106011 HAS SOUPS 106011 WITH SCORE 106182.326
AT ITER 4243 NEW BEST:: SOT 563920 SOS 171033 HAS SOPS 171033 HAS SOUS 105933 HAS SOUPS 105933 WITH SCORE 106104.033
AT ITER 4248 NEW BEST:: SOT 563920 SOS 171033 HAS SOPS 171033 HAS SOUS 105921 HAS SOUPS 105921 WITH SCORE 106092.033
AT ITER 4256 NEW BEST:: SOT 563884 SOS 170969 HAS SOPS 170969 HAS SOUS 105871 HAS SOUPS 105871 WITH SCORE 106041.969
AT ITER 4290 NEW BEST:: SOT 563741 SOS 170690 HAS SOPS 170690 HAS SOUS 105593 HAS SOUPS 105593 WITH SCORE 105763.69
AT ITER 4294 NEW BEST:: SOT 563741 SOS 170642 HAS SOPS 170642 HAS SOUS 105587 HAS SOUPS 105587 WITH SCORE 105757.642
AT ITER 4295 NEW BEST:: SOT 563741 SOS 170602 HAS SOPS 170602 HAS SOUS 105585 HAS SOUPS 105585 WITH SCORE 105755.602
AT ITER 4333 NEW BEST:: SOT 563737 SOS 170597 HAS SOPS 170597 HAS SOUS 105580 HAS SOUPS 105580 WITH SCORE 105750.597
AT ITER 4345 NEW BEST:: SOT 563706 SOS 170167 HAS SOPS 170167 HAS SOUS 105574 HAS SOUPS 105574 WITH SCORE 105744.167
AT ITER 4378 NEW BEST:: SOT 563705 SOS 170166 HAS SOPS 170166 HAS SOUS 105572 HAS SOUPS 105572 WITH SCORE 105742.166
AT ITER 4391 NEW BEST:: SOT 563692 SOS 170220 HAS SOPS 170220 HAS SOUS 105526 HAS SOUPS 105526 WITH SCORE 105696.22
AT ITER 4404 NEW BEST:: SOT 563672 SOS 170190 HAS SOPS 170190 HAS SOUS 105476 HAS SOUPS 105476 WITH SCORE 105646.19
AT ITER 4413 NEW BEST:: SOT 563672 SOS 170186 HAS SOPS 170186 HAS SOUS 105472 HAS SOUPS 105472 WITH SCORE 105642.186
AT ITER 4422 NEW BEST:: SOT 563672 SOS 170132 HAS SOPS 170132 HAS SOUS 105418 HAS SOUPS 105418 WITH SCORE 105588.132
AT ITER 4431 NEW BEST:: SOT 563510 SOS 169865 HAS SOPS 169865 HAS SOUS 105029 HAS SOUPS 105029 WITH SCORE 105198.865
AT ITER 4458 NEW BEST:: SOT 563632 SOS 169987 HAS SOPS 169987 HAS SOUS 105014 HAS SOUPS 105014 WITH SCORE 105183.987
AT ITER 4463 NEW BEST:: SOT 563615 SOS 169953 HAS SOPS 169953 HAS SOUS 104980 HAS SOUPS 104980 WITH SCORE 105149.953
AT ITER 4469 NEW BEST:: SOT 563614 SOS 169951 HAS SOPS 169951 HAS SOUS 104978 HAS SOUPS 104978 WITH SCORE 105147.951
AT ITER 4494 NEW BEST:: SOT 563510 SOS 169847 HAS SOPS 169847 HAS SOUS 104877 HAS SOUPS 104877 WITH SCORE 105046.847
AT ITER 4505 NEW BEST:: SOT 563452 SOS 169814 HAS SOPS 169814 HAS SOUS 104805 HAS SOUPS 104805 WITH SCORE 104974.814
AT ITER 4530 NEW BEST:: SOT 563427 SOS 169729 HAS SOPS 169729 HAS SOUS 104752 HAS SOUPS 104752 WITH SCORE 104921.729
AT ITER 4532 NEW BEST:: SOT 563376 SOS 170124 HAS SOPS 170124 HAS SOUS 104751 HAS SOUPS 104751 WITH SCORE 104921.124
AT ITER 4540 NEW BEST:: SOT 563376 SOS 170104 HAS SOPS 170104 HAS SOUS 104749 HAS SOUPS 104749 WITH SCORE 104919.104
AT ITER 4547 NEW BEST:: SOT 563365 SOS 170069 HAS SOPS 170069 HAS SOUS 104723 HAS SOUPS 104723 WITH SCORE 104893.069
AT ITER 4571 NEW BEST:: SOT 563348 SOS 170037 HAS SOPS 170037 HAS SOUS 104691 HAS SOUPS 104691 WITH SCORE 104861.037
AT ITER 4577 NEW BEST:: SOT 563298 SOS 169986 HAS SOPS 169986 HAS SOUS 104640 HAS SOUPS 104640 WITH SCORE 104809.986
AT ITER 4595 NEW BEST:: SOT 563167 SOS 169631 HAS SOPS 169631 HAS SOUS 104327 HAS SOUPS 104327 WITH SCORE 104496.631
AT ITER 4597 NEW BEST:: SOT 563148 SOS 169591 HAS SOPS 169591 HAS SOUS 104156 HAS SOUPS 104156 WITH SCORE 104325.591
AT ITER 4623 NEW BEST:: SOT 563054 SOS 169403 HAS SOPS 169403 HAS SOUS 103968 HAS SOUPS 103968 WITH SCORE 104137.403
AT ITER 4644 NEW BEST:: SOT 562972 SOS 169344 HAS SOPS 169344 HAS SOUS 103968 HAS SOUPS 103968 WITH SCORE 104137.344
AT ITER 4648 NEW BEST:: SOT 562972 SOS 169336 HAS SOPS 169336 HAS SOUS 103960 HAS SOUPS 103960 WITH SCORE 104129.336
AT ITER 4659 NEW BEST:: SOT 562934 SOS 169298 HAS SOPS 169298 HAS SOUS 103922 HAS SOUPS 103922 WITH SCORE 104091.298
AT ITER 4669 NEW BEST:: SOT 562898 SOS 169388 HAS SOPS 169388 HAS SOUS 103886 HAS SOUPS 103886 WITH SCORE 104055.388
AT ITER 4735 NEW BEST:: SOT 562886 SOS 169364 HAS SOPS 169364 HAS SOUS 103874 HAS SOUPS 103874 WITH SCORE 104043.364
AT ITER 4740 NEW BEST:: SOT 562906 SOS 169254 HAS SOPS 169254 HAS SOUS 103764 HAS SOUPS 103764 WITH SCORE 103933.254
AT ITER 4773 NEW BEST:: SOT 562863 SOS 169078 HAS SOPS 169078 HAS SOUS 103755 HAS SOUPS 103755 WITH SCORE 103924.078
AT ITER 4774 NEW BEST:: SOT 562737 SOS 168872 HAS SOPS 168872 HAS SOUS 103549 HAS SOUPS 103549 WITH SCORE 103717.872
AT ITER 4816 NEW BEST:: SOT 562737 SOS 168846 HAS SOPS 168846 HAS SOUS 103523 HAS SOUPS 103523 WITH SCORE 103691.846
AT ITER 4845 NEW BEST:: SOT 562734 SOS 168840 HAS SOPS 168840 HAS SOUS 103514 HAS SOUPS 103514 WITH SCORE 103682.84
AT ITER 4849 NEW BEST:: SOT 562720 SOS 168812 HAS SOPS 168812 HAS SOUS 103486 HAS SOUPS 103486 WITH SCORE 103654.812
AT ITER 4854 NEW BEST:: SOT 562720 SOS 168581 HAS SOPS 168581 HAS SOUS 103486 HAS SOUPS 103486 WITH SCORE 103654.581
AT ITER 4861 NEW BEST:: SOT 562639 SOS 168581 HAS SOPS 168581 HAS SOUS 103405 HAS SOUPS 103405 WITH SCORE 103573.581
AT ITER 4891 NEW BEST:: SOT 562437 SOS 168405 HAS SOPS 168405 HAS SOUS 103384 HAS SOUPS 103384 WITH SCORE 103552.405
AT ITER 4894 NEW BEST:: SOT 562371 SOS 168273 HAS SOPS 168273 HAS SOUS 103252 HAS SOUPS 103252 WITH SCORE 103420.273
AT ITER 4903 NEW BEST:: SOT 562319 SOS 168203 HAS SOPS 168203 HAS SOUS 103245 HAS SOUPS 103245 WITH SCORE 103413.203
AT ITER 4914 NEW BEST:: SOT 562319 SOS 168182 HAS SOPS 168182 HAS SOUS 103244 HAS SOUPS 103244 WITH SCORE 103412.182
AT ITER 4954 NEW BEST:: SOT 562152 SOS 168015 HAS SOPS 168015 HAS SOUS 103083 HAS SOUPS 103083 WITH SCORE 103251.015
AT ITER 4957 NEW BEST:: SOT 561978 SOS 167655 HAS SOPS 167655 HAS SOUS 102723 HAS SOUPS 102723 WITH SCORE 102890.655
AT ITER 4970 NEW BEST:: SOT 561956 SOS 167633 HAS SOPS 167633 HAS SOUS 102701 HAS SOUPS 102701 WITH SCORE 102868.633
AT ITER 4993 NEW BEST:: SOT 561955 SOS 167632 HAS SOPS 167632 HAS SOUS 102699 HAS SOUPS 102699 WITH SCORE 102866.632
AT ITER 5012 NEW BEST:: SOT 561917 SOS 167556 HAS SOPS 167556 HAS SOUS 102623 HAS SOUPS 102623 WITH SCORE 102790.556
AT ITER 5021 NEW BEST:: SOT 561896 SOS 167514 HAS SOPS 167514 HAS SOUS 102572 HAS SOUPS 102572 WITH SCORE 102739.514
AT ITER 5060 NEW BEST:: SOT 561865 SOS 167359 HAS SOPS 167359 HAS SOUS 102510 HAS SOUPS 102510 WITH SCORE 102677.359
AT ITER 5098 NEW BEST:: SOT 561841 SOS 167305 HAS SOPS 167305 HAS SOUS 102501 HAS SOUPS 102501 WITH SCORE 102668.305
AT ITER 5159 NEW BEST:: SOT 561805 SOS 167233 HAS SOPS 167233 HAS SOUS 102429 HAS SOUPS 102429 WITH SCORE 102596.233
AT ITER 5170 NEW BEST:: SOT 561767 SOS 167157 HAS SOPS 167157 HAS SOUS 102391 HAS SOUPS 102391 WITH SCORE 102558.157
AT ITER 5231 NEW BEST:: SOT 561759 SOS 167133 HAS SOPS 167133 HAS SOUS 102375 HAS SOUPS 102375 WITH SCORE 102542.133
AT ITER 5265 NEW BEST:: SOT 561731 SOS 166527 HAS SOPS 166527 HAS SOUS 102325 HAS SOUPS 102325 WITH SCORE 102491.527
AT ITER 5267 NEW BEST:: SOT 561626 SOS 166393 HAS SOPS 166393 HAS SOUS 102191 HAS SOUPS 102191 WITH SCORE 102357.393
AT ITER 5269 NEW BEST:: SOT 561560 SOS 166241 HAS SOPS 166241 HAS SOUS 101957 HAS SOUPS 101957 WITH SCORE 102123.241
AT ITER 5275 NEW BEST:: SOT 561560 SOS 165898 HAS SOPS 165898 HAS SOUS 101950 HAS SOUPS 101950 WITH SCORE 102115.898
AT ITER 5304 NEW BEST:: SOT 561560 SOS 165898 HAS SOPS 165898 HAS SOUS 101932 HAS SOUPS 101932 WITH SCORE 102097.898
AT ITER 5307 NEW BEST:: SOT 561558 SOS 165894 HAS SOPS 165894 HAS SOUS 101928 HAS SOUPS 101928 WITH SCORE 102093.894
AT ITER 5322 NEW BEST:: SOT 561557 SOS 165876 HAS SOPS 165876 HAS SOUS 101926 HAS SOUPS 101926 WITH SCORE 102091.876
AT ITER 5335 NEW BEST:: SOT 561550 SOS 166337 HAS SOPS 166337 HAS SOUS 101912 HAS SOUPS 101912 WITH SCORE 102078.337
AT ITER 5370 NEW BEST:: SOT 561542 SOS 166328 HAS SOPS 166328 HAS SOUS 101903 HAS SOUPS 101903 WITH SCORE 102069.328
AT ITER 5394 NEW BEST:: SOT 561524 SOS 166292 HAS SOPS 166292 HAS SOUS 101867 HAS SOUPS 101867 WITH SCORE 102033.292
AT ITER 5399 NEW BEST:: SOT 561488 SOS 166259 HAS SOPS 166259 HAS SOUS 101780 HAS SOUPS 101780 WITH SCORE 101946.259
AT ITER 5402 NEW BEST:: SOT 561479 SOS 166255 HAS SOPS 166255 HAS SOUS 101776 HAS SOUPS 101776 WITH SCORE 101942.255
AT ITER 5404 NEW BEST:: SOT 561479 SOS 166245 HAS SOPS 166245 HAS SOUS 101776 HAS SOUPS 101776 WITH SCORE 101942.245
AT ITER 5412 NEW BEST:: SOT 561478 SOS 166243 HAS SOPS 166243 HAS SOUS 101774 HAS SOUPS 101774 WITH SCORE 101940.243
AT ITER 5421 NEW BEST:: SOT 561471 SOS 166236 HAS SOPS 166236 HAS SOUS 101767 HAS SOUPS 101767 WITH SCORE 101933.236
AT ITER 5430 NEW BEST:: SOT 561451 SOS 165984 HAS SOPS 165984 HAS SOUS 101762 HAS SOUPS 101762 WITH SCORE 101927.984
AT ITER 5441 NEW BEST:: SOT 561451 SOS 165984 HAS SOPS 165984 HAS SOUS 101757 HAS SOUPS 101757 WITH SCORE 101922.984
AT ITER 5453 NEW BEST:: SOT 561465 SOS 165914 HAS SOPS 165914 HAS SOUS 101757 HAS SOUPS 101757 WITH SCORE 101922.914
AT ITER 5464 NEW BEST:: SOT 561465 SOS 165881 HAS SOPS 165881 HAS SOUS 101724 HAS SOUPS 101724 WITH SCORE 101889.881
AT ITER 5471 NEW BEST:: SOT 561508 SOS 165787 HAS SOPS 165787 HAS SOUS 101630 HAS SOUPS 101630 WITH SCORE 101795.787
AT ITER 5532 NEW BEST:: SOT 561503 SOS 165782 HAS SOPS 165782 HAS SOUS 101625 HAS SOUPS 101625 WITH SCORE 101790.782
AT ITER 5540 NEW BEST:: SOT 561503 SOS 165779 HAS SOPS 165779 HAS SOUS 101622 HAS SOUPS 101622 WITH SCORE 101787.779
AT ITER 5546 NEW BEST:: SOT 561502 SOS 165701 HAS SOPS 165701 HAS SOUS 101615 HAS SOUPS 101615 WITH SCORE 101780.701
AT ITER 5549 NEW BEST:: SOT 561306 SOS 166235 HAS SOPS 166235 HAS SOUS 101540 HAS SOUPS 101540 WITH SCORE 101706.235
AT ITER 5566 NEW BEST:: SOT 561288 SOS 166211 HAS SOPS 166211 HAS SOUS 101516 HAS SOUPS 101516 WITH SCORE 101682.211
AT ITER 5582 NEW BEST:: SOT 561288 SOS 166200 HAS SOPS 166200 HAS SOUS 101505 HAS SOUPS 101505 WITH SCORE 101671.2
AT ITER 5649 NEW BEST:: SOT 561217 SOS 166058 HAS SOPS 166058 HAS SOUS 101434 HAS SOUPS 101434 WITH SCORE 101600.058
AT ITER 5654 NEW BEST:: SOT 561196 SOS 166037 HAS SOPS 166037 HAS SOUS 101413 HAS SOUPS 101413 WITH SCORE 101579.037
AT ITER 5672 NEW BEST:: SOT 561171 SOS 165993 HAS SOPS 165993 HAS SOUS 101369 HAS SOUPS 101369 WITH SCORE 101534.993
AT ITER 5683 NEW BEST:: SOT 561137 SOS 165926 HAS SOPS 165926 HAS SOUS 101362 HAS SOUPS 101362 WITH SCORE 101527.926
AT ITER 5697 NEW BEST:: SOT 561106 SOS 165898 HAS SOPS 165898 HAS SOUS 101334 HAS SOUPS 101334 WITH SCORE 101499.898
AT ITER 5699 NEW BEST:: SOT 560654 SOS 165408 HAS SOPS 165408 HAS SOUS 101004 HAS SOUPS 101004 WITH SCORE 101169.408
AT ITER 5702 NEW BEST:: SOT 560628 SOS 165244 HAS SOPS 165244 HAS SOUS 100952 HAS SOUPS 100952 WITH SCORE 101117.244
AT ITER 5705 NEW BEST:: SOT 560546 SOS 165145 HAS SOPS 165145 HAS SOUS 100853 HAS SOUPS 100853 WITH SCORE 101018.145
AT ITER 5709 NEW BEST:: SOT 560478 SOS 164937 HAS SOPS 164937 HAS SOUS 100667 HAS SOUPS 100667 WITH SCORE 100831.937
AT ITER 5721 NEW BEST:: SOT 560411 SOS 164869 HAS SOPS 164869 HAS SOUS 100561 HAS SOUPS 100561 WITH SCORE 100725.869
AT ITER 5733 NEW BEST:: SOT 560338 SOS 164819 HAS SOPS 164819 HAS SOUS 100511 HAS SOUPS 100511 WITH SCORE 100675.819
AT ITER 5815 NEW BEST:: SOT 560119 SOS 164306 HAS SOPS 164306 HAS SOUS 99998 HAS SOUPS 99998 WITH SCORE 100162.306
AT ITER 5819 NEW BEST:: SOT 560109 SOS 164301 HAS SOPS 164301 HAS SOUS 99988 HAS SOUPS 99988 WITH SCORE 100152.301
AT ITER 5820 NEW BEST:: SOT 560109 SOS 164261 HAS SOPS 164261 HAS SOUS 99988 HAS SOUPS 99988 WITH SCORE 100152.261
AT ITER 5823 NEW BEST:: SOT 560109 SOS 164255 HAS SOPS 164255 HAS SOUS 99946 HAS SOUPS 99946 WITH SCORE 100110.255
AT ITER 5916 NEW BEST:: SOT 560101 SOS 164190 HAS SOPS 164190 HAS SOUS 99881 HAS SOUPS 99881 WITH SCORE 100045.19
AT ITER 5934 NEW BEST:: SOT 560099 SOS 164272 HAS SOPS 164272 HAS SOUS 99875 HAS SOUPS 99875 WITH SCORE 100039.272
AT ITER 5949 NEW BEST:: SOT 560099 SOS 164248 HAS SOPS 164248 HAS SOUS 99863 HAS SOUPS 99863 WITH SCORE 100027.248
AT ITER 5953 NEW BEST:: SOT 560099 SOS 164259 HAS SOPS 164259 HAS SOUS 99861 HAS SOUPS 99861 WITH SCORE 100025.259
AT ITER 5957 NEW BEST:: SOT 560095 SOS 164225 HAS SOPS 164225 HAS SOUS 99851 HAS SOUPS 99851 WITH SCORE 100015.225
AT ITER 5958 NEW BEST:: SOT 560095 SOS 164217 HAS SOPS 164217 HAS SOUS 99845 HAS SOUPS 99845 WITH SCORE 100009.217
AT ITER 5963 NEW BEST:: SOT 560123 SOS 164257 HAS SOPS 164257 HAS SOUS 99773 HAS SOUPS 99773 WITH SCORE 99937.257
AT ITER 5971 NEW BEST:: SOT 560095 SOS 164305 HAS SOPS 164305 HAS SOUS 99760 HAS SOUPS 99760 WITH SCORE 99924.305
AT ITER 5976 NEW BEST:: SOT 560045 SOS 164649 HAS SOPS 164649 HAS SOUS 99728 HAS SOUPS 99728 WITH SCORE 99892.649
AT ITER 5996 NEW BEST:: SOT 560050 SOS 164534 HAS SOPS 164534 HAS SOUS 99698 HAS SOUPS 99698 WITH SCORE 99862.534
AT ITER 6003 NEW BEST:: SOT 560041 SOS 164515 HAS SOPS 164515 HAS SOUS 99679 HAS SOUPS 99679 WITH SCORE 99843.515
AT ITER 6037 NEW BEST:: SOT 560037 SOS 164511 HAS SOPS 164511 HAS SOUS 99675 HAS SOUPS 99675 WITH SCORE 99839.511
AT ITER 6041 NEW BEST:: SOT 559989 SOS 164463 HAS SOPS 164463 HAS SOUS 99627 HAS SOUPS 99627 WITH SCORE 99791.463
AT ITER 6064 NEW BEST:: SOT 559973 SOS 164431 HAS SOPS 164431 HAS SOUS 99579 HAS SOUPS 99579 WITH SCORE 99743.431
AT ITER 6080 NEW BEST:: SOT 559918 SOS 164350 HAS SOPS 164350 HAS SOUS 99498 HAS SOUPS 99498 WITH SCORE 99662.35
AT ITER 6128 NEW BEST:: SOT 559934 SOS 164366 HAS SOPS 164366 HAS SOUS 99471 HAS SOUPS 99471 WITH SCORE 99635.366
AT ITER 6131 NEW BEST:: SOT 559875 SOS 164301 HAS SOPS 164301 HAS SOUS 99406 HAS SOUPS 99406 WITH SCORE 99570.301
AT ITER 6142 NEW BEST:: SOT 560371 SOS 164708 HAS SOPS 164708 HAS SOUS 98505 HAS SOUPS 98505 WITH SCORE 98669.708
AT ITER 6146 NEW BEST:: SOT 560364 SOS 164694 HAS SOPS 164694 HAS SOUS 98498 HAS SOUPS 98498 WITH SCORE 98662.694
AT ITER 6155 NEW BEST:: SOT 560358 SOS 164692 HAS SOPS 164692 HAS SOUS 98496 HAS SOUPS 98496 WITH SCORE 98660.692
AT ITER 6158 NEW BEST:: SOT 560279 SOS 164519 HAS SOPS 164519 HAS SOUS 98323 HAS SOUPS 98323 WITH SCORE 98487.519
AT ITER 6176 NEW BEST:: SOT 560266 SOS 164506 HAS SOPS 164506 HAS SOUS 98310 HAS SOUPS 98310 WITH SCORE 98474.506
AT ITER 6190 NEW BEST:: SOT 560220 SOS 164440 HAS SOPS 164440 HAS SOUS 98244 HAS SOUPS 98244 WITH SCORE 98408.44
AT ITER 6194 NEW BEST:: SOT 560189 SOS 164422 HAS SOPS 164422 HAS SOUS 98226 HAS SOUPS 98226 WITH SCORE 98390.422
AT ITER 6241 NEW BEST:: SOT 560191 SOS 164394 HAS SOPS 164394 HAS SOUS 98198 HAS SOUPS 98198 WITH SCORE 98362.394
AT ITER 6288 NEW BEST:: SOT 560171 SOS 164354 HAS SOPS 164354 HAS SOUS 98158 HAS SOUPS 98158 WITH SCORE 98322.354
AT ITER 6298 NEW BEST:: SOT 560090 SOS 164223 HAS SOPS 164223 HAS SOUS 98037 HAS SOUPS 98037 WITH SCORE 98201.223
AT ITER 6309 NEW BEST:: SOT 560036 SOS 164058 HAS SOPS 164058 HAS SOUS 97872 HAS SOUPS 97872 WITH SCORE 98036.058
AT ITER 6320 NEW BEST:: SOT 560036 SOS 164049 HAS SOPS 164049 HAS SOUS 97863 HAS SOUPS 97863 WITH SCORE 98027.049
AT ITER 6331 NEW BEST:: SOT 560018 SOS 164013 HAS SOPS 164013 HAS SOUS 97827 HAS SOUPS 97827 WITH SCORE 97991.013
AT ITER 6368 NEW BEST:: SOT 559975 SOS 163953 HAS SOPS 163953 HAS SOUS 97741 HAS SOUPS 97741 WITH SCORE 97904.953
AT ITER 6453 NEW BEST:: SOT 559930 SOS 163863 HAS SOPS 163863 HAS SOUS 97670 HAS SOUPS 97670 WITH SCORE 97833.863
AT ITER 6469 NEW BEST:: SOT 559952 SOS 163148 HAS SOPS 163148 HAS SOUS 97669 HAS SOUPS 97669 WITH SCORE 97832.148
AT ITER 6476 NEW BEST:: SOT 559934 SOS 163104 HAS SOPS 163104 HAS SOUS 97668 HAS SOUPS 97668 WITH SCORE 97831.104
AT ITER 6483 NEW BEST:: SOT 559934 SOS 163048 HAS SOPS 163048 HAS SOUS 97668 HAS SOUPS 97668 WITH SCORE 97831.048
AT ITER 6499 NEW BEST:: SOT 559900 SOS 162980 HAS SOPS 162980 HAS SOUS 97617 HAS SOUPS 97617 WITH SCORE 97779.98
AT ITER 6500 NEW BEST:: SOT 559885 SOS 163039 HAS SOPS 163039 HAS SOUS 97602 HAS SOUPS 97602 WITH SCORE 97765.039
AT ITER 6516 NEW BEST:: SOT 559814 SOS 163824 HAS SOPS 163824 HAS SOUS 97464 HAS SOUPS 97464 WITH SCORE 97627.824
AT ITER 6521 NEW BEST:: SOT 559773 SOS 163776 HAS SOPS 163776 HAS SOUS 97348 HAS SOUPS 97348 WITH SCORE 97511.776
AT ITER 6573 NEW BEST:: SOT 559645 SOS 163644 HAS SOPS 163644 HAS SOUS 97210 HAS SOUPS 97210 WITH SCORE 97373.644
AT ITER 6637 NEW BEST:: SOT 559615 SOS 163584 HAS SOPS 163584 HAS SOUS 97150 HAS SOUPS 97150 WITH SCORE 97313.584
AT ITER 6672 NEW BEST:: SOT 559540 SOS 163441 HAS SOPS 163441 HAS SOUS 97007 HAS SOUPS 97007 WITH SCORE 97170.441
AT ITER 6722 NEW BEST:: SOT 559587 SOS 163159 HAS SOPS 163159 HAS SOUS 96960 HAS SOUPS 96960 WITH SCORE 97123.159
AT ITER 6724 NEW BEST:: SOT 559098 SOS 162633 HAS SOPS 162633 HAS SOUS 96642 HAS SOUPS 96642 WITH SCORE 96804.633
AT ITER 6740 NEW BEST:: SOT 559019 SOS 162542 HAS SOPS 162542 HAS SOUS 96551 HAS SOUPS 96551 WITH SCORE 96713.542
AT ITER 6764 NEW BEST:: SOT 559012 SOS 162058 HAS SOPS 162058 HAS SOUS 96476 HAS SOUPS 96476 WITH SCORE 96638.058
AT ITER 6794 NEW BEST:: SOT 559009 SOS 162059 HAS SOPS 162059 HAS SOUS 96421 HAS SOUPS 96421 WITH SCORE 96583.059
AT ITER 6827 NEW BEST:: SOT 559009 SOS 161996 HAS SOPS 161996 HAS SOUS 96421 HAS SOUPS 96421 WITH SCORE 96582.996
AT ITER 6833 NEW BEST:: SOT 558932 SOS 161915 HAS SOPS 161915 HAS SOUS 96340 HAS SOUPS 96340 WITH SCORE 96501.915
AT ITER 6848 NEW BEST:: SOT 558934 SOS 161917 HAS SOPS 161917 HAS SOUS 96325 HAS SOUPS 96325 WITH SCORE 96486.917
AT ITER 6879 NEW BEST:: SOT 558921 SOS 161865 HAS SOPS 161865 HAS SOUS 96299 HAS SOUPS 96299 WITH SCORE 96460.865
AT ITER 6884 NEW BEST:: SOT 558927 SOS 161837 HAS SOPS 161837 HAS SOUS 96271 HAS SOUPS 96271 WITH SCORE 96432.837
AT ITER 6897 NEW BEST:: SOT 558898 SOS 161808 HAS SOPS 161808 HAS SOUS 96265 HAS SOUPS 96265 WITH SCORE 96426.808
AT ITER 6910 NEW BEST:: SOT 558881 SOS 161774 HAS SOPS 161774 HAS SOUS 96248 HAS SOUPS 96248 WITH SCORE 96409.774
AT ITER 6911 NEW BEST:: SOT 558880 SOS 161821 HAS SOPS 161821 HAS SOUS 96246 HAS SOUPS 96246 WITH SCORE 96407.821
AT ITER 6914 NEW BEST:: SOT 558878 SOS 161817 HAS SOPS 161817 HAS SOUS 96242 HAS SOUPS 96242 WITH SCORE 96403.817
AT ITER 6918 NEW BEST:: SOT 558878 SOS 161482 HAS SOPS 161482 HAS SOUS 96232 HAS SOUPS 96232 WITH SCORE 96393.482
AT ITER 6919 NEW BEST:: SOT 558781 SOS 160720 HAS SOPS 160720 HAS SOUS 96017 HAS SOUPS 96017 WITH SCORE 96177.72
AT ITER 6922 NEW BEST:: SOT 558768 SOS 160699 HAS SOPS 160699 HAS SOUS 95948 HAS SOUPS 95948 WITH SCORE 96108.699
AT ITER 6925 NEW BEST:: SOT 558762 SOS 160690 HAS SOPS 160690 HAS SOUS 95939 HAS SOUPS 95939 WITH SCORE 96099.69
AT ITER 6945 NEW BEST:: SOT 558734 SOS 160648 HAS SOPS 160648 HAS SOUS 95897 HAS SOUPS 95897 WITH SCORE 96057.648
AT ITER 6946 NEW BEST:: SOT 558728 SOS 160636 HAS SOPS 160636 HAS SOUS 95885 HAS SOUPS 95885 WITH SCORE 96045.636
AT ITER 6955 NEW BEST:: SOT 558728 SOS 160636 HAS SOPS 160636 HAS SOUS 95849 HAS SOUPS 95849 WITH SCORE 96009.636
AT ITER 7010 NEW BEST:: SOT 558728 SOS 160581 HAS SOPS 160581 HAS SOUS 95794 HAS SOUPS 95794 WITH SCORE 95954.581
AT ITER 7011 NEW BEST:: SOT 558423 SOS 161622 HAS SOPS 161622 HAS SOUS 95501 HAS SOUPS 95501 WITH SCORE 95662.622
AT ITER 7021 NEW BEST:: SOT 558416 SOS 161592 HAS SOPS 161592 HAS SOUS 95487 HAS SOUPS 95487 WITH SCORE 95648.592
AT ITER 7046 NEW BEST:: SOT 558430 SOS 161545 HAS SOPS 161545 HAS SOUS 95466 HAS SOUPS 95466 WITH SCORE 95627.545
AT ITER 7067 NEW BEST:: SOT 558429 SOS 161542 HAS SOPS 161542 HAS SOUS 95462 HAS SOUPS 95462 WITH SCORE 95623.542
AT ITER 7072 NEW BEST:: SOT 558427 SOS 161526 HAS SOPS 161526 HAS SOUS 95456 HAS SOUPS 95456 WITH SCORE 95617.526
AT ITER 7079 NEW BEST:: SOT 558407 SOS 161571 HAS SOPS 161571 HAS SOUS 95441 HAS SOUPS 95441 WITH SCORE 95602.571
AT ITER 7094 NEW BEST:: SOT 558360 SOS 161407 HAS SOPS 161407 HAS SOUS 95360 HAS SOUPS 95360 WITH SCORE 95521.407
AT ITER 7108 NEW BEST:: SOT 558360 SOS 161375 HAS SOPS 161375 HAS SOUS 95328 HAS SOUPS 95328 WITH SCORE 95489.375
AT ITER 7182 NEW BEST:: SOT 558323 SOS 161264 HAS SOPS 161264 HAS SOUS 95254 HAS SOUPS 95254 WITH SCORE 95415.264
AT ITER 7209 NEW BEST:: SOT 558323 SOS 161225 HAS SOPS 161225 HAS SOUS 95215 HAS SOUPS 95215 WITH SCORE 95376.225
AT ITER 7233 NEW BEST:: SOT 558322 SOS 161224 HAS SOPS 161224 HAS SOUS 95213 HAS SOUPS 95213 WITH SCORE 95374.224
AT ITER 7256 NEW BEST:: SOT 558279 SOS 161138 HAS SOPS 161138 HAS SOUS 95170 HAS SOUPS 95170 WITH SCORE 95331.138
AT ITER 7265 NEW BEST:: SOT 558243 SOS 161807 HAS SOPS 161807 HAS SOUS 95149 HAS SOUPS 95149 WITH SCORE 95310.807
AT ITER 7296 NEW BEST:: SOT 558243 SOS 161838 HAS SOPS 161838 HAS SOUS 95118 HAS SOUPS 95118 WITH SCORE 95279.838
AT ITER 7316 NEW BEST:: SOT 558172 SOS 161715 HAS SOPS 161715 HAS SOUS 94976 HAS SOUPS 94976 WITH SCORE 95137.715
AT ITER 7320 NEW BEST:: SOT 558039 SOS 161620 HAS SOPS 161620 HAS SOUS 94881 HAS SOUPS 94881 WITH SCORE 95042.62
AT ITER 7327 NEW BEST:: SOT 557974 SOS 161427 HAS SOPS 161427 HAS SOUS 94858 HAS SOUPS 94858 WITH SCORE 95019.427
AT ITER 7399 NEW BEST:: SOT 558044 SOS 161245 HAS SOPS 161245 HAS SOUS 94683 HAS SOUPS 94683 WITH SCORE 94844.245
AT ITER 7408 NEW BEST:: SOT 558020 SOS 161221 HAS SOPS 161221 HAS SOUS 94659 HAS SOUPS 94659 WITH SCORE 94820.221
AT ITER 7422 NEW BEST:: SOT 558017 SOS 161219 HAS SOPS 161219 HAS SOUS 94657 HAS SOUPS 94657 WITH SCORE 94818.219
AT ITER 7476 NEW BEST:: SOT 557975 SOS 161176 HAS SOPS 161176 HAS SOUS 94614 HAS SOUPS 94614 WITH SCORE 94775.176
AT ITER 7490 NEW BEST:: SOT 557954 SOS 161123 HAS SOPS 161123 HAS SOUS 94561 HAS SOUPS 94561 WITH SCORE 94722.123
AT ITER 7515 NEW BEST:: SOT 557954 SOS 161054 HAS SOPS 161054 HAS SOUS 94561 HAS SOUPS 94561 WITH SCORE 94722.054
AT ITER 7536 NEW BEST:: SOT 557954 SOS 160795 HAS SOPS 160795 HAS SOUS 94524 HAS SOUPS 94524 WITH SCORE 94684.795
AT ITER 7555 NEW BEST:: SOT 557947 SOS 160781 HAS SOPS 160781 HAS SOUS 94510 HAS SOUPS 94510 WITH SCORE 94670.781
AT ITER 7581 NEW BEST:: SOT 557913 SOS 160747 HAS SOPS 160747 HAS SOUS 94476 HAS SOUPS 94476 WITH SCORE 94636.747
AT ITER 7583 NEW BEST:: SOT 558097 SOS 160787 HAS SOPS 160787 HAS SOUS 94457 HAS SOUPS 94457 WITH SCORE 94617.787
AT ITER 7600 NEW BEST:: SOT 558097 SOS 160802 HAS SOPS 160802 HAS SOUS 94442 HAS SOUPS 94442 WITH SCORE 94602.802
AT ITER 7621 NEW BEST:: SOT 558049 SOS 160794 HAS SOPS 160794 HAS SOUS 94434 HAS SOUPS 94434 WITH SCORE 94594.794
AT ITER 7632 NEW BEST:: SOT 558038 SOS 160761 HAS SOPS 160761 HAS SOUS 94423 HAS SOUPS 94423 WITH SCORE 94583.761
AT ITER 7644 NEW BEST:: SOT 558036 SOS 160757 HAS SOPS 160757 HAS SOUS 94419 HAS SOUPS 94419 WITH SCORE 94579.757
AT ITER 7651 NEW BEST:: SOT 558017 SOS 160481 HAS SOPS 160481 HAS SOUS 94378 HAS SOUPS 94378 WITH SCORE 94538.481
AT ITER 7666 NEW BEST:: SOT 557907 SOS 160370 HAS SOPS 160370 HAS SOUS 94248 HAS SOUPS 94248 WITH SCORE 94408.37
AT ITER 7670 NEW BEST:: SOT 557956 SOS 160364 HAS SOPS 160364 HAS SOUS 94242 HAS SOUPS 94242 WITH SCORE 94402.364
AT ITER 7689 NEW BEST:: SOT 557956 SOS 160287 HAS SOPS 160287 HAS SOUS 94165 HAS SOUPS 94165 WITH SCORE 94325.287
AT ITER 7698 NEW BEST:: SOT 557960 SOS 160329 HAS SOPS 160329 HAS SOUS 94138 HAS SOUPS 94138 WITH SCORE 94298.329
AT ITER 7739 NEW BEST:: SOT 557934 SOS 160303 HAS SOPS 160303 HAS SOUS 94086 HAS SOUPS 94086 WITH SCORE 94246.303
AT ITER 7780 NEW BEST:: SOT 557912 SOS 160303 HAS SOPS 160303 HAS SOUS 94064 HAS SOUPS 94064 WITH SCORE 94224.303
AT ITER 7790 NEW BEST:: SOT 557779 SOS 160214 HAS SOPS 160214 HAS SOUS 93975 HAS SOUPS 93975 WITH SCORE 94135.214
AT ITER 7836 NEW BEST:: SOT 557750 SOS 160045 HAS SOPS 160045 HAS SOUS 93954 HAS SOUPS 93954 WITH SCORE 94114.045
AT ITER 7856 NEW BEST:: SOT 557699 SOS 159941 HAS SOPS 159941 HAS SOUS 93850 HAS SOUPS 93850 WITH SCORE 94009.941
AT ITER 7890 NEW BEST:: SOT 557699 SOS 159929 HAS SOPS 159929 HAS SOUS 93850 HAS SOUPS 93850 WITH SCORE 94009.929
AT ITER 7914 NEW BEST:: SOT 557587 SOS 159810 HAS SOPS 159810 HAS SOUS 93836 HAS SOUPS 93836 WITH SCORE 93995.81
AT ITER 7944 NEW BEST:: SOT 557577 SOS 159553 HAS SOPS 159553 HAS SOUS 93779 HAS SOUPS 93779 WITH SCORE 93938.553
AT ITER 7968 NEW BEST:: SOT 557550 SOS 159284 HAS SOPS 159284 HAS SOUS 93743 HAS SOUPS 93743 WITH SCORE 93902.284
AT ITER 8002 NEW BEST:: SOT 557506 SOS 158348 HAS SOPS 158348 HAS SOUS 93621 HAS SOUPS 93621 WITH SCORE 93779.348
AT ITER 8030 NEW BEST:: SOT 557544 SOS 158072 HAS SOPS 158072 HAS SOUS 93610 HAS SOUPS 93610 WITH SCORE 93768.072
AT ITER 8061 NEW BEST:: SOT 557520 SOS 158034 HAS SOPS 158034 HAS SOUS 93572 HAS SOUPS 93572 WITH SCORE 93730.034
AT ITER 8081 NEW BEST:: SOT 557445 SOS 157979 HAS SOPS 157979 HAS SOUS 93405 HAS SOUPS 93405 WITH SCORE 93562.979
AT ITER 8085 NEW BEST:: SOT 557257 SOS 157818 HAS SOPS 157818 HAS SOUS 93372 HAS SOUPS 93372 WITH SCORE 93529.818
AT ITER 8145 NEW BEST:: SOT 557209 SOS 159103 HAS SOPS 159103 HAS SOUS 93324 HAS SOUPS 93324 WITH SCORE 93483.103
AT ITER 8149 NEW BEST:: SOT 557167 SOS 159053 HAS SOPS 159053 HAS SOUS 93276 HAS SOUPS 93276 WITH SCORE 93435.053
AT ITER 8163 NEW BEST:: SOT 557138 SOS 158770 HAS SOPS 158770 HAS SOUS 93205 HAS SOUPS 93205 WITH SCORE 93363.77
AT ITER 8169 NEW BEST:: SOT 557048 SOS 158463 HAS SOPS 158463 HAS SOUS 93144 HAS SOUPS 93144 WITH SCORE 93302.463
AT ITER 8182 NEW BEST:: SOT 557046 SOS 158461 HAS SOPS 158461 HAS SOUS 93142 HAS SOUPS 93142 WITH SCORE 93300.461
AT ITER 8188 NEW BEST:: SOT 556815 SOS 158110 HAS SOPS 158110 HAS SOUS 92871 HAS SOUPS 92871 WITH SCORE 93029.11
AT ITER 8192 NEW BEST:: SOT 556759 SOS 157998 HAS SOPS 157998 HAS SOUS 92759 HAS SOUPS 92759 WITH SCORE 92916.998
AT ITER 8223 NEW BEST:: SOT 556655 SOS 157987 HAS SOPS 157987 HAS SOUS 92748 HAS SOUPS 92748 WITH SCORE 92905.987
AT ITER 8237 NEW BEST:: SOT 556620 SOS 157927 HAS SOPS 157927 HAS SOUS 92696 HAS SOUPS 92696 WITH SCORE 92853.927
AT ITER 8290 NEW BEST:: SOT 556602 SOS 157909 HAS SOPS 157909 HAS SOUS 92676 HAS SOUPS 92676 WITH SCORE 92833.909
AT ITER 8326 NEW BEST:: SOT 556539 SOS 157798 HAS SOPS 157798 HAS SOUS 92565 HAS SOUPS 92565 WITH SCORE 92722.798
AT ITER 8361 NEW BEST:: SOT 556460 SOS 157719 HAS SOPS 157719 HAS SOUS 92560 HAS SOUPS 92560 WITH SCORE 92717.719
AT ITER 8365 NEW BEST:: SOT 556458 SOS 157715 HAS SOPS 157715 HAS SOUS 92556 HAS SOUPS 92556 WITH SCORE 92713.715
AT ITER 8379 NEW BEST:: SOT 556390 SOS 157558 HAS SOPS 157558 HAS SOUS 92399 HAS SOUPS 92399 WITH SCORE 92556.558
AT ITER 8436 NEW BEST:: SOT 556390 SOS 157413 HAS SOPS 157413 HAS SOUS 92254 HAS SOUPS 92254 WITH SCORE 92411.413
AT ITER 8438 NEW BEST:: SOT 556348 SOS 157362 HAS SOPS 157362 HAS SOUS 92203 HAS SOUPS 92203 WITH SCORE 92360.362
AT ITER 8476 NEW BEST:: SOT 556348 SOS 157352 HAS SOPS 157352 HAS SOUS 92193 HAS SOUPS 92193 WITH SCORE 92350.352
AT ITER 8484 NEW BEST:: SOT 556333 SOS 157337 HAS SOPS 157337 HAS SOUS 92163 HAS SOUPS 92163 WITH SCORE 92320.337
AT ITER 8485 NEW BEST:: SOT 556333 SOS 157321 HAS SOPS 157321 HAS SOUS 92147 HAS SOUPS 92147 WITH SCORE 92304.321
AT ITER 8492 NEW BEST:: SOT 556280 SOS 157215 HAS SOPS 157215 HAS SOUS 92041 HAS SOUPS 92041 WITH SCORE 92198.215
AT ITER 8500 NEW BEST:: SOT 556264 SOS 157167 HAS SOPS 157167 HAS SOUS 92009 HAS SOUPS 92009 WITH SCORE 92166.167
AT ITER 8548 NEW BEST:: SOT 556263 SOS 157163 HAS SOPS 157163 HAS SOUS 92005 HAS SOUPS 92005 WITH SCORE 92162.163
AT ITER 8572 NEW BEST:: SOT 556164 SOS 156932 HAS SOPS 156932 HAS SOUS 91774 HAS SOUPS 91774 WITH SCORE 91930.932
AT ITER 8578 NEW BEST:: SOT 556136 SOS 156904 HAS SOPS 156904 HAS SOUS 91354 HAS SOUPS 91354 WITH SCORE 91510.904
AT ITER 8597 NEW BEST:: SOT 556136 SOS 156862 HAS SOPS 156862 HAS SOUS 91354 HAS SOUPS 91354 WITH SCORE 91510.862
AT ITER 8602 NEW BEST:: SOT 556026 SOS 156681 HAS SOPS 156681 HAS SOUS 90665 HAS SOUPS 90665 WITH SCORE 90821.681
AT ITER 8606 NEW BEST:: SOT 556025 SOS 156680 HAS SOPS 156680 HAS SOUS 90664 HAS SOUPS 90664 WITH SCORE 90820.68
AT ITER 8612 NEW BEST:: SOT 556016 SOS 156662 HAS SOPS 156662 HAS SOUS 90637 HAS SOUPS 90637 WITH SCORE 90793.662
AT ITER 8624 NEW BEST:: SOT 555994 SOS 156640 HAS SOPS 156640 HAS SOUS 90615 HAS SOUPS 90615 WITH SCORE 90771.64
AT ITER 8628 NEW BEST:: SOT 555982 SOS 156616 HAS SOPS 156616 HAS SOUS 90591 HAS SOUPS 90591 WITH SCORE 90747.616
AT ITER 8651 NEW BEST:: SOT 555991 SOS 156625 HAS SOPS 156625 HAS SOUS 90575 HAS SOUPS 90575 WITH SCORE 90731.625
AT ITER 8656 NEW BEST:: SOT 555984 SOS 156509 HAS SOPS 156509 HAS SOUS 90561 HAS SOUPS 90561 WITH SCORE 90717.509
AT ITER 8662 NEW BEST:: SOT 555984 SOS 156407 HAS SOPS 156407 HAS SOUS 90557 HAS SOUPS 90557 WITH SCORE 90713.407
AT ITER 8666 NEW BEST:: SOT 555984 SOS 156427 HAS SOPS 156427 HAS SOUS 90448 HAS SOUPS 90448 WITH SCORE 90604.427
AT ITER 8720 NEW BEST:: SOT 555945 SOS 156350 HAS SOPS 156350 HAS SOUS 90134 HAS SOUPS 90134 WITH SCORE 90290.35
AT ITER 8757 NEW BEST:: SOT 555916 SOS 156111 HAS SOPS 156111 HAS SOUS 90058 HAS SOUPS 90058 WITH SCORE 90214.111
AT ITER 8758 NEW BEST:: SOT 555900 SOS 156095 HAS SOPS 156095 HAS SOUS 90042 HAS SOUPS 90042 WITH SCORE 90198.095
AT ITER 8762 NEW BEST:: SOT 555914 SOS 155885 HAS SOPS 155885 HAS SOUS 90038 HAS SOUPS 90038 WITH SCORE 90193.885
AT ITER 8773 NEW BEST:: SOT 555884 SOS 155899 HAS SOPS 155899 HAS SOUS 89973 HAS SOUPS 89973 WITH SCORE 90128.899
AT ITER 8776 NEW BEST:: SOT 555795 SOS 156063 HAS SOPS 156063 HAS SOUS 89884 HAS SOUPS 89884 WITH SCORE 90040.063
AT ITER 8803 NEW BEST:: SOT 555727 SOS 155979 HAS SOPS 155979 HAS SOUS 89800 HAS SOUPS 89800 WITH SCORE 89955.979
AT ITER 8817 NEW BEST:: SOT 555661 SOS 155749 HAS SOPS 155749 HAS SOUS 89702 HAS SOUPS 89702 WITH SCORE 89857.749
AT ITER 8834 NEW BEST:: SOT 555661 SOS 155740 HAS SOPS 155740 HAS SOUS 89693 HAS SOUPS 89693 WITH SCORE 89848.74
AT ITER 8850 NEW BEST:: SOT 555608 SOS 155687 HAS SOPS 155687 HAS SOUS 89640 HAS SOUPS 89640 WITH SCORE 89795.687
AT ITER 8857 NEW BEST:: SOT 555440 SOS 155483 HAS SOPS 155483 HAS SOUS 89558 HAS SOUPS 89558 WITH SCORE 89713.483
AT ITER 8860 NEW BEST:: SOT 555434 SOS 155621 HAS SOPS 155621 HAS SOUS 89556 HAS SOUPS 89556 WITH SCORE 89711.621
AT ITER 8865 NEW BEST:: SOT 555422 SOS 155573 HAS SOPS 155573 HAS SOUS 89496 HAS SOUPS 89496 WITH SCORE 89651.573
AT ITER 8880 NEW BEST:: SOT 555342 SOS 155464 HAS SOPS 155464 HAS SOUS 89375 HAS SOUPS 89375 WITH SCORE 89530.464
AT ITER 8882 NEW BEST:: SOT 555331 SOS 155442 HAS SOPS 155442 HAS SOUS 89353 HAS SOUPS 89353 WITH SCORE 89508.442
AT ITER 8914 NEW BEST:: SOT 555207 SOS 156228 HAS SOPS 156228 HAS SOUS 89265 HAS SOUPS 89265 WITH SCORE 89421.228
AT ITER 8960 NEW BEST:: SOT 555217 SOS 156225 HAS SOPS 156225 HAS SOUS 89262 HAS SOUPS 89262 WITH SCORE 89418.225
AT ITER 8961 NEW BEST:: SOT 555156 SOS 156079 HAS SOPS 156079 HAS SOUS 89116 HAS SOUPS 89116 WITH SCORE 89272.079
AT ITER 8977 NEW BEST:: SOT 555120 SOS 156924 HAS SOPS 156924 HAS SOUS 89044 HAS SOUPS 89044 WITH SCORE 89200.924
AT ITER 8984 NEW BEST:: SOT 555120 SOS 156612 HAS SOPS 156612 HAS SOUS 89005 HAS SOUPS 89005 WITH SCORE 89161.612
AT ITER 8995 NEW BEST:: SOT 555106 SOS 156586 HAS SOPS 156586 HAS SOUS 88979 HAS SOUPS 88979 WITH SCORE 89135.586
AT ITER 9001 NEW BEST:: SOT 555086 SOS 156501 HAS SOPS 156501 HAS SOUS 88939 HAS SOUPS 88939 WITH SCORE 89095.501
AT ITER 9016 NEW BEST:: SOT 555086 SOS 156501 HAS SOPS 156501 HAS SOUS 88936 HAS SOUPS 88936 WITH SCORE 89092.501
AT ITER 9020 NEW BEST:: SOT 555077 SOS 156474 HAS SOPS 156474 HAS SOUS 88909 HAS SOUPS 88909 WITH SCORE 89065.474
AT ITER 9026 NEW BEST:: SOT 554999 SOS 156390 HAS SOPS 156390 HAS SOUS 88825 HAS SOUPS 88825 WITH SCORE 88981.39
AT ITER 9072 NEW BEST:: SOT 554999 SOS 156342 HAS SOPS 156342 HAS SOUS 88825 HAS SOUPS 88825 WITH SCORE 88981.342
AT ITER 9078 NEW BEST:: SOT 554999 SOS 156342 HAS SOPS 156342 HAS SOUS 88772 HAS SOUPS 88772 WITH SCORE 88928.342
AT ITER 9137 NEW BEST:: SOT 554992 SOS 156279 HAS SOPS 156279 HAS SOUS 88758 HAS SOUPS 88758 WITH SCORE 88914.279
AT ITER 9160 NEW BEST:: SOT 554992 SOS 156279 HAS SOPS 156279 HAS SOUS 88698 HAS SOUPS 88698 WITH SCORE 88854.279
AT ITER 9163 NEW BEST:: SOT 554984 SOS 156271 HAS SOPS 156271 HAS SOUS 88690 HAS SOUPS 88690 WITH SCORE 88846.271
AT ITER 9164 NEW BEST:: SOT 554967 SOS 156254 HAS SOPS 156254 HAS SOUS 88657 HAS SOUPS 88657 WITH SCORE 88813.254
AT ITER 9168 NEW BEST:: SOT 554934 SOS 156220 HAS SOPS 156220 HAS SOUS 88623 HAS SOUPS 88623 WITH SCORE 88779.22
AT ITER 9169 NEW BEST:: SOT 554928 SOS 156220 HAS SOPS 156220 HAS SOUS 88614 HAS SOUPS 88614 WITH SCORE 88770.22
AT ITER 9172 NEW BEST:: SOT 554925 SOS 156214 HAS SOPS 156214 HAS SOUS 88608 HAS SOUPS 88608 WITH SCORE 88764.214
AT ITER 9187 NEW BEST:: SOT 554875 SOS 156128 HAS SOPS 156128 HAS SOUS 88545 HAS SOUPS 88545 WITH SCORE 88701.128
AT ITER 9229 NEW BEST:: SOT 554821 SOS 156103 HAS SOPS 156103 HAS SOUS 88515 HAS SOUPS 88515 WITH SCORE 88671.103
AT ITER 9260 NEW BEST:: SOT 554821 SOS 156103 HAS SOPS 156103 HAS SOUS 88504 HAS SOUPS 88504 WITH SCORE 88660.103
AT ITER 9276 NEW BEST:: SOT 554819 SOS 156101 HAS SOPS 156101 HAS SOUS 88500 HAS SOUPS 88500 WITH SCORE 88656.101
AT ITER 9295 NEW BEST:: SOT 554817 SOS 155793 HAS SOPS 155793 HAS SOUS 88477 HAS SOUPS 88477 WITH SCORE 88632.793
AT ITER 9298 NEW BEST:: SOT 554817 SOS 155793 HAS SOPS 155793 HAS SOUS 88446 HAS SOUPS 88446 WITH SCORE 88601.793
AT ITER 9333 NEW BEST:: SOT 554802 SOS 155748 HAS SOPS 155748 HAS SOUS 88401 HAS SOUPS 88401 WITH SCORE 88556.748
AT ITER 9335 NEW BEST:: SOT 554772 SOS 155343 HAS SOPS 155343 HAS SOUS 88374 HAS SOUPS 88374 WITH SCORE 88529.343
AT ITER 9343 NEW BEST:: SOT 554684 SOS 155341 HAS SOPS 155341 HAS SOUS 88372 HAS SOUPS 88372 WITH SCORE 88527.341
AT ITER 9344 NEW BEST:: SOT 554609 SOS 155228 HAS SOPS 155228 HAS SOUS 88259 HAS SOUPS 88259 WITH SCORE 88414.228
AT ITER 9345 NEW BEST:: SOT 554609 SOS 155222 HAS SOPS 155222 HAS SOUS 88253 HAS SOUPS 88253 WITH SCORE 88408.222
AT ITER 9355 NEW BEST:: SOT 554564 SOS 155180 HAS SOPS 155180 HAS SOUS 88211 HAS SOUPS 88211 WITH SCORE 88366.18
AT ITER 9390 NEW BEST:: SOT 554523 SOS 155098 HAS SOPS 155098 HAS SOUS 88164 HAS SOUPS 88164 WITH SCORE 88319.098
AT ITER 9391 NEW BEST:: SOT 554523 SOS 155048 HAS SOPS 155048 HAS SOUS 88114 HAS SOUPS 88114 WITH SCORE 88269.048
AT ITER 9423 NEW BEST:: SOT 554504 SOS 154740 HAS SOPS 154740 HAS SOUS 88031 HAS SOUPS 88031 WITH SCORE 88185.74
AT ITER 9438 NEW BEST:: SOT 554489 SOS 154725 HAS SOPS 154725 HAS SOUS 88016 HAS SOUPS 88016 WITH SCORE 88170.725
AT ITER 9465 NEW BEST:: SOT 554475 SOS 154704 HAS SOPS 154704 HAS SOUS 87995 HAS SOUPS 87995 WITH SCORE 88149.704
AT ITER 9489 NEW BEST:: SOT 554444 SOS 154770 HAS SOPS 154770 HAS SOUS 87971 HAS SOUPS 87971 WITH SCORE 88125.77
AT ITER 9496 NEW BEST:: SOT 554618 SOS 154759 HAS SOPS 154759 HAS SOUS 87960 HAS SOUPS 87960 WITH SCORE 88114.759
AT ITER 9498 NEW BEST:: SOT 554618 SOS 154759 HAS SOPS 154759 HAS SOUS 87919 HAS SOUPS 87919 WITH SCORE 88073.759
AT ITER 9525 NEW BEST:: SOT 554495 SOS 155562 HAS SOPS 155562 HAS SOUS 87915 HAS SOUPS 87915 WITH SCORE 88070.562
AT ITER 9526 NEW BEST:: SOT 554488 SOS 155554 HAS SOPS 155554 HAS SOUS 87900 HAS SOUPS 87900 WITH SCORE 88055.554
AT ITER 9562 NEW BEST:: SOT 554481 SOS 155498 HAS SOPS 155498 HAS SOUS 87879 HAS SOUPS 87879 WITH SCORE 88034.498
AT ITER 9588 NEW BEST:: SOT 554476 SOS 155493 HAS SOPS 155493 HAS SOUS 87869 HAS SOUPS 87869 WITH SCORE 88024.493
AT ITER 9655 NEW BEST:: SOT 554455 SOS 155404 HAS SOPS 155404 HAS SOUS 87780 HAS SOUPS 87780 WITH SCORE 87935.404
AT ITER 9674 NEW BEST:: SOT 554445 SOS 155384 HAS SOPS 155384 HAS SOUS 87734 HAS SOUPS 87734 WITH SCORE 87889.384
AT ITER 9687 NEW BEST:: SOT 554420 SOS 155276 HAS SOPS 155276 HAS SOUS 87648 HAS SOUPS 87648 WITH SCORE 87803.276
AT ITER 9721 NEW BEST:: SOT 554416 SOS 155292 HAS SOPS 155292 HAS SOUS 87643 HAS SOUPS 87643 WITH SCORE 87798.292
AT ITER 9731 NEW BEST:: SOT 554409 SOS 155288 HAS SOPS 155288 HAS SOUS 87639 HAS SOUPS 87639 WITH SCORE 87794.288
AT ITER 9751 NEW BEST:: SOT 554403 SOS 155284 HAS SOPS 155284 HAS SOUS 87633 HAS SOUPS 87633 WITH SCORE 87788.284
AT ITER 9775 NEW BEST:: SOT 554403 SOS 155262 HAS SOPS 155262 HAS SOUS 87486 HAS SOUPS 87486 WITH SCORE 87641.262
AT ITER 9779 NEW BEST:: SOT 554317 SOS 155144 HAS SOPS 155144 HAS SOUS 87322 HAS SOUPS 87322 WITH SCORE 87477.144
AT ITER 9794 NEW BEST:: SOT 554313 SOS 155116 HAS SOPS 155116 HAS SOUS 87294 HAS SOUPS 87294 WITH SCORE 87449.116
AT ITER 9815 NEW BEST:: SOT 554313 SOS 155028 HAS SOPS 155028 HAS SOUS 87290 HAS SOUPS 87290 WITH SCORE 87445.028
AT ITER 9848 NEW BEST:: SOT 554315 SOS 155276 HAS SOPS 155276 HAS SOUS 87259 HAS SOUPS 87259 WITH SCORE 87414.276
AT ITER 9862 NEW BEST:: SOT 554304 SOS 155248 HAS SOPS 155248 HAS SOUS 87220 HAS SOUPS 87220 WITH SCORE 87375.248
AT ITER 9868 NEW BEST:: SOT 554244 SOS 155191 HAS SOPS 155191 HAS SOUS 87163 HAS SOUPS 87163 WITH SCORE 87318.191
AT ITER 9876 NEW BEST:: SOT 554244 SOS 155169 HAS SOPS 155169 HAS SOUS 87163 HAS SOUPS 87163 WITH SCORE 87318.169
AT ITER 9892 NEW BEST:: SOT 554193 SOS 155074 HAS SOPS 155074 HAS SOUS 87068 HAS SOUPS 87068 WITH SCORE 87223.074
AT ITER 9905 NEW BEST:: SOT 554219 SOS 155063 HAS SOPS 155063 HAS SOUS 87057 HAS SOUPS 87057 WITH SCORE 87212.063
AT ITER 9920 NEW BEST:: SOT 554247 SOS 154783 HAS SOPS 154783 HAS SOUS 87057 HAS SOUPS 87057 WITH SCORE 87211.783
AT ITER 9929 NEW BEST:: SOT 554236 SOS 154750 HAS SOPS 154750 HAS SOUS 87024 HAS SOUPS 87024 WITH SCORE 87178.75
AT ITER 9938 NEW BEST:: SOT 554236 SOS 154737 HAS SOPS 154737 HAS SOUS 87011 HAS SOUPS 87011 WITH SCORE 87165.737
AT ITER 9941 NEW BEST:: SOT 554236 SOS 154665 HAS SOPS 154665 HAS SOUS 87011 HAS SOUPS 87011 WITH SCORE 87165.665
AT ITER 9959 NEW BEST:: SOT 554231 SOS 153960 HAS SOPS 153960 HAS SOUS 86996 HAS SOUPS 86996 WITH SCORE 87149.96
AT ITER 9992 NEW BEST:: SOT 554228 SOS 153954 HAS SOPS 153954 HAS SOUS 86990 HAS SOUPS 86990 WITH SCORE 87143.954
AT ITER 9999 NEW BEST:: SOT 554195 SOS 153888 HAS SOPS 153888 HAS SOUS 86924 HAS SOUPS 86924 WITH SCORE 87077.888

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-01b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508000017"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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