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-159033470401056.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-040A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470401056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 280K
-rw-r--r-- 1 mcc users 4.0K May 14 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 20:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 20:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.4K May 13 14:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 14:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 09:46 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 109K May 12 20:42 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590457293064

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

Filename model.pnml
Petri model created: 323 places, 323 transitions, 1366 arcs.
AT ITER 0 NEW BEST:: SOT 81877 SOS 60079 HAS SOPS 60079 HAS SOUS 56213 HAS SOUPS 56213 WITH SCORE 56273.079
AT ITER 4 NEW BEST:: SOT 81762 SOS 59881 HAS SOPS 59881 HAS SOUS 56086 HAS SOUPS 56086 WITH SCORE 56145.881
AT ITER 6 NEW BEST:: SOT 81580 SOS 59559 HAS SOPS 59559 HAS SOUS 55764 HAS SOUPS 55764 WITH SCORE 55823.559
AT ITER 8 NEW BEST:: SOT 81508 SOS 59367 HAS SOPS 59367 HAS SOUS 55531 HAS SOUPS 55531 WITH SCORE 55590.367
AT ITER 9 NEW BEST:: SOT 81525 SOS 59521 HAS SOPS 59521 HAS SOUS 55523 HAS SOUPS 55523 WITH SCORE 55582.521
AT ITER 10 NEW BEST:: SOT 81453 SOS 59378 HAS SOPS 59378 HAS SOUS 55309 HAS SOUPS 55309 WITH SCORE 55368.378
AT ITER 13 NEW BEST:: SOT 81326 SOS 59045 HAS SOPS 59045 HAS SOUS 55098 HAS SOUPS 55098 WITH SCORE 55157.045
AT ITER 14 NEW BEST:: SOT 81170 SOS 58736 HAS SOPS 58736 HAS SOUS 54794 HAS SOUPS 54794 WITH SCORE 54852.736
AT ITER 17 NEW BEST:: SOT 81016 SOS 58428 HAS SOPS 58428 HAS SOUS 54550 HAS SOUPS 54550 WITH SCORE 54608.428
AT ITER 18 NEW BEST:: SOT 80946 SOS 58286 HAS SOPS 58286 HAS SOUS 54410 HAS SOUPS 54410 WITH SCORE 54468.286
AT ITER 21 NEW BEST:: SOT 80588 SOS 57794 HAS SOPS 57794 HAS SOUS 53816 HAS SOUPS 53816 WITH SCORE 53873.794
AT ITER 22 NEW BEST:: SOT 80539 SOS 57692 HAS SOPS 57692 HAS SOUS 53762 HAS SOUPS 53762 WITH SCORE 53819.692
AT ITER 27 NEW BEST:: SOT 80484 SOS 57519 HAS SOPS 57519 HAS SOUS 53635 HAS SOUPS 53635 WITH SCORE 53692.519
AT ITER 30 NEW BEST:: SOT 80335 SOS 57143 HAS SOPS 57143 HAS SOUS 53256 HAS SOUPS 53256 WITH SCORE 53313.143
AT ITER 31 NEW BEST:: SOT 80192 SOS 56858 HAS SOPS 56858 HAS SOUS 52971 HAS SOUPS 52971 WITH SCORE 53027.858
AT ITER 34 NEW BEST:: SOT 80076 SOS 56623 HAS SOPS 56623 HAS SOUS 52737 HAS SOUPS 52737 WITH SCORE 52793.623
AT ITER 40 NEW BEST:: SOT 80076 SOS 56623 HAS SOPS 56623 HAS SOUS 52717 HAS SOUPS 52717 WITH SCORE 52773.623
AT ITER 42 NEW BEST:: SOT 79752 SOS 56299 HAS SOPS 56299 HAS SOUS 52383 HAS SOUPS 52383 WITH SCORE 52439.299
AT ITER 45 NEW BEST:: SOT 79619 SOS 56032 HAS SOPS 56032 HAS SOUS 52117 HAS SOUPS 52117 WITH SCORE 52173.032
AT ITER 46 NEW BEST:: SOT 79661 SOS 56010 HAS SOPS 56010 HAS SOUS 52087 HAS SOUPS 52087 WITH SCORE 52143.01
AT ITER 47 NEW BEST:: SOT 79609 SOS 55854 HAS SOPS 55854 HAS SOUS 51931 HAS SOUPS 51931 WITH SCORE 51986.854
AT ITER 52 NEW BEST:: SOT 79564 SOS 55809 HAS SOPS 55809 HAS SOUS 51886 HAS SOUPS 51886 WITH SCORE 51941.809
AT ITER 53 NEW BEST:: SOT 79561 SOS 55806 HAS SOPS 55806 HAS SOUS 51883 HAS SOUPS 51883 WITH SCORE 51938.806
AT ITER 54 NEW BEST:: SOT 79578 SOS 55900 HAS SOPS 55900 HAS SOUS 51866 HAS SOUPS 51866 WITH SCORE 51921.9
AT ITER 61 NEW BEST:: SOT 79599 SOS 55884 HAS SOPS 55884 HAS SOUS 51850 HAS SOUPS 51850 WITH SCORE 51905.884
AT ITER 63 NEW BEST:: SOT 79599 SOS 55849 HAS SOPS 55849 HAS SOUS 51850 HAS SOUPS 51850 WITH SCORE 51905.849
AT ITER 64 NEW BEST:: SOT 79595 SOS 55845 HAS SOPS 55845 HAS SOUS 51846 HAS SOUPS 51846 WITH SCORE 51901.845
AT ITER 65 NEW BEST:: SOT 79594 SOS 55842 HAS SOPS 55842 HAS SOUS 51842 HAS SOUPS 51842 WITH SCORE 51897.842
AT ITER 66 NEW BEST:: SOT 79527 SOS 55711 HAS SOPS 55711 HAS SOUS 51711 HAS SOUPS 51711 WITH SCORE 51766.711
AT ITER 67 NEW BEST:: SOT 79506 SOS 55690 HAS SOPS 55690 HAS SOUS 51690 HAS SOUPS 51690 WITH SCORE 51745.69
AT ITER 68 NEW BEST:: SOT 79274 SOS 55324 HAS SOPS 55324 HAS SOUS 51354 HAS SOUPS 51354 WITH SCORE 51409.324
AT ITER 75 NEW BEST:: SOT 79208 SOS 55125 HAS SOPS 55125 HAS SOUS 51095 HAS SOUPS 51095 WITH SCORE 51150.125
AT ITER 77 NEW BEST:: SOT 79070 SOS 54849 HAS SOPS 54849 HAS SOUS 50776 HAS SOUPS 50776 WITH SCORE 50830.849
AT ITER 81 NEW BEST:: SOT 79013 SOS 54742 HAS SOPS 54742 HAS SOUS 50619 HAS SOUPS 50619 WITH SCORE 50673.742
AT ITER 83 NEW BEST:: SOT 78991 SOS 54690 HAS SOPS 54690 HAS SOUS 50552 HAS SOUPS 50552 WITH SCORE 50606.69
AT ITER 85 NEW BEST:: SOT 78897 SOS 54408 HAS SOPS 54408 HAS SOUS 50447 HAS SOUPS 50447 WITH SCORE 50501.408
AT ITER 86 NEW BEST:: SOT 78926 SOS 54280 HAS SOPS 54280 HAS SOUS 50432 HAS SOUPS 50432 WITH SCORE 50486.28
AT ITER 87 NEW BEST:: SOT 78899 SOS 54223 HAS SOPS 54223 HAS SOUS 50375 HAS SOUPS 50375 WITH SCORE 50429.223
AT ITER 89 NEW BEST:: SOT 78857 SOS 54139 HAS SOPS 54139 HAS SOUS 50249 HAS SOUPS 50249 WITH SCORE 50303.139
AT ITER 92 NEW BEST:: SOT 78837 SOS 54119 HAS SOPS 54119 HAS SOUS 50229 HAS SOUPS 50229 WITH SCORE 50283.119
AT ITER 95 NEW BEST:: SOT 78807 SOS 54059 HAS SOPS 54059 HAS SOUS 50169 HAS SOUPS 50169 WITH SCORE 50223.059
AT ITER 96 NEW BEST:: SOT 78820 SOS 54030 HAS SOPS 54030 HAS SOUS 50140 HAS SOUPS 50140 WITH SCORE 50194.03
AT ITER 97 NEW BEST:: SOT 78808 SOS 54055 HAS SOPS 54055 HAS SOUS 50028 HAS SOUPS 50028 WITH SCORE 50082.055
AT ITER 98 NEW BEST:: SOT 78801 SOS 54048 HAS SOPS 54048 HAS SOUS 50021 HAS SOUPS 50021 WITH SCORE 50075.048
AT ITER 100 NEW BEST:: SOT 78772 SOS 54037 HAS SOPS 54037 HAS SOUS 50000 HAS SOUPS 50000 WITH SCORE 50054.037
AT ITER 104 NEW BEST:: SOT 78772 SOS 54037 HAS SOPS 54037 HAS SOUS 49911 HAS SOUPS 49911 WITH SCORE 49965.037
AT ITER 106 NEW BEST:: SOT 78623 SOS 53791 HAS SOPS 53791 HAS SOUS 49705 HAS SOUPS 49705 WITH SCORE 49758.791
AT ITER 107 NEW BEST:: SOT 78615 SOS 53783 HAS SOPS 53783 HAS SOUS 49697 HAS SOUPS 49697 WITH SCORE 49750.783
AT ITER 108 NEW BEST:: SOT 78615 SOS 53782 HAS SOPS 53782 HAS SOUS 49697 HAS SOUPS 49697 WITH SCORE 49750.782
AT ITER 109 NEW BEST:: SOT 78492 SOS 53493 HAS SOPS 53493 HAS SOUS 49378 HAS SOUPS 49378 WITH SCORE 49431.493
AT ITER 111 NEW BEST:: SOT 78492 SOS 53493 HAS SOPS 53493 HAS SOUS 49368 HAS SOUPS 49368 WITH SCORE 49421.493
AT ITER 112 NEW BEST:: SOT 78363 SOS 53333 HAS SOPS 53333 HAS SOUS 49208 HAS SOUPS 49208 WITH SCORE 49261.333
AT ITER 113 NEW BEST:: SOT 78363 SOS 53333 HAS SOPS 53333 HAS SOUS 49204 HAS SOUPS 49204 WITH SCORE 49257.333
AT ITER 115 NEW BEST:: SOT 78268 SOS 53206 HAS SOPS 53206 HAS SOUS 49140 HAS SOUPS 49140 WITH SCORE 49193.206
AT ITER 121 NEW BEST:: SOT 78226 SOS 53198 HAS SOPS 53198 HAS SOUS 49136 HAS SOUPS 49136 WITH SCORE 49189.198
AT ITER 122 NEW BEST:: SOT 78138 SOS 53069 HAS SOPS 53069 HAS SOUS 49013 HAS SOUPS 49013 WITH SCORE 49066.069
AT ITER 123 NEW BEST:: SOT 78088 SOS 52956 HAS SOPS 52956 HAS SOUS 48839 HAS SOUPS 48839 WITH SCORE 48891.956
AT ITER 124 NEW BEST:: SOT 78053 SOS 52921 HAS SOPS 52921 HAS SOUS 48804 HAS SOUPS 48804 WITH SCORE 48856.921
AT ITER 127 NEW BEST:: SOT 77910 SOS 52600 HAS SOPS 52600 HAS SOUS 48652 HAS SOUPS 48652 WITH SCORE 48704.6
AT ITER 129 NEW BEST:: SOT 77678 SOS 52184 HAS SOPS 52184 HAS SOUS 48332 HAS SOUPS 48332 WITH SCORE 48384.184
AT ITER 130 NEW BEST:: SOT 77670 SOS 52177 HAS SOPS 52177 HAS SOUS 48325 HAS SOUPS 48325 WITH SCORE 48377.177
AT ITER 132 NEW BEST:: SOT 77588 SOS 52071 HAS SOPS 52071 HAS SOUS 48148 HAS SOUPS 48148 WITH SCORE 48200.071
AT ITER 133 NEW BEST:: SOT 77428 SOS 51841 HAS SOPS 51841 HAS SOUS 47891 HAS SOUPS 47891 WITH SCORE 47942.841
AT ITER 134 NEW BEST:: SOT 77230 SOS 51490 HAS SOPS 51490 HAS SOUS 47471 HAS SOUPS 47471 WITH SCORE 47522.49
AT ITER 138 NEW BEST:: SOT 77230 SOS 51487 HAS SOPS 51487 HAS SOUS 47468 HAS SOUPS 47468 WITH SCORE 47519.487
AT ITER 142 NEW BEST:: SOT 77202 SOS 51431 HAS SOPS 51431 HAS SOUS 47456 HAS SOUPS 47456 WITH SCORE 47507.431
AT ITER 148 NEW BEST:: SOT 77068 SOS 51109 HAS SOPS 51109 HAS SOUS 47185 HAS SOUPS 47185 WITH SCORE 47236.109
AT ITER 149 NEW BEST:: SOT 77001 SOS 51042 HAS SOPS 51042 HAS SOUS 47094 HAS SOUPS 47094 WITH SCORE 47145.042
AT ITER 152 NEW BEST:: SOT 76979 SOS 51006 HAS SOPS 51006 HAS SOUS 47058 HAS SOUPS 47058 WITH SCORE 47109.006
AT ITER 154 NEW BEST:: SOT 76842 SOS 50636 HAS SOPS 50636 HAS SOUS 46663 HAS SOUPS 46663 WITH SCORE 46713.636
AT ITER 155 NEW BEST:: SOT 76519 SOS 50009 HAS SOPS 50009 HAS SOUS 46066 HAS SOUPS 46066 WITH SCORE 46116.009
AT ITER 159 NEW BEST:: SOT 76441 SOS 49854 HAS SOPS 49854 HAS SOUS 45834 HAS SOUPS 45834 WITH SCORE 45883.854
AT ITER 160 NEW BEST:: SOT 76441 SOS 49978 HAS SOPS 49978 HAS SOUS 45811 HAS SOUPS 45811 WITH SCORE 45860.978
AT ITER 162 NEW BEST:: SOT 76335 SOS 49766 HAS SOPS 49766 HAS SOUS 45705 HAS SOUPS 45705 WITH SCORE 45754.766
AT ITER 164 NEW BEST:: SOT 76201 SOS 49557 HAS SOPS 49557 HAS SOUS 45567 HAS SOUPS 45567 WITH SCORE 45616.557
AT ITER 170 NEW BEST:: SOT 76134 SOS 49418 HAS SOPS 49418 HAS SOUS 45390 HAS SOUPS 45390 WITH SCORE 45439.418
AT ITER 171 NEW BEST:: SOT 75869 SOS 48944 HAS SOPS 48944 HAS SOUS 44963 HAS SOUPS 44963 WITH SCORE 45011.944
AT ITER 172 NEW BEST:: SOT 75844 SOS 48869 HAS SOPS 48869 HAS SOUS 44926 HAS SOUPS 44926 WITH SCORE 44974.869
AT ITER 174 NEW BEST:: SOT 75741 SOS 48602 HAS SOPS 48602 HAS SOUS 44645 HAS SOUPS 44645 WITH SCORE 44693.602
AT ITER 177 NEW BEST:: SOT 75741 SOS 48602 HAS SOPS 48602 HAS SOUS 44601 HAS SOUPS 44601 WITH SCORE 44649.602
AT ITER 178 NEW BEST:: SOT 75681 SOS 48438 HAS SOPS 48438 HAS SOUS 44421 HAS SOUPS 44421 WITH SCORE 44469.438
AT ITER 179 NEW BEST:: SOT 75607 SOS 48433 HAS SOPS 48433 HAS SOUS 44416 HAS SOUPS 44416 WITH SCORE 44464.433
AT ITER 180 NEW BEST:: SOT 75458 SOS 48215 HAS SOPS 48215 HAS SOUS 44198 HAS SOUPS 44198 WITH SCORE 44246.215
AT ITER 181 NEW BEST:: SOT 75458 SOS 48017 HAS SOPS 48017 HAS SOUS 44126 HAS SOUPS 44126 WITH SCORE 44174.017
AT ITER 183 NEW BEST:: SOT 75432 SOS 47876 HAS SOPS 47876 HAS SOUS 44072 HAS SOUPS 44072 WITH SCORE 44119.876
AT ITER 188 NEW BEST:: SOT 75371 SOS 47620 HAS SOPS 47620 HAS SOUS 43864 HAS SOUPS 43864 WITH SCORE 43911.62
AT ITER 189 NEW BEST:: SOT 75332 SOS 47503 HAS SOPS 47503 HAS SOUS 43783 HAS SOUPS 43783 WITH SCORE 43830.503
AT ITER 190 NEW BEST:: SOT 75297 SOS 47363 HAS SOPS 47363 HAS SOUS 43671 HAS SOUPS 43671 WITH SCORE 43718.363
AT ITER 191 NEW BEST:: SOT 75254 SOS 47277 HAS SOPS 47277 HAS SOUS 43564 HAS SOUPS 43564 WITH SCORE 43611.277
AT ITER 196 NEW BEST:: SOT 75205 SOS 47248 HAS SOPS 47248 HAS SOUS 43555 HAS SOUPS 43555 WITH SCORE 43602.248
AT ITER 197 NEW BEST:: SOT 75199 SOS 47224 HAS SOPS 47224 HAS SOUS 43534 HAS SOUPS 43534 WITH SCORE 43581.224
AT ITER 201 NEW BEST:: SOT 75031 SOS 46908 HAS SOPS 46908 HAS SOUS 43191 HAS SOUPS 43191 WITH SCORE 43237.908
AT ITER 205 NEW BEST:: SOT 75019 SOS 46872 HAS SOPS 46872 HAS SOUS 43155 HAS SOUPS 43155 WITH SCORE 43201.872
AT ITER 206 NEW BEST:: SOT 74787 SOS 46228 HAS SOPS 46228 HAS SOUS 42566 HAS SOUPS 42566 WITH SCORE 42612.228
AT ITER 213 NEW BEST:: SOT 74657 SOS 46035 HAS SOPS 46035 HAS SOUS 42373 HAS SOUPS 42373 WITH SCORE 42419.035
AT ITER 215 NEW BEST:: SOT 74574 SOS 45762 HAS SOPS 45762 HAS SOUS 42115 HAS SOUPS 42115 WITH SCORE 42160.762
AT ITER 217 NEW BEST:: SOT 74564 SOS 45656 HAS SOPS 45656 HAS SOUS 42085 HAS SOUPS 42085 WITH SCORE 42130.656
AT ITER 219 NEW BEST:: SOT 74564 SOS 45655 HAS SOPS 45655 HAS SOUS 41895 HAS SOUPS 41895 WITH SCORE 41940.655
AT ITER 221 NEW BEST:: SOT 74564 SOS 45655 HAS SOPS 45655 HAS SOUS 41870 HAS SOUPS 41870 WITH SCORE 41915.655
AT ITER 223 NEW BEST:: SOT 74504 SOS 45442 HAS SOPS 45442 HAS SOUS 41662 HAS SOUPS 41662 WITH SCORE 41707.442
AT ITER 225 NEW BEST:: SOT 74237 SOS 45062 HAS SOPS 45062 HAS SOUS 41369 HAS SOUPS 41369 WITH SCORE 41414.062
AT ITER 230 NEW BEST:: SOT 74237 SOS 44979 HAS SOPS 44979 HAS SOUS 41245 HAS SOUPS 41245 WITH SCORE 41289.979
AT ITER 232 NEW BEST:: SOT 74206 SOS 44915 HAS SOPS 44915 HAS SOUS 41237 HAS SOUPS 41237 WITH SCORE 41281.915
AT ITER 236 NEW BEST:: SOT 74182 SOS 44873 HAS SOPS 44873 HAS SOUS 41189 HAS SOUPS 41189 WITH SCORE 41233.873
AT ITER 237 NEW BEST:: SOT 74172 SOS 44823 HAS SOPS 44823 HAS SOUS 41169 HAS SOUPS 41169 WITH SCORE 41213.823
AT ITER 239 NEW BEST:: SOT 74172 SOS 44819 HAS SOPS 44819 HAS SOUS 41147 HAS SOUPS 41147 WITH SCORE 41191.819
AT ITER 242 NEW BEST:: SOT 74123 SOS 44791 HAS SOPS 44791 HAS SOUS 41120 HAS SOUPS 41120 WITH SCORE 41164.791
AT ITER 248 NEW BEST:: SOT 74039 SOS 44705 HAS SOPS 44705 HAS SOUS 41055 HAS SOUPS 41055 WITH SCORE 41099.705
AT ITER 251 NEW BEST:: SOT 74039 SOS 44704 HAS SOPS 44704 HAS SOUS 41052 HAS SOUPS 41052 WITH SCORE 41096.704
AT ITER 257 NEW BEST:: SOT 73963 SOS 44582 HAS SOPS 44582 HAS SOUS 40930 HAS SOUPS 40930 WITH SCORE 40974.582
AT ITER 259 NEW BEST:: SOT 73820 SOS 44437 HAS SOPS 44437 HAS SOUS 40785 HAS SOUPS 40785 WITH SCORE 40829.437
AT ITER 261 NEW BEST:: SOT 73777 SOS 44403 HAS SOPS 44403 HAS SOUS 40682 HAS SOUPS 40682 WITH SCORE 40726.403
AT ITER 262 NEW BEST:: SOT 73777 SOS 44383 HAS SOPS 44383 HAS SOUS 40682 HAS SOUPS 40682 WITH SCORE 40726.383
AT ITER 268 NEW BEST:: SOT 73669 SOS 44167 HAS SOPS 44167 HAS SOUS 40574 HAS SOUPS 40574 WITH SCORE 40618.167
AT ITER 269 NEW BEST:: SOT 73669 SOS 44061 HAS SOPS 44061 HAS SOUS 40521 HAS SOUPS 40521 WITH SCORE 40565.061
AT ITER 270 NEW BEST:: SOT 73668 SOS 44060 HAS SOPS 44060 HAS SOUS 40501 HAS SOUPS 40501 WITH SCORE 40545.06
AT ITER 272 NEW BEST:: SOT 73447 SOS 43709 HAS SOPS 43709 HAS SOUS 40156 HAS SOUPS 40156 WITH SCORE 40199.709
AT ITER 274 NEW BEST:: SOT 73437 SOS 43687 HAS SOPS 43687 HAS SOUS 40135 HAS SOUPS 40135 WITH SCORE 40178.687
AT ITER 278 NEW BEST:: SOT 73435 SOS 43635 HAS SOPS 43635 HAS SOUS 40083 HAS SOUPS 40083 WITH SCORE 40126.635
AT ITER 287 NEW BEST:: SOT 73278 SOS 43487 HAS SOPS 43487 HAS SOUS 39824 HAS SOUPS 39824 WITH SCORE 39867.487
AT ITER 288 NEW BEST:: SOT 73147 SOS 43275 HAS SOPS 43275 HAS SOUS 39591 HAS SOUPS 39591 WITH SCORE 39634.275
AT ITER 289 NEW BEST:: SOT 73073 SOS 43057 HAS SOPS 43057 HAS SOUS 39373 HAS SOUPS 39373 WITH SCORE 39416.057
AT ITER 291 NEW BEST:: SOT 73007 SOS 42910 HAS SOPS 42910 HAS SOUS 39299 HAS SOUPS 39299 WITH SCORE 39341.91
AT ITER 292 NEW BEST:: SOT 73007 SOS 42910 HAS SOPS 42910 HAS SOUS 39198 HAS SOUPS 39198 WITH SCORE 39240.91
AT ITER 303 NEW BEST:: SOT 72996 SOS 42898 HAS SOPS 42898 HAS SOUS 39184 HAS SOUPS 39184 WITH SCORE 39226.898
AT ITER 304 NEW BEST:: SOT 72996 SOS 42901 HAS SOPS 42901 HAS SOUS 39042 HAS SOUPS 39042 WITH SCORE 39084.901
AT ITER 306 NEW BEST:: SOT 72996 SOS 42901 HAS SOPS 42901 HAS SOUS 39022 HAS SOUPS 39022 WITH SCORE 39064.901
AT ITER 309 NEW BEST:: SOT 72915 SOS 42739 HAS SOPS 42739 HAS SOUS 38899 HAS SOUPS 38899 WITH SCORE 38941.739
AT ITER 311 NEW BEST:: SOT 72868 SOS 42676 HAS SOPS 42676 HAS SOUS 38810 HAS SOUPS 38810 WITH SCORE 38852.676
AT ITER 313 NEW BEST:: SOT 72926 SOS 42548 HAS SOPS 42548 HAS SOUS 38764 HAS SOUPS 38764 WITH SCORE 38806.548
AT ITER 315 NEW BEST:: SOT 72944 SOS 42471 HAS SOPS 42471 HAS SOUS 38726 HAS SOUPS 38726 WITH SCORE 38768.471
AT ITER 317 NEW BEST:: SOT 72944 SOS 42425 HAS SOPS 42425 HAS SOUS 38703 HAS SOUPS 38703 WITH SCORE 38745.425
AT ITER 318 NEW BEST:: SOT 72944 SOS 42396 HAS SOPS 42396 HAS SOUS 38703 HAS SOUPS 38703 WITH SCORE 38745.396
AT ITER 322 NEW BEST:: SOT 73023 SOS 42475 HAS SOPS 42475 HAS SOUS 38662 HAS SOUPS 38662 WITH SCORE 38704.475
AT ITER 330 NEW BEST:: SOT 73023 SOS 42603 HAS SOPS 42603 HAS SOUS 38661 HAS SOUPS 38661 WITH SCORE 38703.603
AT ITER 331 NEW BEST:: SOT 73008 SOS 42573 HAS SOPS 42573 HAS SOUS 38586 HAS SOUPS 38586 WITH SCORE 38628.573
AT ITER 335 NEW BEST:: SOT 73008 SOS 42566 HAS SOPS 42566 HAS SOUS 38565 HAS SOUPS 38565 WITH SCORE 38607.566
AT ITER 339 NEW BEST:: SOT 72982 SOS 42540 HAS SOPS 42540 HAS SOUS 38517 HAS SOUPS 38517 WITH SCORE 38559.54
AT ITER 341 NEW BEST:: SOT 72950 SOS 42512 HAS SOPS 42512 HAS SOUS 38489 HAS SOUPS 38489 WITH SCORE 38531.512
AT ITER 342 NEW BEST:: SOT 72879 SOS 42388 HAS SOPS 42388 HAS SOUS 38426 HAS SOUPS 38426 WITH SCORE 38468.388
AT ITER 347 NEW BEST:: SOT 72720 SOS 42171 HAS SOPS 42171 HAS SOUS 38222 HAS SOUPS 38222 WITH SCORE 38264.171
AT ITER 348 NEW BEST:: SOT 72656 SOS 42128 HAS SOPS 42128 HAS SOUS 38104 HAS SOUPS 38104 WITH SCORE 38146.128
AT ITER 350 NEW BEST:: SOT 72656 SOS 42128 HAS SOPS 42128 HAS SOUS 38073 HAS SOUPS 38073 WITH SCORE 38115.128
AT ITER 359 NEW BEST:: SOT 72644 SOS 42110 HAS SOPS 42110 HAS SOUS 38055 HAS SOUPS 38055 WITH SCORE 38097.11
AT ITER 361 NEW BEST:: SOT 72559 SOS 41863 HAS SOPS 41863 HAS SOUS 37808 HAS SOUPS 37808 WITH SCORE 37849.863
AT ITER 363 NEW BEST:: SOT 72423 SOS 41667 HAS SOPS 41667 HAS SOUS 37612 HAS SOUPS 37612 WITH SCORE 37653.667
AT ITER 367 NEW BEST:: SOT 72423 SOS 41633 HAS SOPS 41633 HAS SOUS 37592 HAS SOUPS 37592 WITH SCORE 37633.633
AT ITER 369 NEW BEST:: SOT 72225 SOS 41369 HAS SOPS 41369 HAS SOUS 37328 HAS SOUPS 37328 WITH SCORE 37369.369
AT ITER 370 NEW BEST:: SOT 72199 SOS 41367 HAS SOPS 41367 HAS SOUS 37325 HAS SOUPS 37325 WITH SCORE 37366.367
AT ITER 375 NEW BEST:: SOT 71870 SOS 40760 HAS SOPS 40760 HAS SOUS 36621 HAS SOUPS 36621 WITH SCORE 36661.76
AT ITER 376 NEW BEST:: SOT 71870 SOS 40800 HAS SOPS 40800 HAS SOUS 36607 HAS SOUPS 36607 WITH SCORE 36647.8
AT ITER 377 NEW BEST:: SOT 71859 SOS 40777 HAS SOPS 40777 HAS SOUS 36558 HAS SOUPS 36558 WITH SCORE 36598.777
AT ITER 379 NEW BEST:: SOT 71805 SOS 40728 HAS SOPS 40728 HAS SOUS 36514 HAS SOUPS 36514 WITH SCORE 36554.728
AT ITER 380 NEW BEST:: SOT 71803 SOS 40722 HAS SOPS 40722 HAS SOUS 36508 HAS SOUPS 36508 WITH SCORE 36548.722
AT ITER 381 NEW BEST:: SOT 71784 SOS 40571 HAS SOPS 40571 HAS SOUS 36320 HAS SOUPS 36320 WITH SCORE 36360.571
AT ITER 390 NEW BEST:: SOT 71749 SOS 40574 HAS SOPS 40574 HAS SOUS 36279 HAS SOUPS 36279 WITH SCORE 36319.574
AT ITER 391 NEW BEST:: SOT 71741 SOS 40522 HAS SOPS 40522 HAS SOUS 36275 HAS SOUPS 36275 WITH SCORE 36315.522
AT ITER 397 NEW BEST:: SOT 71697 SOS 40428 HAS SOPS 40428 HAS SOUS 36215 HAS SOUPS 36215 WITH SCORE 36255.428
AT ITER 399 NEW BEST:: SOT 71696 SOS 40425 HAS SOPS 40425 HAS SOUS 36213 HAS SOUPS 36213 WITH SCORE 36253.425
AT ITER 401 NEW BEST:: SOT 71683 SOS 40399 HAS SOPS 40399 HAS SOUS 36174 HAS SOUPS 36174 WITH SCORE 36214.399
AT ITER 402 NEW BEST:: SOT 71683 SOS 40403 HAS SOPS 40403 HAS SOUS 36170 HAS SOUPS 36170 WITH SCORE 36210.403
AT ITER 403 NEW BEST:: SOT 71499 SOS 40012 HAS SOPS 40012 HAS SOUS 35861 HAS SOUPS 35861 WITH SCORE 35901.012
AT ITER 411 NEW BEST:: SOT 71499 SOS 39887 HAS SOPS 39887 HAS SOUS 35861 HAS SOUPS 35861 WITH SCORE 35900.887
AT ITER 413 NEW BEST:: SOT 71499 SOS 39820 HAS SOPS 39820 HAS SOUS 35780 HAS SOUPS 35780 WITH SCORE 35819.82
AT ITER 416 NEW BEST:: SOT 71453 SOS 39746 HAS SOPS 39746 HAS SOUS 35710 HAS SOUPS 35710 WITH SCORE 35749.746
AT ITER 419 NEW BEST:: SOT 71439 SOS 39734 HAS SOPS 39734 HAS SOUS 35682 HAS SOUPS 35682 WITH SCORE 35721.734
AT ITER 420 NEW BEST:: SOT 71354 SOS 39662 HAS SOPS 39662 HAS SOUS 35610 HAS SOUPS 35610 WITH SCORE 35649.662
AT ITER 421 NEW BEST:: SOT 71326 SOS 39634 HAS SOPS 39634 HAS SOUS 35582 HAS SOUPS 35582 WITH SCORE 35621.634
AT ITER 426 NEW BEST:: SOT 71326 SOS 39634 HAS SOPS 39634 HAS SOUS 35575 HAS SOUPS 35575 WITH SCORE 35614.634
AT ITER 430 NEW BEST:: SOT 71301 SOS 39609 HAS SOPS 39609 HAS SOUS 35572 HAS SOUPS 35572 WITH SCORE 35611.609
AT ITER 432 NEW BEST:: SOT 71271 SOS 39489 HAS SOPS 39489 HAS SOUS 35482 HAS SOUPS 35482 WITH SCORE 35521.489
AT ITER 433 NEW BEST:: SOT 71197 SOS 39342 HAS SOPS 39342 HAS SOUS 35388 HAS SOUPS 35388 WITH SCORE 35427.342
AT ITER 434 NEW BEST:: SOT 71188 SOS 39330 HAS SOPS 39330 HAS SOUS 35376 HAS SOUPS 35376 WITH SCORE 35415.33
AT ITER 438 NEW BEST:: SOT 71188 SOS 39330 HAS SOPS 39330 HAS SOUS 35367 HAS SOUPS 35367 WITH SCORE 35406.33
AT ITER 440 NEW BEST:: SOT 71150 SOS 39292 HAS SOPS 39292 HAS SOUS 35329 HAS SOUPS 35329 WITH SCORE 35368.292
AT ITER 442 NEW BEST:: SOT 71115 SOS 39249 HAS SOPS 39249 HAS SOUS 35286 HAS SOUPS 35286 WITH SCORE 35325.249
AT ITER 446 NEW BEST:: SOT 71061 SOS 39168 HAS SOPS 39168 HAS SOUS 35142 HAS SOUPS 35142 WITH SCORE 35181.168
AT ITER 450 NEW BEST:: SOT 71008 SOS 39115 HAS SOPS 39115 HAS SOUS 35034 HAS SOUPS 35034 WITH SCORE 35073.115
AT ITER 451 NEW BEST:: SOT 70921 SOS 38939 HAS SOPS 38939 HAS SOUS 34858 HAS SOUPS 34858 WITH SCORE 34896.939
AT ITER 457 NEW BEST:: SOT 70737 SOS 38661 HAS SOPS 38661 HAS SOUS 34576 HAS SOUPS 34576 WITH SCORE 34614.661
AT ITER 464 NEW BEST:: SOT 70713 SOS 38637 HAS SOPS 38637 HAS SOUS 34544 HAS SOUPS 34544 WITH SCORE 34582.637
AT ITER 470 NEW BEST:: SOT 70678 SOS 38602 HAS SOPS 38602 HAS SOUS 34509 HAS SOUPS 34509 WITH SCORE 34547.602
AT ITER 478 NEW BEST:: SOT 70534 SOS 38333 HAS SOPS 38333 HAS SOUS 34191 HAS SOUPS 34191 WITH SCORE 34229.333
AT ITER 480 NEW BEST:: SOT 70471 SOS 38081 HAS SOPS 38081 HAS SOUS 34002 HAS SOUPS 34002 WITH SCORE 34040.081
AT ITER 483 NEW BEST:: SOT 70455 SOS 37950 HAS SOPS 37950 HAS SOUS 33982 HAS SOUPS 33982 WITH SCORE 34019.95
AT ITER 493 NEW BEST:: SOT 70429 SOS 37910 HAS SOPS 37910 HAS SOUS 33962 HAS SOUPS 33962 WITH SCORE 33999.91
AT ITER 494 NEW BEST:: SOT 70429 SOS 37871 HAS SOPS 37871 HAS SOUS 33951 HAS SOUPS 33951 WITH SCORE 33988.871
AT ITER 504 NEW BEST:: SOT 70364 SOS 37806 HAS SOPS 37806 HAS SOUS 33906 HAS SOUPS 33906 WITH SCORE 33943.806
AT ITER 508 NEW BEST:: SOT 70335 SOS 37722 HAS SOPS 37722 HAS SOUS 33837 HAS SOUPS 33837 WITH SCORE 33874.722
AT ITER 512 NEW BEST:: SOT 70350 SOS 37639 HAS SOPS 37639 HAS SOUS 33801 HAS SOUPS 33801 WITH SCORE 33838.639
AT ITER 518 NEW BEST:: SOT 70314 SOS 37567 HAS SOPS 37567 HAS SOUS 33765 HAS SOUPS 33765 WITH SCORE 33802.567
AT ITER 519 NEW BEST:: SOT 70294 SOS 37507 HAS SOPS 37507 HAS SOUS 33739 HAS SOUPS 33739 WITH SCORE 33776.507
AT ITER 524 NEW BEST:: SOT 70300 SOS 37635 HAS SOPS 37635 HAS SOUS 33655 HAS SOUPS 33655 WITH SCORE 33692.635
AT ITER 532 NEW BEST:: SOT 70240 SOS 37575 HAS SOPS 37575 HAS SOUS 33595 HAS SOUPS 33595 WITH SCORE 33632.575
AT ITER 535 NEW BEST:: SOT 70139 SOS 37238 HAS SOPS 37238 HAS SOUS 33351 HAS SOUPS 33351 WITH SCORE 33388.238
AT ITER 543 NEW BEST:: SOT 69955 SOS 37033 HAS SOPS 37033 HAS SOUS 33114 HAS SOUPS 33114 WITH SCORE 33151.033
AT ITER 545 NEW BEST:: SOT 69884 SOS 36771 HAS SOPS 36771 HAS SOUS 32901 HAS SOUPS 32901 WITH SCORE 32937.771
AT ITER 548 NEW BEST:: SOT 69847 SOS 36736 HAS SOPS 36736 HAS SOUS 32888 HAS SOUPS 32888 WITH SCORE 32924.736
AT ITER 550 NEW BEST:: SOT 69833 SOS 36694 HAS SOPS 36694 HAS SOUS 32867 HAS SOUPS 32867 WITH SCORE 32903.694
AT ITER 552 NEW BEST:: SOT 69904 SOS 36740 HAS SOPS 36740 HAS SOUS 32842 HAS SOUPS 32842 WITH SCORE 32878.74
AT ITER 557 NEW BEST:: SOT 69723 SOS 36536 HAS SOPS 36536 HAS SOUS 32636 HAS SOUPS 32636 WITH SCORE 32672.536
AT ITER 561 NEW BEST:: SOT 69536 SOS 36285 HAS SOPS 36285 HAS SOUS 32491 HAS SOUPS 32491 WITH SCORE 32527.285
AT ITER 566 NEW BEST:: SOT 69379 SOS 35921 HAS SOPS 35921 HAS SOUS 32136 HAS SOUPS 32136 WITH SCORE 32171.921
AT ITER 571 NEW BEST:: SOT 69353 SOS 35856 HAS SOPS 35856 HAS SOUS 32071 HAS SOUPS 32071 WITH SCORE 32106.856
AT ITER 573 NEW BEST:: SOT 69313 SOS 35816 HAS SOPS 35816 HAS SOUS 32031 HAS SOUPS 32031 WITH SCORE 32066.816
AT ITER 577 NEW BEST:: SOT 69262 SOS 35694 HAS SOPS 35694 HAS SOUS 31909 HAS SOUPS 31909 WITH SCORE 31944.694
AT ITER 585 NEW BEST:: SOT 69256 SOS 35685 HAS SOPS 35685 HAS SOUS 31900 HAS SOUPS 31900 WITH SCORE 31935.685
AT ITER 594 NEW BEST:: SOT 69225 SOS 35587 HAS SOPS 35587 HAS SOUS 31821 HAS SOUPS 31821 WITH SCORE 31856.587
AT ITER 597 NEW BEST:: SOT 69142 SOS 35485 HAS SOPS 35485 HAS SOUS 31714 HAS SOUPS 31714 WITH SCORE 31749.485
AT ITER 600 NEW BEST:: SOT 68888 SOS 35044 HAS SOPS 35044 HAS SOUS 31324 HAS SOUPS 31324 WITH SCORE 31359.044
AT ITER 620 NEW BEST:: SOT 68845 SOS 34972 HAS SOPS 34972 HAS SOUS 31226 HAS SOUPS 31226 WITH SCORE 31260.972
AT ITER 641 NEW BEST:: SOT 68838 SOS 34951 HAS SOPS 34951 HAS SOUS 31205 HAS SOUPS 31205 WITH SCORE 31239.951
AT ITER 647 NEW BEST:: SOT 68730 SOS 34801 HAS SOPS 34801 HAS SOUS 31019 HAS SOUPS 31019 WITH SCORE 31053.801
AT ITER 649 NEW BEST:: SOT 68730 SOS 34817 HAS SOPS 34817 HAS SOUS 31003 HAS SOUPS 31003 WITH SCORE 31037.817
AT ITER 652 NEW BEST:: SOT 68722 SOS 34809 HAS SOPS 34809 HAS SOUS 30988 HAS SOUPS 30988 WITH SCORE 31022.809
AT ITER 653 NEW BEST:: SOT 68709 SOS 34783 HAS SOPS 34783 HAS SOUS 30965 HAS SOUPS 30965 WITH SCORE 30999.783
AT ITER 657 NEW BEST:: SOT 68557 SOS 34631 HAS SOPS 34631 HAS SOUS 30809 HAS SOUPS 30809 WITH SCORE 30843.631
AT ITER 672 NEW BEST:: SOT 68527 SOS 34533 HAS SOPS 34533 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30683.533
AT ITER 677 NEW BEST:: SOT 68532 SOS 34538 HAS SOPS 34538 HAS SOUS 30594 HAS SOUPS 30594 WITH SCORE 30628.538
AT ITER 683 NEW BEST:: SOT 68489 SOS 34471 HAS SOPS 34471 HAS SOUS 30503 HAS SOUPS 30503 WITH SCORE 30537.471
AT ITER 685 NEW BEST:: SOT 68470 SOS 34420 HAS SOPS 34420 HAS SOUS 30485 HAS SOUPS 30485 WITH SCORE 30519.42
AT ITER 689 NEW BEST:: SOT 68426 SOS 34230 HAS SOPS 34230 HAS SOUS 30352 HAS SOUPS 30352 WITH SCORE 30386.23
AT ITER 694 NEW BEST:: SOT 68353 SOS 34118 HAS SOPS 34118 HAS SOUS 30209 HAS SOUPS 30209 WITH SCORE 30243.118
AT ITER 697 NEW BEST:: SOT 68326 SOS 34091 HAS SOPS 34091 HAS SOUS 30182 HAS SOUPS 30182 WITH SCORE 30216.091
AT ITER 699 NEW BEST:: SOT 68271 SOS 34036 HAS SOPS 34036 HAS SOUS 30163 HAS SOUPS 30163 WITH SCORE 30197.036
AT ITER 702 NEW BEST:: SOT 68263 SOS 34025 HAS SOPS 34025 HAS SOUS 30155 HAS SOUPS 30155 WITH SCORE 30189.025
AT ITER 710 NEW BEST:: SOT 68229 SOS 33991 HAS SOPS 33991 HAS SOUS 30097 HAS SOUPS 30097 WITH SCORE 30130.991
AT ITER 716 NEW BEST:: SOT 68208 SOS 33960 HAS SOPS 33960 HAS SOUS 30066 HAS SOUPS 30066 WITH SCORE 30099.96
AT ITER 719 NEW BEST:: SOT 68180 SOS 33899 HAS SOPS 33899 HAS SOUS 29993 HAS SOUPS 29993 WITH SCORE 30026.899
AT ITER 721 NEW BEST:: SOT 68118 SOS 33661 HAS SOPS 33661 HAS SOUS 29963 HAS SOUPS 29963 WITH SCORE 29996.661
AT ITER 724 NEW BEST:: SOT 68116 SOS 33655 HAS SOPS 33655 HAS SOUS 29949 HAS SOUPS 29949 WITH SCORE 29982.655
AT ITER 753 NEW BEST:: SOT 68049 SOS 33443 HAS SOPS 33443 HAS SOUS 29886 HAS SOUPS 29886 WITH SCORE 29919.443
AT ITER 759 NEW BEST:: SOT 67911 SOS 33238 HAS SOPS 33238 HAS SOUS 29617 HAS SOUPS 29617 WITH SCORE 29650.238
AT ITER 760 NEW BEST:: SOT 67925 SOS 33220 HAS SOPS 33220 HAS SOUS 29599 HAS SOUPS 29599 WITH SCORE 29632.22
AT ITER 761 NEW BEST:: SOT 67920 SOS 33232 HAS SOPS 33232 HAS SOUS 29594 HAS SOUPS 29594 WITH SCORE 29627.232
AT ITER 766 NEW BEST:: SOT 67848 SOS 33207 HAS SOPS 33207 HAS SOUS 29367 HAS SOUPS 29367 WITH SCORE 29400.207
AT ITER 768 NEW BEST:: SOT 67843 SOS 33187 HAS SOPS 33187 HAS SOUS 29352 HAS SOUPS 29352 WITH SCORE 29385.187
AT ITER 770 NEW BEST:: SOT 67776 SOS 33176 HAS SOPS 33176 HAS SOUS 29052 HAS SOUPS 29052 WITH SCORE 29085.176
AT ITER 771 NEW BEST:: SOT 67753 SOS 33112 HAS SOPS 33112 HAS SOUS 28988 HAS SOUPS 28988 WITH SCORE 29021.112
AT ITER 777 NEW BEST:: SOT 67753 SOS 33117 HAS SOPS 33117 HAS SOUS 28980 HAS SOUPS 28980 WITH SCORE 29013.117
AT ITER 778 NEW BEST:: SOT 67703 SOS 33054 HAS SOPS 33054 HAS SOUS 28904 HAS SOUPS 28904 WITH SCORE 28937.054
AT ITER 784 NEW BEST:: SOT 67658 SOS 32970 HAS SOPS 32970 HAS SOUS 28818 HAS SOUPS 28818 WITH SCORE 28850.97
AT ITER 788 NEW BEST:: SOT 67619 SOS 32918 HAS SOPS 32918 HAS SOUS 28766 HAS SOUPS 28766 WITH SCORE 28798.918
AT ITER 790 NEW BEST:: SOT 67495 SOS 32726 HAS SOPS 32726 HAS SOUS 28574 HAS SOUPS 28574 WITH SCORE 28606.726
AT ITER 792 NEW BEST:: SOT 67408 SOS 32550 HAS SOPS 32550 HAS SOUS 28508 HAS SOUPS 28508 WITH SCORE 28540.55
AT ITER 802 NEW BEST:: SOT 67350 SOS 32434 HAS SOPS 32434 HAS SOUS 28440 HAS SOUPS 28440 WITH SCORE 28472.434
AT ITER 806 NEW BEST:: SOT 67350 SOS 32434 HAS SOPS 32434 HAS SOUS 28437 HAS SOUPS 28437 WITH SCORE 28469.434
AT ITER 816 NEW BEST:: SOT 67267 SOS 32313 HAS SOPS 32313 HAS SOUS 28299 HAS SOUPS 28299 WITH SCORE 28331.313
AT ITER 839 NEW BEST:: SOT 67261 SOS 32232 HAS SOPS 32232 HAS SOUS 28266 HAS SOUPS 28266 WITH SCORE 28298.232
AT ITER 846 NEW BEST:: SOT 67202 SOS 32043 HAS SOPS 32043 HAS SOUS 28124 HAS SOUPS 28124 WITH SCORE 28156.043
AT ITER 853 NEW BEST:: SOT 67212 SOS 32038 HAS SOPS 32038 HAS SOUS 28119 HAS SOUPS 28119 WITH SCORE 28151.038
AT ITER 860 NEW BEST:: SOT 67203 SOS 31993 HAS SOPS 31993 HAS SOUS 28101 HAS SOUPS 28101 WITH SCORE 28132.993
AT ITER 863 NEW BEST:: SOT 67173 SOS 31920 HAS SOPS 31920 HAS SOUS 28055 HAS SOUPS 28055 WITH SCORE 28086.92
AT ITER 867 NEW BEST:: SOT 67145 SOS 31893 HAS SOPS 31893 HAS SOUS 27999 HAS SOUPS 27999 WITH SCORE 28030.893
AT ITER 871 NEW BEST:: SOT 67145 SOS 31893 HAS SOPS 31893 HAS SOUS 27985 HAS SOUPS 27985 WITH SCORE 28016.893
AT ITER 872 NEW BEST:: SOT 67140 SOS 31868 HAS SOPS 31868 HAS SOUS 27975 HAS SOUPS 27975 WITH SCORE 28006.868
AT ITER 882 NEW BEST:: SOT 67140 SOS 31819 HAS SOPS 31819 HAS SOUS 27975 HAS SOUPS 27975 WITH SCORE 28006.819
AT ITER 892 NEW BEST:: SOT 67141 SOS 31800 HAS SOPS 31800 HAS SOUS 27956 HAS SOUPS 27956 WITH SCORE 27987.8
AT ITER 894 NEW BEST:: SOT 67111 SOS 31752 HAS SOPS 31752 HAS SOUS 27906 HAS SOUPS 27906 WITH SCORE 27937.752
AT ITER 907 NEW BEST:: SOT 67096 SOS 31737 HAS SOPS 31737 HAS SOUS 27891 HAS SOUPS 27891 WITH SCORE 27922.737
AT ITER 911 NEW BEST:: SOT 67011 SOS 31518 HAS SOPS 31518 HAS SOUS 27737 HAS SOUPS 27737 WITH SCORE 27768.518
AT ITER 919 NEW BEST:: SOT 66984 SOS 31461 HAS SOPS 31461 HAS SOUS 27680 HAS SOUPS 27680 WITH SCORE 27711.461
AT ITER 948 NEW BEST:: SOT 66984 SOS 31461 HAS SOPS 31461 HAS SOUS 27677 HAS SOUPS 27677 WITH SCORE 27708.461
AT ITER 953 NEW BEST:: SOT 66943 SOS 31393 HAS SOPS 31393 HAS SOUS 27609 HAS SOUPS 27609 WITH SCORE 27640.393
AT ITER 955 NEW BEST:: SOT 66941 SOS 31391 HAS SOPS 31391 HAS SOUS 27607 HAS SOUPS 27607 WITH SCORE 27638.391
AT ITER 957 NEW BEST:: SOT 66941 SOS 31391 HAS SOPS 31391 HAS SOUS 27603 HAS SOUPS 27603 WITH SCORE 27634.391
AT ITER 958 NEW BEST:: SOT 66893 SOS 31251 HAS SOPS 31251 HAS SOUS 27539 HAS SOUPS 27539 WITH SCORE 27570.251
AT ITER 963 NEW BEST:: SOT 66851 SOS 31188 HAS SOPS 31188 HAS SOUS 27479 HAS SOUPS 27479 WITH SCORE 27510.188
AT ITER 968 NEW BEST:: SOT 66851 SOS 31187 HAS SOPS 31187 HAS SOUS 27479 HAS SOUPS 27479 WITH SCORE 27510.187
AT ITER 974 NEW BEST:: SOT 66838 SOS 31161 HAS SOPS 31161 HAS SOUS 27460 HAS SOUPS 27460 WITH SCORE 27491.161
AT ITER 981 NEW BEST:: SOT 66803 SOS 31079 HAS SOPS 31079 HAS SOUS 27413 HAS SOUPS 27413 WITH SCORE 27444.079
AT ITER 998 NEW BEST:: SOT 66692 SOS 30862 HAS SOPS 30862 HAS SOUS 27186 HAS SOUPS 27186 WITH SCORE 27216.862
AT ITER 1002 NEW BEST:: SOT 66658 SOS 30786 HAS SOPS 30786 HAS SOUS 27118 HAS SOUPS 27118 WITH SCORE 27148.786
AT ITER 1009 NEW BEST:: SOT 66606 SOS 30578 HAS SOPS 30578 HAS SOUS 27014 HAS SOUPS 27014 WITH SCORE 27044.578
AT ITER 1010 NEW BEST:: SOT 66576 SOS 30538 HAS SOPS 30538 HAS SOUS 26963 HAS SOUPS 26963 WITH SCORE 26993.538
AT ITER 1017 NEW BEST:: SOT 66571 SOS 30515 HAS SOPS 30515 HAS SOUS 26963 HAS SOUPS 26963 WITH SCORE 26993.515
AT ITER 1028 NEW BEST:: SOT 66557 SOS 30461 HAS SOPS 30461 HAS SOUS 26909 HAS SOUPS 26909 WITH SCORE 26939.461
AT ITER 1029 NEW BEST:: SOT 66529 SOS 30419 HAS SOPS 30419 HAS SOUS 26874 HAS SOUPS 26874 WITH SCORE 26904.419
AT ITER 1032 NEW BEST:: SOT 66523 SOS 30391 HAS SOPS 30391 HAS SOUS 26846 HAS SOUPS 26846 WITH SCORE 26876.391
AT ITER 1043 NEW BEST:: SOT 66523 SOS 30382 HAS SOPS 30382 HAS SOUS 26846 HAS SOUPS 26846 WITH SCORE 26876.382
AT ITER 1057 NEW BEST:: SOT 66425 SOS 30164 HAS SOPS 30164 HAS SOUS 26688 HAS SOUPS 26688 WITH SCORE 26718.164
AT ITER 1065 NEW BEST:: SOT 66363 SOS 30045 HAS SOPS 30045 HAS SOUS 26557 HAS SOUPS 26557 WITH SCORE 26587.045
AT ITER 1077 NEW BEST:: SOT 66334 SOS 29964 HAS SOPS 29964 HAS SOUS 26476 HAS SOUPS 26476 WITH SCORE 26505.964
AT ITER 1089 NEW BEST:: SOT 66332 SOS 29968 HAS SOPS 29968 HAS SOUS 26459 HAS SOUPS 26459 WITH SCORE 26488.968
AT ITER 1104 NEW BEST:: SOT 66261 SOS 29897 HAS SOPS 29897 HAS SOUS 26388 HAS SOUPS 26388 WITH SCORE 26417.897
AT ITER 1108 NEW BEST:: SOT 66261 SOS 29874 HAS SOPS 29874 HAS SOUS 26342 HAS SOUPS 26342 WITH SCORE 26371.874
AT ITER 1119 NEW BEST:: SOT 66261 SOS 29856 HAS SOPS 29856 HAS SOUS 26342 HAS SOUPS 26342 WITH SCORE 26371.856
AT ITER 1122 NEW BEST:: SOT 66245 SOS 29792 HAS SOPS 29792 HAS SOUS 26310 HAS SOUPS 26310 WITH SCORE 26339.792
AT ITER 1127 NEW BEST:: SOT 66235 SOS 29782 HAS SOPS 29782 HAS SOUS 26300 HAS SOUPS 26300 WITH SCORE 26329.782
AT ITER 1130 NEW BEST:: SOT 66204 SOS 29751 HAS SOPS 29751 HAS SOUS 26269 HAS SOUPS 26269 WITH SCORE 26298.751
AT ITER 1141 NEW BEST:: SOT 66198 SOS 29727 HAS SOPS 29727 HAS SOUS 26251 HAS SOUPS 26251 WITH SCORE 26280.727
AT ITER 1146 NEW BEST:: SOT 66161 SOS 29538 HAS SOPS 29538 HAS SOUS 26149 HAS SOUPS 26149 WITH SCORE 26178.538
AT ITER 1149 NEW BEST:: SOT 66071 SOS 29424 HAS SOPS 29424 HAS SOUS 26050 HAS SOUPS 26050 WITH SCORE 26079.424
AT ITER 1160 NEW BEST:: SOT 66079 SOS 29403 HAS SOPS 29403 HAS SOUS 26029 HAS SOUPS 26029 WITH SCORE 26058.403
AT ITER 1167 NEW BEST:: SOT 66015 SOS 29328 HAS SOPS 29328 HAS SOUS 25954 HAS SOUPS 25954 WITH SCORE 25983.328
AT ITER 1173 NEW BEST:: SOT 66013 SOS 29322 HAS SOPS 29322 HAS SOUS 25952 HAS SOUPS 25952 WITH SCORE 25981.322
AT ITER 1174 NEW BEST:: SOT 65956 SOS 29247 HAS SOPS 29247 HAS SOUS 25877 HAS SOUPS 25877 WITH SCORE 25906.247
AT ITER 1175 NEW BEST:: SOT 65956 SOS 29209 HAS SOPS 29209 HAS SOUS 25850 HAS SOUPS 25850 WITH SCORE 25879.209
AT ITER 1181 NEW BEST:: SOT 65961 SOS 29224 HAS SOPS 29224 HAS SOUS 25836 HAS SOUPS 25836 WITH SCORE 25865.224
AT ITER 1183 NEW BEST:: SOT 65940 SOS 29204 HAS SOPS 29204 HAS SOUS 25805 HAS SOUPS 25805 WITH SCORE 25834.204
AT ITER 1193 NEW BEST:: SOT 65872 SOS 28926 HAS SOPS 28926 HAS SOUS 25572 HAS SOUPS 25572 WITH SCORE 25600.926
AT ITER 1207 NEW BEST:: SOT 65855 SOS 28839 HAS SOPS 28839 HAS SOUS 25509 HAS SOUPS 25509 WITH SCORE 25537.839
AT ITER 1214 NEW BEST:: SOT 65729 SOS 28651 HAS SOPS 28651 HAS SOUS 25257 HAS SOUPS 25257 WITH SCORE 25285.651
AT ITER 1222 NEW BEST:: SOT 65694 SOS 28616 HAS SOPS 28616 HAS SOUS 25233 HAS SOUPS 25233 WITH SCORE 25261.616
AT ITER 1230 NEW BEST:: SOT 65643 SOS 28568 HAS SOPS 28568 HAS SOUS 25185 HAS SOUPS 25185 WITH SCORE 25213.568
AT ITER 1234 NEW BEST:: SOT 65502 SOS 28147 HAS SOPS 28147 HAS SOUS 24936 HAS SOUPS 24936 WITH SCORE 24964.147
AT ITER 1240 NEW BEST:: SOT 65497 SOS 28132 HAS SOPS 28132 HAS SOUS 24921 HAS SOUPS 24921 WITH SCORE 24949.132
AT ITER 1262 NEW BEST:: SOT 65491 SOS 28116 HAS SOPS 28116 HAS SOUS 24886 HAS SOUPS 24886 WITH SCORE 24914.116
AT ITER 1263 NEW BEST:: SOT 65489 SOS 28113 HAS SOPS 28113 HAS SOUS 24883 HAS SOUPS 24883 WITH SCORE 24911.113
AT ITER 1264 NEW BEST:: SOT 65448 SOS 28025 HAS SOPS 28025 HAS SOUS 24836 HAS SOUPS 24836 WITH SCORE 24864.025
AT ITER 1278 NEW BEST:: SOT 65448 SOS 28018 HAS SOPS 28018 HAS SOUS 24829 HAS SOUPS 24829 WITH SCORE 24857.018
AT ITER 1289 NEW BEST:: SOT 65475 SOS 28084 HAS SOPS 28084 HAS SOUS 24798 HAS SOUPS 24798 WITH SCORE 24826.084
AT ITER 1291 NEW BEST:: SOT 65446 SOS 28031 HAS SOPS 28031 HAS SOUS 24745 HAS SOUPS 24745 WITH SCORE 24773.031
AT ITER 1299 NEW BEST:: SOT 65429 SOS 27946 HAS SOPS 27946 HAS SOUS 24708 HAS SOUPS 24708 WITH SCORE 24735.946
AT ITER 1301 NEW BEST:: SOT 65375 SOS 27908 HAS SOPS 27908 HAS SOUS 24658 HAS SOUPS 24658 WITH SCORE 24685.908
AT ITER 1315 NEW BEST:: SOT 65365 SOS 27898 HAS SOPS 27898 HAS SOUS 24648 HAS SOUPS 24648 WITH SCORE 24675.898
AT ITER 1325 NEW BEST:: SOT 65365 SOS 27723 HAS SOPS 27723 HAS SOUS 24628 HAS SOUPS 24628 WITH SCORE 24655.723
AT ITER 1350 NEW BEST:: SOT 65344 SOS 27697 HAS SOPS 27697 HAS SOUS 24596 HAS SOUPS 24596 WITH SCORE 24623.697
AT ITER 1359 NEW BEST:: SOT 65346 SOS 27691 HAS SOPS 27691 HAS SOUS 24587 HAS SOUPS 24587 WITH SCORE 24614.691
AT ITER 1376 NEW BEST:: SOT 65346 SOS 27691 HAS SOPS 27691 HAS SOUS 24585 HAS SOUPS 24585 WITH SCORE 24612.691
AT ITER 1380 NEW BEST:: SOT 65338 SOS 27551 HAS SOPS 27551 HAS SOUS 24527 HAS SOUPS 24527 WITH SCORE 24554.551
AT ITER 1381 NEW BEST:: SOT 65316 SOS 27485 HAS SOPS 27485 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24490.485
AT ITER 1406 NEW BEST:: SOT 65303 SOS 27356 HAS SOPS 27356 HAS SOUS 24457 HAS SOUPS 24457 WITH SCORE 24484.356
AT ITER 1426 NEW BEST:: SOT 65288 SOS 27341 HAS SOPS 27341 HAS SOUS 24442 HAS SOUPS 24442 WITH SCORE 24469.341
AT ITER 1431 NEW BEST:: SOT 65300 SOS 27370 HAS SOPS 27370 HAS SOUS 24364 HAS SOUPS 24364 WITH SCORE 24391.37
AT ITER 1439 NEW BEST:: SOT 65248 SOS 27318 HAS SOPS 27318 HAS SOUS 24312 HAS SOUPS 24312 WITH SCORE 24339.318
AT ITER 1444 NEW BEST:: SOT 65218 SOS 27278 HAS SOPS 27278 HAS SOUS 24269 HAS SOUPS 24269 WITH SCORE 24296.278
AT ITER 1451 NEW BEST:: SOT 65218 SOS 27278 HAS SOPS 27278 HAS SOUS 24260 HAS SOUPS 24260 WITH SCORE 24287.278
AT ITER 1462 NEW BEST:: SOT 65210 SOS 27270 HAS SOPS 27270 HAS SOUS 24252 HAS SOUPS 24252 WITH SCORE 24279.27
AT ITER 1471 NEW BEST:: SOT 65166 SOS 27226 HAS SOPS 27226 HAS SOUS 24159 HAS SOUPS 24159 WITH SCORE 24186.226
AT ITER 1477 NEW BEST:: SOT 65153 SOS 27176 HAS SOPS 27176 HAS SOUS 24120 HAS SOUPS 24120 WITH SCORE 24147.176
AT ITER 1484 NEW BEST:: SOT 65126 SOS 27104 HAS SOPS 27104 HAS SOUS 24058 HAS SOUPS 24058 WITH SCORE 24085.104
AT ITER 1491 NEW BEST:: SOT 65068 SOS 27049 HAS SOPS 27049 HAS SOUS 24003 HAS SOUPS 24003 WITH SCORE 24030.049
AT ITER 1494 NEW BEST:: SOT 65055 SOS 27123 HAS SOPS 27123 HAS SOUS 23996 HAS SOUPS 23996 WITH SCORE 24023.123
AT ITER 1501 NEW BEST:: SOT 65026 SOS 27050 HAS SOPS 27050 HAS SOUS 23971 HAS SOUPS 23971 WITH SCORE 23998.05
AT ITER 1503 NEW BEST:: SOT 65013 SOS 27047 HAS SOPS 27047 HAS SOUS 23957 HAS SOUPS 23957 WITH SCORE 23984.047
AT ITER 1512 NEW BEST:: SOT 65013 SOS 27024 HAS SOPS 27024 HAS SOUS 23934 HAS SOUPS 23934 WITH SCORE 23961.024
AT ITER 1515 NEW BEST:: SOT 64960 SOS 26988 HAS SOPS 26988 HAS SOUS 23891 HAS SOUPS 23891 WITH SCORE 23917.988
AT ITER 1520 NEW BEST:: SOT 64968 SOS 26999 HAS SOPS 26999 HAS SOUS 23885 HAS SOUPS 23885 WITH SCORE 23911.999
AT ITER 1536 NEW BEST:: SOT 64960 SOS 27003 HAS SOPS 27003 HAS SOUS 23868 HAS SOUPS 23868 WITH SCORE 23895.003
AT ITER 1537 NEW BEST:: SOT 64840 SOS 26883 HAS SOPS 26883 HAS SOUS 23688 HAS SOUPS 23688 WITH SCORE 23714.883
AT ITER 1538 NEW BEST:: SOT 64799 SOS 26770 HAS SOPS 26770 HAS SOUS 23471 HAS SOUPS 23471 WITH SCORE 23497.77
AT ITER 1552 NEW BEST:: SOT 64799 SOS 26781 HAS SOPS 26781 HAS SOUS 23447 HAS SOUPS 23447 WITH SCORE 23473.781
AT ITER 1560 NEW BEST:: SOT 64769 SOS 26739 HAS SOPS 26739 HAS SOUS 23405 HAS SOUPS 23405 WITH SCORE 23431.739
AT ITER 1571 NEW BEST:: SOT 64754 SOS 26709 HAS SOPS 26709 HAS SOUS 23375 HAS SOUPS 23375 WITH SCORE 23401.709
AT ITER 1585 NEW BEST:: SOT 64754 SOS 26709 HAS SOPS 26709 HAS SOUS 23370 HAS SOUPS 23370 WITH SCORE 23396.709
AT ITER 1594 NEW BEST:: SOT 64749 SOS 26699 HAS SOPS 26699 HAS SOUS 23360 HAS SOUPS 23360 WITH SCORE 23386.699
AT ITER 1596 NEW BEST:: SOT 64717 SOS 26678 HAS SOPS 26678 HAS SOUS 23288 HAS SOUPS 23288 WITH SCORE 23314.678
AT ITER 1597 NEW BEST:: SOT 64674 SOS 26587 HAS SOPS 26587 HAS SOUS 23222 HAS SOUPS 23222 WITH SCORE 23248.587
AT ITER 1600 NEW BEST:: SOT 64681 SOS 26565 HAS SOPS 26565 HAS SOUS 23181 HAS SOUPS 23181 WITH SCORE 23207.565
AT ITER 1625 NEW BEST:: SOT 64678 SOS 26562 HAS SOPS 26562 HAS SOUS 23178 HAS SOUPS 23178 WITH SCORE 23204.562
AT ITER 1637 NEW BEST:: SOT 64678 SOS 26541 HAS SOPS 26541 HAS SOUS 23157 HAS SOUPS 23157 WITH SCORE 23183.541
AT ITER 1656 NEW BEST:: SOT 64660 SOS 26466 HAS SOPS 26466 HAS SOUS 23142 HAS SOUPS 23142 WITH SCORE 23168.466
AT ITER 1660 NEW BEST:: SOT 64642 SOS 26413 HAS SOPS 26413 HAS SOUS 23106 HAS SOUPS 23106 WITH SCORE 23132.413
AT ITER 1669 NEW BEST:: SOT 64634 SOS 26393 HAS SOPS 26393 HAS SOUS 23090 HAS SOUPS 23090 WITH SCORE 23116.393
AT ITER 1672 NEW BEST:: SOT 64631 SOS 26384 HAS SOPS 26384 HAS SOUS 23079 HAS SOUPS 23079 WITH SCORE 23105.384
AT ITER 1676 NEW BEST:: SOT 64631 SOS 26374 HAS SOPS 26374 HAS SOUS 23079 HAS SOUPS 23079 WITH SCORE 23105.374
AT ITER 1683 NEW BEST:: SOT 64627 SOS 26354 HAS SOPS 26354 HAS SOUS 23068 HAS SOUPS 23068 WITH SCORE 23094.354
AT ITER 1696 NEW BEST:: SOT 64667 SOS 26351 HAS SOPS 26351 HAS SOUS 23043 HAS SOUPS 23043 WITH SCORE 23069.351
AT ITER 1700 NEW BEST:: SOT 64667 SOS 26351 HAS SOPS 26351 HAS SOUS 23023 HAS SOUPS 23023 WITH SCORE 23049.351
AT ITER 1718 NEW BEST:: SOT 64658 SOS 26324 HAS SOPS 26324 HAS SOUS 23005 HAS SOUPS 23005 WITH SCORE 23031.324
AT ITER 1731 NEW BEST:: SOT 64633 SOS 26274 HAS SOPS 26274 HAS SOUS 22955 HAS SOUPS 22955 WITH SCORE 22981.274
AT ITER 1738 NEW BEST:: SOT 64634 SOS 26277 HAS SOPS 26277 HAS SOUS 22952 HAS SOUPS 22952 WITH SCORE 22978.277
AT ITER 1745 NEW BEST:: SOT 64589 SOS 26212 HAS SOPS 26212 HAS SOUS 22877 HAS SOUPS 22877 WITH SCORE 22903.212
AT ITER 1751 NEW BEST:: SOT 64580 SOS 26173 HAS SOPS 26173 HAS SOUS 22850 HAS SOUPS 22850 WITH SCORE 22876.173
AT ITER 1753 NEW BEST:: SOT 64560 SOS 26113 HAS SOPS 26113 HAS SOUS 22830 HAS SOUPS 22830 WITH SCORE 22856.113
AT ITER 1757 NEW BEST:: SOT 64558 SOS 26111 HAS SOPS 26111 HAS SOUS 22828 HAS SOUPS 22828 WITH SCORE 22854.111
AT ITER 1766 NEW BEST:: SOT 64534 SOS 26087 HAS SOPS 26087 HAS SOUS 22787 HAS SOUPS 22787 WITH SCORE 22813.087
AT ITER 1773 NEW BEST:: SOT 64441 SOS 25994 HAS SOPS 25994 HAS SOUS 22694 HAS SOUPS 22694 WITH SCORE 22719.994
AT ITER 1780 NEW BEST:: SOT 64410 SOS 25955 HAS SOPS 25955 HAS SOUS 22655 HAS SOUPS 22655 WITH SCORE 22680.955
AT ITER 1784 NEW BEST:: SOT 64406 SOS 25922 HAS SOPS 25922 HAS SOUS 22638 HAS SOUPS 22638 WITH SCORE 22663.922
AT ITER 1790 NEW BEST:: SOT 64391 SOS 25902 HAS SOPS 25902 HAS SOUS 22618 HAS SOUPS 22618 WITH SCORE 22643.902
AT ITER 1795 NEW BEST:: SOT 64388 SOS 25897 HAS SOPS 25897 HAS SOUS 22613 HAS SOUPS 22613 WITH SCORE 22638.897
AT ITER 1800 NEW BEST:: SOT 64381 SOS 25876 HAS SOPS 25876 HAS SOUS 22585 HAS SOUPS 22585 WITH SCORE 22610.876
AT ITER 1809 NEW BEST:: SOT 64343 SOS 25815 HAS SOPS 25815 HAS SOUS 22501 HAS SOUPS 22501 WITH SCORE 22526.815
AT ITER 1810 NEW BEST:: SOT 64326 SOS 25781 HAS SOPS 25781 HAS SOUS 22467 HAS SOUPS 22467 WITH SCORE 22492.781
AT ITER 1814 NEW BEST:: SOT 64276 SOS 25715 HAS SOPS 25715 HAS SOUS 22385 HAS SOUPS 22385 WITH SCORE 22410.715
AT ITER 1817 NEW BEST:: SOT 64263 SOS 25688 HAS SOPS 25688 HAS SOUS 22317 HAS SOUPS 22317 WITH SCORE 22342.688
AT ITER 1825 NEW BEST:: SOT 64263 SOS 25676 HAS SOPS 25676 HAS SOUS 22317 HAS SOUPS 22317 WITH SCORE 22342.676
AT ITER 1847 NEW BEST:: SOT 64194 SOS 25607 HAS SOPS 25607 HAS SOUS 22248 HAS SOUPS 22248 WITH SCORE 22273.607
AT ITER 1856 NEW BEST:: SOT 64194 SOS 25607 HAS SOPS 25607 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22233.607
AT ITER 1859 NEW BEST:: SOT 64194 SOS 25606 HAS SOPS 25606 HAS SOUS 22203 HAS SOUPS 22203 WITH SCORE 22228.606
AT ITER 1885 NEW BEST:: SOT 64190 SOS 25590 HAS SOPS 25590 HAS SOUS 22191 HAS SOUPS 22191 WITH SCORE 22216.59
AT ITER 1886 NEW BEST:: SOT 64190 SOS 25602 HAS SOPS 25602 HAS SOUS 22178 HAS SOUPS 22178 WITH SCORE 22203.602
AT ITER 1902 NEW BEST:: SOT 64149 SOS 25541 HAS SOPS 25541 HAS SOUS 22117 HAS SOUPS 22117 WITH SCORE 22142.541
AT ITER 1910 NEW BEST:: SOT 64149 SOS 25541 HAS SOPS 25541 HAS SOUS 22115 HAS SOUPS 22115 WITH SCORE 22140.541
AT ITER 1925 NEW BEST:: SOT 64139 SOS 25457 HAS SOPS 25457 HAS SOUS 22063 HAS SOUPS 22063 WITH SCORE 22088.457
AT ITER 1936 NEW BEST:: SOT 64132 SOS 25455 HAS SOPS 25455 HAS SOUS 22061 HAS SOUPS 22061 WITH SCORE 22086.455
AT ITER 1941 NEW BEST:: SOT 64120 SOS 25431 HAS SOPS 25431 HAS SOUS 22039 HAS SOUPS 22039 WITH SCORE 22064.431
AT ITER 1960 NEW BEST:: SOT 64115 SOS 25414 HAS SOPS 25414 HAS SOUS 22021 HAS SOUPS 22021 WITH SCORE 22046.414
AT ITER 1968 NEW BEST:: SOT 64099 SOS 25370 HAS SOPS 25370 HAS SOUS 21990 HAS SOUPS 21990 WITH SCORE 22015.37
AT ITER 1973 NEW BEST:: SOT 64083 SOS 25330 HAS SOPS 25330 HAS SOUS 21974 HAS SOUPS 21974 WITH SCORE 21999.33
AT ITER 1983 NEW BEST:: SOT 64081 SOS 25314 HAS SOPS 25314 HAS SOUS 21965 HAS SOUPS 21965 WITH SCORE 21990.314
AT ITER 1988 NEW BEST:: SOT 64059 SOS 25270 HAS SOPS 25270 HAS SOUS 21918 HAS SOUPS 21918 WITH SCORE 21943.27
AT ITER 1991 NEW BEST:: SOT 64059 SOS 25252 HAS SOPS 25252 HAS SOUS 21900 HAS SOUPS 21900 WITH SCORE 21925.252
AT ITER 2006 NEW BEST:: SOT 64059 SOS 25256 HAS SOPS 25256 HAS SOUS 21899 HAS SOUPS 21899 WITH SCORE 21924.256
AT ITER 2011 NEW BEST:: SOT 64034 SOS 25181 HAS SOPS 25181 HAS SOUS 21869 HAS SOUPS 21869 WITH SCORE 21894.181
AT ITER 2027 NEW BEST:: SOT 64035 SOS 25170 HAS SOPS 25170 HAS SOUS 21859 HAS SOUPS 21859 WITH SCORE 21884.17
AT ITER 2028 NEW BEST:: SOT 63961 SOS 25064 HAS SOPS 25064 HAS SOUS 21785 HAS SOUPS 21785 WITH SCORE 21810.064
AT ITER 2030 NEW BEST:: SOT 63961 SOS 25061 HAS SOPS 25061 HAS SOUS 21785 HAS SOUPS 21785 WITH SCORE 21810.061
AT ITER 2046 NEW BEST:: SOT 63949 SOS 25003 HAS SOPS 25003 HAS SOUS 21762 HAS SOUPS 21762 WITH SCORE 21787.003
AT ITER 2048 NEW BEST:: SOT 63928 SOS 25065 HAS SOPS 25065 HAS SOUS 21703 HAS SOUPS 21703 WITH SCORE 21728.065
AT ITER 2079 NEW BEST:: SOT 63907 SOS 25015 HAS SOPS 25015 HAS SOUS 21669 HAS SOUPS 21669 WITH SCORE 21694.015
AT ITER 2085 NEW BEST:: SOT 63785 SOS 24946 HAS SOPS 24946 HAS SOUS 21592 HAS SOUPS 21592 WITH SCORE 21616.946
AT ITER 2103 NEW BEST:: SOT 63741 SOS 24858 HAS SOPS 24858 HAS SOUS 21527 HAS SOUPS 21527 WITH SCORE 21551.858
AT ITER 2129 NEW BEST:: SOT 63744 SOS 24856 HAS SOPS 24856 HAS SOUS 21525 HAS SOUPS 21525 WITH SCORE 21549.856
AT ITER 2130 NEW BEST:: SOT 63736 SOS 24844 HAS SOPS 24844 HAS SOUS 21509 HAS SOUPS 21509 WITH SCORE 21533.844
AT ITER 2153 NEW BEST:: SOT 63705 SOS 24883 HAS SOPS 24883 HAS SOUS 21485 HAS SOUPS 21485 WITH SCORE 21509.883
AT ITER 2159 NEW BEST:: SOT 63693 SOS 24871 HAS SOPS 24871 HAS SOUS 21461 HAS SOUPS 21461 WITH SCORE 21485.871
AT ITER 2187 NEW BEST:: SOT 63685 SOS 24863 HAS SOPS 24863 HAS SOUS 21453 HAS SOUPS 21453 WITH SCORE 21477.863
AT ITER 2188 NEW BEST:: SOT 63669 SOS 24843 HAS SOPS 24843 HAS SOUS 21437 HAS SOUPS 21437 WITH SCORE 21461.843
AT ITER 2190 NEW BEST:: SOT 63595 SOS 24702 HAS SOPS 24702 HAS SOUS 21379 HAS SOUPS 21379 WITH SCORE 21403.702
AT ITER 2197 NEW BEST:: SOT 63579 SOS 24682 HAS SOPS 24682 HAS SOUS 21363 HAS SOUPS 21363 WITH SCORE 21387.682
AT ITER 2199 NEW BEST:: SOT 63576 SOS 24670 HAS SOPS 24670 HAS SOUS 21357 HAS SOUPS 21357 WITH SCORE 21381.67
AT ITER 2200 NEW BEST:: SOT 63575 SOS 24352 HAS SOPS 24352 HAS SOUS 21264 HAS SOUPS 21264 WITH SCORE 21288.352
AT ITER 2215 NEW BEST:: SOT 63575 SOS 24352 HAS SOPS 24352 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21282.352
AT ITER 2221 NEW BEST:: SOT 63564 SOS 24341 HAS SOPS 24341 HAS SOUS 21247 HAS SOUPS 21247 WITH SCORE 21271.341
AT ITER 2225 NEW BEST:: SOT 63564 SOS 24341 HAS SOPS 24341 HAS SOUS 21233 HAS SOUPS 21233 WITH SCORE 21257.341
AT ITER 2253 NEW BEST:: SOT 63567 SOS 24361 HAS SOPS 24361 HAS SOUS 21226 HAS SOUPS 21226 WITH SCORE 21250.361
AT ITER 2284 NEW BEST:: SOT 63567 SOS 24396 HAS SOPS 24396 HAS SOUS 21220 HAS SOUPS 21220 WITH SCORE 21244.396
AT ITER 2311 NEW BEST:: SOT 63517 SOS 24346 HAS SOPS 24346 HAS SOUS 21170 HAS SOUPS 21170 WITH SCORE 21194.346
AT ITER 2319 NEW BEST:: SOT 63475 SOS 24136 HAS SOPS 24136 HAS SOUS 21086 HAS SOUPS 21086 WITH SCORE 21110.136
AT ITER 2326 NEW BEST:: SOT 63470 SOS 24125 HAS SOPS 24125 HAS SOUS 21076 HAS SOUPS 21076 WITH SCORE 21100.125
AT ITER 2344 NEW BEST:: SOT 63472 SOS 24128 HAS SOPS 24128 HAS SOUS 21074 HAS SOUPS 21074 WITH SCORE 21098.128
AT ITER 2357 NEW BEST:: SOT 63472 SOS 24088 HAS SOPS 24088 HAS SOUS 21060 HAS SOUPS 21060 WITH SCORE 21084.088
AT ITER 2362 NEW BEST:: SOT 63455 SOS 24078 HAS SOPS 24078 HAS SOUS 21047 HAS SOUPS 21047 WITH SCORE 21071.078
AT ITER 2380 NEW BEST:: SOT 63446 SOS 24060 HAS SOPS 24060 HAS SOUS 21029 HAS SOUPS 21029 WITH SCORE 21053.06
AT ITER 2387 NEW BEST:: SOT 63422 SOS 23940 HAS SOPS 23940 HAS SOUS 20957 HAS SOUPS 20957 WITH SCORE 20980.94
AT ITER 2389 NEW BEST:: SOT 63410 SOS 23892 HAS SOPS 23892 HAS SOUS 20926 HAS SOUPS 20926 WITH SCORE 20949.892
AT ITER 2424 NEW BEST:: SOT 63374 SOS 23856 HAS SOPS 23856 HAS SOUS 20812 HAS SOUPS 20812 WITH SCORE 20835.856
AT ITER 2436 NEW BEST:: SOT 63347 SOS 23802 HAS SOPS 23802 HAS SOUS 20749 HAS SOUPS 20749 WITH SCORE 20772.802
AT ITER 2447 NEW BEST:: SOT 63314 SOS 23732 HAS SOPS 23732 HAS SOUS 20706 HAS SOUPS 20706 WITH SCORE 20729.732
AT ITER 2449 NEW BEST:: SOT 63302 SOS 23716 HAS SOPS 23716 HAS SOUS 20694 HAS SOUPS 20694 WITH SCORE 20717.716
AT ITER 2470 NEW BEST:: SOT 63284 SOS 23666 HAS SOPS 23666 HAS SOUS 20660 HAS SOUPS 20660 WITH SCORE 20683.666
AT ITER 2482 NEW BEST:: SOT 63278 SOS 23617 HAS SOPS 23617 HAS SOUS 20644 HAS SOUPS 20644 WITH SCORE 20667.617
AT ITER 2488 NEW BEST:: SOT 63249 SOS 23607 HAS SOPS 23607 HAS SOUS 20620 HAS SOUPS 20620 WITH SCORE 20643.607
AT ITER 2494 NEW BEST:: SOT 63249 SOS 23559 HAS SOPS 23559 HAS SOUS 20584 HAS SOUPS 20584 WITH SCORE 20607.559
AT ITER 2510 NEW BEST:: SOT 63247 SOS 23557 HAS SOPS 23557 HAS SOUS 20582 HAS SOUPS 20582 WITH SCORE 20605.557
AT ITER 2533 NEW BEST:: SOT 63237 SOS 23547 HAS SOPS 23547 HAS SOUS 20572 HAS SOUPS 20572 WITH SCORE 20595.547
AT ITER 2552 NEW BEST:: SOT 63237 SOS 23481 HAS SOPS 23481 HAS SOUS 20550 HAS SOUPS 20550 WITH SCORE 20573.481
AT ITER 2557 NEW BEST:: SOT 63197 SOS 23421 HAS SOPS 23421 HAS SOUS 20490 HAS SOUPS 20490 WITH SCORE 20513.421
AT ITER 2583 NEW BEST:: SOT 63197 SOS 23418 HAS SOPS 23418 HAS SOUS 20489 HAS SOUPS 20489 WITH SCORE 20512.418
AT ITER 2607 NEW BEST:: SOT 63186 SOS 23369 HAS SOPS 23369 HAS SOUS 20461 HAS SOUPS 20461 WITH SCORE 20484.369
AT ITER 2634 NEW BEST:: SOT 63185 SOS 23359 HAS SOPS 23359 HAS SOUS 20456 HAS SOUPS 20456 WITH SCORE 20479.359
AT ITER 2644 NEW BEST:: SOT 63182 SOS 23384 HAS SOPS 23384 HAS SOUS 20440 HAS SOUPS 20440 WITH SCORE 20463.384
AT ITER 2655 NEW BEST:: SOT 63154 SOS 23356 HAS SOPS 23356 HAS SOUS 20412 HAS SOUPS 20412 WITH SCORE 20435.356
AT ITER 2657 NEW BEST:: SOT 63143 SOS 23331 HAS SOPS 23331 HAS SOUS 20396 HAS SOUPS 20396 WITH SCORE 20419.331
AT ITER 2660 NEW BEST:: SOT 63137 SOS 23319 HAS SOPS 23319 HAS SOUS 20384 HAS SOUPS 20384 WITH SCORE 20407.319
AT ITER 2661 NEW BEST:: SOT 63137 SOS 23319 HAS SOPS 23319 HAS SOUS 20358 HAS SOUPS 20358 WITH SCORE 20381.319
AT ITER 2665 NEW BEST:: SOT 63118 SOS 23296 HAS SOPS 23296 HAS SOUS 20337 HAS SOUPS 20337 WITH SCORE 20360.296
AT ITER 2669 NEW BEST:: SOT 63110 SOS 23273 HAS SOPS 23273 HAS SOUS 20302 HAS SOUPS 20302 WITH SCORE 20325.273
AT ITER 2683 NEW BEST:: SOT 63096 SOS 23259 HAS SOPS 23259 HAS SOUS 20288 HAS SOUPS 20288 WITH SCORE 20311.259
AT ITER 2695 NEW BEST:: SOT 63080 SOS 23227 HAS SOPS 23227 HAS SOUS 20256 HAS SOUPS 20256 WITH SCORE 20279.227
AT ITER 2720 NEW BEST:: SOT 63060 SOS 23202 HAS SOPS 23202 HAS SOUS 20225 HAS SOUPS 20225 WITH SCORE 20248.202
AT ITER 2721 NEW BEST:: SOT 63060 SOS 23190 HAS SOPS 23190 HAS SOUS 20213 HAS SOUPS 20213 WITH SCORE 20236.19
AT ITER 2723 NEW BEST:: SOT 63040 SOS 23170 HAS SOPS 23170 HAS SOUS 20193 HAS SOUPS 20193 WITH SCORE 20216.17
AT ITER 2725 NEW BEST:: SOT 63019 SOS 23135 HAS SOPS 23135 HAS SOUS 20151 HAS SOUPS 20151 WITH SCORE 20174.135
AT ITER 2726 NEW BEST:: SOT 63015 SOS 23127 HAS SOPS 23127 HAS SOUS 20143 HAS SOUPS 20143 WITH SCORE 20166.127
AT ITER 2741 NEW BEST:: SOT 62993 SOS 22950 HAS SOPS 22950 HAS SOUS 20127 HAS SOUPS 20127 WITH SCORE 20149.95
AT ITER 2754 NEW BEST:: SOT 62984 SOS 22941 HAS SOPS 22941 HAS SOUS 20109 HAS SOUPS 20109 WITH SCORE 20131.941
AT ITER 2772 NEW BEST:: SOT 62967 SOS 22927 HAS SOPS 22927 HAS SOUS 20087 HAS SOUPS 20087 WITH SCORE 20109.927
AT ITER 2779 NEW BEST:: SOT 62966 SOS 22923 HAS SOPS 22923 HAS SOUS 20084 HAS SOUPS 20084 WITH SCORE 20106.923
AT ITER 2780 NEW BEST:: SOT 62935 SOS 22859 HAS SOPS 22859 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20053.859
AT ITER 2781 NEW BEST:: SOT 62926 SOS 22850 HAS SOPS 22850 HAS SOUS 20022 HAS SOUPS 20022 WITH SCORE 20044.85
AT ITER 2794 NEW BEST:: SOT 62886 SOS 22847 HAS SOPS 22847 HAS SOUS 19984 HAS SOUPS 19984 WITH SCORE 20006.847
AT ITER 2800 NEW BEST:: SOT 62836 SOS 22783 HAS SOPS 22783 HAS SOUS 19918 HAS SOUPS 19918 WITH SCORE 19940.783
AT ITER 2806 NEW BEST:: SOT 62834 SOS 22779 HAS SOPS 22779 HAS SOUS 19914 HAS SOUPS 19914 WITH SCORE 19936.779
AT ITER 2855 NEW BEST:: SOT 62831 SOS 22757 HAS SOPS 22757 HAS SOUS 19902 HAS SOUPS 19902 WITH SCORE 19924.757
AT ITER 2857 NEW BEST:: SOT 62829 SOS 22763 HAS SOPS 22763 HAS SOUS 19894 HAS SOUPS 19894 WITH SCORE 19916.763
AT ITER 2876 NEW BEST:: SOT 62830 SOS 22758 HAS SOPS 22758 HAS SOUS 19889 HAS SOUPS 19889 WITH SCORE 19911.758
AT ITER 2878 NEW BEST:: SOT 62746 SOS 22690 HAS SOPS 22690 HAS SOUS 19839 HAS SOUPS 19839 WITH SCORE 19861.69
AT ITER 2879 NEW BEST:: SOT 62746 SOS 22685 HAS SOPS 22685 HAS SOUS 19784 HAS SOUPS 19784 WITH SCORE 19806.685
AT ITER 2891 NEW BEST:: SOT 62723 SOS 22673 HAS SOPS 22673 HAS SOUS 19772 HAS SOUPS 19772 WITH SCORE 19794.673
AT ITER 2911 NEW BEST:: SOT 62715 SOS 22630 HAS SOPS 22630 HAS SOUS 19740 HAS SOUPS 19740 WITH SCORE 19762.63
AT ITER 2915 NEW BEST:: SOT 62703 SOS 22610 HAS SOPS 22610 HAS SOUS 19720 HAS SOUPS 19720 WITH SCORE 19742.61
AT ITER 2925 NEW BEST:: SOT 62701 SOS 22598 HAS SOPS 22598 HAS SOUS 19716 HAS SOUPS 19716 WITH SCORE 19738.598
AT ITER 2940 NEW BEST:: SOT 62665 SOS 22535 HAS SOPS 22535 HAS SOUS 19653 HAS SOUPS 19653 WITH SCORE 19675.535
AT ITER 2944 NEW BEST:: SOT 62664 SOS 22553 HAS SOPS 22553 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19662.553
AT ITER 2960 NEW BEST:: SOT 62617 SOS 22506 HAS SOPS 22506 HAS SOUS 19557 HAS SOUPS 19557 WITH SCORE 19579.506
AT ITER 2972 NEW BEST:: SOT 62596 SOS 22385 HAS SOPS 22385 HAS SOUS 19407 HAS SOUPS 19407 WITH SCORE 19429.385
AT ITER 2984 NEW BEST:: SOT 62596 SOS 22388 HAS SOPS 22388 HAS SOUS 19404 HAS SOUPS 19404 WITH SCORE 19426.388
AT ITER 3012 NEW BEST:: SOT 62573 SOS 22349 HAS SOPS 22349 HAS SOUS 19364 HAS SOUPS 19364 WITH SCORE 19386.349
AT ITER 3029 NEW BEST:: SOT 62557 SOS 22315 HAS SOPS 22315 HAS SOUS 19354 HAS SOUPS 19354 WITH SCORE 19376.315
AT ITER 3031 NEW BEST:: SOT 62521 SOS 22206 HAS SOPS 22206 HAS SOUS 19266 HAS SOUPS 19266 WITH SCORE 19288.206
AT ITER 3034 NEW BEST:: SOT 62521 SOS 22192 HAS SOPS 22192 HAS SOUS 19259 HAS SOUPS 19259 WITH SCORE 19281.192
AT ITER 3054 NEW BEST:: SOT 62521 SOS 22192 HAS SOPS 22192 HAS SOUS 19254 HAS SOUPS 19254 WITH SCORE 19276.192
AT ITER 3086 NEW BEST:: SOT 62520 SOS 22191 HAS SOPS 22191 HAS SOUS 19253 HAS SOUPS 19253 WITH SCORE 19275.191
AT ITER 3094 NEW BEST:: SOT 62522 SOS 22171 HAS SOPS 22171 HAS SOUS 19233 HAS SOUPS 19233 WITH SCORE 19255.171
AT ITER 3109 NEW BEST:: SOT 62527 SOS 22176 HAS SOPS 22176 HAS SOUS 19231 HAS SOUPS 19231 WITH SCORE 19253.176
AT ITER 3121 NEW BEST:: SOT 62507 SOS 22126 HAS SOPS 22126 HAS SOUS 19191 HAS SOUPS 19191 WITH SCORE 19213.126
AT ITER 3137 NEW BEST:: SOT 62493 SOS 22042 HAS SOPS 22042 HAS SOUS 19172 HAS SOUPS 19172 WITH SCORE 19194.042
AT ITER 3144 NEW BEST:: SOT 62485 SOS 22032 HAS SOPS 22032 HAS SOUS 19162 HAS SOUPS 19162 WITH SCORE 19184.032
AT ITER 3158 NEW BEST:: SOT 62477 SOS 21975 HAS SOPS 21975 HAS SOUS 19082 HAS SOUPS 19082 WITH SCORE 19103.975
AT ITER 3163 NEW BEST:: SOT 62469 SOS 21967 HAS SOPS 21967 HAS SOUS 19074 HAS SOUPS 19074 WITH SCORE 19095.967
AT ITER 3185 NEW BEST:: SOT 62464 SOS 21952 HAS SOPS 21952 HAS SOUS 19073 HAS SOUPS 19073 WITH SCORE 19094.952
AT ITER 3199 NEW BEST:: SOT 62365 SOS 21829 HAS SOPS 21829 HAS SOUS 18968 HAS SOUPS 18968 WITH SCORE 18989.829
AT ITER 3251 NEW BEST:: SOT 62336 SOS 21780 HAS SOPS 21780 HAS SOUS 18929 HAS SOUPS 18929 WITH SCORE 18950.78
AT ITER 3283 NEW BEST:: SOT 62336 SOS 21780 HAS SOPS 21780 HAS SOUS 18911 HAS SOUPS 18911 WITH SCORE 18932.78
AT ITER 3287 NEW BEST:: SOT 62336 SOS 21751 HAS SOPS 21751 HAS SOUS 18911 HAS SOUPS 18911 WITH SCORE 18932.751
AT ITER 3292 NEW BEST:: SOT 62340 SOS 21584 HAS SOPS 21584 HAS SOUS 18867 HAS SOUPS 18867 WITH SCORE 18888.584
AT ITER 3324 NEW BEST:: SOT 62300 SOS 21469 HAS SOPS 21469 HAS SOUS 18779 HAS SOUPS 18779 WITH SCORE 18800.469
AT ITER 3326 NEW BEST:: SOT 62268 SOS 21404 HAS SOPS 21404 HAS SOUS 18740 HAS SOUPS 18740 WITH SCORE 18761.404
AT ITER 3334 NEW BEST:: SOT 62268 SOS 21415 HAS SOPS 21415 HAS SOUS 18729 HAS SOUPS 18729 WITH SCORE 18750.415
AT ITER 3336 NEW BEST:: SOT 62250 SOS 21379 HAS SOPS 21379 HAS SOUS 18699 HAS SOUPS 18699 WITH SCORE 18720.379
AT ITER 3361 NEW BEST:: SOT 62194 SOS 21344 HAS SOPS 21344 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18699.344
AT ITER 3369 NEW BEST:: SOT 62182 SOS 21314 HAS SOPS 21314 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18675.314
AT ITER 3370 NEW BEST:: SOT 62148 SOS 21245 HAS SOPS 21245 HAS SOUS 18597 HAS SOUPS 18597 WITH SCORE 18618.245
AT ITER 3426 NEW BEST:: SOT 62088 SOS 21028 HAS SOPS 21028 HAS SOUS 18457 HAS SOUPS 18457 WITH SCORE 18478.028
AT ITER 3436 NEW BEST:: SOT 62088 SOS 21054 HAS SOPS 21054 HAS SOUS 18437 HAS SOUPS 18437 WITH SCORE 18458.054
AT ITER 3437 NEW BEST:: SOT 62068 SOS 20984 HAS SOPS 20984 HAS SOUS 18401 HAS SOUPS 18401 WITH SCORE 18421.984
AT ITER 3460 NEW BEST:: SOT 62046 SOS 20956 HAS SOPS 20956 HAS SOUS 18373 HAS SOUPS 18373 WITH SCORE 18393.956
AT ITER 3488 NEW BEST:: SOT 61960 SOS 20818 HAS SOPS 20818 HAS SOUS 18235 HAS SOUPS 18235 WITH SCORE 18255.818
AT ITER 3509 NEW BEST:: SOT 61935 SOS 20783 HAS SOPS 20783 HAS SOUS 18192 HAS SOUPS 18192 WITH SCORE 18212.783
AT ITER 3517 NEW BEST:: SOT 61935 SOS 20769 HAS SOPS 20769 HAS SOUS 18192 HAS SOUPS 18192 WITH SCORE 18212.769
AT ITER 3559 NEW BEST:: SOT 61914 SOS 20744 HAS SOPS 20744 HAS SOUS 18173 HAS SOUPS 18173 WITH SCORE 18193.744
AT ITER 3561 NEW BEST:: SOT 61860 SOS 20658 HAS SOPS 20658 HAS SOUS 18103 HAS SOUPS 18103 WITH SCORE 18123.658
AT ITER 3567 NEW BEST:: SOT 61864 SOS 20670 HAS SOPS 20670 HAS SOUS 18101 HAS SOUPS 18101 WITH SCORE 18121.67
AT ITER 3583 NEW BEST:: SOT 61856 SOS 20654 HAS SOPS 20654 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18113.654
AT ITER 3590 NEW BEST:: SOT 61856 SOS 20652 HAS SOPS 20652 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18113.652
AT ITER 3620 NEW BEST:: SOT 61851 SOS 20657 HAS SOPS 20657 HAS SOUS 18092 HAS SOUPS 18092 WITH SCORE 18112.657
AT ITER 3627 NEW BEST:: SOT 61833 SOS 20631 HAS SOPS 20631 HAS SOUS 18081 HAS SOUPS 18081 WITH SCORE 18101.631
AT ITER 3629 NEW BEST:: SOT 61815 SOS 20604 HAS SOPS 20604 HAS SOUS 18054 HAS SOUPS 18054 WITH SCORE 18074.604
AT ITER 3647 NEW BEST:: SOT 61812 SOS 20601 HAS SOPS 20601 HAS SOUS 18051 HAS SOUPS 18051 WITH SCORE 18071.601
AT ITER 3654 NEW BEST:: SOT 61812 SOS 20605 HAS SOPS 20605 HAS SOUS 18049 HAS SOUPS 18049 WITH SCORE 18069.605
AT ITER 3686 NEW BEST:: SOT 61797 SOS 20644 HAS SOPS 20644 HAS SOUS 18034 HAS SOUPS 18034 WITH SCORE 18054.644
AT ITER 3691 NEW BEST:: SOT 61793 SOS 20631 HAS SOPS 20631 HAS SOUS 18021 HAS SOUPS 18021 WITH SCORE 18041.631
AT ITER 3693 NEW BEST:: SOT 61785 SOS 20522 HAS SOPS 20522 HAS SOUS 17961 HAS SOUPS 17961 WITH SCORE 17981.522
AT ITER 3733 NEW BEST:: SOT 61734 SOS 20454 HAS SOPS 20454 HAS SOUS 17893 HAS SOUPS 17893 WITH SCORE 17913.454
AT ITER 3745 NEW BEST:: SOT 61731 SOS 20450 HAS SOPS 20450 HAS SOUS 17889 HAS SOUPS 17889 WITH SCORE 17909.45
AT ITER 3791 NEW BEST:: SOT 61729 SOS 20442 HAS SOPS 20442 HAS SOUS 17885 HAS SOUPS 17885 WITH SCORE 17905.442
AT ITER 3868 NEW BEST:: SOT 61724 SOS 20437 HAS SOPS 20437 HAS SOUS 17880 HAS SOUPS 17880 WITH SCORE 17900.437
AT ITER 3883 NEW BEST:: SOT 61696 SOS 20352 HAS SOPS 20352 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17846.352
AT ITER 3942 NEW BEST:: SOT 61695 SOS 20347 HAS SOPS 20347 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17841.347
AT ITER 3949 NEW BEST:: SOT 61658 SOS 20312 HAS SOPS 20312 HAS SOUS 17755 HAS SOUPS 17755 WITH SCORE 17775.312
AT ITER 3980 NEW BEST:: SOT 61644 SOS 20298 HAS SOPS 20298 HAS SOUS 17726 HAS SOUPS 17726 WITH SCORE 17746.298
AT ITER 3997 NEW BEST:: SOT 61627 SOS 20281 HAS SOPS 20281 HAS SOUS 17709 HAS SOUPS 17709 WITH SCORE 17729.281
AT ITER 3999 NEW BEST:: SOT 61627 SOS 20253 HAS SOPS 20253 HAS SOUS 17709 HAS SOUPS 17709 WITH SCORE 17729.253
AT ITER 4011 NEW BEST:: SOT 61577 SOS 20158 HAS SOPS 20158 HAS SOUS 17635 HAS SOUPS 17635 WITH SCORE 17655.158
AT ITER 4017 NEW BEST:: SOT 61569 SOS 20135 HAS SOPS 20135 HAS SOUS 17614 HAS SOUPS 17614 WITH SCORE 17634.135
AT ITER 4047 NEW BEST:: SOT 61536 SOS 20068 HAS SOPS 20068 HAS SOUS 17556 HAS SOUPS 17556 WITH SCORE 17576.068
AT ITER 4096 NEW BEST:: SOT 61531 SOS 20055 HAS SOPS 20055 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17562.055
AT ITER 4209 NEW BEST:: SOT 61503 SOS 19999 HAS SOPS 19999 HAS SOUS 17498 HAS SOUPS 17498 WITH SCORE 17517.999
AT ITER 4212 NEW BEST:: SOT 61493 SOS 19969 HAS SOPS 19969 HAS SOUS 17488 HAS SOUPS 17488 WITH SCORE 17507.969
AT ITER 4229 NEW BEST:: SOT 61453 SOS 19907 HAS SOPS 19907 HAS SOUS 17427 HAS SOUPS 17427 WITH SCORE 17446.907
AT ITER 4234 NEW BEST:: SOT 61451 SOS 19905 HAS SOPS 19905 HAS SOUS 17425 HAS SOUPS 17425 WITH SCORE 17444.905
AT ITER 4235 NEW BEST:: SOT 61435 SOS 19878 HAS SOPS 19878 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17417.878
AT ITER 4257 NEW BEST:: SOT 61426 SOS 19866 HAS SOPS 19866 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17407.866
AT ITER 4263 NEW BEST:: SOT 61426 SOS 19919 HAS SOPS 19919 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17372.919
AT ITER 4290 NEW BEST:: SOT 61420 SOS 19892 HAS SOPS 19892 HAS SOUS 17338 HAS SOUPS 17338 WITH SCORE 17357.892
AT ITER 4306 NEW BEST:: SOT 61420 SOS 19864 HAS SOPS 19864 HAS SOUS 17338 HAS SOUPS 17338 WITH SCORE 17357.864
AT ITER 4321 NEW BEST:: SOT 61412 SOS 19854 HAS SOPS 19854 HAS SOUS 17328 HAS SOUPS 17328 WITH SCORE 17347.854
AT ITER 4323 NEW BEST:: SOT 61412 SOS 19854 HAS SOPS 19854 HAS SOUS 17325 HAS SOUPS 17325 WITH SCORE 17344.854
AT ITER 4421 NEW BEST:: SOT 61364 SOS 19848 HAS SOPS 19848 HAS SOUS 17263 HAS SOUPS 17263 WITH SCORE 17282.848
AT ITER 4518 NEW BEST:: SOT 61361 SOS 19845 HAS SOPS 19845 HAS SOUS 17260 HAS SOUPS 17260 WITH SCORE 17279.845
AT ITER 4567 NEW BEST:: SOT 61349 SOS 19833 HAS SOPS 19833 HAS SOUS 17248 HAS SOUPS 17248 WITH SCORE 17267.833
AT ITER 4575 NEW BEST:: SOT 61353 SOS 19839 HAS SOPS 19839 HAS SOUS 17240 HAS SOUPS 17240 WITH SCORE 17259.839
AT ITER 4604 NEW BEST:: SOT 61343 SOS 19849 HAS SOPS 19849 HAS SOUS 17228 HAS SOUPS 17228 WITH SCORE 17247.849
AT ITER 4606 NEW BEST:: SOT 61340 SOS 19845 HAS SOPS 19845 HAS SOUS 17224 HAS SOUPS 17224 WITH SCORE 17243.845
AT ITER 4607 NEW BEST:: SOT 61338 SOS 19839 HAS SOPS 19839 HAS SOUS 17222 HAS SOUPS 17222 WITH SCORE 17241.839
AT ITER 4614 NEW BEST:: SOT 61335 SOS 19824 HAS SOPS 19824 HAS SOUS 17216 HAS SOUPS 17216 WITH SCORE 17235.824
AT ITER 4623 NEW BEST:: SOT 61331 SOS 19834 HAS SOPS 19834 HAS SOUS 17203 HAS SOUPS 17203 WITH SCORE 17222.834
AT ITER 4628 NEW BEST:: SOT 61285 SOS 19604 HAS SOPS 19604 HAS SOUS 17111 HAS SOUPS 17111 WITH SCORE 17130.604
AT ITER 4685 NEW BEST:: SOT 61342 SOS 19656 HAS SOPS 19656 HAS SOUS 17106 HAS SOUPS 17106 WITH SCORE 17125.656
AT ITER 4722 NEW BEST:: SOT 61315 SOS 19610 HAS SOPS 19610 HAS SOUS 17040 HAS SOUPS 17040 WITH SCORE 17059.61
AT ITER 4732 NEW BEST:: SOT 61315 SOS 19599 HAS SOPS 19599 HAS SOUS 17040 HAS SOUPS 17040 WITH SCORE 17059.599
AT ITER 4782 NEW BEST:: SOT 61297 SOS 19563 HAS SOPS 19563 HAS SOUS 17000 HAS SOUPS 17000 WITH SCORE 17019.563
AT ITER 4787 NEW BEST:: SOT 61233 SOS 19313 HAS SOPS 19313 HAS SOUS 16870 HAS SOUPS 16870 WITH SCORE 16889.313
AT ITER 4805 NEW BEST:: SOT 61232 SOS 19309 HAS SOPS 19309 HAS SOUS 16868 HAS SOUPS 16868 WITH SCORE 16887.309
AT ITER 4819 NEW BEST:: SOT 61230 SOS 19303 HAS SOPS 19303 HAS SOUS 16864 HAS SOUPS 16864 WITH SCORE 16883.303
AT ITER 4838 NEW BEST:: SOT 61229 SOS 19286 HAS SOPS 19286 HAS SOUS 16861 HAS SOUPS 16861 WITH SCORE 16880.286
AT ITER 4846 NEW BEST:: SOT 61182 SOS 19239 HAS SOPS 19239 HAS SOUS 16842 HAS SOUPS 16842 WITH SCORE 16861.239
AT ITER 4876 NEW BEST:: SOT 61184 SOS 19242 HAS SOPS 19242 HAS SOUS 16840 HAS SOUPS 16840 WITH SCORE 16859.242
AT ITER 4961 NEW BEST:: SOT 61184 SOS 19243 HAS SOPS 19243 HAS SOUS 16839 HAS SOUPS 16839 WITH SCORE 16858.243
AT ITER 4997 NEW BEST:: SOT 61186 SOS 19234 HAS SOPS 19234 HAS SOUS 16825 HAS SOUPS 16825 WITH SCORE 16844.234
AT ITER 5002 NEW BEST:: SOT 61186 SOS 19236 HAS SOPS 19236 HAS SOUS 16823 HAS SOUPS 16823 WITH SCORE 16842.236
AT ITER 5032 NEW BEST:: SOT 61174 SOS 19214 HAS SOPS 19214 HAS SOUS 16789 HAS SOUPS 16789 WITH SCORE 16808.214
AT ITER 5034 NEW BEST:: SOT 61154 SOS 19196 HAS SOPS 19196 HAS SOUS 16771 HAS SOUPS 16771 WITH SCORE 16790.196
AT ITER 5048 NEW BEST:: SOT 61128 SOS 19122 HAS SOPS 19122 HAS SOUS 16704 HAS SOUPS 16704 WITH SCORE 16723.122
AT ITER 5136 NEW BEST:: SOT 61128 SOS 19112 HAS SOPS 19112 HAS SOUS 16697 HAS SOUPS 16697 WITH SCORE 16716.112
AT ITER 5138 NEW BEST:: SOT 61124 SOS 19109 HAS SOPS 19109 HAS SOUS 16692 HAS SOUPS 16692 WITH SCORE 16711.109
AT ITER 5185 NEW BEST:: SOT 61124 SOS 19109 HAS SOPS 19109 HAS SOUS 16679 HAS SOUPS 16679 WITH SCORE 16698.109
AT ITER 5186 NEW BEST:: SOT 61111 SOS 19097 HAS SOPS 19097 HAS SOUS 16667 HAS SOUPS 16667 WITH SCORE 16686.097
AT ITER 5218 NEW BEST:: SOT 61093 SOS 19043 HAS SOPS 19043 HAS SOUS 16649 HAS SOUPS 16649 WITH SCORE 16668.043
AT ITER 5282 NEW BEST:: SOT 61087 SOS 19035 HAS SOPS 19035 HAS SOUS 16644 HAS SOUPS 16644 WITH SCORE 16663.035
AT ITER 5347 NEW BEST:: SOT 61085 SOS 19025 HAS SOPS 19025 HAS SOUS 16640 HAS SOUPS 16640 WITH SCORE 16659.025
AT ITER 5387 NEW BEST:: SOT 61082 SOS 19020 HAS SOPS 19020 HAS SOUS 16636 HAS SOUPS 16636 WITH SCORE 16655.02
AT ITER 5475 NEW BEST:: SOT 61080 SOS 19018 HAS SOPS 19018 HAS SOUS 16634 HAS SOUPS 16634 WITH SCORE 16653.018
AT ITER 5480 NEW BEST:: SOT 61080 SOS 19017 HAS SOPS 19017 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16652.017
AT ITER 5492 NEW BEST:: SOT 61068 SOS 18997 HAS SOPS 18997 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16631.997
AT ITER 5551 NEW BEST:: SOT 61068 SOS 18993 HAS SOPS 18993 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16631.993
AT ITER 5553 NEW BEST:: SOT 61068 SOS 18989 HAS SOPS 18989 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16623.989
AT ITER 5566 NEW BEST:: SOT 61010 SOS 18901 HAS SOPS 18901 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16503.901
AT ITER 5572 NEW BEST:: SOT 61008 SOS 18870 HAS SOPS 18870 HAS SOUS 16460 HAS SOUPS 16460 WITH SCORE 16478.87
AT ITER 5593 NEW BEST:: SOT 61000 SOS 18860 HAS SOPS 18860 HAS SOUS 16450 HAS SOUPS 16450 WITH SCORE 16468.86
AT ITER 5597 NEW BEST:: SOT 61000 SOS 18861 HAS SOPS 18861 HAS SOUS 16448 HAS SOUPS 16448 WITH SCORE 16466.861
AT ITER 5611 NEW BEST:: SOT 60953 SOS 18785 HAS SOPS 18785 HAS SOUS 16408 HAS SOUPS 16408 WITH SCORE 16426.785
AT ITER 5612 NEW BEST:: SOT 60950 SOS 18782 HAS SOPS 18782 HAS SOUS 16405 HAS SOUPS 16405 WITH SCORE 16423.782
AT ITER 5615 NEW BEST:: SOT 60943 SOS 18782 HAS SOPS 18782 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16413.782
AT ITER 5669 NEW BEST:: SOT 60898 SOS 18711 HAS SOPS 18711 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16342.711
AT ITER 5745 NEW BEST:: SOT 60887 SOS 18703 HAS SOPS 18703 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16323.703
AT ITER 5754 NEW BEST:: SOT 60878 SOS 18705 HAS SOPS 18705 HAS SOUS 16296 HAS SOUPS 16296 WITH SCORE 16314.705
AT ITER 5756 NEW BEST:: SOT 60863 SOS 18681 HAS SOPS 18681 HAS SOUS 16283 HAS SOUPS 16283 WITH SCORE 16301.681
AT ITER 5789 NEW BEST:: SOT 60852 SOS 18670 HAS SOPS 18670 HAS SOUS 16254 HAS SOUPS 16254 WITH SCORE 16272.67
AT ITER 5864 NEW BEST:: SOT 60850 SOS 18660 HAS SOPS 18660 HAS SOUS 16250 HAS SOUPS 16250 WITH SCORE 16268.66
AT ITER 5886 NEW BEST:: SOT 60850 SOS 18656 HAS SOPS 18656 HAS SOUS 16250 HAS SOUPS 16250 WITH SCORE 16268.656
AT ITER 5920 NEW BEST:: SOT 60840 SOS 18650 HAS SOPS 18650 HAS SOUS 16222 HAS SOUPS 16222 WITH SCORE 16240.65
AT ITER 5925 NEW BEST:: SOT 60839 SOS 18649 HAS SOPS 18649 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16239.649
AT ITER 5955 NEW BEST:: SOT 60833 SOS 18643 HAS SOPS 18643 HAS SOUS 16216 HAS SOUPS 16216 WITH SCORE 16234.643
AT ITER 5973 NEW BEST:: SOT 60833 SOS 18618 HAS SOPS 18618 HAS SOUS 16166 HAS SOUPS 16166 WITH SCORE 16184.618
AT ITER 6039 NEW BEST:: SOT 60836 SOS 18622 HAS SOPS 18622 HAS SOUS 16165 HAS SOUPS 16165 WITH SCORE 16183.622
AT ITER 6047 NEW BEST:: SOT 60836 SOS 18611 HAS SOPS 18611 HAS SOUS 16159 HAS SOUPS 16159 WITH SCORE 16177.611
AT ITER 6061 NEW BEST:: SOT 60825 SOS 18597 HAS SOPS 18597 HAS SOUS 16145 HAS SOUPS 16145 WITH SCORE 16163.597
AT ITER 6110 NEW BEST:: SOT 60810 SOS 18561 HAS SOPS 18561 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16138.561
AT ITER 6125 NEW BEST:: SOT 60805 SOS 18528 HAS SOPS 18528 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16127.528
AT ITER 6138 NEW BEST:: SOT 60815 SOS 18535 HAS SOPS 18535 HAS SOUS 16104 HAS SOUPS 16104 WITH SCORE 16122.535
AT ITER 6164 NEW BEST:: SOT 60807 SOS 18503 HAS SOPS 18503 HAS SOUS 16072 HAS SOUPS 16072 WITH SCORE 16090.503
AT ITER 6236 NEW BEST:: SOT 60805 SOS 18493 HAS SOPS 18493 HAS SOUS 16068 HAS SOUPS 16068 WITH SCORE 16086.493
AT ITER 6270 NEW BEST:: SOT 60778 SOS 18439 HAS SOPS 18439 HAS SOUS 16041 HAS SOUPS 16041 WITH SCORE 16059.439
AT ITER 6271 NEW BEST:: SOT 60772 SOS 18419 HAS SOPS 18419 HAS SOUS 16021 HAS SOUPS 16021 WITH SCORE 16039.419
AT ITER 6290 NEW BEST:: SOT 60764 SOS 18396 HAS SOPS 18396 HAS SOUS 16008 HAS SOUPS 16008 WITH SCORE 16026.396
AT ITER 6302 NEW BEST:: SOT 60750 SOS 18369 HAS SOPS 18369 HAS SOUS 15982 HAS SOUPS 15982 WITH SCORE 16000.369
AT ITER 6321 NEW BEST:: SOT 60746 SOS 18353 HAS SOPS 18353 HAS SOUS 15979 HAS SOUPS 15979 WITH SCORE 15997.353
AT ITER 6377 NEW BEST:: SOT 60743 SOS 18346 HAS SOPS 18346 HAS SOUS 15973 HAS SOUPS 15973 WITH SCORE 15991.346
AT ITER 6431 NEW BEST:: SOT 60704 SOS 18289 HAS SOPS 18289 HAS SOUS 15912 HAS SOUPS 15912 WITH SCORE 15930.289
AT ITER 6448 NEW BEST:: SOT 60673 SOS 18243 HAS SOPS 18243 HAS SOUS 15863 HAS SOUPS 15863 WITH SCORE 15881.243
AT ITER 6463 NEW BEST:: SOT 60677 SOS 18234 HAS SOPS 18234 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15877.234
AT ITER 6484 NEW BEST:: SOT 60652 SOS 18235 HAS SOPS 18235 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15866.235
AT ITER 6499 NEW BEST:: SOT 60640 SOS 18223 HAS SOPS 18223 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15854.223
AT ITER 6504 NEW BEST:: SOT 60645 SOS 18237 HAS SOPS 18237 HAS SOUS 15834 HAS SOUPS 15834 WITH SCORE 15852.237
AT ITER 6506 NEW BEST:: SOT 60644 SOS 18233 HAS SOPS 18233 HAS SOUS 15832 HAS SOUPS 15832 WITH SCORE 15850.233
AT ITER 6537 NEW BEST:: SOT 60597 SOS 18111 HAS SOPS 18111 HAS SOUS 15742 HAS SOUPS 15742 WITH SCORE 15760.111
AT ITER 6544 NEW BEST:: SOT 60597 SOS 18109 HAS SOPS 18109 HAS SOUS 15741 HAS SOUPS 15741 WITH SCORE 15759.109
AT ITER 6562 NEW BEST:: SOT 60591 SOS 18105 HAS SOPS 18105 HAS SOUS 15735 HAS SOUPS 15735 WITH SCORE 15753.105
AT ITER 6566 NEW BEST:: SOT 60587 SOS 18093 HAS SOPS 18093 HAS SOUS 15725 HAS SOUPS 15725 WITH SCORE 15743.093
AT ITER 6596 NEW BEST:: SOT 60587 SOS 18058 HAS SOPS 18058 HAS SOUS 15700 HAS SOUPS 15700 WITH SCORE 15718.058
AT ITER 6608 NEW BEST:: SOT 60541 SOS 17996 HAS SOPS 17996 HAS SOUS 15656 HAS SOUPS 15656 WITH SCORE 15673.996
AT ITER 6619 NEW BEST:: SOT 60512 SOS 17905 HAS SOPS 17905 HAS SOUS 15563 HAS SOUPS 15563 WITH SCORE 15580.905
AT ITER 6661 NEW BEST:: SOT 60512 SOS 17898 HAS SOPS 17898 HAS SOUS 15558 HAS SOUPS 15558 WITH SCORE 15575.898
AT ITER 6670 NEW BEST:: SOT 60510 SOS 17888 HAS SOPS 17888 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15571.888
AT ITER 6695 NEW BEST:: SOT 60506 SOS 17892 HAS SOPS 17892 HAS SOUS 15546 HAS SOUPS 15546 WITH SCORE 15563.892
AT ITER 6703 NEW BEST:: SOT 60508 SOS 17866 HAS SOPS 17866 HAS SOUS 15512 HAS SOUPS 15512 WITH SCORE 15529.866
AT ITER 6705 NEW BEST:: SOT 60498 SOS 17841 HAS SOPS 17841 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15509.841
AT ITER 6747 NEW BEST:: SOT 60503 SOS 17837 HAS SOPS 17837 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15506.837
AT ITER 6761 NEW BEST:: SOT 60493 SOS 17827 HAS SOPS 17827 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15496.827
AT ITER 6765 NEW BEST:: SOT 60475 SOS 17773 HAS SOPS 17773 HAS SOUS 15425 HAS SOUPS 15425 WITH SCORE 15442.773
AT ITER 6781 NEW BEST:: SOT 60463 SOS 17757 HAS SOPS 17757 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15431.757
AT ITER 6804 NEW BEST:: SOT 60458 SOS 17742 HAS SOPS 17742 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15419.742
AT ITER 6838 NEW BEST:: SOT 60470 SOS 17754 HAS SOPS 17754 HAS SOUS 15398 HAS SOUPS 15398 WITH SCORE 15415.754
AT ITER 6861 NEW BEST:: SOT 60451 SOS 17697 HAS SOPS 17697 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15356.697
AT ITER 6867 NEW BEST:: SOT 60429 SOS 17683 HAS SOPS 17683 HAS SOUS 15325 HAS SOUPS 15325 WITH SCORE 15342.683
AT ITER 6877 NEW BEST:: SOT 60429 SOS 17683 HAS SOPS 17683 HAS SOUS 15318 HAS SOUPS 15318 WITH SCORE 15335.683
AT ITER 6931 NEW BEST:: SOT 60409 SOS 17581 HAS SOPS 17581 HAS SOUS 15284 HAS SOUPS 15284 WITH SCORE 15301.581
AT ITER 6940 NEW BEST:: SOT 60335 SOS 17539 HAS SOPS 17539 HAS SOUS 15250 HAS SOUPS 15250 WITH SCORE 15267.539
AT ITER 6952 NEW BEST:: SOT 60300 SOS 17506 HAS SOPS 17506 HAS SOUS 15226 HAS SOUPS 15226 WITH SCORE 15243.506
AT ITER 6981 NEW BEST:: SOT 60268 SOS 17466 HAS SOPS 17466 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15201.466
AT ITER 6988 NEW BEST:: SOT 60268 SOS 17460 HAS SOPS 17460 HAS SOUS 15180 HAS SOUPS 15180 WITH SCORE 15197.46
AT ITER 6995 NEW BEST:: SOT 60273 SOS 17455 HAS SOPS 17455 HAS SOUS 15177 HAS SOUPS 15177 WITH SCORE 15194.455
AT ITER 7011 NEW BEST:: SOT 60267 SOS 17437 HAS SOPS 17437 HAS SOUS 15165 HAS SOUPS 15165 WITH SCORE 15182.437
AT ITER 7012 NEW BEST:: SOT 60261 SOS 17422 HAS SOPS 17422 HAS SOUS 15153 HAS SOUPS 15153 WITH SCORE 15170.422
AT ITER 7024 NEW BEST:: SOT 60261 SOS 17418 HAS SOPS 17418 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15166.418
AT ITER 7035 NEW BEST:: SOT 60283 SOS 17557 HAS SOPS 17557 HAS SOUS 15148 HAS SOUPS 15148 WITH SCORE 15165.557
AT ITER 7037 NEW BEST:: SOT 60282 SOS 17556 HAS SOPS 17556 HAS SOUS 15148 HAS SOUPS 15148 WITH SCORE 15165.556
AT ITER 7064 NEW BEST:: SOT 60281 SOS 17553 HAS SOPS 17553 HAS SOUS 15147 HAS SOUPS 15147 WITH SCORE 15164.553
AT ITER 7071 NEW BEST:: SOT 60276 SOS 17566 HAS SOPS 17566 HAS SOUS 15132 HAS SOUPS 15132 WITH SCORE 15149.566
AT ITER 7096 NEW BEST:: SOT 60275 SOS 17527 HAS SOPS 17527 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15140.527
AT ITER 7130 NEW BEST:: SOT 60275 SOS 17522 HAS SOPS 17522 HAS SOUS 15115 HAS SOUPS 15115 WITH SCORE 15132.522
AT ITER 7158 NEW BEST:: SOT 60270 SOS 17516 HAS SOPS 17516 HAS SOUS 15109 HAS SOUPS 15109 WITH SCORE 15126.516
AT ITER 7170 NEW BEST:: SOT 60240 SOS 17484 HAS SOPS 17484 HAS SOUS 15075 HAS SOUPS 15075 WITH SCORE 15092.484
AT ITER 7221 NEW BEST:: SOT 60230 SOS 17474 HAS SOPS 17474 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15082.474
AT ITER 7246 NEW BEST:: SOT 60230 SOS 17474 HAS SOPS 17474 HAS SOUS 15059 HAS SOUPS 15059 WITH SCORE 15076.474
AT ITER 7352 NEW BEST:: SOT 60218 SOS 17438 HAS SOPS 17438 HAS SOUS 15047 HAS SOUPS 15047 WITH SCORE 15064.438
AT ITER 7365 NEW BEST:: SOT 60231 SOS 17440 HAS SOPS 17440 HAS SOUS 15038 HAS SOUPS 15038 WITH SCORE 15055.44
AT ITER 7397 NEW BEST:: SOT 60192 SOS 17401 HAS SOPS 17401 HAS SOUS 14998 HAS SOUPS 14998 WITH SCORE 15015.401
AT ITER 7415 NEW BEST:: SOT 60173 SOS 17376 HAS SOPS 17376 HAS SOUS 14975 HAS SOUPS 14975 WITH SCORE 14992.376
AT ITER 7438 NEW BEST:: SOT 60173 SOS 17376 HAS SOPS 17376 HAS SOUS 14973 HAS SOUPS 14973 WITH SCORE 14990.376
AT ITER 7468 NEW BEST:: SOT 60171 SOS 17329 HAS SOPS 17329 HAS SOUS 14969 HAS SOUPS 14969 WITH SCORE 14986.329
AT ITER 7486 NEW BEST:: SOT 60171 SOS 17321 HAS SOPS 17321 HAS SOUS 14961 HAS SOUPS 14961 WITH SCORE 14978.321
AT ITER 7498 NEW BEST:: SOT 60167 SOS 17280 HAS SOPS 17280 HAS SOUS 14943 HAS SOUPS 14943 WITH SCORE 14960.28
AT ITER 7574 NEW BEST:: SOT 60170 SOS 17276 HAS SOPS 17276 HAS SOUS 14929 HAS SOUPS 14929 WITH SCORE 14946.276
AT ITER 7584 NEW BEST:: SOT 60125 SOS 17209 HAS SOPS 17209 HAS SOUS 14860 HAS SOUPS 14860 WITH SCORE 14877.209
AT ITER 7598 NEW BEST:: SOT 60129 SOS 17201 HAS SOPS 17201 HAS SOUS 14858 HAS SOUPS 14858 WITH SCORE 14875.201
AT ITER 7643 NEW BEST:: SOT 60126 SOS 17183 HAS SOPS 17183 HAS SOUS 14854 HAS SOUPS 14854 WITH SCORE 14871.183
AT ITER 7648 NEW BEST:: SOT 60114 SOS 17165 HAS SOPS 17165 HAS SOUS 14836 HAS SOUPS 14836 WITH SCORE 14853.165
AT ITER 7678 NEW BEST:: SOT 60114 SOS 17165 HAS SOPS 17165 HAS SOUS 14806 HAS SOUPS 14806 WITH SCORE 14823.165
AT ITER 7717 NEW BEST:: SOT 60112 SOS 17161 HAS SOPS 17161 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14820.161
AT ITER 7734 NEW BEST:: SOT 60095 SOS 17144 HAS SOPS 17144 HAS SOUS 14769 HAS SOUPS 14769 WITH SCORE 14786.144
AT ITER 7745 NEW BEST:: SOT 60087 SOS 17128 HAS SOPS 17128 HAS SOUS 14757 HAS SOUPS 14757 WITH SCORE 14774.128
AT ITER 7752 NEW BEST:: SOT 60078 SOS 17109 HAS SOPS 17109 HAS SOUS 14746 HAS SOUPS 14746 WITH SCORE 14763.109
AT ITER 7773 NEW BEST:: SOT 60083 SOS 17102 HAS SOPS 17102 HAS SOUS 14739 HAS SOUPS 14739 WITH SCORE 14756.102
AT ITER 7793 NEW BEST:: SOT 59983 SOS 16948 HAS SOPS 16948 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14612.948
AT ITER 7892 NEW BEST:: SOT 59971 SOS 16921 HAS SOPS 16921 HAS SOUS 14569 HAS SOUPS 14569 WITH SCORE 14585.921
AT ITER 7955 NEW BEST:: SOT 59947 SOS 16901 HAS SOPS 16901 HAS SOUS 14540 HAS SOUPS 14540 WITH SCORE 14556.901
AT ITER 8010 NEW BEST:: SOT 59923 SOS 16853 HAS SOPS 16853 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14508.853
AT ITER 8051 NEW BEST:: SOT 59901 SOS 16817 HAS SOPS 16817 HAS SOUS 14463 HAS SOUPS 14463 WITH SCORE 14479.817
AT ITER 8072 NEW BEST:: SOT 59900 SOS 16814 HAS SOPS 16814 HAS SOUS 14461 HAS SOUPS 14461 WITH SCORE 14477.814
AT ITER 8074 NEW BEST:: SOT 59905 SOS 16800 HAS SOPS 16800 HAS SOUS 14461 HAS SOUPS 14461 WITH SCORE 14477.8
AT ITER 8075 NEW BEST:: SOT 59904 SOS 16799 HAS SOPS 16799 HAS SOUS 14460 HAS SOUPS 14460 WITH SCORE 14476.799
AT ITER 8105 NEW BEST:: SOT 59902 SOS 16791 HAS SOPS 16791 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14462.791
AT ITER 8140 NEW BEST:: SOT 59902 SOS 16787 HAS SOPS 16787 HAS SOUS 14442 HAS SOUPS 14442 WITH SCORE 14458.787
AT ITER 8160 NEW BEST:: SOT 59896 SOS 16772 HAS SOPS 16772 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14446.772
AT ITER 8199 NEW BEST:: SOT 59880 SOS 16756 HAS SOPS 16756 HAS SOUS 14414 HAS SOUPS 14414 WITH SCORE 14430.756
AT ITER 8252 NEW BEST:: SOT 59869 SOS 16745 HAS SOPS 16745 HAS SOUS 14403 HAS SOUPS 14403 WITH SCORE 14419.745
AT ITER 8407 NEW BEST:: SOT 59869 SOS 16744 HAS SOPS 16744 HAS SOUS 14403 HAS SOUPS 14403 WITH SCORE 14419.744
AT ITER 8432 NEW BEST:: SOT 59869 SOS 16743 HAS SOPS 16743 HAS SOUS 14402 HAS SOUPS 14402 WITH SCORE 14418.743
AT ITER 8459 NEW BEST:: SOT 59869 SOS 16740 HAS SOPS 16740 HAS SOUS 14402 HAS SOUPS 14402 WITH SCORE 14418.74
AT ITER 8520 NEW BEST:: SOT 59869 SOS 16690 HAS SOPS 16690 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14393.69
AT ITER 8624 NEW BEST:: SOT 59852 SOS 16669 HAS SOPS 16669 HAS SOUS 14356 HAS SOUPS 14356 WITH SCORE 14372.669
AT ITER 8629 NEW BEST:: SOT 59852 SOS 16657 HAS SOPS 16657 HAS SOUS 14350 HAS SOUPS 14350 WITH SCORE 14366.657
AT ITER 8655 NEW BEST:: SOT 59838 SOS 16639 HAS SOPS 16639 HAS SOUS 14332 HAS SOUPS 14332 WITH SCORE 14348.639
AT ITER 8665 NEW BEST:: SOT 59822 SOS 16615 HAS SOPS 16615 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14321.615
AT ITER 8667 NEW BEST:: SOT 59820 SOS 16609 HAS SOPS 16609 HAS SOUS 14301 HAS SOUPS 14301 WITH SCORE 14317.609
AT ITER 8706 NEW BEST:: SOT 59808 SOS 16576 HAS SOPS 16576 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14295.576
AT ITER 8759 NEW BEST:: SOT 59810 SOS 16570 HAS SOPS 16570 HAS SOUS 14277 HAS SOUPS 14277 WITH SCORE 14293.57
AT ITER 8790 NEW BEST:: SOT 59807 SOS 16566 HAS SOPS 16566 HAS SOUS 14268 HAS SOUPS 14268 WITH SCORE 14284.566
AT ITER 8795 NEW BEST:: SOT 59791 SOS 16546 HAS SOPS 16546 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14264.546
AT ITER 8799 NEW BEST:: SOT 59787 SOS 16541 HAS SOPS 16541 HAS SOUS 14243 HAS SOUPS 14243 WITH SCORE 14259.541
AT ITER 8877 NEW BEST:: SOT 59783 SOS 16536 HAS SOPS 16536 HAS SOUS 14234 HAS SOUPS 14234 WITH SCORE 14250.536
AT ITER 8913 NEW BEST:: SOT 59723 SOS 16476 HAS SOPS 16476 HAS SOUS 14154 HAS SOUPS 14154 WITH SCORE 14170.476
AT ITER 8939 NEW BEST:: SOT 59723 SOS 16460 HAS SOPS 16460 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14163.46
AT ITER 8960 NEW BEST:: SOT 59724 SOS 16464 HAS SOPS 16464 HAS SOUS 14141 HAS SOUPS 14141 WITH SCORE 14157.464
AT ITER 8986 NEW BEST:: SOT 59712 SOS 16446 HAS SOPS 16446 HAS SOUS 14123 HAS SOUPS 14123 WITH SCORE 14139.446
AT ITER 9000 NEW BEST:: SOT 59704 SOS 16441 HAS SOPS 16441 HAS SOUS 14118 HAS SOUPS 14118 WITH SCORE 14134.441
AT ITER 9026 NEW BEST:: SOT 59672 SOS 16383 HAS SOPS 16383 HAS SOUS 14058 HAS SOUPS 14058 WITH SCORE 14074.383
AT ITER 9033 NEW BEST:: SOT 59666 SOS 16377 HAS SOPS 16377 HAS SOUS 14046 HAS SOUPS 14046 WITH SCORE 14062.377
AT ITER 9037 NEW BEST:: SOT 59652 SOS 16349 HAS SOPS 16349 HAS SOUS 14025 HAS SOUPS 14025 WITH SCORE 14041.349
AT ITER 9059 NEW BEST:: SOT 59652 SOS 16349 HAS SOPS 16349 HAS SOUS 14020 HAS SOUPS 14020 WITH SCORE 14036.349
AT ITER 9139 NEW BEST:: SOT 59650 SOS 16346 HAS SOPS 16346 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14033.346
AT ITER 9166 NEW BEST:: SOT 59650 SOS 16345 HAS SOPS 16345 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14033.345
AT ITER 9223 NEW BEST:: SOT 59640 SOS 16346 HAS SOPS 16346 HAS SOUS 14000 HAS SOUPS 14000 WITH SCORE 14016.346
AT ITER 9270 NEW BEST:: SOT 59636 SOS 16341 HAS SOPS 16341 HAS SOUS 13995 HAS SOUPS 13995 WITH SCORE 14011.341
AT ITER 9319 NEW BEST:: SOT 59627 SOS 16329 HAS SOPS 16329 HAS SOUS 13984 HAS SOUPS 13984 WITH SCORE 14000.329
AT ITER 9334 NEW BEST:: SOT 59617 SOS 16234 HAS SOPS 16234 HAS SOUS 13929 HAS SOUPS 13929 WITH SCORE 13945.234
AT ITER 9351 NEW BEST:: SOT 59619 SOS 16225 HAS SOPS 16225 HAS SOUS 13929 HAS SOUPS 13929 WITH SCORE 13945.225
AT ITER 9445 NEW BEST:: SOT 59561 SOS 16157 HAS SOPS 16157 HAS SOUS 13853 HAS SOUPS 13853 WITH SCORE 13869.157
AT ITER 9472 NEW BEST:: SOT 59555 SOS 16147 HAS SOPS 16147 HAS SOUS 13843 HAS SOUPS 13843 WITH SCORE 13859.147
AT ITER 9519 NEW BEST:: SOT 59555 SOS 16155 HAS SOPS 16155 HAS SOUS 13835 HAS SOUPS 13835 WITH SCORE 13851.155
AT ITER 9542 NEW BEST:: SOT 59555 SOS 16155 HAS SOPS 16155 HAS SOUS 13834 HAS SOUPS 13834 WITH SCORE 13850.155
AT ITER 9553 NEW BEST:: SOT 59551 SOS 16143 HAS SOPS 16143 HAS SOUS 13827 HAS SOUPS 13827 WITH SCORE 13843.143
AT ITER 9651 NEW BEST:: SOT 59534 SOS 16124 HAS SOPS 16124 HAS SOUS 13808 HAS SOUPS 13808 WITH SCORE 13824.124
AT ITER 9694 NEW BEST:: SOT 59534 SOS 16124 HAS SOPS 16124 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13810.124
AT ITER 9709 NEW BEST:: SOT 59529 SOS 16133 HAS SOPS 16133 HAS SOUS 13792 HAS SOUPS 13792 WITH SCORE 13808.133
AT ITER 9748 NEW BEST:: SOT 59533 SOS 16095 HAS SOPS 16095 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13794.095
AT ITER 9752 NEW BEST:: SOT 59533 SOS 16095 HAS SOPS 16095 HAS SOUS 13775 HAS SOUPS 13775 WITH SCORE 13791.095
AT ITER 9833 NEW BEST:: SOT 59527 SOS 16082 HAS SOPS 16082 HAS SOUS 13763 HAS SOUPS 13763 WITH SCORE 13779.082
AT ITER 9840 NEW BEST:: SOT 59512 SOS 16061 HAS SOPS 16061 HAS SOUS 13742 HAS SOUPS 13742 WITH SCORE 13758.061
AT ITER 9897 NEW BEST:: SOT 59491 SOS 16033 HAS SOPS 16033 HAS SOUS 13714 HAS SOUPS 13714 WITH SCORE 13730.033
AT ITER 9926 NEW BEST:: SOT 59485 SOS 16027 HAS SOPS 16027 HAS SOUS 13708 HAS SOUPS 13708 WITH SCORE 13724.027

BK_STOP 1590459715713

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

/home/mcc/BenchKit/bin/smart.sh: line 117: 373 Segmentation fault ${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-040A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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