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-159033470401067.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 ShieldRVt-PT-050A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470401067
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 308K
-rw-r--r-- 1 mcc users 3.1K May 14 03:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 03:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 20:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 20:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 09:55 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 136K 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 ShieldRVt-PT-050A-CTLCardinality-00
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-01
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-02
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-03
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-04
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-05
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-06
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-07
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-08
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-09
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-10
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-11
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-12
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-13
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-14
FORMULA_NAME ShieldRVt-PT-050A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590457497051

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 050A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 403 places, 403 transitions, 1706 arcs.
AT ITER 0 NEW BEST:: SOT 127357 SOS 93163 HAS SOPS 93163 HAS SOUS 87321 HAS SOUPS 87321 WITH SCORE 87414.163
AT ITER 1 NEW BEST:: SOT 127216 SOS 92892 HAS SOPS 92892 HAS SOUS 86920 HAS SOUPS 86920 WITH SCORE 87012.892
AT ITER 4 NEW BEST:: SOT 127153 SOS 92822 HAS SOPS 92822 HAS SOUS 86905 HAS SOUPS 86905 WITH SCORE 86997.822
AT ITER 7 NEW BEST:: SOT 127008 SOS 92533 HAS SOPS 92533 HAS SOUS 86545 HAS SOUPS 86545 WITH SCORE 86637.533
AT ITER 8 NEW BEST:: SOT 127008 SOS 92532 HAS SOPS 92532 HAS SOUS 86545 HAS SOUPS 86545 WITH SCORE 86637.532
AT ITER 11 NEW BEST:: SOT 127002 SOS 92526 HAS SOPS 92526 HAS SOUS 86539 HAS SOUPS 86539 WITH SCORE 86631.526
AT ITER 12 NEW BEST:: SOT 126983 SOS 92507 HAS SOPS 92507 HAS SOUS 86520 HAS SOUPS 86520 WITH SCORE 86612.507
AT ITER 13 NEW BEST:: SOT 126791 SOS 92154 HAS SOPS 92154 HAS SOUS 86213 HAS SOUPS 86213 WITH SCORE 86305.154
AT ITER 17 NEW BEST:: SOT 126674 SOS 91860 HAS SOPS 91860 HAS SOUS 86093 HAS SOUPS 86093 WITH SCORE 86184.86
AT ITER 20 NEW BEST:: SOT 126246 SOS 91254 HAS SOPS 91254 HAS SOUS 85365 HAS SOUPS 85365 WITH SCORE 85456.254
AT ITER 23 NEW BEST:: SOT 126185 SOS 91132 HAS SOPS 91132 HAS SOUS 85182 HAS SOUPS 85182 WITH SCORE 85273.132
AT ITER 26 NEW BEST:: SOT 125949 SOS 90713 HAS SOPS 90713 HAS SOUS 84908 HAS SOUPS 84908 WITH SCORE 84998.713
AT ITER 29 NEW BEST:: SOT 125791 SOS 90397 HAS SOPS 90397 HAS SOUS 84465 HAS SOUPS 84465 WITH SCORE 84555.397
AT ITER 32 NEW BEST:: SOT 125700 SOS 90274 HAS SOPS 90274 HAS SOUS 84344 HAS SOUPS 84344 WITH SCORE 84434.274
AT ITER 34 NEW BEST:: SOT 125694 SOS 90268 HAS SOPS 90268 HAS SOUS 84338 HAS SOUPS 84338 WITH SCORE 84428.268
AT ITER 36 NEW BEST:: SOT 125589 SOS 89985 HAS SOPS 89985 HAS SOUS 84104 HAS SOUPS 84104 WITH SCORE 84193.985
AT ITER 37 NEW BEST:: SOT 125233 SOS 89447 HAS SOPS 89447 HAS SOUS 83529 HAS SOUPS 83529 WITH SCORE 83618.447
AT ITER 38 NEW BEST:: SOT 125088 SOS 89224 HAS SOPS 89224 HAS SOUS 83409 HAS SOUPS 83409 WITH SCORE 83498.224
AT ITER 43 NEW BEST:: SOT 125005 SOS 89185 HAS SOPS 89185 HAS SOUS 83297 HAS SOUPS 83297 WITH SCORE 83386.185
AT ITER 46 NEW BEST:: SOT 125005 SOS 89182 HAS SOPS 89182 HAS SOUS 83291 HAS SOUPS 83291 WITH SCORE 83380.182
AT ITER 50 NEW BEST:: SOT 124833 SOS 88837 HAS SOPS 88837 HAS SOUS 82856 HAS SOUPS 82856 WITH SCORE 82944.837
AT ITER 51 NEW BEST:: SOT 124680 SOS 88456 HAS SOPS 88456 HAS SOUS 82554 HAS SOUPS 82554 WITH SCORE 82642.456
AT ITER 54 NEW BEST:: SOT 124680 SOS 88456 HAS SOPS 88456 HAS SOUS 82552 HAS SOUPS 82552 WITH SCORE 82640.456
AT ITER 55 NEW BEST:: SOT 124536 SOS 88261 HAS SOPS 88261 HAS SOUS 82164 HAS SOUPS 82164 WITH SCORE 82252.261
AT ITER 58 NEW BEST:: SOT 124513 SOS 88199 HAS SOPS 88199 HAS SOUS 82095 HAS SOUPS 82095 WITH SCORE 82183.199
AT ITER 60 NEW BEST:: SOT 124465 SOS 88135 HAS SOPS 88135 HAS SOUS 82031 HAS SOUPS 82031 WITH SCORE 82119.135
AT ITER 61 NEW BEST:: SOT 124274 SOS 87702 HAS SOPS 87702 HAS SOUS 81673 HAS SOUPS 81673 WITH SCORE 81760.702
AT ITER 62 NEW BEST:: SOT 124148 SOS 87320 HAS SOPS 87320 HAS SOUS 81296 HAS SOUPS 81296 WITH SCORE 81383.32
AT ITER 66 NEW BEST:: SOT 124031 SOS 87087 HAS SOPS 87087 HAS SOUS 81004 HAS SOUPS 81004 WITH SCORE 81091.087
AT ITER 67 NEW BEST:: SOT 123831 SOS 86603 HAS SOPS 86603 HAS SOUS 80428 HAS SOUPS 80428 WITH SCORE 80514.603
AT ITER 68 NEW BEST:: SOT 123802 SOS 86522 HAS SOPS 86522 HAS SOUS 80347 HAS SOUPS 80347 WITH SCORE 80433.522
AT ITER 69 NEW BEST:: SOT 123636 SOS 86193 HAS SOPS 86193 HAS SOUS 80018 HAS SOUPS 80018 WITH SCORE 80104.193
AT ITER 71 NEW BEST:: SOT 123613 SOS 86058 HAS SOPS 86058 HAS SOUS 79972 HAS SOUPS 79972 WITH SCORE 80058.058
AT ITER 73 NEW BEST:: SOT 123591 SOS 86036 HAS SOPS 86036 HAS SOUS 79950 HAS SOUPS 79950 WITH SCORE 80036.036
AT ITER 74 NEW BEST:: SOT 123468 SOS 85897 HAS SOPS 85897 HAS SOUS 79801 HAS SOUPS 79801 WITH SCORE 79886.897
AT ITER 75 NEW BEST:: SOT 123386 SOS 85777 HAS SOPS 85777 HAS SOUS 79702 HAS SOUPS 79702 WITH SCORE 79787.777
AT ITER 76 NEW BEST:: SOT 123356 SOS 85742 HAS SOPS 85742 HAS SOUS 79662 HAS SOUPS 79662 WITH SCORE 79747.742
AT ITER 77 NEW BEST:: SOT 123190 SOS 85616 HAS SOPS 85616 HAS SOUS 79501 HAS SOUPS 79501 WITH SCORE 79586.616
AT ITER 81 NEW BEST:: SOT 123078 SOS 85393 HAS SOPS 85393 HAS SOUS 79167 HAS SOUPS 79167 WITH SCORE 79252.393
AT ITER 82 NEW BEST:: SOT 123071 SOS 85386 HAS SOPS 85386 HAS SOUS 79104 HAS SOUPS 79104 WITH SCORE 79189.386
AT ITER 83 NEW BEST:: SOT 122805 SOS 84897 HAS SOPS 84897 HAS SOUS 78783 HAS SOUPS 78783 WITH SCORE 78867.897
AT ITER 85 NEW BEST:: SOT 122743 SOS 84773 HAS SOPS 84773 HAS SOUS 78717 HAS SOUPS 78717 WITH SCORE 78801.773
AT ITER 86 NEW BEST:: SOT 122622 SOS 84531 HAS SOPS 84531 HAS SOUS 78475 HAS SOUPS 78475 WITH SCORE 78559.531
AT ITER 88 NEW BEST:: SOT 122623 SOS 84462 HAS SOPS 84462 HAS SOUS 78447 HAS SOUPS 78447 WITH SCORE 78531.462
AT ITER 89 NEW BEST:: SOT 122462 SOS 84057 HAS SOPS 84057 HAS SOUS 78128 HAS SOUPS 78128 WITH SCORE 78212.057
AT ITER 90 NEW BEST:: SOT 122372 SOS 84002 HAS SOPS 84002 HAS SOUS 77990 HAS SOUPS 77990 WITH SCORE 78074.002
AT ITER 92 NEW BEST:: SOT 122234 SOS 83855 HAS SOPS 83855 HAS SOUS 77838 HAS SOUPS 77838 WITH SCORE 77921.855
AT ITER 93 NEW BEST:: SOT 122167 SOS 83762 HAS SOPS 83762 HAS SOUS 77681 HAS SOUPS 77681 WITH SCORE 77764.762
AT ITER 97 NEW BEST:: SOT 122168 SOS 83646 HAS SOPS 83646 HAS SOUS 77654 HAS SOUPS 77654 WITH SCORE 77737.646
AT ITER 99 NEW BEST:: SOT 122033 SOS 83448 HAS SOPS 83448 HAS SOUS 77364 HAS SOUPS 77364 WITH SCORE 77447.448
AT ITER 112 NEW BEST:: SOT 121958 SOS 83298 HAS SOPS 83298 HAS SOUS 77152 HAS SOUPS 77152 WITH SCORE 77235.298
AT ITER 113 NEW BEST:: SOT 121958 SOS 83295 HAS SOPS 83295 HAS SOUS 77126 HAS SOUPS 77126 WITH SCORE 77209.295
AT ITER 114 NEW BEST:: SOT 121858 SOS 83096 HAS SOPS 83096 HAS SOUS 76927 HAS SOUPS 76927 WITH SCORE 77010.096
AT ITER 118 NEW BEST:: SOT 121639 SOS 82426 HAS SOPS 82426 HAS SOUS 76478 HAS SOUPS 76478 WITH SCORE 76560.426
AT ITER 120 NEW BEST:: SOT 121467 SOS 82012 HAS SOPS 82012 HAS SOUS 76140 HAS SOUPS 76140 WITH SCORE 76222.012
AT ITER 123 NEW BEST:: SOT 121467 SOS 82012 HAS SOPS 82012 HAS SOUS 76029 HAS SOUPS 76029 WITH SCORE 76111.012
AT ITER 124 NEW BEST:: SOT 121287 SOS 81716 HAS SOPS 81716 HAS SOUS 75816 HAS SOUPS 75816 WITH SCORE 75897.716
AT ITER 125 NEW BEST:: SOT 121278 SOS 81707 HAS SOPS 81707 HAS SOUS 75807 HAS SOUPS 75807 WITH SCORE 75888.707
AT ITER 131 NEW BEST:: SOT 121263 SOS 81692 HAS SOPS 81692 HAS SOUS 75792 HAS SOUPS 75792 WITH SCORE 75873.692
AT ITER 133 NEW BEST:: SOT 121258 SOS 81687 HAS SOPS 81687 HAS SOUS 75787 HAS SOUPS 75787 WITH SCORE 75868.687
AT ITER 134 NEW BEST:: SOT 121167 SOS 81536 HAS SOPS 81536 HAS SOUS 75570 HAS SOUPS 75570 WITH SCORE 75651.536
AT ITER 135 NEW BEST:: SOT 121119 SOS 81444 HAS SOPS 81444 HAS SOUS 75478 HAS SOUPS 75478 WITH SCORE 75559.444
AT ITER 138 NEW BEST:: SOT 121041 SOS 81288 HAS SOPS 81288 HAS SOUS 75322 HAS SOUPS 75322 WITH SCORE 75403.288
AT ITER 140 NEW BEST:: SOT 120993 SOS 81136 HAS SOPS 81136 HAS SOUS 75178 HAS SOUPS 75178 WITH SCORE 75259.136
AT ITER 144 NEW BEST:: SOT 120919 SOS 80972 HAS SOPS 80972 HAS SOUS 75105 HAS SOUPS 75105 WITH SCORE 75185.972
AT ITER 145 NEW BEST:: SOT 120745 SOS 80621 HAS SOPS 80621 HAS SOUS 74645 HAS SOUPS 74645 WITH SCORE 74725.621
AT ITER 146 NEW BEST:: SOT 120671 SOS 80291 HAS SOPS 80291 HAS SOUS 74414 HAS SOUPS 74414 WITH SCORE 74494.291
AT ITER 147 NEW BEST:: SOT 120518 SOS 80047 HAS SOPS 80047 HAS SOUS 74100 HAS SOUPS 74100 WITH SCORE 74180.047
AT ITER 149 NEW BEST:: SOT 120326 SOS 79663 HAS SOPS 79663 HAS SOUS 73801 HAS SOUPS 73801 WITH SCORE 73880.663
AT ITER 150 NEW BEST:: SOT 120284 SOS 79621 HAS SOPS 79621 HAS SOUS 73759 HAS SOUPS 73759 WITH SCORE 73838.621
AT ITER 151 NEW BEST:: SOT 120270 SOS 79572 HAS SOPS 79572 HAS SOUS 73677 HAS SOUPS 73677 WITH SCORE 73756.572
AT ITER 152 NEW BEST:: SOT 120218 SOS 79468 HAS SOPS 79468 HAS SOUS 73625 HAS SOUPS 73625 WITH SCORE 73704.468
AT ITER 153 NEW BEST:: SOT 120218 SOS 79430 HAS SOPS 79430 HAS SOUS 73625 HAS SOUPS 73625 WITH SCORE 73704.43
AT ITER 156 NEW BEST:: SOT 120144 SOS 79356 HAS SOPS 79356 HAS SOUS 73551 HAS SOUPS 73551 WITH SCORE 73630.356
AT ITER 157 NEW BEST:: SOT 119788 SOS 78883 HAS SOPS 78883 HAS SOUS 73078 HAS SOUPS 73078 WITH SCORE 73156.883
AT ITER 158 NEW BEST:: SOT 119663 SOS 78505 HAS SOPS 78505 HAS SOUS 72824 HAS SOUPS 72824 WITH SCORE 72902.505
AT ITER 159 NEW BEST:: SOT 119511 SOS 78200 HAS SOPS 78200 HAS SOUS 72421 HAS SOUPS 72421 WITH SCORE 72499.2
AT ITER 162 NEW BEST:: SOT 119391 SOS 77960 HAS SOPS 77960 HAS SOUS 72100 HAS SOUPS 72100 WITH SCORE 72177.96
AT ITER 165 NEW BEST:: SOT 119391 SOS 77850 HAS SOPS 77850 HAS SOUS 72019 HAS SOUPS 72019 WITH SCORE 72096.85
AT ITER 166 NEW BEST:: SOT 119391 SOS 77767 HAS SOPS 77767 HAS SOUS 72016 HAS SOUPS 72016 WITH SCORE 72093.767
AT ITER 168 NEW BEST:: SOT 119154 SOS 77415 HAS SOPS 77415 HAS SOUS 71782 HAS SOUPS 71782 WITH SCORE 71859.415
AT ITER 169 NEW BEST:: SOT 119145 SOS 77397 HAS SOPS 77397 HAS SOUS 71764 HAS SOUPS 71764 WITH SCORE 71841.397
AT ITER 172 NEW BEST:: SOT 119107 SOS 77340 HAS SOPS 77340 HAS SOUS 71707 HAS SOUPS 71707 WITH SCORE 71784.34
AT ITER 175 NEW BEST:: SOT 119039 SOS 77215 HAS SOPS 77215 HAS SOUS 71582 HAS SOUPS 71582 WITH SCORE 71659.215
AT ITER 176 NEW BEST:: SOT 118889 SOS 76712 HAS SOPS 76712 HAS SOUS 71047 HAS SOUPS 71047 WITH SCORE 71123.712
AT ITER 177 NEW BEST:: SOT 118849 SOS 76515 HAS SOPS 76515 HAS SOUS 71039 HAS SOUPS 71039 WITH SCORE 71115.515
AT ITER 179 NEW BEST:: SOT 118849 SOS 76511 HAS SOPS 76511 HAS SOUS 70952 HAS SOUPS 70952 WITH SCORE 71028.511
AT ITER 180 NEW BEST:: SOT 118859 SOS 76474 HAS SOPS 76474 HAS SOUS 70884 HAS SOUPS 70884 WITH SCORE 70960.474
AT ITER 182 NEW BEST:: SOT 118695 SOS 76034 HAS SOPS 76034 HAS SOUS 70388 HAS SOUPS 70388 WITH SCORE 70464.034
AT ITER 188 NEW BEST:: SOT 118619 SOS 75879 HAS SOPS 75879 HAS SOUS 70160 HAS SOUPS 70160 WITH SCORE 70235.879
AT ITER 191 NEW BEST:: SOT 118544 SOS 75786 HAS SOPS 75786 HAS SOUS 70085 HAS SOUPS 70085 WITH SCORE 70160.786
AT ITER 196 NEW BEST:: SOT 118546 SOS 75790 HAS SOPS 75790 HAS SOUS 70052 HAS SOUPS 70052 WITH SCORE 70127.79
AT ITER 197 NEW BEST:: SOT 118284 SOS 75569 HAS SOPS 75569 HAS SOUS 69957 HAS SOUPS 69957 WITH SCORE 70032.569
AT ITER 198 NEW BEST:: SOT 117938 SOS 74996 HAS SOPS 74996 HAS SOUS 69398 HAS SOUPS 69398 WITH SCORE 69472.996
AT ITER 200 NEW BEST:: SOT 117773 SOS 74628 HAS SOPS 74628 HAS SOUS 68936 HAS SOUPS 68936 WITH SCORE 69010.628
AT ITER 201 NEW BEST:: SOT 117618 SOS 74442 HAS SOPS 74442 HAS SOUS 68774 HAS SOUPS 68774 WITH SCORE 68848.442
AT ITER 203 NEW BEST:: SOT 117454 SOS 74046 HAS SOPS 74046 HAS SOUS 68296 HAS SOUPS 68296 WITH SCORE 68370.046
AT ITER 204 NEW BEST:: SOT 117385 SOS 73989 HAS SOPS 73989 HAS SOUS 68146 HAS SOUPS 68146 WITH SCORE 68219.989
AT ITER 207 NEW BEST:: SOT 117343 SOS 73947 HAS SOPS 73947 HAS SOUS 68104 HAS SOUPS 68104 WITH SCORE 68177.947
AT ITER 208 NEW BEST:: SOT 117178 SOS 73537 HAS SOPS 73537 HAS SOUS 67812 HAS SOUPS 67812 WITH SCORE 67885.537
AT ITER 209 NEW BEST:: SOT 117162 SOS 73509 HAS SOPS 73509 HAS SOUS 67784 HAS SOUPS 67784 WITH SCORE 67857.509
AT ITER 210 NEW BEST:: SOT 117188 SOS 73336 HAS SOPS 73336 HAS SOUS 67777 HAS SOUPS 67777 WITH SCORE 67850.336
AT ITER 213 NEW BEST:: SOT 117209 SOS 73331 HAS SOPS 73331 HAS SOUS 67598 HAS SOUPS 67598 WITH SCORE 67671.331
AT ITER 214 NEW BEST:: SOT 117200 SOS 73398 HAS SOPS 73398 HAS SOUS 67582 HAS SOUPS 67582 WITH SCORE 67655.398
AT ITER 215 NEW BEST:: SOT 117216 SOS 73444 HAS SOPS 73444 HAS SOUS 67519 HAS SOUPS 67519 WITH SCORE 67592.444
AT ITER 218 NEW BEST:: SOT 117184 SOS 73412 HAS SOPS 73412 HAS SOUS 67434 HAS SOUPS 67434 WITH SCORE 67507.412
AT ITER 219 NEW BEST:: SOT 117181 SOS 73407 HAS SOPS 73407 HAS SOUS 67429 HAS SOUPS 67429 WITH SCORE 67502.407
AT ITER 222 NEW BEST:: SOT 117115 SOS 73359 HAS SOPS 73359 HAS SOUS 67330 HAS SOUPS 67330 WITH SCORE 67403.359
AT ITER 228 NEW BEST:: SOT 117110 SOS 73354 HAS SOPS 73354 HAS SOUS 67286 HAS SOUPS 67286 WITH SCORE 67359.354
AT ITER 230 NEW BEST:: SOT 117021 SOS 73258 HAS SOPS 73258 HAS SOUS 67200 HAS SOUPS 67200 WITH SCORE 67273.258
AT ITER 233 NEW BEST:: SOT 116983 SOS 73186 HAS SOPS 73186 HAS SOUS 67094 HAS SOUPS 67094 WITH SCORE 67167.186
AT ITER 234 NEW BEST:: SOT 116747 SOS 72789 HAS SOPS 72789 HAS SOUS 66725 HAS SOUPS 66725 WITH SCORE 66797.789
AT ITER 235 NEW BEST:: SOT 116723 SOS 72759 HAS SOPS 72759 HAS SOUS 66509 HAS SOUPS 66509 WITH SCORE 66581.759
AT ITER 237 NEW BEST:: SOT 116626 SOS 72517 HAS SOPS 72517 HAS SOUS 66297 HAS SOUPS 66297 WITH SCORE 66369.517
AT ITER 241 NEW BEST:: SOT 116611 SOS 72472 HAS SOPS 72472 HAS SOUS 66267 HAS SOUPS 66267 WITH SCORE 66339.472
AT ITER 243 NEW BEST:: SOT 116611 SOS 72542 HAS SOPS 72542 HAS SOUS 66261 HAS SOUPS 66261 WITH SCORE 66333.542
AT ITER 246 NEW BEST:: SOT 116407 SOS 72232 HAS SOPS 72232 HAS SOUS 65845 HAS SOUPS 65845 WITH SCORE 65917.232
AT ITER 248 NEW BEST:: SOT 116230 SOS 72039 HAS SOPS 72039 HAS SOUS 65636 HAS SOUPS 65636 WITH SCORE 65708.039
AT ITER 249 NEW BEST:: SOT 116188 SOS 72016 HAS SOPS 72016 HAS SOUS 65613 HAS SOUPS 65613 WITH SCORE 65685.016
AT ITER 254 NEW BEST:: SOT 116160 SOS 72124 HAS SOPS 72124 HAS SOUS 65610 HAS SOUPS 65610 WITH SCORE 65682.124
AT ITER 256 NEW BEST:: SOT 116067 SOS 71891 HAS SOPS 71891 HAS SOUS 65465 HAS SOUPS 65465 WITH SCORE 65536.891
AT ITER 257 NEW BEST:: SOT 115910 SOS 71593 HAS SOPS 71593 HAS SOUS 65117 HAS SOUPS 65117 WITH SCORE 65188.593
AT ITER 259 NEW BEST:: SOT 115678 SOS 71055 HAS SOPS 71055 HAS SOUS 64610 HAS SOUPS 64610 WITH SCORE 64681.055
AT ITER 261 NEW BEST:: SOT 115678 SOS 71052 HAS SOPS 71052 HAS SOUS 64607 HAS SOUPS 64607 WITH SCORE 64678.052
AT ITER 263 NEW BEST:: SOT 115617 SOS 70871 HAS SOPS 70871 HAS SOUS 64426 HAS SOUPS 64426 WITH SCORE 64496.871
AT ITER 264 NEW BEST:: SOT 115528 SOS 70562 HAS SOPS 70562 HAS SOUS 64159 HAS SOUPS 64159 WITH SCORE 64229.562
AT ITER 267 NEW BEST:: SOT 115476 SOS 70484 HAS SOPS 70484 HAS SOUS 64081 HAS SOUPS 64081 WITH SCORE 64151.484
AT ITER 269 NEW BEST:: SOT 115336 SOS 70289 HAS SOPS 70289 HAS SOUS 63883 HAS SOUPS 63883 WITH SCORE 63953.289
AT ITER 270 NEW BEST:: SOT 115190 SOS 69853 HAS SOPS 69853 HAS SOUS 63456 HAS SOUPS 63456 WITH SCORE 63525.853
AT ITER 275 NEW BEST:: SOT 115130 SOS 69778 HAS SOPS 69778 HAS SOUS 63366 HAS SOUPS 63366 WITH SCORE 63435.778
AT ITER 278 NEW BEST:: SOT 115121 SOS 69751 HAS SOPS 69751 HAS SOUS 63345 HAS SOUPS 63345 WITH SCORE 63414.751
AT ITER 279 NEW BEST:: SOT 114961 SOS 69521 HAS SOPS 69521 HAS SOUS 63260 HAS SOUPS 63260 WITH SCORE 63329.521
AT ITER 281 NEW BEST:: SOT 114871 SOS 69386 HAS SOPS 69386 HAS SOUS 63125 HAS SOUPS 63125 WITH SCORE 63194.386
AT ITER 283 NEW BEST:: SOT 114914 SOS 69511 HAS SOPS 69511 HAS SOUS 62980 HAS SOUPS 62980 WITH SCORE 63049.511
AT ITER 284 NEW BEST:: SOT 114914 SOS 69580 HAS SOPS 69580 HAS SOUS 62903 HAS SOUPS 62903 WITH SCORE 62972.58
AT ITER 290 NEW BEST:: SOT 114914 SOS 69545 HAS SOPS 69545 HAS SOUS 62727 HAS SOUPS 62727 WITH SCORE 62796.545
AT ITER 292 NEW BEST:: SOT 114846 SOS 69593 HAS SOPS 69593 HAS SOUS 62716 HAS SOUPS 62716 WITH SCORE 62785.593
AT ITER 294 NEW BEST:: SOT 114734 SOS 69375 HAS SOPS 69375 HAS SOUS 62420 HAS SOUPS 62420 WITH SCORE 62489.375
AT ITER 295 NEW BEST:: SOT 114700 SOS 69307 HAS SOPS 69307 HAS SOUS 62349 HAS SOUPS 62349 WITH SCORE 62418.307
AT ITER 296 NEW BEST:: SOT 114594 SOS 69026 HAS SOPS 69026 HAS SOUS 62095 HAS SOUPS 62095 WITH SCORE 62164.026
AT ITER 305 NEW BEST:: SOT 114594 SOS 68972 HAS SOPS 68972 HAS SOUS 62066 HAS SOUPS 62066 WITH SCORE 62134.972
AT ITER 307 NEW BEST:: SOT 114571 SOS 68950 HAS SOPS 68950 HAS SOUS 62044 HAS SOUPS 62044 WITH SCORE 62112.95
AT ITER 308 NEW BEST:: SOT 114413 SOS 68734 HAS SOPS 68734 HAS SOUS 61828 HAS SOUPS 61828 WITH SCORE 61896.734
AT ITER 310 NEW BEST:: SOT 114375 SOS 68558 HAS SOPS 68558 HAS SOUS 61743 HAS SOUPS 61743 WITH SCORE 61811.558
AT ITER 317 NEW BEST:: SOT 114365 SOS 68498 HAS SOPS 68498 HAS SOUS 61721 HAS SOUPS 61721 WITH SCORE 61789.498
AT ITER 320 NEW BEST:: SOT 114195 SOS 68066 HAS SOPS 68066 HAS SOUS 61427 HAS SOUPS 61427 WITH SCORE 61495.066
AT ITER 324 NEW BEST:: SOT 114195 SOS 68132 HAS SOPS 68132 HAS SOUS 61392 HAS SOUPS 61392 WITH SCORE 61460.132
AT ITER 329 NEW BEST:: SOT 113926 SOS 67723 HAS SOPS 67723 HAS SOUS 61049 HAS SOUPS 61049 WITH SCORE 61116.723
AT ITER 340 NEW BEST:: SOT 113926 SOS 67723 HAS SOPS 67723 HAS SOUS 60996 HAS SOUPS 60996 WITH SCORE 61063.723
AT ITER 346 NEW BEST:: SOT 113911 SOS 67675 HAS SOPS 67675 HAS SOUS 60962 HAS SOUPS 60962 WITH SCORE 61029.675
AT ITER 351 NEW BEST:: SOT 113790 SOS 67358 HAS SOPS 67358 HAS SOUS 60715 HAS SOUPS 60715 WITH SCORE 60782.358
AT ITER 352 NEW BEST:: SOT 113675 SOS 66980 HAS SOPS 66980 HAS SOUS 60396 HAS SOUPS 60396 WITH SCORE 60462.98
AT ITER 354 NEW BEST:: SOT 113597 SOS 66877 HAS SOPS 66877 HAS SOUS 60293 HAS SOUPS 60293 WITH SCORE 60359.877
AT ITER 358 NEW BEST:: SOT 113609 SOS 66889 HAS SOPS 66889 HAS SOUS 60282 HAS SOUPS 60282 WITH SCORE 60348.889
AT ITER 360 NEW BEST:: SOT 113649 SOS 66929 HAS SOPS 66929 HAS SOUS 60281 HAS SOUPS 60281 WITH SCORE 60347.929
AT ITER 362 NEW BEST:: SOT 113649 SOS 66987 HAS SOPS 66987 HAS SOUS 60223 HAS SOUPS 60223 WITH SCORE 60289.987
AT ITER 363 NEW BEST:: SOT 113505 SOS 66826 HAS SOPS 66826 HAS SOUS 60062 HAS SOUPS 60062 WITH SCORE 60128.826
AT ITER 368 NEW BEST:: SOT 113458 SOS 66718 HAS SOPS 66718 HAS SOUS 60003 HAS SOUPS 60003 WITH SCORE 60069.718
AT ITER 369 NEW BEST:: SOT 113386 SOS 66502 HAS SOPS 66502 HAS SOUS 59787 HAS SOUPS 59787 WITH SCORE 59853.502
AT ITER 370 NEW BEST:: SOT 113384 SOS 66496 HAS SOPS 66496 HAS SOUS 59781 HAS SOUPS 59781 WITH SCORE 59847.496
AT ITER 371 NEW BEST:: SOT 113382 SOS 66494 HAS SOPS 66494 HAS SOUS 59779 HAS SOUPS 59779 WITH SCORE 59845.494
AT ITER 373 NEW BEST:: SOT 113357 SOS 66467 HAS SOPS 66467 HAS SOUS 59750 HAS SOUPS 59750 WITH SCORE 59816.467
AT ITER 375 NEW BEST:: SOT 113332 SOS 66417 HAS SOPS 66417 HAS SOUS 59700 HAS SOUPS 59700 WITH SCORE 59766.417
AT ITER 377 NEW BEST:: SOT 113243 SOS 66276 HAS SOPS 66276 HAS SOUS 59605 HAS SOUPS 59605 WITH SCORE 59671.276
AT ITER 379 NEW BEST:: SOT 113134 SOS 65947 HAS SOPS 65947 HAS SOUS 59491 HAS SOUPS 59491 WITH SCORE 59556.947
AT ITER 384 NEW BEST:: SOT 112998 SOS 65762 HAS SOPS 65762 HAS SOUS 59306 HAS SOUPS 59306 WITH SCORE 59371.762
AT ITER 386 NEW BEST:: SOT 112926 SOS 65673 HAS SOPS 65673 HAS SOUS 59166 HAS SOUPS 59166 WITH SCORE 59231.673
AT ITER 389 NEW BEST:: SOT 112793 SOS 65540 HAS SOPS 65540 HAS SOUS 59033 HAS SOUPS 59033 WITH SCORE 59098.54
AT ITER 396 NEW BEST:: SOT 112749 SOS 65549 HAS SOPS 65549 HAS SOUS 58910 HAS SOUPS 58910 WITH SCORE 58975.549
AT ITER 402 NEW BEST:: SOT 112746 SOS 65199 HAS SOPS 65199 HAS SOUS 58744 HAS SOUPS 58744 WITH SCORE 58809.199
AT ITER 408 NEW BEST:: SOT 112666 SOS 64967 HAS SOPS 64967 HAS SOUS 58584 HAS SOUPS 58584 WITH SCORE 58648.967
AT ITER 422 NEW BEST:: SOT 112550 SOS 64683 HAS SOPS 64683 HAS SOUS 58497 HAS SOUPS 58497 WITH SCORE 58561.683
AT ITER 426 NEW BEST:: SOT 112453 SOS 64489 HAS SOPS 64489 HAS SOUS 58261 HAS SOUPS 58261 WITH SCORE 58325.489
AT ITER 428 NEW BEST:: SOT 112363 SOS 64326 HAS SOPS 64326 HAS SOUS 58034 HAS SOUPS 58034 WITH SCORE 58098.326
AT ITER 431 NEW BEST:: SOT 112352 SOS 64293 HAS SOPS 64293 HAS SOUS 57966 HAS SOUPS 57966 WITH SCORE 58030.293
AT ITER 433 NEW BEST:: SOT 112174 SOS 63980 HAS SOPS 63980 HAS SOUS 57652 HAS SOUPS 57652 WITH SCORE 57715.98
AT ITER 437 NEW BEST:: SOT 112090 SOS 63801 HAS SOPS 63801 HAS SOUS 57456 HAS SOUPS 57456 WITH SCORE 57519.801
AT ITER 444 NEW BEST:: SOT 112084 SOS 63789 HAS SOPS 63789 HAS SOUS 57447 HAS SOUPS 57447 WITH SCORE 57510.789
AT ITER 449 NEW BEST:: SOT 112110 SOS 63839 HAS SOPS 63839 HAS SOUS 57106 HAS SOUPS 57106 WITH SCORE 57169.839
AT ITER 450 NEW BEST:: SOT 112007 SOS 63712 HAS SOPS 63712 HAS SOUS 56990 HAS SOUPS 56990 WITH SCORE 57053.712
AT ITER 457 NEW BEST:: SOT 112007 SOS 63665 HAS SOPS 63665 HAS SOUS 56990 HAS SOUPS 56990 WITH SCORE 57053.665
AT ITER 459 NEW BEST:: SOT 111962 SOS 63620 HAS SOPS 63620 HAS SOUS 56945 HAS SOUPS 56945 WITH SCORE 57008.62
AT ITER 470 NEW BEST:: SOT 111883 SOS 63460 HAS SOPS 63460 HAS SOUS 56864 HAS SOUPS 56864 WITH SCORE 56927.46
AT ITER 473 NEW BEST:: SOT 111879 SOS 63454 HAS SOPS 63454 HAS SOUS 56858 HAS SOUPS 56858 WITH SCORE 56921.454
AT ITER 475 NEW BEST:: SOT 111744 SOS 63289 HAS SOPS 63289 HAS SOUS 56835 HAS SOUPS 56835 WITH SCORE 56898.289
AT ITER 478 NEW BEST:: SOT 111467 SOS 62967 HAS SOPS 62967 HAS SOUS 56697 HAS SOUPS 56697 WITH SCORE 56759.967
AT ITER 481 NEW BEST:: SOT 111467 SOS 62811 HAS SOPS 62811 HAS SOUS 56697 HAS SOUPS 56697 WITH SCORE 56759.811
AT ITER 485 NEW BEST:: SOT 111479 SOS 62823 HAS SOPS 62823 HAS SOUS 56681 HAS SOUPS 56681 WITH SCORE 56743.823
AT ITER 488 NEW BEST:: SOT 111478 SOS 62741 HAS SOPS 62741 HAS SOUS 56589 HAS SOUPS 56589 WITH SCORE 56651.741
AT ITER 493 NEW BEST:: SOT 111418 SOS 62681 HAS SOPS 62681 HAS SOUS 56510 HAS SOUPS 56510 WITH SCORE 56572.681
AT ITER 501 NEW BEST:: SOT 111365 SOS 62628 HAS SOPS 62628 HAS SOUS 56399 HAS SOUPS 56399 WITH SCORE 56461.628
AT ITER 505 NEW BEST:: SOT 111365 SOS 62628 HAS SOPS 62628 HAS SOUS 56358 HAS SOUPS 56358 WITH SCORE 56420.628
AT ITER 506 NEW BEST:: SOT 111307 SOS 62506 HAS SOPS 62506 HAS SOUS 56166 HAS SOUPS 56166 WITH SCORE 56228.506
AT ITER 508 NEW BEST:: SOT 111291 SOS 62557 HAS SOPS 62557 HAS SOUS 56160 HAS SOUPS 56160 WITH SCORE 56222.557
AT ITER 509 NEW BEST:: SOT 111287 SOS 62545 HAS SOPS 62545 HAS SOUS 56152 HAS SOUPS 56152 WITH SCORE 56214.545
AT ITER 510 NEW BEST:: SOT 111238 SOS 62489 HAS SOPS 62489 HAS SOUS 56137 HAS SOUPS 56137 WITH SCORE 56199.489
AT ITER 511 NEW BEST:: SOT 111200 SOS 62454 HAS SOPS 62454 HAS SOUS 56105 HAS SOUPS 56105 WITH SCORE 56167.454
AT ITER 519 NEW BEST:: SOT 111184 SOS 62422 HAS SOPS 62422 HAS SOUS 56057 HAS SOUPS 56057 WITH SCORE 56119.422
AT ITER 534 NEW BEST:: SOT 111066 SOS 61980 HAS SOPS 61980 HAS SOUS 55747 HAS SOUPS 55747 WITH SCORE 55808.98
AT ITER 543 NEW BEST:: SOT 111066 SOS 61977 HAS SOPS 61977 HAS SOUS 55747 HAS SOUPS 55747 WITH SCORE 55808.977
AT ITER 544 NEW BEST:: SOT 111035 SOS 61946 HAS SOPS 61946 HAS SOUS 55716 HAS SOUPS 55716 WITH SCORE 55777.946
AT ITER 545 NEW BEST:: SOT 111053 SOS 62005 HAS SOPS 62005 HAS SOUS 55697 HAS SOUPS 55697 WITH SCORE 55759.005
AT ITER 551 NEW BEST:: SOT 110917 SOS 61717 HAS SOPS 61717 HAS SOUS 55493 HAS SOUPS 55493 WITH SCORE 55554.717
AT ITER 554 NEW BEST:: SOT 110875 SOS 61675 HAS SOPS 61675 HAS SOUS 55451 HAS SOUPS 55451 WITH SCORE 55512.675
AT ITER 556 NEW BEST:: SOT 110873 SOS 61673 HAS SOPS 61673 HAS SOUS 55449 HAS SOUPS 55449 WITH SCORE 55510.673
AT ITER 558 NEW BEST:: SOT 110805 SOS 61437 HAS SOPS 61437 HAS SOUS 55313 HAS SOUPS 55313 WITH SCORE 55374.437
AT ITER 559 NEW BEST:: SOT 110805 SOS 61536 HAS SOPS 61536 HAS SOUS 55311 HAS SOUPS 55311 WITH SCORE 55372.536
AT ITER 561 NEW BEST:: SOT 110790 SOS 61549 HAS SOPS 61549 HAS SOUS 55290 HAS SOUPS 55290 WITH SCORE 55351.549
AT ITER 564 NEW BEST:: SOT 110790 SOS 61445 HAS SOPS 61445 HAS SOUS 55275 HAS SOUPS 55275 WITH SCORE 55336.445
AT ITER 568 NEW BEST:: SOT 110773 SOS 61411 HAS SOPS 61411 HAS SOUS 55241 HAS SOUPS 55241 WITH SCORE 55302.411
AT ITER 573 NEW BEST:: SOT 110664 SOS 60984 HAS SOPS 60984 HAS SOUS 54951 HAS SOUPS 54951 WITH SCORE 55011.984
AT ITER 576 NEW BEST:: SOT 110495 SOS 60575 HAS SOPS 60575 HAS SOUS 54776 HAS SOUPS 54776 WITH SCORE 54836.575
AT ITER 580 NEW BEST:: SOT 110280 SOS 60162 HAS SOPS 60162 HAS SOUS 54181 HAS SOUPS 54181 WITH SCORE 54241.162
AT ITER 584 NEW BEST:: SOT 110201 SOS 60083 HAS SOPS 60083 HAS SOUS 54054 HAS SOUPS 54054 WITH SCORE 54114.083
AT ITER 590 NEW BEST:: SOT 110167 SOS 59973 HAS SOPS 59973 HAS SOUS 53945 HAS SOUPS 53945 WITH SCORE 54004.973
AT ITER 594 NEW BEST:: SOT 110083 SOS 59906 HAS SOPS 59906 HAS SOUS 53878 HAS SOUPS 53878 WITH SCORE 53937.906
AT ITER 595 NEW BEST:: SOT 110048 SOS 59871 HAS SOPS 59871 HAS SOUS 53843 HAS SOUPS 53843 WITH SCORE 53902.871
AT ITER 596 NEW BEST:: SOT 109982 SOS 59710 HAS SOPS 59710 HAS SOUS 53712 HAS SOUPS 53712 WITH SCORE 53771.71
AT ITER 601 NEW BEST:: SOT 109882 SOS 59462 HAS SOPS 59462 HAS SOUS 53442 HAS SOUPS 53442 WITH SCORE 53501.462
AT ITER 604 NEW BEST:: SOT 109870 SOS 59402 HAS SOPS 59402 HAS SOUS 53418 HAS SOUPS 53418 WITH SCORE 53477.402
AT ITER 607 NEW BEST:: SOT 109865 SOS 59363 HAS SOPS 59363 HAS SOUS 53379 HAS SOUPS 53379 WITH SCORE 53438.363
AT ITER 611 NEW BEST:: SOT 109808 SOS 59209 HAS SOPS 59209 HAS SOUS 53339 HAS SOUPS 53339 WITH SCORE 53398.209
AT ITER 614 NEW BEST:: SOT 109613 SOS 58909 HAS SOPS 58909 HAS SOUS 52987 HAS SOUPS 52987 WITH SCORE 53045.909
AT ITER 618 NEW BEST:: SOT 109506 SOS 58767 HAS SOPS 58767 HAS SOUS 52863 HAS SOUPS 52863 WITH SCORE 52921.767
AT ITER 619 NEW BEST:: SOT 109420 SOS 58638 HAS SOPS 58638 HAS SOUS 52734 HAS SOUPS 52734 WITH SCORE 52792.638
AT ITER 628 NEW BEST:: SOT 109447 SOS 58672 HAS SOPS 58672 HAS SOUS 52721 HAS SOUPS 52721 WITH SCORE 52779.672
AT ITER 632 NEW BEST:: SOT 109429 SOS 58474 HAS SOPS 58474 HAS SOUS 52715 HAS SOUPS 52715 WITH SCORE 52773.474
AT ITER 633 NEW BEST:: SOT 109349 SOS 58319 HAS SOPS 58319 HAS SOUS 52594 HAS SOUPS 52594 WITH SCORE 52652.319
AT ITER 641 NEW BEST:: SOT 109339 SOS 58270 HAS SOPS 58270 HAS SOUS 52574 HAS SOUPS 52574 WITH SCORE 52632.27
AT ITER 649 NEW BEST:: SOT 109211 SOS 58042 HAS SOPS 58042 HAS SOUS 52206 HAS SOUPS 52206 WITH SCORE 52264.042
AT ITER 650 NEW BEST:: SOT 109180 SOS 58019 HAS SOPS 58019 HAS SOUS 52182 HAS SOUPS 52182 WITH SCORE 52240.019
AT ITER 651 NEW BEST:: SOT 109180 SOS 58319 HAS SOPS 58319 HAS SOUS 52181 HAS SOUPS 52181 WITH SCORE 52239.319
AT ITER 652 NEW BEST:: SOT 109125 SOS 58264 HAS SOPS 58264 HAS SOUS 52099 HAS SOUPS 52099 WITH SCORE 52157.264
AT ITER 655 NEW BEST:: SOT 109125 SOS 58250 HAS SOPS 58250 HAS SOUS 52099 HAS SOUPS 52099 WITH SCORE 52157.25
AT ITER 658 NEW BEST:: SOT 109125 SOS 58248 HAS SOPS 58248 HAS SOUS 52097 HAS SOUPS 52097 WITH SCORE 52155.248
AT ITER 664 NEW BEST:: SOT 109122 SOS 58236 HAS SOPS 58236 HAS SOUS 52085 HAS SOUPS 52085 WITH SCORE 52143.236
AT ITER 670 NEW BEST:: SOT 109050 SOS 58079 HAS SOPS 58079 HAS SOUS 51801 HAS SOUPS 51801 WITH SCORE 51859.079
AT ITER 671 NEW BEST:: SOT 108849 SOS 57595 HAS SOPS 57595 HAS SOUS 51183 HAS SOUPS 51183 WITH SCORE 51240.595
AT ITER 680 NEW BEST:: SOT 108795 SOS 57433 HAS SOPS 57433 HAS SOUS 51021 HAS SOUPS 51021 WITH SCORE 51078.433
AT ITER 681 NEW BEST:: SOT 108795 SOS 57387 HAS SOPS 57387 HAS SOUS 50994 HAS SOUPS 50994 WITH SCORE 51051.387
AT ITER 690 NEW BEST:: SOT 108733 SOS 57279 HAS SOPS 57279 HAS SOUS 50957 HAS SOUPS 50957 WITH SCORE 51014.279
AT ITER 696 NEW BEST:: SOT 108721 SOS 57209 HAS SOPS 57209 HAS SOUS 50853 HAS SOUPS 50853 WITH SCORE 50910.209
AT ITER 697 NEW BEST:: SOT 108724 SOS 57242 HAS SOPS 57242 HAS SOUS 50762 HAS SOUPS 50762 WITH SCORE 50819.242
AT ITER 699 NEW BEST:: SOT 108626 SOS 56891 HAS SOPS 56891 HAS SOUS 50584 HAS SOUPS 50584 WITH SCORE 50640.891
AT ITER 700 NEW BEST:: SOT 108565 SOS 56827 HAS SOPS 56827 HAS SOUS 50517 HAS SOUPS 50517 WITH SCORE 50573.827
AT ITER 701 NEW BEST:: SOT 108506 SOS 56829 HAS SOPS 56829 HAS SOUS 50509 HAS SOUPS 50509 WITH SCORE 50565.829
AT ITER 704 NEW BEST:: SOT 108454 SOS 56767 HAS SOPS 56767 HAS SOUS 50471 HAS SOUPS 50471 WITH SCORE 50527.767
AT ITER 705 NEW BEST:: SOT 108418 SOS 56733 HAS SOPS 56733 HAS SOUS 50437 HAS SOUPS 50437 WITH SCORE 50493.733
AT ITER 714 NEW BEST:: SOT 108418 SOS 56727 HAS SOPS 56727 HAS SOUS 50370 HAS SOUPS 50370 WITH SCORE 50426.727
AT ITER 724 NEW BEST:: SOT 108431 SOS 56745 HAS SOPS 56745 HAS SOUS 50342 HAS SOUPS 50342 WITH SCORE 50398.745
AT ITER 726 NEW BEST:: SOT 108424 SOS 56724 HAS SOPS 56724 HAS SOUS 50335 HAS SOUPS 50335 WITH SCORE 50391.724
AT ITER 732 NEW BEST:: SOT 108279 SOS 56357 HAS SOPS 56357 HAS SOUS 50106 HAS SOUPS 50106 WITH SCORE 50162.357
AT ITER 733 NEW BEST:: SOT 108279 SOS 56357 HAS SOPS 56357 HAS SOUS 50099 HAS SOUPS 50099 WITH SCORE 50155.357
AT ITER 738 NEW BEST:: SOT 108095 SOS 56173 HAS SOPS 56173 HAS SOUS 49773 HAS SOUPS 49773 WITH SCORE 49829.173
AT ITER 742 NEW BEST:: SOT 108090 SOS 56168 HAS SOPS 56168 HAS SOUS 49768 HAS SOUPS 49768 WITH SCORE 49824.168
AT ITER 745 NEW BEST:: SOT 108044 SOS 55987 HAS SOPS 55987 HAS SOUS 49632 HAS SOUPS 49632 WITH SCORE 49687.987
AT ITER 751 NEW BEST:: SOT 108044 SOS 56009 HAS SOPS 56009 HAS SOUS 49624 HAS SOUPS 49624 WITH SCORE 49680.009
AT ITER 755 NEW BEST:: SOT 108029 SOS 55951 HAS SOPS 55951 HAS SOUS 49348 HAS SOUPS 49348 WITH SCORE 49403.951
AT ITER 758 NEW BEST:: SOT 107987 SOS 55867 HAS SOPS 55867 HAS SOUS 49222 HAS SOUPS 49222 WITH SCORE 49277.867
AT ITER 761 NEW BEST:: SOT 107969 SOS 55901 HAS SOPS 55901 HAS SOUS 49221 HAS SOUPS 49221 WITH SCORE 49276.901
AT ITER 768 NEW BEST:: SOT 107962 SOS 55693 HAS SOPS 55693 HAS SOUS 49129 HAS SOUPS 49129 WITH SCORE 49184.693
AT ITER 769 NEW BEST:: SOT 107912 SOS 55593 HAS SOPS 55593 HAS SOUS 49029 HAS SOUPS 49029 WITH SCORE 49084.593
AT ITER 770 NEW BEST:: SOT 107909 SOS 55582 HAS SOPS 55582 HAS SOUS 49024 HAS SOUPS 49024 WITH SCORE 49079.582
AT ITER 772 NEW BEST:: SOT 107835 SOS 55474 HAS SOPS 55474 HAS SOUS 48916 HAS SOUPS 48916 WITH SCORE 48971.474
AT ITER 776 NEW BEST:: SOT 107714 SOS 55140 HAS SOPS 55140 HAS SOUS 48661 HAS SOUPS 48661 WITH SCORE 48716.14
AT ITER 785 NEW BEST:: SOT 107702 SOS 55105 HAS SOPS 55105 HAS SOUS 48657 HAS SOUPS 48657 WITH SCORE 48712.105
AT ITER 787 NEW BEST:: SOT 107703 SOS 55099 HAS SOPS 55099 HAS SOUS 48651 HAS SOUPS 48651 WITH SCORE 48706.099
AT ITER 789 NEW BEST:: SOT 107562 SOS 54902 HAS SOPS 54902 HAS SOUS 48457 HAS SOUPS 48457 WITH SCORE 48511.902
AT ITER 793 NEW BEST:: SOT 107564 SOS 54998 HAS SOPS 54998 HAS SOUS 48409 HAS SOUPS 48409 WITH SCORE 48463.998
AT ITER 796 NEW BEST:: SOT 107324 SOS 54445 HAS SOPS 54445 HAS SOUS 48111 HAS SOUPS 48111 WITH SCORE 48165.445
AT ITER 797 NEW BEST:: SOT 107324 SOS 54443 HAS SOPS 54443 HAS SOUS 48111 HAS SOUPS 48111 WITH SCORE 48165.443
AT ITER 799 NEW BEST:: SOT 107309 SOS 54346 HAS SOPS 54346 HAS SOUS 47997 HAS SOUPS 47997 WITH SCORE 48051.346
AT ITER 813 NEW BEST:: SOT 107214 SOS 54251 HAS SOPS 54251 HAS SOUS 47902 HAS SOUPS 47902 WITH SCORE 47956.251
AT ITER 816 NEW BEST:: SOT 107159 SOS 54221 HAS SOPS 54221 HAS SOUS 47872 HAS SOUPS 47872 WITH SCORE 47926.221
AT ITER 819 NEW BEST:: SOT 107095 SOS 54125 HAS SOPS 54125 HAS SOUS 47776 HAS SOUPS 47776 WITH SCORE 47830.125
AT ITER 827 NEW BEST:: SOT 107080 SOS 54105 HAS SOPS 54105 HAS SOUS 47756 HAS SOUPS 47756 WITH SCORE 47810.105
AT ITER 828 NEW BEST:: SOT 107078 SOS 54221 HAS SOPS 54221 HAS SOUS 47701 HAS SOUPS 47701 WITH SCORE 47755.221
AT ITER 829 NEW BEST:: SOT 107075 SOS 54218 HAS SOPS 54218 HAS SOUS 47698 HAS SOUPS 47698 WITH SCORE 47752.218
AT ITER 833 NEW BEST:: SOT 106920 SOS 53929 HAS SOPS 53929 HAS SOUS 47409 HAS SOUPS 47409 WITH SCORE 47462.929
AT ITER 845 NEW BEST:: SOT 106910 SOS 53914 HAS SOPS 53914 HAS SOUS 47394 HAS SOUPS 47394 WITH SCORE 47447.914
AT ITER 847 NEW BEST:: SOT 106910 SOS 53840 HAS SOPS 53840 HAS SOUS 47357 HAS SOUPS 47357 WITH SCORE 47410.84
AT ITER 852 NEW BEST:: SOT 106796 SOS 53552 HAS SOPS 53552 HAS SOUS 47138 HAS SOUPS 47138 WITH SCORE 47191.552
AT ITER 857 NEW BEST:: SOT 106714 SOS 53365 HAS SOPS 53365 HAS SOUS 46856 HAS SOUPS 46856 WITH SCORE 46909.365
AT ITER 858 NEW BEST:: SOT 106665 SOS 53286 HAS SOPS 53286 HAS SOUS 46792 HAS SOUPS 46792 WITH SCORE 46845.286
AT ITER 872 NEW BEST:: SOT 106433 SOS 52927 HAS SOPS 52927 HAS SOUS 46433 HAS SOUPS 46433 WITH SCORE 46485.927
AT ITER 884 NEW BEST:: SOT 106401 SOS 52879 HAS SOPS 52879 HAS SOUS 46369 HAS SOUPS 46369 WITH SCORE 46421.879
AT ITER 891 NEW BEST:: SOT 106382 SOS 52835 HAS SOPS 52835 HAS SOUS 46351 HAS SOUPS 46351 WITH SCORE 46403.835
AT ITER 892 NEW BEST:: SOT 106167 SOS 52546 HAS SOPS 52546 HAS SOUS 46008 HAS SOUPS 46008 WITH SCORE 46060.546
AT ITER 895 NEW BEST:: SOT 106141 SOS 52499 HAS SOPS 52499 HAS SOUS 45961 HAS SOUPS 45961 WITH SCORE 46013.499
AT ITER 898 NEW BEST:: SOT 106111 SOS 52519 HAS SOPS 52519 HAS SOUS 45911 HAS SOUPS 45911 WITH SCORE 45963.519
AT ITER 902 NEW BEST:: SOT 106096 SOS 52504 HAS SOPS 52504 HAS SOUS 45896 HAS SOUPS 45896 WITH SCORE 45948.504
AT ITER 907 NEW BEST:: SOT 106030 SOS 52423 HAS SOPS 52423 HAS SOUS 45851 HAS SOUPS 45851 WITH SCORE 45903.423
AT ITER 908 NEW BEST:: SOT 106012 SOS 52405 HAS SOPS 52405 HAS SOUS 45819 HAS SOUPS 45819 WITH SCORE 45871.405
AT ITER 940 NEW BEST:: SOT 106012 SOS 52491 HAS SOPS 52491 HAS SOUS 45733 HAS SOUPS 45733 WITH SCORE 45785.491
AT ITER 941 NEW BEST:: SOT 105994 SOS 52473 HAS SOPS 52473 HAS SOUS 45715 HAS SOUPS 45715 WITH SCORE 45767.473
AT ITER 956 NEW BEST:: SOT 105974 SOS 52382 HAS SOPS 52382 HAS SOUS 45637 HAS SOUPS 45637 WITH SCORE 45689.382
AT ITER 957 NEW BEST:: SOT 105966 SOS 52374 HAS SOPS 52374 HAS SOUS 45629 HAS SOUPS 45629 WITH SCORE 45681.374
AT ITER 963 NEW BEST:: SOT 105966 SOS 52393 HAS SOPS 52393 HAS SOUS 45610 HAS SOUPS 45610 WITH SCORE 45662.393
AT ITER 964 NEW BEST:: SOT 105885 SOS 52261 HAS SOPS 52261 HAS SOUS 45478 HAS SOUPS 45478 WITH SCORE 45530.261
AT ITER 966 NEW BEST:: SOT 105885 SOS 52237 HAS SOPS 52237 HAS SOUS 45478 HAS SOUPS 45478 WITH SCORE 45530.237
AT ITER 969 NEW BEST:: SOT 105874 SOS 52197 HAS SOPS 52197 HAS SOUS 45445 HAS SOUPS 45445 WITH SCORE 45497.197
AT ITER 995 NEW BEST:: SOT 105874 SOS 52170 HAS SOPS 52170 HAS SOUS 45437 HAS SOUPS 45437 WITH SCORE 45489.17
AT ITER 1006 NEW BEST:: SOT 105805 SOS 52114 HAS SOPS 52114 HAS SOUS 45364 HAS SOUPS 45364 WITH SCORE 45416.114
AT ITER 1015 NEW BEST:: SOT 105787 SOS 52087 HAS SOPS 52087 HAS SOUS 45337 HAS SOUPS 45337 WITH SCORE 45389.087
AT ITER 1016 NEW BEST:: SOT 105784 SOS 52094 HAS SOPS 52094 HAS SOUS 45324 HAS SOUPS 45324 WITH SCORE 45376.094
AT ITER 1018 NEW BEST:: SOT 105768 SOS 52024 HAS SOPS 52024 HAS SOUS 45266 HAS SOUPS 45266 WITH SCORE 45318.024
AT ITER 1019 NEW BEST:: SOT 105638 SOS 51829 HAS SOPS 51829 HAS SOUS 45071 HAS SOUPS 45071 WITH SCORE 45122.829
AT ITER 1024 NEW BEST:: SOT 105522 SOS 51428 HAS SOPS 51428 HAS SOUS 44678 HAS SOUPS 44678 WITH SCORE 44729.428
AT ITER 1028 NEW BEST:: SOT 105365 SOS 51259 HAS SOPS 51259 HAS SOUS 44497 HAS SOUPS 44497 WITH SCORE 44548.259
AT ITER 1032 NEW BEST:: SOT 105210 SOS 51018 HAS SOPS 51018 HAS SOUS 44288 HAS SOUPS 44288 WITH SCORE 44339.018
AT ITER 1042 NEW BEST:: SOT 105181 SOS 50970 HAS SOPS 50970 HAS SOUS 44203 HAS SOUPS 44203 WITH SCORE 44253.97
AT ITER 1046 NEW BEST:: SOT 105136 SOS 50906 HAS SOPS 50906 HAS SOUS 44139 HAS SOUPS 44139 WITH SCORE 44189.906
AT ITER 1052 NEW BEST:: SOT 105126 SOS 50886 HAS SOPS 50886 HAS SOUS 44109 HAS SOUPS 44109 WITH SCORE 44159.886
AT ITER 1056 NEW BEST:: SOT 105072 SOS 50778 HAS SOPS 50778 HAS SOUS 44001 HAS SOUPS 44001 WITH SCORE 44051.778
AT ITER 1065 NEW BEST:: SOT 105104 SOS 50772 HAS SOPS 50772 HAS SOUS 43956 HAS SOUPS 43956 WITH SCORE 44006.772
AT ITER 1071 NEW BEST:: SOT 105086 SOS 50728 HAS SOPS 50728 HAS SOUS 43950 HAS SOUPS 43950 WITH SCORE 44000.728
AT ITER 1074 NEW BEST:: SOT 105086 SOS 50728 HAS SOPS 50728 HAS SOUS 43931 HAS SOUPS 43931 WITH SCORE 43981.728
AT ITER 1077 NEW BEST:: SOT 105044 SOS 50688 HAS SOPS 50688 HAS SOUS 43908 HAS SOUPS 43908 WITH SCORE 43958.688
AT ITER 1079 NEW BEST:: SOT 105016 SOS 50646 HAS SOPS 50646 HAS SOUS 43866 HAS SOUPS 43866 WITH SCORE 43916.646
AT ITER 1091 NEW BEST:: SOT 104990 SOS 50583 HAS SOPS 50583 HAS SOUS 43734 HAS SOUPS 43734 WITH SCORE 43784.583
AT ITER 1105 NEW BEST:: SOT 104984 SOS 50495 HAS SOPS 50495 HAS SOUS 43722 HAS SOUPS 43722 WITH SCORE 43772.495
AT ITER 1118 NEW BEST:: SOT 104992 SOS 50432 HAS SOPS 50432 HAS SOUS 43676 HAS SOUPS 43676 WITH SCORE 43726.432
AT ITER 1119 NEW BEST:: SOT 104990 SOS 50430 HAS SOPS 50430 HAS SOUS 43674 HAS SOUPS 43674 WITH SCORE 43724.43
AT ITER 1121 NEW BEST:: SOT 104952 SOS 50354 HAS SOPS 50354 HAS SOUS 43658 HAS SOUPS 43658 WITH SCORE 43708.354
AT ITER 1123 NEW BEST:: SOT 104900 SOS 50272 HAS SOPS 50272 HAS SOUS 43629 HAS SOUPS 43629 WITH SCORE 43679.272
AT ITER 1134 NEW BEST:: SOT 104861 SOS 50233 HAS SOPS 50233 HAS SOUS 43525 HAS SOUPS 43525 WITH SCORE 43575.233
AT ITER 1139 NEW BEST:: SOT 104838 SOS 50315 HAS SOPS 50315 HAS SOUS 43467 HAS SOUPS 43467 WITH SCORE 43517.315
AT ITER 1148 NEW BEST:: SOT 104838 SOS 50311 HAS SOPS 50311 HAS SOUS 43463 HAS SOUPS 43463 WITH SCORE 43513.311
AT ITER 1151 NEW BEST:: SOT 104838 SOS 50351 HAS SOPS 50351 HAS SOUS 43459 HAS SOUPS 43459 WITH SCORE 43509.351
AT ITER 1157 NEW BEST:: SOT 104838 SOS 50329 HAS SOPS 50329 HAS SOUS 43448 HAS SOUPS 43448 WITH SCORE 43498.329
AT ITER 1172 NEW BEST:: SOT 104814 SOS 50299 HAS SOPS 50299 HAS SOUS 43418 HAS SOUPS 43418 WITH SCORE 43468.299
AT ITER 1173 NEW BEST:: SOT 104764 SOS 50249 HAS SOPS 50249 HAS SOUS 43359 HAS SOUPS 43359 WITH SCORE 43409.249
AT ITER 1177 NEW BEST:: SOT 104762 SOS 50243 HAS SOPS 50243 HAS SOUS 43355 HAS SOUPS 43355 WITH SCORE 43405.243
AT ITER 1184 NEW BEST:: SOT 104628 SOS 49968 HAS SOPS 49968 HAS SOUS 43179 HAS SOUPS 43179 WITH SCORE 43228.968
AT ITER 1186 NEW BEST:: SOT 104630 SOS 49974 HAS SOPS 49974 HAS SOUS 43164 HAS SOUPS 43164 WITH SCORE 43213.974
AT ITER 1189 NEW BEST:: SOT 104539 SOS 49784 HAS SOPS 49784 HAS SOUS 43040 HAS SOUPS 43040 WITH SCORE 43089.784
AT ITER 1190 NEW BEST:: SOT 104454 SOS 49693 HAS SOPS 49693 HAS SOUS 42986 HAS SOUPS 42986 WITH SCORE 43035.693
AT ITER 1196 NEW BEST:: SOT 104163 SOS 49325 HAS SOPS 49325 HAS SOUS 42525 HAS SOUPS 42525 WITH SCORE 42574.325
AT ITER 1199 NEW BEST:: SOT 104176 SOS 49255 HAS SOPS 49255 HAS SOUS 42510 HAS SOUPS 42510 WITH SCORE 42559.255
AT ITER 1219 NEW BEST:: SOT 104144 SOS 49189 HAS SOPS 49189 HAS SOUS 42399 HAS SOUPS 42399 WITH SCORE 42448.189
AT ITER 1220 NEW BEST:: SOT 104138 SOS 49173 HAS SOPS 49173 HAS SOUS 42383 HAS SOUPS 42383 WITH SCORE 42432.173
AT ITER 1228 NEW BEST:: SOT 104138 SOS 49179 HAS SOPS 49179 HAS SOUS 42380 HAS SOUPS 42380 WITH SCORE 42429.179
AT ITER 1234 NEW BEST:: SOT 104107 SOS 49159 HAS SOPS 49159 HAS SOUS 42360 HAS SOUPS 42360 WITH SCORE 42409.159
AT ITER 1242 NEW BEST:: SOT 104107 SOS 49156 HAS SOPS 49156 HAS SOUS 42352 HAS SOUPS 42352 WITH SCORE 42401.156
AT ITER 1245 NEW BEST:: SOT 104127 SOS 49236 HAS SOPS 49236 HAS SOUS 42336 HAS SOUPS 42336 WITH SCORE 42385.236
AT ITER 1250 NEW BEST:: SOT 104135 SOS 49232 HAS SOPS 49232 HAS SOUS 42332 HAS SOUPS 42332 WITH SCORE 42381.232
AT ITER 1260 NEW BEST:: SOT 104046 SOS 49143 HAS SOPS 49143 HAS SOUS 42243 HAS SOUPS 42243 WITH SCORE 42292.143
AT ITER 1261 NEW BEST:: SOT 103875 SOS 48739 HAS SOPS 48739 HAS SOUS 41904 HAS SOUPS 41904 WITH SCORE 41952.739
AT ITER 1264 NEW BEST:: SOT 103874 SOS 48745 HAS SOPS 48745 HAS SOUS 41891 HAS SOUPS 41891 WITH SCORE 41939.745
AT ITER 1267 NEW BEST:: SOT 103734 SOS 48557 HAS SOPS 48557 HAS SOUS 41640 HAS SOUPS 41640 WITH SCORE 41688.557
AT ITER 1273 NEW BEST:: SOT 103672 SOS 48318 HAS SOPS 48318 HAS SOUS 41392 HAS SOUPS 41392 WITH SCORE 41440.318
AT ITER 1286 NEW BEST:: SOT 103395 SOS 47789 HAS SOPS 47789 HAS SOUS 41022 HAS SOUPS 41022 WITH SCORE 41069.789
AT ITER 1289 NEW BEST:: SOT 103380 SOS 47774 HAS SOPS 47774 HAS SOUS 41007 HAS SOUPS 41007 WITH SCORE 41054.774
AT ITER 1295 NEW BEST:: SOT 103394 SOS 47822 HAS SOPS 47822 HAS SOUS 40983 HAS SOUPS 40983 WITH SCORE 41030.822
AT ITER 1296 NEW BEST:: SOT 103350 SOS 47765 HAS SOPS 47765 HAS SOUS 40926 HAS SOUPS 40926 WITH SCORE 40973.765
AT ITER 1300 NEW BEST:: SOT 103332 SOS 47747 HAS SOPS 47747 HAS SOUS 40899 HAS SOUPS 40899 WITH SCORE 40946.747
AT ITER 1302 NEW BEST:: SOT 103328 SOS 47681 HAS SOPS 47681 HAS SOUS 40862 HAS SOUPS 40862 WITH SCORE 40909.681
AT ITER 1333 NEW BEST:: SOT 103328 SOS 47672 HAS SOPS 47672 HAS SOUS 40862 HAS SOUPS 40862 WITH SCORE 40909.672
AT ITER 1344 NEW BEST:: SOT 103327 SOS 47669 HAS SOPS 47669 HAS SOUS 40861 HAS SOUPS 40861 WITH SCORE 40908.669
AT ITER 1347 NEW BEST:: SOT 103327 SOS 47689 HAS SOPS 47689 HAS SOUS 40842 HAS SOUPS 40842 WITH SCORE 40889.689
AT ITER 1348 NEW BEST:: SOT 103344 SOS 47680 HAS SOPS 47680 HAS SOUS 40818 HAS SOUPS 40818 WITH SCORE 40865.68
AT ITER 1361 NEW BEST:: SOT 103322 SOS 47570 HAS SOPS 47570 HAS SOUS 40774 HAS SOUPS 40774 WITH SCORE 40821.57
AT ITER 1362 NEW BEST:: SOT 103243 SOS 47453 HAS SOPS 47453 HAS SOUS 40758 HAS SOUPS 40758 WITH SCORE 40805.453
AT ITER 1387 NEW BEST:: SOT 103213 SOS 47413 HAS SOPS 47413 HAS SOUS 40717 HAS SOUPS 40717 WITH SCORE 40764.413
AT ITER 1392 NEW BEST:: SOT 103210 SOS 47409 HAS SOPS 47409 HAS SOUS 40713 HAS SOUPS 40713 WITH SCORE 40760.409
AT ITER 1423 NEW BEST:: SOT 103212 SOS 47370 HAS SOPS 47370 HAS SOUS 40703 HAS SOUPS 40703 WITH SCORE 40750.37
AT ITER 1431 NEW BEST:: SOT 103018 SOS 47144 HAS SOPS 47144 HAS SOUS 40445 HAS SOUPS 40445 WITH SCORE 40492.144
AT ITER 1442 NEW BEST:: SOT 103043 SOS 47132 HAS SOPS 47132 HAS SOUS 40433 HAS SOUPS 40433 WITH SCORE 40480.132
AT ITER 1470 NEW BEST:: SOT 103043 SOS 47213 HAS SOPS 47213 HAS SOUS 40432 HAS SOUPS 40432 WITH SCORE 40479.213
AT ITER 1481 NEW BEST:: SOT 102867 SOS 46889 HAS SOPS 46889 HAS SOUS 40090 HAS SOUPS 40090 WITH SCORE 40136.889
AT ITER 1483 NEW BEST:: SOT 102863 SOS 46883 HAS SOPS 46883 HAS SOUS 40084 HAS SOUPS 40084 WITH SCORE 40130.883
AT ITER 1486 NEW BEST:: SOT 102820 SOS 46840 HAS SOPS 46840 HAS SOUS 40064 HAS SOUPS 40064 WITH SCORE 40110.84
AT ITER 1489 NEW BEST:: SOT 102789 SOS 46809 HAS SOPS 46809 HAS SOUS 40015 HAS SOUPS 40015 WITH SCORE 40061.809
AT ITER 1491 NEW BEST:: SOT 102785 SOS 46805 HAS SOPS 46805 HAS SOUS 40011 HAS SOUPS 40011 WITH SCORE 40057.805
AT ITER 1496 NEW BEST:: SOT 102773 SOS 46789 HAS SOPS 46789 HAS SOUS 39995 HAS SOUPS 39995 WITH SCORE 40041.789
AT ITER 1501 NEW BEST:: SOT 102739 SOS 46545 HAS SOPS 46545 HAS SOUS 39831 HAS SOUPS 39831 WITH SCORE 39877.545
AT ITER 1513 NEW BEST:: SOT 102710 SOS 46454 HAS SOPS 46454 HAS SOUS 39802 HAS SOUPS 39802 WITH SCORE 39848.454
AT ITER 1531 NEW BEST:: SOT 102678 SOS 46422 HAS SOPS 46422 HAS SOUS 39770 HAS SOUPS 39770 WITH SCORE 39816.422
AT ITER 1537 NEW BEST:: SOT 102674 SOS 46418 HAS SOPS 46418 HAS SOUS 39764 HAS SOUPS 39764 WITH SCORE 39810.418
AT ITER 1538 NEW BEST:: SOT 102637 SOS 46401 HAS SOPS 46401 HAS SOUS 39706 HAS SOUPS 39706 WITH SCORE 39752.401
AT ITER 1568 NEW BEST:: SOT 102530 SOS 46064 HAS SOPS 46064 HAS SOUS 39484 HAS SOUPS 39484 WITH SCORE 39530.064
AT ITER 1573 NEW BEST:: SOT 102470 SOS 45984 HAS SOPS 45984 HAS SOUS 39396 HAS SOUPS 39396 WITH SCORE 39441.984
AT ITER 1574 NEW BEST:: SOT 102362 SOS 45444 HAS SOPS 45444 HAS SOUS 39180 HAS SOUPS 39180 WITH SCORE 39225.444
AT ITER 1576 NEW BEST:: SOT 102345 SOS 45396 HAS SOPS 45396 HAS SOUS 39129 HAS SOUPS 39129 WITH SCORE 39174.396
AT ITER 1579 NEW BEST:: SOT 102352 SOS 45403 HAS SOPS 45403 HAS SOUS 39118 HAS SOUPS 39118 WITH SCORE 39163.403
AT ITER 1582 NEW BEST:: SOT 102342 SOS 45393 HAS SOPS 45393 HAS SOUS 39108 HAS SOUPS 39108 WITH SCORE 39153.393
AT ITER 1589 NEW BEST:: SOT 102276 SOS 45232 HAS SOPS 45232 HAS SOUS 38994 HAS SOUPS 38994 WITH SCORE 39039.232
AT ITER 1594 NEW BEST:: SOT 102276 SOS 45232 HAS SOPS 45232 HAS SOUS 38986 HAS SOUPS 38986 WITH SCORE 39031.232
AT ITER 1596 NEW BEST:: SOT 102276 SOS 45231 HAS SOPS 45231 HAS SOUS 38974 HAS SOUPS 38974 WITH SCORE 39019.231
AT ITER 1601 NEW BEST:: SOT 102267 SOS 45195 HAS SOPS 45195 HAS SOUS 38947 HAS SOUPS 38947 WITH SCORE 38992.195
AT ITER 1607 NEW BEST:: SOT 102047 SOS 44867 HAS SOPS 44867 HAS SOUS 38689 HAS SOUPS 38689 WITH SCORE 38733.867
AT ITER 1612 NEW BEST:: SOT 102039 SOS 44839 HAS SOPS 44839 HAS SOUS 38673 HAS SOUPS 38673 WITH SCORE 38717.839
AT ITER 1633 NEW BEST:: SOT 102030 SOS 44822 HAS SOPS 44822 HAS SOUS 38666 HAS SOUPS 38666 WITH SCORE 38710.822
AT ITER 1639 NEW BEST:: SOT 102030 SOS 44788 HAS SOPS 44788 HAS SOUS 38660 HAS SOUPS 38660 WITH SCORE 38704.788
AT ITER 1649 NEW BEST:: SOT 101991 SOS 44644 HAS SOPS 44644 HAS SOUS 38569 HAS SOUPS 38569 WITH SCORE 38613.644
AT ITER 1650 NEW BEST:: SOT 101936 SOS 44551 HAS SOPS 44551 HAS SOUS 38457 HAS SOUPS 38457 WITH SCORE 38501.551
AT ITER 1654 NEW BEST:: SOT 101932 SOS 44535 HAS SOPS 44535 HAS SOUS 38445 HAS SOUPS 38445 WITH SCORE 38489.535
AT ITER 1663 NEW BEST:: SOT 101932 SOS 44540 HAS SOPS 44540 HAS SOUS 38440 HAS SOUPS 38440 WITH SCORE 38484.54
AT ITER 1670 NEW BEST:: SOT 101926 SOS 44528 HAS SOPS 44528 HAS SOUS 38427 HAS SOUPS 38427 WITH SCORE 38471.528
AT ITER 1674 NEW BEST:: SOT 101903 SOS 44508 HAS SOPS 44508 HAS SOUS 38381 HAS SOUPS 38381 WITH SCORE 38425.508
AT ITER 1676 NEW BEST:: SOT 101891 SOS 44493 HAS SOPS 44493 HAS SOUS 38366 HAS SOUPS 38366 WITH SCORE 38410.493
AT ITER 1679 NEW BEST:: SOT 101859 SOS 44420 HAS SOPS 44420 HAS SOUS 38295 HAS SOUPS 38295 WITH SCORE 38339.42
AT ITER 1691 NEW BEST:: SOT 101783 SOS 44367 HAS SOPS 44367 HAS SOUS 38247 HAS SOUPS 38247 WITH SCORE 38291.367
AT ITER 1698 NEW BEST:: SOT 101781 SOS 44365 HAS SOPS 44365 HAS SOUS 38244 HAS SOUPS 38244 WITH SCORE 38288.365
AT ITER 1699 NEW BEST:: SOT 101755 SOS 44336 HAS SOPS 44336 HAS SOUS 38212 HAS SOUPS 38212 WITH SCORE 38256.336
AT ITER 1715 NEW BEST:: SOT 101730 SOS 44261 HAS SOPS 44261 HAS SOUS 38195 HAS SOUPS 38195 WITH SCORE 38239.261
AT ITER 1719 NEW BEST:: SOT 101730 SOS 44259 HAS SOPS 44259 HAS SOUS 38195 HAS SOUPS 38195 WITH SCORE 38239.259
AT ITER 1742 NEW BEST:: SOT 101730 SOS 44241 HAS SOPS 44241 HAS SOUS 38189 HAS SOUPS 38189 WITH SCORE 38233.241
AT ITER 1759 NEW BEST:: SOT 101720 SOS 44200 HAS SOPS 44200 HAS SOUS 38171 HAS SOUPS 38171 WITH SCORE 38215.2
AT ITER 1779 NEW BEST:: SOT 101640 SOS 43975 HAS SOPS 43975 HAS SOUS 38029 HAS SOUPS 38029 WITH SCORE 38072.975
AT ITER 1785 NEW BEST:: SOT 101618 SOS 43930 HAS SOPS 43930 HAS SOUS 37984 HAS SOUPS 37984 WITH SCORE 38027.93
AT ITER 1788 NEW BEST:: SOT 101618 SOS 43862 HAS SOPS 43862 HAS SOUS 37944 HAS SOUPS 37944 WITH SCORE 37987.862
AT ITER 1793 NEW BEST:: SOT 101618 SOS 43500 HAS SOPS 43500 HAS SOUS 37836 HAS SOUPS 37836 WITH SCORE 37879.5
AT ITER 1798 NEW BEST:: SOT 101623 SOS 43519 HAS SOPS 43519 HAS SOUS 37818 HAS SOUPS 37818 WITH SCORE 37861.519
AT ITER 1803 NEW BEST:: SOT 101556 SOS 43494 HAS SOPS 43494 HAS SOUS 37792 HAS SOUPS 37792 WITH SCORE 37835.494
AT ITER 1821 NEW BEST:: SOT 101536 SOS 43464 HAS SOPS 43464 HAS SOUS 37762 HAS SOUPS 37762 WITH SCORE 37805.464
AT ITER 1829 NEW BEST:: SOT 101551 SOS 43479 HAS SOPS 43479 HAS SOUS 37751 HAS SOUPS 37751 WITH SCORE 37794.479
AT ITER 1833 NEW BEST:: SOT 101512 SOS 43444 HAS SOPS 43444 HAS SOUS 37743 HAS SOUPS 37743 WITH SCORE 37786.444
AT ITER 1836 NEW BEST:: SOT 101494 SOS 43358 HAS SOPS 43358 HAS SOUS 37651 HAS SOUPS 37651 WITH SCORE 37694.358
AT ITER 1869 NEW BEST:: SOT 101464 SOS 43212 HAS SOPS 43212 HAS SOUS 37547 HAS SOUPS 37547 WITH SCORE 37590.212
AT ITER 1871 NEW BEST:: SOT 101495 SOS 43240 HAS SOPS 43240 HAS SOUS 37539 HAS SOUPS 37539 WITH SCORE 37582.24
AT ITER 1875 NEW BEST:: SOT 101454 SOS 43165 HAS SOPS 43165 HAS SOUS 37514 HAS SOUPS 37514 WITH SCORE 37557.165
AT ITER 1876 NEW BEST:: SOT 101382 SOS 42921 HAS SOPS 42921 HAS SOUS 37386 HAS SOUPS 37386 WITH SCORE 37428.921
AT ITER 1877 NEW BEST:: SOT 101382 SOS 42918 HAS SOPS 42918 HAS SOUS 37384 HAS SOUPS 37384 WITH SCORE 37426.918
AT ITER 1878 NEW BEST:: SOT 101315 SOS 42818 HAS SOPS 42818 HAS SOUS 37248 HAS SOUPS 37248 WITH SCORE 37290.818
AT ITER 1884 NEW BEST:: SOT 101237 SOS 42649 HAS SOPS 42649 HAS SOUS 37087 HAS SOUPS 37087 WITH SCORE 37129.649
AT ITER 1896 NEW BEST:: SOT 101223 SOS 42575 HAS SOPS 42575 HAS SOUS 37083 HAS SOUPS 37083 WITH SCORE 37125.575
AT ITER 1921 NEW BEST:: SOT 101192 SOS 42433 HAS SOPS 42433 HAS SOUS 36958 HAS SOUPS 36958 WITH SCORE 37000.433
AT ITER 1934 NEW BEST:: SOT 101192 SOS 42417 HAS SOPS 42417 HAS SOUS 36950 HAS SOUPS 36950 WITH SCORE 36992.417
AT ITER 1935 NEW BEST:: SOT 101186 SOS 42397 HAS SOPS 42397 HAS SOUS 36949 HAS SOUPS 36949 WITH SCORE 36991.397
AT ITER 1944 NEW BEST:: SOT 100912 SOS 41843 HAS SOPS 41843 HAS SOUS 36672 HAS SOUPS 36672 WITH SCORE 36713.843
AT ITER 1950 NEW BEST:: SOT 100900 SOS 41817 HAS SOPS 41817 HAS SOUS 36646 HAS SOUPS 36646 WITH SCORE 36687.817
AT ITER 1959 NEW BEST:: SOT 100889 SOS 41785 HAS SOPS 41785 HAS SOUS 36628 HAS SOUPS 36628 WITH SCORE 36669.785
AT ITER 1966 NEW BEST:: SOT 100895 SOS 41804 HAS SOPS 41804 HAS SOUS 36627 HAS SOUPS 36627 WITH SCORE 36668.804
AT ITER 1969 NEW BEST:: SOT 100817 SOS 41726 HAS SOPS 41726 HAS SOUS 36549 HAS SOUPS 36549 WITH SCORE 36590.726
AT ITER 1973 NEW BEST:: SOT 100796 SOS 41689 HAS SOPS 41689 HAS SOUS 36508 HAS SOUPS 36508 WITH SCORE 36549.689
AT ITER 1980 NEW BEST:: SOT 100720 SOS 41577 HAS SOPS 41577 HAS SOUS 36373 HAS SOUPS 36373 WITH SCORE 36414.577
AT ITER 1983 NEW BEST:: SOT 100701 SOS 41558 HAS SOPS 41558 HAS SOUS 36354 HAS SOUPS 36354 WITH SCORE 36395.558
AT ITER 1987 NEW BEST:: SOT 100701 SOS 41480 HAS SOPS 41480 HAS SOUS 36276 HAS SOUPS 36276 WITH SCORE 36317.48
AT ITER 1988 NEW BEST:: SOT 100675 SOS 41454 HAS SOPS 41454 HAS SOUS 36250 HAS SOUPS 36250 WITH SCORE 36291.454
AT ITER 2027 NEW BEST:: SOT 100688 SOS 41467 HAS SOPS 41467 HAS SOUS 36235 HAS SOUPS 36235 WITH SCORE 36276.467
AT ITER 2034 NEW BEST:: SOT 100654 SOS 41408 HAS SOPS 41408 HAS SOUS 36180 HAS SOUPS 36180 WITH SCORE 36221.408
AT ITER 2040 NEW BEST:: SOT 100622 SOS 41280 HAS SOPS 41280 HAS SOUS 36116 HAS SOUPS 36116 WITH SCORE 36157.28
AT ITER 2045 NEW BEST:: SOT 100612 SOS 41250 HAS SOPS 41250 HAS SOUS 36096 HAS SOUPS 36096 WITH SCORE 36137.25
AT ITER 2051 NEW BEST:: SOT 100638 SOS 41276 HAS SOPS 41276 HAS SOUS 36078 HAS SOUPS 36078 WITH SCORE 36119.276
AT ITER 2058 NEW BEST:: SOT 100596 SOS 41220 HAS SOPS 41220 HAS SOUS 36022 HAS SOUPS 36022 WITH SCORE 36063.22
AT ITER 2059 NEW BEST:: SOT 100562 SOS 41086 HAS SOPS 41086 HAS SOUS 35857 HAS SOUPS 35857 WITH SCORE 35898.086
AT ITER 2070 NEW BEST:: SOT 100482 SOS 40926 HAS SOPS 40926 HAS SOUS 35697 HAS SOUPS 35697 WITH SCORE 35737.926
AT ITER 2084 NEW BEST:: SOT 100457 SOS 40901 HAS SOPS 40901 HAS SOUS 35685 HAS SOUPS 35685 WITH SCORE 35725.901
AT ITER 2100 NEW BEST:: SOT 100349 SOS 40397 HAS SOPS 40397 HAS SOUS 35481 HAS SOUPS 35481 WITH SCORE 35521.397
AT ITER 2120 NEW BEST:: SOT 100283 SOS 40288 HAS SOPS 40288 HAS SOUS 35333 HAS SOUPS 35333 WITH SCORE 35373.288
AT ITER 2121 NEW BEST:: SOT 100288 SOS 40260 HAS SOPS 40260 HAS SOUS 35222 HAS SOUPS 35222 WITH SCORE 35262.26
AT ITER 2122 NEW BEST:: SOT 100268 SOS 40230 HAS SOPS 40230 HAS SOUS 35192 HAS SOUPS 35192 WITH SCORE 35232.23
AT ITER 2134 NEW BEST:: SOT 100217 SOS 39963 HAS SOPS 39963 HAS SOUS 35139 HAS SOUPS 35139 WITH SCORE 35178.963
AT ITER 2136 NEW BEST:: SOT 100199 SOS 39945 HAS SOPS 39945 HAS SOUS 35121 HAS SOUPS 35121 WITH SCORE 35160.945
AT ITER 2161 NEW BEST:: SOT 100163 SOS 39887 HAS SOPS 39887 HAS SOUS 35058 HAS SOUPS 35058 WITH SCORE 35097.887
AT ITER 2165 NEW BEST:: SOT 100154 SOS 39875 HAS SOPS 39875 HAS SOUS 35046 HAS SOUPS 35046 WITH SCORE 35085.875
AT ITER 2174 NEW BEST:: SOT 100154 SOS 39875 HAS SOPS 39875 HAS SOUS 35040 HAS SOUPS 35040 WITH SCORE 35079.875
AT ITER 2179 NEW BEST:: SOT 100148 SOS 39869 HAS SOPS 39869 HAS SOUS 34972 HAS SOUPS 34972 WITH SCORE 35011.869
AT ITER 2193 NEW BEST:: SOT 100160 SOS 39873 HAS SOPS 39873 HAS SOUS 34956 HAS SOUPS 34956 WITH SCORE 34995.873
AT ITER 2200 NEW BEST:: SOT 100097 SOS 39935 HAS SOPS 39935 HAS SOUS 34953 HAS SOUPS 34953 WITH SCORE 34992.935
AT ITER 2214 NEW BEST:: SOT 100093 SOS 39915 HAS SOPS 39915 HAS SOUS 34945 HAS SOUPS 34945 WITH SCORE 34984.915
AT ITER 2220 NEW BEST:: SOT 100109 SOS 39842 HAS SOPS 39842 HAS SOUS 34937 HAS SOUPS 34937 WITH SCORE 34976.842
AT ITER 2232 NEW BEST:: SOT 100082 SOS 39797 HAS SOPS 39797 HAS SOUS 34883 HAS SOUPS 34883 WITH SCORE 34922.797
AT ITER 2235 NEW BEST:: SOT 100073 SOS 39761 HAS SOPS 39761 HAS SOUS 34865 HAS SOUPS 34865 WITH SCORE 34904.761
AT ITER 2252 NEW BEST:: SOT 100036 SOS 39718 HAS SOPS 39718 HAS SOUS 34793 HAS SOUPS 34793 WITH SCORE 34832.718
AT ITER 2257 NEW BEST:: SOT 100016 SOS 39668 HAS SOPS 39668 HAS SOUS 34753 HAS SOUPS 34753 WITH SCORE 34792.668
AT ITER 2263 NEW BEST:: SOT 99986 SOS 39628 HAS SOPS 39628 HAS SOUS 34703 HAS SOUPS 34703 WITH SCORE 34742.628
AT ITER 2265 NEW BEST:: SOT 99994 SOS 39615 HAS SOPS 39615 HAS SOUS 34693 HAS SOUPS 34693 WITH SCORE 34732.615
AT ITER 2267 NEW BEST:: SOT 99963 SOS 39584 HAS SOPS 39584 HAS SOUS 34693 HAS SOUPS 34693 WITH SCORE 34732.584
AT ITER 2269 NEW BEST:: SOT 99925 SOS 39441 HAS SOPS 39441 HAS SOUS 34569 HAS SOUPS 34569 WITH SCORE 34608.441
AT ITER 2272 NEW BEST:: SOT 99909 SOS 39395 HAS SOPS 39395 HAS SOUS 34559 HAS SOUPS 34559 WITH SCORE 34598.395
AT ITER 2278 NEW BEST:: SOT 99879 SOS 39353 HAS SOPS 39353 HAS SOUS 34517 HAS SOUPS 34517 WITH SCORE 34556.353
AT ITER 2290 NEW BEST:: SOT 99839 SOS 39313 HAS SOPS 39313 HAS SOUS 34494 HAS SOUPS 34494 WITH SCORE 34533.313
AT ITER 2291 NEW BEST:: SOT 99803 SOS 39247 HAS SOPS 39247 HAS SOUS 34437 HAS SOUPS 34437 WITH SCORE 34476.247
AT ITER 2299 NEW BEST:: SOT 99763 SOS 39147 HAS SOPS 39147 HAS SOUS 34377 HAS SOUPS 34377 WITH SCORE 34416.147
AT ITER 2306 NEW BEST:: SOT 99757 SOS 39163 HAS SOPS 39163 HAS SOUS 34357 HAS SOUPS 34357 WITH SCORE 34396.163
AT ITER 2322 NEW BEST:: SOT 99763 SOS 39162 HAS SOPS 39162 HAS SOUS 34356 HAS SOUPS 34356 WITH SCORE 34395.162
AT ITER 2344 NEW BEST:: SOT 99645 SOS 38980 HAS SOPS 38980 HAS SOUS 34201 HAS SOUPS 34201 WITH SCORE 34239.98
AT ITER 2370 NEW BEST:: SOT 99524 SOS 38824 HAS SOPS 38824 HAS SOUS 34046 HAS SOUPS 34046 WITH SCORE 34084.824
AT ITER 2384 NEW BEST:: SOT 99478 SOS 38778 HAS SOPS 38778 HAS SOUS 34000 HAS SOUPS 34000 WITH SCORE 34038.778
AT ITER 2392 NEW BEST:: SOT 99326 SOS 38588 HAS SOPS 38588 HAS SOUS 33798 HAS SOUPS 33798 WITH SCORE 33836.588
AT ITER 2407 NEW BEST:: SOT 99299 SOS 38552 HAS SOPS 38552 HAS SOUS 33762 HAS SOUPS 33762 WITH SCORE 33800.552
AT ITER 2409 NEW BEST:: SOT 99265 SOS 38467 HAS SOPS 38467 HAS SOUS 33711 HAS SOUPS 33711 WITH SCORE 33749.467
AT ITER 2420 NEW BEST:: SOT 99265 SOS 38457 HAS SOPS 38457 HAS SOUS 33711 HAS SOUPS 33711 WITH SCORE 33749.457
AT ITER 2422 NEW BEST:: SOT 99196 SOS 38210 HAS SOPS 38210 HAS SOUS 33564 HAS SOUPS 33564 WITH SCORE 33602.21
AT ITER 2446 NEW BEST:: SOT 99196 SOS 38284 HAS SOPS 38284 HAS SOUS 33546 HAS SOUPS 33546 WITH SCORE 33584.284
AT ITER 2462 NEW BEST:: SOT 99193 SOS 38361 HAS SOPS 38361 HAS SOUS 33541 HAS SOUPS 33541 WITH SCORE 33579.361
AT ITER 2467 NEW BEST:: SOT 99188 SOS 38346 HAS SOPS 38346 HAS SOUS 33539 HAS SOUPS 33539 WITH SCORE 33577.346
AT ITER 2470 NEW BEST:: SOT 99188 SOS 38340 HAS SOPS 38340 HAS SOUS 33533 HAS SOUPS 33533 WITH SCORE 33571.34
AT ITER 2506 NEW BEST:: SOT 99186 SOS 38341 HAS SOPS 38341 HAS SOUS 33520 HAS SOUPS 33520 WITH SCORE 33558.341
AT ITER 2512 NEW BEST:: SOT 99069 SOS 38246 HAS SOPS 38246 HAS SOUS 33491 HAS SOUPS 33491 WITH SCORE 33529.246
AT ITER 2517 NEW BEST:: SOT 99076 SOS 38244 HAS SOPS 38244 HAS SOUS 33491 HAS SOUPS 33491 WITH SCORE 33529.244
AT ITER 2522 NEW BEST:: SOT 99076 SOS 38244 HAS SOPS 38244 HAS SOUS 33485 HAS SOUPS 33485 WITH SCORE 33523.244
AT ITER 2533 NEW BEST:: SOT 99046 SOS 38204 HAS SOPS 38204 HAS SOUS 33445 HAS SOUPS 33445 WITH SCORE 33483.204
AT ITER 2549 NEW BEST:: SOT 99010 SOS 38319 HAS SOPS 38319 HAS SOUS 33434 HAS SOUPS 33434 WITH SCORE 33472.319
AT ITER 2561 NEW BEST:: SOT 98996 SOS 38296 HAS SOPS 38296 HAS SOUS 33411 HAS SOUPS 33411 WITH SCORE 33449.296
AT ITER 2574 NEW BEST:: SOT 98903 SOS 38119 HAS SOPS 38119 HAS SOUS 33249 HAS SOUPS 33249 WITH SCORE 33287.119
AT ITER 2583 NEW BEST:: SOT 98903 SOS 38209 HAS SOPS 38209 HAS SOUS 33239 HAS SOUPS 33239 WITH SCORE 33277.209
AT ITER 2593 NEW BEST:: SOT 98737 SOS 37992 HAS SOPS 37992 HAS SOUS 32989 HAS SOUPS 32989 WITH SCORE 33026.992
AT ITER 2600 NEW BEST:: SOT 98737 SOS 37991 HAS SOPS 37991 HAS SOUS 32989 HAS SOUPS 32989 WITH SCORE 33026.991
AT ITER 2606 NEW BEST:: SOT 98781 SOS 37904 HAS SOPS 37904 HAS SOUS 32979 HAS SOUPS 32979 WITH SCORE 33016.904
AT ITER 2611 NEW BEST:: SOT 98725 SOS 37693 HAS SOPS 37693 HAS SOUS 32844 HAS SOUPS 32844 WITH SCORE 32881.693
AT ITER 2623 NEW BEST:: SOT 98717 SOS 37669 HAS SOPS 37669 HAS SOUS 32820 HAS SOUPS 32820 WITH SCORE 32857.669
AT ITER 2642 NEW BEST:: SOT 98715 SOS 37667 HAS SOPS 37667 HAS SOUS 32820 HAS SOUPS 32820 WITH SCORE 32857.667
AT ITER 2650 NEW BEST:: SOT 98712 SOS 37648 HAS SOPS 37648 HAS SOUS 32801 HAS SOUPS 32801 WITH SCORE 32838.648
AT ITER 2652 NEW BEST:: SOT 98693 SOS 37622 HAS SOPS 37622 HAS SOUS 32775 HAS SOUPS 32775 WITH SCORE 32812.622
AT ITER 2671 NEW BEST:: SOT 98693 SOS 37671 HAS SOPS 37671 HAS SOUS 32773 HAS SOUPS 32773 WITH SCORE 32810.671
AT ITER 2690 NEW BEST:: SOT 98636 SOS 37590 HAS SOPS 37590 HAS SOUS 32692 HAS SOUPS 32692 WITH SCORE 32729.59
AT ITER 2698 NEW BEST:: SOT 98636 SOS 37524 HAS SOPS 37524 HAS SOUS 32674 HAS SOUPS 32674 WITH SCORE 32711.524
AT ITER 2700 NEW BEST:: SOT 98613 SOS 37544 HAS SOPS 37544 HAS SOUS 32659 HAS SOUPS 32659 WITH SCORE 32696.544
AT ITER 2720 NEW BEST:: SOT 98609 SOS 37434 HAS SOPS 37434 HAS SOUS 32641 HAS SOUPS 32641 WITH SCORE 32678.434
AT ITER 2727 NEW BEST:: SOT 98588 SOS 37388 HAS SOPS 37388 HAS SOUS 32605 HAS SOUPS 32605 WITH SCORE 32642.388
AT ITER 2732 NEW BEST:: SOT 98552 SOS 37310 HAS SOPS 37310 HAS SOUS 32519 HAS SOUPS 32519 WITH SCORE 32556.31
AT ITER 2735 NEW BEST:: SOT 98506 SOS 37264 HAS SOPS 37264 HAS SOUS 32454 HAS SOUPS 32454 WITH SCORE 32491.264
AT ITER 2742 NEW BEST:: SOT 98500 SOS 37240 HAS SOPS 37240 HAS SOUS 32450 HAS SOUPS 32450 WITH SCORE 32487.24
AT ITER 2778 NEW BEST:: SOT 98429 SOS 37071 HAS SOPS 37071 HAS SOUS 32330 HAS SOUPS 32330 WITH SCORE 32367.071
AT ITER 2789 NEW BEST:: SOT 98429 SOS 37025 HAS SOPS 37025 HAS SOUS 32304 HAS SOUPS 32304 WITH SCORE 32341.025
AT ITER 2802 NEW BEST:: SOT 98351 SOS 36802 HAS SOPS 36802 HAS SOUS 32093 HAS SOUPS 32093 WITH SCORE 32129.802
AT ITER 2804 NEW BEST:: SOT 98347 SOS 36798 HAS SOPS 36798 HAS SOUS 32089 HAS SOUPS 32089 WITH SCORE 32125.798
AT ITER 2815 NEW BEST:: SOT 98212 SOS 36579 HAS SOPS 36579 HAS SOUS 31895 HAS SOUPS 31895 WITH SCORE 31931.579
AT ITER 2864 NEW BEST:: SOT 98200 SOS 36303 HAS SOPS 36303 HAS SOUS 31721 HAS SOUPS 31721 WITH SCORE 31757.303
AT ITER 2868 NEW BEST:: SOT 98188 SOS 36291 HAS SOPS 36291 HAS SOUS 31709 HAS SOUPS 31709 WITH SCORE 31745.291
AT ITER 2874 NEW BEST:: SOT 98144 SOS 36245 HAS SOPS 36245 HAS SOUS 31621 HAS SOUPS 31621 WITH SCORE 31657.245
AT ITER 2880 NEW BEST:: SOT 98137 SOS 36231 HAS SOPS 36231 HAS SOUS 31607 HAS SOUPS 31607 WITH SCORE 31643.231
AT ITER 2892 NEW BEST:: SOT 98037 SOS 36034 HAS SOPS 36034 HAS SOUS 31380 HAS SOUPS 31380 WITH SCORE 31416.034
AT ITER 2903 NEW BEST:: SOT 98006 SOS 35972 HAS SOPS 35972 HAS SOUS 31349 HAS SOUPS 31349 WITH SCORE 31384.972
AT ITER 2909 NEW BEST:: SOT 97966 SOS 35996 HAS SOPS 35996 HAS SOUS 31290 HAS SOUPS 31290 WITH SCORE 31325.996
AT ITER 2911 NEW BEST:: SOT 97972 SOS 35992 HAS SOPS 35992 HAS SOUS 31264 HAS SOUPS 31264 WITH SCORE 31299.992
AT ITER 2916 NEW BEST:: SOT 97896 SOS 35897 HAS SOPS 35897 HAS SOUS 31169 HAS SOUPS 31169 WITH SCORE 31204.897
AT ITER 2927 NEW BEST:: SOT 97893 SOS 35892 HAS SOPS 35892 HAS SOUS 31163 HAS SOUPS 31163 WITH SCORE 31198.892
AT ITER 2945 NEW BEST:: SOT 97854 SOS 35840 HAS SOPS 35840 HAS SOUS 31111 HAS SOUPS 31111 WITH SCORE 31146.84
AT ITER 2952 NEW BEST:: SOT 97838 SOS 35816 HAS SOPS 35816 HAS SOUS 31079 HAS SOUPS 31079 WITH SCORE 31114.816
AT ITER 2967 NEW BEST:: SOT 97838 SOS 35797 HAS SOPS 35797 HAS SOUS 31079 HAS SOUPS 31079 WITH SCORE 31114.797
AT ITER 2998 NEW BEST:: SOT 97837 SOS 35796 HAS SOPS 35796 HAS SOUS 31078 HAS SOUPS 31078 WITH SCORE 31113.796
AT ITER 3008 NEW BEST:: SOT 97829 SOS 35784 HAS SOPS 35784 HAS SOUS 31066 HAS SOUPS 31066 WITH SCORE 31101.784
AT ITER 3009 NEW BEST:: SOT 97793 SOS 35748 HAS SOPS 35748 HAS SOUS 31039 HAS SOUPS 31039 WITH SCORE 31074.748
AT ITER 3037 NEW BEST:: SOT 97793 SOS 35717 HAS SOPS 35717 HAS SOUS 31021 HAS SOUPS 31021 WITH SCORE 31056.717
AT ITER 3056 NEW BEST:: SOT 97723 SOS 35484 HAS SOPS 35484 HAS SOUS 30764 HAS SOUPS 30764 WITH SCORE 30799.484
AT ITER 3059 NEW BEST:: SOT 97723 SOS 35481 HAS SOPS 35481 HAS SOUS 30764 HAS SOUPS 30764 WITH SCORE 30799.481
AT ITER 3060 NEW BEST:: SOT 97728 SOS 35496 HAS SOPS 35496 HAS SOUS 30753 HAS SOUPS 30753 WITH SCORE 30788.496
AT ITER 3070 NEW BEST:: SOT 97670 SOS 35406 HAS SOPS 35406 HAS SOUS 30631 HAS SOUPS 30631 WITH SCORE 30666.406
AT ITER 3078 NEW BEST:: SOT 97639 SOS 35375 HAS SOPS 35375 HAS SOUS 30566 HAS SOUPS 30566 WITH SCORE 30601.375
AT ITER 3090 NEW BEST:: SOT 97584 SOS 35209 HAS SOPS 35209 HAS SOUS 30449 HAS SOUPS 30449 WITH SCORE 30484.209
AT ITER 3097 NEW BEST:: SOT 97572 SOS 35177 HAS SOPS 35177 HAS SOUS 30421 HAS SOUPS 30421 WITH SCORE 30456.177
AT ITER 3124 NEW BEST:: SOT 97572 SOS 35108 HAS SOPS 35108 HAS SOUS 30398 HAS SOUPS 30398 WITH SCORE 30433.108
AT ITER 3131 NEW BEST:: SOT 97576 SOS 35106 HAS SOPS 35106 HAS SOUS 30396 HAS SOUPS 30396 WITH SCORE 30431.106
AT ITER 3134 NEW BEST:: SOT 97516 SOS 34820 HAS SOPS 34820 HAS SOUS 30239 HAS SOUPS 30239 WITH SCORE 30273.82
AT ITER 3145 NEW BEST:: SOT 97528 SOS 34887 HAS SOPS 34887 HAS SOUS 30235 HAS SOUPS 30235 WITH SCORE 30269.887
AT ITER 3159 NEW BEST:: SOT 97522 SOS 34785 HAS SOPS 34785 HAS SOUS 30209 HAS SOUPS 30209 WITH SCORE 30243.785
AT ITER 3162 NEW BEST:: SOT 97507 SOS 34747 HAS SOPS 34747 HAS SOUS 30174 HAS SOUPS 30174 WITH SCORE 30208.747
AT ITER 3212 NEW BEST:: SOT 97507 SOS 34724 HAS SOPS 34724 HAS SOUS 30151 HAS SOUPS 30151 WITH SCORE 30185.724
AT ITER 3213 NEW BEST:: SOT 97483 SOS 34604 HAS SOPS 34604 HAS SOUS 30103 HAS SOUPS 30103 WITH SCORE 30137.604
AT ITER 3219 NEW BEST:: SOT 97480 SOS 34564 HAS SOPS 34564 HAS SOUS 30099 HAS SOUPS 30099 WITH SCORE 30133.564
AT ITER 3223 NEW BEST:: SOT 97471 SOS 34537 HAS SOPS 34537 HAS SOUS 30081 HAS SOUPS 30081 WITH SCORE 30115.537
AT ITER 3249 NEW BEST:: SOT 97471 SOS 34537 HAS SOPS 34537 HAS SOUS 30063 HAS SOUPS 30063 WITH SCORE 30097.537
AT ITER 3275 NEW BEST:: SOT 97471 SOS 34480 HAS SOPS 34480 HAS SOUS 30056 HAS SOUPS 30056 WITH SCORE 30090.48
AT ITER 3277 NEW BEST:: SOT 97459 SOS 34460 HAS SOPS 34460 HAS SOUS 30034 HAS SOUPS 30034 WITH SCORE 30068.46
AT ITER 3278 NEW BEST:: SOT 97400 SOS 34348 HAS SOPS 34348 HAS SOUS 29954 HAS SOUPS 29954 WITH SCORE 29988.348
AT ITER 3282 NEW BEST:: SOT 97400 SOS 34330 HAS SOPS 34330 HAS SOUS 29947 HAS SOUPS 29947 WITH SCORE 29981.33
AT ITER 3289 NEW BEST:: SOT 97355 SOS 34241 HAS SOPS 34241 HAS SOUS 29857 HAS SOUPS 29857 WITH SCORE 29891.241
AT ITER 3302 NEW BEST:: SOT 97340 SOS 34128 HAS SOPS 34128 HAS SOUS 29834 HAS SOUPS 29834 WITH SCORE 29868.128
AT ITER 3308 NEW BEST:: SOT 97340 SOS 34145 HAS SOPS 34145 HAS SOUS 29829 HAS SOUPS 29829 WITH SCORE 29863.145
AT ITER 3310 NEW BEST:: SOT 97340 SOS 34145 HAS SOPS 34145 HAS SOUS 29818 HAS SOUPS 29818 WITH SCORE 29852.145
AT ITER 3313 NEW BEST:: SOT 97306 SOS 34101 HAS SOPS 34101 HAS SOUS 29755 HAS SOUPS 29755 WITH SCORE 29789.101
AT ITER 3328 NEW BEST:: SOT 97244 SOS 34023 HAS SOPS 34023 HAS SOUS 29661 HAS SOUPS 29661 WITH SCORE 29695.023
AT ITER 3347 NEW BEST:: SOT 97254 SOS 34067 HAS SOPS 34067 HAS SOUS 29643 HAS SOUPS 29643 WITH SCORE 29677.067
AT ITER 3368 NEW BEST:: SOT 97235 SOS 34048 HAS SOPS 34048 HAS SOUS 29624 HAS SOUPS 29624 WITH SCORE 29658.048
AT ITER 3373 NEW BEST:: SOT 97234 SOS 34047 HAS SOPS 34047 HAS SOUS 29622 HAS SOUPS 29622 WITH SCORE 29656.047
AT ITER 3384 NEW BEST:: SOT 97183 SOS 33979 HAS SOPS 33979 HAS SOUS 29555 HAS SOUPS 29555 WITH SCORE 29588.979
AT ITER 3393 NEW BEST:: SOT 97126 SOS 33760 HAS SOPS 33760 HAS SOUS 29438 HAS SOUPS 29438 WITH SCORE 29471.76
AT ITER 3394 NEW BEST:: SOT 97086 SOS 33720 HAS SOPS 33720 HAS SOUS 29398 HAS SOUPS 29398 WITH SCORE 29431.72
AT ITER 3397 NEW BEST:: SOT 97081 SOS 33750 HAS SOPS 33750 HAS SOUS 29383 HAS SOUPS 29383 WITH SCORE 29416.75
AT ITER 3409 NEW BEST:: SOT 97067 SOS 33780 HAS SOPS 33780 HAS SOUS 29363 HAS SOUPS 29363 WITH SCORE 29396.78
AT ITER 3435 NEW BEST:: SOT 97064 SOS 33777 HAS SOPS 33777 HAS SOUS 29357 HAS SOUPS 29357 WITH SCORE 29390.777
AT ITER 3455 NEW BEST:: SOT 97058 SOS 33640 HAS SOPS 33640 HAS SOUS 29345 HAS SOUPS 29345 WITH SCORE 29378.64
AT ITER 3457 NEW BEST:: SOT 97058 SOS 33639 HAS SOPS 33639 HAS SOUS 29345 HAS SOUPS 29345 WITH SCORE 29378.639
AT ITER 3464 NEW BEST:: SOT 97058 SOS 33647 HAS SOPS 33647 HAS SOUS 29325 HAS SOUPS 29325 WITH SCORE 29358.647
AT ITER 3478 NEW BEST:: SOT 97055 SOS 33632 HAS SOPS 33632 HAS SOUS 29319 HAS SOUPS 29319 WITH SCORE 29352.632
AT ITER 3482 NEW BEST:: SOT 96986 SOS 33540 HAS SOPS 33540 HAS SOUS 29227 HAS SOUPS 29227 WITH SCORE 29260.54
AT ITER 3491 NEW BEST:: SOT 96982 SOS 33536 HAS SOPS 33536 HAS SOUS 29223 HAS SOUPS 29223 WITH SCORE 29256.536
AT ITER 3500 NEW BEST:: SOT 96982 SOS 33533 HAS SOPS 33533 HAS SOUS 29221 HAS SOUPS 29221 WITH SCORE 29254.533
AT ITER 3501 NEW BEST:: SOT 96982 SOS 33519 HAS SOPS 33519 HAS SOUS 29221 HAS SOUPS 29221 WITH SCORE 29254.519
AT ITER 3567 NEW BEST:: SOT 96981 SOS 33515 HAS SOPS 33515 HAS SOUS 29191 HAS SOUPS 29191 WITH SCORE 29224.515
AT ITER 3568 NEW BEST:: SOT 96938 SOS 33436 HAS SOPS 33436 HAS SOUS 29145 HAS SOUPS 29145 WITH SCORE 29178.436
AT ITER 3574 NEW BEST:: SOT 96889 SOS 33369 HAS SOPS 33369 HAS SOUS 29043 HAS SOUPS 29043 WITH SCORE 29076.369
AT ITER 3579 NEW BEST:: SOT 96856 SOS 33220 HAS SOPS 33220 HAS SOUS 28966 HAS SOUPS 28966 WITH SCORE 28999.22
AT ITER 3588 NEW BEST:: SOT 96856 SOS 33211 HAS SOPS 33211 HAS SOUS 28939 HAS SOUPS 28939 WITH SCORE 28972.211
AT ITER 3597 NEW BEST:: SOT 96858 SOS 33214 HAS SOPS 33214 HAS SOUS 28915 HAS SOUPS 28915 WITH SCORE 28948.214
AT ITER 3599 NEW BEST:: SOT 96821 SOS 33177 HAS SOPS 33177 HAS SOUS 28878 HAS SOUPS 28878 WITH SCORE 28911.177
AT ITER 3614 NEW BEST:: SOT 96809 SOS 33130 HAS SOPS 33130 HAS SOUS 28844 HAS SOUPS 28844 WITH SCORE 28877.13
AT ITER 3620 NEW BEST:: SOT 96806 SOS 33126 HAS SOPS 33126 HAS SOUS 28840 HAS SOUPS 28840 WITH SCORE 28873.126
AT ITER 3631 NEW BEST:: SOT 96651 SOS 32857 HAS SOPS 32857 HAS SOUS 28601 HAS SOUPS 28601 WITH SCORE 28633.857
AT ITER 3652 NEW BEST:: SOT 96651 SOS 32713 HAS SOPS 32713 HAS SOUS 28584 HAS SOUPS 28584 WITH SCORE 28616.713
AT ITER 3664 NEW BEST:: SOT 96637 SOS 32685 HAS SOPS 32685 HAS SOUS 28556 HAS SOUPS 28556 WITH SCORE 28588.685
AT ITER 3702 NEW BEST:: SOT 96631 SOS 32679 HAS SOPS 32679 HAS SOUS 28544 HAS SOUPS 28544 WITH SCORE 28576.679
AT ITER 3716 NEW BEST:: SOT 96599 SOS 32599 HAS SOPS 32599 HAS SOUS 28464 HAS SOUPS 28464 WITH SCORE 28496.599
AT ITER 3722 NEW BEST:: SOT 96575 SOS 32575 HAS SOPS 32575 HAS SOUS 28428 HAS SOUPS 28428 WITH SCORE 28460.575
AT ITER 3742 NEW BEST:: SOT 96575 SOS 32544 HAS SOPS 32544 HAS SOUS 28427 HAS SOUPS 28427 WITH SCORE 28459.544
AT ITER 3761 NEW BEST:: SOT 96568 SOS 32532 HAS SOPS 32532 HAS SOUS 28383 HAS SOUPS 28383 WITH SCORE 28415.532
AT ITER 3784 NEW BEST:: SOT 96563 SOS 32513 HAS SOPS 32513 HAS SOUS 28370 HAS SOUPS 28370 WITH SCORE 28402.513
AT ITER 3791 NEW BEST:: SOT 96562 SOS 32510 HAS SOPS 32510 HAS SOUS 28367 HAS SOUPS 28367 WITH SCORE 28399.51
AT ITER 3792 NEW BEST:: SOT 96562 SOS 32520 HAS SOPS 32520 HAS SOUS 28362 HAS SOUPS 28362 WITH SCORE 28394.52
AT ITER 3793 NEW BEST:: SOT 96548 SOS 32478 HAS SOPS 32478 HAS SOUS 28334 HAS SOUPS 28334 WITH SCORE 28366.478
AT ITER 3795 NEW BEST:: SOT 96500 SOS 32391 HAS SOPS 32391 HAS SOUS 28229 HAS SOUPS 28229 WITH SCORE 28261.391
AT ITER 3816 NEW BEST:: SOT 96500 SOS 32376 HAS SOPS 32376 HAS SOUS 28214 HAS SOUPS 28214 WITH SCORE 28246.376
AT ITER 3822 NEW BEST:: SOT 96480 SOS 32391 HAS SOPS 32391 HAS SOUS 28165 HAS SOUPS 28165 WITH SCORE 28197.391
AT ITER 3843 NEW BEST:: SOT 96469 SOS 32354 HAS SOPS 32354 HAS SOUS 28159 HAS SOUPS 28159 WITH SCORE 28191.354
AT ITER 3850 NEW BEST:: SOT 96469 SOS 32250 HAS SOPS 32250 HAS SOUS 28119 HAS SOUPS 28119 WITH SCORE 28151.25
AT ITER 3852 NEW BEST:: SOT 96453 SOS 32223 HAS SOPS 32223 HAS SOUS 28102 HAS SOUPS 28102 WITH SCORE 28134.223
AT ITER 3859 NEW BEST:: SOT 96447 SOS 32205 HAS SOPS 32205 HAS SOUS 28084 HAS SOUPS 28084 WITH SCORE 28116.205
AT ITER 3866 NEW BEST:: SOT 96446 SOS 32202 HAS SOPS 32202 HAS SOUS 28074 HAS SOUPS 28074 WITH SCORE 28106.202
AT ITER 3882 NEW BEST:: SOT 96429 SOS 32134 HAS SOPS 32134 HAS SOUS 28021 HAS SOUPS 28021 WITH SCORE 28053.134
AT ITER 3896 NEW BEST:: SOT 96426 SOS 32131 HAS SOPS 32131 HAS SOUS 28018 HAS SOUPS 28018 WITH SCORE 28050.131
AT ITER 3926 NEW BEST:: SOT 96426 SOS 32118 HAS SOPS 32118 HAS SOUS 28018 HAS SOUPS 28018 WITH SCORE 28050.118
AT ITER 3956 NEW BEST:: SOT 96417 SOS 32106 HAS SOPS 32106 HAS SOUS 28000 HAS SOUPS 28000 WITH SCORE 28032.106
AT ITER 3967 NEW BEST:: SOT 96395 SOS 32050 HAS SOPS 32050 HAS SOUS 27956 HAS SOUPS 27956 WITH SCORE 27988.05
AT ITER 3975 NEW BEST:: SOT 96359 SOS 31960 HAS SOPS 31960 HAS SOUS 27884 HAS SOUPS 27884 WITH SCORE 27915.96
AT ITER 3984 NEW BEST:: SOT 96328 SOS 31930 HAS SOPS 31930 HAS SOUS 27854 HAS SOUPS 27854 WITH SCORE 27885.93
AT ITER 3993 NEW BEST:: SOT 96314 SOS 31888 HAS SOPS 31888 HAS SOUS 27826 HAS SOUPS 27826 WITH SCORE 27857.888
AT ITER 4001 NEW BEST:: SOT 96350 SOS 31783 HAS SOPS 31783 HAS SOUS 27787 HAS SOUPS 27787 WITH SCORE 27818.783
AT ITER 4032 NEW BEST:: SOT 96343 SOS 31776 HAS SOPS 31776 HAS SOUS 27780 HAS SOUPS 27780 WITH SCORE 27811.776
AT ITER 4081 NEW BEST:: SOT 96295 SOS 31711 HAS SOPS 31711 HAS SOUS 27715 HAS SOUPS 27715 WITH SCORE 27746.711
AT ITER 4091 NEW BEST:: SOT 96262 SOS 31667 HAS SOPS 31667 HAS SOUS 27656 HAS SOUPS 27656 WITH SCORE 27687.667
AT ITER 4112 NEW BEST:: SOT 96250 SOS 31649 HAS SOPS 31649 HAS SOUS 27638 HAS SOUPS 27638 WITH SCORE 27669.649
AT ITER 4115 NEW BEST:: SOT 96214 SOS 31575 HAS SOPS 31575 HAS SOUS 27588 HAS SOUPS 27588 WITH SCORE 27619.575
AT ITER 4121 NEW BEST:: SOT 96124 SOS 31455 HAS SOPS 31455 HAS SOUS 27465 HAS SOUPS 27465 WITH SCORE 27496.455
AT ITER 4137 NEW BEST:: SOT 96110 SOS 31441 HAS SOPS 31441 HAS SOUS 27444 HAS SOUPS 27444 WITH SCORE 27475.441
AT ITER 4141 NEW BEST:: SOT 96083 SOS 31422 HAS SOPS 31422 HAS SOUS 27425 HAS SOUPS 27425 WITH SCORE 27456.422
AT ITER 4160 NEW BEST:: SOT 96032 SOS 31337 HAS SOPS 31337 HAS SOUS 27357 HAS SOUPS 27357 WITH SCORE 27388.337
AT ITER 4198 NEW BEST:: SOT 95979 SOS 31258 HAS SOPS 31258 HAS SOUS 27278 HAS SOUPS 27278 WITH SCORE 27309.258
AT ITER 4205 NEW BEST:: SOT 95969 SOS 31253 HAS SOPS 31253 HAS SOUS 27268 HAS SOUPS 27268 WITH SCORE 27299.253
AT ITER 4211 NEW BEST:: SOT 95949 SOS 31212 HAS SOPS 31212 HAS SOUS 27243 HAS SOUPS 27243 WITH SCORE 27274.212
AT ITER 4229 NEW BEST:: SOT 95949 SOS 31212 HAS SOPS 31212 HAS SOUS 27229 HAS SOUPS 27229 WITH SCORE 27260.212
AT ITER 4247 NEW BEST:: SOT 95929 SOS 31192 HAS SOPS 31192 HAS SOUS 27197 HAS SOUPS 27197 WITH SCORE 27228.192
AT ITER 4255 NEW BEST:: SOT 95906 SOS 31169 HAS SOPS 31169 HAS SOUS 27174 HAS SOUPS 27174 WITH SCORE 27205.169
AT ITER 4260 NEW BEST:: SOT 95894 SOS 31151 HAS SOPS 31151 HAS SOUS 27156 HAS SOUPS 27156 WITH SCORE 27187.151
AT ITER 4282 NEW BEST:: SOT 95892 SOS 31143 HAS SOPS 31143 HAS SOUS 27145 HAS SOUPS 27145 WITH SCORE 27176.143
AT ITER 4304 NEW BEST:: SOT 95887 SOS 31126 HAS SOPS 31126 HAS SOUS 27131 HAS SOUPS 27131 WITH SCORE 27162.126
AT ITER 4314 NEW BEST:: SOT 95887 SOS 31126 HAS SOPS 31126 HAS SOUS 27130 HAS SOUPS 27130 WITH SCORE 27161.126
AT ITER 4347 NEW BEST:: SOT 95870 SOS 31109 HAS SOPS 31109 HAS SOUS 27100 HAS SOUPS 27100 WITH SCORE 27131.109
AT ITER 4348 NEW BEST:: SOT 95834 SOS 31042 HAS SOPS 31042 HAS SOUS 27028 HAS SOUPS 27028 WITH SCORE 27059.042
AT ITER 4357 NEW BEST:: SOT 95782 SOS 30990 HAS SOPS 30990 HAS SOUS 26945 HAS SOUPS 26945 WITH SCORE 26975.99
AT ITER 4394 NEW BEST:: SOT 95782 SOS 30948 HAS SOPS 30948 HAS SOUS 26903 HAS SOUPS 26903 WITH SCORE 26933.948
AT ITER 4395 NEW BEST:: SOT 95766 SOS 30928 HAS SOPS 30928 HAS SOUS 26883 HAS SOUPS 26883 WITH SCORE 26913.928
AT ITER 4403 NEW BEST:: SOT 95728 SOS 30842 HAS SOPS 30842 HAS SOUS 26806 HAS SOUPS 26806 WITH SCORE 26836.842
AT ITER 4407 NEW BEST:: SOT 95728 SOS 30778 HAS SOPS 30778 HAS SOUS 26792 HAS SOUPS 26792 WITH SCORE 26822.778
AT ITER 4413 NEW BEST:: SOT 95707 SOS 30682 HAS SOPS 30682 HAS SOUS 26751 HAS SOUPS 26751 WITH SCORE 26781.682
AT ITER 4436 NEW BEST:: SOT 95676 SOS 30566 HAS SOPS 30566 HAS SOUS 26676 HAS SOUPS 26676 WITH SCORE 26706.566
AT ITER 4439 NEW BEST:: SOT 95670 SOS 30488 HAS SOPS 30488 HAS SOUS 26675 HAS SOUPS 26675 WITH SCORE 26705.488
AT ITER 4466 NEW BEST:: SOT 95670 SOS 30476 HAS SOPS 30476 HAS SOUS 26675 HAS SOUPS 26675 WITH SCORE 26705.476
AT ITER 4468 NEW BEST:: SOT 95649 SOS 30447 HAS SOPS 30447 HAS SOUS 26585 HAS SOUPS 26585 WITH SCORE 26615.447
AT ITER 4481 NEW BEST:: SOT 95628 SOS 30415 HAS SOPS 30415 HAS SOUS 26553 HAS SOUPS 26553 WITH SCORE 26583.415
AT ITER 4502 NEW BEST:: SOT 95604 SOS 30379 HAS SOPS 30379 HAS SOUS 26529 HAS SOUPS 26529 WITH SCORE 26559.379
AT ITER 4506 NEW BEST:: SOT 95599 SOS 30377 HAS SOPS 30377 HAS SOUS 26523 HAS SOUPS 26523 WITH SCORE 26553.377
AT ITER 4517 NEW BEST:: SOT 95591 SOS 30369 HAS SOPS 30369 HAS SOUS 26509 HAS SOUPS 26509 WITH SCORE 26539.369
AT ITER 4533 NEW BEST:: SOT 95591 SOS 30361 HAS SOPS 30361 HAS SOUS 26505 HAS SOUPS 26505 WITH SCORE 26535.361
AT ITER 4540 NEW BEST:: SOT 95589 SOS 30324 HAS SOPS 30324 HAS SOUS 26483 HAS SOUPS 26483 WITH SCORE 26513.324
AT ITER 4570 NEW BEST:: SOT 95563 SOS 30284 HAS SOPS 30284 HAS SOUS 26457 HAS SOUPS 26457 WITH SCORE 26487.284
AT ITER 4592 NEW BEST:: SOT 95563 SOS 30272 HAS SOPS 30272 HAS SOUS 26457 HAS SOUPS 26457 WITH SCORE 26487.272
AT ITER 4596 NEW BEST:: SOT 95542 SOS 30249 HAS SOPS 30249 HAS SOUS 26433 HAS SOUPS 26433 WITH SCORE 26463.249
AT ITER 4599 NEW BEST:: SOT 95538 SOS 30244 HAS SOPS 30244 HAS SOUS 26427 HAS SOUPS 26427 WITH SCORE 26457.244
AT ITER 4604 NEW BEST:: SOT 95536 SOS 30222 HAS SOPS 30222 HAS SOUS 26405 HAS SOUPS 26405 WITH SCORE 26435.222
AT ITER 4608 NEW BEST:: SOT 95533 SOS 30218 HAS SOPS 30218 HAS SOUS 26401 HAS SOUPS 26401 WITH SCORE 26431.218
AT ITER 4633 NEW BEST:: SOT 95516 SOS 30137 HAS SOPS 30137 HAS SOUS 26360 HAS SOUPS 26360 WITH SCORE 26390.137
AT ITER 4638 NEW BEST:: SOT 95484 SOS 30081 HAS SOPS 30081 HAS SOUS 26295 HAS SOUPS 26295 WITH SCORE 26325.081
AT ITER 4661 NEW BEST:: SOT 95485 SOS 30096 HAS SOPS 30096 HAS SOUS 26265 HAS SOUPS 26265 WITH SCORE 26295.096
AT ITER 4673 NEW BEST:: SOT 95489 SOS 30094 HAS SOPS 30094 HAS SOUS 26263 HAS SOUPS 26263 WITH SCORE 26293.094
AT ITER 4678 NEW BEST:: SOT 95489 SOS 30096 HAS SOPS 30096 HAS SOUS 26244 HAS SOUPS 26244 WITH SCORE 26274.096
AT ITER 4692 NEW BEST:: SOT 95442 SOS 30015 HAS SOPS 30015 HAS SOUS 26163 HAS SOUPS 26163 WITH SCORE 26193.015
AT ITER 4713 NEW BEST:: SOT 95435 SOS 30011 HAS SOPS 30011 HAS SOUS 26159 HAS SOUPS 26159 WITH SCORE 26189.011
AT ITER 4723 NEW BEST:: SOT 95437 SOS 29959 HAS SOPS 29959 HAS SOUS 26121 HAS SOUPS 26121 WITH SCORE 26150.959
AT ITER 4725 NEW BEST:: SOT 95434 SOS 29961 HAS SOPS 29961 HAS SOUS 26113 HAS SOUPS 26113 WITH SCORE 26142.961
AT ITER 4730 NEW BEST:: SOT 95432 SOS 29959 HAS SOPS 29959 HAS SOUS 26111 HAS SOUPS 26111 WITH SCORE 26140.959
AT ITER 4734 NEW BEST:: SOT 95402 SOS 29838 HAS SOPS 29838 HAS SOUS 26031 HAS SOUPS 26031 WITH SCORE 26060.838
AT ITER 4735 NEW BEST:: SOT 95391 SOS 29823 HAS SOPS 29823 HAS SOUS 26016 HAS SOUPS 26016 WITH SCORE 26045.823
AT ITER 4748 NEW BEST:: SOT 95386 SOS 29814 HAS SOPS 29814 HAS SOUS 26005 HAS SOUPS 26005 WITH SCORE 26034.814
AT ITER 4751 NEW BEST:: SOT 95386 SOS 29814 HAS SOPS 29814 HAS SOUS 26001 HAS SOUPS 26001 WITH SCORE 26030.814
AT ITER 4763 NEW BEST:: SOT 95386 SOS 29788 HAS SOPS 29788 HAS SOUS 25975 HAS SOUPS 25975 WITH SCORE 26004.788
AT ITER 4766 NEW BEST:: SOT 95362 SOS 29740 HAS SOPS 29740 HAS SOUS 25939 HAS SOUPS 25939 WITH SCORE 25968.74
AT ITER 4769 NEW BEST:: SOT 95354 SOS 29732 HAS SOPS 29732 HAS SOUS 25931 HAS SOUPS 25931 WITH SCORE 25960.732
AT ITER 4807 NEW BEST:: SOT 95294 SOS 29647 HAS SOPS 29647 HAS SOUS 25846 HAS SOUPS 25846 WITH SCORE 25875.647
AT ITER 4828 NEW BEST:: SOT 95289 SOS 29625 HAS SOPS 29625 HAS SOUS 25831 HAS SOUPS 25831 WITH SCORE 25860.625
AT ITER 4852 NEW BEST:: SOT 95247 SOS 29541 HAS SOPS 29541 HAS SOUS 25803 HAS SOUPS 25803 WITH SCORE 25832.541
AT ITER 4856 NEW BEST:: SOT 95247 SOS 29541 HAS SOPS 29541 HAS SOUS 25794 HAS SOUPS 25794 WITH SCORE 25823.541
AT ITER 4861 NEW BEST:: SOT 95236 SOS 29493 HAS SOPS 29493 HAS SOUS 25771 HAS SOUPS 25771 WITH SCORE 25800.493
AT ITER 4894 NEW BEST:: SOT 95196 SOS 29454 HAS SOPS 29454 HAS SOUS 25710 HAS SOUPS 25710 WITH SCORE 25739.454
AT ITER 4913 NEW BEST:: SOT 95180 SOS 29390 HAS SOPS 29390 HAS SOUS 25678 HAS SOUPS 25678 WITH SCORE 25707.39
AT ITER 4933 NEW BEST:: SOT 95180 SOS 29390 HAS SOPS 29390 HAS SOUS 25663 HAS SOUPS 25663 WITH SCORE 25692.39
AT ITER 4937 NEW BEST:: SOT 95159 SOS 29365 HAS SOPS 29365 HAS SOUS 25638 HAS SOUPS 25638 WITH SCORE 25667.365
AT ITER 4975 NEW BEST:: SOT 95157 SOS 29363 HAS SOPS 29363 HAS SOUS 25634 HAS SOUPS 25634 WITH SCORE 25663.363
AT ITER 4999 NEW BEST:: SOT 95144 SOS 29331 HAS SOPS 29331 HAS SOUS 25615 HAS SOUPS 25615 WITH SCORE 25644.331
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-00 (EF((EU( potential( ( 3 ) <= (tk(P149)) ),potential( ( 2 ) <= (tk(P198)) ) ))))
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-01 (! (EF((AG( potential( ( 2 ) <= (tk(P94)) ))))))
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-02 ( (! ( (AG( potential( (tk(P314)) <= (tk(P334)) ))) | ( ( potential( ( 1 ) <= (tk(P118)) ) | potential( ( 1 ) <= (tk(P305)) ) ) | potential( ( 3 ) <= (tk(P246)) ) ) )) & (EU( (! potential( ( 3 ) <= (tk(P279)) )),( potential( ( 1 ) <= (tk(P311)) ) & potential( (tk(P191)) <= (tk(P218)) ) ) )) )
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-03 (EU( (! ( potential( ( 1 ) <= (tk(P256)) ) & potential( ( 1 ) <= (tk(P343)) ) )),(AX( potential( ( 3 ) <= (tk(P390)) ))) ))
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-04 (AU( (EG( potential( ( 2 ) <= (tk(P245)) ))),(AG( potential( (tk(P218)) <= (tk(P315)) ))) ))
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-05 (EF((AG( ( potential( (tk(P88)) <= (tk(P217)) ) & potential( ( 2 ) <= (tk(P77)) ) )))))
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-06 ( (AG( (EF(potential( (tk(P106)) <= (tk(P353)) ))))) | potential( ( 3 ) <= (tk(P217)) ) )
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-07 (AF((! (EF(potential( ( 3 ) <= (tk(P343)) ))))))
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-08 (! (! (EF(potential( ( 3 ) <= (tk(P305)) )))))
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-09 (EF(potential( ( 2 ) <= (tk(P236)) )))
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-10 (EF((EG( (! potential( (tk(P91)) <= (tk(P103)) ))))))
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-11 ( (EU( ( potential( (tk(P110)) <= (tk(P148)) ) | potential( ( 2 ) <= (tk(P332)) ) ),(! potential( ( 1 ) <= (tk(P374)) )) )) & (EF(potential( ( 3 ) <= (tk(P268)) ))) )
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-12 (EG( (! (EF(potential( ( 1 ) <= (tk(P56)) ))))))
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-13 ( ( (AF(( potential( ( 2 ) <= (tk(P194)) ) & potential( ( 2 ) <= (tk(P145)) ) ))) | ( (EF(potential( ( 3 ) <= (tk(P141)) ))) | (EG( potential( (tk(P363)) <= (tk(P98)) ))) ) ) & ( ( (AX( potential( (tk(P290)) <= (tk(P42)) ))) & ( (! potential( ( 3 ) <= (tk(P24)) )) & ( potential( (tk(P105)) <= (tk(P123)) ) & potential( ( 1 ) <= (tk(P197)) ) ) ) ) | (AG( (! potential( ( 2 ) <= (tk(P224)) )))) ) )
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-14 (! ( (EF(( potential( (tk(P187)) <= (tk(P391)) ) & potential( ( 3 ) <= (tk(P226)) ) ))) & ( (EG( potential( (tk(P326)) <= (tk(P215)) ))) | (AG( potential( (tk(P77)) <= (tk(P131)) ))) ) ))
PROPERTY: ShieldRVt-PT-050A-CTLCardinality-15 (EU( (AG( potential( (tk(P324)) <= (tk(P316)) ))),(EX( potential( ( 3 ) <= (tk(P186)) ))) ))

BK_STOP 1590460240107

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 370 Aborted ${SMART} ${INPUT_SM}

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="ShieldRVt-PT-050A"
export BK_EXAMINATION="CTLCardinality"
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 ShieldRVt-PT-050A, examination is CTLCardinality"
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-159033470401067"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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