fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469300332
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldIIPt-PT-030A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.290 3600000.00 3600049.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469300332.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 ShieldIIPt-PT-030A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469300332
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 324K
-rw-r--r-- 1 mcc users 3.1K May 14 01:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 01:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 18:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 18:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 13:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 159K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590439287036

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

GOT IT HERE. BS
Petri model created: 573 places, 423 transitions, 1806 arcs.
AT ITER 0 NEW BEST:: SOT 193864 SOS 163732 HAS SOPS 163732 HAS SOUS 143675 HAS SOUPS 143675 WITH SCORE 143838.732
AT ITER 1 NEW BEST:: SOT 193740 SOS 163719 HAS SOPS 163719 HAS SOUS 143671 HAS SOUPS 143671 WITH SCORE 143834.719
AT ITER 2 NEW BEST:: SOT 193541 SOS 163602 HAS SOPS 163602 HAS SOUS 143616 HAS SOUPS 143616 WITH SCORE 143779.602
AT ITER 3 NEW BEST:: SOT 193541 SOS 163602 HAS SOPS 163602 HAS SOUS 143615 HAS SOUPS 143615 WITH SCORE 143778.602
AT ITER 6 NEW BEST:: SOT 193541 SOS 163049 HAS SOPS 163049 HAS SOUS 143475 HAS SOUPS 143475 WITH SCORE 143638.049
AT ITER 7 NEW BEST:: SOT 193541 SOS 162602 HAS SOPS 162602 HAS SOUS 143030 HAS SOUPS 143030 WITH SCORE 143192.602
AT ITER 8 NEW BEST:: SOT 193272 SOS 162333 HAS SOPS 162333 HAS SOUS 142759 HAS SOUPS 142759 WITH SCORE 142921.333
AT ITER 9 NEW BEST:: SOT 193272 SOS 161877 HAS SOPS 161877 HAS SOUS 142607 HAS SOUPS 142607 WITH SCORE 142768.877
AT ITER 12 NEW BEST:: SOT 193039 SOS 161646 HAS SOPS 161646 HAS SOUS 142376 HAS SOUPS 142376 WITH SCORE 142537.646
AT ITER 13 NEW BEST:: SOT 192816 SOS 161423 HAS SOPS 161423 HAS SOUS 142238 HAS SOUPS 142238 WITH SCORE 142399.423
AT ITER 14 NEW BEST:: SOT 192521 SOS 161021 HAS SOPS 161021 HAS SOUS 141851 HAS SOUPS 141851 WITH SCORE 142012.021
AT ITER 15 NEW BEST:: SOT 192327 SOS 160827 HAS SOPS 160827 HAS SOUS 141657 HAS SOUPS 141657 WITH SCORE 141817.827
AT ITER 16 NEW BEST:: SOT 192156 SOS 160656 HAS SOPS 160656 HAS SOUS 141444 HAS SOUPS 141444 WITH SCORE 141604.656
AT ITER 17 NEW BEST:: SOT 191703 SOS 159727 HAS SOPS 159727 HAS SOUS 140453 HAS SOUPS 140453 WITH SCORE 140612.727
AT ITER 18 NEW BEST:: SOT 191562 SOS 159586 HAS SOPS 159586 HAS SOUS 140310 HAS SOUPS 140310 WITH SCORE 140469.586
AT ITER 20 NEW BEST:: SOT 191562 SOS 159586 HAS SOPS 159586 HAS SOUS 140290 HAS SOUPS 140290 WITH SCORE 140449.586
AT ITER 21 NEW BEST:: SOT 191285 SOS 159309 HAS SOPS 159309 HAS SOUS 139892 HAS SOUPS 139892 WITH SCORE 140051.309
AT ITER 23 NEW BEST:: SOT 191198 SOS 159222 HAS SOPS 159222 HAS SOUS 139805 HAS SOUPS 139805 WITH SCORE 139964.222
AT ITER 24 NEW BEST:: SOT 191042 SOS 159066 HAS SOPS 159066 HAS SOUS 139695 HAS SOUPS 139695 WITH SCORE 139854.066
AT ITER 25 NEW BEST:: SOT 190957 SOS 158896 HAS SOPS 158896 HAS SOUS 139525 HAS SOUPS 139525 WITH SCORE 139683.896
AT ITER 27 NEW BEST:: SOT 190839 SOS 158778 HAS SOPS 158778 HAS SOUS 139522 HAS SOUPS 139522 WITH SCORE 139680.778
AT ITER 29 NEW BEST:: SOT 190710 SOS 158649 HAS SOPS 158649 HAS SOUS 139394 HAS SOUPS 139394 WITH SCORE 139552.649
AT ITER 31 NEW BEST:: SOT 190679 SOS 158159 HAS SOPS 158159 HAS SOUS 138782 HAS SOUPS 138782 WITH SCORE 138940.159
AT ITER 33 NEW BEST:: SOT 190653 SOS 158133 HAS SOPS 158133 HAS SOUS 138756 HAS SOUPS 138756 WITH SCORE 138914.133
AT ITER 34 NEW BEST:: SOT 190653 SOS 158064 HAS SOPS 158064 HAS SOUS 138632 HAS SOUPS 138632 WITH SCORE 138790.064
AT ITER 37 NEW BEST:: SOT 190449 SOS 157860 HAS SOPS 157860 HAS SOUS 138428 HAS SOUPS 138428 WITH SCORE 138585.86
AT ITER 38 NEW BEST:: SOT 190389 SOS 157800 HAS SOPS 157800 HAS SOUS 138368 HAS SOUPS 138368 WITH SCORE 138525.8
AT ITER 39 NEW BEST:: SOT 190062 SOS 157393 HAS SOPS 157393 HAS SOUS 137952 HAS SOUPS 137952 WITH SCORE 138109.393
AT ITER 40 NEW BEST:: SOT 189762 SOS 157091 HAS SOPS 157091 HAS SOUS 137750 HAS SOUPS 137750 WITH SCORE 137907.091
AT ITER 42 NEW BEST:: SOT 189594 SOS 156923 HAS SOPS 156923 HAS SOUS 137602 HAS SOUPS 137602 WITH SCORE 137758.923
AT ITER 43 NEW BEST:: SOT 189594 SOS 156782 HAS SOPS 156782 HAS SOUS 137553 HAS SOUPS 137553 WITH SCORE 137709.782
AT ITER 44 NEW BEST:: SOT 189593 SOS 156135 HAS SOPS 156135 HAS SOUS 137387 HAS SOUPS 137387 WITH SCORE 137543.135
AT ITER 45 NEW BEST:: SOT 189486 SOS 155354 HAS SOPS 155354 HAS SOUS 136878 HAS SOUPS 136878 WITH SCORE 137033.354
AT ITER 47 NEW BEST:: SOT 189586 SOS 154822 HAS SOPS 154822 HAS SOUS 136646 HAS SOUPS 136646 WITH SCORE 136800.822
AT ITER 50 NEW BEST:: SOT 189586 SOS 154760 HAS SOPS 154760 HAS SOUS 136615 HAS SOUPS 136615 WITH SCORE 136769.76
AT ITER 51 NEW BEST:: SOT 189565 SOS 154739 HAS SOPS 154739 HAS SOUS 136594 HAS SOUPS 136594 WITH SCORE 136748.739
AT ITER 53 NEW BEST:: SOT 189279 SOS 154453 HAS SOPS 154453 HAS SOUS 136308 HAS SOUPS 136308 WITH SCORE 136462.453
AT ITER 54 NEW BEST:: SOT 189279 SOS 154108 HAS SOPS 154108 HAS SOUS 136267 HAS SOUPS 136267 WITH SCORE 136421.108
AT ITER 55 NEW BEST:: SOT 188957 SOS 153119 HAS SOPS 153119 HAS SOUS 135728 HAS SOUPS 135728 WITH SCORE 135881.119
AT ITER 57 NEW BEST:: SOT 188957 SOS 153138 HAS SOPS 153138 HAS SOUS 135709 HAS SOUPS 135709 WITH SCORE 135862.138
AT ITER 59 NEW BEST:: SOT 188957 SOS 153134 HAS SOPS 153134 HAS SOUS 135709 HAS SOUPS 135709 WITH SCORE 135862.134
AT ITER 60 NEW BEST:: SOT 188836 SOS 153011 HAS SOPS 153011 HAS SOUS 135605 HAS SOUPS 135605 WITH SCORE 135758.011
AT ITER 61 NEW BEST:: SOT 188835 SOS 153010 HAS SOPS 153010 HAS SOUS 135604 HAS SOUPS 135604 WITH SCORE 135757.01
AT ITER 63 NEW BEST:: SOT 188835 SOS 152542 HAS SOPS 152542 HAS SOUS 135561 HAS SOUPS 135561 WITH SCORE 135713.542
AT ITER 64 NEW BEST:: SOT 188704 SOS 152392 HAS SOPS 152392 HAS SOUS 135277 HAS SOUPS 135277 WITH SCORE 135429.392
AT ITER 65 NEW BEST:: SOT 188449 SOS 152137 HAS SOPS 152137 HAS SOUS 135020 HAS SOUPS 135020 WITH SCORE 135172.137
AT ITER 66 NEW BEST:: SOT 188294 SOS 151982 HAS SOPS 151982 HAS SOUS 134769 HAS SOUPS 134769 WITH SCORE 134920.982
AT ITER 67 NEW BEST:: SOT 188378 SOS 152066 HAS SOPS 152066 HAS SOUS 134718 HAS SOUPS 134718 WITH SCORE 134870.066
AT ITER 68 NEW BEST:: SOT 188355 SOS 152043 HAS SOPS 152043 HAS SOUS 134695 HAS SOUPS 134695 WITH SCORE 134847.043
AT ITER 69 NEW BEST:: SOT 188107 SOS 151795 HAS SOPS 151795 HAS SOUS 134447 HAS SOUPS 134447 WITH SCORE 134598.795
AT ITER 70 NEW BEST:: SOT 188046 SOS 151734 HAS SOPS 151734 HAS SOUS 134219 HAS SOUPS 134219 WITH SCORE 134370.734
AT ITER 71 NEW BEST:: SOT 187918 SOS 151351 HAS SOPS 151351 HAS SOUS 133981 HAS SOUPS 133981 WITH SCORE 134132.351
AT ITER 72 NEW BEST:: SOT 187763 SOS 151196 HAS SOPS 151196 HAS SOUS 133826 HAS SOUPS 133826 WITH SCORE 133977.196
AT ITER 73 NEW BEST:: SOT 187739 SOS 151285 HAS SOPS 151285 HAS SOUS 133801 HAS SOUPS 133801 WITH SCORE 133952.285
AT ITER 74 NEW BEST:: SOT 187609 SOS 150845 HAS SOPS 150845 HAS SOUS 133620 HAS SOUPS 133620 WITH SCORE 133770.845
AT ITER 75 NEW BEST:: SOT 187311 SOS 150547 HAS SOPS 150547 HAS SOUS 133117 HAS SOUPS 133117 WITH SCORE 133267.547
AT ITER 76 NEW BEST:: SOT 187242 SOS 150337 HAS SOPS 150337 HAS SOUS 132911 HAS SOUPS 132911 WITH SCORE 133061.337
AT ITER 77 NEW BEST:: SOT 187389 SOS 149884 HAS SOPS 149884 HAS SOUS 132887 HAS SOUPS 132887 WITH SCORE 133036.884
AT ITER 80 NEW BEST:: SOT 187243 SOS 149738 HAS SOPS 149738 HAS SOUS 132562 HAS SOUPS 132562 WITH SCORE 132711.738
AT ITER 81 NEW BEST:: SOT 187243 SOS 149501 HAS SOPS 149501 HAS SOUS 132491 HAS SOUPS 132491 WITH SCORE 132640.501
AT ITER 82 NEW BEST:: SOT 187039 SOS 148796 HAS SOPS 148796 HAS SOUS 132034 HAS SOUPS 132034 WITH SCORE 132182.796
AT ITER 83 NEW BEST:: SOT 186777 SOS 147918 HAS SOPS 147918 HAS SOUS 131349 HAS SOUPS 131349 WITH SCORE 131496.918
AT ITER 85 NEW BEST:: SOT 186745 SOS 147886 HAS SOPS 147886 HAS SOUS 131317 HAS SOUPS 131317 WITH SCORE 131464.886
AT ITER 89 NEW BEST:: SOT 186745 SOS 147886 HAS SOPS 147886 HAS SOUS 131313 HAS SOUPS 131313 WITH SCORE 131460.886
AT ITER 93 NEW BEST:: SOT 186547 SOS 146845 HAS SOPS 146845 HAS SOUS 130453 HAS SOUPS 130453 WITH SCORE 130599.845
AT ITER 94 NEW BEST:: SOT 186356 SOS 146652 HAS SOPS 146652 HAS SOUS 130260 HAS SOUPS 130260 WITH SCORE 130406.652
AT ITER 96 NEW BEST:: SOT 186131 SOS 146310 HAS SOPS 146310 HAS SOUS 129884 HAS SOUPS 129884 WITH SCORE 130030.31
AT ITER 97 NEW BEST:: SOT 186062 SOS 146241 HAS SOPS 146241 HAS SOUS 129727 HAS SOUPS 129727 WITH SCORE 129873.241
AT ITER 98 NEW BEST:: SOT 185866 SOS 146136 HAS SOPS 146136 HAS SOUS 129669 HAS SOUPS 129669 WITH SCORE 129815.136
AT ITER 100 NEW BEST:: SOT 185435 SOS 145826 HAS SOPS 145826 HAS SOUS 129328 HAS SOUPS 129328 WITH SCORE 129473.826
AT ITER 101 NEW BEST:: SOT 185435 SOS 145802 HAS SOPS 145802 HAS SOUS 129320 HAS SOUPS 129320 WITH SCORE 129465.802
AT ITER 104 NEW BEST:: SOT 185309 SOS 145676 HAS SOPS 145676 HAS SOUS 129194 HAS SOUPS 129194 WITH SCORE 129339.676
AT ITER 105 NEW BEST:: SOT 185224 SOS 145139 HAS SOPS 145139 HAS SOUS 128790 HAS SOUPS 128790 WITH SCORE 128935.139
AT ITER 106 NEW BEST:: SOT 185113 SOS 145028 HAS SOPS 145028 HAS SOUS 128679 HAS SOUPS 128679 WITH SCORE 128824.028
AT ITER 109 NEW BEST:: SOT 184908 SOS 144687 HAS SOPS 144687 HAS SOUS 128440 HAS SOUPS 128440 WITH SCORE 128584.687
AT ITER 111 NEW BEST:: SOT 184559 SOS 144338 HAS SOPS 144338 HAS SOUS 127976 HAS SOUPS 127976 WITH SCORE 128120.338
AT ITER 113 NEW BEST:: SOT 184442 SOS 144414 HAS SOPS 144414 HAS SOUS 127909 HAS SOUPS 127909 WITH SCORE 128053.414
AT ITER 114 NEW BEST:: SOT 184174 SOS 144143 HAS SOPS 144143 HAS SOUS 127635 HAS SOUPS 127635 WITH SCORE 127779.143
AT ITER 115 NEW BEST:: SOT 184174 SOS 143913 HAS SOPS 143913 HAS SOUS 127597 HAS SOUPS 127597 WITH SCORE 127740.913
AT ITER 116 NEW BEST:: SOT 184056 SOS 143677 HAS SOPS 143677 HAS SOUS 127361 HAS SOUPS 127361 WITH SCORE 127504.677
AT ITER 117 NEW BEST:: SOT 183985 SOS 143558 HAS SOPS 143558 HAS SOUS 127204 HAS SOUPS 127204 WITH SCORE 127347.558
AT ITER 118 NEW BEST:: SOT 183985 SOS 143602 HAS SOPS 143602 HAS SOUS 127182 HAS SOUPS 127182 WITH SCORE 127325.602
AT ITER 121 NEW BEST:: SOT 183926 SOS 143356 HAS SOPS 143356 HAS SOUS 127000 HAS SOUPS 127000 WITH SCORE 127143.356
AT ITER 123 NEW BEST:: SOT 183685 SOS 142544 HAS SOPS 142544 HAS SOUS 126350 HAS SOUPS 126350 WITH SCORE 126492.544
AT ITER 127 NEW BEST:: SOT 183615 SOS 141936 HAS SOPS 141936 HAS SOUS 125769 HAS SOUPS 125769 WITH SCORE 125910.936
AT ITER 129 NEW BEST:: SOT 183403 SOS 141724 HAS SOPS 141724 HAS SOUS 125387 HAS SOUPS 125387 WITH SCORE 125528.724
AT ITER 132 NEW BEST:: SOT 183101 SOS 140907 HAS SOPS 140907 HAS SOUS 124855 HAS SOUPS 124855 WITH SCORE 124995.907
AT ITER 134 NEW BEST:: SOT 182912 SOS 140069 HAS SOPS 140069 HAS SOUS 124263 HAS SOUPS 124263 WITH SCORE 124403.069
AT ITER 135 NEW BEST:: SOT 182461 SOS 139189 HAS SOPS 139189 HAS SOUS 123373 HAS SOUPS 123373 WITH SCORE 123512.189
AT ITER 137 NEW BEST:: SOT 182451 SOS 139171 HAS SOPS 139171 HAS SOUS 123265 HAS SOUPS 123265 WITH SCORE 123404.171
AT ITER 140 NEW BEST:: SOT 182200 SOS 139013 HAS SOPS 139013 HAS SOUS 123034 HAS SOUPS 123034 WITH SCORE 123173.013
AT ITER 143 NEW BEST:: SOT 182174 SOS 138985 HAS SOPS 138985 HAS SOUS 123006 HAS SOUPS 123006 WITH SCORE 123144.985
AT ITER 145 NEW BEST:: SOT 182174 SOS 138979 HAS SOPS 138979 HAS SOUS 123006 HAS SOUPS 123006 WITH SCORE 123144.979
AT ITER 146 NEW BEST:: SOT 182174 SOS 138959 HAS SOPS 138959 HAS SOUS 122996 HAS SOUPS 122996 WITH SCORE 123134.959
AT ITER 147 NEW BEST:: SOT 182002 SOS 138933 HAS SOPS 138933 HAS SOUS 122969 HAS SOUPS 122969 WITH SCORE 123107.933
AT ITER 148 NEW BEST:: SOT 181747 SOS 138576 HAS SOPS 138576 HAS SOUS 122529 HAS SOUPS 122529 WITH SCORE 122667.576
AT ITER 150 NEW BEST:: SOT 181725 SOS 138554 HAS SOPS 138554 HAS SOUS 122507 HAS SOUPS 122507 WITH SCORE 122645.554
AT ITER 154 NEW BEST:: SOT 181527 SOS 138338 HAS SOPS 138338 HAS SOUS 122117 HAS SOUPS 122117 WITH SCORE 122255.338
AT ITER 156 NEW BEST:: SOT 181414 SOS 138196 HAS SOPS 138196 HAS SOUS 121975 HAS SOUPS 121975 WITH SCORE 122113.196
AT ITER 157 NEW BEST:: SOT 181087 SOS 137869 HAS SOPS 137869 HAS SOUS 121757 HAS SOUPS 121757 WITH SCORE 121894.869
AT ITER 158 NEW BEST:: SOT 180821 SOS 137603 HAS SOPS 137603 HAS SOUS 121349 HAS SOUPS 121349 WITH SCORE 121486.603
AT ITER 159 NEW BEST:: SOT 180417 SOS 137199 HAS SOPS 137199 HAS SOUS 120892 HAS SOUPS 120892 WITH SCORE 121029.199
AT ITER 160 NEW BEST:: SOT 180482 SOS 136808 HAS SOPS 136808 HAS SOUS 120812 HAS SOUPS 120812 WITH SCORE 120948.808
AT ITER 161 NEW BEST:: SOT 180109 SOS 136356 HAS SOPS 136356 HAS SOUS 120331 HAS SOUPS 120331 WITH SCORE 120467.356
AT ITER 162 NEW BEST:: SOT 179790 SOS 135540 HAS SOPS 135540 HAS SOUS 119496 HAS SOUPS 119496 WITH SCORE 119631.54
AT ITER 164 NEW BEST:: SOT 179701 SOS 135451 HAS SOPS 135451 HAS SOUS 119407 HAS SOUPS 119407 WITH SCORE 119542.451
AT ITER 168 NEW BEST:: SOT 179798 SOS 134882 HAS SOPS 134882 HAS SOUS 119379 HAS SOUPS 119379 WITH SCORE 119513.882
AT ITER 169 NEW BEST:: SOT 179244 SOS 134328 HAS SOPS 134328 HAS SOUS 118915 HAS SOUPS 118915 WITH SCORE 119049.328
AT ITER 170 NEW BEST:: SOT 179082 SOS 134206 HAS SOPS 134206 HAS SOUS 118879 HAS SOUPS 118879 WITH SCORE 119013.206
AT ITER 172 NEW BEST:: SOT 178662 SOS 133237 HAS SOPS 133237 HAS SOUS 118130 HAS SOUPS 118130 WITH SCORE 118263.237
AT ITER 176 NEW BEST:: SOT 178641 SOS 133058 HAS SOPS 133058 HAS SOUS 118101 HAS SOUPS 118101 WITH SCORE 118234.058
AT ITER 177 NEW BEST:: SOT 178641 SOS 132630 HAS SOPS 132630 HAS SOUS 117815 HAS SOUPS 117815 WITH SCORE 117947.63
AT ITER 178 NEW BEST:: SOT 178479 SOS 132449 HAS SOPS 132449 HAS SOUS 117603 HAS SOUPS 117603 WITH SCORE 117735.449
AT ITER 180 NEW BEST:: SOT 178458 SOS 132407 HAS SOPS 132407 HAS SOUS 117561 HAS SOUPS 117561 WITH SCORE 117693.407
AT ITER 182 NEW BEST:: SOT 178370 SOS 132275 HAS SOPS 132275 HAS SOUS 117429 HAS SOUPS 117429 WITH SCORE 117561.275
AT ITER 185 NEW BEST:: SOT 178385 SOS 132203 HAS SOPS 132203 HAS SOUS 117373 HAS SOUPS 117373 WITH SCORE 117505.203
AT ITER 188 NEW BEST:: SOT 178371 SOS 131416 HAS SOPS 131416 HAS SOUS 116931 HAS SOUPS 116931 WITH SCORE 117062.416
AT ITER 190 NEW BEST:: SOT 178133 SOS 130765 HAS SOPS 130765 HAS SOUS 116532 HAS SOUPS 116532 WITH SCORE 116662.765
AT ITER 191 NEW BEST:: SOT 177832 SOS 129911 HAS SOPS 129911 HAS SOUS 115851 HAS SOUPS 115851 WITH SCORE 115980.911
AT ITER 195 NEW BEST:: SOT 177667 SOS 129746 HAS SOPS 129746 HAS SOUS 115686 HAS SOUPS 115686 WITH SCORE 115815.746
AT ITER 196 NEW BEST:: SOT 177495 SOS 129574 HAS SOPS 129574 HAS SOUS 115514 HAS SOUPS 115514 WITH SCORE 115643.574
AT ITER 198 NEW BEST:: SOT 177357 SOS 129390 HAS SOPS 129390 HAS SOUS 115330 HAS SOUPS 115330 WITH SCORE 115459.39
AT ITER 199 NEW BEST:: SOT 177025 SOS 129058 HAS SOPS 129058 HAS SOUS 114995 HAS SOUPS 114995 WITH SCORE 115124.058
AT ITER 201 NEW BEST:: SOT 177025 SOS 129075 HAS SOPS 129075 HAS SOUS 114993 HAS SOUPS 114993 WITH SCORE 115122.075
AT ITER 202 NEW BEST:: SOT 177025 SOS 128992 HAS SOPS 128992 HAS SOUS 114910 HAS SOUPS 114910 WITH SCORE 115038.992
AT ITER 203 NEW BEST:: SOT 176770 SOS 128737 HAS SOPS 128737 HAS SOUS 114655 HAS SOUPS 114655 WITH SCORE 114783.737
AT ITER 204 NEW BEST:: SOT 176770 SOS 128660 HAS SOPS 128660 HAS SOUS 114596 HAS SOUPS 114596 WITH SCORE 114724.66
AT ITER 206 NEW BEST:: SOT 176815 SOS 128541 HAS SOPS 128541 HAS SOUS 114407 HAS SOUPS 114407 WITH SCORE 114535.541
AT ITER 208 NEW BEST:: SOT 176572 SOS 128841 HAS SOPS 128841 HAS SOUS 114180 HAS SOUPS 114180 WITH SCORE 114308.841
AT ITER 209 NEW BEST:: SOT 176563 SOS 128109 HAS SOPS 128109 HAS SOUS 113984 HAS SOUPS 113984 WITH SCORE 114112.109
AT ITER 214 NEW BEST:: SOT 176553 SOS 128089 HAS SOPS 128089 HAS SOUS 113964 HAS SOUPS 113964 WITH SCORE 114092.089
AT ITER 217 NEW BEST:: SOT 176518 SOS 127912 HAS SOPS 127912 HAS SOUS 113812 HAS SOUPS 113812 WITH SCORE 113939.912
AT ITER 220 NEW BEST:: SOT 176366 SOS 127760 HAS SOPS 127760 HAS SOUS 113660 HAS SOUPS 113660 WITH SCORE 113787.76
AT ITER 221 NEW BEST:: SOT 176373 SOS 127767 HAS SOPS 127767 HAS SOUS 113655 HAS SOUPS 113655 WITH SCORE 113782.767
AT ITER 222 NEW BEST:: SOT 176155 SOS 127263 HAS SOPS 127263 HAS SOUS 113156 HAS SOUPS 113156 WITH SCORE 113283.263
AT ITER 224 NEW BEST:: SOT 176155 SOS 127261 HAS SOPS 127261 HAS SOUS 113154 HAS SOUPS 113154 WITH SCORE 113281.261
AT ITER 226 NEW BEST:: SOT 175817 SOS 126563 HAS SOPS 126563 HAS SOUS 112696 HAS SOUPS 112696 WITH SCORE 112822.563
AT ITER 227 NEW BEST:: SOT 175794 SOS 126583 HAS SOPS 126583 HAS SOUS 112666 HAS SOUPS 112666 WITH SCORE 112792.583
AT ITER 228 NEW BEST:: SOT 175636 SOS 126425 HAS SOPS 126425 HAS SOUS 112508 HAS SOUPS 112508 WITH SCORE 112634.425
AT ITER 229 NEW BEST:: SOT 175636 SOS 126262 HAS SOPS 126262 HAS SOUS 112350 HAS SOUPS 112350 WITH SCORE 112476.262
AT ITER 232 NEW BEST:: SOT 175483 SOS 126109 HAS SOPS 126109 HAS SOUS 112197 HAS SOUPS 112197 WITH SCORE 112323.109
AT ITER 233 NEW BEST:: SOT 175483 SOS 125808 HAS SOPS 125808 HAS SOUS 111982 HAS SOUPS 111982 WITH SCORE 112107.808
AT ITER 235 NEW BEST:: SOT 175441 SOS 125730 HAS SOPS 125730 HAS SOUS 111870 HAS SOUPS 111870 WITH SCORE 111995.73
AT ITER 236 NEW BEST:: SOT 175421 SOS 125530 HAS SOPS 125530 HAS SOUS 111722 HAS SOUPS 111722 WITH SCORE 111847.53
AT ITER 237 NEW BEST:: SOT 175383 SOS 125492 HAS SOPS 125492 HAS SOUS 111669 HAS SOUPS 111669 WITH SCORE 111794.492
AT ITER 248 NEW BEST:: SOT 175270 SOS 124743 HAS SOPS 124743 HAS SOUS 111351 HAS SOUPS 111351 WITH SCORE 111475.743
AT ITER 249 NEW BEST:: SOT 175300 SOS 124417 HAS SOPS 124417 HAS SOUS 111073 HAS SOUPS 111073 WITH SCORE 111197.417
AT ITER 250 NEW BEST:: SOT 175300 SOS 123984 HAS SOPS 123984 HAS SOUS 110953 HAS SOUPS 110953 WITH SCORE 111076.984
AT ITER 251 NEW BEST:: SOT 175003 SOS 122858 HAS SOPS 122858 HAS SOUS 110590 HAS SOUPS 110590 WITH SCORE 110712.858
AT ITER 259 NEW BEST:: SOT 175003 SOS 122863 HAS SOPS 122863 HAS SOUS 110554 HAS SOUPS 110554 WITH SCORE 110676.863
AT ITER 260 NEW BEST:: SOT 174942 SOS 122741 HAS SOPS 122741 HAS SOUS 110432 HAS SOUPS 110432 WITH SCORE 110554.741
AT ITER 263 NEW BEST:: SOT 174892 SOS 122691 HAS SOPS 122691 HAS SOUS 110382 HAS SOUPS 110382 WITH SCORE 110504.691
AT ITER 264 NEW BEST:: SOT 174867 SOS 122616 HAS SOPS 122616 HAS SOUS 110293 HAS SOUPS 110293 WITH SCORE 110415.616
AT ITER 265 NEW BEST:: SOT 174867 SOS 122616 HAS SOPS 122616 HAS SOUS 110291 HAS SOUPS 110291 WITH SCORE 110413.616
AT ITER 266 NEW BEST:: SOT 174735 SOS 122484 HAS SOPS 122484 HAS SOUS 110159 HAS SOUPS 110159 WITH SCORE 110281.484
AT ITER 269 NEW BEST:: SOT 174346 SOS 121887 HAS SOPS 121887 HAS SOUS 109747 HAS SOUPS 109747 WITH SCORE 109868.887
AT ITER 270 NEW BEST:: SOT 174241 SOS 121677 HAS SOPS 121677 HAS SOUS 109546 HAS SOUPS 109546 WITH SCORE 109667.677
AT ITER 271 NEW BEST:: SOT 174089 SOS 121645 HAS SOPS 121645 HAS SOUS 109514 HAS SOUPS 109514 WITH SCORE 109635.645
AT ITER 272 NEW BEST:: SOT 174110 SOS 121496 HAS SOPS 121496 HAS SOUS 109298 HAS SOUPS 109298 WITH SCORE 109419.496
AT ITER 274 NEW BEST:: SOT 174110 SOS 121257 HAS SOPS 121257 HAS SOUS 109100 HAS SOUPS 109100 WITH SCORE 109221.257
AT ITER 278 NEW BEST:: SOT 173912 SOS 120964 HAS SOPS 120964 HAS SOUS 108807 HAS SOUPS 108807 WITH SCORE 108927.964
AT ITER 280 NEW BEST:: SOT 173945 SOS 120788 HAS SOPS 120788 HAS SOUS 108671 HAS SOUPS 108671 WITH SCORE 108791.788
AT ITER 281 NEW BEST:: SOT 174023 SOS 120694 HAS SOPS 120694 HAS SOUS 108594 HAS SOUPS 108594 WITH SCORE 108714.694
AT ITER 284 NEW BEST:: SOT 173960 SOS 120401 HAS SOPS 120401 HAS SOUS 108349 HAS SOUPS 108349 WITH SCORE 108469.401
AT ITER 286 NEW BEST:: SOT 173908 SOS 120349 HAS SOPS 120349 HAS SOUS 108297 HAS SOUPS 108297 WITH SCORE 108417.349
AT ITER 290 NEW BEST:: SOT 173691 SOS 120132 HAS SOPS 120132 HAS SOUS 108080 HAS SOUPS 108080 WITH SCORE 108200.132
AT ITER 291 NEW BEST:: SOT 173657 SOS 120091 HAS SOPS 120091 HAS SOUS 108039 HAS SOUPS 108039 WITH SCORE 108159.091
AT ITER 294 NEW BEST:: SOT 173288 SOS 119335 HAS SOPS 119335 HAS SOUS 107326 HAS SOUPS 107326 WITH SCORE 107445.335
AT ITER 296 NEW BEST:: SOT 173255 SOS 119210 HAS SOPS 119210 HAS SOUS 107260 HAS SOUPS 107260 WITH SCORE 107379.21
AT ITER 300 NEW BEST:: SOT 173145 SOS 119100 HAS SOPS 119100 HAS SOUS 107205 HAS SOUPS 107205 WITH SCORE 107324.1
AT ITER 304 NEW BEST:: SOT 173017 SOS 118689 HAS SOPS 118689 HAS SOUS 106924 HAS SOUPS 106924 WITH SCORE 107042.689
AT ITER 307 NEW BEST:: SOT 172807 SOS 118469 HAS SOPS 118469 HAS SOUS 106704 HAS SOUPS 106704 WITH SCORE 106822.469
AT ITER 310 NEW BEST:: SOT 172655 SOS 118286 HAS SOPS 118286 HAS SOUS 106521 HAS SOUPS 106521 WITH SCORE 106639.286
AT ITER 315 NEW BEST:: SOT 172830 SOS 117823 HAS SOPS 117823 HAS SOUS 106090 HAS SOUPS 106090 WITH SCORE 106207.823
AT ITER 316 NEW BEST:: SOT 172868 SOS 117767 HAS SOPS 117767 HAS SOUS 106034 HAS SOUPS 106034 WITH SCORE 106151.767
AT ITER 317 NEW BEST:: SOT 172857 SOS 117756 HAS SOPS 117756 HAS SOUS 106023 HAS SOUPS 106023 WITH SCORE 106140.756
AT ITER 320 NEW BEST:: SOT 172735 SOS 117067 HAS SOPS 117067 HAS SOUS 105350 HAS SOUPS 105350 WITH SCORE 105467.067
AT ITER 323 NEW BEST:: SOT 172764 SOS 117001 HAS SOPS 117001 HAS SOUS 105284 HAS SOUPS 105284 WITH SCORE 105401.001
AT ITER 325 NEW BEST:: SOT 172716 SOS 116953 HAS SOPS 116953 HAS SOUS 105236 HAS SOUPS 105236 WITH SCORE 105352.953
AT ITER 330 NEW BEST:: SOT 172635 SOS 116963 HAS SOPS 116963 HAS SOUS 105153 HAS SOUPS 105153 WITH SCORE 105269.963
AT ITER 334 NEW BEST:: SOT 172325 SOS 116455 HAS SOPS 116455 HAS SOUS 104594 HAS SOUPS 104594 WITH SCORE 104710.455
AT ITER 335 NEW BEST:: SOT 172308 SOS 116438 HAS SOPS 116438 HAS SOUS 104560 HAS SOUPS 104560 WITH SCORE 104676.438
AT ITER 336 NEW BEST:: SOT 171973 SOS 115961 HAS SOPS 115961 HAS SOUS 104122 HAS SOUPS 104122 WITH SCORE 104237.961
AT ITER 340 NEW BEST:: SOT 171772 SOS 115622 HAS SOPS 115622 HAS SOUS 103859 HAS SOUPS 103859 WITH SCORE 103974.622
AT ITER 342 NEW BEST:: SOT 171772 SOS 115564 HAS SOPS 115564 HAS SOUS 103808 HAS SOUPS 103808 WITH SCORE 103923.564
AT ITER 349 NEW BEST:: SOT 171704 SOS 115496 HAS SOPS 115496 HAS SOUS 103740 HAS SOUPS 103740 WITH SCORE 103855.496
AT ITER 359 NEW BEST:: SOT 171590 SOS 115382 HAS SOPS 115382 HAS SOUS 103626 HAS SOUPS 103626 WITH SCORE 103741.382
AT ITER 369 NEW BEST:: SOT 171590 SOS 115382 HAS SOPS 115382 HAS SOUS 103606 HAS SOUPS 103606 WITH SCORE 103721.382
AT ITER 370 NEW BEST:: SOT 171632 SOS 115128 HAS SOPS 115128 HAS SOUS 103515 HAS SOUPS 103515 WITH SCORE 103630.128
AT ITER 373 NEW BEST:: SOT 171598 SOS 115094 HAS SOPS 115094 HAS SOUS 103481 HAS SOUPS 103481 WITH SCORE 103596.094
AT ITER 375 NEW BEST:: SOT 171561 SOS 115057 HAS SOPS 115057 HAS SOUS 103444 HAS SOUPS 103444 WITH SCORE 103559.057
AT ITER 377 NEW BEST:: SOT 171552 SOS 115048 HAS SOPS 115048 HAS SOUS 103435 HAS SOUPS 103435 WITH SCORE 103550.048
AT ITER 378 NEW BEST:: SOT 171552 SOS 114977 HAS SOPS 114977 HAS SOUS 103398 HAS SOUPS 103398 WITH SCORE 103512.977
AT ITER 380 NEW BEST:: SOT 171640 SOS 115144 HAS SOPS 115144 HAS SOUS 103368 HAS SOUPS 103368 WITH SCORE 103483.144
AT ITER 381 NEW BEST:: SOT 171060 SOS 114536 HAS SOPS 114536 HAS SOUS 102839 HAS SOUPS 102839 WITH SCORE 102953.536
AT ITER 382 NEW BEST:: SOT 170684 SOS 114160 HAS SOPS 114160 HAS SOUS 102463 HAS SOUPS 102463 WITH SCORE 102577.16
AT ITER 384 NEW BEST:: SOT 170547 SOS 114023 HAS SOPS 114023 HAS SOUS 102260 HAS SOUPS 102260 WITH SCORE 102374.023
AT ITER 385 NEW BEST:: SOT 170124 SOS 113328 HAS SOPS 113328 HAS SOUS 101585 HAS SOUPS 101585 WITH SCORE 101698.328
AT ITER 388 NEW BEST:: SOT 170093 SOS 113185 HAS SOPS 113185 HAS SOUS 101470 HAS SOUPS 101470 WITH SCORE 101583.185
AT ITER 390 NEW BEST:: SOT 169985 SOS 113077 HAS SOPS 113077 HAS SOUS 101362 HAS SOUPS 101362 WITH SCORE 101475.077
AT ITER 396 NEW BEST:: SOT 170027 SOS 112924 HAS SOPS 112924 HAS SOUS 101255 HAS SOUPS 101255 WITH SCORE 101367.924
AT ITER 400 NEW BEST:: SOT 169965 SOS 112803 HAS SOPS 112803 HAS SOUS 101144 HAS SOUPS 101144 WITH SCORE 101256.803
AT ITER 403 NEW BEST:: SOT 169647 SOS 111737 HAS SOPS 111737 HAS SOUS 100374 HAS SOUPS 100374 WITH SCORE 100485.737
AT ITER 404 NEW BEST:: SOT 169621 SOS 111711 HAS SOPS 111711 HAS SOUS 100326 HAS SOUPS 100326 WITH SCORE 100437.711
AT ITER 412 NEW BEST:: SOT 169621 SOS 111487 HAS SOPS 111487 HAS SOUS 99871 HAS SOUPS 99871 WITH SCORE 99982.487
AT ITER 413 NEW BEST:: SOT 169485 SOS 111351 HAS SOPS 111351 HAS SOUS 99735 HAS SOUPS 99735 WITH SCORE 99846.351
AT ITER 414 NEW BEST:: SOT 169485 SOS 111351 HAS SOPS 111351 HAS SOUS 99732 HAS SOUPS 99732 WITH SCORE 99843.351
AT ITER 420 NEW BEST:: SOT 169434 SOS 111300 HAS SOPS 111300 HAS SOUS 99681 HAS SOUPS 99681 WITH SCORE 99792.3
AT ITER 421 NEW BEST:: SOT 169285 SOS 110473 HAS SOPS 110473 HAS SOUS 99103 HAS SOUPS 99103 WITH SCORE 99213.473
AT ITER 423 NEW BEST:: SOT 169285 SOS 110236 HAS SOPS 110236 HAS SOUS 99021 HAS SOUPS 99021 WITH SCORE 99131.236
AT ITER 433 NEW BEST:: SOT 169117 SOS 110339 HAS SOPS 110339 HAS SOUS 98756 HAS SOUPS 98756 WITH SCORE 98866.339
AT ITER 438 NEW BEST:: SOT 168975 SOS 110257 HAS SOPS 110257 HAS SOUS 98713 HAS SOUPS 98713 WITH SCORE 98823.257
AT ITER 440 NEW BEST:: SOT 168975 SOS 110205 HAS SOPS 110205 HAS SOUS 98713 HAS SOUPS 98713 WITH SCORE 98823.205
AT ITER 445 NEW BEST:: SOT 168832 SOS 110222 HAS SOPS 110222 HAS SOUS 98644 HAS SOUPS 98644 WITH SCORE 98754.222
AT ITER 447 NEW BEST:: SOT 168843 SOS 110233 HAS SOPS 110233 HAS SOUS 98527 HAS SOUPS 98527 WITH SCORE 98637.233
AT ITER 451 NEW BEST:: SOT 168780 SOS 109955 HAS SOPS 109955 HAS SOUS 98327 HAS SOUPS 98327 WITH SCORE 98436.955
AT ITER 453 NEW BEST:: SOT 168780 SOS 109681 HAS SOPS 109681 HAS SOUS 98310 HAS SOUPS 98310 WITH SCORE 98419.681
AT ITER 454 NEW BEST:: SOT 168525 SOS 109611 HAS SOPS 109611 HAS SOUS 98296 HAS SOUPS 98296 WITH SCORE 98405.611
AT ITER 457 NEW BEST:: SOT 168519 SOS 109608 HAS SOPS 109608 HAS SOUS 98293 HAS SOUPS 98293 WITH SCORE 98402.608
AT ITER 459 NEW BEST:: SOT 168545 SOS 109562 HAS SOPS 109562 HAS SOUS 98262 HAS SOUPS 98262 WITH SCORE 98371.562
AT ITER 464 NEW BEST:: SOT 168442 SOS 109417 HAS SOPS 109417 HAS SOUS 98056 HAS SOUPS 98056 WITH SCORE 98165.417
AT ITER 468 NEW BEST:: SOT 168497 SOS 109061 HAS SOPS 109061 HAS SOUS 97926 HAS SOUPS 97926 WITH SCORE 98035.061
AT ITER 476 NEW BEST:: SOT 168483 SOS 109047 HAS SOPS 109047 HAS SOUS 97925 HAS SOUPS 97925 WITH SCORE 98034.047
AT ITER 477 NEW BEST:: SOT 168417 SOS 108866 HAS SOPS 108866 HAS SOUS 97794 HAS SOUPS 97794 WITH SCORE 97902.866
AT ITER 479 NEW BEST:: SOT 168415 SOS 108864 HAS SOPS 108864 HAS SOUS 97775 HAS SOUPS 97775 WITH SCORE 97883.864
AT ITER 482 NEW BEST:: SOT 168415 SOS 108864 HAS SOPS 108864 HAS SOUS 97751 HAS SOUPS 97751 WITH SCORE 97859.864
AT ITER 483 NEW BEST:: SOT 168233 SOS 108682 HAS SOPS 108682 HAS SOUS 97569 HAS SOUPS 97569 WITH SCORE 97677.682
AT ITER 488 NEW BEST:: SOT 168191 SOS 108513 HAS SOPS 108513 HAS SOUS 97519 HAS SOUPS 97519 WITH SCORE 97627.513
AT ITER 489 NEW BEST:: SOT 168169 SOS 108491 HAS SOPS 108491 HAS SOUS 97497 HAS SOUPS 97497 WITH SCORE 97605.491
AT ITER 490 NEW BEST:: SOT 168119 SOS 108390 HAS SOPS 108390 HAS SOUS 97390 HAS SOUPS 97390 WITH SCORE 97498.39
AT ITER 493 NEW BEST:: SOT 168115 SOS 108378 HAS SOPS 108378 HAS SOUS 97378 HAS SOUPS 97378 WITH SCORE 97486.378
AT ITER 495 NEW BEST:: SOT 168039 SOS 108218 HAS SOPS 108218 HAS SOUS 97218 HAS SOUPS 97218 WITH SCORE 97326.218
AT ITER 496 NEW BEST:: SOT 168049 SOS 107961 HAS SOPS 107961 HAS SOUS 97072 HAS SOUPS 97072 WITH SCORE 97179.961
AT ITER 500 NEW BEST:: SOT 167810 SOS 106801 HAS SOPS 106801 HAS SOUS 96404 HAS SOUPS 96404 WITH SCORE 96510.801
AT ITER 502 NEW BEST:: SOT 167600 SOS 106258 HAS SOPS 106258 HAS SOUS 96081 HAS SOUPS 96081 WITH SCORE 96187.258
AT ITER 507 NEW BEST:: SOT 167467 SOS 106125 HAS SOPS 106125 HAS SOUS 95948 HAS SOUPS 95948 WITH SCORE 96054.125
AT ITER 517 NEW BEST:: SOT 167480 SOS 106046 HAS SOPS 106046 HAS SOUS 95869 HAS SOUPS 95869 WITH SCORE 95975.046
AT ITER 528 NEW BEST:: SOT 167344 SOS 105910 HAS SOPS 105910 HAS SOUS 95731 HAS SOUPS 95731 WITH SCORE 95836.91
AT ITER 534 NEW BEST:: SOT 167292 SOS 105858 HAS SOPS 105858 HAS SOUS 95679 HAS SOUPS 95679 WITH SCORE 95784.858
AT ITER 536 NEW BEST:: SOT 167362 SOS 105807 HAS SOPS 105807 HAS SOUS 95658 HAS SOUPS 95658 WITH SCORE 95763.807
AT ITER 538 NEW BEST:: SOT 167300 SOS 105745 HAS SOPS 105745 HAS SOUS 95460 HAS SOUPS 95460 WITH SCORE 95565.745
AT ITER 540 NEW BEST:: SOT 167300 SOS 105823 HAS SOPS 105823 HAS SOUS 95446 HAS SOUPS 95446 WITH SCORE 95551.823
AT ITER 548 NEW BEST:: SOT 166999 SOS 105522 HAS SOPS 105522 HAS SOUS 95423 HAS SOUPS 95423 WITH SCORE 95528.522
AT ITER 549 NEW BEST:: SOT 166999 SOS 105257 HAS SOPS 105257 HAS SOUS 95423 HAS SOUPS 95423 WITH SCORE 95528.257
AT ITER 555 NEW BEST:: SOT 166849 SOS 105107 HAS SOPS 105107 HAS SOUS 95423 HAS SOUPS 95423 WITH SCORE 95528.107
AT ITER 559 NEW BEST:: SOT 166656 SOS 104715 HAS SOPS 104715 HAS SOUS 95037 HAS SOUPS 95037 WITH SCORE 95141.715
AT ITER 561 NEW BEST:: SOT 166656 SOS 104749 HAS SOPS 104749 HAS SOUS 94940 HAS SOUPS 94940 WITH SCORE 95044.749
AT ITER 566 NEW BEST:: SOT 166656 SOS 104412 HAS SOPS 104412 HAS SOUS 94932 HAS SOUPS 94932 WITH SCORE 95036.412
AT ITER 569 NEW BEST:: SOT 166656 SOS 104412 HAS SOPS 104412 HAS SOUS 94785 HAS SOUPS 94785 WITH SCORE 94889.412
AT ITER 571 NEW BEST:: SOT 166644 SOS 104400 HAS SOPS 104400 HAS SOUS 94773 HAS SOUPS 94773 WITH SCORE 94877.4
AT ITER 573 NEW BEST:: SOT 166422 SOS 103998 HAS SOPS 103998 HAS SOUS 94329 HAS SOUPS 94329 WITH SCORE 94432.998
AT ITER 577 NEW BEST:: SOT 166067 SOS 102908 HAS SOPS 102908 HAS SOUS 93483 HAS SOUPS 93483 WITH SCORE 93585.908
AT ITER 581 NEW BEST:: SOT 166037 SOS 102876 HAS SOPS 102876 HAS SOUS 93451 HAS SOUPS 93451 WITH SCORE 93553.876
AT ITER 583 NEW BEST:: SOT 166037 SOS 102819 HAS SOPS 102819 HAS SOUS 93110 HAS SOUPS 93110 WITH SCORE 93212.819
AT ITER 589 NEW BEST:: SOT 166028 SOS 102783 HAS SOPS 102783 HAS SOUS 93083 HAS SOUPS 93083 WITH SCORE 93185.783
AT ITER 592 NEW BEST:: SOT 166027 SOS 102780 HAS SOPS 102780 HAS SOUS 93080 HAS SOUPS 93080 WITH SCORE 93182.78
AT ITER 608 NEW BEST:: SOT 166003 SOS 102756 HAS SOPS 102756 HAS SOUS 93056 HAS SOUPS 93056 WITH SCORE 93158.756
AT ITER 612 NEW BEST:: SOT 165806 SOS 102464 HAS SOPS 102464 HAS SOUS 92764 HAS SOUPS 92764 WITH SCORE 92866.464
AT ITER 615 NEW BEST:: SOT 165685 SOS 102232 HAS SOPS 102232 HAS SOUS 92549 HAS SOUPS 92549 WITH SCORE 92651.232
AT ITER 620 NEW BEST:: SOT 165685 SOS 101932 HAS SOPS 101932 HAS SOUS 92357 HAS SOUPS 92357 WITH SCORE 92458.932
AT ITER 621 NEW BEST:: SOT 165723 SOS 101512 HAS SOPS 101512 HAS SOUS 92297 HAS SOUPS 92297 WITH SCORE 92398.512
AT ITER 623 NEW BEST:: SOT 165751 SOS 101384 HAS SOPS 101384 HAS SOUS 92173 HAS SOUPS 92173 WITH SCORE 92274.384
AT ITER 630 NEW BEST:: SOT 165744 SOS 101377 HAS SOPS 101377 HAS SOUS 92092 HAS SOUPS 92092 WITH SCORE 92193.377
AT ITER 637 NEW BEST:: SOT 165694 SOS 101327 HAS SOPS 101327 HAS SOUS 92073 HAS SOUPS 92073 WITH SCORE 92174.327
AT ITER 641 NEW BEST:: SOT 165685 SOS 101151 HAS SOPS 101151 HAS SOUS 92013 HAS SOUPS 92013 WITH SCORE 92114.151
AT ITER 645 NEW BEST:: SOT 165610 SOS 100836 HAS SOPS 100836 HAS SOUS 91787 HAS SOUPS 91787 WITH SCORE 91887.836
AT ITER 646 NEW BEST:: SOT 165558 SOS 100784 HAS SOPS 100784 HAS SOUS 91735 HAS SOUPS 91735 WITH SCORE 91835.784
AT ITER 651 NEW BEST:: SOT 165606 SOS 100732 HAS SOPS 100732 HAS SOUS 91685 HAS SOUPS 91685 WITH SCORE 91785.732
AT ITER 654 NEW BEST:: SOT 165606 SOS 100753 HAS SOPS 100753 HAS SOUS 91629 HAS SOUPS 91629 WITH SCORE 91729.753
AT ITER 663 NEW BEST:: SOT 165606 SOS 100691 HAS SOPS 100691 HAS SOUS 91629 HAS SOUPS 91629 WITH SCORE 91729.691
AT ITER 664 NEW BEST:: SOT 165610 SOS 100710 HAS SOPS 100710 HAS SOUS 91620 HAS SOUPS 91620 WITH SCORE 91720.71
AT ITER 665 NEW BEST:: SOT 165610 SOS 100671 HAS SOPS 100671 HAS SOUS 91581 HAS SOUPS 91581 WITH SCORE 91681.671
AT ITER 668 NEW BEST:: SOT 165534 SOS 100557 HAS SOPS 100557 HAS SOUS 91429 HAS SOUPS 91429 WITH SCORE 91529.557
AT ITER 669 NEW BEST:: SOT 165501 SOS 100390 HAS SOPS 100390 HAS SOUS 91240 HAS SOUPS 91240 WITH SCORE 91340.39
AT ITER 672 NEW BEST:: SOT 165449 SOS 100353 HAS SOPS 100353 HAS SOUS 91142 HAS SOUPS 91142 WITH SCORE 91242.353
AT ITER 673 NEW BEST:: SOT 165333 SOS 100237 HAS SOPS 100237 HAS SOUS 91026 HAS SOUPS 91026 WITH SCORE 91126.237
AT ITER 675 NEW BEST:: SOT 165267 SOS 100086 HAS SOPS 100086 HAS SOUS 90861 HAS SOUPS 90861 WITH SCORE 90961.086
AT ITER 676 NEW BEST:: SOT 165076 SOS 99573 HAS SOPS 99573 HAS SOUS 90615 HAS SOUPS 90615 WITH SCORE 90714.573
AT ITER 678 NEW BEST:: SOT 165193 SOS 99525 HAS SOPS 99525 HAS SOUS 90601 HAS SOUPS 90601 WITH SCORE 90700.525
AT ITER 683 NEW BEST:: SOT 165183 SOS 99515 HAS SOPS 99515 HAS SOUS 90591 HAS SOUPS 90591 WITH SCORE 90690.515
AT ITER 685 NEW BEST:: SOT 165118 SOS 99450 HAS SOPS 99450 HAS SOUS 90511 HAS SOUPS 90511 WITH SCORE 90610.45
AT ITER 686 NEW BEST:: SOT 164762 SOS 99307 HAS SOPS 99307 HAS SOUS 90337 HAS SOUPS 90337 WITH SCORE 90436.307
AT ITER 693 NEW BEST:: SOT 164560 SOS 99105 HAS SOPS 99105 HAS SOUS 90191 HAS SOUPS 90191 WITH SCORE 90290.105
AT ITER 701 NEW BEST:: SOT 164523 SOS 99063 HAS SOPS 99063 HAS SOUS 90180 HAS SOUPS 90180 WITH SCORE 90279.063
AT ITER 705 NEW BEST:: SOT 164316 SOS 98873 HAS SOPS 98873 HAS SOUS 89966 HAS SOUPS 89966 WITH SCORE 90064.873
AT ITER 706 NEW BEST:: SOT 164316 SOS 98834 HAS SOPS 98834 HAS SOUS 89927 HAS SOUPS 89927 WITH SCORE 90025.834
AT ITER 711 NEW BEST:: SOT 164291 SOS 98809 HAS SOPS 98809 HAS SOUS 89877 HAS SOUPS 89877 WITH SCORE 89975.809
AT ITER 719 NEW BEST:: SOT 164243 SOS 98761 HAS SOPS 98761 HAS SOUS 89829 HAS SOUPS 89829 WITH SCORE 89927.761
AT ITER 724 NEW BEST:: SOT 164261 SOS 98758 HAS SOPS 98758 HAS SOUS 89826 HAS SOUPS 89826 WITH SCORE 89924.758
AT ITER 725 NEW BEST:: SOT 164099 SOS 98596 HAS SOPS 98596 HAS SOUS 89664 HAS SOUPS 89664 WITH SCORE 89762.596
AT ITER 737 NEW BEST:: SOT 164099 SOS 98497 HAS SOPS 98497 HAS SOUS 89664 HAS SOUPS 89664 WITH SCORE 89762.497
AT ITER 738 NEW BEST:: SOT 164069 SOS 98436 HAS SOPS 98436 HAS SOUS 89626 HAS SOUPS 89626 WITH SCORE 89724.436
AT ITER 739 NEW BEST:: SOT 163977 SOS 98344 HAS SOPS 98344 HAS SOUS 89626 HAS SOUPS 89626 WITH SCORE 89724.344
AT ITER 744 NEW BEST:: SOT 163935 SOS 98394 HAS SOPS 98394 HAS SOUS 89597 HAS SOUPS 89597 WITH SCORE 89695.394
AT ITER 747 NEW BEST:: SOT 163869 SOS 98295 HAS SOPS 98295 HAS SOUS 89422 HAS SOUPS 89422 WITH SCORE 89520.295
AT ITER 752 NEW BEST:: SOT 163646 SOS 98080 HAS SOPS 98080 HAS SOUS 89205 HAS SOUPS 89205 WITH SCORE 89303.08
AT ITER 767 NEW BEST:: SOT 163309 SOS 97534 HAS SOPS 97534 HAS SOUS 88985 HAS SOUPS 88985 WITH SCORE 89082.534
AT ITER 774 NEW BEST:: SOT 163276 SOS 97293 HAS SOPS 97293 HAS SOUS 88785 HAS SOUPS 88785 WITH SCORE 88882.293
AT ITER 779 NEW BEST:: SOT 163230 SOS 97178 HAS SOPS 97178 HAS SOUS 88693 HAS SOUPS 88693 WITH SCORE 88790.178
AT ITER 781 NEW BEST:: SOT 163201 SOS 97015 HAS SOPS 97015 HAS SOUS 88530 HAS SOUPS 88530 WITH SCORE 88627.015
AT ITER 782 NEW BEST:: SOT 163139 SOS 96868 HAS SOPS 96868 HAS SOUS 88383 HAS SOUPS 88383 WITH SCORE 88479.868
AT ITER 785 NEW BEST:: SOT 162841 SOS 96726 HAS SOPS 96726 HAS SOUS 88241 HAS SOUPS 88241 WITH SCORE 88337.726
AT ITER 787 NEW BEST:: SOT 162877 SOS 96718 HAS SOPS 96718 HAS SOUS 88233 HAS SOUPS 88233 WITH SCORE 88329.718
AT ITER 792 NEW BEST:: SOT 162988 SOS 96525 HAS SOPS 96525 HAS SOUS 88156 HAS SOUPS 88156 WITH SCORE 88252.525
AT ITER 794 NEW BEST:: SOT 162988 SOS 96334 HAS SOPS 96334 HAS SOUS 87965 HAS SOUPS 87965 WITH SCORE 88061.334
AT ITER 796 NEW BEST:: SOT 162988 SOS 96243 HAS SOPS 96243 HAS SOUS 87903 HAS SOUPS 87903 WITH SCORE 87999.243
AT ITER 798 NEW BEST:: SOT 162712 SOS 95783 HAS SOPS 95783 HAS SOUS 87627 HAS SOUPS 87627 WITH SCORE 87722.783
AT ITER 806 NEW BEST:: SOT 162671 SOS 95685 HAS SOPS 95685 HAS SOUS 87570 HAS SOUPS 87570 WITH SCORE 87665.685
AT ITER 808 NEW BEST:: SOT 162549 SOS 95442 HAS SOPS 95442 HAS SOUS 87327 HAS SOUPS 87327 WITH SCORE 87422.442
AT ITER 811 NEW BEST:: SOT 162549 SOS 95362 HAS SOPS 95362 HAS SOUS 87290 HAS SOUPS 87290 WITH SCORE 87385.362
AT ITER 812 NEW BEST:: SOT 162618 SOS 95431 HAS SOPS 95431 HAS SOUS 87258 HAS SOUPS 87258 WITH SCORE 87353.431
AT ITER 815 NEW BEST:: SOT 162525 SOS 95529 HAS SOPS 95529 HAS SOUS 87149 HAS SOUPS 87149 WITH SCORE 87244.529
AT ITER 822 NEW BEST:: SOT 162441 SOS 95445 HAS SOPS 95445 HAS SOUS 87065 HAS SOUPS 87065 WITH SCORE 87160.445
AT ITER 825 NEW BEST:: SOT 162441 SOS 95445 HAS SOPS 95445 HAS SOUS 86984 HAS SOUPS 86984 WITH SCORE 87079.445
AT ITER 828 NEW BEST:: SOT 162438 SOS 95442 HAS SOPS 95442 HAS SOUS 86981 HAS SOUPS 86981 WITH SCORE 87076.442
AT ITER 829 NEW BEST:: SOT 162438 SOS 95309 HAS SOPS 95309 HAS SOUS 86981 HAS SOUPS 86981 WITH SCORE 87076.309
AT ITER 831 NEW BEST:: SOT 162401 SOS 95309 HAS SOPS 95309 HAS SOUS 86972 HAS SOUPS 86972 WITH SCORE 87067.309
AT ITER 837 NEW BEST:: SOT 162401 SOS 95274 HAS SOPS 95274 HAS SOUS 86957 HAS SOUPS 86957 WITH SCORE 87052.274
AT ITER 841 NEW BEST:: SOT 162400 SOS 94840 HAS SOPS 94840 HAS SOUS 86523 HAS SOUPS 86523 WITH SCORE 86617.84
AT ITER 842 NEW BEST:: SOT 162372 SOS 94812 HAS SOPS 94812 HAS SOUS 86495 HAS SOUPS 86495 WITH SCORE 86589.812
AT ITER 861 NEW BEST:: SOT 162374 SOS 94805 HAS SOPS 94805 HAS SOUS 86488 HAS SOUPS 86488 WITH SCORE 86582.805
AT ITER 870 NEW BEST:: SOT 162374 SOS 94801 HAS SOPS 94801 HAS SOUS 86474 HAS SOUPS 86474 WITH SCORE 86568.801
AT ITER 880 NEW BEST:: SOT 162374 SOS 94409 HAS SOPS 94409 HAS SOUS 86360 HAS SOUPS 86360 WITH SCORE 86454.409
AT ITER 907 NEW BEST:: SOT 162350 SOS 94377 HAS SOPS 94377 HAS SOUS 86314 HAS SOUPS 86314 WITH SCORE 86408.377
AT ITER 908 NEW BEST:: SOT 162339 SOS 94195 HAS SOPS 94195 HAS SOUS 86109 HAS SOUPS 86109 WITH SCORE 86203.195
AT ITER 920 NEW BEST:: SOT 162424 SOS 94009 HAS SOPS 94009 HAS SOUS 85983 HAS SOUPS 85983 WITH SCORE 86077.009
AT ITER 921 NEW BEST:: SOT 162376 SOS 93913 HAS SOPS 93913 HAS SOUS 85911 HAS SOUPS 85911 WITH SCORE 86004.913
AT ITER 927 NEW BEST:: SOT 162376 SOS 93913 HAS SOPS 93913 HAS SOUS 85811 HAS SOUPS 85811 WITH SCORE 85904.913
AT ITER 930 NEW BEST:: SOT 162376 SOS 93722 HAS SOPS 93722 HAS SOUS 85620 HAS SOUPS 85620 WITH SCORE 85713.722
AT ITER 934 NEW BEST:: SOT 162341 SOS 93284 HAS SOPS 93284 HAS SOUS 85316 HAS SOUPS 85316 WITH SCORE 85409.284
AT ITER 942 NEW BEST:: SOT 162341 SOS 93274 HAS SOPS 93274 HAS SOUS 85306 HAS SOUPS 85306 WITH SCORE 85399.274
AT ITER 948 NEW BEST:: SOT 162207 SOS 92691 HAS SOPS 92691 HAS SOUS 85007 HAS SOUPS 85007 WITH SCORE 85099.691
AT ITER 952 NEW BEST:: SOT 162143 SOS 92627 HAS SOPS 92627 HAS SOUS 84943 HAS SOUPS 84943 WITH SCORE 85035.627
AT ITER 956 NEW BEST:: SOT 162182 SOS 92625 HAS SOPS 92625 HAS SOUS 84937 HAS SOUPS 84937 WITH SCORE 85029.625
AT ITER 957 NEW BEST:: SOT 162182 SOS 92594 HAS SOPS 92594 HAS SOUS 84906 HAS SOUPS 84906 WITH SCORE 84998.594
AT ITER 975 NEW BEST:: SOT 162213 SOS 92409 HAS SOPS 92409 HAS SOUS 84867 HAS SOUPS 84867 WITH SCORE 84959.409
AT ITER 977 NEW BEST:: SOT 162227 SOS 92423 HAS SOPS 92423 HAS SOUS 84802 HAS SOUPS 84802 WITH SCORE 84894.423
AT ITER 986 NEW BEST:: SOT 162112 SOS 92307 HAS SOPS 92307 HAS SOUS 84686 HAS SOUPS 84686 WITH SCORE 84778.307
AT ITER 989 NEW BEST:: SOT 162100 SOS 92295 HAS SOPS 92295 HAS SOUS 84674 HAS SOUPS 84674 WITH SCORE 84766.295
AT ITER 993 NEW BEST:: SOT 162040 SOS 92269 HAS SOPS 92269 HAS SOUS 84645 HAS SOUPS 84645 WITH SCORE 84737.269
AT ITER 994 NEW BEST:: SOT 161765 SOS 91868 HAS SOPS 91868 HAS SOUS 84165 HAS SOUPS 84165 WITH SCORE 84256.868
AT ITER 995 NEW BEST:: SOT 161786 SOS 91867 HAS SOPS 91867 HAS SOUS 84164 HAS SOUPS 84164 WITH SCORE 84255.867
AT ITER 1001 NEW BEST:: SOT 161539 SOS 91618 HAS SOPS 91618 HAS SOUS 83915 HAS SOUPS 83915 WITH SCORE 84006.618
AT ITER 1006 NEW BEST:: SOT 161525 SOS 90899 HAS SOPS 90899 HAS SOUS 83589 HAS SOUPS 83589 WITH SCORE 83679.899
AT ITER 1011 NEW BEST:: SOT 161287 SOS 90513 HAS SOPS 90513 HAS SOUS 83227 HAS SOUPS 83227 WITH SCORE 83317.513
AT ITER 1017 NEW BEST:: SOT 161287 SOS 90298 HAS SOPS 90298 HAS SOUS 83213 HAS SOUPS 83213 WITH SCORE 83303.298
AT ITER 1021 NEW BEST:: SOT 161103 SOS 90112 HAS SOPS 90112 HAS SOUS 82948 HAS SOUPS 82948 WITH SCORE 83038.112
AT ITER 1040 NEW BEST:: SOT 161075 SOS 90000 HAS SOPS 90000 HAS SOUS 82864 HAS SOUPS 82864 WITH SCORE 82954.0
AT ITER 1041 NEW BEST:: SOT 161066 SOS 89991 HAS SOPS 89991 HAS SOUS 82855 HAS SOUPS 82855 WITH SCORE 82944.991
AT ITER 1043 NEW BEST:: SOT 161049 SOS 89970 HAS SOPS 89970 HAS SOUS 82834 HAS SOUPS 82834 WITH SCORE 82923.97
AT ITER 1045 NEW BEST:: SOT 160946 SOS 89702 HAS SOPS 89702 HAS SOUS 82644 HAS SOUPS 82644 WITH SCORE 82733.702
AT ITER 1046 NEW BEST:: SOT 160967 SOS 89768 HAS SOPS 89768 HAS SOUS 82566 HAS SOUPS 82566 WITH SCORE 82655.768
AT ITER 1047 NEW BEST:: SOT 160821 SOS 89476 HAS SOPS 89476 HAS SOUS 82420 HAS SOUPS 82420 WITH SCORE 82509.476
AT ITER 1048 NEW BEST:: SOT 160788 SOS 89443 HAS SOPS 89443 HAS SOUS 82387 HAS SOUPS 82387 WITH SCORE 82476.443
AT ITER 1052 NEW BEST:: SOT 160788 SOS 89415 HAS SOPS 89415 HAS SOUS 82381 HAS SOUPS 82381 WITH SCORE 82470.415
AT ITER 1054 NEW BEST:: SOT 160708 SOS 89335 HAS SOPS 89335 HAS SOUS 82301 HAS SOUPS 82301 WITH SCORE 82390.335
AT ITER 1055 NEW BEST:: SOT 160708 SOS 89344 HAS SOPS 89344 HAS SOUS 82255 HAS SOUPS 82255 WITH SCORE 82344.344
AT ITER 1056 NEW BEST:: SOT 160707 SOS 89339 HAS SOPS 89339 HAS SOUS 82253 HAS SOUPS 82253 WITH SCORE 82342.339
AT ITER 1061 NEW BEST:: SOT 160426 SOS 88722 HAS SOPS 88722 HAS SOUS 81747 HAS SOUPS 81747 WITH SCORE 81835.722
AT ITER 1064 NEW BEST:: SOT 160342 SOS 88314 HAS SOPS 88314 HAS SOUS 81443 HAS SOUPS 81443 WITH SCORE 81531.314
AT ITER 1067 NEW BEST:: SOT 160195 SOS 88167 HAS SOPS 88167 HAS SOUS 81229 HAS SOUPS 81229 WITH SCORE 81317.167
AT ITER 1069 NEW BEST:: SOT 160021 SOS 87725 HAS SOPS 87725 HAS SOUS 81014 HAS SOUPS 81014 WITH SCORE 81101.725
AT ITER 1070 NEW BEST:: SOT 159968 SOS 87528 HAS SOPS 87528 HAS SOUS 80817 HAS SOUPS 80817 WITH SCORE 80904.528
AT ITER 1073 NEW BEST:: SOT 159874 SOS 87387 HAS SOPS 87387 HAS SOUS 80676 HAS SOUPS 80676 WITH SCORE 80763.387
AT ITER 1094 NEW BEST:: SOT 159873 SOS 87387 HAS SOPS 87387 HAS SOUS 80675 HAS SOUPS 80675 WITH SCORE 80762.387
AT ITER 1097 NEW BEST:: SOT 159871 SOS 87385 HAS SOPS 87385 HAS SOUS 80673 HAS SOUPS 80673 WITH SCORE 80760.385
AT ITER 1100 NEW BEST:: SOT 159871 SOS 87405 HAS SOPS 87405 HAS SOUS 80672 HAS SOUPS 80672 WITH SCORE 80759.405
AT ITER 1104 NEW BEST:: SOT 159843 SOS 87036 HAS SOPS 87036 HAS SOUS 80534 HAS SOUPS 80534 WITH SCORE 80621.036
AT ITER 1106 NEW BEST:: SOT 159803 SOS 86996 HAS SOPS 86996 HAS SOUS 80494 HAS SOUPS 80494 WITH SCORE 80580.996
AT ITER 1111 NEW BEST:: SOT 159633 SOS 86478 HAS SOPS 86478 HAS SOUS 80014 HAS SOUPS 80014 WITH SCORE 80100.478
AT ITER 1112 NEW BEST:: SOT 159641 SOS 86452 HAS SOPS 86452 HAS SOUS 79988 HAS SOUPS 79988 WITH SCORE 80074.452
AT ITER 1122 NEW BEST:: SOT 159575 SOS 86386 HAS SOPS 86386 HAS SOUS 79922 HAS SOUPS 79922 WITH SCORE 80008.386
AT ITER 1123 NEW BEST:: SOT 159499 SOS 86188 HAS SOPS 86188 HAS SOUS 79694 HAS SOUPS 79694 WITH SCORE 79780.188
AT ITER 1128 NEW BEST:: SOT 159281 SOS 85874 HAS SOPS 85874 HAS SOUS 79216 HAS SOUPS 79216 WITH SCORE 79301.874
AT ITER 1131 NEW BEST:: SOT 159197 SOS 85748 HAS SOPS 85748 HAS SOUS 79090 HAS SOUPS 79090 WITH SCORE 79175.748
AT ITER 1134 NEW BEST:: SOT 159197 SOS 85702 HAS SOPS 85702 HAS SOUS 79044 HAS SOUPS 79044 WITH SCORE 79129.702
AT ITER 1146 NEW BEST:: SOT 159115 SOS 85620 HAS SOPS 85620 HAS SOUS 78962 HAS SOUPS 78962 WITH SCORE 79047.62
AT ITER 1147 NEW BEST:: SOT 159092 SOS 85629 HAS SOPS 85629 HAS SOUS 78943 HAS SOUPS 78943 WITH SCORE 79028.629
AT ITER 1148 NEW BEST:: SOT 159137 SOS 85588 HAS SOPS 85588 HAS SOUS 78908 HAS SOUPS 78908 WITH SCORE 78993.588
AT ITER 1152 NEW BEST:: SOT 158730 SOS 85119 HAS SOPS 85119 HAS SOUS 78439 HAS SOUPS 78439 WITH SCORE 78524.119
AT ITER 1158 NEW BEST:: SOT 158697 SOS 85086 HAS SOPS 85086 HAS SOUS 78373 HAS SOUPS 78373 WITH SCORE 78458.086
AT ITER 1166 NEW BEST:: SOT 158488 SOS 84617 HAS SOPS 84617 HAS SOUS 78032 HAS SOUPS 78032 WITH SCORE 78116.617
AT ITER 1169 NEW BEST:: SOT 158473 SOS 84602 HAS SOPS 84602 HAS SOUS 78017 HAS SOUPS 78017 WITH SCORE 78101.602
AT ITER 1172 NEW BEST:: SOT 158473 SOS 84529 HAS SOPS 84529 HAS SOUS 77967 HAS SOUPS 77967 WITH SCORE 78051.529
AT ITER 1179 NEW BEST:: SOT 158450 SOS 84492 HAS SOPS 84492 HAS SOUS 77930 HAS SOUPS 77930 WITH SCORE 78014.492
AT ITER 1181 NEW BEST:: SOT 158450 SOS 84492 HAS SOPS 84492 HAS SOUS 77908 HAS SOUPS 77908 WITH SCORE 77992.492
AT ITER 1187 NEW BEST:: SOT 158126 SOS 84207 HAS SOPS 84207 HAS SOUS 77438 HAS SOUPS 77438 WITH SCORE 77522.207
AT ITER 1189 NEW BEST:: SOT 157786 SOS 83768 HAS SOPS 83768 HAS SOUS 76985 HAS SOUPS 76985 WITH SCORE 77068.768
AT ITER 1190 NEW BEST:: SOT 157729 SOS 83688 HAS SOPS 83688 HAS SOUS 76928 HAS SOUPS 76928 WITH SCORE 77011.688
AT ITER 1193 NEW BEST:: SOT 157743 SOS 83634 HAS SOPS 83634 HAS SOUS 76921 HAS SOUPS 76921 WITH SCORE 77004.634
AT ITER 1200 NEW BEST:: SOT 157711 SOS 83531 HAS SOPS 83531 HAS SOUS 76818 HAS SOUPS 76818 WITH SCORE 76901.531
AT ITER 1202 NEW BEST:: SOT 157711 SOS 83498 HAS SOPS 83498 HAS SOUS 76818 HAS SOUPS 76818 WITH SCORE 76901.498
AT ITER 1207 NEW BEST:: SOT 157699 SOS 83462 HAS SOPS 83462 HAS SOUS 76788 HAS SOUPS 76788 WITH SCORE 76871.462
AT ITER 1223 NEW BEST:: SOT 157699 SOS 83458 HAS SOPS 83458 HAS SOUS 76784 HAS SOUPS 76784 WITH SCORE 76867.458
AT ITER 1226 NEW BEST:: SOT 157699 SOS 83737 HAS SOPS 83737 HAS SOUS 76774 HAS SOUPS 76774 WITH SCORE 76857.737
AT ITER 1239 NEW BEST:: SOT 157663 SOS 83603 HAS SOPS 83603 HAS SOUS 76579 HAS SOUPS 76579 WITH SCORE 76662.603
AT ITER 1242 NEW BEST:: SOT 157663 SOS 83526 HAS SOPS 83526 HAS SOUS 76538 HAS SOUPS 76538 WITH SCORE 76621.526
AT ITER 1252 NEW BEST:: SOT 157447 SOS 83348 HAS SOPS 83348 HAS SOUS 76351 HAS SOUPS 76351 WITH SCORE 76434.348
AT ITER 1255 NEW BEST:: SOT 157304 SOS 83205 HAS SOPS 83205 HAS SOUS 76208 HAS SOUPS 76208 WITH SCORE 76291.205
AT ITER 1256 NEW BEST:: SOT 157304 SOS 83157 HAS SOPS 83157 HAS SOUS 76194 HAS SOUPS 76194 WITH SCORE 76277.157
AT ITER 1264 NEW BEST:: SOT 157028 SOS 82844 HAS SOPS 82844 HAS SOUS 75793 HAS SOUPS 75793 WITH SCORE 75875.844
AT ITER 1266 NEW BEST:: SOT 156982 SOS 82798 HAS SOPS 82798 HAS SOUS 75747 HAS SOUPS 75747 WITH SCORE 75829.798
AT ITER 1268 NEW BEST:: SOT 156959 SOS 82754 HAS SOPS 82754 HAS SOUS 75703 HAS SOUPS 75703 WITH SCORE 75785.754
AT ITER 1281 NEW BEST:: SOT 156927 SOS 82690 HAS SOPS 82690 HAS SOUS 75639 HAS SOUPS 75639 WITH SCORE 75721.69
AT ITER 1283 NEW BEST:: SOT 156927 SOS 82646 HAS SOPS 82646 HAS SOUS 75626 HAS SOUPS 75626 WITH SCORE 75708.646
AT ITER 1298 NEW BEST:: SOT 156927 SOS 82558 HAS SOPS 82558 HAS SOUS 75503 HAS SOUPS 75503 WITH SCORE 75585.558
AT ITER 1300 NEW BEST:: SOT 156925 SOS 82556 HAS SOPS 82556 HAS SOUS 75499 HAS SOUPS 75499 WITH SCORE 75581.556
AT ITER 1308 NEW BEST:: SOT 156787 SOS 82392 HAS SOPS 82392 HAS SOUS 75335 HAS SOUPS 75335 WITH SCORE 75417.392
AT ITER 1310 NEW BEST:: SOT 156767 SOS 82372 HAS SOPS 82372 HAS SOUS 75315 HAS SOUPS 75315 WITH SCORE 75397.372
AT ITER 1320 NEW BEST:: SOT 156734 SOS 82072 HAS SOPS 82072 HAS SOUS 75211 HAS SOUPS 75211 WITH SCORE 75293.072
AT ITER 1328 NEW BEST:: SOT 156734 SOS 82044 HAS SOPS 82044 HAS SOUS 75209 HAS SOUPS 75209 WITH SCORE 75291.044
AT ITER 1335 NEW BEST:: SOT 156712 SOS 82022 HAS SOPS 82022 HAS SOUS 75187 HAS SOUPS 75187 WITH SCORE 75269.022
AT ITER 1338 NEW BEST:: SOT 156700 SOS 82044 HAS SOPS 82044 HAS SOUS 75119 HAS SOUPS 75119 WITH SCORE 75201.044
AT ITER 1341 NEW BEST:: SOT 156700 SOS 81972 HAS SOPS 81972 HAS SOUS 75071 HAS SOUPS 75071 WITH SCORE 75152.972
AT ITER 1344 NEW BEST:: SOT 156671 SOS 81943 HAS SOPS 81943 HAS SOUS 75042 HAS SOUPS 75042 WITH SCORE 75123.943
AT ITER 1346 NEW BEST:: SOT 156702 SOS 81974 HAS SOPS 81974 HAS SOUS 75000 HAS SOUPS 75000 WITH SCORE 75081.974
AT ITER 1355 NEW BEST:: SOT 156702 SOS 81964 HAS SOPS 81964 HAS SOUS 74990 HAS SOUPS 74990 WITH SCORE 75071.964
AT ITER 1359 NEW BEST:: SOT 156673 SOS 81877 HAS SOPS 81877 HAS SOUS 74932 HAS SOUPS 74932 WITH SCORE 75013.877
AT ITER 1361 NEW BEST:: SOT 156363 SOS 81965 HAS SOPS 81965 HAS SOUS 74874 HAS SOUPS 74874 WITH SCORE 74955.965
AT ITER 1363 NEW BEST:: SOT 156349 SOS 81951 HAS SOPS 81951 HAS SOUS 74860 HAS SOUPS 74860 WITH SCORE 74941.951
AT ITER 1394 NEW BEST:: SOT 156323 SOS 81873 HAS SOPS 81873 HAS SOUS 74782 HAS SOUPS 74782 WITH SCORE 74863.873
AT ITER 1396 NEW BEST:: SOT 156248 SOS 81722 HAS SOPS 81722 HAS SOUS 74631 HAS SOUPS 74631 WITH SCORE 74712.722
AT ITER 1408 NEW BEST:: SOT 156248 SOS 81671 HAS SOPS 81671 HAS SOUS 74523 HAS SOUPS 74523 WITH SCORE 74604.671
AT ITER 1411 NEW BEST:: SOT 156248 SOS 81692 HAS SOPS 81692 HAS SOUS 74500 HAS SOUPS 74500 WITH SCORE 74581.692
AT ITER 1413 NEW BEST:: SOT 156248 SOS 81664 HAS SOPS 81664 HAS SOUS 74500 HAS SOUPS 74500 WITH SCORE 74581.664
AT ITER 1415 NEW BEST:: SOT 156248 SOS 81477 HAS SOPS 81477 HAS SOUS 74442 HAS SOUPS 74442 WITH SCORE 74523.477
AT ITER 1424 NEW BEST:: SOT 156059 SOS 81162 HAS SOPS 81162 HAS SOUS 74190 HAS SOUPS 74190 WITH SCORE 74271.162
AT ITER 1436 NEW BEST:: SOT 155736 SOS 80755 HAS SOPS 80755 HAS SOUS 73727 HAS SOUPS 73727 WITH SCORE 73807.755
AT ITER 1441 NEW BEST:: SOT 155737 SOS 80805 HAS SOPS 80805 HAS SOUS 73570 HAS SOUPS 73570 WITH SCORE 73650.805
AT ITER 1455 NEW BEST:: SOT 155687 SOS 80513 HAS SOPS 80513 HAS SOUS 73265 HAS SOUPS 73265 WITH SCORE 73345.513
AT ITER 1458 NEW BEST:: SOT 155577 SOS 80368 HAS SOPS 80368 HAS SOUS 73202 HAS SOUPS 73202 WITH SCORE 73282.368
AT ITER 1460 NEW BEST:: SOT 155577 SOS 80338 HAS SOPS 80338 HAS SOUS 73187 HAS SOUPS 73187 WITH SCORE 73267.338
AT ITER 1461 NEW BEST:: SOT 155490 SOS 80269 HAS SOPS 80269 HAS SOUS 73140 HAS SOUPS 73140 WITH SCORE 73220.269
AT ITER 1475 NEW BEST:: SOT 155484 SOS 80260 HAS SOPS 80260 HAS SOUS 73131 HAS SOUPS 73131 WITH SCORE 73211.26
AT ITER 1483 NEW BEST:: SOT 155250 SOS 79864 HAS SOPS 79864 HAS SOUS 72882 HAS SOUPS 72882 WITH SCORE 72961.864
AT ITER 1489 NEW BEST:: SOT 155065 SOS 79679 HAS SOPS 79679 HAS SOUS 72553 HAS SOUPS 72553 WITH SCORE 72632.679
AT ITER 1490 NEW BEST:: SOT 155013 SOS 79555 HAS SOPS 79555 HAS SOUS 72420 HAS SOUPS 72420 WITH SCORE 72499.555
AT ITER 1499 NEW BEST:: SOT 155010 SOS 79552 HAS SOPS 79552 HAS SOUS 72417 HAS SOUPS 72417 WITH SCORE 72496.552
AT ITER 1508 NEW BEST:: SOT 154886 SOS 79389 HAS SOPS 79389 HAS SOUS 72387 HAS SOUPS 72387 WITH SCORE 72466.389
AT ITER 1522 NEW BEST:: SOT 154867 SOS 79525 HAS SOPS 79525 HAS SOUS 72346 HAS SOUPS 72346 WITH SCORE 72425.525
AT ITER 1526 NEW BEST:: SOT 154809 SOS 79467 HAS SOPS 79467 HAS SOUS 72288 HAS SOUPS 72288 WITH SCORE 72367.467
AT ITER 1534 NEW BEST:: SOT 154823 SOS 79376 HAS SOPS 79376 HAS SOUS 72226 HAS SOUPS 72226 WITH SCORE 72305.376
AT ITER 1552 NEW BEST:: SOT 154574 SOS 79127 HAS SOPS 79127 HAS SOUS 72213 HAS SOUPS 72213 WITH SCORE 72292.127
AT ITER 1553 NEW BEST:: SOT 154551 SOS 79079 HAS SOPS 79079 HAS SOUS 72212 HAS SOUPS 72212 WITH SCORE 72291.079
AT ITER 1558 NEW BEST:: SOT 154377 SOS 78888 HAS SOPS 78888 HAS SOUS 71966 HAS SOUPS 71966 WITH SCORE 72044.888
AT ITER 1565 NEW BEST:: SOT 154252 SOS 78763 HAS SOPS 78763 HAS SOUS 71841 HAS SOUPS 71841 WITH SCORE 71919.763
AT ITER 1566 NEW BEST:: SOT 154232 SOS 78743 HAS SOPS 78743 HAS SOUS 71821 HAS SOUPS 71821 WITH SCORE 71899.743
AT ITER 1567 NEW BEST:: SOT 154214 SOS 78725 HAS SOPS 78725 HAS SOUS 71803 HAS SOUPS 71803 WITH SCORE 71881.725
AT ITER 1568 NEW BEST:: SOT 154114 SOS 78573 HAS SOPS 78573 HAS SOUS 71651 HAS SOUPS 71651 WITH SCORE 71729.573
AT ITER 1572 NEW BEST:: SOT 154060 SOS 78519 HAS SOPS 78519 HAS SOUS 71603 HAS SOUPS 71603 WITH SCORE 71681.519
AT ITER 1583 NEW BEST:: SOT 154060 SOS 78513 HAS SOPS 78513 HAS SOUS 71591 HAS SOUPS 71591 WITH SCORE 71669.513
AT ITER 1587 NEW BEST:: SOT 154058 SOS 78522 HAS SOPS 78522 HAS SOUS 71581 HAS SOUPS 71581 WITH SCORE 71659.522
AT ITER 1595 NEW BEST:: SOT 153867 SOS 78189 HAS SOPS 78189 HAS SOUS 71248 HAS SOUPS 71248 WITH SCORE 71326.189
AT ITER 1596 NEW BEST:: SOT 153853 SOS 78175 HAS SOPS 78175 HAS SOUS 71234 HAS SOUPS 71234 WITH SCORE 71312.175
AT ITER 1602 NEW BEST:: SOT 153820 SOS 78076 HAS SOPS 78076 HAS SOUS 71135 HAS SOUPS 71135 WITH SCORE 71213.076
AT ITER 1609 NEW BEST:: SOT 153843 SOS 78087 HAS SOPS 78087 HAS SOUS 71129 HAS SOUPS 71129 WITH SCORE 71207.087
AT ITER 1612 NEW BEST:: SOT 153794 SOS 77982 HAS SOPS 77982 HAS SOUS 71037 HAS SOUPS 71037 WITH SCORE 71114.982
AT ITER 1615 NEW BEST:: SOT 153776 SOS 77964 HAS SOPS 77964 HAS SOUS 71019 HAS SOUPS 71019 WITH SCORE 71096.964
AT ITER 1617 NEW BEST:: SOT 153671 SOS 77623 HAS SOPS 77623 HAS SOUS 70790 HAS SOUPS 70790 WITH SCORE 70867.623
AT ITER 1632 NEW BEST:: SOT 153634 SOS 77623 HAS SOPS 77623 HAS SOUS 70753 HAS SOUPS 70753 WITH SCORE 70830.623
AT ITER 1633 NEW BEST:: SOT 153591 SOS 77691 HAS SOPS 77691 HAS SOUS 70748 HAS SOUPS 70748 WITH SCORE 70825.691
AT ITER 1637 NEW BEST:: SOT 153609 SOS 77619 HAS SOPS 77619 HAS SOUS 70676 HAS SOUPS 70676 WITH SCORE 70753.619
AT ITER 1640 NEW BEST:: SOT 153577 SOS 77555 HAS SOPS 77555 HAS SOUS 70612 HAS SOUPS 70612 WITH SCORE 70689.555
AT ITER 1651 NEW BEST:: SOT 153577 SOS 77501 HAS SOPS 77501 HAS SOUS 70601 HAS SOUPS 70601 WITH SCORE 70678.501
AT ITER 1658 NEW BEST:: SOT 153426 SOS 77151 HAS SOPS 77151 HAS SOUS 70212 HAS SOUPS 70212 WITH SCORE 70289.151
AT ITER 1663 NEW BEST:: SOT 153426 SOS 76648 HAS SOPS 76648 HAS SOUS 70050 HAS SOUPS 70050 WITH SCORE 70126.648
AT ITER 1665 NEW BEST:: SOT 153415 SOS 76690 HAS SOPS 76690 HAS SOUS 70044 HAS SOUPS 70044 WITH SCORE 70120.69
AT ITER 1670 NEW BEST:: SOT 153375 SOS 76570 HAS SOPS 76570 HAS SOUS 69964 HAS SOUPS 69964 WITH SCORE 70040.57
AT ITER 1672 NEW BEST:: SOT 153504 SOS 76747 HAS SOPS 76747 HAS SOUS 69898 HAS SOUPS 69898 WITH SCORE 69974.747
AT ITER 1686 NEW BEST:: SOT 153483 SOS 76726 HAS SOPS 76726 HAS SOUS 69877 HAS SOUPS 69877 WITH SCORE 69953.726
AT ITER 1688 NEW BEST:: SOT 153481 SOS 76724 HAS SOPS 76724 HAS SOUS 69875 HAS SOUPS 69875 WITH SCORE 69951.724
AT ITER 1690 NEW BEST:: SOT 153481 SOS 76710 HAS SOPS 76710 HAS SOUS 69861 HAS SOUPS 69861 WITH SCORE 69937.71
AT ITER 1693 NEW BEST:: SOT 153479 SOS 76708 HAS SOPS 76708 HAS SOUS 69859 HAS SOUPS 69859 WITH SCORE 69935.708
AT ITER 1695 NEW BEST:: SOT 153471 SOS 76700 HAS SOPS 76700 HAS SOUS 69851 HAS SOUPS 69851 WITH SCORE 69927.7
AT ITER 1702 NEW BEST:: SOT 153413 SOS 76670 HAS SOPS 76670 HAS SOUS 69821 HAS SOUPS 69821 WITH SCORE 69897.67
AT ITER 1704 NEW BEST:: SOT 153413 SOS 76651 HAS SOPS 76651 HAS SOUS 69802 HAS SOUPS 69802 WITH SCORE 69878.651
AT ITER 1706 NEW BEST:: SOT 153313 SOS 76551 HAS SOPS 76551 HAS SOUS 69702 HAS SOUPS 69702 WITH SCORE 69778.551
AT ITER 1715 NEW BEST:: SOT 153323 SOS 76591 HAS SOPS 76591 HAS SOUS 69679 HAS SOUPS 69679 WITH SCORE 69755.591
AT ITER 1724 NEW BEST:: SOT 153323 SOS 76554 HAS SOPS 76554 HAS SOUS 69656 HAS SOUPS 69656 WITH SCORE 69732.554
AT ITER 1725 NEW BEST:: SOT 153281 SOS 76508 HAS SOPS 76508 HAS SOUS 69628 HAS SOUPS 69628 WITH SCORE 69704.508
AT ITER 1727 NEW BEST:: SOT 153273 SOS 76500 HAS SOPS 76500 HAS SOUS 69620 HAS SOUPS 69620 WITH SCORE 69696.5
AT ITER 1731 NEW BEST:: SOT 153213 SOS 76403 HAS SOPS 76403 HAS SOUS 69529 HAS SOUPS 69529 WITH SCORE 69605.403
AT ITER 1733 NEW BEST:: SOT 153213 SOS 76398 HAS SOPS 76398 HAS SOUS 69524 HAS SOUPS 69524 WITH SCORE 69600.398
AT ITER 1735 NEW BEST:: SOT 152996 SOS 76158 HAS SOPS 76158 HAS SOUS 69284 HAS SOUPS 69284 WITH SCORE 69360.158
AT ITER 1740 NEW BEST:: SOT 152970 SOS 76132 HAS SOPS 76132 HAS SOUS 69284 HAS SOUPS 69284 WITH SCORE 69360.132
AT ITER 1750 NEW BEST:: SOT 152940 SOS 76253 HAS SOPS 76253 HAS SOUS 69191 HAS SOUPS 69191 WITH SCORE 69267.253
AT ITER 1760 NEW BEST:: SOT 152882 SOS 76224 HAS SOPS 76224 HAS SOUS 69162 HAS SOUPS 69162 WITH SCORE 69238.224
AT ITER 1763 NEW BEST:: SOT 152822 SOS 76164 HAS SOPS 76164 HAS SOUS 69102 HAS SOUPS 69102 WITH SCORE 69178.164
AT ITER 1767 NEW BEST:: SOT 152821 SOS 76163 HAS SOPS 76163 HAS SOUS 69022 HAS SOUPS 69022 WITH SCORE 69098.163
AT ITER 1781 NEW BEST:: SOT 152798 SOS 76140 HAS SOPS 76140 HAS SOUS 68999 HAS SOUPS 68999 WITH SCORE 69075.14
AT ITER 1794 NEW BEST:: SOT 152727 SOS 76069 HAS SOPS 76069 HAS SOUS 68928 HAS SOUPS 68928 WITH SCORE 69004.069
AT ITER 1804 NEW BEST:: SOT 152727 SOS 75923 HAS SOPS 75923 HAS SOUS 68855 HAS SOUPS 68855 WITH SCORE 68930.923
AT ITER 1815 NEW BEST:: SOT 152701 SOS 75847 HAS SOPS 75847 HAS SOUS 68779 HAS SOUPS 68779 WITH SCORE 68854.847
AT ITER 1816 NEW BEST:: SOT 152469 SOS 75367 HAS SOPS 75367 HAS SOUS 68379 HAS SOUPS 68379 WITH SCORE 68454.367
AT ITER 1817 NEW BEST:: SOT 152391 SOS 75216 HAS SOPS 75216 HAS SOUS 68195 HAS SOUPS 68195 WITH SCORE 68270.216
AT ITER 1831 NEW BEST:: SOT 152391 SOS 75128 HAS SOPS 75128 HAS SOUS 68151 HAS SOUPS 68151 WITH SCORE 68226.128
AT ITER 1832 NEW BEST:: SOT 152367 SOS 75104 HAS SOPS 75104 HAS SOUS 68127 HAS SOUPS 68127 WITH SCORE 68202.104
AT ITER 1834 NEW BEST:: SOT 152367 SOS 75104 HAS SOPS 75104 HAS SOUS 68113 HAS SOUPS 68113 WITH SCORE 68188.104
AT ITER 1836 NEW BEST:: SOT 152355 SOS 75071 HAS SOPS 75071 HAS SOUS 68101 HAS SOUPS 68101 WITH SCORE 68176.071
AT ITER 1840 NEW BEST:: SOT 152354 SOS 75070 HAS SOPS 75070 HAS SOUS 68100 HAS SOUPS 68100 WITH SCORE 68175.07
AT ITER 1844 NEW BEST:: SOT 152309 SOS 75004 HAS SOPS 75004 HAS SOUS 68034 HAS SOUPS 68034 WITH SCORE 68109.004
AT ITER 1853 NEW BEST:: SOT 152308 SOS 74896 HAS SOPS 74896 HAS SOUS 68032 HAS SOUPS 68032 WITH SCORE 68106.896
AT ITER 1855 NEW BEST:: SOT 152265 SOS 74835 HAS SOPS 74835 HAS SOUS 67971 HAS SOUPS 67971 WITH SCORE 68045.835
AT ITER 1858 NEW BEST:: SOT 152265 SOS 74815 HAS SOPS 74815 HAS SOUS 67806 HAS SOUPS 67806 WITH SCORE 67880.815
AT ITER 1865 NEW BEST:: SOT 152220 SOS 74716 HAS SOPS 74716 HAS SOUS 67716 HAS SOUPS 67716 WITH SCORE 67790.716
AT ITER 1871 NEW BEST:: SOT 152220 SOS 74657 HAS SOPS 74657 HAS SOUS 67716 HAS SOUPS 67716 WITH SCORE 67790.657
AT ITER 1889 NEW BEST:: SOT 152216 SOS 74649 HAS SOPS 74649 HAS SOUS 67710 HAS SOUPS 67710 WITH SCORE 67784.649
AT ITER 1890 NEW BEST:: SOT 152216 SOS 74617 HAS SOPS 74617 HAS SOUS 67678 HAS SOUPS 67678 WITH SCORE 67752.617
AT ITER 1891 NEW BEST:: SOT 152164 SOS 74487 HAS SOPS 74487 HAS SOUS 67548 HAS SOUPS 67548 WITH SCORE 67622.487
AT ITER 1892 NEW BEST:: SOT 152232 SOS 74384 HAS SOPS 74384 HAS SOUS 67496 HAS SOUPS 67496 WITH SCORE 67570.384
AT ITER 1898 NEW BEST:: SOT 152198 SOS 74350 HAS SOPS 74350 HAS SOUS 67462 HAS SOUPS 67462 WITH SCORE 67536.35
AT ITER 1900 NEW BEST:: SOT 152153 SOS 73971 HAS SOPS 73971 HAS SOUS 67167 HAS SOUPS 67167 WITH SCORE 67240.971
AT ITER 1907 NEW BEST:: SOT 152194 SOS 73942 HAS SOPS 73942 HAS SOUS 67112 HAS SOUPS 67112 WITH SCORE 67185.942
AT ITER 1910 NEW BEST:: SOT 152183 SOS 73920 HAS SOPS 73920 HAS SOUS 67090 HAS SOUPS 67090 WITH SCORE 67163.92
AT ITER 1915 NEW BEST:: SOT 152183 SOS 73850 HAS SOPS 73850 HAS SOUS 67042 HAS SOUPS 67042 WITH SCORE 67115.85
AT ITER 1916 NEW BEST:: SOT 152146 SOS 73824 HAS SOPS 73824 HAS SOUS 67004 HAS SOUPS 67004 WITH SCORE 67077.824
AT ITER 1919 NEW BEST:: SOT 151950 SOS 73721 HAS SOPS 73721 HAS SOUS 66934 HAS SOUPS 66934 WITH SCORE 67007.721
AT ITER 1932 NEW BEST:: SOT 151940 SOS 73691 HAS SOPS 73691 HAS SOUS 66914 HAS SOUPS 66914 WITH SCORE 66987.691
AT ITER 1938 NEW BEST:: SOT 152031 SOS 73467 HAS SOPS 73467 HAS SOUS 66459 HAS SOUPS 66459 WITH SCORE 66532.467
AT ITER 1940 NEW BEST:: SOT 151910 SOS 73171 HAS SOPS 73171 HAS SOUS 66163 HAS SOUPS 66163 WITH SCORE 66236.171
AT ITER 1947 NEW BEST:: SOT 151828 SOS 73002 HAS SOPS 73002 HAS SOUS 65994 HAS SOUPS 65994 WITH SCORE 66067.002
AT ITER 1961 NEW BEST:: SOT 151828 SOS 72982 HAS SOPS 72982 HAS SOUS 65984 HAS SOUPS 65984 WITH SCORE 66056.982
AT ITER 1962 NEW BEST:: SOT 151828 SOS 72862 HAS SOPS 72862 HAS SOUS 65864 HAS SOUPS 65864 WITH SCORE 65936.862
AT ITER 1964 NEW BEST:: SOT 151818 SOS 72852 HAS SOPS 72852 HAS SOUS 65821 HAS SOUPS 65821 WITH SCORE 65893.852
AT ITER 1970 NEW BEST:: SOT 151778 SOS 72651 HAS SOPS 72651 HAS SOUS 65711 HAS SOUPS 65711 WITH SCORE 65783.651
AT ITER 1990 NEW BEST:: SOT 151778 SOS 72534 HAS SOPS 72534 HAS SOUS 65672 HAS SOUPS 65672 WITH SCORE 65744.534
AT ITER 1991 NEW BEST:: SOT 151770 SOS 72526 HAS SOPS 72526 HAS SOUS 65659 HAS SOUPS 65659 WITH SCORE 65731.526
AT ITER 1994 NEW BEST:: SOT 151761 SOS 72499 HAS SOPS 72499 HAS SOUS 65632 HAS SOUPS 65632 WITH SCORE 65704.499
AT ITER 1995 NEW BEST:: SOT 151761 SOS 72481 HAS SOPS 72481 HAS SOUS 65614 HAS SOUPS 65614 WITH SCORE 65686.481
AT ITER 1999 NEW BEST:: SOT 151761 SOS 72481 HAS SOPS 72481 HAS SOUS 65612 HAS SOUPS 65612 WITH SCORE 65684.481
AT ITER 2023 NEW BEST:: SOT 151673 SOS 72370 HAS SOPS 72370 HAS SOUS 65501 HAS SOUPS 65501 WITH SCORE 65573.37
AT ITER 2030 NEW BEST:: SOT 151669 SOS 72364 HAS SOPS 72364 HAS SOUS 65495 HAS SOUPS 65495 WITH SCORE 65567.364
AT ITER 2040 NEW BEST:: SOT 151861 SOS 72330 HAS SOPS 72330 HAS SOUS 65461 HAS SOUPS 65461 WITH SCORE 65533.33
AT ITER 2041 NEW BEST:: SOT 151873 SOS 72342 HAS SOPS 72342 HAS SOUS 65459 HAS SOUPS 65459 WITH SCORE 65531.342
AT ITER 2044 NEW BEST:: SOT 151685 SOS 72066 HAS SOPS 72066 HAS SOUS 64998 HAS SOUPS 64998 WITH SCORE 65070.066
AT ITER 2050 NEW BEST:: SOT 151636 SOS 72039 HAS SOPS 72039 HAS SOUS 64960 HAS SOUPS 64960 WITH SCORE 65032.039
AT ITER 2058 NEW BEST:: SOT 151615 SOS 71997 HAS SOPS 71997 HAS SOUS 64918 HAS SOUPS 64918 WITH SCORE 64989.997
AT ITER 2061 NEW BEST:: SOT 151589 SOS 71968 HAS SOPS 71968 HAS SOUS 64866 HAS SOUPS 64866 WITH SCORE 64937.968
AT ITER 2069 NEW BEST:: SOT 151582 SOS 71961 HAS SOPS 71961 HAS SOUS 64859 HAS SOUPS 64859 WITH SCORE 64930.961
AT ITER 2083 NEW BEST:: SOT 151573 SOS 71796 HAS SOPS 71796 HAS SOUS 64803 HAS SOUPS 64803 WITH SCORE 64874.796
AT ITER 2086 NEW BEST:: SOT 151343 SOS 71511 HAS SOPS 71511 HAS SOUS 64559 HAS SOUPS 64559 WITH SCORE 64630.511
AT ITER 2108 NEW BEST:: SOT 151316 SOS 71484 HAS SOPS 71484 HAS SOUS 64532 HAS SOUPS 64532 WITH SCORE 64603.484
AT ITER 2112 NEW BEST:: SOT 151198 SOS 71366 HAS SOPS 71366 HAS SOUS 64414 HAS SOUPS 64414 WITH SCORE 64485.366
AT ITER 2115 NEW BEST:: SOT 151198 SOS 71252 HAS SOPS 71252 HAS SOUS 64414 HAS SOUPS 64414 WITH SCORE 64485.252
AT ITER 2151 NEW BEST:: SOT 151211 SOS 71305 HAS SOPS 71305 HAS SOUS 64407 HAS SOUPS 64407 WITH SCORE 64478.305
AT ITER 2163 NEW BEST:: SOT 151184 SOS 71246 HAS SOPS 71246 HAS SOUS 64332 HAS SOUPS 64332 WITH SCORE 64403.246
AT ITER 2164 NEW BEST:: SOT 151177 SOS 71232 HAS SOPS 71232 HAS SOUS 64318 HAS SOUPS 64318 WITH SCORE 64389.232
AT ITER 2179 NEW BEST:: SOT 151174 SOS 71223 HAS SOPS 71223 HAS SOUS 64309 HAS SOUPS 64309 WITH SCORE 64380.223
AT ITER 2181 NEW BEST:: SOT 151072 SOS 71121 HAS SOPS 71121 HAS SOUS 64207 HAS SOUPS 64207 WITH SCORE 64278.121
AT ITER 2192 NEW BEST:: SOT 150993 SOS 71042 HAS SOPS 71042 HAS SOUS 64207 HAS SOUPS 64207 WITH SCORE 64278.042
AT ITER 2193 NEW BEST:: SOT 150971 SOS 71020 HAS SOPS 71020 HAS SOUS 64185 HAS SOUPS 64185 WITH SCORE 64256.02
AT ITER 2194 NEW BEST:: SOT 151016 SOS 71065 HAS SOPS 71065 HAS SOUS 64174 HAS SOUPS 64174 WITH SCORE 64245.065
AT ITER 2206 NEW BEST:: SOT 151014 SOS 71057 HAS SOPS 71057 HAS SOUS 64168 HAS SOUPS 64168 WITH SCORE 64239.057
AT ITER 2207 NEW BEST:: SOT 150792 SOS 70835 HAS SOPS 70835 HAS SOUS 63946 HAS SOUPS 63946 WITH SCORE 64016.835
AT ITER 2211 NEW BEST:: SOT 150780 SOS 70811 HAS SOPS 70811 HAS SOUS 63922 HAS SOUPS 63922 WITH SCORE 63992.811
AT ITER 2222 NEW BEST:: SOT 150744 SOS 70865 HAS SOPS 70865 HAS SOUS 63874 HAS SOUPS 63874 WITH SCORE 63944.865
AT ITER 2236 NEW BEST:: SOT 150707 SOS 70828 HAS SOPS 70828 HAS SOUS 63837 HAS SOUPS 63837 WITH SCORE 63907.828
AT ITER 2240 NEW BEST:: SOT 150704 SOS 70822 HAS SOPS 70822 HAS SOUS 63832 HAS SOUPS 63832 WITH SCORE 63902.822
AT ITER 2241 NEW BEST:: SOT 150691 SOS 70767 HAS SOPS 70767 HAS SOUS 63806 HAS SOUPS 63806 WITH SCORE 63876.767
AT ITER 2246 NEW BEST:: SOT 150629 SOS 70515 HAS SOPS 70515 HAS SOUS 63624 HAS SOUPS 63624 WITH SCORE 63694.515
AT ITER 2247 NEW BEST:: SOT 150495 SOS 70271 HAS SOPS 70271 HAS SOUS 63431 HAS SOUPS 63431 WITH SCORE 63501.271
AT ITER 2249 NEW BEST:: SOT 150503 SOS 70161 HAS SOPS 70161 HAS SOUS 63384 HAS SOUPS 63384 WITH SCORE 63454.161
AT ITER 2284 NEW BEST:: SOT 150503 SOS 70153 HAS SOPS 70153 HAS SOUS 63376 HAS SOUPS 63376 WITH SCORE 63446.153
AT ITER 2305 NEW BEST:: SOT 150503 SOS 70125 HAS SOPS 70125 HAS SOUS 63351 HAS SOUPS 63351 WITH SCORE 63421.125
AT ITER 2309 NEW BEST:: SOT 150428 SOS 69976 HAS SOPS 69976 HAS SOUS 63182 HAS SOUPS 63182 WITH SCORE 63251.976
AT ITER 2314 NEW BEST:: SOT 150414 SOS 69962 HAS SOPS 69962 HAS SOUS 63148 HAS SOUPS 63148 WITH SCORE 63217.962
AT ITER 2360 NEW BEST:: SOT 150302 SOS 69986 HAS SOPS 69986 HAS SOUS 63079 HAS SOUPS 63079 WITH SCORE 63148.986
AT ITER 2365 NEW BEST:: SOT 150301 SOS 69985 HAS SOPS 69985 HAS SOUS 63079 HAS SOUPS 63079 WITH SCORE 63148.985
AT ITER 2371 NEW BEST:: SOT 150324 SOS 69789 HAS SOPS 69789 HAS SOUS 62936 HAS SOUPS 62936 WITH SCORE 63005.789
AT ITER 2376 NEW BEST:: SOT 150203 SOS 69593 HAS SOPS 69593 HAS SOUS 62731 HAS SOUPS 62731 WITH SCORE 62800.593
AT ITER 2390 NEW BEST:: SOT 150004 SOS 69409 HAS SOPS 69409 HAS SOUS 62541 HAS SOUPS 62541 WITH SCORE 62610.409
AT ITER 2398 NEW BEST:: SOT 149968 SOS 69312 HAS SOPS 69312 HAS SOUS 62487 HAS SOUPS 62487 WITH SCORE 62556.312
AT ITER 2407 NEW BEST:: SOT 149836 SOS 69140 HAS SOPS 69140 HAS SOUS 62353 HAS SOUPS 62353 WITH SCORE 62422.14
AT ITER 2411 NEW BEST:: SOT 149782 SOS 69032 HAS SOPS 69032 HAS SOUS 62245 HAS SOUPS 62245 WITH SCORE 62314.032
AT ITER 2425 NEW BEST:: SOT 149763 SOS 68937 HAS SOPS 68937 HAS SOUS 62207 HAS SOUPS 62207 WITH SCORE 62275.937
AT ITER 2428 NEW BEST:: SOT 149747 SOS 68921 HAS SOPS 68921 HAS SOUS 62191 HAS SOUPS 62191 WITH SCORE 62259.921
AT ITER 2436 NEW BEST:: SOT 149743 SOS 68917 HAS SOPS 68917 HAS SOUS 62187 HAS SOUPS 62187 WITH SCORE 62255.917
AT ITER 2437 NEW BEST:: SOT 149743 SOS 68682 HAS SOPS 68682 HAS SOUS 62183 HAS SOUPS 62183 WITH SCORE 62251.682
AT ITER 2439 NEW BEST:: SOT 149818 SOS 68587 HAS SOPS 68587 HAS SOUS 62026 HAS SOUPS 62026 WITH SCORE 62094.587
AT ITER 2440 NEW BEST:: SOT 149818 SOS 68565 HAS SOPS 68565 HAS SOUS 62015 HAS SOUPS 62015 WITH SCORE 62083.565
AT ITER 2454 NEW BEST:: SOT 149818 SOS 68385 HAS SOPS 68385 HAS SOUS 62011 HAS SOUPS 62011 WITH SCORE 62079.385
AT ITER 2464 NEW BEST:: SOT 149765 SOS 68353 HAS SOPS 68353 HAS SOUS 61940 HAS SOUPS 61940 WITH SCORE 62008.353
AT ITER 2467 NEW BEST:: SOT 149746 SOS 68334 HAS SOPS 68334 HAS SOUS 61921 HAS SOUPS 61921 WITH SCORE 61989.334
AT ITER 2476 NEW BEST:: SOT 149680 SOS 68268 HAS SOPS 68268 HAS SOUS 61874 HAS SOUPS 61874 WITH SCORE 61942.268
AT ITER 2477 NEW BEST:: SOT 149632 SOS 68160 HAS SOPS 68160 HAS SOUS 61811 HAS SOUPS 61811 WITH SCORE 61879.16
AT ITER 2480 NEW BEST:: SOT 149632 SOS 68107 HAS SOPS 68107 HAS SOUS 61810 HAS SOUPS 61810 WITH SCORE 61878.107
AT ITER 2481 NEW BEST:: SOT 149632 SOS 68107 HAS SOPS 68107 HAS SOUS 61805 HAS SOUPS 61805 WITH SCORE 61873.107
AT ITER 2483 NEW BEST:: SOT 149489 SOS 67856 HAS SOPS 67856 HAS SOUS 61531 HAS SOUPS 61531 WITH SCORE 61598.856
AT ITER 2486 NEW BEST:: SOT 149490 SOS 67887 HAS SOPS 67887 HAS SOUS 61530 HAS SOUPS 61530 WITH SCORE 61597.887
AT ITER 2489 NEW BEST:: SOT 149490 SOS 67859 HAS SOPS 67859 HAS SOUS 61516 HAS SOUPS 61516 WITH SCORE 61583.859
AT ITER 2497 NEW BEST:: SOT 149478 SOS 67847 HAS SOPS 67847 HAS SOUS 61516 HAS SOUPS 61516 WITH SCORE 61583.847
AT ITER 2498 NEW BEST:: SOT 149428 SOS 67797 HAS SOPS 67797 HAS SOUS 61466 HAS SOUPS 61466 WITH SCORE 61533.797
AT ITER 2504 NEW BEST:: SOT 149428 SOS 67797 HAS SOPS 67797 HAS SOUS 61461 HAS SOUPS 61461 WITH SCORE 61528.797
AT ITER 2506 NEW BEST:: SOT 148966 SOS 67335 HAS SOPS 67335 HAS SOUS 60999 HAS SOUPS 60999 WITH SCORE 61066.335
AT ITER 2520 NEW BEST:: SOT 148933 SOS 67187 HAS SOPS 67187 HAS SOUS 60933 HAS SOUPS 60933 WITH SCORE 61000.187
AT ITER 2522 NEW BEST:: SOT 148892 SOS 67117 HAS SOPS 67117 HAS SOUS 60863 HAS SOUPS 60863 WITH SCORE 60930.117
AT ITER 2549 NEW BEST:: SOT 148833 SOS 67058 HAS SOPS 67058 HAS SOUS 60804 HAS SOUPS 60804 WITH SCORE 60871.058
AT ITER 2559 NEW BEST:: SOT 148833 SOS 67049 HAS SOPS 67049 HAS SOUS 60804 HAS SOUPS 60804 WITH SCORE 60871.049
AT ITER 2561 NEW BEST:: SOT 148812 SOS 67033 HAS SOPS 67033 HAS SOUS 60793 HAS SOUPS 60793 WITH SCORE 60860.033
AT ITER 2571 NEW BEST:: SOT 148784 SOS 67005 HAS SOPS 67005 HAS SOUS 60765 HAS SOUPS 60765 WITH SCORE 60832.005
AT ITER 2573 NEW BEST:: SOT 148739 SOS 67005 HAS SOPS 67005 HAS SOUS 60738 HAS SOUPS 60738 WITH SCORE 60805.005
AT ITER 2604 NEW BEST:: SOT 148706 SOS 67002 HAS SOPS 67002 HAS SOUS 60735 HAS SOUPS 60735 WITH SCORE 60802.002
AT ITER 2612 NEW BEST:: SOT 148624 SOS 67151 HAS SOPS 67151 HAS SOUS 60729 HAS SOUPS 60729 WITH SCORE 60796.151
AT ITER 2621 NEW BEST:: SOT 148624 SOS 67097 HAS SOPS 67097 HAS SOUS 60727 HAS SOUPS 60727 WITH SCORE 60794.097
AT ITER 2627 NEW BEST:: SOT 148624 SOS 67026 HAS SOPS 67026 HAS SOUS 60694 HAS SOUPS 60694 WITH SCORE 60761.026
AT ITER 2637 NEW BEST:: SOT 148600 SOS 66961 HAS SOPS 66961 HAS SOUS 60622 HAS SOUPS 60622 WITH SCORE 60688.961
AT ITER 2645 NEW BEST:: SOT 148600 SOS 66961 HAS SOPS 66961 HAS SOUS 60605 HAS SOUPS 60605 WITH SCORE 60671.961
AT ITER 2646 NEW BEST:: SOT 148562 SOS 66916 HAS SOPS 66916 HAS SOUS 60592 HAS SOUPS 60592 WITH SCORE 60658.916
AT ITER 2656 NEW BEST:: SOT 148550 SOS 66904 HAS SOPS 66904 HAS SOUS 60580 HAS SOUPS 60580 WITH SCORE 60646.904
AT ITER 2658 NEW BEST:: SOT 148550 SOS 66869 HAS SOPS 66869 HAS SOUS 60553 HAS SOUPS 60553 WITH SCORE 60619.869
AT ITER 2670 NEW BEST:: SOT 148436 SOS 66724 HAS SOPS 66724 HAS SOUS 60382 HAS SOUPS 60382 WITH SCORE 60448.724
AT ITER 2674 NEW BEST:: SOT 148403 SOS 66691 HAS SOPS 66691 HAS SOUS 60353 HAS SOUPS 60353 WITH SCORE 60419.691
AT ITER 2677 NEW BEST:: SOT 148385 SOS 66625 HAS SOPS 66625 HAS SOUS 60287 HAS SOUPS 60287 WITH SCORE 60353.625
AT ITER 2679 NEW BEST:: SOT 148383 SOS 66617 HAS SOPS 66617 HAS SOUS 60283 HAS SOUPS 60283 WITH SCORE 60349.617
AT ITER 2697 NEW BEST:: SOT 148369 SOS 66575 HAS SOPS 66575 HAS SOUS 60262 HAS SOUPS 60262 WITH SCORE 60328.575
AT ITER 2698 NEW BEST:: SOT 148366 SOS 66562 HAS SOPS 66562 HAS SOUS 60256 HAS SOUPS 60256 WITH SCORE 60322.562
AT ITER 2707 NEW BEST:: SOT 148486 SOS 66707 HAS SOPS 66707 HAS SOUS 60153 HAS SOUPS 60153 WITH SCORE 60219.707
AT ITER 2709 NEW BEST:: SOT 148479 SOS 66655 HAS SOPS 66655 HAS SOUS 60101 HAS SOUPS 60101 WITH SCORE 60167.655
AT ITER 2738 NEW BEST:: SOT 148389 SOS 66546 HAS SOPS 66546 HAS SOUS 59984 HAS SOUPS 59984 WITH SCORE 60050.546
AT ITER 2740 NEW BEST:: SOT 148383 SOS 66534 HAS SOPS 66534 HAS SOUS 59969 HAS SOUPS 59969 WITH SCORE 60035.534
AT ITER 2765 NEW BEST:: SOT 148382 SOS 66532 HAS SOPS 66532 HAS SOUS 59967 HAS SOUPS 59967 WITH SCORE 60033.532
AT ITER 2782 NEW BEST:: SOT 148358 SOS 66508 HAS SOPS 66508 HAS SOUS 59943 HAS SOUPS 59943 WITH SCORE 60009.508
AT ITER 2798 NEW BEST:: SOT 148289 SOS 66499 HAS SOPS 66499 HAS SOUS 59934 HAS SOUPS 59934 WITH SCORE 60000.499
AT ITER 2809 NEW BEST:: SOT 148289 SOS 66418 HAS SOPS 66418 HAS SOUS 59934 HAS SOUPS 59934 WITH SCORE 60000.418
AT ITER 2815 NEW BEST:: SOT 148275 SOS 66404 HAS SOPS 66404 HAS SOUS 59920 HAS SOUPS 59920 WITH SCORE 59986.404
AT ITER 2848 NEW BEST:: SOT 148275 SOS 66355 HAS SOPS 66355 HAS SOUS 59871 HAS SOUPS 59871 WITH SCORE 59937.355
AT ITER 2852 NEW BEST:: SOT 148272 SOS 66349 HAS SOPS 66349 HAS SOUS 59865 HAS SOUPS 59865 WITH SCORE 59931.349
AT ITER 2854 NEW BEST:: SOT 148272 SOS 66349 HAS SOPS 66349 HAS SOUS 59864 HAS SOUPS 59864 WITH SCORE 59930.349
AT ITER 2861 NEW BEST:: SOT 148195 SOS 66255 HAS SOPS 66255 HAS SOUS 59757 HAS SOUPS 59757 WITH SCORE 59823.255
AT ITER 2867 NEW BEST:: SOT 148181 SOS 66241 HAS SOPS 66241 HAS SOUS 59743 HAS SOUPS 59743 WITH SCORE 59809.241
AT ITER 2872 NEW BEST:: SOT 148097 SOS 66137 HAS SOPS 66137 HAS SOUS 59617 HAS SOUPS 59617 WITH SCORE 59683.137
AT ITER 2873 NEW BEST:: SOT 148097 SOS 66129 HAS SOPS 66129 HAS SOUS 59615 HAS SOUPS 59615 WITH SCORE 59681.129
AT ITER 2901 NEW BEST:: SOT 148079 SOS 66069 HAS SOPS 66069 HAS SOUS 59495 HAS SOUPS 59495 WITH SCORE 59561.069
AT ITER 2903 NEW BEST:: SOT 148054 SOS 66055 HAS SOPS 66055 HAS SOUS 59457 HAS SOUPS 59457 WITH SCORE 59523.055
AT ITER 2906 NEW BEST:: SOT 148054 SOS 65767 HAS SOPS 65767 HAS SOUS 59355 HAS SOUPS 59355 WITH SCORE 59420.767
AT ITER 2907 NEW BEST:: SOT 148025 SOS 65742 HAS SOPS 65742 HAS SOUS 59075 HAS SOUPS 59075 WITH SCORE 59140.742
AT ITER 2909 NEW BEST:: SOT 148025 SOS 65726 HAS SOPS 65726 HAS SOUS 59075 HAS SOUPS 59075 WITH SCORE 59140.726
AT ITER 2923 NEW BEST:: SOT 148025 SOS 65725 HAS SOPS 65725 HAS SOUS 59075 HAS SOUPS 59075 WITH SCORE 59140.725
AT ITER 2924 NEW BEST:: SOT 148008 SOS 65674 HAS SOPS 65674 HAS SOUS 59024 HAS SOUPS 59024 WITH SCORE 59089.674
AT ITER 2927 NEW BEST:: SOT 148008 SOS 65666 HAS SOPS 65666 HAS SOUS 59016 HAS SOUPS 59016 WITH SCORE 59081.666
AT ITER 2928 NEW BEST:: SOT 148025 SOS 65621 HAS SOPS 65621 HAS SOUS 58971 HAS SOUPS 58971 WITH SCORE 59036.621
AT ITER 2942 NEW BEST:: SOT 148025 SOS 65559 HAS SOPS 65559 HAS SOUS 58918 HAS SOUPS 58918 WITH SCORE 58983.559
AT ITER 2951 NEW BEST:: SOT 148004 SOS 65534 HAS SOPS 65534 HAS SOUS 58893 HAS SOUPS 58893 WITH SCORE 58958.534
AT ITER 2958 NEW BEST:: SOT 148002 SOS 65450 HAS SOPS 65450 HAS SOUS 58809 HAS SOUPS 58809 WITH SCORE 58874.45
AT ITER 2962 NEW BEST:: SOT 147973 SOS 65383 HAS SOPS 65383 HAS SOUS 58742 HAS SOUPS 58742 WITH SCORE 58807.383
AT ITER 2963 NEW BEST:: SOT 147973 SOS 65373 HAS SOPS 65373 HAS SOUS 58727 HAS SOUPS 58727 WITH SCORE 58792.373
AT ITER 2964 NEW BEST:: SOT 147922 SOS 64917 HAS SOPS 64917 HAS SOUS 58512 HAS SOUPS 58512 WITH SCORE 58576.917
AT ITER 2977 NEW BEST:: SOT 147893 SOS 64888 HAS SOPS 64888 HAS SOUS 58483 HAS SOUPS 58483 WITH SCORE 58547.888
AT ITER 2980 NEW BEST:: SOT 147855 SOS 64818 HAS SOPS 64818 HAS SOUS 58413 HAS SOUPS 58413 WITH SCORE 58477.818
AT ITER 2991 NEW BEST:: SOT 147858 SOS 64904 HAS SOPS 64904 HAS SOUS 58389 HAS SOUPS 58389 WITH SCORE 58453.904
AT ITER 2993 NEW BEST:: SOT 147858 SOS 64895 HAS SOPS 64895 HAS SOUS 58366 HAS SOUPS 58366 WITH SCORE 58430.895
AT ITER 3001 NEW BEST:: SOT 147858 SOS 64873 HAS SOPS 64873 HAS SOUS 58359 HAS SOUPS 58359 WITH SCORE 58423.873
AT ITER 3003 NEW BEST:: SOT 147857 SOS 64870 HAS SOPS 64870 HAS SOUS 58356 HAS SOUPS 58356 WITH SCORE 58420.87
AT ITER 3011 NEW BEST:: SOT 147853 SOS 64854 HAS SOPS 64854 HAS SOUS 58344 HAS SOUPS 58344 WITH SCORE 58408.854
AT ITER 3014 NEW BEST:: SOT 147853 SOS 64822 HAS SOPS 64822 HAS SOUS 58338 HAS SOUPS 58338 WITH SCORE 58402.822
AT ITER 3025 NEW BEST:: SOT 147853 SOS 64794 HAS SOPS 64794 HAS SOUS 58310 HAS SOUPS 58310 WITH SCORE 58374.794
AT ITER 3027 NEW BEST:: SOT 147792 SOS 64731 HAS SOPS 64731 HAS SOUS 58247 HAS SOUPS 58247 WITH SCORE 58311.731
AT ITER 3043 NEW BEST:: SOT 147792 SOS 64697 HAS SOPS 64697 HAS SOUS 58215 HAS SOUPS 58215 WITH SCORE 58279.697
AT ITER 3053 NEW BEST:: SOT 147781 SOS 64655 HAS SOPS 64655 HAS SOUS 58195 HAS SOUPS 58195 WITH SCORE 58259.655
AT ITER 3061 NEW BEST:: SOT 147744 SOS 64646 HAS SOPS 64646 HAS SOUS 58186 HAS SOUPS 58186 WITH SCORE 58250.646
AT ITER 3063 NEW BEST:: SOT 147570 SOS 64615 HAS SOPS 64615 HAS SOUS 58052 HAS SOUPS 58052 WITH SCORE 58116.615
AT ITER 3066 NEW BEST:: SOT 147541 SOS 64535 HAS SOPS 64535 HAS SOUS 57915 HAS SOUPS 57915 WITH SCORE 57979.535
AT ITER 3069 NEW BEST:: SOT 147556 SOS 64505 HAS SOPS 64505 HAS SOUS 57885 HAS SOUPS 57885 WITH SCORE 57949.505
AT ITER 3081 NEW BEST:: SOT 147434 SOS 64327 HAS SOPS 64327 HAS SOUS 57656 HAS SOUPS 57656 WITH SCORE 57720.327
AT ITER 3085 NEW BEST:: SOT 147452 SOS 64303 HAS SOPS 64303 HAS SOUS 57654 HAS SOUPS 57654 WITH SCORE 57718.303
AT ITER 3093 NEW BEST:: SOT 147470 SOS 64321 HAS SOPS 64321 HAS SOUS 57597 HAS SOUPS 57597 WITH SCORE 57661.321
AT ITER 3100 NEW BEST:: SOT 147496 SOS 64140 HAS SOPS 64140 HAS SOUS 57504 HAS SOUPS 57504 WITH SCORE 57568.14
AT ITER 3102 NEW BEST:: SOT 147418 SOS 64074 HAS SOPS 64074 HAS SOUS 57403 HAS SOUPS 57403 WITH SCORE 57467.074
AT ITER 3105 NEW BEST:: SOT 147410 SOS 64066 HAS SOPS 64066 HAS SOUS 57395 HAS SOUPS 57395 WITH SCORE 57459.066
AT ITER 3120 NEW BEST:: SOT 147398 SOS 64054 HAS SOPS 64054 HAS SOUS 57383 HAS SOUPS 57383 WITH SCORE 57447.054
AT ITER 3150 NEW BEST:: SOT 147394 SOS 64050 HAS SOPS 64050 HAS SOUS 57379 HAS SOUPS 57379 WITH SCORE 57443.05
AT ITER 3154 NEW BEST:: SOT 147336 SOS 63963 HAS SOPS 63963 HAS SOUS 57277 HAS SOUPS 57277 WITH SCORE 57340.963
AT ITER 3155 NEW BEST:: SOT 147306 SOS 63917 HAS SOPS 63917 HAS SOUS 57271 HAS SOUPS 57271 WITH SCORE 57334.917
AT ITER 3156 NEW BEST:: SOT 147301 SOS 63912 HAS SOPS 63912 HAS SOUS 57266 HAS SOUPS 57266 WITH SCORE 57329.912
AT ITER 3157 NEW BEST:: SOT 147292 SOS 63885 HAS SOPS 63885 HAS SOUS 57248 HAS SOUPS 57248 WITH SCORE 57311.885
AT ITER 3171 NEW BEST:: SOT 147276 SOS 63898 HAS SOPS 63898 HAS SOUS 57217 HAS SOUPS 57217 WITH SCORE 57280.898
AT ITER 3174 NEW BEST:: SOT 147226 SOS 63848 HAS SOPS 63848 HAS SOUS 57140 HAS SOUPS 57140 WITH SCORE 57203.848
AT ITER 3178 NEW BEST:: SOT 146983 SOS 63603 HAS SOPS 63603 HAS SOUS 56895 HAS SOUPS 56895 WITH SCORE 56958.603
AT ITER 3185 NEW BEST:: SOT 147032 SOS 63649 HAS SOPS 63649 HAS SOUS 56889 HAS SOUPS 56889 WITH SCORE 56952.649
AT ITER 3201 NEW BEST:: SOT 147036 SOS 63648 HAS SOPS 63648 HAS SOUS 56888 HAS SOUPS 56888 WITH SCORE 56951.648
AT ITER 3204 NEW BEST:: SOT 147036 SOS 63632 HAS SOPS 63632 HAS SOUS 56880 HAS SOUPS 56880 WITH SCORE 56943.632
AT ITER 3206 NEW BEST:: SOT 147036 SOS 63632 HAS SOPS 63632 HAS SOUS 56837 HAS SOUPS 56837 WITH SCORE 56900.632
AT ITER 3219 NEW BEST:: SOT 147018 SOS 63560 HAS SOPS 63560 HAS SOUS 56783 HAS SOUPS 56783 WITH SCORE 56846.56
AT ITER 3222 NEW BEST:: SOT 147067 SOS 63609 HAS SOPS 63609 HAS SOUS 56772 HAS SOUPS 56772 WITH SCORE 56835.609
AT ITER 3239 NEW BEST:: SOT 147011 SOS 63371 HAS SOPS 63371 HAS SOUS 56597 HAS SOUPS 56597 WITH SCORE 56660.371
AT ITER 3240 NEW BEST:: SOT 147010 SOS 63328 HAS SOPS 63328 HAS SOUS 56582 HAS SOUPS 56582 WITH SCORE 56645.328
AT ITER 3260 NEW BEST:: SOT 146918 SOS 63236 HAS SOPS 63236 HAS SOUS 56490 HAS SOUPS 56490 WITH SCORE 56553.236
AT ITER 3263 NEW BEST:: SOT 146948 SOS 63308 HAS SOPS 63308 HAS SOUS 56488 HAS SOUPS 56488 WITH SCORE 56551.308
AT ITER 3269 NEW BEST:: SOT 146950 SOS 63304 HAS SOPS 63304 HAS SOUS 56482 HAS SOUPS 56482 WITH SCORE 56545.304
AT ITER 3281 NEW BEST:: SOT 146920 SOS 63231 HAS SOPS 63231 HAS SOUS 56422 HAS SOUPS 56422 WITH SCORE 56485.231
AT ITER 3289 NEW BEST:: SOT 146898 SOS 63193 HAS SOPS 63193 HAS SOUS 56384 HAS SOUPS 56384 WITH SCORE 56447.193
AT ITER 3349 NEW BEST:: SOT 146898 SOS 63052 HAS SOPS 63052 HAS SOUS 56243 HAS SOUPS 56243 WITH SCORE 56306.052
AT ITER 3358 NEW BEST:: SOT 146840 SOS 62962 HAS SOPS 62962 HAS SOUS 56153 HAS SOUPS 56153 WITH SCORE 56215.962
AT ITER 3359 NEW BEST:: SOT 146838 SOS 62960 HAS SOPS 62960 HAS SOUS 56151 HAS SOUPS 56151 WITH SCORE 56213.96
AT ITER 3360 NEW BEST:: SOT 146838 SOS 62908 HAS SOPS 62908 HAS SOUS 56099 HAS SOUPS 56099 WITH SCORE 56161.908
AT ITER 3371 NEW BEST:: SOT 146787 SOS 62902 HAS SOPS 62902 HAS SOUS 56091 HAS SOUPS 56091 WITH SCORE 56153.902
AT ITER 3375 NEW BEST:: SOT 146780 SOS 62895 HAS SOPS 62895 HAS SOUS 56084 HAS SOUPS 56084 WITH SCORE 56146.895
AT ITER 3378 NEW BEST:: SOT 146687 SOS 62673 HAS SOPS 62673 HAS SOUS 55930 HAS SOUPS 55930 WITH SCORE 55992.673
AT ITER 3382 NEW BEST:: SOT 146674 SOS 62660 HAS SOPS 62660 HAS SOUS 55917 HAS SOUPS 55917 WITH SCORE 55979.66
AT ITER 3384 NEW BEST:: SOT 146618 SOS 62604 HAS SOPS 62604 HAS SOUS 55865 HAS SOUPS 55865 WITH SCORE 55927.604
AT ITER 3393 NEW BEST:: SOT 146576 SOS 62233 HAS SOPS 62233 HAS SOUS 55629 HAS SOUPS 55629 WITH SCORE 55691.233
AT ITER 3394 NEW BEST:: SOT 146576 SOS 62233 HAS SOPS 62233 HAS SOUS 55626 HAS SOUPS 55626 WITH SCORE 55688.233
AT ITER 3419 NEW BEST:: SOT 146552 SOS 62139 HAS SOPS 62139 HAS SOUS 55554 HAS SOUPS 55554 WITH SCORE 55616.139
AT ITER 3420 NEW BEST:: SOT 146552 SOS 62054 HAS SOPS 62054 HAS SOUS 55554 HAS SOUPS 55554 WITH SCORE 55616.054
AT ITER 3425 NEW BEST:: SOT 146522 SOS 62050 HAS SOPS 62050 HAS SOUS 55514 HAS SOUPS 55514 WITH SCORE 55576.05
AT ITER 3430 NEW BEST:: SOT 146522 SOS 62050 HAS SOPS 62050 HAS SOUS 55500 HAS SOUPS 55500 WITH SCORE 55562.05
AT ITER 3445 NEW BEST:: SOT 146409 SOS 61921 HAS SOPS 61921 HAS SOUS 55386 HAS SOUPS 55386 WITH SCORE 55447.921
AT ITER 3457 NEW BEST:: SOT 146407 SOS 62012 HAS SOPS 62012 HAS SOUS 55380 HAS SOUPS 55380 WITH SCORE 55442.012
AT ITER 3468 NEW BEST:: SOT 146401 SOS 62006 HAS SOPS 62006 HAS SOUS 55374 HAS SOUPS 55374 WITH SCORE 55436.006
AT ITER 3481 NEW BEST:: SOT 146367 SOS 61866 HAS SOPS 61866 HAS SOUS 55296 HAS SOUPS 55296 WITH SCORE 55357.866
AT ITER 3485 NEW BEST:: SOT 146321 SOS 61820 HAS SOPS 61820 HAS SOUS 55250 HAS SOUPS 55250 WITH SCORE 55311.82
AT ITER 3489 NEW BEST:: SOT 146267 SOS 61782 HAS SOPS 61782 HAS SOUS 55230 HAS SOUPS 55230 WITH SCORE 55291.782
AT ITER 3491 NEW BEST:: SOT 146232 SOS 61747 HAS SOPS 61747 HAS SOUS 55176 HAS SOUPS 55176 WITH SCORE 55237.747
AT ITER 3495 NEW BEST:: SOT 146222 SOS 61727 HAS SOPS 61727 HAS SOUS 55166 HAS SOUPS 55166 WITH SCORE 55227.727
AT ITER 3514 NEW BEST:: SOT 146222 SOS 61687 HAS SOPS 61687 HAS SOUS 55146 HAS SOUPS 55146 WITH SCORE 55207.687
AT ITER 3515 NEW BEST:: SOT 146084 SOS 61496 HAS SOPS 61496 HAS SOUS 54950 HAS SOUPS 54950 WITH SCORE 55011.496
AT ITER 3532 NEW BEST:: SOT 146040 SOS 61408 HAS SOPS 61408 HAS SOUS 54862 HAS SOUPS 54862 WITH SCORE 54923.408
AT ITER 3538 NEW BEST:: SOT 146036 SOS 61404 HAS SOPS 61404 HAS SOUS 54858 HAS SOUPS 54858 WITH SCORE 54919.404
AT ITER 3543 NEW BEST:: SOT 146036 SOS 61454 HAS SOPS 61454 HAS SOUS 54854 HAS SOUPS 54854 WITH SCORE 54915.454
AT ITER 3559 NEW BEST:: SOT 146024 SOS 61432 HAS SOPS 61432 HAS SOUS 54844 HAS SOUPS 54844 WITH SCORE 54905.432
AT ITER 3566 NEW BEST:: SOT 146034 SOS 61442 HAS SOPS 61442 HAS SOUS 54814 HAS SOUPS 54814 WITH SCORE 54875.442
AT ITER 3571 NEW BEST:: SOT 146020 SOS 61428 HAS SOPS 61428 HAS SOUS 54800 HAS SOUPS 54800 WITH SCORE 54861.428
AT ITER 3574 NEW BEST:: SOT 146014 SOS 61422 HAS SOPS 61422 HAS SOUS 54794 HAS SOUPS 54794 WITH SCORE 54855.422
AT ITER 3577 NEW BEST:: SOT 146014 SOS 61413 HAS SOPS 61413 HAS SOUS 54794 HAS SOUPS 54794 WITH SCORE 54855.413
AT ITER 3581 NEW BEST:: SOT 145995 SOS 61394 HAS SOPS 61394 HAS SOUS 54775 HAS SOUPS 54775 WITH SCORE 54836.394
AT ITER 3596 NEW BEST:: SOT 145997 SOS 61343 HAS SOPS 61343 HAS SOUS 54763 HAS SOUPS 54763 WITH SCORE 54824.343
AT ITER 3625 NEW BEST:: SOT 145990 SOS 61329 HAS SOPS 61329 HAS SOUS 54749 HAS SOUPS 54749 WITH SCORE 54810.329
AT ITER 3657 NEW BEST:: SOT 145932 SOS 61271 HAS SOPS 61271 HAS SOUS 54691 HAS SOUPS 54691 WITH SCORE 54752.271
AT ITER 3681 NEW BEST:: SOT 145930 SOS 61258 HAS SOPS 61258 HAS SOUS 54671 HAS SOUPS 54671 WITH SCORE 54732.258
AT ITER 3699 NEW BEST:: SOT 145836 SOS 61230 HAS SOPS 61230 HAS SOUS 54653 HAS SOUPS 54653 WITH SCORE 54714.23
AT ITER 3705 NEW BEST:: SOT 145825 SOS 61219 HAS SOPS 61219 HAS SOUS 54642 HAS SOUPS 54642 WITH SCORE 54703.219
AT ITER 3727 NEW BEST:: SOT 145814 SOS 61145 HAS SOPS 61145 HAS SOUS 54568 HAS SOUPS 54568 WITH SCORE 54629.145
AT ITER 3738 NEW BEST:: SOT 145814 SOS 61104 HAS SOPS 61104 HAS SOUS 54547 HAS SOUPS 54547 WITH SCORE 54608.104
AT ITER 3746 NEW BEST:: SOT 145794 SOS 61044 HAS SOPS 61044 HAS SOUS 54507 HAS SOUPS 54507 WITH SCORE 54568.044
AT ITER 3749 NEW BEST:: SOT 145794 SOS 61039 HAS SOPS 61039 HAS SOUS 54507 HAS SOUPS 54507 WITH SCORE 54568.039
AT ITER 3755 NEW BEST:: SOT 145759 SOS 60906 HAS SOPS 60906 HAS SOUS 54395 HAS SOUPS 54395 WITH SCORE 54455.906
AT ITER 3757 NEW BEST:: SOT 145725 SOS 60872 HAS SOPS 60872 HAS SOUS 54361 HAS SOUPS 54361 WITH SCORE 54421.872
AT ITER 3772 NEW BEST:: SOT 145720 SOS 60867 HAS SOPS 60867 HAS SOUS 54356 HAS SOUPS 54356 WITH SCORE 54416.867
AT ITER 3776 NEW BEST:: SOT 145697 SOS 60844 HAS SOPS 60844 HAS SOUS 54338 HAS SOUPS 54338 WITH SCORE 54398.844
AT ITER 3785 NEW BEST:: SOT 145676 SOS 60822 HAS SOPS 60822 HAS SOUS 54316 HAS SOUPS 54316 WITH SCORE 54376.822
AT ITER 3792 NEW BEST:: SOT 145669 SOS 60815 HAS SOPS 60815 HAS SOUS 54309 HAS SOUPS 54309 WITH SCORE 54369.815
AT ITER 3794 NEW BEST:: SOT 145602 SOS 60735 HAS SOPS 60735 HAS SOUS 54229 HAS SOUPS 54229 WITH SCORE 54289.735
AT ITER 3809 NEW BEST:: SOT 145599 SOS 60732 HAS SOPS 60732 HAS SOUS 54226 HAS SOUPS 54226 WITH SCORE 54286.732
AT ITER 3833 NEW BEST:: SOT 145589 SOS 60692 HAS SOPS 60692 HAS SOUS 54206 HAS SOUPS 54206 WITH SCORE 54266.692
AT ITER 3862 NEW BEST:: SOT 145582 SOS 60647 HAS SOPS 60647 HAS SOUS 54161 HAS SOUPS 54161 WITH SCORE 54221.647
AT ITER 3894 NEW BEST:: SOT 145573 SOS 60635 HAS SOPS 60635 HAS SOUS 54149 HAS SOUPS 54149 WITH SCORE 54209.635
AT ITER 3904 NEW BEST:: SOT 145549 SOS 60563 HAS SOPS 60563 HAS SOUS 54077 HAS SOUPS 54077 WITH SCORE 54137.563
AT ITER 3908 NEW BEST:: SOT 145567 SOS 60543 HAS SOPS 60543 HAS SOUS 54011 HAS SOUPS 54011 WITH SCORE 54071.543
AT ITER 3918 NEW BEST:: SOT 145561 SOS 60513 HAS SOPS 60513 HAS SOUS 53980 HAS SOUPS 53980 WITH SCORE 54040.513
AT ITER 3926 NEW BEST:: SOT 145556 SOS 60507 HAS SOPS 60507 HAS SOUS 53974 HAS SOUPS 53974 WITH SCORE 54034.507
AT ITER 3932 NEW BEST:: SOT 145544 SOS 60451 HAS SOPS 60451 HAS SOUS 53949 HAS SOUPS 53949 WITH SCORE 54009.451
AT ITER 3963 NEW BEST:: SOT 145544 SOS 60413 HAS SOPS 60413 HAS SOUS 53930 HAS SOUPS 53930 WITH SCORE 53990.413
AT ITER 3986 NEW BEST:: SOT 145520 SOS 60359 HAS SOPS 60359 HAS SOUS 53906 HAS SOUPS 53906 WITH SCORE 53966.359
AT ITER 3990 NEW BEST:: SOT 145464 SOS 60310 HAS SOPS 60310 HAS SOUS 53857 HAS SOUPS 53857 WITH SCORE 53917.31
AT ITER 3991 NEW BEST:: SOT 145464 SOS 60303 HAS SOPS 60303 HAS SOUS 53850 HAS SOUPS 53850 WITH SCORE 53910.303
AT ITER 3999 NEW BEST:: SOT 145447 SOS 60230 HAS SOPS 60230 HAS SOUS 53838 HAS SOUPS 53838 WITH SCORE 53898.23
AT ITER 4002 NEW BEST:: SOT 145405 SOS 60058 HAS SOPS 60058 HAS SOUS 53710 HAS SOUPS 53710 WITH SCORE 53770.058
AT ITER 4003 NEW BEST:: SOT 145364 SOS 59976 HAS SOPS 59976 HAS SOUS 53675 HAS SOUPS 53675 WITH SCORE 53734.976
AT ITER 4008 NEW BEST:: SOT 145299 SOS 59885 HAS SOPS 59885 HAS SOUS 53587 HAS SOUPS 53587 WITH SCORE 53646.885
AT ITER 4020 NEW BEST:: SOT 145215 SOS 59738 HAS SOPS 59738 HAS SOUS 53475 HAS SOUPS 53475 WITH SCORE 53534.738
AT ITER 4030 NEW BEST:: SOT 145204 SOS 59705 HAS SOPS 59705 HAS SOUS 53453 HAS SOUPS 53453 WITH SCORE 53512.705
AT ITER 4038 NEW BEST:: SOT 145170 SOS 59599 HAS SOPS 59599 HAS SOUS 53347 HAS SOUPS 53347 WITH SCORE 53406.599
AT ITER 4039 NEW BEST:: SOT 145164 SOS 59593 HAS SOPS 59593 HAS SOUS 53341 HAS SOUPS 53341 WITH SCORE 53400.593
AT ITER 4085 NEW BEST:: SOT 144999 SOS 59527 HAS SOPS 59527 HAS SOUS 53237 HAS SOUPS 53237 WITH SCORE 53296.527
AT ITER 4107 NEW BEST:: SOT 144995 SOS 59523 HAS SOPS 59523 HAS SOUS 53233 HAS SOUPS 53233 WITH SCORE 53292.523
AT ITER 4121 NEW BEST:: SOT 144983 SOS 59508 HAS SOPS 59508 HAS SOUS 53209 HAS SOUPS 53209 WITH SCORE 53268.508
AT ITER 4141 NEW BEST:: SOT 144974 SOS 59499 HAS SOPS 59499 HAS SOUS 53209 HAS SOUPS 53209 WITH SCORE 53268.499
AT ITER 4164 NEW BEST:: SOT 144960 SOS 58969 HAS SOPS 58969 HAS SOUS 52967 HAS SOUPS 52967 WITH SCORE 53025.969
AT ITER 4169 NEW BEST:: SOT 144918 SOS 58906 HAS SOPS 58906 HAS SOUS 52904 HAS SOUPS 52904 WITH SCORE 52962.906
AT ITER 4183 NEW BEST:: SOT 144909 SOS 58872 HAS SOPS 58872 HAS SOUS 52886 HAS SOUPS 52886 WITH SCORE 52944.872
AT ITER 4193 NEW BEST:: SOT 144898 SOS 58921 HAS SOPS 58921 HAS SOUS 52859 HAS SOUPS 52859 WITH SCORE 52917.921
AT ITER 4216 NEW BEST:: SOT 144876 SOS 58899 HAS SOPS 58899 HAS SOUS 52837 HAS SOUPS 52837 WITH SCORE 52895.899
AT ITER 4226 NEW BEST:: SOT 144870 SOS 58893 HAS SOPS 58893 HAS SOUS 52831 HAS SOUPS 52831 WITH SCORE 52889.893
AT ITER 4241 NEW BEST:: SOT 144862 SOS 58885 HAS SOPS 58885 HAS SOUS 52823 HAS SOUPS 52823 WITH SCORE 52881.885
AT ITER 4245 NEW BEST:: SOT 144860 SOS 58881 HAS SOPS 58881 HAS SOUS 52819 HAS SOUPS 52819 WITH SCORE 52877.881
AT ITER 4247 NEW BEST:: SOT 144777 SOS 58798 HAS SOPS 58798 HAS SOUS 52800 HAS SOUPS 52800 WITH SCORE 52858.798
AT ITER 4276 NEW BEST:: SOT 144765 SOS 58786 HAS SOPS 58786 HAS SOUS 52788 HAS SOUPS 52788 WITH SCORE 52846.786
AT ITER 4277 NEW BEST:: SOT 144765 SOS 58786 HAS SOPS 58786 HAS SOUS 52773 HAS SOUPS 52773 WITH SCORE 52831.786
AT ITER 4298 NEW BEST:: SOT 144696 SOS 58648 HAS SOPS 58648 HAS SOUS 52695 HAS SOUPS 52695 WITH SCORE 52753.648
AT ITER 4308 NEW BEST:: SOT 144696 SOS 58525 HAS SOPS 58525 HAS SOUS 52653 HAS SOUPS 52653 WITH SCORE 52711.525
AT ITER 4311 NEW BEST:: SOT 144666 SOS 58501 HAS SOPS 58501 HAS SOUS 52629 HAS SOUPS 52629 WITH SCORE 52687.501
AT ITER 4326 NEW BEST:: SOT 144648 SOS 58471 HAS SOPS 58471 HAS SOUS 52599 HAS SOUPS 52599 WITH SCORE 52657.471
AT ITER 4329 NEW BEST:: SOT 144647 SOS 58469 HAS SOPS 58469 HAS SOUS 52598 HAS SOUPS 52598 WITH SCORE 52656.469
AT ITER 4332 NEW BEST:: SOT 144647 SOS 58395 HAS SOPS 58395 HAS SOUS 52561 HAS SOUPS 52561 WITH SCORE 52619.395
AT ITER 4337 NEW BEST:: SOT 144630 SOS 58378 HAS SOPS 58378 HAS SOUS 52544 HAS SOUPS 52544 WITH SCORE 52602.378
AT ITER 4351 NEW BEST:: SOT 144562 SOS 58251 HAS SOPS 58251 HAS SOUS 52481 HAS SOUPS 52481 WITH SCORE 52539.251
AT ITER 4361 NEW BEST:: SOT 144562 SOS 58251 HAS SOPS 58251 HAS SOUS 52478 HAS SOUPS 52478 WITH SCORE 52536.251
AT ITER 4390 NEW BEST:: SOT 144510 SOS 58073 HAS SOPS 58073 HAS SOUS 52300 HAS SOUPS 52300 WITH SCORE 52358.073
AT ITER 4404 NEW BEST:: SOT 144494 SOS 57993 HAS SOPS 57993 HAS SOUS 52264 HAS SOUPS 52264 WITH SCORE 52321.993
AT ITER 4412 NEW BEST:: SOT 144461 SOS 57960 HAS SOPS 57960 HAS SOUS 52231 HAS SOUPS 52231 WITH SCORE 52288.96
AT ITER 4440 NEW BEST:: SOT 144448 SOS 57844 HAS SOPS 57844 HAS SOUS 52111 HAS SOUPS 52111 WITH SCORE 52168.844
AT ITER 4445 NEW BEST:: SOT 144288 SOS 57684 HAS SOPS 57684 HAS SOUS 51951 HAS SOUPS 51951 WITH SCORE 52008.684
AT ITER 4453 NEW BEST:: SOT 144219 SOS 57593 HAS SOPS 57593 HAS SOUS 51860 HAS SOUPS 51860 WITH SCORE 51917.593
AT ITER 4455 NEW BEST:: SOT 144203 SOS 57561 HAS SOPS 57561 HAS SOUS 51828 HAS SOUPS 51828 WITH SCORE 51885.561
AT ITER 4466 NEW BEST:: SOT 144160 SOS 57518 HAS SOPS 57518 HAS SOUS 51785 HAS SOUPS 51785 WITH SCORE 51842.518
AT ITER 4477 NEW BEST:: SOT 144155 SOS 57503 HAS SOPS 57503 HAS SOUS 51775 HAS SOUPS 51775 WITH SCORE 51832.503
AT ITER 4481 NEW BEST:: SOT 144100 SOS 57186 HAS SOPS 57186 HAS SOUS 51596 HAS SOUPS 51596 WITH SCORE 51653.186
AT ITER 4513 NEW BEST:: SOT 144049 SOS 56982 HAS SOPS 56982 HAS SOUS 51504 HAS SOUPS 51504 WITH SCORE 51560.982
AT ITER 4530 NEW BEST:: SOT 144048 SOS 56981 HAS SOPS 56981 HAS SOUS 51502 HAS SOUPS 51502 WITH SCORE 51558.981
AT ITER 4546 NEW BEST:: SOT 144120 SOS 56944 HAS SOPS 56944 HAS SOUS 51446 HAS SOUPS 51446 WITH SCORE 51502.944
AT ITER 4569 NEW BEST:: SOT 144128 SOS 56882 HAS SOPS 56882 HAS SOUS 51423 HAS SOUPS 51423 WITH SCORE 51479.882
AT ITER 4585 NEW BEST:: SOT 144049 SOS 56803 HAS SOPS 56803 HAS SOUS 51344 HAS SOUPS 51344 WITH SCORE 51400.803
AT ITER 4616 NEW BEST:: SOT 144041 SOS 56800 HAS SOPS 56800 HAS SOUS 51340 HAS SOUPS 51340 WITH SCORE 51396.8
AT ITER 4626 NEW BEST:: SOT 144038 SOS 56797 HAS SOPS 56797 HAS SOUS 51337 HAS SOUPS 51337 WITH SCORE 51393.797
AT ITER 4642 NEW BEST:: SOT 144078 SOS 56699 HAS SOPS 56699 HAS SOUS 51266 HAS SOUPS 51266 WITH SCORE 51322.699
AT ITER 4647 NEW BEST:: SOT 144089 SOS 56710 HAS SOPS 56710 HAS SOUS 51262 HAS SOUPS 51262 WITH SCORE 51318.71
AT ITER 4655 NEW BEST:: SOT 144076 SOS 56699 HAS SOPS 56699 HAS SOUS 51251 HAS SOUPS 51251 WITH SCORE 51307.699
AT ITER 4673 NEW BEST:: SOT 144162 SOS 56694 HAS SOPS 56694 HAS SOUS 51243 HAS SOUPS 51243 WITH SCORE 51299.694
AT ITER 4682 NEW BEST:: SOT 144113 SOS 56627 HAS SOPS 56627 HAS SOUS 51176 HAS SOUPS 51176 WITH SCORE 51232.627
AT ITER 4689 NEW BEST:: SOT 144077 SOS 56622 HAS SOPS 56622 HAS SOUS 51130 HAS SOUPS 51130 WITH SCORE 51186.622
AT ITER 4690 NEW BEST:: SOT 144055 SOS 56573 HAS SOPS 56573 HAS SOUS 51113 HAS SOUPS 51113 WITH SCORE 51169.573
AT ITER 4693 NEW BEST:: SOT 144058 SOS 56561 HAS SOPS 56561 HAS SOUS 51075 HAS SOUPS 51075 WITH SCORE 51131.561
AT ITER 4730 NEW BEST:: SOT 144034 SOS 56537 HAS SOPS 56537 HAS SOUS 51051 HAS SOUPS 51051 WITH SCORE 51107.537
AT ITER 4742 NEW BEST:: SOT 144038 SOS 56343 HAS SOPS 56343 HAS SOUS 50968 HAS SOUPS 50968 WITH SCORE 51024.343
AT ITER 4743 NEW BEST:: SOT 144024 SOS 56301 HAS SOPS 56301 HAS SOUS 50926 HAS SOUPS 50926 WITH SCORE 50982.301
AT ITER 4747 NEW BEST:: SOT 143996 SOS 56189 HAS SOPS 56189 HAS SOUS 50870 HAS SOUPS 50870 WITH SCORE 50926.189
AT ITER 4773 NEW BEST:: SOT 143980 SOS 56173 HAS SOPS 56173 HAS SOUS 50854 HAS SOUPS 50854 WITH SCORE 50910.173
AT ITER 4794 NEW BEST:: SOT 143994 SOS 56190 HAS SOPS 56190 HAS SOUS 50848 HAS SOUPS 50848 WITH SCORE 50904.19
AT ITER 4810 NEW BEST:: SOT 143976 SOS 56172 HAS SOPS 56172 HAS SOUS 50830 HAS SOUPS 50830 WITH SCORE 50886.172
AT ITER 4812 NEW BEST:: SOT 143948 SOS 55971 HAS SOPS 55971 HAS SOUS 50745 HAS SOUPS 50745 WITH SCORE 50800.971
AT ITER 4827 NEW BEST:: SOT 143944 SOS 55967 HAS SOPS 55967 HAS SOUS 50741 HAS SOUPS 50741 WITH SCORE 50796.967
AT ITER 4830 NEW BEST:: SOT 143929 SOS 55913 HAS SOPS 55913 HAS SOUS 50700 HAS SOUPS 50700 WITH SCORE 50755.913
AT ITER 4832 NEW BEST:: SOT 143926 SOS 55910 HAS SOPS 55910 HAS SOUS 50697 HAS SOUPS 50697 WITH SCORE 50752.91
AT ITER 4835 NEW BEST:: SOT 143954 SOS 55860 HAS SOPS 55860 HAS SOUS 50680 HAS SOUPS 50680 WITH SCORE 50735.86
AT ITER 4843 NEW BEST:: SOT 143904 SOS 55809 HAS SOPS 55809 HAS SOUS 50638 HAS SOUPS 50638 WITH SCORE 50693.809
AT ITER 4848 NEW BEST:: SOT 143860 SOS 55779 HAS SOPS 55779 HAS SOUS 50550 HAS SOUPS 50550 WITH SCORE 50605.779
AT ITER 4853 NEW BEST:: SOT 143851 SOS 55748 HAS SOPS 55748 HAS SOUS 50471 HAS SOUPS 50471 WITH SCORE 50526.748
AT ITER 4862 NEW BEST:: SOT 143849 SOS 55746 HAS SOPS 55746 HAS SOUS 50469 HAS SOUPS 50469 WITH SCORE 50524.746
AT ITER 4887 NEW BEST:: SOT 143832 SOS 55748 HAS SOPS 55748 HAS SOUS 50445 HAS SOUPS 50445 WITH SCORE 50500.748
AT ITER 4942 NEW BEST:: SOT 143827 SOS 55738 HAS SOPS 55738 HAS SOUS 50435 HAS SOUPS 50435 WITH SCORE 50490.738
AT ITER 4944 NEW BEST:: SOT 143820 SOS 55766 HAS SOPS 55766 HAS SOUS 50396 HAS SOUPS 50396 WITH SCORE 50451.766
AT ITER 4956 NEW BEST:: SOT 143810 SOS 55751 HAS SOPS 55751 HAS SOUS 50381 HAS SOUPS 50381 WITH SCORE 50436.751
AT ITER 4972 NEW BEST:: SOT 143785 SOS 55751 HAS SOPS 55751 HAS SOUS 50378 HAS SOUPS 50378 WITH SCORE 50433.751
AT ITER 4979 NEW BEST:: SOT 143780 SOS 55736 HAS SOPS 55736 HAS SOUS 50363 HAS SOUPS 50363 WITH SCORE 50418.736
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-00 ( (EF( ( (AG( ((potential((tk(P51)>=1) & (tk(P76)>=1)))))) | ((potential((tk(P234)>=1) & (tk(P245)>=1)))) ))) | ( ((potential((tk(P186)>=1)))) & (! (EU( ((potential((tk(P422)>=1) & (tk(P439)>=1)))) , ((potential((tk(P88)>=1) & (tk(P92)>=1) & (tk(P98)>=1)))) ))) ) )
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-01 ( (EF( (EU( ((potential((tk(P566)>=1)))) , ((potential((tk(P413)>=1) & (tk(P419)>=1) & (tk(P421)>=1)))) )))) & (AX( (! ( ((potential((tk(P279)>=1) & (tk(P304)>=1)))) & (! ((potential((tk(P64)>=1) & (tk(P73)>=1))))) )))) )
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-02 ( ( ((potential((tk(P104)>=1) & (tk(P115)>=1)))) & (AU( (! ((potential((tk(P38)>=1))))) , (! ((potential((tk(P347)>=1) & (tk(P360)>=1))))) )) ) | ( (EF( ((potential((tk(P194)>=1) & (tk(P211)>=1)))))) | ( (AG( ( ((potential((tk(P555)>=1) & (tk(P572)>=1)))) & ((potential((tk(P300)>=1) & (tk(P315)>=1)))) ))) | ((potential((tk(P84)>=1) & (tk(P86)>=1)))) ) ) )
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-03 ( ( (AF( (EF( ((potential((tk(P418)>=1)))))))) & (! ((potential((tk(P255)>=1) & (tk(P257)>=1))))) ) | ( ( ( ((potential((tk(P285)>=1)))) & (! (! ((potential((tk(P484)>=1) & (tk(P495)>=1)))))) ) & ((potential((tk(P184)>=1) & (tk(P209)>=1)))) ) | (EG( ( ( ((potential((tk(P507)>=1) & (tk(P532)>=1)))) | ((potential((tk(P102)>=1) & (tk(P111)>=1)))) ) & ((potential((tk(P72)>=1)))) ))) ) )
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-04 (EU( (AX( ( ((potential((tk(P406)>=1) & (tk(P415)>=1)))) & ((potential((tk(P518)>=1) & (tk(P531)>=1)))) ))) , (EF( ((potential((tk(P173)>=1)))))) ))
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-05 (EF( ( ( (AX( ((potential((tk(P281)>=1)))))) & (EG( ((potential((tk(P294)>=1) & (tk(P305)>=1)))))) ) & (EX( ( ((potential((tk(P122)>=1) & (tk(P124)>=1)))) & ((potential((tk(P8)>=1) & (tk(P10)>=1)))) ))) )))
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-06 ( ( (AX( (EF( ((potential((tk(P232)>=1) & (tk(P249)>=1)))))))) | ( (AX( ( ((potential((tk(P336)>=1) & (tk(P361)>=1)))) | ((potential((tk(P179)>=1) & (tk(P181)>=1)))) ))) & ( ((potential((tk(P530)>=1)))) | ( (! ((potential((tk(P312)>=1) & (tk(P314)>=1))))) | ((potential((tk(P520)>=1) & (tk(P529)>=1)))) ) ) ) ) | ( (AU( (! ((potential((tk(P62)>=1) & (tk(P75)>=1))))) , ( ((potential((tk(P204)>=1) & (tk(P210)>=1) & (tk(P212)>=1)))) & ((potential((tk(P405)>=1) & (tk(P416)>=1)))) ) )) & ( (! (! (! ((potential((tk(P240)>=1) & (tk(P244)>=1) & (tk(P250)>=1))))))) | ( (AX( ((potential((tk(P370)>=1) & (tk(P381)>=1)))))) & ( ((potential((tk(P397)>=1)))) & ( ((potential((tk(P365)>=1) & (tk(P382)>=1)))) | ((potential((tk(P264)>=1)))) ) ) ) ) ) )
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-07 ( (AG( ( ( (! ((potential((tk(P444)>=1) & (tk(P453)>=1))))) | ( ((potential((tk(P148)>=1)))) & ((potential((tk(P95)>=1)))) ) ) | (! (! ((potential((tk(P335)>=1) & (tk(P339)>=1) & (tk(P345)>=1)))))) ))) | ((potential((tk(P433)>=1)))) )
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-08 (AG( (! ( (EX( ((potential((tk(P38)>=1)))))) & ((potential((tk(P299)>=1) & (tk(P305)>=1) & (tk(P307)>=1)))) ))))
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-09 (AG( (EF( ( ((potential((tk(P351)>=1) & (tk(P362)>=1)))) & ( ((potential((tk(P500)>=1) & (tk(P511)>=1)))) & ((potential((tk(P350)>=1) & (tk(P352)>=1)))) ) )))))
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-10 (EX( ( (EF( ((potential((tk(P365)>=1) & (tk(P382)>=1)))))) | (EF( ((potential((tk(P293)>=1) & (tk(P295)>=1)))))) )))
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-11 (EU( (AF( (! ((potential((tk(P389)>=1) & (tk(P400)>=1))))))) , (AF( ( ((potential((tk(P479)>=1) & (tk(P496)>=1)))) & ((potential((tk(P62)>=1) & (tk(P75)>=1)))) ))) ))
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-12 (! (EG( ( (EF( ((potential((tk(P256)>=1) & (tk(P267)>=1)))))) | ((potential((tk(P323)>=1)))) ))))
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-13 (AG( ( (! ((potential((tk(P294)>=1) & (tk(P305)>=1))))) | (! (AF( ((potential((tk(P420)>=1))))))) )))
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-14 (EF( (EG( (EX( ((potential((tk(P323)>=1))))))))))
PROPERTY: ShieldIIPt-PT-030A-CTLFireability-15 (EU( (! ( ( ((potential((tk(P185)>=1) & (tk(P191)>=1) & (tk(P193)>=1)))) & ((potential((tk(P503)>=1) & (tk(P514)>=1)))) ) & ((potential((tk(P327)>=1) & (tk(P344)>=1)))) )) , (EX( ((potential((tk(P413)>=1) & (tk(P419)>=1) & (tk(P421)>=1)))))) ))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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